atico Navier-Stokes

Sobre o Modelo Matem

por

Luis Adauto Medeiros

Introduc
ao

Tem-se como objetivo principal fazer uma deducao do modelo matematico

para o escoamento de fluidos homogeneos, incompressveis e viscosos, por
meio de argumentos elementares e intuitivos, dirigido `as pessoas interes-
sadas em ciencia, em geral.
Inicia-se com consideracoes fsicas geometricas, intuitivas para obter o
que se entende por fluxo de fluido atraves de uma superfcie, para obter
a equacao de continuidade que traduz, matematicamente, o princpio de
conservacao de massa. Por meio desta equacao, define-se o que se entende
por fluido incompressvel. Da lei de conservacao de quantidade de movi-
mento encontra-se o modelo que se procura, conhecido sob a denominacao
de equacoes de Navier-Stokes.
Concluindo, descreve-se o metodo para o estudo matematico do modelo,
distinguindo-se os casos em que a dimensao do espaco e n = 2 ou no caso
n 4.
Relaciona-se uma pequena bibliografia no final do artigo, refletindo a
visao do autor sobre o problema. Observe-se que a bibliografia e excessi-

Conferencia de Divulgacao, Instituto de Matem
atica - UFRJ, 2006

1
vamente vasta e aqui encontra-se uma pequena amostra.

1. Considera
coes Fsicas e Geom
etricas

Considere-se um fluido em movimento. Para fixar ideia, pensa-se em

agua fluindo em um canal. Represente por um aberto limitado contido
no ambiente onde se encontra o fluido. Pensa-se cheio do fluido, com
fronteira regular . O espaco onde esta imerso e o R3 , construido dos
pontos x = (x1 , x2 , x3 ). Represente-se por a fronteira de que e uma
superfcie do R3 . Com ~n representa-se a normal unitaria externa `a fronteira
de . Denota-se por ~u o vetor de componentes (u1 (x, t), u2 (x, t), u3 (x, t)),
denominado a velocidade do fluido, isto e, das partculas do fluido. Denota-
se ~u por ~u(x, t) a velocidade no ponto x no instante t.
Considere-se uma porcao da d da superfcie . Denomina-se fluxo
atraves de d, a massa de fluido que atravessa d, na direcao da normal, ~n,
na unidade de tempo. Calcula-se, de modo intuitivo, o fluxo, considerando
a velocidade ~u das partculas. De fato, no instante t uma partcula se
desloca de ~ut, na direcao ~u. Considerando os pontos de d, no instante
t, o total de partculas atravessando d e a massa de fluido contida no
prisma de altura ut, u modulo de ~u, e base d. Desejando-se este fluxo
na direcao da normal ~n, projeta-se ~u sobre ~n, obtendo-se un t para altura
do prisma, sendo un = proj~n ~u = (~u, ~n), produto escalar no R3 . Portanto
o total de partculas atravessando d na unidade de tempo t, na direcao
da normal ~n, mede-se pelo total de partculas de fluido contido no prisma
de base d e altura un t, isto e, seu volume e dado por

d un t.

2
O fluxo sendo a massa de fluido contida neste prisma, sera dado por

un t d.

Com = (x, t) representa-se a densidade do fluido, massa por unidade de

volume.
No plano tem-se a visao geometrica na Fig. 1.

Convenciona-se que o fluxo e positivo se calculado na direcao positiva

de ~n e negativo na direcao oposta.
Portanto, o fluxo atraves , fronteira de , no instante t = 1, sera o
somatorio dos fluxos elementares un t, isto e:
Z
(1) (x, t)un (x, t) d,

integral sobre a superfcie .

2. Equac
ao de Continuidade

Admite-se o princpio de conservacao de massa de fluido: a variacao

da massa de fluido no interior de , em relacao ao tempo, e igual ao fluxo
de fluido atraves da fronteira de .

3
 Traduz-se, a seguir, matematicamente, este princpio. De fato, sendo
(x, t) a densidade do fluido, a massa de fluido contida em e dada por:
Z
M (t) = (x, t) dx,

sendo dx = dx1 dx2 dx3 a medida no Rn . A variacao, em relacao ao tempo,
e:
dM (t)
Z

(2) = dx.
dt t
Suponha-se a variacao devido ao fluido entrando em , isto e,
Z
(3) (x, t)un (x, t) d.

O princpio de conservacao de massa diz que as integrais (2) e (3) sao
iguais, para todo aberto limitado , com fronteira . Note-se que se supoe
limitado e do mesmo lado de . Algo como a Fig. 2

Portanto, do princpio de conservacao de massa, resulta, da igualdade

das integrais (2) e (3):
Z Z

