Helmholtz方程在球坐标系下的变量分离及Legendre方程的导出 | 特殊函数（三） |偏微分方程（二十五）

在球坐标曲面所围区域上讨论问题时，自然应采用求坐标$(r,\theta ,\phi )$，此时$Laplace$算子
$${\Delta }_3=\frac{1}{r^2}\frac{\partial }{\partial r}(r^2\frac{\partial }{\partial r})+\frac{1}{r^{2}sin\theta }\frac{\partial }{\partial \theta }(sin\theta \frac{\partial }{\partial \theta })+\frac{1}{r^{2}si{n}^2\theta }\frac{{\partial }^2}{\partial {\phi }^2}$$
设$v(r,\theta ,\phi )=R(r)\Theta (\theta )\Phi (\phi )$，代入Helmholtz方程（1），两边同除以$R\Theta \Phi$，有
$$\frac{\frac{1}{r^2}(r^2{R}^{\prime }{)}^{\prime }}{R}+\frac{1}{r^2}[\frac{1}{sin\theta }\frac{(sin\theta {\Theta }^{\prime }{)}^{\prime }}{\Theta }+\frac{1}{si{n}^2\theta }\frac{{\Phi }^{\prime \prime }}{\Phi }]+k^2=0$$
逐层剥离，得常微分方程
$$\begin{gathered} {\Phi }^{\prime \prime }+\mu \Phi =0 \\ \frac{1}{sin\theta }(sin\theta {\Theta }^{\prime }{)}^{\prime }+(\lambda -\frac{\mu }{si{n}^2\theta })\Theta =0(6) \\ \frac{1}{r^2}(r^2{R}^{\prime }{)}^{\prime }+(k^2-\frac{\lambda }{r^2})R=0(7) \end{gathered}$$
其中，方程（7）称为球Bessel方程，可转化为Bessel方程。特别地，当$k=0$（Laplace方程）时，（7）式为Euler方程
$$r^2{R}^{\prime \prime }+2r{R}^{\prime }-\lambda R=0$$
关于$\Theta (\theta )$的方程（6），经变量代换$x=cos\theta$，并记$y(x)=\Theta (arccosx),\mu =m^2$，可改写为S-L型方程
$$[(1-x^2)y^{\prime }{]}^{\prime }+(\lambda -\frac{m^2}{1-x^2})y=0$$
称为m阶伴随勒让德（Legendre）方程。特别地，当m=0时，方程
$$[(1-x^2)y^{\prime }{]}^{\prime }+\lambda y=0$$
称为Legendre方程。

Bessel方程和Legendre方程都是变系数二阶线性常微分方程，它们的解Bessel函数和Legendre多项式是重要的特殊函数。