115

Ciencia e Ingeniera Neogranadina, Vol. 21-1, pp, 115-124, Bogot, Junio de 2011, ISSN 0124-8170
SOLUCIN AL SISTEMA GENERAL DE ECUACIONES DE EULER PARA UN
FLUIDO COMPRESIBLE

A SOLUTON TO A GENERAL SYSTEM OF EULER EQUATONS
FOR A COMPRESSBLE FLUD

Adrian Ricardo Gmez Plata
Docente en el Departamento de Matemticas, Universidad Militar Nueva Granada
adrian.gomez@unimilitar.edu.co

Fecha de recepcin: 24 de enero de 2011
Fecha de aprobacin: 11 de mayo de 2011


RESUMEN

En este artculo se presenta la existencia de soluciones viscosas al sistema general
de Euler sin fuente para un fluido comprensible. El mtodo que se us para
solucionar el sistema, no es el de las regiones invariantes que se encuentra en la
literatura. En paralelo, encontraremos las soluciones viscosas globales suaves del
sistema, usando el principio del mximo.

Palabras clave: leyes de conservacin hiperblica, principio del mximo,
estimaciones a priori, ecuaciones diferenciales parablicas, problema de Cauchy.


ABSTRACT

This paper reveals the existence of solutions to a general Euler system without
source for a compressible fluid. The method used to solve the system is not the
common invariant regions found in literature. n parallel, we will find the smooth
global viscous solutions of the system using the maximum principle.

Key words: hyperbolic conservations laws, maximum principle, a priori estimate,
Cauchy problems.


INTRODUCCIN

Un fluido compresible es aquel en donde existen variaciones de densidad
significativas producidas por cambios de temperatura, presin o por grandes
velocidades.

SOLUCN AL SSTEMA GENERAL DE ECUACONES DE EULER PARA UN FLUDO COMPRESBLE
Adrian Ricardo Gmez Plata 116
La ecuacin de Euler para un fluido compresible en coordenadas eulerianas, se
puede escribir en la siguiente forma conservativa como:

( ) 0
( ) ( ) 0
( ( )) 0
t
t
t
div v
v div v v p
E div v E p


+ =
+ +V =
+ + =
(1)

Donde la energa total est dada por:
2
2
v
E e = +

( , ) x t es la densidad, v es el campo de velocidades, e es la energa interna, p
es la presin termodinmica y representa el producto de Kronecker entre v y
v .

Las ecuaciones representan en su lectura de arriba hacia abajo, la ley de
conservacin de masa, la ley de conservacin de momento lineal y la ley de
conservacin de energa total. Este sistema complementa una ecuacin de estado
para el fluido de la forma:

( , ) p g e =

que determina la presin en trminos de las densidades de masa y de energa
interna. La forma de la funcin g se establece mediante observaciones
experimentales y debe ser consistente con las leyes de la termodinmica segn [1].

Es posible estudiar el sistema de ecuaciones de Euler en una dimensin espacial,
como caso particular del sistema (1) y que modela por ejemplo: la dinmica de un
gas que fluye a travs de un tubo y donde la densidad, la velocidad y la energa son
constantes a lo largo de secciones transversales del tubo; este fenmeno es
claramente unidimensional.

Es importante decir que hay suficientes estudios desde el anlisis numrico para
este tipo de sistemas, ya que la demostracin de soluciones explicitas es casi
imposible por mtodos clsicos. Por ejemplo: para el sistema de Ecuaciones de
Euler unidimensional vase [2], para las ecuaciones de Euler en 2D vase [3] o para
ecuaciones de Euler de forma general, vase [4], o una aplicacin a la economa con
mtodos numricos, se puede ver en [5].

En este artculo, se presenta la existencia de soluciones viscosas al sistema de flujo
de fluido comprensible en forma general y que mantiene las leyes de conservacin
UNVERSDAD MLTAR NUEVA GRANADA
Ciencia e Ingeniera Neogranadina, Vol 21-1
117
de masa y de momento lineal del sistema (1). Para tal fin, se estudia el sistema de
ecuaciones diferenciales parciales dado por:

2
1
( ) 0
2 (2)
( ( )) 0
t
x
t x
u u f v
v uv g v
| |
+ + =
|
\ .

+ + =

Con condiciones acotadas medibles en la norma L

dadas por

0 0
( ( , 0), ( , 0)) ( ( ), ( )) u x v x u x v x =


Fsicamente, se puede entender este sistema como el modelo para la dinmica de
un fluido compresible no viscoso que no conduce calor y cuyas ecuaciones se
pueden interpretar como la conservacin de la masa:

( ( )) 0
t x
v uv g v + + =


