Solucin de Ecuaciones diferenciales

Parciales (EDP) por Mtodos Numricos

Raul Cabrales Amars
Profesor: Francisco Cabrera
Junio 13 del ao 2011
Resumen
Durante el desarrollo de este artculo nos embarcaremos en la aproximacin
numrica de la solucin de ecuaciones diferenciales parciales por mtodos num-
ricos, se centrara el objetivo de este articulo en el estudio de la ecuacin de onda
unidimensional, para ello utilizaremos un mtodo explicito de diferencias nitas
de segundo orden.
Abstract
In the course of the development of this article We will embark on the nu-
merical approximation of the solution of differential equations for numerical met-
hods, center him the objective of this article in the study of the equation of one-
dimensional wave , for it we will utilize an explicit method of nite differences of
second order.
1. Introduccin
La teora de Ecuaciones en Derivadas Parciales (EDP) se ha convertido en uno
de los campos de estudio ms importantes en matemticas, debido a su frecuente
aplicacin en diferentes reas de la fsica, ingeniera y otras ciencias. Entre las EDP
ms representativas se encuentran la Ecuacin de Laplace, la Ecuacin de Onda y
la Ecuacin de Calor.
Como nos hemos indicado el estudio de este artculo es la ecuacin de onda la
cual surge al describir fenmenos relativos a la propagacin de ondas en un medio
continuo. Los Estudios de ondas acsticas, ondas de agua, ondas electromagnticas
1
y vibraciones mecnicas estn basados en esta ecuacin.
Las soluciones de estas tres ecuaciones pueden calcularse mediante mtodos
analticos o aproximarse mediante mtodos numricos. Es el propsito de este
proyecto ilustrar el mtodo numrico de diferencias nitas para el clculo de la
solucin de las Ecuaciones de Onda para el caso unidimensional, y comparar los
resultados obtenidos mediante este mtodo con los resultados analticos, para un
caso particular que es el de la cuerda vibrante para el problema de valores en la
frontera.
2. Marco Teorico
Ecuacion de Onda
En el caso de la Ecuacin de Onda, se supondr que la ecuacin representa
el movimiento de una cuerda elstica de longitud a sujeta por los extremos, eli-
giendo el eje x para representar la posicin original de la cuerda. Se supone que
dicha cuerda se pone en movimiento mediante alguna fuerza externa, de forma que
empieza a vibrar en el plano horizontal, donde u = u(x, t) representa el desplaza-
miento vertical en el punto x y en el instante t, siendo la ecuacin que verica tal
desplazamiento [3].

2
u
t
2
= c
2

2
u
x
2
(1)
Para obtener una solucin nica de esta ecuacin es preciso aadir tambin
unas condiciones inciales y de contorno apropiadas, que representaran distintos
tipos de fenmenos oscilatorios. Las condiciones de contorno deben reejar que
los extremos de la cuerda son jos, por lo que sern de la forma
u(0, t) = 0 = u(a, t) 0 < t < b (2)
Como en la ecuacin de onda aparece una derivada de segundo orden respecto a
t, hay que imponer dos condiciones inciales respecto a ella. Estas pueden consistir
en jar la posicin y la velocidad inicial de los puntos de la cuerda, expresndose
u(x, 0) = f(x) 0 x a (3)
u
t
(x, 0) = g(x) 0 < x < a (4)
2
Aplicando el mtodo de separacin de variables o mtodo del producto tene-
mos:
u(x, t) = X(x)T(t)
Entonces al derivar dos veces la parte espacial y la parte temporal obtenemos:

2
u
t
2
= X

T y

2
u
x
2
=

XT (5)
Reemplazando (5) en (1) tenemos:
X

T = c
2

XT (6)
Dividiendo (6) entre c
2
XT se encuentra

T
c
2
T
=

X
X
(7)
Como podemos ver de la ecuacin de la ecuacin (7) tanto la parte izquierda
y derecha estn totalmente separadas tanto para la variable espacial como para la
variable temporal, por consiguiente ambas expresiones deben ser igualadas a una
constante

T
c
2
T
=

X
X
=
2
(8)
De modo que

X + X = 0 (9)

T +
2
c
2
T = 0 (10)
La solucin general de (9) est dada por
X = c
1
cosx + c
2
senhx
Y anlogamente para la parte temporal tenemos la solucin general as
T = c
3
coshct + c
4
senct
Para determinar el valor de las constantes c
1
y c
2
empleamos las condiciones
de frontera (2) que se traducen en X(0) = 0 y X(a) = 0 As vemos que
c
1
= 0 y c
2
sena = 0
3
Esta ltima ecuacin dene los valores propios =
n
a
donde n = 1, 2, 3, . . .
las funciones propias respectivas son
X = c
2
sen
n
a
x, n = 1, 2, 3, . . .
Las soluciones de la ecuacin (1) que satisfacen las condiciones en la frontera
(2) son
u
n
=
_
A
n
cos
nc
a
t + B
n
sin
nc
a
x
_
sen
n
a
x
u(x, t) =

