8 votos

Evaluar: $\int_{0}^{\pi}\frac{\cos 2017x}{5-4\cos x}dx$

Evaluar:

$\int\limits_{0}^{\pi}\dfrac{\cos 2017x}{5-4\cos x}~dx$

Pensé en usar algunas series pero no pude encontrar la solución

1 votos

Intenta demostrar, para enteros $n$, que $$\int_{0}^{\pi} \frac{\cos nx}{5-4\cos x}=\frac{\pi}{3} \times \frac{1}{2^n}$$

0 votos

@S.C.B. ¿Cómo se hace?

0 votos

@S.C.B. ¿Estás diciendo que tu fórmula también funciona si $n$ es negativo? Porque $cos(nx) = cos(-nx)$ pero la respuesta será diferente...

15voto

Roger Hoover Puntos 56

Puedes ir "en sentido contrario".

Lema (S). Dado que $\cos(x)=\frac{e^{ix}+e^{-ix}}{2}$, $$ \sum_{n\geq 0}\frac{2\cos(nx)}{2^n}=1+\frac{3}{5-4\cos x}.$$

Dado que $\int_{0}^{\pi}\cos(nx)\cos(mx)\,dx = \frac{\pi}{2}\,\delta(m,n)$, la serie de coseno de Fourier mostrada por (S) nos da directamente el valor de la integral deseada, $\color{red}{\frac{\pi}{3}\cdot 2^{-2017}}$.

0 votos

Jack, solo por curiosidad. Es fácil mostrar la validez de la ecuación en el Lema. Entonces, ¿fue puramente la experiencia la que te llevó por este camino, o había alguna manera de "ingeniar" esto? Es decir, si los coeficientes en el denominador del integrando fueran arbitrarios, ¿qué propondrías entonces?

0 votos

@Dr. MV: Lo hice por pura experiencia, pero lo mismo se puede identificar al reconocer un núcleo de Poisson en acción.

0 votos

¿Puedes por favor demostrar tu segundo lema (el de la suma) y agregar más explicaciones sobre cómo eso lleva a la respuesta? Gracias.

14voto

Felix Marin Puntos 32763

$\newcommand{\bbx}[1]{\,\bbox[8px,border:1px groove navy]{\displaystyle{#1}}\,} \newcommand{\braces}[1]{\left\lbrace\,{#1}\,\right\rbrace} \newcommand{\bracks}[1]{\left\lbrack\,{#1}\,\right\rbrack} \newcommand{\dd}{\mathrm{d}} \newcommand{\ds}[1]{\displaystyle{#1}} \newcommand{\expo}[1]{\,\mathrm{e}^{#1}\,} \newcommand{\ic}{\mathrm{i}} \newcommand{\mc}[1]{\mathcal{#1}} \newcommand{\mrm}[1]{\mathrm{#1}} \newcommand{\pars}[1]{\left(\,{#1}\,\right)} \newcommand{\partiald}[3][]{\frac{\partial^{#1} #2}{\partial #3^{#1}}} \newcommand{\root}[2][]{\,\sqrt[#1]{\,{#2}\,}\,} \newcommand{\totald}[3][]{\frac{\mathrm{d}^{#1} #2}{\mathrm{d} #3^{#1}}} \newcommand{\verts}[1]{\left\vert\,{#1}\,\right\vert}$ \begin{align} &\int_{0}^{\pi}{\cos\pars{2017x} \over 5 - 4\cos\pars{x}}\,\dd x = \left.\Re\int_{0}^{\pi}{z^{2017} \over 5 - 4\pars{z+1/z}/2} \,{\dd z \over \ic z}\right\vert_{\ z\ =\ \exp\pars{\ic x}} \\[5mm] = &\ \left.-\,{1 \over 2}\,\Im\int_{0}^{\pi}{z^{2017} \over z^{2} - \pars{5/2}z + 1} \,\dd z\,\right\vert_{\ z\ =\ \exp\pars{\ic x}} = \left.-\,{1 \over 2}\,\Im\int_{0}^{\pi}{z^{2017} \over \pars{z - 1/2}\pars{z - 2}}\,\dd z\,\right\vert_{\ z\ =\ \exp\pars{\ic x}} \\[5mm] = &\ {1 \over 2}\,\Im\lim_{\epsilon \to 0^{+}} \int_{\pi}^{0}{\pars{1/2 + \epsilon\expo{\ic\theta}}^{2017} \over \epsilon\expo{\ic\theta}\pars{1/2 + \epsilon\expo{\ic\theta} - 2}} \epsilon\expo{\ic\theta}\ic\,\dd\theta = {1 \ over 2}\pars{-\pi}{\pars{1/2}^{2017} \over 1/2 - 2} \\[5mm] = &\ \bbx{\ds{{2^{-2017} \over 3}\,\pi}} \approx 6.9587 \times 10^{-608} \end{align}

0 votos

Hola Felix. ¿Cómo se colapsó el contorno semicircular con radio $1$ alrededor del polo en $1/2$? Si queremos que comience un contorno cerrado, podemos aprovechar la paridad del integrando. Pero entonces, necesitamos un factor multiplicativo de $1/2$.

1 votos

@Dr.MV Hay dos contribuciones más: 1) De $-1$ a $1/2 - \epsilon$ y 2) de $1/2 + \epsilon$ a $1$. Esas contribuciones son integrales $\color{#f00}{\in \mathbb{R}$. Por lo tanto, su parte imaginaria se anula. Gracias por tu observación.

0 votos

Felix, sí, por supuesto. (+1) para esta linda solución.

i-Ciencias.com

I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.

Powered by:

X