Integración compleja · Definición

Integral de contorno

análisis complejointegración compleja

Antes de empezar necesitas conocer

Es la forma de sumar una función compleja a lo largo de un camino del plano; de ella salen el teorema de Cauchy, los residuos y casi todo el cálculo de integrales reales con variable compleja.

Definición

La integral de contorno de una función continua \(f\) sobre un contorno \(C\) con parametrización \(\gamma\) es el límite de sumas de \(f\) evaluada en puntos de \(C\) por los pequeños desplazamientos complejos.

\[\int_C f(z)\,dz=\int_a^b f(\gamma(t))\,\gamma'(t)\,dt\]

En la práctica la integral se calcula con la parametrización: si \(C\) tiene parametrización \(\gamma:[a,b]\to\mathbb{C}\), entonces \(\int_C f\,dz=\int_a^b f(\gamma(t))\gamma'(t)\,dt\). El integrando es una función compleja de la variable real \(t\), y se integran parte real e imaginaria por separado. Para el segmento de \(0\) a \(1+i\), con \(\gamma(t)=(1+i)t\), se obtiene \(\int_C z^2\,dz=(1+i)^3/3\).

La integral es lineal en \(f\), aditiva sobre las piezas de un contorno y cambia de signo al invertir el sentido: \(\int_{-C}f\,dz=-\int_Cf\,dz\). No depende de la parametrización elegida mientras esta recorra la curva en el mismo sentido. Además cumple la cota \(\left|\int_Cf\,dz\right|\le ML\), con \(M\) el máximo de \(|f|\) sobre \(C\) y \(L\) la longitud de \(C\).

El resultado puede depender del camino: \(\int_C\bar z\,dz\) de \(0\) a \(1+i\) por el segmento vale \(1\), pero por el camino que va primero a \(1\) y luego sube vale \(1+i\). En cambio, para \(f(z)=z^2\) el valor solo depende de los extremos. Entender cuándo ocurre cada caso es el contenido del teorema de Cauchy.

El ejemplo central es \(\oint_{|z|=1}z^n\,dz\) en sentido antihorario: vale \(2\pi i\) si \(n=-1\) y \(0\) para cualquier otro entero. Esa integral, \(\oint dz/z=2\pi i\), es el eje de la fórmula integral de Cauchy y de los residuos.

Para pensar

¿Cuánto vale \(\int_C dz\) sobre cualquier contorno que va de \(z_0\) a \(z_1\)?

\(z_1-z_0\): con \(f=1\), \(\int_a^b\gamma'(t)\,dt=\gamma(b)-\gamma(a)\).

¿Por qué \(\oint_{|z|=1}\bar z\,dz\) no se anula si \(\oint z\,dz\) sí?

Porque \(z\) es holomorfa y \(\bar z\) no lo es; para holomorfas la integral sobre un contorno cerrado se anula (teorema de Cauchy), mientras que \(\bar z\) da \(2\pi i\).

Ejercicios 10

Referencias

  • Elias M. Stein, Rami Shakarchi, Complex Analysis, 1st edition, Princeton University Press, 2003. Cap. 1, §2.2
  • James Ward Brown, Ruel V. Churchill, Complex Variables and Applications, 9th edition, McGraw-Hill, 2014. §40–43
  • Lars V. Ahlfors, Complex Analysis, 3rd edition, McGraw-Hill, 1979. Cap. 4, §1.2