Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Calculo Avanzado Caminos - PDF Complejos Verlos
Calculo Avanzado Caminos - PDF Complejos Verlos
Clculo
Avanzado
Departamento
de
Anlisis Matemtico
ndice
1 Nmeros complejos 3
1.1 El cuerpo de los nmeros complejos 4 1.2 Representacin grfica. Conjugado y mdulo de
un nmero complejo 6 1.3 Forma polar y argumentos de un nmero complejo 7 1.4 Conjuntos en el plano complejo. Un poco de topologa 11 1.5 Sucesiones de nmeros complejos 12
1.6 Series de nmeros complejos 13 1.7 Ejercicios 15
2
2.1
2.3
fas
Funciones complejas 21
Continuidad y lmite funcional 21
Ecuaciones de Cauchy-Riemann 23
24 2.5 Ejercicios 26
4.3 Ejerci-
10.3 El
Nmeros complejos
Nmeros complejos
1
1
Introduccin
Los nmeros que hoy llamamos complejos fueron durante muchos aos motivo de polmicas y
controversias entre la comunidad cientfica. Poco a poco, por la creciente evidencia de su utilidad,
acabaron por ser comnmente aceptados, aunque no fueron bien comprendidos hasta pocas recientes. Nada hay de extrao en ello si pensamos que los nmeros negativos no fueron plenamente
aceptados hasta finales del siglo XVII.
Los nmeros complejos hacen sus primeras tmidas apariciones en los trabajos de Cardano (1501
1576) y Bombelli (15261672) relacionados con el clculo de las races de la cbica o ecuacin de
tercer grado. Fue Ren Descartes (15961650) quien afirm que ciertas ecuaciones algebraicas
slo tienen solucin en nuestra imaginacin y acu el calificativo imaginarias para referirse a
ellas. Desde el siglo XVI hasta finales del siglo XVIII los nmeros complejos o imaginarios son
usados con recelo, con desconfianza. Con frecuencia, cuando la solucin es un problema resulta
ser un nmero complejo se interpreta esto como que el problema no tiene solucin. Para Leibnitz
el nmero imaginario es un recurso sutil y maravilloso del espritu divino, casi un anfibio entre el
ser y el no ser.
Las razones de todo esto son claras. As como los nmeros reales responden al problema bien
cotidiano de la medida de magnitudes, no ocurre nada similar con los nmeros complejos. Mientras
los matemticos necesitaron interpretar en trminos fsicos sus objetos de estudio, no se avanz
mucho en la comprensin de los nmeros complejos.
El xito de Euler y Gauss al trabajar con nmeros complejos se debi a que ellos no se preocuparon
de la naturaleza de los mismos; no se preguntaron qu es un nmero complejo?, sino que se
dijeron a ver, para qu sirven, qu puede hacerse con ellos. Es Gauss quien definitivamente concede
a los nmeros complejos un lugar privilegiado dentro de las matemticas al probar en 1799 el
conocido como Teorema Fundamental del lgebra que afirma que toda ecuacin polinmica de
grado n con coeficientes complejos tiene, si cada raz se cuenta tantas veces como su orden, n
races que tambin son nmeros complejos. Algunas de sus implicaciones las podemos comentar
directamente. Fjate en cada una de las ecuaciones:
x + 3 = 0,
2x + 3 = 0,
x 2 2 = 0,
x 2 + 2x + 2 = 0,
cuyas soluciones x = 3, x = 3/2, x = 2 y x = 1 i tienen sentido cuando x es es, respectivamente, un nmero entero, racional, real o complejo. Podra ocurrir que este proceso de ampliacin
del campo numrico continuara. Qu ocurrir si ahora consideramos ecuaciones polinmicas con
coeficientes complejos? Por ejemplo:
Nmeros complejos
1.1.1
Nmeros complejos
de C isomorfo a R. Por esta razn, en las operaciones con nmeros complejos podemos sustituir
los complejos del tipo (a, 0) por el nmero real a. Es decir, hacemos la identificacin (a, 0) = a.
Fjate que con dicha identificacin el producto a(c, d) tiene dos posibles interpretaciones: producto
del escalar real a por el vector (c, d) (estructura vectorial de R2 ) y producto del complejo (a, 0)
por el complejo (c, d). Pero ambos coinciden y son iguales a (ac, ad).
El nmero complejo (0, 1) lo representaremos por i. Con ello tenemos que
i2 = (0, 1)(0, 1) = (1, 0) = 1.
Ahora podemos escribir (a, b) = (a, 0) + (0, b) = (a, 0) + (b, 0)(0, 1) = a + bi.
Se dice que a es la parte real y b es la parte imaginaria del nmero complejo a + ib. El producto
ahora es muy fcil de recordar pues
Acabamos de ver que i2 = 1 pero eso no nos permite escribir as, sin ms ni ms, que i = 1.
Fjate lo que ocurre si ponemos i = 1 y manejamos ese smbolo con las reglas a las que estamos
acostumbrados:
q
i2 = 1 = ii = 1 1 = (1)(1) = 1 = 1.
Luego 1 = 1. Por tanto, las matemticas son contradictorias y aqu hemos acabado.
Naturalmente, el error, procede de que estamos haciendo disparates. Fjate que en la expresin
1 no puedes interpretar que 1 es el nmero real 1 (porque, como sabes, los nmeros reales negativos no tienen raz cuadrada real), sino que tienes que interpretar 1 como el nmero
complejo 1 (espero que ya tengas clara la diferencia). Resulta as que estamos usando races de
nmeros complejos sin haberlas definido y dando por supuesto que dichas races verifican las
mismas propiedades que las de los nmeros reales positivos.
Antes de escribir 1 hay que definir qu significa z para z C. Cuando lo hagamos veremos
que la igualdad z w = zw, vlida cuando z, w R+ , no es cierta en general cuando z, w C.
Todava ms disparatado es definir i = 1 sin ni siquiera haber definido antes los nmeros
complejos. Sin embargo, y aunque parezca mentira, en muchos textos se define (porque s, sin
Paradoja de Bernoulli
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.
z = a + bi
b
|z|
z = a bi
Nmeros complejos
z+w
a+c
1+i 2+i
2i 2+i
1+3i
5
y
x
|z| , |z|
y
x
|z| , |z|
Nmeros complejos
= (cos(), sen())
para algn nmero R. Resulta as que z = |z| (cos() + i sen()). Esta forma de expresar
un nmero complejo recibe el nombre de forma polar, cuya interpretacin grfica vemos en la
figura 1.3.
Argumento
Definicin 1.7.
Dado z C, z 0, hay infinitos nmeros t R que verifican la igualdad
z = |z| (cos(t) + i sen(t)) cualquiera de ellos recibe el nombre de argumento de z. El conjunto de
todos los argumentos de un nmero complejo no nulo se representa por Arg(z).
Arg(z) = {t R : z = |z| (cos(t) + i sen(t))}
Observa que
s, t Arg(z)
cos(t) = cos(s)
sin(t) = sin(s)
s = t + 2k para algn k Z.
z
|z|
ngulo de radianes
(Im(z))
= (|z|+Re(z))
(|z|+Re(z))2 +(Im(z))2
2 Re(z)(|z|+Re(z))
2|z|(|z|+Re(z))
Re(z)
|z|
, y
2 tan(arg(z)/2)
= (|z|+Re(z))2 +(Im(z))2
= 2 Im(z)(|z|+Re(z))
2|z|(|z|+Re(z)) =
Im(z)
|z|
Donde se ha utilizado que |z|2 = (Re(z))2 + (Im(z))2 . No es difcil comprobar que el argumento
principal de z = x + iy 0 viene tambin dado por:
Nmeros complejos
arctan x ,
2 ,
y
arg(z) = arctan x ,
2,
arctan y + ,
x
si y < 0, x < 0
si y 0, x = 0
si x > 0
si y > 0, x = 0
si y 0,x < 0 .
1
2
i
2
1+1=
2. Por tanto
= cos(arg(z)) + i sen(arg(z)),
1 ,
2
Observacin 1.9. Puede parecer un poco extraa la forma de elegir el argumento principal de
un nmero complejo. La eleccin que hemos hecho supone que medimos ngulos en el semiplano
superior de 0 a y en el semiplano inferior de 0 a .
Fjate que si tomas un nmero complejo que est situado en el tercer cuadrante z = x + iy con
x < 0, y < 0 y supones que y es prximo a 0, su argumento principal est prximo a , y si
tomas un nmero complejo que est situado en el segundo cuadrante, w = x +iv con x < 0, v > 0,
y supones que v es prximo a 0, su argumento principal est prximo a . Adems, la distancia
|w z| = v y = v y es tan pequea como quieras. Esto nos dice que el argumento principal
tiene una discontinuidad en el eje real negativo: salta de a cuando atravesamos dicho eje
desde el tercer al segundo cuadrante.
Peor todava dirs. Hasta cierto punto. Primero, la discontinuidad es inevitable. Si queremos elegir
argumentos en un intervalo de longitud 2 , digamos, [, + 2 [ entonces dichos argumentos saltan de a +2 cuando atravesamos la semirrecta (x, y) = (cos , sen ), ( > 0). En particular,
si tomamos argumentos en el intervalo [0, 2 [ (cosa que, a primera vista, parece lo razonable) nos
encontramos con que entonces se produce una discontinuidad de dichos argumentos en el eje real
positivo. Bien, sucede que la extensin a C de algunas funciones definidas en R+ (el logaritmo,
las races) hace intervenir el argumento principal. Naturalmente, queremos que dichas extensiones
sigan siendo continuas en R+ y ello justifica que tengamos que tomar argumentos principales de
la forma en que lo hemos hecho: porque preferimos introducir una discontinuidad en R a perder
la continuidad en R+ .
1.3.1
Frmula de De Moivre
Veamos cmo la forma polar permite hacer fcilmente productos de nmeros complejos. Consideremos dos nmeros complejos no nulos
z = |z| (cos() + i sen()), w = |w| (cos() + i sen()).
Entonces
zw = |z| |w| (cos() + i sen())(cos() + i sen()) =
= |zw| [(cos() cos() sen() sen()) + i(sen() cos + cos() sen())] =
= |zw| (cos( + ) + i sen ( + )).
Nmeros complejos
Es decir: para multiplicar dos nmeros complejos se multiplican sus mdulos y se suman sus
argumentos. Por ejemplo, para calcular (1 + i)4 como |1 + i| = 2 y arg(1 + i) = /4, se sigue que
(1 + i)4 = 4.
As pues, el producto de dos nmeros complejos es geomtricamente un giro (pues se suman los
argumentos de los nmeros que estamos multiplicando) seguido de una homotecia (el producto
de los mdulos de ambos nmeros).
Proposicin 1.10. Sean z, w C no nulos. Entonces
a) Si Arg(z) y Arg(w), entonces + Arg(zw).
b) Si Arg(z) entonces Arg(1/z).
Como consecuencia, es fcil demostrar mediante induccin la siguiente frmula que ser de gran
utilidad.
Frmula de
De Moivre
1.3.2
De entre todas las races nsimas de z vamos a designar con el smbolo n z a la raz n-sima
principal, que est definida por
h
i
arg(z)
arg(z)
n
z = |z|1/n cos
+ i sen
.
n
n
Observa que en el caso particular de que z sea un nmero real positivo, entonces la raz principal
de z (considerado como nmero complejo) coincide con la raz de z (considerado como nmero
real positivo).
Hemos obtenido que las races nsimas de z vienen dadas por
10
Nmeros complejos
i
h
arg(z)+2k
arg(z)+2k
+
i
sen
zk = |z|1/n cos
n
n
k = 0, 1, 2, . . . , n 1.
Observa que definiendo u = cos(2 /n) + i sen(2 /n), los nmeros u0 = 1, u, u2 , . . . , un1 son
las races nsimas de la unidad. Podemos escribir las races nsimas de z en la forma zk =
z0 uk . Como multiplicar por u es un giro de amplitud 2 /n, deducimos que las n races de z se
obtienen girando la raz nsima principal, z0 , con giros sucesivos de amplitud 2 /n. Es decir, si
representamos todas las races nsimas de z obtenemos n puntos sobre una circunferencia de
p
centro (0, 0) y radio n |z| que forman un polgono regular de n lados.
En general no es cierto que dados dos nmeros complejos z y w entonces el producto de las races
n-simas principales de z y de w sea igual a la raz n-sima principal de zw. Lo que s es cierto es
que el producto de dos races n-simas cualesquiera de z y de w es una raz n-sima de zw. Por
tanto, n z n w, es una raz n-sima de zw pero no tiene por qu ser la principal.
Por ejemplo, para n = 2, z = w = 1, como arg(1) = , tenemos que
La igualdad
1 1 = ii = 1 (1)(1) = 1 = 1.
arg(z)
n
arg(w)
n
arg(zw)
n
+ 2k ,
es decir, arg(z) + arg(w) = arg(zw) + 2kn . Como 2 < arg(z) + arg(w) 2 y n 2 tiene que
ser k = 0 (pues, en otro caso, |2kn | 4 ). Luego, debe ocurrir que arg(z) + arg(w) = arg(zw)
lo que equivale a que < arg(z) + arg(w) .
Por ejemplo, si los nmeros z y w estn en el semiplano de la derecha, es decir, Re z > 0, Re w > 0,
entonces /2 < arg(z) < /2 y /2 < arg(w) < /2; por tanto arg(z) + arg(w) = arg(zw)
Disco abierto
D(a, r ) = {z C : |z a| r } ,
se llama disco o bola cerrada de centro a y radio r .
Disco cerrado
Observa que un disco abierto no puede ser vaco. Un disco cerrado, en cambio, puede reducirse a
un slo punto: D(a, 0) = {a}.
Definicin 1.13. Un conjunto A C se llama acotado si est contenido en algn disco centrado
en el origen o, lo que es lo mismo, si existe M R tal que |a| M para cualquier a A.
Definicin 1.14. Sea A un subconjunto de C.
a) Diremos que a A es un punto interior de A si existe r > 0 tal que D(a, r ) A. Llamaremos
interior de A al conjunto
11
Conjunto acotado
Nmeros complejos
= {a A : a es punto interior de A} .
A
Conjunto abierto
Conjunto cerrado
Dominio
Conjunto compacto
Punto de acumulacin
Definicin 1.16. Un conjunto abierto no vaco con la propiedad de que dos puntos cualesquiera
del mismo pueden unirse por una curva sin salirse del conjunto se llama un dominio. Una definicin equivalente aunque menos intuitiva de dominio es la siguiente. Un dominio es un conjunto
abierto no vaco, , cuya nica descomposicin en la forma = A B, donde A y B son conjuntos
abiertos disjuntos, es la trivial, es decir, {A, B} = {, }. Un conjunto cerrado y acotado se llama
un conjunto compacto.
Definicin 1.17. Dado un conjunto A C, se dice que un punto z C es un punto de acumulacin
de A si todo disco abierto con centro en z contiene puntos de A distintos de z. Observa que un
punto z puede ser un punto de acumulacin de A y no pertenecer a A.
|Re(zn ) Re(z)|
|zn z| |Re(zn ) Re(z)| + |Im(zn ) Im(z)| .
|Im(z ) Im(z)|
n
Deducimos que lim |zn z| = 0 si, y slo si, lim |Re(zn ) Re(z)| = 0 y lim |Im(zn ) Im(z)| = 0.
Hemos probado as el siguiente resultado.
Proposicin 1.19. Una sucesin de nmeros complejos {zn } es convergente si, y slo si, las sucesiones de nmeros reales {Re(zn )} y {Im(zn )} son convergentes. Adems en dicho caso
lim zn = z Re(z) = lim Re(zn ) y
Sucesin divergente
12
Nmeros complejos
Los resultados que conoces para sucesiones de nmeros reales en los que no interviene el orden son tambin vlidos para sucesiones de nmeros complejos. Destacamos entre ellos los ms
importantes.
Proposicin 1.20.
a) Si {zn } z y {wn } w, entonces {zn + wn } z + w y {zn wn } zw. Adems, si zn 0
para todo n N y z 0, entonces {1/zn } 1/z.
b) Si {zn } diverge y {wn } est acotada entonces {zn + wn } diverge.
c) Si {zn } diverge y {wn } est separada de 0, esto es, existe > 0 y n0 N de forma que para
n n0 se cumple |wn | , entonces {zn wn } diverge.
lgebra de lmites
Recuerda que una sucesin parcial de una sucesin {zn } es cualquier sucesin de la forma {z (n) }
donde : N N es una aplicacin estrictamente creciente.
Sucesin parcial
Teorema 1.21.
vergente.
Teorema de Bolzano
Toda sucesin acotada de nmeros complejos tiene alguna sucesin parcial con-
Weierstrass
Definicin 1.22. Una sucesin de nmeros complejos {zn } se dice que es de Cauchy si para cada
nmero > 0 existe un nmero natural n0 N de forma que si p, q n0 entonces zp zq < .
Sucesin de Cauchy
Repitiendo el mismo argumento anterior, deducimos que {zn } es una sucesin de Cauchy si, y
slo si, {Re(zn )} y {Im(zn )} son sucesiones de Cauchy. Puesto que R es completo, ser de Cauchy
equivale a ser convergente, luego si {Re(zn )} y {Im(zn )} son de Cauchy convergen y, por tanto,
{zn } es convergente.
Teorema 1.23. Toda sucesin de Cauchy de nmeros complejos es convergente.
Teorema de complitud
Ni que decir tiene que, siendo las series sucesiones, todos los conceptos y resultados estudiados
ya para sucesiones conservan su misma significacin cuando se aplican a series. En particular, es
innecesario volver a definir qu se entiende cuando se dice que una serie es convergente. Si una
P
P
serie n1 zn es convergente se usa el smbolo
zn para representar el lmite de la serie que
Pn=1
suele llamarse suma de la serie. Naturalmente n=1 zn es el nmero complejo definido por
n=1
n
X
zk .
k=1
P
Como caso particular de la Proposicin 1.19, la serie n1 zn converge si, y slo si, las series
X
X
X
X
Re
zn =
Re(zn ) y Im
zn =
Im(zn )
n1
n1
n1
n1
son convergentes.
Conviene que recuerdes la condicin bsica necesaria para la convergencia de una serie. Si la serie
P
P
Pn1
zn converge entonces la sucesin zn = n
j=1 zj
j=1 zj es diferencia de dos sucesiones que
convergen al mismo lmite y por tanto converge a cero.
13
Nmeros complejos
Convergencia absoluta
Para las series es posible definir otro tipo de convergencia, la convergencia absoluta.
P
Definicin 1.25. Se dice que una serie de nmeros complejos n1 zn converge absolutamente
P
si la serie de nmeros reales positivos n1 |zn | es convergente.
P
Proposicin 1.26. Si una serie de nmeros complejos zn es absolutamente convergente entonces
dicha serie tambin es convergente.
Pn
P
Demostracin. Pongamos Sn = n
j=1 |zj | y supongamos que la sucesin {An } es
j=1 zj , An =
P
convergente, es decir,
zn es absolutamente convergente. Dado > 0, la condicin de Cauchy
para {An } nos dice que existe n0 N tal que
Aq Ap =
q
X
|zk | <
k=p+1
Sq Sp = zp+1 + zp+2 + + zq
|zk | <
k=p+1
Teorema de Riemann
X
n=1
1.6.1
zn =
z (n) .
n=1
Criterio de Dirichlet
Criterio de Abel
Teorema 1.28. Sea {an } una sucesin de nmeros reales y {zn } una sucesin de nmeros complejos.
P
a) Si {an } es montona, converge a cero y la serie
zn tiene sumas parciales acotadas, entonces
P
an zn converge.
P
P
b) Si {an } es montona, acotada y la serie zn converge, entonces an zn es convergente.
Ejemplo 1.29. Es inmediato comprobar que la sucesin {(1)n } tiene sumas parciales acotadas. Si tomamos una sucesin montona verificando que lim{an } = 0, el criterio de Dirichlet
P
nos dice que la serie (1)n an es convergente. Te suena este criterio?
14
Nmeros complejos
Ejercicios
1.7 Ejercicios
1.7.1
Nmeros complejos
Ejercicio 1.1
Realiza las operaciones indicadas y expresa el resultado en la forma a + ib.
e) (4i)(13i)
1+2i
f) (1 + i)2
a) (7 2i)(5 + 3i)
b) (i 1)3
c) (1 + i)(2 + i)(3 + i)
d)
g) 1+2i
2i
h) i2 (1 + i)3
3+i
2+i
Ejercicio 1.2
Calcula la parte real e imaginaria de las funciones:
a) f1 (z) = z2
b) f2 (z) = z3
c) f3 (z) = z1
d) f4 (z) =
e) f5 (z) =
1
1+z2
z+i
zi
Ejercicio 1.3
Calcula las siguientes cantidades.
c) (1 + i)20
d) 2 + i( 2 + 1)
Ejercicio 1.4
Calcula los nmeros complejos z tales que
a) Un nmero real;
1+z
1z
es:
b) Un nmero imaginario puro.
Ejercicio 1.5
Expresa en forma polar los siguientes nmeros complejos.
a) 3 i
b) 3 + i
3
c) 3+i
d)
Ejercicio 1.6
Expresa los siguientes nmeros en la forma a + ib:
15
1+i 3
(1+i)2
Ejercicios
Nmeros complejos
a) (1 + i 3)11
1+i 5
b) 1i
6
3
c) 1+i
1i
d) ( 3 + i)13
Ejercicio 1.7
Calcula arg(z w) y arg
z
w
Ejercicio 1.8
Supuesto que |z| = 1, prueba que
arg
z1
z+1
=
/2,
/2,
si Im(z) > 0
si Im(z) < 0.
Ejercicio 1.9
Sea z = x + iy. Supuesto que |z| = 1, z 1, z i, prueba que
(
si 1 x + y > 0,
4 ,
arg z1
=
z+i
3
,
si 1 x + y < 0.
4
Ejercicio 1.10
Representa grficamente el conjunto de nmeros complejos que verifican la igualdad |z| = +
arg(z).
Ejercicio 1.11
Resuelve la ecuacin cuadrtica az2 +bz+c = 0 donde a, b y c son nmeros complejos conocidos
y a 0.
Ejercicio 1.12
Calcula todas las soluciones de las siguientes ecuaciones:
a) z3 = 1 + i
b) z4 = i
c) z3 = 1 + i 3
d) z8 = 1
e) z2 + 32iz 6i = 0
Ejercicio 1.13
Calcula las soluciones de la ecuacin z4 + (1 + i)z2 + 5i = 0.
Ejercicio 1.14
Identidad del
paralelogramo
16
Nmeros complejos
Ejercicios
|z + w|2 + |z w|2 = 2 |z|2 + |w|2
para todo z, w C y explica su significado geomtrico.
Ejercicio 1.15
Dados dos nmeros complejos y , calcula el mnimo valor para z C de la cantidad |z |2 +
|z |2 .
Sugerencia: La igualdad del paralelogramo puede ser til.
Ejercicio 1.16
Prueba las desigualdades:
a) ||z| |w|| |z w|
z
w
b) |z + w| 21 (|z| + |w|) |z| + |w|
donde z, w son nmeros complejos. Estudia tambin cundo se da la igualdad en cada una de
dichas desigualdades.
Sugerencia: Una estrategia bsica para probar desigualdades entre mdulos de nmeros complejos consiste en elevar al cuadrado ambos miembros de la desigualdad.
Ejercicio 1.17
za
< 1 si |z| < 1 y |a| < 1 y tambin si |z| > 1 y |a| > 1.
Prueba que 1az
Ejercicio 1.18
Estdiese para cada una de las igualdades siguientes si hay algn nmero complejo z C con
|z| = 1 que la verifica:
a) z3 + z2 + 1 = 3;
b) z4 2z i = 4;
c) z6 + z3 + 2 = 4 + 4 + 4z2 .
Ejercicio 1.19
Sea x un nmero real que no es mltiplo entero de 2 . Prueba las igualdades
sen n+1 x
n
2
a) 1 + cos(x) + cos(2x) + + cos(nx) = cos 2 x
x
sen
n
2x
n+1
x
2
sen x2
sen
Ejercicio 1.20
Sea n N, n 2 y w = cos
de las expresiones:
2
n
+ i sen
2
n
. Dado un nmero entero m Z, calclese el valor
17
Ejercicios
Nmeros complejos
a) 1 + w m + w 2m + + w (n1)m ;
b) 1 w m + w 2m + (1)n1 w (n1)m .
Ejercicio 1.21
Haciendo uso de la frmula de De Moivre prueba que:
a) sen(3) = 3 sen() 4 sen3 ();
b) cos(4) = 8 cos4 () 8 cos2 () + 1;
c) sen(5) = 5 sen() 20 sen3 () + 16 sen5 ().
Ejercicio 1.22
Representar grficamente los conjuntos de nmeros complejos z que verifican:
a)
b)
c)
d)
e)
|z 3| 3;
2 < |z i| 3;
|arg(z)| < 6 ;
|z i| + |z + i| = 4
|z 1| = |z 2i|;
zi
= 2;
f) z+2i
g) Im(z2 ) > 6;
h) |z i| = Im(z) + 1
Ejercicio 1.23
Dados dos nmeros complejos , y un nmero positivo 1, justifquese que el conjunto
n
o
z C : z
z =
representa una circunferencia en el plano cuyo centro y radio debes calcular.
Ejercicio 1.24
z+w
2 + zw .
Prueba que |z| + |w| = z+w
2 zw +
Sugerencia: la identidad del paralelogramo puede ser til.
Ejercicio 1.25
Encuentra los vrtices de un polgono regular de n lados si su centro se encuentra en el punto
z = 0 y uno de sus vrtices z1 es conocido.
Ejercicio 1.26
Resuelve la ecuacin (z 1)n = (z + 1)n , donde z C y n N, n 2.
Ejercicio 1.27
Sea |z1 | = |z2 | = |z3 | = 1. Prueba que z1 , z2 , z3 son vrtices de un tringulo equiltero si, y slo
si, z1 + z2 + z3 = 0.
18
Nmeros complejos
Ejercicios
Ejercicio 1.28
Prueba que tres nmeros complejos a, b, c son los vrtices de un tringulo equiltero si, y slo
si, verifican la igualdad a2 + b2 + c 2 = ab + bc + ca.
Ejercicio 1.29
Dados dos nmeros complejos distintos a, b C, justifica que za
zb es real si, y slo si, z est en
la recta que pasa por a y por b; y es real negativo si, y slo si, z est en el segmento que une a
con b.
Ejercicio 1.30
Sean A, B, C, D nmeros reales tales que A2 + B 2 + C 2 > D 2 . Prueba que la ecuacin:
A(z + z) + iB(z z) + C(zz 1) + D(zz + 1) = 0
representa, en el caso de que sea C + D = 0, una recta en el plano; mientras que si C + D 0,
representa una circunferencia cuyo centro y radio se calcularn.
1.7.2
Sucesiones y series
Ejercicio 1.31
Estudia la convergencia de las sucesiones:
a) zn =
b) zn =
2n
n
e) zn =
in
2n
f) zn =
1
(a > 0)
a + i sen n
1
1
d) zn = n sen n + 5i cos n
c) zn =
1+i n
2
n
1 + i 1
2
2
Ejercicio 1.32
Sea {zn } una sucesin de nmeros complejos no nulos y sea n Arg(zn ). Supongamos que
lim n = y lim |zn | = . Justifica que
Ejercicio 1.33
Calcula el lmite de la sucesin zn = 1 +
2+i 3
n
n
.
19
Ejercicios
Nmeros complejos
Ejercicio 1.34
n
n
Sugerencia: Recuerda que el lmite de la sucesin n
2 1 es bien conocido.
Ejercicio 1.35
Sea z C, con |z| = 1, z 1. Prueba que la sucesin {zn } no converge (qu pasa si supones que
converge?). Deduce que si es un nmero real que no es un mltiplo entero de , las sucesiones
{cos(n)} y {sen(n)} no convergen.
Ejercicio 1.36
Estudia la convergencia de las series:
a)
b)
c)
d)
e)
1
(1 + i)n
P cos(n)+i sen(n)
n
P cos(n)+i
sen(n)
n
2
P cos n +i sen n
P (1)n
n
1
+ i n
n+(1)n
n
n!
(in)n
(2+i)n 1
(1+2i)n n
P 1 1+i3 n
n 2
P
cos n2 + i
P (3+4i)n
2i(4+3i)n +7
f)
g)
h)
i)
j)
sen
n2
Ejercicio 1.37
Sea R con || < 1 y R. Calcula los lmites
X
n=0
n cos(n) y
n sen(n).
n=0
Ejercicio 1.38
P
Prueba que si la serie zn converge y, para todo n R, se verifica |arg(zn )| < , para algn
nmero 0 < < 2 , entonces dicha serie converge absolutamente.
Ejercicio 1.39
P
P 2
Supongamos que las series zn y zn
son convergentes y que Re(zn ) 0 para todo n N.
P
Demuestra que |zn |2 es convergente.
20
Funciones complejas
Funciones complejas
2
Las funciones complejas no son ms que las funciones definidas en subconjuntos de R2 con valores
en R2 cuando en R2 consideramos su estructura compleja. Dado un conjunto A C, a toda funcin
compleja f : A C se le asocian dos funciones reales: la funcin u = Re(f ), parte real de f , y la
funcin v = Im(f ), parte imaginaria de f , definidas para todo (x, y) = x + iy A por:
u(x, y) = Re f (x + iy),
v(x, y) = Im f (x + iy).
zA
= |f (z) f (a)| < .
|z a| <
Funcin continua
Usando una vez ms las desigualdades max{|Re(z)| , |Im(z)|} |z| |Re(z)| + |Im(z)| se prueba
fcilmente que una funcin compleja f es continua en a si, y slo si, las funciones Re(f ) y Im(f )
son continuas en a.
Definicin 2.2. Dado un punto a de acumulacin de A, se dice que f : A C tiene lmite en a si
existe un nmero complejo L C con la propiedad de que para cada > 0 existe un > 0 tal que
z A
= |f (z) L| < .
0 < |z a| <
Simblicamente escribimos lim f (z) = L.
za
lim
Re f (x, y) =
(x,y)(,)
lim f (z) = L
lim
Im f (x, y) =
za
(x,y)(,)
C con la pro
f (z) L < .
b) Se dice que f : A C tiene lmite infinito en infinito si para todo M > 0 existe K > 0 tal que si
|z| > K entonces f (z) > M. Simblicamente escribimos lim f (z) = .
z
21
Lmite
Funciones complejas
z A
= |f (z)| > M
0 < |z | <
Simblicamente escribimos lim f (z) = .
za
Observa que hay una completa analoga formal entre las definiciones anteriores y las correspondientes para funciones reales de una variable real. Por ello, las reglas de clculo de lmites conocidas para funciones de una variable real son tambin vlidas, con las mismas demostraciones, para
funciones de variable compleja.
El siguiente resultado, aunque elemental, es importante.
Continuidad del argumento principal
z C \ R
0 , deducimos que el argumento principal es continuo en C \ R0 .
1
(1)n
Definicin 2.5.
existe el lmite
lim
za
f (z) f (a)
C.
za
Casos Particulares
a) Cuando A R y f (A) R, la definicin dada coincide con la conocida para una funcin real de
variable real
b) Para funciones complejas de una variable real se tiene el siguiente resultado.
Sea A R y f : A C. Entonces la funcin f es de la forma f (t) = u(t) + iv(t) donde u y v
son funciones reales de variable real. En este caso tenemos:
f (t)f (a)
ta
u(t)u(a)
ta
+ i v(t)v(a)
ta
y deducimos que f es derivable en a si, y slo si, las funciones u y v son derivables en a, en
cuyo caso f 0 (a) = u0 (a) + iv 0 (a).
Observa que hay una completa analoga formal entre el concepto de funcin derivable para funciones de variable compleja y para funciones reales de una variable real. Por ello, las reglas de
derivacin conocidas para funciones de una variable real son tambin vlidas, con las mismas
demostraciones, para funciones de variable compleja.
22
Funciones complejas
Ecuaciones de Cauchy-Riemann
Reglas de derivacin
Tambin es fcil comprobar que la regla de la cadena sigue siendo vlida para funciones complejas.
Proposicin 2.7. Sean f : A C y g : B C tales que f (A) B, y consideremos la funcin
compuesta h = g f : A C. Supongamos que f es derivable en a A A0 y g es derivable en
b = f (a) B B 0 . Entonces h es derivable en a y
Regla de la cadena
u
v
(, ) =
(, )
x
y
u
v
(, ) =
(, )
y
x
En caso de que se cumplan i) y ii) se tiene f 0 (a) = f 0 ( + i) =
u
v
x (, ) + i x (, ).
Demostracin. Por definicin, f es derivable si, y slo si existe un nmero complejo, la derivada
de f en a, f 0 (a) = + i que verifica
lim
za
|f (z)f (a)(+i)(za)|
|za|
= 0.
k(u(x,y),v(x,y))(u(,),v(,))((x)(y),(x)+(y))k
k(x,y)(,)k
(x,y)(,)
o bien, como ((x ) (y ), (x ) + (y )) =
lim
(x,y)(,)
(u(x, y), v(x, y)) (u(, ), v(, ))
k(x, y) (, )k
23
x
y
=0
, se tiene que
x
y
= 0.
Ecuaciones de
CauchyRiemann
Funciones complejas
La condicin anterior quiere decir que la aplicacin (x, y) , (u(x, y), v(x, y)) de R2 en R2
es diferenciable en (, ) y su diferencial es la aplicacin lineal dada por
x
(x, y) ,
.
y
Por tanto
es
es la matriz jacobiana de la aplicacin (x, y) , (u(x, y), v(x, y)) en (, ), esto
u
x (, )
= ,
u
y (, )
Finalmente f 0 (a) = f 0 ( + i) = + i =
= ,
v
x (, )
= ,
u
v
x (, ) + i x (, ).
v
y (, )
Este resultado explica porqu si defines, sin pensarlo mucho, una funcin compleja en la forma
f (x + iy) = u(x, y) + iv(x, y) lo ms probable es que, a pesar de lo buenas que puedan ser las
funciones u y v, la funcin as definida no sea derivable. Pues las funciones u y v no tienen por qu
verificar las ecuaciones de Cauchy-Riemann. Esto indica (aunque esta es una idea difcil de precisar)
que las funciones complejas derivables son autnticas funciones complejas en el sentido de que
si la funcin f (x + iy) = u(x, y) + iv(x, y) es derivable entonces la expresin u(x, y) + iv(x, y)
debe depender nicamente de la variable z. Los siguientes ejemplos son ilustrativos.
Ejemplo 2.9.
a) f (x + iy) = x no es derivable en ningn punto. Su parte imaginaria es cero y u
x = 1. Esta
funcin es la proyeccin sobre el eje OX vista como funcin real. De hecho, como funcin
real es un polinomio (y de los ms sencillos) y, por tanto, derivable.
b) f (z) = z|z|2 slo es derivable en cero.
c) f (x + iy) = ex (cos(y) + i sen(y)) es derivable en todo C y f 0 (z) = f (z) para todo z C.
Funcin entera
2.4.1
p 0 (z)q(z)p(z)q0 (z)
q(z)2
(z ).
24
Funciones complejas
(t [0, 1])
Luego (Re )0 (t) = 0 y (Im )0 (t) = 0 para todo t [0, 1]. Puesto que Re y Im son funciones
reales de variable real definidas en [0, 1], se sigue que son constantes. Luego es constante y por
tanto (0) = f (a) = (1) = f (b) luego b A. Hemos probado que D(a, r ) A, luego A es
abierto. El hecho de que sea un dominio permite concluir que A = , es decir, f es constante en
.
Corolario 2.14. Si dos funciones holomorfas tienen la misma derivada sobre un dominio y coinciden
en un punto son iguales.
La siguiente proposicin vuelve a poner de manifiesto que la condicin de que una funcin sea
holomorfa es mucho ms restrictiva que la derivabilidad real.
Proposicin 2.15. Sea un dominio y f H (). Equivalen las siguientes afirmaciones:
i) Re(f ) es constante en .
ii) Im(f ) es constante en .
iii) La funcin compleja conjugada de f , f, es holomorfa en .
iv) f es constante en .
v) f es constante en .
Demostracin. Pongamos f = u + iv, con u = Re(f ), v = Im(f ). Es claro que la condicin (iv)
implica todas las dems.
(i) = (iv)
Las ecuaciones de CauchyRiemann afirman que f 0 (z) = f 0 (x + iy) =
u
x (x, y)
u
i y
(x, y).
u
0
Puesto que Re(f ) es constante tenemos u
x (x, y) = y (x, y) = 0 lo que implica que f (z) = 0
para todo z de donde deducimos (iv) gracias a la proposicin anterior.
(ii) = (iv)
Puesto que Im(f ) = Re(if ) la implicacin (i) = (iv) ya probada nos dice que la funcin
if es constante y, por lo tanto, f tambin lo es.
(iii) = (iv)
Como f es holomorfa y f lo es por hiptesis tenemos que f + f = 2 Re(f ) es holomorfa. Puesto
que Im(Re f ) = 0 es constante, deducimos, por (ii) = (iv), que Re(f ) es constante y por
(i) (iv) concluimos que f es constante.
25
Ejercicios
Funciones complejas
(v) = (iv)
Si f = entonces f (z)f(z) = 2 . Si = 0 entonces f es idnticamente nula y hemos
2
acabado. Si 0 entonces f no se anula en ningn punto por lo que f(z) = f(z) es holomorfa
en y, por (iii) (iv), concluimos que f es constante.
Observacin 2.16. Estas propiedades de las funciones holomorfas estn muy lejos de ser ciertas
para funciones reales diferenciables. Por ejemplo, dada una funcin de R2 en R2 diferenciable que
no se anule nunca, dividindola por su norma obtenemos una funcin diferenciable cuyo mdulo
(norma eucldea) es constante.
2.5 Ejercicios
Ejercicio 2.1
Demuestra que si P (z) = a0 + a1 z + + an zn es una funcin polinmica de grado n 1, se
verifica que lim P (z) = .
z
Ejercicio 2.2
Estudia la derivabilidad de la funcin f (x + i y) = x 3 + 3x y 2 + i(y 3 + 3x 2 y).
Ejercicio 2.3
Sea f : C C la funcin dada por f (z) =
continuidad y la derivabilidad de f .
x 3 (1+i)y 3 (1i)
x 2 +y 2
si z = x + i y 0, f (0) = 0. Estudia la
Ejercicio 2.4
2
Ejercicio 2.5
Escribe las ecuaciones de Cauchy-Riemann para f (z) = U(, )+i V (, ) donde z = (cos()+
i sen()). Expresa la derivada de f por medio de las derivadas parciales de U y V .
Ejercicio 2.6
Sea un dominio y f H (). Supongamos que hay nmeros a, b, c R con a2 + b2 > 0, tales
que a Re f (z) + b Im f (z) = c para todo z . Prueba que f es constante en .
Ejercicio 2.7
Calcula una funcin f H (C) tal que Re f (x + iy) = x 4 6x 2 y 2 + y 4 para todos x, y R. Si
se exige que sea f (0) = 0, entonces dicha funcin es nica.
26
Funciones complejas
Ejercicios
Ejercicio 2.8
Calcula una funcin f H ()tal que
a) Im f (x, y) = 12 log x 2 + y 2 ,
b) Im f (x, y) = xy,
c) Re f (x, y) = x 2 4x y 2 + 2y, o
d) Re f (x, y) = ex cos(y) + x.
Ejercicio 2.9
Encuentra una condicin necesaria y suficiente que deben cumplir los nmeros reales a, b, c
para que exista una funcin f H (C), verificando que Re f (x + iy) = ax 2 + bxy + cy 2 para
todos x, y R. Determina, cuando dicha condicin se cumpla, todas las funciones enteras f
cuya parte real es de la forma indicada.
Ejercicio 2.10
Sea f (x + iy) = u(x, y) + i v(x, y) una funcin holomorfa. Prueba que las curvas de nivel
u(x, y) = c, v(x, y) = k son dos familias de trayectorias ortogonales.
27
28
La funcin exponencial
Por tanto, una forma coherente de definir la exponencial de un nmero complejo sera calcular el
anterior lmite para z C. Llamemos z = x + iy. Consideraremos que y 0, puesto que si y = 0
tendramos que z = x sera un nmero real. Pongamos wn = 1 + z/n y
!
y
n = arctan
1+
x
n
Sea n0 tal que para n n0 se verifique que Re(wn ) > 0. Entonces, para n n0 resulta que
n = arg(wn ). Por otra parte, el mdulo de wn viene dado por
y2
x 2
z 2
= 1+ n
+ n2 .
|wn |2 = 1 + n
Tenemos ahora, gracias a la frmula de De Moivre que
n/2
y2
x 2
z n
= 1+ n
+ n2
(cos(nn ) + i sen(nn )).
(wn )n = 1 + n
Pero, por el criterio de equivalencia logartmica, es
n/2
y2
x 2
+ n2
lim |wn |n = lim
1+ n
= exp lim
n
n
n 2
2x
n
x2
n2
y2
n2
y/n
1+x/n
= ex .
. Por tanto
y/n
z n
n
(t R)
que establece una relacin entre la exponencial compleja y las funciones trigonomtricas. Haciendo
t = tenemos la singular igualdad
29
Logaritmos complejos
ei + 1 = 0
en la que intervienen los nmeros ms importantes de las matemticas. De la frmula de Euler se
deducen fcilmente las llamadas ecuaciones de Euler :
cos(t) =
eit +eit
,
2
sen(t) =
eit eit
2i
(t R)
Usando las ecuaciones de Cauchy-Riemann se deduce que la funcin exponencial es una funcin
entera y exp0 (z) = exp(z). Se prueba fcilmente que ez+w = ez ew para todos z, w C. Se deduce
que para todo z C y todo k Z es ez = ez+2k i . Lo que nos dice que la exponencial compleja
es una funcin peridica con perodo 2 i. Naturalmente, esto supone una gran diferencia con la
exponencial real que es una funcin inyectiva. Observa que la exponencial no se anula nunca pues
|ez | = eRe(z) > 0.
Logaritmo
Logaritmo principal
para todo z C .
Observa que cualquier otro logaritmo de z es de la forma log(z) + i2k para algn entero k.
Es importante que observes que la igualdad log(zw) = log(z) + log(w) que es vlida para los
logaritmos de los nmeros reales positivos, no es siempre cierta cierta para nmeros complejos.
Por ejemplo:
5
= log(2) + i(arctan(1/ 3) + ) = log(2) + i 6
30
Potencias complejas
h(w) =
ew eb
wb ,
h(b) = eb
es continua en todo C. Adems h(b) 0 y, por tanto, hay algn r > 0 tal que h(w) 0 para
todo w D(b, r ). Como la funcin logaritmo principal es continua en a, deducimos que hay un
s > 0 tal que w = log(z) D(b, r ) siempre que z D(a, s). Teniendo en cuenta que la funcin
logaritmo principal es inyectiva, podemos escribir para z D(a, s):
log(z)log(a)
za
1
h(log(z))
1
z
= lim
za
log(z)log(a)
za
1
h(log(a))
1
a
para todo z C \ R
0.
es el valor principal de la raz n-sima de a que antes hemos notado por n a. Esta definicin da
lugar a las funciones exponenciales complejas de base a, z , az , definidas por az = exp(z log(a))
que son holomorfas en todo el plano.
Por otro lado la funcin potencia compleja de exponente b, z , zb , definida por zb = exp(b log(z))
es holomorfa en C \ R
0.
Las funciones exponenciales cumplen evidentemente la igualdad az+w = az + aw pero las funciones potencias no cumplen, en general como vimos al estudiar las races, la propiedad (zw)b =
zb w b . Esta igualdad se da en el caso de que
exp(b log(zw)) = exp(b log(z) + b log(w))
o, puesto que la funcin exponencial es peridica de periodo 2 i, cuando se verifique que
b log(zw) = b log(z) + b log(w) + 2k i,
para algn k Z.
Como caso particular, cuando z y w pertenecen al primer cuadrante la igualdad log(zw) = log(z)+
log(w) es cierta con lo cual lo anterior se cumple para k = 0. Por los mismos motivos la igualdad
(zb )c = zbc no es cierta en general.
31
it
it
it
eiz +eiz
,
2
sen(z) =
eiz eiz
2i
Es inmediato que el seno y coseno complejos extienden a las funciones seno y coseno reales.
Adems, como el coseno y el seno complejos est definidos como combinacin de exponenciales,
sus propiedades se deducen fcilmente a partir de las propiedades de la exponencial.
Identidad
fundamental
Frmulas de adicin
3.4.2
Tangente compleja
Por analoga con la tangente real definimos la funcin tangente compleja como
tan(z) =
sen(z)
cos(z)
(cos(z) 0).
Puesto que el seno y el coseno son funciones enteras la tangente compleja es una funcin holomorfa
en su dominio de definicin C \ {z : cos(z) = 0}. Adems sabemos que cos(z) = 0 slo si z es real
de la forma z = 2 + k para algn k Z.
Las propiedades de la tangente se deducen con facilidad de las propiedades del seno y el coseno.
Por ejemplo, puedes comprobar que
tan(z + w) =
tan(z) + tan(w)
.
1 tan(z) tan(w)
Arcocoseno complejo
Dado un nmero complejo z C se trata de calcular los complejos w tales que cos(w) = z.
32
eiw +eiw
2
= z eiw + eiw 2z = 0
puesto que exp(w) 0 para cualquier w, podemos multiplicar por eiw la expresin anterior:
e2iw 2zeiw + 1 = 0. Poniendo u = eiw , la ecuacin anterior podemos escribirla u2 2zu + 1 = 0,
cuyas races son
p
p
u = z z2 1 = z i 1 z2 .
Observa que dichas races son distintas de 0, de hecho una es inversa de la otra pues su producto
es igual a 1. Hemos obtenido que:
p
p
exp(iw) = z i 1 z2 iw Log z i 1 z2 cos(w) = z.
Naturalmente, hay infinitos valores de w que verifican la igualdad anterior. El conjunto de todos
ellos se representa por Arccos(z).
Arccos(z) =
1
i
p
Log z i 1 z2 .
De todos ellos elegimos el que corresponde al logaritmo principal y le llamamos valor principal de
Arccos(z) que est definido por:
arccos(z) =
1
i
p
log z + i 1 z2 .
Veamos que el arccos(z) extiende al arcocoseno real. En efecto, para z = x [1, 1] tenemos que:
p
p
p
1
2 = 1 log
x + i 1 x 2 + i arg x + i 1 x 2
i log x + i 1 x
i
p
= 1i log(1) + i arg x + i 1 x 2
p
= arg x + i 1 x 2 .
p
Observemos que (x, 1 x 2 ) es un punto de la mitad superior de la circunferencia unidad y una
p
medida del ngulo que forma el nmero complejo x + i 1 x 2 con el eje real positivo es precisamente el arco cuyo
es x.
coseno
Adems, para x [1, 1] se tiene que 0 arccos(x) .
p
Deducimos que arg x + i 1 x 2 = arccos(x).
p
Teniendo en cuenta que 1 z2 = exp 12 log(1 z2 ) , y que el logaritmo principal es holomorfo
p
2
en C \ R
0 , deducimos, por la regla de la cadena, que la funcin z , 1 z es holomorfa en el
conjunto
o
n
= z C : 1 z2
/ R
0 = C \ (] , 1] [1, +[) .
p
Anlogamente log z + i 1 z2 es derivable en el conjunto
n
o
p
1 = z C : z + i 1 z 2
/ R
0 .
p
p
Como z + i 1 z2 y z i 1 z2 son inversos, tenemos que
p
p
z R
2 R =
p
z + i 1 z2 R
=
i
1
z
= z ] , 1]
0
0
1 z2 iR
deducimos que 1 = C\] , 1] . Luego el arcocoseno es holomorfo en . La regla de la
cadena nos permite calcular su derivada
33
Ejercicios
1 + i 1z2
p
z + i 1 z2
p
1
1 z2 iz
1
p
p
=
= p
.
1 z2 iz 1 z2
1 z2
1
arccos (z) =
i
0
3.5.2
Arcoseno complejo
Dado un nmero complejo z queremos calcular los complejos w tales que sen(w) = z. El conjunto
de tales nmeros lo representaremos por Arcsen. Aunque podemos repetir
elmismo proceso an
terior, podemos aprovechar lo ya hecho y observar que sen(w) = cos 2 w , luego sen(w) = z
p
si, y slo si, 2 w 1i Log z i 1 z2 . Equivalentemente si
w
p
+ i Log z i 1 z2 .
El valor principal del arcoseno, que notaremos por arcsen(z), se define eligiendo el logaritmo
principal:
arcsen(z) =
p
+ i log z + i 1 z2 ,
zC
3.5.3
Arcotangente compleja
Dado z C queremos calcular los nmeros complejos w tales que z = tan(w) o, lo que es lo mismo, z cos(w) = sen(w). El conjunto de todos ellos lo representaremos por Arctan(z). Escribiendo
la definicin de seno y coseno
eiw eiw
2i
= ze
iw
+eiw
2
1+iz
1iz
1+iz
1iz ,
esto es,
1
1+iz
w 2i
Log 1iz
(z i).
1
2i
log
1+iz
1iz
(z i).
3.6 Ejercicios
34
Ejercicios
Ejercicio 3.1
Ejercicio 3.2
Calcula el mdulo y los argumentos principales de los nmeros 1 + ei , 1 ei , aei donde
|| y a > 0.
Ejercicio 3.3
Calcula log(z) y Log(z) cuando z es uno de los nmeros siguientes
i, i, e3 , e5i , 4, 5e, 1 + i.
Ejercicio 3.4
Ejercicio 3.5
Calcula log(1 i) log i y log
1i
i
.
Ejercicio 3.6
Calcula (4)i , i3i , i i , 12i , 31i , ((i)i )i , (1 + i)1+i .
Ejercicio 3.7
log(z)
iv) log( n z) = n ,
n
v) log(z ) = n log(z).
b) Prueba que la funcin logaritmo establece una biyeccin entre los conjuntos C \ R
0 y =
{z C : < Im(z) < }.
Ejercicio 3.8
Con una interpretacin adecuada de la suma justifica que Arg(z w) = Arg(z) + Arg(w), y que
Log(z w) = Log(z) + Log(w).
35
Ejercicios
Ejercicio 3.9
Estudia, interpretndolas convenientemente cuando sea necesario, las siguientes igualdades:
a) Log[ab ] = b Log(a),
b) log[ab ] = b Log(a),
c) log(ab ) = b log(a).
Ejercicio 3.10
Indica el error en los razonamientos siguientes: (z)2 = z2 ; por tanto 2 Log(z) = 2 Log(z) y,
por consiguiente, Log(z) = Log(z).
Ejercicio 3.11
Explica con detalle dnde est el error en las igualdades siguientes:
i = (1)1/2 = [(1)3 ]1/2 = (1)3/2 = i3 = i.
Ejercicio 3.12
Calcula la imagen por la funcin exponencial de:
a) Una recta paralela a uno de los ejes coordenados.
b) Una banda horizontal de anchura menor que 2 .
c) Un rectngulo de lados paralelos a los ejes coordenados.
d) El conjunto {z C : |z| > r }.
Ejercicio 3.13
Tiene la funcin exponencial lmite en infinito? Dado w C con |w| = 1, estudia la existencia
del lmite lim exp(r w).
r +
Ejercicio 3.14
Sea f : C C una funcin verificando f (z + w) = f (z)f (w), para z, w C. Probar que si
f es derivable en un punto entonces f es entera. Encontrar todas las funciones enteras que
verifiquen la condicin anterior. Dar un ejemplo de una funcin que verifique dicha propiedad
y no sea entera.
Ejercicio 3.15
Da condiciones necesarias y suficientes para que el conjunto [ab ] de las potencias de base a y
exponente b sea finito.
Ejercicio 3.16
Estudia qu relacin hay entre los conjuntos [am/n ] y [(am )1/n ], donde a C , m, n N,
n 2. Qu puede afirmarse, en particular, cuando m y n son primos entre s?.
36
Ejercicios
Ejercicio 3.17
Sean > 0, < tales que , , , [ , ]. Prueba que z , z es una biyeccin de
1 = {z C : < arg z < } sobre 2 = {z C : < arg z < }.
Ejercicio 3.18
Calcula las partes real e imaginaria de los nmeros sen(1 + i), cos(1 i), tan(1 + 2i).
Ejercicio 3.19
Indica los conjuntos de puntos z C donde las funciones ez , sen(z), cos(z), tan(z), arcsen(z),
arctan(z) toman:
a) Valores reales.
b) Valores imaginarios puros.
Ejercicio 3.20
Calcula Arcsen(1 + i), Arctan(1 i), arcsen(i), arctan(2i).
37
38
Sucesiones de funciones
Una sucesin de funciones, como su nombre indica, es una sucesin cuyos elementos son funciones.
Formalmente, es una aplicacin que a cada nmero natural le asigna una funcin, en nuestro caso
una funcin compleja.
Definicin 4.1. Sea {fn } una sucesin de funciones con fn : A C C. Decimos que {fn }
converge puntualmente en un punto a A si la sucesin de nmeros complejos {fn (a)} es convergente. Llamaremos campo de convergencia puntual de la sucesin {fn } al conjunto
Convergencia puntual
Convergencia uniforme
lim sup{fn (z) f (z) : z B} = 0
es decir, para todo > 0 existe un nmero n0 N tal que para todo n n0 se verifica que
fn (z) f (z) para todo z B.
4.1.2
Series de funciones
Dada una sucesin de funciones {fn } podemos formar otra cuyos trminos se obtienen sumando
consecutivamente los de la primera, esto es:
f1 , f1 + f2 , f1 + f2 + f3 , . . . , f1 + f2 + + fn , . . .
X
Dicha sucesin la representaremos por
fn y la llamaremos serie de trmino general fn .
n1
Puesto que las series de funciones son sucesiones de funciones, los conceptos de convergencia
puntual, campo de convergencia puntual y convergencia uniforme para series de funciones no
precisan de nueva definicin.
P
La serie n1 fn se dice que converge absolutamente en un punto a A cuando la serie de los
P
mdulos, n1 fn (a), converge. Se define el campo de convergencia absoluta como el conjunto
X
fn (z) converge
zA:
n1
Al igual que para series de nmeros complejos la convergencia absoluta de una serie de funciones
implica convergencia pero no al contrario.
39
Convergencia absoluta
n 1.
Radio de convergencia
P
se representa por n0 cn (z a)n y se llama serie de potencias centrada en a. La sucesin {cn }
recibe el nombre de sucesin de coeficientes de la serie.
P
Lema 4.2. Supongamos un nmero positivo > 0 tal que la serie n0 |cn | n sea convergente.
P
Entonces se verifica que la serie n0 cn (z a)n converge absolutamente en el disco D(a, ).
P
Dada una serie de potencias n0 cn (z a)n puede ocurrir:
1) La serie solamente converge para z = a. En este caso se dice que la serie de potencias es trivial.
2) La serie converge absolutamente para todo z C.
3) Hay un nmero 0 < R < + tal que la serie converge absolutamente en D(a, R) y no converge
para |z a| > R. El disco D(a, R) se llama disco de convergencia de la serie.
Al nmero R se le llama radio de convergencia de la serie. En el caso primer convenimos en que
R = 0 y en el segundo R = +.
Dada una serie de potencias no trivial, llamaremos dominio de convergencia de la serie al conjunto
a) = C si R = +
b) = D(a, R) si R R+
Para obtener el radio de convergencia de una serie de potencias de forma prctica podemos aplicar
alguno de los criterios siguientes.
Teorema 4.3. Dada una sucesin de nmeros complejos {cn } supuesto que
a) cn 0 para todo n a partir de un ndice en adelante, y que
|cn+1 |
n |cn |
b) lim
= L R+
0 {+}
X
cn (z a)n .
n0
Tenemos
lim
Criterio de la
raz o de Cauchy
Lema de Abel
cn+1 (z a)n+1
|cn (z
a)n |
= lim
cn+1
|z a| = L |z a| .
cn
Deducimos que:
a) Si L |z a| < 1 la serie converge,
b) Si L |z a| > 1 la serie no converge,
y concluimos que R = 1/L con los convenios anteriores.
De forma anloga se obtiene el siguiente resultado.
p
Teorema 4.4. Si lim n |cn | = L R+
0 {+} entonces R = 1/L con los mismos convenios
n
anteriores.
El siguiente lema es muy til para calcular la suma de algunas series.
P
Lema 4.5. Supongamos que la serie n0 cn z n converge en un punto z 0 de la frontera de su
disco de convergencia. Entonces se verifica que:
40
lim
r 1
0<r <1
cn (r z0 )n =
n=0
cn z0n .
n=0
P
Teorema 4.6. Sea a un nmero complejo, n0 cn (z a)n una serie de potencias no trivial y
su dominio de convergencia. Sea f : C la funcin suma de la serie, esto es,
f (z) =
cn (z a)n ,
z .
n=0
z .
n=k
f (k) a
k!
Serie de Taylor
X f (n) (a)
(z a)n
n!
n0
se llama serie de Taylor de f en el punto a.
Corolario 4.8. Las nicas series de potencias no triviales son series de Taylor (de su funcin suma).
El resultado anterior nos lleva a definir el concepto de funcin analtica.
Definicin 4.9. Sea C un abierto, se dice que una funcin compleja f : C es analtica
en cuando localmente puede representarse como la funcin suma de una serie de potencias.
Con precisin, para cada punto b hay un disco abierto D(b, b ) y una serie de potencias
X
(b)
cn (z b)n
n0
(b)
cn (z b)n
n=0
En virtud del teorema anterior, deducimos que una funcin analtica f en es indefinidamente
derivable en y todas sus derivadas son tambin analticas. Adems se tiene que
(b)
cn
f (n) (b)
n! .
41
Funcin analtica
Ejercicios
(
f (x) =
x 2 /2, si x < 0
x 2 /2,
si x 0
X
f (n) (a)
(z a)n para todo z D(a, r ) .
n!
n=0
Este resultado pone de manifiesto la gran diferencia que hay entre la derivabilidad en el campo real
y en el campo complejo. En el campo real podemos tener una funcin que sea continua pero no
derivable; continua y derivable pero sin derivada continua; de clase C 1 pero no dos veces derivable,
etc. Esto es, con notacin que se explica por s sola
C(I) D 1 (I) C 1 (I) D 2 (I) C 2 (I) C (I) F A(I)
En variable compleja esta cadena de conjuntos se reduce a dos C() y H () = F A().
4.3 Ejercicios
Ejercicio 4.1
Estudia la convergencia puntual de la serie de funciones
X z+i n
zi
con z i.
n1
Ejercicio 4.2
Estudia la convergencia puntual de la serie de funciones
X
n1
42
1
n
2zi n
,
2+iz
con z 2i.
Ejercicios
Ejercicio 4.3
Estudia la convergencia puntual de las series de funciones:
X
a)
exp(nz),
b)
c)
n0
X
n0
X
sen(nz)
3n
exp(nz2 ).
n0
Ejercicio 4.4
Calcula el radio de convergencia de las siguientes series de potencias:
a)
b)
X 2n+3 n 2
2n+6
n1
X
d)
n! n
nn z
e)
z2n
(1+2i)n
f)
c)
n0
X
an z n
(2n)! n
(n!)2 z
n0
n1
(2n)!n2n n
2n n!(3n)! z
n0
n1
Ejercicio 4.5
Estudia el comportamiento en la frontera del disco de convergencia de las series:
X
a)
zn ,
b)
c)
d)
n1
X
n1
X
n1
X
zn
n ,
zn
n2 ,
(1)n 3n1
.
log(n) z
n2
Ejercicio 4.6
Expresa z1 como suma de una serie de potencias centrada en un punto a 0 e indica en dnde
es vlida dicha igualdad.
Ejercicio 4.7
Expresa
1
(1z)3
Ejercicio 4.8
Sea a C . Justifica que (1 + z)a = 1 +
a(a1)...(an+1) n
z ,
n!
n=1
43
para |z | < 1.
Serie binomial
Ejercicios
Ejercicio 4.9
Obtener el desarrollo en serie de potencias centrado en el origen de la funcin f , y calcular el
radio de convergencia de la serie resultante en cada uno de los siguientes casos:
z2
.
a) f (z) = (z+1)
2
2
b) f (z) = log z 3z + 2 .
c) f (z) = cos2 (z).
d) f (z) = arctan(z).
Ejercicio 4.10
Prueba que log(1 + z) =
(1)n+1 n
z ,
n
z D(0, 1).
n=1
(1)n+1
n
(1)n+1
n
sen(n) =
n=1
n=1
cos(n)
n
= log 2 sen( 2 ) ;
n=1
X
n=1
44
sen(n)
n
Indicamos a continuacin las propiedades principales de la integral que acabamos de definir. Todas
ellas se deducen con facilidad de las propiedades correspondientes de la integral de funciones
reales de variable real que suponemos conocidas.
5.1.1
Propiedades
Proposicin 5.1. Sean , : [a, b] C integrables y , C. Se cumple que
Zb
Zb
Zb
(t) dt.
(t) dt +
( (t) + (t)) dt =
Linealidad
Acotacin
Aditividad respecto
al intervalo
t
a
Proposicin 5.6.
Entonces
Frmula de cambio
de variable
Z (d)
Zd
(s) ds =
(c)
45
Curva
Curvas en el plano
Curva cerrada
Curva regular
Al punto (a) se le llama punto inicial de la curva y a (b) punto final. Ambos reciben el nombre
de extremos de la curva.
Se dice que es una curva cerrada cuando sus extremos coinciden, esto es, (a) = (b).
Diremos que una curva es regular si la aplicacin que la define es derivable con derivada continua,
esto es, es de clase C 1 .
(b)
Camino
Longitud de
una curva
Definicin 5.8. Una curva : [a, b] C es regular a trozos, y la llamaremos un camino, si existe
una particin de [a, b], a = t0 < t1 < . . . < tn1 <
tn = b de manera que |[tk1 , tk ] es regular para
1 k n.
Definicin 5.9. Si : [a, b] C es un camino se
b
0 (t) dt.
define la longitud de por `() =
a
(a)
Ilustracin 5.1
5.2.1
Curva opuesta
Definicin 5.10. Llamaremos curva opuesta de una dada : [a, b] C, y la notaremos por
Yuxtaposicin de curvas
Yuxtaposicin de curvas
Definicin 5.11. Dadas dos curvas : [a, b] C y : [c, d] C con (b) = (c), definimos una
nueva curva que llamaremos yuxtaposicin de y o tambin suma de y , y la notaremos
por , como
(t),
si a t b
( )(t) =
(c b + t), si b t b + d c
Geomtricamente se trata de pegar las trazas de y juntas, de ah que se exija que (b) = (c),
esto es, que podamos pegarlas de forma continua. Evidentemente en los puntos de unin entre
una curva y otra puede que no haya derivabilidad. Es fcil probar que ( ) = .
Observa que la yuxtaposicin de dos caminos tambin es un camino.
5.2.2
Ejemplos de curvas
Ejemplo 5.12.
a) Segmento de origen z y extremo w. Es la curva : [0, 1] C definida por
46
Integral curvilnea
(t) = (1 t)z + tw
Notaremos a esta curva como = [z, w]. Resaltemos que no se trata de un intervalo en C ya
que no hemos definido ningn orden.
Es fcil comprobar que
[z, w] = [w, z]
b) Circunferencia de centro a y radio r . Es la curva : [ , ] C definida por
(t) = a + r eit
La vamos a representar por el smbolo C(a, r ). No hay que confundir a la curva con su imagen,
que en este caso es una circunferencia y que notamos como C(a, r ) C.
c) Poligonal de vrtices z 0 , z1 , . . . , z n . Es la curva
[z0 , z1 ] [z1 , z2 ] . . . [zn1 , zn ]
y la representaremos por [z0 , z1 , . . . , zn ]. La poligonal es un camino, es decir, es una curva
regular a trozos.
Curvas equivalentes
Definicin 5.13. Dos curvas : [a, b] C y : [c, d] C se dice que son equivalentes cuando
existe una aplicacin : [c, d] R cumpliendo
a) C 1 ([c, d]),
b) 0 (u) > 0 para todo u [c, d],
c) (c) = a, (d) = b
y tal que = . En tal caso se dice tambin que es una reparametrizacin de .
Dos curvas equivalentes tienen la misma traza, mismo punto inicial y mismo punto final.
Observemos que t , f ((t)) 0 (t) es una funcin de variable real con valores complejos, luego la
integral de la derecha es la integral que ya hemos definido antes.
En lo que sigue notaremos C( ) el espacio vectorial complejo de las funciones complejas continuas en .
Propiedades
Proposicin 5.15. Si : [a, b] C y : [c, d] C son curvas equivalentes y f C( )se verifica
que
f (z) dz =
f (z) dz.
47
Reparametrizacin
Integral curvilnea
Zb
Z
f (z) dz =
"
f ( (t)) 0 (t) dt =
Z 1 (b)
=
1 (a)
Zd
=
c
t = (s)
dt = 0 (s) ds
f ( (s)) (s) ds =
f (z) dz.
cumple que
f (z) dz =
f (z) dz +
f (z) dz.
Z
f (z) dz =
f (( )(t)) ( )0 (t) dt
Zb
Z b+dc
f ((t)) 0 (t) dt +
f ( (t b + c)) 0 (t b + c) dt
a
b
s =tb+c
=
ds = dt
Zb
Zd
=
f ((t)) 0 (t) dt +
f ( (s)) 0 (s) ds
c
Za
Z
=
f (z) dz +
f (z) dz.
=
Acotacin bsica
`().
Proposicin 5.18.
f (z) dz max f (z) : z
Demostracin. En efecto
Z
Z
Z
b
b
0
f ((t)) 0 (t) dt
f (z) dz =
f ((t)) (t) dt
a
a
Zb
0
(t) dt
max{f (z) : z }
a
= max{f (z) : z } `().
Linealidad
El clculo de una integral curvilnea es inmediato si se conoce una primitiva de la funcin que
integramos.
Regla de Barrow
para integrales curvilneas
Teorema 5.20. Sea C un abierto, f una funcin continua en y supongamos que hay una
funcin F H () tal que F 0 (z) = f (z) para todo z . Sea : [a, b] C un camino en (esto
es, ), entonces
Z
f (z) dz = F ((b)) F ((a)) .
Demostracin. Puesto que es un camino existe una particin a = t0 < t1 < . . . < tn1 < tn = b
0
de forma que |[tk1 , tk ] es una aplicacin de clase C 1 , esto es, |[t
es continua. Teniendo en
k1 , tk ]
0
cuenta que la funcin f ((t)) (t) es continua en cada intervalo [tk1 , tk ] y que
(F )0 (t) = F 0 ((t)) 0 (t) = f ((t)) 0 (t)
48
Ejercicios
Z
f (z) dz =
f ((t)) (t) dt =
n
X
n Z tk
X
k=1
tk1
f ((t)) 0 (t) dt
k=1
5.3.1
Existencia de primitivas
Corolario 5.21. Si una funcin continua f en un abierto admite una primitiva en , entonces
la integral curvilnea de f es la misma para todos los caminos en que tienen los mismos puntos
R
inicial y final. En particular, para todo camino cerrado en se verifica que f (w) dw = 0.
Condicin necesaria
para la existencia de
primitivas
Proposicin 5.22. La funcin suma de una serie de potencias no trivial tiene primitivas en el
dominio de convergencia de la serie.
P
Demostracin. Supongamos que n0 cn (z a)n es una serie de potencias no trivial. Sea su
P
n
dominio de convergencia y para z sea (z) =
n=0 cn (z a) la funcin suma. El teorema
de derivacin de series de potencias nos dice que la funcin
F (z) =
cn
n+1 (z
a)n+1
n=0
es una primitiva de en .
Con este resultado es fcil dar un ejemplo de una funcin que no tiene primitiva. Sea f (z) =
para z C . Tenemos que
Z
Z
1
ieit dt = 2 i 0
f (z) dz =
eit
C(0,1)
1
z
5.4 Ejercicios
Ejercicio 5.1
Calcula
a) (t) = t 2 + it
b) (t) = 2t + it
2it,
si 0 t 1,
c) (t) =
2i + 4(t 1), si 1 t 2.
49
Caracterizacin de la
existencia de primitivas
Ejercicios
Ejercicio 5.2
Calcula
a) (t) = t + it;
b) (t) = e2 it
Ejercicio 5.3
Calcula
Ejercicio 5.4
Calcula
C(0,1)
1
z
dz.
Ejercicio 5.5
Calcula
C(0,1)
log(z) dz.
Ejercicio 5.6
Dado C, calcula
C(0,1)
z log(z) dz.
Ejercicio 5.7
Calcula
Ejercicio 5.8
Prueba que para 0 < r < 1, se tiene que
Z 2
C(0,r )
log(1+z)
z
dz = 0. Deduce que
log 1 + r 2 + 2r cos() d = 0.
Ejercicio 5.9
Sea f holomorfa en un abierto C y verificando que |f (z) 1| < 1, z . Justifica que
Z
f 0 (z)
f (z) dz = 0 para todo camino cerrado en .
50
51
Lema de Riemann
ndice . . .
w ,
1
wz
1
wz
f
(z)
wz
wz
wz dw
de donde
Z
f (z)
1
wz
Z
dw =
f (w)
wz
dw ,
(z \ ).
Observa que esta es una frmula de representacin pues permite calcular los valores de f en
puntos z \ conocidos los valores de f sobre el camino .
Queda claro, por estas consideraciones,
que para responder a los problemas planteados debemos
1
empezar estudiando la integral
dw donde es un camino cerrado y z 6 . Vamos a ver
wz
que dicha integral tiene una sencilla interpretacin y en la prctica ser muy fcil de calcular.
La funcin h se llama un logaritmo derivable de . Observa que la funcin h tiene que ser de la
forma h(t) = log (t) + i(t) donde t , (t) es una funcin continua (derivable, de hecho) y
(t) Arg ((t)). Es decir, t , (t) es un argumento continuo de .
Sea : [a, b] C una curva regular cerrada y z 6 . Pongamos (t) = (t) z. Tenemos
Z
1
wz
Zb
dw =
a
Zb
dt =
a
0 (t)
(t)
dt.
0 (t)
(t)z
Ilustracin 6.1
La ltima igualdad es consecuencia de que (a) y (b) son argumentos del mismo nmero complejo (a) = (b) luego su diferencia es un mltiplo entero de 2 .
Hemos justificado la igualdad
Z
1
(b)(a)
1
= k Z,
wz dw =
2
2 i
52
ndice . . .
ndice
Hemos justificado que Ind (z) es un nmero entero y representa el nmero de veces que el camino
rodea al punto z.
Proposicin 6.5. Dado un camino cerrado : [a, b] C, la funcin definida para z C \ por
z , Ind (z) tiene las propiedades:
a) Es constante en cada componente conexa de C \ .
b) Vale cero en la componente no acotada de C \ .
6.1.1
Cadenas
En lo que sigue nos va a interesar integrar en varios caminos al mismo tiempo por lo que es
conveniente introducir la terminologa de cadenas. Una cadena es una suma formal finita de
caminos, = 1 + 2 + . . . + n . El smbolo + que hemos escrito en la expresin anterior no
representa a la suma de funciones ni a la yuxtaposicin de caminos, es una manera de decir que
la cadena est formada por varios caminos. Por ejemplo podemos considerar la cadena
= C(0, 1) + C(i, 2) 2C(1 + i, 1/2).
que est formada por tres circunferencias, la ltima de ellas considerada dos veces y recorrida en
sentido contrario.
Por definicin, para integrar una funcin sobre una cadena se integra la funcin sobre cada uno de
los caminos que forman la cadena y se suman dichas integrales.
Z
f (z) dz =
n Z
X
f (z) dz.
j=1
Dadas dos cadenas y = 1 + + m entonces su suma es otra cadena compuesta por todos
los caminos que forman y todos los que forman ,
+ = 1 + + n + 1 + + m .
Como caso particular de cadenas tenemos los ciclos. Un ciclo es una cadena formada por caminos
cerrados. En el ejemplo anterior era un ciclo pues estaba formado por circunferencias.
Si es un ciclo se define el ndice de un punto z 6 respecto a como la suma de los ndices del
punto z respecto a cada uno de los caminos cerrados que forman el ciclo.
Ind (z) =
n
X
Indj (z).
j=1
Proposicin 6.6. Dado un ciclo la funcin z , Ind (z) es constante en componentes conexas de
C \ y vale 0 en la componente conexa no acotada.
53
Ciclo
Ciclo nulhomlogo
a)
f (z) dz = 0.
f (w)
1
2 i wz
Frmula de Cauchy
Frmula de Cauchy
f (w)
k!
2 i (wz)k+1
Frmula de Cau-
f (w)
1
a) f (z) = 2
wz dw,
i
C(a,R)
Simplemente conexo
b) f (k) (z) =
f (w)
k!
2 i C(a,R) (wz)k+1
dw.
Teorema de Cauchy
para dominios sim-
Teorema 6.11.
dicho dominio.
plemente conexos
Consecuencias
Es cmodo introducir la siguiente terminologa.
Definicin 6.12. Dos ciclos , en un abierto se dicen homolgicamente equivalentes respecto
de si se verifica que Ind (z) = Ind (z) para todo z C \ .
El teorema de Cauchy afirma que si y son ciclos en un abierto , homolgicamente equivalentes
respecto de , entonces
Z
Z
f (z) dz =
f (z) dz
para toda funcin f H (). Este teorema permite reducir el clculo de integrales de funciones
holomorfas sobre caminos cerrados al clculo de integrales sobre circunferencias.
El siguiente ejemplo es ilustrativo de esto. Sea el abierto el plano complejo C al que le hemos
quitado tres puntos a, b y c. Pretendemos calcular la integral de una funcin holomorfa en a lo
largo del camino que se presenta en la figura 6.2
54
Singularidades aisladas . . .
C(a,)
C(b,)
C(c,)
De esta forma hemos reducido el clculo de la integral de cualquier funcin holomorfa sobre el
camino a tres integrales sobre circunferencias. Observa que podemos tomar los radios de estas
R
circunferencias arbitrariamente peque
nos. Esto nos dice que la integral f (z) dz va a depender
solamente del comportamiento de f en los puntos a, b, y c.
Singularidades aisladas
Sea un abierto en C, a un punto de y sea f una funcin holomorfa en \ {a} (el abierto
puede muy bien ser un disco abierto centrado en a). En esta situacin se dice que el punto a es
una singularidad aislada de f . Pueden ocurrir los siguientes casos:
a) Existe lim f (z) = w C. En tal caso, definiendo f (a) = w tenemos, en virtud del lema de
za
Singularidad evitable
Singularidad esencial
Residuo
za
Polo
C(a,r )
Observa que la integral en esta definicin no depende de r pues si consideras otro disco D(a,
s)
, el ciclo = C(a, r ) C(a, s) es nulhomlogo respecto de \ {a} y, como f es una funcin
holomorfa en \ {a}, el teorema de Cauchy nos dice que f (z) dz = 0, es decir,
Z
Z
f (z) dz =
f (z) dz.
C(a,r )
C(a,s)
55
Singularidades aisladas . . .
Z
f (z) dz = 2 i
q
X
j=1
k , ) y D(a
k , ) A = {ak }
Idea de la demostracin. Tomamos > 0 de forma que D(a
para k = 1, . . . , q. Para cada k llamamos mk = Ind (ak ) y k = mk C(ak , ). Construimos el ciclo
P
= kj=1 j . Es fcil probar que el ciclo es nulhomlogo respecto del abierto \ S. En
consecuencia, podemos aplicar el teorema general de Cauchy a dicho abierto para el ciclo y
la funcin f obteniendo que
Z
Z
Z
0=
f (z) dz = f (z) dz
f (z) dz.
Despejando obtenemos
Z
Z
f (z) dz =
f (z) dz =
q
X
q Z
X
j=1
f (z) dz
Z
mj
j=1
f (z) dz = 2 i
C(aj ,)
q
X
j=1
6.3.2
Clculo de residuos
Sea un abierto en C, a un punto de y sea f una funcin holomorfa en \ {a}.
a) Supongamos que a es un punto regular de f . Entonces Res(f (z), a) = 0. Pues podemos definir
f (z) dz = 0.
teorema de Cauchy tenemos que
C(a,r )
g(z) = (z a)k f (z) para z , z a, y sea g(a) = w. Entonces, por el lema de Riemann, g
g(z) =
dn (z a)n , z D(a, r )
n=0
donde dn =
g (n) (a)
n! .
Deducimos que
f (z) =
k1
X
n=0
dn
(za)kn
dn (z a)nk ,
z D(a, r ) \ {a}.
(6.1)
n=k
Es usual emplear la siguiente notacin para la serie (6.1). Dicha serie se escribe en la forma
f (z) =
(6.2)
n=k
Observa que con ello tenemos que c1 = dk1 . Si ahora integramos f (z) en la circunferencia
n+1
C(a, r ) y tenemos
en cuenta que (z a)n tiene primitiva (za)
para todo n Z con n 1
n+1
por lo que
C(a,r )
56
Singularidades aisladas . . .
todos los trminos de la serie (6.2) son nulas excepto la que corresponde al sumando para
n = 1. Por tanto
Z
f (z) dz =
C(a,r )
Z
C(a,r )
n=k
cn (z a)n dz =
Z
C(a,r )
c1
za
dz = 2 ic1 .
Deducimos que
1
2 i
c1 =
Z
f (z) dz = Res(f (z), a).
C(a,r )
c1 =
1
lim dzdk1
(k1)! za
h
i
(z a)k f (z) .
Hay que calcular el lmite indicado porque al evaluar la derivada dzdk1 [(z a)k f (z)] en el punto
a suele aparecer una indeterminacin.
c) Supongamos, finalmente, que a es una singularidad esencial de f . Entonces se prueba que es
posible representar a la funcin f por medio de una serie del tipo siguiente.
f (z) =
(6.3)
n=
donde hay infinitos coeficientes cn distintos de cero. Razonando igual que antes tambin se
obtiene en este caso que c1 = Res(f (z), a). Aunque ahora no disponemos de una forma para
calcular c1 que no sea obtener el desarrollo 6.3.
Definicin 6.15. Una serie del tipo
k=n
X
k=n
Serie de Laurent
en a. Dichas series son una generalizacin de las series de potencias. Cuando dicha serie converge
el lmite se nota por
lim
n
X
+
X
ck (z a)k =
an (z a)n .
n=
k=n
Usaremos la notacin A(a; r , R) para indicar el anillo abierto de centro a radio interior r y radio
exterior R donde 0 r < R +.
A(a; r , R) = {z C : r < |z a| < R} .
El siguiente resultado es una generalizacin del teorema de Taylor.
Teorema 6.16. Sean 0 r < R +, a C y f una funcin holomorfa en el anillo A(a; r , R).
Entonces hay una nica serie de Laurent centrada en a verificando que
f (z) =
+
X
cn (z a)n ,
n=
57
Desarrollo en serie
de Laurent
Aplicaciones . . .
holomorfas f (z) = h(z) donde suponemos que g, h son funciones holomorfas en un abierto .
En tal caso las nicas posibles singularidades de f son los ceros de h. Supongamos que a
y que la funcin h y sus derivadas hasta la de orden k 1 se anulan en el punto a y la derivada
de orden k de h es distinta de cero en a (se dice entonces que h tiene un cero de orden k en
a). Supongamos tambin que g(a) 0. Entonces, en virtud del Teorema de Taylor, podemos
escribir para z D(a, r ) :
h(z) =
h(n) (a)
(z
k!
a)n =
n=0
h(n) (a)
(z
k!
a)n
n=k
=(z a)k
(n)
(a)
(z
k!
a)nk .
n=k
n=k
h(n) (a)
(za)nk , la funcin
k!
g(z)
za (z)
za
g(a)
(a)
es holomorfa en D(a, r )
g(z)
supongamos que f (z) = h(z) donde g, h son funciones holomorfas en un abierto , y suponemos que g(a) 0 y h tiene un cero simple, es decir, de orden 1 en a. Entonces, segn acabamos
de ver, f tiene un polo simple, es decir, de orden 1 en a. Entonces tenemos que
g(z)
za
za h(z)
g(a)
h0 (a)
R(cos(t), sen(t)) dt
Suponemos que R es una funcin racional de dos variables continua en la circunferencia unidad.
La idea para calcular esta integral por el mtodo de residuos es convertirla en una integral sobre
C(0, 1) de una funcin compleja que tambin va a ser racional. Para ello recordemos que
sen(t) =
Por tanto, se verifica que
Z
R
C(0,1)
eit eit
2i
e2it 1
2ieit
z2 +1 z2 1
2z , 2iz
1
iz
cos(t) =
eit +eit
2
e2it +1
2eit
Z
dz =
2
+1 z2 1
1
En consecuencia, si notamos f (z) = R z 2z
, 2iz iz
, tenemos que f (z) es una funcin racional
por lo que sus nicas posibles singularidades son polos. Para calcular lanintegral slo nos
o interesan
los polos que estn dentro del disco unidad. Supongamos que estos son z1 , z2 , . . . , zq . El teorema
de los residuos nos dice que
58
Aplicaciones . . .
Z
R(cos(t), sin(t)) dt = 2 i
q
X
Res(f (z), zj ).
j=1
1
Ejemplo 6.17. Se trata de calcular la integral I =
dt. Segn acabamos de ver
5+4 cos(t)
Z
Z
Z
1
1
1
1
1
1
I=
dz
=
dz
=
2
iz
i
i
(2z+1)(z+2) dz.
2z2 +5z+2
C(0,1)
C(0,1)
C(0,1) 5 + 2 z +1
z
Por tanto
I = 1i 2 i Res
=
1
1
(2z+1)(z+2) , 2
1
lim
z1/2 (z+2)
Z +
6.4.2
= 2
1
lim (z + 1/2) (2z+1)(z+2)
z1/2
2
3.
P (x)
dx
Q(x)
Suponemos que
a) P y Q son funciones polinmicas sin factores comunes.
b) grado(Q) grado(P ) + 2.
c) Q(x) 0 para todo x R.
En estas condiciones si {z1 , z2 , . . . , zq } es el conjunto de los ceros del polinomio Q que estn en el
semiplano superior se verifica que
Z +
P (x)
Q(x)
dx = 2 i
q
X
Res
P (z)
Q(z) , zj
j=1
P (z)
Q(z)
dz = 2 i
q
X
Res
P (z)
Q(z) , zj
j=1
Observa que en esta igualdad el lado de la derecha es independiente de , y . Por tanto, ser
suficiente para nuestros propsitos probar que cuando , y tienden hacia + se verifica que
Z +
Z
P (z)
P (x)
lim
dz
=
Q(z)
Q(x) dx.
,, (,,)
Por la hiptesis sobre los grados de los polinomios P y Q se tiene que existen nmeros K > 0 y
M > 0 tales que
P (z)
M
|z|
(6.4)
|z| K = f (z) = Q(z)
2 .
59
Aplicaciones . . .
2 i
q
X
Res
P (z)
Q(z) , zj
Z
=
(,,)
j=1
P (z)
Q(z)
P (x)
Q(x)
dz =
dx + I1 + I2 + I3
As,
q
Z
X
P (z)
2 i
,
z
Res
j
Q(z)
j=1
P (x)
Q(x)
dx
|I1 | + |I2 | + |I3 |.
(6.5)
M
2 +t 2
Por tanto,
Z
Z
Z
f ( + it) dt
|I1 | =
f
(
+
it)i
dt
0
M
2 +t 2
dt =
h
it=
arctan t
t=0
M
2
Z
Z
Z
f (t + i) dt
|I2 | =
f (z) dz
[+i,+i]
j=1
M
t 2 + 2
M
2
dt ( + ) M2 .
+ ( + ) M2 .
Como en esta desigualdad la parte de la izquierda no depende para nada de podemos fijar y
y tomar lmite cuando + con lo que obtenemos
q
Z
X
M
P (x)
M
P (z)
2 i
,
z
dx
(6.6)
Res
j
2
Q(z)
Q(x)
+ .
j=1
Tomando ahora lmite para + y + en la expresin de la derecha, se obtiene que la
P (x)
es impropiamente integrable en R y adems
funcin Q(x)
Z +
P (x)
Q(x)
dx = 2 i
q
X
Res
P (z)
Q(z) , zj
j=1
Observa que la acotacin (6.6) proporciona una cota del error que se comete al aproximar la integral
Z
+
P (x)
P (x)
dx
por
una
integral
parcial
Q(x)
Q(x) dx.
60
Aplicaciones . . .
donde suponemos que a > 0 y b > 0 son distintos. La funcin que integramos tiene dos polos
simples en el semiplano superior en los puntos ia, ib. Segn acabamos de ver
1
1
I = 2 i Res (z2 +a2 )(z
2 +b 2 ) , ia + 2 i Res
(z2 +a2 )(z2 +b2 ) , ib .
Tenemos que
Res
1
(z2 +a2 )(z2 +b2 ) , ia
1
= lim (z ia) (zia)(z+ia)(z
2 +b 2 )
zia
= lim
zia
Anlogamente Res
1
(z2 +a2 )(z2 +b2 ) , ib
I = 2 i
6.4.3
1
2ib(a2 b2 ) .
1
2ia(b2 a2 )
eix P (x)
Q(x)
1
(z+ia)(z2 +b2 )
1
2i a(b2 a2 )
Luego
1
2ib(a2 b2 )
a b(a+b)
dx
Suponemos que
a) P y Q son funciones polinmicas sin factores comunes y > 0.
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 +
eix P (x)
Q(x)
dx = 2 i
q
X
Res
eiz P (z)
Q(z) , zj
j=1
eiz P (z)
Q(z)
dz = 2 i
q
X
Res
eiz P (z)
Q(z) , zj
j=1
Observa que en esta igualdad el lado de la derecha es independiente de , y . Por tanto, ser
suficiente para nuestros propsitos probar que cuando , y tienden hacia + se verifica que
Z
Z +
eiz P (z)
eix P (x)
lim
dz
=
Q(z)
Q(x) dx.
,, (,,)
Por la hiptesis sobre los grados de los polinomios P y Q se tiene que existen nmeros K > 0 y
M > 0 tales que
P (z)
M
|z|
|z| K = Q(z)
(6.7)
En lo que sigue, suponemos que , y son mayores que K.
61
Aplicaciones . . .
Pongamos ahora
1 = [, + i], 2 = [ + i, + i] y 3 = [ + i, ] (ver figura 6.4) y
notamos Ik =
f (z) dz. Tenemos
k
2 i
q
X
Res
eiz P (z)
Q(z) , zj
Z
=
j=1
(,,)
eiz P (z)
Q(z)
dz =
eix P (x)
Q(x)
dx + I1 + I2 + I3
As,
q
Z
iz
X
P (z)
2 i
, zj
Res e Q(z)
j=1
eix P (x)
Q(x)
dx
|I1 | + |I2 | + |I3 | .
(6.8)
Met
dt =
it=
et
t=0
M 1e
M
La integral I3 se acota de la misma forma, resultando |I3 |
.
Por ltimo, para acotar I2 se usa que para z [ + i, + i] tenemos, por ser > K, que
M
M
|z| K por lo que, en virtud de la desigualdad (6.7), se tiene que f (z) |z|
. Adems, para
iz
f (t + i) dt
f (z) dz
dt = ( + ) M
.
|I2 | =
e
[+i,+i]
j=1
.
+ ( + ) M
e
Como en esta desigualdad la parte de la izquierda no depende para nada de podemos fijar y
y tomar lmite cuando + con lo que, teniendo en cuenta que > 0, obtenemos
q
Z ix
i z
X
e P (x)
e P (z)
2 i
1 M +M .
,
z
dx
(6.9)
Res
j
Q(z)
Q(x)
j=1
Tomando ahora lmite para + y + en la expresin de la derecha, se obtiene que la
ix
P (x)
funcin e Q(x)
es impropiamente integrable en R y adems
Z +
eix P (x)
Q(x)
dx = 2 i
q
X
Res
eiz P (z)
Q(z) , zj
j=1
Observa que la acotacin (6.9) proporciona una cota del error que se comete al aproximar la integral
+ ix
ix
e P (x)
e P (x)
Q(x) dx por una integral parcial
Q(x) dx.
cos(x)
a2 +x 2
62
dx.
Aplicaciones . . .
+
eix
2
2
a +x
+
dx , calcularemos J =
eix
2
2
a +x
dx.
1
Segn acabamos de ver, teniendo en cuenta que la funcin a2 +z2 solamente tiene un polo simple
en el semiplano superior en el punto ai, se sigue que
iz
iz
J =2 i Res ae2 +z2 , i = 2 i lim (z ai) ae2 +z2
zai
=2 i lim (z
zai
Z +
6.4.4
eiz
ai) (zai)(z+ai)
= ea
= I = e a .
sen(x)P (x)
dx
x Q(x)
Suponemos que
a) P y Q son funciones polinmicas con coeficientes reales sin factores comunes, P (0) 0, y > 0.
b) grado(Q) grado(P ).
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
iz
iz
X
e
P
(z)
e
P
(z)
sen(x)P (x)
dx = Im 2 i
Res zQ(z) , zj + i Res zQ(z) , 0 .
x Q(x)
j=1
La forma de proceder es muy parecida a la anterior con una pequea diferencia y es que ahora
consideraremos el camino de integracin (, , , ) que puedes ver en la figura 6.5.
Procediendo como en el caso anterior, considerando ahoiz
+ i
i 2
+ i
P (z)
ra la funcin f (z) = ezQ(z)
teniendo en cuenta que
Ind (,,,) (0) = 0, el teorema de los residuos nos di1
3
ce que
Z
(,,,)
eiz P (z)
zQ(z)
dz = 2 i
q
X
Res
eiz P (z)
zQ(z) , zj
j=1
Ilustracin 6.5 (, , , )
Las acotaciones que hemos obtenido antes en los segmentos 1 , 2 y 3 siguen siendo vlidas (observa que grado (zQ(z)) grado (P (z)) + 1) por lo
que obtenemos fcilmente la siguiente acotacin anloga a la acotacin (6.9) del caso anterior:
!
Z
Z
q
Z
X
M
M
1
2 i
f (x) dx
f (z) dz
f (x) dx
+ .
(6.10)
Res f (z), zj
j=1
Tomando en esta desigualdad lmites para + y + se deduce que
2 i
q
X
Z
Res f (z), zj
Z
f (z) dz =
j=1
tenemos que
P (0)
Q(0) .
w
eit
(6.11)
f (z) dz + iw =
Como f eit
f (x) dx.
Z +
f (x) dx +
Z
f (eit )
w
eit
it
e f eit w , deducimos que
63
ieit dt.
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
(6.12)
j=1
Tomando ahora partes imaginarias y teniendo en cuenta que P y Q tienen coeficientes reales
! Z
Z
Z +
Z +
sen(x)P (x)
sen(x)P (x)
Im
f (x) dx +
f (x) dx =
dx
+
dx
x Q(x)
x Q(x)
P (0)
Q(0)
Z
lim
sen(x)P (x)
xQ(x)
por lo que
sen(x)P (x)
x Q(x)
Z +
dx +
sen(x)P (x)
x Q(x)
Z +
!
dx
sen(x)P (x)
x Q(x)
dx
concluimos que
Z +
sen(x)P (x)
x Q(x)
dx = Im 2 i
q
X
Res f (z), zj + i Res(f (z), 0) .
j=1
Ejemplo 6.20.
Z +
sen(x)
x
iz
dx = Im i Res ez , 0 = Im i lim z
z0
eiz
z
= .
6.5.1
+
X
P (n)
Q(n)
P (n)
Q(n)
q
X
P (z)
Res cotan( z) Q(z)
, zj .
j=1
Para probarlo consideremos la funcin cotan( z). Dicha funcin tiene un polo simple en cada
entero k Z y lim (z k ) cotan( z) = 1.
zk
64
P (z)
Aplicamos el teorema de los residuos a la funcin f (z) = cotan( z) Q(z) y al camino cerrado
(es un cuadrado)
n = [(n +
1
1
1
1
)(1 i), (n + 12 )(1 i), (n + 2 )(1 + i), (n + 2 )(1 + i), (n + 2 )(1 i)]
2
Z
q
n
X
X
f (z) dz = 2 i
Res(f (z), k) +
Res(f (z), zj ) .
n
k=n
(6.13)
j=1
Como para k Z es
P (z)
=
Res(f (z), k) = lim (z k) cotan( z) Q(z)
zk
P (k)
= Q(k)
cos(k ) lim
zk
zk
sen( z)
lim
n
X
k=n
P (k)
Q(k)
+
X
k=n
P (k)
Q(k)
P (k)
Q(k)
cos( z)
lim (z k) sen(
z)
zk
1
cos(k ) cos(k
) =
P (k)
Q(k)
P (n)
Q(n)
q
X
P (z)
, zj .
Res cotan( z) Q(z)
j=1
1
n2 +2
1
1
= Res cotan( z) z2 +
2 , i Res cotan( z) z 2 +2 , i
=
e +e
e e
De donde
1
n2 +2
1
2
e +e
e e
1
2
n=1
1
n2
= lim
n=1
1
n2 +2
1
0 2
= lim
n=1
e +e
e e
1
2
2
6
6.5.2
+
X
(1)n
P (n)
Q(n)
Suponemos que
a) P y Q son funciones polinmicas sin factores comunes.
b) grado(Q) grado(P ) + 1.
c) Q(k) 0 para todo k Z.
En estas condiciones si {z1 , z2 , . . . , zq } es el conjunto de los ceros del polinomio Q se verifica que
+
X
P (n)
(1)n Q(n)
=
q
X
P (z)
Res cosec( z) Q(z)
, zj .
j=1
65
Ejercicios
6.6 Ejercicios
Ejercicio 6.1
Calcula la integral
ez dz
3
z(1z)
Ejercicio 6.2
Calcula la integral
cos(z)
2
z (z1)
Ejercicio 6.3
Calcula
sen(2z)
2
2
C(0,1) (z /4) (z +9)
dz.
Ejercicio 6.4
Calcula
dw
m
C(0,r ) (wa)(wb)
Ejercicio 6.5
Dado n N, calcula las siguientes integrales:
Z
Z
sen(z)
dz
;
n
z
C(0,1)
C(0,1)
ez ez
zn
Z
dz ;
C(1, 21 )
log(z)
zn
dz.
Ejercicio 6.6
Sean a, b C tales que |a| < |b|. Obtngase el desarrollo en serie de Laurent de la funcin
1
, con z C \ {a, b} en cada uno de los anillos :
f (z) = (za)(zb)
a)
b)
c)
d)
Ejercicio 6.7
Obtngase el desarrollo en serie de Laurent de la funcin f (z) =
los anillos A(1; 0, 2) y A(1; 2, +).
1
(z2 1)2
Ejercicio 6.8
Clasificar las singularidades de las funciones f : C siguientes:
(n N),
a) f (z) = 1cos(z)
zn = C
1
n
b) f (z) = z sen z
= C (n N),
c) f (z) =
log(1+z)
z2
= C \ {x R : x 1},
66
con z C \ {1, 1} en
d) f (z) =
e) f (z) =
1
z(1e2 iz )
z
tan( z)
Ejercicios
= C \ Z,
= C \ Z.
Ejercicio 6.9
Prueba, usando el teorema de los residuos, que para 0 < b < a se tiene:
Z
p
sen2 (t)
2
2 .
a+b cos(t) dt = b2 a a b
0
67
68
Series de Fourier
Introduccin
Series de Fourier
7
7.1 Introduccin
Los sucesos que se repiten con una cierta periodicidad son relativamente comunes en la naturaleza.
Piensa, por ejemplo, en las olas en el mar, las estaciones a lo largo del ao, la transmisin del
sonido, el pndulo de un reloj, las seales electromagnticas emitidas por una antena, etc. Tambin
podemos fijarnos en fenmenos que dependen de ms variables como las sombras que se producen
con la difraccin de un par de haces de luz. Aunque todos estos sistemas sean ms o menos cclicos,
esto no quiere decir que sean fciles de describir o modelar.
Las series de Fourier y la transformada de Fourier han jugado y continan jugando un papel fundamental en el estudio de estos problemas y el desarrollo de las Matemticas tal y como hoy las
conocemos.
El problema de la representacin de una funcin mediante una suma, posiblemente infinita, de funciones sinusoidales surge en el siglo XVIII de la mano de numerosos cientficos como DAlembert,
D. Bernoulli o Fourier entre otros, para intentar resolver ecuaciones diferenciales asociadas a fenmenos fsicos como el movimiento de una cuerda o la transmisin del calor.
A la hora de estudiar fenmenos peridicos tenemos dos frentes abiertos. Por un lado es necesario
un conocimiento de las leyes fsicas que gobiernan el sistema que queremos modelar, ya se trate
del movimiento de un fluido para estudiar las olas del mar o cal es la relacin entre la electricidad,
el magnetismo, voltajes, resistencias y lo que sea necesario para estudiar una seal elctrica. En
este punto no vamos a entrar aunque a veces en los ejemplos aparezca algunas de estas leyes. A
nosotros nos interesa ms el aspecto matemtico del problema. Cmo podemos describir uno de
estos sistemas? El principio que vamos a aplicar es el de divide y vencers. Intentaremos describir
el problema en trminos sencillos utilizando senos y cosenos y despus combinaremos funciones
de este tipo para obtener sistemas ms complicados.
69
Funcin peridica
Fenmenos peridicos
Series de Fourier
sen(nt + ), cos(nt + )
son peridicas con periodo fundamental T =
La suma de funciones peridicas es peridica?
2
.
Observacin 7.3. En un primer vistazo parece claro que si la grfica de una funcin se repite cada
vez que avanzamos T1 unidades y la de la segunda funcin se repite cada T2 unidades, entonces
la suma de ambas funciones tambin se acabar repitiendo.
Si miramos un poco ms despacio e intentamos buscar el periodo T de la suma de dos funciones
peridicas f y g, debera verificarse que
f (x) + g(x) = (f + g)(x) = (f + g)(x + T ) = f (x + T ) + g(x + T )
De esto se deduce que T es un periodo de f y g y por tanto, T debe ser mltiplo entero de T1 y
T2 . No es difcil comprobar que si T1 , T2 Q, entonces no hay ningn problema. Pero, en general,
la suma de dos funciones peridicas no es una funcin peridica: por ejemplo cos(t) + cos( 2t).
Funciones sinusoidales
Uno de los ejemplos ms clsicos de comportamiento peridico y que, probablemente, recordars
de tus clases de Fsica es el oscilador armnico. Se trata de describir el movimiento de un peso
colgado de un muelle. Dicho movimiento viene descrito por una funcin de la forma:
A sen(2 t + ).
A representa la amplitud, es la frecuencia medida en ciclos por segundo (Herzios) y la fase
es . Se suele usar tambin el nombre de frecuencia angular para referirse a 2
. Se comprueba
1
fcilmente que el periodo de esta funcin es T = :
1
1
A sen 2 (t + ) + =A sen 2 t + 2 +
.
=A sen(2 t + + 2 )
=A sen(2 t + )
Si nos olvidamos de la fase, los ejemplos ms sencillos de funciones sinusoidales son las funciones
sen(x) y cos(x) que tienen perodo 2 . Es fcil dar ejemplos de funciones que tengan perodo T :
es cuestin de encoger o estirar estas funciones. Las funciones sen(n x/T ) y cos(n x/T ) son
peridicas con perodo 2T y, por tanto, las funciones sen(2n x/T ) y cos(2n x/T ) son peridicas
con perodo T .
Aunque lo olvidemos a veces, las funciones cons1
tantes tambin son peridicas, de hecho con cualquier perodo.
Cuando intentamos describir fenmenos peridiT
T2
2
cos algo ms complejos es necesario recurrir a combinaciones lineales de funciones sinusoidales de la
1
forma anterior, esto es, funciones del tipo
Ilustracin 7.1 Funciones peridicas
N
N
X
X
An sen(n + n ),
Bn cos(n + n )
n=1
n=1
o sumas de ambas.
Para trabajar con funciones de esta clase, se puede retocarlas un poco para obtener periodo
uno. Ya veremos como un simple cambio de variable nos permitir pasar a intervalos cualesquiera
cuando sea necesario. En este caso tendramos sumas del tipo
70
Series de Fourier
Un poco de historia
N
X
An sen(2 nt + n )
n=1
Esta forma de escribir sumas trigonomtricas tiene la ventaja de presentar de forma explcita la
amplitud, frecuencia y fase. El inconveniente es la dificultad del clculo de dichos coeficientes. La
forma usual de escribir una suma trigonomtrica es
a0
2
N
X
n=1
a0
2
1
2 a0
N
X
n=1
La cuerda vibrante
A principios del siglo XVIII, el Clculo est firmemente establecido dentro las Matemticas y ya
ha demostrado su utilidad en la resolucin de numerosos problemas en Mecnica. Por ejemplo,
71
Polinomio trigonomtrico
Un poco de historia
Series de Fourier
Isaac Newton (1643-1727) lo ha utilizado para deducir las leyes de Kepler sobre el movimiento de
los planetas. Sin embargo, sus aplicaciones estn principalmente dirigidas a sistemas simples. Problemas ms complejos como el movimiento de muchos cuerpos, el estudio de fluidos, de cuerpos
elsticos o de vibraciones requeran tcnicas ms elaboradas.
El problema del movimiento de una cuerda elstica sujeta por sus extremos era uno de los que ms
interesaban a los cientficos de aquel tiempo. Los medios continuos se modelaban con un nmero
finito de partculas n y despus se haca tender n a infinito. En el problema de la cuerda vibrante se
pretende describir el movimiento de una cuerda sujeta por sus extremos. Tambin supondremos
que el peso de la cuerda es nulo, que la cuerda es elstica y que no hay friccin. Esta es la situacin,
por ejemplo, que se presenta cuando consideramos las cuerdas de un piano de cola donde la masa
es despreciable en comparacin con la tensin que soporta.
Johann Bernoulli (1667-1748) estudi este problema en su versin simplificada con una cuerda que
constaba de 8 partculas. En 1747, Jean le Rond dAlembert (1717-1783), utilizando el caso discreto
general con n partculas y tomando lmites, dedujo que se deba verificar la ecuacin diferencial
2u
t 2 (x, t)
p
donde c = T /M, T es la tensin de la cuerda y M su masa. Ms concretamente, supongamos que
tenemos una cuerda de longitud , con los extremos fijos en (0, 0), ( , 0). Se tira de la cuerda
hasta que tenga la forma dada por la curva y = f (x) y se suelta. La pregunta es cul es el
movimiento descrito por la cuerda? Dicho movimiento vendr dado por una funcin u(x, t), donde
u(x, t) representa el desplazamiento vertical en un punto x entre 0 y en un momento dado
t 0. En otras palabras, para un valor fijo t, u(x, t) es la curva que representa la cuerda en dicho
momento. Nuestro problema es calcular u(x, t) a partir de f (x). Ms concretamente, la funcin u
debe verificar
2
2
u(x,t)
= u(x,t)
0 < x < , t > 0
t
x 2 ,
u(x, 0) = f (x)
(7.1)
u(x,0)
=0
0x
u(0, t) = u(L, t) = 0 t 0
La primera condicin es una ecuacin en derivadas parciales conocida como Ecuacin de ondas.
Las tres siguientes son condiciones sobre la posicin de la cuerda.
DAlembert demostr que la solucin general viene dada por
u(x, t) =
1
2
[(x + t) + (x t)]
donde y son funciones arbitrarias con derivadas de segundo orden continuas. Utilizando la
fe(x+ct)+fe(xct)
condicin inicial, obtuvo que la solucin tena la forma u(x, t) =
donde slo se
2
e
supona que f era una extensin par y peridica de f . El hecho de que esta formula tenga sentido
sin ninguna hiptesis de regularidad de la funcin f planteaba serias dudas a DAlembert. Independientemente, Euler tambin haba llegado a la misma conclusin, aunque ambos tenan serias
divergencias en cuanto a qu funciones se podan tomar como condicin inicial. Hay que tener
en cuenta que el concepto de funcin, tal y como hoy lo conocemos, no estaba nada claro. Como
ejemplo, las funciones definidas a trozos no eran aceptadas como funciones por DAlembert y s
por Euler.
En 1753, Daniel Bernoulli, junto con su padre Johann Bernoulli y su to paterno Jakob, propone otra
manera distinta de obtener una solucin del problema motivada por sus estudios en Acstica. La
idea consiste en descomponer la solucin u(x, t) como suma de funciones simples de la forma
72
Series de Fourier
Un poco de historia
u(x, t) =
an sen(nx) cos(nt).
n=1
De nuevo hay que observar que los conceptos de convergencia de series de funciones no estaban
planteados en aquel momento. A fin de cuentas, el problema fsico estaba claro que tena solucin y
por tanto la suma deba tener sentido. Obsrvese tambin que si la solucin ofrecida por Bernoulli
fuese correcta se tendra que
f (x) = u(x, 0) =
an sen(nx), x [0, ].
n=1
El hecho de que funciones de muy diverso tipo se pudieran expresar como suma de funciones
peridicas no fue compartido por sus colegas DAlembert y Euler. Veremos en este tema quin
estaba ms cerca de la verdad.
7.3.2
u(x, 0) = f (x),
0xL
La primera condicin es una ecuacin en derivadas parciales conocida como Ecuacin del calor.
La segunda condicin indica que la temperatura en los extremos se mantiene a 0 C siempre. La
ltima es la temperatura inicial de la varilla y K es una constante positiva que depende de las
propiedades termales de la barra.
Para buscar la solucin, Fourier supuso que era de la forma u(x, t) = f (x)g(t). Sustituyendo en
la ecuacin (7.2) obtenemos que
0=
2u
x 2
1 u
K t
= f 00 (x)g(t)
1
0
K f (x)g (t).
Como la solucin u(x, t) = 0 no nos interesa, debe verificarse que f (x), g(t) 0 y, por tanto,
dividiendo en ambos lados por el producto f (x)g(t) y separando trminos en x de trminos en t
se llega a que:
f 00 (x)
f (x)
1
K
g 0 (t)
g(t)
Como ambos miembros dependen de variables distintas, la nica posibilidad es que ambos sean
constantes (ya veremos cunto vale dicha constante). Por ahora y por comodidad la denotaremos
:
f 00 (x)
f (x)
1 g 0 (t)
K g(t)
73
= ,
Un poco de historia
Series de Fourier
con lo que hemos transformado nuestra ecuacin original en dos ecuaciones diferenciales:
f 00 (x)
f (x)
= = f 00 (x) + f (x) = 0,
(7.3)
= = g 0 (t) + Kg(t) = 0.
(7.4)
y
1 g 0 (t)
K g(t)
La ecuacin (7.4) ya la conoces y tiene como solucin general g(t) = aeKt . Desde un punto de
vista fsico sera deseable que la temperatura de la barra fuera descendiendo al pasar el tiempo
para lo que debe ser positivo tambin. La solucin general de la ecuacin (7.3) tambin la conoces:
p
p
f (x) = a1 sen x + a2 cos x ,
donde a1 y a2 son constantes. Combinando estas dos expresiones, tenemos que
p
p
u(x, t) = aeKt a1 sen x + a2 cos x .
Para acabar de resolver el problema necesitaramos conocer los valores de a, a1 , a2 y y para esto
vamos a utilizar las condiciones que tenamos en la ecuacin del calor (7.2). En primer lugar,
u(0, t) = u(L, t) = 0 = f (0)g(t) = f (L)g(t) = 0, t > 0,
y como g(t) 0, se tiene que f (0) = f (L) = 0. Si sustituimos en la definicin de f ,
p
p
0 = f (0) = a1 sen 0 + a2 cos 0 = 0 + a2 = a2 .
Si a2 = 0, entonces a1 debe ser distinto
para que f no sea constantemente cero. Adems
de cero
n2 2
L2
= n .
En consecuencia, para cada entero n tenemos un posible valor de . Dicho de otra forma,
q
f (x) = a1 sen
n x
es solucin de f 00 (x) + n f (x) = 0, f (0) = f (L) = 0. Resumiendo, cualquier funcin de la forma
un (x, t) = a1 sen
n x
L
Kn2 2 t
L2
verifica la ecuacin del calor y la primera condicin. Adems cualquier combinacin lineal tambin
las verifica. Por tanto
u(x, t) =
N
X
bn un (x, t) =
N
X
bn a1 sen
n x
L
Kn2 2 t
L2
n=1
n=1
N
X
bn a1 sen
n x
L
n=1
No es cierto que cualquier funcin se escriba de esta forma ni mucho menos. El acierto de Fourier
fue sustituir la suma finita por una suma infinita. Ya habamos comentado que esta idea haba
74
Series de Fourier
Series de Fourier
sido avanzada por Bernoulli en su solucin del problema de la cuerda vibrante. El paso dado por
Fourier en su libro sobre la teora del calor fue demostrar que, efectivamente, la serie infinita era
convergente para convenientes coeficientes y calcul su valor en numerosos casos.
La historia de las series de Fourier no acaba aqu. De hecho, continua hasta nuestros das. Las ideas
expuestas por Fourier suscitaron una gran cantidad de nuevas preguntas:
a) Qu funciones se pueden desarrollar de esta manera?
b) Cmo se calculan los coeficientes?
c) En qu sentido se entiende la convergencia de la serie?
d) Cmo se recupera la funcin a partir del conocimiento de los coeficientes?
e) Qu deben verificar los coeficientes para que den lugar a una funcin?
f) . . .
(7.5)
n1
donde 0 = 2 /T . A las series de funciones la forma (7.5), las llamaremos series trigonomtricas.
Hemos visto que la posibilidad de que una funcin peridica se pueda expresar como suma de
funciones peridicas ms sencillas, en este caso series trigonomtricas, tiene una gran repercusin
en la solucin del problema de la difusin del calor.
Cules sern estas funciones? Comencemos con una funcin f peridica con perodo T y notemos
0 = 2 /T . Supongamos que se cumple que
X
f (t) = C +
(7.6)
n1
Utilizando que
sen(x) cos(y) =
cos(x) cos(y) =
1
2
1
2
sen(x) sen(y) =
sen(x + y) + sen(x y) ,
cos(x + y) + cos(x y) , y
1
2
cos(x y) cos(x + y)
se obtiene lo siguiente.
Proposicin 7.5.
a)
b)
c)
d)
e)
T /2
T /2
T /2
T /2
T /2
T /2
T /2
T /2
T /2
T /2
cos(n0 t) sen(m0 t) dt = 0, n, m N,
T /2,
0,
T /2, si m = n,
0,
si m n
cos(n0 t) cos(m0 t) dt =
sen(n0 t) sen(m0 t) dt =
cos(n0 t) dt =
si m = n,
si m n
T , si n = 0,
0, si n 0
sen(n0 t) dt = 0.
75
(7.7)
Series de Fourier
Series de Fourier
T /2
T /2
T /2
T /2
T /2
T /2
T /2
T /2
cos(n0 t) dt =
i
sen(n0 t) T /2
n0
T /2
= 0.
iT /2
h
0 t)
= 0.
sen(n0 t) dt = cos(n
n0
T /2
cos2 (n0 t) dt =
1 T /2
2 T /2 (1 + cos(2n0 t))
dt =
1
2
h
t+
i
sen(2n0 t) T /2
2n0
T /2
= T /2.
sen2 (n0 t) dt =
1 T /2
2 T /2 (1 cos(2n0 t))
dt =
1
2
h
t
i
sen(2n0 t) T /2
2n0
T /2
= T /2.
T /2
h
i
1 T /2
2 T /2 sen (n + m)0 t + sen (n m)0 t
dt = 0, pa-
cos(n0 t) cos(m0 t) dt =
h
i
1 T /2
cos
(n
+
m)
t
+
cos
(n
m)
t
0
0
2 T /2
dt = 0, y
sen(n0 t) sen(m0 t) dt =
h
i
1 T /2
cos
(n
m)
t
cos
(n
+
m)
t
0
0
2 T /2
dt = 0.
sen(n0 t) cos(m0 t) dt =
T /2
ra n, m N.
T /2
T /2
T /2
T /2
Esto se suele resumir diciendo que las funciones sen(n0 t) y cos(n0 t) son ortogonales. Pero
no olvidemos que queramos calcular el valor de los coeficientes C, an y bn .
Si multiplicamos la igualdad (7.6) por cos(m0 t) e integramos,
Z T /2
Z T /2
C+
f (t) cos(m0 t) dt =
(an cos(n0 t) + bn sen(n0 t)) cos(m0 t) dt
T /2
T /2
n=1
Z T /2
=C
T /2
cos(m0 t) dt +
X
n=1
Z T /2
an
T /2
cos(n0 t) cos(m0 t) dt
Z T /2
bn
n=1
T /2
sen(n0 t) cos(m0 t) dt
2
T
Z T /2
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
1
T
Z T /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
f (t) dt,
a0 = 2C = T2
T /2
con lo que
76
Series de Fourier
Series de Fourier
2
T
am =
Z T /2
T /2
para n = 0, 1, 2, . . .
Definicin 7.6. Sea f : R R una funcin peridica con perodo T . Llamaremos coeficientes de
Fourier a los siguientes nmeros (si existen):
Z T /2
2
an = T
f (t) cos(n0 t) dt, para n = 0, 1, 2, . . . , y
Coeficientes de Fourier
T /2
bn =
2
T
Z T /2
T /2
Serie de Fourier
an cos(n0 t) + bn sen(n0 t) .
n=1
a0
2
an cos(n0 t) + bn sen(n0 t)
n=1
Por ahora no sabemos si se da la igualdad. De hecho, ni siquiera sabemos la serie se pueda sumar.
Lo que s sabemos es que esta es la nica posibilidad para desarrollar f de esta manera.
Observacin 7.7.
a) Cualquier intervalo de longitud T puede jugar el mismo papel. Por ejemplo, podramos haber
tomado el intervalo [0, T ].
b) Todas las funciones que han aparecido hasta ahora son peridicas con periodo la longitud del
h
i
intervalo y las hemos considerado definidas en el intervalo T2 , T2 (o en R). Esto puede acarrear
problemas cuando planteamos la cuestin de la siguiente
manera:
calcular los coeficientes de
h
i
T T
Fourier de la funcin f (x) = x + 1 en el intervalo 2 , 2 . Tal como est enunciado, la fun
T
cin f no es peridica. Para que as fuera deberamos definir f T2 y f 2 con un mismo
valor. Ahora bien, a la hora de calcular los coeficientes de Fourier, el valor de la integral en
un punto no influye sobre su valor y por tanto la serie de Fourier que se obtiene es la misma
independientemente del valor de la funcin en los extremos.
Parai que no
h se presente
h
heste problema,
i
i en muchos textos encontrars las funciones definidas
T T
T T
T T
en 2 , 2 , en 2 , 2 o en 2 , 2 . Nosotros hemos optado por considerar siempre las
funciones en el intervalo cerrado o en todo R, pero hay que tener en cuenta que las funciones
tienen que ser peridicas. Por esto, aunque en algn problema no aparezca el valor de la funcin
en algunos puntos, sigue teniendo perfecto sentido el clculo de los coeficientes de Fourier.
Si el desarrollo de Fourier de una funcin f es
a0
2
an cos(n0 t) + bn sen(n0 t)
n=1
a
77
Series de Fourier
Series de Fourier
(
n =
arctan
2,
bn
an
, si an 0
si an = 0 .
q
2
La amplitud del n-simo armnico es a2n + bn
y la fase es n .
Los coeficientes de Fourier, la amplitud y el ngulo de fase son datos muy importantes a la hora de
representar una seal. Adems de la representacin usual de la seal como una funcin, podemos
representar las amplitudes (espectro discreto de amplitudes) o las fases (espectro discreto de fases)
cuando en el eje de abscisas representamos las frecuencias .
Ejemplo 7.8. Calcular la serie de Fourier de la funcin
0, si < x < /2
f (x) =
1, si /2 < x <
De acuerdo con la definicin de los coeficientes de Fourier
Z
dx = 32 ,
a0 = 1
/2
an = 1
cos(nx) dx = sen(nx)
n
/2
n1
(1) 2
, si n es impar
n
=
0,
si n es par,
i
/2
cos 2
n
sen 2
n
y
bn = 1
(
=
Z
sen(nx) dx =
/2
1
n ,
1
n/2 ],
n [1 (1)
i
cos(nx)
n
/2
cos(n )
n
si n es impar
si n es par
Por tanto,
f (x) 34 +
= 34 +
cos(x) + sen(x) sen(2x)
1
2n1
1
3
cos(3x) +
1
3
sen(3x) + . . .
h
i
(1)n1 cos((2n 1)x) + sen((2n 1)x) sen((4n 2)x)
n=1
Para n 1,
Z5
an =
Z6
cos(n (x 5)) dx +
Z5
bn =
2 cos(n (x 5)) dx = 0, y
5
Z6
sen(n (x 5)) dx +
(
2 sen(n (x 5)) dx =
5
3
2
1
2n1
sen[(2n 1) (x 5)].
n1
78
0,
2
n ,
si n es par
si n es impar
Series de Fourier
Series de Fourier
a0
2
4
T
P
+
n=1 an cos(n0 t), donde
Z T /2
f (x) cos(n0 t) dt , n = 0, 1, 2, . . .
0
bn =
4
T
donde
Z T /2
f (t) sen(n0 t) dt , n = 1, 2, 3, . . .
Ejemplo 7.11. La funcin f (x) = x en [ , ] es impar. Por tanto, su serie de Fourier slo
tiene coeficientes en senos.
Z
Z
cos(nx)
x sen(nx) dx = 2 x cos(nx)
+
dx
bn = 2
n
n
=
Por tanto, f (x)
0
2 cos(n )
n
n+1
2 (1)
n
n+1
2 (1)
n
sen(nx).
n=1
2
3
2
grfica (figura 7.2) puede dejarnos las cosas ms claras.
Ilustracin 7.2 f (x) = x
Fjate que cuando decimos la funcin x 2 en realidad estamos diciendo: la funcin que vale x 2 en [ , ] y que hemos extendido de forma 2 -peridica.
Existen muchas formas de extender por periodicidad una funcin dada. Supongamos por ejemplo
que f es la identidad en [0, ], esto es f (x) = x, que tenemos en la figura 7.3. Entre otras, podemos
considerar entonces las funciones f1 , f2 , f3 : [ , ] R definidas por
(
(
f (x + ), si x < 0
f (x), si x < 0
f1 (x) =
f2 (x) =
f (x),
si 0 x
f (x),
si 0 x
(
y f3 (x) =
f (x), si x < 0
f (x),
si 0 x
79
Series de Fourier
Series de Fourier
f (x) = x
Funcin f1
Funcin f2
Funcin f3
7.4.1
ein0 t + ein0 t
,
2
sen(t) =
ein0 t ein0 t
2i
Si desarrollamos
cn ein0 t =c0 +
n=
=c0 +
=c0 +
cn ein0 t +
n=1
cn ein0 t
n=1
n=1
n=1
n=1
X
n=
cn ein0 t =
a0
2 ,
cn =
X
a0
+
[an cos(n0 t) + bn sen(n0 t)]
2
n=1
80
1
2
(an ibn ) y
Series de Fourier
Series de Fourier
Obsrvese que los coeficientes cn son ahora nmeros complejos que verifican cn = cn y, en
particular, |cn | = |cn |.
Tambin podramos haber calculado los coeficientes de Fourier complejos utilizando el mismo
truco que usamos para calcular an y bn , esto es, si suponemos que
f (t) =
cn ein0 t
n=
y que todo lo que aparece se puede integrar trmino a trmino. Multipliquemos ambos miembros
por ek0 t e integramos. As se obtiene el valor de los coeficientes cn
Definicin 7.12. Sea f una funcin peridica con perodo T y frecuencia fundamental 0 =
Entonces los coeficientes de Fourier complejos de f son
Z T /2
f (t)ein0 t dt, para n Z.
cn = T1
2
T .
T /2
Los coeficientes de Fourier complejos los hemos calculado usando exponenciales complejas y pueden ser complejos. En segundo lugar, obsrvese que la definicin tiene perfecto sentido para funciones con valores complejos. De hecho, aunque nicamente afirmamos que f es una funcin
peridica, el enunciado completo sera
Sea f : R C una funcin peridica con perodo T . . .
Sea f : R C una funcin peridica con perodo T y frecuencia fundamental
X
0 = 2 /T . La serie de Fourier compleja de f es
cn ein0 t .
Definicin 7.13.
n=
Observacin 7.14.
Existe una gran cantidad de literatura sobre las series de Fourier. Quiz la
notacin ms usual para los coeficientes de Fourier que el lector se puede encontrar fb(n) para
denotar a dichos coeficientes, esto es, fb(n) = cn , con lo que
f (t)
fb(n)ein0 t .
n=
Para n 0,
Z
1
f (t)ein0 t dt = 2
tein0 t dt
T /2
Z
h
i
1
= 2in
teint
eint dt
1
1
in
in
= 2in e
+ e
+ in
ein ein
1
2
= 2in
2 cos(n ) n
sen(n )
cn = T1
Z T /2
= 1
in cos(n )
i
= n (1)n .
81
Series de Fourier
7.4.2
Pulso rectangular
Series de Fourier
T
2 2
T
2
T /2
ia/2
1 ein0 t
T in0 a/2
Funcin triangular
1
T
a/2
T /2
T /2
2
T n0
f (t) dt =
1
T
a/2
a/2
1 dt =
a
T.
sen(n0 a/2)
T n0
Ejemplo 7.17. La funcin triangular peridica con periodo T est definida como
(
1 |t|
a , si |t| a,
f (x) =
0,
para a |t| T /2.
1
a
T2 2
1
a
2
T
2
Za
Z0
t
1 at ein0 t dt
=
1 + a ein0 t dt +
0
a
Za
2
t
=T
1 a cos(n0 t) dt ( integramos por partes)
0
Za
a
1
1
1 at sen(n0 t) + a
sen(n0 t) dt
= T2 n0
0
2(1cos(n0 a))
=
n2 w02 aT
2
0 a/2)
y usando que 1 cos(2x) = 2 sen2 (x), cn = 4 senn2(n
.
20 aT
T /2
f (t) dt = Ta .
Es inmediato comprobar que c0 = T1
T /2
Funcin diente
82
2t
T .
Series de Fourier
1
T2
3T
2
T
2
3T
2
1
T2
Z T /2
2tein0 t dt =
T /2
i(1)n
n
si n 0 y c0 = 0.
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
Series de Fourier
xxi+
xxi
Diremos que f es derivable a trozos si es derivable salvo en un conjunto finito de puntos en los
que existen derivadas laterales.
Ejemplo 7.24.
a) La funcin f : [0, 10] R definida como
si 0 x 5
x,
f (x) = 3x + 1, si 5 < x < 7
2
x x, si 7 x 10
es continua a trozos. Es continua salvo en 5, 7 y 10, pero en dichos puntos los lmites laterales
existen.
b) La funcin f : [0, 1] R definida como
0,
si x = 0
f (x) =
1/x, si 0 < x 1
no es continua a trozos. Es continua en todos los puntos salvo en el origen, pero no tiene
lmite en 0.
Las funciones continuas a trozos son integrables. Adems, la integral la podemos calcular como
suma de integrales en cada uno de los intervalos donde la funcin es continua.
Si nos restringimos a este tipo de funciones no hay problema para el clculo de los coeficientes de
Fourier. Ahora vamos a ver cundo se puede sumar la serie de Fourier de una funcin y cunto vale
84
Series de Fourier
dicha suma. Los siguientes resultados nos ponen algunas restricciones sobre el comportamiento
de los coeficientes de Fourier.
Teorema 7.25. Sea f una funcin peridica con periodo T continua a trozos y con coeficientes de
Fourier cn . Entonces
|cn |
n=
1
T
Z T /2
T /2
Desigualdad de Bessel
f (t)2 dt.
El siguiente resultado, de gran importancia, es una simple consecuencia del hecho que la convergencia de una serie implica la convergencia a cero del trmino general.
Teorema 7.26. Sea f una funcin peridica con periodo T continua a trozos con coeficientes de
Fourier cn . Entonces lim cn = lim cn = 0.
n
Teorema de
Riemann-Lebesgue
f (t)
cn ein0 t
n=
sN (x) =
cn ein0 t ,
n=N
y queremos ver qu ocurre cuando N tiende a . La forma de calcular este lmite pasa por reescribir
la suma parcial sN como una integral. En este clculo va a jugar un papel fundamental las funciones
que se conocen como ncleos de Dirichlet. Antes de pasar a estudiar la convergencia de la serie de
Fourier, veamos la definicin y algunas propiedades de estas funciones.
Sea n un nmero natural. El ncleo de Dirichlet de orden n es la funcin Dn
n
X
definida como Dn (x) =
eik0 x .
Definicin 7.27.
k=n
Dn (x) =
eik0 x
k=n
in0 x
=e
Dn (x) = e
=e
in0 x
1
1
)0 x
i(n+ )0 x
2
2
e
1
i 1 0 x
i 0 x
e 2
e 2
i(n+
sen
sen
85
0 x
Ncleo de Dirichlet
Series de Fourier
Z T /2
T /2
Dn (x) dx =
k=n
7.7.1
Condiciones
de Dirichlet
n Z T /2
X
T /2
0
eik0 x dx =
T /2
Z T /2
1 dx = T .
(7.8)
T /2
Dn (x) dx = T /2.
Condiciones de Dirichlet
Definicin 7.28. Una funcin T -peridica f se dice que verifica las condiciones de Dirichlet si en
[0, T ] es continua salvo una cantidad finita de discontinuidades de salto y tiene un nmero finito
de mximos y mnimos locales estrictos.
Teorema 7.29. (Dirichlet, Riemann) Sea f peridica con periodo T , derivable a trozos. Entonces
la serie de Fourier es convergente y su suma es
fb(n)ein0 t =
n=
En particular, si f es continua en t,
1
2
[f (t+) + f (t)] .
fb(n)ein0 t = f (t).
n=
b
Teorema 7.31. Sean f y g funciones peridicas con periodo T derivables a trozos. Si fb(n) = g(n),
para todo n Z, entonces f = g.
El final de la historia?
Durante mucho tiempo se pens que la continuidad era una condicin suficiente para la convergencia de una serie de Fourier. De hecho, hay algunos resultados un poco ms generales que el
Teorema 7.29. En 1873 Paul Du Bois-Reymond encontr una funcin continua y acotada cuya serie de Fourier no es convergente en el origen. Hubo que esperar hasta 1966 para resolver este
problema. Carlesson demostr que si f verifica que
Z
f 2 (t) dt <
(7.9)
entonces su serie de Fourier converge salvo en un conjunto de medida cero. Al mismo tiempo, Kahane y Katznelson probaron que, dado un conjunto de medida cero arbitrario, es posible construir
una funcin continua salvo en dicho conjunto y cuya serie de Fourier no es convergente en los
puntos de dicho conjunto.
86
Series de Fourier
Si la funcin f no verifica (7.9), entonces la situacin puede ser an peor. En 1926 Andrei Kolmogorov construy una funcin integrable, con cuadrado no integrable y cuya serie de Fourier no
converge en ningn punto.
7.7.2
4 cos(x)
+ 2 sen(x)
2
para n = 2
1+
4 cos(x)
+ 2 sen(x) sen(2x)
2
para n = 3
1+
4 cos(x)
+ 2 sen(x) sen(2x)
2
4
2
cos(3x) + sen(3x)
9
3
para n = 4
4 cos(x)
+ 2 sen(x)
2
4
2
sen(2x)
cos(3x) + sen(3x)
9
3
1
sen(4x)
2
1+
87
Otras propiedades
Series de Fourier
para n = 5
4 cos(x)
+ 2 sen(x)
2
4
2
sen(2x)
cos(3x) + sen(3x)
9
3
1
sen(4x)
2
4
2
cos(5x) + sen(5x)
25
5
1+
X
b
b k).
f (t)g(t), entonces h(n)
=
fb(k) g(n
Teorema 7.32.
k=
Convolucin
Identidad de Parseval
Vamos a ver que la desigualdad de Bessel es una igualdad en muchas ocasiones.
Identidad
de Parseval
X
1
b
f (t)g(t) dt =
fb(n)g(n).
T
T /2
n=
n=
Derivacin
Teorema 7.37. Sea f una funcin peridica con periodo T derivable a trozos y continua. Suponc0 (n) = in0 fb(n) y, por tanto,
gamos adems que f 0 es derivable a trozos. Entonces f
88
Series de Fourier
Otras propiedades
f 0 (t+)+f 0 (t)
2
in0 fb(n)ein0 t .
n=
Integracin
Sea f una funcin peridica con periodo T derivable a trozos. Supongamos que
t
fb(0) = 0. Entonces la funcin h definida como h(t) =
f (x) dx es peridica con periodo T .
Teorema 7.38.
Adems h(t) =
T /2
in0 t
b
h(n)e
, donde
n=
fb(n)
in0 ,
b
X
h(n)
=
si n 0,
n=,n0
7.8.1
(1)n fb(n)
,
in0
si n = 0.
El fenmeno de Gibbs
Al igual que con el polinomio de Taylor, en la prctica utilizaremos nicamente una cantidad finita
de trminos de la serie de Fourier para aproximar una funcin. Cabe preguntarse cmo de rpida
es la convergencia de los trminos de la serie de Fourier a la funcin.
Orden 8
Orden 15
Orden 8
ampliado
Orden 15
ampliado
Ilustracin
= x
Veamos un caso concreto. Vimos en el Ejemplo 7.11 que la funcin f (x) = x en [ , ] tena el
siguiente desarrollo de Fourier:
f (x)
n+1
2 (1)
n
sen(nx)
n=1
Utilizando el Teorema 7.29, se tiene que la serie es convergente en todos los puntos del intervalo
abierto (la funcin es continua en esos puntos), esto es
89
Series de Fourier
x=
(1)n+1
n
sen(nx), x ] , [
n=1
En la Figura 7.7 se puede ver como cerca de los puntos donde falla la continuidad, y , las
sucesivas aproximaciones dadas por la serie de Fourier siguen teniendo un error digno de tener en
cuenta.
En 1898 Albert A. Michaelson y S. W. Stratton pusieron de manifiesto este hecho en la revista Nature:
la convergencia de la serie no es buena cerca de los puntos de discontinuidad. Comprobaron el
desarrollo de orden 160 de la serie de Fourier y an haba grandes diferencias entre la funcin y su
serie. No hubo que esperar mucho tiempo para encontrar el motivo. La explicacin la dio el profesor
Josiah Willard Gibbs en lamisma revista al ao siguiente. Gibbs demostr que la amplitud de la
sen(t)
1
dt 0.089 veces el tamao del salto, o sea, aproximadamente
oscilacin tiende a ser 2
t
0
un 9% del tamao del salto.
y
N
X
sN (x) = 12 a0 +
n=1
1
N+1
N
X
sn (x)
n=0
Recordemos que tenamos una frmula para calcular sN (x) por medio de los ncleos de Dirichlet:
Z
1
f (t)DN (t x) dt
sN (x) = 2
Obsrvese que si tomamos D0 constantemente igual a uno entonces la igualdad tambin es cierta
para N = 0. Por tanto
1
N (x) = N+1
1
Teorema de Fejr
donde FN =
1
N+1
PN
n=0 DN ,
1
2
n=0
Z
= 2
Ncleo de Fejr
N
X
f (t)DN (t x) dt
f (t)FN (t x) dt
f (x+)+f (x)
2
90
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.
7.9.1
convergencia orden 3
sumabilidad orden 3
91
Series de Fourier
u
t
= K xu2
(7.10)
donde K es una constante que depende del tipo de suelo. Supondremos que la temperatura es una
funcin peridica con periodo T igual a un ao. Como siempre = 2 /T denotar la frecuencia
angular. Usando el mtodo de separacin de variables hemos visto que la solucin es
u(x, t) =
a0
2
q
n
an exp 2K x cos (nt + n (x)) ,
n=1
donde n (x) = n
n
2K x,
y
f0 (t) =
a0
2
an cos(nt + n ).
n=1
Hemos expresado la solucin como una suma infinita en la que los trminos decrecen exponencialmente. Cuanto mayor sea n, menor ser el valor del correspondiente sumando. Si slo nos
fijamos
q y nos olvidamos del resto, el cambio de fase 1 (x) y la atenuacin
qen elprimer armnico
x dependen de 2K
. Para dar algn dato ms concreto nos hace falta conocer K. Exexp 2K
perimentalmente se determina y, por ejemplo, K = 2 103 cm2 s1 para un suelo ordinario. T es
365 24 60 60 s. Para x = 450 cm obtenemos que el cambio de fase es aproximadamente o,
dicho de otra manera, la temperatura a dicha profundidad muestra un desfase de T2 (medio ao).
El factor de atenuacin es alrededor de e 1/16.
Si tomamos como T un da (24 3600 s) los resultados son algo distintos. Sigue existiendo un
desfase de aproximadamente la mitad del periodo (medio da). En cambio, slo es necesario llegar
a una profundidad de 25 cm para que el coeficiente de atenuacin sea 1/16. Esto quiere decir que
los cambios diarios de temperatura apenas penetran en el terreno.
7.10.2
La desigualdad isoperimtrica
Cul es la curva cerrada del plano que encierra un rea mayor? Parece lgico pensar que es la
circunferencia pero de ah a demostrarlo hay un trecho. Veamos cmo podemos resolver este
problema.
Consideremos una curva : [0, 2 ] C cerrada, derivable y con derivada continua. La longitud
de dicha curva es
Z 2
0
(t) dt.
L=
0
Reparametrizando, podemos suponer que L = 2 y que 0 (t) = 1. El rea encerrada por la curva
es
Z 2
1
A = 2i
(t) 0 (t) dt.
0
92
Series de Fourier
Como verifica las condiciones de Dirichlet, coincide con su desarrollo de Fourier. Adems,
b
b
podemos suponer que (0)
= 0. Si no, la curva (0)
es una traslacin de la curva y que, por
tanto, tiene la misma longitud y encierra la misma rea. Los coeficientes de Fourier de y de 0
son fcilmente calculables:
Z 2
1
b
b
(n)
= 2
(t)eint dt = (n),
0
c0 (n) = in(n),
b
segn vimos en el Teorema 7.37. Por tanto,
y
!
!
Z 2
X
X
1
imt
int
b
b
(n)e
im(m)e
dt
A = 2i
0
n=
m=
2
.
b
n (n)
n0
Z 2
L = 2 =
dt =
0
X
0 2
2
(t) dt = 2
.
b
n2 (n)
n0
(7.11)
2
= 0,
b
(n2 n) (n)
n0
2
it , que es la circunferencia
= 0 para n 0, 1. En ese caso, (t) = (1)e
b
b
o sea, si, y slo si, (n)
.
b
de radio (1)
Proposicin 7.41.
Desigualdad isoperimtrica
4 A L2
y la igualdad se da si, y slo si, es una circunferencia.
Demostracin. Aplicamos la discusin anterior a la curva (t) = 2
L (t) que tiene longitud 2 y
2
2
encierra un rea A L
. Por tanto, aplicando (7.11) tenemos que
0 A
2
L
2
o, lo que es lo mismo, 4 A L2 .
7.10.3
93
Ejercicios
Series de Fourier
U(t)
a0
2
an cos(nt) + bn sen(nt),
n=1
a0
2
an r n cos(n) + bn r n sen(n).
n=1
7.11 Ejercicios
Ejercicio 7.1
Comprobar que la definicin de los coeficientes de Fourier se puede utilizar el intervalo [0, T ]
en lugar de [T /2, T /2].
Solucin 7.1
Ejercicio 7.2
Calcular la serie de Fourier de la funcin
1, si < x < 0,
f (x) =
1,
si 0 < x <
Solucin 7.2
Tomando f (0) = 0,
f (x)
4 X sen(2n + 1)x
n=0
2n + 1
Ejercicio 7.3
Calcular la serie de Fourier de la funcin
f (x) =
1,
3,
si < x < 0,
si 0 < x <
A qu converge la serie en 0?
Solucin 7.3
f (x) 2 +
En 0 converge a
1+3
2
4 X sen(2n + 1)x
n=0
2n + 1
= 2.
Ejercicio 7.4
Calcular la serie de Fourier en cosenos de la funcin
1, si 0 < x < h,
f (x) =
0, si h < x < ,
donde h ]0, [.
94
Series de Fourier
Ejercicios
Solucin 7.4
X
2h 1
sen(nh)
f (x)
+
cos(nx)
2 n=1
nh
Ejercicio 7.5
Calcular la serie de Fourier en senos de la funcin f (x) = x( x), x [0, ]. Usar este
desarrollo para calcular la suma
1
1
33
1
53
1
73
1
93
Solucin 7.5
f (x)
Tomando x =
2,
8 X sen(2n 1)x
n=1 (2n 1)3
3
32 .
Ejercicio 7.6
Sea h un nmero entre 0 y . Calcular la serie de Fourier en senos de la funcin
si x = 0 ,
1,
2hx
,
si
0 < x < 2h
f (x) =
2h
0,
si 2h < x <
Solucin 7.6
X
sen(nh) 2
2h 1
+
cos(nx)
f (x)
2 n=1
nh
Ejercicio 7.7
x
2,
x [0, ].
x
2,
X
sen(2nx)
2n
n=1
Ejercicio 7.8
Solucin 7.8
f (x)
2 X cos(2n + 1)x
n=0 (2n + 1)2
95
x [0, ].
Ejercicios
Series de Fourier
Ejercicio 7.9
Calcular la serie de Fourier en senos de la funcin f (x) = x 2 , x [0, ].
Solucin 7.9
#
"
2 X 2
2
+ 3 ((1)n 1) sen(nx)
n=1 n
n
f (x)
Ejercicio 7.10
Demostrar que
|x| =
cos(2n1)x
(2n1)2 ,
x [ , ]
n=1
X
X
cos(nx)
4 2
sen(nx)
+4
4
2
3
n
n
n=1
n=1
Ejercicio 7.12
Calcular la serie de Fourier de la funcin |sen(x)| en [ , ] y demostrar que converge en
cualquier punto de dicho intervalo. Utilizar esto para probar que
X
n=1
1
4n2 1
1
2
(1)n+1
4n2 1
2
4
n=1
1
n2
2
6
n=1
b)
(1)n+1
n2
2
12
n=1
96
Series de Fourier
c)
1
n4
Ejercicios
2
90
n=1
d)
(1)n+1
(2n1)3
3
32
n=1
97
98
Transformada de Fourier
Transformada de Fourier
8
8.1 Origen histrico de la transformada de Fourier
El trabajo de Fourier que hemos comentado en el captulo anterior acab plasmado en la memoria
Mmoire sur la propagation de la chaleur (1807) y en una versin extendida, Thorie du movement de la chaleur dans les corps solides , que present en 1812 al Instituto de Francia (algo as
como la Academia de las Ciencias) para participar en un concurso sobre el estudio del calor. Premio
que, por cierto, consigui.
En dichos trabajos, Fourier se plantea estudiar el problema de la difusin del calor en una barra ideal
de longitud infinita. Para resolver este problema, en lugar de una serie de coeficientes, aparece una
funcin a determinar dentro de una integral relacionada con las condiciones iniciales del sistema.
Esa funcin es lo que hoy conocemos como transformada de Fourier.
La transformada de Fourier fue redescubierta un poco ms tarde por Cauchy y Poisson estudiando
el movimiento de un fluido. Ambos estudiaban ecuaciones del tipo
2u
x 2
2u
y 2
= 0,
(8.1)
lo que se suele llamar ecuacin de Laplace o ecuacin del potencial porque, en su versin para
dimensin tres, fue estudiada por Laplace para resolver problemas relacionados con la atraccin
gravitacional y la forma de los planetas. Este tipo de ecuaciones ya haban aparecido en trabajos
de Euler y Lagrange. Por ejemplo, Lagrange la haba utilizado para estudiar la propagacin de una
onda en una capa de agua. Tambin tienen relacin con la propagacin del calor, de la electricidad
o con el magnetismo.
La ecuacin (8.1) modela la propagacin de ondas en una capa fina de agua si adems suponemos
que el lquido es homogneo (tiene la misma densidad en todos sus puntos), incomprensible (la
densidad no cambia con el tiempo) y que el trabajo necesario para llevar una partcula de un lugar
a otro es independiente del camino elegido (lo que se suele expresar diciendo que la velocidad es
un campo conservativo).
Veamos con un ejemplo cmo la bsqueda de funciones armnicas verificando unas determinadas condiciones en la frontera est relacionada con la transformada de Fourier. Consideremos el
problema de Dirichlet en un semiplano. Ms concretamente, sea
n
o
n
o
D = (x, y) R2 : y > 0 , y D = (x, y) R2 : y 0 .
Queremos encontrar una funcin u : D R continua en D, de clase C 2 en D, armnica en D, esto
es,
2u
x 2
2u
y 2
= 0,
(8.2)
y que verifique
u(x, 0) = f (x), x R
donde f es una funcin continua y acotada dada.
99
(8.3)
Ecuacin de Laplace
Transformada de Fourier
Para resolver este problema, usaremos el mtodo de separacin de variables como en el caso de la
ecuacin del calor. Supongamos que existe una solucin u(x, y) de la forma F (x)G(y). Entonces,
sustituyendo en la ecuacin (8.2) se tiene que
F 00
F
00
= GG .
00
= GG = ,
de donde
F 00 + F = 0, G00 G = 0.
Si < 0, las soluciones de F no son acotadas. Para = 0, las nicas soluciones acotadas son las
constantes. Por ltimo, si es positivo, la solucin general de F y G es
p
p
F (x) = a cos x + b sen x , G(y) = ce y + de y
donde a, b, c y d son constantes.
Para que la solucin sea acotada en y, tenemos que tomar c = 0, con lo que podemos escribir la
solucin general de la forma
u(x, y) = F (x)G(y) = e
Si notamos =
p
p
[A cos( x) + B sen( y)]
u(x, y) = F (x)G(y) = ey A() cos(x) + B() sen(y) ,
donde A(), B() indica que tenemos un par de constantes para cada valor de mayor o igual
que cero.
Al igual que en la ecuacin del calor, la suma de soluciones de este tipo sigue verificando la ecuacin (8.2) pero en este caso tenemos un continuo de soluciones en lugar de una cantidad numerable.
Por esto la solucin ms general ser de la forma
Z +
ey [A() cos(x) + B() sen(x)] d
(8.4)
0
+
X
cn einx ,
n=
1
donde cn = 2
f (x)einx dx.
Los coeficientes cn son, en general, nmeros complejos, pero usando el desarrollo en senos y
cosenos podemos establecer fcilmente una relacin. Sabamos que
100
Transformada de Fourier
f (x) =
a0
2
+
X
(8.5)
n=1
X
n=1
X
n=1
cn einx +
cn einx
n=1
cn (cos(nx) + i sen(nx)) +
cn (cos(nx) i sen(nx))
(8.6)
n=1
n=1
+
X
cn e
i nx
L
n=
Para representar una funcin que no sea peridica, vamos a calcular su representacin en [L, L] y
despus haremos tender L a . Intuitivamente, vamos a considerar una funcin no peridica como
una funcin peridica de periodo infinito. El resultado es lo siguiente:
Sea f : R R una funcin localmente integrable. Si la siguiente integral existe,
entonces la funcin fb : R C definida como
Z +
1
F [f ]() = fb() = 2
f (x)eix dx
Definicin 8.1.
Transformada de
Fourier
eix dx
cos(x) i sen(x) dx
Z
cos(x) dx =
sen()
101
1
fb() = 2
1
= 2
1
= 2
Z +
Transformada de Fourier
e|x|a eix dx
Z +
!
Z0
e(i+a)x dx +
e(ia)x dx
0
1
a
1
i+a ia = (2 +a2 ) .
Observacin 8.4. Si se consultan diferentes textos puede parecer en principio que existen multitud de definiciones de la transformada de Fourier pero, en realidad, slo se diferencian en constantes.
Teorema de
inversin
Teorema 8.5.
fb()eix d.
Traslacin
Proposicin 8.7. Sea f una funcin con transformada de Fourier F [f ] y sea a R, entonces
en el tiempo
Proposicin 8.8. Sea f una funcin con transformada de Fourier F [f ] y sea a R, entonces
1
F [f (ax)]() = |a|
F [f ]
a .
En particular, F [f (t)]() = F [f ]().
Traslacin
en frecuencia
F [f ]()+F [f ](+)
2
b) f (x) sen(x) es
F [f ]()F [f ](+)
2i
102
Transformada de Fourier
Convolucin de funciones
Transformada de la
derivada
x+
c0 () = iF [f ]().
Entonces, si f 0 es continua a trozos e integrable, se tiene que f
Corolario 8.13. Si f , f 0 , f 00 , . . . verifican las hiptesis del Teorema 8.12, entonces
(n) () = (i)n F [f ]().
f
Ejemplo 8.14. Veamos cmo podemos aplicar la transformada de Fourier para resolver algunas
ecuaciones diferenciales. Consideremos la ecuacin diferencial
y 00 + y = f .
Supongamos que todas las funciones que aparecen tienen su transformada de Fourier. Entonces
b
b
2 y()
+ y()
= F [f ](),
de donde se deduce que
b
y()
= F [f ]() 21+1
Del Ejemplo 8.3, sabemos que la transformada de Fourier de g(x) = e|x| es 21+1 . Por tanb = F [f ]g
b donde f y g son conocidas. Veremos en la prxima seccin cmo podemos
to, y
recuperar y desde f y g.
Teorema 8.15. Sea f una funcin con cuadrado integrable (energa finita). Entonces su transformada tambin tiene energa finita y de hecho
Z
Z
F [f ]()2 d.
f (t)2 dt = 1
2
f g(x) =
1
2
Z +
f (s)g(x s) ds
(8.7)
103
Identidad de Parseval
Ejercicios
Transformada de Fourier
(f g)(x) = 2
1
= 2
1
= 2
1
= 2
Z +
f (s)g(x s) ds
!
Z +
is
b
f ()e
d g(x s) ds
!
Z + Z +
is
b
f ()g(x s)e
d ds
Z +
Z + Z +
Z +
=
1
fb(w) 2
Z +
=
Z +
!
is
b
f ()g(x s)e
d ds
!
Z
Z +
fb()
g(x s)eis ds
!
g(t)ei(xt) dt
ix
b
fb()g()e
dx
=(f
g)(x)
Teorema 8.17. Sean f , g : R R integrables y una de las dos continua a trozos. Entonces
b
f
g = fbg.
Proposicin 8.18. Sean f , g, h : R R localmente integrables. Entonces
a) f g = g f , y
b) f (g + h) = f g + f h.
Proposicin 8.19. Consideremos f : R R integrable y g : R R acotada y continua a trozos.
Entonces existe f g en todo R y es continua.
Ejemplo 8.20.
Esto que hemos hecho para resolver la ecuacin diferencial, lo podemos hacer en otros casos:
a) Hacemos la transformada de Fourier de las ecuaciones diferenciales,
b) resolvemos las ecuaciones resultantes y obtenemos la transformada de Fourier de las incgnitas,
c) calculamos la solucin a partir de su transformada de Fourier, y
d) deberamos comprobar que, en efecto, es solucin de la ecuacin diferencial.
De estos cuatro pasos, los dos primeros suelen ser fciles y la dificultad estriba, normalmente, en
calcular la transformada inversa y en comprobar que de hecho es solucin. El tercer paso se suele
realizar con ayuda de tablas de transformadas de Fourier.
8.5 Ejercicios
Ejercicio 8.1
Calcular la transformada de Fourier de la funcin
104
Transformada de Fourier
Ejercicios
f (x) =
1,
0,
si |x| < 1,
si |x| > 1.
FALTA
Ejercicio 8.2
Calcular la transformada de Fourier de la funcin
1 |x| ,
f (x) =
0,
Solucin 8.2
si |x| 1,
si |x| > 1.
FALTA
Ejercicio 8.3
Calcular la transformada de Fourier de la funcin
si 1 < x < 1,
1,
f (x) = 1, si 1 < x < 2
0,
en otro caso.
Solucin 8.3
FALTA
Ejercicio 8.4
Calcular la transformada de Fourier de la funcin f (x) =
Solucin 8.4
1
1+ ix .
FALTA
Ejercicio 8.5
2
FALTA
Ejercicio 8.6
Calcular la transformada de Fourier de la funcin que tiene como grfica
3
Ilustracin 8.1
105
Ejercicios
Solucin 8.6
Transformada de Fourier
FALTA
Ejercicio 8.7
Sean a, b R. Calcular la transformada de Fourier de las siguientes funciones.
a) f (t) = ea|t| ,
b) f (t) = ea|t| sen(bt),
c) f (t) = ea|t| cos(bt)
Solucin 8.7
FALTA
106
Transformada de Laplace
Definicin
Transformada de Laplace
9
9.1 Definicin
Algunas de las funciones elementales, como las constantes, la exponencial o los senos y cosenos,
no tienen transformada de Fourier ya que no son integrables en R. Existe una manera simple de
arreglar esto: multiplicamos la funcin por otra de forma que el producto sea integrable, transformamos el producto y luego arreglamos la frmula para invertir el proceso. Esto, que ser la
transformada de Laplace, se suele aplicar a procesos que dependan del tiempo. Es por ello que todas las funciones que vamos a considerar estarn definidas en [0, +[. En el caso de las funciones
usuales consideraremos su extensin por cero en los negativos. Por ejemplo, cuando hablemos de
la funcin f (t) = t 2 nos estaremos refiriendo a
0, si t < 0,
f (t) =
t 2 , si t 0
Para conseguir una funcin que sea integrable en R+
0 , necesitamos una funcin que est cerca de
cero. De las funciones elementales la que tiene crecimiento ms rpido es la exponencial. Lo que
vamos a hacer es dividir por ella para conseguir una funcin pequea, esto es, consideraremos
funciones del tipo f (t)e t . En el caso que tenamos, f (t) = t 2 , obtenemos una funcin integrable
siempre que sea positivo. A este producto ya s le podemos calcular su transformada de Fourier:
Z
1
f (t)e( +i)t dt
2
0
1
s.
Ejemplo 9.3. Sea f : [0, +[ C definida como f (t) = eat , con a C. Entonces
Z
h (as)t ib
1
F (s) =
e(as)t dt = lim eas
= sa
0
107
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
Teorema 9.6. Sea f L con transformada de Laplace F , continua y derivable a trozos. Sea un
nmero real tal que f (t)e t es integrable en R+
0 . Entonces
Z +
1
F ( + i)e( +i)t d = 12 (f (t+) + f (t)) .
(9.1)
2
En particular,
1
2
Unicidad
Traslacin en el eje
Dilatacin en el eje
Proposicin 9.10. Sea f una funcin con transformada de Laplace L[f ], entonces
1
L[f (at)] = a
L[f ] as .
Traslacin en el eje
Proposicin 9.11. Sea f una funcin con transformada de Laplace L[f ], entonces
108
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
1
L [f (at)] = a
L[f ] as .
Dilatacin en el eje
Proposicin 9.13. Sea f una funcin con transformada L[f ], entonces f 0 tiene transformada de
Laplace
Transformada de la
derivada
t
0
g(x) dx =
1
s L[g(t)].
Transformada de
una primitiva
9.2.1
n!
s n+1
1
s2
Funcin f
f (t) = sen(at)
L[f ] =
f (t) = cos(at)
L[f ] =
f (t) = senh(at)
L[f ] =
f (t) = cosh(at)
L[f ] =
a
s 2 +a2
s
s 2 +a2
a
s 2 a2
s
s 2 a2
109
Ejemplos y aplicaciones
Transformada de Laplace
F (s) =
9.2.2
1
2
1
sa
1
s+a
a
s 2 a2 .
Convolucin
La convolucin de funciones nos permite relacionar la transformada del producto con el producto de funciones. La definicin de convolucin de funciones para la transformada de Laplace nos
proporciona un resultado similar al que tenamos para la transformada de Fourier.
Convolucin
de funciones
es el producto de convolucin de f y g.
00
y y = 1
y(0) = 0
y 0 (0) = 0
Multiplicamos en ambos miembros por est y, supongamos que y(t)est y y 0 (t)est tienden a
cero en + y son integrables. Si Y denota la transformada de Laplace de y, aplicando integracin
por partes se obtiene que
Z
Z
h
i
0
st
st
y (t)e
dt = y(t)e
+s
y(t)est dt = y(0) + sY (s) = sY (s)
0
Z
h
i
y 0 (t)est dt = y 0 (0) + s 2 Y (s) = s 2 Y (s)
y 00 (t)est dt = y 0 (t)est
+s
0
1
s 2 1 L(1)(s).
Y (s) =
1
(s 2 1)s
1/2
s1
1/2
s+1
1
s
1 t
2 (e
+ et ) 1 = cosh(t) 1.
110
1
s,
con lo que
Transformada de Laplace
Ejercicios
9.4 Ejercicios
Ejercicio 9.1
Calcular la transformada de Laplace de las siguientes funciones:
a) f (t) = (3 + t 2 )4 ,
b) f (t) = (2 + e2t )3 ,
c) f (t) = t 2 e3t ,
d) f (t) = t cos(5t),
e) f (t) = t 2 sen(t).
Solucin 9.1
FALTA
Ejercicio 9.2
Calcular la transformada de Laplace de la funcin
0, si 0 t 3,
f (t) = 1, si 3 < t < 5, y
t, si t > 5.
Solucin 9.2
FALTA
Ejercicio 9.3
Calcular la transformada de Laplace de la funcin f (t) =
Solucin 9.3
t
0
x cosh(x) dx.
FALTA
Ejercicio 9.4
Calcular la transformada inversa de la funcin f (t) =
Solucin 9.4
1
(s+2)(s3) .
FALTA
Ejercicio 9.5
Calcular la transformada inversa de la funcin f (t) =
Solucin 9.5
1
s 2 +2 .
FALTA
Ejercicio 9.6
Resolver la ecuacin diferencial y 00 5y 0 + 6y = 0 con las condiciones iniciales y(0) = 1,
y 0 (0) = 2 usando la transformada de Laplace.
Solucin 9.6
FALTA
111
Ejercicios
Transformada de Laplace
Ejercicio 9.7
Resolver la ecuacin diferencial y 00 y 0 + 6y = H(t) con las condiciones iniciales y(0) = 0,
y 0 (0) = usando la transformada de Laplace, donde H denota la funcin de Heaviside.
Solucin 9.7
FALTA
Ejercicio 9.8
Resolver la ecuacin integral f (t) = t t 2 +
Solucin 9.8
t
0
112
2
2
2
positivo T , consideremos
f [n] := f (nT ), n Z.
113
3
2
Ilustracin 10.2 ws = 8
Si tomamos ws = 64 (REPASARLO!!!!)
f [n] = sen
= sen
2 n
e
2
64 8n
n
4
, n.
, n.
Obsrvese que el muestreo de una seal peridica puede dar como resultado una seal discreta
peridica o no.
Definicin 10.1. Llamaremos pulso unidad a la seal discreta
1, si n = 0,
(n) =
0, si n 0
+
X
f [k][n k], n Z
k=
Dicho de otra manera, cualquier seal discreta se puede escribir como superposicin de trasladados
de pulsos unidad.
Ejemplo 10.3. Consideremos la seal discreta
3,
si n = 0,
1,
si n = 1,
f [n] =
2,
si n = 2,
0
, en otro caso.
Es fcil comprobar que f [n] = 3[n] + [n 1] 2[n 2].
Si queremos trabajar con funciones peridicas nos sern de gran utilidad las siguientes funciones.
114
Ilustracin 10.4 3
Observacin 10.5. Si f [n] es una seal discreta peridica con perodo N. Entonces
f [n] =
N1
X
f [k]N [n k], n Z.
k=0
1,
0,
f [n] =
1,
0,
si
si
si
si
n = 0,
n = 1,
n = 2,
n=3
1,
0,
si n 0,
si n < 0
10.1.1
Ejercicios
Ejercicio 10.1
Ejercicio 10.2
Sea z =
1
2 ( 3 + i).
115
El Teorema de Shannon
1,
0,
si n = k,
si n k,
MENTIRA!!!!!!!! + DIBUJO!!!!!!!!!
Sabamos que
f [n] =
+
X
f [k][n k]
n=
+
X
f [k]qT (t kT ).
n=
+
X
f [k]qT (t kT ).
n=
De lo que hemos visto hasta ahora, sabemos que la interpolacin lineal puede ser una buena aproximacin si la frecuencia de muestreo es suficientemente alta. En cualquier caso, es posible que
esta aproximacin no sea tan buena en los puntos de la forma t = nT . Los cambios bruscos de
direccin aaden frecuencias altas a la reconstruccin que la seal original no tiene porqu tener.
sen(t)
t
116
El Teorema de Shannon
Cuando tengamos una seal con espectro acotado, digamos que F (w) = 0 si |w| > wc , veremos
que si la frecuencia de muestreo es mayor que dos veces wc entonces no hay ninguna prdida de
informacin. La seal puede recuperarse completamente.
Evidentemente, si wc es una cota del espectro de f , cualquier otro valor mayor tambin lo ser y,
por tanto, la frecuencia de muestreo debera ser mayor. La situacin idnea sera conocer el menor
valor wc que es vlido.
Definicin 10.11. Si wc es el menor real positivo tal que F (w) = 0, si |w| > wc , entonces 2wc se
suele llamar frecuencia de Nyquist. La condicin ws > 2wc se suele llamar condicin de muestreo,
donde ws es la frecuencia de muestreo.
Para tener una idea intuitiva la frecuencia de Nyquist es dos veces la frecuencia ms alta que aparece
en la seal. El siguiente resultado nos dice como se hace la reconstruccin.
Teorema 10.12.
Sea f (t) una seal de espectro limitado y con frecuencia de Nyquist 2wc . Sea
f [n] un muestreo de f (t) con frecuencia de muestreo ws y perodo de muestreo T = 2 /ws . Si
ws > 2wc , entonces
f (t) =
+
X
f [n]
n=
t)
Ejemplo 10.13. La seal f (t) = sen (
tiene espectro F (w) = q2 (w), donde q2 es el
t2
pulso triangular la de figura QUE FALTA!!!!!!!!!!!!! Por tanto, la frecuencia de Nyquist es 4 . Si la
frecuencia de muestreo verifica ws > 4 se puede hacer la reconstruccin completa de f . En
este caso hace falta que 2 /T > 4 o, lo que es lo mismo, que T < 12 . Por ejemplo, para T = 14
se tiene que
+
X sen2 (n /4) sen(4 (t n/4))
sen2 ( t)
=16
2
t
n2
4 (t n/4)
n=
16
2
+
X
n=
Observacin 10.14. El odo humano medio no percibe sonidos cuya frecuencia sobrepase los
20 kHz. Esto quiere decir que, para nuestro odo, el sonido se comporta como una seal con espectro limitado. El teorema de Shannon se aplica y nos dice que con 40.000 muestras por segundo
debe bastar. Este es el fundamento de la mayora de los mtodos de compresin de sonido.
10.3.1
Ejercicios
FALTAN
117
Teorema de Shannon
T
N N
lim
ZT
f (t) dt .
=
0
n=0
Igual que en otras ocasiones, as podemos aproximar el valor de la integral de la funcin utilizando
de manera adecuada una muestreo de la funcin.
Recordemos ahora que los coeficientes de la serie de Fourier de f se calculan mediante integrales.
Bueno, pues vamos a aproximarlos de la misma forma. Si
ZT
f (t)eikw0 t dt ,
ck = T1
0
con w0 = 2 /T , entonces
ck T1
N1
X
T
N
f [n]eikw0 nT /N
n=0
N1
X
f [n]e2 ink/N
n=0
1
N F [k].
N1
X
f [n]e2 ink/N , k Z
n=0
118
F [0] =
1
X
n=0
Y para k = 1
F [1] =
1
X
n=0
119
120
Transformadas de Laplace
121
122
ndice alfabtico
ndice alfabtico
a
argumento 8
argumento
principal 8
b
bola
abierta 11
cerrada 11
c
cadena 53
camino 46
campo de convergencia puntual 39
ciclo 53
ciclo
nulhomlogo 54
coeficientes de Fourier 71, 77
conjugado 6
conjunto
abierto 12
acotado 11
cerrado 12
compacto 12
convergencia
absoluta 14
puntual 39
uniforme 39
convolucin 88, 110
criterio
de Abel 40
de la raz 40
del cociente 40
curva 45
curva
cerrada 46
equivalente 47
opuesta 46
regular 46
regular a trozos 46
curvas
yuxtaposicin de 46
d
Desigualdad
de Bessel 85
desigualdad
isoperimtrica 93
disco
abierto 11
cerrado 11
distancia 6
dominio 12
dominio
de convergencia 40
e
ecuacin
de Laplace 99
del potencial 99
Ecuaciones de CauchyRiemann 23
f
forma
cartesiana 4
forma polar 8
frmula
de Euler 29
de Moivre 10
integral de Cauchy 54
funcin
analtica 41
conjugada 21
continua 21
derivable 22
derivada 24
entera 24
holomorfa 24
mdulo 21
peridica 69
i
Identidad
de Parseval 103
Identidad de Parseval 88
ndice 53
123
ndice alfabtico
l
Lema
de Rieamann 51
lmite
puntual 39
logaritmo 30
logaritmo
derivable 52
principal 30
longitud
de una curva 46
m
mdulo 6
n
ncleo
de Dirichlet 85
de Fejr 90
nmeros
complejos 4
p
Paradoja de Bernoulli 5
parte
imaginaria 5
real 5
periodo 69
periodo
fundamental 69
polinomio trigonomtrico 71
polo 55
punto
interior 11
regular 55
punto de acumulacin 12
r
radio
de convergencia 40
raz n-sima principal 10
regla
de Barrow 45
de Barrow para integrales curvilneas 48
de la cadena 23
reparametrizacin 47
residuo 55
s
serie
binomial 43
de Fourier 77
de Laurent 57
trigonomtrica 75
simplemente conexo 54
singularidad
esencial 55
evitable 55
sucesin
convergente 12
de Cauchy 13
divergente 12
parcial 13
t
Teorema
de BolzanoWeierstrass 13
de Cauchy 54
de complitud 13
de derivacin de una serie de potencias 41
teorema
de Fejr 90
Teorema
de inversin 102
de los residuos 55
de Riemann 14
de Riemann-Lebesgue 85
de Shannon 117
de Taylor 42
fundamental del Clculo 45
transformada
de Fourier 101
de Laplace 107
v
valor absoluto 6
y
yuxtaposicin 46
124
125