Archivo de la categoría: Matemáticas

Posts de matemáticas, la ciencia más cercana a las artes.

Variable Compleja I: Consecuencias del teorema integral de Cauchy

Por Pedro Rivera Herrera

Introducción

En la entrada anterior establecimos una versión local, para discos, del teorema integral de Cauchy y vimos que una primera consecuencia de este resultado es la fórmula integral de Cauchy, la cual nos permitió establecer la existencia de las derivadas de todos los órdenes de una función analítica en un dominio.

En esta entrada probaremos algunas otras consecuencias de este teorema tan importante en el Análisis Complejo, como el teorema de Liouville, el teorema Fundamental del Álgebra, el teorema de Morera, entre otros.

Proposición 37.1. (Desigualdad de Cauchy.)
Sean DC un dominio, f:DC una función analítica en D, z0D y r>0 tal que C(z0,r)D. Entonces:
|f(n)(z0)|n!Mrrn,nN,donde Mr:=maxzC(z0,r)|f(z)|.

Demostración. Dadas las hipótesis, sea Mr:=maxzC(z0,r)|f(z)|.

Como f es analítica en D, en particular lo es en z0, por lo que de la proposición 36.5 tenemos que las derivadas de todos los ordenes de f en z0 existen en el interior de la circunferencia C(z0,r)D y están dadas por:
f(n)(z0)=n!2πiC(z0,r)f(z)(zz0)n+1dz,por lo que, de la proposición 34.3(5) se sigue que:
|f(n)(z0)|=|n!2πiC(z0,r)f(z)(zz0)n+1dz|=n!2π|C(z0,r)f(z)(zz0)n+1dz|n!2πC(z0,r)|f(z)||zz0|n+1|dz|n!2πMrrn+1C(z0,r)|dz|=n!2π2πrMrrn+1=n!Mrrn.

◼

Teorema 37.1. (Teorema de Liouville.)
Sea f:CC una función entera y acotada. Entonces f es constante.
\begin{proof}
Dadas las hipótesis, tenemos que f es analítica en todo punto del plano complejo. Sea ζC un punto arbitrario. De acuerdo con la desigualdad de Cauchy, para todo nN se cumple que:
|f(n)(ζ)|n!Mrrn,donde Mr=maxzC(ζ,r)|f(z)|.

Como f es acotada, entonces existe una constante M tal que MrM para todo zC. Entonces para n=1 se tiene que:
|f(ζ)|Mr.

Lo anterior se cumple para todo r>0, por lo que tomando el límite cuando r se sigue que:
|f(ζ)|=0f(ζ)=0.

Dado que ζC es arbitrario, para todo zC se cumple que f(z)=0 y como f es entera, entonces, de la proposición 19.2 se sigue que f es constante.

◼

Corolario 37.1.
Toda función no constante y entera no es acotada.

Demostración. Es inmediato del teorema de Liouville.

◼

Ejemplo 37.1.
La función sen(z) es entera y no es constante, por lo que no es acotada.

Corolario 37.2.
Sea f:CC una función entera tal que f(z)=u(x,y)+iv(x,y). Si u(x,y) es acotada para todo z=x+iyC, entonces u(x,y) y v(x,y) son funciones constantes.

Demostración. Dadas las hipótesis, sea |u(x,y)|M para todo z=x+iyC. Definimos a la función:
g(z)=ef(z).

Claramente g es una función entera tal que g(z)0 para todo zC. Por la proposición 20.2(4) tenemos que:
|g(z)|=|ef(z)|=eu(x,y)eM,zC,es decir g es una función acotada y entera, por lo que del teorema de Liouville se sigue que g es una función constante y por tanto f es función constante, por lo que u(x,y) y v(x,y) son constantes.

◼

Ejemplo 37.2.
Sean f,g:CC dos funciones enteras, tales que g(z)0 y |f(z)||g(z)| para todo zC. Veamos que existe una constante cC tal que f(z)=cg(z).

Solución. Definimos a la función:
h(z):=f(z)g(z),como g(z)0 para todo zC, entonces h está bien definida en C y es una función entera por ser el cociente de dos funciones enteras. Por hipótesis tenemos que:
|h(z)|=|f(z)g(z)|=|f(z)||g(z)|1,zC,es decir, h es una función acotada y entera, por lo que del teorema de Liouville se sigue que h(z)=c, para algún cC, entonces f(z)=cg(z).

Teorema 37.2. (Teorema Fundamental del Álgebra.)
Todo polinomio complejo p(z) de grado mayor o igual a 1, tiene al menos una raíz en C, es decir, existe z0C tal que p(z0)=0.

Demostración. Dadas las hipótesis, procedemos por contradicción. Supongamos que:
p(z)=c0+c1z++cn1zn1+cnzn0,para todo zC. Como p es de grado n1, entonces cn0 y |cn|>0.

Consideremos a la función f(z)=1/p(z), la cual está bien definida y es una función entera. Por la desigualdad del triángulo tenemos que:
|f(z)|=|1p(z)|=1|z|n1|c0zn+c1zn1++cn2z2+cn1z+cn|1|z|n1|c0zn|+|c1zn1|++|cn2z2|+|cn1z|+|cn|.

Notemos que:
|ckznk|=|ck||znk|=|ck||z|nk.

Por lo que, si n>k, entonces:
lim|z||ckznk|=lim|z||ck||z|nk=0,de donde:
lim|z|(|c0zn|+|c1zn1|++|cn2z2|+|cn1z|+|cn|)=|cn|>0,es decir:
lim|z||f(z)|=0,entonces, para ε=1 existe RR tal que:
R|z||f(z)|1.

Por otra parte, dado que el disco cerrado B(0,R) es un conjunto compacto y la función real:
|f(z)|=u2(x,y)+v2(x,y),es una función continua de las variables x e y, entonces, proposición 10.9, |f(B(0,R))| es un conjunto compacto, es decir, cerrado y acotado, por lo que existe K>0 tal que:
|f(z)|K,zB(0,R).

Considerando lo anterior, sea M:=max{K,1}, entonces para todo zC se cumple que |f(z)|M, es decir, f es una función acotada, por lo que del teorema de Liouville se sigue que f debe ser constante, entonces p es constante, lo cual es una contradicción, por lo que existe z0C tal que p(z0)=0.

◼

Corolario 37.3.
Un polinomio complejo p(z)=c0+c1z++cn1zn1+cnzn, de grado n1, tiene una factorización:
p(z)=c(zz1)(zz2)(zzn),donde z1,z2,,zn son las raíces de p y cC es una constante.

Demostración. Se deja como ejercicio al lector.

◼

Observación 37.1
Debe ser claro que raíces z1,z2,,zn del polinomio p en el resultado anterior no necesariamente son distintas. En general, los factores de p en el corolario 37.3 pueden agruparse en la forma:
p(z)=c(zz1)n1(zz2)n2(zzk)nk,donde z1,z2,,zk son raíces de p distintas, cC es una constante y n1,n2,,nk son números naturales que indican, respectivamente, la multiplicidad de cada raíz de p.

Ejemplo 37.3.
El polinomio p(z)=iz(z1)2(z+i)5 tiene a z1=0 como una raíz simple, mientras que z2=1 es una raíz doble o de multiplicidad 2 y z3=i es una raíz de multiplicidad 5.

Teorema 37.3. (Teorema de Morera.)
Sean DC una región y f:DC una función continua en D tal que:
γf(z)dz=0,para todo contorno cerrado en D. Entonces f es analítica en D.

Demostración. Dadas las hipótesis, tenemos que para todo contorno cerrado γ en D se cumple que:
γf(z)dz=0,por lo que, proposición 35.2, existe una primitiva de f en D, es decir, existe F:DC analítica tal que F(z)=f(z) para todo zD. Por el corolario 36.3, tenemos que FC(D), en particular, F(2)(z) existe y también es analítica en D, pero F(2)(z)=f(z) para todo zD. Por lo tanto, f es analítica en D.

◼

Corolario 37.4. (Teorema de Morera generalizado.)
Sean DC una dominio y f:DC una función continua en D y analítica en D{z0}, para algún z0D. Entonces f es analítica en D.

Demostración. Se sigue del teorema integral de Cacuhy generalizado (para discos), teorema 36.4 y del teorema de Morera, por lo que los detalles se dejan como ejercicio al lector.

◼

Observación 37.2.
La fórmula integral de Cauchy nos dice cómo el valor f(z0) es representado por alguna integral de contorno. En particular, si elegimos al contorno de integración γ como una circunferencia con centro en z0, entonces podemos ver que el valor de f(z0) es un tipo de promedio de los valores de f(z) en los puntos z que están sobre dicha circunferencia.

Proposición 37.5. (Teorema del valor medio de Gauss.)
Sean DC un dominio, f:DC una función analítica, z0D fijo y r>0 tal que C(z0,r)D, entonces:
(37.1)f(z0)=12π02πf(z0+eit)dt.

Demostración. Dadas las hipótesis, parametrizamos a C(z0,r) como γ:[0,2π], dada por γ(t)=z0+reit. Por la fórmula integral de Cauchy tenemos que:
f(z0)=12πiC(z0,r)f(z)zz0dz=12πi02πf(z0+eit)z0+reitz0ireitdt=12π02πf(z0+reit)dt.

◼

Definición 37.1. (Propiedad del valor medio.)
Sean DC un dominio y f:DC una función analítica en D. Se dice que f tiene la {\bf propiedad del valor medio} si para todo z0D y r>0 tal que B(z0,r)D se cumple que:
f(z0)=12π02πf(z0+eit)dt.

Corolario 37.5.
Si f(z)=u(x,y)+iv(x,y) es una función analítica en un dominio DC, entonces las partes real e imaginaria de f, es decir, las funciones reales u(x,y) y v(x,y) tienen la propiedad del valor medio en D, es decir:
u(z0)=12π02πu(z0+eit)dt,
v(z0)=12π02πv(z0+eit)dt.

Demostración. Es inmediata de la proposición 37.5 al tomar la parte real e imaginaria en ambos lados de la igualdad (37.1).

◼

Lema 37.1.
Sean [a,b]R, con a<b, un intervalo cerrado y g:[a,b]R una función continua en [a,b] tal que g(x)0 para todo x[a,b]. Si:
abg(t)dt=0,entonces g(x)=0 para todo x[a,b].

Demostración. Dadas las hipótesis, definimos a la función:
φ(x)=axg(t)dt,x[a,b].

Por el teorema Fundamental del Cálculo es claro que φ es una función diferenciable con derivada:
φ(x)=g(x),x[a,b].

Más aún, de las propiedades de la integral real se cumple que:
0φ(x)=axg(t)dtabg(t)dt=0,por lo que φ(x)=0 y φ(x)=0 para todo x[a,b], entonces g(x)=0 para todo x[a,b].

◼

Teorema 37.4. (Principio del módulo máximo.)
Sean DC un dominio y f:DC una función analítica en D. Si existe un punto z0D tal que |f(z)||f(z0)| para todo zD, es decir, el módulo |f(z)| alcanza su máximo en z0, entonces f es una función constante en D.

Demostración. Dadas las hipótesis, de acuerdo con la proposición 19.3, basta probar que |f(z)| es constante en D. Consideremos a la función g:DR dada por g(z)=|f(z)|. Procedemos a probar que g es constante en D.

Notemos que, como D es un dominio, en particular es abierto, por lo que para cada zD existe un disco abierto B(z,ρ)D. Si 0<r<ρ, entonces B(z0,r)B(z0,ρ)D. Por lo que, de la proposición 37.5 se cumple que:
f(z)=12π02πf(z+reit)dt,de donde:
g(z)=|f(z)|=|12π02πf(z+reit)dt|12π02π|f(z+reit)|dt(37.2)=12π02πg(z+reit)dt,para cualquier 0<r<ρ.

Sea M=g(z0)=|f(z0)|0 y definimos a los conjuntos:
U:={zD:g(z)=M},V:={zD:g(z)<M}.

Entonces D=UV y UV=. Veamos que V=. Para ello probemos que U y V son ambos abiertos y utilicemos el hecho de que D es conexo.

Sea zU y ρ>0 tal que se cumple (37.2) para 0<r<ρ. Notemos que para r fijo en este intervalo, como zU y g(z)M para todo en zD, entonces se cumple que:
M=g(z)12π02πg(z+reit)dt12π02πMdt=M.

Por lo que:
12π02πg(z+reit)dt=12π02πMdt,es decir:
12π02π[Mg(z+reit)]dt=0.

Dado que h(t)=Mg(z+reit)0 para todo t[0,2π] y g es una función continua, entonces por el lema 37.1 concluimos que:
M=g(z+reit),para todo t[0,2π], por lo que z+reitU. Es decir, la circunferencia con centro en z y radio r está contenida en U. Como esto se cumple para todo r(0,ρ), concluimos que el disco abierto B(z,ρ) está contendio en U. Dado que z es un punto arbitrario de U, entonces U es un conjunto abierto.

Ahora supongamos que zV, entonces g(z)<M. Puesto que g es una función continua en D, en particular lo es en z, por lo que para ε=Mg(z)>0 existe r>0 tal que si ζB(z,r), entonces |g(z)g(ζ)|<ε. De donde:
g(ζ)g(z)=|g(ζ)||g(z)||g(z)g(ζ)|<ε,por lo que:
g(ζ)=g(ζ)g(z)+g(z)<ε+g(z)=Mg(z)+g(z)=M,para cada ζB(z,r). Por lo que B(z,r)V y como z era arbitrario, entonces V también es abierto.

Notemos que U, ya que por definición al menos el punto z0D es un punto de U. Por lo tanto, dado que D es conexo, se sigue que V=, entonces g(z)=M para todo zD, es decir la función |f(z)| es constante en D, por lo que el resultado se sigue de la proposición 19.3.

◼

Observación 37.3.
Se puede probar el principio del módulo máximo para funciones complejas continuas que satisfacen la propiedad del valor medio. Esta es una clase más general de funciones e incluye a las funciones analíticas. Se puede consultar una prueba de este hecho en Complex variables theory and applications, de H.S. Kasana.

