Ejercicio 1 Ejercicio 2 Ejercicio 3 Ejercicios para casa

Práctica 7, Matemática VII, regimen

semipresencial
Clases 13 y 14: Series de Fourier y aplicaciones

Nicolás Hatcher

5 de marzo de 2008
Ejercicio 1 Ejercicio 2 Ejercicio 3 Ejercicios para casa

1 Ejercicio 1
Series de Fourier
Solución

2 Ejercicio 2
Ecuación de Laplace en un cı́rculo
Solución

3 Ejercicio 3
Ecuación de Laplace en un cuadrado
Solución

4 Ejercicios para casa

Ejercicio 1 Ejercicio 2 Ejercicio 3 Ejercicios para casa

Series de Fourier
Planteamiento
Sea la función T -periódica definida en el intervalo (−T /2, T /2)
por f (x) = − (6 x + T ) H (x + T /6) + (6 x + 2T ) H (x + T /3) −
(6 x − T ) H (x − T /6) + (6 x − 2T ) H (x − T /3)
a) Grafique la función en (0, 2T ).
b) Calcule los coeficientes de Fourier an y bn . Escriba
explı́citamente el valor de an y bn para n = 1, 2, 3, 4 y 5
c) Estudiando la convergencia de la serie en un punto adecuado
suma la serie:
2 1 1 2
1− 2
+ 2 + 2 − 2 − ...
3 5 7 9
d) Usando la identidad de Parseval encuentre el valor de la suma

4 1 1
1+ 4
+ 4 + 4 + ...
3 5 7
Ejercicio 1 Ejercicio 2 Ejercicio 3 Ejercicios para casa

Gráfica

Para hacer la gráfica debo estudiar cuanto vale la función en cada

punto.
• Para x < −T /3 la función vale 0
• Para −T /3 < x < −T /6 la función vale 6x + 2T )
• En el intervalo −T /6 < x < T /6 vale (6x + 2T ) − (6x + T ) = T
• Para T /6 < x < T /3 la función vale T − (6x − T ) = −6x + 2T
• Si x > T /3 la función vale (−6x + 2T ) + (6x − 2T ) = 0
1.0

0.8

0.6

0.4

0.2

0.2 0.4 0.6 0.8 1.0

Ejercicio 1 Ejercicio 2 Ejercicio 3 Ejercicios para casa

Coeficientes de Fourier
Como la función es par bn = 0. La forma más sencilla de calcular
los coeficientes an es derivando término a término. La seunda
derivada generalizada de la función en (−T /2, T /2) vine dada por
fg′′ (x) = −72δ(T − 6x) + 36δ(T − 3x) + 36δ(T + 3x) − 72δ(T + 6x)
∞
4π 2 n2
 
′′
X 2πnx
fg (x) = − an cos
T2 T
n=1

Usando La fórmula para los coeficientes:

4π 2 n2 2 T /2 ′′
 
2πnx
Z
−an = f (x) cos dx =
T2 T −T /2 g T
    nπ 
24 2nπ
cos − cos
T 3 3
nπ 2nπ




6T cos 3 − cos 3 6T −2 1
an = 2 2
= 2 (1, 0, 2 , 0, 2 , ...)
n π π 3 5
Ejercicio 1 Ejercicio 2 Ejercicio 3 Ejercicios para casa

Suma en x = 0

Calculamos el coeficiente a0 aparte

T /2
2
Z
a0 = f (x)dx = T
T −T /2

Luego la serie de Fourier es finalmente:


T 6T 2 1
f (x) = + 2 cos(2πx/T ) − 2 cos(2π3x/T ) + 2 cos(2π5x/T ) + .
2 π 3 5

Si usamos la fórmula en x = 0 obtenemos la suma de la serie

T 6T 2 1
f (0) = T = + 2 (1 − 2 + 2 − ..)
2 π 3 5
π2 2 1
= 1 − 2 + 2 − ...
12 3 5
Ejercicio 1 Ejercicio 2 Ejercicio 3 Ejercicios para casa

