Apuntes de Clculo avanzado

Ingeniera de Caminos, Canales y Puertos

Jernimo Alaminos Prats
Departamento de Anlisis Matemtico
Universidad de Granada
Clculo
Avanzado
Departamento
de
Anlisis Matemtico
1
ndice
1 Nmeros complejos 3
1.1 El cuerpo de los nmeros complejos 4 1.2 Representacin grca. Conjugado y mdulo de
un nmero complejo 6 1.3 Forma polar y argumentos de un nmero complejo 7 1.4 Conjun-
tos en el plano complejo. Un poco de topologa 11 1.5 Sucesiones de nmeros complejos 12
1.6 Series de nmeros complejos 13 1.7 Ejercicios 15
2 Funciones complejas 21
2.1 Continuidad y lmite funcional 21 2.2 Derivada de una funcin de variable compleja 22
2.3 Ecuaciones de Cauchy-Riemann 23 2.4 Primeras propiedades de las funciones holomor-
fas 24 2.5 Ejercicios 26
3 Funciones complejas elementales 29
3.1 La funcin exponencial 29 3.2 Logaritmos complejos 30 3.3 Potencias complejas 31
3.4 Funciones trigonomtricas complejas 32 3.5 Funciones trigonomtricas inversas 32 3.6 Ejer-
cicios 34
4 Series de potencias. Funciones analticas 39
4.1 Sucesiones y series de funciones 39 4.2 Series de potencias complejas 40 4.3 Ejerci-
cios 42
5 Integracin de funciones complejas 45
5.1 Integracin de funciones de variable real con valores complejos 45 5.2 Curvas en el plano 45
5.3 Integral curvilnea 47 5.4 Ejercicios 49
6 Frmula de Cauchy. Teorema de los residuos 51
6.1 ndice de un punto respecto de un camino cerrado 52 6.2 Forma general del Teorema de
Cauchy y de la frmula integral de Cauchy 54 6.3 Singularidades aisladas. Teorema de los resi-
duos 55 6.4 Aplicaciones del teorema de los residuos al clculo de integrales 58 6.5 Aplicacin
del teorema de los residuos a la suma de series 64 6.6 Ejercicios 66
7 Series de Fourier 69
7.1 Introduccin 69 7.2 Fenmenos peridicos 69 7.3 Un poco de historia 71 7.4 Series de
Fourier 75 7.5 Propiedades de las series de Fourier 83 7.6 Sobre los coecientes de Fourier 84
7.7 Convergencia de las series de Fourier 85 7.8 Otras propiedades 88 7.9 Sumabilidad.
Ncleos de Fejr. 90 7.10 Aplicaciones de las series de Fourier 91 7.11 Ejercicios 94
8 Transformada de Fourier 99
8.1 Origen histrico de la transformada de Fourier 99 8.2 Denicin de la transformada de
Fourier 100 8.3 Propiedades de la transformada de Fourier 102 8.4 Convolucin de funcio-
nes 103 8.5 Ejercicios 104
9 Transformada de Laplace 107
9.1 Denicin 107 9.2 Propiedades de la transformada de Laplace 108 9.3 Ejemplos y apli-
caciones 110 9.4 Ejercicios 111
2
10 Transformada discreta de Fourier 113
10.1 Muestreo de seales continuas 113 10.2 Reconstruccin de una seal 115 10.3 El
Teorema de Shannon 116 10.4 La transformada de Fourier discreta 118
A Tablas de transformadas de Fourier y Laplace 121
A.1 Transformadas de Laplace 121
ndice alfabtico 123
Nmeros complejos
3
Nmeros complejos
1
1 Introduccin
Los nmeros que hoy llamamos complejos fueron durante muchos aos motivo de polmicas y
controversias entre la comunidad cientca. Poco a poco, por la creciente evidencia de su utilidad,
acabaron por ser comnmente aceptados, aunque no fueron bien comprendidos hasta pocas re-
cientes. Nada hay de extrao en ello si pensamos que los nmeros negativos no fueron plenamente
aceptados hasta nales del siglo XVII.
Los nmeros complejos hacen sus primeras tmidas apariciones en los trabajos de Cardano (1501
1576) y Bombelli (15261672) relacionados con el clculo de las races de la cbica o ecuacin de
tercer grado. Fue Ren Descartes (15961650) quien arm que ciertas ecuaciones algebraicas
slo tienen solucin en nuestra imaginacin y acu el calicativo imaginarias para referirse a
ellas. Desde el siglo XVI hasta nales del siglo XVIII los nmeros complejos o imaginarios son
usados con recelo, con desconanza. Con frecuencia, cuando la solucin es un problema resulta
ser un nmero complejo se interpreta esto como que el problema no tiene solucin. Para Leibnitz
el nmero imaginario es un recurso sutil y maravilloso del espritu divino, casi un anbio entre el
ser y el no ser.
Las razones de todo esto son claras. As como los nmeros reales responden al problema bien
cotidiano de la medida de magnitudes, no ocurre nada similar con los nmeros complejos. Mientras
los matemticos necesitaron interpretar en trminos fsicos sus objetos de estudio, no se avanz
mucho en la comprensin de los nmeros complejos.
El xito de Euler y Gauss al trabajar con nmeros complejos se debi a que ellos no se preocuparon
de la naturaleza de los mismos; no se preguntaron qu es un nmero complejo?, sino que se
dijeron a ver, para qu sirven, qu puede hacerse con ellos. Es Gauss quien denitivamente concede
a los nmeros complejos un lugar privilegiado dentro de las matemticas al probar en 1799 el
conocido como Teorema Fundamental del lgebra que arma que toda ecuacin polinmica de
grado n con coecientes complejos tiene, si cada raz se cuenta tantas veces como su orden, n
races que tambin son nmeros complejos. Algunas de sus implicaciones las podemos comentar
directamente. Fjate en cada una de las ecuaciones:
x +3 = 0, 2x +3 = 0, x
2
2 = 0, x
2
+2x +2 = 0,
cuyas soluciones x = 3, x = 3/2, x = :

2 y x = 1 :i tienen sentido cuando x es es, respectiva-

mente, un nmero entero, racional, real o complejo. Podra ocurrir que este proceso de ampliacin
del campo numrico continuara. Qu ocurrir si ahora consideramos ecuaciones polinmicas con
coecientes complejos? Por ejemplo:
x
5
+(1 i)x
4
+(1/5 i

2)x
2
8x +3 i/

3 = 0.
Cmo sern sus soluciones? Aparecern tambin nuevos tipos de nmeros? El Teorema funda-
mental del lgebra nos dice que esa ecuacin tiene soluciones que tambin son nmeros complejos
y, por tanto, que no aparecern ya por este procedimiento nuevos tipos de nmeros.
El trmino, hoy usado de nmeros complejos se debe a Gauss, quien tambin hizo popular la letra
i que Euler (17071783) haba usado espordicamente. En 1806 Argand interpreta los nmeros
El cuerpo de los nmeros complejos Nmeros complejos
4
complejos como vectores en el plano. La fecha de 1825 es considerada como el nacimiento de
la teora de funciones de variable compleja, pues se publica en dicho ao la Memoria sobre la
Integracin Compleja que Cauchy haba escrito ya en 1814.
Recordemos, nalmente, la armacin de Hadamard El camino ms corto entre dos verdades del
campo real pasa con frecuencia por el campo complejo.
1.1 El cuerpo de los nmeros complejos
Denicin 1.1. Consideremos en el conjunto R
2
las operaciones de adicin y producto denidas
por
(a, b) +(c, d) = (a +c, b +d)
(a, b)(c, d) = (ac bd, ad +bc)
Es muy fcil comprobar las propiedades asociativa, conmutativa y distributiva de las operaciones
as denidas. El elemento neutro de la suma es (0, 0) y (1, 0) es la unidad del producto. Adems,
(a, b) es el opuesto de (a, b), y todo (a, b) (0, 0) tiene inverso
(a, b)
_
a
a
2
+b
2
,
b
a
2
+b
2
_
= (1, 0).
Todas estas propiedades se resumen diciendo que (R
2
, +, ) (lase el conjunto R
2
con las opera-
ciones de adicin y producto) es un cuerpo. Dicho cuerpo se representa simblicamente por C y
sus elementos se llaman nmeros complejos.
Observacin 1.2. A los elementos de R
2
se les llama unas veces pares ordenados de nmeros
reales, otras vectores o puntos y tambin nmeros complejos. La razn de esto es que en R
2
conviven varias estructuras cada una con su terminologa propia. Por eso a los elementos de R
2
se les llama vectores si se est considerando la estructura de espacio vectorial, puntos si jamos
la atencin en la estructura topolgica o afn, pares ordenados cuando estamos pensando en R
2
como conjunto sin ninguna estructura particular y nmeros complejos cuando se considera la
estructura de cuerpo antes denida. Ocurre que estos trminos se usan a veces en un mismo
prrafo lo que puede resultar confuso. La regla que debes tener siempre presente es que todo
concepto matemtico tiene sentido propio dentro de una determinada estructura matemtica. Por
ello, a un elemento de R
2
se le llama nmero complejo cuando se va a usar el producto antes
denido que es lo que en realidad distingue a los nmeros complejos de los vectores de R
2
.
1.1.1 Forma cartesiana de un nmero complejo
El smbolo usual (a, b) para representar pares ordenados no es conveniente para representar el
nmero complejo (a, b). Para convencerte calcula (1, 1)
4
. Representaremos los nmeros comple-
jos con un simbolismo ms apropiado en el que va a intervenir el producto complejo. Para ello,
observa que:
(a, 0) +(b, 0) = (a +b, 0)
(a, 0)(b, 0) = (ab, 0).
Esto indica que los nmeros complejos de la forma (a, 0) se comportan respecto a la suma y la mul-
tiplicacin de nmeros complejos exactamente de la misma forma que lo hacen los nmeros reales
respecto a la suma y multiplicacin propias. En trminos, ms tcnicos, R 0 es un subcuerpo
Nmeros complejos El cuerpo de los nmeros complejos
5
de C isomorfo a R. Por esta razn, en las operaciones con nmeros complejos podemos sustituir
los complejos del tipo (a, 0) por el nmero real a. Es decir, hacemos la identicacin (a, 0) = a.
Fjate que con dicha identicacin el producto a(c, d) tiene dos posibles interpretaciones: producto
del escalar real a por el vector (c, d) (estructura vectorial de R
2
) y producto del complejo (a, 0)
por el complejo (c, d). Pero ambos coinciden y son iguales a (ac, ad).
El nmero complejo (0, 1) lo representaremos por i. Con ello tenemos que
i
2
= (0, 1)(0, 1) = (1, 0) = 1.
Ahora podemos escribir (a, b) = (a, 0) +(0, b) = (a, 0) +(b, 0)(0, 1) = a +bi.
Se dice que a es la parte real y b es la parte imaginaria del nmero complejo a +ib. El producto Parte real y parte
imaginaria
ahora es muy fcil de recordar pues
(a +ib)(c +id) = ac +i
2
bd +i(ad +bc) = ac bd +i(ad +bc)
Es costumbre representar los nmeros complejos con las letras z y w y reservar las letras x, y,
u, v para representar nmeros reales. Una expresin de la forma z = x + iy se interpreta como
que z es el nmero complejo cuya parte real es x y cuya parte imaginaria es y. Se escribe Re(z)
e Im(z) para representar las partes real e imaginaria de z. Naturalmente, dos nmeros complejos
son iguales cuando tienen igual parte real e igual parte imaginaria.
Comentarios a la denicin usual i =

1
Acabamos de ver que i
2
= 1 pero eso no nos permite escribir as, sin ms ni ms, que i =

1.
Fjate lo que ocurre si ponemos i =

1 y manejamos ese smbolo con las reglas a las que estamos

acostumbrados: Paradoja de Bernoulli
i
2
= 1 = ii =

1 =
_
(1)(1) =

1 = 1.
Luego 1 = 1. Por tanto, las matemticas son contradictorias y aqu hemos acabado.
Naturalmente, el error, procede de que estamos haciendo disparates. Fjate que en la expresin

1 no puedes interpretar que 1 es el nmero real 1 (porque, como sabes, los nmeros rea-
les negativos no tienen raz cuadrada real), sino que tienes que interpretar 1 como el nmero
complejo 1 (espero que ya tengas clara la diferencia). Resulta as que estamos usando races de
nmeros complejos sin haberlas denido y dando por supuesto que dichas races verican las
mismas propiedades que las de los nmeros reales positivos.
Antes de escribir

1 hay que denir qu signica

z para z C. Cuando lo hagamos veremos
que la igualdad

w =

zw, vlida cuando z, w R

+
, no es cierta en general cuando z, w C.
Todava ms disparatado es denir i =

1 sin ni siquiera haber denido antes los nmeros
complejos. Sin embargo, y aunque parezca mentira, en muchos textos se dene (porque s, sin
ms explicaciones) i =

1 y a continuacin se dice que los nmeros de la forma a + ib son los
nmeros complejos. No es de extraar que luego resulte que 1 = 1.
No hay un orden en C compatible con la estructura algebraica
Al ampliar R a C ganamos mucho pero tambin perdemos algo. Te recuerdo que R tiene dos
estructuras: la algebraica y la de orden. Ambas estructuras estn armoniosamente relacionadas.
Pues bien, en C no hay nada parecido. Podemos denir relaciones de orden en C, pero no hay
ninguna de ellas que sea compatible con la estructura algebraica. En efecto, si suponemos que
Representacin grca. Conjugado y mdulo de un nmero complejo Nmeros complejos
6
es una relacin de orden en C compatible con su estructura algebraica, como i 0 habra de ser
0 < i
2
= 1 (esto todava no es contradictorio porque pudiera ocurrir que la relacin no respetara
el orden de R). Pero tambin 0 < 1
2
= 1, luego 0 < 1 +(1) = 0 y eso s que es contradictorio.
Por tanto, es imposible denir un concepto de nmero complejo positivo de forma que la suma y
el producto de complejos positivos sea positivo. Por ello no se dene en C ningn orden. As que
ya sabes: mucho cuidado con no escribir desigualdades entre nmeros complejos! Naturalmente,
puedes escribir desigualdades entre las partes reales o imaginarias de nmeros complejos, porque
tanto la parte real como la parte imaginaria de un nmero complejo son nmeros reales.
1.2 Representacin grca. Conjugado y mdulo de un nmero com-
plejo
Es usual interpretar el nmero complejo x +iy como el vector del plano (x, y) y, en ese sentido,
se habla del plano complejo. El eje horizontal recibe el nombre de eje real, y el eje vertical recibe
el nombre de eje imaginario.
z = a +bi
a
b
z = a bi
z
Ilustracin 1.1 Representacin de
un nmero complejo
Denicin 1.3. Si z = x +iy es un nmero complejo (con x e y reales), entonces el conjugado Conjugado
de z se dene como: z = xiy y el mdulo o valor absoluto de z, se dene como: z =
_
x
2
+y
2
. Mdulo
Observa que
_
x
2
+y
2
est denido sin ambigedad; es la raz cuadrada del nmero real no nega-
tivo x
2
+y
2
.
Geomtricamente z es sencillamente la reexin de z respecto al eje real, mientras que z es la
distancia eucldea del punto (x, y) a (0, 0) o, tambin, la longitud o norma eucldea del vector
(x, y) (ver gura 1.1). La distancia entre dos nmeros complejos z y w se dene como z w.
La representacin grca de la suma es conocida. Dos nmeros complejos z = a+ib y w = c +id
determinan un paralelogramo cuya diagonal (ver gura 1.2) es z +w.
Proposicin 1.4. Sean z, w C. Entonces
a) z = z,
b) z +w = z +w,
c) zw = z w.
d) z
2
= zz,
e) max Re(z) , Im(z) z Re(z) +Im(z),
f) zw = z w,
g) z +w z +w.
Nmeros complejos Forma polar y argumentos de un nmero complejo
7
z
a
w
c
z +w
a +c
Ilustracin 1.2 Suma
de nmeros complejos
Demostracin. La comprobacin de estas armaciones es inmediata. Por ejemplo, para comprobar
que la propiedad f) se verica, basta observar que zw y z w son nmeros positivos cuyos
cuadrados coinciden, pues
zw
2
= zwzw = zwzw = zzww = z
2
w
2
= (z w)
2
.
Para demostrar la ltima armacin es suciente probar que z +w
2
(z +w)
2
. En efecto:
z +w
2
= (z +w)(z +w) = (z +w)(z +w) = zz +ww +zw +zw =
= z
2
+w
2
+2Re (zw) z
2
+w
2
+2Re (zw)
z
2
+w
2
+2zw = z
2
+w
2
+2z w = z
2
+w
2
+2z w =
= (z +w)
2
.
Observacin 1.5. De la demostracin de la ltima armacin se deduce que z +w = z +w
si, y slo si, Re zw = zw, esto es, si zw R
+
0
, o lo que es lo mismo zw = donde R
+
0
. Esta
igualdad, puede escribirse de forma equivalente multiplicando por w como z w
2
= w, esto es,
z = w para algn R
+
0
lo que quiere decir que z y w estn en una misma semirrecta a partir
del origen.
Ejemplo 1.6. La divisin de nmeros complejos es fcil teniendo en cuenta que el producto
de un complejo y su conjugado da como resultado el mdulo al cuadrado de dicho nmero
complejo.
1+i
2i
=
1+i
2i
2+i
2+i
=
1+3i
5
.
1.3 Forma polar y argumentos de un nmero complejo
El uso de coordenadas polares en el plano facilita mucho los clculos con productos de nmeros
complejos. Para cualquier nmero complejo z = x +iy 0 podemos escribir
z = z
_
x
z
+i
y
z
_
.
Como
_
x
z
,
y
z
_
es un punto de la circunferencia unidad, puede escribirse en la forma
Forma polar y argumentos de un nmero complejo Nmeros complejos
8
_
x
z
,
y
z
_
= (cos(), sen())
para algn nmero R. Resulta as que z = z (cos() + i sen()). Esta forma de expresar
un nmero complejo recibe el nombre de forma polar, cuya interpretacin grca vemos en la
gura 1.3.
Denicin 1.7. Dado z C, z 0, hay innitos nmeros t R que verican la igualdad Argumento
z = z (cos(t) +i sen(t)) cualquiera de ellos recibe el nombre de argumento de z. El conjunto de
todos los argumentos de un nmero complejo no nulo se representa por Arg(z).
Arg(z) = t R : z = z (cos(t) +i sen(t))
Observa que
s, t Arg(z)
_
_
_
cos(t) = cos(s)
sin(t) = sin(s)
_
_
_
s = t +2k para algn k Z.
z
z
ngulo de radianes
Ilustracin 1.3 Forma polar de un
nmero complejo
Por tanto, conocido un argumento t
0
Arg(z), cualquier otro es de la forma t
0
+2k para algn
k Z, es decir, Arg(z) = t
0
+2Z.
De entre todos los argumentos de un nmero complejo z 0 hay uno nico que se encuentra en
el intervalo ] , ], se representa por arg(z) y viene dado por
arg(z) =
_
2arctan
_
Im(z)
Re(z)+z
_
, si z / R

, si z R

.
A dicho argumento se le llama argumento principal de z. Argumento principal
La comprobacin de las anteriores armaciones es fcil. Como

2
< arctan(t) <

2
, se sigue
que < arg(z) < si z / R

. Luego, < arg(z) . Si z = t R

es evidente que
z = t (cos() +i sen()). Y para z / R

se tiene:
cos(arg(z)) =
1tan
2
(arg(z)/2)
1+tan
2
(arg(z)/2)
=
(z+Re(z))
2
(Im(z))
2
(z+Re(z))
2
+(Im(z))
2
=
2Re(z)(z+Re(z))
2z(z+Re(z))
=
Re(z)
z
, y
sen(arg(z)) =
2tan(arg(z)/2)
1+tan
2
(arg(z)/2)
=
2Im(z)(z+Re(z))
(z+Re(z))
2
+(Im(z))
2
=
2Im(z)(z+Re(z))
2z(z+Re(z))
=
Im(z)
z
.
Donde se ha utilizado que z
2
= (Re(z))
2
+ (Im(z))
2
. No es difcil comprobar que el argumento
principal de z = x +iy 0 viene tambin dado por:
Nmeros complejos Forma polar y argumentos de un nmero complejo
9
arg(z) =
_

_
arctan
_
y
x
_
, si y < 0, x < 0

2
, si y 0, x = 0
arctan
_
y
x
_
, si x > 0

2
, si y > 0, x = 0
arctan
_
y
x
_
+, si y 0,x < 0 .
Esta ltima forma es quizs ms cmoda para los clculos.
Ejemplo 1.8. El mdulo de z = 1 i es z =

1 +1 =

2. Por tanto
z
z
=
1

2

i

2
= cos(arg(z)) +i sen(arg(z)),
o, lo que es lo mismo, cos(arg(z)) =
1

2
, sen(arg(z)) =
1

2
, de donde se deduce que arg(z) =

4
.
Observacin 1.9. Puede parecer un poco extraa la forma de elegir el argumento principal de
un nmero complejo. La eleccin que hemos hecho supone que medimos ngulos en el semiplano
superior de 0 a y en el semiplano inferior de 0 a .
Fjate que si tomas un nmero complejo que est situado en el tercer cuadrante z = x + iy con
x < 0, y < 0 y supones que y es prximo a 0, su argumento principal est prximo a , y si
tomas un nmero complejo que est situado en el segundo cuadrante, w = x+iv con x < 0, v > 0,
y supones que v es prximo a 0, su argumento principal est prximo a . Adems, la distancia
w z =

v y

= v y es tan pequea como quieras. Esto nos dice que el argumento principal
tiene una discontinuidad en el eje real negativo: salta de a cuando atravesamos dicho eje
desde el tercer al segundo cuadrante.
Peor todava dirs. Hasta cierto punto. Primero, la discontinuidad es inevitable. Si queremos elegir
argumentos en un intervalo de longitud 2, digamos, [, +2[ entonces dichos argumentos sal-
tan de a +2 cuando atravesamos la semirrecta (x, y) = (cos , sen), ( > 0). En particular,
si tomamos argumentos en el intervalo [0, 2[ (cosa que, a primera vista, parece lo razonable) nos
encontramos con que entonces se produce una discontinuidad de dichos argumentos en el eje real
positivo. Bien, sucede que la extensin a C de algunas funciones denidas en R
+
(el logaritmo,
las races) hace intervenir el argumento principal. Naturalmente, queremos que dichas extensiones
sigan siendo continuas en R
+
y ello justica que tengamos que tomar argumentos principales de
la forma en que lo hemos hecho: porque preferimos introducir una discontinuidad en R

a perder
la continuidad en R
+
.
1.3.1 Frmula de De Moivre
Veamos cmo la forma polar permite hacer fcilmente productos de nmeros complejos. Consi-
deremos dos nmeros complejos no nulos
z = z (cos() +i sen()), w = w (cos() +i sen()).
Entonces
zw = z w (cos() +i sen())(cos() +i sen()) =
= zw [(cos() cos() sen() sen()) +i(sen() cos +cos() sen())] =
= zw (cos( +) +i sen( +)).
Forma polar y argumentos de un nmero complejo Nmeros complejos
10
Es decir: para multiplicar dos nmeros complejos se multiplican sus mdulos y se suman sus
argumentos. Por ejemplo, para calcular (1+i)
4
como 1 +i =

2 y arg(1+i) = /4, se sigue que

(1 +i)
4
= 4.
As pues, el producto de dos nmeros complejos es geomtricamente un giro (pues se suman los
argumentos de los nmeros que estamos multiplicando) seguido de una homotecia (el producto
de los mdulos de ambos nmeros).
Proposicin 1.10. Sean z, w C no nulos. Entonces
a) Si Arg(z) y Arg(w), entonces + Arg(zw).
b) Si Arg(z) entonces Arg(1/z).
Como consecuencia, es fcil demostrar mediante induccin la siguiente frmula que ser de gran
utilidad.
Proposicin 1.11. Si z es un complejo no nulo, es un argumento de z y n es un nmero entero, Frmula de
De Moivre
se verica que n Arg(z
n
), es decir:
z
n
= z
n
(cos(n) +i sen(n)) .
1.3.2 Races de un nmero complejo
Se trata ahora de resolver la ecuacin w
n
= z donde n es un nmero natural, n 2, y z 0 es un
nmero complejo conocido. Escribamos w en forma polar:
w = w (cos() +i sen()).
Usando la frmula de De Moivre, podemos escribir la ecuacin w
n
= z en la forma equivalente:
w
n
= w
n
(cos(n) +i sen(n)) = z (cos() +i sen()).
Esta igualdad se da cuando w
n
= z y n = +2k donde k Z. Deducimos que w =
n
_
z
(ojo: se trata de la raz nsima de un nmero positivo, cosa ya conocida). Ahora bien, para cualquier
nmero
k
de la forma
k
= ( +2k)/n tenemos un nmero complejo
w
k
=
n
_
z (cos(
k
) +i sen(
k
))
tal que (w
k
)
n
= z. Como una ecuacin polinmica de grado n no puede tener ms de n soluciones,
se sigue que distintos valores de k deben dar lugar al mismo nmero w
k
. Veamos:
w
k
= w
q

k

q
= 2m k q = nm.
Es decir, k y q dan el mismo resto al dividirlos por n. Deducimos que para k = 0, 1, 2, . . . , n 1
obtenemos w
k
distintos y cualquier otro w
q
es igual a uno de ellos. Por tanto hay n races nsimas
distintas de z.
De entre todas las races nsimas de z vamos a designar con el smbolo
n

z a la raz n-sima
principal, que est denida por
n

z = z
1/n
_
cos
_
arg(z)
n
_
+i sen
_
arg(z)
n
__
.
Observa que en el caso particular de que z sea un nmero real positivo, entonces la raz principal
de z (considerado como nmero complejo) coincide con la raz de z (considerado como nmero
real positivo).
Hemos obtenido que las races nsimas de z vienen dadas por
Nmeros complejos Conjuntos en el plano complejo. Un poco de topologa
11
z
k
= z
1/n
_
cos
_
arg(z)+2k
n
_
+i sen
_
arg(z)+2k
n
__
k = 0, 1, 2, . . . , n1.
Observa que deniendo u = cos(2/n) + i sen(2/n), los nmeros u
0
= 1, u, u
2
, . . . , u
n1
son
las races nsimas de la unidad. Podemos escribir las races nsimas de z en la forma z
k
=
z
0
u
k
. Como multiplicar por u es un giro de amplitud 2/n, deducimos que las n races de z se
obtienen girando la raz nsima principal, z
0
, con giros sucesivos de amplitud 2/n. Es decir, si
representamos todas las races nsimas de z obtenemos n puntos sobre una circunferencia de
centro (0, 0) y radio
n
_
z que forman un polgono regular de n lados.
En general no es cierto que dados dos nmeros complejos z y w entonces el producto de las races
n-simas principales de z y de w sea igual a la raz n-sima principal de zw. Lo que s es cierto es
que el producto de dos races n-simas cualesquiera de z y de w es una raz n-sima de zw. Por
tanto,
n

z
n

w, es una raz n-sima de zw pero no tiene por qu ser la principal.

Por ejemplo, para n = 2, z = w = 1, como arg(1) = , tenemos que

1 = cos(/2) +i sen(/2) = i.
En este caso

1 = ii = 1
_
(1)(1) =

1 = 1.
La igualdad
n

z
n

w =
n

zw equivale a que para algn entero k se verique que

arg(z)
n
+
arg(w)
n
=
arg(zw)
n
+2k,
es decir, arg(z)+arg(w) = arg(zw)+2kn. Como 2 < arg(z)+arg(w) 2 y n 2 tiene que
ser k = 0 (pues, en otro caso, 2kn 4). Luego, debe ocurrir que arg(z) +arg(w) = arg(zw)
lo que equivale a que < arg(z) +arg(w) .
Por ejemplo, si los nmeros z y w estn en el semiplano de la derecha, es decir, Re z > 0, Re w > 0,
entonces /2 < arg(z) < /2 y /2 < arg(w) < /2; por tanto arg(z) + arg(w) = arg(zw)
por lo que, en este caso,
n

z
n

w =
n

zw.
1.4 Conjuntos en el plano complejo. Un poco de topologa
Denicin 1.12. Dados a C y r > 0, el conjunto
D(a, r) = z C : z a < r
se llama disco o bola abierta de centro a y radio r. Si r 0, el conjunto Disco abierto
D(a, r) = z C : z a r ,
se llama disco o bola cerrada de centro a y radio r. Disco cerrado
Observa que un disco abierto no puede ser vaco. Un disco cerrado, en cambio, puede reducirse a
un slo punto: D(a, 0) = a.
Denicin 1.13. Un conjunto A C se llama acotado si est contenido en algn disco centrado Conjunto acotado
en el origen o, lo que es lo mismo, si existe M R tal que a M para cualquier a A.
Denicin 1.14. Sea A un subconjunto de C.
a) Diremos que a A es un punto interior de A si existe r > 0 tal que D(a, r) A. Llamaremos
interior de A al conjunto
Sucesiones de nmeros complejos Nmeros complejos
12

A = a A : a es punto interior de A .
b) Un conjunto C se dice que es un conjunto abierto si todo punto de es centro de algn Conjunto abierto
disco abierto contenido en , o sea, si A =

A.
c) Un conjunto es cerrado si su complementario es abierto. Conjunto cerrado
Por convenio el conjunto vaco se considera abierto.
Ejemplo 1.15. Los conjuntos determinados por desigualdades estrictas y funciones continuas
suelen ser conjuntos abiertos. Por ejemplo, el siguiente conjunto es abierto
_
z C : Re(z)
2
Im(z)
2
> 3
_
.
Denicin 1.16. Un conjunto abierto no vaco con la propiedad de que dos puntos cualesquiera
del mismo pueden unirse por una curva sin salirse del conjunto se llama un dominio. Una deni- Dominio
cin equivalente aunque menos intuitiva de dominio es la siguiente. Un dominio es un conjunto
abierto no vaco, , cuya nica descomposicin en la forma = AB, donde A y B son conjuntos
abiertos disjuntos, es la trivial, es decir, A, B = , . Un conjunto cerrado y acotado se llama
un conjunto compacto. Conjunto compacto
Denicin 1.17. Dado un conjunto A C, se dice que un punto z Ces un punto de acumulacin Punto de acu-
mulacin
de A si todo disco abierto con centro en z contiene puntos de A distintos de z. Observa que un
punto z puede ser un punto de acumulacin de A y no pertenecer a A.
1.5 Sucesiones de nmeros complejos
Una sucesin de nmeros complejos es una aplicacin del conjunto de los nmeros naturales en
C. Como de costumbre, representaremos por z
n
la funcin dada por n z
n
donde z
n
C. La
denicin de sucesin convergente es exactamente la misma que para sucesiones reales.
Denicin 1.18. La sucesin de nmeros complejos z
n
converge a un nmero complejo z si Sucesin convergen-
te
para todo > 0 existe un nmero natural n
0
tal que para todo n n
0
se verica que z
n
z < .
Equivalentemente, z
n
converge a z si limz
n
z = 0.
Recordemos que maxRe(z) , Im(z) z Re(z) +Im(z). Gracias a esta desigualdad tene-
mos que
Re(z
n
) Re(z)
Im(z
n
) Im(z)
_
_
_
z
n
z Re(z
n
) Re(z) +Im(z
n
) Im(z) .
Deducimos que limz
n
z = 0 si, y slo si, limRe(z
n
) Re(z) = 0 y limIm(z
n
) Im(z) = 0.
Hemos probado as el siguiente resultado.
Proposicin 1.19. Una sucesin de nmeros complejos z
n
es convergente si, y slo si, las suce-
siones de nmeros reales Re(z
n
) y Im(z
n
) son convergentes. Adems en dicho caso
lim
n
z
n
= z Re(z) = lim
n
Re(z
n
) y Im(z) = lim
n
Im(z
n
).
Gracias a este resultado el estudio de sucesiones de nmeros complejos se reduce a estudiar la
convergencia de dos sucesiones de nmeros reales.
Supongamos que z
n
es una sucesin tal que para todo K > 0 existe un nmero natural n
0
Nde
forma que si n n
0
entonces z
n
K. En dicho caso diremos que la sucesin z
n
es divergente
o que diverge y escribiremos z
n
. Observa que z
n
es lo mismo que z
n
+. Sucesin divergente
Nmeros complejos Series de nmeros complejos
13
Los resultados que conoces para sucesiones de nmeros reales en los que no interviene el or-
den son tambin vlidos para sucesiones de nmeros complejos. Destacamos entre ellos los ms
importantes.
Proposicin 1.20. lgebra de lmites
a) Si z
n
z y w
n
w, entonces z
n
+w
n
z +w y z
n
w
n
zw. Adems, si z
n
0
para todo n N y z 0, entonces 1/z
n
1/z.
b) Si z
n
diverge y w
n
est acotada entonces z
n
+w
n
diverge.
c) Si z
n
diverge y w
n
est separada de 0, esto es, existe > 0 y n
0
N de forma que para
n n
0
se cumple w
n
, entonces z
n
w
n
diverge.
Recuerda que una sucesin parcial de una sucesin z
n
es cualquier sucesin de la forma z
(n)
Sucesin parcial
donde : N N es una aplicacin estrictamente creciente.
Teorema 1.21. Toda sucesin acotada de nmeros complejos tiene alguna sucesin parcial con- Teorema de Bolzano
Weierstrass
vergente.
Denicin 1.22. Una sucesin de nmeros complejos z
n
se dice que es de Cauchy si para cada Sucesin de Cauchy
nmero > 0 existe un nmero natural n
0
N de forma que si p, q n
0
entonces