Reformulando el teorema 37.4, podemos decir que el módulo de una función compleja, que es analítica y no constante en un dominio D, no alcanza su valor máximo en D. El principio del módulo máximo tiene numerosas formulaciones, las siguientes son ejemplos de ellas.

Observación 37.2.
Si DC es un dominio, denotamos a la frontera de D como D, entonces D=DD es un dominio cerrado y acotado en C.

Corolario 37.6.
Sea DC un dominio acotado en el plano complejo y f:DC una función continua en D, que es analítica en D. Entonces |f(z)| alcanza su valor máximo en algún punto de la frontera de D.

Demostración. Dadas las hipótesis, como D es cerrado y acotado, entonces es un conjunto compacto, proposición 10.7, y como la función |f| es continua, entonces, proposición 10.10, alcanza su máximo en algún punto de D. Si |f| alcanza su máximo en algún punto de D=DD, entonces no hay nada que probar.

Supongamos que |f| alcanza su máximo en algún punto de D, entonces, por el principio del módulo máximo, tenemos que f es una función constante en D, por lo que, por la continuidad de f, se sigue que f es constante en D. En tal caso, |f| alcanza su valor máximo, el cual es único, en cada punto de D.

◼

Ejemplo 37.4.
Sea RC el dominio rectangular:
{z=x+iyC:0xπ,0y1},y sea f(z)=sen(z). Determinemos el valor máximo de |f| en R.

Solución. Sabemos que f es una función entera, por lo que en particular es analítica en intR y continua en R, entonces por el principio del módulo máximo sabemos que |f| alcanza su máximo en R.

Por la observación 22.5, para z=x+iyC tenemos que:
|f(z)|=|sen(z)|=sen2(x)+senh2(y).

Como z=x+iyR, figura 137, entonces sen(x) alcanza su máximo en π/2[0,π], mientras que senh(y) alcanza su máximo en 1[0,1], entonces el valor máximo de |f| en el dominio R se alcanza en z=π/2+i.

Figura 137: Dominio rectangular RC del ejemplo 37.4.

Teorema 37.5. (Principio del módulo mínimo.)
Sean DC un dominio y f:DC una función analítica en D tal que f(z)0 para todo zD. Si existe un punto z0D tal que |f(z0)||f(z)| para todo zD, es decir, el módulo |f(z)| alcanza su mínimo en z0, entonces f es una función constante en D.

Demostración. Dadas las hipótesis, como f(z)0 para todo zD, definimos a la función:
g(z)=1f(z), la cual es analítica en D. Como |f| alcanza su mínimo en z0D, entonces |g| alcanza su máximo en z0, por lo que, del principio del módulo máximo se sigue que g es una función constante en D y por tanto lo es f.

◼

Corolario 37.7.
Sea DC un dominio acotado en el plano complejo y f:DC una función continua en D, analítica en D y que cumple que f(z)0 para todo zD. Entonces |f(z)| alcanza su valor mínimo en algún punto de la frontera de D.
Demostración. Se deja como ejercicio al lector.

◼

Ejemplo 37.4.
Sea f(z)=z2+2. Determinemos el valor mínmo de |f| en el disco cerrado B(0,1).

Solución. Sabemos quue f es una función entera, por lo que en particular es continua en B(0,1) y analítica en B(0,1). Notemos que f(z)=0 para z=±2i, los cuales son puntos fuera de B(0,1), por lo que del principio del módulo mínimo |f| alcanza su valor mínimo en B(0,1).

Sea zB(0,1). Si escribimos a z en su forma polar, entonces:
z=eiθ,θ[0,2π].

Considerando la proposición 20.2 tenemos que:
|f(z)|=|z2+2|=|cos(2θ)+2+isen(2θ)|=(cos(2θ)+2)2+sen2(2θ)=4cos(2θ)+5.

Determinamos los puntos críticos de |f|:
d|f(z)|dθ=8sen(2θ)24cos(2θ)+5=0,de donde θ=0,π/2,π,3π/2 son los puntos críticos de |f|. Entonces, en θ=π/2 y θ=3π/2 la función |f(z)| alcanza el valor mínimo 1, en el disco cerrado B(0,1).

Cerraremos esta entrada con un resultado que es una aplicación del principio del módulo máximo. Aunque este resultado no es no de lo más básicos en la teoría de la Variable Compleja, nos permite ver el tipo de restricciones que la analiticidad de una función compleja impone.

Teorema 37.6. (Lema de Schwarz.)
Sea f una función analítica en el disco unitario abierto B(0,1)C, tal que |f(z)|1 para zB(0,1). Entonces |f(z)||z| para todo zB(0,1) y |f(0)|1. Más aún, si |f(z0)|=|z0| para algún z0B(0,1) tal que z00 ó |f(0)|=1, entonces f(z)=cz para todo zB(0,1) y para alguna constante cC tal que |c|=1.

Demostración. Dadas las hipótesis, definimos a la función g:B(0,1)C como:
g(z)={f(z)z,siz0,f(0),siz=0.

Notemos que g es una función continua en B(0,1) ya que:
limz0g(z)=limz0f(z)z=f(0).

Por otra parte, g es analítica en B(0,1)=B(0,1){0}. Entonces, por el teorema de Morera generalizado, g es analítica en B(0,1).

Sea 0<r<1, por lo que B(0,r)B(0,1). Entonces g es analítica en B(0,r) y para zB(0,1) se tiene que:
|g(z)|=|f(z)z|1r.

Por el principio del módulo máximo tenemos que:
|g(z)|1r,zB(0,r).

Notemos que si zB(0,1) es fijo, al tomar el límite cuando r1, se tiene que |g(z)|1, entonces |f(z)||z| para todo zB(0,1). Además |f(0)|=|g(0)|1.

Por otra parte, si |f(z0)|=|z0| para algún z0B(0,1), entonces |g(z0)|=1, es decir, el máximo del módulo de g se alcanza en un punto interior del disco abierto B(0,1), por lo que del principio del módulo máximo se tiene que g es una función constante, es decir, g(z)=c, con cC tal que |c|=1. Del mismo modo, si |f(0)|=1, entonces |g(0)|=1 y el máximo del módulo de g se alcanza en z=0, por lo que del principio del módulo máximo se concluye que g es constante.

◼

Tarea moral

  1. Sea R el dominio rectangular {z:∈C:|Re(z)|4,|Im(z)|3}. Supón que f es una función analítica en R tal que |f(z)|1 para todo zR, entonces muestra que:
    |f(0)|149π.
  2. Sea f una función analítica en un dominio DC y z0D. Muestra que:
    f(n)(z0)=12πrn+102πf(z0+reit)eintdt,si B(z0,r)D, con r>0.
  3. Muestra que:
    02πcos(cos(t))cosh(sen(t))dt=2π.Hint: Utiliza la proposición 37.5.
  4. Sea DC un dominio con frontera D. Sea f(z) una función no constante definida en D=DD, tal que |f(z0)|>m para algún z0D y |f(z)|m para todo zD. Entonces,
    a) si f es analítica en D, muestra que existe un punto en D donde f no es continua;
    b) si f es continua en D, muestra que existe un punto en D donde f no es analítica.
  5. Sean DC un dominio acotado con frontera D y f(z)=u(x,y)+iv(x,y) una función analítica en D y continua en D. Muestra que las siguientes funciones alcanzan su máximo en la frontera del dominio D.
    a) (x2+y2)eu(x,y).
    b) (u2(x,y)+v2(x,y))eu(x,y).
    c) (sen2(x)+senh2(y))eu(x,y).
    d) (cos2(x)+senh2(y))eu(x,y).
    Hint: En cada caso, define a la función g(z) cuya parte real corresponde con la función dada y aplica el principio del módulo máximo.
  6. Sea f una función entera tal que |f(z)|c|z|λ+d para todo zC, con λ,c y d constantes positivas. Prueba que f es necesariamente un polinomio complejo cuyo grado no es mayor que λ.
    Hint: Modifica la prueba del teorema de Liouville.
  7. Prueba la siguiente generalización del lema de Schwarz. Si f es una función analítica en el disco B(z0,r) y m es una constante tal que |f(z)f(z0)|m para todo zB(z0,r), entonces |f(z0)|m/r y |f(z)f(z0)|(m/r)|zz0| se cumple para todo zB(z0,r).
  8. Sea f una función entera tal que f(0)=0 y lim|z|Ref(z)=0. Prueba que f(z)=0 para todo zC.

Más adelante…

En esta entrada hemos abordado algunas de las consecuencias más importantes del teorema integral de Cauchy.

En la siguiente entrada veremos la versión homótopica del teorema de Cauchy y con ella generalizaremos el resultado para ciertos dominios del plano complejo C, llamados dominios simplemente conexos, lo cual nos permitirá extender nuestra versión local, para discos, de dicho resultado.

Entradas relacionadas

Variable Compleja I: Teorema integral de Cauchy

Por Pedro Rivera Herrera

Introducción

El teorema integral de Cauchy es una de las piedras angulares del análisis complejo. Dicho resultado resuelve dos características aparentemente contradictorias de las integrales de contorno cuando f es una función fija pero el contorno γ, a lo largo del que se integrará a f, puede cambiar. Por una parte, es posible modificar el contorno γ de forma bastante drástica sin efecto en la integral, por ejemplo, reemplazando un contorno simple por un contorno no simple a trozos. Por otra parte, si cambiamos un contorno semicircular en el semiplano superior del plano complejo C, que une a 1 y 1, por un contorno semicircular en el semiplano inferior de C, que une a 1 y 1, tenemos que el resultado de la integral de f(z)=z1 a lo largo de dichos contornos cambia completamente. Entonces, a través del teorema integral de Cauchy nos será posible explicar estas dos características y concluir que lo que realmente importa es el número de vueltas que un contorno γ da alrededor de los puntos que se encuentran fuera del dominio de f.

El teorema integral de Cauchy-Goursat establece que dentro de ciertos dominios la integral de una función analítica a lo largo de un contorno cerrado simple es cero. Una extensión de este teorema nos permitirá reemplazar integrales sobre ciertos contornos complicados con integrales sobre contornos que son fáciles de evaluar.

En esta entrada abordaremos una versión local del teorema integral de Cauchy para discos abiertos, la cual nos permitirá obtener un resultado general de dicho teorema.

Recordemos el siguiente resultado visto en nuestros cursos de Cálculo.

Teorema 36.1. (Teorema de Green.)
Sea C una curva de clase C1, cerrada, simple y orientada positivamente, tal que es la frontera de una región DR2. Si P,Q:DR son dos funciones reales de clase C1, entonces:
CPdx+Qdy=D(QxPy)dxdy.

Procedemos a enunciar una primera versión del teorema integral de Cauchy para rectángulos.

Teorema 36.2. (Primera versión del Teorema Integral de Cauchy.)
Sean UC un conjunto abierto, f:UC una función de clase C1 y RU un rectángulo cerrado con frontera R orientada positivamente. Entonces:
Rf(z)dz=0.

Demostración. Dadas las hipótesis, sea f(z)=u(x,y)+iv(x,y).

De la definición 17.2 se tiene que f es de clase C1 si y solo si u,u:UR son dos funciones reales de clase C1. Más aún, por el teorema 17.1 se cumple que las funciones u y v satisfacen las ecuaciones de C-R, por ser f una función analítica en U. Entonces, para dz=dx+idy, por la observación 34.3 y el Teorema de Green, se tiene que:
Rf(z)dz=R(udxvdy)+iR(vdx+udy)=R(vxuy)dxdy+iR(uxvy)dxdy=R(uyuy)dxdy+iR(uxux)dxdy=0.

◼

Bajo la hipótesis adicional de que f(z) es continua para todo zU, la demostración de esta primera versión del Teorema de Cauchy es clara. Aunque el Teorema de Green fue establecido hasta 1828, fue Augustin Cauchy quien en 1814 demostró por primera vez el teorema 36.1, bajo la hipótesis adicional de continuidad sobre f, utilizando una formulación equivalente a la establecida en el Teorema de Green.

Observación 36.1.
Más adelante probaremos que las derivadas de una función analítica son también funciones analíticas y por tanto continuas, proposición 16.1, entonces la hipótesis de continuidad sobre f resulta redundante e innecesaria.

Procedemos ahora a probar una versión local del Teorema integral de Cauchy para discos.

Teorema 36.3. (Teorema Integral de Cauchy-Goursat para discos.)
Sean r>0, z0C un punto fijo y f:B(z0,r)C una función analítica en el disco abierto B(z0,r). Entonces:
γf(z)dz=0,para cualquier contorno cerrado γ en B(z0,r).

Demostración. Dadas las hipótesis, sea z0=x0+iy0 el centro del disco B(z0,r), ζ=x+iyB(z0,r) cualquier punto y f(z)=u(x,y)+iv(x,y). De acuerdo con la proposición 35.2 basta con probar que existe una primitiva de f en B(z0,r).

Sea γ1 el contorno dado por el segmento de recta vertical que une a z0 con x0+iy seguido del segmento de recta horizontal que une a x0+iy con ζ, es decir, γ1:=[z0,x0+iy]+[x0+iy,ζ]. Análogamente, definimos al contorno γ2 dado por el segmento de recta horizontal que une a z0 con x+iy0 seguido del segmento de recta vertical que une a x+iy0 con ζ, es decir, γ2:=[z0,x+iy0]+[x+iy0,ζ], figura 134.

Es claro que el contorno γ=γ2+(γ) es un contorno cerrado y coincide con la frontera R del rectángulo RB(z0,r) con vértices z0,x+iy0,ζ,x0+iyB(z0,r). Por lo que, del lema de Goursat y la proposición 34.2, tenemos que:
0=Rf(z)dz=z0x+iy0f(z)dz+x+iy0ζf(z)dz+ζx0+iyf(z)dz+x0+iyz0f(z)dz=γ2f(z)dz+γ1f(z)dz.

Es decir:
γ2f(z)dz=γ1f(z)dz=γ1f(z)dz.

