Beruflich Dokumente
Kultur Dokumente
L. L. Salcedo
Departamento de Fı́sica Atómica, Molecular y Nuclear,
Universidad de Granada, E-18071 Granada, Spain
E-mail: salcedo@ugr.es
12 de septiembre de 2018
Resumen
Índice
1. Números complejos 9
1.1. Introducción . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
1
1.2.3. C como extensión de R . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
3. Funciones complejas 24
2
3.1. Variables y funciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24
4.3. Complementos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 38
6. Funciones multivaluadas 49
3
6.2. Ramas y puntos de ramificación . . . . . . . . . . . . . . . . . . . . . . . . . . . . 52
7.11. Complementos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 82
8. Series complejas 84
9. Series de potencias 90
4
9.1. Teorı́a básica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 90
10.Series de Taylor 95
5
12.3.1. Cálculo del residuo en el infinito . . . . . . . . . . . . . . . . . . . . . . . . 121
6
14.4. Complementos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 163
16.Agradecimientos 178
7
17.Bibliografı́a 178
C. Ejercicios 182
8
1. Números complejos
1.1. Introducción
Se suponen conocidas las definiciones y propiedades de los números reales R. Los números reales
no son algebraicamente cerrados, es decir, pueden escribirse ecuaciones que involucran sólo números
reales que no admiten solución dentro R. Por ejemplo:
1 2
x −x+5=0 (1.1)
2
con solución formal √ √
x=1± −9 = 1 ± 3 −1 . (1.2)
No tiene solución para x ∈ R real. Tendrı́a solución en una extensión de los reales en la que −1
tuviera raı́z cuadrada. Tal raı́z se suele denominar i
i2 = −1 . (1.3)
z = x + iy , x, y ∈ R . (1.4)
Usando la propiedad i2 = −1 se puede ver que los números complejos ası́ construidos son cerrados
bajo suma y multiplicación, si se aplican las propiedades usuales válidas para reales:
9
Los números complejos también iluminan problemas puramente reales. Por ejemplo, la función
1
f (x) = es perfectamente regular para todo x real, sin embargo si se considera su desarrollo
1 + x2
en serie de Taylor en torno a x = 0, se encuentra la serie geométrica 1 − x2 + x4 − x6 + · · · que
converge sólo si |x| < 1. En R no se ve el motivo de la falta de convergencia para x > 1 ó x < −1,
dado que nada especial le ocurre a la función en x = ±1. Como se verá el motivo es obvio cuando
se considera la extensión de esta función al plano complejo.
De las definiciones se deduce que C es un cuerpo (es decir, aritméticamente los complejos se
comportan igual que los reales):
a) La suma define un grupo abeliano. El neutro de la suma es (0, 0) se representa por 0 (cero) .
El inverso respecto de la suma (opuesto) de z se representa por −z
Se define la resta en C
z1 − z2 := z1 + (−z2 ), z1 , z2 ∈ C . (1.11)
2
Usamos la notación a := b para indicar que a está definido como b. También, “sii” es una abreviatura de “si y
sólo si”.
10
b) El producto define un grupo abeliano en C \ {0}. Satisface las propiedades conmutativa y
asociativa. El neutro del producto es (1, 0), se denomina 1 (uno). Todo z 6= 0 tiene un inverso
que se denota z −1 (o también 1/z)
z = x + iy , z ∈ C, x, y ∈ R . (1.16)
En efecto:
x + iy = (x, 0) + (0, 1)(y, 0) = (x, 0) + (0, y) = (x, y) . (1.17)
Como se ve de la construcción, los números reales x e y tales que z = x + iy, son únicos. La forma
binómica es la más frecuentemente utilizada.
11
Nota: Para evitar falacias (ej. nota 1, al pie de página) es importante notar que i no se define
como la raı́z cuadrada de −1. De hecho es una de las dos raı́ces cuadradas de −1. La otra raı́z es
−i = (0, −1). Nótese también que i−1 = −i. En efecto: i(−i) = −i2 = −(−1) = 1.
Nota: Obsérvese que, por definición, la “parte imaginaria” de z es un número real; no incluye la
i.3
y una conjugación,
(z ∗ )∗ = z . (1.20)
Se deduce
z + z∗ z − z∗
Re (z) = , Im (z) = , (1.21)
2 2i
y por tanto,
zz ∗ = x2 + y 2 ≥ 0 (= 0 sii z = 0) (1.24)
3
Estrictamente Im (z) es la componente de z en la dirección imaginaria, pero se denomina parte imaginaria para
abreviar.
4
Puesto que la definición básica es i2 = −1 y ésta no distingue i de −i tan natural es z como z ∗ : si en una
ecuación se cambian todas las i por −i la ecuación seguirá siendo cierta.
12
y= Im z
2i
i z=2+i
1 0 1 2 x=Re z
i z* =2 i
Ya hemos visto dos formas de representar los número complejos, (x, y) y forma binómica x + iy.
z = (x, y) se puede representar por el punto (x, y) del plano complejo (o plano de Argand),
5
Entendiendo por cuerpo un anillo en el que el producto sea un grupo abeliano (salvo el cero).
13
o equivalentemente por el vector que va de (0, 0) a (x, y). El eje x se denomina eje real y el eje
y eje imaginario.6 Nótese que z ∗ es el vector reflejado de z respecto del eje real. (Véase la fig.
1.) Las regiones {y > 0}, e {y < 0} se denominan semiplano superior y semiplano inferior,
respectivamente. Las regiones {x > 0, y > 0}, {x < 0, y > 0}, {x < 0, y < 0} y {x > 0, y < 0} se
denominan primer, segundo, tercer y cuarto cuadrante, respectivamente.
El módulo del número complejo z = (x, y) se define como la norma euclı́dea (longitud) del
vector correspondiente: p √
|z| := + x2 + y 2 = + zz ∗ ≥ 0 (1.26)
Es definido no negativo y para z real coincide con el valor absoluto. El módulo cumple
|z| = 0 , sii z = 0 ,
|z1 z2 | = |z1 ||z2 | , |z1 /z2 | = |z1 |/|z2 | ,
|z ± z2 |2 = |z1 | + |z2 | ± 2 Re (z1 z2∗ ) ,
2 2
1
|z1 | − |z2 | ≤ |z1 + z2 | ≤ |z1 | + |z2 | (Desigualdad triangular) . (1.27)
Considerados como vectores en R2 ~z1 · ~z2 = Re (z1 z2∗ ) (con el producto escalar euclı́deo usual).
14
y=r sen θ
z=x+iy
r
θ
x= r cos θ
x = r cos θ
z = x + iy , z = r(cos θ + i sen θ)
y = r sen θ
r = |z| , tan θ = y/x . (1.28)
Nótese que la última ecuación no distingue entre z y −z, es decir, entre θ y θ + π. Para fijar θ hace
falta conocer por ejemplo el cuadrante en el que está z.
15
tomaremos
Arg z ∈ [0, 2π[ , arg z = Arg z + 2πn , n ∈ Z. (1.30)
Nótese que esta elección de la determinación principal es arbitraria y no es universal. También
se encuentra con frecuencia la elección Arg z ∈ ] − π, π].8 Ninguna elección produce una función
continua. La función arg no está definida para z = 0.
Es decir,9
Igualmente
= |z1 | , arg z1 = arg(z1 ) − arg(z2 ) ( mód 2π) ,
z1
z2 |z2 | z2
|z | = |z| , arg(z −1 ) = − arg(z) ( mód 2π) ,
−1 −1
(1.35)
8
Más generalmente, Argα z = Arg (e−iα z) + α produce el argumento enel intervalo [α, α + 2π[.
9 0, 0 ≤ Arg z 1 + Arg z 2 < 2π
Arg (z1 z2 ) = Arg (z1 ) + Arg (z2 ) + 2πn(z1 , z2 ) , donde n(z1 , z2 ) = .
−1 , 2π ≤ Arg z 1 + Arg z 2 < 4π
10
La notación a = b ( mód c), donde a, b, c son elementos de un grupo abeliano, indica que a − b = nc para algún
n ∈ Z.
16
y también
|z ∗ | = |z| , arg(z ∗ ) = − arg z ( mód 2π) . (1.36)
z n z m = z n+m , (z n )m = z nm , n, m ∈ Z . (1.38)
es decir,
17
1.4.2. Fórmula de Euler
z = reiθ , r ≥ 0, θ ∈ R. (1.44)
Queremos ahora definir z 1/n para√n ∈ Z. En R, x > 0 tiene dos raı́ces cuadradas; la ecuación
y 2 = x tiene dos soluciones, y = ± x. En C la ecuación w2 = z también tiene dos soluciones si
11
También se ve que las ecuaciones f (0) = 1 y f ′ (θ) = if (θ) se satisfacen cuando f (θ) = eiθ y cuando f (θ) =
cos θ + i sen θ.
18
z 6= 0, ya que si w es una solución, −w también lo es. Sin embargo, a diferencia del caso real, un
número complejo no nulo tiene tres raı́ces cúbicas, cuatro raı́ces cuárticas, etc.
que implica12
ρ = r1/n , nφ = θ + 2πk , k ∈ Z. (1.50)
La solución es múltiple
θ + 2πk
φ = φk = , k ∈ Z, (1.51)
n
pero no todos los argumentos φk producen wk = ρeiφk distintos. Notando que
2π
φk+1 = φk + , φk+n = φk + 2π , (1.52)
n
se ve que sólo hay n soluciones distintas correspondientes a wk con k = 0, 1, . . . , n − 1. Además, si
θ ∈ [0, 2π[, φk ∈ [0, 2π[ para k = 0, 1, . . . , n − 1.
donde uk son las raı́ces n-enésimas de la unidad. Las n raı́ces wk están dispuestas en los vértices de
un polı́gono regular centrado en 0, y por simetrı́a
n−1
X
wk = 0 si n ≥ 2 . (1.54)
k=0
12
Se sobreentiende r1/n en el sentido de números reales. Como número complejo r tiene raı́ces complejas, una de
las cuales es real y positiva.
19
2. Lı́mites en el plano complejo
20
Figura 3: Construcción para el teorema Bolzano-Weierstrass.
Por tanto α es un punto lı́mite de la sucesión {zn } sii en cualquier entorno de α hay infinitos
términos de la sucesión.
Definición. Una sucesión compleja {zn } es acotada si ∃M > 0 tal que ∀n |zn | < M . En
otro caso la sucesión es no acotada.
Definición. Se dice que la sucesión compleja {zn } es convergente y tiene por lı́mite α, y
se denota
lı́m zn = α o bien zn → α cuando n → ∞ , (2.3)
n→∞
21
Equivale a decir que cualquier entorno de α contiene todos los términos de la sucesión salvo un
número finito de ellos.
Nótese que para que {zn } sea convergente debe tener exactamente un punto lı́mite. Pero la
afirmación recı́proca no es cierta.
Por tanto, zn → ∞ expresa que cualquier entorno del infinito contiene todos menos un número
finito de términos de la sucesión.
22
N
Σ
P´
S
P
C
propiedades son:
z z
si z ∈ C z ±∞ = ∞ , ∞z = ∞ (z 6= 0), = ∞ (z 6= 0), = 0, ∞∞ = ∞ . (2.5)
0 ∞
Nótese que ∞ no es un elemento del plano complejo finito C. Y también que en R se suele introducir
±∞, en cambio en C sólo se introduce un único punto del infinito.
23
3. Funciones complejas
f :E → C
(3.1)
z 7→ w = f (z)
Las mismas definiciones se aplican cuando E y E ′ son subconjuntos del plano complejo extendido.
Las funciones ası́ definidas son funciones univaluadas ya que para z ∈ E existe exactamente
un valor w. Si se consideran correspondencias más generales donde z puede tener más de una
imagen, se habla de funciones multivaluadas o multiformes. Por omisión, función se refiere
a función univaluada.
f : E → E′ ϕ : E′ → E
Dada una función , se puede considerar la función inversa , que en
z 7→ w w 7→ z
general será multivaluada ya que un mismo w ∈ E ′ puede ser imagen de más de un original en E.
(Es decir, en general f no será inyectiva. Por construcción, f : E → E ′ es sobreyectiva.) Si ϕ es
univaluada se dice que f es invertible y entonces f : E → E ′ es biyectiva.
1
Ejemplo. f (z) = se puede definir con dominio E = C − {0} y recorrido E ′ = C − {0}. Es
z
1
invertible, ϕ(w) = . En el plano complejo extendido C∗ = C ∪ {∞} se puede definir f (z) con
w
dominio y recorrido C∗ , tomando f (z) = 1/z si z 6= 0, ∞, f (0) = ∞, f (∞) = 0.
24
Ejemplo. f : C → C con f (z) = z 2 es univaluada pero no invertible, su inversa ϕ es bivaluada
(excepto si z = 0) ya que ±z → z 2 .
Ejemplo. f : E → C siendo f (z) = z 2 y E = {z Re (z) > 0, Im (z) > 0} (es decir, z
del primer cuadrante). f (z) es inyectiva ya que si z ∈ E, −z 6∈ E. Su recorrido es
es un punto
E ′ = {w Im (w) > 0}. En efecto, z = reiθ ∈ E sii r > 0 y 0 < θ < π/2. Entonces, w = ρeiφ = z 2
tiene ρ = r2 > 0 y 0 < φ = 2θ < π, y por tanto w es un punto cualquiera de E ′ . f : E → E ′ es
invertible.
Definición. (Curva orientada.) Sean x(t), y(t) dos funciones reales y continuas de la variable
real t con a ≤ t ≤ b. La aplicación z(t) = x(t) + iy(t) es un camino en el plano complejo. z(a)
y z(b) son el punto inicial y el punto final, respectivamente. El conjunto de todos los caminos
con el mismo recorrido y el mismo punto inicial y el mismo punto final define una curva orientada
(continua) C. Por tanto, a cada curva C le corresponden infinidad de caminos, y cada camino define
una parametrización de la curva. El sentido positivo14 de C se obtiene cuando t va de a a b.
Definición. Si z(a) = z(b) se dice que la curva es cerrada, en otro caso es una curva
abierta o arco.
Definición. Un conjunto de puntos E se dice que es (arco-) conexo si cualquier par de puntos
z1 , z2 ∈ E puede unirse mediante un arco C contenido en E con z1 y z2 como puntos inicial y final.
Ejemplo. El conjunto15 {0 < |z| < 1} es abierto, {|z| ≤ 1} es cerrado, {0 < |z| ≤ 1} no es
abierto ni cerrado.
25
Definición. Se dice que z es un punto exterior de E cuando z es un punto interior del
complementario de E. Los puntos que no son interiores ni exteriores a E son puntos frontera
de E. El conjunto de puntos frontera es la frontera de E. Se dice que z es un punto de
acumulación o punto lı́mite de E si en todo entorno de z hay infinitos puntos de E.
Ejemplo. Sea E = {0 < |z| < 1} ∪ {2}. Sus puntos interiores son {0 < |z| < 1}. Sus puntos
exteriores son {1 < |z|, z 6= 2}. Su frontera es {0, 2} ∪ {|z| = 1}. Su puntos de acumulación son
{|z| ≤ 1}.
Proposición. Un conjunto es cerrado sii contiene su frontera. Un conjunto es cerrado sii contiene
a todos sus puntos de acumulación.
Definición. Un dominio G junto con ninguno, alguno o todos sus puntos frontera se denomina
una región, G̃. Un dominio es una región abierta. Un dominio junto con su frontera es una región
cerrada, Ḡ.
Ejemplo. Una curva no es una región: todos sus puntos son de la frontera, y si se quita ésta
queda el conjunto vacı́o, que no es un dominio.
Definición. Una curva es simple o de Jordan, si no pasa dos veces por el mismo punto de
C (no se corta a sı́ misma), es decir, si a ≤ t1 < t2 < b implica z(t1 ) 6= z(t2 ).
Teorema. (Teorema de la curva de Jordan.) Toda curva simple cerrada C divide el plano
complejo finito en dos dominios de los que C es frontera común. Uno de ellos es acotado (llamado
interior de C) y el otro no acotado (llamado exterior de C).
Definición. Se toma el sentido positivo de una curva simple cerrada de modo que su interior
esté localmente a la izquierda de la curva (para un observador que recorra la curva). Coincide con
el sentido antihorario.
26
C0
C1 G
C2
C3
Definición. Si C0 , C1 , . . . , Cn son n+1 curvas cerradas simples tales que cada curva C1 , C2 , . . . , Cn
está en el interior de C0 y en el exterior de las demás, entonces el conjunto formado por los puntos
que son del interior de C0 y del exterior de C1 , C2 , . . . , Cn , forman un dominio G cuya frontera está
formada por la n + 1 curvas C0 , C1 , . . . , Cn . (Véase la fig. 5.) Si n = 0, G0 es simplemente conexo.
Si n > 0 Gn no es simplemente conexo, se dice que es (n + 1)-conexo.
Definición. Sea G un dominio (región abierta) y z0 ∈ G, y sea f (z) una función compleja
definida en G − {z0 } (la función puede estar definida en z0 o no). Se dice que f (z) tiene lı́mite α
cuando z → z0 , y se denota
lı́m f (z) = α , (3.3)
z→z0
si ∀ǫ > 0, ∃δ(ǫ, z0 ) > 0 tal que 0 < |z − z0 | < δ garantiza |f (z) − α| < ǫ. (Véase la figura 6.)
Ejemplo. Sea f : C → C tal que f (0) = 1 y f (z) = 0 ∀z 6= 0. En este caso lı́mz→0 f (z) = 0.
Nótese que no habrı́a lı́mite si en la definición se exigiera |f (z) − α| < ǫ ∀z |z − z0 | < δ, sin excluir
el caso z = z0 .
27
z w
G
w=f(z) ε
δ
α
z
0
es decir, si ∀ǫ > 0, ∃δ(ǫ, z0 ) > 0 tal que |z − z0 | < δ garantiza |f (z) − f (z0 )| < ǫ.16
En efecto, sea z0 6= 0 el punto en el que queremos ver que la función 1/z es continua, y tomemos
δ < 12 |z0 |, de modo que para cualquier punto z en el disco |z − z0 | < δ se tiene que |z| > 12 |z0 |.
Para la imagen del disco se tiene entonces
1 1 |z − z0 | 2δ
|w − w0 | = − = < , (3.5)
z z0 |z||z0 | |z0 |2
magnitud que puede hacerse menor que cualquier ǫ > 0 eligiendo δ < 21 ǫ|z0 |2 (además de δ < 12 |z0 |).
Proposición. Si f (z) y g(z) son continuas en z0 , también lo son las funciones f (z) ± g(z),
f (z)g(z) y f (z)/g(z) (si g(z0 ) 6= 0). Si ϕ(w) es continua en w0 = f (z0 ), ϕ(f (z)) es continua en
z0 .
28
añadiendo la condición z ∈ G̃. Se denota
para indicar lı́mite y continuidad, respectivamente. Análogamente, si f (z) está definida sobre una
curva C
lı́m f (z) = α , lı́m f (z) = f (z0 ) . (3.7)
z → z0 z → z0
z∈C z∈C
O equivalentemente, ∀K > 0, ∃δ > 0 tal que 0 < |z − z0 | < δ implica |f (z)| > K.
O equivalentemente, ∀ǫ > 0, ∃R > 0 tal que |z| > R implica |f (z) − α| < ǫ.
Estad definiciones corresponden a la definición usual de lı́mite desde el punto de vista de la esfera
de Riemann de las variables w o z, respectivamente.
La misma definición se aplica cuando f esté definida en una región G̃ o una curva C, imponiendo
z1 , z2 ∈ G̃ o C, respectivamente.
29
Nota: El punto clave es que δ depende sólo ǫ (aparte de f y G), pero no de z1 , z2 . Esta
condición es más fuerte (exigente) que la continuidad en un punto z0 ∈ G ya que ahı́ δ podı́a
depender de z0 .
Ejemplo. Una curva es un conjunto compacto (es decir, cerrado y acotado).17 Un disco cerrado
es un conjunto compacto. C no es compacto, porque aunque es cerrado, no es acotado.
Teorema. Si f (z) es continua en una región compacta (cerrada y acotada) Ḡ, entonces f es
uniformemente continua en Ḡ y acotada.
Este teorema se puede demostrar mediante el teorema de Heine-Borel. (Ver por ejemplo el libro
de Silverman.)
Ejemplo. En el ejemplo anterior, la función f (z) = 1/z definida en G̃ = {0 < |z| ≤ 1} era
continua en G̃ pero no uniformemente continua. El teorema no se aplica porque G̃ es acotado pero
no cerrado (z = 0 es de la frontera pero no del conjunto). f (z) tampoco está acotada en G̃: En
efecto, lı́mz→0 1/z = ∞.
17
La imagen de un conjunto compacto por una aplicación continua es a su vez un conjunto compacto.
18
En topologı́as generales esto se toma como definición de conjunto compacto. En ese caso el teorema afirma que
un subconjunto de Rn es compacto sii es un conjunto cerrado y acotado.
30
4. Derivación en el plano complejo
Definición. (Derivada compleja.) Una función compleja f (z) definida en un dominio G se dice
que es derivable o diferenciable en el punto z ∈ G si f (z) 6= ∞ y el lı́mite
f (z + ∆z) − f (z)
f ′ (z) := lı́m , z, z + ∆z ∈ G (4.1)
∆z→0 ∆z
df (z)
existe y es finito. f ′ (z) se llama derivada de f (z) en z. También se denota .
dz
Nótese que una función compleja derivable en un punto es necesariamente continua en ese punto
(aunque no al revés).
Ejemplo. f (z) = z 2 es derivable en todos los puntos del plano complejo (finito):
′ (z + ∆z)2 − z 2
f (z) = lı́m = lı́m (2z + ∆z) = 2z . (4.2)
∆z→0 ∆z ∆z→0
Ejemplo. f (z) = Re (z) es continua en todo el plano complejo pero no derivable en ningún
punto:
Re (z + ∆z) − Re (z) Re ∆z
lı́m = lı́m . (4.3)
∆z→0 ∆z ∆z→0 ∆z
Teniendo en cuenta que ∆z = ∆x + i∆y, se ve que si se hace el lı́mite según ∆y = 0, ∆x → 0
sale 1, en cambio si se hace el lı́mite según ∆x = 0, ∆y → 0 sale 0. Luego el lı́mite no existe y la
función no es derivable.
31
Ejemplo. f (z) = |z|2 es derivable en z = 0 pero no en ningún otro punto. Por tanto no es
analı́tica en ningún punto.
Nota: La condición de derivabilidad en el plano complejo exige que el lı́mite ∆f /∆z sea
independiente de la dirección en la que ∆z → 0. La condición de analiticidad es aún más restrictiva,
como se ha visto en el último ejemplo.
d) (z n )′ = nz n−1 , n = 1, 2, , 3, . . .
es analı́tico en todo el plano complejo (finito) y toda función racional (cociente de polinomios de
z) es analı́tica en todo el plano complejo excepto donde el denominador se anule.
Nota: Sin embargo los polinomios o funciones racionales construidas con z y z ∗ no son funciones
analı́ticas en ningún punto (a menos que no dependan de z ∗ ). (Veánse los complementos al final del
capı́tulo.)
32
considerado como función de ∆z. Puesto que
∆w
lı́m = f ′ (z) (4.8)
∆z→0 ∆z
se deduce
∆w = f ′ (z)∆z + ǫ∆z , donde lı́m ǫ = 0 . (4.9)
∆z→0
dw df (z)
dw = f ′ (z) dz, f ′ (z) = = . (4.10)
dz dz
(considerado como función de las variables independientes ∆x y ∆y) puede escribirse como
∆u = A1 ∆x + A2 ∆y + ǫ1 ∆x + ǫ2 ∆y (4.12)
p Nota: Que ∂u/∂x y ∂u/∂y existan no basta para que u sea diferenciable. (Por ejemplo u =
|xy| tiene derivadas parciales en x = y = 0 pero no es diferenciable en ese punto.) Una condición
suficiente para sea diferenciable es que tenga derivadas parciales y que sean continuas.
19
Es decir, ǫ1,2 → 0 cuando (∆x)2 + (∆y)2 → 0, independientemente de la dirección en el plano x, y. Nótese
también que ǫ1,2 no quedan definidos en forma unı́voca por la ecuación.
33
Una función compleja f (z) puede especificarse dando sus partes real e imaginaria
f (z) = u(x, y) + iv(x, y) , u, v ∈ R . (4.14)
Si u, v son continuas, f también lo será (y viceversa). En cambio, como se vio para f (z) = Re (z),
que corresponde a u(x, y) = x, v(x, y) = 0, obviamente u, v son diferenciables pero u + iv no es
diferenciable como función compleja. En general u y v deben además estar relacionados. En efecto,
si f (z) es derivable en z el lı́mite de ∆w/∆z no debe depender de la dirección en la que ∆z → 0.
En particular debe dar lo mismo si va a 0 por el eje real o por el imaginario:
∆u + i∆v ∆u + i∆v ∂u ∂v
f ′ (z) =lı́m = lı́m = +i
∆x → 0 ∆x + i∆y ∆x→0 ∆x ∂x ∂x
∆y = 0
′ ∆u + i∆v ∆u + i∆v 1 ∂u ∂v
f (z) = lı́m = lı́m = +i (4.15)
∆y → 0 ∆x + i∆y ∆y→0 i∆y i ∂y ∂y
∆x = 0
requiere
∂u ∂v ∂u ∂v
= , =− , (ecuaciones de Cauchy-Riemann) (4.16)
∂x ∂y ∂y ∂x
conocidas como ecuaciones de Cauchy-Riemann.
Podrı́a pensarse que el cálculo de f ′ (z) tomando el lı́mite según otras direcciones da nuevas
condiciones. No es ası́, como lo demuestra el siguiente teorema:
Demostración:
34
f ′ (z) = a + ib (a, b reales) y ǫ = ǫ1 + iǫ2 (ǫ1,2 reales). Entonces ∆u + i∆v = (a + ib)(∆x +
i∆y) + (ǫ1 + iǫ2 )(∆x + i∆y) implica
En consecuencia, el lı́mite
∆w ∂u ∂v
f ′ (z0 ) = lı́m = +i (4.23)
∆z→0 ∆z ∂x ∂x
existe y es finito y f (z) es derivable en z0 .
∂u ∂ 2f
Aquı́ se ha usado la notación ux ≡ , etc. Igualmente, fxy ≡ , etc. También f ′ = fx =
∂x ∂x∂y
−ify .
35
Ejemplo. La función ez := ex (cos(y) + i sen(y)) es la exponencial compleja. Extiende
la función exponencial real al plano complejo. Es diferenciable en todo C y también satisface las
ecuaciones de Cauchy-Riemann. Por tanto es analı́tica en C. Su derivada coincide con ella misma,
como ocurre en el caso real.
Definición. (Función armónica). Se dice que una función f (x, y) es armónica cuando
2
∂2
∂
+ f = 0. (4.25)
∂x2 ∂y 2
Definición. (Funciones armónicas conjugadas). Dos funciones u(x, y) y v(x, y) son armóni-
cas conjugadas cuando cumplen las ecuaciones de Cauchy-Riemann y tienen derivadas parciales
segundas continuas. En este caso u y v son también funciones armónicas ya que20 uxx + uyy =
(vy )x + (−vx )y = 0 (ı́dem v).
u = x3 − 3xy 2 , v = 3x2 y − y 3 ,
ux = vy = 3x2 − 3y 2 , uy = −vx = −6xy ,
uxx = −uyy = 6x , vxx = −vyy = 6y . (4.26)
∂f
f ′ (z) = = ux + ivx = (3x2 − 3y 2 ) + i(6xy) = 3z 2 . (4.27)
∂x
20
Si una función u tiene derivadas parciales segundas continuas automáticamente uxy = uyx .
36
Si u, v son armónicas conjugadas se puede reconstruir una en función de otra. Por ejemplo
Z y
v(x, y) = v(x, y0 ) + vy (x, y ′ ) dy ′
Zy0 x Z y
′ ′
= v(x0 , y0 ) + vx (x , y0 ) dx + vy (x, y ′ ) dy ′
Zx0x Zy0y
= v(x0 , y0 ) − uy (x′ , y0 ) dx′ + ux (x, y ′ ) dy ′ . (4.28)
x0 y0
Esta construcción supone que el camino (x0 , y0 ) → (x, y0 ) → (x, y) está contenido en la región G
de validez de las ecuaciones de Cauchy-Riemann. En realidad si u, v existen (son univaluadas) en
un dominio G y son armónicas conjugadas, el resultado no depende de la curva suave a trozos C
(con punto inicial (x0 , y0 ) y final (x, y) y contenida en G):
Z Z
v(x, y) − v(x0 , y0 ) = (vx dx + vy dy) = (−uy dx + ux dy) . (4.29)
C C
Por otro lado, si G es simplemente conexo esta fórmula permite reconstruir v conocido u. (Obvia-
mente hay una fórmula análoga para reconstruir u dado v.)
37
derivable infinitas veces y analı́tica son condiciones cada vez más fuertes (restrictivas). En cambio
en el caso complejo se ha denominado analı́tica a un función por el hecho de tener derivada primera
en un dominio. Como se verá, esta denominación está justificada: si una función compleja admite
derivada primera en un dominio entonces automáticamente es también infinitamente derivable y
analı́tica en el sentido de R2 en ese dominio. Este resultado es muy notable.
4.3. Complementos
Proposición. Sea g(z1 , z2 ) una función compleja de dos variables, analı́tica (respecto de z1 y
z2 ) en un dominio G12 ⊂ C × C, y sea f (z) la función definida por f (z) = g(z, z ∗ ). Entonces, f (z)
es analı́tica en el dominio G = {z (z, z ∗ ) ∈ G12 } (supuesto no vacı́o) sii g(z1 , z2 ) es independiente
de z2 .
38
Ejemplo. La función z n (n ∈ Z) depende de z y no de z ∗ ; satisface las ecuaciones de Cauchy-
Riemann (y de hecho es analı́tica para todo z excepto en z = 0 si n < 0). En cambio Re (z) =
(z + z ∗ )/2 depende de z ∗ y no las puede satisfacer. Igualmente f (z) = |z|2 = zz ∗ no es analı́tica.
39
5. Exponencial y funciones relacionadas
Definición. Una función compleja f (z) es entera si es analı́tica en todo el plano complejo
finito.
Definición.
∞
z
X 1 n z2 z3
a) e := z =1+z+ + + ··· .
n=0
n! 2! 3!
z2 z4 z 2k
b) cos(z) := 1 − + + · · · + (−1)k + ··· .
2! 4! (2k)!
z3 z5 z 2k+1
c) sen(z) := z − + + · · · + (−1)k + ··· .
3! 5! (2k + 1)!
cos(z) y sen(z) coinciden con cos(x) y sen(x) cuando z = x ∈ R y también son funciones enteras.
ez también se denota exp(z).
Proposición. La fórmula
40
Demostración: En efecto,
∞ ∞ ∞ ∞
z1 z2
X 1 nX 1 m XX 1 n+m n m
e e = z1 z2 = z1 z2
n! m! (n + m)! n
n=0 m=0 n=0 m=0
∞ N ∞
X 1 X N n N −n
X 1
= z1 z2 = (z1 + z2 )N = ez1 +z2 , (5.2)
N! n N!
N =0 n=0 N =0
donde se ha utilizado la convergencia absoluta de las series para reordenar las series.
Propiedades:
−z z −1 e z1
0
a) Dado que e = 1, se deduce e = (e ) y z2 = ez1 −z2 .
e
b) La convergencia absoluta de la serie en C permite reordenar las series:
(iz)2 (iz)3 z2 z4 z3 z5
iz
e = 1 + iz + + + ··· = 1 − + + ··· + i z − + + ···
2! 3! 2! 4! 3! 5!
= cos z + i sen z (Fórmula de Euler) (5.3)
e) Como sabemos, ∀z ∈ C hay una forma polar: z = r(cos θ + i sen θ), donde r ≥ 0, 0 ≤ θ <
2π. Se deduce z = reiθ , que es la forma exponencial de z. También se obtiene la relación
ez = ex+iy = ex eiy = ex (cos y + i sen y) , (5.8)
que proporciona una definición alternativa de exp z y la reduce a funciones reales conocidas.
En esta definición alternativa basta comprobar que se satisfacen las ecuaciones de Cauchy-
Riemann en todo C para ver que ez es una función entera.
41
f ) ez no se anula para ningún valor de z. En efecto,
|ez | = ex+iy = ex eiy = |ex | eiy = ex > 0 ∀x,
(5.9)
implica ∀z ez 6= 0. El mismo resultado se deduce la existencia de (ez )−1 a saber, e−z
g) Las fórmulas de adición y sustracción trigonométricas se aplican igualmente al caso complejo:
∀z1 , z2 ∈ C cos(z1 ± z2 ) = cos z1 cos z2 ∓ sen z1 sen z2 ,
sen(z1 ± z2 ) = sen z1 cos z2 ± cos z1 sen z2 . (5.10)
Se deduce de la fórmula de Euler. Por ejemplo,
eiz1 + e−iz1 eiz2 + e−iz2 eiz1 − e−iz1 eiz2 − e−iz2
cos z1 cos z2 − sen z1 sen z2 = −
2 2 2i 2i
i(z1 +z2 ) −i(z1 +z2 )
e +e
= = cos(z1 + z2 ). (5.11)
2
Además, tomando z1 = z, z2 = 2π, se sigue que cos z y sen z son funciones periódicas:
∀z ∈ C cos(z + 2π) = cos z , sen(z + 2π) = sen z . (5.12)
Por otro lado, tomando z1 = −z2 = z
∀z ∈ C cos2 z + sen2 z = 1 . (5.13)
Sin embargo, | cos z| y | sen z| no están acotados por 1 fuera del eje real. Finalmente, tomando
π
z1 = , z2 = −z,
2
π
∀z ∈ C cos z = sen( − z) . (5.14)
2
h) Soluciones de ez = 1:
ez = 1 sii z = 2πin ∀n ∈ Z . (5.15)
z x
En efecto, 1 = |e | = e implica x = 0, entonces 1 = cos y+i sen y implica y = 2πn, n ∈ Z .
1 iz
i) Ceros de cos z y sen z en C: 0 = sen z = (e − e−iz ) implica e2iz = 1 . Se deduce
2i
0 = sen z sii z = πn ∀n ∈ Z . (5.16)
Usando cos z = sen( π2 − z) se obtiene
1
0 = cos z sii z = π n + ∀n ∈ Z . (5.17)
2
42
5.2. Funciones hiperbólicas
Se deduce
cosh2 z − senh2 z = 1,
cosh(z1 ± z2 ) = cosh z1 cosh z2 ± senh z1 senh z2 ,
senh(z1 ± z2 ) = senh z1 cosh z2 ± cosh z1 senh z2 .
cosh z = cosh(z + 2πi) , senh z = senh(z + 2πi) . (5.21)
Basta usar la propiedad de derivación de una serie término a término. Dado que las series son
las mismas que en el caso real se obtienen las mismas relaciones
dez
= ez ,
dz
d cos z d sen z
= − sen z , = cos z ,
dz dz
d cosh z d senh z
= senh z , = cosh z . (5.22)
dz dz
43
5.4. Función logaritmo
Propiedades:
b) log z es una función multivaluada, ya que si w es una solución, cualquier otro número de la
forma w + 2πin, (n ∈ Z) también es solución. En efecto, como vimos la exponencial es una
función periódica y ew+2πin = ew . Por tanto la multivaluación del logaritmo complejo es infinita
(a diferencia de z 1/n que toma |n| valores). Por otro lado, ésta es la única multivaluación: Si
w1 , w2 son dos logaritmos de z, entonces w2 = w1 + 2πin para algún entero n. En efecto,
w1 w2 e w2
∀z 6= 0 z = e =e , 1 = w1 = ew2 −w1 implica w2 − w1 = 2πin, n ∈ Z. (5.23)
e
arg z es una función multivaluada y lo mismo log z. Si se elige la determinación principal del
argumento, Arg z ∈ [0, 2π[, se obtiene la determinación principal del logaritmo
En general,
log z = log |z| + i Arg z + 2πik , k ∈ Z. (5.26)
22
Designamos el logaritmo neperiano por log en vez de ln ya que no hay posibilidad de confusión con el logaritmo
decimal, que no se va a usar aquı́.
23
Hay una ambigüedad en la notación, ya que log |z| se refiere al logaritmo real (univaluado), es decir, el definido
en R+ → R. Cuando x > 0 se sobreentiende que log x es el logaritmo real.
44
Ejemplo.
Log 1 = 0, log 1 = 2πin, n ∈ Z
Log ( − 1) = iπ, log(−1) = (2n + 1)iπ, n ∈ Z
3πi
Log ( − i) = ,
2
iπ 1 iπ
Log (2i) = log 2 + , Log (1 + i) = log 2 + . (5.27)
2 2 4
d) La función Log z está definida en C − {0} pero es discontinua a lo largo del semieje real
positivo, R+ := {x ≥ 0}. En efecto, Arg z vale casi 0 si z está casi en R+ − {0} pero en el
semiplano superior ( Im z > 0) y 2π si z está casi en R+ − {0} pero en el semiplano inferior
Im z < 0:
∀a > 0 , lı́m Log z = log a , lı́m Log z = log a + 2πi . (5.28)
z→a z→a
Im z>0 Im z<0
(De hecho Log a = log a.) Lo mismo se puede expresar mediante (para a > 0)
lı́m Log (a + iǫ) = log a , lı́m Log (a − iǫ) = log a + 2πi . (5.29)
ǫ→0 ǫ→0
ǫ>0 ǫ>0
45
log z = log z + 4 π i
2 0
w
log z = log z + 2 π i
1 0
log z
0
w
w0
z z z
0
f ) La función Log z es discontinua sobre el semieje real positivo, {x ≥ 0}. Fuera de esos puntos
la función es analı́tica y su derivada se obtiene a partir de la de la exponencial mediante la
regla de la cadena, como en el caso real.24 Equivalentemente,
d Log z dw 1 1 1
= w = w = w = , z 6∈ {x ≥ 0} . (5.34)
dz de de e z
dw
1
La función es regular en todo C excepto 0, incluido el semieje real positivo. Más general-
z
mente, cualquiera que sea la elección de arg z (por ejemplo arg z ∈] − π, π]) si se elige de
forma continua en un entorno de z que excluya 0, permite calcular la derivada y se obtiene el
mismo resultado 1/z: En efecto, las distintas elecciones difieren en un término aditivo 2πin
que es constante y no afecta a la derivada (véase la fig. 7)
d log z 1
= . (5.35)
dz z
24
Es decir,
dz delog z d log z d log z d log z 1
z = elog z , 1= = = elog z =z , = .
dz dz dz dz dz z
46
Sólo en z = 0, ∞ la función logaritmo es intrı́nsecamente no analı́tica (es decir, no analı́tica
bajo ninguna elección de arg z.)
En general esta función tiene multivaluación infinita, heredada del logaritmo. La determinación
principal es
(z a )p := exp(a Log z) , a, z ∈ C z 6= 0 . (5.37)
y todos los demás valores son de la forma
z a = (z a )p e2πian , n ∈ Z. (5.38)
La multivaluación es finita sii a es un número racional (real). En efecto, el factor e2πian debe
tomar sólo un número finito de valores distintos, y por tanto debe haber valores distintos de n
que den el mismo valor para e2πian . Si n1 y n2 son dos tales valores e2πian1 = e2πian2 implica
a(n1 − n2 ) = k ∈ Z y a = k/(n1 − n2 ) es racional. Por otro lado, si a = p/q, siendo q, p enteros
primos entre sı́ y q positivo, para cualquier n entero n = kq+r, 0 ≤ r < q con k y r únicos. Entonces
′
e2πian = e2πipk e2πipr/q = e2πipr/q , y se producen q valores distintos. En efecto, e2πipr/q = e2πipr /q sii
pr/q − pr′ /q = m ∈ Z, entonces p(r − r′ ) = qm, dado que p no es múltiplo de q, lo debe ser r − r′
y ya que 0 ≤ r, r′ < q se deduce r = r′ .
Por otro lado z a+b toma un conjunto de valores que es un subconjunto de los valores
√ que√puede
a b a+b 0 a b
tomar z z . (Por ejemplo, para a = −b = 1/2, z = z = 1, en cambio z z = (± z)(±1/ z) =
ab a b
±1.) Del mismo modo, √ z es un subconjunto de (z ) . (Por ejemplo, para a = 2 y b = 1/2, z ab = z,
en cambio (z a )b = ± z 2 = ±z.)
Casos particulares: Si a = n ∈ Z
n )+2πik
z a |a=n = en log z = elog(z = zn . (5.39)
47
1
Análogamente, cuando a = , (n ∈ Z − {0})
n
1 1
z a |a= 1 = exp log z = exp (log |z| + i arg z)
n n n
= |z|1/n e(i arg z)/n = z 1/n (|n| valores distintos). (5.40)
eiw + e−iw
z = cos w = , y 0 = (eiw )2 − 2z eiw + 1 . (5.42)
2
Esta es una ecuación de segundo grado que puede resolverse en eiw y por tanto en w,
√
cos−1 z = w = −i log(z + z 2 − 1). (5.43)
√
Nótese que tanto log z como z son funciones multivaluadas. Análogamente
−1 1 1 + iz
tan z = log ,
2i 1 − iz
√
senh−1 z = log z + z 2 + 1 ,
−1
√
sen z = −i log iz + 1 − z . 2 (5.44)
48
6. Funciones multivaluadas
G E
A B
+z
+ w
A f
γ
Γ
+
z
+ w
ϕ
49
Demostración: Hay que probar que E = {w w = f (z), z ∈ G} es abierto y conexo. (Véase
fig. 8.)
⌢
1. E es conexo: Si w1 = f (z1 ) y w2 = f (z2 ) la imagen del arco z1 z2 ⊂ G es también un arco
(curva continua por f (z) continua) contenida en E.
2. E es abierto: Sea w un punto cualquiera de E y z = ϕ(w). Dado que ϕ(w) es continua (por
ser derivable), para todo entorno de z, A ⊂ G, hay un entorno B de w tal que la imagen de
B por ϕ, A′ , está contenida en A y por tanto en G, esto implica B ⊂ E y w es un punto
interior.
Puesto que E es un dominio y ϕ(z) es invertible y derivable en cada punto de E, ϕ(z) es univalente
en E.
Sea w = z n , n entero positivo. Dado cualquier w 6= 0, w = reiθ (r > 0) hay n valores z tales
que z n = w, a saber z = r1/n ei(θ+2πk) , k = 0, 1, . . . , n − 1. El conjunto {w1/n } forma un polı́gono
regular de n lados en el plano z. Es evidente que si se restringe arg z al intervalo
2π
c < arg z < c + (c real) (6.2)
n
entonces z1 6= z2 implica z1n 6= z2n , y la función z n es inyectiva. Se deduce que z n es univalente en
2π
G = {z z 6= 0, c < arg z < c + }. Además G es maximal, es decir, no existe un G′ ) G tal
n
que z n sea univalente.
En particular, para c = 0, G = {z z 6= 0, 0 < arg z < 2π/n} y su imagen es E = {w w 6=
0, 0 < arg w < 2π}. Este conjunto es C − {u ≥ 0} y se denomina plano complejo cortado
según el semieje real positivo.27 (Véase fig. 9.)
2π
En un dominio de univalencia, por ejemplo, G = {z z 6= 0, 0 < arg z < }, la función w = z n
n
tiene una inversa, z = w1/n . Esta inversa es univalente en E = {w w 6= 0, 0 < arg w < 2π}, con
derivada n −1
dw1/n dz 1 1
= = n−1 = w−1+1/n . (6.3)
dw dz nz n
27
Como es usual, denotamos u = Re w, v = Im w, x = Re z e y = Im z.
50
z1 y G w=z 6 v
E
z0
z2
x u
z5
z
3
z4 plano z plano w
Figura 9: La zona sombreada en el plano z (la frontera no está incluida) es un dominio de
univalencia maximal para w = z 6 , G = {z 6= 0, 0 < arg z < 2π/6} . La zona sombreada en
el plano w (sin incluir la frontera) es el recorrido, E = {w 6= 0, 0 < arg w < 2π}. Es todo el
plano complejo excepto los número reales no negativos.
Para que w = ez sea una biyección basta restringir Im z. El dominio G = {z c < Im z < c+2π}
z
es un dominio de univalencia maximal de w = e y el recorrido es E = {w w 6= 0 , c < arg w <
c + 2π}. (Véase la fig. 10.) La función inversa es el logaritmo z = log w. Esta función es univalente
en E. En el caso particular de c = 0, G = {z 0 < Im z < 2π}, el recorrido es el plano complejo
cortado según el semieje real positivo, E = {w w 6= 0 , 0 < arg w < 2π} y corresponde a la
determinación principal del argumento de w, Arg w ∈ [0, 2π[, y a la determinación principal del
logaritmo, Log w (excepto que arg w = 0 está excluido del dominio).
51
y z v
w=e
2 πi E
G
0 x u
plano z plano w
Figura 10: G = {0 < Im z < 2π} es un dominio de univalencia maximal de w = ez . El recorrido
E es el plano complejo w excepto los números reales no negativos.
2π 4π 2(n − 1)π
Si en w = z n tomamos c = 0, , ,... , se obtienen n dominios de univalencia Gk :
n n n
2πk 2π(k + 1)
6 0,
Gk = z z = < arg z < , k = 0, 1, 2, . . . , n − 1 . (6.5)
n n
n−1
Estos dominios son disjuntos y su unión, junto con sus fronteras, es C, ∪k=0 Ḡk = C. Además
el recorrido E = {w 6= 0, 0 < arg w < 2π} = C − {u ≥ 0} es común a todos ellos (por
2πk < arg w = n arg z < 2π(k + 1)). (Véase la fig. 11.) Como w = z n es univalente en cada Gk ,
se obtiene una función inversa para cada k, ϕk : E → Gk , que denotamos z = (w1/n )k .
52
y w=z 6 v
G1 E
G2 G
0
x u
G3
G5
G
4
plano z plano w
Figura 11: C se descompone en 6 dominios de univalencia maximales (junto con sus fronteras)
de la función w = z 6 . Todos ellos tienen el mismo recorrido E. Cada uno de estos dominios
define una rama de la función.
con recorrido común E = C − {u ≥ 0}, y tal que la unión de todos los dominios junto con sus
fronteras recubren el plano complejo, ∪k∈Z Ḡk = C. Esto define una función inversa para cada k,
z = (log w)k , w ∈ E, z ∈ Gk , todas ellas univalentes en E. (Véase la fig. 12.) La función
multivaluada log w está definida como la inversa de ez . Cada función (log w)k es una rama de la
función multivaluada log w y el semieje real positivo es el corte de rama.
Más generalmente, puede tomarse como corte de rama cualquier arco simple C, que una 0 con
∞. E ′′ = C − C define un dominio maximal de univalencia para w1/n y n ramas de esta función.
(Igualmente esta construcción define un conjunto de ramas para log w. Véase la fig. 14.) Se ve
pues que el corte de rama concreto (puntos donde la función no está definida) no es intrı́nseco a
la función multivaluada w1/n mientras que sı́ lo son w = 0 y w = ∞. En estos puntos w1/n no es
53
y
G1 z v
w=e
2πi E
G0
0
x u
G−1
2πi
plano z plano w
Figura 12: Descomposición del plano z en dominios de univalencia maximales para la función
w = ez y recorrido en el plano w.
Para ver esto con más detalle, consideremos una curva Γ en el plano w (de la función w = z n )
cerrada, simple y orientada positivamente, con punto inicial y final w0 y que no pase por w = 0.
1/n
Tomemos z0 = (w0 )k para cierto k, es decir, z0 es una de las raı́ces n-ésimas de w. A medida que
w recorre la curva Γ de w0 a w0 , z recorrerá una curva γ en el plano z (que no pasará por z = 0)
con la prescripción de que la rama concreta de z = w1/n (esto es, la solución de w = z n ) se elige
por continuidad. Puesto que z 7→ w = z n es univaluada, γ también será una curva simple que no
pasa por z = 0.
a) Que γ sea también una curva cerrada. Esto ocurre si Γ no encierra el origen w = 0. Puede
ocurrir que para mantener la continuidad de z = w1/n haya que tomar una rama distinta de
la inicial, pero después se vuelve a la misma y γ es cerrada. (Véase la fig. 15.)
b) Que γ sea una curva abierta. Esto ocurre cuando Γ encierra el origen w = 0. El argumento de
w crece de θ0 a θ0 + 2π y el argumento de z pasa de θ0 /n a (θ0 + 2π)/n. Es decir, z pasa de
z0 = (w1/n )k ∈ Gk a z0′ = ei2π/n z0 = (w1/n )k+1 ∈ Gk+1 (con el convenio Gn = G0 ). (Véase
la fig. 16.)
Más generalmente, si Γ es una curva cerrada pero no necesariamente simple que no pasa por 0, y ℓ
54
y w=z 6 v
E
D2 D1
D3 D0 x u
D4 D5
plano z plano w
Figura 13: Descomposición alternativa de w = z 6 en dominios de univalencia. El recorrido es el
plano complejo cortado según el semieje real negativo.
Definición. Sea una función multivaluada ϕ, con sus varias ramas, y η un punto de su dominio
de definición.28 Se dice que η es un punto de ramificación de ϕ si una vuelta Γ alrededor de η
produce un cambio de rama de la función, siendo Γ cualquier curva cerrada simple contenida en un
entorno reducido arbitrariamente pequeño de η (y eligiendo la imagen por continuidad). Si n vueltas
alrededor de η llevan cada rama sobre sı́ misma, se dice que η es un punto de ramificación de orden
n − 1. (Se entiende el menor n positivo para el que esto ocurra.) Es decir, cuando al recorrer Γ n
veces en el plano w la imagen es una curva cerrada en el plano z. Los puntos de ramificación son
intrı́nsecos a la función multivaluada y no dependen de cómo se elija su ramificación.
55
w=e z C
c1
c0
c1
c2
plano z plano w
Figura 14: Plano w: corte rama de log w a lo largo del arco C. Plano z: réplicas de C, ck que
delimitan los dominios de univalencia en esta ramificación. Las curvas ck están desplazadas
respecto de una de ellas, c0 , por 2πik.
no encierra el origen no hay cambio de rama. El corte de rama une los dos puntos de ramificación,
0 e ∞.
El análisis de la función multivaluada log w es similar: dado que z = log w = log |w| + i arg w,
si una curva cerrada Γ rodea w = 0 un número ℓ ∈ Z de veces, el argumento cambia en 2πℓ y el
logaritmo en 2πiℓ. (Véase la fig. 17.) Se deduce que w = 0 y w = ∞ son los únicos puntos de
ramificación de log w. A diferencia de la función w1/n , los puntos de ramificación de log w son de
orden infinito (también llamados de tipo logarı́tmico), ya que la imagen γ de la curva cerrada Γ
nunca es ella misma una curva cerrada si ℓ 6= 0.
√
Otra función multivaluada es, por ejemplo, z = w2 − 1 con puntos de ramificación w = ±1
(pero no ∞). Tiene dos ramas y el corte de rama se puede elegir a lo largo del intervalo [−1, 1].
Una curva cerrada Γ que no pase por w = ±1, rodeará ℓ1 veces w = 1 y ℓ−1 veces w = −1. γ es
cerrado en el plano z (y por tanto no hay cambio de rama) sii ℓ1 + ℓ−1 es par. (Véase la fig. 18.)
56
v y
1/6
w0 z=w
* γ
*z0
Γ u x
plano w plano z
Figura 15: Camino cerrado Γ en el plano w y su imagen γ en el plano z = w1/6 . Γ no rodea
w = 0 y γ es cerrado.
números enteros. Por cada una de estas ramas, tomemos una copia de su dominio E = C−{u ≥ 0}.
Estas copias las denotamos Ek , k = 0, ±1, ±2, . . . y se denominan hojas de Riemann. E es el
plano complejo w cortado (como con una tijera) por el semieje real positivo. El corte produce dos
bordes, el superior δ + y el inferior δ − . Sean δk+ y δk− los bordes superior e inferior de la hoja Ek .
(Véase la fig. 19.)
Con las infinitas hojas se procede a formar una nueva superficie identificando (o pegando) los
bordes δk− ≡ δk+1
+
para todos los k. La superficie S ası́ obtenida se denomina superficie de
Riemann de la función log w. (Véase la fig. 20.)
La idea es que la hoja E0 representa a los puntos con argumento entre 0 y 2π (ambos excluidos),
E1 a los puntos con argumento entre 2π y 4π, y en general, Ek a los puntos tales que 2πk < arg w <
2π(k + 1). Ası́ δk+ son los puntos con arg w = 2πk, δk− son los puntos con arg w = 2π(k + 1) y
+
naturalmente está identificado con δk+1 , que también son los puntos con arg w = 2π(k+1). Después
de identificar los bordes, S es una superficie perfectamente suave y regular también en las uniones.
Además la misma superficie se obtiene independientemente de dónde estuviera originalmente el corte
de rama.29
29
Identificar puntos es un método estándar para formar nuevas variedades a partir de otras dadas. Por ejemplo,
si en el disco cerrado {|z| ≤ 1} se identifican todos los puntos de su frontera, |z| = 1, se obtiene una superficie
topológicamente equivalente a la superficie de una esfera. A partir del plano complejo se obtuvo la esfera de Riemann
al identificar todos los puntos del infinito (en todas la direcciones). Si en la tira {z 0 ≤ Re z ≤ 1} se identifican
cada punto (0, y) con (1, y) se obtiene un cilindro.
57
v y
1/6
z=w z0
w0
* * γ
Γ
*z0
u x
plano w plano z
Figura 16: Camino cerrado Γ en el plano w y su imagen γ en el plano z = w1/6 . Γ rodea una
vez w = 0 y γ empieza en una rama de la función y acaba en la rama siguiente. z0′ = e2πi/6 z0
S está compuesta por las hojas de Riemann con los bordes identificados. La superficie de
Riemann extendida S ∗ se obtiene al añadir el 0 y el ∞, que son puntos comunes a todas las hojas.
Localmente la superficie de Riemann del logaritmo y el plano complejo son iguales: si se considera
un entorno pequeño de un punto w en S o en C − {0} no se ve diferencia. Globalmente son
variedades distintas: por ejemplo, S es simplemente conexo30 mientras que C − {0} no lo es. La
diferencia esencial entre S y C − {0} es que en C − {0}, cada punto w tiene infinitos argumentos, o
equivalentemente un argumento definido módulo 2π. En cambio en S, cada punto tiene exactamente
un argumento θ ∈ R. En S los puntos con coordenadas polares (r, θ) y (r, θ + 2πk) son puntos
distintos si k 6= 0, ambos con la misma proyección en C. Es decir, la función arg w es univaluada en
S. En S se puede definir la función log w de forma natural por la fórmula log w = log |w| + i arg w.
Dado que argumentos distintos corresponden a puntos distintos de S la función log w es univaluada
en S.
Con el fin de generalizar la construcción para otras funciones, se puede considerar el siguiente
procedimiento equivalente: se toma un punto w0 fijo cualquiera de S (que no sea 0 o ∞) y se le
30
En efecto, ya que cualquier camino cerrado en S se puede contraer dentro de S a un punto. Obsérvese que en
S no hay curvas cerradas que encierren a 0.
58
y
v z= log w
z
E ∗ 0 2πi
w0
*
0
u x
Γ ∗ z0 2πi
plano w plano z
Figura 17: En el plano w: curva Γ que rodea w = 0 dos veces. Plano z: su imagen bajo z = log w
(eligiendo la rama del logaritmo por continuidad) pasa del dominio de univalencia G−1 a G1 .
z= (w−1)(w+1)
γ1
Γ1
Γ2
γ2
1 1 *w0 z0 *z
0
plano w plano z
√
Figura 18: El intervalo [−1, 1] es el corte rama de z = w2 − 1. Γ1 tiene ℓ1 = ℓ−1 = 1 y no
cambia de rama. Γ2 tiene ℓ1 = 1, ℓ−1 = 0 y pasa de una rama a la otra. En ambos casos z se
va eligiendo por continuidad a lo largo de la curva.
59
E2
E1
δ2 +
δ2
E0
δ1 +
δ1
v
δ0 +
δ0
u
Figura 19: Copias del plano w cortado a lo largo del semieje real positivo.
0
S
u
Figura 20: Superficie de Riemann de log w (w = 0 es común a todas hojas.)
60
hace corresponder una cualquiera de sus imágenes z0 = log w0 . Entonces para cualquier otro punto
w ∈ S se toma un arco Γ en S que conecte w0 con w y que no pase por 0. La imagen z = log w
correspondiente a w se asigna por continuidad siguiendo la imagen γ de Γ desde z0 hasta z. El
resultado no depende del arco Γ elegido ya que la imagen final z sólo depende del argumento final
de w. Este argumento es un valor fijo (que depende de la proyección de w en C) más un 2πℓ.
Cada valor de ℓ corresponde a una rama distinta de log w y también a una hoja distinta de S. De
este modo la función log w definida sobre S es univaluada ya que imágenes distintas corresponden a
originales distintos. La función ası́ definida31 es analı́tica en S. Los puntos de ramificación son puntos
no regulares por definición. Estos son los únicos puntos singulares. log w : S → C es univaluada y
1
analı́tica con derivada .
w
Para la función w1/n la construcción de su superficie de Riemann S es análoga excepto que
hay n hojas E0 , E1 , . . . , En−1 con identificación δ0− ≡ δ1+ , . . . , δk− ≡ δk+1
+ −
, . . . , δn−1 ≡ δ0+ . (Esto
corresponde a la superficie de Riemann de log w pero identificando las hojas módulo n.) Después
de n vueltas alrededor de w = 0 se vuelve al mismo punto de S. En este caso S recubre n veces
al plano complejo. De nuevo w1/n : S → C − {0} es univaluada y analı́tica, y 0, ∞ son los únicos
puntos donde la función no es analı́tica.
√
Ejemplo. Para la función z, z = 0, ∞ son los puntos de ramificación. Cada vez que Γ rodea
z = 0 se cambia de rama, después un número par de vueltas se vuelve a la misma rama. El corte de
rama se puede tomar según el semieje real positivo. La superficie de Riemann recubre dos veces C.
Se obtiene con dos copias de C cortadas identificando el borde superior de cada hoja con el inferior
de la otra. (Véase la fig. 21.)
√ √
√ Ejemplo. La √ función z − i+ z + i tiene cuatro hojas, correspondientes a las cuatro opciones
± z − i y ± z + i. Los puntos de ramificación son z = ±i e ∞, todos de orden 1. Los cortes
de rama se pueden tomar a lo largo de los semiejes {z = x + i , 0 ≤ x ≤ +∞} y {z = x − i , 0 ≤
x ≤ +∞}. Las cuatro hojas se pegan como se indica en la fig. 22.
Nota: La idea que se puede abstraer para una función multivaluada cualquiera ϕ(w) es la
siguiente: en C para determinar el valor de la función en un punto w tómese un punto fijo w0 y
una de sus imágenes ϕ(w0 ), y considérese un camino que vaya de w0 a w (y que no pase por los
puntos de ramificación). Los caminos que rodeen los puntos de ramificación de la misma forma son
equivalentes y producen el mismo valor de ϕ(w) (eligiendo la rama por continuidad). Caminos que
rodeen los puntos de ramificación de forma distinta pueden llevar a otras ramas de la función y en
31
La función no depende en realidad de la elección (w0 , z0 ) inicial ya que todas las hojas son idénticas hasta que
se decide qué logaritmo le corresponde a w0 .
61
z hoja 1 z hoja 2
γ
z∗ δ1 δ2
0
δ2 γ δ1
√
Figura
√ 21: Hojas de Riemann
√ para z. (La hoja 1 ha sido etiquetada arbitrariamente como
z y la hoja 2 como − z.) El borde etiquetado como δ1 de la hoja 1 está identificado con el
borde δ1 de la hoja 2, y lo mismo los bordes δ2 . La curva γ empieza en el punto z0 de la hoja
1, rodeando z = 0 llega al borde δ2 y pasa a la hoja 2, luego rodeando otra vez w = 0 llega al
borde δ1 y vuelve a la hoja 1 y a z0 . γ es una curva cerrada simple en la superficie de Riemann.
La proyección de γ sobre C es una curva cerrada que rodea w = 0 dos veces.
4 6
i i
3 5
√ √
Figura 22: Hojas de Riemann para z − i + z + i. Los bordes se pegan como se indica: el
borde superior 1 (en la hoja 1) se identifica con el borde inferior 1 (en la hoja 2), etc.
62
este caso son caminos inequivalentes al original. Por tanto en C importa el punto w al que se llega
y también cómo se llega (para determinar qué rama de la función se va a obtener). En cambio,
en la superficie de Riemann de ϕ(w), no importa cómo se llega a un punto: lo que serı́an dos
caminos inequivalentes en C directamente llevan a dos puntos distintos de la superficie de Riemann.
La función pasa a ser univaluada por construcción. Además esta construcción sólo depende de la
función multivaluada y no de cómo se descomponga en ramas. Matemáticamente, la superficie de
Riemann se puede ver como el conjunto de clases de equivalencia: cada clase formada por todos los
caminos que llevan a un mismo punto w en C y una misma rama de ϕ(w) definen un punto en S,
que es una réplica de w ∈ C.
63
7. Integración en el plano complejo
Definición. Una curva C con ecuación paramétrica z = z(t) (a ≤ t ≤ b) es suave sii z(t)
tiene derivada continua y no nula (ż(t) 6= 0) ∀t ∈ [a, b]. (En los extremos ż(a) se refiere a derivada
por la derecha y ż(b) a derivada por la izquierda.)
Definición. Sean C1 , C2 , . . . , Cn un conjunto finito de curvas suaves tales que el punto final de
Ck es el punto inicial de Ck+1 , para k = 1, . . . , n − 1. La curva C obtenida uniendo dichas curvas
se denomina curva suave a trozos.
Proposición. Una curva suave a trozos es rectificable (es decir, tiene longitud finita).
Definición. (Integral en C.) Sea f (z) una función definida en un dominio G y C una curva
suave contenida en G, con puntos inicial y final za y zb . Si z0 , z1 , . . . , zn con z0 = za , zn = zb , es un
conjunto de puntos de C ordenados por t creciente (correspondientes as a = t0 < t1 < · · · < tn = b),
consideremos la suma n
X
S= f (ζk )∆zk (7.2)
k=1
⌢
donde ∆zk = zk − zk−1 y ζk es un punto arbitrario del arco zk−1 zk . Sea ℓk la longitud del arco
⌢
zk−1 zk y λ = máx{ℓ1 , . . . , ℓn }, si el lı́mite
n
X
lı́m f (ζk )∆zk (7.3)
λ→0
k=1
existe y es finito, se dice que f (z) es integrable a lo largo de C y al lı́mite se le llama integral
de f (z) a lo largo de C, y se denota
Z
f (z) dz . (7.4)
C
64
Notas: 1) La integral depende de C y de la orientación de la curva. Cuando se diga curva se
entenderá curva orientada. 2) La integral, tal y como se ha definido, no depende de la parametrización
usada para la curva. (La parametrización debe consistente con la orientación de la curva.) 3) Como
se puede ver, si f (z) es real y C es un intervalo real, la integral que se ha definido coincide con la
integral de Riemann usual.
Es una consecuencia inmediata de la misma propiedad para integrales reales de lı́nea ya que ż(t)
también es continua por tratarse de una curva suave.
65
que es compatible con la definición anterior cuando C es ella misma suave.
Ejemplo. Calcúlese C z n dz donde C es una curva suave a trozos que une za con zb (puntos
R
inicial y final), n ∈ Z, n 6= −1, y C no pasa por z = 0 si n < 0 (en otro caso f (z) = z n no serı́a
continua sobre C). Primero lo hacemos para C suave:
Z b Z b
d 1 n+1
Z
n n
z dz = z (t) ż(t) dt = z (t) dt
C a a dt n+1
1 n+1 b 1
zbn+1 − zan+1 ,
= z (t) dt = (n 6= −1) . (7.9)
n+1 a n+1
Esta integral no depende de C sino sólo de za y zb . Cuando C es suave a trozos se aplica el resultado
anterior a cada trozo y se suma, y se obtiene exactamente la misma expresión.
En particular, se obtiene
Z
z n dz = 0 (C cerrada, n entero y 6= −1) (7.10)
C
si C es cualquier curva suave a trozos cerrada (que no pase por 0 si n < 0).
Definición. Si C es una curva suave a trozos, definimos C − como la curva C orientada al revés,
es decir, C − recorre los mismos puntos pero el punto final de C es el inicial de C − y viceversa.
Es inmediato notando que ∆zk → −∆zk con C → C − mientras que f (ζk ) no cambia.
Teorema. Sea f (z) integrable sobre una curva suave a trozos C y acotada en C (es decir, ∃K
tal que ∀z ∈ C |f (z)| < K) entonces
Z
f (z) dz ≤ Kℓ , (7.13)
C
66
siendo ℓ la longitud de C.
Demostración:
Xn X n n
X
f (ζk )∆zk ≤ |f (ζk )| |∆zk | ≤ K |∆zk | ≤ Kℓ . (7.14)
k=1 k=1 k=1
Teorema. (Teorema generalizado de la integral de Cauchy.) Sea C una curva simple, suave a
trozos y cerrada, y sea f (z) analı́tica en el interior de C (I(C)) y continua en I(C) ∪ C, entonces
Z
f (z) dz = 0 . (7.16)
C
Esta versión es más fuerte porque no se requiere que f (z) sea analı́tica sobre la curva sino sólo
continua. Por otro lado se exige que C sea simple pero esto no es una restricción ya que si C no es
simple se puede descomponer en curvas cerradas que lo sean.33 (Véase la fig. 23.)
Aquı́ se demostrará una versión mucho más débil del teorema de la integral de Cauchy en el que
se pide además que f ′ (z) sea continua en G (en realidad esta condición es redundante).34 Como se
ha visto, sin pérdida de generalidad se puede suponer que C es simple. En este caso se puede aplicar
el teorema de Green:
33
El motivo de no quitar la palabra “simple” en el enunciado es que sólo se ha definido el interior para curvas
cerradas simples.
34
Para una demostración sin suponer continuidad de la derivada consúltese el libro de Silverman.
67
C2
G G
C
C3
C1
Figura 23: Descomposición de una curva (C, a la izquierda) en curvas simples (C1 , C2 y C3 , a
la derecha). A efectos de integración C1 ∪ C2 ∪ C3 es equivalente a C.
Teorema. (Teorema de Green.) Sean P (x, y) y Q(x, y) con derivadas parciales continuas sobre
la curva C (simple, cerrada y suave a trozos) ası́ como en el interior de C, entonces
ZZ
∂Q ∂P
Z
(P dx + Q dy) = − dx dy , (7.17)
C I ∂x ∂y
35
donde C está orientado positivamente e I es el interior de C.
68
zb
C1 G
_
C2
za
Figura 24: Igualdad de integrales al cambiar de arco: La curva C1 ∪ C2− es cerrada y la integral
sobre ella se anula. La integrales sobre C1 o sobre C2 son iguales.
Nota: Más generalmente, si C1 y C2 son dos arcos suaves a trozos que empiezan y acaban en
los mismos puntos, C1 ∪C2− es una curva cerrada que, o bien es simple, o bien se puede descomponer
en curvas cerradas simples.
R Si f (z) esRanalı́tica en los interiores de esas curvas simples y continua
en la frontera entonces C1 f (z) dz = C2 f (z) dz .
Por el teorema de la integral de Cauchy, ya que la integral sobre C0 ∪ C1− ∪ C2− se puede asimilar a
la integral sobre un camino cerrado. (Véase la fig. 25.)
36
Esta construcción se ha considerado antes en la sección 3.2. Véase la figura 5.
69
_
C1
_
C2
C0
Figura 25: Igualdad de integrales sobre curvas cerradas: Si f (z) es analı́tica en la zona sombreada
y al menos continua sobre las curvas, la integral sobre C0 ∪ C1− ∪ C2− se anula. El arco que une
C0 con C1 se recorre primero en un sentido y luego en el otro y no contribuye a la integral, y
lo mismo vale para el arco que une C0 con C2 . La integral sobre C0 es igual a la integral sobre
C1 ∪ C2 .
Ejemplo. Si f (z) es analı́tica fuera del conjunto cerrado E (véase la fig. 26) las integrales
sobre C1 y C2 son iguales. Se puede ver notando que ambas coinciden con la integral sobre C.
⌢
Alternativamente, se ve notando que las integrales sobre los arcos za zb de la curvas C1 y C2 son
⌢
iguales, y lo mismo para los arcos zb za .
Ejemplo. Sea C una Zcurva suave a trozos, cerrada, simple y orientada positivamente que no
1
pasa por z = 0. Calcúlese dz .
C z
a) Que C no encierre z = 0 (es decir, que z = 0 no sea del interior de C). En este caso
1
Z
dz = 0 (7.22)
C z
1
ya que f (z) = es analı́tica en el interior de C y continua (de hecho analı́tica) sobre C.
z
b) Que C encierre el punto z = 0. Entonces existirá una circunferencia γR con centro 0 y radio
R contenida en el interior de C. La función 1/z es analı́tica entre las dos curvas C y γR y
sobre ellas, por tanto
1 1
Z Z
dz = dz . (7.23)
C z γR z
70
C1
G
za
zb
E
C C2
Figura 26: Igualdad de integrales sobre curvas cerradas: La integral sobre C1 , C2 y C son iguales
si f (z) es analı́tica en G − E.
1
Ejemplo. Calcúlese la integral de f (z) = a lo largo del segmento recto que empieza en z = 1
z
y acaba en z = i.
71
i
C2
C1
0 1
1
Figura 27: Caminos de integración equivalentes para f (z) = .
z
Definición. Sea f (z) una función definida en un dominio G. Toda función (univaluada) F (z) tal
que F ′ (z) = f (z) es una primitiva de f (z) en G. (Nótese que una primitiva siempre es analı́tica.)
a lo largo de cualquier curva suave a trozos contenida en G, con punto inicial z0 (fijo) y final z
(variable), define una primitiva de f (z) en G, es decir, una función univaluada y analı́tica en G con
derivada F ′ (z) = f (z).
Demostración:
a) Veamos que F (z) no depende del camino y por tanto es univaluada: Si C1 y C2 son dos curvas
que empiezan en z0 y acaban en z, C1 ∪C2− forma un camino cerrado. Como G es simplemente
conexo, el interior I de C1 ∪ C2− está contenido en G y por tanto f (z) es analı́tica en I. En
ese caso Z Z Z
f (ζ) dζ = 0 y f (ζ) dζ = f (ζ) dζ , (7.28)
C1 ∪C2− C1 C2
72
b) Veamos que F ′ (z) = f (z): Sea z un punto cualquiera de G y sea z + h un punto de un
entorno de z contenido en G
Z z+h Z z Z z+h
F (z + h) − F (z) = f (ζ) dζ − f (ζ) dζ = f (ζ) dζ , z, z + h ∈ G . (7.29)
z0 z0 z
F (z + h) − F (z) 1 z+h
Z
− f (z) = f (ζ) − f (z) dζ . (7.30)
h h z
Dado que f (z) es continua |f (ζ) − f (z)| < ǫ ∀ǫ > 0 tomando h suficientemente pequeño.
Z z+h
F (z + h) − F (z) 1 1
− f (z) = f (ζ) − f (z) dζ < ǫ|h| = ǫ . (7.31)
h |h| z
|h|
Se deduce que
F (z + h) − F (z)
F ′ (z) = lı́m = f (z) (7.32)
h→0 h
y F (z) es analı́tica en G.38
Demostración: Definimos
Z z
C(z) = Φ(z) − f (ζ) dζ . (7.34)
z0
Se trata de probar que C(z) es constante. Usando que la integral indefinida en un dominio simple-
mente conexo es una primitiva se sigue
Z z
′ ′ d
C (z) = Φ (z) − f (ζ) dζ = f (z) − f (z) = 0 . (7.35)
dz z0
38
Obsérvese que en la demostración sólo se ha usado que la integral no depende del camino y que f (z) es continua.
73
Sea C(z) = u(x, y) + iv(x, y), por las ecuaciones de Cauchy-Riemann
0 = C ′ (z) = ux + ivx = vy − iuy (7.36)
implica ux = vx = vy = uy = 0 y u, v, C son constantes en G.
Se deduce que si Φ(z) es una primitiva de la función analı́tica f (z) en un dominio simplemente
conexo G Z z1
∀z1 , z2 ∈ G Φ(z1 ) − Φ(z2 ) = f (ζ) dζ . (7.37)
z2
Lo que se ha visto es que en un dominio simplemente conexo una primitiva es una integral
indefinida y viceversa.
Teorema. (Fórmula integral de Cauchy.) Sea C una curva cerrada, simple y suave a trozos, y
orientada positivamente, y sea f (z) analı́tica sobre C y en su interior, I.39 Entonces,
1 f (z)
Z
∀z0 ∈ I , f (z0 ) = dz . (7.38)
2πi C z − z0
1
Z
Demostración: Teniendo en cuenta que dz = 2πi, la fórmula a probar equivale a
C z − z0
f (z) − f (z0 )
Z
∀z0 ∈ I , dz = 0 . (7.39)
C z − z0
Dado que f (z) es analı́tica, el integrando también es una función analı́tica en I − {z0 }. Por ello
f (z) − f (z0 ) f (z) − f (z0 )
Z Z
dz = dz , (7.40)
C z − z0 γR z − z0
siendo γR una circunferencia de radio R y centro z0 contenida en I. Como f (z) es continua |f (z) −
f (z0 )| < ǫ ∀ǫ > 0 eligiendo R suficientemente pequeño. Entonces,
Z
f (z) − f (z0 ) ǫ
dz < 2πR = 2πǫ → 0 . (7.41)
γR z − z0 R
39
Equivalentemente, C una curva suave a trozos, cerrada y simple, y orientada positivamente, f (z) es analı́tica en
un dominio G que contiene a C y a su interior, I.
74
La fórmula integral de Cauchy implica que el valor de una función analı́tica en el interior de
una curva cerrada está determinado por el valor de la función sobre la curva. Este resultado es muy
notable. La afirmación análoga no es cierta por ejemplo para funciones reales diferenciables en R2 .
Ejemplo. La función f : R2 → R
1
exp , x2 + y 2 < 1
f (x, y) = x2 + y 2 − 1 (7.42)
0, x2 + y 2 ≥ 1
Por ser f (z) = u(x, y) + iv(x, y) analı́tica, u, v satisfacen las ecuaciones de Cauchy-Riemann. El
teorema dice que las condiciones de contorno consistentes en especificar u, v sobre C, son suficientes
para resolver las ecuaciones en el interior de C, y (7.38) proporciona la solución en forma explı́cita.
En realidad, como se verá en el capı́tulo 10, no hace falta conocer la función sobre toda la curva,
sino que basta especificarla en un arco (abierto) de la curva, por pequeño que sea, para que la
función quede completamente determinada.
Teorema. En las mismas condiciones del teorema de la fórmula integral de Cauchy, f (z) admite
infinitas derivadas en I (el interior de la curva C), que vienen dadas por
n! f (z)
Z
(n)
f (z0 ) = dz , z0 ∈ I , n = 0, 1, 2, . . . (7.43)
2πi C (z − z0 )n+1
75
d
Z
fórmula integral de Cauchy si conmuta con .40 En efecto,
dz0 C
dn f (z0 ) dn 1 f (z)
Z
(n)
f (z0 ) = n
= n dz
dz0 dz0 2πi C z − z0
1 dn f (z) n! f (z)
Z Z
= n
dz = dz . (7.44)
2πi C dz0 z − z0 2πi C (z − z0 )n+1
(integrando sobre un arco en G que una z0 con z) define una función univaluada ya que si C1 , C2
son dos arcos con punto inicial z0 y final z, la curva C1 ∪ C2− es cerrada y la integral sobre ella se
anula por hipótesis. Usando que f (z) es continua, y siguiendo los mismos pasos de la demostración
usada en el teorema de la pág. 72, se prueba que F (z) es derivable con F ′ (z) = f (z). De aquı́ se
sigue que F (z) y f (z) son analı́ticas.
Definición. Sea z0 ∈ C y C una curva suave a trozos cerrada que no pase por z0 . Se define el
40 f (z)
Esto se cumple ya que C es un conjunto compacto y f (z) es uniformemente continua en C y de hecho
z − z0
es infinitamente diferenciable con respecto a z0 para z ∈ C, z0 6∈ C.
76
ı́ndice de C respecto de z0 mediante la fórmula
1 1
Z
n(C, z0 ) = dz . (7.46)
2πi C z − z0
1 _1
1
2
1 0
Figura 28: Descomposición de C en dominios según el ı́ndice respecto de una curva cerrada.
Propiedades. El ı́ndice es un número entero que cuenta el número de veces que C rodea z0
en sentido positivo. Por tanto, es invariante si se mueve z0 sin cruzar C o bajo una deformación
continua de la curva C que no pase por z0 . Además el ı́ndice cambia de signo si se cambia la
orientación de C.
Ejemplo. Para la curva de la figura 28, indicamos los dominios de C con los distintos valores
del ı́ndice asociado. Para obtener este resultado basta descomponer la curva en curvas simples.
Alternativamente, para obtener n(C, z0 ) basta contar cuántas veces (con su signo) hay que cruzar
C para llevar z0 al punto del infinito.
77
Demostración: Basta descomponer C en curvas simples y aplicar la fórmula integral de Cauchy
a cada una.
Corolario: Sea G un dominio acotado y sea Ḡ la correspondiente región cerrada (G junto con
su frontera). Entonces, si f (z) es analı́tica en G y continua en Ḡ, |f (z)| tiene un máximo en la
frontera.
Demostración: Una función real continua siempre alcanza un máximo en un conjunto com-
pacto. Puesto que el máximo no está en el interior de Ḡ tiene que estar en su frontera.
78
1
Demostración: Basta aplicar el principio del módulo máximo y los corolarios a la función .
f (z)
Dicho de otro modo, si f (z) es analı́tica, |f (z)| no tiene máximos locales. Si además no se anula
tampoco puede tener mı́nimos locales.
En la Sec. 7.4 se mostró que una función analı́tica f (z) en un dominio simplemente conexo G
tiene una primitiva, única salvo constante aditiva, que es su integral indefinida
Z z
F (z) = F (z0 ) + f (z) dz z0 , z ∈ G (7.51)
z0
donde la integral es sobre una curva suave a trozos C contenida en G que una un punto fijo z0 con
un punto cualquiera z de G. La integral no depende de la curva.
1
Para la función f (z) =
, que es analı́tica en todo el plano complejo excepto z = 0, podemos
z
tomar como dominio Gp = C − {x ≥ 0} que es simplemente conexo, y una curva Cp ⊂ Gp . Una
1
primitiva de f (z) = en este dominio es Log z y por aplicación del teorema
z
Z z
1
Log z = Log z 0 + dz , C p ⊂ Gp . (7.52)
z0 ,Cp z
Teniendo en cuenta que Arg z ∈ [0, 2π[, Log 1 = 0 se puede alcanzar tomando el lı́mite z0 → 1
desde el semiplano superior (es decir, el semiplano { Im z > 0})41 y se puede escribir
Z z
1
Log z = lı́m dz , C p ⊂ Gp . (7.53)
z0 →1
Im z >0 z 0 ,C p
z
0
(El lı́mite es necesario ya que 1 no pertenece al dominio Gp .)42 Esto es equivalente a tomar una
curva C que empiece en 1, siga hacia arriba inicialmente y luego siga hasta un punto cualquiera z
(no nulo) sin cruzar el semieje real positivo en ningún momento.
(Nótese que si C empieza en 1 pero sigue hacia abajo inicialmente sin cruzar después el semieje
41
El lı́mite z0 → 1 desde el semiplano inferior da, en cambio, Log z 0 → 2πi. La función Log z no es continua a
lo largo del semieje real positivo.
42
O también Z z
1
Log z = dz , Cp ⊂ Gp .
+
1+i0 ,Cp z
79
C
0 1
C
2
C1
z
1
Z
Figura 29: La curva C proporciona Log z mediante dz. C1 y C2 producen Log z + 2πi y
C z
Log z − 2πi, respectivamente.
real positivo hasta alcanzar z, se obtiene otro resultado, a saber, Log z − 2πi.) Si C se corta según
otros semiejes se obtienen otras determinaciones del arg z y del log z.
Si en vez de restringirnos al plano complejo cortado permitimos curvas C que unan z0 = 1 con
z por cualquier camino (pero excluyendo z = 0 para garantizar que la integral exista) se obtiene
Z z
1
dz = Log z + 2πin = log z (0 6∈ C) (7.54)
1,C z
siendo n el número de veces (con su signo) que z = 0 es rodeado por el camino cerrado γ que se
obtiene al recorrer C y luego volver por un camino canónico Cp (es decir, un camino contenido en
el plano cortado según el semieje real positivo).43 En resumen, si para la función 1/z, univaluada
pero singular en z = 0, se busca una primitiva en el dominio G = C − {0}, que no es simplemente
conexo, se obtiene la función primitiva multivaluada log z obteniéndose ramas distintas al seguir
caminos inequivalentes (con distinto n). (Véase la fig. 29.)
43
En efecto,
1 1 1
Z Z Z
2πin = dz = dz − dz = log z − Log z . (7.55)
γ z C z Cp z
80
1
Si se toma f (z) = definida sobre la superficie de Riemann de la función logaritmo, S (tomando
z
el mismo valor en todas las réplicas) la fórmula
Z z
1
log z = dz (7.56)
1 z
(sobre cualquier curva C ⊂ S que una 1 con z) es directamente correcta, ya que S es un dominio
simplemente conexo: caminos en S que son inequivalentes al proyectarlos sobre C acaban en puntos
distintos en la superficie de Riemann y no hay multivaluación en S. Aquı́ 1 ∈ S es la réplica de
1 ∈ C tal que log 1 = 0.
α β
El análisis para la función f (z) = + es similar: f (z) es analı́tica en G = C−{a}−{b}
z−a z−b
que no es simplemente conexo. Gp = C − {a + t, t ≥ 0} − {b + t, t ≥ 0} es simplemente conexo y
define una primitiva univaluada, F (z) = α Log (z − a) + β Log (z − b). Si se integra en G se obtiene
F (z) = α log(z − a) + β log(z − b). La multivaluación es del tipo (αn1 + βn2 )2πi, correspondiente
al número de vueltas del camino de integración C alrededor de z = a y z = b comparado con un
camino Cp fijo. En la superficie de Riemann hay una hoja por cada valor de n1 y de n2 (para α, β
genéricos, concretamente, no conmensurables, y a 6= b).
Finalmente consideremos la integral indefinida de una función multivaluada. Sea f (z) = log z,
cuya primitiva es F (z) = z log z − z. Estas funciones son multivaluadas en C pero univaluadas y
analı́ticas en S, la superficie de Riemann del logaritmo.
Cuando f (z) es analı́tica en Cρ y en su interior, I = 0. Cuando f (z) es analı́tica fuera del disco
1
|z| < r, el resultado no depende de ρ, siempre que ρ > r, (por ejemplo, para f (z) = , I = 2πi).
z
En cambio si tomamos f (z) = Log z,
El resultado depende de ρ. El motivo es que o bien se trabaja con el plano cortado y Log z es no
analı́tica en el semieje real positivo, o bien se trabaja en la superficie de Riemann. En este caso log z
es analı́tica fuera de z = 0 pero entonces Cρ no es cerrado, ya que sobre la superficie de Riemann Cρ
81
a b a
b
R
Figura 30: Curvas no homotópicas equivalentes en γ
dz f (z) para f (z) analı́tica en C \ {a, b}.
empieza y acaba en puntos distintos. En otros casos, como por ejemplo log2 z, el resultado depende
no sólo de ρ sino también del punto donde empieza y acaba el recorrido.
7.11. Complementos
Demostración: Dado que los puntos son aislados basta demostrarlo para el caso de un único
punto z1 y G simplemente conexo. La proposición se sigue del teorema de Morera una vez que se
verifique que la integral de f (z) sobre cualquier curva cerrada y suave a trozos C, contenida en G,
es cero. Si la curva no tiene a z1 en su interior la integral se anula por el teorema (generalizado) de
la integral de Cauchy. Si z1 está en el interior de C, la integral no cambia si se reemplaza C por una
circunferencia γǫ de radio ǫ > 0 centrada en z1 contenida en el interior de C. Esta integral tiende a
0 cuando ǫ → 0+ por ser f (z) continua en z = z1 .
Para toda f (z) analı́tica en G la integral sobre un camino contráctil es cero y la integral sobre
dos caminos homotópicos es la misma. Sin embargo el recı́proco no es cierto. Dos caminos pueden
82
no ser homotópicos y sin embargo proporcionar siempre la misma integral. Como lo demuestra el
ejemplo de la fig. 30.
83
8. Series complejas
sn = z 1 + z 2 + z 3 + · · · + z n (8.2)
Nota: Es importante enfatizar que cada serie está asociada unı́vocamente a la sucesión {zn }
formada por sus términos. Dos sucesiones distintas (por ejemplo, reordenadas44 una respecto de otra)
definen series distintas. Por otro lado, la información contenida en {zn } (sucesión de los términos)
y en {sn } (sucesión de sumas parciales) es la misma ya que una sucesión se puede reconstruir a
partir de la otra.
En consecuencia se pueden aplicar los criterios conocidos para el caso real. En particular, se
deduce
84
8.2. Convergencia absoluta
P∞ P∞
Definición. La serie n=1 zn es absolutamente convergente sii n=1 |zn | es convergente.
Teorema. Si ∞
P P∞ ′ ′
n=1 zn = s y n=1 zn = s y son dos series convergentes,
∞
X
(αzn + α′ zn′ ) = αs + α′ s′ . (8.3)
n=1
Teorema. Si ∞
P P∞ ′ ′
n=1 zn y n=1 zn son absolutamente
P∞ ′′convergentes con sumas s y s , respectiva-
mente, la serie producto en el sentido de Cauchy, P∞ zn , es a su vez absolutamente convergente,
n=1 P
′ ∞ ′
con suma
P∞ ′′ ss . Si cualquiera de las series z
n=1 n y n=1 zn es condicionalmente convergente
′
n=1 zn puede ser divergente, pero si converge lo hace a ss .
85
Nota: Si ∞
P
n=1 zn es absolutamente convergente su valor no cambia bajo reordenación arbitraria
de la serie. La afirmación no es cierta para una serie condicionalmente convergente. De hecho,
reordenando una serie real condicionalmente convergente se puede obtener cualquier valor prefijado,
incluido infinito.
Definición. Una serie de funciones es una serie cuyos términos son funciones, fn (z), definidas
en un mismo dominio (de definición) E,
∞
X
fn (z) = f1 (z) + f2 (z) + · · · + fn (z) + · · · . (8.5)
n=1
Si la serie obtenida para cada valor de z ∈ E es convergente, la serie define una función s(z) que
es su suma en E,
∞
X
s(z) = fn (z) , ∀z ∈ E . (8.6)
n=1
Obviamente s(z) es univaluada ya que las fn (z) lo son. En general s(z) no será continua en E
aunque la funciones fn (z) lo sean.
Ejemplo.
2 3 2 0 si |z| < 1
z + (z − z) + (z − z ) + · · · = . (8.7)
1 si z = 1
Las sumas parciales son sn (z) = z n . La suma de esta serie de funciones no es continua en el intervalo
real E = {0 ≤ z ≤ 1}, aunque fn (z) = z n − z n−1 es continua en E y la serie de funciones es
convergente en E.
La continuidad de ∞
P
n=1 fn (z) = s(z) queda garantizada si se cumple una condición más fuerte:
Definición. Sea ∞
P
n=1 fn (z) = s(z) una serie de funciones convergente en E. La serie se dice
que es uniformemente convergente sii ∀ǫ > 0 ∃ν(ǫ) tal que ∀n > ν y ∀z ∈ E |sn (z)−s(z)| < ǫ.
(sn (z) es la n-ésima suma parcial.)
Nota: La diferencia con la convergencia puntual es que en ésta ν(ǫ, z0 ) puede depender del
86
punto z0 y en la convergencia uniforme ν(ǫ) tiene que ser común para todos los puntos de E.
Convergencia uniforme implica convergencia puntual.
Ejemplo. z + ∞ n n−1
P
n=2 (z − z ) no es uniformemente convergente en {|z| < 1} ya que |sn (z) −
n
s(z)| = |z | < ǫ no está garantizado simplemente tomando n suficientemente grande. Esto se debe
a que lı́mz→1 |z|n = 1 y valores de z cada vez más próximos a |z| = 1 requieren n cada vez mayores.
(Para cada n y ǫ no hay dificultad en elegir z, |z| < 1, suficientemente próximo a |z| = 1 de modo
que |z n | ≥ ǫ.) En cambio esta serie de funciones sı́ es uniformemente convergente en la región
{|z| ≤ R} para cualquier R, 0 < R < 1, ya que |z|n ≤ Rn → 0.
n→∞
P∞
Lema. Si n=1 fn (z) es uniformemente convergente en E también lo es en todo subconjunto
de E.
Demostración: Si |g(z)| < K ∀z ∈ E, |sn (z) − s(z)| < ǫ implica |g(z)sn (z) − g(z)s(z)| < Kǫ
que se puede hacer arbitrariamente pequeño tomando n suficientemente grande para todos los puntos
de E a la vez.
Teorema. Si ∞
P
n=1 fn (z) converge uniformemente en un conjunto E y ∀n fn (z) es una función
continua en E, entonces su suma s(z) es también una función continua en E.
Teorema. Si ∞
P
n=0 an es absolutamente convergente, y |fn (z)| ≤ |an | ∀n y ∀z ∈ E, entonces
87
P∞
n=1 fn (z) es uniforme y absolutamente convergente en E.
R Demostración: La convergencia uniforme implica que ∀n > ν(ǫ) |s(z) − sn (z)| < ǫ, entonces
| C (s(z) − sn (z)) dz| < ℓǫ → 0 (siendo ℓ la longitud de C). Se deduce
n→∞
Z Z n Z
X ∞ Z
X
s(z) dz = lı́m sn (z) dz = lı́m fk (z) dz = fn (z) dz . (8.12)
C n→∞ C n→∞ C C
k=1 n=1
88
sea simplemente conexo elegimos R suficientemente pequeño de modo que el interior de γR esté
contenido en G y se pueda aplicar la fórmula integral de Cauchy. Fijada γR , a partir de ahora
consideramos solamente puntos z0 contenidos en el interior de una circunferencia γr contenida en
el interior de γR (r < R). Como s(z) es continua, por ser suma uniformemente convergente de
funciones continuas, la siguiente integral existe:
∞ ∞
1 s(z) X 1 fn (z)
Z Z X
∀z0 ∈ I(γr ) dz = dz = fn (z0 ) = s(z0 ) . (8.13)
2πi γR z − z0 n=1
2πi γR z − z0 n=1
45
No se hace aquı́. Véase, por ejemplo el libro de Silverman
89
9. Series de potencias
Estas series son de gran importancia en análisis complejo. A menudo se tomará a = 0 ya que
todos los resultados se pueden generalizar fácilmente al caso a 6= 0.
Lema. Si ∞ n
P
n=0 cn z converge en z1 6= 0, entonces es absolutamente convergente ∀z tal que
|z| < |z1 |. Si diverge en z2 diverge ∀z tal que |z| > |z2 |.
∞
X
Demostración: Si cn z1n es convergente entonces lı́mn→∞ cn z1n = 0 y se deduce
n=0
En el último paso se ha usado que |z/z1 | < 1 y en este caso la serie geométrica es convergente. La
segunda parte del lema es consecuencia inmediata de la primera.
90
Demostración: Sea G̃ la región de convergencia. Por hipótesis, {0} ( G̃ ( C, es decir, hay
puntos z1 6= 0 en G̃ y puntos z2 en C − G̃. Del lema se sigue que 0 < |z1 | ≤ |z2 | < ∞. R es el
supremo de los |z1 | y el ı́nfimo de los |z2 | y 0 < R < ∞. También por el lema, la convergencia en
|z| < R es absoluta.
Definición. Se deduce que cuando G̃ 6= {0} la región de convergencia es en efecto una región,
ya que es C o el disco abierto de radio R junto con parte de su frontera (a saber, los posibles puntos
de convergencia con |z| = R). A R se le denomina radio de convergencia, 0 ≤ R ≤ ∞ (0 o ∞
si la región de convergencia es {0} o C, respectivamente).
Teorema. Si ∞ n
P
n=0 cn z tiene radio de convergencia R no nulo, la convergencia es uniforme
en cualquier subconjunto compacto de {|z| < R}.
Demostración: Todo subconjunto compacto E del disco abierto {|z| < R} está contenido
en algún disco cerrado D̄r = {|z| ≤ r} con r < R. (En efecto, ya que necesariamente habrá una
distancia mı́nima no nula entre los puntos de E y la circunferencia |z| = R, por ser E compacto.)
Por el lema de pág. 87 basta demostrar la convergencia uniforme en D̄r .
|rn y la serie ∞
Para |z| ≤ r < R, |cn z n | ≤ |cn P n
P
n=0 cn r es absolutamente convergente por
r < R. Por el teorema en la pág. 88, ∞ n
n=0 cn z converge uniformemente en D̄r .
Teorema. Dada una serie con radio de convergencia R > 0, su suma s(z) = ∞ n
P
n=0 cn z es
analı́tica en |z| < R, además
∞
X
′
s (z) = ncn z n−1 , (9.3)
n=1
implica que cuando la serie de las derivadas converge la original también, R′ ≤ R. De aquı́ se sigue
R′ = R.
91
9.2. Determinación del radio de convergencia
Los criterios de convergencia de series reales se pueden aplicar para determinar el radio de
convergencia.
∞
an X
Ejemplo. Según el criterio del cociente, si existe el lı́mite lı́m
= α, la serie an
n→∞ an−1
n=0
converge absolutamente si α < 1 y diverge si α > 1. Para la serie an = cn z n , hay convergencia
cn
absoluta o divergencia siempre que α = |z| lı́m sea menor o mayor que 1, respectivamente.
n→∞ cn−1
Es decir,
1 cn
= lı́m (9.5)
R n→∞ cn−1
si el lı́mite existe.
P∞
Ejemplo. Para n=0 z n /n!, cn /cn−1 = 1/n → 0, y R = ∞.
n→∞
1
entonces el radio de convergencia es R = , con 0 ≤ l ≤ +∞.
l
Demostración:
92
a) Caso l = +∞. Entonces {|cn |1/n } es no acotada. Esto implica:
b) Caso l = 0. Entonces {|cn |1/n } es acotada y no negativa y al ser l = 0 el mayor punto lı́mite
debe ser también el lı́mite, lı́mn→∞ |cn |1/n = 0. Es decir,
∀ǫ > 0 ∃ν(ǫ) tal que ∀n > ν |cn |1/n < l + ǫ .47 (9.9)
1
En este caso, sea z1 cualquiera tal que |z1 | < . Tomando
l
n
1 − l|z1 | 1/n 1 + l|z1 | 1 + l|z1 |
ǫ= > 0, |cn | < , |cn z1n | < = rn , (9.10)
2|z1 | 2|z1 | 2
93
Ejemplo.
∞
X
c) n!z n . En este caso l = ∞ y R = 0 ya que n! > rn ∀r > 0 y ∀n > ν(r).
n=0
∞
X zn
d) . Es inmediato que l = 0 y R = ∞.
n=0
n!
La convergencia de una serie de potencias en los puntos tales que |z| = R depende del caso.
∞
X zn
Ejemplo. Para la serie 1 + :
n=1
ns
94
10. Series de Taylor
A su vez, dada la suma de la serie, s(z), podemos determinar los coeficientes, cn : Por el teorema
de Weierstrass, las derivadas sucesivas de s(z) se obtienen derivando término a término:
∞ ∞
X n! X (n + k)!
s(k) (z) = cn (z − a)n−k = cn+k (z − a)n , (10.2)
n=k
(n − k)! n=0
n!
s(n) (a)
cn = . (10.3)
n!
y por tanto,
∞
X s(n) (a)
s(z) = (z − a)n . (10.4)
n=0
n!
Se deduce que la serie queda unı́vocamente determinada por su suma. Obsérvese que los co-
eficientes se pueden determinar también integrando, en lugar de derivando, mediante la fórmula
integral de Cauchy (véase la ecuación (10.6)).
Teorema. (Desigualdades de Cauchy.) Sea s(z) la suma de una serie de potencias centrada
en a con radio de convergencia R > 0. Y sea |s(z)| ≤ K en el disco |z − a| < ρ (0 < ρ ≤ R).
Entonces, (n)
s (a) K
n! ≤ ρn , n = 0, 1, 2, . . . (10.5)
95
Demostración: Sea γr la circunferencia de radio r, 0 < r < ρ centrada en a y orientación
positiva, entonces, por la fórmula integral de Cauchy,
n! s(z)
Z
(n)
s (a) = dz, n = 0, 1, 2, . . . (10.6)
2πi γr (z − a)n+1
Dado que K es una cota de s(z) en el disco |z − a| < ρ que contiene a γr se deduce
n! K n! K
|s(n) (a)| ≤ n+1
2πr = n ∀r < ρ, (10.7)
2π r r
y en consecuencia se obtiene (10.5) que es la mejor de las cotas.
P∞ n
La serie n=0 cn (z − a) define una función analı́tica en z = a (siempre que el radio de
convergencia sea no nulo). Veamos un recı́proco:
Teorema. Sea f (z) analı́tica en el disco abierto Dρ = {z |z − a| < ρ} para cierto ρ > 0.
Entonces, f (z) admite desarrollo en serie de Taylor en Dρ , es decir,
∞
X f (n) (a)
f (z) = (z − a)n , ∀z ∈ Dρ . (10.8)
n=0
n!
Y por tanto R ≥ ρ, siendo R el radio de convergencia de la serie. Los cn = f (n) (a)/n! son los
coeficientes del desarrollo en serie de Taylor de f (z) en torno a z = a.
96
Notas: :
1) Toda función analı́tica lo es en algún disco por pequeño que sea, y se aplica el teorema.
2) El teorema no afirma que f (z) sea analı́tica en todo su disco de convergencia DR = {|z −a| <
R} (en cuyo caso coincidirı́a con la suma de la serie). Por ejemplo la función
z
e , z 6= 1
f (z) = (10.10)
0, z = 1
es analı́tica en el disco |z| < 1 y ahı́ coincide con la suma de su serie de Taylor, con radio de
convergencia infinito, pero no es analı́tica en z = 1. En general la función f (z) estará definida en
un dominio mayor, E, tal que Dρ ⊂ E y la serie y la función pueden no coincidir fuera de Dρ . El
teorema implica que si f (z) y s(z) no coinciden en todo DR , f (z) no puede ser analı́tica en todo
DR .
3) El teorema implica que si f (z) es derivable en el entorno de un punto como función compleja,
automáticamente también es analı́tica en el sentido de desarrollable en serie de potencias con radio
de convergencia no nulo. La misma propiedad no es válida para funciones reales.
1
Ejemplo. f (x) = e− |x| , x ∈ R, es derivable (infinitas veces) en todo R, sin embargo no es
analı́tica. En efecto, f (n) (0) = 0, n = 0, 1, 2, 3, . . . por tanto la suma de la serie de Taylor alrededor
de x = 0 es idénticamente cero aunque la función no es idénticamente cero en un entorno de x = 0.
Solución: En este caso las sucesivas derivadas producen expresiones cada vez más complicadas.
El resultado se obtiene más fácilmente usando los desarrollos conocidos de las funciones seno y
coseno:
1 1
sen w = w − w3 + · · · , cos w = 1 − w2 + · · · . (10.11)
3! 2!
97
Denotando O(z n ) los términos del tipo an z n + an+1 z n+1 + · · · , se tiene
cos z 1 − 21 z 2 + O(z 4 )
f (z) = =
1 + sen(z 2 ) 1 + z 2 + O(z 4 )
1 3
= (1 − z 2 + O(z 4 ))(1 − z 2 + O(z 4 )) = 1 − z 2 + O(z 4 ) . (10.12)
2 2
En la tercera igualdad se ha usado el desarrollo de Taylor de 1/(1 − w):
1
= 1 + w + O(w2 ). (10.13)
1−w
Nota: Es importante notar que O(z n ) representa distintas series en cada caso. Es decir, f (z) =
O(z 3 ) y g(z) = O(z 3 ) no implica f (z) = g(z). O(z n ) representa cualquier serie con aj = 0 si j < n,
por tanto, z m O(z n ) = O(z n+m ) y también O(z n )O(z m ) = O(z n+m ), y (O(z n ))m = O(z nm ), etc.
Ejemplo. Los puntos de ramificación de una función multivaluada son puntos singulares. Los
puntos a, b son puntos singulares de 1/((z − a)(z − b)).
Teorema. Sea f (z) analı́tica en z = a, con radio de convergencia R < ∞. Si f (z) es analı́tica
en todo el disco {|z − a| < R}, entonces necesariamente tiene algún punto singular en la frontera
{|z − a| = R}.
Demostración: Si f (z) fuera analı́tica en todos los puntos |z −a| ≤ R, habrı́a un disco mayor48
{|z − a| < ρ}, ρ > R, en el cual también serı́a analı́tica y por tanto coincidirı́a con su desarrollo en
serie de Taylor en un disco de radio mayor que R, en contra de la hipótesis de que R es el radio de
convergencia.
48
Si la función es analı́tica en todos los puntos de la circunferencia |z − a| = R lo será también en entornos de estos
puntos y por el teorema de Heine-Borel la circunferencia se podrá recubrir con un conjunto finito de tales entornos.
De ahı́ que la función serı́a analı́tica en un disco mayor.
98
1
Ejemplo. Para la función real , x ∈ R, su desarrollo en serie de potencias en torno a
1 + x2
x = 0, 1 − x2 + x4 − x6 + · · · , deja de converger cuando |x| ≥ 1 sin razón aparente, ya que
la función es perfectamente bien comportada para todo x real. Esto se entiende yendo al plano
1
complejo: f (z) = es analı́tica excepto en z = ±i. Por lo tanto es analı́tica en el disco
1 + z2
|z| < 1 y necesariamente R ≥ 1. Si R fuera mayor que 1 la suma de la serie serı́a analı́tica en z = i.
1
Eso es imposible porque la suma de la serie es en el disco |z| < 1 y el lı́mite cuando z → i
1 + z2
es ∞. Se deduce que R = 1.
Nota: El teorema no afirma que una función f (z) analı́tica en z = a con radio de convergencia
finito R en su serie de Taylor tenga necesariamente que ser singular en algún punto de |z − a| = R.
Por ejemplo la función 1
, |z| < 21
f (z) = 1−z (10.14)
0, z ≥ 12
analı́tica en z = 0 con R = 1 es también analı́tica en |z| = 1.
Como regla, el radio de convergencia llega hasta la singularidad más próxima, a menos que esa
singularidad se pueda evitar redefiniendo la función de modo que sea analı́tica en un dominio mayor.
Singularidades que no se pueden evitar son, entre otras, polos (el lı́mite existe pero es infinito),
singularidades esenciales (el lı́mite no existe) y puntos de ramificación.
√
Ejemplo. Si f (z) = z con el corte de rama en el semieje R+ , y se desarrolla en torno a
z = 1 + i, la singularidad más próxima está en z = 1 (el punto más próximo sobre el
√ corte de rama,
sobre el cual la función es singular), pero el radio de convergencia es R = |1 + i| = 2. El desarrollo
en serie no ve el corte de rama sino que se extiende por la superficie de Riemann, y la singularidad
que determina R es el punto de ramificación z = 0. Nótese que aunque f (z) tiene lı́mite en z = 0,
su primera derivada ya diverge, y el radio de convergencia es común a f (z) y todas sus derivadas.
Teorema. (Teorema de Liouville.) Si f (z) es entera y acotada entonces debe tomar un valor
constante sobre todo el plano complejo.
99
torno a 0 (por ejemplo) con radio de convergencia infinito
∞
X
∀z ∈ C f (z) = cn z n . (10.15)
n=0
K
Además por hipótesis |f (z)| < K para cierto K > 0. Por las desigualdades de Cauchy |cn | < ,
Rn
pero R = ∞. Esto implica que cn = 0 para todos los n excepto c0 . Es decir, f (z) = c0 .
Nota: Análogamente se deduce que si un función entera está acotada por un polinomio de
grado n la propia función debe ser un polinomio de grado a lo sumo n.
Nota: El teorema de Liouville implica que una función no puede ser regular (en el sentido
complejo) en todos los puntos, incluido el ∞, a menos que sea trivial (constante). Esto no ocurre
para funciones reales. Por ejemplo, f (x) = 1/(1 + x2 ) es regular en todo el eje real (incluido el
infinito).
Teorema. Sean f (z) y g(z) dos funciones analı́ticas en un disco abierto D centrado en z0 y
sea E ⊂ D tal que z0 es un punto de acumulación de E. Entonces, si f (z) = g(z) para todo z de
E también f (z) = g(z) en todo el disco D.
Demostración: Por ser analı́ticas, f (z) y g(z) admiten desarrollo en serie de Taylor en D (es
decir, coinciden con las sumas de sus series de Taylor en D). Se va a probar que los coeficientes
del desarrollo están determinados exclusivamente por el valor de las funciones en E. Como las dos
funciones coinciden en E los coeficientes del desarrollo serán idénticos y por tanto las dos funciones
coincidirán en D. En efecto,
∞
X
f (z) = cn (z − z0 )n , z ∈ D. (10.16)
n=0
f (z) es continua en z0 y este punto se puede alcanzar tomando el lı́mite dentro de E, es decir,
c0 = f (z0 ) = lı́m f (z) = lı́m f (z). (10.17)
z→z0 z→z0
z∈E
100
z
z3
C z2
z1
z
0
Figura 31: Extensión analı́tica a base de discos centrados en una curva C que une el punto fijo
z0 con un punto cualquiera z del dominio G.
Los demás coeficientes se obtienen definiendo sucesivamente fn (z) = (fn−1 (z)−fn−1 (z0 ))/(z −z0 ),
de modo que cn = fn (z0 ) se obtiene con valores sólo en E.
Teorema. (Unicidad de funciones analı́ticas.) Sean f (z) y g(z) dos funciones analı́ticas en un
mismo dominio G, y supongamos que f (z) = g(z) en los puntos de un subconjunto E de G, tal
que E tiene un punto lı́mite z0 ∈ G. Entonces f (z) = g(z) ∀z ∈ G.
101
entorno de z1 ∈ D0 . Por tanto también coinciden en D1 . Repitiendo el argumento para zk ∈ Dk−1 ,
se obtiene que las funciones coinciden en z, para todo z de G.
Nota: No basta que las funciones coincidan en infinitos puntos para ser iguales, debe haber un
punto de acumulación. Por ejemplo, f (z) = 0 y sen(z) coinciden en πZ pero son distintas.
Nota: El teorema de unicidad es muy fuerte ya que implica que una función analı́tica en un
dominio G queda completamente determinada por su valor sobre un pequeño entorno de un punto,
o sobre un trozo de curva, por pequeño que sea. En particular, si f (z) se anula sobre un arco
será idénticamente 0 en todo G (siendo G un dominio que contenga al arco y en el que f (z) sea
analı́tica). La fórmula integral de Cauchy permitı́a reconstruir una función analı́tica en el interior de
una curva cerrada si se conocı́a sobre la curva. Aquı́ se ve que en realidad basta un arco cualquiera
de la curva para que la función quede unı́vocamente determinada. Por otra parte el teorema también
nos indica la poca flexibilidad y limitaciones de las funciones analı́ticas. Por ejemplo, si f1 (x) es
una función de [a1 , b1 ] en R infinitamente diferenciable (de clase C ∞ ) y f2 (x) de [a2 , b2 ] en R, con
b1 < a2 , también C ∞ , es posible definir f (x) C ∞ no única, en [a1 , b2 ] tal que coincida con f1 y con
f2 en sus respectivos intervalos. Una construcción análoga no es posible en general para funciones
analı́ticas (de variable real o compleja), ya que la función f1 en el primer dominio determinarı́a f en
el segundo dominio y allı́ podrı́a no coincidir con f2 .
Definición. Sea f (z) una función compleja. Un punto z0 es un cero de f (z) si f (z0 ) = 0. Si
f (z) es analı́tica en un entorno de z0 y no idénticamente nula, entonces no todos los coeficientes de
su desarrollo de Taylor en torno a z0 pueden se nulos. Si m es el primer valor de n tal que cn 6= 0 se
dice que z0 es un cero de orden m de f (z) y en este caso f (z) = cm (z−z0 )m +· · · = (z−z0 )m g(z)
siendo g(z) otra función analı́tica con el mismo radio de convergencia y tal que g(z0 ) 6= 0. Cuando
m = 1 se dice que z0 es un cero simple, en otro caso es múltiple. Si z0 es un cero de orden m,
f (n) (z0 ) = 0 para n < m y f (m) (z0 ) 6= 0.
Demostración: Si los ceros no fueran aislados f (z) se anuları́a en un conjunto E (el conjunto
de los ceros de f (z)) con z0 como punto de lı́mite y en este caso la función serı́a idénticamente
102
cero.
Ejemplo. Para f (z) = sen(1/z) los ceros están en zn = 1/(πn), n ∈ Z, con punto de
acumulación z = 0. Sin embargo, no hay contradicción ya que sen(1/z) no es analı́tica en z = 0.
De acuerdo con el teorema de unicidad de funciones analı́ticas si f1 (z) y f2 (z) son analı́ticas
en un dominio G, y coinciden en E ⊂ G tal que E tiene un punto de acumulación en G entonces
coinciden en todo G. En particular, si coinciden en el entorno de un punto de G lo hacen en todo
G.
Ejemplo. La relación cos2 (z) + sen2 (z) = 1 en C se deduce por unicidad de la relación
cos2 (x) + sen2 (x) = 1 en R. En efecto, si cos2 (z) + sen2 (z) vale 1 sobre el eje real, debe también
ser 1 en C ya que cos2 (z) + sen2 (z) es entera y 1 es la única función entera que vale 1 sobre R.
(Análogamente, relaciones del tipo (ez )−1 = e−z , etc, se deducen de las correspondientes relaciones
en R.)
También se puede hablar de extensión analı́tica desde un conjunto E con punto de acumulación
aunque no sea un dominio. Por ejemplo, ez es la extensión analı́tica de la función ex definida en R.
∞
1 X
Ejemplo. f (z) = es la única prolongación analı́tica de la función f0 (z) = z n , definida
1−z n=0
en G0 = {|z| < 1} a G = C − {1}.
Z +∞
Ejemplo. Sea f0 (z) = e−zt dt. Esta integral converge en G0 = { Re z > 0}. En este caso
0
1 1
f0 (z) = . La función f (z) = es su extensión analı́tica a G = C − {0}.
z z
Obsérvese que en la discusión anterior se sabe que f (z) es analı́tica en G ⊃ G0 . Otra cuestión
49
Todas las funciones a que nos referimos son univaluadas.
103
es si dada f0 (z) analı́tica en G0 admite alguna extensión a algún dominio G mayor. Si por ejemplo
∞
X
f0 (z) = an (z − z0 )n , G0 = {|z − z0 | < R0 }, (10.20)
n=0
en algunos casos (es decir, dependiendo de los coeficientes an ) puede ocurrir que no haya extensión
fuera de G0 . (Esto requiere que todos los puntos de la frontera sean singulares). En este caso
|z − z0 | = R0 es la frontera natural de f0 (z).
zs
G
1
z z
0 1
G0
En otros casos, desarrollando en torno a z1 ∈ G0 puede obtenerse una nueva serie f1 (z) en un
disco G1 = {|z − z1 | < R1 } 6⊂ G0 . (Véase la fig. 32.) El radio de convergencia R1 llega hasta la
singularidad más próxima. Se dice que (f0 (z), G0 ) y (f1 (z), G1 ) son extensión analı́tica directa
uno de otro. En este caso se ha extendido f0 (z) definida sólo en G0 a una función analı́tica f (z)
definida en un dominio mayor G = G0 ∪ G1 . Usando repetidamente este método, como en la fig.
31, página 101, puede llenarse el dominio de analiticidad de la función f (z) a base de discos. Los
pares (fi (z), Gi (z)) se denominan elementos de la función analı́tica f (z).50
Si el dominio G explorado por la extensión analı́tica es simplemente conexo la función f (z) que
se obtenga será univaluada, resultado conocido como principio de monodromı́a. Si el dominio es
múltiplemente conexo, f (z) puede ser multivaluada. Es decir, al ir encadenando discos Gi y volver
a alcanzar el punto z0 mediante otro elemento (fn (z), Gn ) puede ocurrir que fn (z0 ) 6= f0 (z0 ). En
50
Puede adoptarse el punto de vista de que la función es construida por este método en regiones de C donde no
estaba definida o bien que la función ya existı́a y está siendo descubierta. El teorema de unicidad favorece el segundo
punto de vista.
104
G0
G
f(z)
f(z*)*
G
G1
La función extendida analı́ticamente hasta ocupar un dominio máximo (incluyendo quizá una
superficie de Riemann no trivial) se denomina función analı́tica completa.
Como se ha visto, no siempre se sabe a priori dónde se podrá extender una función (f0 (z), G0 ), ya
que las singularidades aparecen al explorar nuevas zonas. El siguiente teorema garantiza la extensión
en casos particulares.
Teorema. (Principio de reflexión de Schwarz.) Sea f0 (z) analı́tica en un dominio G0 , tal que
A = G0 ∩ R 6= ∅ y f0 (x) ∈ R para x ∈ A. Entonces admite extensión analı́tica a G = {z|z ó z ∗ ∈
G0 } = G0 ∪ G∗0 y tal que f (z ∗ ) = (f (z))∗ en G.
105
Demostración: En G1 = G∗0 definimos f1 (z) = (f0 (z ∗ ))∗ . Esta función es analı́tica en G1 :
∗
(f0 (z ∗ ))∗ − (f0 (z0∗ )∗ ) f0 (z ∗ ) − f0 (z0∗ )
f1 (z) − f1 (z0 ) ∗
= = −→ (f0′ (z0∗ )) . (10.21)
z − z0 z − z0 z ∗ − z0∗ z→z0
El lı́mite existe luego f1 (z) es analı́tica. Además f0 (z) real sobre el eje real implica que coincide con
f1 (z) en A. Por tanto, son extensión analı́tica una de otra y f (z) definida como f0 (z) en G0 y como
f1 (z) en G1 es analı́tica en G = G0 ∪G1 . Por construcción es inmediato que cumple f (z ∗ ) = (f (z))∗
en G.
Ejemplo. f0 (z) = log z en G0 = {|z − 1| < 1} en la rama log 1 = 0 cumple log(z ∗ ) = (log z)∗ .
106
11. Series de Laurent
1
Ejemplo. Sea la función f (z) = . Si queremos una aproximación útil cuando |z| es
1+z
pequeño podemos usar un desarrollo en serie de Taylor en torno a z = 0
1
= 1 − z + z2 − z3 + · · · , |z| < 1 . (11.1)
1+z
La serie truncada proporciona una aproximación que mejora cuanto menor es |z| y cuantos más
términos se retengan.
Si se quiere una aproximación útil para z grande se puede hacer un desarrollo de Taylor en
potencias de 1/z (que es pequeño si z es grande):
1 1 1 1 1 1 1
= = − + + · · · , para < 1 o sea |z| > 1 . (11.2)
1+z z 1 + z1 z z2 z3 z
107
y z
+
0 x
Definición. Una serie de potencias con potencias positivas y negativas se denomina serie de
Laurent. La parte de potencias no negativas es la parte regular de la serie. La parte de potencias
negativas es la parte principal.
∞ ∞ ∞
X X X 1
cn (z − a)n := cn (z − a)n + c−m . (11.3)
n=−∞ n=0 m=1
(z − a)m
Parte regular Parte principal
La serie de Laurent converge, por definición, sii las partes regular y principal convergen.
1
Teorema. Dada una serie de Laurent, sea R = 1/n
y sea r = lı́m |c−m |1/m . Entonces,
lı́m |cn | m→∞
n→∞
si r < R,
108
R
r
+
a
Figura 35: Corona circular de convergencia absoluta r < |z − a| < R (los bordes no están
incluidos).
Nota: Para una serie de Laurent siempre se supondrá r < R. Si r = 0 la corona de convergencia
absoluta es el disco reducido de radio R, 0 < |z − a| < R. Si R = +∞ la corona es el exterior del
disco de radio r, r < |z − a|. Si r = 0 y R = +∞, hay convergencia absoluta en todo C excepto
quizá z = a.
Teorema. Dada una serie de Laurent con suma s(z) en r < |z − a| < R, los coeficientes
satisfacen
1 s(z)
Z
cn = dz, n = 0, ±1, ±2, . . . (11.4)
2πi γρ (z − a)n+1
siendo γρ una circunferencia (con orientación positiva) centrada en a de radio ρ, r < ρ < R.
Demostración:
P∞
1 s(z) 1 k=−∞ ck (z − a)k
Z Z
dz = dz
2πi γρ (z − a)n+1 2πi γρ (z − a)n+1
∞
1
Z X
= ck (z − a)k−n−1 dz
2πi γρ k=−∞
∞
1
X Z
= ck (z − a)k−n−1 dz
k=−∞
2πi γρ
= cn . (11.5)
Se ha
R usado lanconvergencia uniforme para intercambiar suma e integral. En el último paso se usa
que γρ (z − a) dz (n ∈ Z) es 2πi si n = −1 y 0 en otro caso.
109
Nótese que la integral no depende de ρ. Se deduce que los coeficientes son únicos en el sentido
de que no hay dos series de Laurent con distintos coeficientes que den la misma suma.
Definición. Si una función f (z) coincide con la suma de (11.3) en r < |z − a| < R se dice que
admite desarrollo en serie de Laurent en esa corona circular. Ese desarrollo es único (en dicha
corona) y ahı́ la función es analı́tica.
El desarrollo de Laurent es una extensión del desarrollo de Taylor que puede aplicarse a funciones
no analı́ticas en el punto en el que se desarrolla.
ez
Ejemplo. f (z) = no admite desarrollo en serie de Taylor en z = 0 pero sı́ admite desarrollo
z
de Laurent:
ez 1 z2 z2 1 z z2
= (1 + z + + + ···) = + 1 + + + ··· , 0 < |z| < +∞ . (11.6)
z z 2! 2! z 2! 3!
Teorema. Si f (z) es analı́tica en la corona E = {ρ1 < |z −a| < ρ2 } entonces admite desarrollo
de Laurent convergente en E,
∞
X
∀z ∈ E f (z) = cn (z − a)n . (11.7)
n=−∞
Sea ρ = |z − a| (ρ1 < ρ < ρ2 ). Para calcular cn usamos (11.4) integrando sobre una circunferencia
110
z ζ
0
C
a
r
γρ
γρ +
R
Figura 36: El camino γ, que empieza en ζ0 , recorre γρ+ , luego pasa por C, recorre γρ− en sentido
horario y vuelve a pasar por C al revés, es cerrado y contenido en un dominio de analiticidad
de la función f (ζ); la fórmula integral de Cauchy se aplica y produce f (z). (En la figura se ha
tomado ρ1 = r y ρ2 = R.)
de radio ρ+ con ρ < ρ+ < ρ2 , si n ≥ 0 y una circunferencia de radio ρ− con ρ1 < ρ− < ρ, si n < 0.
∞
(z − a)n f (ζ) 1 f (ζ)
X Z Z
f+ (z) = n+1
dζ = dζ ,
n=0
2πi γ ρ+
(ζ − a) 2πi γ ρ+
ζ − z
∞
1 1 1 f (ζ)
X Z Z
n−1
f− (z) = n
f (ζ)(ζ − a) dζ = − dζ . (11.9)
n=1
(z − a) 2πi γ ρ−
2πi γ ρ−
ζ − z
[Obsérvese que cn calculados integrando en (11.4), no dependen de los valores ρ± elegidos (siempre
que ρ1 < ρ± < ρ2 ), pero ρ− < ρ < ρ+ garantiza que las series en (11.9) convergen absoluta y
uniformemente, lo cual permite intercambiar suma con integral.] Si γ es el contorno que recorre γρ+
en sentido positivo y γρ− en sentido negativo, se deduce
1 f (ζ)
Z
f+ (z) + f− (z) = dζ = f (z) . (11.10)
2πi γ ζ − z
111
Igual que para las series de Taylor también aquı́ se deduce que si f (z) admite desarrollo de
Laurent centrada en z = a con radios de convergencia r y R, entonces, si r > 0 necesariamente
f (z) debe tener al menos un punto singular en la circunferencia |z − a| = r, y si R < +∞
necesariamente f (z) debe tener al menos un punto singular en la circunferencia |z − a| = R. [De
otro modo la corona de convergencia se podrı́a extender más allá de r < |z − a| < R.]
Nota: Para una misma función f (z) y un mismo punto a, los coeficientes del desarrollo de
Laurent de f (z) alrededor de a pueden cambiar al cambiar de corona circular.
1
Ejemplo. La función f (z) = es regular excepto en z = 0 y z = 1. Podemos considerar
z(1 − z)
dos desarrollos de Laurent centrados en z = 0:
∞ ∞
1X n X
a) Corona 0 < |z| < 1. f (z) = z = zn.
z n=0 n=−1
∞ ∞ −2
1 1 1 X 1 X 1 X
b) Corona 1 < |z|. f (z) = − 2 =− 2 =− =− zn.
z 1 z n=0 z n z n
1− n=2 n=−∞
z
1
Obviamente, para la función (regular en z = 0) igualmente se pueden considerar desarrollos
1−z
en la mismas coronas y los cn también son distintos en cada una. La diferencia con el caso f (z) =
1 1
es que para el desarrollo en la “corona” 0 < |z| < 1 no tiene parte principal
z(1 − z) 1−z
(potencia negativas) y de hecho vale en 0 ≤ |z| < 1.
Nótese que los desarrollos no siempre corresponden a |z − a| muy pequeño o muy grande. Por
ejemplo,
1 1 1 1 1 z z2 z3
= + 2 + 3 + ··· + + 2 + 3 + 4 + ··· , 1 < |z| < 2. (11.11)
(1 − z)(z − 2) z z z 2 2 2 2
En este ejemplo la parte regular diverge si |z| > 2 y la principal diverge si |z| < 1.
Teorema. (Desigualdades de Cauchy.) Si f (z) es analı́tica en una corona E = {ρ1 < |z − a| <
ρ2 } y también acotada en E, |f (z)| ≤ K ∀z ∈ E, entonces
K
|cn | ≤ , |c−n | ≤ Kρn1 , n = 0, 1, 2, . . . (11.12)
ρn2
112
Demostración: Se aplica (11.4) integrando sobre la circunferencia de radio ρ, ρ1 < ρ < ρ2 ,
y mediante el teorema de la página 66 (Sec. 7.2) se obtiene
K
|cn | ≤ n = 0, ±1, ±2, . . . (11.13)
ρn
Dado que este resultado vale para cada n para todo ρ entre ρ1 y ρ2 , se deduce el enunciado, que
da la cotas óptimas.
Definición. Sea z0 ∈ C y sea f (z) analı́tica en 0 < |z −z0 | < R (para cierto R, 0 < R ≤ +∞)
y no analı́tica en z0 . En este caso se dice que z0 es un punto singular aislado de f (z). Nótese
que la función puede o no estar definida en z = z0 .
ez
Ejemplo. Sea f (z) = . Numerador y denominador son funciones enteras. z = 0 es un
sen z
punto singular, ya que es un cero (simple) de sen z y es punto singular aislado porque la función es
analı́tica en 0 < |z| < π.
Nótese que el conjunto formado por funciones que en z0 tienen a lo sumo una singularidad aislada
es cerrado bajo suma, resta, multiplicación y división.
113
Esto permite clasificar los puntos singulares aislados en tres clases:
es analı́tica en z = z0 y coincide con f (z) cuando z 6= z0 . Es decir, f (z) admite una definición
(o redefinición) en z = z0 de modo que sea analı́tica.
ez − 1 z z2
Ejemplo. f (z) = no está definida en z = 0 sin embargo f (z) = 1 + + + ···
z 2! 3!
cuando z 6= 0 y es analı́tica si se define f (0) = 1.
Se puede demostrar que la singularidad es evitable sii existe el lı́mz→z0 f (z) y éste es finito.
b) Hay un número finito no nulo de potencias negativas: Para cierto m > 0 c−m 6= 0 y
cn = 0 ∀n < −m. En este caso z0 es un polo de orden m de f (z).
m ∞
X c−n X
f (z) = + cn (z − z0 )n , c−m 6= 0 (m ≥ 1) . (11.16)
n=1
(z − z0 )n n=0
Se puede demostrar que la singularidad aislada es de tipo polo sii lı́mz→z0 f (z) existe y éste
es ∞.
(z − z0 ) m 1 , z 6= z
0
La función = f (z) es analı́tica en z = z0 y este punto es un cero de
g(z) 0, z=z 0
orden m. Y viceversa, si una función h(z) es analı́tica y tiene un cero de orden m en z0 , 1/h(z)
tiene un polo de orden m. [En efecto, h(z) = (z − z0 )m G(z) G(z) analı́tica y G(z0 ) 6= 0,
entonces 1/G(z) también es analı́tica en z0 y por tanto 1/h(z) = (1/G(z))(1/(z − z0 )m )
tiene un polo de orden m.]
ez 1
Ejemplo. f (z) = tiene un polo simple en z = 0 ya que = e−z sen z es entera
sen z f (z)
con un cero simple en 0.
114
c) Hay un número infinito de potencias negativas: Para todo m < 0 existe n < m tal que
cn 6= 0. En este caso z0 es una singularidad esencial de f (z).
1 1 1 1 1
Ejemplo. f (z) = e1/z = 1 + + 2
+ ··· + + · · · , converge para todo z 6= 0.
z 2! z n! z n
z 1 1 1 1
Ejemplo. f (z) = = 1 = 1+ + 2 + 3 · · · , (|z| > 1) tiene infinitas potencias
z−1 1− z z z z
negativas, pero z = 0 no es una singularidad esencial de f (z), ya que este desarrollo no tiene
lugar en el anillo 0 < |z| < R. (De hecho, z = 0 es un punto regular de f (z).)
Por exclusión, una singularidad es esencial si el lı́mz→z0 f (z) no existe. [Si existiera serı́a, bien
finito (evitable) o infinito (polo).] De hecho cuando z → z0 , f (z) se puede aproximar tanto
como se desee a cualquier valor prefijado, finito o infinito:
Teorema. (Teorema de Casorati-Weierstrass.) Sea z0 una singularidad esencial de f (z) y sea
α ∈ C∗ entonces existe una sucesión zn con lı́mite z0 tal que lı́mn→∞ f (zn ) = α.
Demostración: (Ver, por ejemplo, el libro de Silverman.)
De hecho hay una afirmación más fuerte:
Teorema. (Teorema de Picard.) Si z0 es una singularidad esencial de f (z), para cualquier
α ∈ C (excepto a lo sumo un punto α0 además de ∞) existe una sucesión zn → z0 tal que
f (zn ) = α.
Ejemplo. Sea f (z) = e1/z para z 6= 0. La función tiene una singularidad esencial en z = 0.
Para α = ∞ del teorema de Casorati-Weierstrass, tomamos zn = 1/n, e1/zn = en → ∞.
Para α = 0, tomamos zn = −1/n, e1/zn = e−n → 0. Para α cualquiera excepto 0, ∞,
elegimos z tal que e1/z = α, con solución z = zn = 1/( Log α + 2πin). Entonces zn → 0
y e1/zn = α por construcción. zn es la solución que existe por el teorema de Picard, siendo
α = 0, ∞ los valores excluidos por el teorema.
Si f (z) tiene una singularidad esencial en z0 y este punto es una singularidad aislada de 1/f (z)
entonces también será esencial, ya que 1/f (z) tampoco tendrá lı́mite en z0 .51
De lo visto sobre singularidades aisladas se deduce que cuando (i) f (z) es una función analı́tica
en la corona 0 < |z − z0 | < R, (ii) f (z) no es idénticamente 0, y (iii) z0 no es una singularidad
esencial, entonces, f (z) = (z − z0 )m g(z) donde m ∈ Z, g(z) es analı́tica en el disco |z − z0 | < R,
y g(z0 ) 6= 0. m y g(z) son únicos. Podemos decir que f (z) es de clase (z − z0 )m . Cuando m > 0
z0 es un cero de orden m de f (z), y cuando m < 0, z0 es un polo de orden −m de f (z). Si f (z) y
51
Por ejemplo, f (z) = sen(1/z) tiene una singularidad esencial en z = 0, sin embargo no es un punto singular
aislado de 1/ sen(1/z) y por tanto no es una singularidad esencial de esta función.
115
h(z) son funciones de clase (z − z0 )m y (z − z0 )n , respectivamente, entonces f (z)h(z) es de clase
(z − z0 )m+n y f (z)/h(z) de clase (z − z0 )m−n .
ϕ(z)
En particular, las funciones del tipo f (z) = , siendo ϕ(z) y ψ(z) analı́ticas en un dominio
ψ(z)
G (y ψ(z) no idénticamente cero en G) son meromorfas en G. En efecto, f (z) es analı́tica salvo en
los ceros de ψ(z) (que son aislados). Si z0 es un cero de orden m de ψ(z) y ϕ(z0 ) 6= 0, z0 es un
polo de orden m de f (z). Si z0 es un cero de orden n de ϕ(z), entonces, si n < m z0 es un polo de
orden m − n de f (z), si n ≥ m z0 es una singularidad evitable: definiendo f (z0 ) = lı́mz→z0 f (z)
la función es analı́tica en z0 . Si n > m, z0 es un cero de orden n − m de f (z). Por otro lado toda
función meromorfa con un número finito de polos se puede escribir como el cociente de una función
analı́tica dividida por un polinomio.
En principio cada coeficiente se puede obtener usando (11.4), pero esto no es práctico en general
para obtener expresiones explı́citas (una fórmula). A diferencia de la serie de Taylor, no hay un
algoritmo para obtener cada coeficiente de Laurent para funciones generales.
Esencialmente en los casos en los que se puede obtener una expresión explı́cita es por reducción
al caso de una singularidad aislada más cálculo de serie de Taylor.
cos(z)
Ejemplo. f (z) = , en |z| < π. Tiene un polo triple en z = 0. La función g(z) = z 3 f (z)
sen3 (z)
116
tiene una singularidad evitable en z = 0, por tanto admite desarrollo en serie de Taylor. El desarrollo
de Laurent de f (z) dividiendo el desarrollo de g(z) por z 3 .
2 1
Ejemplo. f (z) = z log 1 + en |z| > 1. Haciendo el cambio w = 1/z, la función auxiliar
z
1
g(w) = 2 log(1 + w) tiene un polo simple en w = 0. Como antes, se puede cancelar el polo y
w
desarrollar en serie de Taylor en w. El desarrollo de Laurent original se obtiene deshaciendo el cambio
de variable.
117
12. Teorema de los residuos y aplicaciones
El coeficiente c−1 se denomina el residuo de f (z) en z0 y se denota Res f (z). De acuerdo con
z=z0
(11.4) para n = −1:
1
Z
Res f (z) = c−1 = f (z) dz , (12.2)
z=z0 2πi γρ
Nota: c−1 sólo es el residuo de f (z) en z0 para el desarrollo referido a 0 < |z − z0 | < R, no el
coeficiente c−1 correspondiente a otras coronas circulares.
Teorema. (Teorema de los residuos.) Sea C una curva cerrada, simple, suave a trozos y
orientada positivamente. Sea f (z) analı́tica sobre C y también en su interior salvo por un conjunto
finito de puntos singulares aislados (interiores a C), z1 , . . . , zn .52 Entonces
Z n
X
f (z) dz = 2πi Res f (z) . (12.3)
C z=zk
k=1
Demostración: Para cada uno de los puntos singulares zk sea γk una circunferencia orientada
positivamente centrada en zk , tal que esté contenida en el interior de C y que no rodee ningún otro
punto singular. Entonces,
Z n Z
X n
X
f (z) dz = f (z) dz = 2πi Res f (z) . (12.4)
C γk z=zk
k=1 k=1
La primera igualdad usa la propiedad (7.20) (véase Sec 7.3). La segunda, igualdad usa (12.2).
52
En realidad, dado que C define una región cerrada acotada el hecho de que las singularidades sean aisladas
automáticamente garantiza que hay un número finito de ellas.
118
ez
Z
Ejemplo. Cálculo de I = dz, n ∈ Z mediante el teorema de residuos.
|z|=2 (z − 1)n
119
b) Polo simple. En este caso m = 1 y (12.10) implica
Si f (z) = g(z)h(z) donde el polo lo lleva h(z), el cálculo del residuo se puede simplificar
usando la propiedad
cos z
Ejemplo. Residuo de f (z) = cotg z = en z = πn ∈ Z. Los ceros de sen z son simples y
sen z
cos z no se anula en ellos, por tanto se trata de polos simples y se aplica (12.13):
cos z cos z
Res = = 1. (12.14)
z=πn sen z cos z z=πn
120
(Obsérvese el signo menos en la definición.) Usando la fórmula general (11.4)
1
Z
Res f (z) = −c−1 = − f (z) dz , (12.17)
z=∞ 2πi γρ
La relación (12.17) demuestra que Res f (z) no depende en realidad del punto z0 usado para
z=∞
hacer el desarrollo de Laurent (ya que la integral sobre otra circunferencia grande centrada en
otro punto dará el mismo resultado) y sólo depende de la función. A menudo Res f (z) se obtiene
z=∞
eligiendo z0 = 0.
121
Y la expresión a la derecha es en realidad independiente de z0 .
Nota: Alternativamente,
1 1 dζ
Z Z
−1
Res f (z) = − f (z) dz = − f (z0 + ζ ) − 2
z=∞ 2πi γρ 2πi γ −−1 ζ
ρ
1 dζ 1
Z
= − f (z0 + ζ −1 ) 2 = − Res 2 f (z0 + ζ −1 ) . (12.22)
2πi γρ−1 ζ ζ=0 ζ
z
Ejemplo. Sea f (z) = . Esta función es meromorfa con un polo simple en z = −1. El
z+1
desarrollo de Laurent en torno a z = 0 produce
z 1 1 1
f (z) = = = 1 − + 2 − ··· , 1 < |z| < ∞ . (12.23)
z+1 1 + 1/z z z
se obtiene c−1 = −1 y Res f (z) = 1. Si hacemos el desarrollo en torno a z = −1 resulta
z=∞
z 1
f (z) = =1− , 0 < |z + 1| < ∞ . (12.24)
z+1 z+1
(el desarrollo de Laurent tiene un número finito de términos). Los coeficientes cn han cambiado,
excepto c−1 . Se obtiene el mismo residuo en ∞. Por otro lado Res f (z) = −1. Se verifica entonces
z=−1
que la suma de todos los residuos, incluido el residuo en el infinito, se anula. Finalmente (eligiendo
1 1 1 1 1 1
z0 = 0), 2 f (ζ −1 ) = 2 = 2 − + O(1), y por tanto, − Res 2 f (ζ −1 ) = 1.
ζ ζ ζ +1 ζ ζ ζ=0 ζ
Definición. Sea f (z) analı́tica en 0 < |z−z0 | < R y no idénticamente nula. Se define el residuo
f ′ (z) f ′ (z) d
logarı́tmico de f (z) en z0 como Res . El cociente = log f (z) (independiente de la
z=z0 f (z) f (z) dz
rama del logaritmo) se denomina la derivada logarı́tmica de f (z).
122
y por tanto
f ′ (z)
Res = α. (12.26)
z=a f (z)
Es decir, el residuo logarı́tmico coincide con el orden del cero.
g(z)
b) Si b es un polo de orden β de f (z) (β = 0, 1, 2, . . .), entonces f (z) = siendo g(z)
(z − b)β
analı́tica en z = z0 y g(z0 ) 6= 0. En este caso
f ′ (z) β g ′ (z)
=− + (12.27)
f (z) (z − b) g(z)
y por tanto
f ′ (z)
Res = −β. (12.28)
z=b f (z)
Es decir, el residuo logarı́tmico coincide con menos el orden del polo.
Teorema. Sea C una curva cerrada, simple, suave a trozos y con orientación positiva. Sea
f (z) analı́tica sobre C y en su interior, excepto en un número finito de polos, b1 , . . . , bn de órdenes
β1 , . . . , βn (en el interior), con un número finito de ceros, a1 , . . . , am , de órdenes α1 , . . . , αm , también
situados en el interior de C. Entonces,
Z ′ m n
1 f (z) X X
dz = αk − βk =: N − P. (12.29)
2πi C f (z) k=1 k=1
Este resultado se conoce como el principio de variación del argumento. ∆C arg f (z) representa
la variación de arg f (z) al recorrer C. Esta variación no depende de dónde se empiece a recorrer
123
la curva cerrada ni de la rama que se elija para la función multivaluada arg w que se ha de elegir
por continuidad a lo largo de la curva C.53 En la última igualdad se ha usado que log |f (z)| es
univaluada y por tanto su variación al recorrer C se anula.
Cuando C se recorre una vez en el plano z, w = f (z) recorre una curva cerrada Γ (no nece-
1
sariamente simple) en el plano w. ∆C arg f (z) no es más que el número de veces que Γ rodea
2π
w = 0, es decir, el ı́ndice de Γ respecto de w = 0:
N − P = n(Γ, 0). (12.31)
y en conjunto N − P = m.
z w w
m=1 m= 1
Figura 37: A la izquierda curva C en el plano Z. A la derecha curvas Γ en el plano w para
m = ±1.
Teorema. (Rouché.) Sean f (z) y g(z) analı́ticas sobre una curva C cerrada, simple, suave a
trozos y también en su interior. Si |f (z)| > |g(z)| para z ∈ C, entonces f (z) y f (z) + g(z) tienen
el mismo número de ceros en el interior de C.
53
Obviamente si la función f (z) misma es multivaluada en el plano complejo, el principio se puede aplicar trabajando
en su superficie de Riemann. En particular, C debe ser cerrada sobre su superficie de Riemann.
124
Demostración: |f (z)| > |g(z)| ≥ 0 sobre C garantiza que f (z) no se anula sobre C, y
tampoco f (z) + g(z) se anula sobre C (por |f (z) + g(z)| ≥ |f (z)| − |g(z)| > 0.) Por otro lado,
g(z)
∆C arg(f (z) + g(z)) = ∆C arg f (z) 1 + =
f (z)
g(z)
= ∆C arg f (z) + ∆C arg 1 + . (12.33)
f (z)
es decir, dado que no hay polos, por el principio de variación del argumento se deduce
Solución: Sea f (z) = −4z 5 , g(z) = z 8 + z 2 − 1. Se ve que |f (z)| > |g(z)| en |z| = 1, ya que
|f (z)| = 4, |g(z)| = |z 8 + z 2 − 1| ≤ |z 8 | + |z 2 | + 1 = 3. El número de ceros de f (z) es 5 (un cero
quı́ntuple), por tanto h(z) también tiene 5 ceros en |z| ≤ 1.
Teorema. (Teorema fundamental del álgebra.) Todo polinomio de grado n ≥ 1 tiene exacta-
mente n ceros (contando cada cero tantas veces como su multiplicidad).
por lo tanto |g(z)| < |f (z)| para |z| = R y R suficientemente grande. El número de ceros de
P (z) = f (z) + g(z) será el mismo que el número de ceros de f (z) = an z n , a saber, n. Éstos son
todos los ceros que hay ya que P (z) → ∞ cuando z → ∞ y no hay ceros en el infinito.
125
12.6. Evaluación de integrales
En la Sec. 7.1 se definió la integral (de Riemann) sobre una curva suave a trozos. Como se vio
allı́ esta integral se podı́a cambiar por una integral sobre un parámetro real t. Por tanto sin pérdida
de generalidad discutimos el caso de integral en R.
Rb
Definición. La integral de Riemann a f (x) dx (f (x) real o compleja y −∞ < a ≤ b < ∞)
se define como un lı́mite. Se dice que la integral existe o converge si este lı́mite existe y es finito.
En este caso f (x) es integrable Riemann en [a, b]. Si f (x) es continua en [a, b] la integral existe.
En cambio si sólo es continua en ]a, b[ la integral puede no existir ya que f (x) podrı́a tender a ∞
cuando x tiende a a o b, o esos lı́mites podrı́an no existir. Si el lı́mite que define la integral de
Riemann no existe como tal o no es finito, pero sı́ lo hace tomándolo de cierta forma particular, a
concretar, se dice que la integral es impropia. También es impropia si al menos uno de los lı́mites
de integración es infinito.
(Si la integral es en realidad sobre A ⊂ R basta definir f (x) = 0 para x 6∈ A.) Y sea f (x) continua
en R salvo por un número finito de puntos, xk , k = 1, . . . , n en los que el lı́mite de f (x) cuando
x → xk por la derecha o por la izquierda no existe o no es finito. En este caso I se define como el
lı́mite de la integral regulada
Z x1 −ǫ1 Z x2 −ǫ2 Z xk+1 −ǫk+1 Z R2
IR = + +··· + +··· + f (x) dx (12.38)
−R1 x1 +ǫ′1 xk +ǫ′k xn +ǫ′n
126
Z R Z 1 Z 1
lı́m f (x) dx = 1 es convergente, en cambio f (x) dx = lı́m+ f (x) dx = +∞ es pro-
R→+∞ 1 ǫ→0
Z +∞ Z 1 0 ǫ
1
1
Z
Ejemplo. dx. El integrando diverge en x = 0. La integral regulada es
−1 x
Z −ǫ Z 1 Z 1 Z 1
1 1 1 1
IR = dx + dx = − dx + dx = log ǫ − log ǫ′ (12.40)
−1 x ǫ ′ x ǫ x ǫ ′ x
La integral impropia es indeterminada ya que el lı́mite no existe (es de tipo ∞ − ∞). De hecho
puede obtenerse cualquier valor real incluido ±∞ tomando ǫ → 0+ manteniendo ǫ′ /ǫ constante.
Z 1
1
Ejemplo. √ dx. El integrando diverge en x = 0. La integral regulada es
0 x
Z 1
1 √ 1 √
IR = √ dx = 2 x = 2(1 − ǫ) −→+ 2 . (12.41)
ǫ x ǫ ǫ→0
Definición. Se dice que f (x) = O(xα ) cuando x → 0 (α real) si |f (x)| < K|x|α para algún
K > 0 en un entorno reducido de x = 0. Se dice que f (x) = O(xα ) cuando x → ±∞ (α real) si
|f (x)| < K|x|α para algún K > 0 en un entorno de x = ±∞.
127
Se deduce entonces
Si f (x) es continua en ]0, a] y f (x) = O(xα ) cuando x → 0 para α > −1, la integral
a) Z
a
f (x) dx existe. [Obsérvese que no basta lı́mx→0+ (xf (x)) = 0.54 ]
0
Si f (x) es continua en [a, +∞[ y f (x) = O(xα ) cuando x → +∞ para α < −1, la integral
b) Z
+∞
f (x) dx existe. [No es suficiente lı́mx→+∞ (xf (x)) = 0.]
a
Ejemplo. Para f (x) continua enZ x ≥ a ≥ 1 y con lı́mite finito en x = +∞, estúdiese la
+∞
convergencia de la integral I(α, β) = xα (log x)β f (x) dx.
a
La convergencia está dominada por la exponencial. Si α + 1 > 0 la integral diverge (la exponencial
tiende a +∞ cuando x → +∞), si α + 1 < 0 la integral converge (la exponencial tiende a 0). Si
α + 1 = 0 la convergencia pasa a estar dominada por la potencia. De hecho la integral en t es del
tipo I(β, 0) y por tanto converge sii β < −1.
La integral converge si α+1 > 0 (la exponencial tiende a cero en t = −∞) y diverge si α+1 < 0.
Si α + 1 = 0 estamos en un caso análogo al ejemplo anterior y la integral converge sii β > −1.
54
Ra
Por ejemplo, 0
1/(x log x) dx no converge en x = 0.
128
12.6.1. Valor principal de Cauchy
R Definición.
c
Sea a < b < c y f (x) divergente en x = b. Se define, el valor principal de Cauchy
de a
f (x) dx como
Z c Z b−ǫ Z c
P f (x) dx := lı́m+ f (x) dx + f (x) dx . (12.44)
a ǫ→0 a b+ǫ
También se define Z +∞ Z R
P f (x) dx := lı́m f (x) dx . (12.45)
−∞ R→+∞ −R
Es decir, el valor principal de Cauchy corresponde a regular la integral como en (12.38) pero con
R1 = R2 , ǫ′k = ǫk , y tomar el lı́mite.
Evidentemente si la integral impropia converge también lo hace su valor principal de Cauchy, sin
embargo hay casos en los que la integral no converge pero sı́ admite un valor principal de Cauchy.
Z 2
dx
Ejemplo. no converge, en cambio
−1 x
Z 2 Z −ǫ Z 2 Z 2
1 1 1 1
P dx = lı́m+ dx + dx = dx = log 2. (12.46)
−1 x ǫ→0 −1 x ǫ x 1 x
−ǫ 1
1 1
Z Z
Donde se ha usado dx + dx = 0 cuando ǫ > 0.
−1 x ǫ x
R +∞
Ejemplo. Si f (x) es impar y lı́mx→+∞ f (x) → F , P −∞
f (x − a) dx = −2aF .
129
12.6.2. Integrales impropias en C
Más generalmente si C es una curva suave z(t), a ≤ t ≤ b y f (z) es continua sobre C excepto
z = z(b),
Z b−ǫ
dz
Z
f (z) dz = lı́m+ f (z(t)) dt (12.47)
C ǫ→0 a dt
(si existe el lı́mite y es finito). El caso general se obtiene juntando intervalos abiertos en los que
función sea continua.
Para caminos en el plano complejo, el valor principal de Cauchy se define al regular la integral
excluyendo los puntos de C tapados por un disco Dǫ = {|z − z0 | < ǫ} y se toma el lı́mite ǫ → 0+ .
Esta definición no depende de cómo se parametrice la curva. Si la discontinuidad de f (z) ocurre en
z0 = z(t0 ), a < t0 < b, y t0 es un punto regular de z(t) esto equivale a
Z t0 −ǫ Z b
dz
Z
P f (z) dz = lı́m+ + f (z(t)) dt . (12.48)
C ǫ→0 a t0 +ǫ dt
Demostración: El lı́mite implica que para R > R0 (ǫ),55 |f (Reiθ )| < ǫ/R . Entonces,
Z
ǫ
f (z) dz ≤ (θ2 − θ1 )R = ǫ(θ2 − θ1 ) −→ 0. (12.49)
γR R
130
Lema 3. (Lema de Jordan.) Sea γR como en el Lema 1 pero contenido en el semiplano Im z ≥ 0,
es decir, 0 ≤ θ1 < θ2 ≤ π. Si lı́mR→+∞ |f (Reiθ )| = 0 ∀θ ∈ [θ1 , θ2 ], entonces
Z
lı́m f (z)eiaz dz = 0 ∀a > 0. (12.50)
R→+∞ γR
Demostración:
θ2
Z Z Z
iaz iaz
e−aR sen θ dθ
f (z) e dz ≤
|f (z)| |e | |dz| ≤ ǫR
γR γR θ1
Z π/2
≤ 2ǫR e−aR sen θ dθ. (12.51)
0
Usando que sen θ ≥ 2θ/π para θ ∈ [0, π/2] (por ser sen θ una función convexa en ese intervalo)
(véase la fig. 38.)
1
sen θ
2θ / π
π/2 θ
π/2
1 − e−aR
Z Z
iaz
e−2aRθ/π dθ = 2ǫR
f (z) e dz ≤ 2ǫR −→ 0. (12.52)
γR 0 2aR/π
131
Entonces el lema se satisface suponiendo sólo que lı́mR→+∞ R|f (Reiθ )|e−aR sen θm = 0 ∀θ ∈ [θ1 , θ2 ].
Esto cubre los casos |f | < KRα (crecimiento tipo potencia), e incluso |f | < KeαR (crecimiento
exponencial) si α < a sen θm .
Dicho de otro modo, si el polo es simple, la integral es proporcional al ángulo subtendido (si
la circunferencia es completa se obtiene 2πi veces el residuo, de acuerdo con el teorema de los
residuos). La proporcionalidad no se mantiene si el polo es múltiple.
c−1
Demostración: Sea c−1 el residuo, f (z) = + h(z) y h(z) es una función regular. Por
z − z0
el Lema 2, la integral de la parte regular se anula en el lı́mite. La integral de la parte principal es
inmediata y resulta la proposición.
Nota: La proposición sólo se refiere a polos simples. Para polos múltiples se tiene el siguiente
resultado. Sea γǫ el arco ǫeiθ , 0 ≤ θ ≤ π (una semicircunferencia). Entonces
1
Z
+∞ n = 2, 4, 6, . . .
lı́m+ dz = (12.54)
ǫ→0 γǫ z
n 0 n = 3, 5, 7, . . .
γR
ia
−R IR R
R∞ dx
R +∞ cos x
Figura 39: Contorno para −∞ (x2 +a2 )3
y 0 x2 +a2
dx, a > 0.
132
Ejemplo 1.
+∞
dx
Z
I= , a > 0. (12.55)
−∞ (x2 + a2 ) 3
1 d2 (z − ia)3 1 d2 1 1 3×4 3
Res f (z) = lı́m 2 2 2 3
= lı́m 2 3
= 5
= , (12.57)
z=ia 2! z→ia dz (z + a ) 2! z→ia dz (z + ia) 2 (2ia) 16ia5
3π
Z
f (z) dz = 5 . (12.58)
CR 8a
Esta integral no depende de R.
Z R Z Z Z
I = lı́m f (x) dz = lı́m f (z) dz = f (z) dz − lı́m f (z) dz . (12.60)
R→+∞ −R R→+∞ IR CR R→+∞ γR
1
En efecto, f (z) ∼ 6 y por tanto f (Reiθ ) = O(R−6 ) cuando R → +∞. El término se anula
z→∞ z
entonces por aplicación del Lema 1. Se obtiene finalmente
3π
I= , a > 0. (12.62)
8a5
133
Notas: 1) Como debe ser, verifica I > 0. 2) El integrando sólo depende de a2 , por tanto la
integral es invariante bajo a → −a. Eso no es manifiesto en el resultado final porque hemos elegido
3π
llamar a a la raı́z cuadrada positiva de a2 . Se puede prescindir de esta elección escribiendo I = .
8|a|5
En el cálculo se ha usado a > 0 al decir que el polo en el semiplano superior es z = ia en vez de
z = −ia. 3) CR está centrado en z = 0 pero se hubiera podido usar R +∞un contorno similar centrado en
2 2 −1
cualquier otro punto del eje real. 4) También se puede calcular −∞ (x + a ) dx y luego derivar
dos veces respecto de a2 para obtener la integral pedida.
Ejemplo 2.
+∞
cos x
Z
I= dx, a > 0. (12.63)
0 x 2 + a2
El integrando es O(x−2 ) cuando x → ±∞ y la integral es convergente. La integral es real (y de
hecho positiva).
eiz
Sea f (z) = , y sea CR = IR ∪ γR la misma curva cerrada del Ejemplo 1, figura 39. La
z 2 + a2
única singularidad de f (z) sobre o en el interior de CR es un polo simple en z = ia. Por tanto
π
Z
f (z) dz = 2πi Res f (z) = e−a . (12.66)
CR z=ia a
57
De hecho I = 12 I ′ ya que Im I ′ = 0 por Im eix = sen x y ser sen x una función impar de x.
134
El último término se anula por aplicación del Lema de Jordan. Esto puede hacerse por f (Reiθ ) =
O(R−2 ) cuando R → +∞ para 0 ≤ θ ≤ π. Obsérvese que el lema no se aplicarı́a a la función
cos z eiz + e−iz
= por el término con e−iz que crece exponencialmente en el semiplano Im z > 0.
z 2 + a2 2(z 2 + a2 )
Se deduce
π −a
I= e , a > 0. (12.68)
2a
Se verifica que el resultado es real.
Obsérvese que para hacer la integral se ha extendido el intervalo de integración de ]0, +∞[.
a ] − ∞, +∞[. En general la integrales basadas en teorema de residuos deben tener recorridos
naturales. Como regla las integrales con lı́mites arbitrarios no pueden obtenerse mediante residuos.
γR
γ−
ε
−R −ε ε R
R +∞ sen x
Figura 40: Contorno para la integral 0 x
dx.
Ejemplo 3.
+∞
sen x
Z
I= dx . (12.69)
0 x
El integrando es O(1) cuando x → 0 y ahı́ no hay problema de convergencia, pero es O(1/x) cuando
x → +∞ y ahı́ no está garantizada la convergencia. Como se verá del cálculo, la integral converge,
es decir, el lı́mite Z R
sen x
lı́m dx (12.70)
ǫ→0+ ǫ x
R→+∞
existe y es finito.
eiz
Con vistas a aplicar el teorema de residuos, consideramos la función f (z) = , y el circuito C
z
de la figura 40. C = [−R, −ǫ] ∪ γǫ− ∪ [ǫ, R] ∪ γR . γR y γǫ son semicirfunferencias centradas en
135
z = 0 de radios R y ǫ, con orientación positiva (es decir, sentido antihorario). γǫ− es γǫ recorrido en
sen z
sentido negativo (horario). Obsérvese que la función original tiene una singularidad evitable en
z
z = 0 y para ella bastarı́a usar el contorno [−R, R], sin rodear z = 0 con el arco γǫ− . Sin embargo
eiz
para poder aplicar el Lema de Jordan hemos cambiado a , que tiene un polo simple en z = 0.
z
Puesto que f (z) es analı́tica sobre y en el interior de C
Z
f (z) dz = 0 . (12.71)
C
La integral en la semicircunferencia del infinito se anula por aplicación del Lema de Jordan:
Z
lı́m f (z) dz = 0 . (12.73)
R→+∞ γR
Se deduce
−ǫ R R
eix eix − e−ix
Z Z Z
iπ = lı́m+ lı́m + dx = lı́m+ lı́m dx
ǫ→0 R→+∞ −R ǫ x ǫ→0 R→+∞ ǫ x
R
2i sen x
Z
= lı́m+ lı́m dx = 2iI , (12.75)
ǫ→0 R→+∞ ǫ x
es decir,
π
I= . (12.76)
2
Alternativamente,
1 +∞ sen x
Z +∞
1 sen x
Z
I = dx = P dx
2 −∞ x 2 −∞ x
Z +∞ ix Z −ǫ Z R ix
1 e 1 e
= Im P dx = Im lı́m+ lı́m + dx . (12.77)
2 −∞ x 2 ǫ→0 R→+∞ −R ǫ x
136
La integral sobre [−R, −ǫ] ∪ [ǫ, R] puede entonces completarse con γǫ−Z y γR como antes y apli-
+∞
sen x
car el teorema de residuos. Obsérvese que, a diferencia de la integral dx, la integral
Z +∞ ix 0 x
e
dx no existe. (Existe si se añade alguna prescripción, tal como el valor principal de Cauchy.)
−∞ x
iπ /4
e R
IR γ
R
R
R +∞ R +∞
Figura 41: Contorno para las integrales de Fresnel, 0
cos(x2 ) dx, 0
sen(x2 ) dx.
2
Sea f (z) = eiz , y sea C el contorno representado en la figura 41. C = [0, R] ∪ γR ∪ IR− , siendo
Claramente Z +∞ Z R
ix2
I1 + iI2 = e dx = lı́m f (z) dz . (12.82)
0 R→+∞ 0
137
Por otro lado58
R +∞ √
π
Z Z Z
−t2 iπ/4 iπ/4 −x2 iπ/4
lı́m f (z) dz = lı́m e e dt = e e dx = e . (12.83)
R→+∞ IR R→+∞ 0 0 2
Y finalmente
eiw
Z Z
iz 2
lı́m e dz = 2 lı́m dw −→ 0 , (12.84)
R→+∞ γR w=z R→+∞ γR,w 2w1/2 R→+∞
C3 2πi
C4 iπ C2
C1 R
R +∞
Figura 42: Contorno para la integral −∞
eax /(1 + ex )dx.
Ejemplo 5.
+∞
eax
Z
I= dx, (0 < a < 1). (12.87)
−∞ 1 + ex
+∞ √
π
Z
2
58
Usando e−x dx = . En efecto,
0 2
Z +∞ 2 +∞ +∞ π/2 +∞ +∞
π π
Z Z Z Z Z
2 2
+y 2 ) 2
e−x dx = dx dy e−(x = dθ drr e−r = dξ e−ξ = .
0 0 0 0 0 4 0 4
138
La integral converge en +∞ por a < 1 y en −∞ por a > 0. En realidad la integral existe también
para a complejo si 0 < Re a < 1.
Sea f (z) = eaz /(1 + ez ) y sea C = C1 ∪ C2 ∪ C3− ∪ C4− el contorno representado en la figura
42. f (z) tiene polos simples en z = iπ(2n + 1), n ∈ Z. De éstos sólo z = iπ cae dentro de C.
eaz
Z
f (z) dz = 2πi Res f (z) = 2πi lı́m z = −2πieiπa . (12.88)
C z=iπ z→iπ e
Veamos que las integrales a lo largo de C2 y C4 se anulan cuando R → +∞. Como estas integrales
son sobre intervalos compactos es suficiente verificar que f (z) tiende a cero sobre ellos:
aR iya (a−1)R
e e
= e
z ∈ C2 |f (z)| = −→ 0 (por a < 1) ,
1 + eR eiy |e−R−iy + 1| R→+∞
e−aR
z ∈ C4 |f (z)| = −→ 0 (por a > 0) . (12.89)
|1 + e−R+iy | R→+∞
La integral sobre C1 tiende a I, y por otro lado la integral sobre C3 puede relacionarse con esta
Z R Z R ax 2πia
e e
Z Z
2πia
f (z) dz = f (x + 2πi) dx = x
dx = e f (z) dz . (12.90)
C3 −R −R 1 + e C1
Se deduce
−2πieiπa = I + 0 − e2πia I − 0 , (12.91)
y de ahı́
eiπa 2πi π
I = 2πi 2πia
= iπa −iπa
= . (12.92)
e −1 e −e sen(πa)
La integral es positiva cuando 0 < a < 1 y diverge cuando a tiende a los valores 0 o 1.
Nota: Mediante un cambio de variable esta integral puede llevarse a una del tipo del Ejemplo
7.
Ejemplo 6.
+∞
log x
Z
I= dx. (12.93)
0 (x2 + 1)2
Debido a la presencia del logaritmo, el integrando no es O(x−4 ) cuando x → +∞ pero sı́ O(xα )
para cualquier α > −4 y la integral converge en +∞ (basta α < −1). Igualmente, el integrando es
139
γR
i
γ−
ε
−R −ε ε R
R +∞
Figura 43: Contorno para la integral 0
log x/(x2 + 1)2 dx.
log z
Sea f (z) = , y sea C el contorno representado en la figura 43. f (z) tiene polos dobles
(z 2 + 1)2
en z = ±i y puntos de ramificación en z = 0, ∞. Para el logaritmo elegimos la rama en la que
log 1 = 0. Entonces por continuidad sobre el circuito C, log z es real cuando z es real y positivo,
y log |z| + iπ cuando z es real y negativo. Esto es general cuando hay funciones multivaluadas: El
circuito debe dejar fuera los puntos de ramificación. Una vez elegido el valor de la función en un
punto del circuito, el valor de la función queda fijado por continuidad en todos los demás puntos
del circuito y de su interior. En el presente caso el argumento de z para el logaritmo lo tomamos en
[0, π].
a) Las integrales sobre γR y γǫ tienden a cero por aplicación inmediata de los Lemas 1 y 2.
59
Como regla, un integrando que se comporte como xα logβ x cuando x = 0+ converge si (condición suficiente)
α > −1. Y si se comporta como xα logβ x cuando x = +∞, converge si α < −1. Es decir, en ambos casos, si la
potencia α es tal que la integral converge, el logaritmo no modifica esa situación.
140
donde +∞
1
Z
I1 = dx . (12.95)
0 (x2 + 1)2
d) La integral sobre todo C se obtiene por residuos. El único punto a tener en cuenta es que
al calcular el residuo hay que usar la misma hoja de la función multivaluada que se ha usado
sobre el circuito. En el presente caso, log i = iπ/2.
1 log z d log z
Z
f (z) dz = Res 2 =
2πi C z=+i (z + 1)2 dz (z + i)2 z=i
1 log z i π
= 2
−2 3
= + . (12.96)
z(z + i) (z + i) z=i 4 8
En conjunto se obtiene
i π
2πi + = I + 0 + I + iπI1 + 0 (12.97)
4 8
La integral I1 puede calcularse como en el Ejemplo 1. Sin embargo no es necesario. Teniendo en
cuenta que I e I1 son reales, se deduce
π π
I = − , I1 = . (12.98)
4 4
+∞
xa−1
Z
′
Nota: Esta integral puede también obtenerse a partir de I = dx derivando
0 1 + x2
respecto de a. I ′ se obtiene por un método análogo al seguido en el Ejemplo 7.
Ejemplo 7.
+∞
xa−1
Z
I= dx, 0 < a < 1. (12.99)
0 1+x
141
γ
R
γr C1
ε
−1
C2
R +∞
Figura 44: Contorno para la integral 0
xa−1 /(1 + x) dx.
c) La integral sobre C2 = {te−iǫ , r ≤ t ≤ R} puede relacionarse con I (en el lı́mite): Tal y como
se ha elegido la rama de la potencia, z a−1 (t) = ta−1 ei(2π−ǫ)(a−1) . Entonces
R a−1 i(2π−ǫ)(a−1)
z a−1 t e
Z Z
dz = e−iǫ dt −→ e2πi(a−1) I = e2πia I, (12.100)
C2 1+z r 1 + te−iǫ
d) La integral sobre todo C se obtiene por residuos, teniendo en cuenta que hay que tomar
arg(−1) = π:
1 z a−1
Z
f (z) dz = Res = z a−1 = eiπ(a−1) = −eiπa . (12.101)
2πi C z=−1 1 + z z=−1
En conjunto,
−2πieiπa = I + 0 − e2πia I − 0. (12.102)
2πieiπa 2πi π
I=− = − = . (12.103)
1 − e2πia e−iπa − eπia sen(πa)
142
Como debe ser, el resultado es positivo cuando 0 < a < 1, y diverge cuando el parámetro a se
acerca a los lı́mites del intervalo. (Fuera del intervalo ]0, 1[, aunque el resultado sea finito, ya no se
corresponde con la integral, que no existe, y de hecho no es definido positivo.)
γ
R
i
γ
r
R 1 R
R +∞
Figura 45: Contorno para la integral P −∞
((x − 1)(x2 + 1))−1 dx.
Ejemplo 8.
+∞
dx
Z
I=P (12.104)
−∞ (x − 1)(x2 + 1)
a) La integral sobre [−R, 1 − r] ∪ [1 + r, R] (es decir la parte del contorno que sigue el eje real)
tiende a I, cuando R → +∞ y r → 0+ .
143
c) La integral sobre γr no tiende a 0. Como z = 1 es un polo simple se puede aplicar el Lema 4.
1 1 iπ
Z
lı́m+ 2
dz = iπ Res 2
= . (12.105)
r→0 γr (z − 1)(z + 1) z=1 (z − 1)(z + 1) 2
b) La integral sobre todo el contorno completo se obtiene por residuos, teniendo en cuenta que
z = i es la única singularidad contenida en C.
1 1 π
Z
2
dz = 2πi Res 2
= − (1 + i). (12.106)
C (z − 1)(z + 1) z=i (z − 1)(z + 1) 2
En conjunto
π iπ
− (1 + i) = I − + 0. (12.107)
2 2
π
I=− . (12.108)
2
La integral es real.
Nota: Igualmente se hubiera podido elegir C de modo que γr rodeara el polo z = 1 por debajo,
incluyéndolo en su interior. En este caso la integral sobre γr se sumarı́a a la derecha de (12.107) en
vez de restarse, pero también habrı́a que añadir 2πi veces el residuo de ese polo a la izquierda de
la ecuación (ya que ahora está dentro de C), y por supuesto se obtiene el mismo resultado. Como
regla práctica, en el cálculo de la parte principal de Cauchy mediante el teorema de residuos, lo más
cómodo es rodear los polos dejándolos fuera del contorno.
Ejemplo 9.
+∞
xα−1
Z
I=P dx, a > 0, 0 < α < 1. (12.109)
0 x−a
La convergencia en x = 0 está garantizada por α > 0, y en x = +∞ por α < 1. El integrando es
singular en x = a (en el camino de integración) y nos piden la parte principal de Cauchy.
z α−1
Para aplicar el teorema de residuos consideramos la función f (z) = . Esta función tiene un
z−a
polo simple en z = a y puntos de ramificación en z = 0, ∞. La integral se hará sobre el contorno C
mostrado en la figura 46. El contorno excluye los puntos singulares. Para la potencia z α−1 en f (z)
elegimos arg z ∈]0, 2π[ en el interior de C. En I1 arg z = 0 y en I2 arg z = 2π.
144
γ
R
γ γ1
r I1
a
R I R
γ 2
2
R +∞ xα−1
Figura 46: Contorno para la integral P 0 x−a
dx.
b) La integral sobre γR tiende a cero por aplicación del Lema 1. La integral sobre γr tiende a
cero por aplicación del Lema 2.
tα−1
c) Sobre I1 = [r, a − r] ∪ [a + r, R], (alcanzado desde Im z > 0) f (z) = (para z = t).
t−a
Por tanto, Z
f (z) dz −→ I. (12.110)
I1
tα−1 e2πi(α−1)
d) Sobre I2 = [r, a − r] ∪ [a + r, R], (alcanzado desde Im z < 0) f (z) = (para
t−a
z = t). Por tanto, Z
f (z) dz −→ e2πi(α−1) I = e2πiα I. (12.111)
I2
145
En conjunto
0 = I + 0 − e2πiα I − 0 − iπaα−1 − iπaα−1 e2πiα . (12.113)
2πiα
1+e
I = iπ 2πiα
aα−1 = −π cotg(πα)aα−1 . (12.114)
1−e
C
R
I1 C
a I2 b
Rb p
Figura 47: Contornos para la integral a
1/ (x − a)(b − x) dx.
Ejemplo 10.
b
1
Z
I= p dx, a < b. (12.115)
a (x − a)(b − x)
146
Sea C el contorno mostrado en la figura 47.
a) Las integrales sobre las pequeñas circunferencias centradas en a y b tienden a cero (Lema 2).
+
b) I1 = [a + ǫ, b − ǫ] √(alcanzado
√desde Im √ z ∈ I1 , z = x + i0 , Arg (z − a) = 0,
√ z > 0). Para
Arg (z − b) = π, z − a = x − a, z − b = i b − x. Se deduce
i
Z
z ∈ I1 , f (z) = − √ √ , f (z) dz −→+ −iI. (12.117)
x−a b−x I1 ǫ→0
+
c) I2 = [a + ǫ, b − ǫ] √(alcanzado desde
√ Im √
z < 0). Para√ z ∈ I2 , z = x − i0 , Arg (z − a) = 2π,
Arg (z − b) = π, z − a = − x − a, z − b = i b − x. Se deduce
i
Z
z ∈ I2 , f (z) = √ √ , f (z) dz −→+ iI. (12.118)
x−a b−x I2 ǫ→0
1 1 1
f (z) = √ √ = + O( 2 ). (12.121)
z−a z−b z z
(f (z) está definida de modo que tiende a 1/z cuando z → ∞, y no a −1/z, como es fácil de
verificar.) Se deduce Res f (z) = −1.
z=∞
Finalmente
I = π. (12.122)
147
Notas: 1) En este tipo de integrales (el intervalo de integración une dos puntos de ramificación)
conviene
√ definir
√ f (z) de modo que tenga el corte de rama √ sobre√el intervalo de integración. Ası́
1/( z − a z − b) cumple esa propiedad, mientras que 1/( z − a b − z) tiene el corte de rama en
]−∞, a]∪[b, +∞[. 2) Como es fácil perderse en la superficie de Riemann de una función multivaluada,
conviene trabajar con√funciones multivaluadas elementales cuyas propiedades se conozcan bien (en
el presente Ejemplo z definida en (12.116)) aunque sea a costa p de trabajar con una función no
idéntica
√ al √ integrando (en el presente Ejemplo el integrando es 1/( (x − a)(b − x)) pero f (z) =
1/( z − a z − b)). Es decir, es mejor adaptar f (z) a las funciones multivaluadas involucradas que
adaptar la función multivaluada al integrando.
Sean
π π
F+ (z) := , F− (z) := . (12.123)
tan(πz) sen(πz)
Estas funciones tienen polos simples en z = n ∈ Z con residuos (±1)n respectivamente. Además
son periódicas. Estas propiedades hacen que se puedan utilizar para sumar series:
+∞
X (−1)n 1
Solución: Consideramos primero 2 2
. Tomando f (z) = 2 2
, que tiene polos en
n=−∞
n + a z + a
148
z = ±ia, el teorema implica
+∞
X (−1)n F− (z) F− (z) π 1
2 2
= − Res 2 2
− Res 2 2
= . (12.125)
n=−∞
n +a z=ia z + a z=−ia z + a a senh(πa)
+∞ ∞
X (−1)n 1 X (−1)n
Por otro lado 2 + a2
= 2
+ 2 2 + a2
, implica
n=−∞
n a n=1
n
∞
X (−1)n π 1 1
= − . (12.126)
n=1
n2 + a2 2a senh(πa) 2a2
149
13. Transformada de Laplace
La variable s es compleja en general. A menudo se simplifica la notación a L{f (t)} (sin (s)) y se
sobreentiende que es una función de s y no de t.
Se puede considerar f (t) definida sólo en t > 0, o bien en ] − ∞, ∞[ pero tal que f (t) = 0 para
t < 0. En este último caso se dice que la función f (t) es causal.
Definición. Sea σ ∈ R y f (t) definida en 0 ≤ t < +∞. Se dice que f (t) es de orden
exponencial σ si |f (t)| < Keσt para algún K > 0 y ∀t ≥ A > 0. Es decir, f (t) = O(eσt ) si no
crece más deprisa que eσt cuando t → +∞.
Teorema. Sea f (t) continua60 en 0 ≤ t < +∞ y de orden eσt , entonces L{f (t)} converge
para Re s > σ.
Demostración:
Z +∞ Z A Z +∞
−st −st
L{f (t)} = e f (t) dt = e f (t) dt + e−st f (t) dt. (13.2)
0 0 A
150
Ejemplo. Calcúlese la transformada de Laplace de f (t) = tn , n = 0, 1, . . ..
R +∞
Solución: L{tn } = 0 e−st tn dt. Converge para Re s > 0.
+∞
1 +∞ 1
Z
n=0 L{1} = e−st dt = − e−st = ,
0 s 0 s
Z +∞ Z +∞ −st
e n
n>0 L{tn } = e−st tn dt = tn d( ) = L{tn−1 } . (13.4)
0 0 −s s
n!
Por tanto, L{tn } = n+1 , n = 0, 1, 2, . . .. La función se puede extender analı́ticamente a C − {0}.
s
a
Ejemplo. L{sen(at)} = para Re s > 0 y a ∈ R. En efecto,
s 2 + a2
Z +∞ Z +∞ −(s−ia)t
− e−(s+ia)t
−st e 1 1 1
e sen(at) dt = dt = − . (13.5)
0 0 2i 2i s − ia s + ia
b) F (+∞) = 0. En efecto, si la integral converge para algún s, f (t) debe ser de orden exponencial
para algún σ y la integral debe tender a cero para s → +∞.
d) (Teorema del valor final.) Si F (s) es analı́tica en Re s > 0, f (+∞) = lı́ms→0 (sF (s)).
151
c) Transformada de la derivada. L{f ′ (t)} = sF (s) − f (0).
Z +∞ +∞ Z +∞
′ −st ′ −st
En efecto, L{f (t)} = e f (t) dt = e f (t) +s e−st f (t) dt = −f (0) +
0 0 0
sF (s).
n
X
(n) n
Iterando, L{f (t)} = s F (s) − sn−k f (k−1) (0), n = 0, 1, 2, . . .
k=1
152
Z +∞
1
e−st dt = a<0
Z +∞
s
L{H(t − a)} = e−st H(t − a) dt = Z0 +∞
e−as
0
e−st dt = a>0
s
a
1 e−as
= H(−a) + H(a). (13.7)
s s
Definición. Sea f (t) definida para t > 0. Se dice que f (t) es la transformada inversa de
Laplace de F (s), por definición si L{f (t)} = F (s). Se denota f (t) = L−1 {F (s)}.
(Obviamente si f1 (t) y f2 (t) son iguales salvo en puntos aislados la integral que define la transfor-
mada de Laplace no cambia. Por tanto L−1 {F (s)} no puede ser única si no se invoca continuidad.)
Definición. Usamos la notación f1 (x) “=” f2 (x) para indicar que en cualquier intervalo finito
las dos funciones f1 (x) y f2 (x) difieren a lo sumo en un número finito de puntos. Con esta notación,
se tiene que L{f1 (t)} = L{f2 (t)} sii f1 (t) “=” f2 (t) bajo condiciones muy generales sobre f1 (t) y
f2 (t).
Ejemplo. L−1 { 1s e−sa } = H(t − a) (a > 0) no está definida en t = a: cualquier valor asignado
a H(0) para completar la definición de H(t) da la misma transformada L{H(t − a)}.
b) Traslación. L−1 {F (s − a)} = eat f (t). Y también L−1 {e−sa F (s)} = f (t − a)H(t − a) para
a > 0.
153
d) Transformada inversa del producto. Sean f1 (t) y f2 (t) las transformadas inversas de F1 (t) y
F2 (t), entonces L−1 {F1 (s)F2 (s)} = f1 (t) ∗ f2 (t).
Aquı́ se ha usado el producto de convolución
Z +∞
f1 (t) ∗ f2 (t) := f1 (x)f2 (t − x) dx. (13.8)
−∞
En nuestro caso, dado que f1 (t) y f2 (t) son causales (es decir, idénticamente cero cuando
t < 0) Z t
f1 (t) ∗ f2 (t) := f1 (x)f2 (t − x) dx (para L−1 {}). (13.9)
0
Demostración:
Z +∞ Z t
−st
L{f1 (t) ∗ f2 (t)} = dt e dx1 f1 (x1 )f2 (t − x1 )
0 0
Z +∞ Z +∞
= dt dx1 H(x1 )H(t − x1 )e−st f1 (x1 )f2 (t − x1 )
−∞ −∞
Z +∞ Z +∞
= dx1 dx2 H(x1 )H(x2 )e−s(x1 +x2 ) f1 (x1 )f2 (x2 )
−∞ −∞
Z +∞ Z +∞
−sx1
= dx1 e f1 (x1 ) dx2 e−sx2 f2 (x2 )
0 0
= F1 (s)F2 (s). (13.10)
1 1 eat − ebt
Ejemplo. L−1 { } = eat ∗ ebt = .
s−as−b a−b
1
Ejemplo. Calcúlese L−1 { }.
s2 (s − 1)
154
13.5. Fórmula de inversión de Bronwich
Teorema. Sea F (z) analı́tica en Re z > σ y tal que F (z) → 0 cuando z → ∞ en Re z > σ,
y sea γ > σ, entonces
Z γ+i∞
−1 1
L {F (s)} = etz F (z) dz t ≥ 0. (13.13)
2πi γ−i∞
Z γ+i∞
1
Demostración: Sea f (t) := etz F (z) dz, t ≥ 0. Calculemos su transformada de
2πi γ−i∞
Laplace. Para Re s > σ elegimos σ < γ < Re s:
Z +∞ Z γ+i∞ Z γ+i∞
−ts 1 tz 1 F (z)
L{f (t)} = dt e e F (z) dz = dz
0 2πi γ−i∞ 2πi γ−i∞ s − z
1 F (z)
Z
= dz = F (s). (13.15)
2πi C − s − z
Aquı́ C − es la curva cerrada que recorre γ + it, (−R ≤ t ≤ +R) y luego vuelve al principio
siguiendo un arco de circunferencia γR− en Re z ≥ γ, y se sobreentiende el lı́mite R → +∞ (véase
la fig. 48(a)). El Lema 1 se aplica.
1
Ejemplo. F (s) = . Se puede elegir σ = máx( Re a, Re b) (u otro valor mayor).
(s − a)(s − b)
F (z) es meromorfa sin polos en Re z > σ y lı́mz→∞ F (z) = 0:
155
γ +iR
γ+iR
γ
R γ
R
z2
s z
1
γ iR
γ iR
(a) (b)
Figura 48: (a) Aplicación del teorema de residuos para demostrar (13.13). (b) Ídem para de-
mostrar (13.14).
1
Ejemplo. Por aplicación directa del teorema, L−1 { } = −t − 1 + et (t ≥ 0).
s2 (s − 1)
dN (t)
= −λN (t), λ > 0. (13.18)
dt
(Describe, por ejemplo, la desintegración de partı́culas de una muestra radiactiva siendo λ la probabi-
lidad de desintegración por unidad de tiempo.) Se puede resolver mediante transformada de Laplace:
Sea Ñ (s) = L{N (t)}, entonces, aplicando transformada de Laplace a la ecuación se obtiene una
ecuación algebraica equivalente:
156
14. Series de Fourier
Sea f (x) una función definida en el intervalo [c, c + 2L[. (En general f (x) puede ser compleja,
de variable real.) Se trata de aproximar, o reproducir esta función mediante una serie de funciones
trigonométricas.
Sin pérdida de generalidad podemos cambiar f (x) por una función periódica fP (x) de periodo
2L de modo que coincida con f (x) en [c, c + 2L[, a base copiar f (x) en cada periodo. Hay una
biyección natural entre funciones definidas en un intervalo finito dado y funciones periódicas en R:
Por otro lado, dada la suma S(x) los coeficientes quedan unı́vocamente determinados mediante
c+2L
1
Z
αn = e−inπx/L S(x) dx. (14.4)
2L c
(Obsérvese que, siendo S(x) y e−inπx/L periódicas, el resultado de la integral no depende de c.) Esto
se deduce inmediatamente de las relaciones de ortogonalidad entre las funciones básicas
Z c+2L
1
e−inπx/L eimπx/L dx = δnm , n, m ∈ Z. (14.5)
2L c
61
P+∞ PN
En este contexto el lı́mite se define de forma simétrica: n=−∞ := lı́mN →+∞ n=−N .
157
Aquı́ el sı́mbolo δnm denota la delta de Kronecker
1 n=m
δnm = . (14.6)
0 n 6= m
S(x) = (S(x))∗ (es decir, S(x) real) sii α−n = αn∗ . (14.8)
Definición. Una función f (x) definida en [a, b] se dice que es continua a trozos si es continua
excepto a lo sumo en un número finito de puntos a = x0 < x1 < · · · < xN = b para los que existen
los lı́mites f (xn + 0+ ) y f (xn − 0+ ), y éstos son finitos.62
La propiedad más notable es que esencialmente cualquier función periódica se puede representar
mediante una serie compleja de Fourier. Especı́ficamente,
Teorema. Sea f (x) definida en [c, c + 2L[, continua a trozos y con derivada continua a trozos.
Y sean Z c+2L
1
αn = e−inπx/L f (x) dx, n ∈ Z. (14.9)
2L c
Entonces la suma de la serie compleja de Fourier, (14.2), satisface
1
fP (x + 0+ ) + fP (x − 0+ ) ,
S(x) = (14.10)
2
donde fP (x) es la función periódica asociada a f (x).
Esto quiere decir, que S(x) = f (x) en [c, c + 2L] excepto en los puntos de discontinuidad:
f (x) si f (x) continua en x ∈]c, c + 2L[
1 + +
S(x) = (f (x + 0 ) + f (x − 0 )) si f (x) discontinua en x ∈]c, c + 2L[ (14.11)
1 2 + +
2
(f (c + 0 ) + f (c + 2L − 0 )) si x = c ó x = c + 2L
62
Obviamente, en los bordes sólo se requiere existencia y finitud de f (a + 0+ ) y f (b − 0+ ) .
158
Demostración: (Cualitativa.) Sea Sn (x) la suma truncada, y x ∈]c, c + 2L[
n
X
Sn (x) = αk eikπx/L
k=−n
n c+2L
1
X Z
ikπx/L
= e e−ikπy/L f (y) dy
k=−n
2L c
c+2L
1 sen(π(y − x)(n + 1/2)/L)
Z
= f (y) dy, (14.12)
2L c sen(π(y − x)/2L)
n
X wn+1 − w−n wn+1/2 − w−n−1/2
donde se ha usado wk = = 1/2 −1/2
para w = eikπ(x−y)/L .
k=−n
w−1 w −w
1
f (x − 0+ ) + f (x + 0+ ) .
S(x) = (14.16)
2
Por periodicidad x es en realidad un punto cualquiera de R.
63
Este paso al lı́mite es formal. Para una demostración rigurosa véase, por ejemplo, el libro de Dettman.
159
Obsérvese que la convergencia no puede ser absoluta y uniforme si f (x) es discontinua o f (c) 6=
f (c + 2L) ya que entonces S(x) serı́a una función continua.
Sean
c+2L
1
Z
an = a−n = cos(πnx/L) S(x) dx,
L c
c+2L
1
Z
bn = −b−n = sen(πnx/L) S(x) dx. (14.18)
L c
Entonces
1
αn = (an − ibn ). (14.19)
2
O también, an = αn + α−n , bn = i(αn − α−n ). Y
+∞
X 1
S(x) = (an − ibn )(cos(πnx/L) + i sen(πnx/L))
n=−∞
2
+∞
1 X
= a0 + (an cos(πnx/L) + bn sen(πnx/L)) (14.20)
2 n=1
(donde se han utilizado las propiedades de paridad de los coeficientes y de las funciones trigonométri-
cas.) Ésta es la forma trigonométrica de la serie de Fourier.
Una ventaja respecto de la forma compleja es que S(x) es real sii los an y bn son todos reales.
160
La identidad de Parseval toma la forma
+∞
1 c+2L 1
Z X
2 2
|S(x)| dx = |a0 | + (|an |2 + |bn |2 ). (14.23)
L c 2 n=1
Para simplificar, aquı́ tomaremos c = −L, es decir, f (x) está definida en ] − L, L[. En este caso
se cumple que
f (x) = f (−x) (f (x) es par) sii bn = 0,
f (x) = −f (−x) (f (x) es impar) sii an = 0. (14.24)
Veamos que f (x) en ]0, L[ se puede expresar usando sólo cosenos o sólo senos. Para ello,
definimos la función
f (x) 0<x<L
fp (x) = (14.25)
f (−x) −L < x < 0
Por construcción, fp (x) tiene las propiedades i) es par, y ii) coincide con f (x) en ]0, L[. Si
desarrollamos fp (x) en ] −L, L[ se obtiene
1 L 2 L
Z Z
p p
bn = 0, an = cos(πnx/L) fp (x) dx = cos(πnx/L) f (x) dx. (14.26)
L −L L 0
con
L L
1 2
Z Z
c0 = f (x) dx, cn = cos(πnx/L) f (x) dx (n > 0) . (14.28)
L 0 L 0
161
Esta función es impar y coincide con f (x) en ]0, L[. Sus coeficientes de Fourier cumplen
1 L 2 L
Z Z
i i
an = 0, bn = sen(πnx/L) fi (x) dx = sen(πnx/L) f (x) dx. (14.30)
L −L L 0
1.5
1.0
0.5
-3 -2 -1 1 2 3
162
2
-3 -2 -1 1 2 3
-1
-2
-3 -2 -1 1 2 3
-1
-2
14.4. Complementos
163
15. Transformada de Fourier
Obviamente, |eikx | = 1 (k real) implica que una Rcondición suficiente para que F (k) exista es
+∞
que f (x) sea absolutamente integrable, es decir, −∞ |f (x)| dx < +∞.
La función f (x) puede ser real o compleja, F (k) resulta ser compleja en general. En principio
k es real ( transformada de Fourier real). Cuando se consideran k complejos, se obtiene la
transformada de Fourier compleja.
Demostración: (Cualitativa.) Este resultado se obtiene como lı́mite del correspondiente a series
164
de Fourier. Para f (x) definida en ] −L, L[, las relaciones (14.9) y (14.17) pueden reescribirse como
Z L
e−ikn x f (x) dx = 2Lαn , (15.3)
−L
+∞
X 2Lαn ikn x
f (x) “=” ∆kn e , (15.4)
n=−∞
2π
donde se ha definido
πn π
,
kn = ∆kn = kn+1 − kn = . (15.5)
L L
Si se toma ahora el lı́mite L → +∞, kn tiende a ser una variable continua k por ∆kn → 0+ .
Entonces, en (15.3)
Z L Z +∞
−ikn x
e f (x) dx → e−ikx f (x) dx (15.6)
−L −∞
y por tanto
2Lαn → F (k). (15.7)
P+∞ R +∞
En (15.4), n=−∞ ∆kn → −∞
dk y finalmente
+∞ +∞
2Lαn ikn x F (k) ikx
X Z
f (x) “=” ∆kn e → dk e . (15.8)
n=−∞
2π −∞ 2π
Xn n
X
a) Linealidad. F{ ai fi (x)} = ai F{fi (x)}.
i=1 i=1
b) Paridad. F{f (−x)} = F (−k). Se deduce que si f (x) es par o impar, F (k) lo mismo.
c) Conjugación. F{(f (x))∗ } = (F (−k))∗ .64 Por lo tanto si f (x) es real F (k)∗ = F (−k). Si
además f (x) es par F (k) es real y par y si f (x) es impar, F (k) es imaginario puro e impar.
64
O más generalmente (F (−k ∗ ))∗ si k es complejo.
165
d) Traslación. F{eiax f (x)} = F (k − a), F{f (x − a)} = e−iak F (k).
1
e) Dilatación. F{f (ax)} = F (k/a), a > 0.
a
f ) Derivada. F{f ′ (x)} = ikF (k), F{xf (x)} = iF ′ (k).
Demostración:
Z +∞ +∞ Z +∞
−ikx ′ −ikx
′
e f (x) dx = e f (x) − e−ikx f (x) dx = ikF (k),
−∞ −∞
Z +∞ Z +∞ −∞
d
e−ikx xf (x) dx = i e−ikx f (x) dx = iF ′ (k). (15.10)
−∞ −∞ dk
(Suponemos f (±∞) = 0 para que la integral converja).
g) Identidad de Parseval.
+∞ +∞
dk
Z Z
2
|f (x)| dx = |F (k)|2 . (15.11)
−∞ −∞ 2π
Esta identidad implica que f (x) es de cuadrado integrable sii F (k) lo es. (Sólo transformada
de Fourier real.)
Demostración: De hecho se cumple una relación más general:
Z +∞ Z +∞ Z +∞ Z +∞
∗ dk dk ikx ∗
F1 (k)F2 (k) = F1 (k) e f2 (x) dx = f1 (x)f2∗ (x) dx. (15.12)
−∞ 2π −∞ 2π −∞ −∞
h) Convolución.
F{f1 (x) ∗ f2 (x)} = F1 (k)F2 (k)
1
F{f1 (x)f2 (x)} = F1 (k) ∗ F2 (k). (15.13)
2π
Demostración:
Z +∞ Z +∞ Z +∞
−ikx
dx e dy f1 (y)f2 (x − y) = dy f1 (y)e−iky F2 (k) = F1 (k)F2 (k). (15.14)
−∞ −∞ −∞
+∞ +∞ +∞
dq iqx
Z Z Z
−ikx −ikx
dx e f1 (x)f2 (x) = dx e f1 (x) e F2 (q)
−∞ −∞ −∞ 2π
+∞
dq
Z
= F1 (k − q) F2 (q)
−∞ 2π
1
= F1 (k) ∗ F2 (k). (15.15)
2π
166
R +∞
i) F (0) = −∞
f (x) dx.
l) Continuidad y convergencia. Como regla general, si f (x) tiene “buen comportamiento” local-
mente (es más regular), F (k) tiene “buen comportamiento” en k → ∞ (es más convergente) y
viceversa si f (x) se comporta bien en el infinito F (k) lo hace bien localmente. Especı́ficamente
1
1) Si f (x) tiene n derivadas continuas (n = 0, 1, 2, . . .), F (k) = O( kn+2 ) cuando k → ∞.
2) Si f (x) es a lo sumo discontinua con salto finito, F (k) = O( k1 ) cuando k → ∞.
3) Si f (x) tiene un polo de orden n (en R) F (k) = O(k n−1 ) cuando k → ∞. 65
4) Si f (x) es infinitamente diferenciable F (k) va cero más deprisa que cualquier potencia
inversa de k.
5) Si f (x) es analı́tica en una banda de anchura σ > 0 en el plano complejo x que contenga
R, F (k) = O(e−σ|k| ) cuando k → ∞.
R +∞
m) Principio de incertidumbre. Para f (x) tal que −∞ |f (x)|2 dx = 1, sean
+∞ +∞
dk
Z Z
n 2
Xn ≡ x |f (x)| dx, Kn ≡ k n |F (k)|2 . (15.16)
−∞ −∞ 2π
167
15.4. Ejemplos
2 /2a2
Ejemplo. Sea f (x) = e−x , a > 0. Calculemos F (k).
Z +∞
−x2 /2a2 2 2
F (k) = F{e }= dx e−ikx e−x /2a . (15.18)
−∞
La integral en z es a lo largo del camino R + iak. Se puede cambiar a una integral a lo largo de R
2
ya que e−z /2 tiende a cero cuando Re z → ±∞ y entre los dos caminos no hay puntos singulares:
−a2 k2 /2
Z +∞
2 √ 2 2
F (k) = ae dz e−z /2 = 2π a e−a k /2 . (15.22)
−∞
2 2
ilustra las propiedades citadas en 15.3. f (x) = e−x /2a es infinitamente diferen-
Este ejemplo √
2 2
ciable y F (k) = 2π a e−a k /2 cae rápidamente a cero cuando k → ±∞. De hecho más deprisa
que exponencialmente, ya que f (x) es entera en el plano complejo. Y al revés, f (x) cae muy depri-
sa en ±∞ por lo que F (k) es infinitamente diferenciable. También se ve que la anchura de f (x),
∆x ∼ a, es inversamente proporcional a la anchura de F (k), ∆k ∼ 1/a, lo cual está de acuerdo con
la respuesta de F{} a dilataciones. De hecho ∆x = a/2 y ∆k = 1/(2a) por lo que ∆x∆k = 1/4;
la gaussiana satura la cota inferior en el principio de incertidumbre.
168
Obsérvese que F (k) es analı́tica en | Im k| < a, como consecuencia de la caı́da exponencial del
f (x). Por otro lado f (x) es continua pero no su derivada (en x = 0) y por ese motivo la caı́da de
F (k) cuando k → ±∞ es sólo O(1/k 2 ).
dn k i~k·~x ~
Z
−1 ~
F {F (k)}(~x) := e F (k). (15.27)
n
Rn (2π)
169
15.6.1. Regularizaciones de H(x)
siendo h(x) cualquier función continua tal que h(+∞) = 1, h(−∞) = 0 y h(0) = 1/2. Por ejemplo,
1 x 1
1) Hǫ (x) = arctan +
π ǫ 2
Z x/ǫ
1 1 2 1 1 x
2) Hǫ (x) = + √ e−y dy = + erf
2 π 0 2 2 ǫ
0 x < −ǫ
1
3) Hǫ (x) = 2 (1 + x/ǫ) |x| < ǫ
1 x>ǫ
Z 1/ǫ −iwx
1 1 e 1 1 1/ǫ sen(wx)
Z
4) Hǫ (x) = − P dw = + dw
2 2πi −1/ǫ w 2 π 0 w
Z +∞ −iwx
e dw
5) Hǫ (x) = −P
−∞ w + iǫ 2πi
Dado que H(x) no es absolutamente integrable usamos una regularización para calcular la
transformada de Fourier
Z +∞
−ǫ|x|
F{H(x)} = lı́m+ F{H(x)e } = lı́m+ e−ikx H(x)e−ǫ|x| dx
ǫ→0 ǫ→0 −∞
Z +∞
1
= lı́m+ e−(ǫ+ik)x dx = lı́m+
ǫ→0 0 ǫ→0 ǫ + ik
−i
=: . (15.30)
k − i 0+
170
La transformada de Fourier de H(x) existe como distribución. La prescripción −i 0+ no tiene
efecto si k 6= 0 pero hace falta para decir cómo tratar el polo en k = 0 en integrales. Por ejemplo,
si se calcula la transformada inversa:
Z +∞
−1 −i dk ikx −i
F { } = lı́m e . (15.31)
k − i 0+ ǫ→0+ −∞ 2π k − iǫ
Este cálculo se hace por residuos y es análogo al de F −1 { k22a
+a2
} en la sección 15.4.
−ǫx
−1 −i e , x>0
F { } = lı́m+ = H(x). (15.32)
k − i 0+ ǫ→0 0, x < 0
(H(0) = 1/2 se obtiene si se elige P para regular k → ±∞.) Nótese que se calcula la integral con
ǫ finito y se toma el lı́mite al final, y no al revés. Si se hubiera tomado otra prescripción para el polo
k = 0, por ejemplo valor principal de Cauchy, se hubiera obtenido función distinta:
−i −i 1 x 1
F −1 {P } := lı́m+ F −1 {H(|k| − ǫ) }= = H(x) − . (15.33)
k ǫ→0 k 2 |x| 2
Las distintas prescripciones para tratar el polo producen funciones que difieren por una constante
aditiva.
De acuerdo con esta definición δ(t) = 0 si t 6= 0 mientras que δ(t) = +∞ si t = 0. En realidad δ(t)
no es propiamente una función sino unaZdistribución o función generalizada. Esto quiere decir que
sólo tiene sentido en expresiones del tipo f (t)δ(t−a) dt donde f (t) es una función suficientemente
regular.
171
15.7.1. Propiedad básica de δ(t)
Demostración:
Z +∞ Z +∞ Z +∞
d d
f (t) δ(t − t0 ) dt = − f (t) H(t − t0 ) dt = − f (t) dt = f (t0 ). (15.37)
−∞ dt0 −∞ dt0 t0
que coincide con (15.36) si f (t) es continua en t = t0 . De nuevo, esta prescripción no es universal
y no forma parte de la definición de δ(t).
172
15.7.2. Otras propiedades de δ(t)
Definición. Una familia de funciones δǫ (t) es una regularización de la delta de Dirac si para
cualquier f (t) continua en [a, b],
Z b
lı́m+ δǫ (t − t0 )f (t) dt = f (t0 ), a < t0 < b. (15.41)
ǫ→0 a
d
Si Hǫ (t) −→+ H(t) entonces δǫ (t) = Hǫ (t) es una regularización de δ(t), es decir,
ǫ→0 dt
δǫ (t) −→+ δ(t). (15.42)
ǫ→0
173
Todas estas regularizaciones δǫ (t) cumplen (15.40) al tomar el lı́mite. (De hecho, todas son
funciones pares de t excepto la (5).)
y también
+∞ +∞
ǫ 1
Z Z
f (t)dǫ (t) dt = (f (t) − f ′ (t)) dt −→ f (0) − f ′ (0), (15.44)
−∞ −∞ π t2 + ǫ2 ǫ→0+
que vale 1 si f (t) = 1, y por tanto dǫ (t) está normalizada a uno. Sin embargo, dǫ (t) no tiende a
δ(t) (ya que entonces darı́a f (0) en (15.44)) sino a δ(t) + δ ′ (t).
Entonces
1
δǫ (t) := D(t/ǫ), (15.46)
ǫ
174
proporciona una regularización válida.67
R +∞
L{δ(t − a)} = 0
e−st δ(t − a) dt = H(a)e−as .
Z +∞
F{δ(x)} = e−ikx δ(x) dx = 1. (15.48)
−∞
Propiedades relacionadas:
175
15.8. Complementos
1 1
+
= P ∓ iπδ(x). (15.54)
x ± i0 x
Nótese que esta fórmula es compatible con el Lema 4 de integración. Por ejemplo, si f (x) es
analı́tica en R y se quiere calcular
Z a
f (x)
P dx, a>0 (15.56)
−a x
se puede rodear el polo por arriba con una semicircunferencia γǫ− centrada en cero y luego sustraer
esta contribución:
Z a Z −ǫ Z a Z
f (x) f (x) f (x)
Z
P dx = lı́m+ + + dx + lı́m+ dx. (15.57)
−a x ǫ→0 −a ǫ γǫ− x ǫ→0 γǫ x
176
En el lı́mite ǫ → 0+ , la primera integral se puede cambiar por una integral a lo largo del eje real
moviendo el polo hacia abajo y la segunda se puede hacer con el Lema 4:
Z a Z a
f (x) f (x)
P dx = lı́m+ dx + iπf (0) (15.58)
−a x ǫ→0 −a x + iǫ
es decir,
1 1
P = + iπδ(x). (15.59)
x x + i0+
177
16. Agradecimientos
17. Bibliografı́a
- T.M. Apostol, Análisis matemático, Ed. Reverté.
- R.A. Silverman, Complex analysis with applications, Dover Publications Inc. (1984).
178
A. Integrales y series
Tablas elaboradas por J. Nieves.
R ∞ x2 π
R∞ dx
1: 0 (x2 +a 2 )3 dx = 16a3 (a > 0) 2: −∞ 1+x2
=π
R ∞ dx 2π
R∞ x2 −x+2 5π
3: 0 1+x 3 = 4: dx =
√
3 3 −∞ x4 +10x2 +9 12
R ∞ dx π
R∞ dx π(a+2b)
5: 0 1+x 4 =
√
2 2
6: −∞ (x2 +a2 )(x2 +b2 )2
= 2ab3 (a+b)2
(a, b > 0, a 6= b)
R∞ √ R∞
x6 3 2π sen xdx π
7: −∞ (x4 +a 4 )2 dx = 8a
(a > 0) 8: 0 x
= 2
R∞ 2 R∞ cos(ax) πe−a (a+1)
9: 0 senx2xdx = π2 10: 0 (x2 +1)2
dx = 4
(a > 0)
R∞ 3 R∞ πe−a
11: 0 senx3xdx = 3π 8
12: 0
cos xdx
x2 +a2
= 2a
(a > 0)
R ∞ x sen xdx −1
√ R∞
13: 0 1+x4 = π2 e 2 sen √12 14: sen x
−∞ (x2 +1)(x+2)
dx = π5 (cos 2 − 1/e)
R∞ R 2π
15: 0 sen(πx)dx
x(1−x2 )
=π 16: 0
dx
a+b sen x
= √ 2π
a2 −b2
(a > 0, a2 > b2 )
Rπ
17: 0 sen2n xdx = π (2n−1)!! 1
R
(2n)!!
18: γ
dzz cos z−1 = −iπ γ : |z − 2| = 4
R ∞ x sen xdx −a R∞ h −a i
e−b
19: 0 (a2 +x2 )2 = πe4a (a > 0) cos xdx
20: −∞ (x2 +a 2 )(x2 +b2 ) = π
b2 −a2
e
a
− b
(a, b > 0, a 6= b)
R ∞ cos xdx R ∞ cos ax √
7π 3
√π sen π + a e−a 2
21: 0 (1+x 2 )3 = 16e 22: 0 1+x 2 +x4 dx = 6 2
(a > 0)
3
R 2π R 2π
23: 0 a+b cosdx x+c sen x
= √2π sign(a)
a2 −b2 −c2
24: 0 (a+bdxcos x)2
= 22πa2 3 (a > b > 0)
(a −b ) 2
2 2 2
(a > b + c )
R 2π R 2π 2π
25: 0
dθecos θ sen(nθ − sen θ) = 0 26: 0
dθecos θ cos(nθ − sen θ) = n!
(n = 0, 1, 2, . . .)
R∞ x π
R∞ x sen ax
27: 0 1+x5
dx = 5 sen 2π 28: 0 x2 +b2
dx= sign(a) π2 e−|a|b (a, b ∈ R)
5
R∞ R∞ 0 |p| > 1
x2 π sen t ipt
29: −∞ 1+x6
dx = 3
30: −∞ t
e dt = π |p| < 1 p∈R
π
2
|p| = 1
R∞ 2
R∞ 2 1
pπ R∞ e ax π
31 0
cos x dx = 0
sen x dx = 2 2
32 −∞
dx 1+e x = sen(πa)
(0 < a < 1)
R∞ √
2 π
Ayuda: 0 dre−r = 2
179
R∞ R∞ √
cos ax π x π
33: −∞ cosh x
dx = cosh(πa/2) 34: 0 (1+x)2
dx = 2
R ∞ √x R∞ xp−1
35: 0 1−x2
dx = − π2 36: 0 1−x
dx = π
tan πp
(0 < p < 1)
R∞ √ R1
37: √ dx 2 2 = 3π 2 38: dx
√ = π
1 cos π8
0 x(1+x ) 8 0 (1+x2 ) x(1−x) 24
√ h √ i
Rb (x−a)(b−x) a+b
R∞ x−p dx π sen(pλ)
39: a
dx x
=π 2
− ab 40: 0 1+2x cos λ+x2
= sen(πp) sen λ
Ra q h 1 i Ra q 1
x a−x x2
49: 0 x2 +a2
= π 2 4 cos π8 − 1
x
dx 50: 0 x2 +a2
a−x
x
dx = 2 4 πa cos 5π
8
+ πa
2
(a > 0)
R∞ 2 R∞
log2 x π π 2 cosh(ax) π
51: 0 x2 +a2
dx = 2|a| 4
+ log |a| 52: 0 cosh(x)
dx = 2 cos(aπ/2)
(|a| < 1)
R∞ R∞ 1 t > 0
3 π4 −iωt
53: 0
dx exx−1 = 15
54: lı́m+ 2πi −∞
dω eω+iǫ = 12 t = 0 t ∈ R
ǫ→0
0 t<0
P∞ 1 π2
P∞ 1
1: n=1 n2 = 6
2: n=−∞ n2 +a2 = πa cotanh(πa)
P∞ (−)n π 2 cos(πa) P∞ (−)n 1
3: n=−∞ (n+a)2 = sen2 (πa)
4: n=2 n2 −1 = 4
P∞ (−1)n π 1
P∞ 1 1
5: n=1 (4n2 −1)2 = 8
− 2
6: n=1 4n2 −1 = 2
P∞ 1 π2
P∞ (−)n−1 n sen(nθ) π sinh(αθ)
7: n=0 (2n+1)2 = 8
8: n=1 n2 +α2
= 2 sinh(απ)
(|θ| < π)
P∞ 1 π4
P∞ (−1)n −7π 4
9: n=1 n4 = 90
10: n=1 n4
= 720
Pn=∞ √
11: 1
= √π tanh( π 3 )
n=−∞ n4 +n2 +1 3 2
180
B. Transformada de Laplace
(http://www.engineering.com/Library/ArticlesPage/
tabid/85/articleType/ArticleView/articleId/129/Laplace-Transforms.aspx )
181
C. Ejercicios
1. Calcúlense las siguientes expresiones:
√
3 + 4i (3 + 4i)(2 + i) 1 − iz
, 2 − i, , (z 6= −i).
1−i (1 + 2i)(3 − 4i) z+i
√ √ √
3. Calcúlese el argumento principal de ( 3 + i)/(− 2 + i 2).
4. Sea Arg z el argumento de z tomado en [0, 2π[ y Argα z el argumento tomado en [α, α + 2π[.
Pruébese que Argα z = α + Arg (e−iα z).
Pn ∗
5. Demuéstrese la propiedad Im (z1 z2 · · · zn ) = k=1 z1 · · · zk−1 Im z k zk+1 · · · zn∗ .
√
6. Calcúlese (−2 − i2 3)1/3 expresando el resultado en coordenadas polares.
182
10. Encuéntrense los puntos de acumulación (o puntos lı́mite) de los siguientes conjuntos de
puntos:
1 i
a) z = + , (m, n = ±1, ±2, ...)
m n
p q
b) z = + i , (m, n, p, q = ±1, ±2, ...)
m n
c) |z| < 1
z∗
12. Muéstrese que no existe el lı́mite lı́m .
z→0 z
n
X
13. Sea P (z) un polinomio con coeficientes reales, P (z) = ck z k , ck ∈ R . Demuéstrese que
k=0
la soluciones en C de P (z) = 0, o son reales o aparecen en pares complejos conjugados.
16. Sea f (z) = 1/z 2 . Esta función no es invertible si se define sobre C − {0}. Encuéntrese
algún dominio de definición E ⊂ C − {0}, tal que (a) E sea un dominio (región abierta) y
(b) la función inversa sea univaluada (o equivalentemente, f restringida a E sea inyectiva).
Obténgase el recorrido correspondiente, E ′ = f (E).
αt + β
18. Demuéstrese que la curva z(t) = , −∞ ≤ t ≤ +∞, es una circunferencia (quizá dege-
γt + δ
nerada, supónganse valores genéricos para los coefcientes α, β, γ, δ). Determı́nese la posición
de su centro y su radio.
183
iz 2 + 3
19. Aplı́quese la regla de l’Hôpital para calcular lı́m .
z→∞ z 2 − iz
(x + y)2 h i h i
20. Sea f (z) = 2 . Demuéstrese que lı́m lı́m f (z) = lı́m lı́m f (z) y sin embargo no
x + y2 x→0 y→0 y→0 x→0
existe el lı́mite lı́m f (z).
z→0
p
21. Demuéstrese que la función u = |xy| tiene derivadas parciales en x = y = 0 pero no es
diferenciable en ese punto.
1
22. Exprésese f (z) = en forma binómica u(x, y) + iv(x, y) y verifı́quese que se satisfacen las
z
ecuaciones de Cauchy-Riemann, excepto para z = 0. Calcúlese f ′ (z) usando la forma binómica
1
y verifı́quese que coincide con − 2 .
z
23. La exponencial compleja se define como ez := ex (cos y + i sen y). Verifı́quese que se
satisfacen la ecuaciones de Cauchy-Riemann en todo C (y por tanto ez es una función analı́tica
en C, ya que u y v son diferenciables). Calcúlese su derivada.
25. (a) Verifı́quese que las condiciones de Cauchy-Riemann pueden expresarse como (∂x +i∂y )f (z) =
0. (b) Sea F (z1 , z2 ) analı́tica como función de las dos variables complejas z1 y z2 . Demuéstrese
que f (z) := F (z, z ∗ ) satisface las ecuaciones de Cauchy Riemann sii F (z1 , z2 ) no depende de
z2 .
26. Sean f1 (z) = u1 + iv1 y f2 (z) = u2 + iv2 dos funciones analı́ticas. Verifı́quese en forma
explı́cita que f3 (z) = f1 (z)f2 (z) también satisface las ecuaciones de Cauchy-Riemann. Lo
mismo para f4 (z) = f1′ (z).
y
27. Verifı́quese que la función v(x, y) = y − es armónica excepto en el origen. Encuéntrese
x2+ y2
una función armónica conjugada, u, y la correspondiente función analı́tica f (z) = u + iv.
I
28. Hállese el valor de la integral (z 2 − z ∗ ) dz, siendo C la circunferencia |z| = 2 (orientada
C
positivamente). (Sol. − 8πi.)
184
Z (2,8)
x2 − iy 2 dz a lo largo de
29. Calcúlese la integral
(1,2)
511 49
a) la parábola y = 2x2 . (Sol. 3
− 5
i.)
511
b) la lı́nea recta que une los dos puntos. (Sol. 3
− 14i.)
31. Sea C la curvaZ y = x3 − 3x2 + 4x − 1 que une los puntos 1 + i y 2 + 3i. Calcúlese el valor
12z 2 − 4iz dz .
de la integral (Sol. −156 + 38i.)
C
1
I
32. Obténgase el valor de la integral n
dz, n = 1, 2, . . ., siendo C una curva simple
C (z − a)
cerrada suave a trozos y orientada positivamente, y z = a un punto de su interior.
(Sol. I = 2πi si n = 1, I = 0 si n ≥ 2.)
zb
1
Z
33. Calcúlese el valor de la integral dz, siendo za = −i y zb = i, sobre curvas suaves a
za z
trozos que no pasen por z = 0. (Sol. i(π + 2πk), k entero.)
I
34. Obténgase el valor de la integral (z ∗ )2 dz alrededor de las circunferencias (a) |z| = 1 y (b)
|z − 1| = 1. (Sol. (a) 0, (b) 4πi.)
1
Z
35. Calcúlese la integral dz donde C es el cuadrado con vértices en los puntos
C z2
+ 2z + 2
0, −2, −2 − 2i y −2i y orientación positiva. (Sugerencia: descompóngase el integrando en
fracciones simples.) (Sol. − π.)
36. Obténgase el ı́ndice de la curvas (a) {z(t) = cos(t) eit , 0 ≤ t ≤ 2π} y (b) {z(t) = cos(t) +
i sen(2t), 0 ≤ t ≤ 2π}, respecto de un punto arbitrario del plano complejo que no sea de la
curva.
185
37. Encuéntrese el dominio de convergencia de las series
∞ ∞ ∞
X X zk X zk
(a) z 2k+1 , (b) √ , (c) .
k=0 k=0
k! k=1
k(k + 1)
(Sol. (a) |z| < 1, (b) |z| < ∞, (c) |z| < 1.)
38. Hállense todas las soluciones de las ecuaciones (a) exp z = i , (b) cos z = 2 , (c) log z = i .
39. Derı́vense las ecuaciones de Cauchy-Riemann en coordenadas polares usando que log(z) es
una función analı́tica.
40. Se usa la notación f (0+ ) (donde f (z) es una función cualquiera) con el significado f (0+ ) :=
lı́m f (ǫ) . Calcúlese (a) Log (R ± i0+ ), (b) [(R ± i0+ )i ]p (donde [z w ]p denota la deter-
ǫ→0
ǫ>0
43. Determı́nense las superficies de Riemann de las funciones (a) f (z) = log((z − a)(z − b)),
(b) f (z) = log((z − a)/(z − b)), donde a, b ∈ C, a 6= b. Buscar los puntos de ramificación,
elegir cortes de rama, etc.
45. Sea α un número complejo arbitrario. Desarróllese en serie de Taylor la función (1 + z)α
alrededor de z = 0, para la rama en la que la función toma el valor ei2παk en z = 0.
i2παk α(α−1) 2 α(α−1)···(α−n+1) n
(Sol. f (z) = e 1 + αz + 2 z + · · · + n!
z + · · · , |z| <
1 si α no es natural, si lo es, f (z) es entera.)
46. Consideremos la rama de log w que toma el valor 0 cuando w = 1. (Por ejemplo, tomando
arg w ∈] − π, π[.)
186
a) Desarróllese log(1 + z) en serie de Taylor alrededor de z = 0 y determı́nese el radio de
∞
X zn
convergencia. (Sol. (−1)n−1 , R = 1.)
n=1
n
∞
1+z X z 2n+1
b) Hágase lo mismo para la función f (z) = log . (Sol. 2 , R = 1.)
1−z n=0
2n + 1
47. Hállese el desarrollo en serie de Taylor de sech z = 1/ cosh z en torno a z = 0 hasta orden z 4
inclusive, y determı́nese el radio de convergencia de la serie.
48. Sea f (z) analı́tica en 1 ≤ |z| ≤ 2 y tal que |f (z)| < 3 sobre |z| = 1 y |f (z)| < 12 sobre
|z| = 2. Demuéstrese que |f (z)| < 3|z|2 en 1 ≤ |z| ≤ 2.
49. Sea f (z) una función entera y no constante. Pruébese que M (r) = máx{|f (z)|, |z| = r} es
una función estrictamente creciente, esto es, si r1 < r2 entonces M (r1 ) < M (r2 ).
50. Hállense los valores máximo y mı́nimo del módulo de la función f (z) = eiz cuando z está en
la región cerrada y acotada cuya frontera es la curva 9x2 + y 2 = 9.
(z 2 − 1) (z − 2)3
f (z) = .
sen3 (πz)
(Sol. Polos triples en z ∈ Z excepto z = 2 que es evitable y z = ±1 que son polos dobles.)
52. Obténganse los desarrollos en serie de Laurent de las funciones siguientes alrededor de los
puntos indicados:
exp(2z) 2
P∞ 2n+3 n
a) 3
, z = 1. (Sol. e n=−3 (n+3)! (z − 1) , 0 < |z − 1| < ∞.)
(z − 1)
z − sen z P∞ (−1)n 2n
b) , z = 0. (Sol. n=0 (2n+3)! z , |z| < ∞.)
z3
1
c) (z − 3) sen , z = −2.
z+2
P∞ (−1)n h 1 5
i
(Sol. n=0 (2n+1)! (z+2)2n − (z+2)2n+1
, 0 < |z + 2| < ∞.)
187
1 1 P∞ 1 1
d) cosh , z = 0. (Sol. n=0 (2n)! z 2n+1 , 0 < |z| < ∞.)
z z
1
53. Desarróllese la función f (z) = en serie de Laurent para
(z + 1)(z + 3)
(Sol. 12 ∞ n −n−1 n
P
a) |z| < 1 n=0 (−1) (1 − 3 )z .)
(−1)n n
(Sol. − 12 [ ∞
P P∞ n −n
b) 1 < |z| < 3 n=0 3n+1 z + n=1 (−1) z ].)
∞
(Sol. 21 n=2 (−1)n (3n−1 − 1)z −n .)
P
c) 3 < |z|
(Sol. − 14 ∞ 1 n n
P
d) 0 < |z + 1| < 2 n=0 (− 2 ) (z + 1) .)
1
54. Obténgase la parte principal del desarrollo de Laurent de alrededor de z = 2πi (es
(ez − 1)2
decir, para el desarrollo válido en 0 < |z − 2πi| < R).
ez − 1
55. Obténgase el residuo en z = 0 de f (z) = .
z 3 (z − 1)2
P∞ 1
R 2π
56. Demuéstrese que cosh(z+z −1 ) = b0 + n=1 bn (z
n
+z −n ) siendo bn = 2π 0
cos(nθ) cosh(2 cos θ) dθ.
57. Calcúlense las integrales 4, 25, 26, 16, 3, 15, 11, 46, 39, 52 y 40, indicadas en el apéndice
A.
188
60. Evalúense las integrales
Z +∞
1 π
a) dx. (Sol. √ .)
0 1 + x4 2 2
Z ∞
1
b) 2 2
dx. (Sol. π2 .)
−∞ (x + 4x + 5)
Z +∞
1 π
c) dx. (Sol. √ .)
0 x + x2 + 1
4 2 3
Z +∞
1 π
d) dx, a, b > 0. (Sol. 2ab(a+b)
.)
0 (x2 + a2 )(x2 + b2 )
61. Encuéntrese el valor de las integrales siguientes
Z +∞
x sen(bx)
a) dx, a, b > 0. (Sol. πe−ab .)
−∞ x 2 + a2
Z +∞
sen x
b) dx. (Sol. π/2.)
0 x
Z +∞
sen2 x
c) 2 2 2
dx. (Sol. 1/π.)
−∞ x (π − x )
189
∞
log2 x
Z
d) dx. (Sol. π 3 /8.)
0 1 + x2
+∞
log x
Z
e) dx, 0 < b < |a| reales.
0 (x − a)2 + b2
1
(Sol. 2b
[π − arctan ab ] log(a2 + b2 ), con 0 < arctan ab < π.)
+∞
cosh ax π/2
Z
f) dx, −1 < a < 1. (Sol. .)
0 cosh x cos(πa/2)
+∞
xα log x πaα−1 π π
Z
g) dx, a > 0, −1 < α < 1. (Sol. π [log a + tan α].)
0 x 2 + a2 2 cos 2 α 2 2
Z b
h) ((x − a)(b − x))−1/2 dx, a < b. (Sol. π.)
a
Z b
i) ((x − a)(b − x))1/2 dx, a < b. (Sol. (b − a)2 π/8.)
a
1 r
1 1 x
Z q
π √1 1
j) dx, λ > 0. (Sol. λ−1
− 1+λ
.)
0 1 + x 1 + λx 1 − x 2
1 r
1 x
Z
k) dx. (Sol. π 1 − √1 .)
0 1+x 1−x 2
z2 + π2
64. Sea la función compleja de variable compleja: f (z) = .
senh z
a) Decir qué singularidades tiene y de qué tipo son.
b) Hállese el desarrollo de Laurent en un entorno reducido de z = 0 hasta orden z 4 inclusive.
¿Cuál es el dominio de convergencia de dicho desarrollo?
I
c) Calcúlese el valor principal de la integral f (z) dz donde C es la curva cerrada orientada
C
en dirección positiva formada por la semicircunferencia C1 y el tramo de recta C2 . C1
está centrada en iπ y va del punto 0 al punto 2πi por el semiplano derecho. C2 es el
segmento recto que une 2πi con 0.
(Sol.: (a) Singularidades evitables: ±iπ, polos simples: iπk con k = 0, ±2, ±3, . . . .
2 2
(b) π 2 z1 + (1 − π3! )z + 3!1 ( 7π
60
− 1)z 3 + O(z 5 ) con 0 < |z| < 2π. (c) −iπ 3 .)
R +∞ √
65. Sabiendo que 0 e−x dx = 2π encuéntrese el valor de las integrales
2
R +∞ cos x R +∞ sen x pπ pπ
a) 0 √ dx,
x
b) 0
√ dx.
x
(Sol. a) 2
, b) 2
.)
190
+∞ +∞
X 1 X 1
66. Calcúlese la suma 2
. (Sugerencia calcúlese primero 2 2
.)
n=1
n n=−∞
n + a
1 zP ′ (z)
I
67. Demuéstrese que si P (z) es un polinomio no idénticamente nulo, entonces dz
2πi C P (z)
es la suma de las raı́ces de P (z) con su multiplicidad, siendo C una circunferencia muy grande
orientada positivamente.
69. Aplı́quese el teorema de Rouché para determinar el número de soluciones que tienen las ecua-
ciones siguientes en los dominios especificados:
71. Usando el principio de reflexión de Schwarz: a) Sea f1 (z) analı́tica en Re (z) ≥ 0 e imaginaria
pura sobre el eje real. Si f1 (1 + i) = 15 − 4i, determı́nese el valor de su extensión analı́tica
en z = 1 − i. b) Demostrar que f2 (z ∗ ) = (f2 (−z))∗ siendo f2 (z) definida y analı́tica en
un dominio G simétrico respecto el eje imaginario (y con intersección no vacı́a con el eje
imaginario) y f2 (z) toma valores reales sobre el eje imaginario.
72. Usando las propiedades generales de la transformada de Laplace, encuéntrense las transfor-
madas de las siguientes funciones:
191
Rt
d) 0
e−τ cos(ω(t − τ )) dτ . (Sol. z/[(z + 1)(z 2 + ω 2 )].)
73. Resuélvase la siguiente ecuación integro-diferencial:
Z t
dy
+ y(τ )dτ = e−t , t ≥ 0, y(0+ ) = a.
dt 0
1
(Sol. y(t) = [(1 + 2a) cos t + sen t − et ].)
2
74. Resuélvase la ecuación diferencial y ′′ + 3y ′ + 2y = e−t , t > 0, con las condiciones y(0+ ) =
a, y ′ (0+ ) = b, usando transformada de Laplace.
(Sol. yp = −e−t + te−t + e−2t , yc = (b + 2a)e−t − (a + b)e−2t , y = yp + yc .)
75. Resuélvase el sistema de ecuaciones diferenciales:
x′ + y ′ − x + y = e−t ,
x′ − y ′ + x + y = e−2t ,
para t > 0 con las condiciones x(0+ ) = a, y(0+ ) = b.
(Sol. x = 35 + a cos t + 3
− b sin t − 21 e−t − 1 −2t
10 10
e ,
3 3 3 −2t
y = a + 5 sin t + b − 10 cos t + 10 e .)
76. Hállese la transformada de Fourier real de f (t) = e−at Θ(t), donde Θ(t) es la función escalón
1
y a > 0. Compruébese la transformación inversa directamente por integración. (Sol. .)
a + ix
77. Hállese la transformada de Fourier compleja de Θ(t) cos(ωt). Demuéstrese que la transfor-
mación es analı́tica para Im (z) < 0. Inviértase la transformación mediante una integral de
iz
contorno. (Sol. 2 .)
ω − z2
2 /2 2 /2
78. Demuéstrese que la transformada de Fourier compleja de e−t es e−z .
79. Obténgase la transformada de Fourier de Θ(x) y sign(x) y verifı́quense las transformadas
inversas.
80. Hállense las siguientes transformadas complejas: F{Θ(t) cosh(ωt)}, F{Θ(t) senh(ωt)}.
iz ω
(Sol. − 2 2
, − 2 .)
z +ω z + ω2
81. Hállense las siguientes transformadas complejas: F{Θ(t)t cosh(ωt)}, F{Θ(t)t senh(ωt)}.
ω2 − z2 2ωzi
(Sol. 2 , 2 .)
(z + ω ) (z + ω 2 )2
2 2
192
d2 y dy
82. Encuéntrese una solución de + 3 + 2y = e−|t| usando la transformada de Fourier.
dt2 dt
et 2 1
(Sol. y(t ≤ 0) = , y(t > 0) = e−2t − e−t + te−t .)
6 3 2
193