Cauchy
Cauchy
Cauchy
Definición
Sea f (z) una funcíon analítica dentro y sobre la circunferencia de centro z0 y radio r, entonces
M n!
kf (n) (z0 )k ≤ n , ∀ n ≤ 0, donde M es una constante tal que kf (z)k ≤ M , ∀ z dentro de γ.
r
Demostración
n! f (z)dz
I
f (n) (z0 ) =
2πi γ (z − z0 )n+1
γ: z = z0 + reiθ , 0 ≤ θ ≤ 2π
n! kf (z)k
I
(n)
kf (z0 )k ≤ kdzk
2π γ kz − z0 kn+1
n!M n!M
≤ n+1
2πr = n
2πr r
(n) n!M
∴ kf (z0 )k ≤ n , ∀ n ≥ 0
r
Definición
Sea f(z) una funcíon analítica en C y f (z) es acotada, esto es kf (z)k ≤ M , ∀ z ∈ C, entonces
f (z) es constante.
Demostración
1 f (z)dz 1 f (z)dz
I I
f (a) − f (b) = −
2πi γ z − a 2πi γ z − b
1 f (z)(a − b)
I
= dz
2πi γ (z − a)(z − b)
1 kf (z)kka − bk
I
kf (a) − f (b)k ≤ kdzk
2πi γ kz − akkz − bk
M ka − bk kdzk
I
≤ ...(1)
2π γ kz − akkz − bk
Definición
I
Si f (z) es una funcíon continua en una regíon R simplemente conexa y si f (z)dz = 0, al-
γ
rededor de cada curva simple cerrada γ en R, entonces f (z) es analítica en R.
0.4. SALAZAR 3
Demostración
I
Como f (z)dz = 0, ∀ curva cerrada γ contenida en R, entonces la integral de f de z0 a z
γ
a lo largo de cualquier entorno Γ es independiente de Γ con tal que z0 , z y Γ están en R, es
decir:
Z z Z z
f (t)dt está definida y si z0 es fijo entonces F (z) = f (t)dt
z0 z0
Sea Vδ1 (z) una vencidad de z tal que Vδ1 (z) ⊂ R y z1 ∈ Vδ1 (z) entonces:
F (z1 ) − F (z) 1
Z z1 Z z
− f (z) = f (t)dt − f (t)dt − f (z)
z1 − z z 1 − z 0 z0 z0
Z z1 Z z1
1
= f (t)dt − f (z)dt
z1 − z z z
Z z1
1
= (f (t) − f (z))dt
z1 − z z
0.4. Salazar
Definición
Sea f (z) una función analítica dentro y sobre una curva simple y cerrada γ, f (z) 6= 0 den-
tro de γ entonces el mínimo de kf (z)k ocurre sobre γ.
Demostración
4
1
El máximo de k f (z) k ocurre sobre γ, esto es, existe un z1 ∈ C, tal que :
1 1
k k≤k k, ∀z ∈ C
f (z) f (z1 )
Definición
Sea f(z) analítica dentro y sobre una curva simple cerrada γ, excepto para un polo z = α
de multiplicidad p dentro de γ y que f (z) tiene un cero z = β de multiplicidad n dentro de γ
entonces: I 0
1 f (z)
dz = n − p
2πi γ f (z)
Demostración
En efecto
1 f 0 (z) 1 f 0 (z) 1 f 0 (z)
I I I
dz = dz + dz
2πi γ f (z) 2πi γ1 f (z) 2πi γ2 f (z)
con γ1 una curva simple cerrada en el interior de γ que encierra a z = β y γ2 una curva simple
cerrada en el interior de γ que encierra a z = α y disyuntas Como f(z) tiene un polo z = αde
multiplicidad p entonces
F (z)
f (z) =
(z − α)p
con F (z) analitica y diferente de cero dentro y sobre γ2 entonces tomando logaritmo en ambos
lados de la igualdad y derivando se obtiene que:
f 0 (z) F 0 (z) p
= −
f (z) F (z) z−α
por lo tanto
1 f 0 (z) 1 F 0 (z) 1 p
I I I
dz = dz − dz = 0 − p = −p
2πi γ2 f (z) 2πi γ2 F (z) 2πi γ2 z−α
donde G(z) es analítica y diferente de cero dentro y sobre γ1 entonces tomando logaritmo en
ambos lados de la igualdad y derivando se obtiene que:
f 0 (z) n G0 (z)
= +
f (z) z−β G(z)
0.7. APLICACIONES DEL TEOREMA DE CAUCHY 5
por lo tanto
1 f 0 (z) 1 n 1 G0 (z)
I I I
dz = dz + dz = n + 0 = n
2πi γ1 f (z) 2πi γ1 z−β 2πi γ1 G(z)
luego
1 f 0 (z) 1 f 0 (z) 1 f 0 (z)
I I I
dz = dz + dz = n − p
2πi γ f (z) 2πi γ1 f (z) 2πi γ2 f (z)
Sea f(z) una función analítica dentro y sobre una curva simple cerrada γ excepto para un ?
numero finito de polos dentro de γ. Suponga que f (z) es diferente de cero sobre γ . Si N y P
son el numero de ceros y el numero de polos dentro de γ, contando las multiplicidades entonces:
1 f 0 (z)
I
dz = N − P
2πi γ f (z)
Goursat fue el primero que pudo demostrar que la hipótesis “f 0 (z) continua sobre γ y su interior".
Z ∞ Z ∞
2
cos(x ) dx , sen(x2 ) dx
0 0
Para calcular estas integrales, nos apoyaremos en una función auxiliar de variable compleja,
2
f (z) = eiz que es analítica
I en todo plano complejo y por lo tanto se puede aplicar en Teorema
2
de Cauchy, es decir: eiz dz = θ , donde γ es cualquier curva cerrada y simple contenida en C.
γ
AB
d es el arco de la circunferencia de radio R y con centro en el origen de coordenadas.
π
BO es la bisectriz del primer cuadrante, entonces BO < (AOB) = , luego se tiene:
4
I Z Z Z
2 2 2 2
eiz dz = eiz dz + eiz dz + eiz dz
γ OA AB
c BO
Z Z R Z R
2
ahora calculamos una de las integrales denotaremos: I1 (R) = eiz dz = cos x2 dx + i sen x2 dx
OA 0 0
d : z = z(θ) = Reiθ , donde 0 ≤ θ ≤ π
AB
4
z 2 = R2 e2iθ = R2 (cos(2θ) + isen(2θ)) , 0 ≤ 2θ ≤ π2 , ademas dz = Rieiθ dθ
Z Z π
2 4 2 (cos(2θ)+isen(2θ))
I2 (R) = eiz dz = iR eiR eiθ dθ
AB
c 0
Para definir una sucesión en el plano imaginario, primero definimos el significado de una sucesión
en el plano real.
0.9. SUCESIÓN EN EL PLANO REAL 7
Introducción
1, 1, 2, 3, 5, 8, 13, ...
2, 4, 6, 8, 10, ...
1, 4, 9, 25, 36, ...
1, 1/2, 1/3, 1/4, ...
1, 10, 100, 1000, 10000, ...
1, −1, 1, −1, 1, ...
Lo importante acerca de una sucesión es que a cada número natural n le corresponde un punto
de R
Definición
Para 2 a2 = 1
1
Para 3 a3 =
2
1
Para 4 a4 =
3
Definición
Una sucesión {zn } es una función cuyo dominio es el conjunto de enteros positivos; en otras
palabras, a cada entero n = 1, 2 3 . . . se le asigna un número complejo zn .
8
A la sucesión compleja infinita z1 , z2 , ... denotaremos por {zv }n≥1 , zn ∈ C, ∀n ∈ N, donde "zn "se
llama enésimo término de la sucesión {zv }n≥1 o término general.
Otra manera de definir sucesiones es por medio de una relación de recurrencia.
o decreciente si:
Una sucesión se denomina monótona cuando es creciente o decreciente, y en estos casos se tiene
que la convergencia o divergencia se determina de manera sencilla
Información tomada de ? !
in+1
Ejemplo. Una sucesión dada por converge a 0, debido a que
n
in+1
lı́m =0 (2)
n→∞ n
0.11. SERIES EN EL PLANO COMPLEJO 9
Como se puede apreciar en la Figura 3,vemos que n va tomando los valores de 1, 2, 3, ... tal que
se observe la convergencia de la función.
Definición
Sea {zn }, una sucesión de número complejos, a la expresión siguiente z1 + z2 + ... + zn + ...,
llamaremos serie infinita de números complejos y que denotaremos por:
∞
X
zn = z1 + z2 + z3 + ... + zk + ... (3)
n=1
S1 = z1
S2 = z1 + z2
S3 = z1 + z2 + z3
..
.
n
X
Sn = z1 + z2 + z3 + ... + zn = zi (4)
i=1
10
∞
X
Si la sucesión Sn es convergente, es decir que lı́m Sn = S, se dice que la serie zn es conver-
n→∞
n=1
gente y su suma es:
∞
X
zn = S = lı́m Sn
n→∞
n=1
∞
X
Si la sucesión Sn es divergente, o sea @ lı́m Sn se dice que la serie zn es divergente y por lo
n→∞
n=1
∞
X n
X ∞
X
tanto carece de suma como zn = zi + zk = Sn + Rk .
n=1 i=1 k=n+1
∞
X
A la expresión Rk = zk = zn+1 + zn+2 + zn+3 + ... se conoce con el nombre de residuo de
k=n+1
∞
X
la serie zn
n=1
Definición
N −1
an xn = a0 + a1 x + a2 x2 + ...aN −1 xN −1
X
SN = (5)
n=0
∞
X
an z n = a0 + a1 z + a2 z 2 + ... + an z n−1 + ... (6)
n=0
La serie compleja de la ecuación 6 converge siempre y cuando kzk < 1, y diverge si kzk > 1.
Demostración
0.11. SERIES EN EL PLANO COMPLEJO 11
S0 = a0
S1 = a0 + a1 z
S2 = a0 + a1 z + a2 z 2
..
.
a(1 − z n )
Sn = (9)
1−n
Entonces observamos que para kzk < 1 el numerador de la ecuación 9 no va a tener un número
mayor a el valor de a por lo que el límite se expresaría de la forma:
a
lı́m =0
n→∞ 1−n
Lo cual no pasa si kzk > 1, ya que el numerador máximo de la ecuación 9 sería mayor mientras
el valor de n aumente, por lo que el límite quedaría.
a(1 − z n ) −∞
lı́m = = Indeterminación
n→∞ 1−n −∞
Por esta razón la serie converge en kzk < 1 y diverge (u oscila) en kzk > 1
Introducción
Una Serie de Potencia tiene mucha similitud con una Serie Geométrica, una de sus diferen-
cias, es que en la Serie de Potencia, utiliza un z0 , el cual es un punto del del campo complejo a
donde converge la Serie.
Definición
∞
X
an (z − z0 )n = a0 + a1 (z − z0 ) + a2 (z − z0 )2 + ... + ak (z − z0 )k + ... (10)
n=0
Como se aprecia en la figura 5, la serie converge si kzk < R, y la serie diverge si kzk > R.
Los criterios del cociente y de la raíz son válidos en el campo complejo
an+1
entonces R = lı́m
an
.
Si existe (vale 0 y ∞) lı́m
n→∞
an
n→∞ an+1
1
R puede tener 3 posibles resultados, Nota: R = .
L
an+1
R = 0 siempre y cuando z = z0 , es decir lı́m
=L=∞
n→∞ a
n
0.12. SERIE TAYLOR 13
an+1
R = k donde k es una constante finita real positiva, es decir lı́m
=L= 1
n→∞ an
k
an+1
R = ∞ el radio de convergencia está en todo el plano complejo, es decir lı́m
=
n→∞ a
n
L=0
Supóngase que una serie de potencias representa una función f para k z −zo k< R , siendoR 6= 0;
esto es:
∞
X
f (z) = ak (z − z0 )k = a0 + a1 (z − z0 ) + a2 (z − z0 )2 + a3 (z − z0 )3 + ... (1)
k=0
etc. Cada una de las series resultantes de la derivación tiene el mismo radio de convergencia
que la serie original. Así mismo, como la serie de potencias original representa una función f
derivable en el interior de su círculo de convergencia, se concluye que cuando R 6= 0, una serie
de potencias representa a una función analítica en el interior de su círculo de convergencia.
Existe una relación entre los coeficientes ak y las derivadas de f . Calculando dichas derivadas
en z = z0 se obtienen
f (z) = a0
0
f (z) = 1!a1
00
f (z) = 2!a2
000
f (z) = 3!a3
respectivamente. En general:
14
f n (z) = n!an
f n (z0 )
an = ,n ≥ 0 (5)
n!
∞
X f k (z0 )
f (z) = (z − z0 )k (6)
k=0
k!
Esta serie se denomina la serie de Taylor centrada en z0 para f . Una serie de Taylor con centro
en z0 = 0
∞
X f k (0)
f (z) = (z)k (7)
k=0
k!
Se ha visto que una serie de potencias con un radio de convergencia no nulo representa una
función analítica. Por otro lado, si se tiene una función f que es analítica en algún dominio D
¿puede representarse mediante una serie de potencias de las formas (6) y (7)?. Puesto que una
serie de potencias converge en un dominio circular, y un dominio D no es generalmente circular,
la pregunta se convierte en: ¿puede expandirse f en una o más serie de potencias que sean válidas
en dominios circulares todos ellos contenidos en D? La pregunta se contesta afirmativamente en
el siguiente teorema:
Teorema de Taylor
∞
X f k (z0 )
f (z) = (z − z0 )k (8)
k=0
k!
Demostración
Sea z un punto fijo dentro del círculo C y sea s la variable de integración. El círculo C se describe
entonces por k s − z0 k= R. Para comenzar, se utiliza la fórmula integral de Cauchy a fin de
obtener el valor de f en z:
1 f (s) 1 f (s)
I I
f (z) = · ds = · ds
2πi C s−z 2πi C (s − z0 ) − (z − z0 )
1 f (s) 1
I
f (z) == · ds (9)
−
2πi C s − z0 1 −
z z 0
s − z0
2 n−1
1 z − z0 z − z0 z − z0
z − z0 = 1 + s − z 0 + s − z 0 + ... +
1− s − z0
s − z0
(z − z0 )n
+
(s − z)(s − z0)n−1
Utilizando la fórmula de la integral de Cauchy para las derivadas, (10) se reescribre como:
0 00
f (z0 ) f (z0 ) f n−1 (z0 )
f (z) = f (z0 ) + (z − z0 ) + (z − z0 )2 + ... + + (z − z0 )n−1
1! 2! (n − 1)!
+ Rn (z) (11)
Donde Rn , es:
(z − z0 )n f (s)
I
· ds
2πi C (s − z)(s − z0 )n
0.13. Bibliografía