Você está na página 1de 49

O METODO DE GALERKIN

Veridiana Rezende

Maringa
2005

i
ii


O METODO DE GALERKIN

Veridiana Rezende

Departamento de Matematica, Universidade Estadual de Maringa,


Av. Colombo 5790: Agencia UEM, 87020-900, Maringa, PR, Brasil.
E-mail: veridianarezende@hotmail.com

Dissertacao apresentada ao Departamento de Matematica da Universidade


Estadual de Maringa, como parte dos requisitos necessarios para a obtencao
do grau de Mestre em Ciencias, sob orientacao do
Professor Dr. Gleb Germanovitch Doronin.

Maringa
2005
iii

Ao senhor Deus, por iluminar todos os dias de minha vida.


Aos meus pais, que com amor e orgulho me apoiaram
intensamente no decorrer dessa caminhada.
iv

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

Estuda-se neste trabalho o Metodo de Galerkin um dos metodos classicos da Fsica


Matematica que oferece a base teorica para os Metodos de Elementos Finitos e outros
metodos numericos baseados nas ideias de B. G. Galerkin.
vi

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

1.1. Biografia de Galerkin. Boris Grigorievitch Galerkin, nasceu em 20 de Fevereiro (04


de Marco no atual calendario) de 1871 em Polotsk (atualmente localizada na Bielo-R
ussia),
descendente de uma famlia pobre, passou por muitas dificuldades durante seus anos de
estudos. Ele fez a escola secundaria em Minsk, e em 1893 entrou no Instituto Tecnologico
de St. Peterburgo, onde estudou matematica e engenharia. Durante este perodo alem dos
estudos precisou fazer atividades extras para sobreviver: foi professor particular e tambem
trabalhou como desenhista.
Galerkin, junto com outros estudantes do Instituto Tecnologico, sempre estava envolvido
com poltica. Terminou a graduacao em 1899, ano em que se tornou membro do Partido
Social Democratico da R
ussia. No mesmo ano comecou a trabalhar como engenheiro na
Fabrica de Locomotivas em Kharkov (atualmente na Ucrania). Em 1903, foi para St. Peter-
burgo, e la tornou-se engenheiro da Fabrica de Aquecimento Mecanica do Norte. Em 1906,
Boris Grigoryevitch passou a ser membro do Comite de St. Peterburgo do Partido Social
Democratico (proibido pelo governo), epoca em que nao trabalhou. Em marco de 1907, de-
pois de um confronto com a polcia, alguns membros do comite foram presos, incluindo B. G.
Galerkin, que ficou preso durante quase dois anos. Na prisao, Galerkin perdeu o interesse
pelas atividades revolucionarias e voltou-se para a ciencia e a engenharia. As prisoes daquela
epoca davam tal oportinidade. Saiu da prisao no fim de 1908.
Em marco de 1909, Galerkin comecou a ensinar no Instituto Tecnologico de St. Peterburgo,
quando teve sua primeira publicacao sobre Curvatura Longitudinal, trabalho de 130 paginas,
todo escrito na prisao. Este artigo teve grande importancia nos seus estudos, e os resultados
foram aplicados na construcao de pontes e grandes estruturas. Durante todo o verao deste
perodo, Boris Grigorievitch visitou a Europa junto com seus colegas de trabalho, para
desenvolver estudos sobre construcao civil. Suas visitas `as construcoes europeias, bem como
da maioria dos engenheiros russos daquela epoca, terminaram por volta de 1914, quando
comecou a Primeira Guerra Mundial. Neste perodo (1909-1914) ele conheceu Alemanha,

Suca, Austria, Belgica e Suecia.
Tambem nesta epoca, Galerkin comecou a trabalhar em colaboracao com I. G. Bubnov
no Departamento de Construcao Civil, onde ambos estudavam questoes da Teoria de Elas-
ticidade e da Rigidez de Construcoes. Foi Bubnov, quem primeiro sugeriu, em 1913, uma
generalizacao do Metodo de Ritz adaptada para problemas de construcao civil. Talvez por
3

esta razao o Metodo de Galerkin, na R


ussia, as vezes e denominado Bubnov-Galerkin. En-
tretanto, o primeiro trabalho publicado sobre este assunto saiu em 1915 e foi escrito somente
por B. G. Galerkin [14]. Neste trabalho foi proposto um metodo de integracao aproximada
de Equacoes Diferenciais Parciais, atualmente conhecido como Metodo de Galerkin. Sem
d
uvidas, este artigo foi um de seus melhores trabalhos, e ja nesta epoca, o proprio Galerkin
apontou as principais diferencas entre seu metodo e o metodo de Ritz: no seu metodo nao
havia conexao entre aproximacoes e a forma variacional do problema; o metodo podia ser
aplicado na resolucao de problemas de forma bastante arbitraria. Foi ele quem neste artigo
praticamente criou o conceito de solucao fraca para uma equacao diferencial. Alem disso,
as aproximacoes de Galerkin nos problemas de equilbrio de barras e placas, representam
claramente o princpio dos trabalhos virtuais [5, 21], ou seja, as aproximacoes tem um claro
significado fsico.
O Metodo de Galerkin ficou famoso mundialmente, e ate hoje ele e suas generalizacoes
sao usados tanto na teoria de Equacoes Diferenciais [8, 30], como em Analise [4], Mecanica,
Termodinamica, Hydrodinamica [9], e tambem no desenvolvimento de metodos numericos,
tais como o Metodo de Elementos Finitos e outros [2, 7, 37]. So na Internet, encontram-se
milhares de referencias sobre o Metodo de Galerkin.
Em 1920, Galerkin foi promovido a diretor do Instituto Tecnologico Mecanico Estrutural
de St. Peterburgo. Nesta mesma epoca, ganhou dois premios significativos, um sobre elas-
ticidade no Instituto de Engenharia de Comunicacao, e outro em Mecanica Estrutural na
Universidade de St. Peterburgo. Em 1921, a Sociedade de Matematica de St. Peterbur-
go foi reaberta (havia sido fechada em 1917 devido a Revolucao Russa) e Galerkin foi um
dos destaques desta Sociedade, assim como Vladimir Andreevich Steklov, Sergei Natanovich
Bernstein, Aleksandr Aleksandrovich Friedmann e outros. Outro trabalho em que Galerkin
ficou conhecido, foi o seu trabalho sobre Placas Elasticas. Sua tese sobre este assunto foi
publicada em 1937. De 1940, ate a sua morte em 12 de Julho de 1945, Galerkin foi o chefe
do Instituto de Mecanica da Academia de Ciencias Sovietica.
4

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) .

Escolhendo os coeficientes an e bn de modo adequado, e possvel mostrar que a solucao


u(x, t) do problema (2.1) seja dada por


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)

onde A e um operador diferencial de L2 () e u : R uma funcao de n variaveis, satis-


fazendo a condicao de contorno
u| = 0. (2.6)

Se a funcao u(x1 , . . ., xn ) for solucao de (2.5) em , entao A[u(x1 , . . ., xn )] 0 em . Con-


sequentemente, a funcao A[u(x1 , . . ., xn )] e ortogonal `a toda funcao (x) L2 (), isto e,
Z
A[u(x)](x)dx = 0.

