# §28.12 Definitions and Basic Properties

## §28.12(i) Eigenvalues $\lambda_{\nu+2n}\left(q\right)$

The introduction to the eigenvalues and the functions of general order proceeds as in §§28.2(i), 28.2(ii), and 28.2(iii), except that we now restrict $\widehat{\nu}\neq 0,1$; equivalently $\nu\neq n$. In consequence, for the Floquet solutions $w(z)$ the factor $e^{\pi\mathrm{i}\nu}$ in (28.2.14) is no longer $\pm 1$.

For given $\nu$ (or $\cos\left(\nu\pi\right)$) and $q$, equation (28.2.16) determines an infinite discrete set of values of $a$, denoted by $\lambda_{\nu+2n}\left(q\right)$, $n=0,\pm 1,\pm 2,\dots$. When $q=0$ Equation (28.2.16) has simple roots, given by

 28.12.1 $\lambda_{\nu+2n}\left(0\right)=(\nu+2n)^{2}.$ ⓘ Symbols: $\lambda_{\NVar{\nu+2n}}\left(\NVar{q}\right)$: eigenvalues of Mathieu equation, $n$: integer and $\nu$: complex parameter Permalink: http://dlmf.nist.gov/28.12.E1 Encodings: TeX, pMML, png See also: Annotations for 28.12(i), 28.12 and 28

For other values of $q$, $\lambda_{\nu+2n}\left(q\right)$ is determined by analytic continuation. Without loss of generality, from now on we replace $\nu+2n$ by $\nu$.

For change of signs of $\nu$ and $q$,

 28.12.2 $\lambda_{\nu}\left(-q\right)=\lambda_{\nu}\left(q\right)=\lambda_{-\nu}\left(q% \right).$ ⓘ Symbols: $\lambda_{\NVar{\nu+2n}}\left(\NVar{q}\right)$: eigenvalues of Mathieu equation, $q=h^{2}$: parameter and $\nu$: complex parameter Permalink: http://dlmf.nist.gov/28.12.E2 Encodings: TeX, pMML, png See also: Annotations for 28.12(i), 28.12 and 28

As in §28.7 values of $q$ for which (28.2.16) has simple roots $\lambda$ are called normal values with respect to $\nu$. For real values of $\nu$ and $q$ all the $\lambda_{\nu}\left(q\right)$ are real, and $q$ is normal. For graphical interpretation see Figure 28.13.1. To complete the definition we require

 28.12.3 $\lambda_{m}\left(q\right)=\begin{cases}a_{m}\left(q\right),&m=0,1,\dots,\\ b_{-m}\left(q\right),&m=-1,-2,\dots.\end{cases}$

As a function of $\nu$ with fixed $q$ ($\neq 0$), $\lambda_{\nu}\left(q\right)$ is discontinuous at $\nu=\pm 1,\pm 2,\dots$. See Figure 28.13.2.

## §28.12(ii) Eigenfunctions $\mathrm{me}_{\nu}\left(z,q\right)$

Two eigenfunctions correspond to each eigenvalue $a=\lambda_{\nu}\left(q\right)$. The Floquet solution with respect to $\nu$ is denoted by $\mathrm{me}_{\nu}\left(z,q\right)$. For $q=0$,

 28.12.4 $\mathrm{me}_{\nu}\left(z,0\right)=e^{\mathrm{i}\nu z}.$

The other eigenfunction is $\mathrm{me}_{\nu}\left(-z,q\right)$, a Floquet solution with respect to $-\nu$ with $a=\lambda_{\nu}\left(q\right)$. If $q$ is a normal value of the corresponding equation (28.2.16), then these functions are uniquely determined as analytic functions of $z$ and $q$ by the normalization

 28.12.5 $\int_{0}^{\pi}\mathrm{me}_{\nu}\left(x,q\right)\mathrm{me}_{\nu}\left(-x,q% \right)\mathrm{d}x=\pi.$

They have the following pseudoperiodic and orthogonality properties:

 28.12.6 $\mathrm{me}_{\nu}\left(z+\pi,q\right)=e^{\pi\mathrm{i}\nu}\mathrm{me}_{\nu}% \left(z,q\right),$
 28.12.7 ${\int_{0}^{\pi}\mathrm{me}_{\nu+2m}\left(x,q\right)\mathrm{me}_{\nu+2n}\left(-% x,q\right)\mathrm{d}x=0,}$ $m\neq n$.