Figura 134: Rectángulo cerrado RB(z0,r).

Considerando lo anterior definimos a la función:
F(z):=γ1f(z)dz=γ2f(z)dz.

Veamos que F es una primitiva de f en B(z0,r).

Como en los segmentos [z0,x+iy0] y [x0+iy,ζ] el término imaginario es constante, entonces podemos parametrizar a dichos segmentos, respectivamente, como:
β1(t)=t+iy0,t[x0,x],β2(t)=t+iy,t[x0,x].

Análogamente, en los segmentos [z0,x0+iy] y [x+iy0,ζ] el término real es constante, por lo que podemos parametrizar a dichos segmentos, respectivamente, como:
β3(t)=x0+it,t[y0,y],β4(t)=x+it,t[y0,y].

Entonces, de la definición 34.1 y la proposición 33.1, se sigue que:
F(z)=γ1f(z)dz=β1f(z)dz+β4f(z)dz=x0xf(t+iy0)dt+iy0yf(x+it)dt=x0xu(t+iy0)dt+ix0xv(t+iy0)dty0yv(x,t)dt+iy0yu(x,t)dt.

Por el primer Teorema Fundamental del Cálculo tenemos que:
F(z)y=yx0xu(t+iy0)dt+iyx0xv(t+iy0)dtyy0yv(x,t)dt+iyx0xu(x,t)dt=0+i0v(x,y)+iu(x,y)=i[u(x,y)+iv(x,y)]=if(z).

Procediendo de manera análoga tenemos que:
F(z)=β2f(z)dz+β3f(z)dz,de donde:
F(z)x=f(z).

Tenemos que:
0=f(z)f(z)=F(z)x+iF(z)y,es decir, si F(z)=U(x,y)+iV(x,y), entonces:
Ux=Vy,Uy=Vx,por lo que U y V satisfacen las ecuaciones de C-R. Más aún, como f es analítica en B(z0,r), en particular es continua, por lo que Ux,Uy,Vx y Vy son continuas, es decir, F es una función de clase C1(B(z0,r)), entonces por el teorema 18.1 tenemos que F es una función analítica en B(z0,r) tal que:
F(z)=F(z)x=iF(z)y=f(z),zB(z0,r),es decir, F es una primitiva de f en B(z0,r), por lo que de la proposición 35.2 se sigue que:
γf(z)dz=0,para cualquier contorno cerrado γ en B(z0,r).

◼

Ejemplo 36.1.
Evaluemos la integral:
γezz216dz,donde γ describe a la circunferencia C(0,2) orientada positivamente y recorrida una vez.

Solución. Es claro que la función:
f(z)=ezz216,es analítica en D=C{4,4} y en particular es analítica en el disco abierto B(0,3)D.

Por otra parte, tenemos que el contorno cerrado C(0,2), parametrizado por γ(t)=2eit, con t[0,2π], está completamente contenido en el disco B(0,3), figura fig:f135, por lo que del teorema 36.3 se sigue que:
γezz216dz=0.

Figura 135: Contorno cerrado C(0,2) completamente contenido en el disco B(0,3).

Ejemplo 36.2.
Veamos que
0cos(t2)dt=0sen(t2)dt=2π4.

Solución. Es claro que ambas integrales son integrales reales impropias, por lo que debemos probar que:
limr0rcos(t2)dt=limr0rsen(t2)dt=2π4.

Dado que eit2=cos(t2)+sen(t2), basta probar que:
limr0ret2dt=(1+i)2π4,y tomar la parte real e imaginaria para obtener el resultado.

Sea f(z)=eiz2. Definimos al contorno cerrado γ=γ1+γ2γ3, firgura 136, donde:
γ1(t)=t,t[0,r]γ3(t)=teiπ/4,t[0,r],γ2(t)=reit,t[0,π/4].

Figura 136: Contorno γ=γ1+γ2γ3 del ejemplo 36.2.

Tenemos que f es una función entera, por lo que es analítica en cualquier disco abierto, en particular si consideramos al disco abierto B(0,R), con 0<r<R, entonces es claro que el contorno γ está completamente contenido en B(0,R), por lo que del Teorema Integral de Cauchy-Goursat, para discos y de la proposición 34.2, se sigue que:
0=γeiz2dz=γ1eiz2dz+γ2eiz2dzγ3eiz2dz,por lo que:
0reit2dt=γ1eiz2dz=γ3eiz2dzγ2eiz2dz(36.1)=(1+i)220ret2dtγ2eiz2dz.

Por el ejemplo 34.11 sabemos que:
|γ2eiz2dz|π(1er2)4r,por lo que, tomando el límite cuando r tenemos que:
|γ2eiz2dz|=0,γ2eiz2dz=0.

Entonces, tomando el límite cuando r en (36.1) tenemos que:
limr0reit2dt=(1+i)22limr0ret2dt.

De nuestros cursos de Cálculo sabemos que:
0et2dt=π2,por lo que:
0eit2dt=limr0reit2dt=(1+i)22π2=(1+i)2π4.

Por último, tomando la parte real e imaginaria de esta última igualdad tenemos el resultado.

Teorema 36.4. (Teorema Integral de Cauchy-Goursat generalizado para discos.)
Sean r>0, z0C un punto fijo, z1,z2,,znB(z0,r), D:=B(z0,r){z1,z2,,zn} y f:DC una función analítica en D tal que:
limzzj(zzj)f(z)=0,para todo j=1,,n. Entonces:
γf(z)dz=0,para cualquier contorno cerrado γ en D que no pasa por los puntos z1,z2,,zn.

Demostración. Dadas las hipótesis, es suficiente con probar el caso para un único punto z1B(z0,r) en el cual f no es analítica y proceder por inducción.

De manera similar a la prueba anterior, basta mostrar que existe una primitiva de f en D=B(z0,r){z1}. Para ello tomamos a ζD y consideramos al contorno poligonalγ que une al centro z0 del disco abierto B(z0,r) con ζ, considerando segmentos de recta verticales y horizontales, sin pasar por z1 y definimos a dicha primitiva como la función:
F(z)=γf(z)dz,la cual está bien definida pues B(z0,r) es poligonal conexo, entonces el contorno poligonal γ siempre existe. Solo basta considerar la ubicación del punto z1B(z0,r) al definir a γ. Si z1 no cae en las rectas x=x0 y y0, entonces bastan tres segmentos de recta para unir a z0=x0+iy0 con el punto ζz1, en tal caso es fácil mostrar, de la misma manera que antes, que Fy(z)=if(z) y Fx(z)=f(z) utilizando el lema de Goursat generalizado y concluir que F es una primitiva de f en D, por lo que el resultado se sigue de la proposición 35.2.

Por último, si z1 cae en alguna de las rectas x=x0 ó y=y0, basta con fijar otro punto de inicio de γ, distinto del centro del disco B(z0,r), en la definición de F y volver a plantear el análisis anterior.

◼

Observación 36.2.
Notemos que el resultado anterior es equivalente a pedir que f sea analítica en B(z0,r){z1,z2,,zn}, con z1,z2,,znB(z0,r), y continua en B(z0,r).

Corolario 36.1.
Sean r>0, z0C un punto fijo, [a,b]R, con a<b, un intervalo cerrado, f:B(z0,r)C una función analítica en el disco abierto B(z0,r), ζB(z0,r) y γ:[a,b]B(z0,r) un contorno cerrado que no pasa por ζ. Entonces:
f(ζ)γdzzζ=γf(z)zζdz.

Demostración.Dadas las hipótesis, sea ζB(z0,r), como f es analítica en el disco abierto B(z0,r), en particular lo es en ζ, por lo que:
limzζf(z)f(ζ)zζ=f(ζ).

