E SCUELA P OLITÉCNICA N ACIONAL

A NÁLISIS DE F OURIER Y E CUACIONES EN D ERIVADAS PARCIALES

H OJA DE E JERCICIOS N O . 4
S ERIES DE F OURIER

Semestre 2020-B Departamento de Formación Básica

O RTOGONALIDAD DE F UNCIONES
1. Las funciones f : I ⊆ R → R y g : I ⊆ R → R con f ( x ) = sen(mπx/L) y g( x ) cos(mπx/L) consti-
tuyen una familia de funciones mutuamente ortogonales sobre el intervalo I = [− L, L]. Verificar (por
integración directa) las siguientes relaciones de ortogonalidad:
ˆ L {
( mπx ) ( nπx ) L si m = n,
cos cos dx =
−L L L 0 si m 6= n;
ˆ L ( mπx ) ( nπx )
cos sen dx = 0 para todo m, n;
−L L L
ˆ L {
( mπx ) ( nπx ) L si m = n,
sen sen dx =
−L L L 0 si m 6= n.

2. Determine en cuales de los siguientes casos es posible utilizar las relaciones trigonométricas del ejercicio
1 y para dichos casos determine el valor de la integral.
ˆ 1 ( ) ( ) ˆ 3 ( ) ( )
2πx 5πx 2πx 5πx
a) cos cos dx b) cos cos dx
−1 3 3 −3 3 3
ˆ π ˆ π
c) sen (2x ) sen (5x ) dx d) sen (2x ) sen (2x ) dx
−π −π
ˆ 2π ˆ 1/2
e) sen (2x ) sen (4x ) dx f) sen (2x ) sen (4x ) dx
−2π −1/2
ˆ 2π ˆ 1
g) sen (2x ) cos (4x ) dx h) sen (3πx ) cos (5πx ) dx
−2π −1

3. Sea f : [− L, L] → R una función continua por partes y periódica con periodo p = 2L tal que puede
representarse por la serie infinita:
∞ [ ( mπx ) ( mπx )]
a0
f (x) = + ∑ am cos + bm sen , − L ≤ x ≤ L, (1)
2 m =1
L L
Utilice el sistema trigonométrico del ejercicio 1. en la ecuación (1) para demostrar que los coeficientes de
Fourier a0 , am y bm están dados por:
ˆ ˆ ( mπx ) ˆ ( mπx )
1 L 1 L 1 L
a0 = f ( x ) dx, am = f ( x ) cos dx, bm = f ( x ) sen dx.
L −L L −L L L −L L

Dr. Esteban Guevara, PHD Página 1 de 8

 S ERIES DE F OURIER

4. (Examen Final, 2019-B) Encuentre el desarrollo en series de Fourier de la función:

{
0, si − 1 < x < 0
f (x) =
1, si 0 < x < 1.
y a partir de ella determine el valor de la suma:
1 1 1
1− + − + ...
3 5 7
5. (Prueba 1, 2019-A) Considere la función f : ]0, 2π [→ R definida por:

{
x, si 0 < x < π,
f (x) = (2)
0, si π < x < 2π.

a) Esboce (grafique) dicha función y su extensión periódica. Cuál es el periodo de esta función?
b) Redefina f de tal forma que la función resultante sea una función par en el intervalo ] − 2π, 2π [ y
llame a esta “extensión par de f ” por F.
Hint: Parta del gráfico de la función original f : ]0, 2π [→ R y “complete el gráfico” reflejando la
función con respecto al eje y. Halle la ecuación de cada una de las curvas en ese gráfico y defina
la función F para cada uno de esos intervalos, es decir para: ] − 2π, −π [, ] − π, 0[, ]0, π [ y ]π, 2π [.
El resultado debe presentarse como la ecuación (2). Alternativamente, esto también puede hacerse
utilizando la definición de función par.
c) Esboce la función F y su extensión periódica. Cuál es el periodo de esta función?
d) Determine las integrales que permitan determinar los coeficientes a0 , am y bm de la expansión en
series de Fourier de F. Importante: Solo plantee las integrales y no las resuelva. La respuesta debe
ˆ ( mπx )
1 2 2
ser expresada por ejemplo como: bm = x sen dx. No olvide analizar la paridad de
2 −2 2
las funciones dentro de la integral.
e) Redefina f de tal forma que la función resultante sea una función impar en el intervalo ] − 2π, 2π [
y llame a esta “extensión impar de f ” por G.
f ) Esboce la función G y su extensión periódica. Cuál es el periodo de esta función?
g) Determine las integrales que permitan determinar los coeficientes a0 , am y bm de la expansión en
series de Fourier de G.
No analice que ocurre en x = 0, ±π, ±2π, ...

