A N ÁLISIS C OMPLEJO

F UNCIONES O RTOGONALES Y S ERIES D E F OURIER .

Juan Toribio Milane

[email protected]
(October 13, 2021)

Juan T. Milane, [email protected] Análisis Complejo, Ejercicios Resueltos. UASD 1 / 13

Contenidos.
1 Funciones ortogonales.
2 Series de Fourier.
3 Series de Fourier de cosenos y senos.
4 Series complejas de Fourier.
5 Problema de Sturm-Liouville.
6 Series de Bessel y de Legendre.
6.1 Serie de Fourier-Bessel.
6.2 Serie de Fourier-Legendre.

Juan T. Milane, [email protected] Análisis Complejo, Ejercicios Resueltos. UASD 2 / 13

Funciones Ortogonales.
Ejercicios Resueltos y Propuestos.
Funciones Ortogonales.
1 Demuestre que el conjunto de funciones es ortogonal en el intervalo indicado.
Encuentre la norma de cada función del conjunto.
1 {sen x, sen 3x, sen 5x, . . .}; [0, π/2]
2 {cos x, cos 3x, cos 5x, . . .}; [0, π/2]
3 {sen nx}, n = 1, 2, 3, . . . ; [0, π]
n o
4 sen nπ
p x , n = 1, 2, 3, . . . ; [0, p]
n o
5 1, cos mπ
p x , n = 1, 2, 3, . . . ; [0, p]
n o
6 1, cos mπ mπ
p x, sen p x , n = 1, 2, 3, . . ., m = 1, 2, 3, . . . ; [−p, p]
7 En los siguientes problemas compruebe por integración directa que las funciones
son ortogonales respecto a la función peso indicada en el intervalo dado.
2
7.1- H0 (x) = 1, H1 (x) = 2x, H2 (x) = 4x2 − 2; w(x) = e−x , (−∞, ∞)
7.2- L0 (x) = 1, L1 (x) = −x + 1, L2 (x) = 2 x − 2x + 1; w(x) = e−x , [0, ∞)
1 2

Juan T. Milane, [email protected] Análisis Complejo, Ejercicios Resueltos. UASD 3 / 13

Funciones Ortogonales.
Ejercicios Resueltos y Propuestos.
Solución.
1. Para m 6= n
Z π/2
sin(2n + 1)x sin(2m + 1)xdx
0
1
Z π/2
= [cos 2(n − m)x − cos 2(n + m + 1)x]dx
2 0
π/2 π/2
1  1 
= sin 2(n − m)x − sin 2(n + m + 1)x =0
4(n − m) 0 4(n + m + 1) 0

Para m = n
Z π/2  
1 1
Z π/2
sin2 (2n + 1)xdx = − cos 2(2n + 1)x dx
0 0 2 2
π/2 π/2
1  1  π
= x − sin 2(2n + 1)x =
2 0 4(2n + 1) 0 4

1√
Por tanto : k sin(2n + 1)xk = π
2
Juan T. Milane, [email protected] Análisis Complejo, Ejercicios Resueltos. UASD 4 / 13
Funciones Ortogonales.
Ejercicios Resueltos y Propuestos.
Solución.
2. Para m 6= n
Z π/2
cos(2n + 1)x cos(2m + 1)xdx
0
1
Z π/2
= [cos 2(n − m)x + cos 2(n + m + 1)x]dx
2 0
π/2 π/2
1  1 
= sin 2(n − m)x + sin 2(n + m + 1)x =0
4(n − m) 0 4(n + m + 1) 0

Para m = n
Z π/2  
1 1
Z π/2
cos2 (2n + 1)xdx = + cos 2(2n + 1)x dx
0 0 2 2
π/2 π/2
1  1  π
= x + sin 2(2n + 1)x =
2 0 4(2n + 1) 0 4

1√
Por tanto, k cos(2n + 1)xk = π
2
Juan T. Milane, [email protected] Análisis Complejo, Ejercicios Resueltos. UASD 5 / 13
Funciones Ortogonales.
Ejercicios Resueltos y Propuestos.
Solución.
3. Para m 6= n
1
Z π Z π
sin nx sin mxdx = [cos(n − m)x − cos(n + m)x]dx
0 2 0
π π
1  1 
= sin(n − m)x −
 sin 2(n + m)x = 0
