主題
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.tw/LegendreDifferentialEquation.html

主題分類