z
p
z
q

< .
Repitiendo el mismo argumento anterior, deducimos que z
n
es una sucesin de Cauchy si, y
slo si, Re(z
n
) y Im(z
n
) son sucesiones de Cauchy. Puesto que R es completo, ser de Cauchy
equivale a ser convergente, luego si Re(z
n
) y Im(z
n
) son de Cauchy convergen y, por tanto,
z
n
es convergente.
Teorema 1.23. Toda sucesin de Cauchy de nmeros complejos es convergente. Teorema de compli-
tud
1.6 Series de nmeros complejos
Dada una sucesin, z
n
, podemos formar a partir de ella otra sucesin, S
n
, cuyos trminos se
obtienen sumando consecutivamente los trminos de z
n
, es decir:
S
1
= z
1
, S
2
= z
1
+z
2
, S
3
= z
1
+z
2
+z
3
, . . . , S
n
= z
1
+z
2
+. . . +z
n
.
La sucesin S
n
as obtenida se llama serie de trmino general z
n
y es costumbre representarla
por
_
n1
z
n
o, ms sencillamente,

z
n
.
Ni que decir tiene que, siendo las series sucesiones, todos los conceptos y resultados estudiados
ya para sucesiones conservan su misma signicacin cuando se aplican a series. En particular, es
innecesario volver a denir qu se entiende cuando se dice que una serie es convergente. Si una
serie

n1
z
n
es convergente se usa el smbolo

n=1
z
n
para representar el lmite de la serie que
suele llamarse suma de la serie. Naturalmente

n=1
z
n
es el nmero complejo denido por

_
n=1
z
n
= lim
n
S
n
= lim
n
n
_
k=1
z
k
.
Como caso particular de la Proposicin 1.19, la serie

n1
z
n
converge si, y slo si, las series
Re
_
_
_
n1
z
n
_
_
=
_
n1
Re(z
n
) y Im
_
_
_
n1
z
n
_
_
=
_
n1
Im(z
n
)
son convergentes.
Conviene que recuerdes la condicin bsica necesaria para la convergencia de una serie. Si la serie

z
n
converge entonces la sucesin z
n
=

n
j=1
z
j

n1
j=1
z
j
es diferencia de dos sucesiones que
convergen al mismo lmite y por tanto converge a cero.
Series de nmeros complejos Nmeros complejos
14
Proposicin 1.24. Condicin necesaria para que

z
n
sea convergente es que limz
n
= 0.
Para las series es posible denir otro tipo de convergencia, la convergencia absoluta.
Denicin 1.25. Se dice que una serie de nmeros complejos

n1
z
n
converge absolutamente Convergen-
cia absoluta
si la serie de nmeros reales positivos

n1
z
n
es convergente.
Proposicin 1.26. Si una serie de nmeros complejos

z
n
es absolutamente convergente entonces
dicha serie tambin es convergente.
Demostracin. Pongamos S
n
=

n
j=1
z
j
, A
n
=

n
j=1
z
j
y supongamos que la sucesin A
n
es
convergente, es decir,

z
n
es absolutamente convergente. Dado > 0, la condicin de Cauchy
para A
n
nos dice que existe n
0
N tal que

A
q
A
p

=
q
_
k=p+1
z
k
< para todos p, q N tales que q > pn
0
.
Deducimos que para todos p, q N tales que q > pn
o
se verica que

S
q
S
p

z
p+1
+z
p+2
+ +z
q

q
_
k=p+1
z
k
<
Lo que prueba que la sucesin S
n
, es decir, la serie

z
n
cumple la condicin de Cauchy y, por
tanto, es convergente.
El concepto de convergencia absoluta de una serie es mucho ms fuerte que el de convergencia
como se pone de maniesto en el siguiente resultado que no demostraremos.
Teorema 1.27. La serie

n1
z
n
converge absolutamente si, y slo si, para toda biyeccin : N Teorema de Riemann
N, la serie

n1
z
(n)
es convergente. Adems, en tal caso se verica que

_
n=1
z
n
=

_
n=1
z
(n)
.
1.6.1 Criterios de convergencia no absoluta para series
Naturalmente, puedes usar los criterios de convergencia para series de nmeros reales positivos,
que ya debes conocer, para estudiar la convergencia absoluta de una serie de nmeros comple-
jos. Pero, qu hacer cuando una serie no es absolutamente convergente? Naturalmente, podemos
intentar comprobar si la serie verica la condicin de Cauchy, pero este procedimiento con fre-
cuencia es difcil. Pues bien, los siguientes criterios de Dirichlet y Abel proporcionan informacin
sobre la convergencia no absoluta.
Teorema 1.28. Sea a
n
una sucesin de nmeros reales y z
n
una sucesin de nmeros com-
plejos.
a) Si a
n
es montona, converge a cero y la serie

z
n
tiene sumas parciales acotadas, entonces Criterio de Dirichlet

a
n
z
n
converge.
b) Si a
n
es montona, acotada y la serie

z
n
converge, entonces

a
n
z
n
es convergente. Criterio de Abel
Ejemplo 1.29. Es inmediato comprobar que la sucesin (1)
n
tiene sumas parciales acota-
das. Si tomamos una sucesin montona vericando que lima
n
= 0, el criterio de Dirichlet
nos dice que la serie

(1)
n
a
n
es convergente. Te suena este criterio?
Nmeros complejos Ejercicios
15
1.7 Ejercicios
1.7.1 Nmeros complejos
Ejercicio 1.1
Realiza las operaciones indicadas y expresa el resultado en la forma a +ib.
a) (7 2i)(5 +3i)
b) (i 1)
3
c) (1 +i)(2 +i)(3 +i)
d)
3+i
2+i
e)
(4i)(13i)
1+2i
f) (1 +i)
2
g)
1+2i
2i
h) i
2
(1 +i)
3
Ejercicio 1.2
Calcula la parte real e imaginaria de las funciones:
a) f
1
(z) = z
2
b) f
2
(z) = z
3
c) f
3
(z) =
1
z
d) f
4
(z) =
1
1+z
2
e) f
5
(z) =
z+i
zi
Ejercicio 1.3
Calcula las siguientes cantidades.
a) (1 +i)(2 i)
b)

43i
2i

c)

(1 +i)
20

d)

2 +i(

2 +1)

Ejercicio 1.4
Calcula los nmeros complejos z tales que
1+z
1z
es:
a) Un nmero real; b) Un nmero imaginario puro.
Ejercicio 1.5
Expresa en forma polar los siguientes nmeros complejos.
a)

3 i
b)

3 +i
c)
3

3+i
d)
1+i

3
(1+i)
2
Ejercicio 1.6
Expresa los siguientes nmeros en la forma a +ib:
Ejercicios Nmeros complejos
16
a) (1 +i

3)
11
b)
_
1+i
1i
_
5
c)
_
1+i

3
1i
_
6
d) (

3 +i)
13
Ejercicio 1.7
Calcula arg(z w) y arg
_
z
w
_
supuestos conocidos arg(z) y arg(w).
Ejercicio 1.8
Supuesto que z = 1, prueba que
arg
_
z1
z+1
_
=
_
/2, si Im(z) > 0
/2, si Im(z) < 0.
Ejercicio 1.9
Sea z = x +iy. Supuesto que z = 1, z 1, z i, prueba que
arg
_
z1
z+i
_
=
_

4
, si 1 x +y > 0,

3
4
, si 1 x +y < 0.
Ejercicio 1.10
Representa grcamente el conjunto de nmeros complejos que verican la igualdad z = +
arg(z).
Ejercicio 1.11
Resuelve la ecuacin cuadrtica az
2
+bz+c = 0 donde a, b y c son nmeros complejos conocidos
y a 0.
Ejercicio 1.12
Calcula todas las soluciones de las siguientes ecuaciones:
a) z
3
= 1 +i
b) z
4
= i
c) z
3
= 1 +i

3
d) z
8
= 1
e) z
2
+

32iz 6i = 0
Ejercicio 1.13
Calcula las soluciones de la ecuacin z
4
+(1 +i)z
2
+5i = 0.
Ejercicio 1.14
Demuestra la llamada igualdad del paralelogramo: Identidad del
paralelogramo
Nmeros complejos Ejercicios
17
z +w
2
+z w
2
= 2
_
z
2
+w
2
_
para todo z, w C y explica su signicado geomtrico.
Ejercicio 1.15
Dados dos nmeros complejos y , calcula el mnimo valor para z C de la cantidad z
2
+
z
2
.
Sugerencia: La igualdad del paralelogramo puede ser til.
Ejercicio 1.16
Prueba las desigualdades:
a) z w z w
b) z +w
1
2
(z +w)

z
z
+
w
w

donde z, w son nmeros complejos. Estudia tambin cundo se da la igualdad en cada una de
dichas desigualdades.
Sugerencia: Una estrategia bsica para probar desigualdades entre mdulos de nmeros com-
plejos consiste en elevar al cuadrado ambos miembros de la desigualdad.
Ejercicio 1.17
Prueba que

za
1az

< 1 si z < 1 y a < 1 y tambin si z > 1 y a > 1.

Ejercicio 1.18
Estdiese para cada una de las igualdades siguientes si hay algn nmero complejo z C con
z = 1 que la verica:
a)

z
3
+z
2
+1

= 3;
b)

z
4
2z i

= 4;
c)

z
6
+z
3
+2

= 4 +

4 +4z
2

.
Ejercicio 1.19
Sea x un nmero real que no es mltiplo entero de 2. Prueba las igualdades
a) 1 +cos(x) +cos(2x) + +cos(nx) = cos
_
n
2
x
_
sen
_
n+1
2
x
_
sen
_
x
2
_
b) sen(x) +sen(2x) + +sen(nx) = sen
_
n
2
x
_
sen
_
n+1
2
x
_
sen
_
x
2
_
Sugerencia: Si llamamos A a la primera suma y B a la segunda, calclese A+iB haciendo uso de
la frmula de De Moivre.
Ejercicio 1.20
Sea n N, n 2 y w = cos
_
2
n
_
+i sen
_
2
n
_
. Dado un nmero entero m Z, calclese el valor
de las expresiones:
Ejercicios Nmeros complejos
18
a) 1 +w
m
+w
2m
+ +w
(n1)m
;
b) 1 w
m
+w
2m
+(1)
n1
w
(n1)m
.
Ejercicio 1.21
Haciendo uso de la frmula de De Moivre prueba que:
a) sen(3) = 3 sen() 4sen
3
();
b) cos(4) = 8cos
4
() 8cos
2
() +1;
c) sen(5) = 5sen() 20sen
3
() +16sen
5
().
Ejercicio 1.22
Representar grcamente los conjuntos de nmeros complejos z que verican:
a) z 3 3;
b) 2 < z i 3;
c) arg(z) <

6
;
d) z i +z +i = 4
e) z 1 = z 2i;
f)

zi
z+2i

= 2;
g) Im(z
2
) > 6;
h) z i = Im(z) +1
Ejercicio 1.23
Dados dos nmeros complejos , y un nmero positivo 1, justifquese que el conjunto
_
z C :

z
z

=
_
representa una circunferencia en el plano cuyo centro y radio debes calcular.
Ejercicio 1.24
Prueba que z +w =

z+w
2

zw

z+w
2
+

zw

.
Sugerencia: la identidad del paralelogramo puede ser til.
Ejercicio 1.25
Encuentra los vrtices de un polgono regular de n lados si su centro se encuentra en el punto
z = 0 y uno de sus vrtices z
1
es conocido.
Ejercicio 1.26
Resuelve la ecuacin (z 1)
n
= (z +1)
n
, donde z C y n N, n 2.
Ejercicio 1.27
Sea z
1
= z
2
= z
3
= 1. Prueba que z
1
, z
2
, z
3
son vrtices de un tringulo equiltero si, y slo
si, z
1
+z
2
+z
3
= 0.
Nmeros complejos Ejercicios
19
Ejercicio 1.28
Prueba que tres nmeros complejos a, b, c son los vrtices de un tringulo equiltero si, y slo
si, verican la igualdad a
2
+b
2
+c
2
= ab +bc +ca.
Ejercicio 1.29
Dados dos nmeros complejos distintos a, b C, justica que
za
zb
es real si, y slo si, z est en
la recta que pasa por a y por b; y es real negativo si, y slo si, z est en el segmento que une a
con b.
Ejercicio 1.30
Sean A, B, C, D nmeros reales tales que A
2
+B
2
+C
2
> D
2
. Prueba que la ecuacin:
A(z +z) +iB(z z) +C(zz 1) +D(zz +1) = 0
representa, en el caso de que sea C + D = 0, una recta en el plano; mientras que si C + D 0,
representa una circunferencia cuyo centro y radio se calcularn.
1.7.2 Sucesiones y series
Ejercicio 1.31
Estudia la convergencia de las sucesiones:
a) z
n
=
n

n+ina
n
(a R, a < 1)
b) z
n
=
2
n
n
+
i n
2
n
c) z
n
=
n

a +i sen
_
1
n
_
(a > 0)
d) z
n
= nsen
_
1
n
_
+5i cos
_
1
n
_
e) z
n
=
_
1+i
2
_
n
f) z
n
=
_
1

2
+i
1

2
_
n
Ejercicio 1.32
Sea z
n
una sucesin de nmeros complejos no nulos y sea
n
Arg(z
n
). Supongamos que
lim
n

n
= y lim
n
z
n
= . Justica que
lim
n
z
n
= (cos() +i sen()) .
Ejercicio 1.33
Calcula el lmite de la sucesin z
n
=
_
1 +

2+i

3
n
_
n
.
Sugerencia: Expresa z
n
= z
n
(cos(
n
) +i sen(
n
)) y usa el ejercicio anterior.
Ejercicios Nmeros complejos
20
Ejercicio 1.34
Calcula el lmite de la sucesin z
n
= n
_
n

2
_
cos
_

2n
_
+i sen
_

2n
__
1
_
.
Sugerencia: Recuerda que el lmite de la sucesin n
_
n

2 1
_
es bien conocido.
Ejercicio 1.35
Sea z C, con z = 1, z 1. Prueba que la sucesin z
n
no converge (qu pasa si supones que
converge?). Deduce que si es un nmero real que no es un mltiplo entero de , las sucesiones
cos(n) y sen(n) no convergen.
Ejercicio 1.36
Estudia la convergencia de las series:
a)
_
1
(1 +i)
n
b)

cos(n)+i sen(n)
n
c)

cos(n)+i sen(n)
n
2
d)

cos
_

n
_
+i sen
_

n
_
n
e)

_
(1)
n

n+(1)
n
+i
1
n

n
_
f)

n!
(in)
n
g)

(2+i)
n
(1+2i)
n
1
n
h)

1

n
_
1+i

3
2
_
n
i)

_
cos
_

n
2
_
+i sen
_

n
2
__
j)

(3+4i)
n
2i(4+3i)
n
+7
Ejercicio 1.37
Sea R con < 1 y R. Calcula los lmites

_
n=0

n
cos(n) y

_
n=0

n
sen(n).
Ejercicio 1.38
Prueba que si la serie

z
n
converge y, para todo n R, se verica arg(z
n
) < , para algn
nmero 0 < <

2
, entonces dicha serie converge absolutamente.
Ejercicio 1.39
Supongamos que las series

z
n
y

z
2
n
son convergentes y que Re(z
n
) 0 para todo n N.
Demuestra que

z
n

2
es convergente.
Funciones complejas Continuidad y lmite funcional
21
Funciones complejas
2
Las funciones complejas no son ms que las funciones denidas en subconjuntos de R
2
con valores
en R
2
cuando en R
2
consideramos su estructura compleja. Dado un conjunto A C, a toda funcin
compleja f : A C se le asocian dos funciones reales: la funcin u = Re(f), parte real de f, y la
funcin v = Im(f), parte imaginaria de f, denidas para todo (x, y) = x +iy A por:
u(x, y) = Re f(x +iy), v(x, y) = Imf(x +iy).
Naturalmente, f(z) = Re f(z) +i Imf(z).
La funcin conjugada de f es la funcin

f dada por

f(z) = Re f(z)i Imf(z). La funcin mdulo
de f es la funcin

dada por

(z) =

f(z)

.
2.1 Continuidad y lmite funcional
Denicin 2.1. Se dice que la funcin f : A C es continua en un punto a A si para cada Funcin continua
> 0 existe un > 0 tal que
z A
z a <
_
_
_
=f(z) f(a) < .
Usando una vez ms las desigualdades maxRe(z) , Im(z) z Re(z) +Im(z) se prueba
fcilmente que una funcin compleja f es continua en a si, y slo si, las funciones Re(f) y Im(f)
son continuas en a.
Denicin 2.2. Dado un punto a de acumulacin de A, se dice que f : A C tiene lmite en a si Lmite
existe un nmero complejo L C con la propiedad de que para cada > 0 existe un > 0 tal que
z A
0 < z a <
_
_
_
=f(z) L < .
Simblicamente escribimos lim
za
f(z) = L.
Usando las desigualdades anteriores y llamando a = +i, L = +i tenemos
lim
za
f(z) = L
_

_
lim
(x,y)(,)
Re f(x, y) =
lim
(x,y)(,)
Imf(x, y) =
De forma anloga se pueden denir lmites innitos o en innito.
Denicin 2.3.
a) Se dice que f : A C tiene lmite en innito si hay un nmero complejo L C con la pro-
piedad de que para cada > 0 existe un K > 0 tal que si z > K entonces

f(z) L

< .
Simblicamente escribimos lim
z
f(z) = L.
b) Se dice que f : A C tiene lmite innito en innito si para todo M > 0 existe K > 0 tal que si
z > K entonces

f(z)

> M. Simblicamente escribimos lim

z
f(z) = .
c) Se dice que f : A C tiene lmite innito en un punto a de acumulacin de A si para todo
M > 0 existe > 0 tal que
Derivada de una funcin de variable compleja Funciones complejas
22
z A
0 < z <
_
_
_
= f(z) > M
Simblicamente escribimos lim
za
f(z) = .
Observa que hay una completa analoga formal entre las deniciones anteriores y las correspon-
dientes para funciones reales de una variable real. Por ello, las reglas de clculo de lmites conoci-
das para funciones de una variable real son tambin vlidas, con las mismas demostraciones, para
funciones de variable compleja.
El siguiente resultado, aunque elemental, es importante.
Proposicin 2.4. La funcin argumento principal es continua en C \ R

0
y discontinua en R

. Continuidad del ar-

gumento principal
Demostracin. Sabemos que para z C \ R

0
el argumento principal viene dado por
arg(z) = 2arctan
_
Im(z)
Re(z)+z
_
.
Teniendo en cuenta que la funcin arcotangente es continua y que Re(z) + z > 0 para todo
z C \ R

0
, deducimos que el argumento principal es continuo en C \ R

0
.
Sea a R

y z
n
= a+
(1)
n
n
i. Claramente lim
n
z
n
= a, pero como lim
n
arg(z
2n
) = lim
n
arctan
_
1
na
_
+
= y lim
n
arg(z
2n1
) = lim
n
arctan
_
1
na
_
= , concluimos que arg(z
n
) no converge y
por tanto el argumento principal es discontinuo en a.
2.2 Derivada de una funcin de variable compleja
Denicin 2.5. Sea A C y f : A C, se dice que f es derivable en un punto a A A

si Funcin derivable
existe el lmite
lim
za
f(z) f(a)
z a
C.
El valor de dicho lmite se representa por f

(a) y se llama derivada de f en el punto a.

La nica novedad de la denicin es que se est utilizando el producto complejo y eso, como
veremos, hace que la condicin de derivabilidad en sentido complejo sea mucho ms fuerte que la
derivabilidad para funciones reales.
Casos Particulares
a) Cuando A R y f(A) R, la denicin dada coincide con la conocida para una funcin real de
variable real
b) Para funciones complejas de una variable real se tiene el siguiente resultado.
Sea A R y f : A C. Entonces la funcin f es de la forma f(t) = u(t) + iv(t) donde u y v
son funciones reales de variable real. En este caso tenemos:
f(t)f(a)
ta
=
u(t)u(a)
ta
+i
v(t)v(a)
ta
y deducimos que f es derivable en a si, y slo si, las funciones u y v son derivables en a, en
cuyo caso f

(a) = u

(a) +iv

(a).
Observa que hay una completa analoga formal entre el concepto de funcin derivable para fun-
ciones de variable compleja y para funciones reales de una variable real. Por ello, las reglas de
derivacin conocidas para funciones de una variable real son tambin vlidas, con las mismas
demostraciones, para funciones de variable compleja.
Funciones complejas Ecuaciones de Cauchy-Riemann
23
Proposicin 2.6. Sean dos funciones f, g : A C con A C y a AA

. Supongamos que f y g Reglas de derivacin

son derivables en a. Entonces:
a) (f +g)

(a) = f

(a) +g

(a)
b) (fg)

(a) = f

(a)g(a) +f(a)g

(a)
c) Si g(z) 0 para todo z A entonces
_
f
g
_

(a) =
f

(a)g(a)f(a)g

(a)
(g(a))
2
.
Tambin es fcil comprobar que la regla de la cadena sigue siendo vlida para funciones complejas.
Proposicin 2.7. Sean f : A C y g : B C tales que f(A) B, y consideremos la funcin Regla de la cadena
compuesta h = g f : A C. Supongamos que f es derivable en a A A

y g es derivable en
b = f(a) B B

. Entonces h es derivable en a y
h

(a) = g

(f(a)) f

(a) = g

(b)f

(a).
2.3 Ecuaciones de Cauchy-Riemann
El siguiente resultado pone de maniesto que la derivabilidad compleja es mucho ms restrictiva
de lo que puede parecer a primera vista.
Teorema 2.8. Sea C un conjunto abierto, a un punto de y f : C una funcin de en
C. Notemos a = + i, u(x, y) = Re f(x + iy), v(x, y) = Imf(x + iy). Equivalen las siguientes
armaciones:
a) f es derivable (en sentido complejo) en a = +i.
b) Las funciones u(x, y) = Re f(x + iy), v(x, y) = Imf(x + iy) son diferenciables en (, ) y
adems Ecuaciones de
CauchyRiemann
u
x
(, ) =
v
y
(, )
u
y
(, ) =
v
x
(, )
_

_
En caso de que se cumplan i) y ii) se tiene f

(a) = f

(+i) =
u
x
(, ) +i
v
x
(, ).
Demostracin. Por denicin, f es derivable si, y slo si existe un nmero complejo, la derivada
de f en a, f

(a) = +i que verica

lim
za
f(z)f(a)(+i)(za)
za
= 0.
Pongamos z = x +iy. Si tenemos en cuenta la igualdad
( +i)(x +iy i) = (x ) (y ) +i
_
(x ) +(y )
_
y el hecho de que el mdulo de un complejo coincide con la norma eucldea (visto en R
2
), el lmite
anterior se escribe como sigue:
lim
(x,y)(,)
|(u(x,y),v(x,y))(u(,),v(,))((x)(y),(x)+(y))|
|(x,y)(,)|
= 0
o bien, como ((x ) (y ), (x ) +(y )) =
_


__
x
y
_
, se tiene que
lim
(x,y)(,)
_
_
_
_
(u(x, y), v(x, y)) (u(, ), v(, ))
_


__
x
y
__
_
_
_
|(x, y) (, )|
= 0.
Primeras propiedades de las funciones holomorfas Funciones complejas
24
La condicin anterior quiere decir que la aplicacin (x, y) (u(x, y), v(x, y)) de R
2
en R
2
es diferenciable en (, ) y su diferencial es la aplicacin lineal dada por
(x, y)
_


__
x
y
_
.
Por tanto
_


_
es la matriz jacobiana de la aplicacin (x, y) (u(x, y), v(x, y)) en (, ), esto
es
u
x
(, ) = ,
u
y
(, ) = ,
v
x
(, ) = ,
v
y
(, ) =
Finalmente f

(a) = f

(+i) = +i =
u
x
(, ) +i
v
x
(, ).
Este resultado explica porqu si denes, sin pensarlo mucho, una funcin compleja en la forma
f(x +iy) = u(x, y) +iv(x, y) lo ms probable es que, a pesar de lo buenas que puedan ser las
funciones uy v, la funcin as denida no sea derivable. Pues las funciones uy v no tienen por qu
vericar las ecuaciones de Cauchy-Riemann. Esto indica (aunque esta es una idea difcil de precisar)
que las funciones complejas derivables son autnticas funciones complejas en el sentido de que
si la funcin f(x+iy) = u(x, y) +iv(x, y) es derivable entonces la expresin u(x, y) +iv(x, y)
debe depender nicamente de la variable z. Los siguientes ejemplos son ilustrativos.
Ejemplo 2.9.
a) f(x + iy) = x no es derivable en ningn punto. Su parte imaginaria es cero y
u
x
= 1. Esta
funcin es la proyeccin sobre el eje OX vista como funcin real. De hecho, como funcin
real es un polinomio (y de los ms sencillos) y, por tanto, derivable.
b) f(z) = zz
2
slo es derivable en cero.
c) f(x +iy) = e
x
(cos(y) +i sen(y)) es derivable en todo C y f

(z) = f(z) para todo z C.

2.4 Primeras propiedades de las funciones holomorfas
Denicin 2.10. Sea un abierto de C. Una funcin f : C se dice que es holomorfa en si Funcin holomorfa
f es derivable en todo punto de . En tal caso la funcin denida para z por z f

(z) se
llama funcin derivada de f. Notaremos por J() el conjunto de todas las funciones holomorfas
en . Las funciones holomorfas en todo el plano complejo se llaman funciones enteras. Funcin entera
Ejemplo 2.11.
a) Las funciones polinmicas, es decir, las funciones de la forma
p(z) = c
0
+c
1
z +c
2
z
2
+ +c
n
z
n
donde c
k
C para 0 k n, son funciones enteras. La funcin derivada de p viene dada
por p

(z) = c
1
+2c
2
z +3c
3
z
2
+ +nc
n
z
n1
para z C.
b) Las funciones racionales, es decir, las funciones de la forma R(z) =
p(z)
q(z)
donde p(z) y
q(z) son funciones polinmicas, son holomorfas en su dominio natural de denicin =
_
z C : q(z) 0
_
. La funcin derivada de R viene dada por
R

(z) =
p

(z)q(z)p(z)q

(z)
q(z)
2
(z ).
2.4.1 Propiedades de las funciones holomorfas
Como consecuencia de las reglas de derivacin tenemos el siguiente resultado.
Funciones complejas Primeras propiedades de las funciones holomorfas
25
Proposicin 2.12. El conjunto J() de las funciones holomorfas en un abierto con la suma y
el producto usual de funciones es un lgebra.
Proposicin 2.13. Una funcin holomorfa en un dominio cuya derivada es nula en todo punto es
constante.
Demostracin. Sea un dominio, f J() tal que f

(z) = 0 para todo z . Fijado z

0
,
denimos
A = z : f(z) = f(z
0
).
A es no vaco y, por ser f continua, es un cerrado relativo de . Veamos que tambin es abierto.
Sea a A y como es abierto, existe r > 0 tal que D(a, r) . Tomamos b D(a, r) y denimos
: [0, 1] C por (t) = f((1t)a+tb). Como f es derivable, la regla de la cadena nos dice que
es derivable y

(t) = f

((1 t)a +tb)(b a) = 0

Por ser una funcin compleja de variable real tenemos

(t) = (Re )

(t) +i(Im)

= 0 (t [0, 1])
Luego (Re )

(t) = 0 y (Im)

(t) = 0 para todo t [0, 1]. Puesto que Re y Im son funciones

reales de variable real denidas en [0, 1], se sigue que son constantes. Luego es constante y por
tanto (0) = f(a) = (1) = f(b) luego b A. Hemos probado que D(a, r) A, luego A es
abierto. El hecho de que sea un dominio permite concluir que A = , es decir, f es constante en
.
Corolario 2.14. Si dos funciones holomorfas tienen la misma derivada sobre un dominio y coinciden
en un punto son iguales.
La siguiente proposicin vuelve a poner de maniesto que la condicin de que una funcin sea
holomorfa es mucho ms restrictiva que la derivabilidad real.
Proposicin 2.15. Sea un dominio y f J(). Equivalen las siguientes armaciones:
i) Re(f) es constante en .
ii) Im(f) es constante en .
iii) La funcin compleja conjugada de f,

f, es holomorfa en .
iv) f es constante en .
v)

es constante en .
Demostracin. Pongamos f = u + iv, con u = Re(f), v = Im(f). Es claro que la condicin (iv)
implica todas las dems.
(i) = (iv)
Las ecuaciones de CauchyRiemann arman que f

(z) = f

(x + iy) =
u
x
(x, y) i
u
y
(x, y).
Puesto que Re(f) es constante tenemos
u
x
(x, y) =
u
y
(x, y) = 0 lo que implica que f

(z) = 0
para todo z de donde deducimos (iv) gracias a la proposicin anterior.
(ii) = (iv)
Puesto que Im(f) = Re(if) la implicacin (i) = (iv) ya probada nos dice que la funcin
if es constante y, por lo tanto, f tambin lo es.
(iii) = (iv)
Como f es holomorfa y

f lo es por hiptesis tenemos que f +

f = 2Re(f) es holomorfa. Puesto

que Im(Re f) = 0 es constante, deducimos, por (ii) = (iv), que Re(f) es constante y por
(i) (iv) concluimos que f es constante.
Ejercicios Funciones complejas
26
(v) = (iv)
Si

= entonces f(z)

f(z) =
2
. Si = 0 entonces f es idnticamente nula y hemos
acabado. Si 0 entonces f no se anula en ningn punto por lo que

f(z) =

2
f(z)
es holomorfa
en y, por (iii) (iv), concluimos que f es constante.
Observacin 2.16. Estas propiedades de las funciones holomorfas estn muy lejos de ser ciertas
para funciones reales diferenciables. Por ejemplo, dada una funcin de R
2
en R
2
diferenciable que
no se anule nunca, dividindola por su norma obtenemos una funcin diferenciable cuyo mdulo
(norma eucldea) es constante.
2.5 Ejercicios
Ejercicio 2.1
Demuestra que si P(z) = a
0
+a
1
z + +a
n
z
n
es una funcin polinmica de grado n 1, se
verica que lim
z
P(z) = .
Ejercicio 2.2
Estudia la derivabilidad de la funcin f(x +i y) = x
3
+3xy
2
+i(y
3
+3x
2
y).
Ejercicio 2.3
Sea f : C C la funcin dada por f(z) =
x
3
(1+i)y
3
(1i)
x
2
+y
2
si z = x +i y 0, f(0) = 0. Estudia la
continuidad y la derivabilidad de f.
Ejercicio 2.4
Consideremos la funcin dada para z 0 por f(z) =
z
2
z
, y f(0) = 0. En qu puntos verica f
las ecuaciones de Cauchy-Riemann? Es f derivable en z = 0?.
Ejercicio 2.5
Escribe las ecuaciones de Cauchy-Riemann para f(z) = U(, )+i V(, ) donde z = (cos()+
i sen()). Expresa la derivada de f por medio de las derivadas parciales de U y V.
Ejercicio 2.6
Sea un dominio y f J(). Supongamos que hay nmeros a, b, c R con a
2
+b
2
> 0, tales
que aRe f(z) +bImf(z) = c para todo z . Prueba que f es constante en .
Ejercicio 2.7
Calcula una funcin f J(C) tal que Re f(x +iy) = x
4
6x
2
y
2
+y
4
para todos x, y R. Si
se exige que sea f(0) = 0, entonces dicha funcin es nica.
Funciones complejas Ejercicios
27
Ejercicio 2.8
Calcula una funcin f J() tal que
a) Imf(x, y) =
1
2
log
_
x
2
+y
2
_
,
b) Imf(x, y) = xy,
c) Re f(x, y) = x
2
4x y
2
+2y, o
d) Re f(x, y) = e
x
cos(y) +x.
Ejercicio 2.9
Encuentra una condicin necesaria y suciente que deben cumplir los nmeros reales a, b, c
para que exista una funcin f J(C), vericando que Re f(x +iy) = ax
2
+bxy +cy
2
para
todos x, y R. Determina, cuando dicha condicin se cumpla, todas las funciones enteras f
cuya parte real es de la forma indicada.
Ejercicio 2.10
Sea f(x + iy) = u(x, y) + i v(x, y) una funcin holomorfa. Prueba que las curvas de nivel
u(x, y) = c, v(x, y) = k son dos familias de trayectorias ortogonales.
28
Funciones complejas elementales La funcin exponencial
29
Funciones complejas elementales
3
3.1 La funcin exponencial
Una de las formas de denir la exponencial de un nmero real x es mediante el lmite
e
x
= lim
n
_
1 +
x
n
_
n
.
Por tanto, una forma coherente de denir la exponencial de un nmero complejo sera calcular el
anterior lmite para z C. Llamemos z = x +iy. Consideraremos que y 0, puesto que si y = 0
tendramos que z = x sera un nmero real. Pongamos w
n
= 1 +z/n y

