1 - Series de Fourier

Captulo 1
Series de Fourier
En esta seccin vamos a trabajar con funciones de variable e imagen real, o sea f (t) ; con
f : R ! R. Ms adelante extenderemos los resultados para funciones de imagen compleja, es
decir, para funciones f : R ! C.
Si tenemos una funcin f : R ! R que sea lo sucientemente derivable, se sabe de Anlisis
I que podemos aproximar f localmente usando polinomios de Taylor, pero dicha aproximacin
tiene muchas limitaciones: necesita que la funcin tenga derivadas (mientras ms derivadas
tenga, ms posibilidad de que la aproximacin sea buena), y da una aproximacin local, o sea
buena cerca de un punto prejado. Vamos a ver ac otra forma de hacer esto.
1.1. Introduccin: Series de Potencias
Estas son una clase particularmente importante de series de funciones:

Denicin 1.1 Una serie de la forma
1
X
an (t a)n = a0 + a1 (t a) + a2 (t a)2 +
n=0
se la llama serie de potencias centrada en a:
1 n
X t 1
Ejemplo 1.2 1. es una serie de potencias centrada en cero, con an = 8 n 2
n! n!
n=0
N [ f0g.
1
X
2. ( 1)n (t 1)n es una serie de potencias centrada en 1; con an = ( 1)n 8 n 2 N
n=1
(a0 = 0).
9
10 Series de Fourier
Un grupo especialmente importante de series de potencias son las de la forma

1
X f (n) (a)
(t a)n
n!
n=0
donde f es alguna funcin que tiene derivadas de todos los rdenes en a; esta serie recibe el
nombre de series de taylor para f en a: Esta denicin deriva de la de polinomio de Taylor:
XN
00 f (n) (a)
0
si f (a) ; f (a) ; f (a) ; :::; f (N ) (a) existen todas, luego PN;a (t) = (t a)n es el
n!
n=0
polinomio de Taylor de grado N para f en a. Se pone RN;a (t) = f (t) PN;a (t) (el resto), de
forma tal que
N
X f (n) (a)
f (t) = PN;a (t) + RN;a (t) = (t a)n + RN;a (t) .
n!
n=0
1
X f (n) (a)
De esta expresin se deduce inmediatamente que la serie (t a)n converge a f (t)
n!
n=0
si y solo s RN;a (t) ! 0. Notar que PN;a (t) = SN (t), la N -sima suma parcial de la serie de
N !1
Taylor.
1
Ejemplo 1.3 Vamos a encontrar la serie de Taylor para f (t) = alrededor de t = 1. Tenemos:
t
f (1) = 1
1
f 0 (t) = ! f 0 (1) = 1
t2
00 2 00
f (t) = ! f (1) = 2
t3
000 6 000
f (t) = 4
! f (1) = 6
t
24
f iv (t) = ! f iv (1) = 24
t5
en general
n!
f (n) (t) = ( 1)n ! f (n) (1) = ( 1)n n! para n 2 N.
tn+1
luego la serie buscada es:
1
X 1
X
( 1)n n! n
(t 1) = ( 1)n (t 1)n :
n!
n=0 n=0
Esta cuenta no demuestra que dicha serie sea convergente, y menos que converja a f (t); pero
podemos ver esto usando la serie geomtrica:
1
X 1
X
1 1
= = (1 t)n = ( 1)n (t 1)n ,
t 1 (1 t)
n=0 n=0
donde la segunda iguandad vale si jt 1j < 1 (y la serie diverge para jt 1j > 1).
Series de Fourier 11
La siguiente proposicin, de demostracin inmediata si se dispone de la Regla de LHopital,

nos dice cuan bien aproxima el polinomio de Taylor de una funcin en un entorno del centro a:
Proposicin 1.4 Si f : (a "; a + ") ! R tiene n derivadas en a, entonces
f (t) Pn;a (t)

lm =a
t!a (t a)n
Demostracin. Ejercicio, aplicar la regla de LHopital n veces.
A esta altura conocemos dos frmulas explcitas para el resto:
Proposicin 1.5 Si f : (a "; a + ") ! R y I es el intervalo de extremos a y t, entonces:
1. Si f (n+1) existe en I, entonces
f (n+1) ( )
Rn;a (t) = (t a)n+1 para algn 2 I:
(n + 1)!
2. Si f (n+1) es integrable en I, entonces

Z t
f (n+1) (u)
Rn;a (t) = (t u)n du:
a n!
Ejemplo 1.6 Dada f (t) = cos (t) y a = 0, f tiene derivadas de todos los rdenes en a: Calcu-
lando obtenemos
f (0) = 1
f 0 (t) = sin (t) ! f 0 (0) = 0
00 00
f (t) = cos (t) ! f (0) = 1
000 000
f (t) = sin (t) ! f (1) = 0
A partir de la cuarta derivada, los resultados se repiten de manera cclica, por lo que resulta
que la serie de Taylor para cos (t) en cero es
t2 t4 t6 t2n
1 + + + ( 1)n + R2n;o (t)
2 4! 6! (2n)!
(notar que todas las potencias de t que aparecen son pares). Como f (n+1) ( ) 1 8 n; ; se
tiene que
tn+1
jRn;0 (t)j ! 0 (ejercicio).
(n + 1)! n !1
Entonces, hemos probado que
1
X t2n
cos (t) = ( 1)n para todo t 2 R.
(2n)!
n=0
De manera absolutamente anloga se puede ver que

1
X t2n+1
sin (t) = ( 1)n para todo t 2 R,
(2n + 1)!
n=0
y
1 n
X t
exp (t) = para todo t 2 R.
n!
n=0
Al comenzar el estudio de series, nos concentramos en la convergencia o no de las mismas.

Cuando se trabaja con serie de potencias, o en general con series de trminos variables, el foco
debe ponerse en cuales son los valores que puede tomar la variable t para que la serie resultante
sea convergente. Para cada valor de t en el que la serie de potencias converge, la serie representa
el nmero que es la suma de la serie. Por tanto, una serie de potencias en t dene una funcin
que tiene como dominio todos los valores de t para los cuales la serie de potencia converge.
1
X
Teorema 1.7 Si la serie de potencias an (t a)n converge en t = t0 ; entonces converge
n=0
absolutamente 8 t tal que jt aj < jt0 aj. Es decir, si r = jt0 aj entonces la serie converge
absolutamente 8 t 2 (a r; a + r).
1
X
Demostracin. Puesto que la serie an (t0 a)n converge, la condicin del resto nos dice
n=0
que
l m an (t0 a)n = 0,
n!1
y entonces 9 M tal quejan (t0 a)n j M 8 n. Si tomamos t tal que jt aj < r, tendremos
n n
n n jt aj t a
jan (t a) j = jan r j M .
r r
Puesto que la serie

1
X n
t a
r
n=0
1
X
converge (por ser geomtrica de razn menor que 1), por comparacin concluimos que an (t0 a)n
n=0
converge absolutamente.
El resultado anterior nos permite denir el concepto de radio de convergencia de una
1
X
serie de potencias: consideremos la serie an (t a)n , que siempre converge (a cero) cuando
n=0
t = a. Llamemos R0 = 0, y exploremos dos posibilidades:
P1
1. Si existe t0 tal que jt0 aj > R0 y tal que la serie n=0 an (t0 a)n sea convergente,
llamemos R1 = jt0 aj (notar R1 > R0 ). En tal caso la Proposicin anterior nos dice que
la serie converge absolutamente 8 t 2 (a R1 ; a + R1 ).
P
2. Si no existe t0 tal que jt0 aj > R0 y la serie 1
n=0 an (t0 a)n sea convergente, llamamos
R = R0 = 0, y la serie converge solo en t = a.
En el caso 1., seguimos iterativamente de la siguiente manera:

P1
1. Si existe t1 tal que jt1 aj > R1 y tal que la serie n=0 an (t1 a)n sea convergente,
llamemos R2 = jt1 aj (notar R2 > R1 ). En tal caso la Proposicin anterior nos dice que
la serie converge absolutamente 8 t 2 (a R2 ; a + R2 ).
P1
2. Si no existe t1 tal que jt1 aj > R1 y la serie n=0 an (t1 a)n sea convergente, lla-
mamos R = R1 , y la serie converge absolutamente 8 t 2 (a R; a + R) y diverge 8 t 2
ft : jt aj > Rg.
Este proceso iterativo nos permite construir una sucesin creciente fRn g1
n=0 cuyo lmite
( 1) se llama el radio de convergencia de la serie de potencias, y por su construccin tiene
la propiedad de que la serie converge absolutamente 8 t 2 (a R; a + R) = ft : jt aj < Rg y
diverge 8 t 2 ft : jt aj > Rg. No sabemos que pasa en ft : jt aj = Rg, es decir, en t = a R.
Ejemplo 1.8 Determine los valores de t para los cuales la serie de potencias es convergente:
1
X 2n n
( 1)n+1 t
n3n
n=0
P1
Si expresamos la serie dada de la forma n=0 tn ; entonces
2n tn 2n+1 tn+1
tn = ( 1)n+1 y tn+1 = ( 1)n+2
n3n (n + 1) 3n+1
de modo que
tn+1 2n+1 tn+1 n3n

lm = lm
n!+1 tn n!+1 (n + 1) 3n+1 2n tn
2 n
= lm jtj
n!+1 3 n+1
2
= jtj
3
Por tanto la serie de potencias es absolutamente convergente cuando 23 jtj < 1 o, equivalente-
mente, cuando jtj < 32 : La serie es divergente cuando 23 jtj > 1 o, equivalentemente, cuando
jtj > 32 : Es decir, el radio de convergencia de esta serie es R = 32 . Cuando 23 jtj = 1 (es decir
cuando t = 32 ), el criterio del cociente no da informacin. Cuando t = 23 ; la serie de potencias
dada se convierte en la serie armnica alternante
1 1 1 1 1
+ + + ( 1)n+1 +
1 2 3 4 n
3
la cul es convergente. Cuando t = 2 se tiene
1 1 1 1 1
1 2 3 4 n
la cual es (un multiplo de) la serie armnica, que es divergente. Por tanto, se concluye que la
serie de potencia dada es absolutamente convergente cuando
3 3
<t<
2 2
y es condicionalmete convergente cuando
3
t= .
2
Si
3 3
t t> ;
2 2
la serie es divergente.
1.2. Series de funciones reales
De la misma forma que pensamos en sucesiones de nmeros reales fxn gn2N ; donde tenamos
un nmero real para cada natural n; podemos pensar en una sucesin de funciones ffn gn2N ,
donde cada fn (t) es una funcin real denida en cierto dominio (o sea, tenemos una funcin de
variable para cada nmero natural n). Por ejemplo si llamamos
1
fn (t) = cos(nt);
n2
entonces ffn gn2N es una sucesin de funciones reales, cada una de las funciones de la sucesin
esta denida en todo R; y la n-sima funcin de la sucesin es nt:
Supongamos que tenemos una sucesin de funciones ffn gn2N ; y tomemos un nmero t jo
que est en el dominio de todas las funciones fn , entonces ffn (t)gn2N es una sucesin de nmeros
reales, as que tiene sentido plantear la serie
1
X
f1 (t) + f2 (t) + f3 (t) + = fn (t) :
n=1
Para decidir si una serie de este tipo converge, se puede aplicar cualquiera de los criterios vistos,
pues se trata de una serie normal de nmeros reales. Pero estamos interesados en ver el problema
desde otro punto de vista: dada una sucesin de funciones
P1 ffn gn2N ; queremos encontrar los
nmeros reales t para los cuales la P1serie numrica n=1 n (t) es convergente (si es que hay
f
alguno). Suponiendo que la serie n=1 fn (t) converge para todo t de cierto conjunto I R;
llamamos
N
X X1
S (t) = l m fn (t) = fn (t) ;
N !1
n=1 n=1
y esto dene una
P nueva funcin S (t) en I (la funcin que asigna a cada t de I el valor de la
serie numrica 1 n=1 fn (t)). Este hecho se suele denotar omitiendo la variable:
N
X 1
X
S= lm fn = fn ;
N !1
n=1 n=1
P1
y se dice que la serie de funciones n=1 fn converge a la funcin S. La denicin de convergencia
queda as:
P1
Denicin 1.9 P1 Dada una sucesin de funciones ffn g n2N ; diremos que n=1 fn converge en un
conjunto I si n=1 fn (t) converge para todo t 2 I (notar que, necesariamente I Dom (fn ) 8 n,
es decir, los puntos donde la serie converge son,P necesariamente, puntos del dominio de las fun-
1
ciones
P1 fn ). Anlogamente, diremos que la serie n=1 fPn converge absolutamente en I si la serie
1
n=1 jfn (t)j converge para todo t 2 I (o sea si la serie n=1 fn (t) converge absolutamente para
todo t 2 I). P
La regin de convergencia de la serie 1 n=1 fn es el conjunto
( 1
)
X
t2R: fn (t) converge ;
n=1
es decir, el mayor conjunto donde la serie converge.
Ejemplo 1.10 Tomar fn (t) = tn , con n 2 N (es decir, f1 (t) = t, f2 (t) = t2 , f3 (t) = t3 , etc.),
y queremos ver para qu valores de t podemos calcular
f1 (t) + f2 (t) + f3 (t) +
(notar que cada funcin fn est denida en todo R). Llamando Sn (t) = f1 (t) + f2 (t) + f3 (t) +
+ fn (t) y haciendo la misma cuenta que para la serie geomtrica, concluimos que para t 6= 1
vale
t tn+1
Sn (t) = :
1 t
Entonces, para t con jtj < 1 tenemos que
1
X t
fn (t) = l m Sn (t) = ;
n!1 1 t
n=1
y para t con jtj 1 la serie no converge pues los trminos no tienden a cero. Es decir, la serie
P 1
n=1 fn converge en el conjunto I = ft : jtj < 1g :
Los criterios usuales para series numricas quedan ahora as:

P1 P1 P1
Si
P1 n=1 fn y n=1 gn son series de funciones, n=1 fn converge a f en If R; y
Pn=1 g n converge a g en Ig R; y es un nmero real, entonces la serie de funciones
1
n=1 ( fn + gn ) converge a la funcin f + g en If \ Ig .
P
Si 1 n=1 fn converge en I R entonces
l m fn (t) = 0 8 t 2 I:
n!1
P P1
La serie 1n=1 fn converge en I si y solo si la serie RN = n=N +1 fn converge en I para
todo N; y en tal caso
l m RN (t) = 0 8 t 2 I:
N !1
P P
Si 1 n=1 fn converge absolutamente en P1 I R, entonces converge en I (es decir, si 1 n=1 jfn (t)j
converge para todo t en I entonces n=1 fn (t) converge para todo t en I).
P P1
Si jhn (t)j Pjfn (t)j 8 t 2 I y 1 n=1 jfn j converge en I; entonces n=1 jhn j converge en I
(y entonces 1 n=1 nh converge en I).
Si ffn gn2N es una sucesin con fn (t) 6= 0 8 t 2 I y 8 n N (donde N es algn natural) y
fn+1 (t)
lm = lt ;
n!1 fn (t)
P
entonces la serie 1 n=1 fn converge absolutamente en I si lt < 1 8 t 2 I; (y diverge para
los valores de t tales que lt > 1).
Si ffn gn2N es una sucesin y

p
n
lm jfn (t)j = lt ;
n!1
P1
entonces la serie n=1 fn converge absolutamente en I si lt < 1 8 t 2 I; (y diverge para
los valores de t tales que lt > 1).
Ejemplo 1.11 Tomemos

n
t
fn (t) =
t+1
P1
(o sea que cada fn est denida en R f 1g), buscamos la regin de convergencia de n=1 fn .
Por el ejemplo anterior, sabemos que necesitamos
t
< 1;
t+1
y entonces
t
< 1 () jtj < jt + 1j () t2 < (t + 1)2 ()
t+1
1
() t2 < t2 + 2t + 1 () < t;
2
1
es decir, la serie converge en el intervalo 2; 1 .
En general, uno pretende que la funcin denida por una serie de funciones convergentes
tenga las mismas propiedades de suavidad que las funciones sumadas. Esto en general no es as,
pero tenemos los siguientes resultados:
Teorema 1.12 Si ffn gn2N es una sucesin de funciones continuas en [a; b] y fMn gn2N es
una sucesin de nmeros reales positivos tales que
1. para cada n 2 N; vale que jfn (t)j Mn 8 t 2 [a; b]; y

P
2. la serie 1n=1 Mn converge.
P1
Entonces la serie n=1 fn converge absolutamente a una funcin continua S(t), y
Z d 1 Z
X d
S (t) dt = fn (t) dt 8 [c; d] [a; b] :
c n=1 c
P1
Demostracin. Primero notar que por comparacin
P1 la serie n=1 fn (t) converge (absoluta-
mente) para todo t 2 [a; b]. Llamemos S(t) = n=1 fn (t). Adems,
1
X 1
X 1
X
jRN (t)j = fn (t) jfn (t)j Mn ! 0,
N !1
n=N +1 n=N +1 n=N +1
y entonces dado " > 0 puedo encontrar n0 2 N tal que

"
jRn0 (t)j < 8 t 2 [a; b]
3
Doy un t0 jo en [a; b], quiero ver que puedo hacer jS (t) S (t0 )j chico tomando t sucien-
temente prximo a t0 ; es decir, doy " > 0 y quiero ver que hay un > 0 tal que
jS (t) S (t0 )j < " si jt t0 j < :

Pn
Llamemos Sn (t) = j=1 fj (t) ; entonces
jS (t) S (t0 )j = jS (t) Sn0 (t) + Sn0 (t) Sn0 (t0 ) + Sn0 (t0 ) S (t0 )j
jS (t) Sn0 (t)j + jSn0 (t) Sn0 (t0 )j + jSn0 (t0 ) S (t0 )j =
= jRn0 (t)j + jSn0 (t) Sn0 (t0 )j + jRn0 (t0 )j <
"
< 2 + jSn0 (t) Sn0 (t0 )j : (1.1)
3
Ahora tomo tal que
"
jSn0 (t) si jt t0 j <
Sn0 (t0 )j < (1.2)
3
(que existe pues la funcin Sn0 (t) es continua en t0 pues es la suma de n0 funciones continuas).
Combinando (1.2) con (1.1), vemos que tal es el que estbamos buscando.
P Rd
En cuanto a la integral, queremos ver que la serie numrica 1 n=1 c fn (t) dt converge al
Rd "
nmero c S (t) dt. Razonando como arriba, dado " > 0 existe N 2 N tal que jRn (t)j b a
para todo t 2 [a; b] si n N . Entonces
0 1 0 1
Z d Xn Z d Z d X n Z d Xn
S (t) dt fj (t) dt = @S (t) fj (t)A dt @S (t) fj (t)A dt =
c j=1 c c j=1 c j=1
Z d
"
= jRn (t)j dt (d c) < " 8 n N,
c b a
que es lo que queramos probar.
Ejemplo 1.13 Considerar la serie

1
X cos (nt)
.
n2
n=1
P1 1
Puesto que cos(nt)
n2
1
n2
para todo t 2 R, y n=1 n2 convege, concluimos que dicha serie
converge a una funcin continua S(t) en R. Adems,
Z X 1 1 Z
X
cos (nt) cos (nt)
2
dt = dt = 0.
0 n 0 n2
n=1 n=1
S
1
-8 -6 -4 -2 2 4 6 8
t
Notar que, a partir de la grca de S, no es obvio que la integral valga cero. Ms adelante
encontraremos una frmula para S en trminos de funciones elementales.
Teorema
P 1.14 Si ffn gn2N es una sucesin de funciones con derivada continua en [a; b] tales
que 1 n=1 n (t) converge en [a; b] a S(t), y fMn gn2N es una sucesin de nmeros reales positivos
f
tales que
1. para cada n 2 N; vale que jfn0 (t)j Mn 8 t 2 [a; b]; y

P
2. la serie 1n=1 Mn converge.
Entonces S(t) tiene derivada continua

1
X
S 0 (t) = fn0 (t) dt:
n=1
P1 0
Demostracin. Llamemos g (t) = quiero ver que S es derivable y que S 0 (t) =
n=1 fn (t) ;
g (t) 8 t 2 (a; b) : Por el Teorema Fundamental del Clculo,
Z t
fn (t) fn (a) = fn0 (x) dx;
a
Aplicando el Teorema anterior, vemos que

Z t Z tX 1 1 Z t
X 1
X
0
g (x) dx = fn (x) dx = fn0 (x) dx = [fn (t) fn (a)] =
a a n=1 n=1 a n=1
1
X 1
X
= fn (t) fn (a) = S (t) S (a) .
n=1 n=1
Pero sabemos del Teorema anterior que g es continua, por lo que el Teorema Fundamental del
Clculo nos dice que Z t
d
g (x) dx = g (t) ;
dt a
que comparando con la igualdad anterior nos permite deducir que S es derivable y S 0 (t) = g (t).
Que S 0 es continua se deduce del Teorema anterior.
Ejemplo 1.15 (Aplicacin a Series de Potencias) Vamos a extender los resultados del Teo-
rema 1.7. Si
1
X
S(t) = an (t a)n ,
n=0
es una serie de potencias que converge en t0 , tomemos cualquier 0 < r < jt0 aj, y M tal
que jan (t0 a)n j M (que existe por la convertencia en t0 ). Entonces para todo t 2 (a r; a+r)
se tiene
rn rn
jan (t a)n j jan (t0 a)n j M = Mn ,
jt0 ajn jt0 ajn
y
rn 1 nrn 1 fn .
nan (t a)n 1 jnan (t0 a)n j n M =M
jt0 aj jt0 ajn
Estas dos cotas (que valen para todo t 2 (a r; a + r)) implican (aplicando los Teoremas 1.12 y
1.14) que S(t) se puede integrar trmino a trmino, y una primitiva de S(t) es
Z t X1 Z t 1
X an
S(x)dx = an (x a)n dx = (t a)n , (1.3)
a a n + 1
n=0 n=0
y adems es derivable en (a r; a + r) y
1
X 1
X
d n
0
S (t) = an (t a) = nan (t a)n 1
. (1.4)
dt
n=0 n=1
Eligiendo convenientemente t0 y r; se puede ver que las tres series de potencias tienen el
mismo radio de convergencia, y que las frmulas (1.3) y (1.4) valen en toda la regin de con-
vergencia.
Dicho corto: las series de potencias se pueden integrar y derivar trmino a trmino. Se deja
como ejercicio aplicar esto a las series de Taylor encontradas, y utilizar el mismo para encontrar
la serie de Taylor de otras funciones (por ejemplo, la de ln integrando la serie de 1=t).
1.3. Funciones peridicas
Haremos ac un reconto de las propiedades que necesitamos de las funciones de variable real
peridicas.
Denicin 1.16 Una funcin f : R ! R ( f : R ! C) se dice peridica de perodo T si

f (t) = f (t + T ) para todo t 2 R: Cuando existe un menor T positivo con esta propiedad se lo
llama perodo fundamental de f:
Por ejemplo, la funcin cos (t) es peridica de perodo 2k ; k 2 N; y su perodo fundamental

es 2 ; por lo tanto si n 2 N y p > 0; la funcin
n t
f (t) = cos
p
es peridica de perodo 2pk 2p

n , y su perodo fundamental es n : En particular, cualquiera sea el
nmero n; f tiene perodo 2p: Las funciones constantes son peridicas con cualquier perodo, y
no tienen perodo fundamental.
Si f tiene perodo T entonces f tiene perodo kT para cualquier k 2 N (ejercicio), y las

funciones peridicas de perodo T quedan absolutamente determinadas por su valor en cualquier
intervalo de la forma [a; a+T ); pues si conozco a f en un intervalo as y quiero saber cuanto vale
f (t) para cierto t; basta con buscar k 2 Z tal que t + kT 2 [a; a + T ): De esta forma se puede
construir funciones peridicas a partir de funciones denidas en algn intervalo: si conozco f
en [a; b) y digo que f tiene perodo T = b a; entonces tengo denida en todo R una funcin
peridica de perodo T: En particular, se usa mucho tener una funcin denida en un intervalo
simtrico [ p; p) y peridica de perodo 2p:
a2T
a aT 0 a b
Si sumamos funciones de perodo T obtenemos una nueva funcin que tambin tiene perodo
T (ojo, no estamos hablando del perodo fundamental, solo de algn perodo),
P y tambin si
tenemos una sucesin de funciones ffn gn2N todas de perodo T y la serie 1
n=1 fn converge,
entonces converge a una funcin de perodo T: As, la funcin
N
a0 X n t n t
SN (t) = + an cos + bn sin
2 p p
n=1
es peridica de perodo 2p pues es suma de funciones de perodo 2p (se puede vericar

fcilmente, adems, que SN (t) = SN (t + 2p)), y si la serie
1
a0 X n t n t
+ an cos + bn sin
2 p p
n=1
converge, entonces converge a una funcin de perodo 2p.

Si f es peridica de perodo T; e integrable (en el sentido de Riemann), entonces para todo
a 2 R se tiene que
Z T Z a+T
f (t) dt = f (t) dt;
0 a
es decir que cada vez que integro sobre un intervalo de longitud T obtengo el mismo resultado.
Esto puede verse fcilmente de manera grca, recortando el rea bajo f en [a; a + T ) y
reacomodndola para que quede como el rea bajo f en [0:T )
0 T a a+T
1.4. Aproximacin por medio de polinomios trigonomtricos
Sabemos que podemos aproximar ciertas funciones f (t) con polinomios p (t) usando Taylor
(Anlisis I). Lo que se le pide a la funcin es que tenga sucientes derivadas en un entorno de un
punto t0 ; y el criterio de aproximacin que se toma es hacer la desviacin mxima jf (t) p (t)j lo
ms chica posible en cierto intervalo [a; b] que contiene t0 (es decir, p (t) aproxima biena f (t)
en [a; b] si la diferencia mxima entre sus grcas es pequea). Al usar Taylor, construimos
un polinomio de grado n;
Xn
f (j) (t0 )
pn (t) = (t t0 )j ;
j!
j=0
y para mejorar la aproximacin debamos aumentar n; y para que la aproximacin sea tan buena
como queramos necesitamos que f tenga derivadas de todos los rdenes en t0 y adems que el
resto 2 3
X n (j)
4f (t) f (t0 )
(t t0 )j 5
j!
j=0
tienda a cero cuando n tiende a innito para todo t de [a; b] ; lo cual no ocurre siempre.
p(t)
f(t)
t0
Ahora vamos a tratar de aproximar funciones f (t) peridicas de perodo 2p, y para eso
usaremos polinomios trigonomtricos de grado N y perodo 2p, que son funciones de la
forma
N
a0 X n t n t
SN (t) = + an cos + bn sin ;
2 p p
n=1
donde p es un nmero real jo y a0 ; a1 ; :::; aN ; b1 ; :::; bN son nmeros (reales o complejos, dependi-
endo de que f ser real o compleja) que elegiremos para satisfacer cierto criterio de aproximacin.
Notar que cada trmino de SN (t) es una funcin peridica de perodo 2p; por lo tanto SN (t) es
una funcin peridica de perodo 2p: Entonces SN va a ser bueno para aproximar funciones de
perodo 2p; o lo que es lo mismo, funciones denidas en algn intervalo de longitud 2p (pues si
tengo una funcin denida en un intervalo de longitud 2p puedo construir una funcin peridica
de perodo 2p deniendo f (t) = f (t + 2p) para todo t real, y viceversa). De ac en adelante
asumimos eso: vamos a trabajar con funciones denidas en un intervalo de longitud 2p y
extendidas peridicamente a todo R.
En cuanto al criterio para aproximar, vamos a usar el que se llama de la media cuadrtica
mnima, y para motivar este criterio vamos a suponer que f : R!R: Si, con la notacin que
traemos, llamamos
N (t) = f (t) SN (t) ;
entonces el criterio usado con polinomios de Taylor era hacer chico j N (t)j ; y si miramos las
grcas abajo, con ese criterio, 1 es mejor aproximacin de f que 2
1 f(t)
f(t)
2
-p 0 p -p 0 p
Pero el rea que queda entre f y 1 en el intervalo [ p; p] es ms grande que la que queda
entre 2 y f; y ese es otro criterio que podramos usar para decir que una funcin aproxima a f:
Como dicha rea es Z p
j N (t)j dt;
p
deberamos
Rp elegir los coecientes (reales, pues f lo es) a0 ; a1 ; :::; aN ; b1 ; :::; bN de SN para hacer
p j N (t)j dt lo ms chico posible. Pero esto presenta complicaciones tericas y tiene algunos
resultados indeseables, as que vamos a tomar como criterio de eleccin de los coecientes de
SN ; minimizar Z p
j N (t)j2 dt
p
con la esperanza de que sea ms o menos lo mismo (notar que en este caso N (t)2 = j N (t)j2
pues todas las cantidades involucradas son reales).
Nota importante 1.17 Puesto que estas operaciones involucran la integracin de funciones,
de ac en adelante asumiremos que las funciones involucradas son acotadas e integrables en el
sentido de Riemann. Se puede extender la teora a funciones no acotadas (cuya integral impropia
en el intervalo [ p; p] converge), pero dicha generalidad escapa al alcance de estas notas.
Denicin 1.18 Si f (t) ; g1 (t) y g2 (t) son funciones (de imagen real o compleja) acotadas e
integrables en [a; b] ; diremos que g1 aproxima mejor a f que g2 en [a; b] en el sentido de la media
cuadrtica si
Z b Z b
2
jf (t) g1 (t)j dt jf (t) g2 (t)j2 dt:
a a
Seguimos ahora con el problema de encontrar los coecientes a0 ; a1 ; :::; aN ; b1 ; :::; bN de SN , es

decir, tomemos una f : [ p; p] ! R y busquemos los nmeros reales a0 ; a1 ; :::; aN ; b1 ; :::; bN de SN
de forma tal que SN aproxime lo mejor posible a f en el sentido de la media cuadrtica en [ p; p].
Como todas las cantidades involucradas son reales, tenemos que elegir a0 ; a1 ; :::; aN ; b1 ; :::; bN de
modo que
Z Z " N
#!2
p p
a0 X n t n t
IN = N (t)2 dt = f (t) + an cos + bn sin dt (1.5)
p p 2 p p
n=1
sea lo ms chico posible, es decir, podemos pensar IN (a0 ; a1 ; :::; aN ; b1 ; :::; bN ) como una funcin
de 2N + 1 variables, y tenemos que minimizarla. Para hacer esto, calcularemos IN (por ms
doloroso que sea), y luego derivaremos, con la esperanza de encontrar un punto crtico que sea
mnimo. Para ello vamos a utilizar las siguientes relaciones: se tiene que
Z p
n t k t p si n = k
cos cos dt = ;
p p p 0 si n =
6 k
Z p
n t k t p si n = k
sin sin dt = ; (1.6)
p p p 0 si n =
6 k
Z p
n t k t
cos sin dt = 0 8 k; n;
p p p
y
Z p Z p
n t n t
cos dt = sin dt = 0. (1.7)
p p p p
Desarrollando el integrando en (1.5) queda
" N
#!2
a0 X n t n t
f (t) + an cos + bn sin
2 p p
n=1
N
X
2 n t n t
= f (t) a0 f (t) 2 an cos f (t) + bn sin f (t) + (1.8)
p p
n=1
N
!2
a0 X n t n t
+ + an cos + bn sin
2 p p
n=1
Integrando el ltimo trmino de (1.8) y usando (1.7) obtenemos

Z "N #!2
p
a0 X n t n t
+ an cos + bn sin dt =
p 2 p p
n=1
2 3
Z p 6XN Z p Z p 7
a20 6 n t n t 7
= dt + a0 6 an cos dt + bn sin dt7 +
p 4 4n=1 p p p p 5
| {z } | {z }
0 0
Z " N
#2
p X n t n t
+ an cos + bn sin dt
p p p
n=1
N
X
a20
= p +p a2n + b2n ,
2
n=1
donde esta ltima igualdad vale pues cuando hacemos

" N
#2
X n t n t
an cos + bn sin
p p
n=1
obtenemos la suma de todas las combinaciones del tipo
n t m t n t m t n t m t
an cos am cos ; an cos bm sin ; y bn sin bm sin ;
p p p p p p
con 1 n; m N , as que cuando integramos (usando las relaciones (1.6)) resultan distinto de
cero nicamente los trminos con solo cosenos o solo senos y con m = n; y en tal caso la integral
vale p multiplicado por el cuadrado del respectivo coeciente.
Finalmente, integrando los otros dos trminos de (1.8) obtenemos
Z p Z p N
X Z p Z p
2 n t n t
IN = f (t) dt a0 f (t) dt 2 an cos f (t) dt + bn sin f (t) dt +
p p p p p p
n=1
X N
a20
+p +p a2n + b2n . (1.9)
2
n=1
(notar que es una forma cuadrtica en a0 ; a1 ; :::; aN ; b1 ; :::; bN ).

Derivando, obtenemos que
Z p
@IN
= f (t) dt + pa0 ,
@a0 p
Z p
@IN k t
= 2 cos f (t) dt + 2pak , (1.10)
@ak p p
Z p
@IN k t
= 2 sin f (t) dt + 2pbk ,
@bk p p
que al igualarlas a cero nos dice que deberamos tomar

Z
1 p
a0 = f (t) dt
p p
Z
1 p k t
ak = f (t) cos dt para k 1
p p p
Z
1 p k t
bk = f (t) sin dt para k 1:
p p p
Pero derivando de nuevo en (1.10) obtenemos
@ 2 IN @ 2 IN @ 2 IN
= p; = = 2p para k 1;
@a20 @ak 2 @b2k
y como todas las derivadas cruzadas dan cero, resulta que la matriz Hessiana de IN es la matriz
diagonal 0 1
p 0 0
B 0 2p 0 0 C
B C
B .. .. .. C
B . . . C
B C;
B .. . . .. C
@ . . . A
0 0 2p
de donde concluimos que efectivamente obtenemos un mnimo eligiendo los coecientes de esa
forma.
El trabajo hecho hasta ahora nos permite decir como debemos elegir los coecientes de SN
para obtener la mejor aproximacin de f en el sentido de la media cuadrtica, pero todava no
sabemos cmo de buena es esa aproximacin (aunque sea la mejor puede ser malsima), as que
por ahora no tenemos teoremas pero s una denicin:
Denicin 1.19 Si f es una funcin peridica de perodo 2p, acotada e integrable en el intervalo
[ p; p] (en el sentido de Riemann), denimos sus coecientes de Fourier por
Z Z
1 p n t 1 p n t
an;f = f (t) cos dt y bn;f = f (t) sin dt;
p p p p p p
y el polinomio trigonomtrico
N
a0;f X n t n t
SN f (t) = + an;f cos + bn;f sin
2 p p
n=1
formado usando los coecientes de Fourier de f se llama la aproximacin N -sima de Fourier
de f (los subndices que indican la funcin entorpecen extremadamente la notacin, por lo cual
no los utilizaremos salvo que sea estrictamente necesario).
Seguimos la cuenta: evaluando IN en a0;f ; a1;f ; :::; aN;f ; b1;f ; :::; bN;f (ver 1.9) y teniendo
en cuenta la denicin anterior, obtenemos
Z p N
!
2
a20;f X 2 2
IN;f = IN (a0;f ; a1;f ; :::; aN;f ; b1;f ; :::; bN;f ) = f (t) dt p + an;f + bn;f ,
p 2
n=1
de donde podemos sacar las siguientes conclusiones:
a20;f PN h i
1. Puesto que 2 + n=1 a2n;f + b2n;f crece cuando N crece (pues sumo ms trminos
positivos), la aproximacin mejora cuando N crece, pues
Z N
!
p
2
a20;f X
0 IN;f = f (t) dt p + a2n;f + b2n;f :
p 2
n=1
2. La serie
1
X
a20;f
+ a2n;f + b2n;f
2
n=1
converge pues es creciente (es decir, mientras ms grande N ms grande es la suma) y

para todo N vale que
N
X Z
a20;f 1 p
+ a2n;f + b2n;f f (t)2 dt
2 p p
n=1
h i
es decir, es acotada. Esto dice que a2n;f + b2n;f ! 0; y entonces a2n;f ! 0 y
n!1 n!1
b2n;f ! 0; y entonces an;f ! 0 y bn;f ! 0.
n!1 n!1 n!1
Despus de todo este trabajo hemos demostrado el siguiente teorema:
Teorema 1.20 Sea f : R ! R una funcin peridica de perodo 2p, acotada e integrable en
el sentido de Riemann en [ p; p], y llamemos
N
a0 X n t n t
SN (t) = + an cos + bn sin :
2 p p
n=1
Entonces la mejor aproximacin de f por SN en el sentido de la media cuadrtica se obtiene al

elegir
Z Z
1 p n t 1 p n t
an = f (t) cos dt; n 2 N[ f0g ; y bn = f (t) sin dt; n 2 N
p p p p p p
(es decir, los coecientes de Fourier de f ). iCon esta eleccin, la aproximacin mejora a medida
P1 h
que N crece, y la serie n=1 jan j + jbn j2 converge, resultando
2
N Z
a20 X 2 1 p
+ an + b2n f (t)2 dt:
2 p p
n=1
Adems, Z Z
p p
n t n t
lm f (t) cos dt = l m f (t) sin dt = 0:
n!1 p p n!1 p p
Se puede ver que ms que lo que dice el teorema es cierto: en 1896 el matemtico Liapuno
demostr que l mN !1 IN = 0; de donde se deduce que vale la igualdad
1 Z
a20 X 2 1 p
+ 2
an + bn = f (t)2 dt
2 p p
n=1
para cualquierR funcin acotada (e incluso para funciones no acotadas pero tales que la inte-
p
gral impropia p jf (t)j2 dt sea convergente). Esta igualdad se llama igualdad de Parceval y la
desigualdad del teorema se llama desigualdad de Bessel.
Nota importante 1.21 Cuando uno examina con cuidado lo hecho, se da cuenta de que los
coecientes de Fourier no dependen del grado de la aproximacin N . Esto es muy importante
porque signica que si uno no est conforme con la aproximacin lograda con cierta cantidad de
trminos, entonces puedo agregar trminos sin tener que recalcular los primeros coecientes. Es
decir, si para cierto problema usamos la 3ra aproximacin de Fourier y no estamos conformes
con los resultados, para usar la 4ta slo necesitamos calcular dos nuevos coecientes: a4 y b4 .
Ejemplo 1.22
1. Tomemos f (t) = jtj en el intervalo [ ; ] (es decir, estamos pensando en la funcin
peridica de perodo 2 que coincide con jtj en el intervalo [ ; ]). Los coecientes de
Fourier son
Z Z
1 1
an = jtj cos (nt) dt y bn = jtj sin (nt) dt;
y como la funcin jtj sin (nt) es impar, resulta que todas las integrales que denen bn son
cero, es decir, bn = 0 8 n; y si n 6= 0 queda
Z Z Z
1 2 2 t sin (nt) t= 2 sin (nt)
an = jtj cos (nt) dt = t cos (nt) dt = dt =
0 n t=0 0 n
t=
2 cos (nt) 2 0 si n es par
= = [cos (n ) 1] = 4 :
n2 t=0 n2 n2
si n es impar
Por otro lado,
Z t=
2 t2
2
a0 = tdt = = ;
0 2 t=0
y entonces la aproximacin N -sima para N impar de f queda
4 4 4
SN f (t) = cos (t) cos (3t) cos (N t) ;
2 9 N2
R 2 P1 16
y si N es par queda SN f (t) = SN 1 f (t) : Adems, jtj dt = 2 = 2 + n=1 2 (2n 1)4
;
donde el ltimo igual vale por Parseval.
3 3 S1 3 S3
2 2 2
S0
1 1 1
-3 -2 -1 0 1 2 3 -3 -2 -1 0 1 2 3 -3 -2 -1 0 1 2 3
En el segundo grco se puede ver cul ser el aporte del tercer trmino en S3 .
2. Tomemos la funcin de perodo 2 tal que
0 si 1 t<0
f (t) = ;
t2 si 0 t<1
entonces los coecientes de Fourier de f son: para n 1

Z 1 Z 0 Z 1
an = f (t) cos (n t) dt = f (t) cos (n t) dt + f (t) cos (n t) dt
1 1 0
Z 1 t=1
t2 sin (n t) 2 sin (n t) 2t cos (n t)
= t2 cos (n t) dt = +
0 n n3 3 n2 2 t=0
2 cos (n ) 2
= = ( 1)n ;
n2 2 n 2 2
y Z Z
1 1
1
a0 = f (t) dt = t2 dt =
1 0 3
y por ltimo
Z 1 Z 0 Z 1
bn = f (t) sin (n t) dt = f (t) sin (n t) dt + f (t) sin (n t) dt =
1 1 0
Z 1 t=1
t2 cos (n t) 2 cos (n t) 2t sin (n t)
= t2 sin (n t) dt = + + =
0 n n3 3 n2 2 t=0
cos (n ) 2 cos (n ) 2 ( 1)n+1 2 ( 1)n 2
= + = + =
n n3 3 n3 3 n n3 3 n3 3
1
n si n es par
= 1 4 :
n n3 3
si n es impar
As la sexta aproximacin de Fourier de f es
1 2 1 4 1 1
S6 f (t) = 2
cos ( t) + 3
sin ( t) + 2
cos (2 t) sin (2 t)
6 2 2
2 1 4
2
cos (3 t) + 3
sin (3 t) :
9 3 27
1 1 1
0.5 0.5 S2 0.5

S1 S3
-1 -0.5 0 0.5 1 -1 -0.5 0 0.5 1 -1 -0.5 0 0.5 1
Puede verse claramente, adems, que la funcin anterior era ms fcil de aproximar, ya que
sumando menos trminos conseguamos algo ms parecido a f .
1.5. Convergencia puntual de series de Fourier
Hasta ahora no hemos dicho nada cuanto se parece puntualmente f a su N -sima aproxi-
macin de Fourier, es decir no sabemos que relacin hay, para cada t; entre f (t) y SN (t) ; y
tampoco sabemos que pasa con SN (t) cuando N tiende a innito. Para estudiar eso, introduci-
mos la siguiente denicin:
Denicin 1.23 Si f (t) es una funcin peridica de perodo 2p e integrable en el intervalo

[ p; p], la serie de Fourier de f es
1
a0 X n t n t
+ an cos + bn sin
2 p p
n=1
donde los coecientes fan gn2N[f0g y fbn gn2N son los coecientes de Fourier de f (ver denicin
1.19). A veces denotaremos
1
a0 X n t n t
f + an cos + bn sin
2 p p
n=1
para indicar cul es la serie de Fourier de f . Notar que no sabemos si dicha serie converge para
algn valor de t; pero si tenemos f en las condiciones de la denicin podemos construirla.
Por supuesto que nos gustara mucho que la serie de Fourier de f converja a f; lo cual
lamentablemente no ocurre. Pero tenemos el siguiente teorema, que demostr Dirichlet en 1829
(este es el primer resultado de convergencia puntual de series de Fourier).
Teorema 1.24 (Dirichlet) Si f (t) es una funcin real de perodo 2p (denida en todo R),
acotada en [ p; p] ; con un nmero nito de discontinuidades en [ p; p] y con un nmero nito
de mximos y mnimos (extremos locales) en [ p; p] ; entonces la serie de Fourier de f converge
para todo t al valor 12 [f (t+ ) + f (t )] ; es decir,
1
a0 X n t n t 1
+ an cos + bn sin = f t+ + f t :
2 p p 2
n=1
Entendamos qu pide el teorema y qu da: las condiciones pedidas a f (adems de ser

peridica de perodo 2p) se llaman las condiciones de Dirichlet en [ p; p] : Analicemos que
piden estas condiciones: primero, con extremos locales nos referimos a puntos t0 tales que f (t0 )
f (t) para todo t prximo a t0 (o en lugar de ). Que tenga un nmero nito de mximos y
mnimos en [ p; p] nos asegura que f no oscila demasiado, por ejemplos la funcin peridica de
perodo 2 tal que
t sin (1=t) si 0 < jtj < 1
f (t) =
0 si t = 0
no cumple con esa condicin (gracar f y ver!). Que tenga un nmero nito de discontinuidades
en [ p; p] est claro que signica, y por ejemplo la funcin de perodo 2
0 si t 2 Q
f (t) =
1 si t 2 R Q
no cumple con esa condicin. Las tres condiciones juntas (que pide Dirichlet) dicen algo muy
importante: que el intervalo [ p; p] se puede dividir de forma tal que la grca de f en cada
subintervalo es la de una funcin creciente o decreciente, y adems, por ser acotada, los lmites
f t+
0 = l m f (t) y f t0 = l m f (t)
t!t+
0 t!t0
existen para todo t0 en [ p; p] : Para convencerse de eso, marcar en [ p; p] primero todas las
discontinuidades, y despus estudiar en cada subintervalo una funcin continua con nitos ex-
tremos locales (y a la hora de gracar recordar que f es acotada). Notar que si f es continua en
t entonces f (t) = f (t+ ) = f (t ) ; y si f es discontinua en t entonces debe tener un salto en t
(o una discontinuidad evitable, ya que por las caractersticas de f , sabemos que existen lmites
laterales en las discontinuidades), y entonces 12 [f (t+ ) + f (t )] es el promedio del valor de f en
el salto; es decir
1 f (t) si f es continua en t
f t+ + f t = :
2 promedio del salto si f no es continua en t
Notar, por ltimo, que en estas condiciones sabemos que f es integrable en [ p; p] :

En cuanto a lo que el teorema da, nos asegura que la serie de Fourier de f converge para
todo t; pero no necesariamente a f; pues tenemos que
1
a0 X n t n t 1
+ an cos + bn sin = f t+ + f t ;
2 p p 2
n=1
es decir que la serie de Fourier de f converge a f (t) en los ts donde f es continua, y al promedio
del salto en los ts donde f es discontinua. O sea, para insistir y que quede bien claro, la igualdad
1
a0 X n t n t
f (t) = + an cos + bn sin
2 p p
n=1
vale solo para los valores de t donde f es continua. El hecho de que la serie de Fourier de f no
converge a f en las discontinuidades de f es absolutamente razonable: notar que si tomamos
to 2 [ p; p] y fabricamos una nueva funcin
f (t) si t 6= t0
g (t) = ;
f (t0 ) 7 si t = t0
entonces f y g tienen la misma serie de Fourier (y dicha serie no puede converger en t0 a f (t0 )
y a g (t0 )).
Demostracin. Veremos una idea de la demostracin, para una funcin ligeramente mejor que
Dirichlet en [ p; p]: le pediremos adems que tenga derivadas laterales en todos los puntos.
Tomamos t jo
N
a0 X n t n t
SN f (t) = + an cos + bn sin =
2 p p
n=1
Z XN Z Z
11 p 1 p n x n t 1 p n x n t
= f (x) dx+ f (x) cos dx cos + f (x) sin dx sin
2p p p p p p p p p p
n=1
Z " N
#
1 p 1 X n x n t n x n t
= f (x) + cos cos + sin sin dx
p p 2 p p p p
n=1
Z " N
#
1 p 1 X n
= f (x) + cos (t x) dx
p p 2 p
n=1
Llamemos
N
1 X n
DN (t) = + cos t
2 p
n=1
Usando
1 1 1 1
sin n+ 2 u sin n 2 u = sin (nu) cos 2u + cos (nu) sin 2u
1 1 1
sin (nu) cos 2 u cos (nu) sin 2 u = 2 cos (nu) sin 2u
se ve que
N 1 t
1 X n sin N+ 2 p
DN (t) = + cos t = .
2 p 2 sin 1 t
n=1 2 p
La funcin DN (t) satisface:

Z
1 p
i) DN (t)dt = 1; ii) DN es par, iii) tiene perodo 2p
p p
Usando estas ltimas dos propiedades se ve que
Z
1 p
SN f (t) = f (x + t) DN (x)dx
p p
y entonces
Z 0 Z p
1 + 1 1 1
SN f (t) f (t ) f (t ) = [f (x + t) f (t )]DN (x)dx+ [f (x + t) f (t+ )]DN (x)dx;
2 2 p p p 0
veamos que cada uno de ellos tiende a cero, veamos una (la otra es igual):
Z p Z sin N + 12 px
1 + 1 p +
[f (x + t) f (t )]DN (x)dx = [f (x + t) f (t )] dx =
p 0 p 0 2 sin 2px
Z Z
1 p N x 1 p N x
= g1 (x) sin dx + g2 (x) cos dx = bgN1 + agN2
p 0 p p 0 p
donde g1 y g2 son las funciones de perodo 2p tales que

