根据前面的知识,对拉普拉斯方程和亥姆霍兹方程进行分离变量,得到球函数方程:
球函数方程的解
其中
中解出,式中采用变量代换:
一、轴对称球函数
1、勒让德多项式
当
使用之前的方法,求出对应级数退化的多项式,将他们分别乘以适当的系数,使得最高次幂项
反用系数递推公式,改写为:
就可以把系数一一计算出来,得:
将
其中
现在计算
如果
2、勒让德多项式的微分表示
用二项式定理把
把上式求导
于是我们得到了勒让德多项式的微分形式:
该公式叫做罗德里格斯公式。
3、勒让德多项式的积分形式
利用高阶导数的柯西公式,微分表示可以改写为复变函数上的环路积分:
化简得到:
这叫做拉普拉斯积分,由此可以看出:
即:
4、勒让德多项式的正交关系
作为施图姆-刘维尔本征值问题的正交关系特例,不同阶的勒让德多项式在
如果从
5、勒让德多项式的模
如果前一部分中
将上式的
这里的
分部积分,得到:
观察分部积分过程,每次分部积分都会使
6、广义傅里叶级数
根据上面的证明,可知勒让德多项式
或:
7、拉普拉斯方程的轴对称定解问题
拉普拉斯方程的定解问题,如果有对称轴,自然就取这对称轴为球坐标的极轴,取这对称轴为球坐标的极轴,由此问题与
8、母函数
在单位球北极放置一个
静电势
研究球心处的电势,应该有限,所以
可以利用广义傅里叶方法展开,更简单地,可以令
上式左边使用泰勒展开,配凑系数相等得到
同样的方法,计算出球外的静电势,结果为:
于是,
9、递推公式
母函数可以推导出勒让德多项式的递推公式,将上式改写为:
两边对
将该写的未求导的公式代入到求导后的公式,得:
观察两边
利用这个式子可以从
类似的递推公式还有:
二、连带勒让德函数
1、连带勒让德函数
在这个这个变换下:
将上面的式子代入到连带勒让德方程中,化为
上式可以使用级数解法直接求解,但是还有更简单的方法。观察上面的微分方程,就是勒让德方程逐项求导
证明:
上面的微分方程是勒让德方程逐项求导
次后得到的方程。根据莱布尼茨求导法则,有: 将勒让德方程:
对
求导 次,结果为: 化简得:
即为
阶连带勒让德方程。其中:
前面已经学过勒让德方程和自然边界条件(在
带回原连带勒让德方程,得到:
其中
2、连带勒让德函数的微分表示
由勒让德多项式的微分表示可以得到连带勒让德函数的微分表示:
这也叫做罗德里格斯公式,观察公式可知,当
在之前的推导中,一直是把
这也是连带勒让德方程的解且满足自然边界条件,但是他实际上与
3、连带勒让德函数的积分表示
按照柯西公式,微分表达式可以表示成环路积分:
这也叫作拉普拉斯积分。
4、连带勒让德函数的正交关系
作为施图姆-刘维尔本征值问题的正交关系特例,不同阶的勒让德多项式在
如果从
5、连带勒让德函数的模
计算连带勒让德函数的模时,可以利用
仿照勒让德多项式计算模的方法,进行连续地分部积分,得到:
6、广义傅里叶级数
根据上面的证明,可知勒让德函数
或:
7、连带勒让德函数的递推公式
连带勒让德函数的基本递推公式有四个:
三、一般的球函数
1、球函数
球函数方程的解叫做球函数:
线性独立的
2、球函数的正交关系
球函数中的任意两个在球面
3、球函数的模
使用三角函数表示的球函数进行积分:
前一个积分值已经得出,后一个积分不会积建议重修微积分。代入得到球函数的模:
其中
因为:
所以使用复数形式的球函数计算模的平方:
得到:
4、球面上的函数的广义傅里叶级数
定义在球面
这里
然后以
然后利用广义傅里叶展开,得到:
带回到
这里两个求和符号可以交换。如果想要展开复数形式的广义傅里叶级数,则有:
其中系数
5、正交归一化的球函数
物理学常常使用正交归一化的球函数,定义为:
在这个正交归一化的球函数下,其正交归一,球面上的函数
广义傅里叶系数