Topicosemedp PDF

Topicos
em
Equacoes Diferenciais Parciais
Parte I
Luis Adauto Medeiros

Instituto de Matematica - UFRJ
IM-UFRJ - Abril de 2005

Rio de Janeiro - RJ
Medeiros, Lus Adauto da Justa, 1926-
M488T
Topicos em equacoes diferenciais parciais/L.A.
Medeiros.Rio de Janeiro:UFRJ/IM, 2006.
2pt. ; 21cm
Inclui Bibliografia.
1. Equacoes diferenciais parciais. I. Universidade

Federal do Rio de Janeiro. Instituto de Matematica
II.Ttulo.
CDD-515.353
ISBN: 85-87674-15-3
Prefacio
Este livro e parte de um projeto de divulgacao das aulas ministradas na Pos-Graduacao

do IM-UFRJ, ao longo dos ultimos trinta anos.
O modelo de equacao hiperbolica com pressao, de Gladson Antunes e Fagner Araruna,
baseia-se em um modelo sugerido por Jacques Louis Lions, em comunicacao pessoal, feita
na Escola Latino-Americana em Lima, Peru, 1978. Posteriormente, encontrou-se uma
interpretacao fsica, consultar deducao no texto, ver tambem a referencia [5] do captulo
3, pagina 94.
O artigo sobre Equacoes de Evolucao em Variedades e uma contribuicao de
Fagner Araruna e Marcos Araujo sobre o metodo de aproximacao por sistemas de Cauchy-
Kowalevsky.
Agradecemos aos colegas Rubens Crippa, Nirzi Andrade, Milla Miranda,
Angela Biazutti pelas observacoes construtivas sobre o texto e em particular ao longo
dos anos de convivencia no IM-UFRJ.
Rio de Janeiro, abril de 2005
L.A. Medeiros
Sumario
Vector Distributions and Applications 1

Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
1.1 Vector Distributions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
1.2 Linear Equations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15
1.3 Semilinear Equations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 30
1.4 Ultra Weak Solutions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 45
References . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 52
Analise Matematica do Sistema de Elasticidade 53

Introducao . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 55
2.1 Deformacoes Locais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 55
2.2 Analise das Tensoes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 61
2.3 Estudo Matematico do Sistema de Elasticidade . . . . . . . . . . . . . . . 71
Referencias Bibliograficas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 83
Equacao Hiperbolica com um Termo de Resistencia 85

Introducao . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 87
3.1 Deducao do Modelo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 87
3.2 Estudo Matematico . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 89
3.3 Comportamento Assintotico . . . . . . . . . . . . . . . . . . . . . . . . . . 94
i
ii SUMARIO
Licoes sobre o Sistema de Navier-Stokes 99

Introducao . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 101
4.1 Consideracoes Fsicas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 102
4.2 Espacos Funcionais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 107
4.3 Sistema de Navier-Stokes no R2 . . . . . . . . . . . . . . . . . . . . . . . . 114
Apendice I . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 132
4.4 Sistema de Navier-Stokes no Rn com n 4 . . . . . . . . . . . . . . . . . . 137
Apendice II . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 149
Complementos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 153
Regularizacao Eltica 163

Introducao . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 165
5.1 Notacoes e Hipoteses . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 165
5.2 Existencia e Unicidade de Solucoes . . . . . . . . . . . . . . . . . . . . . . 166
On an Evolution Problem on Manifolds 173

Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 175
6.1 Notations and Assumptions . . . . . . . . . . . . . . . . . . . . . . . . . . 176
6.2 Singular Limit . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 176
References . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 183
Vector Distributions
and
Applications
Luis Adauto Medeiros

