数学大学
高阶线性微分方程解的结构
微积分——多元函数与重积分 · 第五章 常微分方程
按 空格/→ 演示下一步
全部页面点击任意一页，跳回舞台从这页播放
数学大学
高阶线性微分方程解的结构
微积分——多元函数与重积分 · 第五章 常微分方程
线性微分方程解的性质
线性方程的解构成线性空间：解的和与倍数仍是解。
叠加
两解之差是齐次方程的解
齐次通解空间
n 阶齐次方程解空间维数为 n
函数组线性相关（无关）的
函数组线性相关：存在不全为零的系数使线性组合恒为零。
定义
恒等式 Σcᵢyᵢ(x)=0 只有零解则无关
对象
在给定区间上整体讨论，不看单点
函数组线性相关的必要条件
相关则朗斯基行列式恒为零：Wronskian 是判别的代数工具。
朗斯基行列式
由函数及其各阶导数排成的行列式
方向
相关 ⇒ W≡0；W 恒为零未必相关（一般函数）
线性微分方程解函数组线性
对线性方程的解，朗斯基行列式非零 ⇔ 线性无关：方向补全了。
判别定理
某点 W≠0 即在整个区间上线性无关
基础解系
n 个线性无关的解拼成基础解系
线性微分方程解的结构
通解结构：齐次通解（基础解系线性组合）+ 非齐次一个特解。
齐次通解
n 个基础解的线性组合
叠加原理
右端为和时特解可分别求再相加
本节要点
- ✓n 阶齐次方程解空间维数为 n
- ✓朗斯基行列式判线性相关性
- ✓通解 = 齐次通解 + 特解
- ✓右端相加时特解可叠加
延伸主题：算一个三阶方程的朗斯基用叠加原理拆一个非齐次项
课后思考
先自己回答，再展开参考答案——能讲出来才算真懂。
1为什么 n 阶齐次线性方程恰有 n 个线性无关的解？
参考答案初值 (y(x₀),…,y⁽ⁿ⁻¹⁾(x₀)) 唯一确定解，而初值空间是 n 维的；解与初值一一对应且这种对应保持线性运算，故解空间维数恰为 n，基础解系含 n 个解。
2线性无关的函数组，朗斯基行列式恒为零的反例说明什么？
参考答案一般函数组中 W≡0 推不出线性无关（如 y 与 |y|·sign 构造）。但对同一个线性方程的解，朗斯基要么恒为零要么处处非零——判别法只在「解组」范围内成立，不可外推到任意函数组。
3叠加原理在解题中如何降低难度？
参考答案右端复杂时拆成几个简单部分：分别求各自对应的特解再相加，每个子问题都能用待定系数法轻松处理。线性结构允许「分而治之」再「合并答案」。