n
= arctan
_
y
n
1 +
x
n
_
.
Sea n
0
tal que para n n
0
se verique que Re(w
n
) > 0. Entonces, para n n
0
resulta que

n
= arg(w
n
). Por otra parte, el mdulo de w
n
viene dado por
w
n

2
=

1 +
z
n

2
=
_
1 +
x
n
_
2
+
y
2
n
2
.
Tenemos ahora, gracias a la frmula de De Moivre que
(w
n
)
n
=
_
1 +
z
n
_
n
=
_
_
1 +
x
n
_
2
+
y
2
n
2
_
n/2
(cos(n
n
) +i sen(n
n
)).
Pero, por el criterio de equivalencia logartmica, es
lim
n
w
n

n
= lim
n
_
_
1 +
x
n
_
2
+
y
2
n
2
_
n/2
= exp
_
lim
n
n
2
_
2x
n
+
x
2
n
2
+
y
2
n
2
_
_
= e
x
.
Adems, la sucesin
n
es asintticamente equivalente a la sucesin
_
y/n
1+x/n
_
. Por tanto
lim
n
n
n
= lim
n
n
y/n
1+x/n
= y.
En consecuencia, tenemos que
lim
n
_
1 +
z
n
_
n
= lim
n
(w
n
)
n
= lim
n
w
n

n
(cos(n
n
) +i sen(n
n
)) = e
x
(cos(y) +i sen(y)).
Denimos, por tanto, la exponencial compleja como
e
z
= exp(z) = lim
n
_
1 +
z
n
_
n
= e
Re(z)
(cos(Im(z)) +i sen(Im(z))) .
Observa que e
z
= e
Re(z)
, Im(z) Arg(e
z
). En particular, obtenemos la frmula de Euler
e
it
= cos(t) +i sen(t) (t R)
que establece una relacin entre la exponencial compleja y las funciones trigonomtricas. Haciendo
t = tenemos la singular igualdad
Logaritmos complejos Funciones complejas elementales
30
e
i
+1 = 0
en la que intervienen los nmeros ms importantes de las matemticas. De la frmula de Euler se
deducen fcilmente las llamadas ecuaciones de Euler:
cos(t) =
e
it
+e
it
2
, sen(t) =
e
it
e
it
2i
(t R)
.
Usando las ecuaciones de Cauchy-Riemann se deduce que la funcin exponencial es una funcin
entera y exp

(z) = exp(z). Se prueba fcilmente que e

z+w
= e
z
e
w
para todos z, w C. Se deduce
que para todo z C y todo k Z es e
z
= e
z+2ki
. Lo que nos dice que la exponencial compleja
es una funcin peridica con perodo 2i. Naturalmente, esto supone una gran diferencia con la
exponencial real que es una funcin inyectiva. Observa que la exponencial no se anula nunca pues
e
z
= e
Re(z)
> 0.
3.2 Logaritmos complejos
El comportamiento peridico de la exponencial compleja se va a traducir, como vamos a ver en-
seguida, en que la ecuacin e
w
= z, donde z es un nmero complejo no cero, va a tener innitas
soluciones w C. Como
e
w
= e
Re(w)
(cos(Im(w)) +i sen(Im(w)))
Para que e
w
= z es necesario y suciente que:
e
w
= z, esto es, e
Re(w)
= z, es decir, Re(w) = log z (logaritmo natural del nmero real
positivo z).
Arg (e
w
) = Arg (z), esto es, Im(w) Arg(z) y esto se cumple si, y slo si Im(w) = arg(w)+2k,
con k Z.
Hemos probado que w C : e
w
= z = log z + i(arg(z) + 2k), k Z. Por tanto, existen
innitos nmeros complejos w que satisfacen la ecuacin e
w
= z. Cualquiera de ellos se llama un
logaritmo de z. El conjunto de todos ellos lo representaremos por Log(z). De entre todos ellos Logaritmo
elegimos uno, llamado logaritmo principal, denido por Logaritmo principal
log(z) = log z +i arg(z), para todo z C

.
Observa que cualquier otro logaritmo de z es de la forma log(z) + i2k para algn entero k.
Es importante que observes que la igualdad log(zw) = log(z) + log(w) que es vlida para los
logaritmos de los nmeros reales positivos, no es siempre cierta cierta para nmeros complejos.
Por ejemplo:
log(1 +i

3) = log 1 +i

3 +i arg(1 +i

3)
= log(2) +i(arctan(

3) +) = log(2) +i
2
3
log(

3 +i) = log

3 +i +i arg(

3 +i)
= log(2) +i(arctan(1/

3) +) = log(2) +i
5
6
log((1 +i

3)(

3 +i)) = log(4i) = log(4) i

2
log(1 +i

3) +log(

3 +i) = log(4) +i
3
2
.
Lo que est claro es que el nmero log(z) + log(w) Log(zw), es decir, log(z) + log(w) es un
logaritmo de zw pero no tiene por qu ser el logaritmo principal de zw.
Funciones complejas elementales Potencias complejas
31
Como la funcin z arg(z) es continua en C\R

0
y discontinua en R

0
, se deduce que el logaritmo
principal es discontinuo en R

0
y continuo en C\R

0
. De hecho, el logaritmo principal es una funcin
holomorfa en el dominio C\R

0
. Esto puedes probarlo usando las condiciones de Cauchy-Riemann
aunque en este caso es ms fcil proceder como sigue. Sea a C \ R

0
y b = log(a). La funcin
h(w) =
e
w
e
b
wb
, h(b) = e
b
es continua en todo C. Adems h(b) 0 y, por tanto, hay algn r > 0 tal que h(w) 0 para
todo w D(b, r). Como la funcin logaritmo principal es continua en a, deducimos que hay un
s > 0 tal que w = log(z) D(b, r) siempre que z D(a, s). Teniendo en cuenta que la funcin
logaritmo principal es inyectiva, podemos escribir para z D(a, s):
log(z)log(a)
za
=
1
h(log(z))
= lim
za
log(z)log(a)
za
=
1
h(log(a))
=
1
a
.
Hemos probado, pues, que log

(z) =
1
z
para todo z C \ R

0
.
3.3 Potencias complejas
Recuerda que dados dos nmeros reales a > 0 y b R, la potencia de base a y exponente b se
dene como a
b
= e
blog(a)
. Ahora, dados a, b C, con a 0, sabemos que hay innitos logaritmos
de a, todos ellos son de la forma log(a) + i2k, con k Z. Por ello, cualquier nmero complejo
de la forma e
b(log(a)+i2k)
donde k Z, es una potencia de base a y exponente b. De todas ellas
se destaca una:
a
b
= e
blog(a)
y dicho nmero se llama valor principal de la potencia de base a y exponente b. Observa que si
b = 1/n donde n N, el nmero
a
1/n
=exp
_
1
n
log(a)
_
=exp
_
loga
n
+i
arg(a)
n
_
=a
1/n
_
cos
_
arg(a)
n
_
+i sen
_
arg(a)
n
__
es el valor principal de la raz n-sima de a que antes hemos notado por
n

a. Esta denicin da
lugar a las funciones exponenciales complejas de base a, z a
z
, denidas por a
z
= exp(z log(a))
que son holomorfas en todo el plano.
Por otro lado la funcin potencia compleja de exponente b, z z
b
, denida por z
b
= exp(blog(z))
es holomorfa en C \ R

0
.
Las funciones exponenciales cumplen evidentemente la igualdad a
z+w
= a
z
+ a
w
pero las fun-
ciones potencias no cumplen, en general como vimos al estudiar las races, la propiedad (zw)
b
=
z
b
w
b
. Esta igualdad se da en el caso de que
exp(blog(zw)) = exp(blog(z) +blog(w))
o, puesto que la funcin exponencial es peridica de periodo 2i, cuando se verique que
blog(zw) = blog(z) +blog(w) +2ki, para algn k Z.
Como caso particular, cuando z y w pertenecen al primer cuadrante la igualdad log(zw) = log(z)+
log(w) es cierta con lo cual lo anterior se cumple para k = 0. Por los mismos motivos la igualdad
(z
b
)
c
= z
bc
no es cierta en general.
Funciones trigonomtricas complejas Funciones complejas elementales
32
3.4 Funciones trigonomtricas complejas
3.4.1 Seno y coseno complejos
Las ecuaciones de Euler: cos(t) =
e
it
+e
it
2
, sen(t) =
e
it
e
it
2i
, vlidas para todo t R, tambin tienen
sentido para nmeros complejos. Por ello, para todo z C denimos el coseno y el seno complejos
por:
cos(z) =
e
iz
+e
iz
2
, sen(z) =
e
iz
e
iz
2i
Es inmediato que el seno y coseno complejos extienden a las funciones seno y coseno reales.
Adems, como el coseno y el seno complejos est denidos como combinacin de exponenciales,
sus propiedades se deducen fcilmente a partir de las propiedades de la exponencial.
Proposicin 3.1. Sean z, w C.
a) cos
2
(z) +sen
2
(z) = 1. Identidad
fundamental
b) cos(z) = cos(z), sen(z) = sen(z).
c) sen(z +w) = sen(z) cos(w) +sen(w) cos(z), Frmulas de adicin
cos(z +w) = cos(z) cos(w) sen(w) sen(z).
d) Las funciones seno y coseno son derivables en todo C con
sen

(z) = cos(z) y cos

(z) = sen(z).
e) cosh(x) = cos(ix) y senh(x) = i sen(ix). Relacin con las fun-
ciones hiperblicas
f) Las funciones seno y coseno complejos no estn acotadas, aunque si lo estn en bandas acotadas
paralelas al eje real.
g) Las funciones seno y coseno complejas no tienen ms ceros que los reales, esto es, sen(z) = 0 si,
y slo si, z es real de la forma 2k y cos(z) = 0 si, y slo si, z es real de la forma

2
+k.
3.4.2 Tangente compleja
Por analoga con la tangente real denimos la funcin tangente compleja como
tan(z) =
sen(z)
cos(z)
(cos(z) 0).
Puesto que el seno y el coseno son funciones enteras la tangente compleja es una funcin holomorfa
en su dominio de denicin C\ z : cos(z) = 0. Adems sabemos que cos(z) = 0 slo si z es real
de la forma z =

2
+k para algn k Z.
Las propiedades de la tangente se deducen con facilidad de las propiedades del seno y el coseno.
Por ejemplo, puedes comprobar que
tan(z +w) =
tan(z) +tan(w)
1 tan(z) tan(w)
.
3.5 Funciones trigonomtricas inversas
3.5.1 Arcocoseno complejo
Dado un nmero complejo z C se trata de calcular los complejos w tales que cos(w) = z.
Funciones complejas elementales Funciones trigonomtricas inversas
33
e
iw
+e
iw
2
= z e
iw
+e
iw
2z = 0
puesto que exp(w) 0 para cualquier w, podemos multiplicar por e
iw
la expresin anterior:
e
2iw
2ze
iw
+1 = 0. Poniendo u = e
iw
, la ecuacin anterior podemos escribirla u
2
2zu+1 = 0,
cuyas races son
u = z :
_
z
2
1 = z :i
_
1 z
2
.
Observa que dichas races son distintas de 0, de hecho una es inversa de la otra pues su producto
es igual a 1. Hemos obtenido que:
exp(iw) = z :i
_
1 z
2
iw Log
_
z :i
_
1 z
2
_
cos(w) = z.
Naturalmente, hay innitos valores de w que verican la igualdad anterior. El conjunto de todos
ellos se representa por Arccos(z).
Arccos(z) =
1
i
Log
_
z :i
_
1 z
2
_
.
De todos ellos elegimos el que corresponde al logaritmo principal y le llamamos valor principal de
Arccos(z) que est denido por:
arccos(z) =
1
i
log
_
z +i
_
1 z
2
_
.
Veamos que el arccos(z) extiende al arcocoseno real. En efecto, para z = x [1, 1] tenemos que:
1
i
log
_
x +i
_
1 x
2
_
=
1
i
_
log

x +i
_
1 x
2

+i arg
_
x +i
_
1 x
2
__
=
1
i
_
log(1) +i arg
_
x +i
_
1 x
2
__
= arg
_
x +i
_
1 x
2
_
.
Observemos que (x,
_
1 x
2
) es un punto de la mitad superior de la circunferencia unidad y una
medida del ngulo que forma el nmero complejo x + i
_
1 x
2
con el eje real positivo es preci-
samente el arco cuyo coseno es x. Adems, para x [1, 1] se tiene que 0 arccos(x) .
Deducimos que arg
_
x +i
_
1 x
2
_
= arccos(x).
Teniendo en cuenta que
_
1 z
2
= exp
_
1
2
log(1 z
2
)
_
, y que el logaritmo principal es holomorfo
en C \ R

0
, deducimos, por la regla de la cadena, que la funcin z
_
1 z
2
es holomorfa en el
conjunto
=
_
z C : 1 z
2
/ R

0
_
= C \ (] , 1] [1, +[) .
Anlogamente log
_
z +i
_
1 z
2
_
es derivable en el conjunto

1
=
_
z C : z +i
_
1 z
2
/ R

0
_
.
Como z +i
_
1 z
2
y z i
_
1 z
2
son inversos, tenemos que
z +i
_
1 z
2
R

0
= z i
_
1 z
2
R

0
=
_
z R

_
1 z
2
iR
_
= z ] , 1]
deducimos que
1
= C\] , 1] . Luego el arcocoseno es holomorfo en . La regla de la
cadena nos permite calcular su derivada
Ejercicios Funciones complejas elementales
34
arccos

(z) =
1
i
1 +i
z

1z
2
z +i
_
1 z
2
=
1
_
1 z
2
_
1 z
2
iz
iz
_
1 z
2
=
1
_
1 z
2
.
3.5.2 Arcoseno complejo
Dado un nmero complejo z queremos calcular los complejos w tales que sen(w) = z. El conjunto
de tales nmeros lo representaremos por Arcsen. Aunque podemos repetir el mismo proceso an-
terior, podemos aprovechar lo ya hecho y observar que sen(w) = cos
_

2
w
_
, luego sen(w) = z
si, y slo si,

2
w
1
i
Log
_
z :i
_
1 z
2
_
. Equivalentemente si
w

2
+i Log
_
z :i
_
1 z
2
_
.
El valor principal del arcoseno, que notaremos por arcsen(z), se dene eligiendo el logaritmo
principal:
arcsen(z) =

2
+i log
_
z +i
_
1 z
2
_
, z C
y es una funcin holomorfa en C\] , 1] [1, +[.
3.5.3 Arcotangente compleja
Dado z C queremos calcular los nmeros complejos w tales que z = tan(w) o, lo que es lo mis-
mo, z cos(w) = sen(w). El conjunto de todos ellos lo representaremos por Arctan(z). Escribiendo
la denicin de seno y coseno
e
iw
e
iw
2i
= z
e
iw
+e
iw
2
.
Si z = :i, la ecuacin anterior no tiene solucin por lo que consideramos z :i. Multiplicando
por e
iw
= u la expresin anterior resulta
u
2
1 = iz(u
2
+1) u
2
(1 iz) = 1 +iz
puesto que z i podemos escribir u
2
=
1+iz
1iz
, esto es,
e
2iw
=
1+iz
1iz
w
1
2i
Log
_
1+iz
1iz
_
(z :i).
Denimos entonces el valor principal de Arctan(z) por:
arctan(z) =
1
2i
log
_
1+iz
1iz
_
(z :i).
Puedes probar ahora que la funcin arctan(z) es holomorfa en C \ i : R, > 1.
Es fcil probar que la funcin arcotangente compleja, al igual que ocurre con las dems funciones
trigonomtricas complejas, extiende a la funcin arcotangente real.
3.6 Ejercicios
Funciones complejas elementales Ejercicios
35
Ejercicio 3.1
Expresa los 8 nmeros :1 :i, :

3 :i en la forma re
i
.
Ejercicio 3.2
Calcula el mdulo y los argumentos principales de los nmeros 1 + e
i
, 1 e
i
, ae
i
donde
y a > 0.
Ejercicio 3.3
Calcula log(z) y Log(z) cuando z es uno de los nmeros siguientes
i, i, e
3
, e
5i
, 4, 5e, 1 +i.
Ejercicio 3.4
Calcula log(3i) +log(1 +i

3) y log
_
3i(1 +i

3)
_
.
Ejercicio 3.5
Calcula log(1 i) log i y log
_
1i
i
_
.
Ejercicio 3.6
Calcula (4)
i
, i
3i
, i
i
, 1
2i
, 3
1i
, ((i)
i
)
i
, (1 +i)
1+i
.
Ejercicio 3.7
a) Estudia, para z C

y n N, las igualdades:
i) log(exp(z)) = z,
ii) exp(log(z)) = z,
iii) log
_
1
z
_
= log(z),
iv) log(
n

z) =
log(z)
n
,
v) log(z
n
) = nlog(z).
b) Prueba que la funcin logaritmo establece una biyeccin entre los conjuntos C \ R

0
y =
z C

: < Im(z) < .

Ejercicio 3.8
Con una interpretacin adecuada de la suma justica que Arg(z w) = Arg(z) + Arg(w), y que
Log(z w) = Log(z) +Log(w).
Ejercicios Funciones complejas elementales
36
Ejercicio 3.9
Estudia, interpretndolas convenientemente cuando sea necesario, las siguientes igualdades:
a) Log[a
b
] = bLog(a),
b) log[a
b
] = bLog(a),
c) log(a
b
) = blog(a).
Ejercicio 3.10
Indica el error en los razonamientos siguientes: (z)
2
= z
2
; por tanto 2Log(z) = 2Log(z) y,
por consiguiente, Log(z) = Log(z).
Ejercicio 3.11
Explica con detalle dnde est el error en las igualdades siguientes:
i = (1)
1/2
= [(1)
3
]
1/2
= (1)
3/2
= i
3
= i.
Ejercicio 3.12
Calcula la imagen por la funcin exponencial de:
a) Una recta paralela a uno de los ejes coordenados.
b) Una banda horizontal de anchura menor que 2.
c) Un rectngulo de lados paralelos a los ejes coordenados.
d) El conjunto z C : z > r.
Ejercicio 3.13
Tiene la funcin exponencial lmite en innito? Dado w C con w = 1, estudia la existencia
del lmite lim
r+
exp(r w).
Ejercicio 3.14
Sea f : C C una funcin vericando f(z + w) = f(z)f(w), para z, w C. Probar que si
f es derivable en un punto entonces f es entera. Encontrar todas las funciones enteras que
veriquen la condicin anterior. Dar un ejemplo de una funcin que verique dicha propiedad
y no sea entera.
Ejercicio 3.15
Da condiciones necesarias y sucientes para que el conjunto [a
b
] de las potencias de base a y
exponente b sea nito.
Ejercicio 3.16
Estudia qu relacin hay entre los conjuntos [a
m/n
] y [(a
m
)
1/n
], donde a C

, m, n N,
n 2. Qu puede armarse, en particular, cuando m y n son primos entre s?.
Funciones complejas elementales Ejercicios
37
Ejercicio 3.17
Sean > 0, < tales que , , , [, ]. Prueba que z z

es una biyeccin de

1
= z C

: < arg z < sobre

2
= z C

: < arg z < .

Ejercicio 3.18
Calcula las partes real e imaginaria de los nmeros sen(1 +i), cos(1 i), tan(1 +2i).
Ejercicio 3.19
Indica los conjuntos de puntos z C donde las funciones e
z
, sen(z), cos(z), tan(z), arcsen(z),
arctan(z) toman:
a) Valores reales.
b) Valores imaginarios puros.
Ejercicio 3.20
Calcula Arcsen(1 +i), Arctan(1 i), arcsen(i), arctan(2i).
38
Series de potencias. Funciones analticas Sucesiones y series de funciones
39
Series de potencias. Funciones analticas
4
4.1 Sucesiones y series de funciones
4.1.1 Sucesiones de funciones
Una sucesin de funciones, como su nombre indica, es una sucesin cuyos elementos son funciones.
Formalmente, es una aplicacin que a cada nmero natural le asigna una funcin, en nuestro caso
una funcin compleja.
Denicin 4.1. Sea f
n
una sucesin de funciones con f
n
: A C C. Decimos que f
n

converge puntualmente en un punto a A si la sucesin de nmeros complejos f

n
(a) es con- Convergencia pun-
tual
vergente. Llamaremos campo de convergencia puntual de la sucesin f
n
al conjunto
C = z A : f
n
(z) converge
y llamamos lmite puntual a la funcin f : C C denida por
f(z) = lim
n
f
n
(z).
Se dice que f
n
converge uniformemente a una funcin f en un conjunto B A si Convergencia unifor-
me
lim
n
sup

f
n
(z) f(z)

: z B = 0
es decir, para todo > 0 existe un nmero n
0
N tal que para todo n n
0
se verica que

f
n
(z) f(z)

para todo z B.
4.1.2 Series de funciones
Dada una sucesin de funciones f
n
podemos formar otra cuyos trminos se obtienen sumando
consecutivamente los de la primera, esto es:
f
1
, f
1
+f
2
, f
1
+f
2
+f
3
, . . . , f
1
+f
2
+ +f
n
, . . .
Dicha sucesin la representaremos por
_
n1
f
n
y la llamaremos serie de trmino general f
n
.
Puesto que las series de funciones son sucesiones de funciones, los conceptos de convergencia
puntual, campo de convergencia puntual y convergencia uniforme para series de funciones no
precisan de nueva denicin.
La serie

n1
f
n
se dice que converge absolutamente en un punto a A cuando la serie de los Convergencia abso-
luta
mdulos,

n1

f
n
(a)

, converge. Se dene el campo de convergencia absoluta como el conjunto

_
_
_
z A :
_
n1

f
n
(z)

converge
_
_
_
Al igual que para series de nmeros complejos la convergencia absoluta de una serie de funciones
implica convergencia pero no al contrario.
Series de potencias complejas Series de potencias. Funciones analticas
40
4.2 Series de potencias complejas
Dada una sucesin de nmeros complejos c
n

nN
0
y un nmero a C consideremos la sucesin
de funciones
f
0
(z) = c
0
,
f
n
(z) = c
n
(z a)
n
, n 1.
La serie denida por esta sucesin de funciones, es decir, la sucesin
_
c
0
+c
1
(z a) +c
2
(z a)
2
+ +c
n
(z a)
n
_
se representa por

n0
c
n
(z a)
n
y se llama serie de potencias centrada en a. La sucesin c
n
Series de potencias
recibe el nombre de sucesin de coecientes de la serie.
Lema 4.2. Supongamos un nmero positivo > 0 tal que la serie

n0
c
n

n
sea convergente.
Entonces se verica que la serie

n0
c
n
(z a)
n
converge absolutamente en el disco D(a, ).
Dada una serie de potencias

n0
c
n
(z a)
n
puede ocurrir:
1) La serie solamente converge para z = a. En este caso se dice que la serie de potencias es trivial.
2) La serie converge absolutamente para todo z C.
3) Hay un nmero 0 < R < + tal que la serie converge absolutamente en D(a, R) y no converge
para z a > R. El disco D(a, R) se llama disco de convergencia de la serie.
Al nmero R se le llama radio de convergencia de la serie. En el caso primer convenimos en que Radio de con-
vergencia
R = 0 y en el segundo R = +.
Dada una serie de potencias no trivial, llamaremos dominio de convergencia de la serie al conjunto
a) = C si R = +
b) = D(a, R) si R R
+
Para obtener el radio de convergencia de una serie de potencias de forma prctica podemos aplicar
alguno de los criterios siguientes.
Teorema 4.3. Dada una sucesin de nmeros complejos c
n
supuesto que Criterio del cocien-
te o de DAlembert
a) c
n
0 para todo n a partir de un ndice en adelante, y que
b) lim
n
c
n+1

c
n

= L R
+
0
+
entonces R = 1/L con los convenios: R = 0 si L = + y R = + si L = 0.
Demostracin. Para obtener este resultado basta aplicar el criterio del cociente a la serie
_
n0

c
n
(z a)
n

.
Tenemos
lim
n

c
n+1
(z a)
n+1

c
n
(z a)
n

= lim
n
c
n+1
c
n
z a = L z a .
Deducimos que:
a) Si L z a < 1 la serie converge,
b) Si L z a > 1 la serie no converge,
y concluimos que R = 1/L con los convenios anteriores.
De forma anloga se obtiene el siguiente resultado.
Teorema 4.4. Si lim
n
n
_
c
n
= L R
+
0
+ entonces R = 1/L con los mismos convenios
Criterio de la
raz o de Cauchy anteriores.
El siguiente lema es muy til para calcular la suma de algunas series.
Lema 4.5. Supongamos que la serie

n0
c
n
z
n
converge en un punto z
0
de la frontera de su Lema de Abel
disco de convergencia. Entonces se verica que:
Series de potencias. Funciones analticas Series de potencias complejas
41
lim
r1
0<r<1

_
n=0
c
n
(rz
0
)
n
=

_
n=0
c
n
z
n
0
.
Teorema 4.6. Sea a un nmero complejo,

n0
c
n
(z a)
n
una serie de potencias no trivial y Teorema de deriva-
cin de una serie de
potencias
su dominio de convergencia. Sea f : C la funcin suma de la serie, esto es,
f(z) =

_
n=0
c
n
(z a)
n
, z .
Entonces f es indenidamente derivable en y para cada k N su derivada k-sima se obtiene
derivando k veces la serie trmino a trmino, esto es:
f
(k)
z =

_
n=k
n(n1) (nk +1)c
n
(z a)
nk
, z .
En particular f
(k)
a = k! c
k
o, lo que es lo mismo, c
k
=
f
(k)
a
k!
para todo k N0 .
Denicin 4.7. Sea f una funcin indenidamente derivable en un abierto C y sea a . Serie de Taylor
La serie de potencias
_
n0
f
(n)
(a)
n!
(z a)
n
se llama serie de Taylor de f en el punto a.
Corolario 4.8. Las nicas series de potencias no triviales son series de Taylor (de su funcin suma).
El resultado anterior nos lleva a denir el concepto de funcin analtica.
Denicin 4.9. Sea C un abierto, se dice que una funcin compleja f : C es analtica Funcin analtica
en cuando localmente puede representarse como la funcin suma de una serie de potencias.
Con precisin, para cada punto b hay un disco abierto D(b,
b
) y una serie de potencias
_
n0
c
(b)
n
(z b)
n
cuyo dominio de convergencia contiene a D(b,
b
) tal que
f(z) =

_
n=0
c
(b)
n
(z b)
n
para todo z D(b,
b
).
En virtud del teorema anterior, deducimos que una funcin analtica f en es indenidamente
derivable en y todas sus derivadas son tambin analticas. Adems se tiene que
c
(b)
n
=
f
(n)
(b)
n!
.
Equivalentemente, una funcin f es analtica en un abierto si es indenidamente derivable en
dicho abierto y para cada punto b la serie de Taylor de f en b converge y su suma es igual a
f en algn disco abierto centrado en b y contenido en .
El siguiente resultado es uno de los resultados ms sorprendentes de la teora de funciones holo-
morfas. Para que comprendas bien su alcance conviene que tengas en cuenta los siguientes ejem-
plos.
Ejemplo 4.10.
a) Una funcin derivable una vez pero no dos veces derivable.
Sea f : R R la funcin dada por:
Ejercicios Series de potencias. Funciones analticas
42
f(x) =
_
x
2
/2, si x < 0
x
2
/2, si x 0
La funcin f es derivable y su derivada viene dada por:
f

(x) =
_
x, si x < 0
x, si x 0
Es decir, f

(x) = x, que no es derivable en x = 0.

b) Una funcin indenidamente derivable cuya serie de Taylor en un punto no converge a la
funcin.
Sea f : R R la funcin dada por:
f(x) =
_
exp(1/x
2
), si x < 0
0, si x 0
La funcin f es indenidamente derivable y sus derivadas en x = 0 son todas nulas, f
(n)
(0) =
0 para todo n N. Por tanto la serie de Taylor de f en x = 0 es la serie nula. Sin embargo f
no es nula en ningn intervalo abierto que contenga a 0.
El siguiente resultado nos dice que para funciones complejas derivables estas situaciones no se
pueden dar.
Teorema 4.11. Sea C un abierto y f : C una funcin derivable (holomorfa) en . Entonces Teorema de Taylor
se verica que f es analtica en . Con ms precisin:
a) f es indenidamente derivable en ;
b) Para cada punto a la serie de Taylor de f en a converge por lo menos en el disco ms grande
centrado en a y contenido en y su suma en dicho disco es igual a f. Es decir
f(z) =

_
n=0
f
(n)
(a)
n!
(z a)
n
para todo z D(a, r) .
Este resultado pone de maniesto la gran diferencia que hay entre la derivabilidad en el campo real
y en el campo complejo. En el campo real podemos tener una funcin que sea continua pero no
derivable; continua y derivable pero sin derivada continua; de clase C
1
pero no dos veces derivable,
etc. Esto es, con notacin que se explica por s sola
C(I) D
1
(I) C
1
(I) D
2
(I) C
2
(I) C

(I) FA(I)
En variable compleja esta cadena de conjuntos se reduce a dos C() y J() = FA().
4.3 Ejercicios
Ejercicio 4.1
Estudia la convergencia puntual de la serie de funciones
_
n1
_
z+i
zi
_
n
con z i.
Ejercicio 4.2
Estudia la convergencia puntual de la serie de funciones
_
n1
1
n
_
2zi
2+iz
_
n
, con z 2i.
Series de potencias. Funciones analticas Ejercicios
43
Ejercicio 4.3
Estudia la convergencia puntual de las series de funciones:
a)
_
n0
exp(nz),
b)
_
n0
sen(nz)
3
n
,
c)
_
n0
exp(nz
2
).
Ejercicio 4.4
Calcula el radio de convergencia de las siguientes series de potencias:
a)
_
n1
_
2n+3
2n+6
_
n
2
z
n
b)
_
n1
n!
n
n
z
n
c)
_
n1
z
2n
(1+2i)
n
d)
_
n0
a
n
2
z
n
e)
_
n0
(2n)!
(n!)
2
z
n
f)
_
n0
(2n)!n
2n
2
n
n!(3n)!
z
n
Ejercicio 4.5
Estudia el comportamiento en la frontera del disco de convergencia de las series:
a)
_
n1
z
n
,
b)
_
n1
z
n
n
,
c)
_
n1
z
n
n
2
,
d)
_
n2
(1)
n
log(n)
z
3n1
.
Ejercicio 4.6
Expresa
1
z
como suma de una serie de potencias centrada en un punto a 0 e indica en dnde
es vlida dicha igualdad.
Ejercicio 4.7
Expresa
1
(1z)
3
como suma de una serie de potencias.
Ejercicio 4.8
Sea a C

. Justica que (1 +z)

a
= 1 +

_
n=1
a(a1)...(an+1)
n!
z
n
, para z < 1.
Serie binomial
Ejercicios Series de potencias. Funciones analticas
44
Ejercicio 4.9
Obtener el desarrollo en serie de potencias centrado en el origen de la funcin f, y calcular el
radio de convergencia de la serie resultante en cada uno de los siguientes casos:
a) f(z) =
z
2
(z+1)
2
.
b) f(z) = log
_
z
2
3z +2
_
.
c) f(z) = cos
2
(z).
d) f(z) = arctan(z).
Ejercicio 4.10
Prueba que log(1 +z) =

