关于勒让德方程非整数特征值下幂级数解在端点收敛性的技术问询
嘿，咱们来好好聊聊这个问题——先从勒让德方程的基础背景入手，再聚焦到你关心的「非整数特征值下幂级数解在端点的收敛性」这个核心点上。
首先快速回顾下勒让德方程的基本情况：
勒让德方程的标准形式是：
$$(1-x^2) y'' - 2xy' + \lambda y=0$$
我们通常关注区间$[-1,1]$上的解，从普通点$x=0$出发构造幂级数解$\sum_{n=0}^\infty c_n x^n$。因为方程在$x=\pm1$处是正则奇点，根据常微分方程幂级数解的收敛半径定理，这个幂级数在开区间$|x|<1$内肯定收敛——收敛半径至少是到最近正则奇点的距离，也就是1，这部分是没问题的。
把幂级数代入方程后，能得到系数的递推关系：
$$c_{n+2} = \frac{n(n+1)-\lambda}{(n+2)(n+1)}$$
通过取不同的初始系数（比如$c_0=1,c_1=0$或者$c_0=0,c_1=1$），可以得到两个线性无关的幂级数解$y_1(x)$和$y_2(x)$。
当$\lambda=l(l+1)$（$l$是非负整数）时，其中一个解会退化成勒让德多项式$P_l(x)$，它是处处解析的整函数，自然在$x=\pm1$处收敛（甚至是光滑的），这部分你已经很清楚了。
现在重点来了：当$\lambda$不是$l(l+1)$这种形式时，幂级数解在端点$x=\pm1$处是不收敛的，原因主要有这几点：
系数的渐近行为导致级数发散
当$n$足够大时，递推公式里的$\frac{n(n+1)-\lambda}{(n+2)(n+1)}$会趋近于1——因为分子分母都是$n^2$量级，低次项和常数项$\lambda$在$n$很大时可以忽略。这意味着当$n$趋向无穷时，$c_{n+2}\approx c_n$，也就是系数的增长速度趋近于常数。
进一步分析的话，当$\lambda$不是整数特征值时，递推关系不会出现系数为0的情况（级数不会截断成多项式），所有系数都非零。此时系数$c_n$的渐近行为是$c_n\sim\frac{C}{n}$（$C$是和初始条件、$\lambda$有关的常数）。这样一来，在端点$x=1$处，幂级数就变成了$\sum \frac{C}{n}$的形式——这本质上就是调和级数，而调和级数是发散的；在$x=-1$处，级数的偶次项和$x=1$时一致，奇次项则是符号相反的同量级项，两个发散的子级数相加/相减，结果还是发散的。用精细判别法验证
我们可以用高斯判别法来更严格地证明：对于级数$\sum a_n$，如果相邻项比值满足$\frac{a_{n+1}}{a_n}=1-\frac{k}{n}+O(1/n^2)$，那么当$k>1$时收敛，$k\leq1$时发散。
对于我们的幂级数解，不管是偶次项还是奇次项的子级数，相邻项的比值都满足$\frac{c_{n+2}}{c_n}=1-\frac{1}{n}+O(1/n^2)$（展开递推关系就能得到），这里$k=1$，刚好满足发散的条件，所以端点处的级数确实发散。从正则奇点的解的性质看
勒让德方程在$x=\pm1$处是正则奇点，用弗罗贝尼乌斯方法分析的话，当$\lambda$不是$l(l+1)$时，两个线性无关解中会出现包含对数项的形式（比如$y(x)=P(x)+Q(x)\ln(1-x)$，其中$P,Q$是幂级数），而对数项在$x\to1^-$时会趋向负无穷，这说明解在端点处是奇异的，自然无法用收敛的幂级数来表示。
简单来说，只有当$\lambda$是整数特征值时，级数才会截断成多项式，从而在端点处收敛；否则幂级数解在开区间$(-1,1)$内收敛，但到了端点就会发散，核心原因就是系数的增长速度导致端点处的级数变成了调和级数这种发散的形式。
备注：内容来源于stack exchange，提问作者Marc Navarro
