Actividad 4.

1
Unidad Temática N° 4: Métodos numéricos

 Ejemplo 4.1: Ecuación de Laplace. Problema de Dirichlet

1
La ecuación de Laplace en 2D, es de segundo orden tanto en x como en y.

La función solución u  x, y  puede representar, por ejemplo, la temperatura

estacionaria de una placa metálica rectangular, cuyos bordes laterales e inferior
están a temperatura 0, mientras que su borde superior tiene una temperatura
f  x  dependiendo de la posición. El objetivo es determinar la temperatura en el
interior de la placa, a partir de los datos dados.

Las funciones solución u  x, y  que satisfacen la ecuación de Laplace se

denominan funciones armónicas.

Puede demostrarse que estas funciones no poseen ni máximos ni mínimos en el

interior del rectángulo, teniendo sus valores extremos en el borde del mismo.

Puede demostrarse además que su valor en un punto interior  x, y  es el promedio

de los valores que toma en cualquier círculo contenido en R que rodea dicho
punto, por lo que son las funciones más “planas” posibles compatibles con las
condiciones de contorno.

Además, dados los valores de u  x, y  en el contorno, la solución u  x, y  es única.

a) Resolvemos por el método de separación de variables, el cual consiste

en proponer primero una solución producto:

u  x, y   X  x  Y  y 

donde X(x) depende solo de x y Y(y) solo de y. Entonces:

 2 u  x, y   2 u  x, y 
 X ´´ x  Y  y  y  X  x  Y ´´ y 
x 2 y 2

Reemplazando en la PDE: X ´´ x  Y  y   X  x  Y ´´ y   0

X ´´ x  Y ´´ y 
Dividiendo la ecuación por X(x).Y(y) se llega a:   0 , o bien:
X  x Y  y

2
X ´´ x  Y ´´ y 
 .
X  x Y  y

Como el primer cociente depende solo de x y el segundo solo de y, siendo x e y

variables independientes, la única posibilidad es que ambos cocientes sean
constantes:

X ´´ x  Y ´´ y 
   k 2 , con k2 constante de separación.
X  x Y  y

Se obtienen así dos ODEs homogéneas de segundo orden con coeficientes

constantes:

X ´´ x   k 2 X  x   0
Y ´´ y   k 2Y  y   0 que ya sabemos resolver (Unidad 2!).

 Si k=0:

X ´´ x   0  X  x   A  Bx
Y ´´ y   0  Y  y   C  Dy

 Si k≠0:

Resolviendo las ODEs homogéneas con coeficientes constantes, llegamos a:

X  x   A cos  kx   Bsen  kx 
Y  y   Ce ky  De  ky

Por lo que la solución resulta:

 A  Bx  C  Dy   k  0
u  x, y   X  x  Y  y   
  A cos  kx   Bsen  kx   Ce  De   k  0
ky  ky

 Condiciones de contorno:

Debemos considerar las condiciones de contorno para hallar las constantes de la

solución.
Las condiciones de contorno laterales implican que:

3
u  0, y   X  0  Y  y   0, para 0  y  Ly
u  Lx , y   X  Lx  Y  y   0, para 0  y  Ly

Por lo tanto, si Y  y   0 debe cumplirse que: X  0   0, X  Lx   0 .

Para k=0, recordando que X  x   A  Bx

X  0  A  0 
 entonces X  x   0 y u  x, t   0 es la solución trivial.
X  Lx   A  Lx B  0  B  0 

Para k≠0, recordando que X  x   A cos  kx   Bsen  kx 

X  0   A cos  0   Bsen  0   0  A  0
X  Lx   A cos  kLx   Bsen  kLx   0  Bsen  kLx   0

n
Para B≠0: sen  kLx   0  kLx  n  k  , n  1, 2, 3,...
Lx

Además, la condición de contorno inferior implica que:

u  x, 0   X  x  Y  0   0, para 0  x  Lx