Considerando lo anterior definimos a la función:
g(z)={f(z)f(ζ)zζsizζ,f(ζ)siz=ζ.

Claramente g es una función analítica en B(z0,r){ζ} y continua en ζ, por lo que:
limzζ(zζ)g(z)=0.

Entonces, por el Teorema de Cauchy generalizado tenemos que:
0=γg(z)dz=γf(z)f(ζ)zζdz=γf(z)zζdzγf(ζ)zζdz=γf(z)zζdzf(ζ)γdzzζ.

Por lo que:
f(ζ)γdzzζ=γf(z)zζdz, para cualquier contorno cerrado γ en B(z0,r) que no pasa por ζ.

◼

Lema 36.1.
Sean [a,b]R, con a<b, γ:[a,b]C un contorno y φ:CC una función que está definida y es continua en los puntos del contorno, es decir, en γ([a,b]). Para cada nN+ se define a la función:
Fn(z):=γφ(ζ)(ζz)ndζ,zγ([a,b]).

Entonces, cada función Fn es analítica en Cγ([a,b]) y Fn(z)=nFn+1(z), lo cual implica que cada Fn tiene derivadas analíticas de todos los órdenes.

Demostración. Dadas las hipótesis, primero procedemos a verificar que cada función Fn es continua. Sea z0D:=Cγ([a,b]) fijo. Como [a,b]R es compacto y la función γ es continua, entonces, proposición 10.9, γ([a,b]) es compacto, por lo que, proposición 10.10, γ alcanza su valor mínimo, entonces definimos a r:=mint[a,b]|γ(t)z0|>0. Análogamente, como γ([a,b]) es compacto y φ es continua en dicho conjunto, entonces su imagen también es un conjunto compacto, en particular es un conjunto acotado, es decir, existe M>0 tal que |φ(ζ)|M para todo ζγ([a,b]).

Recordemos la factorización:
xnyn=(xy)(xn1+xn2y++xyn2+yn1).

Entonces:
1(ζz)n1(ζz0)n=[1ζz1ζz0][1(ζz)n1+1(ζz)n2(ζz0)++1(ζz)(ζz0)n2+1(ζz0)n1]=(zz0)[1(ζz)n(ζz0)+1(ζz)n1(ζz0)2++1(ζz)2(ζz0)n1+1(ζz)(ζz0)n].

Multiplicando por φ(ζ) e integrando a lo largo de γ, en ambos lados de la igualdad anterior, tenemos que:
Fn(z)Fn(z0)=(zz0)γ[φ(ζ)(ζz)n(ζz0)++φ(ζ)(ζz)(ζz0)n]dζ=(zz0)γk=0n1φ(ζ)(ζz)nk(ζz0)k+1dζ(36.3)=(zz0)k=0n1γφ(ζ)(ζz)nk(ζz0)k+1dζ,donde zB(z0,r/2) y ζγ([a,b]). Por lo que |zz0|<r/2, r/2<r|ζz0| y r/2<|ζz|, entonces:
|φ(ζ)(ζz)nk(ζz0)k+1|<M(2r)n+1,para cada 0kn1.

Por lo tanto, para ε>0, tomando δ<r/2 se tiene que si |zz0|<δ, entonces podemos acotar a (36.3) mediante la proposición 34.3(5) y la desigualdad del triángulo, es decir:
|Fn(z)Fn(z0)|=|zz0||k=0n1γφ(ζ)(ζz)nk(ζz0)k+1dζ||zz0|k=0n1|γφ(ζ)(ζz)nk(ζz0)k+1dζ||zz0|k=0n1γ|φ(ζ)(ζz)nk(ζz0)k+1dζ|<δk=0n1M(2r)n+1γ|dz|=nδM(γ)(2r)n+1.

Por lo que, para:
δ:=min{r2,εrn+1nM(γ)2n+1},se tiene que si |zz0|δ, entonces |Fn(z)Fn(z0)|<ε, por lo que Fn es una función continua.

Dividiendo en ambos lados de la igualdad (36.3) por zz0, tenemos que:
Fn(z)Fn(z0)zz0=k=0n1γφ(ζ)(ζz)nk(ζz0)k+1dζ=k=0n1γφ(ζ)(ζz0)(k+1)(ζz)nkdζ.

Dado que z0γ([a,b]), entonces para cada 0kn1, la función:
φ(ζ)(ζz0)(k+1),es continua. Por lo tanto, de la primera parte de la prueba tenemos que la función:
h(z)=γφ(ζ)(ζz0)(k+1)(ζz)nkdζ,es una función continua para cada 0kn1. Entonces:
Fn(z0)=limzz0Fn(z)Fn(z0)zz0=limzz0k=0n1γφ(ζ)(ζz0)(k+1)(ζz)nkdζ=k=0n1γlimzz0φ(ζ)(ζz0)(k+1)(ζz)nkdζ=k=0n1γφ(ζ)(ζz0)n+1dζ=k=0n1γφ(ζ)(ζz0)n+1dζ=nγφ(ζ)(ζz0)n+1dζ=nFn+1(z0).

◼

Definición 36.1. (Índice de un contorno cerrado respecto a un punto.)
Sean [a,b]R, con a<b, un intervalo cerrado, γ:[a,b]C un contorno cerrado y z0Cγ([a,b]), es decir, z0C es un punto que no está en el contorno γ. Se define al índice de γ con respecto de z0 como:
n(γ,z0)=12πiγdzzz0.

Proposición 36.1.
Sean [a,b]R, con a<b, un intervalo cerrado, γ:[a,b]C un contorno cerrado y z0Cγ([a,b]). Entonces:
(36.3)γ1zz0dz=2πki,para algún kZ. Es decir, la integral (36.3) es un múltiplo entero de 2πi.

Demostración. Dadas las hipótesis, por la definición 34.1 tenemos que:
h(z):=γ1zz0dz=abγ(t)γ(t)z0dt.

Considerando lo anterior definimos a la función híbrida F:[a,b]C como:
F(x):=axγ(t)γ(t)z0dt,axb.

Por construcción es claro que F es una función continua en [a,b] y que F(a)=0 y F(b)=h(z). Veamos que F(b)=2πki, para algún kZ.

Dado que γ es continua en [a,b], salvo quizás en un número finito de puntos, entonces F es diferenciable en los puntos de continuidad de γ y su derivada está dada por el Teorema Fundamental del Cálculo:
(36.4)F(x)=γ(x)γ(x)z0,para los puntos donde γ existe.

Sea G:[a,b]C la función híbrida dada por:
G(t)=eF(t)[γ(t)z0],atb.

Por construcción tenemos que G es también continua en [a,b]. Más aún, para cada t[a,b] donde γ es continua, por (36.4) y como γ(a)=γ(b)z0, tenemos que:
G(t)=eF(t)γ(t)F(t)eF(t)[γ(t)z0]=eF(t)(γ(t)F(t)[γ(t)z0])=eF(t)(γ(t)γ(t)γ(t)z0[γ(t)z0])=eF(t)[γ(t)γ(t)]=0.

Lo anterior nos dice que G es una función constante en cada subintervalo donde γ existe y como G es continua entonces G es una función constante en [a,b], por lo que G(a)=G(b), es decir:
eF(a)[γ(a)z0]=eF(b)[γ(b)z0].

Dado que F(a)=0 y γ(a)=γ(b)z0, tenemos que:
eF(b)=1,lo cual implica, por la proposición 20.2(10), que para algún kZ:
F(b)=2πki.

Entonces:
2πki=F(b)=h(z)=γ1zz0dz,para algún kZ.

◼

Corolario 36.2.
El índice de un contorno cerrado γ respecto a un punto z0 es un número entero.

Demostración. Es inmediato de la definición de n(γ,z0) y la proposición 36.1.

◼

Observación 36.3.
Claramente f(z)=1zz0 es una función analítica en D:=C{z0}. Si pudiéramos encontrar una función analítica F:DC tal que F(z)=f(z) para todo zD, entonces tendríamos que n(γ,z0)=0 para toda curva cerrada γ en D, que no pase por z0. Sin embargo, de acuerdo con el ejemplo 34.1 y la proposición 35.3 sabemos que f no tiene primitiva en D, por lo que n(γ,z0)0 para toda curva cerrada γ en D, que no pase por z0.

Para continuar, en este punto es importante introducir el siguiente resultado, el cual intuitivamente es claro, pero cuya demostración es bastante complicada y se escapa de los objetivos de estas notas, por lo que en el curso lo tomaremos como válido, aunque puede consultarse una prueba formal de este hecho en:

  • Complex Analysis: The Argument Principle in Analysis and Topology, de Alan F. Beardon.
  • An Introduction to Classical Complex Analysis, de Robert B. Burckel.

Teorema 36.5. (Teorema de la curva de Jordan.)
Los puntos en cualquier contorno cerrado simple CC son la frontera de dos dominios distintos, uno de los cuales es el interior de C, denotado por I, y está acotado. El otro, es el exterior de C, denotado por E, y no es acotado. En tal caso, IEC es igual al plano complejo C.

Ejemplo 36.3.
Sean r>0 y z0C un punto fijo. Consideremos a los conjuntos disjuntos S1={zC:|zz0|<r} y S2={zC:|zz0|>r}, los cuales son abiertos en C. Geométricamente es claro que la circunferencia C(z0,r)={zC:|zz0|=r} es un contorno cerrado simple y los puntos en C(z0,r) son la frontera de S1 y S2. El interior de C(z0,r) es S1, el cual es un conjunto acotado y el exterior de C(z0,r) es S2, el cual es un conjunto no acotado.

Observación 36.4.
Por la proposición 10.9 sabemos que al ser [a,b]R, con a<b, un conjunto compacto y γ:[a,b]C una trayectoria, es decir, γ es una función continua en [a,b], entonces la curva γ([a,b]) en el plano complejo, es un conjunto compacto, es decir, una curva en C es un conjunto cerrado y acotado. Entonces el conjunto U=Cγ([a,b]) es un conjunto abierto no vacío, por lo que, ejercicio 9 de la entrada 10, podemos ver a U como la unión disjunta numerable de dominios, correspondientes con las componentes conexas de U.

El siguiente lema enuncia algunas de las propiedades clave del índice de un contorno.

Lema 36.2.
Sean γ un contorno cerrado en el plano complejo y U=Cγ([a,b]). Se cumplen las siguientes propiedades.

  1. n(γ,z) permanece constante conforme z toma valores en cualquiera de las componentes conexas de U.
  2. n(γ,z)=0 para cualquier z en la componente no acotada de U.
  3. Si γ es simple, entonces n(γ,z)=1 ó n(γ,z)=1, para todo z en la componente acotada de U.

Demostración. Dadas las hipótesis, únicamente probaremos las primeras dos propiedades. La última afirmación está sustentada en el teorema de la curva de Jordan y por lo extenso de su prueba la omitiremos, pero se puede consultar una prueba detallada en An Introduction to Complex Function Theory, de Bruce P. Palka.

  1. Sea φ:γ([a,b])C dada por:
    φ(ζ)=12πi.Por lo que, del lema 36.1 para n=1 y la definición 36.1, tenemos que:
    n(γ,z)=γ1ζzdζ,es una función analítica, de z, en U, cuya derivada está dada por:
    n(γ,z)=γ1(ζz)2dζ.Por otra parte, si fijamos a zC, entonces la función:
    f(ζ)=1(ζz)2,es una función analítica, de ζ, en C{z} y tiene como primitiva, en dicho conjunto, a la función:
    F(ζ)=1ζz.Si zU, entonces γ es un contorno cerrado en C{z}, por lo que del TFC para integrales de contorno, proposición 35.1, para zU tenemos que:
    γ1(ζz)2dζ=γf(ζ)dζ=0.Por lo que n(γ,z)=0 en U, entonces de la proposición 19.2 concluimos que n(γ,z) es una función constante en cada componente de U.
  2. Sea r>0 tal que el conjunto compacto γ([a,b]) está contenido en el disco abierto B(0,r). Tenemos que el conjunto CB(0,r) es un subconjunto conexo de U, entonces por la proposición 10.6(1) se cumple que dicho conjunto conexo está contenido en alguna componente conexa D de U. Notemos que la componente conexa D es la única componente no acotada de U, ya que todas las demás componentes claramente subconjuntos de B(0,r).

    Como el punto z0=2rD y la función f(ζ)=(ζz0)1 es analítica en B(0,r), por el teorema (local) integral de Cauchy, teorema 36.3, tenemos que:
    n(γ,z0)=12πiγ1ζzdζ=0.Entonces, por el inciso anterior tenemos que n(γ,z)=0 para todo zD.

◼

Observación 36.5.
De acuerdo con lo anterior, el índice de un contorno n(γ,z0) tiene una interpretación geométrica clara, ya que nos dice el número de vueltas que el contorno cerrado γ le da al punto z0 y su signo está determinado por la orientación del contorno, es decir, si γ tiene orientación positiva entonces n(γ,z0) es positivo, mientras que si γ tiene orientación negativa entonces n(γ,z0) es negativo.

Más aún, si el contorno cerrado γ es simple y el punto z0 está en el interior de γ, entonces n(γ,z0)=1, mientras que si z0 está fuera del contorno entonces n(γ,z0)=0.

Motivados en lo anterior establecemos la siguiente definición, la cual es consistente con el teorema de la curva de Jordan.

Definición 36.2. (Interior de un contorno cerrado simple.)
Sean [a,b]R, con a<b, y γ:[a,b]C un contorno cerrado simple en C. Se define al interior de γ como el conjunto:
I(γ):={zC:n(γ,z)0}.

Algunas de las propiedades más elementales del índice de un contorno están dadas en la siguiente:

Proposición 36.2. (Propiedades del índice de un contorno.)
Sean [a,b]R, con a<b, y γ,β:[a,b]C dos contornos cerrados en C con el mismo punto inicial. Se cumplen las siguientes propiedades.

  1. n(γ,z)=n(γ,z), para todo zCγ([a,b]).
  2. n(γ+β,z)=n(γ,z)+n(β,z), para todo zC(γ([a,b])β([a,b])).
  3. n(γ,z)=n(γ,z), para todo zCγ([a,b]).
  4. n(a\gamma+b,az+b) = n(\gamma,z),paratodoz\in\mathbb{C}\setminus\gamma([a,b]),cona\neq 0yb$ dos constantes.

Demostración. Se deja como ejercicio al lector.

◼

Ejemplo 36.4.
Sean r>0 y z0C un punto fijo. Consideremos a la circunferencia C(z0,r) y al disco abierto B(z0,r).

a) Sea γ:[0,2π]C dada por γ(t)=z0+reit, es decir, γ parametriza a la circunferencia C(z0,r) positivamente. Si zB(z0,r), entonces por el lema 36.2(1), la definición 36.1 y el ejemplo 34.1(a) tenemos que:
n(γ,z)=n(γ,z0)=12πiγ1ζz0dζ=12πi2πi=1.

Más aún, por el lema 36.2(2), tenemos que si zCB(z0,r), entonces n(γ,z)=0.

b) Sea γ:[0,2π]C dada por γ(t)=z0+reit, es decir, γ parametriza a la circunferencia C(z0,r) negativamente. Si zB(z0,r), entonces por el lema 36.2(1), la definición 36.1 y la definición 34.1 tenemos que:
n(γ,z)=n(γ,z0)=12πiγ1ζz0dζ=12πi02πγ(t)γ(t)z0dt=12πi02πireitz0+reitz0dt=i2πi02πdt=i2πi2π=1.

Del lema 36.2(2), se sigue que para zCB(z0,r), se cumple que n(γ,z)=0.

c) Sea γ:[0,2πn]C, con nN+, dada por γ(t)=z0+reit, es decir, γ parametriza a la circunferencia C(z0,r) positivamente, pero la recorre n-veces. Si zB(z0,r), entonces por el lema 36.2(1), la definición 36.1 y la definición 34.1 tenemos que:
n(γ,z)=n(γ,z0)=12πiγ1ζz0dζ=12πi02πnγ(t)γ(t)z0dt=12πi02πnireitz0+reitz0dt=i2πi02πndt=i2πi2πn=n.

Más aún, por el lema 36.2(2), tenemos que si zCB(z0,r), entonces n(γ,z)=0.

De acuerdo con los resultados previos, estamos listos para establecer una de las primeras consecuencias del teorema integral de Cauchy generalizado, para discos, mediante el cual podremos obtener una representación fundamental de una función analítica.

Proposición 36.3. (Fórmula integral de Cauchy para discos.)
Sean r>0, z0C un punto fijo, f:B(z0,r)C una función analítica en el disco abierto B(z0,r) y γ un contorno cerrado en B(z0,r). Entonces:
n(γ,z)f(z)=12πiγf(ζ)ζzdζ,para todo zB(z0,r)γ([a,b]).

