i

LEYES DE CONSERVACI

ON HIPERB

OLICA
CON T

ERMINOS DE RELAJACI

ON STIFF Y
ENTROP

IA
Dionicio Pastor Dallos Santos
C odigo: 830253
Trabajo de grado para optar al ttulo de
Magister en ciencias matematicas.
Dirigido por:
Leonardo Rend on Arvel aez
UNIVERSIDAD NACIONAL DE COLOMBIA
FACULTAD DE CIENCIAS
DEPARTAMENTO DE MATEM

ATICAS
Bogota D.C., 2010
Resumen
Se estudiara el comportamiento de sistemas hiperbolicos de leyes de conservaci on con
terminos de relajaci on sti y entropas reduciendo sistemas viscosos y no viscosos de
leyes de consevaci on. Una condici on de entropa es introducida al sistema N N que
asegura la hiperbolicidad del sistema no viscoso, la disipatividad del termino viscoso
(termino de regularizaci on), la interrelaci on de las velocidades caractersticas del sistema
de equilibrio local de aproximaci on y el sistema original, las cuales son importantes para
establecer estabilidad al sistema de equilibrio local de aproxmaci on.
ii
Introducci on
Considerando:
u
t
+f(u)
x
= 0. (1)
Donde u = (u
1
, u
2
, ..., u
n
) IR
n
, n 1 y (x, t) IR [0, +). Se asume que la funcion
f C
2
en un subconjunto abierto convexo S de IR
n
y, adem as, que su primera derivada
correspondiente a la matriz jacobiana en cada u S tiene n valores propios reales
diferentes, por lo tanto diagonalizable. Estas ecuaciones o sistema, es llamado leyes de
conservacion, estrictamente hiperbolico.
Sistemas de la forma (1) surgen en muchas areas de las ciencias fsicas. Por ejemplo en
mec anica de uidos, teora cinetica de gases, elasticidad con memoria y en ondas linea-
les y no lineales. Una de las dicultades para solucionar estas ecuaciones diferenciales
parciales son la existencia de soluciones discontinuas, presentadas por fenomenos fsicos
(choques), lo que lleva a considerar soluciones generalizadas o en el sentido de las distri-
buciones.
El metodo usado para buscar soluciones debiles es el de entropas y terminos de relaja-
ci on.
Para su estudio se considera el sistema de evolucion de ecuaciones diferenciales parciales
de la forma:
U
t
+F(U)
x
+
1

R(U) = 0; (x, t) IR [0, +) (2)

Donde U = U(x, t) toma valores en la adherencia de un subconjunto abierto convexo de
iii
iv
IR
N
. La cantidad es el tiempo de relajacion siendo muy peque no en muchas situaciones
fsicas. Asumiendo que el sistema es hiperb olico, es decir, para todo U = U(x, t), la
matriz
U
F(U), tiene N valores propios reales y diferentes.
Asociandole al sistema (2) un termino de relajacion Q, el cual es dado por una matriz
constante de n N con rango n < N, tal que,
QR(U) = 0, para todo U O.
En adicion, se asume que cada orbita tiene un equilibrio local , el cual es unicamente
determinado por u = QU que representa la variable conservativa. Relacionando el sistema
(2) con el termino de relajacion Q, toma la siguiente forma:
u
t
+f(u)
x
= 0, (3)
donde U = (u) y f(u) QF((u)). El sistema (3) es llamado sistema de equilibrio local
aproximado. De esta forma, estudiarlo es el resultado de analizar el sistema (2), el cual
es revisado a traves de la nocion de entropa que caracteriza ciertos tipos de estabilidad.
Sistemas fsicos de la forma (2) existen y son de gran importancia en muchas ramas de
la fsica, por ejemplo en teora de gases [8] y ondas lineales y no lineales [9]. Veamos un
ilustrativo ejemplo de un sistema 22, considerado el p-sistema de leyes de conservaci on:
u
t
+v
x
= 0, (4)
v
t
+p(u)
x
+
1

(v f(u)) = 0.
Donde:
U = (u , v)
T
, F(U) = (v , p(u))
T
, R(U) = (0 , v f(u))
T
Q = (1 , 0) , (u) = (u , f(u))
T
.
Se asume que cada orbita U = (u , v)
T
( = 0) tiene un equilibrio (u), el cual es
determinado unicamente por la cantidad conservada u. Multiplicando el sistema (4) por
el termino de relajaci on Q y tomando U = (u), obtenemos:
u
t
+f(u)
x
= 0,
v
que es llamado sistema de equilibrio local aproximado y que por naturaleza propia os-
tenta el car acter de hiperb olico. Por lo anterior, tiene sentido buscar el primer orden de
correcci on (termino de regularizacion), es decir, sea (u

, v

)
T
una familia de funciones
parametrizada por que soluciona el sistema:
u

t
+v

x
= 0, (5)
v

t
+p(u

)
x
+
1

(v

f(u

)) = 0.
Considerando una expansion para v

en la forma:
v

= f(u

) +v

1
+
2
v

2
+...,
donde la dependencia de en cada v

k
se presenta solo a traves de u

y sus derivadas.
Sustituyendo la expansion, en la ecuaci on (5) se encuentra con la siguiente identidad:
u

t
+f(u

)
x
= O(), (6)
f(u

)
t
+p(u

)
x
+v

1
= O().
Ahora, reemplazando el valor de u
t
en la segunda ecuaci on (6) se obtiene:
(p

(u

) f

(u

)
2
)u

x
+v

1
= O(), (7)
luego, una forma sencilla para satisfacer esta relaci on es:
v

1
= (p

(u

) f

(u

)
2
)u

