O Teorema de Lax-Milgram e Aplica co es

Thiago Marciano

19 de Junho de 2013

Orientador: Anderson Luis de Albuquerque de Ara ujo Universidade Federal de Vi cosa Departamento de Matem atica

Thiago Marciano

O Teorema de Lax-Milgram e Aplica co es

Teorema de Lax-Milgram
Teorema (Lax-Milgram) H um espa co de Hilbert com ., . e ||.||; a(u , v ) : H H R uma forma bilinear, cont nua e coerciva. H, !u H ; (v ) = a(u , v ), v H . (1)

E, se a(u , v ) for sim etrica ! u H ; 1 (1) a(u , v ) (u ) = min v H 2

Demonstra c ao

1 a(v , v ) (v ) 2

(Aplica c oes)

Thiago Marciano

O Teorema de Lax-Milgram e Aplica co es

Teorema de Lions-Stampacchia
Teorema (Lions-Stampacchia) H um espa co de Hilbert com ., . e ||.||; a(u , v ) : H H R uma forma bilinear, cont nua e coerciva; K H convexo, fechado e n ao-vazio. H, ! u K ; a(u , v u ) (v u ), v K . (2)

E, se a(u , v ) for sim etrica ! u K ; 1 (2) a(u , v ) (u ) = min v K 2

Esquema da demonstra c ao Demonstra c ao Thiago Marciano

1 a(v , v ) (v ) 2

Demonstra c ao Lax-Milgram

(Aplica c oes)

O Teorema de Lax-Milgram e Aplica co es

Teorema da Proje c ao sobre um convexo fechado

Teorema (Proje c ao sobre um convexo fechado) H um espa co de Hilbert com ., . e ||.||; K H convexo, fechado e n ao-vazio. x H, ! u K ; ||u x || = dist (x , K ) = min ||x v ||
v K

! u H ; x u , v u 0, v K .

Thiago Marciano

O Teorema de Lax-Milgram e Aplica co es

Teorema da Proje c ao sobre um convexo fechado

Teorema (Proje c ao sobre um convexo fechado) H um espa co de Hilbert com ., . e ||.||; K H convexo, fechado e n ao-vazio. x H, ! u K ; ||u x || = dist (x , K ) = min ||x v ||
v K

! u H ; x u , v u 0, v K . Chamamos u K de proje c ao de x sobre K e denotamos u = PK (x ).

Demonstra c ao Lions-Stampacchia Demonstra c ao Lions-Stampacchia Thiago Marciano O Teorema de Lax-Milgram e Aplica co es

A Proje c ao e uniformemente cont nua

Teorema H um espa co de Hilbert com ., . e ||.||; K H convexo, fechado e n ao-vazio. PK : H K e uniformemente cont nua, ou seja, ||PK (x1 ) PK (x2 )|| ||x1 x2 ||, x1 , x2 H .
Demonstra c ao

Thiago Marciano

O Teorema de Lax-Milgram e Aplica co es

Teorema de Riez-Fr echet

Teorema (Riez-Fr echet) H um espa co de Hilbert com ., . e ||.||; H , !y0 H ; (x ) = x , y0 , x H

Thiago Marciano

O Teorema de Lax-Milgram e Aplica co es

Teorema do Ponto xo de Banach

Teorema (Ponto xo de Banach) (X , d ) um espa co m etrico completo n ao vazio; S : X X uma contra c ao estrita, isto e, 0 < k < 1; d (S (v1 ), S (v2 )) kd (v1 , v2 ) v1 , v2 X . !u X ; u = S (u ).
(Lions-Stampacchia) Demonstra c ao

Thiago Marciano

O Teorema de Lax-Milgram e Aplica co es

Aplica c ao
Considere o problema com condi c ao de fronteira de Dirichlet, u + u = f em I = (0, 1) u (0) = u (1) = 0, onde u C 2 ( I ), f e uma fun c ao dada em C ( I ) ou em L2 (I ). (3)

Thiago Marciano

O Teorema de Lax-Milgram e Aplica co es

Aplica c ao
Considere o problema com condi c ao de fronteira de Dirichlet, u + u = f em I = (0, 1) u (0) = u (1) = 0, onde u C 2 ( I ), f e uma fun c ao dada em C ( I ) ou em L2 (I ). Deni c ao Uma solu c ao cl assica de (3) e uma fun c ao u C 2 ( I ) que verica (3)
1 (I ) que verica Uma solu c ao fraca e uma fun c ao u H0

