倭算数理研究所

科学・数学・学習関連の記事を、「倭マン日記」とは別に書いていくのだ!

変形ベッセル関数の公式あれこれ

特殊関数の公式を証明していくシリーズ(目次)。 今回はベッセル関数の眷属である変形ベッセル関数。 定義と微分公式、パラメータ  { \nu } が半奇数の場合の式を見ていきます。

これらの公式は基本的に『ベッセル関数の公式』で導いたものから容易に導くことができますが、所々符号が違うので逆に間違いやすいかも!? まぁ、三角関数に対する双曲線関数みたいなもんですね(三角関数・指数関数との対応は記事の最後に表にしてみました)。

【この記事の内容】

変形されたベッセルの微分方程式

ベッセルの微分方程式

  { \displaystyle\begin{align*}
  \left[\frac{1}{x}\frac{d}{dx}\left(x\frac{d}{dx}\right) + \left(1-\frac{\nu^2}{x^2}\right)\right]Z_n(x) = 0
\end{align*}}

で与えられるのでした。 この微分方程式 { Z_n(x) } の項の符号を変えた

  { \displaystyle\begin{align*}
  \left[\frac{1}{x}\frac{d}{dx}\left(x\frac{d}{dx}\right) - \left(1+\frac{\nu^2}{x^2}\right)\right]Z_n(x) = 0
\end{align*}}

変形されたベッセルの微分方程式 (modified Bessel differential equation) と言います。

ベッセルの微分方程式は2次元中心力ポテンシャル系でのシュレディンガー方程式を変数分離したときに、動径方向の方程式として出てきましたが、系のエネルギーがポテンシャルよりも低い領域では変形されたベッセルの微分方程式となります。

第1種変形ベッセル関数

ベッセルの微分方程式で変数を  { x \rightarrow z = ix } { i }虚数単位)と変換すると変形されたベッセルの微分方程式になります。 したがって、変形されたベッセルの微分方程式の解は、ベッセル関数を  { J_\nu(x) } として  { J_\nu(ix) } で与えられます(簡単のため  { x } を非負の実数とします)。 ベッセル関数の定義を用いて  { J_\nu(ix) } を書き下すと

  { \displaystyle\begin{align*}
  J_\nu(ix)
    &= \left(\frac{ix}{2}\right)^\nu \sum_{p=0}^\infty \frac{(-1)^p}{p!\;\Gamma(\nu+p+1)}\left(\frac{ix}{2}\right)^{2p} \\
    &= i^\nu \left(\frac{x}{2}\right)^\nu \sum_{p=0}^\infty \frac{1}{p!\;\Gamma(\nu+p+1)}\left(\frac{x}{2}\right)^{2p}
\end{align*}}

となるので、第1種変形ベッセル関数(変形されたベッセル関数 modified Bessel function)  { I_\nu(x) }

  { \displaystyle\begin{align*}
  I_\nu(x)
    &= i^{-\nu} J_\nu(ix) \\[2mm]
    &= \left(\frac{x}{2}\right)^\nu \sum_{p=0}^\infty \frac{1}{p!\;\Gamma(\nu+p+1)}\left(\frac{x}{2}\right)^{2p}
\end{align*}}

によって定義します。

 { \nu } が非正の整数のとき、 { n }自然数として

  { \displaystyle\begin{align*}
  I_{-n}(x)
    &= i^n J_{-n}(ix) 
    = i^n (-1)^n J_n(ix)
    = i^{-n}J_n(ix) \\
    &= I_n(x)
\end{align*}}

という性質があります。

複素変数の場合
引数が(負の実数でない)複素数  { z } の場合も、変形ベッセル関数  { I_\nu(z) } を上記の級数で定義します:

  { \displaystyle\begin{align*}
  I_\nu(z) = \left(\frac{z}{2}\right)^\nu \sum_{p=0}^\infty \frac{1}{p!\;\Gamma(\nu+p+1)}\left(\frac{z}{2}\right)^{2p}
\end{align*}}

ベッセル関数で表す場合は、 { z^\nu } からくる多価性のため、 { z }偏角によって場合分けする必要があります:

  { \displaystyle\begin{align*}
  I_\nu(z) = \begin{cases}
      e^{-\nu\pi i/2} J_\nu\left(e^{\pi i/2}z\right) & \left(-\pi < \arg z < \frac{\pi}{2}\right) \\[2mm]
      e^{3\nu\pi i/2} J_\nu\left(e^{-3\pi i/2}z\right) & \left(\frac{\pi}{2} < \arg z < \pi\right)
    \end{cases}
\end{align*}}

