ASPECTOS TEORICOS EDPs

METODOS NUMERICOS EN INGENIERIA
TEMA: SOLUCION DE ECUACIONES DIFERENCIALES PARCIALES (EDP)

EDWIN MARTIN PINO VARGAS
ESCUELA DE INGENIERIA GEOLOGICA-GEOTECNIA, UNJBG TACNA

TELEFONOS: 952298638, 241595, #701907 E-MAIL: epino68@hotmail.com

TEMA: ECUACIONES DIFERENCIALES PARCIALES (EDP)

Contenido
1. Introduccin .................................................................................................................................. 2
2. Clasificacin Matemtica ............................................................................................................... 2
2.1. Ecuaciones Elpticas ............................................................................................................ 3
2.2. Ecuaciones Parablicas ....................................................................................................... 4
2.3. Ecuaciones Hiperblicas ...................................................................................................... 4
3. Resolucin Numrica de las EDP .................................................................................................... 5
3.1. Ecuaciones Elpticas ............................................................................................................ 5
3.2. Ecuaciones Parablicas ....................................................................................................... 7
3.2.1. Mtodo Explcito ................................................................................................................. 8
3.2.2. Mtodos Implcitos. .......................................................................................................... 10
3.2.2.1. Mtodo Implcito Simple ...................................................................................... 10
3.2.2.2. Mtodo Implcito de Crank - Nicolson ................................................................... 12
4. Ecuaciones Hiperblicas ............................................................................................................... 13
4.1. Mtodo Explcito ............................................................................................................... 14
4.2. Mtodo Implcito .............................................................................................................. 17



1. Introduccin
A modo de introduccin a la resolucin numrica de ecuaciones diferenciales en derivadas parciales
recordamos algunos conceptos bsicos vistos en cursos previos de Anlisis Matemtico:
Se denominan ecuaciones diferenciales parciales (EDP) a aquellas ecuaciones que involucran
derivadas parciales de una funcin desconocida con dos o ms variables independientes.
Se denomina orden de una ecuacin diferencial al orden de la derivada ms alta que exista en dicha
ecuacin.
Una ecuacin diferencial parcial lineal es aquella que es lineal en la funcin desconocida y en todas
sus derivadas, con coeficientes que dependen solo de las variables independientes de la funcin.

Vemos a continuacin distintos ejemplos de ecuaciones diferenciales en derivadas parciales:
orden segundo de lineal no x
y
u
u x
x
u
orden tercer de lineal no x
y x
u
6
x
u
orden tercer de lineal y 5 u 8
y
u
x
y x
u
orden segundo de lineal 1 u
y
u
y x 2
x
u
2
2
2
3
3
2
2
2
2
2
3
2
2
2
2

=
c
c
+
c
c
=
c c
c
+
|
|
.
|
\
|
c
c
= +
c
c
+
c c
c
= +
c
c
+
c
c

.. (1)
La mayora de los problemas fsicos y de ingeniera de importancia prctica estn descriptos por este
tipo de ecuaciones diferenciales, y fundamentalmente por ecuaciones diferenciales de segundo orden.
Por ello el tratamiento de las EDP que se desarrollar en lo sucesivo se concentrar sobre ecuaciones
lineales de segundo orden.
2. Clasificacin Matemtica
Las ecuaciones diferenciales de segundo orden en derivadas parciales pueden expresarse de forma
general como:
0
y
u
x
u
2
2
2
2
=
c
c
+
c
c

.. (2)


0 D
y
u
C
y x
u
B
x
u
A
2
2 2
2
2
= +
c
c
+
c c
c
+
c
c

.. (3)
Donde A, B y C son funciones de x y de y, y D es una funcin de x, y, u, cu/cx y cu/cy. Es decir que
estamos asumiendo que esta ecuacin es lineal.
Dependiendo de los valores de los coeficientes de los trminos de la segunda derivada A, B y C, la
anterior ecuacin puede clasificarse en una de las tres categoras siguientes:

Esta clasificacin es til por dos razones:
Cada grupo est asociado a diferentes problemas especficos de ingeniera.
Cada grupo requiere tcnicas de solucin especiales.
La terminologa utilizada para clasificar a las ecuaciones surge por analoga con la utilizada en la
clasificacin de ecuaciones generales de segundo orden en la geometra analtica. Es importante notar
que para los casos donde A, B y C dependen de x y de y, la ecuacin puede estar en una categora
diferente, dependiendo del dominio para el cual se quiere calcular dicha ecuacin.
2.1. Ecuaciones Elpticas
Este tipo de ecuaciones permite resolver los llamados problemas de equilibrio, que son problemas
donde se busca la solucin de una ecuacin diferencial dada, en un dominio cerrado, sujeta a
condiciones de frontera prescriptas. Es decir que los problemas de equilibrio son problemas de
condiciones de frontera. Los ejemplos ms comunes de tales problemas incluyen a distribuciones
estacionarias de temperatura, flujo de fluidos incompresibles no viscosos, distribucin de tensiones en
slidos en equilibrio, el campo elctrico en una regin que contenga una densidad de carga dada, y en
general problemas donde el objetivo sea determinar un potencial.


2.2. Ecuaciones Parablicas
Este tipo de ecuaciones permite resolver los denominados problemas de propagacin que son
problemas de transitorios donde la solucin de la ecuacin diferencial parcial es requerida sobre un
dominio abierto, sujeta a condiciones iniciales y de frontera prescritas. Los ejemplos ms comunes de
estos problemas incluyen a problemas de conduccin de calor, problemas de difusin, y en general
problemas donde la solucin cambia con el tiempo.

2.3. Ecuaciones Hiperblicas
Las ecuaciones hiperblicas tambin tratan con problemas de propagacin, como por ejemplo la
ecuacin de la onda, pero con la distincin de que aparece una segunda derivada respecto del tiempo.
En consecuencia la solucin consiste en distintos estados caractersticos con los cuales oscila el sistema.
Es el caso de problemas de vibraciones, ondas de un fluido, transmisin de seales acsticas y
elctricas.



3. Resolucin Numrica de las EDP
Las ecuaciones diferenciales en derivadas parciales, tanto las elpticas como las parablicas e
hiperblicas, pueden ser resueltas sustituyendo planteando distintos esquemas numricos donde las
derivadas parciales son reemplazadas por su aproximacin en diferencias finitas divididas.
A continuacin trataremos cada uno de los tres grupos antes mencionados de EDP.
3.1. Ecuaciones Elpticas
Para abordar la resolucin numrica de las ecuaciones elpticas utilizaremos como caso de estudio a la
ecuacin de Laplace por ser utilizada en diversas reas de ingeniera donde se trata con problemas que
involucran la determinacin de un potencial. Por ser un problema simple de plantear y resolver
utilizaremos el caso de flujo de calor en rgimen estacionario en una placa delgada. La expresin es:
0
y
u
x
u
2
2
2
2
=
c
c
+
c
c

