← Blog

El contorno rectangular: periodicidad imaginaria

Algunos integrandos no decaen como racionales, pero tienen una periodicidad imaginaria: al trasladar xx+iTx\mapsto x+iT el valor solo se multiplica por una constante, f(x+iT)=λf(x)f(x+iT)=\lambda\,f(x) con λ1\lambda\neq1. Es el caso de eax1+ex\dfrac{e^{ax}}{1+e^x} (periodo 2πi2\pi i, λ=e2πia\lambda=e^{2\pi i a}) o de sechx=1coshx\operatorname{sech} x=\dfrac{1}{\cosh x} (antiperiodo iπi\pi, λ=1\lambda=-1). El contorno natural es un rectángulo [R,R]×[0,T][-R,R]\times[0,T].

Los lados opuestos se relacionan por el periodo. El lado de arriba (a altura Im=T\operatorname{Im}=T) recorre f(x+iT)=λf(x)f(x+iT)=\lambda f(x) en sentido contrario al de abajo, así que arriba=λabajo\int_{\text{arriba}}=-\lambda\int_{\text{abajo}}; los lados verticales se anulan cuando RR\to\infty. Sumando, (1λ) ⁣ ⁣f=2πi ⁣ ⁣0<Im<T ⁣Res(1-\lambda)\!\int_{-\infty}^{\infty}\! f = 2\pi i\!\!\sum_{0<\operatorname{Im}<T}\!\operatorname{Res}, con los polos de la banda.

Por qué funciona / De dónde sale. Despejando la integral del factor (1λ)(1-\lambda) sale, por ejemplo, eax1+exdx=πsin(πa)\int_{-\infty}^{\infty}\dfrac{e^{ax}}{1+e^x}\,dx=\dfrac{\pi}{\sin(\pi a)} para 0<a<10<a<1 (el único polo de la banda es z=iπz=i\pi), y sechxdx=π\int_{-\infty}^{\infty}\operatorname{sech} x\,dx=\pi. La periodicidad imaginaria es una PROPIEDAD que se comprueba (f(x+iT)/f(x)f(x+iT)/f(x) constante), no un caso particular.

En la calculadora de integrales de MathOperator, estos integrandos se resuelven por el rectángulo, detectando el periodo y el factor λ\lambda. Pueden probarse e^(x/2)/(1+e^x) from -oo to oo, 1/cosh(x) from -oo to oo o e^(a*x)/(1+e^x) from -oo to oo.

Otros artículos