Whipple formulae
# Whipple formulae

In the theory of special functions, Whipple's transformation for Legendre functions, named after Francis John Welsh Whipple, arise from a general expression, concerning associated Legendre functions. These formulae have been presented previously in terms of a viewpoint aimed at spherical harmonics, now that we view the equations in terms of toroidal coordinates, whole new symmetries of Legendre functions arise.

For associated Legendre functions of the first and second kind,

    $P_{-\mu -{\frac {1}{2}}}^{-\nu -{\frac {1}{2}}}{\biggl{\frac {z}{\sqrt {z^{2}-1}}}{\biggr )}={\frac {(z^{2}-1)^{1/4}e^{-i\mu \pi }Q_{\nu }^{\mu }(z)}{(\pi /2)^{1/2}\Gamma (\nu +\mu +1)}}$

and

    $Q_{-\mu -{\frac {1}{2}}}^{-\nu -{\frac {1}{2}}}{\biggl{\frac {z}{\sqrt {z^{2}-1}}}{\biggr )}=-i(\pi /2)^{1/2}\Gamma (-\nu -\mu )(z^{2}-1)^{1/4}e^{-i\nu \pi }P_{\nu }^{\mu }(z).$

These expressions are valid for all parameters $\nu ,\mu ,$ and $z$. By shifting the complex degree and order in an appropriate fashion, we obtain Whipple formulae for general complex index interchange of general associated Legendre functions of the first and second kind. These are given by

    $P_{\nu -{\frac {1}{2}}}^{\mu }(z)={\frac {{\sqrt {2}}\Gamma (\mu -\nu +{\frac {1}{2}})}{\pi ^{3/2}(z^{2}-1)^{1/4}}}{\biggl\pi \sin \mu \pi P_{\mu -{\frac {1}{2}}}^{\nu }{\biggl{\frac {z}{\sqrt {z^{2}-1}}}{\biggr )}+\cos \pi (\nu +\mu )e^{-i\nu \pi }Q_{\mu -{\frac {1}{2}}}^{\nu }{\biggl{\frac {z}{\sqrt {z^{2}-1}}}{\biggr )}{\biggr ]}$

and

    $Q_{\nu -{\frac {1}{2}}}^{\mu }(z)={\frac {e^{i\mu \pi }\Gamma (\mu -\nu +{\frac {1}{2}})(\pi /2)^{1/2}}{(z^{2}-1)^{1/4}}}{\bigglP_{\mu -{\frac {1}{2}}}^{\nu }{\biggl{\frac {z}{\sqrt {z^{2}-1}}}{\biggr )}-{\frac {2}{\pi }}e^{-i\nu \pi }\sin \nu \pi Q_{\mu -{\frac {1}{2}}}^{\nu }{\biggl{\frac {z}{\sqrt {z^{2}-1}}}{\biggr )}{\biggr ]}.$

Note that these formulae are well-behaved for all values of the degree and order, except for those with integer values. However, if we examine these formulae for toroidal harmonics, i.e. where the degree is half-integer, the order is integer, and the argument is positive and greater than unity one obtains

    $P_{m-{\frac {1}{2}}}^{n}(\cosh \eta )={\frac {(-1)^{m}}{\Gamma (m-n+{\frac {1}{2}})}}{\sqrt {\frac {2}{\pi \sinh \eta }}}Q_{n-{\frac {1}{2}}}^{m}(\coth \eta )$

and

    $Q_{m-{\frac {1}{2}}}^{n}(\cosh \eta )={\frac {(-1)^{m}\pi }{\Gamma (m-n+{\frac {1}{2}})}}{\sqrt {\frac {\pi }{2\sinh \eta }}}P_{n-{\frac {1}{2}}}^{m}(\coth \eta )$.

These are the Whipple formulae for toroidal harmonics. They show an important property of toroidal harmonics under index (the integers associated with the order and the degree) interchange.

