主题
Search

勒让德微分方程


勒让德微分方程是二阶常微分方程

 (1-x^2)(d^2y)/(dx^2)-2x(dy)/(dx)+l(l+1)y=0,
(1)

它可以被重写为

 d/(dx)[(1-x^2)(dy)/(dx)]+l(l+1)y=0.
(2)

上述形式是所谓的“关联勒让德微分方程”在 m=0 情况下的特例。勒让德微分方程在 -1、1 和 infty 处有正则奇点

如果变量 x 被替换为 costheta,则勒让德微分方程变为

 (d^2y)/(dtheta^2)+(costheta)/(sintheta)(dy)/(dtheta)+l(l+1)y=0,
(3)

以下推导了关联 (m!=0) 情况。

由于勒让德微分方程是二阶常微分方程,它有两个线性独立的解。在有限点处正则的解 P_l(x) 称为第一类勒让德函数,而在 +/-1 处奇异的解 Q_l(x) 称为第二类勒让德函数。如果 l 是整数,则第一类函数简化为称为勒让德多项式的多项式。

勒让德微分方程可以使用弗罗贝尼乌斯方法通过进行 k=0 的级数展开来求解,

y=sum_(n=0)^(infty)a_nx^n
(4)
y^'=sum_(n=0)^(infty)na_nx^(n-1)
(5)
y^('')=sum_(n=0)^(infty)n(n-1)a_nx^(n-2).
(6)

代入,

 (1-x^2)sum_(n=0)^inftyn(n-1)a_nx^(n-2)-2xsum_(n=0)^inftyna_nx^(n-1)+l(l+1)sum_(n=0)^inftya_nx^n=0
(7)
sum_(n=0)^(infty)n(n-1)a_nx^(n-2)-sum_(n=0)^(infty)n(n-1)a_nx^n
(8)
 -2xsum_(n=0)^(infty)na_nx^(n-1)+l(l+1)sum_(n=0)^(infty)a_nx^n=0
(9)
sum_(n=2)^(infty)n(n-1)a_nx^(n-2)-sum_(n=0)^(infty)n(n-1)a_nx^n
(10)
 -2sum_(n=0)^(infty)na_nx^n+l(l+1)sum_(n=0)^(infty)a_nx^n=0
(11)
sum_(n=0)^(infty)(n+2)(n+1)a_(n+2)x^n-sum_(n=0)^(infty)n(n-1)a_nx^n
(12)
 -2sum_(n=0)^(infty)na_nx^n+l(l+1)sum_(n=0)^(infty)a_nx^n=0
(13)
 sum_(n=0)^infty{(n+1)(n+2)a_(n+2)+[-n(n-1)-2n+l(l+1)]a_n}=0,
(14)

因此每一项必须消失,并且

 (n+1)(n+2)a_(n+2)+[-n(n+1)+l(l+1)]a_n=0
(15)
a_(n+2)=(n(n+1)-l(l+1))/((n+1)(n+2))a_n
(16)
=-([l+(n+1)](l-n))/((n+1)(n+2))a_n.
(17)

因此,

a_2=-(l(l+1))/(1·2)a_0
(18)
a_4=-((l-2)(l+3))/(3·4)a_2
(19)
=(-1)^2([(l-2)l][(l+1)(l+3)])/(1·2·3·4)a_0
(20)
a_6=-((l-4)(l+5))/(5·6)a_4
(21)
=(-1)^3([(l-4)(l-2)l][(l+1)(l+3)(l+5)])/(1·2·3·4·5·6)a_0,
(22)

因此解是

 y_1(x)=1+sum_(n=1)^infty(-1)^n([(l-2n+2)...(l-2)l][(l+1)(l+3)...(l+2n-1)])/((2n)!)x^(2n).
(23)

类似地,解是

 y_2(x)=x+sum_(n=1)^infty(-1)^n([(l-2n+1)...(l-3)(l-1)][(l+2)(l+4)...(l+2n)])/((2n+1)!)x^(2n+1).
(24)

如果 l偶数整数,级数 y_1(x) 简化为次数为 l 且仅包含 偶数次幂 x多项式,而级数 y_2(x) 发散。如果 l奇数整数,级数 y_2(x) 简化为次数为 l 且仅包含 奇数次幂 x多项式,而级数 y_1(x) 发散。整数 l 的通解由勒让德多项式给出

P_n(x)=c_n{y_1(x) for l even; y_2(x) for l odd
(25)
=c_n{_2F_1(-1/2,1/2(l+1);1/2,x^2) for l even; x_2F_1(1/2(l+2),1/2(1-l);3/2;x^2) for l odd
(26)

其中选择 c_n 以产生归一化 P_n(1)=1,而 _2F_1(a,b;c;z)超几何函数

勒让德微分方程的推广形式被称为关联勒让德微分方程

Moon 和 Spencer (1961, p. 155) 将微分方程称为

 (1-x^2)y^('')-2xy^'-[k^2a^2(x^2-1)-p(p+1)-(q^2)/(x^2-1)]y=0
(27)

勒让德波动方程 (Zwillinger 1997, p. 124)。


另请参阅

关联勒让德微分方程, 第一类勒让德函数, 第二类勒让德函数, 勒让德多项式

使用 探索

参考文献

Abramowitz, M. and Stegun, I. A. (编). Handbook of Mathematical Functions with Formulas, Graphs, and Mathematical Tables, 9th printing. New York: Dover, p. 332, 1972.Moon, P. and Spencer, D. E. Field Theory for Engineers. New York: Van Nostrand, 1961.Zwillinger, D. Handbook of Differential Equations, 3rd ed. Boston, MA: Academic Press, 1997.

在 中被引用

勒让德微分方程

请引用为

Weisstein, Eric W. “勒让德微分方程。” 来自 Web 资源。 https://mathworld.net.cn/LegendreDifferentialEquation.html

主题分类