Donde la densidad por unidad de hipervolumen de la masa del fluido se puede
representar por v y la velocidad del fluido es representada por u . La conservacin
del momento lineal total, se puede entender como:

2
1
( ) 0
2
t
x
u u f v
| |
+ + =
|
\ .


Un caso particular del sistema dos es el conocido sistema de ecuaciones dinmico
para un gas politrpico como se puede encontrar en [6] y [7].

La metodologa que se usa en este artculo, se fundamenta en un mtodo que existe
en la teora de leyes de conservacin hiperblica, consistente en que para encontrar
aproximaciones de soluciones viscosas de un sistema hiperblico, se perturba en
cierta forma dicho sistema y se convierte en parablico para aplicar el mtodo de las
regiones invariantes o el principio del mximo. Una ley de conservacin hiperblica
es un sistema de ecuaciones quasilineal de la forma

| ) ( ) 0, con ( , ) 0,
t x
u G u x t R + = e
Donde:
1
( ,..., ) , 1
T n
n
u u u R n = e > , es una funcin vectorial desconocida que modela
una cantidad fsica y
1
( ( ),..., ( ))
T
n
G f u f u es un vector dado que denota un trmino de
conservacin asociado generalmente a dicha cantidad fsica.

SOLUCN AL SSTEMA GENERAL DE ECUACONES DE EULER PARA UN FLUDO COMPRESBLE
Adrian Ricardo Gmez Plata 118
Se sabe que una perturbacin al anterior sistema para convertirlo en un sistema
hiperblico segn [7], se puede realizar de la siguiente forma:

( )
t x xx
u G u u c + = con 0 c >

Que es un sistema de ecuaciones parablicas semilineales y donde las soluciones al
sistema de Cauchy a este sistema, es lo que comnmente se llaman soluciones
viscosas.

A finales del siglo pasado, se descubrieron los mtodos de compacidad compensada
y de entropa que permiten establecer la existencia de soluciones dbiles a este tipo
de sistemas de leyes de conservacin hiperblica como se puede ver [8] [9] [10] y
[11]. Gran parte de los ms recientes desarrollos de nuevos mtodos los han
aportado investigadores en matemticas de China, y son ellos quien en el momento
se han adelantado para establecer tcnicas que permiten generalizar sistemas de
leyes de conservacin ya existentes.


1. PRINCIPIO DEL MXIMO-LEYES DE CONSERVACIN HIPERBLICA

Evans en [6], hace una clara introduccin a las ecuaciones parablicas,
operadores parablicos y al principio del mximo dbil y fuerte, en particular Murray
y otro en [12] estudia el principio del mximo para ecuaciones diferenciales
ordinarias y pasa al principio del mximo para ecuaciones diferenciales parciales
parablicas. En especial Landis [13] hace una profunda y elegante presentacin de
este tipo de ecuaciones.

Lu [7], hace una breve y precisa introduccin a los sistemas de leyes de
conservacin y define los invariantes de Riemann.


2. CALCULO DE ESTIMACIONES A PRIORI

Se puede garantizar la existencia de soluciones viscosas locales suaves en L

, y
para tal fin, ver el teorema 1.0.2 en Lu [7] y en el captulo 10, usa el mtodo de las
regiones invariantes para garantizar la existencia de soluciones del sistema con las
condiciones acotadas medibles enunciadas en (2).

2
1
( )
2
( ( ))
t xx
x
t x xx
u u f v u
v uv g v v
c
c

| |
+ + =
|
\ .

+ + =

(3)
UNVERSDAD MLTAR NUEVA GRANADA
Ciencia e Ingeniera Neogranadina, Vol 21-1
119

Estimaciones a priori, usando el principio de mximo. Se estima cotas para las
soluciones de (2), por lo tanto, convertiremos el problema de encontrar la solucin de
(2), en el problema de encontrar la solucin de una ecuacin parablica asociado al
problema hiperblico planteado para (2). Esta forma de atacar el problema es lo que
se conoce como encontrar soluciones viscosas a un sistema de ecuaciones
diferenciales, que para este caso en especial, usar el principio del mximo para
ecuaciones parablicas. Considerando el sistema (3), con las condiciones acotadas
medibles enunciadas en (2) y suponiendo, para , f g que:

A.
| )
( )
| )
( )
| )
' '
3 2 2
1 1
, 0, y 0, , 0,
f g
v v
f g C f C g C e = e = e
Satisface
1
, con f d d R > e , y:

' '
1 1 1 1
' '
1 1 1 1
2 ( ) 0, para 0
2 ( ) 0, para 0
f g s g v
f g s g v
+ + > >
+ > >


Donde:
2
1 1 1
4 . s g f = +

