Ejercicio 1 Ejercicio 2 Ejercicio 3 Ejercicio 4 Ejercicio 5 Problemas propuestos

Práctica 6, Matemática VII, regimen

semipresencial
Clases 11 y 12: Separación de variables y series de
Fourier

Nicolás Hatcher

28 de febrero de 2008
Ejercicio 1 Ejercicio 2 Ejercicio 3 Ejercicio 4 Ejercicio 5 Problemas propuestos

1 Ejercicio 1
Series de Fourier
Solución
2 Ejercicio 2
Series de Fourier
Solución
3 Ejercicio 3
Ecuaciones diferenciales con condiciones de contorno
Solución
4 Ejercicio 4
Ecuación de Laplace en un cuadrado
Solución
5 Ejercicio 5
Ecuación de ondas con condiciones iniciales
Solución
6 Problemas propuestos
Ejercicio 1 Ejercicio 2 Ejercicio 3 Ejercicio 4 Ejercicio 5 Problemas propuestos

Series de Fourier

Planteamiento
Sean la función:

x si 0 ≤ x ≤ 1
f (x) =
0 otro x

a) Halle el desarrollo en cosenos.

b) Halle el desarrollo de senos.
c) Haciendo una extensión periódica halle el desarrollo de Fourier.
d) Haz una comparación de los tres desarrollos.
Ejercicio 1 Ejercicio 2 Ejercicio 3 Ejercicio 4 Ejercicio 5 Problemas propuestos

Desarrollo en cosenos

El desarrollo en cosenos viene dado por las fórmulas:

∞
X
f (x) ∼ cn cos(πnx)
n=0
Z 1
cn = 2 f (x) cos(πnx)dx
0

Calculemos la integral
Z 1
cn = 2 x cos(πnx)dx =
0
Z 1 
2 d 2
(x sen(πnx)) − sen(πnx) dx = ((−1)n − 1)
πn 0 dx (πn)2
Ejercicio 1 Ejercicio 2 Ejercicio 3 Ejercicio 4 Ejercicio 5 Problemas propuestos

Desarrollo en cosenos

Los únicos no cero son c0 y los impares:

Z 1
1 −4
c0 = xdx = c2k+1 =
0 2 (π(2k + 1))2

Finalmente obtenemos:
∞
1 X −4
x= + cos(π(2k + 1)x)
2 ((2k + 1)π)2
k=0

Válido en x ∈ (0, 1). En x = 1/2 la fórmula es trivialmente cierta.

La fórmula sigue siendo válida para x = 0, donde se obtiene una
conocida fórmula:
π2 1 1
= 1 + 2 + 2 + ...
8 3 5
Ejercicio 1 Ejercicio 2 Ejercicio 3 Ejercicio 4 Ejercicio 5 Problemas propuestos

Desarrollo en senos
La ideas son similares, las dejo como ejercicio.
X∞
f (x) ∼ dn sen(πnx)
n=0
1
2(−1)n+1
Z
dn = 2 f (x) sen(πnx)dx =
0 nπ
La fórmula para el desarrollo es:
∞
X 2
x= (−1)n+1 sen(nπx)
nπ
n=1
La fórmula sigue siendo cierta en x = 0 pero nota que no vale para
x = 1, da 1 = 0. En x = 1/2 da otra famosa fórmula:
π 1 1 1
= 1 − + − + ...
4 3 5 7
Que se puede obtener tambien del desarrollo de Taylor de la
arcotangente.
Ejercicio 1 Ejercicio 2 Ejercicio 3 Ejercicio 4 Ejercicio 5 Problemas propuestos

Desarrollo de Fourier
Finalmente extendemos la función periódicamente, de modo que
∞
a0 X
x= + an cos(2πnx) + bn sin(2πnx)
2
n=1

Calculamos los coeficientes de Fourier:

Z 1 Z 1
a0 = 2 xdx = 1 an = 2 x cos(2πnx)dx = 0
0 0
Z 1
−1
bn = 2 x sin(2πnx)dx =
0 nπ
De modo que
∞
1 1X1
x= − sen(2πnx)
2 π n
n=0

1
Que en x = 0 es trivialmente falso y en x = 2 trivialmente cierto...
Ejercicio 1 Ejercicio 2 Ejercicio 3 Ejercicio 4 Ejercicio 5 Problemas propuestos

Comparación

Hemos desarrollado la misma función en el mismo intervalo en serie

