Você está na página 1de 73

Universidade Federal de Juiz de Fora

Instituto de Cincias Exatas

Programa de Ps-Graduao em Matemtica

Guillermo, Enrique

Ao de um sistema Restrito

Juiz de Fora

2017
Guillermo, Enrique

Ao de um sistema Restrito

Dissertao apresentada ao Programa de


Ps-Graduao em Matemtica da Univer-
sidade Federal de Juiz de Fora, na rea de
concentrao em Matemtica Aplicada, como
requisito parcial para obteno do ttulo de
Mestre em Matemtica.

Orientador: Alexei Deriglazov

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.

Orientador: Alexei Deriglazov


Dissertao (Mestrado) Universidade Federal de Juiz de Fora, Instituto
de Cincias Exatas. Programa de Ps-Graduao em Matemtica, 2017.

1. Problema de Riemann. 2. Espaos de Variao Limitada. 3. Leis de


Equilibrio. I. Chapiro, Grigori, orient. II. Ttulo.
Guillermo, Enrique

Ao de um sistema Restrito

Dissertao apresentada ao Programa de


Ps-Graduao em Matemtica da Univer-
sidade Federal de Juiz de Fora, na rea de
concentrao em Matemtica Aplicada, como
requisito parcial para obteno do ttulo de
Mestre em Matemtica.

Aprovada em:

BANCA EXAMINADORA

Prof. Dr. Alexei Deriglazov - Orientador


Universidade Federal de Juiz de Fora

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

Agradeo o apoio financeiro da Coordenao de Aperfeioamento de Pessoal de


Nvel Superior, CAPES, que me permitiu concluir os estudos de mestrado satisfatoriamente.
Ao corpo docente e discente do mestrado em matemtica da UFJF pelo apoio incondicional
e contnuo.
RESUMO

Movimento de uma particula em uma superficie.

Palavras-chave: Lei de conservao. Problema de Riemann. Par Entropia - Fluxo de


entropia. Produo de entropia. Taxa de variao da entropia.
The balance laws express in a more general way the conservation laws and therefore
it is natural that they coincide in some definitions or results that we will show here.
The strictly hyperbolic systems of conservation laws in a spatial dimension under certain
conditions is a symmetrizable system, therefore it has a convex entropy. This induces to
define the entropy-entropy flux pair and the entropy production, minimum ingredients
to use the Entropy rate admissibility criterion and check whether the solution of the
respective Riemann problem is optimal. The entropy rate defined here in terms of entropy
is a functional that can be minimized in the wave fans with constant states of the Riemann
problem using the Euler-Lagrange equations, we show that the solutions of the Riemann
problem are functions of bounded variation, resulting in a variational method to solve
the respective problem. In this work it will be shown that the solution obtained by the
variational method, coincides with the solution obtained by the method of characteristics.

Key-words: Conservation Law. Riemann Problem. Entropy - Entropy flux Pair.


Entropy Production. Rate of Change of the Entropy.
LISTA DE ILUSTRAES

Figura 1 Idia da variedade F . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24


Figura 2 Leque de ondas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 52
Figura 3 D Br . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 65
Figura 4 Argumento do tetraedro de Cauchy 2-dimensional . . . . . . . . . . . . 66
LISTA DE SMBOLOS

X Conjunto aberto em Rk

D Domnio prprio contido em X

P Produo de uma quantidade extensiva

QD Funo de fluxo em D

L1 Espao das funes Lebesgue integrveis

L1loc Espao das funes Lebesgue integrveis localmente

L Espao das funes essencialmente limitadas

S k1 Esfera de dimenso k 1

H k1 Medida de Hausdorff de dimenso k 1

F Frente de choque

BV Espao das funes de variao limitada

BVloc Espao das funes de variao limitada localmente

T VX f Variao total de f em X

C0 Espao das funes infinitamente diferenciveis e com suporte compacto

M Medida de Radon

f
g] Composio normalizada de g e f

lim Limite por acima do zero


h0

lim sup Limite superior por acima do zero


h0

Wi (, U ) Curva i-choque atravs de U

si (, U ) Velocidade da curva i-choque Wi (, U )

Rk k-simo autovetor direito

Lk k-simo autovetor esquerdo


SUMRIO

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

2 SISTEMAS HIPERBLICOS DE LEIS DE BALANO . . . 29


2.1 Hiperbolicidade . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29
2.2 Par Entropia - Fluxo de Entropia . . . . . . . . . . . . . . . . . . . . . 30
2.3 O Problema de Cauchy . . . . . . . . . . . . . . . . . . . . . . . . . . . 31
2.4 Condio de admissibilidade da Entropia . . . . . . . . . . . . . . . . . 33

3 SISTEMAS HIPERBLICOS DE LEIS DE BALANO NUMA


DIMENSO ESPACIAL . . . . . . . . . . . . . . . . . . . . . . 35
3.1 Leis de Balano numa dimenso espacial . . . . . . . . . . . . . . . . . 35
3.2 Hiperbolicidade e Hiperbolicidade Estrita . . . . . . . . . . . . . . . . . 36
3.3 Par Entropia - Fluxo de Entropia . . . . . . . . . . . . . . . . . . . . . 37
3.4 No Linearidade Genuna e Degenerao linear . . . . . . . . . . . . . . 38
3.5 Ondas Simples . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 39
3.6 Condies de Admissibilidade . . . . . . . . . . . . . . . . . . . . . . . . 41
3.6.1 Locus de Hugoniot . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 42
3.6.2 O Critrio de Admissibilidade de Lax . . . . . . . . . . . . . . . . . . . 43
3.6.3 O Critrio de Admissibilidade do Choque de Liu . . . . . . . . . . . . . 45
3.6.4 O Critrio de Admissibilidade do Choque Entropia . . . . . . . . . . . . 46

4 RESOLUO DO PROBLEMA DE RIEMANN . . . . . . . . 48


4.1 Soluo Auto-Semelhante do Problema de Riemann . . . . . . . . . . . 48
4.2 Soluo ao Problema de Riemann via Curvas Caractersticas . . . . . . 51
4.3 O Critrio de Admissibilidade da Taxa de Entropia . . . . . . . . . . . . 55

5 CONCLUSES E TRABALHOS FUTUROS . . . . . . . . . . 61


5.1 Concluses . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 61
5.2 Trabalhos futuros . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 61

REFERNCIAS . . . . . . . . . . . . . . . . . . . . . . . . . . . 62

APNDICE A TEOREMA A: Demonstrao . . . . . . . . 64

APNDICE B TPICOS DE TEORIA DA MEDIDA . . . 68


11

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

Sendo considerado como o sistema Lagrangiano, leva a equaes de movimento


erradas. Estes descrevem uma queda livre em um campo gravitacional e no levam em
considerao a restrio x2 + y 2 = l2 que deve ser satisfeita em qualquer instante de
movimento. Observe tambm que impossvel simplesmente adicionar a restrio s
equaes de movimento, j que isso levaria a um sistema incompatvel .

1.1 A receita

O pndulo um exemplo de um sistema com uma restrio holonmica (ou


cinemtica) (geralmente, uma restrio holonmica uma restrio algbrica sobre variveis
de configurao do espao, G(q a , ) = 0 que deve ser satisfeita em qualquer instante).
Nesta seo discutiremos uma receita adequada para a construo de um Lagrangeano
para este caso. Grosso modo, pode ser formulado da seguinte forma. Primeiro, esquea as
restries,e escrever o Lagrange do sistema no-constrangido (pode ser L = T U ). Em
segundo lugar, encontrar uma soluo para constrangimentos e escrever L em termos das
variveis independentes.

Para o pndulo, uma possibilidade y = l2 x2 ento temos y = xx
l2 x2

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

Isto implica a equao de Lagrange

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)

Para um pequeno se aproxima sin obtendo a equao de harmnico oscilaes


para , + gl = 0

Em segundo lugar, podemos usar as coordenadas generalizadas escrevendo um


anzatz (1.1) para L. Isto pode ser feito, por exemplo, em coordenadas polares x = r sin
,y=-rcos , que d L(r,) = 12 m((r)2 + r2 ()2 ) + mgr cos .Ento usamos a restrio r =
l obtendo se as Eqs. (1.5) e (1.6) mais uma vez.
13

1.1.1 Generalizao Geral de Receitas

, considere um sistema com as coordenadas generalizadas q a , a = 1, 2, , ........, n


forado a mover-se sobre uma superfcie k-dimensional

Gi (q a ) = 0i = 1, 2, ........, n k (1.7)

Considera se que as equaes da superfcie so funcionalmente independentes

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)

Por construo, estes resolvem as restries, Gi (q a (s )) 0. Substituio do equaes


paramtricas em L(q a ) d um Lagrange do sistema constrangido

L(s , s ) L(q a (s ), q a (s ))

(1.10)

Usando a frmula bsica , as equaes de Lagrange so