8
>
> cos 2px
>
< [f (x + t) f (t+ )] p<x<0 1
2 sin 2px
2 [f (x + t) f (t+ )] p<x<0
g1 (x) = 0 + g2 (x) =
>
> p f (0 ) x=0 0 0 x<p
>
:
0 0<x<p
Puesto que g1 y g2 son integrables (acotadas) en [ p; p], sus coecientes de Fourier tienden a
cero, con lo cual concluye la demostracin.
Ejemplo 1.25 Si consideramos la funcin de perodo 2 tal que
0 si 1 t<0
f (t) =
t2 si 0 t<1
(del ejemplo anterior), entonces el teorema nos dice que su serie de Fourier converge a la funcin
g (t) de perodo 2 tal que 8
< 1=2 t= 1
g (t) = 0 si 1<t<0 ;
: 2
t si 0 t < 1
Nota 1.26 (comparativa) Con Fourier, si tenemos una funcin Dirichlet en [ p; p] y contin-
ua (y peridica de perodo 2p), entonces usando aproximaciones N -simas de Fourier podemos,
valga la redundancia, aproximar f tanto como queramos, a diferencia de lo que ocurra con
polinomios de Taylor que peda que f tenga derivadas de todos los ordenes. De todos modos,
volvemos a recalcar que las series y polinomios de Fourier solo sirven para funciones peridicas,
por ejemplo no sirven para la funcin f (x) = ex ; y Taylor con esta hace un trabajo maravilloso.
Nota 1.27 (y ejercicio)
1. Si f y g son peridicas de perodo 2p e integrables en [ p; p], y sus series de Fourier son