A solucao u(x1 , . . ., xn ) e procurada por meio das aproximacoes


N
X
uN (x1 , . . ., xn ) = aj j (x1 , . . ., xn ),
j=1
6

onde {j (x1 , . . ., xn )}, j = 1, 2, . . . e um sistema de funcoes linearmente independentes j


definidas em , satisfazendo a condicao (2.6).
Os coeficientes aj sao escolhidos de modo que A[uN ] seja ortogonal `as primeiras N funcoes
do sistema {j }

Z " N
#
X
A ak k (x) j (x)dx = 0, j = 1, . . ., N. (2.7)
k=1

Desta forma as aproximacoes uN (x1 , . . ., xn ) sao projecoes ortogonais da solucao desejada


u(x1 , . . ., xn ) em um subespaco de dimensao finita N N, [27]. A solucao u(x1 , . . ., xn ) e
obtida tomando o limite de uN quando N .
Em termos de Analise Funcional, o problema (2.5), (2.6) pode ser reformulado num con-
texto abstrato mais geral, [31]. Seja H um espaco de Hilbert e A : V H um operador
definido num subespaco V H, denso em H. Dado f H, procura-se um elemento u V ,
tal que Au = f.
O Metodo de Galerkin consiste, entao, na busca das aproximacoes uN =
P
aj j que sao
projecoes ortogonais de u V em um subespaco de dimensao finita VN = [1 , . . ., N ] V,
gerado pelos N primeiros vetores da base. Desta forma, os coeficientes aj estao determinados
pelo sistema algebrico (AuN f, j )H = 0, j = 1, . . ., N, onde (, )H e o produto interno em
H.
Observe que (2.7) e um sistema de equacoes nao necessariamente linear. Caso A seja
linear a existencia de solucao e um problema simplismente de algebra linear. Caso contrario,
a existencia nao e tao imediata e necessita de um resultado a ser visto posteriormente (ver

Lema do Angulo Agudo, Captulo 5).

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)

onde u : Rn+1 R e uma funcao que depende de x Rn , e do tempo t 0. A funcao


u(x1 , . . ., xn , t) normalmente satisfaz os dados iniciais
7

Dtk u(x, 0) = uk0 (x), k = 0, 1, . . ., m 1 (2.9)


(onde uk0 sao funcoes conhecidas e m 1 e a ordem da equacao de evolucao) e as condicoes
de contorno

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

onde as funcoes gj (t) sao solucoes do sistema de equacoes diferenciais ordinarias


Z
A[uN ] f wj dx = 0, j = 1, 2, . . ., N,

(2.12)

com condicoes iniciais
Z
k
D gj (0) = uk0 wj dx, k = 0, 1, . . ., m 1.

Se o sistema (2.12) e da forma normal, entao as gj (t) estao bem definidas pelo menos
localmente no tempo, e a solucao u(x, t) e obtida passando o limite em (2.11) quando N .
Considerando o problema (2.1), e tomando em particular wj (x) = sen(jx), obtemos

N
X
N
u (x, t) = gj (t)sen(jx), (2.13)
j=1

onde (gj )jN e solucao do sistema de equacoes diferenciais


00
2
g1 c g1 =0


.. ..
. .

00

gN c2 gN = 0.
A solucao u(x, t) de (2.1) e obtida quando tomamos o limite em (2.13) com N . E
neste caso, a solucao coincide com (2.2).
8

3. Equac
ao da Meca
nica Qua
ntica Relativstica (soluc
ao fraca)

Sejam um aberto limitado do Rn , com fronteira suficientemente regular, T > 0 um


n
umero real arbitrario, e Q o cilindro (0, T ) cuja fronteira lateral e dada por (0, T ).
Consideremos o problema

utt u + |u| u = f, em Q ( > 0), (3.1)

u(x, t) = 0, em , (3.2)

u(x, 0) = u0 (x), ut (x, 0) = u1 (x), x , (3.3)

com

u0 H01 () L+2 (), u1 L2 () e f L2 (0, T ; L2 ()). (3.4)

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,

u L (0, T ; H01 () L+2 ()),

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)

Aqui (, ) e ((, )) representam o produto interno em L2 () e H01 () respectivamente:


Z Z
(u, v) = uv dx, ((u, v)) = uv dx,


0
e , designa a dualidade entre Lp () e Lp (), p = + 2, especificando em seguida os
duais correspondentes.
Observa
cao: Identificando L2 () com seu dual, obtemos as cadeias
9

0
H01 () Lp () , H01 () , L2 () , H01 () , H 1 () + Lp (),

0 0
H01 () Lp () , Lp () , L2 () , Lp () , H 1 () + Lp ().

Em virtude de (3.5) temos

utt = f + u |u| u em D0 (Q). (3.7)

Assim, considerando as inclusoes:

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.

Teorema 3.1. Sejam satisfeitas as condic


oes (3.4). Ent
ao, o Problema (3.1) (3.3) admite
uma soluc
ao fraca no sentido da definic
ao 3.1. A soluc
ao e u
nica para qualquer 0 < < +
2
se n = 1, 2 e para 0 < < n2
se n 3.

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 ],

o subespaco de H01 () Lp (), p = + 2, de dimensao finita, gerado pelos N primeiros


vetores da base. Definamos

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)

com condicoes iniciais

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)

Consequentemente, (3.15) junto com (3.13) implica

(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

Donde podemos concluir que

uN e limitada em L (0, T ; H01 ()) (3.25)

uN e limitada em L (0, T ; Lp ()) (3.26)

uN e limitada em L (0, T ; L2 ()).


t (3.27)
E ainda, de (3.14) e (3.26), resulta que
0 0 0
|uN | uN e limitada em Lp (0, T ; Lp ()) = Lp (Q). (3.28)

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)

u * u em Lp (0, T ; Lp ()) (3.30)



ut * ut em L (0, T ; L2 ()) (3.31)
0 0 0
|u | u * em Lp (0, T ; Lp ()) = Lp (Q) (3.32)

3.3. Passagem ao Limite. Consideremos o conjunto

W = {u L2 (0, T ; H01 ()); ut L2 (0, T ; L2 ())}


munido da topologia

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 forte em L2 (0, T ; L2 ()). (3.34)


ltima convergencia, podemos obter uma subsequencia de u , para qual ainda usaremos
Da u
a mesma notacao, tal que

|u | u |u| u q.s. em Q, (3.35)


14

e ainda, por (3.28), existe C > 0 tal que

k|u | u kLp0 (Q) C, N.


Logo pelo Lema 1.3, captulo 1 de [22], conclumos de (3.32) que

= |u| u. (3.36)

Sejam , j N tais que j e D(0, T ). Multiplicando a equacao aproximada (3.10)


por , e integrando de 0 a T, obtemos
Z T Z T
(utt , wj )(t) dt + ((u , wj ))(t) dt
0 0
Z T Z Z T

+ { |u | u wj dx}(t) dt = (f, wj )(t) dt.
0 0
Integrando por partes, obtemos
Z T Z T
(ut , wj )0 (t) dt + ((u , wj ))(t) dt
0 0

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

Usando este fato e (3.42) obtemos


Z
d
(ut , v) + ((u, v)) + |u| uv dx = (f, v) em D0 (0, T ). (3.43)
dt

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

u C([0, T ]; L2 ()) Cs (0, T ; H01 ()),


0
ut C([0, T ]; H 1 () + Lp ()) Cs (0, T ; L2 ()),

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

(u (x, 0), wj ) (u(x, 0), wj ), j N.


Logo
u (x, 0) * u(x, 0) em L2 ().
Por outro lado, de (3.11) vem que

u (x, 0) * u0 (x) em L2 ().


Pela unicidade do limite, obtemos u(x, 0) = u0 (x).
Provaremos, a seguir que
ut (x, 0) = u1 (x). (3.45)
Seja 0 < < T, definamos
(
t + 1; 0 t ,
(t) = (3.46)
0; < t T,
que pertence a H01 (0, T ). Multiplicando a equacao aproximada (3.10) por (t) e integrando
de 0 a T , temos
Z T Z T
(utt , wj ) (t) dt + ((u , wj )) (t) dt
0 0
Z T Z Z T

+ { |u | u wj dx} (t) dt = (f, wj ) (t) dt.
0 0
Integrando a expressao acima por partes, segue que
Z T Z T
1
(ut (x, 0), wj ) + (ut , wj )(t) dt + ((u , wj )) (t) dt
0 0
Z T Z Z T
+ { |u | u wj dx} (t) dt = (f, wj ) (t) dt.
0 0
Tomando e levando em consideracao a densidade dos elementos da base {wj } em
H01 () Lp (), conclu-se que para toda v H01 () Lp ()
Z Z
1
(u1 (x), v) + (ut , v)(t) dt + ((u, v)) (t) dt
0 0
17
Z Z Z

+ { |u| uv dx}(t) dt = (f, v) (t) dt.
0 0
Passando agora o limite quando 0, obtemos

(u1 (x), v) = (ut (x, 0), v), v H01 () Lp (),

ou seja,

u1 (x) = ut (x, 0).

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

w L (0, T ; H01 () Lp ()), wt L (0, T ; L2 ()), (3.47)

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)

w(x, 0) = wt (x, 0) = 0. (3.49)

Utilizaremos o Metodo de Visik - Ladyzenskaya [39]. Consideremos para cada s [0, T ] a


seguinte funcao
( Rs
t
w(x, ) d; 0 t s,
(x, t) = (3.50)
0; s < t T.
Logo,
(
w(x, t); 0 t s,
t (x, t) = (3.51)
0; s < t T.
Das expressoes acima e de (3.47) vem que

, 0 L (0, T ; H01 () Lp ()). (3.52)


18
0
Compondo (3.48) com na dualidade L2 (0, T ; H 1 ()Lp ())L2 (0, T ; H01 ()Lp ())
obtemos
Z s Z s Z s
|v| v |u| u, (t) dt.




wtt , (t) dt + w, (t) dt = (3.53)
0 0 0


Lembrando que = 0 em [s, T ], e integrando por partes, e usando o fato que w, =
((w, )) temos




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,

|F () F ()| ( + 1)|| | |. (3.55)


Sendo (, ) existe (0, 1) tal que

= + ( ). (3.56)
Agora tomando = u(x, t), = v(x, t), de (3.55) e (3.56), obtemos

||v| v |u| u| ( + 1)22 {|u| + |v|} |w|. (3.57)


De (3.55) e (3.57) resulta que

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

Disto, e do fato que e limitado, resulta

H01 () , Lq () , Ln (). (3.61)


Agora, como u e v H01 (), q.s. em (0, T ), segue da cadeia acima que

|u| , |v| Ln () q.s. em (0, T ). (3.62)


De (3.59)

1 1 1
+ + = 1. (3.63)
q n 2
Lembrando as inclusoes

w L2 () q.s. em (0, T ), (3.64)


e

Lq () q.s em (0, T ), (3.65)


segue de (3.58), (3.62), (3.63), (3.64), (3.65) e pela Desigualdade de Holder generalizada [3]
que

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 ]

k1 sup kuk (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,

(x, 0) = w1 (x, 0) w1 (x, s) = w1 (x, s).


Deste fato, de (3.69) e (3.67) resulta que
Z s
1 2 1 2
|w| (s) + kw1 k (s) c {|w|2 + kw1 k2 }(t) dt.
2 2 0
Logo, em virtude da Desigualdade de Gronwall obtemos

|w|2 (t) + kw1 k2 (t) 0.


Donde concluimos que

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)

Consideremos o mesmo problema

utt u+ | u | u = f, em Q ( > 0), (4.1)

u(x, t) = 0, em , (4.2)

u(x, 0) = u0 (x), ut (x, 0) = u1 (x) , x . (4.3)

O objetivo deste captulo e obter uma solucao forte para (4.1) (4.3), portanto impomos
condicoes mais rigorosas aos dados iniciais:

u0 H01 () H 2 (), u1 H01 () e f, ft L2 (0, T ; L2 ()). (4.4)

Definiao 4.1. Uma funcao u : Q R tal que


c

u L (0, T ; H01 () H 2 ()),

ut L (0, T ; H01 ()),

utt L (0, T ; L2 ()),

e chamada solucao forte do problema (4.1) (4.3) se satisfaz a equac


ao (4.1) q.s. em Q e
oes iniciais (4.3) para q.t. x .
as condic

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.

4.1. Problema Aproximado. Observamos inicialmente que, pelo Teorema de Imersao de


Sobolev [24, 26], temos

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

H01 () , L2+2 () , L+2 (), (4.6)

e consequentemente, para toda v H01 () vale

| v |+2 L1 () e | v | v L2 (). (4.7)

Seja (w ) uma base de H01 () H 2 (). Para cada N N, consideremos

VN = [w1 , . . ., wN ],

o subespaco de H01 () H 2 () gerado pelos N primeiros vetores da base. Definamos

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)

com condicoes iniciais

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

estimativas a priori, vamos estender a solucao a todo intervalo [0, T ].

4.2. Estimativas a priori.


Estimativa I: Multiplicando (4.9) por (gjN )0 e somando de 1 a N, obtemos

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

conforme ja fizemos no Problema (3.1) (3.3).


24

Tomando p = + 2 e integrando a expressao acima 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
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

De (4.10) e (4.11), existe uma constante c0 > 0 tal que


2 N p
|uN 2 N 2 2
1 | + ku0 k + ku0 kLp () + kf kL2 (Q) c0 . (4.13)
p

Assim, de (4.12) e (4.13) 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.
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,

uN e limitada em L (0, T ; H01 ()) (4.15)

uN e limitada em L (0, T ; Lp ()) (4.16)

uN e limitada em L (0, T ; L2 ()).


t (4.17)

E ainda, de (4.6) e (4.15), resulta que

|uN | uN e limitada em L (0, T ; L2 ()). (4.18)


25

Estimativa II: Podemos sem perda de generalidade, considerar a base (w ) como


sendo ortonormal em L2 () (pelo processo de ortogonalizacao de Gramm-Schmidt
qualquer base pode ser ortogonalizada [27]).
Notemos que

N
X
uN
tt = (gjN )00 wj (uN N 00
tt , wj ) = (gj ) .
j=1

Da expressao acima e de (4.9) resulta

(gjN )00 = (f, wj ) ((uN , wj )) (|uN | uN , wj ), j = 1, . . ., N. (4.19)


Como os termos do segundo membro de (4.19) sao absolutamente contnuos em [0, T ],
segue que (gjN )00 L2 (0, T ). Portanto, para cada N N fixo, tem - se

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

(gjN )000 L2 (0, T ).


Sendo assim, para cada N N fixo, temos

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

H01 () , Lq () , Ln (). (4.26)


De (4.25) e (4.26) existe uma constante c3 > 0 tal que
Z
|uN | |uN N N N N
t ||utt | dx c3 ku k (t)kut k(t)|utt |(t),

e usando a desigualdade 2ab a2 + b2 , e (4.15) na expressao acima, temos que existe c4 > 0
tal que
Z
|uN | |uN N N 2 N 2
t ||utt | dx c4 {kut k + |utt | }(t). (4.27)

Agora de (4.24) e (4.27) obtemos

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 Cs ([0, T ]; H01 ()) C([0, T ]; L2 ()),


uN N 2
t , utt C([0, T ]; L ()),

tendo sentido falar em uN


tt (x, 0). De (4.19) em particular, podemos escrever

|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)|.

Portanto de (4.6) e (4.10), conclu - se que existe c7 > 0 tal que

|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

uN e limitada em L (0, T ; H01 ()),


t (4.32)
uN e limitada em L (0, T ; L2 ()).
tt (4.33)

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

Seja D(0, T ) e > j. De (4.9) podemos escrever


Z T Z T
(utt , wj )(t) dt + ((u , wj ))(t) dt
0 0

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

|u | u * |u| u em L2 (Q). (4.41)


Assim, as convergencias de (4.34), (4.38) e (4.41) nos permite passar o limite em (4.39)
Z T Z T
(utt , wj )(t) dt + ((u, wj ))(t) dt
0 0
Z T Z Z T

+ { |u| u, wj dx}(t) dt = (f, wj )(t) dt.
0 0
Pela densidade das combinacoes lineares finitas dos elementos da base (w ) em H01 ()
H 2 (), segue que
Z T Z T
(utt , v)(t) dt + ((u, v))(t) dt
0 0

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

utt u + |u| u = f em D0 (0, T ; L2 ),

e por [23] obtemos

utt u + |u| u = f em L2 (0, T ; L2 ). (4.43)

De (4.43) e (4.34) temos

u L2 () q. s. em (0, T ), (4.44)

u H01 () (4.45)

e por resultados de regularidade dos problemas elpticos temos

u H 2 () para q. t. t (0, T ). (4.46)

E ainda como

f C([0, T ]; L2 ()), |u| u L (0, T ; L2 ()) e utt L (0, T ; L2 ())

segue de (4.43) que

u L (0, T ; L2 ()). (4.47)

Novamente considerando a regularidade dos problemas elpticos, temos

suppesst(0,T ) kukH 2 () = Csuppesst(0,T ) |u|L2 () < +.

Portanto

u L (0, T ; H01 () H 2 ()). (4.48)

As Condicoes Iniciais sao provadas de modo analogo ao Captulo 3.


30

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

wtt w = |v| v |u| u q. s. em Q, (4.49)

w(x, t)| = 0 (4.50)

w(x, 0) = wt (x, 0) = 0. (4.51)

Compondo (4.49) com wt obtemos

(wtt , wt ) + (w, wt ) = (|v| v |u| u, wt ).


Como w L (0, T ; H01 () H 2 ()), wt L (0, T ; H01 ()) e em virtude do Teorema de
Green

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

H01 () , Lq () , Ln (). (4.55)


31

Agora, como u e v H01 () q.s. em (0, T ), segue da cadeia acima que

|u| , |v| Ln (); w Lq () q.s. em (0, T ). (4.56)


1 1 1
Mas como q
+ n
+ 2
= 1 e em virtude da desigualdade de Holder generalizada

1d 1d
|wt |2 (t) + kwk2 (t)
2 dt 2 dt

c1 {kukLn () + kvkLn () }|wt |L2 () kwkLq () (t) q. s. em (0, T ).


Mas de (4.55), e do fato que u, v L (0, T ; H01 ()) temos

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

|wt |2 (t) + kwk2 (t) 0, t [0, T ].


Donde conclumos

w = 0 em H01 (), t [0, T ],


ou seja, w = 0 em L (0, T ; H01 ()).

32

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

k(x, t)utt u + ut = f (x, t), em Q = (0, T ), (5.1)

u(x, 0) = 0, em , (5.2)
 
u
+ F (x, t, ut ) = 0, (5.3)

onde u denota a derivada de u na direcao do vetor normal exterior de , = (0, T ),



> 0 uma constante e k : Q R, F : Rn+2 R, f : Q R sao funcoes dadas, com
k(x, t) C 1 (Q) e F satisfazendo:
(A1) F (x, t, ut ) C 1 ( R).
(A2) |F (x, t, ut )| + |Ft (x, t, ut )| C(1 + |ut |+1 ), C > 0, 0.
(A3) F (x, t, ut )ut C0 |ut |+2 , C0 > 0.
Ru
(A4) 0 t F (x, t, s)ds 0.
(A5) F C0 (1 + |ut | ).

ut
(A6) 2 |kt (x, t)| > 0 em Q.
(A7) k(x, 0) < 0.
(A8) k(x, T ) > 0, x .
A dificuldade principal desse problema e que, visto as hipoteses (A7) e (A8), o operador
diferencial em (5.1) (5.3) muda o tipo durante o perodo de t = 0 `a t = T : quando
t = 0, temos que (5.1) e uma equacao elptica e quando t = T, a equacao (5.1) torna - se
hiperbolica. Portanto, as condicoes (5.2) e (5.3), geralmente nao garantem que o problema
(5.1) (5.3) esteja bem posto. Alem disso, condicoes como (5.2) e (5.3), nao sao tpicas nem
para equacoes elpticas, nem para as hiperbolicas mesmo separadamente, fato que torna o
problema ainda mais complicado.
Neste captulo iremos aplicar novamente o Metodo de Galerkin para demonstrar a ex-
istencia de uma solucao generalizada do problema (5.1) (5.3):
33

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)

