Controlabilidade Do Sistema N-Dimensional de Navier-Stokes Com N-1 Controles Escalares

UNIVERSIDADE FEDERAL
FLUMINENSE
Instituto de Matem
atica e Estatstica
Controlabilidade do sistema N-dimensional

de Navier-Stokes com N-1 controles
escalares
Dany Nina Huaman
Dissertacao submetida ao Corpo Docente

do Instituto de Matematica da Universidade
Federal Fluminense, como parte dos requisi-
tos necessarios para a obtencao do grau de
Mestre.
Orientador: Juan Bautista Lmaco Ferrel
Niteroi, 27 de Marco de 2015

Controlabilidade do sistema N-dimensional de
Navier-Stokes com N-1 controles escalares
Dissertacao submetida ao Corpo Docente do Instituto de Matematica e Estatstica da

Universidade Federal Fluminense, como parte dos requisitos necessarios para a
obtencao do grau de Mestre.
Area de concentracao: Matematica
Aprovada por:
Prof. Dr. Juan Bautista Lmaco Ferrel

(Orientador)
Prof. Dr. Aldo Amilcar Bazan Pacoricona

(Co-orientador)
Prof. Dr. Enrique Fernandez Cara
Prof. Dr. Adan Jose Corcho Fernandez
Prof. Dr. Haroldo Rodrigues Clark
Niteroi, 27 de marco de 2015

Ficha Catalogr
afica
Dany, N. H.
Controlabilidade do sistema de Navier-Stokes N-dimensional com N-1 controles escalares
Aluno: Dany Nina Huaman,
Niteroi, UFF/IME, 2015
i-iv, 93 paginas
Orientador: Juan Lmaco Ferrel
Dissertacao de Mestrado - UFF/IME/ Programa de Pos-graduacao em
Matematica,
Referencias Bibliograficas: f. 82-83.
1. Introducao.
2. Resultados Basicos.
3. Controlabilidade do sistema de Navier-Stokes N-dimensional com N controles escalares.
4. Controlabilidade do sistema de Navier-Stokes N-dimensional com N-1 controles escalares.
Dedicat
oria
Aos meus pais Doris e Maximo Nina,

ao meu irmao e ao meu tio Cesar.
i
Agradecimentos
Agradeco primeiramente a Deus pelo dom da vida e por ter me dado forcas para
concluir mais esta etapa de meus estudos.
Um agradecimento especial ao meu orientador, o professor Juan Lmaco Ferrel, pela

sua eficiente orientacao, paciencia, boa vontade, sabedoria, pelo exemplo de dedicacao a
profissao e por ter aceitado me orientar.
` coordenacao de Pos-Graduacao pelo apoio nos momentos difceis .

A
Aos amigos do mestrado da UFF que de alguma forma me ajudaram a nunca desistir.
Aos funcionarios da UFF pela atencao e convivencia amiga durante a realizacao do curso.
A minha familia pelo apoio incondicional e por terem sido a forca que faz ir em frente.
A minha amiga Jany Meirelles quem me ajudo a nao desistir.
A meus amigos: Reillon Santos, Genyle Nascimentos, Israel Diaz, Miguel Nu

nez, Ronald
Ramos.
Ao professor Orlando Moreno Vega quem sempre me ajudou.
Aos amigos da Universidad Nacional del Callao: Kupac, Yerson, Chacal, Ronald, John
Suarez, Edson Suarez, Paul, Lennin, etc.
` CAPES (Coordenacao de Aperfeicoamento de pessoal de Ensino Superior) pelo apoio

A
financeiro .
ii
Resumo
O objetivo principal desta dissertacao e estabelecer a controlabilidade local por trajetoria

com N-1 controles escalares do seguinte sistema N-dimensional de Navier-Stokes:
y + (y.)y + p = v1O , em (0, T )

t
div(y) = 0, em (0, T )
y = 0, sobre (0, T )
y(0) = y0 , em
Onde T > 0, N=2 ou N=3, e qualquer aberto de RN limitado, conexo e com fronteira
regular e O e um aberto que esta contido em .
Palavras-chave:
Sistema de Navier-Stokes; Controlabilidade local exata por trajetorias; Desigualdade de
Carleman; Teorema da funcao inversa
iii
Abstract
The main objective of this work is to establish the local controllability of trajectories
with N-1 scalar controls the following N-dimensional system of Navier-Stokes:
y + (y.)y + p = v1O , in (0, T )

t
div(y) = 0, in (0, T )
y = 0, on (0, T )
y(0) = y0 , in
Where T > 0, N=2 or N=3, any open RN , bounded, connected and regular boundary
and O is open and which is contained in
Keywords System of Navier-Stokes; Local controllability for trajectories; Carleman in-

equality; Inversa function theorem.
iv
Sum
ario
1 Preliminares 3
1.1 Topicos de Analise Funcional . . . . . . . . . . . . . . . . . . . . . . . . 3
1.1.1 Convergencia Fraca e Fraca Estrela . . . . . . . . . . . . . . . . . 3
1.1.2 Espacos Separaveis e Reflexivo . . . . . . . . . . . . . . . . . . . . 4
1.2 Teoria das Distribuicoes Escalares . . . . . . . . . . . . . . . . . . . . . . 5
p
1.3 Os Espacos L () . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
1.4 Espacos de Sobolev . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
1.4.1 Os Espacos W m,p () . . . . . . . . . . . . . . . . . . . . . . . . . 9
1.4.2 Os Espacos W0m,p () e W m,q () . . . . . . . . . . . . . . . . . . 10
p
1.5 Espacos L (0, T ; X) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
1.6 Distribuicoes Vetoriais . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15
1.7 Equacao de Navier-Stokes . . . . . . . . . . . . . . . . . . . . . . . . . . 15
1.8 Resultados Importantes . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23
2 Controlabilidade do sistema de Navier-Stokes N dimensional com N

controles escalares 25
2.1 Formulacao do problema . . . . . . . . . . . . . . . . . . . . . . . . . . . 26
2.2 Resultados e estrategias . . . . . . . . . . . . . . . . . . . . . . . . . . . 26
2.3 Metodo de Penalizacao . . . . . . . . . . . . . . . . . . . . . . . . . . . . 28
2.4 Desigualdade de Observabilidade . . . . . . . . . . . . . . . . . . . . . . 36
2.5 Controle e solucao de decrescimento exponencial . . . . . . . . . . . . . . 50
2.6 Problema Nao Linear . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 55
3 Controlabilidade do sistema de Navier-Stokes N-dimensional com N-1

controles escalares 65
3.1 Formulacao do problema . . . . . . . . . . . . . . . . . . . . . . . . . . . 65
v
3.2 Resultados . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 67
3.3 Desigualdade de Carleman . . . . . . . . . . . . . . . . . . . . . . . . . . 68
3.4 Controlabilidade Nula do Problema Linear . . . . . . . . . . . . . . . . . 71
3.5 Problema Nao Linear . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 78
vi
Introdu
c
ao
Consideremos o seguinte sistema de Navier-Stokes:
y

y + (y.)y + p = v1O , em (0, T )
t

(a) div(y) = 0, em (0, T )

y = 0, sobre (0, T )

y(0) = y0 , em

Onde o domnio e um aberto de RN (N=2 ou N=3), com fronteira = de classe

C 2 . Dado um subdomnio O o qual e um aberto e seja T > 0. Nos usaremos a
notacao Q = (0, T ), = (0, T ) e denotaremos por (x) o vetor normal fora de
no ponto x .
Em (a) a funcao y e a velocidade de um fluido viscoso incompressvel (viscosidade igual

a 1), p e a pressao, v e o controle atuando sobre o subdomnio O, y0 e o valor inicial e
1O e a funcao caracterstica de O.
Todas as derivadas sao no sentido das distribuicoes de Laurent-Schwartz e (y.)y deno-

tara a funcao vetorial a qual tem como componente a:
N N
X yj X yi
[(y.)y]i = yi + yj .
j=1
xj j=1
xj
O operador laplaciano y = (y1 , ..., yN ) onde
2 yi 2 yi
yi = + + , i = {1, ..., N }.
x21 x2N
p p
p e uma funcao real e p = ( , ..., ).
x1 xN
1
Neste trabalho o que se vai estudar e controlabilidade local exata por trajetorias do sis-
tema N-dimensional de Navier-Stokes (a) com N 1 controles escalares.
Dizemos que (a) e localmente exatamente controlavel por trajetorias se para (

y , p) uma
trajetoria ideal(incontrolavel) comecando com o valor inicial y0 e satisfazendo:
y

y + ( y +
y .) p = 0, em (0, T )
t

(b) div( y ) = 0, em (0, T )

y = 0, sobre (0, T )

y(0) = y0 , em

Existe > 0 tal que para qualquer y0 E e ky0 y0 kE se possa encontrar um

controle v1O L2 (Q)N tal que se satisfaz y(T ) = y(T ) em .
Seguindo as tecnicas de Enrique Fernandez Cara [6] e J.P.Puel [11] nos vamos a conseguir
a controlabilidade local exata por trajetorias do problema (a) com N-controles escalares
a qual vai ser desenvolvido no captulo 2, as ideias para conseguir este resultado sao as
seguintes:
Obter a desigualdade de Carleman e a desigualdade de Observabilidade do estado

adjunto do sistema linearizado de (a).
Estudar a controlabilidade local nula do sistema linearizado de (a) e obter um

controle com decaimento exponencial.
Obter a controlabilidade local exata por trajetoria de (a) a partir do teorema da

funcao inversa (Liusternik).
Finalmente fazendo uso das ideias obtidas em J. P. Puel em [11] assim como as ideias
do captulo 2 e fazendo uso das hipoteses e tecnicas de Enrique Fernandez Cara [5] no
capitulo 3 nos vamos obter a controlabilidade local exata por trajetorias de (a) com N-1
controles escalares.
2
Captulo 1
Preliminares
Neste captulo apresenta-se alguns resultados necessarios, para que o leitor possa ter uma
melhor compreensao dos conte
udos abordados no captulo seguinte.
1.1 T
opicos de An
alise Funcional
1.1.1 Converg
encia Fraca e Fraca Estrela
Definic
ao 1.1. (Converg
encia Fraca) Sejam E um espaco de Banach e (u )N uma
sequencia de E. Entao u * u se, e somente se, h, u i h, ui, para todo E 0 .
Definic
ao 1.2. (Converg
encia Fraca Estrela) Sejam E um espaco de Banach,

E 0 e ( )N uma sequencia de E 0 . Diz-se * fraca estrela se, e somente
se, h , ui h, ui, para todo u E.
Proposic
ao 1.3. Seja E um espaco de Banach e (xn )nN uma sequencia em E. Entao:
(i) Se xn * x em (E, E 0 ) entao hf, xn i hf, xi, f E 0 ;
(ii) Se xn x forte entao xn * x fracamente para (E, E 0 );
(iii) Se xn * x em (E, E 0 ) e se fn f fortemente em E 0 (isto e, kfn f kE 0 0)

entao hfn , xn i hf, xi.
Demonstra
cao: Brezis ([2], p. 35).
3
1.1.2 Espa
cos Separ
aveis e Reflexivo
Definic
ao 1.4. Diz-se que um espaco metrico E e separavel se existe um subconjunto
D E numeravel e denso.
ao 1.5. Seja E um espaco de Banach e seja J a injecao canonica de E em E 00 .

Definic
Diz-se que E e reflexivo se J(E) = E 00 .
Quando o espaco E e reflexivo identifica-se implicitamente E e E 00 (com ajuda do

isomorfismo J).
Teorema 1.6. (Banach-Alaoglu-Bourbaki). Sejam E um espaco de Banach e E 0 o

seu dual topologico. Entao o conjunto
BE 0 = {f E 0 ; kf k 1} e compacto na topologia fraca estrela
Demonstra
Teorema 1.7. Sejam E um espaco de Banach separavel e E 0 o seu dual topologico.

Entao o conjunto
BE 0 = {f E 0 ; kf k 1} e metrizavel na topologia fraca estrela.
Reciprocamente, se BE 0 e metrizavel na topologia fraca estrela, entao E e separavel.
Demonstra
cao: Brezis ([2], p.48).
O primeiro resultado (o corolario) e uma consequencia do Teorema 1.6 e Teorema 1.7.
Corol
ario 1.8. Sejam E um espaco Banach separavel e (fn )nN uma sequencia limitada
em E 0 . Entao existe uma subsequencia (fnk )kN de (fn )nN tal que converge na topologia
fraca estrela.
Demonstra
Teorema 1.9. Seja E um espaco de Banach reflexivo e suponhamos que a sequencia

(fk )kN E e limitada. Entao existe uma subsequencia (fkj )jN de (fk )kN e f E tal
que
fkj * f.
Demonstra
cao: Evans ([10], p. 639).
4
1.2 Teoria das Distribui
coes Escalares
ao 1.10. Sejam Rn um aberto limitado e : Rn R uma funcao
Definic
contnua. Denomina-se suporte de ao fecho em do conjunto dos pontos x tais que
(x) 6= 0. Simbolicamente,

supp () = {x ; (x) 6= 0} .
ao 1.11. Denota-se por C0 () o espaco vetorial das funcoes contnuas e infini-

Definic
tamente derivaveis em com suporte compacto em .
O espaco C0 () e de grande importancia para o nosso estudo, visto que estamos inter-
essados em estudar funcionais lineares contnuos definidos em C0 ().
Dado como acima, considere o espaco vetorial topologico C0 (). Diz-se que uma
sequencia ( )N de funcoes em C0 () converge para em C0 () quando forem
satisfeitas as seguintes condicoes:
i) Existe um conjunto compacto K tal que
supp () K e supp ( ) K, N
ii) D D uniformemente em K para todo multi-ndice .
O espaco vetorial C0 () munido da nocao de convergencia definida acima sera repre-

sentada por D () e denominado de espaco das funcoes testes.
Denomina-se distribuicao escalar sobre a toda forma linear T : D () R contnua
com respeito a topologia de D (). Isto significa que T satisfaz as seguintes condicoes:
i) T ( + ) = T () + T (), , D(), , R
ii) T e continua, isto e, se uma sequencia ( )N converge, em D () para , entao,
T ( ) T () em R.
O valor da distribuicao T na funcao teste sera representado por hT, i. Equipa-se o

espaco vetorial das distribuicoes escalares da seguinte nocao de convergencia:
Considera-se o espaco de todas as distribuicoes sobre . Neste espaco, diz-se que a
sequencia (T )N converge para T , quando a sucessao (hT , i)N converge para hT, i
em R para toda D().
5
O conjunto das distribuicoes escalares sobre e um espaco vetorial real, denotado por
D0 (), denominado espaco das distribuicoes escalares sobre . Com o intuito de estudar
os espacos de Sobolev, introduz-se o conceito de derivada distribucional para objetos
de D0 (). A motivacao no conceito de derivada fraca e posteriormente o conceito de
derivada distribucional dada por Sobolev, se deve a formula de integracao por partes de
Calculo, sendo este conceito generalizado para distribuicoes qualesquer em D0 ().
Dada uma distribuicao T em D0 () e dado um multi-ndice Nn define-se a derivada
distribucional de ordem de T como sendo D T : D () R a forma linear e contnua
dada por
hD T, i = (1)|| hT, D i , para todo D () .
Segue da definicao acima que cada distribuicao T sobre possui derivadas de todas as
ordens. Note-se que a aplicacao
(1.1) D : D0 () D0 ()
e linear e continua no sentido da convergencia definida em D0 (). Isto significa que
(1.2) lim Tv = T em D0 () entao lim D Tv = D T em D0 ()

v v
1.3 Os Espacos Lp()

Nesta secao, serao dadas algumas definicoes e propriedades elementares dos espacos
Lp ().
ao 1.12. Sejam Rn um subconjunto aberto e p R com 1 p < ; e

Definic
definido
Lp () = {f : R; f mensuravel e |f |p L1 ()}.
O espaco Lp () com 1 p < e um espaco de Banach equipado com a norma

hZ i1/p
kf kLp () = |f (x)|p dx .

ao 1.13. Seja Rn um subconjunto aberto; e definido

Definic
L () = {f : R; f mensuravel e Cconstante tal que |f (x)| C q.s em }.
O espaco L () e um espaco de Banach equipado com a norma
kf kL () = inf{C; |f (x)| C q.s em }.
6
Teorema 1.14. (Desigualdade de Holder). Sejam as funcoes f Lp (), g Lq () com
1 p e q o expoente conjugado de p; isto e p1 + 1q = 1. Entao f.g L1 () e
Z
|f g|dx kf kLp () kgkLq () .

Demonstra
Observac
ao 1.15. Temos que mencionar uma consequencia muito u
til da desigualdade
de Holder: sejam f1 , f2 , . . . , fk funcoes tais que
1 1 1 1
fi Lpi () para 1 i k com = + + + 1.
p p1 p2 pk
Entao o produto f = f1 f2 f3 . . . fk pertence a Lp () e
kf kLp () kf1 kLp1 () kf2 kLp2 () . . . kfk kLpk () .
Demonstra
Teorema 1.16. (Teorema da convergencia dominada, Lebesgue). Seja (fn )nN uma
sequencia de funcoes em L1 que satisfazem:
(a) fn (x) f (x) em q.t.p de ,
(b) existe uma funcao g L1 tal que, para todo n tem-se |fn (x)| g(x), em q.t.p de .
Entao f L1 () e kfn f kL1 0.
Demonstra
Teorema 1.17. Sejam (fn )nN uma sequencia de Lp e f Lp , tal que kfn f kLp 0.
Entao, existe uma subsequencia (fnk )kN de (fn )nN e uma funcao h Lp tal que
(a) fnk (x) f (x) em q.t.p de
(b) |fnk (x)| h(x) para todo k e em q.t.p de .
Demonstra
ao 1.18. Diz-se que uma funcao f : R e localmente integravel em , quando

Definic
f e integravel à Lebesgue em todo compacto K . O espaco das funcoes localmente
integraveis e denotado por L1loc (). Em smbolos tem-se
Z
1
f Lloc () |f |dx < , para todo compacto K .
K
As distribuicoes que aparecem com mais frequencia sao aquelas definidas a partir de
funcoes localmente integraveis.
7
Exemplo 1.19. Seja u L1loc () e definamos Tu : D() R por
Z
hTu , i = u(x)(x)dx