dx + un d = 0,
t
para todo . Transformando a integral de superfcie por meio do teorema
da divergencia, obtem-se:
Z  

+ div(~u) dx = 0,
t
4
para todo . Supondo-se o integrando uma funcao contnua, obtem-se:

(4) + div(~u) = 0 pontualmente em .
t
dxi
Note-se, a componente ui da velocidade ~u e , x = (x1 , x2 , x3 ) vetor do
dt
R3 , posicao da partcula x no tempo t, isto e, xi = xi (t), i = 1, 2, 3. Da
obtem-se
3
d X
(5) = + ui = + (grad , ~u).
dt t i=1
x i t

Efetuando o calculo, obtem-se:

(6) div(~u) = div ~u + (grad , ~u).

Substituindo (5) e (6) em (4), obtem-se:

d
(7) + div ~u = 0 em .
dt
claro que (4) e (7) sao equivalentes. A (7) ou (4), denomina-se equacao
E
de continuidade ou lei de conservacao de massa.
Diz-se que um fluido e incompressvel e homogeneo quando sua densi-
dade e constante ou, equivalentemente, div ~u = 0 em todo , isto e,

(8) div ~u = 0 em .

3. Equac
oes de Navier-Stokes
um modelo matematico para descricao do movimento de fluidos ho-
E
mogeneos, densidade constante, incompressveis, div ~u = 0 e viscosos. A

5
deducao deste modelo sera obtida por meio do princpio de conservacao de
quantidade de movimento. Estamos supondo

(9) constante e div ~u = 0 em .

Considere-se um prisma de faces x1 , x2 , x3 contido em , cujo vol-

ume e x = x1 x2 x3 e massa x. A quantidade de movimento
desta massa, e x~u, sendo ~u a velocidade. Da definicao de integral tripla,
conclui-se que a quantidade de movimento da massa de e dada por:
Z
(10) m(t) = ~u(x, t) dx.

O princpio diz: a variacao da quantidade de movimento m(t) de ,

em relacao ao tempo, e igual ao somatorio das forcas aplicadas ao .
A variacao da quantidade de movimento de e:
Z
dm(t) d~u
(11) = dx.
dt dt
As forcas aplicadas em , sao de dois tipos:

i) volumetricas aplicadas a de densidade f (x, t) = (f1 (x, t), f2 (x, t), f3 (x, t)).
ii) tensoes internas, e viscosidades na fronteira de , cujas compo-
nentes admite-se fa forma:
3
X
Fi (x, t) = ij (x, t)j ,
j=1

