Bessel Function of the First Kind for Imaginary Argument

Theorem
Let $\map {J_n} x$ denote the Bessel function of the first kind of order $n$.

Then:
 * $\map {J_n } {i x} = i^{-n} \, \map {I_n} x$

where:
 * $i$ denotes the imaginary unit
 * $\map {I_n} x$ denotes the modified Bessel function of the first kind of order $n$.