You are on page 1of 10

Series de Fourier

Funciones peridicas
El nmero p es un perodo de f si para todo x; f (x + p) = f (x). Es claro que 0
es perodo de cualquier funcin, de modo que reservaremos la calicacin de peridicas
para aquellas funciones que admitan un perodo p 6= 0: An hecho esto, todava queda
un caso trivial: las funciones constantes son peridicas y cualquier nmero es un perodo.
Es fcil vericar que si p es un perodo de f entonces np tambin lo es para
todo entero n. De modo que, excluidas las constantes, uno se imagina a los perodos
de una funcin como una sucesin doblemente innita de puntos igualmente espaciados,
de los cuales es posible seleccionar al primero de ellos que sea positivo, digamos p0 y
llamarlo perodo fundamental. En los casos en que esto sea cierto (que no son todos),
as lo haremos. Ms precisamente, si existe p0 = min fp 2 R+ : p es perodo de f g,
llamaremos a p0 el perodo fundamental de f . en este caso, todo perodo ser de la
forma np0 , con n entero.
Las funciones seno y coseno son peridicas con perodo fundamental 2 . La tangente
tiene perodo fundamental .
Algunas propiedades evidentes de las funciones peridicas cuya prueba se deja para
solaz del lector
(1) El conjunto de las funciones que admiten a p como perodo (funciones p-peridicas)
es un espacio vectorial.
(2) Si f es p-peridica, una traslacin, horizontal o vertical de f (f (t
tambin lo es.

a) ; f (t) + b)

(3) Si f es p-peridica, no pierde la periodicidad por una dilatacin (o contraccin)


horizontal, pero g (t) = f (!t) es p=!-peridica. Ms an, si p0 es el perodo
fundamental de f , p0 =! es el perodo fundamental de g (supongo ! > 0)
Si p0 es el perodo fundamental de f , f oscila ! = 1=p0 veces por unidad de
tiempo. ! es la frecuencia.
Movimiento armnico simple
Un oscilador armnico es un sistema fsico que se describe con una ecuacin diferencial
del tipo
y 00 + ! 2 y = 0:
(1)

Clculo III 2012

Series de Fourier

Un sistema masa resorte libre no amortiguado es un oscilador armnico. La respuesta


de este sistema se llama movimiento armnico simple. Por la naturaleza del problema,
debe ser una funcin peridica. Y en efecto lo es. La solucin general,
(2)

y = A cos !t + B sen !t;

es una combinacin lineal de funciones 2 =!-peridicas, luego 2 =!-peridica. La


solucin escrita en este formato explicita las condiciones iniciales del problema: A es la
posicin y B la velocidad, ambas en el intante inicial t = 0:
No es tan claro, sin embargo, que 2 =! sea perodo fundamental de la solucin.
Tampoco es obvio, mirando la solucin escrita de esta manera, que se trate de una
funcin senoidal. Ambas cuestiones se tornan en cambio claras si escribimos
el punto
p
(B; A) 2 R2 en forma polar: (B; A) = C (cos ; sen ), con C = A2 + B 2 : En este
caso, (2) se transforma en
(3)

y = C (sen cos !t + cos sen !t) = C sen (!t + ) :

En esta escritura de la solucin las condiciones iniciales quedan ms escondidas, pero


se evidecia C como la mxima elongacin del sistema (amplitud) quien, junto con ;
permite recuperar los valores iniciales. Tambin queda clara la forma del grco de la
funcin: es un seno, con dilataciones (o contracciones, dependiendo de la comparacin
contra 1 de 1=! y C) horizontales y verticales adems de un corrimiento horizontal.
Claramente una funcin con perodo fundamental 2 =! y, por lo tanto, frecuencia !=2 ,
salvo que sea C = 0:

y
2

x
2

g. 1.
La misma familia biparamtrica de funciones se puede obtener como respuesta de
otro fenmeno fsico: un movimiento circular uniforme con velocidad angular (ngulo
barrido por unidad de tiempo) ! y radio C. Si la posicin inicial del punto, sobre la
circunferencia con radio C centrada en el origen se determina con un ngulo
respecto
del semieje positivo de abscisas, las coordenadas del punto responden a las ecuaciones
x = C cos (!t + ) ;

