Práctica 3

ARIEL ANDRES CHIRI OVIEDO

BENEDICTA CLADERA MAMANI
AMALIA SOLARES QUISPE
15 de febrero de 2024

1. Muestre que la serie de Fourier para f (x) = |x| sobre −π < x < π es
dada por:
∞  
π 4 X cos(x) cos(3x) cos(5x)
|x| = − + + + .... , −π ≤ x ≤ π
2 π n=1 12 32 52

Luego, verifique que f satisface las condiciones para la convergencia

puntual y use el teorema para mostrar que:

1 1 1 π2
+ + + · · · =
12 32 52 8

Finalmente, a partir de la serie dada, deduzca la serie de Fourier para

la función signo definido como:

−1, π < x < 0
sgn(x) =
1, 0 < x < π

Solución

La función f (x) = |x|, se define de la siguiente forma:


x , x≥0
|x| =
−x , x < 0
ya que f (x) es una funcion par , entonces la serie de fourier esta dada
de la siguente manera:

1
 ∞
X cos(nπx)
f (x) = a0 + an
n=1
l
donde a0 , an son los coeficientes de fourier, y l = 2π es el periodo de la
función.
Para el caso de a0 : Z π
1
a0 = f (x)dx
2π −π
Para el caso de an Z π
2
an = f (x)dx
2π −π

Como la función es par podemos trabajar solo en el intervalo [0, L], por
lo que los coeficientes se pueden reexpresar de la siguiente manera:
Z π
1
a0 = 2 f (x)dx
2π 0

Z π
2
an = 2 f (x)dx
2π 0

Calculando los coeficientes de la serie se tiene:

Para a0 :
1 π x2 π π 2
Z
π
a0 = x dx = 0 = =
π 0 2π π 2
π
a0 =
2
Para an
Z π  
2 2 πnsen(πn) + cos(πn) + 1
an = xcos(nx) dx =
π 0 π n2
 
2 1 n 1
= (−1) − 2
π n2 n
2
= [(−1)n − 1]
n2 π

Por lo tanto la serie de fourier se puede escribir como:

2
 π 2
P∞ 1
f (x) = 2
+ π n=1 n2 [(−1)n − 1] cos(nx)

π 2 1 −2 1 −2
 
f (x) = 2
+ π
−2cosx + 22
0 + 32
cos3x + 42
0 + 52
cos5x + ....

π 4
 cosx 1 1

f (x) = 2
− π 12
+ 32
cos3x + 52
cos5x + ....

Asi concluimos que

 
π 4 cosx 1 1
|x| = − + 2 cos3x + 2 cos5x + ....
2 π 12 3 5

Para la convergencia puntual ,tiene que ser continua en pedazos la funcion y

su derivada ,como la funcion es el valor absoluto de x , es continua por otro
lado es continua por pedasos si le limite lateral izquierda es π, y el limite
lateral derecha es π y ahora veamos en la funcion derivada en, x = 0

f (0+h)−f (0) f (h)−f (0)

f ′ (0+ ) = lı́mh→ 0+ h
= lı́mh→ 0+ h
= lı́mh→ h
0+ h = lim1 = 1

f ′ (0− ) = lı́mh→ 0− f (0+h)−f

h
(0)
= lı́mh→ 0− f (h)−f
h
(0)
= lı́mh→ 0− −h
h
= lı́mh→ 0− −1 =
−1
por tanto la funcion es continua por pedazos entonces la serie fourier conver-
ge puntualmente.

Ahora mostramos que:

1 1 1 π2
+ + + .... =
12 32 52 8
tenemos la funcion:

tenemos de la serie de fourier

π 2
P∞ 1
f (x) = 2
+ π n=1 n2 [(−1)n − 1] cos(nx)

Evaluamos en x = π → f (x) = π − − − − − −(1)

3
De la misma manera evaluamos en la serie en x = π

π 2
P∞ 1
f (π) = 2
+ π n=1 n2 [(−1)n − 1] cos(nπ) − − − − − (2)

Igualamos (1) y (2)obtenemos

P∞ 1 π2
n=1 n2 [(−1)n − 1] cos(nπ) = 4

sabemos cos(nπ) = (−1)n

Reemplazamos

