You need to enable JavaScript to run this app.
最新活动
大模型
产品
解决方案
定价
生态与合作
支持与服务
开发者
了解我们

求解一阶线性微分方程时,积分因子的积分常数为何无关且无需添加?

为什么一阶线性微分方程的积分因子不需要加积分常数?

这个问题问得太戳痛点了——我当年刚学积分因子的时候,盯着这个点纠结了好半天!咱们一步步拆解,你就明白为啥加不加常数根本不影响结果:

先回忆积分因子的本质

一阶线性微分方程的标准形式是:
y' + P(x)y = Q(x)
我们找积分因子μ(x)的目的,是把方程左边凑成某个乘积的导数,也就是让:
μ(x)y' + μ(x)P(x)y = (μ(x)y)'

按照推导,积分因子的形式是μ(x) = e^(∫P(x)dx)。那如果我们给积分加个常数C呢?此时积分因子变成:
μ_C(x) = e^(∫P(x)dx + C) = e^C * e^(∫P(x)dx) = k·μ(x)
这里的k = e^C是个正的非零常数(因为指数函数永远大于0)。

带常数的积分因子不会改变方程的等价性

μ_C(x)乘到原方程两边:
k·μ(x)y' + k·μ(x)P(x)y = k·μ(x)Q(x)
左边提取常数k,就变成:
k·(μ(x)y' + μ(x)P(x)y) = k·(μ(x)y)'
因为k≠0,我们可以直接把两边的k约掉,结果和用原积分因子μ(x)得到的方程完全一样:
(μ(x)y)' = μ(x)Q(x)

即使带到解的过程里,常数也会被“消化”

假设我们用带常数的积分因子来求解:

  1. 两边积分得:k·μ(x)y = ∫k·μ(x)Q(x)dx + D(D是新的积分常数)
  2. 两边除以k:μ(x)y = ∫μ(x)Q(x)dx + D/k
    你看,D/k其实还是一个任意常数——只不过把原来的常数换了个名字而已,最终得到的y的表达式和不加C时的解是完全等价的,解的集合没有任何变化。

一句话总结

积分因子的核心作用是让方程左边变成乘积导数,它的关键是“相对比例”而非“绝对值”。乘以一个非零常数后,它的“凑导数”能力完全没变,而且最终的常数会被约掉或者转化为解里的任意常数,根本不会影响方程的解。

内容的提问来源于stack exchange,提问作者radial9174

火山引擎 最新活动