SERIES DE FOURIER,

UTILIZANDO UN CONJUNTO
ORTOGONAL
Matemáticas
Escuela Politécnica Nacional (EPN)
6 pag.

Document shared on www.docsity.com

Downloaded by: fabian-garcia-9 ([email protected])
 Matemáticas Superiores
Unidad II: Series de Fourier
Sub-Unidades II.2,3,4,5,6,7: Series trigonométricas de Fourier.
Parte I

Wilfredo ANGULO

1 Introducción
En estas sub-unidades se dedica atención al estudio de las series trigonométricas de Fourier que
son mayormente empleada en muchas aplicaciones de ciencias e ingenierı́a.

2 Series trigonométricas de Fourier

Proposición 1 (Serie de Fourier Trigonométrica). Sea {1, cos(nx), sin(nx)}∞n=1 un conjunto
de funciones ortogonales en [−π, π] y suponga que f ∈ R([−π, π]). La SERIE DE FOURIER
TRIGONOMÉTRICA de f respecto del conjunto {1, cos(nx), sin(nx)}∞ n=1 viene dada por

∞
∑
a0 + [an cos(nx) + bn sen(nx)] (1)
n=1

donde los coeficientes a0 , an y bn , n > 0, son los coeficientes de Fourier de f respecto a

{1, cos(nx), sin(nx)}∞
n=1 y están dados por las fórmulas de Euler
∫ π
1
a0 = f (x) dx;
2π −π
1 π
∫
an = f (x) cos(nx) dx; n = 1, 2, . . . , (2)
π −π
1 π
∫
bn = f (x)sen(nx) dx; n = 1, 2, . . . ,
π −π

Observación 1.

1. Con el propósito de no tener que memorizar las fórmulas (1) y (2) es suficiente considerar
la siguiente versión compacta de la Proposición 1:

Proposición 2 (Serie de Fourier Trigonométrica). Sea {ϕ0 , ϕ2n−1 , ϕ2n }∞

n=1 un conjun-
to de funciones ortogonales en [−π, π] y suponga que f ∈ R([−π, π]). La SERIE DE

Document shared on www.docsity.com

Downloaded by: fabian-garcia-9 ([email protected])
2 Wilfredo ANGULO

FOURIER TRIGONOMÉTRICA de f respecto del conjunto {ϕ0 , ϕ2n−1 , ϕ2n }∞

n=1
viene dada por
∞
∑
a0 ϕ0 (x) + [an ϕ2n−1 (x) + bn ϕ2n (x)] (3)
n=1

donde los coeficientes a0 , a2n y bn , n > 0, son los coeficientes de Fourier de f respecto
a {ϕ0 , ϕ2n−1 , ϕ2n }∞
n=1 y están dados por las fórmulas de Euler

⟨f, ϕ0 ⟩R
a0 = ;
∥ϕ0 ∥2R

⟨f, ϕ2n−1 ⟩R
an = ; n = 1, 2, . . . , (4)
∥ϕ2n−1 ∥2R

⟨f, ϕ2n−1 ⟩R
bn = ; n = 1, 2, . . . ,
∥ϕ2n−1 ∥2R
donde:
ϕ0 (x) = 1, ϕ2n−1 (x) = cos(2nx) y ϕ2n (x) = sen(nx).

2. En la Proposición (1), o en su versión compacta (2), el intervalo [−π, π] tiene longitud

igual a 2π. Por esta razón, podemos restringir la proposición al espacio de funciones reales
2π-periódicas denotado y definico como

P(2π) := {f : R → R; f (x + 2π) = f (x), ∀ x ∈ R}.

De hecho, como cada término de la serie de Fourier trigonométrica tiene periódo 2π,
entonces si la serie converge, su suma será una función del espacio Cp0 (2π) que es un
subconjunto del espacio P(2π). Por lo tanto casi cualquier función f ∈ P(2π) que aparezca
en las aplicaciones puede representarse por una serie de Fourier trigonométrica bajo la
condición de que existan las integrales que definen los coeficientes de la serie. Es decir: si
f ∈ P(2π) entonces
∞
∑
f (x) ∼ a0 + [an cos(nx) + bn sen(nx)].
n=1

