Evaluar la integral $\int_0^{2 \pi} {\cos^2 \theta \over a + b \cos \theta}\; d\theta$

Question

Dado $a > b > 0$ ¿cuál es la forma más rápida de evaluar la siguiente integral utilizando el teorema del residuo? Estoy confundido tiempo para tomar la parte imaginaria de $z^2$ o integral entera. $$\int_0^{2 \pi} {\cos^2 \theta \over a + b \cos \theta}\; d\theta$$

Answer 1

Si $z=e^{i\theta}$ entonces $\cos\theta=\dfrac 1 2\left(z+\dfrac1z\right)$ y $dz=ie^{i\theta}\,d\theta/2=iz\,d\theta/2$ Así que $-2i\dfrac{dz}{z} = d\theta$ . Entonces $$ \int_0^{2\pi} \frac{\cos^2\theta}{a+b\cos\theta} d\theta = \int\limits_\text{circle} \frac{\frac14\left(z+\frac1z\right)^2}{a+\frac b2\left(z+\frac1z\right)}(-i)\frac{dz}{z} = -i\int\limits_\text{circle} \frac{z^4+2z^2+1}{2z^2(2az+b(z^2+1))} dz. $$

Esta función tiene un doble polo en $z=0$ y polos simples en $\dfrac{-a\pm\sqrt{a^2-b^2}}{b}$ . Así que la pregunta es: ¿para qué valores de $a,b$ ¿están los polos simples dentro del círculo? Si sólo hay un polo simple dentro del círculo en $c$ entonces la integral se convierte en $$ \int\limits_\text{circle} \frac{g(z)}{z-c} dz = 2\pi i g(c), $$ donde $g(z)$ es lo que queda después de descontar $1/(z-c)$ . Si hay más de un polo simple, se necesita una suma: tomar valores de $g$ en esos puntos y sumarlos.

Answer 2

Deberíamos tener

$$\frac{\cos^{2}\theta}{a+b\cos\theta}=\frac{1}{b}\cos\theta-\frac{\frac{a}{b}\cos\theta}{a+b\cos\theta}.$$

La primera parte de la integral definida se evalúa fácilmente. La segunda parte es lo mismo que evaluar

$$\int \frac{\cos\theta}{a+b\cos\theta}d\theta=\int\frac{1}{b}\left(1-\frac{a}{a+b\cos\theta}\right)d\theta.$$

Así que sólo tenemos que evaluar

$$\int\frac{1}{a+b\cos\theta}d\theta.$$

Esto puede hacerse mediante diversas identidades de trignometría, como el uso de $\tan(\theta/2)$ . Encontrará una demostración detallada paso a paso aquí (haga clic en mostrar pasos).

Answer 3

Sugerencia: ponga $z={\rm e}^{i\theta}$ y cambiar la integral a la forma $ \int_{|z|=1}f(z)\,dz \,,$ entonces usa el teorema del residuo. Explotar la identidad $$ \cos\theta = \frac{1}{2}\left({\rm e}^{i \theta} + {\rm e}^{- i \theta}\right)\,. $$

Answer 4