y = C sen (!t + ) :

(4)

Ambos son movimientos armnicos simples. El diccionario llama fase a cada uno de
los distintos estados sucesivos de un fenmeno. Aqu
determina el estado inicial del
sistema y se llama la fase inicial o simplemente fase.
2

Clculo III 2012

Series de Fourier

Este sistema de movimiento circular uniforme tambin responde a un modelo de


oscilador armnico, pero esta vez bidimensional. Sobre la partcula de masa m en
movimiento slo acta la fuerza de un vnculo que la mantiene a distancia C del origen,
la cual se ejerce en la direccin de este radio y hacia el centro. Si r es la posicin del
punto en movimiento, la ley de Newton nos dice que
mr00 =

kr;

para alguna constante positiva k, ecuacin que se convierte en una versin bidimensional
de (1) si llamamos ! 2 = k=m.
A las funciones denidas por las ecuaciones (2) o, lo que es lo mismo, (3), las llamaremos funciones senoidales. Cada una de ellas est caracterizada por tres elementos:
frecuencia, fase y amplitud. En cierta forma, toda funcin peridica es una suma (superposicin) de funciones sinoidales. Esta armacin brutal es, por supuesto, falsa. Una
funcin discontinua,
y

g. 2
mal podra ser suma de un nmero nito de funcions de clase C 1 . Pero ser verdadera
en un sentido aproximativo.
Mejor aproximacin
Para hablar de aproximacin de funciones hay que tener una nocin de distancia entre
dos funciones. Esto se puede hacer de muchas maneras. Una de ellas es copiar la distancia
de vectores en Rn .
En Rn la distancia viene dada a partir de la norma que a su vez proviene del producto
interior (producto escalar, producto punto): Si x = (x1 ; :::; xn ), y = (y1 ; :::; yn ),
(x; y) = x y =

n
X
i=1

1
2

kxk = (x; x) =
dist (x; y) = kx

yk :

n
X

x2i

i=1

Las bien conocidas propiedades de estas operaciones son:


3

(5)

xi yi ;
! 12

Clculo III 2012

Series de Fourier

PI 1. conmutatividad: (x; y) = (y; x) :


PI 2. bilinealidad: (x; y + z) =

(x; y) + (x; z) ; ( x + y; z) =

PI 3. positividad denida: (x; x)

0; (x; x) = 0 si y slo si x = 0:

N1. kxk

(x; z) + (y; z)

0; kxk = 0 si y slo si x = 0:

N2. k xk = j j kxk :
La desigualdad de Cauchy-Schwarz,
j(x; y)j

kxk kyk ;

permite deducir la desigualdad de Minkowsky


N 3. kx + yk

kxk + kyk :

Y de all, las propiedades que son de esperar en una distancia.


D 1. dist (x; y)

0; dist (x; y) = 0 si y slo si x = y:

D 2. dist (x; y) = dist (y; x) :


D 3. Triangular: dist (x; z)

dist (x; y) + dist (y; z) :

Intentamos ahora denir distancia entre funciones sobre una clase sucientemente
amplia que incluya a las funciones que admiten determinada periodicidad, digamos
2p peridicas. Como toda funcin 2p peridica queda determinada por su comportamiento en cualquier intervalo de longitud 2p, bastar considerar funciones denidas
en el intervalo [ p; p], sabiendo que estn extendidas peridicamente a toda la recta.
Elegimos para trabajar la clase de funciones integrables Riemann en ese intervalo. Se
sabe que, por ejemplo, pertenecen a esta clase las funciones acotadas con una cantidad
numerable de discontinuidades. Las discontinuidades son frecuentes en la prctica. Debe
adems tenerse en cuenta que la regularidad en el intervalo elegido no se propaga a la
funcin extendida por periodicidad si no se toman recaudos en los extremos del intervalo.
Una funcin f , continua en [ p; p] debe adems vericar f ( p) = f (p) para que su
extensin 2p peridica sea continua.
Sea entonces R [ p; p] el espacio de las funciones integrables Riemann en el intervalo
[ p; p]. Se sabe que R [ p; p] es un espacio vectorial. Los valores f (t) de f en cada
punto t del intervalo juegan el papel de las coordenadas xi de un vector x. De manera
que una copia adecuada a esta circunstancia de la denicin de producto interno en Rn ,
sugiere para el producto interno en R [ p; p] la siguiente denicin:
Z
1 p
(f; g) =
f (t) g (t) dt
(6)
p p
(la consante p1 en la denicin simplicar algunas expresiones en el futuro). Es bastante
fcil probar que se verican las propiedades PI 1, PI 2, y la primera parte de PI 3,
cambiando x,y,z, por f; g; h: La segunda parte de PI 3, (f; f ) = 0 si y slo si f = 0;
4