de senos y cosenos de forma diferente. Sólo el tercer método es el
de Fourier. El primer método es el desarrollo en en la base de las
2
autofunciones del operador −ddx 2
que satisfacen Ψ0 (0) = Ψ0 (1) = 0.
El segundo es el desarrollo en autofunciones del mismo operador
pero con las condiciones de contorno Ψ(0) = Ψ(1) = 0.
Ejercicio 1 Ejercicio 2 Ejercicio 3 Ejercicio 4 Ejercicio 5 Problemas propuestos

Series de Fourier en L2 (R)

Planteamiento
Sea f (x) la función 2π-periódica en el intevalo (−π, π) por
f (x) = e x
a) Grafique la función f (x) en el intervalo (0, 5) y halle su serie de
Fourier real.
(−1)n
b) Halle el valor de la suma ∞
P
n=1 1+n2
c) Estudiando la convergencia en x = π halle el valor de
P ∞ 1
n=1 1+n2
d) Usando la indentidad de Parseval halle la suma de la serie de la
parte c).
Ejercicio 1 Ejercicio 2 Ejercicio 3 Ejercicio 4 Ejercicio 5 Problemas propuestos

Cálculo de coeficientes
La serie de Fourier real está dada por
∞
a0 X
x
e ∼ + an cos(nx) + bn sen(nx)
2
n=1

Los coeficientes se calculan fácilmente:

1 π x
Z Z π
1
an = e cos(nx)dx = (e x(1+in) + e x(1−in) )dx =
π −π 2π −π
!
1 e (1+in)π − e −(1+in)π e (1−in)π − e −(1−in)π 2(−1)n senh(π)
+ =
2π 1 + in 1 + in π(1 + n2 )
−(−1)n n senh(π)
bn =
π(1 + n2 )
Z π
1 2
a0 = e x dx = senh(π)
π −π π
Ejercicio 1 Ejercicio 2 Ejercicio 3 Ejercicio 4 Ejercicio 5 Problemas propuestos

Serie y valor de la suma

De manera que la serie total es:
∞ 
" #
x senh(π) X 2(−1)n n(−1)n
e = 1+ cos(nx) − sen(nx)
π 1 + n2 1 + n2
n=1
Para encontrar el valor de la suma que nos piden basta evaluar en
x = 0, la parte de los senos es siempre cero y los cosenos son
siempre 1:
∞
X (−1)n X (−1)n ∞
π π 1
=1+2 2
⇒ 2
= −
senh(π) 1+n 1+n 2 senh(π) 2
n=1 n=1
La función es discontinua en x = π. Sabemos que la serie converge
entonces al valor medio (f (x + ) − f (x − ))/2 + f (x − ) = cosh(π) y,
por tanto:
∞ ∞
" #
senh(π) X 1 X 1 π 1
cosh(π) = 1+2 ⇒ = coth(π) −
π 1 + n2 1 + n2 2 2
n=1 n=1
Ejercicio 1 Ejercicio 2 Ejercicio 3 Ejercicio 4 Ejercicio 5 Problemas propuestos

Teorema de Parseval

El teorema de Parseval básicamente dice que:

Z π ∞
π X
|f (x)|2 dx = |a0 |2 + π (|an |2 + |bn |2 )
−π 2
n=1

Aplicandolo a nuesro caso:

Z π
e 2x dx = senh(2π) =
−π
 " ∞  #
senh(π) 2 n2
 X 1
2π + 4π +
π (1 + n2 )2 (1 + n2 )2
n=1

Usando la identidad senh(2x) = 2 senh(x) cosh(x) llegamos a la

misma conclusión de antes.
Ejercicio 1 Ejercicio 2 Ejercicio 3 Ejercicio 4 Ejercicio 5 Problemas propuestos

Ecuaciones diferenciales con condiciones de contorno

Planteamiento
Resuelva la ecuación diferencial:

uxx (x, t) = 2ut (x, t)

u(0, t) = ux (1, t) = 0
u(x, 0) = sen(πx)
Ejercicio 1 Ejercicio 2 Ejercicio 3 Ejercicio 4 Ejercicio 5 Problemas propuestos

Separación de variables

El primer paso es siempre separar variables, uλ (x, t) = Ψ(x)T (t)

Ψ00 (x) 2T 0 (t)

= =λ
Ψ(x) T (t)

Las condiciones de contorno implican que

 π 
Ψn (x) = sin (2n + 1) x) T (t) = e λn t/2
2
(2n + 1)π 2
 
λn = − n = 0, 1, 2...
2
Ejercicio 1 Ejercicio 2 Ejercicio 3 Ejercicio 4 Ejercicio 5 Problemas propuestos

