Series de Fourier

Funciones periódicas

El número p es un período de f si para todo x; f (x + p) = f (x). Es claro que 0

es período de cualquier función, de modo que reservaremos la cali…cación de periódicas
para aquellas funciones que admitan un período p 6= 0: Aún hecho esto, todavía queda
un caso trivial: las funciones constantes son periódicas y cualquier número es un período.
Es fácil veri…car que si p es un período de f entonces np también lo es para
todo entero n. De modo que, excluidas las constantes, uno se imagina a los períodos
de una función como una sucesión doblemente in…nita de puntos igualmente espaciados,
de los cuales es posible seleccionar al primero de ellos que sea positivo, digamos p0 y
llamarlo período fundamental. En los casos en que esto sea cierto (que no son todos),
así lo haremos. Más precisamente, si existe p0 = min fp 2 R+ : p es período de f g,
llamaremos a p0 el período fundamental de f . en este caso, todo período será de la
forma np0 , con n entero.
Las funciones seno y coseno son periódicas con período fundamental 2 . La tangente
tiene período fundamental .
Algunas propiedades evidentes de las funciones periódicas cuya prueba se deja para
solaz del lector

(1) El conjunto de las funciones que admiten a p como período (funciones p-periódicas)
es un espacio vectorial.

(2) Si f es p-periódica, una traslación, horizontal o vertical de f (f (t a) ; f (t) + b)

también lo es.

(3) Si f es p-periódica, no pierde la periodicidad por una dilatación (o contracción)

horizontal, pero g (t) = f (!t) es p=!-periódica. Más aún, si p0 es el período
fundamental de f , p0 =! es el período fundamental de g (supongo ! > 0)

Si p0 es el período fundamental de f , f oscila ! = 1=p0 veces por unidad de

tiempo. ! es la frecuencia.

Movimiento armónico simple

Un oscilador armónico es un sistema físico que se describe con una ecuación diferencial
del tipo
y 00 + ! 2 y = 0: (1)
Cálculo III 2012 Series de Fourier

Un sistema masa resorte libre no amortiguado es un oscilador armónico. La respuesta

de este sistema se llama movimiento armónico simple. Por la naturaleza del problema,
debe ser una función periódica. Y en efecto lo es. La solución general,
y = A cos !t + B sen !t; (2)
es una combinación lineal de funciones 2 =!-periódicas, luego 2 =!-periódica. La
solución escrita en este formato explicita las condiciones iniciales del problema: A es la
posición y B la velocidad, ambas en el intante inicial t = 0:
No es tan claro, sin embargo, que 2 =! sea período fundamental de la solución.
Tampoco es obvio, mirando la solución escrita de esta manera, que se trate de una
función senoidal. Ambas cuestiones se tornan en cambio claras si escribimos
p el punto
(B; A) 2 R2 en forma polar: (B; A) = C (cos ; sen ), con C = A2 + B 2 : En este
caso, (2) se transforma en
y = C (sen cos !t + cos sen !t) = C sen (!t + ) : (3)
En esta escritura de la solución las condiciones iniciales quedan más escondidas, pero
se evidecia C como la máxima elongación del sistema (amplitud) quien, junto con ;
permite recuperar los valores iniciales. También queda clara la forma del grá…co de la
función: es un seno, con dilataciones (o contracciones, dependiendo de la comparación
contra 1 de 1=! y C) horizontales y verticales además de un corrimiento horizontal.
Claramente una función con período fundamental 2 =! y, por lo tanto, frecuencia !=2 ,
salvo que sea C = 0:

y
2

−2π −π π 2π

−2

…g. 1.

La misma familia biparamétrica de funciones se puede obtener como respuesta de

otro fenómeno físico: un movimiento circular uniforme con velocidad angular (ángulo
barrido por unidad de tiempo) ! y radio C. Si la posición 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 armónicos simples. El diccionario llama fase a cada uno de
los distintos estados sucesivos de un fenómeno. Aquí determina el estado inicial del
sistema y se llama la fase inicial o simplemente fase.

2
Cálculo III 2012 Series de Fourier

Este sistema de movimiento circular uniforme también responde a un modelo de

oscilador armónico, pero esta vez bidimensional. Sobre la partícula de masa m en
movimiento sólo actúa la fuerza de un vínculo que la mantiene a distancia C del origen,
la cual se ejerce en la dirección de este radio y hacia el centro. Si r es la posición del
punto en movimiento, la ley de Newton nos dice que

mr00 = kr;

para alguna constante positiva k, ecuación que se convierte en una versión bidimensional
de (1) si llamamos ! 2 = k=m.
A las funciones de…nidas por las ecuaciones (2) o, lo que es lo mismo, (3), las lla-
maremos funciones senoidales. Cada una de ellas está caracterizada por tres elementos:
frecuencia, fase y amplitud. En cierta forma, toda función periódica es una suma (su-
perposición) de funciones sinoidales. Esta a…rmación brutal es, por supuesto, falsa. Una
función discontinua,

…g. 2