Por lo tanto, si X  x   0 debe cumplirse que: Y  0   0 .

Recordando que Y  y   Ce ky  De  ky
Y  0   C  D  0  D  C y entonces:

n
Y  y   C  e ky  e  ky   2Csenh  ky  con k  , n  1, 2, 3,...
Lx

Luego:

 n x 
X n  x   Bn sen   , n  1, 2, 3,...
 Lx 
 n y 
Yn  y   2Cn senh   , n  1, 2, 3,...
 Lx 

4
Entonces, la solución buscada es:

 n x   n y 
un  x, y   X n  x  Yn  y   Dn sen   senh   , n  1, 2, 3,...
L
 x  L
 x 

con Dn constante arbitraria. Si Dn ≠0, estas soluciones son linealmente

independientes.

En el borde superior y  Ly , estas soluciones satisfacen:

 n x   n Ly 
X n  x  Yn  Ly   Dn sen   senh    f  x  , para 0  x  Lx
 Lx   Lx 
por lo que resuelven el problema planteado solo cuando
 n x  Fn
f  x   Fn sen   , en cuyo caso Dn  .
 Lx   n Ly 
senh  
 Lx 
En los siguientes gráficos se muestra el comportamiento de las soluciones para
n=1,2 y Fn=1. A mayor n, más rápidamente decrece Yn  y  al alejarse del borde
y  Ly .

5
  Solución general:

Para f  x  arbitraria, por el Principio de Superposición podemos plantear la serie

de soluciones producto:


 n x   n y 
u  x, y    Dn sen   senh  
n 1  Lx   Lx 

que satisface la ecuación de Laplace junto con las condiciones de contorno

laterales e inferior. Y en el borde superior:


 n x   n Ly 
u  x, Ly    Dn sen   senh    f  x
n 1  Lx   Lx 

que corresponde al desarrollo en serie de Fourier de medio rango en senos de


 n x   n x 
f  x    Fn sen  , para 0  x  Lx , con: Fn 
2 Lx

n 1  Lx  Lx 0
f ( x)sen 
 Lx 
 dx

 n Ly 
Por lo tanto, los coeficientes Dn están dados entonces por: Dn senh    Fn ,
 Lx 
es decir:
1 1 2 Lx  n x 
Dn 
 n Ly 
Fn 
 n Ly  Lx 
0
f ( x )sen 
 Lx 
 dx
senh   senh  
 Lx   Lx 

 n x   n y 
La solución final y única es la serie 
u x , y   Dn sen 
  senh   con
n 1  Lx   Lx 
los coeficientes Dn calculados por la expresión anterior.

 
b) Si u x, Ly  f  x   100, 0  x  Lx ,

considerando Lx  1, Ly  1.5 , entonces:

6
 
 n x   n Ly 
u  x, Ly    Dn sen   senh    f  x
n 1  Lx   Lx 

 n x 
u  x, 0    Dn sen    100, 0  x  Lx con
n 1  2 
Lx

1 2 Lx  n x  1  200  Lx cos  n x  
Dn 
 n Ly  Lx 0
100sen 
 Lx 
 dx 
 n Ly  n Lx

 Lx 

senh   senh  
 Lx   Lx  0

1  200  cos n  cos 0    200 

     1 n  1 
 n Ly  n    n Ly  
senh   n senh  
 Lx   Lx 
200 1   1n 1 
 n Ly   
n senh  
 Lx 
Entonces:

 400
 , n impar  400
  n Ly   , n impar
Dn   n senh    Dn   n senh 1.5n 
  Lx  
0, n par 0, n par

Por lo que:

u  x, y    Dn sen  n x  senh  n y   D1sen  x  senh  y   D3 sen  3 x  senh  3 y  
n 1

D5 sen  5 x  senh  5 y   ...

7
Ejemplo 4.2: Ecuación de difusión

La ecuación de difusión en 1D, es de segundo orden en x y de primer orden en t.

En este ejemplo, la constante c = 1.

