关于Sturm-Liouville定理下勒让德多项式Pₙ(x)完备性的疑问

嘿，我完全懂你的困惑——当初我刚接触Sturm-Liouville（SL）理论和勒让德多项式的时候，也卡在过这个点！咱们一步步捋清楚：

首先你得明确：Sturm-Liouville问题不是只看微分方程本身，必须结合对应的边界条件。

勒让德方程写成SL标准形式是：
d/dx[(1-x²)dy/dx] + n(n+1)y = 0
我们通常讨论的场景是区间[-1,1]，这个区间的端点x=±1是方程的正则奇点。这时候SL问题对解的要求是：在[-1,1]上有界（或者说属于平方可积空间L²[-1,1]）。

那第二类勒让德函数Qₙ(x)呢？它在x趋近于±1的时候是发散的——比如最基础的Q₀(x)=(1/2)ln((1+x)/(1-x))，你代入x→1或者x→-1，就能看到它直接趋向无穷大。这种发散的解不符合[-1,1]上的有界性要求，所以它根本不属于这个SL问题的本征函数集合。

SL定理说的“所有本征函数构成完备集”，指的是满足边界条件的那些本征函数。在[-1,1]这个我们最常用的区间里，只有Pₙ(x)满足有界性，所以它单独就构成了L²[-1,1]上的完备正交系。

至于你最开始从幂级数性质+正交性得到的直观结论，其实和SL定理是完全一致的——SL定理只是从更一般的微分方程框架上，严格证明了Pₙ(x)的完备性，而你的直观感受刚好对应了这个结果。

最后补个小细节：如果我们讨论的是x>1或者x<-1这类区间，Qₙ(x)是有界的，这时候可能需要把Pₙ和Qₙ结合起来，但在物理、工程里最常用的[-1,1]场景下，Pₙ(x)就足够了。

备注：内容来源于stack exchange，提问作者Ka ho Wong