ただし、この記事では基本的に変形ベッセル関数の引数は実数であるとして公式を導いていきます。

第2種変形ベッセル関数

ベッセルの微分方程式でのノイマン関数のような第2種変形ベッセル関数  { K_\nu(x) } もあり、以下のように定義されます:

  { \displaystyle\begin{align*}
  K_\nu(x) = \frac{\pi}{2}\frac{I_{-\nu}(x) - I_\nu(x)}{\sin\nu\pi}
\end{align*}}

定義から  { K_{-n}(x) = K_n(x) } も簡単に示せます。  { \nu } が整数  { n } のときは極限として定義されますが、ノイマン関数と同様、ロピタルの定理によって  { \nu } に関する微分で表すことができます:

  { \displaystyle\begin{align*}
  K_n(x)
    &= \lim_{\nu \rightarrow n}K_\nu(x) \\[4mm]
    &= \frac{(-1)^n}{2}\left[\frac{I_{-\nu}(x)}{\partial \nu}
      - \frac{I_\nu(x)}{\partial \nu}\right]_{\nu=n} \\[4mm]
    &= (-1)^{n+1} I_n(x) \ln\frac{x}{2} \\
      &\qquad + \frac{(-1)^n}{2} \left(\frac{x}{2}\right)^n\sum_{p=0}^\infty \frac{1}{p!(n+p)!}
        \left(\frac{x}{2}\right)^{2p}\left(\psi(p+1) + \psi(n+p+1)\right) \\
      &\qquad + \left[\frac{1}{2}\left(\frac{x}{2}\right)^{-n}\sum_{p=0}^{n-1} (-1)^p\frac{(n-p-1)!}{p!}
        \left(\frac{x}{2}\right)^{2p}\right]_{n\ne 0}
\end{align*}}

ここで

  { \displaystyle\begin{align*}
  [x]_{n\ne m} &= \begin{cases} x & (n\ne m) \\ 0 & (n=m) \end{cases} \\
  \psi(n) &= -\gamma + \Big[\sum_{k=1}^{n-1}\frac{1}{k}\Big]_{n\ne1} ,\qquad
  \gamma = \lim_{n\rightarrow \infty} \left(\sum_{k=1}^n - \ln n\right) \fallingdotseq 0.57721
\end{align*}}

 { \psi(x) } はディ・ガンマ関数、 { \gamma }オイラーの定数です。

第2種変形ベッセル関数は「ノイマン関数のような」と書きましたが、実際には(第1種)ハンケル関数  { H_\nu^{(1)}(x) = J_\nu(x) + iN_\nu(x) } と関係があります:

  { \displaystyle\begin{align*}
  H_\nu^{(1)}(ix)
    &= J_\nu(ix) + i \frac{J_\nu(ix)\cos\nu\pi - J_{-\nu}(ix)}{\sin\nu\pi} \\[2mm]
    &= i\frac{-i J_\nu(ix)\sin\nu\pi + J_\nu(ix)\cos\nu\pi - J_{-\nu}(ix)}{\sin\nu\pi} \\[2mm]
    &= i\frac{e^{-\nu\pi i} J_\nu(ix) - J_{-\nu}(ix)}{\sin\nu\pi}
      \qquad(\because \cos\nu\pi - i\sin\nu\pi = e^{-\nu\pi i}) \\[2mm]
    &= i\frac{e^{-\nu\pi i/2} I_\nu(x) - e^{-\nu \pi i/2}I_{-\nu}(x)}{\sin\nu\pi}
      \qquad(\because J_\nu(ix) = e^{\nu\pi i/2} I_\nu(x)) \\[2mm]
    &= -\frac{2}{\pi}ie^{-\nu\pi i/2}K_\nu(x) \\[2mm]
  \therefore\, K_\nu(x) &= \frac{\pi i}{2}e^{\nu\pi i/2} H_\nu^{(1)}(ix)
\end{align*}}

同様にして

  { \displaystyle\begin{align*}
  K_\nu(x) &= \frac{\pi i}{2}e^{-\nu\pi i/2} H_{-\nu}^{(2)}(ix)
\end{align*}}