O principal resultado desta u


ltima parte do nosso trabalho e o seguinte teorema:

Teorema 5.1. Sejam satisfeitas as condic ao para cada f H 1 (0, T ; L2 ())


oes (A1) (A8). Ent
existe uma funcao u : Q R, que e soluc
ao do problema (5.1) (5.3) no sentido da definicao
5.1.

Para achar a solucao de (5.1) (5.3), encontramos a seguinte dificuldade: utilizando as


ideias da seccao 2.3, obtemos um sistema de Equacoes Diferenciais Ordinarias que nao esta na
forma normal, o que nao permite o uso de resultados classicos de EDO para solucionarmos
o sistema. Entao, regularizando o sistema por um de ordem maior e adicionando uma
condicao de fronteira, utilizamos o Metodo de Galerkin para provar existencia de solucao
para o sistema regularizado. Passando o limite no paremetro de regularizacao, obtemos uma
solucao aproximada (aproximacao de Faedo - Galerkin) para (5.1) (5.3). E com suficientes
estimativas a priori, provaremos a convergencia da solucao aproximada para a solucao exata.

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)

uN (x, 0) gjN (0) = 0, j = 1, . . ., N. (5.7)

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 ).

gj (0) = 0, gjtt (0) = gjtt (T ) = 0, j = 1, . . ., N, (5.9)