For changes of sign of $\nu$, $q$, and $z$,

 28.12.8 $\displaystyle\mathrm{me}_{-\nu}\left(z,q\right)$ $\displaystyle=\mathrm{me}_{\nu}\left(-z,q\right),$ ⓘ Symbols: $\mathrm{me}_{\NVar{n}}\left(\NVar{z},\NVar{q}\right)$: Mathieu function, $q=h^{2}$: parameter, $z$: complex variable and $\nu$: complex parameter Permalink: http://dlmf.nist.gov/28.12.E8 Encodings: TeX, pMML, png See also: Annotations for 28.12(ii), 28.12 and 28 28.12.9 $\displaystyle\mathrm{me}_{\nu}\left(z,-q\right)$ $\displaystyle=e^{\mathrm{i}\nu\pi/2}\mathrm{me}_{\nu}\left(z-\tfrac{1}{2}\pi,q% \right),$ 28.12.10 $\displaystyle\overline{\mathrm{me}_{\nu}\left(z,q\right)}$ $\displaystyle=\mathrm{me}_{\bar{\nu}}\left(-\bar{z},\bar{q}\right).$ ⓘ Symbols: $\mathrm{me}_{\NVar{n}}\left(\NVar{z},\NVar{q}\right)$: Mathieu function, $q=h^{2}$: parameter, $z$: complex variable and $\nu$: complex parameter Referenced by: §28.12(ii) Permalink: http://dlmf.nist.gov/28.12.E10 Encodings: TeX, pMML, png See also: Annotations for 28.12(ii), 28.12 and 28

(28.12.10) is not valid for cuts on the real axis in the $q$-plane for special complex values of $\nu$; but it remains valid for small $q$; compare §28.7.

To complete the definitions of the $\mathrm{me}_{\nu}$ functions we set

 28.12.11 $\displaystyle\mathrm{me}_{n}\left(z,q\right)$ $\displaystyle=\sqrt{2}\mathrm{ce}_{n}\left(z,q\right),$ $n=0,1,2,\dots$, $\displaystyle\mathrm{me}_{-n}\left(z,q\right)$ $\displaystyle=-\sqrt{2}\mathrm{i}\mathrm{se}_{n}\left(z,q\right),$ $n=1,2,\dots$;

compare (28.12.3). However, these functions are not the limiting values of $\mathrm{me}_{\pm\nu}\left(z,q\right)$ as $\nu\to n$ $(\neq 0)$.

## §28.12(iii) Functions $\mathrm{ce}_{\nu}\left(z,q\right)$, $\mathrm{se}_{\nu}\left(z,q\right)$, when $\nu\notin\mathbb{Z}$

 28.12.12 $\displaystyle\mathrm{ce}_{\nu}\left(z,q\right)$ $\displaystyle=\tfrac{1}{2}\left(\mathrm{me}_{\nu}\left(z,q\right)+\mathrm{me}_% {\nu}\left(-z,q\right)\right),$ ⓘ Symbols: $\mathrm{ce}_{\NVar{n}}\left(\NVar{z},\NVar{q}\right)$: Mathieu function, $\mathrm{me}_{\NVar{n}}\left(\NVar{z},\NVar{q}\right)$: Mathieu function, $q=h^{2}$: parameter, $z$: complex variable and $\nu$: complex parameter A&S Ref: 20.5.2 (in different form) Permalink: http://dlmf.nist.gov/28.12.E12 Encodings: TeX, pMML, png See also: Annotations for 28.12(iii), 28.12 and 28 28.12.13 $\displaystyle\mathrm{se}_{\nu}\left(z,q\right)$ $\displaystyle=-\tfrac{1}{2}\mathrm{i}\left(\mathrm{me}_{\nu}\left(z,q\right)-% \mathrm{me}_{\nu}\left(-z,q\right)\right).$

These functions are real-valued for real $\nu$, real $q$, and $z=x$, whereas $\mathrm{me}_{\nu}\left(x,q\right)$ is complex. When $\nu=s/m$ is a rational number, but not an integer, all solutions of Mathieu’s equation are periodic with period $2m\pi$.

For change of signs of $\nu$ and $z$,

 28.12.14 $\displaystyle\mathrm{ce}_{\nu}\left(z,q\right)$ $\displaystyle=\mathrm{ce}_{\nu}\left(-z,q\right)=\mathrm{ce}_{-\nu}\left(z,q% \right),$ ⓘ Symbols: $\mathrm{ce}_{\NVar{n}}\left(\NVar{z},\NVar{q}\right)$: Mathieu function, $q=h^{2}$: parameter, $z$: complex variable and $\nu$: complex parameter Permalink: http://dlmf.nist.gov/28.12.E14 Encodings: TeX, pMML, png See also: Annotations for 28.12(iii), 28.12 and 28 28.12.15 $\displaystyle\mathrm{se}_{\nu}\left(z,q\right)$ $\displaystyle=-\mathrm{se}_{\nu}\left(-z,q\right)=-\mathrm{se}_{-\nu}\left(z,q% \right).$ ⓘ Symbols: $\mathrm{se}_{\NVar{n}}\left(\NVar{z},\NVar{q}\right)$: Mathieu function, $q=h^{2}$: parameter, $z$: complex variable and $\nu$: complex parameter Permalink: http://dlmf.nist.gov/28.12.E15 Encodings: TeX, pMML, png See also: Annotations for 28.12(iii), 28.12 and 28

Again, the limiting values of $\mathrm{ce}_{\nu}(z,q)$ and $\mathrm{se}_{\nu}(z,q)$ as $\nu\to n$ $(\neq 0)$ are not the functions $\mathrm{ce}_{n}\left(z,q\right)$ and $\mathrm{se}_{n}\left(z,q\right)$ defined in §28.2(vi). Compare e.g. Figure 28.13.3.