Está en la página 1de 8

IV Congreso Argentino de Tecnologa Espacial

ESTUDIO DE DOS ESQUEMAS EXPLICITOS PARA LA SIMULACION


DE UN FLUJO COMPRESIBLE TRIDIMENSIONAL
Bono, Gustavo - Awruch, Armando Miguel
Universidade Federal do Rio Grande do Sul
Programa de Posgraduacin en Ingeniera Mecnica (PROMEC)
Av. Sarmento Leite 425, CEP: 90050-170, gbono@mecanica.ufrgs.br
Porto Alegre Brasil.

RESUMEN
Se presenta en este trabajo un estudio comparativo entre dos esquemas explcitos para la
simulacin de flujo viscoso/no viscoso compresible tridimensional de fluidos newtonianos en el contexto
de aplicaciones aeroespaciales. El sistema de ecuaciones diferenciales se resuelve usando el mtodo de
los elementos finitos (MEF) y se adopta un elemento tetradrico isoparamtrico lineal en el marco de
mallas no estructuradas. Finalmente, son comparados los resultados numricos y el desempeo
computacional (memoria, tiempo de procesamiento y convergencia) de ambos esquemas com ejemplos en
dos y tres dimensiones para flujos en rgimen supersnico.-

1.- INTRODUCCION
La dinmica de fluidos computacional ha
demostrado en los ltimos aos que es una
excelente herramienta para el estudio y diseo en
problemas
envolviendo
configuraciones
complejas en el campo de la ingenieria
aeronutica y aeroespacial. El anlisis de la
aerodinmica y fenmenos aerotermodinmicos
en vehculos aeroespaciales lleva a mallas con un
gran nmero de grados de libertad. Los costos
computacionales (espacio de memoria ocupada y
tiempo de procesamiento) crecen rpidamente a
medida que se aumenta la discretizacin y la
complejidad del modelo matemtico (no viscoso
o viscoso) usado.
Bsicamente los esquemas de resolucin
de las equaciones de Euler y Navier-Stokes
pueden ser implcitios y/o explcitos. Los
esquemas implcitos tienen un mejor desempeo
en problemas estacionarios, adems tienen
limitaciones con relacin al almacenamiento de
memoria. A pesar de ser condicionalmente
estable, el esquema explcito tiene como ventaja
su simplicidad, programacin fcil, mnima

demanda de memoria y buenas caracteristicas en


problemas temporales. Una de las principales
desventajas es que el paso de tiempo permisible
en los esquemas explcitos es limitado por la
condicin de Courant-Friedrichs-Lewy (CFL).
Las ecuaciones diferenciales gobernantes
del fluido son discretizadas espacialmente usando
el principio de los residuos ponderados de
Bubnov-Galerkin y el mtodo de los elementos
finitos (MEF). Los trminos temporales son
expandidos en series de Taylor hasta los trminos
de segundo orden. Para la discretizacin espacial
se adopta un elemento tetradrico lineal en el
marco de mallas no estructuradas.
El propsito de este trabajo es presentar
un estudio comparativo de dos esquemas
explcitos para la solucin de flujo
viscoso/invscido compresible tridimensional de
fluidos newtonianos para futuras aplicaciones en
problemas de reentrada de vehculos espaciales.
Para la resolucin del mtodo de Taylor-Galerkin
(T-G) primer se usa un esquema de un paso
[Donea, 1984] que se resuelve iterativamente, el
segundo esquema de dos pasos est basado en el
trabajo de Kawahara y Hirano [1983].
Finalmente, son comparados los resultados

IV Congreso Argentino de Tecnologa Espacial


numricos y el desempeo computacional de
ambos esquemas con varios ejemplos clsicos en
dos y tres dimensiones para flujos en rgimen
supersnico.

2.- FORMULACION MATEMATICA


Las ecuaciones que gobiernan el flujo
viscoso compresible pueden ser escritas en forma
compacta como:
U Fi G i
+
+
= 0 en
(1)
t xi xi

donde es el dominio del modelo con contorno


. Los vectores de las variables de campo U, de
flujo advectivo y trminos de presin Fi y de flujo
difusivo Gi son:
vi

U = v j ; Fi = v j vi + p ij ;
v ( e + p)
e

Gi =
ij

u
ij vi K ij xi

(2)

En estas expresiones, i, j = 1, 2,3 , vi son


las componentes del vector velocidad segn el eje
x i , es la densidad del fluido, p es la presin
termodinmica, e y u son la energa total
especfica y la energa interna especfica,
respectivamente, ij es el delta de Kronecker y