n=1
_
A
n
cos
nc
a
t + B
n
sin
nc
a
x
_
sen
n
a
x (11)
Con t = 0 en (7)obtenemos
u(x, 0) = f(x) =

n=1
A
n
sen
n
a
x (12)
Para hallar B
n
derivamos la ecuacin que es un desarrollo de f en forma de
series de senos, de mitas de intervalo. Si denimos A
n
= B
n
:
A
n
=
2
a
_
a
0
f(x)sen
n
a
xdx (13)
Para determinar B
n
derivamos la ecuacin (11) con respecto a t hacemos t = 0:
u
t
=

n=1
_
A
n
nc
a
sen
nc
a
t + B
n
nc
a
cos
nc
a
t
_
sen
n
a
x
_
u
t
_
t=0
= g(x) =

n=1
_
B
n
nc
a
_
sen
n
a
x
Para que la ltima serie sea desarrollo de g en senos de mitad de intervalo en el
intervalo, el coeciente total, B
n
nc
a
debe estar en la forma de la ecuacin :
B
n
nc
a
=
2
a
_
a
0
g(x)sen
n
a
xdx
De donde obtenemos
B
n
=
2
nc
_
a
0
g(x)sen
n
a
xdx (14)
4
Se concluye que u(x, t), dada por (11) con coecientes (13) y (14) es una solu-
cin de (1) que satisface las condiciones (2)-(4) siempre que la serie (11) converja
y tambin que las series obtenidas derivando (11) dos veces (termino a termino)
con respecto a x y t, converja y tengan las sumas
2
u/x
2
y
2
u/t
2
, respectiva-
mente, las cuales son continuas.
De aqu que la solucin de (11) es, primeramente, una expresin puramente
formal y enseguida se establecer. Por simplicidad, considrese nicamente el caso
en el que la velocidad inicial g(x) es idnticamente cero. Entonces los B
n
son cero
y (11) se reduce a la forma
u(x, t) =

n=1
A
n
cos
n
tsen
nx
a
,
n
=
nc
a
(15)
Es posible sumar esta serie, es decir, escribir el resultado en una forma cerrada
o nita. Se tiene
cos
cn
a
tsen
n
a
x =
1
2
_
sen
_
n
a
(x ct)
_
+ sen
_
n
a
(x + ct)
__
Consecuentemente puede escribirse (15) en la forma
u(x, t) =
1
2

n=1
A
n
sen
_
n
a
(x ct)
_
+
1
2

n=1
A
n
sen
_
n
a
(x + ct)
_
Estas dos series son las obtenidas sustituyendo la variable x en la serie sinodal
de Fourier (12) para f(x), porx ct y x + ct respectivamente. Por tanto
u(x, t) =
1
2
[f

(x ct) + f

(x + ct)] , (16)
Donde f

es extensin peridica impar de f con el periodo 2a. Como la de-

formacin inicial f(x) es continua sobre el intervalo 0 x a y cero en los
puntos extremos, de (16) se deduce que u(x, t) es una funcin continua de ambas
variables de x y t para todos los valores de las variables. [3]
Solucin de DAlembert
El matemtico francs Jean Le Rond DAlembert (1717-1783) descubri que
u(x, t) = F(x + ct) + G(x ct) (17)
5
Es una solucin de la ecuacin de onda (1) sobre el intervalo 0 < x < a,
demostrando que F

, F

, G

y G

existen y F y Gtienen periodo 2a y obedece a las

relaciones F(z) = F(z), F(z +2a) = F(z), G(z) = G(z),y G(z +2a) =
G(z) para todo valor de z. Se puede esta solucin por sustitucin directa. Las
derivadas parciales de segundo orden de la solucion (17) son
u
tt
(x, t) = c
2
F

(x + ct) + c
2
G

(x ct) (18)
u
xx
(x, t) = F

(x + ct) + G

(x ct) (19)
Sustituyendo estas dos cantidades en la ecuacin (1) nos lleva a la siguiente
relacin:
u
tt
(x, t) = c
2
F

(x + ct) + c
2
G

