CÁLCULO III - CÁLCULO AVANZADO Segundo Cuatrimestre de 2021

Clase 25-10-2021 - Serie de Fourier (Parte 2)

La clase pasada definimos serie trigonométrica de Fourier asociada a una cierta función
f , definida e integrable en un intervalo [−p, p], a la serie
∞
a0 X nπ
nπ
S(x) = + an cos x + bn sin( x), (∗)
2 p p
n=1

con coeficientes
Z p
1 nπ

an = f (x) · cos x dx, n ≥ 0
p −p p
Z p
1 nπ

bn = f (x) · sin x dx, n ≥ 1. (∗∗)
p −p p

Los coeficientes dependen claramente de la función y cuando intervienen simultáneamen-

te coeficientes de varias funciones distintas, conviene hacer explı́cita esta dependencia; en
esos casos escribiremos an (f ) y bn (f ).
Una vez que asociamos a una función integrable su serie de Fourier de la manera
indicada, el problema básico al que nos enfrentamos se puede formular del modo siguiente:
”qué condiciones (suficientes) sobre la función debemos pedir para que estas aseguren la
convergencia de la serie de Fourier y cómo determinar la suma de la serie.”

La descomposición de una función en las componentes que constituyen los términos de

su serie de Fourier es un proceso de análisis de la función; la recuperación de la función
a partir de sus componentes es la sı́ntesis. Este último proceso queda fuera de nuestro
alcance.

Propiedades elementales de los coeficientes

1. Los coeficientes (∗∗) están acotados. Claramente,

1 p 1 p
Z Z
|an | ≤ |f (x)| dx y |bn | ≤ |f (x)| dx.
p −p p −p

2. Se cumple la linealidad: si g es otra función integrable en [−p, p] valen,

an (f + g) = an (f ) + an (g) y bn (f + g) = bn (f ) + bn (g).

3. Si f 0 existe y es continua,

bn (f 0 ) an (f 0 )
an (f ) = − y bn (f ) = , n ∈ N.
n n

1
 Aquı́ la continuidad y la existencia de derivada se entienden referidas a la función
extendida periódicamente. Esta propiedad se demuestra integrando por partes; en
realidad, si f es continua, es suficiente con que sea derivable a trozos y f 0 continua
a trozos (incluso valen situaciones más generales).

4. Si f es par (es decir, f (−x) = f (x)), se tiene bn (f ) = 0 para todo n y la fórmula

para an se puede escribir
2 p
Z
nπ

an = f (x) cos x dx,
p 0 p
que resulta más cómoda a la hora de hacer las cuentas.

5. Análogamente, si f es impar (es decir, f (−x) = −f (x)), se tiene an (f ) = 0 para

todo n y la fórmula para bn se puede escribir
2 p
Z
nπ

bn = f (x) sin x dx.
p 0 p

Proposición 1. Indentidad de Parseval

Sea f : R → R una función integrable, de perı́odo 2p, si la serie de Fourier asociada a f
converge uniformemente a f en [−p, p], entonces:
p ∞
a2 X 2
Z
1 2
f (x) dx = 0 + an + b2n .
p −p 2
n=1

Demostración: Notar que por hipótesis sale que f es continua, dado que es el lı́mite
uniforme de funciones continuas (los polinomios trigonométricos son continuos). Por lo
tanto f 2 es integrable (continua) en el intervalo.
Como,
∞
a0 X nπ
nπ
f (x) = + an cos x + bn sin( x),
2 p p
n=1
se tiene al multiplicar por f ,
∞
2 a0 f (x) X nπ
nπ
f (x) = + an f (x) cos x + bn f (x) sin( x),
2 p p
n=1

y la convergencia es uniforme, lo que nos permite integrar término a término en el intervalo.

Entonces,
Z p Z p ∞  Z p Z p 
2 a0 X nπ
nπ
f (x) dx = f (x) dx+ an f (x) cos x dx+bn f (x) sin( x) dx ,
−p 2 −p −p p −p p
n=1

finalmente dividiendo por p,

p ∞
a20 X 2
Z
1
f 2 (x) dx = an + b2n .


+
p −p 2
n=1

2
Observación
La Proposición 1 es válida para funciones f continuas a trozos (sin demostración).

Corolario
Sea f : R → R una función continuas a trozos y sean an y bn sus coeficientes de Fourer.
Entonces la serie
X∞
a2n + b2n
n=1
es convergente.

Convergencia puntual de la serie de Fourier

Los resultados siguientes proporcionan condiciones suficientes para la convergencia de una
serie de Fourier en un punto.

Proposición 2
Sea f una función integrable en [−p, p] que tiene derivada en el punto x0 ∈ (−p, p).
Entonces, la serie de Fourier de f converge a f (x0 ) en x0 ,

f (x0 ) = S(x0 ).