mal podría ser suma de un número …nito de funcions de clase C 1 . Pero será verdadera
en un sentido aproximativo.

Mejor aproximación

Para hablar de aproximación de funciones hay que tener una noción 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
n
(x; y) = x y = xi yi ; (5)
i=1
! 12
1 X
n
kxk = (x; x) = 2 x2i ;
i=1
dist (x; y) = kx yk :

Las bien conocidas propiedades de estas operaciones son:

3
Cálculo 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) = (x; z) + (y; z)

PI 3. positividad de…nida: (x; x) 0; (x; x) = 0 si y sólo si x = 0:

N1. kxk 0; kxk = 0 si y sólo 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 sólo 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 de…nir distancia entre funciones sobre una clase su…cientemente
amplia que incluya a las funciones que admiten determinada periodicidad, digamos
2p periódicas. Como toda función 2p periódica queda determinada por su compor-
tamiento en cualquier intervalo de longitud 2p, bastará considerar funciones de…nidas
en el intervalo [ p; p], sabiendo que están extendidas periódicamente 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 práctica. Debe
además tenerse en cuenta que la regularidad en el intervalo elegido no se propaga a la
función extendida por periodicidad si no se toman recaudos en los extremos del intervalo.
Una función f , continua en [ p; p] debe además veri…car f ( p) = f (p) para que su
extensión 2p periódica 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 de…nición de producto interno en Rn ,
sugiere para el producto interno en R [ p; p] la siguiente de…nición:
Z
1 p
(f; g) = f (t) g (t) dt (6)
p p

(la consante p1 en la de…nición simpli…car ´algunas expresiones en el futuro). Es bastante

fácil probar que se veri…can 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 sólo si f = 0;

4
Cálculo III 2012 Series de Fourier

es falsa: R Una función f nula salvo en un punto, no es la función 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 di…eren en algunos puntos aislados. Con esta
interpretación, la operación de…nida por (6) y la norma y distancia de…nidas 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 de…nir norma y distancia signi…ca que
Z p
1
1 2
2
kf k = jf (t)j dt ;
p p
Z p
1
1 2
2
dist (f; g) = kf gk = jf (t) g (t)j dt :
p p

Ya que vamos a usar el concepto de distancia para aproximación, es conveniente

echarle una mirada crítica a esta de…nición. Decir que dos funciones son cercanas, son
parecidas, una aproxima a la otra... es decir, digamos, que dist (f; g) es un número
chico. Eso no signi…ca 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 pequeño.
Dados un plano y un punto p en R3 ; hay uno entre todos los puntos del plano que
es más cercano a p. Ese punto, q, es la proyección ortogonal de p sobre el plano. Se
caracteriza porque p q es perpendicular al plano.

p-q

…g. 3

La existencia de producto interno en R [ p; p] permite de…nir perpendicularidad y

repetir esta misma idea.
En Rn , el teorema de Pitágoras establece que dos vectores son perpendiculares si y
sólo si
kx + yk2 = kxk2 + kyk2 :

5
Cálculo III 2012 Series de Fourier

Este es un hecho de la Geometría elemental. Al hacer el cálculo de kx + yk2 siguiendo

las reglas PI,
kx + yk2 = kxk2 + kyk2 + 2 (x; y) ;
queda claro que para que valga Pitágoras, la de…nición de perpendicularidad debe ser:

x ? y si y sólo 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
período 2p es fácil pasar a funciones de otro período. 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 además todas las funciones tienen norma unitaria,
esto es si 8
< 1 si k = l
( 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 com-
binación lineal …nita se anula:
Xn

k k = 0;
k=1

tomando producto interno contra cada l; 1 l n; se tiene

!
X
n
0= k k; l = l k l k2 ) l = 0:
k=1

El teorema de Pitágoras sigue valiendo cuando los vectors son más de dos.
Teorema de Pitágoras. Si f k gnk=1 es un sistema ortogonal, entonces
2
X
n X
n
2
k = k kk :
k=1 k=1

Demostración:
2 !
X
n X
n X
n X X
k = k; j = k; j + k; j =
k=1 k=1 j=1 k=j k6=j
X
n X
n
2
= ( k; k) +0= k kk
k=1 k=1

El siguiente conjunto es un sistema ortonomal en R [ ; ]:

