Anger function

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

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

[math]\displaystyle{ \mathbf{J}_\nu(z)=\frac{1}{\pi} \int_0^\pi \cos (\nu\theta-z\sin\theta) \,d\theta }[/math]

with complex parameter [math]\displaystyle{ \nu }[/math] and complex variable [math]\displaystyle{ \textit{z} }[/math].[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

[math]\displaystyle{ \mathbf{E}_\nu(z)=\frac{1}{\pi} \int_0^\pi \sin (\nu\theta-z\sin\theta) \,d\theta }[/math]

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

Relation between Weber and Anger functions

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
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
[math]\displaystyle{ \begin{align} \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{align} }[/math]

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.

Power series expansion

The Anger function has the power series expansion[2]

[math]\displaystyle{ \mathbf{J}_\nu(z)=\cos\frac{\pi\nu}{2}\sum_{k=0}^\infty\frac{(-1)^kz^{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)^kz^{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)}. }[/math]

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

[math]\displaystyle{ \mathbf{E}_\nu(z)=\sin\frac{\pi\nu}{2}\sum_{k=0}^\infty\frac{(-1)^kz^{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)^kz^{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)}. }[/math]

Differential equations

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

[math]\displaystyle{ z^2y^{\prime\prime} + zy^\prime +(z^2-\nu^2)y = 0 . }[/math]

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

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

and the Weber functions satisfy the equation[2]

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

Recurrence relations

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

[math]\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}. }[/math]

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

[math]\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}. }[/math]

Delay differential equations

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

[math]\displaystyle{ \mathbf{J}_{\nu-1}(z)-\mathbf{J}_{\nu+1}(z)=2\dfrac{\partial}{\partial z}\mathbf{J}_\nu(z), }[/math]
[math]\displaystyle{ \mathbf{E}_{\nu-1}(z)-\mathbf{E}_{\nu+1}(z)=2\dfrac{\partial}{\partial z}\mathbf{E}_\nu(z). }[/math]

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

[math]\displaystyle{ z\dfrac{\partial}{\partial z}\mathbf{J}_\nu(z)\pm\nu\mathbf{J}_\nu(z)=\pm z\mathbf{J}_{\nu\mp1}(z)\pm\frac{\sin\pi\nu}{\pi}, }[/math]
[math]\displaystyle{ z\dfrac{\partial}{\partial z}\mathbf{E}_\nu(z)\pm\nu\mathbf{E}_\nu(z)=\pm z\mathbf{E}_{\nu\mp1}(z)\pm\frac{1-\cos\pi\nu}{\pi}. }[/math]

References

  1. Hazewinkel, Michiel, ed. (2001), "Anger function", Encyclopedia of Mathematics, Springer Science+Business Media B.V. / Kluwer Academic Publishers, ISBN 978-1-55608-010-4, https://www.encyclopediaofmath.org/index.php?title=A/a012490 
  2. 2.0 2.1 2.2 2.3 2.4 2.5 2.6 2.7 Paris, R. B. (2010), "Anger-Weber Functions", in Olver, Frank W. J.; Lozier, Daniel M.; Boisvert, Ronald F. et al., NIST Handbook of Mathematical Functions, Cambridge University Press, ISBN 978-0-521-19225-5, http://dlmf.nist.gov/11.10