Demostración. Dadas las hipótesis, fijamos un punto zB(z0,r)γ([a,b]). Definimos a la función:
g:B(z0,r)C, como:
g(ζ)={f(ζ)f(z)ζzsiζz,f(z)siζ=z,donde ζ es una variable independiente.

Es claro que g es una función analítica en B(z0,r){z}. Más aún, como f es analítica en B(z0,r), entonces:
limζzg(ζ)=limζzf(ζ)f(z)ζz=f(z)=g(z),es decir, g es continua en z, por lo que:
limζz(ζz)g(ζ)=0.

Como z no está en el contorno cerrado γ, del teorema 36.4 y la definición 36.1, tenemos que:
0=γg(ζ)dζ=γf(ζ)f(z)ζzdζ=γf(ζ)ζzdζγf(z)ζzdζ=γf(ζ)ζzdζ2πin(γ,z)f(z),es decir:
n(γ,z)f(z)=12πiγf(ζ)ζzdζ.Dado que zB(z0,r)γ([a,b]) es arbitrario, entonces se tiene el resultado.

◼

Observación 36.6.
Un aspecto importante de la fórmula integral de Cauchy es que para un punto zC para el cual n(γ,z)0, podemos expresar el valor de la función f(z) de manera explícita en términos de los valores de f que se encuentran en el contorno γ, a cierta distancia de z.

La aplicación más usual de la fórmula integral de Cauchy se tiene para el caso en que n(γ,z)=1, ya que bajo dicha condición se tiene que:
f(z)=12πiγf(ζ)ζzdζ.

Ejemplo 36.5.
Evaluemos la integral:
γeπzz3+zdz,donde γ parametriza positivamente a la circunferencia C(0,2).

Solución. Primeramente parametrizamos a la circunferencia C(0,2) como γ(t)=2eit, con 0t2π.

Aplicando fracciones parciales tenemos que:
eπzz3+z=eπzzeπz2(zi)eπz2(z+i).

Notemos que para todo zB(0,2), por el ejemplo 36.4(a), se cumple que:
n(γ,z)=n(γ,0)=1.

Sea f(z)=eπz. Claramente f es una función entera, por lo que para r>2, se cumple que C(0,2)B(0,r) y f es analítica en B(0,r). Entonces, de la fórmula integral de Cauchy para discos, como 0,i,iB(0,2)B(0,r), tenemos que:
γeπζζdζ=γeπζζ0dζ=2πin(γ,0)f(0)=2πi(1)(e0)=2πi.
γeπζ2(ζi)dζ=12γeπζζidζ=2πin(γ,i)f(i)2=2πi(1)(eiπ)2=πi.
γeπζ2(ζ+i)dζ=12γeπζζ+idζ=2πin(γ,i)f(i)2=2πi(1)(eiπ)2=πi.

De la proposición 34.2(1) tenemos que:
γeπζζ3+ζdζ=γeπζζdζγeπζ2(ζi)dζγeπζ2(ζ+i)dζ=2πi(iπ)(iπ)=4πi.

Por lo que:
γeπzz3+zdz=4πi.

Ejemplo 36.6.
Veamos que:
γeiπz2z25z+2dz=2π3,donde γ es la circunferencia unitaria C(0,1), orientada positivamente.

Solución. Tenemos que γ(t)=eit, para 0t2π, parametriza a la circunferencia unitaria C(0,1), positivamente. Factorizando el denominador del integrando, tenemos que 2z25z+2=(2z1)(z2), es decir, z0=1/2 y z1=2 son las raíces de dicho polinomio complejo. Como 1/2 está en el interior de γ, por el lema 36.2(1) y el ejemplo 36.4(a), concluimos que:
n(γ,1/2)=n(γ,0)=1.

Sea f(z)=eiπzz2. Claramente f es analítica en D=C{2}, por lo que es analítica en B(0,2)D y γ está completamente contenida en D, entonces, por la fórmula integral de Cauchy (para discos), tenemos que:
γeiπz2z25z+2dz=γeiπz(2z1)(z2)dz=γf(z)2z1dz=12γf(z)z1/2dz=πin(γ,1/2)f(1/2)=πi(1)eiπ/2122=2π3.

Procedemos ahora a establecer una consecuencia de la fórmula integral de Cauchy, la cual nos deja ver claramente las diferencias entre el Cálculo Complejo y el Cálculo Real.

Proposición 36.4.
Sean UC un conjunto abierto y f:UC una función analítica en U. Entonces f también es analítica en U. En particular fC1(U).

Demostración. Dadas las hipótesis, basta probar que cada z0U es el centro de algún disco abierto D en el cual f es analítica, por lo que f(2)(z0)=(f)(z0) existe.

Sean z0U fijo y r>0 tal que B(z0,r)U. Fijamos a s tal que 0<s<r y definimos a D=B(z0,s). Por la fórmula integral de Cauchy para discos, aplicada al disco B(z0,r) y al contorno γ=D orientado positivamente, es decir, γ(t)=z0+seit, con 0t2π, tenemos que:
f(z)=12πiγf(ζ)ζzdζ,zD.

Del lema 36.2(1) se sigue que:
n(γ,z)=n(γ,z0)=12πi02πiseitseitdt=1,para todo zD.

Sea φ:γ([0,2π])C dada por:
φ(ζ)=f(ζ)2πi.

Del lema 36.1, aplicado a φ para el caso n=1, tenemos que:
F1(z)=12πiγf(ζ)ζzdζ=f(z),zD,por lo que:
f(z)=12πiγf(ζ)(ζz)2dζ,para todo zD. Aplicando el lema 36.1, para el caso n=2, tenemos que:
f(z)=F1(z)=F2(z),donde F2 es una función analítica en Cγ([0,2π]). Por lo tanto, f es analítica en DCγ([0,2π]).

Como z0U es arbitrario, entonces f es analítica en U.

Por último, dado que f es analítica en U, para f(z)=u(x,y)+iv(x,y), por el teorema 17.1 tenemos que existen las derivadas parciales ux,uy,vx y vy y satisfacen las ecuaciones de C-R en U, es decir:
f(z)=fx=ify,y como f es analítica en U, en particular es continua en U, por lo que las derivadas parciales ux,uy,vx y vy son continuas en U y por tanto fC1(U).

◼

Corolario 36.3.
Sean UC un conjunto abierto y f:UC una función analítica en U. Entonces f es indefinidamente diferenciable en U y todas las derivadas f,f(2),,f(k),, también son funciones analíticas en U. En particular fC(U).

Demostración. Se sigue del resultado anterior al aplicar inducción, por lo que los detalles se dejan como ejercicio al lector.

◼

Proposición 36.5. (Fórmula integral de Cauchy para derivadas, en discos.)
Sean [a,b]R, con a<b, un intervalo cerrado, z0C fijo, r>0, f:B(z0,r)C una función analítica en el disco abierto B(z0,r) y γ:[a,b]B(z0,r) un contorno cerrado en B(z0,r). Entonces, para todo nN:
n(γ,z)f(n)(z)=n!2πiγf(ζ)(ζz)n+1dζ,para todo zB(z0,r)γ([a,b]).

Demostración. Dadas las hipótesis, procedemos por inducción sobre n. Para n=0 tenemos que f(0)=f, por lo que el resultado se sigue de la fórmula integral de Cauchy (para discos), proposición 36.3, para toda función analítica en B(z0,r). Supongamos que el resultado se cumple para algún nN fijo. Verifiquemos que el resultado se cumple para n+1.

Como f es analítica en B(z0,r), por la proposición 36.4, tenemos que f también es analítica en B(z0,r). Sea zB(z0,r)γ([a,b]) fijo, entonces por hipótesis de inducción, aplicada a f, tenemos que:
(36.5)n(γ,z)f(n+1)(z)=n(γ,z)(f)(n)(z)=n!2πiγf(ζ)(ζz)n+1dζ.

Sea g:B(z0,r){z}C dada por:
g(ζ)=f(ζ)(ζz)n+1.

Es claro que g es analítica en B(z0,r){z} y su derivada es:
g(ζ)=f(ζ)(ζz)n+1(n+1)f(ζ)(ζz)n+2.

Notemos que g es una función continua en B(z0,r){z} y tiene como primitiva a g, por lo que del TFC para integrales de contorno, proposición 35.1, y la proposición 34.2(1), tenemos que:
0=γg(ζ)dζ=γf(ζ)(ζz)n+1dζ(n+1)γf(ζ)(ζz)n+2dζ,es decir:
(36.6)γf(ζ)(ζz)n+1dζ=(n+1)γf(ζ)(ζz)n+2dζ.

Entonces, de (36.5) y (36.6) se sigue que:
n(γ,z)f(n+1)(z)=n!2πiγf(ζ)(ζz)n+1dζ=n!2πi(n+1)γf(ζ)(ζz)n+2dζ=(n+1)!2πiγf(ζ)(ζz)n+2dζ.

Dado que zB(z0,r)γ([a,b]) es arbitrario y f una función arbitraria, analítica en B(z0,r), entonces para todo nN y zB(z0,r)γ([a,b]) se cumple que:
n(γ,z)f(n)(z)=n!2πiγf(ζ)(ζz)n+1dζ.

◼

Ejemplo 36.7.
Sea B(z0,r)C un disco abierto y f:B(z0,r)C una función analítica en dicho disco. Si γ es un contorno cerrado contenido en B(z0,r) y ζ es un punto en el interior de γ veamos que:
1n!γf(n)(z)zζdz=γf(z)(zζ)n+1dz.

Solución. Como la función f es analítica en B(z0,r), entonces f(n) es analítica B(z0,r). Por la fórmula integral de Cauchy tenemos que:
n(γ,ζ)f(n)(ζ)=12πiγf(n)(z)zζdz.

Por otra parte, de la fórmula integral de Cauchy para derivadas tenemos que:
n(γ,ζ)f(n)(ζ)=n!2πiγf(z)(zζ)n+1dz.

Entonces:
1n!γf(n)(z)zζdz=γf(z)(zζ)n+1dz.

Ejemplo 36.8.
Veamos que:
γez2(zi)4dz=4π3e,donde γ es la circunferencia C(0,2) con orientación positiva.

Solución. Tenemos que γ(t)=2eit, para 0t2π, parametriza a la circunferencia C(0,2), positivamente. Como i está en el interior de γ, por el lema 36.2(1) y el ejemplo 36.4(a), concluimos que:
n(γ,i)=n(γ,0)=1.

Sea f(z)=ez2. Claramente f es una función entera, por lo que en particular es analítica en cualquier disco abierto B(0,r), con r>2. Utilizando las reglas de derivación tenemos que:
f(3)(z)=(12z+8z3)ez2.

Como γ está completamente contenida en el disco abierto B(0,r), con r>2, entonces, por la fórmula integral de Cauchy para derivadas (en discos), tenemos que:
γez2(zi)4dz=2πi3!n(γ,i)f(3)(i)=πi3(1)[12i+8i3]ei2=πi3e(4i)=4π3e.

Tarea moral

  1. Determina el valor de las siguientes integrales, donde cada circunferencia está orientada positivamente.
    a) C(0,1)(z2+2z)1dz.
    b) C(i,3/2)(z4+z2)1dz.
  2. Sea b>0. Muestra que:
    et2cos(2bπt)dt=πeb2π2.
    Hint: Considera la integral:
    Rez2dz,donde R es el rectángulo con vértices en c,c,c+bπi y c+bπi, para c>0.
  3. Evalúa las siguientes integrales, donde cada circunferencia está orientada positivamente.
    a) C(0,1)Log(z+e)z1dz.
    b) C(0,2)ez(z+1)2dz.
  4. Muestra que:
    0t1sen(t)dt=π2.
    Hint: Considera la integral:
    γz1eizdz,,donde el contorno de integración está dado por γ=[s,r]+γr+[r,s]γs, para 0<s<r<, γr(t)=reit y γs(t)=seit, ambas con t[0,π].
  5. Para kN+, define:
    Ik:=γksen(z)zdz,donde γk(t)=et+it, para t[2πk,2πk]. Determina el limkIk.
    Hint: Usa el ejercicio anterior.
  6. Demuestra la proposición 36.2.
  7. Sea γ=γ1+γ2+γ3, donde γ1(t)=eit, con 0t2π, γ2(t)=1+2e2it, con 0t2π y γ3(t)=1i+eit, con π/2t9π/2. Determina todos los valores que toma n(γ,z) para zCγ.

Más adelante…

En esta entrada hemos probado algunos resultado importantes sobre las integrales de contorno como el Teorema Fundamental del Cálculo para el caso complejo y el lema de Goursat, que como veremos nos permitirá probar el Teorema de Cauchy para el caso en que se tiene un contorno cerrado arbitrario.

En la siguiente entrada probaremos algunas versiones del Teorema integral de Cauchy y abordaremos algunas de sus consecuencias más importantes, como la Fórmula Integral de Cauchy, el Teorema de Liouville, el Teorema Fundamental del Álgebra, entre otros. Además veremos un recíproco del Teorema de Cauchy conocido como el Teorema de Morera.

Entradas relacionadas

Variable Compleja I: Teorema integral de Cauchy versión homótopica

Por Pedro Rivera Herrera

Introducción

Dos de las nociones básicas de la topología son la de homotopía y homología. La relación de homotopía describe las características topológicas de dos espacios topológicos en términos de familias de contornos que varían continuamente. Mientras que la homología es una propiedad topológica de un dominio DC, la cual se puede definir en términos de propiedades de contornos en D. Los dos conceptos están relacionados, pero son diferentes.

La versión local del teorema integral de Cauchy, dada en el Teorema 36.3, enfatiza la topología del dominio y cómo el camino se encuentra dentro de él. Para mejorar nuestra comprensión de este hecho, examinamos estas cuestiones topológicas con más detalle. En esta entrada lo haremos de dos maneras: mediante el concepto de homotopía y de homología, para ello consideramos deformaciones continuas de un contorno γ, dada por la noción topológica de homotopía.

Como veremos, tanto el concepto de homotopía como el de homología formalizan la idea de que un dominio DC tiene «agujeros», y el hecho de que la integral a lo largo de un contorno γ depende de cómo se recorre dicho contorno en el dominio D, en relación con estos agujeros. Sin embargo, ambos conceptos lo hacen de forma diferente, aunque relacionada. La homotopía es más fácil para visualizar y geométricamente bastante natural, mientras que la homología es algebraicamente más simple. En esta entrada reformularemos el teorema integral de Cauchy desde estos dos conceptos y extenderemos la versión local del teorema de Cauchy a dominios en el plano complejo C más generales.

El enfoque que tomamos en esta entrada se basa en el concepto geométrico de deformación de contornos. Por ejemplo, si γ0 describe a la semicircunferencia en el semiplano superior de C que va de 1 a 1, es decir, orientada positivamente, entonces:
γ0(t)=eit,t[0,π].

Por otra parte, si γ1 describe a la semicircunferencia en el semiplano inferior de C que va de 1 a 1, es decir, orientada negativamente, entonces:
γ1(t)=eit,t[0,π].

Geométricamente es fácil visualizar que podemos deformar a γ0 en γ1 por un desplazamiento vertical, figura 138.

Podemos formalizar lo anterior de forma analítica considerando a la función:
γs(t)=(1s)eit+seit,donde t[0,π] y s[0,1].

Entonces, γ0 y γ1 son dos contornos semicirculares y el contorno γs varía continuamente conforme s varía continuamente de 0 a 1.

Sin embargo, si los contornos no deben pasar por el origen, por ejemplo al considerar a la función f(z)=z1, tenemos que f es continua en D=C{0}, pero para γ1/2, si t=π/2, entonces dicho contorno pasa por el origen, es decir, puede haber contornos en D cuya deformación pase por el origen, como es el caso de la deformación γs. De hecho, se puede verificar que no existe ninguna deformación continua de γ0 en γ1 sin que algún contorno intermedio pase por el origen.

Entonces, el origen se vuelve un obstáculo para deformar el contorno, y cualquier intento de hacerlo hace que el camino γs pase por el origen. Es decir, el origen crea un agujero y el contorno no puede cruzar el agujero.

Figura 138: Deformación continua del contorno γ0 en el contorno γ1.

Primeramente formalizamos lo que es una homotopía en el plano complejo C.

Definición 38.1.(Homotopía.)
Sean [a,b]R, con a<b, un intervalo cerrado, DC un dominio y γ0,γ1:[a,b]D dos contornos. Una homotopía entre γ0 y γ1 es una función continua:
H:[a,b]×[0,1]D,tal que:
H(t,0)=γ0(t),t[a,b],H(t,1)=γ1(t),t[a,b].

Cuando existe tal homotopía, se dice que γ0 y γ1 son homotópicas en D, lo cual se denota como γ0Dγ1.

Observación 38.1.
Si γs(t):=H(t,s), entonces, para cada s[0,1] fijo, γs es un contorno en D, el cual deforma continuamente a γ0 en γ1, conforme s varía continuamente de 0 a 1.

Nuestro objetivo es aplicar esta definición de homotopía a la integración compleja al considerar qué sucede con γf(z)dz cuando permitimos que el contorno γ varíe continuamente, por lo que resulta preciso establecer condiciones bajo las cuales γ puede deformarse continuamente sin cambiar la integral.