(S[s]) d (L(s)

(s ) d (s
Parte I

L(s)
15
Parte II

s
17

=0 = 1, 2, ..........., k(1.11)

Definio 1.1. Seja um subconjunto aberto e limitado de Rk , k {1, 2, 3, . . .}. Dizemos


que um domnio de Lipschitz, se para cada ponto p , existe r > 0 e uma aplicao
hp : Br (p) B1 (0) (onde Br (p) Rk e B1 (0) Rk ) tais que:

hp uma bijeo;

hp e h1
p so funes contnuas de Lipschitz;

hp ( Br (p)) = B 0 ;

hp ( Br (p)) = B + ;

onde B 0 = {(x1 , . . . , xk ) Br (p)|xk = 0} e B + = {(x1 , . . . , xk ) Br (p)|xk > 0}

Definio 1.2. Seja X um subconjunto aberto de Rk , k Z+ . Um domnio prprio em


X um conjunto X que um domnio de Lipschitz.

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

QD (D) = P(D), (1.12)

para todo domnio prprio D em X .

Vamos considerar nesta seo as funes de fluxo QD , que so absolutamente


contnuas com respeito medida de Hausdorff H k1 (veja Apndice B). Assim, com cada
18

domnio prprio D em X est associada a funo densidade de fluxo qD L1 (D) tal


que
Z
QD (C ) = qD (X)dH k1 (X), (1.13)
C

para qualquer subconjunto de Borel C de D. Os subconjuntos de Borel C de D so


orientados por meio de uma normal unitria N exterior a D, nos pontos de C . O postulado
fundamental na teoria de leis de balano diz que o fluxo depende somente da superfcie e
de sua orientao, i.., se C simultaneamente um subconjunto de Borel das fronteiras de
dois domnios prprios diferentes D1 e D2 , compartilhando a mesma normal exterior sobre
C , ento QD1 (C ) = QD2 (C ). Assim, qD1 (X) = qD2 (X) para quase todo ponto X C
(com respeito a H k1 ). Analogamente funo densidade de fluxo, pode ser definida a
funo densidade de produo p L1loc (X ):
Z
P(D) = p(X)dX. (1.14)
D

1.2 Reduo a Equaes de Campo

Nesta seo apresentaremos um teorema onde se deduz a equao de campo para a


lei de balano. A demonstrao do teorema citado ser apresentado no Apndice A. As
referncias para esta seo so [9] e [19].

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,

1. com cada N S k1 est associada uma funo mensurvel limitada aN em X , com a


seguinte propriedade: Seja D um domnio prprio em X e suponha que X algum ponto
de D onde a normal exterior unitria existe e N . Suponha que X um ponto de
Lebesgue de qD , relativo a H k1 , e que a derivada superior de |P| em X com respeito
medida de Lebesgue, finita. Ento

qD (X) = aN (X). (1.15)

2. Existe um campo vetorial A L (X ; M1k ) tal que, para cada N fixo em S k1 ,

aN (X) = A(X)N, q.t.p de X (1.16)


19

3. A funo A satisfaz a equao de campo

divA = P (1.17)

no sentido de distribuies em X .

A demonstrao deste teorema ser apresentada no apndice A.

1.3 Sistemas de Leis de Balano

Nesta seo sero apresentados os sistemas de leis de balano e algumas definies


complementares. Os textos de referncia nesta seo so [9] e [19].

Consideramos agora n leis de balano distintas com medida de produo induzida


por campos de densidade de produo que atuam simultaneamente em X :

divA(X) = P (X), (1.18)

onde A um campo matricial de ordem n k e P um campo vetorial n-coluna. O


operador divergncia age nos vetores linhas de A, resultando a divA num campo vetorial
n-coluna. Suponhamos que o estado de um meio descrito por um campo vetorial de
estado U tomando valores num subconjunto aberto O Rn que determina o campo
densidade de fluxo A e o campo de densidade de produo P no ponto X X usando
equaes constitutivas

A(X) = G(U (X), X) P = (U (X), X), (1.19)

onde G e so funes suaves dadas definidas em O X tomando valores em Mnk e


Rn respectivamente. De (1.18) e (1.19), resulta que

divG(U (X), X) = (U (X), X). (1.20)

Definio 1.4. A Equao (1.20) ser denominada um sistema de leis de balano se n 2


ou uma lei de balano escalar quando n = 1. No caso especial onde a produo seja nula,
0, ento a Equao (1.20) ser denominada um sistema de leis de conservao se
n 2 ou uma lei de conservao escalar quando n = 1. Quando G e no dependem
explicitamente de X, o sistema de leis de balano chamado homogneo.
20

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

para qualquer funo teste C0 , uma soluo fraca.

Observao 1.6. Consideramos as seguintes notaes:

Para = 1, 2, , k; G (U, X) denota o -simo vetor coluna da matriz G(U, X).

D denotar a diferencial com respeito varivel U . Quando usarmos as notaes matriciais,


h i

D ser considerado o operador linha D = U 1
, , U n

1.4 Lei de Balano Companheira

Nesta seo apresentaremos a deduo da lei de balano companheira e uma


condio para garantir sua existncia. A referncia para esta seo [9].

Definio 1.7. Consideramos o Sistema de leis de balano (1.20) sobre um conjunto


aberto X de Rk . Uma funo Q, definida em O X e tomando valores em M1k ,
chamado uma companheira de G se existe uma funo suave B, definida em O X e
tomando valores em Rn , tal que, para todo U O e X X ,

DQ (U, X) = B(U, X)T DG (U, X), = 1, 2, , k. (1.22)

A relevncia de (1.22) decorre da observao de que qualquer soluo clssica U ,


do Sistema de leis de balano (1.20) automaticamente tambm uma soluo (clssica)
da Lei de Balano Companheira

divQ(U (X), X) = h(U (X), X), (1.23)

com

h(U, X) = B(U, X)T (U, X) + Q(U, X) B(U, X)T G(U, X). (1.24)

Em (1.24) denota a divergncia em relao a X, mantendo U fixo, por outro lado


div trata a U como uma funo de X.
21

Assim, a lei de balano companheira (1.23) do Sistema de leis de balano (1.20)


fica determinada pelos fatores integradores B, que transforma o lado direito de (1.22) no
gradiente de uma funo de U . A condio de integrabilidade relevante

DB(U, X)T DG (U, X) = DG (U, X)T DB(U, X), = 1, , k, (1.25)

para todo U O e X X . Claramente, pode-se satisfazer (1.25) empregando qualquer B


que no depende de U . Neste caso, a lei de balano companheira resultante (1.23) apenas
uma combinao linear trivial das equaes do Sistema original (1.20). Para B no trivial,
que varia com U , (1.25) impe n(n1)k/2 condies sobre as n componentes desconhecidas
de B. Assim, quando n = 1 e k arbitrrio, pode-se usar qualquer funo (a valores reais)
B. Quando n = 2 e k = 2, temos que (1.25) reduz-se a um sistema de EDPs de duas
equaes em duas incgnitas, das quais uma famlia de solues B pode presumivelmente
ser determinada. Em todos os outros casos, porm, (1.25) determinado formalmente e a
existncia da lei de balano companheira no trivial, no deve ser geralmente esperado.

Definio 1.8. O Sistema de leis de balano (1.20) chamado simtrico quando as


matrizes de ordem n n, DG (U, X), = 1, , k, so simtricas, para qualquer U O
eX X.

Suponha que (1.20) simtrico, O simplesmente conexo e

G(U, X)T = D(U, X)T , (1.26)

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

Q(U, X) = U T G(U, X) (U, X). (1.27)

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

G (U , X) = G(B 1 (U , X), X) e (U , X) = (B 1 (U , X), X). (1.29)


22

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)

e de (1.22) obtemos que


G (U , X)T = D (U , X)T . (1.32)

Demonstramos que um sistema de leis de balano associado a uma lei de balano


companheira no trivial se, e somente se, simetrizvel.

Alm de satisfazer (1.22), um dos princpios da teoria de sistemas de leis de balano


que as solues fracas admissveis tem que satisfazer a desigualdade

divQ(U (X), X) h(U (X), X). (1.33)

1.5 Frente Fraca e Frente de Choque

Vamos denotar com F a variedade suave (k 1)-dimensional, contida no sub-


conjunto aberto X de Rk , com orientao induzida pelo campo normal N . U ser uma
soluo (geralmente fraca) do Sistema de leis de balano (1.20) em X que continuamente
diferencivel em X \ F , mas permitido que seja singular em F . A referncia para esta
seo [9].

Definio 1.9. F uma frente fraca, se para U Lipschitz contnua em X e quando se


aproxima a F de cada lado, o gradiente de U atinge limites distintos grad U , grad+ U .
Assim, gradU experimenta um salto [[gradU ]] = grad+ U grad U atravs de F .

Como U contnua, a derivada tangencial de U no pode saltar atravs de F ,


logo [[gradU ]] = [[U/N ]]N T , onde [[U/N ]] denota o salto da derivada normal U/N
atravs de F . Portanto, tomando o salto de (1.20) atravs de F em qualquer ponto
X F conseguimos a seguinte condio em [[U/N ]]:
"" ##
U
D[G(U (X), X)N ] = 0. (1.34)
N

Definio 1.10. F uma frente de choque, quando ao aproximar U de cada lado de F ,


atinge limites distintos U , U+ e assim experimenta um salto [[U ]] = U+ U atravs de
F.
23

Ambas U e U+ so funes contnuas em F . Como U uma soluo (fraca) de


(1.20), podemos escrever (1.21) para qualquer C0 (X ). Em (1.21) a integrao em
X pode ser substituda pela integrao em X \ F . Como U C 1 em X \ F , podemos
integrar por partes em (1.21). Usando que tem suporte compacto em X e que (1.20) se
verifica para qualquer X X \ F , temos
Z
(X)[G(U+ , X) G(U , X)]N dH k1 (X) = 0, (1.35)
F

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)

Note que (1.36) pode ser reescrito como


Z 1 
D[G( U+ + (1 )U , X)]N d [[U ]] = 0. (1.37)
0

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
+
-

Figura 1 Idia da variedade F

1.6 Solues de Variao Limitada de Sistemas de Leis de Balano

Apresentaremos nesta seo as definies e resultados mais importantes para este


trabalho, sobre espaos de variao limitada. As referncias para esta seo so [9] e [1].

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

para qualquer funo teste C0 (X ; M1k ). Quando L1 (X ) e M finito,


uma funo de variao limitada em X , com variao total
Z
T VX = |M |(X ) = sup (X)div (X)dX. (1.39)
| (X)|=1 X

Denotaremos por BV (X ) o espao das funes de variao limitada, e por


BVloc (X ) o espao das funes localmente de variao limitada.

Teorema 1.12. Seja {E , = 1, , k} a base ortonormal padro de Rk . Se


BVloc (X ), ento

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 ).

Teorema 1.13. Qualquer sequncia em BVloc (X ), tal que || ||L1 (Y ) e T VY so


uniformemente limitadas em todo conjunto aberto limitado Y X contm uma sub-
sequncia que converge em L1loc (X ), em quase todo ponto em X , para alguma funo
BVloc (X ), com T VY lim inf T VY .

Observao 1.14. Quando k=1, o teorema anterior reduz-se ao Teorema de Helly. (veja
[23]).

Teorema 1.15. O domnio X de qualquer funo BVloc (X ) a unio de trs