IM-UFRJ - Julho de 1994
Rio de Janeiro - RJ
Introduction
We enclose in this text a set of lectures given by the author in Instituto de Matematica
- UFRJ. The objective is introduce students in the new methods for the study of non-linear
problems in partial differential equations.
I will like express my thanks to Angela Biazutti for her constructives remarks on the
initial manuscript.
Teresopolis, 1994
L.A. Medeiros
Section 1 Vector Distributions 5
1.1 Vector Distributions
Let us consider the open interval ]0, T [, T > 0, of the real line R and a real Banach
space X. Represent by Lp(0, T ; X), 1 p +, the vector space of the applications
u : ]0, T [ X such that, for each s [0, T [, the vector u(s) X is strongly measurable on
]0, T [ and the norm ||u(s)||X belongs to Lp(0, T ). In Lp(0, T ; X) we define the norm:
ZT
||u||pLp (0,T;X) = ||u(x)||pX ds
0
for 1 p < and
||u||L (0,T;X) = ess sup ||u(s)||X .

0<s<T
With this norm it follows that Lp(0, T ; X) is a Banach space.

Let u be in Lp(0, T ; X) and D(0, T ), space of infinitely differentiable functions on
]0, T [, with compact support on ]0, T [, equipped with the notion of convergence introduced
by Laurent Schwartz. We associate to such u the mapping u form D(0, T ) into X, defined
by
ZT
(1.1) hu, i = u(s)(s) ds,
0
with the integral calculated in X. The mapping u , above defined, is linear and continuous
on D(0, T ). Therefore, u is a distribution on ]0, T [, called vector distribution on ]0, T [,
defined by u of Lp(0, T ; X), with value in X. Then u is a continuous linear mapping from
D(0, T ), on X, that is u L(D(0, T ), X), space of continuous linear transformations from
D(0, T ) into X. In general the space L(D(0, T ), X) is called the space of vector distributions
on ]0, T [ with value in X. In particular u is one of those distributions, precisely, that one
6 Topics in Partial Differential Equations
defined by u Lp(0, T ; X). The space of all distributions defined on ]0, T [ with value in
X is represented by D (0, T ; X). Therefore, the distribution u is an object of D (0, T ; X).
Lemma 1. If u L1(0, T ; X) and

ZT
(1.2) u(s)(s) ds = 0
0
for all D(0, T ), then u(t) = 0 a.e. in ]0, T [.
Proof: In fact, let u the function defined on R such that u = u on [0, T ] and u = 0
on the complement. For > 0 letZus consider ()> 0 the regularizing family of even
functions 0, with D(R), (s) ds = 1. Then defined by
R
Z +
(t) = (t s)(s) ds

belongs to D(0, T ).
We have, by (1.2),
ZT Z + Z +
u(t)( )(t) dt = u(t)( )(t) dt = ( u)(t)(t) dt = 0
0
for all D(0, T ). For this integral to be zero, it is necessary that u be zero in
[, T ], > 0, containing the support of . When 0 we know that u u in
L1(, +; X). Then, u = 0 in [, T ], > 0 arbitrary. Then u = 0 on [0, T ].
As a consequence of the Lemma 1, it follows that u is unically defined by

u Lp(0, T ; X). Then we identify u to the vector u Lp(0, T ; X), and we say that
u is a distribution defined on ]0, T [ with values on X. We write Lp(0, T ; X) D (0, T ; X).
Then each u Lp(0, T ; X) is derivable in the sense of distribution D (0, T ; X), that is,

du d
(1.3) , = u,
dt dt
du
for all D(0, T ). The object is called the derivative of u in distributional sense on
dt
[0, T ].
In general, we have

dnu n dn
(1.4) , = (1) u, n
dtn dt
for all D(0, T ).

dnu
We represent by u(n) the derivative and by u , u the first and second derivative
dtn
of u.
Lemma 2. If u L1(0, T ; X) and

ZT
u(t) (t) dt = 0
0
for all D(0, T ), then u is constant.
Note that the Lemma 2 says that if u L1(0, T ; X) has distributional derivative zero,
then u is constant.
Before proving Lemma 2, observe that a necessary and sufficient condition for
0 D(0, T ) be derivative of 1 D(0, T ) is that
ZT
(1.5) 0(s) ds = 0.
0
In fact, if 0 = 1 , integrating on [0, T ] we obtain (1.5). If we have (1.5), defining

Zt
1(t) = 0(s) ds,
0
we obtain 1 D(0, T ).
ZT
Proof of the Lemma 2: There exists D(0, T ) such that (s) ds = 1. Given
0
D(0, T ), the function
ZT
0(t) = (t) (t) (s) ds
0
belongs to D(0, T ) and ZT

0(t) dt = 0.
0
It follows that there exists 1 D(0, T ) such that 1 = 0 . We have by hypothesis:

ZT
(1.6) u(t) (t) dt = 0, for all D(0, T ).
0
Taking = 1 , in (1.6), we obtain

ZT ZT
u(t) (t) (t) (s) ds dt = 0
0 0
or ZT
hu, i hu, i (s) ds = 0.
0
If we write c = hu, i, we obtain
hu, i hc, i for all D(0, T )
that is,
u = c in the sense of distributions on [0, t].
Lemma 3. Let X be a Banach space whose dual is represented by X . If u, g belong to

L1(0, T ; X), the following conditions are equivalent:
(i) u is a.e. equal to a primitive of g, i.e.,

Zt
u(t) = + g(s) ds, X, independent of t.
0
(ii) For each D(0, T ), we have:

Zt Zt

u(t) (t) dt = g(s)(s) ds.
0 0
(iii) For each x X ,

d
hu(t), xi = hg(t), xi
dt
in the sense of the distributions on (0, T ).
Remark 1. If (i) or (ii) is true, the function u is, in particular, a continuous function
from [0, T ] on X, that is, u C0([0, T ]; X).
Proof: (i) implies (ii).

In fact, let u, g such that
Zt
u(t) = + g(s) ds a.e. on [0, T ]. constant.
0
Multiply by , D(0, T ), integrate on [0, T ]. We have:

ZT ZT Z T Z t

u(t) (t) dt = (t) dt + g(s) ds (t) dt.
0 0 0 0
The first integral on the right hand side is zero, because is constant and (0) =
(T ) = 0. Integrating by parts the second integral, what is permissible, we obtain:
Z T Z t Z t T Z T

g(s) ds (t) dt = g(s) ds (t) g(s)(s) ds.
0 0 0 0 0
Therefore, ZT ZT

u(t) (t) dt = g(s)(s) ds.
0 0
(i) implies (iii).

From (i), for each x X , we obtain:
Zt

hu(t), x i = h, x i + g(s) ds, x .
0
Taking the derivative in the sense of the distributions on [0, T ], we get:

Zt
d
+ g(s) ds, x ,
(1.7) dt 0
d d
hu(t), xi , = h, x i ,
dt dt
for all D(0, T ).

d
h, x i, = 0 h, x i is constant.
dt
Zt
Z T Z t
d
(1.8) g(s) ds, x , = hg(s), x i ds (t) dt.

dt 0 0 0
Integrating the right hand side by parts, we get:

Zt ZT
d
(1.9) g(s)ds, x , = + hg(t), xi (t) dt

dt 0 0
for all D(0, T ), then from (1.8), (1.9), we obtain for (1.7),

d
hu(t), x i , = hhg(t), xi , i

dt
or
d
(1.10) hu(t), xi = hg(t), xi
dt
for all x X .
(iii) implies (ii).

Suppose (1.10) is true for all x X. Then, for all D(0, T ) we have:

d
hu(t), x i , = hhg(t), xi , i

dt
or ZT ZT

hu(t), x i , dt = hg(t), xi (t) dt.
0 0
This implies ZT ZT

u(t) (t) dt, x = g(t)(t) dt, x .
0 0
Thus, ZT ZT

u(t), (t) dt = g(t), (t) dt.
0 0
(ii) implies (i).

In fact, let v be defined on [0, T ] by:
Zt
v(t) = u(t) g(s) ds,
0
which belongs to L1(0, T ; X). Taking the derivative of v(t) in the sense of distributions on
]0, T [, we obtain:
Zt

hv(t), i = hv (t), i = hu(t), i = g(s) ds,
0
for all D(0, T ).

Integrating by parts the last term in the right hand side, we get:
ZT ZT

hv (t), i = u(t) (t) dt g(t)(t) dt = 0
0 0
by (ii). Whence
hv (t), i = 0 for all D(0, T ).
By Lemma 2, it follows that v is a constant , that is,

Zt
u(t) = + g(s) ds.
0
Corollary 1. Let X, Y be two Banach spaces, such that X Y with continuous injection.
If
du
(1.11) u L1(0, T ; X) and L1(0, T ; Y),
dt
then u C0([0, T ]; Y).
Proof: In fact, u belongs to L1(0, T ; Y) because X Y is continuous. Then we have

du du
u, g = belong to L1(0, T ; Y). Since L1(0, T ; Y) then by definition of vector
dt dt
distribution:
ZT
du du
(1.12) , = (s)(s) ds.
dt 0 dt
By definition of derivative:
ZT
du
(1.13)
, = hu, i = u(s) (s) ds.
dt 0
du
Note that (1.12), (1.13) imply (ii) of the Lemma 3, with g =
dt
Thus Corollary 1 implies that u satisfying (1.12), (1.13) is equal, a.e. to a continuous
function from [0, T ] into Y. We write u C0([0, T ]; Y).
There is a direct proof of Corolary 1, in J.-L. Lions [2] or W.A. Strauss [8].
In the following it will be proved a result to be applied in the study of mixed problems
for partial differential equation, usually called weak regularity.
By Cs([0, T ]; Y), we represent the space of weakly continuous functions form [0, T ] into
Y. This means that the mapping t hu(t), yi is continuous on [0, T ] for all y Y dual
of Y. Note that this functions are also called scalar continuous functions.
Theorem 1. Let X, Y be two Banach spaces, X reflexive. Suppose X Y dense and the
injection of X in Y continuous. Then:
(1.14) L (0, T ; X) Cs([0, T ].Y) = Cs([0, T ].X).
Proof: The second hand side of (1.13) is contained in the first, because Y X continuous
and dense.
Let us prove that the first hand side of (1.13) is included in the second. For this, it is
sufficient to prove that:
(1.15) u(t) X for all t [0, T ] and ku(t)kX < M.
M is constant on [0, T ].
In fact, suppose (1.15) true for all t [0, T ]. Since X is reflexive, for each net tm t0
in [0, T ], there exists a subnet tn of tm such that
u(tn) X weakly in X
or
(1.16) hu(tn), x i h, x i , for all x X .
By hypothesis u Cs([0, T ]; Y). Then, since tn t0 , we obtain:
(1.17) hu(tn), yi hu(t0), y i , for all y Y .

From X Y continuous and dense, it follows that Y X is continuous and dense. We

dream to prove that = u(t0). Let us prove that (1.17) is true for all x X . Y is
dense in X , then for each > 0, exists y Y such that ky x kX < . From (1.17),
we obtain:
|hu(tn) u(t0), x i| |hu(tn) u(t0), y x i| + |hu(tn) u(t0), yi| .
Since u L (0, T ; X), we obtain:
(1.18) |hu(tn) u(t0), x i| 2 ku(t)kL (0,T;X) ky x k + |hu(tn) u(t0), yi| .
The right hand side of (1.18) goes to zero when 0, by (1.17) and by approximation
of x by y . Then
hu(tn), xi hu(t0), x i for all x X ,
that is, (1.17) is true for all x X , which implies:
= u(t0),
which means that:

u Cs([0, T ].Y).
To achieve the proof of the Theorem 1, we need to prove (1.15), what shall be done
by the method of regularization.
In fact, let us define u as the function that is equal to u on [0, T ] and zero on the com-
plement. Represent by (n)nN a regularizing sequence,
Z that is, n 0, even, infinitely
differentiable on R, with compact support and n(s) ds = 1. We have u L (R; X).
R
Let us consider
Z
u n(t) = u(t s)n(s) ds.
R
We have:
Z
||u n(t)||X ku(t s)kX n(s) ds M,
R
where
M = ess sup ||u()||X
R
(1.19) ku n(t)kX M on [0, T ].
Then, since X is reflexive, there exists a subsequence () N such that:
(1.20) u (t) u
^ (t) weak on X, t [0, T ]
b
and evidently, u(t) X.
From the lower semicontinuity of the norm, we obtain:

b
(1.21) u(t) M.
X
b
Therefore, to prove (1.15) it is sufficient to prove that u(t) = u(t).
In fact, u Cs([0, T ]; Y), then:
t 7 hu(t), yi , for all y Y
is continuous on [0, T ]. Then
hu(t), yi hu(t), yi in C0(R),
for all y Y . We obtain:
hu (t) u(t), yi = hu (t), yi hu(t), yi =

Z

= u(t s)(s)ds, y hu(t), yi =
R
(1.22) Z
= (s) hu(t s), y i ds hu(t), yi =
R
= (s) hu(t s), yi hu(t), yi 0 on C0(R).
From (1.22) it then follows:
hu (t), yi hu(t), yi for all y Y .

Section 2 Linear Equations 15
Therefore
(1.23) u (t) u(t) weakly on Y.
b
Since Y X is dense, we obtain form (1.23) and (1.20), (1.21) that u(t) = u(t), and
u(t) X, ku(t)kX M on [0, T ].
1.2 Linear Equations
Let us consider two Hilbert spaces V, H. We suppose V H with dense and continuous
injection. Then we have for the duals H V dense and continuous injection. We identify
H to H , so we have
(1.24) V H = H V .
The inner products and norms in H and V, are, respectively, denoted by ( , ); | |; (( , ));
|| ||. From (1.24) it follows that if f H, v V then
(1.25) hf, vi = (f, v)
when h , i is the duality between V and V.

For each u V, the mapping
v 7 ((u, v))
is a linear continuous form. Therefore, there exists a unique Au V such that
hAu, vi = ((u, v)) for all v V.
We prove that the function u 7 Au, from V V , is linear, continuous and for each
f V there exists u V such that Au = f. Then A is an isomorphism from V into V .
In general we consider A + I, > 0, in order to obtain isomorphism from V to V .
Theorem 1. Given
u0 V; u1 H; f L2(0, T ; H),
find u : ]0, T [ V such that

u + Au = f in weak sense

u (0) = u0, u (0) = u1
There are large classes of boundary value problems in Sobolevs spaces that can be
includes in the framework of the Problem 1.
The Theorem 2 below is a particular case of a general theorem proved by J.-L. Lions
(cf. his book Controle Optimal de Systemes Governes par des Equations Aux Derivees
Partielles, Dunod, Paris, 1968).
Theorem 2. Given
u0 V; u1 H; f L2(0, T ; H),
there exists only one u : ]0, T [ V satisfying the conditions:
(1.26) u L (0, T ; V)
(1.27) u L (0, T ; H)
d
(1.28) (u (t), v) + ((u(t), v)) = (f(t), v)
dt
for all v V, in the sense of the distributions on ]0, T [ .
(1.29) u L2(0, T ; V ) and u + Au = f in the sense of L2(0, T ; V )
(1.30) u(0) = u0 , u (0) = u1 .
Proof: We shall do the proof when V is separable. Let (w)N be a Hilbertian basis of
V (cf. H. Brezis [1]) and let Vm = [w1, w2, . . . , wm] be the subspace of V generated by
the first m vectors w .
Approximate Problem

Find um(t) Vm , such that,

(um (t), v) + ((um(t), v)) = (f, v), v Vm ,

(1.31)
um(0) = u0m u0 strongly in V

um (0) = u1m u1 strongly in H.
The linear system of ordinary differential equations (1.31) has solution on [0, tm] ,
tm < T . To extend the aproximate solution to [0, T ] we need estimates as we shall obtain.
A priori estimate
Let v = 2um(t) in (1.31). We get:
d d
|um(t)|2 + ||um(t)||2 = 2(f, um).
dt dt
Integrating from 0 to t < tm , we have:

ZT Zt
(1.32) |um(t)|2 + 2 2
||um(t)|| |u1m| + ||u0m|| +2 2
|f(s)| ds + |um(s)|2 ds.
0 0
From the convergences in (1.31), Gronwalls Lemma, (1.32) implies
(1.33) |um(t)|2 + ||um(t)||2 < c on [0, T ].
Then,
(1.34) um is bounded in L (0, T ; V)
(1.35) um is bounded in L (0, T ; H)
It follows from (1.34), (1.35) and weak star compactness of bounded sets in a Banach
space, that there exists a subsequence u of um , such that
(1.36) u u weak star in L (0, T ; V)

(1.37) u u weak star in L (0, T ; H)
We identity L (0, T ; V) to the dual of L1(0, T ; V ), noting that V is a Hilbert space,

then reflexive. The convergence (1.36) means that
ZT ZT
(1.38) hu(t), w(t)i dt hu(t), w(t)i dt
0 0
for all w L1(0, T ; V ). In particular for w L1(0, T ; V). Then, hu(t), w(t)i =
((u(t), w(t))), hu(t), w(t)i = ((u(t), w(t))). We choose w = v, with D(0, T ),
v V. Then (38) mean:
ZT ZT
(1.39) ((u(t), v))(t) dt ((u(t), v))(t) dt.
0 0
By the same argument, from (1.37), we obtain

ZT ZT
(1.40)
(u(t), v)(t) dt (u (t), v)(t) dt
0 0
for all D(0, T ) and v V.

From (1.40), we have
(u(t), v) (u (t), v)
d
in the sense of the distribution on ]0, T [. But is continuous in this sense. It follows
dt
that
d d
(1.41) (u(t), v) (u (t), v)
dt dt
in the sense of distributions on ]0, T [ .

Multiply the approximated equation (1.31) by D(0, T ) and integrate on [0, T ].
Consider m fixed, > m and let . By (1.40) and (1.41) we obtain,
ZT ZT
d
(1.42) (u (t), v), + ((u(t), v))(t) dt = (f(t), v)(t) dt
dt 0 0
for all v Vm and D(0, T ). By hypothesis the finite linear combination of (w)N
are dense in V. This implies that (1.42) is true for v V, in the sense of D (0, T ).
From (1.36), (1.37), (1.42) we obtain, respectively, (1.26), (1.27), (1.28) of the Theorem
1.
Let us prove now the condition (1.29). From (1.42) we have:
ZT ZT ZT

(u (t), v) (t) dt + hAu(t), vi (t)dt = hf(t), vi (t)dt
0 0 0
for all v V, D(0, T ). Then:

ZT ZT

(1.43) u (t) (t) dt, v = g(t)(t), v
0 0
where g(t) = f(t) Au(t) V , because A : V V . Then (1.43) implies

ZT ZT

(1.44) u (t) (t) dt = g(t)(t) dt.
0 0
Observe that u , g L2(0, T ; V ) by (1.26), (1.27) and satisfies (1.44), which is the condi-
tion (ii) of the Lemma 3. It follows that
Zt
(1.45)
u (t) = + g(s) ds V is constant
0
and then:
(1.46) u C0([0, T ]; V ).
By (1.45) we obtain:
hu , i = hg, i , D(0, T )
what implies
u = g in vector distribution sense.
But g L2(0, T ; V ) implies
(1.47) u L2(0, T ; V )
and
u = g in L2(0, T ; V ),
or
(1.48) u + Au = f in L2(0, T ; V ).
To complete the proof we need u(0) = u0 , u (0) = u1 . We have by (1.26) that u (0)
make sense. Also by (1.26), (1.27) and the Corollary 1, u C0([0, T ]; H) and u(0) make
sense. By Theorem 1, we have u Cs([0, T ; V), u Cs([0, T ]; H).
Let us prove that u(0) = u0 .
We have
(1.49) um is bounded in L (0, T ; V),
then, since V H is continuous, (1.49) implies:
(1.50) um is bounded in L (0, T ; H).
There exists a subsequence un such that

ZT ZT
(1.51)
(u(t), v) dt (u(t), v) dt
0 0
for C1(0, T ), (0) = 1, (T ) = 0.

By estimate (1.35), there exists u such that
ZT ZT
(1.52)
(u(t), v) dt (u (t), v) dt
0 0
for C1(0, T ), (0) = 1, (T ) = 0.

By (1.51), (1.52) we obtain:
ZT ZT
dt d
[(u(t), v)] dt [(u(t), v)] dt
0 dt 0 dt
or
(u(0), v) (u(0), v).
But
(u(0), v) (u0, v)
then
u(0) = u0 in V.
Proof of u (0) = u1 .
Let be > 0 and
1
+ 1 if 0 t

(t) =

0 if < t < T
which belongs to H1(0, T ). Multiply approximated equation (1.31) with m = , by (t)
and integrate
Z Z Z

(u(t), v) dt + ((u(t), v)) dt = (f(t), v) dt.
0 0 0
Integrating by parts, we obtain:

Z Z Z
1
(1.53) (u(0), v) + (u (t), v)dt + ((u(t), v) dt = (f(t), v) dt
0 0 0
when , v Vm , we obtain
Z Z Z
1
(1.54) (u1, v) + (u (t), v) dt + ((u(t), v)) dt = (f(t), v) dt
0 0 0
which is true for all v V. When 0 in (1.54), by the fundamental theorem of the
calculus, we obtain:
(u (0), v) = (u1, v) for all v V.
Then
u (0) = u1 in V.
Proof of The Uniqueness

If u, u
^ are two solutions of the Problem 1, given by the Theorem 2, then w = u u
^
is solution of

w + Aw = 0
(1.55)

w(0) = 0 and w (0) = 0
Note that w L2(0, T ; V ) and w L (0, T ; H), but V H V and we cannot apply
w in w . So we obtain from w a new vector function in L (0, T ; V) which is convenient
for computation.
For 0 < s < T , let us define
Zs

w()d if 0<t<s

(t) = t

0 if st<T
where w is the solution of (1.55). The function belongs to L2(0, T ; V), then it makes
sense
ZT
(1.56) hw + Aw, i dt = 0
0

h , i duality between V and V.
Let us define Z
w1() = w() d.
0
Then:
(t) = w1(t) w1(s)
and
(t) = w1(t) = w(t).
We have
Zs Zs
(1.57) hw , i d = (w (s), (s)) (w (0), (0)) (w , ) d

0 0
(s) = 0 and w (0) = 0. We obtain:

Zs Zs
1 d 1
(1.58)
hw , i d = |w|2 dt = |w(s)|2.
0 0 2 dt 2
Note that (1.57) make sense because w is continuous.
From (1.58) and (1.56) we obtain:
Zs
1
(1.59) |w(s)|2 + ((w, )) d = 0
2 0
1 d
((w, )) = (( , )) = ||(t)||2. Then, from (1.59), it follows:
2 dt
1 1
+ |w(s)|2 + ||(0)|| = 0
2 2
proving that w(s) = 0, for any s [0, T ]. Then u = u

^.
Proposition 1. If u is the solution of the Theorem 2, then we have the energy inequality:
Zt
1 2 1 2 1 2 1 2
(1.60) |u (t)| + ||u(t)|| |u1| + ||u0|| + (f, u(0)) d
2 2 2 2 0
a.e. in [0, T ].
Proof: Taking v = um(t) in the approximate equation (31) we obtain:

Zt
1 2 1 2 1 2 1 2
(1.61) |um(t)| + ||um(t)|| = |u1m| + ||u0m|| + (f(s), um(s)) ds
2 2 2 2 0
From Gronwall Lemma (1.61) implies that um , um are bounded, respectively, in

L (0, T ; V), L (0, T ; H) and in particular in L2(0, T ; V), L2(0, T ; H). We obtain a sub-
sequence u , of um such that
(1.62) u u weakly on L2(0, T ; V)
(1.63) u u weakly on L2(0, T ; H)
Let 0 be an step function on [0, T ]. In (1.61) take m = and multiply both sides
by and integrate on [0, T ]. We have:
Z Z Z Z
1 T 2 1 T 2 1 T 2 1 T
(1.64) |u(t)| dt + ||u(t)|| dt = |u1m| dt + ||u0m||2 dt+
2 0 2 0 2 0 2 0
ZT Zt
+ (f(s), u(s)) ds.
0 0
From (1.62), (1.63) and by the lower semicontinuity of the integrals for the weak
topology, we obtain:
ZT ZT
2
(1.65)
|u (t)| dt lim |u(t)|2 dt
0 0
ZT ZT
(1.66) ||u(t)|| dt lim ||u(t)||2 dt
2
0 0
Therefore, taking lim of both sides of (1.64), we have:

ZT Z Z Z
1 2 1 T 2 1 T 2 1 T

|u (t)| dt = ||u(t)|| dt |u1| dt + ||u0||2 dt+
2 0 2 0 2 0 2 0
Z T Z t
+ (f(s), u(s)) ds dt
0 0
for 0, step function on [0, T ].
Remark 2. Let v L1(0, T ). We say that s ]0, T [ is a Lebesgues point of v, if for

h > 0, ]s h, s + h[ ]0, T [ then
Z s+h
1
lim v() d = v(s).
h0 2h sh
We prove that if v L1(0, T ), then almost all points s ]0, T [ are Lebesgues point of v.
Let us return to (66) and observe that all the functions there are L1(0, T ). If s ]0, T [,
consider the step function h(t) = on ]s h, s + h[ ]0, T [ and zero in the complement.
Then h is permissible in (1.66). Substituting n in (1.66), dividing by 2h and letting
h 0, we obtain, because 0,
Zt
1 2 1 1 1
|u (t)| + ||u(t)||2 |u (0)|2 + ||u(0)||2 + (f(), u () d
2 2 2 2 0
a.e. in [0, T ].
Proposition 2. If u is the solution in the Theorem 2, then we have the energy identity:
Zt
2 2 2 2
(1.67)
|u (t)| + ||u(t)|| = |u1| + ||u0|| + 2 (f(), u ()) d,
0
a.e. in [0, T ].
Proof: First of all note that we already know that if u is the solution given by the
Theorem 2, we obtain the weak regularity:
u Cs([0, T ]; V), u Cs([0, T ]; H).

To prove the identity (1.67) it is sufficient to prove that the right hand side of (1.67) is
greater then the left one. With the energy inequality proved in Proposition 1, we conclude
the equality.
In fact, we know also that u L2(0, T ; V ) and u L2(0, T ; H), so that we cannot
apply the u in u in the duality V , V. Note also that we have V H = H V ,
injections dense and continuous with u we shall define a function for which is correct the
pairing V , V. We obtain this by truncation and regularization.
In fact, for s < t in [0, T ], let us consider the function n , n N, defined by:

1
0 if 0 s
n

1
1 + n( s) if s s
n

n() = 1 if st

1

1 n( s) if t t+
n
1
0 if T.
t+

n
By k, k N, we represent a regularizing sequence on R, with support contained in
1 1
, , with k large enough so that k(0) = k(T ) = 0. As we know, by definition,
k k Z
k is C0 (R), is even and

k()d = 1. The function
R
kn = n(nu ) k k

0 (R; V). Integrating by parts we prove that n(nu) k k = n(nu)
belongs to C
k k C
0 (R; H). We obtain:
n(nu ) k k = n(nu) k k n(nu) k k = kn

0 (R; V), since (nu) k k = (nu) k k .
which is C
As we know from the Theorem 2, u is solution of u +Au = f in the sense of L2(0, T ; V ).
Then make sense
ZT ZT ZT

(1.68) hu (t), kn(t)i dt + hAu(t), kni dt = hf(t), kn(t)i dt.
0 0 0
Therefore,
ZT
hnu , (nu ) k ki dt =
0
ZT ZT
= h(nu ) k, (nu ) ki dt (( u ) k, (nu ) k) dt.

0 0
Note that ZT
d
((nu ) k, (nu ) k) dt = 0
0 dt
what implies ZT
h(nu ) k, (nu ) ki dt = 0.
0
Then, ZT ZT

h(nu ) k, (nu ) ki dt = (( u ) k, (nu ) k) dt
0 0
we have
(nu ) k nu strongly in L2(R; H)
(nu ) k nu strongly in L2(R; H)
as k . Then, when k ,
ZT ZT
hnu , (nu ) k ki dt nn|u (t)|2 dt.

0 0
The second term of the first hand side of (1.68), gives:

ZT ZT
hAu, kni dt = ((u, kn)) dt =
0 0
ZT ZT
= (((nu) k, (nu ) k)) dt (((nu) k, (nu) k)) dt.

0 0
By parts, the first integral is

ZT
(((nu) k, (nu) k)) dt
0
which is equal to 1/2 of

ZT
d
(((nu) k, (nu) k)) dt = 0.
0 dt
It follows that ZT ZT
((u, kn)) dt = (((nu) k, ( u) k)) dt
0 0
when k , we obtain:
ZT ZT
((u, kn)) dt nn||u(t)||2.
0 0
We also obtain:
ZT ZT

(f, n(nu ) k k) dt = ((nf) k, (nu ) k) dt
0 0
which converges, when k , to

ZT
2n(f, u) dt
0
we obtain:
ZT ZT ZT
(1.69) nn|u (t)|2 dt nn||u(t)||2 dt = 2n(f, u) dt.
0 0 0
Now we want to obtain the limit of (1.69) when n , what is obtained as a consequence
of the following Lemma 4.
Lemma 4. If h L1(0, T ) the, when n , the integral

ZT
nn h() d
0
converges to
1
(h(t) h(s)).
2
Proof: Note that the weak derivative of n is the function n defined by:

1
0 if 0s
n

1
n if s s
n

n() = 0 if st

1

n if tt+
n
1
0 if t+ T.

n
We have:
ZT Zs
nn h() d = n[1 + n( s)]h()d+
1
0 s n
Z t+ 1
n
+ n[1 n( t)]h() d
t
when n , we obtain:
ZT
1
nn h()d (h(t) h(s)).
0 2
Let n in (1.69), using the Lemma 4, we obtain:

Zt
1 2 1 1 1
(1.70) |u (t)| + ||u(t)||2 = |u (s)|2 + ||u(s)||2 + (f(), u()) d.
2 2 2 2 s
From the estimates of u and u , we conclude that when s 0,
u(s) weakly in V
and
u (s) weakly in H.
But u Cs([0, T ]; V) and u Cs([0, T ]; V), then: = u(0), = u (0). We already

know that u(0) = u0 , u (0) = u1 . We obtain from the weak convergences:
ku(0)k lim ||u(x)||, |u (0)| lim |u (s)|.

s s
Taking the lim in both sides of (1.70), we obtain:

s
Zt
1 2 1 1 1
(1.71) |u (t)| + ||u(t)||2 |u (0)|2 + ||u(0)||2 + (f(), u()) d
2 2 2 2 0
a.e. in [0, T ]. This inequality and the energy inequality, prove that we have the identity
(1.67).
The next result tell us that the solution u given by the Theorem 2, is strongly conti-
nuous from [0, T ] into V. We already knows that u C0([0, T ]; H) but the method give
one more this result.
Theorem 3. The solution u given by Theorem 2, satisfies the following regularity:
u C0([0, T ].V); u C0([0, T ]; H).
Proof: From the energy identity, (1.67), it follows that the function
(t) = ||u(t)||2 + |u (t)|2
is continuous on [0, T ]. We must prove that for each tn t in [0, T ], we have:
u (tn) u (t) in C0([0, T ]; H), u(tn) u(t) in C0([0, T ]; V).
In fact, we have u Cs([0, T ]; V), u Cs([0, T ]; H), or

(u (tn), h) (u (t), h) for all h H, in C0([0, T ])
(1.72)

((u(tn), v)) ((u(t), v)) for all v V in C0([0, T ])
Let us consider
n(t) = |u (tn) u (t)|2 + ||u(tn) u(t)||2.
Then
n(t) = (tn) + (t) 2[(u(tn), u (t)) + ((u(tn), u(t)))].
By (1.72) and uniform continuity of , n(t) 0 in C0([0, T ]). It follows that

u(tn) u(t) in C0([0, T ]; V), u (tn) u (t) in C0([0, T ].H) or u C0([0, T ]; V),
u C0([0, T ]; H).
The Theorem 2 is true for f L1(0, T L2()).
1.3 Semilinear Equations
In this section we shall analyse the semilinear partial differential equations of type
u u + F(u) = 0. The method is based on some results of convergence of measurable
functions, proved by W.A. Strauss [8], which generalize the Lemma 1.3 of J.L. Lions [2],
employed when F(s) = |s|p s, > 0 a real number.
Theorem 4 (W.A. Strauss). Let be a bounded open set of Rn, (u)N be a sequence
of real measurable functions defined on . Let us consider the sequences (F)N ,
(G)N of functions from R to R such that F u , G u are measurable on for
N. We suppose:
(a) FZ u converges to v almost everywhere on .
(b) |F(u(x))G(u(x))| dx < C, where the constant C is independent of N.

(c) G as F .
Then, we have:
(d) The function v belongs to L1().
(e) F u converges to v strongly in L1().
Remark 3. By notation F u we represent the function defined by (F u)(x) =

F(u(x)) for all x . The hypothesis (c) is equivalent to say that for each M > 0
there exists N > 0 independent of , such that if |F(s)| N then |G(s)| N for all s
in R.
Proof of the Theorem 4: For each in N, let us represent by the set
(1.73) = {x ; |G(u(x))| 1},
and by c the complement of in . For all x in c we have |G(u(x))| > 1,

Section 3 Semilinear Equations 31
therefore:
|F(u(x))| |G(u(x))| |F(u(x))| .
It follows from (b), that for all N we have

Z
(1.74) |F(u(x))| dx < C.
c
For each x , it follows by hypothesis (c) that since |G(u(x))| 1 in , we

have |F(u(x))| N for some constant N, for all x and N. We obtain:
Z
(1.75) |F(u(x))| dx N() N().

From (1.74), (1.75), we obtain the estimate:

Z
(1.76) |F(u(x))| dx < C + N()

for all N, that is, the sequence of integrals of F u is bounded. Then, (1.76) and
the condition (a), imply that (F u)N satisfies the conditions of Fatous lemma, which
implies that |v| = lim |F u| is integrable on , which proves part (d) of the theorem.

To complete the proof, observe that from Egorovs theorem, given > 0 there exists a
measurable set 0 such that (0) < and (F u)N converges to v, uniformly
on 0 . Then, we have:
Z
lim |f(u(x)) v| dx = 0.
0
We need only to prove that

Z
lim |F(u(x)) v| dx = 0.
0
In fact, we have:
Z Z Z
|F(u(x)) v(x)| dx |F(u(x))| dx + |v(x)| ds.
0 0 0
R
Since v is integrable on and (0) < , it follows that 0
|v(x)| dx < . It is sufficient
to prove that: Z
sup |F(u(x))| dx < ,
0
when (0) < . Let be M = c/, where c is the constant of the hypothesis (b) and N
the constant of the Remark 3.
Let us consider:
= {x 0 ; |G(u(x))| < M},
and c0 = 0 0 . Whence in c0 we have |G(u(x))| M, then

Z Z
1
(1.77) |f(u(x))| dx = |F(u(x))| M dx
c0 M c0
Z
1 c
|F(u(x))| |G(u(x))| dx < =
M c0 M 2
On 0 we have by Remark 3, |F(u(x))| < N because |G(u(x))| < M. It then

follows that:
Z

(1.78) |F(u(x))| dx N(0) < N =
c0 2

for =
2N
By (1.77), (1.78) we obtain the proof.
Remark 4. Suppose G : R R be the identity mapping, for all N, i.e., G(s) = s

for all N and s N. The hypothesis of the Theorem 1 modify and they are:
(a) FZ u converges to v a.e. in .
(b) |F(u(x))| |u(x)| dx < , for all N.

(c) s when F(s) .
Then it follows (d), (e) of the Theorem 3.
Corollary 2. Let (u)N be a sequence of real measurable functions, bounded in Lq(),

1 < q < , and convergent to u almost everywhere in . Then the sequence converges
strongly in Lp() to u for all 1 p < q and weakly in Lq().
Observe that the Lemma 1.3 of J.-L. Lions [2] is the above corollary.
Proof: The function u is measurable and (|u|q)N converges to |u|q almost everywhere
in . Since Z
||u||qLq () = |u(x)|q dx < cq

because, by hypothesis, the sequence is bounded in Lq(). It follows from Fatous lemma
that |u|q is integrable on , that is, u Lq().
For 1 p < q, let us prove that (u)N converges to u strongly in Lp(). For this,
qp
let us apply the Theorem 4, when F(s) = s and G(s) = s p , for all N. These
functions are measurable. If we define v = |u u|p, we have:
p
Z v)(x) = |u u| , which converges
(a) (F Z to zero a.e. in .
(b) |F(v(x))| |G(v(x))| dx = |u(x) u(x)|q dx < c;

(c) G(s) + when F(s) +.
It follows from the Theorem 4, that (|u u|p)N converges to zero in L1(), that
is, (u)N converges to u in Lp().
To prove that (u)N converges to u weakly in Lq(), we have to prove:
Z Z

(1.79) lim upv dx = uv dx, for all v Lq ()

1 1
with + = 1.
q q
We know that this is true for all v Lp() by the strong convergence in Lp(), in

particular for v D(). By density (1.79) is true for v Lq ().
The method which shall be used to study the semilinear partial differential equations
u u + F(u) = 0, begins with the case F : R R a Lipschitz functions such that
sF(s) > 0 for all s R. In the following step we study the continuous case, i.e., F : R R
is continuous and sF(s) 0 for all s R. Observe that the Lemma 5, shows that each
continuous functions F : R R, such that sF(s) 0, can be approximated, uniformly in
bounded sets of R, by Lipschitz functions of the same type and derivable except in a finite
number of points. In the proof shall be used the W.A. Strauss convergence theorem.
If F : R R, is continuous, we represent by G the primitive
Zs
(1.80) G(s) = F() d.
0
Note that when F : R R is continuous and sF(s) 0, then F(0) = 0. Note that
Q = ]0, T [, T > 0, bounded open set of Rn with smooth boundary . By we
represent the lateral boundary of Q.
Theorem 5. Let F : R R be Lipschitz, sF(s) 0 and G defined by (1.80). Given:
(1.81) u0 H10(), u1 L2(),
there exists only one u : Q R, satisfying the conditions

u L (0, T ; H10())

u L (0, T ; L2())

u L2(0, T ; H1())

d
(1.82) (u (t), v) + ((u(t), v)) + (F(u(t)), v) = 0 in D (0, T ),
dt

for all v H10()

u u + F(u) = 0 in L2(0, T ; H1())

u(0) = u0 , u (0) = u1 .
Proof: The proof will be done by Picard successive approximations.

Let us consider the sequence of successive approximations
(1.83) u0, u1, u2, . . . , un, . . .
defined as the solutions of the linear problems:

un un + F(un1) = 0

(1.84) u = 0 on
n

un(0) = u0 , un (0) = u1 ,
for n = 1, 2, . . . . The first term of the sequence (1.83) is the initial data u0 given by
(1.81).
First of all, we must prove that (1.84) has solution for each n N, what shall be done
by induction.
In fact, for n = 1, we have:

u1 u1 F(u0) = 0 in Q

(1.85) u = 0 on
1

u1(0) = u0 , u1 (0) = u1 .
It is sufficient to observe that (1.85) is in the conditions of the Theorem 2, cf. Section 2.
In fact, take V = H10(), H = L2(). We have:
(1.86) H10() L2() = (L2()) H1(), dense and continuous.
Note that H1() is the dual of the Sobolev space H10(). We take A = and we have:
L(H10(), H1
0 ()). With the notation of the Section 2, we have ( ), | |, (( , )),
|| || are, in the present realization, respectively, the inner product and norm in L2()
and H10(). As u0 H10(), and we have (1.86), it implies F(u0) L2(), because F
is Lipschitz and F(0) = 0. It follows that the Problem (1.85) is in the conditions of the
Theorem 2, Section 2. Then, there exists only one function u1 : Q R, satisfying:

u1 L (0, T ; H10())

u1 L (0, T ; L2())

d
(u (t), v) + ((u1(t), v)) + (F(u0), v) = 0
dt 1

(1.87)
for all v H10(), in the sense of D (0, T )

u1 L2(0, T ; H1())

u u + F(u ) = 0 in the sense of L2(0, T ; H1())
1 1 0

u1(0) = u0 , u1 (0) = u1 .
Suppose we have proved the existence of a unique solution of (1.84), for n1, satisfying
(1.87), then we shall prove that it exists for n. To prove for n, we must verify that the
problem:

un un + F(un1) = 0

(1.88) u = 0 on
n

un(0) = u0 , un (0) = u1 ,
satisfies the condition of the Theorem 2. In fact, to obtain the condition (1.86) for un ,
defined by (1.88), it is sufficient to verify that F(un1) L2(0, T ; L2()). This is true,
because un1 L (0, T ; H10()), by (1.86) and F is Lipschitz and sF(s) 0. Then by
Theorem 2, exists a unique u : Q R, such that

un L (0, T ; H10())

un L (0, T ; L2())

d
(u (t), v) + ((un(t), v)) + (F(un1), v) = 0
dt n

(1.89)

un L2(0, T ; H1())

n n n1

un(0) = u0 , un (0) = u1 .
We also obtain, from the Theorem 3:
(1.90) un C0([0, T ].H10()), un C0([0, T ]; L2()).
The next step consists in proving that the sequence of successive approximations given
by (1.83) converges to a function u : Q R, satisfying the conditions of the Theorem 5.
For that, let us define wn = un un1 , which is the unique solution of the problem:

wn + wn + F(un1) F(un2) = 0 on Q

(1.91) w = 0 on
n

wn(0) = 0, wn (0) = 0.
By the energy inequality, cf. (1.60), Proposition 1, Section 2, we have:

Zt
1 1
(1.92) |wn(t)|2 + ||wn(t)||2 (F(un1) F(un2), wn) ds.
2 2 0
Therefore,
Zt Zt
(1.93) (F(un1) F(un2), wn(s)) ds c |wn1(s)| |wn(s)| ds

0 0
Zt Zt
2 2 1
c 4t |wn1(s)| ds + |wn(s)|2 ds.
0 4t 0
Let us define:

1 2 1 2
(1.94) en(t) = ess sup |w (s)| + ||wn(s)|| .
0<s<t 2 n 2
It follows that:
Zt
1 1
(1.95) |wn(s)|2 ds en(t).
4t 0 2
From (1.95), we modify (1.93), obtaining:

Zt ZT
1
(1.96) 2
(F(un1) F(un2), wn(s)) ds c 4T |wn1(s)|2 ds + en(t).
0 0 2
Substituting (1.96) in (1.92) we get:

Zt
1
(1.97) en(t) c24T |wn1(s)|2 ds
2 0
for T > 0.
Note that wn1(0) = 0 and
Zs Z s 1/2
1/2
|wn1(s)|R |wn1()|R d s |wn1()| d
0 0
for 0 < s < t. Then

Z Zs
2
(1.98) |wn1(s)| = |wn1(s)|2R ds s |wn1()|2 d.
0
Note, by (1.94), that
(1.99) |wn1(s)|2 2en1(s).
By (1.98) and (1.99) we get:
(1.100) |wn1(s)|2 2s2en1(s) 2T 2 en1(s).
Substituting (1.100) in (1.97) we obtain:

Zt
(1.101) en(t) K en1(s) ds.
0
From (1.101), by iteration, it follows, for all n = 1, 2, . . . , that
(Kt)n
en(t) e0cT ,
n!
P
what implies the convergence of en(t), for all t > 0, because it is dominated by the
n
P (Kt) n
convergent numerical series By the definition of en(t), by (1.94), it follows that
n n!
the series
P P
(un un1), (un un1)
n n
are convergents, respectively, in the norms L (0, T ; L2()) and L (0, T ; H10()). It follows

that the sequences (un)nN , (un)nN converges, respectively, in L (0, T ; L2()) and
L (0, T ; H10()). We then obtain u : Q R such that:

un u in L (0, T ; H10()), strongly.
(1.102)

un u in L (0, T ; L2()), strongly.
From (1.102) we obtain
d d
(1.103) (un(t), v) (u (t), v) in D (0, T )
dt dt
for all v H10(). Also from (1.102), by the Lipschitz condition for F, we obtain:
(1.104) F(un) F(u) in L (0, T ; L2()) strongly.

From (1.102), (1.103), (1.104), it follows that u is the solution, i.e.,
d
(1.105) (u(t), v) + ((u(t), v)) + (F(u), v) = 0,
dt
for all v H10() in D (0, T ). All the conditions (1.82) are satisfied by u uniqueness is
because F is Lipschitz.
Energy Inequality
By the Proposition 1, Section 2, the solution un of the linear problem (1.88), satisfies
the energy inequality:
Zt
(1.106) |un(t)|2 2
+ ||un(t)|| + 2 (F(un1), un(s)) ds |u1|2 + ||u0||2.
0
By (1.102) and (1.104) we have strong convergence of (un)n N in L2(0, T ; H10()),

(un)nN , (F(un))nN in L2(0, T ; L2()).
Let us consider a step function on [0, T ], > 0, and multiply both sides of (1.106)
by and integrate on [0, T ]. Taking limits when n , we get
ZT ZT ZT Zt
2 2
|u (t)| dt + ||u(t)|| dt + 2 (F(u), u(s)) ds
0 0 0 0
ZT ZT
|u1|2 ds ||u0||2 ds
0 0
for all 0, step function. Therefore,

Zt
(1.107) 2 2
|u (t)| + ||u(t)|| + 2 (F(u), u1) ds |u1|2 + ||u0||2,
0
by the same argument employed in Section 2, Proposition 1. We have:

Z Z
d
(F(u), u ) = F(u)u ds = G(u) dx.
dt
Then we modify (1.107) obtaining:

Z Z
2 2 2 2
(1.108) |u (t)| + ||u(t)|| + 2 G(u) dx |u1| + ||u0|| + 2 G(u0) dx.

Note that (1.108) make sense, because G(u0) L1() since u0 H10().
The next step consists in proving the existence of weak solutions for the semilinear
equation in the general case F : R R continuous, sF(s) 0 on R. Te proof depends on
the following lemma of approximation by Lipschitz functions.
Lemma 5. Let F : R R be continuous and sF(s) 0 for all s R. Then there exists
a sequence (Fk)k N such that sFk(s) 0 and
i) |Fk() Fk()| ck| |, for all , R.
ii) (Fk)k N converges uniformly to F on the bounded sets of R.

Zs
Proof: If G(s) = F() d, let us define Fk : R R by the following:
0

1 1
Fk(s) = k G s G(s) if k s
k k

1 1
Fk(s) = k G s + G(s) if s k

(1.109) k k

1 1
Fk linear by parts on s , with Fk(0) = 0
k k

1
Fk constant for |s|
k
Note that Fk defined by (1.109) is derivable, for each k N, except in five points. The
sequence (Fk)kN satisfies the conditions of Lemma 5.
Theorem 6. Given:
(1.110) u0 H10(), u1 L2(), G(u0) L1(),
there exists a least one function u : Q R such that:

(1.111) u L (0, T ; H10())
(1.112) u L (0, T ; L2())

d
(1.113) (u (t), v) + ((u(t), v)) + (F(u), v) = 0 in D (0, T )
dt
for all v D(),
(1.114) u L1(0, T ; H1() + L1())
(1.115) u u + F(u) in the sense of L1(0, T ; H1() + L1())
(1.116) u(0) = u0 , u (0) = u1
Proof: Let (Fk)kN be a sequence of Lipschitz functions satisfying the conditions of the
Lemma 5, i.e., it approximates F uniformly on bounded sets of R. The initial data u0 is
not necessarily bounded. In order to be able to apply Fk to u0 and take limits we need
approximate u0 by bounded functions of H10().
We consider the functions j : R R defined by:

s if |s| j

j(s) = j if s>j

j if s < j
Given u0 H10(), the sequence j(u0) = u0j belongs to H10(), Stampacchia [10], and
(1.117) u0j u0 in H10().
By our usual notation, Gk is the function

Zt
Gk(s) = Fk() d.
0
By Theorem 4, Lipschitz case, the mixed problem

ujk ujk + Fk(ujk) = 0 on Q

(1.118) u = 0 on
jk

ujk(0) = u0j , ujk(0) = u1
has only one solution ujk , which satisfies, for j, k N the energy inequality (cf. energy
inequality (1.108))
Z Z
(1.119) |ujk(t)|2 2
+ ||ujk(t)|| + 2 2 2
Gk(ujk(s, t)) dx |u1| + ||u0|| + 2 Gk(uoj) dx.

To obtain an estimate for the right hand side of (1.119) we need estimate the term
Gk(u0j), which is positive because sFk(s) 0 for all s real.
In fact, u0j is bounded for all j N. In 0 s u0j we have uniform convergence of
(Fk)kN , that is,
Fk(s) F(s) uniformly on 0 s u0j .
This implies, integrating on [0, u0j]
Gk(u0j) G(u0j) a.e. in , as k .
But
d d
(1.120) Gk(u0j) G(u0j) uniformly on .
du0j du0j
It then follows that
Gk(u0j) G(u0j) uniformly on
then
Z Z
(1.121) Gk(u0j) dx G(u0j) dx.

We can extract a subsequence (u0) N of (u0j)jN such that
u0j u0 a.e. in .
This is a consequence, of the convergence of (u0j)jN in H10() and by continuity of G,

we have G(u0) G(u0) a.e. in .
We will prove that
Z Z
(1.122) G(u0) dx G(u0) dx.

Z
In fact, G(u0) dx exists by hypothesis. Let us prove (1.122) as a consequence of

Corollary 2 of Theorem 3. We have
Z Z Z u0 Z

2
|G(u0)| dx = F(s) ds dx c ||u0||2 dx < c1

G 0
because u0 u0 in H10(). Then, Corollary 2, implies (1.122). By (1.121) and (1.122)

it follows that the right hand side of (1.119) is bounded independent of and k. We have
Zt
2 2
(1.123) |uk(t)| + ||uk(t)|| + 2 G(uk(x, t)) dx < c
0
for all for (, k) N N. The same is true for the diagonal (, ) which we represent by
(ui)iN . We then obtain, from (1.123) and for the subsequence (ui)iN ,
Z
2 2
(1.124) |ui(x)| + ||ui(x)|| + 2 Gi(ui(x, t)) dx < c

for all i N.
From (1.124) we obtain a subsequence still denoted by (ui)iN such that:
(1.125) (ui)iN is bounded in L (0, T ; H10())
(1.126) (ui)iN is bounded in L (0, T ; L2())
Note that from Theorem 4 and (1.118) we have:

d
(ujk(t), v) + ((ujk(t), v)) + (Fk(ujk), v) = 0,
dt
for all v H10(), in the sense of D (0, T ). This equation is true for all (j, k) N N, in
particular for the diagonal (, ), that is, for the sequence (ui)iN . Then ui is solution of
d
(1.127) (ui(t), v) + ((ui(t), v)) + (Fi(ui(t)), v) = 0
dt
for all v H10(), in the sense of D (0, T ).
By (1.125) and (1.126) we obtain subsequences still represented by (ui)iN such that
d
the two first terms of the right hand side of (1.127) converges to (u(t), v) and ((u(t), v))
dt
respectively. We need to prove that (Fi(ui(t)), v) converges to (F(u(t)), v). This will be
done employing compactness and W.A. Strauss convergence theorem (cf. Theorem 3).
In fact, by estimates (1.125), (1.126) and Aubin-Lions compactness theorem, J.-L.
Lions [2], we obtain a subsequence (u)N of (ui)iN such that
(1.128) u u strongly in L2(0, T ; L2())

and, a subsequence such that
(1.129) u u a.e. in Q.
By the continuity of F, we obtain:
(1.130) F(u) F(u) a.e. in Q
when we fixe (x, t) in Q, in which u(x, t) u(x, t) by (1.129) it follows that u(x, t) is
bounded. Then:
(1.131) F(u(x, t)) F(u(x, t)) a.e. in Q.
In order to obtain L1(Q)Zconvergence of (F(u))N we need only verify (b), Remark 4

of Theorem 3, that is, 0 < F(u) dxdt < c. From (1.127) it follows:

u u + F(u) = 0 in L2(0, T ; H1()).
Whence,
ZT ZT ZT

(1.132) u(t), w dt + ((u(t), w)) dt (F(u), w) dt = 0
0 0 0
for all w L2(0, T ; H10()). By the Lipschitz case we have u L2(0, T ; H10()), then we
can take w = u in (1.132), what gives:
ZT ZT ZT Z

2
u, u dt + ||u(t)|| dt + F(u)u dxdt = 0.
0 0 0
We have
ZT ZT

u, u dt = (u(T ), u(T )) (u(0), u(0)) |u(t)|2 dt.
0 0
This implies that the two first terms of the right hand side of (1.132) for w u are
bounded and, consequently, the term
ZT Z
F(u)u dxdt
0
Section 4 Ultra Weak Solutions 45
is bounded. Note that F(u)u 0, cf. Lemma 5. Then by W.A. Strauss convergence
theorem we obtain:
F(u) F(u) in L1(Q)
we can pass the limit in (1.127) and we get:

d
(1.133) (u(t), v) + ((u(t < v)) + (F(u), v) = 0
dt
for all v D() in the sense of D (0, T ).
From (1.133) it follows that
u u + F(u) = 0 in the sense of D (Q).
Note that F(u) L1(0, T ; L1()) and u L2(0, T ; H1()) what implies:
u L2(0, T ; H1()) + L1(0, T ; L1()).
But L2(0, T ; H1()) L1(0, T ; H1()+L1()) and L1(0, T ; L1()) L1(0, T ; H1()+
L1()). We obtain u L1(0, T ; H1() + L1()) what gives (1.114). The other condi-
tions follows.
1.4 Ultra Weak Solutions
In this section we consider the wave equation with weaker data. More precisely, we
consider the problem.
Problem 1. Given
u0 L2(), u1 H1(), f L1(0, T ; H1())
find u : Q R solution of

u u = f on Q

() u = 0 on

u(0) = u0 , u (0) = u1
By virtue of the peculiarity of the initial data u0 , u1 and the force f, we need to modify
the concept of solution for (). This new concept was introduced in Lions-Magenes [3].
There are, at least, two methods to prove existence and uniqueness for solution of ().
One called Direct Method consisting in approximate () by weak problems as studied in
the Section 2. A second method, called Transposition Method which is an application of
Rieszs representation theorem. We consider in this notes the Direct Method.
Let us consider for h L2(0, T ; L2()) the mixed problem:

v v = h

(1.134) v = 0 on

v(T ) = u0 , v (T ) = 0 on
This backward problem is well posed in Sobolev spaces. It is sufficient consider the
change of variables ^v(t) = v(T t). By Section 2, Theorem 2, we deduce the existence
and uniqueness of a solution v with the following regularity:
v C0([0, T ]; H10()); v C0([0, T ]; L2()); v L2(0, T ; H1()).
Operating formally, multiply both sides of () by v solution of (1.134) and integrate

on Q. We obtain:
ZT ZT
(1.135)
(u(t), v (t) v(t)) dt = hf(t), vi + hu1, v(0)i (u0, v(0)).
0 0
Let us represent by
X = { solutions of (1.134), when h varies}.
Definition 1. We call ultra weak solution of the Problem 1, a function u : Q R such

that ZT ZT

(u(t), v (t) v(t)) dt = hf(t), v(t)i dt + hu1, v(0)i (u0, v (0))
0 0
for all v X such that v (t), v(t) L2(), and u(0) = u0 , u (0) = u1 .
Note that if we consider h regular, the set of v X such that v (t), v(t) L2() is
not empty.
Theorem 7. If
(1.136) u0 L2(), u1 H1(), f L1(0, T ; H1()),
then exists a unique function u : Q R such that:
(1.137) u L (0, T ; L2())
(1.138) u L (0, T ; H1())
(1.139) u is an ultra weak solution of the Problema 1.
(1.140) u C0([0, T ]; L2()), u C0([0, T ]; H1())
Proof: We divide the proof, by Direct Method, in steps.
Step 1 Approximations of u0 , u1 and f by regular functions. We have the inclusion

H10() L2() H1() with injections continuous and dense. Let us consider the
approximations:
fn L1(0, T ; L2()); u0n H10() and u1n L2(), for all n N,
sequences such that
(1.141) {fn, u0n, u1n} {f, u0, u1} in L1(0, T ; H1()) L2() H1().
Now, let us consider the following weak problems:

un un = fn in Q

(1.142) u = 0 on
n

un(0) = u0m , un (0) = u1n in
The problem (1.142), as we know by Theorem 2, Section 2, has only one solution un
for all n N with the following properties:

un L (0, T ; H10())

un L (0, T ; L2())

d
(u (t), v) + ((un(t), v)) + (f(t), v),
dt n

(1.143)

un L1(0, T ; H1())

n n n1

un(0) = u0n, un (0) = u1n .
We have more:
(1.144) un un = fn in the sense of L1(0, T ; H1())
(1.145) un C0([0, T ]; H10()) and un C0([0, T ]; L2())
Step 2 (A priori estimate). We know that is an isomorphism between H10() and

H1(). We then define a natural inner product in H1() as follows: For all v H1()
we have G ()1 v belong to H10(). Then, for all pair u, v H1() we define the
bilinear form
(1.146) (u, v) = hu, Gvi = ((Gu, Gv))
where h , i is the duality pairing between H1() and H10(). It follows that ( , ) defined
by (1.146) is an inner product in H1(). The induced norm is
(1.147) ||v||2 = hv, Gvi = ||Gv||2
for all H1().

Now we are able to obtain estimates for the solutions of the approximate system
(1.142). We have from (1.145), un(t) L2() H1() continuously. Then Gun
H10() and make sense the inner product of Gun and un L2(0, T ; H1()).
Also by (1.145) we have um(t) H1(), then make sense the inner product:
(un(t), un(t)) = (un(t), un(t)) = hun(t), G(un(t))i = (un(t), un(t)).
Taking the inner product in H1() of both sides of (1.142) with un(t), we obtain:
d
(1.148) (||un(t)||2 + |un(t)|2) 2||fn|| ||un(t)|| .
dt
Integrating (1.148) from 0 to t, we obtain:

ZT
(1.149) ||un(t)||2 2
+ |un(t)| ||u1n||2
+ ||fn(t)|| dt+
0
Zt
+ ||fn(s)|| ||un(s)||2 ds.
0
Note that (1.149) is an inequality of the type:

Zt
(1.150) n(t) kn + n(s)n(s) ds
0
with n L1(0, T ). Note that n(s) = ||fn(s)|| ; n(t) = ||un(t)||2 + |un(t)|2;

RT
Kn = ||u1n||2 + |u0n|2 + 0
||fn(s)|| ds. From (1.150) and Gronwalls inequality, we obtain:
n(t) cKn , c constant independent of n.
We then obtain:
ZT
(1.151) ||un(t)||2 + 2 2 2
|un(t)| c ||u1n|| + |u0n| + ||fn(t)|| dt .
0
By (1.141) it follows that Kn is bounded, then from (1.151) we have:
(1.152) ||um(t)||2 + |un(t)|2 < c, for all 0 t T.
From (1.152), we get:

un is bounded in L (0, T ; L2())
(1.153)

un is bounded in L (0, T ; H1())
Step 3 (Limit of the approximate solutions). From (1.153) we obtain a subsequence

still represented by (un)nN , such that:

un u weak star in L (0, T ; L2())
(1.154)

un u weak star in L (0, T ; H1())
Step 4 (u is ultra weak solutions). From (1.142) taking the inner product in H1()
with v X such that v , v L2(0, T ; L2()),
ZT Zt
(1.155)
(un(t), v (t) v(t)) dt = hfn(t), v(t)i dt + hu1n, v(0)i (u0n, v (0)).
0 0
When n in (1.155), from (1.141) and (1.154), we obtain:

ZT ZT

(u(t), v (t) v(t)) dt hf(t), v(t)i dt + hu1, v(0)i (u0, v (0))
0 0
for all v X such that v , v L (0, T ; L2()).

2
If we have two ultra weak solution u, u ^ , then

ZT
^ (t), v(t) v(t)) dt = 0
(u(t) u
0
for all v X such that v , v L2(0, T ; L2()). This implies u = u

^ , proving uniqueness.
Step 5 (Regularity). Let us prove now that the solution u is in C0([0, T ]; L2())
C1([0, T ]; H1()).
In fact, we know that the same regularity is true for un . From (1.142), for m 6= n,
we have:
(1.156) um un (um un) = fm fn in L1(0, T ; H1()).
Taking the inner product in H1() of both sides of (1.156) with um(t) un(t), we
obtain:
(1.157) ||um(t) un(t)||2 + |um(t) un(t)|2

ZT
2 2
c ||u1m u1n|| + |u0m u0n| + ||fm(s) fn(s)|| ds .
0
It follows from (1.157) and (1.141) that:

2 2
lim Max [||un(t) un(t)|| + |un(t) un(t)| ] = 0.
m,n 0tT
Then,

un v strongly in C0(0, T ; L2())
(1.158)

un w strongly in C0(0, T ; H1())
By (1.154) we obtain v = u and w = u , proving that the ultra weak solution

u C0([0, T ]; L2()) C1([0, T ]; H1()).
Step 6 (Trace of u in ). After integration by parts in the equation:

ZT ZT

(u(t), v (t) v(t)) dt = hf(t), v(t)i dt + hu1, v(0)i (u0, v (0))
0 0
for all v X, such that v , v L2(0, T ; L2()), we obtain:

ZT Z
v
u d dt = 0.
0
Then u = 0 on in this sense, if integration by parts is correct.
Step 7 (Initial data). By Step 4 and (1.156) we obtain u(0) = u0 and u (0) = u1 .
Interpretation. From (1.143) the solution un is such that:

ZT ZT ZT

(un(t), ) dt + (un(t), ) dt = (fn, ) dt
0 0 0
for all D() and D(0, T ).

When n we obtain the ultra weak solution u satisfies the equation
ZT ZT ZT

(u(t), ) dt + (u(t), ) dt = (f(t), ) dt
0 0 0
for all D() and D(0, T ) or for all D(]0, T [). The, u u = f in D (Q).
References
[1] H. Brezis, Analyse Fonctionelle, Theorie et Applications, Masson, Paris, 1983.
[2] J.L. Lions, Quelques Methodes de Resolution des Problemes aux Limites non Li-
neaires, Dunod, Paris, 1969.
[3] J.L. Lions - E. Magenes, Problemes aux Limites non Homogenes et Applications,
Vol. 1, Dunod, Paris, 1968.
[4] L.A. Medeiros, On the weak solutions of Non Linear Partial Differential Equations,
An. Acad. Bras. Cienc. (1981) 53(1), pp. 13-15.
[5] L. Schwartz, Theorie des Distributions, Tome I, II, Herman Ed., Paris, 1950.
[6] S. Sobolev, Applications of Functional Analysis in Mathematical Physics, AMS

Transactions of Mathematical Monographs, Vol. 7 (1963).
[7] W.A. Strauss, The Energy Method in Nonlinear Partial Differential Equations,
IMPA-CNPq, Rio de Janeiro, RJ, 1968.
[8] W.A. Strauss, On weak solutions of Semi-Linear Hyperbolic Equations, An. Acad.
Bras. Cienc. 42(4), 1970, pp. 645-651.
[9] R. Temam, Navier-Stokes Equations (Theory and Numerical Analysis), North

Holland, Oxford, 1979.
[10] G. Stampacchia, Equations Elliptics of Second Order a Coefficients Discontinuous,

Le Presse de lUniversite de Montreal, 1966.
Analise Matematica do Sistema de
Elasticidade
L. A. Medeiros
Instituto de Matematica-UFRJ
IM-UFRJ - Setembro de 1985

Rio de Janeiro - RJ
Introducao 55
Introducao
O objetivo que se tem em mente, nesta exposicao, e analisar, do ponto de vista ma-
tematico, o sistema da elasticidade. Na esperanca de tornar inteligvel a simbologia que
nele aparece, procura-se fazer sua deducao a partir de consideracoes fsicas intuitivas. Esta
exposicao baseia-se em Duvaut-Lions [1], sendo parte da disciplina Equacoes Diferenciais
Parciais do IM-UFRJ.
O plano da presente exposicao e o seguinte:
1. Deformacoes Locais
2. Analise das Tensoes - Elasticidade Linear
3. Estudo Matematico do Sistema da Elasticidade
2.1 Deformacoes Locais
Suponha-se que um corpo elastico ocupe uma parte do R3, que num instante t0
representa-se por 0 e num instante t, apos mudanca de sua configuracao, devida a
deformacoes, ocupe uma parte do R3. Pensa-se em 0 e como abertos limitados
e conexos do R3, cuja fronteira, suposta regular, representa-se por 0 e . A Figura 1
mostra uma imagem grafica daquilo que foi dito acima.
Supoe-se uma base ortonormal (e1, e2, e3) do R3 com origem no ponto O. Sejam P0
um ponto de 0 e Q0 um ponto de 0 em uma vizinhanca de P0 . Tem-se P0 O = x,
Q0 O = P0 O + Q0 P0 = x + dx. Devido a deformacao, o ponto P0 transformou-se
no ponto P de . Diz-se que houve um deslocamento de P0 o qual representa-se por
u(x), dependendo de P0 . Admite-se que o ponto Q0 sofreu um deslocamento ocupando
a posicao Q em , pertencente a uma vizinhanca de P. Logo, sendo Q0 O = x + dx, a
56 Analise Matematica do Sistema de Elasticidade
deformacao Q Q0 sera u(x + dx). Anote-se P O por X e Q P por dX. A proxima

etapa sera escrever-se Q P = dX como uma funcao dos deslocamentos conhecidos: dx,
x + dx, u(x + dx). Obtem-se, admitindo-se P0Q0QP um paralelogramo:
(2.1) Q P = (Q0 P0) + (Q Q0) (P P0).
De (2.1), com a notacao convencionada, resulta:
(2.2) dX = dx + u(x + dx) u(x).
Note-se que x = x1e1 + x2e2 + x3e3 e u e uma funcao vetorial definida em 0 , isto e,
u(x) = u1(x)e1 + u2(x)e2 + u3(x)e3 . Supoe-se que u seja continuamente diferenciavel em
e seu gradiente representa-se por u. Resulta do teorema do valor medio:
(2.3) u(x + dx) u(x) = u dx
sendo u dx o vetor obtido transformando o vetor dx pela matriz u, calculada num

ponto intermediario. De (2.3), a (2.1) toma a forma:
(2.4) dX = dx + u dx.
Observacao 1. Quando u = 0 resulta que dX = dx, concluindo-se nao ter havido

deslocamentos relativos dos pontos de 0 . Segue-se, portanto, que o gradiente de u(x)
Section 1 Deformacoes Locais 57
mede a deformacao sofrida pelo corpo elastico ao mudar a sua configuracao de 0 para
. Note-se que u, para a funcao vetorial
u : 0 , 0, R3,
e um tensor de ordem dois. Assim, dito de outro modo, o tensor u mede as deformacoes
locais do corpo elastico 0 .
Observacao 2. Note-se que ao formular-se o problema do estudo das deformacoes, supoe-

se a variacao no tempo. Resulta que u depende de x em 0 e t em (0, T ). Na notacao
omite-se o parametro t em algumas equacoes.
Observacao 3. Fazendo-se uso da base (e1, e2, e3) escolhida para o R3, tem-se:

u1 u1 u1
x1 x2 x3
u u u2
2 2
(2.5) u =
x1 x2 x3
u3 u3 u3
x1 x2 x3
Considere-se, desta vez, dois pontos Q0 , Q0 numa vizinhanca de P0 , isto e, os vetores
Q0 P0 = dx e Q0 P0 = dy.
Os pontos Q0 , Q0 , quando 0 se deforma, transformam-se nos pontos Q e Q da

configuracao . Obtem-se Q P = dX e Q P = dY, portanto a equacao (2.4) escreve-
se:
(2.6) dX = dx + u dx e dY = dy + u dy.
Para medir-se a deformacao e suficiente calcular-se ||dX dY||, isto e, a norma no R3 do

vetor dX dY. Obtem-se:
||dX dY||2 = (dX dY | dX dY) = ||dX||2 2(dX | dY) + ||dY||2.

A hipotese de pequenas deformacoes permite eliminar os termos quadraticos dos calculos.

Logo, para medir as deformacoes e suficiente analisar a forma bilinear (dX | dY). Obtem-
se de (2.6):
(dX | dY) = (dx + u dx | dy + u dy)
ou,
(dX | dY) = (dx | dy) + (dx | u dx) + (u dx | dy) + (u dx | u dy).
Representando por (u) a matriz transposta de u dada por (2.5), obtem-se:
(dX | dY) = (dx | dy) + (dx | u dy) + (dx | (u) dy) + (dx | (u) u dy)
ou
(dX | dY) = (dx | dy) + (dx | [u + (u) + (u) u] dy).
Fazendo-se:
1
(2.7) (u) = [u + (u) + (u) u],
2
obtem-se:
(2.8) (dX | dY) = (dx | dy) + 2(dx | (u) dy).
A equacao (2.7) caracteriza as deformacoes numa vizinhanca de um ponto P0 . O tensor

(u) e denominado tensor de deformacoes.
Sendo (u) a transposta de u, um elemento cij do produto (u) u que define-se
como o produto escalar do vetor linha i de (u) pelo vetor coluna j de u, sera
P
cij = aik akj ,
k
isto e,
P ui uk
(2.9) cij = .
k xk xj
Section 1 Deformacoes Locais 59
De (2.9), o tensor de deformacoes (2.7) toma a forma:

1 ui uj P ui uk
(2.10) ij(u) = + + ,
2 xj xi k xk xj
sendo ij(u) o elemento situado na linha i e coluna j.

Note-se que (u) e nao linear. Trabalha-se, entretanto, com uma linearizacao de
(u) dada por
1
(2.11) (u) = (u + (u) )
2
que tambem e simetrico. Assim, o tensor linearizado (u) sera denominado, simplesmente,
tensor de deformacoes. A expressao (2.10) para o tensor linearizado tem a forma:

1 ui uj
(2.12) ij(u) = + .
2 xj xi
Obtem-se:

u1 1 u1 u2 1 u1 u3
+ +
x1 2 x2 x1 2 x3 x1
1 u1 u2 u2 1 u1 u3
(u) =
+ +

2 x2 x1 x2 2 x3 x1
1 u1 u3 1 u2 u3 u3
+ +
2 x3 x1 2 x3 x2 x3
De (2.11) a equacao (2.8), caracterizando as deformacoes, reduz-se a seguinte:
(2.13) (dX | dY) = (dx | dy) + (dx | (u) dy).
Observacao 4. Quando u for anti-simetrico, isto e, (u) = u, resulta que (u) =

0 e de (2.13) obtem-se:
(dX | dY) = (dx | dy),
mostrando nao haver deformacao. Trata-se de um movimento rgido. Posteriormente,

sera analisada esta situacao com mais cuidado.
Interpretacao dos Elementos de (u)

(u).
i) Suponha-se que fixou-se uma direcao no R3 e que dy = dx = ||dx||. Considerando

dY = dX, resulta de (2.13):
(2.14) ||dX||2 ||dx||2 = 2||dx||2( | (u) ).
Da hipotese de pequenas deformacoes, obtem-se:

||dX||2 ||dx||2 = ||dX|| ||dx|| ||dX|| + ||dx|| ||dX|| ||dx|| 2||dx||.
Da, a (2.14) reduz-se a seguinte:

||dX|| ||dx||
( | (u) ).
||dx||

Note que ||dX|| ||dx|| /||dx|| mede a variacao media de comprimento. Resulta que
conhecido (u) e simples calcular variacoes de comprimento das deformacoes em uma
vizinhanca de P0 em 0 , numa determinada direcao . Assim, por exemplo, considerando-
se = ei , vetor da base ortonormal (e1, e2, e3) do R3, a variacao unitaria de comprimento
em P0 na direcao ei sera:
ui
(ei | (u) ei) = ii =
xi
Conclui-se que os elementos ii da diagonal principal de (u) permitem calcular a variacao
de comprimento na direcao dos vetores da base (e1, e2, e3).
ii) Para interpretar-se os elementos fora da diagonal principal de (u), sao conside-
radas duas direcoes perpendiculares e do R3. Supoe-se dx = ||dx||, dy = ||dy|| e
substitui-se em (2.13), obtendo-se:
(2.15) ||dX|| ||dY|| cos = 2||dx|| ||dy|| ( | (u))
sendo o angulo de dX em dY. Seja o decrescimo do angulo de dx com dy. Tem-se

= /2 , logo cos = sen , em virtude da hipotese de pequenas deformacoes.
Admitindo-se ||dX|| ||dx||, ||dY|| ||dy||, em (2.15), obtem-se:
2( | (u))
para o calculo do angulo que mede o decrescimo do angulo dos vetores dx, dy.
Section 2 Analise das Tensoes 61
Tomando-se = ei , + ej i 6= j, tem-se duas direcoes perpendiculares. O angulo

sera obtido por:
(ei | (u)ej) = 2ij ,
que e o elemento ij situado na linha i e coluna j de (u), fora da diagonal. O angulo

denomina-se angulo de cisalhamento.
Conclui-se, de i) e ii), que o tensor de deformacoes (u) permite avaliar variacoes de
comprimento nas direcoes e1 , e2 , e3 e cisalhamento de figuras com arestas ou faces
paralelas a estas direcoes.
2.2 Analise das Tensoes
Suponha-se o corpo elastico em equilbrio sob a acao de esforcos exteriores cons-

titudos de uma densidade volumetrica de forcas atuando em e de uma densidade
superficial de forcas atuando sobre a fronteira de . Tais esforcos geram no interior de
um campo de tensoes, o qual sera examinado a seguir.
Imagine-se um ponto P situado no interior de e por P uma superfcie regular S
decompondo em dois abertos 1 e 2 , com fronteira comum S. A Figura 2 fornece
uma imagem visual.
Considere-se 1 como um novo corpo elastico. Com n representa-se o vetor unitario da

normal a S em P, externa a 1 . As consideracoes a serem feitas sao baseadas na hipotese
de Cauchy a acao de 2 sobre 1 ao longo da superfcie S e representada por uma forca
n , um vetor, que depende do tempo t, do ponto P S e da normal externa n, a S no
ponto P. Note que n nao depende de S. Portanto se x for a coordenada de P a forca n
sera uma funcao (x, t, n) que e um vetor do R3. Diz-se que n = (x, t, n) e a tensao
proveniente de 2 sobre 1 e n = (x, t, n) a tensao de 1 sobre 2 . Pelo princpio
da acao e reacao, terceira lei de Newton, obtem-se:
n = n .
Um dos resultados fundamentais da teoria matematica da elasticidade e o teorema de

Cauchy que afirma: a tensao (x, t, n) e uma funcao linear da normal n em cada ponto x
em cada instante t. Suprimir-se-a o tempo t obtendo-se apenas (x, n). Demonstrar-se-a
que
(2.16) (x, t, n) = (x, t) n
sendo (x, t), para cada t, uma aplicacao linear do R3 no R3.

Tome-se um ponto P qualquer de e com vertice em P um tetraedro com arestas
dx1 , dx2 , dx3 paralelas, respectivamente, aos vetores e1 , e2 , e3 , como mostra a
Figura 3.
Iniciando-se com a face PAB, a normal externa e e1 e a tensao em P e e1 = e1 =

(x, t, e1). Logo a tensao total na face sera
(2.17) (x, t, e1)a(PAB)

sendo a(PAB), a area da face PAB.

Por argumento analogo encontra-se para as outras faces:
(2.18) (x, t, e2)a(PBC),
tensao na face PBC;
(2.19) (x, t, e3)a(PAC)
tensao na face PAC.

Sobre a face ABC, representando-se por (x, t, n) a tensao em P, obtem-se:
(2.20) (x, t, n)a(ABC).
Da segunda lei de Newton, F = m, resulta de (2.17), (2.18), (2.19), (2.20), que
(x, t, e1)a(PBC) (x, t, e2)a(PBC)

(2.21)
(x, t, e3)a(PAC) (x, t, n)a(ABC) = m.
Sendo a densidade do material de , obtem-se
1
(2.22) m= a(PBC)dx2.
3
As areas das faces com vertice em P, podem ser obtidas por meio de projecoes da face
ABC. De fato, sabe-se que a(PAB) por exemplo, e igual a area de a(ABC) multiplicado
pelo coseno dos angulos das normais a estas faces. A normal ao plano de e2 , e3 , e e1 , e
a normal a face ABC e n = n1e1 + n2e2 + n3e3 . O coseno do angulo sera n1 . Logo
(2.23) a(PBC) = a(ABC)n1 .
Analogamente para as outras faces. Retornando a (2.21), substituindo (2.22), (2.23) e

expressoes semelhantes para a(PBC), a(PAC), e fazendo o tetraedro reduzir-se ao ponto
P, mantendo-se a normal n constante, obtem-se de (2.21):
(x, t, n) = n1 (x, t, e1) + n2 (x, t, e2) + n3 (x, t, e3)
provando que (x, t, n) e uma funcao linear da normal n.

Tem-se, portanto, que
(16 bis) (x, t, n) = (x, t) n,
sendo (x, t), para cada t fixo, uma matriz no R3, na base e1 , e2 , e3 . Omite-se o
parametro t e trabalha-se com (x). A seguir sera feito o calculo das componentes da
matriz (x) ou do tensor (x), denominado tensor de tensoes calculado em x. Note que
n ou (x, t, n) e o vetor tensao no ponto x no instante t, enquanto (x, t) e um tensor
de segunda ordem.
Tem-se, na base e1 , e2 , e3 :
(2.24) n = 1e1 + 2e2 + 3e3 ,
onde i sao componentes do vetor n .

De (16 bis) obtem-se:
(2.25) n = (x) n = n1 (x) e1 + n2 (x) e2 + n3 (x) e3 .
Tem-se, na base e1 , e2 , e3 :
P
(2.26) (x)ei = ji(x)ej ,
j
ji(x) numeros reais.

De (2.24), (2.25), (2.26), obtem-se:

P P P P P
(2.27) iei = ni ji(x)ej = ij nj ei .
i i j i j
De (2.27) encontra-se:
P
(27 bis) i = ij(x)nj ,
j
que sao as componentes do vetor n obtidas por meio das componentes do tensor (x) e
da normal n no ponto P de coordenada x.
A seguir serao obtidas as equacoes diferenciais das tensoes e uma demonstracao da
simetria do tensor de tensoes. Estas informacoes serao obtidas da condicao de equilbrio:
uma condicao necessaria de equilbrio de um sistema mecanico e que a resultante das
forcas externas e o momento resultante destas forcas em relacao a um ponto qualquer
sejam iguais a zero.
Da nulidade das forcas externas resultam as equacoes diferenciais parciais das tensoes,
enquanto a nulidade do momento implica a simetria do tensor.
i) Equacoes Diferenciais Parciais das Tensoes
Sendo R a resultante das forcas externas, tem-se:
R1e1 + R2e2 + R3e3 = 0
sendo Ri componentes de R segundo a base e1 , e2 , e3 .