Ejemplo 1 (Explicado en clase). Encontrar la serie de Fourier que representa a la

función f ∈ P(2π) dada por
{
0, si −π < x < 0;
f (x) =
π − x, si 0 ≤ x < π.

Document shared on www.docsity.com

Downloaded by: fabian-garcia-9 ([email protected])
Matemáticas Superiores 3

2.1 Series trigonométricas para funciones de cualquier periodo

Las series trigonométricas se pueden definir para funciones de cualquier periodo. De hecho,
dado un entero L > 0 el espacio de funciones 2L−periódicas se define como

P(2L) := {f : R → R; f (x + 2L) = f (x), ∀ x ∈ R}.

la siguiente proposición es una extensión directa de la Proposición 1 realizando un simple cambio

de variable.

Proposición 3 (Serie de Fourier Trigonométrica). Sea

{ ( ) ( )}∞
nx nx
1, cos , sin = {ϕ0 , ϕ2n−1 , ϕ2n }∞
n=1
L L n=1

un conjunto de funciones ortogonales en [−L, L] y suponga que f ∈ R([−L, L]). La SERIE

DE FOURIER TRIGONOMÉTRICA de f respecto del conjunto {ϕ0 , ϕ2n−1 , ϕ2n }∞ n=1 viene
dada por
∞ [ ( ) ( )]
∑ nx nx
a0 + an cos + bn sin (5)
n=1
L L
donde los coeficientes a0 , an y bn , n > 0, son los coeficientes de Fourier de f respecto a
{ϕ0 , ϕ2n−1 , ϕ2n }∞
n=1 y están dados por las fórmulas de Euler

L
1
∫
a0 = f (x) dx;
2L −L

L ( )
1
∫
nx
an = f (x) cos dx; n = 1, 2, . . . , (6)
L −L L

L ( )
1
∫
nx
bn = f (x)sin dx; n = 1, 2, . . . ,
L −L L

Demostración. Realizada en clase. 

Observación 2. En la Proposición (3) el intervalo [−L, L] tiene longitud igual a 2L. Por es-
ta razón, podemos restringir la proposición al espacio de funciones de clase P(2L). De hecho,
cada término de la serie de Fourier trigonométrica tiene periódo 2L y en consecuencia si la
serie converge, su suma será una función del espacio Cp0 (2L) que es un subconjunto del es-
pacio P(2L). Por lo tanto casi cualquier función f ∈ P(2L) que aparezca en las aplicaciones
puede representarse por una serie de Fourier trigonométrica (5) a condición de que existan las
integrales que definen los coeficientes en (6).

Document shared on www.docsity.com

Downloaded by: fabian-garcia-9 ([email protected])
4 Wilfredo ANGULO

Ejemplo 2 (Explicado en clase). Encontrar la serie trigonométrica de Fourier que

representa a la función f ∈ P(4) dada por

 0, si −2 < x < −1;
f (x) = 1, si −1 < x < 1;
0, si 1 < x < 2.


2.2 Convergencia y suma de series trigonométricas de Fourier

El análisis de convergencia de una serie trigonométrica de Fourier se puede llevar a cabo de
la misma manera que se hace en el caso de series de potencias. Es decir, determinando la
sucesión de sumas parciales {Sn (x)} de la serie y aplicando los resultados que existen sobre
convergencia de series de funciones; a saber:

• convergencia puntual;

• convergencia uniforme;

• convergencia en media cuadrática.

La convergencia en media cuadrática es sin embargo las más apropiada en el análisis de señales
mediante su representación por series de Fourier, pues de alguna manera proporciona informa-
ción sobre la energı́a de la señal.
Con la siguiente definición se deja claro a que se refieren la convergencia puntual y uniforme
de una sucesión de funciones, y posteriormente se da un resultado (cuya prueba se asume) sobre
la convergencia puntual de una serie trigonométrica de Fourier.

Definición 4 (Convergencia puntual y convergencia uniforme).

{Sn (x)} una sucesión de funciones de la variable real x definidas sobre un mismo intervalo
I ⊂ R.

1. Se dice que la función

S:I→R
es el lı́mite PUNTUAL de la sucesión {Sn (x)} si para cada x ∈ I se verifica que

lı́m Sn (x) = S(x).

n→∞

En este caso se dice que la sucesión de funciones {Sn (x)} converge puntualmente a
la función S(x) en I.

2. Se dice que la función

S:I→R

Document shared on www.docsity.com

Downloaded by: fabian-garcia-9 ([email protected])
Matemáticas Superiores 5

es lı́mite UNIFORME de la sucesión {Sn (x)} si para todo ε > 0 existe un número
natural n0 ∈ N de manera que

|S(x) − Sn (x)| < ε; ∀ x ∈ I.

En este caso se dice que la sucesión de funciones {Sn (x)} converge uniformemente a
la función S(x) en I.
Los siguientes resultados proporcionan las condiciones necesarias para la convergencia pun-
tual de una serie trigonométrica de Fourier como representante de una función f (x) de la
variable real x.
Teorema 5 (Condiciones para la convergencia puntual en un intervalo abierto (−L, L)). Sean
f y f ′ son continuas por tramos en el intervalo (−L, L); es decir:
f y f ′ son continuas excepto en un número finito de puntos en (−L, L) y las
discontinuidades en esos puntos son de saltos finitos,
entonces la serie de Fourier de f en el intervalo (−L, L) converge a f (x) en un punto de
continuidad y converge hacia el valor promedio

f (x+ +
0 ) + f (x0 )
{f (x0 )} :=
2
en los puntos de discontinuidad de saltos finitos x0 ∈ (−L, L), en donde

f (x+
0 ) := lı́m f (x + h) y f (x−
0 ) := lı́m f (x − h).
h→0 h→0

En los puntos extremos x = ±L del intervalo (−L, L) la serie converge al promedio

f (−L+ ) + f (L− )
.
2
Ejemplo 3 (Explicado en clase). Analice la convergencia puntual de la serie de Fourier
que representa a la función f ∈ P(2π) dada por
{
0, si −π < x < 0;
f (x) =
π − x, si 0 ≤ x < π.

Este Teorema tiene una extensión al intervalo cerrado [−L, L] como corolario. Sin embargo
se requiere de la siguiente definición.
Definición 6 (Función suave por tramos en un intervalo cerrado). Una función se dice que es
suave por tramos en el intervalo [−L, L] si ella y su derivada f ′ son continuas por tramos en
el intervalo [−L, L].

Document shared on www.docsity.com

Downloaded by: fabian-garcia-9 ([email protected])
6 Wilfredo ANGULO

Corolario 7 (Convergencia puntual en un intervalo cerrado). Sea f una función suave por
tramos en el intervalo cerrado [−L, L] y sea x0 ∈ (−L, L). Entonces:

1. La serie de Fourier es igual a f (x0 ) si, y solamente si, x0 es un punto de continuidad.

2. La serie de Fourier es igual al promedio {f (x0 )} si, y solamente si, x0 es un punto de

discontinuidad de salto finito.

Además, si las primeras derivadas laterales en x = −L por la derecha y en x = L por la

izquierda:

f (x) + f (−L) f (x) + f (L)

f ′ (−L+ ) := lı́m + y f ′ (L− ) := lı́m− ,
x→−L x+L x→L x−L
existen, entonces la serie de Fourier converge al promedio

f (−L+ ) + f (L− )
.
2
Ejemplo 4 (Explicado en clase). Determine la serie de Fourier que representa a la
función onda cuadrada dada por
{
0, si −π ≤ x < 0;
f (x) = y f (x + 2π) = f (x),
π − x, si 0 ≤ x < π;

y analice su convergencia puntual

Document shared on www.docsity.com

Downloaded by: fabian-garcia-9 ([email protected])