B.
0 0
y u v acotadas y medibles,
0
0 v > .

Existen funciones que cumplen las condiciones en A, por ejemplo: si se toma
1 1
( ) , ( )
l m
f v md g k v e = + = + donde , , , , k d l e m son constantes positivas y e d > y l m >
se puede verificar que
1 1
, f g satisfacen dichas condiciones.

El siguiente teorema establece la existencia de soluciones globales suaves para el
sistema (2).

Teorema 1. Para un 0 c > , el problema de Cauchy (3), con las condiciones de (2) y
suponiendo que cumple las condiciones de A y B, tiene solucin nica global suave
( ( , ), ( , )) u x t v x t
c c
que satisface:

( , ) , 0 ( , ) u x t M v x t M
c c
s s s

Donde M es una constante positiva independiente de c .

Demostracin: El sistema (1) se puede escribir como

0
t x
U dFU + = (4)
SOLUCN AL SSTEMA GENERAL DE ECUACONES DE EULER PARA UN FLUDO COMPRESBLE
Adrian Ricardo Gmez Plata 120
Donde
2 2
( , ) ,
T
U u v F R R = = ,
2
1
: ( , ) ( ), ( )
2
x
F u v u f v uv g v
| |
+ +
|
\ .
y

'
'
( )
( )
u f v
dF
v u g v
| |
=
|
+
\ .


Para calcular los valores propios de esta matriz dF , se hace det( ) 0 dF I = , de
donde al resolver

2 2 2
1 1 1
2 (3 ) ( ) 0 u vg u uvg v f + + =

Se tiene

1 1 1 1
1 2
2 ( ) 2 ( )
,
2 2
u vg v vs u vg v vs

+ + +
= =


Resolviendo los siguientes sistemas de ecuaciones respectivamente,
| | | |
1 2
0 y 0 dF I dF I = = se obtiene que los vectores propios a derecha de
1 2
, que son:
1 1 1 1 2 1 1 1
( 2 , ) , (2 , )
T T
r f s g r f s g = = +

Al calcular los invariantes de Riemann, es decir, al resolver
2 1
. 0 y . 0 wr z r V = V = Se
obtiene:
1 1 1 1
0 0
, z
2 2
v v
g s g s
w u u
+
= + = +
} }


Calculando , , , ,
v u uu uv vv
w w w w w ; , , , ,
v u uu uv vv
z z z z z tenemos

1 1 1 1
0 0
,
2 2
v v
u u
g s g s
w u z u
u u
| | | |
+ c c
= + = +
| |
c c
\ . \ .
} }



1 1
0
2
v
v
g s
w u
v
| |
+ c
= +
|
c
\ .
}
,
1 1
0
2
v
v
g s
w u
v
| |
c
= +
|
c
\ .
}


' ' ' '
1 1 1 1 1 1 1 1
1 1
( ) 2 ( ) 2
,
2 2
vv vv
g g s f g s g f
w z
s s
+ + +
= =
UNVERSDAD MLTAR NUEVA GRANADA
Ciencia e Ingeniera Neogranadina, Vol 21-1
121

0, 0, 0, 0
uu uv uu uv
w w z z = = = =

Multiplicando el sistema (3) por ( , ) ( , )
u v
z u t z z V = , tenemos ( )
t x
z U dFU U c V + = A , si
1
zdF z V = V , encontramos:

2 2
1
( , )( , ) ( 2 )
t x u v xx xx xx uu x uv x x vv x
z z z U z z u v z z u z u v z v c c c c + = V A = = + +

Remplazando , ,
uu uv vv
z z z encontramos:
' '
2 2 1 1 1 1
1
1
( ) 2
( )
2
t x xx vv x xx x
g s g f
z z z z v z v
s
c c c c
| | +
+ = =
|
\ .


Si
' '
1 1 1 1
1
2 ( )
0, 0
2
f g s g
v
s
+
> > , entonces
1 t x xx
z z z c + s (5)


Multiplicando el sistema (3) por ( , ) ( , )
u v
w u t w w V = , tenemos ( )
t x
w U dFU U c V + = A , si
2
wdF w V = V , encontramos:

2 2
2
( , )( , ) ( 2 )
t x u v xx xx xx uu x uv x x vv x
w w w U w w u v w w u w u v w v c c c c + = V A = = + +

Remplazando , ,
uu uv vv
w w w encontramos:
' '
2 2 1 1 1 1
2
1
2 ( )
( )
2
t x xx vv x xx x
f g g s
w w w w v w v
s
c c c c
| | + +
+ = =
|
\ .


Si
' '
1 1 1 1
0, 2 ( ) 0 v f g g s > + + > , entonces

2 t x xx
w w w c + s (6)

