Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
Veridiana Rezende
Maringa
2005
i
ii
O METODO DE GALERKIN
Veridiana Rezende
Maringa
2005
iii
Agradecimentos
Ao Prof. Gleb G. Doronin, que com compreensao, atencao e dedicacao aceitou orientar-me
neste trabalho.
Ao Prof. Osvaldo do Rocio, que satisfatoriamente me orientou nos primeiros meses de
mestrado.
Ao Prof. Marcos Roberto Teixeira Primo, que com muita paciencia e dedicacao me orien-
tou durante toda minha graduacao.
Ao meu namorado Paulo Augusto Rezende, por todo carinho, apoio e incentivo; pelo seu
companheirismo, e principalmente pela compreensao nos dias que precisei estar ausente.
Ao meu irmao Driano Rezende, e a todos os meus familiares, que com muito carinho e
admiracao acompanharam minha caminhada.
` amigas Camila, Francielli, Katia, Monica e Talita, que compartilharam as alegrias e
As
desafios, e por serem minhas amigas de verdade.
A todos os professores e funcionarios no DMA, que direta ou indiretamente deram suas
contribuicoes.
Aos amigos e colegas do mestrado, que com horas de alegrias e tristeza superamos juntos
as dificuldades que encontramos.
Aos Profs. Luiz Adalto Medeiros, Nickolai A. Larkine e Ccero Lopes Frota, que aten-
ciosamente colaboraram na correcao deste trabalho.
A CAPES, pelo apoio financeiro.
Finalmente, a todos que com uma palavra, um gesto, um pensamento, me levavam sempre
a acreditar que tudo na vida e possvel, basta acreditar em si mesmo, ter persistencia e forca
para lutar e VENCER!
v
Resumo
Abstract
This work concerns the Galerkin Method one of classical methods of Mathematical
Physics which is a theoretical foundation for the Finite Elements Method and for other
numerical methods inspired by the ideas of B. G. Galerkin.
vii
rio
Suma
1. Introducao 1
1.1. Biografia de Galerkin 2
2. Comparacao com outros Metodos 4
2.1. O Metodo de Fourier 4
2.2. O Metodo de Ritz 4
2.3. O Metodo de Galerkin 5
2.4. O Metodo de Faedo - Galerkin 6
3. Equacao da Mecanica Quantica Relativstica (solucao fraca) 8
3.1. Problema Aproximado 10
3.2. Estimativas a priori 11
3.3. Passagem ao Limite 13
3.4. Condicoes Iniciais 15
3.5. Unicidade 17
4. Equacao da Mecanica Quantica Relativstica (solucao forte) 22
4.1. Problema Aproximado 22
4.2. Estimativas a priori 23
4.3. Passagem ao Limite 27
4.4. Unicidade 30
5. Problema nao linear para Equacao do Fluxo Transonico do Gas 32
5.1. Construcao da Solucao Aproximada 33
5.2. Problema Regularizado 34
5.3. Solucao de (5.12) 35
5.4. Estimativas a priori 36
5.5. Existencia da Solucao Aproximada 38
5.6. Estimativas da aproximacao de Galerkin 38
5.7. Solucao do problema 5.1 5.3 39
Referencias 40
1
1. Introduc
ao
Este trabalho e sobre o Metodo de Galerkin um dos metodos classicos da Fsica Ma-
tematica e da Analise que oferece a base teorica para os Metodos de Elementos Finitos e
outros metodos numericos e teoricos baseados nas ideias de B. G. Galerkin.
Um dos fatos que nos motivou ao desenvolvimento deste trabalho e que existem varias
aplicacoes do Metodo de Galerkin encontradas pelo mundo inteiro, inclusive no Brasil, mas
pouco e comentado sobre o historico do metodo. Devido a este fato, nosso objetivo nao
consiste em obter resultados ineditos, mas sim em obter um conhecimento geral sobre o
Metodo e um pouco sobre a vida de seu criador.
Outro motivo da realizacao deste trabalho e que o Metodo de Galerkin apesar de ter quase
cem anos de historia, esta bem atualizado e serve como instrumento teorico para estudar
as propriedades qualitativas (tais como existencia e unicidade de solucoes) de problemas
matematicos. Este estudo por sua vez, e uma parte indispensavel de abordagem cientfica de
problemas de natureza fsicos e de alguns outros problemas, como por exemplo economicos,
da sociedade moderna. Grande parte destes problemas consiste na resolucao de equacoes
diferenciais nao lineares. O Metodo de Galerkin e uma ferramenta bastante poderosa para
este fim. Portanto alem de obter um conhecimento geral sobre o Metodo, nos dedicamos
em aprender aplicar as ideias de B. G. Galerkin para obter as solucoes de algumas equacoes
diferenciais parciais nao lineares, onde as nao linearidades possuem, aparentemente, carac-
tersticas adequadas para aplicarmos o metodo de Galerkin, ou uma de suas modificacoes.
A estrutura do presente trabalho e a seguinte: Uma breve biografia de Galerkin, conforme
[16, 29, 36], oferecida aqui na introducao. As diferencas principais e os pontos comuns entre
o metodo de Galerkin e outros metodos classicos, estudam-se no Captulo 2, onde tambem
encontra-se a analise de uma das mais famosas generalizacoes do Metodo o Metodo de
Faedo-Galerkin. Os Captulos 3 e 4 sao dedicados `a aplicacao do Metodo aos problemas
de valor inicial e de contorno para Equacoes nao lineares modernas da Fsica Matematica.
Mais precisamente, estudamos o problema de valor inicial e de contorno para a equacao da
Mecanica Quantica Relativstica [15, 34], seguindo as ideias de J. L. Lions [22]. Consideramos
tanto o caso de solucao fraca no Captulo 3, como o caso forte no Captulo 4, e ainda provamos
a unicidade. Por u
ltimo, no Captulo 5, aplicamos o Metodo de Galerkin para uma equacao
do tipo misto descrevendo o fluxo transonico de gas em um tubo de Laval [28]. Este estudo
foi baseado nos trabalhos [18, 19, 20].
2
2. Comparac
ao com outros Me
todos
2.1. O M etodo de Fourier. Este e um metodo para solucao dos problemas da fsica
proposto para a solucao dos proble-
matematica, baseado na separacao das variaveis. E
mas de condutividade termica por J. Fourier [12, 13], e de um modo mais geral e completo
foi formulado por M. V. Ostrogradskii em 1828, cf. Antropova [1]. A solucao da equacao,
que satisfaz `as condicoes iniciais e de fronteira, procura-se pelo Metodo de Fourier como a su-
perposicao das solucoes, que satisfazem `as condicoes de contorno, e podem ser representadas
como produto de uma funcao dependendo apenas de variaveis do espaco com uma outra
funcao dependendo so do tempo. A presenca de tais solucoes, sao conectadas com a busca
de autofuncoes e autovalores de alguns operadores diferenciais, e da expansao subseq
uente
das funcoes de condicoes iniciais pelas autofuncoes obtidas. Particularmente, o problema
de desenvolvimento de funcao em series e integrais de Fourier, aparecem na aplicacao do
Metodo de Fourier para estudar as vibracoes da corda, e a condutividade termica de uma
barra. Por exemplo, o estudo das pequenas vibracoes de uma corda de comprimento 1, de
extremidades fixas, consiste em obter a solucao do problema
2
utt = c uxx , em R,
u(0, t) = u(1, t) = 0, para t 0, (2.1)
u(x, 0) = u (x), u (x, 0) = u (x), 0 x 1,
0 t 1
onde supomos c constante, e R designa a semifaixa {(x, t) R2 : 0 < x < 1, t > 0}.
Solucoes do tipo F (x)G(t) para essa equacao que satisfazem as condicoes de contorno sao
dadas por
un (x, t) = sen(nx) an cos(nct) + bn sen(nct) .
X
u(x, t) = sen(nx) an cos(nct) + bn sen(nct) . (2.2)
n=1
2.2. O M
etodo de Ritz. O Metodo de Ritz [32, 33] e o metodo feito para desenvolver pro-
blemas variacionais e problemas de contorno que podem ser transformados em variacionais.
Seja V [y(x)] um funcional. Queremos obter tal funcao y(x), que leva V [y(x)] ao extremo.
5
Alem disso, y(x) deve satisfazer as condicoes de contorno: y(x1 ) = e y(x2 ) = . A ideia
deste metodo, consiste na procura nao de todas as possveis funcoes y(x), mas apenas as
combinacoes lineares da forma
N
X
y N (x) = aj j (x), (2.3)
j=1
onde aj sao constantes, e j (x), j = 1, 2, . . .e um sistema de funcoes, que podem ser escolhidas
de forma relativamente arbitraria, dependendo de cada problema. Uma condicao necessaria
para a escolha das j , e que as funcoes y N (x) devem satisfazer as condicoes y N (x1 ) = e
y N (x2 ) = , para todos os valores dos parametros aj . Escolhendo as y N (x) desta forma, o
funcional V [y N (x)] torna - se numa funcao (a1 , . . ., aN ) onde os coeficientes aj , j = 1, . . ., N
devem ser escolhidos de modo que (a1 , . . ., aN ) assuma seu extremo, isto e, a1 , . . ., aN devem
ser solucao do sistema algebrico
= 0 , j = 1, 2, . . ., N. (2.4)
aj
A solucao y(x) do problema original e obtida tomando o limite em y N (x) quando N .
2.3. O M
etodo de Galerkin. O Metodo de Galerkin [14], e uma generalizacao do Metodo
de Ritz, que pode ser aplicado para problemas de contorno, que nao podem ser reduzidos aos
variacionais. A ideia do metodo e a seguinte: seja Rn um domnio limitado, queremos
obter em uma solucao da equacao diferencial
A[u] = 0, (2.5)
Z " N
#
X
A ak k (x) j (x)dx = 0, j = 1, . . ., N. (2.7)
k=1
2.4. O M
etodo de Faedo - Galerkin. Este metodo foi idealizado para encontrar solucoes
dos problemas de evolucao. Desenvolvido por Sandro Faedo [10], trinta anos apos o Metodo
de Galerkin, o Metodo de Faedo - Galerkin e uma combinacao dos Metodos de Fourier e de
Galerkin. Para ilustra - lo, consideremos o problema de evolucao
A[u] = f, (2.8)
u| = 0, (2.10)
onde e a fronteira lateral do cilindro (0, T ).
Dado um sistema completo de funcoes {wj (x)} ortonormalizadas definidas em , e satis-
fazendo (2.10), procura-se aproximacoes da solucao de (2.8) - (2.10) da forma
N
X
uN (x, t) = gj (t)wj (x), (2.11)
j=1
N
X
N
u (x, t) = gj (t)sen(jx), (2.13)
j=1
3. Equac
ao da Meca
nica Qua
ntica Relativstica (soluc
ao fraca)
u(x, t) = 0, em , (3.2)
com
Aqui u = u(x, t) descreve um campo escalar relativstico com interacoes de potencias, [35].
Daqui para frente adotaremos as notacoes e definicoes dos espacos funcionais conforme
[22, 27].
Defini
cao 3.1. Uma funcao u : Q R,
ut L (0, T ; L2 ()),
e chamada solucao fraca do problema (3.1)-(3.3), se para toda v H01 () L+2 () tem-se
d
(ut , v) + ((u, v)) + |u| u, v = (f, v),
(3.5)
dt
em D0 (0, T ) e ainda
u(x, 0) = u0 (x) e ut (x, 0) = u1 (x). (3.6)
0
H01 () Lp () , H01 () , L2 () , H01 () , H 1 () + Lp (),
0 0
H01 () Lp () , Lp () , L2 () , Lp () , H 1 () + Lp ().
0
f L2 (0, T ; L2 ()) L2 (0, T ; H 1 () + Lp ()),
0
u L (0, T ; H 1 ()) L (0, T ; H 1 () + Lp ()),
0 0
|u| u L (0, T ; Lp ()) L (0, T ; H 1 () + Lp ()),
1 1
onde p
+ p0
= 1, obtemos
0
utt L2 (0, T ; H 1 () + Lp ()), (3.8)
e como consequencia do Lema 1.2 (Captulo 1) de [22], u(x, 0) e ut (x, 0) estao bem definidas.
Para provar a existencia da solucao fraca do Problema (3.1) (3.3), utilizaremos o Metodo
de Galerkin, mais precisamente o Metodo de Faedo - Galerkin, ver 2.4. Em seguida, definindo
as aproximacoes de Galerkin conforme (2.11), obteremos um sistema de equacoes diferenciais
ordinarias com valores iniciais, cuja existencia de solucao local sera garantida pelo Teorema
de Caratheodory [6] (ver cap.2, p.33). Por meio das estimativas a priori, estenderemos a
solucao a todo o intervalo [0, T ], obtendo uma sequencia (uN )N N , que convergira para a
solucao de (3.1), verificando as condicoes iniciais.
10
3.1. Problema Aproximado. Sendo H01 ()L+2 () separavel [3], seja (w )N uma base
para H01 () L+2 (), cuja existencia e garantida pelo Lema 1.1 de [22]. Para cada N N,
consideremos
VN = [w1 , . . ., wN ],
N
X
N
u (x, t) = giN (t)wi (x), (3.9)
i=1
onde as funcoes giN (t) sao escolhidas de modo que (uN ) seja solucao do seguinte sistema de
equacoes diferenciais ordinarias
Z
(uN
tt , wj )
N
+ ((u , wj )) + |uN | uN wj dx = (f, wj ), j = 1, . . ., N (3.10)
uN (x, 0) = uN 1
0 (x) u0 (x) em H0 () L
+2
(), (3.11)
uN N 2
t (x, 0) = u1 (x) u1 (x) em L (), (3.12)
onde
N
X
uN
0 (x) = u0i wi (x); u0i = (u0 , wi ),
i=1
N
X
uN
1 (x) = u1i wi (x); u1i = (u1 , wi ) i = 1, . . ., N.
i=1
Por Caratheodory [6], o problema (3.10) - (3.12) para cada N, possui solucao local uN em
um intervalo [0, tN ) onde uN e uN ao absolutamente contnuas e uN
t s tt existe quase sempre.
Por meio das estimativas a priori, vamos estender a solucao `a todo o intervalo [0, T ].
11
3.2. Estimativas a priori. Multiplicando (3.10) por (gjN )0 e somando de 1 ate N, obtemos
Z
(utt , ut ) + ((u , ut )) + |uN | uN uN
N N N N N
t dx = (f, ut ). (3.13)
Notemos que a terceira expressao `a esquerda da igualdade faz sentido, pois |uN | uN
0 1 1
Lp (), onde p
+ p0
= 1. De fato, como
+2
p0 = ,
+1
temos
0
k|uN | uN kpLp0 ()
Z Z
+2
= ||uN | uN | +1 dx = |uN |+2 dx = kuN kpLp () < +. (3.14)
Resulta de (3.14), (3.9) e em virtude da desigualdade de Holder que
Z
|uN | uN uN 1
t dx L (0, tN ). (3.15)
(uN N 1
tt , ut ) L (0, tN ). (3.16)
Afirmacao:
1d N2
(uN
|u | (t), N
tt , ut ) = (3.17)
2 dt t
onde d
dt
e a derivada distribucional em D0 (0, tN ). Com efeito, para cada D(0, tN ), de
(3.16) temos
Z tN
(uN N
(uN N
tt , ut ), = tt , ut )(t) dt =
0
Z tN Z Z Z tN
1d N 2
uN N
tt ut dx(t) dt = (u ) (t) dt dx
0 0 2 dt t
Z Z tN
1 t=tN 2 0
{(uN 2
(uN
= t ) (t)|t=0 t ) (t) dt dx
2 0
1 tN
Z Z
2 0 1
d N 2
= (uN
t ) (t) dt = |u | , .
2 0 2 dt t
De maneira analoga prova-se que
12
1d N 2
((uN , uN ku k (t),
t )) = (3.18)
2 dt
onde daqui pra frente, estaremos considerando k k(t) = k kH01 () (t) e | |(t) = k kL2 () (t).
Tambem,
Z Z
N N 1 d
|u | u uN
dx =
t |uN |+2 dx, (3.19)
+ 2 dt
pois, para F () = || , R, tem - se F 0 () = ( + 1)|| .
Assim de (3.13), (3.17), (3.18) e (3.19) segue que
Z
1d N2 1d N 2 1 d
|ut | (t) + ku k (t) + |uN |+2 dx = (f, uN
t ), (3.20)
2 dt 2 dt + 2 dt
onde t [0, tN ).
Multiplicando por 2 a igualdade acima, e integrando de 0 a t, t (0, tN ), obtemos
2 N p
|uN 2 N 2
t |(t) + ku k (t) + ku kLp () (t)
p
Z t
N 2 N 2 2 N p
= |u1 | + ku0 k + ku0 kLp () + 2 (f, uN
t )(s) ds.
p 0
Usando a desigualdade de Schwarz e o fato que 2ab a2 + b2 , a, b > 0, vem que
2 N p
|uN 2 N 2 N 2 N 2
t | (t) + ku k (t) + ku kLp () (t) |u1 | + ku0 k (3.21)
p
Z t
2 N p 2 2 N p
+ ku0 kLp () + kf kL2 (Q) + {|uN 2 N 2
t | + ku k + ku kLp () }(s) ds.
p 0 p
De (3.11) e (3.12), existe uma constante c0 > 0 tal que
2 N p
|uN 2 N 2
1 | + ku0 k + ku0 kLp () c0 ; N N. (3.22)
p
Agora de (3.21) e (3.22) obtemos
2 N p
|uN 2 N 2
t | (t) + ku k (t) + ku kLp () (t)
p
Z t
2 N p
c0 + c1 {|uN 2 N 2
t | + ku k + ku kLp () }(s) ds, (3.23)
0 p
onde c1 > 0. Logo, em virtude da desigualdade de Gronwall, existe uma constante c > 0 tal
que apos o prolongamento
2 N p
|uN 2 N 2
t | (t) + ku k (t) + ku kLp () (t) c; t [0, T ]. (3.24)
p
13
De acordo com esses resultados e pela compacidade dos espacos correspondentes, [3, 22, 24],
obtemos uma subsequencia (u ) de (uN ) tal que
u * u em L (0, T ; H01 ()) (3.29)
kukW = kukL2 (0,T ;H01 ()) + kut kL2 (0,T ;L2 ()) .
Resulta de (3.25) e (3.27) que a subsequencia
u e limitada em W. (3.33)
Assim, pelo Teorema de Aubin-Lions, [22], existe uma subsequencia u de u tal que
= |u| u. (3.36)
Z T Z Z T
+ { |u | u wj dx}(t) dt = (f, wj )(t) dt. (3.37)
0 0
Devido as convergencias de (3.27), (3.29), (3.31), (3.32) e por (3.36), tem - se
Z T Z T
((u , wj ))(t) dt ((u, wj ))(t) dt (3.38)
0 0
Z T Z T
(ut , wj )0 (t) dt (ut , wj )0 (t) dt (3.39)
0 0
Z T Z Z T Z
{ |u | u wj dx}(t) dt { |u| uwj } dx(t) dt. (3.40)
0 0
De (3.37), (3.38), (3.39) e (3.40), temos
Z T Z T
0
(ut , wj ) (t) dt + ((u, wj ))(t) dt
0 0
Z T Z Z T
+ { |u| uwj dx}(t) dt = (f, wj )(t) dt. (3.41)
0 0
Pela densidade das combinacoes lineares finitas dos elementos da base (wj ) em H01 ()
Lp (), segue - se que
15
Z T Z T
0
(ut , v) (t) dt + ((u, v))(t) dt
0 0
Z T Z Z T
+ |u| uv dx(t) dt = (f, v)(t) dt (3.42)
0 0
para toda v H01 () Lp (). Mas como (ut , v) L (0, T ), temos 2
Z T
(ut , v), = (ut , v) dt,
0
que e derivavel e sua derivada e dada por
d
Z T
(ut , v), = (ut , v), 0 = (ut , v)0 dt.
dt 0
3.4. Condic
oes Iniciais. Devido as convergencias de (3.29), (3.31) e ainda por (3.8) segue
do Lema 8.1 (Captulo 3), [23] que
onde Cs (0, T ; X) representa o espaco das funcoes fracamente contnuas de [0, T ] em X (ver
[23]).
Provaremos inicialmente que
u(x, 0) = u0 (x). (3.44)
Com efeito, seja C 1 ([0, T ]) tal que (0) = 1 e (T ) = 0. Entao para > j, (j N)
temos
Z T Z T
(ut , wj )(t) dt (ut , wj )(t) dt.
0 0
Integrando por partes:
Z T Z T
0
(u (x, 0), wj )
(u , wj ) (t) dt (u, wj ) (u, wj )0 (t) dt.
0 0
Mas de (3.29) resulta
16
Z T Z T
0
(u , wj ) (t) dt (u, wj )0 (t) dt,
0 0
o que implica em
ou seja,
3.5. Unicidade. Vamos mostrar que o Problema (3.1) (3.3) admite uma u
nica solucao
2
fraca desde que 0 < n2
, n 3. De fato, suponhamos que u e v sejam solucoes fracas
de (3.1) (3.3) e consideremos w = u v. Convem observar que
0
wtt L2 (0, T ; H 1 () + Lp ())
e satisfaz o problema
0
wtt w = |v| v |u| u em L2 (0, T ; H 1 () + Lp ()), (3.48)
Z s
wt (x, s), (x, s) wt (x, 0), (x, 0) (wt , t )(t) dt
0
Z s Z s
|v| v |u| u, (t) dt
+ ((w, ))(t) dt =
0 0
ou ainda de (3.49), (3.50) e (3.51) obtemos
Z s Z s Z s
|v| v |u| u, dt,
(wt , w) dt + ((wt , )) dt =
0 0 0
ou seja,
Z s Z s Z s
1 d 1 d
|w|2 (t) dt + kk2 (t)dt = |v| v |u| u, (t) dt,
2 0 dt 2 0 dt 0
implicando em
1 1 1
|w(x, s)|2 + |w(x, 0)|2 + k(x, s)k2
2 2Z 2
s
1
k(x, 0)k2 = |v| v |u| u, dt.
2 0
Visto (3.49) e (3.50) segue
Z sZ
1 1
|w|2 (s) k(x, 0)k2 = (|v| v |u| u) dx dt. (3.54)
2 2 0
Afirmacao:
||v| v |u| u| ( + 1)22 {|u| + |v| }|w|.
De fato, notemos que
F () = || F 0 () = ( + 1)|| , R,
logo F C 1 (R). Assim, dados e R, existe (, ) tal que pelo Teorema do Valor
Medio:
19
|F () F ()| |F 0 ()|| |
ou seja,
= + ( ). (3.56)
Agora tomando = u(x, t), = v(x, t), de (3.55) e (3.56), obtemos
1 2 1
|w| (s) + k(x, 0)k2 (3.58)
2 2
Z sZ
c() {|u| + |v|} |w| dx dt.
0
Usando o Teorema de Imersao de Sobolev [24], obtemos
H01 () , Lq (),
onde
1 1 1
= . (3.59)
q 2 n
Afirmacao:
|u| , |v| Ln () q.s. em (0, T ). (3.60)
De fato, temos por hipotese
2
0<< ,
n2
ou seja,
2n
0 < n < q.
n2
20
1 1 1
+ + = 1. (3.63)
q n 2
Lembrando as inclusoes
1 2 1
|w| (s) + k(x, 0)k2 (3.66)
2 2
Z s
c1 {(k|u| kLn () + k|v| kLn () )|w|L2 () kkLq () }(t) dt.
0
Mas de (3.61), e do fato que u L (0, T ; H01 ()) temos
Z
1
sup ||u| kLn () (t) = sup [ |u|n (t)dx] n
t[0,T ] t[0,T ]
donde conclumos
Z s
1 2 1
|w| (s) + k(x, 0)k2 c2 |w|L2 () (t)kk(t) dt. (3.67)
2 2 0
Considere
21
Z t
w1 (x, t) = w(x, )d. (3.68)
0
De (3.50) e (3.68), para todo t [0, s] temos
Z s Z s Z t
(x, t) = w(x, ) d = w(x, ) d + w(x, ) d = w1 (x, t) w1 (x, s). (3.69)
t 0 0
Assim,
w = 0 em L2 (), t [0, T ].
como queramos demonstrar.
No caso n = 1, 2 com 0 < < +, a demonstracao e analoga, simplificando as imersoes
(3.61) as quais verificam-se imediatamente quando n = 1, 2.
22
4. Equac
ao da Meca
nica Qua
ntica Relativstica (soluc
ao forte)
u(x, t) = 0, em , (4.2)
O objetivo deste captulo e obter uma solucao forte para (4.1) (4.3), portanto impomos
condicoes mais rigorosas aos dados iniciais:
2
Teorema 4.1. Sejam satisfeitas as condic
oes (4.4) e 0 < < n2
(n 3). Ent
ao, o
problema (4.1)-(4.3) admite uma u
nica soluc
ao no sentido da definic
ao 4.1 .
Como no captulo anterior este teorema ainda e valido para n = 1, 2 com 0 < < +.
A existencia da solucao, sera provada utilizando novamente o Metodo de Faedo - Galerkin.
2n
H01 () , Lq (); q . (4.5)
n2
2
Como por hipotese, n2
, entao
4 4 2n
2 2 + 2 + 2 2 + 2 .
n2 n2 n2
Portanto
23
VN = [w1 , . . ., wN ],
N
X
N
u (x, t) = giN (t)wi (x) (4.8)
i=1
onde as funcoes giN (t) sao escolhidas de modo que uN seja solucao do sistema de equacoes
diferenciais
(uN N N N
tt , wj ) + ((u , wj )) + (| u | u , wj ) = (f, wj ), j = 1, . . ., N (4.9)
uN (x, 0) = uN 1 2
0 (x) u0 (x) em H0 () H (), (4.10)
uN N 1
t (x, 0) = u1 (x) u1 (x) em H0 (). (4.11)
Por Caratheodory, o sistema (4.9) para cada N, possui solucao local uN em um intervalo
[0, tN ), onde uN e uN ao absolutamente contnuas e uN
t s tt existe quase sempre. Por meio das
Z
1d N2 1d N 2 1 d
|ut | (t) + ku k (t) + |uN |+2 (t) dx = (f, uN
t ),
2 dt 2 dt + 2 dt
Z t
2 p
= |uN
1 |
2
+ kuN
0 k
2
+ kuN
0 kLp () + 2 (f, uN
t )(s) ds (4.12)
p 0
Z t
2 p
|uN
1 |
2
+ kuN
0 k
2
+ kuN 2
0 kLp () + kf kL2 (Q) + |uN 2
t | (s) ds.
p 0
2 N p
|uN 2 N 2
t | (t) + ku k (t) + ku kLp () (t)
p
Z t
2 N p
c0 + c1 {|uN 2 N 2
t | + ku k + ku kLp () }(s) ds.
0 p
Usando a desigualde de Gronwall na u
ltima desigualdade vem que
2 N p
|uN 2 N 2
t | (t) + ku k (t) + ku kLp () (t) c2 ; t [0, T ]. (4.14)
p
Logo,
N
X
uN
tt = (gjN )00 wj (uN N 00
tt , wj ) = (gj ) .
j=1
uN 2 2
tt L (0, T ; L ()). (4.20)
Usando o fato que as derivadas classicas e distribucionais coincidem no presente caso,
resulta de (4.9) que
Z
d N
(u , wj ) = (ft , wj ) ((uN
t , wj )) ( + 1) |uN | uN
t wj dx (4.21)
dt tt
em L2 (0, T ). Logo de (4.19) vem
uN 2 2
ttt L (0, T ; L ()). (4.22)
Logo, de (4.21), obtemos
Z
(uN
ttt , wj ) + ((uN
t , wj )) + ( + 1) |uN | uN
t wj dx = (ft , wj ). (4.23)
Multiplicando por (gjN )00 e somando de 1 a N, vem que
Z
1d N2 1d N 2
|utt | (t) + ku k (t) + ( + 1) |uN | uN N N
t utt dx = (ft , utt ),
2 dt 2 dt t
donde
26
Z
d
{|u | (t) + kut k (t)} 2( + 1) |uN | uN
N 2 N 2 N N
t utt dx + 2(ft , utt ). (4.24)
dt tt
Como uN H01 (), vem que uN Ln (), ou ainda |uN | Ln (). Tambem do fato que
uN 1 N q 1 1 1
t H0 (), obtemos ut L (). Sendo q + 2 + n = 1, segue pela desigualdade de H older
generalizada que
Z
|uN | |uN N N N N
t ||utt | dx k|u | kLn () kut kLq () |utt |L2 () (t)
= kuN kLn () k|uN N
t k|Lq () |utt |L2 () (t). (4.25)
Temos
2 2n
0<< n < q.
n2 n2
Disto, e do fato que e limitado, resulta
d
{|uN |2 + kuN 2 N 2 N 2 2 N 2
t k }(t) c5 {kut k + |utt | }(t) + |ft | (t) + |utt | (t).
dt tt
Integrando a expressao acima de 0 a t; t [0, T ], vem que
|uN 2 N 2 N 2 N 2 2
tt | (t) + kut k (t) kutt (x, 0)k + ku1 k + kft kL2 (Q)
Z t
+c6 {kuN 2 N 2
t k + |utt | }(s) ds. (4.28)
0
Em virtude de (4.15),(4.17),(4.20) e (4.22) temos
27
|uN 2 N N N N N N
tt (x, 0)| = (f (x, 0), utt (x, 0)) ((u (x, 0), utt (x, 0))) (|u (x, 0)| u (x, 0), utt (x, 0)).
(4.29)
Usando os Teoremas de Green e de Schwarz na expressao acima, resulta
|uN 2 N N N N
tt (x, 0)|L2 () {|f (x, 0)|L2 () + |u0 |L2 () + ||u0 | u0 |}|utt (x, 0)|.
|uN
tt (x, 0)|L2 () c7 ; N N. (4.30)
Logo, de (4.11), (4.28) e (4.30) temos
Z t
|uN 2
tt | (t) + kuN 2
t k (t) c8 + c9 {kuN 2 N 2
t k + |utt | }(s) ds.
0
Novamente pelo Lema de Gronwall:
|uN 2 N 2
tt | (t) + kut k (t) c; t [0, T ]; N N, (4.31)
donde resulta que
4.3. Passagem ao Limite. Das estimativas feitas em (4.15), (4.16), (4.17), (4.18), (4.32)
e (4.33), podemos extrair uma subsequencia u de uN tal que
u * u em L (0, T ; H01 ()) (4.34)
u * u em Lp (Q) (4.35)
ut * ut em L (0, T ; L2 ()) (4.36)
ut * ut em L (0, T ; H01 ()) (4.37)
utt * utt em L (0, T ; L2 ()). (4.38)
28
Z T Z Z T
+ { |u | u wj dx}(t) dt = (f, wj )(t) dt. (4.39)
0 0
Observamos que de (4.15), (4.17) e pelo Teorema de Aubin - Lions, podemos extrair uma
subsequencia u de u de modo que
u u em L2 (Q).
Resulta da que existe uma subsequencia de u que persistimos em usar a mesma notacao,
tal que
u u q. s. em Q.
Pela continuidade da aplicacao F () = || , R, e da u
ltima convergencia vem que
|u | u |u| u q. s. em Q. (4.40)
De (4.18), (4.40) e em virtude do Lema 1.3, captulo 1 de [22], obtemos
Z T Z Z T
+ { |u| uv dx}(t) dt = (f, v)(t) dt, (4.42)
0 0
para toda v H01 () H 2 (), resultando em
29
u L2 () q. s. em (0, T ), (4.44)
u H01 () (4.45)
E ainda como
Portanto
4.4. Unicidade. Vamos mostrar que a solucao forte do Problema (4.1) (4.3), obtida na
2
nica desde que 0 <
seccao anterior, e u n2
se n 3, ou 0 < < se n = 1, 2.
Ressaltamos ainda que a demonstracao da unicidade poderia ser feita de modo analogo ao
captulo anterior (Seccao 3.5). Aqui oferecemos uma demonstracao diferente, aplicando o
Metodo da Energia, o qual neste caso e mais vantajoso devido a regularidade da solucao
obtida.
Suponhamos u e v duas solucoes fortes de (4.1) (4.3) e consideremos w = u v. Entao
w satisfaz
1d 1d
|wt |2 (t) + kwk2 (t) = (|v| v |u| u, wt ). (4.52)
2 dt 2 dt
Estimando o segundo membro de (4.52) de modo analogo a (3.57), obtemos
1d 1d
|wt |2 (t) + kwk2 (t) (4.53)
2 dt 2 dt
Z
c() {|u| + |v|} |w||wt | dx.
Pelo Teorema de Imersao de Sobolev:
2n
H01 () , Lq (), q . (4.54)
n2
2 2n
Por hipotese 0 < < n2 , ou seja, n < n2 . Disto e de (4.54) resulta
1d 1d
|wt |2 (t) + kwk2 (t)
2 dt 2 dt
1d 1d
|wt |2 (t) + kwk2 (t)
2 dt 2 dt
c2 |wt |L2 () kwk(t) q. s. em (0, T ).
ltima desigualdade de 0 a t, t [0, T ] :
Integrando a u
Z t
2 2 2 2
|wt | (t) + kwk (t) |wt | (x, 0) + kwk (x, 0) + c3 |wt |2 kwk2 (s) ds
0
Z t
c4 {|w|2 + kwk2 (s)} ds,
0
e por Gronwall
5. Problema na
o linear para Equac
ao do Fluxo Transo
nico do Ga
s
O Problema (5.1) (5.3) abaixo, descreve um fluxo transonico de gas em um tubo com
paredes perfuradas quando a velocidade do gas passa de valores subsonico quando t = 0 para
umero real arbirario e Rn um
supersonico quando t = T [28, 17], onde T > 0 e um n
aberto limitado com fronteira suficientemente regular. Consideremos
u(x, 0) = 0, em , (5.2)
u
+ F (x, t, ut ) = 0, (5.3)
Defini
cao 5.1. Uma funcao u(x, t), u H 1 (Q), u(x, 0) = 0, ut L+2 () H 1 (Q), e
ao generalizada para o Problema (5.1) (5.3) se para q.t. t (0, T ) e para toda
uma soluc
v L+2 () H 1 () tem - se
Z
(kutt , v) + (u, v) + F (x, t, ut )v d + (ut , v) = (f, v). (5.4)
5.1. Construc
ao da Soluc
ao Aproximada. Uma solucao aproximada para o problema
(5.1) (5.3) sera da forma
N
X
N
u (x, t) = giN (t)wi (x), (5.5)
i=1
onde {wj (x)} e uma base para L+2 () H 1 (), ortonormal em L2 (), e as funcoes gjN (t)
sao solucoes do sistema de Equacoes Diferencias Ordinarias
Z
(kuN
tt , wj )
N
+ (u , wj ) + F (x, t, uN N
t )wj d + (ut , wj ) = (f, wj ), (5.6)
Notemos que o sistema (5.6) com condicoes iniciais (5.7) nao e um problema classico
de Cauchy, pois temos apenas uma condicao inicial para um sistema de segunda ordem.
Queremos construir a solucao deste problema globalmente, ou seja no intervalo inteiro (0, T ).
34
5.2. Problema Regularizado. Para encontrarmos as gjN (t), primeiro iremos resolver o
problema regularizado:
L gj = gjttt + (kuN N
tt , wj ) + (u , wj ) (5.8)
Z
+ F (x, t, uN N
t )wj d + (ut , wj ) = (f, wj ).
M
X
M M
gjt (t) = ij Zi (t), gj (0) = 0, (5.10)
i=1
onde as funcoes Zi : (0, T ) R definidas como solucao do problema de contorno
Zitt + i Zi = 0, 1 = 0, i > 0, i = 2, 3, . . .,
1
Zit (0) = Zit (T ) = 0, i = 2, . . ., Z1 = ,
T
Z T
Zi (t)Zl (t)dt = il , i, l = 1, . . ., M, j = 1, . . ., N
0
formam uma base em H 2 (0, T ).
Assim, de (5.10) obtemos
N X
Z tX M
NM
u (x, t) = ijN Zi (t)wj (x) dt, (5.11)
0 j=1 i=1
Z M
T X Z T
ij Zi tt Zl dt + ((kuN M NM
tt , wj ) + (ut , wj ))Zl dt (5.12)
0 i=1 0
Z T Z
+ {(uN
M
, wj ) + F (x, t, uN M
t )wj d}Zl dt
0
Z T
= (f, wj )Zl dt, j = 1, . . ., N, l = 1, . . ., M.
0
Para encontrarmos a solucao de (5.12), utilizaremos o seguinte resultado:
35
Lema 5.1. Angulo Agudo. O sistema n
ao linear de equac
oes
Aj (c1 , . . ., ck ) = hij , j = 1, . . ., k,
s
ao contnuas;
(ii) Existem constantes a0 > 0 e a1 > 0 tais que vale a desigualdade
k
X
(A(c), c) = Aj (c)cj a0 |c|1+ a1 > 0
j=1
5.3. Solu
cao de (5.12).
onde , sao n
umeros positivos.
k(x, 0) 2 < 0 em .
36
k(x, t) . (5.15)
Com efeito, pela continuidade uniforme de k(x, t) no compacto Q e por (5.14) obtemos
k(x, t) em Q0 .
plicando.
ao uN
Lema 5.4. Para quaisquer inteiros finitos N, M, a func
M
(x, t) da forma (5.11)
que satisfaz (5.12) e u
nica.
Estimativa II: Aqui vamos obter uma estimativa que nao depende de M . Mul-
tiplicando (5.12) por l = Zltt /Zl , usando as propriedades de base (5.10) e depois
multiplicando por jl , somando em l e j e integrando por partes obtemos
Z T Z Z
2 (uN M 2
ttt ) dt + (kt + 2)(uN M 2
tt ) dQ + 2 uN M NM
t ujtt dQ
0 Q Q
Z T Z Z
F
+2 {Ft (x, t, uN M NM
t )ujtt + (x, t, uN
t
M
)(uN M 2
tt ) } d dt = 2 ft uN
tt
M
dQ.
0 ut Q
Z T Z
= 2 (uN M 2
ttt ) dt + (kt + 2)(uN M 2 NM 2 NM 2
tt ) + {kutt k + C(, N )kut k } dQ
0 Q
Z T Z Z TZ
F NM NM 2
+2 { (x, t, ut )(utt ) } d dt + C() {1 + |uN
t
M +2
| } d dt
C0 0 u t 0
Z TZ
F
+ { (x, t, uN
t
M
)(uN M 2 2 NM 2
tt ) } d dt kft k + C()kutt k .
0 u t
Usando (5.13) e a estimativa (5.16), obtemos
kuN M 2 2
tt k C(N )kft k , (5.17)
onde a constante C(N ) depende somente de N . Assim de (5.16) e (5.17)
NM 2
kgj kH 2 (0,T ) C(N )kf k2H 1 (Q) . (5.18)
Lema 5.5. Assumindo (A1)(A8), para cada N N fixo e > 0, existe uma u
nica solucao,
gj H 3 (0, T ), para (5.8) que satisfaz (5.18).
Z Z T
+ F (x, t, uN M
t )wj d + ((utt , wj )} dt dt, L2 (0, T ), H 1 (0, T ).
0
gjttt L2 (0, T ), j = 1, . . ., N.
O que prova a existencia. A unicidade demonstra - se de modo analogo ao lema 5.4.
5.5. Exist
encia da Soluc
ao Aproximada. Nos resultados que seguem, estaremos sempre
assumindo as hipoteses (A1) (A8).
Vamos passar o limite quando N + para obtermos uma estimativa que nao depende
de N.
kuN 2 2
t kH 1 (Q1 ) Ckf kL2 (Q) , (5.20)
Q1 = (0, T1 ), T1 > 0 e as constantes C e T1 n
ao dependem de N.
kuN
t kH 1 (Q2 ) Ckf kH 1 (0,T ;L2 ()) , (5.21)
Q2 = ( T21 , T ).
39
5.7. Solu
cao do problema 5.1 5.3. O Lema 5.9, mostra que existe uma subsequencia
u de uN e uma funcao u(x, t) tal que
u * u em H 1 (Q), (5.23)
ut * ut em H 1 (Q). (5.24)
ut ut q. s. em L2 (), (5.26)
= ut ut q. s. em . (5.27)
+2
Por (5.22) temos que uN
t L
+2
(), logo F (uN
t ) (L
+2
())0 = L +1 (). Assim, pela
continuidade de F , obtemos
+2
F (ut ) * F (ut ) em L +1 (). (5.28)
Com estes resultados, passando o limite quando N + em (5.6) e pela densidade dos
{wj (x)} em H 1 () L+2 (), temos
T
Z
(kutt , v) + (u, v) + F (x, t, ut )v d + (ut , v) = (f, v), (5.29)
para toda v H 1 () L+2 ().
T
ncias
Refere
[17] Kuzmin A. G., Non - classical equations of mixed type and their applications in gas
dynamics, International Series of Numerical Mathematics, 109, Basel: Birkhauser Verlag,
1992.
[18] Larkin N. A., The Nonlinear Boundary Value Problem for the Equation of Mixed
Type, Funkcialaj Ekvacioj, 42 (1999), 491506.
[19] Larkin N. A., On One Problem of Transonic Gas Dynamics, Matematica Contem-
poranea, Rio de Janeiro, vol. 15 (1998), 169186.
[20] Larkin N. A., Smooth Solutions for Transsonic Gas Dynamics, Novosibirsk, Nauka,
1991.
[21] Lemos N. A., Mecanica Analtica, Livraria da Fsica, Sao Paulo, 2004.
[22] Lions J. L., Quelques methodes de resolution des probl`emes aux limites non lineaires,
Dunod Gauthier-Villars, Paris, 1969.
[23] Lions J. L., Magenes E., Probl`emes aux limites non homog`enes et applications, vol.
1, Dunod, Paris, 1968.
[24] Medeiros L. A., Miranda M. M., Espacos de Sobolev (Iniciac
ao aos Problemas
Elticos nao Homogeneos), IM - UFRJ, Rio de Janeiro, 2000.
[25] Medeiros L. A., Mello E. A., A integral de Lebesgue, IM - UFRJ, Rio de Janeiro,
1989.
[26] Medeiros L. A., Iniciacao aos Espacos de Sobolev e Aplicac
oes, IM - UFRJ, Rio de
Janeiro, 1983.
[27] Mijailov V. P., Ecuaciones Diferenciales en Derivadas Parciales , Moscow, MIR,
1978.
[28] Napolitano D., Ryzhov O., On analogy between nonequilibrium and viscous inertial
flows with transonic velocities, J. Comput. Math. Phys., 1 (1971), 1229 1261.
[29] OConnor J. J., Robertson E. F., Biography of B. G. Galerkin, Dictionary of
Scientific Biography, New York, 1990.
[30] Petrovsky I. G., Lectures on Partial Differential Equations, Interscience Publishers,
N. Y., 1954.
[31] Rakhimova I. K., John William (Strutt) Rayleigh - initiator of the contemporary
mathematical theory of vibrations, In: Sketches on the history of mathematical physics,
Naukova Dumka, Kiev (1985), 141-147.
42
[32] Ritz W., Neue Methode zur Losung gewisser Randwertaufgaben, Gesellschaft der Wis-
senschaften zu Gottingen. Math. - physik. Klasse. Nachrichten, Gottingen, (1908).
[33] Ritz W., Ubereine neue Methode zur L osung gewisser Variationsprobleme der mathe-
matischen Physik, , Journal f
ur die reine und angewandte Mathematik, (1909), Bd 135.
[34] Schift L. I., Non linear meson theory of nuclear forces, Phys. Rev., 84 (1951), 1 9.
[35] Segal I. E., The global Cauchy Problem for a relativistic scalar field with power inte-
raction, Bull. Soc. Math. France, 91 (1963), 129 135.
[36] Sokolovski V. V., On the life and scientific career of academician B. G. Galerkin,
Izvestiya Akademii nauk SSSR, Otdelenie tekhnicheskikh nauk, 8 (1951), 11591164.
[37] Thomas J. W., Numerical Partial Differential Equations: Finite Difference Methods,
Springer-Verlag, New York, 1999.
[38] Vi
sik M. I., Solution of System of Quasilinear Equations having Divergent form under
Periodic Boundary conditions, Dokl. Acad. Nauk, SSSR, 137 (1961), 502 505.
[39] Vi
sik M. I., Ladyzhenskaya, O. A., Boundary - value problems for partial differen-
tial equations and certain classes of operador equations, Uspekhi Matem. Nauk, 6 (72)
(1956), 41 97; English transl., Amer. Math. Soc. Transl. (2) 10, 1958, 223 281.