.. (4)
Para abordar la solucin numrica, trataremos a la placa como una malla de puntos discretos (nodos)
donde plantearemos la representacin en diferencias finitas de la ecuacin diferencial, lo cual
transforma a la EDP en una ecuacin algebraica en diferencias. Utilizando diferencias finitas centradas
de segundo orden, entonces podemos escribir:
) u u 2 (u
x
1
x
u
j 1, i j i , j 1, i
2
j i ,
2
2
+
+ ~
c
c

... (5)
y
) u u 2 (u
y
1
y
u
1 j 1, j i , 1 j i ,
2
j i ,
2
2
+
+ ~
c
c

... (6)
Reemplazando estas expresiones en la EDP, queda:
0 ) u u 2 (u
y
1
) u u 2 (u
x
1
1 j 1, j i , 1 j i ,
2
j 1, i j i , j 1, i
2
= + + +
+ +

. (7)
0 u
y
1
u
y
1
u
x
1
u
y
1
x
1
2 u
x
1
1 j 1,
2
1 j 1,
2
j i , 1
2
j i ,
2 2
j 1, i
2
= + + +
|
|
.
|
\
|
+
+ +

. (8)
Las condiciones de borde o de frontera deben estar especificadas para que exista una solucin nica.
Existen dos posibilidades en cuanto a condiciones en la frontera:


Especificar el valor de la funcin en el borde. Es la forma ms simple y se la conoce como condicin de
frontera de Dirichlet o condicin forzada.
Especificar el valor de la derivada en la frontera. En general la derivada que se especifica es en la
direccin normal al borde (flujo). Esta condicin es conocida como condicin de Neumann o condicin
natural. Esta condicin es de la forma:
a
n
u
=
c
c

... (9)
Donde n es la direccin normal al borde, y a es el valor.
La expresin de esta condicin utilizando diferencias centrales es, para n = x:
( )
x 2
u u
x
u
n
u
j 1, i j 1, i +
+
~
c
c
=
c
c

... (10)
y para n = y
( )
y 2
u u
y
u
n
u
1 j i , 1 j 1, +
+
~
c
c
=
c
c

... (11)
Al imponer el cumplimiento de esta condicin en los puntos de la frontera del dominio, se obtendrn
las expresiones correspondientes a los puntos que por aplicacin del operador de diferencias han
quedado fuera del dominio, y reemplazarlos en las correspondientes ecuaciones.
Debe tenerse presente que si solamente se especifican condiciones de Neumann, existirn infinitas
soluciones. Por lo tanto para obtener una nica solucin deber especificarse al menos una condicin
de tipo Dirichlet en algn punto de la frontera.
Adems de los valores de la funcin potencial suele interesar el valor de variables secundarias. En
general estas variables estn asociadas al valor del flujo en cada punto del dominio y en las fronteras
donde se ha especificado una condicin forzada. En un caso podr representar el flujo de energa, en
otro ser la velocidad, etc. Estas variables secundarias o derivadas estn vinculadas con la derivada del
potencial a travs de una constante (o funcin) que multiplica al valor de la derivada en el punto. Por
ejemplo, para un problema de transmisin de calor ser el flujo de calor, para el escurrimiento de un
fluido en un medio poroso ser el campo de velocidades.
( )
j 1, i j 1, i x
u u
x
u
q
+
+ =
c
c
=
... (12)
Flujo en la direccin x


( )
1 j i , 1 j i , y
u u
y
u
q
+
+ =
c
c
=
... (13)
Flujo en la direccin y
3.2. Ecuaciones Parablicas
Abordaremos el estudio del tratamiento de este tipo de ecuaciones mediante la resolucin de la
ecuacin de conduccin del calor en una dimensin. No debe perderse de vista que los mtodos que se
desarrollaran a continuacin son de aplicacin a todas las ecuaciones que correspondan a esta
clasificacin. La ecuacin de conduccin de calor unidimensional es:
t
T
x
T
k
2
2
c
c
=
c
c

... (14)
En esta ecuacin la funcin T es la temperatura que depende de x y de t, x es la variable independiente
espacial, t es la variable independiente temporal, y k es el coeficiente de difusividad trmica [cm
2
/ s].
Un esquema tpico que representa este tipo de problemas es el siguiente:

En este caso hay que considerar que la solucin presenta cambios en el espacio y en el tiempo. La malla
usada para la resolucin por diferencias finitas de las EDP con dos variables independientes puede ser
representada por:



3.2.1. Mtodo Explcito
La ecuacin de conduccin del calor que estamos tratando requiere de dos aproximaciones. Para la
derivada segunda respecto de la variable espacial x, podemos hacerla con una diferencia dividida
centrada con una aproximacin de segundo orden:
( )
2
l
1 i
l
i
l
1 i
2
2
x
T T 2 T
x
T
+
+
~
c
c

... (15)
y una diferencia dividida finita hacia delante para aproximar a la derivada en el tiempo:
t
T T
t
T
l
i
1 l
i

~
c
c
+

... (16)
De la aproximacin adoptada para la variable x, utilizando operadores que corresponden a una
interpolacin limitada de segundo orden, surge que el error de truncamiento para x es del orden de
O(x
3
). De la misma forma, para la variable t, donde utilizamos un operador que corresponde a una
interpolacin limitada de 1er orden, surge que el error de truncamiento para t es del orden de O(t
2
).
Sustituyendo en la ecuacin:
t
T
x
T
k
2
2
c
c
=
c
c

... (17)
Se obtiene:
( )
t
T T
x
T T 2 T
k
l
i
1 l
i
2
l
1 i
l
i
l
1 i

=
+
+
+

... (18)
Que puede ser expresada tambin como:
( )
( )
l
1 i
l
i
l
1 i
l
i
1 l
i
T T 2 T
x
t k
T T
+
+
+
|
|
.
|
\
|
A
+ =
2

... (19)
Y si hacemos
( )
2
x
t k

= , nos queda:
( )
l
1 i
l
i
l
1 i
l
i
1 l
i
T T 2 T T T
+
+
+ + =
... (20)



Esta ecuacin, que puede ser escrita para todos los nodos interiores de la barra, proporciona un modo
explicito para calcular los valores en cada nodo para un tiempo posterior, con base en los valores
actuales del nodo y sus vecinos. Esto puede ser esquematizado mediante la siguiente representacin:

Si las condiciones de contorno son del tipo forzada o de Dirichlet, donde el valor de la funcin incgnita
es conocido, la ecuacin anterior no debe ser aplicada en los puntos de la frontera, puesto que all no
hay incgnitas.
Las condiciones de contorno o de frontera del tipo de Neumann (o condicin natural) pueden ser
incorporadas sin inconvenientes a las ecuaciones parablicas, de la misma manera que con las elpticas.
En el caso particular de la ecuacin de conduccin de calor unidimensional, debern agregarse dos
ecuaciones para caracterizar el balance de calor en los nodos extremos. Por ejemplo en el nodo inicial
escribiramos:
( )
l
1
l
0
l
1 -
l
0
1 l
0
T T 2 T T T + + =
+

... (21)
Donde el punto (-1) es exterior al dominio de anlisis. Este punto puede escribirse en funcin de los
interiores utilizando las condiciones de contorno que correspondan. En este caso:
x
T
C k q
x
c
c
=
... (22)
Utilizando una diferencia dividida finita centrada de segundo orden para aproximar a la derivada
respecto de la variable espacial x:
x 2
T T
x
T
l
1 i
l
1 i -
=
c
c
+

... (23)



Entonces nos queda:
C k
q x 2
T T
x 2
T T
C k
x
T
C k q
x l
1
l
1 -
l
1
l
1 -
x

=
=
c
c
=

... (24)
Luego, obtenemos la ecuacin para el primer punto:
|
|
.
|
\
|

+ =
|
|
.
|
\
|
+

+ =
+
C k
q x
T T 2 T T T 2
C k
q x 2
T T T
x l
0
l
1
l
0
l
1
l
0
x l
1
l
0
1 l
0

... (25)
De la misma manera se puede obtener una ecuacin para ser aplicada en el ltimo punto.
3.2.2. Mtodos Implcitos.
3.2.2.1. Mtodo Implcito Simple
Los mtodos implcitos superan las dificultades de convergencia y estabilidad presentes en los mtodos
explcitos, esto es proporcionan esquemas numricos incondicionalmente estables, a expensas de usar
algoritmos algo ms complicados. El hecho de que sean incondicionalmente estables significa que la
solucin ser estable para cualquier relacin que exista entre x y t, a diferencia de los mtodos
explcitos que son condicionalmente estables. La diferencia fundamental entre ambas aproximaciones
reside en que en la forma explcita aproximamos la derivada espacial en el nivel de tiempo l, de modo
que nos quedaba una ecuacin con una sola incgnita
1 l
i
T
+
, que podamos despejar en forma explcita.
En la forma implcita la derivada espacial es aproximada en un nivel de tiempo posterior l +1 de modo
que quedan ms de una incgnita en una misma ecuacin impidiendo la resolucin en forma sencilla
como ocurra en el mtodo explicito.
Esta diferencia fundamental puede apreciarse claramente en la siguiente figura:



Entonces, por quedar una ecuacin con varias incgnitas, que no puede ser resuelta explcitamente el
sistema completo de ecuaciones que se originar debe resolverse simultneamente. Esto es posible
porque junto con las condiciones de frontera, las formas implcitas dan como resultado un conjunto de
ecuaciones lineales algebraicas con el mismo nmero de incgnitas. Entonces el mtodo se reduce a la
resolucin de un conjunto de ecuaciones simultneas para cada instante de tiempo.
La ecuacin de conduccin del calor que estamos tratando requiere de dos aproximaciones. Para la
derivada segunda respecto de la variable espacial x, podemos hacerla con una diferencia dividida
centrada con una aproximacin de segundo orden, con el error de truncamiento que hemos discutido
con anterioridad:
( )
2
1 l
1 i
1 l
i
1 l
1 i
2
2
x
T T 2 T
x
T
+
+ +
+
+
=
c
c

... (26)
Y una diferencia dividida finita hacia delante para aproximar a la derivada en el tiempo:
t
T T
t
T
l
i
1 l
i

=
c
c
+

... (27)
Sustituyendo en la ecuacin:
t
T
x
T
k
2
2
c
c
=
c
c

... (28)
Se obtiene:
( )
t
T T
x
T T 2 T
k
l
i
1 l
i
2
l 1
1 i
1 l
i
1 l
1 i

=
+
+ +
+ +
+

... (29)
Que puede ser expresada tambin como:
( )
l
i
1 l
1 i
1 l
i
1 l
1 i-
T T T 2 1 T - = + +
+
+
+ +

... (30)
Donde:
( )
2
x
t k

=
... (31)
Esta ecuacin se aplica en todos los nodos excepto en el primero y el ltimo. Para estos puntos valen
las apreciaciones hechas en el caso anterior respecto de las condiciones de contorno. Vale destacar que
el sistema de ecuaciones que se forma al aplicar este mtodo es tridiagonal, y que existen algoritmos
muy eficientes para la resolucin de este tipo de sistemas, como por ejemplo el mtodo de Thomas.


3.2.2.2. Mtodo Implcito de Crank - Nicolson
El mtodo de Crank Nicolson proporciona un esquema implcito de mayor exactitud que el mtodo
implcito simple visto anteriormente. Esto se logra desarrollando las aproximaciones por diferencias en
el punto medio del incremento en el tiempo.
Para hacer esto la primera derivada temporal puede ser aproximada en t
l+1/2
por:
t
T T
t
T T
t
T T
t
T
l
i
1 l
i
/ 1 l
i
/ 1 l
i

=
|
|
.
|
\
|

+
~
c
c
+ + + +
2 2 2
1
l 2 2 1 l

... (32)
La segunda derivada en el espacio puede se determinada en el punto medio al promediar las
aproximaciones por diferencias al inicio (t
l
) y al final (t
l+1
) del intervalo del incremento del tiempo:
( ) ( ) (
(
+
+
+
~
c
c
+
+ +
+ +
2
1 l
1 i
1 l
i
1 l
1 i
2
l
1 i
l
i
l
1 i
2
2
x
T T 2 T
x
T T 2 T
2
1
x
T

.... (33)
Sustituyendo en la ecuacin de conduccin de calor queda:
( ) ( )
t
T T
x
T T 2 T
x
T T 2 T
2
k
l
i
1 l
i
2
1 l
1 i
1 l
i
1 l
1 i
2
l
1 i
l
i
l
1 i

=
(
(
+
+
+
+ +
+ +
+ +

..... (34)
Reordenando:
( )
( ) ( ) | |
l
i
1 l
i
1 l
1 i
1 l
i
1 l
1 i
l
1 i
l
i
l
1 i
2
T T T T 2 T T T 2 T
x 2
k t
= + + +

+ +
+ +
+ +

..... (35)
Si hacemos
( )
2
x
k t

= y reemplazamos:
( ) ( ) | |
( ) | | ( )
( ) | | ( )
( ) ( )
l
1 i
l
i
l
1 i
1 l
1 i
1 l
i
1 l
1 i
l
1 i
l
i
l
1 i
l
i
1 l
i
1 l
1 i
1 l
i
1 l
1 i
l
1 i
l
i
l
1 i
l
i
1 l
i
1 l
1 i
1 l
i
1 l
1 i
l
i
1 l
i
1 l
1 i
1 l
i
1 l
1 i
l
1 i
l
i
l
1 i
T T 2 2 T T T 2 2 T
T T 2 T T 2 T 2 T T 2 T
T T 2 T
2
T T T T 2 T
2
T T T T 2 T T T 2 T
2
+
+
+ +
+
+
+ +
+ +
+
+
+ +
+ +
+
+ +
+ +
+ +
= + +
+ = +
+ = +
= + + +

..... (36)



Esta ecuacin se aplica en todos los nodos excepto en el primero y el ltimo. Para estos puntos valen
las apreciaciones hechas en el caso anterior respecto de las condiciones de contorno. En las figuras
siguientes puede apreciarse la diferencia entre las molculas computacionales del mtodo implcito
simple (a) y el mtodo implcito de Crank Nicolson (b).

(a) Molculas computacionales del mtodo implcito simple

(b) Molculas computacionales mtodo implcito de Crank Nicolson
4. Ecuaciones Hiperblicas
Como hicimos en los casos anteriores abordaremos el estudio del tratamiento de este tipo de
ecuaciones mediante la resolucin de una ecuacin particular, pero no debe perderse de vista que los
mtodos que se desarrollaran a continuacin son de aplicacin a todas las ecuaciones que
correspondan a esta clasificacin. La ecuacin a tratar en esta oportunidad es la ecuacin de la onda
unidimensional, cuya expresin es:


2
2
2
2
t
u
x
u
c
c
=
c
c

... (37)
Donde:
u = u(x,t) es la funcin posicin.
2
c
1
= Siendo c la velocidad de propagacin en el medio.
En este caso, al igual que para las ecuaciones parablicas, debemos conocer las condiciones iniciales
del problema para poder hallar la solucin. Entonces tendremos que:
( ) f(x) x, u = 0 ... (38)
Es la configuracin del sistema para t = 0 y
g(x)
t
u
=
c
c
0

... (34)
Es la velocidad inicial del sistema para t = 0
Como en el caso de las ecuaciones parablicas pueden plantearse esquemas numricos explcitos e
implcitos.
4.1. Mtodo Explcito
El esquema numrico que se obtiene en este caso surge de reemplazar las derivadas por su
aproximacin utilizando diferencias centrales en una interpolacin limitada de segundo orden.
Haciendo esto nos queda la expresin:
( )
( )
( )
( )
1 l
i
l
i
1 l
i
2
l
1 i
l
i
l
1 i
2
u u 2 u
t
u u 2 u
x
1
+
+
+ = +
... (39)
En esta ecuacin puede apreciarse que la nica incgnita es
1 l
i
u
+
la cual puede despejarse
explcitamente de la expresin anterior:
( )
( )
( )
1 l
i
l
i
l
1 i
l
i
l
1 i
2
2
1 l
i
u u 2 u u 2 u
x
t
u

+
+
+ + =
.... (40)
Para simplificar la notacin llamaremos
( )
( )
2
2
2
x
t
r = , quedando:


( )
( )
1 l
i
l
1 i
2 l
i
2 l
1 i
2 1 l
i
1 l
i
l
i
l
1 i
l
i
l
1 i
2 1 l
i
u u r u r 2 2 u r u
u u 2 u u 2 u r u
+
+
+
+
+ + + =
+ + =

.... (41)
Esta ecuacin, que puede ser escrita para todos los nodos interiores del dominio, proporciona un modo
explicito para calcular los valores en cada nodo para un tiempo posterior (nodo i en el tiempo l+1), con
base en los valores actuales del nodo y sus vecinos (nodos i-1, 1 e i+1 en el tiempo l) y a un valor
anterior del nodo considerado (nodo i en el tiempo l-1).
Respecto de las condiciones de contorno, si estas son del tipo forzada o de Dirichlet, donde el valor de
la funcin incgnita es conocido, la ecuacin anterior no debe ser aplicada en los puntos de la frontera,
puesto que all no hay incgnitas. Si las condiciones de contorno son del tipo de Neumann (o condicin
natural) pueden ser incorporadas sin inconvenientes a las ecuaciones hiperblicas mediante la
utilizacin de una condicin del tipo:
( )
( )
( )
( )
l
1 i
l
1 i
l
1 i
l
1 i
u u
x 2
1
t) n(l,
x
t l, u
u u
x 2
1
t) m(0,
x
t 0, u
+
+
+
~ =
c
c
+
~ =
c
c

... (42)
Donde hemos utilizado una diferencia dividida finita centrada de segundo orden para aproximar a la
derivada respecto de la variable espacial x. 0 y l son los extremos del dominio espacial y m y n
funciones de t o constantes. De esta forma ser posible expresar a los puntos exteriores al dominio en
funcin de los interiores. Luego, aquellos son reemplazados en la ecuacin general y se obtiene una
ecuacin para ser aplicada al primero o al ltimo punto del dominio, en el caso de que en alguno de
ellos la condicin de contorno sea del tipo natural. Por otro lado si planteamos la resolucin para el
primer instante de tiempo posterior al tiempo inicial la expresin general queda:
( )
1 -
i
0
1 i
2 0
i
2 0
1 i
2 1
i
u u r u r 2 2 u r u + + + =
+

... (43)
Se observa que ha quedado en la ecuacin un punto correspondiente a un tiempo anterior al inicial.
Trataremos de eliminar esa incgnita haciendo uso de la condicin inicial en la cual tenemos prescrita
el valor de la derivada primera de la funcin u respecto de t en el tiempo inicial t
0
. Utilizando la
diferencia central como aproximacin a la condicin de derivada primera respecto de t queda:
( )
i
1
i
1
i
g u u
2
1
= +
AA

... (44)
Despejando el punto exterior, expresndolo en funcin del interior, y reemplazando, se obtiene:


( ) | |
i
0
1 i
2 0
i
2 0
1 i
2
2
1 1
i
g t 2 u r u r 1 2 u r u + + + =
+

... (45)
El mtodo explcito, al igual que en las ecuaciones parablicas, es de muy sencilla aplicacin pero
presenta el inconvenientes de que el valor de la funcin, calculado en un punto P genrico solo
depende de los valores de la funcin en los puntos del dominio marcados con una X en la siguiente
figura :

Este conjunto de puntos es llamado dominio de dependencia numrica del punto P. Esto significa que
para encontrar la solucin en P es necesario conocer previamente la solucin en cada uno de estos
puntos.
Como vemos, en esta situacin el valor obtenido en P no depende ni de las condiciones iniciales
definida para los segmentos DA y BE ni de las condiciones de contorno definidas en los extremos del
intervalo. Si hacemos la suposicin de que tales condiciones cambian, es obvio que el valor real de la
funcin en P se ver afectado. Sin embargo esta situacin no se refleja en nuestro clculo numrico
mediante la aplicacin del mtodo explcito.
Courant, Friedrichs y Lewy demostraron que este esquema numrico converge si se cumple con la
condicin:
1 r 0 s <
Donde r est definido por la expresin:
( )
( )
2
2
2
x
t
r =
... (46)
Tambin se demostr que la estabilidad de la solucin obtenida queda asegurada cuando se verifica
que:


1 r s
Entonces, la convergencia y estabilidad del esquema numrico explcito quedan aseguradas cuando se
cumple con ambas condiciones en forma simultnea, es decir cuando:
1 r 0 s <
4.2. Mtodo Implcito
Para salvar los inconvenientes detallados con anterioridad en el esquema explcito aplicado a este tipo
de ecuaciones, es posible plantear un esquema implcito al costo de perder simplicidad en la
resolucin, puesto que en este caso deberemos resolver un sistema de ecuaciones para hallar la
solucin.
Siguiendo con el ejemplo de la ecuacin de la onda, pero sin perder de vista que el procedimiento
puede generalizarse para todas las ecuaciones de este tipo, tenemos que uno de los esquemas
numricos ms utilizados es:
( )
( )
( )
( ) ( )
( )
(
(
+
+ + + +
= +

+

+
+
+
+ +
+ +
1 l
1 i i
1 l
i i
1 l
1 i i
4
1
l
1 i i
l
i i
l
1 i i
2
1 1 l
1 i i
1 l
i i
1 l
1 i i
4
1
2
1 l
i
l
i
1 l
i
2
u u 2 u
u u 2 u u u 2 u
x
1
u u 2 u
t
1

(47)
Este se obtiene al reemplazar las derivadas por diferencias centrales en una interpolacin limitada de
segundo orden. Como vemos, en este esquema la derivada segunda respecto de x se plantea como un
promedio ponderado de la misma aplicada en los instantes de tiempo actual (l), anterior (l-1) y
posterior (l+1).
Este operador lleva a obtener un sistema de ecuaciones tridiagonal, y es incondicionalmente estable
para todo valor de
x
t
r o = .

ASPECTOS TEORICOS EDPs

Transféré par

Informations du document

Copyright

Formats disponibles

Partager ce document

Partager ou intégrer le document

Options de partage

Avez-vous trouvé ce document utile ?

Ce contenu est-il inapproprié ?

Droits d'auteur :

Formats disponibles

ASPECTOS TEORICOS EDPs

Transféré par

Droits d'auteur :

Formats disponibles

METODOS NUMERICOS EN INGENIERIA

TEMA: SOLUCION DE ECUACIONES DIFERENCIALES PARCIALES (EDP)

Vous aimerez peut-être aussi