Clase 25-10-2021 - Serie de Fourier (Parte 2) : Propiedades Elementales de Los Coeficientes
Clase 25-10-2021 - Serie de Fourier (Parte 2) : Propiedades Elementales de Los Coeficientes
Clase 25-10-2021 - Serie de Fourier (Parte 2) : Propiedades Elementales de Los Coeficientes
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
1 p 1 p
Z Z
|an | ≤ |f (x)| dx y |bn | ≤ |f (x)| dx.
p −p p −p
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).
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
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.
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
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
despejando,
∞
π 2 X (−1)n+1
= .
12 n2
n=1
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)