在数学中,柱谐函数是指在柱坐标中,拉普拉斯方程,
,的一系列的解。每一个柱谐函数
都是三个函数的积:
![{\displaystyle V_{n,k}(\rho ,\varphi ,z)=P_{n,k}(\rho )\Phi _{n}(\varphi )Z_{k}(z)\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/eabb2ff2c5e0609696423cbdd04dba11601de09b)
其中
是柱坐标下的坐标(分别为半径、极角和高度),而 n 和 k 则是两个常数,用以区分不同的柱谐函数。所有的柱谐函数一起,组成一组正交完备的基底,任何一个拉普拉斯方程的解都可以写成这些函数的线性组合。
有时候,柱谐函数也用来指代贝塞尔函数(柱谐函数最重要的组成部分)。
柱坐标下的拉普拉斯方程为:
![{\displaystyle \nabla ^{2}V={\frac {1}{\rho }}{\frac {\partial }{\partial \rho }}\left(\rho {\frac {\partial V}{\partial \rho }}\right)+{\frac {1}{\rho ^{2}}}{\frac {\partial ^{2}V}{\partial \varphi ^{2}}}+{\frac {\partial ^{2}V}{\partial z^{2}}}=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f7e1f23c2c2526375f3bee5945fcfedad3dce096)
使用分离变量法,设:
![{\displaystyle V=P(\rho )\,\Phi (\varphi )\,Z(z)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5dec5bd95a72032e683ef9bc45321f6b5299394b)
代入拉普拉斯方程,得到:
![{\displaystyle {\frac {\Phi Z}{\rho }}{\frac {d}{d\rho }}(\rho {\frac {dP}{d\rho }})+{\frac {PZ}{\rho ^{2}}}{\frac {d^{2}\Phi }{d\varphi ^{2}}}+P\Phi {\frac {d^{2}Z}{dz^{2}}}=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c02ec49fe53352c3ff8315e0c6812ae15d63633b)
分离变量后,可以写成:
,整理得 ![{\displaystyle {\begin{cases}\rho ^{2}P''+\rho P'+(k^{2}\rho ^{2}-n^{2})P=0\\\Phi ''+n^{2}\Phi =0\\Z''-k^{2}Z=0\end{cases}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a5fc97939383a93a2ec8cf27b6dc394c4a238f2a)
这里,
是一个以
为周期的函数,即满足周期性边界条件
,因此
必须为非负整数。可以解出:
,![{\displaystyle n\in \mathbb {N} }](https://wikimedia.org/api/rest_v1/media/math/render/svg/d059936e77a2d707e9ee0a1d9575a1d693ce5d0b)
或,等价地:
,![{\displaystyle n\in \mathbb {N} }](https://wikimedia.org/api/rest_v1/media/math/render/svg/d059936e77a2d707e9ee0a1d9575a1d693ce5d0b)
这里,花括符表示,两个解是简并的。即对于一个n,方程有两个线性无关的解(n=0时除外)。
对于
的方程,
可以是任意一个复数。对于一个特定的
,方程有两个线性无关的解。
若k是一个实数,则:
![{\displaystyle Z_{k}=\{\cosh(kz),\sinh(kz)\}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/51f396f1170885a322ad34cf7a06cc699ea4794b)
或,等价地:
![{\displaystyle Z_{k}=\{e^{kz},e^{-kz}\}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6e19d11bb3df1fa6c1fae48c781587fd2b84c43a)
若k是一个纯虚数,则:
![{\displaystyle Z_{k}=\{\cos(|k|z),\sin(|k|z)\}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4a9a4581fd4130cbc9ab604a79bf38988194e802)
或,等价地:
![{\displaystyle Z_{k}=\{e^{i|k|z},e^{-i|k|z}\}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ca522e39bccacdeeceb5541aed6156e605af17cd)
对于周期性边界条件,k取分立值;对于非周期性边界条件,k取连续值。
而
的方程则是一个贝塞尔方程,它的解
形式如下。
若
,则该方程简化为一个欧拉方程:
![{\displaystyle P_{0,0}=\{1,\ln \rho \}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b9aca57d19117646b521c6d8a0fc682f82e85594)
![{\displaystyle P_{n,0}=\{\rho ^{n},\rho ^{-n}\},n\neq 0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/dc672cb74259fed6084a3515ef6ad36e6abd2d3e)
若
是一个非零实数,则方程的解为第一类和/或第二类贝塞尔函数:
![{\displaystyle P_{n,k}=\{J_{n}(k\rho ),Y_{n}(k\rho )\}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8b86a2f044f87b01689a391d2fedc5120196cdf3)
若k是一个纯虚数,则方程的解为修正贝塞尔函数:
![{\displaystyle P_{n,k}=\{I_{n}(|k|\rho ),K_{n}(|k|\rho )\}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c5d45156f990bc0f70afe793b78a6b548f90481b)
最终,柱谐函数可以表达为以上三个函数的乘积,
。
柱谐函数是正交完备的。正交性是指:
![{\displaystyle \int _{0}^{\infty }d\rho \int _{0}^{2\pi }d\varphi \int _{-\infty }^{\infty }dz\left[V_{n,k}(\rho ,\theta ,\varphi )V_{n',k'}(\rho ,\theta ,\varphi )\right]={\frac {1}{C_{n,k}^{2}}}\,\delta _{n,n'}\,\delta _{k,k'}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f5f2e5c833617c1cee1395852df312e964a9d189)
其中,
和
为克罗内克符号,
为归一化系数。
完备性是指,对于柱坐标下的任何一个拉普拉斯方程的解均可以写成若干个柱谐函数的线性叠加。
,k取分立值
,k取连续值