Asymptotic expansions for solutions of differential equations having a coalescing turning point and double pole, with an application to Legendre functions

Abstract

The asymptotic behavior of solutions to the second-order linear differential equation $d^{2}w/dz^{2}=\{u^{2}f(α,z)+g(z)\}w$ is analyzed for a large real parameter $u$ and $α\in[0,α_{0}]$, where $α_{0}>0$ is fixed. The independent variable $z$ ranges over a complex domain $Z$ (possibly unbounded) on which $f(α,z)$ and $g(z)$ are analytic except at $z=0$, where the differential equation has a regular singular point. For $α>0$, the function $f(α,z)$ has a double pole at $z=0$ and a simple zero in $Z$, and as $α\to 0$ the turning point coalesces with the pole. Bessel function approximations are constructed for large $u$ involving asymptotic expansions that are uniformly valid for $z\in Z$ and $α\in[0,α_{0}]$. The expansion coefficients are generated by simple recursions, and explicit error bounds are obtained that simplify earlier results. As an application, uniform asymptotic expansions are derived for associated Legendre functions of large degree $ν$, valid for complex $z$ in an unbounded domain and for order $μ\in[0,ν(1-δ)]$, where $δ>0$ is arbitrary.

Figures (5)

• Figure 1: $\zeta$ plane, with $\Delta$ the unshaded domain.
• Figure 1: Graph of $\Omega_{4}(\nu,\mu,t)$ for $\nu=50$ and $\mu=u \alpha= (\nu+\frac{1}{2}) \alpha$, with $\alpha=0.5$.
• Figure 2: $\xi$ plane.
• Figure 2: Graph of $\Omega_{4}(\nu,\mu,t)$ for $\nu=50$ and $\mu=u \alpha= (\nu+\frac{1}{2}) \alpha$, with $\alpha=0.9$.
• Figure 3: $\xi$ plane.

Theorems & Definitions (6)

• Definition 2.1
• Definition 2.2
• Theorem 2.3
• Proof 1
• Theorem 4.1
• Theorem 4.2