ODE常微分方程总结

常微分方程中，可分离变量方程的一般形式是什么？如何求解？

可分离变量方程的一般形式为 y' = f(x)g(y)。求解时，将方程改写为 dy/g(y) = f(x)dx，然后两边积分得到 ∫dy/g(y) = ∫f(x)dx。若给定初值 y(ξ)=η，则使用定积分形式 ∫_η^y dy/g(y) = ∫_ξ^x f(x)dx。注意若 g(η)=0，则 y=η 是解。

如何求解一阶线性非齐次方程 y' + g(x)y = h(x)？

使用常数变易法。先求对应齐次方程 y' + g(x)y = 0 的通解，得到 y = C·e^{-∫g(x)dx}。然后将常数 C 视为函数 C(x)，代入原方程，解得 C'(x) = h(x)·e^{∫g(x)dx}，积分得 C(x) = ∫h(x)·e^{∫g(x)dx}dx + C0。最终通解为 y = (∫h(x)·e^{∫g(x)dx}dx + C0)·e^{-∫g(x)dx}。

什么是恰当方程？如何判断一个方程是否为恰当方程？

恰当方程是形如 M(x,y)dx + N(x,y)dy = 0 的方程，且存在函数 U(x,y) 使得 U_x = M, U_y = N。判断条件为 M_y = N_x。若满足，则方程是恰当的，其通解为 U(x,y) = C。

什么是积分因子？如何寻找积分因子？

积分因子是用于将非恰当方程转化为恰当方程的函数 U(x,y)。若方程 M dx + N dy = 0 不是恰当的，可寻找只依赖于 x 或只依赖于 y 的积分因子。若只与 x 有关，则 U = e^{∫(M_y - N_x)/N dx}；若只与 y 有关，则 U = e^{∫(N_x - M_y)/M dy}。

伯努利方程的形式是什么？如何求解？

伯努利方程形式为 y' + g(x)y + h(x)y^α = 0，其中 α ≠ 1。求解时，令 z = y^{1-α}，则 z' = (1-α)y^{-α}y'。代入原方程并除以 y^α，得到 (1/(1-α))z' + g(x)z + h(x) = 0，这是一个关于 z 的一阶线性非齐次方程，可用常数变易法求解，最后代回 y = z^{1/(1-α)}。

常微分方程解的存在唯一性定理的条件是什么？

存在唯一性定理要求函数 f(x,y) 在带状区域 S = J × R（J = [ξ, ξ+a]）上连续，并且关于 y 满足 Lipschitz 条件，即存在常数 L ≥ 0，使得 |f(x,y) - f(x,ȳ)| ≤ L|y - ȳ| 对所有 (x,y), (x,ȳ) ∈ S 成立。在这些条件下，初值问题 y' = f(x,y), y(ξ) = η 在区间 J 上存在唯一解。

齐次线性微分方程组的基本解组和 Wronskian 行列式有什么关系？

对于齐次线性微分方程组 y' = A(x)y，若 n 个解 y1, ..., yn 构成基本解组（即线性无关），则它们的 Wronskian 行列式 W(x) = det(Φ(x)) 在区间 J 上恒不为零。反之，若解线性相关，则 W(x) ≡ 0。因此，可通过计算 Wronskian 是否为零来判断解是否线性无关。

非齐次线性微分方程组的通解结构是什么？

非齐次线性微分方程组 y' = A(t)y + b(t) 的通解等于其对应齐次方程组的通解加上一个特解。即若 ỹ(x) 是非齐次方程的一个特解，y0(x) 是齐次方程的任意解，则 y(x) = ỹ(x) + y0(x) 是非齐次方程的解，且所有解均可如此表示。