2(n − m) 0 2(n + m) 0

Para m = n
1 π
Z π   π
1 1 1
Z π
π
sin2 nxdx =

− cos 2nx dx = x − sin 2nx =
0 0 2 2 2 0 4n 0 2

Por tano, r
π
k sin nxk =
2

Juan T. Milane, [email protected] Análisis Complejo, Ejercicios Resueltos. UASD 6 / 13

Funciones Ortogonales.
Ejercicios Resueltos y Propuestos.
Solución.
4. Para m 6= n
Z p Z p 
nπ mπ 1 (n − m)π (n + m)π
sin x sin xdx = cos x − cos x dx
0 p p 2 0 p p
p
(n + m)π p

p (n − m)π   p
= sin x − sin x = 0
2(n − m)π p 0 2(n + m)π p 0

Para m = n
1 p 2nπ p p
Z p Z p   
nπ2 1 1 2nπ p
sin xdx = − cos x dx = x − sin x =
0 p 0 2 2 p 2 0 4nπ p 0 2

Por tanto r
nπ
sin x = p
p 2

Juan T. Milane, [email protected] Análisis Complejo, Ejercicios Resueltos. UASD 7 / 13

Funciones Ortogonales.
Ejercicios Resueltos y Propuestos.
Solución.
5. Para m 6= n
Z p Z p 
nπ mπ 1 (n − m)π (n + m)π
cos x cos xdx = cos x + cos x dx
0 p p 2 0 p p
p
(n + m)π p

p (n − m)π   p
= sin x + sin x = 0
2(n − m)π p 2(n + m)π 0 p 0

Para m = n
1 p 2nπ p p
Z p Z p   
nπ 1 1 2nπ p
cos2 xdx = + cos x dx = x + sin x =
0 p 0 2 2 p 2 0 4nπ p 0 2

Tambien
nπ p
Z p  Z p
nπ p
1 · cos xdx = sin x = 0 y 12 dx = p
0 p nπ p 0 0
Es decir. r
√ cos nπ x = p .

k1k = p y p 2

Juan T. Milane, [email protected] Análisis Complejo, Ejercicios Resueltos. UASD 8 / 13

Funciones Ortogonales.
Ejercicios Resueltos y Propuestos.
Solución.
6. Para m 6= n, Usamos los problemas 5. y 4:
Z p p
nπ mπ nπ mπ
Z
cos x cos xdx = 2 cos x cos xdx = 0
−p p p 0 p p
Z p Z p
nπ mπ nπ mπ
sin x sin xdx = 2 sin x sin xdx = 0
−p p p 0 p p

Tambien
Z p
1 p
Z  
nπ mπ (n − m)π (n + m)π
sin x cos xdx = sin x + sin x dx = 0
−p p p 2 −p p p
Z p p
nπ p nπ 
1 · cos xdx = sin x = 0
−p p nπ p −p
nπ p
Z p 
nπ p
1 · sin xdx = − cos x = 0
−p p nπ p −p

Juan T. Milane, [email protected] Análisis Complejo, Ejercicios Resueltos. UASD 9 / 13

Funciones Ortogonales.
Ejercicios Resueltos y Propuestos.
Solución.
y
2nπ p
Z p Z p 
nπ nπ 1 2nπ p
sin x cos xdx = sin xdx = − cos x =0
−p p p −p 2 p 4nπ p −p
Para m = n Z p Z p 
nπ 2 1 1 2nπ
cos xdx = + cos x dx = p
−p p −p 2 2 p
Z p Z p  
2 nπ 1 1 2nπ
sin xdx = − cos x dx = p
−p p −p 2 2 p
y Z p
12 dx = 2p
−p

Es decir
cos nπ x = √p,
p nπ √
k1k = 2p, y sin x = p.
p p

Juan T. Milane, [email protected] Análisis Complejo, Ejercicios Resueltos. UASD 10 / 13