onde > 0.
Utilizaremos o Metodo de Galerkin para encontrar as solucoes gj (t). Tome

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

onde as constantes ij sao solucoes do sistema algebrico de N M equacoes nao lineares

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,

tem uma solucao para cada h = (h1 , . . ., hk ) se


(i) As funcoes
Aj (c) = Aj (c1 , . . ., ck ) : Rk R

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

para algum  > 0.

A demonstracao encontra - se em [38].



O Sistema Algebrico (5.12) satisfaz a condicao (ii) do lema do Angulo Agudo, devido a
primeira estimativa a priori. Para isto, precisamos dos dois lemas a seguir.

5.3. Solu
cao de (5.12).

Lema 5.2. Assumindo (A6) e (A7), valem as seguintes desigualdades

2 |kt (x, t)| 2 > 0 em Q, (5.13)

k(x, 0) 2 < 0 em , (5.14)

onde , sao n
umeros positivos.

De fato, sendo e Q compactos e k C 1 (Q), ou seja, k uniformente contnua em Q e


assumindo (A6), existe > 0 suficientemente pequeno tal que

2 |kt (x, t)| 2 > 0 em Q.

Agora, pelo Lema de Heine - Borel e (A7) vem que

k(x, 0) 2 < 0 em .


36

umero positivo T0 > 0 tal que em Q0 = [0, T0 ] tem - se