6. Dada la función f : [0, 2π [→ R con f ( x ) = x, determine la descomposición en series de Fourier de a) la

función f y además de:

b) La extensión impar de f , dada por:

f impar : ] − 2π, 2π [ −→ R
x 7−→ x

c) La extensión par de f , dada por:

f par : ] − 2π, 2π [ −→ R
x 7−→ | x |
Esboce en todos los casos la función y su respectiva extensión periódica.

Dr. Esteban Guevara, PHD Página 2 de 8

 7. Dada la función:
f : (−π, π ) −→ R
x 7−→ e ax
con a 6= 0, determine la expansión en series de Fourier de la función f y de las extensiones pares e
impares de la función f restringida al intervalo (0, π ), es decir, f |(0,π ) . Analice los casos i) a > 0 y ii)
a < 0. Observación: Si por facilidad llamamos g = f |(0,π ) , la función g está definida simplemente como:

g : (0, π ) −→ R
x 7−→ e ax

8. Determine la representación en series de Fourier de:

f : [0, 2π [ −→ R
a) La función: π−x b) La extensión impar de f .
x 7−→
2
c) La extensión par de f .

9. Dada la función f : [0, π ] → R con f ( x ) = 1:

a) Determine la expansión en series de Fourier de f .

b) Descomponer f en una serie de (Fourier en términos de) senos.
c) Descomponer f en una serie de (Fourier de) cosenos.

10. Descomponer en una serie de Fourier de cosenos la función f :]0, π [→ R definida por:
{
1 si 0 < x ≤ h
f (x) =
0 si h < x < π,
donde 0 < h < π.

11. (Examen 1, 2019-B) Considere la función f definida por:

{
x2 , si 0 < x < 1,
f (x) =
−2, si 1 < x < 2.

y tal que f ( x ) = f ( x + 2). Plantee las integrales que permitan determinar los coeficientes a0 , am y bm de
la representación en Series de Fourier de:

a) La función f .
b) La EXTENSIÓN IMPAR de la función f .
c) COSENOS de f .
d) SENOS de F |]0,1[ , donde F es la extensión periódica de f .

En cada caso esboce la función y su extensión periódica. REMARK: En todos los casos nos referimos en
realidad a la extensión periódica de f, por ejemplo, en c) Serie de Fourier de COSENOS de la extensión
periódica de f. No resuelva las integrales.

12. (Examen Remedial, 2018-B) Considere la función f , definida por:

{√
x, si 0 < x < 1,
f (x) = √
− 2 − x, si 1<x<2
y que se muestra en la figura. Determine los coeficientes a0 , am y bm de la respresentación en Series de
Fourier de la extensión periódica de:

a) La función f utilizando CAMBIO DE INTERVALO.

Dr. Esteban Guevara, PHD Página 3 de 8

 b) La EXTESIÓN PAR de f .
c) La EXTESIÓN IMPAR de f .
d) La serie de Fourier de COSENOS de f : [0, 1] → R

En cada caso esboce la (extensión periódica de la) función y determine su período. Importante: Plantee
las integrales asociadas a cada problema y no las resuelva.

13. (Examen 1, 2019-A) Considere la función f : ]4π, 10π [→ R definida por:

{
2 − 2π,
x
si 4π < x < 8π,
f (x) =
10π − x, si 8π < x < 10π.

y tal que f ( x ) = f ( x + 6π ). Plantee las integrales que permitan determinar los coeficientes a0 , am y bm
de la representación en Series de Fourier de:

a) La función f (en el intervalo donde está definida, es decir, en ]4π, 10π [).
b) La EXTENSIÓN IMPAR de la función g donde g = F |]0,4π [ , y F es la extensión periódica de f .
Hint: La notación F |]0,4π [ se refiere a la "parte"de F que está definida en el intervalo ]0, 4π [.
c) Proponga, a partir de F, una forma alternativa de determinar los coeficientes de Fourier diferente
a la realizada en el literal a) y plantee las integrales que permitirían su determinación.