La función solución u  x, t  puede representar, por ejemplo, la temperatura en

función de la posición y el tiempo de una barra conductora de calor de longitud L,
cuyos bordes están a cero grados centígrados y está lateralmente aislada,
teniendo inicialmente (t=0) una distribución de temperatura dada por f  x  .

8
 b) Resolvemos por el método de separación de variables, el cual consiste
en proponer primero una solución producto:

u  x, t   X  x  T  t 

donde X(x) depende solo de x y T(t) solo de t. Entonces:

u  x, t   2 u  x, t 
 X  x  T ´ t  y  X ´´ x  T  t 
t x 2

Reemplazando en la PDE: X  x  T ´ t   X ´´ x  T  t   0

T ´ t  X ´´ x 
Dividiendo la ecuación por X(x).T(t) se llega a:   0 , o bien:
T t  X  x 

X ´´ x  T ´ t 
 .
X  x  T t 

Como el primer cociente depende solo de x y el segundo solo de t, siendo x y t

variables independientes, la única posibilidad es que ambos cocientes sean
constantes:

X ´´ x  T ´ t 
  k 2 , con k2 constante de separación.
X  x  T t 

Se obtienen así dos ODEs homogéneas con coeficientes constantes, una de

segundo orden para x y una de primer orden para t:

X ´´ x   k 2 X  x   0
T ´ t   k 2T  t   0

que ya sabemos resolver (Unidad 2!).

 Si k=0:

X ´´ x   0  X  x   A  Bx
T ´ t   0  T  t   C
Luego, la solución resulta: u  x, t   X  x  T  t   CA  CBx que es una solución
estacionaria (indepediente de t).

9
  Si k≠0:

Resolviendo las ODEs homogéneas con coeficientes constantes, llegamos a:

X  x   A cos  kx   Bsen  kx 
T  t   Ce  k
2
t

Por lo que la solución resulta: u  x, t   X  x  T  t    A cos  kx   Bsen  kx   Ce k t que

2

es una solución no estacionaria (depediente de t).

 Condiciones de contorno y condición inicial:

Debemos considerar las condiciones de contorno y la condición inicial para hallar

las constantes de la solución. Tenemos que:

u  0, t   X  0  T  t   0, t  0
u  2, t   X  2  T  t   0, t  0

Por lo tanto, si T  t   0 debe cumplirse que: X  0   0, X  2   0 .

Para k=0, recordando que X  x   A  Bx

X  0  A  0 
 entonces X  x   0 y u  x, t   0 es la solución trivial.
X  2   A  2 B  0  B  0 

Para k≠0, recordando que X  x   A cos  kx   Bsen  kx 

X  0   A cos  0   Bsen  0   0  A  0
X  2   A cos  2k   Bsen  2k   0  Bsen  2 k   0

n
Para B≠0: sen  2k   0  2k  n  k  , n  1, 2, 3,...
2
Luego:
 n x 
X n  x   Bn sen   , n  1, 2, 3,...
 2 
2
 n 
  t
Tn  t   Cn e  2 
, n  1, 2, 3,...

10
Entonces, la solución buscada es:

2
 n 
 n x    t
un  x, t   X n  x  Tn  t   Dn sen  e
2 
, n  1, 2,3,...
 2 

con Dn constantes arbitrarias. Si Dn ≠0, estas soluciones son linealmente

independientes.

Analizando la solución un  x, t  , su valor absoluto X n  x  Tn  t  decrece

exponencialmente al aumentar t.
2
 n 
  t 22
Tn  t   Cn e  2 
 Cn e  n 2 t /
,  donde  representa un tiempo
2

característico, tal que Tn  t   1 si t  .
n2
A mayor n, más rápidamente disminuirá el módulo de esta solución.

11
  Solución general:

Finalmente, por Principio de Superposición:

2
 n 

 n x    t
u  x, t    Dn sen  e
2 

n 1  2 

Los coeficientes Dn pueden ser determinados por la condición inicial:

u  x, 0   f  x  , 0  x  2

Entonces:

 n x 
u  x, 0    Dn sen    f  x , 0  x  2
n 1  2 

que constituye el desarrollo en serie de Fourier de medio rango en senos de

f(x) en el intervalo [0,2].
Los coeficientes Dn están dados entonces por:

2 L  n x  2  n x 
Dn 
L 0
f ( x )sen 
 L 
 dx  0
f ( x)sen 
 2 
 dx , n  1, 2,3...
2
 n 
 n x  

 t
La solución final y única es la serie u  x , t   
n 1
Dn sen 
 2 
e
2 
con los

coeficientes Dn calculados por la expresión anterior.

b) b1) Si u  x, 0   f  x   1, 0  x  2 entonces:


 n x   n x 
u  x, 0    Dn sen    1, 0  x  2 con Dn  0 sen 
2
 dx, n  1, 2,3...
n 1  2   2 

2
2  n x  2 2  2
cos  n   cos  0     1  1  1   1 
n n 1
Dn  cos   
n  2  0 n n  n

 4
 , n impar
Dn   n
0, n par

12
b2) Si u  x, 0   f  x   sen  x / 2   3sen  x  , 0  x  2 entonces:

 n x 
u  x, 0    Dn sen    sen  x / 2   3sen  x  , 0  x  2
n 1  2 

En este caso, los coeficientes Dn pueden obternerse por comparación con los
términos de la serie:

1, n  1  
2

  x  2 t
  
entonces u  x, t   sen     2t
Dn  3, n = 2  e  3sen  x e
0, n  1, n  2  2 


13
Ejemplo 4.3: Ecuación de ondas

La ecuación de ondas en 1D, es de segundo orden en ambas variables x, t.

La función solución u  x, t  puede representar, por ejemplo, la elongación de una

cuerda tensa de longitud L sujeta en ambos extremos, en función de la posición y
el tiempo, a partir de su elongación inicial u  x, 0   f  x  y su velocidad inicial
ut  x, 0   g  x  .

v es la velocidad de propagación de ondas transversales en la cuerda.

14
 a) Aplicamos el método de separación de variables, el cual consiste en
proponer primero una solución producto:

u  x, t   X  x  T  t 

donde X(x) depende solo de x y T(t) solo de t. Entonces:

 2 u  x, t   2 u  x, t 
 X  x  T ´´ t  y  X ´´ x  T  t 
t 2 x 2

Reemplazando en la PDE: X  x  T ´´ t   v 2 X ´´ x  T  t   0

T ´´ t  2 X ´´ x 
Dividiendo la ecuación por X(x).T(t) se llega a: v  0 , o bien:
T t  X  x

X ´´ x  1 T ´´ t 
 .
X  x  v2 T t 

Como el primer cociente depende solo de x y el segundo solo de t, siendo x y t

variables independientes, la única posibilidad es que ambos cocientes sean
constantes:

X ´´ x  1 T ´´ t 
 2   k 2 , con k2 constante de separación.
X  x  v T t 

Se obtienen así dos ODEs homogéneas con coeficientes constantes, ambas de

segundo orden, para x y para t:

X ´´ x   k 2 X  x   0
T ´´ t   v 2 k 2T  t   0

que ya sabemos resolver (Unidad 2!).

 Si k=0:

X ´´ x   0  X  x   A  Bx
T ´´ t   0  T  t   C  Dt

15
  Si k≠0:

Resolviendo las ODEs homogéneas con coeficientes constantes, llegamos a:

X  x   A cos  kx   Bsen  kx 
T  t   C cos  kvt   Dsen  kvt 

 Condiciones de contorno y condición inicial:

Debemos considerar las condiciones de contorno y la condición inicial para hallar

las constantes de la solución. Tenemos que:

u  0, t   X  0  T  t   0, t  0
u  L, t   X  L  T  t   0, t  0

Por lo tanto, si T  t   0 debe cumplirse que: X  0   0, X  L   0 .