_
n=1
(1)
n+1
n
z
n
, z D(0, 1).
a) Deduce que para todo ] , [ se tiene:

_
n=1
(1)
n+1
n
cos(n) = log
_
2cos(

2
)
_
;

_
n=1
(1)
n+1
n
sen(n) =

2
.
b) Cambiando z por z, deduce que para todo ]0, 2[ se tiene:

_
n=1
cos(n)
n
= log
_
2 sen(

2
)
_
;

_
n=1
sen(n)
n
=

2
.
Integracin de funciones complejas Integracin de funciones de variable real con valores complejos
45
Integracin de funciones complejas
5
5.1 Integracin de funciones de variable real con valores complejos
En lo que sigue consideraremos funciones : [a, b] C acotadas y continuas salvo, quizs, en un
conjunto nito de puntos. Denimos la integral de en [a, b] como el nmero complejo
_
b
a
(t) dt =
_
b
a
Re (t) dt +i
_
b
a
Im(t) dt.
Indicamos a continuacin las propiedades principales de la integral que acabamos de denir. Todas
ellas se deducen con facilidad de las propiedades correspondientes de la integral de funciones
reales de variable real que suponemos conocidas.
5.1.1 Propiedades
Proposicin 5.1. Sean , : [a, b] C integrables y , C. Se cumple que Linealidad
_
b
a
((t) + (t)) dt =
_
b
a
(t) dt +
_
b
a
(t) dt.
Proposicin 5.2. Sea : [a, b] C integrable, entonces Acotacin

_
b
a

_
b
a
sup(t) : a t b (b a).
Proposicin 5.3. Si a < c < b, y : [a, b] C es integrable, se verica que Aditividad respecto
al intervalo
_
b
a
=
_
c
a
+
_
b
c
.
Teorema 5.4. Si : [a, b] C es continua, la funcin dada por G(t) =
_
t
a
(s) ds para t [a, b]
Teorema fundamen-
tal del Clculo
es una primitiva de en [a, b].
Proposicin 5.5. Sea F : [a, b] C derivable con derivada integrable, entonces Regla de Barrow
_
b
a
F

(t) dt = F(b) F(a).

Proposicin 5.6. Sea : [c, d] R una funcin estrictamente creciente con derivada continua. Frmula de cambio
de variable
Entonces
_
(d)
(c)
(s) ds =
_
d
c
((t))

(t) dt.
5.2 Curvas en el plano
Denicin 5.7. Una curva en C es una aplicacin continua : [a, b] C. Hay que distinguir Curva
entre la curva y su imagen (tambin llamada traza o soporte), que notaremos por

= ([a, b]).
Curvas en el plano Integracin de funciones complejas
46
Al punto (a) se le llama punto inicial de la curva y a (b) punto nal. Ambos reciben el nombre
de extremos de la curva.
Se dice que es una curva cerrada cuando sus extremos coinciden, esto es, (a) = (b). Curva cerrada
Diremos que una curva es regular si la aplicacin que la dene es derivable con derivada continua, Curva regular
esto es, es de clase C
1
.
a
b
[ ]

(a)
(b)
Ilustracin 5.1
Denicin 5.8. Una curva : [a, b] C es regu-
lar a trozos, y la llamaremos un camino, si existe Camino
una particin de [a, b], a = t
0
< t
1
< . . . < t
n1
<
t
n
= b de manera que
[t
k1
, t
k
]
es regular para
1 k n.
Denicin 5.9. Si : [a, b] C es un camino se Longitud de
una curva
dene la longitud de por () =
_
b
a

(t)

dt.
5.2.1 Operaciones con curvas
Curva opuesta de
Denicin 5.10. Llamaremos curva opuesta de una dada : [a, b] C, y la notaremos por Curva opuesta

: [a, b] C, a la curva denida por

(

)(t) = (b +a t).
Se trata de una curva que tiene la misma traza que pero la recorre en sentido contrario, esto es,
el punto inicial de

es el punto nal de y viceversa.
Yuxtaposicin de curvas
Denicin 5.11. Dadas dos curvas : [a, b] C y : [c, d] C con (b) = (c), denimos una
nueva curva que llamaremos yuxtaposicin de y o tambin suma de y , y la notaremos Yuxtaposi-
cin de curvas
por ~, como
( ~)(t) =
_
(t), si a t b
(c b +t), si b t b +d c
Geomtricamente se trata de pegar las trazas de y juntas, de ah que se exija que (b) = (c),
esto es, que podamos pegarlas de forma continua. Evidentemente en los puntos de unin entre
una curva y otra puede que no haya derivabilidad. Es fcil probar que ( ~)

.
Observa que la yuxtaposicin de dos caminos tambin es un camino.
5.2.2 Ejemplos de curvas
Ejemplo 5.12.
a) Segmento de origen z y extremo w. Es la curva : [0, 1] C denida por
Integracin de funciones complejas Integral curvilnea
47
(t) = (1 t)z +tw
Notaremos a esta curva como = [z, w]. Resaltemos que no se trata de un intervalo en C ya
que no hemos denido ningn orden.
Es fcil comprobar que

[z, w] = [w, z]
b) Circunferencia de centro a y radio r. Es la curva : [, ] C denida por
(t) = a +re
it
La vamos a representar por el smbolo C(a, r). No hay que confundir a la curva con su imagen,
que en este caso es una circunferencia y que notamos como C(a, r)

C.
c) Poligonal de vrtices z
0
, z
1
, . . . , z
n
. Es la curva
[z
0
, z
1
] ~[z
1
, z
2
] ~. . . ~[z
n1
, z
n
]
y la representaremos por [z
0
, z
1
, . . . , z
n
]. La poligonal es un camino, es decir, es una curva
regular a trozos.
Curvas equivalentes
Denicin 5.13. Dos curvas : [a, b] C y : [c, d] C se dice que son equivalentes cuando
existe una aplicacin : [c, d] R cumpliendo
a) C
1
([c, d]),
b)

(u) > 0 para todo u [c, d],

c) (c) = a, (d) = b
y tal que = . En tal caso se dice tambin que es una reparametrizacin de . Reparametrizacin
Dos curvas equivalentes tienen la misma traza, mismo punto inicial y mismo punto nal.
5.3 Integral curvilnea
Denicin 5.14. Sea : [a, b] C un camino y f :

C una aplicacin continua. Denimos

la integral de f a lo largo del camino como el nmero complejo
_

f(z) dz =
_
b
a
f ( (t))

(t) dt.
Observemos que t f((t))

(t) es una funcin de variable real con valores complejos, luego la

integral de la derecha es la integral que ya hemos denido antes.
En lo que sigue notaremos C(

) el espacio vectorial complejo de las funciones complejas conti-

nuas en

.
Propiedades
Proposicin 5.15. Si : [a, b] C y : [c, d] C son curvas equivalentes y f C(

)se verica
que
_

f(z) dz =
_

f(z) dz.
Demostracin. En efecto, puesto que

la integral de f a lo largo de est denida. Por

hiptesis existe una aplicacin C
1
([c, d]) con derivada positiva que transforma [c, d] en [a, b]
y tal que = . Tenemos as que
Integral curvilnea Integracin de funciones complejas
48
_

f(z) dz =
_
b
a
f ( (t))

(t) dt =
_
t = (s)
dt =

(s) ds
_
=
_

1
(b)

1
(a)
f ( ((s)))

((s))

(s) ds
=
_
d
c
f ((s))

(s) ds =
_

f(z) dz.
Proposicin 5.16. Dados dos caminos , y una funcin compleja f continua en

se
cumple que
_
~
f(z) dz =
_

f(z) dz +
_

f(z) dz.
Demostracin. En efecto, por las deniciones dadas
_
~
f(z) dz =
_
b+dc
a
f (( ~)(t)) ( ~)

(t) dt
=
_
b
a
f ((t))

(t) dt +
_
b+dc
b
f ((t b +c))

(t b +c) dt
=
_
s = t b +c
ds = dt
_
=
_
b
a
f ((t))

(t) dt +
_
d
c
f ((s))

(s) ds
=
_

f(z) dz +
_

f(z) dz.
Proposicin 5.17. Dada una funcin compleja f,
_

f(z) dz =
_

f(z) dz.
Proposicin 5.18.

f(z) dz

max
_

f(z)

: z

_
().
Acotacin bsica
Demostracin. En efecto

f(z) dz

_
b
a
f ((t))

(t) dt

_
b
a

f ((t))

(t)

dt
max

f(z)

: z

_
b
a

(t)

dt
=max

f(z)

: z

().
Proposicin 5.19. Dadas f, g funciones complejas y , C, se tiene que Linealidad
_

(f(z) + g(z)) dz =
_

f(z) dz +
_

g(z) dz.
El clculo de una integral curvilnea es inmediato si se conoce una primitiva de la funcin que
integramos.
Teorema 5.20. Sea C un abierto, f una funcin continua en y supongamos que hay una Regla de Barrow
para integra-
les curvilneas
funcin F J() tal que F

(z) = f(z) para todo z . Sea : [a, b] C un camino en (esto

es,

), entonces
_

f(z) dz = F ((b)) F ((a)) .

Demostracin. Puesto que es un camino existe una particin a = t
0
< t
1
< . . . < t
n1
< t
n
= b
de forma que
[t
k1
, t
k
]
es una aplicacin de clase C
1
, esto es,

[t
k1
, t
k
]
es continua. Teniendo en
cuenta que la funcin f ((t))

(t) es continua en cada intervalo [t

k1
, t
k
] y que
(F )

(t) = F

((t))

(t) = f ((t))

(t)
Integracin de funciones complejas Ejercicios
49
para todo t [t
k1
, t
k
], resulta
_

f(z) dz =
_
b
a
f ((t))

(t) dt =
n
_
k=1
_
t
k
t
k1
f ((t))

(t) dt
=
n
_
k=1
(F ((t
k
)) F ((t
k1
))) = F ((b)) F ((a))
como pretendamos demostrar.
5.3.1 Existencia de primitivas
Corolario 5.21. Si una funcin continua f en un abierto admite una primitiva en , entonces Condicin necesaria
para la existencia de
primitivas
la integral curvilnea de f es la misma para todos los caminos en que tienen los mismos puntos
inicial y nal. En particular, para todo camino cerrado en se verica que
_

f(w) dw = 0.
Proposicin 5.22. La funcin suma de una serie de potencias no trivial tiene primitivas en el
dominio de convergencia de la serie.
Demostracin. Supongamos que

n0
c
n
(z a)
n
es una serie de potencias no trivial. Sea su
dominio de convergencia y para z sea (z) =

n=0
c
n
(z a)
n
la funcin suma. El teorema
de derivacin de series de potencias nos dice que la funcin
F(z) =

_
n=0
c
n
n+1
(z a)
n+1
es una primitiva de en .
Con este resultado es fcil dar un ejemplo de una funcin que no tiene primitiva. Sea f(z) =
1
z
para z C

. Tenemos que
_
C(0,1)
f(z) dz =
_

1
e
it
ie
it
dt = 2i 0
luego f no tiene primitiva en C

.
El anterior corolario nos dio una condicin necesaria para la existencia de primitiva de una funcin.
Esta condicin es tambin suciente.
Teorema 5.23. Sea f una funcin continua en un abierto . Las siguientes armaciones son Caracterizacin de la
existencia de primiti-
vas
equivalentes:
a) f tiene primitivas en .
b) La integral de f sobre todo camino cerrado en es nula.
5.4 Ejercicios
Ejercicio 5.1
Calcula
_

z dz siendo : [0, 2] C el camino dado por:

a) (t) = t
2
+it
b) (t) = 2t +it
c) (t) =
_
2it, si 0 t 1,
2i +4(t 1), si 1 t 2.
Ejercicios Integracin de funciones complejas
50
Ejercicio 5.2
Calcula
_

Re(z) dz siendo : [0, 1] C el camino dado por:

a) (t) = t +it;
b) (t) = e
2it
Ejercicio 5.3
Calcula
_

z
2
dz siendo = [i, 1 +i, 3 +3i].
Ejercicio 5.4
Calcula
_
C(0,1)
1
n

z
dz.
Ejercicio 5.5
Calcula
_
C(0,1)
log(z) dz.
Ejercicio 5.6
Dado C, calcula
_
C(0,1)
z

log(z) dz.
Ejercicio 5.7
Calcula
_

z z dz siendo el camino formado por la mitad superior de la circunferencia unidad

y el segmento [1, 1].
Ejercicio 5.8
Prueba que para 0 < r < 1, se tiene que
_
C(0,r)
log(1+z)
z
dz = 0. Deduce que
_
2
0
log
_
1 +r
2
+2r cos()
_
d = 0.
Ejercicio 5.9
Sea f holomorfa en un abierto C y vericando que f(z) 1 < 1, z . Justica que
_

(z)
f(z)
dz = 0 para todo camino cerrado en .
Frmula de Cauchy. Teorema de los residuos
51
Frmula de Cauchy. Teorema de los resi-
duos
6
En este captulo estaremos interesados en el problema de la existencia de primitivas de funciones
holomorfas.
El Teorema Fundamental del Clculo nos dice que toda funcin real de variable real continua en un
intervalo tiene primitivas en dicho intervalo. La situacin es muy distinta para funciones complejas
de variable compleja. En primer lugar, si una funcin f tiene primitivas en un abierto , es decir,
existe una funcin F J() tal que F

(z) = f(z) para todo z , entonces la funcin f es

la derivada de una funcin holomorfa en y, como sabemos que las funciones holomorfas son
indenidamente derivables, deducimos que f tiene que ser holomorfa en . Pero ni siquiera el
hecho de que una funcin sea holomorfa en un dominio garantiza que tenga primitivas en dicho
dominio.
Ejemplo 6.1. La funcin f(z) =
1
z
es holomorfa en el dominio C

y no tiene primitivas en
dicho dominio.
En efecto, tenemos que
_
C(0,1)
f(z) dz =
_

1
e
it
ie
it
dt = 2i 0
luego, en virtud del Teorema 5.23, concluimos que f no tiene primitiva en C

.
Observa que la utilidad de este teorema para probar la existencia de primitivas es dudosa puesto
que para justicar que una funcin tiene primitivas en un cierto dominio sera necesario compro-
bar que su integral a lo largo de todo camino cerrado en es cero, lo que no parece nada fcil en la
prctica. Afortunadamente, hay teoremas que garantizan que bajo ciertas condiciones la integral
de una funcin holomorfa a lo largo de cualquier camino cerrado es nula. Estos teoremas reciben
el nombre de teoremas de Cauchy. En ellos se considera un abierto y un camino cerrado en .
Se suponen hiptesis adicionales sobre o sobre para concluir que
_

f(w) dw = 0 para toda

funcin f J().
Pretendemos, en denitiva, dar respuesta a los dos problemas siguientes:
a) Caracterizar los caminos cerrados en un abierto tales que
_

f(z) dz = 0 para toda funcin

f holomorfa en .
b) Caracterizar los abiertos tales que
_

f(z) dz = 0 para todo camino cerrado en y toda

funcin holomorfa f en . Equivalentemente, caracterizar los abiertos en los que se verica
que toda funcin holomorfa tiene primitivas.
El siguiente resultado ser til en lo que sigue.
Lema 6.2. Si una funcin compleja es continua en un abierto y sabemos que es derivable en todos Lema de Riemann
los puntos de dicho abierto excepto en un conjunto nito de puntos (en los que slo sabemos que es
continua) entonces se verica que dicha funcin es derivable en todos los puntos del abierto.
Supongamos que es un camino cerrado en un abierto y se verica que
_

f(z) dz = 0 para
cualquier funcin f holomorfa en . Entonces si z es un punto que no est en , como la funcin
ndice . . . Frmula de Cauchy. Teorema de los residuos
52
w
1
wz
es holomorfa en , deber cumplirse que
_

1
wz
dw = 0. Si ahora f es una funcin
holomorfa en y z , la aplicacin h : C dada por
h(w) =
_
f(w)f(z)
wz
, si w z
f

(z), si w = z,
es holomorfa en (pues es continua en y holomorfa en \z por lo que el lema de Riemann nos
asegura que es holomorfa en todo ) y deber ser
_

h(w) dw = 0. Supuesto que z }

tenemos
que
0 =
_

h(w) dw =
_

f(w)f(z)
wz
dw =
_

f(w)
wz
dw f(z)
_

1
wz
dw
de donde
f(z)
_

1
wz
dw =
_

f(w)
wz
dw, (z \

).
Observa que esta es una frmula de representacin pues permite calcular los valores de f en
puntos z \

conocidos los valores de f sobre el camino

.
Queda claro, por estas consideraciones, que para responder a los problemas planteados debemos
empezar estudiando la integral
_

1
wz
dw donde es un camino cerrado y z }

. Vamos a ver
que dicha integral tiene una sencilla interpretacin y en la prctica ser muy fcil de calcular.
6.1 ndice de un punto respecto de un camino cerrado
Lema 6.3. Sea : [a, b] C una curva regular que no pasa por el origen, 0 }

. Entonces existe
una funcin derivable h : [a, b] C tal que e
h(t)
= (t) para todo t [a, b]. En consecuencia
h

(t) =

(t)
(t)
para t [a, b].
La funcin h se llama un logaritmo derivable de . Observa que la funcin h tiene que ser de la Logaritmo derivable
forma h(t) = log

(t)

+ i(t) donde t (t) es una funcin continua (derivable, de hecho) y

(t) Arg ((t)). Es decir, t (t) es un argumento continuo de .
Sea : [a, b] C una curva regular cerrada y z }

. Pongamos (t) = (t) z. Tenemos

_

1
wz
dw =
_
b
a

(t)
(t)z
dt =
_
b
a

(t)
(t)
dt.
z
0

Ilustracin 6.1
Sea h(t) = log (t) + i(t) un logaritmo derivable de .
Entonces h

(t) =

(t)
(t)
, para todo t [a, b] lo que nos per-
mite calcular la integral anterior sin ms que aplicar la regla
de Barrow
_

1
wz
dw =h(b) h(a)
=log (b) +i(b) log (a) i(a)
=i((b) (a)) = i2k.
La ltima igualdad es consecuencia de que (a) y (b) son argumentos del mismo nmero com-
plejo (a) = (b) luego su diferencia es un mltiplo entero de 2.
Hemos justicado la igualdad
1
2i
_

1
wz
dw =
(b)(a)
2
= k Z,
Frmula de Cauchy. Teorema de los residuos ndice . . .
53
siendo (t) un argumento continuo de (t) z.
El nmero entero k que aparece es intuitivamente el nmero de veces que la curva rodea al origen
o equivalentemente el nmero de veces que rodea al punto z.
Denicin 6.4. Sea : [a, b] C un camino cerrado y z }

. Se dene el ndice del punto z ndice

respecto del camino como
Ind

(z) =
1
2i
_

1
wz
dw.
Hemos justicado que Ind

(z) es un nmero entero y representa el nmero de veces que el camino

rodea al punto z.
Proposicin 6.5. Dado un camino cerrado : [a, b] C, la funcin denida para z C\

por Propiedades del ndi-

ce
z Ind

(z) tiene las propiedades:

a) Es constante en cada componente conexa de C \

.
b) Vale cero en la componente no acotada de C \

.
6.1.1 Cadenas
En lo que sigue nos va a interesar integrar en varios caminos al mismo tiempo por lo que es
conveniente introducir la terminologa de cadenas. Una cadena es una suma formal nita de
caminos, =
1
+
2
+ . . . +
n
. El smbolo + que hemos escrito en la expresin anterior no
representa a la suma de funciones ni a la yuxtaposicin de caminos, es una manera de decir que
la cadena est formada por varios caminos. Por ejemplo podemos considerar la cadena
= C(0, 1) +C(i, 2) 2C(1 +i, 1/2).
que est formada por tres circunferencias, la ltima de ellas considerada dos veces y recorrida en
sentido contrario.
Por denicin, para integrar una funcin sobre una cadena se integra la funcin sobre cada uno de
los caminos que forman la cadena y se suman dichas integrales.
_

f(z) dz =
n
_
j=1
_

j
f(z) dz.
Dadas dos cadenas y =
1
+ +
m
entonces su suma es otra cadena compuesta por todos
los caminos que forman y todos los que forman ,
+ =
1
+ +
n
+
1
+ +
m
.
Evidentemente se cumple que
_
+
f(z) dz =
_

f(z) dz +
_

f(z) dz.
Como caso particular de cadenas tenemos los ciclos. Un ciclo es una cadena formada por caminos Ciclo
cerrados. En el ejemplo anterior era un ciclo pues estaba formado por circunferencias.
Si es un ciclo se dene el ndice de un punto z }

respecto a como la suma de los ndices del

punto z respecto a cada uno de los caminos cerrados que forman el ciclo.
Ind

(z) =
n
_
j=1
Ind

j
(z).
Proposicin 6.6. Dado un ciclo la funcin z Ind

(z) es constante en componentes conexas de

C \

y vale 0 en la componente conexa no acotada.

. . . frmula integral de Cauchy Frmula de Cauchy. Teorema de los residuos
54
Denicin 6.7. Dado un abierto C y un ciclo en , diremos que es nulhomlogo respecto Ciclo nulhomlogo
de si el ndice de todo punto que no est en respecto de es cero:
Ind

(z) = 0, para todo z C \ .

6.2 Forma general del Teorema de Cauchy y de la frmula integral
de Cauchy
Teorema 6.8. Sea un abierto en C, un ciclo en nulhomlogo respecto de . Entonces para
toda funcin holomorfa, f, en se verica:
a)
_

f(z) dz = 0.
b) f(z) Ind

(z) =
1
2i
_

f(w)
wz
dw, para todo z \

.
Frmula de Cauchy
c) f
(k)
(z) Ind

(z) =
k!
2i
_

f(w)
(wz)
k+1
dw, para todo z \

y para todo k N.
Frmula de Cauchy
para las derivadas
Corolario 6.9. Sea un abierto en C, f J() y supongamos que

D(a, R) . Entonces para
todo z D(a, R) y para todo k N se verica que
a) f(z) =
1
2i
_
C(a,R)
f(w)
wz
dw,
Frmula de Cau-
chy para una
circunferencia
b) f
(k)
(z) =
k!
2i
_
C(a,R)
f(w)
(wz)
k+1
dw.
Denicin 6.10. Un dominio se llama simplemente conexo si todo camino cerrado en es Simplemente conexo
nulhomlogo respecto de .
Intuitivamente, un dominio simplemente conexo es un dominio que no tiene agujeros (en tr-
minos ms precisos: su complemento no tiene componentes conexas acotadas). En la prctica son
fciles de reconocer.
Teorema 6.11. Toda funcin holomorfa en un dominio simplemente conexo tiene primitivas en Teorema de Cauchy
para dominios sim-
plemente conexos
dicho dominio.
Consecuencias
Es cmodo introducir la siguiente terminologa.
Denicin 6.12. Dos ciclos , en un abierto se dicen homolgicamente equivalentes respecto
de si se verica que Ind

(z) = Ind

(z) para todo z C \ .

El teorema de Cauchy arma que si y son ciclos en un abierto , homolgicamente equivalentes
respecto de , entonces
_

f(z) dz =
_

f(z) dz
para toda funcin f J(). Este teorema permite reducir el clculo de integrales de funciones
holomorfas sobre caminos cerrados al clculo de integrales sobre circunferencias.
El siguiente ejemplo es ilustrativo de esto. Sea el abierto el plano complejo C al que le hemos
quitado tres puntos a, b y c. Pretendemos calcular la integral de una funcin holomorfa en a lo
largo del camino que se presenta en la gura 6.2
Frmula de Cauchy. Teorema de los residuos Singularidades aisladas. . .
55
a
b
c

Ilustracin 6.2 Un camino complicado

Teniendo en cuenta que el ndice de los puntos a, b y
c respecto de es el nmero de veces que los rodea
(teniendo en cuenta que el sentido es positivo si los
rodea en sentido contrario al de las agujas del reloj), a
la vista de la gura tenemos:
Ind

(a) = 1, Ind

(b) = 2, Ind

(c) = 1.
Consideremos las circunferencias C(a, ), C(b, ) y C(c, )
que se presentan en la gura y formemos el ciclo
= C(a, ) +2C(b, ) C(c, ).
El ciclo es homolgicamente equivalente al ciclo respecto de . El Teorema de Cauchy nos dice
que en estas condiciones para cualquier funcin holomorfa en , f, se cumple que
_

f(z) dz =
_

f(z) dz =
_
C(a,)
f(z) dz +2
_
C(b,)
f(z) dz
_
C(c,)
f(z) dz.
De esta forma hemos reducido el clculo de la integral de cualquier funcin holomorfa sobre el
camino a tres integrales sobre circunferencias. Observa que podemos tomar los radios de estas
circunferencias arbitrariamente peque nos. Esto nos dice que la integral
_

f(z) dz va a depender
solamente del comportamiento de f en los puntos a, b, y c.
6.3 Singularidades aisladas. Teorema de los residuos
6.3.1 Singularidades aisladas
Sea un abierto en C, a un punto de y sea f una funcin holomorfa en \ a (el abierto
puede muy bien ser un disco abierto centrado en a). En esta situacin se dice que el punto a es
una singularidad aislada de f. Pueden ocurrir los siguientes casos:
a) Existe lim
za
f(z) = w C. En tal caso, deniendo f(a) = w tenemos, en virtud del lema de
Riemann, que f es holomorfa en . Se dice que a es un punto regular de f o que a es una
singularidad evitable de f. Singularidad evitable
b) Existe lim
za
f(z) = . En tal caso se dice que a es un polo de f.
Polo
c) No existe el lmite de f en a. Se dice entonces que a es una singularidad esencial de f. Singularidad esencial
Denicin 6.13. Sea un abierto en C, a un punto de y sea f una funcin holomorfa en Residuo
\ a. Supongamos que

D(a, r) . Se dene el residuo de f en a como
Res(f(z), a) =
1
2i
_
C(a,r)
f(z) dz.
Observa que la integral en esta denicin no depende de r pues si consideras otro disco

D(a, s)
, el ciclo = C(a, r) C(a, s) es nulhomlogo respecto de \ a y, como f es una funcin
holomorfa en \ a, el teorema de Cauchy nos dice que
_

f(z) dz = 0, es decir,
_
C(a,r)
f(z) dz =
_
C(a,s)
f(z) dz.
Teorema 6.14. Sean C un abierto, S = a
1
, a
2
, . . . , a
q
un conjunto nito de puntos en y Teorema de los resi-
duos
sea f una funcin holomorfa en \ S. Si es un ciclo en nulhomlogo respecto de entonces
Singularidades aisladas. . . Frmula de Cauchy. Teorema de los residuos
56
_

f(z) dz = 2i
q
_
j=1
Res(f(z); a
j
) Ind

(a
j
).
Idea de la demostracin. Tomamos > 0 de forma que

D(a
k
, ) y

D(a
k
, ) A = a
k

para k = 1, . . . , q. Para cada k llamamos m

k
= Ind

(a
k
) y
k
= m
k
C(a
k
, ). Construimos el ciclo
=

k
j=1

j
. Es fcil probar que el ciclo es nulhomlogo respecto del abierto \ S. En
consecuencia, podemos aplicar el teorema general de Cauchy a dicho abierto para el ciclo y
la funcin f obteniendo que
0 =
_

f(z) dz =
_

f(z) dz
_

f(z) dz.
Despejando obtenemos
_

f(z) dz =
_

f(z) dz =
q
_
j=1
_

j
f(z) dz
=
q
_
j=1
m
j
_
C(a
j
,)
f(z) dz = 2i
q
_
j=1
Ind

(a
j
) Res(f(z); a
j
)
que es la frmula que queramos probar.
La utilidad del teorema de los residuos depende de que seamos capaces de calcular los residuos
de una funcin holomorfa en sus singularidades aisladas.
6.3.2 Clculo de residuos
Sea un abierto en C, a un punto de y sea f una funcin holomorfa en \ a.
a) Supongamos que a es un punto regular de f. Entonces Res(f(z), a) = 0. Pues podemos denir
f(a) = lim
za
f(z) con lo que f es holomorfa en y si

D(a, r) , como consecuencia del
teorema de Cauchy tenemos que
_
C(a,r)
f(z) dz = 0.
b) Supongamos que a es un polo de f. Entonces se verica que hay un nmero natural k N
tal que lim
za
(z a)
k
f(z) = w 0. Se dice que a es un polo de orden k de la funcin f. Sea
g(z) = (z a)
k
f(z) para z , z a, y sea g(a) = w. Entonces, por el lema de Riemann, g
es holomorfa en . Sea

D(a, r) . Por el Teorema de Taylor (Teorema 4.11) sabemos que
g(z) =

_
n=0
d
n
(z a)
n
, z D(a, r)
donde d
n
=
g
(n)
(a)
n!
. Deducimos que
f(z) =
k1
_
n=0
d
n
(za)
kn
+

_
n=k
d
n
(z a)
nk
, z D(a, r) \ a. (6.1)
Es usual emplear la siguiente notacin para la serie (6.1). Dicha serie se escribe en la forma
f(z) =

_
n=k
c
n
(z a)
n
z D(a, r) \ a. (6.2)
Observa que con ello tenemos que c
1
= d
k1
. Si ahora integramos f(z) en la circunferencia
C(a, r) y tenemos en cuenta que (z a)
n
tiene primitiva
(za)
n+1
n+1
para todo n Z con n 1
por lo que
_
C(a,r)
(z a)
n
dz = 0 para todo entero n 1, obtenemos que las integrales de
Frmula de Cauchy. Teorema de los residuos Singularidades aisladas. . .
57
todos los trminos de la serie (6.2) son nulas excepto la que corresponde al sumando para
n = 1. Por tanto
_
C(a,r)
f(z) dz =

_
n=k
_
C(a,r)
c
n
(z a)
n
dz =
_
C(a,r)
c
1
za
dz = 2ic
1
.
Deducimos que
c
1
=
1
2i
_
C(a,r)
f(z) dz = Res(f(z), a).
Lo interesante es que podemos calcular c
1
= d
k1
derivando. Pues
c
1
=
g
(k1)
(a)
(k1)!
=
1
(k1)!
lim
za
d
dz
k1
_
(z a)
k
f(z)
_
.
Hay que calcular el lmite indicado porque al evaluar la derivada
d
dz
k1
[(za)
k
f(z)] en el punto
a suele aparecer una indeterminacin.
c) Supongamos, nalmente, que a es una singularidad esencial de f. Entonces se prueba que es
posible representar a la funcin f por medio de una serie del tipo siguiente.
f(z) =

_
n=
c
n
(z a)
n
, z D(a, r) \ a (6.3)
donde hay innitos coecientes c
n
distintos de cero. Razonando igual que antes tambin se
obtiene en este caso que c
1
= Res(f(z), a). Aunque ahora no disponemos de una forma para
calcular c
1
que no sea obtener el desarrollo 6.3.
Denicin 6.15. Una serie del tipo
k=n
_
k=n
c
k
(z a)
k
se dice que es una serie de Laurent centrada
Serie de Laurent
en a. Dichas series son una generalizacin de las series de potencias. Cuando dicha serie converge
el lmite se nota por
lim
n
n
_
k=n
c
k
(z a)
k
=
+
_
n=
a
n
(z a)
n
.
Usaremos la notacin A(a; r, R) para indicar el anillo abierto de centro a radio interior r y radio
exterior R donde 0 r < R +.
A(a; r, R) = z C : r < z a < R .
El siguiente resultado es una generalizacin del teorema de Taylor.
Teorema 6.16. Sean 0 r < R +, a C y f una funcin holomorfa en el anillo A(a; r, R). Desarrollo en serie
de Laurent
Entonces hay una nica serie de Laurent centrada en a vericando que
f(z) =
+
_
n=
c
n
(z a)
n
, para todo z A(a; r, R).
Adems los coecientes de la serie vienen dados por:
c
n
=
1
2i
_
C(a,)
f(w)
(wa)
n+1
dw, n Z
siendo r < < R.
Aplicaciones . . . Frmula de Cauchy. Teorema de los residuos
58
Polos de cocientes de funciones holomorfas
a) En muchas ocasiones la funcin que integramos viene dada como cociente de dos funciones
holomorfas f(z) =
g(z)
h(z)
donde suponemos que g, h son funciones holomorfas en un abierto .
En tal caso las nicas posibles singularidades de f son los ceros de h. Supongamos que a
y que la funcin h y sus derivadas hasta la de orden k1 se anulan en el punto a y la derivada
de orden k de h es distinta de cero en a (se dice entonces que h tiene un cero de orden k en
a). Supongamos tambin que g(a) 0. Entonces, en virtud del Teorema de Taylor, podemos
escribir para z D(a, r) :
h(z) =

_
n=0
h
(n)
(a)
k!
(z a)
n
=

_
n=k
h
(n)
(a)
k!
(z a)
n
=(z a)
k

_
n=k
h
(n)
(a)
k!
(z a)
nk
.
Poniendo para z D(a, r) (z) =

n=k
h
(n)
(a)
k!
(za)
nk
, la funcin es holomorfa en D(a, r)
y (a) 0. Deducimos que
lim
za
(z a)
k
f(z) = lim
za
g(z)
(z)
=
g(a)
(a)
0
por lo que f tiene en a un polo de orden k.
b) Supongamos que lim
za
(za)f(z) = w, entonces se verica que Res(f(z), a) = w. En particular,
supongamos que f(z) =
g(z)
h(z)
donde g, h son funciones holomorfas en un abierto , y supone-
mos que g(a) 0 y h tiene un cero simple, es decir, de orden 1 en a. Entonces, segn acabamos
de ver, f tiene un polo simple, es decir, de orden 1 en a. Entonces tenemos que
Res(f(z), a) = lim
za
(z a)
g(z)
h(z)
= g(a) lim
za
za
h(z)
=
g(a)
h

(a)
.
6.4 Aplicaciones del teorema de los residuos al clculo de integrales
6.4.1 Integrales del tipo
_

R(cos(t), sen(t)) dt
Suponemos que R es una funcin racional de dos variables continua en la circunferencia unidad.
La idea para calcular esta integral por el mtodo de residuos es convertirla en una integral sobre
C(0, 1) de una funcin compleja que tambin va a ser racional. Para ello recordemos que
sen(t) =
e
it
e
it
2i
=
e
2it
1
2ie
it
, cos(t) =
e
it
+e
it
2
=
e
2it
+1
2e
it
.
Por tanto, se verica que
_
C(0,1)
R
_
z
2
+1
2z
,
z
2
1
2iz
_
1
iz
dz =
_

R(cos(t), sin(t)) dt.