P∞ 1 2
n=1 n2[(−1)n − 1] (−1)n = π4
haciendo calculos obtenemos :

P∞ 1 π2
n=1 n2 = 8

Ahora hallamos la serie de forier para la funcion


−1, π < x < 0
sgn(x) =
1, 0 < x < π

claramente la función es continua en pedazos y es impar ya que su gráfica es

simétrica al origen
entonces los coeficientes de fourier a0 = 0, bn
Entonces solo estara en terminos de senos de donde
sabemos por lo anterior que:

∞  
π 4 X cos(x) cos(3x) cos(5x)
|x| = − + + + .... , −π ≤ x ≤ π
2 π n=1 12 32 52

En donde la serie de sgn(x) es:

∞  
4 X sen(x) sen(3x) sen(5x)
sgn(x) = + + + .... , −π ≤ x ≤ π
π n=1 1 3 5

4
 4
P∞ h sen(2n+1)x i
sgn(x) = π n=0 2n+1
, −π ≤ x ≤ π

Ya que la convergencia puntual se da ,puesto que f tendria una extensión

periódica continua en R y f’ es continua por pedazos en [-π, π]

5
2. Suponga que se quiere hacer la aproximación:
1
x ≈ a0 + a1 cos(x) + a2 cos(2x) + a3 cos(3x); −π ≤ x ≤ π
2
de tal forma que la norma L2 del error sobre −0 ≤ x ≤ π sea mı́nima. ¿Para
qué valores de a0 ; a1 ; a2 y a3 ? sucede esto? ¿ Cuál es mı́nimo error?

Solución

Una manera es utilizar los coeficientes de fourier,considerar la proyeccion or-

togonal en relacion al producto interno definido :

Z π
⟨f, g⟩ = f (x)g(x)dx
0

Sea S = 1/2, cosx, cos2x, cos3x proyeccion el espacio Vectoial generado por:

P roys (x) = 21 a0 + a1 cosx + a2 cos2x + a3 cos3x

Empezemos a calcular los coeficientes definido de la siguente manera

⟨f,x0 ⟩
a0 = ⟨x0 ,x0

Rπ x π2
⟨f, x0 ⟩ = 0 2
dx = 4

Rπ 1 π2
⟨x0 , x0 ⟩ = 0 4
dx = 4

⟨f,x0 ⟩
a0 = ⟨x0 ,x0

=π 2 4 π =π
4
para a1 :

⟨f,x1 ⟩
a1 = ⟨x1 ,x1

6
 Rπ
⟨f, x1 ⟩ = 0
xcos(x)dx = −2
Rπ π
⟨x1 , x1 ⟩ = 0
cos(x)cos(x)dx = 2

⟨f,x1 ⟩
a1 = ⟨x1 ,x1
=-2 1 π = −4
2 π

para a2 :

⟨f,x2 ⟩
a2 = ⟨x2 ,x2

Rπ
⟨f, x2 ⟩ = 0
xcos(2x)dx = 0
Rπ π
⟨x2 , x2 ⟩ = 0
cos(2x)cos(2x)dx = 2

⟨f,x1 ⟩
a2 = ⟨x1 ,x1
=0 1 π =0
2

para a3 :

⟨f,x3 ⟩
a3 = ⟨x3 ,x3

Rπ −2
⟨f, x3 ⟩ = 0
xcos(3x)dx = 9

Rπ π
⟨x3 , x3 ⟩ = 0
cos(3x)cos(3x)dx = 2

⟨f,x3 ⟩
a3 = ⟨x3 ,x3
=-2 9 π = −4
2 9π

El error es

Emin = ∥f (x) − P roys (x)∥2L

7
En la cual P roys (x) es:

P roys (x) = 12 a0 + a1 cosx + a2 cos(2x) + a3 cos(3x)

donde :
f (x) − P roys (x) = x − ( 12 π − π4 cosx + 0 ∗ cos(2x) − 4
9π
cos(3x))
1 4 4
= x − π + cosx + cos(3x)
2 π 9π

1 4 4
= π − cosx − cos(3x) − x
2 π 9π