Solución general y serie de Fourier

Por tanto la solución es general con las condiciones de contorno
dadas es:
∞
!
(2n + 1)π 2
 
X  π 
u(x, t) = cn sin (2n + 1) x) exp − t/2
2 2
n=0

La condición inicial implica

∞
X  π 
sen(πx) = cn sin (2n + 1) x)
2
n=0

Los coeficientes se calculan según:

1
8 (−1)1+n
Z  π 
cn = 2 sen(πx) sin (2n + 1) x dx =
0 2 π (−3 + 4 n + 4 n2 )

Te dejo la integral como ejercicio.

Ejercicio 1 Ejercicio 2 Ejercicio 3 Ejercicio 4 Ejercicio 5 Problemas propuestos

Solución final

Y, por tanto la solución final es:

  2 
1+n (2n+1)π
∞ 8(−1) exp − 2 t/2
X  π 
u(x, t) = sin (2n + 1) x)
π (−3 + 4 n + 4 n2 ) 2
n=0

No hay manera de sumar esta serie en forma cerrada, todo lo que

podemos hacer es graficarla para diferentes valores de t.
Ejercicio 1 Ejercicio 2 Ejercicio 3 Ejercicio 4 Ejercicio 5 Problemas propuestos

Ecuación de Laplace en un cuadrado

Planteamiento
Resuelva la ecuación diferencial:

uxx (x, y ) + uy y (x, y ) = 0

u(0, y ) = u(1, y ) = 0
u(x, 0) = 0 u(x, 1) = x(1 − x)

en el cuadrado x ∈ (0, 1) y y ∈ (0, 1)

Ejercicio 1 Ejercicio 2 Ejercicio 3 Ejercicio 4 Ejercicio 5 Problemas propuestos

Separación de variables
Como antes separamos variables:
Ψ00 (x) Φ00 (y )
− = =λ
Ψ(x) Φ(y )
Las condiciones de contorno implican Ψn (x) = sen(πnx) y
λn = (πn)2 , por tanto Φn (y ) = An e πny + Bn e −nπy . La solución
general es
∞
X
u(x, y ) = (An e nπy + Bn e −nπy ) sen(πnx)
n=1

Ahora imponemos que u(x, 0) = 0 y obtenemos An + Bn = 0. El

otro exremo nos dice que
∞
X
u(x, 1) = Cn cosh(nπ) sen(nπx) = x(1 − x)
n=1
Ejercicio 1 Ejercicio 2 Ejercicio 3 Ejercicio 4 Ejercicio 5 Problemas propuestos

Coeficientes y solución

Los coeficientes son esta vez:

−1 + (−1)n
Z 1
Cn cosh(nπ) = 2 x(1 − x) sen(nπx) = −4
0 π 3 n3

Y la respuesta será:
∞
X 8 cosh((2k + 1)πy ) sen((2k + 1)πx)
u(x, y ) =
k=0
cosh((2k + 1)π)π 3 (2k + 1)3
Ejercicio 1 Ejercicio 2 Ejercicio 3 Ejercicio 4 Ejercicio 5 Problemas propuestos

Ecuación de ondas con condiciones iniciales

Planteamiento
Resolver el problema

utt − 4uxx = 0
2 1
u(x, t = 0) = e −x ut (x, t) =
1 + x2
Ejercicio 1 Ejercicio 2 Ejercicio 3 Ejercicio 4 Ejercicio 5 Problemas propuestos

Ecuación de ondas

Este es un problema muy sencillo y merece la pena resolverlo con

sencillez. La solución general de la ecuación de ondas con
2
condiciones iniciales g1 (x) = e −x y g2 (x) = 1+x1
2 viene dada por
la ecuación de D’Alembert:
1 x+2t
Z
1
u(x, t) = (g1 (x − 2t) + g1 (x + 2t)) + g2 (x) =
2 4 x−2t
1  −(x−2t)2 2

2e + 2e −(x+2t) + atan(x + 2t) − atan(x − 2t)
4
Ejercicio 1 Ejercicio 2 Ejercicio 3 Ejercicio 4 Ejercicio 5 Problemas propuestos

Planteamiento
Encontar el desarrollo de la función f (x) = x en el intervalo (0, 1)
d2
en base de los autoestados del operador − dx 2 con condiciones de
contorno Ψ(0) = Ψ0 (0) = 0. ¿Puedes interpretarlo como una serie
de Fourier? ¿De qué función periódica?