En consecuencia, si notamos f(z) = R
_
z
2
+1
2z
,
z
2
1
2iz
_
1
iz
, tenemos que f(z) es una funcin racional
por lo que sus nicas posibles singularidades son polos. Para calcular la integral slo nos interesan
los polos que estn dentro del disco unidad. Supongamos que estos son
_
z
1
, z
2
, . . . , z
q
_
. El teorema
de los residuos nos dice que
Frmula de Cauchy. Teorema de los residuos Aplicaciones . . .
59
_

R(cos(t), sin(t)) dt = 2i
q
_
j=1
Res(f(z), z
j
).
Ejemplo 6.17. Se trata de calcular la integral I =
_

1
5+4cos(t)
dt. Segn acabamos de ver
I =
_
C(0,1)
1
5 +2
z
2
+1
z
1
iz
dz =
1
i
_
C(0,1)
1
2z
2
+5z+2
dz =
1
i
_
C(0,1)
1
(2z+1)(z+2)
dz.
Por tanto
I =
1
i
2i Res
_
1
(2z+1)(z+2)
,
1
2
_
= 2 lim
z1/2
(z +1/2)
1
(2z+1)(z+2)
= lim
z1/2
1
(z+2)
=
2
3
.
6.4.2 Integrales del tipo
_
+

P(x)
Q(x)
dx
Suponemos que
a) P y Q son funciones polinmicas sin factores comunes.
b) grado(Q) grado(P) +2.
c) Q(x) 0 para todo x R.
En estas condiciones si z
1
, z
2
, . . . , z
q
es el conjunto de los ceros del polinomio Q que estn en el
semiplano superior se verica que
_
+

P(x)
Q(x)
dx = 2i
q
_
j=1
Res
_
P(z)
Q(z)
, z
j
_
.

+i +i i

3
Ilustracin 6.3 (, , )
Para ello vamos a aplicar el teorema de los residuos a la
funcin f(z) =
P(z)
Q(z)
en el abierto = C. Sea la po-
ligonal (, , ) = [, , + i, + i, ] donde
, y son nmeros positivos que tomamos suciente-
mente grandes para que todos los ceros del polinomio Q
que estn en el semiplano superior queden en el interior
del rectngulo de modo que Ind
(,,)
(z
j
) = 1 para
1 j q.
El teorema de los residuos nos dice que
_
(,,)
P(z)
Q(z)
dz = 2i
q
_
j=1
Res
_
P(z)
Q(z)
, z
j
_
.
Observa que en esta igualdad el lado de la derecha es independiente de , y . Por tanto, ser
suciente para nuestros propsitos probar que cuando , y tienden hacia + se verica que
lim
,,
_
(,,)
P(z)
Q(z)
dz =
_
+

P(x)
Q(x)
dx.
Por la hiptesis sobre los grados de los polinomios P y Q se tiene que existen nmeros K > 0 y
M > 0 tales que
z K =

f(z)

P(z)
Q(z)

M
z
2
. (6.4)
Aplicaciones . . . Frmula de Cauchy. Teorema de los residuos
60
En lo que sigue, suponemos que , y son mayores que K.
Pongamos ahora
1
= [, + i],
2
= [ + i, + i] y
3
= [ + i, ] (ver gura 6.3) y
notamos I
k
=
_

k
f(z) dz. Tenemos
2i
q
_
j=1
Res
_
P(z)
Q(z)
, z
j
_
=
_
(,,)
P(z)
Q(z)
dz =
_

P(x)
Q(x)
dx +I
1
+I
2
+I
3
As,

2i
q
_
j=1
Res
_
P(z)
Q(z)
, z
j
_

P(x)
Q(x)
dx

I
1
+I
2
+I
3
. (6.5)
Acotamos ahora I
1
. Para z [, +i]

tenemos que z = +it para t [0, ]. Adems, como es

> K ser z K por lo que, en virtud de la desigualdad 6.4, se tiene que

f(z)

f( +it)

2
+t
2
.
Por tanto,
I
1
=

0
f( +it)i dt

f( +it)

dt
_

0
M

2
+t
2
dt =
M

_
arctan
_
t

__
t=
t=0

M

2
.
La integral I
3
se acota de la misma forma, resultando I
3

M

2
.
Por ltimo, para acotar I
2
se usa que para z [ + i, + i]

tenemos, por ser > K, que

z K por lo que, en virtud de la desigualdad (6.4), se tiene que

f(z)

M
z
2
. Por tanto
I
2
=

_
[+i,+i]
f(z) dz

f(t +i)

dt
_

M
t
2
+
2
dt (+)
M

2
.
En vista de (6.5) y de las acotaciones anteriores se tiene que

2i
q
_
j=1
Res
_
P(z)
Q(z)
, z
j
_

P(x)
Q(x)
dx

2
+
M

2
+(+)
M

2
.
Como en esta desigualdad la parte de la izquierda no depende para nada de podemos jar y
y tomar lmite cuando + con lo que obtenemos

2i
q
_
j=1
Res
_
P(z)
Q(z)
, z
j
_

P(x)
Q(x)
dx

2
_
M

+
M

_
. (6.6)
Tomando ahora lmite para + y + en la expresin de la derecha, se obtiene que la
funcin
P(x)
Q(x)
es impropiamente integrable en R y adems
_
+

P(x)
Q(x)
dx = 2i
q
_
j=1
Res
_
P(z)
Q(z)
, z
j
_
.
Observa que la acotacin (6.6) proporciona una cota del error que se comete al aproximar la integral
_
+

P(x)
Q(x)
dx por una integral parcial
_

P(x)
Q(x)
dx.
Ejemplo 6.18. Queremos calcular la integral
I =
_
+

1
(x
2
+a
2
)(x
2
+b
2
)
dx
Frmula de Cauchy. Teorema de los residuos Aplicaciones . . .
61
donde suponemos que a > 0 y b > 0 son distintos. La funcin que integramos tiene dos polos
simples en el semiplano superior en los puntos ia, ib. Segn acabamos de ver
I = 2i Res
_
1
(z
2
+a
2
)(z
2
+b
2
)
, ia
_
+2i Res
_
1
(z
2
+a
2
)(z
2
+b
2
)
, ib
_
.
Tenemos que
Res
_
1
(z
2
+a
2
)(z
2
+b
2
)
, ia
_
= lim
zia
(z ia)
1
(zia)(z+ia)(z
2
+b
2
)
= lim
zia
1
(z+ia)(z
2
+b
2
)
=
1
2i a(b
2
a
2
)
.
Anlogamente Res
_
1
(z
2
+a
2
)(z
2
+b
2
)
, ib
_
=
1
2ib(a
2
b
2
)
. Luego
I = 2i
_
1
2ia(b
2
a
2
)
+
1
2ib(a
2
b
2
)
_
=

ab(a+b)
.
6.4.3 Integrales del tipo
_
+

e
ix
P(x)
Q(x)
dx
Suponemos que
a) P y Q son funciones polinmicas sin factores comunes y > 0.
b) grado(Q) grado(P) +1.
c) Q(x) 0 para todo x R.
En estas condiciones si z
1
, z
2
, . . . , z
q
es el conjunto de los ceros del polinomio Q que estn en el
semiplano superior se verica que
_
+

e
ix
P(x)
Q(x)
dx = 2i
q
_
j=1
Res
_
e
iz
P(z)
Q(z)
, z
j
_
.

+i +i i

3
Ilustracin 6.4 (, , )
Para ello vamos a aplicar el teorema de los residuos a la
funcin f(z) =
e
iz
P(z)
Q(z)
en el abierto = C. Sea la po-
ligonal (, , ) = [, , + i, + i, ] donde
, y son nmeros positivos que tomamos suciente-
mente grandes para que todos los ceros del polinomio Q
que estn en el semiplano superior queden en el interior
del rectngulo de modo que Ind
(,,)
(z
j
) = 1 para
1 j q.
El teorema de los residuos nos dice que
_
(,,)
e
iz
P(z)
Q(z)
dz = 2i
q
_
j=1
Res
_
e
iz
P(z)
Q(z)
, z
j
_
.
Observa que en esta igualdad el lado de la derecha es independiente de , y . Por tanto, ser
suciente para nuestros propsitos probar que cuando , y tienden hacia + se verica que
lim
,,
_
(,,)
e
iz
P(z)
Q(z)
dz =
_
+

e
ix
P(x)
Q(x)
dx.
Por la hiptesis sobre los grados de los polinomios P y Q se tiene que existen nmeros K > 0 y
M > 0 tales que
z K =

P(z)
Q(z)

M
z
(6.7)
En lo que sigue, suponemos que , y son mayores que K.
Aplicaciones . . . Frmula de Cauchy. Teorema de los residuos
62
Pongamos ahora
1
= [, + i],
2
= [ + i, + i] y
3
= [ + i, ] (ver gura 6.4) y
notamos I
k
=
_

k
f(z) dz. Tenemos
2i
q
_
j=1
Res
_
e
iz
P(z)
Q(z)
, z
j
_
=
_
(,,)
e
iz
P(z)
Q(z)
dz =
_

e
ix
P(x)
Q(x)
dx +I
1
+I
2
+I
3
As,

2i
q
_
j=1
Res
_
e
iz
P(z)
Q(z)
, z
j
_

e
ix
P(x)
Q(x)
dx

I
1
+I
2
+I
3
. (6.8)
Acotamos ahora I
1
. Para z [, +i]

tenemos que z = +it para t [0, ]. Adems, como es

> K ser z K por lo que, en virtud de la desigualdad (6.7), se tiene que

P(z)
Q(z)

P(+it)
Q(+it)

M
+it

M

.
Adems

e
i(+it)

= e
t
. Por tanto,
I
1
=

0
f( +it)i dt

f( +it)

dt
_

0
Me
t

dt =
M

_
e
t

_
t=
t=0
=
M

1e

.
La integral I
3
se acota de la misma forma, resultando I
3

M

.
Por ltimo, para acotar I
2
se usa que para z [ + i, + i]

tenemos, por ser > K, que

z K por lo que, en virtud de la desigualdad (6.7), se tiene que

f(z)

M
z

M

. Adems, para
z [ +i, +i]

es Im(z) = . Por tanto

e
iz

= e

. Deducimos que
I
2
=

_
[+i,+i]
f(z) dz

f(t +i)

dt
_

Me

dt = (+)
M

.
En vista de (6.8) y de las acotaciones anteriores se tiene que

2i
q
_
j=1
Res
_
e
iz
P(z)
Q(z)
, z
j
_

e
ix
P(x)
Q(x)
dx

+
M

+(+)
M

.
Como en esta desigualdad la parte de la izquierda no depende para nada de podemos jar y
y tomar lmite cuando + con lo que, teniendo en cuenta que > 0, obtenemos

2i
q
_
j=1
Res
_
e
i z
P(z)
Q(z)
, z
j
_

e
ix
P(x)
Q(x)
dx

_
M

+
M

_
. (6.9)
Tomando ahora lmite para + y + en la expresin de la derecha, se obtiene que la
funcin
e
ix
P(x)
Q(x)
es impropiamente integrable en R y adems
_
+

e
ix
P(x)
Q(x)
dx = 2i
q
_
j=1
Res
_
e
iz
P(z)
Q(z)
, z
j
_
.
Observa que la acotacin (6.9) proporciona una cota del error que se comete al aproximar la integral
_
+

e
ix
P(x)
Q(x)
dx por una integral parcial
_

e
ix
P(x)
Q(x)
dx.
Ejemplo 6.19. Calcular la integral I =
_
+

cos(x)
a
2
+x
2
dx.
Frmula de Cauchy. Teorema de los residuos Aplicaciones . . .
63
Suponemos que a > 0 y > 0. Como I = Re
_
_
+

e
ix
a
2
+x
2
dx
_
, calcularemos J =
_
+

e
ix
a
2
+x
2
dx.
Segn acabamos de ver, teniendo en cuenta que la funcin
1
a
2
+z
2
solamente tiene un polo simple
en el semiplano superior en el punto ai, se sigue que
J =2i Res
_
e
iz
a
2
+z
2
, i
_
= 2i lim
zai
(z ai)
e
iz
a
2
+z
2
=2i lim
zai
(z ai)
e
iz
(zai)(z+ai)
=
e
a
a
= I =
e
a
a
.
6.4.4 Integrales del tipo
_
+

sen(x)P(x)
xQ(x)
dx
Suponemos que
a) P y Qson funciones polinmicas con coecientes reales sin factores comunes, P(0) 0, y > 0.
b) grado(Q) grado(P).
c) Q(x) 0 para todo x R.
En estas condiciones si z
1
, z
2
, . . . , z
q
es el conjunto de los ceros del polinomio Q que estn en el
semiplano superior se verica que
_
+

sen(x)P(x)
xQ(x)
dx = Im
_
_
2i
q
_
j=1
Res
_
e
iz
P(z)
zQ(z)
, z
j
_
+i Res
_
e
iz
P(z)
zQ(z)
, 0
_
_
_
.
La forma de proceder es muy parecida a la anterior con una pequea diferencia y es que ahora
consideraremos el camino de integracin (, , , ) que puedes ver en la gura 6.5.

+i +i i

Ilustracin 6.5 (, , , )
Procediendo como en el caso anterior, considerando aho-
ra la funcin f(z) =
e
iz
P(z)
zQ(z)
teniendo en cuenta que
Ind
(,,,)
(0) = 0, el teorema de los residuos nos di-
ce que
_
(,,,)
e
iz
P(z)
zQ(z)
dz = 2i
q
_
j=1
Res
_
e
iz
P(z)
zQ(z)
, z
j
_
.
Las acotaciones que hemos obtenido antes en los seg-
mentos
1
,
2
y
3
siguen siendo vlidas (observa que grado(zQ(z)) grado(P(z)) + 1) por lo
que obtenemos fcilmente la siguiente acotacin anloga a la acotacin (6.9) del caso anterior:

2i
q
_
j=1
Res
_
f(z), z
j
_

f(x) dx
_

f(z) dz
_

f(x) dx

_
M

+
M

_
. (6.10)
Tomando en esta desigualdad lmites para + y + se deduce que
2i
q
_
j=1
Res
_
f(z), z
j
_

f(z) dz =
_

f(x) dx +
_
+

f(x) dx. (6.11)

Sea w = Res(f(z), 0) = lim
z0
z, f(z) =
P(0)
Q(0)
. Teniendo en cuenta el sentido de recorrido de

tenemos que
_

f(z) dz +iw =
_

0
_
f(e
it
)
w
e
it
_
ie
it
dt.
Como

f
_
e
it
_

w
e
it

=
1

e
it
f
_
e
it
_
w

, deducimos que
Aplicacin . . . a la suma de series Frmula de Cauchy. Teorema de los residuos
64

f(z) dz +iw

e
it
f(e
it
) w

dt max
_

zf(z) w

: z =
_
y como lim
z0
(zf(z) w) = 0, se sigue que lim
0
max
_

zf(z) w

: z =
_
= 0. Hemos probado as
que
lim
0
_

f(z) dz = iw = i Res(f(z), 0).

Teniendo en cuenta la igualdad (6.11) deducimos que
lim
0
_
_

f(x) dx +
_
+

f(x) dx
_
= 2i
q
_
j=1
Res
_
f(z), z
j
_
+i Res(f(z), 0). (6.12)
Tomando ahora partes imaginarias y teniendo en cuenta que P y Q tienen coecientes reales
Im
_
_

f(x) dx +
_
+

f(x) dx
_
=
_

sen(x)P(x)
xQ(x)
dx +
_
+

sen(x)P(x)
xQ(x)
dx
y teniendo en cuenta tambin que la funcin x
sen(x)P(x)
xQ(x)
es continua en x = 0 sin ms que
denirla en 0 igual a
P(0)
Q(0)
por lo que
lim
0
_
_

sen(x)P(x)
xQ(x)
dx +
_
+

sen(x)P(x)
xQ(x)
dx
_
=
_
+

sen(x)P(x)
xQ(x)
dx
concluimos que
_
+

sen(x)P(x)
xQ(x)
dx = Im
_
_
2i
q
_
j=1
Res
_
f(z), z
j
_
+i Res(f(z), 0)
_
_
.
Ejemplo 6.20.
_
+

sen(x)
x
dx = Im
_
i Res
_
e
iz
z
, 0
__
= Im
_
i lim
z0
z
e
iz
z
_
= .
6.5 Aplicacin del teorema de los residuos a la suma de series
6.5.1 Series del tipo
+
_

P(n)
Q(n)
a) P y Q son funciones polinmicas sin factores comunes.
b) grado(Q) grado(P) +2.
c) Q(k) 0 para todo k Z.
En estas condiciones si z
1
, z
2
, . . . , z
q
es el conjunto de los ceros del polinomio Q se verica que
+
_

P(n)
Q(n)
=
q
_
j=1
Res
_
cotan( z)
P(z)
Q(z)
, z
j
_
.
Para probarlo consideremos la funcin cotan(z). Dicha funcin tiene un polo simple en cada
entero k Z y lim
zk
(z k) cotan(z) = 1.
Frmula de Cauchy. Teorema de los residuos Aplicacin . . . a la suma de series
65
Aplicamos el teorema de los residuos a la funcin f(z) = cotan(z)
P(z)
Q(z)
y al camino cerrado
(es un cuadrado)

n
= [(n+
1
2
)(1 i), (n+
1
2
)(1 i), (n+
1
2
)(1 +i), (n+
1
2
)(1 +i), (n+
1
2
)(1 i)]
y obtenemos para n sucientemente grande que
_

n
f(z) dz = 2i
_
_
n
_
k=n
Res(f(z), k) +
q
_
j=1
Res(f(z), z
j
)
_
_
. (6.13)
Como para k Z es
Res(f(z), k) = lim
zk
(z k) cotan(z)
P(z)
Q(z)
=
P(k)
Q(k)
lim
zk
(z k)
cos(z)
sen(z)
=
P(k)
Q(k)
cos(k) lim
zk
zk
sen(z)
=
P(k)
Q(k)
cos(k)
1
cos(k)
=
P(k)
Q(k)
y, en las hiptesis hechas, se comprueba que lim
n
_

n
f(z) dz = 0, deducimos de la igualdad (6.13)
que
lim
n
n
_
k=n
Res(f(z), k) = lim
n
n
_
k=n
P(k)
Q(k)
=
+
_

P(n)
Q(n)
=
q
_
j=1
Res
_
cotan(z)
P(z)
Q(z)
, z
j
_
.
Ejemplo 6.21. Sea > 0.
+
_

1
n
2
+
2
=Res
_
cotan(z)
1
z
2
+
2
, i
_
Res
_
cotan(z)
1
z
2
+
2
, i
_
=

+e

.
De donde

_
n=1
1
n
2
+
2
=
1
2
_

+e

2
_
.
Ahora deducimos que

_
n=1
1
n
2
= lim
0

_
n=1
1
n
2
+
2
= lim
0
1
2
_

+e

2
_
=

2
6
donde el ltimo lmite puede calcularse por la regla de LHpital.
6.5.2 Series del tipo
+
_

(1)
n
P(n)
Q(n)
Suponemos que
a) P y Q son funciones polinmicas sin factores comunes.
b) grado(Q) grado(P) +1.
c) Q(k) 0 para todo k Z.
En estas condiciones si z
1
, z
2
, . . . , z
q
es el conjunto de los ceros del polinomio Q se verica que
+
_

(1)
n P(n)
Q(n)
=
q
_
j=1
Res
_
cosec(z)
P(z)
Q(z)
, z
j
_
.
Ejercicios Frmula de Cauchy. Teorema de los residuos
66
6.6 Ejercicios
Ejercicio 6.1
Calcula la integral
_

e
z
dz
z(1z)
3
para = C(1/4, 1/2), = C(1, 1/2) y = C(2, 3).
Ejercicio 6.2
Calcula la integral
_

cos(z)
z
2
(z1)
para = C(0, 1/3), = C(1, 1/3) y = C(0, 2).
Ejercicio 6.3
Calcula
_
C(0,1)
sen(2z)
(z/4)
2
(z
2
+9)
dz.
Ejercicio 6.4
Calcula
_
C(0,r)
dw
(wa)(wb)
m
donde m N y b < r < a.
Ejercicio 6.5
Dado n N, calcula las siguientes integrales:
_
C(0,1)
sen(z)
z
n
dz ;
_
C(0,1)
e
z
e
z
z
n
dz ;
_
C(1,
1
2
)
log(z)
z
n
dz.
Ejercicio 6.6
Sean a, b C tales que a < b. Obtngase el desarrollo en serie de Laurent de la funcin
f(z) =
1
(za)(zb)
, con z C \ a, b en cada uno de los anillos :
a) A(0; a , b),
b) A(0; b , +),
c) A(a; 0, b a) y
d) A(a; b a , +).
Ejercicio 6.7
Obtngase el desarrollo en serie de Laurent de la funcin f(z) =
1
(z
2
1)
2
con z C \ 1, 1 en
los anillos A(1; 0, 2) y A(1; 2, +).
Ejercicio 6.8
Clasicar las singularidades de las funciones f : C siguientes:
a) f(z) =
1cos(z)
z
n
= C

(n N),
b) f(z) = z
n
sen
_
1
z
_
= C

(n N),
c) f(z) =
log(1+z)
z
2
= C \ x R : x 1,
Frmula de Cauchy. Teorema de los residuos Ejercicios
67
d) f(z) =
1
z(1e
2iz
)
= C \ Z,
e) f(z) =
z
tan(z)
= C \ Z.
Ejercicio 6.9
Prueba, usando el teorema de los residuos, que para 0 < b < a se tiene:
_

0
sen
2
(t)
a+bcos(t)
dt =

b
2
_
a
_
a
2
b
2
_
.
68
Series de Fourier Introduccin
69
Series de Fourier
7
7.1 Introduccin
Los sucesos que se repiten con una cierta periodicidad son relativamente comunes en la naturaleza.
Piensa, por ejemplo, en las olas en el mar, las estaciones a lo largo del ao, la transmisin del
sonido, el pndulo de un reloj, las seales electromagnticas emitidas por una antena, etc. Tambin
podemos jarnos en fenmenos que dependen de ms variables como las sombras que se producen
con la difraccin de un par de haces de luz. Aunque todos estos sistemas sean ms o menos cclicos,
esto no quiere decir que sean fciles de describir o modelar.
Las series de Fourier y la transformada de Fourier han jugado y continan jugando un papel fun-
damental en el estudio de estos problemas y el desarrollo de las Matemticas tal y como hoy las
conocemos.
El problema de la representacin de una funcin mediante una suma, posiblemente innita, de fun-
ciones sinusoidales surge en el siglo XVIII de la mano de numerosos cientcos como DAlembert,
D. Bernoulli o Fourier entre otros, para intentar resolver ecuaciones diferenciales asociadas a fe-
nmenos fsicos como el movimiento de una cuerda o la transmisin del calor.
A la hora de estudiar fenmenos peridicos tenemos dos frentes abiertos. Por un lado es necesario
un conocimiento de las leyes fsicas que gobiernan el sistema que queremos modelar, ya se trate
del movimiento de un uido para estudiar las olas del mar o cal es la relacin entre la electricidad,
el magnetismo, voltajes, resistencias y lo que sea necesario para estudiar una seal elctrica. En
este punto no vamos a entrar aunque a veces en los ejemplos aparezca algunas de estas leyes. A
nosotros nos interesa ms el aspecto matemtico del problema. Cmo podemos describir uno de
estos sistemas? El principio que vamos a aplicar es el de divide y vencers. Intentaremos describir
el problema en trminos sencillos utilizando senos y cosenos y despus combinaremos funciones
de este tipo para obtener sistemas ms complicados.
7.2 Fenmenos peridicos
Denicin 7.1. Una funcin f es peridica con periodo T (o T-peridica) si existe un nmero Funcin peridica
T > 0 tal que f(t) = f(t +T), para todo t. Al menor valor de T se le llama periodo de f (tambin
lo llamaremos periodo fundamental o mnimo para distinguirlo del resto).
Observacin 7.2. Las funciones constantes son peridicas con periodo fundamental cero da-
do que son peridicas con cualquier periodo. Si nos olvidamos de este caso, todas las funciones
continuas y peridicas tienen un periodo fundamental T positivo.
Obsrvese que si f(t) = f(t + T), entonces f(t) = f(t + nT) para cualquier entero n. Dicho de
otra forma, si T es un periodo de f, tambin lo es nT para cualquier n Z.
Ya conoces ejemplos de funciones peridicas: quizs los ms usuales sean las funciones de tipo
sinusoidal como sen(x), cos(3x+1) o sen(2x) +cos(x). Las funciones sen(x) y cos(x) son peri-
dicas con periodo 2. Las funciones sen(2x) y cos(2x) tambin son peridicas pero su periodo
fundamental es . En general las funciones del tipo
Fenmenos peridicos Series de Fourier
70
sen(nt +), cos(nt +)
son peridicas con periodo fundamental T =
2

.
Observacin 7.3. En un primer vistazo parece claro que si la grca de una funcin se repite cada La suma de fun-
ciones peridi-
cas es peridica?
vez que avanzamos T
1
unidades y la de la segunda funcin se repite cada T
2
unidades, entonces
la suma de ambas funciones tambin se acabar repitiendo.
Si miramos un poco ms despacio e intentamos buscar el periodo T de la suma de dos funciones
peridicas f y g, debera vericarse que
f(x) +g(x) = (f +g)(x) = (f +g)(x +T) = f(x +T) +g(x +T)
De esto se deduce que T es un periodo de f y g y por tanto, T debe ser mltiplo entero de T
1
y
T
2
. No es difcil comprobar que si T
1
, T
2
Q, entonces no hay ningn problema. Pero, en general,
la suma de dos funciones peridicas no es una funcin peridica: por ejemplo cos(t) +cos(

2t).
Funciones sinusoidales
Uno de los ejemplos ms clsicos de comportamiento peridico y que, probablemente, recordars
de tus clases de Fsica es el oscilador armnico. Se trata de describir el movimiento de un peso
colgado de un muelle. Dicho movimiento viene descrito por una funcin de la forma:
Asen(2t +).
A representa la amplitud, es la frecuencia medida en ciclos por segundo (Herzios) y la fase
es . Se suele usar tambin el nombre de frecuencia angular para referirse a
2

. Se comprueba
fcilmente que el periodo de esta funcin es T =
1

:
Asen
_
2(t +
1

) +
_
=Asen
_
2t +2
1

+
_
=Asen(2t ++2)
=Asen(2t +)
.
Si nos olvidamos de la fase, los ejemplos ms sencillos de funciones sinusoidales son las funciones
sen(x) y cos(x) que tienen perodo 2. Es fcil dar ejemplos de funciones que tengan perodo T:
es cuestin de encoger o estirar estas funciones. Las funciones sen(nx/T) y cos(nx/T) son
peridicas con perodo 2T y, por tanto, las funciones sen(2nx/T) y cos(2nx/T) son peridicas
con perodo T.

T
2
T
2
1
1
Ilustracin 7.1 Funciones peridicas
Aunque lo olvidemos a veces, las funciones cons-
tantes tambin son peridicas, de hecho con cual-
quier perodo.
Cuando intentamos describir fenmenos peridi-
cos algo ms complejos es necesario recurrir a com-
binaciones lineales de funciones sinusoidales de la
forma anterior, esto es, funciones del tipo
N
_
n=1
A
n
sen(n+
n
),
N
_
n=1
B
n
cos(n+
n
)
o sumas de ambas.
Para trabajar con funciones de esta clase, se puede retocarlas un poco para obtener periodo
uno. Ya veremos como un simple cambio de variable nos permitir pasar a intervalos cualesquiera
cuando sea necesario. En este caso tendramos sumas del tipo
Series de Fourier Un poco de historia
71
N
_
n=1
A
n
sen(2nt +
n
)
Esta forma de escribir sumas trigonomtricas tiene la ventaja de presentar de forma explcita la
amplitud, frecuencia y fase. El inconveniente es la dicultad del clculo de dichos coecientes. La
forma usual de escribir una suma trigonomtrica es
a
0
2
+
N
_
n=1
[a
n
cos(2nt) +b
n
sen(2nt)]
Pronto entenders que el motivo para aadir la constante
a
0
2
es una cuestin de comodidad en la
notacin.
Denicin 7.4. Un polinomio trigonomtrico con periodo T y frecuencia = 2/T es una Polinomio trigono-
mtrico
funcin de la forma
f(t) =
1
2
a
0
+
N
_
n=1
[a
n
cos(nt) +b
n
sen(nt)] .
Los coecientes a
n
y b
n
se llaman coecientes de Fourier del polinomio y N es el grado de dicho
polinomio.
El motivo de llamar polinomios a funciones de este tipo es que sen(nt) y cos(nt) se puede
expresar como sumas y potencias de sen(t) y cos(t) usando que
sen(2t) = 2sen(t) cos(t) y cos(2t) = cos
2
(t) sen
2
(t).
Si f(t) =
1
2
a
0
+

N
n=1
[a
n
cos(nt) +b
n
sen(nt)] es un polinomio trigonomtrico, f es una
funcin T-peridica. Adems, si tomamos

n
=
_
a
2
n
+b
2
n
y
n
= arctan
_

b
n
a
n
_
(, ]
para n = 1, 2, . . . , N se tiene que a
n
cos(nt) +b
n
sen(nt) =
n
cos(nt +), con lo que
f(t) =
0
+
1
cos(t +
1
) +
2
cos(2t +
2
) +. . . +
N
cos(Nt +
N
)
donde 2
0
= a
0
.
A
1
cos(t +
1
) se le llama primer armnico o modo fundamental de vibracin, los coecientes

n
son las amplitudes y
n
son los ngulos de fase. Tambin se pueden escribir con senos en
lugar de cosenos utilizando que cos(x) = sen
_
x +

2
_
.
La expresin de un polinomio trigonomtrico en trminos de las amplitudes y las fases de sus
armnicos es muy intuitiva: nos dice que la funcin resultante consiste en superponer vibraciones
cos(nt +
n
) cuyas frecuencias son mltiplos enteros de la frecuencia del modo fundamental,
de mayor o menor amplitud y que van en fase (si
n
= 0), adelantadas (cuando
n
> 0, lo que
corresponde a deslizar la grca hacia la izquierda) o retrasadas (cuando
n
< 0, lo que corres-
ponde a deslizar la grca hacia la derecha) con respecto al armnico puro de la misma frecuencia
cos(nt).
7.3 Un poco de historia
7.3.1 La cuerda vibrante
A principios del siglo XVIII, el Clculo est rmemente establecido dentro las Matemticas y ya
ha demostrado su utilidad en la resolucin de numerosos problemas en Mecnica. Por ejemplo,
Un poco de historia Series de Fourier
72
Isaac Newton (1643-1727) lo ha utilizado para deducir las leyes de Kepler sobre el movimiento de
los planetas. Sin embargo, sus aplicaciones estn principalmente dirigidas a sistemas simples. Pro-
blemas ms complejos como el movimiento de muchos cuerpos, el estudio de uidos, de cuerpos
elsticos o de vibraciones requeran tcnicas ms elaboradas.
El problema del movimiento de una cuerda elstica sujeta por sus extremos era uno de los que ms
interesaban a los cientcos de aquel tiempo. Los medios continuos se modelaban con un nmero
nito de partculas n y despus se haca tender n a innito. En el problema de la cuerda vibrante se
pretende describir el movimiento de una cuerda sujeta por sus extremos. Tambin supondremos
que el peso de la cuerda es nulo, que la cuerda es elstica y que no hay friccin. Esta es la situacin,
por ejemplo, que se presenta cuando consideramos las cuerdas de un piano de cola donde la masa
es despreciable en comparacin con la tensin que soporta.
Johann Bernoulli (1667-1748) estudi este problema en su versin simplicada con una cuerda que
constaba de 8 partculas. En 1747, Jean le Rond dAlembert (1717-1783), utilizando el caso discreto
general con n partculas y tomando lmites, dedujo que se deba vericar la ecuacin diferencial

2
u
t
2
(x, t) = c
2
2
u
x
2
(x, t),
donde c =
_
T/M, T es la tensin de la cuerda y M su masa. Ms concretamente, supongamos que
tenemos una cuerda de longitud , con los extremos jos en (0, 0), (, 0). Se tira de la cuerda
hasta que tenga la forma dada por la curva y = f(x) y se suelta. La pregunta es cul es el
movimiento descrito por la cuerda? Dicho movimiento vendr dado por una funcin u(x, t), donde
u(x, t) representa el desplazamiento vertical en un punto x entre 0 y en un momento dado
t 0. En otras palabras, para un valor jo t, u(x, t) es la curva que representa la cuerda en dicho
momento. Nuestro problema es calcular u(x, t) a partir de f(x). Ms concretamente, la funcin u
debe vericar
_

2
u(x,t)
t
2
=