1
a0;f X n t n t
f + an;f cos + bn;f sin y
2 p p
n=1
1
a0;g X n t n t
g + an;g cos + bn;g sin ;
2 p p
n=1
entonces para cualquier nmero real ; la serie de Fourier de la funcin f + g es

1
a0;f + a0;g X n t n t
f +g + [ an;f + an;g ] cos + [ bn;f + bn;g ] sin :
2 p p
n=1
a0;f P1 n t
2. Si f es peridica de perodo 2p e integrable en [ p; p] ; y f 2 + n=1 an;f cos p +
bn;f sin np t (o sea el miembro de la derecha es la serie de Fourier de f ), y 2 R;
entonces la funcin g (t) = f ( t) es peridica de perodo 2p= e integrable en [ p= ; p= ] ;
y
1
a0;f X n t n t
g + an;f cos + bn;f sin
2 p p
n=1
(es decir tiene los mismos coecientes que f ).
a0;f P1 n t
3. Si f es peridica de perodo 2p e integrable en [ p; p] ; y f 2 + n=1 an;f cos p +
bn;f sin np t , y 2 R; entonces la funcin g (t) = f (t ) es peridica de perodo 2p e
integrable en [ p; p] ; y sus coecientes de Fourier son
n n
an;g = an;f cos bn;f sin ; y
p p
n n
bn;g = an;f sin + bn;f cos :
p p
4. Si p (t) es un polinomio trigonomtrico, entonces l es su serie de Fourier.
Unicidad y espectro: una pregunta un poco adelantada es: si f y g son peridicas de