Cada componente Ri e constituda por uma parte Ri correspondente as forcas de
massas e outra Ri relativa a tensao superficial. A forca de massa F tendo componente Fi
na direcao ei , sua acao sobre dx sera dx Fi e sobre o inteiro e:
Z
(2.28) Fi dx.

Sobre cada elemento de superfcie d ha uma tensao d na direcao da normal externa

n. A tensao do exterior sobre sera
Z
(x, n)d.

Portanto, sua componente i na direcao ei , sera

Z
(2.29) i d.

Na condicao de equilbrio para R, somando-se (2.28 e (2.29) obtem-se:

Z Z
(2.30) Fi dx i d = 0.

Substituindo-se i dado por (2.28) em (2.30), obtem-se:

Z Z
P
(2.31) Fi dx ij nj d = 0.
j
Aplicando-se o Lema de Gauss a (2.31), obtem-se:

Z Z
P
Fi dx ij dx = 0
j xj
para todo aberto do R3. Da resulta:
P
(2.32) ij = Fi , i = 1, 2, 3, . . .
j xj
que e o sistema de equacoes diferenciais das tensoes.
ii) Simetria do Tensor de Tensoes
Da equacao de equilbrio para momentos, se Mi for a componente na direcao ei , tem-

se Mi = 0. Cada componente Mi constitui-se de uma parte Mi relativa a resultante
das forcas de massa e outra Mi relativa as tensoes superficiais. Seja Fi a componene da
resultante das forcas de massa na direcao ei . O momento de F no ponto P em relacao a
0 sera:
M0(F) = OP F.
Sendo OP = x1e1 + x2e2 + x3e3 e F = F1e1 + F2e2 + F3e3 , obtem-se:
M0(F) = (x2F3 x3F2)e1 + (x3F1 x1F3)e2 + (x1F2 x2F1)e3 .
Resulta da, que a componente M1 da resultante das forcas de massa e:

Z

(2.33) M1 = (x2F3 x3F2)dx.

O momento das tensoes que o exterior exerce sobre o interior de , sera, no P, dado
por:
M0(n) = OP ()
ou
M0(n) = (x23 x32)e1 + (x13 x31)e2 + (x12 x21)e3 .
A componente M1 deste momento em e:

Z

M1 = (x23 x32)d.

De (27 bis) obtem-se: Z

P
M1 = (x23j x32j)nj d
j
e do Lema de Gauss, obtem-se:

Z
P
Mi = (x23j x32j)d
j xj
ou Z Z

Mi = (x231 x321)dx (x232 x322)dx
Z x1 x2

(x233 x323)dx.
x3
Efetuando as derivacoes indicadas, obtem-se:
Z
31 32 33
M1 = x2 + +

x1 x2 x3

(2.34)
21 22 23
x3 + + + 32 23 dx.
x1 x2 x3
De (2.32) resulta que o primeiro parenteses em (2.34) e F3 e o segundo F2 . Portanto,

a (2.34) reduz-se a expressao:
Z
(2.35) M1 = [(x2F3 x3F2) + 32 23]dx.

Sendo M1 + M1 = 0, as igualdades (2.33) e (2.35)
32 = 23 .
De modo analogo, encontra-se ij = ji , mostrando que o tensor de tensoes e simetrico.

Tomando-se fi = Fi , tem-se como objetivo analisar do ponto de vista matematico
o sistema de equacoes diferenciais parciais
P3
ij
(2.36) = fi em .
j=1 xj
Conhecendo-se a densidade ds forcas que atuam na superfcie de e de , por exemplo:

F = F1e1 + F2e2 + F3e3 , deduz-se, do princpio de acao e reacao, que a tensao superficial
deve ser F. Logo
i = Fi na fronteira de
sendo i a componente na direcao ei do vetor tensao n ou . Da, resulta que as condicoes

naturais de contorno para o sistema (2.36) sao
3
P
(2.37) ij nj = Fi em .
j=1
Denomina-se sistema da elasticidade o sistema (2.36) quando estabelece-se uma relacao

entre as tensoes ij e os deslocamentos ij . Tal relacao denomina-se lei de Hooke. Com o
objetivo de obter uma relacao possvel de uma analise matematica, serao feitas algumas
hipoteses sobre o corpo elastico, as quais implicarao em uma relacao apropriada entre ij
e ij .
Elasticidade Linear
Sera admitido que as tensoes e as deformacoes estao relacionadas por uma lei linear.
Somente materiais que satisfazem a esta condicao serao considerados. A lei que relaciona
as deformacoes com as tensoes, denomina-se lei de Hooke, como ja foi dito. Matematica-
mente tem-se:
(2.38) = ((u)).
Supoe-se, portanto, que ((u)) seja uma funcao linear. Tratando-se de uma aplicacao
do R3 no R3, supoe-se que seja da forma:
3
P
(2.39) ij = aijk k .
k,=1
Alem de supor-se linearidade na dependencia entre tensoes e deformacoes, supoe-se,

tambem, que o material seja isotropico, isto e, suas propriedades mecanicas nao dependem
da direcao. Os numeros aijk sao denominados componentes do tensor da elasticidade.
Diz-se que um tensor e isotropico quando suas componentes nao variam por mudanca
de bases ortonormais. O tensor da elasticidade e isotropico. A identidade I e um ten-
sor isotropico pois suas componentes sao os numeros ij . Outros exemplos de tensores
isotropicos de quarta ordem sao:
(2.40) Aijk = ijk ; Bijk = ijk ; Cijk = ikj .
Demonstra-se que todo tensor de quarta ordem, isotropico, e uma combinacao linear
dos tres tensores definidos em (2.40). Assim, os tensores Aijk , Bijk , Cijk formam
uma base para os tensores isotropicos de quarta ordem.
Supondo-se isotropico o tensor da elasticidade, obtem-se:
(2.41) aijk = Aijk + Bijk + Cijk .
Tem-se:
P P P P
ij = aijkk = Aijkk + Bijkk + Cijkk
k k k k
P P P P
Aijkk = ijkk = ij kk = ij
k k k
(2.42) P P P P P
Bijkk = ijkk =
k jk k =
i ij = ji = ij
k k
P P P P P
Cijkk = ikjk = j ikk = ji = ij .
k k k
Substituindo-se em (2.42) os somatorios calculados, vem:
P
ij = ij + ij + ij .

Fazendo-se 2 = + , resulta:
(2.43) ij(u) = (div u)ij + 2 ij
porque o traco da matriz (u) e a div u.

Section 3 Estudo Matematico do Sistema de Elasticidade 71
2.3 Estudo Matematico do Sistema de Elasticidade
Seja um aberto limitado, conexo, do Rn, com n = 2 ou 3, cuja fronteira supoe-se

regular. Representa-se por 0 uma parte de de medida positiva e 1 = 0 .
Problema 1. Dados f = (f1, f2, . . . , fn) (L2())n e g = (g1, g2, . . . , gn) (L2( ))n,
encontrar u = (u1, u2, . . . , un) solucao do problema de contorno:
n
P
(u) = fi em
j=1 xj ij

(2.44) ui = 0 em 0
n
P

j=1 ij(u)nj = gi em 1 ,
com 1 i n, sendo:
ij(u) = (div u)ij + 2 ij(u)
1 i n,
Pn u
i
div u = = traco de (ij).
i=1 xi
Os parametros e sao tais que 0 e > 0 denominados coeficientes de Lame.
Observacao 5. Do que foi estudado nos paragrafos 1 e 2, decorre que o sistema (2.44) e a
formulacao matematica do problema que consiste em descrever os pequenos deslocamentos
u de um corpo elastico, homogeneo e isotropico, submetido a uma densidade volumetrica
de forcas f em e a uma densidade superficial de forcas g sobre 1 , sendo os deslocamentos
nulos em 0 .
Geometricamente pensa-se na Figura 4, com o corpo elastico fixo ao longo de 0 .
Forma Bilinear Associada ao Problema
Considere-se os espacos de Sobolev:
H = (L2())n, V = (H1())n,
n um numero natural, que no caso da elasticidade sera suposto n = 2 ou n = 3. No caso

n = 1 o corpo elastico trata-se de um fio ou uma barra.
Norma em H Z
n
P
2
|v| = v2i dx.
i=1
Norma em V Z 2 Z
n
P vi P
||v||2V = dx + v2i dx.
i,j=1 xj i
O espaco natural do problema sera representado por V0 , definido por:

V0 = v V = (H1())n; 0v = 0 em 0 .
Para v V, a funcao
Z
2
P
v 7 [v] = ij(v)ij(v) dx
i,j
define uma norma em V0 . E suficiente provar que em V0 se [v] = 0 tem-se v = 0. De fato,

suponha-se que [v] = 0. Da resulta que ij(v) = 0, logo
v(x) = a + b x,
sendo a e b matrizes constantes e b + b = 0, sendo b a transposta de b. Para v V0 ,

tem-se v = 0 em 0 sendo 0 com medida positiva. Da resulta que existe em 0 dois
vetores x, y linearmente independentes. Logo de v = 0 em 0 , resulta a + b x = 0 e
a + b y = 0, isto e, b(x y) = 0. Sendo x, y linearmente independentes, obtem-se
b = 0. Logo, de b = 0 e v = 0 em 0 , resulta que a = 0. Portanto v = 0, mostrando que
[v] e uma norma em V0 .
A forma bilinear associada ao problema sera:
Z
P
a(u, v) = ij(u)ij(v) dx, para u, v V0 ,
i,j
ou, de (2.43): Z
P
a(u, v) = [(div u)ij + 2ij(u)]ij(v) dx,
i,j
da qual resulta:
Z Z
P P
a(u, v) = (div u)ijij(v) dx + 2 ij(u)ij(v) dx.
i,j i,j
Sendo
P P
ijij(u) = ii(u) = div u,
i,j i
a forma bilinear associada ao Problema 1 sera:

Z Z
P
(2.45) a(u, v) = (div u)(div v) dx + 2 ij(u)ij(v) dx
i,j
que e simetrica.
Toma-se como forma linear associada ao Problema 1, a seguinte:
Z Z
P P
L(v) = fivi dx + givi d
i i 1
para todo v V0 .
Resulta que a formulacao fraca do Problema 1, consiste em demonstrar a existencia
de um unico vetor u em V0 , tal que
(2.46) a(u, v) = L(v) para todo v V0 .
O problema fraco reduz-se-a ao Lema de Lax-Milgram, uma vez que seja demonstrado
que a(u, v) e contnua e coerciva em V0 e que L(v) e contnua em V0 . Para demonstrar
a continuidade e coercividade de a(u, v) necessita-se de uma desigualdade, denominada
desigualdade de Korn, cuja demonstracao baseia-se em resultados nao triviais da teoria
das distribuicoes, consulte-se o Lema 1.
Relacao entre as normas de V e V0
Esta relacao sera obtida por meio da desigualdade de Korn, ja mencionada, cuja
demonstracao repousa sobre o seguinte resultado:
Lema 1. Seja R3, aberto, limitado, com fronteira regular. Se v for uma distribuicao
sobre tal que
v
v H1() e H1() para todo i,
xi
entao
v L2().
Nao sera feita a demonstracao deste lema, ela encontra-se em Duvaut-Lions, consulte-
se Observacao 9.
Desigualdade de Korn - Existe uma constante c > 0 tal que

Z Z
P P
(2.47) ij(v)ij(v) dx + vivi dx c||v||2V ,
i,j i
para u, v V.
Observacao 6. Note que o primeiro membro e menor do que o segundo, pois:

2 2 2
1 vi vj 1 vi vi vj vj
ij(v)ij(v) = + = +2 +
4 xj xi 4 xj xj xi xi
2 2
1 vi 1 vj
+ .
2 xj 2 xi
Da resulta que o primeiro membro da desigualdade (2.47) e menor do que a norma de v

em V. Entretanto, a desigualdade em sentido contrario nao e de facil demonstracao.
Demonstracao da Desigualdade de Korn
Considere-se

E = vi L2(); ij(v) L2(), para todo i, j .
Segue-se que E e um espaco de Hilbert com a norma:

Z Z
2 P P
||v||E = ij(v)ij(v) dx + vivi dx.
i,j i
Tem-se V E sendo a imersao

: V E
contnua, porque, pela Observacao 7, tem-se:
||v||E c||v||V .
Para demonstrar-se a equivalencia das normas e suficiente provar-se que 1 existe, que
e linear e contnua, como consequencia do teorema do grafico fechado. Deve-se apenas
demonstrar que : V E e sobre, isto e, que E V.
De fato, seja v E e sera demonstrado que v V. De v E, resulta que
vi L2() e ij(v) L2()

isto e, sendo
vi
ik(v) + ij(v) ik(v) = 2 ,
xj xk xi xj xk
conclui-se que
vi
H1() para todo j, k,
xj xk
por ser soma de derivadas de funcoes de L2().
Resumindo, obteve-se

vi
2
vi L () e H1() para todo i, j, k.
xj xk
vi vi
Sendo vi L2() resulta que H1(). Resulta do Lema 1 que L2() par
xk xk
todo i, k, provando que v V.
Conclui-se que e inversvel e sendo linear e contnua segue-se que 1 e linear e
contnua de E em V. Logo, existe uma constante c0 > 0 tal que
||1 v||V c0||v||E
isto e,
||v||E c||v||V
o que demonstra a desigualdade de Korn.

Ja foi visto que Z
2
P
[v] = ij(v)ij(v) dx
i,j
e uma norma em V0 . Resta demonstrar que em V0 as normas [v] e ||v||V sao equivalentes.
Observacao 7. Pela desigualdade de Korn, pra todo v V tem-se
[v]2 + |v|2 c0||v||V .
Logo, para provar a equivalencia e bastante demonstrar-se que existe uma constante k0 > 0
tal que
(2.48) [v] k0 |v|

para todo v V0 . Isto, porque devido a desigualdade de Korn, obter-se-ia:
c0||v||2 [v]2 + |v|2 k[v]2,
e, como viu-se, [v] c||v||V , para todo v V. Resta apenas demonstrar a desigualdade
(2.48), que resulta do Lema 2 a seguir.
Lema 2. Existe uma constante k0 tal que
[v] k0 |v| para todo v V0 .
Demonstracao. De fato, se v V0 , v 6= 0, considerando-se v/|v|, e suficiente demons-

trar que existe uma constante k0 > 0 tal que
(2.49) [v] k0 para todo v V0 com |v| = 1.
Suponha (2.49) falsa, isto e, nao existe k0 tal que
[v] k0 > 0 para todo v V0 com |v| = 1.
Da resulta que para cada n existe vn tal que
1
[vn] < , vn V0 e |vn| = 1.
n
Conclui-se que
(2.50) [vn] 0, quando n , vn Vo e |vn| = 1.
Obtem-se
1
c0||vn||2 [vn]2 + |vn|2 < + 1,
n
provando que (vn) e limitada em V, devido a desigualdade de Korn. Logo existe uma
subsucessao (vn) em V tal que
(2.51) vn v fraco em V.
Sendo [ ] uma semi-norma em V, resulta que
lim[vn] [v],
porque [ ] e semi-contnua inferiormente. Mas [vn] e convergente para zero, veja-se

(2.50). Resulta [v] = 0 logo v = 0.
Conclui-se que em V0 as normas ||v||V e [v] sao equivalentes e assim considera-se V0
com ||v||V .
Resta apenas examinar a coercividade de a(u, v) em V0 . De fato, seja v V0
Z Z
a(v, v) = (div v)(div v) dx + 2 ij(v)ij(v) dx

Z
P
2 ij(v)ij(v) dx = 2[v]2 c kvk2V ,
i,j
provando que a(u, v) e V-eltica ou coerciva em V0 .

Para a continuidade tem-se
|a(u, v)| k kukV kvkV
para u, v V. Logo da equivalencia das normas ela e contnua em V0 .

Continuidade em V0 da forma linear L, definida por:
Z Z
P P
L(v) = fivi dx + givi dx,
i i 1
sendo gi L2() e fi L2(). Tem-se:

Z 1/2 Z 1/2
P
|L(v)| f2i dx v2i dx +
i
Z 1/2 Z 1/2
P
+ g2i d vi d
i 1 1
c |f| kvkV + |g| kvkV ,
de vez que 0 : H1() H1/2( ) e contnuo e sobre.

Conclui-se, portanto, que tomando-se f (L2())n e g (L2( ))n, existe um unico

v V0 tal que
(2.52) a(u, v) = L(v) para todo v V0 ,
com consequencia do Lema de Lax-Milgram.

Resta, apenas fazer a interpretacao da solucao u encontrada.
Tem-se Z
P
a(u, v) = ij(u)ij(v) dx =
i,j
Z
1P vi vj
= ij(u) + ij(u) dx =
2 i,j xj xi
Z Z
1P vi 1P vi
= ij(u) dx + ji(u) dx.
2 i,j xj 2 i,j xj
Sendo ij(u) = ji(u), obtem-se:
Z
P vi
a(u, v) = ij(u) dx.
i,j xj
A forma linear e dada por
Z Z
P P
L(v) = fivi dx + givi d.
i i
Tomando-se v D() em (2.52), obtem-se:

Z Z
P vi P
(2.53) ij(u) dx = fivi dx
i,j xj i
porque v possui suporte compacto em .

Da definicao de derivada no sentido das distribuicoes, aplicada a (2.53), conclui-se que
P
(2.54) ij(u) = fi 1 i n
j xj
no sentido de D () em .
Substituindo-se em (2.52) obtem-se:
Z
P vi P
ij(u) dx = ij(u)vi dx+
i,j xj i,j xj
(2.55) Z
P
+ givi d
i
para todo v V0 .
Supondo-se valida a formula de Green, para u V0 tal que ui H2(), obtem-se:
Z Z
P vi P
ij(u) dx = ij(u)vi dx+
i,j xj i,j xj
(2.56) Z
P
+ ij(u)njvi dx
i,j
sendo n a normal externa a .

Comparando (2.55) com (2.56), obtem-se:
Z Z
P P
ij(u)njvi d = givi d,
i,j i
para todo v V0 . Da resulta:

Z Z
P P P
ij(u)njvi d = givi d
i j i
para todo v V0 . Note que v = 0 em 0 , logo

P
ij(u)nj = gi em 1 .
j
Observacao 8. Para demonstrar-se que a semi-norma [v] em (H1())n e uma norma

em V0 , fez-se uso de uma caracterizacao das deformacoes u que anulam o tensor (u).
A seguir sera feita uma demonstracao deste fato. Note-se, entretanto, que no caso
regular, o espaco D() e denso em H1(). Assim, e suficiente fazer-se a demonstracao
supondo-se u em D().
Lema 3. O tensor de deformacoes (u), u V, e nulo se e somente se
u(x) = a + b x
sendo a um vetor e b uma matriz, constantes, sendo b b = 0, onde b e a transposta

de b.
Demonstracao. De fato, seja u = (u1, u2, . . . , un) e

X
ui = ai + bij xi 1 i n.
j
Da hipotese sobre b, obtem-se:
bij + bji = 0 1 i, j n.
Derivando ui , obtem-se:
ui
= bij ,
xj
isto e,
1 ui uj 1
ij(u) = + = (bij + bji) = 0.
2 xj xi 2
Reciprocamente, suponha-se que
ij(u) = 0 para 1 i, j n.
Tem-se, da:
ui uj ui uj
+ = 0 ou + =0
xj xi xk xj xi
ou
ui uj
+ = 0.
xj xk xi xk
De (u) = 0 vem
ui uk uj uk
= e =
xk xi xk xj
Logo:
uk uk
+ =0
xj xi xi xj
isto e,
2uk 2uk
+ = 0.
xjxi xixj
Sendo valida a regra de simetria de Schwarz, pois as funcoes ui pertencem a D(),
resulta:
2uk
=0
xixj
ou
uk
= bkj e constante em relacao a x.
xj
Da hipotese (u) = 0, resulta que bkj + bjk = 0. Integrando a expressao que define bkj
obtem-se:
uk = ak + bkj xj .
Somando em j, vem
X
uk = ak + bkj xj
j
que e a forma do u prevista no Lema 3.
Observacao 9. Ao demonstrar-se a desigualdade de Korn, fez-se uso do Lema 1, afir-

v
mando que se v H1() e H1() entao v L2(), sendo v uma distribuicao
xi
em .
Suponha = Rn. Para s real, tem-se:

s n n

2 s/2 2 n
H (R ) = v S(R ); 1 + || ^v() L (R )
com a norma:

2 s/2
kvkHs (Rn ) = 1 + || ^v() .
L2 (Rn
)
No caso s = 1, tem-se
1
v H1(Rn) equivale a (1 + ||2) 2 ^v() L2(Rn
)
v 1 v 1
H1(Rn) equivale a 1 + || 2 = 1 + || 2 i^v() L2(Rn
).
xi xi
Da resulta que: Z
(1 + ||2)1 |^v()|2 d <
Rn

e Z
(1 + ||2)1 2i|^v()|2 d < .
Rn

Portanto:
Z Z n
X
2 1
(1 + || ) 2
|^v()| d + (1 + ||2)1 2i|^v()|2 d < .
Rn
Rn
i=1
83
n
P
Sendo |i|2 = 2i , obtem-se:
i=1 Z
|^v()|2 d <
Rn

e do Teorema de Plancherel que v L2(Rn).

A etapa seguinte seria supor = Rn
+ que e o semi-espaco. Finalmente o caso regu-
lar. Estas duas etapas sao trabalhosas por serem tecnicas e nao triviais. A demonstracao
encontra-se em G. Duvaut-J.L. Lions [1].
Referencias Bibliograficas
[1] G. Duvaut-J.L. Lions, Les inequations en Mecanique et en Physique, Dunod-Paris,

1972.
[2] G. Duvaut, Mecanique des milieux continus, Masson, Paris, 1990.
[3] E. Persico, Introduzione alla Fisica Matematica, Zanichelli, Bollogna, Italia, 1971
(2a edicao).
Equacao Hiperbolica com um Termo
de Resistencia
F. D. Araruna G. O. Antunes
Instituto de Matematica-UFRJ Instituto de Matematica-UFRJ
IM-UFRJ - Junho de 2001

Rio de Janeiro - RJ
Introducao 87
Introducao
Em um trabalho de J. L. Lions, ver [3], estuda-se um problema de controle exato para

um modelo do tipo equacao de ondas, porem com uma condicao de incompressibilidade,
isto e, div u = 0, aparentemente sem uma motivacao fsica. O objetivo desta exposicao
e mostrar que este modelo e proveniente de um problema de elasticidade com uma re-
sistencia do material. Apos encontrado o modelo, demonstra-se-a a existencia e unicidade
de solucao. com um acrescimo de uma dissipacao, proveniente da resistencia do meio e do
tipo de material, obtem-se tambem um decaimento exponencial para a energia associada
a solucao do problema.
3.1 Deducao do Modelo
Seja R3 um solido constitudo de um material elastico. Representa-se por u (x, t)

as pequenas deformacoes ou deslocamentos de no tempo t.
Como na exposicao anterior, denota-se por e os tensores de tensoes e de de-
formacoes ou deslocamentos, respectivamente, de .
Seja f (x, t) = (f1 (x, t) , f2 (x, t) , f3 (x, t)) a densidade de forcas volumetricas atuando
ij (x, t)
em . Tem-se ainda que a variacao da tensao gera uma forca dada por .
xj
Portanto pela segunda lei de Newton, ver Sommerfeld [6], segue-se que

ui (x, t) ij (x, t)
(3.1) fi (x, t) = m , i = 1, 2, 3,
t t xj
onde m representa a massa do corpo.

Como existe uma forca agindo sobre , a terceira lei de Newton garante a existencia
de uma forca de reacao do material em cada ponto x de . Denota-se tal forca por p (x, t).
88 Equacao Hiperbolica com um Termo de Resistencia
Como e feito em elasticidade linear, supoe-se que a tensao seja do tipo
(3.2) ij = pij + ij.
Substituindo (3.2) em (3.1) tem-se que

ui
(3.3) fi = m (pij + ij) .
t t xj
A deformacao u (x, ) pode ser representada por
(3.4) u (x, ) = F (x) x,
onde F (x) e a posicao do ponto x no corpo deformado ou deslocado, ver figura 1.
xr u(x, ) -rF(x)
r
O
Figura 1
Suponha-se que seja incompressvel, isto e, deforma-se mas seu volume fica
invariante. Matematicamente esta hipotese significa que |det F (x)| = 1.
Aplicando a hipotese de incompressibilidade em (3.4) obtem-se
(3.5) |det (I + u)| = 1,
onde I e a matriz indentidade.

Demonstra-se que para pequenas deformacoes
(3.6) |det (I + u)| = 1 + div u.

Section 2 Estudo Matematico 89
Comparando (3.5) e (3.6) conclui-se que
(3.7) div u = 0 em .

1 ui uj
Da exposicao anterior, tem-se que ij = + . Assim por (3.3) e (3.7)
2 xj xi
segue-se que
ui p
fi = m + ui, i = 1, 2, 3.
t t xi
E razoavel pensar que apesar de o volume V do corpo ser invariante, localmente a
densidade (x, t) varia, ver Batchelor [1], portanto, sendo m = V (x, t) > 0, obtem-se o
sistema de equacoes diferenciais parciais

ui (x, t) p
V (x, t) ui = fi , i = 1, 2, 3.
t t xi
3.2 Estudo Matematico
Seja um domnio limitado do R3 com fronteira bem regular. Denota-se por

