integration of an exponential containing trig functions over a finite interval.

552 Views Asked by At

I'm trying to solve an integral of the form: $$\int_0^{4\pi}dx\hspace{1mm}\mathrm{e}^{i(a\cos(x)+ib\sin(x)+cmx)}$$ where $a,b, c$ are constants, and $m\in\mathbb{N}$.

I've tried looking in the big book of integrals and series but couldn't find anything helpful. I thought maybe this integral has a solution in the form of a Bessel function. Individually, e.g.,

$$\int_0^{4\pi}dx\hspace{1mm}\mathrm{e}^{ia\cos(x)}$$ and $$\int_0^{4\pi}dx\hspace{1mm}\mathrm{e}^{-b\sin(x)+icmx}$$ have forms of Bessel functions and their variations. But together, there seems to be no solution to this.

I have also looked into changing variables to get rid of the cosine and sine terms, but still no luck.

Any suggestions?

1

There are 1 best solutions below

2
On

You integrals depend on Bessel function of the first kind: equation $(66)$ (the Jacobi-Anger expansion) is crucial. In particular, by setting $cm=C$, $\theta=\arctan\frac{B}{A}$ and $\rho=\sqrt{A^2+B^2}$,

$$\begin{eqnarray*} I(A,B,C) &=& \int_{0}^{4\pi}\exp\left(iA\cos(x)-B\sin(x)+iCx\right)\,dx\\ &=&2\int_{0}^{2\pi}\exp\left(i\sqrt{A^2+B^2} e^{i(x-\theta)}+iCx\right)\,dx\\&=&2e^{iC\left(\theta-\pi/2\right)}\int_{0}^{2\pi}\exp\left(\rho e^{ix}+iCx\right)\,dx \end{eqnarray*}$$ Now you may expand $\exp(\rho e^{ix})$ as a Taylor series in $e^{ix}$ and apply termwise integration (on $(0,2\pi)$) against $e^{iCx}$. If $C\in\mathbb{N}$, Parseval's theorem in the form $$ \int_{0}^{2\pi} e^{nix}e^{mix}\,dx = 2\pi\,\delta(m,n) $$ ensures that $I(A,B,C)$ has a nice and fast-converging series representation.