Sobre o Modelo Matematico Navier-Stokes

por
Luis Adauto Medeiros
Introducao
Tem-se como objetivo principal fazer uma dedu cao do modelo matematico
para o escoamento de uidos homogeneos, incompressveis e viscosos, por
meio de argumentos elementares e intuitivos, dirigido `as pessoas interes-
sadas em ciencia, em geral.
Inicia-se com considera coes fsicas geometricas, intuitivas para obter o
que se entende por uxo de uido atraves de uma superfcie, para obter
a equa cao de continuidade que traduz, matematicamente, o princpio de
conserva cao de massa. Por meio desta equa cao, dene-se o que se entende
por uido incompressvel. Da lei de conserva cao de quantidade de movi-
mento encontra-se o modelo que se procura, conhecido sob a denomina cao
de equa coes de Navier-Stokes.
Concluindo, descreve-se o metodo para o estudo matematico do modelo,
distinguindo-se os casos em que a dimensao do espa co e n = 2 ou no caso
n 4.
Relaciona-se uma pequena bibliograa no nal do artigo, reetindo a
visao do autor sobre o problema. Observe-se que a bibliograa e excessi-

Conferencia de Divulga cao, Instituto de Matem atica - UFRJ, 2006

1
vamente vasta e aqui encontra-se uma pequena amostra.
1. Considera coes Fsicas e Geometricas
Considere-se um uido em movimento. Para xar ideia, pensa-se em
agua uindo em um canal. Represente por um aberto limitado contido
no ambiente onde se encontra o uido. Pensa-se cheio do uido, com
fronteira regular . O espa co onde esta imerso e o R
3
, construido dos
pontos x = (x
1
, x
2
, x
3
). Represente-se por a fronteira de que e uma
superfcie do R
3
. Com n representa-se a normal unitaria externa `a fronteira
de . Denota-se por u o vetor de componentes (u
1
(x, t), u
2
(x, t), u
3
(x, t)),
denominado a velocidade do uido, isto e, das partculas do uido. Denota-
se u por u(x, t) a velocidade no ponto x no instante t.
Considere-se uma por cao da d da superfcie . Denomina-se uxo
atraves de d, a massa de uido que atravessa d, na dire cao da normal, n,
na unidade de tempo. Calcula-se, de modo intuitivo, o uxo, considerando
a velocidade u das partculas. De fato, no instante t uma partcula se
desloca de ut, na dire cao u. Considerando os pontos de d, no instante
t, o total de partculas atravessando d e a massa de uido contida no
prisma de altura ut, u modulo de u, e base d. Desejando-se este uxo
na dire cao da normal n, projeta-se u sobre n, obtendo-se u
n
t para altura
do prisma, sendo u
n
= proj
n
u = (u, n), produto escalar no R
3
. Portanto
o total de partculas atravessando d na unidade de tempo t, na dire cao
da normal n, mede-se pelo total de partculas de uido contido no prisma
de base d e altura u
n
t, isto e, seu volume e dado por
d u
n
t.
2
O uxo sendo a massa de uido contida neste prisma, sera dado por
u
n
t d.
Com = (x, t) representa-se a densidade do uido, massa por unidade de
volume.
No plano tem-se a visao geometrica na Fig. 1.
Convenciona-se que o uxo e positivo se calculado na dire cao positiva
de n e negativo na dire cao oposta.
Portanto, o uxo atraves , fronteira de , no instante t = 1, sera o
somatorio dos uxos elementares u
n
t, isto e:
(1)
_

(x, t)u
n
(x, t) d,
integral sobre a superfcie .
2. Equacao de Continuidade
Admite-se o princpio de conserva cao de massa de uido: a varia cao
da massa de uido no interior de , em rela cao ao tempo, e igual ao uxo
de uido atraves da fronteira de .
3
Traduz-se, a seguir, matematicamente, este princpio. De fato, sendo
(x, t) a densidade do uido, a massa de uido contida em e dada por:
M(t) =
_

