Notes on Mathieu functions. I. A class of hyperbolic Mathieu functions. (Q2586885)

Es sei \(\dfrac{d^2y}{d\eta^2}+ (a - 2\theta \cos 2\eta ) y = 0\) die Mathieusche Differentialgleichung, und es seien, in der üblichen Bezeichnungsweise, \[ \begin{aligned} &\operatorname{ce}_{2n}(\eta, \theta) = \sum _{\nu=0}^\infty A_{2\nu} \cos 2\nu\eta, \qquad\qquad\quad\operatorname{ce}_{2n+1}(\eta, \theta) = \sum _{\nu=0}^\infty A_{2\nu+1} \cos (2\nu+1)\eta,\\ &\operatorname{se}_{2n+1}(\eta, \theta) = \sum _{\nu=0}^\infty B_{2\nu+1} \sin (2\nu+1)\eta, \;\;\operatorname{se}_{2n+2}(\eta, \theta) = \sum _{\nu=0}^\infty B_{2\nu+2} \sin (2\nu+2)\eta \end{aligned} \] periodische Lösungen, welche zu den charakteristischen Zahlen \(a_{2n}, a_{2n+1}, b_{2n}, b_{2n+1}\) gehören und durch \(\int\limits _0^{2\pi}y^2d\eta= \begin{cases} \pi \;\;\text{für}\;\;n>0\\ 2\pi \,, \;\;n=0\\ \end{cases}\) normiert sind. Die Differentialgleichung \(\dfrac{d^2y}{d\xi^2}- (a + 2\theta \mathfrak E \mathfrak o\mathfrak f 2\xi) y= 0\) besitzt dann u. a. die Lösungen \[ \begin{aligned} &\varSigma (-1)^\nu A_{2\nu}I_{2\nu}(k\mathfrak E\mathfrak o\mathfrak f\xi), \qquad\quad \varSigma (-1)^\nu A_{2\nu}K_{2\nu}(k\mathfrak E\mathfrak o\mathfrak f\xi)\\ &\varSigma (-1)^\nu B_{2\nu+1}I_{2\nu+1}(k\mathfrak E\mathfrak o\mathfrak f\xi), \quad \varSigma (-1)^\nu B_{2\nu+1}K_{2\nu+1}(k\mathfrak E\mathfrak o\mathfrak f\xi), \end{aligned} \] wobei die beiden ersten zu \(a_{2n}\), die beiden letzten zu \(b_{2n+1}\) gehören und \(k = 2\sqrt {\theta}\) ist. \(I\) bzw. \(K\) bedeuten modifizierte Besselsche bzw. Hankelsche Funktionen. Das asymptotische Verhalten dieser Lösungen für große \(\xi\) und ihre Beziehungen zueinander sind leicht aus dem bekannten Verhalten der Zylinderfunktionen zu entnehmen. Auch Beziehungen zu den periodischen Mathieuschen Funktionen sind aus den Integraldarstellungen der Besselschen Funktionen leicht abzuleiten, z. B. \[ \sum_{\nu=0}^\infty (-1)^\nu A_{2\nu}I_{2\nu} (k\mathfrak E\mathfrak o\mathfrak f\xi)=\dfrac{1}{2\pi} \int\limits _0^{2\pi} e^{k\mathfrak E\mathfrak o\mathfrak f\xi\cos\varphi} \operatorname{ce}_{2n}(\varphi, -\theta)d\varphi. \]