Calculo Avanzado Caminos

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
ndice
1 Nmeros complejos 3
1.1 El cuerpo de los nmeros complejos 4 1.2 Representacin grfica. Conjugado y mdulo de
un nmero complejo 6 1.3 Forma polar y argumentos de un nmero complejo 7 1.4 Conjuntos 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
2.1
2.3
fas
Funciones complejas 21
Continuidad y lmite funcional 21
Ecuaciones de Cauchy-Riemann 23
24 2.5 Ejercicios 26
2.2 Derivada de una funcin de variable compleja 22

2.4 Primeras propiedades de las funciones holomor-
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 Ejercicios 34
4 Series de potencias. Funciones analticas 39
4.1 Sucesiones y series de funciones 39
4.2 Series de potencias complejas 40
cios 42
4.3 Ejerci-
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 residuos 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 coeficientes 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 Definicin de la transformada de
Fourier 100 8.3 Propiedades de la transformada de Fourier 102 8.4 Convolucin de funciones 103 8.5 Ejercicios 104
9 Transformada de Laplace 107
9.1 Definicin 107 9.2 Propiedades de la transformada de Laplace 108
caciones 110 9.4 Ejercicios 111
9.3 Ejemplos y apli-
10 Transformada discreta de Fourier 113

10.1 Muestreo de seales continuas 113
10.2 Reconstruccin de una seal 115
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
10.3 El
Nmeros complejos
Nmeros complejos
1
1
Introduccin
Los nmeros que hoy llamamos complejos fueron durante muchos aos motivo de polmicas y
controversias entre la comunidad cientfica. Poco a poco, por la creciente evidencia de su utilidad,
acabaron por ser comnmente aceptados, aunque no fueron bien comprendidos hasta pocas recientes. Nada hay de extrao en ello si pensamos que los nmeros negativos no fueron plenamente
aceptados hasta finales 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 afirm que ciertas ecuaciones algebraicas
slo tienen solucin en nuestra imaginacin y acu el calificativo imaginarias para referirse a
ellas. Desde el siglo XVI hasta finales del siglo XVIII los nmeros complejos o imaginarios son
usados con recelo, con desconfianza. 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 anfibio 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 definitivamente concede
a los nmeros complejos un lugar privilegiado dentro de las matemticas al probar en 1799 el
conocido como Teorema Fundamental del lgebra que afirma que toda ecuacin polinmica de
grado n con coeficientes 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, respectivamente, 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
coeficientes 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 fundamental 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
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, finalmente, la afirmacin 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

Definicin 1.1. Consideremos en el conjunto R2 las operaciones de adicin y producto definidas
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 definidas. 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

b
a
= (1, 0).
(a, b) a2 +b
2 , a2 +b 2
Todas estas propiedades se resumen diciendo que (R2 , +, ) (lase el conjunto R2 con las operaciones 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 R2 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 R2
conviven varias estructuras cada una con su terminologa propia. Por eso a los elementos de R2
se les llama vectores si se est considerando la estructura de espacio vectorial, puntos si fijamos
la atencin en la estructura topolgica o afn, pares ordenados cuando estamos pensando en R2
como conjunto sin ninguna estructura particular y nmeros complejos cuando se considera la
estructura de cuerpo antes definida. 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 R2 se le llama nmero complejo cuando se va a usar el producto antes
definido que es lo que en realidad distingue a los nmeros complejos de los vectores de R2 .
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 complejos 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 multiplicacin 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
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 identificacin (a, 0) = a.
Fjate que con dicha identificacin el producto a(c, d) tiene dos posibles interpretaciones: producto
del escalar real a por el vector (c, d) (estructura vectorial de R2 ) 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
i2 = (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
ahora es muy fcil de recordar pues
Parte real y parte

imaginaria
(a + ib)(c + id) = ac + i2 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 definicin usual i =
Acabamos de ver que i2 = 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:
q

i2 = 1 = ii = 1 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 reales 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 definido y dando por supuesto que dichas races verifican las
mismas propiedades que las de los nmeros reales positivos.
Antes de escribir 1 hay que definir qu significa z para z C. Cuando lo hagamos veremos

que la igualdad z w = zw, vlida cuando z, w R+ , no es cierta en general cuando z, w C.
Todava ms disparatado es definir i = 1 sin ni siquiera haber definido antes los nmeros
complejos. Sin embargo, y aunque parezca mentira, en muchos textos se define (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 definir relaciones de orden en C, pero no hay
ninguna de ellas que sea compatible con la estructura algebraica. En efecto, si suponemos que
Paradoja de Bernoulli
Representacin grfica. Conjugado y mdulo de un nmero complejo
Nmeros complejos
es una relacin de orden en C compatible con su estructura algebraica, como i 0 habra de ser
0 < i2 = 1 (esto todava no es contradictorio porque pudiera ocurrir que la relacin no respetara
el orden de R). Pero tambin 0 < 12 = 1, luego 0 < 1 + (1) = 0 y eso s que es contradictorio.
Por tanto, es imposible definir un concepto de nmero complejo positivo de forma que la suma y
el producto de complejos positivos sea positivo. Por ello no se define 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 grfica. Conjugado y mdulo de un nmero complejo

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
b
|z|
z = a bi
Ilustracin 1.1 Representacin de

un nmero complejo
Conjugado
Mdulo
Definicin 1.3. Si z = x + iy es un nmero complejo (con x e y reales), entonces el conjugado

q
de z se define como: z = x iy y el mdulo o valor absoluto de z, se define como: |z| = x 2 + y 2 .
q
Observa que x 2 + y 2 est definido sin ambigedad; es la raz cuadrada del nmero real no negativo x 2 + y 2 .
Geomtricamente z es sencillamente la reflexin 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 figura 1.1). La distancia entre dos nmeros complejos z y w se define como |z w|.
La representacin grfica de la suma es conocida. Dos nmeros complejos z = a + ib y w = c + id
determinan un paralelogramo cuya diagonal (ver figura 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
z+w
a+c
Ilustracin 1.2 Suma

de nmeros complejos
Demostracin. La comprobacin de estas afirmaciones es inmediata. Por ejemplo, para comprobar
que la propiedad f) se verifica, 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 afirmacin es suficiente 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 + 2 Re (zw) |z|2 + |w|2 + 2 |Re (zw)|
|z|2 + |w|2 + 2 |zw| = |z|2 + |w|2 + 2 |z| |w| = |z|2 + |w|2 + 2 |z| |w| =
= (|z| + |w|)2 .
Observacin 1.5. De la demostracin de la ltima afirmacin 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 R0 . Esta
2
igualdad, puede escribirse de forma equivalente multiplicando por w como z |w| = 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 2+i
2i 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

y
x
+ i |z| .
z = |z| |z|
Como
y
x
|z| , |z|
es un punto de la circunferencia unidad, puede escribirse en la forma
y
x
|z| , |z|
Nmeros complejos
= (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 grfica vemos en la
figura 1.3.
Argumento
Definicin 1.7.
Dado z C, z 0, hay infinitos nmeros t R que verifican la igualdad
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 t0 Arg(z), cualquier otro es de la forma t0 + 2k para algn
k Z, es decir, Arg(z) = t0 + 2 Z.
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

(
Im(z)
, si z
/ R
2 arctan Re(z)+|z|
arg(z) =
,
si z R .
Argumento principal
A dicho argumento se le llama argumento principal de z.

La comprobacin de las anteriores afirmaciones 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:
1tan2 (arg(z)/2)
cos(arg(z)) = 1+tan2 (arg(z)/2)

2
(Im(z))
= (|z|+Re(z))
(|z|+Re(z))2 +(Im(z))2
2 Re(z)(|z|+Re(z))
2|z|(|z|+Re(z))
Re(z)
|z|
, y
2 tan(arg(z)/2)
sen(arg(z)) = 1+tan2 (arg(z)/2)

2 Im(z)(|z|+Re(z))
= (|z|+Re(z))2 +(Im(z))2
= 2 Im(z)(|z|+Re(z))
2|z|(|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

arctan x ,
2 ,
y
arg(z) = arctan x ,
2,

arctan y + ,
x
si y < 0, x < 0
si y 0, x = 0
si x > 0
si y > 0, x = 0
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| =
z
|z|
1
2
o, lo que es lo mismo, cos(arg(z)) =

4 .
i
2
1+1=
2. Por tanto
= cos(arg(z)) + i sen(arg(z)),
1 ,
2
sen(arg(z)) = 12 , de donde se deduce que arg(z) =
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 saltan 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 definidas en R+ (el logaritmo,
las races) hace intervenir el argumento principal. Naturalmente, queremos que dichas extensiones
sigan siendo continuas en R+ y ello justifica 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. Consideremos 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 ( + )).
Nmeros complejos
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.
Frmula de
De Moivre
Proposicin 1.11. Si z es un complejo no nulo, es un argumento de z y n es un nmero entero,

se verifica que n Arg(zn ), es decir:
zn = |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()).
p
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
q
n
wk = |z| (cos(k ) + i sen(k ))
tal que (wk )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 wk . Veamos:
wk = wq 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 wk distintos y cualquier otro wq 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 definida por
h

i
arg(z)
arg(z)
n
z = |z|1/n cos
+ i sen
.
n
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
10
Nmeros complejos
Conjuntos en el plano complejo. Un poco de topologa

i
h

arg(z)+2k
arg(z)+2k
+
i
sen
zk = |z|1/n cos
n
n
k = 0, 1, 2, . . . , n 1.
Observa que definiendo u = cos(2 /n) + i sen(2 /n), los nmeros u0 = 1, u, u2 , . . . , un1 son
las races nsimas de la unidad. Podemos escribir las races nsimas de z en la forma zk =
z0 uk . 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, z0 , con giros sucesivos de amplitud 2 /n. Es decir, si
representamos todas las races nsimas de z obtenemos n puntos sobre una circunferencia de
p
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
La igualdad
1 1 = ii = 1 (1)(1) = 1 = 1.
z w = n zw equivale a que para algn entero k se verifique 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

Definicin 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}.
Definicin 1.13. Un conjunto A C se llama acotado si est contenido en algn disco centrado
en el origen o, lo que es lo mismo, si existe M R tal que |a| M para cualquier a A.
Definicin 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
11
Conjunto acotado
Sucesiones de nmeros complejos
Nmeros complejos
= {a A : a es punto interior de A} .
A
Conjunto abierto
Conjunto cerrado
b) Un conjunto C se dice que es un conjunto abierto si todo punto de es centro de algn
disco abierto contenido en , o sea, si A = A.

c) Un conjunto es cerrado si su complementario es abierto.
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
n
o
z C : Re(z)2 Im(z)2 > 3 .
Dominio
Conjunto compacto
Punto de acumulacin
Definicin 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 definicin equivalente aunque menos intuitiva de dominio es la siguiente. Un dominio es un conjunto
abierto no vaco, , cuya nica descomposicin en la forma = A B, 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.
Definicin 1.17. Dado un conjunto A C, se dice que un punto z C es un punto de acumulacin
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 {zn } la funcin dada por n , zn donde zn C. La
definicin de sucesin convergente es exactamente la misma que para sucesiones reales.
Sucesin convergente
Definicin 1.18. La sucesin de nmeros complejos {zn } converge a un nmero complejo z si

para todo > 0 existe un nmero natural n0 tal que para todo n n0 se verifica que |zn z| < .
Equivalentemente, {zn } converge a z si lim |zn z| = 0.
Recordemos que max{|Re(z)| , |Im(z)|} |z| |Re(z)| + |Im(z)|. Gracias a esta desigualdad tenemos que
|Re(zn ) Re(z)|
|zn z| |Re(zn ) Re(z)| + |Im(zn ) Im(z)| .
|Im(z ) Im(z)|
n
Deducimos que lim |zn z| = 0 si, y slo si, lim |Re(zn ) Re(z)| = 0 y lim |Im(zn ) Im(z)| = 0.
Hemos probado as el siguiente resultado.
Proposicin 1.19. Una sucesin de nmeros complejos {zn } es convergente si, y slo si, las sucesiones de nmeros reales {Re(zn )} y {Im(zn )} son convergentes. Adems en dicho caso
lim zn = z Re(z) = lim Re(zn ) y
Sucesin divergente
Im(z) = lim Im(zn ).

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 {zn } es una sucesin tal que para todo K > 0 existe un nmero natural n0 N de
forma que si n n0 entonces |zn | K. En dicho caso diremos que la sucesin {zn } es divergente
o que diverge y escribiremos {zn } . Observa que {zn } es lo mismo que {|zn |} +.
12
Nmeros complejos
Series de nmeros complejos
Los resultados que conoces para sucesiones de nmeros reales en los que no interviene el orden son tambin vlidos para sucesiones de nmeros complejos. Destacamos entre ellos los ms
importantes.
Proposicin 1.20.
a) Si {zn } z y {wn } w, entonces {zn + wn } z + w y {zn wn } zw. Adems, si zn 0
para todo n N y z 0, entonces {1/zn } 1/z.
b) Si {zn } diverge y {wn } est acotada entonces {zn + wn } diverge.
c) Si {zn } diverge y {wn } est separada de 0, esto es, existe > 0 y n0 N de forma que para
n n0 se cumple |wn | , entonces {zn wn } diverge.
lgebra de lmites
Recuerda que una sucesin parcial de una sucesin {zn } es cualquier sucesin de la forma {z (n) }
donde : N N es una aplicacin estrictamente creciente.
Sucesin parcial
Teorema 1.21.
vergente.
Teorema de Bolzano
Toda sucesin acotada de nmeros complejos tiene alguna sucesin parcial con-
Weierstrass
Definicin 1.22. Una sucesin de nmeros complejos {zn } se dice que es de Cauchy si para cada

nmero > 0 existe un nmero natural n0 N de forma que si p, q n0 entonces zp zq < .
Sucesin de Cauchy
Repitiendo el mismo argumento anterior, deducimos que {zn } es una sucesin de Cauchy si, y
slo si, {Re(zn )} y {Im(zn )} son sucesiones de Cauchy. Puesto que R es completo, ser de Cauchy
equivale a ser convergente, luego si {Re(zn )} y {Im(zn )} son de Cauchy convergen y, por tanto,
{zn } es convergente.
Teorema 1.23. Toda sucesin de Cauchy de nmeros complejos es convergente.
Teorema de complitud
1.6 Series de nmeros complejos

Dada una sucesin, {zn }, podemos formar a partir de ella otra sucesin, {Sn }, cuyos trminos se
obtienen sumando consecutivamente los trminos de {zn }, es decir:
S1 = z1 , S2 = z1 + z2 , S3 = z1 + z2 + z3 , . . . , Sn = z1 + z2 + . . . + zn .
La sucesin {Sn } as obtenida se llama serie de trmino general zn y es costumbre representarla
X
P
por
zn o, ms sencillamente, zn .
n1
Ni que decir tiene que, siendo las series sucesiones, todos los conceptos y resultados estudiados
ya para sucesiones conservan su misma significacin cuando se aplican a series. En particular, es
innecesario volver a definir qu se entiende cuando se dice que una serie es convergente. Si una
P
P
serie n1 zn es convergente se usa el smbolo
zn para representar el lmite de la serie que
Pn=1
suele llamarse suma de la serie. Naturalmente n=1 zn es el nmero complejo definido por
zn = lim {Sn } = lim
n=1
n
X
zk .
k=1
P
Como caso particular de la Proposicin 1.19, la serie n1 zn converge si, y slo si, las series
X
X
X
X
Re
zn =
Re(zn ) y Im
zn =
Im(zn )
n1
n1
n1
n1
son convergentes.
Conviene que recuerdes la condicin bsica necesaria para la convergencia de una serie. Si la serie
P
P
Pn1
zn converge entonces la sucesin zn = n
j=1 zj
j=1 zj es diferencia de dos sucesiones que
convergen al mismo lmite y por tanto converge a cero.
13
Series de nmeros complejos
Nmeros complejos
Proposicin 1.24. Condicin necesaria para que
Convergencia absoluta
zn sea convergente es que lim zn = 0.
Para las series es posible definir otro tipo de convergencia, la convergencia absoluta.
P
Definicin 1.25. Se dice que una serie de nmeros complejos n1 zn converge absolutamente
P
si la serie de nmeros reales positivos n1 |zn | es convergente.
P
Proposicin 1.26. Si una serie de nmeros complejos zn es absolutamente convergente entonces
dicha serie tambin es convergente.
Pn
P
Demostracin. Pongamos Sn = n
j=1 |zj | y supongamos que la sucesin {An } es
j=1 zj , An =
P
convergente, es decir,
zn es absolutamente convergente. Dado > 0, la condicin de Cauchy
para {An } nos dice que existe n0 N tal que

Aq Ap =
q
X
|zk | <
para todos p, q N tales que q > p n0 .
k=p+1
Deducimos que para todos p, q N tales que q > p no se verifica que

q
X

Sq Sp = zp+1 + zp+2 + + zq
|zk | <
k=p+1
Lo que prueba que la sucesin {Sn }, es decir, la serie

tanto, es convergente.
Teorema de Riemann
zn cumple la condicin de Cauchy y, por
El concepto de convergencia absoluta de una serie es mucho ms fuerte que el de convergencia

como se pone de manifiesto en el siguiente resultado que no demostraremos.
P
Teorema 1.27. La serie n1 zn converge absolutamente si, y slo si, para toda biyeccin : N
P
N, la serie n1 z (n) es convergente. Adems, en tal caso se verifica que
X
n=1
1.6.1
zn =
z (n) .
n=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 complejos. Pero, qu hacer cuando una serie no es absolutamente convergente? Naturalmente, podemos
intentar comprobar si la serie verifica la condicin de Cauchy, pero este procedimiento con frecuencia es difcil. Pues bien, los siguientes criterios de Dirichlet y Abel proporcionan informacin
sobre la convergencia no absoluta.
Criterio de Dirichlet
Criterio de Abel
Teorema 1.28. Sea {an } una sucesin de nmeros reales y {zn } una sucesin de nmeros complejos.
P
a) Si {an } es montona, converge a cero y la serie
zn tiene sumas parciales acotadas, entonces
P
an zn converge.
P
P
b) Si {an } es montona, acotada y la serie zn converge, entonces an zn es convergente.
Ejemplo 1.29. Es inmediato comprobar que la sucesin {(1)n } tiene sumas parciales acotadas. Si tomamos una sucesin montona verificando que lim{an } = 0, el criterio de Dirichlet
P
nos dice que la serie (1)n an es convergente. Te suena este criterio?
14
Nmeros complejos
Ejercicios
1.7 Ejercicios
1.7.1
Nmeros complejos
Ejercicio 1.1
Realiza las operaciones indicadas y expresa el resultado en la forma a + ib.
e) (4i)(13i)
1+2i
f) (1 + i)2
a) (7 2i)(5 + 3i)
b) (i 1)3
c) (1 + i)(2 + i)(3 + i)
d)
g) 1+2i
2i
h) i2 (1 + i)3
3+i
2+i
Ejercicio 1.2
Calcula la parte real e imaginaria de las funciones:
a) f1 (z) = z2
b) f2 (z) = z3
c) f3 (z) = z1
d) f4 (z) =
e) f5 (z) =
1
1+z2
z+i
zi
Ejercicio 1.3
Calcula las siguientes cantidades.

c) (1 + i)20

d) 2 + i( 2 + 1)
a) |(1 + i)(2 i)|

b) 43i
2i 5
Ejercicio 1.4
Calcula los nmeros complejos z tales que
a) Un nmero real;
1+z
1z
es:
b) Un nmero imaginario puro.
Ejercicio 1.5
Expresa en forma polar los siguientes nmeros complejos.
a) 3 i
b) 3 + i
3
c) 3+i
d)
Ejercicio 1.6
Expresa los siguientes nmeros en la forma a + ib:
15
1+i 3
(1+i)2
Ejercicios
Nmeros complejos
a) (1 + i 3)11

1+i 5
b) 1i
6

3
c) 1+i
1i
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,
/2,
si Im(z) > 0
si Im(z) < 0.
Ejercicio 1.9
Sea z = x + iy. Supuesto que |z| = 1, z 1, z i, prueba que
(

si 1 x + y > 0,
4 ,
arg z1
=
z+i
3
,
si 1 x + y < 0.
4
Ejercicio 1.10
Representa grficamente el conjunto de nmeros complejos que verifican la igualdad |z| = +
arg(z).
Ejercicio 1.11
Resuelve la ecuacin cuadrtica az2 +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) z3 = 1 + i
b) z4 = i
c) z3 = 1 + i 3
d) z8 = 1
e) z2 + 32iz 6i = 0
Ejercicio 1.13
Calcula las soluciones de la ecuacin z4 + (1 + i)z2 + 5i = 0.
Ejercicio 1.14
Identidad del
Demuestra la llamada igualdad del paralelogramo:
paralelogramo
16
Nmeros complejos
Ejercicios