subconjuntos disjuntos C , J e I com as seguintes propriedades:

(a) C o conjunto de pontos de continuidade aproximada de , i.. com cada X C est


associado 0 R tal que

1 Z
lim k |(X) 0 |dX = 0. (1.41)
r0 r
Br (X)

(b) J o conjunto de pontos de descontinuidade de salto aproximado de , i.., com cada


X J est associado N em S k1 e distintos , + em R tais que

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].

Definio 1.16. Suponha que g uma funo contnua em R e seja BVloc (X ). A


v de g e definida por
composio normalizada g]

g(0 ),

se X C
(X) = Z 1
g] , (1.44)
g( + (1 )+ )d, se X J
0

v(X) toma qualquer valor arbitrrio em X I . Em particular, pode-se normalizar


e g]
como

0 , se X C
e(X) = , (1.45)
1 ( + + ), se X J

2

assim, cada ponto de C se torna um ponto de Lebesgue.

A adequao da normalizao anterior indicada pela seguinte generalizao da


regra de cadeia clssica:

Teorema 1.17. Suponha que g continuamente diferencivel em R, com derivada Dg, e


seja BVloc (X ) L (X ). Ento g BVloc (X ) L (X ). A funo normalizada
^
Dg localmente integrvel com respeito medida M = grad e

grad(g ) = (Dg
^ )grad, (1.46)

no sentido
Z Z
g((X))div(X)dX = (Dg
^ )(X)(X)dM (X), (1.47)
X X

para qualquer funo teste C0 (X ; M1k ).


26

A demonstrao do Teorema 1.17 pode ser consultada no artigo [24].

Definio 1.18. Um subconjunto D de Rk tem (localmente) permetro finito quando sua


funo indicadora D tem (localmente) variao limitada em Rk .

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.

Vamos considerar agora solues fracas U L (X ) para o Sistema (1.20), que


esto em BVloc (X ). Do Teorema 1.17, temos que a funo GU est em BVloc (X )L (X )
e (1.20) satisfeito como uma igualdade de medidas.

Teorema 1.20. Uma funo U BVloc (X ) L (X ) uma soluo fraca do Sistema


(1.20) de leis de balano se, e somente se,

(a) A igualdade em medida

[DG(Ue (X), X), gradU (X)] + G(Ue (X), X) = (Ue (X), X), (1.48)

vlida no conjunto X de pontos de continuidade aproximada de U ; e

(b) A condio de salto


[G(U+ , X) G(U , X)]N = 0, (1.49)

satisfeita para quase todo X (com respeito a H k1 ) em J de pontos de descontinuidade


de salto aproximada de U, com vetor normal N e limites unilaterais U , U+ .

Consequentemente, o conjunto de pontos de descontinuidade de salto aproximada


de uma soluo BV a unio contvel das frentes de choque.

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

N = divQ(U (X), X) h(U (X), X), (1.50)

est concentrada no conjunto de pontos J de descontinuidade de salto aproximado de U


e a desigualdade (1.33) ser satisfeita no sentido de medidas se, e somente se,

[Q(U+ , X) Q(U , X)]N 0, (1.51)


27

para quase todo ponto (com respeito a H k1 ) X J .

As demonstraes dos teoremas 1.20 e 1.21 podem ser consultadas no livro [9].
28

2 SISTEMAS HIPERBLICOS DE LEIS DE BALANO

O espao ambiente para os sistemas de leis de balano, introduzido no captulo


anterior, ser visualizado aqui como espao-tempo, e a noo central de hiperbolicidade
na direo temporal ser motivada e definida. As companheiras para o fluxo, consideradas
na Seo 1.4, sero agora realizadas como pares de entropia-fluxo de entropia.
Exemplos interessantes de sistemas hiperblicos de leis de balano so apresentados em
[6], [9], [13] e em [19].

2.1 Hiperbolicidade

Nesta seo apresentaremos a definio de sistema de leis de balano hiperblico


seguindo o texto [9].

Retornando com as notaes do captulo anterior, visualizamos Rk como Rm R,


m = k 1, assim X = (x, t), onde x Rm indica o espao e t R indica o tempo.

Denotaremos t por k
e por
, = 1, , m. Usaremos o smbolo div para denotar
a divergncia em relao varivel x Rm . Como no captulo anterior, em operaes
matriciais div estar atuando em vetores linha. Como na Observao 1.6, D ser considerado
h i

como um operador linha: D = U 1
, , U n . Denotaremos H = Gk , usaremos agora o
smbolo G para denotar a matriz nm como vetores coluna (G1 , , Gm ), e reescreveremos
o Sistema (1.20) na forma

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

tem autovalores reais 1 (; U, x, t), , n (; U, x, t), chamados velocidades caratersticas,


e n autovetores linearmente independentes R1 (; U, x, t), , Rn (; U, x, t).

Uma classe de grande importncia so os sistemas hiperblicos simtricos de leis


de balano (2.1), em que, para qualquer U O e (x, t) X , as matrizes DG (U, x, t) de
ordem n n, para = 1, , m, so simtricas e DH(U, x, t) simtrico definido positivo.
29

claro que a hiperbolicidade preservada sob qualquer mudana U = U (U, x, t) de


vetor estado com U (, x, t) um difeomorfismo para cada (x, t) X fixado. Em particular,
uma vez que DH(U, x, t) no singular, podemos empregar (pelo menos localmente) H
como o novo vetor estado. Assim, sem perda de generalidade, pode-se limitar o estudo aos
sistemas hiperblicos de leis de balano que tm a forma

t U (x, t) + divG(U (x, t), x, t) = (U (x, t), x, t). (2.3)

Por simplicidade e convenincia consideraremos doravante a forma especial (2.3) como


Cannica.

Observao 2.2. Note que se F uma frente de choque para U , ento (1.36) pode ser
escrita com as respectivas notaes como

s[H(U+ , x, t) H(U , x, t)] + [G(U+ , x, t) G(U , x, t)] = 0, (2.4)

que chamada a Condio de Salto de Rankine-Hugoniot.

2.2 Par Entropia - Fluxo de Entropia

Nesta seo apresentaremos o par entropia-fluxo de entropia para um sistema de


lei de balano e daremos uma condio para obt-la. A referncia para esta seo [9].

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

D(U, x, t) = B(U, x, t)T DH(U, x, t). (2.6)

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

DQ (U, x, t) = D(U, x, t)DG (U, x, t), = 1, , m, (2.7)

D2 (U, x, t)DG (U, x, t) = DG (U, x, t)T D2 (U, x, t), = 1, , m. (2.8)


30

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)

t u(x, t) + divG(u(x, t), x, t) = (u(x, t), x, t), (2.9)

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.

2.3 O Problema de Cauchy

Nesta seo apresentaremos o problema de Cauchy e as definies de soluo


clssica e soluo fraca respectivas. A referncia para esta seo [9]. Vamos focar nosso
estudo em sistemas hiperblicos homogneos de leis de conservao na forma cannica,

t U (x, t) + divG(U (x, t)) = 0. (2.12)

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

possui autovalores reais 1 (; U ), , n (; U ) e n autovetores linearmente independentes


R1 (; U ), , Rn (; U ). Para formular o Problema de Cauchy, atribumos as condies
iniciais
U (x, 0) = U0 (x), x Rm , (2.14)

onde U0 uma funo de Rm a O.

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

DQ (U ) = D(U )DG (U ), = 1, , m. (2.15)

Neste caso, qualquer soluo clssica de (2.12) satisfaz a lei de conservao adicional

t (U (x, t)) + divQ(U (x, t)) = 0. (2.16)

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 ),

||U (, ) U (, )||L1 (Rm ) aV | |, 0 < < T, (2.18)


32

onde a depende unicamente da constante de Lipschitz de G. Em particular, U est em


BVloc , em Rm [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

s[U+ U ] + [G(U+ ) G(U )] = 0, (2.19)

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:

Exemplo: Considere a famlia de solues do problema de Cauchy para a equao de


Burgers
1
t u(x, t) + x ( u2 (x, t)) = 0, (2.20)
2
com dados iniciais

1, x < 0
u(x, 0) = (2.21)
1, x > 0.
Este um exemplo do Problema de Riemann, que admite infinitas solues fracas, incluindo
a famlia



0, se x < 0,


x, se 0 < x t


t
u (x, t) = (2.22)
+1
, se t < x t,


2





+1
1, se t < x,


2

para qualquer [0, 1]. (veja [20])

Outros exemplos interessantes podem ser encontrados em [3] e [16].

Com a perda de unicidade, se faz necessrio usar critrios ou condies de admissi-


bilidade adicionais para garantir a unicidade, ou equivalentemente, selecionar a soluo
fisicamente correta dentre todas as solues fracas existentes.

2.4 Condio de admissibilidade da Entropia

Apresentaremos nesta seo, uma condio de admissibilidade para as solues de


(2.12). As referncias usadas aqui so [9] e [19]. Suponha agora que o Sistema (2.12)
33

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

t (U (x, t)) + divQ(U (x, t)) 0, (2.23)

no sentido das distribuies em Rm [0, T ).

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)

Para a admissibilidade de U relativa entropia , a desigualdade (2.24) deve ser testada


em qualquer ponto de um choque que se propaga na direo S m1 com velocidade s.
34

3 SISTEMAS HIPERBLICOS DE LEIS DE BALANO NUMA DIMEN-


SO ESPACIAL

3.1 Leis de Balano numa dimenso espacial

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].

Quando m = 1, o sistema geral de leis de balano reduz-se a

t H(U (x, t), x, t) + x F (U (x, t), x, t) = (U (x, t), x, t), (3.1)

Os sistemas (3.1) surgem naturalmente no estudo do fluxo de gs em dutos, vibrao


de barras ou cordas, etc., em que o prprio meio modelado como unidimensional. O
exemplo mais simples o sistema homogneo de leis de conservao escalar

t u + x f (u) = 0. (3.2)

Apesar de sua aparente simplicidade, a lei de conservao escalar fornece informaes


valiosas em processos complexos como na fsica e em outras cincias. Vamos ver agora dois
exemplos de lei de balano unidimensional deduzidos da Equao de Calor com Isolante
Termoelstico.