Una definición precisa de estas homotopías es motivado por los siguientes tres supuestos:

  • Si z0 y z1 son puntos en un dominio DC, γ0 y γ1 son dos contornos en D que unen a z0 con z1. Es, decir, γ0 y γ1 tienen como punto inicial a z0 y como punto final a z1. Entonces, es posible deformar continuamente a γ0 para que coincida con γ1, manteniendo los extremos fijos en z0 y z1, sin salir de D.
  • Si γ0 y γ1 son dos contornos cerrados en un dominio DC, es posible deformar continuamente a γ0 para que coincida con γ1, en posición y orientación, sin salir de D.
  • Si γ0 es un contorno cerrado en un dominio DC, es posible deformar continuamente a γ0 a un punto z0D, sin salir de D. Esta situación es un caso particular del anterior, cuando el γ1(t)=z0 para todo t, es decir, se degenera en un punto.

En cualquier caso las deformaciones deben mantener al contorno dentro del dominio DC donde la función f es analítica.

Motivados en lo anterior, planteamos las siguientes definiciones.

Definición 38.2. (Homotopía con extremos fijos.)
Sean [a,b]R, con a<b, un intervalo cerrado, DC un dominio, γ0,γ1:[a,b]D dos contornos tales que γ0(0)=γ1(0)=z0D y γ0(1)=γ1(1)=z1D. Se dice que γ0 es {\bf homótopica con extremos fijos} a γ1 si existe una función continua:
H:[a,b]×[0,1]D,tal que:

  1. H(t,0)=γ0(t),t[a,b],
  2. H(t,1)=γ1(t),t[a,b],
  3. H(a,s)=z0,s[0,1],
  4. H(b,s)=z1,s[0,1].

La función continua H se llama una homotopía con extremos fijos o una deformación continua con extremos fijos.

Observación 38.2.
Si γs(t):=H(t,s), entonces, para cada s[0,1] fijo, γs es un contorno en D que une a z0 con z1. Conforme s varía continuamente de 0 a 1, el contorno γs deforma continuamente a γ0 en γ1.

Ejemplo 38.1.
Sean D={zC:|z|<2}=B(0,2), γ0(t)=t y γ1(t)=eiπ/2(t1), ambas con t[1,1]. Veamos que γ0 es homotópica con extremos fijos a γ1.

Solución. Sea z0=1 y z1=1. De acuerdo con la definición 38.2 solo basta con exhibir una función continua H:[1,1]×[0,1]D que satisfaga las cuatro propiedades.

Sea H:[1,1]×[0,1]D dada por:
H(t,s)=(1s)γ0(t)+sγ1(t),(t,s)[1,1]×[0,1].

Separando a H en su parte real e imaginaria, por la proposición 15.1, es claro que H es continua ya que γ0 y γ1 son continuas. Más aún, para todo t[1,1] se cumple que H(t,0)=γ0(t) y H(t,1)=γ1(t). Mientras que para todo s[0,1] se cumple que:
H(1,s)=(1s)(1)+s(eiπ)=1+s+s(1)=1=z0.
H(1,s)=(1s)(1)+s(e0)=1s+s(1)=1=z1.

Por lo tanto γ0 es homotópica con extremos fijos a γ1, figura 139.

Figura 139: Homotopía con extremos fijos del contorno γ0 en el contorno γ1, en el dominio D.

Definición 38.3. (Homotopía de contornos cerrados y homotopía a un punto.)
Sean [a,b]R, con a<b, un intervalo cerrado, DC un dominio, γ0,γ1:[a,b]D dos contornos cerrados en D. Se dice que γ0 y γ1 son {\bf homótopicas como contornos cerrados}, si existe una función continua:
H:[a,b]×[0,1]D,tal que:

  1. H(t,0)=γ0(t),t[a,b],
  2. H(t,1)=γ1(t),t[a,b],
  3. H(a,s)=H(b,s),s[0,1].

La función continua H se llama una homotopía de contornos cerrados o una deformación continua de contornos cerrados.

Si γ1 es un contorno constante, es decir, γ1(t)=z0 para todo t[a,b] y z0D, entonces se dice que γ0 es homotópica a un punto z0 en el dominio D.

Observación 38.3.
Si γs(t):=H(t,s), entonces, para cada s[0,1] fijo, γs es un contorno cerrado en D, para todo s[0,1]. Conforme s varía continuamente de 0 a 1, el contorno γs deforma continuamente a γ0 en γ1.

Más aún, si γ0 es homotópica a un punto z0D, la tercera condición de la definición 38.3 establece que el punto inicial de H(0,s) y el punto final de H(1,s) son el mismo.

Ejemplo 38.2.
Veamos que la circunferencia unitaria y la elipse x24+y2=1, ambas orientadas positivamente, son homotópicas como curvas cerradas en la región anular:
D1={zC:12<|z|<3}.

Mientras que la circunferencia unitaria es homotópica a 0 en el dominio D2=B(0,3).

Solución. Podemos parametrizar a la circunferencia y a la elipse, respectivamente, como:
γ0(t)=eityγ1(t)=2cos(t)+isen(t),t[0,2π].

Para la primera parte del ejercicio proponemos a la función H1:[0,2π]×[0,1]D1 dada por:
H1(t,s)=(1+s)cos(t)+isen(t).

Dado que γ0 y γ1 son funciones continuas, entonces H1 es continua.

Por otra parte, es claro que para todo t[0,2π] se cumple que H1(t,0)=γ0(t) y H1(t,1)=γ1(t). Mientras que para todo s[0,1] tenemos que:
H1(0,s)=1+s=H1(2π,s),por lo que γ0 y γ1 son homotópicas como curvas cerradas en D1, figura 140.

Figura 140: Homotopía de los contornos cerrados γ0 y γ1, en el dominio D1.

Para la segunda parte del ejercicio, consideramos a γ1(t)=0, para todo t[0,2π]. Proponemos a la función H2:[0,2π]×[0,1]D1 dada por:
H2(t,s)=(1s)γ0(t).

Claramente H2 es continua. Además, para todo t[0,2π] se cumple que H2(t,0)=γ0(t) y H2(t,1)=γ1(t). Mientras que para todo s[0,1] tenemos que:
H2(0,s)=(1s)(1)=H2(2π,s),por lo que γ0 es homotópica a 0 en D2, figura 141.

Figura 141: Homotopía del contorno cerrado γ0 en 0, en el dominio D2.

Considerando lo anterior, ahora podemos formalizar la idea de un dominio DC sin agujeros o sin hoyos.

Definición 38.4. (Dominio simplemente conexo y múltiplemente conexo.)
Sea DC un dominio, es decir, un conjunto abierto y conexo. Se dice que D es simplemente conexo si toda curva cerrada en D es homotópica (como una curva cerrada) a un punto en D, es decir, a alguna curva constante en D.

Si D no es simplemente conexo, entonces se llama múltiplemente conexo. Un dominio múltiplemente conexo con n agujeros u hoyos, se llama (n+1)-conexo.

Ejemplo 38.3.
a) C es un dominio simplemente conexo.
b) Sea r>0 y z0C fijo. Todo disco abierto B(z0,r) es un dominio simplemente conexo. Mientras que todo disco perforado B(z0,r)={zC:0<|zz0|<r} es un dominio doblemente conexo.
c) La región anular {zC:1<|z|<2} es un dominio doblemente conexo.

En este punto es importante considerar los siguientes resultados de nuestros cursos de Cálculo.

Teorema 38.1. (Igualdad de las derivadas parciales cruzadas.)
Si UR2 es un conjunto abierto y u:UR es una función real de clase C2(U), entonces las derivadas parciales cruzadas son iguales, es decir:
2uyx=2uxy.

Teorema 38.2. (Regla de Leibniz o de diferenciación bajo el signo de integral.)
Sean [a,b],[c,d]R2, con a<b y c<d, dos intervalos cerrados y f:[a,b]×[c,d]R una función continua en [a,b]×[c,d]. Entonces la función real g:[a,b]R dada por:
g(x)=cdf(x,y)dy,es continua en [a,b]. Más aún, si la derivada parcial fx existe y es continua en [a,b]×[c,d], entonces g es diferencibale en [a,b], con g continua y dada por:
g(x)=ddxcdf(x,y)dy=cdfx(x,y)dy.

  • Observación 38.4.
  • A lo largo de esta cuarta unidad hemos trabajado con contornos para garantizar que las curvas a lo largo de las cuales integramos sean funciones continuas de clase C1 o de clase C1 a trozos. Sin embargo, notemos que en las definiciones 38.1, 38.2 y 38.3 solo se pidió que la función H, que determina a la homotopía, sea una función continua, pero no se estableció nada sobre su diferenciabilidad, por lo que las curvas γs(t)=H(t,s), con s[0,1], sobre las que se integra a una función compleja, no necesariamente tienen que ser de clase C1 o de clase C1 a trozos, sino que simplemente son funciones continuas, por lo que es importante considerar esta pequeña sutileza, ya que la prueba que daremos del siguiente resultado considerará este supuesto adicional sobre la diferenciabilidad de las curvas γs. Una prueba completa, sin este supuesto adicional, se escapa de los objetivos de estas notas, pero puede consultarse en los siguientes textos:
  • Complex Analysis de Ian Stewart, David Tall.
  • Functions of One Complex Variable I de John B. Conway.
  • Complex Analysis with Applications de Nakhlé H. Asmar, Loukas Grafakos.

Teorema 38.3. (Teorema integral de Cauchy, versión homotópica.)
Sean [a,b]R, con a<b, un intervalo cerrado, DC un dominio, f:DC una función analítica en D y γ0,γ1:[a,b]D son dos contornos en D.

  1. Si γ0 y γ1 son dos contornos que unen a z0,z1D y son homotópicas (con extremos fijos) en D, entonces:
    γ0f(z)dz=γ1f(z)dz.
  2. Si γ0 y γ1 son dos contornos cerrados y son homotópicas (como contornos cerrados) en D, entonces:
    γ0f(z)dz=γ1f(z)dz.

Demostración. Dadas las hipótesis, sea H:[a,b]×[0,1]D una homotopía entre γ0 y γ1. Como se mencionó en la observación 38.4, adicionalmente suponemos que H(t,s) es una función de clase C2([a,b]×[0,1]).

Para cada s[0,1] fijo, definimos al contorno γs(t):=H(t,s), para t[a,b]. Sea I(s) la integral de f a lo largo del contorno γs, es decir:
I(s):=γsf(z)dz=abf(γs(t))γs(t)dt=abf(H(t,s))H(t,s)tdt.

Veamos que I(s) es una función constante, para ello determinamos su derivada. Por hipótesis sabemos que f es una función analítica en D, en particular es continua en D y como H(t,s) es una función de clase C2, en particular para cada s[0,1], γs(t) es un contorno en D, entonces I(s) es una función bien definida y en particular continua en [0,1], teorema 38.2.

Por la proposición 36.4 sabemos que fC1(D), ya que f es analítica en D, por lo que f es una función continua en D y para cada s[0,1] fijo, el contorno γs está completamente contenido en D, entonces, de la regla de la cadena y la regla de Leibniz, tenemos que:
I(s)=ddsabf(H(t,s))H(t,s)tdt=abs[f(H(t,s))H(t,s)t]dt(38.1)=ab[f(H(t,s))H(t,s)sH(t,s)t+f(H(t,s))2H(t,s)st]dt.

Notemos que:
t[f(H(t,s))H(t,s)s]=f(H(t,s))H(t,s)sH(t,s)t+f(H(t,s))2H(t,s)st,y como H es de clase C2, entonces por el teorema 38.1 se cumple que:
2H(t,s)ts=2H(t,s)st,es decir:
(38.2)t[f(H(t,s))H(t,s)s]=f(H(t,s))H(t,s)sH(t,s)t+f(H(t,s))2H(t,s)ts.

Entonces, de (38.1), (38.2) y la proposición 33.2, se sigue que:
I(s)=ab[f(H(t,s))H(t,s)sH(t,s)t+f(H(t,s))2H(t,s)st]dt=abt[f(H(t,s))H(t,s)s]dt(38.3)=f(H(b,s))H(b,s)sf(H(a,s))H(a,s)s.

De acuerdo con (38.3), tenemos lo siguiente.

  1. Si γ0 y γ1 son dos contornos que unen a z0,z1D y H es una homotopía (con extremos fijos) entre en γ0 y γ1, entonces:
    I(s)=f(H(b,s))H(b,s)sf(H(a,s))H(a,s)s=f(z1)z1sf(z0)z0s=0,para todo s[0,1].

    Por lo que, para todo s[0,1] tenemos que I(s) es una función constante, en particular tenemos que I(0)=I(1), es decir:
    γ0f(z)dz=γ1f(z)dz.
  2. Si γ0 y γ1 son dos contornos cerrados y H es una homotopía (como contornos cerrados) entre γ0 y γ1, entonces:
    I(s)=f(H(b,s))H(b,s)sf(H(a,s))H(a,s)s=f(H(b,s))H(b,s)sf(H(b,s))H(b,s)s=0,para todo s[0,1].

    Por lo que, para todo s[0,1] tenemos que I(s) es una función constante, en particular tenemos que I(0)=I(1), es decir:
    γ0f(z)dz=γ1f(z)dz.

◼

Corolario 38.1.
Sean [a,b]R, con a<b, un intervalo cerrado, DC un dominio, f:DC una función analítica en D y γ:[a,b]D un contorno cerrado en D. Si γ es homotópica a un punto en D, entonces:
γf(z)dz=0.

Demostración. Dadas las hipótesis, como γ es homotópica a un punto en z0D, es decir, a una curva constante β(t)=z0 para todo t[a,b], entonces:
γf(z)dz=βf(z)dz=abf(β(t))β(t)dt=abf(z0)(0)dt=0.

◼

El siguiente resultado generaliza el teorema integral de Cauchy para discos.

Corolario 38.2.
Sean DC un dominio simplemente conexo y f:DC una función analítica en D. Entonces:
γf(z)dz=0, para todo contorno γ cerrado en D.