Lema 5.3. Existe um n

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 .


5.4. Estimativas a priori.


Estimativa I: Neste captulo adotamos a notacao k k = k kL2 (Q) .
Multiplicando a jl-esima equacao de (5.12) por jl , somando em l e j, considerando
(5.10) e (5.11) obtemos
Z Z
2kuN M 2
jtt k + (2 kt )(uN M 2
t ) dQ + |uN

M
(x, T )|2 dx
Q
Z T Z Z
+2 F (x, t, uN M NM
t )ut dx dt = 2 f uN M
t dQ.
0 Q
Usando (5.13), (A3) e a Desigualdade de Holder, obtemos
Z T Z
kuN M 2
jtt k + kuN M 2
t k + C0 |uN M +2
t | d dt Ckf k2 . (5.16)
0
Note que ainda nao podemos estimar kuN M
tt k devido a constante que esta multi-

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.

De fato, sejam uN M e v N M duas solucoes distintas de (5.12), entao s = uN M v N M


satisfaz
Z Z
2
2kstt k + (2 kt )s2t dQ + |s(x, T )|2 dx
Q
Z T Z
+ [F (x, t, uN M NM
t ) F (x, t, vt )](ut vt ) d dt = 0.
0
ltima igualdade obtemos kst k = 0 em Q, ou seja, s(x, t) e constante em Q.
Da u
Mas s(x, 0) = 0, logo s(x, t) 0 em Q.