perodo 2p y tienen los mismos coecientes de Fourier, tiene que valer f (t) = g (t) 8 t?
Esta pregunta no es tan fcil de contestar, pero si es fcil cuando nos restringimos a funciones
como las del teorema de Dirichlet: en ese caso, f y g deben ser iguales, salvo posiblemente en
las discontinuidades de ambas pues si fx1 ; :::; xn g son las discontinuidades de f en [ p; p] y
fy1 ; :::; ym g son las de g; como f y g tienen la misma serie de Fourier y tal serie converge a f y
g donde son continuas, tendremos que para todo t 2 [ p; p] fx1 ; :::; xn ; y1 ; :::; ym g vale
1
a0 X n t n t
f (t) = + an cos + bn = g (t) :
2 p p
n=1
| {z }
serie de Fourier de f y g
Esto es muy importante porque nos dice que una funcin (peridica de perodo 2p y Dirichlet
en [ p; p]) est unvocamente determinada por sus coecientes de Fourier (salvo en las discon-
tinuidades), es decir, si quiero transportar informacin puedo calcular los coecientes de Fourier
de f; tirar f y quedarme con los coecientes, tranquilo de que f es la nica funcin con dichos
coecientes y de que puedo recuperarla cuando quiera (de nuevo, salvo por las discontinuidades).
Por razones fsicas al conjuntohde todos los icoecientes de Fourier se llaman el espectro de f , y
2 P Rp
a la cantidad p ja20 j + 1 2
n=1 jan j + jbn j
2
(que es igual a p jf (t)j2 dt) la energa (espectral)
total.
1.6. Orden de los coecientes de Fourier
Sabemos que los coecientes de Fourier fan ; bn g de una funcin (razonable) satisfacen
an ! 0 y bn ! 0,
n!1 n!1
pero no sabemos cuan rpido lo hacen. Para poder medir velocidad de convergencia tenemos
que jar parmetros, y lo hacemos de la siguiente manera: vamos a usar para comparar las
sucesiones f1=ngn2N ; 1=n2 n2N ; 1=n3 n2N ; etc., teniendo en cuenta que, por ejemplo, la
segunda converge ms rpido a cero que la primera, en el sentido de que
1=n2
! 0:
1=n n!1
En general, si tenemos f1=nm gn2N y 1=nk n2N

