En matemáticas, el teorema integral de Cauchy (también conocido como el teorema de Cauchy-Goursat) en el análisis complejo, es una declaración importante sobre integrales de línea para las funciones holomórficas en el plano complejo. Esencialmente, dice que si dos trayectorias diferentes conectan los mismos dos puntos, y una función es holomorfa por todas partes entre las dos trayectorias, entonces las dos integrales de la trayectoria de la función serán iguales. El teorema integral de Cauchy, descubierto por Augustin Louis Cauchy en 1825, es parte fundamental del cálculo integral de variable compleja.
Enunciado
El teorema se formula usualmente para caminos cerrados de la siguiente manera:
Sean
un subconjunto abierto de
que esté simplemente conectado,
una función holomorfa y
una trayectoria rectificable en
cuyo punto inicial es igual a su punto final. Entonces:
![{\displaystyle \oint _{\gamma }f(z)dz=0.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8a5c7e8df663ae13ab6b512d973b2eec1b728976)
Una versión precisa (homología) puede ser declarada utilizando números de devanado. El número de devanado de una curva cerrada alrededor de un punto
que no está en la curva es la integral de
, donde
alrededor de la curva. Es un número entero. Brevemente, la integral de la trayectoria a lo largo de una Curva de Jordan de una función holomorfa en el interior de la curva, es cero. En lugar de un solo camino cerrado podemos considerar una combinación lineal de caminos cerrados, donde los escalares son enteros. Tal combinación se denomina cadena cerrada, y se define una integral a lo largo de la cadena como una combinación lineal de integrales sobre trayectos individuales. Una cadena cerrada se denomina ciclo en una región si es homóloga a cero en la región; Es decir, el número de devanado, expresado por la integral de 1/(z-a) sobre la cadena cerrada, es cero para cada punto 'a' no en la región. Esto significa que la cadena cerrada no enrolla alrededor de puntos fuera de la región. Entonces el teorema de Cauchy puede ser declarado como la integral de una función holomorfa en un conjunto abierto tomado alrededor de cualquier ciclo en el conjunto abierto es cero. Un ejemplo es proporcionado por la región en forma de anillo. Esta versión es crucial para la derivación rigurosa de la Serie de Laurent y la fórmula de residuos de Cauchy sin implicar ninguna noción física tal como cortes transversales o deformaciones. La versión permite la extensión del Teorema de Cauchy a las regiones conectadas multiplicadas analíticamente.
Extensión
Posteriormente, Edouard Goursat demostró que no era necesario considerar la hipótesis de que la derivada de
fuera continua para asegurar que el valor de la integral sea cero. De esta manera:
- El teorema sigue siendo válido cuando el contorno
no es simplemente conexo pero tiene un número finito de "agujeros".
- Sea
un contorno simple cerrado, y sean
para
un número finito de contornos simples cerrados dentro de
, tales que las regiones interiores a cada
no tengan puntos en común. Sea
la región cerrada formada por todos los puntos dentro de
, salvo los puntos interiores a cada
. Denotamos por
toda la frontera orientada de
formada por
y todos los contornos
, recorridos en un sentido tal que los puntos interiores de
queden a la izquierda de
entonces, si f es analítica en todo
,
![{\displaystyle \oint _{F}f(z)dz=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e9e060566ab7c18969e554e14d5dd29093d91d51)
A raíz de este trabajo, actualmente el teorema es conocido como teorema integral de Cauchy-Goursat.
Discusión
Como demostró Édouard Goursat, el teorema integral de Cauchy puede demostrarse asumiendo sólo que la derivada compleja f '(z) existe en todas partes de U. Esto es significativo, porque se puede probar la fórmula integral de Cauchy para estas funciones, y de ahí deducir Las funciones son de hecho infinitamente diferenciables.
La condición de que U sea simplemente conectada significa que U no tiene "agujeros" o, en términos de homotopía, que el grupo fundamental de U 'es trivial; Por ejemplo, cada disco abierto
cualificadas, la condición es crucial; considerar:
, parametrización que traza el círculo unitario, y luego la integral del trayecto:
![{\displaystyle \oint _{\gamma }{\frac {1}{z}}\,dz=\int _{0}^{2\pi }{ie^{it} \over e^{it}}\,dt=\int _{0}^{2\pi }i\,dt=2\pi i,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/cbaa032aceade78d889927db2aadbc21b2a9bcba)
la cual no es cero.
El teorema integral de Cauchy no se aplica aquí ya que
no está definido (y ciertamente no es holomorfo) en
.
Una consecuencia importante del teorema es que las integrales de trayectoria de funciones holomorfas en dominios simplemente conectados se pueden calcular de una manera familiar del teorema fundamental del cálculo real: sea U un subconjunto abierto simplemente conectado de C, sea f: U → C sea Una función holomorfa, y sea γ una trayectoria continuamente diferenciable por partes en U con el punto inicial a y el punto final b. Si F es una compleja antiderivada de f, entonces:
![{\displaystyle \int _{\gamma }f(z)\,dz=F(b)-F(a).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5ae3b6c389d55246959ee8e2d0e52b64e9739031)
Consecuencias
A partir del teorema de Cauchy-Goursat, se pueden demostrar proposiciones como la siguiente:
Sea
una función analítica sobre
, siendo
un contorno cerrado simple, y en el interior de
. Si se toma un punto interior
de
, se cumple que:
![{\displaystyle \oint _{C}{\frac {f(z)}{z-z_{0}}}dz=2\pi if(z_{0})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/91665d0e92448bc6df2f48ba3d40360ce1313c77)
que corresponde a la fórmula integral de Cauchy.
Pruebas
Si se supone que las derivadas parciales de una función holomorfa son continuas, el teorema integral de Cauchy puede demostrarse como una consecuencia directa del teorema de Green y el hecho de que las partes real e imaginaria de
Debe satisfacer las Ecuaciones de Cauchy-Riemann en la región delimitada por
, y además en el barrio abierto "U" de esta región. Cauchy proporcionó esta prueba, pero más tarde fue probada por Goursat sin necesidad de técnicas de cálculo vectorial, o la continuidad de las derivadas parciales.
Podemos romper el integrando
, así como el diferencial
en sus componentes reales e imaginarios:
![{\displaystyle \displaystyle f=u+iv}](https://wikimedia.org/api/rest_v1/media/math/render/svg/30337ce972163325a71721de08fdcd46f16e119c)
![{\displaystyle \displaystyle dz=dx+i\,dy}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e0a658134f4e64f882f8dc969ce0ac738300a81d)
En este caso tenemos que:
![{\displaystyle \oint _{\gamma }f(z)\,dz=\oint _{\gamma }(u+iv)(dx+i\,dy)=\oint _{\gamma }(u\,dx-v\,dy)+i\oint _{\gamma }(v\,dx+u\,dy)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/52aeb3e38ccf3022da86626157fa5893f684f991)
Por el teorema de Green, podemos entonces reemplazar las integrales alrededor del contorno cerrado
con un área integral en todo el dominio
que está encerrado por
como sigue:
![{\displaystyle \oint _{\gamma }(u\,dx-v\,dy)=\iint _{D}\left(-{\frac {\partial v}{\partial x}}-{\frac {\partial u}{\partial y}}\right)\,dx\,dy}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b4dc794fa846880759e32feecc99f47bb326a953)
![{\displaystyle \oint _{\gamma }(v\,dx+u\,dy)=\iint _{D}\left({\frac {\partial u}{\partial x}}-{\frac {\partial v}{\partial y}}\right)\,dx\,dy}](https://wikimedia.org/api/rest_v1/media/math/render/svg/53c36ff49cef7676e0172e9b01d5cbf24e5acd66)
Sin embargo, siendo las partes real e imaginaria de una función holomorfa en el dominio
,
y
deben satisfacer la Ecuación de Cauchy-Riemann aquÍ:
![{\displaystyle {\partial u \over \partial x}={\partial v \over \partial y}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bf48bc9b835512ef7918d28d321eb5cbae773987)
![{\displaystyle {\partial u \over \partial y}=-{\partial v \over \partial x}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/385a256f2fdba6f5f2d895532338e1d5b6e13716)
Por lo tanto, encontramos que tanto integrandos (y, por tanto, sus integrales) son cero:
![{\displaystyle \iint _{D}\left(-{\frac {\partial v}{\partial x}}-{\frac {\partial u}{\partial y}}\right)\,dx\,dy=\iint _{D}\left({\frac {\partial u}{\partial y}}-{\frac {\partial u}{\partial y}}\right)\,dx\,dy=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9d346c94aabe558e3010e324de39b23b098047da)
![{\displaystyle \iint _{D}\left({\frac {\partial u}{\partial x}}-{\frac {\partial v}{\partial y}}\right)\,dx\,dy=\iint _{D}\left({\frac {\partial u}{\partial x}}-{\frac {\partial u}{\partial x}}\right)\,dx\,dy=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c2fa92470f210531649ce2e89cd56fcc5801604c)
Esto nos da el resultado esperado:
![{\displaystyle \oint _{\gamma }f(z)\,dz=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/47e0c47fb2d10003c411b9a6ae22c257907d0b26)
Véase también
Enlaces externos