Anger function

In mathematics, the Anger function, introduced by C. T. Anger (1855), is a function defined as

${\displaystyle \mathbf {J} _{\nu }(z)={\frac {1}{\pi }}\int _{0}^{\pi }\cos(\nu \theta -z\sin \theta ),円d\theta }${\displaystyle \mathbf {J} _{\nu }(z)={\frac {1}{\pi }}\int _{0}^{\pi }\cos(\nu \theta -z\sin \theta ),円d\theta }

with complex parameter ${\displaystyle \nu }${\displaystyle \nu } and complex variable ${\displaystyle {\textit {z}}}${\displaystyle {\textit {z}}}.^[1] It is closely related to the Bessel functions.

The Weber function (also known as Lommel–Weber function), introduced by H. F. Weber (1879), is a closely related function defined by

${\displaystyle \mathbf {E} _{\nu }(z)={\frac {1}{\pi }}\int _{0}^{\pi }\sin(\nu \theta -z\sin \theta ),円d\theta }${\displaystyle \mathbf {E} _{\nu }(z)={\frac {1}{\pi }}\int _{0}^{\pi }\sin(\nu \theta -z\sin \theta ),円d\theta }

and is closely related to Bessel functions of the second kind.

The Anger and Weber functions are related by

Plot of the Weber function E v(z) with n=2 in the complex plane from -2-2i to 2+2i with colors created with Mathematica 13.1 function ComplexPlot3D

${\displaystyle {\begin{aligned}\sin(\pi \nu )\mathbf {J} _{\nu }(z)&=\cos(\pi \nu )\mathbf {E} _{\nu }(z)-\mathbf {E} _{-\nu }(z),\\-\sin(\pi \nu )\mathbf {E} _{\nu }(z)&=\cos(\pi \nu )\mathbf {J} _{\nu }(z)-\mathbf {J} _{-\nu }(z),\end{aligned}}}${\displaystyle {\begin{aligned}\sin(\pi \nu )\mathbf {J} _{\nu }(z)&=\cos(\pi \nu )\mathbf {E} _{\nu }(z)-\mathbf {E} _{-\nu }(z),\\-\sin(\pi \nu )\mathbf {E} _{\nu }(z)&=\cos(\pi \nu )\mathbf {J} _{\nu }(z)-\mathbf {J} _{-\nu }(z),\end{aligned}}}

so in particular if ν is not an integer they can be expressed as linear combinations of each other. If ν is an integer then Anger functions J_ν are the same as Bessel functions J_ν, and Weber functions can be expressed as finite linear combinations of Struve functions.

The Anger function has the power series expansion^[2]

${\displaystyle \mathbf {J} _{\nu }(z)=\cos {\frac {\pi \nu }{2}}\sum _{k=0}^{\infty }{\frac {(-1)^{k}z^{2k}}{4^{k}\Gamma \left(k+{\frac {\nu }{2}}+1\right)\Gamma \left(k-{\frac {\nu }{2}}+1\right)}}+\sin {\frac {\pi \nu }{2}}\sum _{k=0}^{\infty }{\frac {(-1)^{k}z^{2k+1}}{2^{2k+1}\Gamma \left(k+{\frac {\nu }{2}}+{\frac {3}{2}}\right)\Gamma \left(k-{\frac {\nu }{2}}+{\frac {3}{2}}\right)}}.}${\displaystyle \mathbf {J} _{\nu }(z)=\cos {\frac {\pi \nu }{2}}\sum _{k=0}^{\infty }{\frac {(-1)^{k}z^{2k}}{4^{k}\Gamma \left(k+{\frac {\nu }{2}}+1\right)\Gamma \left(k-{\frac {\nu }{2}}+1\right)}}+\sin {\frac {\pi \nu }{2}}\sum _{k=0}^{\infty }{\frac {(-1)^{k}z^{2k+1}}{2^{2k+1}\Gamma \left(k+{\frac {\nu }{2}}+{\frac {3}{2}}\right)\Gamma \left(k-{\frac {\nu }{2}}+{\frac {3}{2}}\right)}}.}

While the Weber function has the power series expansion^[2]

${\displaystyle \mathbf {E} _{\nu }(z)=\sin {\frac {\pi \nu }{2}}\sum _{k=0}^{\infty }{\frac {(-1)^{k}z^{2k}}{4^{k}\Gamma \left(k+{\frac {\nu }{2}}+1\right)\Gamma \left(k-{\frac {\nu }{2}}+1\right)}}-\cos {\frac {\pi \nu }{2}}\sum _{k=0}^{\infty }{\frac {(-1)^{k}z^{2k+1}}{2^{2k+1}\Gamma \left(k+{\frac {\nu }{2}}+{\frac {3}{2}}\right)\Gamma \left(k-{\frac {\nu }{2}}+{\frac {3}{2}}\right)}}.}${\displaystyle \mathbf {E} _{\nu }(z)=\sin {\frac {\pi \nu }{2}}\sum _{k=0}^{\infty }{\frac {(-1)^{k}z^{2k}}{4^{k}\Gamma \left(k+{\frac {\nu }{2}}+1\right)\Gamma \left(k-{\frac {\nu }{2}}+1\right)}}-\cos {\frac {\pi \nu }{2}}\sum _{k=0}^{\infty }{\frac {(-1)^{k}z^{2k+1}}{2^{2k+1}\Gamma \left(k+{\frac {\nu }{2}}+{\frac {3}{2}}\right)\Gamma \left(k-{\frac {\nu }{2}}+{\frac {3}{2}}\right)}}.}

