Integración compleja · Definición
Fórmula integral de Cauchy
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\).
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
- Calcula \(\displaystyle\oint_{|z|=2}\frac{e^z}{z-1}\,dz\), con la circunferencia recorrida en sentido positivo.
- Calcula \(\displaystyle\oint_{|z|=1}\frac{\cos z}{z}\,dz\) en sentido positivo.
- Calcula \(\displaystyle\oint_{|z|=3}\frac{z^2}{z-i}\,dz\) en sentido positivo.
- Si \(f\) es holomorfa en el disco cerrado \(|z|\le 1\) y \(\oint_{|z|=1}\frac{f(z)}{z}\,dz=4\pi i\), ¿cuánto vale \(f(0)\)?
- Calcula \(\displaystyle\oint_{|z|=4}\frac{\sin z}{z-\pi}\,dz\) en sentido positivo.
- Calcula \(\displaystyle\oint_{|z|=1}\frac{e^z}{z-3}\,dz\) en sentido positivo.
- Calcula \(\displaystyle\oint_{|z|=1}\frac{e^z}{z}\,dz\) recorriendo la circunferencia en sentido horario.
- Calcula \(\displaystyle\oint_{|z|=3}\frac{z}{z^2-1}\,dz\) en sentido positivo.
- ¿Cuál es la hipótesis necesaria para aplicar la fórmula integral de Cauchy a \(\oint_C\frac{f(z)}{z-z_0}dz\)?
- Para \(f(z)=(z+2)^3\), calcula \(\displaystyle\frac{1}{2\pi i}\oint_{|z|=1}\frac{f(z)}{z}\,dz\), equivalente al promedio de \(f\) sobre la circunferencia.
Después de esto
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