Parseval

Aplicando la fórmula de Parseval obtenemos

T /2 ∞
|a0 |2
Z
2 T X
|f (x)| dx = T+ |an |2
−T /2 4 2
n=1
4T 3 T 3 18T 3 
4 1

= + 1 + 4 + 4 + ...
9 4 π4 3 5
Ejercicio 1 Ejercicio 2 Ejercicio 3 Ejercicios para casa

Ecuación de Laplace en un cı́rculo

Planteamiento
Resolver la ecuación de Laplace

∇2 u(x, y ) = 0 x2 + y2 < 1
u(x, y ) = sen3 (θ) x2 + y2 = 1
Ejercicio 1 Ejercicio 2 Ejercicio 3 Ejercicios para casa

Laplaciano en polares

Lo primero es expresar el Laplaciano en coordenadas polares

x = r cos θ y = r sen θ
∂r ∂θ − sen θ ∂r ∂θ cos θ
= cos θ = = sen θ =
∂x ∂x r ∂y ∂y r
∂u ∂r ∂u ∂θ ∂u sen θ
= + = cos θur − uθ
∂x ∂x ∂r ∂x ∂θ r
∂u ∂r ∂u ∂θ ∂u cos θ
= + = sen θur + uθ
∂y ∂y ∂r ∂y ∂θ r
1 1
uxx + uyy = urr + ur + 2 uθθ
r r
Ejercicio 1 Ejercicio 2 Ejercicio 3 Ejercicios para casa

Separación de variables urr + 1r ur + r12 uθθ = 0

Probamos soluciones de la forma u(r , θ) = R(r )Θ(θ). Separación
de variables nos conduce a
R ′ (r ) 1 Θ′′ (θ)
R ′′ (r ) + + =0
rR(r ) r Θ(θ)

Multimplicando por r 2 obtenemos la separación:

r 2 R ′′ (r ) + R ′ (r ) − λR(r ) = 0
Θ′′ (θ) = −λΘ(θ)

Las condiciones periódicas en Θ(θ) obligan a que λ = n2 y

Θn (θ) = A cos(nθ) + B cos(nθ). La ecuación de la parte radial es
una ecuación homogénea (tipo Euler) y las soluciones son de la
forma R(r ) = r α . Introduciendo este resultado obtenemos dos
soluciones r n y r −n . La segunda es singular en el origen y no es
válida.
Ejercicio 1 Ejercicio 2 Ejercicio 3 Ejercicios para casa

Solución general y serie de Fourier

La solución general es, por tanto, de la forma
∞
a0 X n
u(r , θ) = + r an cos(nθ) + r n bn sin(nθ)
2
n=1

Si imponemos la coondición inicial

∞
3 a0 X n
u(4, θ) = sen (θ) = + 4 an cos(nθ) + 4n bn sin(nθ)
2
n=1

Hay que calcular el desarrollo de Fourier de sen3 (θ), eso es muy

sencillo:
(e i θ − e −i θ )3 −1  3i θ 
sen3 (θ) = = e − 3e i θ + 3e −i θ − e −3i θ =
−8 8i
−1
(sen 3θ − 3 sen θ)
4
Ejercicio 1 Ejercicio 2 Ejercicio 3 Ejercicios para casa

Coeficientes y solución final

Luego los coeficientes son:

3 −1
an = 0 b1 = b3 =
16 44
Luego la solución a nuestro problema es
3 1
u(r , θ) = r sen θ − (r /4)3 sen(3θ)
16 4
No es muy dificil escribir la función en términos de x y y .
Ejercicio 1 Ejercicio 2 Ejercicio 3 Ejercicios para casa

Ecuación de Laplace en un cuadrado

Planteamiento
Resolver la ecuación de Laplace

∇2 u(x, y ) = 0 0 < x < π, 0<y <1

3
u(x, 0) = u(x, 1) = sen x,
u(0, y ) = sen πy ,
u(π, y ) = 0
Ejercicio 1 Ejercicio 2 Ejercicio 3 Ejercicios para casa

