Académique Documents
Professionnel Documents
Culture Documents
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
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)
1 a(v , v ) (v ) 2
(Aplica c oes)
Thiago Marciano
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)
1 a(v , v ) (v ) 2
Demonstra c ao Lax-Milgram
(Aplica c oes)
! u H ; x u , v u 0, v K .
Thiago Marciano
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
Thiago Marciano
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
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
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
Da considerando, a(u , v ) = u , v
H 1 (I )
=
I
uv +
I
uv ,
fv ,
Thiago Marciano
Da considerando, a(u , v ) = u , v
H 1 (I )
=
I
uv +
I
uv ,
fv ,
isto e, uv +
I I
uv =
I
1 fv , v H0 (I )
Thiago Marciano
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
Muito Obrigado.
Thiago Marciano
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
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
Thiago Marciano
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
(4)
(5)
(6)
(Lions-Stampacchia)
Thiago Marciano
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)
! 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
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)
1 a(v , v ) (v ) 2
Thiago Marciano
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
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)
1 a(v , v ) (v ) 2
(Lions-Stampacchia)
Thiago Marciano
Thiago Marciano
Thiago Marciano
Thiago Marciano