x
. (8)
De esta manera, tomando como referencia la ecuaci on (5) y la ecuaci on (8) se obtiene
que el primer orden de correccion para el equilibrio local de aproximacion es de la forma:
v

= f(u

) (p

(u

) f

(u

)
2
)u

x
, (9)
u

t
+f(u

)
x
= ((p

(u

) f

(u

)
2
)u

x
)
x
.
Si observamos, el sistema de equilibrio local aproximado puede ser visto como el lmite
de (5) en un sentido riguroso.

Indice general
1. Preliminares 1
1.1. Deniciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
2. Estructura para sistemas generales 4
3. Estructura para sistemas 2 2 18
Bibliograa 24
Indice 25
vi
Captulo 1
Preliminares
1.1. Deniciones
Denici on 1 Un sistema n n de leyes de conservacion es un sistema de la forma:
u
t
+f(u)
x
= 0. (1,1)
Donde u = (u
1
, u
2
, ..., u
n
) IR
n
, n 1 y (x, t) IR[0, +) es considerada la variable
conservativa. Se asume que la funcion f C
2
en un subconjunto abierto convexo S de
IR
n
y, ademas, su primera derivada correspondiente a la matriz jacobiana en cada u S
tiene n valores propios reales diferentes, por lo tanto, diagonalizable.
Suponiendo que u es soluci on cl asica del sistema (1.1) y v : IR (0, +) IR
n
una
funci on innitamente diferenciable de soporte compacto, multiplicando el sistema (1.1)
por v e integrando por partes, obtenemos la siguiente igualdad:

+
0

u
t
v +f(u)
x
vdxdt =

+
0

uv
t
+f(u)v
x
dxdt = 0. (1,2)
Esta identidad, en la que se supone u como solucion cl asica, tiene sentido si es simple-
mente acotada y medible.
Denici on 2 Decimos que u L

(IR [0, +); IR

n
) es una solucion integral (distri-
bucional) del sistema (1.1), si la igualdad (1.2) se tiene para toda v.
1
CAP

ITULO 1. PRELIMINARES 2
Debido a que la nocion de solucion integral para el sistema (1.1) no garantiza soluciones
unicas, ver [2] y [3], e interesados en tener requerimientos adicionales que garanticen una
denici on generalizada y completa del sistema de leyes de conservaci on, se denen los
siguientes terminos:
Denici on 3 Una funcion dos veces diferenciable : S IR es llamada una entropa
para el sistema (1.1), si
(i)
uu
(u)
u
f(u) es simetrica para todo u S.
(ii)
uu
(u) 0 para todo u S .
La condicion (i) es llamada la condici on clasica para leyes de conservaci on hiperbolica.
Esta asegura la existencia de un ujo de entropa, es decir, existe una funci on dos veces
diferenciable : S IR tal que, para todo u S

u
(u)
u
f(u) = (u). (1,3)
Luego, suponiendo que la funcion u es solucion cl asica de (1.1), se tiene:
(u)
t
+(u)
x
= D
u
(u)u
t
+D
u
(u)u
x
(u)
t
+(u)
x
= D
u
(u)f(u)
x
+D
u
(u)u
x
(u)
t
+(u)
x
= D
u
(u)D
u
f(u)
x
u
x
+D
u
(u)u
x
(u)
t
+(u)
x
= 0.
Esto quiere decir que la cantidad satisface una ley de conservacion respectivamente con
su ujo . Ahora bien, teniendo en cuenta que el sistema (1.1) de leyes de conservaci on
hiperb olico ignora efectos de varios mecanismos disipativos, entre ellos la viscocidad, se
permite establecer la posibilidad de soluciones discontinuas. Esto permitir a considerar
la siguiente desigualdad:
(u)
t
+(u)
x
0. (1,4)
CAP

ITULO 1. PRELIMINARES 3
Esta es llamada la desigualdad de entropa, la cual nos permite armar, no solo que
evoluciona de acuerdo a su ujo, sino tambien, que puede sufrir fuertes aumentos a lo
largo de los choques.
Por lo tanto, tomando (1.4), multiplicando por v C

c
(IR (0, +); IR
n
), v 0 e
integrando, obtenemos:

+
0

(u)v
t
+(u)v
x
dxdt 0. (1,5)
Denici on 4 Decimos que u L

(IR [0, +); IR

n
) es una solucion de entropa del
sistema (1.1), si u es una solucion integral y, ademas, satisface la desigualdad (1.5) para
cada par de entropas (, ) y toda v.
Captulo 2
Estructura para sistemas generales
Considerando el sistema general N N de leyes de conservacion de la forma:
U
t
+F(U)
x
+
1

R(U) = 0; (x, t) IR [0, +) (2,1)

Donde U = U(x, t) representa el vector densidad de variables fsicas basicas, espacio-
tiempo, el cual toma valores en

O la clausura de un conjunto convexo abierto de IR
N
.
El vector ujo F : O IR
N
es una funci on dos veces diferenciable, la cual determina
la tasa de cambio del vector densidad U en O. R = R(U) es una funci on denida sobre
O IR
N
, la cual es invariante bajo el movimiento:
U
t
+
1

R(U) = 0, (2,2)
tal que este tiene n cantidades conservadas independientes.
Asumiendo que el sistema (2.1) es estrictamente hiperb olico, es decir, que para toda
U O la matriz
U
F(U) de N N tiene N valores propios reales y diferentes.
Denici on 5 Denimos el termino de relajacion como el operador:
Q : IR
N
IR
n
,
donde Q representa la matriz de n N constante de rango n < N, tal que QR(U) = 0
para todo U O.
4
CAP