も示せます。

変形されたベッセルの微分方程式の2つの独立した解は  { I_\nu(x),\,I_{-\nu}(x) } で与えられますが、パラメータ  { \nu } が非正の整数のときはこの2つが同じ関数となるので、 { I_n(x),\,K_n(x) } を2つの独立した解として用います( { \nu } が非正の整数でない場合に  { I_\nu(x),\,K_\nu } を2つの解として用いることも可)。

微分に関する公式

準備
ベッセル関数(円柱関数)の公式あれこれ』で示した円柱関数の微分公式

  { \displaystyle\begin{align*}
  \frac{d}{dx}\Big[x^\nu J_\nu(ax)\Big] &= ax^\nu J_{\nu-1}(ax), &
  \frac{d}{dx}\Big[x^{-\nu}J_\nu(ax)\Big] &= -ax^{-\nu} J_{\nu+1}(ax)
\end{align*}}

を使って、変形ベッセル関数の同様の公式を導きましょう。 両式で  { a = i } として  { I_\nu(x) = i^{-\nu}J_\nu(ix) } を使うと

  { \displaystyle\begin{align*}
  \frac{d}{dx}\Big[x^\nu I_\nu(x)\Big] &= x^\nu I_{\nu-1}(x) &\cdots(1)\\
  \frac{d}{dx}\Big[x^{-\nu}I_\nu(x)\Big] &= x^{-\nu} I_{\nu+1}(x) &\cdots(2)
\end{align*}}

また、 { K_\nu(x) } の定義より

  { \displaystyle\begin{align*}
  \frac{d}{dx}\Big[x^\nu K_\nu(x)\Big]
    &= \frac{\pi}{2\sin\nu\pi}\left\{\frac{d}{dx}\Big[x^\nu I_{-\nu}(x)\Big]
      - \frac{d}{dx}\Big[x^\nu I_\nu(x)\Big]\right\} \\
    &= \frac{\pi}{2\sin\nu\pi}\Big\{x^\nu I_{-\nu+1}(x) - x^\nu I_{\nu-1}(x)\Big\} \\[2mm]
    &= -x^\nu\frac{\pi}{2}\frac{I_{-\nu+1}(x) - I_{\nu-1}(x)}{\sin(\nu-1)\pi} \\[2mm]
    &= -x^\nu K_{\nu-1}(x) \\[4mm]
  \frac{d}{dx}\Big[x^{-\nu} K_\nu(x)\Big]
    &= \frac{\pi}{2\sin\nu\pi}\left\{\frac{d}{dx}\Big[x^{-\nu} I_{-\nu}(x)\Big]
      - \frac{d}{dx}\Big[x^{-\nu} I_\nu(x)\Big]\right\} \\
    &= \frac{\pi}{2\sin\nu\pi}\Big\{x^{-\nu} I_{-\nu-1}(x) - x^{-\nu} I_{\nu+1}(x)\Big\} \\[2mm]
    &= -x^{-\nu}\frac{\pi}{2}\frac{x^\nu I_{-\nu-1}(x) - x^\nu I_{\nu+1}(x)}{\sin(\nu+1)\pi} \\[2mm]
    &= -x^\nu K_{\nu+1}(x)
\end{align*}}

結果だけを書くと

  { \displaystyle\begin{align*}
  \frac{d}{dx}\Big[x^\nu K_\nu(x)\Big] &= -x^\nu K_{\nu-1}(x) &\cdots(3)\\
  \frac{d}{dx}\Big[x^{-\nu}K_\nu(x)\Big] &= -x^{-\nu} K_{\nu+1}(x) &\cdots(4)
\end{align*}}

これらを使って変形ベッセル関数の微分公式を導いていきます。