Nestas condicoes Tu e uma distribuicao escalar sobre .
De fato, nao e difcil mostrar a linearidade de Tu , pois segue da linearidade da integral.

Resta mostrar que Tu e continua.
Seja uma sequencia ( )N de funcoes testes sobre que converge em D() para uma
funcao teste , entao
Z

|hTu , i hTu , i| = |hTu , i| = u(x)( )(x)dx
Z
|u(x)( )(x)|dx
Z
sup | | |u(x)|dx 0,

pois, uniformemente.
A distribuicao Tu assim definida e dita gerada pela funcao localmente integravel u e,
usando o Lema de Du Bois Raymond, tem-se que Tu e univocamente determinada por
u, no seguinte sentido: Tu = Tv se, e somente se, u = v quase sempre em . Neste
sentido identificamos u com a distribuicao Tu e o espaco L1loc () das funcoes localmente
integraveis pode ser visto como parte do espaco das distribuicoes D0 ()
Lema 1.20. (Du Bois Raymond). Seja u L1loc (). Entao Tu = 0 se, e somente se,
u = 0 quase sempre em .
Demonstra
cao: Medeiros, L. A e Milla Miranda, M. ([15], p. 12).
ao 1.21. Outro resultado interessante e que a derivada de uma funcao L1loc (),
Observac
nao e em geral uma funcao de L1loc ().
Tal fato, motivara a definicao de uma classe significativa de espacos de Banach de funcoes
conhecidas sob a denominacao de Espacos de Sobolev.
1.4 Espacos de Sobolev

Como vimos na secao anterior, toda funcao u Lp () possui derivadas distribucionais
de todas as ordens. Entretanto, as derivadas de u nem sempre sao tambem funcoes em
Lp ().
8
1.4.1 cos W m,p ()
Os Espa
Chamaremos multi-ndice a toda n-upla = (1 , 2 , ..., n ) de n
umeros naturais. Dado
um multi-ndice , definimos a ordem || de por || = 1 +2 +...+n , e representamos
por D o operador derivacao
||
D = .
x1 1 ...xnn
ao 1.22. Sejam um aberto do Rn , 1 p e m N. O Espaco de Sobolev
Definic
que denotamos por W m,p (), e o espaco vetorial das (classes de) funcoes em Lp () cujas
derivadas distribucionais de ordem pertencem a Lp (), para todo multi-ndice com
|| m. Simbolicamente escrevemos:
W m,p () = {u Lp (); D u Lp () para todo tal que || m}.
O espaco W m,p () com 1 p < e um espaco de Banach equipado com a norma

X Z 1/p
kukW m,p () = |D u(x)|p dx ,
||m
tambem W m, () e um espaco de Banach com a norma

X
kukW m, () = sup ess |D u(x)|.
||m
No caso p = 2, o espaco W m,p () sera representado por H m () que e um Espaco de

Hilbert, cujo produto interno e a correspondente norma induzida em H m () sao dadas
por
X X Z 1/2

hu, viH m () = hD u, D viL2 () e kukH m () = |D u(x)|2 dx .
||m ||m
Agora vamos apresentar algumas desigualdades de Sobolev que nos ajudarao a alcancar
objetivo proposto.
ario 1.23. Supomos que e um conjunto aberto de Rn e de classe C 1 com

Corol
limitado, seja 1 p , entao tem-se
1 1
Se p < n W 1,p () , Lp (), onde p
= p
n1 ,
Se p = n W 1,p () , Lq (), para todo q [p, +),
Se p > n W 1,p () , L (),
9
e todas estas injecoes sao contnuas. Alem disso, se p > n tem-se para todo u W 1,p ()
|u(x) u(y)| CkukW 1,p |x y| q.s. x, y ,
onde = 1 (N/p) e C dependa apenas do , p e n. Em particular W 1,p () , C().
Demonstra
cao: Brezis ([3], p. 285).
Teorema 1.24 (RellichKondrachov). Suponha um subconjunto de Rn limitada e de

classe C 1 . Entao tem-se as seguintes injecoes compactas
Se p < n W 1,p () , Lq (), para todo q [1, p ) com 1

p
= 1
p
n1 ,
Se p = n W 1,p () , Lq (), para todo q [p, +),
Se p > n W 1,p () , C().
Em particular, W 1,p () , Lp () com injecao compacta para todo p ( e para todo n).
Demonstra
cao: Brezis ([3], p. 285).
ao 1.25. Note que D() e denso em H 1 (). Se u, v D(), vale a identidade

Observac
Z Z

(uv)dx = uvi d,
xi
sendo i = cos(xi , ), normal unitaria externa a . Portanto

Z Z Z
u v
vdx = u dx + uvi d,
xi xi
para todo par de funcoes u, v D(). Por densidade, estende-se este resultado para
funcoes u, v H 1 ().
Demonstra
cao: Medeiros, L. A e Milla Miranda, M. ([17], p. 126).
1.4.2 cos W0m,p () e W m,q ()

Os Espa
Observe que, embora o espaco vetorial das funcoes testes D() seja denso em Lp () para
1 p < , em geral ele nao e denso em W m,p (). Isto acontece porque a norma de
W m,p () e bem maior que a norma de Lp () e por isso que W m,p () possui menos
sequencias convergentes. Isto motivou a definicao dos espacos W0m,p ().
ao 1.26. Seja um subconjunto aberto de Rn , e definido

Definic
W m,p ()
W0m,p () = D() .
10
No caso p = 2, o espaco W0m,p () sera representado por H0m ().
Teorema 1.27. (Desigualdade de Poincare). Suponhamos e um subconjunto aberto e

limitado de Rn e 1 p < . Entao existe uma constante C (dependendo de e p) tal
que
kukLp () CkukLp () , para todo u W01,p ().
Demonstra
cao: Ver Brezis ([3], p. 290).
ao 1.28. Em particular a expressao kukLp () e uma norma no espaco W01,p (),

Observac
equivalente a norma kukW 1,p () ; em H01 () tem-se o produto interno
n Z
X u v
((u, v)) = dx,
i=1 x i x i
que induz a norma kukL2 () , equivalente a norma kukH 1 () .
Demonstra
cao: Brezis ([3], p. 290).
Os espacos W0m,p () e em particular os espacos H0m (), desempenham papel fundamen-

tal na Teoria dos Espacos de Sobolev e por conseguinte na Teoria das EDPs.
1
Se 1 p < e o n
umero q e o expoente conjugado de p, isto e p
+ 1q = 1, entao repre-
sentamos por W m,q () o dual topologico de W0m,p () e por H m
() o dual topologido
m
de H0m (). Em outras palavras, se f pertence a H () e uma funcional linear limitada
sobre H0m ().
ao 1.29. Se f H 1 () a norma e definida como sendo

Definic
kf kH 1 () = sup{hf, ui; para todo u H01 () com kukH01 () 1}.
Observac
ao 1.30. Em particular, as conclusoes do Corolario 1.23 e valido para o espaco
W01,p () com um subconjunto arbitrario aberto de Rn . Similarmente, a conclusao do
Teorema 1.24 e valido para W01,p () com um subconjunto arbitraria aberto e limitado
de Rn
Demonstra
cao: Brezis ([3], p. 290).
1.5 Espacos Lp (0, T ; X)

Estende-se as nocoes de mensurabilidade, integrabilidade, para funcoes
f : [0, T ] X,
onde T > 0 e X e um espaco de Banach real com a norma k.k
11
ao 1.31. (i) Uma funcao s : [0, T ] X e chamada simples se tem forma
Definic
m
X
s(t) = Ei (t)ui , (0 t T ),
i=1
onde cada Ei e um subconjunto Lebesgue mensuravel de [0, T ] e ui X, (i=1,2,...,m).

(ii) Uma funcao f : [0, T ] X e fortemente mensuravel se existem funcoes simples
sk : [0, T ] X tais que
sk (t) f (t); para q.s 0 t T.
(iii) Uma funcao f : [0, T ] X e fracamente mensuravel se, para cada u X a

aplicacao t 7 hu , f (t)i e Lebesgue mensuravel.
Pm
Definic
ao 1.32. (i) Se s(t) = i=1 Ei (t)ui e uma funcao simple, definimos
Z T m
X
s(t)dt = |Ei |ui .
0 i=1
(ii) Dizemos f : [0, T ] X e somavel se existe uma sequencia de {sk }

k=1 de fun
coes
simples, tal que Z T
ksk (t) f (t)kdt 0; quando k .
0
(iii) Se a funcao f e somavel, definimos

Z T Z T
f (t)dt = lim sk (t)dt.
0 k 0
ao 1.33. Denota-se por Lp (0, T ; X), com 1 p o espaco vetorial das

Definic
(classes de) funcoes u : (0, T ) X fortemente mensuraveis com valores em X e tais
que; se 1 p < a funcao t 7 ku (t)kpX e integravel à Lesbegue em (0, T ); e se p =
a funcao t 7 ku (t)kX L (0, T ).
O espaco Lp (0, T ; X) e um espaco completo com a norma definido por

Z T 1/p
kukLp (0,T ;X) = ku (t)kpX dt , se 1 p < .
0
Se p = norma acima e substituda por
kukL (0,T ;X) = sup ess ku (t)kX .

0<t<T
12
Apenas no caso em que p = 2 e X e um espaco de Hilbert, o espaco L2 (0, T ; X) e um
espaco de Hilbert, cujo produto interno e dado por
Z T
hv, uiL2 (0,T ;X) = hv (t) , u (t)iX dt.
0
Quando X e reflexivo e separavel e 1 < p < , entao Lp (0, T ; X) e um espaco reflexivo

0
e separavel, cujo dual topologico se identifica ao espaco de Banach Lp (0, T ; X 0 ), onde p
e p0 sao ndices conjugados, isto e, 1
p
+ p10 = 1. A dualidade entre esses espacos e dada na
forma integral por
Z T
hv, uiLp0 (0,T ;X 0 )Lp (0,T ;X) = hv (t) , u (t)iX 0 X dt.
0
No caso p = 1, o dual topologico do espaco L1 (0, T ; X) se identifica ao espaco L (0, T ; X 0 ).
Definic
ao 1.34. Denota-se por C ([0, T ] ; X), com T > 0 o espaco de Banach das funcoes
contnuas u : [0, T ] X munido da norma da convergencia uniforme
kukC([0,T ];X) = max ku (t)kX < .

0tT
Podemos citar algumas propriedades importantes do espaco Lp (0, T ; X) que serao u

teis
no desenvolvimento do trabalho.
ao 1.35. Consideremos o intervalo aberto I R e um espaco de Banach X.

Observac
(i) Se I e um intervalo limitada e p q, entao
qp
Lq (I, X) , Lp (I, X) e kf kLp (I,X) |I| pq kf kLq (I,X) .
(ii) Se Y e um espaco de Banach e se A : X Y um operador linear e contnua, entao

para todo f Lp (I, X) temos Af Lp (I, Y ) e
kAf kLp (I,Y ) kAkkf kLp (I,X) .
Em particular se X , Y e se f Lp (I, X), entao f Lp (I, Y ) (tomar A para ser a

imersao)
Demonstra
cao: Cazenave ([7], p. 17).
Teorema 1.36 (Aubin-Lions). Sejam B0 , B, B1 espacos de Banach, B0 e B1 reflexivos,

a imersao de B0 em B e compacta, B imerso continuamente em B1 , 1 < p0 , p1 < e
W o espaco
W = {u Lp0 (0, T ; B0 ) ; u0 Lp1 (0, T ; B1 )}
13
equipado da norma
kukW = kukLp0 (0,T ;B0 ) + ku0 kLp1 (0,T ;B1 ) .
Entao W e um espaco de Banach, e a imersao de W em Lp0 (0, T ; B) e compacta.
Demonstra
cao: Lions ([14], p. 58).
Observac
ao 1.37. Uma consequencia do Teorema de Aubin-Lions: se (u )N e uma
sequencia limitada em L2 (0, T ; B0 ) e (u0 )N e uma sequencia limitada em L2 (0, T ; B1 )
entao (u )N e limitada em W . Da, segue-se que existe uma subsequencia (uk )kN de
(u )N tal que uk u forte em L2 (0, T ; B) .
Lema 1.38. Sejam Q um subconjunto aberto limitado de Rnx Rt , gm e g funcoes de

Lq (Q) com 1 < q < , satisfazendo
|gm |Lq (Q) C e gm g, em q.t.p de Q.
Entao
gm * g, em Lq (Q)
Demonstra
cao: Lions ([14], p. 12).
Lema 1.39. Sejam V, H, V 0 tres espacos de Hilbert, sendo V 0 o dual de V . Se uma

funcao u pertence ao espaco L2 (0, T ; V ) e seu derivada u0 pertence ao espaco L2 (0, T ; V 0 ),
entao u e quase sempre igual a uma funcao contnua de [0, T ] em H, e temos a seguinte
igualdade no sentido de distribuicao escalar em (0, T )
d
| u |2 = 2hu0 , ui.
dt
A igualdade acima faz sentido desde que as funcoes
t 7| u(t) |2 e t 7 hu0 (t), u(t)i
sao ambos integravel em [0, T ].
Demonstra
cao: Temam ([19], p. 261).
Lema 1.40. Sejam X um espaco de Banach, f Lp (0, T ; X) e f 0 Lp (0, T ; X) com

1 p , entao
f C([0, T ]; X).
(Possivelmente redefinidas sobre um conjunto de medida nula.)
Demonstra
cao: Lions ([14], p. 7).
14
1.6 Distribuico
es Vetoriais
umero real T > 0 e X um espaco de Banach real com a norma k.k
Seja um n
Definic
ao 1.41. Uma distribuicao vetorial sobre (0, T ) com valores em X, e uma funcao
f : D (0, T ) X linear e contnua. O conjunto dessas transformacoes lineares e chamado
Espaco das Distribuicoes Vetoriais sobre (0, T ) com valores em X e e denotado por
D0 (0, T ; X) = L(D (0, T ) ; X).
ao 1.42. Seja f D0 (0, T ; X). A derivada de ordem n e definida como sendo a

Definic
distribuicao vetorial sobre (0, T ) com valores em X dada por
n
dn

d f n
, = (1) f, n , D (0, T ) .
dtn dt
ao 1.43. Se a funcao f pertence ao espaco Lp (0, T ; X) com 1 p , entao

Observac
define uma distribuicao que denotamos pela mesma funcao f e e dada por
Z T
f () = f (t)(t)dt, para todo D (0, T ) ,
0
com valores integrales em X.
Demonstra
cao: Lions ([14], p. 7).
1.7 Equac
ao de Navier-Stokes
ao 1.44. Seja aberto e limitado em RN com fronteira de classe C 1 e N = 2 ou
Definic
N =3
= { [D()]N , div() = 0}
N
H = { [L2 ()] ; div() = 0, = 0}
N
V = { [H01 ()] ; div() = 0}
Teorema 1.45. Seja aberto e limitado em RN com fronteira de classe C 1 e N = 2 ou

N = 3. Entao.
kkL2 = H
kkH 1
0 =V
15
Demonstra
cao: Temam ([19], p. 15).
ao 1.46. Seja u e v RN , nos vamos a definir

Definic

u1 v1 u1 v2 u1 vN
. .. .. ..
uv = . .
. . .

uN v1 uN v2 uN vN
Consideremos o seguinte problema de evolucao de Stokes para (u, p)
u

u = f p, em (0, T )

t
em (0, T )

(1.3) div(u) = 0,

u = 0, sobre (0, T )

u(0) = u0 , em

Donde e um aberto limitado de RN de classe C 1 com N = 2 ou N = 3, T > 0 e = .

Multiplicando a primeira equacao de 1.3 por V tem-se:

d (u(t), w) + (u(t), w) = hf (t), wi , em (0, T ) para todo V
H
(1.4) dt
u(0) = u , em
0
Teorema 1.47. Se u0 H e f L2 (0, T, H 1 ()N ). Entao existe uma u nica solucao

u
u C(0, T, H) L2 (0, T, V ) com L2 (0, T, V 0 ) de 1.4 mais ainda existe p
t
D0 (0, T, L2 ()) (De fato p H 1 (0, T, L2 ())) tal que (u, p) satisfaz 1.3
Demonstra
cao: Temam ([19], p. 254).
Teorema 1.48. Se u0 V e f L2 (0, T, H), entao a solucao u de 1.3 satisfaz u

u
C(0, T, V ) L2 (0, T, H 2 ()N ), L2 (0, T, H) e p L2 (0, T, H 1 ())
t
Demonstra
cao: Temam ([19], p. 268).
Consideremos o seguinte problema para (y, q)
y

y + .(y y + y y) + q = .g + v1 em (0, T )
t

(1.5) div(y) = 0 em (0, T )

y=0 sobre (0, T )

y(0) = y0 em

16
Onde e um aberto limitado de RN de classe C 1 com N = 2 ou N = 3, e um
aberto e Q = (0, T ), para T > 0 fixo.
2
Lema 1.49. Seja y L (Q)N , g L2 (Q)N , y0 H e v L2 (Q )N , entao existe uma
solucao de 1.5 tal que y C([0, T ] , H) L2 (0, T, V )
Demonstra
cao: Para y L2 (0, T, V ), denotemos por f0 = .g+v1 .(
y y
y + y)
vamos provar que f0 L2 (0, T, H 1 ()N ), vejamos primeiro o seguinte:
Z T
y k2L2 (Q)N
ke = y k2L2 ()N dt
k
0
Da equivalencia das normas k.kH 1 ()N e k.kV , se tem

Z T
y k2L2 (Q)N
k y (t)k2V dt
k
0
y (t)k2L2 (0,T,V )
c2 k
<
2 2
por tanto y L2 (Q)N e como y L (Q)N implica que y y L2 (Q)N e y y L2 (Q)N
agora vamos a chamar por fij = (
2
y y + y y)ij o qual pertence a L2 (Q)N .
N X N
D

