Análisis Matemático II

Series de Fourier (parte 3)

Fernando Mejías
Polinomios trigonométricos

Definición. Sea f una función periódica con período 2𝜋 y serie de Fourier

∞
∑︁
a0 + (an cos nx + bn sen nx).
n=1

N
∑︁
(1) f (x) ≈ a0 + (an cos nx + bn sen nx).
n=1

Un polinomio trigonométrico es una función F de la forma

N
∑︁
(2) F (x) = A0 + (An cos nx + Bn sen nx),
n=1

siendo A0 , A1 ,. . . ,AN , B1 ,. . . ,BN números reales.

El error en x se define por: E(x) = | f (x) − F (x)|.

Fernando Mejías Análisis Matemático II 2/7

El error cuadrático
Error cuadrático en el intervalo [−𝜋 , 𝜋] está dado por
∫ 𝜋
(3) E= ( f (x) − F (x)) 2 dx
−𝜋

es decir
∫ 𝜋 ∫ 𝜋 ∫ 𝜋
(4) E= f 2 dx − 2 f F dx + F 2 dx.
−𝜋 −𝜋 −𝜋

∫ ∫ " N
#2
𝜋 𝜋 ∑︁
2
F dx = A0 + (An cos nx + Bn sen nx) dx
−𝜋 −𝜋 n=1
 
= 𝜋 2A0 2 + A1 2 + · · · + AN 2 + B1 2 + · · · + BN 2
N
!
∑︁
2 2 2
= 𝜋 2A0 + An + Bn .
n=1

Fernando Mejías Análisis Matemático II 3/7

El error cuadrático (continuación)

∫ ∫ " N
#
𝜋 𝜋 ∑︁
f F dx = f A0 + (An cos nx + Bn sen nx) dx
−𝜋 −𝜋 n=1
∫ ∫ " N
#
𝜋 𝜋 ∑︁
= A0 f dx + (An f cos nx + Bn f sen nx) dx
−𝜋 −𝜋 n=1
∫ 𝜋 N ∫
∑︁ 𝜋
= A0 f dx + (An f cos nx + Bn f sen nx) dx
−𝜋 n=1 −𝜋
∫ 𝜋 N
∑︁ ∫ 𝜋 ∫ 𝜋
= A0 f dx + An f cos nx dx + Bn f sen nx dx
−𝜋 n=1 −𝜋 −𝜋
N
∑︁
= 2𝜋 A0 a0 + (𝜋 An an + 𝜋Bn bn )
n=1
N
!
∑︁
= 𝜋 2A0 a0 + An an + Bn bn .
n=1
Fernando Mejías Análisis Matemático II 4/7
El error cuadrático (continuación)

∫ " N
# " N
#
𝜋 ∑︁ ∑︁
(5) E = f 2 dx − 2𝜋 2A0 a0 + An an + Bn bn + 𝜋 2A0 2 + An 2 + Bn 2 .
−𝜋 n=1 n=1

Tomando An = an y Bn = bn
∫ " N
# " N
#
𝜋 ∑︁ ∑︁
∗ 2 2 2 2 2 2 2
(6) E = f dx − 2𝜋 (2a0 + (an + bn ) + 𝜋 2a0 + (an + bn )
−𝜋 n=1 n=1
∫ " N
#
𝜋 ∑︁
2 2 2 2
(7) = f dx − 𝜋 2a0 + (an + bn ) .
−𝜋 n=1

Entonces
" N 
#
∑︁ 
∗ 2 2 2
(8) E − E = 𝜋 2(A0 − a0 ) + (An − an ) + (Bn − bn ) .
n=1

Fernando Mejías Análisis Matemático II 5/7

El error cuadrático (continuación)

" N 
#
∑︁ 
∗ 2 2 2
E − E = 𝜋 2(A0 − a0 ) + (An − an ) + (Bn − bn ) .
n=1

E − E ∗ ≥ 0, luego E ≥ E ∗ .
E = E ∗ si y sólo si A0 = a0 , A1 = a0 , . . . , AN = aN , B1 = b1 . . . , BN = bN .

Teorema 1. El error cuadrático de F (N fijo) en [−𝜋 , 𝜋] es mínimo si sólo si los

coeficientes An y Bn son los coeficientes de Fourier an y bn .

Fernando Mejías Análisis Matemático II 6/7

Dos desigualdades notables

En la medida en que N crece, E ∗ decrece. Pero E ∗ ≥ 0 y (7) vale para todo N ,

luego tenemos: 𝜓
∞ ∫
2
∑︁
2 2 1 𝜋
(9) 2a0 + (an + bn ) ≤ f (x) 2 dx (desigualdad de Bessel)
𝜋 −𝜋
n=1

y
∞ ∫
∑︁ 1 𝜋
(10) 2a0 2 + (an 2 + bn 2 ) = f (x) 2 dx (identidad de Parseval).
𝜋 −𝜋
n=1

Fernando Mejías Análisis Matemático II 7/7