|z + w|2 + |z w|2 = 2 |z|2 + |w|2
para todo z, w C y explica su significado 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|

z
w
b) |z + w| 21 (|z| + |w|) |z| + |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 complejos consiste en elevar al cuadrado ambos miembros de la desigualdad.
Ejercicio 1.17

za
< 1 si |z| < 1 y |a| < 1 y tambin si |z| > 1 y |a| > 1.
Prueba que 1az
Ejercicio 1.18
Estdiese para cada una de las igualdades siguientes si hay algn nmero complejo z C con
|z| = 1 que la verifica:

a) z3 + z2 + 1 = 3;

b) z4 2z i = 4;

c) z6 + z3 + 2 = 4 + 4 + 4z2 .
Ejercicio 1.19
Sea x un nmero real que no es mltiplo entero de 2 . Prueba las igualdades

sen n+1 x
n
2
a) 1 + cos(x) + cos(2x) + + cos(nx) = cos 2 x
x
sen
b) sen(x) + sen(2x) + + sen(nx) = sen
n
2x
n+1
x
2
sen x2
sen
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
de las expresiones:
2
n
+ i sen
2
n

. Dado un nmero entero m Z, calclese el valor
17
Ejercicios
Nmeros complejos
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() 4 sen3 ();
b) cos(4) = 8 cos4 () 8 cos2 () + 1;
c) sen(5) = 5 sen() 20 sen3 () + 16 sen5 ().
Ejercicio 1.22
Representar grficamente los conjuntos de nmeros complejos z que verifican:
a)
b)
c)
d)
e)
|z 3| 3;
2 < |z i| 3;
|arg(z)| < 6 ;
|z i| + |z + i| = 4
|z 1| = |z 2i|;

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

n
o

z C : z
z =
representa una circunferencia en el plano cuyo centro y radio debes calcular.
Ejercicio 1.24

z+w

2 + zw .
Prueba que |z| + |w| = 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 z1 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 |z1 | = |z2 | = |z3 | = 1. Prueba que z1 , z2 , z3 son vrtices de un tringulo equiltero si, y slo
si, z1 + z2 + z3 = 0.
18
Nmeros complejos
Ejercicios
Ejercicio 1.28
Prueba que tres nmeros complejos a, b, c son los vrtices de un tringulo equiltero si, y slo
si, verifican la igualdad a2 + b2 + c 2 = ab + bc + ca.
Ejercicio 1.29
Dados dos nmeros complejos distintos a, b C, justifica 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 A2 + 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) zn =
b) zn =
n + inan (a R, |a| < 1)
2n
n
e) zn =
in
2n
f) zn =

1
(a > 0)
a + i sen n

1
1
d) zn = n sen n + 5i cos n
c) zn =

1+i n
2
n
1 + i 1
2
2

Ejercicio 1.32
Sea {zn } una sucesin de nmeros complejos no nulos y sea n Arg(zn ). Supongamos que
lim n = y lim |zn | = . Justifica que
lim zn = (cos() + i sen()) .
Ejercicio 1.33

Calcula el lmite de la sucesin zn = 1 +
2+i 3
n
n
.
Sugerencia: Expresa zn = |zn | (cos(n ) + i sen(n )) y usa el ejercicio anterior.
19
Ejercicios
Nmeros complejos
Ejercicio 1.34

n
Calcula el lmite de la sucesin zn = n

2 cos 2n
+ i sen 2n
1 .

n
Sugerencia: Recuerda que el lmite de la sucesin n
2 1 es bien conocido.
Ejercicio 1.35
Sea z C, con |z| = 1, z 1. Prueba que la sucesin {zn } 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)
b)
c)
d)
e)
1
(1 + i)n
P cos(n)+i sen(n)
n
P cos(n)+i
sen(n)
n
2
P cos n +i sen n

P (1)n
n
1
+ i n
n+(1)n
n
n!
(in)n
(2+i)n 1
(1+2i)n n
P 1 1+i3 n
n 2
P
cos n2 + i
P (3+4i)n
2i(4+3i)n +7
f)
g)
h)
i)
j)
sen
n2

Ejercicio 1.37
Sea R con || < 1 y R. Calcula los lmites
X
n=0
n cos(n) y
n sen(n).
n=0
Ejercicio 1.38
P
Prueba que si la serie zn converge y, para todo n R, se verifica |arg(zn )| < , para algn
nmero 0 < < 2 , entonces dicha serie converge absolutamente.
Ejercicio 1.39
P
P 2
Supongamos que las series zn y zn
son convergentes y que Re(zn ) 0 para todo n N.
P
Demuestra que |zn |2 es convergente.
20
Funciones complejas
Continuidad y lmite funcional
Funciones complejas
2
Las funciones complejas no son ms que las funciones definidas en subconjuntos de R2 con valores
en R2 cuando en R2 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 , definidas para todo (x, y) = x + iy A por:
u(x, y) = Re f (x + iy),
v(x, y) = Im f (x + iy).
Naturalmente, f (z) = Re f (z) + i Im f (z).

La funcin conjugada de f es la funcin f dada por f(z) = Re f (z) i Im f (z). La funcin mdulo

de f es la funcin f dada por f (z) = f (z).
2.1 Continuidad y lmite funcional

Definicin 2.1. Se dice que la funcin f : A C es continua en un punto a A si para cada
> 0 existe un > 0 tal que
zA
= |f (z) f (a)| < .
|z a| <
Funcin continua
Usando una vez ms las desigualdades max{|Re(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.
Definicin 2.2. Dado un punto a de acumulacin de A, se dice que f : A C tiene lmite en a si
existe un nmero complejo L C con la propiedad de que para cada > 0 existe un > 0 tal que
z A
= |f (z) L| < .
0 < |z a| <
Simblicamente escribimos lim f (z) = L.
za
Usando las desigualdades anteriores y llamando a = + i, L = + i tenemos
lim
Re f (x, y) =
(x,y)(,)
lim f (z) = L
lim
Im f (x, y) =
za
(x,y)(,)
De forma anloga se pueden definir lmites infinitos o en infinito.

Definicin 2.3.
a) Se dice que f : A C tiene lmite en infinito si hay un nmero complejo L
piedad de que para cada > 0 existe un K > 0 tal que si |z| > K entonces
Simblicamente escribimos lim f (z) = L.
C con la pro

f (z) L < .
b) Se dice que f : A C tiene lmite infinito en infinito si para todo M > 0 existe K > 0 tal que si

|z| > K entonces f (z) > M. Simblicamente escribimos lim f (z) = .
z
c) Se dice que f : A C tiene lmite infinito en un punto a de acumulacin de A si para todo

M > 0 existe > 0 tal que
21
Lmite
Derivada de una funcin de variable compleja
Funciones complejas
z A
= |f (z)| > M
0 < |z | <
Simblicamente escribimos lim f (z) = .
za
Observa que hay una completa analoga formal entre las definiciones anteriores y las correspondientes para funciones reales de una variable real. Por ello, las reglas de clculo de lmites conocidas 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.
Continuidad del argumento principal
Proposicin 2.4. La funcin argumento principal es continua en C \ R

0 y discontinua en R .
Demostracin. Sabemos que para z C \ R

0 el argumento principal viene dado por

Im(z)
arg(z) = 2 arctan 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 \ R0 .

1
(1)n
Sea a R y zn = a+ n i. Claramente lim zn = a, pero como lim arg(z2n ) = lim arctan na +

n
n
n

1
= y lim arg(z2n1 ) = lim arctan na
= , concluimos que {arg(zn )} no converge y
n
por tanto el argumento principal es discontinuo en a.
2.2 Derivada de una funcin de variable compleja

Funcin derivable
Definicin 2.5.
existe el lmite
Sea A C y f : A C, se dice que f es derivable en un punto a A A0 si
lim
za
f (z) f (a)
C.
za
El valor de dicho lmite se representa por f 0 (a) y se llama derivada de f en el punto a.

La nica novedad de la definicin 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 definicin 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 0 (a) = u0 (a) + iv 0 (a).
Observa que hay una completa analoga formal entre el concepto de funcin derivable para funciones 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.
22
Funciones complejas
Ecuaciones de Cauchy-Riemann
Proposicin 2.6. Sean dos funciones f , g : A C con A C y a A A0 . Supongamos que f y g

son derivables en a. Entonces:
a) (f + g)0 (a) = f 0 (a) + g 0 (a)
b) (f g)0 (a) = f 0 (a)g(a) + f (a)g 0 (a)
0
f 0 (a)g(a)f (a)g 0 (a)
f
c) Si g(z) 0 para todo z A entonces g (a) =
.
2
(g(a))
Reglas de derivacin
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
compuesta h = g f : A C. Supongamos que f es derivable en a A A0 y g es derivable en
b = f (a) B B 0 . Entonces h es derivable en a y
Regla de la cadena
h0 (a) = g 0 (f (a)) f 0 (a) = g 0 (b)f 0 (a).
2.3 Ecuaciones de Cauchy-Riemann

El siguiente resultado pone de manifiesto 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) = Im f (x + iy). Equivalen las siguientes
afirmaciones:
a) f es derivable (en sentido complejo) en a = + i.
b) Las funciones u(x, y) = Re f (x + iy), v(x, y) = Im f (x + iy) son diferenciables en (, ) y
adems
u
v
(, ) =
(, )
x
y
u
v
(, ) =
(, )
y
x
En caso de que se cumplan i) y ii) se tiene f 0 (a) = f 0 ( + i) =
u
v
x (, ) + i x (, ).
Demostracin. Por definicin, f es derivable si, y slo si existe un nmero complejo, la derivada
de f en a, f 0 (a) = + i que verifica
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 R2 ), el lmite
anterior se escribe como sigue:
lim
k(u(x,y),v(x,y))(u(,),v(,))((x)(y),(x)+(y))k
k(x,y)(,)k
(x,y)(,)

o bien, como ((x ) (y ), (x ) + (y )) =
lim
(x,y)(,)

(u(x, y), v(x, y)) (u(, ), v(, ))

k(x, y) (, )k
23
x
y
=0

, se tiene que

x
y
= 0.
Ecuaciones de
CauchyRiemann
Primeras propiedades de las funciones holomorfas
Funciones complejas
La condicin anterior quiere decir que la aplicacin (x, y) , (u(x, y), v(x, y)) de R2 en R2
es diferenciable en (, ) y su diferencial es la aplicacin lineal dada por

x
(x, y) ,
.
y

Por tanto
es

es la matriz jacobiana de la aplicacin (x, y) , (u(x, y), v(x, y)) en (, ), esto
u
x (, )
= ,
u
y (, )
Finalmente f 0 (a) = f 0 ( + i) = + i =
= ,
v
x (, )
= ,
u
v
x (, ) + i x (, ).
v
y (, )
Este resultado explica porqu si defines, 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 u y v, la funcin as definida no sea derivable. Pues las funciones u y v no tienen por qu
verificar 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) = z|z|2 slo es derivable en cero.
c) f (x + iy) = ex (cos(y) + i sen(y)) es derivable en todo C y f 0 (z) = f (z) para todo z C.
2.4 Primeras propiedades de las funciones holomorfas

Funcin holomorfa
Funcin entera
Definicin 2.10. Sea un abierto de C. Una funcin f : C se dice que es holomorfa en si

f es derivable en todo punto de . En tal caso la funcin definida para z por z , f 0 (z) se
llama funcin derivada de f . Notaremos por H () el conjunto de todas las funciones holomorfas
en . Las funciones holomorfas en todo el plano complejo se llaman funciones enteras.
Ejemplo 2.11.
a) Las funciones polinmicas, es decir, las funciones de la forma
p(z) = c0 + c1 z + c2 z2 + + cn zn
donde ck C para 0 k n, son funciones enteras. La funcin derivada de p viene dada
por p 0 (z) = c1 + 2c2 z + 3c3 z2 + + ncn zn1 para z C.
p(z)
b) Las funciones racionales, es decir, las funciones de la forma R(z) = q(z) donde p(z) y
q(z) son funciones polinmicas, son holomorfas en su dominio natural de definicin =

z C : q(z) 0 . La funcin derivada de R viene dada por
R 0 (z) =
2.4.1
p 0 (z)q(z)p(z)q0 (z)
q(z)2
(z ).
Propiedades de las funciones holomorfas

Como consecuencia de las reglas de derivacin tenemos el siguiente resultado.
24
Funciones complejas
Primeras propiedades de las funciones holomorfas
Proposicin 2.12. El conjunto H () 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 H () tal que f 0 (z) = 0 para todo z . Fijado z0 ,
definimos
A = {z : f (z) = f (z0 )}.
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 definimos
: [0, 1] C por (t) = f ((1 t)a + tb). Como f es derivable, la regla de la cadena nos dice que
es derivable y
0 (t) = f 0 ((1 t)a + tb)(b a) = 0
Por ser una funcin compleja de variable real tenemos
0 (t) = (Re )0 (t) + i(Im )0 = 0
(t [0, 1])
Luego (Re )0 (t) = 0 y (Im )0 (t) = 0 para todo t [0, 1]. Puesto que Re y Im son funciones
reales de variable real definidas 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 manifiesto 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 H (). Equivalen las siguientes afirmaciones:
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) f 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 afirman que f 0 (z) = f 0 (x + iy) =
u
x (x, y)
u
i y
(x, y).
u
0
Puesto que Re(f ) es constante tenemos u
x (x, y) = 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 = 2 Re(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.
25
Ejercicios
Funciones complejas
(v) = (iv)

Si f = entonces f (z)f(z) = 2 . Si = 0 entonces f es idnticamente nula y hemos
2
acabado. Si 0 entonces f no se anula en ningn punto por lo que f(z) = 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 R2 en R2 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) = a0 + a1 z + + an zn es una funcin polinmica de grado n 1, se
verifica que lim P (z) = .
z
Ejercicio 2.2
Estudia la derivabilidad de la funcin f (x + i y) = x 3 + 3x y 2 + i(y 3 + 3x 2 y).
Ejercicio 2.3
Sea f : C C la funcin dada por f (z) =
continuidad y la derivabilidad de f .
x 3 (1+i)y 3 (1i)
x 2 +y 2
si z = x + i y 0, f (0) = 0. Estudia la
Ejercicio 2.4
2
Consideremos la funcin dada para z 0 por f (z) = zz , y f (0) = 0. En qu puntos verifica 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 H (). Supongamos que hay nmeros a, b, c R con a2 + b2 > 0, tales
que a Re f (z) + b Im f (z) = c para todo z . Prueba que f es constante en .
Ejercicio 2.7
Calcula una funcin f H (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.
26
Funciones complejas
Ejercicios
Ejercicio 2.8
Calcula una funcin f H ()tal que
a) Im f (x, y) = 12 log x 2 + y 2 ,
b) Im f (x, y) = xy,
c) Re f (x, y) = x 2 4x y 2 + 2y, o
d) Re f (x, y) = ex cos(y) + x.
Ejercicio 2.9
Encuentra una condicin necesaria y suficiente que deben cumplir los nmeros reales a, b, c
para que exista una funcin f H (C), verificando 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.
27
28
Funciones complejas elementales
La funcin exponencial

3
3.1 La funcin exponencial
Una de las formas de definir la exponencial de un nmero real x es mediante el lmite

x n
.
ex = lim 1 + n
n
Por tanto, una forma coherente de definir 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 wn = 1 + z/n y
!
y
n = arctan
1+
x
n
Sea n0 tal que para n n0 se verifique que Re(wn ) > 0. Entonces, para n n0 resulta que
n = arg(wn ). Por otra parte, el mdulo de wn viene dado por

y2
x 2
z 2
= 1+ n
+ n2 .
|wn |2 = 1 + n
Tenemos ahora, gracias a la frmula de De Moivre que

n/2

y2
x 2
z n
= 1+ n
+ n2
(cos(nn ) + i sen(nn )).
(wn )n = 1 + n
Pero, por el criterio de equivalencia logartmica, es

n/2

y2
x 2
+ n2
lim |wn |n = lim
1+ n
= exp lim
n
n
n 2
2x
n
x2
n2
Adems, la sucesin {n } es asintticamente equivalente a la sucesin
y2
n2

y/n
1+x/n
= ex .
. Por tanto
y/n
lim nn = lim n 1+x/n = y.
En consecuencia, tenemos que

z n
lim 1 + n
= lim (wn )n = lim |wn |n (cos(nn ) + i sen(nn )) = ex (cos(y) + i sen(y)).
n
Definimos, por tanto, la exponencial compleja como

ez = exp(z) = lim 1 +
n
Observa que |ez | = eRe(z) ,

z n
n
= eRe(z) (cos(Im(z)) + i sen(Im(z))) .
Im(z) Arg(ez ). En particular, obtenemos la frmula de Euler

eit = 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
29
Logaritmos complejos
ei + 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) =
eit +eit
,
2
sen(t) =
eit eit
2i
(t R)
Usando las ecuaciones de Cauchy-Riemann se deduce que la funcin exponencial es una funcin
entera y exp0 (z) = exp(z). Se prueba fcilmente que ez+w = ez ew para todos z, w C. Se deduce
que para todo z C y todo k Z es ez = ez+2k i . Lo que nos dice que la exponencial compleja
es una funcin peridica con perodo 2 i. Naturalmente, esto supone una gran diferencia con la
exponencial real que es una funcin inyectiva. Observa que la exponencial no se anula nunca pues
|ez | = eRe(z) > 0.
3.2 Logaritmos complejos

El comportamiento peridico de la exponencial compleja se va a traducir, como vamos a ver enseguida, en que la ecuacin ew = z, donde z es un nmero complejo no cero, va a tener infinitas
soluciones w C. Como
ew = eRe(w) (cos(Im(w)) + i sen(Im(w)))
Logaritmo
Logaritmo principal
Para que ew = z es necesario y suficiente que:

|ew | = |z|, esto es, eRe(w) = |z|, es decir, Re(w) = log |z| (logaritmo natural del nmero real
positivo |z|).
Arg (ew ) = 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 : ew = z} = {log |z| + i(arg(z) + 2k ), k Z}. Por tanto, existen
infinitos nmeros complejos w que satisfacen la ecuacin ew = z. Cualquiera de ellos se llama un
logaritmo de z. El conjunto de todos ellos lo representaremos por Log(z). De entre todos ellos
elegimos uno, llamado logaritmo principal, definido por
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)
5
= log(2) + i(arctan(1/ 3) + ) = log(2) + i 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.
30
Potencias complejas
Como la funcin z , arg(z) es continua en C \ R