Exemplo 1: Verso Unidimensional da Equao de Calor com Isolante Termoelstico



t u v = 0






t v + p(u, s) = 0 (3.3)



t [(u, s) + 21 v 2 ] + [vp(u, s)] = 0,


onde u o volume especfico (u = 1/), v denota a velocidade,  a energia interna e p


representa a presso. Este sistema hiperblico se

s (u, s) > 0, uu (u, s) > 0. (3.4)

Exemplo 2: No caso isentrpico, (3.3) reduz-se a




t u v = 0
(3.5)
t v (u) = 0,

que hiperblico quando 0 (u) > 0.

Para maiores detalhes sobre os exemplos anteriores, consultar [9].


35

3.2 Hiperbolicidade e Hiperbolicidade Estrita

Apresentaremos nesta seo as definies sobre hiperbolicidade seguindo o texto


[9]. Consideramos o sistema homogneo de leis de conservao da forma cannica:

t U (x, t) + x F (U (x, t)) = 0, (3.6)

onde U O Rn , com O aberto e convexo e a funo F : O Rn Rn de classe


C 3 . Note que o Sistema (3.6) pode ser escrito como t U + DF (U )Ux = 0, quando U for
contnuo. No caso que DF (U ) uma matriz n n constante, dizemos que (3.6) um
sistema de leis de conservao linear.

Definio 3.1. O Sistema (3.6) hiperblico, se para todo U O, a matriz jacobiana


DF (U ) tem autovalores reais 1 (U ) 2 (U ) n (U ) e n autovetores linearmente
independentes R1 (U ), R2 (U ) , Rn (U ).

Definio 3.2. O Sistema (3.6) estritamente hiperblico, se para qualquer U O, o


Jacobiano DF (U ) possui autovalores reais distintos

1 (U ) < 2 (U ) < < n (U ). (3.7)

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

1 = 0 (u)1/2 , 2 = 0 (u)1/2 , (3.10)



0 1/2 0 1/2
1 (u) 1 (u)
R1 = R2 = , (3.11)

2 2

1 1

L1 = ( 0 (u)1/2 , 1), L2 = ( 0 (u)1/2 , 1). (3.12)


36

Definio 3.3. O autovalor i de DF chamado a i-velocidade caracterstica, i =


1, 2, . . . , n, do Sistema (3.6). Este termo deriva da seguinte definio.

Definio 3.4. Uma i-caracterstica, i = 1, 2, . . . , n, do Sistema (3.6), associado com a


soluo clssica U , uma funo x = x(t) de classe C 1 , com seu grfico contido no domnio
de U , que uma curva integral da equao diferencial ordinria

dx
= i (U (x, t)). (3.13)
dt

3.3 Par Entropia - Fluxo de Entropia

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

Dq(U ) = D(U )DF (U ), U O. (3.14)

Alm disso, a condio de integrabilidade (2.8) aqui reduz-se a

D2 (U )DF (U ) = DF (U )T D2 (U ), U O. (3.15)

Ao multiplicar (3.15) na esquerda por Rj (U )T e na direita por Rk (U ), j 6= k, deduzimos


que (3.15) equivalente a

Rj (U )T D2 (U )Rk (U ) = 0, j, k = 1, , n; j 6= k (3.16)

se j (U ) 6= k (U ). Observe que a exigncia que alguma entropia seja convexa, pode


agora ser convenientemente expressada como

Rj (U )T D2 (U )Rj (U ) > 0, j = 1, , n. (3.17)

Quando o Sistema (3.6) simtrico,

DF (U )T = DF (U ), U O, (3.18)

admite dois pares de entropia-fluxo de entropia interessantes:

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

3.4 No Linearidade Genuna e Degenerao linear

Uma caracterstica que distingue o comportamento dos sistemas hiperblicos linea-


res e no-lineares de leis de conservao que, na primeira, as velocidades caractersticas
so constantes, ou seja, as ondas da mesma famlia se propagam com velocidade fixa. No
segundo, as velocidades das ondas variam com a amplitude da onda. Em nosso estudo
encontraremos manifestaes de no-linearidade, e em todos os casos notaremos que seus
efeitos so particularmente pronunciados quando as velocidades caractersticas i variam
na direo dos correspondentes autovetores Ri . A referncia usada para esta seo [9].

Definio 3.5. Para o Sistema hiperblico de leis de conservao (3.6) em O, U em O


chamado um estado genuinamente no linear da i-famlia caracterstica se

Di (U )Ri (U ) 6= 0, (3.24)

ou um estado linearmente degenerado da i-famlia caracterstica se

Di (U )Ri (U ) = 0. (3.25)

Quando (3.24) vlido para todo U O, i uma famlia caracterstica genuinamente


no-linear, enquanto que se (3.25) satisfeita para todo U O, ento i uma famlia
caracterstica linearmente degenerada. Quando toda famlia caracterstica genuinamente
no-linear, (3.6) um sistema genuinamente no-linear.

claro que a i-famlia caracterstica linearmente degenerada se, e somente se, a


i-velocidade caracterstica i constante ao longo da curva integral do campo vetorial Ri .
38

Teorema 3.6. Se no Sistema hiperblico de leis de conservao (3.6), as j- e k-velocidades


caractersticas coincidem: j (U ) = k (U ), U O, ento as j- e k-famlias caractersticas
so linearmente degeneradas.

A demonstrao do Teorema 3.6 pode ser consultada em [2].

3.5 Ondas Simples

A teoria apresentada nesta seo sobre ondas simples segue de [9].

No contexto das solues clssicas, a Lei de conservao escalar (3.2), com veloci-
dades caractersticas = f 0 (u), toma a forma

t u(x, t) + (u(x, t))x u(x, t) = 0. (3.26)

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:

Definio 3.7. Uma Soluo U de classe C 1 do Sistema hiperblico de leis de conservao


(3.6) chamada uma i-onda simples se U permanece constante ao longo da i-caracterstica
associada com ela.

Assim, uma funo U de classe C 1 , definida num subconjunto aberto de R2 e


tomando valores em O, uma i-onda simples se satisfaz (3.6) junto com

t U (x, t) + i (U (x, t))x U (x, t) = 0. (3.27)

Em particular, em uma i-onda simples, cada i-caracterstica se propaga com velocidade


constante e, portanto, uma linha reta.

Se U uma i-onda simples, de (3.6) com (3.27) deduzimos




x U (x, t) = a(x, t)Ri (U (x, t))
(3.28)
t U (x, t) = a(x, t)i (U (x, t))Ri (U (x, t)),

onde a um campo escalar. Inversamente, qualquer funo U de C 1 que satisfaz (3.28)


uma i-onda simples.
39

Seja (x, t) um ponto do domnio da i-onda simples U de (3.6), denotaremos com


(x, t) a inclinao em (x, t), da i-caracterstica associada com U , i..

(x, t) = i (U (x, t)). (3.29)

A derivada de na direo da linha com inclinao zero, i..,

t + x = 0. (3.30)

Assim, satisfaz a equao de Burgers.

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).

Desde que em uma onda i-simples U permanece constante ao longo da i-caracterstica,


numa pequena vizinhana X de qualquer ponto (x, t) onde x (x, t) 6= 0, podemos usar
a nica varivel para rotular U , i.., existe uma funo Vi , definida em um intervalo
( , + ), com = i (U (x, t)), tomando valores em O e tais que

U (x, t) = Vi ((x, t)), (x, t) X . (3.31)

Alm disso, em virtude de (3.28) e (3.29), Vi satisfaz

Vi () = b()Ri (Vi ()), ( , + ), (3.32)

i (Vi ()) = , ( , + ), (3.33)

onde b uma funo escalar e o ponto () denota a derivada com respeito a .

Inversamente, se Vi satisfaz (3.32), (3.33) e uma soluo C 1 de (3.30), tomando


valores no intervalo ( , + ), ento U = Vi ((x, t)) uma i-onda simples. (veja [9]).

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).

Teorema 3.10. Suponha que U O um estado de no linearidade genuna da i-famlia


caracterstica do Sistema hiperblico (3.6) de leis de conservao. Ento existe uma nica
curva de onda da i-rarefao Vi atravs de U . Se Ri for normalizado em uma vizinhana
de U atravs de
Di (U )Ri (U ) = 1, (3.34)
40

onde = i (U ), ento Vi a soluo da equao


e Vi reparametrizado por = ,
diferencial ordinria
Vi = Ri (Vi ), (3.35)

com condio inicial Vi (0) = U . Em particular, Vi C 3 .

A notao Vi ( ; U ) ser empregada quando for necessrio indicar o ponto de origem


desta curva de onda de rarefao.

A demonstrao detalhada deste teorema pode ser consultada em [9].

3.6 Condies de Admissibilidade

As definies e resultados apresentados nesta seo seguem de [9]. Como textos de


referncia adicionais se recomenda consultar [3], [16] e [19].

Considere o sistema hiperblico

t U + x F (U ) = 0, (3.36)

Em uma dimenso espacial, a condio de salto de Rankine Hugoniot

F (U+ ) F (U ) = s(U+ U ). (3.37)

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.

Observe que (3.37) pode ser escrito como

[A(U , U+ ) sI](U+ U ) = 0, (3.38)

onde
Z 1
A(V, U ) = DF ( U + (1 )V )d. (3.39)
0

Assim, s deve ser um autovalor real de A(U , U+ ), com autovetor associado U+ U .


Se para algum U O a velocidade caracterstica i (U ) um autovalor simples de
41

DF (U ), ento para V e U perto de U , A(V, U ) ter um autovalor real simples i (V, U )


com autovetor associado Si (V, U ). Em particular A(U, U ) = DF (U ) de onde obtemos
i (U, U ) = i (U ), Si (U, U ) = Ri (U ). Note que A(V, U ), i (V, U ) e Si (V, U ) so simtricas
em (V, U ). Portanto, a expanso (finita) de Taylor destas funes sobre o ponto mdio
1
2
(V + U ) produz
1
i (V, U ) = i ( (V + U )) + O(|V U |2 ), (3.40)
2

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)