Demostración. Dadas las hipótesis, consideremos al contorno cerrado γ:[a,b]RD, con a<b. Como el dominio D es simplemente conexo, entonces al ser γ un contorno cerrado en D, por definición es homotópica a un punto en z0D, es decir, a una curva constante β(t)=z0 para todo t[a,b], entonces:
γf(z)dz=βf(z)dz=abf(β(t))β(t)dt=abf(z0)(0)dt=0.

Como γ es arbitraria, el resultado se cumple para todo contorno cerrado en D.

◼

Corolario 38.3.
Sean DC un dominio simplemente conexo y f:DC una función analítica en D. Las siguientes condiciones son equivalentes.

  1. f tiene una primitiva F en D.
  2. Si γ0 y γ1 son dos contornos en D con los mismos puntos inicial y final, entonces:
    γ0f(z)dz=γ1f(z)dz.

Demostración. El resultado se sigue del corolario 38.2 y la proposición 35.2.

◼

Observación 38.5.
Notemos que la primitiva F de la función f, en el corolario 38.3(1) es:
F(z)=γzf(ζ)dζ,donde γz es el contorno en D que une a un punto fijo z0D con zD.

Ejemplo 38.4.
Evaluemos la integral:
C(0,2)ezz29dz,donde la circunferencia C(0,2) está orientada positivamente.

Solución. Parametrizamos a la circunferencia C(0,2) como γ(t)=2eit, para t[0,2π].

Sea f(z)=ezz29. Es claro que f es analítica en D=C{3,3}. Dado que C(0,2)D, entonces no pasa por los puntos donde f no es analítica, por lo que, del ejemplo 38.2 concluimos que γ es homotópica a 0D, figura 142, entonces:
γezz29dz=0.

Figura 142: Homotopía del contorno cerrado γ en el punto 0, en el dominio D.

Proposición 38.1. (Extensión del teorema de Cauchy para dominios múltiplemente conexos.)
Sean C,C1,C2,,Cn contornos cerrados simples, orientados positivamente, tales que cada contorno Ck está en el interior de C, para k=1,,n y el interior de Ck no tiene puntos en común con el interior de Cj, si kj, es decir, I(Ck)I(Cj)= para todo kj. Sea DC un dominio tal que D contiene a todos los contornos y la región entre C y C1+C2++Cn. Si f:DC es una función analítica en D, entonces:
Cf(z)dz=k=1nCkf(z)dz.

Demostración. Dadas las hipótesis, por simplicidad solo probaremos el caso para dos contornos cerrados simples, orientados positivamente. La prueba del caso general es completamente análoga y se deja como ejercicio al lector.

Nos apoyaremos en la figura 143 para la prueba. Debe ser claro que los contornos utilizados han sido elegidos para simplificar la gráfica, aunque el resultado sigue siendo válido para cualesquiera contornos que satisfagan las condiciones del resultado.

La prueba consiste en construir dos contornos disjuntos o cortes, digamos L1 y L2, que unen a C1 con C. Así, el contorno C1 será dividido en dos contornos C1 y C1, mientras que el contorno C será dividido en dos contornos C y C, como se muestra en la figura 144. Entonces tenemos dos nuevos contornos:
K1=C1+L1+CL2yK2=C1+L2+CL1.

Figura 143: Dominio D que contiene a los contornos cerrados simples C y C1 y a la región entre ellos.

Figura 144: Los cortes L1 y L2 y los contornos cerrados simples K1 y K2.

Es claro que el dominio D es doblemente conexo, mientras que los nuevos dominios D1 y D2 son simplemente conexos y los contornos K1 y K2 son cerrados simples, orientados positivamente y cada uno está contenido en los dominios D1 y D2. respectivamente. Por hipótesis la función f es analítica en el dominio D=D1D2, por lo que f|D1 y f|D2 también son analíticas.

Aplicando el corolario 38.2, tenemos que:
K1f(z)dz=0yK2f(z)dz=0.

Por la proposición 34.2 tenemos que:
K1f(z)dz=C1+L1+CL2f(z)dz=C1f(z)dz+L1f(z)dz+Cf(z)dz+L2f(z)dz=C1f(z)dz+L1f(z)dz+Cf(z)dzL2f(z)dz.
K2f(z)dz=C1+L2+CL1f(z)dz=C1f(z)dz+L2f(z)dz+Cf(z)dz+L1f(z)dz=C1f(z)dz+L2f(z)dz+Cf(z)dzL1f(z)dz.

Por lo que:
0=K1f(z)dz+K2f(z)dz=C1f(z)dz+Cf(z)dzC1f(z)dz+Cf(z)dz=C+Cf(z)dzC1+C1f(z)dz=Cf(z)dzC1f(z)dz.

Entonces:
Cf(z)dz=C1f(z)dz.

◼

Proposición 38.2. (Extensión de la fórmula integral de Cauchy para dominios simplemente conexos.)
Sean DC un dominio simplemente conexo, f:DC una función analítica en D y C un contorno cerrado simple, orientado positivamente, tal que está completamente contenido en D. Si z0 es un punto en el interior de C, entonces:
f(z0)=12πiCf(z)zz0dz.

Demostración. Dadas las hipótesis, como f es analítica en D, en particular es continua en z0D que está en el interior de C, por lo que dado ε>0 existe δ>0 tal que si |zz0|<δ, entonces |f(z)f(z0)|<ε.

Notemos que la circunferencia γ dada por C(z0,δ/2), orientada positivamente, también está en el interior de C.

Dado que f(z0) es un valor fijo, entonces por el ejemplo 34.1(a) tenemos que:
f(z0)=f(z0)2πiγ1zz0dz=12πiγf(z0)zz0dz.

Por el corolario 38.3(2) tenemos que:
12πiγf(z)zz0dz=12πiCf(z)zz0dz.

Entonces, de la proposición 34.2(1) y la proposición 34.3(5), tenemos que:
|12πiCf(z)zz0dzf(z0)|=|12πiγf(z)zz0dz12πiγf(z0)zz0dz|=|12πiγf(z)f(z0)zz0dz|12πγ|f(z)f(z0)||zz0||dz|<12πεδ/2γ|dz|=12πεδ/2δπ=ε.

Dado que ε>0 es arbitrario, entonces:
|12πiCf(z)zz0dzf(z0)|=0f(z0)=12πiCf(z)zz0dz.

◼

Ejemplo 38.5.
Evaluemos la integral:
γ5z2z2zdz,donde γ es el contorno cerrado dado en la figura 145.

Solución. Sea f(z)=5z2z2z. Claramente f es analítica en D=C{0,1}, ya que en z1=0 y en z2=1 el denominador de la función racional se anula. Si consideramos a dos circunferencias con centro en z1 y z2, de radio suficientemente pequeño para caer dentro del contorno γ y las orientamos positivamente, entonces por la proposición 38.1 tenemos que:
γf(z)dz=γ1f(z)dz+γ2f(z)dz.

Aplicando fracciones parciales tenemos que:
5z2z2z=2z+3z1.

Por lo que:
γ5z2z2zdz=γ1(2z+3z1)dz+γ2(2z+3z1)dz=2γ11zdz+3γ11z1dz+2γ21zdz+3γ21z1dz=2(2πi)+0+0+3(2πi)=10πi.

Figura 145: Contornos γ, γ1 y γ2 en D.

Ejemplo 38.6.
Veamos que:
γezz1dz=i2πe, donde γ es la circunferencia C(0,2) orientada positivamente.

Solución. Sea f(z)=ez. Claramente f es una función entera, γ está completamente contenido en C y z0=1 es un punto en el interior de γ, entonces por la fórmula integral de Cauchy tenemos que:
e=f(1)=12πiγezz1dz,de donde el resultado se sigue al multiplicar por 2πi la igualdad anterior.

Cerramos esta entrada mencionando algunos resultados relacionados con la versión homológica del teorema integral de Cauchy.

Definición 38.5. (Ciclo en C.)
A una sucesión finita de curvas cerradas suaves o suaves a trozos en C, se le llama un ciclo y se le denota como σ=(γ1,,γn). En un ciclo no importa el orden de las curvas cerradas, es decir, un ciclo es una secuencia finita, no ordenada, de contornos cerrados en C.

Ejemplo 38.7.
Dado que σ es una sucesión finita de contornos cerrados en C, entonces un contorno cerrado es un ciclo.

Observación 38.6.
Denotamos a la unión de las curvas que forman a un ciclo, es decir, al conjunto compacto:
γ1(I1)γ2(I2)γn(In),como |σ|, donde Ik es un intervalo real cerrado y γk(Ik) la imagen o la curva de dicho intervalo bajo el contorno γk, para 1kn. Entonces, diremos que un ciclo σ está en un conjunto SC si |σ|S.

Definición 38.6.
Sean UC un conjunto abierto, f:UC una función continua en U y σ un ciclo en U. Se define a la integral de f a lo largo del ciclo σ como:
σf(z)dz:=γ1f(z)dz+γ2f(z)dz++γnf(z)dz.

En particular, para zC|σ| se define el índice de σ respecto a z, es decir, n(σ,z), como:
n(σ,z)=12πiσdζζz.

Definición 38.7. (Ciclo homólogo a 0.)
Sean UC un conjunto abierto y σ un ciclo en U. Se dice que σ es como homólogo a 0 en U si n(σ,z)=0 para todo zCU.

Observación 38.7.
Dado que para zC|σ| se cumple que zCγk(Ik), para cada contorno cerrado γk que forma a σ, entonces:
n(σ,z)=n(γ1,z)+n(γ2,z)++n(γn,z).

Antes de continuar con el resultado esperado, podemos preguntarnos sobre ¿cuál es la relación del concepto de homología con el de homotopía? Específicamente podemos preguntarnos si ¿existe una relación entre ser un contorno homotópico a un punto y un contorno homólogo a 0? Para responder a esto tenemos la siguiente:

Proposición 38.3.
Sean [a,b]R, con a<b, un intervalo cerrado, DC un dominio y γ:[a,b]C un contorno cerrado en D. Si γ es homotópica a un punto z0D, entonces γ es homólogica a 0 en D.

Demostración. Dadas las hipótesis, como γ es homotópica a un punto z0D, es decir, a una curva constante β(t)=z0 para todo t[a,b], entonces, del teorema 38.3 y la definición 36.1, se cumple que:
n(γ,z)=12πiγdζζz=12πiβdζζz=abβ(t)β(t)zdt=0,para todo zCγ([a,b]).

◼

Teorema 38.4. (Teorema integral de Cauchy, versión homológica.)
Sean UC un conjunto abierto, f:UC una función analítica en U y σ un ciclo en U. Entonces:
σf(z)dz=0,si y solo si σ es homólogo a 0 en U.

Omitimos la prueba de este hecho, pero se puede consultar una prueba detallada en An Introduction to Complex Function Theory, de Bruce P. Palka, y una prueba parcial de este resultado en Notas para un curso de Variable Compleja I, de Oscar Palmas Velasco y Alberto Lazcano García.

Proposición 38.4. (Fórmula integral de Cauchy, versión homológica.)
Sean UC un conjunto abierto, f:UC una función analítica en U y σ un ciclo en U. Si σ es homólogo a 0 en U, entonces:
n(σ,z)f(z)dz=12πiσf(ζ)ζzdζ,para todo zU|σ|.

Demostración. Dadas las hipótesis, fijamos un punto zU|σ|. Definimos a la función:
g:UC,como:
g(ζ)={f(ζ)f(z)ζzsiζz,f(z)siζ=z,donde ζ es una variable independiente.

Es claro que g es una función analítica en U{z}. Más aún, como f es analítica en U, entonces:
limζzg(ζ)=limζzf(ζ)f(z)ζz=f(z)=g(z),es decir, g es continua en z, por lo que g es continua en U, entonces, por el teorema de Morera generalizado, tenemos que g es analítica en U.

Como z no está en ninguno de los contorno cerrados γk, que conforman al ciclo σ, del teorema 38.4 y la definición 38.6, tenemos que:
0=σg(ζ)dζ=σf(ζ)f(z)ζzdζ=σf(ζ)ζzdζσf(z)ζzdζ=σf(ζ)ζzdζ2πin(σ,z)f(z),es decir:
n(σ,z)f(z)=12πiσf(ζ)ζzdζ.

Dado que zU|σ| es arbitrario, entonces se tiene el resultado.

◼

Con los resultados previos podemos dar otra prueba del corolario 38.3.

Corolario 38.4.
Sean DC un dominio simplemente conexo y f:DC una función analítica en D. Entonces existe una primitiva de f en D.

Demostración. Dadas las hipótesis, sea γ un contorno cerrado en D. Como D es simplemente conexo, γ es homotópico a un punto z0D. Por la proposición 38.1 γ es homólogo a 0 en D y por el teorema 38.4 se cumple que:
(38.4)γf(z)dz=0.

Dado que γ es arbitraria, entonces (38.4) se cumple para todo contorno cerrado γ en D. Por lo tanto, de la proposición 35.2 sabemos que esto es equivalente a que exista una primitiva de f en D, es decir, una función analítica F:DC tal que F(z)=f(z) para todo zD.

◼

Teorema 38.5.
Sean DC un dominio. Si todo contorno cerrado en D es homólogo a 0, entonces D es simplemente conexo.

Tarea moral

  1. Sea DC un dominio. Muestra que D es una relación de equivalencia en el conjunto de contornos cerrados en D.
  2. Sean D=C{0} y γ:[π/2,π/2]D, el contorno dado por γ(t)=eit. Define de manera explícita dos contornos poligonales β1 y β2 en D, que unan a i y i, tales que:
    βf(z)dz=γf(z)dzse cumple para toda función analítica f en D, si β=β1, pero la igualdad no se cumple si β=β2.
  3. Sean r y R dos constantes positivas tales que 0<r<R. Define al contorno γr(t)=reit, para 0t2π. Muestra que:
    12πiγrR+z(Rz)zdz=1.Considerando lo anterior deduce que:
    12π02πR2r2R2+r22rRcos(t)dt=1.
  4. Si γ es la circunferencia C(i,1), orientada positivamente, muestra que:
    γ2zz2+2dz=2πi.
  5. Evalúa la integral:
    γ14z2+4z3dz,para los siguientes contornos orientados positivamente.
    a) γ es la circunferencia C(0,1).
    b) γ es la circunferencia C(3/2,1).
    c) γ es la circunferencia C(0,3).
  6. Sea D={zC:1/2<|z|<4}. Determina explícitamente una homotopía H(t,s) entre los contornos cerrados en D, orientados positivamente, dados por la elipse x24+y29=1, con punto inicial (2,0) y la circunferencia unitaria C(0,1), con punto inicial (1,0), ambos recorridos una sola vez.
  7. Sea γ(t)=1+i+2eit, para t[0,2π]. Evalúa las siguientes integrales.
    a) γ1z1dz.
    b) γ1(z3i)(z1)dz.
    c) γ1z2+9dz.
    d) γ1(zi)(z+i)dz.
  8. Muestra que:
    γsen(z)4z+πdz=2πi4,donde γ es la circunferencia unitaria C(0,1), orientada positivamente.

