Bessel functions

Bessel functions of the first kind: J_α

Bessel functions of the first kind, denoted as J_α(x), are solutions of Bessel's differential equation. For integer or positive α, Bessel functions of the first kind are finite at the origin (x = 0); while for negative non-integer α, Bessel functions of the first kind diverge as x approaches zero. It is possible to define the function by ${\displaystyle x^{\alpha }}$ times a Maclaurin series (note that α need not be an integer, and non-integer powers are not permitted in a Taylor series), which can be found by applying the Frobenius method to Bessel's equation: $${\displaystyle J_{\alpha }(x)=\sum _{m=0}^{\infty }{\frac {(-1)^{m}}{m!\,\Gamma (m+\alpha +1)}}{\left({\frac {x}{2}}\right)}^{2m+\alpha },}$$ where Γ(z) is the gamma function, a shifted generalization of the factorial function to non-integer values. Some earlier authors define the Bessel function of the first kind differently, essentially without the division by ${\displaystyle 2}$ in ${\displaystyle x/2}$; this definition is not used in this article. The Bessel function of the first kind is an entire function if α is an integer, otherwise it is a multivalued function with singularity at zero. The graphs of Bessel functions look roughly like oscillating sine or cosine functions that decay proportionally to ${\displaystyle x^{-{1}/{2}}}$ (see also their asymptotic forms below), although their roots are not generally periodic, except asymptotically for large x. (The series indicates that −J₁(x) is the derivative of J₀(x), much like −sin x is the derivative of cos x; more generally, the derivative of J_n(x) can be expressed in terms of J_{n ± 1}(x) by the identities below.)