Macdonald function
modified cylinder function, Bessel function of imaginary argument
A function
$$ K _ \nu ( z) = \frac \pi {2}
\frac{I _ {- \nu } ( z) - I _ \nu ( z) }{\sin \nu \pi }
,
$$
where $ \nu $ is an arbitrary non-integral real number and
$$ I _ \nu ( z) = \ \sum _ {m=0}^ \infty
\frac{\left ( \frac{z}{2}
\right ) ^ {\nu + 2 m } }{m ! \Gamma ( \nu + m + 1 ) }
$$
is a cylinder function with pure imaginary argument (cf. Cylinder functions). They have been discussed by H.M. Macdonald [1]. If $ n $ is an integer, then
$$ K _ {n} ( z) = \lim\limits _ {\nu \rightarrow n } K _ \nu ( z) . $$
The Macdonald function $ K _ \nu ( z) $ is the solution of the differential equation
$$ \tag{* } z ^ {2}
\frac{d ^ {2} y }{d z ^ {2} }
+
z
\frac{d y }{d z }
-
( z ^ {2} + \nu ^ {2} ) y = 0 $$
that tends exponentially to zero as $ z \rightarrow \infty $ and takes positive values. The functions $ I _ \nu ( z) $ and $ K _ \nu ( z) $ form a fundamental system of solutions of (*).
For $ \nu \geq 0 $, $ K _ \nu ( z) $ has roots only when $ \mathop{\rm Re} z < 0 $. If $ \pi / 2 < | \mathop{\rm arg} z | < \pi $, then the number of roots in these two sectors is equal to the even number nearest to $ \nu - 1 / 2 $, provided that $ \nu - 1 / 2 $ is not an integer; in the latter case the number of roots is equal to $ \nu - 1 / 2 $. For $ \mathop{\rm arg} z = \pm \pi $ there are no roots if $ \nu - 1 / 2 $ is not an integer.
Series and asymptotic representations are:
$$ K _ {n + 1 / 2 } ( z) = \ \left ( \frac \pi {2z}
\right ) ^ {1/2} e ^ {-z}\sum _ {r=0} ^ { n }
\frac{( n + r ) ! }{r ! ( n - r ) ! ( 2 z ) ^ {r} }
,
$$
where $ n $ is a non-negative integer;
$$ K _ {0} ( z) = \ - \mathop{\rm ln} \left ( \frac{z}{2}
\right ) I _ {0} ( z) +
\sum _ {m=0}^ \infty \left ( \frac{z}{2}
\right ) ^ {2m}
\frac{1}{( m ! ) ^ {2} }
\psi ( m + 1 ) , $$
$$ \psi ( 1) = - C ,\ \psi ( m + 1 ) = 1 + \frac{1}{2}
+ \dots +
\frac{1}{m}
- C ,
$$
where $ C = 0. 5772157 \dots $ is the Euler constant;
$$ K _ {n} ( z) = \
\frac{1}{2}
\sum _ {m=0} ^ {n-1}
\frac{( - 1 ) ^ {m} ( n - m - 1 ) ! }{m ! ( z / 2 ) ^ {n - 2 m } }
+
$$
$$ + ( - 1 ) ^ {n-1} \sum _ {m=0} ^ \infty \frac{( z / 2 ) ^ {n + 2 m } }{m ! ( n + m ) ! }
\left \{ \mathop{\rm ln} \left (
\frac{z}{2}
\right ) -
\frac{\psi ( m + 1 ) - \psi ( n + m + 1 ) }{2}
\right \} ,
$$
where $ n \geq 1 $ is an integer;
$$ K _ {\nu\ } \sim $$
$$ \sim \ \left ( \frac \pi {2z}
\right ) ^ {1/2} e ^ {-z} \left [ 1 +
\frac{ 4 \nu ^ {2} - 1 ^ {2} }{1 ! 8 z }
+
\frac{( 4 \nu ^ {2} - 1 ^ {2} ) ( 4 \nu ^ {2} - 3 ^ {2} )
}{2 ! ( 8 z ) ^ {2} }
+ \dots \right ] ,
$$
for large $ z $ and $ | \mathop{\rm arg} z | < \pi / 2 $.
Recurrence formulas:
$$ K _ {\nu - 1 } ( z) - K _ {\nu + 1 } ( z) = -
\frac{2 \nu }{z}
K _ \nu ( z) ,
$$
$$ K _ {\nu - 1 } ( z) + K _ {\nu + 1 } ( z) = - 2 \frac{d K _ \nu ( z) }{d z }
.
$$
References
| [1] | H.M. Macdonald, "Zeroes of the Bessel functions" Proc. London Math. Soc. , 30 (1899) pp. 165–179 |
| [2] | G.N. Watson, "A treatise on the theory of Bessel functions" , 1–2 , Cambridge Univ. Press (1952) |
 |  |