(x, t) dx,
sendo dx = dx
1
dx
2
dx
3
a medida no R
n
. A varia cao, em rela cao ao tempo,
e:
(2)
dM(t)
dt
=
_

t
dx.
Suponha-se a varia cao devido ao uido entrando em , isto e,
(3)
_

(x, t)u
n
(x, t) d.
O princpio de conserva cao de massa diz que as integrais (2) e (3) sao
iguais, para todo aberto limitado , com fronteira . Note-se que se sup oe
limitado e do mesmo lado de . Algo como a Fig. 2
Portanto, do princpio de conserva cao de massa, resulta, da igualdade
das integrais (2) e (3):
_

t
dx +
_

u
n
d = 0,
para todo . Transformando a integral de superfcie por meio do teorema
da divergencia, obtem-se:
_

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

t
+ div(u) = 0 pontualmente em .
Note-se, a componente u
i
da velocidade u e
dx
i
dt
, x = (x
1
, x
2
, x
3
) vetor do
R
3
, posi cao da partcula x no tempo t, isto e, x
i
= x
i
(t), i = 1, 2, 3. Da
obtem-se
(5)
d
dt
=

t
+
3

i=1

x
i
u
i
=

t
+ (grad , u).
Efetuando o calculo, obtem-se:
(6) div(u) = div u + (grad , u).
Substituindo (5) e (6) em (4), obtem-se:
(7)
d
dt
+ div u = 0 em .

E claro que (4) e (7) sao equivalentes. A (7) ou (4), denomina-se equa cao
de continuidade ou lei de conserva cao de massa.
Diz-se que um uido 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. Equacoes de Navier-Stokes

E um modelo matematico para descri cao do movimento de uidos ho-

mogeneos, densidade constante, incompressveis, div u = 0 e viscosos. A
5
dedu cao deste modelo sera obtida por meio do princpio de conserva cao de
quantidade de movimento. Estamos supondo
(9) constante e div u = 0 em .
Considere-se um prisma de faces x
1
, x
2
, x
3
contido em , cujo vol-
ume e x = x
1
x
2
x
3
e massa x. A quantidade de movimento
desta massa, e xu, sendo u a velocidade. Da deni cao de integral tripla,
conclui-se que a quantidade de movimento da massa de e dada por:
(10) m(t) =
_

u(x, t) dx.
O princpio diz: a varia cao da quantidade de movimento m(t) de ,
em rela cao ao tempo, e igual ao somatorio das for cas aplicadas ao .
A varia cao da quantidade de movimento de e:
(11)
dm(t)
dt
=
_

du
dt
dx.
As for cas aplicadas em , sao de dois tipos:
i) volumetricas aplicadas a de densidade

f(x, t) = (f
1
(x, t), f
2
(x, t), f
3
(x, t)).
ii) tensoes internas, e viscosidades na fronteira de , cujas compo-
nentes admite-se fa forma:
F
i
(x, t) =
3

j=1