Funciones Ortogonales.
Ejercicios Resueltos y Propuestos.
Solución.

2 0
Z ∞
2 ∞
2
 
e−x · 1 · 2xdx = − e−x  − e−x  = 0
7.1 −
−∞ −∞ 0
Z ∞   Z ∞   Z ∞
−x2 −x2 2
2
e · 1 · 4x − 2 dx = 2 x 2xe dx − 2 e−x dx
−∞ −∞ −∞
 ∞ Z ∞  Z ∞
−x2  −x2 −x2
= 2 − xe  + e dx − 2 e dx
−∞ −∞ −∞
 
2 0 2 ∞
 
= 2 − xe−x  − xe−x  =0
−∞ 0
Z ∞   Z ∞   Z ∞
2 2 2
Y e−x · 2x · 4x2 − 2 dx = 4 x2 2xe−x dx − 4 xe−x dx
−∞ −∞ −∞
 Z ∞  Z ∞
2 ∞
 2 2
= 4 − x2 e−x  + 2 xe−x dx − 4 xe−x dx
−∞ −∞ −∞
 0 ∞  Z ∞
2 −x2  2 −x2  2
= 4 − x e  − x e  +2 2xe−x dx = 0
−∞ 0 −∞
Las funciones son ortogonales.
Juan T. Milane, [email protected] Análisis Complejo, Ejercicios Resueltos. UASD 11 / 13
Funciones Ortogonales.
Ejercicios Resueltos y Propuestos.
Solución.
Z ∞ ∞ Z ∞ −x
2
7.2 − e−x · 1(1 − x)dx = (x − 1)e−x 0 − e dx = 0
0
    0∞ Z
1 2 1
Z ∞ ∞
e−x · 1 · x − 2x + 1 dx = 2x − 1 − x2 e−x  + e−x (x − 2)dx

0 2 2 0 0
∞ Z ∞ −x
= 1 + (2 − x)e−x 0 + e dx = 0
0
Y    
1 2 1 5
Z ∞ Z ∞
e−x · (1 − x) x − 2x + 1 dx = e−x − x3 + x2 − 3x + 1 dx
0 2 0 2 2
 ∞ Z ∞  
−x 1 3 5 2
 −x 3 2
=e x − x + 3x − 1  +  e − x + 5x − 3 dx
2 2 0 0 2
 ∞ Z ∞
3 2
= 1 + e−x e−x (5 − 3x)dx

x − 5x + 3  +
2 0 0
Z ∞
= 1 − 3 + e−x (3x − 5)0 − 3 e−x dx = 0
∞
0
Las funciones son ortogonales.
Juan T. Milane, [email protected] Análisis Complejo, Ejercicios Resueltos. UASD 12 / 13
Funciones Ortogonales.
Ejercicios Resueltos y Propuestos.
2 Sea {φn (x)} un conjunto ortogonal de funciones en [a, b].
Demuestre que
kφm (x) + φn (x)k2 = kφm (x)k2 + kφn (x)k2 , m 6= n

Solución.

Usando el hecho de que φn y φm son ortogonales para n 6= m tenemos

Z b Z bh i
kφm (x) + φn (x)k2 = [φm (x) + φn (x)]2 dx φm2 (x) + 2φm (x)φn (x) + φn2 (x) dx
a a
Z b Z b Z b
= φm2 (x)dx + 2 φm (x)φn (x)dx + φn2 (x)dx
a a a
= kφm (x)k2 + kφn (x)k2

Juan T. Milane, [email protected] Análisis Complejo, Ejercicios Resueltos. UASD 13 / 13

Funciones Ortogonales.
Ejercicios Resueltos y Propuestos.
3 El conjunto de funciones { sen nx}, n = 1, 2, 3, . . ., es ortogonal en el intervalo
[−π, π]. Demuestre que el conjunto está incompleto.

Solución.
Como sin nx es una función impar sobre [−π, π],
Z π
(1, sin nx) = sin nxdx = 0
−π

