1 votos

Cancelación de las contribuciones de partes de una integral de contorno

Estoy intentando resolver la siguiente integral mediante métodos de contorno. Es de un examen pasado para el que tengo soluciones, pero no entiendo una parte clave del método.

$$ I = \int_{1}^{\infty} \frac{x(x^2+3)}{(x^2+1)(x^2+4)\sqrt{x^2-1}} dx $$

El contorno que estoy utilizando para la integral tiene este aspecto, con el garabato verde que denota el corte de la rama:

contour

Me parece bien establecer que las contribuciones de las partes circulares del contorno desaparecen, pero estoy convencido de que las contribuciones de los tramos rectos (1) y (3) se anulan entre sí, y lo mismo para (5) y (7). Evidentemente no puede ser así porque los residuos no se anulan, pero dado que el integrando es impar con respecto al eje real y estamos integrando en la misma dirección para las secciones (1) y (3), ¿por qué no se cancelan directamente?

Si alguien puede ver el fallo en mi comprensión sería estupendo, ¡gracias!

1voto

Accelerator Puntos 311

Saber si las integrales de contorno sobre segmentos de línea que van en la dirección opuesta (o en la misma) dependen de cómo definas tus argumentos.

Sea $\displaystyle I = \int_{1}^{\infty}\frac{x\left(x^{2}+3\right)}{\left(x^{2}+1\right)\left(x^{2}+4\right)\sqrt{x^{2}-1}}dx$ , dejemos que $\displaystyle f(z) = \frac{z\left(z^{2}+3\right)}{\left(z^{2}+1\right)\left(z^{2}+4\right)\sqrt{z^{2}-1}}$ y que $\displaystyle g(z) = \frac{z\left(z^{2}+3\right)}{\left(z^{2}+1\right)\left(z^{2}+4\right)}$ . Utilizando la definición compleja de logaritmos, tenemos

$$f(z) = \frac{g(z)}{\exp\left(\frac{1}{2}\ln\left|z+1\right|+\frac{i}{2}\operatorname{arg}\left(z+1\right)\right)\exp\left(\frac{1}{2}\ln\left|z-1\right|+\frac{i}{2}\operatorname{arg}\left(z-1\right)\right)}.$$

Al igual que en la imagen de arriba, vamos a $\operatorname{arg}(z+1) \in (-\pi, \pi)$ y $\operatorname{arg}(z-1) \in (0, 2\pi)$ . Sea $r$ sea la longitud del pequeño espacio entre un segmento de línea y el corte de rama más cercano a él.

Parametrización de la integral sobre $C_1$ (el contorno etiquetado " $1$ "con el círculo alrededor), obtenemos

$$ \int_{C_1}f(z)dz = \int_{1+r+ir}^{R+ir}f(z)dz = \int_{1+r}^{R}f(x+ir)d(x+ir)\\ $$

que es

$$ \int_{1+r}^{R}\frac{g(x+ir)dx}{\exp\left(\frac{1}{2}\ln\left|x+ir+1\right|+\frac{i}{2}\operatorname{arg}\left(x+ir+1\right)\right)\exp\left(\frac{1}{2}\ln\left|x+ir-1\right|+\frac{i}{2}\operatorname{arg}\left(x+ir-1\right)\right)}. $$

En $r \to 0^+$ y $R \to \infty$ obtenemos que la expresión anterior converge a

$$ \int_{1}^{\infty}\frac{g(x)}{\exp\left(\frac{1}{2}\ln\left|x+1\right|+\frac{i}{2}\cdot0\right)\exp\left(\frac{1}{2}\ln\left|x-1\right|+\frac{i}{2}\cdot0\right)}dx = I. $$

Parametrización de la integral sobre $C_3$ obtenemos

$$ \int_{C_3}f(z)dz = \int_{-R+ir}^{-1-r+ir}f(z)dz = \int_{R}^{1+r}f(-x+ir)d(-x+ir)\\ $$

que es

$$ -\int_{R}^{1+r}\frac{g(-x+ir)dx}{\exp\left(\frac{1}{2}\ln\left|-x+ir+1\right|+\frac{i}{2}\operatorname{arg}\left(-x+ir+1\right)\right)\exp\left(\frac{1}{2}\ln\left|-x+ir-1\right|+\frac{i}{2}\operatorname{arg}\left(-x+ir-1\right)\right)}. $$

En $r \to 0^+$ y $R \to \infty$ obtenemos que la expresión anterior converge a

$$ \int_{\infty}^{1}\frac{g(x)}{\exp\left(\frac{1}{2}\ln\left|-x+1\right|+\frac{i}{2}\cdot \pi\right)\exp\left(\frac{1}{2}\ln\left|-x-1\right|+\frac{i}{2}\cdot \pi\right)}dx = I. $$

Parametrización de la integral sobre $C_5$ obtenemos

$$ \int_{C_5}f(z)dz = \int_{-1-r-ir}^{-R-ir}f(z)dz = \int_{1+r}^{R}f(-x-ir)d(-x-ir)\\ $$

que es

$$ -\int_{1+r}^{R}\frac{g(-x-ir)dx}{\exp\left(\frac{1}{2}\ln\left|-x-ir+1\right|+\frac{i}{2}\operatorname{arg}\left(-x-ir+1\right)\right)\exp\left(\frac{1}{2}\ln\left|-x-ir-1\right|+\frac{i}{2}\operatorname{arg}\left(-x-ir-1\right)\right)}. $$

En $r \to 0^+$ y $R \to \infty$ obtenemos que la expresión anterior converge a

$$ \int_{1}^{\infty}\frac{g(x)}{\exp\left(\frac{1}{2}\ln\left|-x+1\right|+\frac{i}{2}\cdot (-\pi)\right)\exp\left(\frac{1}{2}\ln\left|-x-1\right|+\frac{i}{2}\cdot \pi\right)}dx = I. $$

Parametrización de la integral sobre $C_7$ obtenemos

$$ \int_{C_7}f(z)dz = \int_{R-ir}^{1+r-ir}f(z)dz = \int_{R}^{1+r}f(x-ir)d(x-ir)\\ $$

que es

$$ \int_{R}^{1+r}\frac{g(x-ir)dx}{\exp\left(\frac{1}{2}\ln\left|x-ir+1\right|+\frac{i}{2}\operatorname{arg}\left(x-ir+1\right)\right)\exp\left(\frac{1}{2}\ln\left|x-ir-1\right|+\frac{i}{2}\operatorname{arg}\left(x-ir-1\right)\right)}. $$

En $r \to 0^+$ y $R \to \infty$ obtenemos que la expresión anterior converge a

$$ \int_{\infty}^{1}\frac{g(x)}{\exp\left(\frac{1}{2}\ln\left|x+1\right|+\frac{i}{2}\cdot0\right)\exp\left(\frac{1}{2}\ln\left|x-1\right|+\frac{i}{2}\cdot 2\pi\right)}dx = I. $$

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