Jacobi-Anger identity

The Jacobi-Anger identity is an expansion of exponentials of trigonometric functions in the basis of their harmonics. It is useful in physics (for example, to convert between plane waves and cylindrical waves), and in signal processing (to describe FM signals).

The most general identity is given by:

:$e^\{i\; z\; cos\; heta\}=sum\_\{n=-infty\}^\{infty\}\; i^n\; J\_n(z)\; e^\{i\; n\; heta\}.$

where $J\_n(z)$ is the "n"-th Bessel function.

The following real-valued variations are often useful as well:

:$cos(z\; cos\; heta)\; =\; J\_0(z)+2\; sum\_\{n=1\}^\{infty\}(-1)^n\; J\_\{2n\}(z)\; cos(2n\; heta)$

:$sin(z\; cos\; heta)\; =\; -2\; sum\_\{n=1\}^\{infty\}(-1)^n\; J\_\{2n-1\}(z)\; cosleft\; [left(2n-1\; ight)\; heta\; ight]$

:$cos(z\; sin\; heta)\; =\; J\_0(z)+2\; sum\_\{n=1\}^\{infty\}\; J\_\{2n\}(z)\; cos(2n\; heta)$

:$sin(z\; sin\; heta)\; =\; 2\; sum\_\{n=1\}^\{infty\}\; J\_\{2n-1\}(z)\; sinleft\; [left(2n-1\; ight)\; heta\; ight]$