(x ct)
= c
2
[F

(x + ct) + G

(x ct)]
= c
2
u
xx
(x, t)
La solucin particular que tiene los valores de frontera u(x, 0) = f(x) y
u
r
(x, 0) = 0 requiere que F(x) = G(x) = f(x/2) [1].
Metodos de diferencias nitas para la ecuacin de onda en una dimensin
Como un ejemplo de uso de los mtodos de diferencias nitas, desarrollaremos
un Esquema numrico para la ecuacin de onda en una dimensin. Esta ecuacin
aparece en el anlisis de una gran cantidad de fenmenos fsicos, siendo su forma

2
u
t
2
= c
2

2
u
x
2
Donde a(x, t) representa la velocidad de propagacin de la onda en el punto x y
el instante t. Esta ecuacin debe complementarse con unas condiciones de contorno
y/o inciales apropiadas. Por ejemplo el problema puro de valores inciales requiere
especicar u(0, x) = f(x) y (u/t)
t=0
= g(x) que puede complementarse con
unas condiciones de contorno del tipo u(t, o) = , u(t, 1) = . La ecuacin de
ondas puede verse tambin como sistema de ecuaciones de trasporte acopladas [5]
u
t
+ cv
x
= 0
v
t
+ cu
x
= 0
6
Vamos a considerar la solucin del problema puro de valores inciales para la
ecuacin de onda en una dimensin mediante un esquema en diferencias nitas
centradas de segundo orden
u
tt
=
U
n+1
j
2U
n
j
+ U
n1
j
(t)
2
u
xx
=
U
n
j+1
2U
n
j
+ U
n
j1
(x)
2
Reemplazando estos valores en la ecuacin (1) obtenemos
U
n+1
j
2U
n
j
+ U
n1
j
(t)
2
= c
2
U
n
j+1
2U
n
j
+ U
n
j1
(x)
2
(20)
Con las condiciones de frontera:
U
0
j
= f(x
j
) U
1
j
= f(x
j
) + t g(x
j
), j = 1, ..., m,
Donde la segunda condicin es obtenida por la aproximacin de la primera de-
rivada U
t
(0, x) = g(x) por [U(t, x) U(0, x)] /t = g(x) de las condiciones
de frontera tenemos que
U
n
0
= U
n
m+1
= n = 0, 1, ....
As que los valores de (n + 1) son obtenidos por:
U
n+1
J
= U
n
j1
+ 2(1 )U
n
j
+ U
n
j+1
U
n1
j
Donde
= c
2
t
2
x
2
Es fcil de probar que el error local de discretizacin de la ecuacin (20) es
O(t)
2
+ O(x)
2
. Para el anlisis de estabilidad podemos proceder por el mto-
do de separacin de variables y asumimos que las condiciones de frontera y
son cero. Sea U
n
j
=
n

j
. Introduciendo esto en (20) se obtienen dos ecuaciones
diferenciales ordinarias:

n+1
2
n
+
n1
=
n
, n = 1, ..., (21)

j+1
2
j
+
j1
=
j
, j = 1, ..., m. (22)
7
la solucin de (21) est dada por

n
=
1

n
+
+
2

n = 0, 1, ...,
Donde

son las races de la ecuacin caracterstica

2
+ ( 2) + 1 = 0
y estn dadas por

=
1
2
(2
_

2
4)
El valor de
i
puede ser obtenido de las condiciones inciales
0
y
1
as la
solucin de (20) puede escribirse como
U
n
j
=
m

k=1
a
k
(
k,1

n
k,+
+
k,2

n
k,
)sin(jkx),
Donde los subndices k que corresponden a los valores propios y deben ser
calculados por =
k
. Para U
n
j
las constantes arbitrarias a
k
, las condiciones de
frontera y las condiciones inciales son sucientes y necesarias que |
k,
| 1. Si