Para k=0, recordando que X  x   A  Bx

X 0  A  0 
 entonces X  x   0 y u  x, t   0 es la solución trivial.
X  L   A  LB  0  B  0 

Para k≠0, recordando que X  x   A cos  kx   Bsen  kx 

X  0   A cos  0   Bsen  0   0  A  0
X  L   A cos  Lk   Bsen  Lk   0  Bsen  Lk   0

n
Para B≠0: sen  Lk   0  Lk  n  k  , n  1, 2, 3,...
L

Luego:

 n x 
X n  x   Bn sen   , n  1, 2, 3,...
 L 
 n vt   n vt 
Tn  t   Cn cos    Dn sen   , n  1, 2, 3,...
 L   L 

16
Entonces, la solución buscada es:

 n x    n vt   n vt  
un  x, t   X n  x  Tn  t   sen   Cn cos    Dn sen    , n  1, 2,3,...
 L   L   L 

con Cn, Dn constantes arbitrarias.

Estas soluciones tienen un comportamiento oscilatorio armónico con t y

representan los modos normales de vibración de la cuerda. Corresponden a
ondas estacionarias. A mayor n, mayor es la frecuencia f n de vibración y por lo
tanto menor el período Tn :

nv 1 2L
fn  , Tn   , n  1, 2, 3,...
2L f n nv

Las soluciones pueden escribirse como la superposición de ondas viajeras iguales

propagándose en sentidos opuestos:

 n x   n vt  1   n   n 
sen   cos     sen   x  vt    sen   x  vt   
 L   L  2  L   L 
 n x   n vt  1   n   n 
sen   sen    cos   x  vt    cos   x  vt   
 L   L  2  L   L 

Estas soluciones deben responder a las condiciones iniciales:

u  x, 0   f  x  , 0  x  L
u  x, t 
ut  x, 0    g  x, 0  x  L
t t 0

Entonces:
 n x 
u  x, 0   Cn sen    f  x , 0  x  L
 L 
n v  n x 
ut  x, 0   Dn sen    g  x, 0  x  L
L  L 

17
es decir, tanto la elongación inicial f  x  como la velocidad inicial g  x  son
 n x 
proporcionales a sen  .
 L 

Las siguientes figuras muestran los primeros modos normales y sus oscilaciones:

 Solución general:

Finalmente, por Principio de Superposición:


 n x    n vt   n vt  
u  x, t    sen   Cn cos    Dn sen  
n 1  L   L   L 

Los coeficientes Cn y Dn pueden ser determinados por la condiciones iniciales:


 n x 
u  x, 0    Cn sen    f  x
n 1  L 

18
 
n v  n x 
ut  x, 0    Dn sen    g  x
n 1 L  L 

las cuales representan el desarrollo en serie de Fourier de medio rango en

senos de f(x) y g(x) en el intervalo [0,L].
Los coeficientes Cn, Dn están dados entonces por:

2 L  n x  2 L  n x 
Cn 
L 0
f ( x )sen 
 L 
 dx, n  1, 2,3... y Dn 
n v 
0
g ( x )sen 
 L 
 dx, n  1, 2,3...

La solución final y única es la serie


 n x    n vt   n vt  
u  x, t    sen   Cn cos    Dn sen    con los coeficientes Cn,
n 1  L   L   L 
Dn calculados por las expresiones anteriores.

b) Si u  x, 0   f  x   2sen  x / L   sen  3 x / L  , 0  x  L entonces:


 n x 
u  x, 0    Cn sen    2 sen  x / L   sen  3 x / L  , 0  x  L
n 1  L 

En este caso, los coeficientes Cn pueden obternerse por comparación con los
términos de la serie:

2, n  1

Cn  1, n =3 y Dn  0, n entonces la solución es:
0, n  1, n  3

  vt   3 vt 
u  x, t   2sen  x / L  cos    sen  3 x / L  cos  
 L   L 

19
20