微分方程：区间上线性无关与朗斯基行列式的判定困惑

你这里的困惑其实源于对朗斯基行列式定理适用范围的误解，咱们一步步理清楚：

1. 针对线性齐次微分方程解的特殊结论 #

如果讨论的是某个n阶线性齐次微分方程的n个解函数，那么确实有严格的等价关系：

• 这n个解在区间I上线性无关 ⇨ 它们的朗斯基行列式在I上处处不为0；
• 反过来，如果朗斯基行列式在I上某一点不为0，则这n个解在I上线性无关；
• 若解线性相关，则朗斯基行列式在I上处处为0。

这种“要么全0，要么全非0”的性质是微分方程解的特殊性带来的（源于刘维尔公式，朗斯基行列式本身满足一个一阶线性微分方程），所以不会出现你说的“某点为0，另一点非0”的矛盾情况——如果是微分方程的解，这种情况根本不存在。

2. 针对一般函数的结论 #

如果只是普通的函数（不是某个线性齐次微分方程的解），朗斯基行列式的性质就灵活多了：

• 朗斯基行列式在区间I上某一点非0 ⇒ 函数在I上线性无关（这个结论是通用的，不管是不是微分方程的解）；
• 但朗斯基行列式在某一点为0，不能推出函数线性相关——甚至可能出现区间上有的点朗斯基行列式为0，有的点不为0，但函数依然线性无关的情况。

你遇到的例子应该就是这种情况：这两个函数不是某个线性齐次微分方程的解，所以虽然t=0时朗斯基行列式为0，但t=1时非0，根据“某点非0则线性无关”的通用结论，就能判定它们在整个区间上线性无关。

举个典型的例子：函数$f(t)=t$和$g(t)=t|t|$在区间$(-\infty,+\infty)$上，t=0时朗斯基行列式为0，但在其他点非0，而它们确实是线性无关的——你找不到不全为0的常数$c_1,c_2$使得$c_1 t + c_2 t|t|=0$对所有t成立。

总结一下 #

• 若函数是线性齐次微分方程的解：朗斯基行列式要么处处0（线性相关），要么处处非0（线性无关），等价性成立；
• 若只是一般函数：朗斯基行列式某点非0 ⇒ 线性无关，但某点为0不能推出线性相关，这时候用“某点非0”来判定线性无关是完全合理的。

内容的提问来源于stack exchange，提问作者SteveK3223