a normal unitaria exterior a . Para um numero real T > 0, considere-se o cilndro
Q = ]0, T [ com fronteira = ]0, T [. Estudar-se-a existencia e unicidade do
seguinte problema misto

(K (x, t) u ) u = f p em Q,

div u = 0 em Q,
(3.8)

u = 0 sobre ,

u (0) = u0, u (0) = u1 em .
onde
(3.9) K (x, t) k0 > 0
e a significa a derivada em relacao a t.

Antes de iniciar o estudo de (3.8), sera estabelecida a notacao. Considere-se os espacos

de Hilbert

3
V= u H10 () ; div u = 0
e

3
H = u L2 () ; div u = 0 e u. = 0 sobre ,
3 3
com a estrutura de produto interno e norma induzida de H10 () e L2 () , respec-
tivamente, como na exposicao sobre o sistema de Navier-Stokes.
Teorema 3.1. Dados u0 V, u1 H, f L2 (0, T ; H) e K W 1, (0, T ; L ())
satisfazendo (3.9) , existe uma unica funcao u tal que
(3.10) u L (0, T ; V) ,
(3.11) u L (0, T ; H) ,

3
(3.12) (Ku ) u = f p em D 0, T ; (D ()) ,
(3.13) u (0) = u0, u (0) = u1 em .
Antes de iniciar a demonstracao do Teorema 3.1, considera-se o Lema:

Lema 3.1. Dados u0, u1, f e K nas condicoes do Teorema 3.1, existe uma unica funcao
u satisfazendo
(3.14) u L (0, T ; V) ,
(3.15) u L (0, T ; H) ,

(3.16) (K (t) u (t)) , v + ((u (t) , v)) = (f (t) , v) , v V, em D (0, T ) ,
(3.17) u (0) = u0, u (0) = u1 em .

Demonstracao: Sera feita pelo Metodo de Faedo-Galerkin. Seja {w}N uma base
Hilbertiana de V. Considere-se Vm = [w1, ..., wm] o subespaco de V gerado pelos m pri-
meiros vetores da base. O problema aproximado de (3.14)(3.17) consiste em determinar
um (t) Vm satisfazendo

(K (t) um (t)) , v + ((um (t) , v)) = (f (t) , v) , v Vm,

(3.18) um (0) = u0m u0 forte em V,

um (0) = u1m u1 forte em H.
Pelo Teorema de Caratheodory, (3.18) tem solucao sobre um intervalo [0, tm[, tm < T .
Esta solucao pode ser estendida a todo o intervalo [0, T ] como uma consequencia das
estimativas que serao obtidas a seguir.
Estimativas: Fazendo-se v = um (t) em (3.18)1, tem-se

1 d p 2
2 1
(3.19) K (t)um (t) + kum (t)k |(K (t) um (t) , um (t))| + |f (t)| |um (t)| .

2 dt 2
Integrando-se (3.19) de 0 a t tm e usando-se as hipoteses sobre K e f, tem-se
k0 1 1
|um (t)|2 + kum (t)k2 kK (0)kL () |u1m|2 + ku0mk2 +
2 2 2
Zt Zt Zt
1 2 2
+ kK kL (Q) |um (s)| ds + |f (s)|2 ds + |um (s)| ds.
2 0 0 0
Por (3.18)2 , (3.18)3 , as condicoes de K e f e o Lema de Gronwall, obtem-se

2
(3.20) |um (t)| + kum (t)k2 C1,
onde C1 e uma constante que independe de t e m. Assim pode-se prolongar a solucao

aproximada um (t) a todo o intervalo [0, T ].
Dessa forma tem-se por (3.20) que
(3.21) (um) e limitada em L (0, T ; V)
(3.22) (um) e limitada em L (0, T ; H) .

De (3.21) e (3.22) , segue-se que existe uma subsequencia de (um), ainda denotada
por (um), tal que
(3.23) um u fraco estrela em L (0, T ; V)
(3.24) um u fraco estrela em L (0, T ; H) .
As convergencias (3.23) e (3.24) , juntamente com as hipoteses feitas sobre K, sao

suficientes para passar ao limite na equacao aproximada (3.18)1 obtendo-se a solucao u
satisfazendo (3.14) (3.17). Para provar a unicidade, considere-se u e u
^ duas funcoes nas
condicoes do Lema 2.1. Portanto w = u u
^ satifaz
(3.25) w L (0, T ; V) ,
(3.26) w L (0, T ; H) ,

(3.27) (K (t) w (t)) , v + ((w (t) , v)) = 0, v V, em D (0, T ) ,
(3.28) w (0) = 0, (Kw ) (0) = 0 em .
Segue-se por (3.27) que

3
(Kw ) w = 0 em D 0, T ; (D ()) .
Como 0 L2 (0, T ; H) , tem-se (Kw ) w L2 (0, T ; H) . Assim, por Temam [7], Lema
4.1, pag. 78, obtem-se

1 d p
2
2 1
(K (t) w (t)) w (t) , w (t) = K (t)w (t) + kw (t)k + (K (t) w (t) , w (t)) .

2 dt 2
Dessa forma, tem-se que

1 d p 2
2 1
(3.29) K (t)w (t) + kw (t)k = (K (t) w (t) , w (t)) .

2 dt 2
Integrando-se (3.29) de 0 a t T e usando as hipoteses sobre K, obtem-se

Zt
k0 2 1 2
|w (t)| + kw (t)k2 kK kL (Q) |w (s)| ds.
2 2 0
Pelo Lema de Gronwall, concluise
2
|w (t)| + kw (t)k2 = 0,
donde w = 0, o que prova a unicidade.

Demonstracao do Teorema 3.1. Note-se que para provar o Teorema 3.1 e suficiente
provar que u satisfaz (3.14) (3.17) se, e somente se, u satisfaz (3.10) (3.13). De fato,
consideremos o seguinte funcional linear

L = (Ku ) u f,
3
onde u e a solucao dada pelo Lema 3.1. Observe que L H1 () . De (3.16) segue-se
que L (v) = 0 para toda v V, no sentido de D (0, T ). Assim, do que ficou demonstrado
na exposicao referente ao sistema de Navier-Stokes, resulta que existe p L2 () R tal
que
Z
L (v) = pdiv vdx,

3
para toda v V. Em particular, para toda V = (D ()) ; div = 0 .
Assim, tem-se

(Ku ) u f, = hp, i ,
provando que

3
(Ku ) u = f p em D 0, T ; (D ()) .
Reciprocamente, se u satisfaz (3.10) (3.13), entao multiplicando (3.12) por V e

integrando sobre , obtem-se

(3.30) (K (t) u (t)) , + ((u (t) , )) = (f (t) , ) hp, i , V, em D (0, T ) .
Observacao 3.1. Note-se que

n * n
+
X p X i
hp, i = , i = p, = hp, div i .
i=1
xi i=1
xi
Como V, tem-se hp, i = 0.

Desde que V e denso em V, u e solucao do Lema 3.1.
3.3 Comportamento Assintotico
Para se obter um decaimento para a solucao do problema (3.8) , e necessario que se

tenha um termo dissipativo originario da influencia do meio e do tipo do material de
constituicao do solido. Considere-se a dissipacao do tipo u , onde e uma constante
positiva satisfazendo a hipotese
1
(3.31) |K (x, t)| > 0.
2
Como o problema trata de pequenas deformacoes ou deslocamentos, e natural pensar

que a densidade de forca volumetrica seja pequena, entao suponha-se que
Z
(3.32) kf (t)k2R3 C2et,

onde C2 e sao constantes positivas.

Dessa forma temos o seguinte problema dissipativo

(K (x, t) u ) u + u = f p em Q,

div u = 0 em Q,
(3.33)

u = 0 sobre ,

u (0) = u0, u (0) = u1 em .
A hipotese (3.31) permite obter existencia e unicidade de solucao do problema (3.33) ,

sem que haja necessidade da utilizacao do lema de Gronwall, assim esta solucao pertence
Section 3 Comportamento Assintotico 95
a seguinte classe
u L (0, ; V) , u L (0, ; H) .
O objetivo desta secao e estudar o decaimento exponencial da energia E (t) associada

a solucao do problema (3.33) usando o metodo de pertubacao da energia como em Zuazua
[8].
A energia associada a (3.33) e dada por

1 p
2
2
(3.34) E (t) = K (t)u (t) + ku (t)k .
2
Teorema 4.1. Considere-se K, u0, u1 ef nas condicoes do Teorema 3.1, comf satisfazendo
(3.32) e uma constante satisfazendo (3.31). Entao a energia (3.34) satisfaz

(3.35) E (t) Ce 2 t, t 0,
onde C e sao constantes positivas.

Demonstracao. Foi provado anteriormente que estudar a solucao do Teorema 3.1 e
equivalente a estudar a solucao do Lema 3.1, assim, para mostrar o comportamento da
solucao do problema (3.33) , e suficiente mostrar o comportamento da solucao associada
ao Lema 3.1 mais o termo dissipativo, ou seja, consideraremos agora a equacao

(3.36) (K (t) u (t)) , v + ((u (t) , v)) + (u (t) , v) = (f (t) , v) , v V, em D (0, T ) .
Por (3.36) obtem-se

3
(3.37) (Ku ) u + u = f em D 0, T ; (D ()) .
Como f u L2 (0, T ; H) , tem-se (Ku ) u L2 (0, T ; H). Logo, por Temam [7],
Lema 4.1, pag. 78, conclui-se que
(3.38)
2

1 d p 2 1
(K (t) u (t)) u (t) , u (t) = K (t)u (t) + ku (t)k + (K (t) u (t) , u (t)) .

2 dt 2
Segue-se por (3.37) e (3.38) que

1 d p 2
2 1

K (t)u (t) + ku (t)k + + K (t) u (t) , u (t) = (f (t) , u (t)) .

2 dt 2
Logo, por (3.31) , tem-se
2 1
(3.39) E (t) |u (t)| + |f (t)|2 .
2 2
Para um numero arbitrario > 0, define-se a energia pertubada
(3.40) E (t) = E (t) + (t) ,
com
(t) = (K (t) u (t) , u (t)) .
Usando-se a hipotese sobre K, obtem-se
(3.41) | (t)| C3E (t) ,

onde C3 = max 1, C2 () kKkL (Q) , com C () sendo a constante de Poincare em .
Por (3.40) and (3.41) , tem-se que
|E (t) E (t)| = | (t)| C4E (t)
ou
(1 C3) E (t) E (t) (1 + C3) E (t) .
1
Tomando-se 0 < , segue-se que
2C3
E (t)
(3.42) E (t) 2E (t) , t 0.
2
Derivando a funcao (t) e usando (3.36) (com v = u (t)), obtem-se

p 2

(3.43) (t) = 2E (t) + 2 K (t)u (t) (u (t) , u (t)) + (f (t) , u (t)) .
Section 3 Comportamento Assintotico 97
Usando a desigualdade de Poincare, tem-se por (3.43) que
2
(3.44) (t) E (t) + C4 |u (t)| + C2 () |f (t)|2 ,

2
onde C4 = C () + 2 kKkL (Q) .
Segue-se por (3.39) , (3.40), (3.41) e (3.44) que

2 1
(3.45)
E (t) E (t) + C4 2
|u (t)| + C () + |f (t)|2 .
2 2

1
Tomando-se 0 < min , e observando-se (3.32) e (3.42) , temos de (3.45)
2C3 2C4
que

E (t) E (t) + C5et,
2

1
onde C5 = C2 C2 () + > 0. Donde pelo Lema de Gronwall, tem-se
2

2C5 t
(3.46) E (t) E (0) + e 2 , t 0.

De (3.42) , tem-se por (3.46) que

C5 t
E (t) 4 E (0) + e 2 , t 0.

Logo

E (t) Ce 2 t, t 0,

C5
onde C = 4 E (0) + , como se queria mostrar.

[1] BATCHELOR, G. K., An Introduction to Fluid Dynamics, Cambridge University

Press, 1970.
[2] BREZIS, H., Analyse Fonctionelle, Theorie et Applications, Dunod, Paris, 1999.
[3] LIONS, J. L., Quelques Methodes de Resolutions des Problemes aux Limites Non-
Lineaires, Dunod, Paris, 1969.
[4] LIONS, J. L., On Some Hyperbolic Equations with a Pressure Term, Proceedings
of the conference dedicated to Louis Nirenberg held in Trento, Italy, September 3-8,
1990. Harlow: Longman Scientific and Technical, Pitman Res. Notes Math. Ser 269,
196-208, 1992.
[5] ROCHA, A., Exact Controllability for a Hyperbolic System with a Pressure Term,
Anais do XVIII CNMAC, vol 1, 10-15, Curitiba-PR, 1995.
[6] SOMMERFELD, A., Mecanics, Lectures on Theoretical Physics, vol. 1, Academic

Press, New York, 1943.
[7] TEMAM, R, Infinite-Dimensional Dynamical Systems in Mechanicsand Physics,

Springer-Verlag, New York, 1997.
[8] ZUAZUA, E., Stabilty and Decay for a class of Nonlinear Hyperbolic Problems.
Asymptotic Analysis 1, 161-185, 1988.
Licoes sobre o Sistema de
Navier-Stokes
L. A. Medeiros
Instituto de Matematica-UFRJ
IM-UFRJ - Marco de 1983

Rio de Janeiro - RJ
Introducao 101
Introducao
O presente texto contem uma serie de exposicoes feitas pelo autor, por ocasiao do 17o
Seminario Brasileiro de Analise, no ITA, sobre o sistema de Navier-Stokes. Apresenta-se
no paragrafo segundo uma caracterizacao das formas lineares contnuas sobre (H10())1
nulas nos vetores com divergencia zero, devido a Lions [7], quando e regular. Sobre
uma outra demonstracao, tambem analtica, do mesmo resultado, consulte-se Tartar [10].
Assim, de posse deste resultado, faz-se uma analise matematica autosuficiente do sistema
de Navier-Stokes, seguindo-se Lions [6], Temam [9] e Tartar [10].
Com o objetivo de facilitar ao leitor a compreensao dos smbolos usados no sistema a
ser estudado, sao apresentadas determinadas consideracoes fsicas no paragrafo primeiro
e consequente obtencao do sistema de Navier-Stokes.
Esta exposicao e um fragmento de uma disciplina sobre equacoes diferenciais parci-
ais nao lineares, lecionada pelo autor no Instituto de Matematica da UFRJ, durante o
primeiro semestre de 1982. Usa-se o metodo de compacidade baseado em resultados de
compacidade demonstrados nos Apendices, devidos a Aubin [1], Lions [4], Temam [10].
O plano do presente texto e o seguinte:
1. Consideracoes Fsicas.
2. Espacos Funcionais.
3. Sistema de Navier-Stokes no R2.
Apendice I
4. Sistema de Navier-Stokes no Rn (n 4)
102 Licoes sobre o Sistema de Navier-Sokes
Apendice II
Complementos
1. Solucoes Periodicas.
2. Sistema de Stokes
4.1 Consideracoes Fsicas
Considere-se uma regiao do R3 ocupada por um fluido em movimento. Suponha-se

nesta regiao um aberto limitado , cuja fronteira representa-se por , a qual admite-
se bem regular. Assim, e fronteira de uma parte aberta, conexa, limitada do R3,
contendo o fluido. A normal externa a representa-se por n. Entende-se por fluxo do
fluido atraves de a massa de fluido que atravessa na direcao da normal na unidade
de tempo. O fluxo na direcao positiva de n diz-se positivo e na direcao oposta diz-se
negativo. Considere-se um elemento d de e seja u o vetor velocidade das partculas,
isto e, u possui tres componentes. Se representarmos os vetores do R3 por x = (x1, x2, x3),
entao o vetor velocidade u sera (u1(x, t), u2(x, t), u3(x, t)) sendo t o tempo. No instante
t cada partcula se desloca de ut, aqui e o modulo de u. Seja o angulo dos vetores
u e n. Com un representa-se a componente do vetor u na direcao n. Assim, mede-se o
total de partculas atravessando d na unidade de tempo na direcao da normal, por meio
do volume do prisma de base d e altura unt, isto e, o numero real
un d t.
Representando por (x, t) a densidade do fluido, a massa de fluido contida neste prisma e
un d t.
Section 1 Consideracoes Fsicas 103
Resulta, portanto, que o fluxo de fluido atraves de na direcao da normal, na unidade de

tempo, e dado pelo somatorio, isto e, por
Z
(x, t)un(x, t) d.

Note-se que o sinal sera mais ou menos, dependendo da hipotese de ser o fluxo do interior
para o exterior de ou o de sentido contrario.
A seguir deduz-se a equacao de continuidade, traduzindo, matematicamente, o prin-
cpio de conservacao de massa. Este princpio diz que a variacao da massa de fluido no
interior de em relacao ao tempo e igual ao fluxo atraves de sua fronteira . A massa
de fluido no interior de e dada por
Z
M(t) = (x, t) dx,

sendo dx = dx1dx2dx3 e a integral tripla em . A variacao da massa M(t) e obtida por

Z
dM
= dx.
dt t
Para fixar as ideias, suponha que haja aumento da massa de fluido. Logo, esta variacao
e igual ao fluxo de fluido que entra em atraves de , isto e,
Z
(x, t)un(x, t) d

no instante de tempo. Assim, do princpio de conservacao de massa, obtem-se

Z Z

dx + un d = 0
t
em cada instante. Do teorema da divergencia deduz-se que

Z Z

dx + div(u) dx = 0
t
para cada aberto limitado . Logo,

+ div(u) = 0,
t
que e denominada equacao de continuidade.

Suponha, agora, que a posicao de cada partcula seja uma funcao derivavel do tempo,
isto e x(t) = (x1(t), x2(t), x3(t)). Admitindo-se esta hipotese, obtem-se
d P3 dx
i
= + = + (grad , u),
dt t i=1 xi dt t
sendo
P3 dxi
(grad , u) = ui , ui =
i=1 xi dt
Verifica-se que
div(u) = div u + (grad , v).

Substituindo-se e div (u) na equacao da continuidade, obtem-se, quando supoe-se
t
que x = x(t) derivavel:
d
+ div u = 0 em .
dt
Diz-se que um fluido e incompressvel, quando sua densidade e constante. Neste
caso a equacao da continuidade reduz-se a
div u = 0 em .
A seguir sera deduzido o sistema de Navier-Stokes, que e o modelo matematico para

descricao do movimento de um fluido incompressvel e viscoso.
Seja x um prisma de . Segue-se que (x)x e a massa de fluido contida em .
Assim, xu e o momentum da massa x, sendo u o modulo de u. O momentum de
sera Z
m(t) = (x)u(x, t) dx.

A variacao do momentum com o tempo, sera

Z
dm du
= (x) dx.
dt dt
Esta variacao deve ser igual a resultante das forcas aplicadas ao . Elas sao supostas de
duas especies, a saber:
Section 1 Consideracoes Fsicas 105
i) volumetricas aplicadas a de densidade f(x, t),
ii) tensoes e viscosidade na fronteira de cujas componentes sao supostas da forma

3
P
Fi(x, t) = ij(x, t)nj
j=1
nj componentes da normal n a .
Supoe-se ij(x, t) pertencentes, para cada t, a C1(), funcoes uma vez continuamente
derivaveis em tais que as funcoes e suas derivadas sao contnuas em . A matriz ij(x)
denomina-se tensor de tensoes. Quanto a funcao f(x, t), supoe-se integravel em , para
cada t. Estas hipoteses sao suficientes para as consideracoes do presente paragrafo.
Do equilbrio entre forcas e variacao do momentum, segunda lei de Newton, resulta:
Z Z Z 3
du P
(4.1) (x) dx = f(x, t) dx + ij(x)nj d
dt j=1
para cada em cada instante t.

Tem-se:
du ui P 3 u dxj
i
(4.2) = + uj , uj =
dt t j=1 xj dt
sendo uj a componente de ordem j da velocidade u = (u1, u2, u3).

Do Lema de Gauss, obtem-se:
3
Z 3
Z
P P ij
(4.3) ij(x, t)nj d = dx.
j=1 j=1 xj
Substituindo (4.2) e (4.3) em (4.1), resulta:

Z 3 u
Z 3

ui P i P ij
(4.4) + uj dx = f(x, t) + dx
t j=1 xj j=1 xj
para i = 1, 2, 3, em cada instante t, para cada .

Diz-se que o fluido incompressvel e viscoso, quando o tensor de tensoes e dado por:

ui uj
ij(x, t) = p(x)ij + +
xj xu
sendo p(x) a pressao do fluido no ponto x no instante t, ij = 0 se i 6= j e ii = 1, > 0

denomina-se a viscosidade do fluido.
Note que sendo o fluido incompressvel, tem-se u = 0. Da obtem-se
P3 P3 p P3 2u
ij i
= ij + 2
+ u.
j=1 xj j=1 xj j=1 xj xi
Logo
P3 p
ij
(4.5) = + ui .
j=1 xj xi
Substituindo (4.5) em (4.4), obtem-se:

Z 3 u
Z
ui P i p
+ uj dx = f(x, t) + ui dx
t j=1 xj xi
Da resulta que, u e p sao solucoes do sistema de equacoes diferenciais parciais nao lineares
3 u

ui P i p
(4.6) + uj = f(x, t) + ui
t j=1 xj xi
para i = 1, 2, 3, sendo
div u = 0.
O sistema (4.6) denomina-se sistema de equacoes diferenciais parciais de Navier-Stokes.

O objetivo principal da presente exposicao e fazer a analise matematica do problema
misto para o sistema de Navier-Stokes, no R2, seguindo Lions [6], Tartar [9] e Temam
[10]. Posteriormente no Rn com n 4 seguindo a mesma bibliografia.
Section 2 Espacos Funcionais 107
4.2 Espacos Funcionais
Serao definidos, no presente paragrafo, os espacos funcionais apropriados para a analise

matematica do sistema de Navier-Stokes. Antes, porem, sera estudado um problema
estacionario, simples. Em lugar do R3, considere-se o Rn e um aberto limitado conexo
do Rn, com fronteira bem regular. Do ponto de vista da analise a ser feita nao se perde
em generalidade ao supor a densidade = 1, o que sera feito.
Considere-se, inicialmente, o problema que consiste em determinar uma funcao u(x) =
(u1(x), u2(x), . . . , un(x)), x = (x1, x2, . . . , xn) um vetor do Rn, definida em , satisfa-
zendo as condicoes:
p
(4.7) ui + = fi em , i = 1, 2, . . . , n.
xi
(4.8) u = 0 em
(4.9) ui = 0 em
sendo f(x) = (f1(x), f2(x), . . . , fn(x)) conhecida.

O sistema (4.7), (4.8), (4.9) denomina-se sistema de Stokes linearizado. Este sistema
e o modelo linearizado, do movimento de um fluido incompressvel viscoso, com veloci-
dade u, confinado ao reservatorio , em regime permanente, submetido a uma densidade
volumetrica de forcas f. A funcao p e a pressao do fluido e > 0 a viscosidade, como
convencionou-se anteriormente.
Considere-se o espaco de Sobolev H10() e o produto cartesiano (H10())n munido do
produto escalar:
n
P
(4.10) ((u, v)) = (ui, vi)H10 () .
i=1
Resulta que (H10())n e um espaco de Hilbert. Da desigualdade de Poincare, resulta

poder-se considerar em (H10())n a norma equivalente
n
P
(4.11) kvk2 = |vi|2L2 () ,
i=1
para todo v = (v1, v2, . . . , vn) em (H10())n, sendo

n
Z 2
2 P ui
(4.12) |vi| = dx,
j=1 xj
dx = dx1dx2 . . . dxn a medida de Lebesgue no Rn.
Considera-se o subespaco V, fechado, de (H10())n, definido por

V = v (H10())n; div v = 0 em .
Representa-se por (L2())n o produto cartesiano com n fatores iguais a L2(). Define-
se em (L2())n o produto escalar
n
Z
P
(4.13) (u, v) = uivi dx,
i=1
cuja norma induzida e

n
Z
2 P
(4.14) |v| = v2i dx.
i=1
Representa-se por H a aderencia de V = { (D())n; div = 0} em (L2())n.

Note-se que D() e o espaco das funcoes testes em . Demonstra-se que V e denso em
V.
Procurando-se uma formulacao variacional para o sistema linearizado de Stokes, mul-
tiplique-se ambos os membros de (4.7) por um vetor v = (v1, v2, . . . , vn) de (H10())n e
integre-se sobre . Procedendo-se formalmente, obtem-se
Z Z Z
p
uivi dx + vi dx = fivi dx
xi
ou Z Z Z
n
P ui vi vi
dx dx = fivi dx.
i=1 xj xj xi
Somando-se em i, obtem-se
n P n
Z Z n
Z
P ui vi P
dx p v dx = fivi dx.
i=1 j=1 xj xj i=1
Restringindo-se os vetores v ao espaco de Hilbert V, resulta que v = 0, logo o problema

reduz-se a encontrar u em V tal que
n
Z n
Z
P ui vi P
(4.15) dx = fivi dx
i,j=1 xj xj i=1
para todo v em V.
Para demonstrar a existencia e unicidade de u em V solucao de (4.15), sera aplicado
o Lema de Lax-Milgram. Considere-se a forma bilinear
n
Z
P ui vi
a(u, v) = dx
i,j=1 xj xj
definida para u, v em V. Tem-se

n
Z n n
Z
P P ui vi P
a(u, v) = dx |ui|Rn |vi|Rn dx
i=1 j=1 xj xj i=1
n
Z 1/2 Z 1/2
P 2 2
|ui|Rn dx |vi| dx kuk kvk
i=1
provando ser a(u, v) contnua em V.

Sendo para todo v em V,
n P
n
Z 2 n
Z
P vi P
a(v, v) = dx = |vi|2Rn dx = kvk2
i=1 j=1 xj i=1
conclui-se que a(u, v) e coerciva.

Para todo f H, a aplicacao
n
Z
P
(4.16) f 7 fivi dx = (f, v), v V,
i=1
e uma forma linear contnua em V, consequencia simples da desigualdade de Schwarz.

Portanto, sendo a(u, v) uma forma bilinear contnua, coerciva em V e f (f, v)

definida por (4.16) uma forma linear contnua em V para todo f H, conclui-se, do Lema
de Lax-Milgram, que existe um unico u V tal que
(4.17) a(u, v) = (f, v) para todo v em V.
A etapa seguinte do presente argumento, seria relacionar a solucao u de (4.17) como

problema original formulado para o sistema (4.7), que e a parte mais delicada desta
analise. Com o objetivo de tornar inteligvel este ponto, sera caracterizado, inicialmente,
o dual de V, por meio de um argumento analtico, devido a Lions [7] e Tartar [10].
Do estudo dos espacos de Sobolev sabe-se que o dual de (H10())n identifica-se ao
espaco (H1())n, sendo H1() o dual de H10(). Sera demonstrado que se L pertence
a (H1())n for tal que L(v) = 0 para toda v V, entao existe uma funcao p L2()/R
tal que L = p, isto e,
Z
(4.18) L(v) = P v dx

para todo v V. Assim, ficam caracterizadas por meio de (4.18) as formas lineares
contnuas sobre (H10())n que se anulam em V.
Observacao 1: A demonstracao a ser reproduzida aqui supoe com fronteira regular.

No caso geral de com fronteiras gerais, encontra-se em Lions [6] outra demonstracao
por meio do teorema de dualidade de De Rham ou em Temam [9].
Represente-se por d(x) a distancia de um ponto x de a fronteira .Tem-se que d(x)
e uma funcao Lipschitziana em . Resolve-se a equacao
div(d(x)) = g em
usando resultados do estudo de equacoes elticas degeneradas. Demonstra-se que existe

H2() solucao do problema e que a aplicacao g 7 e contnua de L20() em
H2(), sendo Z
L20() = 2
g L (); g(x) dx = 0 .

Deduz-se que existe uma aplicacao p : L20() (H10())n linear e contnua, definida por
pg = d(x).

De fato, H2() d(x) H10(), logo pg (H10())n e
xi
(4.19) div pg = g.
Dado um f V , o mesmo argumento usado em (4.17) garante a existencia de um

unico u em V tal que
(4.20) a(u, v) = (f, v)V V para todo v V.
A ideia e aproximar a solucao u de (20) por solucoes de um problema penalizado em

(H10())n. Do Lema de Lax-Milgram, conclui-se que para cada > 0, existe
u (H10())n tal que
1
(4.21) a(u, v) + (div u, div v) = (f, v)V V

para todo v (H10())n.

Demonstra-se, a seguir, que u converge fraco em (H10())n para u, solucao de (4.20).
De fato, substituindo v = u (H10())n em (4.21), obtem-se
(4.22) kuk < C independente de > 0.
Fazendo-se
1
p = div u ,

obtem-se de (4.21):
(4.23) a(u, v) = (f, v)VV + (p, div v),
para todo v (H10())n, sendo

Z Z Z
1 1
(4.24) p dx = div u dx = u d = 0,

porque u (H10())n.
A seguir demonstrar-se-a que p e limitado em L2(). De fato, p L20(), como
visto em (4.24). Logo, por (4.19) existe v (H10())n tal que
(4.25) div v = p
(4.26) kvk C |p| ,
porque p : L20() (H10())n e contnua.

Tomando v = v (H10())n em (4.23), observando a (4.25), obtem-se
|p|2 = a(u, v) (f, v)V V K kuk kvk + |f|V ||v||.
De (4.22) e (4.26), conclui-se que
|p| < constante.
Logo, existe uma subsucessao ainda representada por p tal que
p p fraco em L2().
De (4.22) existe uma sub u tal que
u w fraco em (H10())n.
Tomando o limite na equacao penalizada (4.21), obtem-se
(4.27) a(w, v) = (f, v)VV + (p, div v)

Em particular, para v v (H10())n, em (4.27), obtem-se w e solucao de
a(w, v) = (f, v)V V para todo v em V.

Comparando com (4.20), resulta que w = u, porque a solucao u de (4.20) e unica.

Conclui-se que a solucao de (4.20) e obtida como limite fraco de solucoes da equacao
penalizada (4.21) ou (4.23).
Seja f (H1())n tal que (f, v)V V = 0 para todo v V. Entao a solucao u de
(4.20) e a solucao u = 0. Retornando a equacao (4.27), onde ja demonstrou-se que w = u,
obtem-se
(4.28) (f, v)V V + (p, div v) = 0 para todo v (H10())n
isto e,
(f, v)V V + ( grad p, v) = 0
para todo v (H10())n, provando que
f = grad p.
Note que p L20() = L2()/R resolve o problema. Assim existe p L2()/R tal que
f = p.
Conclui-se de (4.28) que se L for uma forma linear contnua sobre (H10())n que se
anula em V, entao existe um unico p L2()/R tal que
Z
(4.29) L(v) = p div v dx


E claro que para todo p L2() a (4.29) define uma forma linear contnua em
(H10())n nula em V.
A seguir, usando-se a caracterizacao (4.29), sera feita a interpretacao da solucao u de
(4.17).
De fato, seja u V solucao de (4.17). Considere-se a forma linear contnua L(v)
definida em (H10())n do modo seguinte:
n
Z
P
(4.30) L(v) = a(u, v) fivi dx
i=1
sendo f H. Sendo u solucao de (4.17), resulta que L(v) = 0 para todo v em V, sendo
L(v) definida por (4.30). De (4.29) conclui-se que existe p L2()/R tal que
Z
L(v) = p v dx,

para todo v (H10())n. Logo, o par u, p de V H e solucao de

n
Z Z
P
(4.31) a(u, v) = fivi dx + p div v dx,
i=1
para todo v (H10())n. Sendo (D())n contido em (H10())n, restringindo-se v a

(D())n em (4.31), conclui-se que existe uma unica u V tal que
p
ui = fi , i = 1, 2, . . . , n em
xi
div u = 0 em
ui = 0 em ,
isto e, solucao do sistema de Stokes.
4.3 Sistema de Navier-Stokes no R2
Embora deseje-se analisar o sistema no plano, os problemas serao formulados no caso

geral para nao trazer duvidas desnecessarias ao leitor. Inicia-se com certas notacoes.
Considera-se o cilindro Q = (0, T ), T > 0 e o vetor velocidade u = (u1, u2, . . . , un).
Serao adotadas as seguintes notacoes:

u u1 u2 un
= , ,..., ; u = (u1, u2, . . . , un).
t t t t
O sistema de Navier-Stokes toma a forma
u Pn ui
(4.32) + u + ui = f grad p, >0
t i=1 xj
Section 3 Sistema de Navier-Stokes 115
(4.33) div u = 0
com as condicoes de fronteira e iniciais seguintes:
(4.34) u = 0 em , isto e ui = 0 em ,
sendo a fronteira lateral de Q
(4.35) u(x, 0) = u0(x) em , isto e, ui(x, 0) = u0i(x)
em .
O problema a resolver consiste em determinar u e p satisfazendo as condicoes (4.32)
... (4.35).
Antes da formulacao correta, estabelece-se mais alguma notacao.
Para u, v em V, definiu-se no 2 a forma bilinear
n
Z
P ui vi
a(u, v) = dx,
i,j=1 xj xj
que e contnua e coerciva em V.

Considera-se a forma trilinear b(u, v, w) definida para u, v, w em V, do modo seguinte:
n
Z
P vi
b(u, v, w) = uj wi dx.
i,j=1 xj
Uma primeira propriedade desta forma trilinear e a seguinte:
Lema 1. b(u, v, w) + b(u, w, v) = 0.
Demonstracao:
Z Z
P vi wi
b(u, v, w) + b(u, w, v) = uj wi dx + uj vi dx =
ij xj xj
Z Z
P vi wi P
= uj wi + vi dx = uj (viwi) dx =
ij xj xj ij xj
Z
P uj
= dx,
ij xj
porque a contribuicao na fronteira e nula, de vez que u, v, w V. Esta ultima

integral e nula porque u = 0.
Note-se que sendo b(u, v, w) + b(u, w, v) = 0, segue-se que b(u, v, w) = 0 toda vez
que v = w.
Problema 1. Dados
(4.36) f L2(0, T ; (H1())2), u0 H,
determinar u e p, sendo p D (Q) tais que
(4.37) u L2(0, T ; V) L (0, T ; H)
n
P u
(4.38) u u + uj = f grad p em D (Q)
j=1 xj
(4.39) u(0) = u0 .
A solucao do Problema 1, satisfaz as condicoes (4.31)...(4.35).
Problema 2. Dados
f L2(0, T ; (H1())2), u0 H
determinar u tal que
(4.40) u L2(0, T ; V) L (0, T ; H)
(4.41) (u (t), v) + a(u(t), v) + b(u(t), u(t), v) = (f(t), v) em D (0, T )
para todo v V.
(4.42) u(0) = u0 .
O plano que se tem em mente consiste em demonstrar a equivalencia dos dois proble-
mas e a seguir resolver o Problema 2.
Se u for solucao do Problema 1 entao u e solucao do Problema 2.

De fato, seja u solucao do Problema 1 e V = { (D()2); = 0}. Multipli-
cando-se ambos os membros de (4.38) por e integrando, obtem-se
(u (t), ) + a(u(t), ) + b(u(t), u(t), ) = (f(t), ) ( p, ).
Sendo ( p, ) = 0 para com = 0, obtem-se
(u (t), ) + a(u(t), ) + b(u(t), u(t), ) = (f(t), )
em D (0, T ) para toda V. Sendo V denso em V = {v (H10())2; v = 0} resulta que

u e solucao do Problema 2.
Se u for solucao do Problema 2 entao u e solucao do Problema 1.

Veja demonstracao em Lions [6], Temam [9], Tartar [10]. A solucao do Problema 2
denomina-se solucao fraca.
Teorema 1. Sejam f L2(0, T ; V ), u0 H, entao existe uma unica (n = 2) u

satisfazendo as condicoes
(4.43) u L2(0, T ; V) L (0, T ; H)
(4.44) u L2(0, T ; V )
(4.45) (u (t), v) + a(u(t), v) + b(u(t), u(t), v) = (f(t), v)
para todo v em V, no sentido de D (0, T ).
(4.46) u(0) = u0 .
Observacao 2. De u L2(0, T ; V), u L2(0, T ; V ), sendo V H = H V , injecoes

contnuas, resulta que u e contnua de [0, T ] com valores em V ; tambem de [0, T ] com
valores em [V, V ]1/2 = H e fracamente contnua com valores em V. Consulte-se Lions-
Magenes [8]. Resulta desta observacao fazer sentido calcular-se u(0).
A demonstracao do Teorema 1, sera feita usando o metodo de Galerkin, consistindo em
obter a solucao do Teorema 1 por meio de solucoes aproximadas de problemas analogos
em dimensao finita. E fundamental a obtencao de estimativas sobre as solucoes aproxi-
madas permitindo a obtencao de subsucessoes convergentes. Alguns lemas tecnicos serao
demonstrados inicialmente.
Lema 2. Se u H10(), n = 2, tem-se:
|u|2L4 () C() kukH1 () |u|L2 () .

0
Demonstracao: Sendo u H10(), a funcao u = u em e nula no complemento de

pertence a H1(R2). Sendo D(R2) denso no H1(R2), limitar-nos-emos as funcoes de D(R2).
De fato, Z x1 Z x1
2 2 u
u (x1, x2) = u (s, x2) ds = 2u(s, x2) (s, x2) ds
s s
ou
Z +
u
|u(x1, x2)|2R 2 |u(s, x2)| (s, x2) ds = v(x2).
s
Analogamente,
Z +
u
|u(x1, x2)| 2 2
|u(x1, s)| (x1, s) ds = v(x1).
s
Multiplicando-se membro a membro, obtem-se
|u(x1, x2)|4 v(x1)v(x2)
ou
Z Z + Z +
4
|u(x1, x2)| dx1dx2 v(x1) dx1 v(x2) dx2
R2
isto e,
Z Z + Z +
u u
(4.47) 4
|u(x1, x2)| dx1dx2 4 |u| dx1dx2 |u|
x2 dx1dx2
R2 x1
Aplicando-se a desigualdade de Schwarz as integrais do segundo membro de (4.47), a

seguir usando-se a desigualdade elementar 2ab a2 + b2 e a desigualdade de Poincare

|u|L2 () C() kukH1 () , obtem-se a desigualdade do Lema 2.
0
Lema 3. A forma trilinear b(u, v, w) e contnua em V V V.
Demonstracao: Do teorema de imersao de Sobolev, tem-se que H10() esta continua-

1 1 1 1 1
mente imerso em Lq() para = > 0. Quando n = 2, = 0 e a imersao de
q 2 n 2 n
H10() faz-se continuamente em Lq(), qualquer que seja o numero real q > 0. Portanto,
para n = 2 pode-se tomar q = 4, concluindo-se que H10() esta continuamente imerso
em L4().
Tem-se
Z
2 P
P 2 vi
(4.48) |b(u, v, w)|
uj xj wi dx.
i=1 j=1
Notando-se que
Z Z 1/2 Z 1/2
vi vi 2
|ujwi| dx 2
|ujwi| dx
xj dx
xj
Z 1/2 Z 1/21/2 Z 1/2
vi 2
4
|uj| dx 4
|wi| dx dx =

xj
Z 1/4 Z 1/4 Z 1/2
vi 2
= 4
|uj| dx 4
|wi| dx
dx ,
xj
1 1 1
obtem-se, da desigualdade de Holder com + + = 1,
4 2 4
Z
vi vi

(4.49) ui xj wi dx |uj|L4 () xj 2 |wi|L4 () .
L ()
Substituindo-se (4.49) em (4.48) e usando teorema de imersao, obtem-se

P2 P 2 vi
|b(u, v, w)| kujkH1 () kwikH1 ()
i=1 j=1 0 xj L2 () 0
isto e,
1/2 1/2
2
P 2
P P2 v 2
i
|b(u, v, w)| C kujk2H1 ()

kwikH1 () =
j=1 xj L2 ()
0 0
i=1 j=1
2
P
= C kukV kvikH1 () kwikH1 () C kukV kvkV kwkV ,
0 0
i=1
provando a continuidade de b(u, v, w) em V V V.

Resulta do Lema 3 que fixados u e v, a aplicacao w 7 b(u, v, w) e uma forma linear
contnua em V. Define-se, por esta razao, uma aplicacao B(u, v) de V V em V do modo
seguinte:
hB(u, v), wi = b(u, v, w),
sendo B(u, v) bilinear e contnua.
Lema 4. Se u, v L2(0, T ; V) L (0, T ; H) entao B(u, v) L2(0, T ; V ).
Demonstracao: Sendo B(u, v) bilinear contnua de V V em V , obtem-se

C
|B(u, v)|V C kukV kvkV (kuk2V + kvk2V ),
2
provando que B(u, v) L1(0, T ; V ). Para provar que ela e L2(0, T ; V ), considere-se
hB (u, v) , wi = b(u, v, w) = b(u, w, v) = hB(u, w), vi i.
Resulta que
|hB(u, v), wi| = |b(u, w, v)| C |u|2(L4 ())2 kwkV |v|2(L4 ())2 ,
por (4.49), usando-se um argumento analogo ao empregado na demonstracao do Lema 3.

Da obtem-se
(4.50) kB(u, v)kV C |u|2(L4 ())2 |v|2(L4 ())2 ,
sendo
2
P 2
P
|u|4(L4 ())2 |v|4(L4 ())2 |uj|2L4 () |vj|2L4 () ,
j=1 j=1
que substituindo em (4.50) tomando-se o quadrado de ambos os membros e aplicando o

Lema 2, obtem-se
2
P 2
P
||B(u, v)||2V C |uj|L2 () kujkH1 () |vj|L2 () kvjkH1 ()
0 0
j=1 j=1
ou
kB(u, v)k2V
2 1/2 2 1/2 2 1/2 2 1/2
P 2 P 2 P 2 P 2
C |uj|L2 () kujkH1 () |vj|L2 () kvjkH1 ()
0 0
j=1 j=1 j=1 j=1
isto e,
kB(u, v)k2V C |u|H kukV |v|H kvkV K kukV kvkV ,
que demonstra ser B(u, v) L2(0, T ; V ) quando u e v estao nas condicoes do Lema 4.
Demonstracao da Unicidade no Teorema 1

Note-se que a solucao u L2(0, T ; V) L (0, T ; H), sendo u L2(0, T ; V ). Logo,
faz sentido calcular-se hu , vi para todo v V. Por esta razao e relativamente simples
demonstrar-se a unicidade no caso n = 2. Quando n 2, H10() Lq(), mas

1 1 1
= > 0, perdendo-se a arbitrariedade providencial do q, como no caso n = 2.
q 2 n
Tal dificuldade refletir-se-a nas estimativas das solucoes aproximadas.
Sejam u e u
^ duas solucoes nas condicoes do Teorema 1, com n = 2. Fazendo-se
^ , resulta que
w=uu
(4.51) (w (t), v) + a(w(t), v) + b(u(t), u(t), v) b(^

u(t), u
^ (t), v) = 0
para todo v V, no sentido de D (0, T ).
(4.52) w(0) = 0.
Observacao 3: Note-se que b(u, u, v) b(^ ^ , v) = b(u u

u, u ^ +u
^ , u, v) b(^
u u + u, u
^
u+u, v) = b(w, u, v)+b(^
u, u, v)b(w, w, v)b(w, u, v)b(u, w, v)b(u, u, v) =
b(w, u, v) b(w, u, v) b(w, w, v) + b(w, u, v) + b(u, w, v) = b(w, u, v) + b(u, w, v)
b(w, w, v).
Da Observacao 3, o sistema (4.51) modifica-se em
(4.53) (w , v) + a(w, v) + b(w, u, v) + b(u, w, v) b(w, w, v) = 0
para todo v em V, no sentido de D (0, T ),
(4.54) w(0) = 0.
Tomando-se v = w V em (4.53), obtem-se

1 d
|w(t)|2 + a(w, w) + b(w, u, w) + b(u, w, w) b(w, w, w) = 0
2 dt
ou
1 d
|w(t)|2 + ||w(t)||2 b(w, u, w)
2 dt
C|w|(L4 ())2 kukV |w|(L4 ())2 C|w|2(L4 ())2 kukV C|w| kwkV kukV ,
pelo Lema 2. Logo
d C2 2
|w(t)|2 + kw(t)k2 kwk2V + |w| kuk2V ,
dt
de onde resulta que:

d C2
|w(t)|2 kuk2V |w|2.
dt
C2
Fazendo-se (t) = ku(t)k2V , (t) = kw(t)k2V , vem

L1(0, T ) e C1([0, T ]; R),
satisfazem a desigualdade
(t) (t)(t).
Da resulta que (t) = 0 em [0, T ], provando que w(t) = 0 em [0, T ], isto e, u(t) = u
^ (t)
em [0, T ], concluindo-se a unicidade.
Demonstracao da Existencia no Teorema 1

Sera feita por meio do metodo de Galerkin, escolhendo-se uma base especial de funcoes
proprias. Para isto, suponhamos que V H seja contnua, densa e compacta. Identifi-
cando-se H = H V , continuamente. Assim, V e H sao espacos de Hilbert tais que
V H V .
Fazendo a(u, v) = ((u, v)) que e o produto escalar em V, o problema espectral
((u, v)) = (u, v),
sendo (u, v) o produto escalar em H, possui solucao (wi) correspondentes aos valores
proprios (i). Sabe-se que i > 0 para todo i, a sucessao dos j e crescente e divergente
para mais infinito. Obtem-se
((wi, v)) = i(wi, v), i = 1, 2, . . . ,
para todo v em V.
Calculo de Normas
i) Sendo (wi) ortonormal completo em H, para v em H, obtem-se

