在數學中,柱諧函數是指在柱坐標中,拉普拉斯方程式,
,的一系列的解。每一個柱諧函數
都是三個函數的積:
![{\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取連續值
參見