Clculo III 2012

Series de Fourier

es falsa: R Una funcin f nula salvo en un punto, no es la funcin 0; sin embargo


(f; f ) = f 2 dt = 0: Se introduce entonces el concepto de igualdad esencial:
Z p
f = g sii
jf gj2 dt = 0:
p

Para funciones continuas, nada cambia. f = g sii f (t) = g (t) para todo t: Pero
consideraremos iguales a funciones que dieren en algunos puntos aislados. Con esta
interpretacin, la operacin denida por (6) y la norma y distancia denidas a partir de
ellas como en (5), gozan de las propiedades de producto interno, norma y distancia que
conocemos para vectores de Rn . Me permito reiterar que copiar el procedimiento (5)
para denir norma y distancia signica que
kf k =

1
p

dist (f; g) = kf

p
p

1
2

jf (t)j dt
1
p

gk =

;
p
p

jf (t)

g (t)j dt

1
2

Ya que vamos a usar el concepto de distancia para aproximacin, es conveniente


echarle una mirada crtica a esta denicin. Decir que dos funciones son cercanas, son
parecidas, una aproxima a la otra... es decir, digamos, que dist (f; g) es un nmero
chico. Eso no signica que jf (t) g (t)j sea chico para todo t. Pero en ese caso, el
conjunto donde jf (t) g (t)j no sea chico s deber ser pequeo.
Dados un plano y un punto p en R3 ; hay uno entre todos los puntos del plano que
es ms cercano a p. Ese punto, q, es la proyeccin ortogonal de p sobre el plano. Se
caracteriza porque p q es perpendicular al plano.

p
p-q

g. 3
La existencia de producto interno en R [ p; p] permite denir perpendicularidad y
repetir esta misma idea.
En Rn , el teorema de Pitgoras establece que dos vectores son perpendiculares si y
slo si
kx + yk2 = kxk2 + kyk2 :
5

Clculo III 2012

Series de Fourier

Este es un hecho de la Geometra elemental. Al hacer el clculo de kx + yk2 siguiendo


las reglas PI,
kx + yk2 = kxk2 + kyk2 + 2 (x; y) ;
queda claro que para que valga Pitgoras, la denicin de perpendicularidad debe ser:
x ? y si y slo si (x; y) = 0:
Este concepto es el que permite extender a cualquier espacio con producto interno el
argumento insinuado en la gura 3.
Se ver luego que desarrollando las ideas en el espacio de las funciones de cierto
perodo 2p es fcil pasar a funciones de otro perodo. De manera que nos limitaremos
en lo que sigue al caso p = :
Dos funciones f y g en R [ ; ] son ortogonales si (f; g) = 0. Un conjunto
f k g1
k=1 es un sistema ortogonal si sus elementos son distintos de cero y ortogonales dos
a dos: ( k ; l ) = 0 para k 6= l. Si adems todas las funciones tienen norma unitaria,
esto es si
8
si k = l
< 1
( k ; l ) = kl =
:
0
si k 6= l;

el sistema se dir ortonormal (s.o.n.).


Un sistema ortogonal f k g1
k=1 es linealmente independiente. En efecto, si una combinacin lineal nita se anula:
n
X
k k = 0;
k=1

tomando producto interno contra cada


0=

n
X

l;

k k;

k=1

n; se tiene

k l k2 )

= 0:

El teorema de Pitgoras sigue valiendo cuando los vectors son ms de dos.


Teorema de Pitgoras. Si f k gnk=1 es un sistema ortogonal, entonces
n
X

n
X

k=1

k=1

2
kk

Demostracin:
n
X

2
k

k=1

n
X