P
v= (v, wi) wi ,
i=1
sendo, pelo teorema de Parseval

P
|v|2 = |(v, wi)|2
i=1
que e a norma de v em H.
ii) Tem-se
((wi, v)) = i(wi, v)

para todo v em V. Resulta que wi i iN e ortonormal e completa em V. Portanto,
para todo v em V, obtem-se

P wi w
v= v, i
i=1 i i
Da resulta: 2
P wi P 1
2 =
kvk = v, |((v, wi))|2 =
i=1 i
i=1 i
P 1 P
= |i(v, wi)|2 = i|(v, wi)|2,
i=1 i i=1
que e a norma de v em V.
iii) Seja A o operador definido pela forma bilinear ((, )). Tem-se Awi = iwi , sendo
A linear e contnuo de V sobre V alias, A e um isomorfismo entre V e V . Define-se

kvkV = A1 v V .
Por (ii) obtem-se

2
P
P
kvk2V = A1v V = i|(A1v, wi)|2 = i|(v, A1wi)|2 =
i=1 i=1

P
P
= i|(v, wi/i)| =2
1 2
i |(v, wi)| .
i=1 i=1
Conclui-se que a norma de v em V e

P
kvk2V = 1 2
i |(v, wi)| .
i=1
Sistema Aproximado
Considere-se os vetores (wi), solucao de ((wi, v)) = i(wi, v), obtido anteriormente.
Represente-se por Vm o subespaco de dimensao m de V gerado pelos m primeiros vetores
w1, w2, . . . , wm . Para cada m, considere um Vm definida por
(4.55) (um(t), v) + a(um(t), v) + b(um(t), um(t), v) = (f(t), v),
para todo v Vm .
(4.56) um(0) = um sendo lim u0m = u0 forte em H.
Para escrever-se (4.55) explicitamente, substitui-se

m
P
um(t) = gjm(t)wj ,
j=1
no sistema (4.55), tomando-se v = wi , obtem-se
(4.57) gim(t) + igim(t) + F(g1m(t), g2m(t), . . . , gmm(t)) = fi
i = 1, 2, . . . , m, porque
a(um, wi) = ((um, wi)) = i(um, wi) = igim(t)
e
(um, wi) = gim(t).
Relativamente a condicao inicial, obtem-se

m
P
(4.58) u0m = cjm wj , gim(0) = cim .
j=1
Resulta que o sistema (4.57), (4.58) possui uma solucao (gim)1im em um intervalo
[0, tm). As estimativas a serem obtidas demonstram que um pode ser prolongada no
intervalo [0, T ).
Estimativa I
Tomando-se v = um(t) em (4.55), obtem-se
1 d
|um(t)|2 + kum(t)k2 kfkV kum(t)kV ,
2 dt
porque b(um, um, um) = 0. Sendo
1
kfkV kum(t)kV kfk2V + ku(t)k2V ,

segue-se
d 1
(4.59) kum(t)k2 + kum(t)k2 kfk2V .
dt
Integrando-se (4.59) de 0 a t < tm , obtem-se

Zt Z
2 2 1 T
(4.60) 2
|um(t)| + kum(s)k ds kum(0)k + kf(s)k2V ds.
0 0
De (4.60) encontra-se uma estimativa para |um(t)| na norma de H, independente de m

e t em [0, tm). Resulta que o prolongamento ao intervalo [0, T ) e possvel. Retornando-se
a (4.60) obtem-se
(4.61) (um)mN pertence a um limitado de L (0, T ; H)
(4.62) (um)mN pertence a um limitado de L2(0, T ; V)
Estimativa II
Seja hm = f um B(um, um). Sabe-se que B(um, um) pertence a L2(0, T ; V ),
sendo
kB(um, um)kV kumk2 .
De um limitada em L2(0, T ; V), conclui-se que B(um, um) e limitada em L2(0, T ; V). Sendo
pertencente a L(V, V ) e f L2(0, T ; V ), resulta que hm pertence a um limitado de
L2(0, T ; V ).
dum
Calculo da norma de em V
dt
2
dum 2 Pm
1 dum
Pm
= 1 2
dt i , w i = i |(hm, wi)|
V i=1 dt i=1

P 1
i |(hm, wi)|2 = khm(t)k2V
i=1
que e limitada em L1(0, T ). Conclui-se:

dum
(4.63) e limitada em L2(0, T ; V ).
dt mN
Observacao 4: Note-se que para a obtencao da estimativa (4.61), usou-se uma base
especial de vetores proprios do problema espectral ((w, v)) = (w, v).
De (4.61), (4.62), (4.63) deduz-se a existencia de uma subsucessao de um , ainda re-
presentada por um , tal que
(4.64) (um)mN converge para u fraco em L2(0, T ; V)
(4.65) (um)mN converge para u fraco estrela em L (0, T ; H)

dum du
(4.66) converge para fraco L2(0, T ; V )
dt mN dt
Estas convergencias nao sao suficientes para tomar-se o limite, com sucesso, na equacao
aproximada. Para obter-se convergencias que permitam tomar limites no termo nao linear
b(um, um, v), recorre-se a um teorema de compacidade cujo enunciado vem a seguir,
porem a demonstracao encontra-se em Lions [6], Aubin [1] ou Temam [9] reproduzida no
Apendice I destas notas.
Considere-se os espacos de Banach B0 B B1 , sendo as injecoes contnuas.
Suponha-se que a injecao de B0 em B seja compacta e 1 < pi < i = 1, 2. Considera-se
o espaco de Banach

p0 dv p1
W = v L (0, T ; B0); L (0, T ; B1)
dt
com a norma:
dv
kvkW = kvkLp0 (0,T;B0 ) +
dt p .
L 1 (0,T;B1 )
Sendo B0 B continuamente, resulta que a imersao de W em Lp0 (0, T ; B) e contnua.

Demonstra-se que a compacidade de B0 B implica ser compacta a injecao de W em
Lp0 (0, T ; B), cf. Apendice I.
Aplicando o teorema de compacidade mencionado a presente situacao, quando B0 = V,
B = H, B1 = V , p0 = p1 = 2, obtem-se

2 dv 2
W = v L (0, T ; V); L (0, T ; V ) .
dt
Notando as estimativas (4.62) e (4.63), resulta que um e limitada em W. Sendo compacta
a injecao de W em L2(0, T ; H) conclui-se que existe uma subsucessao, ainda representada
por um , tal que
(4.67) (um)mN converge para u forte em L2(0, T ; H)
e quase sempre em Q.
Note que em (4.64), (4.65), (4.66), (4.67) tem-se a mesma subsucessao um e o mesmo
limite u.
Convergencia do Termo nao Linear

Demonstrar-se-a que b(um, um, v) converge para b(u, u, v) para todo v V no sentido
de Lp(0, T ) para algum p 1. Tem-se:
2
Z
P vi
b(um, um, v) = b(um, v, um) = umj umi dx.
i,j=1 xj
vi
Sendo v V resulta que L2(). Encontrou-se (um)mN limitada em L2(0, T ; V)
xj
sendo H10() L4(), quando n = 2, injecao contnua. Logo, (um)mN e limitada em
L2(0, T ; (L4())2). Da resulta que

Z Z 1/2 Z 1/2
2 4 2
|umiumj| dx |umi| dx |umj| dx ,

da qual obtem-se umiumj limitada em L2(0, T ; L2()) = L2(Q). Resulta que existe uma
subsucessao, ainda represenada por umiumj , tal que
(umiumj)mN converge para ij em L2(0, T ; H) fraco.
Encontrou-se em (4.67) que um converge para u forte em L2(0, T ; H) e quase sempre em

Q. Logo umi converge para ui quase sempre em Q, isto e,
(umiumj)mN converge para uiuj quase sempre em Q.
Em resumo, tem-se gm = umiumj limitada em L2(Q) e convergindo quase sempre para

uiuj em Q. Do Lema 3.1 de Lions [6], resulta que gm = umiumj converge para uiuj fraco
em L2(Q), concluindo-se ij = uiuj .
Resulta que para toda (x, t) L2(0, T ; H) = L2(Q), obtem-se:
Z Z
(4.68) lim umiumj (x, t) dxdt = uiuj (x, t) dxdt.
m Q Q
vi
Para toda v V, tem-se L2(), logo tomando L2(0, T ) a funcao (x, t) =
xj
vi
(t) pertence a L2(0, T ; H) para i, j = 1, 2. Substituindo-se esta (x, t) em (4.68),
xj
resulta:
ZT Z ZT Z
vi vi
lim umiumj dx (t)dt = ui uj dx (t)dt,
m 0 xj 0 xj
provando que
(4.69) lim b(um(t), um(t), v) = b(u(t), u(t), v) em L2(0, T ) fraco,

m
para todo v em V.
Passagem ao limite na derivada

De (4.66) obtem-se
ZT ZT
hum(t), vi dt hu (t), vi dt
0 0
para cada D(0, T ) e v V. Note que h , i e a dualidade V V . Da obtem-se

ZT ZT

(um(t), v) dt hu (t), vi dt.
0 0
Tem-se ZT ZT Zt

(um(t), v) dt = (um(t), v) dt (u(t), v) dt
0 0 0
pois um u fraco estrela L (0, T ; H). Logo

ZT ZT ZT
d
(u(t), v) dt = (u(t), v) dt = hu (t), vi dt.
0 dt 0 0
Escreve-se que ZT ZT
d
(um(t), v) dt (u(t), v) dt
0 0 dt
para toda v V e D(0, t).
Das convergencias (4.64), (4.65), (4.66), (4.69) e lcito tomar o limite em ambos os
membros da equacao aproximada (4.55), fixando v = wi , i < m, obtendo-se
d
(u(t), v) + a(u(t), wi) + b(u(t), u(t), wi) = (f(t), wi)
dt
para todo i, fraco em D(0, T ). Sendo a sucessao (w) base Hilbertiana de V, resulta

du
(4.70) , v + a(u(t), v) + b(u(t), u(t), v) = (f(t), v)
dt
no sentido de D (0, T ), para todo v em V, demonstrando que u e solucao fraca do sistema
de Navier-Stokes no caso n = 2.
Para completar a demonstracao do Teorema 1, resta constatar que u assume o valor
inicial u0 quando t = 0. De fato, sabe-se que u e contnua em [0, T ] com valores em H.
dum du
Sendo convergente para fracamente em L2(0, T ; V ), obtem-se
dt dt
Z ZT
dum du
(4.71) , wi (t)dt converge para , wi (t)dt
dt 0 dt
para todo L2(0, T ). Considere-se C1([0, T ]) com (0) = 1, (T ) = 0. De (4.71)

obtem-se
Z ZT
d d
(um(t), wi)(t) dt converge para (u(t), wi)(t) dt
dt 0 dt
para tais . Integrando por partes, o que e lcito pois t 7 (u(t), wi) e contnua em
[0, T ], obtem-se
ZT

limm (um(0), wi) (um(t), wi) (t)dt =
(4.72) 0 ZT
= (u(0), wi) (u(t), wj) (t) dt.
0
De (4.65) aplicda a (4.72), conclui-se que
(4.73) lim (um(0), wi) = (u(0), wi).

m
Sendo um(0) = u0m convergente fortemente para u0 em H, resulta que (um(0), wi)
converge tambem para (u0, wi) para todo i. Comparando com (4.73) conclui-se que
u(0) = u0 , completando a demonstracao do Teorema 1.
Apendice I
No presente apendice demonstrar-se-a um teorema de compacidade usado na demons-

tracao do teorema de existencia do sistema de Navier-Stokes. Consulte-se Aubin [1], Lions
[6].
Considere-se 1 < pi < +, i = 1, 2 e B0 B B1 espacos de Banach reflexivos
sendo as injecoes contnuas e B0 B compacta. Para 0 < T < , seja

p0 dv p1
W = v; v L (0, T ; B0), L (0, T ; B1)
dt
munido da norma:
dv
kvkW = kvkLp0 +
dt p .
L 1
Resulta que W e um espaco de Banach sendo W continuamente imerso em Lp0 (0, T ; B).
Teorema 2. Com as hipoteses acima sobre B0 B B1 , 0 < p1 < +, i = 1, 2,

resulta ser compacta a imersao de W em Lp0 (0, T ; B).
Lema 1. Sendo B0 B B1 nas condicoes anteriores, entao para cada > 0 existe c()
tal que
(4.74) kukB kukB0 + c() kukB1
para todo u B0 .
Demonstracao: Suponha falsa a conclusao do Lema 1. Resulta que para algum > 0
existe um vetor un B tal que
(4.75) kunkB > kunkB0 + n kunkB1 .
Sendo un 6= 0, faz sentido considerar

un
(4.76) wn =
kunkB0
Apendice I 133
De (4.76) modifica-se (4.75) obtendo-se
kunkB kunkB1
kwnkB = >+n
kunkB0 kunkB0
ou
(4.77) kwnkB > + n kwnkB1 .
Tem-se a continuidade de B0 B:
kunkB
(4.78) kwnkB = C.
kunkB0
De (4.77) e (4.78) resulta
||wn||B C
+ kwnkB1 < < ,
n n n
da qual resulta que
(4.79) lim kwnkB1 = 0.

n
Sendo B0 reflexivo e de (4.76) kwnkB0 = 1, conclui-se que existe uma subsucessao de

(wn) que converge fraco em B0 e sendo B0 B compacta, existe uma subsucessao (w)
que converge forte em B para um vetor w. Da continuidade de B1 B, juntamente com
(4.79) resulta que (w) converge forte para zero em B. Logo w = 0, o que e contraditorio,
porque kwkB > > 0. Conclui-se a validade do Lema 1.
Demonstracao do Teorema 2
Dever-se-a demonstrar que de toda sucessao (vn) limitada em W, pode-se extrair uma
subsucessao, ainda representada por (vn), fortemente convergente para v em Lp0 (0, T ; B).
A demonstracao sera feita no caso v = 0, sem perda de generalidade.
Do Lema 1, para cada > 0 existe c() > 0 tal que
kvn(t)kB kvn(t)kB0 + c() kvn(t)kB1
pois vn W. Tomando-se a norma Lp0 (0, T ) de ambos os membros, obtem-se que para
cada > 0 existe d() > 0 tal que
(4.80) kvnkLp0 (0,T;B) kvnkLp0 (0,T;B0 ) + d() kvnkLp0 (0,T;B1 ) .
Sendo (vn) limitada em W, obtem-se
kvnkLp0 (0,T;B0 ) kvnkW < C.
Logo, de (4.80), obtem-se
(4.81) kvnkLp0 (0,T;B) c + d() kvnkLp0 (0,T;B1 ) .
Sendo W reflexivo, pois os Bi o sao, resulta que da sucessao (vn) extrai-se uma subsucessao
(vn) tal que vn 0 fracamente em W. De (4.81) e da arbitrariedade do > 0, para
demonstrar-se que (vn) converge forte em Lp0 (0, t; B), o que implica a injecao compacta de
W neste espaco, e suficiente verificar-se que (vn) converge para zero forte em Lp0 (0, T ; B1).
De fato, tem-se que a injecao de W em C0([0, T ]; B1) e contnua Lions-Magenes [8].
Logo,
(4.82) kvn(s)kB1 kvnkC0 ([0,T];B1 ) C0 kvnkW < K,
sendo K constante, porque (vn) e limitada em W.

Se demonstrarmos que kvn(s)kB1 converge para zero quase sempre em (0, T ), obtem-
se de (4.82) que kvn(s)kpB01 e limitada e ||vn(s)||pB01 converge para zero em (0, T ). Logo o
Apendice I 135
teorema da convergencia dominada de Lebesgue, garante que kvnkpB01 converge para zero
em L(0, T ), isto e (vn) converge para zero em Lp0 (0, T ; B1). Retornando a (4.81) conclui-se
que (vn) converge para zero em Lp0 (0, T ; B) provando a compacidade da imersao de W
em Lp0 (0, T ; B).
Portanto, resta apenas demonstrar que kv(s)kB1 converge para zero em (0, T ). Limitar-
se-a ao ponto s = 0. De fato, seja wn definida por
wn(t) = vn(t), > 0 a fixar.
Obtem-se
wn(0) = vn(0)
p1
kwn(t)kLp0 (0,T;B0 ) C1 0
1 p1
kwn(t)kLp0 (0,T;B1 ) C2 0 .
Seja C1([0, T ]; R) sendo (0) = 1, (T ) = 0. Tem-se:

ZT ZT ZT
wn(0) =
(wn) dt = wn dt + wn dt = n + n
0 0 0
isto e,
wn(0) = n + n .
Resulta que
1 p1
kwn(0)kB1 knkB1 + knkB1 C3 0 + knkB1 .
1 p1
Para cada > 0, considere-se > 0 tal que C3 0 < /2. Resulta que
vn(0) = wn(0) converge para zero em B1 forte,
se demonstrar-se que
knkB1 converge para zero,
isto e, se n converge para zero em B1 forte.

De fato, tem-se vn converge para zero em W fraco. Sendo W Lp0 (0, T ; B0) resulta
que vn converge para zero em Lp0 (0, T ; B0) fraco. Logo, para > 0 fixo, resulta que wn
converge para zero fracamente em Lp0 (0, T ; B0). Seja
ZT
n = wn dt, integral em B0 , n B0 .
0
Para toda B0 , dual de B0 , tem-se

ZT
(n) = (wn) dt,
0
que converge para zero. Logo n converge para zero em B0 fraco. Sendo B0 B compacta,
resulta que n converge para zero em B forte, o que completa a demonstracao. Note que
resta apenas o cuidado de tomar subsucessoes.
Section 4 Sistema de Navier-Stokes no Rn com n 4 137
4.4 Sistema de Navier-Stokes no Rn com n 4
Considere-se o sistema de Navier-Stokes no Rn,
ui P ui p
(4.83) ui + uj = fi com , i, j = 1, 2, . . . , n
t j xj xi
(4.84) u = 0 em
(4.85) u = 0 em
(4.86) u(x, 0) = 0.
Note-se que e a fronteira de , aberto limitado do Rn e Q = (0, t), T > 0, com

fronteira lateral .
Embora tenha sido feita a formulacao fraca no caso R2, sera reencontrada aqui para
efeitos de auto suficiencia. A notacao usada e a fixada nos paragrafos anteriores.
Supondo-se os calculos a seguir validos, multiplique-se ambos os membros de (4.83)
por vi , com v V e integre-se em . Obtem-se
Z Z Z
ui P ui
vi dx uivi dx + uj vi dx =
t Z Z j xj
p
= fivi dx vi dx.
xi
Aplicando-se a formula de Green e usando-se o Lema de Gauss, obtem-se