finalmente, xi y t son las coordenadas espaciales


y temporal, respectivamente. La ecuacin de
estado puede escribirse como:
p = ( 1) u
(3)
donde, = c p / cv

volumen constante, respectivamente. Conviene


tambin expresar las siguientes relaciones:
1
u = cvT = e vi vi (4)
2
donde, T es la temperatura y vi vi 2 es la
energa cintica especfica.
Para definir totalmente el problema, se
debe adicionar al sistema de ecuaciones dado por
la expresin (1) las condiciones iniciales y de
contorno para las variables.

3.- DISCRETIZACION TEMPORAL

Una importante familia de esquemas


Taylor-Galerkin (T-G) para ecuaciones de
adveccin lineal fue derivado por Donea [1984].
Adoptando la aproximacin del MEF, demostr
como el esquema de Galerkin (esquema central)
puede ser estabilizado por medio de una
expansin en series de Taylor para la derivada de
las variables de conservacin con relacin al
tiempo, dicho procedimiento es similar al usado
para derivar el esquema de Lax-Wendroff.
Kawahara y Hirano [1983] utilizaron un esquema
de dos pasos para resolver problemas en fluidos
viscosos ligeramente compresibles. Otro esquema
de amplia utilizacin es el esquema de T-G de
dos pasos que fue propuesto y testado por Lhner
et al. [1985] para la solucin de las ecuaciones de
Euler.
3.1- Esquema de UN PASO

Este esquema de avance en el tiempo est


basado en el trabajo de Donea [1984].
Desarrollando las variables de campo de las
ecuaciones de conservacin por una expansin en
el tiempo segn una serie de Taylor, obtenemos:
U

es la relacin entre los

coeficientes de calor especfico a presin y a

n +1

U
= t

+ O ( t 3 )

n+ s 1

t 2 2 U
+

2! t 2

n+ s 2

(5)

IV Congreso Argentino de Tecnologa Espacial


donde U n +1= U n +1 U n . Los superndices n y
n+1 indican las posiciones t y t +t en el dominio
del tiempo y t es el incremento de tiempo. Las
variables s1 y s2 definen la forma de avance en el
tiempo de acuerdo con los valores adoptados.
Adems tambin se define:
n+ s
n
n +1
U 1 U
U
=
+ s1
t
t
t
(6)
n+ s
n
n +1
2U 2 2U
2 U
= 2 + s2
t 2
t
t 2
Para el presente trabajo adoptamos s1 = s2
= y reemplazando la ecuacin (6) en (5)
resulta:
U
1 U
U n +1 = t
+
+
2 t
t

n
n +1
2 2
2
t U
1 U
+
2 +

2 t
2 t 2

n +1

t Fi I
+
2 xi

n +1

G i I
xi

Se adopta el esquema propuesto por


Kawahara y Hirano [1983] para el avance en el
tiempo. Desarrollando las variables de campo de
las ecuaciones de conservacin por una expansin
en series de Taylor en el tiempo para
t n +1/ 2 = t n + t 2 , obtenemos:
n

n+ 1

t
t U
3
=
U +
+ O ( t )
2 t
4 t

(9)

(7)

(8)

n +1

3.2- Esquema de DOS PASOS

Las derivadas de U y U en la ecuacin


(7) se pueden obtener fcilmente a partir de la
ecuacin vectorial (1). Reorganizando los
trminos y eliminando trminos de orden superior
se obtiene la siguiente ecuacin de avance en el
tiempo para los incrementos de las variables:
Fi n G i n
n +1
U I +1 = t

+
xi
xi
n
t n Fi
+
Ak
+
xi
2 xk

por lo tanto se adiciona un contador de nmero de


iteraciones I. Los ndices I+1 y I se refieren al
paso iterativo actual y anterior. La matriz Ak
corresponde a la matriz del jacobiano convectivo
que aparece en la ecuacin (1) escrita en forma
quasi-lineal.

n +1
t n Fi I
+
Ak

xi
2 xk

Los incrementos de las variables de


campo U deben ser obtenidos a travs de un
proceso iterativo, una vez que estn definidos
para el mismo tiempo que los incrementos que
aparecen en el segundo corchete de la ecuacin,

El esquema es solucionado en dos pasos;


en el primer paso, se calculan las variables de
campo en el instante de tiempo t + t 2
correspondiente a los trminos contenidos entre
parntesis. Introduciendo la ecuacin (1) y su
derivada en la expresin (9) y eliminando los
trminos de orden superior obtenemos para el
primer paso:
n
n
G i
t F
n+ 1
U 2 = i
+
xi
2 xi
(10)
n
t n F j
+
Ai

