一阶常微分方程与定性理论

积分因子(integrating factor)

积分因子是你用来乘整个方程、以修复其结构的一个函数——把一个顽固方程变成可直接积分的那一勺魔法。图景很简单:你有一个几乎是全导数、却差一点的方程,恰当的乘子把它重新配平,使左边变成某个单一乘积的恰当导数,只需一次积分即可还原。

它的主角戏是线性一阶方程 dy/dx + P(x)*y = Q(x)。单看左边并不是任何整齐东西的导数。把整个方程乘以积分因子 mu(x) = e^(对 P(x) 积分),左边就恰好变成 (mu*y) 对 x 的导数 d/dx——这正是该公式的全部要点。于是方程读作 d/dx(mu*y) = mu*Q,两边积分一次得 mu*y = 积分 mu*Q dx + C,故 y = (1/mu)*(积分 mu*Q dx + C)。一次乘法、一次积分,完事。更一般地,对不恰当方程 M dx + N dy = 0,也存在使其恰当的积分因子 mu(x, y),只是求它可能很难。

积分因子是整个微分方程中最常被复用的装置之一,每当你想把一串和打包成单个导数时,同一个思想就会重现——它是分部求和的离散表亲,也是线性方程解公式背后的引擎。诚实的告诫:对一般的不恰当方程,积分因子原则上总存在,却没有普适的求法;干净的 e^(积分 P) 公式专属于线性情形,那时 mu 只依赖 x。

对 dy/dx + (1/x)*y = x,这里 P = 1/x,故 mu = e^(积分 1/x dx) = e^(ln x) = x。乘整个方程:d/dx(x*y) = x^2,于是 x*y = x^3/3 + C,得 y = x^2/3 + C/x。

乘以 mu = e^(积分 P) 把左边坍缩成一个利落的导数。

积分因子从来不唯一——mu 的任意非零常数倍同样好用,因为积分时常数会消去。挑最简单的那个;指数里不需要加积分常数。

又称
Euler multiplier积分乘子積分乘子