entonces la primera decrece ms rpido que la
segunda si m > k.
Nota(cin) 1.28 Si f (t) es peridica de perodo 2p y continua, puede pasar que f 0 (t) exista en
todo ( p; p) salvo en nitos puntos ft1 ; :::; tn g. En este caso, denotaremos por f 0 a tal funcin
(peridica de perodo 2p), dejndola sin denir en los puntos que no exista (que sern innitos
en R). Esto no tendr importancia pues estamos interesados en los coecientes de Fourier de
f 0 ; y las integrales no se dan cuenta si f 0 no est denida en una cantidad nita de puntos.
En algunos casos, cuando queramos remarcar esta situacin, diremos que f 0 existe en casi todo
punto. As, por ejemplo, la funcin de perodo 2 tal que f (t) = jtj si t 2 [ 1; 1) tiene derivada
peridica de perodo 2 y
1 si 1<t<0
f 0 (t) = ;
1 si 0 < t < 1
y f 0 no est denida en los t 2 Z:
0
f(t) f (t)
1 1
0 0
-3 -2 -1 1 2 3 -3 -2 -1 1 2 3
En las condiciones anteriores, o sea si f es continua 2p-peridica y f 0 existe en casi todo

punto, si adems f 0 es integrable en [ p; p] ; vale que
Z p
f 0 (t)dt = f (p) f ( p) :
p
Se suele poner f (p ) f ( p+ ) en lugar de f (p) f ( p) cuando no se sabe que f sea continua

en p y/o p.
Vamos a ver un lema tcnico para calcular integrales:
Lema 1.29 (teorema del valor medio para integrales) Si f : [a; b] ! R es montona en
[a; b] (es decir, creciente o decreciente) y g es integrable en el sentido de Riemann en [a; b] ;
entonces existe 2 (a; b) tal que
Z b Z Z b
f (t) g (t) dt = f (a) g (t) dt + f (b) g (t) dt:
a a
Demostracin. La omitimos, es un resultado clsico aunque no inmediato.
Tomemos ahora una funcin 2p-peridica y Dirichlet en [ p; p] : Como f tiene una cantidad
nita de mximos y mnimos en [ p; p] podemos dividir dicho intervalo en una cantidad nita
de subintervalos de forma tal que f sea montona en cada uno de ellos. Consecuentemente,
Z
1 p n t
an = f (t) cos dt
p p p
puede expresarse como una suma nita de integrales del tipo
Z
1 b n t
f (t) cos dt
p a p
con f montona en [a; b]. Aplicndole el lema anterior a esta integral tenemos que
Z b Z Z b
n t n t n t
f (t) cos dt = f (a) cos dt + f (b) cos dt =
a p a p p
pf (a) n n a pf (b) n b n
= sin sin + sin sin :
n p p n p p
Ahora, como f es acotada existe M tal que jf (t)j M para todo t; y entonces acotando la
suma anterior queda
Z b
n t 4pM
f (t) cos dt :
a p n
Por ltimo, como el coeciente era una suma nita de integrales de este tipo, concluimos que
existe una constante c (que no depende de n) tal que
c
jan j 8 n 2 N:
n
Anlogamente, se prueba que en estas condiciones existe una constante c tal que
c
jbn j 8 n 2 N:
n
Supongamos ahora que f es 2p-peridica, continua y Dirichlet en [ p; p] ; y que existe f 0 en

casi todo punto y es Dirichlet en [ p; p] ; entonces calculamos los coecientes de Fourier de f
integrando por partes (notar que f 0 resulta acotada e integrable por ser Dirichlet):
Z Z p
1 p n t p n t p p n t
an = f (t) cos dt = f (t) sin f 0 (t) sin dt =
p p p n p p n p p p
Z
p 1 p 0 n t
= 0 f (t) sin dt (1.11)
n p p p
pues sin ( n ) = sin (n ) = 0:

Pero Z
1 p 0 n t
f (t) sin dt = b0n = coeciente de f 0 ;
p p p
y como f 0 est dentro del razonamiento anterior, sabemos que existe c tal que
c c
a0n y b0n 8n2N
n n
(estamos denotando con 0 los coecientes de f 0 ), as que tomando mdulo arriba queda
p 0 pc 1
jan j = b :
n n n2
Anlogamente, usando que f es continua y que f (p) = f ( p), se ve que existe una constante c~
tal que
c~
jbn j 8 n 2 N:
n2
Motivados por todo este cuenterio, ponemos la siguiente denicin:
Denicin 1.30 Si fcn gn2N es una sucesin que converge a cero, diremos que es de orden 1=nk
si existe una constante M tal que
1
jcn j M k
n
para todo n. Otra forma de decir esto es que fcn gn2N decrece al menos como (la sucesin)
1=nk n2N :
Esta no es la denicin de orden ms precisa ni la forma de determinar velocidad de conver-

gencia ms ajustada (por ejemplo, por qu quedarnos con k natural en lugar de usar cualquier
otro exponente?) pero alcanza para lo que nosotros queremos establecer.
Ejemplo 1.31 Si
4
n2
si n es par
cn = ;
0 si n es impar
entonces fcn gn2N es de orden 1=n2 pero no de orden 1=n3 .
Para seguir con el razonamiento que traamos, vamos a poner todo en un teorema:
Teorema 1.32 Sea f (t) una funcin de perodo 2p; entonces:
1. Si f es Dirichlet en [ p; p] ; entonces sus coecientes de Fourier son ambos de orden

(al menos) 1=n (es decir, existe M tal que jan j M=n y jbn j M=n 8 n). Si f tiene
discontinuidades no evitables (es decir, saltos por ser f Dirichlet), entonces sus coecientes
de Fourier no pueden decrecer ambos ms rpido que 1=n (decrecer ms rpido en el sentido
de la demostracin, ver).
2. Si f es Dirichlet en [ p; p] y continua, y existe f 0 en casi todo punto y es Dirichlet en

[ p; p] ; entonces los coecientes de Fourier de f son ambos de orden (al menos) 1=n2 (es
decir, existe M tal que jan j M=n2 y jbn j M=n2 8 n). Si f 0 tiene discontinuidades,
entonces los coecientes de Fourier de f no pueden decrecer ambos ms rpido que 1=n2 .
3. En general, si f es Dirichlet en [ p; p] y continua, y f 0 ; f 00 ; :::; f (k) existen todas, son

Dirichlet en [ p; p] y continuas, y f (k+1) existe en casi todo punto y es Dirichlet en [ p; p] ;
entonces sus coecientes de Fourier son ambos de orden (al menos) 1=nk+2 (es decir, existe
M tal que jan j M=nk+2 y jbn j M=nk+2 8 n). Si f (k+1) tiene discontinuidades, entonces
los coecientes de Fourier de f no pueden decrecer ambos ms rpido que 1=nk+2 .
Demostracin.
1. Que los coecientes de Fourier de f decrecen al menos como 1=n ya lo probamos, veamos
que no pueden decrecer ms rpido ambos: para eso, supongamos que si, o sea que existe
M y > 0 tal que
M M
jan j 1+
y jbn j 8 n 2 N:
n n1+
Llamo
1
a0 X n t n t
g (t) = + an cos + bn sin
2 p p
n=1
(el miembro de la derecha es la serie de Fourier de f; que converge para todo t pero no
necesariamente a f ), entonces
n t n t 2M
an cos + bn sin 8 t 2 R;
p p n1+
y como la serie
1
X 1
X
2M 1
1+
= 2M 1+
n n
n=1 n=1
R1
converge (pues 1 1=t1+ dt = 1= ; es decir, la integral converge), el Teorema 1.12 me
dice que g es continua en R. Pero f (t) = g (t) en todos los t0 s donde f es continua, y
esto quiere decir que f es continua o tiene discontinuidades evitables (pensar), lo cual
contradice nuestras hiptesis.
2. Que los coecientes de Fourier de f decrecen al menos como 1=n2 ya lo probamos, veamos
que no pueden decrecer ms rpido ambos: para eso, supongamos que si, o sea que existe
M y > 0 tal que
M M
jan j y jbn j 8 n 2 N:
n2+ n2+
Como f es continua, tenemos que
1
a0 X n t n t
f (t) = + an cos + bn sin ;
2 p p
n=1
y si miro la serie derivada trmino a trmino, tenemos que

1
X 0 1
X
n t n t n an n t n an n t
an cos + bn sin = sin + cos ;
p p p p p p
n=1 n=1
(1.12)
y
n an n t n an n t 2n M 2 M 1
sin + cos 2+
= 8 t 2 R;
p p p p p n p n1+
y como la serie
1
X 1
2 M 1 2 MX 1
=
p n1+ p n1+
n=1 n=1
converge, el Teorema 1.14 nos dice que f tiene derivada continua; lo cual contradice nues-
tras hiptesis.
3. Se prueba usando induccin en n y los dos puntos anteriores.
Nota 1.33 (sutil) Fijarse que en el enunciado de (1) dice Si f tiene discontinuidades no
evitables, en cambio en (2) dice Si f 0 tiene discontinuidades, esto es porque hay un teorema
que dice que las funciones derivadas no pueden tener discontinuidades evitables, ver Spivak pag.
262.
Ejemplo 1.34
1. Si f (t) es la funcin de perodo 2 tal que f (t) = jtj si t 2 [ ; ); ya calculamos sus

coecientes de Fourier y nos dio bn = 0 8 n; a0 = ; y
4
n2
si n es impar
an = ;
0 si n es par
es decir que son de orden 1=n2 pero no ms, y eso es porque f es continua pero f 0 es
discontinua.
2. Si f es tal que sus coecientes de Fourier son
7 n
an = y bn = p ;
n3 n10 + 1
entonces jan j = 7n3 ; y pn 10 jbn j p n ; de donde se deduce que ambos son de orden
2 n n10
3
1=n y no ms, es decir que f tiene derivada continua y derivada segunda discontinua.
1.7. Derivacin e integracin de series de Fourier
Toda la seccin anterior, adems de ser til para sabercuantos trminos debemos usar para
obtener una buenaaproximacin, nos permite sospechar que va a pasar cuando integremos y/o
derivemos una serie de Fourier. De Anlisis I, uno sabe que en general al integrar una funcin
obtenemos una funcin mejor, y que al derivarla obtenemos una funcin peor(por ejemplo,
en cuanto a cuantas derivadas tiene). Esta situacin tambin se observa en las series de Fourier:
supongamos que tenemos una funcin 2p-peridica y Dirichlet en [ p; p] ; y construimos su serie
de Fourier
1
a0 X n t n t
f + an cos + bn sin :
2 p p
n=1
Si derivamos trmino a trmino, obtenemos la serie trigonomtrica

1
X n an n t n bn n t
sin + cos ;
p p p p
n=1
cuyos coecientes decrecen ms lentamente, y por lo tanto la serie converge peor (si es que
converge). Por otro lado, si integramos trmino a trmino obtenemos
Z t X 1 Z t Z t
a0 n x n x
dx + an cos dx + bn sin dx =
0 2 0 p 0 p
n=1
1
X an p
a0 n t bn p t
= t+ sin cos n 1
2 n p n p
n=1
X1 1
a0 p bn X an p n t bn p n t
= t+ + sin cos ;
2 n n p n p
n=1 n=1
que es una serie (no trigonomtrica, salvo que a0 = 0) que converge mejor (y efectivamente,
converge). Ms an, con f como tomamos nosotros, se puede ver que esta serie converge a
una funcin continua en R, pues los coecientes fan ; bn gn2N ; son de orden 1=n2 . Para estudiar
formalmente esto, comenzamos con un resultado ya probado :
Lema 1.35 Sea f : R ! R una funcin de perodo 2p,continua, Dirichlet en [ p; p], y existe f 0
en casi todo punto y es Dirichlet en [ p; p] : Entonces los coecientes de Fourier de f y los de
f 0 se relacionan de la siguiente manera:
n n
an;f 0 = bn;f y bn;f 0 = an;f
p p
Demostracin. La segunda igualdad fue probada en el desarrollo de (1.11), cuando estudibamos