Dos problemas

Nuestra solución es la suma de dos problemas diferentes

∇2 u1 (x, y ) = 0 ∇2 u2 (x, y ) = 0
0 < x < π, 0<y <1 0 < x < π, 0<y <1
u1 (x, 0) = u1 (x, 1) = 0, u2 (x, 0) = u2 (x, 1) = sen3 x,
u1 (0, y ) = sen πy , u2 (0, y ) = 0,
u1 (π, y ) = 0 u2 (π, y ) = 0
De manera que la solución es u(x, y ) = u1 (x, y ) + u2 (x, y )
Ejercicio 1 Ejercicio 2 Ejercicio 3 Ejercicios para casa

Solución de u1 (x, y )
Tenemos que separar variables, como no. u1 (x, y ) = Ψ(x)χ(y ). Las
condiciones de contorno nos imponen que
χ(0) = χ(1) ⇒ χ(y ) = sen(πny ) ⇒ Ψ(x) = A senh(πnx) + B cosh(πny )
Luego la solución para u1 (x, y ) debe ser
∞
X
u1 (x, y ) = (An cosh(πnx) + Bn senh(πnx)) sen(πny )
n=1

Las otras dos condiciones de contorno implican que:

∞
X
An sen(πny ) sen πy ⇒ A1 = 1, An = 0 n = 2...
n=1
∞
X
(An cosh(π 2 n) + Bn senh(π 2 n)) sen(πny ) = 0 ⇒ B1 = −ctgh(π 2 n)
n=1
u1 (x, y ) = (cosh(πx) − ctgh(π 2 ) senh(πx)) sen(πy )
Ejercicio 1 Ejercicio 2 Ejercicio 3 Ejercicios para casa

Solución de u2 (x, y )
Nuevamente separamos variables u2 (x, y ) = φ(x)ϕ(y ). Esta vez las
condiciones de borde implican:
φ(0) = φ(π) = 0 ⇒ φn (x) = sin(nx) ⇒ ϕ(y ) = A cosh(ny ) + B senh(ny )
La solución general es:
∞
X
u2 (x, y ) = (An cosh(ny ) + Bn senh(ny )) sen(nx)
n=1
Las condiciones de borde implican ahora que:
1
sen3 x = (3 sen x − sen 3x) = A1 sen x + A3 sen 3x
4
= (A1 cosh π + B1 senh π) sen x + (A3 cosh 3π + B3 senh 3π) sen 3x
De donde deducimos que
3 cosh y − 21 sin x cosh 3y − 43 sin(3x)



u2 (x, t) = −
4 cosh 12 4 cosh 23
Ejercicio 1 Ejercicio 2 Ejercicio 3 Ejercicios para casa

Solución final

La solución es, por tanto, suma de ambas. Que, con un poco de

cuidado, se escribe como:

u(x, y ) =
1
cosh 3y − 43 sin(3x) senh(πx − π 2 ) sin(πy )



3 cosh y − 2 sin x
− −
4 cosh 12 4 cosh 23 sinh π 2
Ejercicio 1 Ejercicio 2 Ejercicio 3 Ejercicios para casa

Tarea

Calor modificada
Resolver por separación de variables

∂u ∂ 2 u
− 2 + au = 0 0 < x < π, t > 0,
∂t ∂x
∂u
u(0, t) = (π, t) = 0,
∂x
u(x, 0) = x(π − x)

Armónicos
Determinar los polinomios homogéneos de grado n en x, y tal que
son solución de la ecuación de Laplace.
Ejercicio 1 Ejercicio 2 Ejercicio 3 Ejercicios para casa

Tarea

Laplace en dominio
Resuelve la ecuación de Laplace:

∂2u ∂2u
+ =0 0 < x + y < 1, 0<x −y <1
∂x 2 ∂y 2
u(x, −x) = 0
u(x, 1 − x) = 0
u(x, x − 1) = 0
u(x, x) = x(1 − 2x)

Pista: Haz un cambio de coordenadas.