De donde tenemos :
qR
2 q
π π −655 π3
Emin = ( 0 2
− ( π4 )cosx − 4
( 9π )cos3x −x dx = 81
+ 12
≈ 0,077067

8
3. Para la serie de Fourier de recorrido completo, muestre la igualdad de Par-
seval:
∞
!
1 X
∥f ∥2 = l a2 + (a2 + b2n )
2 0 n=1 n
Usando este resultado, muestre que para la serie de Fourier de una función
f ∈ L2 , los coeficientes de Fourier tienden a cero cuando n −→ ∞.

Solución

Sea la serie de fourier completa de la forma :

∞  
a0 X cos(nπx) sen(nπx)
f (x) = + an + bn
2 n=1
l l
para
−l < x < l
Donde los coeficientes de fourier son

1 l
Z
a0 = f (x)dx.......(1)
l −l
1 l
Z
nπx
an = f (x)cos( )dx.....(2)
l −l l
1 l
Z
nπx
bn = f (x)sin( )dx.....(3)
l −l l
Si f ∈ L2 [−l, l] entonces
luego multiplicando por f (x) e integrando término por término en el intervalo
[−L,L ](lo cual está justificado, ya que la serie es uniformemente convergen-
te), obtenemos
Z l Z l ∞  Z l Z l 
2 a0 X nπx nπx
[f (x)] dx = f (x)dx+ an f (x)cos( )dx + bn f (x)sin( )dx ......(4)
−l 2 −l n=1 −l l −l l
reemplazando (1), (2)y(3) en (4) se tiene lo siguiente
∞
a0 X
= a0 l + (an (an l) + bn (bn l)) →
2 n=1
∞
a20 X
= l+ (a2n l + b2n l)
2 n=1

9
 ∞
!
a20 X 2
=l + (an + b2n )
2 n=1

Por lo tanto
∞
!
2 a20 X 2 2
∥f ∥ = l + (an + bn ) , −l < x < l
2 n=1

ahora podemos usar el resultado

Esta ultima serie converge ,asi necesariamente :
a2n + b2n → 0 cuando n → ∞
En consecuencia se tiene :
an → 0 y bn → 0 cuando n → ∞
queda demostrado que los coeficientes de fourier tienden a cero cuando n →
∞

10
4. Sea f (x) = x2 definido en 0 < x < l. Muestre que su serie de cosenos de
Fourier es dada por:
∞
2 l2 X (−1)n 4l2 nπx
x = + 2 2
cos( ), 0 < x < l
3 n=1 n π l

Luego, usando este resultado y la convergencia de la serie de Fourier, muestre:

∞
X 1 π4
=
n=1
n4 90

Solución

La función x2 es par respecto al eje y y por lo tanto la expresion de la serie

de Fourier para una función f (x) es:

∞
a0 X  nπx 
f (x) = + an cos
2 n=1
l

Donde:

a0 es el término constante de la serie.

an son los coeficientes de Fourier, para n = 1, 2, 3...

Para determinar los coeficientes de la serie, en el caso de n = 0, para el

término constante a0 :
2 l 2 2 x3 l
Z
a0 = x dx = |
l 0 l 3 0
Se tiene
2l2
a0 =
3
Ahora los coeficientes de Fourier an para n ≥ 1:

2 l 2
Z  nπx 
an = x cos dx
l 0 l
Para integrar se utiliza la regla de la tabulación:

2 x2 l sin( nπx ) 2xl2 cos( nπx ) 2l3 sin( nπx

 
l l l
)
an = + −
l nπ n2 π 2 n3 π 3

11
Luego evaluando en los limites de la integral se tiene:

" #
2 l2 l sin( nπl ) 2ll2 cos( nπl ) 2l3 sin( nπl 2 02 l sin( nπ0 ) 2 · 0 · l2 cos( nπ0 ) 2l3 sin

l l l
) l l
an = + − − + −
l nπ n2 π 2 n3 π 3 l nπ n2 π 2 n3

Como los términos evaluados en 0 se anulan, en la cual nos queda

2 l3 sin(nπ) 2l3 cos(nπ) 2l3 sin(nπ)

 
an = + −
l nπ n2 π 2 n3 π 3

por otro lado , es que no importa el valor de n, la función sin(nπ) siempre

sera cero, entonces tenemos que:

4l2 cos(nπ)
an =
n2 π 2
Puesto que cos(nπ) = (−1)n , es decir que si n es par cos(nπ) = 1 y si n es
impar cos(nπ) = −1 y sustituyendo estos valores en la determinación de an ,
se tiene:

4l2 (−1)n
an =
n2 π 2
por lo que la serie de Fourier puede reescribirse de la siguiente manera:

∞
l2 X 4l2 (−1)n  nπx 
f (x) = + cos
3 n=1 n2 π 2 l

Con lo que queda demostrado que.

∞
l2 X 4l2 (−1)n  nπx 
x2 = + cos
3 n=1 n2 π 2 l
Para demostrar que:
∞
X 1 π4
=
n=1
n4 90

12
Aplicamos la igualdad de Parceval, a la funcion f (x), ya que las funciones
f (x) y f 2 (x) son integrables en 0 < x < l, entonces:
l ∞
a2 X
Z
2
f (x)dx = 0 +
2
(an 2 + bn2 )
l 0 2 n=1

2l2 4l2 (−1)n

y reemplazando los valores de a0 = 3
, an = n2 π 2
y bn = 0
l 2 ∞  2 2
2l2 4l (−1)n
Z 
2 4 1 X
x dx = +
l 0 2 3 n=1
n2 π 2

Integrando el lado derecho de la igualdad:

∞
2 4 2 2 X 16l4 (−1)2 n
l = l +
5 9 n=1
n4 π 4

y realizando operaciones algebraicas la igualdad se simplifica a:

∞
8 4 16 4 X 1
l = 4l
45 π n=1 n4

con lo que queda mostrado que:

∞
π4 X 1
=
90 n=1 n4

13
5. Use el teorema de convergencia de las series de senos de Fourier de la función

f (x) = 1, 0 < x < l

para hallar la suma de:

1 1 1
1+ + + + ....
9 25 49

Solución

Sea definido como :

f (x) = 1, 0 < x < l
Por el teorema de convergencia de las series de senos de fourier de f (x)
converge para todo x la serie de fourier de la siguente forma
∞  
a0 X cos(nπx) sen(nπx)
f (x) = + an + bn
2 n=1
l l

Se usara lo siguiente
∞  
X sen(nπx)
f (x) = bn
n=1
l
donde los coeficientes de fourier son: bn
En la cual

2 l
Z
nπx
bn = f (x)sin( )dx
l 0 l
Se trabajara en el intervalo [0,L], entonces tomaremos la funcion f(x)=1

∞
X n π 
f (x ) = bn sin x
n=1
L
Z l
2 nπx 2 h nπx il
bn = sin( )dx = −cos( )
l 0 l nπ l 0

14
 2
RL n π


bn = L 0
sin L
x dx

2
 −1 n π

L
= L nπ
cos L
x 0

−2
= nπ
[cos(nπ) − cos 0]

sabemos que cos(nπ) = (−1)n

−2
= nπ
[(−1)n − 1]; n = 1, 2, . . .
∞
X −2 n
 nπ 
f (x) = [(−1) − 1] sin x
n=1
nπ L

∞  
X 2 (2k − 1)π
f (x) = (2) sin x
k=1
(2k − 1)nπ L
∞  
X 4 (2n − 1) π
f (x) = (2) sin x
n=1
(2n − 1)π L
Ahora , para hallar la suma de serie
Se pide calcular la suma de
1 1 1
+ 1+ + + ...
9 25 49
Se debe aplicar igualdad de Parseval para la serie en senos de fourier

Z l
2
∥f ∥ = dx = l
0
 2
4 16
b22n−1 = =
(2n − 1)π (2n − 1)2 π 2

  l  
(2n − 1)π (2n − 1)π
Z
2 2
∥ sin ∥ = sin x dx
l 0 l

15
 1
Rl 
(2n−1)π

l
= 2 0
1 − cos l
2x dx = 2

donde

∞  
X 16 l
l=
n=1
(2n − 1)2 π 2 2
∞  
X 8
1=
n=1
(2n − 1)2 π 2
∞
X 1 π2
=
n=1
(2n − 1)2 8

luego se tiene que la suma es

1 1 1 π2
1+ + + + ··· =
9 25 49 8
1 1 1 π2
1 + 2 + 2 + 2 + ··· =
3 5 7 8

16