Assim, s estar perto da velocidade caracterstica i . Tal choque ento chamado de


i-choque.

3.6.1 Locus de Hugoniot

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.

Teorema 3.12. Para um estado dado U O, suponha que a velocidade caracterstica


i (U ) um autovalor simples de DF (U ). Ento existe uma curva U = Wi ( ) de classe C 3
no espao de estado, chamado a curva i-choque atravs de U , e uma funo s = si ( ) de
classe C 2 , ambas definidas para em alguma vizinhana de 0, com a seguinte propriedade:
Um estado U pode ser unido a U por um i-choque de fora moderada e velocidade s se, e
somente se, U = Wi ( ), s = si ( ), para algum . Alm disso, Wi (0) = U e

si (0) = i (U ), (3.44)

1
si (0) = Di (U )Ri (U ), (3.45)
2

Wi (0) = Ri (U ), (3.46)

Wi (0) = DRi (U )Ri (U ). (3.47)


42

A notao Wi ( ; U ), si ( ; U ) vai ser empregada quando se precisa identificar o


ponto de origem desta curva de choque.

Uma demonstrao elegante deste teorema pode ser consultada em [22].

Em particular, se U um ponto de hiperbolicidade estrita de (3.36), o Teorema


3.12 implica que o Locus Hugoniot de U a unio de n curvas de choque, uma para cada
famlia caracterstica.

3.6.2 O Critrio de Admissibilidade de Lax

Consideremos uma soluo de (3.36), no semiplano superior, constitudo por um


estado constante U ( esquerda) unido a uma estado constante U+ ( direita) por um
choque x = st. Suponha que a velocidade s do choque satisfaa


1 (U ) i1 (U ) < s < i (U ) n (U )
(3.48)
1 (U+ ) j (U+ ) < s < j+i (U+ ) n (U+ ),

para algum i = 1, , n e j = 1, , n, com o entendimento que se i = 1 ento i1 (U ) =


e se j = n ento n+1 (U+ ) = .

O plano construir uma famlia de solues perturbando ligeiramente os estados


constantes U e U+ . Solues clssicas de (3.36) com pequena oscilao so aproximadas
por solues do sistema linearizado. Assim, para chegar concluso desejada sem enfrentar
detalhes tcnicos, fazemos a suposio simplificadora de que DF (U ) constante, igual a
DF (U ), para |U U | < , e tambm constante, igual a DF (U+ ), para |U U+ | < .
Procuramos ento solues de (3.36) semiplano superior, na forma

k (x, t)Rk (U ),
Pn

U + k=1 x < st + (t)
U (x, t) = (3.49)
Pn +
U+ + k=1 k (x, t)Rk (U+ ), x > st + (t),

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

e tambm ir satisfazer as condies de salto Rankine-Hugoniot atravs do choque pertur-


bado x = st + (t) se
n n

]k+ Rk (U+ ) [k (U ) s ]k Rk (U ) = (U+ U ). (3.51)
X X
[k (U+ ) s
k=1 k=1

Em virtude de (3.50), k so constantes ao longo das k-caractersticas, que so


linhas retas com inclinao k (U ). Em particular, de (3.48), i , , n e 1+ , , j+
so determinados em quase todo ponto por seus dados iniciais prescritos, em t = 0. Em
contrapartida, 1 , , i1
+
e j+1 , , n+ so determinados em parte pelos seus dados
iniciais prescritos em t = 0 e em parte por seus valores ao longo do choque. Estes ltimos
so restringidos pela condio de Rankine-Hugoniot (3.51), que deve ser considerada como
um sistema de n equaes nas n + i j incgnitas 1 , , i1
+
, j+1 , , n+ e .

Comumente, os choques satisfazem (3.48) com i = j de modo que




i1 (U ) < s < i (U )
(3.52)
i (U+ ) < s < i+1 (U+ ).

Neste caso, o choque chamado compressivo. Para os choques compressivos, o nmero de


incgnitas em (3.51) n, correspondente a o nmero de equaes. Se, alm disso

det[R1 (U ), , Ri1 (U ), U+ U , Ri+1 (U+ ), , Rn (U+ )] 6= 0, (3.53)

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

No que segue, assumimos que i um autovalor simples de DF e a ateno com foco


em choques i-compressivos de fora moderada. Nesse caso, |s i | pequena comparada
com i+1 i e i i1 , de modo que a primeira e a quarta desigualdades em (3.52)
sempre valem. As duas desigualdades restantes, permitem para as i-descontinuidades do
contato esquerda e/ou direita, combinar em

i (U+ ) s i (U ), (3.54)

que a E-condio de Lax. Alm disso, como U+ U quase colinear a Ri (U ), (3.53)


segue da hiperbolicidade. No caso da lei de conservao escalar (3.2) a velocidade
(u) = f 0 (u) e assim (3.54) se escreve como

f 0 (u+ ) s f 0 (u ), (3.55)

onde s a velocidade de choque computada atravs da condio de salto de Runkine-


Hugoniot:
f (u+ ) f (u )
s= . (3.56)
u+ u

3.6.3 O Critrio de Admissibilidade do Choque de Liu

O critrio de admissibilidade de choque de Liu mais restrita que a E-condio


de Lax. Pela construo, faz sentido apenas no contexto de choques que unem estados
que podem ser conectados por curvas de choque. Assim, a sua aplicabilidade aos sistemas
gerais limitada a choques de fora moderada.

Para um estado dado U , suponha i (U ) um autovalor simples de DF (U ) de


modo que a curva do i-choque Wi ( ; U ) atravs de U est bem definida, pelo Teorema
3.12. O i-choque que liga U , esquerda, a um estado U+ = Wi (+ ; U ), direita, de
velocidade s, satisfaz a E-condio de Liu se

s = si (+ ; U ) si ( ; U ). para todo entre 0 e + . (3.57)

Como U e U+ so unidos por um i-choque, U tambm deve estar na curva


i-choque emanando de U+ , digamos U = Wi ( ; U+ ). A justificativa do critrio de
admissibilidade de Liu, dado pelo seguinte teorema.

Teorema 3.13. Suponha que a i-famlia caracterstica genuinamente no linear e i


uma velocidade caracterstica simples. Ento os i-choques fracos satisfaz a E-condio de
Liu se, e somente se, satisfaz a E-condio de Lax.
45

A demonstrao deste teorema apresentada por Liu em [18].

3.6.4 O Critrio de Admissibilidade do Choque Entropia

A ideia de empregar desigualdades de entropia para eliminar solues fracas e


esprias de sistemas hiperblicos gerais das leis de conservao foi introduzido no captulo
anterior. Para o Sistema (3.36), em uma dimenso espacial, (2.24) assume a forma

s[(U+ ) (U )] + q(U+ ) q(U ) 0, (3.58)

onde (, q) o par entropia-fluxo de entropia satisfazendo (3.14), Dq = DDF . A


quantidade no lado esquerdo de (3.58) ser denominada doravante, a produo de entropia
atravs do choque.

O fato de que a condio de entropia se reduz a um teste pontual em choques


desempenhou um papel importante na opinio de que a admissibilidade s deve ser testada
ao nvel dos choques, isto , que uma soluo BV geral fraca ser admissvel se, e somente
se, cada um dos seus choques admissvel.

Teorema 3.14. Quando a i-famlia caracterstica linearmente degenerada, a produo


de entropia atravs de qualquer i-choque (i-descontinuidade de contato) zero.

A demonstrao do Teorema 3.14 pode ser revisada em [10].

Teorema 3.15. Quando a i-famlia caracterstica genuinamente no linear e i uma


velocidade caracterstica simples, a condio de admissibilidade de entropia e a E-condio
de Lax para i-choques fracos so equivalentes.

Lax apresenta uma demonstrao para este Teorema em [15].

A fim de escapar da no-linearidade genuna e choques fracos, vamos considerar a


condio
(Wi )T ( ; U )D2 (Wi ( ; U ))[Wi ( ; U ) U ] 0. (3.59)

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

Teorema 3.16. Suponha que a curva i-choque Wi ( ; U ) atravs de U , e com velocidade


de choque si ( ; U ), esto definidas num intervalo (, ) contendo o zero, e satisfazendo
(3.59) para (, ), onde uma entropia convexa do sistema. Ento qualquer i-choque
unindo U na esquerda, para U+ = Wi (+ ; U ) na direita, com velocidade s, que satisfaz a
E-condio de Liu, tambm satisfaz a condio de admissibilidade da entropia.

Uma demonstrao detalhada do Teorema 3.16 feita por Liu, pode ser consultada
em [18].
47

4 RESOLUO DO PROBLEMA DE RIEMANN

4.1 Soluo Auto-Semelhante do Problema de Riemann

Apresentaremos nesta seo algumas propriedades das solues auto-semelhantes,


seguindo os textos [8] e [9].

O sistema de leis de conservao

t U + x F (U ) = 0, (4.1)

invariante sob alongamento uniforme de coordenadas:(x, t) (x, t); da admite


solues auto-similares, definidas no plano espao-tempo e constantes ao longo de linhas
retas, saindo da origem. Uma vez que (4.1) tambm invariante sob translaes de
coordenadas: (x, t) (x + x, t + t), o ponto focal de solues auto-similares pode ser
transladado da origem para qualquer ponto fixo (x, t) no espao-tempo. A soluo auto-
similar U de (4.1) (geralmente fraca), definida na parte superior ou sobre o semi-plano
inferior e focado na origem admite a representao
x
 
U (x, t) = V , < x < , 0 < t < , (4.2)
t
onde V uma funo mensurvel limitada em (, ), que satisfaz a equao diferencial
ordinria
(F V ) () V () = 0, (4.3a)

onde o ponto denota a diferenciao com respeito a . A equao anterior equivalente a

[F (V ()) V ()] + V () = 0, (4.3b)

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

A restrio de U para t < 0 na forma (4.2) tratado de modo semelhante, produzindo


novamente (4.3a).
48

De (4.3b) inferimos que F (V ) V Lipschitz contnua em (, ) e, alm disso,

Z
[F (V ()) V ()] [F (V ()) V ()] = V ()d, (4.6)

para todo e em (, ).

O domnio (, ) de qualquer soluo mensurvel limitada V de (4.3a) parti-


cionado nos conjuntos

S = { R|V descontinua em }, (4.7a)

W = { R|V continua em e i (V ()) = com i = 1, . . . , n}, (4.7b)

C = { R|V continua em e i (V ()) 6= com i = 1, . . . , n}. (4.7c)

Toda sequncia crescente {k } e decrescente {k } convergindo ao ponto de S


contm subsequncias que abusando da notao denotaremos novamente por {k } e {k },
tais que {V (k )} e {V (k )} convergem aos respectivos limites V e V+ . De (4.6) temos
que
F (V+ ) F (V ) = [V+ V ]. (4.8)

Em particular, quando os limites laterais V () existem, marca um choque e (4.8)


expressa a Condio de Salto de Rankine Hugoniot. No entanto, no atual nvel de
generalidade, no podemos excluir a possibilidade de que sequncias diferentes convergindo
para podem gerar valores limitantes distintos V e/ou V+ . Em qualquer caso, de (4.8)
segue que, sempre que |V+ V | suficientemente pequeno, deve estar perto de i (V )
para algum i {1, , n}. Isso, por sua vez, implica que qualquer ponto de continuidade
de V no fecho de S deve pertencer a W . Ao mesmo tempo, qualquer ponto de continuidade
de V no fecho de W tambm pertence a W . Assim, S W fechado e C aberto.

Como um conjunto aberto, C a (no mximo) unio contvel de intervalos


abertos disjuntos. Vamos fixar e em qualquer destes intervalos abertos, digamos I .
Reescreveremos (4.6) na forma
Z
(A I)[V () V ()] = [V () V ()]d, (4.9)

onde A a matriz n n
Z 1
A= [sDF (V ()) + (1 s)DF (V ())]ds. (4.10)
0
49

Tome , como delimitado pelos autovalores de A e o lado direito de (4.9) comporta-


se como O(1) em | |. Assim, (4.9) implica que V Lipschitz em I e sua derivada
desaparece em quase todo ponto, i.., V constante em I .

Vamos supor que o Sistema (4.1) estritamente hiperblico, e que a imagem de V


est contido numa esfera B (U ), com raio pequeno , centrado em algum estado U . O
tamanho de est sujeita ao mesmo tipo de restries que caracterizam os choques de fora
moderada do captulo anterior. Sob estas suposies, os conjuntos S e W so confinados
na unio de n intervalos de comprimento O() centrados nos pontos 1 (U ), , n (U ); se
Si e Wi denotam as partes de S e W situadas na vizinhana de i (U ), e identificamos a
envoltria convexa [i , i ] do conjunto fechado Si Wi . Assim, V toma valores constantes
U0 , U1 , Un em os intervalos (, 1 ), (1 , 2 ), , (n , ). Cada intervalo pode conter
um subconjunto aberto de C que denotaremos com Ci . Aqui cada [i , i ] representa a
i-onda do leque de ondas V . Conclumos que sob as suposies acima V compreende um
leque de n ondas, uma de cada famlia caracterstica, propagando-se a uma velocidade
quase caracterstica e separados por estados constantes. O leque de onda est saindo da
origem quando a soluo auto-semelhante definida no meio-plano superior, ou entrando
na origem quando a soluo auto-semelhante definida no semi-plano inferior. A estrutura
da i-onda torna-se particularmente clara quando a funo V tem variao limitada. Neste
caso Si contvel e os limites laterais V = V () existem em cada Si , satisfazendo
a condio de salto (4.8). Assim, Si consiste de i-choques. Alm disso, se V diferencivel
em um ponto Wi , de (4.3a) e de (4.7b) resulta que

[DF (V ()) I]V () = 0, (4.11)

Di (V ())V () = 1. (4.12)

Assim, V () um vetor no nulo, colinear com o autovetor Ri (V ()) de DF (V ()). Alm


disso, V () necessariamente um estado genuinamente no linear da i-famlia caracterstica.
Consequentemente, a i-onda ser uma onda de rarefao no caso de um leque de ondas de
sada ou uma onda de compresso no caso de um leque de ondas de entrada.

Demonstramos agora que V tem variao limitada em [i , i ], pelo menos quando a


i-onda unidirecional, no sentido de que o i-simo autovetor esquerdo Li (U ) de DF (U )
pode ser orientado de tal forma que

Li (U )[V () V ()] 0, (4.13)


50

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

Multiplicando (4.15) esquerda por Li (U ) e lembrando que os autovetores esto norma-


lizados, de (3.9) e de (4.13) deduzimos que ai 0. Por outro lado, de (4.14) e de (4.15)
temos que
X
|ak | cai + c( ), (4.16)
k6=i

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,

onde UL e UR so estados dados em O. Continuando com nossa discusso acima, procura-


remos uma soluo do problema de Riemann na forma (4.2), onde V satisfaz a equao
diferencial ordinria (4.3a) em (, ), com as condies de fronteira

V () = UL , V () = UR . (4.19)

4.2 Soluo ao Problema de Riemann via Curvas Caractersticas

O objetivo aqui construir uma soluo do problema de Riemann reunindo estados


constantes, ondas de rarefao centradas e choques admissveis. Limitamos nosso estudo
para o caso em que as velocidades das ondas de diferentes famlias caractersticas esto
estritamente separados. Isto abranger ondas de pequena amplitude em sistemas de
hiperbolicidade estrita, bem como ondas de qualquer amplitude em sistemas especiais
51

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].