E X wi N
f (t), w = (fij (t), )L2 () para todo w [H01 ()] assim f(t) e linear,
j=1 i=1
xj
agora vamos provar que e continua.
N X
N
D E X wi

f (t), w

fij (t)

L2 () xj L2 ()

i=1 j=1
D E
f(t), w c kwk[H 1 ()]N

0
D E

f (t), w c kwk[H 1 ()]N

0
N
e assim temos que .f(t) [H 1 ()] , tambem se tem que:
17
Z T E2 Z T
2
D

.f (t), w dt

c kwk2H 1 () f (t)
0 0
0 L2 ()
Z T N X
X N Z T 2

c kwk2H 1 () N ij dxdt
f (t)

[ 0 ] 0 0
i=1 j=1

c kwk2H 1 () N f
[ 0 ] [L2 ()]N
<
Por tanto .f L2 (0, T, H 1 ()N ) isto nos leva a que .(
y y ) L2 (0, T, H 1 ()N ),
y
y +
como .g L2 (0, T, H 1 ()N ) e v1w L2 (0, T, H 1 ()N ) nos vamos ter que f0
L2 (0, T, H 1 ()N )
Agora consideremos o seguinte problema:
y

y = f0 p em (0, T )
t

(1.6) div(y) = 0 em (0, T )

y=0 sobre (0, T )

y(0) = y0 em

Pelo teorema 1.47 existe uma u nica solucao y de 1.6 com y C(0, T, H) L2 (0, T, V )
y
e L2 (0, T, V 0 ), isto nos dize que para cada y L2 (0, T, V ) existe solucao de 1.5 a
t
qual vamos chamar LT ( y ) = y. Vamos a definir a seguinte funcao:
LT : C([0, T ] , H) L2 (0, T, V ) C([0, T ] , H) L2 (0, T, V )
y LT (
y) = y
Esta bem definido e agora nos vamos provar que e uma contracao para T muito pequeno.
Sejam y1 e y2 C([0, T ] , H) L2 (0, T, V ) e denotemos por y1 = LT (
z1 ) e LT (y2 ) =
y2 e como eles sao solucoes fracas de 1.6 respetivamente quando y e igual a y1 e y2
respetivamente nos vamos ter que y1 e y2 cumprem as seguintes equacoes:
d
(y1 (t), w) + a(y1 (t), w) = f01 , w para todo w V

(1.7)
dt
d
(y2 (t), w) + a(y2 (t), w) = f02 , w para todo w V

(1.8)
dt
18
restando 1.7 e 1.8 nos vamos ter:
d
(y1 y2 (t), w) + a(y1 y2 (t), w) = f02 , w para todo w V