0 y discontinua en R0 , se deduce que el logaritmo
principal es discontinuo en R0 y continuo en C\R0 . 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) =
ew eb
wb ,
h(b) = eb
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))
Hemos probado, pues, que log0 (z) =
1
z
= lim
za
log(z)log(a)
za
1
h(log(a))
1
a
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
define como ab = eb log(a) . Ahora, dados a, b C, con a 0, sabemos que hay infinitos logaritmos
de a, todos ellos son de la forma log(a) + i2k , con k Z. Por ello, cualquier nmero complejo
de la forma eb(log(a)+i2k ) donde k Z, es una potencia de base a y exponente b. De todas ellas
se destaca una:
ab = eb log(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

1
a1/n = exp n
log(a)

log|a|
arg(a)
= exp
+i n
n

arg(a)
arg(a)
= |a|1/n cos
+
i
sen
n
n
es el valor principal de la raz n-sima de a que antes hemos notado por n a. Esta definicin da
lugar a las funciones exponenciales complejas de base a, z , az , definidas por az = exp(z log(a))
que son holomorfas en todo el plano.
Por otro lado la funcin potencia compleja de exponente b, z , zb , definida por zb = exp(b log(z))
es holomorfa en C \ R
0.
Las funciones exponenciales cumplen evidentemente la igualdad az+w = az + aw pero las funciones potencias no cumplen, en general como vimos al estudiar las races, la propiedad (zw)b =
zb w b . Esta igualdad se da en el caso de que
exp(b log(zw)) = exp(b log(z) + b log(w))
o, puesto que la funcin exponencial es peridica de periodo 2 i, cuando se verifique que
b log(zw) = b log(z) + b log(w) + 2k i,
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
(zb )c = zbc no es cierta en general.
31
Funciones trigonomtricas complejas
3.4 Funciones trigonomtricas complejas

3.4.1
Seno y coseno complejos

it
it
it
it
Las ecuaciones de Euler: cos(t) = e +e

, vlidas para todo t R, tambin tienen
, sen(t) = e e
2
2i
sentido para nmeros complejos. Por ello, para todo z C definimos el coseno y el seno complejos
por:
cos(z) =
eiz +eiz
,
2
sen(z) =
eiz eiz
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 definidos como combinacin de exponenciales,
sus propiedades se deducen fcilmente a partir de las propiedades de la exponencial.
Identidad
fundamental
Frmulas de adicin
Proposicin 3.1. Sean z, w C.

a) cos2 (z) + sen2 (z) = 1.
b) cos(z) = cos(z), sen(z) = sen(z).
c) sen(z + w) = sen(z) cos(w) + sen(w) cos(z),
cos(z + w) = cos(z) cos(w) sen(w) sen(z).
d) Las funciones seno y coseno son derivables en todo C con
sen0 (z) = cos(z) y cos0 (z) = sen(z).
Relacin con las funciones hiperblicas
3.4.2
e) cosh(x) = cos(ix) y senh(x) = i sen(ix).

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 .
Tangente compleja
Por analoga con la tangente real definimos 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 definicin 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.
32
Funciones trigonomtricas inversas
eiw +eiw
2
= z eiw + eiw 2z = 0
puesto que exp(w) 0 para cualquier w, podemos multiplicar por eiw la expresin anterior:
e2iw 2zeiw + 1 = 0. Poniendo u = eiw , la ecuacin anterior podemos escribirla u2 2zu + 1 = 0,
cuyas races son
p
p
u = z z2 1 = z i 1 z2 .
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:

p
p
exp(iw) = z i 1 z2 iw Log z i 1 z2 cos(w) = z.
Naturalmente, hay infinitos valores de w que verifican la igualdad anterior. El conjunto de todos
ellos se representa por Arccos(z).
Arccos(z) =
1
i

p
Log z i 1 z2 .
De todos ellos elegimos el que corresponde al logaritmo principal y le llamamos valor principal de
Arccos(z) que est definido por:
arccos(z) =
1
i

p
log z + i 1 z2 .
Veamos que el arccos(z) extiende al arcocoseno real. En efecto, para z = x [1, 1] tenemos que:

p
p
p

1
2 = 1 log
x + i 1 x 2 + i arg x + i 1 x 2
i log x + i 1 x
i

p
= 1i log(1) + i arg x + i 1 x 2

p
= arg x + i 1 x 2 .
p
Observemos que (x, 1 x 2 ) es un punto de la mitad superior de la circunferencia unidad y una
p
medida del ngulo que forma el nmero complejo x + i 1 x 2 con el eje real positivo es precisamente el arco cuyo
es x.
coseno
Adems, para x [1, 1] se tiene que 0 arccos(x) .
p
Deducimos que arg x + i 1 x 2 = arccos(x).

p
Teniendo en cuenta que 1 z2 = exp 12 log(1 z2 ) , y que el logaritmo principal es holomorfo
p
2
en C \ R
0 , deducimos, por la regla de la cadena, que la funcin z , 1 z es holomorfa en el
conjunto
o
n
= z C : 1 z2
/ R
0 = C \ (] , 1] [1, +[) .

p
Anlogamente log z + i 1 z2 es derivable en el conjunto
n
o
p
1 = z C : z + i 1 z 2
/ R
0 .
p
p
Como z + i 1 z2 y z i 1 z2 son inversos, tenemos que

p
p
z R
2 R =
p
z + i 1 z2 R
=
i
1
z
= z ] , 1]
0
0
1 z2 iR
deducimos que 1 = C\] , 1] . Luego el arcocoseno es holomorfo en . La regla de la
cadena nos permite calcular su derivada
33
Ejercicios
1 + i 1z2
p
z + i 1 z2
p
1
1 z2 iz
1
p
p
=
= p
.
1 z2 iz 1 z2
1 z2
1
arccos (z) =
i
0
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
elmismo proceso an
terior, podemos aprovechar lo ya hecho y observar que sen(w) = cos 2 w , luego sen(w) = z

p
si, y slo si, 2 w 1i Log z i 1 z2 . Equivalentemente si
w

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

p
+ i log z + i 1 z2 ,
zC
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 mismo, z cos(w) = sen(w). El conjunto de todos ellos lo representaremos por Arctan(z). Escribiendo
la definicin de seno y coseno
eiw eiw
2i
= ze
iw
+eiw
2
Si z = i, la ecuacin anterior no tiene solucin por lo que consideramos z i. Multiplicando

por eiw = u la expresin anterior resulta
u2 1 = iz(u2 + 1) u2 (1 iz) = 1 + iz
puesto que z i podemos escribir u2 =
e2iw =
1+iz
1iz
1+iz
1iz ,
esto es,

1
1+iz
w 2i
Log 1iz
(z i).
Definimos 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
34
Ejercicios
Ejercicio 3.1
Expresa los 8 nmeros 1 i, 3 i en la forma r ei .
Ejercicio 3.2
Calcula el mdulo y los argumentos principales de los nmeros 1 + ei , 1 ei , aei donde
|| y a > 0.
Ejercicio 3.3
Calcula log(z) y Log(z) cuando z es uno de los nmeros siguientes
i, i, e3 , e5i , 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 , i3i , i i , 12i , 31i , ((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 z1 = log(z),
log(z)
iv) log( n z) = n ,
n
v) log(z ) = n log(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 justifica que Arg(z w) = Arg(z) + Arg(w), y que
Log(z w) = Log(z) + Log(w).
35
Ejercicios
Ejercicio 3.9
Estudia, interpretndolas convenientemente cuando sea necesario, las siguientes igualdades:
a) Log[ab ] = b Log(a),
b) log[ab ] = b Log(a),
c) log(ab ) = b log(a).
Ejercicio 3.10
Indica el error en los razonamientos siguientes: (z)2 = z2 ; por tanto 2 Log(z) = 2 Log(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 = i3 = 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 infinito? Dado w C con |w| = 1, estudia la existencia
del lmite lim exp(r w).
r +
Ejercicio 3.14
Sea f : C C una funcin verificando 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
verifiquen la condicin anterior. Dar un ejemplo de una funcin que verifique dicha propiedad
y no sea entera.
Ejercicio 3.15
Da condiciones necesarias y suficientes para que el conjunto [ab ] de las potencias de base a y
exponente b sea finito.
Ejercicio 3.16
Estudia qu relacin hay entre los conjuntos [am/n ] y [(am )1/n ], donde a C , m, n N,
n 2. Qu puede afirmarse, en particular, cuando m y n son primos entre s?.
36
Ejercicios
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 ez , 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).
37
38
Series de potencias. Funciones analticas
Sucesiones y series de funciones

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.
Definicin 4.1. Sea {fn } una sucesin de funciones con fn : A C C. Decimos que {fn }
converge puntualmente en un punto a A si la sucesin de nmeros complejos {fn (a)} es convergente. Llamaremos campo de convergencia puntual de la sucesin {fn } al conjunto
Convergencia puntual
C = {z A : {fn (z)} converge}

y llamamos lmite puntual a la funcin f : C C definida por
f (z) = lim {fn (z)}.
n
Se dice que {fn } converge uniformemente a una funcin f en un conjunto B A si
Convergencia uniforme

lim sup{fn (z) f (z) : z B} = 0
es decir, para todo > 0 existe un nmero n0 N tal que para todo n n0 se verifica que

fn (z) f (z) para todo z B.
4.1.2
Series de funciones
Dada una sucesin de funciones {fn } podemos formar otra cuyos trminos se obtienen sumando
consecutivamente los de la primera, esto es:
f1 , f1 + f2 , f1 + f2 + f3 , . . . , f1 + f2 + + fn , . . .
X
Dicha sucesin la representaremos por
fn y la llamaremos serie de trmino general fn .
n1
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 definicin.
P
La serie n1 fn se dice que converge absolutamente en un punto a A cuando la serie de los

P
mdulos, n1 fn (a), converge. Se define el campo de convergencia absoluta como el conjunto
X

fn (z) converge
zA:
n1
Al igual que para series de nmeros complejos la convergencia absoluta de una serie de funciones
implica convergencia pero no al contrario.
39
Convergencia absoluta
Series de potencias complejas
4.2 Series de potencias complejas

Dada una sucesin de nmeros complejos {cn }nN0 y un nmero a C consideremos la sucesin
de funciones
f0 (z) = c0 ,
fn (z) = cn (z a)n ,
n 1.
La serie definida por esta sucesin de funciones, es decir, la sucesin

n
o
c0 + c1 (z a) + c2 (z a)2 + + cn (z a)n
Series de potencias
Radio de convergencia
Criterio del cociente o de DAlembert
P
se representa por n0 cn (z a)n y se llama serie de potencias centrada en a. La sucesin {cn }
recibe el nombre de sucesin de coeficientes de la serie.
P
Lema 4.2. Supongamos un nmero positivo > 0 tal que la serie n0 |cn | n sea convergente.
P
Entonces se verifica que la serie n0 cn (z a)n converge absolutamente en el disco D(a, ).
P
Dada una serie de potencias n0 cn (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
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 {cn } supuesto que
a) cn 0 para todo n a partir de un ndice en adelante, y que
|cn+1 |
n |cn |
b) lim
= 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
X

cn (z a)n .
n0
Tenemos
lim
Criterio de la
raz o de Cauchy
Lema de Abel

cn+1 (z a)n+1
|cn (z
a)n |
= lim
cn+1
|z a| = L |z a| .
cn
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.
p
Teorema 4.4. Si lim n |cn | = L R+
0 {+} entonces R = 1/L con los mismos convenios
n
anteriores.
El siguiente lema es muy til para calcular la suma de algunas series.
P
Lema 4.5. Supongamos que la serie n0 cn z n converge en un punto z 0 de la frontera de su
disco de convergencia. Entonces se verifica que:
40
Series de potencias complejas
lim
r 1
0<r <1
cn (r z0 )n =
n=0
cn z0n .
n=0
P
Teorema 4.6. Sea a un nmero complejo, n0 cn (z a)n una serie de potencias no trivial y
su dominio de convergencia. Sea f : C la funcin suma de la serie, esto es,
f (z) =
cn (z a)n ,
Teorema de derivacin de una serie de

potencias
z .
n=0
Entonces f es indefinidamente 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(n 1) (n k + 1)cn (z a)nk ,
z .
n=k
En particular f (k) a = k! ck o, lo que es lo mismo, ck =
f (k) a
k!
para todo k N {0} .
Definicin 4.7. Sea f una funcin indefinidamente derivable en un abierto C y sea a .

La serie de potencias
Serie de Taylor
X f (n) (a)
(z a)n
n!
n0
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 definir el concepto de funcin analtica.
Definicin 4.9. Sea C un abierto, se dice que una funcin compleja f : C es 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
X
(b)
cn (z b)n
n0
cuyo dominio de convergencia contiene a D(b, b ) tal que

f (z) =
(b)
cn (z b)n
para todo z D(b, b ).
n=0
En virtud del teorema anterior, deducimos que una funcin analtica f en es indefinidamente
derivable en y todas sus derivadas son tambin analticas. Adems se tiene que
(b)
cn
f (n) (b)
n! .
Equivalentemente, una funcin f es analtica en un abierto si es indefinidamente 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 holomorfas. Para que comprendas bien su alcance conviene que tengas en cuenta los siguientes ejemplos.
Ejemplo 4.10.
a) Una funcin derivable una vez pero no dos veces derivable.
Sea f : R R la funcin dada por:
41
Funcin analtica
Ejercicios
(
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:

x, si x < 0
f 0 (x) =
x,
si x 0
Es decir, f 0 (x) = |x|, que no es derivable en x = 0.
b) Una funcin indefinidamente derivable cuya serie de Taylor en un punto no converge a la
funcin.
Sea f : R R la funcin dada por:
(
exp (1/x 2 ), si x < 0
f (x) =
0,
si x 0
La funcin f es indefinidamente 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 de Taylor
Teorema 4.11. Sea C un abierto y f : C una funcin derivable (holomorfa) en . Entonces

se verifica que f es analtica en . Con ms precisin:
a) f es indefinidamente 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) =
X
f (n) (a)
(z a)n para todo z D(a, r ) .
n!
n=0
Este resultado pone de manifiesto 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) F A(I)
En variable compleja esta cadena de conjuntos se reduce a dos C() y H () = F A().
4.3 Ejercicios
Ejercicio 4.1
Estudia la convergencia puntual de la serie de funciones
X z+i n
zi
con z i.
n1
Ejercicio 4.2
Estudia la convergencia puntual de la serie de funciones
X
n1
42
1
n

2zi n
,
2+iz
con z 2i.
Ejercicios
Ejercicio 4.3
Estudia la convergencia puntual de las series de funciones:
X
a)
exp(nz),
b)
c)
n0
X
n0
X
sen(nz)
3n
exp(nz2 ).
n0
Ejercicio 4.4
Calcula el radio de convergencia de las siguientes series de potencias:
a)
b)
X 2n+3 n 2
2n+6
n1
X
d)
n! n
nn z
e)
z2n
(1+2i)n
f)
c)
n0
X
an z n
(2n)! n
(n!)2 z
n0
n1
(2n)!n2n n
2n n!(3n)! z
n0
n1
Ejercicio 4.5
Estudia el comportamiento en la frontera del disco de convergencia de las series:
X
a)
zn ,
b)
c)
d)
n1
X
n1
X
n1
X
zn
n ,
zn
n2 ,
(1)n 3n1
.
log(n) z
n2
Ejercicio 4.6
Expresa z1 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 . Justifica que (1 + z)a = 1 +
a(a1)...(an+1) n
z ,
n!
n=1
43
para |z | < 1.
Serie binomial
Ejercicios
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:
z2
.
a) f (z) = (z+1)
2