1
fcos nxg1 1
n=1 [ fsen nxgn=1 [ p : (7)
2

6
Cálculo III 2012 Series de Fourier

Veri…carlo es un ejercicio de Cálculo I 1

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

Entonces, sn es la mejor aproximación en media cuadrática de f desde Sn y además,

la aproximación mejora al crecer n. Esto es:
Pn 0
1. Para cualquier combinación lineal g = k=1 ck k ,

kf sn k kf gk

y vale la igualdad si y sólo si c0k = ck para todo k:

2. Si n m entonces kf sm k kf sn k :

Demostración. La prueba se basa en el argumento de la …gura 3. Ante todo, f sn

es ortogonal al subespacio Sn . Esto signi…ca que es ortogonal a toda función h 2 Sn . Y
para ello basta que sea ortogonal a cada una de las funciones l ; 1 l n de su base.
!
X n Xn
(f sn ; l ) = f ck k ; l = (f; l ) ck ( k ; l ) =
k=1 k=1
X
n
= cl ck kl = cl cl = 0:
k=1

Entonces, para g 2 Sn , puesto que también sn g 2 Sn , podemos usar pitágoras entre

f sn y sn g:

kf gk2 = kf sn + sn gk2 = kf sn k2 + ksn gk2 ;

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

última expresión, debería 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 están ordenadas en la forma
f k g1
k=1 . La razón es que cada par fcos kx; sen kxg debe mantenerse indisolublemente
unido, porque genera los armónicos simples de frecuencia k=2 . Recordemos que el ob-
jetivo de toda esta sección de aproximaciones es descomponer una función 2 periódica
como suma de armónicos simples. Por supuesto, éstos deberán ser también 2 periódicos
y, para eso, su período fundamental debe ser un submúltiplo entero de 2 . Esto es, 2 =k
con k entero: una función de la forma ak cos kx+bk sen kx: En este contexto, el teorema
de mejor aproximación se traduce de la siguinte manera.
1
Ver Notas de Cálculo, cap. 6, ejercicios 62 a 68.

7
Cálculo III 2012 Series de Fourier

Sea f una función 2 periódica. De…nimos sus por las fórmulas de Euler:
Z p 0 Z
0 1 1 1
a0 = f (x) p dx; a0 = 2a0 = f (x) dx; (8)
2
Z
1
ak = f (x) cos kxdx; k = 1; 2; :::
Z
1
bk = f (x) sen kxdx; k = 1; 2; :::

Con ello, la na suma parcial de Fourier será

1 X
n
sn (x) = a00 p + ak cos kx + bk sen kx = (9)
2 k=1

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

Entonces, sn es la mejor aproximación en media cuadrática de f desde el espacio de las

combinaciones lineales de armónicos simples de frecuencia k=2 ; k = 0; 1; :::; n: Estas
combinaciones lineales de armónicos simples son llamadas polinomios rigonométricos.
Ejemplo: Onda cuadrada. Consideremos la función 2 periódica
8
< a si <x<0
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 0 Z Z
1 2a
bk = a sen kxdx + a sen kxdx = sen kxdx =
0 0
8 4a
< k si k impar
2a 2a
= ( cos kxj0 ) = [1 cos k ] =
k :
0 si k par.
La suma parcial de Fourier resulta:
4a X sen (2k + 1) x
n

k=0
2k + 1
Si nos quedamos con cinco términos y comparamos con la función original para a = 1;
obtenemos lo siguiente:
y
1

−π π

−1

8
Cálculo III 2012 Series de Fourier

Funciones de período p = 2L
L
Si f (x) es 2L periódica, f x es 2 periódica. En efecto,

L L L
f (x + 2 ) = f x + 2L =f x :

1
Si f k (x)g1
k=1 es un s.o.n. en R [ ; ]; k L
x k=1
será un s.o.n. en R [ L; L]
para el producto interior Z L
1
(f; g) = f (x) g (x) dx:
L L

En efecto, con la sustitución L x = t que implica dx = L dt;

Z Z
1 L 1
x j x dx = k (t) j (t) dt = kj :
L L k L L
Y las fórmulas e Euler para el cálculo de los coe…cientes de Fourier serán:
Z
1 L k
ak = f (x) cos x dx; k = 0; 1; 2; :::
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

a0 X
n
k k
sn = + ak cos x + bk sen x:
2 k=1
L L

Para funciones pares e impares las fórmulas de Euler se simpli…can de manera obvia.
Si f es par, Z
2 L k
ak = f (x) cos x dx; bk = 0
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 aproximación invita a considerar límites de las

sumas parciales de Fourier convirtiéndolas en series in…nitas.

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

Se usa la notación
a0 X
1
f (x) s + ak cos kx + bk sen kx: (11)
2 k=1

9
Cálculo III 2012 Series de Fourier

para signi…car que la serie de la derecha es la serie de Fourier de f: En otras palabras,

(11) signi…ca exactamente que los números ak y bk están relacionados con la función
f por las fórmulas de Euler (8). No hay en esta expresión ninguna a…rmación 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 sucesión de sumas parciales fsn (x)g1 n=1 : Conocemos tres tipos de
convergencia y los tres nos interesan.
Convergencia en media cuadrática:

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 cuadrática) Si la función 2 periódica f es
integrable Riemann en [ ; ] ; su serie de Fourier coverge hacia ella en media cuadrática.
Teorema (convergencia puntual) Supongamos que f 2 R [ ; ] y que es 2 periódica.
Si en un punto x existen los límites laterales

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

h!0 h!0

así como derivadas laterales acotadas

f (x + h) f (x ) f (x + h) f (x+)
DL f (x) = lim y DR f (x) = lim+ ;
h!0 h h!0 h
entonces la serie de Fourier converge al promedio de los límites laterales:

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

Teorema (Convergencia uniforme) Si la función 2 periódica f tiene derivada

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

10