1階微分
(1) ~ (4) 式の左辺の微分を実行して、 { I_\nu'(x),\,K_\nu'(x) } (プライム (') で  { x } 微分を表すことにして)について解くと

  { \displaystyle\begin{align*}
  I_\nu'(x)
    &= -\frac{\nu}{x}I_\nu(x) + I_{\nu-1}(x) \\
    &= \frac{\nu}{x}I_\nu(x) + I_{\nu+1}(x) \\[2mm]
  K_\nu'(x)
    &= -\frac{\nu}{x}K_\nu(x) - K_{\nu-1}(x) \\
    &= \frac{\nu}{x}K_\nu(x) - K_{\nu+1}(x)
\end{align*}}

また、微分の2つの表式の和から

  { \displaystyle\begin{align*}
  I_\nu'(x) &= \frac{1}{2}\Big\{I_{\nu-1}(x) + I_{\nu+1}(x)\Big\} \\
  K_\nu'(x) &= -\frac{1}{2}\Big\{K_{\nu-1}(x) + K_{\nu+1}(x)\Big\}
\end{align*}}

も分かります。 ちなみに、 { I_\nu'(x) } については

  { \displaystyle\begin{align*}
  I_\nu'(x)
    &= \Big(i^{-\nu} J_\nu(ix)\Big)'
    = i^{-\nu+1} J_\nu'(ix)
\end{align*}}

からも計算できます。

ロンスキアン
 { I_\nu(x) } { I_{-\nu}(x) } のロンスキアンは、ベッセル関数のロンスキアンを使って計算するのが楽でしょう。  { I_\nu'(x) = i^{-\nu+1} J_\nu'(ix) } より

  { \displaystyle\begin{align*}
  I_\nu(x)I_{-\nu}'(x) - I_\nu'(x)I_{-\nu}(x)
    &= i\Big\{J_\nu(ix)J_{-\nu}'(ix) - J_\nu'(ix)J_{-\nu}(ix)\Big\} \\[2mm]
    &= -i\frac{2\sin\nu\pi}{\pi (ix)} \\[2mm]
    &= -\frac{2\sin\nu\pi}{\pi x}
\end{align*}}

となり、ベッセル関数の場合と同じことが分かります。  { I_\nu(x) } { K_\nu(x) } のロンスキアンは

  { \displaystyle\begin{align*}
  I_\nu(x)K_\nu'(x) - I_\nu'(x)K_\nu(x)
    &= \frac{\pi}{2\sin\nu\pi}\Big\{I_\nu(x)I_{-\nu}'(x) - I_\nu'(x)I_{-\nu}(x)\Big\} \\
    &= -\frac{1}{x}
\end{align*}}

となり、ノイマン関数の場合より簡単になりますね。  { K_\nu(x) } の定義にある因子  { \frac{\pi}{2\sin\nu\pi} } はロンスキアンが簡単になるようにとってるというのもあるのかと思います。 ただし、負符号まで含めてしまうと、後で見るパラメータが半奇数の場合の公式や漸近展開に余計な負符号がついてしまうのでつけてないのだと思います(特に確証なし)。

高階導関数
(1) ~ (4) 式はそれぞれ

  { \displaystyle\begin{align*}
  x^{-\nu}\frac{d}{dx}\Big[x^\nu I_\nu(x)\Big] &= I_{\nu-1}(x), &
  x^\nu\frac{d}{dx}\Big[x^{-\nu}I_\nu(x)\Big] &= I_{\nu+1}(x) \\[2mm]
  x^{-\nu}\frac{d}{dx}\Big[x^\nu K_\nu(x)\Big] &= -K_{\nu-1}(x), &
  x^\nu\frac{d}{dx}\Big[x^{-\nu}K_\nu(x)\Big] &= -K_{\nu+1}(x)
\end{align*}}

と変形できるので、それぞれから以下の公式が成り立つことが分かります:

  { \displaystyle\begin{align*}
  \left(\frac{1}{x}\frac{d}{dx}\right)^n\Big[x^\nu I_\nu(x)\Big]
    &= x^{\nu-n}I_{\nu-n}(x) &\cdots(5) \\[2mm]
  \left(\frac{1}{x}\frac{d}{dx}\right)^n\Big[x^{-\nu}I_\nu(x)\Big]
    &= x^{-\nu-n}I_{\nu+n}(x) &\cdots(6) \\[4mm]
  \left(\frac{1}{x}\frac{d}{dx}\right)^n\Big[x^\nu K_\nu(x)\Big]
    &= (-1)^n x^{\nu-n}K_{\nu-n}(x) &\cdots(7) \\[2mm]
  \left(\frac{1}{x}\frac{d}{dx}\right)^n\Big[x^{-\nu}K_\nu(x)\Big]
    &= (-1)^n x^{-\nu-n}K_{\nu+n}(x) &\cdots(8)
\end{align*}}

もう少し詳しい導出は『ベッセル関数(円柱関数)の公式あれこれ』参照。

パラメータが半奇数の場合の公式

変形ベッセル関数もベッセル関数同様、パラメータ  { \nu } が半奇数の場合には初等関数で表すことができます*1。 これを実際に確かめてみましょう。

第1種変形ベッセル関数
まずは  { \nu = \frac{1}{2} } の場合。 変形ベッセル関数の定義の級数より

  { \displaystyle\begin{align*}
  I_{\frac{1}{2}}(x)
    &= \sqrt{\frac{x}{2}} \sum_{p=0}^\infty \frac{1}{p!\;\Gamma(p+\frac{3}{2})}\left(\frac{x}{2}\right)^{2p}
\end{align*}}

ここで

  { \displaystyle\begin{align*}
  \Gamma(p+\tfrac{3}{2})
    &= (p+\tfrac{1}{2})(p-\tfrac{1}{2})(p-\tfrac{3}{2})\cdots\tfrac{1}{2}\Gamma(\tfrac{1}{2}) \\
    &= \frac{(2p+1)!!}{2^{p+1}}\sqrt{\pi}
\end{align*}}

なので

  { \displaystyle\begin{align*}
  I_{\frac{1}{2}}(x)
    &= \sqrt{\frac{x}{2}} \sum_{p=0}^\infty \frac{1}{\sqrt{\pi}\;p!(2p+1)!!}\frac{x^{2p}}{2^{p-1}} \\
    &= \sqrt{\frac{2}{\pi x}} \sum_{p=0}^\infty \frac{x^{2p+1}}{(2p+1)!} \\
    &= \sqrt{\frac{2}{\pi x}} \sinh x
\end{align*}}

双曲線関数の冪級数展開については『双曲線関数の冪級数展開』など参照。  { I_{\frac{1}{2}}(x) } が求まったので、あとは (5), (6) 式から一般の半奇数の場合が求まります。

まず正の半奇数の場合。 (6) 式を使って、 { I_{n+\frac{1}{2}}(x) } { n }自然数)の表式を求めてましょう:

  { \displaystyle\begin{align*}
  I_{n+\frac{1}{2}}(x)
    &= x^{n+\frac{1}{2}} \left(\frac{1}{x}\frac{d}{dx}\right)^n\Big[x^{-\frac{1}{2}}I_{\frac{1}{2}}(x)\Big] \\
    &= \sqrt{\frac{2}{\pi x}}\;x^{n+1} \left(\frac{1}{x}\frac{d}{dx}\right)^n\frac{\sinh x}{x}
\end{align*}}

いくつか具体的に書き下すと

  { \displaystyle\begin{align*}
  I_{\frac{3}{2}}(x)
    &= \sqrt{\frac{2}{\pi x}}\left(\cosh x - \frac{1}{x}\sinh x\right) \\
      &\left(\because \left(\tfrac{1}{x}\tfrac{d}{dx}\right)\tfrac{\sinh x}{x} 
        = \tfrac{\cosh x}{x^2} - \tfrac{\sinh x}{x^3}\right) \\[4mm]
  I_{\frac{5}{2}}(x)
    &= \sqrt{\frac{2}{\pi x}}\left\{\left(1+\frac{3}{x^2}\right)\sinh x - \frac{3}{x}\cosh x\right\} \\
      &\left(\because \left(\tfrac{1}{x}\tfrac{d}{dx}\right)^2\tfrac{\sinh x}{x} 
        = \left(\tfrac{1}{x^3}+\tfrac{3}{x^5}\right)\sinh x - \tfrac{3}{x^4}\cosh x\right)
\end{align*}}

となります。

次は負の半奇数の場合。 まず (5) 式から  { I_{-\frac{1}{2}}(x) } を求めておきます:

  { \displaystyle\begin{align*}
  I_{-\frac{1}{2}}(x)
    &= x^{\frac{1}{2}}\cdot\frac{1}{x}\frac{d}{dx}\left[x^{\frac{1}{2}}I_{\frac{1}{2}}(x)\right] \\
    &= \frac{1}{\sqrt{x}} \frac{d}{dx}\left(\sqrt{\frac{2}{\pi}}\sinh x\right) \\
    &= \sqrt{\frac{2}{\pi x}} \cosh x
\end{align*}}

これは  { I_{\frac{1}{2}}(x) } { \sinh x } { \cosh x } に変えた式になっています。 さらに (5) 式を使って

  { \displaystyle\begin{align*}
  I_{-n-\frac{1}{2}}(x)
    &= x^{n+\frac{1}{2}} \left(\frac{1}{x}\frac{d}{dx}\right)^n\Big[x^{-\frac{1}{2}}I_{-\frac{1}{2}}(x)\Big] \\
    &= \sqrt{\frac{2}{\pi x}}\;x^{n+1} \left(\frac{1}{x}\frac{d}{dx}\right)^n\frac{\cosh x}{x}
\end{align*}}

を得ますが、これも正の半奇数の場合で  { \sinh x } { \cosh x } に変えた形になっています。 双曲線関数微分三角関数微分のように余計な符号が付かないので、 { I_{-n-\frac{1}{2}}(x) } の具体的な式は  { I_{n+\frac{1}{2}}(x) } の式で単に  { \sinh x } { \cosh x } を入れ替えるだけで得られます:

  { \displaystyle\begin{align*}
  I_{-\frac{3}{2}}(x)
    &= \sqrt{\frac{2}{\pi x}}\left(\sinh x - \frac{1}{x}\cosh x\right) \\[2mm]
  I_{-\frac{5}{2}}(x)
    &= \sqrt{\frac{2}{\pi x}}\left\{\left(1+\frac{3}{x^2}\right)\cosh x - \frac{3}{x}\sinh x\right\}
\end{align*}}

第2種変形ベッセル関数
 { I_{n+\frac{1}{2}}(x),\,I_{-n-\frac{1}{2}}(x) } が同じ形をしているので、 { K_{n+\frac{1}{2}}(x) } に対する式は定義から簡単に分かります:

  { \displaystyle\begin{align*}
  K_{n+\frac{1}{2}}(x)
    &= \frac{\pi}{2}\frac{I_{-n-\frac{1}{2}}(x) - I_{n+\frac{1}{2}}(x)}{\sin\left(n+\frac{1}{2}\right)\pi} \\[2mm]
    &= (-1)^n \sqrt{\frac{\pi}{2x}}\;x^{n+1} \left(\frac{1}{x}\frac{d}{dx}\right)^n\frac{e^{-x}}{x}
\end{align*}}

いくつか具体的に書き下すと

  { \displaystyle\begin{align*}
  K_{\frac{1}{2}}(x)
    &= \sqrt{\frac{x}{\pi x}}\;e^{-x} \\[4mm]
  K_{\frac{3}{2}}(x)
    &= \sqrt{\frac{x}{\pi x}}\left(1 + \frac{1}{x}e^{-x}\right) \\
      &\left(\because \left(\tfrac{1}{x}\tfrac{d}{dx}\right)\tfrac{e^{-x}}{x} 
        = -\left(\tfrac{1}{x^2} + \tfrac{1}{x^3}\right)e^{-x}\right) \\[4mm]
  K_{\frac{5}{2}}(x)
    &= \sqrt{\frac{2}{\pi x}}\left(1 + \frac{3}{x} + \frac{3}{x^2}\right)e^{-x} \\
      &\left(\because \left(\tfrac{1}{x}\tfrac{d}{dx}\right)^2\tfrac{e^{-x}}{x} 
        = \left(\tfrac{1}{x^3} + \tfrac{3}{x^4} + \tfrac{3}{x^5}\right)e^{-x}\right)
\end{align*}}

となります。

上記で導いた公式では  { I_{n+\frac{1}{2}}(x),\,I_{-n-\frac{1}{2}}(x),\,K_{n+\frac{1}{2}}(x) }微分を含んだ形で表されてますが、実際に微分を実行してしまった公式もあります。 結果はそこまで難しくはないのですが、導くのが少々手間なのでそのうち別記事で。

まとめ

第1種変形ベッセル関数

  { \displaystyle\begin{align*}
  I_\nu(x)
    &= \left(\frac{x}{2}\right)^\nu
      \sum_{p=0}^\infty \frac{1}{p!\;\Gamma(\nu+p+1)}\left(\frac{x}{2}\right)^{2p} \\[2mm]
    &= i^{-\nu} J_\nu(ix)
\end{align*}}

第2種変形ベッセル関数

  { \displaystyle\begin{align*}
  K_\nu(x) = \frac{\pi}{2}\frac{I_{-\nu}(x) - I_\nu(x)}{\sin\nu\pi}
\end{align*}}

性質

  { \displaystyle\begin{align*}
  K_\nu(x)
    &= K_{-\nu}(x) \\
    &= \frac{\pi i}{2}e^{\nu\pi i/2} H_\nu^{(1)}(ix) \\
    &= \frac{\pi i}{2}e^{-\nu\pi i/2} H_{-\nu}^{(2)}(ix)
\end{align*}}

 { \nu } が整数  { n } の場合

  { \displaystyle\begin{align*}
  K_n(x)
    &= \lim_{\nu \rightarrow n}K_\nu(x) \\[4mm]
    &= \frac{(-1)^n}{2}\left[\frac{I_{-\nu}(x)}{\partial \nu}
      - \frac{I_\nu(x)}{\partial \nu}\right]_{\nu=n} \\[4mm]
    &= (-1)^{n+1} I_n(x) \ln\frac{x}{2} \\
      &\qquad + \frac{(-1)^n}{2} \left(\frac{x}{2}\right)^n\sum_{p=0}^\infty \frac{1}{p!(n+p)!}
        \left(\frac{x}{2}\right)^{2p}\left(\psi(p+1) + \psi(n+p+1)\right) \\
      &\qquad + \left[\frac{1}{2}\left(\frac{x}{2}\right)^{-n}\sum_{p=0}^{n-1} (-1)^p\frac{(n-p-1)!}{p!}
        \left(\frac{x}{2}\right)^{2p}\right]_{n\ne 0}
\end{align*}}

ここで

  { \displaystyle\begin{align*}
  [x]_{n\ne m} &= \begin{cases} x & (n\ne m) \\ 0 & (n=m) \end{cases} \\
  \psi(n) &= -\gamma + \Big[\sum_{k=1}^{n-1}\frac{1}{k}\Big]_{n\ne1} ,\qquad
  \gamma = \lim_{n\rightarrow \infty} \left(\sum_{k=1}^n - \ln n\right) \fallingdotseq 0.57721
\end{align*}}

 { \psi(x) } はディ・ガンマ関数、 { \gamma }オイラーの定数。

微分公式
  { \displaystyle\begin{align*}
  \frac{d}{dx}\Big[x^\nu I_\nu(x)\Big] &= x^\nu I_{\nu-1}(x), &
  \frac{d}{dx}\Big[x^{-\nu}I_\nu(x)\Big] &= x^{-\nu} I_{\nu+1}(x) \\[2mm]
  \frac{d}{dx}\Big[x^\nu K_\nu(x)\Big] &= -x^\nu K_{\nu-1}(x), &
  \frac{d}{dx}\Big[x^{-\nu}K_\nu(x)\Big] &= -x^{-\nu} K_{\nu+1}(x)
\end{align*}}

1階微分

  { \displaystyle\begin{align*}
  I_\nu'(x)
    &= -\frac{\nu}{x}I_\nu(x) + I_{\nu-1}(x) &
  K_\nu'(x)
    &= -\frac{\nu}{x}K_\nu(x) - K_{\nu-1}(x) \\
    &= \frac{\nu}{x}I_\nu(x) + I_{\nu+1}(x) &
    &= \frac{\nu}{x}K_\nu(x) - K_{\nu+1}(x) \\
    &= \frac{1}{2}\Big\{I_{\nu-1}(x) + I_{\nu+1}(x)\Big\} &
    &= -\frac{1}{2}\Big\{K_{\nu-1}(x) + K_{\nu+1}(x)\Big\}
\end{align*}}

ロンスキアン
  { \displaystyle\begin{align*}
  I_\nu(x)I_{-\nu}'(x) - I_\nu'(x)I_{-\nu}(x) &= -\frac{2\sin\nu\pi}{\pi x} \\[2mm]
  I_\nu(x)K_\nu'(x) - I_\nu'(x)K_\nu(x) &= -\frac{1}{x}
\end{align*}}

高階微分

  { \displaystyle\begin{align*}
  \left(\frac{1}{x}\frac{d}{dx}\right)^n\Big[x^\nu I_\nu(x)\Big] &= x^{\nu-n}I_{\nu-n}(x) \\[2mm]
  \left(\frac{1}{x}\frac{d}{dx}\right)^n\Big[x^{-\nu}I_\nu(x)\Big] &= x^{-\nu-n}I_{\nu+n}(x) \\[4mm]
  \left(\frac{1}{x}\frac{d}{dx}\right)^n\Big[x^\nu K_\nu(x)\Big] &= (-1)^n x^{\nu-n}K_{\nu-n}(x) \\[2mm]
  \left(\frac{1}{x}\frac{d}{dx}\right)^n\Big[x^{-\nu}K_\nu(x)\Big] &= (-1)^n x^{-\nu-n}K_{\nu+n}(x)
\end{align*}}

パラメータが半奇数の場合
  { \displaystyle\begin{align*}
  I_{n+\frac{1}{2}}(x)
    &= \sqrt{\frac{2}{\pi x}}\;x^{n+1} \left(\frac{1}{x}\frac{d}{dx}\right)^n\frac{\sinh x}{x} \\[2mm]
  I_{-n-\frac{1}{2}}(x)
    &= \sqrt{\frac{2}{\pi x}}\;x^{n+1} \left(\frac{1}{x}\frac{d}{dx}\right)^n\frac{\cosh x}{x} \\[2mm]
  K_{n+\frac{1}{2}}(x)
    &= (-1)^n \sqrt{\frac{\pi}{2x}}\;x^{n+1} \left(\frac{1}{x}\frac{d}{dx}\right)^n\frac{e^{-x}}{x}
\end{align*}}

具体的に書き下すと

  { \displaystyle\begin{align*}
  I_{\frac{1}{2}}(x)
    &= \sqrt{\frac{2}{\pi x}} \sinh x \\
  I_{\frac{3}{2}}(x)
    &= \sqrt{\frac{2}{\pi x}}\left(\cosh x - \frac{1}{x}\sinh x\right) \\
  I_{\frac{5}{2}}(x)
    &= \sqrt{\frac{2}{\pi x}}\left\{\left(1+\frac{3}{x^2}\right)\sinh x - \frac{3}{x}\cosh x\right\} \\[2mm]
  I_{-\frac{1}{2}}(x)
    &= \sqrt{\frac{2}{\pi x}} \cosh x \\
  I_{-\frac{3}{2}}(x)
    &= \sqrt{\frac{2}{\pi x}}\left(\sinh x - \frac{1}{x}\cosh x\right) \\
  I_{-\frac{5}{2}}(x)
    &= \sqrt{\frac{2}{\pi x}}\left\{\left(1+\frac{3}{x^2}\right)\cosh x - \frac{3}{x}\sinh x\right\} \\[2mm]
  K_{\frac{1}{2}}(x)
    &= \sqrt{\frac{x}{\pi x}}\;e^{-x} \\
  K_{\frac{3}{2}}(x)
    &= \sqrt{\frac{x}{\pi x}}\left(1 + \frac{1}{x}e^{-x}\right) \\
  K_{\frac{5}{2}}(x)
    &= \sqrt{\frac{2}{\pi x}}\left(1 + \frac{3}{x} + \frac{3}{x^2}\right)e^{-x}
\end{align*}}

ちなみに、円柱関数・変形ベッセル関数を初等関数と対応づけるとこんな感じです(※図はあくまでイメージです):

円柱関数 三角関数 変形ベッセル関数 三角関数
 { J_\nu(x),\,N_{-\nu}(x) }  { \sin x }  { I_\nu(x) }  { \sinh x }
 { N_\nu(x),\,J_{-\nu}(x) }  { \cos\theta }  { I_{-\nu}(x) }  { \cosh x }
 { H_\nu^{(1)}(x) }  { e^{ix} } -  { e^x }
 { H_\nu^{(2)}(x) }  { e^{-ix} }  { K_\nu(x),\,K_{-\nu}(x) }  { e^{-x} }

【修正】

  • 微分公式とパラメータが半奇数の場合の公式を追記しました。
  • 第2種変形ベッセル関数とハンケル関数との関係式が少し間違っていたので修正しました。

*1:この記事を書いている時点では、ベッセル関数でパラメータが半奇数の場合である球ベッセル関数は、このシリーズでやっていませんが。