2
b) f (z) = log z 3z + 2 .
c) f (z) = cos2 (z).
d) f (z) = arctan(z).
Ejercicio 4.10
Prueba que log(1 + z) =
(1)n+1 n
z ,
n
z D(0, 1).
n=1
a) Deduce que para todo ] , [ se tiene:
(1)n+1
n

cos(n) = log 2 cos( 2 ) ;
(1)n+1
n
sen(n) =
n=1
n=1
b) Cambiando z por z, deduce que para todo ]0, 2 [ se tiene:
cos(n)
n

= log 2 sen( 2 ) ;
n=1
X
n=1
44
sen(n)
n
Integracin de funciones complejas
Integracin de funciones de variable real con valores complejos

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 finito de puntos. Definimos la integral de en [a, b] como el nmero complejo
Zb
Zb
Zb
(t) dt =
Re (t) dt + i
Im (t) dt.
a
Indicamos a continuacin las propiedades principales de la integral que acabamos de definir. 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
Zb
Zb
Zb
(t) dt.
(t) dt +
( (t) + (t)) dt =
Linealidad
Proposicin 5.2. Sea : [a, b] C integrable, entonces

Z

b Zb

|| sup {|(t)| : a t b} (b a).
a
a
Acotacin
Proposicin 5.3. Si a < c < b, y : [a, b] C es integrable, se verifica que

Zb
Zc
Zb
.
+
=
Aditividad respecto
Teorema 5.4. Si : [a, b] C es continua, la funcin dada por G(t) =

es una primitiva de en [a, b].
Proposicin 5.5.
al intervalo
t
a
(s) ds para t [a, b]
Sea F : [a, b] C derivable con derivada integrable, entonces

Zb
F 0 (t) dt = F (b) F (a).
Teorema fundamental del Clculo

Regla de Barrow
Proposicin 5.6.
Entonces
Sea : [c, d] R una funcin estrictamente creciente con derivada continua.
Frmula de cambio
de variable
Z (d)
Zd
(s) ds =
(c)
((t)) 0 (t) dt.
5.2 Curvas en el plano

Definicin 5.7. Una curva en C es una aplicacin continua : [a, b] C. Hay que distinguir
entre la curva y su imagen (tambin llamada traza o soporte), que notaremos por = ([a, b]).
45
Curva
Curvas en el plano
Curva cerrada
Curva regular
Al punto (a) se le llama punto inicial de la curva y a (b) punto final. Ambos reciben el nombre
de extremos de la curva.
Se dice que es una curva cerrada cuando sus extremos coinciden, esto es, (a) = (b).
Diremos que una curva es regular si la aplicacin que la define es derivable con derivada continua,
esto es, es de clase C 1 .
(b)
Camino
Longitud de
una curva
Definicin 5.8. Una curva : [a, b] C es regular a trozos, y la llamaremos un camino, si existe
una particin de [a, b], a = t0 < t1 < . . . < tn1 <
tn = b de manera que |[tk1 , tk ] es regular para
1 k n.
Definicin 5.9. Si : [a, b] C es un camino se
b

0 (t) dt.
define la longitud de por `() =
a
(a)
Ilustracin 5.1
5.2.1
Operaciones con curvas

Curva opuesta de
Curva opuesta
Definicin 5.10. Llamaremos curva opuesta de una dada : [a, b] C, y la notaremos por
: [a, b] C, a la curva definida 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 final de y viceversa.
Yuxtaposicin de curvas
Yuxtaposicin de curvas
Definicin 5.11. Dadas dos curvas : [a, b] C y : [c, d] C con (b) = (c), definimos una
nueva curva que llamaremos yuxtaposicin de y o tambin suma de y , y la notaremos
por , como

(t),
si a t b
( )(t) =
(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 definida por
46
Integral curvilnea
(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 definido ningn orden.
Es fcil comprobar que
[z, w] = [w, z]
b) Circunferencia de centro a y radio r . Es la curva : [ , ] C definida por
(t) = a + r eit
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 , z1 , . . . , z n . Es la curva
[z0 , z1 ] [z1 , z2 ] . . . [zn1 , zn ]
y la representaremos por [z0 , z1 , . . . , zn ]. La poligonal es un camino, es decir, es una curva
regular a trozos.
Curvas equivalentes
Definicin 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) 0 (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 .
Dos curvas equivalentes tienen la misma traza, mismo punto inicial y mismo punto final.
5.3 Integral curvilnea

Definicin 5.14. Sea : [a, b] C un camino y f : C una aplicacin continua. Definimos
la integral de f a lo largo del camino como el nmero complejo
Zb
Z
f (z) dz =
f ( (t)) 0 (t) dt.
Observemos que t , f ((t)) 0 (t) es una funcin de variable real con valores complejos, luego la
integral de la derecha es la integral que ya hemos definido antes.
En lo que sigue notaremos C( ) el espacio vectorial complejo de las funciones complejas continuas en .
Propiedades
Proposicin 5.15. Si : [a, b] C y : [c, d] C son curvas equivalentes y f C( )se verifica
que
f (z) dz =
f (z) dz.
Demostracin. En efecto, puesto que = la integral de f a lo largo de est definida. 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
47
Reparametrizacin
Integral curvilnea
Zb
Z
f (z) dz =
"
f ( (t)) 0 (t) dt =
Z 1 (b)
=
1 (a)
Zd
=
c
t = (s)
dt = 0 (s) ds
f ( ((s))) 0 ((s)) 0 (s) ds

Z
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 definiciones dadas

Z b+dc
Z
f (z) dz =
f (( )(t)) ( )0 (t) dt
Zb
Z b+dc
f ((t)) 0 (t) dt +
f ( (t b + c)) 0 (t b + c) dt
a
b

s =tb+c
=
ds = dt
Zb
Zd
=
f ((t)) 0 (t) dt +
f ( (s)) 0 (s) ds
c
Za
Z
=
f (z) dz +
f (z) dz.
=
Acotacin bsica
Proposicin 5.17. Dada una funcin compleja f ,

f (z) dz = f (z) dz.

`().

Proposicin 5.18.
f (z) dz max f (z) : z
Demostracin. En efecto
Z
Z
Z

b

b

0
f ((t)) 0 (t) dt
f (z) dz =
f ((t)) (t) dt

a

a
Zb
0

(t) dt
max{f (z) : z }
a

= max{f (z) : z } `().
Linealidad
Proposicin 5.19. Dadas f , g funciones complejas y , C, se tiene que

Z
Z
Z
( 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.
Regla de Barrow
para integrales curvilneas
Teorema 5.20. Sea C un abierto, f una funcin continua en y supongamos que hay una
funcin F H () tal que F 0 (z) = f (z) para todo z . Sea : [a, b] C un camino en (esto
es, ), entonces
Z
f (z) dz = F ((b)) F ((a)) .
Demostracin. Puesto que es un camino existe una particin a = t0 < t1 < . . . < tn1 < tn = b
0
de forma que |[tk1 , tk ] es una aplicacin de clase C 1 , esto es, |[t
es continua. Teniendo en
k1 , tk ]
0
cuenta que la funcin f ((t)) (t) es continua en cada intervalo [tk1 , tk ] y que
(F )0 (t) = F 0 ((t)) 0 (t) = f ((t)) 0 (t)
48
Ejercicios
para todo t [tk1 , tk ], resulta

Zb
Z
f (z) dz =
f ((t)) (t) dt =
n
X
n Z tk
X
k=1
tk1
f ((t)) 0 (t) dt
(F ((tk )) F ((tk1 ))) = F ((b)) F ((a))
k=1
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
la integral curvilnea de f es la misma para todos los caminos en que tienen los mismos puntos
R
inicial y final. En particular, para todo camino cerrado en se verifica que f (w) dw = 0.
Condicin necesaria
para la existencia de
primitivas
Proposicin 5.22. La funcin suma de una serie de potencias no trivial tiene primitivas en el
dominio de convergencia de la serie.
P
Demostracin. Supongamos que n0 cn (z a)n es una serie de potencias no trivial. Sea su
P
n
dominio de convergencia y para z sea (z) =
n=0 cn (z a) la funcin suma. El teorema
de derivacin de series de potencias nos dice que la funcin
F (z) =
cn
n+1 (z
a)n+1
n=0
es una primitiva de en .
Con este resultado es fcil dar un ejemplo de una funcin que no tiene primitiva. Sea f (z) =
para z C . Tenemos que
Z
Z
1
ieit dt = 2 i 0
f (z) dz =
eit
C(0,1)
1
z
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 suficiente.
Teorema 5.23. Sea f una funcin continua en un abierto . Las siguientes afirmaciones son
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

2it,
si 0 t 1,
c) (t) =
2i + 4(t 1), si 1 t 2.
49
Caracterizacin de la
existencia de primitivas
Ejercicios
Ejercicio 5.2
Calcula
Re(z) dz siendo : [0, 1] C el camino dado por:
a) (t) = t + it;
b) (t) = e2 it
Ejercicio 5.3
Calcula
z2 dz siendo = [i, 1 + i, 3 + 3i].
Ejercicio 5.4
Calcula
C(0,1)
1
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
Z 2
C(0,r )
log(1+z)
z
dz = 0. Deduce que

log 1 + r 2 + 2r cos() d = 0.
Ejercicio 5.9
Sea f holomorfa en un abierto C y verificando que |f (z) 1| < 1, z . Justifica que
Z
f 0 (z)
f (z) dz = 0 para todo camino cerrado en .
50
Frmula de Cauchy. Teorema de los residuos

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 H () tal que F 0 (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
indefinidamente 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) = z1 es holomorfa en el dominio C y no tiene primitivas en
dicho dominio.
En efecto, tenemos que
Z
Z
1
ieit dt = 2 i 0
f (z) dz =
eit
C(0,1)
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 justificar que una funcin tiene primitivas en un cierto dominio sera necesario comprobar 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 .
R
Se suponen hiptesis adicionales sobre o sobre para concluir que f (w) dw = 0 para toda
funcin f H ().
Pretendemos, en definitiva, dar respuesta a los dos problemas siguientes:
R
a) Caracterizar los caminos cerrados en un abierto tales que f (z) dz = 0 para toda funcin
f holomorfa en .
R
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 verifica
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
los puntos de dicho abierto excepto en un conjunto finito de puntos (en los que slo sabemos que es
continua) entonces se verifica que dicha funcin es derivable en todos los puntos del abierto.
R
Supongamos que es un camino cerrado en un abierto y se verifica que f (z) dz = 0 para
cualquier funcin f holomorfa en . Entonces si z es un punto que no est en , como la funcin
51
Lema de Riemann
ndice . . .
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

(
f (w)f (z)
, si w z
wz
h(w) =
f 0 (z),
si w = z,
es holomorfa en (pues es continua en y holomorfa en \{z} por lo que el lema de Riemann nos
R
asegura que es holomorfa en todo ) y deber ser h(w) dw = 0. Supuesto que z 6 tenemos
que
Z
Z
Z
Z
f (w)f (z)
f (w)
1
0=
h(w) dw =
dw
=
dw
f
(z)
wz
wz
wz dw
de donde
Z
f (z)
1
wz
Z
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
1
empezar estudiando la integral
dw donde es un camino cerrado y z 6 . Vamos a ver
wz
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 6 . Entonces existe
una funcin derivable h : [a, b] C tal que eh(t) = (t) para todo t [a, b]. En consecuencia
0 (t)
h0 (t) = (t) para t [a, b].
Logaritmo derivable
La funcin h se llama un logaritmo derivable de . Observa que la funcin h tiene que ser de la

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 6 . Pongamos (t) = (t) z. Tenemos
Z
1
wz
Zb
dw =
a
Zb
dt =
a
0 (t)
(t)
dt.
Sea h(t) = log | (t)| + i(t) un logaritmo derivable de .

0
(t)
, para todo t [a, b] lo que nos perEntonces h0 (t) = (t)
mite calcular la integral anterior sin ms que aplicar la regla
de Barrow
Z
1
wz dw =h(b) h(a)
0 (t)
(t)z
= log | (b)| + i(b) log | (a)| i(a)

=i((b) (a)) = i2k .
Ilustracin 6.1
La ltima igualdad es consecuencia de que (a) y (b) son argumentos del mismo nmero complejo (a) = (b) luego su diferencia es un mltiplo entero de 2 .
Hemos justificado la igualdad
Z
1
(b)(a)
1
= k Z,
wz dw =
2
2 i
52
ndice . . .
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.
Definicin 6.4. Sea : [a, b] C un camino cerrado y z 6 . Se define el ndice del punto z
respecto del camino como
Z
1
1
Ind (z) = 2
wz dw.
i
ndice
Hemos justificado 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 definida para z C \ por
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
Propiedades del ndice
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 finita 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 definicin, 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.
Z
f (z) dz =
n Z
X
f (z) dz.
j=1
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
cerrados. En el ejemplo anterior era un ciclo pues estaba formado por circunferencias.
Si es un ciclo se define el ndice de un punto z 6 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
X
Indj (z).
j=1
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.
53
Ciclo
. . . frmula integral de Cauchy
Ciclo nulhomlogo
Definicin 6.7. Dado un abierto C y un ciclo en , diremos que es nulhomlogo respecto

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 verifica:
a)
f (z) dz = 0.
f (w)
1
2 i wz
Frmula de Cauchy
b) f (z) Ind (z) =
Frmula de Cauchy
c) f (k) (z) Ind (z) =
dw, para todo z \ .
f (w)
k!
2 i (wz)k+1
dw, para todo z \ y para todo k N.
para las derivadas
Frmula de Cau-
Corolario 6.9. Sea un abierto en C, f H () y supongamos que D(a,

R) . Entonces para
todo z D(a, R) y para todo k N se verifica que
f (w)
1
a) f (z) = 2
wz dw,
i
C(a,R)
chy para una

circunferencia
Simplemente conexo
b) f (k) (z) =
f (w)
k!
2 i C(a,R) (wz)k+1
dw.
Definicin 6.10. Un dominio se llama simplemente conexo si todo camino cerrado en es

nulhomlogo respecto de .
Intuitivamente, un dominio simplemente conexo es un dominio que no tiene agujeros (en trminos ms precisos: su complemento no tiene componentes conexas acotadas). En la prctica son
fciles de reconocer.
Teorema de Cauchy
para dominios sim-
Teorema 6.11.
dicho dominio.
Toda funcin holomorfa en un dominio simplemente conexo tiene primitivas en
plemente conexos
Consecuencias
Es cmodo introducir la siguiente terminologa.
Definicin 6.12. Dos ciclos , en un abierto se dicen homolgicamente equivalentes respecto
de si se verifica que Ind (z) = Ind (z) para todo z C \ .
El teorema de Cauchy afirma que si y son ciclos en un abierto , homolgicamente equivalentes
respecto de , entonces
Z
Z
f (z) dz =
f (z) dz
para toda funcin f H (). 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 figura 6.2
54
Singularidades aisladas . . .
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 figura tenemos:
Ind (a) = 1, Ind (b) = 2, Ind (c) = 1.

c
Consideremos las circunferencias C(a, ), C(b, ) y C(c, )

que se presentan en la figura y formemos el ciclo
Ilustracin 6.2 Un camino complicado
= 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
Z
Z
Z
Z
Z
f (z) dz =
f (z) dz =
f (z) dz + 2
f (z) dz
f (z) dz.
C(a,)
C(b,)
C(c,)
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
R
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 f (z) = w C. En tal caso, definiendo f (a) = w tenemos, en virtud del lema de
za
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 .
b) Existe lim f (z) = . En tal caso se dice que a es un polo de f .
Singularidad evitable
c) No existe el lmite de f en a. Se dice entonces que a es una singularidad esencial de f .
Singularidad esencial
Definicin 6.13. Sea un abierto en C, a un punto de y sea f una funcin holomorfa en
\ {a}. Supongamos que D(a,

r ) . Se define el residuo de f en a como
Z
1
Res(f (z), a) = 2
f (z) dz.
i
Residuo
za
Polo
C(a,r )
Observa que la integral en esta definicin 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,
Z
Z
f (z) dz =
f (z) dz.
C(a,r )
C(a,s)
Teorema 6.14. Sean C un abierto, S = {a1 , a2 , . . . , aq } un conjunto finito de puntos en y

sea f una funcin holomorfa en \ S. Si es un ciclo en nulhomlogo respecto de entonces
55
Teorema de los residuos
Z
f (z) dz = 2 i
q
X
Res(f (z); aj ) Ind (aj ).
j=1
k , ) y D(a
k , ) A = {ak }
Idea de la demostracin. Tomamos > 0 de forma que D(a
para k = 1, . . . , q. Para cada k llamamos mk = Ind (ak ) y k = mk C(ak , ). Construimos el ciclo
P
= kj=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
Z
Z
Z
0=
f (z) dz = f (z) dz
f (z) dz.

Despejando obtenemos
Z
Z
f (z) dz =
f (z) dz =
q
X
q Z
X
j=1
f (z) dz
Z
mj
j=1
f (z) dz = 2 i
C(aj ,)
q
X
Ind (aj ) Res(f (z); aj )
j=1
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 definir
f (a) = lim f (z) con lo que f es holomorfa en y si D(a,

r ) , como consecuencia del
za
f (z) dz = 0.
teorema de Cauchy tenemos que
C(a,r )
b) Supongamos que a es un polo de f . Entonces se verifica que hay un nmero natural k N

tal que lim (z a)k f (z) = w 0. Se dice que a es un polo de orden k de la funcin f . Sea
za
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) =
dn (z a)n , z D(a, r )
n=0
donde dn =
g (n) (a)
n! .
Deducimos que
f (z) =
k1
X
n=0
dn
(za)kn
dn (z a)nk ,
z D(a, r ) \ {a}.
(6.1)
n=k
Es usual emplear la siguiente notacin para la serie (6.1). Dicha serie se escribe en la forma
f (z) =
cn (z a)n z D(a, r ) \ {a}.
(6.2)
n=k
Observa que con ello tenemos que c1 = dk1 . Si ahora integramos f (z) en la circunferencia
n+1
C(a, r ) y tenemos
en cuenta que (z a)n tiene primitiva (za)
para todo n Z con n 1
n+1
por lo que
C(a,r )
(z a)n dz = 0 para todo entero n 1, obtenemos que las integrales de
56
todos los trminos de la serie (6.2) son nulas excepto la que corresponde al sumando para
n = 1. Por tanto
Z
f (z) dz =
C(a,r )
Z
C(a,r )
n=k
cn (z a)n dz =
Z
C(a,r )
c1
za
dz = 2 ic1 .
Deducimos que
1
2 i
c1 =
Z
f (z) dz = Res(f (z), a).
C(a,r )
Lo interesante es que podemos calcular c1 = dk1 derivando. Pues

g (k1) (a)
(k1)!
c1 =
1
lim dzdk1
(k1)! za
h
i
(z a)k f (z) .
Hay que calcular el lmite indicado porque al evaluar la derivada dzdk1 [(z a)k f (z)] en el punto
a suele aparecer una indeterminacin.
c) Supongamos, finalmente, 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) =
cn (z a)n , z D(a, r ) \ {a}
(6.3)
n=
donde hay infinitos coeficientes cn distintos de cero. Razonando igual que antes tambin se
obtiene en este caso que c1 = Res(f (z), a). Aunque ahora no disponemos de una forma para
calcular c1 que no sea obtener el desarrollo 6.3.
Definicin 6.15. Una serie del tipo
k=n
X
ck (z a)k se dice que es una serie de Laurent centrada
k=n
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
X
+
X
ck (z a)k =
an (z a)n .
n=
k=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).
Entonces hay una nica serie de Laurent centrada en a verificando que
f (z) =
+
X
cn (z a)n ,
para todo z A(a; r , R).
n=
Adems los coeficientes de la serie vienen dados por:

Z
f (w)
1
cn = 2
i
(wa)n+1 dw, n Z
C(a,)
siendo r < < R.
57
Desarrollo en serie
de Laurent
Aplicaciones . . .
Polos de cocientes de funciones holomorfas

a) En muchas ocasiones la funcin que integramos viene dada como cociente de dos funciones
g(z)
holomorfas f (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 k 1 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) =
h(n) (a)
(z
k!
a)n =
n=0
h(n) (a)
(z
k!
a)n
n=k
=(z a)k
(n)
(a)
(z
k!
a)nk .
n=k
Poniendo para z D(a, r ) (z) =

y (a) 0. Deducimos que
n=k
h(n) (a)
(za)nk , la funcin
k!
g(z)
za (z)
lim (z a)k f (z) = lim
za
g(a)
(a)
es holomorfa en D(a, r )
por lo que f tiene en a un polo de orden k.

b) Supongamos que lim (z a)f (z) = w, entonces se verifica que Res(f (z), a) = w. En particular,
za
g(z)
supongamos que f (z) = h(z) donde g, h son funciones holomorfas en un abierto , y suponemos 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
g(z)
za
za h(z)
Res(f (z), a) = lim (z a) h(z) = g(a) lim

za
g(a)
h0 (a)
6.4 Aplicaciones del teorema de los residuos al clculo de integrales

Z
6.4.1
R(cos(t), sen(t)) dt
Integrales del tipo
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) =
Por tanto, se verifica que
Z
R
C(0,1)
eit eit
2i
e2it 1
2ieit
z2 +1 z2 1
2z , 2iz
1
iz
cos(t) =
eit +eit
2
e2it +1
2eit
Z
dz =
R(cos(t), sin(t)) dt.
2

+1 z2 1
1
En consecuencia, si notamos f (z) = R z 2z
, 2iz iz
, tenemos que f (z) es una funcin racional
por lo que sus nicas posibles singularidades son polos. Para calcular lanintegral slo nos
o interesan
los polos que estn dentro del disco unidad. Supongamos que estos son z1 , z2 , . . . , zq . El teorema
de los residuos nos dice que
58
Aplicaciones . . .
Z
R(cos(t), sin(t)) dt = 2 i
q
X
Res(f (z), zj ).
j=1
1
Ejemplo 6.17. Se trata de calcular la integral I =
dt. Segn acabamos de ver
5+4 cos(t)
Z
Z
Z
1
1
1
1
1
1
I=
dz
=
dz
=
2
iz
i
i
(2z+1)(z+2) dz.
2z2 +5z+2
C(0,1)
C(0,1)
C(0,1) 5 + 2 z +1
z
Por tanto
I = 1i 2 i Res
=
1
1
(2z+1)(z+2) , 2
1
lim
z1/2 (z+2)
Z +
6.4.2
= 2
1
lim (z + 1/2) (2z+1)(z+2)
z1/2
2
3.
P (x)
dx
Q(x)
Integrales del tipo
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 {z1 , z2 , . . . , zq } es el conjunto de los ceros del polinomio Q que estn en el
semiplano superior se verifica que
Z +
P (x)
Q(x)
dx = 2 i
q
X
Res
P (z)
Q(z) , zj
j=1
Para ello vamos a aplicar el teorema de los residuos a la

+ i
i 2
+ i
P (z)
en el abierto = C. Sea la pofuncin f (z) = Q(z)
ligonal (, , ) = [, , + i, + i, ] donde
3
1
, y son nmeros positivos que tomamos suficientemente 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 (,,) (zj ) = 1 para
Ilustracin 6.3 (, , )
1 j q.
El teorema de los residuos nos dice que
Z
(,,)
P (z)
Q(z)
dz = 2 i
q
X
Res
P (z)
Q(z) , zj
j=1
Observa que en esta igualdad el lado de la derecha es independiente de , y . Por tanto, ser
suficiente para nuestros propsitos probar que cuando , y tienden hacia + se verifica que
Z +
Z
P (z)
P (x)
lim
dz
=
Q(z)
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

P (z)
M
|z|
(6.4)
|z| K = f (z) = Q(z)
2 .
59
Aplicaciones . . .
En lo que sigue, suponemos que , y son mayores que K.

Pongamos ahora
1 = [, + i], 2 = [ + i, + i] y 3 = [ + i, ] (ver figura 6.3) y
notamos Ik =
f (z) dz. Tenemos
k
2 i
q
X
Res
P (z)
Q(z) , zj
Z
=
(,,)
j=1
P (z)
Q(z)
P (x)
Q(x)
dz =
dx + I1 + I2 + I3
As,

q
Z

X

P (z)
2 i
,
z
Res
j

Q(z)

j=1
P (x)
Q(x)

dx
|I1 | + |I2 | + |I3 |.

(6.5)
Acotamos ahora I1 . 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)
M
2 +t 2
Por tanto,
Z
Z
Z

f ( + it) dt
|I1 | =
f
(
+
it)i
dt

0
M
2 +t 2
dt =
h
it=
arctan t
t=0
M
2
La integral I3 se acota de la misma forma, resultando |I3 | M

2.
Por ltimo, para acotar I2 se usa que para z [ + i, + i] tenemos, por ser > K, que

M
|z| K por lo que, en virtud de la desigualdad (6.4), se tiene que f (z) 2 . Por tanto
|z|
Z
Z
Z

f (t + i) dt
|I2 | =
f (z) dz
[+i,+i]

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

q
Z

X

M
P (x)
P (z)
2 i

, zj
dx
Res Q(z)

Q(x)
2 +

j=1
M
t 2 + 2
M
2
dt ( + ) M2 .
+ ( + ) M2 .
Como en esta desigualdad la parte de la izquierda no depende para nada de podemos fijar y
y tomar lmite cuando + con lo que obtenemos

q
Z

X

M
P (x)
M
P (z)
2 i

,
z
dx
(6.6)
Res
j

2
Q(z)
Q(x)
+ .

j=1
Tomando ahora lmite para + y + en la expresin de la derecha, se obtiene que la
P (x)
es impropiamente integrable en R y adems
funcin Q(x)
Z +
P (x)
Q(x)
dx = 2 i
q
X
Res
P (z)
Q(z) , zj
j=1
Observa que la acotacin (6.6) proporciona una cota del error que se comete al aproximar la integral
Z
+
P (x)
P (x)
dx
por
una
integral
parcial
Q(x)
Q(x) dx.
Ejemplo 6.18. Queremos calcular la integral

Z +
1
I=
(x 2 +a2 )(x 2 +b2 ) dx
60
Aplicaciones . . .
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

1
1
I = 2 i Res (z2 +a2 )(z
2 +b 2 ) , ia + 2 i Res
(z2 +a2 )(z2 +b2 ) , ib .
Tenemos que
Res
1
(z2 +a2 )(z2 +b2 ) , ia
1
= lim (z ia) (zia)(z+ia)(z
2 +b 2 )
zia
= lim
zia
Anlogamente Res
1
(z2 +a2 )(z2 +b2 ) , ib
I = 2 i
6.4.3
Integrales del tipo
1
2ib(a2 b2 ) .
1
2ia(b2 a2 )
eix P (x)
Q(x)
1
(z+ia)(z2 +b2 )
1
2i a(b2 a2 )
Luego
1
2ib(a2 b2 )
a b(a+b)
dx
Suponemos que
a) P y Q son funciones polinmicas sin factores comunes y > 0.
Z +
eix P (x)
Q(x)
dx = 2 i
q
X
Res
eiz P (z)
Q(z) , zj
j=1
Para ello vamos a aplicar el teorema de los residuos a la

iz
+ i
i 2
+ i
P (z)
funcin f (z) = e Q(z)
en el abierto = C. Sea la poligonal (, , ) = [, , + i, + i, ] donde
3
1
, y son nmeros positivos que tomamos suficientemente 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 (,,) (zj ) = 1 para
Ilustracin 6.4 (, , )
1 j q.
El teorema de los residuos nos dice que
Z
(,,)
eiz P (z)
Q(z)
dz = 2 i
q
X
Res
eiz P (z)
Q(z) , zj
j=1
Observa que en esta igualdad el lado de la derecha es independiente de , y . Por tanto, ser
suficiente para nuestros propsitos probar que cuando , y tienden hacia + se verifica que
Z
Z +
eiz P (z)
eix P (x)
lim
dz
=
Q(z)
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

P (z)
M
|z|
|z| K = Q(z)
(6.7)
En lo que sigue, suponemos que , y son mayores que K.
61
Aplicaciones . . .
Pongamos ahora
1 = [, + i], 2 = [ + i, + i] y 3 = [ + i, ] (ver figura 6.4) y
notamos Ik =
f (z) dz. Tenemos
k
2 i
q
X
Res
eiz P (z)
Q(z) , zj
Z
=
j=1
(,,)
eiz P (z)
Q(z)
dz =
eix P (x)
Q(x)
dx + I1 + I2 + I3
As,

q
Z
iz
X

P (z)
2 i
, zj
Res e Q(z)

j=1
eix P (x)
Q(x)

dx
|I1 | + |I2 | + |I3 | .

(6.8)
Acotamos ahora I1 . 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) P (+it)
M
Q(z) = Q(+it) |+it|
M
.

Adems ei(+it) = et . Por tanto,
Z
Z
Z

f ( + it) dt
|I1 | =
f
(
+
it)i
dt

0
Met
dt =
it=
et
t=0
M 1e
M
La integral I3 se acota de la misma forma, resultando |I3 |
.
Por ltimo, para acotar I2 se usa que para z [ + i, + i] tenemos, por ser > K, que

M
M
|z| K por lo que, en virtud de la desigualdad (6.7), se tiene que f (z) |z|
. Adems, para

iz
z [ + i, + i] es Im(z) = . Por tanto e = e

. Deducimos que
Z
Z
Z

Me
f (t + i) dt
f (z) dz
dt = ( + ) M
.
|I2 | =
e
[+i,+i]

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

q
Z ix
iz
X

e P (x)
P (z)
2 i
M +
, zj
dx
Res e Q(z)

Q(x)

j=1
.
+ ( + ) M
e
Como en esta desigualdad la parte de la izquierda no depende para nada de podemos fijar y
y tomar lmite cuando + con lo que, teniendo en cuenta que > 0, obtenemos

q
Z ix

i z
X

e P (x)
e P (z)
2 i
1 M +M .
,
z
dx
(6.9)
Res
j

Q(z)
Q(x)

j=1
Tomando ahora lmite para + y + en la expresin de la derecha, se obtiene que la
ix
P (x)
funcin e Q(x)
es impropiamente integrable en R y adems
Z +
eix P (x)
Q(x)
dx = 2 i
q
X
Res
eiz P (z)
Q(z) , zj
j=1
Observa que la acotacin (6.9) proporciona una cota del error que se comete al aproximar la integral
+ ix
ix
e P (x)
e P (x)
Q(x) dx por una integral parcial
Q(x) dx.
Ejemplo 6.19. Calcular la integral I =
cos(x)
a2 +x 2
62
dx.
Aplicaciones . . .
Suponemos que a > 0 y > 0. Como I = Re

+
eix
2
2
a +x

+
dx , calcularemos J =
eix
2
2
a +x
dx.
1
Segn acabamos de ver, teniendo en cuenta que la funcin a2 +z2 solamente tiene un polo simple
en el semiplano superior en el punto ai, se sigue que
iz

iz
J =2 i Res ae2 +z2 , i = 2 i lim (z ai) ae2 +z2
zai
=2 i lim (z
zai
Z +
6.4.4
Integrales del tipo
eiz
ai) (zai)(z+ai)
= ea
= I = e a .
sen(x)P (x)
dx
x Q(x)
Suponemos que
a) P y Q son funciones polinmicas con coeficientes reales sin factores comunes, P (0) 0, y > 0.
b) grado(Q) grado(P ).
Z +
q
iz

iz

X
e
P
(z)
e
P
(z)
sen(x)P (x)
dx = Im 2 i
Res zQ(z) , zj + i Res zQ(z) , 0 .
x Q(x)
j=1
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 figura 6.5.
Procediendo como en el caso anterior, considerando ahoiz
+ i
i 2
+ i
P (z)
ra la funcin f (z) = ezQ(z)
teniendo en cuenta que
Ind (,,,) (0) = 0, el teorema de los residuos nos di1
3
ce que
Z
(,,,)
eiz P (z)
zQ(z)
dz = 2 i
q
X
Res
eiz P (z)
zQ(z) , zj
j=1
Ilustracin 6.5 (, , , )
Las acotaciones que hemos obtenido antes en los segmentos 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:

!

Z
Z
q

Z
X

M
M
1
2 i

f (x) dx
f (z) dz
f (x) dx
+ .
(6.10)
Res f (z), zj

j=1
Tomando en esta desigualdad lmites para + y + se deduce que
2 i
q
X

Z
Res f (z), zj
Z
f (z) dz =
j=1
Sea w = Res(f (z), 0) = lim z, f (z) =

z0
tenemos que
P (0)
Q(0) .
w

eit
(6.11)
Teniendo en cuenta el sentido de recorrido de
f (z) dz + iw =

Como f eit
f (x) dx.
Z +
f (x) dx +
Z
f (eit )
w
eit

it

e f eit w , deducimos que
63
ieit dt.
Aplicacin . . . a la suma de series
Z
Z

it

e f (eit ) w dt max zf (z) w : |z| =
f (z) dz + iw

0

y como lim (zf (z) w) = 0, se sigue que lim max zf (z) w : |z| = = 0. Hemos probado as
z0
0
que
Z
lim
f (z) dz = iw = i Res(f (z), 0).
0
Teniendo en cuenta la igualdad (6.11) deducimos que

!
Z
Z +
q

X
lim
f (x) dx +
f (x) dx = 2 i
Res f (z), zj + i Res(f (z), 0).
0
(6.12)
j=1
Tomando ahora partes imaginarias y teniendo en cuenta que P y Q tienen coeficientes reales
! Z
Z
Z +
Z +
sen(x)P (x)
sen(x)P (x)
Im
f (x) dx +
f (x) dx =
dx
+
dx
x Q(x)
x Q(x)
y teniendo en cuenta tambin que la funcin x ,

definirla en 0 igual a
P (0)
Q(0)
Z
lim
sen(x)P (x)
xQ(x)
es continua en x = 0 sin ms que
por lo que
sen(x)P (x)
x Q(x)
Z +
dx +
sen(x)P (x)
x Q(x)
Z +
!
dx
sen(x)P (x)
x Q(x)
dx
concluimos que
Z +
sen(x)P (x)
x Q(x)
dx = Im 2 i
q
X

Res f (z), zj + i Res(f (z), 0) .
j=1
Ejemplo 6.20.
Z +
sen(x)
x

iz
dx = Im i Res ez , 0 = Im i lim z
z0
eiz
z

= .
6.5 Aplicacin del teorema de los residuos a la suma de series
6.5.1
Series del tipo

a)
b)
c)
En
+
X
P (n)
Q(n)
P y Q son funciones polinmicas sin factores comunes.

grado(Q) grado(P ) + 2.
Q(k) 0 para todo k Z.
estas condiciones si {z1 , z2 , . . . , zq } es el conjunto de los ceros del polinomio Q se verifica que
+
X
P (n)
Q(n)
q
X

P (z)
Res cotan( z) Q(z)
, zj .
j=1
Para probarlo consideremos la funcin cotan( z). Dicha funcin tiene un polo simple en cada
entero k Z y lim (z k ) cotan( z) = 1.
zk
64
Aplicacin . . . a la suma de series
P (z)
Aplicamos el teorema de los residuos a la funcin f (z) = cotan( z) Q(z) y al camino cerrado
(es un cuadrado)
n = [(n +
1
1
1
1
)(1 i), (n + 12 )(1 i), (n + 2 )(1 + i), (n + 2 )(1 + i), (n + 2 )(1 i)]
2
y obtenemos para n suficientemente grande que
Z
q
n
X
X
f (z) dz = 2 i
Res(f (z), k) +
Res(f (z), zj ) .
n
k=n
(6.13)
j=1
Como para k Z es
P (z)
=
Res(f (z), k) = lim (z k) cotan( z) Q(z)
zk
P (k)
= Q(k)
cos(k ) lim
zk
zk
sen( z)
y, en las hiptesis hechas, se comprueba que lim

n
que
n
X
lim
n
X
Res(f (z), k) = lim
k=n
P (k)
Q(k)
+
X
k=n
P (k)
Q(k)
P (k)
Q(k)
cos( z)
lim (z k) sen(
z)
zk
1
cos(k ) cos(k
) =
P (k)
Q(k)
f (z) dz = 0, deducimos de la igualdad (6.13)
P (n)
Q(n)
q
X

P (z)
, zj .
Res cotan( z) Q(z)
j=1
Ejemplo 6.21. Sea > 0.

+
X
1
n2 +2

1
1
= Res cotan( z) z2 +
2 , i Res cotan( z) z 2 +2 , i
=
e +e
e e
De donde
1
n2 +2
1
2
e +e
e e
1
2
n=1
Ahora deducimos que
1
n2
= lim
n=1
1
n2 +2
1
0 2
= lim
n=1
e +e
e e
1
2
2
6
donde el ltimo lmite puede calcularse por la regla de LHpital.
6.5.2
Series del tipo
+
X
(1)n
P (n)
Q(n)
Suponemos que
a) P y Q son funciones polinmicas sin factores comunes.
c) Q(k) 0 para todo k Z.
En estas condiciones si {z1 , z2 , . . . , zq } es el conjunto de los ceros del polinomio Q se verifica que
+
X
P (n)
(1)n Q(n)
=
q
X

P (z)
Res cosec( z) Q(z)
, zj .
j=1
65
Ejercicios
6.6 Ejercicios
Ejercicio 6.1
Calcula la integral
ez dz
3
z(1z)
para = C(1/4, 1/2), = C(1, 1/2) y = C(2, 3).
para = C(0, 1/3), = C(1, 1/3) y = C(0, 2).
Ejercicio 6.2
Calcula la integral
cos(z)
2
z (z1)
Ejercicio 6.3
Calcula
sen(2z)
2
2
C(0,1) (z /4) (z +9)
dz.
Ejercicio 6.4
Calcula
dw
m
C(0,r ) (wa)(wb)
donde m N y |b| < r < |a|.
Ejercicio 6.5
Dado n N, calcula las siguientes integrales:
Z
Z
sen(z)
dz
;
n
z
C(0,1)
C(0,1)
ez ez
zn
Z
dz ;
C(1, 21 )
log(z)
zn
dz.
Ejercicio 6.6
Sean a, b C tales que |a| < |b|. Obtngase el desarrollo en serie de Laurent de la funcin
1
, con z C \ {a, b} en cada uno de los anillos :
f (z) = (za)(zb)
a)
b)
c)
d)
A(0; |a| , |b|),

A(0; |b| , +),
A(a; 0, |b a|) y
A(a; |b a| , +).
Ejercicio 6.7
Obtngase el desarrollo en serie de Laurent de la funcin f (z) =
los anillos A(1; 0, 2) y A(1; 2, +).
1
(z2 1)2
Ejercicio 6.8
Clasificar las singularidades de las funciones f : C siguientes:
(n N),
a) f (z) = 1cos(z)
zn = C
1
n
b) f (z) = z sen z
= C (n N),
c) f (z) =
log(1+z)
z2
= C \ {x R : x 1},
66
con z C \ {1, 1} en
d) f (z) =
e) f (z) =
1
z(1e2 iz )
z
tan( z)
Ejercicios
= C \ Z,
= C \ Z.
Ejercicio 6.9
Prueba, usando el teorema de los residuos, que para 0 < b < a se tiene:
Z

p
sen2 (t)
2
2 .
a+b cos(t) dt = b2 a a b
0
67
68
Series de Fourier
Introduccin
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 fijarnos 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 fundamental 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 infinita, de funciones sinusoidales surge en el siglo XVIII de la mano de numerosos cientficos como DAlembert,
D. Bernoulli o Fourier entre otros, para intentar resolver ecuaciones diferenciales asociadas a fenmenos 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 fluido 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

Definicin 7.1. Una funcin f es peridica con periodo T (o T -peridica) si existe un nmero
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 dado 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 peridicas con periodo 2 . Las funciones sen(2x) y cos(2x) tambin son peridicas pero su periodo
fundamental es . En general las funciones del tipo
69
Funcin peridica
Fenmenos peridicos
Series de Fourier
sen(nt + ), cos(nt + )
son peridicas con periodo fundamental T =
La suma de funciones peridicas es peridica?
2
.
Observacin 7.3. En un primer vistazo parece claro que si la grfica de una funcin se repite cada
vez que avanzamos T1 unidades y la de la segunda funcin se repite cada T2 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 verificarse 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 T1 y
T2 . No es difcil comprobar que si T1 , T2 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:
A sen(2 t + ).
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
1
fcilmente que el periodo de esta funcin es T = :

1
1
A sen 2 (t + ) + =A sen 2 t + 2 +
.
=A sen(2 t + + 2 )
=A sen(2 t + )
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(n x/T ) y cos(n x/T ) son
peridicas con perodo 2T y, por tanto, las funciones sen(2n x/T ) y cos(2n x/T ) son peridicas
con perodo T .
Aunque lo olvidemos a veces, las funciones cons1
tantes tambin son peridicas, de hecho con cualquier perodo.
Cuando intentamos describir fenmenos peridiT
T2
2
cos algo ms complejos es necesario recurrir a combinaciones lineales de funciones sinusoidales de la
1
forma anterior, esto es, funciones del tipo
Ilustracin 7.1 Funciones peridicas
N
N
X
X
An sen(n + n ),
Bn cos(n + n )
n=1
n=1
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
70
Series de Fourier
Un poco de historia
N
X
An sen(2 nt + n )
n=1
Esta forma de escribir sumas trigonomtricas tiene la ventaja de presentar de forma explcita la
amplitud, frecuencia y fase. El inconveniente es la dificultad del clculo de dichos coeficientes. La
forma usual de escribir una suma trigonomtrica es
a0
2
N
X
[an cos(2 nt) + bn sen(2 nt)]
n=1
Pronto entenders que el motivo para aadir la constante

notacin.
a0
2
es una cuestin de comodidad en la
Definicin 7.4. Un polinomio trigonomtrico con periodo T y frecuencia = 2 /T es una

funcin de la forma
f (t) =
1
2 a0
N
X
[an cos(nt) + bn sen(nt)] .
n=1
Los coeficientes an y bn se llaman coeficientes 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) = 2 sen(t) cos(t) y cos(2t) = cos2 (t) sen2 (t).
P
Si f (t) = 12 a0 + N
n=1 [an cos(nt) + bn sen(nt)] es un polinomio trigonomtrico, f es una
funcin T -peridica. Adems, si tomamos
q

bn
2
n = a2n + bn
y n = arctan a
( , ]
n
para n = 1, 2, . . . , N se tiene que an cos(nt) + bn sen(nt) = n cos(nt + ), con lo que
f (t) = 0 + 1 cos(t + 1 ) + 2 cos(2t + 2 ) + . . . + N cos(Nt + N )
donde 20 = a0 .
A 1 cos(t + 1 ) se le llama primer armnico o modo fundamental de vibracin, los coeficientes
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 grfica hacia la izquierda) o retrasadas (cuando n < 0, lo que corresponde a deslizar la grfica 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 firmemente establecido dentro las Matemticas y ya
ha demostrado su utilidad en la resolucin de numerosos problemas en Mecnica. Por ejemplo,
71
Polinomio trigonomtrico
Un poco de historia
Series de Fourier
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. Problemas ms complejos como el movimiento de muchos cuerpos, el estudio de fluidos, 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 cientficos de aquel tiempo. Los medios continuos se modelaban con un nmero
finito de partculas n y despus se haca tender n a infinito. 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 simplificada 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 verificar la ecuacin diferencial
2u
t 2 (x, t)
= c 2 xu2 (x, t),
p
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 fijos 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 fijo 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 verificar
2
2
u(x,t)
= u(x,t)
0 < x < , t > 0
t
x 2 ,
u(x, 0) = f (x)
(7.1)
u(x,0)
=0
0x
u(0, t) = u(L, t) = 0 t 0
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
fe(x+ct)+fe(xct)
condicin inicial, obtuvo que la solucin tena la forma u(x, t) =
donde slo se
2
e
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. Independientemente, 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 definidas 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
72
Series de Fourier
Un poco de historia
u(x, t) =
an sen(nx) cos(nt).
n=1
De nuevo hay que observar que los conceptos de convergencia de series de funciones no estaban
planteados en aquel momento. A fin 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) =
an sen(nx), x [0, ].
n=1
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 investigaciones 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 fija,
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 verificar que
2
1 u(x,t)
u(x,t)
0 < x < L, 0 < t

x 2 = K t ,
(7.2)
u(0,
t)
=
u(L,
t)
=
0,
0t
u(x, 0) = f (x),
0xL
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=
2u
x 2
1 u
K t
= f 00 (x)g(t)
1
0
K f (x)g (t).
Como la solucin u(x, t) = 0 no nos interesa, debe verificarse 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 00 (x)
f (x)
1
K
g 0 (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 00 (x)
f (x)
1 g 0 (t)
K g(t)
73
= ,
Un poco de historia
Series de Fourier
con lo que hemos transformado nuestra ecuacin original en dos ecuaciones diferenciales:
f 00 (x)
f (x)
= = f 00 (x) + f (x) = 0,
(7.3)
= = g 0 (t) + Kg(t) = 0.
(7.4)
y
1 g 0 (t)
K g(t)
La ecuacin (7.4) ya la conoces y tiene como solucin general g(t) = aeKt . 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:
p
p
f (x) = a1 sen x + a2 cos x ,
donde a1 y a2 son constantes. Combinando estas dos expresiones, tenemos que
p

p
u(x, t) = aeKt a1 sen x + a2 cos x .
Para acabar de resolver el problema necesitaramos conocer los valores de a, a1 , a2 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 definicin de f ,
p
p
0 = f (0) = a1 sen 0 + a2 cos 0 = 0 + a2 = a2 .
Si a2 = 0, entonces a1 debe ser distinto
para que f no sea constantemente cero. Adems

de cero
L y por tanto L debe ser un cero de la funcin seno:

f (L) = 0, con lo que 0 = f (L) = a1 sen
p
L = n , n Z = =
n2 2
L2
= n .
En consecuencia, para cada entero n tenemos un posible valor de . Dicho de otra forma,
q

f (x) = a1 sen
n x
es solucin de f 00 (x) + n f (x) = 0, f (0) = f (L) = 0. Resumiendo, cualquier funcin de la forma
un (x, t) = a1 sen
n x
L
Kn2 2 t
L2
verifica la ecuacin del calor y la primera condicin. Adems cualquier combinacin lineal tambin
las verifica. Por tanto
u(x, t) =
N
X
bn un (x, t) =
N
X
bn a1 sen
n x
L
Kn2 2 t
L2
n=1
n=1
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
X
bn a1 sen
n x
L
n=1
No es cierto que cualquier funcin se escriba de esta forma ni mucho menos. El acierto de Fourier
fue sustituir la suma finita por una suma infinita. Ya habamos comentado que esta idea haba
74
Series de Fourier
Series de Fourier
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 infinita era
convergente para convenientes coeficientes 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 coeficientes?
c) En qu sentido se entiende la convergencia de la serie?
d) Cmo se recupera la funcin a partir del conocimiento de los coeficientes?
e) Qu deben verificar los coeficientes 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
a0
2
[an cos(n0 t) + bn sen(n0 t)]
(7.5)
n1
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
X
f (t) = C +
(7.6)
n1
Utilizando que
sen(x) cos(y) =
cos(x) cos(y) =
1
2
1
2
sen(x) sen(y) =

sen(x + y) + sen(x y) ,

cos(x + y) + cos(x y) , y
1
2

cos(x y) cos(x + y)
se obtiene lo siguiente.
Proposicin 7.5.
a)
b)
c)
d)
e)
T /2
T /2
T /2
T /2
T /2
T /2
T /2
T /2
T /2
T /2
cos(n0 t) sen(m0 t) dt = 0, n, m N,

T /2,
0,
T /2, si m = n,
0,
si m n
cos(n0 t) cos(m0 t) dt =
sen(n0 t) sen(m0 t) dt =

cos(n0 t) dt =
si m = n,
si m n
T , si n = 0,
0, si n 0
sen(n0 t) dt = 0.
75
(7.7)
Series de Fourier
Series de Fourier
Demostracin. Utilizando integracin por partes y las ecuaciones (7.7)

a)
b)
c)
d)
e)
T /2
T /2
T /2
T /2
T /2
T /2
T /2
T /2
cos(n0 t) dt =
i
sen(n0 t) T /2
n0
T /2
= 0.
iT /2
h
0 t)
= 0.
sen(n0 t) dt = cos(n
n0
T /2
cos2 (n0 t) dt =
1 T /2
2 T /2 (1 + cos(2n0 t))
dt =
1
2
h
t+
i
sen(2n0 t) T /2
2n0
T /2
= T /2.
sen2 (n0 t) dt =
1 T /2
2 T /2 (1 cos(2n0 t))
dt =
1
2
h
t
i
sen(2n0 t) T /2
2n0
T /2
= T /2.
T /2
h

i
1 T /2
2 T /2 sen (n + m)0 t + sen (n m)0 t
dt = 0, pa-
cos(n0 t) cos(m0 t) dt =
h

i
1 T /2
cos
(n
+
m)
t
+
cos
(n
m)
t
0
0
2 T /2
dt = 0, y
sen(n0 t) sen(m0 t) dt =
h

i
1 T /2
cos
(n
m)
t
cos
(n
+
m)
t
0
0
2 T /2
dt = 0.
sen(n0 t) cos(m0 t) dt =
T /2
ra n, m N.
Por ltimo, para n m,

f)
g)
Funciones
ortogonales
T /2
T /2
T /2
T /2
Esto se suele resumir diciendo que las funciones sen(n0 t) y cos(n0 t) son ortogonales. Pero
no olvidemos que queramos calcular el valor de los coeficientes C, an y bn .
Si multiplicamos la igualdad (7.6) por cos(m0 t) e integramos,
Z T /2
Z T /2
C+
f (t) cos(m0 t) dt =
(an cos(n0 t) + bn sen(n0 t)) cos(m0 t) dt
T /2
T /2
n=1
Z T /2
=C
T /2
cos(m0 t) dt +
X
n=1
Z T /2
an
T /2
cos(n0 t) cos(m0 t) dt
Z T /2
bn
n=1
T /2
sen(n0 t) cos(m0 t) dt
de lo que obtenemos que

am =
2
T
Z T /2
T /2
f (t) cos(m0 t) dt,
para n = 1, 2, . . .
Si en lugar de multiplicar por cos(n0 t), multiplicamos por sen(m0 t), se obtiene que
Z T /2
bn = T2
f (t) sen(n0 t) dt, n = 1, 2, . . .
T /2
Por ltimo, tambin podemos calcular C:

Z T /2
C = T1
f (t) dt =
T /2
1
T
Z T /2
T /2
f (t) cos(00 t) dt,
si ms que tener en cuenta que cos(0) = 1. Para tener una frmula similar al resto de coeficientes
usaremos
Z T /2
f (t) dt,
a0 = 2C = T2
T /2
con lo que
76
Series de Fourier
Series de Fourier
2
T
am =
Z T /2
T /2
f (t) cos(m0 t) dt,
para n = 0, 1, 2, . . .
Definicin 7.6. Sea f : R R una funcin peridica con perodo T . Llamaremos coeficientes de
Fourier a los siguientes nmeros (si existen):
Z T /2
2
an = T
f (t) cos(n0 t) dt, para n = 0, 1, 2, . . . , y
Coeficientes de Fourier
T /2
bn =
2
T
Z T /2
T /2
f (t) sen(n0 t) dt, para n = 1, 2, . . . .
La serie de Fourier de la funcin f es

a0
2
Serie de Fourier
an cos(n0 t) + bn sen(n0 t) .
n=1
Como an no conocemos la relacin entre f y su serie de Fourier usaremos la notacin

f (t)
a0
2
an cos(n0 t) + bn sen(n0 t)
n=1
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
h
i
intervalo y las hemos considerado definidas en el intervalo T2 , T2 (o en R). Esto puede acarrear
problemas cuando planteamos la cuestin de la siguiente
manera:
calcular los coeficientes de
h
i
T T
Fourier de la funcin f (x) = x + 1 en el intervalo 2 , 2 . Tal como est enunciado, la fun

T
cin f no es peridica. Para que as fuera deberamos definir f T2 y f 2 con un mismo
valor. Ahora bien, a la hora de calcular los coeficientes de Fourier, el valor de la integral en
un punto no influye 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.
Parai que no
h se presente
h
heste problema,
i
i en muchos textos encontrars las funciones definidas
T T
T T
T T
en 2 , 2 , en 2 , 2 o en 2 , 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 coeficientes de Fourier.
Si el desarrollo de Fourier de una funcin f es
a0
2
an cos(n0 t) + bn sen(n0 t)
n=1
a
a las funciones 20 , an cos(n0 t) + bn sen(n0 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 an cos(n0 t) + bn sen(n0 t) como un nico coseno:
q
2
an cos(n0 t) + bn sen(n0 t) = a2n + bn
cos(n0 t + n ),
donde
77
Series de Fourier
Series de Fourier
(
n =
arctan
2,
bn
an
, si an 0
si an = 0 .
q
2
La amplitud del n-simo armnico es a2n + bn
y la fase es n .
Los coeficientes 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

0, si < x < /2
f (x) =
1, si /2 < x <
De acuerdo con la definicin de los coeficientes de Fourier
Z
dx = 32 ,
a0 = 1
/2
an = 1
cos(nx) dx = sen(nx)
n
/2
n1
(1) 2
, si n es impar
n
=
0,
si n es par,
i
/2
cos 2
n
sen 2
n
y
bn = 1
(
=
Z
sen(nx) dx =
/2
1
n ,
1
n/2 ],
n [1 (1)
i
cos(nx)
n
/2
cos(n )
n
si n es impar
si n es par
Por tanto,
f (x) 34 +
= 34 +

cos(x) + sen(x) sen(2x)
1
2n1
1
3
cos(3x) +
1
3
sen(3x) + . . .
h
i
(1)n1 cos((2n 1)x) + sen((2n 1)x) sen((4n 2)x)
n=1
Ejemplo 7.9. Sea f : [4, 6] R definida como

1, si 4 < x 5
f (x) =
2, si 5 < x 6
En este caso a = 5 y r = 1. Vamos a calcular sus coeficientes de Fourier:
Z5
Z6
a0 =
dx +
2 dx = 3
4
Para n 1,
Z5
an =
Z6
cos(n (x 5)) dx +
Z5
bn =
2 cos(n (x 5)) dx = 0, y
5
Z6
sen(n (x 5)) dx +
Por tanto f (x)
(
2 sen(n (x 5)) dx =
5
3
2
1
2n1
sen[(2n 1) (x 5)].
n1
78
0,
2
n ,
si n es par
si n es impar
Series de Fourier
Series de Fourier
Funciones pares e impares

Se puede simplificar el clculo de los coeficientes 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 T2 coincide con la de T2 a 0. Si es impar,
coincide salvo en el signo. Como el coseno es par y el seno es impar, la mitad de los coeficientes
de Fourier valen cero (dependiendo de en qu caso estemos).
Proposicin 7.10. Sea f : [ T2 , T2 ] R.
a) Si f es par, entonces f (t)
an =
b) Si f es impar f (t)
a0
2
4
T
P
+
n=1 an cos(n0 t), donde
Z T /2
f (x) cos(n0 t) dt , n = 0, 1, 2, . . .
0
n=1 bn sen(n0 t),
bn =
4
T
donde
Z T /2
f (t) sen(n0 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 coeficientes en senos.
Z

Z

cos(nx)

x sen(nx) dx = 2 x cos(nx)
+
dx
bn = 2
n
n
=
Por tanto, f (x)
0
2 cos(n )
n
n+1
2 (1)
n
n+1
2 (1)
n
sen(nx).
n=1
Extensiones peridicas de una funcin

Hay que recordar que estamos trabajando con funciones peridicas. Cuando consideramos una funcin f en
[ , ], en realidad estamos trabajando con la exten6
sin 2 -peridica de f a todo R. Esto hace que la idea
que tengamos de la continuidad o derivabilidad de la
3
funcin pueda inducirnos a error. Por ejemplo, la funcin f (x) = x 2 en [ , ] es continua pero no es derivable en los extremos del intervalo. Un vistazo a su 3 2
2
3
2
grfica (figura 7.2) puede dejarnos las cosas ms claras.
Ilustracin 7.2 f (x) = x
Fjate que cuando decimos la funcin x 2 en realidad estamos 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 figura 7.3. Entre otras, podemos
considerar entonces las funciones f1 , f2 , f3 : [ , ] R definidas por
(
(
f (x + ), si x < 0
f (x), si x < 0
f1 (x) =
f2 (x) =
f (x),
si 0 x
f (x),
si 0 x
(
y f3 (x) =
f (x), si x < 0
f (x),
si 0 x
79
Series de Fourier
Series de Fourier
f (x) = x
Funcin f1
Funcin f2
Funcin f3
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 figuras, 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 eit = cos(t) + i sen(t), de lo que se deduce que
cos(n0 t) =
ein0 t + ein0 t
,
2
sen(t) =
ein0 t ein0 t
2i
Si desarrollamos
cn ein0 t =c0 +
n=
=c0 +
=c0 +
cn ein0 t +
n=1
cn ein0 t
n=1
cn [cos(n0 t) + i sen(n0 t)] +
cn [cos(n0 t) i sen(n0 t)]
n=1
n=1
[(cn + cn ) cos(n0 t) + i(cn cn ) sen(n0 t)]
n=1
Por tanto, tomando a0 = 2c0 , an = cn + cn y bn = i (cn cn ) o c0 =

1
cn = 2 (an + ibn ) se tiene que
X
n=
cn ein0 t =
a0
2 ,
cn =
X
a0
+
2
n=1
80
1
2
(an ibn ) y
Series de Fourier
Series de Fourier
Obsrvese que los coeficientes cn son ahora nmeros complejos que verifican cn = cn y, en
particular, |cn | = |cn |.
Tambin podramos haber calculado los coeficientes de Fourier complejos utilizando el mismo
truco que usamos para calcular an y bn , esto es, si suponemos que
f (t) =
cn ein0 t
n=
y que todo lo que aparece se puede integrar trmino a trmino. Multipliquemos ambos miembros
por ek0 t e integramos. As se obtiene el valor de los coeficientes cn
Definicin 7.12. Sea f una funcin peridica con perodo T y frecuencia fundamental 0 =
Entonces los coeficientes de Fourier complejos de f son
Z T /2
f (t)ein0 t dt, para n Z.
cn = T1
2
T .
T /2
Los coeficientes de Fourier complejos los hemos calculado usando exponenciales complejas y pueden ser complejos. En segundo lugar, obsrvese que la definicin tiene perfecto sentido para funciones con valores complejos. De hecho, aunque nicamente afirmamos que f es una funcin
peridica, el enunciado completo sera
Sea f : R C una funcin peridica con perodo T . . .
Sea f : R C una funcin peridica con perodo T y frecuencia fundamental
X
0 = 2 /T . La serie de Fourier compleja de f es
cn ein0 t .
Definicin 7.13.
n=
Observacin 7.14.
Existe una gran cantidad de literatura sobre las series de Fourier. Quiz la
notacin ms usual para los coeficientes de Fourier que el lector se puede encontrar fb(n) para
denotar a dichos coeficientes, esto es, fb(n) = cn , con lo que
f (t)
fb(n)ein0 t .
n=
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,
Z T /2
Z
1
1
f (t) dt = 2
t dt = 0.
c0 = T
T /2
Para n 0,
Z
1
f (t)ein0 t dt = 2
tein0 t dt
T /2
Z
h

i
1
= 2in
teint
eint dt

1
1
in
in
= 2in e
+ e
+ in
ein ein

1
2
= 2in
2 cos(n ) n
sen(n )
cn = T1
Z T /2
= 1
in cos(n )
i
= n (1)n .
81
Coeficientes de Fourier complejos
Series de Fourier
7.4.2
Pulso rectangular
Series de Fourier
Algunas funciones tpicas

Ejemplo 7.16.
Llamamos pulsos rectangulares a aquellas seales que son nulas salvo un
determinado
intervalo
de tiempo en el que son constantes. El ejemplo tpico es la funcin
h
i
T T
f : 2, 2 R

1, si |x| < a/2,
f (x) =
0, en otro caso,
1
a
2
T
2 2
T
2
Ilustracin 7.4 Pulso rectangular

donde a es un nmero real positivo y menor que T . Los coeficientes de Fourier complejos de f
son
Z T /2
Z a/2
cn = T1
f (t)ein0 t dt = T1
ein0 t dt
=
T /2
ia/2
1 ein0 t
T in0 a/2
para n distinto de cero, y c0 =
Funcin triangular
1
T
a/2
T /2
T /2
2
T n0
ein0 a/2 ein0 a/2

2i
f (t) dt =
1
T
a/2
a/2
1 dt =
a
T.
sen(n0 a/2)
T n0
Ejemplo 7.17. La funcin triangular peridica con periodo T est definida como
(
1 |t|
a , si |t| a,
f (x) =
0,
para a |t| T /2.
1
a
T2 2
1
a
2
T
2
Ilustracin 7.5 Triangular

Calculemos sus coeficientes de Fourier.
Z T /2
1
f (t)ein0 t dt
cn = T
T /2
Za
Z0

t
1 at ein0 t dt
=
1 + a ein0 t dt +
0
a
Za

2
t
=T
1 a cos(n0 t) dt ( integramos por partes)
0
Za

a

1
1
1 at sen(n0 t) + a
sen(n0 t) dt
= T2 n0
0
2(1cos(n0 a))
=
n2 w02 aT
2
0 a/2)
y usando que 1 cos(2x) = 2 sen2 (x), cn = 4 senn2(n
.
20 aT
T /2
f (t) dt = Ta .
Es inmediato comprobar que c0 = T1
T /2
Funcin diente
Ejemplo 7.18. La funcin diente est definida como f (t) =
82
2t
T .
Series de Fourier
Propiedades de las series de Fourier
1
T2
3T
2
T
2
3T
2
Ilustracin 7.6 Dientes

Sus coeficientes de Fourier complejos son
Z T /2
f (t)ein0 t dt =
cn = T1
T /2
1
T2
Z T /2
2tein0 t dt =
T /2
i(1)n
n
si n 0 y c0 = 0.
7.5 Propiedades de las series de Fourier

Linealidad
b
Proposicin 7.19. Sean f y g funciones T -peridicas con coeficientes de Fourier fb(n) y g(n).
Sean
a y b nmeros complejos. Entonces, los coeficientes de Fourier de af + bg son
b
(af
+ bg)(n) = afb(n) + bg(n),
para cualquier nmero entero n.
Conjugacin
Proposicin 7.20. Sea f una funcin peridica con periodo T y coeficientes de Fourier fb(n).
Entonces los coeficientes de Fourier de la funcin conjugada son
fb (n) = fb(n), n Z.
Podemos aplicar este resultado al estudio de los coeficientes de Fourier de funciones reales. En
este caso f (t) = f (t) y por tanto cn = cn y, en particular, |cn | = |cn |, 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 coeficientes de Fourier?
Proposicin 7.21. Sea f una funcin peridica con periodo T y coeficientes de Fourier fb(n) y sea
t0 un nmero real. Entonces, los coeficientes de Fourier de la funcin f (t t0 ) son
ein0 t0 fb(n), n Z.

Como ein0 t0 = 1, la amplitud (el mdulo de los coeficientes de Fourier) de una funcin no
cambia al trasladarla.
83
Sobre los coeficientes de Fourier
Series de Fourier
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 coeficientes de
Fourier?
Proposicin 7.22. Sea f una funcin peridica con periodo T . Entonces los coeficientes de Fourier
de f (t) son fb(n).
7.6 Sobre los coeficientes de Fourier

Hasta ahora hemos dado una definicin de serie trigonomtrica en la que no aparece ninguna funcin y hemos hablado de serie de Fourier cuando los coeficientes estn asociados a una funcin.
En esta seccin vamos a ver qu condiciones deben verificar los coeficientes de una serie trigonomtrica para ser los coeficientes de Fourier de una adecuada funcin.
En primer lugar, introducimos las funciones con las que vamos a trabajar a partir de ahora. Obsrvese que para la definicin de los coeficientes 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 funciones que consideramos en la siguiente definicin.
Definicin 7.23. Una funcin f : [a, b] R es continua a trozos si existe una particin a = x0 <
x1 < x2 < . . . < xn1 < xn = b del intervalo [a, b] de forma que
a) f es continua en ]xi , xi+1 [, para i = 0, 1, 2, . . . , n 1, y
b) f tiene lmites laterales en xi , i = 0, 1, . . . , n. A estos lmites los denotaremos f (xi +) y f (xi ),
esto es
lim f (x) = f (xi +) y
xxi+
lim f (x) = f (xi )
xxi
Diremos que f es derivable a trozos si es derivable salvo en un conjunto finito de puntos en los
que existen derivadas laterales.
Ejemplo 7.24.
a) La funcin f : [0, 10] R definida como
si 0 x 5
x,
f (x) = 3x + 1, si 5 < x < 7
2
x 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 definida como

0,
si x = 0
f (x) =
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 coeficientes de
Fourier. Ahora vamos a ver cundo se puede sumar la serie de Fourier de una funcin y cunto vale
84
Series de Fourier
Convergencia de las series de Fourier
dicha suma. Los siguientes resultados nos ponen algunas restricciones sobre el comportamiento
de los coeficientes de Fourier.
Teorema 7.25. Sea f una funcin peridica con periodo T continua a trozos y con coeficientes de
Fourier cn . Entonces
|cn |
n=
1
T
Z T /2
T /2
Desigualdad de Bessel

f (t)2 dt.
El siguiente resultado, de gran importancia, es una simple consecuencia del hecho que la convergencia 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 coeficientes de
Fourier cn . Entonces lim cn = lim cn = 0.
n
Teorema de
Riemann-Lebesgue
7.7 Convergencia de las series de Fourier

La continuidad a trozos es una condicin suficiente para poder calcular la serie de Fourier de una
funcin segn hemos visto en la seccin anterior. Pero todava seguimos escribiendo
f (t)
cn ein0 t
n=
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
N
X
sN (x) =
cn ein0 t ,
n=N
y queremos ver qu ocurre cuando N tiende a . La forma de calcular este lmite pasa por reescribir
la suma parcial sN 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 definicin y algunas propiedades de estas funciones.
Sea n un nmero natural. El ncleo de Dirichlet de orden n es la funcin Dn
n
X
definida como Dn (x) =
eik0 x .
Definicin 7.27.
k=n
El ncleo de Dirichlet es una funcin peridica. Adems

n
X
Dn (x) =
eik0 x
k=n
in0 x
=e
+ ei(n1)0 x + . . . + ei0 x + 1 + ei0 x + . . . + ei(n1)0 x + ein0 x
es una progresin geomtrica. Estamos sumando 2n + 1 trminos empezando en ein0 x y con

razn ei0 x . Su suma ser
(1ei0 (2n+1)x )
1ei0 x
in0 x
ei(n+1)0 x
= e 1e
(multiplicamos
i0 x
Dn (x) = e
=e
in0 x
1
1
)0 x
i(n+ )0 x
2
2
e
1
i 1 0 x
i 0 x
e 2
e 2
i(n+
sen
y dividimos por e0 x/2 )

(n+ 12 )0 x

.
1
sen
85
0 x
Ncleo de Dirichlet
Series de Fourier
Esto es cierto cuando ei0 x 1 o, lo que es lo mismo, para 0 x 2k o x kT , k Z. Pero de

la definicin del ncleo de Dirichlet se obtiene directamente que Dn (kT ) = 2n + 1 para cualquier
k Z.
Tambin es fcil comprobar que Dn es una funcin par y se puede calcular su integral en [ T2 , T2 ]
T /2
sin problemas usando que
eik0 x dx = 0, k 0. De hecho, la integral no depende de n:
T /2
Z T /2
T /2
Dn (x) dx =
k=n
Obsrvese que, como Dn es par,
7.7.1
Condiciones
de Dirichlet
n Z T /2
X
T /2
0
eik0 x dx =
T /2
Z T /2
1 dx = T .
(7.8)
T /2
Dn (x) dx = T /2.
Condiciones de Dirichlet
Definicin 7.28. Una funcin T -peridica f se dice que verifica las condiciones de Dirichlet si en
[0, T ] es continua salvo una cantidad finita de discontinuidades de salto y tiene un nmero finito
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
fb(n)ein0 t =
n=
En particular, si f es continua en t,
1
2
[f (t+) + f (t)] .
fb(n)ein0 t = f (t).
n=
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
+1
a 1+2
= 1 + en dichos puntos.
2
Una consecuencia directa del teorema anterior es que los coeficientes determinan la funcin.
Teorema de unicidad
b
Teorema 7.31. Sean f y g funciones peridicas con periodo T derivables a trozos. Si fb(n) = g(n),
para todo n Z, entonces f = g.
El final de la historia?
Durante mucho tiempo se pens que la continuidad era una condicin suficiente para la convergencia 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 serie de Fourier no es convergente en el origen. Hubo que esperar hasta 1966 para resolver este
problema. Carlesson demostr que si f verifica que
Z
f 2 (t) dt <
(7.9)
entonces su serie de Fourier converge salvo en un conjunto de medida cero. Al mismo tiempo, Kahane 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.
86
Series de Fourier
Si la funcin f no verifica (7.9), entonces la situacin puede ser an peor. En 1926 Andrei Kolmogorov 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+
4 cos(x)
+ 2 sen(x)
2
para n = 2
1+
4 cos(x)
+ 2 sen(x) sen(2x)
2
para n = 3
1+
4 cos(x)
+ 2 sen(x) sen(2x)
2
4
2
cos(3x) + sen(3x)
9
3
para n = 4
4 cos(x)
+ 2 sen(x)
2
4
2
sen(2x)
cos(3x) + sen(3x)
9
3
1
sen(4x)
2
1+
87
Otras propiedades
Series de Fourier
para n = 5
4 cos(x)
+ 2 sen(x)
2
4
2
sen(2x)
cos(3x) + sen(3x)
9
3
1
sen(4x)
2
4
2
cos(5x) + sen(5x)
25
5
1+
7.8 Otras propiedades

Convolucin
Sean f y g funciones peridicas con periodo T y derivables a trozos. Si h(t) =
X
b
b k).
f (t)g(t), entonces h(n)
=
fb(k) g(n
Teorema 7.32.
k=
Convolucin
Definicin 7.33. La convolucin de dos funciones f y g, que denotaremos f g, se define como

Z T /2
f (t x)g(x) dx.
(f g)(t) = T1
T /2
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 cn y dn son los coeficientes de Fourier de dos funciones f y g, qu se
puede decir de cn dn ?, qu funcin, si es que existe alguna, tiene dichos coeficientes de Fourier?
y qu relacin tiene con f y g? La solucin:
Teorema 7.34. Sean f y g funciones derivables a trozos, entonces
b
(f
g)(n) = fb(n)g(n),
n Z.
Identidad de Parseval
Vamos a ver que la desigualdad de Bessel es una igualdad en muchas ocasiones.
Identidad
de Parseval
Teorema 7.35. Sean f y g funciones T -peridicas derivables a trozos. Entonces

Z T /2
X
1
b
f (t)g(t) dt =
fb(n)g(n).
T
T /2
n=
Corolario 7.36. Sea f una funcin T -peridica derivable a trozos. Entonces

Z T /2

2
X

b

1
f (t)2 dt =
f (n) .
T
T /2
n=
Derivacin
Teorema 7.37. Sea f una funcin peridica con periodo T derivable a trozos y continua. Suponc0 (n) = in0 fb(n) y, por tanto,
gamos adems que f 0 es derivable a trozos. Entonces f
88
Series de Fourier
Otras propiedades
f 0 (t+)+f 0 (t)
2
in0 fb(n)ein0 t .
n=
Integracin
Sea f una funcin peridica con periodo T derivable a trozos. Supongamos que
t
fb(0) = 0. Entonces la funcin h definida como h(t) =
f (x) dx es peridica con periodo T .
Teorema 7.38.
Adems h(t) =
T /2
in0 t
b
h(n)e
, donde
n=
fb(n)
in0 ,
b
X
h(n)
=
si n 0,
n=,n0
7.8.1
(1)n fb(n)
,
in0
si n = 0.
El fenmeno de Gibbs
Al igual que con el polinomio de Taylor, en la prctica utilizaremos nicamente una cantidad finita
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
= x
7.7 Serie de Fourier de f (x)

2
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
sen(nx)
n=1
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
89
Sumabilidad. Ncleos de Fejr.
Series de Fourier
x=
(1)n+1
n
sen(nx), x ] , [
n=1
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 manifiesto 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 lamisma revista al ao siguiente. Gibbs demostr que la amplitud de la
sen(t)
1
dt 0.089 veces el tamao del salto, o sea, aproximadamente
oscilacin tiende a ser 2
t
0
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 infinitos 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, sN denotaba las sumas parciales de la serie
de Fourier, esto es
s0 (x) = 21 a0 ,
y
N
X
sN (x) = 12 a0 +
[an cos(nx) + bn sen(nx)] .
n=1
Consideremos ahora la media aritmtica de sN :

N (x) =
s0 (x)+s1 (x)++sN (x)

N+1
1
N+1
N
X
sn (x)
n=0
Recordemos que tenamos una frmula para calcular sN (x) por medio de los ncleos de Dirichlet:
Z
1
f (t)DN (t x) dt
sN (x) = 2
Obsrvese que si tomamos D0 constantemente igual a uno entonces la igualdad tambin es cierta
para N = 0. Por tanto
1
N (x) = N+1
1
Teorema de Fejr
donde FN =
1
N+1
PN
n=0 DN ,
1
2
n=0
Z
= 2
Ncleo de Fejr
N
X
f (t)DN (t x) dt
f (t)FN (t x) dt
se le suele llamar el ncleo de Fejr.
Teorema 7.39. Sea f : [ , ] R integrable. Si f tiene lmites laterales en x, entonces

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

N
[ , ], entonces {N (x)} converge uniformemente a f en [ , ].
90
Series de Fourier
Aplicaciones de las series de Fourier
Una consecuencia fcil de esto es el siguiente resultado.

Corolario 7.40.
Entonces f = g.
Sean f , g : [ , ] R continuas e integrables con la misma serie de Fourier.
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 sN (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 figura 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 algunas 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 superficie es verano, a 4.5 metros
es invierno y viceversa. La atenuacin es, aproximadamente, 1/16 de la variacin que hay en la
91
Series de Fourier
superficie. 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 simplificar 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 superficie, esto es, u(0, t) = f0 (t). La
ecuacin que modela este problema es
2
u
t
= K xu2
(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) =
a0
2
q

n
an exp 2K x cos (nt + n (x)) ,
n=1
donde n (x) = n
n
2K x,
y
f0 (t) =
a0
2
an cos(nt + n ).
n=1
Hemos expresado la solucin como una suma infinita en la que los trminos decrecen exponencialmente. Cuanto mayor sea n, menor ser el valor del correspondiente sumando. Si slo nos
fijamos
q y nos olvidamos del resto, el cambio de fase 1 (x) y la atenuacin
qen elprimer armnico
x dependen de 2K
. Para dar algn dato ms concreto nos hace falta conocer K. Exexp 2K
perimentalmente se determina y, por ejemplo, K = 2 103 cm2 s1 para un suelo ordinario. T es
365 24 60 60 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 T2 (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 coeficiente 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
Z 2
0
(t) dt.
L=
0

Reparametrizando, podemos suponer que L = 2 y que 0 (t) = 1. El rea encerrada por la curva
es
Z 2
1
A = 2i
(t) 0 (t) dt.
0
92
Series de Fourier
Como verifica las condiciones de Dirichlet, coincide con su desarrollo de Fourier. Adems,
b
b
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 coeficientes de Fourier de y de 0
son fcilmente calculables:
Z 2
1
b
b
(n)
= 2
(t)eint dt = (n),
0
c0 (n) = in(n),
b
segn vimos en el Teorema 7.37. Por tanto,
y
!
!
Z 2
X
X
1
imt
int
b
b
(n)e
im(m)e
dt
A = 2i
0
n=
m=

2
.
b
n (n)
n0
Por otra parte,

Z 2
Z 2
L = 2 =
dt =
0
X
0 2
2

(t) dt = 2
.
b
n2 (n)
n0
Comparando trmino a trmino las dos igualdades, obtenemos la desigualdad isoperimtrica:

0 A.
(7.11)
La igualdad se da si, y slo si,

X

2
= 0,
b
(n2 n) (n)
n0

2
it , que es la circunferencia
= 0 para n 0, 1. En ese caso, (t) = (1)e
b
b
o sea, si, y slo si, (n)

.
b
de radio (1)
Proposicin 7.41.
Si es una curva con longitud L que encierra un rea A, entonces
Desigualdad isoperimtrica
4 A L2
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
2
2
encierra un rea A L
. Por tanto, aplicando (7.11) tenemos que
0 A
2
L
2
o, lo que es lo mismo, 4 A L2 .
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 D y 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
93
Ejercicios
Series de Fourier
U(t)
a0
2
an cos(nt) + bn sen(nt),
n=1
entonces la solucin al problema de Dirichlet en D es

u(r cos(), r sen()) =
a0
2
an r n cos(n) + bn r n sen(n).
n=1
7.11 Ejercicios
Ejercicio 7.1
Comprobar que la definicin de los coeficientes 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

1, si < x < 0,
f (x) =
1,
si 0 < x <
Solucin 7.2
Tomando f (0) = 0,
f (x)
4 X sen(2n + 1)x
n=0
2n + 1
Ejercicio 7.3
Calcular la serie de Fourier de la funcin

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

1, si 0 < x < h,
f (x) =
0, si h < x < ,
donde h ]0, [.
94
Series de Fourier
Ejercicios
Solucin 7.4
X
2h 1
sen(nh)
f (x)
+
cos(nx)
2 n=1
nh
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
33
1
53
1
73
1
93
Solucin 7.5
f (x)
Tomando x =
2,
se tiene que la suma vale
8 X sen(2n 1)x
n=1 (2n 1)3
3
32 .
Ejercicio 7.6
Sea h un nmero entre 0 y . Calcular la serie de Fourier en senos de la funcin
si x = 0 ,
1,
2hx
,
si
0 < x < 2h
f (x) =
2h
0,
si 2h < x <
Solucin 7.6

X
sen(nh) 2
2h 1
+
cos(nx)
f (x)
2 n=1
nh
Ejercicio 7.7
x
2,
x [0, ].
Calcular la serie de Fourier en cosenos de la funcin f (x) =
x
2,
Calcular la serie de Fourier en senos de la funcin f (x) =

Solucin 7.7
f (x)
X
sen(2nx)
2n
n=1
Ejercicio 7.8
Solucin 7.8
f (x)
2 X cos(2n + 1)x
n=0 (2n + 1)2
95
x [0, ].
Ejercicios
Series de Fourier
Ejercicio 7.9
Calcular la serie de Fourier en senos de la funcin f (x) = x 2 , x [0, ].
Solucin 7.9
#
"
2 X 2
2
+ 3 ((1)n 1) sen(nx)
n=1 n
n
f (x)
Ejercicio 7.10
Demostrar que
|x| =
cos(2n1)x
(2n1)2 ,
x [ , ]
n=1
Qu series se obtienen cuando tomamos x = o x = ?

Solucin 7.10
f alta
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)
X
X
cos(nx)
4 2
sen(nx)
+4
4
2
3
n
n
n=1
n=1
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
X
n=1
1
4n2 1
1
2
(1)n+1
4n2 1
2
4
n=1
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)
1
n2
2
6
n=1
b)
(1)n+1
n2
2
12
n=1
96
Series de Fourier
c)
1
n4
Ejercicios
2
90
n=1
d)
(1)n+1
(2n1)3
3
32
n=1
Solucin 7.13 falta
97
98
Transformada de Fourier
Origen histrico de la 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 movement 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 infinita. Para resolver este problema, en lugar de una serie de coeficientes, 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 fluido. Ambos estudiaban ecuaciones del tipo
2u
x 2
2u
y 2
= 0,
(8.1)
lo que se suele llamar ecuacin de Laplace o ecuacin del potencial porque, en su versin para
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 fina 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 verificando unas determinadas condiciones en la frontera est relacionada con la transformada de Fourier. Consideremos el
problema de Dirichlet en un semiplano. Ms concretamente, sea
n
o
n
o
D = (x, y) R2 : y > 0 , y D = (x, y) R2 : y 0 .
Queremos encontrar una funcin u : D R continua en D, de clase C 2 en D, armnica en D, esto
es,
2u
x 2
2u
y 2
= 0,
(8.2)
y que verifique
u(x, 0) = f (x), x R
donde f es una funcin continua y acotada dada.
99
(8.3)
Ecuacin de Laplace
Definicin de la transformada de Fourier
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 00
F
00
= GG .
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 00
F
00
= GG = ,
de donde
F 00 + F = 0, G00 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
p
p
F (x) = a cos 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
Si notamos =
p
p
[A cos( x) + B sen( y)]
, las soluciones acotadas son de la forma

u(x, y) = F (x)G(y) = ey 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 verificando la ecuacin (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
Z +
ey [A() cos(x) + B() sen(x)] d
(8.4)
0
en lugar de una suma.
8.2 Definicin 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) =
+
X
cn einx ,
n=
1
donde cn = 2
f (x)einx dx.
Los coeficientes cn son, en general, nmeros complejos, pero usando el desarrollo en senos y
cosenos podemos establecer fcilmente una relacin. Sabamos que
100
Definicin de la transformada de Fourier
f (x) =
a0
2
+
X
(an cos(nt) + bn sen(nt)) .
(8.5)
n=1
Usando la definicin de la exponencial compleja:

f (x) =c0 +
=c0 +
=c0 +
X
n=1
X
n=1
cn einx +
cn einx
n=1
cn (cos(nx) + i sen(nx)) +
cn (cos(nx) i sen(nx))
(8.6)
n=1
[(cn + cn ) cos(nx) + i(cn cn ) sen(nx)] .
n=1
Si comparamos las ecuaciones (8.5) y (8.6), se tiene que

a0 = 2c0 , an = cn + cn , y bn = i(cn cn ).
Si cambiamos a una funcin 2L-peridica definida en el intervalo [L, L], entonces la serie de
Fourier compleja asociada a f sera
f (x) =
+
X
cn e
i nx
L
n=
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 infinito. El resultado es lo siguiente:
Sea f : R R una funcin localmente integrable. Si la siguiente integral existe,
entonces la funcin fb : R C definida como
Z +
1
F [f ]() = fb() = 2
f (x)eix dx
Definicin 8.1.
se llama transformada de Fourier de f . La integral

Z +
fb()eix d
Transformada de
Fourier
se llama la integral de Fourier de f .

Ejemplo 8.2. Sea > 0. Calcular la transformada de Fourier de la funcin

1, si |x| < ,
f (x) =
0, si |x| .
Dado R,
1
fb() = 2
1
= 2
1
= 2
eix dx
cos(x) i sen(x) dx
Z
cos(x) dx =
sen()
Ejemplo 8.3. Dado a R, calcular la transformada de Fourier de f (x) = e|x|a .
101
Propiedades de la transformada de Fourier
1
fb() = 2
1
= 2
1
= 2
Z +
e|x|a eix dx
Z +
!
Z0
e(i+a)x dx +
e(ia)x dx
0

1
a
1
i+a ia = (2 +a2 ) .
Observacin 8.4. Si se consultan diferentes textos puede parecer en principio que existen multitud de definiciones de la transformada de Fourier pero, en realidad, slo se diferencian en constantes.
Teorema de
inversin
Teorema 8.5.
Sea f : R R una funcin derivable a trozos. Entonces

Z +
f (x+)+f (x)
=
fb()eix d
2
En particular, si f es continua en x, se tiene que f (x) =
fb()eix d.
8.3 Propiedades de la transformada de Fourier

Linealidad
Proposicin 8.6. Sean f , g : R R con transformadas de Fourier F [f ] y F [g]. Supongamos

adems que a, b C. Entonces
F [(af + bg)] = aF [f ] + bF [g].
Traslacin
Proposicin 8.7. Sea f una funcin con transformada de Fourier F [f ] y sea a R, entonces
en el tiempo
F [f (x a)]() = eia F [f ]().

Dilatacin
en el tiempo
Proposicin 8.8. Sea f una funcin con transformada de Fourier F [f ] y sea a R, entonces

1
F [f (ax)]() = |a|
F [f ]
a .
En particular, F [f (t)]() = F [f ]().
Traslacin
Proposicin 8.9. Sea f una funcin con transformada de Fourier F [f ], entonces
en frecuencia
F [eiat f (t)] = F [f ](w a).

En el caso particular de funciones pares o impares, las integrales que definen la transformada de
Fourier se pueden simplificar un poco.
Proposicin 8.10.
a) Sea f una funcin par, entonces F [f ]() =
f (x) cos(x) dx.
b) Si f es una funcin impar, entonces F [f ]() = i
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
102
Convolucin de funciones
Teorema 8.12. Sea f : R R continua e integrable en R. Supongamos que
Transformada de la
derivada
lim f (x) = lim f (x) = 0.
x+
c0 () = iF [f ]().
Entonces, si f 0 es continua a trozos e integrable, se tiene que f
Corolario 8.13. Si f , f 0 , f 00 , . . . verifican las hiptesis del Teorema 8.12, entonces
(n) () = (i)n F [f ]().
f
Ejemplo 8.14. Veamos cmo podemos aplicar la transformada de Fourier para resolver algunas
ecuaciones diferenciales. Consideremos la ecuacin diferencial
y 00 + y = f .
Supongamos que todas las funciones que aparecen tienen su transformada de Fourier. Entonces
b
b
2 y()
+ y()
= F [f ](),
de donde se deduce que
b
y()
= F [f ]() 21+1
Del Ejemplo 8.3, sabemos que la transformada de Fourier de g(x) = e|x| es 21+1 . Por tanb = F [f ]g
b donde f y g son conocidas. Veremos en la prxima seccin cmo podemos
to, y
recuperar y desde f y g.
Teorema 8.15. Sea f una funcin con cuadrado integrable (energa finita). Entonces su transformada tambin tiene energa finita y de hecho
Z
Z

F [f ]()2 d.
f (t)2 dt = 1
2
8.4 Convolucin de funciones

Definicin 8.16.
como
Sean f , g : R R localmente integrables. Se define la convolucin de f y g
f g(x) =
1
2
Z +
f (s)g(x s) ds
(8.7)
para todos aquellos x R para los que la integral tenga sentido.

Puede parecer una definicin 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:
103
Identidad de Parseval
Ejercicios
(f g)(x) = 2
1
= 2
1
= 2
1
= 2
Z +
f (s)g(x s) ds
!
Z +
is
b
f ()e
d g(x s) ds
!
Z + Z +
is
b
f ()g(x s)e
d ds
Z +
Z + Z +
Z +
=
1
fb(w) 2
Z +
=
Z +
!
is
b
f ()g(x s)e
d ds
!
Z
Z +
fb()
g(x s)eis ds
!
g(t)ei(xt) dt
ix
b
fb()g()e
dx
=(f
g)(x)
Teorema 8.17. Sean f , g : R R integrables y una de las dos continua a trozos. Entonces
b
f
g = fbg.
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

b = fbg.
b Por tanto, la solucin ser
en el Ejemplo 8.14. La solucin y deba verificar y
Z +
Z +
1
y(x) = (f g)(x) = 2
f (s)g(x s) ds = 12
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 dificultad 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
104
Ejercicios

f (x) =
1,
0,
si |x| < 1,
si |x| > 1.
Como consecuencia, obtener la transformada de Fourier de la funcin

1, si |x| a/2,
a (x) =
0, si |x| > a/2.
Solucin 8.1
FALTA
Ejercicio 8.2

1 |x| ,
f (x) =
0,
Solucin 8.2
si |x| 1,
si |x| > 1.
FALTA
Ejercicio 8.3
si 1 < x < 1,
1,
f (x) = 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) =
Solucin 8.4
1
1+ ix .
FALTA
Ejercicio 8.5
2
Calcular la transformada de Fourier de la funcin f (x) = 2xex .

Solucin 8.5
FALTA
Ejercicio 8.6
Calcular la transformada de Fourier de la funcin que tiene como grfica
3
Ilustracin 8.1
105
Ejercicios
Solucin 8.6
FALTA
Ejercicio 8.7
Sean a, b R. Calcular la transformada de Fourier de las siguientes funciones.
a) f (t) = ea|t| ,
b) f (t) = ea|t| sen(bt),
c) f (t) = ea|t| cos(bt)
Solucin 8.7
FALTA
106
Transformada de Laplace
Definicin
9
9.1 Definicin
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, transformamos 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 todas las funciones que vamos a considerar estarn definidas 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 refiriendo a

0, si t < 0,
f (t) =
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:
Z
1
f (t)e( +i)t dt
2
0
Tomando t como variable y notando s a + i, tenemos la definicin de la transformada de

Laplace.
Definicin 9.1. Sea f : [0, [ C verificando que f (t)e t es integrable para algn valor R.
Entonces la funcin F : C C definida como
Z
F (s) =
f (t)est dt
0
con dominio DF = {s C : f (t)est es integrable} se llama la transformada de Laplace de f .

Tambin se suele notar L{f } o L[f ]. Al operador L lo llamaremos transformacin de Laplace.
Ejemplo 9.2. Sea f : [0, +[ C definida como f (t) = a, donde a C. Entonces
Z
h st ib
F (s) =
aest dt = lim aes
= as ,
b
siempre que Re(s) > 0. En particular L[1] =
1
s.
Ejemplo 9.3. Sea f : [0, +[ C definida como f (t) = eat , con a C. Entonces
Z
h (as)t ib
1
F (s) =
e(as)t dt = lim eas
= sa
0
si Re(s) > Re(a).
107
Transformada de
Laplace
Propiedades de la transformada de Laplace
Parece natural buscar condiciones que nos garanticen la existencia de la integral. No es dficil
encontrar ejemplos de funciones para los que la integral no tiene sentido.
2
Ejemplo 9.4. La funcin f (t) = et no tiene transformada de Laplace puesto que

lim 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.
Definicin 9.5. Diremos que una funcin f : R C (que se anula en los negativos) tiene crecimiento exponencial si existen nmeros reales M > 0 y K tales que

f (t) MeKt , t.
El siguiente teorema resuelve el problema de obtener la funcin f a partir de su transformada de
Laplace.
Frmula de inversin
Teorema 9.6. Sea f L con transformada de Laplace F , continua y derivable a trozos. Sea un
nmero real tal que f (t)e t es integrable en R+
0 . Entonces
Z +
1
F ( + i)e( +i)t d = 12 (f (t+) + f (t)) .
(9.1)
2
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 definicin 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 finales del siglo XIX, el ingeniero elctrico Olivier
Heaviside la empieza a utilizar para resolver algunas ecuaciones diferenciales relacionadas con
transmisiones telegrficas 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

Linealidad
Unicidad
Traslacin en el eje
Proposicin 9.7. Sean f , g L con transformadas de Laplace L[f ] y L[G] respectivamente, y a

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.
Proposicin 9.9. Sea f una funcin con transformada de Laplace L[f ] y a > 0, entonces
L[f (t a)H(t a)] = eas L[f ],
donde H denota la funcin de Heaviside.
Dilatacin en el eje
Proposicin 9.10. Sea f una funcin con transformada de Laplace L[f ], entonces

1
L[f (at)] = a
L[f ] as .
Traslacin en el eje
108
Propiedades de la transformada de Laplace
h
i
L eat f (t) = L[f ](s a).

1
L [f (at)] = a
L[f ] as .
Dilatacin en el eje
Proposicin 9.13. Sea f una funcin con transformada L[f ], entonces f 0 tiene transformada de
Laplace
Transformada de la
derivada
L[f 0 (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 (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

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) = 1s . Esto se deduce de la
definicin o usando la transformada de la derivada. Como f 0 (t) = 0, L[f 0 (t)] = sL[f (t)]
f (0), de donde 0 = sL[f (t)] 1.
b) Si f (t) = t, entonces f 0 (t) = 1. Aplicando de nuevo la frmula de la transformada de la
derivada, se tiene que
L[f 0 (t)] = sL[f (t)] f (0) = L[t] =
c) Por induccin se puede demostrar que L[t n ] =
9.2.1
n!
s n+1
1
s2
Transformada Laplace de funciones trigonomtricas e hiperblicas

El clculo de la transformada de Laplace de funciones trigonomtricas o hiperblicas es fcil teniendo en cuenta que estas funciones estn definidas usando la funcin exponencial y su transformada
(vese Ejemplo 9.3).
Transformada L[f ]
Funcin f
f (t) = sen(at)
L[f ] =
f (t) = cos(at)
L[f ] =
f (t) = senh(at)
L[f ] =
f (t) = cosh(at)
L[f ] =
a
s 2 +a2
s
s 2 +a2
a
s 2 a2
s
s 2 a2
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) = (eat eat )/2, el Ejemplo 9.3 nos da que
109
Transformda de Laplace de polinomios
Ejemplos y aplicaciones
F (s) =
9.2.2
1
2
1
sa
1
s+a
a
s 2 a2 .
Convolucin
La convolucin de funciones nos permite relacionar la transformada del producto con el producto de funciones. La definicin de convolucin de funciones para la transformada de Laplace nos
proporciona un resultado similar al que tenamos para la transformada de Fourier.
Convolucin
Proposicin 9.17. Sean f , g : R+ R. Entonces
de funciones
L[f g] = L[f ] L[g], donde

Zt
(f g)(t) =
f (x)g(t x) dx
0
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 coeficientes 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
00
y y = 1
y(0) = 0
y 0 (0) = 0
Multiplicamos en ambos miembros por est y, supongamos que y(t)est y y 0 (t)est tienden a
cero en + y son integrables. Si Y denota la transformada de Laplace de y, aplicando integracin
por partes se obtiene que
Z
Z
h
i
0
st
st
y (t)e
dt = y(t)e
+s
y(t)est dt = y(0) + sY (s) = sY (s)
0
Z
h
i
y 0 (t)est dt = y 0 (0) + s 2 Y (s) = s 2 Y (s)
y 00 (t)est dt = y 0 (t)est
+s
0
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) =
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 t
2 (e
+ et ) 1 = cosh(t) 1.
110
1
s,
con lo que
Ejercicios
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 + e2t )3 ,
c) f (t) = t 2 e3t ,
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
0, si 0 t 3,
f (t) = 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) =
Solucin 9.3
t
0
x cosh(x) dx.
FALTA
Ejercicio 9.4
Calcular la transformada inversa de la funcin f (t) =
Solucin 9.4
1
(s+2)(s3) .
FALTA
Ejercicio 9.5
Calcular la transformada inversa de la funcin f (t) =
Solucin 9.5
1
s 2 +2 .
FALTA
Ejercicio 9.6
Resolver la ecuacin diferencial y 00 5y 0 + 6y = 0 con las condiciones iniciales y(0) = 1,
y 0 (0) = 2 usando la transformada de Laplace.
Solucin 9.6
FALTA
111
Ejercicios
Ejercicio 9.7
Resolver la ecuacin diferencial y 00 y 0 + 6y = H(t) con las condiciones iniciales y(0) = 0,
y 0 (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 +
Solucin 9.8
t
0
f (x) dx usando la transformada de Laplace.
Tomando transformadas se tiene que

"Z
#
t
2
L[f ]
1
2
L[f ] = L[t] L[t ] + L
f (x) dx = L[f ] = 2 3 +
s
s
s
0
112
Transformada discreta de Fourier
Muestreo de seales continuas

10
En este captulo vamos a introducir una herramienta muy til para analizar fenmenos que provienen 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 influido en la vida
cotidiana. Sus aplicaciones incluyen campos como los CD, la mecnica aplicada, acstica, anlisis
de imgenes (tomografa), anlisis sismogrfico, 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 suficientemente alta esto no ser un problema; la
dificultad 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 demasiada informacin. En segundo lugar aprenderemos a trabajar con seales discretas y, para
acabar, comentaremos brevemente la FFT: una implementacin muy eficiente 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.
El ejemplo ms sencillo de como obtener una seal discre1
ta (en el tiempo) es el siguiente: partimos de una seal continua f : R R y un nmero
2
2
2
positivo T , consideremos
f [n] := f (nT ), n Z.
Ilustracin 10.1 Muestreo de una seal continua

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 ws = 2 /T frecuencia de muestreo.
Veamos un ejemplo: consideremos la seal f (t) = sen(8t).
Si tomamos ws = 8, entonces

f [n] = sen 2
8 8n = sen(2 n) = 0, n.
113
Muestreo de seales continuas
3
2
Ilustracin 10.2 ws = 8
Si tomamos ws = 64 (REPASARLO!!!!)
f [n] = sen
= sen
2 n
e
2
64 8n
n
4
, n.
Por ltimo, si tomamos ws = e, se tiene

f [n] = sen
, n.
Obsrvese que el muestreo de una seal peridica puede dar como resultado una seal discreta
peridica o no.
Definicin 10.1. Llamaremos pulso unidad a la seal discreta

1, si n = 0,
(n) =
0, si n 0
Ilustracin 10.3 Pulso unidad

Observacin 10.2. Dada una seal discreta f [n], se cumple que
f [n] =
+
X
f [k][n k], n Z
k=
Dicho de otra manera, cualquier seal discreta se puede escribir como superposicin de trasladados
de pulsos unidad.
Ejemplo 10.3. Consideremos la seal discreta
3,
si n = 0,
1,
si n = 1,
f [n] =
2,
si n = 2,
0
, en otro caso.
Es fcil comprobar que f [n] = 3[n] + [n 1] 2[n 2].
Si queremos trabajar con funciones peridicas nos sern de gran utilidad las siguientes funciones.
114
Reconstruccin de una seal
Definicin 10.4. Sea N N. Definimos

1, si n es m
ultiplo de N,
N [n] =
0, en otro caso
Ilustracin 10.4 3
Observacin 10.5. Si f [n] es una seal discreta peridica con perodo N. Entonces
f [n] =
N1
X
f [k]N [n k], n Z.
k=0
Ejemplo 10.6. La seal
1,
0,
f [n] =
1,
0,
si
si
si
si
n = 0,
n = 1,
n = 2,
n=3
Definicin 10.7. La seal salto unidad:

[n] =
1,
0,
si n 0,
si n < 0
es un ejemplo de seal causal.
10.1.1
Ejercicios
Ejercicio 10.1
Dibuja la grfica de la seal f [n] = 24 [n 1] + [n + 1].
Ejercicio 10.2
Sea z =
1
2 ( 3 + i).
Demuestra que f [n] = zn 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.
115
El Teorema de Shannon
Hay muchos mtodos de reconstruccin. Quiz el

ms sencillo sea la interpolacin lineal: construimos una funcin continua que coincida en los puntos (nT , f [n]) uniendo mediante rectas dichos puntos.
La reconstruccin de seales mediante interpolacin lineal se puede escribir fcilmente como superposicin de pulsos triangulares. Esto es consecuencia de que sabamos escribir una seal discreta
como superposicin de trasladados del pulso unidad. Recordemos que

1, si n = k,
[n k] =
0, si n k,
Ilustracin 10.5 Interpolacin lineal
y, utilizando interpolacin lineal:

qT [n k] =
1,
0,
si n = k,
si n k,
MENTIRA!!!!!!!! + DIBUJO!!!!!!!!!
Sabamos que
f [n] =
+
X
f [k][n k]
n=
y es de esperar que la operacin de interpolar nos de

f (t) =
+
X
f [k]qT (t kT ).
n=
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) =
+
X
f [k]qT (t kT ).
n=
De lo que hemos visto hasta ahora, sabemos que la interpolacin lineal puede ser una buena aproximacin si la frecuencia de muestreo es suficientemente 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

Definicin 10.9. Una seal f (t) con espectro F (w) diremos que es de banda acotada o espectro
acotado si existe wc > 0 tal que F (w) = 0 cuando |w| > wc .
Ejemplo 10.10.
a) La seal f (t) = sen(t) + 3 sen(2t) es de banda limitada.
b) La seal f (t) =
sen(t)
t
es de banda limitada. Comprueba que F (w) = 0 si |w| > .
116
El Teorema de Shannon
Cuando tengamos una seal con espectro acotado, digamos que F (w) = 0 si |w| > wc , veremos
que si la frecuencia de muestreo es mayor que dos veces wc entonces no hay ninguna prdida de
informacin. La seal puede recuperarse completamente.
Evidentemente, si wc 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 wc que es vlido.
Definicin 10.11. Si wc es el menor real positivo tal que F (w) = 0, si |w| > wc , entonces 2wc se
suele llamar frecuencia de Nyquist. La condicin ws > 2wc se suele llamar condicin de muestreo,
donde ws 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 2wc . Sea
f [n] un muestreo de f (t) con frecuencia de muestreo ws y perodo de muestreo T = 2 /ws . Si
ws > 2wc , entonces
f (t) =
+
X
f [n]
n=
2 sen (ws (t nT )/2)

, t R.
ws (t nT )
t)
Ejemplo 10.13. La seal f (t) = sen (
tiene espectro F (w) = q2 (w), donde q2 es el
t2
pulso triangular la de figura QUE FALTA!!!!!!!!!!!!! Por tanto, la frecuencia de Nyquist es 4 . Si la
frecuencia de muestreo verifica ws > 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 < 12 . Por ejemplo, para T = 14
se tiene que
+
X sen2 (n /4) sen(4 (t n/4))
sen2 ( t)
=16
2
t
n2
4 (t n/4)
n=
16
2
+
X
n=
(1)n sen2 (n /4) sen(4 t)

n2 (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 espectro 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
117
Teorema de Shannon
La transformada de Fourier discreta
10.4 La transformada de Fourier discreta

Vamos a comenzar intentando dar una definicin 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
i
h
(n1)T nT
, N
N
para n = 1, 2, . . . , N y aproximamos por el rea de los rectngulos. Obtenemos
ZT
T
f (t) dt N
(f (0) + f (1) + . . . + f (N 1)) .
0
Como la funcin f es integrable

N1
X
T
N N
lim
ZT
f (t) dt .
=
0
n=0
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 coeficientes de la serie de Fourier de f se calculan mediante integrales.
Bueno, pues vamos a aproximarlos de la misma forma. Si
ZT
f (t)eikw0 t dt ,
ck = T1
0
con w0 = 2 /T , entonces
ck T1
N1
X
T
N
f [n]eikw0 nT /N
n=0
N1
X
f [n]e2 ink/N
n=0
Si notamos F [k] = f [n]e2 ink/N , tenemos que

ck
1
N F [k].
Este es el motivo de la siguiente definicin.

Definicin 10.15. Sea f [n] una seal discreta y peridica con perodo N. La sucesin
F [k] =
N1
X
f [n]e2 ink/N , k Z
n=0
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,
118
F [0] =
1
X
La transformada de Fourier discreta
f [n]e2 ink/2 = 1 e0 + (1) e0 = 1 1 = 0.
n=0
Y para k = 1
F [1] =
1
X
f [n]e2 ink/2 = 1 e0 + (1) e i = 1 + 1 = 2.
n=0
119
120
Tablas de transformadas de Fourier y Laplace
Transformadas de Laplace

A
A.1 Transformadas de Laplace
Funcin f (t)
1
tn
ta
eat
f (t) = sen(at)
f (t) = cos(at)
f (t) = senh(at)
f (t) = cosh(at)
Transformada F (s) Convergencia Condiciones

1
Re(s) > 0
s
n!
Re(s) > 0
s n+1
(a + 1)
Re(s) > 0
a C
s a+1
1
Re(s) > Re(a)
a C
sa
a
Re(s) > 0
a R
L[f ] = 2
s + a2
s
Re(s) > 0
a R
L[f ] = 2
s + a2
a
Re(s) > a
a R
L[f ] = 2
s a2
s
Re(s) > a
a R
L[f ] = 2
s a2
Tablas A.1 Transformada de Laplace
121
122
ndice alfabtico
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
coeficientes 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
123
ndice alfabtico
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
124
125

Calculo Avanzado Caminos

Enviado por

Dados do documento

Direitos autorais

Formatos disponíveis

Compartilhar este documento

Compartilhar ou incorporar documento

Opções de compartilhamento

Você considera este documento útil?

Este conteúdo é inapropriado?

Direitos autorais:

Formatos disponíveis

Calculo Avanzado Caminos

Enviado por

Direitos autorais:

Formatos disponíveis

Apuntes de Clculo avanzado

Ingeniera de Caminos, Canales y Puertos

Jernimo Alaminos Prats

2.2 Derivada de una funcin de variable compleja 22

3 Funciones complejas elementales 29

5 Integracin de funciones complejas 45

9.3 Ejemplos y apli-

10 Transformada discreta de Fourier 113

x 5 + (1 i)x 4 + (1/5 i 2)x 2 8x + 3 i/ 3 = 0.

El cuerpo de los nmeros complejos

complejos como vectores en el plano. La fecha de 1825 es considerada como el nacimiento de

1.1 El cuerpo de los nmeros complejos

Forma cartesiana de un nmero complejo

El cuerpo de los nmeros complejos

Parte real y parte

(a + ib)(c + id) = ac + i2 bd + i(ad + bc) = ac bd + i(ad + bc)

Comentarios a la definicin usual i =

ms explicaciones) i = 1 y a continuacin se dice que los nmeros de la forma a + ib son los

No hay un orden en C compatible con la estructura algebraica

Representacin grfica. Conjugado y mdulo de un nmero complejo

1.2 Representacin grfica. Conjugado y mdulo de un nmero complejo

Ilustracin 1.1 Representacin de

Definicin 1.3. Si z = x + iy es un nmero complejo (con x e y reales), entonces el conjugado

Forma polar y argumentos de un nmero complejo

Ilustracin 1.2 Suma

1.3 Forma polar y argumentos de un nmero complejo

es un punto de la circunferencia unidad, puede escribirse en la forma

Forma polar y argumentos de un nmero complejo

Ilustracin 1.3 Forma polar de un

A dicho argumento se le llama argumento principal de z.

cos(arg(z)) = 1+tan2 (arg(z)/2)

sen(arg(z)) = 1+tan2 (arg(z)/2)

Forma polar y argumentos de un nmero complejo

Esta ltima forma es quizs ms cmoda para los clculos.

o, lo que es lo mismo, cos(arg(z)) =

sen(arg(z)) = 12 , de donde se deduce que arg(z) =

Forma polar y argumentos de un nmero complejo

Proposicin 1.11. Si z es un complejo no nulo, es un argumento de z y n es un nmero entero,

Races de un nmero complejo

Conjuntos en el plano complejo. Un poco de topologa

1 = cos( /2) + i sen( /2) = i.

z w = n zw equivale a que para algn entero k se verifique que

por lo que, en este caso, n z n w = n zw.

1.4 Conjuntos en el plano complejo. Un poco de topologa

Sucesiones de nmeros complejos

b) Un conjunto C se dice que es un conjunto abierto si todo punto de es centro de algn

disco abierto contenido en , o sea, si A = A.

1.5 Sucesiones de nmeros complejos

Definicin 1.18. La sucesin de nmeros complejos {zn } converge a un nmero complejo z si

Im(z) = lim Im(zn ).

Gracias a este resultado el estudio de sucesiones de nmeros complejos se reduce a estudiar la

Series de nmeros complejos

1.6 Series de nmeros complejos

zn = lim {Sn } = lim

Series de nmeros complejos

Proposicin 1.24. Condicin necesaria para que

zn sea convergente es que lim zn = 0.

para todos p, q N tales que q > p n0 .

Deducimos que para todos p, q N tales que q > p no se verifica que

Lo que prueba que la sucesin {Sn }, es decir, la serie

zn cumple la condicin de Cauchy y, por

El concepto de convergencia absoluta de una serie es mucho ms fuerte que el de convergencia

Criterios de convergencia no absoluta para series

a) |(1 + i)(2 i)|