el orden de los coecientes. La otra se demuestra de manera absolutamente anloga (ejercicio).
Esta sencilla observacin nos permite probar el siguiente teorema:

Teorema 1.36 Sea f : R ! R una funcin peridica de perodo 2p, continua, Dirichlet en
[ p; p], y tal que existe f 0 en casi todo punto y es Dirichlet en [ p; p]. Entonces la serie de
Fourier de f 0 se puede encontrar derivando trmino a trmino la serie de Fourier de f ; ms
precisamente,
X1
d n t n t
f0 an cos + bn sin :
dt p p
n=1
donde fa0 ; an ; bn gn2N son los coecientes de Fourier de f .
Demostracin. Primero, notar que

Z p
1 1
a0;f 0 = f 0 (t)dt = (f (p) f ( p)) = 0
p p p
(pues f es continua). Derivando trmino a trmino la serie de Fourier de f obtenemos
1
X n an n t n bn n t
sin + cos ,
p p p p
n=1
y teniendo en cuenta el calculo anterior y el Lema 1.35, esta es la serie de Fourier de f 0 :

Notar que en la demostracin anterior, no hemos apelado a ningn resultado de convergencia
que nos permita derivar trmino a trmino. Directamente lo hemos hecho, y luego constatamos
que el resultado obtenido es un objeto conocido (la serie de Fourier de f 0 ). En particular, eso
signica que en nuestras hiptesis dicha serie converge para todo t.
La situacin con respecto a integrar presenta la siguiente singularidad: si f es una funcin

peridica, no es cierto que una primitiva de f tambin lo sea, de hecho, ni siquiera es cierto que
f tenga primitivas peridicas.
Observacin 1.37R 1. Si f : R!R es una funcin integrable de perodoR 2p, a 2 R, y den-

t p
imos F (t) = a f , entonces g es peridica de perodo 2p si y slo si p f = 0, pues para
todo t 2 R vale
Z t+2p Z t Z t+2p Z p
F (t + 2p) F (t) = f f= f= f.
0 0 t p
Es decir, F es peridica si y slo si a0;f = 0 (el coeciente de Fourier constate de f ).

2. En las condiciones del punto anterior, si h = f 21 a0;f entonces f y h tienen los mismos
coecientes de Fourier, salvo posiblemente por a0;h , que vale cero. Es decir,
a0;h = 0; an;h = an;f ; bn;h = bn;f 8 n 2 N.
Esto se deduce inmediatamente de (1.7).
Teorema 1.38 Sea f (t) una funcin peridica de perodo 2p; y Dirichlet en [ p; p], y de-
notemos fa0 ; an ; bn gn2N sus coecientes de Fourier. Entonces la integral de f se puede calcular
integrando trmino a trmino su serie de Fourier; ms precisamente,
Z t Z t X1 Z t
a0 n x n x
f (x) dx = dx + an cos + bn sin dx:
a a 2 a
n=1
p p
Rt
En particular, el miembro de la derecha es la serie de Fourier de la funcin F (t) = a f (x) dx,
cuando esta es peridica (sii a0 = 0 segn la observacin anterior).
Rt
Demostracin. Primero supongamos que a0 = 0 y denamos F (t) = 0 f (es decir, suponemos
a = 0). Entonces F es peridica de perodo 2p, continua, y F 0 = f en todos los puntos donde
f es continua (es decir, salvo nitos puntos en ). Eso me dice adems que F es Dirichlet en
[ p; p]: acotada pues es continua y peridica, y con una cantidad nita de extremos locales en
[ p; p] ya que dichos extremos pueden estar en puntos donde F 0 no existe (nitos en [ p; p]) o
donde f = 0; y estos ltimos tambin son nitos en [ p; p] ya que f es Dirichlet en [ p; p] (no
es intencin poner tanto nfasis en este hecho tampoco). Con todo esto, el teorema anterior nos
dice que
p p
an;F = bn y bn;F = an , n 2 N,
n n
de donde podemos concluir (por el teorema de Dirichlet, 1.24) que
1
a0;F X p t p n t
F (t) = + bn cos n + an sin , (1.13)
2 n p n p
n=1
a p P1 bn
en particular la serie converge para todo t; y 0 = F (0) = 0;F
2 n=1 n (notar que esta serie
converge pues los coecientes bn son de orden 1=n). Es decir,
1
a0;F p X bn
= (1.14)
2 n
n=1
Por otro lado, si integramos trmino a trmino la serie de Fourier de f y usando (1.14) y
(1.13) en ese orden, obtenemos
X1 Z t X1
n x n x an p n t bn p t
an cos + bn sin dx = sin cos n 1 =
0 p p n p n p
n=1 n=1
X1
an p n t bn p t a0;F
= sin cos n + =
n p n p 2
n=1
= F (t) .
Si a0 6= 0, aplicamos lo hecho a la funcin h (t) = f (t) a20 , y utilizando la observacin 1
concluimos que
Z t X1 Z t
a0 n x n x
f (x) dx = an cos + bn sin dx,
0 2 0 p p
n=1
es decir Z Z
t X1 t
a0 n x n x
f (x) dx = t + an cos + bn sin dx.
0 2 p p
n=1 0
Por ltimo, si a 6= 0, usar que
Z t Z t Z a
f= f f,
a 0 0
y que lo hecho nos dice que esas dos integrales se pueden calcular trmino a trmino.
Ejemplo 1.39 Tomemos la funcin de perodo 2 tal que f (t) = t si t 2 [ ; );
f(t)

-3 -2 - 0 2 3
entonces los coecientes de Fourier de f son

Z
1
an = t cos (nt) dt = 0 8n
pues es la integral de una funcin impar en el intervalo [ ; ] ; y

Z
1 2 2
bn = t sin (nt) dt = cos (n ) = ( 1)n+1 :
n n
Los coecientes son de orden 1=n por ser f discontinua, la serie de Fourier de f es
1
X 1 1 1
f 2 ( 1)n+1 sin (nt) = 2 sin (t) sin (2t) + sin (3t) ;
n 2 3
n=1
y converge a la funcin
f (t) si (2n 1) < t < (2n + 1) para algn entero n

g (t) = :
0 si t = (2n 1) para algn entero n
La funcin Z t
h (t) = f (x) dx
0
Rp
es peridica de perodo 2p pues pf = 0, y para t 2 [ ; ] vale
Z t Z t
t2
h (t) = f (x) dx = xdx = :
0 0 2
Adems el teorema anterior nos dice que

1
X Z 1
X 1
X
1 t 1 1
h (t) = 2 ( 1)n+1 sin (nx) dx = 2 ( 1)n 2 cos (nt) + 2 ( 1)n+1 2 =
n 0 n n
n=1 n=1 n=1
X1 X1
1 2
= 2 ( 1)n+1 2
+ ( 1)n 2 cos (nt) ;
n n
n=1 n=1
de donde concluimos que esta ltima es la serie de Fourier de h; y por lo tanto

1
X Z Z
( 1)n+1 1 1 t2 2
2 = h (t) dt = dt = ;
n2 2 2 2 6
n=1
es decir, la serie de Fourier de h es

