ハンケル変換

零次のハンケル変換は、回転対称な関数の二次元フーリエ変換と同じである。

動径ベクトル r の二次元関数 f(r) のフーリエ変換は以下のようになる。

${\displaystyle F(\mathbf {k} )={\frac {1}{2\pi }}\iint f(\mathbf {r} )e^{-i\mathbf {k} \cdot \mathbf {r} }\,d\mathbf {r} .}$

ここで極座標系 (r, θ) を考え、ベクトル k が θ = 0 の軸上の値を取るとすると、上のフーリエ変換は以下のように書ける。

${\displaystyle F(\mathbf {k} )={\frac {1}{2\pi }}\int _{r=0}^{\infty }\int _{\theta =0}^{2\pi }f(r,\theta )e^{-ikr\cos(\theta )}\,r\,dr\,d\theta }$

ここで θ はベクトル k と r の間にある角度である。関数 f が回転対称であれば、角度 θ に依存しなくなり、 f(r) と書ける。θ に関して積分すると、フーリエ変換は以下のようになる。

${\displaystyle F(\mathbf {k} )=F(k)=\int _{0}^{\infty }f(r)J_{0}(kr)r\,dr}$

これが関数 f(r) の零次のハンケル変換である。

ハンケル変換は、FHA サイクル (en) と呼ばれる積分演算のうちの一つである。二次元変換では、A をアーベル変換 (en)、F をフーリエ変換、H を零次のハンケル変換のそれぞれ演算子とすると、投影断層定理 (en) の特別な場合として回転対称な関数については以下のようになる。

${\displaystyle FA=H.\,}$

つまりある関数にアーベル変換を1次元関数に適用し、その結果にフーリエ変換を適用することと、その関数にハンケル変換を適用することは、等価である。これは多次元に拡張できる。

${\displaystyle f(r)\,}$	${\displaystyle F_{0}(k)\,}$
${\displaystyle 1\,}$	${\displaystyle \delta (k)/k\,}$
${\displaystyle 1/r\,}$	${\displaystyle 1/k\,}$
${\displaystyle r\,}$	${\displaystyle -1/k^{3}\,}$
${\displaystyle r^{3}\,}$	${\displaystyle 9/k^{5}\,}$
${\displaystyle r^{m}\,}$	${\displaystyle {\frac {2^{m+1}\Gamma (m/2+1)}{k^{m+2}\Gamma (-m/2)}}\,}$ for m odd ${\displaystyle 0???\,}$ for m even
${\displaystyle {\frac {1}{\sqrt {r^{2}+z^{2}}}}\,}$	${\displaystyle {\frac {e^{-k|z|}}{k}}={\sqrt {\frac {2|z|}{\pi k}}}K_{-1/2}(k|z|)\,}$
${\displaystyle {\frac {1}{r^{2}+z^{2}}}\,}$	${\displaystyle K_{0}(k|z|)\,}$
${\displaystyle e^{iar}/r\,}$	${\displaystyle i/{\sqrt {a^{2}-k^{2}}}\quad (a>0,k<a)\,}$
${\displaystyle \,}$	${\displaystyle 1/{\sqrt {k^{2}-a^{2}}}\quad (a>0,k>a)\,}$
${\displaystyle e^{-a^{2}r^{2}/2}\,}$	${\displaystyle {\frac {e^{-k^{2}/2a^{2}}}{a^{2}}}}$
${\displaystyle -r^{2}f(r)\,}$	${\displaystyle {\frac {d^{2}F_{0}}{dk^{2}}}+{\frac {1}{k}}{\frac {dF_{0}}{dk}}}$

${\displaystyle K_{n}(z)}$ は第2種変形ベッセル関数である。表中の ${\displaystyle {\frac {d^{2}F_{0}}{dk^{2}}}+{\frac {1}{k}}{\frac {dF_{0}}{dk}}}$ は、球対称な関数 ${\displaystyle F_{0}(k)}$ に極座標系 ${\displaystyle (k,\theta )}$ におけるラプラス演算子 (en) を適用することを意味する。

• Gaskill, Jack D., "Linear Systems, Fourier Transforms, and Optics", John Wiley & Sons, New York, 1978. ISBN 0-471-29288-5
• Polyanin, A. D. and Manzhirov, A. V., Handbook of Integral Equations, CRC Press, Boca Raton, 1998. ISBN 0-8493-2876-4
• Smythe, William R. (1968). Static and Dynamic Electricity (3rd ed. ed.). New York: McGraw-Hill. pp. 179–223 
• GSL リファレンスマニュアル, 第32章 離散ハンケル変換^{[リンク切れ]}