Z Z Z
ui P ui vi P ui
vi dx + dx + uj vi dx =
t j xj xj j xj
Z Z
vi
= fivi dx + p dx
xi
pois vi = 0 em . Somando-se em i, sendo v = 0, resulta
Z Z
P ui PP ui vi
vi dx + uj dx+
i t i j xj xj
(4.87) Z Z
PP ui P
+ uj vi dx = fivi dx.
i j xj i
Com a notacao ja fixada nos paragrafos anteriores, a equacao (4.87) toma a forma:
(4.88) (u (t), v) + ((u(t), v)) + b(u(t), u(t), v) = (f(t), v)
para todo v em V.
Da sao formulados os dois problemas seguintes.
Problema 1. Encontrar um vetor u(x, t) = (u1(x, t), u2(x, t), . . . , un(x, t)) sendo
ui : Q R e uma funcao numerica p : Q R, tais que
ui P ui p
(4.89) ui + uj = fi em D (Q)
t j xj xi
para i = 1, 2, . . . , n.
(4.90) div u = 0
(4.91) u = 0 em
(4.92) u(x, 0) = u0 em .
Os vetores f e u0 sao conhecidos em L2(0, T ; V ) e H respectivamente.
Problema 2. Dados f L2(0, T ; V ), u0 H, encontrar um vetor u tal que
(4.93) u L2(0, T ; V) L (0, T ; H)

(4.94) (u (t), v) + ((u(t), v)) + b(u(t), u(t), v) + (f(t), v)
para todo v V no sentido de D (0, T ).
(4.95) div u = 0
(4.96) u = 0 em
(4.97) u(x, 0) = u0 .
Como no caso do R2, com certa regularidade sobre , demonstra-se que os dois pro-
blemas anteriores sao equivalentes. Ha uma demonstracao de equivalencia para gerais,
baseada no teorema de De Rham, como em Lions [6], Temam [9]. Neste paragrafo sera
estudado o Problema 2 no R2, com n 4. Antes sera relembrado o teorema de imersao
de Sobolev.
De fato, tem-se H10() continuamente imerso em Lq() para
1 1 1
(4.98) =
q 2 n
quando n > 2. Se n = 2, a imersao contnua e feita em Lq() para todo 1 q < .

Note-se que para n 5 a imersao faz-se em L2n/(n2)(), e para n = 3 ou 4 em L6() e
L4().
Continuidade de b(u, v, w) em V V (V (Ln())n).
O espaco V (Ln())n e dotado da norma

1/2
2
v 7 kvk + kvk2(Ln ())n .
ui
Considere-se u V, v V e w V (Ln())n. Tem-se ui H10() e L2().
xj
Do teorema de imersao de Sobolev, H10() esta continuamente imerso em Lq() com q
dado por (4.87), se n > 2. Resulta que
1 1 1
+ + =1
q 2 n
ui
e ui Lq(), L2(), wi Ln(). Portanto, da desigualdade de Holder,
xj
obtem-se Z
PP ui
|b(u, v, w)| |uj| |wi| dx

i j xj
PP ui
kujkLq ()
xj 2 ||wi||Ln () .
i j L ()
Da continuidade da imersao de H10() em Lq(), obtem-se

PP vi
|b(u, v, w)| C kukH1 ()
xj 2 kwikLn () .
0
i j L ()
Aplicando a desigualdade de Cauchy discreta relativamente ao ndice j, obtem-se

1/2 1/2
P P 2 P vi 2
(4.99) |b(u, v, w)| C kujkH1 () kwikLn () .
0 xj 2
i j j L ()
Da desigualdade de Poincare, resulta que

2 1/2
P
vi
xj 2 = kvikL2 () C0 kvikH1 () .
0
j L ()
Portanto, a (4.99) toma a forma seguinte:
P
|b(u, v, w)| C1 kukV kvikH1 () kwikLn () .
0
i
Aplicando a desigualdade de Cauchy, obtem-se
(4.100) |b(u, v, w)| C1 kukV kvkV kwk(Ln ())n .
Da resulta a continuidade em V V (V (Ln())n).

Note-se que para n 4, encontra-se V (Ln())n = V, devido ao teorema de imersao
de Sobolev. Conclui-se de (4.100) que a forma b(u, v, w) e contnua em V V V quando
n 4. Daqui ate o final deste paragrafo, sera suposto n 4.
Fixado u em V, resulta que a aplicacao
v 7 b(u, u, v)
de V em R, e uma forma linear contnua em V. Logo fica bem definido um operador linear
limitado Bu de V em V . No caso n = 2 representamos por B(u, u) este operador. Ele e
definido por
(Bu, v) = b(u, u, v).
Sendo
|(Bu, v)| = |b(u, u, v)| C1 kuk2 kvk ,
isto e,
(4.101) kBukV C1 kuk2 .
Supondo-se u L2(0, T ; V), tem-se que kBu(t)kV e mensuravel e de (4.101) conclui-se

que kBu(t)kV pertence a L1(0, T ). Conclui-se entao:
(4.102) Se u L2(0, T ; V) tem-se Bu L1(0, T ; V ).
Teorema 3. Supoe-se Rn, limitado, com n 4. Dados
(4.103) f L2(0, T ; V ), u0 H,
existe
(4.104) u L2(0, T ; V) L (0, T ; H),
tal que
d
(4.105) (u(t), v) + ((u(t), v)) + b(u(t), u(t), v) = (f(t), v)
dt
para todo v V no sentido de D (0, T ).
(4.106) u(0) = u0 .
Observacao 5. Supondo-se (4.105) valida, obtem-se

d
(u(t), v) = hf A Bu, vi
dt
para todo v V. Tem-se f A Bu V e portanto f A Bu L1(0, T ; V ).
Resulta da que u e fracamente contnua de [0, T ] com valores em V e em H. Note-se que
V H = H V . Logo, faz sentido calcular u(0).
Demonstracao: Sendo V separavel existe em V uma base Hilbertiana (w). Represente-

se por Vm o subespaco gerado pelos vetores w1, w2, . . . , wm para m = 1, 2, . . . . Sendo
u0 H e V denso em H, u0 pode ser aproximado por vetores w . Considera-se o
seguinte problema aproximado: encontrar um em Vm tal que
(4.107) (um(t), v) + ((um(t), v)) + b(um(t), um(t), v) = (f(t), v)
para todo v Vm , com a condicao inicial:
(4.108) um(0) = u0m , sendo u0m convergente para u0 em H.
O sistema de equacoes diferenciais ordinarias (4.107) com condicoes iniciais (4.108),

possui uma solucao em [0, tm). O prolongamento ao intervalo [0, T ) e consequencia das
estimativas a priori que vem a seguir.
Estimativa a priori I
Considerando-se em (4.107) v = um , sendo b(um, um, um) = 0, resulta
d
|um(t)|2 + 2 kum(t)k2 2 kfkV kum(t)k
dt
ou
d 1
|um(t)|2 + 2||um(t)||2 kum(t)k2 + kf(t)kV .
dt
Da obtem-se
d 1
(4.109) |um(t)|2 + kum(t)k2 kf(t)k2V .
dt
Integrando-se de 0 a t < tm ,
d 1
|um(t)|2 kf(t)k2V
dt
obtem-se
ZT
2 2 1
(4.110) |um(t)| |u0m| + |f(s)|2V ds,
0
mostrando que |um(t)| e uniformemente limitada em [0, tm), do que resulta o prolon-
gamento ao intervalo [0, T ). Retornando a (4.110) e integrando-se a (4.109) de 0 a T ,
conclui-se que
um pertence a um limitado de L (0, T ; H)
um pertence a um limitado de L2(0, T ; V)
Note-se que as duas conclusoes acima nao permitem passar ao limite na equacao
aproximada, pois ambas dao origem a convergencias fracas, nada sendo possvel concluir
quanto ao limite do termo nao linear. Para sobrepor-se a esta dificuldade, usa-se um
teorema de imersao compacta para obter-se uma convergencia forte, o que permite passar
o limite no termo nao linear b(um(t), um(t), v). O teorema mencionado encontra-se no
Apendice II, o qual envolve a derivada fracionaria de um(t). Os detalhes serao feitos a
seguir.
Estimativa a priori II
Deseja-se limitar Dt um(t), sendo 0 < < 1/4. Do Apendice II, sabe-se que Dt um(t)
^ m(), isto e, Dt\
e a transformada de Fourier inversa de (2i) u um(t) = (2i) u
^ m(),
supondo-se um(t) estendida a R. Portanto, para limitar Dt um(t) em L2(R, H) e suficiente
limitar (2i) u
^ m() em L2(R, H), isto e, mostrar que
Z +
1
||2 |^
um()|2 d, para 0 < < ,
4
e limitada. Note que |^

um()| e a norma em H.
Com o objetivo de encontrar tal estimativa, escreve-se a equacao aproximada (4.107)
sob a forma seguinte
d
(4.111) (um(t), v) + ((um(t), v)) + (Bum(t), v) = (f(t), v)
dt
para v em Vm . Represente-se por g a extensao nula fora de (0, T ) de uma funcao g

^() em vez de b
definida em (0, T ). A transformada de Fourier de g(t) representa-se por g g.
Estendendo-se um(t) a reta R, notando-se que um(t) esta definida em (0, T ), encontra-se
d
(um(t), v) + ((um(t), v)) + (Bum(t), v) =
(4.112) dt
= (f(t), v) + (u0m, v)0 (um(T ), v)T .
Considerando-se a transformada de Fourier, relativamente a t, de ambos os membros de