ITULO 2. ESTRUCTURA PARA SISTEMAS GENERALES 5

Asumiendo, que cada orbita tiene un equilibro , el cual es determinado unicamente por
la variable u = QU, que representa n cantidades conservadas y es dado de la siguiente
forma:
: S O; donde S QO IR
n
.
Tal que:
(i) Q(u) = u para todo u S .
(ii) Q
u
(u) = I para todo u S.
Teniendo en en cuenta que (ii) implica que para todo u S, la matriz P(u)
u
(u)Q
es una proyeccion (P
2
= P) sobre el espacio tagente de , la cual constituye la variedad
local de equilibrio sobre IR.
Multiplicando el sistema (2.1) por el termino de relajaci on Q, y tomando (u) = U
obtenemos:
(QU)
t
+QF(U)
x
= 0, (2,3)
donde puede ser simplicado realizando u = QU, es decir,
u
t
+f(u)
x
= 0. (2,4)
Con f(u) QF((u)), el cual representa la funci on ujo, observamos que este representa
un sistema de leyes de conservaci on denominado sistema de equilibrio local aproximado;
ahora, teniendo en cuenta que este sistema no necesariamente es hiperbolico, asumire-
mos por el momento que corresponde a un sistema hiperbolico, esto para construir un
estimativo que nos permita conocer soluciones del sistema (1.1).
La validez del equilibrio local de aproximacion sugiere, que la cantidad conservada u
puede ser usada como coordenada para un conjunto de funciones de densidad U invariante
o aproximadamente invariante para la evolucion (2.1), es decir sea una U

= M

(u)
familia de funciones parametrizadas por que solucionan el sistema:
CAP

ITULO 2. ESTRUCTURA PARA SISTEMAS GENERALES 6

M

(u)
t
+F(M

(u))
x
+
1

R(M

(u)) = 0. (2,5)
Considerando una expansion formal de M

(u) in la forma:
M

(u) = (u

) +M
(1)
(u

) +
2
M
(2)
(u

) +..., (2,6)
asumiendo diferenciabilidad, denotamos la derivada de Frechet de M respecto a u por
D
u
M(u).
Multiplicando el sistema aproximado (2.5) por el termino de relajaci on Q, se obtiene que
u

satisface el sistema:
u

t
+QF(M

(u))
x
= 0, (2,7)
por lo tanto la evoluci on de U

es:
U

t
= D
u
M(u

)
u

t
= D
u
M(u

)QF(M(u

))
x
,
remplazando en el sistema (2.5), obtenemos:
D
u
M(u

)QF(M(u

))
x
+F(M(u

))
x
+
1

R(M(u

)) = 0,
(I D
u
M(u

)Q)F(M(u

))
x
+
1

R(M(u

)) = 0. (2,8)
Sustituyendo la expansi on en la ecuacion (2.5), el termino (2.6) en la ecuaci on (2.8),
relizando c alculos y estableciendo que nos interesa construir el primer orden de correcci on
para el sistema local de equilibrio aproximado (termino de regularizaci on), obtenemos:
(I D
u
M

(u)Q)F(M

(u))
x
+
1

R(M

(u)) = 0,
(I
u
(u

)Q)F((u

))
x
+
U
R((u

))M
1
(u

) = 0,
QM

(u) = u

. (2.9)
De las ecuaciones (2.9) deducimos que M
(1)
(u) es relacionado de la siguiente forma:

U
R((u

))M
(1)
(u

) = b(u

), QM
(1)
(u

) = 0. (2,10)
CAP

ITULO 2. ESTRUCTURA PARA SISTEMAS GENERALES 7

Teorema 1 Asumiendo que la Im(
U
R()) = Ker(Q) y Ker(
U
R()) Ker(Q) = 0.
Entonces el sistema (2.10) tiene una unica solucion si y solo si Qb = 0 con b = 0.
Prueba. Primero probaremos que la hipotesis Im(
U
R()) = Ker(Q) y Ker(
U
R())
Ker(Q) = 0 implica que IR
N
= Ker(
U
R()) Ker(Q). Del teorema de la dimencion
dim(Im(
U
R())) +dim(Ker(
U
R())) = N
dim(Im(Q)) +dim(Ker(Q)) = N.
Entonces dim(Im(Q)) = dim(Ker(
U
R())) y en consecuencia
dim(Ker(
U
R())) +dim(Ker(Q)) = N.
Ahora, de la ultima igualdad y Ker(
U
R()) Ker(Q) = 0, si B y B

son bases res-

pectivamente para Ker(
U
R()) y Ker(Q), entonces B B

es una base para IR

N
. De
aqu se sigue que IR
N
= Ker(
U
R()) Ker(Q). A continuaci on probamos el resulta-
do central: ) Como Im(
U
R()) = Ker(Q), entonces b Ker(Q) y en consecuencia
Qb = 0.( Para el recproco:) ) Supongamos que Qb = 0, entonces b Ker(Q) y por
lo tanto b Im(
U
R()). Entonces, existe J IR
N
, tal que
U
R()J = b. Ahora como
b = 0, se sigue que J / Ker(
U
R()) y como IR
N
= Ker(
U
R()) Ker(Q), entonces
necesariamente J Ker(Q), y de aqu podemos armar que QJ = 0. Para ver la uni-
cidad, supongamos que existe J

IR
N
tal que satisface las ecuaciones, pero entonces
tendramos que:

U
R()(J J

) = 0 y Q(J J

) = 0
De aqu (J J

) Ker(
U
R()) Ker(Q) = 0 y por lo tanto J = J

