Documentos de Académico
Documentos de Profesional
Documentos de Cultura
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 Conjun-
tos en el plano complejo. Un poco de topologa 11 1.5 Sucesiones de nmeros complejos 12
1.6 Series de nmeros complejos 13 1.7 Ejercicios 15
2 Funciones complejas 21
2.1 Continuidad y lmite funcional 21 2.2 Derivada de una funcin de variable compleja 22
2.3 Ecuaciones de Cauchy-Riemann 23 2.4 Primeras propiedades de las funciones holomor-
fas 24 2.5 Ejercicios 26
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 funcio-
nes 103 8.5 Ejercicios 104
1
10 Transformada discreta de Fourier 113
10.1 Muestreo de seales continuas 113 10.2 Reconstruccin de una seal 115 10.3 El
Teorema de Shannon 116 10.4 La transformada de Fourier discreta 118
2
Nmeros complejos
Nmeros complejos
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 re-
cientes. 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, respectiva-
mente, un nmero entero, racional, real o complejo. Podra ocurrir que este proceso de ampliacin
del campo numrico continuara. Qu ocurrir si ahora consideramos ecuaciones polinmicas con
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 funda-
mental del lgebra nos dice que esa ecuacin tiene soluciones que tambin son nmeros complejos
y, por tanto, que no aparecern ya por este procedimiento nuevos tipos de nmeros.
El trmino, hoy usado de nmeros complejos se debe a Gauss, quien tambin hizo popular la letra
i que Euler (17071783) haba usado espordicamente. En 1806 Argand interpreta los nmeros
3
El cuerpo de los nmeros complejos Nmeros complejos
(a, b) + (c, d) = (a + c, b + d)
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
a b
(a, b) a2 +b 2 , a2 +b 2 = (1, 0).
Todas estas propiedades se resumen diciendo que (R2 , +, ) (lase el conjunto R2 con las opera-
ciones de adicin y producto) es un cuerpo. Dicho cuerpo se representa simblicamente por C y
sus elementos se llaman nmeros complejos.
Observacin 1.2. A los elementos de 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 .
El smbolo usual (a, b) para representar pares ordenados no es conveniente para representar el
nmero complejo (a, b). Para convencerte calcula (1, 1)4 . Representaremos los nmeros comple-
jos con un simbolismo ms apropiado en el que va a intervenir el producto complejo. Para ello,
observa que:
(a, 0) + (b, 0) = (a + b, 0)
(a, 0)(b, 0) = (ab, 0).
Esto indica que los nmeros complejos de la forma (a, 0) se comportan respecto a la suma y la mul-
tiplicacin de nmeros complejos exactamente de la misma forma que lo hacen los nmeros reales
respecto a la suma y multiplicacin propias. En trminos, ms tcnicos, R {0} es un subcuerpo
4
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
Ahora podemos escribir (a, b) = (a, 0) + (0, b) = (a, 0) + (b, 0)(0, 1) = a + bi.
Se dice que a es la parte real y b es la parte imaginaria del nmero complejo a + ib. El producto Parte real y parte
ahora es muy fcil de recordar pues imaginaria
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 = 1
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: Paradoja de Bernoulli
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 rea-
les negativos no tienen raz cuadrada real), sino que tienes que interpretar 1 como el nmero
complejo 1 (espero que ya tengas clara la diferencia). Resulta as que estamos usando races de
nmeros complejos sin haberlas 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.
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
5
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.
b z = a + bi
|z|
z = a bi
6
Nmeros complejos Forma polar y argumentos de un nmero complejo
z+w
c a a+c
Para demostrar la ltima afirmacin es suficiente probar que |z + w|2 (|z| + |w|)2 . En efecto:
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.
y
x
Como |z| , |z| es un punto de la circunferencia unidad, puede escribirse en la forma
7
Forma polar y argumentos de un nmero complejo Nmeros complejos
y
x
|z| , |z| = (cos(), sen())
para algn nmero R. Resulta as que z = |z| (cos() + i sen()). Esta forma de expresar
un nmero complejo recibe el nombre de forma polar, cuya interpretacin 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).
Observa que
cos(t) = cos(s)
s, t Arg(z) s = t + 2k para algn k Z.
sin(t) = sin(s)
|z|
ngulo de radianes
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)
2 arctan Re(z)+|z| / R
, si z
arg(z) =
, si z R .
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:
8
Nmeros complejos Forma polar y argumentos de un nmero complejo
y
arctan x , si y < 0, x < 0
2 , si y 0, x = 0
y
arg(z) = arctan x , si x > 0
2, si y > 0, x = 0
arctan y + ,
si y 0,x < 0 .
x
Ejemplo 1.8. El mdulo de z = 1 i es |z| = 1+1= 2. Por tanto
z 1 i
|z| = 2
2
= cos(arg(z)) + i sen(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 sal-
tan de a +2 cuando atravesamos la semirrecta (x, y) = (cos , sen ), ( > 0). En particular,
si tomamos argumentos en el intervalo [0, 2 [ (cosa que, a primera vista, parece lo razonable) nos
encontramos con que entonces se produce una discontinuidad de dichos argumentos en el eje real
positivo. Bien, sucede que la extensin a C de algunas funciones 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+ .
Veamos cmo la forma polar permite hacer fcilmente productos de nmeros complejos. Consi-
deremos dos nmeros complejos no nulos
Entonces
9
Forma polar y argumentos de un nmero complejo 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).
Como consecuencia, es fcil demostrar mediante induccin la siguiente frmula que ser de gran
utilidad.
Esta igualdad se da cuando |w|n = |z| y n = + 2k donde k Z. Deducimos que |w| = n |z|
p
(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.
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
h i
arg(z)+2k arg(z)+2k
zk = |z|1/n cos n + i sen 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
q
1 1 = ii = 1 (1)(1) = 1 = 1.
n
n
La igualdad z w = n zw equivale a que para algn entero k se verifique que
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.
D(a, r ) = {z C : |z a| < r }
D(a, r ) = {z C : |z a| r } ,
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 Conjunto acotado
en el origen o, lo que es lo mismo, si existe M R tal que |a| M para cualquier a A.
11
Sucesiones de nmeros complejos Nmeros complejos
A = {a A : a es punto interior de A} .
Conjunto abierto 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.
Conjunto cerrado 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 .
Definicin 1.16. Un conjunto abierto no vaco con la propiedad de que dos puntos cualesquiera
Dominio del mismo pueden unirse por una curva sin salirse del conjunto se llama un dominio. Una defini-
cin 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
Conjunto compacto un conjunto compacto.
Punto de acu- Definicin 1.17. Dado un conjunto A C, se dice que un punto z C es un punto de acumulacin
mulacin de A si todo disco abierto con centro en z contiene puntos de A distintos de z. Observa que un
punto z puede ser un punto de acumulacin de A y no pertenecer a A.
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 suce-
siones de nmeros reales {Re(zn )} y {Im(zn )} son convergentes. Adems en dicho caso
12
Nmeros complejos Series de nmeros complejos
Los resultados que conoces para sucesiones de nmeros reales en los que no interviene el or-
den son tambin vlidos para sucesiones de nmeros complejos. Destacamos entre ellos los ms
importantes.
Proposicin 1.20. lgebra de lmites
a) Si {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.
Recuerda que una sucesin parcial de una sucesin {zn } es cualquier sucesin de la forma {z (n) } Sucesin parcial
donde : N N es una aplicacin estrictamente creciente.
Teorema 1.21. Toda sucesin acotada de nmeros complejos tiene alguna sucesin parcial con- Teorema de Bolzano
vergente. Weierstrass
Definicin 1.22. Una sucesin de nmeros complejos {zn } se dice que es de Cauchy si para cada Sucesin de Cauchy
nmero > 0 existe un nmero natural n0 N de forma que si p, q n0 entonces zp zq < .
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 compli-
tud
S1 = z1 , S2 = z1 + z2 , S3 = z1 + z2 + z3 , . . . , Sn = z1 + z2 + . . . + zn .
son convergentes.
Conviene que recuerdes la condicin bsica necesaria para la convergencia de una serie. Si la serie
zn converge entonces la sucesin zn = n
P P Pn1
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
P
Proposicin 1.24. Condicin necesaria para que zn sea convergente es que lim zn = 0.
Para las series es posible definir otro tipo de convergencia, la convergencia absoluta.
P
Convergen- Definicin 1.25. Se dice que una serie de nmeros complejos n1 zn converge absolutamente
cia absoluta
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.
Demostracin. Pongamos Sn = n
P Pn
j=1 zj , An = j=1 |zj | y supongamos que la sucesin {An } es
P
convergente, es decir, zn es absolutamente convergente. Dado > 0, la condicin de Cauchy
para {An } nos dice que existe n0 N tal que
q
X
Aq Ap = |zk | < para todos p, q N tales que q > p n0 .
k=p+1
Naturalmente, puedes usar los criterios de convergencia para series de nmeros reales positivos,
que ya debes conocer, para estudiar la convergencia absoluta de una serie de nmeros comple-
jos. Pero, qu hacer cuando una serie no es absolutamente convergente? Naturalmente, podemos
intentar comprobar si la serie verifica la condicin de Cauchy, pero este procedimiento con fre-
cuencia es difcil. Pues bien, los siguientes criterios de Dirichlet y Abel proporcionan informacin
sobre la convergencia no absoluta.
Teorema 1.28. Sea {an } una sucesin de nmeros reales y {zn } una sucesin de nmeros com-
plejos.
P
Criterio de Dirichlet a) Si {an } es montona, converge a cero y la serie zn tiene sumas parciales acotadas, entonces
P
an zn converge.
P P
Criterio de Abel 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 acota-
das. Si tomamos una sucesin montona verificando que lim{an } = 0, el criterio de Dirichlet
nos dice que la serie (1)n an es convergente. Te suena este criterio?
P
14
Nmeros complejos Ejercicios
1.7 Ejercicios
Ejercicio 1.1
Ejercicio 1.2
1
a) f1 (z) = z2 d) f4 (z) = 1+z2
b) f2 (z) = z3 e) f5 (z) =
z+i
zi
c) f3 (z) = z1
Ejercicio 1.3
Ejercicio 1.4
1+z
Calcula los nmeros complejos z tales que 1z es:
Ejercicio 1.5
Ejercicio 1.6
15
Ejercicios Nmeros complejos
a) (1 + i 3)11 d) ( 3 + i)13
1+i 5
b) 1i
6
c) 1+i
3
1i
Ejercicio 1.7
z
Calcula arg(z w) y arg w supuestos conocidos arg(z) y arg(w).
Ejercicio 1.8
Ejercicio 1.9
Ejercicio 1.10
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
a) z3 = 1 + i d) z8 = 1
b) z4 = i e) z2 + 32iz 6i = 0
c) z3 = 1 + i 3
Ejercicio 1.13
Ejercicio 1.14
16
Nmeros complejos Ejercicios
|z + w|2 + |z w|2 = 2 |z|2 + |w|2
Ejercicio 1.15
Ejercicio 1.16
Ejercicio 1.17
za
Prueba que 1az < 1 si |z| < 1 y |a| < 1 y tambin si |z| > 1 y |a| > 1.
Ejercicio 1.18
Estdiese para cada una de las igualdades siguientes si hay algn nmero complejo z C con
|z| = 1 que la verifica:
a) z3 + z2 + 1 = 3;
b) z4 2z i = 4;
c) z6 + z3 + 2 = 4 + 4 + 4z2 .
Ejercicio 1.19
n+1
x
sen
n 2
b) sen(x) + sen(2x) + + sen(nx) = sen 2x sen x2
Ejercicio 1.20
2 2
Sea n N, n 2 y w = cos n + i sen n . Dado un nmero entero m Z, calclese el valor
de las expresiones:
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
Ejercicio 1.22
Ejercicio 1.23
Ejercicio 1.24
z+w
Prueba que |z| + |w| = z+w
2 zw +
2 + zw .
Ejercicio 1.25
Ejercicio 1.26
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
Ejercicio 1.31
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
n n
Ejercicio 1.33
n
2+i 3
Calcula el lmite de la sucesin zn = 1 + 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
Ejercicio 1.37
n=0 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.
Demuestra que |zn |2 es convergente.
P
20
Funciones complejas Continuidad y lmite funcional
Funciones complejas
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:
21
Derivada de una funcin de variable compleja Funciones complejas
z A
= |f (z)| > M
0 < |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)n
1
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 n
por tanto el argumento principal es discontinuo en a.
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) u(t)u(a)
ta = 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 fun-
ciones de variable compleja y para funciones reales de una variable real. Por ello, las reglas de
derivacin conocidas para funciones de una variable real son tambin vlidas, con las mismas
demostraciones, para funciones de variable compleja.
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 Reglas de derivacin
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 f 0 (a)g(a)f (a)g 0 (a)
c) Si g(z) 0 para todo z A entonces g (a) = 2 .
(g(a))
Tambin es fcil comprobar que la regla de la cadena sigue siendo vlida para funciones complejas.
Proposicin 2.7. Sean f : A C y g : B C tales que f (A) B, y consideremos la funcin Regla de la cadena
compuesta h = g f : A C. Supongamos que f es derivable en a A A0 y g es derivable en
b = f (a) B B 0 . Entonces h es derivable en a y
u v
En caso de que se cumplan i) y ii) se tiene f 0 (a) = f 0 ( + i) = 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
|f (z)f (a)(+i)(za)|
lim |za| = 0.
za
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:
k(u(x,y),v(x,y))(u(,),v(,))((x)(y),(x)+(y))k
lim k(x,y)(,)k =0
(x,y)(,)
x
o bien, como ((x ) (y ), (x ) + (y )) = y
, se tiene que
(u(x, y), v(x, y)) (u(, ), v(, )) x
y
lim = 0.
(x,y)(,) k(x, y) (, )k
23
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 la matriz jacobiana de la aplicacin (x, y) , (u(x, y), v(x, y)) en (, ), esto
es
u u v v
x (, ) = , y (, ) = , x (, ) = , y (, ) =
u v
Finalmente f 0 (a) = f 0 ( + i) = + i = x (, ) + i x (, ).
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.
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
p 0 (z)q(z)p(z)q0 (z)
R 0 (z) = q(z)2 (z ).
24
Funciones complejas Primeras propiedades de las funciones holomorfas
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
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)
u u
Las ecuaciones de CauchyRiemann afirman que f 0 (z) = f 0 (x + iy) = x (x, y) i y (x, y).
Puesto que Re(f ) es constante tenemos u
u 0
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
Ejercicio 2.2
Ejercicio 2.3
x 3 (1+i)y 3 (1i)
Sea f : C C la funcin dada por f (z) = x 2 +y 2 si z = x + i y 0, f (0) = 0. Estudia la
continuidad y la derivabilidad de f .
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
26
Funciones complejas Ejercicios
Ejercicio 2.8
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
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
n = arctan x .
1+ 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
z 2 x 2 y2
|wn |2 = 1 + n = 1+ n + n2 .
y/n
n o
Adems, la sucesin {n } es asintticamente equivalente a la sucesin 1+x/n . Por tanto
y/n
lim nn = lim n 1+x/n = y.
n n
z n
lim 1 + n = lim (wn )n = lim |wn |n (cos(nn ) + i sen(nn )) = ex (cos(y) + i sen(y)).
n n n
z n
ez = exp(z) = lim 1 + n = eRe(z) (cos(Im(z)) + i sen(Im(z))) .
n
Observa que |ez | = eRe(z) , Im(z) Arg(ez ). En particular, obtenemos la frmula de Euler
que establece una relacin entre la exponencial compleja y las funciones trigonomtricas. Haciendo
t = tenemos la singular igualdad
29
Logaritmos complejos Funciones complejas elementales
ei + 1 = 0
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.
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
Funciones complejas elementales Potencias complejas
ew eb
h(w) = 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) 1 log(z)log(a) 1 1
za = h(log(z)) = lim za = h(log(a)) = a .
za
1
Hemos probado, pues, que log0 (z) = z para todo z C \ R
0.
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 n +i n
arg(a) arg(a)
= |a|1/n cos n + i sen 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 fun-
ciones 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
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 Funciones complejas elementales
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.
Proposicin 3.1. Sean z, w C.
Identidad a) cos2 (z) + sen2 (z) = 1.
fundamental b) cos(z) = cos(z), sen(z) = sen(z).
Frmulas de adicin 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
Por analoga con la tangente real definimos la funcin tangente compleja como
sen(z)
tan(z) = (cos(z) 0).
cos(z)
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) + tan(w)
tan(z + w) = .
1 tan(z) tan(w)
Dado un nmero complejo z C se trata de calcular los complejos w tales que cos(w) = z.
32
Funciones complejas elementales 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).
1
p
Arccos(z) = i 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:
1
p
arccos(z) = i log z + i 1 z2 .
Veamos que el arccos(z) extiende al arcocoseno real. En efecto, para z = x [1, 1] tenemos que:
1 2 = 1 log
p p p
i log x + i 1 x
x + i 1 x 2 + i arg x + i 1 x 2
i
= 1i log(1) + i arg x + i 1 x 2
p
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 preci-
samente el arco cuyo
coseno es x.
Adems, para x [1, 1] se tiene que 0 arccos(x) .
p
Deducimos que arg x + i 1 x 2 = arccos(x).
Teniendo en cuenta que 1 z2 = exp 12 log(1 z2 ) , y que el logaritmo principal es holomorfo
p
en C \ R
p
2
0 , deducimos, por la regla de la cadena, que la funcin z , 1 z es holomorfa en el
conjunto
n o
= z C : 1 z2 / R0 = C \ (] , 1] [1, +[) .
p
Anlogamente log z + i 1 z2 es derivable en el conjunto
n p o
/ R
1 = z C : z + i 1 z 2 0 .
p p
Como z + i 1 z2 y z i 1 z2 son inversos, tenemos que
z R
p p
z + i 1 z2 R0 = z i 1 z 2 R =
0
p = z ] , 1]
1 z2 iR
33
Ejercicios Funciones complejas elementales
z
1 1 + i 1z2
0
arccos (z) = p
i z + i 1 z2
p
1 1 z2 iz 1
= p p = p .
1 z2 iz 1 z2 1 z2
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
si, y slo si, 2 w 1i Log z i 1 z2 . Equivalentemente si
p
p
w 2 + i Log z i 1 z2 .
El valor principal del arcoseno, que notaremos por arcsen(z), se define eligiendo el logaritmo
principal:
p
arcsen(z) = 2 + i log z + i 1 z2 , zC
Dado z C queremos calcular los nmeros complejos w tales que z = tan(w) o, lo que es lo mis-
mo, z cos(w) = sen(w). El conjunto de todos ellos lo representaremos por Arctan(z). Escribiendo
la definicin de seno y coseno
eiw eiw iw
+eiw
2i = ze 2 .
u2 1 = iz(u2 + 1) u2 (1 iz) = 1 + iz
1+iz
puesto que z i podemos escribir u2 = 1iz ,
esto es,
1+iz 1 1+iz
e2iw = 1iz w 2i Log 1iz (z i).
3.6 Ejercicios
34
Funciones complejas elementales Ejercicios
Ejercicio 3.1
Expresa los 8 nmeros 1 i, 3 i en la forma r ei .
Ejercicio 3.2
Ejercicio 3.3
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
1i
Calcula log(1 i) log i y log i .
Ejercicio 3.6
Ejercicio 3.7
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 Funciones complejas elementales
Ejercicio 3.9
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
Ejercicio 3.12
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
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
Funciones complejas elementales Ejercicios
Ejercicio 3.17
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
37
38
Series de potencias. Funciones analticas Sucesiones y series 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 con- Convergencia pun-
vergente. Llamaremos campo de convergencia puntual de la sucesin {fn } al conjunto tual
Se dice que {fn } converge uniformemente a una funcin f en un conjunto B A si Convergencia unifor-
me
lim sup{fn (z) f (z) : z B} = 0
n
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.
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 Convergencia abso-
luta
P
mdulos, n1 fn (a), converge. Se define el campo de convergencia absoluta como el conjunto
X
zA: fn (z) converge
n1
Al igual que para series de nmeros complejos la convergencia absoluta de una serie de funciones
implica convergencia pero no al contrario.
39
Series de potencias complejas Series de potencias. Funciones analticas
f0 (z) = c0 ,
fn (z) = cn (z a)n , n 1.
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.
Radio de con- Al nmero R se le llama radio de convergencia de la serie. En el caso primer convenimos en que
vergencia R = 0 y en el segundo R = +.
Dada una serie de potencias no trivial, llamaremos dominio de convergencia de la serie al conjunto
a) = C si R = +
b) = D(a, R) si R R+
Para obtener el radio de convergencia de una serie de potencias de forma prctica podemos aplicar
alguno de los criterios siguientes.
Criterio del cocien- Teorema 4.3. Dada una sucesin de nmeros complejos {cn } supuesto que
te o de DAlembert a) cn 0 para todo n a partir de un ndice en adelante, y que
|cn+1 |
b) lim = L R+
0 {+}
n |cn |
entonces R = 1/L con los convenios: R = 0 si L = + y R = + si L = 0.
cn (z a)n .
X
Demostracin. Para obtener este resultado basta aplicar el criterio del cociente a la serie
n0
Tenemos
cn+1 (z a)n+1
cn+1
lim = lim |z a| = L |z a| .
n |cn (z a)n | n 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.
Teorema 4.4. Si lim n |cn | = L R+
p
Criterio de la n 0 {+} entonces R = 1/L con los mismos convenios
raz o de Cauchy anteriores.
El siguiente lema es muy til para calcular la suma de algunas series.
Lema 4.5. Supongamos que la serie n0 cn z n converge en un punto z 0 de la frontera de su
P
Lema de Abel
disco de convergencia. Entonces se verifica que:
40
Series de potencias. Funciones analticas Series de potencias complejas
cn (r z0 )n = cn z0n .
X X
lim
r 1
0<r <1 n=0 n=0
Teorema 4.6. Sea a un nmero complejo, n0 cn (z a)n una serie de potencias no trivial y
P
Teorema de deriva-
su dominio de convergencia. Sea f : C la funcin suma de la serie, esto es, cin de una serie de
potencias
cn (z a)n ,
X
f (z) = z .
n=0
f (k) a
En particular f (k) a = k! ck o, lo que es lo mismo, ck = k! para todo k N {0} .
Definicin 4.7. Sea f una funcin indefinidamente derivable en un abierto C y sea a . Serie de Taylor
La serie de potencias
X f (n) (a)
(z a)n
n0
n!
n0
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) f (n) (b)
cn = n! .
Ejemplo 4.10.
a) Una funcin derivable una vez pero no dos veces derivable.
Sea f : R R la funcin dada por:
41
Ejercicios Series de potencias. Funciones analticas
(
x 2 /2, si x < 0
f (x) =
x 2 /2, 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 (n) (a)
(z a)n para todo z D(a, r ) .
X
f (z) =
n=0
n!
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
4.3 Ejercicios
Ejercicio 4.1
X z+i n
Estudia la convergencia puntual de la serie de funciones zi con z i.
n1
Ejercicio 4.2
2zi n
1
X
Estudia la convergencia puntual de la serie de funciones n 2+iz , con z 2i.
n1
42
Series de potencias. Funciones analticas Ejercicios
Ejercicio 4.3
Ejercicio 4.4
X 2n+3 n 2 2
an z n
X
a) z n d)
2n+6
n0
n1
(2n)! n
X
e) (n!)2 z
n! n
X
b) nn z
n1 n0
(2n)!n2n n
X
z2n f) 2n n!(3n)! z
X
c) (1+2i)n
n1 n0
Ejercicio 4.5
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
1
Expresa (1z)3 como suma de una serie de potencias.
Ejercicio 4.8
a(a1)...(an+1) n
Sea a C . Justifica que (1 + z)a = 1 +
X
n! z , para |z | < 1.
n=1 Serie binomial
43
Ejercicios Series de potencias. Funciones analticas
Ejercicio 4.9
Ejercicio 4.10
(1)n+1 n
X
Prueba que log(1 + z) = n z , z D(0, 1).
n=1
44
Integracin de funciones complejas Integracin de funciones de variable real con valores complejos
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.3. Si a < c < b, y : [a, b] C es integrable, se verifica que Aditividad respecto
Zb Zc Zb al intervalo
= + .
a a c
t
Teorema 5.4. Si : [a, b] C es continua, la funcin dada por G(t) = (s) ds para t [a, b] Teorema fundamen-
a
es una primitiva de en [a, b]. tal del Clculo
Proposicin 5.5. Sea F : [a, b] C derivable con derivada integrable, entonces Regla de Barrow
Zb
F 0 (t) dt = F (b) F (a).
a
Proposicin 5.6. Sea : [c, d] R una funcin estrictamente creciente con derivada continua. Frmula de cambio
Entonces de variable
Z (d) Zd
(s) ds = ((t)) 0 (t) dt.
(c) c
45
Curvas en el plano Integracin de funciones complejas
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.
Curva cerrada Se dice que es una curva cerrada cuando sus extremos coinciden, esto es, (a) = (b).
Curva regular Diremos que una curva es regular si la aplicacin que la define es derivable con derivada continua,
esto es, es de clase C 1 .
Ilustracin 5.1
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
Definicin 5.11. Dadas dos curvas : [a, b] C y : [c, d] C con (b) = (c), definimos una
Yuxtaposi- nueva curva que llamaremos yuxtaposicin de y o tambin suma de y , y la notaremos
cin de curvas 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.
Ejemplo 5.12.
a) Segmento de origen z y extremo w. Es la curva : [0, 1] C definida por
46
Integracin de funciones complejas 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
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 . Reparametrizacin
Dos curvas equivalentes tienen la misma traza, mismo punto inicial y mismo punto final.
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 conti-
nuas en .
Propiedades
47
Integral curvilnea Integracin de funciones complejas
Zb " #
t = (s)
Z
f (z) dz = f ( (t)) 0 (t) dt =
a dt = 0 (s) ds
Z 1 (b)
= f ( ((s))) 0 ((s)) 0 (s) ds
1 (a)
Zd Z
0
= f ( (s)) (s) ds = f (z) dz.
c
Demostracin. En efecto
Z Z Z
b b
0 f ((t)) 0 (t) dt
f (z) dz = f ((t)) (t) dt
a a
Zb
max{f (z) : z }
0
(t) dt
a
= max{f (z) : z } `().
El clculo de una integral curvilnea es inmediato si se conoce una primitiva de la funcin que
integramos.
Regla de Barrow Teorema 5.20. Sea C un abierto, f una funcin continua en y supongamos que hay una
para integra- funcin F H () tal que F 0 (z) = f (z) para todo z . Sea : [a, b] C un camino en (esto
les curvilneas
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, |[tk1 , tk ]
es continua. Teniendo en
0
cuenta que la funcin f ((t)) (t) es continua en cada intervalo [tk1 , tk ] y que
48
Integracin de funciones complejas Ejercicios
Corolario 5.21. Si una funcin continua f en un abierto admite una primitiva en , entonces Condicin necesaria
la integral curvilnea de f es la misma para todos los caminos en que tienen los mismos puntos para la existencia de
R primitivas
inicial y final. En particular, para todo camino cerrado en se verifica que f (w) dw = 0.
Proposicin 5.22. La funcin suma de una serie de potencias no trivial tiene primitivas en el
dominio de convergencia de la serie.
es una primitiva de en .
1
Con este resultado es fcil dar un ejemplo de una funcin que no tiene primitiva. Sea f (z) = z
para z C . Tenemos que
Z Z
1
f (z) dz = eit
ieit dt = 2 i 0
C(0,1)
Teorema 5.23. Sea f una funcin continua en un abierto . Las siguientes afirmaciones son Caracterizacin de la
equivalentes: existencia de primiti-
vas
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
Ejercicios Integracin de funciones complejas
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
1
Calcula n
z
dz.
C(0,1)
Ejercicio 5.5
Calcula log(z) dz.
C(0,1)
Ejercicio 5.6
Dado C, calcula z log(z) dz.
C(0,1)
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
log(1+z)
Prueba que para 0 < r < 1, se tiene que z dz = 0. Deduce que
C(0,r )
Z 2
log 1 + r 2 + 2r cos() d = 0.
0
Ejercicio 5.9
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.
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 compro-
bar que su integral a lo largo de todo camino cerrado en es cero, lo que no parece nada fcil en la
prctica. Afortunadamente, hay teoremas que garantizan que bajo ciertas condiciones la integral
de una funcin holomorfa a lo largo de cualquier camino cerrado es nula. Estos teoremas reciben
el nombre de teoremas de Cauchy. En ellos se considera un abierto y un camino cerrado en .
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 Lema de Riemann
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
ndice . . . Frmula de Cauchy. Teorema de los residuos
1 1
w , wz es holomorfa en , deber cumplirse que dw = 0. Si ahora f es una funcin
wz
holomorfa en y z , la aplicacin h : C dada por
f (w)f (z)
(
wz , si w z
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
asegura que es holomorfa en todo ) y deber ser h(w) dw = 0. Supuesto que z 6 tenemos
R
que
Z Z Z Z
f (w)f (z) f (w) 1
0= h(w) dw = wz dw = wz dw f (z) wz dw
de donde
Z Z
1 f (w)
f (z) wz dw = 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.
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 Zb Zb
1 0 (t) 0 (t)
wz dw = (t)z dt = (t) dt.
a a
La ltima igualdad es consecuencia de que (a) y (b) son argumentos del mismo nmero com-
plejo (a) = (b) luego su diferencia es un mltiplo entero de 2 .
Hemos justificado la igualdad
Z
1 1 (b)(a)
2 i wz dw = 2 = k Z,
52
Frmula de Cauchy. Teorema de los residuos ndice . . .
Definicin 6.4. Sea : [a, b] C un camino cerrado y z 6 . Se define el ndice del punto z ndice
respecto del camino como
Z
1 1
Ind (z) = 2 i wz dw.
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 Propiedades del ndi-
z , Ind (z) tiene las propiedades: ce
6.1.1 Cadenas
En lo que sigue nos va a interesar integrar en varios caminos al mismo tiempo por lo que es
conveniente introducir la terminologa de cadenas. Una cadena es una suma formal 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
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 n Z
X
f (z) dz = f (z) dz.
j
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 Ciclo
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.
n
X
Ind (z) = 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
. . . frmula integral de Cauchy Frmula de Cauchy. Teorema de los residuos
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:
Simplemente conexo 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 tr-
minos ms precisos: su complemento no tiene componentes conexas acotadas). En la prctica son
fciles de reconocer.
Teorema de Cauchy Teorema 6.11. Toda funcin holomorfa en un dominio simplemente conexo tiene primitivas en
para dominios sim- dicho dominio.
plemente conexos
Consecuencias
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
Frmula de Cauchy. Teorema de los residuos Singularidades aisladas . . .
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 pequenos. Esto nos dice que la integral f (z) dz va a depender
solamente del comportamiento de f en los puntos a, b, y c.
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 . Singularidad evitable
b) Existe lim f (z) = . En tal caso se dice que a es un polo de f . Polo
za
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 Residuo
\ {a}. Supongamos que D(a, r ) . Se define el residuo de f en a como
Z
1
Res(f (z), a) = 2 i f (z) dz.
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 Teorema de los resi-
sea f una funcin holomorfa en \ S. Si es un ciclo en nulhomlogo respecto de entonces duos
55
Singularidades aisladas . . . Frmula de Cauchy. Teorema de los residuos
Z q
X
f (z) dz = 2 i Res(f (z); aj ) Ind (aj ).
j=1
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 q Z
X
f (z) dz = f (z) dz = f (z) dz
j
j=1
q
X Z q
X
= mj f (z) dz = 2 i Ind (aj ) Res(f (z); aj )
C(aj ,)
j=1 j=1
g (n) (a)
donde dn = n! . Deducimos que
k1
dn
dn (z a)nk ,
X X
f (z) = (za)kn
+ z D(a, r ) \ {a}. (6.1)
n=0 n=k
Es usual emplear la siguiente notacin para la serie (6.1). Dicha serie se escribe en la forma
cn (z a)n z D(a, r ) \ {a}.
X
f (z) = (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)
n+1 para todo n Z con n 1
por lo que (z a)n dz = 0 para todo entero n 1, obtenemos que las integrales de
C(a,r )
56
Frmula de Cauchy. Teorema de los residuos Singularidades aisladas . . .
todos los trminos de la serie (6.2) son nulas excepto la que corresponde al sumando para
n = 1. Por tanto
Z Z Z
c1
cn (z a)n dz =
X
f (z) dz = za dz = 2 ic1 .
C(a,r ) C(a,r ) C(a,r )
n=k
Deducimos que
Z
1
c1 = 2 i f (z) dz = Res(f (z), a).
C(a,r )
g (k1) (a)
h i
lim dzdk1
1
c1 = (k1)! = (k1)! za (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.
cn (z a)n , z D(a, r ) \ {a}
X
f (z) = (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.
k=n
ck (z a)k se dice que es una serie de Laurent centrada
X
Definicin 6.15. Una serie del tipo
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
n +
ck (z a)k = an (z a)n .
X X
lim
n
k=n 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 +.
Teorema 6.16. Sean 0 r < R +, a C y f una funcin holomorfa en el anillo A(a; r , R). Desarrollo en serie
Entonces hay una nica serie de Laurent centrada en a verificando que de Laurent
+
cn (z a)n ,
X
f (z) = para todo z A(a; r , R).
n=
57
Aplicaciones . . . Frmula de Cauchy. Teorema de los residuos
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(n) (a) h(n) (a)
a)n = a)n
X X
h(z) = k! (z k! (z
n=0 n=k
(n)
h (a)
=(z a)k a)nk .
X
k! (z
n=k
P h(n) (a)
Poniendo para z D(a, r ) (z) = n=k k! (za)nk , la funcin es holomorfa en D(a, r )
y (a) 0. Deducimos que
g(z) g(a)
lim (z a)k f (z) = lim = 0
za za (z) (a)
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 supone-
mos que g(a) 0 y h tiene un cero simple, es decir, de orden 1 en a. Entonces, segn acabamos
de ver, f tiene un polo simple, es decir, de orden 1 en a. Entonces tenemos que
g(z) za g(a)
Res(f (z), a) = lim (z a) h(z) = g(a) lim = h0 (a) .
za za h(z)
Z
6.4.1 Integrales del tipo R(cos(t), sen(t)) dt
Suponemos que R es una funcin racional de dos variables continua en la circunferencia unidad.
La idea para calcular esta integral por el mtodo de residuos es convertirla en una integral sobre
C(0, 1) de una funcin compleja que tambin va a ser racional. Para ello recordemos que
58
Frmula de Cauchy. Teorema de los residuos Aplicaciones . . .
Z q
X
R(cos(t), sin(t)) dt = 2 i 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)
1
Z Z Z
1 1 1 1 1
I= 2 iz dz = i 2z2 +5z+2 dz = i (2z+1)(z+2) dz.
C(0,1) 5 + 2 z +1 C(0,1) C(0,1)
z
Por tanto
I = 1i 2 i Res
1 1 1
(2z+1)(z+2) , 2 = 2 lim (z + 1/2) (2z+1)(z+2)
z1/2
1 2
= lim
z1/2 (z+2)
= 3.
Z +
P (x)
6.4.2 Integrales del tipo dx
Q(x)
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 + q
P (x) P (z)
X
Q(x) dx = 2 i Res 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 Q(z) dz = 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| K = f (z) = Q(z) |z| 2 . (6.4)
59
Aplicaciones . . . Frmula de Cauchy. Teorema de los residuos
q Z Z
P (z) P (z) P (x)
X
2 i Res Q(z) , zj = Q(z) dz = Q(x) dx + I1 + I2 + I3
(,,)
j=1
As,
q Z
P (z) P (x)
X
2 i Res , z dx
Q(z) j Q(x) |I1 | + |I2 | + |I3 |. (6.5)
j=1
Por tanto,
Z Z Z h it=
M M
arctan t
M
|I1 | = f ( + it)i dt f ( + it) dt
2 +t 2 dt = 2 .
0
0 0 t=0
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 P (z) P (x) M M
2 i , z dx
Res + .
(6.6)
Q(z) j Q(x) 2
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)
Q(x) dx por una integral parcial Q(x) dx.
60
Frmula de Cauchy. Teorema de los residuos 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
1 1
Res (z2 +a2 )(z2 +b2 ) , ia = lim (z ia) (zia)(z+ia)(z 2 +b 2 )
zia
1 1
= lim (z+ia)(z2 +b2 ) = 2i a(b2 a2 ) .
zia
1 1
Anlogamente Res (z2 +a2 )(z2 +b2 ) , ib = 2ib(a2 b2 ) . Luego
1 1
I = 2 i 2ia(b2 a2 ) + 2ib(a2 b2 ) = a b(a+b) .
+
eix P (x)
6.4.3 Integrales del tipo Q(x) dx
Suponemos que
a) P y Q son funciones polinmicas sin factores comunes y > 0.
b) grado(Q) grado(P ) + 1.
c) Q(x) 0 para todo x R.
En estas condiciones si {z1 , z2 , . . . , zq } es el conjunto de los ceros del polinomio Q que estn en el
semiplano superior se verifica que
Z + q
eix P (x) eiz P (z)
X
Q(x) dx = 2 i Res 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 Q(z) dz = 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| K = Q(z) |z| (6.7)
61
Aplicaciones . . . Frmula de Cauchy. Teorema de los residuos
q Z Z
eiz P (z) eiz P (z) eix P (x)
X
2 i Res Q(z) , zj = Q(z) dz = Q(x) dx + I1 + I2 + I3
(,,)
j=1
As,
q iz Z
eix P (x)
Res e Q(z)
P (z)
X
2 i , zj dx
Q(x) |I1 | + |I2 | + |I3 | . (6.8)
j=1
Z Z Z it=
Met et M 1e
h
M M
|I1 | =
f ( + it)i dt
f ( + it) dt
dt = t=0 = .
0 0 0
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
dt = ( + ) M
|I2 | = f (z) dz f (t + i) dt
e .
[+i,+i]
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 i z Z ix
e P (z) e P (x) 1 M +M .
X
2 i Res , z dx (6.9)
Q(z) j Q(x)
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.
+
cos(x)
Ejemplo 6.19. Calcular la integral I = a2 +x 2 dx.
62
Frmula de Cauchy. Teorema de los residuos Aplicaciones . . .
+ +
eix eix
Suponemos que a > 0 y > 0. Como I = Re 2 2 dx , calcularemos J = 2 2 dx.
a +x a +x
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
eiz a a
=2 i lim (z ai) (zai)(z+ai) = ea = I = e a .
zai
Z +
sen(x)P (x)
6.4.4 Integrales del tipo 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 ).
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
q
Z + iz iz
sen(x)P (x) e P (z) e P (z)
X
x Q(x) dx = Im 2 i Res zQ(z) , zj + i Res zQ(z) , 0 .
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 aho-
iz + i i 2 + i
ra la funcin f (z) = ezQ(z)
P (z)
teniendo en cuenta que
Ind (,,,) (0) = 0, el teorema de los residuos nos di-
ce que 3 1
Z q
eiz P (z) eiz P (z)
X
dz = 2 i
zQ(z) Res zQ(z) , zj .
(,,,)
j=1
Ilustracin 6.5 (, , , )
Las acotaciones que hemos obtenido antes en los seg-
mentos 1 , 2 y 3 siguen siendo vlidas (observa que grado (zQ(z)) grado (P (z)) + 1) por lo
que obtenemos fcilmente la siguiente acotacin anloga a la acotacin (6.9) del caso anterior:
q Z Z !
M
Z
1 M
X
2 i Res f (z), zj f (x) dx f (z) dz f (x) dx
+ . (6.10)
j=1
P (0)
Sea w = Res(f (z), 0) = lim z, f (z) = Q(0) . Teniendo en cuenta el sentido de recorrido de
z0
tenemos que
Z Z
w
f (z) dz + iw = f (eit ) eit
ieit dt.
0
w 1
Como f eit
it
= e f eit w , deducimos que
eit
63
Aplicacin . . . a la suma de series Frmula de Cauchy. Teorema de los residuos
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
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 = x Q(x) dx + x Q(x) dx
sen(x)P (x)
y teniendo en cuenta tambin que la funcin x , xQ(x) es continua en x = 0 sin ms que
P (0)
definirla en 0 igual a Q(0) por lo que
Z Z + ! Z +
sen(x)P (x) sen(x)P (x) sen(x)P (x)
lim x Q(x) dx + x Q(x) dx = x Q(x) dx
0
concluimos que
q
Z +
sen(x)P (x)
X
x Q(x) dx = Im 2 i Res f (z), zj + i Res(f (z), 0) .
j=1
Ejemplo 6.20.
Z + iz
eiz
dx = Im i Res ez , 0 = Im i lim z
sen(x)
x z = .
z0
+
X P (n)
6.5.1 Series del tipo
Q(n)
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
Frmula de Cauchy. Teorema de los residuos 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)
1
)(1 i), (n + 12 )(1 i), (n + 2 )(1 + i), (n + 2 )(1 + i), (n + 2 )(1 i)]
1 1 1
n = [(n +
2
y obtenemos para n suficientemente grande que
q
Z n
X X
f (z) dz = 2 i Res(f (z), k) + Res(f (z), zj ) . (6.13)
n
k=n j=1
Como para k Z es
P (z) P (k) cos( z)
Res(f (z), k) = lim (z k) cotan( z) Q(z) = Q(k) lim (z k) sen( z)
zk zk
P (k) zk P (k) 1 P (k)
= Q(k) cos(k ) lim sen( z) = Q(k) cos(k ) cos(k ) = Q(k)
zk
y, en las hiptesis hechas, se comprueba que lim f (z) dz = 0, deducimos de la igualdad (6.13)
n n
que
n n + q
P (k) P (n) P (z)
X X X X
lim Res(f (z), k) = lim Q(k) = Q(n) = Res cotan( z) Q(z) , zj .
n n
k=n k=n j=1
De donde
e +e
1 1 1
X
n2 +2 = 2 e e 2 .
n=1
+
P (n)
(1)n
X
6.5.2 Series del tipo
Q(n)
Suponemos que
a) P y Q son funciones polinmicas sin factores comunes.
b) grado(Q) grado(P ) + 1.
c) Q(k) 0 para todo k Z.
En estas condiciones si {z1 , z2 , . . . , zq } es el conjunto de los ceros del polinomio Q se verifica que
+ q
P (n) P (z)
(1)n Q(n)
X X
= Res cosec( z) Q(z) , zj .
j=1
65
Ejercicios Frmula de Cauchy. Teorema de los residuos
6.6 Ejercicios
Ejercicio 6.1
ez dz
Calcula la integral 3 para = C(1/4, 1/2), = C(1, 1/2) y = C(2, 3).
z(1z)
Ejercicio 6.2
cos(z)
Calcula la integral 2 para = C(0, 1/3), = C(1, 1/3) y = C(0, 2).
z (z1)
Ejercicio 6.3
sen(2z)
Calcula 2 2 dz.
C(0,1) (z /4) (z +9)
Ejercicio 6.4
dw
Calcula m donde m N y |b| < r < |a|.
C(0,r ) (wa)(wb)
Ejercicio 6.5
Ejercicio 6.6
Sean a, b C tales que |a| < |b|. Obtngase el desarrollo en serie de Laurent de la funcin
1
f (z) = (za)(zb) , con z C \ {a, b} en cada uno de los anillos :
a) A(0; |a| , |b|),
b) A(0; |b| , +),
c) A(a; 0, |b a|) y
d) A(a; |b a| , +).
Ejercicio 6.7
1
Obtngase el desarrollo en serie de Laurent de la funcin f (z) = (z2 1)2 con z C \ {1, 1} en
los anillos A(1; 0, 2) y A(1; 2, +).
Ejercicio 6.8
n 1
b) f (z) = z sen z = C (n N),
log(1+z)
c) f (z) = z2 = C \ {x R : x 1},
66
Frmula de Cauchy. Teorema de los residuos Ejercicios
1
d) f (z) = z(1e2 iz )
= C \ Z,
z
e) f (z) = tan( z) = C \ Z.
Ejercicio 6.9
Prueba, usando el teorema de los residuos, que para 0 < b < a se tiene:
Z
sen2 (t)
p
2 2 .
a+b cos(t) dt = b2 a a b
0
67
68
Series de Fourier Introduccin
Series de Fourier
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 fun-
damental en el estudio de estos problemas y el desarrollo de las Matemticas tal y como hoy las
conocemos.
El problema de la representacin de una funcin mediante una suma, posiblemente infinita, de fun-
ciones 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 fe-
nmenos fsicos como el movimiento de una cuerda o la transmisin del calor.
A la hora de estudiar fenmenos peridicos tenemos dos frentes abiertos. Por un lado es necesario
un conocimiento de las leyes fsicas que gobiernan el sistema que queremos modelar, ya se trate
del movimiento de un 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.
Definicin 7.1. Una funcin f es peridica con periodo T (o T -peridica) si existe un nmero Funcin peridica
T > 0 tal que f (t) = f (t + T ), para todo t. Al menor valor de T se le llama periodo de f (tambin
lo llamaremos periodo fundamental o mnimo para distinguirlo del resto).
Observacin 7.2. Las funciones constantes son peridicas con periodo fundamental cero da-
do que son peridicas con cualquier periodo. Si nos olvidamos de este caso, todas las funciones
continuas y peridicas tienen un periodo fundamental T positivo.
69
Fenmenos peridicos Series de Fourier
sen(nt + ), cos(nt + )
2
son peridicas con periodo fundamental T = .
La suma de fun- Observacin 7.3. En un primer vistazo parece claro que si la grfica de una funcin se repite cada
ciones peridi- vez que avanzamos T1 unidades y la de la segunda funcin se repite cada T2 unidades, entonces
cas es peridica?
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
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
A sen(2 t + ).
=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 cons-
1 tantes tambin son peridicas, de hecho con cual-
quier perodo.
Cuando intentamos describir fenmenos peridi-
T2 T
2 cos algo ms complejos es necesario recurrir a com-
1 binaciones lineales de funciones sinusoidales de la
forma anterior, esto es, funciones del tipo
Ilustracin 7.1 Funciones peridicas
N
X XN
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
N
a0
X
2 + [an cos(2 nt) + bn sen(2 nt)]
n=1
a0
Pronto entenders que el motivo para aadir la constante 2 es una cuestin de comodidad en la
notacin.
Definicin 7.4. Un polinomio trigonomtrico con periodo T y frecuencia = 2 /T es una Polinomio trigono-
funcin de la forma mtrico
N
1
X
f (t) = 2 a0 + [an cos(nt) + bn sen(nt)] .
n=1
Si f (t) = 12 a0 + N
P
n=1 [an cos(nt) + bn sen(nt)] es un polinomio trigonomtrico, f es una
funcin T -peridica. Adems, si tomamos
q
bn
n = a2n + bn
2
y n = arctan an
( , ]
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 corres-
ponde a deslizar la grfica hacia la derecha) con respecto al armnico puro de la misma frecuencia
cos(nt).
71
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. Pro-
blemas 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 2
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) = 2 donde slo se
supona que f era una extensin par y peridica de f . El hecho de que esta formula tenga sentido
e
sin ninguna hiptesis de regularidad de la funcin f planteaba serias dudas a DAlembert. Inde-
pendientemente, Euler tambin haba llegado a la misma conclusin, aunque ambos tenan serias
divergencias en cuanto a qu funciones se podan tomar como condicin inicial. Hay que tener
en cuenta que el concepto de funcin, tal y como hoy lo conocemos, no estaba nada claro. Como
ejemplo, las funciones 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
X
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
X
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.
Medio siglo ms tarde, Joseph Fourier, matemtico y fsico francs, tom en cuenta las investigacio-
nes previas de Bernoulli para resolver otro problema. Al regresar a Francia de la campaa de Egipto
con Napolen, Fourier se interesa por la teora de conduccin del calor en los cuerpos slidos en
respuesta a un concurso promovido por la Academia de Ciencias de Pars.
Ms concretamente, el problema era el siguiente: se considera una varilla delgada de longitud 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
u(x,t) 1 u(x,t)
x 2 = K t , 0 < x < L, 0 < t
u(0, t) = u(L, t) = 0, 0t (7.2)
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
2u 1 u 1
0= x 2 K t = f 00 (x)g(t) 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) 1 g 0 (t)
f (x) = g(t) .
K
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) 1 g 0 (t)
f (x) = 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)
1 g 0 (t)
K g(t) = = g 0 (t) + Kg(t) = 0. (7.4)
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 ,
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,
Si a2 = 0, entonces a1 debe ser distinto de cero para que f no sea constantemente cero. Adems
f (L) = 0, con lo que 0 = f (L) = a1 sen L y por tanto L debe ser un cero de la funcin seno:
n2 2
p
L = n , n Z = = L2 = n .
En consecuencia, para cada entero n tenemos un posible valor de . Dicho de otra forma,
q
f (x) = a1 sen n x
verifica la ecuacin del calor y la primera condicin. Adems cualquier combinacin lineal tambin
las verifica. Por tanto
N N Kn2 2 t
n x
X X
u(x, t) = bn un (x, t) = bn a1 sen L e L2
n=1 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) . . .
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 + [an cos(n0 t) + bn sen(n0 t)] (7.6)
n1
Utilizando que
1
sen(x) cos(y) = 2 sen(x + y) + sen(x y) , (7.7)
1
cos(x) cos(y) = 2 cos(x + y) + cos(x y) , y
1
sen(x) sen(y) = 2 cos(x y) cos(x + y)
se obtiene lo siguiente.
Proposicin 7.5.
T /2
a) cos(n0 t) sen(m0 t) dt = 0, n, m N,
T /2
T /2 T /2, si m = n,
b) cos(n0 t) cos(m0 t) dt =
T /2 0, si m n
T /2 T /2, si m = n,
c) sen(n0 t) sen(m0 t) dt =
T /2 0, si m n
T /2 T , si n = 0,
d) cos(n0 t) dt =
T /2 0, si n 0
T /2
e) sen(n0 t) dt = 0.
T /2
75
Series de Fourier Series de Fourier
Funciones Esto se suele resumir diciendo que las funciones sen(n0 t) y cos(n0 t) son ortogonales. Pero
ortogonales 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
X
f (t) cos(m0 t) dt = C+ (an cos(n0 t) + bn sen(n0 t)) cos(m0 t) dt
T /2 T /2 n=1
Z T /2
X Z T /2
=C cos(m0 t) dt + an cos(n0 t) cos(m0 t) dt
T /2 n=1 T /2
X Z T /2
+ bn sen(n0 t) cos(m0 t) dt
n=1 T /2
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
si ms que tener en cuenta que cos(0) = 1. Para tener una frmula similar al resto de coeficientes
usaremos
Z T /2
a0 = 2C = T2 f (t) dt,
T /2
con lo que
76
Series de Fourier Series de Fourier
Z T /2
2
am = T f (t) cos(m0 t) dt,
T /2
para n = 0, 1, 2, . . .
Definicin 7.6. Sea f : R R una funcin peridica con perodo T . Llamaremos coeficientes de Coeficientes de Fou-
Fourier a los siguientes nmeros (si existen): rier
Z T /2
2
an = T f (t) cos(n0 t) dt, para n = 0, 1, 2, . . . , y
T /2
Z T /2
2
bn = T f (t) sen(n0 t) dt, para n = 1, 2, . . . .
T /2
a0
X
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
h manera:
i calcular los coeficientes de
T T
Fourier de la funcin f (x) = x + 1 en el intervalo 2 , 2 . Tal como est enunciado, la fun-
cin f no es peridica. Para que as fuera deberamos definir f T2 y f 2 con un mismo
T
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
X
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
an cos(n0 t) + bn sen(n0 t) = a2n + bn 2
cos(n0 t + n ),
donde
77
Series de Fourier Series de Fourier
bn
(
arctan an , si an 0
n =
2, si an = 0 .
q
La amplitud del n-simo armnico es a2n + bn 2
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 .
y
Z n
cos(nx) cos 2
i
cos(n )
bn = 1 sen(nx) dx = n = n + n
/2 /2
1
(
= n , si n es impar
1 n/2 ],
n [1 (1) si n es par
Por tanto,
f (x) 34 +
1 1 1
cos(x) + sen(x) sen(2x) 3 cos(3x) + 3 sen(3x) + . . .
h i
= 34 +
1 1
(1)n1 cos((2n 1)x) + sen((2n 1)x) sen((4n 2)x)
X
2n1
n=1
Para n 1,
Z5 Z6
an = cos(n (x 5)) dx + 2 cos(n (x 5)) dx = 0, y
4 5
Z5 Z6 (
0, si n es par
bn = sen(n (x 5)) dx + 2 sen(n (x 5)) dx = 2
4 5 n , si n es impar
3 2 1
X
Por tanto f (x) 2 + 2n1 sen[(2n 1) (x 5)].
n1
78
Series de Fourier Series de Fourier
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).
a0
+
P
a) Si f es par, entonces f (t) 2 n=1 an cos(n0 t), donde
Z T /2
4
an = T f (x) cos(n0 t) dt , n = 0, 1, 2, . . .
0
P
b) Si f es impar f (t) n=1 bn sen(n0 t), donde
Z T /2
4
bn = T f (t) sen(n0 t) dt , n = 1, 2, 3, . . .
0
Ejemplo 7.11. La funcin f (x) = x en [ , ] es impar. Por tanto, su serie de Fourier slo
tiene coeficientes en senos.
Z Z
bn = 2 x sen(nx) dx = 2 x cos(nx)
cos(nx)
+ dx
n n
0 0 0
n+1
2 cos(n )
= n = 2 (1)
n .
n+1
2 (1)
X
Por tanto, f (x) n sen(nx).
n=1
79
Series de Fourier Series de Fourier
2 2
2 2 2
f (x) = x Funcin f1
2 2
2
2
2 2
2
2
Funcin f2 Funcin f3
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.
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
n= n=1 n=1
X
X
=c0 + cn [cos(n0 t) + i sen(n0 t)] + cn [cos(n0 t) i sen(n0 t)]
n=1 n=1
X
=c0 + [(cn + cn ) cos(n0 t) + i(cn cn ) sen(n0 t)]
n=1
a0 1
Por tanto, tomando a0 = 2c0 , an = cn + cn y bn = i (cn cn ) o c0 = 2 , cn = 2 (an ibn ) y
1
cn = 2 (an + ibn ) se tiene que
a0
cn ein0 t =
X X
+ [an cos(n0 t) + bn sen(n0 t)]
n= 2 n=1
80
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
cn ein0 t
X
f (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
2
Definicin 7.12. Sea f una funcin peridica con perodo T y frecuencia fundamental 0 = T .
Entonces los coeficientes de Fourier complejos de f son Coeficientes de Fou-
Z T /2 rier complejos
Los coeficientes de Fourier complejos los hemos calculado usando exponenciales complejas y pue-
den ser complejos. En segundo lugar, obsrvese que la definicin tiene perfecto sentido para fun-
ciones 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 . . .
Definicin 7.13. Sea f : R C una funcin peridica con perodo T y frecuencia fundamental
cn ein0 t .
X
0 = 2 /T . La serie de Fourier compleja de f es
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
fb(n)ein0 t .
X
f (t)
n=
Para n 0,
Z T /2 Z
cn = T1
1
f (t)ein0 t dt = 2 tein0 t dt
T /2
h i Z
1
= 2in teint eint dt
1 in 1
= 2in e in
+ e + in ein ein
1 2
= 2in 2 cos(n ) n sen(n )
= 1
in cos(n )
i
= n (1)n .
81
Series de Fourier Series de Fourier
Pulso rectangular Ejemplo 7.16. Llamamos pulsos rectangulares a aquellas seales que son nulas salvo un
determinado
h i intervalo de tiempo en el que son constantes. El ejemplo tpico es la funcin
T T
f : 2, 2 R
1, si |x| < a/2,
f (x) =
0, en otro caso,
T a a T
2 2 2 2
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 a/2
ia/2
1 ein0 t ein0 a/2 ein0 a/2
h
2 sen(n0 a/2)
= T in0 a/2 = T n0 2i = T n0 ,
T /2 a/2
1 1 a
para n distinto de cero, y c0 = T f (t) dt = T 1 dt = T.
T /2 a/2
Funcin triangular Ejemplo 7.17. La funcin triangular peridica con periodo T est definida como
1 |t|
(
f (x) = a , si |t| a,
0, para a |t| T /2.
a a
T2 2 2
T
2
1
2
y usando que 1 cos(2x) = 2 sen2 (x), cn = 4 senn2(n 0 a/2)
20 aT
.
T /2
Es inmediato comprobar que c0 = T1 f (t) dt = Ta .
T /2
2t
Funcin diente Ejemplo 7.18. La funcin diente est definida como f (t) = T .
82
Series de Fourier Propiedades de las series de Fourier
3T
2 T2 T
2
3T
2
1
si n 0 y c0 = 0.
Linealidad
Proposicin 7.19. Sean f y g funciones T -peridicas con coeficientes de Fourier fb(n) y g(n).
b Sean
a y b nmeros complejos. Entonces, los coeficientes de Fourier de af + bg son
(af
+ bg)(n) = afb(n) + bg(n),
b
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
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).
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
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
x, si 0 x 5
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 Desigualdad de Bes-
Fourier cn . Entonces sel
Z T /2
2 1 f (t)2 dt.
X
|cn | T
n= T /2
El siguiente resultado, de gran importancia, es una simple consecuencia del hecho que la conver-
gencia de una serie implica la convergencia a cero del trmino general.
Teorema 7.26. Sea f una funcin peridica con periodo T continua a trozos con coeficientes de Teorema de
Fourier cn . Entonces lim cn = lim cn = 0. Riemann-Lebesgue
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.
Definicin 7.27. Sea n un nmero natural. El ncleo de Dirichlet de orden n es la funcin Dn Ncleo de Dirichlet
n
eik0 x .
X
definida como Dn (x) =
k=n
85
Convergencia de las series de Fourier Series de Fourier
Condiciones Definicin 7.28. Una funcin T -peridica f se dice que verifica las condiciones de Dirichlet si en
de Dirichlet [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
1
fb(n)ein0 t =
X
2 [f (t+) + f (t)] .
n=
fb(n)ein0 t = f (t).
X
En particular, si f es continua en t,
n=
Una consecuencia directa del teorema anterior es que los coeficientes determinan la funcin.
Teorema de unicidad Teorema 7.31. Sean f y g funciones peridicas con periodo T derivables a trozos. Si fb(n) = g(n),
b
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 conver-
gencia de una serie de Fourier. De hecho, hay algunos resultados un poco ms generales que el
Teorema 7.29. En 1873 Paul Du Bois-Reymond encontr una funcin continua y acotada cuya se-
rie de Fourier no es convergente en el origen. Hubo que esperar hasta 1966 para resolver este
problema. Carlesson demostr que si f 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, Ka-
hane y Katznelson probaron que, dado un conjunto de medida cero arbitrario, es posible construir
una funcin continua salvo en dicho conjunto y cuya serie de Fourier no es convergente en los
puntos de dicho conjunto.
86
Series de Fourier Convergencia de las series de Fourier
Si la funcin f no verifica (7.9), entonces la situacin puede ser an peor. En 1926 Andrei Kol-
mogorov construy una funcin integrable, con cuadrado no integrable y cuya serie de Fourier no
converge en ningn punto.
4 cos(x)
1+ + 2 sen(x)
2
2
2
para n = 2
4 cos(x)
1+ + 2 sen(x) sen(2x)
2
2
2
para n = 3
4 cos(x)
1+ + 2 sen(x) sen(2x)
2
4 2
cos(3x) + sen(3x)
9 3
2
2
para n = 4
4 cos(x)
1+ + 2 sen(x)
2
4 2
sen(2x) cos(3x) + sen(3x)
9 3
1
sen(4x)
2
2
2
87
Otras propiedades Series de Fourier
para n = 5
4 cos(x)
1+ + 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
2
2
Convolucin
Teorema 7.32. Sean f y g funciones peridicas con periodo T y derivables a trozos. Si h(t) =
X
f (t)g(t), entonces h(n)
b = fb(k) g(n
b k).
k=
Convolucin Definicin 7.33. La convolucin de dos funciones f y g, que denotaremos f g, se define como
Z T /2
(f g)(t) = T1 f (t x)g(x) dx.
T /2
(f
g)(n) = fb(n)g(n),
b n Z.
Identidad de Parseval
Derivacin
Teorema 7.37. Sea f una funcin peridica con periodo T derivable a trozos y continua. Supon-
gamos adems que f 0 es derivable a trozos. Entonces f
c0 (n) = in0 fb(n) y, por tanto,
88
Series de Fourier Otras propiedades
f 0 (t+)+f 0 (t)
in0 fb(n)ein0 t .
X
2 =
n=
Integracin
Teorema 7.38. 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 .
T /2
in0 t
X
Adems h(t) = h(n)e
b , donde
n=
fb(n)
in0 , si n 0,
h(n) =
(1)n fb(n)
b X
in0 , si n = 0.
n=,n0
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.
2
2
2 2
Orden 8 Orden 15
Orden 8 Orden 15
ampliado ampliado
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
(1)n+1
X
x= 2 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
1 sen(t)
oscilacin tiende a ser 2 t dt 0.089 veces el tamao del salto, o sea, aproximadamente
0
un 9% del tamao del salto.
s0 (x) = 21 a0 , y
N
sN (x) = 12 a0 +
X
[an cos(nx) + bn sen(nx)] .
n=1
Recordemos que tenamos una frmula para calcular sN (x) por medio de los ncleos de Dirichlet:
Z
1
sN (x) = 2 f (t)DN (t x) dt
Obsrvese que si tomamos D0 constantemente igual a uno entonces la igualdad tambin es cierta
para N = 0. Por tanto
N Z
1 1
X
N (x) = N+1 2 f (t)DN (t x) dt
n=0
Z
1
= 2 f (t)FN (t x) dt
1 PN
Ncleo de Fejr donde FN = N+1 n=0 DN , se le suele llamar el ncleo de Fejr.
Teorema de Fejr Teorema 7.39. Sea f : [ , ] R integrable. Si f tiene lmites laterales en x, entonces
f (x+)+f (x)
lim N (x) = 2
N
90
Series de Fourier Aplicaciones de las series 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.
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.
2
2
2 2
El problema de la difusin del calor tuvo una gran importancia en el desarrollo de las series de
Fourier. Estos trabajos no slo tenan importancia terica. Para ilustrar esto de una manera sencilla
supongamos que queremos construir una bodega. Cul debera ser su profundidad para que la
temperatura fuera la adecuada? Cul es la variacin de la temperatura a lo largo del ao? Es
posible que la temperatura permanezca constante a lo largo de las estaciones?
La propagacin del calor no es inmediata. Un da caluroso no se traduce inmediatamente en una
temperatura similar varios metros bajo tierra. Hasta pasado cierto tiempo (cambio de fase) no se
alcanza un pico de temperatura en el interior. Piensa en un manantial de agua: no es difcil que sta
este fresca en verano a pesar del calor. Adems tambin es creble que los cambios de temperatura
sean ms dbiles en el interior, que estn atenuados.
Si planteamos y resolvemos un modelo matemtico (la ecuacin del calor) podremos extraer algu-
nas conclusiones. Se puede comprobar que la ola de calor alcanza una profundidad de 4.5 metros
con un cambio de fase equivalente a seis meses: cuando en la 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
Aplicaciones de las series de Fourier Series de Fourier
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
q
a0 n
X
u(x, t) = 2 + an exp 2K x cos (nt + n (x)) ,
n=1
q
n
donde n (x) = n 2K x, y
a0
X
f0 (t) = 2 + an cos(nt + n ).
n=1
Hemos expresado la solucin como una suma infinita en la que los trminos decrecen exponen-
cialmente. Cuanto mayor sea n, menor ser el valor del correspondiente sumando. Si slo nos
fijamos
qen elprimer armnicoq y nos olvidamos del resto, el cambio de fase 1 (x) y la atenuacin
exp 2K x dependen de 2K . Para dar algn dato ms concreto nos hace falta conocer K. Ex-
perimentalmente se determina y, por ejemplo, K = 2 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.
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
L= (t) dt.
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 Aplicaciones de las series de Fourier
Como verifica las condiciones de Dirichlet, coincide con su desarrollo de Fourier. Adems,
podemos suponer que (0)
b = 0. Si no, la curva (0)
b 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
(n)
b = 2 (t)eint dt = (n),
b
0
c0 (n) = in(n),
y b segn vimos en el Teorema 7.37. Por tanto,
Z 2 ! !
1 int imt
X X
A = 2i (n)e
b im(m)e
b dt
0 n= m=
X 2
= n (n)
b .
n0
0 A. (7.11)
2 it , que es la circunferencia
o sea, si, y slo si, (n)
b = 0 para n 0, 1. En ese caso, (t) = (1)e
b
de radio (1)
b .
Proposicin 7.41. Si es una curva con longitud L que encierra un rea A, entonces Desigualdad isoperi-
mtrica
4 A L2
o, lo que es lo mismo, 4 A L2 .
93
Ejercicios Series de Fourier
a0
X
U(t) 2 + an cos(nt) + bn sen(nt),
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
Ejercicio 7.3
A qu converge la serie en 0?
Solucin 7.3
4 X sen(2n + 1)x
f (x) 2 +
n=0 2n + 1
1+3
En 0 converge a 2 = 2.
Ejercicio 7.4
donde h ]0, [.
94
Series de Fourier Ejercicios
Solucin 7.4
2h 1 X 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 1 1
1 33 + 53 73 + 93 +
Solucin 7.5
8 X sen(2n 1)x
f (x)
n=1 (2n 1)3
3
Tomando x = 2, se tiene que la suma vale 32 .
Ejercicio 7.6
1, si x = 0 ,
2hx
f (x) = , si 0 < x < 2h
2h
0, si 2h < x <
Solucin 7.6
2h 1 sen(nh) 2
X
f (x) + cos(nx)
2 n=1 nh
Ejercicio 7.7
x
Calcular la serie de Fourier en senos de la funcin f (x) = 4 2, x [0, ].
Solucin 7.7
X sen(2nx)
f (x)
n=1
2n
Ejercicio 7.8
x
Calcular la serie de Fourier en cosenos de la funcin f (x) = 4 2, x [0, ].
Solucin 7.8
2 X cos(2n + 1)x
f (x)
n=0 (2n + 1)2
95
Ejercicios Series de Fourier
Ejercicio 7.9
Solucin 7.9
" #
2 X 2 2
f (x) + 3 ((1)n 1) sen(nx)
n=1 n n
Ejercicio 7.10
Demostrar que
4 cos(2n1)x
X
|x| = 2 (2n1)2 , x [ , ]
n=1
Solucin 7.10
f alta
Ejercicio 7.11
Solucin 7.11
4 2 X cos(nx) X sen(nx)
f (x) +4 2
4
3 n=1
n n=1
n
Ejercicio 7.12
Ejercicio 7.13
(1)n+1 2
X
b) n2 = 12
n=1
96
Series de Fourier Ejercicios
1 2
X
c) n4 = 90
n=1
(1)n+1 3
X
d) (2n1)3 = 32
n=1
97
98
Transformada de Fourier Origen histrico de la transformada de Fourier
Transformada de Fourier
2u 2u
x 2 + y 2 = 0, (8.1)
lo que se suele llamar ecuacin de Laplace o ecuacin del potencial porque, en su versin para Ecuacin de Laplace
dimensin tres, fue estudiada por Laplace para resolver problemas relacionados con la atraccin
gravitacional y la forma de los planetas. Este tipo de ecuaciones ya haban aparecido en trabajos
de Euler y Lagrange. Por ejemplo, Lagrange la haba utilizado para estudiar la propagacin de una
onda en una capa de agua. Tambin tienen relacin con la propagacin del calor, de la electricidad
o con el magnetismo.
La ecuacin (8.1) modela la propagacin de ondas en una capa 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 determina-
das 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 .
2u 2u
x 2 + y 2 = 0, (8.2)
y que verifique
99
Definicin de la transformada de Fourier 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 00
F = GG .
F 00 00
F = 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() 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 ecua-
cin (8.2) pero en este caso tenemos un continuo de soluciones en lugar de una cantidad numerable.
Por esto la solucin ms general ser de la forma
Z +
ey [A() cos(x) + B() sen(x)] d (8.4)
0
100
Transformada de Fourier Definicin de la transformada de Fourier
+
a0
X
f (x) = 2 + (an cos(nt) + bn sen(nt)) . (8.5)
n=1
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
+
X i nx
f (x) = cn e 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:
Definicin 8.1. 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
fb()eix d
Dado R,
Z
1
fb() = 2 eix dx
Z
1
= 2 cos(x) i sen(x) dx
Z
1 sen()
= 2 cos(x) dx = .
101
Propiedades de la transformada de Fourier Transformada de Fourier
Z +
1
fb() = 2 e|x|a eix dx
Z + Z0 !
1
= 2 e(i+a)x dx + e(ia)x dx
0
1 1 1 a
= 2 i+a ia = (2 +a2 ) .
Observacin 8.4. Si se consultan diferentes textos puede parecer en principio que existen mul-
titud de definiciones de la transformada de Fourier pero, en realidad, slo se diferencian en cons-
tantes.
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 Proposicin 8.8. Sea f una funcin con transformada de Fourier F [f ] y sea a R, entonces
en el tiempo
F [f ]
1
F [f (ax)]() = |a| a .
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.
1
a) Sea f una funcin par, entonces F [f ]() = f (x) cos(x) dx.
0
b) Si f es una funcin impar, entonces F [f ]() = i f (x) sen(x) dx.
0
F [f ]()+F [f ](+)
a) f (x) cos(x) es 2 ,
F [f ]()F [f ](+)
b) f (x) sen(x) es 2i .
102
Transformada de Fourier Convolucin de funciones
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
2 y()
b + y()
b = F [f ](),
y()
b = F [f ]() 21+1
Del Ejemplo 8.3, sabemos que la transformada de Fourier de g(x) = e|x| es 21+1 . Por tan-
b = F [f ]g
to, y b donde f y g son conocidas. Veremos en la prxima seccin cmo podemos
recuperar y desde f y g.
Teorema 8.15. Sea f una funcin con cuadrado integrable (energa finita). Entonces su transfor- Identidad de Parse-
mada tambin tiene energa finita y de hecho val
Z Z
f (t)2 dt = 1 F [f ]()2 d.
2
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
Ejercicios Transformada de Fourier
Z +
1
(f g)(x) = 2 f (s)g(x s) ds
Z + Z + !
1 is
= 2 f ()e
b d g(x s) ds
Z + Z + !
1 is
= 2 f ()g(x s)e
b d ds
Z + Z + !
1 is
= 2 f ()g(x s)e
b d ds
Z + Z
!
1
= fb(w) 2 g(x s)eis ds d
+
Z + Z + !
= fb() g(t)ei(xt) dt d
Z +
ix
= fb()g()e
b dx
=(f
g)(x)
Teorema 8.17. Sean f , g : R R integrables y una de las dos continua a trozos. Entonces
f
g = fbg.
b
Ejemplo 8.20. Vamos a continuar con la solucin de la ecuacin diferencial que empezamos
en el Ejemplo 8.14. La solucin y deba verificar y
b = fbg.
b Por tanto, la solucin ser
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
104
Transformada de Fourier Ejercicios
1, si |x| < 1,
f (x) =
0, si |x| > 1.
Ejercicio 8.2
Ejercicio 8.3
1, si 1 < x < 1,
f (x) = 1, si 1 < x < 2
0, en otro caso.
Ejercicio 8.4
1
Calcular la transformada de Fourier de la funcin f (x) = 1+ ix .
Ejercicio 8.5
2
Calcular la transformada de Fourier de la funcin f (x) = 2xex .
Ejercicio 8.6
6 4 2 2 4 6
Ilustracin 8.1
105
Ejercicios Transformada de Fourier
Ejercicio 8.7
106
Transformada de Laplace Definicin
Transformada de Laplace
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, trans-
formamos el producto y luego arreglamos la frmula para invertir el proceso. Esto, que ser la
transformada de Laplace, se suele aplicar a procesos que dependan del tiempo. Es por ello que to-
das las funciones que vamos a considerar estarn 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
2 f (t)e( +i)t dt
0
1
siempre que Re(s) > 0. En particular L[1] = s.
Ejemplo 9.3. Sea f : [0, +[ C definida como f (t) = eat , con a C. Entonces
Z h (as)t ib
F (s) = e(as)t dt = lim eas 1
= sa
0 b 0
107
Propiedades de la transformada de Laplace 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 =
t
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 creci-
miento exponencial si existen nmeros reales M > 0 y K tales que
f (t) MeKt , t.
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
2 F ( + i)e( +i)t d = 12 (f (t+) + f (t)) . (9.1)
+
1
En particular, 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.
Traslacin en el eje t Proposicin 9.9. Sea f una funcin con transformada de Laplace L[f ] y a > 0, entonces
Dilatacin en el eje t Proposicin 9.10. Sea f una funcin con transformada de Laplace L[f ], entonces
L[f ] as .
1
L[f (at)] = a
Traslacin en el eje s Proposicin 9.11. Sea f una funcin con transformada de Laplace L[f ], entonces
108
Transformada de Laplace Propiedades de la transformada de Laplace
h i
L eat f (t) = L[f ](s a).
Proposicin 9.12. Sea f una funcin con transformada de Laplace L[f ], entonces Dilatacin en el eje s
L[f ] as .
1
L [f (at)] = a
Proposicin 9.13. Sea f una funcin con transformada L[f ], entonces f 0 tiene transformada de Transformada de la
Laplace derivada
t
1
Proposicin 9.14. Si g es una funcin continua, L g(x) dx = s L[g(t)]. Transformada de
0
una primitiva
Ejemplo 9.15. La linealidad de la transformada de Laplace, primera propiedad que hemos Transformda de La-
enunciado, nos permite calcular la transformada de Laplace de las funciones 1, t, t 2 ,..., t n y, a place de polinomios
1
L[f 0 (t)] = sL[f (t)] f (0) = L[t] = s2 .
n!
c) Por induccin se puede demostrar que L[t n ] = s n+1 .
109
Ejemplos y aplicaciones Transformada de Laplace
1 1 1 a
F (s) = 2 sa s+a = s 2 a2 .
9.2.2 Convolucin
La convolucin de funciones nos permite relacionar la transformada del producto con el produc-
to 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.
es el producto de convolucin de f y g.
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 h i Z
0 st st
y (t)e dt = y(t)e +s y(t)est dt = y(0) + sY (s) = sY (s)
0 0 0
Z h i Z
y 00 (t)est dt = y 0 (t)est +s y 0 (t)est dt = y 0 (0) + s 2 Y (s) = s 2 Y (s)
0 0 0
1 1
En consecuencia, Y (s) = s 2 1 L(1)(s). Usando el Ejercicio 9.2, L(1)(s) = s, con lo que
1 1/2 1/2 1
Y (s) = (s 2 1)s = s1 + s+1 s .
1 t
y(t) = 2 (e + et ) 1 = cosh(t) 1.
110
Transformada de Laplace Ejercicios
9.4 Ejercicios
Ejercicio 9.1
Ejercicio 9.2
0, si 0 t 3,
f (t) = 1, si 3 < t < 5, y
t, si t > 5.
Ejercicio 9.3
t
Calcular la transformada de Laplace de la funcin f (t) = x cosh(x) dx.
0
Ejercicio 9.4
1
Calcular la transformada inversa de la funcin f (t) = (s+2)(s3) .
Ejercicio 9.5
1
Calcular la transformada inversa de la funcin f (t) = s 2 +2 .
Ejercicio 9.6
111
Ejercicios Transformada de Laplace
Ejercicio 9.7
Ejercicio 9.8
t
Resolver la ecuacin integral f (t) = t t 2 + f (x) dx usando la transformada de Laplace.
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 pro-
vienen de procesos discretos como, por ejemplo, los que proceden del procesamiento de seales
digitales. La transformada discreta de Fourier y su implementacin computacional, conocida como
FFT (Fast Fourier Transform), es uno de los conceptos matemticos que ms han 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 de-
masiada 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.
f [n] := f (nT ), n Z. 1
113
Muestreo de seales continuas Transformada discreta de Fourier
3 2
2 2
Ilustracin 10.2 ws = 8
Si tomamos ws = 64 (REPASARLO!!!!)
2 n
f [n] = sen 64 8n = sen 4 , n.
Obsrvese que el muestreo de una seal peridica puede dar como resultado una seal discreta
peridica o no.
3 2 1 0 1 2 3
Dicho de otra manera, cualquier seal discreta se puede escribir como superposicin de trasladados
de pulsos unidad.
Si queremos trabajar con funciones peridicas nos sern de gran utilidad las siguientes funciones.
114
Transformada discreta de Fourier Reconstruccin de una seal
1 0 1 2 3 4 5 6 7
Ilustracin 10.4 3
Observacin 10.5. Si f [n] es una seal discreta peridica con perodo N. Entonces
N1
X
f [n] = f [k]N [n k], n Z.
k=0
10.1.1 Ejercicios
Ejercicio 10.1
Ejercicio 10.2
1
Sea z = 2 ( 3 + i). Demuestra que f [n] = zn es peridica.
115
El Teorema de Shannon Transformada discreta de Fourier
MENTIRA!!!!!!!! + DIBUJO!!!!!!!!!
Sabamos que
+
X
f [n] = f [k][n k]
n=
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
+
X
g(t) = f [k]qT (t kT ).
n=
De lo que hemos visto hasta ahora, sabemos que la interpolacin lineal puede ser una buena apro-
ximacin 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.
Ejemplo 10.10.
sen(t)
b) La seal f (t) = t es de banda limitada. Comprueba que F (w) = 0 si |w| > .
116
Transformada discreta de Fourier 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 Teorema de Shannon
f [n] un muestreo de f (t) con frecuencia de muestreo ws y perodo de muestreo T = 2 /ws . Si
ws > 2wc , entonces
+
X 2 sen (ws (t nT )/2)
f (t) = f [n] , t R.
n= ws (t nT )
2
Ejemplo 10.13. La seal f (t) = sen (
t)
t2 tiene espectro F (w) = q2 (w), donde q2 es el
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
+
sen2 ( t) X sen2 (n /4) sen(4 (t n/4))
2
=16
t n= n2 4 (t n/4)
+
16 X (1)n sen2 (n /4) sen(4 t)
=
2 n= 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 es-
pectro limitado. El teorema de Shannon se aplica y nos dice que con 40.000 muestras por segundo
debe bastar. Este es el fundamento de la mayora de los mtodos de compresin de sonido.
10.3.1 Ejercicios
FALTAN
117
La transformada de Fourier discreta Transformada discreta de Fourier
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
ck = T1 f (t)eikw0 t dt ,
0
con w0 = 2 /T , entonces
N1
T
ck T1 f [n]eikw0 nT /N
X
N
n=0
N1
f [n]e2 ink/N
X
=
n=0
1
ck N F [k].
Definicin 10.15. Sea f [n] una seal discreta y peridica con perodo N. La sucesin
N1
f [n]e2 ink/N , k Z
X
F [k] =
n=0
118
Transformada discreta de Fourier La transformada de Fourier discreta
1
f [n]e2 ink/2 = 1 e0 + (1) e0 = 1 1 = 0.
X
F [0] =
n=0
Y para k = 1
1
f [n]e2 ink/2 = 1 e0 + (1) e i = 1 + 1 = 2.
X
F [1] =
n=0
119
Transformada discreta de Fourier
120
Tablas de transformadas de Fourier y Laplace Transformadas de Laplace
121
Tablas de transformadas de Fourier y Laplace
122
ndice alfabtico
ndice alfabtico
a d
argumento 8 Desigualdad
argumento de Bessel 85
principal 8 desigualdad
isoperimtrica 93
b disco
bola abierto 11
abierta 11 cerrado 11
cerrada 11 distancia 6
dominio 12
c dominio
cadena 53 de convergencia 40
camino 46
campo de convergencia puntual 39 e
ciclo 53 ecuacin
ciclo de Laplace 99
nulhomlogo 54 del potencial 99
coeficientes de Fourier 71, 77 Ecuaciones de CauchyRiemann 23
conjugado 6
conjunto f
abierto 12 forma
acotado 11 cartesiana 4
cerrado 12 forma polar 8
compacto 12 frmula
convergencia de Euler 29
absoluta 14 de Moivre 10
puntual 39 integral de Cauchy 54
uniforme 39 funcin
convolucin 88, 110 analtica 41
criterio conjugada 21
de Abel 40 continua 21
de la raz 40 derivable 22
del cociente 40 derivada 24
curva 45 entera 24
curva holomorfa 24
cerrada 46 mdulo 21
equivalente 47 peridica 69
opuesta 46
regular 46 i
regular a trozos 46 Identidad
curvas de Parseval 103
yuxtaposicin de 46 Identidad de Parseval 88
ndice 53
123
ndice alfabtico
l reparametrizacin 47
Lema residuo 55
de Rieamann 51
lmite s
puntual 39 serie
logaritmo 30 binomial 43
logaritmo de Fourier 77
derivable 52 de Laurent 57
principal 30 trigonomtrica 75
longitud simplemente conexo 54
de una curva 46 singularidad
esencial 55
m evitable 55
mdulo 6 sucesin
convergente 12
n de Cauchy 13
ncleo divergente 12
de Dirichlet 85 parcial 13
de Fejr 90
nmeros t
complejos 4 Teorema
de BolzanoWeierstrass 13
p de Cauchy 54
Paradoja de Bernoulli 5 de complitud 13
parte de derivacin de una serie de potencias 41
imaginaria 5 teorema
real 5 de Fejr 90
periodo 69 Teorema
periodo de inversin 102
fundamental 69 de los residuos 55
polinomio trigonomtrico 71 de Riemann 14
polo 55 de Riemann-Lebesgue 85
punto de Shannon 117
interior 11 de Taylor 42
regular 55 fundamental del Clculo 45
punto de acumulacin 12 transformada
de Fourier 101
r de Laplace 107
radio
de convergencia 40 v
raz n-sima principal 10 valor absoluto 6
regla
de Barrow 45 y
de Barrow para integrales curvilneas 48 yuxtaposicin 46
de la cadena 23
124
125