两个函数的Wronskian为$W(t)=t^2-4$，能否判定其线性无关？

当然可以判定这两个函数线性无关，但得结合你考虑的区间来具体说——这是理解Wronskian和线性无关关系的关键。

核心逻辑梳理 #

• 如果两个函数在某个区间上线性相关，那么它们的Wronskian在这个区间上必须恒等于0（注意是「恒为0」，不是仅在个别点为0）。这是一个无例外的结论。
• 回到你的情况：你的Wronskian是W(t) = t² - 4，它仅在t=2和t=-2处取值为0，其余所有点的Wronskian都不为0。这意味着，只要你考虑的区间不是仅包含单点t=2或t=-2（实际应用中肯定不会只看单点），那么该区间内必然存在无数个点使得Wronskian不为0。结合上面的逻辑，这就直接证明了两个函数在该区间上是线性无关的——因为如果它们线性相关，Wronskian必须处处为0，而这里显然不满足这个条件。

补充课堂内容的局限 #

你提到课堂上仅将Wronskian应用于已知是微分方程解的函数，这是因为对于线性齐次微分方程的解，有更强的结论（Abel定理的推论）：Wronskian要么恒为0（解线性相关），要么处处不为0（解线性无关）。但对于一般的可微函数（不一定是微分方程的解），Wronskian可以在个别点为0，只要不是恒为0，就依然能判定函数线性无关。

内容的提问来源于stack exchange，提问作者Mr. President