积分因子的表达式为 μ(x) = e^∫P(x)dx。其中,( ∫P(x)dx ) 表示 ( P(x) ) 的一个原函数需加常数项。
一阶线性微分方程的通公式 在方程两边同乘积分因子 ( μ(x) ) 后,左边可化为 ( d[μ(x)y]/dx ),即: [ μ(x)dy/dx + μ(x)P(x)y = d[μ(x)y]/dx ] 此时方程变为 ( d[μ(x)y]/dx = μ(x)Q(x) ),两边积分得: [ μ(x)y = ∫μ(x)Q(x)dx + C ] ( C ) 为积分常数将 ( μ(x) = e^∫P(x)dx ) 代入,整理可得通公式:
y = e^(-∫P(x)dx)[∫Q(x)e^(∫P(x)dx)dx + C] 公式结构析 通公式由两部分构成: 1. 非齐次特:( e^(-∫P(x)dx)∫Q(x)e^(∫P(x)dx)dx ),由 ( Q(x) ) 与积分因子乘积的积分再乘积分因子的倒数得到; 2. 齐次通:( C e^(-∫P(x)dx) ),是对应齐次方程 ( dy/dx + P(x)y = 0 ) 的通,其中 ( C ) 为任意常数。 应用示例 以方程 ( dy/dx + 2xy = 2x ) 为例,套用通公式:- 对比标准形式,( P(x) = 2x ),( Q(x) = 2x );
- 积分因子 ( μ(x) = e^∫2xdx = e^(x²) );
- 代入公式:( y = e^(-x²)[∫2x e^(x²)dx + C] );
- 计算积分 ( ∫2x e^(x²)dx = e^(x²) + C ),故通为 ( y = 1 + C e^(-x²) )。 一阶线性微分方程通公式是连接方程结构与析的桥梁,通过积分因子将复杂方程转化为可直接积分的形式,其简洁性与普适性使其成为微分方程理论中的基础工具。