x j
4 xi

con U n +1 2 = U n +1 2 U n . En el segundo paso, se


calculan las variables de campo en el instante de
tiempo t + t utilizando las variables en t + t 2
determinadas en el primer paso a travs de la
ecuacin (10). Para obtener los valores de la
variable U en n + 1 , se puede aplicar una
expansin en series de Taylor de la siguiente
forma:
n

n +1

t U
3
= t U +
+ O ( t )
t
2 t

(11)

IV Congreso Argentino de Tecnologa Espacial

Trabajando la ecuacin (11) de la misma forma


que fue hecho con la expresin (9) se obtiene
finalmente:
F G i
U n +1 = t i
+
x
x

i
i

1
(12)
n+
2

F
t
j
+
A i

2 xi x j

4.- DISCRETIZACION ESPACIAL


Las ecuaciones (8), (10) y (12) son
discretizadas en el espacio usando la tcnica de
Galerkin en el contexto del mtodo de los
elementos finitos. En la aproximacin espacial se
adopta un elemento tetradrico lineal, el cual
tiene la flexibilidad de adaptarse a dominios de
geometra compleja con una buena eficiencia
computacional.
Debe observarse que las ecuaciones
obtenidas son en principio un esquema semiimplcito, por lo tanto, para desacoplar el sistema
de ecuaciones de manera de ser resuelto
explcitamente se considera la matriz de masa
diagonal o discreta (Lhner, 2001). Finalmente,
despus de aplicar el mtodo de Galerkin en el
contexto del MEF en los esquemas de avance en
el tiempo de un paso, ecuacin (8), y de dos
pasos, ecuaciones (10) y (12), obtenemos los
modelos numricos de T-G de un paso (T3) y de
dos pasos (T3P2), respectivamente.
Como el mtodo adoptado es explcito y
estos son condicionalmente estables, esta sujeto a
la condicin de estabilidad de CFL. Tal
condicin, aplicada sobre un elemento E,
establece que el paso de tiempo local tE debe
satisfacer la expresin:
LE
(13)
t E =
1
2
a + ( vi vi )
donde, tE es el incremento de tiempo crtico del
elemento, es un coeficiente de seguridad, LE es

la dimensin caracterstica del elemento E (menor


arista) y a es la velocidad del sonido.
La solucin directa a travs del esquema
de T-G puede producir la aparicin de
oscilaciones de alta frecuencia en las
proximidades de las ondas de choque. Para
suavizar tales efectos locales es introducida una
viscosidad artificial que es adicionada
explcitamente a la solucin no amortiguada
segn el procedimiento mostrado por Argyris et
al. [1990].

5.- EJEMPLOS NUMERICOS


En este tem se presentan los resultados de
varios ejemplos clsicos con el objetivo de
validar el cdigo y comparar el desempeo de los
dos esquemas usados. Todos los ejemplos fueron
modelados en 3D.
5.1- Rampa en compresin con M=3.0 y
Re=16800
En este primer ejemplo es analizada una
rampa en compresin con 10 de inclinacin con
relacin al plano horizontal en un flujo viscoso
con M = 3,0 y nmero de Reynolds Re = 16800
basado en los valores de la corriente libre y la
longitud de la placa plana. Este ejemplo presenta
una regin de separacin y readherencia de la
capa lmite en la regin de interseccin placarampa.
Las condiciones de la corriente libre son:
V = ( 3, 0;0, 0;0, 0 ) , = 1, 0 , e = 6, 2857 y
p = 0, 71428 , sobre la placa-rampa se impone la
condicin de no deslizamiento para la velocidad y
la energa interna (temperatura) de estagnacin
igual u = 5, 0 . Se emplea una malla estructurada
con 60000 elementos y 18573 nodos,
concentrando los elementos en las regiones de
inicio de la placa plana y de la rampa y en la
regin de la capa lmite. Sobre la placa plana y
rampa se tiene 141 nodos y en la direccin
perpendicular fueron colocados 2 elementos.

IV Congreso Argentino de Tecnologa Espacial


En la Tabla 1, se presentan el tiempo de
procesamiento y memoria relativa para cada uno
de los esquemas utilizado.
Programa Tiempo Memoria
T3
1
1
T3P2
1,34
0,814
Tabla 1. Tiempo y memoria relativa para ejemplo
de la rampa en compresin

las Figura 2 es presentada la distribucin del


