柱谐函数

在数学中，柱谐函数是指在柱坐标中，拉普拉斯方程，${\displaystyle {\mathrm{\nabla <!--\; \nabla \; -->}}^{2}V(\mathrm{\rho <!--\; \rho \; -->},\mathrm{\phi <!--\; \phi \; -->},z)=0}$ 和 则是两个常数，用以区分不同的柱谐函数。所有的柱谐函数一起，组成一组正交完备的基底，任何一个拉普拉斯方程的解都可以写成这些函数的线性组合。

有时候，柱谐函数也用来指代贝塞尔函数（柱谐函数最重要的组成部分）。

柱坐标下的拉普拉斯方程为：

使用分离变量法，设：

代入拉普拉斯方程，得到：

分离变量后，可以写成：

这里，${\displaystyle \mathrm{\Phi <!--\; \Phi \; -->}}$是一个以${\displaystyle 2\mathrm{\pi <!--\; \pi \; -->}}$为周期的函数，即满足周期性边界条件${\displaystyle \mathrm{\Phi <!--\; \Phi \; -->}(\mathrm{\phi <!--\; \phi \; -->})=\mathrm{\Phi <!--\; \Phi \; -->}(\mathrm{\phi <!--\; \phi \; -->}+2\mathrm{\pi <!--\; \pi \; -->})}$，因此${\displaystyle n}$必须为非负整数。可以解出：

或，等价地：

这里，花括符表示，两个解是简并的。即对于一个n，方程有两个线性无关的解（n=0时除外）。

对于${\displaystyle Z}$的方程，${\displaystyle k}$可以是任意一个复数。对于一个特定的${\displaystyle k}$，方程有两个线性无关的解。

若k是一个实数，则：

或，等价地：

若k是一个纯虚数，则：

或，等价地：

对于周期性边界条件，k取分立值；对于非周期性边界条件，k取连续值。

而${\displaystyle P}$的方程则是一个贝塞尔方程，它的解${\displaystyle P_{n,k}}$形式如下。

若${\displaystyle k=0}$，则该方程简化为一个欧拉方程：

若${\displaystyle k}$是一个非零实数，则方程的解为第一类和/或第二类贝塞尔函数：

若k是一个纯虚数，则方程的解为修正贝塞尔函数：

最终，柱谐函数可以表达为以上三个函数的乘积，${\displaystyle V_{n,k}=P_{n,k}{\mathrm{\Phi <!--\; \Phi \; -->}}_n{Z}_k}$。

柱谐函数是正交完备的。正交性是指：

其中，${\displaystyle {\mathrm{\delta <!--\; \delta \; -->}}_{n,n^{\prime }}}$和${\displaystyle {\mathrm{\delta <!--\; \delta \; -->}}_{k,k^{\prime }}}$为克罗内克符号，${\displaystyle C_{n,k}}$为归一化系数。

完备性是指，对于柱坐标下的任何一个拉普拉斯方程的解均可以写成若干个柱谐函数的线性叠加。