UNIVERSIDAD DE CONCEPCIÓN

FACULTAD DE CIENCIAS
FÍSICAS Y MATEMATICAS
DEPARTAMENTO DE INGENIERÍA MATEMÁTICA

Serie de Fourier (S.F.), Serie de Fourier de Cosenos (S.F.C)

y Serie de Fourier de Senos (S.F.S.)

Complemento Cálculo 521234

Sea g : (−T /2, T /2) ⊂ R −→ R una función T -periódica tal que g ∈ L2 (−T /2, T /2). Recordemos que su representación en
Serie de Fourier está dada por

  X  
α0 X 2nπ 2nπ
g(x) ∼ + αn cos x + βn sin x ∀x ∈ R, (1)
2 T T
n∈N n∈N

donde
Z T /2  
2 2nπ
αn = g(x) cos x dx ∀n ∈ N ∪ {0}, (2)
T −T /2 T
Z T /2  
2 2nπ
βn = g(x) sin x dx ∀n ∈ N. (3)
T −T /2 T

Sea ahora la función f : (0, L) ⊂ R −→ R, con L > 0 tal que f ∈ L2 (0, L). Para extender f a una función periódica sobre R,
consideramos las siguientes tres opciones:

Opción 1:

Consideramos que el periodo T de la función es T = L. Entonces obtenemos una nueva función E(f ) : R −→ R, L-periódica
que satisface

E(f )(x) := f (x) ∀x ∈ (0, L).

Ası́, reemplazando T = L y g(x) = E(f )(x) en (1), (2) y (3), obtenemos que su representación en Serie de Fourier (S.F.) está
dada por
  X  
α0 X 2nπ 2nπ
E(f )(x) ∼ + αn cos x + βn sin x ∀x ∈ R,
2 L L
n∈N n∈N

donde
Z L/2  
2 2nπ
αn = E(f )(x) cos x dx ∀n ∈ N ∪ {0},
L −L/2 L
Z L/2  
2 2nπ
βn = E(f )(x) sin x dx ∀n ∈ N.
L −L/2 L

Ahora, notemos que

Z L/2   Z L   Z L  
2 2nπ 2 2nπ 2 2nπ
αn = E(f )(x) cos x dx = E(f )(x) cos x dx = f (x) cos x dx
L −L/2 L L 0 L L 0 L
y
Z L/2   Z L   Z L  
2 2nπ 2 2nπ 2 2nπ
βn = E(f )(x) sin x dx = E(f )(x) sin x dx = f (x) sin x dx
L −L/2 L L 0 L L 0 L

1
 En resumen, la S.F. está dada por
  X  
α0 X 2nπ 2nπ
E(f )(x) ∼ + αn cos x + βn sin x ∀x ∈ R,
2 L L
n∈N n∈N

Z L  
2 2nπ
αn = f (x) cos x dx ∀n ∈ N ∪ {0},
L 0 L

Z L  
2 2nπ
βn = f (x) sin x dx ∀n ∈ N.
L 0 L

Opción 2:

Construimos la extensióm par de f , EP (f ) : R −→ R, cuyo periodo es T = 2L. Esta nueva función satisface


f (−x) , x ∈ (−L, 0)
EP (f )(x) :=
f (x) , x ∈ (0, L)

Ası́, reemplazando T = 2L y g(x) = EP (f )(x) en (1), (2) y (3), obtenemos que su representación en Serie de Fourier de
Cosenos (S.F.C.) está dada por
α0 X  nπ 
EP (f )(x) ∼ + αn cos x ∀x ∈ R,
2 L
n∈N

donde
Z L
1  nπ 
αn = EP (f )(x) cos x dx ∀n ∈ N ∪ {0}.
L −L L

Notemos que
L
2 L
Z Z
1  nπ   nπ 
αn = EP (f )(x) cos x dx = f (x) cos x dx.
L −L L L 0 L

En resumen, la S.F.C. está dada por

α0 X  nπ 
EP (f )(x) ∼ + αn cos x ∀x ∈ R,
2 L
n∈N

Z L
2  nπ 
αn = f (x) cos x dx ∀n ∈ N ∪ {0}.
L 0 L

Opción 3:

Construimos la extensión impar de f , EI (f ) : R −→ R, cuyo periodo es T = 2L. Esta nueva función satisface