2 1
X 2
+ ( 1)n cos (nt) ;
6 n2
n=1
lo cual es coherente con nuestros conocimientos, pues esa es la serie de Fourier de una funcin
par, continua y con derivada discontinua.
Finalmente, si derivamos trmino a trmino la serie de f; obtenemos
2 [cos (t) cos (2t) + cos (3t) ];
que diverge para todo t (notar, sin embargo, que f 0 es peridica (de perodo 2 ; pues es cierto
que f 0 (t) = f 0 (t + 2 )), es decir este es un caso donde la serie de Fourier de la derivada no
puede calcularse derivando la serie de f; y esto no contradice el teorema, porque el problema
est en que f no es continua.
1.8. Expansiones de medio rango, efectos de la simetra
Hemos visto en algunos ejemplos, que cuando una funcin es par su serie de Fourier no tiene
senos, y cuando es impar no tiene cosenos; en est seccin vamos a ver que efectos tienen algunas
simetras en los coecientes de Fourier.
Lema 1.40 Si f es una funcin integrable de perodo 2p entonces sus coecientes de Fourier
quedan determinados de la siguiente manera:
1. Si f es par, entonces para todo n vale

Z
2 p n t
an = f (t) cos dt y bn = 0:
p 0 p
2. Si f es impar, entonces para todo n vale

Z p
2 n t
an = 0 y bn = f (t) sin dt:
p 0 p
Demostracin. Ejercicio muy simple.
La principal utilidad del lema anterior no es solo ahorrarse calcular algunos coecientes que
obviamente eran cero (y cuyo clculo innecesario es una frecuente fuente de errores), sino que
nos permite, en algunas circunstancias, encontrar desarrollos de Fourier que contengas solo senos
o solo cosenos. El caso tpico es el siguiente: supongamos que tenemos una funcin f denida
solo en el intervalo [0; p); y queremos lograr la igualdad
1
X n t
f (t) = bn sin
p
n=1
para todo t 2 [0; p); o para la mayor cantidad de t0 s posibles (por ejemplo difcilmente logremos
igualdad en los t0 s donde f es discontinua). Entonces hacemos lo siguiente: denimos f (t) =
f ( t) para t 2 ( p; 0) (recordar que comenzamos con f solamente denida en [0; p)), y as
extendida, f es impar en [ p; p); y ahora denimos f en todo R para que sea peridica de
perodo 2p; es decir ponemos f (t) = f (t + 2p) 8 t 2 R.
3p 2p p 0 p 2p 3p
0 p
As, hemos construido una funcin peridica de perodo 2p e impar, que coincide con mi funcin
original en el intervalo [0; p); por lo tanto su serie de Fourier tendr solo senos, y si por ejemplo,
tenemos f continua en (0; p) ; habremos conseguido
1
X n t
f (t) = bn sin 8 t 2 (0; p) :
p
n=1
Adems, notar que en realidad la extensin de f la hacemos virtualmente, es decir, no necesi-

tamos calcular explcitamente cuanto vale f en todo t; porque para calcular los coecientes bn
necesitamos conocer f solo en el intervalo (0; p) ; segn el lema anterior.
Ejemplo 1.41 Queremos encontrar una serie de Fourier que converge a la funcin f (t) = t2
en el intervalo (0; 1) y que contenga solo senos, entonces el razonamiento anterior nos dice que
debemos tomar Z 1
2 ( 1)n ( 1)n 4
bn = 2 t sin (n t) dt = 2 +4 3 3 3 3
;
0 n n n
y con eso noms estamos seguros de que
1
X ( 1)n ( 1)n 4
t2 = 2 +4 3 3 sin (n t) 8 t 2 (0; 1) :
n n n3 3
n=1
1
1
0.5
-1 -0.5 0.5 1
-1
0.5 1
Lo que estamos haciendo, en el fondo, es calcular la serie de Fourier de la funcin de perodo

2 tal que
t2 si 1 t<0
f (t) = 2 :
t si 0 t < 1
Exactamente de la misma manera procedemos si tenemos una funcin slo denida en [0; p)
y queremos encontrar una serie de Fourier que contenga solo cosenos y que converge a f (para
la mayor cantidad posible de t0 s): en este caso deberamos denir f (t) = f ( t) para t 2 [ p; 0)
(de forma que quede par en el intervalo [ p; p] ; y despus extender f de perodo 2p a todo R:
0 p 3p 2p p 0 p 2p 3p
De nuevo, esta funcin ser peridica de perodo 2p y par, por lo que su serie de Fourier tendr
solo cosenos, en particular si f es continua en (0; p) entonces tendremos
1
a0 X n t
f (t) = + an cos 8 t 2 (0; p)
2 p
n=1
con Z
2 p n t
an = f (t) cos dt;
p 0 p
es decir que no necesitamos calcular explcitamente la extensin de f; pues para calcular los
coecientes solo necesito saber como es f en el intervalo [0; p)
Ejemplo 1.42 Si, como en el ejemplo anterior, queremos encontrar una serie de Fourier que
converge a f (t) = t2 para todo t 2 (0; 1) pero que contenga solo cosenos, tenemos que tomar
Z 1 Z 1
( 1)n 2
an = 2 t2 cos (n t) dt = 4 2 2 para n 1; y a0 = 2 t2 dt = ;
0 n 0 3
y con eso estamos seguros de que

1
1 X ( 1)n
2
t = + 4 2 2 cos (n t) 8 t 2 (0; 1) :
3 n
n=1
1 1
0.5 0.5
0.5 1 -
1 1
Notar, que a diferencia del ejemplo anterior, ac nos quedaron coecientes de orden 1=n2 , y esto
se debe a que la funcin extendida de forma par resulta continua con derivada discontinua en
R.
Una simetra muy usada es la impar de media onda o simetra T, que se dene as:
Denicin 1.43 Si f es una funcin de perodo 2p; diremos que f tiene simetra impar de
media onda (o simetra T) si
f (t) = f (t + p) 8 t 2 R:
Notar que esta simetra depende del perodo de la funcin.
Una forma de ver que signica grcamente esto es la siguiente: si en la denicin no estuviera
el signo ; estaramos pidiendo que f tenga perodo p; por lo tanto una forma de detectar este
tipo de simetra es gracar la funcin en el intervalo [ p; p); y luego reejar con respecto al eje
t en el intervalo (0; p) : Si el resultado obtenido es la misma grca que en el intervalo ( p; 0)
tendremos simetra T
p p 3p
0 3p 2p 0 2p
p
Lema 1.44 Si f es una funcin de perodo 2p e integrable en [ p; p] y con simetra T, y

fan g1 1
n=0 ; fbn gn=1 son los coecientes de Fourier de f; entonces a0 = a2n = b2n = 0 para todo
n 1 (es decir, los coecientes con subndice par son todos nulos).
Demostracin. usando la simetra y haciendo el cambio de variables u = t + p tenemos que

Z p Z 0 Z p
1 2n t 1 2n t 1 2n t
a2n = f (t) cos dt = f (t) cos dt + f (t) cos dt =
p p p p p p p 0 p
Z 0 Z p
1 2n t 1 2n t
= [ f (t + p)] cos dt + f (t) cos dt =
p p p p 0 p
Z Z
1 p 2n (u p) 1 p 2n t
= f (u) cos du + f (t) cos dt =
p 0 p p 0 p
Z p Z p
1 2n u 1 2n t
= f (u) cos du + f (t) cos dt = 0:
p 0 p p 0 p
De manera anloga se ve que los otros coecientes son cero.
Se puede ver que (en cierta medida) la recproca del lema anterior es verdad: si los coecientes
de subndice par son nulos, entonces f tiene simetra T pues (si por ejemplo, f es continua)
1
X (2n 1) (t + p) (2n 1) (t + p)
f (t + p) = a2n 1 cos + b2n 1 sin =
p p
n=1
X1
(2n 1) t (2n 1) t
= a2n 1 cos + 2n + b2n 1 sin + 2n =
p p
n=1
X1
(2n 1) t (2n 1) t
= a2n 1( 1) cos + b2n 1( 1) sin = f (t) :
p p
n=1
Para convertir esto en una demostracin rigurosa habra que ver si toleramos en la denicin de
simetra T que la igualdad valga en casi todo punto (expresin cuyo signicado se explica en
6;5).
Combinando esta simetra con paridad e imparidad, podemos en algunas ocasiones, ahor-
rarnos el clculo de muchos coecientes de Fourier. Considerar por ejemplo la funcin de perodo
2 tal que f (t) = jtj 2 en el intervalo [ ; ] (ver Ejemplo 1.22): esta funcin es par y tiene
simetra T, por lo cual sabemos que sus coecientes de Fourier sern
a2n = 0 8 n 2 N [ f0g ; y bn = 0 8 n.
1.9. Series armnicas de Fourier
Cuando tenemos una funcin real f , se suele escribir su serie de Fourier de otra manera, que
clarica la forma en que se usan las funciones trigonomtricas para reconstruir f a partir de
coecientes. Esto no es ms que aplicar un poco de lgebra: si f es peridica de perodo 2p y
Dirichlet en [ p; p] ; construimos su serie de Fourier
1
a0 X n t n t
f + an cos + bn sin :
2 p p
n=1
p
Llamemos An = a2n + b2n ; entonces como para cada n, An = 0 si y solo si an y bn son ambos
cero, podemos sacar de la serie los trminos para los cuales An = 0; y queda
a0 X n t n t
f + an cos + bn sin =
2 p p
n tq An 6=0
a0 X an n t bn n t
= + An cos + sin :
2 An p An p
n tq An 6=0
an
Puesto que el nmero complejo An + i Abnn tiene mdulo 1; existe un nico n 2[ ; ) tal que
an bn
+i = cos ( n) + i sin ( n)
An An
(es, casualmente, el argumento principal del nmero), y entonces la serie de Fourier de f queda
a0 X n t n t
f + An cos ( n ) cos + sin ( n ) sin =
2 p p
n tq An 6=0
a0 X n t
= + An cos n
2 p
n tq An 6=0
a0 X n t
= + An cos n ;
2 p
n=1
este ltimo igual vale pues si agregamos los trminos donde An = 0 en realidad no agregamos
nada (los ponemos para que la serie quede expresada ms linda). Esa ltima serie se llama la
serie armnica de cosenos de f; el n-simo armnico de f es cos np t n ; la amplitud
de tal armnico es An ; y n es el ngulo de fase:
Esta forma de escribir la serie de Fourier de una funcin es muy usada porque permite leer
datos de la funcin directamente: nos dice que f se puede expresar superponiendo onditas:
la de menor frecuencia se llama el armnico fundamental, y todas las siguientes tienen por
frecuencia un mltiplo entero de la frecuencia fundamental, An nos dice cunto hay del n-
simo armnico, y el ngulo n nos indica cundo el n-simo armnico alcanza su mximo: si es
positivo el armnico est en retraso, y si es negativo est en adelanto.
Nota 1.45 Por supuesto que la forma en que escribamos la serie de Fourier no va a cam-
biar los hechos: los teoremas de convergencia siguen siendo los mismos (hay que leerlos con
cuidado), pero todo tiene traduccin obvia. Adems notar que la energa espectral pasa a ser
a2 P
p 20 + 1 2 k
n=1 An ; y fAn gn2N es de orden 1=n si y solo si ambos coecientes fan gn2N y
fbn gn2N son de orden 1=nk : Por ltimo, notar que si conocemos la serie armnica de cosenos de
una funcin, entonces procediendo al revs de como hicimos recin podemos construir la serie
de Fourier de f .
Nota 1.46 (otra) Podemos usar senos en lugar de cosenos y construir la serie armnica de
senos. Nosotros que ya tenemos construida la de cosenos seguimos desde esa: con la misma
notacin, llamemos n = n =2; entonces (puesto que cos (t) = sin t + 2 )
n t n t n t
cos n = sin n + = sin n ,
p p 2 p
por lo que la serie de f queda

1
a0 X n t
f + An sin n ;
2 p
n=1
que es la serie armnica de senos de f .
1.10. Separacin de variables, ecuacin del calor
Queremos resolver el siguiente problema de condiciones iniciales: dados a un nmero real y

h (x) una funcin denida en el intervalo [0; p] con h (0) = h (p) = 0; queremos encontrar una
funcin u (x; t) denida en [0; p] [0; 1) tal que cumpla
@2 @
i) a2 u (x; t) = u (x; t)
@x2 @t
ii) u (0; t) = u (p; t) = 0 (1.15)
iii) u (x; 0) = h (x) 8 x 2 [0; p]
La ecuacin (1.15i) se llama ecuacin del calor, y el sistema (1.15) es un modelo matemtico
de la siguiente situacin: imaginemos que tenemos un alambre delgado de longitud p con los
extremos a cero grado, y adems que el nico traspaso de calor es a lo largo del alambre, de
forma tal que los extremos estn siempre a cero grado. Podemos imaginar el alambre como el
segmento de recta [0; p] : Supongamos adems que la temperatura en el instante t = 0 en el
punto x es h (x) ; entonces la funcin u (x; t) que da la temperatura en cada punto x del alambre
en cada instante t 0 debe satisfacer (1.15), donde a2 es una constante que depende de la
conductividad del alambre.
El mtodo estndar para resolver el sistema (1.15) es el de separacin de variables: despus

de mucho buscar soluciones de la ecuacin (1.15i) y de no encontrarlas (el lector desconado
debera tratar de encontrar una solucin sin seguir leyendo), y ya sin nada que perder, se nos
ocurre buscar soluciones que sean de la forma
u (x; t) = H (x) G (t) ;
es decir, nos preguntamos cmo ser una funcin que sea un producto como arriba y que
adems cumpla (1.15i). Derivando obtenemos
@ @ @2
u (x; t) = H (x) G (t) = H 0 (x) G (t) ; H (x) G (t) = H 00 (x) G (t) ;
@x @x @x2
y
@
H (x) G (t) = H (x) G0 (t) ;
@t
por lo que la ecuacin (1.15i) queda
a2 H 00 (x) G (t) = H (x) G0 (t) ;

o lo que es lo mismo,
H 00 (x) G0 (t)
a2 = 8 (x; t) 2 (0; p) (0; 1) (1.16)
H (x) G (t)
Como el miembro de la izquierda de (1.16) depende solo de x; y el de la derecha depende solo

de t; concluimos que deben ser constantes (si, por ejemplo, G0 (t0 ) =G (t0 ) 6= G0 (t1 ) =G (t1 ) para
t0 6= t1 ; no podra valer (1.16) pues en la izquierda tengo un valor jo, salvo que mueva x).
Entonces, existe algn valor (del cual no conocemos nada) tal que
H 00 (x) G0 (t)
a2 = = 8 (x; t) 2 (0; p) (0; 1) ;
H (x) G (t)
es decir,
a2 H 00 (x) = H (x) 8 x 2 (0; p) ; (1.17)
y
G0 (t) = G (t) 8 t 2 (0; 1) ; (1.18)
que son ecuaciones que sabemos resolver. Las condiciones (1.15ii) y (1.15iii) se transforman en
i) H (0) = H (p) = 0; y (1.19)

ii) H (x) G (0) = h (x)
respectivamente (nota: en este punto es un error muy grosero pensar que se podra tomar
1
H (x) = G(0) h (x)). Comencemos con (1.17): puesto que el polinomio P (x) = x2 a2
tiene
p 2
races =a (pensamos a > 0; esto no saca generalidad pues hemos puesto a porque la
constate de conductividad es positiva), (1.17) tiene solucin
8 p p
< ex =a+ e x =a si >0
H (x) = +x si =0
: p p
cos x =a + sin x =a si <0
donde y son constantes reales. Veamos p si alguna de

p estas soluciones nos sirve, comenzando
con (38i): si > 0 entonces H (x) = ex =a + e x =a , y H (0) = + = 0 () = ;
x
p
=a x
p
=a p
p
=a p
p
=a
p
entonces H (x) = e e ; y H (p) = e e = 2 sinh p =a =
p
0 () = 0 (pues p > 0), con lo que nos quedara H (x) = 0 8 x; y por lo tanto esta solucin
no nos sirve (nos dira que u (x; t) = 0 8 (x; t) as que no podramos lograr (1.15iii) para ninguna
temperatura inicial distinta de cero).
De manera anloga se descarta la posibilidad = 0; porque si H (x) = + x ; la nica
forma de poder cumplir p (1.19i) es con p = = 0: Analicemos entonces < 0: en tal caso
sera H (x) = pcos x =a + sin x p =a , y H (0) = p = 0 () = 0; entonces
Hp(x) = sin x =a ; y H (p) = sin p =a = 0 () p =a = n ; con n 2 N (pues
p =a > 0) con lo que nos quedara
2
an
=
p
(es decir, esos son los nicos valores de que pueden llegar a ser tiles), y
n x
H (x) = sin :
p
Recapitulemos lo hecho hasta ahora: proponemos un producto H (x) G (t) como solucin de
(1.15i) y vemos que entonces que se deben cumplir las ecuaciones (1.17) y (1.18), donde es
un valor real desconocido. Al resolver (1.17) y teniendo en cuenta que H debe cumplir (1.19i),
2
an
concluimos que los nicos valores que puede tomar son n = p ; n 2 N; y para cada
uno de esos valores tenemos una solucin de (1.17), que es
n x
Hn (x) = n sin ;
p
con n una constante real.

Seguimos: para cada uno de los n aceptables, (1.18) tiene solucin
2
nt an p t
Gn (t) = ne = ne ;
donde n es una constante real, as que terminando, concluimos que si tenemos una solucin de
(1.15i) y (1.15ii) de la forma H (x) G (t) ; entonces u (x; t) debe ser alguna de
2 2
n x an p t n x an p t
un (x; t) = Hn (x) Gn (t) = n sin ne = cn sin e ;
p p
donde n 2 N y cn es una constante real. Pero derivando y chequeando directamente se ve que