Más adelante…

En esta entrada hemos generalizado el teorema integral de Cauchy para dominios más generales que un disco abierto, para ello recurrimos a los conceptos topológicos de homotopía y homología. Además extendimos dicho resultado para dominios múltiplemente conexos, lo cual es de mucha utilidad al evaluar integrales.

En la siguiente entrada veremos algunos resultados muy importantes que relacionan los conceptos de diferenciabilidad e integrabilidad con las sucesiones y series de funciones complejas.

Entradas relacionadas

Geometría Moderna II: Inversión de un Teorema

Por Armando Arzola Pérez

Introducción

A lo largo de los teoremas vistos en geometría moderna se han demostrado y visto propiedades, pero gracias a la inversión se pueden deducir y demostrar nuevos teoremas de los ya vistos. A esto se le denomina Inversión de un Teorema.

Inversión de un Teorema y circunferencia de antisimilitud

Ejemplo. Dado un teorema referente a las alturas de un triángulo, se puede demostrar usando inversión y referente a circunferencias.
Sean Z y Z dos circunferencias que se intersecan en A y O, de O se tiene los diámetros OE de Z y OF de Z donde intersecan a Z en B y Z en C; Por lo cual el eje radical AO pasa por el centro de la circunferencia de los puntos O, B y C la cual llamaremos Z.

Usando el Teorema. El inverso de una circunferencia que pasa por el centro de inversión es una recta que no pasa por el centro de inversión: Por lo cual, usando O como centro de inversión, se tiene que los inversos de A, B y C son A, B y C respectivamente.
Las circunferencias Z, Z y Z se invierten en AB, AC y BC correspondientemente. Y las líneas AO, FO y EO se invierten en sí mismas por Teorema de inversión de línea que pasa por el centro de inversión. Se tiene la inversión:

Inversión de un Teorema imagen 2

Ahora como un diámetro interseca su circunferencia ortogonalmente, entonces BO y CO por la propiedad de conservación de ángulos en la inversión son las alturas del triángulo ABC, entonces AOBC.
Por lo tanto, AO Z entonces AO pasa por el centro de Z.

Circunferencia de Antisimilitud

Definición. La circunferencia de antisimilitud es una circunferencia respecto a la cual dos circunferencias son mutuamente inversas.

Recordemos dos propiedades:

  1. El centro de inversión de dos circunferencias inversas es el centro de similitud.
  2. Dado un par de puntos inversos son antihomologos con respecto al centro de similitud.

Teorema. Sean dos circunferencias de las cuales existen tres posibles casos (O y O centros de similitud).

Caso 1. Si se intersecan, entonces tienen dos circunferencias de antisimilitud tal que sus centros son los centros de similitud de las circunferencias dadas y que pasan por sus puntos de intersección.

Inversión de un Teorema Circunferencia de antisimilitud Caso1

Caso 2. Si no se intersecan (o son tangentes), entonces solo tienen una circunferencia de antisimilitud cuyo centro está en el centro de similitud exterior si las circunferencias son mutuamente excluyentes.

Inversión de un Teorema
Circunferencia de antisimilitud 
Caso 2.1
Inversión de un Teorema
Circunferencia de antisimilitud 
Caso 2.2

Caso 3. Si no se intersecan, entonces solo tiene una circunferencia de antisimilitud cuyo centro está en el centro de similitud interior si las circunferencias son internas una a la otra.

Inversión de un Teorema
Circunferencia de antisimilitud 
Caso 3

Lema. Una circunferencia C1 y dos puntos inversos respecto a ella los llamaremos S y S los cuales se invierten en una recta C1 y en dos puntos simétricos P y Q respecto a C1, cuando el centro de inversión es un punto A en C1.

Teorema. Dos circunferencias que no se intersecan se pueden invertir en dos circunferencias iguales.

Inversión de un Teorema
Circunferencia de antisimilitud 
Teorema

Demostración. Sean C1 y C1 circunferencias y C la circunferencia de antisimilitud de dichas circunferencias. Sea AC y sea C2 con centro A.
Las inversas de C1 y C1 respecto a C2 son dos circunferencias simétricas respecto al inverso de C (Por el Lema anterior).

◻

Más adelante…

Es hora de ver algunas construcciones respecto a la inversión.

Entradas relacionadas

Geometría Moderna II: Conservación de ángulos

Por Armando Arzola Pérez

Introducción

Ya analizado en el anterior tema, la inversión de rectas y circunferencias, es momento de ver como la inversión hace conservación de ángulos.

Conservación de ángulos y razón cruzada

Teorema. La inversión es una transformación, que preserva ángulos e invierte orientación.

Demostración. Para ello lo demostraré de dos maneras distintas:

1.º Forma

Conservación de Ángulos forma 1

Se tiene una circunferencia de inversión Co(O,r), A y B circunferencias que se intersecan, y sea P uno de los puntos de intersección, además se tiene P inversa de P.
Ahora construyamos la circunferencia C tangente a A en P y que pase por P, de igual forma se construye D tangente a B en P y que pase por P. Sea L1 recta tangente a A en P y de igual forma tangente a C en P, sea L2 recta tangente a B en P y es tangente a D en P, entonces el ángulo entre A y B es el mismo entre C y D.
Como C y D pasan por puntos inversos, entonces son ortogonales a Co la circunferencia de inversión, P y P son ortogonales entre A y B dos circunferencias inversas a A y B respectivamente, entonces se tiene que el ángulo entre A y B es el mismo entre A y B.
Por lo tanto, la inversión preserva ángulos e invierte orientación.

◻

2.º Forma

Conservación de Ángulos forma 2

Sean 2 curvas que se intersecan en P y PO. Tracemos una línea por OP y otra por O que corte a las curvas en Q y R, OQR colineales.
Se tiene que P, Q y R tienen inversos P, Q y R respectivamente, entonces las inversas de dichas curvas PQ y PR tendrán que intersecarse en P, Q y R respectivamente, ahora por definición de inversión OP×OP=OQ×OQ=OR×OR, por lo cual OPQOQP y también OPRORP, y si trazamos las secantes que corten a las curvas en P y P, y que pase por Q, R, Q y R, entonces

OPQ=PQO, OPR=PRO.

Y por lo cual QPR=RPQ y RPQ=RPQ, ahora si se tiene el límite cuando Q y R tienden a P, entonces Q y R tienden a P, por lo cual RPQ y RPQ tienden a ser los angulos límite de la intersección de las curvas.
Por lo tanto, los ángulos preservan la inversión en magnitud pero opuestos en signo.

◻

Observación. Es por ello que se dice que la inversión es una transformación isogonal.

Corolario. Si dos curvas son tangente una a la otra en P, sus inversas son tangentes una a la otra en P.

Conservación de ángulos 
Corolario 1

Corolario. Objetos ortogonales se invierten en objetos ortogonales.

Conservación de ángulos 
Corolario 2

Corolario. Rectas paralelas se invierten en circunferencias tangentes en el centro de inversión.

Conservación de ángulos 
Corolario 3

Teorema. Sea A una circunferencia y A su inversa, entonces son homotéticas desde el centro de inversión.

Conservación de ángulos

Inversión y Distancias

Teorema. Sean P y P puntos inversos y B un punto colineal a PP y que corta al círculo de inversión, entonces

BP=BP1+BP/r y BP=BP1BP/r.

Conservación de ángulos

Demostración. Se tiene que BP=rOP=rOP×OPOP, entonces por definición de inversión:

BP=rr2OP=rr2r+BP=r×BPr+BP=BP1+BP/r

BP=BP1+BP/r

Ahora

BP=OPr=OP×OPOPr=r2OPr=r2rBPr=r×BPrBP=BP1BP/r.

◻

Teorema. Sea C(O,r) una circunferencia de inversión y P y Q dos puntos con inversos P y Q respectivamente, entonces

PQ=r2×QPOP×OQ.

Conservación de ángulos

Demostración. Se tiene por definición de inversión: OP×OP=r2 y OQ×OQ=r2.

OP×OP=OQ×OQOPOQ=OQOPOQPOPQOPOQ=OQOP=QPPQOQOP=QPPQPQ=QP×OPOQPQ=QP×OP×OPOQ×OPPQ=r2×QPOQ×OP.

◻

Si P, Q y O son colineales, asumiendo OP<OQ.

Conservación de ángulos

Entonces OP×OP=OQ×OQ y PQ=OPOQ

PQ=OP×OPOP=r2OPr2OQ=r2(OQOPOP×OQ)=r2×PQOP×OQ.

◻

Teorema de Ptolomeo. Sea ABCD un cuadrilátero cíclico convexo, entonces

BC×BD=BC×AD+CD×AB.

Demostración. Sea una circunferencia de inversión C(A,r) y se tiene una circunferencia circunscrita del cuadrilátero cíclico. La circunferencia invierte los puntos en una línea, es decir, se tiene B inverso de B, C inverso de C y D inverso de D, los cuales forman la línea «L», se muestra:

Conservación de ángulos 
Teorema Ptolomeo

Entonces se maneja las distancias de la línea «L,setieneB’D’=B’C’+C’D’$ y por el teorema anterior:

BD=BD×r2AB×AD, BC=BC×r2AB×AC y CD=CD×r2AC×AD

BD×r2AB×AD=BC×r2AB×AC=CD×r2AC×AD

Entonces se cancelan las r2 y si nos fijamos en el denominador tenemos en comun AB, AD y AC. Por lo cual multiplicamos por AB×AD×AC

BD×AB×AD×ACAB×AD=BC×AB×AD×ACAB×AC=CD×AB×AD×ACAC×AD

Por lo tanto, AC×BD=BC×AD+CD×AB.

◻

Teorema de Feuerbach

Teorema. La circunferencia de los nueve puntos del triángulo es tangente al incirculo y a los tres excirculos.

Inversión
Teorema de Feuerbach

Demostración. Sea el triángulo ABC con CI el incirculo y CE el excirculo, sea BC la tangente a C1 y CE, se tiene otra tangente BC la cual es simétrica a BC con respecto a la bisectriz AI, de lo anterior se tienen tres cosas: CAB, BAC y A=BCBC.

Por otra parte, los puntos A y A son centros de homotecia de CI y CE respectivamente, entonces IE es dividido por A y A interna y externamente en razón de sus radios.

IAAE=IAAE=rrA

Entonces A y A son armónicos respecto a I y E. Trazamos perpendiculares E, I y A sobre BC y sus pies los llamamos Pe, Pi y Pa respectivamente, entonces los triángulos EPeAIPiAAPaA, entonces Pa y A son armonicos respecto a Pi y Pe.
Ahora sea MA punto medio de BC entonces también lo es de Pi y Pe, trazamos la circunferencia Z con centro MA y radio MAPi, entonces A y Pa son inversos respecto a Z

Por lo cual

PePi=BC2PiC=a2(sc)=cb.

Donde a es el lado opuesto al vértice A, de igual forma b es de B, c es de C y s es el semiperímetro.

Entonces el radio de z es de cb2 y MAMB=c/2.

Por lo cual S=BCMAMB.

MAS=MAMB+MBS=MAMBSMB, y MAMB paralelo a BA entonces BSMBBCA por lo cual sus lados son proporcionales SMBCA=MBBAB..

SMB=CA×BMBBA

Y como CA=CA y BA=BA entonces

SMB=CA×BMBBA=CA(BAMBA)BA=2bcb22c

MAS=MAMBSMB=c22bcb22c=(cb)22c.

Así,

MAS×MAMB=(cb)22c×c2=(cb2)2.

Y por lo cual S y MB son inversos respecto a la circunferencia Z con diámetro PiPe. El inverso de BC es una circunferencia que pasa por MA el centro de inversión y por Pa y MB. Como una circunferencia está determinada por tres puntos y la circunferencia de los nueve puntos cumple esto, entonces CN es la inversa de la recta BC con respecto a la circunferencia Z.
Pero el inverso de CI con respecto a Z es CI, al igual CE su inverso con respecto a Z es CE, ya que son ortogonales a Z; BC es tangente a CI y CE y como la inversión conserva ángulos se sigue que la circunferencia CN será tangente a las circunferencias CI y CE (De igual forma para los otros 2 excirculos).

◻

Teorema. La razón cruzada es invariante bajo inversiones.

Demostración. (Se debe de interpretar como la razón cruzada entre puntos colineales y rectas concurrentes).

Sea, C(O,r) circunferencia, A, B, C y D cuatro puntos colineales distintos de O, sus inversos A, B, C y D con respecto a C y a=OA, b=OB, c=OC y d=OD.

Inversión en razón cruzada

Ahora las razones cruzadas coinciden: O(ab,cd)=o(AB,CD).

Como la razón cruzada es una propiedad proyectiva y las inversiones respeten ángulos e invierten orientación.

o(AB,CD)=senAOCsenAOD×senDOBsenCOB=senAOCsenAOD×senDOBsenCOB=O(ab,cd).

◻

Más adelante…

Se verá como la inversión es una forma alterna de resolver problemas ya demostrados y más fáciles de ver, además se revisará un tema de importante, la circunferencia de antisimilitud.

Entradas relacionadas