Teorema integral de Cauchy

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:
  

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 ,

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:

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:

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:

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:

En este caso tenemos que:

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:

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Í:

Por lo tanto, encontramos que tanto integrandos (y, por tanto, sus integrales) son cero:

Esto nos da el resultado esperado:

Véase también 
 Análisis complejo
 Fórmula integral de Cauchy

Enlaces externos 
 
 https://en.wikipedia.org/wiki/Cauchy%27s_integral_theorem

Integral de Cauchy
Análisis complejo
Cauchy
Ciencia de 1825
Ciencia y tecnología de Francia del siglo XIX
Francia en 1825
Augustin Louis Cauchy