Ecuaciones diferenciales parciales elpticas

Los problemas gobernados por ecuaciones diferenciales parciales (EDP) elpticas presentan
curvas caractersticas complejas. Fsicamente, esto implica que no hay trayectorias preferidas en la
propagacin y que el dominio de dependencia y el rango de influencia de cada punto es el dominio
entero de la solucin. Es decir, la solucin de cada punto depende e influye en la solucin de todos
los dems puntos, incluyendo la frontera. La solucin es continua y el dominio de solucin es cerrado
para una EDP elptica, el cual es ilustrado esquemticamente por medio de la siguiente figura.

Las propiedades bsicas del MDF para resolver

problemas que han alcanzado un equilibrio sern
descriptos en esta seccin. Para ello, se debe
superponer una malla finita sobre el dominio continuo
de la solucin y elegir aproximaciones por diferencias
finitas para cada derivada parcial que aparece en la
EDP. Al sustituir estas aproximaciones en la EDP, la
transforman en una ecuacin de diferencias finitas
(EDF) algebraica. Como se mencion, la solucin en
cada punto de una EDP elptica depende de la solucin
de todos los dems puntos, incluyendo la frontera. As,
la EDF para la solucin de cada punto se acopla a las
ecuaciones de diferencias finitas del resto de los puntos.
Por lo tanto, un sistema de ecuaciones de diferencias
finitas se debe resolver simultneamente. Estos
mtodos se llaman mtodos implcitos, porque la
solucin en cada punto est implcitamente especificada
en funcin de las soluciones desconocidas en los puntos
vecinos.

Dos EDP elpticas importantes gobiernan los problemas de conduccin de calor:

Se puede observar que la ecuacin de Poisson es la ecuacin de Laplace no homognea.

La solucin de estas ecuaciones es una funcin de la forma T(x,y,z). Esta funcin debe tambin
satisfacer las condiciones que se imponen sobre los bordes del dominio fsico. Las condiciones que
se establecen en la frontera pueden ser de dos tipos:
 Ecuacin de Laplace

Se considerar la ecuacin de Laplace en el espacio bidimensional:

en R = {(x,y) / a x b y c y d}, con T(x,y) = g(x,y) para (x,y) S, donde S denota la

frontera en R.
Para obtener la solucin numrica de la ecuacin de Laplace, se debe como primer paso
seleccionar los enteros Nx y Ny, y definir los tamaos de paso en ambas direcciones mediante las
expresiones:

La divisin del intervalo [a,b] en Nx + 1 partes iguales de ancho hx, y del intervalo [c;d] en
Ny + 1 partes iguales de ancho hy, da como resultado una malla en el rectngulo R al trazar lneas
verticales y horizontales a travs de los puntos con coordenadas (xi; yj), donde:

Las lneas x = xi e y = yj son lneas de la malla, y sus intersecciones son los nodos de la
malla. En cada nodo interior de la malla (xi; yj) con i= 1, 2, , Nx y j= 1, 2, , Ny, se utilizar el
desarrollo de la serie de Taylor en la variable x alrededor de xi y en la variable y alrededor de yj
para generar las respectivas frmulas de diferencias centrales:

El uso de estas aproximaciones permite expresar la ecuacin de Laplace en los puntos (x i;

yj) como:
para toda i= 1, 2, , Nx y j= 1, 2, , Ny, y las condiciones de frontera como:

La ecuacin anterior puede escribirse de la forma:

donde Eij es el error de truncamiento de la aproximacin por diferencias finitas de la ecuacin

diferencial parcial:

El error de truncamiento Eij, es de segundo orden en hx y hy. Multiplicando la expresin en

diferencias por hx2, resulta:

donde

y eij es el error de discretizacin de la ecuacin de diferencias finitas:

Despreciando el error de discretizacin eij, la expresin que proporciona la ecuacin de

diferencias finitas de cinco puntos para la ecuacin de Laplace es:

que puede escribirse:

 La naturaleza implcita de la ecuacin de diferencias
finitas aparece en la igualdad anterior. La solucin de cada
nodo de la malla depende de la solucin de los cuatro nodos
vecinos, los que son desconocidos hasta que la solucin
completa es obtenida. El comportamiento implcito de la
ecuacin de diferencias finitas es usual en la solucin
numrica de ecuaciones diferenciales parciales elpticas, las
cuales gobiernan problemas fsicos de equilibrio.
En el caso especial de que hx = hy y = 1, las
igualdades anteriores toman la forma:

Aunque no hay una ventaja matemtica formal cuando es la unidad, valores de cercanos
a la unidad tienden a producir soluciones ms aproximadas.
Por lo tanto, la solucin de una ecuacin diferencial parcial por diferencias finitas es obtenida
cuando se resuelven las ecuaciones de diferencias finitas para cada punto en el dominio de
solucin.

Derivadas en las condiciones de frontera

La ecuacin de Laplace tratada anteriormente, cuya solucin numrica fue obtenida por
medio del mtodo de diferencias finitas, presentaba condiciones de Dirichlet en la frontera, es
decir, se especificaban valores de T(x,y) en los bordes. Ahora, se mostrar un procedimiento que
se implementa cuando se conocen las derivadas en los bordes, es decir, cuando las condiciones de
frontera son de Neumann.
La aproximacin que se aplicar es la ecuacin de diferencias finitas del punto interior en el
punto frontera.

Ecuacin de diferencias finitas del punto interior

En primer lugar, se debe aplicar la ecuacin de diferencias finitas del punto interior (EDF) en
el punto de la malla (i, j) sobre el borde del dominio que presenta la condicin de Neumann, como
se ilustra en la figura.
 La EDF es:

donde el ltimo trmino es el error de discretizacin.

El punto de la malla (i+1, j) est fuera del dominio de solucin, por lo tanto T i+1j no est
definido. Sin embargo, un valor para Ti+1j puede ser determinado a partir de la condicin de
Neumann establecida sobre ese borde del dominio.
Las aproximaciones por diferencias finitas empleadas para las derivadas espaciales son de
segundo orden. Por lo tanto, es aconsejable utilizar una aproximacin de diferencias finitas
centradas de segundo orden para la condicin de frontera de Neumann, para que el error de
truncamiento sea del mismo orden que el de las aproximaciones para las derivadas espaciales.
As,

Despejando Ti+1j resulta:

Despreciando el trmino de error de la discretizacin, la ecuacin que se obtiene es:

para i= Nx + 1 y j= 1, 2, , Ny.
 Los mtodos numricos son tiles para resolver problemas de transferencia de calor, dinmica
de fluidos, y otras ecuaciones diferenciales en derivadas parciales que modelan problemas fsicos;
sobre todo cuando los mencionados problemas no pueden ser resueltos por medio de tcnicas de
anlisis exacto ya que presentan complejas geometras, complicadas condiciones de contorno o
iniciales, o bien, involucran ecuaciones diferenciales no lineales.
En la actualidad, la cantidad de problemas que se abordan numricamente aumentan da a
da ya que los resultados se ajustan cada vez ms a la realidad.
El proceso por medio del cual se obtiene la solucin aproximada de un problema gobernado
por una ecuacin diferencial en derivadas parciales, est constituido por dos etapas que
esquemticamente se muestran en la siguiente figura. La primera etapa, llamada discretizacin,
consiste en trasformar el dominio continuo en una malla de nodos, para luego convertir a la ecuacin
diferencial parcial continua y a las condiciones auxiliares, ya sean de frontera o iniciales, en un
sistema de ecuaciones algebraicas.

La segunda etapa del proceso de aproximacin requiere un mtodo adecuado para obtener la
solucin del sistema de ecuaciones algebraicas planteado.
Existe una gran variedad de mtodos numricos para resolver las ecuaciones diferenciales
parciales. No obstante, los ms usados en la actualidad son:
Mtodo de diferencias finitas
Mtodo de elementos finitos
En este sitio, se explicar la forma en que se aplica el mtodo de diferencias finitas para
obtener una solucin aproximada de las ecuaciones de Poisson, difusin y onda.
 Mtodo de diferencias finitas

La aproximacin por medio de diferencias finitas es el mtodo ms antiguo aplicado para