IMPORTANTE: Para todos los literales, únicamente plantee las integrales y no las resuelva. Las funcio-
nes deben estar definidas expliícitamente (como lo está f ( x )).

14. (Examen Final, 2019-B) Considere la función f definida por:

{
1 − x, si 0 < x < 1,
f (x) =
x − 1, si 1 < x < 2.

y tal que f ( x ) = f ( x + 2). Plantee las integrales que permitan determinar los coeficientes a0 , am y bm de
la representación en Series de Fourier de:

a) La función f .
b) La EXTENSIÓN IMPAR de la función f .
c) COSENOS de F |]0,1[ .
d) La función F |]1,2[ .

donde F es la extensión periódica de f . En cada caso esboce la función y su extensión periódica. RE-
MARK: En todos los casos nos referimos en realidad a la extensión periódica de la función correspon-
diente. No resuelva las integrales.

Dr. Esteban Guevara, PHD Página 4 de 8

15. (Prueba 1, 2018-B) En cada uno de los siguientes casos, la serie de Fourier correspondiente converge
hacia f ( x ) en todos los puntos en donde la función f es continua. Realice el gráfico para cada caso y
determine:

a) La serie de Fourier de senos de la función:

f : ]0, π [ −→ R
x 7−→ f ( x ) = cos( x ).

b) La serie de Fourier de cosenos de la función:

f : ]0, π [ −→ R
x 7−→ f ( x ) = | cos( x )|.

16. (Prueba 1, Examen 1, 2018-B) Encuentre la expansión en series de Fourier de la función que se muestra
en la figura 1:

I I I I
6 7 8 9 10

Figura 1: Ejercicio 16
ˆ
x sen(kx ) cos(kx )
Utilice: x cos(kx )dx = + + C, donde k, C ∈ R
k k2
17. (Examen Final, 2018-B) Hallar el desarrollo en series de Fourier de la función que se muestra en la
figura:

x
0 1 2 3 4 5 6

18. (Examen Remedial, 2018-B) Los coeficientes de la Serie de Fourier de la función f , definida por:
{
0, si − L < x < 0,
f (x) =
L, si 0<x<L
son: 
0, si m par,
a0 = L, am = 0 bm = 2L
 , si m impar.
mπ
Determine una aproximación para la serie:
∞
1 (2n − 1)π
∑ 2n − 1
sen
L
x
n =1

Dr. Esteban Guevara, PHD Página 5 de 8

19. (Examen 1, 2019-A) Muestre que:


1, − 1 < x < 0,
∞ [ ]  si
3 (−1)m − 1 1
4 m∑
+ cos (mπx ) − sen (mπx ) = x, si 0 < x < 1,
m2 π 2 mπ 

=1 1, si x = 0.
2

Hint: Intuya sobre la función para la cual esta serie representa su Serie de Fourier y determine dicha
serie. Utilice además el teorema de convergencia (de las Series de Fourier) para determinar el valor para
x = 0.

20. En este ejercicio probaremos la convergencia y hallaremos la suma de la serie:

∞
1
∑ 2
n =0 n

a) Encuentre la expansión en series de Fourier de la función:

f : [0, 2] −→ R
.
x 7−→ x2

b) Redefina la función f de tal manera que sea periódica con período 2.

c) Utilice el teorema de convergencia de series de Fourier para calcular el valor al que converge la
serie para x = 0.
∞
1
d) Determine el valor de la suma: ∑ 2
.
n =0 n

21. (Examen 1, 2018-B) A partir del desarrollo en series de Fourier de cosenos de la función f definida por:

f : [0, π ] −→ R
x 7−→ x2 ,
calcule la suma de la serie:
∞
(−1)n
∑ n2 .
n =1

Hint: Halle el desarrollo en series de Fourier de cosenos de f (es decir, de la extensión par de f ), y luego
evalúe f ( x = 0).

22. (Examen Final, 2019-A)

a) Encuentre el desarrollo en series de Fourier de la función f : (−1, 1) → R donde f ( x ) = x2 y a