cada un es efectivamente solucin de (1.15i) y (1.15ii), con lo que tenemos el siguiente lemita:
Lemita: u (x; t) = H (x) G (t) es solucin de (1.15i) y (1.15ii) si y solo si existe n 2 N y
cn 2 R tales que u (x; t) es
2
n x an p t
cn sin e :
p
Volvamos a (1.15): nos falta agregar la condicin (1.15iii), y para eso vamos a notar lo
siguiente: si fuera
9 x
h (x) = 34 sin ;
p
entonces la funcin 2
9 x 9a p t
34 sin e
p
es solucin de (1.15) (pues sabemos que es solucin de (1.15i) y (1.15ii), y justo al poner t = 0
nos queda h (x)): En general (para cada n 2 N jo), un (x; 0) = cn sin np x ; y por lo tanto
un (x; t) es solucin de
8
> 2 @2 @
< i) a @x2 u (x; t) = @t u (x; t)
>
ii) u (0; t) = u (p; t) = 0
>
>
: iii) u (x; 0) = cn sin n x 8 x 2 [0; p]
p
Pero adems nos damos cuenta del siguiente hecho: si u (x; t) y v (x; t) son ambas soluciones
de (1.15i) y (1.15ii) entonces
u (x; t) + v (x; t)
tambin es solucin de (1.15i) y (1.15ii) (ejercicio, vericarlo, esto es gracias a que en (1.15ii)
se pide que sea igual a cero y no otra constante), por lo tanto podemos construir soluciones de
(1.15i) y (1.15ii) sumado las soluciones un que construimos hace un rato. Y as, si nos dan
9 x 34 x 934 x
h (x) = 34 sin + 9 sin + 349 sin ;
p p p
entonces la funcin
2 2 2
9 x a9
t 34 x a34
t 934 x a934
t
34 sin e p
+ 9 sin e p
+ 349 sin e p
p p p
es solucin de (1.15) (pues sabemos que es solucin de (1.15i) y (1.15ii), y justo al poner t = 0
P PN
nos queda h (x)). En general, N n=0 un (x; 0) = n=0 cn sin
n x
p , y por lo tanto la funcin
PN
n=0 un (x; t) es solucin de
8
> 2 @2 @
> i) a @x2 u (x; t) = @t u (x; t)
<
ii) u (0; t) = u (p; t) = 0
>
> P
: iii) u (x; 0) = N cn sin n x 8 x 2 [0; p]
n=0 p
es decir, hemos resuelto (1.15) para el caso particular donde h (x) es de la forma
N
X n x
h (x) = cn sin , (1.20)
p
n=1
y la solucin es
N
X 2
n x an
t
cn sin e p
. (1.21)
p
n=1
Pero al ver esto nos damos cuenta del siguiente hecho: h (0) = h (p) = 0; as que si extiendo
h al intervalo [ p; p] de forma que sea impar y luego peridica de perodo 2p; entonces la serie
de Fourier de h converge a h; es decir, podemos poner
1
X n x
h (x) = Bn;h sin 8 x 2 [0; p]
p
n=1
donde fBn;h gn2N son los coecientes del desarrollo de senos de Fourier de h (comparar con
(1.21)). As, si en lugar de considerar una suma nita como en (1.21) consideramos la serie de
las un y elegimos cn = Bn;h , entonces la funcin
1
X 2
n x an
t
Bn;h sin e p
p
n=1
satisface (1.15iii), y es obvio que satisface (1.15ii), pero el problema es que no sabemos que
cumpla (1.15i) porque no es una suma nita. Pero para terminar, si supiramos que podemos
derivar dentro de la serie (respecto de x dos veces y respecto de t una ves) listo, porque quedara
1
2 X 1 1 c/un cumple (1.15) 1
@2u X @ 2 un X 2 @ 2 un X
2 @ # @un @u
a2 = a un = a2
= a = = :
@x2 @x2 @x2 @x2 @t @t
n=1 n=1 n=1 n=1
Se ve en el prctico que si existe M tal que jan j M 8 n; entonces se puede, por lo tanto
hemos probado el siguiente teorema:
Teorema 1.47 Si h (x) es una funcin Dirichlet en [0; p] con h (0) = h (p) = 0 y fBn;h gn2N
son los coecientes de Fourier de la serie de senos de h (i.e. extender h impar al [ p; p]),
entonces la funcin
X1 2
n x an
t
Bn;h sin e p
p
n=1
est denida en [0; p] [0; 1) y es solucin de (1.15):
Nota importante 1.48 Ninguna de las funciones un (x; t) consideradas en el desarrollo ante-
rior es solucin de (1.15), salvo que h (x) sea de la forma cn sin np x .
Ejemplo 1.49 Queremos encontrar una funcin u (x; t) denida en [0; 2] [0; 1) y que cumpla
@2 @
i) 4 2
u (x; t) = u (x; t)
@x @t
ii) u (0; t) = u (2; t) = 0
iii) u (x; 0) = h (x) 8 x 2 [0; 2]
x si 0 x < 1
donde h (x) = . Para eso, lo primero que tenemos que hacer, segn el
2 x si 1 x 2
teorema anterior, es encontrar la serie de Fourier de senos de h: Tenemos
Z 2 Z 1 Z 2
n x n x n x
Bn;h = h (x) sin dx = x sin dx + (2 x) sin dx =
0 2 0 2 1 2
2 h n n i 2 h n n i
= 2 sin + n cos + 2 2 n cos + 2 sin =
n2 2 2 2 n 2 2
8 n
= 2 2
sin :
n 2
Entonces, inmediatamente y sin ms trmites, el teorema anterior nos dice que
1
X 8 n n x (n )2 t
u (x; t) = sin sin e
n2 2 2 2
n=1
1
8 X ( 1)n+1 (2n 1) x (2n 1)2 2t
= sin e :
2
n=1
(2n 1)2 2
z
1
0.5
1
2
3
1
2
x y
1.11. Ecuacin de Ondas
Una vez entendido por completo el razonamiento hecho para resolver la ecuacin del calor,
nos metemos con la de ondas, pero ms rpido.
El problema es ms o menos as: si jamos los extremos de una cuerda de longitud p, y le
damos posicin inicial y velocidad inicial a cada punto de la cuerda, entonces la funcin y (x; t)
que da la posicin de cada punto x de la cuerda en el instante t > 0 debe cumplir la ecuacin
@2y @2y
a2 = ;
@x2 @t2
donde estamos pensando a la cuerda como el segmento [0; p]. Entonces, el problema de condi-
ciones iniciales queda as: encontrar una funcin y (x; t) que satisfaga
@2 @2
i) a2 y (x; t) = y (x; t) (1.22)
@x2 @t2
ii) y (0; t) = y (p; t) = 0 (cuerda ja en los extremos)
iii) y (x; 0) = f (x) 8 x 2 [0; p] (posicin inicial de cada punto)
@y
iv) (x; 0) = g (x) 8 x 2 [0; p] (velocidad inicial de cada punto)
@t
Proponemos y (x; t) = H (x) G (t) ; y derivando comprobamos que (1.22i) se transforman en
H 00 (x) G00 (t)

= 2 8 (x; t) 2 (0; p) (0; 1)
H (x) a G (t)
Entonces, existe algn valor (del cual no conocemos nada) tal que
H 00 (x) G00 (t)

= 2 = 8 (x; t) 2 (0; p) (0; 1) ;
H (x) a G (t)
es decir,
H 00 (x) = H (x) 8 x 2 (0; p) ; (1.23)
y
00
G (t) = a2 G (t) 8 t 2 (0; 1) ; (1.24)
que son ecuaciones que sabemos resolver. Adems la condicin (1.22ii) se transforma en
H (0) = H (p) = 0: (1.25)
La ecuacin (1.23) tiene solucin

8 p p
< ex + e x si >0
H (x) = +x si =0
: p p
cos x + sin x si <0
donde y son constantes reales, y cuando le imponemos (1.25) resulta que debe ser
2
n
= ; n 2 N;
p
(es decir, < 0) y = 0; y entonces para cada natural n tengo una solucin
n x
Hn (x) = n sin :
p
2
n
La correspondiente Gn (t) se obtiene resolviendo (1.24) para cada n = p ; y queda
an t an t
Gn (t) = n cos + n sin ;
p p
donde n y n son constantes reales. Multiplicando y unicando las constantes nos queda, en n,
que para cada natural n tenemos una solucin de (1.22i y ii)
n x an t an t
yn (x; t) = sin cn cos + dn sin ;
p p p
donde cn y dn son constantes reales.
De nuevo, observamos que si u y v son solucin de (1.22i y ii) entonces u + v tambin lo es,
lo cual nos lleva a suponer que, bajo condiciones adecuadas de convergencia, la funcin
1
X n x an t an t
y (x; t) = sin cn cos + dn sin
p p p
n=1
ser solucin de (1.22i y ii) ((1.22ii) es inmediato, y para (1.22i) lo que necesitamos es poder
derivar trmino a trmino dos veces respecto de x y dos veces respecto de t).
La condicin (1.22iii) en esta funcin queda
1
X n x
y (x; 0) = cn sin = f (x) 8 x 2 [0; p] ;
p
n=1
y esta igualdad se consigue eligiendo

Z p
2 n t
cn = f (t) sin dt;
p 0 p
o sea escribiendo f como un desarrollo de senos (y suponiendo que la extensin impar de f sea
continua). Por ltimo, (suponiendo que pueda derivar trmino a trmino)
1
@y @y X n x an t an t
y (x; t) = sin cn cos + dn sin =
@t @t p p p
n=1
1
X n x an an t an an t
sin cn sin + dn cos ;
p p p p p
n=1
por lo que la condicin (1.22iv) queda

1
X an n x
dn sin = g (x) 8 x 2 [0; p]
p p
n=1
y esta igualdad se consigue eligiendo

Z p
an 2 n t
dn = g (t) sin dt;
p p 0 p
o sea escribiendo g como un desarrollo de senos (y suponiendo que la extensin impar de f sea
continua), es decir, debemos poner
Z p
2 n t
dn = g (t) sin dt:
an 0 p
Completando los detalles tcnicos (que est en el prctico), queda probado el siguiente:
Teorema 1.50 Si f (x) y g (x) son dos funciones denidas en [0; p] tales que: f (0) = f (p) =
g (0) = g (p) = 0; la extensin impar de f tiene derivada segunda continua, y la extensin impar
de g tiene derivada continua. Entonces deniendo
Z Z p
2 p n t 2 n t
cn = f (t) sin dt y dn = g (t) sin dt;
p 0 p an 0 p
resulta que la funcin

1
X n x an t an t
y (x; t) = sin cn cos + dn sin
p p p
n=1
es solucin del problema de condiciones iniciales (1.22).

1 - Series de Fourier

Cargado por

Información del documento

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

1 - Series de Fourier

Cargado por

Copyright:

Formatos disponibles

Captulo 1

1.1. Introduccin: Series de Potencias

Estas son una clase particularmente importante de series de funciones:

Un grupo especialmente importante de series de potencias son las de la forma

La siguiente proposicin, de demostracin inmediata si se dispone de la Regla de LHopital,

Proposicin 1.4 Si f : (a "; a + ") ! R tiene n derivadas en a, entonces

f (t) Pn;a (t)

Demostracin. Ejercicio, aplicar la regla de LHopital n veces.

A esta altura conocemos dos frmulas explcitas para el resto:

Proposicin 1.5 Si f : (a "; a + ") ! R y I es el intervalo de extremos a y t, entonces:

1. Si f (n+1) existe en I, entonces

2. Si f (n+1) es integrable en I, entonces

De manera absolutamente anloga se puede ver que

Al comenzar el estudio de series, nos concentramos en la convergencia o no de las mismas.

Puesto que la serie

En el caso 1., seguimos iterativamente de la siguiente manera:

tn+1 2n+1 tn+1 n3n

1.2. Series de funciones reales

es decir, el mayor conjunto donde la serie converge.

f1 (t) + f2 (t) + f3 (t) +

Los criterios usuales para series numricas quedan ahora as:

Si ffn gn2N es una sucesin con fn (t) 6= 0 8 t 2 I y 8 n N (donde N es algn natural) y

Si ffn gn2N es una sucesin y

Ejemplo 1.11 Tomemos

1. para cada n 2 N; vale que jfn (t)j Mn 8 t 2 [a; b]; y

y entonces dado " > 0 puedo encontrar n0 2 N tal que

jS (t) S (t0 )j < " si jt t0 j < :

Ejemplo 1.13 Considerar la serie

1. para cada n 2 N; vale que jfn0 (t)j Mn 8 t 2 [a; b]; y

Entonces S(t) tiene derivada continua

Aplicando el Teorema anterior, vemos que

1.3. Funciones peridicas

Denicin 1.16 Una funcin f : R ! R ( f : R ! C) se dice peridica de perodo T si

Por ejemplo, la funcin cos (t) es peridica de perodo 2k ; k 2 N; y su perodo fundamental

es peridica de perodo 2pk 2p

Si f tiene perodo T entonces f tiene perodo kT para cualquier k 2 N (ejercicio), y las

es peridica de perodo 2p pues es suma de funciones de perodo 2p (se puede vericar

converge, entonces converge a una funcin de perodo 2p.

reacomodndola para que quede como el rea bajo f en [0:T )

1.4. Aproximacin por medio de polinomios trigonomtricos

Seguimos ahora con el problema de encontrar los coecientes a0 ; a1 ; :::; aN ; b1 ; :::; bN de SN , es

Desarrollando el integrando en (1.5) queda

Integrando el ltimo trmino de (1.8) y usando (1.7) obtenemos

donde esta ltima igualdad vale pues cuando hacemos

obtenemos la suma de todas las combinaciones del tipo

(notar que es una forma cuadrtica en a0 ; a1 ; :::; aN ; b1 ; :::; bN ).

que al igualarlas a cero nos dice que deberamos tomar

converge pues es creciente (es decir, mientras ms grande N ms grande es la suma) y

Despus de todo este trabajo hemos demostrado el siguiente teorema:

Entonces la mejor aproximacin de f por SN en el sentido de la media cuadrtica se obtiene al

2. Tomemos la funcin de perodo 2 tal que

entonces los coecientes de Fourier de f son: para n 1

As la sexta aproximacin de Fourier de f es

0.5 0.5 S2 0.5

-1 -0.5 0 0.5 1 -1 -0.5 0 0.5 1 -1 -0.5 0 0.5 1

1.5. Convergencia puntual de series de Fourier

Denicin 1.23 Si f (t) es una funcin peridica de perodo 2p e integrable en el intervalo

Entendamos qu pide el teorema y qu da: las condiciones pedidas a f (adems de ser

Notar, por ltimo, que en estas condiciones sabemos que f es integrable en [ p; p] :

La funcin DN (t) satisface:

donde g1 y g2 son las funciones de perodo 2p tales que

Ejemplo 1.25 Si consideramos la funcin de perodo 2 tal que

Nota 1.27 (y ejercicio)