$\newcommand{\+}{^{\dagger}} \newcommand{\angles}[1]{\left\langle\, #1 \,\right\rangle} \newcommand{\braces}[1]{\left\lbrace\, #1 \,\right\rbrace} \newcommand{\bracks}[1]{\left\lbrack\, #1 \,\right\rbrack} \newcommand{\ceil}[1]{\,\left\lceil\, #1 \,\right\rceil\,} \newcommand{\dd}{{\rm d}} \newcommand{\down}{\downarrow} \newcommand{\ds}[1]{\displaystyle{#1}} \newcommand{\expo}[1]{\,{\rm e}^{#1}\,} \newcommand{\fermi}{\,{\rm f}} \newcommand{\floor}[1]{\,\left\lfloor #1 \right\rfloor\,} \newcommand{\half}{{1 \over 2}} \newcommand{\ic}{{\rm i}} \newcommand{\iff}{\Longleftrightarrow} \newcommand{\imp}{\Longrightarrow} \newcommand{\isdiv}{\,\left.\right\vert\,} \newcommand{\ket}[1]{\left\vert #1\right\rangle} \newcommand{\ol}[1]{\overline{#1}} \newcommand{\pars}[1]{\left(\, #1 \,\right)} \newcommand{\partiald}[3][]{\frac{\partial^{#1} #2}{\partial #3^{#1}}} \newcommand{\pp}{{\cal P}} \newcommand{\root}[2][]{\,\sqrt[#1]{\vphantom{\large A}\,#2\,}\,} \newcommand{\sech}{\,{\rm sech}} \newcommand{\sgn}{\,{\rm sgn}} \newcommand{\totald}[3][]{\frac{{\rm d}^{#1} #2}{{\rm d} #3^{#1}}} \newcommand{\ul}[1]{\underline{#1}} \newcommand{\verts}[1]{\left\vert\, #1 \,\right\vert} \newcommand{\wt}[1]{\widetilde{#1}}$ $\ds{\int_{0}^{2\pi}{\cos^{2}\pars{\theta} \over a + b\cos\pars{\theta}}\, \dd\theta:\ {\large ?}.\qquad\qquad a > b > 0}$ .

\begin{align}&\color{#c00000}{% \int_{0}^{2\pi}{\cos^{2}\pars{\theta} \over a + b\cos\pars{\theta}}\,\dd\theta} =2\int_{0}^{\pi}{\cos^{2}\pars{\theta} \over a - b\cos\pars{\theta}}\, \dd\theta =-\,{2 \over b} \int_{0}^{\pi}{\cos^{2}\pars{\theta} \over \cos\pars{\theta} - \mu}\,\dd\theta \\[3mm]&\mbox{where}\quad\mu \equiv {a \over b}\,,\qquad \mu > 1 \end{align}

\begin{align}& \color{#c00000}{\int_{0}^{2\pi}{\cos^{2}\pars{\theta} \over a + b\cos\pars{\theta}}\,\dd\theta} =-\,{2 \over b}\int_{0}^{\pi}{% \bracks{\cos\pars{\theta} - \mu}\bracks{\cos\pars{\theta} + \mu} + \mu^{2} \over \cos\pars{\theta} - \mu}\,\dd\theta \\[3mm]&=-\,{2 \over b}\int_{0}^{\pi}\bracks{\cos\pars{\theta} + \mu}\,\dd\theta -{2 \over b}\,\mu^{2}\int_{0}^{\pi}{\dd\theta \over \cos\pars{\theta} - \mu} \end{align}

\begin{align}& \color{#c00000}{\int_{0}^{2\pi}{\cos^{2}\pars{\theta} \over a + b\cos\pars{\theta}}\,\dd\theta} =-\,{2a \over b^{2}}\,\pi - {2a^{2} \over b^{3}} \color{#00f}{\int_{0}^{\pi}{\dd\theta \over \cos\pars{\theta} - \mu}}\tag{1} \end{align}

Con los habituales Tangente de Weierstrass Media sustitución angular : \begin{align}&\color{#00f}{\int_{0}^{\pi}{\dd\theta \over \cos\pars{\theta} - \mu}} =\int_{0}^{\infty}{2\,\dd t/\pars{1 + t^{2}}\over \pars{1 - t^{2}}/\pars{1 + t^{2}} - \mu} =-2\int_{0}^{\infty}{\dd t \over \pars{\mu + 1}t^{2} + \mu - 1} \\[3mm]&=-2\,{1 \over \mu - 1}\,\root{\mu - 1 \over \mu + 1}\ \overbrace{\int_{0}^{\infty}{\dd t \over t^{2} + 1}}^{\ds{=\ {\pi \over 2}}} =-\,{\pi \over \root{\mu^{2} - 1}}\ =\ =-\,{b \over \root{a^{2} - b^{2}}}\,\pi \end{align}

Sustitución en $\pars{1}$ : $$ \color{#66f}{\large\int_{0}^{2\pi}{\cos^{2}\pars{\theta} \over a + b\cos\pars{\theta}}\,\dd\theta ={2a \over b^{2}}\pars{{a \over \root{a^{2} - b^{2}}} - 1}\pi}\,,\qquad a > b > 0 $$