.
Tomando, b(u

) = (I P(u

))F((u

))
x
y llamando a esta solucion unica de la forma:
M
(1)
(u

) = (
U
R((u

))
1
b(u

), (2,11)
obtenemos:
u

t
+QF(M

(u))
x
= 0
u

t
+QF((u

) +M
(1)
(u

))
x
= 0
CAP

ITULO 2. ESTRUCTURA PARA SISTEMAS GENERALES 8

u

t
+QF((u

))
x
+Q
U
F((u

))(M
(1)
(u

))
x
= 0
u

t
+f(u

)
x
= Q
U
F((u

))(M
(1)
(u

))
x
QM
(1)
(u

)(
U
F((u

)))
x
u

t
+f(u

)
x
= (Q
U
F((u

))M
(1)
(u

))
x
Por lo tanto:
U

= M

(u) = (u) [
U
R((u))
1
(I P(u))F((u))
x
],
u
t
+f(u)
x
= [Q
U
F((u))(
U
R((u)))
1
(I P(u))F((u))
x
]
x
. (2.12)
Donde el termino de lado derecho de la igualdad (2.12) es llamado el primer orden de
correcci on (termino de regularizacion) para el sistema local de equilibrio (2.4), encontra-
mos soluciones del sistema local de equilibro aproximado como el lmite de las soluciones
del sistema (2.12), cuando tiende a cero, todo esto justicado por el siguiente criterio
de estabilidad.
Denici on 6 Una funcion dos veces diferenciable : O IR es llamada una entropa
para el sistema (2,1) si
(i)
UU
(U)
U
F(U) es simetrica para todo U O
(ii)
U
(U)R(U) 0 para todo U O
(iii) Para U O se tiene los siguientes resultados equivalentes
(a) R(U) = 0
(b)
U
(U)R(U) = 0 para todo U O
(c)
U
(U) = vQ para alg un v IR
n
(iv)
UU
(U) 0 para todo U O.
Una funcion de entropa se dice que es convexa si
UU
(U)R(U) 0 para todo U O
y estrictamente si la desigualdad es estricta.
Observaci on 1 La existencia de una funcion dos veces diferenciable : O IR, co-
nocida como el ujo de entropa satisface la siguiente condicion:

U
(U)
U
F(U) =
U
(U), para todo U O.
CAP

ITULO 2. ESTRUCTURA PARA SISTEMAS GENERALES 9

Observaci on 2 Si U es solucion clasica del sistema (2.1), entonces
(U)
t
+ (U)
x
+
1

U
(U)R(U) = 0.
Pues,
(U)
t
+ (U)
x
=
U
(U)U
t
+
U
(U)U
x
,
remplazando U
t
y aplicando la igualdad
U
(U)
U
F(U) =
U
(U), obtenemos el resul-
tado.
Observaci on 3 Teniendo en cuenta que la matriz
UU
(U)
U
F(U) es simetrica para
todo U O y estrictamente convexa, entonces los valores propios son determinados
por los valores crticos del cociente de Rayleigh
R(W;
UU
(U)
U
F(U)) =
W
T

UU
(U)
U
F(U)W
W
T

UU
(U)W
, para W IR
N
.
Observaci on 4 La condicion (ii) de la denicion de entropa establece que el termino
de relajacion es disipativo respecto a , ademas junto con la condicion (iii) caracterizan
el eqilibrio local en terminos de y Q.
Denici on 7 Si es una funcion de entropa estrictamente convexa. Denimos el dual
de Legendre de como la aplicacion

: O

IR,
donde O

= {V IR
N

: V =
U
(U), para alg un U O}.
Nota 1: y

satisface (U) +

(V ) = V U, con U O, V O

por lo tanto U y
V est an relacionados como:
U =
V

(V ), V =
U
(U) (2.13)
Deniendo,
S

= {v IR
n

: vQ = V, para alg un V O},

luego,
CAP

ITULO 2. ESTRUCTURA PARA SISTEMAS GENERALES 10

U =
V

(V ) =
V

(vQ), para alg un v S

,
u = QU = Q
V

(V ) = Q
V

(vQ) =
v

(v), para alg un v S

, donde:

(v) =

(vQ).
Proposicion 1 Si

es esrictamente convexo, entonces

es estrictamente convexo.
Prueba. Teniendo en cuenta, que
v

(v) = Q
V

(vQ) tenemos:

vv

(v) = Q
V V

(vQ)Q
T
> 0.
Por lo tanto denimos el dual de

como:
: S

IR,
donde S

= {u IR
n
: u =
v

(v), para alg un v S

}.
Proposicion 2 Los conjuntos S y S

son equivalentes.
Prueba. Teniedo S = {u IR
n
: u = QU, para alg un U S},
S = {u IR
n
: u = Q
V

(vQ), para alg un v S

}.
La contenencia S

S es evidente de la denici on de S

.
Por otro lado, si u S, entonces existe un unico U O tal que, u = QU y (u) =

(V ), multiplicando a ambos lados la matriz Q obtenemos el resultado.

As, denimos el doble dual como la aplicacion : S IR tal que:
(u) +

(v) = vu,
donde u =
v

(v) y v =
u
(u).
De esta forma el equilibrio local y est an caracterizados por:
(u) =
V

(V ) =
V

(vQ) =
V

(
u
(u)Q). (2.14)
CAP

ITULO 2. ESTRUCTURA PARA SISTEMAS GENERALES 11

(u) = vu

(v)
(u) = v
v

(v)

(v)
(u) = vQ
V

(vQ)

(vQ)
(u) = (
V

(vQ))
(u) = ((u)). (2.15)
Si observamos es justamente la resticcion de a la variedad local de equilibrio, adem as
est an relacionados de la siguiente manera.
Teniendo en cuenta que:
(u) = (QU) = ((u)) y diferenciando obtenemos:

U
((u)) =
u
(u)Q,
(
u
(u))
T

UU
((u)) =
uu
(u)Q.
Multiplicando a ambos lados por Q
T
y debido a que la matriz
uu
(u) es simetrica se
tiene la siguiente relaci on:
(
u
(u)Q)
T

UU
((u)) = Q
T

uu
(u)Q
(P(u)
T

UU
((u)) = Q
T

uu
(u)Q
(P(u)
T

UU
((u)) =
UU
((u))P(u). (2.16)
Esto implica que P(u) es una proyecci on ortogonal sobre el espacio tangente a la variedad
local de equilibro de dimencion n, con respecto al producto interno
UU
((u)).
Asumiendo la existencia de una entropa estritamente convexa para el sistema (2,1)
tenemos los siguientes teoremas de estabilidad.
Teorema 2 (Maximo - Mnimo) Sea A una matriz simetrica n n, si los valores
propios se ordenan en forma creciente
1

2
...
k
...
n
, entonces para todos los
sub-espacios S
k
de dimension k
CAP

ITULO 2. ESTRUCTURA PARA SISTEMAS GENERALES 12

m ax
xS
k
x
T
Ax
x
T
x

k
, esto implica mn
S
k
m ax
xS
k
x
T
Ax
x
T
x

k
Observaci on 5 El teorema tambien arma que si,
1

2
...
k
...
n
, entonces
mn
xS
k
x
T
Ax
x
T
x

k
, esto implica m ax
S
k
mn
xS
k
x
T
Ax
x
T
x

k
.
Observaci on 6 El teorema se compone de igualdad cuando S
k
= gen{
1
,
2
, ...,
k
}, es
decir:
mn
S
k
m ax
xS
k
x
T
Ax
x
T
x
=
k
Teorema 3 El sistema de equilibrio local aproximado
u
t
+f(u)
x
= 0,
es hiperbolico respecto a la entropa estrictamente convexa y a su respectivo ujo de
entropa
(u) = ((u)), (u) = ((u));
Ademas, los valores propios son deteminados por los valores crticos de la restriccion de
cociente de Rayleigh
R(w;
UU
()
U
F()) =
W
T

UU
()
U
F()W
W
T

UU
()W
, W =
u
(u)w con w IR
n
.
Prueba. Primero veriquemos que (, ) satisface las condiciones de entropa
(i)
uu
(u)
u
f(u) =
uu
(u)Q
U
F((u))
u
(u),
= (
u
(u))
T

UU
((u))
U
F((u))
u
(u), para todo u S.
As,

u
(u)
u
f(u) =
u
(u)Q
U
F((u))
u
(u)
=
U
((u))
U
F((u))
u
(u)
=
U
((u))
u
(u)
=
u
((u))
=
u
((u)), para todo u S.
CAP

ITULO 2. ESTRUCTURA PARA SISTEMAS GENERALES 13

(ii)
uu
(u) =
uu
(u)Q
u
(u) = (
u
(u))
T

UU
((u)
u
(u)), para todo u S.
De esta forma, los valores propios son determinados por los valores crticos del cociente
de Rayleigh
R(w;
uu
(u)
u
f(u)) =
w
T

uu
(u)
u
f(u)w
w
T

uu
(u)w
, w IR
n
.
=
w
T
(
u
(u))
T

UU
((u))
U
F((u))
u
(u)w
w
T
(
u
(u))
T

UU
((u))
u
(u)w
R(w;
UU
()
U
F()) =
W
T

UU
()
U
F()W
W
T

UU
()W
, W =
u
(u)w, w IR
n
. (2.17)
Por lo tanto, los valores propios del sistema local de equilibrio aproximado son determi-
nados, como los valores crticos de la restricci on del cociente de Rayleigh para el sistema
(2.1) sobre el espacio tangente de la variedad local de equilibio.
Teorema 4 Sea
1

2
, ...
i
, ...
N
los valores propios relacionados con el
sistema (2.1), donde
i
=
i
((u)) para i = 1, 2, ..., N y
1

2
, ...
j
, ...
n
los
valores propios relacionados con el sistema local de equlibrio aproximado con
j
=
j
(u),
entonces para todo, j = 1, 2, ..., n
j

j

Nn+j
.
Prueba. Por el teorema del maximo - mnimo tenemos que si
j
es un valor propio
relacionado al sistema local de equilibrio y S
j
= gen{
1
,
2
, ...,
j
}, donde
k
es el vector
propio correspondiente a
k
para k = 1, 2, ..., j, luego

j
= m ax
wS
j
w
T

uu
(u)
u
f(u)w
w
T

uu
(u)w
= m ax
wS
j
W
T

UU
()
U
F()W
W
T

UU
()W

j
.
Por otro lado, consideramos S
nj+1
= gen{
j
,
j+1
, ...,
n
}, luego,

j
= mn
wS
nj+1
w
T

uu
(u)
u
f(u)w
w
T

uu
(u)w
= mn
wS
nj+1
W
T

UU
()
U
F()W
W
T

UU
()W

Nn+j
.
Observaci on 7 Si N n = 1, entoces
j

j

j+1
.
Denici on 8 Un termino de regularizacion (R

) se dice que es conservativo (en el

lmite 0) si:
CAP

ITULO 2. ESTRUCTURA PARA SISTEMAS GENERALES 14

lim
0

+
0

vdxdt = 0, v C

c
(IR (0, +); IR
n
), v 0. (2,18)
Denici on 9 Un termino de regularizacion (R

) se dice que es disipativo respecto a la

entropa (en el lmite 0) si:
lim sup
0

+
0

u
(u)R

vdxdt 0, v C

c
(IR (0, +); IR
n
), v 0. (2,19)
Teorema 5 El primer orden de correccion es localmente disipativo respecto a la entropa
, y tiene la forma:
u
t
+f(u)
x
= [g(u)
uu
(u)u
x
]
x
, (2.20)
donde g(u) es denido por:
g(u) = S(u)L(u)
1
S(u)
T
, (2.21)
con
L(u)
1
(
UU
()
U
R())
1
,
S(u) Q
U
F()(I P(u),
es no negativo.
Prueba. La prueba se realizara en tres pasos.
(1) Mostremos que el primer orden de correcci on (termino de regularizaci on) es dado
por (2.20).
Teniendo,
(
U
R((u)))
1
(I P(u))F((u))
x
= (
UU
((u))
U
R((u)))
1

UU
((u))(I P(u))F((u))
x
= (
UU
((u))
U
R((u)))
1
(I P(u))
T

UU
((u))F((u))
x
= L(u)
1
(I P(u))
T

UU
((u))F((u))
x
CAP

ITULO 2. ESTRUCTURA PARA SISTEMAS GENERALES 15

= L(u)
1
(I P(u))
T

UU
((u))
U
F((u))
u
(u)u
x
= L(u)
1
(I P(u))
T

U
F((u)
T

UU
((u))
u
(u)u
x
= L(u)
1
(I P(u))
T

U
F((u))
T
Q
T

uu
(u)u
x
= L(u)
1
S(u)
T

uu
(u)u
x
.
Sustituyendo esta identidad en la formula (2.12) se obtiene el resultado.
(2) Veamos que g(u) es no negativo, para ello vericamos que:

UU
()
U
R() + (
UU
()
U
R())
T
0,
en el sentido de las distribuciones. Pero esto se sigue de la condici on (iv) de la
denici on de entropa que establece:

U
(U)R(U) 0, para todo U O,
en particular tenemos la igualdad cuando U = , es decir:

U
()R() = 0,
lo cual implica

UU
(
U
(U)R(U)) |
U=
0.
Donde

UU
(
U
(U)R(U))

U=
=
UU
()
U
R() + (
UU
()
U
R())
T
(3) Probemos que el termino de regularizacion es disipativo respecto a la entropa .
Teniendo en cuenta que el termino de regulaizacion es dado por:
u
t
+f(u)
x
= [g(u)
uu
(u)u
x
]
x
,
y asumiendo que (u = u

) es solucion soluci on clasica del sistema (2.20), tenemos:

(u)
t
+(u)
x
=
u
(u)[g(u)
uu
(u)u
x
]
x
(2.22)
= (
u
(u)g(u)
uu
(u)u
x
)
x
u
T
x

uu
(u)g(u)
uu
(u)u
x
.
CAP

ITULO 2. ESTRUCTURA PARA SISTEMAS GENERALES 16

Suponiendo que u, u
x
converge a 0 cuando |x| y {u

}
0<<1
uniformemente
acotada en L

, despreciando terminos de frontera y w

T

uu
(u)g(u)
uu
(u)w
k |g(u)
uu
(u)w|
2
, para un k jo k > 0 y w IR
n
.
Integrando (2.22) sobre la lnea recta y el intervalo [0, )

+
0

(u)
t
+(u)
x
dxdt
=

+
0

(
u
(u)g(u)
uu
(u)u
x
)
x
dxdt

+
0

u
T
x

uu
(u)g(u)
uu
(u)u
x
dxdt,
por lo tanto

+
0

k |g(u)
uu
(u)u
x
|
2
dxdt

+
0

u
T
x

uu
(u)g(u)
uu
(u)u
x
dxdt,
de esta forma, concluimos

+
0

|g(u)
uu
(u)u
x
|
2
dxdt C con C > 0.
Luego para v C

c
(IR (0, +); IR
n
), v 0,

+
0

u
(u)[g(u)
uu
(u)u
x
]
x
vdxdt (2.23)
=

+
0

(
u
(u)g(u)
uu
(u)u
x
)
x
vdxdt

+
0

u
T
x

uu
(u)g(u)
uu
(u)u
x
vdxdt,
analizando la primera integral

+
0

(
u
(u)g(u)
uu
(u)u
x
)
x
vdxdt

+
0

|
u
(u)| |g(u)
uu
(u)u
x
| |v
x
| dxdt
M

+
0

|g(u)
uu
(u)u
x
| |v
x
| dxdt
Mv
x

L
2
(

+
0

|g(u)
uu
(u)u
x
|
2
dxdt)
1
2
N v
x

L
2
.
Por consiguiente, el primer termino de la integral (2.23) tiende a 0 cuando 0 y
CAP

ITULO 2. ESTRUCTURA PARA SISTEMAS GENERALES 17

el segundo es no negativo, debido a que g(u) y v son positivos, por lo tanto tenemos
el resultado.
Captulo 3
Estructura para sistemas 2 2
Consideremos el sistema general 2 2 de leyes de conservaci on, de la forma:
U
t
+F(U)
x
+
1

R(U) = 0; (x, t) IR [0, +) (3,1)

donde,
U = (u , v)
T
, F(U) = (f
1
(u, v) , f
2
(u, v))
T
, R(U) = (0 , r(u, v))
T
P(u) =

1 0
e

Q = (1 , 0) , (u) = (u , e(u))
T
Asumiendo el sistema (3.1) hiperbolico, los valores propios no triviales relacionados al
sistema son:

+

1
2
(
u
f
1
+
v
f
2
+

(
u
f
1

v
f
2
)
2
+ 4
v
f
1

u
f
2
), (3.2)

1
2
(
u
f
1
+
v
f
2

(
u
f
1

v
f
2
)
2
+ 4
v
f
1

u
f
2
).
De acuerdo al sistema (3.1) se puede escribir, como:
u
t
+f
1
(u, v)
x
= 0, (3.3)
v
t
+f
2
(u, v)
x
+
1

r(u, v) = 0,
tomando el termino de relajaci on r(u, v) = v e(u).
18
CAP

ITULO 3. ESTRUCTURA PARA SISTEMAS 2 2 19

En general nosotros asumimos solo que para cada u S el vector v tiene un unico
equilibrio estable v = e(u) que satisface
r(u, e(u)) = 0,
v
(r(u, e(u)) > 0. (3,4)
Respecto al sistema (3.3) la primera ecuaci on representa una ley de conservaci on, en
cuanto a la segunda representa una ecuacion de velocidad.
Luego el equilibrio local aproximado esta dado por:
u
t
+f(u)
x
= 0, (3,5)
donde la funci on ujo f es simplemente f(u) f
1
(u, e(u)). Y ademas su valor propio es:

u
f(u)
u
(f
1
(u, e(u))) =
u
f
1
(u, e(u)) +
v
f
1
(u, e(u))e

(u). (3,6)
Por su naturaleza la ecuacion (3.5) resulta hiperb olica, adem as, teniendo en cuenta el
resultado general (observaci on 7) en cual se establece la relacion existente entre los valores
propios del sistema inicial y los del sistema local de equilibrio aproximado tenemos:

+
. (3,7)
De la ecuaci on (2.12) obtenemos que el primer orden de correccion es simplemente
u
t
+f(u)
x
= (g(u)u
x
)
x
, (3,8)
donde
g(u) =

v
f
1
(
u
f
2
+ (
v
f
2

u
f
1
)e

v
f
1
e

2
)

v
r
, v = e(u). (3,9)
Teorema 6 Sea una entropa estrictamente convexa para el sistema local de equilibrio
aproximado (3.5). El primer orden de correccion es disipativo respecto a la entropa si y
solo si el criterio de estabilidad (3.7) se satisface.
CAP

ITULO 3. ESTRUCTURA PARA SISTEMAS 2 2 20

Prueba. Teniendo en cuenta que g(u) est a dado por la ecuacion (3.9) y el primer orden
de correccion por (3.8), mostrar que el termino de regularizacion es disipativo respecto
a la entropa es necesario y suciente mostrar que g(u) es no negativo.
Como

+

1
2
(
u
f
1
+
v
f
2
+

(
u
f
1

v
f
2
)
2
+ 4
v
f
1

u
f
2
),

1
2
(
u
f
1
+
v
f
2

(
u
f
1

v
f
2
)
2
+ 4
v
f
1

u
f
2
),

u
f
1
(u, e(u)) +
v
f
1
(u, e(u))e

(u),
luego
(
+
)(

) =
+
+

2
=
u
f
1

v
f
1
e

+
v
f
2

v
f
1
e

+
v
f
1

u
f
2

v
f
2
1
e

2
=
v
f
1
(
u
f
2
+ (
v
f
2

u
f
1
)e

v
f
1
e

2
).
Es decir,
g(u) =

v
f
1
(
u
f
2
+ (
v
f
2

u
f
1
)e

v
f
1
e

2
)

v
r
=
(
+
)(

v
r
.
Por lo tanto la no negatividad de g(u) es equivalente al criterio (3.7), ya que
v
r(u, v) > 0.
Teorema 7 Sea una entropa estrictamente convexa para el sistema local de equilibrio
aproximado (3.5). Asumiendo
v
f
1
(u, e(u)) = 0 para todo u S y el criterio estricto
de estabilidad (3.7) se tiene. Entonces existe un par de entropas estrictamente convexa
para el sistema (3.1) sobre un conjunto abierto O

O que contiene la curva local de

equilibrio v = e(u) y que satisface
(u, e(u)) = (u), (u, e(u)) = (u).
Prueba. Si es una entropa para (3.1) esta debe satisfacer las condiciones (i)-(iv) de
la denicion (6), la cual establece:
CAP

ITULO 3. ESTRUCTURA PARA SISTEMAS 2 2 21

(i)
u
f
2

vv
(
v
f
2

u
f
1
)
uv

v
f
1

uu
= 0, (u, v) O

. (3.10)
(ii)
v
(u, v)r(u, v) 0 para todo (u, v) O

.
(iii) Para (u, v) O

, los siguientes enunciados son equivalentes

(a) r(u, v) = 0
(b)
v
(u, v)r(u, v) = 0
(c) v = e(u), para alg un u S.
(iv) Para todo (u, v) O

vv
> 0,
uu

vv
(
uv
)
2
> 0. (3,11)
Teniendo en cuenta la condici on (iv) de la denicion de entropa y la (3.4), es necesario
para que se cumplan los enunciados (ii) y (iii) la siguiente condici on:

v
(u, e(u)) = 0. (3,12)
Si observamos (3.12) y teniendo en cuenta la condicion (iv), aseguramos que para cual-
quier u S jo la aplicacion v
v
(u, v) tiene un cero en el punto v = e(u) y no mas;
de forma similar tenemos con la aplicacion v r(u, v). As, como ambas funciones son
localmente crecientes en v = e(u), obtenemos las condiciones (ii) y (iii).
Por lo tanto dado una entropa estrictamente convexa para el sistema local de equilibrio
aproximado (3.5), debemos mostrar que existe una = (u, v) entropa para el sistema
(3.1) que satisface la condiciones anteriores.
Debido a la condici on estricta (3.7) y
v
f
1
(u, e(u)) = 0, tenemos:
(
+
)(

)=
v
f
1
(
u
f
2
+ (
v
f
2

u
f
1
)e

v
f
1
e

2
) = 0, lo cual implica que

u
f
2
+ (
v
f
2

u
f
1
)e

v
f
1
e

2
= 0. (3,13)
Pero esta es exactamente la condici on que establece que la curva v = e(u) es una curva
no caracterztica, para la ecuaci on (3.10). Teniendo en cuenta la condicion (3.2), tenemos
CAP

ITULO 3. ESTRUCTURA PARA SISTEMAS 2 2 22

que la ecuacion (3.10) es una ecuaci on de entropa hiperb olica de segundo orden, con
datos consistente en la forma:
(u) = (u, e(u)),
v
(u, e(u)) = 0. (3,14)
As, existe una solucion (u, v), sobre un conjunto abierto que contiene la curva de
equilibrio.
Por otra parte, si tomamos las ecuaciones (3.14) y las derivamos respecto a u, se obtienen
las siguientes identidades:

uu
(u, e(u)) +
uv
(u, e(u))e

(u) =
uu
(u),

uv
(u, e(u)) +
vv
(u, e(u))e

(u) = 0. (3.15)
Despejando de la primera ecuaci on (3.15) el termino
uu
y de la segunda ecuaci on
(3.15) el termino
uv
y al sustituirla en la ecuaci on de entropa (3.10) obtenemos:

u
f
2

vv
+
v
f
2

vv
e

u
f
1

vv
e

v
f
1

vv
e
2

v
f
1

vv
= 0,

v
f
1

vv
(
u
f
2
+ (
v
f
2

u
f
1
)e

v
f
2
e
2
)
vv
= 0, con v = e(u).
Multiplicando a ambos lados por el termino
v
f
1
, tenemos:
(
+
)(

)
vv
= (
v
f
1
)
2

uu
, v = e(u).
As, teniendo en cuenta el criterio estricto (3.7) y la convexidad estricta de , tenemos
que
vv
> 0, con v = e(u).
Por otra parte, sabiendo que:
(
+
)(

) =
v
f
1
(
u
f
2
+ (
v
f
2

u
f
1
)e

v
f
1
e

2
)
=
(
v
f
1
(
vv
)
2
(
u
f
2
(
vv
)
2
(
v
f
2

u
f
1
)
vv

uv

v
f
1
(
uv
)
2
)
=

v
f
1
(
vv
)
2
(
vv
(
u
f
2

vv
(
v
f
2

u
f
1
)
uv
)
v
f
1
(
uv
)
2
)
=

v
f
1
(
vv
)
2
(
vv

v
f
1

uu

v
f
1
(
uv
)
2
)
CAP

ITULO 3. ESTRUCTURA PARA SISTEMAS 2 2 23

=
(
v
f
1
)
2
(
vv
)
2
(
vv

uu
(
uv
)
2
), v = e(u).
De esta forma deducimos que
vv

uu
(
uv
)
2
> 0, sobre v = e(u). Por lo tanto, la
aplicaci on es estrictamente convexa sobre la curva de equilibrio, entonces por conti-
nuidad tenemos que esta satisface la condicion sobre un conjunto abierto que contiene a
la curva de equilibrio, tal conjunto es llamado O

.
Bibliografa
[1] Gui-Qiang Chen, C. D. Levermore and T.-P. Liu, Hiperbolic conservations laws with
sti relaxation terms and entropy, Comm. Pure Appl. Match, 1994.
[2] Lawrence C. Evans, Partial Dierential Equations, American Studies in Mathematics,
1998.
[3] J. Smoller, Shock waves and reaction - diusion equations, Springer Verlag, Berlin -
Heidelberg - New York, 1983.
[4] Frid, H, Compacidade compensad aplicada as leis de conservacao. Coloquio 19 Bra-
silero de Matematica. Conselho National de Desenvolvimento Cientco e Tecnologico.
IMPA.
[5] Michael E. Taylor, Partial Dierential Equations. Springer Verlag, New York, 1996.
[6] Gui-Qiang Chen, Relaxation Limit for Conservation Laws, Z. Angew. Math. Mech,
1996.
[7] Gui-Qiang Chen. Concentration in Solutions to Hiperbolic Conservation Laws. De-
partament of Mathematics Northwestern University Evanston, 2003.
[8] Cerecignani, C. The Boltzmann Equation and Its Applications, Springer - Verlag,
New York, 1988.
[9] Whitham, G. B, Linear and Nonlinear Waves, Wiley, New York, 1974.
24

Indice alfabetico
orbita, 5
conservativa, 1
conservativo, 13
convexa, 8
dagonalizable, 1
desigualdad de entropa, 3
disipativo, 14, 15
distribucional, 1
entropa, 2, 8, 20, 21
estrictamete hiperbolico, 4
evoluci on, 6
ujo de entropa, 2, 8
Frechet, 6
funci on ujo, 5
hiperb olica, 19
hiperb olico, 18
Legendre, 9
ley de conservacion, 19
poyecci on, 5
primer orden de correcci on, 8
proyeccion ortogonal, 11
Rayleigh, 9, 12, 13
relajacion, 5, 6, 18
sistema de equilibrio local aproximado, 5
soluc on de entropa, 3
Teorema M aximo - Mnimo, 11
variedad, 5
25