obtener la solucin numrica de ecuaciones diferenciales. Se considera que la primera aplicacin ha
sido desarrollada por Euler en 1768.
Las bases del mtodo de diferencias finitas (MDF) consisten en la construccin de una malla
de una manera estructurada, donde los nodos de la misma, en un espacio n dimensional, estn
localizados en las intersecciones de n familias de lneas rectas, el reemplazo de las derivadas
continuas de la ecuacin diferencial por las expresiones equivalentes en diferencias finitas y la
resolucin del sistema de ecuaciones que queda planteado como consecuencia de la anterior
sustitucin.
El MDF es, tal vez, el mtodo ms simple para aplicar, particularmente para mallas con una
geometra uniforme. Su mayor desventaja consiste en su incapacidad para tratar efectivamente la
solucin de problemas sobre formas geomtricas irregulares.

Discretizacin del dominio

Para obtener la solucin numrica de una ecuacin diferencial en derivadas parciales utilizando
el MDF se debe, como primer paso, discretizar el dominio.
Para ello, el dominio continuo del problema en estudio es reemplazado por una malla. Las
intersecciones de las lneas que constituyen la malla son denominadas nodos y es en donde se
calcula la solucin numrica de la ecuacin diferencial parcial.

As, por ejemplo, para discretizar el dominio D(x,t) de un problema de propagacin

unidimensional se debern definir los tamaos de paso tanto temporal como espacial. Estos tamaos
de paso son determinados por medio de las expresiones:

donde Nx y Nt son dos nmeros enteros positivos, L es la longitud del dominio espacial y tf
indica el tiempo final en que se estudia el problema en cuestin.
 La divisin del dominio espacial en Nx+1 partes iguales de ancho hx, y del dominio temporal
en Nt+1 partes iguales de ancho ht, da como resultado la discretizacin del dominio al trazar
lneas verticales y horizontales a travs de los puntos de coordenadas (xi; tj), donde:

Aproximaciones en diferencias finitas

El prximo paso para la resolucin numrica de una ecuacin diferencial parcial utilizando el
MDF es el reemplazo de las derivadas continuas de la ecuacin diferencial por las expresiones
equivalentes en diferencias finitas. Esto se logra utilizando el desarrollo en serie de Taylor de la
variable dependiente alrededor de un punto particular de la malla. Para ello, la variable dependiente
en un nodo de la malla es indicada utilizando como subndice y superndice los ndices que se utilizan
para denotar dicho nodo. As, por ejemplo, la funcin T(x, t) en el nodo (i;j) es expresada de la
siguiente manera:

Para ejemplificar el procedimiento de aproximacin, se considerar la derivada parcial de

primer orden de la funcin T con respecto al tiempo. Para ello, se utilizar el desarrollo en serie de
Taylor de T en (xi; tj) y se lo evaluar en (xi; tj+1). De esta manera se obtiene:

donde Rm+1 es el trmino residual que est dado por:

El trmino residual Rm+1 es el error asociado con el truncamiento de la serie de Taylor. Es

importante conocer el orden de dicho error, es decir, conocer la forma en que el error tiende a cero
cuando ht 0. Como se puede observar, el trmino residual Rm+1 depende de htm+1, por lo
tanto, cuando ht 0, el error tender a cero como htm+1.
En consecuencia, el orden de truncamiento de la serie de Taylor para aproximar Tij+1 es m+1.
Esto es indicado con el smbolo O(htm+1).
Si se despeja la derivada parcial de primer orden de la funcin T con respecto al tiempo resulta:

donde

En particular, si se escribe el desarrollo en serie de Taylor de primer orden, entonces, la

expresin anterior est dada por:
 donde el trmino de error es:

Una aproximacin en diferencias finitas para la derivada temporal de primer orden se obtiene
despreciando el trmino de error:

El trmino de error, que fue despreciado, se denomina error de truncamiento de la

aproximacin en diferencias finitas para la derivada temporal de primer orden de la funcin T. La
aproximacin recin obtenida es de primer orden y es llamada aproximacin de diferencias
progresivas.
Del mismo modo, puede conseguirse una aproximacin de diferencias regresivas de primer
orden. Para ello, se escribe el desarrollo en serie de Taylor de T en (xi; tj) y se lo evala en (xi; tj-
1).

Para poder obtener una aproximacin en diferencias finitas para la derivada parcial de segundo
orden de la funcin T con respecto al espacio, es necesario escribir el desarrollo en serie de Taylor
de T de orden tres en (xi; tj). Evaluando dicho desarrollo en (xi-1; tj) y en (xi+1; tj) se obtiene:

Sumando ambas expresiones y despejando la derivadas parcial de segundo orden con respecto
al espacio resulta:

Despreciando el trmino de error, se obtiene una aproximacin de diferencias finitas de

segundo orden:

Esta aproximacin es denominada de diferencias centradas. Trabajando de manera similar, es

posible obtener las siguientes aproximaciones en diferencias finitas:
 Solucin en diferencias finitas

La solucin en diferencias finitas de una ecuacin diferencial parcial se obtiene al reemplazar

cada una de las derivadas parciales exactas en la ecuacin diferencial por su correspondiente
aproximacin en diferencias finitas. De esta manera, es posible discretizar la ecuacin diferencial
parcial.
Al aplicar la ecuacin discretizada en cada punto de la malla se obtiene un sistema de
ecuaciones denominado sistema de ecuaciones de diferencias finitas. El proceso de aproximacin
requiere de la seleccin de un mtodo adecuado para obtener la solucin del sistema de ecuaciones
algebraicas planteado. Una vez resuelto el sistema de ecuaciones de diferencias finitas se obtiene
el valor de la funcin en los nodos de la malla, es decir, que al emplear el mtodo de diferencias
finitas se obtiene una solucin aproximada discreta.

Pregunta 1
Se aplicaron los mtodos de tiempo progresivo espacio centrado y Crank - Nicolson a la
ecuacin diferencial parcial:

La siguiente tabla muestra las soluciones numricas obtenidas en algunos puntos utilizando el
mismo tamao de paso.

Indicar a qu mtodo corresponde cada una de las soluciones discretas.

Analiza la precisin de las soluciones.

Mtodo 1: Tiempo progresivo espacio centrado
Mtodo 2: Crank Nicolson.
 Mtodo 1: Crank Nicolson
Mtodo 2: Tiempo progresivo espacio centrado.
Correcto! El mtodo de Crank Nicolson es ms preciso debido a que emplea
aproximaciones de segundo orden para ambas derivadas.
Incorrecto! En cada mtodo, de qu orden es la aproximacin temporal se que
utiliza?

Pregunta 2
Se desea aplicar el mtodo de diferencias finitas a la ecuacin diferencial parcial:

Cul es el mximo tamao de paso que es posible emplear para que el mtodo no sea
inestable?

Analiza la condicin de estabilidad del mtodo que se estudi para este tipo de problemas.
Es posible emplear cualquier tamao de paso.
hx = 1 - hy = 1
hx = 0,5 - hy = 0,5
Ninguna de las anteriores.
Incorrecto! Es posible utilizar hx = 2 y hy = 2? O hx = 4 y hy = 6?
Incorrecto! Con el tamao de paso seleccionado, cuntos puntos interiores hay?
Correcto! Si bien el mtodo de diferencias finitas para la ecuacin diferencial dada
es incondicionalmente estable, es decir, es posible utilizar cualquier tamao de
paso, hay limitaciones que provienen del dominio fsico del problema.
Incorrecto! Analiza con cuidado las opciones anteriores.

Pregunta 3

Se resolvi, utilizando el mtodo de diferencias finitas, la siguiente ecuacin diferencial

parcial:

Las siguientes grficas muestran la solucin numrica obtenida utilizando distintos tamaos
de paso. Qu es lo que sucede en cada caso?
Analiza si la grfica en cada caso se asemeja a una superficie suave.
Caso A: la solucin numrica aproxima a la solucin exacta.
Caso B: la solucin numrica no aproxima a la solucin exacta
Caso A: la solucin numrica no aproxima a la solucin exacta.
Caso B: la solucin numrica aproxima a la solucin exacta.
Las soluciones numricas aproximan a la solucin exacta en ambos casos.
Las soluciones numricas no aproximan a la solucin exacta en ambos casos.
Correcto. La solucin en el caso B no muestra un comportamiento estable
Incorrecto. La solucin en el caso B no muestra un comportamiento estable.
Incorrecto. La solucin en el caso B no muestra un comportamiento estable.
Incorrecto. La solucin en el caso A s aproxima a la solucin exacta.

Pregunta 4
Es importante saber si un mtodo numrico es consistente con la ecuacin diferencial
parcial?

Para qu nos sirve saber si un mtodo es consistente?