k=1
n
X

k;

n
X
j=1

k;

k)

+0=

k=1

k=j
n
X
k=1

k;

k;

k6=j

kk

El siguiente conjunto es un sistema ortonomal en R [


1
fcos nxg1
n=1 [ fsen nxgn=1 [

1
p
2

; ]:
:

(7)

Clculo III 2012

Series de Fourier

Vericarlo es un ejercicio de Clculo I 1


Teorema de la mejor aproximacin.
n
Sea f k g1
k=1 un s.o.n. en R [ p; p]. Sn el subespacio generado por f k gk=1 . Se
denen los cocientes de Fourier de f 2 R [ p; p] por ck = (f; k ) y con ellos se
construyen las sumas parciales de Fourier de f :
sn =

n
X

ck

k:

k=1

Entonces, sn es la mejor aproximacin en media cuadrtica de f desde Sn y adems,


la aproximacin mejora al crecer n. Esto es:
1. Para cualquier combinacin lineal g =
kf

Pn

0
k=1 ck k ,

sn k

kf

gk

y vale la igualdad si y slo si c0k = ck para todo k:


2. Si n

m entonces kf

sm k

kf

sn k :

Demostracin. La prueba se basa en el argumento de la gura 3. Ante todo, f sn


es ortogonal al subespacio Sn . Esto signica que es ortogonal a toda funcin h 2 Sn . Y
para ello basta que sea ortogonal a cada una de las funciones l ; 1 l n de su base.
!
n
n
X
X
(f sn ; l ) =
f
ck k ; l = (f; l )
ck ( k ; l ) =
k=1

= cl

n
X

ck

k=1

kl

= cl

cl = 0:

k=1

Entonces, para g 2 Sn , puesto que tambin sn


f sn y sn g:
kf

gk2 = kf

sn + sn

g 2 Sn , podemos usar pitgoras entre

gk2 = kf

sn k2 + ksn

gk2 ;

de donde claramente se deduce que kf sn k kf gk : Si valiese la igualdad en esta


ltima expresin, debera ser ksn gk = 0; esto es, esencialmente, g = sn . La segunda
parte es inmediata. Basta aplicar la primera con n = m y g = sn
En el caso del s.o.n. descripto en (7), las funciones no estn ordenadas en la forma
f k g1
k=1 . La razn es que cada par fcos kx; sen kxg debe mantenerse indisolublemente
unido, porque genera los armnicos simples de frecuencia k=2 . Recordemos que el objetivo de toda esta seccin de aproximaciones es descomponer una funcin 2 peridica
como suma de armnicos simples. Por supuesto, stos debern ser tambin 2 peridicos
y, para eso, su perodo fundamental debe ser un submltiplo entero de 2 . Esto es, 2 =k
con k entero: una funcin de la forma ak cos kx+bk sen kx: En este contexto, el teorema
de mejor aproximacin se traduce de la siguinte manera.
1

Ver Notas de Clculo, cap. 6, ejercicios 62 a 68.

Clculo III 2012

Series de Fourier

Sea f una funcin 2


Z
1
0
a0 =
Z
1
ak =
Z
1
bk =

peridica. Denimos sus por las frmulas de Euler:


Z
p 0
1
1
f (x) p dx;
f (x) dx;
a0 = 2a0 =
2
f (x) cos kxdx;

k = 1; 2; :::

f (x) sen kxdx;

k = 1; 2; :::

(8)

Con ello, la na suma parcial de Fourier ser


sn (x) =
=

1
a00 p

n
X

(9)

ak cos kx + bk sen kx =

k=1

n
X

a0
+
ak cos kx + bk sen kx:
2
k=1

Entonces, sn es la mejor aproximacin en media cuadrtica de f desde el espacio de las


combinaciones lineales de armnicos simples de frecuencia k=2 ; k = 0; 1; :::; n: Estas
combinaciones lineales de armnicos simples son llamadas polinomios rigonomtricos.
Ejemplo: Onda cuadrada. Consideremos la funcin 2 peridica
8
si
<x<0
< a
f (x) =
:
a
si 0 < x <
R
Entonces, como f es impar,
f (x) cos kx dx = 0 para k = 0; 1; 2; :::: Esto es,
ak = 0 8k. Por otra parte,
Z
Z 0
Z
2a
1
sen kxdx =
a
sen kxdx + a
sen kxdx =
bk =
0
0
8 4a
si k impar
< k
2a
2a
=
( cos kxj0 ) =
[1 cos k ] =
:
k
0
si k par.

La suma parcial de Fourier resulta:

4a X sen (2k + 1) x
2k + 1
k=0
n

Si nos quedamos con cinco trminos y comparamos con la funcin original para a = 1;
obtenemos lo siguiente:

y
1

Clculo III 2012

Series de Fourier

Funciones de perodo p = 2L
Si f (x) es 2L peridica, f
f

es 2

(x + 2 ) = f

Si f k (x)g1
k=1 es un s.o.n. en R [
para el producto interior

; ];

1
(f; g) =
L

peridica. En efecto,
x + 2L
k

=f
x

1
k=1

x :

ser un s.o.n. en R [ L; L]

f (x) g (x) dx:


L

En efecto, con la sustitucin L x = t que implica dx = L dt;


Z
Z
1 L
1
x j
x dx =
k (t) j (t) dt =
L L k L
L

kj :

Y las frmulas e Euler para el clculo de los coecientes de Fourier sern:


Z
k
1 L
f (x) cos
x dx;
k = 0; 1; 2; :::
ak =
L L
L
Z
1 L
k
bk =
f (x) sen
x dx;
k = 1; 2; :::
L L
L
La suma parcial de Fourier de orden n es entonces
k
k
a0 X
ak cos
+
x + bk sen
x:
sn =
2
L
L
k=1
n

Para funciones pares e impares las frmulas de Euler se simplican de manera obvia.
Si f es par,
Z
k
2 L
f (x) cos
x dx;
bk = 0
ak =
L 0
L
y si f es impar,
Z
2 L
k
ak = 0;
bk =
f (x) sen
x dx:
L 0
L
Series de Fourier
Por supuesto, el teorema de mejor aproximacin invita a considerar lmites de las
sumas parciales de Fourier convirtindolas en series innitas.
a0 X
+
ak cos kx + bk sen kx:
2
k=1
1

Se usa la notacin
f (x) s

a0 X
+
ak cos kx + bk sen kx:
2
k=1
1

(10)

(11)

Clculo III 2012

Series de Fourier

para signicar que la serie de la derecha es la serie de Fourier de f: En otras palabras,


(11) signica exactamente que los nmeros ak y bk estn relacionados con la funcin
f por las frmulas de Euler (8). No hay en esta expresin ninguna armacin acerca
de la convergencia de la serie. Hablar de convergencia de una serie de funciones, obliga
a precisar de qu tipo de convergencia se est hablando. En todo caso, se tratar de
convergencia de la sucesin de sumas parciales fsn (x)g1
n=1 : Conocemos tres tipos de
convergencia y los tres nos interesan.
Convergencia en media cuadrtica:
lim kf

sn k = 0:

n!1

Convergencia puntual:
lim sn (x) = f (x) :

n!1

Convergencia uniforme:
8"9N = N (") : (n

N ) jf (x)

sn (x)j < "; 8x) :

Los resultadosque se conocen acerca de estos roblemas son los siguientes.


Teorema (convergencia en media cuadrtica) Si la funcin 2 peridica f es
integrable Riemann en [ ; ] ; su serie de Fourier coverge hacia ella en media cuadrtica.
Teorema (convergencia puntual) Supongamos que f 2 R [ ; ] y que es 2 peridica.
Si en un punto x existen los lmites laterales
f (x ) = lim+ f (x
h!0

h)

f (x+) = lim+ f (x + h)

DR f (x) = lim+

h!0

as como derivadas laterales acotadas


DL f (x) = lim
h!0

f (x + h) f (x )
h

h!0

f (x + h) f (x+)
;
h

entonces la serie de Fourier converge al promedio de los lmites laterales:


a0 X
f (x+) + f (x )
+
ak cos kx + bk sen kx =
:
2
2
k=1
1

Teorema (Convergencia uniforme) Si la funcin 2 peridica f tiene derivada


continua en toda la recta su serie de Fourier converge uniformemente hacia ella.

10