y f (x) = 1 es ortogonal para todo número de {sin nx}. Ası́ {sin nx} no es
completo.
4 Suponga que f1 , f2 y f3 son funciones continuas en el intervalo [a, b]. Demuestre
que (f1 + f2 , f3 ) = (f1 , f3 ) + (f2 , f3 ).
Solución. Z b Z Z b b
(f1 + f2 , f3 ) = [f1 (x) + f2 (x)] f3 (x)dx = f1 (x)f3 (x)dx + f2 (x)f3 (x)dx =
a a a
(f1 , f3 ) + (f2 , f3 )
Juan T. Milane, [email protected] Análisis Complejo, Ejercicios Resueltos. UASD 14 / 13
Series De Fourier.
Ejercicios Resueltos y Propuestos.
La serie de Fourier
∞ 
de una función f definida en el intervalo (−p, p) está dada por
a0 mπ mπ
f (x) = 2 + ∑ an cos x + bn sen x
p p
Z p n=1 Z p Z p
nπ mπ
a0 = 1p f (x)dx an = 1p f (x) cos xdx bn = p1 f (x) sen xdx
−p −p p −p p
5 Encuentrela serie de Fourier de f en el intervalo dado,
0, −π < x < 0
1. f (x) =
1, 0≤x<π
Solución. Z
1 π 1 π
Z
1. a0 = f (x)dx = 1dx = 1
π −π π 0
1 nπ 1 π
Z π Z
an = f (x) cos xdx = cos nxdx = 0
π −π π π 0
1 π nπ 1 π 1 1
Z Z
bn = f (x) sin xdx = sin nxdx = (1 − cos nπ) = [1 − (−1)n ]
π −π π π 0 nπ nπ
1 1 ∞ 1 − (−1)n
f (x) = + ∑ sin nx
2 π n=1 n

Juan T. Milane, [email protected] Análisis Complejo, Ejercicios Resueltos. UASD 15 / 13