No es importante.
S es importante porque es necesario saber si la ecuacin discreta usada por el mtodo
es equivalente a la ecuacin diferencial cuando el tamao de paso tiende a cero.
S es importante porque es necesario saber si la ecuacin discreta usada por el mtodo
es estable cuando el tamao de paso tiende a cero.
Incorrecto! Cualquier formulacin discreta nos permite obtener una aproximacin
de la solucin de una ecuacin diferencial parcial?
Correcto! Es importante analizar la consistencia de un mtodo numrico ya que en
caso contrario, la solucin numrica obtenida no sera una aproximacin de la
solucin del problema propuesto.
Incorrecto! Qu es lo que se compara cuando se est analizando la consistencia de
un mtodo?
 Pregunta 5
Puede suceder que al resolver numricamente una ecuacin diferencial parablica utilizando
el mtodo de tiempo progresivo espacio centrado y el mtodo de tiempo regresivo espacio
centrado, uno de ellos sea ms preciso que el otro?

Qu cosas se tienen en cuenta para analizar la precisin de un mtodo?

No es posible debido a que ambos mtodos tienen el mismo orden de precisin.
S es posible ya que adems del orden del mtodo, es necesario analizar la cantidad de
operaciones que se efectan para evaluar el error de redondeo que se comete.
Incorrecto! El error global final de un mtodo, slo est dado por el error de
truncamiento?
Correcto! Si bien ambos mtodo utilizan aproximaciones del mismo orden, en el
mtodo de tiempo regresivo espacio centrado el error de redondeo es mayor
debido a que por cada capa temporal se resuelve un sistema de ecuaciones.

Pregunta 6
Se desea aplicar el mtodo de diferencias finitas a la ecuacin diferencial parcial:

Cul es el mximo tamao de paso temporal que es posible emplear para que el mtodo no
sea inestable si hx = 0,05?

Cul es la condicin de estabilidad del mtodo que se aplica a esta ecuacin?

ht = 0,025
ht = 0,0125
ht = 0,0035
Ninguno de los anteriores.
Incorrecto! Cul es la condicin de estabilidad del mtodo explcito para la
ecuacin diferencial hiperblica?
Incorrecto! Analiza con cuidado la condicin de estabilidad del mtodo explcito
para la ecuacin diferencial hiperblica.
Incorrecto! Es el mximo tamao de paso temporal que se puede seleccionar para
que se cumpla la condicin de estabilidad del mtodo explcito para la ecuacin
diferencial hiperblica?
Correcto! Teniendo en cuenta la condicin de estabilidad del mtodo explcito para
la ecuacin diferencial hiperblica, el mximo tamao de paso es ht = 0,05.

Pregunta 7
Indica si la siguiente afirmacin es Verdadera o Falsa.
Siempre que se reduzca el tamao de paso en la resolucin numrica de una ecuacin
diferencial parcial elptica, la solucin obtenida tiende a la solucin exacta.

Verdadero Falso
El mtodo de diferencias finitas para la ecuacin diferencial parcial elptica, cumple con las
condiciones que enuncia el teorema de Lax?
Como el mtodo de diferencias finitas para la ecuacin diferencial parcial elptica es
consistente e incondicionalmente estable, al reducir el tamao de paso, la solucin
numrica obtenida ser cada vez ms precisa.

Pregunta 8
Se aplic el mtodo de diferencias finitas a la siguiente ecuacin diferencial parcial:

Las siguientes grficas muestran la solucin numrica obtenida utilizando distintos tamaos
de paso. Qu es lo que ocurre en cada caso?

Analiza las soluciones obtenidas.

Caso A: la solucin numrica aproxima a la solucin exacta.
Caso B: la solucin numrica no aproxima a la solucin exacta.
Caso A: la solucin numrica no aproxima a la solucin exacta.
Caso B: la solucin numrica aproxima a la solucin exacta.
Las soluciones numricas aproximan a la solucin exacta en ambos casos con la misma
precisin.
Las soluciones numricas aproximan a la solucin exacta en ambos casos con distinta
precisin.
 Las soluciones numricas no aproximan a la solucin exacta en ambos casos.
Incorrecto! Analice las soluciones grficas!
Incorrecto! Analice las soluciones grficas!
Incorrecto! Ambas soluciones, aproximan con el mismo error a la solucin exacta?
Correcto! Ambas soluciones aproximan con distinto error a la solucin exacta.
Incorrecto! Ambas soluciones aproximan, con distinto error, a la solucin exacta.