Tomando (5) y (6) as:
1
( ) ( ) ( )
t x xx
z z z c + > (7)
2 t x xx
w w w c + s (8)

Al considerar las desigualdades (7) y (8) con variables en y w z , por el principio
del mximo se puede conseguir estimaciones
SOLUCN AL SSTEMA GENERAL DE ECUACONES DE EULER PARA UN FLUDO COMPRESBLE
Adrian Ricardo Gmez Plata 122

( , ) , z( , ) w u v M u v M
c c c c
s >

y por lo tanto
( , ) , 0 ( , ) u x t M v x t M
c c
s s s

para una constante positiva M que depende de la norma L

en los datos inciales.

3. CONCLUSIONES

Los sistemas de asociados a fluidos comprensibles como en (2), se dicen sin fuente,
que se puede tratar de generalizar este tipo de sistemas, colocando un trmino
adicional as:
2
1
2
1
( ) ( , ) 0
2
( ( )) ( , ) 0
t
x
t x
u u f v g u v
v uv g v g u v
| |
+ + + =
|
\ .

+ + + =

(11)

La idea en este caso, es encontrar soluciones globales de (11), guiados en el
trabajo que Yan y otros realizan en [10] [11] y [14], usando la informacin
suministrada en dichos artculos, se puede buscar soluciones dbiles al sistema (11);
de hecho, Lu en [7], encuentra soluciones dbiles al sistema (2), basados en
mtodos de compacidad compensada.

Por otra parte, es importante decir que son diversas las aplicaciones de este
sistema. Por ejemplo: la fsica e ingeniera resuelven diversas manifestaciones del
sistema para resolver problemas aplicados particulares; pero lo cierto es que cada
aplicacin es un reto diferente porque, aunque se puede garantizar la existencia de
soluciones en la mayora de aplicaciones, no se puede decir con certeza que se
puede establecer soluciones explcitas o implcitas por los mtodos clsicos y es por
esto, que es posible encontrar muchos artculos numricos que resuelven casos muy
concretos relacionados a este tipo de sistemas.


REFERENCIAS BIBLIOGRFICAS

[1] Plaza C. R., (2011). Sistemas hiperblicos de leyes de conservacin. En
preparacin. http://www.fenomec.unam.mx/ramon/publications.html

[2] vila C.A., Horta H.J., and Castaeda L., (2010). Ecuacin de Euler
unidimensional. En: Revista colombiana de fsica, 42, N.3 pp. 252-256.
UNVERSDAD MLTAR NUEVA GRANADA
Ciencia e Ingeniera Neogranadina, Vol 21-1
123

[3] Bassi. F., and Rebay. S., (1997). High-order accurate discontinuous finite
element solution of the 2D Euler equations. n: Journal of computational
physics, 138, pp. 251-285.

[4] Chung Chang S., (1995). The method of space-time conservation element and
solution element-A new approach for solving the navier-stokes and Euler
equations. n: Journal of computational physics, 119, pp. 295-324.

[5] Maldonado W., y Moreira H., 2006. Solving Euler equations: classical methods
and the
1
C contraction mapping method revisited. En: Revista Brasileira de
Economa, 60, N.2, pp. 167-178.

[6] Evans Lawrence, (1998). Partial differential equation. Vol 19, American
Mathematical Society.

[7] Lu Yuguang, (2002). Hyperbolic conservations laws and the compensated
compactos method. 128, Chapman and Hall, New York.

[8] Tsuge N., (2008). Global solutions to the compressible Euler equations with
gravitational source. n: Journal of hiperbolic differential equations, Vol 5, N.2,
pp. 317-346.

[9] Gui-Qiang G. Chen and Perepelitsa M., (2010). Vanishing viscosity limit of the
Navier-Stokes equations for compressible fluid flow. Communications on Pure
and Applied Mathematics, 63, N.11 pp. 1469-1504.

[10] Yan, J. Zhixin, C. Ming, T. (2007). Conservations Laws : Weak Solutions, En:
Revista Colombiana de Matemticas, Vol. 41, pp. 91-106.

[11] Yan, J. Zhixin, C. Ming, T. 2007. Conservations Laws : Relaxation limit, En:
Revista Colombiana de Matemticas, Vol. 41, N 1, pp. 107-115.

[12] Protter M. H., Weinberger H. F., (1999). Maximum principles in differential
equations. Ed. Springer.

[13] Landis E. M., (1997). Second order equations of elliptic and parabolic type.
American Mathematical Society. Vol. 171.

[14] Yan J., Zhixin C., and Ming T., (2007). Conservations Laws : Viscosity
Solutions, En: Revista Colombiana de Matemticas, Vol. 41, pp. 81-90.