k
4 0 (23)
Luego es fcil de vericar que |
k,
= 1| y si
k
4 > 0, entonces
k,
<
1. Por lo tanto (23) es una condicin de estabilidad necesaria y suciente. En-
tonces los valores propios
k
satisfacen que 0 <
k
< 4, una condicin suciente
para la ecuacin (23) es que 1, o
t
x
c
(24)
Esta ltima ecuacin es la llamada de estabilidad. [5]
8
Ejemplo 1
Use el mtodo de diferencias nitas para solucionar la ecuacin de onda para
una cuerda vibrante
u
tt
(x, t) = 4u
xx
(x, t) para 0 < x < 1 y 0 < t < 0,5 (25)
Con las condiciones de frontera
u(0, t) = 0 y u(1, t) = 0 para 0 t 0,5
u(0, x) = f(x) = sin(x) + sin(2x) para 0 x 1 (26)
u
t
(0, x) = g(x) = 0 para 0 x 1
Solucin
Por conveniencia se escogi h = 0,01 y k = 0,007. Como c = 2, esto implica
que r = ck/h= 2(0,05)/0,1 = 2,8. Como g(x) = 0 y r = 1 lo cual nos lleva a
obtener:
u
i,2
=
f
i1
+ f
i+1
2
para i = 2, 3, ..., 9 (27)
Y sustituyendo r = 1 obtenemos la ecuacin diferencial simplicada
u
i,j+2
= u
i+1,j
+ u
i1,j
u
i,j
1 (28)
Usando las ecuaciones (27) y (28) sucesivamente para obtener la aproximacin
de u(x, t) para 0 < x
i
< 1 y 0 t
j
0,50
Figura 1: La Cuerda vibrante para las ecuaciones (25) y (26)
9
Figura 2: Dibujo de las soluciones para cuatro valores diferentes de t
El comportamiento de esta solucion es muy similar al de la solucion analtica
dada por:
u(x, t) = sin(x)cos(2t) + sin(2x)cos(4t) (29)
10
A continuacin se anexan los algoritmos programados en Matlab utilizados en
la solucin numrica de la ecuacion de onda
function U = finedif(f,g,a,b,c,n,m)
%Entradas - f=u(x,0)
% - g=ut(x,0)
% - a y b son el punto de la derecha y
% final de [0,a] y [0,b]
% - c la constate de la ecuacin de onda
% - n y m nmero de puntos sobre las
% mallas [0,a] y [0,b]
%salida - U Matriz solucin
h = a/(n-1);
k = b/(m-1);
r = c
*
k/h;
r2=r^2;
r22=r^2/2;
s1 = 1 - r^2;
s2 = 2 - 2
*
r^2;
U = zeros(n,m);
%Se calculan la primera y segunda filas de U
for i=2:n-1
U(i,1)=f(h
*
(i-1));
U(i,2)=s1
*
f(h
*
(i-1))+k
*
g(h
*
(i-1)) ...
+r22
*
(f(h
*
i)+f(h
*
(i-2)));
end
%Calcula el resto de filas de U
for j=3:m,
for i=2:(n-1),
U(i,j) = s2
*
U(i,j-1)+r2
*
(U(i-1,j-1)+U(i+1,j-1))-U(i,j-2);
end
end
U=U;
surf(U)
11
El siguiente algoritmo se utiliza para dibujar la solucin de la ecuacin de onda
de la gura (2).
function U = ondaexpl(x,dt,T,U0,Up0,c);
%
% function U = ondaexpl(x,dt,T,U0,Up0,c);
%
% Resuelve utt - c2uxx = 0 mediante un esquema explicito
% de segundo orden
%
% Variables de entrada:
% x: Vector de puntos equiespaciados que definen la malla espacial
% dt: Paso de integracion en t
% T: Valor final del tiempo de integracion
% U0: Vector fila con las condiciones iniciales
% Up0: Vector fila con las condiciones iniciales sobre u
% c: Velocidad de propagacion
%
% Variables de salida
% U: Funcion u(x,T) (en tiempo final)
dx = x(2)-x(1); M = length(x); N = round(T/dt);
nu=a
*
dt/dx; nu2 = nu
*
nu;
e = ones(M,1); A=spdiags([nu2
*
e 2
*
(1-nu2)
*
e nu2
*
e],-1:1,M,M);
m0 = min(U0); M0 = max(U0); mx = min(x); Mx =max(x);
% Calculo del primer paso temporal
U0 = U0; U1 = 0.5
*
A
*
U0+Up0
*
dt; U1(1)=0; U1(M) = 0;
% Iteracion para el resto de pasos temporales
for n=1:N
U = A
*
U1-U0; U(1) = 0; U(M)=0;
plot(x,U); title(Soluciones de la ecuacion de ondas);
axis([mx Mx -M0 M0]);
xlabel(x,Fontsize,14); ylabel(u(x,t),Fontsize,14);
drawnow;
U0 = U1; U1 = U;
end;
titulo = [Solucion en t = num2str(T)]; plot(x,U);
title(titulo);
xlabel(x,Fontsize,14); ylabel(u(x,t),Fontsize,14);
12
Referencias
[1] John H. Mathews, Kurtis D. Fink, Numerical Methods Using MATLAB. Pren-
tice Hall International, 1999.
[2] S.R. Otto and J.P. Denier, An Introduction to Programming and Numerical
Methods in MATLAB. Springer-Verlag London Limited, 2005.
[3] http://matematicas.uclm.es/ind-cr/metnum/index.html, Material Nmerico,
2008.
[4] Matemticas Avanzadas para ingenieria, Volumen I, 1979.
[5] Gene H. Golub, James M. Ortega, Scientic Computing and Differential Equa-
tions An Introduction to Numerical Methods , 1992
13