37

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).

Com efeito, integrando por partes o primeiro termo de (5.12) temos


Z T Z T X N
T
{gjtt Zl |0 gjtt zlt dt} + (k gjtt wj , wj )zl dt
0 0 i=1
Z T XN Z N
X N
X Z T
+ {( gi wi , wj )+ F (x, t, git wi )wj d+( git wi , wj )}Zl dt = (f, wj )Zl dt.
0 i=1 i=1 i=1 0

Fixando N e M , fazendo M e usando a densidade de {zl } em H 1 (0, T ) obtemos


Z T Z T Z T
gjtt dt = (kuN M
tt , wj ) dt + {(uN

M
, wj ) (f, wj )+
0 0 0
38

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).

ao para cada f (x, t) : f, ft L2 (Q),


Teorema 5.2. Seja N um inteiro fixo positivo. Ent
existe uma funcao uN (x, t), uN H 2 (0, T ; L2 ())H 1 (0, T ; H 1 ()), kuN 1 2
tt H (0, T ; L ()),

satisfazendo (5.6) e (5.7).

Vamos passar o limite quando N + para obtermos uma estimativa que nao depende
de N.

5.6. Estimativas da aproximac


ao de Galerkin.

Lema 5.6. Para cada f L2 (Q) e N N, a soluc