i = 1, 2, 3. Os n
umeros reais j , j = 1, 2, 3, sao as componentes da normal
unitaria ~n, externa `a .
Supoe-se as funcoes ij (x, t), x e t 0, contnuas e continuamente
diferenciaveis em relacao a x para todo t 0. As funcoes fi (x, t) sao

6
supostas integraveis em para todo t > 0. A matriz ij (x, t), i, j = 1, 2, 3,
e denominada tensor de tensoes.
Deduz-se, do princpio de conservacao da quantidade de movimento, a
equacao seguinte:
Z Z Z
d~u
(12) dx = f (x, t)dx + F (x, t)d
dt
Escrevendo a (12) para as componentes dos vetores dos integrandos,
obtem-se:
Z Z 3
Z X
dui
(13) dx = fi (x, t) dx + ij (x, t)j d,
dt j=1

para i = 1, 2, 3.
Do Lema de Gauss, obtem-se:
3 Z 3 Z
X X
ij (x, t)j d = ij (x, t) dx,
j=1 j=1 xj

que substituido em (13), resulta:

Z Z Z X 3
dui ij
(14) dx = fi (x, t) dx + dx,
dt j=1 xj

para i = 1.2.3.
Para fluidos homogeneos, incompressveis e viscosos encontra-se que
ij (x, t) tem a representacao:
 
ui uj
(15) ij (x, t) = p(x, t)ij + +
xj xi
p(x, t) n
umero positivo e > 0 dita viscosidade do fluido, cf. Landau-
Lifschitz [5]. Sendo div ~u = 0, obtem-se
3 3 3  
X ij X p X ui uj
= ij + + .
j=1
xj j=1
x j j=1
x j x j x i

7
 p
Note-se que ij = 0 se i 6= j e ij = 1 se i = j. Logo, ij = 0 se i 6= j
xj
p
restando , portanto:
xi
3
X p p
(16) ij =
j=1
x j x i

Tem-se: div ~u = 0 em , logo

3  
X ui uj
(17) + = ui .
j=1
x j x j x i

Substituindo (16) e (17) em (4) obtem-se:

Z Z Z  
ui p
(18) dx = fi (x, t) dx + + ui dx
t x i
i = 1, 2, 3, para todo imerso no fluido, resultando, devido a continuidade
dos integrandos em (18):
dui p
(19) = fi + ui em
dt xi
i = 1, 2, 3. A (19) denomina-se sistema de Navier-Stokes, para fluidos
dui
homogeneos, incompressveis viscosos. Note-se que e a aceleracao do
dt
fluido.
Modifica-se (19), observando-se que ~u(x, t) = (u1 (x, t), u2 (x, t), u3 (x, t))
para x = (x1 , x2 , x3 ). Portanto, a velocidade das partculas e uj (x, t) =
dxj
, obtendo-se:
dt
3
dui ui X ui
= + uj ,
dt t i=1
x j

que substituida em (12) resulta:

3
ui X ui p
(20) ui + uj = fi em ,
t j=1
x j x i

8
com i = 1, 2, 3, para t (0, T ), T > 0. Note que supoe-se = 1, pois ela e
constante.
Trata-se de um sistema de tres equacoes diferenciais parciais nas incognitas
(u1 , u2 , u3 ) e na pressao p. O problema matematico consiste em saber se
um problema de valor inicial e de contorno, para (20), e bem posto no
sentido de Hadamard. Isto significa: existe solucao, e u
nica e depende
continuamente dos dados do problema.
De fato, dado aberto limitado, nao vazio do Rn , com fronteira de
classe C 2 , define-se o cilindro Q = (0, T ), T > 0, do Rn+1 = Rx Rt ,
com fronteira lateral = (0, T ). O problema matematico consiste
em determinar ui : Q R, para i = 1, 2, . . . , n, isto e, o vetor ~u(x, t) =
(u1 (x, t), u2 (x, t), . . . , un (x, t)), solucao do problema de valor inicial e de
fronteira seguinte:

 ui n
X ui p
 t ui + uj = fi em Q

 j=1
x j x i


(21)  ui = 0 em


 div ~u = 0 em Q


 ui (x, 0) = u0i (x) em .
 
p p p
Represente-se o vetor ~u(x, t) por u(x, t); grad p = , ,...,
x1 x2 xn
por p e
 
u u1 u2 un
= , ,..., ; u = (u1 , u2 , . . . , un ).
t t t t
Da obtem a notacao:
n n n n
!
X u X u1 X u2 X un
uj = uj , uj ,..., uj .
j=1
x j j=1
xj j=1 xj j=1
xj

9
Com esta notacao, escreve-se o sistema de Navier-Stokes (21) sob a forma:

 u n
X u

 t u + u j = f p em Q
 j=1
x j


(22)  div u = 0 em Q


 u = 0 em


 u(x, 0) = u0 (x) em .

Para investigar existencia e unicidade e dependencia contnua, aplica-

se o metodo de Faedo-Galerkin. Precisa-se de um breve resumo sobre os
espacos a serem empregados.

4. Espacos Funcionais

Com D() representa-se o espaco das funcoes : R, com suporte

compacto em , infinitamente continuamente diferenciaveis. Denota-se
por (D())n o produto cartesiano de n copias iguais a D(). Considere-se
o espaco de Sobolev H01 () e o produto cartesiano (H01 ())n munido do
produto escalar:
n
X
((u, v)) = ((ui , vi ))H01 () .
i=1
e norma: n
X
2
||u|| = ||ui ||2H01 () .
i=1

Resulta que (H01 ())n e um espaco de Hilbert. A desigualdade de Poincare

implica considerar-se em (H01 ())n , a norma equivalente:
n
X
2
||v|| = |vi |2L2 ()
i=1

10
para todo vetor v = (v1 , . . . , vn ) de (H01 ())n .
Note-se que
n Z  2
X ui
|vi |2L2 () = dx,
j=1
x j

sendo dx = dx1 dx2 . . . dxn a medida de Lebesgue no Rn .

Considere-se o subespaco de Hilbert V de (H01 ())n definido por:

V = {v (H01 ())n ; div v = 0 em }.

Representa-se por (L2 ())n o produto cartesiano de n fatores iguais a

L2 (), munido do produto escalar:
n Z
X
(u, v) = ui vi dx.
i=1

A norma em (L2 ())n e:

n Z
X
2
|v| = vi2 dx.
i=1

Representa-se por H a aderencia de V = { (D())n ; div = 0 em }

em (L2 ())n . Demonstra-se que V e denso em V .

5. Formulac
ao Matem
atica do Sistema de Navier-Stokes

Considere-se o sistema (22) e procura-se dar sentido ao que se entende

por solucao. Para u, v V , define-se a forma bilinear:
n Z
X ui vi
a(u, v) = dx.
i,j=1 x j x j

Demonstra-se que a(u, v) e bilinear, contnua e V -eltica.

11
 Motivado pelo termo nao linear em (22), define-se a forma trilinear em
V: n Z
X vi
b(u, v, w) = uj wi dx.
i,j=1 xj

Lema 1. b(u, v, w) + b(u, w, v) = 0.

Demonstra
cao: De fato, tem-se:
n Z  
X ui vi
b(u, v, w) b(u, w, v) = uj wi + vi dx =
i,j=1 xj xj
n Z n Z
X X uj
= uj (vi wi )dx = dx = 0,
i,j=1 xj i,j=1 x j

para u, v, w V , pois o traco em e zero e a divergencia e zero.

Problema 1. Dados

(23) f L2 (0, T ; H 1 ()), u0 H,

determinar u e p, sendo p D (Q). de modo a obter:

(24) u L2 (0, T ; V ) L (0, T ; H),

n
u X u
(25) u + uj = f p em D (Q),
t j=1
xj

(26) u(x, 0) = u0 (x) em .

Problema 2. Dados

(27) f L2 (0, T ; H 1 ()), u0 H,

12
determinar

(28) u L2 (0, T ; V ) L (0, T ; H),

satisfazendo

(29) (u(t), v) + a(u(t), v) + b(u(t), u(t), v(t)) = (f (t), v)

em D (0, T ) para toda v V .

(30) u(x, 0) = u0 .

Demonstra-se: toda solucao do Problema 1 e solucao do Problema 2. A

demonstracao de que a solucao do Problema 2 e solucao do Problema 1 e
a parte difcil do metodo. Ela envolve a caracterizacao das formas lineares
contnuas L pertencentes ao espaco (H 1 ())n , H 1 () dual de H01 (), que
se anulam em V , isto e, vetores com divergencia nula. De modo preciso, o
resultado afirma: Se L (H 1 ())n e L(v) = 0 para todo v V , existe
uma funcao p L2 () R, tal que


Z
L(v) = p div v dx.

Tendo-se em mente a equivalencia dos dois problemas, resolve-se o se-

gundo por tecnicas de Analise Funcional. Adota-se o metodo de aprox-
imacao de Faedo-Galerkin e resultados de compacidade. O segundo prob-
lema denomina-se formulacao variacional do sistema de Navier-Stokes.
Note-se, todavia, que a formulacao variacional e bem posta no caso
n = 2, isto e, no plano R2 . Neste caso, por meio do teorema de Aubin [1] e
desigualdade de Sobolev, obtem-se as convergencias das aproximacoes de
Faedo-Galerkin e a unicidade, restringindo-se a dimensao a n = 2. Para

13
o caso n 4 nao foi demonstrada a unicidade. Para a existencia quando
n 4, ha um teorema de compacidade de J.L. Lions [9] permitindo obter
convergencias das aproximacoes de Faedo-Galerkin. A unicidade nao foi
demonstrada.

Bibliografia

[1] J.P. Aubin - Un theor`eme de compacite. C.R. Acad. Sci. Paris (Juin
1963) 5043-5044.
[2] G. Duvaut - Mecanique des Milieux Continus. Masson, Paris 1990.
[3] J. Leray - Sur les mouvement dun liquide visqueux remplissant lespace.
Acta Math. 63 (1934) 191-248.
[4] J. Leray - Essai sur le mouvement plan dun liquide visqueux que
limitent des parois. J. Math. Pures et Apl. t. XIII (1944) 331-481.
[5] L. Landau et E. Lifchitz - Mecanique des Fluides.
Editions Mir -
Moscow - 1971.
[6] O.A. Ladyzhenskaya - The Mathematical Theory of Viscous Incom-
pressible Flow. Gordon and Breach Science Publishers, Paris 1949.
[7] J.-L. Lions - Sur lexistence des solutions des equations de Navier-
Stokes. C.R. Acad. Sci. Paris (Mai 1959) 2847-2849.
[8] J.-L. Lions, G. Prodi - Un theor`eme dexistence et unicite dans les
equations de Navier-Stokes en dimension 2. C.R. Acad. Paris t. 248
(1959) 3519-3521.
[9] J.-L. Lions - Quelques methodes de resolution des probl`emes aux lim-
ites non lineaires. Dunod, Paris 1959.

14
[10] E. Persico - Introduzioni alla Fsica Matematica Zenichelli, Bologna
Italy, 1971.
[11] R. Temam - Navier-Stokes Equations. Theory and Numerical Analy-
sis, North Holland, N.Y. 1979.
[12] L. Tartar - Topics in Nonlinear Analysis. Univ. Paris Sud, Orsay,
France 1978.
[13] L. Tartar - Some Methods for Solving Nonlinear Evolution Problems.
Universite Paris IX, Paris 1976.

15