Series De Fourier.
Ejercicios Resueltos y Propuestos.
6 Encuentre(la serie de Fourier de f en el intervalo dado,
−1, −π < x < 0
2. f (x) =
2, 0≤x<π

1, −1 < x < 0
3. f (x) =
x, 0≤x<1

0, −1 < x < 0
4. f (x) =
x, 0≤x<1

0, −π < x < 0
5. f (x) =
x2 , 0≤x<π
 2
π , −π < x < 0
6. f (x) =
π 2 − x2 , 0≤x<π
7. f (x) = x + π, −π < x < π
8. f (x) = 3− 2x, −π < x < π
0, −π < x < 0
9. f (x) =
sen x, 0≤x<π

0, −π/2 < x < 0
10. f (x) =
cos x, 0 ≤ x < π/2

Juan T. Milane, [email protected] Análisis Complejo, Ejercicios Resueltos. UASD 16 / 13

Series De Fourier.
Ejercicios Resueltos y Propuestos.
2 Encuentre(la serie de Fourier de f en el intervalo dado,
−1, −π < x < 0
2. f (x) =
2, 0≤x<π

Solución.

1 π 1 0 1 π
Z Z Z
a0 = f (x)dx = −1dx + 2dx = 1
π −π π −π π 0
1 π 1 0 1 π
Z Z Z
an = f (x) cos nxdx = − cos nxdx + 2 cos nxdx = 0
π −π π −π π 0
1 π 1 0 1 π 3
Z Z Z
bn = f (x) sin nxdx = − sin nxdx + 2 sin nxdx = [1 − (−1)n ]
π −π π −π π 0 nπ
1 3 ∞ 1 − (−1)n
f (x) = + ∑ sin nx
2 π n=1 n

Juan T. Milane, [email protected] Análisis Complejo, Ejercicios Resueltos. UASD 17 / 13

Series De Fourier.
Ejercicios Resueltos y Propuestos.
3 Encuentrela serie de Fourier de f en el intervalo dado,
1, −1 < x < 0
3. f (x) =
x, 0≤x<1

Solución.
Z 1 Z 0 Z 1
3
a0 = f (x)dx = 1dx + xdx =
−1 −1 0 2
Z 1 Z 0 Z 1
1
an = f (x) cos nπxdx = cos nπxdx + 2π 2
[(−1)n − 1]
x cos nπxdx =
−1 −1 0 n
Z 1 Z 0 Z 1
1
bn = f (x) sin nπxdx = sin nπxdx + x sin nπxdx = −
−1 −1 0 nπ
∞ 
(−1)n − 1

3 1
f (x) = + ∑ cos nπx − sin nπx
4 n=1 n2 π 2 nπ

Juan T. Milane, [email protected] Análisis Complejo, Ejercicios Resueltos. UASD 18 / 13

Series De Fourier.
Ejercicios Resueltos y Propuestos.
4 Encuentrela serie de Fourier de f en el intervalo dado,
0, −1 < x < 0
4. f (x) =
x, 0≤x<1

Solución.
Z 1 Z 1
1
a0 = f (x)dx = xdx =
−1 0 2
Z 1 Z 1
1
an = f (x) cos nπxdx = 2π 2
[(−1)n − 1]
x cos nπxdx =
−1 0 n
(−1)n+1
Z 1 Z 1
bn = f (x) sin nπxdx = x sin nπxdx =
−1 0 nπ
∞  n n+1

3 (−1) − 1 (−1)
f (x) = + ∑ cos nπx + sin nπx
4 n=1 n2 π 2 nπ

Juan T. Milane, [email protected] Análisis Complejo, Ejercicios Resueltos. UASD 19 / 13

Series De Fourier.
Ejercicios Resueltos y Propuestos.
5 Encuentrela serie de Fourier de f en el intervalo dado,
0, −π < x < 0
5. f (x) =
x2 , 0≤x<π

Solución.

1 1 1
Z π Z π
a0 = f (x)dx = x2 dx = π 2
π −π π 0 3
π !
1 1 1 x2 2 2(−1)n
Z π Z π Z π
2

an = f (x) cos nxdx = x cos nxdx = sin nx − x sin nxdx =
π −π 0 π π π 0 n 0 n2
π !
1 π 2 1 x2 2 π 2
Z Z
π
x cos nxdx = (−1)n+1 + 3 [(−1)n − 1]

bn = x sin nxdx = − cos nx +
π 0 π n 0 n 0 n n π
π 2 ∞ 
2(−1) n 
π n
2 [(−1) − 1]
 
f (x) = +∑ cos nx + (−1)n+1 + sin nx
6 n=1 n2 n n3 π

Juan T. Milane, [email protected] Análisis Complejo, Ejercicios Resueltos. UASD 20 / 13

Series De Fourier.
Ejercicios Resueltos y Propuestos.
6 Encuentrela serie de Fourier de f en el intervalo dado,
π 2, −π < x < 0
6. f (x) =
π 2 − x2 , 0≤x<π
Solución.
1 π 1 0 2 1 π 2 5
Z Z Z 
a0 = f (x)dx = π dx + π − x2 dx = π 2
π −π π −π π 0 3
1 π 1 0 2 1 π 2
Z Z Z 
an = f (x) cos nxdx = π cos nxdx + π − x2 cos nxdx
π −π π −π π 0
π !
1 π 2 − x2 2 π 2
Z
x sin nxdx = 2 (−1)n+1

= sin nx +
π n 0 n 0 n
1 π 1 0 2 1 π 2
Z Z Z 
bn = f (x) sin nxdx = π sin nxdx + π − x2 sin nxdx
π −π π −π π 0
π !
π 1 x 2 − π2 2
Z π
π 2
n
x cos nxdx = (−1)n + 3 [1 − (−1)n ]

= [(−1) − 1] + cos nx −

n π n 0 n 0 n n π
5π 2 ∞ 
2

π n
2 [1 − (−1 ]
 
f (x)= + ∑ 2 (−1)n+1 cos nx + (−1)n + sin nx
6 n=1 n n n3 π

Juan T. Milane, [email protected] Análisis Complejo, Ejercicios Resueltos. UASD 21 / 13

Series De Fourier.
Ejercicios Resueltos y Propuestos.
7 Encuentre la serie de Fourier de f en el intervalo dado,
7. f (x) = x + π, −π < x < π

Solución.

1 π 1 π
Z Z
a0 = f (x)dx = (x + π)dx = 2π
π −π π −π
1 1 π
Z π Z
an = f (x) cos nxdx = (x + π) cos nxdx = 0
π −π π −π
1 π 2
Z
bn = f (x) sin nxdx = (−1)n+1
π −π n
∞
2
f (x) = π + ∑ (−1)n+1 sin nx
n=1 n

Juan T. Milane, [email protected] Análisis Complejo, Ejercicios Resueltos. UASD 22 / 13

Series De Fourier.
Ejercicios Resueltos y Propuestos.
8 Encuentre la serie de Fourier de f en el intervalo dado,
8. f (x) = 3 − 2x, −π < x < π

Solución.

1 π 1 π
Z Z
a0 = f (x)dx = (3 − 2x)dx = 6
π −π π −π
1 1 π
Z π Z
an = f (x) cos nxdx = (3 − 2x) cos nxdx = 0
π −π π −π
1 π 4
Z
bn = (3 − 2x) sin nxdx = (−1)n
π −π n
∞
(−1)n
f (x) = 3 + 4 ∑ sin nx
n=1 n

Juan T. Milane, [email protected] Análisis Complejo, Ejercicios Resueltos. UASD 23 / 13

Series De Fourier.
Ejercicios Resueltos y Propuestos.
9 Encuentrela serie de Fourier de f en el intervalo dado,
0, −π < x < 0
9. f (x) =
sen x, 0≤x<π
Solución. Z
1 π 1 2
Z π
a0 = f (x)dx = sin xdx =
π −π 0 π π
1 π 1 π 1 π
Z Z Z
an = f (x) cos nxdx = sin x cos nxdx = [sin(n + 1)x + sin(1 − n)x]dx
π −π π 0 2π 0
1 + (−1) n 1
Z π
=
Para n = 2, 3, 4, . . . , a1 = sin 2xdx = 0
π 1 − n2 2π 0
1 1
Z π Z π
bn = f (x) sin nxdx = sin x sin nxdx
π −π π 0
1
Z π
= [cos(1 − n)x − cos(1 + n)x]dx = 0 Para n = 2, 3, 4, . . .
2π 0
1 1
Z π
b1 = (1 − cos 2x)dx =
2π 0 2
1 1 ∞
1 + (−1)n
f (x)= + sin x + ∑ 2

cos nx
π 2 n=2 π 1 − n
Juan T. Milane, [email protected] Análisis Complejo, Ejercicios Resueltos. UASD 24 / 13
Series De Fourier.
Ejercicios Resueltos y Propuestos.
10 Encuentre la serie de Fourier de f en el intervalo dado,
0, −π/2 < x < 0
10. f (x) =
cos x, 0 ≤ x < π/2
Solución.
2 π/2 2 π/2 2
Z Z
a0 = f (x)dx = cos xdx =
π −π/2 π 0 π
2 2 1
Z π/2 Z π/2 Z π/2
an = f (x) cos 2nxdx = cos x cos 2nxdx = [cos(2n − 1)x + cos(2n + 1)x]dx
π −π/2 π 0 π 0
2(−1)n+1
=

π 4n2 − 1
2 2 1
Z π/2 Z π/2 Z π/2
bn = f (x) sin 2nxdx = cos x sin 2nxdx = [sin(2n − 1)x + sin(2n + 1)x]dx
π −π/2 π 0 π 0
4n
=

π 4n2 − 1
" #
1 ∞
2(−1)n+1 4n
f (x) = + ∑
cos 2nx +
sin 2nx
π n=1 π 4n2 − 1 π 4n2 − 1
Juan T. Milane, [email protected] Análisis Complejo, Ejercicios Resueltos. UASD 25 / 13
Series De Fourier.
Ejercicios Resueltos y Propuestos.
7 Encuentre la serie de Fourier de f en el intervalo dado,
f (x) = ex , −π < x < π.

Solución.
1 1
1 π
Z π Z π
e − e−πex dx =


a0 = f (x)dx =
π
−π −π π
π
(−1)n eπ − e−π


1 π
Z
an = f (x) cos nxdx =

π −π π 1 + n2
(−1)n n e−π − eπ


1 1
Z π Z π
bn = f (x) sin nxdx = ex sin nxdx =

π −π π −π π 1 + n2
" #
− e−π (−1)n eπ − e−π (−1)n n e−π − eπ
∞



eπ
f (x) = + ∑
cos nx +
sin nx
2π n=1 π 1 + n2 π 1 + n2

Juan T. Milane, [email protected] Análisis Complejo, Ejercicios Resueltos. UASD 26 / 13

Series De Fourier.
Ejercicios Resueltos y Propuestos.
8 Encuentre
 la serie de Fourier de f en el intervalo dado,
0, −π < x < 0
f (x) =
ex − 1, 0≤x<π

Solución.
1 π 1 π x 1
Z Z
a0 = f (x)dx = (e − 1) dx = (eπ − π − 1)
π −π π 0 π
1 π 1 π x [eπ (−1)n − 1]
Z Z
an = f (x) cos nxdx = (e − 1) cos nxdx =

π −π π 0 π 1 + n2
1 neπ (−1)n+1 (−1)n 1
 
1 π 1 π x n
Z Z
bn = f (x) sin nxdx = (e − 1) sin nxdx = + + −
π −π π 0 π 1 + n2 1 + n2 n n
" #
π
e −π −1 ∞ π n
e (−1) − 1

n h i n
(−1) − 1

π n+1
f (x) = +∑
cos nx + e (−1) + 1 + sin nx
2π n=1 π 1 + n2 1 + n2 n

Juan T. Milane, [email protected] Análisis Complejo, Ejercicios Resueltos. UASD 27 / 13

Series De Fourier.
Ejercicios Resueltos y Propuestos.
9 Utilice el resultado del problema 5, ejercicio 6, para demostrar que
π2 1 1 1 π2 1 1 1
6 = 1 + 22 + 32 + 42 + · · · , Y 12 = 1 − 22 + 32 − 42 + · · ·

Solución.
La función en el problema 5 es discontinua en x = π, por tanto su correspondiente serie de Fourier converge
a x = π. Es decir,
π2 π2 ∞ 
2(−1)n 2 [(−1)n − 1]
  
π n+1
= +∑ cos nπ + (−1) + sin nπ
2 6 n=1 n2 n n3 π
π 2 ∞
2(−1) n π 2 ∞
2 π 2 
1 1

= +∑ 2
(−1)n = +∑ 2 = +2 1+ 2 + 2 +···
6 n=1 n 6 n=1 n 6 2 3

π 2  2
1 π π 2 
1 1
= − = 1+ 2 + 2 +···
6 2 2 6 2 3
En x = 0, la serie converge a 0 y
π2 2(−1)n π2
∞  
1 1 1
0= +∑ = + 2 −1 + − + − · · ·
6 n=1 n2 6 22 32 42

π2 π2 1 π2 π2
 
1 1 1 1 1
= 1 − 2 + 2 − 2 + · · · , Además = + = 1+ 2 + 2 +···
12 2 3 4 8 2 6 12 3 5
Juan T. Milane, [email protected] Análisis Complejo, Ejercicios Resueltos. UASD 28 / 13
Series De Fourier.
Ejercicios Resueltos y Propuestos.
10 Utilice el resultado del problema 7, ejercicio 6, para demostrar que
π 1 1 1
4 = 1− 3 + 5 − 7 +···

Solución.
La función en el problema 7 es continua en x = π/2, por tanto
∞  
3π π  2 nπ 1 1 1
=f = π + ∑ (−1)n+1 sin = π +2 1− + − +···
2 2 n=1 n 2 3 5 7

Y
π 1 1 1
= 1− + − +···
4 3 5 7
Igualmente si usamos el problema 9, ejercicio 6, y de la continuidad en x = π/2, obtenemos:

π  1 1 ∞
1 + (−1)n nπ 1 1 2 2 2
1=f = + +∑ cos = + + − + −···
2 π 2 n=2 π (1 − n2 ) 2 π 2 3π 3 · 5π 5 · 7π
Y
π 2 2 2
π = 1+ + − + −···
2 3 3·5 5·7
ó
π 1 1 1 1
= + − + −···
4 2 1·3 3·5 5·7
Juan T. Milane, [email protected] Análisis Complejo, Ejercicios Resueltos. UASD 29 / 13
Series De Fourier.

Ejercicios Resueltos y Propuestos.

11 El valor cuadrático medio (RMS, por sus siglas en inglés) de una función f (x) definida en un
intervalo (a, b) está dado por v
uZ b
u 2
t a f (x)dx
u
RMS(f ) =
b−a
Si el desarrollo de la serie de Fourier de f está dada en la transparencia (15), demuestre que el valor
RMS de f en el intervalo (−p, p) está dado por
s
1 2 1 ∞  2 
RMS(f ) = a0 + ∑ an + b2n
4 2 n=1

donde a0 , an y bn son los coeficientes de Fourier.

Juan T. Milane, [email protected] Análisis Complejo, Ejercicios Resueltos. UASD 30 / 13

Series De Fourier.
Ejercicios Resueltos y Propuestos.
11 Solución.

a0 π nπ π nπ
f (x) = + a1 cos x + · · · + an cos x + · · · + b1 sin x + · · · + bn sin x+···
2 p p p p
Vemos que f 2 (x) consta exclusivamente de términos al cuadrado de la forma
a20 nπ nπ
, a2n cos2 x, b2n sin2 x
4 p p
y términos de productos, con m 6= n, de la forma
nπ nπ mπ nπ mπ nπ mπ nπ
a0 an cos x, a0 bn sin x, 2am an cos x cos x, 2am bn cos x sin x, 2bm bn sin x sin x
p p p p p p p p
La integral de cada término de producto cruzado tomado en el intervalo (−p, p) es cero por
ortogonalidad. Para los términos al cuadrado tenemos
a20 a20 p
Z p Z p Z p
nπ nπ
dx = , a2n cos2 xdx = a2n p, b2n sin2 xdx = b2n p
4 −p 2 −p p −p p
Por tanto s
1 2 1 ∞  2 
RMS(f ) = a + ∑ an + b2n
4 0 2 n=1
Juan T. Milane, [email protected] Análisis Complejo, Ejercicios Resueltos. UASD 31 / 13
Juan T. Milane, [email protected] Análisis Complejo, Ejercicios Resueltos. UASD 32 / 13
Juan T. Milane, [email protected] Análisis Complejo, Ejercicios Resueltos. UASD 33 / 13
 [1] M URRAY R. S PIEGEL P H .D., S EYMOUR L IPSCHUTZ , P H .D., J OHN J.
S CHILLER , P H .D., D ENNIS S PELLMAN , P H .D. ” Complex Variables with an
introduction to CONFORMAL MAPPING and its applications”, McGraw-Hill,
Schaum’s Outline Series, Second Edition.2009.
[2] D ENNIS G. Z ILL , PATRICK D. S HANAHAN , ”Introducción al ANÁLISIS
COMPLEJO CON APLICACIONES”, CENGAGE Learning, Segunda Edición ,
2009.
[3] RUB ÉN A. H IDALGO , ”TRANSFORMACIONES DE MÖBIUS:UNA
INTRODUCCIÓN”, 2012.
[4] E MMANUEL M ORENO M U ÑOZ , ” Transformaciones de Möbius en el plano
complejo extendido”, MEXICO, D.F. Septiembre de 2017
[5] , ” https://es.qwe.wiki/wiki/M
[6] T. A POSTOL , ”MATHEMATICAL ANALYSIS” SECOND EDITION.
[7] LARS V. AHLFORS, ”COMPLEX ANALYSIS, An Introduction to the
Theory of Analytic Functions of One Complex Variable, Third
Edition”,McGraw-Hill, Inc. 1979.
[8] R AMI S HAKARCHI , ”COMPLEX ANALYSIS, Third Edition”, Springer, Inc.
1999.
Juan T. Milane, [email protected] Análisis Complejo, Ejercicios Resueltos. UASD 34 / 13