2
u(x,t)
x
2
, 0 < x < , t > 0
u(x, 0) = f(x)
u(x,0)
t
= 0 0 x
u(0, t) = u(L, t) = 0 t 0
(7.1)
La primera condicin es una ecuacin en derivadas parciales conocida como Ecuacin de ondas.
Las tres siguientes son condiciones sobre la posicin de la cuerda.
DAlembert demostr que la solucin general viene dada por
u(x, t) =
1
2
[(x +t) +(x t)]
donde y son funciones arbitrarias con derivadas de segundo orden continuas. Utilizando la
condicin inicial, obtuvo que la solucin tena la forma u(x, t) =
` f(x+ct)+` f(xct)
2
donde slo se
supona que
`
f era una extensin par y peridica de f. El hecho de que esta formula tenga sentido
sin ninguna hiptesis de regularidad de la funcin f planteaba serias dudas a DAlembert. Inde-
pendientemente, Euler tambin haba llegado a la misma conclusin, aunque ambos tenan serias
divergencias en cuanto a qu funciones se podan tomar como condicin inicial. Hay que tener
en cuenta que el concepto de funcin, tal y como hoy lo conocemos, no estaba nada claro. Como
ejemplo, las funciones denidas a trozos no eran aceptadas como funciones por DAlembert y s
por Euler.
En 1753, Daniel Bernoulli, junto con su padre Johann Bernoulli y su to paterno Jakob, propone otra
manera distinta de obtener una solucin del problema motivada por sus estudios en Acstica. La
idea consiste en descomponer la solucin u(x, t) como suma de funciones simples de la forma
Series de Fourier Un poco de historia
73
u(x, t) =

_
n=1
a
n
sen(nx) cos(nt).
De nuevo hay que observar que los conceptos de convergencia de series de funciones no estaban
planteados en aquel momento. A n de cuentas, el problema fsico estaba claro que tena solucin y
por tanto la suma deba tener sentido. Obsrvese tambin que si la solucin ofrecida por Bernoulli
fuese correcta se tendra que
f(x) = u(x, 0) =

_
n=1
a
n
sen(nx), x [0, ].
El hecho de que funciones de muy diverso tipo se pudieran expresar como suma de funciones
peridicas no fue compartido por sus colegas DAlembert y Euler. Veremos en este tema quin
estaba ms cerca de la verdad.
7.3.2 Difusin del calor
Medio siglo ms tarde, Joseph Fourier, matemtico y fsico francs, tom en cuenta las investigacio-
nes previas de Bernoulli para resolver otro problema. Al regresar a Francia de la campaa de Egipto
con Napolen, Fourier se interesa por la teora de conduccin del calor en los cuerpos slidos en
respuesta a un concurso promovido por la Academia de Ciencias de Pars.
Ms concretamente, el problema era el siguiente: se considera una varilla delgada de longitud ja,
L, cuyos extremos se mantienen a 0

C y cuyos laterales estn aislados. Si la temperatura inicial de

la varilla viene dada por la funcin f(x), cul ser la temperatura al cabo de un tiempo t?
Fourier demostr que, en condiciones apropiadas, si u(x, t) es la solucin debe vericar que
_

2
u(x,t)
x
2
=
1
K
u(x,t)
t
, 0 < x < L, 0 < t
u(0, t) = u(L, t) = 0, 0 t
u(x, 0) = f(x), 0 x L
(7.2)
La primera condicin es una ecuacin en derivadas parciales conocida como Ecuacin del calor.
La segunda condicin indica que la temperatura en los extremos se mantiene a 0

C siempre. La
ltima es la temperatura inicial de la varilla y K es una constante positiva que depende de las
propiedades termales de la barra.
Para buscar la solucin, Fourier supuso que era de la forma u(x, t) = f(x)g(t). Sustituyendo en
la ecuacin (7.2) obtenemos que
0 =

2
u
x
2

1
K
u
t
= f

(x)g(t)
1
K
f(x)g

(t).
Como la solucin u(x, t) = 0 no nos interesa, debe vericarse que f(x), g(t) 0 y, por tanto,
dividiendo en ambos lados por el producto f(x)g(t) y separando trminos en x de trminos en t
se llega a que:
f

(x)
f(x)
=
1
K
g

(t)
g(t)
.
Como ambos miembros dependen de variables distintas, la nica posibilidad es que ambos sean
constantes (ya veremos cunto vale dicha constante). Por ahora y por comodidad la denotaremos
:
f

(x)
f(x)
=
1
K
g

(t)
g(t)
= ,
Un poco de historia Series de Fourier
74
con lo que hemos transformado nuestra ecuacin original en dos ecuaciones diferenciales:
f

(x)
f(x)
= = f

(x) +f(x) = 0, (7.3)

y
1
K
g

(t)
g(t)
= = g

(t) +Kg(t) = 0. (7.4)

La ecuacin (7.4) ya la conoces y tiene como solucin general g(t) = ae
Kt
. Desde un punto de
vista fsico sera deseable que la temperatura de la barra fuera descendiendo al pasar el tiempo
para lo que debe ser positivo tambin. La solucin general de la ecuacin (7.3) tambin la conoces:
f(x) = a
1
sen
__
x
_
+a
2
cos
__
x
_
,
donde a
1
y a
2
son constantes. Combinando estas dos expresiones, tenemos que
u(x, t) = ae
Kt
_
a
1
sen
__
x
_
+a
2
cos
__
x
__
.
Para acabar de resolver el problema necesitaramos conocer los valores de a, a
1
, a
2
y y para esto
vamos a utilizar las condiciones que tenamos en la ecuacin del calor (7.2). En primer lugar,
u(0, t) = u(L, t) = 0 = f(0)g(t) = f(L)g(t) = 0, t > 0,
y como g(t) 0, se tiene que f(0) = f(L) = 0. Si sustituimos en la denicin de f,
0 = f(0) = a
1
sen
__
0
_
+a
2
cos
__
0
_
= 0 +a
2
= a
2
.
Si a
2
= 0, entonces a
1
debe ser distinto de cero para que f no sea constantemente cero. Adems
f(L) = 0, con lo que 0 = f(L) = a
1
sen
_

L
_
y por tanto

L debe ser un cero de la funcin seno:

_
L = n, n Z = =
n
2

2
L
2
=
n
.
En consecuencia, para cada entero n tenemos un posible valor de . Dicho de otra forma,
f(x) = a
1
sen
_
_

n
x
_
es solucin de f

(x) +
n
f(x) = 0, f(0) = f(L) = 0. Resumiendo, cualquier funcin de la forma
u
n
(x, t) = a
1
sen
_
nx
L
_
e
Kn
2

2
t
L
2
verica la ecuacin del calor y la primera condicin. Adems cualquier combinacin lineal tambin
las verica. Por tanto
u(x, t) =
N
_
n=1
b
n
u
n
(x, t) =
N
_
n=1
b
n
a
1
sen
_
nx
L
_
e
Kn
2

2
t
L
2
es la solucin ms general que tenemos hasta ahora.
Qu pasa con la segunda condicin del sistema? Si u(x, 0) = f(x), entonces f debe ser de la
forma
f(x) = u(x, 0) =
N
_
n=1
b
n
a
1
sen
_
nx
L
_
No es cierto que cualquier funcin se escriba de esta forma ni mucho menos. El acierto de Fourier
fue sustituir la suma nita por una suma innita. Ya habamos comentado que esta idea haba
Series de Fourier Series de Fourier
75
sido avanzada por Bernoulli en su solucin del problema de la cuerda vibrante. El paso dado por
Fourier en su libro sobre la teora del calor fue demostrar que, efectivamente, la serie innita era
convergente para convenientes coecientes y calcul su valor en numerosos casos.
La historia de las series de Fourier no acaba aqu. De hecho, continua hasta nuestros das. Las ideas
expuestas por Fourier suscitaron una gran cantidad de nuevas preguntas:
a) Qu funciones se pueden desarrollar de esta manera?
b) Cmo se calculan los coecientes?
c) En qu sentido se entiende la convergencia de la serie?
d) Cmo se recupera la funcin a partir del conocimiento de los coecientes?
e) Qu deben vericar los coecientes para que den lugar a una funcin?
f) . . .
7.4 Series de Fourier
El primer problema que tenemos que estudiar es cundo una funcin f con periodo T se puede
escribir de la forma
a
0
2
+
_
n1
[a
n
cos(n
0
t) +b
n
sen(n
0
t)] (7.5)
donde
0
= 2/T. A las series de funciones la forma (7.5), las llamaremos series trigonomtricas.
Hemos visto que la posibilidad de que una funcin peridica se pueda expresar como suma de
funciones peridicas ms sencillas, en este caso series trigonomtricas, tiene una gran repercusin
en la solucin del problema de la difusin del calor.
Cules sern estas funciones? Comencemos con una funcin f peridica con perodo T y notemos

0
= 2/T. Supongamos que se cumple que
f(t) = C +
_
n1
[a
n
cos(n
0
t) +b
n
sen(n
0
t)] (7.6)
Utilizando que
sen(x) cos(y) =
1
2
_
sen(x +y) +sen(x y)
_
, (7.7)
cos(x) cos(y) =
1
2
_
cos(x +y) +cos(x y)
_
, y
sen(x) sen(y) =
1
2
_
cos(x y) cos(x +y)
_
se obtiene lo siguiente.
Proposicin 7.5.
a)
_
T/2
T/2
cos(n
0
t) sen(m
0
t) dt = 0, n, m N,
b)
_
T/2
T/2
cos(n
0
t) cos(m
0
t) dt =
_
T/2, si m= n,
0, si m n
c)
_
T/2
T/2
sen(n
0
t) sen(m
0
t) dt =
_
T/2, si m= n,
0, si m n
d)
_
T/2
T/2
cos(n
0
t) dt =
_
T, si n = 0,
0, si n 0
e)
_
T/2
T/2
sen(n
0
t) dt = 0.
Series de Fourier Series de Fourier
76
Demostracin. Utilizando integracin por partes y las ecuaciones (7.7)
a)
_
T/2
T/2
cos(n
0
t) dt =
_
sen(n
0
t)
n
0
_
T/2
T/2
= 0.
b)
_
T/2
T/2
sen(n
0
t) dt =
_

cos(n
0
t)
n
0
_
T/2
T/2
= 0.
c)
_
T/2
T/2
cos
2
(n
0
t) dt =
1
2
_
T/2
T/2
(1 +cos(2n
0
t)) dt =
1
2
_
t +
sen(2n
0
t)
2n
0
_
T/2
T/2
= T/2.
d)
_
T/2
T/2
sen
2
(n
0
t) dt =
1
2
_
T/2
T/2
(1 cos(2n
0
t)) dt =
1
2
_
t
sen(2n
0
t)
2n
0
_
T/2
T/2
= T/2.
e)
_
T/2
T/2
sen(n
0
t) cos(m
0
t) dt =
1
2
_
T/2
T/2
_
sen
_
(n+m)
0
t
_
+sen
_
(nm)
0
t
__
dt = 0, pa-
ra n, m N.
Por ltimo, para n m,
f)
_
T/2
T/2
cos(n
0
t) cos(m
0
t) dt =
1
2
_
T/2
T/2
_
cos
_
(n+m)
0
t
_
+cos
_
(nm)
0
t
__
dt = 0, y
g)
_
T/2
T/2
sen(n
0
t) sen(m
0
t) dt =
1
2
_
T/2
T/2
_
cos
_
(nm)
0
t
_
cos
_
(n+m)
0
t
__
dt = 0.
Esto se suele resumir diciendo que las funciones sen(n
0
t) y cos(n
0
t) son ortogonales. Pero Funciones
ortogonales
no olvidemos que queramos calcular el valor de los coecientes C, a
n
y b
n
.
Si multiplicamos la igualdad (7.6) por cos(m
0
t) e integramos,
_
T/2
T/2
f(t) cos(m
0
t) dt =
_
T/2
T/2
_
_
C +

_
n=1
(a
n
cos(n
0
t) +b
n
sen(n
0
t))
_
_
cos(m
0
t) dt
=C
_
T/2
T/2
cos(m
0
t) dt +

_
n=1
a
n
_
T/2
T/2
cos(n
0
t) cos(m
0
t) dt
+

_
n=1
b
n
_
T/2
T/2
sen(n
0
t) cos(m
0
t) dt
de lo que obtenemos que
a
m
=
2
T
_
T/2
T/2
f(t) cos(m
0
t) dt,
para n = 1, 2, . . .
Si en lugar de multiplicar por cos(n
0
t), multiplicamos por sen(m
0
t), se obtiene que
b
n
=
2
T
_
T/2
T/2
f(t) sen(n
0
t) dt, n = 1, 2, . . .
Por ltimo, tambin podemos calcular C:
C =
1
T
_
T/2
T/2
f(t) dt =
1
T
_
T/2
T/2
f(t) cos(0
0
t) dt,
si ms que tener en cuenta que cos(0) = 1. Para tener una frmula similar al resto de coecientes
usaremos
a
0
= 2C =
2
T
_
T/2
T/2
f(t) dt,
con lo que
Series de Fourier Series de Fourier
77
a
m
=
2
T
_
T/2
T/2
f(t) cos(m
0
t) dt,
para n = 0, 1, 2, . . .
Denicin 7.6. Sea f : R R una funcin peridica con perodo T. Llamaremos coecientes de Coecientes de Fou-
rier
Fourier a los siguientes nmeros (si existen):
a
n
=
2
T
_
T/2
T/2
f(t) cos(n
0
t) dt, para n = 0, 1, 2, . . . , y
b
n
=
2
T
_
T/2
T/2
f(t) sen(n
0
t) dt, para n = 1, 2, . . . .
La serie de Fourier de la funcin f es Serie de Fourier
a
0
2
+

_
n=1
a
n
cos(n
0
t) +b
n
sen(n
0
t) .
Como an no conocemos la relacin entre f y su serie de Fourier usaremos la notacin
f(t)
a
0
2
+

_
n=1
a
n
cos(n
0
t) +b
n
sen(n
0
t)
Por ahora no sabemos si se da la igualdad. De hecho, ni siquiera sabemos la serie se pueda sumar.
Lo que s sabemos es que esta es la nica posibilidad para desarrollar f de esta manera.
Observacin 7.7.
a) Cualquier intervalo de longitud T puede jugar el mismo papel. Por ejemplo, podramos haber
tomado el intervalo [0, T].
b) Todas las funciones que han aparecido hasta ahora son peridicas con periodo la longitud del
intervalo y las hemos considerado denidas en el intervalo
_

T
2
,
T
2
_
(o en R). Esto puede acarrear
problemas cuando planteamos la cuestin de la siguiente manera: calcular los coecientes de
Fourier de la funcin f(x) = x + 1 en el intervalo
_

T
2
,
T
2
_
. Tal como est enunciado, la fun-
cin f no es peridica. Para que as fuera deberamos denir f
_

T
2
_
y f
_
T
2
_
con un mismo
valor. Ahora bien, a la hora de calcular los coecientes de Fourier, el valor de la integral en
un punto no inuye sobre su valor y por tanto la serie de Fourier que se obtiene es la misma
independientemente del valor de la funcin en los extremos.
Para que no se presente este problema, en muchos textos encontrars las funciones denidas
en
_

T
2
,
T
2
_
, en
_

T
2
,
T
2
_
o en
_

T
2
,
T
2
_
. Nosotros hemos optado por considerar siempre las
funciones en el intervalo cerrado o en todo R, pero hay que tener en cuenta que las funciones
tienen que ser peridicas. Por esto, aunque en algn problema no aparezca el valor de la funcin
en algunos puntos, sigue teniendo perfecto sentido el clculo de los coecientes de Fourier.
Si el desarrollo de Fourier de una funcin f es
a
0
2
+

_
n=1
a
n
cos(n
0
t) +b
n
sen(n
0
t)
a las funciones
a
0
2
, a
n
cos(n
0
t) + b
n
sen(n
0
t) se las suele llamar armnicos de f. En cierta
manera, los armnicos son los ladrillos de los que est hecha la funcin f. Tambin podemos
escribir a
n
cos(n
0
t) +b
n
sen(n
0
t) como un nico coseno:
a
n
cos(n
0
t) +b
n
sen(n
0
t) =
_
a
2
n
+b
2
n
cos(n
0
t +
n
),
donde
Series de Fourier Series de Fourier
78

n
=
_
arctan
_
b
n
a
n
_
, si a
n
0

2
, si a
n
= 0 .
La amplitud del n-simo armnico es
_
a
2
n
+b
2
n
y la fase es
n
.
Los coecientes de Fourier, la amplitud y el ngulo de fase son datos muy importantes a la hora de
representar una seal. Adems de la representacin usual de la seal como una funcin, podemos
representar las amplitudes (espectro discreto de amplitudes) o las fases (espectro discreto de fases)
cuando en el eje de abscisas representamos las frecuencias .
Ejemplo 7.8. Calcular la serie de Fourier de la funcin
f(x) =
_
0, si < x < /2
1, si /2 < x <
De acuerdo con la denicin de los coecientes de Fourier
a
0
=
1

/2
dx =
3
2
,
a
n
=
1

/2
cos(nx) dx =
sen(nx)
n
_

/2
=
sen
_
n
2
_
n
=
_
_
_
(1)
n1
2
n
, si n es impar
0, si n es par,
y
b
n
=
1

/2
sen(nx) dx =
cos(nx)
n
_

/2
=
cos(n)
n
+
cos
_
n
2
_
n
=
_
1
n
, si n es impar
1
n
[1 (1)
n/2
], si n es par
Por tanto,
f(x)
3
4
+
1

_
cos(x) +sen(x) sen(2x)
1
3
cos(3x) +
1
3
sen(3x) +. . .
_
=
3
4
+
1

_
n=1
1
2n1
_
(1)
n1
cos((2n1)x) +sen((2n1)x) sen((4n2)x)
_
Ejemplo 7.9. Sea f : [4, 6] R denida como
f(x) =
_
1, si 4 < x 5
2, si 5 < x 6
En este caso a = 5 y r = 1. Vamos a calcular sus coecientes de Fourier:
a
0
=
_
5
4
dx +
_
6
5
2dx = 3
Para n 1,
a
n
=
_
5
4
cos(n(x 5)) dx +
_
6
5
2cos(n(x 5)) dx = 0, y
b
n
=
_
5
4
sen(n(x 5)) dx +
_
6
5
2sen(n(x 5)) dx =
_
0, si n es par
2
n
, si n es impar
Por tanto f(x)
3
2
+
2

_
n1
1
2n1
sen[(2n1)(x 5)].
Series de Fourier Series de Fourier
79
Funciones pares e impares
Se puede simplicar el clculo de los coecientes de Fourier de una funcin f si sabemos que la
funcin es par o impar. Recordemos que una funcin es par si f(x) = f(x), y que es impar si
f(x) = f(x). Si la funcin es par su integral de 0 a
T
2
coincide con la de
T
2
a 0. Si es impar,
coincide salvo en el signo. Como el coseno es par y el seno es impar, la mitad de los coecientes
de Fourier valen cero (dependiendo de en qu caso estemos).
Proposicin 7.10. Sea f : [
T
2
,
T
2
] R.
a) Si f es par, entonces f(t)
a
0
2
+

n=1
a
n
cos(n
0
t), donde
a
n
=
4
T
_
T/2
0
f(x) cos(n
0
t) dt , n = 0, 1, 2, . . .
b) Si f es impar f(t)

n=1
b
n
sen(n
0
t), donde
b
n
=
4
T
_
T/2
0
f(t) sen(n
0
t) dt , n = 1, 2, 3, . . .
Ejemplo 7.11. La funcin f(x) = x en [, ] es impar. Por tanto, su serie de Fourier slo
tiene coecientes en senos.
b
n
=
2

0
x sen(nx) dx =
2

_
x
cos(nx)
n

0
+
_

0
cos(nx)
n
dx
_
=
2cos(n)
n
= 2
(1)
n+1
n
.
Por tanto, f(x)

_
n=1
2
(1)
n+1
n
sen(nx).
Extensiones peridicas de una funcin

2 3

2 3
3
6
Ilustracin 7.2 f(x) = x
2
Hay que recordar que estamos trabajando con funcio-
nes peridicas. Cuando consideramos una funcin f en
[, ], en realidad estamos trabajando con la exten-
sin 2-peridica de f a todo R. Esto hace que la idea
que tengamos de la continuidad o derivabilidad de la
funcin pueda inducirnos a error. Por ejemplo, la fun-
cin f(x) = x
2
en [, ] es continua pero no es de-
rivable en los extremos del intervalo. Un vistazo a su
grca (gura 7.2) puede dejarnos las cosas ms claras.
Fjate que cuando decimos la funcin x
2
en realidad es-
tamos diciendo: la funcin que vale x
2
en [, ] y que hemos extendido de forma 2-peridica.
Existen muchas formas de extender por periodicidad una funcin dada. Supongamos por ejemplo
que f es la identidad en [0, ], esto es f(x) = x, que tenemos en la gura 7.3. Entre otras, podemos
considerar entonces las funciones f
1
, f
2
, f
3
: [, ] R denidas por
f
1
(x) =
_
f(x +), si x < 0
f(x), si 0 x
f
2
(x) =
_
f(x), si x < 0
f(x), si 0 x
y f
3
(x) =
_
f(x), si x < 0
f(x), si 0 x
Series de Fourier Series de Fourier
80

2 2
f(x) = x Funcin f
1

2 2

2 2
Funcin f
2
Funcin f
3
Ilustracin 7.3 Extensiones peridicas de f(x) = x
y entonces extender cada una de ellas por periodicidad. Las propiedades de la representacin
trigonomtrica obtenida depende enormemente de la eleccin que se haga. Por ejemplo, como se
puede ver en las guras, la primera extensin no es continua en el origen, ni en ni en . En
cambio la segunda extensin s es continua en el origen aunque no derivable. La tercera extensin
es continua y derivable en el origen.
7.4.1 Series de Fourier complejas
En la primera parte del curso hemos visto que la notacin compleja es muchas veces ms adecuada.
ste es uno de esos casos. Recordemos que e
it
= cos(t) +i sen(t), de lo que se deduce que
cos(n
0
t) =
e
in
0
t
+e
in
0
t
2
, sen(t) =
e
in
0
t
e
in
0
t
2i
Si desarrollamos

_
n=
c
n
e
in
0
t
=c
0
+

_
n=1
c
n
e
in
0
t
+

_
n=1
c
n
e
in
0
t
=c
0
+

_
n=1
c
n
[cos(n
0
t) +i sen(n
0
t)] +

_
n=1
c
n
[cos(n
0
t) i sen(n
0
t)]
=c
0
+

_
n=1
[(c
n
+c
n
) cos(n
0
t) +i(c
n
c
n
) sen(n
0
t)]
Por tanto, tomando a
0
= 2c
0
, a
n
= c
n
+ c
n
y b
n
= i (c
n
c
n
) o c
0
=
a
0
2
, c
n
=
1
2
(a
n
ib
n
) y
c
n
=
1
2
(a
n
+ib
n
) se tiene que

_
n=
c
n
e
in
0
t
=
a
0
2
+

_
n=1
[a
n
cos(n
0
t) +b
n
sen(n
0
t)]
Series de Fourier Series de Fourier
81
Obsrvese que los coecientes c
n
son ahora nmeros complejos que verican c
n
= c
n
y, en
particular, c
n
= c
n
.
Tambin podramos haber calculado los coecientes de Fourier complejos utilizando el mismo
truco que usamos para calcular a
n
y b
n
, esto es, si suponemos que
f(t) =

_
n=
c
n
e
in
0
t
y que todo lo que aparece se puede integrar trmino a trmino. Multipliquemos ambos miembros
por e
k
0
t
e integramos. As se obtiene el valor de los coecientes c
n
Denicin 7.12. Sea f una funcin peridica con perodo T y frecuencia fundamental
0
=
2
T
.
Entonces los coecientes de Fourier complejos de f son Coecientes de Fou-
rier complejos
c
n
=
1
T
_
T/2
T/2
f(t)e
in
0
t
dt, para n Z.
Los coecientes de Fourier complejos los hemos calculado usando exponenciales complejas y pue-
den ser complejos. En segundo lugar, obsrvese que la denicin tiene perfecto sentido para fun-
ciones con valores complejos. De hecho, aunque nicamente armamos que f es una funcin
peridica, el enunciado completo sera
Sea f : R C una funcin peridica con perodo T . . .
Denicin 7.13. Sea f : R C una funcin peridica con perodo T y frecuencia fundamental

0
= 2/T. La serie de Fourier compleja de f es

_
n=
c
n
e
in
0
t
.
Observacin 7.14. Existe una gran cantidad de literatura sobre las series de Fourier. Quiz la
notacin ms usual para los coecientes de Fourier que el lector se puede encontrar

f(n) para
denotar a dichos coecientes, esto es,

f(n) = c
n
, con lo que
f(t)

_
n=

f(n)e
in
0
t
.
Ejemplo 7.15. Calcular la serie de Fourier compleja de la funcin f(t) = t, t ] , ].
Tenemos, en este caso, que T = 2 y
0
= 1. Para n = 0,
c
0
=
1
T
_
T/2
T/2
f(t) dt =
1
2
_

t dt = 0.
Para n 0,
c
n
=
1
T
_
T/2
T/2
f(t)e
in
0
t
dt =
1
2
_

te
in
0
t
dt
=
1
2in
_
_
te
int
_

e
int
dt
_
=
1
2in
_
e
in
+e
in
+
1
in
_
e
in
e
in
__
=
1
2in
_
2 cos(n)
2
n
sen(n)
_
=
1
in
cos(n)
=
i
n
(1)
n
.
Series de Fourier Series de Fourier
82
7.4.2 Algunas funciones tpicas
Ejemplo 7.16. Llamamos pulsos rectangulares a aquellas seales que son nulas salvo un Pulso rectangular
determinado intervalo de tiempo en el que son constantes. El ejemplo tpico es la funcin
f :
_

T
2
,
T
2
_
R
f(x) =
_
1, si x < a/2,
0, en otro caso,

T
2
T
2

a
2
a
2
1
Ilustracin 7.4 Pulso rectangular
donde a es un nmero real positivo y menor que T. Los coecientes de Fourier complejos de f
son
c
n
=
1
T
_
T/2
T/2
f(t)e
in
0
t
dt =
1
T
_
a/2
a/2
e
in
0
t
dt
=
_
1
T
e
in
0
t
in
0
_
a/2
a/2
=
2
Tn
0
_
e
in
0
a/2
e
in
0
a/2
2i
_
=
sen(n
0
a/2)
Tn
0
,
para n distinto de cero, y c
0
=
1
T
_
T/2
T/2
f(t) dt =
1
T
_
a/2
a/2
1dt =
a
T
.
Ejemplo 7.17. La funcin triangular peridica con periodo T est denida como Funcin triangular
f(x) =
_
1
t
a
, si t a,
0, para a t T/2.

T
2
T
2

a
2
a
2
1
1
Ilustracin 7.5 Triangular
Calculemos sus coecientes de Fourier.
c
n
=
1
T
_
T/2
T/2
f(t)e
in
0
t
dt
=
_
0
a
_
1 +
t
a
_
e
in
0
t
dt +
_
a
0
_
1
t
a
_
e
in
0
t
dt
=
2
T
_
a
0
_
1
t
a
_
cos(n
0
t) dt ( integramos por partes)
=
2
T
1
n
0
_
_
1
t
a
_
sen(n
0
t)

a
0
+
1
a
_
a
0
sen(n
0
t) dt
_
=
2(1cos(n
0
a))
n
2
w
2
0
aT
y usando que 1 cos(2x) = 2sen
2
(x), c
n
=
4sen
2
(n
0
a/2)
n
2

2
0
aT
.
Es inmediato comprobar que c
0
=
1
T
_
T/2
T/2
f(t) dt =
a
T
.
Ejemplo 7.18. La funcin diente est denida como f(t) =
2t
T
. Funcin diente
Series de Fourier Propiedades de las series de Fourier
83

T
2
T
2

3T
2
3T
2
1
1
Ilustracin 7.6 Dientes
Sus coecientes de Fourier complejos son
c
n
=
1
T
_
T/2
T/2
f(t)e
in
0
t
dt =
1
T
2
_
T/2
T/2
2te
in
0
t
dt =
i(1)
n
n
,
si n 0 y c
0
= 0.
7.5 Propiedades de las series de Fourier
Linealidad
Proposicin 7.19. Sean f y g funciones T-peridicas con coecientes de Fourier

f(n) y g(n). Sean
a y b nmeros complejos. Entonces, los coecientes de Fourier de af +bg son

(af +bg)(n) = a

f(n) +b g(n),
para cualquier nmero entero n.
Conjugacin
Proposicin 7.20. Sea f una funcin peridica con periodo T y coecientes de Fourier

f(n).
Entonces los coecientes de Fourier de la funcin conjugada son

f(n) =

f(n), n Z.
Podemos aplicar este resultado al estudio de los coecientes de Fourier de funciones reales. En
este caso f(t) = f(t) y por tanto c
n
= c
n
y, en particular, c
n
= c
n
, cosa que ya habamos
comentado con anterioridad.
Traslaciones
Qu pasa si movemos una funcin hacia la izquierda o la derecha? Qu repercusin tiene esto
en los coecientes de Fourier?
Proposicin 7.21. Sea f una funcin peridica con periodo T y coecientes de Fourier

f(n) y sea
t
0
un nmero real. Entonces, los coecientes de Fourier de la funcin f(t t
0
) son
e
in
0
t
0
f(n), n Z.
Como

e
in
0
t
0

= 1, la amplitud (el mdulo de los coecientes de Fourier) de una funcin no

cambia al trasladarla.
Sobre los coecientes de Fourier Series de Fourier
84
Inversin del tiempo
Si la variable t indica el tiempo, el cambio de t por t simplemente cambia la direccin del tiempo:
en lugar de avanzar, retrocedemos en el tiempo. Qu pasa en este caso con los coecientes de
Fourier?
Proposicin 7.22. Sea f una funcin peridica con periodo T. Entonces los coecientes de Fourier
de f(t) son

f(n).
7.6 Sobre los coecientes de Fourier
Hasta ahora hemos dado una denicin de serie trigonomtrica en la que no aparece ninguna fun-
cin y hemos hablado de serie de Fourier cuando los coecientes estn asociados a una funcin.
En esta seccin vamos a ver qu condiciones deben vericar los coecientes de una serie trigono-
mtrica para ser los coecientes de Fourier de una adecuada funcin.
En primer lugar, introducimos las funciones con las que vamos a trabajar a partir de ahora. Ob-
srvese que para la denicin de los coecientes de Fourier de una funcin es necesario que las
integrales tengan sentido. Aunque esto no sea cierto para cualquier funcin, s lo es para las fun-
ciones que consideramos en la siguiente denicin.
Denicin 7.23. Una funcin f : [a, b] R es continua a trozos si existe una particin a = x
0
<
x
1
< x
2
< . . . < x
n1
< x
n
= b del intervalo [a, b] de forma que
a) f es continua en ]x
i
, x
i+1
[, para i = 0, 1, 2, . . . , n1, y
b) f tiene lmites laterales en x
i
, i = 0, 1, . . . , n. A estos lmites los denotaremos f(x
i
+) y f(x
i
),
esto es
lim
xx
+
i
f(x) = f(x
i
+) y lim
xx

i
f(x) = f(x
i
)
Diremos que f es derivable a trozos si es derivable salvo en un conjunto nito de puntos en los
que existen derivadas laterales.
Ejemplo 7.24.
a) La funcin f : [0, 10] R denida como
f(x) =
_

_
x, si 0 x 5
3x +1, si 5 < x < 7
x
2
x, si 7 x 10
es continua a trozos. Es continua salvo en 5, 7 y 10, pero en dichos puntos los lmites laterales
existen.
b) La funcin f : [0, 1] R denida como
f(x) =
_
0, si x = 0
1/x, si 0 < x 1
no es continua a trozos. Es continua en todos los puntos salvo en el origen, pero no tiene
lmite en 0.
Las funciones continuas a trozos son integrables. Adems, la integral la podemos calcular como
suma de integrales en cada uno de los intervalos donde la funcin es continua.
Si nos restringimos a este tipo de funciones no hay problema para el clculo de los coecientes de
Fourier. Ahora vamos a ver cundo se puede sumar la serie de Fourier de una funcin y cunto vale
Series de Fourier Convergencia de las series de Fourier
85
dicha suma. Los siguientes resultados nos ponen algunas restricciones sobre el comportamiento
de los coecientes de Fourier.
Teorema 7.25. Sea f una funcin peridica con periodo T continua a trozos y con coecientes de Desigualdad de Bes-
sel
Fourier c
n
. Entonces

_
n=
c
n

1
T
_
T/2
T/2

f(t)

2
dt.
El siguiente resultado, de gran importancia, es una simple consecuencia del hecho que la conver-
gencia de una serie implica la convergencia a cero del trmino general.
Teorema 7.26. Sea f una funcin peridica con periodo T continua a trozos con coecientes de Teorema de
Riemann-Lebesgue
Fourier c
n
. Entonces lim
n
c
n
= lim
n
c
n
= 0.
7.7 Convergencia de las series de Fourier
La continuidad a trozos es una condicin suciente para poder calcular la serie de Fourier de una
funcin segn hemos visto en la seccin anterior. Pero todava seguimos escribiendo
f(t)

_
n=
c
n
e
in
0
t
porque an no sabemos si la igualdad es cierta.
Para calcular la suma de una serie, hay que calcular el lmite de la sucesin de sumas parciales. En
este caso
s
N
(x) =
N
_
n=N
c
n
e
in
0
t
,
y queremos ver qu ocurre cuando N tiende a . La forma de calcular este lmite pasa por reescribir
la suma parcial s
N
como una integral. En este clculo va a jugar un papel fundamental las funciones
que se conocen como ncleos de Dirichlet. Antes de pasar a estudiar la convergencia de la serie de
Fourier, veamos la denicin y algunas propiedades de estas funciones.
Denicin 7.27. Sea n un nmero natural. El ncleo de Dirichlet de orden n es la funcin D
n
Ncleo de Dirichlet
denida como D
n
(x) =
n
_
k=n
e
ik
0
x
.
El ncleo de Dirichlet es una funcin peridica. Adems
D
n
(x) =
n
_
k=n
e
ik
0
x
=e
in
0
x
+e
i(n1)
0
x
+. . . +e
i
0
x
+1 +e
i
0
x
+. . . +e
i(n1)
0
x
+e
in
0
x
es una progresin geomtrica. Estamos sumando 2n + 1 trminos empezando en e
in
0
x
y con
razn e
i
0
x
. Su suma ser
D
n
(x) =
e
in
0
x
(1e
i
0
(2n+1)x
)
1e
i
0
x
=
e
in
0
x
e
i(n+1)
0
x
1e
i
0
x
(multiplicamos y dividimos por e

0
x/2
)
=
e
i(n+
1
2
)
0
x
e
i(n+
1
2
)
0
x
e
i
1
2

0
x
e
i
1
2

0
x
=
sen
_
(n+
1
2
)
0
x
_
sen
_
1
2

0
x
_
.
Convergencia de las series de Fourier Series de Fourier
86
Esto es cierto cuando e
i
0
x
1 o, lo que es lo mismo, para
0
x 2k o x kT, k Z. Pero de
la denicin del ncleo de Dirichlet se obtiene directamente que D
n
(kT) = 2n+1 para cualquier
k Z.
Tambin es fcil comprobar que D
n
es una funcin par y se puede calcular su integral en [
T
2
,
T
2
]
sin problemas usando que
_
T/2
T/2
e
ik
0
x
dx = 0, k 0. De hecho, la integral no depende de n:
_
T/2
T/2
D
n
(x) dx =
n
_
k=n
_
T/2
T/2
e
ik
0
x
dx =
_
T/2
T/2
1dx = T. (7.8)
Obsrvese que, como D
n
es par,
_
T/2
0
D
n
(x) dx = T/2.
7.7.1 Condiciones de Dirichlet
Denicin 7.28. Una funcin T-peridica f se dice que verica las condiciones de Dirichlet si en Condiciones
de Dirichlet
[0, T] es continua salvo una cantidad nita de discontinuidades de salto y tiene un nmero nito
de mximos y mnimos locales estrictos.
Teorema 7.29. (Dirichlet, Riemann) Sea f peridica con periodo T, derivable a trozos. Entonces
la serie de Fourier es convergente y su suma es

_
n=

f(n)e
in
0
t
=
1
2
[f(t+) +f(t)] .
En particular, si f es continua en t,

_
n=

f(n)e
in
0
t
= f(t).
Ejemplo 7.30. La funcin f(x) = 1 + x + x en ] , [ es continua y derivable a trozos.
Por tanto su serie de Fourier converge a f para cualquier x ] , [. Qu ocurre en los
extremos? El lmite en vale 2 +1, y el lmite en vale 1. Por tanto la serie de Fourier tiende
a
1+2+1
2
= 1 + en dichos puntos.
Una consecuencia directa del teorema anterior es que los coecientes determinan la funcin.
Teorema 7.31. Sean f y g funciones peridicas con periodo T derivables a trozos. Si

f(n) = g(n), Teorema de unicidad
para todo n Z, entonces f = g.
El nal de la historia?
Durante mucho tiempo se pens que la continuidad era una condicin suciente para la conver-
gencia de una serie de Fourier. De hecho, hay algunos resultados un poco ms generales que el
Teorema 7.29. En 1873 Paul Du Bois-Reymond encontr una funcin continua y acotada cuya se-
rie de Fourier no es convergente en el origen. Hubo que esperar hasta 1966 para resolver este
problema. Carlesson demostr que si f verica que
_

f
2
(t) dt < (7.9)
entonces su serie de Fourier converge salvo en un conjunto de medida cero. Al mismo tiempo, Ka-
hane y Katznelson probaron que, dado un conjunto de medida cero arbitrario, es posible construir
una funcin continua salvo en dicho conjunto y cuya serie de Fourier no es convergente en los
puntos de dicho conjunto.
Series de Fourier Convergencia de las series de Fourier
87
Si la funcin f no verica (7.9), entonces la situacin puede ser an peor. En 1926 Andrei Kol-
mogorov construy una funcin integrable, con cuadrado no integrable y cuya serie de Fourier no
converge en ningn punto.
7.7.2 Una imagen vale ms que mil palabras (I)
Consideremos la funcin real f(x) = 1 +x +x

Su desarrollo de Fourier real hasta n = 1 es

1 +

2

4cos(x)

+2sen(x)

para n = 2
1 +

2

4cos(x)

+2sen(x) sen(2x)

para n = 3
1 +

2

4cos(x)

+2sen(x) sen(2x)

4
9
cos(3x) +
2
3
sen(3x)

para n = 4
1 +

2

4cos(x)

+2sen(x)
sen(2x)
4
9
cos(3x) +
2
3
sen(3x)

1
2
sen(4x)
Otras propiedades Series de Fourier
88

para n = 5
1 +

2

4cos(x)

+2sen(x)
sen(2x)
4
9
cos(3x) +
2
3
sen(3x)

1
2
sen(4x)

4
25
cos(5x) +
2
5
sen(5x)
7.8 Otras propiedades
Convolucin
Teorema 7.32. Sean f y g funciones peridicas con periodo T y derivables a trozos. Si h(t) =
f(t)g(t), entonces

h(n) =

_
k=

f(k) g(nk).
Denicin 7.33. La convolucin de dos funciones f y g, que denotaremos f g, se dene como Convolucin
(f g)(t) =
1
T
_
T/2
T/2
f(t x)g(x) dx.
Si las funciones f y g son peridicas con periodo T, entonces tambin lo es su convolucin.
Cul es el motivo de introducir este producto raro de funciones? El motivo es responder a una
pregunta muy natural. Si c
n
y d
n
son los coecientes de Fourier de dos funciones f y g, qu se
puede decir de c
n
d
n
?, qu funcin, si es que existe alguna, tiene dichos coecientes de Fourier?
y qu relacin tiene con f y g? La solucin:
Teorema 7.34. Sean f y g funciones derivables a trozos, entonces

(f g)(n) =

f(n) g(n), n Z.
Identidad de Parseval
Vamos a ver que la desigualdad de Bessel es una igualdad en muchas ocasiones.
Teorema 7.35. Sean f y g funciones T-peridicas derivables a trozos. Entonces Identidad
de Parseval
1
T
_
T/2
T/2
f(t)g(t) dt =

_
n=

f(n) g(n).
Corolario 7.36. Sea f una funcin T-peridica derivable a trozos. Entonces
1
T
_
T/2
T/2

f(t)

2
dt =

_
n=

f(n)

2
.
Derivacin
Teorema 7.37. Sea f una funcin peridica con periodo T derivable a trozos y continua. Supon-
gamos adems que f

es derivable a trozos. Entonces

f

(n) = in
0

f(n) y, por tanto,
Series de Fourier Otras propiedades
89
f

(t+)+f

(t)
2
=

_
n=
in
0

f(n)e
in
0
t
.
Integracin
Teorema 7.38. Sea f una funcin peridica con periodo T derivable a trozos. Supongamos que

f(0) = 0. Entonces la funcin h denida como h(t) =

_
t
T/2
f(x) dx es peridica con periodo T.
Adems h(t) =

_
n=

h(n)e
in
0
t
, donde

h(n) =
_

_
f(n)
in
0
, si n 0,

_
n=,n0
(1)
n
f(n)
in
0
, si n = 0.
7.8.1 El fenmeno de Gibbs
Al igual que con el polinomio de Taylor, en la prctica utilizaremos nicamente una cantidad nita
de trminos de la serie de Fourier para aproximar una funcin. Cabe preguntarse cmo de rpida
es la convergencia de los trminos de la serie de Fourier a la funcin.

Orden 8 Orden 15

Orden 8
ampliado
Orden 15
ampliado
Ilustracin 7.7 Serie de Fourier de f(x) = x
Veamos un caso concreto. Vimos en el Ejemplo 7.11 que la funcin f(x) = x en [, ] tena el
siguiente desarrollo de Fourier:
f(x)

_
n=1
2
(1)
n+1
n
sen(nx)
Utilizando el Teorema 7.29, se tiene que la serie es convergente en todos los puntos del intervalo
abierto (la funcin es continua en esos puntos), esto es
Sumabilidad. Ncleos de Fejr. Series de Fourier
90
x =

_
n=1
2
(1)
n+1
n
sen(nx), x ] , [
En la Figura 7.7 se puede ver como cerca de los puntos donde falla la continuidad, y , las
sucesivas aproximaciones dadas por la serie de Fourier siguen teniendo un error digno de tener en
cuenta.
En 1898 Albert A. Michaelson y S. W. Stratton pusieron de maniesto este hecho en la revista Nature:
la convergencia de la serie no es buena cerca de los puntos de discontinuidad. Comprobaron el
desarrollo de orden 160 de la serie de Fourier y an haba grandes diferencias entre la funcin y su
serie. No hubo que esperar mucho tiempo para encontrar el motivo. La explicacin la dio el profesor
Josiah Willard Gibbs en la misma revista al ao siguiente. Gibbs demostr que la amplitud de la
oscilacin tiende a ser
1
2
_

0
sen(t)
t
dt 0.089 veces el tamao del salto, o sea, aproximadamente
un 9% del tamao del salto.
7.9 Sumabilidad. Ncleos de Fejr.
Hemos visto que la convergencia de una serie de Fourier puede fallar en innitos puntos en el
caso de funciones continuas y, adems, no olvidemos que tenemos el fenmeno de Gibbs. Ambos
problemas se pueden subsanar considerando la convergencia en media. Este mtodo se debe a
Lipot Fejr.
Recordemos que dada una funcin f : [, ] R, s
N
denotaba las sumas parciales de la serie
de Fourier, esto es
s
0
(x) =
1
2
a
0
, y
s
N
(x) =
1
2
a
0
+
N
_
n=1
[a
n
cos(nx) +b
n
sen(nx)] .
Consideremos ahora la media aritmtica de s
N
:

N
(x) =
s
0
(x)+s
1
(x)++s
N
(x)
N+1
=
1
N+1
N
_
n=0
s
n
(x)
Recordemos que tenamos una frmula para calcular s
N
(x) por medio de los ncleos de Dirichlet:
s
N
(x) =
1
2
_

f(t)D
N
(t x) dt
Obsrvese que si tomamos D
0
constantemente igual a uno entonces la igualdad tambin es cierta
para N = 0. Por tanto

N
(x) =
1
N+1
N
_
n=0
1
2
_

f(t)D
N
(t x) dt
=
1
2
_

f(t)F
N
(t x) dt
donde F
N
=
1
N+1

N
n=0
D
N
, se le suele llamar el ncleo de Fejr. Ncleo de Fejr
Teorema 7.39. Sea f : [, ] R integrable. Si f tiene lmites laterales en x, entonces Teorema de Fejr
lim
N

N
(x) =
f(x+)+f(x)
2
En particular, si f es continua en x, entonces lim
N

N
(x) = f(x). Adems, si f es continua en
[, ], entonces
N
(x) converge uniformemente a f en [, ].
Series de Fourier Aplicaciones de las series de Fourier
91
Una consecuencia fcil de esto es el siguiente resultado.
Corolario 7.40. Sean f, g : [, ] R continuas e integrables con la misma serie de Fourier.
Entonces f = g.
Uno de los motivos por el que comenzamos a hablar de la convergencia en media y de los ncleos de
Fejr era el fenmeno de Gibbs. No vamos a entrar en los detalles pero s decir que no se presenta.
En otras palabras la aproximacin
N
(x) es ms parecida a f que s
N
(x). Comprubalo t mismo
con alguna funcin.
7.9.1 Una imagen vale ms que mil palabras (II)
Uno de los motivos para introducir la sumabilidad en lugar de la convergencia era el fenmeno de
Gibbs. Ya habamos visto cmo la convergencia de la serie de Fourier de la funcin f(x) = 1+x+x
era buena con la excepcin de los extremos. En la gura 7.8 se puede comprobrar como la suma de
las medias no presenta los problemas que tiene la serie de Fourier debido al fenmeno de Gibbs.

convergencia orden 3 sumabilidad orden 3

Ilustracin 7.8 Sumabilidad y convergencia
7.10 Aplicaciones de las series de Fourier
7.10.1 La construccin de una bodega
El problema de la difusin del calor tuvo una gran importancia en el desarrollo de las series de
Fourier. Estos trabajos no slo tenan importancia terica. Para ilustrar esto de una manera sencilla
supongamos que queremos construir una bodega. Cul debera ser su profundidad para que la
temperatura fuera la adecuada? Cul es la variacin de la temperatura a lo largo del ao? Es
posible que la temperatura permanezca constante a lo largo de las estaciones?
La propagacin del calor no es inmediata. Un da caluroso no se traduce inmediatamente en una
temperatura similar varios metros bajo tierra. Hasta pasado cierto tiempo (cambio de fase) no se
alcanza un pico de temperatura en el interior. Piensa en un manantial de agua: no es difcil que sta
este fresca en verano a pesar del calor. Adems tambin es creble que los cambios de temperatura
sean ms dbiles en el interior, que estn atenuados.
Si planteamos y resolvemos un modelo matemtico (la ecuacin del calor) podremos extraer algu-
nas conclusiones. Se puede comprobar que la ola de calor alcanza una profundidad de 4.5 metros
con un cambio de fase equivalente a seis meses: cuando en la supercie es verano, a 4.5 metros
es invierno y viceversa. La atenuacin es, aproximadamente, 1/16 de la variacin que hay en la
Aplicaciones de las series de Fourier Series de Fourier
92
supercie. Si la diferencia de temperatura entre invierno y verano es de 40

, la diferencia en el
interior no llega a tres grados. Cmo hemos obtenido estos datos?
Primero, a la hora de buscar un modelo hemos tenido que simplicar un poco la situacin: hemos
supuesto que la tierra es plana y que la temperatura a grandes profundidades no es importante,
lo que no es demasiado suponer para la situacin en la que estamos.
La temperatura vendr dada por una funcin u(x, t) que depende de dos variables: la profundidad
x y el tiempo t. Suponemos conocida la temperatura en la supercie, esto es, u(0, t) = f
0
(t). La
ecuacin que modela este problema es
u
t
= K

2
u
x
2
(7.10)
donde K es una constante que depende del tipo de suelo. Supondremos que la temperatura es una
funcin peridica con periodo T igual a un ao. Como siempre = 2/T denotar la frecuencia
angular. Usando el mtodo de separacin de variables hemos visto que la solucin es
u(x, t) =
a
0
2
+

_
n=1
a
n
exp
_

_
n
2K
x
_
cos (nt +
n
(x)) ,
donde
n
(x) =
n

_
n
2K
x, y
f
0
(t) =
a
0
2
+

_
n=1
a
n
cos(nt +
n
).
Hemos expresado la solucin como una suma innita en la que los trminos decrecen exponen-
cialmente. Cuanto mayor sea n, menor ser el valor del correspondiente sumando. Si slo nos
jamos en el primer armnico y nos olvidamos del resto, el cambio de fase
1
(x) y la atenuacin
exp
_

_

2K
x
_
dependen de
_

2K
. Para dar algn dato ms concreto nos hace falta conocer K. Ex-
perimentalmente se determina y, por ejemplo, K = 2 10
3
cm
2
s
1
para un suelo ordinario. T es
365246060 s. Para x = 450 cm obtenemos que el cambio de fase es aproximadamente o,
dicho de otra manera, la temperatura a dicha profundidad muestra un desfase de
T
2
(medio ao).
El factor de atenuacin es alrededor de e

1/16.
Si tomamos como T un da (24 3600 s) los resultados son algo distintos. Sigue existiendo un
desfase de aproximadamente la mitad del periodo (medio da). En cambio, slo es necesario llegar
a una profundidad de 25 cm para que el coeciente de atenuacin sea 1/16. Esto quiere decir que
los cambios diarios de temperatura apenas penetran en el terreno.
7.10.2 La desigualdad isoperimtrica
Cul es la curva cerrada del plano que encierra un rea mayor? Parece lgico pensar que es la
circunferencia pero de ah a demostrarlo hay un trecho. Veamos cmo podemos resolver este
problema.
Consideremos una curva : [0, 2] C cerrada, derivable y con derivada continua. La longitud
de dicha curva es
L =
_
2
0

(t)

dt.
Reparametrizando, podemos suponer que L = 2 y que

(t)

= 1. El rea encerrada por la curva

es
A =
1
2i
_
2
0
(t)

(t) dt.
Series de Fourier Aplicaciones de las series de Fourier
93
Como verica las condiciones de Dirichlet, coincide con su desarrollo de Fourier. Adems,
podemos suponer que (0) = 0. Si no, la curva (0) es una traslacin de la curva y que, por
tanto, tiene la misma longitud y encierra la misma rea. Los coecientes de Fourier de y de

son fcilmente calculables:

(n) =
1
2
_
2
0
(t)e
int
dt = (n),
y

(n) = in (n), segn vimos en el Teorema 7.37. Por tanto,

A =
1
2i
_
2
0
_

_
n=
(n)e
int
__

_
m=
im (m)e
imt
_
dt
=
_
n0
n

(n)

2
.
Por otra parte,
L = 2 =
_
2
0
dt =
_
2
0

(t)

2
dt = 2
_
n0
n
2

(n)

2
.
Comparando trmino a trmino las dos igualdades, obtenemos la desigualdad isoperimtrica:
0 A. (7.11)
La igualdad se da si, y slo si,
_
n0
(n
2
n)

(n)

2
= 0,
o sea, si, y slo si,

(n)

2
= 0 para n 0, 1. En ese caso, (t) = (1)e
it
, que es la circunferencia
de radio

(1)

.
Proposicin 7.41. Si es una curva con longitud L que encierra un rea A, entonces Desigualdad isoperi-
mtrica
4A L
2
y la igualdad se da si, y slo si, es una circunferencia.
Demostracin. Aplicamos la discusin anterior a la curva (t) =
2
L
(t) que tiene longitud 2 y
encierra un rea A
_
2
L
_
2
. Por tanto, aplicando (7.11) tenemos que
0 A
_
2
L
_
2
,
o, lo que es lo mismo, 4A L
2
.
7.10.3 El problema de Dirichlet en el disco unidad
El problema de Dirichlet en el disco unidad D = z C : z < 1 consiste en encontrar una
funcin u(x, y) con valores en R que sea armnica en Dy que en la frontera, T = z C : z = 1,
tome los valores
u(cos(), sen()) = U(), ] , ]
Teorema 7.42. Si la funcin U es 2-peridica y su serie de Fourier es
Ejercicios Series de Fourier
94
U(t)
a
0
2
+

_
n=1
a
n
cos(nt) +b
n
sen(nt),
entonces la solucin al problema de Dirichlet en D es
u(r cos(), r sen()) =
a
0
2
+

_
n=1
a
n
r
n
cos(n) +b
n
r
n
sen(n).
7.11 Ejercicios
Ejercicio 7.1
Comprobar que la denicin de los coecientes de Fourier se puede utilizar el intervalo [0, T]
en lugar de [T/2, T/2].
Solucin 7.1
Ejercicio 7.2
Calcular la serie de Fourier de la funcin
f(x) =
_
1, si < x < 0,
1, si 0 < x <
Solucin 7.2 Tomando f(0) = 0,
f(x)
4

_
n=0
sen(2n+1)x
2n+1
Ejercicio 7.3
Calcular la serie de Fourier de la funcin
f(x) =
_
1, si < x < 0,
3, si 0 < x <
A qu converge la serie en 0?
Solucin 7.3
f(x) 2 +
4

_
n=0
sen(2n+1)x
2n+1
En 0 converge a
1+3
2
= 2.
Ejercicio 7.4
Calcular la serie de Fourier en cosenos de la funcin
f(x) =
_
1, si 0 < x < h,
0, si h < x < ,
donde h ]0, [.
Series de Fourier Ejercicios
95
Solucin 7.4
f(x)
2h

_
_
1
2
+

_
n=1
sen(nh)
nh
cos(nx)
_
_
Ejercicio 7.5
Calcular la serie de Fourier en senos de la funcin f(x) = x( x), x [0, ]. Usar este
desarrollo para calcular la suma
1
1
3
3
+
1
5
3

1
7
3
+
1
9
3
+
Solucin 7.5
f(x)
8

_
n=1
sen(2n1)x
(2n1)
3
Tomando x =

2
, se tiene que la suma vale

3
32
.
Ejercicio 7.6
Sea h un nmero entre 0 y . Calcular la serie de Fourier en senos de la funcin
f(x) =
_

_
1, si x = 0 ,
2hx
2h
, si 0 < x < 2h
0, si 2h < x <
Solucin 7.6
f(x)
2h

_
_
1
2
+

_
n=1
_
sen(nh)
nh
_
2
cos(nx)
_
_
Ejercicio 7.7
Calcular la serie de Fourier en senos de la funcin f(x) =

4

x
2
, x [0, ].
Solucin 7.7
f(x)

_
n=1
sen(2nx)
2n
Ejercicio 7.8
Calcular la serie de Fourier en cosenos de la funcin f(x) =

4

x
2
, x [0, ].
Solucin 7.8
f(x)
2

_
n=0
cos(2n+1)x
(2n+1)
2
Ejercicios Series de Fourier
96
Ejercicio 7.9
Calcular la serie de Fourier en senos de la funcin f(x) = x
2
, x [0, ].
Solucin 7.9
f(x)
2

_
n=1
_

2
n
+
2
n
3
((1)
n
1)
_
sen(nx)
Ejercicio 7.10
Demostrar que
x =

2

4

_
n=1
cos(2n1)x
(2n1)
2
, x [, ]
Qu series se obtienen cuando tomamos x = o x = ?
Solucin 7.10
falta
Ejercicio 7.11
Calcular la serie de Fourier de la funcin 2-peridica f(x) = x
2
, x [0, 2].
Solucin 7.11
f(x)
4
2
3
+4

_
n=1
cos(nx)
n
2
4

_
n=1
sen(nx)
n
Ejercicio 7.12
Calcular la serie de Fourier de la funcin sen(x) en [, ] y demostrar que converge en
cualquier punto de dicho intervalo. Utilizar esto para probar que

_
n=1
1
4n
2
1
=
1
2
y

_
n=1
(1)
n+1
4n
2
1
=
2
4
Solucin 7.12 falta
Ejercicio 7.13
Utilizar las series de Fourier de las funciones x
2
, x
4
y x
3

2
x en el intervalo [, ] para
probar que
a)

_
n=1
1
n
2
=

2
6
b)

_
n=1
(1)
n+1
n
2
=

2
12
Series de Fourier Ejercicios
97
c)

_
n=1
1
n
4
=

2
90
d)

_
n=1
(1)
n+1
(2n1)
3
=

3
32
Solucin 7.13 falta
98
Transformada de Fourier Origen histrico de la transformada de Fourier
99
Transformada de Fourier
8
8.1 Origen histrico de la transformada de Fourier
El trabajo de Fourier que hemos comentado en el captulo anterior acab plasmado en la memoria
Mmoire sur la propagation de la chaleur (1807) y en una versin extendida, Thorie du move-
ment de la chaleur dans les corps solides, que present en 1812 al Instituto de Francia (algo as
como la Academia de las Ciencias) para participar en un concurso sobre el estudio del calor. Premio
que, por cierto, consigui.
En dichos trabajos, Fourier se plantea estudiar el problema de la difusin del calor en una barra ideal
de longitud innita. Para resolver este problema, en lugar de una serie de coecientes, aparece una
funcin a determinar dentro de una integral relacionada con las condiciones iniciales del sistema.
Esa funcin es lo que hoy conocemos como transformada de Fourier.
La transformada de Fourier fue redescubierta un poco ms tarde por Cauchy y Poisson estudiando
el movimiento de un uido. Ambos estudiaban ecuaciones del tipo

2
u
x
2
+

2
u
y
2
= 0, (8.1)
lo que se suele llamar ecuacin de Laplace o ecuacin del potencial porque, en su versin para Ecuacin de Laplace
dimensin tres, fue estudiada por Laplace para resolver problemas relacionados con la atraccin
gravitacional y la forma de los planetas. Este tipo de ecuaciones ya haban aparecido en trabajos
de Euler y Lagrange. Por ejemplo, Lagrange la haba utilizado para estudiar la propagacin de una
onda en una capa de agua. Tambin tienen relacin con la propagacin del calor, de la electricidad
o con el magnetismo.
La ecuacin (8.1) modela la propagacin de ondas en una capa na de agua si adems suponemos
que el lquido es homogneo (tiene la misma densidad en todos sus puntos), incomprensible (la
densidad no cambia con el tiempo) y que el trabajo necesario para llevar una partcula de un lugar
a otro es independiente del camino elegido (lo que se suele expresar diciendo que la velocidad es
un campo conservativo).
Veamos con un ejemplo cmo la bsqueda de funciones armnicas vericando unas determina-
das condiciones en la frontera est relacionada con la transformada de Fourier. Consideremos el
problema de Dirichlet en un semiplano. Ms concretamente, sea
D =
_
(x, y) R
2
: y > 0
_
, y D =
_
(x, y) R
2
: y 0
_
.
Queremos encontrar una funcin u : D R continua en D, de clase C
2
en D, armnica en D, esto
es,

2
u
x
2
+

2
u
y
2
= 0, (8.2)
y que verique
u(x, 0) = f(x), x R (8.3)
donde f es una funcin continua y acotada dada.
Denicin de la transformada de Fourier Transformada de Fourier
100
Para resolver este problema, usaremos el mtodo de separacin de variables como en el caso de la
ecuacin del calor. Supongamos que existe una solucin u(x, y) de la forma F(x)G(y). Entonces,
sustituyendo en la ecuacin (8.2) se tiene que
F

F
=
G

G
.
Como la parte de la izquierda slo depende de x y la de la derecha slo depende de y, la nica
posibilidad es que ambas sean constantes:
F

F
=
G

G
= ,
de donde
F

+F = 0, G

G = 0.
Si < 0, las soluciones de F no son acotadas. Para = 0, las nicas soluciones acotadas son las
constantes. Por ltimo, si es positivo, la solucin general de F y G es
F(x) = acos
__
x
_
+b sen
__
x
_
, G(y) = ce

y
+de

y
donde a, b, c y d son constantes.
Para que la solucin sea acotada en y, tenemos que tomar c = 0, con lo que podemos escribir la
solucin general de la forma
u(x, y) = F(x)G(y) = e

y
[Acos(
_
x) +B sen(
_
y)]
Si notamos =

, las soluciones acotadas son de la forma

u(x, y) = F(x)G(y) = e
y
_
A() cos(x) +B() sen(y)
_
,
donde A(), B() indica que tenemos un par de constantes para cada valor de mayor o igual
que cero.
Al igual que en la ecuacin del calor, la suma de soluciones de este tipo sigue vericando la ecua-
cin (8.2) pero en este caso tenemos un continuo de soluciones en lugar de una cantidad numerable.
Por esto la solucin ms general ser de la forma
_
+
0
e
y
[A() cos(x) +B() sen(x)] d (8.4)
en lugar de una suma.
8.2 Denicin de la transformada de Fourier
Sea f : [, ] R una funcin 2-peridica, continua a trozos y con derivada a trozos. Sabemos
que podemos expresar f como suma de senos y cosenos. Tambin podemos expresar f como una
serie de Fourier compleja de la siguiente forma
f(x) =
+
_
n=
c
n
e
inx
,
donde c
n
=
1
2
_

f(x)e
inx
dx.
Los coecientes c
n
son, en general, nmeros complejos, pero usando el desarrollo en senos y
cosenos podemos establecer fcilmente una relacin. Sabamos que
Transformada de Fourier Denicin de la transformada de Fourier
101
f(x) =
a
0
2
+
+
_
n=1
(a
n
cos(nt) +b
n
sen(nt)) . (8.5)
Usando la denicin de la exponencial compleja:
f(x) =c
0
+

_
n=1
c
n
e
inx
+

_
n=1
c
n
e
inx
=c
0
+

_
n=1
c
n
(cos(nx) +i sen(nx)) +

_
n=1
c
n
(cos(nx) i sen(nx))
=c
0
+

_
n=1
[(c
n
+c
n
) cos(nx) +i(c
n
c
n
) sen(nx)] .
(8.6)
Si comparamos las ecuaciones (8.5) y (8.6), se tiene que
a
0
= 2c
0
, a
n
= c
n
+c
n
, y b
n
= i(c
n
c
n
).
Si cambiamos a una funcin 2L-peridica denida en el intervalo [L, L], entonces la serie de
Fourier compleja asociada a f sera
f(x) =
+
_
n=
c
n
e
inx
L
Para representar una funcin que no sea peridica, vamos a calcular su representacin en [L, L] y
despus haremos tender L a . Intuitivamente, vamos a considerar una funcin no peridica como
una funcin peridica de periodo innito. El resultado es lo siguiente:
Denicin 8.1. Sea f : R R una funcin localmente integrable. Si la siguiente integral existe,
entonces la funcin

f : R C denida como
F[f]() =

f() =
1
2
_
+

f(x)e
ix
dx
se llama transformada de Fourier de f. La integral Transformada de
Fourier
_
+

f()e
ix
d
se llama la integral de Fourier de f.
Ejemplo 8.2. Sea > 0. Calcular la transformada de Fourier de la funcin
f(x) =
_
1, si x < ,
0, si x .
Dado R,

f() =
1
2
_

e
ix
dx
=
1
2
_

cos(x) i sen(x) dx
=
1
2
_

cos(x) dx =
sen()

.
Ejemplo 8.3. Dado a R, calcular la transformada de Fourier de f(x) = e
xa
.
Propiedades de la transformada de Fourier Transformada de Fourier
102

f() =
1
2
_
+

e
xa
e
ix
dx
=
1
2
_
_
+
0
e
(i+a)x
dx +
_
0

e
(ia)x
dx
_
=
1
2
_
1
i+a

1
ia
_
=
a
(
2
+a
2
)
.
Observacin 8.4. Si se consultan diferentes textos puede parecer en principio que existen mul-
titud de deniciones de la transformada de Fourier pero, en realidad, slo se diferencian en cons-
tantes.
Teorema 8.5. Sea f : R R una funcin derivable a trozos. Entonces Teorema de
inversin
f(x+)+f(x)
2
=
_
+

f()e
ix
d
En particular, si f es continua en x, se tiene que f(x) =
_
+

f()e
ix
d.
8.3 Propiedades de la transformada de Fourier
Proposicin 8.6. Sean f, g : R R con transformadas de Fourier F[f] y F[g]. Supongamos Linealidad
adems que a, b C. Entonces
F[(af +bg)] = aF[f] +bF[g].
Proposicin 8.7. Sea f una funcin con transformada de Fourier F[f] y sea a R, entonces Traslacin
en el tiempo
F[f(x a)]() = e
ia
F[f]().
Proposicin 8.8. Sea f una funcin con transformada de Fourier F[f] y sea a R, entonces Dilatacin
en el tiempo
F[f(ax)]() =
1
a
F[f]
_

a
_
.
En particular, F[f(t)]() = F[f]().
Proposicin 8.9. Sea f una funcin con transformada de Fourier F[f], entonces Traslacin
en frecuencia
F[e
iat
f(t)] = F[f](w a).
En el caso particular de funciones pares o impares, las integrales que denen la transformada de
Fourier se pueden simplicar un poco.
Proposicin 8.10.
a) Sea f una funcin par, entonces F[f]() =
1

0
f(x) cos(x) dx.
b) Si f es una funcin impar, entonces F[f]() =
i

0
f(x) sen(x) dx.
Proposicin 8.11. Sea f : R R con transformada de Fourier F[f]. Supongamos adems que
a C y R. Entonces la transformada de Fourier de
a) f(x) cos(x) es
F[f]()+F[f](+)
2
,
b) f(x) sen(x) es
F[f]()F[f](+)
2i
.
Transformada de Fourier Convolucin de funciones
103
Teorema 8.12. Sea f : R R continua e integrable en R. Supongamos que Transformada de la
derivada
lim
x+
f(x) = lim
x
f(x) = 0.
Entonces, si f

es continua a trozos e integrable, se tiene que

f

() = iF[f]().
Corolario 8.13. Si f, f

, f

, . . . verican las hiptesis del Teorema 8.12, entonces

f
(n)
() = (i)
n
F[f]().
Ejemplo 8.14. Veamos cmo podemos aplicar la transformada de Fourier para resolver algunas
ecuaciones diferenciales. Consideremos la ecuacin diferencial
y

+y = f.
Supongamos que todas las funciones que aparecen tienen su transformada de Fourier. Entonces

2
y() + y() = F[f](),
de donde se deduce que
y() = F[f]()
1

2
+1
Del Ejemplo 8.3, sabemos que la transformada de Fourier de g(x) = e
x
es
1

2
+1
. Por tan-
to, y = F[f] g donde f y g son conocidas. Veremos en la prxima seccin cmo podemos
recuperar y desde f y g.
Teorema 8.15. Sea f una funcin con cuadrado integrable (energa nita). Entonces su transfor- Identidad de Parse-
val
mada tambin tiene energa nita y de hecho
_

f(t)

2
dt =
1
2
_

F[f]()

2
d.
8.4 Convolucin de funciones
Denicin 8.16. Sean f, g : R R localmente integrables. Se dene la convolucin de f y g
como
f g(x) =
1
2
_
+

f(s)g(x s) ds (8.7)
para todos aquellos x R para los que la integral tenga sentido.
Puede parecer una denicin un poco extraa en principio, pero, tengamos en cuenta que buscamos
un producto de funciones que respete la transformada de Fourier. Haciendo un poco de trampa:
Ejercicios Transformada de Fourier
104
(f g)(x) =
1
2
_
+

f(s)g(x s) ds
=
1
2
_
+

_
_
+

f()e
is
d
_
g(x s) ds
=
1
2
_
+

_
_
+

f()g(x s)e
is
d
_
ds
=
1
2
_
+

_
_
+

f()g(x s)e
is
d
_
ds
=
_
+

f(w)
_

1
2
_

+
g(x s)e
is
ds
_
d
=
_
+

f()
_
_
+

g(t)e
i(xt)
dt
_
d
=
_
+

f() g()e
ix
dx
=

(f g)(x)
Teorema 8.17. Sean f, g : R R integrables y una de las dos continua a trozos. Entonces

f g =

f g.
Proposicin 8.18. Sean f, g, h : R R localmente integrables. Entonces
a) f g = g f, y
b) f (g +h) = f g +f h.
Proposicin 8.19. Consideremos f : R R integrable y g : R R acotada y continua a trozos.
Entonces existe f g en todo R y es continua.
Ejemplo 8.20. Vamos a continuar con la solucin de la ecuacin diferencial que empezamos
en el Ejemplo 8.14. La solucin y deba vericar y =

f g. Por tanto, la solucin ser
y(x) = (f g)(x) =
1
2
_
+

f(s)g(x s) ds =
1
2
_
+

f(s)e
xs
ds.
Esto que hemos hecho para resolver la ecuacin diferencial, lo podemos hacer en otros casos:
a) Hacemos la transformada de Fourier de las ecuaciones diferenciales,
b) resolvemos las ecuaciones resultantes y obtenemos la transformada de Fourier de las incgnitas,
c) calculamos la solucin a partir de su transformada de Fourier, y
d) deberamos comprobar que, en efecto, es solucin de la ecuacin diferencial.
De estos cuatro pasos, los dos primeros suelen ser fciles y la dicultad estriba, normalmente, en
calcular la transformada inversa y en comprobar que de hecho es solucin. El tercer paso se suele
realizar con ayuda de tablas de transformadas de Fourier.
8.5 Ejercicios
Ejercicio 8.1
Calcular la transformada de Fourier de la funcin
Transformada de Fourier Ejercicios
105
f(x) =
_
1, si x < 1,
0, si x > 1.
Como consecuencia, obtener la transformada de Fourier de la funcin

a
(x) =
_
1, si x a/2,
0, si x > a/2.
Solucin 8.1 FALTA
Ejercicio 8.2
Calcular la transformada de Fourier de la funcin
f(x) =
_
1 x , si x 1,
0, si x > 1.
Solucin 8.2 FALTA
Ejercicio 8.3
Calcular la transformada de Fourier de la funcin
f(x) =
_

_
1, si 1 < x < 1,
1, si 1 < x < 2
0, en otro caso.
Solucin 8.3 FALTA
Ejercicio 8.4
Calcular la transformada de Fourier de la funcin f(x) =
1
1+ix
.
Solucin 8.4 FALTA
Ejercicio 8.5
Calcular la transformada de Fourier de la funcin f(x) = 2xe
x
2
.
Solucin 8.5 FALTA
Ejercicio 8.6
Calcular la transformada de Fourier de la funcin que tiene como grca
2 4 6 2 4 6
3
Ilustracin 8.1
Ejercicios Transformada de Fourier
106
Solucin 8.6 FALTA
Ejercicio 8.7
Sean a, b R. Calcular la transformada de Fourier de las siguientes funciones.
a) f(t) = e
at
,
b) f(t) = e
at
sen(bt),
c) f(t) = e
at
cos(bt)
Solucin 8.7 FALTA
Transformada de Laplace Denicin
107
Transformada de Laplace
9
9.1 Denicin
Algunas de las funciones elementales, como las constantes, la exponencial o los senos y cosenos,
no tienen transformada de Fourier ya que no son integrables en R. Existe una manera simple de
arreglar esto: multiplicamos la funcin por otra de forma que el producto sea integrable, trans-
formamos el producto y luego arreglamos la frmula para invertir el proceso. Esto, que ser la
transformada de Laplace, se suele aplicar a procesos que dependan del tiempo. Es por ello que to-
das las funciones que vamos a considerar estarn denidas en [0, +[. En el caso de las funciones
usuales consideraremos su extensin por cero en los negativos. Por ejemplo, cuando hablemos de
la funcin f(t) = t
2
nos estaremos reriendo a
f(t) =
_
0, si t < 0,
t
2
, si t 0
Para conseguir una funcin que sea integrable en R
+
0
, necesitamos una funcin que est cerca de
cero. De las funciones elementales la que tiene crecimiento ms rpido es la exponencial. Lo que
vamos a hacer es dividir por ella para conseguir una funcin pequea, esto es, consideraremos
funciones del tipo f(t)e
t
. En el caso que tenamos, f(t) = t
2
, obtenemos una funcin integrable
siempre que sea positivo. A este producto ya s le podemos calcular su transformada de Fourier:
1
2
_

0
f(t)e
(+i)t
dt
Tomando t como variable y notando s a + i, tenemos la denicin de la transformada de
Laplace.
Denicin 9.1. Sea f : [0, [C vericando que f(t)e
t
es integrable para algn valor R. Transformada de
Laplace
Entonces la funcin F : C C denida como
F(s) =
_

0
f(t)e
st
dt
con dominio D
F
= s C : f(t)e
st
es integrable se llama la transformada de Laplace de f.
Tambin se suele notar Lf o L[f]. Al operador L lo llamaremos transformacin de Laplace.
Ejemplo 9.2. Sea f : [0, +[C denida como f(t) = a, donde a C. Entonces
F(s) =
_

0
ae
st
dt = lim
b
_
ae
st
s
_
b
0
=
a
s
,
siempre que Re(s) > 0. En particular L[1] =
1
s
.
Ejemplo 9.3. Sea f : [0, +[C denida como f(t) = e
at
, con a C. Entonces
F(s) =
_

0
e
(as)t
dt = lim
b
_
e
(as)t
as
_
b
0
=
1
sa
si Re(s) > Re(a).
Propiedades de la transformada de Laplace Transformada de Laplace
108
Parece natural buscar condiciones que nos garanticen la existencia de la integral. No es dcil
encontrar ejemplos de funciones para los que la integral no tiene sentido.
Ejemplo 9.4. La funcin f(t) = e
t
2
no tiene transformada de Laplace puesto que
lim
t
f(t)e
t
=
y, por tanto f(t)e
t
no es integrable para ningn valor de .
Este ejemplo y los comentarios que lo preceden son el motivo por el que slo vamos a trabajar con
funciones tales que al multiplicarlas por e
t
obtengamos funciones integrables. Estas funciones
cumplen que crecen ms despacio que una exponencial.
Denicin 9.5. Diremos que una funcin f : R C (que se anula en los negativos) tiene creci-
miento exponencial si existen nmeros reales M > 0 y K tales que

f(t)

Me
Kt
, t.
El siguiente teorema resuelve el problema de obtener la funcin f a partir de su transformada de
Laplace.
Teorema 9.6. Sea f L con transformada de Laplace F, continua y derivable a trozos. Sea un Frmula de inversin
nmero real tal que f(t)e
t
es integrable en R
+
0
. Entonces
1
2
_
+

F( +i)e
(+i)t
d=
1
2
(f(t+) +f(t)) . (9.1)
En particular,
1
2
_
+

F( +i)e
(+i)t
d= f(t) en cualquier punto t donde f sea continua.
El nombre de transformada de Laplace se debe a que casos particulares de la denicin aparecen en
el libro Thorie analytique des probabilits publicado en 1812 por Laplace. Sin embargo su uso
generalizado debe esperar un siglo hasta que, a nales del siglo XIX, el ingeniero elctrico Olivier
Heaviside la empieza a utilizar para resolver algunas ecuaciones diferenciales relacionadas con
transmisiones telegrcas a larga distancia. Antes de ver un ejemplo, comentemos la propiedades
bsicas de la transformada de Laplace.
9.2 Propiedades de la transformada de Laplace
Proposicin 9.7. Sean f, g L con transformadas de Laplace L[f] y L[G] respectivamente, y a Linealidad
y b dos constantes. Entonces L[af +bg] = aL[f] +bL[g].
Proposicin 9.8. Sean f, g L. Si L[f] = L[g], entonces f = g. Unicidad
Proposicin 9.9. Sea f una funcin con transformada de Laplace L[f] y a > 0, entonces Traslacin en el eje t
L[f(t a)H(t a)] = e
as
L[f],
donde H denota la funcin de Heaviside.
Proposicin 9.10. Sea f una funcin con transformada de Laplace L[f], entonces Dilatacin en el eje t
L[f(at)] =
1
a
L[f]
_
s
a
_
.
Proposicin 9.11. Sea f una funcin con transformada de Laplace L[f], entonces Traslacin en el eje s
Transformada de Laplace Propiedades de la transformada de Laplace
109
L
_
e
at
f(t)
_
= L[f](s a).
Proposicin 9.12. Sea f una funcin con transformada de Laplace L[f], entonces Dilatacin en el eje s
L[f(at)] =
1
a
L[f]
_
s
a
_
.
Proposicin 9.13. Sea f una funcin con transformada L[f], entonces f

tiene transformada de Transformada de la

derivada
Laplace
L[f

(t)](s) = sL[f(t)] f(0).

Repitiendo el proceso obtenemos la transformada de Laplace de la derivada segunda, tercera, ... En
general, se tiene que la transformada de Laplace de la derivada n-sima es
L[f
(n)
(t)] = s
n
L[f(t)] s
n1
f(0) s
n2
f

(0) . . .
s
2
f
(n3)
(0) sf
(n2)
(0) f
(n1)
(0).
Proposicin 9.14. Si g es una funcin continua, L
_
_
t
0
g(x) dx
_
=
1
s
L[g(t)].
Transformada de
una primitiva
Ejemplo 9.15. La linealidad de la transformada de Laplace, primera propiedad que hemos Transformda de La-
place de polinomios
enunciado, nos permite calcular la transformada de Laplace de las funciones 1, t, t
2
,..., t
n
y, a
partir de estas, la de cualquier polinomio.
a) La transformada de Laplace de f(t) = 1 ya la ha sabamos: L(1) =
1
s
. Esto se deduce de la
denicin o usando la transformada de la derivada. Como f

(t) = 0, L[f

(t)] = sL[f(t)]
f(0), de donde 0 = sL[f(t)] 1.
b) Si f(t) = t, entonces f

(t) = 1. Aplicando de nuevo la frmula de la transformada de la

derivada, se tiene que
L[f

(t)] = sL[f(t)] f(0) = L[t] =

1
s
2
.
c) Por induccin se puede demostrar que L[t
n
] =
n!
s
n+1
.
9.2.1 Transformada Laplace de funciones trigonomtricas e hiperblicas
El clculo de la transformada de Laplace de funciones trigonomtricas o hiperblicas es fcil tenien-
do en cuenta que estas funciones estn denidas usando la funcin exponencial y su transformada
(vese Ejemplo 9.3).
Funcin f Transformada L[f]
f(t) = sen(at) L[f] =
a
s
2
+a
2
f(t) = cos(at) L[f] =
s
s
2
+a
2
f(t) = senh(at) L[f] =
a
s
2
a
2
f(t) = cosh(at) L[f] =
s
s
2
a
2
Tablas 9.1 Transformada de Laplace
Ejemplo 9.16. Calcular la transformada de Laplace de f(t) = senh(at), donde a C.
Como f(t) = (e
at
e
at
)/2, el Ejemplo 9.3 nos da que
Ejemplos y aplicaciones Transformada de Laplace
110
F(s) =
1
2
_
1
sa

1
s+a
_
=
a
s
2
a
2
.
9.2.2 Convolucin
La convolucin de funciones nos permite relacionar la transformada del producto con el produc-
to de funciones. La denicin de convolucin de funciones para la transformada de Laplace nos
proporciona un resultado similar al que tenamos para la transformada de Fourier.
Proposicin 9.17. Sean f, g : R
+
R. Entonces Convolucin
de funciones
L[f g] = L[f] L[g], donde
(f g)(t) =
_
t
0
f(x)g(t x) dx
es el producto de convolucin de f y g.
9.3 Ejemplos y aplicaciones
La utilidad principal de la transformada de Laplace se encuentra en la resolucin de problemas de
valores iniciales para ecuaciones diferenciales lineales con coecientes constantes. La tranformada
de Laplace transforma una ecuacin diferencial de este tipo en una ecuacin algebraica. Una vez
resueltas estas, la transformada inversa nos da la solucin de la ecuacin diferencial.
Ejemplo 9.18. Consideremos el problema de valores iniciales
_

_
y

y = 1
y(0) = 0
y

(0) = 0
Multiplicamos en ambos miembros por e
st
y, supongamos que y(t)e
st
y y

(t)e
st
tienden a
cero en +y son integrables. Si Y denota la transformada de Laplace de y, aplicando integracin
por partes se obtiene que
_

0
y

(t)e
st
dt =
_
y(t)e
st
_

0
+s
_

0
y(t)e
st
dt = y(0) +sY(s) = sY(s)
_

0
y

(t)e
st
dt =
_
y

(t)e
st
_

0
+s
_

0
y

(t)e
st
dt = y

(0) +s
2
Y(s) = s
2
Y(s)
Por tanto, nuestro problema se transforma en
s
2
Y(s) Y(s) = L(1)(s)
En consecuencia, Y(s) =
1
s
2
1
L(1)(s). Usando el Ejercicio 9.2, L(1)(s) =
1
s
, con lo que
Y(s) =
1
(s
2
1)s
=
1/2
s1
+
1/2
s+1

1
s
.
Usando ahora el Ejemplo 9.3,
y(t) =
1
2
(e
t
+e
t
) 1 = cosh(t) 1.
Transformada de Laplace Ejercicios
111
9.4 Ejercicios
Ejercicio 9.1
Calcular la transformada de Laplace de las siguientes funciones:
a) f(t) = (3 +t
2
)
4
,
b) f(t) = (2 +e
2t
)
3
,
c) f(t) = t
2
e
3t
,
d) f(t) = t cos(5t),
e) f(t) = t
2
sen(t).
Solucin 9.1 FALTA
Ejercicio 9.2
Calcular la transformada de Laplace de la funcin
f(t) =
_

_
0, si 0 t 3,
1, si 3 < t < 5, y
t, si t > 5.
Solucin 9.2 FALTA
Ejercicio 9.3
Calcular la transformada de Laplace de la funcin f(t) =
_
t
0
xcosh(x) dx.
Solucin 9.3 FALTA
Ejercicio 9.4
Calcular la transformada inversa de la funcin f(t) =
1
(s+2)(s3)
.
Solucin 9.4 FALTA
Ejercicio 9.5
Calcular la transformada inversa de la funcin f(t) =
1
s
2
+2
.
Solucin 9.5 FALTA
Ejercicio 9.6
Resolver la ecuacin diferencial y

5y

+ 6y = 0 con las condiciones iniciales y(0) = 1,

y

(0) = 2 usando la transformada de Laplace.

Solucin 9.6 FALTA
Ejercicios Transformada de Laplace
112
Ejercicio 9.7
Resolver la ecuacin diferencial y

+ 6y = H(t) con las condiciones iniciales y(0) = 0,

y

(0) = usando la transformada de Laplace, donde H denota la funcin de Heaviside.

Solucin 9.7 FALTA
Ejercicio 9.8
Resolver la ecuacin integral f(t) = t t
2
+
_
t
0
f(x) dx usando la transformada de Laplace.
Solucin 9.8 Tomando transformadas se tiene que
L[f] = L[t] L[t
2
] +L
_
_
t
0
f(x) dx
_
= L[f] =
1
s
2

2
s
3
+
L[f]
s
Transformada discreta de Fourier Muestreo de seales continuas
113
Transformada discreta de Fourier
10
En este captulo vamos a introducir una herramienta muy til para analizar fenmenos que pro-
vienen de procesos discretos como, por ejemplo, los que proceden del procesamiento de seales
digitales. La transformada discreta de Fourier y su implementacin computacional, conocida como
FFT (Fast Fourier Transform), es uno de los conceptos matemticos que ms han inuido en la vida
cotidiana. Sus aplicaciones incluyen campos como los CD, la mecnica aplicada, acstica, anlisis
de imgenes (tomografa), anlisis sismogrco, procesamiento digital de seales, radares, etc.
En los captulos anteriores hemos visto como se pueden calcular transformadas de seales en
tiempo continuo. Sin embargo, en la prctica hay muchas situaciones en las que slo conocemos
los valores de la seal en algunos instantes. Cuando tenemos una cantidad limitada de datos de
una seal lo que primero que debemos tener en cuenta es que podemos estar perdiendo parte
de la informacin. Si la cantidad de datos es lo sucientemente alta esto no ser un problema; la
dicultad ser otra: encontrar formas y mtodos para procesar dichos datos con rapidez. En este
aspecto, el desarrollo de microprocesadores cada vez ms veloces y, por otro lado, de mejores
algoritmos ha jugado un papel decisivo. A Consecuencia de esto las aplicaciones del procesado
digital de seales se han extendido a todos los campos ya citados.
En este captulo veremos en primer lugar como discretizar una seal continua sin perder de-
masiada informacin. En segundo lugar aprenderemos a trabajar con seales discretas y, para
acabar, comentaremos brevemente la FFT: una implementacin muy eciente de la transformada
de Fourier de seales discretas.
10.1 Muestreo de seales continuas
Vamos a comenzar pasando de seales continuas a seales discretas y viceversa. Vereremos cmo
debe ser el muestreo para que se pierda informacin en el paso de un tipo de seal al otro.

2
3
2
2
1
1
Ilustracin 10.1 Muestreo de una seal continua
El ejemplo ms sencillo de co-
mo obtener una seal discre-
ta (en el tiempo) es el siguien-
te: partimos de una seal con-
tinua f : R R y un nmero
positivo T, consideremos
f[n] := f(nT), n Z.
Simplemente lo que estamos
haciendo es quedarnos con los
valores de f en . . . , 2T, T, 0, T, 2T, . . . A esto es lo que se suele llamar un muestreo de f, T es
el perodo de muestreo y w
s
= 2/T frecuencia de muestreo.
Veamos un ejemplo: consideremos la seal f(t) = sen(8t).
Si tomamos w
s
= 8, entonces
f[n] = sen
_
2
8
8n
_
= sen(2n) = 0, n.
Muestreo de seales continuas Transformada discreta de Fourier
114

2
3
2
2
1
1
Ilustracin 10.2 w
s
= 8
Si tomamos w
s
= 64 (REPASARLO!!!!)
f[n] = sen
_
2
64
8n
_
= sen
_
n
4
_
, n.
Por ltimo, si tomamos w
s
= e, se tiene
f[n] = sen
_
2n
e
_
, n.
Obsrvese que el muestreo de una seal peridica puede dar como resultado una seal discreta
peridica o no.
Denicin 10.1. Llamaremos pulso unidad a la seal discreta
(n) =
_
1, si n = 0,
0, si n 0
1 2 3 1 2 3
1
0
Ilustracin 10.3 Pulso unidad
Observacin 10.2. Dada una seal discreta f[n], se cumple que
f[n] =
+
_
k=
f[k][nk], n Z
Dicho de otra manera, cualquier seal discreta se puede escribir como superposicin de trasladados
de pulsos unidad.
Ejemplo 10.3. Consideremos la seal discreta
f[n] =
_

_
3, si n = 0,
1, si n = 1,
2, si n = 2,
0 , en otro caso.
Es fcil comprobar que f[n] = 3[n] +[n1] 2[n2].
Si queremos trabajar con funciones peridicas nos sern de gran utilidad las siguientes funciones.
Transformada discreta de Fourier Reconstruccin de una seal
115
Denicin 10.4. Sea N N. Denimos

N
[n] =
_
1, si n es m ultiplo de N,
0, en otro caso
1 0 1 2 3 4 5 6 7
Ilustracin 10.4
3
Observacin 10.5. Si f[n] es una seal discreta peridica con perodo N. Entonces
f[n] =
N1
_
k=0
f[k]
N
[nk], n Z.
Ejemplo 10.6. La seal
f[n] =
_

_
1, si n = 0,
0, si n = 1,
1, si n = 2,
0, si n = 3
Denicin 10.7. La seal salto unidad:
[n] =
_
1, si n 0,
0, si n < 0
es un ejemplo de seal causal.
10.1.1 Ejercicios
Ejercicio 10.1
Dibuja la grca de la seal f[n] = 2
4
[n1] +[n+1].
Ejercicio 10.2
Sea z =
1
2
(

3 +i). Demuestra que f[n] = z

n
es peridica.
10.2 Reconstruccin de una seal
El muestreo de una seal continua nos deja con una seal discreta. Es evidente que en este proceso
se puede perder parte de la informacin original. En esta seccin vamos a estudiar como podemos
reconstruir la seal primitiva.
El Teorema de Shannon Transformada discreta de Fourier
116
Ilustracin 10.5 Interpolacin lineal
Hay muchos mtodos de reconstruccin. Quiz el
ms sencillo sea la interpolacin lineal: construi-
mos una funcin continua que coincida en los pun-
tos (nT, f[n]) uniendo mediante rectas dichos pun-
tos.
La reconstruccin de seales mediante interpola-
cin lineal se puede escribir fcilmente como su-
perposicin de pulsos triangulares. Esto es conse-
cuencia de que sabamos escribir una seal discreta
como superposicin de trasladados del pulso uni-
dad. Recordemos que
[nk] =
_
1, si n = k,
0, si n k,
y, utilizando interpolacin lineal:
q
T
[nk] =
_
1, si n = k,
0, si n k,
MENTIRA!!!!!!!! + DIBUJO!!!!!!!!!
Sabamos que
f[n] =
+
_
n=
f[k][nk]
y es de esperar que la operacin de interpolar nos de
f(t) =
+
_
n=
f[k]q
T
(t kT).
En efecto, este resultado es cierto.
Teorema 10.8. Sea f[n] un muestreo de f(t) con perodo de muestreo T y sea g(t) la seal
obtenida de f[n] mediante interpolacin lineal. Entonces
g(t) =
+
_
n=
f[k]q
T
(t kT).
De lo que hemos visto hasta ahora, sabemos que la interpolacin lineal puede ser una buena apro-
ximacin si la frecuencia de muestreo es sucientemente alta. En cualquier caso, es posible que
esta aproximacin no sea tan buena en los puntos de la forma t = nT. Los cambios bruscos de
direccin aaden frecuencias altas a la reconstruccin que la seal original no tiene porqu tener.
10.3 El Teorema de Shannon
Denicin 10.9. Una seal f(t) con espectro F(w) diremos que es de banda acotada o espectro
acotado si existe w
c
> 0 tal que F(w) = 0 cuando w > w
c
.
Ejemplo 10.10.
a) La seal f(t) = sen(t) +3sen(2t) es de banda limitada.
b) La seal f(t) =
sen(t)
t
es de banda limitada. Comprueba que F(w) = 0 si w > .
Transformada discreta de Fourier El Teorema de Shannon
117
Cuando tengamos una seal con espectro acotado, digamos que F(w) = 0 si w > w
c
, veremos
que si la frecuencia de muestreo es mayor que dos veces w
c
entonces no hay ninguna prdida de
informacin. La seal puede recuperarse completamente.
Evidentemente, si w
c
es una cota del espectro de f, cualquier otro valor mayor tambin lo ser y,
por tanto, la frecuencia de muestreo debera ser mayor. La situacin idnea sera conocer el menor
valor w
c
que es vlido.
Denicin 10.11. Si w
c
es el menor real positivo tal que F(w) = 0, si w > w
c
, entonces 2w
c
se
suele llamar frecuencia de Nyquist. La condicin w
s
> 2w
c
se suele llamar condicin de muestreo,
donde w
s
es la frecuencia de muestreo.
Para tener una idea intuitiva la frecuencia de Nyquist es dos veces la frecuencia ms alta que aparece
en la seal. El siguiente resultado nos dice como se hace la reconstruccin.
Teorema 10.12. Sea f(t) una seal de espectro limitado y con frecuencia de Nyquist 2w
c
. Sea Teorema de Shannon
f[n] un muestreo de f(t) con frecuencia de muestreo w
s
y perodo de muestreo T = 2/w
s
. Si
w
s
> 2w
c
, entonces
f(t) =
+
_
n=
f[n]
2sen(w
s
(t nT)/2)
w
s
(t nT)
, t R.
Ejemplo 10.13. La seal f(t) =
sen
2
(t)
t
2
tiene espectro F(w) = q
2
(w), donde q
2
es el
pulso triangular la de gura QUE FALTA!!!!!!!!!!!!! Por tanto, la frecuencia de Nyquist es 4. Si la
frecuencia de muestreo verica w
s
> 4 se puede hacer la reconstruccin completa de f. En
este caso hace falta que 2/T > 4 o, lo que es lo mismo, que T <
1
2
. Por ejemplo, para T =
1
4
se tiene que
sen
2
(t)
t
2
=16
+
_
n=
sen
2
(n/4)
n
2

sen(4(t n/4))
4(t n/4)
=
16

2
+
_
n=
(1)
n
sen
2
(n/4) sen(4t)
n
2
(4t n)
Observacin 10.14. El odo humano medio no percibe sonidos cuya frecuencia sobrepase los
20 kHz. Esto quiere decir que, para nuestro odo, el sonido se comporta como una seal con es-
pectro limitado. El teorema de Shannon se aplica y nos dice que con 40.000 muestras por segundo
debe bastar. Este es el fundamento de la mayora de los mtodos de compresin de sonido.
El problema del aliasing
El aliasing o enmascaramiento se produce cuando la frecuencia de muestreo es demasiado baja
como para poder recuperar la seal original. Es posible que la seal que reconstruimos sea muy
diferente a la original. Un ejemplo cotidiano de esto lo tenemos en las llantas de un coche: hay
veces que parecen estar paradas o ir hacia atrs an cuando el vehculo se desplaza hacia adelante.
PELICULA DE LA RUEDA QUE PARECE IR HACIA ATRAS
10.3.1 Ejercicios
FALTAN
La transformada de Fourier discreta Transformada discreta de Fourier
118
10.4 La transformada de Fourier discreta
Vamos a comenzar intentando dar una denicin de transformada de Fourier de seales discretas
peridicas. Una manera fcil, como ya hemos visto, de obtener este tipo de seales es muestrear
seales continuas y peridicas con una frecuencia de muestreo que sea un mltiplo entero de la
frencuencia principal.
Si f es una funcin peridica con perodo T e integrable en [0, T], podemos aproximar la integral
de la siguiente forma: dividimos el intervalo [0, T] en N trozos iguales
_
(n1)T
N
,
nT
N
_
para n = 1, 2, . . . , N y aproximamos por el rea de los rectngulos. Obtenemos
_
T
0
f(t) dt
T
N
(f(0) +f(1) +. . . +f(N 1)) .
Como la funcin f es integrable
lim
N
T
N
N1
_
n=0
=
_
T
0
f(t) dt .
Igual que en otras ocasiones, as podemos aproximar el valor de la integral de la funcin utilizando
de manera adecuada una muestreo de la funcin.
Recordemos ahora que los coecientes de la serie de Fourier de f se calculan mediante integrales.
Bueno, pues vamos a aproximarlos de la misma forma. Si
c
k
=
1
T
_
T
0
f(t)e
ikw
0
t
dt ,
con w
0
= 2/T, entonces
c
k

1
T
T
N
N1
_
n=0
f[n]e
ikw
0
nT/N
=
N1
_
n=0
f[n]e
2ink/N
Si notamos F[k] = f[n]e
2ink/N
, tenemos que
c
k

1
N
F[k].
Este es el motivo de la siguiente denicin.
Denicin 10.15. Sea f[n] una seal discreta y peridica con perodo N. La sucesin
F[k] =
N1
_
n=0
f[n]e
2ink/N
, k Z
es la transformada discreta de f[n]
A F[k] lo notar N-DFT de f[n].
Ejemplo 10.16. Calcular la 2-DFT de f[n] = (1)
n
.
Sabemos que f[0] = 1 y f[1] = 1. Entonces, para k = 0,
Transformada discreta de Fourier La transformada de Fourier discreta
119
F[0] =
1
_
n=0
f[n]e
2ink/2
= 1 e
0
+(1) e
0
= 1 1 = 0.
Y para k = 1
F[1] =
1
_
n=0
f[n]e
2ink/2
= 1 e
0
+(1) e
i
= 1 +1 = 2.
Transformada discreta de Fourier
120
Tablas de transformadas de Fourier y Laplace Transformadas de Laplace
121
Tablas de transformadas de Fourier y La-
place
A
A.1 Transformadas de Laplace
Funcin f(t) Transformada F(s) Convergencia Condiciones
1
1
s
Re(s) > 0
t
n n!
s
n+1
Re(s) > 0
t
a (a +1)
s
a+1
Re(s) > 0 a C
e
at 1
s a
Re(s) > Re(a) a C
f(t) = sen(at)
L[f] =
a
s
2
+a
2
Re(s) > 0 a R
f(t) = cos(at)
L[f] =
s
s
2
+a
2
Re(s) > 0 a R
f(t) = senh(at)
L[f] =
a
s
2
a
2
Re(s) > a a R
f(t) = cosh(at)
L[f] =
s
s
2
a
2
Re(s) > a a R
Tablas A.1 Transformada de Laplace
Tablas de transformadas de Fourier y Laplace
122
ndice alfabtico
123
ndice alfabtico
a
argumento 8
argumento
principal 8
b
bola
abierta 11
cerrada 11
c
cadena 53
camino 46
campo de convergencia puntual 39
ciclo 53
ciclo
nulhomlogo 54
coecientes de Fourier 71, 77
conjugado 6
conjunto
abierto 12
acotado 11
cerrado 12
compacto 12
convergencia
absoluta 14
puntual 39
uniforme 39
convolucin 88, 110
criterio
de Abel 40
de la raz 40
del cociente 40
curva 45
curva
cerrada 46
equivalente 47
opuesta 46
regular 46
regular a trozos 46
curvas
yuxtaposicin de 46
d
Desigualdad
de Bessel 85
desigualdad
isoperimtrica 93
disco
abierto 11
cerrado 11
distancia 6
dominio 12
dominio
de convergencia 40
e
ecuacin
de Laplace 99
del potencial 99
Ecuaciones de CauchyRiemann 23
f
forma
cartesiana 4
forma polar 8
frmula
de Euler 29
de Moivre 10
integral de Cauchy 54
funcin
analtica 41
conjugada 21
continua 21
derivable 22
derivada 24
entera 24
holomorfa 24
mdulo 21
peridica 69
i
Identidad
de Parseval 103
Identidad de Parseval 88
ndice 53
ndice alfabtico
124
l
Lema
de Rieamann 51
lmite
puntual 39
logaritmo 30
logaritmo
derivable 52
principal 30
longitud
de una curva 46
m
mdulo 6
n
ncleo
de Dirichlet 85
de Fejr 90
nmeros
complejos 4
p
Paradoja de Bernoulli 5
parte
imaginaria 5
real 5
periodo 69
periodo
fundamental 69
polinomio trigonomtrico 71
polo 55
punto
interior 11
regular 55
punto de acumulacin 12
r
radio
de convergencia 40
raz n-sima principal 10
regla
de Barrow 45
de Barrow para integrales curvilneas 48
de la cadena 23
reparametrizacin 47
residuo 55
s
serie
binomial 43
de Fourier 77
de Laurent 57
trigonomtrica 75
simplemente conexo 54
singularidad
esencial 55
evitable 55
sucesin
convergente 12
de Cauchy 13
divergente 12
parcial 13
t
Teorema
de BolzanoWeierstrass 13
de Cauchy 54
de complitud 13
de derivacin de una serie de potencias 41
teorema
de Fejr 90
Teorema
de inversin 102
de los residuos 55
de Riemann 14
de Riemann-Lebesgue 85
de Shannon 117
de Taylor 42
fundamental del Clculo 45
transformada
de Fourier 101
de Laplace 107
v
valor absoluto 6
y
yuxtaposicin 46
125