Escolar Documentos
Profissional Documentos
Cultura Documentos
Guillermo, Enrique
Ao de um sistema Restrito
Juiz de Fora
2017
Guillermo, Enrique
Ao de um sistema Restrito
Juiz de Fora
2017
Ficha catalogrfica elaborada atravs do Modelo Latex do CDC da UFJF
com os dados fornecidos pelo(a) autor(a)
Aleman, Guillermo.
Ao de um sistema Restrito / Guillermo, Enrique . 2017.
72 f. : il.
Ao de um sistema Restrito
Aprovada em:
BANCA EXAMINADORA
Professor Dr.
Universidade Federal de Juiz de Fora
Professor Dr.
Universidade Federal de Alfenas
Dedico este trabalho a minha me e a minha irm, por serem minha maior motivao e
inspirao.
AGRADECIMENTOS
X Conjunto aberto em Rk
QD Funo de fluxo em D
S k1 Esfera de dimenso k 1
F Frente de choque
T VX f Variao total de f em X
M Medida de Radon
f
g] Composio normalizada de g e f
1 Ao de um Sistema Restrita . . . . . . . . . . . . . . . . . . . . 12
1.1 A receita . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
1.1.1 Generalizao Geral de Receitas . . . . . . . . . . . . . . . . . . . . . . 14
I L(s) 15
II s 17
1.2 Reduo a Equaes de Campo . . . . . . . . . . . . . . . . . . . . . . . 19
1.3 Sistemas de Leis de Balano . . . . . . . . . . . . . . . . . . . . . . . . 20
1.4 Lei de Balano Companheira . . . . . . . . . . . . . . . . . . . . . . . . 21
1.5 Frente Fraca e Frente de Choque . . . . . . . . . . . . . . . . . . . . . . 23
1.6 Solues de Variao Limitada de Sistemas de Leis de Balano . . . . . 24
REFERNCIAS . . . . . . . . . . . . . . . . . . . . . . . . . . . 62
1 Ao de um Sistema Restrita
Enquanto a funo lagrangiana pode muitas vezes ser escrita como a diferena
entre energia cintica e energia potencial, L = T U , esta regra no universal. Existem
muitos sistemas bastante simples em que no funcionam. Tomemos, por exemplo, um
pndulo matemtico num plano, ver Fig. 1. claro que a diferena.
1
T U = m(x2 + y 2 ) mgy (1.1)
2
1.1 A receita
Substituio na Eq.(1.1) d a ao
1 x x
Z r
S[x] = dt[ m(1 ( )2 )1 x2 + mgl 1 ( )2 ] (1.2)
2 l l
g x x(x)2
r
x + x 1 ( )2 + 2 =0 (1.3)
l l l (1 ( xl )2 )
12
x
Na aproximao de pequenos deslocamentos l
<< 1 isto reduz-se conhecida equao de
oscilaes harmnicas.
g
x + x = 0 (1.4)
l
Vamos discutir a receita do ponto de vista geomtrico. Posies possveis do pndulo
esto no crculo (subespao unidimensional do plano) x2 + y 2 = l2 . Na vizinhana do
ponto (0, l) que nos interessa, a varivel x pode ser tomada como uma coordenada do
subespao. Portanto, a receita consiste na restrio da funo Lagrangeana sem restries
no subespao.
importante notar uma liberdade implicada pela receita. Primeiro, somos livres
para escolher a parametrizao do subespao. Tomemos, por exemplo, o ngulo como
uma coordenada. Ento as equaes paramtricas do crculo so x = l sin ,y=-lcos .
Eles resolvem a restrio, ento podem ser usados em (1.1). Isso d um lagrangiano
em termos de
1
L() = ml2 (2 + mgl cos
2
, (1.5)
E a equao de movimento
g
+ sin
l
=0 (1.6)
Gi (q a ) = 0i = 1, 2, ........, n k (1.7)
Gi (q a )
rank =nk (1.8)
q b
Suponha tambm que na ausncia de restries o sistema pode ser descrito por o
Lagrangeano L(q a , q a ). Para escrever um Lagrange do sistema constrangido, escolha algu-
mas coordenadas (parametrizao) s , = 1, 2, ......., k na superfcie, e escrever equaes
paramtricas da superfcie
q a = q a (s ) (1.9)
L(s , s ) L(q a (s ), q a (s ))
(1.10)
(S[s]) d (L(s)
(s ) d (s
Parte I
L(s)
15
Parte II
s
17
=0 = 1, 2, ..........., k(1.11)
hp uma bijeo;
hp e h1
p so funes contnuas de Lipschitz;
hp ( Br (p)) = B 0 ;
hp ( Br (p)) = B + ;
Uma lei de balano sobre X postula que a produo de uma certa quantidade
extensiva em qualquer domnio prprio D de X balanceada pelo fluxo desta quantidade
atravs da fronteira D de D.
Uma caraterstica sobressalente de uma quantidade extensiva, que tanto sua produo
como seu fluxo so aditivos sobre subconjuntos disjuntos. Assim, a produo no domnio
prprio D dada pelo valor P(D) de uma medida de Radon (com sinal) P em X (veja
Apndice B). Similarmente, com cada domnio prprio D est associada uma funo de
conjuntos aditiva contvel QD , definida sobre os subconjuntos de Borel de D, tal que o
fluxo dentro ou fora de D atravs de qualquer subconjunto de Borel C de D dado por
QD (C ). Assim, a lei de balano simplesmente diz que
Teorema 1.3 (A). Considere a lei de balano (1.12) sobre X onde P uma medida de
Radon com sinal e QD induzida atravs de (1.2), pela funo densidade de fluxo qD (que
limitada), |qD (X)| C, para todo domnio prprio D e qualquer ponto X D. Ento,
divA = P (1.17)
no sentido de distribuies em X .
Definio 1.5. Um campo Lipschitz contnuo U que satisfaz (1.20) em quase todo ponto
de X ser chamado uma soluo clssica. Um campo mensurvel U que satisfaz (1.20)
no sentido das distribuies, i.., G(U (X), X) e (U (X), X) so localmente integrveis e
Z
[G(U (X), X)grad(X) + (X)(U (X), X)]dX = 0, (1.21)
X
com
h(U, X) = B(U, X)T (U, X) + Q(U, X) B(U, X)T G(U, X). (1.24)
para alguma funo , definida em O X e tomando valores em M1k . Neste caso ento
satisfaz (1.25) tomando B(U, X) = U , que induz a companheira
Por outro lado, se (1.22) valido para algum B com a propriedade que, para cada X X
fixado, B(, X) aplica difeomorficamente O em algum subconjunto aberto O de Rn . Ento
a mudana U = B(U, X) do vetor estado, reduz (1.20) ao sistema equivalente de lei de
balano simtrico
divG (U (X), X) = (U (X), X), (1.28)
onde
De fato, ao fazer
Q (U , X) = Q(B 1 (U , X), X), (1.30)
(U , X) = U T G (U , X) Q (U , X), (1.31)
de onde deduzimos que a seguinte Condio de Salto deve ser satisfeita em cada ponto X
da frente de choque F :
[G(U+ , X) G(U , X)]N = 0. (1.36)
Comparando (1.37) com (1.34), conclumos que uma frente fraca pode ser considerada
como uma frente de choque com fora infinitesimal: |[[U ]]| muito pequeno.
N
F
+
-
Definio 1.11. Uma funo escalar localmente de variao limitada num subconjunto
aberto X de Rk , se L1loc (X ) e grad uma medida de Radon M = (M1 , . . . , Mk )
em X , i..
Z Z
div (X)dX = (X)dM (X), (1.38)
X X
24
1Z
lim sup |(X + hE ) (X)|dX = |M |(Y ), = 1, , k, (1.40)
h0 h Y
para qualquer conjunto aberto limitado Y com Y X . Por outro lado, se Lloc
1 (X )
e o lado esquerdo de (1.40) for finito para todo Y como acima, ento BVloc (X ).
Observao 1.14. Quando k=1, o teorema anterior reduz-se ao Teorema de Helly. (veja
[23]).
1 Z
lim k |(X) 0 |dX = 0. (1.41)
r0 r
Br (X)
1 Z
lim |(X) + |dX = 0, (1.42)
r0 rk
Br+ (X)
25
1 Z
lim k |(X) |dX = 0, (1.43)
r0 r
Br (X)
onde Br+ (X) = Br (X){X : (X X)N > 0} e Br (X) = Br (X){X : (X X)N < 0}.
Alm disso, J contvel retificvel, i.e., ele essencialmente coberto pela unio contvel
de variedades C 1 (k 1)-dimensionais {Fi } includos em Rk :H k1 (J \ Fi ) = 0. Alm
disso, quando X J Fi ento N normal a Fi em X.
(c) I = X \ (C J ).
Por razes tcnicas, as demonstraes dos teoremas 1.12, 1.13 e 1.15 no sero
apresentadas aqui, as demonstraes detalhadas destes teoremas podem ser encontradas
no livro [1].
grad(g ) = (Dg
^ )grad, (1.46)
no sentido
Z Z
g((X))div(X)dX = (Dg
^ )(X)(X)dM (X), (1.47)
X X
Observao 1.19. Os conjuntos com fronteira de Lipschitz tem permetro finito. Isto
significa que podemos reformular a teoria de leis de balano usando os conjuntos que tem
permetro finito.
[DG(Ue (X), X), gradU (X)] + G(Ue (X), X) = (Ue (X), X), (1.48)
Teorema 1.21. Suponha que o Sistema de leis de balano (1.20) est dotado com uma
lei de balano companheira (1.23). Seja U BVloc (X ) L (X ) uma soluo fraca de
(1.20). Ento, a medida
As demonstraes dos teoremas 1.20 e 1.21 podem ser consultadas no livro [9].
28
2.1 Hiperbolicidade
t H(U (x, t), x, t) + divG(U (x, t), x, t) = (U (x, t), x, t). (2.1)
Definio 2.1. O Sistema (2.1) chamado hiperblico na direo do tempo se, para
qualquer U fixo em O, (x, t) X e S m1 , a matriz DH(U, x, t) (de ordem n n)
no singular e o problema de autovalor
" m #
X
DG (U, x, t) DH(U, x, t) R = 0, (2.2)
=1
Observao 2.2. Note que se F uma frente de choque para U , ento (1.36) pode ser
escrita com as respectivas notaes como
Suponha que o Sistema (1.20), que agora escrevemos na forma (2.1), est associado
com uma leis de balano companheira (1.23). Denotaremos Qk = , e usaremos Q para
denotar o vetor m-linha (Q1 , , Qm ) e escrever (1.23) na nova notao:
t (U (x, t), x, t) + divQ(U (x, t), x, t) = h(U (x, t), x, t). (2.5)
Aqui chamado entropia para o Sistema de lei de balano (2.1) e Q chamado de fluxo
de entropia associado com . A Equao (1.22), para = k, deve agora ser escrita como
Suponha que o sistema est na forma cannica (2.3), de modo que (2.6) se reduz a D = B T .
Ento, (1.22) e a condio de integrabilidade (1.25) tornam-se
Temos que (2.8) impe 12 n(n 1)m condies na nica funo desconhecida . Portanto,
como j foi observado na ltima seo do captulo anterior, o problema de determinar o par
entropia-fluxo de entropia no trivial para (2.1) formalmente determinado, a menos que
ou n = 1 e m arbitrria, ou n = 2 e m = 1. No entanto, quando o sistema simtrico,
podemos satisfazer (2.8) com = 12 |U |2 . Por outro lado, se temos como hiptese (2.8) e
que (U, x, t) uniformemente convexa em U , ento a mudana U = D(U, x, t)T de vetor
estado, torna o sistema simtrico. Assim, os sistemas de lei de balano na forma cannica
(2.3), que esto dotados de uma entropia convexa, so necessariamente hiperblicos. Como
exemplo, podemos ver que a lei de balano simples (n = 1)
sempre hiperblica. Qualquer funo (u, x, t) pode servir como entropia, com fluxo
entropia associado e produo de entropia computadas por
Z u
G
Q= du, (2.10)
u u
m
" #
X G Q
h= + + . (2.11)
=1 u x x u t
A Lei de conservao escalar homognea (2.9), e suas verses unidimensionais (m = 1),
serviro como modelos para o desenvolvimento da teoria de sistemas gerais.
A mesma anlise pode ser estendida de forma rotineira a sistemas hiperblicos gerais de
leis de balano, onde a varivel espacial x toma valores em Rm e o tempo t toma valores
em [0, T ) para algum T > 0 ou possivelmente T = . O vetor estado U toma valores
em algum subconjunto aberto O de Rn e G = (G1 , , Gm ) uma funo suave de O
a Mnm . O Sistema (2.12) hiperblico quando, para todo U O fixo e S m1 , a
matriz n n
m
X
(; U ) = DG (U ) (2.13)
=1
31
Definio 2.3. Uma soluo clssica de (2.12) uma funo localmente lipschitziana U ,
definida em Rn [0, T ) e tomando valores em O, que satisfaz (2.12) em quase todo ponto.
Esta funo resolve o problema de Cauchy, com dado inicial Uo , se tambm satisfaz (2.14)
para todo x Rm .
Vamos supor agora que o Sistema (2.12) possui a entropia com fluxo de entropia
Q, com a relao
Neste caso, qualquer soluo clssica de (2.12) satisfaz a lei de conservao adicional
Teorema 2.4. Suponha que (2.12) um sistema hiperblico com velocidades caracte-
rsticas 1 (; U ) n (; U ) que possui a entropia (U ) associada com o fluxo de
entropia Q(U ). Suponha que U (x, t) uma soluo clssica de (2.12) em Rm [0, T ), com
dado inicial (2.14), onde U0 constante no semi-espao {x Rm : U0 (x) = U , x
0 para algum S m1 }. Alm disso, suponha que D2 (U ) definida positiva. Ento,
para qualquer t [0, T ), U (x, t) = U sempre que x n (; U )t.
Definio 2.5. Uma soluo fraca para (2.12), uma funo U localmente limitada e
mensurvel definida em Rm [0, T ) e tomando valores em O que satisfaz (2.12) no sentido
das distribuies. Ou seja, para toda funo teste de Lipschitz C0 , com suporte
compacto em Rm [0, T ) e valores em M1n
m
Z TZ " # Z
X
t U + G (U ) dxdt + (x, 0)U0 (x)dx = 0. (2.17)
0 Rm =1 Rm
Teorema 2.6. Seja U uma soluo fraca limitada de (2.12) em [0, T ) tal que, para
qualquer t [0, T ) fixo, U (, t) BV (Rm ) e T VRm U (, t) V , para todo t [0, T ). Ento,
t U (, t) Lipschitz contnua em L1 (Rm ) em [0, T ),
Demonstraes detalhadas dos teoremas 2.4 e 2.6 podem ser consultadas em [9].
Observao 2.7. Para as solues BVloc do Sistema (2.12), que esto na forma cannica,
a condio de salto de Rankine-Hugoniot (2.4) se escreve como
onde Sm1 .
Observao 2.8. Estender a noo de soluo clssica a soluo fraca introduz uma nova
dificuldade: no unicidade. Para ver isso, veja o seguinte:
dotado com uma entropia , associado com o fluxo entropia Q, satisfazendo (2.15). Uma
soluo fraca de (2.12), definida em Rm [0, T ), satisfaa o Critrio de Admissibilidade
da Entropia relativo a , se
Observao 2.9. Claramente, toda soluo clssica de (2.12) admissvel desde que
satisfaz (2.16). Alm disso, o critrio de admissibilidade da entropia induz uma condio
de irreversibilidade nas solues: se U (x, t) uma soluo fraca admissvel de (2.12) que
satisfaz (2.23) como uma desigualdade estrita, ento U = U (x, t), que soluo, no
admissvel.
Uma questo natural : Como se pode designar uma entropia apropriada para o
critrio de admissibilidade?. desejvel que o critrio de admissibilidade induzido pela
entropia designada deve ser compatvel com as condies de admissibilidade induzidas
pelos critrios alternativos, introduzidos posteriormente. Como veremos, os requisitos
acima referidos so satisfeitos quando a entropia designada (U ) convexa. Precisamos ter
em mente que a convexidade uma propriedade relevante da entropia somente quando o
sistema estiver em forma cannica. No caso geral, a convexidade de deve ser substituda
pela condio de que a derivada DB(U, x, t) da funo B(U, x, t) em (2.6) definida
positiva.
Observao 2.10. Sempre que uma soluo admissvel U de classe BVloc , o Teorema
1.21 implica que a medida de produo de entropia est concentrada no conjunto de pontos
de descontinuidade de salto aproximada de U , i.., nas frentes de choque. Neste caso, a
Desigualdade (2.23) reduz-se condio local (1.51), que na presente notao assume a
forma
s[(U+ ) (U )] + [Q(U+ ) Q(U )] 0. (2.24)
Nesta seo apresentaremos dois exemplos clssicos sobre leis de balano numa
dimenso espacial. Os exemplos apresentados podem ser consultados com mais detalhe
em [9]. Exemplos interessantes podem ser consultados em [7] e em [19].
t u + x f (u) = 0. (3.2)
Se o Sistema (3.6) estritamente hiperblico, ento vamos ter associado a cada au-
tovalor i os autovetores direito e esquerdo associados Ri (U ) Rn e Li (U ) respectivamente
tais que:
Li DF (U ) = i Li , DF (U )Ri = i Ri , i = 0, 1, 2, . . . , n (3.8)
normalizados por:
1, if i = j,
Li (U )Rj (U ) = (3.9)
0, if i 6= j.
Daqui em diante vamos reservar as notaes i , Ri e Li para estes objetos. Assim, para o
Sistema (3.5) temos que
dx
= i (U (x, t)). (3.13)
dt
Nesta seo apresentaremos uma frmula explcita para computar o par entropia-
fluxo de entropia. As referncias usadas so [9] e [19].
Adaptando a discusso da Seo 2.2 nas condies atuais, inferimos que as funes
e q em O constituem um par entropia-fluxo de entropia para o Sistema (3.6) se
D2 (U )DF (U ) = DF (U )T D2 (U ), U O. (3.15)
Rj (U )T D2 (U )Rk (U ) = 0, j, k = 1, , n; j 6= k (3.16)
DF (U )T = DF (U ), U O, (3.18)
1
= |U |2 , q = U F (U ) h(U ), (3.19)
2
37
1
= h(U ), q = |F (U )|2 , (3.20)
2
onde h definido pela condio
Dh(U ) = F (U )T . (3.21)
Assim, os sistemas (3.3) e (3.5) esto dotados com os seguintes pares de entropia-fluxo de
entropia, respectivamente
= s, q = 0, (3.22)
1 Z u
= v 2 + e(u), q = v(u), e(u) = ()d, (3.23)
2
Di (U )Ri (U ) 6= 0, (3.24)
Di (U )Ri (U ) = 0. (3.25)
No contexto das solues clssicas, a Lei de conservao escalar (3.2), com veloci-
dades caractersticas = f 0 (u), toma a forma
Em virtude de (3.26), u permanece constante ao longo das caractersticas e isso, por sua
vez, implica que cada caracterstica se propaga com velocidade constante, i.., uma linha
reta. Os sistemas hiperblicos do tipo (3.6) das leis de conservao admitem solues
especiais com as mesmas caractersticas:
t + x = 0. (3.30)
Definio 3.8. Na vizinhana de qualquer ponto (x, t) no domnio de U , vamos dizer que
a i-onda simples uma i-rarefao se x (x, t) > 0 (se a i-caracterstica diverge), ou uma
i-compresso se x (x, t) < 0 (se a i-caracterstica converge).
Definio 3.9. Uma Curva de Onda da i-rarefao no espao estado Rn , para o Sistema
hiperblico (3.6), uma curva U = Vi (.), onde a funo Vi satisfaz (3.32) e (3.33).
t U + x F (U ) = 0, (3.36)
Definio 3.11. Quando (3.37) valido, dizemos que o estado U , esquerda, est unido
ao estado U+ , direita, por um choque de velocidade s. O salto U+ U a amplitude e
seu mdulo |U+ U | a fora do choque. Os choques estabelecidos sem restrio da fora
de choque, so chamadas de choques fortes. Quando a fora de choque possui a restrio:
|U+ U | < , com dependendo unicamente do mdulo das primeiras derivadas dos i e
Ri , o choque chamado de fora moderada; enquanto que tambm depende do mdulo
das segundas derivadas, o choque denominado um choque fraco.
onde
Z 1
A(V, U ) = DF ( U + (1 )V )d. (3.39)
0
1
Si (V, U ) = Ri ( (V + U )) + O(|V U |2 ). (3.41)
2
Suponha que para um choque de fora moderada
s = i (U , U+ ), (3.42)
U+ U = Si (U , U+ ). (3.43)
O conjunto de pontos U no espao de estado Rn que pode ser unido a um ponto fixo
U por um choque chamado o Locus de Hugoniot de U . Ele tem uma estrutura geomtrica
simples na vizinhana de qualquer ponto U de hiperbolicidade estrita do sistema.
si (0) = i (U ), (3.44)
1
si (0) = Di (U )Ri (U ), (3.45)
2
Wi (0) = Ri (U ), (3.46)
onde k (x, t) e (t) so funes C 1 tais que |k | < a e | | < a, para algum a 1.
Como F (U ) = F (U ) + DF (U )(U U ) na vizinhana de U , e Rk (U ) so autovetores
6 st + (t), se, para
de DF (U ) com autovalor k (U ), U de (3.49) satisfaz (3.36), para x =
k = 1, , n,
t k (x, t) + k (U )x k (x, t) = 0, x < st + (t)
(3.50)
t k+ (x, t) + k (U+ )x k+ (x, t) = 0, x > st + (t),
43
pelo teorema da funo implcita fcil mostrar que (3.51) determina de jeito nico
a 1 , , i1
+
, j+1 , , n+ e . Sob esta condio, uma soluo U da forma (3.49)
determinada unicamente pela prescrio dos dados iniciais k (x, 0), e o choque
denominado evolutivo.
Um choque que satisfaz (3.48) com i < j chamado sob compressivo. No caso que o
choque satisfaz (3.48) com i > j, o choque chamado sub compressivo. No entanto, quando
choques desse tipo surgem nas aplicaes, as condies de salto de Rankine-Hugoniot
so complementadas com equaes da forma G(U , U+ , s) = 0, denotadas como relaes
cinticas, que tornam a soluo nica.
As condies (3.48) excluem choques que viajam com velocidade caracterstica mas
tais choques existem. Em particular, qualquer choque que une U ( esquerda) com U+ (
direita) e viajando com velocidade s ser chamado de i-descontinuidade de contato esquerdo
se s = i (U ), uma i-descontinuidade de contato direita se s = i (U+ ) e simplesmente
uma i-descontinuidade contato se s = i (U ) = i (U+ ).
44
i (U+ ) s i (U ), (3.54)
f 0 (u+ ) s f 0 (u ), (3.55)
Lembrando (3.15), (3.16) e o Teorema 3.12, conclumos que quando a entropia convexa,
(3.59) ser sempre vlida para i-choques fracos; ela tambm ser satisfeita para choques
de fora moderada quando as curvas de choque se estendem nesse regime; e pode mesmo
servir para choques fortes, sempre que Wi e Wi U seguem apontando perto direo
de Ri .
46
Uma demonstrao detalhada do Teorema 3.16 feita por Liu, pode ser consultada
em [18].
47
t U + x F (U ) = 0, (4.1)
no sentido das distribuies. De fato, se U dado por (4.2) e C uma funo teste
com suporte compacto em (, ) (0, ), ento
Z Z
[t (x, t)U (x, t) + x (x, t)F (U (x, t))]dxdt
0
Z (4.4)
= { ()[F (V ()) V ()] ()V ()}d,
onde
Z
() = (t, t)dt, < < . (4.5)
0
Z
[F (V ()) V ()] [F (V ()) V ()] = V ()d, (4.6)
para todo e em (, ).
onde A a matriz n n
Z 1
A= [sDF (V ()) + (1 s)DF (V ())]ds. (4.10)
0
49
Di (V ())V () = 1. (4.12)
para qualquer par (, ) de pontos de continuidade de V com i1 < < < i+1 (onde
0 = e n+1 = ).
Fixando pontos de continuidade e , com i1 < < < i+1 , de (4.6) e de (4.9)
temos que
Z
[DF (U ) i (U )I][V () V ()] = O()[V () V ()] [V () V ()]d, (4.14)
escrevemos
n
X
V () V () = ak Rk (U ). (4.15)
k=1
portanto,
T V[i ,i ] V (.) Li (U )[Ui Ui1 ] + c 2 . (4.17)
Observao 4.1. No que segue, vamos considerar nosso estudo somente no Problema de
Riemann, que consiste em determinar uma soluo auto semelhante (geralmente fraca) U
de (4.1) em (, ) (0, ), com a condio inicial
UL , x < 0
U (x, 0) = (4.18)
UR , x > 0,
V () = UL , V () = UR . (4.19)
como (3.5), em que todas as 1-ondas viajam para a esquerda e todas as 2-ondas viajam
para a direita. Os textos de referncia para esta seo se seguem de [8] e [9].
i ( ; U ) = U + Ri (U ) + Pi ( ; U ), (4.20)
i ( ; U ) = U + Ri (U ) + Qi ( ; U ), (4.21)
52
claramente,
n
X
(; U ) = U + i Ri (U ) + G(; U ), (4.23)
i=1
(m)
i = Li (UL )[UR UL ] Li (UL )G((m1) ; UL ), i = 1, , n, (4.24)
que converge por um argumento de contrao bvio. Isso gera uma soluo para o problema
de Riemann que nica dentro da classe de solues auto-similares com ondas de fora
moderada. O leque de onda que une UL com UR convenientemente identificado por seu
estado esquerdo UL e a n-tupla = (1 , , n ). O valor de i determina a amplitude da
i-onda e a medida |i | a fora da i-onda.
Teorema 4.3. Suponha que o Sistema (4.1) estritamente hiperblico e que cada famlia
caracterstica ou genuinamente no linear ou linearmente degenerada. Para |UR UL |
suficientemente pequeno, existe uma nica soluo auto semelhante (4.2) do problema
de Riemann (4.1), (4.18), com variao total pequena. Esta soluo compreende n + 1
estados constantes UL = U0 , U1 , , Un1 , Un = UR . Quando a i-famlia caracterstica
linearmente degenerada, Ui est unido a Ui1 por uma i-descontinuidade de contato. Por
outro lado, quando a i-famlia caracterstica genuinamente no linear, Ui est unido a
Ui1 por ou uma i-onda de rarefao centrada ou um i-choque compressivo.
53
Com a finalidade de continuar com nosso estudo, para o caso de sistemas que so
genuinamente no linear por partes, apresentamos o seguinte teorema (que generaliza ao
Teorema 4.3).
Teorema 4.4. Suponha que o Sistema (4.1) estritamente hiperblico. Para |UR UL |
suficientemente pequeno, existe uma nica soluo auto-semelhante (4.2) do problema
de Riemann (4.1), (4.18), com variao total pequena. Esta soluo compreende n + 1
estados constantes UL = U0 , U1 , , Un1 , Un = UR e Ui est unido a Ui1 por uma i-onda
admissvel, composta de i-rarefaes e (pelo menos contvel) i-choques que satisfazem a
E-condio de Liu.
2
temos que F (u, v) = (v, e 2 ), alm disso
0 1
DF =
e2u 0
1 = eu , 2 = eu ,
T T
R1 = u , R2 = u .
e 1 e 1
Consideremos agora
1 = e u
0 , 2 = e u
0 ,
portanto,
1 R1 = u
e 0 e u
1 = 1 6= 0,
2 R2 = e u
0 e u
1 = 1 6= 0.
54
e para a 2-rarefao
v = 2k 1 + eu .
Suponha que o Sistema (4.1) est dotado com o par entropia-fluxo de entropia
((U ), q(U )) e considere o leque de ondas admissvel U (x, t) = V (x/t), com estados finais
V () = UL e V () = UR . A produo combinada de entropia dos choques em V
dada por
PV =
X
{q(V (+ )) q(V ( )) [(V (+ )) (V ( ))]} , (4.25)
Aps esta normalizao, a taxa de variao da entropia total no leque de ondas dado
por
d Z d Z x Z
HV = (U (x, t))dx = (V ( ))dx = (V ())d. (4.27)
dt dt t
(q V ) ( V ) = [Dq
^ V D
^ V ]V , (4.30)
que viola a E-Condio de Liu. Sob a premissa de normalizao (4.26), a taxa de entropia
para este choque zero. O objetivo construir um leque de ondas V , com os mesmos
estados finais UL , UR e HV < 0.
De (4.31) e (4.32),
F (UR ) F (UM ) = s[UR UM ], (4.33)
que mostra que UM tambm est na curva i-choque que passa por UR , ou seja, UM =
Wi (R ; UR ) e si (R ; UR ) = s. Pode-se considerar o i-choque juntando UL com UR como
a superposio de dois i-choques, um que une UL com UM e outro que une UM com UR ,
ambos propagando com a mesma velocidade s. O objetivo realizar uma perturbao que
divide o choque original em dois choques, um com velocidade ligeiramente inferior a s
e outro com velocidade ligeiramente superior a s, e depois mostrar que o leque de onda
resultante tem taxa de entropia negativa.
Finalmente, para j = 1+1, , n, Uj1 est unido a Uj por um j-choque, Uj1 = Wj (j ; Uj )
de velocidade sj :
(1 , , n ; ) = 0, (4.38)
onde
(1 , , n ; ) = Wi (R + i ; Wi+1 (i+1 ; Wn (n ; UR ) ))
(4.39)
Wi (L + ; Wi1 (i1 ; W1 (1 ; UL ) )).
57
Observe que
i1
X n
X
(1 , , n ; ) = j Rj (UL ) + j Rj (UR )
j=1 j=i+1 (4.40)
Wi (L ; UL ) + i Wi (R ; UR ) + G(1 , , n ; ),
onde G e sua primeira derivada se anulam em (0, , 0; 0), conclumos que, para
suficientemente pequeno, (4.38) ter uma soluo nica. Ainda falta verificar que s =
si (L + ; Ui1 ) menor que s+ = si (R + i ; Ui ).
(s s )[Ue UL ] + (s s+ )[UR Ue ]
i1
X n
X (4.41)
= (sj s )[Uj Uj1 ] + (sj s+ )[Uj Uj1 ].
j=1 j=i+1
Para j = 1, , i 1, i + 1, , n,
Assim, denotando
= |(s s )Li (UL )[Ue UL ]|, (4.43)
deduzimos de (4.41)
Teorema 4.7. Considere um Sistema estritamente hiperblico (4.1), dotado com uma
entropia uniformemente convexa (U ). Quando |UR UL | suficientemente pequeno, existe
uma soluo U (x, t) = V ( xt ) do problema de Riemann (4.1), (4.12), onde V () minimiza
a taxa de entropia HV , ou equivalentemente a produo total de entropia PV , sob todos
os leques de ondas com i-ondas unidirecionais de fora moderada e estados finais UL e UR .
Alm disso, esta soluo idntica soluo nica com choques satisfazendo a E-condio
de Liu, estabelecida pelo Teorema 4.4.
onde Wi denota a curva i-choque, e observe que (4.23) permanece com G e seu primeira
derivada desaparecendo em = 0. Alm disso, para suficientemente pequeno existe uma
nica n-tupla = (1 , , n ) com (; UL ), tal que o leque de ondas toma valores em
B (U ).
Escrevendo a diferena dos estados como combinao linear dos autovetores direitos
n
X
Ui Ui1 = aik Rk (U ) i = 1, , n, (4.52)
k=1
notamos que |aik | c, para i, k = 1, , n. Alm disso, por (4.6), |aik | c 2 , para i 6= k.
Por outro lado, como
n
X
(Ui Ui1 ) = UR UL , (4.53)
i=1
n
X
aik = Lk (U )[UR UL ], k = 1, , n, (4.54)
i=1
em virtude de (4.17).
5.1 Concluses
2. A soluo pelo mtodo variacional coincide com a soluo pelo mtodo das curvas
caractersticas.
3. Ser possvel aplicar o mtodo variacional para problemas com choques de fora
forte? Sob quais condies?
61
REFERNCIAS
[2] BOILLAT, G. Chocs charactheristiques, C. R. Acad. Sci. Paris. Srie I, 274 (1972), p
1018-1021.
[5] CHANG, T. and HSIAO, L. The Riemann problem and interaction of waves in gas
dynamics, Harlow: Longman, 1989.
[6] CHAPIRO, G., MARCHESIN, D., and SCHECTER, D. Combustion waves and
Riemann solutions in light porous foam. Journal of Hyperbolic Differential Equations,
v 11, (2014).
[11] DAFERMOS, C. M. The Entropy rate admissibility criterion for solutions of hyperbolic
conservation laws, J. Diff. Eqs. v 14 (1973), p 202-212.
[12] HSIAO, L. and ZHANG T. Riemann problem for 2 2 quasilinear hyperbolic system
without convexity, Ke Xue Tong Bao v 8 (1978), p 465-469.
[13] LAMBERT, W., MARCHESIN, D. and BRUINING, J. The Riemann Solution for
the Injection of Steam and Nitrogen in Porous Medium. Transport in Porous media,
v. 11 (2010), p 505526.
[14] LAX, P. D. Hyperbolic systems of conservation laws, Comm. Pure. Appl. Math. v 10
(1957), p 537-566.
[15] LAX, P. D. Shocks waves and entropy, Contributions to Functional Analysis. ed. E.
A. Zarantonello. New York: Academic Press, 1971, p 603-634.
62
[17] LIU, T. P. The Riemann problem for general system of conservation laws, J. Diff.
Appl. v 18 (1975), p 218-234.
[18] LIU, T. P. The entropy condition and the admissibility of shocks, J. Math. Anal. Appl.
v 53 (1976), 78-88.
[21] SMOLLER, J. A. On the solution of the Riemann problem with general step data
for an extended class of hyperbolic systems, Michigan Math. J. 16 (1969), no. 3, p
201-210.
[22] SERRE, D. Systmes de Lois de Conservation, v I-II. Paris: Diderot, 1996. English
translations: Systems of Conservation Laws, v 1-2. Cambridge: Cambridge University
Press, 1999.
[24] VOLPERT, A. I. The Spaces BV and quasilinear equations, Mat Sbornik v. 73 (1967),
p 255-302. English translation: USSR Sbornik v. 2 (1967), p 225-267.
63
D= A , A = {X : X N C B},
[
(A.2)
< <
onde os termos O() e O() representam a contribuio do fluxo atravs da fronteira lateral
do domnio cilndrico. Tomando = 0 e fazendo 0, derivamos de (A.3) uma estimativa
que, aplicada a todas as bolas B, implica que, como 0, aN (X + N ) aN (X), em
L (C X ) fraca*. Similarmente, tomando = 0 e fazendo 0, deduzimos que, como
0, aN (X + N ) aN (X), de novo em L (C X ) fraca*. Em particular, isto
implica que aN Lebesgue mensurvel em X .
D
Br (X)
X N
Figura 3 D Br
Dividindo (A.4) por rk1 , fazendo r 0, lembrando (A.1), obtemos (1.15), assim temos
estabelecido a afirmao (1) do teorema.
Observe que D composto por uma face C com normal exterior N e k faces C , para
= 1, , k, com suas respectivas normais exteriores (sgnN )E . Alm disso, temos
65
E2
D
Br (X)
X E1
Resta mostrar (1.17). Para A Lipschitz contnua, pode-se conseguir (1.17), apli-
cando o teorema da divergncia lei de balano. No caso geral em que A est meramente
em L , ns recorremos ao amolecimento. Fixamos uma funo de teste C0 (Rk ) com
massa total um, suportado na esfera unitria e ajustamos isto por ,
p = P, A = A. (A.10)
66
Z Z
divA (X)dX = A (X)N (X)dH k1 (X)
D D
Z Z
= (Y )A(X Y )N (X)dY dH k1 (X)
D Rk
Z Z
= (Y ) A(Z)N (Z)dH k1 (Z)dY, (A.11)
Rk DY
daqui inferimos
divA (X) = p (X), X X . (A.14)
Apresentaremos aqui algumas noes bsicas sobre a teoria da medida, que sero
necessrias para o desenvolvimento deste trabalho. A referncia usada para este captulo
[1].
(b) Uma lgebra E um -lgebra se, para qualquer sequncia (Eh ) E sua unio
S
h Eh
pertence a E .
(c) uma medida positiva se, () = 0 e -aditiva em E , i.e., para qualquer sequncia
(Eh ) de elementos disjuntos por pares de E
!
[ X
= (Eh ).
h=0 h=0
(d) Um conjunto E X -finita com respeito medida positiva se, ele a unio de uma
sequncia crescente de conjuntos com medida finita. Se X mesmo -finito, ento dizemos
que -finita.
68
Definio B.3 (Medida real e vetorial). Seja (X, E ) um espao de medida e seja m N,
m 1.
(b) Se uma medida, definiremos sua variao total || para todo E E como segue:
(
)
|(Eh )| : Eh E disjunto por pares, E =
X [
||(E) := sup Eh .
h=0 h=0
(c) Se uma medida real, definiremos sua parte positiva e sua parte negativa respectivamente
como segue:
|| + ||
+ := e := .
2 2
Teorema B.4. Seja uma medida em (X, E ); ento || uma medida finita positiva.
Definio B.6 (Funo mensurvel). Seja (X, E ) um espao de medida e (Y, d) um espao
mtrico
(b) Se uma medida positiva em (X, E ), dizemos que a funo f -mensurvel se ela
E -mensurvel
(b) Seja uma medida positiva em (X, E ); a integral de uma funo simples -mensurvel
u : X [0, ) definida por
Z
z(u1 (z)),
X
udX :=
X
zIm(u)
onde adotamos a conveno que quando z = 0 e (u1 (z)) = , ento z (u1 (z)) = 0.
A definio estendida a qualquer funo mensurvel u : X [0, ] definindo
Z Z
ud := sup vd : v -mensuravel, simples, v u .
X X
se u integrvel, ento
Z Z Z
ud := +
u d u d
X X X
Definio B.8. Seja uma medida positiva e uma medida real ou vetorial no espao de
medida (X, E ). Dizemos que absolutamente contnua com respeito a e escreveremos
, se para cada B E temos
(B) = 0 = ||(B) = 0.
Definio B.9. Seja X um espao mtrico localmente compacto, B(X) sua -lgebra de
Borel, e considere o espao de medida (X, B(X)).
(a) Uma medida positiva em (X, B(X)) chamada uma medida de Borel. Se a medida de
Borel finita sob conjuntos compactos, ela chamada de medida positiva de Radon.
(b) Uma funo de conjuntos (real ou vetorial) definida nos subconjuntos relativamente
compactos de Borel de X que uma medida em (K, B(K)) para cada conjunto compacto
K X, chamada uma (real ou vetorial) medida de Radon em X.
Definio B.10 (Medida de Hausdorff). Seja k [0, ), k = k/2 /(1 + k/2) (onde
R t1 s
(t) = 0 s e ds) e E RN . A k-dimensional medida de Hausdorff de E dado por
Definio B.12 (Medida exterior). Seja X um espao mtrico e uma funo definida
em todos os subconjuntos de X com valores em [0, ]; dizemos que uma medida
exterior se () = 0, -subaditiva e alm disso, vale a seguinte condio de aditividade
segue-se:
dist(E, F ) > 0 = (E F ) = (E) + (F ), (B.1)
para todo E, F X.
Teorema B.13 (Critrio de Caratheodory). Seja uma medida exterior num espao
mtrico X; ento -positiva em B(X), portanto, a restrio de aos conjuntos Borel
de X uma medida positiva.
Observao B.14. O critrio de Caratheodory mostra que, uma medida exterior sempre
define uma medida de Borel.
Exemplo Seja Qr (x) = {y RN : maxi |xi yi | < r} o cubo aberto de lado 2r e centro
em x. Definamos (
)
N
X [
(E) := inf (2rh ) : E Qrh (xh ) (B.2)
h=0 h=0
Proposio B.16 (Pontos de lebesgue). Seja uma medida de Radon positiva num
conjunto aberto RN e f L1 (, ). Ento, para q.t.p. x vale a seguinte
equao:
1 Z
lim |f (y) f (x)|d = 0. (B.3)
r0 (Br (x)) Br (x)