−f (−x) , x ∈ (−L, 0)
EI (f )(x) :=
f (x) , x ∈ (0, L)

Ası́, reemplazando T = 2L y g(x) = EI (f )(x) en (1), (2) y (3), obtenemos que su representación en Serie de Fourier de Senos
(S.F.S.) está dada por
X  nπ 
EI (f )(x) ∼ βn sin x ∀x ∈ R,
L
n∈N

2
donde
Z L
1  nπ 
βn = EI (f )(x) sin x dx ∀n ∈ N.
L −L L

Notemos que
L
2 L
Z Z
1  nπ   nπ 
βn = EP (f )(x) sin x dx = f (x) sin x dx.
L −L L L 0 L

En resumen, la S.F.S. está dada por

X  nπ 
EI (f )(x) ∼ βn sin x ∀x ∈ R,
L
n∈N

Z L
2  nπ 
βn = f (x) sin x dx ∀n ∈ N.
L 0 L

Ejemplo

Considere la función f (x) = x, x ∈ ]0, 1[.

∞
1 2X 1
1. La Serie de Fourier (S.F.) asociada está dada por f (x) ∼ − sen(2nπx). Dado M ∈ N, consideramos la S.F.
2 π n=1 2n
M
S.F. 1 2X 1
truncada SM (f ) := − sen(2nπx).
2 π n=1 2n
S.F.
En Figura 1 se muestra la gráfica de la extensión periódica de f y su Serie de Fourier truncada SM (f ) para M = 1, 2, 5 y
100. Para M = 100 vemos que se producen oscilaciones cerca de los puntos en donde la extensión periódica no es continua.
Esto se conoce como Fenómeno de Gibbs. En Figura 2 vemos un zoom en x = 1, en donde se puede apreciar con mayor
claridad dicho fenómeno.

3
 S.F.
Figura 1: Gráfica de la extensión periódica de f y su Serie de Fourier truncada SM (f ) para diferentes valores de M .

S.F.
Figura 2: Zoom en x = 1 de la gráfica de la extensión periódica de f y su Serie de Fourier truncada SM (f ) para M = 100.

∞
1 4 X 1
2. La Serie de Fourier de Cosenos (S.F.C.) asociada está dada por f (x) = − 2 cos((2n − 1)πx). Dado M ∈ N,
2 π n=1 (2n − 1)2
M
S.F.C 1 4 X 1
consideramos la S.F.C. truncada SM (f ) := − 2 cos((2n − 1)πx).
2 π n=1 (2n − 1)2
S.F.C.
En Figura 3 se muestra la gráfica de la extensión periódica par de f y su Serie de Fourier de Cosenos truncada SM (f )
para M = 1, 2, 5 y 100. A diferencia del caso anterior, para M = 100 vemos que se no producen oscilaciones debido a que
la extensión periódica es continua en R.

4
 S.F.C.
Figura 3: Gráfica de la extensión par de f y su Serie de Fourier de Cosenos truncada SM (f ) para diferentes valores de M .

S.F.C.
Figura 4: Zoom en x = 1 de la gráfica de la extensión periódica par de f y su Serie de Fourier de Cosenos truncada SM (f )
para M = 100.

∞
2 X (−1)n+1
3. La Serie de Fourier de Senos (S.F.S.) asociada está dada por f (x) ∼ sen(nπx). Dado M ∈ N, consideramos
π n=1 n
M
S.F.S 2 X (−1)n+1
la S.F.S. truncada SM (f ) := sen(nπx).
π n=1 n
S.F.S.
En Figura 5 se muestra la gráfica de la extensión periódica impar de f y su Serie de Fourier de Senos truncada SM (f )
para M = 1, 2, 5 y 100. Al igual que en el primer caso, se produce fenómeno de Gibbs en los puntos de discontinuidad.

5
 S.F.S.
Figura 5: Grafica de la extensión impar de f y su Serie de Fourier de Senos truncada SM (f ) para diferentes valores de M .

S.F.S.
Figura 6: Zoom en x = 1 de la gráfica de la extensión periódica impar de f y su Serie de Fourier de Senos truncada SM (f )
para M = 100.

MSP/msp Concepción, mayo de 2018.