(4.112), obtem-se
um(), v) + ((^
2i(^ um(), v)) + (B^
um(), v) =
(4.113)
^
= (f(), v) + (u0m, v) (um(T ), v)e2iT .
Note-se que ^a() = e2ia logo ^0() = 1 e ^T () = e2iT .

^ m() Vm , e lcito tomar v = u
Sendo u ^ m() em (4.113), obtendo-se
um()|2 + k^
2i |^ um()k2 + (B^
um(), u
^ m()) =
(4.114)
^
= (f(), ^ m()) + (u0m, u
u ^ m())e2iT .
^ m()) (um(T ), u
Considerando-se a parte imaginaria de (4.114) e a seguir o valor absoluto, encontra-se

um()|2 |(B^
2|| |^ um(t), u ^
^ m(t))| + (f(), ^ m()) +
u
(4.115)
+ |(u0m, u
^ m())| + |(um(T ), u
^ m())| .
Observacao 6. Demonstrou-se que
kB^ um()k2 .
um()kV C k^
Tem-se Z + ZT
2it
^ m() =
u um(t)e dt = um(t)e2it dt.
0
Resulta da, que

ZT 2 ZT
2
(4.116) k^
um(t)k kum(t)k dt T kum(t)k2 dt.
0 0
Demonstrou-se que um pertence a um conjunto limitado de L2(0, T ; V), resultando de

(4.116) que kB^
um()kV < C independente de m.
Retornando-se a igualdade (4.115), em face da Observacao 5, obtem-se

(4.117) || |^ um()k + ^
um()|2 C k^ f() V k^
um()k ,
um()| norma em H e dominada por k^

observando-se que |^ u()k norma em V.
O objetivo a alcancar e provar que
Z +
(4.118) ||2 |^
um()|2 d < constante

1
para 0 < < . De posse de (4.117) e da desigualdade
4
1
||2(1 + ||12) k()(1 + ||), 0<< ,
4
provar-se-a que (4.118) e valida.
De fato,
1 + || um()|2
|^ um()|2
|| |^
||2|^
um()|2 k |^
u m()|2
k +
1 + ||12 1 + ||12 1 + ||12
A ultima parcela do membro da direita desta ultima desigualdade, e dominada por meio de
(4.117). Resulta que para obter-se a estimativa (4.118), e suficiente dominar as seguintes
integrais: Z + Z +
um()|2
|| |^ um()||
||^
I1 = d ; I2 = d
|| (1 + ||12) 1 + ||12
e Z + ^
um()||
||f()||V ||^
I3 = d.
1 + ||12
Por meio da desigualdade de Schwarz reduz ao calculo de integrais do tipo
Z
d 1
12 2
com 0 < <
0 (1 + || ) 4
Calcula-se em 0 1 que existe por continuidade e a seguir em 1 , tomando

1
limite quando que existe porque (1 + ||12)2 > ||2(12) e 0 < < Observar
4
sempre a desigualdade (4.117).
1 1
Note-se que para 0 < < , entao = 1 2 > Resulta da que a funcao 1/(1 + ||)
4 2
pertence a L2(R). Sendo 1 + ||12 > 1 e um pertencente a um limitado de L (0, T ; H),
resulta do teorema de Plancherel que I1 e finita.
Tem-se:
Z + Z + 1/2 Z + 1/2
k^
um()k 12 2 2
d (1 + || ) d k^
um()k d .
1 + ||12
Sendo (1 + ||12)1 pertencente a L2(R) e um pertencente a um limitado de L2(0, T ; V),

conclui-se, pelo mesmo argumento acima, que I2 e finita. Note que
Z +

I3 ^f() V kum()k d

e limitada.
um()| e limitada em L2(R), isto
Conclui-se, portanto, que (4.118) e valida, isto e, || |^
e, Dt um(t) pertence a um limitado de L2(R, H).
No teorema de compacidade existente no Apendice II, tomando-se B0 = V,
B1 = B = H, resulta que o espaco das restricoes de H(R; V, H) ao intervalo (0, T ) e
1
compactamente imerso em L2(0, T ; H), se 0 < < . Conclui-se que existe uma subsu-
4
cessao de um , pertencente a HK(R, V, H), K = (0, T ), ainda representada por um , tal
que
(4.119) um converge para u fortemente em L2(0, T ; H).
Resumindo, encontrou-se uma subsucessao um satisfazendo as seguintes condicoes:
um converge para u em L2(0, T ; V) fraco

um converge para u em L (0, T ; H) fraco
um converge para u em L2(0, T ; H) forte
A segunda e terceira convergencias permitem concluir a convergencia do termo nao

linear.
Para passar ao limite na equacao aproximada, considere-se em C1([0, T ]), tal que
(T ) = 0. Multiplique-se a equacao aproximada por , integre-se de 0 a T . Obtem-se
ZT ZT

(um(t), v) (t) dt + ((um(t), v))(t) dt+
0 0
(4.120) Z Z
T T
+ b(um(t), um(t), v)(t) dt = (u0m, v)(0) + (f(t), v)(t)dt.
0 0
Observacao 7. O termo nao linear pode ser modificado de modo a ser possvel passar o
limite. De fato,
ZT ZT
b(um, um, v) dt = b(um, v, um) dt =
0 0
ZT Z
P (vi)
= umj umi dxdt,
ij 0 xj
(vi)
Fazendo-se ij
m
= umi , tem-se que quando m ele converge forte para ij =
xj
(vi)
ui em L2(0, T ; H) forte. O termo umj converge fraco para uj em L2(0, T ; H). Logo
xj
ZT Z ZT Z
(vi) (vi)
umj umi dxdt converge para uj ui dxdt.
0 xj 0 xj
Tem-se, portanto,
ZT ZT
limm b(um, um, v) dt = lim b(um, v, um) dt =
0 m 0
ZT ZT
= b(um, v, um) dt = b(um, um, v) dt.
0 0
Da Observacao 7, passando-se ao limite, encontra-se:

ZT ZT

(u(t), v) (t) dt + ((u(t), v))(t) dt+
0 0
(4.121) Z Z
T T
+ b(u(t), u(t), v)(t) dt = (u0, v)(0) + (f(t), v)(t) dt
0 0
para todo v em Vm0 , m0 < m. Sendo as combinacoes lineares finitas dos (w) densas em
V, resulta que a equacao (4.121) e valida para todo v V e em C1([0, T ]). Tomando-se
D(0, T ), (4.121) implica ser u(t) solucao fraca do sistema de Navier-Stokes. De
(4.121) deduz-se tambem, com C1([0, T ]), (T ) = 0, que u(0) = u0 no sentido de V .
Apendice II 149
Apendice II
Demonstrar-se-a no presente apendice, um resultado de compacidade devido a Li-

ons, em espacos de Sobolev de ordem fracionaria de funcoes vetoriais, caracterizado pela
derivada de ordem fracionaria.
Considere-se os espacos de Hilbert B0 B B1 sendo as injecoes contnuas e a
injecao B0 B compacta. Para uma funcao v de R em B1 , sua transformada de Fourier
^v e representada por Z +
^v() = e2it v(t) dt

cuja transformada inversa e dada por

Z +
v(t) = e2it ^v() d.

Seja n um numero natural e Dn

t o smbolo de derivacao de ordem n em relacao a t.
Derivando-se formalmente, encontra-se

Z +
n
Dt v(t) = (2i)n e2it ^v() d.

Com esta motivacao em mente, quando for um numero real, define-se a derivada fra-
cionaria Dt de ordem de v(t), como sendo a transformada inversa de (2i) ^
v(), isto
e,
(4.122) D\

t v(t) = (2i) ^v()
por definicao.
Para > 0, define-se

H(R; B0, B1) = v L2(R, B0), || ^v() L2(R, B1)
com a norma
2
kvk2H (R,B0 ,B1 ) = kvk2L2 (R,B0 ) + k || ^v()kL2 (R,B1 ) .
Resulta, desta definicao, que H(R, B0, B1) e um espaco de Hilbert.

Dado K R, represente-se por HK o subespaco de H constituido pels funcoes u de
H com suporte contido em K.
Teorema 4. Supondo-se B0 B B1 , espacos de Hilbert nas hipoteses fixadas acima,

para todo > 0 e qualquer conjunto limitado K R, a injecao de
HK(R; B0, B1) em L2(R, B)
e compacta.
Demonstracao: Deve demonstrar-se que toda sucessao (um) limitada em HK(R; B0, B1)
possui uma subsucessao, ainda representada por (um) que converge fortemente em L2(R, B).
Note-se que sendo H(R; B0, B1) um espaco de Hilbert, deduz-se que (um) possui uma
subsucessao (um) fracamente convergente para u pertencente a H(R; B0, B1). Resulta
que vm = um u e uma sucessao convergente fracamente para zero neste espaco. Da,
obtem-se
limn vn = 0 fracamente em L2(R; B0)
limn vn = 0 fracamente em L2(R; B1).
Para concluir, deve-se demonstrar que (vm) converge fortemente para zero em L2(R; B).
Observacao 8. Demonstrou-se no Apendice I que para cada > 0 existe c() > 0 tal
que
kvkL2 (R;B) kvkL2 (R,B0 ) + c() kvkL2 (R;B1 ) .
Da Observacao 8, sendo vm limitada em L2(R; B0), por ser em H(R; B0, B1), conclui-se
que para deduzir-se que vm converge para zero em L2(R; B), e suficiente demonstrar-se
que vm converge para zero em L2(R; B1). De fato, nestas condicoes, da Observacao 8
deduzir-se-ia que
lim kvmkL2 (R;B) k,
n
para cada > 0, implicando que vm converge para zero em L2(R; B).
Apendice II 151
Portanto, resta apenas demonstrar que
lim vm = 0 fortemente em L2(R; B1),

m
ou seja,
lim kvmkL2 (R;B1 ) = 0.
m
Da identidade de Parseval obtem-se

Z + Z +
2
Jm = ||vm(t)||B1 dt = ||^vm()||2B1 d.

E suficiente demonstrar que lim Jm = 0. Obtem-se

Z
Jm = k^vm()k2B1 d+
||M
Z
+ (1 + ||) k^vm()k2B1 (1 + ||)1 d
||>M
Z
C
k^vm()k2B1 d + ,
||M 1 + M2
de vez que (vm) e limitada em H(R; B0, B1).

Dado > 0 escolhe-se M de modo que
C
2
<
1+M 2
implicando
Z

Jm ||^vm()||2B1 d +
||M 2
Resta demonstrar que a integral do segundo membro tem limite zero quando m tende
para o infinito, o que sera feito reduzindo-se ao teorema da convergencia dominada de
Lebesgue.
Seja a funcao caracterstica de K. Logo vm = vm porque vm possui suporte em K,
por hipotese tem-se
Z +
^vm() = e2it vm(t)(t) dt.

Obtem-se
||^vm()||B1 ||vm||L2 (R;B1 ) ||e2it ||L2 (R) .
Sendo B0 B B1 contnua e vm limitada em L2(R; B0), resulta que
||^vm()||B1 < C.
Para todo w B0 obtem-se

Z +
(^
v(), w)B0 = (vn(t), e2it w (t)B0 dt.

Sendo
lim vm = 0 fracamente em L2(R; B0),
m
resulta que
vm(), w)B0 = 0 para todo w B0 ,
lim (^
m
isto e,
lim ^vm() = 0 fracamente em B0 .
m
Sendo B0 B compacta, resulta que ^vm converge para zero forte em B, logo forte em B1
porque a injecao de B em B1 e contnua.
Tem-se ||^vm()||B1 limitada e convergente para zero, logo, pelo teorema da convergencia
dominada resulta que Z +
||^vm()||2B1 d

converge para zero, completando a demonstracao do Teorema 4.

Complementos 153
Complementos
1. Solucoes Periodicas
Supondo a dimensao n = 2, demonstrar-se-a a existencia de solucoes periodicas para

o sistema de Navier-Stokes, por meio do teorema a seguir.
Teorema 1. Suponha f dada em L2(0, T ; V ). Entao, existe uma funcao u satisfazendo

as condicoes:
(i) u L2(0, T ; V) L (0, T ; H)
(ii) u L2(0, T ; V )
d
(iii) (u(t), v) + a(u(t), v) + b(u(t), u(t), v) = hf(t), vi para toda v V no sentido
dt
de D (0, T ).
(iv) u(0) = u(T ).
Demonstracao: Considera-se o metodo de Galerkin com a base Hilbertiana (wi) de

vetores proprios com valores proprios (i) correspondentes ao problema espectral
((wi, v)) = i(wi, v) para todo v V, i = 1, 2, . . .
O sistema aproximado correspondente e:
(4.123) (um(t), v) + a(um(t), v) + b(um(t), um(t), v) = (f(t), v),
um(t) Vm , para todo v Vm .

Sabe-se que (4.123) possui solucao qualquer que seja o valor inicial um(0) fixado em
Vm . O objetivo e provar que entre estas solucoes aproximadas existe alguma um(t),
solucao de (4.123), satisfazendo a condicao:
(4.124) um(0) = um(T ).
Para obter uma estimativa, suponha v = um(t) em (4.123). Obtem-se

1 d
(4.125) |um(t)|2 + kum(t)k2 kfkV kum(t)k .
2 dt
Modificando-se o segundo membro por meio da desigualdade 2ab a2 + b2, resulta
d 1
|um(t)|2 + kum(t)k2 kf(t)k2V .
dt
Represente por C0 a constante de imersao contnua de V em H, obtem-se da desigualdade

anterior:
d 1
(4.126) |um(t)|2 + C20 |um(t)|2 kf(t)k2V .
dt
2
Multiplicando-se ambos os membros de (4.126) por eC0 t e integrando em [0, t), resulta
Z
C20 t 2 1 T 2
(4.127) e 2
|um(t)| |um(0)| + kf(s)k2V eC0 s ds
0
para todo 0 t T onde esta definida a solucao um(t) do sistema aproximado (4.123).
De (4.127) obtem-se:
ZT
C20 t 1 2
2
|um(t)| e 2
|um(0)| + eC0 (st) kf(s)k2V ds
0
ou
|um(t)|2 (t) |um(0)|2 + C
para todo 0 t T , sendo

ZT
C20 t 1 2
(t) = e e C= eC0 (st) kf(s)k2V ds.
0
Note que 0 < (t) < 1.

Portanto,
(4.128) |um(T )|2 |um(0)|2 + C
C
sendo = (T ) constante, 0 < < 1. Portanto 0 < 1 < 1 e C < . Seja R > 0
1
C
tal que < R2.
1
Escolhe-se o dado inicial um(0) Vm tal que
(4.129) |um(0)| < R.

Complementos 155
Portanto, C < (1 )R2 e, por (4.128)
|um(T )|2 R2 + (1 )R2 = R2.
Consequentemente, obtem-se da escolha (4.129)
(4.130) Se |um(0)| < R entao |um(T )| < R.
Assim, define-se a aplicacao : Vm Vm definida por
(4.131) (um(0)) = um(T )
sendo um(t) a solucao de (4.123) com condicao inicial um(0) Vm . O problema da

existencia de solucao periodica, isto e, um(0) = um(T ), reduz-se a provar que : Vm Vm
possui ponto fixo.
Devido a dependencia contnua dos dados iniciais para solucao de (4.123) resulta a
continuidade de . Note que leva a bola de raio R de Vm na bola de raio R, isto e,
(BR(0)) BR(0). Resulta do Teorema de Brower que possui um ponto fixo u0m
BR(0), isto e,
(u0m) = u0m .
Tomando-se u0m como dado inicial em (4.123), isto e, um(0) = u0m , resulta que a solucao
um de (4.123) e tal que
(4.132) um(0) = um(T ).
A (4.132) afirma que (4.123) possui uma solucao periodica.

Conclui-se que sendo um(0) = u0m , com u0m BR(0), as estimativas da solucao
de (4.123) sao obtidas como de habito em [0, T ]. Portanto, obtem-se subsequencia (um)
sendo
um u fraco L2(0, T ; V)
(4.133) um u fraco estrela L (0, T ; H)
um u fraco L2(0, T ; V)
Segue-se que u e solucao de (iii) do Teorema 1.

Para completar a demonstracao, resta provar que
u(0) = u(T ).
Note-se que faz sentido calcular u em 0 e T , pois u C0([0, T ]; H).

De (4.133)1 resulta
ZT ZT

(4.134) (um(t), v) (t) dt (u(t), v) (t) dt
0 0
para todo H1(0, T ) tal que (T ) = 0. Analogamente de (4.133)3 obtem-se

ZT ZT
d d
(4.135) (um(t), v) dt (u(t), v) dt
0 dt 0 dt
para v V e H1(0, T ), (T ) = 0.
De (4.134) e (4.135) resulta
ZT ZT
d d
(um(t), v)(t) dt (u(t), v)(t) dt
0 dt 0 dt
ou
(4.136) (um(0), v) (u(0), v) para todo v V.
Escolhendo-se conveniente, (0) = 0, obtem-se
(4.137) (um(T ), v) (u(T ), v) para todo v V.
Sendo um(0) = um(T ), de (4.136) e (4.137) resulta que u(0) = u(T ).
2. Sistema de Stokes
O problema a resolver consiste em dada f V encontrar u V tal que

P u
u + uj i = f p em
j xj

(4.138)
div u = 0 em

u = 0 em
Complementos 157
A formulacao fraca, equivalente, consiste em determinar u V tal que
(4.139) a(u, v) + b(u, u, v) = (f, v) para todo v V.
Teorema 1. Se n 4, existe uma unica solucao u de (4.139) quando a viscosidade e

grande ou quando kfkV e pequena.
Demonstracao: Sendo V separavel considere-se uma base Hilbertiana (wi) de V. Seja

Vm = [w1, w2, . . . , wm] o espaco vetorial de dimensao m gerado pelos m primeiros vetores
da base. Obtem-se o sistema aproximado

um Vm

(4.140) a(u , v) + b(u , u , v) = (f, v),
m m m

para todo v Vm
O problema inicial consiste em provar que o sistema (4.140) possui solucao um em V.

Demostra-se, inicialmente, o seguinte lema.
Lema 1. Seja P : Rn Rn uma aplicacao contnua tal que para um > 0 se tenha
(P(), ) 0 para todo Rm com || = .
Entao existe || tal que P() = 0.

P
Demonstracao: Com (, ) = ii representa-se o produto escalar no Rm cuja norma
P 2 i
induzida e ||2 = i .
i
A demonstracao do Lema 1 e feita por reducao a uma contradicao. De fato, suponha-se
que P() 6= 0 em K = { Rm; || }. Entao, a aplicacao

7 P()
|P()|
e contnua de K em K. Assim, do Teorema de Brower, resulta que ela possui um ponto
fixo. Logo existe K tal que

P() = .
|P()|
Projetando na direcao de , obtem-se
|P()|
(P(), ) = (, ) 0.

Portanto (P(), ) < 0 em K, contrario a hipotese.
m
P
Retornando ao sistema aproximado (4.140), tem-se um = jmwj pertencente a Vm
j=1
e = (jm)1jm . Pondo v = wi em (4.140) resulta
a(um, wi) + b(um, um, wi) = (f, wi),
que e uma funcao jm . Define-se a aplicacao P : Vm Vm tal que
P() =
sendo
i = a(um, wi) + b(um, um, wi) (f, wi).
P e contnua de Vm em Vm .
Tem-se
m
X
(P(), ) = (, ) = iim = a(um, um) (f, um).
i=1
Logo
(P(), ) kumk2 kfkV kumk .
Considerando-se a bola kumk = , com tal que kfkV obtem-se
(P(), ) 0 para || = .
Observacao 1. Considere (wi) ortonormalizado em H. Assim, em Vm as normas sao

equivalentes e
m
P
|um|2 = 2im = 2.
i=1
Complementos 159
Portanto conclui-se do Lema 1 que existe Vm tal que P() = 0. Mas, P() = ,
m
P
logo = 0, isto e, existe Vm tal que um = imwi e solucao de
i=1
a(um, wi) + b(um, um, wi) = (f, wi)
para i = 1, 2, . . . , m.
Estimativas
Tomando-se v = um na equacao aproximada (4.140) obtem-se:
kumk2 kfkV kumk ,
ou
1
kumk kfkV .

Logo, um e limitada em V. Consequentemente existe uma subsucessao um tal que
(4.141) um u fracamente em V.
De posse desta subsucessao pode-se passar ao limite em a(um, v). Para a parte nao
linear procede-se como no caso de evolucao. Tem-se V H contnua e compacta. Da
encontra-se uma subsucessao de um que converge forte para u em H e quase sempre em
. Portanto, tomando-se o limite na equacao aproximada, obtem-se
a(u, v) + b(u, u, v) = (f, v)
para todo v em V.
Unicidade (n 4). Como foi visto, quando n 4 tem-se V (Ln())n = V e a forma

trilinear b(u, v, w) e contnua em V V V.
Sejam u e u
^ duas solucoes dadas pelo Teorema 1. Obtem-se
a(u, v) + b(u, u, v) = (f, v)

e
u, v) + b(^
a(^ ^ , v) = (f, v)
u, u
para todo v V. Fazendo-se w = u u

^ obtem-se
a(w, v) + b(u, u, v) b(^ ^ , v) = 0

u, u
ou
a(w, v) + b(u, w, v) + b(w, u, v) b(w, w, v) = 0
para todo v V. Fazendo-se v = w, obtem-se
a(w, w) + b(w, u, w) = 0
ou
(4.142) kwk2 kuk kwk2 .
Tem-se
a(u, v) + b(u, u, v) = (f, v).
Tomando-se v = u, obtem-se
a(u, v) = (f, v)
ou
kuk2 kfkV kuk ,
isto e,
1
(4.143) kuk kfkV .

Substituindo (4.143) em (4.142) obtem-se
1
kwk2 kfkV kwk2

ou
(2 kfkV ) kwk 0.
Se 2 > kfkV , isto e, muito grande ou kfkV muito pequeno, obtem-se unicidade para
o sistema de Stokes.
[1] J.P. Aubin, Un theoreme de compacite, Comptes Rendus Acad. Sc. Paris, Juin
1963 (5042-5044).
[2] O.A. Ladyzhenskaya, The mathematical theory of viscous incompressible flow, Gor-
don and Breach, N.Y., 1969.
[3] J. Leray, Essai sur les mouvements plans dun liquide visqueux qui limitent des
parois, J. Math. Pures et Appl. t. 13, 1934 (331-418).
[4] J.L. Lions, Sur lexistence de solutions des equations de Navier-Stokes, Comptes
Rendus Acad. Sc. Paris, Mai 1959 (2847-2849).
[5] J.L. Lions, G. Prodi, Un theoreme dexistence et unicite dans les equations de
Navier-Stokes en dimension 2, Comptes Rendus Acad. Sc. Paris, Juin 1959 (3519-
3521).
[6] J.L. Lions, Quelques methodes de resolution des problemes aux limites non lineaires,
Dunod, Paris, 1959.
[7] J.L. Lions, Some problems connected with the Navier-Stokes equations, IV ELAM,
Lima, Peru, 1978.
[8] J.L. Lions, E. Magenes, Problemes aux limites non homogenes et applications, Vol.
1, Dunod, Paris, 1969.
[9] R. Temam, Navier-Stokes equations - theory and numerical analysis, North Holland,
N.Y., 1979.
[10] L. Tartar, Topics in nonlinear analysis, Univ. Paris Sud, Orsay, France, 1978.
Regularizacao Eltica
L. A. Medeiros F. D. Araruna G. O. Antunes
IM-UFRJ - Setembro de 2000

Rio de Janeiro - RJ
Introducao 165
Introducao
O metodo de regularizacao eltica foi idealizado por J. L. Lions [1] para estudar pro-
blemas mistos de natureza parabolica.
Deseja-se investigar o seguinte problema: dados u0 : R e f : Q R, encontrar
uma unica u : Q R solucao de

u u = f em Q,

(5.1) u=0 em ,

u (0) = u0. em .
Existem varias maneiras de resolver este problema, como por exemplo, pelo metodo
de Faedo-Galerkin ou usando teoria de semigrupos. Aqui adotar-se-a o metodo da regula-
rizacao eltica, que consiste em considerar (5.1) como limite de uma famlia de problemas
elticos coercivos em determinado espaco de Hilbert W e aplicar a estes problemas elticos
o Lema de Lax-Milgram.
5.1 Notacoes e Hipoteses

Considere-se o espaco W definido por

W = L2 0, T ; H10 () ; L2 0, T ; L2 () and (x, T ) = 0 .
Observacao 1.1. Veja que na definicao do W, o calculo de (x, T ) = 0 faz sentido, pois

C0 0, T ; L2 () .
W com a estrutura Hilbertiana dada por
ZT ZT
2 2
kkW = k (t)k dt + | (t)|2 dt
0 0
e um espaco de Hilbert separavel.

Com o objetivo de motivar o conceito de solucao do problema parabolico (5.1) ,
multiplique-se (5.1)1 por W e integre-se em Q. Resulta
ZT ZT ZT

(5.2) ((u (t) , (t))) dt (u (t) , (t)) dt = hf (t) , (t)i dt + (u0, (0)) .
0 0 0
166 Regularizacao Eltica

Definicao 1.1. Dados u0 H10 () e f L2 0, T ; H1 () , a solucao do problema

(5.1) e uma funcao u L2 0, T ; H10 () satisfazendo (5.2) , para todo W, onde h.i
representa a dualidade H1 () H10 () .
Considere-se b (, ) a forma bilinear definida em W por
ZT ZT
b (u, ) = ((u (t) , (t))) dt (u (t) , (t)) dt
0 0
e L () a forma linear e contnua definida em W dada por

ZT
L () = hf (t) , (t)i dt + (u0, (0)) .
0
5.2 Existencia e Unicidade de Solucoes

Teorema 2.1. Dados u0 L2 () e f L2 0, T ; H1 () , existe uma unica funcao
u : Q R tal que

(5.3) u L2 0, T ; H10 ()
satisfazendo
(5.4) b (u, ) = L () , W.
Demonstracao: A ideia da demonstracao e aplicar o Lema de Lax-Milgram, porem ainda

nao pode-se aplica-lo, pois apesar da forma L () ser linear e contnua, a foma bilinear
b (, ) nao e coerciva em W. Para obter-se uma forma bilinear, contnua e coerciva em
W, pertuba-se b (, ) adequadamente. Dado > 0, define-se b (, ) da seguinte forma:
ZT
(5.5) b (u, ) = b (u, ) + (u (t) , (t)) dt, u, W.
0
Lema 2.1. A forma bilinear b (, ) definida por (5.5) e contnua e coerciva em W.

Demonstracao: Considere-se b (, ) definida por (5.5). Assim
ZT ZT ZT

|b (u, )| |((u (t) , (t)))| dt |(u (t) , (t))| dt + |(u (t) , (t))| dt.
0 0 0
Section 2 Existencia e Unicidade de Solucoes 167
Pela desigualdade de Cauchy-Schwartz, obtem-se
|b (u, )| C kukW kkW , > 0,
logo a continuidade.de b (, ). Para provar a coercividade, considere-se a forma quadra-

tica ZT
2
b (, ) = b (, ) + | (t)| dt
0
Tem-se
ZT ZT ZT
2 1
b (, ) = k (t)k dt
( (t) , (t)) dt = k (t)k2 dt + | (0)|2 ,
0 0 0 2
porque (T ) = 0.
Substituindo-se em b (, ) , obtem-se
b (, ) C () kkW , > 0.
Desta forma, b (, ) esta nas condicoes do Teorema de Lax-Milgram, logo, para cada
> 0, existe uma unica funcao u W tal que
(5.6) b (u, ) = L () , W.
Agora considere-se em (5.6) = u. Assim

ZT ZT ZT
2
ku (t)k dt (u (t) , u (t)) dt + |u (t)|2 dt =

(5.7) 0Z
T
0 0
= hf (t) , u (t)i dt + (u0, u (0)) .

0
Tem-se
ZT
1
(u (t) , u (t)) dt = |u (0)|2 .
0 2
ZT Z Z
1 T 2 1 T
hf (t) , u (t)i dt kf (t)kH1 () dt + ku (t)k2 dt.
0 2 0 2 0
1
|(u0, u (0))| |u0|2 + |u (0)|2 .
4
Substituindo-se em (5.7) , obtem-se

Z ZT
1 T 2 1
(5.8) ku (t)k dt + |u (t)| dt + |u (0)|2 C,
2
2 0 0 4
onde C independe de > 0. Segue de (5.8) que existe uma subsequencia de u, que ainda
denotada por u, tal que

(5.9) u u fraco em L2 0, T ; H10 ()
e

(5.10) u fraco em L2 0, T ; L2 () .
ZT
Lema 2.2. (u (t) , (t)) dt 0, quando 0, para todo W, isto e, = 0.
0
Demonstracao: Por (5.10) tem-se que
Z ZT
T
(u (t) , v (t)) dt ( (t) , v (t)) dt, v L2 (0, T ; H) .
0 0
Tomando-se v = , para qualquer W, resulta que

ZT Z

T
(u (t) , (t)) dt = (u (t) , (t)) dt
0 0
converge para zero quando 0. Assim, por (5.9) e (5.10), pode-se passar o limite em
(5.6) , quando 0, obtendo uma unica funcao u satisfazendo (5.3) e (5.4). Antes de
provar o dado inicial, obter-se-a mais informacoes sobre a solucao u de (5.4). Considere-se
em (5.4) = v W, onde H1 (0, T ) e v H10 () . Assim
ZT ZT ZT

(5.11) ((u (t) , v)) (t) dt (u (t) , v) (t) dt = hf (t) , vi (t) dt +(u0, v) (0) ,
0 0 0
para todo H1 (0, T ) e v V. Considerando-se, em particular, D (0, T ), segue de

(5.11) que ZT
d
((u (t) , v)) + (u (t) , v) hf (t) , vi (t) dt = 0,
0 dt
logo, pelo Lema de Du bois Raimond, tem-se que
d
((u (t) , v)) + (u (t) , v) = hf (t) , vi em D (0, T ) , v H10 ()
dt
Section 2 Existencia e Unicidade de Solucoes 169
e, portanto,

u u = f em D 0, T ; H1 () .

Comof L2 0, T ; H1 () e por (5.9) segue que

(5.12) u u = f em L2 0, T ; H1 () .
Por (5.12) obtem-se

u L2 0, T ; H1 () .
Portanto u C0 ([0, T ] ; H) . Dessa forma faz sentido o calculo de u (0) . Agora prova-se a
condicao inicial. Por (5.4) e usando integracao por partes, obtem-se
ZT ZT
((u (t) , (t))) dt + hu (t) , (t)i dt + (u (0) , (0)) =
(5.13) 0Z
T
0
= hf (t) , (t)i dt + (u0, (0)) , W.

0
Tomando a dualidade de (5.12) por W, tem-se

ZT ZT ZT

hu (t) , (t)i dt + hu (t) , (t)i dt = hf (t) , (t)i dt, W.
0 0 0
Donde, pela Formula de Green

ZT ZT ZT

(5.14) hu (t) , (t)i dt + ((u (t) , (t))) dt = hf (t) , (t)i dt, W.
0 0 0
Comparando (5.13) e (5.14), conclui-se que u (0) = u0. Para provar a unicidade e sufici-

ente mostrar que se u L2 0, T ; H10 () e tal que

u u = 0 em L2 0, T ; H1 () ,
(5.15)

u (0) = 0. em ,
entao u = 0. De fato, fazendo a dualidade H1 () H10 () de (5.15)1 com u, segue que

ZT ZT

hu (t) , u (t)i dt + hu (t) , u (t)i dt = 0,
0 0
ou seja,
ZT ZT
1 d
(5.16) |u (t)|2 dt + ku (t)k2 dt = 0.
2 0 dt 0
Usando (5.15)2 em (5.16) , obtem-se

ZT
1
|u (T )|2 + ku (t)k2 dt = 0
2 0
e, portanto, u = 0.
Observacao 2.1. Todos os resultados desta exposicao sao validos quando sao conside-
rados os espacos de Hilbert V e H sendo V H contnua e densa e A o operador definido
pelo terno {V, H; ((, ))V } .
[1] LIONS, J. L., Equations Differentielles Operationelles dans les Espaces de Hilbert,
CIME, Varena, 1963.
[3] LIONS, J. L. & MAGENES, E., Problemes aux Limites Non Homogenes et Applica-
tions, Dunod, Gauthier-Villars, Paris, vol. 1, 1968.
On an Evolution Problem on
Manifolds
F. D. Araruna M. A. F. Araujo
Departamento de Matematica-UFMA Departamento de Matematica-UFMA
DEMAT-UFMA - Marco de 2005

Sao Lus - MA
Introduction 175
Introduction
Let be a bounded open set of Rn (n 1) with smooth boundary . We Consider

{0, 1} a partition of , with 0 and 1 having positive Lebesgue measure and 0 1 = .
Let be the outward normal to and for T > 0 a real number, we consider the cylinder
Q = ]0, T [.
This work is dedicated to solve following nonlinear boundary value problem

u = 0 in Q,

u = 0 on 0 = 0 ]0, T [ ,
(6.1)
u
+ u + |u| u = f on 1 = 1 ]0, T [ ,

u (0) = u0 on ,
where the prime stands the derivative with respect to t, u/ represents the normal
derivative of u and is a positive real number satisfying appropriate conditions.
As the solution of system depends on x and t and the equation (6.1)1 does not have
temporal derivative of the function u, this system is not of Cauchy-Kovalevsky type.
This problem associated to evolution equation on lateral boundary was studied in [1]
and [2], both motivated by the idea applied in Lions ([3], pp. 134) , which consists to
reduce the problem (6.1) in a model of mathematical physics on the manifolds 1. In this
work we use the technical due to Lions ([3], pp. 471) , which transforms the system (6.1)
in a Cauchy-Kovalevsky type one by means of a suitable perturbations in the equation
(6.1)1 . The solution of (6.1) is obtained as limit of this perturbed problem.
The contents of this work are as follows: in the Section 6.1 we give some notations
and state assumptions. In Section 6.2 we obtain the solution of (6.1) as singular limit of
solution of the perturbed system.
176 On an Evolution Problem on Manifolds
6.1 Notations and Assumptions

Let the Hilbert space

V = v H1 () ; v = 0 on 0
be equipped with the inner product and norm given respectively by

n n
X u v 2
X u 2
((u, v)) = , , kuk =
xi xi xi ,
i=1 i=1
where (, ) and || are, respectively, the inner product and norm in L2 () .

Let us denote by (, )1 the inner product of L2 (1) and by ||q the norm of Lq (1) ,
1 q < .
In (6.1) we assume a real number such that
2
(6.2) > 0, if n = 1 or 0< , if n > 1.
n1
1
By the choice of , we have that the imbedding of H 2 (1) in L+2 (1) is continuous. Thus,
by trace theorem, the function 0 : V L+2 (1) is also continuous.
6.2 Singular Limit

This section is devoted to obtain the solution of the problem system (6.1) using a
method due to Lions [3]. As was said in the introduction, we firstly consider, for each
> 0, the perturbed system

u u = 0 in Q,

u = 0 on 0 ]0, T [ ,
(6.3)
u
+ u + |u| u = f on 1,

u (0) = w0 in ,
where w0 = 1
0 u0 V.
The existence and uniqueness of weak solution of (6.3) is guaranteed by the following
result:
Section 2 Singular Limit 177
1
Theorem 6.2.1. Let as in (6.2) , u0 H 2 (1) and f Lq (1), q = ( + 2) / ( + 1) .
Then, for each > 0, there exists a unique function u : Q R satisfying

(6.4) {u, u} L 0, T ; L2 () L2 (0, T ; V) Lq (0, T ; V ) ,
1

2 +2 q
(6.5) {u, u} L
0, T ; L (1) L (1) L 0, T ; H (1) ,
2
d d
(6.6) (u, v) + ((u, v)) + (u, v)1 + (|u| u, v)1 = (f, v)1 , v V
dt dt
and the initial condition
(6.7) u (, 0) = w0 on .
1
Remark 6.2.1. Note that, given u0 H 2 (1) , there exists w0 V, because the trace
1
application 0 : V H 2 (1) is surjective.
Once guaranteed the existence and uniqueness of weak solution of the problem (6.3) ,
we can consider the following relative result to the problem (6.1) :
Theorem 6.2.2. Under the conditions of Theorem 6.2.1, then, as 0, the solution u
of system (6.3) verifies
u u weakly in L2 (0, T ; V) ,
where u is the solution of the problem (6.1) .
Proof of Theorem 6.2.1. We employ the Faedo-Galerkins method. Indeed, let {w}N
be a Hilbertian basis of V and, for each m N, we consider Vm = [w1, w2, ..., wm] the
subspace of V generated by the first m vectors of {w}N . Let us find an approximate
P
solution um Vm of the type um (x, t) = mj=1 gjm (t) wj (x) , where gjm (t) are found
as solutions of the initial value problem for the system of ordinary differential equations

(um (t) , v) + ((um (t) , v)) + (um, v) + (|um| um, v) = (f (t) , v) ,
1 1 1
(6.8)

um (0) = w0m w0 strongly in V.
The system (6.8) has solution on an interval [0, tm[ , with tm < T. This solution can
be extended to the whole interval [0, T ] as a consequence of the a priori estimates that
shall be proved in the next step.
Estimates. Making v = um (t) in (6.8) , integrating from 0 to t tm and using the
Youngs inequality we obtain
Zt Z
2 2 1 2 1 t
|um (t)| ds + kum (s)k ds + |um (t)|2 + |um (s)|+2
+2 ds
2 0 2 q 0
Z
2 1 2 1 T
|w0m| + |0 (w0m)|2 + |f (s)|qq ds.
2 2 q 0
By the hypotheses about the data, we can assert
Zt Zt
1
(6.9) 2 2
|um (t)| ds + kum (s)k ds + |um (t)|2 + |um (s)|+2
2
+2 ds C0,
2 0 2 0
where C0 is a positive constant which is independent of t, and m. The estimates (6.9)

imply that we can prolong the approximate solution um (t) for all t in [0, T ] . In this way,
we conclude

(um) is bounded in L 0, T ; L2 () L2 (0, T ; V) ,

(um) is bounded in L 0, T ; L2 (1) L+2 (1) ,
(6.10)

(um (T )) is bounded in L2 () ,

(um (T )) is bounded in L2 (1) .
According to (6.10)3, we have
(6.11) (|um| um) is bounded in Lq (1) .
Note that using (6.8)1 we can observe that
h{um (t) , 0um (t)} , {0v, v}i = (f (t) |um| um, 0v)1 ((um (t) , v)) ,
h 1
i h 1 i
where h, i represents the duality between V H 2 (1) and H 2 (1) V . In this
way,

(6.12) k{um (t) , 0um (t)}k 1 C1 |f (t) |um| um|q + kum (t)k .
V H 2 (1 )
Therefore, according to hypothesis about f and (6.11) ,it follows by (6.12) that
1

(6.13) ({um (t) , 0um (t)}) is bounded in Lq 0, T ; V H 2 (1) .
Limit of approximate solutions. Thanks to (6.10) , (6.11) and (6.13) , there exists a
subsequence, still denoted by (um) , such that

um u weak in L 0, T ; L2 () ,

um u weakly in L2 (0, T ; V) ,

um u weak in L 0, T ; L2 (1) ,

um u weakly in Lq (0, T ; V ) ,
(6.14)
1
um u weakly in Lq 0, T ; H2 (1) ,

|um| um weakly in Lq (1) ,

um (T ) weakly in L2 () ,

um (T ) weakly in L2 (1) .
Using the convergences (6.14) in (6.8) we obtain
d d
(6.15) (u (t) , v) + ((u (t) , v)) + (u (t) , v)1 + (, v)1 = (f, v)1 , v V.
dt dt
By standard procedure, we show that u (, 0) = w0 and u (, T ) = , where = 1

0 .
It remains to prove that = |u| u. Since the function h (s) = |s| s is increasing
monotonic, we have
ZT ZT ZT

(6.16) (|um| um, um)1 dt (|um| um, v)1 dt (|v| v, um v)1 dt 0.
0 0 0
Putting v = um (t) in (6.8) and integrating from 0 to T, we get

ZT ZT ZT

(|um| um, um) dt = (f (t) , um)1 dt kum (t)k2 dt+
(6.17) 0 0 0
1 1
+ |w0m|2 |um (T )|2 + |0 (w0m)|22 |um (T )|22 .
2 2 2 2
Substituting (6.17) in (6.16) and according to convergences (6.8)2 , (6.14)2 (6.14)5,

we can apply lim inf in both of members to obtain
m
ZT ZT

0 (f (t) , u)1 dt ku (t)k2 dt + |w0|2 |u (T )|2 +
0 0 2 2
(6.18) ZT ZT
1 1
+ |u0|22 |u (T )|22 (, v)1 dt (|v| v, u v)1 dt.
2 2 0 0
Taking v = u in (6.15) and integrating in [0, T ] , we deduce

ZT ZT ZT
(, u)1 dt = (f (t) , u)1 dt ku (t)k2 dt+
0 0 0
1 1
+ |w0|2 |u (T )|2 + |u0|22 |u (T )|22 .
2 2 2 2
Substituting the last identity in (6.18) we conclude
ZT
(6.19) ( |v| v, u v)1 dt 0.
0
Making in (6.19) u v = w, > 0, we have

ZT
( |u w| (u w) , w)1 dt 0.
0
Passing to limit the last inequality, as 0, we obtain

ZT
( |u| u, w)1 dt 0.
0
Taking w in place of w, we get the inequality in inverse sense. In this way, we can
conclude that ZT
( |u| u, w)1 dt = 0, w L+2 (1)
0
and, therefore, = |u| u.

Uniqueness of solution. To obtain the uniqueness of solution we suppose the existence
of two solutions u and u
b in the conditions of Theorem 6.2.1. It follows that w = ub
u
satisfies

(6.20) w L 0, T ; L2 () L2 (0, T ; V) ,

(6.21) w L 0, T ; L2 (1) L+2 (1) ,
d d
(6.22) (w, v) + ((w, v)) + (w, v)1 + (|u| u |b
u| u
b , v)1 = 0, v V
dt dt
and the initial condition
(6.23) w (, 0) = 0 on .
Taking v = w (t) in (6.22) , integrating from 0 to t T and using the monotony of

the function h (s) = |s| s we get
Zt
1
|w (t)|2 + kw (s)k2 ds + |w (t)|22 0,
2 0 2
this is, w (t) = 0, t [0, T ] , which prove the uniqueness.
Now we can prove to the main result of this work.
Proof of Theorem 6.2.2. Making v = u (t) in (6.6) , we proceeded as before (see
(6.10) , (6.11) and (6.13)) to deduce that

(u) is bounded in L2 (0, T ; V) ,

u is bounded in L 0, T ; L2 () ,

(u) is bounded in L 0, T ; L2 (1) L+2 (1) ,
(6.24)

(u) is bounded in Lq (0, T ; V ) ,

1
(u) is bounded in Lq 0, T ; H2 (1) ,

(|u| u) is bounded in Lq (1) .
Hence, there exists a subsequence, still denoted by (u) , such that, as 0,

u u weakly in L2 (0, T ; V) ,

u 0 weak in L 0, T ; L2 () ,

u u weak in L 0, T ; L2 (1) ,
(6.25)

u u weakly in L+2 (1) ,

1
u u weakly in Lq 0, T ; H2 (1) ,

|u| u weakly in Lq (1) .
Similarly to proof of the Theorem 6.2.1, we can use monotony method to conclude
that = |u| u.
Using the convergences (6.25) in (6.6) we obtain the variational formulated of the
system (6.1)
d
((u, v)) + (u, v)1 + (|u| u, v)1 = (f, v)1 , v V.
dt
By (6.24)3 and (6.24)5, we can use the Aubin-Lions compactness lemma to extract a
1

subsequence of (0u) such that 0u 0u in C0 [0, T ] ; H2 (1) which combining
with (6.7) it follows the initial condition
u (, 0) = u0 on 1.
In this way, we have the solution of (6.1) as limit of the perturbed problem (6.3) .
[1] ARARUNA, F. D., ANTUNES, G. O. & MEDEIROS, L. A., Semilinear Wave Equa-
tion on Manifolds, Annales de la Faculte des Science de Toulouse, XI(1) , 2002, pp.
7-18.
[2] CAVALCANTI, M. M. and DOMINGOS CAVALCANTI, V. N., On Solvability of

Solutions of Degenerate Nonlinear Equations on Manifolds, Differential and Integral
Equation, 13(10-12), 2000, pp. 1445-1458.
[4] LIONS, J. L. & MAGENES, E., Problemes aux Limites Non Homogenes et Applicati-
ons, Dunod, Gauthier-Villars, Paris, vol. 1, 1968.

Topicosemedp PDF

Enviado por

Dados do documento

Título original

Direitos autorais

Formatos disponíveis

Compartilhar este documento

Compartilhar ou incorporar documento

Opções de compartilhamento

Você considera este documento útil?

Este conteúdo é inapropriado?

Direitos autorais:

Formatos disponíveis

Topicosemedp PDF

Enviado por

Direitos autorais:

Formatos disponíveis

Topicos

Equacoes Diferenciais Parciais

Luis Adauto Medeiros

IM-UFRJ - Abril de 2005

1. Equacoes diferenciais parciais. I. Universidade

Este livro e parte de um projeto de divulgacao das aulas ministradas na Pos-Graduacao

Vector Distributions and Applications 1

Analise Matematica do Sistema de Elasticidade 53

Equacao Hiperbolica com um Termo de Resistencia 85

Licoes sobre o Sistema de Navier-Stokes 99

Regularizacao Eltica 163

On an Evolution Problem on Manifolds 173

Luis Adauto Medeiros

IM-UFRJ - Julho de 1994

1.1 Vector Distributions

for 1 p < and

||u||L (0,T;X) = ess sup ||u(s)||X .

With this norm it follows that Lp(0, T ; X) is a Banach space.

Lemma 1. If u L1(0, T ; X) and

for all D(0, T ), then u(t) = 0 a.e. in ]0, T [.

As a consequence of the Lemma 1, it follows that u is unically defined by

for all D(0, T ).

Lemma 2. If u L1(0, T ; X) and

for all D(0, T ), then u is constant.

In fact, if 0 = 1 , integrating on [0, T ] we obtain (1.5). If we have (1.5), defining

belongs to D(0, T ) and ZT

It follows that there exists 1 D(0, T ) such that 1 = 0 . We have by hypothesis:

Taking = 1 , in (1.6), we obtain

hu, i hc, i for all D(0, T )

Lemma 3. Let X be a Banach space whose dual is represented by X . If u, g belong to

(i) u is a.e. equal to a primitive of g, i.e.,

(ii) For each D(0, T ), we have:

(iii) For each x X ,

Proof: (i) implies (ii).

Multiply by , D(0, T ), integrate on [0, T ]. We have:

(i) implies (iii).

Taking the derivative in the sense of the distributions on [0, T ], we get:

for all D(0, T ).

Integrating the right hand side by parts, we get:

(iii) implies (ii).

(ii) implies (i).

for all D(0, T ).

By Lemma 2, it follows that v is a constant , that is,

then u C0([0, T ]; Y).

Proof: In fact, u belongs to L1(0, T ; Y) because X Y is continuous. Then we have

(1.14) L (0, T ; X) Cs([0, T ].Y) = Cs([0, T ].X).

(1.15) u(t) X for all t [0, T ] and ku(t)kX < M.

(1.16) hu(tn), x i h, x i , for all x X .

By hypothesis u Cs([0, T ]; Y). Then, since tn t0 , we obtain:

(1.17) hu(tn), yi hu(t0), y i , for all y Y .

From X Y continuous and dense, it follows that Y X is continuous and dense. We

|hu(tn) u(t0), x i| |hu(tn) u(t0), y x i| + |hu(tn) u(t0), yi| .

Since u L (0, T ; X), we obtain:

(1.18) |hu(tn) u(t0), x i| 2 ku(t)kL (0,T;X) ky x k + |hu(tn) u(t0), yi| .

that is, (1.17) is true for all x X , which implies:

which means that:

(1.19) ku n(t)kX M on [0, T ].

Then, since X is reflexive, there exists a subsequence () N such that:

t 7 hu(t), yi , for all y Y

is continuous on [0, T ]. Then

hu(t), yi hu(t), yi in C0(R),

for all y Y . We obtain:

hu (t) u(t), yi = hu (t), yi hu(t), yi =