ao aproximada satisfaz a inequac
ao
Z Z
[k(x, t)(uN
t )
2 N 2
+ |u | ]dx|t=T + |k(x, t)|(uN 2
t ) dx|t=0 (5.19)

Z T Z
+kuN k2H 1 (Q) + |uN
t |
+2
d dt Ckf k2 ,
0
onde a constante C nao depende de N.

Lema 5.7. Seja f L2 (Q) e N N. Ent


ao

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.

Lema 5.8. Seja f H 1 (0, T ; L2 ()) e N N. Ent


ao

kuN
t kH 1 (Q2 ) Ckf kH 1 (0,T ;L2 ()) , (5.21)
Q2 = ( T21 , T ).
39

Lema 5.9. Para cada f H 1 (0, T ; L2 ()) e N N a soluc


ao aproximada uN satisfaz

kuN kH 1 (Q) + kuN N


t kH 1 (Q) + kut kL+2 () Ckf kH 1 (0,T ;L2 ()) , (5.22)
onde a constante C nao depende de N.

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 em L+2 (), (5.25)


c
Mas como L+2 () , L2 (), entao

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

A condicao de fronteira e satisfeita devido a construcao das funcoes uN , e passando o


limite em H 1 (Q).
Assim, esta provada a existencia do problema.

