1
1 I NTRODUO
Em elementos finitos, problemas que apesentam perturbaes singulares ou ainda descontinuidades que impliquem em regies de
gradientes elevados, quando avaliados por formulao Galerkin Contnuo (GC), apresentam oscilaes esprias que se propagam a
partir do contorno ou de camadas internas. A propagao destas oscilaes em certos problemas acaba por tornar intil o resultado
obtido. Como alternativa, a formulao de Galerkin Descontnuo (GD) admite descontinuidades nos espaos de aproximao e
variao em cada trecho do contorno interno gerado pela partio do domnio, i.e. malha. O relaxamento da continuidade destes
espaos, alm de previnir a ocorrncia das oscilaes, apresenta uma melhor taxa de convergncia para solues contnuas de
problemas equivalentes.
So examinadas as duas propriedades-chaves necessrias convergncia: consistncia e coercividade. O problema proposto
para a anlise foi o de difuso-adveco-reao de um campo escalar em regime permanente. A continuidade hiptese neces-
sria para a coercividade e aqui assumida como verdadeira, sem que seja feita sua demonstrao. Por no se tratar de problema
transiente no necessrio examinar a estabilidade da integrao temporal. Todas as trs condies de contorno possveis so exa-
minadas: Dirichlet, Neumann e Robin. A anlise feita para o formulao de Galerkin Clssica Descontnuo (GCD)e a formulao
Galerkin Mnimos Quadrados Descontnuo (GMQD).
Como ser visto as formas bilineares e funcionais que exprimem o problema original na forma variacional possuem termos
que no surgem naturalmente da formulao de Galerkin clssica ou da descontinuidade admitida. Estes termos so artifcios
adotados que no violam a consistncia do problema, representam um resduo nulo na situao limite de convergncia para o
campo soluo, e, por fim, garantem a coercividade ou consistncia do problema.
Dado
1
D H 1 (), C 0 (), f L 2 (), g H 2 (D ) C 0 (D ), q L 2 (N ), C 0 (R ), r L 2 (R ),
u [H ()]s [C 0 ()]s
tais que
D a D D b , a b , ( 12 u) c > 0 em , a b em R
para
e,
= g em D , se (D ) > 0, (2)
D() n = q em N , se (N ) > 0, (3)
D() n + = r em R , se (R ) > 0, (4)
Adicionalmente define-se o conjunto ,u = {x ; u n 0, ,u D }, onde n o vetor unitrio normal a orientado para fora
de .
1 q.t.p.: quase todo ponto
2
Figura 1: Ilustrao do fluxo u
D = D + D
(6)
Z Z Z
D d = D d D d
(7)
Z Z
D + u + f d D nd = 0 (9)
ou ainda,
Z Z Z Z Z
D d + u d + d + f d + D nd = 0 (10)
Para se definir o problema variacional fraco equivalente, algumas condies impostas so relaxadas e o conjunto de aproxima-
o S passa a ser { H 1 (); = g em D , se (D ) > 0} e o espao de variaes V a ser { H 1 (); = 0 em D , se (D ) > 0}.
As condies de contorno passam ento a ser consideradas no termo correspondente integral no contorno . Em D , quando
impostas condies de Dirichlet forte, a funo peso nula.
Z
D nd = 0 (11)
D
Z Z
D nd = qd (12)
N N
Z Z Z
D nd = r d + d (13)
R R R
3
Adicionalmente definimos a partio M h = {1 , . . . , Ne } como o conjunto formado por subconjuntos disjuntos e abertos, em
Ne
que cada subconjunto e (e = 1, . . . , Ne ), os chamados elementos, possui contorno e , e a relao ( ) = e=1 (e e ) obser-
vada.
Define-se nos contornos de cada elemento os conjuntos: e,D = e D ; e,N = e N ; e,R = e R e, para tratamento futuro
do termo advectivo, define-se ,u
e = {x e ; u ne < 0} e tambm ,u
e,
= e ,u .
O problema variacional avaliado sobre uma partio M h assume ento a seguinte forma:
Ne Z Ne Z Ne Z Ne Z
D e e e d + u e e d + e e d + f e d +
X X X X
e=1 e e=1 e e=1 e e=1 e
(14)
Ne Z
D e e e nd = 0
X
e=1 e
Levando em considerao as condies de contorno definidas em (11), (12) e (13), a mesma equao assume a forma:
Ne Z Ne Z Ne Z Ne Z
D e e e d + u e e d + e e d + f e d +
X X X X
e=1 e e=1 e e=1 e e=1 e
(15)
Ne Z Ne Z Ne Z
q e d + r e d + e e d = 0
X X X
e=1 e,N e=1 e,R e=1 e,R
Apesar de extensa, a equao (15) apresentada desta forma para referncia futura, objetivando a pronta distino dos termos
advindos da formulao GC e os introduzidos pela GD.
= ; hiperfcie de e , e {1, . . . , Ne }
(16)
0 = { ; } (17)
i nt
[
= (18)
0
e,i nt = e i nt (19)
ee 0 = e e 0 (ee 0 ) > 0 (20)
,u
ee 0
= e,e 0 ,u
(21)
Apesar de ser admitida a descontinuidade de em i nt a condio de contorno abaixo, induzida pela introduo dos contornos
internos da partio M h , deve ser imposta a fim de se respeitar o princpio da continuidade.
4
Z
a h,d ,e (, ) = D e e e d (24)
e
Z
a h,u,e (, ) = (u e ) e d (25)
e
Z
a h,,e (, ) = e e d (26)
e
Z
a h,r,e (, ) = e e d (27)
e,R
(28)
Ne h i
a h (, ) = a h,d ,e (, ) + a h,u,e (, ) + a h,,e (, ) + a h,r,e (, )
X
(29)
e=1
Z
b h,V,e () = f e d (30)
e
Z
b h,N ,e () = q e d (31)
e,N
Z
b h,R,e () = r e d (32)
e,R
Ne h i
b h () = b h,V,e () + b h,N ,e () + b h,R,e ()
X
(33)
e=1
possvel notar a imediata correspondncia de cada um dos termos definidos aqui queles definidos em (15).
Quando usarmos o termo gradiente, no contorno de um elemento estaremos nos referindo implicitamente ao gradiente esten-
dido
(ext )e = e em e e , e (34)
Para a considerao dos resduos introduzidos como consequncia da descontinuidade de em i nt , necessrio introduzir o
parmetro
Z 2
h e De ne d
e
k
sup Z
2 ; e P ( e ); e =
6 0
D e d
e
e,k = (35)
1/
para garantia da coercividade, onde > 0 uma constante real definida convenientemente para o problema examinado e
Z 1
s
he = d (36)
e
5
Definimos tambm
0 0 0
ee ,k = e e,k = sup{e,k , e ,k } (37)
e
h ee 0 = h e 0 e = i n f {h e , h e 0 } (38)
Desta forma define-se as formas bilineares
X Z
q h,u,e,i nt ,0 (, ) = ,u
|u ne |JKee 0 e d (39)
ee 0 0 ee 0
0
1 X ee ,k
Z
q h,e,i nt ,0 (, ) = JKee 0 JKee 0 d (40)
2 0 0 ee 0 h ee 0
ee
1 X
Z
q h,e,i nt ,1
(, ) = {Dext }n,ee 0 JKee 0 d (41)
2 0 0 ee 0
ee
que correspondem contribuio para o fluxo numrico entre um elemento e e seus vizinhos e 0 em ee 0 . O termo (39) est
relacionado ao termo advectivo de (15).
A forma bilinear
Ne h i
a h,i nt (, ) = q h,u,e,i nt ,0 (, ) + q h,e,i nt ,0 (, ) + q h,e,i nt ,1 (, ) q h,e,i nt ,1 (, )
X
(42)
e=1
est associada ao fluxo numrico em todo o domnio particionado. A constante {1, 1} introduzida com objetivo de tornar
este termo simtrico ou antissimtrico de acordo com o problema examinado.
Z
h,e,,u ,0
q (, ) = |u ne |e e d (43)
,u
e,
e,k
Z
q h,e,D ,0 (, ) = e e d (44)
e,D he
Z
q h,e,D ,1 (, ) = (De ne ) e d (45)
e,D
associadas condio de Dirichlet fraca. Esta condio de contorno ocorre em detrimento da condio de Dirichlet forte, e
consiste em permitir que no seja necessariamente igual g em D .
A forma bilinear
Ne h i
,u ,0
a h,D (, ) = q h,e, (, ) + q h,e,D ,0 (, ) + q h,e,D ,1 (, ) q h,e,D ,1 (, )
X
(46)
e=1
est associada ao fluxo derivado desta condio em D . De forma anloga, o termo (43) est relacionado ao termo advectivo de
(15) e escolhida convenientemente para tornar o termo simtrico ou antissimtrico de acordo com o problema examinado.
e,k
Z
b h,D,e () = g e Dg ne e D e ne g d
(47)
e,D he
Z
b h,u,e () = |u ne |g e d (48)
,u
e,
6
Ne h i
b h,D () = b h,D,e () + b h,u,e ()
X
(49)
e=1
3.2.1 C ONSISTNCIA
A verificao da consistncia feita ao demonstrar que a soluo exata para o problema (1) tambm soluo do problema
variacional (52), portanto o que se deve mostrar que
a h (, h ) b h () = 0. (54)
h,i nt
Alm disso a funo salto (em ) est presente em cada um dos termos agrupados em a , e como a soluo exata do campo
no possui descontinuidade,
a h,i nt (, h ) = 0. (55)
Portanto o atendimento (53) passa a depender apenas da avaliao de a h,D e b h,D . A partir de suas respectivas definies
nota-se que
Ne h i
,u ,0
a h,D (, h ) b h,D (h ) = q h,e, (e , he ) + q h,e,D ,0 (e , he ) + q h,e,D ,1 (e , he ) q h,e,D ,1 (he , e ) b h,D,e (he ) b h,u,e (he ) ,
X
e=1
(56)
que identicamente nula caso cada soma dos termos em cada elemento do somatrio tambm seja nula. Desta forma deve-se
verificar que,
,u ,0
q h,e, (e , he ) + q h,e,D ,0 (e , he ) + q h,e,D ,1 (e , he ) q h,e,D ,1 (he , e ) b h,D,e (he ) b h,u,e (he ) = 0, (57)
e,k
Z Z Z Z
|u ne |e he d + e he d (De ne )he d + (Dhe ne )e d
e, ,u
e,D h e e,D e,D
(58)
e,k h
Z Z Z Z
h
h
,u |u ne |g e d g e d + Dg ne e d Dhe ne g d = 0,
e, e,D h e e,D e,D
Visto que a soluo exata restrita ao elemento e atende condio de contorno em D e he nulo em ,u ,u D , nota-se
que todas as integrais se anulam e portanto (53) atendida.
7
3.2.2 C OERCIVIDADE
Para que o problema (52) seja bem posto necessrio que ele seja coercivo. Para o caso examinado, verificada a coercividade forte
utilizada no Teorema de Lax-Milgram. Assumida a continuide verificamos que existe C 1 > 0 tal que
h,GD
(, ) C 1 kk2 ; V (59)
A
O precedimento consiste em definir uma norma induzida por um produto interno composto por alguns termos simtricos da
forma bilinear (50) e verificar que todos os demais termos so limitados inferiormente de forma que a desigualdade (59) no seja
violada. Sendo assim observamos que, quando escolhemos = 4 na definio de e,k (35), temos
Ne h i 1X Ne Z
,u ,0
a h,r,e (, ) + a u,h,e (, ) + a ,h,e (, ) + q h,e, (, ) + q h,e,i nt ,u,0 (, ) D2e d 0
X
e=1 4 e=1 e
O somatrio dos demais termos formam um produto interno, chamado de , GD (81). Observamos tambm que a h,u,e , q h,u,e,i nt ,0 ,
,u,0
q h,e, verificados em conjunto com a h,,e formam um termo simtrico (80) includo no produto interno.
pode-se tomar a desigualdade de Young (102) e definir seus termos convenientemente de forma que
Z e,k 1/2
1/2 !
Z
h
e
(D e ne ) e d =
(D n ) d
e e e
e,D e,k
e,D he
(61)
e,k
1 h e 1 2
Z Z
2
D e ne d + e d
2 e,D e,k 2 e,D h e
Pelo rearranjo da definio de e,k (35) e pelo fato de que e,D e , verifica-se as desigualdades
1 1 1
Z Z Z
2 2 2
h e D e ne d e,k h e D e ne d D e d
(62)
e,k e,D e e
que ao ser substituida no primeiro termo do lado esquerdo da inequao (61) gera a inequao
e,k 2
Z
1 1
Z Z
2
(D e ne ) e d e d
D e
d +
e,D 2 e 2 e,D h e
Fazendo o somatrio nos elementos, multiplicando por (1 ) e tomando partido da desigualdade triangular temos
( )
N Ne e,k
e 1X 1
X Z Z Z
2 2
(1 ) (D e ne ) e d (1 ) D e d + e d
(63)
e=1 e,D 2 e=1 e e,D h e
( )
N Ne
e 1 1 e,k 2
X Z Z
h,e,D ,1 2
(1 )q (, ) (1 ) D e d + e d
X
(64)
e=1
e=1 2 e e,D h e
8
A avaliao de q h,e,i nt ,1 feita de forma semelhante, partindo-se da identidade
1 X
Z
q h,e,i nt ,1 (, ) q h,e,i nt ,1 (, ) = (1 ) D n,ee 0 JKee 0 d
2 ( 0 0 ) ee 0
ee
1 X 1
Z
= (1 ) D e ne + D e 0 ne JKee 0 d
2 ( 0 0 ) ee 0 2 (65)
ee
Z
1 X
Z
= (1 ) D e ne JKee 0 d + D e 0 ne0 JKe 0 e d
4 ( 0 0 ) ee 0 ee 0
ee
pode-se utilizar a desigualdade de Young (102) com seus termos convenientemente definidos, chegando-se expresso
Z 0
!1/2
2h ee 0 1/2 ee ,k
Z
D e ne JKee 0 d = 0 d
D n
e e ee
0
ee 0 ee ,k
J K
ee 0 2h ee 0
0
(66)
1 2h ee 0 d + 1 ee ,k
Z Z
2 2
0 D e n e JKee 0 d .
2 ee 0 ee ,k 2 ee 0 2h ee 0
que ao ser aplicada a desigualdade triangular no somatrio dos elementos e 0 para um elemento e fixo, nos d
0
ee ,k
Z
1 2h ee 0 X 1Z
Z
2 2
D e ne JKee 0 d d + JKee 0 d .
X X
0 ,k D e n e (67)
(ee 0 0 )
ee 0 (ee 0 0 )
2 ee 0 ee
(ee 0 0 ) 2 ee 0 2h ee 0
h ee 0 he
A partir da definio (35), (36), (37) e (38) pode-se chegar a inequao que aplicada ao primeiro termo do lado 0
e,k ee ,k
direito da inequao acima, junto com a segunda desigualdade da inequao (62) nos d a relao
h ee 0 d 1 1
Z Z Z
2 2 2
h e D e ne d D e d
0 ,k D e ne (68)
e ee e,k e e
2h ee 0 2h ee 0 d 2
Z Z Z
2 2 2
d D e d
X
0 ,k D e ne 0 ,k D e ne (69)
(ee 0 0 ) ee 0 ee e ee e
Logo, se avaliadas as equaes (67) e (69) para dois elementos e e e 0 temos a relao
Z
1 2 e 2 d + 2
Z Z Z
2
D e ne JKee 0 d + D e 0 ne0 JKe 0 e d D e 0 d +
X
D
(ee 0 0 ) ee 0 ee 0 2 e e 0
0 0 (70)
ee ,k e e,k
Z Z
2 2
JKee 0 d + J Ke 0 e d
X
( 0 0 ) ee 0 2h ee 0 ee 0 2h e 0 e
ee
1
multiplicando por (1 ) chegamos expresso que limita inferiormente (65),
4
0
" Z !#
1 4 ee ,k
Z
h,e,i nt ,1
2 2
(1 )q (, ) (1 ) D e d + JKee d
X
2 0 (71)
4 e ( 0 0 ) ee 0 2h ee 0
ee
desta forma podemos avaliar o limite inferior para o termo em toda partio do domnio conforme abaixo,
0
" #
Ne Ne
1 4 ee ,k
Z X Z
h,e,i nt ,1 2 2
(1 )q (, ) (1 ) D e d + JKee 0 d .
X X
(72)
e=1
e=1 4 e ( 0 0 ) ee 0 h ee 0 ee
A terceira etapa da verificao se inicia com a avaliao de a h,u,e e a h,,e . A partir da identidade
9
fazendo uso do teorema da divergncia e separando o contorno entre os trechos em que o fluxo difusivo positivo e negativo,
possvel desenvolver a sequncia de identidades a seguir:
1 1
Z Z Z
2
(u e + e ) e d = u e d + (u e e )d
e e 2 2 e
Z
1 1
Z
2 2
= u e d + u ne e d (74)
e 2 2 e
Z
1 1 1
Z Z
2 2 2
u e d |u ne | e d + |u ne | e d
=
e 2 2 e,u 2 e+,u
possvel tambm desenvolver uma segunda identidade a partir da definio da funo salto, do fato de que o fluxo positivo de
um elemento vizinho e 0 pode ser considerado o fluxo negativo de um elemento e e que ,u
ee 0
= e+,u
0 e , veja a figura 1. Desta forma a
identidade parte de trs termos que sero desenvolvidos na equao (80).
1 1 1
Z Z Z Z
2 2
|u ne | JKee 0 e d |u ne | e d + |u ne0 | e 0 d = |u ne | 2JKe,e 0 e 2e + 2e 0 d
,u
2 ,u
0 2 +,u
0 2 ,u0
ee 0 ee e e ee
1
Z
|u ne | 2e 2 e e 0 + 2e 0 d
=
2 ,u0
ee
(75)
1
Z
2
|u ne | e e 0 d
=
2 ,u
ee 0
1
Z
= |u ne | JK2ee 0 d
2 ,u0
ee
Ne h i
,u ,0
a h,u,e (, ) + a h,,e (, ) + q h,e, (, ) + q h,e,i nt ,u,0 (, ) =
X
e=1
Ne Z
1 1 1
Z Z
2 2 2
u e d |u ne | e d + |u ne | e d
X
(76)
e=1 e 2 2 e,u 2 e +,u
Z Z #
2
+ ,u |u ne | e d + |u ne | JKee 0 e d
X
,u
e, (ee 0 0 ) ee 0
Se considerarmos que
,u = ,u ,u
X
e e,
ee 0
(ee 0 0 )
(77)
e+,u = +,u +,u
X
e,
ee 0
(ee 0 0 )
Ne h i
,u ,0
a h,u,e (, ) + a h,,e (, ) + q h,e, (, ) + q h,e,i nt ,u,0 (, ) =
X
e=1
Ne Z
1
u 2e d
X
e=1 e 2
1 1 X
Z Z Z
|u ne |2e d |u ne |2e d + ,u |u ne |2e d (78)
2 ,u
e,
2 ( 0 0 ) 0 ,u
e,
ee ee
1 1
Z Z
|u ne |2e d + |u ne |2e d
X
+
2 +,u 2 ( ) +,u
e, ee 0 0 ee 0
#
X Z
+ ,u
|u ne | JKee 0 e d
(ee 0 0 ) ee 0
10
que tambm pode ser reescrita como
Ne h i
,u ,0
a h,u,e (, ) + a h,,e (, ) + q h,e, (, ) + q h,e,i nt ,u,0 (, ) =
X
e=1
"
Ne Z
1 1 1
Z Z
u 2e d + 2
|u ne |2e d
X
|u n e | e d + (79)
e=1 e 2 2 ,u
e,
2 +,u
e,
!#
1 1
Z Z Z
2 2
|u ne | e d + |u ne | e d + ,u |u ne | JKee 0 e d
X
+
( 0 0 ) 2 ,u0 2 +,u0 0
ee ee ee ee
Ne h i
,u ,0
a h,u,e (, ) + a h,,e (, ) + q h,e, (, ) + q h,e,i nt ,u,0 (, ) =
X
e=1
Ne
"Z # (80)
1 1 1 1 X
Z Z Z
2 2 2 2
u e d + |u ne | e d + |u ne | e d + |u ne | JKee 0 d ,
X
e=1 e 2 2 ,u
e,
2 +,u
e,
2 ( 0 0 ) ,u0
ee ee
Dessa forma podemos notar que cada um dos quatro termos tratados nesta etapa quadrtico.
Ne h i
,u
, GD = a h,u,e (, ) + a h,,e (, ) + a h,r,e (, ) + q h,e, ,0 (, ) + q h,e,i nt ,u,0 (, ) .
X
(81)
e=1
Ne Ne Ne Ne
A(, ) = , q h,e,D ,0 (, ) + q h,e,i nt ,0 (, ) + (1 1)q h,e,D ,1 (, ) + (1 1)q h,e,i nt ,1 (, )
X X X X
GD +
e=1 e=1 e=1 e=1
Ne Z Ne 0 (82)
e,k 2 1 X ee ,k
Z
= kk2 + e d + JK2ee 0 d .
X X
e=1 e,D he 2
e=1 0 0 ee 0 h ee 0
ee
Ne Z
e,k 2
e d 0
X
e=1 e,D h e
Ne 0 (83)
1 X ee ,k
Z
JK2ee 0 d 0.
X
2
e=1 0 0 ee 0 h ee 0
ee
(59) satisfeita.
Para que o caso em que = 1, ainda utilizando o mesmo produto interno, notamos que
Ne h i
A(, ) = kk2 + a h,d ,e (, ) + q h,e,D ,0 (, ) + q h,e,i nt ,0 (, ) + 2q h,e,D ,1 (, ) + 2q h,e,i nt ,1 (, )
X
(84)
e=1
11
Ne i
,u ,0
[ a h,r,e (, ) + a u,h,e (, ) + a ,h,e (, )+ q h,e, (, ) + q h,e,i nt ,u,0 (, )
X
e=1
0
" #
Ne Z
e,k 2 1 X ee ,k
Z Z
2
D e e d + d + J e Kee 0 d
X
e=1 e e,D he 2 0 0 ee 0 h ee 0
ee
(85)
Ne Ne e,k
1
Z Z
D2e d 2e d
X X
4 e=1 e e=1 e,D h e
Ne Z Ne 0
1X 1X X Z ee ,k
D2e d JK2ee 0 d
2 e=1 e 2 e=1 ( 0 0 ) ee 0 h ee 0
ee
Ne h i 1X Ne Z
,u ,0
a h,r,e (, ) + a u,h,e (, ) + a ,h,e (, ) + q h,e, (, ) + q h,e,i nt ,u,0 (, ) D2e d 0
X
(86)
e=1 4 e=1 e
h e |u|
Pe = (87)
2D e
P e chamado nmero de Peclet, e o parmetro que mede num problema difusivo-convectivo se localmente, restrito a um
elemento, o fluxo convectivo dominante. Para P e > 1 ocorre a dominncia do fluxo convectivo, caso contrrio a dominncia do
difusivo.
Definimos ento o parmetro
0, se P e 1
e =
1 , (88)
1 , caso contrrio
Pe
de forma que
1 h e |u|
1 , se P e 1
e D e = P e 2P e , (89)
0, caso contrrio
e h e
Z
a h,LS,e (, ) = De + u e + e D e + u e + e d
(90)
e |u|
e h e
Z
b h,LS,e () = f D e + u e + e d
(91)
e |u|
definido em H b,2 (M h ).
12
Desta forma temos que para toda a partio do domnio
Ne
A h,LS (, ) = a h,LS,e (, )
X
e=1 (92)
h,GD,LS h,GD GD,LS
A (, ) = A (, ) + A (, )
Ne
B h,LS () = b h,LS,e ()
X
e=1 (93)
h,GD,LS h,GD h,LS
B () = B () + B ()
Ne Z
e h e n h i h io
AGD,LS (, h )B GD,LS (h ) = D + u + Dhe + u he + he f Dhe + u he + he d
X
e=1 e |u|
(95)
Ne Z
e h e h i
AGD,LS (, h ) B GD,LS (h ) = De + u e + e f Dhe + u he + he d
X
e=1 e |u|
(96)
Ne Z
e h e h i
(0) Dhe + u he + he d = 0
X
=
e=1 e |u|
, GLS = , GD + A h,LS (, )
2
= , GD
kkGD
(98)
kk2LS = A h,LS (, )
13
podemos definir a soma como sendo
2 2
kkGLS = kkGD + kk2LS . (99)
14
5 A PNDICE
5.1
I NEQUAO DE 5.2 D ESIGUALDADE DE Y OUNG
C AUCHY-B UNYAKOVSKY-S CHWARZ
Sejam p e q tais que 1 < p, q < e 1/p + 1/q = 1. Ento para
Essa uma equao bem conhecida na lgebra linear e til para todo x, y R, vale a desigualdade:
vrios propsitos.
Se x e y so vetores com n coordenadas a desigualdade toma
a forma: |x|p |y|q
|x y| + . (102)
p q
|x y| kxk kyk (101)
Demonstrao: Sejam x e y dois vetores no nulos, temos Demonstrao: A funo real t 7 l n t cncava e cres-
que kx t yk2 0 . Mas tambm, kx t yk2 = x t y, x t y = cente. Portanto, para todo e positivos, l n( + (1 ))
x, x 2x, t y + t y, t y = kxk2 2t x, y + t 2 kyk2 , um polin- l n() + (1 )l n(), ]0, 1[.
mio em t . Como esse polinmio maior ou igual a zero, te-
2 Considerando = 1/p, temos 1 = 1/q e consequente-
mos que o discriminante no positivo, 0, isto , 2x, y mente l n( p1 + q1 ) p1 l n()+ q1 l n() = l n(1/p 1/q ) e obtemos
2 2
4 kxk2 kyk2 0 2x, y 4 kxk2 kyk2 x, y o resultado, considerando |x|p = e |y|q = .
1
n o
H 2 () = f L 2 (); F H 1 (); F = f em
Hd i v () = v [L 2 ()]s ; d i v(v) L 2 ()
H h,k = { H b,1 (M h ); e P k (e )} (k 1)
H h,k ,
se a condio de Dirichlet na forma fraca;
S h,k =
caso contrrio, { H h,k ; = g h em e,D se (e,D > 0)}
H h,k ,
h,k se a condio de Dirichlet na forma fraca;
V =
caso contrrio, { H h,k ; = 0 em e,D se (e,D > 0)}
15
5.4 D EFINIO DE F UNES DE S ALTO
Para uma funo escalar H b,m (M h ) definimos o seu salto em e,e 0 = e 0 ,e como segue:
e e 0 , se (ee 0 ) > 0;
JKee 0 =
0, caso contrrio.
JKe 0 e = JKee 0 .
Para uma funo vetorial H b,m (M h ) ns definimos seu salto na direo normal a ee 0 como segue:
e ne e0 ne0 , se (ee 0 ) > 0;
JKn,ee 0 =
0, caso contrrio.
JKn,e 0 e = JKn,ee 0
R EFERNCIAS
[1] John J. F. Fournier Robert A. Adams. Sobolev spaces. Pure and Applied Mathematics. Academic Press, 2 edition, 2003.
16