The Anger and Weber functions are solutions of inhomogeneous forms of Bessel's equation

${\displaystyle z^{2}y^{\prime \prime }+zy^{\prime }+(z^{2}-\nu ^{2})y=0.}${\displaystyle z^{2}y^{\prime \prime }+zy^{\prime }+(z^{2}-\nu ^{2})y=0.}

More precisely, the Anger functions satisfy the equation^[2]

${\displaystyle z^{2}y^{\prime \prime }+zy^{\prime }+(z^{2}-\nu ^{2})y={\frac {(z-\nu )\sin(\pi \nu )}{\pi }},}${\displaystyle z^{2}y^{\prime \prime }+zy^{\prime }+(z^{2}-\nu ^{2})y={\frac {(z-\nu )\sin(\pi \nu )}{\pi }},}

and the Weber functions satisfy the equation^[2]

${\displaystyle z^{2}y^{\prime \prime }+zy^{\prime }+(z^{2}-\nu ^{2})y=-{\frac {z+\nu +(z-\nu )\cos(\pi \nu )}{\pi }}.}${\displaystyle z^{2}y^{\prime \prime }+zy^{\prime }+(z^{2}-\nu ^{2})y=-{\frac {z+\nu +(z-\nu )\cos(\pi \nu )}{\pi }}.}

The Anger function satisfies this inhomogeneous form of recurrence relation ^[2]

${\displaystyle z\mathbf {J} _{\nu -1}(z)+z\mathbf {J} _{\nu +1}(z)=2\nu \mathbf {J} _{\nu }(z)-{\frac {2\sin \pi \nu }{\pi }}.}${\displaystyle z\mathbf {J} _{\nu -1}(z)+z\mathbf {J} _{\nu +1}(z)=2\nu \mathbf {J} _{\nu }(z)-{\frac {2\sin \pi \nu }{\pi }}.}

While the Weber function satisfies this inhomogeneous form of recurrence relation ^[2]

${\displaystyle z\mathbf {E} _{\nu -1}(z)+z\mathbf {E} _{\nu +1}(z)=2\nu \mathbf {E} _{\nu }(z)-{\frac {2(1-\cos \pi \nu )}{\pi }}.}${\displaystyle z\mathbf {E} _{\nu -1}(z)+z\mathbf {E} _{\nu +1}(z)=2\nu \mathbf {E} _{\nu }(z)-{\frac {2(1-\cos \pi \nu )}{\pi }}.}

The Anger and Weber functions satisfy these homogeneous forms of delay differential equations ^[2]

${\displaystyle \mathbf {J} _{\nu -1}(z)-\mathbf {J} _{\nu +1}(z)=2{\dfrac {\partial }{\partial z}}\mathbf {J} _{\nu }(z),}${\displaystyle \mathbf {J} _{\nu -1}(z)-\mathbf {J} _{\nu +1}(z)=2{\dfrac {\partial }{\partial z}}\mathbf {J} _{\nu }(z),}

${\displaystyle \mathbf {E} _{\nu -1}(z)-\mathbf {E} _{\nu +1}(z)=2{\dfrac {\partial }{\partial z}}\mathbf {E} _{\nu }(z).}${\displaystyle \mathbf {E} _{\nu -1}(z)-\mathbf {E} _{\nu +1}(z)=2{\dfrac {\partial }{\partial z}}\mathbf {E} _{\nu }(z).}

The Anger and Weber functions also satisfy these inhomogeneous forms of delay differential equations ^[2]

${\displaystyle z{\dfrac {\partial }{\partial z}}\mathbf {J} _{\nu }(z)\pm \nu \mathbf {J} _{\nu }(z)=\pm z\mathbf {J} _{\nu \mp 1}(z)\pm {\frac {\sin \pi \nu }{\pi }},}${\displaystyle z{\dfrac {\partial }{\partial z}}\mathbf {J} _{\nu }(z)\pm \nu \mathbf {J} _{\nu }(z)=\pm z\mathbf {J} _{\nu \mp 1}(z)\pm {\frac {\sin \pi \nu }{\pi }},}

${\displaystyle z{\dfrac {\partial }{\partial z}}\mathbf {E} _{\nu }(z)\pm \nu \mathbf {E} _{\nu }(z)=\pm z\mathbf {E} _{\nu \mp 1}(z)\pm {\frac {1-\cos \pi \nu }{\pi }}.}${\displaystyle z{\dfrac {\partial }{\partial z}}\mathbf {E} _{\nu }(z)\pm \nu \mathbf {E} _{\nu }(z)=\pm z\mathbf {E} _{\nu \mp 1}(z)\pm {\frac {1-\cos \pi \nu }{\pi }}.}

• Special functions