coeficiente de friccin Cf, comparada con los
resultados numricos de Carter [1972]. La capa
lmite crece debido al gradiente de presin
adverso originado por la rampa. La reduccin de
la presin total en la capa lmite produce su
separacin e imposibilita superar el gradiente de
presin adverso. Esta separacin crea una regin
de recirculacin que es evidente a travs del
coeficiente de friccin negativo.

5.2- Placa plana con M=3.0 y Re=1000


En este caso es analizado el clsico
ejemplo viscoso de una placa plana infinitamente
delgada a cero ngulo de ataque en un flujo
supersnico con M = 3,0 y nmero de Reynolds
Re = 1000. Las condiciones de la corriente libre
son: V = ( 3.0, 0.0, 0.0 ) , = 1.0 , e = 6.2857 y

Figura 1. Distribucin del nmero de Mach y


presin para la rampa en compresin

p = 0.71428 siendo que sobre la placa plana se


impone la condicin de no deslizamiento para la
velocidad y la energa interna (temperatura) de
estagnacin u = 5, 0 . Se emplea una malla
estructurada con 43200 elementos y 13377 nodos,
concentrando los elementos en la regin de inicio
de la placa y de la camada lmite, debido a que la
interaccin onda de choque/capa lmite es
importante. Sobre la placa plana se tiene 81
nodos y en la direccin z fueron colocados 2
elementos. En la Tabla 2, se presentan el tiempo
de procesamiento y memoria relativa para cada
uno de los esquemas utilizados.
Programa Tiempo Memoria
T3
1
1
T3P2
1,37
0,816
Tabla 2. Tiempo y memoria relativa para el
ejemplo de la placa plana

Figura 2. Distribucin del coeficiente de friccin


para la rampa en compresin
En la Figura 1 son mostrados la
distribucin del nmero de Mach y presin. En

La distribucin del nmero de Mach y


energa interna (temperatura) son mostrados en la
Figura 3. En la Figura 4 se presenta la
distribucin de las relaciones de presiones p p
a lo largo de la placa y su comparacin con los

IV Congreso Argentino de Tecnologa Espacial


resultados numricos presentados por Carter
[1972]. De la figura puede concluirse que existe
una buena concordancia con los resultados
obtenidos por Carter [1972] y se debe resaltar que
no existe diferencia en los resultados obtenidos
con ambos esquemas.

5.3- Vehculo espacial genrico


Un cuerpo con una geometra similar a la
representada por un vehculo espacial genrico
en flujo no viscoso con un ngulo de ataque de
10 es analizada en este tem, dicho cuerpo fue
estudiando experimental y numricamente por
Houtman et al. [1995]. Las condiciones de
contorno son iguales a las impuestas en el caso de
la rampa en compresin (tem 5.1), con la
salvedad de que la velocidad de la corriente libre
es V = ( 2,9051;0,5122;0, 0 ) . Se emplea una
malla no estructurada, que esta formada por
187101 elementos y 35986 nodos, siendo que
7586 nodos estn sobre la superficie del vehculo.
El tiempo de procesamiento y memoria relativa
para cada uno de los esquemas utilizado estn
dados en la Tabla 3.

Figura 3. Distribucin del nmero de Mach y


temperatura para la placa plana

Figura 4. Distribucin de la relacin p p para la


placa plana

Programa Tiempo Memoria


T3
1
1
T3P2
1,28
0,86
Tabla 3. Tiempo y memoria relativa para el
ejemplo del vehculo espacial
En la Figura 5 se muestra la variacin de
la densidad en el plano de simetra x-y para
ambos programas. La distribucin de la presin
con el programa T3P2 es presentada en la Figura
6. De estas figuras se puede ver que los
principales fenmenos del flujo (ondas de choque
y expansin) son eficientemente capturadas con
la malla utilizada.
Una comparacin de la variacin de las
relaciones de presin p p sobre el cuerpo en el
plano de simetra x-y entre los resultados
experimentales de Houtman et al. [1995] y los
obtenidos numricamente con el programa T3P2
son presentado en la Figura 7. Puede observarse
que existe una buena correlacin para la regin
superior (sup) del cuerpo, tanto en la posicin de
las ondas como su intensidad. En la regin
inferior (inf) existe una discrepancia entre los
resultados experimentales y los numricos en la
zona de interseccin cilindro-cono (x/L 0,5),

IV Congreso Argentino de Tecnologa Espacial


esto es debido a los fuertes efectos viscosos
existente en la regin, los cuales no pueden ser
capturados con la ecuacin de Euler. Los
resultados numricos muestran la existencia de
una onda de choque la cual es inexistente en los
resultados experimentales debido a la separacin
de la capa lmite.

Figura 7. Distribucin de la presin sobre un


