主题
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)。


另请参阅

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

使用 Wolfram|Alpha 探索

参考文献

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.

在 Wolfram|Alpha 中被引用

勒让德微分方程

请引用为

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

主题分类