关于二阶齐次线性微分方程解的线性无关性与Wronskian行列式的疑问

嘿，我完全懂你这种绕得头疼的困惑——当初我啃这个定理的时候也卡了好久，咱们一步步把这个点拆解开，把逻辑理清楚：

首先，你混淆了定理5.1.5的核心适用前提 #

这个定理的全称是：对于系数p(x)、q(x)在区间(a,b)上连续的二阶齐次线性微分方程，它的两个解线性无关当且仅当它们的Wronskian在(a,b)上恒不为零。

重点就在「系数连续」和「方程的两个解」这两个限定条件上——你举的例子里，$y_1=1+x$和$y_2=1+x^2$根本不是同一个系数连续的二阶齐次线性微分方程的解！

咱们来验证一下：假设存在连续的$p(x)$、$q(x)$，让这两个函数都满足$y''+p(x)y'+q(x)y=0$：

• 代入$y_1=1+x$：$y_1''=0$，$y_1'=1$，得到方程：0 + p(x)*1 + q(x)*(1+x) = 0
• 代入$y_2=1+x^2$：$y_2''=2$，$y_2'=2x$，得到方程：2 + p(x)*2x + q(x)*(1+x²) = 0

联立这两个方程解$p(x)$，就会得到你写的那个表达式：
$$
p(x) = \frac{y_1''y_2-y_2''y_1}{Wy_1,y_2} = \frac{-2(1+x)}{x^2+2x-1}
$$
这个$p(x)$在$x=\sqrt{2}-1$处完全没有定义，更别说在$(0,∞)$上连续了。所以你的例子根本不在定理5.1.5的覆盖范围内，自然不能用定理的结论来套！

再理清楚定理的逻辑链（为什么Wronskian要么恒零要么恒不为零） #

当方程系数$p(x)$在区间上连续时，Abel恒等式（定理5.1.4）是完全成立的：
$$
W(x) = W(x_0)e^{-\int_{x_0}x p(t)dt}
$$
因为$p(x)$连续，积分存在，所以：

• 如果在某点$x_0$处$W(x_0)=0$，那么$W(x)$在整个区间上都等于0（指数函数永远不为零，乘0还是0）
• 如果$W(x_0)≠0$，那么$W(x)$在整个区间上都不为零（指数函数不为零，非零数乘它也不会变零）

这时候才会有「线性无关等价于Wronskian恒不为零」的结论——因为Wronskian的“零”或“非零”是全局的，不存在局部为零的情况。

最后再明确函数线性无关的定义 #

函数的线性无关是指：在整个区间上，不存在不全为零的常数$c_1$、$c_2$，使得$c_1y_1(x)+c_2y_2(x)≡0$对所有$x∈(a,b)$成立。你的例子里$y_1$和$y_2$确实是线性无关的，但它们不是同一个系数连续的二阶齐次线性微分方程的解，所以定理5.1.5根本管不到它们。

如果方程系数不连续（比如像你例子里的$p(x)$在某点无定义），Abel恒等式就失效了，这时候确实可能出现两个解的Wronskian在某点为零但其他点不为零，同时它们线性无关的情况，但这时候定理5.1.5本身就不适用了。

总结一下：你没漏掉什么关键，只是没注意到定理的适用范围——它只针对系数连续的二阶齐次线性微分方程的解，你的例子不符合这个前提，所以才会出现看似矛盾的情况~

备注：内容来源于stack exchange，提问作者AntidusPig