partir de este resultado muestre que:
1 1 1 π2
1+ + + + ... = .
4 9 16 6
b) Desarrolle en una serie de Fourier adecuada la (extensión periódica de la) función f donde:
{
1 − 12 | x |, −2 < x < 2
f (x) =
0, 2 ≤ x < 6.

23. (Examen 1, 2019-B) Considere la función f definida por:

{
0, si 3π < x < 4π,
f (x) =
5π − x, si 4π < x < 5π.

con f ( x ) = f ( x + 2π ).

a) Determine el desarrollo en series de Fourier de la (extensión periódica de la) función f , y a partir

de ella muestre:

Dr. Esteban Guevara, PHD Página 6 de 8

 b) 
[( ) ( ) 
 0,] si − π < x < 0,
π ∞
1 − (−1) m 1 π
+ ∑ cos (mx ) + sen (mx ) = , si x = 0,
4 m =1 πm2 m 2


π − x, si 0 < x < π.

c) Utilice el resultado del literal anterior para mostrar que:

1 1 1 π2
1+ + + + ... =
9 25 49 8
24. (Examen 1, 2019-B) Considere una función f : [− L, L] → R tal que admite una representación en series
de Fourier.

a) Muestre que la forma compleja de este desarrollo está dada por:

∞
∑
mπx
f (x) = c m ei L

m=−∞

donde los coeficientes cm están dados por:

ˆ L
1
f ( x ) e −i
mπx
cm = L dx.
2L −L
( mπx )
HINT: Parta de la expresión que ud. conoce para series de Fourier y remplace el cos y el
( ) L
sen mπx
L usando las relaciones:

eiθ = cos θ + i sen θ, e−iθ = cos θ − i sen θ.

Muestre que f ( x ) se puede representar por:

∞ [ ]
a0
+ ∑ c m ei L + c m e −i L
mπx mπx
f (x) =
2 m =1

am − ibm a0
donde cm = , cm es su conjugado y llame a c0 = .
2 2
b) Determine el desarrollo de Fourier complejo de la (extensión periódica de la) función:
{
0, si − π < x < 0,
f (x) =
1, si 0 < x < π.

con f ( x ) = f ( x + 2π ). REMARK:
ˆ ˆ ˆ ˆ
−iθx
f ( x )e dx = f ( x ) (cos (θx ) − i sen (θx )) dx = f ( x ) cos (θx )dx − i f ( x ) sen (θx )dx

E JERCICIOS A DICIONALES

25. Sea p ∈ N, pruebe que las funciones:

( ) ( ) ( ) ( )
πx πx 2πx 2πx
1, cos , sen , cos , sen , ...
p p p p
son ortogonales en el intervalo [− p, p].

26. Sea f : [−π, π ] → R una función par continua a trozos con desarrollo en serie de Fourier:
∞
a0
+ ∑ [ ak cos(kx ) + bk sen(kx )].
2 k =1

Asuma que: (π ) (π )
f +x + f − x = 0, 0 < π < x.
2 2

Dr. Esteban Guevara, PHD Página 7 de 8

 y demuestre que:
a2k = 0, k = 1, 2, . . .

Encuentre además una expresión para a2k+1 , con k = 0, 2, . . . .

27. Sea f : [−π, π ] → R una función continua a trozos con desarrollo en serie de Fourier
∞
a0
f (x) = + ∑ [ ak cos(kx ) + bk sen(kx )], −π < x < π.
2 k =1

Demuestre que
ˆ π ∞
1 a20
| f ( x )|2 dx = + ∑ ( a2k + bk2 ).
π −π 2 k =1

Esta igualdad se conoce como la identidad de Parseval.

28. Sea f : [−π, π ] → R una función continua a trozos. Demuestre que las sucesiones { ak } y {bk }, que
aparecen en el desarrollo en serie de Fourier
∞
a0
f (x) = + ∑ [ ak cos(kx ) + bk sen(kx )], −π < x < π,
2 k =1

ambas convergen hacia 0.

A GRADECIMIENTOS
La sección de ejercicios adicionales de la presente hoja fue elaborada por los matemáticos Carlos Ajila
y Leonardo Montoya durante el periodo 2018-B.

Dr. Esteban Guevara, PHD Página 8 de 8