数学物理方法(顾樵)》第14章学习笔记
第一节 勒让德方程的引入
将直角坐标的三维拉普拉斯方程 转换为极坐标形式,通过分离变量法、变量代换及设置特殊值的方法,得到勒让德方程:
(
1
−
x
2
)
y
′
′
−
2
x
y
′
+
l
(
l
+
1
)
y
=
0
(1-x^2)y''-2xy'+l(l+1)y=0
(1−x2)y′′−2xy′+l(l+1)y=0
另一种形式:
1 sin θ d d θ ( sin θ d Θ d θ ) = − l ( l + 1 ) Θ \frac{1}{\sin \theta}\frac{d}{d\theta}(\sin\theta\frac{d\Theta}{d\theta})=-l(l+1)\Theta sinθ1dθd(sinθdθdΘ)=−l(l+1)Θ
第二节 勒让德多项式
由配方法得到勒让德方程在 0 处的幂级数解:
y
(
x
)
=
C
0
y
0
(
x
)
+
C
1
y
1
(
x
)
y(x)=C_0y_0(x)+C_1y_1(x)
y(x)=C0y0(x)+C1y1(x)
其中:
y 0 ( x ) = 1 − l ( l + 1 ) 2 ! x 2 + ( l − 2 ) l ( l + 1 ) ( l + 3 ) 4 ! x 4 − ( l − 4 ) ( l − 2 ) l ( l + 1 ) ( l + 3 ) ( l + 5 ) 6 ! x 6 + ( l − 6 ) ( l − 4 ) ( l − 2 ) l ( l + 1 ) ( l + 3 ) ( l + 5 ) ( l + 7 ) 8 ! x 8 − ⋅ ⋅ ⋅ \begin{aligned} y_0(x)=&1-\frac{l(l+1)}{2!}x^2+\frac{(l-2)l(l+1)(l+3)}{4!}x^4\\ &-\frac{(l-4)(l-2)l(l+1)(l+3)(l+5)}{6!}x^6\\ &+\frac{(l-6)(l-4)(l-2)l(l+1)(l+3)(l+5)(l+7)}{8!}x^8\\ &-\cdot\cdot\cdot \end{aligned} y0(x)=1−2!l(l+1)x2+4!(l−2)l(l+1)(l+3)x4−6!(l−4)(l−2)l(l+1)(l+3)(l+5)x6+8!(l−6)(l−4)(l−2)l(l+1)(l+3)(l+5)(l+7)x8−⋅⋅⋅
y 1 = x − ( l − 1 ) ( l + 2 ) 3 ! x 3 + ( l − 3 ) ( l − 1 ) ( l + 2 ) ( l + 4 ) 5 ! x 5 − ( l − 5 ) ( l − 3 ) ( l − 1 ) ( l + 2 ) ( l + 4 ) ( l + 6 ) 7 ! x 7 + ⋅ ⋅ ⋅ \begin{aligned} y_1=&x-\frac{(l-1)(l+2)}{3!}x^3+\frac{(l-3)(l-1)(l+2)(l+4)}{5!}x^5\\ &-\frac{(l-5)(l-3)(l-1)(l+2)(l+4)(l+6)}{7!}x^7\\ &+\cdot\cdot\cdot \end{aligned} y1=x−3!(l−1)(l+2)x3+5!(l−3)(l−1)(l+2)(l+4)x5−7!(l−5)(l−3)(l−1)(l+2)(l+4)(l+6)x7+⋅⋅⋅
由达朗贝尔判别法知,
y
0
(
x
)
y_0(x)
y0(x) 与
y
1
(
x
)
y_1(x)
y1(x) 的收敛半径为:1。
l
l
l 特殊值下的解
y
0
(
x
)
=
C
0
+
C
2
x
2
+
C
4
x
4
+
⋅
⋅
⋅
+
C
l
x
l
(
l
为
偶
数
)
y_0(x)=C_0+C_2 x^2+C_4 x^4+\cdot\cdot\cdot+C_l x^l\ \ \ \ (l\ 为偶数)
y0(x)=C0+C2x2+C4x4+⋅⋅⋅+Clxl (l 为偶数)
y
1
=
C
1
x
+
C
3
x
3
+
C
5
x
5
+
⋅
⋅
⋅
+
C
l
x
l
(
l
为
奇
数
)
y_1=C_1 x+C_3 x^3+C_5 x^5+\cdot\cdot\cdot+C_l x^l\ \ \ \ (l\ 为奇数)
y1=C1x+C3x3+C5x5+⋅⋅⋅+Clxl (l 为奇数)
设
C
l
=
(
2
l
)
!
2
l
(
l
!
)
2
C_l=\frac{(2l)!}{2^l(l!)^2}
Cl=2l(l!)2(2l)!
则对
y
0
y_0
y0 与
y
1
y_1
y1 有一个统一的形式:
P
l
(
x
)
=
1
2
l
∑
m
=
0
M
(
−
1
)
m
(
2
l
−
2
m
)
!
m
!
(
l
−
m
)
!
(
l
−
2
m
)
!
x
l
−
2
m
P_l(x)=\frac{1}{2^l}\sum_{m=0}^M (-1)^m\frac{(2l-2m)!}{m!(l-m)!(l-2m)!}x^{l-2m}
Pl(x)=2l1m=0∑M(−1)mm!(l−m)!(l−2m)!(2l−2m)!xl−2m
其中
M = { l 2 ( l = 0 , 2 , 4 , . . . ) l − 1 2 ( l = 1 , 3 , 5 , . . . ) M=\begin{dcases}\frac{l}{2}\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ (l=0,2,4,...)\\ \\ \frac{l-1}{2}\ \ \ \ \ \ \ \ \ \ \ (l=1,3,5,...)\end{dcases} M=⎩⎪⎪⎪⎨⎪⎪⎪⎧2l (l=0,2,4,...)2l−1 (l=1,3,5,...)
勒让德方程的通解 可写为:
y
(
x
)
=
A
P
l
(
x
)
+
B
Q
l
(
x
)
y(x)=AP_l(x)+BQ_l(x)
y(x)=APl(x)+BQl(x)
其中 Q l ( x ) Q_l(x) Ql(x) 是无穷级数,称为 第二类勒让德函数。
第三节 勒让德多项式的基本性质
性质 | 表达式 |
---|---|
微分性质 | P l ( x ) = 1 2 l l ! d l d x l ( x 2 − 1 ) l P_l(x)=\frac{1}{2^l l!}\frac{d^l}{dx^l}(x^2-1)^l Pl(x)=2ll!1dxldl(x2−1)l |
积分性质 | P l ( x ) = 1 π ∫ 0 π ( x + x 2 − 1 cos ϕ ) l d ϕ P_l(x)=\frac{1}{\pi}\int_0^{\pi}(x+\sqrt{x^2-1}\cos \phi)^ld\phi Pl(x)=π1∫0π(x+x2−1cosϕ)ldϕ |
生成函数 | 1 1 − 2 r x + r 2 = ∑ l = 0 ∞ P l ( x ) r l ( ∣ x ∣ ≤ 1 , ∣ r ∣ < 1 ) \frac{1}{\sqrt{1-2rx+r^2}}=\sum_{l=0}^\infty P_l(x)r^l\ \ \ (\lvert x \rvert \le 1,\ \lvert r \rvert <1) 1−2rx+r21=∑l=0∞Pl(x)rl (∣x∣≤1, ∣r∣<1) |
递推公式
n=1,2,3,…
- ( n + 1 ) P n + 1 ( x ) = ( 2 n + 1 ) x P n ( x ) − n P n − 1 ( x ) (n+1)P_{n+1}(x)=(2n+1)xP_n(x)-nP_{n-1}(x) (n+1)Pn+1(x)=(2n+1)xPn(x)−nPn−1(x)
- P n ( x ) = P n + 1 ′ ( x ) − 2 x P n ′ ( x ) + P n − 1 ′ ( x ) P_n(x)=P'_{n+1}(x)-2xP'_n(x)+P'_{n-1}(x) Pn(x)=Pn+1′(x)−2xPn′(x)+Pn−1′(x)
- x P n ′ ( x ) − P n − 1 ′ ( x ) = n P n ( x ) xP'_n(x)-P'_{n-1}(x)=nP_n(x) xPn′(x)−Pn−1′(x)=nPn(x)
- P n + 1 ′ ( x ) − P n − 1 ′ ( x ) = ( 2 n + 1 ) P n ( x ) P'_{n+1}(x)-P'_{n-1}(x)=(2n+1)P_n(x) Pn+1′(x)−Pn−1′(x)=(2n+1)Pn(x)
- n P n + 1 ′ ( x ) + ( n + 1 ) P n − 1 ′ ( x ) = ( 2 n + 1 ) x P n ′ ( x ) nP'_{n+1}(x)+(n+1)P'_{n-1}(x)=(2n+1)xP'_n(x) nPn+1′(x)+(n+1)Pn−1′(x)=(2n+1)xPn′(x)
n=0,1,2,…
- P n + 1 ′ ( x ) = ( n + 1 ) P n ( x ) + x P n ′ ( x ) P'_{n+1}(x)=(n+1)P_n(x)+xP'_n(x) Pn+1′(x)=(n+1)Pn(x)+xPn′(x)
第四节 勒让德多项式的正交完备性
正交性
考察在勒让德多项式上的勒让德方程的施图姆-刘维尔形式
一个重要的积分公式:
∫ − 1 x P l ( x ) P m ( x ) d x = − ( 1 − x 2 ) [ P l ( x ) P m ′ ( x ) − P m ( x ) P l ′ ( x ) ] m ( m + 1 ) − l ( l + 1 ) ( l ≠ m ) \int_{-1}^x P_l(x)P_m(x)dx=-\frac{(1-x^2)[P_l(x)P'_m(x)-P_m(x)P'_l(x)]}{m(m+1)-l(l+1)}\ \ \ \ (l\ne m) ∫−1xPl(x)Pm(x)dx=−m(m+1)−l(l+1)(1−x2)[Pl(x)Pm′(x)−Pm(x)Pl′(x)] (l=m)
模值
∫ − 1 1 P l 2 ( x ) d x = 2 2 l + 1 d x \int_{-1}^1 P_l^2(x)dx=\frac{2}{2l+1}dx ∫−11Pl2(x)dx=2l+12dx
完备性
在
[
−
1
,
1
]
[-1,1]
[−1,1] 上的分段光滑函数
f
(
x
)
f(x)
f(x) 可以按勒让德多项式级数展开
f
(
x
)
=
∑
l
=
0
∞
C
l
P
l
(
x
)
f(x)=\sum_{l=0}^\infty C_l P_l(x)
f(x)=l=0∑∞ClPl(x)
其中:
C l = 2 l + 1 2 ∫ − 1 1 P l ( x ) f ( x ) d x C_l=\frac{2l+1}{2}\int_{-1}^1 P_l(x)f(x)dx Cl=22l+1∫−11Pl(x)f(x)dx
在间断点 x = x 0 x=x_0 x=x0 处:
∑ l = 0 ∞ C l P l ( x 0 ) = f ( x 0 − 0 ) + f ( x 0 + 0 ) 2 \sum_{l=0}^\infty C_l P_l(x_0) = \frac{f(x_0-0)+f(x_0+0)}{2} l=0∑∞ClPl(x0)=2f(x0−0)+f(x0+0)