Integración compleja · Definición

Fórmula integral de Cauchy

análisis complejointegración compleja

Antes de empezar necesitas conocer

Permite recuperar el valor de una función holomorfa en un punto a partir de lo que ocurre en una curva que lo rodea.

Definición

La fórmula integral de Cauchy da el valor de una función holomorfa \(f\) en un punto \(z_0\) interior a un contorno cerrado simple \(C\) mediante una integral de \(f\) sobre \(C\).

\[f(z_0)=\frac{1}{2\pi i}\oint_C\frac{f(z)}{z-z_0}\,dz\]

Si \(f\) es holomorfa sobre un contorno cerrado simple \(C\) y en su interior, recorrido en sentido positivo, y \(z_0\) está dentro de \(C\), entonces \(\oint_C\frac{f(z)}{z-z_0}dz=2\pi i\,f(z_0)\). Se demuestra con Cauchy-Goursat: se deforma \(C\) hasta una circunferencia pequeña alrededor de \(z_0\), donde \(f\) es casi constante y la integral de \(\frac{1}{z-z_0}\) vale \(2\pi i\).

Es útil como regla de cálculo: ante una integral con un factor \(\frac{1}{z-z_0}\), identificas \(f\) como el resto del integrando y evalúas \(f(z_0)\). Así \(\oint_{|z|=2}\frac{e^z}{z-1}dz=2\pi i\,e\). Si el integrando tiene varios puntos problemáticos, como \(\frac{1}{z^2-1}\), se separa con fracciones parciales y se aplica la fórmula a cada término. Si \(z_0\) queda fuera de \(C\), la integral es cero.

El resultado es sorprendente: los valores de \(f\) en la frontera determinan los del interior. En una circunferencia centrada en \(z_0\) se obtiene la propiedad del valor medio, \(f(z_0)=\frac1{2\pi}\int_0^{2\pi}f(z_0+re^{it})dt\). Derivando respecto de \(z_0\) bajo la integral se ve además que \(f\) tiene derivadas de todos los órdenes, \(f^{(n)}(z_0)=\frac{n!}{2\pi i}\oint_C\frac{f(z)}{(z-z_0)^{n+1}}dz\); de ahí que toda función holomorfa sea analítica.

Errores típicos: aplicarla cuando \(f\) tiene una singularidad dentro de \(C\) (entonces \(f\) no es holomorfa en la región), olvidar el factor \(2\pi i\) y descuidar la orientación, que cambia el signo. Es la herramienta central para teoremas como el de Liouville y el teorema fundamental del álgebra.

Para pensar

¿Por qué no puede usarse la fórmula en \(\oint_{|z|=2}\frac{1}{z(z-1)}\,dz\) tomando \(f=1/(z-1)\) y \(z_0=0\)?

Porque \(f(z)=\frac1{z-1}\) no es holomorfa en \(z=1\), que está dentro del contorno. Hay que separar en fracciones parciales: \(\frac1{z(z-1)}=\frac1{z-1}-\frac1z\).

Si \(f\) es holomorfa en el disco cerrado \(|z|\le r\) y \(|f|\le M\) en \(|z|=r\), ¿qué cota obtienes para \(|f(0)|\)?

\(|f(0)|\le\frac1{2\pi}\cdot 2\pi r\cdot\frac{M}{r}=M\): el valor central no supera el máximo en la frontera.

Ejercicios 10

Referencias

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