拉普拉斯方程:

\Delta u=0

在球座標系下的形式為:

\frac{1}{r^2}\frac{\partial}{\partial r}\left( r^2 \frac{\partial u}{\partial r} \right)+\frac{1}{r^2 sin\theta} \frac{\partial}{\partial \theta}\left( sin\theta \frac{\partial u}{\partial \theta} \right)+\frac{1}{r^2 sin^2\theta} \frac{\partial^2 u}{\partial \varphi^2}=0

進行分離變數:令

u\left( r,\theta,\varphi \right)=R\left( r \right)Y\left( \theta,\varphi \right)

分解成兩個方程:

\frac{d}{dr}\left( r^2\frac{dR}{dr} \right)-l\left( l+1 \right)R=0

\frac{1}{ sin\theta} \frac{\partial}{\partial \theta}\left( sin\theta \frac{\partial Y}{\partial \theta} \right)+\frac{1}{ sin^2\theta} \frac{\partial^2 Y}{\partial \varphi^2}+l\left( l+1 \right)Y=0

其中

l\left( l+1 \right)

為常數。

第一個方程

r^2\frac{d^2R}{dr^2}+2r\frac{dR}{dr}-l\left( l+1 \right)R=0

為尤拉型常微分方程。

其解為:

R\left(r \right)=Cr^l+D\frac{1}{r^{l+1}}

對第二個方程進一步分離變數:令

Y\left( \theta,\varphi \right)=\Theta\left( \theta \right)\Phi\left( \varphi \right)

分解成兩個常微分方程:

\Phi

sin\theta\frac{d}{d\theta}\left( sin\theta \frac{d\Theta}{d\theta} \right)+\left[ l\left( l+1 \right)sin^2\theta -\lambda\right ]\Theta=0

注意第一個方程隱藏的‘自然的週期條件’

\Phi\left( \varphi+2\pi \right)=\Phi\left( \varphi \right)

,透過此條件以及此微分方程構成本徵值問題,本徵值是:

\lambda=m^2\,\,\,\left( m=0,1,2,3,\cdots \right)

本徵函式是:

\Phi\left( \varphi \right)=Acos\,m\varphi+Bsin\,m\varphi

對第二個方程進行變換:

x=cos\theta

,即變成

l

連帶勒讓德方程

,對

m=0

的特例,該方程變成

l

勒讓德方程.

(此特例在幾何上為一個軸對稱模型,極角

\varphi

無關。)

m=0

這個特例,其

l

階勒讓德方程的兩個線性獨立解之一退化得到的多項式,將他們分別乘以適當的常數,得到的本徵函式:

l

階勒讓德多項式,記作

P_{l}\left( x \right)

關於

l

階勒讓德多項式的性質:

l

為奇數,

P_{l}\left( x \right)

為奇函式。

l

為偶數,

P_{l}\left( x \right)

為偶函式。

微分形式:

P_{l}\left( x \right)=\frac{1}{2^l l!}\frac{d^l}{dx^l}\left( x^2-1 \right)^l

(羅德里格斯公式)

積分形式:

P_{l}\left( x \right)=\frac{1}{2\pi i}\frac{1}{2^l}\oint_{C}^{}\frac{\left( z^2-1 \right)^l}{\left( z-x \right)^{l+1}}dz

C

z

平面上圍繞

z=x

點的任一閉合迴路。這叫做

施列夫利積分。

P_{l}\left( x \right)=\frac{1}{\pi}\int_{0}^{\pi}\left[ cos\theta+isin\theta cos\psi \right]^ld\psi

可得一些特別的值:

P_{l}\left( 1 \right)=1,P_{l}\left( -1 \right)=\left( -1 \right)^l,\left| P_{l}\left( x \right) \right|\leq1,\,\,\,\,\,\left( -1\leq x \leq 1 \right)

正交性:

\int_{-1}^{1}P_{k}\left( x \right)P_{l}\left( x \right)dx=0\,\,\,\,\left( k\ne l \right)

模值:

N_{l}^{2}=\int_{-1}^{1}\left[ P_{l}\left( x \right) \right]^2dx=\frac{2}{2l+1}

廣義傅立葉級數:

f\left( x \right)=\sum_{l=0}^{\infty}{f_{\,l}P_{l}\left( x \right)}

f_{\,l}=\frac{2l+1}{2}\int_{-1}^{1}f\left( x \right)P_{l}\left( x \right)dx

根據這些方程的解,對

m=0

這種情況的模型,其拉普拉斯方程的解為:

u\left( r,\theta \right)=\sum_{l=0}^{\infty}{R\left( r \right)P_{l}\left( x \right)}=\sum_{l=0}^{\infty}{\left( A_{l}r^l+\frac{B_{l}}{r^{l+1}} \right)P_{l}\left( cos\theta \right)}

根據封面圖形,設在單位球北極置

4\pi\varepsilon_{0}

單位的正電荷,則球內任一點

M\left( r,\theta,\varphi \right)

的靜電勢為:

V_{M}=\frac{1}{4\pi\varepsilon_{0}}\frac{Q}{d}=\frac{1}{d}=\frac{1}{\sqrt{1-2rcos\,\theta+r^2}}

靜點勢遵從拉普拉斯方程,且以球座標系的極軸為對稱性,因此該情況下拉普拉斯方程一般解的形式為:

\frac{1}{d}=\sum_{l=0}^{\infty}{\left( A_{l}r^l+\frac{B_{l}}{r^{l+1}} \right)P_{l}\left( cos\theta \right)}

分兩種情況:

對在單位球內的靜電勢,根據在球心電勢應是有限的,故必有

B_{l}=0

,即有:

\frac{1}{\sqrt{1-2rcos\,\theta+r^2}}=\sum_{l=0}^{\infty}{A_{l}r^lP_{l}\left( cos\theta \right)}

左右兩邊取

\theta=0

,即有:

\frac{1}{1-r}=\sum_{l=0}^{\infty}{A_{l}r^lP_{l}\left( 1 \right)}=\sum_{l=0}^{\infty}{A_{l}r^l}

左式在

r=0

的鄰域上泰勒展開:

\frac{1}{1-r}=1+r+r^2+\cdots+r^l+\cdots

從而有:

A_{l}=1

\Rightarrow\frac{1}{\sqrt{1-2rcos\,\theta+r^2}}=\sum_{l=0}^{\infty}{r^lP_{l}\left( cos\theta \right)}\,\,\,\,\left( r<1 \right)

對在單位球外的靜電勢,在無窮遠處的電勢是有限的,故必有

A_{l}=0

,即有:

\frac{1}{\sqrt{1-2rcos\,\theta+r^2}}=\sum_{l=0}^{\infty}{\frac{B_{l}}{r^{l+1}}P_{l}\left( cos\theta \right)}

同理取

\theta=0

,既有:

\frac{1}{r-1}=\sum_{l=0}^{\infty}{\frac{B_{l}}{r^{l+1}}P_{l}\left(1\right)}=\sum_{l=0}^{\infty}{\frac{B_{l}}{r^{l+1}}}

左式在

r=\infty

的鄰域上泰勒展開:

\frac{1}{r}\frac{1}{1-\frac{1}{r}}=\frac{1}{r}\left( 1+\frac{1}{r}+\frac{1}{r^2}+\cdots \right)

從而有:

B_{l}=1

\frac{1}{\sqrt{1-2rcos\,\theta+r^2}}=\sum_{l=0}^{\infty}{\frac{1}{r^{l+1}}P_{l}\left( cos\theta \right)}\,\,\,\,\left( r>1 \right)