Kummer differential equation

Kummer's equation isIts solution analytic at zero is the confluent hypergeometric function of the first kindWhen $b$ is not an integer, a second local solution is

Putting $Y=e^{z}V$ in the displayed Kummer differential equation gives $z{V}^{\prime \prime }+(z+b)V^{\prime }=0$. Thus $V^{\prime }=C{z}^{-b}{e}^{-z}$ on a chosen branch, yielding $Y=e^z[A+B\int z^{-b}{e}^{-z}dz]$. For $b=1/2$ and $z=x/2$, one solution is $e^{x/2}$ and a normalized second Frobenius solution is $\sqrt{x}{\sum }_{n\ge 0}{x}^n/(2n+1)!!$. The analytic factors in both solutions have infinite radius of convergence, since their coefficient ratios tend to zero. The second solution still has a square-root branch at zero; an entire series factor does not remove a nonintegral Frobenius exponent.

Confluent hypergeometric functions solve the Kummer differential equation $z{y}^{\prime \prime }+(b-z)y^{\prime }-ay=0$. The regular solution is the confluent hypergeometric function of the first kind; a second standard solution is conventionally denoted $U(a,b,z)$. The family arises by coalescing singular points of the Gauss hypergeometric equation.

For $b$ not a nonpositive integer, the regular solution normalized by $M(a,b,0)=1$ has the power seriesHere $(a{)}_n$ is the rising factorial. Substitution into the Kummer differential equation proves the coefficient recurrence. This normalization agrees with NIST's definitions.