Teorema 4.2. Suponha que a velocidade de onda de distintas famlias caractersticas


esto estritamente separadas. Qualquer soluo auto semelhante (4.2) do problema de
Riemann (4.1), (4.18), com choques satisfazendo a E-condio de Lax, compreende n + 1
estados constantes UL = U0 , U1 , , Un1 , Un = UR . Para i = 1, , n, Ui1 est unido
a Ui por uma i-onda, especificamente uma sequncia de i-ondas de rarefao centradas
e/ou i-choques com a propriedade que o i-choque cercado na esquerda (e/ou na direita)
por uma i-onda de rarefao so i-descontinuidades de contato esquerdo (e/ou direito).
(ver Figura 2)

Para uma demonstrao detalhada deste teorema, ver [14].

Figura 2 Leque de ondas

Os i-choques e i-rarefaes simples sero chamadas i-ondas elementares. O termo


i-onda composta ser empregada quando for necessrio lembrar ou enfatizar que a i-onda
pode conter mais de uma i-onda elementar. Em [9] se mostra que o locus de estados
que podem ser unidas direita (ou esquerda) de um estado fixo U O por uma i-onda
admissvel, composta de i-rarefaes e i-choques admissveis, uma curva de Lipschitz
i ( ; U ) (ou i ( ; U )), chamada a curva da i-onda para frente (ou para trs) atravs de
U , que pode ser parametrizada como

i ( ; U ) = U + Ri (U ) + Pi ( ; U ), (4.20)

i ( ; U ) = U + Ri (U ) + Qi ( ; U ), (4.21)
52

onde Pi e Qi so funes contnuas de Lipschitz de (, U ) que se anulam em = 0.


A constante de Lipschitz torna-se arbitrariamente pequena se estiver restrita a uma
pequena vizinhana do origem.

Considerando a existncia das curvas de onda com as propriedades anteriores, para


resolver o problema de Riemann, temos que determinar uma n-tupla  = (1 , , n ) Rn ,
tal que comeando de U0 = UL e computando sucessivamente Ui = (i ; Ui1 ), i = 1, , n,
terminamos com Un = UR . Consequentemente, definimos a funo

(; U ) = n (n ; n1 (n1 ; 1 (1 ; U ) )), (4.22)

claramente,
n
X
(; U ) = U + i Ri (U ) + G(; U ), (4.23)
i=1

onde G uma funo de Lipschitz que nula em  = 0 e cuja constante de Lipschitz


torna-se arbitrariamente pequena quando  pertence a uma vizinhana suficientemente
pequena do origem. Quando UR est suficientemente prximo de UL , existe um nico 
prximo de 0 tal que (; UL ) = UR . Na verdade, este  pode ser construdo atravs do
esquema de iterao: (0) = 0 e para m = 1, 2,

(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

A demonstrao deste teorema pode ser consultada em [14].

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.

A prova deste teorema apresentada em [17]

Vamos ver a importncia de usar choques de fora moderada no seguinte exemplo.

Exemplo Considerando o sistema:




ut vx = 0,
e2u
 
vt + = 0,


2 x

2
temos que F (u, v) = (v, e 2 ), alm disso

0 1
DF =

e2u 0

e os respectivos autovalores e autovetores de DF so

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

Assim, o sistema estritamente hiperblico e genuinamente no linear, consideremos agora


os estados UL = (0, 0) e UR = (0, 2k). Ento a equao para a 1-rarefao
Z u
v= ex dx = 1 eu ,
0

e para a 2-rarefao
v = 2k 1 + eu .

Portanto, estas curvas nunca se encontram se k 1. Assim, o problema de Riemann no


possui soluo. Para maiores detalhes sobre este e outros exemplos interessantes, consultar
[21].

4.3 O Critrio de Admissibilidade da Taxa de Entropia

Os resultados apresentados nesta seo seguem de [8], [9] e [11].

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)

onde a soma efetuada no conjunto de pontos de descontinuidade salto de V . O par


entropia-fluxo de entropia ((U ), q(U )) induz uma famlia de pares de entropia-fluxo de
entropia ((U ) + U + a, q(U ) + F (U )) para M1n e a R, devido condio
de salto Rankine Hugoniot, que eles produzem o mesmo valor da entropia. Podemos
considerar, sem perder a generalidade, que

(UL ) = (UR ) = 0. (4.26)

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

Na verdade, P e H esto relacionados por

HV = PV + q(UL ) q(UR ). (4.28)


55

Podemos conferir isso comeando com a identidade

(V ()) = [(V ()) q(V ())] + (q V ) () ( V ) (), (4.29)

no sentido de medidas. Note que do Teorema 1.17 temos que