(3)

uv +
I I

uv =
I

1 fv , v H0 (I )

Thiago Marciano

O Teorema de Lax-Milgram e Aplica co es

Da considerando, a(u , v ) = u , v
H 1 (I )

=
I

uv +
I

uv ,

que e uma forma bilinear, cont nua e coerciva. E, : v

I 1 (I ). um funcional de H0

fv ,

Thiago Marciano

O Teorema de Lax-Milgram e Aplica co es

Da considerando, a(u , v ) = u , v
H 1 (I )

=
I

uv +
I

uv ,

que e uma forma bilinear, cont nua e coerciva. E, : v

I 1 (I ). um funcional de H0 1 (I ), tal que, Pelo teorema de Lax- Milgram, segue que !u H0 1 a(u , v ) = (v ); H0 (I )

fv ,

isto e, uv +
I I

uv =
I

1 fv , v H0 (I )

Thiago Marciano

O Teorema de Lax-Milgram e Aplica co es

Refer encias Bibliogr acas

BREZIS, H. Functional Analysis, Sobolev Spaces and Partial Dierential equations. Paris: Spinger, 2011. CAVALCANTI, M. M.; CAVALCANTI, V. N. D. Introdu c ao ` a An alise Funcional. Maring a: UEM/DMA, 2007.

Thiago Marciano

O Teorema de Lax-Milgram e Aplica co es

Muito Obrigado.

Thiago Marciano

O Teorema de Lax-Milgram e Aplica co es

Espa co de Hilbert
Deni c ao H e espa co de Hilbert se e um espa co vetorial munido com produto interno ., . , e se (H , ||.||), com ||.|| = ., . , e um espa co de Banach. onde Deni c ao (H , ||.||) e espa co de Banach, se (H , ||.||) e um espa co vetorial normado, onde (H , d ), com a d (u , v ) = ||u v ||, u , v H, e um espa co m etrico completo.
(Lax-Milgram)

Thiago Marciano

O Teorema de Lax-Milgram e Aplica co es

Forma Bilinear
Deni c ao Uma forma bilinear e uma aplica c ao a(u , v ) : H H R que satisfaz: a(u1 + u2 , v ) = a(u1 , v ) + a(u2 , v ) a(u , v1 + v2 ) = a(u , v1 ) + a(u , v2 ) para todo u1 , u2 , v1 , v2 H e R

(Lax-Milgram)

Thiago Marciano

O Teorema de Lax-Milgram e Aplica co es

Forma Cont nua e Coerciva

Deni c ao Seja H um espa co vetorial com produto interno ., . e norma ||.||. Dizemos que uma forma bilinear a(u , v ) : H H R e (i) cont nua se existe uma constante C > 0 tal que |a(u , v )| C ||u ||||v ||, u , v H . (ii) coerciva se existe uma constante > 0 tal que a(v , v ) ||v ||2 , v H .
(Lax-Milgram) (Demonstra c ao Lions-Stampacchia)

Thiago Marciano

O Teorema de Lax-Milgram e Aplica co es

Espa co Dual Topol ogico

Deni c ao Sejam E e F espa cos normados. L(E , F ) o espa co de todos os operadores lineares limitados, isto e, cont nuos; E = F , usa-se a nota c ao L(E ); F = K = R ou C, denota-se E = L(E , K). O espa co vetorial E chama-se dual topol ogico.
(Lax-Milgram)

Thiago Marciano

O Teorema de Lax-Milgram e Aplica co es

Esquema da Demonstra c ao Teorema Lions- Stampacchia

H , !x H ; (v ) = x , v , v H . Para cada u H , denimos u : H R v u (v ) = a(u , v ). Assim, para cada u H , u H , !xu H ; u (v ) = xu , v v H .

(4)

(5)

(6)

(Lions-Stampacchia)

Thiago Marciano

O Teorema de Lax-Milgram e Aplica co es

Da podemos denir, A: H H u A(u ) = xu , onde u (v ) = x u , v , v H . (5) e (6) a(u , v ) = A(u ), v , u , v H . Armamos que: A e linear; A e coercivo, isto e, > 0; A(u ), u ||u ||2 , u H ; A e cont nua, isto e, C > 0; ||A(u )|| C ||u ||, u H .
Thiago Marciano O Teorema de Lax-Milgram e Aplica co es

(7)

Do exposto acima, dado H , sendo > 0, temos que ! u K ; a(u , v u ) (v u ), v K , (8)

! u K ; x A(u ) + u u , v u 0, v K .

(9)

De acordo com o Teorema da Proje c ao sobre um convexo fechado, o u K procurado e tal que u = PK (x A(u ) + u ).

Thiago Marciano

O Teorema de Lax-Milgram e Aplica co es

Denamos, ent ao, a seguinte aplica c ao: S: K v Mostra-se: dado > 0, S e uma contra c ao estrita, isto e, 0 < k < 1; ||S (v1 ) S (v2 )|| k ||v1 v2 ||, v1 , v2 K ; (11) Usa-se o fato de PK : H K ser uniformemente cont nua; Do Teorema do Ponto Fixo de Banach !u K ; u = PK (x A(u ) + u ) com > 0 solu c ao da inequa c ao 0 < C 2 2 2 + 1 < 1. Isso prova a primeira parte do teorema.
Thiago Marciano (Lions-Stampacchia)

K S (v ) = PK (x A(v ) + v ).

(10)

O Teorema de Lax-Milgram e Aplica co es

Agora, vamos mostrar que, a(u , v ) e sim etrica (1) ! u K ; a(u , v u ) (v u ), v K ,

! u K ; 1 (2) a(u , v ) (u ) = min v K 2

1 a(v , v ) (v ) 2

Thiago Marciano

O Teorema de Lax-Milgram e Aplica co es

Observe que: a(u , v ) produto interno em H ; a(u , u )1/2 norma em H ; a(u , u )1/2 e ||u || s ao equivalentes em H ; Logo, H e Hilbert como a norma a(u , u )1/2

Thiago Marciano

O Teorema de Lax-Milgram e Aplica co es

 H , !y H ; (v ) = a(y , v ), v H Combinando a hipotese (1) com (12) ! u K ; a(y u , v u ) 0, v K . (TPCF) u = PK (y ), e a(y u , y u )1/2 = min a(y v , y v )1/2 .
v K

(12)

! u K ; 1 a(u , v ) (u ) = min v K 2 Portanto segue o resultado.

1 a(v , v ) (v ) 2

(Lax-Milgram) Thiago Marciano

(Lions-Stampacchia)

O Teorema de Lax-Milgram e Aplica co es

Demonstra c ao Teorema Lax-Milgram

Seja H . Neste caso, K = H e portanto, pelo Teorema de Lions-Stampacchia ! u H ; a(u , v u ) (v u ), v H .

Thiago Marciano

O Teorema de Lax-Milgram e Aplica co es

Demonstra c ao Teorema Lax-Milgram

Seja H . Neste caso, K = H e portanto, pelo Teorema de Lions-Stampacchia ! u H ; a(u , v u ) (v u ), v H . Tome w H e fa ca v = w + u . Da desigualdade acima decorre que a(u , w ) (w ), w H .

Thiago Marciano

O Teorema de Lax-Milgram e Aplica co es

Demonstra c ao Teorema Lax-Milgram

Seja H . Neste caso, K = H e portanto, pelo Teorema de Lions-Stampacchia ! u H ; a(u , v u ) (v u ), v H . Tome w H e fa ca v = w + u . Da desigualdade acima decorre que a(u , w ) (w ), w H . Em particular para w , temos a(u , w ) (w ), w H . o que prova a identidade a(u , w ) = (w ), para todo w H .

Thiago Marciano

O Teorema de Lax-Milgram e Aplica co es

Demonstra c ao Teorema Lax-Milgram

Seja H . Neste caso, K = H e portanto, pelo Teorema de Lions-Stampacchia ! u H ; a(u , v u ) (v u ), v H . Tome w H e fa ca v = w + u . Da desigualdade acima decorre que a(u , w ) (w ), w H . Em particular para w , temos a(u , w ) (w ), w H . o que prova a identidade a(u , w ) = (w ), para todo w H . O resto da demonstra c ao decorre da aplica c ao imediata da segunda parte do teorema de Lions-Stampacchia.
(Lax-Milgram)

Thiago Marciano

O Teorema de Lax-Milgram e Aplica co es