vehculo espacial genrico con M=2.95 y =10

6.- ANALISIS DE LOS RESULTADOS

Figura 5. Variacin de la densidad para ambos


esquemas

Figura 6. Distribucin de la presin sobre un


vehculo espacial genrico con M=2.95 y =10

Como se pudo ver a travs de los


diferentes ejemplos mostrados, no existe
diferencia con relacin a los resultados obtenidos
ya sea con el mtodo de T-G de un paso (T3) o el
mtodo de dos pasos (T3P2).
En las diferentes tablas de variacin
relativamente del tiempo de procesamiento y
memoria ocupada se nota que el esquema de dos
pasos (T3P2) siempre ocupa entre un 15 - 20 %
menos de memoria que el esquema de un paso
(T3). Esto es justificable debido a que en el
esquema de un paso los incrementos de las
variables
de
campo
deben
resolverse
iterativamente y por lo tanto existen vectores
dimensionados por el nmero de nodos que en el
caso del esquema de dos pasos no son necesarios.
Por el contrario, en el caso del tiempo de
procesamiento, el esquema de dos pasos siempre
demanda entre un 30 40 % ms de tiempo que
el esquema T3. Este incremento en el tiempo de
procesamiento es originado por el tipo de
esquema utilizado, en el caso del esquema T3P2
siempre son realizados dos pasos para el
incremento de tiempo y en el esquema T3
solamente utilizamos un paso, el cual es obtenido
con un bajo nmero de iteraciones.

IV Congreso Argentino de Tecnologa Espacial


Con relacin a la tasa de convergencia y
mnimo residuo se puede resaltar que con el uso
del esquema de dos pasos logramos reducir el
mnimo residuo en comparacin con el obtenido
con el esquema de un paso entre un 10 35 %
para igual tiempo adimensional. Tambin la tasa
de convergencia mejora, entre un 10 30 %, con
el esquema T3P2 en comparacin con el esquema
T3 para el rgimen supersnico.

CONCLUSIONES
En este trabajo se present un estudio
comparativo de dos esquemas explcitos para la
solucin de un flujo viscoso/invscido
compresible tridimensional. Las limitaciones
actuales en la dinmica de los fluidos
computacionales bsicamente estn dadas por las
limitaciones de memoria y velocidad de
procesamiento, por lo tanto, estos parmetros
conjuntamente con la robustez y precisin
definen el suceso o no de un esquema
computacional.
A travs de los diversos ejemplos
analizados se puede concluir que ambos
esquemas reproducen adecuadamente los
fenmenos existentes en el flujo, presentando
resultados similares y tienen buena concordancia
con los resultados numricos presentados por
otros autores. El esquema de Taylor-Galerkin de
un paso tiene mejor rendimiento en el tiempo de
procesamiento con relacin al esquema de dos
pasos. En lo que respecta a la memoria ocupada,
el esquema de Taylor-Galerkin de dos pasos
ocupa menos memoria que el esquema de un
paso. En trminos generales se puede concluir
que el esquema de Taylor-Galerkin de un paso
tiene mejor desempeo, debido a que posee un
excelente tiempo de procesamiento con una
ocupacin de memoria aceptable.

REFERENCIAS
[1] DONEA J. (1984). A TaylorGalerkin method for convective transport
problems. Int. J. Num. Methods Engrg. Vol. 20,
101-119.
[2] KAWAHARA M., HIRANO H.
(1983). A finite element method for high
Reynolds number viscous fluid flow using two
step explicit scheme. Int. J. Num. Methods
Fluids. Vol. 3, 137-163.
[3] LOHNER R., MORGAN K.,
ZIENKIEWICZ, O.C. (1985). An adaptive
finite element procedure for compressible high
speed flows. Comput. Methods Appl. Mech.
Engrg. Vol. 51, 441-465.
[4] LOHNER R. (2001). Applied CFD
techniques. An introduction based on finite
element method. Wiley & Sons.
[5] ARGYRIS J., DOLTSINIS I.S., FRIZ
H. (1990). Studies on computational reentry
aerodynamic. Comput. Methods Appl. Mech.
Engrg. Vol. 81, 257-289.
[7] CARTER J.E. (1972). Numerical
solutions of the Navier-Stokes equations for
the supersonic laminar flow over a twodimensional compression corner. Technical
Report TR-385, NASA.
[8] HOUTMAN E.M., BANNINK W.J.,
TIMMERMAN B.H. (1995). Experimental and
computational study of a blunt-cylinder-flare
model in high-supersonic flow. Report LR-796,
Delft University of Technology.