METODOS NUMRICOS:

Las ecuaciones diferenciales parciales (EDP) son las que ms se utilizan para estudiar la
dinmica computacional de los fluidos. [33] Los mtodos numricos constituyen tcnicas
mediante las cuales es posible formular problemas matemticos, de tal forma que puedan
resolverse utilizando operaciones aritmticas. Aunque existen muchos tipos de mtodos
numricos, estos comparten una caracterstica comn: invariablemente requieren de un
buen nmero de tediosos clculos aritmticos. [Chapra] Existen al menos tres mtodos
distintos, que se usan en la Mecnica de Fluidos Computacional, los cuales son: [White]

El mtodo de elementos finitos (FEM, Finite Element Method)

El mtodo de las diferencias finitas (FDM, Finite Difference Method)
Mtodos integrales de singularidades distribuidas y el mtodo de los elementos de
contorno.

ECUACIONES DIFERENCIALES PARCIALES lineales y no lineales

Las ecuaciones diferenciales parciales se pueden clasificar en lineales y no lineales. En las
EDP lineales, no encontramos el producto de las variables dependientes o de sus derivadas,
como ejemplo tenemos la ecuacin de onda unidimensional:
u
u
=a
( III .1 )
t
x

Donde

u=f ( xvt )

y entonces

( tx )

a=

es la velocidad del sonido que suponemos

constante. Por otro lado las EDP no lineales, contienen productos entre las variables
dependientes y/o sus derivadas, y tienen la peculiaridad de que dos soluciones de EDP no
lineales no pueden sumarse para obtener una tercera solucin. Un ejemplo de este tipo de
ecuaciones es la llamada ecuacin de Burgers:
u
u
=u
( III .2 )
t
x
Por ltimo si una ecuacin es lineal en la derivada de mayor orden, entonces se dice que
esta EDP es cuasi lineal.

EDP DE SEGUNDO ORDEN [35]

Una ecuacin en derivadas parciales, lineal de segundo orden con dos variables
independientes y coeficientes constantes puede pertenecer a uno de tres tipos generales.
Dicha clasificacin solo depende de los coeficientes de las derivadas de segundo oren,
suponiendo que al menos uno de los coeficientes es diferente de cero.
La forma general de la ecuacin diferencial parcial lineal de segundo orden homogneo:
A

2 u
2 u
2 u
u
u
+
B
+C
+D
+E
+ Fu=0 ( III .3 )
2
2

y
x
y

Donde

A ,B,C, D,E y F

son constantes reales, y dependiendo del valor de

B 24 AC , las ecuaciones diferenciales se clasifican en tres grupos: elpticas,

parablicas e hiperblicas.
2
Hiperblica si B 4 AC > 0

2
Parablica si B 4 AC =0

2
Elptica si B 4 AC < 0

Otra forma de identificar las ecuaciones diferenciales, aunque no es formal pero si prctica,
es observando el orden de las derivadas con respecto al tiempo. Cuando no se tienen
derivadas cruzadas, las ecuaciones con segunda derivada con respecto al tiempo son
usualmente hiperblicas, las que tiene primera derivada con respecto al tiempo son
parablica y las que no tienen derivadas con respecto al tiempo son elpticas.
Cada una de las categoras de ecuaciones diferenciales parciales maneja una clase
especfica de problemas en ingeniera. Comnmente las ecuaciones elpticas se usan para
caracterizar sistemas en estado estable. Por lo general este tipo de ecuaciones se emplean
para determinar la distribucin en estado estable de una incgnita en dos dimensiones.

En contraste con las ecuaciones elpticas, las ecuaciones parablicas determinan como una
incgnita vara tanto en espacio como en tiempo. Esto se manifiesta por la presencia de la
derivada espacial y temporal. Tales casos se conocen como problemas de propagacin, ya
que la solucin se propaga con el tiempo.
Las ecuaciones hiperblicas, tambin tratan con problemas de propagacin. Sin embargo
una importante diferencia es la presencia de la segunda derivada con respecto al tiempo. En
consecuencia, la solucin oscila. Esta diferencia de orden en la derivada temporal entre las
ecuaciones parablicas e hiperblicas, tambin se manifiesta en la forma que se propaga la
solucin.
CONDICIONES INICIALES Y DE FRONTERA: [34]
Adems de la ecuacin diferencial, son necesarias las condiciones de contorno para que el
problema quede completamente definido. Se distinguen tres tipos de condiciones:

Condicin tipo Dirichlet:

En este caso se fija la solucin de nuestra ecuacin en la frontera determina. Son del
tipo:
u ( x , y i )=f ( x )
Refirindose

yi

a una frontera determinada, y

f (x)

a los valores que se

tendrn a lo largo de esta.

Condicin tipo Neumann:
Para este tipo de condiciones, se fija la derivada de la funcin incgnita a lo largo
del contorno estudiado. Son del tipo:
u ( x , y i)
=g ( x)
x
En este caso, el valor de la derivada de la funcin incgnita en la frontera
definida por la funcin

g( x) .

Condicin tipo Mixta:

Estas condiciones combinan las dos anteriores. Son del tipo:
u ( x , yi )+

u( x , yi )
= p( x)
x

y i est

MTODO DE DIFERENCIAS FINITAS:

El mtodo de diferencias finitas se basa en asignar puntos espaciados de manera apropiada
sobre el dominio y aplicar las ecuaciones constitutivas correspondientes del fenmeno a
cada punto. El mtodo de diferencias finitas tiene como punto de partida las series de
Taylor. [36] Las soluciones numricas nos pueden dar soluciones solamente para una
cantidad finita de puntos, es decir las soluciones discretas en el dominio, que se conocen
como puntos de malla (grid points). La idea de los mtodos numricos es reemplazar las
derivadas parciales que gobiernan las ecuaciones de la dinmica de un fluido, por frmulas
algebraicas. A continuacin derivaremos algunas expresiones algebraicas.
COMPONENTES DE UN MTODO NUMRICO:
Los componentes de un mtodo numrico son: modelo matemtico, mtodo de
discretizacin, sistema de coordenadas, malla computacional, mtodo de aproximacin,
mtodo de solucin y criterio de convergencia utilizado [32]
Antes de comenzar el estudio de las tcnicas del anlisis numrico, es necesario definir
conceptos y terminologas tiles:

Consistencia: Una aproximacin de una EDP se dice consistente, si la ecuacin en

derivacin finita se aproxima a la EDP a medida que

h 0 , el tamao de la

malla tiende a cero.

Estabilidad: Un esquema numrico se dice estable, si cualquier error introducido

por la aproximacin de diferencias finitas no se incrementa con la solucin.

Convergencia: Un esquema de diferenciacin finita es convergente cuando la
solucin por diferenciacin finita se aproxima a la EDP conforme h 0 .

Teorema de equivalencia de Lax: La condicin necesaria y suficiente para que exista

convergencia es que la ecuacin en diferencias finitas, sea estable y consistente.

[32] Dr. Melgarejo Morales, Teora de Volumenes Finitos., 20002

[35] Amalia C. Aguirre Parres. Clasificacin de ecuaciones diferenciales parciales de

segundo orden. Instituto Tecnolgico de Chihuahua. Facultad de Ciencias Bsicas. Mxico.
[34] Pablo Casanovas Espinar. Aplicacin del mtodo de diferencias finitas y del mtodo de
elementos finitos a problemas de control. Escuela Tcnica Superior de Ingeniera.
Departamento de Ingeniera de Sistemas y Automtica. Universidad de Sevilla. Espaa.
2014
[36] J. Bosch Moreno. Mtodos finitos. Universidad Pontificia Bolivariana. Instituto de
Energa y Termodinmica. Medellin. Colombia. 2006.
[33] M. Mora Ramirez. Solucin de Ecuaciones de Flujo Vehicular. Universidad Autnoma
Metropolitana Unidad Iztapalapa. rea de Mecnica Estadstica del Departamento de
Fsica. Mxico. 2004