dt
Fazendo w = (y1 y2 )(t) V e como f01 f02 = (
y (
y1 y2 ) + (
y1 y2 ) y)
temos que
d
k(y1 y2 )(s)k2L2 ()N + a ((y1 y2 )(s), (y1 y2 )(s)) =
dt
= h. (
y (
y1 y2 ) + (
y1 + y2 ) y) , y1 y2 i
d
k(y1 y2 )(s)k2L2 ()N + k(y1 y2 )(s)k2V =
dt
y (
( y1 y2 ) + (
y1 y2 ) y, (y1 y2 ))L2 ()N 2
integrando de 0 ate T
Z t
k(y1 y2 )(t)k2L2 ()N + k(y1 y2 )(s)k2V ds
0
Z t
y (
( y1 y2 ) + (
y1 y2 ) y, .(y1 y2 ))L2 ()N 2 =
0
Z t Z t
= y (
( y1 y2 ), .(y1 y2 )) ds + y1 y2 ) y, .(y1 y2 )) ds
((
0 0
pela desigualdade de Cauchy-Schwartz

Z t Z t
k
y (
y1 y2 )kL2 k.(y1 y2 )kL2 ds + k(
y1 y2 ) ykL2 k.(y1 y2 )kL2
0 0
Z t
2 k
y (
y1 y2 )kL2 k.(y1 y2 )kL2 ds
0
Z t Z t
k(y1 y2 )(t)k2L2 ()N + ky1 y2 k2V ds 2 k y1 y2 )kL2 ()N 2 ky1 y2 kV ds
y (
0 0
Z t Z t
1
2 k
y (
y1 y2 )k2L2 ds + ky1 y2 k2V ds
0 2 0
19
passando a restar o segundo somando da parte direita da desigualdade
Z t Z t
1
k(y1 y2 )(t)k2L2 () + ky1 y2 k2V ds 2 k y1 y2 )k2L2 ds
y (
2 0 0
obtemos
Z T
(1.9) ky1 y2 kC(0,T,H) 4 k y1 y2 )k2L2 ds
y (
0
Z T Z T
(1.10) ky1 y2 k2V ds 4 k y1 y2 )k2L2 ds
y (
0 0
Agora vamos limitar o termino que aparece nas desigualdades 1.9 e 1.10
| y1 y2 )j | k
yi ( y kL (Q)N 2 |
y1 y2 |j para j = 1, 2, ..., N
de este fato vamos ter

N Z
X
k
y (
y1 y2 )k2L2 ()N = yi |2 |(
| y1 y2 )j |2 dx
i,j=1
N Z
!
X
y k2L (Q)N
c k |(
y1 y2 )j | dx2
i,j=1
c k y1 y2 k2L2 ()N
y kL (Q)N k
somando 1.9 e 1.10 para depois sustituir a desigualdade

Z T de acima nos vai dar
ky1 y2 k2C(0,T,H)L2 (0,T,V ) c k
y k2L (Q)N y1 y2 k2L2 ()N ds
k
0
Z T
y k2L (Q)N
c k y1 y2 k2C(0,T,H) ds
k
0
y k2L (Q)N k
cT k y1 y2 k2C(0,T,H)
y k2L (Q)N k
cT k y1 y2 k2C(0,T,H)L2 (0,T,V )

(1.11) kLT (
y1 ) LT (
y2 )kC(0,T,H)L2 (0,T,V ) c T k
y kL (Q)N k
y1 y2 kC(0,T,H)L2 (0,T,V )
20
Tomando em 1.11 T = T0 muito pequeno temos que LT0 e uma contracao e pelo teo-
nico y C(0, T, H) L2 (0, T, V ) tal que
rema do ponto fixo de Banach vai existir um u
LT0 (
y) = y
Chamaremos por y 1 a solucao de :
y

y + .(y y + y y) + p = .g + v1 em (0, T0 )
t

(P1 ) div(y) = 0 em (0, T0 )

y=0 sobre (0, T0 )

y(0) = y0 em

y 1
onde y 1 C(0, T0 , H) L2 (0, T0 , V ) e L2 (0, T, V 0 ), desta maneira como se con-
t
seguiu solucao do problema (P1 ) se vai conseguir a existencia de solucao do problema:
y

y + .(y y + y y) + p = .g + v1 em (T0 , 2T0 )
t

(P2 ) div(y) = 0 em (T0 , 2T0 )

y=0 sobre (T0 , 2T0 )

y(0) = y0 em

e a solucao do problema P2 chamaremos por yb2 C(T0 , 2T0 , H) L2 (T0 , 2T0 , V ) a qual
by2
cumpre que L2 (T0 , 2T0 , V 0 ) e agora definamos y 2
t

1
y (x, t); (x, t) [0, T0 ]

y 2 (x, t) =

yb2 (x, t); (x, t) [T , 2T ]

0 0
y 2
e se pode ver que y 2 C(0, 2T0 , H) L2 (0, 2T0 , V ) com L2 (0, 2T0 , V 0 ) e y e a
t
u
nica solucao de 1.5 para T = 2T0 , entao o que nos vamos fazer e utilizar o principio de
inducao matematica para provar que existe uma u
nica solucao de 1.5 para T = nT0 para
qualquer n numero natural.
nica solucao y n de 1.5 para T = nT0 , entao consideremos

Suponhamos que existe uma u
o seguinte problema:
21

y

y + .(y y + y y) + p = .g + v1 em (nT0 , (n + 1)T0 )
t

div(y) = 0

em (nT0 , (n + 1)T0 )
(Pn+1 )

y=0 sobre (nT0 , (n + 1)T0 )

y(0) = y
0 em
Da mesma como se provo que P1 tem uma u

nica solucao se consegue obter uma u
nica
solucao de Pn+1 a qual vamos chamar por ybn+1 C(nT0 , (n + 1)T0 , H) L2 (nT0 , (n +
y n+1
b
1)T0 , V ) e L2 (nT0 , (n + 1)T0 , V 0 ) e vamos a definir y n+1
t

y n (x, t); (x, t) [0, nT0 ]
y n+1 (x, t) =

ybn+1 (x, t); (x, t) [nT , (n + 1)T ]

0 0
o qual e solucao de 1.5 quando T = (n + 1)T0 e por tanto pelo principio de inducao
temos que para todo n N o problema 1.5 quando T = nT0 tem uma u nica solucao
n
y
y n C(0, nT0 , H) L2 (0, nT0 , V ) e L2 (0, nT0 , V 0 )
t
Agora tomemos Te > 0 como os n umeros naturais nao sao limitados existe n0 N tal
que n0 T0 > Te, entao pelo que se provo acima se sabe que existe uma u nica solucao y n0
solucao de 1.5 com T = nT0 devido a isto fazendo y = y n0 |[0,T ] vamos ter que y e a
nica solucao de 1.5 com T = Te qualquer e que cumpre com z C(0, T, H) L2 (0, T, V )
u
y
e L2 (0, T, V 0 )
t
Lema 1.50. Seja k L4/3 (0, T, L12/11 ()N ). Entao existe uma u
nica solucao (z, q) para
o sistema de Stokes.
z

z + q = k, em (0, T )
t

div(z) = 0, em (0, T )

z = 0, sobre (0, T )

z(T ) = 0, em

com z C(0, T, L4/3 ()N ) L2 (0, T, W 1,6/5 ()N )
Demonstra
cao: E. Fernandez. Cara (Ver [6], p. 1538 )
22
1.8 Resultados Importantes
Nesta secao, apresentamos alguns resultados importantes que serao utilizados na obtencao
dos objetivos desejados.
Teorema 1.51. Seja aberto de RN e w , entao existe 0 C 2 () tal que 0 = 0

sobre , 0 (x) > 0 em e | 0 | > 0 em \ w.
Demonstra
cao: Fursikov ([13], p. 4).
Definic
ao 1.52. Seja X subconjunto de um espaco de Banach E se dize que X e convexo
se e somente se para todo t [0, 1] se tem que tx + (1 t)y X para todo x, y X
Definic
ao 1.53. Seja X un subconjunto convexo de um espaco de Banach E e uma
funcao f : X R, se dize que:
1. f e convexa se e somente se f (tx + (1 t)y) tf (x) + (1 t)f (y) para todo x, y X

e t [0, 1].
2. f e estritamente convexa se e somente f (tx + (1 t)y) < tf (x) + (1 t)f (y) para
todo x, y X e t (0, 1).
Teorema 1.54. Seja Uad um subconjunto convexo e fechado de um espaco de Hilbert

U e J : Uad R uma funcao estritamente convexa, diferenciavel e que cumpre que
lim J(v) = + para todo v Uad . Entao existe um u
nico u Uad satisfazendo:
kvk+
J(u) = inf J(v)

vUad
e caracterizado por
hJ 0 (u), v ui 0 v Uad
Demonstra
cao: Lions ([8], p. 10).
Teorema 1.55. (Teorema de completacao) Para qualquer espaco com produto interno
X existe um espaco de Hilbert H e um isomorfismo A : X W H denso. O espaco
H e u
nico excepto por isomorfismos.
Demonstra
cao: Kreyszig ([4], p. 139).
23
Teorema 1.56. (Lax-Milgram) Seja H um espaco de Hilbert e B : H H R uma
forma bilinear, para o qual existem constantes , > 0 tais que:
|B(u, v)| kuk kvk (u, v H)
kuk2 B(u, u) (u H)
Finalmente dado f : H R um funcional linear limitado em H. Entao existe um

nico u H tal que
u
B(u, v) = hf, vi para todo v H
Demonstra
cao: Evans ([10], p. 297).
24
Captulo 2
Controlabilidade do sistema de
Navier-Stokes N dimensional com N
controles escalares
Neste capitulo, apresentaremos um resultado sobre a controlabilidade local exata por

trajetorias para um sistema do tipo Navier-Stokes. Em um primeiro passo, fazendo uso
do metodo de penalizacao e assumindo a desigualdade de Observabilidade para o sis-
tema adjunto associado o problema linear do sistema de Navier-Stokes vamos conseguir
a controlabilidade nula do problema linear de Navier-Stokes. Num segundo passo vamos
demonstrar uma desigualdade do tipo Carleman o sistema adjunto do problema linear
de Navier-Stokes e como consequencia disto ultimo se vai conseguir a desigualdade de
Observabilidade. Em um terceiro passo mostraremos a controlabilidade nula do pro-
blema linear de Navier-Stokes e conseguiremos que a solucao do problema linear seja
exponencialmente decrescente quando t T . Ao final, gracas a um teorema da funcao
inversa provaremos que o sistema de Navier-Stokes e localmente exatamente controlavel
por trajetorias.
25
2.1 Formulac
ao do problema
Consideremos o seguinte problema:
y

y + (y.)y + p = v1 em (0, T )
t

(2.1) div(y) = 0 em (0, T )

y=0 sobre (0, T )

y(0) = y0 em

Donde T > 0, N = 2 ou N = 3 e RN e um aberto, limitado e conexo com fronteira

= regular. w e um conjunto aberto.
y = velocidade de um fluido de viscosidade incompressvel
p = pressao
y0 = valor inicial de velocidade do fluido
v = controle atuando no subconjunto
Nos vamos chamar por Q = (0, T ) e Q = (0, T ).
Seja (
y , p) uma trajetoria com dato inicial y0 , isto e uma solucao do problema:
y

y + ( y +
y .) p=0 em (0, T )

t
em (0, T )

(2.2) div( y) = 0

y = 0 sobre (0, T )

y(0) = y0 em

Esta trajetoria e a ideal (sem controle), o que nos queremos e obter a controlabilidade
local exata por trajetorias de (2.1)
Definic
ao 2.1. Nos dizemos que (2.1) e localmente exatamente controlavel por tra-
jetorias, se para (
y , p) uma trajetoria a qual e solucao de (2.2) existe > 0 tal que
se y0 E e ky0 y0 kE entao podemos achar um controle v tal que a solucao de (2.1)
satisfaz y(T ) = y(T ) em .
O espaco E vai ser definido depois.
2.2 Resultados e estrategias

Como nos queremos achar a controlabilidade local de (2.1) o seguinte teorema nos vai a
dar isso.
26
Teorema 2.2. Assumindo que e um subconjunto aberto nao vazio de e que T > 0,
suponhamos que y L2 (0, T, V )[L (Q)]N . Entao existe > 0 tal que se ky0 y0 k[L4 ()]N
N
, existe um controle v [L2 (Q )] e uma solucao y de (2.1) tal que y(T ) = y(T ).
Para provar o teorema 2.2 de acima nos precisamos fazer alguns passos.
Fazendo z = y y, q = p p e z0 = y0 y0 assim temos:
z y y
(2.3) = .
t t t
(2.4) q = p
p.
(2.5) z = y
y.
N
X w
Como (w.)w = wi e como
i=1
xi

i u1 v1 u1 v2 u1 vN
... .. ..
h
.(u v) = ..
x1 x2
xN . . .

uN v1 uN v2 uN vN
N N
" #
X X
= (uj v1 ) (uj vN )
j=1
xj j=1
xj
N
X
[(u v)]i = (uj vi )
j=1
xj
N N
X uj X vj
= vi + uj
j=1
xj j=1
xj
= (div(u)v)i + (u.v)i
(u v) = ((u.)v) + (div(u))v .
ltima igualdade como div(u) = 0 temos que (u v) = ((u.)v), entao

Desta u
.(y y) = .((z + y) (z + y)) = . (z z + z y + y z + y y)
= .(z z) + (z y) + (
y z) + (
y y)
.(y y) .(
y y) = .(z z) + .(z y) + .(
y y)
(2.6) (y.)y (
y .)
y = (z.)z + (z.)
y + (
y .)z.
27
Substituindo (2.6) junto com z em (2.1) vamos ter o seguinte:
z

z + .(z y + y z) + (z.)z + q = v1 em (0, T )
t

(2.7) div(z) = 0 em (0, T )

z=0 sobre (0, T )

z(0) = z0 em

Definic
ao 2.3. Nos dizemos que (2.7) e localmente nulo controlavel se existe > 0 tal
que se y0 E e ky0 kE < vai implicar que existe v L2 (Q )N tal que a solucao y de
(2.7) satisfaz
y(T ) = 0 em .
Entao estudar a controlabilidade local exata por trajetorias de (2.1) equivale a estudar
a controlabilidade local nula de (2.7).
Nos vamos estudar o problema de controle linearizado de (2.7) e seguiremos trabalhando
2
com a variavel y, para g = (gij ) L2 (Q)N e y0 H considere para todo v L2 (Q )N ,
consideremos o problema linearizado de (2.7) com uma forca externa .g
y

y + .(y y + y y) + q = .g + v1 em (0, T )
t

(2.8) div(y) = 0 em (0, T )

y=0 sobre (0, T )

y(0) = y0 em

2.3 M
etodo de Penaliza
c
ao
Novamente vamos estudar o problema linearizado de (2.7) com .g o qual e uma forca
externa.
y

y + .(y y + y y) + q = .g + v1 em (0, T )

t
em (0, T )

(2.9) div(y) = 0

y=0 sobre (0, T )

y(0) = y0 em

Assumindo que y [L (Q )]N , g [L2 (Q)]N ,

2
28
y0 H nos queremos provar que existe um controle v [L2 (Q )]N tal que seu solucao y
de (2.9) satisfaz que y(T ) = 0
N
Para v [L2 (Q )] e para > 0 definamos:
Z
1 1
J (v) = kyv (T )k2H + |v|2 dxdt.
2 2 Q
Onde yv e a solucao do sistema (2.9) com dado v.
Afirmac
ao 1: J e diferenciavel.
1 1
Com efeito como J (v) = b1 (yv (T ), yv (T )) + b2 (v, v) para que J seja diferenciavel so
2 2
precisamos provar que as formas bilineares b1 e b2 sao continuas com efeito se prova que
existe c > 0 tal que |b1 (
v1 , v2 )| c k
v1 kH k
v2 kH e |b2 (v1 , v2 )| kv1 kL2 (Q )N kv2 kL2 (Q )N ,
por tanto J e diferenciavel.
Afirmac
ao 2 : J e estritamente convexo.
Para (0, 1) temos: Z

1 yv+(1)w (T ) 2 + 1 kv + (1 )wk2 dxdt

J (v + (1 )w) = H
2 2 Q
1
( kyv (T )kH + (1 ) kyw (T )kH )2 +
2
1 2
+ kvkL2 (Q ) + (1 ) kwkL2 (Q ) .
2
Como para t R a funcao t t2 e estritamente convexa temos na desigualdade de
acima que:
1 2 2 2 1 2 2

J (v + (1 )w) < kyv (T )kH + (1 ) kyw (T )kH + kvkL2 (Q ) + (1 ) kwkL2 (Q )
2 2
1 1 1 1
= kyv k2H + kvk2L2 (Q ) + kyw k2H + kwk2L2 (Q )
2 2 2 2
= J + (1 )J (w).
Portanto J e estritamente convexo.
29
Afirmac
ao 3: J e coerciva.
1
Com efeito pois como kvk2L2 (Q ) J (v) vamos ter que lim J (v) = +.
2 kvk
N
Das afirmacoes 1,2 e 3 vamos ter pelo teorema 1.54 que existe um u nico v [L2 (Q )]
tal que
J (v ) = inf J (v)
vL2 (Q )N
N
e alem disso v satisfaz hJ0 (v ), wi = 0 para todo w [L2 (Q )] .
Agora vamos achar a que e igual hJ0 (v), wi, em J (v) nos podemos expressar a yv como
y(T ) + L(v)(T
e ), onde y e solucao de:

y

y + (
y .)
y + ( y + q = g, em (0, T )
y .)
t

div(

y ) = 0, em (0, T )
(2.10)

y = 0, sobre (0, T )

y(0) = y ,
0 em
onde L(v)
e = yev e a solucao de:

e
y

e y + (e
y .)
y + ( y + q = v1 , em (0, T )
y .)e
t

div(e
y ) = 0, em (0, T )

(2.11)

ye = 0, sobre (0, T )

y(0) = 0, em
entao do seguinte fato:
30
1 1
J (v) = (yv (T ), yv (T ))H + (v, v)[L2 (Q )]N
2 2
1
1
J (v) = y(T ) + L(v)(T ), y(T ) + L(v)(T ) + (v, v, )[L2 (Q )]N
2 H 2
1
hJ0 (v), wi = L(w)(T ), yv (T ) + (w, v)[L2 (Q )]N ,
H
N
entao nos temos que para qualquer w [L2 (Q )] se tem:
1 e
hJ0 (v ), wi = L(w)(T ), yv (T ) + (w, v )[L2 (Q )]N = 0,
H
isto nos da
Z
1 e
(2.12) L(w)(T ), yv (T ) + v wdxdt = 0.
H Q
Introduzimos o estado adjunto (, ) que satisfaz:

(D)
y + = 0, em (0, T )

t

div() = 0, em (0, T )

(2.13)

= 0, sobre (0, T )

1
(T ) = yv ,
em

onde D() = + t , de (2.13) multiplicando por yew e integrando vamos ter:
Z TZ

(D) y + yew dxdt = 0
0 t
Z TZ Z TZ Z TZ

yew dxdt e yw dxdt (
y + y)e
yw dxdt+
0 t 0 0
Z T Z
+ e
yw dxdt = 0
0
Z T Z T
e
yw
((T ), yew (T ))H + ((0), yew (0))H + , dt (, e
yw )H dt+
0 t H 0
Z T Z T
+ (, (
y yw + yew y))H dt (, div(e
yw ))H dt = 0,
0 0
31
e como div(e
yw ) = 0 tem-se:
Z T
e
yw
((T ), yew (T ))H + ((0), yew (0))H + , e
yw + (
y yew + yew y) dt = 0,
0 t H
Z T
pelo fato de que yew (0) = 0 e (q, div()) dt = 0, vamos ter:
0
Z T
e
yw
((T ), yew (T ))H + , e
yw + (
y yew + yew y) + q dt = 0.
0 t H
Como yew e solucao de (2.11) quando em lugar de v colocamos w, entao dai temos que:
Z Z
wv dxdt + wdxdt = 0
Q Q
Z
(v + )wdxdt = 0,
Q
N
para qualquer w [L2 (Q )] daqui se tem
(2.14) v + = 0.
Para v , denotemos por y = yv a` solucao de:

y

y + (y .) y .)y + q = .g + v 1 , em (0, T )
y + (
t

div(y ) = 0,

em (0, T )
(2.15)

y = 0, sobre (0, T )

y (0) = y ,
0 em
O que nos queremos e passar ao limite em (2.15), para isso tomemos a solucao do
estado adjunto que cumpre (2.13) quando yv = y e dai nos temos a seguinte igualdade:
(2.16) (Ly , )[L2 (Q)]N = (.g + v 1 , )[L2 (Q)]N
y
Onde Ly = y +(y .)
y +(
y .)y . Vamos a desenvolver a parte esquerda de (2.16)
t
32
Z T Z T Z T
y
(Ly , )[L2 (Q)]N = , dt + (y , )H dt + ((y .)
y + (
y .)y , )H dt
0 t H 0 0
Z T
y
Desenvolvendo a integral , dt, nos da
0 t H Z T

(Ly , )[L2 (Q)]N = (y (T ), (T ))H (y (0), (0))H + y , dt+
0 t H
Z T Z T Z T
+ (y , )H dt
(y , (.)
y + ( y .))H dt (, y )H dt
0 0 Z T 0
= (y (T ), (T ))H (y (0), (0))H + (y , L )H .

0

Onde L = (D)
y e como cumpre 2.13 se tem:
t
(Ly , )[L2 (Q)]N = (y (T ), (T ))H (y (0), (0))H
substituindo este u
ltimo resultado em (2.16) vamos ter:
N Z Z
iX
(y (T ), (T ))H (y (0), (0))H = gij dxdt + v dxdt
i,j=1 Q
xj Q
N Z Z
1 2
X i
ky (T )kH = (y (0), (0))H gij dxdt + v dxdt.
i,j=1 Q x j Q
Da igualdade de (2.14) e da equacao (2.15) temos:
Z N Z
1 X i
(2.17) ky (T )k2H + 2
|v | dxdt = (y0 , (0))H gij dxdt
Q i,j=1 Q xj
Pelo momento vamos assumir que se cumpre a desigualdade de observabilidade:
Z Z
(2.18) k(0)k2H + 2 2
|| dxdt c ||2 dxdt
Q Q
a qual seZ provara na seguinte secao e com alguns pesos convenientes e assumindo que g
1
satisfaz 2
|g|2 dxdt < +
Q
Como por Cauchy-Schwartz tem-se:
(y0 , (0))H ky0 kH k(0)kH
33
1
(2.19) (y0 , (0))H c ky0 k2H + k(0)k2H
2c
N Z Z
X i
gij dxdt |g| || dxdt,
i,j=1 Q xj Q
deste u
ltimo temos que
N Z
c1 2
Z Z
X i 2 c
(2.20) gij dxdt || dxdt + 2 |g|2 dxdt,
i,j=1 Q xj 2 Q Q
de tal maneira que em (2.19) e (2.20) fique a mesma constante c, dai substituindo (2.19)
e (2.20) em (2.17), tem-se:
2
Z Z Z
1 1 c
ky (T )k2H + 2
|v | dxdt c ky0 k2H + k(0)k2H + 2
|| dxdt + 2 |g|2 dxdt,
Q 2c 2c Q Q
aqui nos vamos fazer uso da desigualdade 2.18 e a igualdade (2.14) se tem o seguinte
Z Z Z
1 1 c
ky (T )k2H + |v | dxdt 2
+ c ky0 k2H
2
|v | dxdt + 2 |g|2 dxdt
Q 2 ZQ Q
2 c 2
c ky0 kH + 2 |g| dxdt,
Q
Z
1 2
e portanto se tem que ky (T )kH < c e |v |2 dxdt < c para todo > 0.
Q
N N
Pelo teorema 1.9 se tem que existe v [L2 (Q )] tal que v * v em [L2 (Q )] , como
y = y + L(v
e ) e L
e e linear e continua, entao
y k2C([0,T ],H)L2 (0,T,V ) c k

ke y k2[L (Q)]N + kv k2[L2 (Q )]N
c3 .
Por isto u e ) * y em C([0, T ] , H) L2 (0, T, V ) e como L(y ) = v 1

ltimo temos que L(v
N
tem-se L(y ) * v1 em [L2 (Q)] portanto L(y) = v1 , devemos lembrar que L(v) b nos
da a solucao de L(y) = v1 satisfazendo (2.11) e por esta razao L(v)
e = y e como
y = ye + L(v
e ) * ye + L(v),
e tem-se:
34
y * yv em C(0, T, H) L2 (0, T, V )

isso vai implicar que y (T ) * y(T ) fracamente e como ky (T )kH c entao y (T ) 0
N
forte em [L2 ()] .
N
Agora vamos mostrar que y (T ) * 0 em [L2 (Q)] , para obter isso vamos tomar =
N
onde [H01 ()] e C 1 [0, T ] satisfazendo (0) = 0 e (T ) = 1.
fazendo contas se tem as seguintes igualdades:

Z Z Z
((T ), y (T ))[L2 ()]N = (L)y dxdt + .gdxdt + v 1 dxdt,
Q Q Q
como a parte direita converge nos temos:

Z Z Z
((T ), y (T ))[L2 ()]N (L)ydxdt + .gdxdt + v1 dxdt,
Q Q Q
e por meio da seguinte igualdade

Z Z Z
((T ), y(T ))[L2 ()]N = (L)ydxdt + .gdxdt + v1 dxdt,
Q Q Q
nos temos a seguinte convergencia
((T ), y (T ))[L2 ()]N ((T ), y(T ))[L2 ()]N
pelo fato de (T ) = isso nos vai dar que (, y (T )) (, y(T )), para qualquer
N N N
[H01 ()] e como [H01 ()] e denso em [L2 ()] finalmente temos a convergencia
N
que nos queramos y (T ) * y(T ) em [L2 ()] .
Assim vamos ter que:
N
y (T ) * y(T ), em [L2 ()]
N
y (T ) * 0, em [L2 ()]
pela unicidade do limite tem-se que y(T ) = 0.
35
2.4 Desigualdade de Observabilidade
Na secao anterior nos fizemos uso da desigualdade de observabilidade do estado adjunto
da equacao de Navier-Stokes, agora nesta secao nos vamos provar aquela desigualdade.
N
Para y0 V e h [L2 (Q)] , consideremos o seguinte sistema de Stokes:

y

y + q = h, em (0, T )
t

div(y) = 0,

em (0, T )
(2.21)

y = 0, sobre (0, T )

y(0) = y ,
0 em
N y N
L2 (Q) e

Pelo teorema 1.48 se tem que y C([0, T ] , V ) L2 (0, T, [H 2 ()] ),
t
q L2 (0, T, H 1 ()).
Definamos w = rot(y) portanto y.
Para N = 3:

y3 y2 y1 y3 y2 y1
y = , ,
x2 x3 x3 x1 x1 x2
w = ( y)

y2 y1 y1 y3 y3 y2 y2 y1
w = ( ) ( ), ( ) ( ),
x2 x1 x2 x3 x3 x1 x3 x2 x3 x1 x1 x2

y1 y3 y3 y2
, ( ) ( )
x1 x3 x1 x2 x2 x3
2 y1 2 y1 y1 2 y2 2 y2

y2 y3 y3
w = ( + ) , ( + ) , ... .
x1 x2 x3 x22 x23 x2 x1 x3 x21 x23
y1 y2 y3
Nesta u
ltima desigualdade vamos fazer uso de fato que div(y) = + + = 0,
x1 x2 x3
para ter:
36
w = (y1 , y2 , y3 )
w = y,
entao isto nos da:
(2.22) w = y
Para N = 2:
y2 y1
rot(y1 , y2 ) = =w
x1 x2
2 y2 2 y1 2 y2 2 y1

rot(w) = + , ,
x2 x1 x22 x21 x1 x2
y1 y2
e do fato de que div(y) = + = 0, se tem:
x1 x2
2
y1 2 y1 2 y2 2 y2

rot(w) = + , +
x21 x22 x21 x22
= (y1 , y2 )
rot(w) = y
Agora vamos seguir trabalhando com N = 3 e fazer uso de 2.22.
y
( y + q) = h
t
y
( + w + q) = h
t
w
+ ( w) + (q) = h
t
e como rot(q) = 0 temos:
w
(2.23) w = rot(h), em (0, T ).
t
(2.24) y = rot(w), em (0, T ).
37
(2.25) y = 0, sobre (0, T ).
Definamos:

t, t [0, T /4]

l(t) = l(t) T /4, t [T /4, 3T /4]

T t, t [3T /4, T ]
Sempre e possvel achar l asi de tal maneira que l C ([0, T ]), agora definamos as
seguintes funcoes:
0
e( (x)+m1 )
(2.26) (x, t) = .
l4 (t)
e(| | +m2 )
0 (x)+m 0
e( 1)
(2.27) (x, t) = .
l4 (t)
0 (x)+m )
(2.28) (x, t) = e( 1
.
Onde 0 e a funcao do teorema 1.51 , 1 e m1 m2 , sao constantes escolhidas tais

que:
2

c 5/4 e 3/2
(2.29) t2 c .

t
Fazendo uso das estimativas de Carleman para equacoes Parabolicas a qual esta provado
em [9] para a equacao (2.23). Se tem que existe 0 1, s0 0 e c > 0 tal que para todo
0 e s s0 temos:
e2s
Z Z
|w|2 dxdt + s2 e2s |w|2 dxdt
Q s Q
Z
1/2 1/4 s 2 2
2s
(2.30) c s e w H 1/4,1/2 () + e |h| dxdt +
Q
Z
c s2 e2s |w|2 dxdt.
Qw
38
Para y solucao do problema eltico em (2.24) e fazendo uso da estimativa para a equacao
eltica em [12] vamos ter que existem 0 0 e 0 como acima tais que para todo 0
se tem para quase todo t (0, ):
Z
e2 |y(t)|2 + 2 2 2 |y(t)|2 dx

(2.31)
Z Z
2 2 2 2 2 2 2
c e |w(t)| dx + e |y(t)| dx .

s (x)
Fazendo = temos que (x, t) = k(t) daqui substituindo em (2.31).
l4 (t) l4 (t)
2 2 2 Z
Z Z
2 2 s s
2s 2s 2s
2 2 2 2 2
e l4 |y| + s 8 |y| dx c 4 e l4 |w| dx + 8 e l4 |y| dx .
l l l

De (2.26) e (2.28) tem-se = substituindo acima temos:
l4
Z Z Z
2s 2s 2s
2 2 2 2 2 2 2 2 2 2
e l4 |y| + s |y| dx c s e l |w| dx + s
4
e l |y| dx ,
4

2
multiplicando por e tirando para fora o termo que so depende de t temos:
Z Z Z

2sk(t) 2s 2 2 2 4 2 2
2sk(t) 2 2s 2 2 4 2 2s 2
e e |y| + s |y| dx ce s e |w| dx + s e |y| dx ,

integrando de 0 ate T
Z Z
2 2
e2s 2 2 4 2
|y| + s |y| dxdt c s 2
e2s |w|2 dxdt+
Q Q
(2.32) Z
2 4 2 2s 2
s e |y| dxdt .
Qw
somando a desigualdade 2.30 e a desigualdade 2.32 tem-se:

!
2
|w|
Z
e2s + s2 |w|2 + 2 |y|2 + s2 4 2 |y|2 dxdt
Q s
Z
1/2 2
1/4 s
(2.33) c s e w H 1/4,1/2 () + 2s
e |h| dxdt +
Q
Z
2 2s 2
c e |y| dxdt .
Q
39
Nos vamos a eliminar o termo da fronteira, para isso devemos lembrar que:
1/4 s
e w H 1/4,1/2 () = 1/4 es rot(y) H 1/4,1/2 ()
y
1/4 s
(2.34) e w H 1/4,1/2 () c 1/4 es H 1/4,1/2 ()
.
Definamos:
em1 e(| | +m2 )

0
(2.35)
(t) = min (x, t) = .
x l4
em1
(2.36) (t) = min (x, t) = 4 .
x l
em1 e(| | +m2 )

0
(2.37)
(t) = max (x, t) = .
x l4
m1
(2.38) = max (x, t) = e
(t) .
x l4
1/4

(u, r) (x, t) = (t) y(x, t)es(t)

, q(x, t)es(t)

u(x, t) 1/4 y(x, t)es(t)

= (t)
r(x, t) 1/4 q(x, t)es(t)

= (t)
,
c0 para todo t (0, T ) e definamos as
e denotemos por c0 > 0 a constante tal que (t)
variaveis u e q do seguinte modo:
y(x, t) = u1/4 es(t)

1/4 es(t)
e q(x, t) = r(t)
,
desta maneira obtemos:
40
y u 1/4 s u 3/4 0
= (t) e + (t)es + u1/4 (s
0 (t)es )
t t 4
1/4 es
y = (t)
q = 1/4 es r,
somando as ultimas igualdades e fazendo uso da equacao (2.21)

u u
u + r 1/4 es + 3/4 0 es u1/4
0 es = h
t 4
u es 0 0 (t)
u + r = h 1/4 + us
(t) u
t 4
u es 0 (t)
0 (t)
u + r = h 1/4 + yes s 1/4 yes 5/4 ,
t 4
de isto u
ltimo junto com a equacao (2.21)
0
1 0 es y

u es
u + q = 1/4 y , em (0, T )

4 5/4

t

div(u) = 0,
em (0, T )
(2.39)

u = 0, sobre (0, T )

u(0) = 0, em
es 0 es 0 es
s
(2.40) , e 5/4 sao limitadas em (0,T).
1/4 1/4
Com efeito
es(t)

l(t)es(t)

= < c e limitada em [0, T ]
1/4
(t) em1 /4
0 (t)es(t)
s
d s(t) 1 d s(t) l(t)
= (e
) = (e
) < c isto e porque es(t)

e de C em [0,T]

(t) 1/4 dt
1/4 dt em1 /4
41
0 es 4em1 l0 (t) em1 l0 (t)es(t)

= = 4 < c e limitado em [0,T].
5/4
5/4m
e5/4m1 e 1
es y 1 0 es y
es h s N
Agora de (2.40) vamos ter que f = 1/4 + 1/4 pertence a [L2 (Q)]

4 5/4
Fazendo uso da regularidade da equacao de Navier-Stokes ver Temam [19] tem-se:
2 s 2
(2.41) y 2 N
kuk2H 1,2 (Q) c es h [L2 (Q)]N + s2 e [L (Q)]
Com efeito como u e uma solucao fraca de (2.39) temos que cumpre com
d D E

(u(t), v) + a (u(t), v) = , v , v V
f
dt

u(0) = 0, em

Por estimacoes de energia da equacao Navier-Stokes dados em [19] tem-se

Z T
kuk2H 1,2 (Q) c kf(t)k2[L2 ()]N dt
0
kukH 1,2 (Q) ckfk[L2 (Q)]N
!
0 0
s
e h s s

kukH 1,2 (Q) c
1/4 2 N + ( 1/4 45/4 )e y 2 N

[L (Q)] [L (Q)]
!
0 0
s
e h 2 s

(2.42) kukH 1,2 (Q) c
1/4 2 N + ( s5/4 4s2 9/4 )s e y 2 N

[L (Q)] [L (Q)]
0 (t)

0 | c5/4 e como s s0 vamos ter que
De (2.29) se tem que | c.
5/4
s(t)
4em1 0 l4 em1
Como 0 = 5 entao 2 9/4 = 2 9/4m1 e como l e limitado em [0, T ] isto nos da
l 4s se
0 (t)

< c. Desta maneira substituindo estos resultados em (2.42) vamos ter 2.41:
9/4
4s2 (t)

s y 2 N .

kukH 1,2 (Q) c kes hk[L2 (Q)]N + s2 e [L (Q)]
Do teorema do traco, ver [21] tem-se:
42
u 2
(2.43) k k 1/4,1/2 () ckuk2H 1,2 (Q)
H
Do fato de u

= 1/4 es
y
e das desigualdades (2.41) e 2.43 tem-se
s 2
k1/4 es
y 2
kH 1/4,1/2 () c ke s

hk2[L2 (Q)]N 2
+ s e y [L2 (Q)]N

s 1/2
k y 2
1/4 s
e kH 1/4,1/2 () c s 1/2 s
2 3/2 s
2
ke hk[L2 (Q)]N + s ke yk[L2 (Q)]N ,
= (x, t) para x entao se tem o seguinte:

e como (t)
y
(2.44) s yk2 2 N
s1/2 k1/4 es k2H 1/4,1/2 () c s1/2 kes hk2[L2 (Q)]N + s3/2 ke [L (Q)]

substituindo (2.34) e (2.44) em (2.33)
!
|w|2
Z Z
2 2
e2s 2 2
+ s |w| + |y| + dxdt + e2s s2 4 2 |y|2 dxdt
Q s Q
Z Z Z
(2.45) 1/2 2s 2 3/2 2 2S 2 2s 2
c s e |h| dxdt + s e |y| dxdt + e |h| dxdt +
Q Q Q
Z Z
2s 2 2 2s 2 4 2 2
c e s |w| dxdt + e s |y| dxdt ,
Q Q

tomando s s0 suficientemente grande tal que s1/2 < 1 e 2c
2
< s de modo que
3/2 s 2 4
cs < 2
tem-se:
!
|w|2
Z Z
2 2
e2s 2 2
+ s |w| + |y| dxdt + e2s s2 4 2 |y|2 dxdt
Q s Q
Z Z
2 1
c e2s
|h| dxdt + s2 4 2 e2s |y|2 dxdt+
Q 2 Q
Z Z
2s 2 2 2s 2 4 2 2
c e s |w| dxdt + e s |y| dxdt .
Q Q
43
desta maneira temos
!
2
|w|
Z
e2s + s2 |w|2 + 2 |y|2 + s2 4 2 |y|2 dxdt
Q s
(2.46)
Z Z Z
2s 2 2s 2 2 2s 2 4 2 2
c e |h| dxdt + e s |w| dxdt + e s |y| dxdt .
Q Q Q
Z
Agora vamos eliminar o termo e2s s2 |w|2 dxdt que aparece na direita.
Q
Seja 0 6= aberto com 0 e C0 () com 0 1 e = 1 em 0 , vamos ter o

seguinte:
Z Z
2
s 2
e 2s
|w| dxdt = s2
e2s |w|2 dxdt
Q 0 Q0
Z
s 2
e2s |w|2 dxdt
Q
Z
2
= s e2s wrot(y)dxdt
Q
Z
2 y3 y2 y1 y3
= s w1 ( ) + w2 ( )+
Q x2 x3 x3 x1

y2 y1
w3 ( ) dxdt.
x1 x2
Onde = e2s
Z Z
2 2s 2 2 (w1 ) (w1 ) (w2 )
s e |w| dxdt s y3 + y2 y1 +
Q 0 Q x2 x3 x3

(w2 ) (w3 ) (w3 )
+ y3 y2 + y1 dxdt
x1 x1 x2
Z
2 (w3 ) (w2 ) w1 (w3 )
= s ( )y1 + ( )y2 +
Q x2 x3 x3 x1

(w2 ) (w1 )
( )y3 dxdt
x1 x2
44
Z
2
= s rot(w)ydxdt .
Q
Por tanto
Z Z
2 2s 2 2
(2.47) s e |w| dxdt s rot(e2s w)ydxdt
Q0 Qw
rot(e2s w) = rot(e2s w1 , e2s w2 , e2s w3 )

0

x 1 x 2
w 1
2s 2s 2s
rot(e w) = e rot(w) + e 2s 0 w2 +

x3 x1
w3
0
x2 x1

0 w1

0
w1

x1 x2 x1 x2

+e2s 0 w2 + e 2s
0 .
w2

x3 x1

x3 x1
w3 w3
0 0
x2 x1 x2 x1
0
Como = = , tem-se
xi xi xi
rot(e2s w) = e2s rot(w) + e2s 2s 2 D 0 w + e2s Dw + e2s D 0 w.

0 0

0
x1 x2
0
0

0
Onde D = 0 ,

x3 x1
0 0
0
x2 x1
isto ultimo vamos substituir em 2.47
Z Z Z
2 2s 2 2 2s
s e |w| dxdt s e rot(w)ydxdt + e2s 2s 2 (D 0 w)ydxdt+
Q Q Q
Z Z
2s 2s 0
+ e (Dw)ydxdt + e (D w)ydxdt ,
Q Q
sabemos que D 0 , D 0 e D sao limitados e tambem se sabe que existe c > 0 tal que
|rot(w)| c |w|
45
Z Z Z
2 2s 2 2 2s
cs e |w| dxdt cs e |w| |y| dxdt + c 3 e2s 2s2 |w| |y| +
Q 0 Q Q
+s2 e2s |w| |y| + se2s 3 |w| |y| dxdt

es |w|
Z
|y| 3/2 s3/2 2 es dxdt+

c
Q s1/2 1/2
Z
s1/2 1/2 es |w| s3/2 2 3/2 es |y| dxdt+

c
Q
Z
s1/2 1/2 es |w| s1/2 1/2 es |y| dxdt+

c
Q
Z
s1/2 1/2 es |w| s1/2 2 1/2 es |y| dxdt

c
Q
1/2 Z 1/2
e2s
Z
2 3 4 3 2s 2
c |w| dxdt s e |y| dxdt +
Q s Q
Z 1/2 Z 1/2
2 2s 2 3 4 3 2s 2
c s e |w| dxdt s e |y| dxdt +
Q Q
Z 1/2 Z 1/2
2 2s 2 2 2s 2
c s e |w| dxdt s e |y| dxdt +
Q Q
Z 1/2 Z 1/2
2 2s 2 4 2s 2
c s e |w| dxdt s e |y| dxdt ,
Q Q
como s e muito grande tal que 1 s < s3 e fazendo uso de que sempre se cumpre
a2 b 2
ab + , tem-se
2 2
e2s
Z Z
2 1
cs 2 2s
e |w| dxdt |w|2 dxdt+
Q0 2 Q s
Z Z
2
(2.48) c1 3 4 3 2s
s e |y| dxdt + c2 s2 e2s |y|2 dxdt+
Q Q
Z
1
s2 e2s |w|2 dxdt,
2 Q
46
(x, t) para qualquer (x, t) (0, T ) e 1 0 tem-se
como c0 < (t)
3 2 s 3 4 s 3 3
2 s = 2 s
2 c20 c20
1 4 3 3
2 s s
c20
Z Z
2
devido a esto temos c2 2
s e 2s
|y| dxdt c2 s4 3 e2s |y|2 dxdt, considerando
Q Q
esto em 2.48 tem-se
e2s
Z Z Z
2 1 1
cs 2
e 2s
|w| dxdt |w|2 dxdt + s2 e2s |w|2 dxdt+
Q 0 2 Q s 2 Q
Z
c s3 4 3 e2s |y|2 dxdt
Q
ltima desigualdade se cumpre para todo 0 entao para tambem se vai

como esta u
cumprir, logo de 2.46 tem-se
!
|w|2
Z
e2s + s2 |w|2 + 2 |y|2 + s2 4 2 |y|2 dxdt
Q s
Z Z Z 2s
2 2 1 e
c e 2s
|h| dxdt + 2 4 2 2s
s e |y| dxdt + |w|2 dxdt+
Q Q 2 Q s
Z Z
1 2
2
s e 2s
|w| dxdt + c s3 4 3 e2s |y|2 dxdt
2 Q Q
!
|w|2
Z
e2s + s2 |w|2 + 2 |y|2 + s2 4 2 |y|2 dxdt
Q s
Z Z
2s 2 3 4 2 2s 2
c e |h| dxdt + s e |y| dxdt
Q Q
este u
ltimo resultado nos permite escrever o seguinte teorema.
47
Teorema 2.4. Existe s0 , 0 1 e c > 0 tais que para 0 e para toda solucao da
equacao de Navier-Stokes (com rot(y)=w) tem-se
!
|w|2
Z
2 2 2
e2s + s2 |w| + 2 |y| + s2 4 2 |y| dxdt
Q s
(2.49)
Z Z
2s 2 3 4 2 2s 2
c e |h| dxdt + s e |y| dxdt .
Q Q
= (T t) para t (0, T ), obtemos

Do sistema adjunto (2.13) fazendo (t)

+ = ( y , em (0, T )
y .) + (.)

t

div()
= 0, em (0, T )

(2.50)

= 0, em (0, T )

1
(0)
= y (T ), em

e tambem temos

w
w = rot [(
y .) + (.)
y] , em (0, T )

t

(2.51) (t)
= rot(w(t)), em e quase sempre em (0, T ) .

(t)
= 0, sobre e quase sempre em (0, T )
Onde w = rot()
e h = (
y .) + (.)
y
Z Z
2
e2s
|h| dxdt 4 e2s |( 2 dxdt
y )|
Q Q
Z
c 2 dxdt,
e2s ||
Q
substituindo isto u
ltimo em (2.49) tem-se
48
!
|rot|2
Z
e2s + s2 |rot|2 + 2 ||2 + s2 4 2 ||2 dxdt
Q s
Z Z
2s 2 3 4 2s 3 2
c e || dxdt + s e || dxdt ,
Q Q
e passando o primeiro termo do lado direito para a esquerda

!
|rot|2
Z
c
e2s + s2 |rot|2 + 2 (1 2 ) ||2 + s2 4 2 ||2 dxdt
Q s
Z
cs 3 4
e2s 3 ||2 dxdt.
Q
c
Como e suficientemente grande tal que 1 2 > 0 na parte esquerda se toma

c
min{1, 1 2 }

!
|rot|2
Z
e2s + s2 |rot|2 + 2 ||2 + s2 4 2 ||2 dxdt
Q s
(2.52)
Z
3 4
cs e2s 3 ||2 dxdt.
Q
Para s s0 e 0 , vamos a definir para (x, t) [0, T ]

(x, T /2); t [0, T /2] (x, T /2); t [0, T /2]

(2.53)
(x, t) = t) =
(x,

(x, t); t [T /2, T ]
(x, t); t [T /2, T ]

Fazendo estimacoes tipo de energia para as equacoes (2.50), (2.51) e pelo fato da de-
sigualdade (2.52) junto com as funcoes (2.53) se vai conseguir uma desigualdade similar
a (2.52) mas com os novos pesos de Carleman.
!
2
|rot|
Z
e2s + s2 |rot| + 2 || + s2 4 2 || dxdt
2 2 2
Q s
(2.54)
Z
3 4
cs e2s 3 ||2 dxdt
Q
Novamente fazendo uso das estimacoes de energia junto com (2.54) nos podemos obter a
Desigualdade de Observabilidade para o problema de Stokes
49
Z Z Z
(2.55) k(0)k2H + 2 e2s ||2 dxdt + 2s
e 2
|| dxdt c e2s 3 ||2 dxdt
Q Q Q
Z
Voltando ao problema de controle nulo com dato inicial y0 H e g satisfazendo e2s |g|2 dxdt <
Q
+. Junto com os resultados da secao anterior temos o seguinte resultado de controla-
bilidade para o sistema linearizado de Navier-Stokes
Z
Lema 2.5. Assumindo que y0 H e g satisfaz e2s |g|2 dxdt < +, entao existe
Q
v L2 (Q )N tal que a solucao y de (2.9) satisfaz.
y(T ) = 0.
2.5 Controle e soluc

ao de decrescimento exponencial
Nesta secao mostraremos que podemos achar um controle v o qual e exponencialmente
decrescente quando t T e y(T ) = 0.
Definamos:
Z

X0 = {(y, q) C (Q), div(y) = 0 em Q, y = 0 sobre , q(t)dx = 0, q. s em (0, T )}

y
X0 e um espaco vetorial e denotemos por L y = y y.D(y) e definamos a forma
t
bilinear:
a : X0 X0
e R
y , qe)) e
((y, q); (e a ((y, q), (e
y , qe)) .
Z Z
a ((y, q), (e
e y , qe)) = 2s

e (L y + q)(L ye + e q )dxdt + e2s 3 ye
y dxdt.
Q Q
Vejamos que e
a e um produto interno
Para provar que e
a e um produto interno so e preciso provar que para (y, q) elemento
de X0 tal que
Z ea ((y, q), (y, q))) = (0, 0)Zimplique que (y, q) e igual a (0, 0), da hipoteses
se tem que e2s |L y + q|2 dxdt + e2s 3 |y| dxdt = 0 entao e2s |L y + q|2 = 0
Q Q
como e2s > 0 se tem que
(2.56) L y + q = 0
50
y
e como L y = y y.D(y), entao L y + q = h substituindo isto na hipoteses se
Z t Z
tem 2s
2
e |h| dxdt + e2s 3 |y|2 dxdt = 0, fazendo uso da desigualdade de Carleman
Q Q
em 2.54 e do u
ltimo resultado
!
|rot(y)|2
Z
e2s + s2 |rot(y)| + 2 |y| + s2 4 2 |y| dxdt 0
2 2 2
Q s
daqui obtemos
Z
s2 4 2 |y|2 dxdt = 0
Q
isto nos da y = 0 em Q
e de (2.56) se chega a que q = 0 por tanto q = c(t) so depende de t mas na definicao

de X0
Z
q(t)dx = 0 quase sempre

Z
c(t)dx = 0 quase sempre

c(t)m() = 0 quase sempre
c(t) = 0
q = 0,
a(, ) e um produto interno.
entao (y, q) = (0, 0) e portanto e
Fazendo uso do teorema 1.55 de completacao o qual nos dize que existe X um espaco de
a(, ) tal que X0 X denso.
Hilbert com este produto interno e
Pela desigualdade de Observabilidade (2.55) para y tem-se
Z
(2.57) ky(0)k2H + e2s |y|2 2 + |y|2 dxdt ce
a ((y, q), (y, q))
Q
Agora definamos o funcional
51
N Z
X yi
l : X R para (y, q) X se define hl, (y, q)i = (y0 , y(0))H gij dxdt
i,j=1 Q xj
a) l esta bem definido.
b) l e linear.
c) l e continuo, com efeito
Z
|hl, (y, q)i| = ky0 kH ky(0)kH + c |g| |y| dxdt
Q
Z
= ky0 kH ky(0)kH + c es |g| e2s |y| dxdt
Q
Z 1/2 Z 1/2
2s
2 2s
2
ky0 kH ky(0)kH + c e |g| dxdt e |y| dxdt
Q Q
Z
e como e2s |g|2 dxdt < + tem-se:
Q

|hl, (y, q)i| c ky(0)kH + e2s y L2 (Q)
2
|hl, (y, q)i|2 c ky(0)k2H + e2s y L2 (Q)

Z
|hl, (y, q)i| 2 2
c ky(0)kH + e (|y| + |y| )dxdt ,
2s
2 2 2
e por (2.57) tem-se
|hl, (y, q)i|2 ce

a ((y, q), (y, q))
|hl, (y, q)i| c k(y, q)kX ,
e por tanto l e continua.
a(, ) e uma forma bilinear continua e coerciva e l X entao nos podemos usar o
Como e
nico (y, q) X tal que:
teorema de Lax Milgram e por tanto existe um u
52
(2.58) a y , qe)) = hl, (
((y, q), ( y , q)i
Definamos:

2s

y = e (L y + q) em Q

.

v = e2s 3 y1 em Q

(x, t) = daqui resulta que e2s e e2s 3 sao limitados em Q.

Como lim
tT
Z Z
2
e 4s

|L y + q| dxdt c e2s |L y + q|2
Q Q
Z
y |2 dxdt
| c
Q
Da mesma maneira se chega a que

Z Z
6
e 4s 2
|y| dxdt c e2s 3 |y|2 dxdt
Q Q
Z
e4s 6 |y|2 dxdt c
Q
Z
v |2 dxdt
| < c.
Q
N N
Portanto y [L2 (Q)] e v [L2 (Q )] .
De (2.58) usando as variaveis y e v
Z N Z Z

X e
yi
y (L ye + e
q ) dxdt = (y0 , ye(0))H gij dxdt + vyedxdt,
Q i,j=1 Q xj Q
y , qe) X.
para todo (e
Consideremos o problema :
53

y

y + (y y + y y) + p = g + v1 , em (0, T )
t

div(y) = 0,

em (0, T )
(2.59)

y = 0, sobre (0, T )

y(0) = y ,
0 em
N
nica solucao por transposicao de (2.59) em [L2 (Q)] se
Dizemos que y junto com p e a u
N
cumpre que para todo b [L2 (Q)]
Z N Z Z
X e
yi
ybdxdt = (y0 , y(0))H gij dxdt + vyedxdt,
Q i,j=1 Q xj Q
onde ye junto com qe sao solucao de:

L ye + e

q = b, em (0, T )

div(e y ) = 0, em (0, T )

sobre (0, T )

ye = 0,

ye(T ) = 0, em

Como nosso y junto com p e solucao por transposicao de (2.59) a qual e u

nica, mas o
nica solucao fraca em C ([0, T ], H) L2 (0, T, V ) que tambem
problema (2.59) tem uma u
e uma solucaZo por transposicao entao y C ([0, T ], H) L2 (0, T, V ) e das propriedades
de y se tem y |2 dxdt = c < +.
e2 |
Q
Afirmac
ao: y(T ) = 0.
y (T )k2[L2 ()]N > c1 > 0, como (T t)e2s(t)
Suponhamos que y(T ) 6= 0 entao k
+
4c 4c
quando t T entao para se tem que existe > 0 tal que < (T t)e2s(t)

para
c1 c1
todo t [, T ]
54
4c
y (t)k2L2 ()N
k (T t)e2s(t)

y (t)k2L2 ()N
k
c1
4c
Z T y (t)k2[L2 ()]N
k Z T
dt e2s(t)

y (t)k2L2 ()N dt
k
c1 T t
4c
Z T y (t)k2[L2 ()]N
k
dt c
c1 T t
4c
Z T y (t)k2[L2 ()]N
k
dt c, onde, [, T ]
c1 T t
Z T
4 1
y (t)k2[L2 ()]N dt 1, fazendo T
k
c1 T
4
y (T )k2[L2 ()]N
k 1
c1
4 1
Isto ultimo e absurdo. Por tanto ky (T )k2[L2 ()]N = 0 entao y(T ) = 0 em .

e2s 2
Z Z
E do fato que |
v | dxdt = e2s 3 |y|2 dxdt < + e portanto v e exponen-
Q 3
Q
cialmente decrescente quando t T .
Tudo isto nos leva a enunciar o seguinte teorema:
Z
Teorema 2.6. Se y0 H e g satisfazendo e2s |g|2 dxdt < +, entao existe um
Q Z
controle v e uma solucao y de (2.9) tal que y(T ) = 0 e e2s |y|2 dxdt < + e
Q
e2s 2
Z
|v| dxdt < +
Q 3
2.6 Problema N
ao Linear
e por e onde em t
T
Nos vamos a seguir chamando 2
,T
e(| | +m1 ) e(| | +m2 )

0 0

(t) = max (x, t) =
x l4 (t)
55
(| 0 | +m1 )
= max (x, t) = e
(t)
x l4 (t)
Consideremos o seguinte problema nao linear a estudar:

y

y + .(y y + y y) + .(y y) + q = v1 , em (0, T )
t

div(y) = 0,

em (0, T )
(2.60)

y = 0, sobre (0, T )

y(0) = y ,
0 em
Queremos achar um controle v e uma correspondente solucao y de (2.60) tal que y(T ) = 0
para isso definamos o seguinte conjunto que e um espaco vetorial:
N es N 3
N
E = {(y, v), es y L2 (Q) , 3/2 v L2 (Q ) , e 4 s y L4 0, T, L12 ()

N2
L (0, T, V ) L (0, T, H) , q, k, es k L2 0, T, [L6 ()]
2
,
Ly + q v1 = k, y(0) H L4 ()N }
Neste espaco vetorial definamos a seguinte norma, para (y, v) E

s 2
2
s 2 e 3 2
4 s
k(y, v)kE = e y L2 (Q)N +
v
3/2 2 + e y +
L (Q )N L4 (0,T,L12 ()N )
3 2
2
+ es k L2 (0,T,L6 ()N 2 ) + ky(0)k2L4 ()N ,
4 s
e y
L2 (0,T,V )L (0,T,H)
e facil provar que k.kE e uma norma, agora nos vamos a provar que E e um espaco de
Banach com esta norma, seja (ym , vm ) m=1 E uma sequencia de Cauchy, ent ao pela
es
norma de E se tem que 3/2 vm e uma sequencia de Cauchy em L2 (Q )N e como este

es vm
espaco es de Banach entao existe v L2 (Q )N tal que v em L2 (Q )N
3/2
es

3 s 3/2 s
kvm v e kL2 (Q )N = k e vm v kL2 (Q )N
3/2
es
k 3/2 es kL (Q )N k vm vkL2 (Q )N
3/2
es
ck vm vkL2 (Q )N .
3/2
56
Fazendo m + se vai ter que:
(2.61) vm v, emL2 (Q )N .
Onde v = v 3/2 es , de igual maneira es ym e de Cauchy em L2 (Q )N , entao existe

y L2 (Q )N tal que es ym y em L2 (Q )N daqui obtemos que
(2.62) ym y em L2 (Q )N ,
onde y = es y. Da mesma maneira se consegui provar que existe k L2 (Q)N tal que
km k em L2 (Q)N , entao por isto u
ltimo junto com 2.61 e 2.62 tem-se (ym , vm )
(y, v) em (E, k.kE ). Por tanto E e um espaco de Banach.
Definamos o seguinte conjunto:

2
G = {(k, y0 ); es k L2 (0, T, L6 ()N ), y0 H L4 ()N }
G e um espaco vetorial. Definamos uma norma para G para (k, y0 ) G
k(k, y0 )k2G = kes k2L2 (0,T,L6 ()N 2 ) + ky0 k2L4 ()N ,
e facil ver que e uma norma, vejamos que (G, k.kG ) e um espaco de Banach.
Com efeito, tomemos (km , y0m ) ao de Cauchy em (G, k.kG ) entao (y0m ) e
m=1 uma sucess
uma sequencia de Cauchy em H L4 ()N (devido a norma de G e a que L4 () L2 ())
e portanto existe y0 H L4 ()N tal que y0m y0 .

2
Tambem es km e uma sequencia de Cauchy em L2 0, T, L6 ()N e como ele e completo

existe k L2 0, T, L6 ()N tal que es km k em L2 (0, T, L6 ()N devido a isto
2 2
tem-se km k em L2 (0, T, L6 ()N , onde k = es k logo (G, k.k ) e um espaco de

2
G
Banach.
Definamos a seguinte funcao:
A: E G
(y, v) A(y, v) = (Ly + .(y y) + p v1 , y(0))
A esta bem definida, com efeito para (y, v) E vamos a garantir que A(y, v) G.
Da definicao de E se sabe que existe k tal que Ly + p v1 = k entao temos que
A(y, v) = (.k + (y y), y(0)) e de E temos
2

(2.63) es k L2 0, T, L6 ()N ,
57
3
e e 4 s y L4 0, T, L12 ()N L2 (0, T, V ) L (0, T, H)

Z T Z T Z
43 s
9s 2
(2.64) ke y(t)k4L12 () dt = e
|y(t)| dx dt < +.
0 0
3
2

A partir daqui obtemos que e 2 s (y y) L2 0, T, L6 ()N , com efeito
Z T Z T Z 1/3
32 s |y y|6 dx

9s
ke (y y) k2L6 ()N 2 dt = e dt
0 0
N Z
!1/3
Z T X
= e9s |yi |6 |yj |6 dx dt
0 i,j=1
" N Z 1/2
Z T X
9s
12
e |yi | dx
0 i,j=1
Z 1/2 #1/3
e9s |yj |12 dx dt

Z T
" N Z Z #1/3
X 1 12 12
e9s |yi | + e9s |yj | dx dt
0 i,j=1
2
Z T Z 1/3
9s
12
c e |y| dx dt
0
Z T 3
4 s
c e y(t) dt.

0 L12 ()
3 2 3
De (2.64) tem-se e 2 s (y y) L2 (0, T, L6 ()N ) < + e por tanto e 2 s (y y)
2 3
L2 (0, T, L6 ()N )e como , entao
2
2
(2.65) es (y y) L2 (0, T, L6 ()N ).
Chamemos k = k + y y e por (2.63) e (2.65) tem-se es k L2 (0, T, L6 ()N ) e como

2
A(y, v) = (k, y(0)).
De acima e junto ao fato de que y(0) H L4 ()N tem-se A(y, v) G.
58
Agora nos vamos provar que A C 1 (E, G)
A(y, v) = (Ly + .(y y) + p v1w , y(0))
A(y, v) = (Ly + p v1w , y(0)) + (.(y y), 0) ,
como a parte linear e de classe C 1 , entao nos so devemos provar que (y y) e de classe
C 1 . Como a aplicacao ((y, v), (
y , v)) ((y y), 0) e uma aplicacao bilinear so
precisamos provar que e continua de E E em G.
2
k((y y), 0)k2G = es (y y) L2 (0,T,L6 ()N 2 )

N Z
!1/3
Z T X
e6s |yi |6 |
yj |6 dx dt
0 i,j=1
" N Z
#1/3
Z T X Z
yj |12 dx)1/2
( e6s |yi |12 dx)1/2 ( e6s | dt
0 i,j=1
Z T Z Z
6s 12 1/6 6s 12 1/6
c ( e |y| dx) ( e |
y | dx) dt,
0
e como 6s 9s

Z T Z Z
k((y y), 0)k2G c ( e9s
12 1/6
|y| dx) ( e 9s

| 12
y | dx)1/6
dt
0
Z T Z 1/2 Z T Z 1/2
9s
12 1/3 9s
12 1/3
c ( e |y| dx) dt ( e |
y | dx) dt
0 0
3 2 3 2
c e 4 s y
4 s
e y

L4 (0,T,L12 ()N ) L4 (0,T,L12 ()N )
c kyk2E k
y k2E .
Portanto A C 1 (E, G).

Para (y, v) E
A0 (0, 0) [y, v] = (Ly + p v1 , y(0))
59
Vamos provar que A0 (0, 0) : E G e sobrejetiva. Seja (h, y0 ) G pelo teorema 2.6
existe (y, v) tal que:

Ly + p = v1 + h, em (0, T )

div(y) = 0, em (0, T )

(2.66) .

sobre (0, T )

y = 0,

y(0) = y0 , em

es v
Com y(T ) = 0, y L2 (0, T, V ) L (0, T, H), es y L2 (Q)N e L2 (Q )N .
3/2
O que nos vamos mostrar agora e que (y, v) E, mas para isso so fica provar que
3
e 4 s y L2 (0, T, V ) L (0, T, H) L4 (0, T, L12 ()N ).
Definamos:
3
(2.67) = e 34 s h, p = e 34 s p e v = e 34 s v
y = e 4 s y, h
Agora vamos a ver a regularidade das funcoes de acima.
2
Como es h L2 (0, T, L6 ()N ) entao
Z T Z
(2.68) ( e6s |h|6 dx)1/3 dt < +
0
Z T Z
2
khk = 6 dx)1/3 dt
( |h|
L2 (0,T,L6 ()N 2 )
0
Z T Z
9
= ( e 2 s |h|6 dx)1/3 dt,
0
9
e como s
6s,
2
Z T Z
22
khk ( e6s |h|6 dx)1/3 dt
L (0,T,L6 ()N 2 )
0
60
de isto u
ltimo junto com a desigualdade (2.68) tem-se
22
khk < +
L (0,T,L6 ()N 2 )
s
Portanto h L2 (0, T, L6 ()N 2 ) e como (y, v) E tem-se que ve L2 (Q )N .
3/2
Z T
k 2
v kL2 (Q )N = v k2L2 () dt
k
0
Z T Z
3
= e 2 s |v|2 dxdt
0
T 3
e 4 s |v| 3/2 3 s
Z Z
= ( )( e 4 |v|)dxdt
0 3/2
T 2
|v|
Z Z Z
23 s 3
( e 3
dx) ( e 2 s |v|2 3 dx)1/2 dt,
1/2
0
3
e como s 2s
2
Z T Z 2
|v|
Z
2 s
k
v kL2 (Q )N ( e 2s
3
dx) ( e 2 e2s |v|2 3 dx)1/2 dt
1/2
0
"Z #1/2
T
|v|2
Z
s
c (e 2

6 )(e2s 3 )dx dt,
0
s
e possvel limitar e 2 6 assim tem-se
T 2
2s |v|
Z Z
v k2L2 (Q )N
k c ( e 3
dx)1/2 dt
0
T 2
2s |v|
Z Z
c+c e dxdt
0 3
v
c + kes k2L2 (Q )N
3/2
< +.
Por tanto v L2 (Q )
Da equacao (2.66) e das funcoes em (2.67) vamos ter:
61

y + v1 3s

y + (
y y
+ y
y
) +
p = . h y , em (0, T )
t 4 t
div(
y ) = 0, em (0, T )
y = 0, sobre (0, T )
y(0) = e 43 s y ,
em
0

3 s
s
y = e 4 y = ( e 4 )(es y)
t t t
De (2.29)

s
e 4 c5/4 e 4s

t
s
Verifica-se que 5/4 e 4 e limitado e portanto:

e 4s c,

t
s
e logo e 4 L (Q)N e do fato se tem es y L2 (0, T, L2 ()N ) por isto tem-se que
t
y L2 (0, T, L2 ()N ).
t
3

Chamemos por k = v1 s y L2 (0, T, L2 ()N ) e consideremos o seguinte sistema:
4 t

y + k,
em (0, T )

y + .(
y y + y y) +
p = h
t

div(

y ) = 0, em (0, T )
(2.69)

y = 0, sobre (0, T )

y(0) = y e 43 s(0)

, em
0
Pelos resultados de existencia e unicidade de se tem-se que
(2.70) y L2 (0, T, V ) L (0, T, H)
pelo fato de L2 (0, T, V ) , L2 (0, T, L6 ()N ) e como y L (Q)N vai implicar y y, y

2
y L2 (0, T, L6 ()N ), chamemos por h =h y y y y L2 (0, T, L6 ()N 2 ) assim
substituindo em (2.69)
62

y + k,

y +
p = .h em (0, T )
t

div(

y ) = 0, em (0, T )
(2.71) .

y = 0, sobre (0, T )

y(0) = y e 43 s(0)

, em
0
Mostraremos que y L4 (0, T, L12 ()N ), com efeito seja k L4/3 (0, T, L12/11 ()N ) pelo
lema 1.50 existe uma u
nica solucao de

z

z + q = k, em (0, T )
t

div(z) = 0,

em (0, T )

z = 0, sobre (0, T )

z(T ) = 0, em
Desta ultima equacao junto com (2.71) tem-se

Z Z Z Z
(2.72) y (0)dx
z(0)
hzdxdt +
z kdxdt = k
y dxdt,
Q Q Q
o que vemos aqui e que y e a solucao por transposicao de (2.71). Definamos
F : L4/3 (0, T, L12/11 ()N ) R

k hF, ki ,
Z Z Z
onde hF, ki = y (0)dx
z(0)
hzdxdt +
z kdxdt, e k sao fixos tem-se F e
y, h
Q Q
linear, vejamos agora que F e continua
|hF, ki| c(kz0 kL4/3 ()N + kzkL2 (0,T,L6/5 ()N ) + kzkL2 (Q)N )
|hF, ki| c kkkL4/3 (0,T,L12/11 ()N )
63
Portanto pela unicidade de solucao por transposicao tem-se F = y, portanto y
3
(L4/3 (0, T, L12/11 ()N ))0 L4 (0, T, L12 ()N ), de isto junto com 2.70 vamos ter e 4 s y
L2 (0, T, V ) L (0, T, H) L4 (0, T, L12 ()N ) e portanto A0 (0, 0) e sobrejetiva de E em G.
Fazendo uso do seguinte teorema o qual e provado em [20] vamos ter a controlabilidade
local nula do problema.
Teorema 2.7. Seja B1 e B2 dois espacos de Banach e A : B1 B2 satisfazendo

A C 1 (B1 , B2 ). Assumindo que e0 B1 , A(e0 ) = h0 e A0 (e0 ) : B1 B2 e sobrejetiva.
Entao existe > 0 tal que para todo h B2 satisfazendo kh h0 kB2 < existe solucao
da equacao
A(e) = h, e B1
Tome e0 = (0, 0) e h0 = (0, 0) tal que este teorema nos vai dar a controlabilidade local
nula de (2.60)
64
Captulo 3
Controlabilidade do sistema de
Navier-Stokes N-dimensional com
N-1 controles escalares
Neste capitulo, apresentamos um resultado sobre a controlabilidade local exata por tra-
jetorias para um sistema do tipo Navier-Stokes N-dimensional. Em um primer passo,
enunciaremos uma nova desigualdade do tipo Carleman para o sistema adjunto associado
ao problema linear de Navier-Stokes e como consequencia de isso vamos ter a desigual-
dade de Observabilidade. Em seguida, obteremos um resultado sobre a controlabilidade
nula para o sistema linearizado com N-1 controles escalares. Ao final, devido a um teo-
rema da funcao inversa, conseguiremos a controlabilidade local exata por trajetorias do
sistema N-dimensional de Navier-Stokes com N-1 controles escalares.
3.1 Formulac
ao do problema
Seja RN (N=2 ou N=3) e aberto, limitado e conexo com fronteira de C 2 e O
e um subconjunto aberto e dado T > 0 chamemos por Q = (0, T ), = (0, T ),
= e (x) e o vetor normal unitario de em um ponto x . Nos estudaremos a
controlabilidade local exata por trajetorias do problema de Navier-Stokes.
65

y

y + (y.)y + p = v1O , em (0, T )
t

div(y) = 0,

em (0, T )
(3.1)

y = 0, sobre (0, T )

y(0) = y ,
0 em
(
H, se N = 2
chamemos por E = 3
[L4 ()] H, se N = 3
Para nosso problema 3.1 assumiremos que a regiao de controle O e adjacente a fronteira
, isto e:
(3.2) x0 e > 0 tal que B(x0 , ) O
Aqui um esboco ilustrado de como O e adjacente na fronteira de
(0 , )
Consideremos o problema:

y

y + ( y +
y .) p = 0, em (0, T )
t

div(

y ) = 0, em (0, T )
(3.3)

y = 0, sobre (0, T )

y = y ,
0 em
66
Nos queremos provar que o problema 3.1 e localmente exatamente controlavel por tra-
jetorias isto e para (
y , p) solucao fraca do problema 3.3 satisfazendo :
!
N y > 1, se N=2
(3.4) y L (Q) e L2 (0, T, L ()N );
t > 6/5, se N=3
e possvel achar > 0 tal que para qualquer y0 E que cumpre ky0 y0 kE < isso vai
implicar que exista v L2 (O (0, T ))N com vk = 0 associado a (y, p) (solucao de 3.1)
satisfazendo y(T ) = y(T ).
O teorema que nos vai dar a controlabilidade local exata por trajetorias de (3.1) e o
seguinte:
Teorema 3.1. Assumindo que O satisfazendo (3.2). Entao para qualquer T > 0 (3.1)
e localmente exatamente controlavel no tempo T pela trajetoria (
y , p) satisfazendo (3.3)
com controle v L2 (O (0, T ))N tendo uma componente nula.
Para conseguir provar este teorema nos precisamos alguns resultados previos, primeiro
denotando:
z = y y, q = p p, z0 = y0 y0 tem-se de (3.1) e (3.3)

z

z + ( y + (z.)z + q = v1O , em (0, T )
y .)z + (z.)
t

div(z) = 0,

em (0, T )
(3.5)

z = 0, sobre (0, T )

z(0) = z ,
0 em
Tem-se que a controlabilidade local nula de (3.5) equivale a controlabilidade local por
trajetorias de (3.1).
3.2 Resultados
Para obter a prova do teorema 3.1 vamos a estudar o problema linear de (3.5) adicio-
nando uma funcao f na parte direita para ter o seguinte problema:
67

y

y + ( y + p = f + v1O , em (0, T )
y .)y + (y.)
t

div(y) = 0,

em (0, T )
(3.6)

y = 0, sobre (0, T )

y(0) = y ,
0 em
Para O0 O aberto tal que O0 vamos ter pelo teorema 1.51 de Fursikov existe
tal que 0 = 0 sobre , 0 > 0 em e | 0 | > 0 em \ O0
0 C 2 ()
Definamos as seguintes funcoes:
e 4 m| | e(m| | + (x))
5 0 0 0

(x, t) = .
t4 (T t)4
e(m| | + (x))
0 0

(x, t) = .
t4 (T t)4
O estado adjunto de 3.6 e:

(D)
y + = g, em (0, T )
t

div() = 0,

em (0, T )
(3.7)

= 0, sobre (0, T )

(T ) = ,
0 em
i j
onde D = (D)ij = ( + ).
xj xi
3.3 Desigualdade de Carleman

Lema 3.2. Assumindo que N = 3, 1 (x0 ) 6= 0 com O satisfaz (3.2) e y satisfaz (3.3).
Entao existem constantes positivas c,
e
com 0 <
< 7
e 8 > 0 dependendo
68
de , O, T , e y tal que para qualquer g L2 (Q)3 e 0 H a solucao associada a
(3.7) satisfaz
Z Z
4+2

2
2 2
12 4
e l (l || + l || )dxdt c e l4 l30 |g|2 dxdt+

4

Q
Q
(3.8)
Z
16+14

132 2 2

e l4 l (|2 | + |3 | )dxdt
O(0,T )
onde
2
T
para todo 0 t T /2
(3.9) l(t) = 4
t(T t) para todo T /2 t T
Demonstra
cao: Ver E.F.Cara-S.Guerrero([5], p. 151).
Lema 3.3. Assumindo que N = 2, 1 (x0 ) 6= 0, O satisfaz (3.2) e y satisfaz (3.3).

Entao existem constantes positivas c,
e
com 0 <
< 7
e 8 > 0 dependendo
so de , O, T e y tais que para qualquer g L2 (Q)2 e 0 H a solucao associada a
(3.7) satisfaz
Z Z

4+2

2 2 2
12 4
e l4 (l || + l || )dxdt c e l4 l30 |g|2 dxdt+

Q
Q
(3.10)
Z
16+14

132 2

e l4 l |2 | dxdt
O(0,T )
onde l e a funcao definida em (3.9)
Demonstra
cao: Ver E.F.Cara-S.Guerrero([5], p. 154).
observac
ao 3.4. Na prova do lema 3.2 os
e
sao da forma:
= s0 (e5/40 m| | e0 m| | ).
0 0
e = s0 (e5/40 m| | e(m+1)| | ).
0 0

e e satisfacam que 0 <

Fazendo 0 muito grande se consegue que 7 > 0,
e < e 8e
15 > 0
alem disso tambem se pode assumir que 16e
69
observac
ao 3.5. (Desigualdade de Observabilidade) Assumindo que se satisfazem as
condicoes do lema 3.2 e sendo a solucao de 3.7, entao se consegue provar que:
Z Z
2 2 2 4+2
12 4
k(0)k2H l30 |g|2 dxdt+
e
e l4 (l || + l || )dxdt + c e l4
Q Z Q
16+14
2 2
132
e l4 l (|2 | + |3 | )dxdt .
O(0,T )
70
3.4 Controlabilidade Nula do Problema Linear
Consideremos o seguinte problema:

y

y + ( y + p = f + v1O , em (0, T )
y .)y + (y.)
t

div(y) = 0,

em (0, T )
(3.11)

y = 0, sobre (0, T )

y(0) = y ,
0 em
Onde O satisfaz (3.2) e y satisfaz (3.3). O que nos queremos e achar um controle v com
uma componente nula tal que a solucao de (3.11) cumpre com y(T ) = 0 sobre e para
isso vamos introduzir algumas funcoes de peso.

2 = e l 4 l 6
2

3 = e l4 l15
87

4 = e l4 l66 ,
onde l e como em (3.9),
e
sao constantes como no lema 3.2 e o 3.3 e devemos lembrar
que 0 <
< 7
e 0 < 8 .
Nos precisamos algumas condicoes especificas de f e y0 para ter a controlabilidade nula

de (3.11)
y
(3.12) Ly = y + (
y .)y + (y.)
y.
t
Definamos os seguintes espacos:
1/2
E0 = {(y, v) : 3 y, 4 v1O L2 (Q)N , v1 = 0, l2 2 y L2 (0, T, V ) L (0, T, H)}
Para N = 2
71
E2 = {(y, p, v) : (y, v) E0 , l4 2 (Ly + p v1O ) L2 (0, T, H 1 ()2 )}
Para N = 3
1/2
E3 = {(y, p, v) : (y, v) E0 , l2 2 y L4 (0, T, L12 ()3 ), l4 2 (Ly+
p v1O ) L2 (0, T, W 1,6 ()3 )}
EN e um espaco de Banach com a norma:

1/2 1/2
k(y, p, v)kE2 = k2 yk2L2 (Q)2 + k4 v1O k2L2 (Q)2 + kl2 2 yk2L2 (0,T,V ) + kl2 2 yk2L (0,T,H) +
1/2
2
kl4 2 (Ly + p v1O )kL2 (0,T,H 1 ()2 )
e

1/2 1/2
k(y, p, v)kE3 = k3 yk2L2 (Q)3 + k4 v1O k2L2 (Q)3 + kl2 2 yk2L2 (0,T,V ) + kl2 2 yk2L (0,T,H) +
1/2
1/2 2
kl2 2 yk2L4 (0,T,L12 ()) 4
+ kl 2 (Ly + p v1O )kL2 (0,T,W 1,6 ()3 )
ao 3.6. Assumindo que 1 (x0 ) 6= 0, O satisfaz (3.2) e y satisfaz (3.3). Dado

Proposic
y0 E e assumindo que
(
4 L2 (0, T, H 1 ()2 ), se N = 2
l 2 f
L2 (0, T, W 1,6 ()3 ), se N = 3
Entao podemos achar um controle v tal que a solucao associada de (3.11) satisfaz (y, p, v)
EN . Em particular v1 = 0 e y(T ) = 0.
Demonstra
cao: So vamos considerar o caso N = 3, quando N = 2 resulta mais facil
Z Z
1

2

inf ( |3 y| dxdt + |4 v|2 dxdt)

2 Q O(0,T )

restrita a v L2 (Q)3 , supp(v) O (0, T ), v1 = 0 e

(3.13)
Ly + p = f + v1O , em (0, T )

em (0, T )

div(y) = 0,

y = 0,

sobre (0, T )

y(0) = y0 , y(T ) = 0, em

72
Nos vemos que uma solucao ( y , p, v)
y , p, v) de (3.13) e um bom candidato para que (
E3 . Assumindo que (3.13) tem uma solucao (
y , p, v). Entao pelo principio de Lagrange
existem z e q tais que

y = 32 (L z +
q ), em (0, T )

div(z ) = 0, em (0, T )
(3.14)

v1 = 0, vi = 42 zi (i = {2, 3}), em O (0, T )

z = 0, sobre (0, T )

Seja:
Z
2 4
P0 = {(w, h) C (Q) ; div(w) = 0 em Q, w = 0 sobre (0, T ), h(x, t)dx = 0}
O
Para todo (z, q) e (w, h) que pertencem a P0
Z Z
a ((z, q), (w, h)) = 32 (L z
+ q)(L w + h)dxdt + 42 (z2 w2 + z3 w3 )dxdt
Q O(0,T )
P0 e um espaco vetorial e para que a(, ) seja um produto interno em P0 so fica provar
que para (w, h) P0 tal que a ((w, h), (w, h)) = 0 implique que (w, h) = (0, 0)
Com efeito se a ((w, h), (w, h)) = 0 entao

Z Z
2
32
|L w + h| dxdt+ 42 (w22 +w32 )dxdt = 0 daqui tem-se 32 |L w + h|2 =
Q O(0,T )
24

0, mas como 32 =e l4 l 30
> 0 para todo t (0, T ) portanto
(3.15) L w + h = 0
pela desigualdade de Carleman no lema 3.2 tem-se

Z Z
24
2 2
e l (l 12
|w| + l 4
|w| )dxdt c 32 |L w + h|2 dxdt+
Q Q
Z
42 (|w2 |2 2
+ |w3 | )dxdt
Z O(0,T )
24
2 2
e l (l12 |w| + l4 |w| )dxdt ca ((w, h), (w, h)) = 0,
Q
73
2
2

entao e l4 l12 |w|2 = 0 em Q e como e l4 l12 > 0 em (0, T ) dai tem-se w = 0 quase
sempre em Q e substituindo em (3.15)
Z se vai ter que h = 0 como consequencia de isto
se vai ter que h = c(t) mas como h(t)dx = 0 entao h = 0 e portanto (w, h) = (0, 0).
O
Portanto a (, ) e um produto interno.
Pelo teorema 1.55 (completacao) existe um espaco de Hilbert P com o produto interno
a(, ) tal que P0 P
Seja G:P R
,
(w, h) hG, (w, h)i
Z T Z
onde hG, (w, h)i = hf (t), w(t)iH 1 H 1 dt + y0 w(0)dx.
0
0
Esta bem definido pois f L2 (0, T, W 1,6 ()3 ) L2 (0, T, H 1 ()3 ) e y0 , w(0) L2 (Q)N
e facil ver que G e linear.
Vejamos que G e continua

Z T Z
|hG, (w, h)i| hf (t), w(t)iH 1 H01 dt + |y0 w(0)| dx,

0
como l4 2 f L2 (0, T, W 1,6 ()3 ) devido ha isto l4 2 f L2 (0, T, H 1 ()3 )
l4 2 f L2 (0,T,H 1 ()3 ) l4 21 w L2 (0,T,H 1 ()3 ) + ky0 kL2 ()3 kw(0)kL2 ()3

|hG, (w, h)i|
0
2
|hG, (w, h)i|2 c l4 21 w L2 (0,T,H 1 ) + kw(0)k2L2 ()3
0
Z T Z Z
2 2
= c( e l4
4
l |w| dxdt + |w(0)|2 dx)
0
Da Desigualdade de Observabilidade tem-se

Z Z
2 2
|hG, (w, h)i| c( 32
|L w + h| dxdt + 42 (|w2 |2 + |w3 |2 )dxdt)
Q O(0,T )
|hG, (w, h)i| c k(w, h)kP ,
entao G e continua.
74
Agora fazendo uso do teorema 1.56 de Lax Milgram pois a(, ) e uma forma bilinear
continua e coerciva e G P 0 . Entao existe um u
nico (w, P tal que
h)

(3.16) a (w, (w, h) = hG, (w, h)i para todo (w, h) P
h),

2
y = 3 (L w + h), div(w)
= 0 em (0, T )

v1 = 0, vi = 42 wi , i = 2, 3 em O (0, T )

sobre (0, T )

w = 0
Z Z
| 2
y | dxdt = 2 dxdt,
32 32 |L w + h|
Q Q
24

como 32 = e l l6 e limitado em [0, T ]
Z Z
| 2
y | dxdt c 2 dxdt
32 |L w + h|
Q Q
< +.
16+14

Por tanto y L2 (Q)N , da mesma maneira como 42 = e l4 e limitado em [0, T ]
tem-se v L2 (Q)N e consequentemente
Z Z
2
(3.17) 32 |
y | dxdt < + e v |2 dxdt < +,
42 |
Q O(0,T )
e de (3.17) como 32 + quando t T tem-se y(T ) = 0.
De (3.16) vamos ter a seguinte igualdade
(3.18)
Z Z T Z Z

y(L w + h)dxdt = hf (t), w(t)iH 1 ()3 H 1 ()3 dt + y0 w(0)dx + v1O wdxdt.
0
Q 0 Q
Consideremos o seguinte problema

Ly + p = f + v1O , em (0, T )

div( y ) = 0, em (0, T )
(3.19)

y = 0, sobre (0, T )

y(0) = y0 , em

75
y , p) e solucao por transposicao de 3.19 se y L2 (Q)N e
Dizemos que (
Z Z T Z Z
(3.20) ybdxdt = hf (t), w(t)iH 1 H 1 dt + v1O wdxdt + y0 w(0)dx.
0
Q 0 Q
Para todo b L2 (Q)N e w junto h solucao de

L w + h = b, em (0, T )

div(w) = 0, em (0, T )

w = 0, sobre (0, T )

w(T ) = 0, em

De (3.18) se ve que y satisfaz (3.20) e como so existe uma u

nica solucao por transposicao
temos que y = y e por teorema 1.47, como y0 H e f + v1O L2 (0, T, H 1 ()3 ). Entao
nica solucao fraca de (3.19) que fica em L (0, T, H) L2 (0, T, V ) isto nos
existe uma u
leva a que y L (0, T, H) L2 (0, T, V ).
y , p, v) E3 , se sabe que v L2 (0, T, H 1 ()N ), f = (l4 2 f )(l4 21 )
Vamos provar que (
L2 (0, T, W 1,6 ()3 ) L2 (0, T, H 1 ()3 ) e y0 E e de (3.17) temos 3 y L2 (Q)3
(3.21) 4 v L2 (Q)3 e v1 = 0
1/2
A continuacao mostraremos que l2 2 y L2 (0, T, V ) L (0, T, H) consideremos y =
1/2 1/2 1/2
l2 2 y, p = l2 2 p e f = l2 2 (f + v1O ) verifica-se cumpre
1/2

Ly + p = f + (l2 2 )t y, em (0, T )

div(y ) = 0,

em (0, T )
(3.22)

y = 0, sobre (0, T )
1/2

y (0) = l2 (0)2 (0)y0 , em
1/2 1/2 1/2
Como l2 2 L (Q)3 e l4 2 f L2 (0, T, H 1 ()3 ). Entao l2 2 f = (l4 2 f )(l2 2 )
1/2
2
L (0, T, H 1 3
() ) da mesma maneira l2 2 41 3 2 3
L (Q) e 4 v L (Q) e como con-
1/2
sequencia de isto l2 2 v L2 (0, T, H 1
() ) por tudo isto f L2 (0, T, H 1 ()3 ).
3
Tambem
1/2

(l2 2 )t = (l5 e 2l4 )t

l0 e 2l4} + l|10 2
= |5l6{z {ze 2l4 l}0
limitado limitado
76
1/2
daqui temos (l2 2 )t y L2 (0, T, H 1 ()3 ). Entao pelo teorema 1.47 a solucao de
(3.22) pertence a L2 (0, T, V ) L (0, T, H) portanto
1/2
(3.23) l2 2 y L2 (0, T, V ) L (0, T, H),
tambem
(3.24) l4 2 (L p v1O ) = l4 2 f L2 (0, T, W 1,6 ()3 )

y +
1/2
De (3.22) , (3.23) e (3.24) so falta provar que l2 2 y L4 (0, T, L12 ()3 ) para dizer que
y , p, v) E3
(
Definamos B : L4/3 (0, T, L12/11 ()3 ) R, onde
Z Z T
2 1/2
hB, ki = l (0)2 (0)y0 z(0)dx + hF, ziW 1,6 W 1,6 dt, donde pelo lema 1.50 z e a
0
0
u
nica solucao de:
z

z + q = k, em (0, T )
t

div(z) = 0, em (0, T )

z = 0, sobre (0, T )

z(T ) = 0, em

1,6/5 1/2
Com z C(0, T, L4/3 ()3 L2 (0, T, W0 ()3 ) e F = f +(l2 2 )t y.(y y y ),
y +
y L2 (0, T, V ) L2 (0, T, L6 ()9 ) entao (
y y +y
y ) L2 (0, T, W 1,6 ()3 ) e devido
a que f , y L2 (0, T, W 1,6 ()3 ).
B esta bem definida, linear e continua. Vejamos que e continua
1/2
|hB, ki| kl2 (0)2 (0)y(0)kL4 () kz(0)kL4/3 ()3 +
kF kL2 (0,T,W 1,6 ()3 ) kzkL2 (0,T,W 1,6 ()3 )

0
c(kzkC(0,T,L4/3 ()3 ) + kzkL2 (0,T,W 1,6 ()3 ) )

0
= c kzkC(0,T,L4/3 ()3 )L2 (0,T,W 1,6 ()3 )
c kkkC(0,T,L12/11 ()3 )
Portanto B e continua.
77
Nos sabemos que y e solucao de
y

1/2

y + p = f + (l2 2 )t y (y y + y y ), em (0, T )
t

(3.25) div(y) = 0, em (0, T )
y = 0, sobre (0, T )

1/2
y(0) = l2 (0)2 (0)y0 , em

e do fato de ser y e tambem solucao por transposicao de (3.25), se cumpre
Z Z Z T
2 1/2
(3.26) y kdxdt = l (0)2 (0)y0 z(0)dx + hF, ziW 1,6 W 1,6 dt
0
Q 0
Para todo k L4/3 (0, T, L12/11 ()3 ) onde z e q sao solucao de
z

z + q = k, em (0, T )
t

div(z) = 0, em (0, T )

z = 0, sobre (0, T )

z(T ) = 0, em

Da definicao de B e de (3.26) se tem que

Z
hB, ki = y kdxdt, para todo k L4/3 (0, T, L12/11 ()3 )
Q

daqui temos y (L 4/3
(0, T, L12/11 ()3 ))0 entao y L4 (0, T, L12 ()3 ) e como con-
y , p, v) E3 .
sequencia de todo isto (
3.5 Problema N
ao Linear
O teorema que nos vai a dar la controlabilidade local nula do sistema (3.5) e o seguinte:
Teorema 3.7. Assumindo que O satisfaz (3.2). Entao para todo T > 0 (3.5) e localmente
nulo controlavel com um controle v L2 (O (0, T ))N tendo uma componente nula.
Demonstra
cao: Para provar o teorema de acima vamos fazer uso do teorema 2.7(Liusternik),
nosso caso B1 = EN e
(
L2 (l4 2 ; 0, T, H 1 ()2 ) H, se N = 2
B2 =
L2 (l4 2 ; 0, T, W 1,6 ()3 ) (H L4 ()3 ), se N = 3
78
A : B1 B2 onde A(y, p, v) = (Ly + (y.)y + p v1O , y(0)), vejamos que satisfazem
as condicoes do teorema 2.7(Liusternik)
Caso N=3:
Vamos provar que A esta bem definida isto e para todo (y, p, v) E3 se deve implicar
que A(y, p, v) B2 , por o que so devemos provar que Ly + (y.)y + p v1O
L2 (l4 2 ; 0, T, W 1,6 ()3 ) e y(0) H L4 ()3
1/2
Como (y, p, v) E3 entao l2 (0)2 (0)y(0) H de aqui tem-se y(0) H da mesma
1/2
maneira l4 2 (Ly + p v1O ) L2 (0, T, W 1,6 ()3 ) e l2 2 y L4 (0, T, L12 ()3 ) entao
1/2 1/2 1/2 1/2
l2 2 y l2 2 y L2 (0, T, L6 ()3 ) e como l4 2 (y.)y = .(l2 2 y l2 2 y)
L2 (0, T, W 1,6 ()3 ), se vai ter que l4 3 (Ly) e por tanto A(y, p, v) L2 (l4 2 ; 0, T, W 1,6 ()3 )
(H L4 ()3 )
Agora como em A(y, p, v) aparecem partes lineares as quais sao de classe C 1 (B1 , B2 )
por isto so e preciso provar que B : B1 B1 B2 , com B((y 1 , p1 , v 1 ); (y 2 , p2 , v 2 )) =
(.(y 1 y 2 ), 0) e continuo.
Com efeito vamos provar que a aplicacao bilinear B e continua. Para y 1 , y 2 B1 se tem
que:
Z T
B((y 1 , p1 , v 1 ); (y 2 , p2 , v 2 )) 2 = kl4 2 (y 1 y 2 )k2W 1,6 ()3 dt

B2
0
Z T
1/2 1/2
= k(l2 2 y 1 l2 2 y 2 )k2W 1,6 ()3 dt
0
Z T 2
2 1/2 1 2 1/2 2
c1 l 2 y l 2 y dt
0 L6 ()3
Z T Z T
1/2 1/2
c1 c2 kl2 2 y 1 k2L12 ()3 dt kl2 2 y 2 k2L12 ()3 dt
0 0
1/2 1/2
= c1 c2 kl2 2 y 1 k2L2 (0,T,L12 ()3 ) kl2 2 y 2 k2L2 (0,T,L12 ()3 )
Pelo de acima temos que
kB((y 1 , p1 , v 1 ); (y 2 , p2 , v 2 ))kB2 ck(y 1 , p1 , v 1 )kB1 k(y 2 , p2 , v 2 )kB1
Por tanto B e continua e como consequencia de isso A C 1 (B1 , B2 )
79
Caso N=2:
Em este caso B1 = E2 . Vamos provar que A esta bem definido, seja (y, p, v) E2
devemos provar que Ly + (y.)y + p v1O L2 (l4 2 ; 0, T, H 1 ()2 ), como (y, p, v)
1/2
estao em E2 entao l2 (0)2 (0)y(0) H de aqui se tem que y(0) H.
Como (y, p, v) esta em E2 entao se cumpre que l4 2 (Ly +pv1O ) L2 (0, T, H 1 ()2 )
1/2 1/2 1/2
e como l4 2 (y.)y = (l2 2 y l2 2 y) e pelo fato de l2 2 y L2 (0, T, V )
1/2 1/2
L (0, T, H) como consequencia de isto se tem l2 2 y l2 2 y L2 (0, T, L2 ()4 ).
1/2 1/2
entao (l2 2 y l2 2 y) L2 (0, T, H 1 ()2 ) tem-se Ly + (y.)y + p v1O
L2 (l4 2 ; 0, T, H 1 ()2 ) por o que A(y, p, v) B2 por tanto A esta bem definida.
Agora vamos a provar que A C 1 (B1 , B2 ). De maneira muito similar ao caso 3 nos so
devemos provar que a forma bilinear B : B1 B1 B2 com B((y 1 , p1 , v 1 ); (y 2 , p2 , v 2 )) =
(.(y 1 y 2 ), 0) seja continua. Sejam (y 1 , p1 , v 1 ), (y 2 , p2 , v 2 ) B1 .
2 2
kB((y 1 , p1 , v 1 ); (y 2 , p2 , v 2 ))kB2 = k(.(y 1 y 2 ), 0)kB2
Z T
= kl4 2 (y 1 y 2 )k2H 1 ()2 dt
0
Z T
1/2 1/2
= k(l2 2 y 1 L2 2 y 2 )k2H 1 ()2 dt
0
Z T
1/2 1/2
c1 kl2 2 y 1 l2 2 y 2 k2L2 ()4
0
Z T Z T
2 1/2 2 2

1/2
c1 c2 kl2 2 y 1 k2L4 ()2 dt l 2 y dt
0 0 L4 ()2
1/2 1/2
= c1 c2 kl2 2 y 1 k2L2 (0,T,L4 ()2 ) kl2 2 y 2 k2L2 (0,T,L4 ()2 )
c1 c2 k(y 1 , p1 , v 1 )k2B1 k(y 2 , p2 , v 2 )k2B1
y por tanto tem-se kB((y 1 , p1 , v 1 ), (y 2 , p2 , v 2 ))kB2 c k(y 1 , p1 , v 1 )kB1 k(y 2 , p2 , v 2 )kB1 desta
maneira B e continua e assim A C 1 (B1 , B2 )
Dos casos quando N = 2 ou N = 3 vamos agora provar que A0 (0, 0, 0) : B1 B2 e
sobrejetiva. Fazendo conta se consegue que A0 (0, 0, 0)(y, p, v) = (Ly + p v1O , y(0))
para todo (y, p, v) B1 . Seja (f0 , y0 ) B2 pela proposicao 3.6 existe (y, p, v) EN tal
que satisfaz A0 (0, 0, 0)(y, p, v) = (f0 , y0 ) e por tanto A0 (0, 0, 0) e sobrejetiva, entao por o
80
teorema 2.7 de Liusternik, se tem que existe > 0 tal que k(f0 , y0 )kB2 < entao existe
uma solucao da equacao A(y, p, v) = (f0 , y0 ) com (y, p, v) B1 .
Isto dos dize que (3.5) e localmente nulo controlavel com um controle v que tem uma
componente nula.
Finalmente como a controlabilidade local nula de (3.5) tendo o controle uma componente
nula vai implica a controlabilidade local exata por trajetorias de (3.1) com um controle
v tendo uma componente nula temos provado o teorema 3.1
81
Bibliografia
[1] Adams, R. A., - Sobolev Spaces, New York, Academic Press (1975).
[2] Brezis, H., - Analisis funcional, Teora y aplicaciones, Alianza Editorial (1980).
[3] Brezis, H., - Functional Analysis, Sobolev Spaces and partial Differential Equations,
Rutgers University, March (2010).
[4] E. Kreyszig., - Introductory Functional Analysis with Applications , University of

Windsor, (1978).
[5] Fernandez Cara, Sergio Guerrero, O.Y.Imanuvilov. & Jean-Pierre Puel, - Some con-
trollability for the N-dimensional Navier-Stokes and Bussinesq Systems with N-1
scalar controls, SIAM J.Control Optim. v. 45, n.1, (2006), p. 146-173.
[6] E. Fernandez Cara, S. Guerrero, O. Yu. Imanuvilov.& J.-P.Puel, - Local exact con-
trollability of the Navier Stokes System, J. Math. Pures Appl. 83 (2004), p. 1501-
1542.
[7] Cazenave, T., - An introduction to nonlinear Schrodinger equations, Textos de Meto-

dos Matematicos numero 26, Instituto de Matematica - UFRJ, Rio de Janeiro,
(1996).
[8] J.-LIONS, Optimal Control of Systems Governed by Partial Differentia Equations,

Springer-Verlag Berlin Heidelberg, New York (1971).
[9] O. Imanuvilov, J.-P. Puel, & M. Yamamoto., - Carleman estimates for second order
non homogenous parabolic equations, to appear.
[10] Evans, L. C., - Partial Differential Equations, Berkeley Mathematics Lecture Notes,
(1993).
82
[11] Jean-Pierre Puel.,-Controllability of Navier-Stokes Equations, Laboratoire de Math-
ematiques de Versailles, (2012)
[12] O. Yu. Imanuvilov, J-P. Puel., - Global Carleman estimates for weak elliptic non
homogeneous Dirichlet problem, Int. Math. Research Notices, 16 (2003), p.883-913.
[13] A. Fursikov., O. Yu. Imanuvilov,Controllability of Evolution Equations, lecture Notes

34, Seoul National University, Korea, 1996.
[14] Lions, J. L., - Quelques Methodes de Resolutions des Problèmes aux Limites non
Lineaires, Dunod Gauthier-Villars, Paris, (1969).
[15] Medeiros, L. A. & Milla Miransa, M., - Espacos de Sobolev (Iniciacao aos Problemas
Elticos nao Homogeneos), Instituto de Matematica - UFRJ, Rio de Janeiro, (1999).
[16] Medeiros, L. A e Milla Miranda, M., - Introducao às Equacoes Diferenciais Parciais
Nao Lineares, Instituto de Matematica-UFRJ, (1997).
[17] Medeiros, L. A. & Milla Miranda, M., - Introducao aos Espacos de Sobolev e às
Equacoes Diferenciais Parciais, Instituto de Matematica - UFRJ, Rio de Janeiro,
(2011).
[18] Medeiros, L. A., Rivera, P. H., - Espacos de Sobolev e Equacoes Diferenciais Parciais,
Textos de Metodos Matematicos, Instituto de Matematica-UFRJ, n
umero 9, (1975).
[19] Temam, R., - Navier-Stokes Equations, Theory and Numerical Analysis, North-
Holland, Amsterdam, (1977).
[20] V. M. ALEKSEEV, V. M TIKHOMIROV, S. V. FOMIN, Optimal Control, Translated from

the Russiam by V. M. Volosov, Contemporary Soviet Mathematics. Consultants
Bureau, New York, 1987.
[21] J.-L. Lions, E. Magenes, Problèmes aux limites non homogènes et applications, Vol.
2, Paris, Dunod, 1968.
83

Controlabilidade Do Sistema N-Dimensional de Navier-Stokes Com N-1 Controles Escalares

Transféré par

Informations du document

Titre original

Copyright

Formats disponibles

Partager ce document

Partager ou intégrer le document

Options de partage

Avez-vous trouvé ce document utile ?

Ce contenu est-il inapproprié ?

Droits d'auteur :

Formats disponibles

Controlabilidade Do Sistema N-Dimensional de Navier-Stokes Com N-1 Controles Escalares

Transféré par

Droits d'auteur :

Formats disponibles

UNIVERSIDADE FEDERAL

Controlabilidade do sistema N-dimensional

Dany Nina Huaman

Dissertacao submetida ao Corpo Docente

Orientador: Juan Bautista Lmaco Ferrel

Niteroi, 27 de Marco de 2015

Dissertacao submetida ao Corpo Docente do Instituto de Matematica e Estatstica da

Area de concentracao: Matematica

Prof. Dr. Juan Bautista Lmaco Ferrel

Prof. Dr. Aldo Amilcar Bazan Pacoricona

Prof. Dr. Enrique Fernandez Cara

Prof. Dr. Adan Jose Corcho Fernandez

Prof. Dr. Haroldo Rodrigues Clark

Niteroi, 27 de marco de 2015

Aos meus pais Doris e Maximo Nina,

Um agradecimento especial ao meu orientador, o professor Juan Lmaco Ferrel, pela

` coordenacao de Pos-Graduacao pelo apoio nos momentos difceis .

A minha amiga Jany Meirelles quem me ajudo a nao desistir.

A meus amigos: Reillon Santos, Genyle Nascimentos, Israel Diaz, Miguel Nu

` CAPES (Coordenacao de Aperfeicoamento de pessoal de Ensino Superior) pelo apoio

O objetivo principal desta dissertacao e estabelecer a controlabilidade local por trajetoria

y + (y.)y + p = v1O , em (0, T )

y + (y.)y + p = v1O , in (0, T )

Keywords System of Navier-Stokes; Local controllability for trajectories; Carleman in-

2 Controlabilidade do sistema de Navier-Stokes N dimensional com N

3 Controlabilidade do sistema de Navier-Stokes N-dimensional com N-1

Consideremos o seguinte sistema de Navier-Stokes:

Onde o domnio e um aberto de RN (N=2 ou N=3), com fronteira = de classe

Em (a) a funcao y e a velocidade de um fluido viscoso incompressvel (viscosidade igual

Todas as derivadas sao no sentido das distribuicoes de Laurent-Schwartz e (y.)y deno-

O operador laplaciano y = (y1 , ..., yN ) onde

Dizemos que (a) e localmente exatamente controlavel por trajetorias se para (

Existe > 0 tal que para qualquer y0 E e ky0 y0 kE se possa encontrar um

Obter a desigualdade de Carleman e a desigualdade de Observabilidade do estado

Estudar a controlabilidade local nula do sistema linearizado de (a) e obter um

Obter a controlabilidade local exata por trajetoria de (a) a partir do teorema da

(i) Se xn * x em (E, E 0 ) entao hf, xn i hf, xi, f E 0 ;

(ii) Se xn x forte entao xn * x fracamente para (E, E 0 );

(iii) Se xn * x em (E, E 0 ) e se fn f fortemente em E 0 (isto e, kfn f kE 0 0)

ao 1.5. Seja E um espaco de Banach e seja J a injecao canonica de E em E 00 .

Quando o espaco E e reflexivo identifica-se implicitamente E e E 00 (com ajuda do

Teorema 1.6. (Banach-Alaoglu-Bourbaki). Sejam E um espaco de Banach e E 0 o

BE 0 = {f E 0 ; kf k 1} e compacto na topologia fraca estrela

Teorema 1.7. Sejam E um espaco de Banach separavel e E 0 o seu dual topologico.

BE 0 = {f E 0 ; kf k 1} e metrizavel na topologia fraca estrela.

Reciprocamente, se BE 0 e metrizavel na topologia fraca estrela, entao E e separavel.

O primeiro resultado (o corolario) e uma consequencia do Teorema 1.6 e Teorema 1.7.

Teorema 1.9. Seja E um espaco de Banach reflexivo e suponhamos que a sequencia

ao 1.11. Denota-se por C0 () o espaco vetorial das funcoes contnuas e infini-

i) Existe um conjunto compacto K tal que

ii) D D uniformemente em K para todo multi-ndice .

O espaco vetorial C0 () munido da nocao de convergencia definida acima sera repre-

ii) T e continua, isto e, se uma sequencia ( )N converge, em D () para , entao,

O valor da distribuicao T na funcao teste sera representado por hT, i. Equipa-se o

e linear e continua no sentido da convergencia definida em D0 (). Isto significa que

(1.2) lim Tv = T em D0 () entao lim D Tv = D T em D0 ()

1.3 Os Espacos Lp()

ao 1.12. Sejam Rn um subconjunto aberto e p R com 1 p < ; e

O espaco Lp () com 1 p < e um espaco de Banach equipado com a norma

ao 1.13. Seja Rn um subconjunto aberto; e definido

L () = {f : R; f mensuravel e Cconstante tal que |f (x)| C q.s em }.

O espaco L () e um espaco de Banach equipado com a norma

kf kL () = inf{C; |f (x)| C q.s em }.