40

ncias
Refere

[1] Antropova V. I., Remarks on M. V. Ostrogradskiis Memoir on heat diffusion in


solid bodies , Istor. - Mat. Issled., 16 (1965), 97 126.
[2] Assan A. E., Metodos dos Elementos Finitos: Primeiros Passos, UNICAMP, Campi-
nas, 1999.
[3] Bre
zis H., Analisis Funcional Teora y Aplicac
oes, Alianza Ediorial, Madrid, 1984.
[4] Browder F. E., Probl`emes non - Lineaires, Les Presses de LUniversit`e de Montreal,
Montreal, 1966.
[5] chazy Jean, Mecanique Rationelle, Gauthier - Villars, vol. II, p. 218, Paris, 1933.
[6] Coddington, E., Levinson, N., Theory of Ordinary Differntial Equations, MacGraw-
Hill, London, 1955.
[7] Cooper J. M., Introdution to Partial differential Equations with MATLAB, Birkhauser,
1998.
[8] Courant, R., Hilbert, D., Methods of Mathematical Physics, vol. 1, p. 174, Wiley -
Intercience, 1953.
[9] Dautray R., Lions J.-L., Mathematical Analysis and Numerical Methods for Science
and Technology, vol. 1, Springer-Verlag, 1998.
[10] Faedo S., Un Nuovo Metodo per LAnalisi Esistenziale e Quantitativa dei Problemi di
Propagazione, Annali della Scuola Norm. Sup , Roma (1949), 141.
[11] Figueiredo D. G., Analise de Fourier e Equac
oes Diferenciais Parciais, Quarta
edicao, Projeto Euclides, IMPA, Rio de Janeiro, 1977.
[12] Fourier J. B. J., Theorie Analytique de la Chauler, F. Dudot, Paris (1822), 839.
[13] Fourier J. B. J., Analyse des equations determinees, F. Dudot, Paris (1831), 24258.
[14] Galerkin B. G., Barras e placas. As series em algumas quest
oes de equilbrio el
astico
de barras e placas, Notcias dos Engenheiros, vol. 1 (1915), 897908 (em R
usso: Sterzhni i
plastinki. Riady v nekotorykh voprosah uprugogo ravnovesia sterzhnei i plastinok, Vestnik
Ingenerov, vol. 1 (1915), 897908).
[15] Jo
rgens K., Das Anfangswertproblem in Grossen fur eine Klasse nichtlinearer Wellen-
gleichungen, Math. Zeitschr., 77 (1961), 295308.
[16] Krylov A. N. et al., Academician B. G. Galerkin: On the seventieth anniversary of
his birth, Vestnik Akademii nauk SSSR, 4 (1941), 9194.
41

[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.