Proposición 3
Sean f y f 0 funciones continuas a trozos en [−p, p], esto es, establezcamos que f y f 0
continuas excepto en un número finito de puntos en el intervalo y con discontinuidades
sólo en estos puntos de salto finito. Entonces, la serie de Fourier de f el intervalo converge
a f (x) en un punto de continuidad. En un punto de discontinuidad x0 , la serie de Fourier
converge al promedio
−
f (x+
0 ) + f (x0 )
S(x0 ) = ,
2
−
donde f (x+
0 ) y f (x0 ) denotan el lı́mite por de derecha e izquierda, respectivamente. En
otras palabras:

f (x+
0 ) = lim f (x0 + h), f (x−
0 ) = lim f (x0 − h).
h→0+ h→0+

Observación
La Proposición 3 hace referencia a f y f 0 funciones continuas a trozos, es decir no basta con
verificar solamente la continuidad de f , hay que asegurar que f 0 sea continua a trozos en
el intervalo. Esto último asegura que la extensión periódica de f tenga derivada continua
a trozos en todo intervalo finito de R.

3
Corolario
Si f satisface las hipótesis de la Proposición 3 y todos sus coeficientes de Fourier son
iguales a cero entonces f es nula salvo en una cantidad finita de puntos del intervalo.

Corolario
Si f y g satisfacen las hipótesis de la Proposición 3 y todos sus coeficientes de Fourier de f
son iguales a los de g entonces f = g salvo en una cantidad finita de puntos del intervalo.

Veamos un ejemplo que nos sirva para aplicar los resultados vistos.

Ejemplo
Consideremos la función derivable

f (x) = x2 , en − 2 ≤ x < 2.

Su extensión 4-periódica resulta continua pero no derivable, ver Figura 1 (trazo verde). Su
extensión tiene derivada continua a trozos en los puntos x = 2k. Además, es una función
par.
Calculemos los coeficientes de Fourier de su serie asociada,

1 2 2 x3 2 8
Z Z 2
a0 = x dx = x2 dx = = ,
2 Z−2 0 3 0 3
1 2 2 2
16(−1)n
Z
nπ
nπ

an = x cos x dx = x2 cos x dx = tabla + Barrow = ,
2 Z−2 2 0 2 n2 π 2
1 2 2 nπ

bn = x sin x dx = integrando impar = 0,
2 −2 2
entonces la serie de Fourier es,
∞
4 X 16(−1)n nπ

S(x) = + 2 2
cos x .
3 n π 2
n=1

Como la función f es derivable, satisface las condiciones de la Proposición 2 en el intervalo

(−2, 2). En consecuencia, para cada x en dicho intervalo aseguramos que
∞
4 X 16(−1)n nπ

f (x) = + 2 2
cos x .
3 n π 2
n=1

En los puntos x = ±2, la extensión periódica de la función f no es derivable (ver Figura

1, trazo verde), pero existen las derivadas laterales, es decir, f 0 es continua a trozos y se
verifican las hipótesis de la Proposición 3. En consecuencia, por ejemplo para x = 2 resulta
la ecuación siguiente (usando la extensión periódica ya que f no está definida después del
2)
∞ ∞
f (2+ ) + f (2− ) 4 X 16(−1)n nπ
4 X 16(−1)n
4= = + cos 2 = + (−1)n ,
2 3 n2 π 2 2 3 n2 π 2
n=1 n=1

4
obteniéndose la serie numérica real
∞ ∞
8 X 16 π2 X 1
= ⇒ = .
3 n2 π 2 6 n2
n=1 n=1

Ahora, evaluando en otro punto tal vez podemos calcular la serie numérica real alter-
nada
∞
X (−1)n
.
n2
n=1

Consideremos x = 0, punto en el cual la función es derivable y por lo tanto podemos

asegurar que
∞ ∞
4 X 16(−1)n nπ
4 X 16(−1)n
0 = f (0) = S(0) = + cos 0 = +
3 n2 π 2 2 3 n2 π 2
n=1 n=1

despejando,
∞
π 2 X (−1)n+1
= .
12 n2
n=1

En la Figura 1 se puede apreciar como las sumas parciales Sn (x) acompañan a la

función extendida periódicamente en todo el eje real y mejoran a medida que n crece. No
presenta fenómeno de Gibbs. Remarquemos que la función es derivable en el intervalo y
casi continua (continua a trozos) su extensión derivada.

Proposición 4
Sea f una función definida en [−p, p], derivable en (−p, p), tal que f (−p) = f (p), es decir
su extensión periódica es continua, entonces la serie de Fourier asociada a f converge
ansoluta y uniformemente a f en todo R.
Más aún, los coeficientes an = O(n2 ) y bn = O(n2 ). En otras palabras, existen
constantes positivas K1 , K2 tal que

|an | ≤ K1 n2 , |bn | ≤ K2 n2 .

Observación
El ejemplo de esta clase verifica el resultado anterior, por lo tanto la serie hallada converge
a la función absoluta y uniformemente en R. Remarcamos, en este caso que los coeficientes
cumplen:
16 1
|an | = 2 · 2 , |bn | = 0, n ≥ 1.
π n

5
Figure 1: Gráfico en el doble del intervalo de definición de f para ver el comportamiento de
su extensión periódica. (a) Extensión periódica de f (verde) y S3 (x) (azúl) , (b) Extensión
periódica de f (verde) y S7 (x) (azúl)