(q V ) ( V ) = [Dq
^ V D
^ V ]V , (4.30)

de (3.14), (4.6) e (4.30) segue que a medida (q V ) ( V ) est concentrada no


conjunto de pontos de descontinuidade de salto de V . Portanto, de (4.25), (4.26) e (4.29),
obtemos (4.28).

Definio 4.5. Um leque de ondas U (x, t) = V (x/t), com estados finais V () = UL ,


V () = UR satisfaz o critrio de admissibilidade da taxa de entropia se PV PV , ou
equivalentemente HV HV , para qualquer outro leque de ondas U (x, t) = V (x/t) com
os mesmos estados finais V () = UL e V () = UR .

Teorema 4.6. Considere um Sistema estritamente hiperblico (4.1) de leis de conservao,


dotado de um par entropia-fluxo de entropia (, q), onde (localmente) uniformemente
convexo. Um leque de ondas com ondas de fora moderada satisfaz o critrio de admissibi-
lidade da taxa de entropia se cada choque satisfaz a E-condio de Liu.

Demonstrao. Vamos mostrar a afirmao do teorema por contradio: dado qualquer


leque de ondas contendo um choque que viola a E-Condio de Liu, construiremos um
leque de ondas com taxa de entropia menor. Apresentaremos somente o caso de um leque
de ondas composto de um nico choque, o caso geral pode ser consultado em [8]. Suponha
que os estados UL e UR , com |UR UL | = positivo e pequeno, esto unidos por um
i-choque de velocidade s,

F (UR ) F (UL ) = s[UR UL ], (4.31)

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.

Seja UR = Wi (R ; UL ), com R > 0. Como a E-Condio de Liu violada, o


conjunto de T = { (0, R ), tal que si ( ; UL ) < s} no vazio. Seja L = inf T , e
suponha que L > 0, pois o caso L = 0 simples. Assim, si (L ; UL ) = s, e si ( ; UL )
decrescente em L . Consideramos o caso genrico s (L ; UL ) < 0.
56

Estabelecendo UM = Wi (L ; UL ), temos que

F (UM ) F (UL ) = s[UM UL ]. (4.32)

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.

Comeamos fixando um pequeno nmero positivo . O leque de ondas V consistir


de (n + 2) estados constantes UL = U0 , , Ui1 , Ue , Ui , , UN = UR , unidos por choques.
Para j = 1, , i 1, Uj est unido a Uj1 por um j-choque, Uj = Wj (j ; Uj1 ) de
velocidade sj :

F (Uj ) F (Uj1 ) = sj [Uj Uj1 ], j = 1, , i 1. (4.34)

Ue est unido a Ui1 por um i-choque, Ue = Wi (L + ; Ui1 ), de velocidade s :

F (Ue ) F (Ui1 ) = s [Ue Ui1 ]. (4.35)

Ue est unido a Ui por um i-choque, Ue = Wi (R + i ; Ui ), de velocidade s+ :

F (Ue ) F (Ui ) = s+ [Ue Ui ]. (4.36)

Finalmente, para j = 1+1, , n, Uj1 est unido a Uj por um j-choque, Uj1 = Wj (j ; Uj )
de velocidade sj :

F (Uj1 ) F (Uj ) = sj [Uj1 Uj ], j = i + 1, , n. (4.37)

As amplitudes (1 , , n ) das ondas so computadas da equao

(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 ).

De (4.31), (4.34), (4.35), (4.36) e (4.37), deduzimos que

(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,

Uj Uj1 = aj Rj (UL ) + Sj , |Sj | = O()|aj |. (4.42)

Assim, denotando
= |(s s )Li (UL )[Ue UL ]|, (4.43)

deduzimos de (4.41)

|aj | = O(), j = 1, , i 1, i + 1, , n, (4.44)

(s s )[Ue UL ] + (s s+ )[UR Ue ] = O( 2 ), (4.45)

que implica em particular, que (s s ) e (s s+ ) tm sinais opostos. Lembrando que


si (L ; Ul ) < 0, conclumos que s < s < s+ .

Computamos agora HV de (4.27):


i2
HV =
X
(sj1 sj )(Uj ) + (s si1 )(Ui1 ) + (s+ s )(Ue )
j=1
n1
(4.46)
X
+ (si+1 s+ )(Ui ) + (sj+1 sj )(Uj ).
j=i+1

Ao reorganizar os termos nas somas acima:


i1
HV =
X
(s sj )[(Uj ) (Uj1 )] + (s+ s )(Ue )
j=1
n
(4.47)
X
+ (s+ sj )[(Uj ) (Uj1 )].
j=i+1
58

Adicionando e subtraindo termos, a equao anterior pode ser reescrita como


n o
HV = (s s ) (Ue ) D(Ue )[Ue UL ] (UL )
n o
+ (s+ s) (Ue ) D(Ue )[Ue UR ] (UR )
i1
X n o (4.48)
+ (s sj ) (Uj ) (Uj1 ) D(Ue )[Uj Uj1 ]
j=1
Xn n o
+ (s+ sj ) (Uj ) (Uj1 ) D(Ue )[Uj Uj1 ] .
j=1+1

Como estritamente convexa, e lembrando (4.43) e (4.45),


n o

(s s ) (Ue ) D(Ue )[Ue UL ] (UL ) |Ue UL |
n o (4.49)
(s+ s) (Ue ) D(Ue )[Ue UR ] (UR ) |Ue UR |,

com > 0. Por outro lado, de (4.44) temos que




|(Uj ) (Uj1 ) D(Ue )[Uj Uj1 ]| O()|Ue UL |, j = 1, , i 1
|(Uj ) (Uj1 ) D(Ue )[Uj Uj1 ]| O()|Ue UR |, j = 1 + 1, , n.


(4.50)
Portanto, HV < 0, o que estabelece o teorema no caso especial onde o leque de onda
consiste em um nico choque violando a E-condio de Liu.

Alm de fornecer um critrio de admissibilidade do leque de onda, o princpio da


taxa de entropia (Definio 4.5) sugere um mtodo alternativo para construir solues
para o problema de Riemann (4.1), (4.18) minimizando a funcional taxa de entropia
HV sob todos os leques de ondas com estados finais UL e UR , usando as equaes de
Euler-Lagrange. (veja [4]).

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.

Demonstrao. Suponha que UL e UR esto em uma bola B2 (U ) com centro em algum


estado U e raio 2 , onde um nmero positivo pequeno. Consideramos a famlia do leque
59

de ondas saliente com valores na bola B (U ), estados finais UL , UR e i-ondas unidirecionais.


Esta famlia no vazia, pois contm o leque de onda com estados finais UL e UR cujas
i-ondas so (no necessariamente admissveis) i-choques. Na verdade, para construir este
leque de ondas definimos, no lugar de (4.22),

(; U ) = Wn (; Wn1 (; W1 (, U ) )), (4.51)

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 ).

Fixando algum leque de ondas V na famlia anterior, que como mostramos na


Seo 4.1, compreende de n ondas [1 , 1 ], , [n , n ] separados por estados constantes
U0 , U1 , , Un . No que se segue, c representa uma constante positiva genrica que no
depende de e de V .

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

portanto, |Ui Ui1 | c 2 , para i = 1, , n, que implica

T V(,) V (.) c 2 , (4.55)

em virtude de (4.17).

Resulta agora do teorema de Helly que, dentro da famlia de leque de ondas em


considerao, qualquer sequncia minimizante V para o funcional (4.27) contm uma
subsequncia convergindo para um minimizador V . Devido ao Teorema 4.6, qualquer
choque de V deve satisfazer a E-condio de Liu e assim V coincide com a nica soluo
admissvel para o problema de Riemann estabelecido pelo Teorema 4.4.
60

5 CONCLUSES E TRABALHOS FUTUROS

5.1 Concluses

Apresentamos de forma geral parte da teoria de leis de conservao e leis de balano


englobando Rn .

1. No caso de sistemas de leis de conservao estritamente hiperblicos numa dimenso


espacial sempre possvel encontrar o par entropia-fluxo de entropia. Portanto, po-
demos aplicar o mtodo variacional para resolver o problema de Riemann respectivo,
com choque de fora moderada.

2. A soluo pelo mtodo variacional coincide com a soluo pelo mtodo das curvas
caractersticas.

3. Quando o problema de Riemann estritamente hiperblico e no possui choque de


fora moderada, ento pode acontecer que o problema no tenha soluo. (veja o
exemplo da seo 4.2 )

5.2 Trabalhos futuros

1. Quais so os requerimentos mnimos para aplicar o mtodo variacional em leis de


conservao de duas dimenses?

2. Seguindo o comentrio anterior podemos formular a pergunta: Ser possvel aplicar


o mtodo variacional, no caso de leis de conservao que no sejam estritamente
hiperblicos? Quais seriam os requerimentos mnimos para aplic-lo?

3. Ser possvel aplicar o mtodo variacional para problemas com choques de fora
forte? Sob quais condies?
61

REFERNCIAS

[1] AMBROSIO, L., FUSCO, N. and PALLARA, D. Functions of Bounded Variation


and Free Discontinuity Problems, Oxford Mathematical Monographs, The Clarendon
Press, Oxford University Press, New York, 2000

[2] BOILLAT, G. Chocs charactheristiques, C. R. Acad. Sci. Paris. Srie I, 274 (1972), p
1018-1021.

[3] BRESSAN, A. Hyperbolic Conservation Laws An Illustrated Tutorial, Department of


Mathematics, Penn State University, 2009.

[4] BRUNT, B. V. The Calculus of Variations, Springer, Institute of Fundamental


Sciences, Massey University, 2004 New York, 2004.

[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).

[7] CHAPIRO, G., GUTIERREZ, A. E. R., HERSKOVITS, J., MAZORCHE, S. R.


and PEREIRA, W. S. Numerical Solution of a Class of Moving Boundary Problems
with a Nonlinear Complementarity Approach. Journal of Optimization Theory and
Applications, v. 168 (2016), p. 534-550.

[8] DAFERMOS, C. M. A variational approach to the Riemann problem for conservation


laws, Discrete and Continous Dynamical Systems v. 23, p. 185-195, 2009.