ij
(x, t)
j
,
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 fun coes
ij
(x, t), x e t 0, contnuas e continuamente
diferenciaveis em rela cao a x para todo t 0. As fun coes f
i
(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 conserva cao da quantidade de movimento, a
equa cao seguinte:
(12)
_

du
dt
dx =
_

f(x, t)dx +
_

F(x, t)d
Escrevendo a (12) para as componentes dos vetores dos integrandos,
obtem-se:
(13)
_

du
i
dt
dx =
_

f
i
(x, t) dx +
_

j=1

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

j=1
_

ij
(x, t)
j
d =
3

j=1
_

x
j

ij
(x, t) dx,
que substituido em (13), resulta:
(14)
_

du
i
dt
dx =
_

f
i
(x, t) dx +
_

j=1

ij
x
j
dx,
para i = 1.2.3.
Para uidos homogeneos, incompressveis e viscosos encontra-se que

ij
(x, t) tem a representa cao:
(15)
ij
(x, t) = p(x, t)
ij
+
_
u
i
x
j
+
u
j
x
i
_
p(x, t) n umero positivo e > 0 dita viscosidade do uido, cf. Landau-
Lifschitz [5]. Sendo div u = 0, obtem-se
3

j=1

ij
x
j
=
3

j=1
p
x
j

ij
+
3

j=1

x
j
_
u
i
x
j
+
u
j
x
i
_
.
7
Note-se que
ij
= 0 se i = j e
ij
= 1 se i = j. Logo,
p
x
j

ij
= 0 se i = j
restando
p
x
i
, portanto:
(16)
3

j=1
p
x
j

ij
=
p
x
i

Tem-se: div u = 0 em , logo

(17)
3

j=1

x
j
_
u
i
x
j
+
u
j
x
i
_
= u
i
.
Substituindo (16) e (17) em (4) obtem-se:
(18)
_

u
i
t
dx =
_

f
i
(x, t) dx +
_

p
x
i
+ u
i
_
dx
i = 1, 2, 3, para todo imerso no uido, resultando, devido a continuidade
dos integrandos em (18):
(19)
du
i
dt
= f
i

p
x
i
+ u
i
em
i = 1, 2, 3. A (19) denomina-se sistema de Navier-Stokes, para uidos
homogeneos, incompressveis viscosos. Note-se que
du
i
dt
e a acelera cao do
uido.
Modica-se (19), observando-se que u(x, t) = (u
1
(x, t), u
2
(x, t), u
3
(x, t))
para x = (x
1
, x
2
, x
3
). Portanto, a velocidade das partculas e u
j
(x, t) =
dx
j
dt
, obtendo-se:
du
i
dt
=
u
i
t
+
3

i=1
u
i
x
j
u
j
,
que substituida em (12) resulta:
(20)
u
i
t
u
i
+
3

j=1
u
j
u
i
x
j
= f
i

p
x
i
em ,
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 equa coes diferenciais parciais nas incognitas
(u
1
, u
2
, u
3
) 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 signica: existe solu cao, e unica e depende
continuamente dos dados do problema.
De fato, dado aberto limitado, nao vazio do R
n
, com fronteira de
classe C
2
, dene-se o cilindro Q = (0, T), T > 0, do R
n+1
= R
x
R
t
,
com fronteira lateral = (0, T). O problema matematico consiste
em determinar u
i
: Q R, para i = 1, 2, . . . , n, isto e, o vetor u(x, t) =
(u
1
(x, t), u
2
(x, t), . . . , u
n
(x, t)), solu cao do problema de valor inicial e de
fronteira seguinte:
(21)

u
i
t
u
i
+
n

j=1
u
j
u
i
x
j
= f
i

p
x
i
em Q
u
i
= 0 em
div u = 0 em Q
u
i
(x, 0) = u
0i
(x) em .
Represente-se o vetor u(x, t) por u(x, t); grad p =
_
p
x
1
,
p
x
2
, . . . ,
p
x
n
_
por p e
u
t
=
_
u
1
t
,
u
2
t
, . . . ,
u
n
t
_
; u = (u
1
, u
2
, . . . , u
n
).
Da obtem a nota cao:
n

j=1
u
j
u
x
j
=
_
n

j=1
u
j
u
1
x
j
,
n

j=1
u
j
u
2
x
j
, . . . ,
n

j=1
u
j
u
n
x
j
_
.
9
Com esta nota cao, escreve-se o sistema de Navier-Stokes (21) sob a forma:
(22)

u
t
u +
n

j=1
u
j
u
x
j
= f p em Q
div u = 0 em Q
u = 0 em
u(x, 0) = u
0
(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
espa cos a serem empregados.
4. Espacos Funcionais
Com D() representa-se o espa co das fun coes : R, com suporte
compacto em , innitamente continuamente diferenciaveis. Denota-se
por (D())
n
o produto cartesiano de n copias iguais a D(). Considere-se
o espa co de Sobolev H
1
0
() e o produto cartesiano (H
1
0
())
n
munido do
produto escalar:
((u, v)) =
n

i=1
((u
i
, v
i
))
H
1
0
()
.
e norma:
||u||
2
=
n

i=1
||u
i
||
2
H
1
0
()
.
Resulta que (H
1
0
())
n
e um espa co de Hilbert. A desigualdade de Poincare
implica considerar-se em (H
1
0
())
n
, a norma equivalente:
||v||
2
=
n

i=1
|v
i
|
2
L
2
()
10
para todo vetor v = (v
1
, . . . , v
n
) de (H
1
0
())
n
.
Note-se que
|v
i
|
2
L
2
()
=
n

j=1
_

_
u
i
x
j
_
2
dx,
sendo dx = dx
1
dx
2
. . . dx
n
a medida de Lebesgue no R
n
.
Considere-se o subespa co de Hilbert V de (H
1
0
())
n
denido por:
V = {v (H
1
0
())
n
; div v = 0 em }.
Representa-se por (L
2
())
n
o produto cartesiano de n fatores iguais a
L
2
(), munido do produto escalar:
(u, v) =
n

i=1
_

u
i
v
i
dx.
A norma em (L
2
())
n
e:
|v|
2
=
n

i=1
_

v
2
i
dx.
Representa-se por H a aderencia de V = { (D())
n
; div = 0 em }
em (L
2
())
n
. Demonstra-se que V e denso em V .
5. Formulacao Matematica do Sistema de Navier-Stokes
Considere-se o sistema (22) e procura-se dar sentido ao que se entende
por solu cao. Para u, v V , dene-se a forma bilinear:
a(u, v) =
n

i,j=1
_

u
i
x
j
v
i
x
j
dx.
Demonstra-se que a(u, v) e bilinear, contnua e V -eltica.
11
Motivado pelo termo nao linear em (22), dene-se a forma trilinear em
V :
b(u, v, w) =
n

i,j=1
_

u
j
v
i
x
j
w
i
dx.
Lema 1. b(u, v, w) + b(u, w, v) = 0.
Demonstra cao: De fato, tem-se:
b(u, v, w) b(u, w, v) =
n

i,j=1
_

u
j
_
u
i
x
j
w
i
+
v
i
x
j
v
i
_
dx =
=
n

i,j=1
_

u
j

x
j
(v
i
w
i
)dx =
n

i,j=1
_

u
j
x
j
dx = 0,
para u, v, w V , pois o tra co em e zero e a divergencia e zero.
Problema 1. Dados
(23) f L
2
(0, T; H
1
()), u
0
H,
determinar u e p, sendo p D

(Q). de modo a obter:

(24) u L
2
(0, T; V ) L

(0, T; H),
(25)
u
t
u +
n

j=1
u
j
u
x
j
= f p em D

(Q),
(26) u(x, 0) = u
0
(x) em .
Problema 2. Dados
(27) f L
2
(0, T; H
1
()), u
0
H,
12
determinar
(28) u L
2
(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) = u
0
.
Demonstra-se: toda solu cao do Problema 1 e solu cao do Problema 2. A
demonstra cao de que a solu cao do Problema 2 e solu cao do Problema 1 e
a parte difcil do metodo. Ela envolve a caracteriza cao das formas lineares
contnuas L pertencentes ao espa co (H
1
())
n
, H
1
() dual de H
1
0
(), que
se anulam em V , isto e, vetores com divergencia nula. De modo preciso, o
resultado arma: Se L (H
1
())
n
e L(v) = 0 para todo v V , existe
uma fun cao p L
2
()
_
R, tal que
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-
ima cao de Faedo-Galerkin e resultados de compacidade. O segundo prob-
lema denomina-se formula cao variacional do sistema de Navier-Stokes.
Note-se, todavia, que a formula cao variacional e bem posta no caso
n = 2, isto e, no plano R
2
. Neste caso, por meio do teorema de Aubin [1] e
desigualdade de Sobolev, obtem-se as convergencias das aproxima coes 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 aproxima coes de Faedo-Galerkin. A unicidade nao foi
demonstrada.
Bibliograa
[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