[9] DAFERMOS, C. M. Hyperbolic Conservation Laws in Continuum Physics, Grundleh-


ren der Mathematischen Wissenschaften [Fundamental Principles of Mathematical
Sciences], Springer-Verlag, Berlin, 2016.

[10] DAFERMOS, C. M. Hyperbolic systems of conservation laws, Systems of Nonlinear


partial Differential Equations, ed. J. M. Ball. Dordrecht: D. Reidel 1983, p. 25-70.

[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

[16] LEVEQUE, R. J. Numerical Methods for Conservation Laws (Second Edition),


Birkhaser, 1992

[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.

[19] PLAZA, R. G. Sistemas Hiperblicos de Leyes de Conservacin, Departamento de


Matemticas y Mecnica, Universidad Autnoma de Mxico, 2000.

[20] BIEZUNER, R. J. Equaes Diferenciais Parciais, Departamento de Matemtica,


Instituto de Cincias Exatas, Universidade Federal de Minas Gerais., 2010.

[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.

[23] VAN D., C. J. An introduction to Conservation Laws: Theory and Applications to


Multi-Phase Flow, Dept. of mathematics and Computer Science, Eindhoven University
Technology, The Netherlands, 2003.

[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

APNDICE A TEOREMA A: Demonstrao

Neste captulo apresentaremos a demonstrao do Teorema 1.3 da Seo 1.2 seguindo


os passos de [9].

Demonstrao. Seja N S k1 fixo e qualquer hiperplano C , de codimenso um, com


normal N e interseo no vazia com X . Para cada X C X , Br denota a semi bola
{Y Br (X) : (Y X) N < 0}. O limite
1 Z
aN (X) = lim qBr (X) (Y )dH k1 (Y ), (A.1)
r0 H k1 (C Br (X))
C Br (X)

existe para quase todo (com respeito a H k1 ) X C X e define uma funo H k1 -


mensurvel limitada. Repetindo a construo acima para cada hiperplano com normal N ,
definimos aN em todo X .

Para estudar as propriedades de aN , fixamos N S k1 , junto com um hiperplano


C com normal N , e uma bola B em X , centrado em algum ponto C X . Ento,
aplicamos a lei de balano aos domnios cilndricos

D= A , A = {X : X N C B},
[
(A.2)
< <

onde e so nmeros pequenos no negativos. Isto produz


Z Z
aN (X)dH k1 (X) + aN (X)dH k1 (X) = P(D) + O() + O(), (A.3)
A A

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 .

Retornando a (A.3), e agora fazendo 0 e 0, conclumos que aN (X) =


aN (X), para quase todo (com respeito a H k1 ) X C X , a menos que C pertena
(como mximo) a uma famlia contvel de hiperplanos com normal N para o qual |P(C
X )| > 0. Doravante, nos referiremos a estes hiperplanos excepcionais como singular.

Para mostrar (1.15), consideramos qualquer domnio prprio D em X e fixamos


X D, onde a normal unitria exterior N e o hiperplano tangencial C . Suponha
64

D
Br (X)

X N

Figura 3 D Br

alm disso que X um ponto de Lebesgue de qD e que a derivada superior de |P| em X,


com respeito medida de Lebesgue, finita. Para r positivo e pequeno, escreveremos a lei
de balano, primeiro para o domnio D Br (X), ento para a semi bola {Y Br (X) :
(Y X) N < 0}; veja a figura (3).

Combinando o resultado das duas equaes, temos que


Z Z
k1
qD (Y )dH (Y ) aN (Y )dH k1 (Y ) = o(rk1 ). (A.4)
DBr (X) C Br (X)

Dividindo (A.4) por rk1 , fazendo r 0, lembrando (A.1), obtemos (1.15), assim temos
estabelecido a afirmao (1) do teorema.

Vamos mostrar (1.16) empregando o clebre argumento do tetraedro de Cauchy.


Consideramos a base ortonormal padro {E : = 1, , k} em Rk e alm disso o campo
vetorial m-linha A L (X ; M1k ) com componentes aE :

A(X) = [aE1 (X), , aEk (X)] . (A.5)

Seja N S k1 com componentes diferentes de zero N R, e tome X X com a


seguinte propriedade: X um ponto de Lebesgue de k + 1 funes aE1 , , aEk e aN ; a
derivada superior de |P| em X, com respeito medida de Lebesgue, finita. Para r
positivo e pequeno, consideramos o simplex

D = {Y : (Y X )sgnN > r, = 1, , k; (Y X) N < r}. (A.6)

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

H k1 (C ) = |N |H k1 (C ). Escolhemos r tal que nenhuma das faces de D esteja situado


em um hiperplano singular. A lei de balano para D ento se escreve como
Z k Z
k1
aE dH k1 = P(D).
X
aN dH (sgnN ) (A.7)
C =1 C

Dividindo (A.7) por H k1 (C ) e depois passando para o limite ao longo de qualquer


sequncia de r que tende a zero, evitando ao mesmo tempo o conjunto de valores (no
mximo contvel) para que alguma face de D se encontra em um hiperplano singular,
chega-se a
k
X
aN (X) = aE (X)N = A(X)N, (A.8)
=1

que estabelece (1.16).

E2

D
Br (X)

X E1

Figura 4 Argumento do tetraedro de Cauchy 2-dimensional

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 ,

(X) = k (1 X), (A.9)

e a usamos para amolecer, na forma habitual, P e A no conjunto X X de pontos


cuja distncia de X c excede a ,

p = P, A = A. (A.10)
66

Para qualquer hipercubo D X , aplicamos o teorema da divergncia ao campo suave


A e usamos o teorema de Fubini para obter

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

onde DY denota a Y -translao de D, isto DY = {Z : Z + Y D}. Em virtude da lei


de balano,
Z Z
A(Z)N (Z)dH k1
(Z) = aN (Z)dH k1 (Z) = P(DY ), (A.12)
DY DY

para quase todo Y na bola {Y : |Y | < }. Portanto, de (A.11) resulta


Z Z Z
divA (X)dX = (Y )P(DY )dY = p (X)dX, (A.13)
D Rk D

daqui inferimos
divA (X) = p (X), X X . (A.14)

Fazendo 0 obtemos (1.17), no sentido das distribuies em X . Isto completa a


demonstrao do teorema.
67

APNDICE B TPICOS DE TEORIA DA MEDIDA

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].

Definio B.1 (-lgebras e espaos de medida). Seja X um conjunto no vazio e seja E


a coleo de subconjuntos de X.

(a) E um lgebra se, E , E1 E2 E e X \ E1 E , sempre que E1 , E2 E .

(b) Uma lgebra E um -lgebra se, para qualquer sequncia (Eh ) E sua unio
S
h Eh
pertence a E .

(c) Para qualquer coleo G de subconjuntos de X, a -lgebra gerada por G a menor


-lgebra contendo G . Se (X, ) um espao topolgico, denotamos por B(X) a -lgebra
de Borel de subconjuntos de X, i.., a -lgebra gerada pelos subconjuntos abertos de X.

(d) Se E uma -lgebra em X, chamamos o par (X, E ) um espao de medida.

Definio B.2 (Medidas positivas). Seja (X, E ) um espao de medida e : E [0, ].

(a) aditiva se, para E1 , E2 E ,

E1 E2 = = (E1 E2 ) = (E1 ) + (E2 ).

(b) -subaditiva se, para E E , (Eh ) E ,



[
X
E Eh = (E) (Eh ).
h=0 h=0

(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

dizemos que finita se < .

(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.

(a) : E Rm uma medida se, () = 0 e para qualquer sequncia (Eh ) de elementos


disjuntos por pares de E

!
[ X
= (Eh ).
h=0 h=0
se m = 1 dizemos que uma medida real, se m > 1 dizemos que uma medida vetorial.

(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.

Proposio B.5 (Critrio de coincidncia). Sejam , medidas positivas no espao de


medida (X, E ), e seja G E uma famlia fechada baixo intersees finitas; suponha que
(E) = (E) para cada E G , e que exista uma sequncia (Xh ) em G tal que X =
S
h Xh
e (Xh ) = (Xh ) < para todo h. Ento e coincidem na -lgebra gerada por G .

Definio B.6 (Funo mensurvel). Seja (X, E ) um espao de medida e (Y, d) um espao
mtrico

(a) Uma funo f : X Y E -mensurvel se f 1 (A) E para cada conjunto aberto A Y .

(b) Se uma medida positiva em (X, E ), dizemos que a funo f -mensurvel se ela
E -mensurvel

Definio B.7 (Integrais). Seja (X, E ) um espao de medida.

(a) Para E X definimos a funo caracterstica de E, denotado por E , por




1 se x E
E (x) :=
0 se x 6 E.

Dizemos que f : X R uma funo simples se a imagem de f finita, i.., se f pertence


ao espao vetorial gerado pelas funes caractersticas.
69

(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

Dizemos que uma aplicao u : X R -mensurvel -somvel se


Z
|u|d < .
X

Dizemos que uma aplicao u : X R -mensurvel -integrvel se cada


Z Z
+
u d < ou u d < .
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

H k (E) := lim Hk (E),


0
70

onde, para 0 < , Hk (E) definido por


( )
k
Hk (E) [diam(Ei )]k : diam(Ei ) < , E
X [
:= k inf Ei ,
2 iI iI

para coberturas finitas ou contveis {Ei }iI , com a conveno diam() = 0.

Definio B.11 (Funes de Borel). Sejam X, Y espaos mtricos, e seja f : X Y .


Dizemos que f uma funo de Borel se f 1 (A) B(X) para todo conjunto aberto
AY.

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

para todo E RN . uma medida exterior.

Definio B.15 (Medida de Lebesgue). Seja a medida exterior do exemplo anterior,


chamaremos medida de Lebesgue exterior e denotaremos por L N . Como finita em
conjuntos compactos, de acordo com o critrio de Caratheodory sua restrio em B(RN )
uma medida de Radon; dizemos que E RN Lebesgue mensurvel se E pertence ao
completamento de BL N (RN ).
71

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)

Todo ponto x satisfazendo (B.3) chamado um ponto de Lebesgue de f .