Um Problema de Extensao Relacionado A Raiz Quadrada Do Laplaciano Com Condicao de Fronteira de

Um problema de extens
ao relacionado
a raiz quadrada do Laplaciano
com condi
c
ao de fronteira de Neumann
Michele de Oliveira Alves
Tese apresentada
ao
tica e Estatstica
Instituto de Matema
da
o Paulo
Universidade de Sa
para
o do ttulo
obtenc
a
de
tica Aplicada
Doutor em Matema
Programa: Matematica Aplicada

Orientador: Prof. Dr. Sergio Muniz Oliva Filho
Durante o desenvolvimento deste trabalho o autor recebeu auxlio financeiro da CAPES
Sao Paulo, janeiro de 2010
Um problema de extens
ao relacionado
a raiz quadrada do Laplaciano
com condi
c
ao de fronteira de Neumann
Esta versao definitiva da tese

contem as correcoes e alteracoes sugeridas pela
Comissao Julgadora durante a defesa realizada
por Michele de Oliveira Alves em 15/12/2010.
Comissao Julgadora:
Prof. Dr. Sergio Muniz Oliva Filho (orientador) - IME-USP
Prof. Dr. Orlando Francisco Lopes - IME-USP
Prof. Dr. Placido Zoega Taboas - ICMC-USP
Prof. Dr. Sergio Henrique Monari Soares - ICMC-USP
Profa. Dra. Joana Isabel Afonso Mourao Terra - UFBA
Dedico `
a minha famlia.
ii
Agradecimentos
Ao final deste trabalho quero primeiramente agradecer à Deus por acreditar em mim e por me
dar a graca de concluir mais uma etapa de minha vida. Pelo apoio e sustento sempre concedido nos
momentos mais difceis.
` minha famlia por ser minha base, dando-me apoio, alegria, amor e por compreender minha
A
ausencia em muitos momentos. Ela com certeza e parte fundamental desta conquista.
Ao meu noivo Emerson pela paciencia, amor e carinho, pelas in
umeras vezes que me incentivou
a continuar e a acreditar mais em mim. Obrigada pela sua presenca, ela foi meu combustvel para
prosseguir sempre.
Ao professor Sergio por todos os ensinamentos, paciencia, amizade, disponibilidade para me atender, esclarecer d
uvidas, etc... com ele obtive um grande crescimento matematico.
Aos meus amigos de pos-graduacao pela amizade. Em particular, Fernanda e Anderson (Super!)
pela maravilhosa convivencia nao so no IME mas tambem em casa. Voces com certeza acompanharam
de perto toda esta minha trajetoria. Obrigada pelas conversas e in
umeras risadas que tivemos ao longo
deste perodo.
` minha amiga Gleiciane pelo convvio iniciado na graduacao, pelos estudos durante o perodo de
A
disciplinas, seminarios e por varias vezes sanar minhas d
uvidas.
Agradeco tambem aos amigos da Paroquia Nossa Senhora dos Pobres que me acolheram com tanto
amor e carinho.
Aos professores do departamento e funcionarios do IME. Tambem aos professores Orlando Francisco Lopes, Placido Zoega Taboas, Sergio Henrique Monari Soares e Joana Isabel Afonso Mour
ao
Terra pelas correcoes e importantes sugestoes.
` CAPES pelo auxlio financeiro.
A
iv
Resumo
Neste trabalho definimos o operador nao local, raiz quadrada do Laplaciano com condic
ao de
fronteira de Neumann, atraves do metodo de extensao harmonica. O estudo foi feito com o auxlio
das series de Fourier em domnios limitados, como sendo o intervalo, o quadrado e a bola. Posteriormente, aplicamos nosso estudo, à problemas elpticos nao lineares envolvendo o operador n
ao local
raiz quadrada do Laplaciano com condicao de fronteira de Neumann.
Palavras-chave: raiz quadrada do Laplaciano, condicoes de fronteira de Neumann, operador n
ao
local, problemas nao lineares, extensao harmonica, serie de Fourier.
vi
Abstract
In this work we define the non-local operator, square root of the Laplacian with Neumann boundary
condition, using the method of harmonic extension. The study was done with the aid of Fourier series
in bounded domains, as the interval, the square and the ball. Subsequently, we apply our study, the
nonlinear elliptic problems involving non-local operator square root of the Laplacian with Neumann
boundary condition.
Keywords: square root of the Laplacian, Neumann boundary conditions, non-local operator, nonlinear problems, harmonic extension, Fourier series.
viii
Sum
ario
Lista de Smbolos
xi
1 Introdu
c
ao
2 Preliminares
2.1
2.2
Espacos de Sobolev, Slobodeckij e Holder . . . . . . . . . . . . . . . . . . . . . . . . .
10
2.1.1
Imersoes Contnuas e Compactas . . . . . . . . . . . . . . . . . . . . . . . . . .
12
2.1.2
Teorema do Traco e Desigualdade de Poincare . . . . . . . . . . . . . . . . . .
13
Espacos de Sobolev das funcoes periodicas . . . . . . . . . . . . . . . . . . . . . . . . .
15
2.2.1
19
Teorema do Traco para as funcoes periodicas . . . . . . . . . . . . . . . . . . .
3 C
alculo Funcional
21
3.1
Estudo do Operador N . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
21
3.2
Raiz Quadrada do operador N
26
. . . . . . . . . . . . . . . . . . . . . . . . . . . . .
4 O Operador
35
4.1
Caso i = (0, ) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
36
4.2
Caso q = (0, ) (0, ) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
43
4.3
Caso b = B(0, ) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
54
5 Aplica
c
ao
81
5.0.1
Solucao fraca no intervalo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
82
5.0.2
Solucao fraca no quadrado . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
84
5.0.3
Existencia de Solucao Fraca . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
86
A Ap
endice
99
A.1 Funcoes Especiais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
99
A.2 Operadores . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 102

A.3 Teorema do Multiplicador de Lagrange . . . . . . . . . . . . . . . . . . . . . . . . . . . 103
Refer
encias Bibliogr
aficas
105
Indice Remissivo
109
ix
SUMARIO
Lista de Smbolos
N
Operador Laplaciano com condicao de fronteira de Neumann
C t (Rn )
Espaco de Holder sobre Rn
C (U )
Espaco de Holder sobre U
Cper
(Rn )
Conjunto das funcoes infinitamente diferenciaveis que sao 2periodicas
(Rn+1
Cper
+ )
Conjunto das funcoes infinitamente diferenciaveis que sao 2periodicas em x Rn
L2 (U )
Espaco de Lebesgue em U
L2 (U ; r)
Espaco de Lebesgue L2 (U ) com peso r
H s (U )
Espaco de Sobolev se s Z+ e Espaco de Slobodeckij se s > 0 nao inteiro
s
(Rn )
Hper
Espaco de Sobolev periodico na variavel x Rn
s
Hper
(Rn+1 )
Espaco de Sobolev periodico na variavel x Rn , para todo (x, z) Rn+1

+
Jp
Funcao de Bessel de primeiro tipo de ordem p R
Yp
Funcao de Bessel de segundo tipo de ordem p R fracionario
Imersao Contnua
Imersao Compacta
Rn+1
= {(x, z) Rn+1 | x Rn e z > 0}
+
i
= (0, )
= B(0, )
= (0, ) (0, )
= N em i
= (N N)\{(0, 0)} em q
= (N N)\{(1, 0)} em b

L2 ()

Z

u(x)dx = 0

LISTA DE SIMBOLOS
xii
Qn
u
= {x Rn | |xj | , j = 1, , n}
Z
=
u(x)dx
< u, v >
u(x)v(x)dx
(
v (, , z)) =
Z
v(x, y, z)dxdy
Captulo 1
Introduc
ao
As potencias fracionarias do Laplaciano sao geradores infinitesimais do processo de difusao est
avel
chamado de processo de Levy e aparecem nas dinamicas populacionais, reacoes qumicas em lquidos,
entre outros assuntos do cotidiano.
Neste trabalho, estudamos a raiz quadrada do operador Laplaciano com condicao de fronteira de
1
Neumann, (N ) 2 , em tres tipos de domnios, utilizando tecnicas de extensao harmonica. Posteriormente, aplicamos à problemas elpticos nao lineares.
As potencias fracionarias do operador Laplaciano, podem ser interpretadas de algumas formas.
Considere uma funcao u : Rn R suficientemente regular. Utilizando a Transformada de Fourier,
temos
\s u() = ||2s u
()
b(),
e ainda, atraves da Formula da Derivada Fracionaria de Riesz,
()s u(x) = Cn,s
Z
Rn
u(x) u(y)
dy,
|x y|n+2s
onde Cn,s e alguma constante de normalizacao e s (0, 1).

As potencias negativas sao dadas por
1
() =
2i
() (I )1 d,
onde e qualquer curva simples suave por partes satisfazendo algumas propriedades e Re() < 0.
1
1
Para s = , podemos ainda considerar () 2 como sendo um operador positivo tal que
2
1
() 2 () 2 u = u,
para qualquer u D(u).
1
O metodo de definir o operador () 2 por meio de tecnicas extensao harmonica, consiste em

considerar o operador T dado por
u 7 T (u)(x) = vz (x, 0),

CAPITULO 1. INTRODUC
AO
onde u : Rn R e uma funcao suave limitada e v : Rn+1

R e a u
nica solucao do problema
+
(
v(x, z) =
v(x, 0)
= u(x)
em
Rn+1
= Rn (0, )
+
em
Rn
(1.1)
Observe que
1. Se colocarmos vz (x, 0) como condicao de Dirichlet no problema (1.1), verificamos que vz (x, z)
e solucao deste novo problema, logo pela definicao do operador T , temos que
T (T (u))(x) = T (vz (x, 0)) = vzz (x, 0) = x v(x, 0),
Entao,
(T T )(u))(x) = x u(x).
2. Usando o Metodo de Integracao por Partes, vemos que
Z
Z
u(x)T (u)(x)dx =
Rn
v(x, 0)vz (x, 0)dx

ZR
|v(x, z)|2 dxdz
v(x, z)v(x, z)dxdz +

Rn+1
+
Z
=
Rn+1
+
|v(x, z)|2 dxdz 0,
Rn+1
+
logo, o operador T e positivo.

Portanto, o operador T que mapeia a condicao de Dirichlet u na condicao de Neumann vz (, 0)
1
e de fato o operador () 2 .
O artigo [8] generalizou este metodo com o objetivo de definir um problema de extens
ao semelhante para cada potencia fracionaria do Laplaciano. Para uma funcao u : Rn R suave limitada,
considerou-se o seguinte problema
(
a
x v(x, z) + vz (x, z) + vzz (x, z) =
0
z
v(x, 0)
= u(x)
em
Rn+1
+
em
Rn
tal que a = 1 2s.

Com isso, mostrou-se que
()s u(x) = vz (x, 0),
onde s (0, 1) e a potencia fracionaria do operador Laplaciano foi expressada pela F
ormula da
Derivada Fracionaria de Riesz.
Outro trabalho baseado nesta ideia de extensao harmonica e o artigo de [7], onde estudou-se a raiz
1
quadrada do operador Laplaciano com condicao de fronteira de Dirichlet (D ) 2 , em um domnio

Rn limitado, suave. Tal operador foi definido via metodo de extensao harmonica no cilindro
C= (0, ).
3
Por meio de algumas pesquisas, observamos que nao se tem na literatura, um estudo das potencias
fracionarias do operador Laplaciano com condicao de fronteira de Neumann, via metodo de extens
ao
harmonica e ainda usando series de Fourier.
Nosso trabalho foi definir a raiz quadrada do operador Laplaciano com condicao de fronteira de
1
Neumann (N ) 2 , usando o metodo de extensao harmonica e o auxlio das series de Fourier em tres
tipos de domnios, o intervalo i = (0, ), o quadrado q = (0, ) (0, ) e bola b = B(0, ).
1
Para definir o operador (N ) 2 , consideramos os seguintes problemas de extensao
v (x, y, z)
v(x, y, 0)
lim k
v (, , z)kL2 ()
z
lim k
vz (, , z)kL2 ()
(
v (, , z))
em
R3+
=u
(x, y) em
R2
=0
=0
=0
=0
z 0
quando o domnio for q ou b , onde

Z
(
v (, , z)) =
v(x, y, z)dxdy,
para qualquer z 0 e
v (x, z)
v(x, 0)
lim k
v (, z)kL2 (i )
z
lim k
vz (, z)kL2 (i )
(
v (, z))i
quando o domnio for i , onde
=0
em
=u
(x) em
=0
R2+
R
,
=0
=0
z 0
Z
(
v (, z))i =
v(x, z)dx,
i
para qualquer z 0.
1
O estudo foi feito com o auxlio das series de Fourier, onde definimos o operador (N ) 2 como
sendo uma serie das autofuncoes e autovalores de N , ou seja,
1
(N ) 2 u =
i2 < u, i > i ,
iI
onde i e i sao as autofuncoes e os autovalores de N , respectivamente.

1
Verificamos que o operador (N ) 2 e de fato a raiz quadrada do Laplaciano com condic

ao de
fronteira de Neumann, pois,
1
(N ) 2 (N ) 2 u =
i < u, i > i = N u,
iI
para qualquer u D(N ).

O uso das series de Fourier em nosso estudo foi muito importante pois tivemos a oportunidade de

AO
fazer todas as contas e verificar quais eram de fato as solucoes dos problemas de extensao, bem como
1
para definir o operador (N ) 2 .

Como uma aplicacao, estudamos a existencia de solucoes fracas nao nulas de problemas elpticos
1
nao lineares envolvendo o operador nao local (N ) 2 nos domnios i e q . Ou seja, estudamos o
seguinte problema elptico nao linear
1
(N ) 2 u = up ,
(1.2)
1
1
onde p = 2 + , com s > 1 mpar, quando o domnio for q , e p = p + , com p par e s 1 mpar,
s
s
quando o domnio for i .
1
Como sabemos, o operador (N ) 2 e nao local. Assim uma das vantagens de definirmos este
operador por meio de tecnicas de extensao harmonica e que resolver o problema elptico n
ao local
(1.2), se resume em resolver o seguinte problema elptico local
v (x, y, z)
v (x, y, 0)
z
lim k
v (, , z)kL2 (q )
z
lim k
vz (, , z)kL2 (q )
(
v (, , z))q
em
R3+
=
up (x, y) em
R2
=0
=0
=0
z 0
=0
tal que v e par, periodica nas variaveis x e y, u

e a extensao par, periodica de u à R2 .
Quando o domnio for i , o problema elptico local correspondente e
v (x, z)
v (x, 0)
z
lim k
v (, z)kL2 (i )
z
lim k
vz (, z)kL2 (i )
(
v (, z))i
=0
em
=
up (x) em
=0
R2+
R
,
=0
z 0
=0
onde v e par, periodica na variavel x, u

e uma extensao par, 2-periodica de u à R.
O trabalho esta organizado da seguinte maneira. No Captulo 3, fizemos um estudo do operador
local Laplaciano com condicao de fronteira de Neumann,
N : D(N ) X X
u 7 (u),
onde
u
o
n

D(N ) = u H 2 ()
= 0 e (u) = 0 ,
n
para verificarmos que faz sentido considerar a potencia fracionaria deste operador.
Com isso, usamos a teoria de Calculo Funcional de [15] e [27], para escrevermos o operador
1
(N ) 2 : D((N ) 2 ) X X,
5
como sendo uma serie envolvendo as autofuncoes e os autovalores, do operador N , ou seja,
1
2
(N ) u =
i2 < u, i > i ,
iI
onde i sao as autofuncoes de N , nos domnios citados anteriormente, i sao os correspondentes

autovalores e
1
2
D((N ) ) =

X

2
u L () (u) = 0 e
i | < u, i > | < .
2
iI
No Captulo 4, definimos o operador A 1 : D(A 1 ) X X tal que

2
A 1 u = (
vz (, 0))| ,
2
onde
u
n
o

D(A 1 ) = u H s ()
= 0 e (u) = 0 ,
2
n
3
com s > 2 para q e b , s > para i , e v e a u
nica solucao classica de
2
v (x, y, z)
=0
em
R3+
v(x, y, 0)
=u
(x, y) em
R2
lim k
v (, , z)kL2 () = 0
,
z
lim k
vz (, , z)kL2 () = 0
(
v (, , z))
=0
z 0
quando o domnio for q ou b , ou solucao classica de
v (x, z)
v(x, 0)
lim k
v (, z)kL2 (i )
z
lim k
vz (, z)kL2 (i )
(
v (, z))i
=0
em
=u
(x) em
R2+
R
=0
=0
=0
z 0
quando o domnio for i .

A partir desta definicao, consideramos uma extensao de A 1 definida da seguinte maneira
2
B 1 : Y X X
2
X
1
,
u 7
i2 < u, i > i
iI
onde

Y =

X

2
u L () (u) = 0 e
i | < u, i > | < .
2
iI

AO
6
Com isso, provamos o seguinte teorema.
1
Teorema 1. O operador B 1 coincide com o operador (N ) 2 , ou seja,

2
< u, B 1 u > 0,
2
para qualquer u D(B 1 ) e

2
B 1 B 1 u = N u,
2

No Captulo 5, verificamos a existencia de solucao fraca nao nula do problema nao linear (1.2), com
o auxlio do Teorema do Multiplicador de Lagrange em espacos lineares topologicos para os domnios
i e q .
Para isto, consideramos as seguintes condicoes
1. Se o domnio for i
(a) v(x, z) = v(x, z), quase sempre em x R, para qualquer z 0,
(b) v(x + , 0) =
v (x, 0), quase sempre em x R,
(c) (
v (, z))i = 0, para qualquer z 0.
2. Se o domnio for q
(a) v(x, y, z) = v(x, y, z) = v(x, y, z), quase sempre em (x, y) R2 , para qualquer z 0,
(b) v(x + , y, 0) =
v (x, y, 0), quase sempre em (x, y) R2 ,
(c) (
v (, , z))q = 0, para qualquer z 0.
Sejam as aplicacoes
Ii : Hi R Z Z
1
v 7
|
v (x, z)|2 dxdz,
2 0
i
onde

n

1
Hi = v Hper
(R2+ ) v satisfaz 1. e
o
lim k
v (, T )kL2 (i ) = lim k
vz (, T )kL2 (i ) = 0 ,
e
Iq : Hq R Z Z
1
v 7
|
v (x, y, z)|2 dxdydz,
2 0
q
onde
Hq =

n

1
v Hper
o
lim k
v (, , T )kL2 (q ) = lim k
vz (, , T )kL2 (q ) = 0 .
7
Para algum a > 0 fixo, verificamos a existencia de mnimo dos funcionais Ii e Iq , respectivamente,
sobre os conjuntos

Hi,a
Hq,a

Z

p+1
=
v Hi
(
v (x, 0)) dx = a ,
i

Z

p+1
(
v (x, y, 0)) dxdy = a .
=
v Hq
q
Atraves deste mnimo, mostramos a existencia de solucao fraca nao nula do problema n
ao linear
(1.2) nos domnios i e q , utilizando o Teorema do Multiplicador de Lagrange em espacos lineares
topologicos.
AO
Captulo 2
Preliminares
Vejamos as notacoes e alguns resultados importantes sobre espacos de funcoes que utilizaremos
durante nosso trabalho. O estudo sobre os espacos de funcoes foi baseado em [33] e para o caso de
espacos de funcoes periodicas nos baseamos em [20].
, consideremos
Para n Z+
Rn+1
= {(x, z) Rn+1 | x Rn e z > 0}
+
Seja U subconjunto aberto de Rn . Denotaremos por L2 (U ) o espaco de Banach das func
oes
f : U R, Lebesgue mensuraveis, satisfazendo
Z
kf kL2 (U ) =
1
|f | dx
< .
Consideremos tambem, o espaco de Hilbert

Z

2
u(x)dx = 0 ,
X = u L ()
onde o domnio sera o intervalo, o quadrado ou a bola, com as seguintes notacoes

i = (0, )
q = (0, ) (0, )
b = B(0, ).
O produto interno e a norma do espaco de funcoes X sao dados, respctivamente, por
Z
< u, v >=
u(x)v(x)dx e
kuk =
< u, u >,
para qualquer u, v X.
Denotaremos por Kh , o cone de alura h, definido como
0
Kh = {(x , xn ) Rn | 0 < xn < h, |x | < axn },

com a > 0, h > 0.
CAPITULO 2. PRELIMINARES
10
Defini
c
ao 1. ( [33]) Um domnio U Rn limitado e um domnio do tipo cone se existem domnios
U1 , , UM e cones C1 , , CM , que podem ser obtidos por rotac
oes sobre o cone Kh , tais que
M
[
Uj U
e (Uj U ) + Cj U
j=1
para qualquer j = 1, , M .
Exemplo 1. q = (, ) (, ) e um domnio do tipo cone.
2.1
Espacos de Sobolev, Slobodeckij e H

older
Seja U Rn aberto. Durante nosso estudo usaremos frequentemente os espacos

H s (U ) = H2s (U ),
com s Z+ ou s > 0 nao inteiro. Por isso, nesta secao, definiremos estes espacos de funcoes e veremos
algumas de suas propriedades.
Consideremos S = S(Rn ) o conjunto das funcoes f : Rn C tais que f C (Rn ) e satisfazem
sup |x f (x)| < ,
xRn
para quaisquer multi-ndices , Nn . O conjunto S e chamado Espaco de Schwartz. Denotaremos

o dual de S por S 0 = S 0 (Rn ) que e o espaco das distribuicoes temperadas.
Defini
c
ao 2.
1. Se s Z+ , os espacos H s (Rn ) s
ao os Espacos de Sobolev definidos como
H s (Rn ) = {f S 0 (Rn ) | kf kH s (Rn ) < },
onde
kf kH s (Rn ) =
X
kD f k2L2 (Rn )
1
2
||s
para qualquer f H s (Rn ).

2. Se s > 0 n
ao inteiro, os espacos H s (Rn ) s
ao os Espacos de Slobodeckij dados por
H s (Rn ) = {f S 0 (Rn ) | kf kH s (Rn ) < },
onde
s
kf kH s (Rn ) = k(1 + |x|2 ) 2 F f kL2 (Rn ) ,

para qualquer f H s (Rn ), onde F e a Transformada de Fourier em Rn .
Tendo definido os espacos H s (Rn ) para s > 0, podemos, entao definir os espacos H s (U ) como
sendo a restricao dos espacos H s (Rn ).
Defini
c
ao 3. Seja U Rn aberto arbitr
ario.

2.1. ESPAC
OS DE SOBOLEV, SLOBODECKIJ E HOLDER
11
1. Se s Z+ , os Espacos de Sobolev H s (U ) s
ao definidos como
H s (U ) = {f L2 (U ) | g H s (Rn ) com g(x) = f (x), x U },
com a norma
kf kH s (U ) =
inf
g|U =f
gH s (Rn )
kgkH s (Rn ) ,
para qualquer f H s (U ).
2. Se s > 0 n
ao inteiro, os Espacos de Slobodeckij H s (U ) s
ao definidos como
H s (U ) = {f L2 (U ) | g H s (Rn ) com g(x) = f (x), x U },
com a norma
kf kH s (U ) =
inf
g|U =f
gH s (Rn )
kgkH s (Rn ) ,
Quando o domnio U tem certas propriedades, os espacos H s (U ) podem ser caracterizados com
normas definidas em U . Para isso, consideraremos
D(U ) = C
0 (U ) = {f : U R | f C (U ) com suporte compacto},
e D0 (U ) o dual de D(U ).
Lema 1. Seja U Rn um domnio n
ao limitado do tipo cone, limitado do tipo cone ou C -limitado.
1. Se s Z+ , ent
ao
H s (U ) = {f D0 (U ) | kf kH s (U ) < },
onde

kf kH s (U ) =
kf k2L2 (U )
kD
f k2L2 (U )
1
||=s
2. Se s > 0 n
ao inteiro, ent
ao
H s (U ) = {f D0 (U ) | kf kH s (U ) < },
onde

kf kH s (U ) =
kf k2L2 (U )
X Z
||=[s] U U
|D f (x) D f (y)|2
dxdy
|x y|n+2{s}
para qualquer f H s (U ), onde s = [s] + {s} com [s] inteiro e {s} [0, 1).
Vejamos agora a definicao dos Espacos de Holder.
1
12
Defini
c
ao 4. Seja t 0, os Espacos de H
older, denotados por C t (Rn ), s
ao definidos da seguinte
maneira
1. Se t Z+ , ent
ao C t (Rn ) denota o completamento de S(Rn ) na norma
kf kC t (Rn ) =
X
||t
sup |D f (x)|.
xRn
2. Se 0 < t = [t] + {t}, ent

ao
C t (Rn ) = {f C [t] (Rn ) | kf kC t (Rn ) < },
onde
X
sup
||=[t]
x6=y
kf kC t (Rn ) = kf kC [t] (Rn ) +
|D f (x) D f (y)|
.
|x y|{t}
Analogamente aos espacos de Sobolev e Slobodeckij, podemos definir os espacos de H

older sobre
U atraves da restricao dos espacos C t (Rn ).
Defini
c
ao 5. Seja U Rn um domnio C -limitado. Ent
ao, o Espaco de H
older sobre U , denotado
t
por C (U ), e dado por

t
C (U ) = {f | g C t (Rn ) com g(x) = f (x), x U },

com a norma
kf kC t (U ) =
2.1.1
inf
g|U =f
gC t (Rn )
kgkC t (Rn ) .
Imers
oes Contnuas e Compactas
Durante nosso trabalho as imersoes contnuas e compactas sao de muita utilidade. Por isso,
enunciaremos tais imersoes para os espacos de Sobolev, Slobodeckij e Holder.
As notacoes utilizadas para imersao contnua e compacta, sao dadas, respectivamente, por , e
c
,.
Proposi
c
ao 1. (Imers
oes Contnuas) Seja U Rn um domnio arbitr
ario.
1. Se < t s < , ent
ao
H s (U ) , H t (U ).
2. Se t 0, s > t +
n
, ent
ao
2
H s (U ) , C (U ).
3. Se 2 q < , s > 0 e
sn
1
2
1
,
q
ent
ao
H s (U ) , Lq (U ).

2.1. ESPAC
OS DE SOBOLEV, SLOBODECKIJ E HOLDER
13
Proposi
c
ao 2. (Imers
oes Compactas em domnios do tipo cone) Seja U Rn um domnio limitado
do tipo cone.
1. Se 0 < s <
1
e s < t < e , ent
ao
2
c
H t (U ) , H s (U )
2. No caso em que s = 0, temos
c
H t (U ) , L2 (U ).
3. Se 2 q < , s > 0 e
s>n
1
2
1
,
q
ent
ao
c
H s (U ) , Lq (U ).
Proposi
c
ao 3. (Imers
oes Compactas em domnios limitados suaves) Seja U Rn um domnio C limitado. Se < s < t < , ent
ao
c
H t (U ) , H s (U ).
Tambem, se s > 0 e
s>n
1
2
1
,
q
ent
ao
c
H s (U ) , Lq (U ).
2.1.2
Teorema do Tra
co e Desigualdade de Poincar
e
Enunciaremos nesta subsecao, o teorema do traco em Rn e em U Rn domnio C -limitado. Estes

teoremas podem ser encontrados em [33]. Nosso objetivo, e provar que faz sentido considerarmos o
traco de uma funcao de H s ( (0, )), onde Rn e um aberto arbitrario e s = 1, 2. . Tambem
enunciaremos a Desigualdade de Poincare para um domnio U limitado em uma direcao.
Teorema 2. (Teorema do Traco em Rn ) Sejam s = 1, 2, e x = (x1 , , xn1 ) Rn1 . Ent
ao,
existe uma aplicac
ao linear, contnua,
: H s (Rn )
s1
Y
H sj 2 (Rn1 )
j=0

f
7 (f ) =

f
s1 f
f (x, 0),
(x, 0), , s1 (x, 0) .
xn
xn
Observa
c
ao 1. O teorema anterior e v
alido para s > 0 n
ao necessariamente inteiro, desde que
1
s j n
ao seja inteiro.
2
14
Teorema 3. (Teorema do Traco em U ) Sejam U Rn um domnio C -limitado e

Ent
ao, existe uma aplicac
ao linear, contnua,
[s 12 ]
: H s (U )
1
< s < .
2
H sj 2 (U )
j=0

7 (f ) = f

1
[s 2 ] f
f
,
,
, , [s 1 ]
U U
2 U
onde e o vetor normal exterior em relac

ao ao U e [s 12 ] e inteiro.
Com isso, temos o proximo lema sobre o traco das funcoes em H s ( (0, )), para s = 1, 2. .
Lema 2. Seja u H s ( (0, )), onde Rn aberto e s = 1, 2. . Ent
ao,
1
(u) = u(x, 0) H s 2 ( {0})

e existe C > 0 tal que
k(u)k
H s 2 ({0})
CkukH s ((0,)) .
Demonstrac
ao. Seja u H s ( (0, )), entao u L2 ( (0, )) e existe g H s (Rn+1 ) tal que
g(x, z) = u(x, z),
para qualquer (x, z) (0, ).
1
Pelo Teorema 2., (g) := g(x, 0) H s 2 (Rn ) e existe C > 0 tal que
k(g)k
H s 2 (Rn )
CkgkH s (Rn+1 ) .
Temos, ainda que

1
H s 2 (Rn ) , L2 (Rn ),

logo, (g) L2 (Rn ), em particular (g){0} L2 ( {0}).
Como {0} Rn , temos que
(g) = g(x, 0) = u(x, 0) := (u),
para qualquer (x, 0) {0}.
Entao,

1
(u) := (g){0} H s 2 ( {0}).
Ainda,
k(u)k
H s 2 ({0})
inf
s 1
2 (Rn )
F H
F |{0} =(u)
k(g)k
kF k
H s 2 (Rn )
CkgkH s (Rn+1 ) .
H s 2 (Rn )
(2.1)
2.2. ESPAC
OS DE SOBOLEV DAS FUNC
OES
PERIODICAS
15
Observe que todas as contas que fizemos anteriormente para a funcao g, continuam valendo para
uma funcao h que tenha as mesmas propriedades da funcao g, ou seja, h H s (Rn+1 ) tal que
h(x, z) = u(x, z),
para qualquer (x, z) (0, ).
Logo, em (2.1), segue que
k(u)k
H s 2 ({0})
khkH s (Rn+1 )
inf
hH s (Rn+1 )
h|(0,) =u
= CkukH s ((0,)) .
Portanto, existe C > 0 tal que
k(u)k
H s 2 ({0})
CkukH s ((0,)) ,
para qualquer u H s ( (0, )).

A proxima proposicao nos fornece a Desigualdade de Poincare, a qual sera muito u
til na verificac
ao
de existencia do mnimo de um funcional, que e uma das hipoteses do Teorema do Multiplicador de
Lagrange.
Proposi
c
ao 4. (Desigualdade de Poincare) Seja U Rn limitado em uma direc
ao. Ent
ao, existe
C > 0 tal que
Z
2
Z
|
v (x)| dx C
v(x)dx
Z
+C
|
v (x)|2 dx,
para qualquer v H 1 (U ).
2.2
Espacos de Sobolev das fun

c
oes peri
odicas
(Rn ), o conjunto de todas as fun

Denotaremos por Cper
coes infinitamente diferenciaveis que s
ao
2periodicas, isto e,
v(x + 2 t) = v(x),
para qualquer x Rn e t = (t1 , , tn ) Zn .
(Rn ), ficam unicamente determinadas no cubo
As funcoes do conjunto Cper
Qn = {x Rn | |xj | , j = 1, , n}.
s (Rn ) como sendo o fecho de C (Rn ), com respeito a norma
Defini
c
ao 6. Seja s R. Definimos Hper
per
s (Rn ) =
kukHper
X
kZn
2 s
(1 + |k| ) |b
u(k)|
1
2
16
onde u
b(k) s
ao os coeficientes de Fourier de u dados por
n
2
u
b(k) = (2)
eikx u(x)dx,
Qn
e k x = ki x1 + + kn xn .
0 (Rn )
Em particular, L2per (Rn ) = Hper
e um espaco de Hilbert com o produto escalar
Z
< u, v >Qn =
u(x)v(x)dx =
Qn
u
b(k)b
v (k).
kZn
Estes espacos de Sobolev das funcoes periodicas, tem uma relacao com os espacos de Sobolev e
Slobodeckij em Qn .
Para a demonstracao do proximo lema, usaremos um resultado de [17], que nos diz que dados
a, b [0, ) e s 0, existem constantes positivas ms e Ms dependendo somente de s, tais que
ms (as + bs ) (a + b)s Ms (as + bs ).
(2.2)
Lema 3. Seja Qn Rn . Temos

s (Rn ) H s (Qn ) e suas normas s
1. Se s Z+ , ent
ao Hper
ao equivalentes.
2. Se 0 < s < 1, ent
ao Hper
ao equivalentes.
Demonstrac
ao.
s (Rn ), temos que u C (Rn ). Por outro lado, temos que

1. Seja u Hper
per
C (Qn ) H s (Qn ),
entao
C (Qn ) H s (Qn ),
(Rn ) C (Qn ), segue que u H s (Qn ).
com a norma de H s (Qn ). Como Cper
Temos ainda, usando (2.2), que

X
d 2 =
(1 + |k|2 )s |u(k)|
kZn
d 2
(1 + |i|k||2 )s |u(k)|
kZn
Ms
d 2 + Ms
|u(k)|
kZn
= Ms
d 2
|(i|k|)s u(k)|
kZn
2
d + Ms
|u(k)|
s (k)|2
\
|D
kZn
kZn
Z
|u(x)| dx +
= Ms
Qn
Qn
Como s Z+ , sabemos que

|Ds u(x)|2 =
X
||=s
|D u(x)|2 .

|D u(x)| dx .
s
2.2. ESPAC
OES
PERIODICAS
17
Logo,
X

X
2
2
2
d
kD ukL2 (Qn )
(1 + |k| ) |u(k)| Ms kukL2 (Qn ) +
2 s
kZn
||=s
= Ms kuk2H s (Qn ) ,
ou seja,
p
s (Rn )
kukHper
Ms kukH s (Qn ) .
Por outro lado, usando (2.2), tambem temos que

X
d 2 =
(1 + |k|2 )s |u(k)|
kZn
d 2
(1 + |i|k||2 )s |u(k)|
kZn
ms
X
kZn

= ms
d 2 + ms
|u(k)|
kuk2L2 (Qn )
d 2
|(i|k|)s u(k)|
kZn
kD
uk2L2 (Qn )

,
||=s
ou seja,
s (Rn )
kukHper
ms kukH s (Qn ) .

Portanto, Hper
ao equivalentes.
s (Rn ) H s (Qn ), para 0 < s < 1, segue pelo mesmo racioc
nio usado no item 1.
2. O fato de Hper
s (Rn ), usando propriedades de convolu
Seja u Hper
cao e modulo, temos que
Z
Qn
Z
Qn
|u(x) u(y)|2
dxdy =
|x y|n+2s
Z
Qn
Z
=
Qn
|u(y x) u(y)|2
dxdy
|x|n+2s
Qn
Z

1
2
|u(y x) u(y)| dy dx.
|x|n+2s Qn
(2.3)
Considere, para cada x Qn , a funcao

gx (y) = u(y x) u(y),
e observe que
n
gbx (k) = (2) 2
n
2
eikz gx (z)dz
= (2)
ikz
Z
Qn
n
2
u(z x)dz (2)
Qn
= (2) 2
(2.4)
Qn
Qn
eik(zx) u(z)dz u
b(k)
= (eikx 1)b
u(k).
eikz u(z)dz
18
Assim, por (2.4) e pela Identidade de Parseval, segue em (2.3) que

Z
Qn
Qn
|u(x) u(y)|2
dxdy =
|x y|n+2s
Z

g
(y)g
(y)dy
dx
x
x
n+2s
Qn |x|
Qn
X

Z
1
2
=
|gbx (k)| dx
n+2s
Qn |x|
n
kZ
Z

X
|eikx 1|2
2
dx.
=
|b
u(k)|
|x|n+2s
Qn
n
Z
kZ
Observe que se |k| = 0, entao

Z
Qn
Qn
|u(x) u(y)|2
dxdy = 0,
|x y|n+2s
e assim
s (Rn ) .
kukH s (Qn ) = kukL2 (Qn ) = kukHper
t
, logo
|k|
Caso contrario, fazemos a mudanca de variavel x =

Z
Qn
|eikx 1|2
dx = |k|2s
|x|n+2s
t
ik |k|
1|2
|e
|t|n+2s
Qn
dt = As |k|2s .
Sendo assim,
Z
Qn
Z
Qn
X
|u(x) u(y)|2
dxdy
=
A
|k|2s |b
u(k)|2 .
s
|x y|n+2s
n
kZ
Entao, usando (2.2), segue que

X
kuk2Hper
ms kuk2L2per (Rn ) + ms
s (Rn )
|k|2s |b
u(k)|2
kZn
= ms kuk2L2 (Qn ) +
ms
As
Z
Qn
Z
Qn
|u(x) u(y)|2
dxdy
|x y|n+2s
cs kuk2H s (Qn ) .
Analogamente, existe Cs > 0, tal que
2
kuk2Hper
s (Rn ) Cs kukH s (Qn ) .
Portanto, Hper
ao equivalentes.
O lema anterior e importante, pois as imersoes validas para os espacos H s (Qn ), tambem s
ao v
alidas
s (Rn ), para qualquer s Z ou 0 < s < 1.
para os espacos de Sobolev das funcoes periodicas Hper
+
2.2. ESPAC
OES
PERIODICAS
19
Consideremos tambem, o conjunto de todas as funcoes infinitamente diferenciaveis que s

ao 2periodicas com respeito a variavel x, isto e,
v(x + 2 t, z) = v(x, z),
(Rn+1 )
para qualquer (x, z) Rn+1
e t = (t1 , , tn ) Zn . Este conjunto sera denotado por Cper
+
+
s (Rn+1 ) como sendo o fecho de C (Rn+1 ) com respeito a norma
Defini
c
ao 7. Definimos Hper
per
+
+
s
X
Z
k
u kH s
n+1
per (R+ )
=
0
kDzj u
(, z)k2H sj (Rn ) dz
per
1
j=0
s (Rn+1 ).
para qualquer u
Hper
+
n+1
0
Em particular, L2per (Rn+1
e um espaco de Hilbert, com o produto interno dado por
+ ) = Hper (R+ )
< v, w
>Qn (0,) =
u
(x, z)w(x,
z)dxdz,
Qn
para todo u
, w
L2per (Rn+1
+ ).
s (Rn ), temos que H s (Rn+1 ) H s (Qn (0, )), para qualquer
Analogamente, aos espacos Hper
per
+
s 0.
Em particular, para s = 1, temos que
kuk2H 1 (Rn+1 )
per
+
Z
=
0
1
X
kDzj u(, z)k2H 1j (Rn ) dz

per
j=0
Z Z
n
2
X

u
(x, z) dxdz +
=
|u(x, z)| dxdz +
|uz (x, z)|2 dxdz

0
Qn
0
Qn j=1 xj
0
Qn
Z Z
Z Z
2
=
|u(x, z)| dxdz +
|u(x, z)|2 dxdz
Z
2.2.1
Qn
2
kukH 1 (Qn (0,)) .
0
Qn
Teorema do Tra
co para as fun
c
oes peri
odicas
Analogamente aos espacos de Sobolev e Slobodeckij, temos para os espacos de Sobolev das func
oes
periodicas, o traco bem definido, como enunciaremos a seguir.
(Rn+1 ) dado por
Lema 4. ( [20])Considere o operador traco sobre Cper
+

u
7 u
(x, 0), (Dz u
)(x, 0), , (Dz1 u
)(x, 0) ,
Ent
ao, se s , o operador pode ser estendido continuamente a uma func
ao limitada tal que
s
: Hper
(Rn+1
+ )
Y
j=1
sj+ 21
Hper
(Rn ).
20
Captulo 3
C
alculo Funcional
Neste captulo, estudaremos o operador Laplaciano com condicao de fronteira de Neumann, denotado por N , nos domnios i , q e b .
Para facilitar a notacao, quando o estudo independer do domnio, denotaremos o domnio somente
por , quando necessario faremos a distincao.
Veremos algumas propriedades deste operador, com o objetivo de concluir que N e um operador
positivo e por isso faz sentido calcularmos sua raiz quadrada. Tambem veremos que o operador
1
(N ) 2 e dado como uma Serie de Fourier, isto e,

1
(N ) 2 : D((N ) 2 ) X X
(3.1)
1
u 7 (N ) 2 u =
1
2
i < u, i > i ,
iI
onde I = N em i , I = (N N)\{(0, 0)} em q e I = (N N)\{(1, 0)} em b , {i }iI forma

um sistema ortogonal completo de autofuncoes do operador N em cada domnio , {i }iI s
ao os
correspondentes autovalores e
1
2
D((N ) ) =
X

2
uX
i < u, i > < .
iI
Este captulo sera dividido em duas secoes. Na primeira secao, estudaremos algumas propriedades
do operador N e concluiremos que este operador e um operador positivo. Na segunda sec
ao,
1
definiremos o operador (N ) 2 como uma Serie de Fourier, envolvendo as autofuncoes e os autovalores

1
do operador N nos domnios e tambem daremos uma caracterizacao do D((N ) 2 ).
3.1
Estudo do Operador N
Considere o operador
N : D(N ) X
u
7 u
onde, para n sendo o vetor normal, unitario, exterior ao , temos que

Z
u
n
o

2
D(N ) = u H ()
u(x)dx = 0 .
=0 e
n

CAPITULO 3. CALCULO
FUNCIONAL
22
Durante o texto, usaremos frequentemente a notacao u , tal que

Z
u =
u(x)dx,
para qualquer domnio .

Lema 5. O operador N e mon
otono, simetrico e satisfaz R(I N ) = X.
Demonstrac
ao. Primeiramente, observemos que o operador N e densamente definido.
Seja u X L2 (), logo como C0 () = L2 (), segue que existe {un } C0 () tal que
n
kun ukL2 () 0,
onde C0 () e o conjunto das funcoes infinitamente diferenciaveis com suporte compacto em .
Considere a funcao
vn (x) = un (x)
(un )
,
m()
e observe que
1. vn C () H 2 (), para qualquer n N.
2. (vn ) = 0, para qualquer n N.
3.
vn
un
=
= 0,
n
n
pois un tem suporte compacto em , para qualquer n N.
Entao, de 1., 2. e 3. segue que {vn } D(N ) e ainda

u
(un )

ku vn k ku un kL2 () +

m() m() L2 ()
n
2ku un kL2 () 0,
logo, temos que X = D(N ).
Por outro lado, sejam u, v D(N ). Temos usando Integracao por Partes para i e q , e as
Formulas de Green para b , que
Z
< N u, u > =
|u(x)|2 dx 0,
Z
< N u, v > =
u(x)v(x)dx
= < u, N v >,
logo, o operador N e um operador monotono e simetrico, respectivamente.
3.1. ESTUDO DO OPERADOR N
23
Seja g X, queremos encontrar u D(N ) tal que (I N )u = g, isto e, queremos encontrar

u H 2 () tal que
u + u = g
u
=0
n
u = 0
em
Considere a : R tal que

Z
Z
u(x)v(x)dx +
a(u, v) =
u(x)v(x)dx,
onde = {u H 1 () | u = 0} e um Espaco de Hilbert.

A funcao a e bilinear e usando a Desigualdade de Holder, para qualquer u, v vale que
1.
Z
|a(u, v)|
Z
|u(x)v(x)|dx +
|u(x)v(x)|dx
2kukH 1 () kvkH 1 () .
2.
Z
|a(u, u)| =
|u(x)|2 dx
|u(x)| dx +
= kuk2H 1 () .
Entao, tomando F : R tal que
Z
F (v) =
g(x)v(x)dx
para qualquer v , temos que F e pelo Teorema de Lax-Milgran, segue que existe uma
u
nica u tal que
Z
Z
u(x)v(x)dx +
Z
u(x)v(x)dx =
g(x)v(x)dx,
(3.2)
para qualquer v e em particular para qualquer v H 1 ().

Entao, por [6], temos que u H 2 () e ainda usando o Metodo de Integracao por Partes para
i e q , e as Formulas de Green para b , em (3.2) segue que
Z
Z
[u(x) u(x) + g(x)]v(x)dx =
para qualquer v H 1 ().
u
(x)v(x)d,
n
(3.3)

CAPITULO 3. CALCULO
FUNCIONAL
24
Em particular, para v C0 () H 1 (), segue em (3.3) que

Z
[u(x) u(x) + g(x)]v(x)dx = 0 = u + u = g quase sempre.
Voltando à (3.3), temos que

Z
u
(x)v(x)dx = 0
n
para qualquer v H 1 (). Em particular, para

v=
u
H 1 (),
n
segue que
Z
u 2
u

= 0 quase sempre.
(x) dx = 0 =
n
n
Portanto, u satisfaz
u + u = g
u
=0
n
u = 0
em
ou seja, R(I N ) = X.
Pelo lema anterior, temos a seguinte proposicao.

Proposi
c
ao 5. O operador N e um operador auto-adjunto.
Demonstrac
ao. A demonstracao segue do Lema 5. e de [26], pagina 20.
Proposi
c
ao 6. O operador N e limitado inferiormente, isto e, existe m R tal que para qualquer
u D(N ), vale
< N u, u > mkuk2 .
Demonstrac
ao. Seja u D(N ), usando o Metodo de Integracao por Partes para i e q , e as
Formulas de Green para b , temos que
Z
< N u, u > = u(x)u(x)dx
Z
=
|u(x)|2 dx.
(3.4)
Para concluirmos a demonstracao, usaremos a Desigualdade de Poincare Generalizada em cada

caso de .
1. Se = i , considerando u
como sendo a extensao par, 2-periodica de u, temos que u
(0,2) = 0
eu
H 1 (0, 2), entao pela Desigualdade de Wirtinger, segue que
Z
0
|
u(x)|2 dx
Z
0
|
ux (x)|2 dx,
3.1. ESTUDO DO OPERADOR N
25
para qualquer u
H 1 (0, 2), logo, tomando m = 1 e usando a periodicidade de u
, temos que
Z
|u(x)|2 dx.
|u(x)|
m
i
2. Se = b , temos por [11], que existe M > 0, tal que

u

1
1

M kukL2 (b ) = kukL2 (b )
u b 2
kub kL2 (b ) + M kukL2 (b )
m(b )
m(b )
L (b )
n
1 o
Como ub = 0, tomando m = min 1, 2 , segue que
M
Z
Z
|u(x, y)|2 dxdy.
|u(x, y)|2 dxdy
m
b
3. Se = q , temos por [22], que existe N > 0, tal que

kuk2H 1 (q )
kuk2L2 (q )
Z

+
2

u(x, y)dxdy = kuk2H 1 (q ) N 2 kuk2L2 (q ) .
n 1 o
Como, kuk2L2 (q ) kuk2H 1 (q ) , segue para m = min 1, 2 , que
N
Z
Z
m
|u(x, y)|2 dxdy
|u(x, y)|2 dxdy.
q
Portanto, em cada caso de , existe m > 0 tal que em (3.4) vale

< N u, u > mkuk2L2 () .
Com isso, temos o seguinte teorema.

Teorema 4. O operador N e um operador positivo.
Demonstrac
ao. Pelas Proposicoes 5., 6., e o Teorema 14., temos que N e um operador setorial tal
que
Re((N )) m.
h

Temos tambem, por [9], que (N ) m, + , logo,
(N ) (, m] = [0, +) (N ).
Por definicao de Operador Setorial, temos que o operador N e fechado, densamente definido e
para algum 0 < < , M 1, vale que

2
Sm, = { C | |arg( m)| , 6= m} (N )

CAPITULO 3. CALCULO
FUNCIONAL
26
e
k(I + N )1 k
M
,
| m|
para qualquer Sm, .

Assim, dado s R+ temos, pelo fato de m > 0, que = s R Sm, , logo,
k(sI N )1 k
M
.
|s + m|
Entao,
1
(1 + s)k(sI N )
1
s
k M
+
|s + m| |s + m|

1
M
+1 ,
m
f 1, onde
para qualquer s R+ , ou seja, existe M
f = (1 + m) M
M
m
tal que
f,
(1 + s)k(sI N )1 k M
para qualquer s R+ .
Portanto, N e um operador positivo.
3.2
Raiz Quadrada do operador N
Como vimos na secao anterior, o operador N e um operador positivo, logo, conclumos que faz
sentido considerarmos a raiz quadrada de N , ou seja, o operador
1
(N ) 2 : D((N ) 2 ) X X,
esta bem definido.
1
Para escrevermos (N ) 2 como uma Serie de Fourier e caracterizarmos o D((N ) 2 ), usaremos

a teoria de Calculo Funcional de [15] e [27].
Sabemos que o operador N e setorial e Re((N )) > 0, entao por [15] temos que
1
(N ) 2 : X X,
e um operador linear, limitado tal que
12
(N )
1
=
2 (I N )1 d.
Como nosso objetivo e usar a teoria espectral, vamos inicialmente, exibir um sistema ortogonal
completo para X, formado pelas autofuncoes do operador N e os respectivos autovalores, em cada
caso do domnio .
3.2. RAIZ QUADRADA DO OPERADOR N
27
Proposi
c
ao 7. Considere o operador N em .
1. Se = i , ent
ao suas autofunc
oes ortonormais j e seus respectivos autovalores j s
ao dados
por
r
j (x) =
2
cos(jx) e j = j 2 ,
para qualquer j 1.
2. Se = q , ent
ao suas autofunc
oes ortonormais jk e seus respectivos autovalores jk s
ao dados
por
jk (x, y) = jk cos(jx) cos(ky) e jk = j 2 + k 2 ,
onde
jk =
se k = 0 ou j = 0
se k, j 1
para qualquer (j, k) (N N)\{(0, 0)}.

3. Se = b , ent
ao suas autofunc
oes ortonormais jk s
ao dadas por
j0 (x, y) = wj0 (r, ) = Aj0 J0
onde
Aj0 =
1
3
2
|J0 (j0 )|
r
j0
,
para qualquer j 2,
jk (x, y) = wjk (r, ) =
r
jk
Ajk Jk
cos(k)

B J jk r sin(k)
jk k
para qualquer j, k 1, onde
Ajk = B jk =
2jk
1
3
2
(2jk k 2 ) 2 |Jk (jk )|
e seus respectivos autovalores jk s

ao dados por
jk =
2
jk
,
0
para qualquer (j, k) (N N)\{(1, 0)}, onde jk s

ao os zeros estritamente positivos de Jk .
E ainda, estas autofunc
oes formam um sistema ortogonal completo para X.

CAPITULO 3. CALCULO
FUNCIONAL
28
Demonstrac
ao. O caso em que o domnio e i e facilmente verificado, pois sabemos que as func
oes
senos, cossenos e constantes formam um sistema ortogonal completo para L2 (, ). Sendo assim,
como qualquer funcao de X pode ser estendida par em (, ), e usando o fato desta func
ao ter
media nula, verificamos que os coeficientes de Fourier desta funcao, que envolvem as funcoes senos e
constantes se anulam, logo {j }j1 forma um sistema ortogonal completo para X no caso i .
Por outro lado, temos em [14] que as autofuncoes e os respectivos autovalores do operador N
sao dados desta forma em q e b , considerando que estamos estudando as autofuncoes com media
nula.
Vamos, entao verificar que estas autofuncoes formam um sistema ortogonal completo para X, ou
seja, mostrar que elas formam um conjunto completo em X, ja que a ortonormalidade e f
acil de se
verificar. A demonstracao sera feita para cada caso de .
1. = q .
Temos por [32], que vale a Identidade de Parseval em L2 (Q2 ), isto e,
X
1
2
kf
k
=
jk (a2jk + b2jk + c2jk + d2jk ),
L2 (Q2 )
2
j,k0
para qualquer f L2 (Q2 ), onde

1
2
1
2
1
= 2
1
= 2
ajk =
bjk =
cjk
djk
f (x, y) cos(jx) cos(ky)dxdy,

Q2
f (x, y) sin(jx) cos(ky)dxdy,

Q2
f (x, y) cos(jx) sin(ky)dxdy,

Q2
f (x, y) sin(jx) sin(ky)dxdy,

Q2
para todo j, k 0 e
jk
1
=
se j = k = 0
se j > 0, k = 0 ou j = 0, k > 0 .
se j > 0, k > 0
Seja g X, tome sua extensao par nas variaveis x e y, isto e,
g(x, y)
g(x, y)
f (x, y) =
g(x, y)
g(x, y)
se (x, y)
[0, ]
se (x, y) [, 0]
[0, ]
se (x, y)
[0, ]
[0, ]
[, 0]
se (x, y) [, 0] [, 0]
29
Como f e par em x e y, temos que bjk = cjk = djk = 0, para todo j, k 0, e pelo fato de g ter
media nula, temos tambem que a00 = 0. Entao,
X
4
2
kgkL2 (q ) =
jk a2jk ,
2
(j,k)I
onde
4
= 2
ajk
g(x, y) cos(jx) cos(ky)dxdy.

q
Portanto,
kgk2L2 (q ) =
| < g, jk > |2 ,
(j,k)I
isto e, vale a Identidade de Parseval em X, logo, {jk }(j,k)I forma um sistema ortogonal
completo para X em q .
2. = b .
Seja u X tal que < u, jk >= 0, para qualquer (j, k) I. Logo,
Z
rU (r, )wjk (r, )drd = 0,

0
para qualquer (j, k) I.

Sabemos, para p R, que
n
o
jp
Jp
j=1
forma um sistema ortogonal completo para L2 ((0, ); r), onde L2 ((0, ); r) e o espaco L2 ((0, ))
com peso r.
Assim,
(a) se k = 0 e j 2, entao
rh(r)J0
j0

r dr = 0,
para qualquer j 2, onde

2
Z
h(r) =
U (r, )d.
0
Como 10 = 0, temos que J0

Z
10
rh(r)J0

r =1e
10
r dr =
rU (r, )drd = 0,
0
pois ub = 0.
Entao,
D
h, J0
j0
E
L2 ((0,);r)
= 0,

CAPITULO 3. CALCULO
FUNCIONAL
30
para qualquer j 1, logo
2
U (r, )d = 0,
0
para qualquer r (0, ).

(b) se
wjk = Jk
jk

r cos(k),
entao usando a mesma ideia do caso anterior, segue que

2
U (r, ) cos(k)d = 0,
0
para qualquer r (0, ), k 1.

(c) se
wjk = Jk
jk

r sin(k),
temos que
Z
U (r, ) sin(k)d = 0,
0
para qualquer r (0, ), k 1.

Usando o fato de que

1 cos sin cos(2) sin(2)
, , ,
, , ,
forma um sistema ortogonal completo para L2 ([, ]), temos que U (r, ) = 0 para qualquer
(r, ) (0, )(0, 2). Portanto, as autofuncoes do operador N formam um sistema ortogonal
completo para X em b .
A proxima proposicao descrevera o operador (N ) 2 , como uma Serie de Fourier formada pelas
autofuncoes e respectivos autovalores do operador N .
Proposi
c
ao 8. Para qualquer u X, temos que
(N ) 2 u =
12
< u, i > i ,
iI
onde {i }iI e um sistema ortogonal completo de X, formado por autofunc

oes do operador N e
{i }iI s
ao os respectivos autovalores.
Demonstrac
ao. Seja i autofuncao do operador N , para qualquer i I. Como i X, temos que
1
(N ) 2 i =
2 (I N )1 i d.
Mas,
N i = i i ,
31
para qualquer i I e como [0, ) (N ), temos que

(I N )1 i =
1
i ,
+ i
para qualquer i I.
Entao,
Z
i
i =
21
(N )
2
1
d = i 2 i ,
+ i
para qualquer i I.
Seja u X, logo
u=
< u, i > i .
iI
Assim, considerando a soma parcial

sm =
m
X
< u, i > i ,
iI
temos que
m

X
1
1
1
1
m

i 2 < u, i > i = (N ) 2 u (N ) 2 sm Kku sm k 0.
(N ) 2 u
iI
Portanto,
12
(N )
u=
12
< u, i > i .
iI
Observa
c
ao 2. Para qualquer u D((N ) 2 ), temos que (N ) 2 u D((N ) 2 ).
De fato, por definic
ao temos que
1
D((N ) 2 ) = {u X | (N ) 2 u X}.
1
Obviamente, (N ) 2 u X, para qualquer u X, e por definic

ao
1
(N ) 2 = ((N ) 2 )1 ,
1
no D((N ) 2 ), logo
1
(N ) 2 ((N ) 2 u) = u X,
1
para qualquer u D((N ) 2 ). Portanto, (N ) 2 u D((N ) 2 ), para qualquer u D((N ) 2 ).

Sendo assim, como i 6= 0, para qualquer i I, temos por [27], que
1
(N ) 2 u =
X
iI
i2 < u, i > i ,

CAPITULO 3. CALCULO
FUNCIONAL
32
1
para qualquer u D((N ) 2 ).

1
Tendo definido o operador (N ) 2 , vamos agora descrever seu domnio.

Proposi
c
ao 9. Considere o conjunto
X
n
o

Y = uX
i | < u, i > |2 < .
iI
1
Ent
ao, temos que D((N ) 2 ) = Y .
1
Demonstrac
ao. Seja u D((N ) 2 ), logo u X e (N ) 2 u X, ou seja, a serie
i2 < u, i > i
iI
converge em L2 (). Entao, a serie numerica
i | < u, i > |2 ,
iI
1
converge. Portanto, D((N ) 2 ) Y .

Considere v Y X, entao a serie numerica
i | < v, i > |2 ,
iI
e convergente, ou seja, a serie
i2 < v, i > i
iI
converge em
L2 ().
Sabemos que (i ) = 0, para qualquer i I, logo, tomando

sm =
m
X
i2 < v, i > i ,
iI
temos que

Z

Z

1
1
(N ) 2 v(x)dx = (N ) 2 v(x) sm (x)dx

Z

1

(N ) 2 v(x) sm (x)dx

m
1
1
[med()] 2 (N ) 2 v sm L2 () 0 .
Entao,
Z
(N ) 2 v(x)dx = 0,
33
1
e assim v D((N ) 2 ). Portanto, Y = D((N ) 2 ).

Sendo assim, conclumos o seguinte teorema.
Teorema 5. Sejam {i }iI a base ortonormal de X formada pelas autofunc
oes do operador N e
{i }iI os respectivos autovalores, em i , q ou b . Ent
ao,
1.
X
n
o

D((N ) ) = u X
i | < u, i > |2 < .
1
2
iI
1
2. O operador (N ) 2 : D((N ) 2 ) X X e dado por

1
(N ) 2 u =
X
iI
i2 < u, i > i .
34
CAPITULO 3. CALCULO
FUNCIONAL
Captulo 4
O Operador
Neste captulo, temos por objetivo definir o operador B 1 e verificar que este operador coincide
2
com a raiz quadrada do operador Laplaciano com condicao de fronteira de Neumann (N ) 2 . Este
operador B 1 , sera definido como uma extensao do operador A 1 .
2
A definicao do operador A 1 esta intimamente ligada com a existencia e unicidade de soluc

ao
2
classica do seguinte problema de extensao harmonica
v (x, y, z)
v(x, y, 0)
lim k
v (, , z)kL2 ()
z
lim k
vz (, , z)kL2 ()
(
v (, , z))
em
R3+
=u
(x, y) em
R2
=0
=0
(4.1)
=0
z 0
=0
onde u
e uma extensao que definiremos da funcao u D(A 1 ) em R2 ,
2
Z
(
v (, , z)) =
v(x, y, z)dxdy,
para qualquer z 0 e o domnio e q ou b .

Quando o domnio for i , o problema de extensao harmonica associado e
v (x, z)
v(x, 0)
lim k
v (, z)kL2 (i )
z
lim k
vz (, z)kL2 (i )
(
v (, z))i
=0
em
=u
(x) em
=0
R2+
R
,
(4.2)
=0
=0
z 0
onde u
e uma extensao que definiremos da funcao u D(A 1 ) em R,
2
Z
(
v (, z))i =
v(x, z)dx,
i
para qualquer z 0.
O captulo sera dividido em tres secoes, onde em cada secao o estudo sera feito para cada caso do
domnio .
CAPITULO 4. O OPERADOR
36
4.1
Caso i = (0, )
Seja s >
3
e considere
2

D(A 1 ) =
2
Z

u H (i ) ux (0) = ux () = 0 e
s

u(x)dx = 0 .
Observe que
u H s (i ) ux H s1 (i ) , C(i ),
1
a bem
pois s 1 > . Logo, a derivada de u tem traco bem definido e com isso temos que D(A 1 ) est
2
2
definido.
Seja u D(A 1 ) e considere a extensao par, 2-periodica de u em R, isto e,
2
(
u
(x) =
u(x 2k)
se
2k
x (2k + 1)
u(x + 2k) se (2k 1) < x <
2k
com k Z. Pela Proposicao 14., temos que u

C(R).
Tendo estendido a funcao u D(A 1 ) à R, vejamos a definicao de solucao classica de (4.2)
2
Defini
c
ao 8. Dizemos que uma func
ao v : R2+ R e soluc
ao cl
assica de (4.2) se satisfaz
2 (R2 ), isto
1. v Cper
e, v C 2 (R2+ ) e v e 2peri
odica na vari
avel x R.
+
2. v e par na vari
avel x.
3. v satisfaz (4.2).
Usando o Metodo de Separacao de Variaveis, temos que a funcao
v(x, z) =
aj ejz cos(jx),
(4.3)
j=1
onde
2
aj =
u(x) cos(jx)dx,
(4.4)
para qualquer j 1, e candidata à solucao de (4.2). O proximo teorema, verifica que de fato esta
funcao e a u
nica solucao de (4.2).
sua extens
ao par, 2peri
odica em R. Ent
ao, a func
ao v : R2+ R
Teorema 6. Seja u D(A 1 ) e u
2
dada por (4.3) e (4.4) e a u

nica soluc
ao cl
assica de (4.2).
Demonstrac
ao. Primeiramente, temos que v e uma funcao par, 2-periodica na variavel x, devido a
paridade e periodicidade da funcao cosseno.
1. v Cper (R2+ ).
De fato, observe que

2
1
jz

cos(jx) 2 | < u, j > |2 + e2jz ,
aj e
4.1. CASO I = (0, )
37
2
cos(jx).
Sabemos que a desigualdade

onde j (x) =
j n e2jz
C
,
j2
e valida para qualquer n Z+ e para cada z > 0, onde C e uma constante que depende de z.
Logo,

C
2
jz

cos(jx) 2 | < u, j > |2 + 2 ,
aj e
j
para cada (x, z) R2+ e para qualquer j 1.
Entao, usando a Identidade de Parseval, temos que as series numericas
| < u, j > |2
j=1
X
C
,
j2
j=1
convergem, com isso pelo Criterio de Weierstrass temos que v e contnua em [0, ] (0, ).
Portanto, pela periodicidade e paridade de v na variavel x, segue que v Cper (R2+ ).
2 (R2 ).
2. v Cper
+
De fato, segue pelos mesmos argumentos do item anterior, usando o fato que
vx (0, z) = vx (, z) = 0,
para qualquer z > 0.
De fato, pela convergencia pontual da serie que define v e a convergencia em compactos da serie
das derivadas, fazendo alguns calculos, vemos que
v (x, z) = 0,
para qualquer (x, z) R2+ .
Seja u D(A 1 ) X, temos que
2
u=
< u, j > j ,
j1
em L2 (i ), onde j sao as autofuncoes de N em i . Logo,

u
=
X
j1
em L2per (R).
< u, j > j ,
38
(R2 ) tal que
Considerando a sequencia {m } Cper
+
m (x, z) =
m
X
aj ejz cos(jx),
j1
temos que
lim k
v m kHper
1 (R2 ) = 0.
+
1 (R2 ). Pelo Teorema do Tra

Entao, conclumos que v Hper
co, segue que
+
v(, 0) =
< u, j > j ,
j1
em L2per (R). Portanto, v(, 0) = u

() quase sempre em R.
Por outro lado,
k
v (, z)k2L2 (i )
|aj |2 e2jz 0,
j=1
analogamente, temos que

z
k
vz (, z)kL2 (i ) 0.
Usando tambem as propriedades de convergencia uniforme de serie de funcoes, segue que
Z
v(x, z)dx =
0
X
j=1
jz
Z
aj e

cos(jx)dx
= 0,
para qualquer z > 0. O mesmo e valido para z = 0, ja que u

tem media zero e coincide quase
sempre com v(, 0) em R.
Portanto, v e solucao classica de (4.2). Para provarmos a unicidade de solucao classica suponha
que v1 , v2 sejam solucoes classicas (4.2), entao w
= v1 v2 e solucao classica de
w(x,
z) = 0
em
R2+
w(x,
0) = 0
em
R
lim kw(,
z)kL2 (i ) = 0
.
z
lim kw
z (, z)kL2 (i ) = 0
(w(,
z))i = 0
z 0
1 (R2 ), j
1 (R2 ).
Sabemos tambem que w
e par na variavel x e w
Hper
a que v1 , v2 Hper
+
+
1 (R2 ) satisfazendo
Considere o espaco de Hilbert H como sendo o conjunto das funcoes u Hper
+
1. u e par quase sempre na variavel x.

2. (u(, z))i = 0, para qualquer z 0.
3. u(, 0) = 0 quase sempre em R.
4.1. CASO I = (0, )
39
4. lim ku(, z)kL2 (i ) = lim kuz (, z)kL2 (i ) = 0.

z
com norma dada por

Z
kukH =
1
2
|u(x, z)| dxdz

0
Usando o Metodo de Integracao por Partes, temos que w

satisfaz
Z
w(x,
z)(x,
z)dxdz = 0,
0
para qualquer H.
Por outro lado, considere o funcional h : H H R tal que
)
h(,
=
z)(x,
(x,
z)dxdz,
H.
para qualquer ,
Verificamos facilmente, que este funcional h satisfaz as hipoteses do Teorema de Lax-Milgran,
entao existe uma u
nica funcao H, tal que
)
h(,
= 0,
(4.5)
para qualquer H.
Como as funcoes nula e w
satisfazem (4.5), segue que w
= 0 e portanto v1 = v2 .
Atraves da existencia e unicidade de solucao classica do problema de extensao harmonica (4.2),

temos a seguinte definicao.
Defini
c
ao 9. Seja
Z

n
o
3

s
D(A 1 ) = u H (i ) s > , ux (0) = ux () = 0 e
u(x)dx = 0 .
2
2
i
Definimos o seguinte operador
A 1 : D(A 1 ) X X
2
u 7 (
vz (, 0))|i
onde v e a u
nica soluc
ao cl
assica (4.2).
Observa
c
ao 3. Vejamos que o operador A 1 est
a bem definido. Isto ocorre, devido a unicidade de
2
soluc
ao do problema (4.2) e tambem pelo fato de que A 1 X, pois
2
vz (, 0) =
X
j=1
em L2 (i ).
j2 < u, j > j ,
40
Pela observacao anterior temos que o operador A 1 pode ser visto como uma serie envolvendo as
2
autofuncoes e os respectivos autovalores do operador N em i . Isso decorre do fato dos autovalores

do operador N em i serem dados por j = j 2 , para qualquer j 1, e
2
aj =
r
onde j (x) =
Logo,
r Z
2
u(x) cos(jx)dx =
u(x)j (x)dx,
i
i
2
cos(jx), para qualquer j 1.
A1 u =
2
j2 < u, j > j ,
j=1
em L2 (i ).
Nosso objetivo agora, apos ter definido o operador A 1 , e definir o operador B 1 .
2
Defini
c
ao 10. Seja
X
n
o

Y = uX
j | < u, j > |2 < .
j=1
Definimos o operador
B 1 : Y X X
2
X
1
,
u 7
j2 < u, j > j
j=1
r
onde j = j 2 e j (x) =
2
cos(jx), para qualquer j 1.
O operador B 1 e definido por meio da convergencia na norma de X, isto e,

2

m
X
1

2

lim B 1 u
j < u, j > j
= 0.
j=1
Lema 6. O operador B 1 est

a bem definido e e uma extens
ao do operador A 1 a Y .
2
Demonstrac
ao. Seja u Y , logo a serie
j2 < u, j > j ,
j=1
converge em L2 (i ), ou seja, B 1 u L2 (i ).
2
Sabemos que
Z
j (x)dx = 0,
i
para qualquer j 1.
4.1. CASO I = (0, )
41
Logo, considerando as somas parciais, dadas por

m
X
sm =
j2 < u, j > j ,
j=1
temos que
Z

Z

B 1 u(x)dx
2
|B 1 u(x) sm (x)|dx
2
2 kB 1 u sm k 0,
2
ou seja,
Z
B 1 u(x)dx = 0,
2
e assim B 1 u X. Entao, devido a unicidade da Serie de Fourier, o operador esta bem definido.
2
Seja u D(A 1 ), logo A 1 u X e assim temos que

2
| < A 1 u, j > | =
j=1
j | < u, j > |2 < .
j=1
Entao, segue que D(A 1 ) Y e ainda

2

A 1 u B 1 u 1
L ( )
2
Z
+
i
m

X
1

j2 < u, j > j (x)dx
A 1 u(x)
2
j=1
m

X
1

2
u(x)
<
u,
>
(x)
B
1
dx

j
j
j
2
j=1
m

X
1
1

2 A 1 u
j2 < u, j > j
2
j=1
m

X
1
1

+ 2 B 1 u
j2 < u, j > j .
2
j=1
Sabemos, por definicao do operador B 1 , que

2
m

X
1

m
2
j < u, j > j . 0.
B 1 u
2
j=1
Por outro lado, considerando a ortonormalidade das autofuncoes e a Identidade de Parseval, temos
que
m
X
1
2
j < u, j > j
j=1
kA 1 uk2 =
2
m
X
j=1
X
j=1
< A 1 u, j > j ,
2
| < A 1 u, j > |2 .
2
42
Entao, pela Identidade de Pitagoras segue que
m
m

2
X
X
1

2
2
j < u, j > j = kA 1 uk
| < A 1 u, j > |2 ,
A 1 u
2
j=1
j=1
para qualquer m N , logo

m

X
1
m

j2 < u, j > j 0.
A 1 u
2
j=1
Portanto,
A 1 u = B 1 u,
2
quase sempre em i , para qualquer u D(A 1 ), e assim B 1 e uma extensao de A 1 a Y .

2
Finalmente, concluiremos esta secao, provando que o operador B 1 e de fato o operador (N ) 2 .

2
Para isso, consideraremos o operador Laplaciano com condicao de fronteira de Neumann, como uma
serie formada pelas suas autofuncoes e autovalores, ou seja,
N u =
j < u, j > j ,
j=1
para qualquer u D(N ). Observe que, para u D(N ), a serie numerica
2j | < u, j > |2
j=0
e convergente.
Com isso provaremos o seguinte teorema.
1
Teorema 7. O operador B 1 coincide com o operador (N ) 2 em i , ou seja,

2
< u, B 1 u > 0,
2

2
B 1 B 1 u = N u,
2

Demonstrac
ao. Seja u D(N ) X. Como j = j 2 1, para qualquer j 1, segue que
X
j=1
j | < u, j > |
X
j=1
2j | < u, j > |2 < .
4.2. CASO Q = (0, ) (0, )
43
Logo, D(N ) D(B 1 ) = Y e assim

2
B1 u =
2
j2 < u, j > j .
j=1
Tambem temos que B 1 u D(B 1 ), pois B 1 u X e

2
j | < B 1 u, j > |2 =
2
j=1
2j | < u, j > |2 < .
j=1
Entao, pela ortonormalidade das autofuncoes, segue que
B1 B1 u =
2
j2 < B 1 u, j > j
2
j=1
1
2
X

k < u, k > k , j j
j
j=1
k=1
X
X
1
1
1
2
j2 k2 < u, k >< k , j > j
j=1 k=1
j < u, k > j .
j=1
Portanto,
B 1 B 1 u = N u,
2

Temos ainda para u D(B 1 ) que
2
< u, B 1 u >=
2
j2 | < u, j > |2 0,
j=1
1
portanto B 1 u coincide com o operador (N ) 2 .

2
4.2
Caso q = (0, ) (0, )
Seja s > 2 e considere

D(A 1 ) =
2

Z
u

u H (q )
=0e
u(x, y)dxdy = 0 .

n q
q
s
Observe que
u H s (q )
u
H s1 (q ) , C(q ),
n
pela Proposicao 1., pois s 1 > 1. Logo, a derivada de u tem traco bem definido e com isso temos
que D(A 1 ) esta bem definido.
2
44
Seja u D(A 1 ) e considere a extensao par, 2-periodica nas variaveis x e y de u em R2 , isto e, a

2
funcao u
: R2 R tal que
u(x 2t, y 2k)
u(x + 2t, y + 2k)

u
(x, y) =
u(x + 2t, y 2k)
u(x 2t, y + 2k)
se (x, y) [2t, (2t + 1)] [2k, (2k + 1)]

se (x, y) [(2t 1), 2t] [(2k 1), 2k]
se (x, y) [(2t 1), 2t] [2k, (2k + 1)]
(4.6)
se (x, y) [2t, (2t + 1)] [(2k 1), 2k]
com t, k Z.
Lema 7. A func
ao u
definida em (4.6), satisfaz as seguintes propriedades
1. u
e peri
odica nas vari
aveis x e y, isto e,
u
(x + 2m, y + 2n) = u
(x, y),
para qualquer (x, y) R2 e m, n Z.
2. u
e par nas vari
aveis x e y, isto e,
u
(x, y) = u
(x, y) = u
(x, y)
para qualquer (x, y) R2 .
3. u
Cper (R2 ).
Demonstrac
ao. Seja y R e considere a funcao u
y : R R tal que
u
y (x) = u
(x, y).
Logo, pela Proposicao 14., temos que u
y e uma extensao par, 2periodica da funcao u(, y) e
u
y Cper (R), para cada y R fixado.
Analogamente, fixando x R temos que a funcao u
x : R R tal que
u
x (y) = u
(x, y).
e uma extensao par, 2periodica de u(x, ) e u
x Cper (R), para cada x R fixado.
Com isso, temos que a funcao u
e 2periodica nas variaveis x e y, e satisfaz
u
(x, y) = u
(x, y) = u
(x, y),
para qualquer x, y R.
Agora mostremos que u
Cper (R2 ). Como u C(q ), pela periodicidade e paridadde da func
ao
u
, temos que u
e contnua em R, exceto possivelmente, nos pontos {k} [0, ] e [0, ] {k}, para
qualquer k Z. Para verificarmos a continuidade de u
nestes pontos, basta verificarmos a continuidade
de u
nos pontos {0} [0, ], {} [0, ], [0, ] {0} e [0, ] {}, isso pela periodicidade e paridade
de u
.
4.2. CASO Q = (0, ) (0, )
45
Seja (0, y0 ) {0}[0, ] arbitrario. Sabemos que u

0 e u
y sao contnuas em y0 e 0, respectivamente,
> 0, tais que
para qualquer y R. Logo, dado > 0, existem ,

|x| < = |
uy (x) u
y (0)| = |
u(x, y) u
(0, y)| <
2

|y y0 | < = |
u0 (y) u
0 (y0 )| = |
u(0, y) u
(0, y0 )| < .
2
}, temos que
Entao, tomando = min{,
|(x, y) (0, y0 )| < = |
u(x, y) u
(0, y0 )| < ,
ou seja, u
e contnua em (0, y0 ), para qualquer y0 [0, ].
Usando a mesma ideia, verificamos a continuidade de u
nos pontos {} [0, ], [0, ] {0} e
[0, ] {}. Portanto, u
Cper (R2 ).
Queremos verificar a existencia e unicidade de solucao classica do problema (4.1). Para isto,
vejamos a definicao de solucao classica.
Defini
c
ao de (4.1) se satisfaz
2 (R3 ).
1. v Cper
+
2. v e par nas vari

aveis x e y.
Considere o seguinte problema
v (x, y, z) = 0
v(x, y, z) = v(x, y, z) = v(x, y, z)
v(x + 2, y + 2, z) = v(x, y, z)
v(x, y, 0) = u
(x, y)
lim k
v (, , z)kL2 (q ) = 0
lim k
vz (, , z)kL2 (q ) = 0
(
v (, , z))q = 0
em
q (0, )
em
R2 [0, )
em
R2 [0, )
em
R2
z 0
Usando separacao de variaveis, procuramos solucoes da forma v(x, y, z) = X(x)Y (y)Z(z). Logo,
temos os seguintes problemas
00
00
em (0, )
X (x) = X(x)
Y (y) = ( )Y (y) em (0, )
,
,
X(x) = X(x)
em R
Y (y) = Y (y)
em R
X(x + 2) = X(x) em R
Y (y + 2) = Y (y)
em R
(
00
Z (z) = Z(z)
em
0
(0, )
lim Z(z) = lim Z (z) = 0
onde , R.
46
Fazendo algumas contas, verificamos que as solucoes gerais destes problemas sao dadas formalmente
por
Xj (x) = Aj cos(jx),
Yjk (y) = Cjk cos(ky),
Zjk (z) = Djk e
k2 +j 2 z
onde Aj , Cjk , Djk sao constantes a determinar, para qualquer j, k Z+ .

Tome
vjk (x, y, z) = Ajk e
k2 +j 2 z
cos(jx) cos(ky)
e impondo a condicao
Z
v(x, y, z)dxdy = 0,
q
para qualquer z 0, vemos que A00 = 0.

Entao, considere
v(x, y, z) =
Ajk e
k2 +j 2 z
cos(jx) cos(ky).
(j,k)I
Queremos ainda que
u
(x, y) = v(x, y, 0) =
Ajk cos(jx) cos(ky),
(j,k)I
quase sempre em R2 , logo basta tomarmos Ajk como os coeficientes de Fourier da serie de Fourier de
u
.
Portanto, uma candidata a solucao de (4.1) em q e dada por
v(x, y, z) =
Ajk e
k2 +j 2 z
cos(jx) cos(ky).
(j,k)I
O proximo teorema, verifica que esta funcao v e de fato solucao do problema (4.1) em q .
Teorema 8. Seja u D(A 1 ) e u
sua extens
ao par, 2peri
odica, nas vari
aveis x e y, em R2 . Ent
ao,
2
a func
ao v : R3+ R tal que
v(x, y, z) =
Ajk e
k2 +j 2 z
cos(jx) cos(ky),
(j,k)I
onde
2
Ajk = jk
Z
u(x, y) cos(jx) cos(ky)dxdy,
q
tal que
jk =
se k = 0 ou j = 0
se j, k 1
Demonstrac
ao. Obviamente temos que a funcao v e par e 2periodica nas variaveis x e y, pelo fato
da funcao cosseno satisfazer estas propriedades.
4.2. CASO Q = (0, ) (0, )
47
2 (R3 ), vamos utilizar o Teste de Weierstrass de [30] e o fato de que uma

Para verificar que v Cper
+
serie de funcoes contnuas que converge uniformemente convergira para uma funcao contnua, para o
caso de series como somabilidade de famlias indexadas por multi-ndices.
1. v Cper (R3+ ).

|A |2 1
2
2
2
2

jk
+ e2 j +k z ,
Ajk e j +k z cos(jx) cos(ky)
2
2
para qualquer j, k 1.
Mas,
e2
j 2 +k2 z
(j 2
C
,
+ k 2 )2
para qualquer (j, k) I e para cada z > 0, onde C e uma constante que depende de z e
2
|Ajk |2 = jk
| < u, jk > |2 ,
tal que jk (x, y) = jk cos(jx) cos(ky), para qualquer (j, k) I.

Logo,
2
C

j 2 +k2 z
A
e
cos(jx)
cos(ky)
,
jk
2 | < u, jk > |2 +
2(j 2 + k 2 )2
para cada (x, y, z) R3+ e para qualquer (j, k) I.

Usando a Identidade de Parseval, temos que as series numericas
1
2
(j + k 2 )2
(j,k)I
| < u, jk > |2 ,
(j,k)I
sao convergentes, logo a serie
Ajk e
j 2 +k2 z
cos(jx) cos(ky),
(j,k)I
define uma funcao contnua em [0, ] [0, ] (0, ). Portanto, a funcao v e contnua em
[0, ] [0, ] (0, ) e assim pela Proposicao 14., segue que v Cper (R3+ ).
2 (R3 ).
2. v Cper
+
De fato, derivando em relacao a x, obtemos series com termos gerais satisfazendo

|A |2 j 2m

2
2
2
2
m

jk
+
e2 j +k z ,
j Ajk e j +k z j (x) cos(ky)
2
2
onde j (x) = cos(jx) ou j (x) = sin(jx), para qualquer (j, k) I e m Z+ .
Mas,
j 2m e2
j 2 +k2 z
j 2m ejz e
j 2 +k2 z
(j 2
C
,
+ k 2 )2
48
para qualquer (j, k) I, m Z+ e z > 0, onde C e constante que depende de z.

Logo,

|A |2
C
2
2
m

jk
,
+
j Ajk e j +k z j (x) cos(ky)
2
2
2(j + k 2 )2
onde pelos mesmos argumentos usados no item anterior, temos que a serie
j m Ajk e
j 2 +k2 z
j (x) cos(ky),
(j,k)I
define uma funcao contnua em [0, ] [0, ] (0, ), ou seja, as derivadas em relacao a vari
avel
x da funcao v sao contnuas em [0, ][0, ](0, ). Analogamente, temos que as derivadas de v
em relacao a y, bem como suas derivadas mistas, tambem sao contnuas em [0, ][0, ](0, ).
Pela paridade e periodicidade de v na variavel x, temos que
v
(0, y, z) =
(, y, z) = 0,
x
x
para qualquer y R, z > 0. Logo, como
v

(, y, z) e uma extensao mpar de
(, y, z)
,
x
x
[0,]
v
(, y, z) Cper (R), para qualquer y R, z > 0.
x

v

Por outro lado,
(x, , z) e uma extensao par de
(x, , z)
para qualquer x R, z > 0.
x
x
[0,]
v
Entao, da Proposicao 14., temos que
(x, , z) Cper (R), para qualquer x R, z > 0. Com
x
v
isso, obtemos que
Cper (R3+ ). Fazendo a mesma analise, verificamos que
Cper (R3+ ).
x
y
Analogamente, sabendo que as segundas derivadas da funcao v em relacao as variaveis x e y s
ao
segue da Proposicao 13., que
funcoes pares, temos que

2 v 2 v
,
Cper (R3+ ).
x2 y 2
Temos tambem, que a funcao
2 v
e mpar nas variaveis x e y, e tambem temos que
xy
2 v
2 v
(0, y, z) =
(, y, z) = 0,
xy
xy
para qualquer y R, z > 0 e

2 v
2 v
(x, 0, z) =
(x, , z) = 0,
xy
xy
para qualquer x R, z > 0. Entao, pela Proposicao 13. temos que
2 v
Cper (R3+ ).
xy
4.2. CASO Q = (0, ) (0, )
49
Derivando em relcao a z, obtemos a serie
Ajk (j 2 + k 2 ) 2 e
j 2 +k2 z
cos(jx) cos(ky)
(j,k)I
1
Sabendo que (j 2 + k 2 ) 2 j 2 + k 2 , segue que

|Ajk |2 (j 2 + k 2 ) 2j 2 +k2 z
+
e
2
2
|Ajk |2
M
+
,
2
2
2(j + k 2 )2
1
2
2

Ajk (j 2 + k 2 ) 2 e j +k z cos(jx) cos(ky)
para cada (x, y, z) R3+ , onde M e uma constante que depende de z.

Logo, pelos mesmos argumentos usados anteriormente segue que a serie
Ajk (j 2 + k 2 ) 2 e
j 2 +k2 z
cos(jx) cos(ky)
(j,k)I
v
define uma funcao contnua em [0, ] [0, ] (0, ), ou seja, a funcao
e continua em
z
v
[0, ] [0, ] (0, ) e novamente pela Proposicao 14. temos que
Cper (R3+ ).
z
Analogamente, a serie obtida pela segunda derivada em relacao a z define uma funcao contnua
2 v
2 (R3 ).
Cper (R3+ ). Portanto, v Cper
em [0, ] [0, ] (0, ), e assim temos que
+
z 2
3.
v (x, y, z) = 0 em R3+ .
De fato, como vimos as series das derivadas segundas de v convergem uniformemente em compactos, logo
v (x, y, x) =
j 2 Ajk e
(j,k)I
X
(j,k)I
k 2 Ajk e
j 2 +k2 z
cos(jx) cos(ky)
j 2 +k2 z
(j 2 + k 2 )Ajk e
cos(jx) cos(ky)
j 2 +k2 z
(j,k)I
= 0,
para qualquer (x, y, z) R3+ .
4. v(, , 0) = u
(, ) quase sempre em R2 .
De fato, dada u D(A 1 ) X, temos que
2
u=
X
(j,k)I
< u, jk > jk ,
cos(jx) cos(ky)
50
em L2 (q ), onde jk sao as autofuncoes de N em q . Em particular
u
=
< u, jk > jk ,
(j,k)I
em L2per (R2 ).
(R3 ) tal que
Por outro lado, considere a sequencia {mn } Cper
+
mn (x, y, z) =
m,n
X
Ajk e
j 2 +k2 z
cos(jx) cos(ky),
(j,k)I
e observe que
(a)
k
v
mn k2L2 (R3 )
per
+
=
0
X
(j,k)I
j>m ou k>n
|Ajk |
j 2 +k2 z
dz
e2z dz
(j,k)I
j>m ou k>n
(j,k)I
j>m ou k>n
|Ajk |2 e2
|Ajk |2 m,n
0 .
2
(b)
k
v mn k2L2
3
per (R+ )
X
(j,k)I
j>m ou k>n
X
(j,k)I
j>m ou k>n
X
(j,k)I
j>m ou k>n
j 2 |Ajk |2
2
k 2 |Ajk |2
2
(j 2 + k 2 )|Ajk |2 m,n
0 .
2
1 (R3 ), pois
Entao, conclumos que v Hper
+
lim k
v mn kHper
1 (R3 ) = 0.
+
m,n
4.2. CASO Q = (0, ) (0, )
51
Pelo Teorema do Traco, temos que
v(, , 0) =
(j,k)I
Ajk cos(jx) cos(ky)
< u, jk > jk .
(j,k)I
Portanto, v(, , 0) = u
5. lim k
v (, , z)kL2 (q ) = 0.
z

Z
|
v (x, y, z)| dxdy =
q
X
2
2
2

Ajk e j +k z cos(jx) cos(ky) dxdy

(j,k)I
2 2
|Ajk | e
j 2 +k2 z
(j,k)I
X

|Ajk |2 e2z ,
(j,k)I
para qualquer z > 0. Entao, pela convergencia da serie numerica da desigualdade anterior, temos
que
Z
lim
z
q
|
v (x, y, z)|2 dxdy = 0.
Portanto, lim k
v (, , z)kL2 (q ) = 0.
z
6. lim k
vz (, , z)kL2 (q ) = 0.
z
De fato, este item e analogo ao item anterior.

7.
Z
v(x, y, z)dxdy = 0,
q
para qualquer z 0.
De fato, usando a convergencia uniforme de series de funcoes, temos que
Z
v(x, y, z)dxdy =
q
X
(j,k)I
Ajk e
j 2 +k2 z
Z

cos(jx) cos(ky)dxdy
= 0,
52
Para o caso z = 0, observe que

Z

v(x, y, 0) u
(x, y)dxdy
v(x, y, 0)dxdy =
q
Z q
|
v (x, y, 0) u
(x, y)|dxdy
= 0,
pois v(, , 0) = u
Portanto,
Z
v(x, y, z)dxdy = 0,
q
para qualquer z 0.
Portanto, conclumos finalmente que v e de fato solucao classica de (4.1) e a unicidade de soluc
ao
segue analogamente ao caso do domnio i .
Com isso, temos a seguinte definicao.
Defini
c
ao 12. Seja
u
=0e

n q

n

D(A 1 ) = u H s (q ) s > 2,
2
o
u(x, y)dxdy = 0 .

A 1 : D(A 1 ) X X
2
u 7 (
vz (, , , 0))|q
onde v e a u
nica soluc
ao cl
assica (4.1), para o caso q .
Observa
c
ao 4. Analogamente ao caso do domnio i temos que o operador A 1 est
a bem definido e
2
A1 u =
1
2
jk
< u, jk > jk ,
(j,k)I
onde jk e jk s
ao, respectivamente, as autofunc
oes e os autovalores do operador N em q .
Tendo definido o operador A 1 podemos definir o operador B 1 .
2
Defini
c
ao 13. Seja

n

Y = uX
o
jk | < u, jk > |2 < .
(j,k)I
Definimos o operador
B 1 : Y X X
2
u 7 B 1 u =
(j,k)I
1
2
< u, jk > jk
jk
4.2. CASO Q = (0, ) (0, )
53
onde jk e jk s
ao, respectivamente, os autovalores e autofunc
oes do operador N , para qualquer
(j, k) I.
Observe que a convergencia acima e na norma de X, isto e,

m,n
X
1

2

jk < u, jk > jk
lim B 1 u
= 0.
m,n
(j,k)I

ao do operador A 1 a Z.
2
Demonstrac
ao. Seja u Y , logo a serie
1
2
jk
< u, jk > jk ,
(j,k)I
converge em L2 (q ), ou seja, B 1 u L2 (q ).
2
Por outro lado, como

Z
jk (x, y)dxdy = 0,
q
para qualquer (j, k) I, segue que

Z

B 1 u(x, y)dxdy
2
m,n

X
1

2
B
<
u,
>
(x,
y)
u(x,
y)
1

dxdy
jk
jk
jk
2
(j,k)I

m,n
X
1

m,n
2

jk < u, jk > jk
B 1 u
0 ,
2
(j,k)I
ou seja,
Z
B 1 u(x, y)dxdy = 0,
2
e assim B 1 u X. Entao, devido a unicidade da Serie de Fourier, o operador esta bem definido.
2
Para verificar que o operador B 1 e uma extensao do operador A 1 , precisamos somente mostrar que
2
B 1 coincide com A 1 sobre o D(A 1 ), pois analogamente ao caso do domnio i temos que D(A 1 ) Y .
2
Seja u D(A 1 ).
2

A 1 u B 1 u 1
L (q )
2
Z
q
Z
+
q
m,n

X
1

2
jk
< u, jk > jk (x, y)dxdy
A 1 u(x, y)
2
(j,k)I
m,n
X

1

2
jk
< u, jk > jk (x, y) B 1 u(x, y)dxdy
2
(j,k)I

m,n
X
1

2

A 1 u
jk < u, jk > jk

2
(j,k)I

m,n
X
1

2

<
u,
>
+
B
1u
jk
jk .
jk

2
(j,k)I
54
Porem, sabemos que:
1. Por definicao do operador B 1 , temos
2

m,n
X
1

m,n
2
B 1 u

<
u,
>
jk
jk 0.
jk

2
(j,k)I
2. Usando a ortonormalidade das funcoes jk , para qualquer (j, k) I, temos

2

2
m,n
m,n
X
X
1

2

A 1 u
jk < u, jk > jk
< A 1 u, jk > jk
= A 12 u
2

2
(j,k)I
(j,k)I
m,n
X
| < A 1 u, jk > |2
2
(j,k)I
| < A 1 u, jk > |2 ,
2
(j,k)I
para qualquer m, n N , logo

m,n
X
1
m,n

2
0.
A 1 u
<
u,
>
jk
jk
jk

2
(j,k)I
Portanto,

A 1 u B 1 u 1
= 0 = A 1 u = B 1 u,
L (q )
2
quase sempre em q , para qualquer u D(A 1 ), e assim B 1 e uma extensao de A 1 a Y .

2
Finalmente, temos o seguinte teorema.

1
Teorema 9. O operador B 1 coincide com o operador (N ) 2 em q , ou seja,

2
< u, B 1 u > 0,
2

2
B 1 B 1 u = N u,
2

Demonstrac
ao. A demonstracao e analoga ao caso do domnio i .
4.3
Caso b = B(0, )
Seja s > 2, definiremos

D(A 1 ) =
2

Z
u

u H ()
=0e
u(x, y)dxdy = 0 .

n b
b
s
Analogamente, à secao anterior, temos que a derivada de u tem traco bem definido e com isso
D(A 1 ) esta bem definido.
2
Considere u D(A 1 ), vamos inicialmente estender u à R2 para, entao definirmos o operador A 1

2
em b , como fizemos nos casos anteriores.
4.3. CASO B = B(0, )
55
Sabemos que para qualquer (x, y) b , vale que (x, y) = ( cos , sin ), onde (, ) e
R.
Sendo assim, para qualquer (x, y) b considere a funcao u : B(0, 3) R tal que
(
u(x, y) = u( cos , sin ) =
Observa
c
ao 5.
u( cos , sin )
se
u(( 2) cos , ( 2) sin ) se 3
1. Se 3 , ent
ao 2 , logo
u(( 2) cos , ( 2) sin ),
est
a bem definida.
2. Seja (x0 , y0 ) B(0, 3), tal que (x0 , y0 ) = ( cos , sin ) onde = s, com s [0, 2].
Logo, como 3 , temos por definic
ao que
u( cos , sin ) = u(( 2) cos , ( 2) sin )
= u((s ) cos , (s ) sin ).
Por outro lado, considere o ponto (x1 , y1 ) = ( cos , sin ), onde = + e = 3 + s.
Para que u esteja bem definida na B(0, 3), precisamos verificar se u(x0 , y0 ) = u(x1 , y1 ). Mas
isto ocorre, pois por definic
ao, temos que
u( cos( + ), sin( + )) = u(( 2) cos( + ), ( 2) sin( + ))
= u(( s) cos( + ), ( s) sin( + ))
= u((s ) cos , (s ) sin ).
Ent
ao,
u( cos , sin ) = u( cos , sin ),
para qualquer R, onde = + , = s e = 3 + s, com s [0, 2].
Portanto, a func
ao u calculada nos pontos com [, 3] resulta no mesmo valor da func
ao u
calculada nos pontos com [3, ] e assim u est
a bem denifida na B(0, 3).
3. Para facilitar, usaremos letras mai
usculas para denotar uma func
ao nas coordenadas e , como
por exemplo, U (, ) = u( cos , sin ).
Considere a extensao radial de u com perodo 4, isto e, u
: R2 R tal que
(, )
u
(x, y) = U
(
U ( 4k, )
se (4k 1) (4k + 1)
=
,
U ( + 2(2k 1), ) se (4k 3) (4k 1)
com k Z.
(4.7)
56
Lema 9. A func
ao definida em (4.7) satisfaz as seguintes propriedades
( + 4k, ) = U
(, ), para qualquer , R, k Z.
1. U
( 2, ) = U
(, ), para qualquer , R.
2. U
3. u
C(R2 ).
Demonstrac
ao. Sejam , R e k Z. Vejamos cada caso de .
i)
(4k 1) (4k + 1) = (4(2k) 1) + 4k (4(2k) + 1)
( + 4k, ) = U ( 4k, ).
= U
ii)
(4k 3) (4k 1) = (4(2k) 3) + 4k (4(2k) 1)
( + 4k, ) = U ( + 2(2k 1), ).
= U
( + 4k, ) = U
(, ), para qualquer , R e k Z. A demonstracao do item 2. e
Portanto, U
analoga.
Para provarmos o item 3., observamos primeiramente que como u
e uma extensao radialmente
periodica de u C 1 (b ), segue que u
e contnua em todos os pontos
(x, y) = ( cos , sin ),
exceto, possivelmente, nos pontos = (2n + 1), com n Z. Pela periodicidade de u
, para provarmos
a continuidade de u
nestes pontos, basta provarmos que u
e contnua nos pontos = e = .
Mas isto e verdade pois
(, ) =
lim U
(, ) =
lim U
lim U ( + 2, ) = U (, )
lim U (, )
= U (, ).
Portanto,
(, ) = U
(, ),
lim U
e contnua em = .
para qualquer R, e assim temos que U
e contnua em = , ent
Usando os mesmos argumentos, verificamos facilmente que U
ao u
e
contnua em R2 .
Tendo obtido a extensao de u em R2 , nosso objetivo agora, e verificar a existencia e unicidade de

solucao classica do problema (4.1) em b , onde u
e dada por (4.7). Vejamos, entao a definic
ao de
solucao fraca do problema (4.1) para b .
4.3. CASO B = B(0, )
57
Defini
c
ao cl
assica do problema (4.1) para b ,
se satisfaz
1. v C 2 (R3+ ).
2. V ( + 4k, , z) = V (, , z), para qualquer , R, z 0, k Z.
3. V ( 2, , z) = V (, , z), para qualquer , R, z 0.
Para encontrarmos uma candidata à solucao classica de (4.1), vamos inicialmente encontrar uma
solucao classica para o problema
v(x, y, z) = 0
v(x, y, 0) = u(x, y)
v (x, y, z) = 0
n
lim kv(, , z)kL2 (b ) = 0
lim kvz (, , z)kL2 (b ) = 0
(v(, , z)) = 0
b
em
b (0, )
em
em
b [0, )
(4.8)
z 0
onde n e o vetor normal, unitario, exterior ao b , depois vamos extende-la à R3+ , de forma que
seja radialmente 4periodica e simetrica em relacao ao bordo de b , e verificaremos que esta ser
aa
solucao de (4.1).
Usando separacao de variaveis, procuramos solucoes da forma v(x, y, z) = w(x, y)Z(z). Logo, de
(4.8), obtemos os seguintes problemas
w(x, y) = w(x, y) em
b
w
(x, y) = 0
em
b ,
n
wb
= 0
z 0
00
Z (z)
= Z(z) em (0, )
lim Z(z) = 0
,
z
lim Z 0 (z) = 0
z
com R.
Consideremos as coordenadas polares
(
x = r cos
y = r sin
com r [0, ), R e W (r, ) = w(r cos , r sin ).

Logo, novamente procurando solucoes atraves do Metodo de Separacao de Variaveis, com
W (r, ) = X(r)Y (),
58
temos os seguinte problemas
(
00
r2 X (r) + rX (r) (r2 + )X(r) = 0 em [0, )

0
X () = 0
00
= Y () em R
Y ()
Y ( + 2) = Y ()
em R
00
Z (z)
= Z(z) em (0, )
lim Z(z) = 0
,
z
lim Z 0 (z) = 0
z
onde , R.
Atraves de alguns calculos, temos que as solucoes gerais destes problemas sao dadas por
Xjk (r) = Cjk Jk
jk

r , Yk () = Ak cos(k) + Bk sin(k)
jk
z
Zjk (z) = Ejk e ,
onde jk sao os zeros positivos de Jk , para qualquer j 1, k 0.

Usando o fato da solucao de (4.8) ter media nula e a serie de Fourier-Bessel de u, temos que a
funcao
V (r, , z) =
X
(j,k)I
jk
i
z jk h
e Jk
r ajk cos(k) + bjk sin(k) ,
e uma candidata à solucao do problema (4.8), onde
ajk =
bjk =
22jk
3 (2jk k 2 )Jk2 (jk )

22jk
rU (r, ) cos(k)Jk
0
3 (2jk k 2 )Jk2 (jk )
0
2
rU (r, ) sin(k)Jk
0
jk
jk

r drd,
(4.9)

r drd,
(4.10)

Proposi
c
ao 10. A func
ao
V (r, , z) =
X
(j,k)I
jk
i
z jk h
e Jk
onde ajk , bjk s

ao dados, respectivamente, por (4.9) e (4.10), pertence `
a C 2 ([0, ) R (0, )).
Demonstrac
ao. Para verificarmos a suavidade de V , vamos utilizar o Criterio de Weierstrass para
series indexadas com multi-ndices.
1. V e contnua em [0, ) R (0, ).
4.3. CASO B = B(0, )
59
De fato, como as funcoes de Bessel sao limitadas, segue que

jk
jk z h
i
22jk
z

jk
r ajk cos(k) + bjk sin(k) M e
,
e Jk
3 (2jk k 2 )Jk2 (jk )
para qualquer (j, k) I, onde M = 2 2kU kL2 ((0,)(0,2);r) .

Sabemos que
jk
z
M
e 5 ,
jk
(4.11)
para qualquer (j, k) I e para cada z > 0, onde M e uma constante que depende de z.
Logo,
jk z h
i
2M M

jk
r ajk cos(k) + bjk sin(k) 3 3 2
,
e Jk
jk (jk k 2 )Jk2 (jk )
para cada (x, y, z) R3+ e para qualquer (j, k) I.

Vejamos que a serie numerica
X
(j,k)I
2M M
3 3jk (2jk k 2 )Jk2 (jk )
e convergente.
Sabemos que
Jk2 (jk )
2
= 2
jk k 2
jk
xJk2 (x)dx,
(4.12)
para qualquer (j, k) I e pelo Lema 15. temos que existe k0 > 0 tal que
Jk2 (x) >
(ex)2k
,
4k(2k)2k
para qualquer k k0 .
Logo,
Jk2 (jk )
e2k 2k+2
jk
4k(k + 1)(2jk k 2 )(2k)2k
entao,
2M M
16M M k(k + 1)(2k)2k e2k
<
3 3jk (2jk k 2 )Jk2 (jk )

2 3jk
22k+2
jk
para qualquer k k0 , j 1.
Temos ainda que
k(k + 1)(2k)2k e2k
k(k + 1)22k e2k
22k e2k 1,
2k
22k+2
jk
pois jk > k, para qualquer k > 0.
60
Logo,
16M M
2M M
< 2 3
2
2
k )Jk (jk )
jk
3 3jk (2jk
(4.13)
para qualquer k k0 , j 1.
Por outro lado, usando (4.12), temos que
Jk2 (jk )
2jk
f
2M
2
kJk k2L2 ((0,k);x) > 2
2
k
jk k 2
f = min kJk k2 2
para qualquer k (0, k0 ) onde M
L ((0,k);x) .
k(0,k0 )
Entao,
2M M
MM
<
,
3
f3
3 3jk (2jk k 2 )Jk2 (jk )
M
jk
(4.14)
para qualquer k (0, k0 ).

Quando k = 0, temos que j 2, assim por (4.12), segue que
J02 (j0 )
2
kJ0 k2L2 ((0,20 );x) ,
2j0
entao
2M M
MM
< 3
,
2
2
k )Jk (jk )
M1 3j0
3 3jk (2jk
(4.15)
onde M1 = kJ0 k2L2 ((0,20 );x) .

Tomando

C = max

16M M M M M M
,
,
,
f 3 M1
2
3M
temos por (4.13), (4.14) e (4.15) que

C
2M M
< 3 ,
2
2
k )Jk (jk )
jk
3 3jk (2jk
para qualquer (j, k) I, onde a constante C depende de z > 0.

Pelos lemas 16. e 17., temos que
jk >

e

1
5 2 2
2
+ k2 ,
4
5 2 2
j2,
4
para qualquer j > 1 e k 0. Entao,

1
jk > (j 2 + k 2 ) 2 ,
para qualquer j > 1, k 0.
(4.16)
4.3. CASO B = B(0, )
61
Quando j = 1 temos k 1, logo

1
1
1k > k > (1 + k 2 ) 2 .
2
Entao, para qualquer (j, k) I, segue que

3
22
1
<
3 .
3
jk
(j 2 + k 2 ) 2
Substituindo em (4.16), temos que
3
22 C
2M M
<
3 ,
3
2
2
3
2
jk (jk k )Jk (jk )
(j 2 + k 2 ) 2
Pela convergencia da serie numerica
22 C
(j,k)I
(j 2 + k 2 ) 2
temos que a serie
2M M
,
k 2 )Jk2 (jk )
3 3jk (2jk
(j,k)I
e convergente.
Portanto, a serie
X
(j,k)I
jk
i
z jk h
e Jk
define uma funcao contnua [0, )R(0, ) e assim a funcao V e contnua em [0, )R(0, ).
2. V C 2 ([0, ) R (0, )).
De fato, considere a serie cujo termo geral satisfaz
jk
jk z n

h
i
22jk
z jk n

jk
(n) jk
Jk
r ajk cos(k)+bjk sin(k) M e
,
e
3 (2jk k 2 )Jk2 (jk )

para qualquer (j, k) I e n N, usando o fato de que as derivadas das funcoes de Bessel s
ao
limitadas.
Sabemos que
jk
z
M
e n+5 ,
jk
para qualquer (j, k) I, n N e para cada z > 0, onde M e uma constante que depende de z.
62
Logo,
jk z n
h
i M M

2

jk
(n) jk
r ajk cos(k) + bjk sin(k)
Jk
,
e
3
2
n
3
jk (jk k 2 )Jk2 (jk )

para qualquer (j, k) I e n N. Logo, usando os mesmos argumentos vistos anteriormente,
temos que a serie
jk
i
z jk n (n) jk h
e
Jk
(j,k)I
define uma funcao contnua em [0, ) R (0, ), entao as derivadas de primeira e segunda
ordem da funcao V em relacao as variaveis z e r sao contnuas em [0, ) R (0, ).
Para encerrarmos a demonstracao deste item, precisamos verificar a continuidade das derivadas
da funcao V em relacao a variavel .
Observe que
jk
jk z h
i
22jk
z

jk
n
(n)
(n)
n
,
r e k ajk cos (k) + bjk sin (k) M k e
Jk
3 (2jk k 2 )Jk2 (jk )

para qualquer (j, k) I e n N , onde o segundo termo da desigualdade, pode ser limitado pelo
termo geral de uma serie numerica convergente. Isto pode ser verificado, atraves dos mesmos
argumentos usados para mostrar que a funcao V e contnua, juntamente com o fato de que
jk
z
M
M
k e k n 5+n 5 ,
jk
jk
n
para n N, (j, k) I e para cada z > 0, onde M e uma constante que depende de z.
Portanto, a funcao V C 2 ([0, ) R (0, )).
Com isso, temos o seguinte teorema.

Teorema 10. Seja u D(A 1 ). Ent
ao, a func
ao v : b (0, ) R dada por
2
v(x, y, z) = V (r, , z) =
X
(j,k)I
jk
i
z jk h
e Jk
para qualquer (x, y, z) (b \{(0, 0)}) (0, ), onde ajk e bjk s

ao dados por (4.9) e (4.10), respectivamente, e
1.
v(0, 0, z) =
X
j=2
aj0 e
j0
z
4.3. CASO B = B(0, )
63
2.
v
(0, 0, z) =
x
1
2
v
(0, 0, z) =
y
1
2
v
1
(0, 0, z) =
z
X
j=1
j1
z
aj1 j1 e
bj1 j1 e
j1
z
j=1
aj0 j0 e
j0
z
j=2
3.
2v
(0, 0, z) =
x2
2v
y 2
(0, 0, z) =
2v
(0, 0, z) =
z 2
2v
xy
1
4 2
(0, 0, z) =
1
4 2
1
2
1
4 2
2v
1
(0, 0, z) = 2
xz
2
2v
yz
(0, 0, z) =
1
2 2
j2
z
j0
1 X
2
aj0 2j0 e z
2
j2 z
j0
1 X
2
aj0 2j0 e z
2
aj2 2j2 e
j=1
X
j=1
j=2
aj2 2j2 e
j=2
aj0 2j0 e
j0
z
j=2
X
j=1
bj2 2j2 e
aj1 2j1 e
j2
z
j1
z
j=1
bj1 2j1 e
j1
z
j=1
para qualquer z > 0, e a u

nica soluc
ao cl
assica de (4.8), isto e, v C 2 (b (0, )) e satisfaz
(4.8).
Demonstrac
ao. A demonstracao sera feita por itens.
1. v C 2 (b (0, ))
De fato, como existe uma bijecao entre b \{(0, 0)} e (0, ) [0, 2), e
V C 2 ((0, ) R (0, )),
temos que v C 2 ((b \{(0, 0)})(0, )). Sendo assim, precisamos somente verificar a suavidade
de v no ponto (0, 0, z), para qualquer z > 0.
(a) v e contnua em (0, 0, z), para qualquer z > 0.
m
De fato, seja (xm , ym , zm ) (0, 0, z), para z > 0 arbitrario. Vejamos que
lim v(xm , ym , zm ) = v(0, 0, z).
64
Observe que, temos uma sequencia (rm , m , zm ) associada a sequencia (xm , ym , zm ), tal que
m
rm 0 e zm z.
|v(xm , ym , zm ) v(0, 0, z)| = |V (rm , m , zm ) v(0, 0, z)|

X
j0
j0 j0 zm

e z |aj0 |
rm e
J0
j=2
j,k1

jk

jk
rm e zm [|ajk | + |bjk |].
Jk
Como
lim J0
j0

rm = 1
lim Jk
jk

rm = 0,
para qualquer k 1, temos que

lim v(xm , ym , zm ) = v(0, 0, z),

v
(b)
e contnua em (0, 0, z), para qualquer z > 0.
x
De fato, temos para qualquer (x, y, z) (b \{(0, 0)}) (0, ) que
v
V
1
V
= cos
sin
.
x
r
r
Logo,
X
jk 0 jk jk z
v
(x, y, z) = cos
Jk
r e (ajk cos(k) + bjk sin(k))
x
(j,k)I
k6=1
jk
X
1
jk
sin
Jk
r e z k(ajk sin(k) + bjk cos(k))
r
j,k1
k6=1
h
X
j=1
h
X
j=1
j1
j1 0 j1 1 j1 i
J1
r J1
r bj1 e z sin cos
j1
j1 0 j1
1 j1 2 i
J1
r cos2 + J1
r sin aj1 e z .
Pelo Lema 14., temos que

1 j1 j1 0 j1 j1 j1
J1
r =
J
r +
J2
r ,
r
logo
j1 0 j1
j1 0 j1 j1 j1 2
1 j1 2
J1
r cos2 () + J1
r sin =
J
r +
J2
r sin .
4.3. CASO B = B(0, )
65
Sendo assim, segue que

v

v

(0, 0, z)
(xm , ym , zm )
x
x

jk
X
jk 0 jk

Jk
rm e zm (|ajk | + |bjk |)

(j,k)I
k6=1
1 X jk jk zm
k(|ajk | + |bjk |)
rm e
Jk
rm j,k1
k6=1

X
j=1

j1
1 j1
j1 0 j1
J1
J1
rm
rm |bj1 |e zm

rm

j1
X
1 j1 j1
0 j1
+
rm e zm e z
|aj1 |
J1
j=1

X
j=1

j1
j1

j1
J2
rm |aj1 |e zm .

Usando a Regra de LHospital, temos que

j1 0 j1
1 j1
J1
rm
J1
rm
= 0
m
rm
lim
1 jk jk zm
Jk
rm e
m rm
lim
lim J1
j1
j1
rm e zm
= 0
1 j1 z
e ,
2
para qualquer j 1, k 6= 1.
0
E como Jk (0) = 0, para qualquer k 6= 1 e J2 (0) = 0, segue que

lim
Portanto,
(c)
v
v
(xm , ym , zm ) =
(0, 0, z).
x
x
v
x
v
y
De fato, temos para qualquer (x, y, z) (b \{(0, 0)}) (0, ), que
v
V
1
V
(x, y, z) = sin
(r, , z) + cos
(r, , z).
y
r
r
66
Logo,
X
jk 0 jk jk z
v
(x, y, z) = sin
Jk
r e (ajk cos(k) + bjk sin(k))
y
(j,k)I
k6=1
jk
X
1
jk
cos()
r e z k(ajk sin(k) + bjk cos(k))
Jk
r
j,k1
k6=1
h
X
j=1
j1
j1 0 j1 1 j1 i
J1
r J1
r aj1 e z sin cos
h
X
j1
j=1
J1

i
j1
1 j1
r sin2 + J1
r cos2 bj1 e z .
j1
Analogamente, usando o Lema 14., temos que

j1 0 j1 j1 j1
j1 0 j1 2
1 j1
J1
r sin + J1
r cos2 =
J
r +
J2
r cos2 .
Entao, segue que

v

v

(0, 0, z)
(xm , ym , zm )
y
x

jk
X
jk 0 jk

Jk
rm e zm (|ajk | + |bjk |)

(j,k)I
k6=1
1 X jk jk zm
rm e
k(|ajk | + |bjk |)
Jk
rm j,k1
k6=1

X
j=1

j1
1 j1
j1 0 j1
J1
rm
rm |aj1 |e zm
J1

rm

j1
X
1 j1 j1
0 j1
+
rm e zm e z
|bj1 |
J1
j=1

X
j=1

j1
j1

j1
J2
rm |bj1 |e zm .

Analogamente ao item anterior, pela Regra de LHospital, temos que

v
v
(xm , ym , zm ) =
(0, 0, z).
m y
y
lim
Portanto,
(d)
v
y
v
z
De fato, temos

j0

j0
v
X

(xm , ym , zm ) v (0, 0, z)
J0 j0 rm e zm e z j0 |aj0 |.
z

z
j=2
4.3. CASO B = B(0, )
67
Como,
lim J0
j0

rm = 1,
segue que
v
v
(xm , ym , zm ) =
(0, 0, z).
z
z
v
z
Portanto,
(e)
2v
x2
De fato, para qualquer (x, y, z) (b \{(0, 0)}) (0, ), temos que

1 2V
1 V
2V
2v
2
(x, y, z) = sin 2
(r, , z) +
(r, , z)
(r, , z)
x2
r 2
r r
r2

1 2V
1 V
+ sin(2)
(r, , z) + 2
(r, , z)
r r
r
2V
(r, , z).
+
r2
Fazendo algumas contas, vemos que
2v

2v

2 (xm , ym , zm ) 2 (0, 0, z) f (rm , m , zm ),
x
x
onde f (rm , m , zm ) e dada por
h

2

X

2 J2 j2 rm + j2 J0 j0 rm 1 j2 J20 j2 rm

2
rm
rm
j=1

i j2
2 00
1 j2 2 j2 z
j2
j2
J2
rm e zm aj2 aj2
e

X
j0 2 00 j0
1 j0 2 j2 z
j2 zm

r
a
e
a
+
J
+
e
m
j0
j0
0

j=2

X

6 J2 j2 rm + 3j2 J20 j2 rm e j2 zm (|aj2 | + |bj2 |)
r2

rm
m
j=1

X
2 j2 2j2 0 j2 j2 00 j2 j2 z
J2
rm
J2
rm +
J2
rm e m (|aj2 | + |bj2 |)
r2
m
m
j=1

X
j0 0 j0 j0 2 00 j0 j0 z
m

J
r
J
r
|aj0 |
m e
0
rm 0 m
j=2

2

X

1 Jk jk rm k 2 + jk Jk0 jk rm jk Jk00 jk rm e jk zm (|ajk | + |bjk |)
r2

rm
m
j,k1
k6=2

X
jk 2 00 jk jk z

Jk
rm e m (|ajk | + |bjk |)

j,k1

X

1 Jk0 jk rm + 1 Jk jk rm ke jk zm (|ajk | + |bjk |).
rm jk

2
rm
j,k1
k6=2
k6=2
68
Sabendo que
1 0
0
J1 (0) = , Jk (0) = 0,
2
para qualquer k 6= 1,
1 00
1
00
00
J0 (0) = , J2 (0) = e Jk (0) = 0,
2
4
para qualquer k 6= 0, 2, e usando a Regra de LHospital, temos que
2v
2v
(x
,
y
,
z
)
=
(0, 0, z),
m
m
m
m x2
x2
lim
e portanto,
(f)
2v
x2
2v
y 2
De fato, primeiramente observe que

1 2V
1 V
2V
2v
2
(x, y, z) = sin 2
(r, , z) +
(r, , z)
(r, , z)
y 2
r 2
r r
r2

1 V
1 2V
sin(2) 2
(r, , z)
(r, , z)
r
r r
1 2V
1 V
(r, , z) +
(r, , z)
2
2
r
r r
2V
1 2V
1 V
2v
(x,
y,
z)
+
(r,
,
z)
+
(r, , z) +
(r, , z),
=
2
2
2
2
x
r
r
r r
para qualquer (x, y, z) (b \{(0, 0)}) (0, ).
Por outro lado, para qualquer z > 0, temos que
X j0 2 j0
2v
2v
e z .
(0,
0,
z)
=
(0,
0,
z)
aj0
y 2
x2
j=2
Entao, segue que

2

2
v
v

2v
2v

y 2 (xm , ym , zm ) y 2 (0, 0, z) x2 (xm , ym , zm ) x2 (0, 0, z) + g(rm , m , zm ),
onde g(rm , m , zm ) e igual a

X
j0 2 00 j0
j0 0 j0 j0 zm j0 2 j0 z

J0
rm +
J
rm e
+
e |aj0 |

rm 0
j=2

X
jk 2 00 jk k 2 jk
jk 0 jk jk zm

+
J
r
J
r
+
J
r
(|ajk | + |bjk |).
m
m
m e
k

2 k
rm
rm k
j,k1
Analogamente, usando a Regra de LHospital e o valor das funcoes de Bessel e de suas
4.3. CASO B = B(0, )
69
derivadas em zero, segue que

2v
2v
(x
,
y
,
z
)
=
(0, 0, z),
m m m
m y 2
y 2
lim
e portanto,
(g)
2v
y 2
2v
xy
De fato, para qualquer (x, y, z) (b \{(0, 0)}) (0, ), sabemos que

2v
1 2V
1 V
(x, y, z) = cos(2)
(r, , z) 2
xy
r r
r
2

sin(2) V
1 2V
1 V
(r, , z) + 2
(r, , z) +
(r, , z)
2
r2
r 2
r r
2V
+ sin(2) 2 (r, , z).
r
Logo,
2

v

2v

xy (xm , ym , zm ) xy (0, 0, z) h(rm , m , zm ),
onde h(rm , m , zm ) e igual a
2
3
1
2
h

2

X

2 j2 J200 j2 rm 2 J2 j2 rm

3
rm
j=2

2
i j2

1 j2 2 j2 z
j2
j2
J0
rm e zm
e |bj2 |
4

X
2
j2
00
j0 0 j0 j0 zm
j0

rm
J
e
J0
|aj0 |

rm 0
1
2

X
4 j2 2 00 j2
4 j2

J2
rm + 2 J2
rm
3
rm
j=1

X
jk 2 00 jk k 2 jk

Jk
rm + 2 Jk
rm

rm
j,k1
1
2

jk
X
kjk 0 jk
k
jk

zm (|ajk | + |bjk |).
rm Jk rm + r2 Jk rm e
m
j,k1
j=2

5 j2 2 j2 j2 zm
J0
rm e
(|aj2 | + |bj2 |)
6

jk 0 jk jk zm
J
rm e
(|ajk | + |bjk |)
rm k
k6=2
k6=2
Analogamente, pela Regra de LHospital e o fato das funcoes de Bessel e de suas derivadas
se anularem no zero, temos que
2v
2v
(xm , ym , zm ) =
(0, 0, z),
m xy
xy
lim
e portanto,
(h)
2v
xy
2v
z 2
70
De fato, temos
2

2
X
v

j0 j0 zm
2v
j0 z j0

(x
,
y
,
z
)
(0,
0,
z)
r
e
|aj0 |
J
m
m
m
m
0
z 2

z 2
j=2

X

jk jk 2 jk zm

+
e
(|ajk | + |bjk |).
Jk rm
j,k1
Como nos itens anteriores, usando o fato das funcoes de Bessel se anularem no zero, temos
que
2v
2v
(x
,
y
,
z
)
=
(0, 0, z).
m
m
m
m z 2
z 2
lim
2v
z 2
2v
2v
(i)
e
sao contnuas em (0, 0, z), para qualquer z > 0.
xz yz
De fato, a demonstracao segue analoga aos casos anteriores.
Portanto,
Finalmente, conclumos que v C 2 (b (0, )).

2. v(x, y, z) = 0 em b (0, ).
De fato, para qualquer (x, y, z) (b \{(0, 0)}) (0, ), mostrar que
v(x, y, z) = 0
e equivalente a mostrar que
r2
V
2V
2V
2V
(r,
,
z)
+
r
(r,
,
z)
+
(r,
,
z)
+
(r, , z) = 0,
r2
r
2
z 2
para qualquer (r, , z) (0, ) R (0, ). O que e verificado facilmente, atraves de algumas
contas.
Seja z > 0, entao
v(0, 0, z) =
1 X j2 2 j2 z 1 X j0 2 j0 z
aj2
e
aj0
e
4
j=1
1X
j=1
j=2
aj2
aj0
j=2
2
j2
2
j0
= 0.
Portanto, v(x, y, z) = 0 em b (0, ).
3. v(, , 0) = u(, ) quase sempre em b .
j2 z
j0
z
1X
j=2
aj0
2
j0
j0
z
4.3. CASO B = B(0, )
71
De fato, seja u D(A 1 ) X, logo

2
u=
< u, jk > jk ,
(j,k)I
em L2 (b ).
Temos ainda que
kvk2L2 (b (0,))
< V (, , z), V (, , z) >L2 (b (0,);r) dz
=
0
Z
=
0
2jk
z
e | < U, wjk > |2 dz,
(j,k)I
onde
(a) Se k 6= 0, entao
jk > k 1.
(b) Se k = 0, entao j 2, logo
j0 > 20 > 10 >
3
.
4
Logo,
kvk2L2 (b (0,))
<
Z
| < U, wjk > |
2

z
e
dz < .
(j,k)I
Usando o mesmo raciocnio e o Metodo de Integracao por Partes, temos que

kvk2L2 (b (0,))
|xy (x, y, z)| dxdydz +
=
0
|vz (x, y, z)|2 dxdydz

b
kvz k2L2 (b (0,))
kvz kL2 (b (0,)) kvkL2 (b (0,)) +

< ,
pois
kvz k2L2 (b (0,))
Z 2

X
z
jk 2
2
<
| < U, wjk > |
e dz < .
0
(j,k)I
Sabemos que v L2 (b (0, )) e como

L2loc (b (0, )) L1loc (b (0, )) , D0 (b (0, )),
segue que v D0 (b (0, )).
Portanto, v H 1 (b (0, )) e analogamente aos casos dos domnios i e q temos que
v(, , 0) = u(, ),
72
quase sempre em b .
4.
v
(x, y, z) = 0 em b [0, ).
n
De fato, observe primeiramente, que para provarmos este item, basta verificarmos que
V
(, , z) = 0,
r
para qualquer R, z 0, pois aqui nao temos o problema no ponto (0, 0, z), para qualquer
z 0.
Seja R e z > 0. Entao,
jk h
i
X
z
jk 0
ajk cos(k) + bjk sin(k)
Jk (jk )e
V
(, , z) =
r
j,k1
X
j0
j=1
j0
z
J0 (j0 )e aj0
= 0.
Por outro lado, temos que
V
V
(, , 0) = lim
(, , z) = 0.
r
z0+ r
Portanto,
v
(x, y, z) = 0 em b [0, ).
n
5.
Z
v(x, y, z)dxdy = 0,
b
para qualquer z 0.
De fato, seja z > 0, entao sabendo que
Z
v(x, y, z)dxdy =
rV (r, , z)drd
temos,
Z
v(x, y, z)dxdy =
b
j0
Z
z
e aj0 2
j=2
X
j,k1
jk Z
z
e
rJ0
j0

r dr
Z
(ajk cos(k) + bjk sin(k))d
rJk
0
jk

r dr
= 0.
O caso z = 0 segue do fato de u ter media zero e coincidir quase sempre com v(, , 0) em q .
4.3. CASO B = B(0, )
73
Portanto,
Z
v(x, y, z)dxdy = 0,
b
para qualquer z 0.
6. lim kv(, , z)kL2 (b ) = 0.
z
De fato, temos que

Z
lim
z
b
|v(x, y, z)| dxdy = lim
z 0
r|V (r, , z)|2 drd,
onde
2
r|V (r, , z)| drd

0
X
| < U, wjk > |
e z ,
(j,k)I

Logo,
Z
lim
z 0
r|V (r, , z)|2 drd = 0.
Portanto, lim kv(, , z)kL2 (b ) = 0.

z
7. lim kvz (, , z)kL2 (b ) = 0.

z
De fato, este item e analogo ao item anterior.

Finalmente, conclumos que v e solucao classica de 4.8. A unicidade da solucao e analoga ao caso
do domnio i .
Agora que temos a solucao de (4.8), podemos exibir a solucao de (4.1) no lema a seguir.
Lema 10. Considere v : R3+ R como sendo a extens
ao radial de v, 4-peri
odica e simetrica em
relac
ao ao bordo de b , isto e
(
V (, , z) =
Vb ( 4k, , z)
Vb ( + 2(2k 1), , z)
se
(4k 1) (4k + 1)
se
(4k 3) (4k 1)
onde Vb (, , z) = v( cos , sin , z) e V (, , z) = v( cos , sin , z), para qualquer , R, z > 0.

Ent
ao, v e a u
nica soluc
ao cl
assica de (4.1).
Demonstrac
ao. Vejamos que v satisfaz a Definicao 14.
1. v C 2 (R3+ ).
De fato, pelo teorema anterior temos que v C 2 (b (0, )), logo pelo Lema 9. ja sabemos
que v C(R3+ ). Tambem pela periodicidade temos que as derivadas de v sao contnuas em R3+ ,
exceto possivelmente, nos pontos
(x, y, z) = (m cos , m sin , z),
74
com m Z .
Para verificarmos a continuidade das derivadas de v nestes pontos, usando a periodicidade e

simetria, basta verificarmos a continuidade das derivadas nos pontos ( cos , sin , z).
Seja (x, y, z) R3+ , tal que (x, y, z) = ( cos , sin , z), logo, como ja vimos
v
(x, y, z) =
x
cos
V
1
V
(, , z) sin
(, , z),
v
(x, y, z) =
y
sin
V
1
V
(, , z) cos
(, , z),
2 v
(x, y, z) =
y 2
2 v
(x, y, z) =
xy
2 v
(x, y, z) =
x2
1 2 V
1 V
(,
,
z)
(, , z),
2 2

1 2 V
1 V
(, , z) 2
(, , z),

2 V
(, , z)
2
2 v
(x, y, z) =
xz
2 V
(, , z)
z
2 v
(x, y, z) =
yz
2 V
(, , z).
z
Vimos anteriormente que v C 2 (b (0, )). Usando os mesmos argumentos temos que
v C 2 (b (0, )), entao V e C 2 nos pontos (, , z), para qualquer R, z > 0. Mas, Vb e
suas derivadas coincidem com V e suas derivadas em (, , z), logo Vb e C 2 nos pontos (, , z),
para qualquer R, z > 0.
Assim,
V (, + h, z) V (, , z)
h
h0+
V (, + h, z) V (, , z)
lim
h
h0
lim
entao, existe
=
=
Vb
(, , z)
Vb
(, , z),
V
(, , z) e
jk
z
V
Vb
(, , z) =
(, , z) =
kJk (jk )e (ajk sin(k) + bjk cos(k)).
(j,k)1
Portanto,
V
e contnua em (, , z), para qualquer R, z > 0. Analogamente, verificamos
4.3. CASO B = B(0, )
75
V
em (, , z), para qualquer R, z > 0. A continuidade nos pontos
(, , z) e verificada somente observando, que estes pontos coincidem com os pontos (, +, z),
a continuidade de
para qualquer R, z > 0, nos quais ja vimos a continuidade. Portanto, v C 1 (R3+ ).

Usando o mesmo raciocnio, temos
V
(, + h, z)
lim
h
h0+
V
(, + h, z)
lim
h
h0
logo, existe
2 V
(, , z) e
V
(, , z)
2 Vb
(, , z)
V
(, , z)
2 Vb
(, , z),
2 V
2 Vb
(, , z) =
(, , z).
Ja a continuidade e valida pois,

2 V
2 Vb
(, , z) =
(, , z)
+
2 V
2 Vb
lim
(, , z) =
(, , z),

lim
onde
2V
2 Vb
(, , z) =
(, , z) e
r
jk
z
kjk 0
2V
(, , z) =
Jk (jk )e (ajk sin(k) + bjk cos(k)) = 0.
r
j,k1
Portanto,
2 V
2 V
(, , z) =
(, , z),

2 V
e contnua em (, , z).
para qualquer R, z > 0. Assim, temos que
2 V 2 V 2 V
2 V
Analogamente, verificamos a continuidade de
,
,
e
em (, , z), para qual2 2 z z
quer R, z > 0. Tambem podemos facilmente verificar a suavidade das derivadas de V em
lim
relacao a variavel z. Portanto, v C 2 (R3+ ).

2.
V ( + 4k, , z) = V (, , z)
para qualquer k Z, , R e z 0.
V ( 2, , z) = V (, , z),
76
De fato, para z > 0 a demonstracao e identica a demonstracao do Lema 9. Para z = 0, basta

usarmos as propriedades de limite, pois
V ( + 4k, , 0) = lim V ( + 4k, , z) = lim V (, , z) = V (, , 0),
z0+
z0+
para qualquer k Z, , R.
Analogamente, temos V ( 2, , z) = V (, , z), para qualquer k Z, , R e z 0.
3. v(, , 0) = u
De fato, segue do fato de v e v coincidirem em b (0, ) e
v(, , 0) = u(, ),
quase sempre em b .
4.
v (x, y, z) = 0 em R3+ .
De fato, como
v(x, y, z) = 0
em
b (0, ),
segue pela periodicidade que
v (x, y, z) = 0
em
R3+ ,
exceto possivelmente, nos pontos (x, y, z) = (m cos , m sin , z), m Z .

Seja (x, y, z) = ( cos , sin , z), com R e z > 0 arbitrarios. Assim,
1
1
v (x, y, z) = V (, , z) + V (, , z) + 2 V (, , z)
1
1
= V (, , z) + V (, , z) + 2 V (, , z)
jk h
i
X
1
z ajk cos(k) + bjk sin(k) ,
=
T
(
)e
jk
jk
2
(j,k)I
00
onde Tjk (jk ) = 2jk Jk (jk ) + jk Jk (jk ) + (2jk k 2 )Jk (jk ) = 0.

Logo,
v (x, y, z) = 0,
para (x, y, z) = ( cos , sin , z).
Por outro lado, se (x, y, z) = ( cos , sin , z), temos que
v (x, y, z) =
v ( cos( + ), sin( + ), z) = 0.
Portanto,
v (x, y, z) = 0 em R3+ .
4.3. CASO B = B(0, )
77
5.
Z
v(x, y, z)dxdy = 0,
b
para qualquer z 0.
De fato,
Z
v(x, y, z)dxdy = 0,
v(x, y, z)dxdy =
b
para qualquer z 0.
6.
lim k
v (, , z)kL2 (b ) = lim k
vz (, , z)kL2 (b ) = 0.
De fato,
lim k
v (, , z)kL2 (b ) = lim kv(, , z)kL2 (b ) = 0
z
e
lim k
vz (, , z)kL2 (b ) = lim kv(, , z)kL2 (b ) = 0.
Portanto, v e solucao classica de (4.1) e a unicidade segue analogamente ao caso do domnio i .

Agora, podemos finalmente definir o operador A 1 para o caso b .
2
Defini
c
ao 15. Seja
u
=0e

n b

n

D(A 1 ) = u H s (b ) s > 2,
2
o
u(x, y)dxdy = 0 .

A 1 : D(A 1 ) X X
2
u 7 (
vz (, , 0))|b
onde v e a u
nica soluc
ao cl
assica (4.1), para o caso b .
Analogamente aos domnios i e q , o operador A 1 esta bem definido e
2
A1 u =
1
2
jk
< u, jk > jk ,
(j,k)I
em L2 (b )
Nosso objetivo agora, e estender o operador A 1 e verificar que esta extensao coincide com o
2
operador (N ) 2 em b .
Defini
c
ao 16. Seja

Y =

uX
X
(j,k)I
jk | < U, wjk > | < .
78
Definimos B 1 : Y X X tal que
2
B1 u =
2
1
2
jk
< u, jk > jk ,
(j,k)I
onde jk s
ao as autofunc
oes do operador N em b e jk s
ao os respectivos autovalores.
ao de A 1 .
2
Demonstrac
ao. Seja u Y , temos
jk | < U, wjk > |2 < ,
(j,k)I
logo, a serie
1
2
jk
< U, wjk > wjk ,
(j,k)I
converge em L2 ((0, ) (0, 2); r) e com isso B 1 u L2 (b ).

2
Considere a soma parcial

smn =
m
X
1
2
< U, wj0 > wj0 +
j0
m X
n
X
1
2
< U, wjk > wjk .
jk
j=1 k=1
j=2
Como
Z
rsmn (r, )drd = 0,

0
para qualquer (m, n) I, segue pela Desigualdade de Holder, que

Z

Z

B 1 u(x, y)dxdy
2
Z
0

rB 1 U (r, ) smn (r, )drd
2
m,n
M kB 1 U smn kL2 ((0,)(0,2);r) 0 .

2
Entao, B 1 u X e pela unicidade da serie de Fourier-Bessel, segue que B 1 esta bem definido.
2
A prova de que o operador B 1 e uma extensao do operador A 1 e analoga aos casos dos domnios
2
i e q .
Logo, com o operador B 1 bem definido, temos o seguinte teorema.
2
1
Teorema 11. O operador B 1 coincide com o operador (N ) 2 em b , ou seja,

2
< u, B 1 u > 0,
2

2
B 1 B 1 u = N u,
2
4.3. CASO B = B(0, )

Demonstrac
ao. A demonstracao e analoga aos casos dos domnios i e q .
79
80
Captulo 5
Aplica
c
ao
Neste captulo estudaremos a existencia de solucao fraca nao nula do problema nao local
1
(N ) 2 u = up
(5.1)
ao de
no intervalo e no quadrado, onde (N ) 2 e a raiz quadrada do operador Laplaciano com condic
fronteira de Neumann, que coincide com o operador B 1 definido no captulo anterior.
2
Consideraremos
1
p=2+ ,
s
com s > 1 mpar, quando o domnio for q , e

1
p=p+ ,
s
com p par e s 1 mpar, quando o domnio for i .
Para que o problema nao local (5.1) faca sentido, precisamos inicialmente encontrar uma soluc
ao
u tal que
Z
up (x)dx = 0,
nos domnios i e q . Para que isto ocorra, vamos procurar solucoes satisfazendo algumas condic
oes,
que serao exibidas nas proximas secoes, de acordo com o domnio.
O estudo da existencia de solucao fraca nao nula do problema nao local (5.1), sera feito atraves do
estudo da existencia de solucao fraca nao nula de um problema local.
Quando o domnio for q , o problema local correspondente e
v (x, y, z)
v (x, y, 0)
z
lim k
v (, , z)kL2 (q )
z
lim k
vz (, , z)kL2 (q )
(
v (, , z))q
em
R3+
=
up (x, y) em
R2
=0
=0
=0
=0
z 0
onde v e par, periodica nas variaveis x e y, e u

e a extensao par, periodica de u à R2 .
(5.2)

CAPITULO 5. APLICAC
AO
82
Ja para o domnio i , o problema local correspondente e
v (x, z)
v (x, 0)
z
lim k
v (, z)kL2 (i )
z
lim k
vz (, z)kL2 (i )
(
v (, z))i
=0
R2+
em
=
up (x) em
=0
(5.3)
=0
=0
z 0
onde v e par, periodica na variavel x e u

e uma extensao par, periodica de u à R.
Este captulo sera dividido em tres secoes. Nas duas primeiras secoes, daremos a definic
ao de
solucao fraca para os casos de domnios i e q , respectivamente. Na terceira secao, veremos a
existencia de solucao fraca nao nula do problema nao linear (5.1), a qual se resume na verificac
ao das
hipoteses do Teorema do Multiplicador de Lagrange em espacos lineares topologicos. Esta terceira
secao sera para os dois casos de domnios, diferenciando quando necessario.
1
Para facilitar, usaremos sempre B 1 para denotar o operador (N ) 2 .

2
5.0.1
Solu
c
ao fraca no intervalo
Vejamos uma motivacao para definicao de solucao fraca de (5.1).

Seja u D(A 1 ), logo para qualquer x i ,
2
vz (x, 0),
B 1 u(x) = A 1 u(x) =
2
onde v e solucao classica de
v (x, z)
v(x, 0)
lim k
v (, z)kL2 (i )
z
lim k
vz (, z)kL2 (i )
(
v (, z))i
= 0
R2+
em
= u
(x) em
= 0
(5.4)
= 0
= 0
z 0
tal que u
e a extensao par, 2-periodica de u em R.
1 (R2 ), par quase sempre na vari
Considere Hper
avel x, tal que (x,
0) = (x),
+
Z
(x,
z)dx = 0,
i
para qualquer z 0 e lim k(,

z)kL2 (i ) = lim kz (, z)kL2 (i ) = 0.
z
Logo,
Z
B 1 u(x)(x)dx =
u (x)(x)dx =
i
Z
i
vz (x, 0)(x)dx.
(5.5)
Como v e solucao classica de (5.4), usando o Metodo de Integracao por Partes, temos para qualquer
83
T > 0 que
T
v (x, z)(x,
z)dxdz =
vz (x, 0)(x,
0)dx
Z
+
vz (x, T )(x,
T )dx.
i
Fazendo T temos
Z Z
Z
v (x, z)(x,
z)dxdz =
0
vz (x, 0)(x,
0)dxdy
Z
lim
vz (x, T )(x,
T )dx.
i
T i
(5.6)
Usando a Desigualdade de Holder temos

Z

vz (x, T )(x,
T )dx
k
vz (, T )kL2 (i ) k(,
T )kL2 (i )
Z
vz (x, T )(x,
T )dx = 0.
= lim
T i
Portanto, de (5.5) e (5.6) segue que

Z
v (x, z)(x,
z)dxdz =
u
p (x)(x,
0)dx,

para qualquer Hper
avel x,
+
Z
(x,
z)dx = 0,
i
para qualquer z 0 tal que lim kz (, T )kL2 (i ) = lim k(,

T )kL2 (i ) = 0.
T
Com isso temos a seguinte definicao de solucao fraca de (5.1) para i .

1 (R2 ),
Defini
c
ao 17. Dizemos que u e soluca
o fraca de (5.1) se u = (
v (, 0))|i , onde v Hper
e par
+
quase sempre na vari

avel x,
Z
v(x, z)dx = 0,
i
para qualquer z 0, lim k

v (, T )kL2 (i ) = lim k
vz (, T )kL2 (i ) = 0, e satisfaz
T
v (x, z)(x,
z)dxdz =
up (x)(x,
0)dx,

para qualquer Hper
avel x,
+
Z
(x,
z)dx = 0,
i

T )kL2 (i ) = lim kz (, T )kL2 (i ) = 0.
T

CAPITULO 5. APLICAC
AO
84
Como vimos no incio deste captulo, exigiremos uma condicao da solucao u, de tal forma que
(up )i
= 0. No caso do domnio i , a condicao sera

v(x + , 0) =
v (x, 0)
quase sempre para x R.

Usando a paridade e periodicidade da funcao v na variavel x, segue que
(
v (x + , 0))p dx
v (x, 0)dx =
0
=
Z0
=
v(x + , 0)p dx
v(x, 0)p dx,
logo,
v(x, 0)p dx = 0.
5.0.2
Solu
c
ao fraca no quadrado
Inicialmente, vejamos uma motivacao para definicao de solucao fraca de (5.1).

Seja u D(A 1 ), logo, para qualquer (x, y) q ,
2
vz (x, y, 0),
B 1 u(x, y) = A 1 u(x, y) =
2
onde v e solucao classica de
v (x, y, z)
v(x, y, 0)
lim k
v (, , z)kL2 (q )
z
lim k
vz (, , z)kL2 (q )
(
v (, , z))q
em
R3+
= u
(x, y) em
R2
= 0
= 0
(5.7)
= 0
= 0
z 0
tal que u
e a extensao par, 2-periodica nas variaveis x e y de u em R2 .
1 (R3 ), par quase sempre nas vari
Considere Hper
aveis x e y tal que (x,
y, 0) = (x, y),
+
Z
(x,
y, z)dxdy = 0,
q

, z)kL2 (q ) = lim kz (, , z)kL2 (q ) = 0.
z
Logo,
Z
B 1 u(x, y)(x, y)dxdy =
u (x, y)(x, y)dxdy =

q
Z
q
vz (x, y, 0)(x, y)dxdy.
(5.8)
Como v e solucao classica de (5.7), usando o Metodo de Integracao por Partes, temos para qualquer
85
T > 0 que
Z
v (x, y, z)(x,
y, z)dxdydz =
vz (x, y, 0)(x,
y, 0)dxdy
q
Z
vz (x, y, T )(x,
y, T )dxdy.
+
q
Fazendo T temos
Z Z
Z
v (x, y, z)(x,
y, z)dxdydz =
0
vz (x, y, 0)(x,
y, 0)dxdy
Z
vz (x, y, T )(x,
y, T )dxdy.
lim
q
T q
(5.9)
Usando a Desigualdade de Holder temos

Z

vz (x, y, T )(x,
y, T )dxdy
k
vz (, , T )kL2 (q ) k(,
, T )kL2 (q )
Z
vz (x, y, T )(x,
y, T )dxdy = 0.
= lim
T q
Portanto, de (5.8) e (5.9) segue que

Z
v (x, y, z)(x,
y, z)dxdydz =
u
p (x, y)(x,
y, 0)dxdy,

aveis x e y,
para qualquer Hper
+
Z
(x,
y, z)dxdy = 0,
q
para qualquer z 0 tal que lim kz (, , T )kL2 (q ) = lim k(,

, T )kL2 (q ) = 0.
T
Logo, temos a seguinte definicao de solucao fraca de (5.1) para q .

1 (R3 ),
Defini
c
ao 18. Dizemos que u e soluca
o fraca de (5.1) se u = (
v (, , 0))|q , onde v Hper
+ e par
quase sempre nas vari

aveis x e y,
Z
v(x, y, z)dxdy = 0,
q
para qualquer z 0, lim k

v (, , T )kL2 (q ) = lim k
vz (, , T )kL2 (q ) = 0, e satisfaz
T
v (x, y, z)(x,
y, z)dxdydz =
up (x, y)(x,
y, 0)dxdy,

para qualquer Hper
aveis x e y,
+
Z
(x,
y, z)dxdy = 0,
q

CAPITULO 5. APLICAC
AO
86

, T )kL2 (q ) = lim kz (, , T )kL2 (q ) = 0.
T
Analogamente ao domnio i , procuraremos solucoes de (5.1) satisfazendo a seguinte condic

ao
v(x + , y, 0) =
v (x, y, 0)
quase sempre para (x, y) R2 .
Com isso, pela paridade e periodicidade da funcao v na variavel x, temos que
Z
vp (x, y, 0)dxdy =
(
v (x + , y, 0))p dxdy
0
Z
=
0
=
0
logo,
Z
0
v(x + , y, 0)p dxdy
v(x, y, 0)p dxdy,
v(x, y, 0)p dx = 0.
Observe que a condicao anterior, poderia ser na variavel y, ou seja,

v(x, y + , 0) =
v (x, y, 0)
quase sempre para (x, y) R2 .
5.0.3
Exist
encia de Solu
c
ao Fraca
Nosso objetivo e aplicar o Teorema do Multiplicador de Lagrange em espacos lineares topol

ogicos,
e assim obter a existencia de solucao fraca nao nula do problema nao linear (5.1). Para isto, vamos
inicialmente estudar a existencia do mnimo de um funcional apropriado.
Sejam as seguintes condicoes:
1. Se o domnio for i
(a) v(x, z) = v(x, z), quase sempre em x R, para qualquer z 0,
(b) v(x + , 0) =
v (x, 0), quase sempre em x R,
(c) (
v (, z))i = 0, para qualquer z 0.
2. Se o domnio for q
(a) v(x, y, z) = v(x, y, z) = v(x, y, z), quase sempre em (x, y) R2 , para qualquer z 0,
(b) v(x + , y, 0) =
v (x, y, 0), quase sempre em (x, y) R2 ,
(c) (
v (, , z))q = 0, para qualquer z 0.
87
Considere os conjuntos, para cada tipo de domnio .
Hi =

n

1
v Hper
Hq =

n

1
v Hper
o
lim k
v (, T )kL2 (i ) = lim k
vz (, T )kL2 (i ) = 0 ,
o
lim k
v (, , T )kL2 (q ) = lim k
vz (, , T )kL2 (q ) = 0 .
Lema 12. Existem v1 , v2 n

ao nulas tais que v1 Hi e v2 Hq . E ainda,
(Hi , k kHper
1 (R2 ) )
+
(Hq , k kHper
1 (R3 ) ),
+
s
ao Espacos de Hilbert.
Demonstrac
ao. Considere
v1 (x, z) = ez cos(x) e v2 (x, y, z) = ez cos(x) cos(y).
Facilmente podemos verificar que v1 e v2 sao funcoes nao nulas e estao em Hi e Hq , respectivamente.
1 (R2 ) e H 1 (R3 ), respectivamente.
Agora o objetivo e mostrar que Hi e Hq sao fechados em Hper
+
per
+
Mostraremos para Hq , pois o caso Hi e analogo.

Seja {
vn }nN Hq tal que
n
k
vn vkHper
1 (R3 ) 0,
+
1 (R3 ).
com v Hper
+
1. Mostremos que
v(x, y, z) = v(x, y, z) e v(x, y, z) = v(x, y, z)
para todo (x, y) R2 , exceto em um conjunto de medida nula e para qualquer z 0.
Seja
s(x, y, z) = v(x, y, z),
quase sempre em (x, y) R2 , para qualquer z 0. Logo,
Z
|
v (x, y, z) s(x, y, z)|dxdy
|
v (x, y, z) vn (x, y, z)|dxdy
Z
Z
|
vn (x, y, z) s(x, y, z)|dxdy
Ck
v (, , z) vn (, , z)kL2per (R2 )
Ck
v (, , z) vn (, , z)k
2 (R2 )
Hper
Aplicando o Teorema do Traco, temos que

Z
|
v (x, y, z) s(x, y, z)|dx Ck
v vn kHper
1 (R3 ) 0,
+

CAPITULO 5. APLICAC
AO
88
para qualquer z 0.
Logo,
v(x, y, z) = s(x, y, z) = v(x, y, z),
(5.10)
quase sempre em (x, y) (, ) (, ), para qualquer z 0, logo pela periodicidade, temos

que (5.10) vale quase sempre em R2 , para qualquer z 0.
Analogamente, verifica-se que
v(x, y, z) = v(x, y, z),
quase sempre em R2 , para qualquer z 0.
2. Vejamos que
Z
v(x, y, z)dxdy = 0,
q
para qualquer z 0.
De fato, seja z 0, entao pela Desigualdade de Holder e o Teorema do Traco, segue que
Z

Z

v(x, y, z)dxdy
|
1
4
Z
|
Q2
n
Ck
v vn kHper
1 (R3 ) 0,
+
entao
Z
v(x, y, z)dxdy = 0,
q
para qualquer z 0.
3. Temos ainda, que
v(x + , y, 0) =
v (x, y, 0),
quase sempre em (x, y) R2 .
De fato,
Z
|
v (x + , y, 0) + v(x, y, 0)|dxdy
0
|
v (x + , y, 0) vn (x + , y, 0)|dxdy
Z0 Z0
|
vn (x + , y, 0) + v(x, y, 0)|dxdy
+
0
|
v (t, y, 0) vn (t, y, 0)|dtdy
=
Z0 Z
| vn (x, y, 0) + v(x, y, 0)|dxdy
+
0
|
v (t, y, 0) vn (t, y, 0)|dtdy
=
0
| vn (x, y, 0) + v(x, y, 0)|dxdy,
+
0
89
logo,
Z
|
v (x, y, 0) vn (x, y, 0)|dxdy
|
v (x + , y, 0) + v(x, y, 0)|dxdy
0
Z
|
v (x, y, 0) vn (x, y, 0)|dxdy.
Q2
Pela Desigualdade de Holder e o Teorema do Traco, segue que

Z
|
v (x + , y, 0) + v(x, y, 0)|dxdy Ck
v vn kHper
1 (R3 ) 0.
+
Portanto,
v(x + , y, 0) =
v (x, y, 0),
quase sempre em (x, y) (0, ) (0, ), onde pela paridade e periodicidade de v, segue que a
igualdade vale quase sempre em R2 .
4.
lim k
v (, , T )kL2 (q ) = lim k
vz (, , T )kL2 (q ) = 0.
De fato, suponha que lim k

v (, , T )kL2 (q ) 6= 0, logo,
T
ou
lim k
v (, , T )kL2 (q ) = ou
lim k
v (, , T )kL2 (q ) = P, com P 6= 0.
Se lim k
v (, , T )kL2 (q ) = , entao > 0, > 0 tal que
T
T > = k
v (, , T )kL2 (q ) .
Logo,
Z
|
v (x, y, z)|2 dxdydz
|
v (x, y, z)| dxdydz =
0
q
Z
|
k
v (, , z)k2L2 (q ) dz
= ,
1 (R3 ).
o que e absurdo, pois v Hper
+
Se lim k
v (, , T )kL2 () = P , com P 6= 0, entao > 0, > 0 tal que
T
T > = k
v (, , T )kL2 () P ,
onde podemos tomar < P .

CAPITULO 5. APLICAC
AO
90
Assim, analogamente ao que fizemos anteriormente, temos
Z
k
v (, , z)k2L2 () dz
Z
2
dz
(P )
v(x, y, z)| dxdydz

0
= ,
1 (R3 ). Portanto, lim k

o que e absurdo, pois v Hper
v (, , T )kL2 (q ) = 0.
+
T
Analogamente, podemos supor que lim k

vz (, , T )kL2 (q ) 6= 0 e pelas mesmas contas feitas nos
T
dois casos anteriores, obtemos que

Z
Z
0
|
v (x, y, z)|2 ,
1 (R3 ). Portanto, lim k

que e absurdo, pois v Hper
vz (, , T )kL2 (q ) = 0.
+
T
Finalmente, conclumos que v Hq e assim (Hq , k kHper

e um espaco de Hilbert.
1 (R3 ) )
+
Vejamos agora, equivalencias para as normas de Hi e Hq . Estas equivalencias serao fundamentais

para mostrarmos a existencia do mnimo de um funcional apropriado.
Lema 13. Considere as seguintes normas
Z
Z
1
2
|
v (x, z)| dxdz
k
v ki =
0
e
Z
Z
k
v kq =
1
2
|
v (x, y, z)| dxdydz
0
em Hi e Hq , respectivamente. Ent
ao, as normas k ki e k kHper
ao equivalentes em Hi , bem
1 (R2 ) s
+
como as normas k kq e k kHper
ao equivalentes em Hq .
1 (R3 ) s
+
Demonstrac
ao. Seja v Hq , e obvio que
1
k
v kq k
v kHper
1 (R3 ) .
+
2
Por outro lado, pela Proposicao 4., existe C > 0 tal que para qualquer v Hq
Z
Z
2
|
v (x, y, z)| dxdydz C
0
v(x, y, z)dxdydz
0
Z
+ C
0
Mas, sabemos que

Z
v(x, y, z)dxdy = 0,
q
|
v (x, y, z)|2 dxdydz.
91
para qualquer z 0, logo
v(x, y, z)dxdydz = 0.
0
Entao,
Z
|
v (x, y, z)| dxdydz
0
|
C
q
Ck
v k2q
1
= k
v kHper
v kq .
1 (R3 ) [2(1 + C)] 2 k
+
Portanto, as normas k kHper
ao equivalentes em Hq . Analogamente, mostramos que
1 (R3 ) e k kq s
+
ao equivalentes em Hi .
as normas k ki e k kHper
1 (R2 ) s
+
Observa
c
ao 6. Daqui pra frente, omitiremos (x, z) e (x, y, z) das integrais, para n
ao carregar a
notac
ao.
Considere as aplicacoes Ii : Hi R e Iq : Hq R, tais que
Ii (
r) =
1
2
Z
0
|
r|2 dxdz
Iq (
v) =
1
2
Z
0
|
v |2 dxdydz.
para qualquer r Hi , v Hq .
Para algum a > 0 fixo, considere os seguintes conjuntos

Z

p+1
(
v (x, 0)) dx = a ,
=
v Hi
i

Z

p+1
=
v Hq
(
v (x, y, 0)) dxdy = a .

Hi,a
Hq,a
Proposi
c
ao 11. Existe v Hq,a tal que
Iq (
v ) = min Iq (w).
wH
q,a
Demonstrac
ao. Seja
m = inf{Iq (
v ) | v Hq,a }.
Temos, que o conjunto {Iq (
v ) | v Hq,a } e nao vazio, pois dada v Hq nao nula, podemos
considerar
w
= Z
a p+1
(
v (x, y, 0))p+1 dxdy
1
p+1
v Hq,a ,
e como Iq (w)
< segue o resultado.
Observe tambem que 0 m < , pois se m = teramos para qualquer v Hq,a que
= m Iq (
v ) < ,

CAPITULO 5. APLICAC
AO
92
o que e absurdo.
Por definicao de nfimo, podemos tomar uma sequencia minimizante, isto e, {

vj }jN Hq,a tal
que
lim Iq (
vj ) = m.
Como {Iq (
vj )}jN R, temos que existe M > 0 tal que
|Iq (
vj )| M,
para qualquer j N.
Logo,
k
vj k2q
|
vj |2 dxdydz = 2Iq (
vj ) 2M,
=
0
assim a sequencia {
vj }jN e limitada em Hq .
Entao, usando imersao compacta existe uma subsequencia {
vjk }kN e v Hq tal que
(
vjk
* v
em Hq
vjk (, , 0) v(, , 0) em Lp+1 (Q2 )
onde os smbolos * e denotam, respectivamente, convergencia fraca e forte.

Observe que
Z

Z

p+1
p+1
p+1

(
v (x, y, 0)) dxdy a =
(
v (x, y, 0))
(
vjk (x, y, 0)) dx.

q
Pelo Teorema do Valor Medio ( [13]), aplicado a funcao,

G : [
vjk (x, y, 0), v(x, y, 0)]
7
R
tp+1
para cada (x, y) q , temos que existe w

jk (x, y, 0) (
vjk (x, y, 0), v(x, y, 0)) tal que
(
v (x, y, 0))p+1 (
vjk (x, y, 0))p+1 = (p + 1)(w
jk (x, y, 0))p (
v (x, y, 0) vjk (x, y, 0)).
Logo,
Z

Z

p+1

(
v (x, y, 0)) dxdy a (p + 1)

|w
jk (x, y, 0)|p |
v (x, y, 0) vjk (x, y, 0)|dxdy.
Temos que v(, , 0), vjk (, , 0) Lp+1 (Q2 ), logo

p
wjk (, , 0) Lp+1 (Q2 ) = wjk
(, , 0) L
para qualquer j, k N, onde
p+1
e o dual de p + 1.
p
p+1
p
(Q2 ),
(5.11)
93
Assim, pela Desigualdade de Holder e pelo Teorema do Traco, segue que

Z

p+1

(
v (x, y, 0)) dxdy a (p + 1)kw
jk (, , 0)kpLp+1 (Q2 ) k
v (, , 0) vjk (, , 0)kLp+1 (Q2 )

q
Ckw
jk kpH 1
3
per (R+ )
p
2
k
v (, , 0) vjk (, , 0)kLp+1 (Q2 )
= C(2I(w
jk )) k
v (, , 0) vjk (, , 0)kLp+1 (Q2 )
k
v (, , 0) vjk (, , 0)kLp+1 (Q2 ) 0 .

C(2M ) 2 k
Entao,
Z
(
v (x, y, 0))p+1 dxdy = a,
portanto v Hq,a e assim temos que

Iq (
v ) inf{Iq (w)
| w
Hq,a } = m.
Por outro lado, a funcao f : R3 R tal que f (a, b, c) = a2 + b2 + c2 , para qualquer (a, b, c) R3 ,
e uma funcao convexa, entao pelo Teorema 13., vale que
1
1
|
vjk |2 |
v |2 +
v
vjk ,
2
2
ou seja,
Z
Iq (
vjk ) Iq (
v) +
v
vjk dxdydz.
0
(5.12)
Como vjk * v em Hq , temos que

vjk *
v em L2 (q (0, ); R3 ), logo
Z
v
vjk dxdydz
0
|
v |2 dxdydz.
Assim, fazendo k em (5.12), temos que

m Iq (
v ).
Portanto, Iq (
v ) = m, isto e,
Iq (
v ) = min Iq (w).
wH
q,a
Enunciaremos a seguir, o mesmo resultado anterior para o domnio i , cuja demonstracao e an

aloga
ao caso q , ja que as imersoes usadas continuam validas.
Proposi
c
ao 12. Existe v Hi,a tal que
Ii (
v ) = min Ii (w).
wH
i,a
Com a ajuda do Teorema do Multiplicador de Lagrange em espacos lineares topologicos, vamos

CAPITULO 5. APLICAC
AO
94
mostrar a existencia de solucao fraca nao nula do problema nao linear (5.1).
Teorema 12. O problema n
ao linear (5.1) admite soluc
ao fraca n
ao nula, onde o domnio pode ser
i ou q .
Demonstrac
ao. Faremos a demonstracao para o caso em que o domnio e q . A demonstrac
ao para o
domnio i e analoga.
Considere no Teorema 16. os espacos E = G = U = Hq , as funcoes
g : Hq R
w
1
p+1
(w(x,
y, 0))p+1 dxdy
a
,
p+1
e
f = Iq : Hq R Z Z
1
w
7
|w|
2 dxdydz.
2 0
q
Tomemos x0 = v Hq,a , encontrado na Proposicao 11. e
M = {w
Hq | g(w)
= 0} = Hq,a .
A demonstracao consiste praticamente, em verificar as hipoteses do Teorema do Multiplicador de
Lagrange em espacos lineares topologicos.
1. Pela Proposicao 11., temos que f (
v ) e um mnimo de f (Hq,a ).
2. f e fortemente Hq -diferenciavel em v.
De fato, considere Df (
v ) : Hq R tal que para qualquer Hq temos
Z
v dxdydz.
< Df (
v ), >=
0
Logo,
1
|f (
v + )
f (
v ) < Df (
v ), > | = kk
2Hq .
2
Assim, dado > 0 tome 2, logo

kk
Hq = |f (
v + )
f (
v ) < Df (
v ), > | .
Portanto, f e Frechet diferenciavel em v e assim pelo Lema 19., segue que f e fortemente Hq diferenciavel em v.
3. g e Hq -diferenciavel em v.
De fato, seja Dg(
v ) : Hq R tal que para qualquer Hq
Z
< Dg(
v ), >=
q
(
v (x, y, 0))p (x,
y, 0)dxdy.
95
Entao,

g(

g(
v)
v + t)
< Dg(
v ), > =

t

Z
1 1
(
v (x, y, 0) + t(x,
y, 0))p+1 dx
|t| p + 1 q
Z
1
(
p + 1 q

Z

p
t
(
v (x, y, 0)) (x,
y, 0)dxdy .
(5.13)
q
Sabemos que
1
p+1=3+ ,
s
onde s > 1 mpar. Entao, a funcao F : R R tal que F (s) = sp+1 , e 3vezes diferenci
avel.
Assim, pela Formula de Taylor Infinitesimal de [24], temos para cada (x, y) q , que
1
p+1
Z
1
(
p + 1 q
Z
+ t
(
v (x, y, 0)p )(x,
y, 0)dxdy
(
v (x, y, 0) + t(x,
y, 0))p+1 dxdy =
+
+
+
q
Z
2
pt
2!
(
v (x, y, 0))p1 ((x,
y, 0))2 dxdy
Z
p(p 1)
(
v (x, y, 0))p2 ((x,
y, 0))3 dxdy
3!
q
Z
1
r3 (t(x,
y, 0))dxdy,
p + 1 q
r3 (t(x,
y, 0))
= 0.
t0 (t(x,
y, 0))3
onde lim
Entao, em (5.13), segue que

g(

v
+
t
)
g(
v
)

< Dg(
v ), >

t
+
+
p|t|
2!
|
v (x, y, 0)|p1 |(x,
y, 0)|2 dxdy
Z
p(p 1)|t|2
|
v (x, y, 0)|p2 |(x,
y, 0)|3 dxdy
3!
q
Z
1
|r3 (t(x,
y, 0))|dxdy.
p + 1 q
Neste caso, usando as seguintes imersoes

1
2
2
Hper
(R2 ) , L4 (Q2 ), Hper
(R2 ) , L2(p1) (Q2 ) e
2
Hper
(R2 ) , L
6(p1)
p
(Q2 )

CAPITULO 5. APLICAC
AO
96
e aplicando a Desigualdade de Holder, temos que

g(

g(
v)
v + t)
< Dg(
v ), >

t
+
+
p|t|
p1
k
v (, , 0)kL
, 0)k2L4 (Q2 )
2(p1) (Q2 ) k(,
2!
1
p(p 1)|t|2
3
k
v (, , 0)kp2
k
(,
,
0)k
6(p1)
2(p1)
2
L
(Q )
3!
L p (Q2 )
Z
1
|r3 (t(x,
y, 0))|dxdy.
p + 1 q
Por outro lado,

r3 (t(x,
y, 0))
= 0,
t0 (t(x,
y, 0))3
lim
ou seja, dado > 0, existe > 0 tal que

|t| < = |r3 (t(x,
y, 0))| < |t|3 |(x,
y, 0)|3 ,
entao
Z
q
|r3 (t(x,
y, 0))| < 3 k(,
, 0)k3L3 (Q2 ) .
Assim, se |t| < , segue que

g(
g(
v)
v + t)
< Dg(
v ), >

t
+
+
p
k
v (, , 0)kp1
k(,
, 0)k2L4 (Q2 )
L2(p1) (Q2 )
2!
1
p(p 1) 2
3
k
v (, , 0)kp2
k
(,
,
0)k
6(p1)
2(p1)
2
L
(Q )
3!
L p (Q2 )
3
k(,
, 0)k3L3 (Q2 ) ,
p+1
para um dado > 0.

Por outro lado, dado > 0 tome > 0 tal que P () < , onde
P () =
+
p
k
v (, , 0)kp1
k(,
, 0)k2L4 (Q2 )
L2(p1) (Q2 )
2!
2
1
p(p 1)
3
k
v (, , 0)kp2
k
(,
,
0)k
2(p1)
6(p1)
2
L
(Q )
3!
L p (Q2 )
3

k
v (, , 0)kL2 (p1)(Q2 ) .
p+1
Entao, dado > 0 tome = min{, }, logo

g(

v + t)
g(
v)
< ,

|t| < =
< Dg(
v ), > < P ()
t
portanto, g e Hq diferenciavel em v.
97
Observe que podemos tomar > 0 tal que 0 < P () < , pois
P ()

e P (0) = .
2
2
2
4. g e Hq -contnua em Hq .
De fato, seja (w,
)
Hq H q .
Analogamente ao caso anterior, usaremos a Formula de Taylor Infinitesimal.
Z
|w(x,
y, 0)|p |(x,
y, 0)|dxdy
|g(w
+ t)
g(w)|
|t|
+
+
+
q
Z
2
p|t|
2!
|w(x,
y, 0)|p1 |(x,
y, 0)|2 dxdy
Z
p(p 1)|t|3
|w(x,
y, 0)|p2 |(x,
y, 0)|3 dxdy
3!
q
Z
1
|r3 (t(x,
y, 0))|dxdy.
p + 1 q
Como,
1
4p
2
Hper
(R2 ) , L 3 (Q2 ) e
2
Hper
(R2 ) , L4 (Q2 ),
, 0) L4 (Q2 ).
temos que (w(,
, 0))p L 3 (Q2 ) e (,
Entao, pela Desigualdade de Holder e a mesma ideia que usamos no item anterior, temos que
dado > 0, existe > 0, onde Pb() < , tal que
|t| < = |g(w
+ t)
g(w)|
< Pb() < ,
onde
Pb() = kw(,
, 0)kp 4p
L
(Q2 )
k(,
, 0)kL4 (Q2 )
p 2
kw(,
, 0)kp1
k(,
, 0)k2L4 (Q2 )
L2(p1) (Q2 )
2!

1
p(p 1)
3
+
kw(,
, 0)kp2
k
(,
,
0)k
2(p1)
6(p1)
2
L
(Q )
3!
L p (Q2 )

+
k(,
, 0)k3L3 (Q2 ) 3
p+1
+
Portanto, temos que g e Hq contnua em Hq .

5. Dg(
v ) 6= 0.
De fato, suponha que Dg(
v ) = 0, ou seja, para qualquer Hq , temos que
< Dg(
v ), >= 0.

CAPITULO 5. APLICAC
AO
98
Em particular, para = v Hq ,
Z
(
v (x, y, 0))p+1 dxdy = a,
0 =< Dg(
v ), v >=
q
absurdo, pois a 6= 0. Portanto, Dg(

v ) 6= 0.
Enfim, pelo Teorema do Multiplicador de Lagrange, temos que existe R, o qual depende de a,
tal que
(
v (x, y, 0))p (x,
y, 0)dxdy,
v dxdydz
=
0
para qualquer Hq .
Para w
=
1
1p
v Hq , temos que
Z
(w(x,
y, 0))p (x,
y, 0)dxdy,
w
dxdydz
=
0
para qualquer Hq . Portanto, o problema nao linear (5.1) admite solucao fraca.
Vejamos que a solucao w
encontrada e nao nula. Suponha w
= 0, entao temos que = 0, j
a que
v e uma funcao nao nula, pelo fato de que
Z
(
v (x, y, 0))p+1 dxdy = a 6= 0.
Logo,
Z
v dxdydz
= 0,
0
para qualquer Hq . Em particular para = v Hq , temos que

Z
0
|
v |2 dxdydz = 0 =
v = 0 quase sempre
= v = C quase sempre,
onde C e uma constante nao nula.
Mas para qualquer z 0, temos que
Z
0=
v(x, y, z)dx = med(q )C = C = 0,

q
o que e absurdo. Portanto, o problema nao linear (5.1) admite solucao fraca nao nula.
Ap
endice A
Ap
endice
A.1
Func
oes Especiais
Enunciaremos algumas proposicoes sobre extensoes periodicas, pares e mpares de funcoes, bem
como propriedades de algumas funcoes especiais.
Proposi
c
ao 13. ( [19]) Seja f C([0, l]) e suponha que f (0) = f (l) = 0. Ent
ao, a func
ao f dada
por
(
f(x) =
f (x 2kl)
se
2kl
x (2k + 1)l
f (x + 2kl) se (2k 1)l < x <
2kl
onde k Z, e a extens
ao mpar e 2l-peri
odica da func
ao f e e contnua em R. Alem disso, se
1
1
f C ([0, l]), ent

ao f C (R) e fx e a extens
ao par e 2l-peri
odica da func
ao fx C([0, l]).
Proposi
c
ao 14. ( [19]) Seja u C([0, l]). Ent
ao, a func
ao u
dada por
(
u(x 2kl) se
2kl
x (2k + 1)l
u
(x) =
,
u(x + 2kl) se (2k 1)l < x <
2kl
onde k Z, e a extens
ao par e 2l-peri
odica da func
ao u e e contnua em R. Alem disso, se
u C 1 ([0, l]), ent
ao u
C 1 ([0, l]) se, e somente se, ux (0) = ux (l) = 0. Neste caso u
x e a extens
ao
mpar e 2l-peri
odica da func
ao ux C([0, l]).
Defini
c
ao 19. ( [11]) Uma func
ao f : Rn R e chamada de convexa se
f ( x + (1 )y) f (x) + (1 )f (y),
para qualquer x, y Rn e cada 0 1.
Teorema 13. ( [11]) Seja f : Rn R uma func
ao convexa. Ent
ao, para cada x Rn , existe r Rn
tal que
f (y) f (x) + r (y x),
para qualquer y Rn . Se f for diferenci
avel em x, ent
ao r = Df (x).
Observa
c
ao 7. Temos tambem que se f e C 2 , ent
ao f e convexa se, e somente se, D2 f 0.
99
APENDICE
A. APENDICE
100
Vejamos algumas informacoes importantes sobre as Funcoes de Bessel. Para um estudo mais
detalhado ver [32], [34].
Seja p R, a funcao de Bessel de primeiro tipo de ordem p e dada por
Jp (x) =
m=0
x 2m+p
(1)m
.
(m + 1)(p + m + 1) 2
Em particular, para p = k Z+ , temos que

Jk (x) =
X
m=0
(1)m x 2m+p
.
m!(k + m)! 2
A funcao de Bessel de segundo tipo de ordem p, onde p e fracionario, e dada por

Yp (x) =
Jp (x) cos(p) Jp (x)

,
sin(p)
em particular, para p = n Z, temos que

x
1 n1
X (n m 1)! x 2mn
2
Jn (x) ln + C
m!
2
m=0

n+m
m
1 X (1)m x 2m+n X 1 X 1
+
,
m!(n + m)! 2
k
k
Yn (x) =
m=0
k=1
k=1
onde C = 0, 57721 . . . e chamada de constante de Euler.

Com isso temos para p Z, que a combinacao linear de Jp e Yp e solucao geral da equac
ao de
Bessel dada por
00
x2 y + xy + (x2 p2 )y = 0.
Lema 14. Seja p R. Ent
ao,
d p
1.
(x Jp (x)) = xp Jp1 (x).
dx
d p
2.
(x Jp (x)) = xp Jp+1 (x).
dx
0
3. xJp (x) + pJp (x) = xJp1 (x).

0
4. xJp (x) pJp (x) = xJp+1 (x).

0
5. Jp1 (x) Jp+1 (x) = 2Jp (x).

2p
Jp (x).
x
O proximo lema, nos revela o comportamento assintotico das funcoes de Bessel, para ordens e
6. Jp1 (x) + Jp+1 (x) =
argumentos grandes. Para isto, consideraremos a seguinte notacao

f (x)
= 1.
xa g(x)
f (x) g(x) quando x a se lim

A.1. FUNC
OES
ESPECIAIS
101
Lema 15. (F
ormula Assint
otica - [5, 29])
1. (Comportameno Assint
otico para ordens grandes)
J (x)
1 ex
,
2 2
quando e x est
a fixado.
2. (Comportamento Assint
otico para argumentos grandes)
Jn (x)

2 1
1
2
cos x n +
,
x
2 2
quando x e n est
a fixado.
As funcoes de Bessel e suas derivadas possuem infinitos zeros positivos, os quais denotaremos,
respectivamente, por jp e jp , com j = 1, 2, .
Lema 16. ( [1]) Os zeros das func
oes de Bessel e de suas derivadas satisfazem
1.
1p < 1(p+1) < 2p < 2(p+1) < 3p < ,
para qualquer p Z+ .
2.
p 1p < 1p < 2p < 2p < 3p < ,
para qualquer p Z+ .
O zeros das funcoes de Bessel satisfazem uma estimativa dada no lema a seguir.
Lema 17. ( [25])
jp >

1
1 2 2
2
+ p2 ,
4
para qualquer p 0.
Lema 18. Considere as func
oes de Bessel Jp e suas derivadas para p R.
1. Se , dois zeros distintos de Jp , ent
ao
Z
xJp
0
x x
Jp
dx = 0.
O mesmo vale se , forem dois zeros distintos de Jp .

2.
Z
0
xJp2
x
dx =
2 2
J ()
2 p+1
se Jp () = 0
2
p2
0
1 2 Jp2 () se Jp () = 0
2
APENDICE
A. APENDICE
102
E por fim, temos que dada f : [0, ] R uma funcao absolutamente integravel em [0, ], sua
serie de Fourier-Bessel (de primeiro ou segundo tipo) e dada por
c1 Jp
x
x
x
1p
2p
jp
+ c2 Jp
+ + cj Jp
+ ,
onde
cj =
2
2 ( )
2 Jp+1
jp
xf (x)Jp
0
x
jp
dx,
quando Jp (jp ) = 0, para qualquer j = 1, 2, , neste caso temos a serie de Fourier-Bessel de primeiro
tipo e
cj =
22jp
2 (2jp p2 )Jp2 (jp )
xf (x)Jp
0
x
jp
dx,
quando Jp (jp ) = 0, para qualquer j = 1, 2, , chamada serie de Fourier-Bessel de segundo tipo.
A.2
Operadores
Vejamos algumas definicoes, teoremas de operadores setoriais e potencia fracionaria de operadores.
Defini
c
ao 20. ( [9]) Seja 0 < <
, M 1 e a R. Dizemos que um operador
2
A : D(A) H H e setorial se
1. A e um operador fechado, densamente definido.
2. O conjunto resolvente, (A), contem o setor
Sa, = { C | |arg( a)| , 6= a}.
3. Vale a estimativa
k(I A)1 k
M
,
| a|
para qualquer Sa, .

Defini
c
ao 21. ( [9]) Dizemos que um operador A : D(A) H H e positivo do tipo M 1 se
1. A e um operador fechado, densamente definido.
2. R+ (A).
3. Existe M 1 tal que
(1 + s)k(sI + A)1 k M,
para qualquer s R+ .
Teorema 14. ( [9]) Seja A : D(A) H H um operador auto adjunto em um espaco de Hilbert
H com produto escalar < , > e norma k k. Se A e limitado inferiormente, isto e, existe m R tal
que
< A(x), x > mkxk2 ,
para qualquer x D(A), ent
ao A e um operador setorial tal que Re((A)) m. Em particular, um
operador auto adjunto positivo definido e um operador setorial positivo.
A.3. TEOREMA DO MULTIPLICADOR DE LAGRANGE
103
Teorema 15. ( [9]) Seja A : D(A) H H um operador positivo.

1. Para z C tal que Re(z) 0, Az e um operador fechado em H.
2. Se z1 , z2 C s
ao tais que Re(z1 ) > Re(z2 ) > 0, ent
ao D(Az1 ) D(Az2 ) H.
3. Para qualquer n N a potencia An coincide com o produto AA A.
4. Se z C tal que Re(z) 0, ent
ao D(Az ) = H.
5. Se z1 , z2 C tais que Re(z1 ), Re(z2 ), Re(z1 + z2 ) 6= 0 ou z1 , z2 R, ent
ao
Az1 +z2 (x) = Az1 Az2 (x) = Az2 Az1 (x),
para x D(Aw ), onde w {z1 , z2 , z1 + z2 } e Re(w) = max{Re(z1 ), Re(z2 ), Re(z1 + z2 )}.
A.3
Teorema do Multiplicador de Lagrange
Antes de enunciarmos o Teorema do Multiplicador de Lagrange em espacos lineares topol

ogicos,
veremos algumas definicoes que estao em suas hipoteses.
Sejam U um subconjunto aberto de um espaco vetorial topologico E, G um subespaco linear de
E e uma funcao f : U R.
Defini
c
ao 22. Dizemos que
1. f e G-contnua sobre U se, e somente se,
lim f (x + th) = f (x)
t0
para qualquer (x, h) U G.

2. f e G-diferenci
avel em x se, e somente se, existe uma aplicac
ao linear Df (x) : G R tal que
lim
t0
f (x + th) f (x)
= Df (x)(h),
t
para qualquer h G.
3. f e fortemente G-diferenci
avel em x se, e somente se, existe uma aplicaca
o linear
Df (x) : G R tal que
f (x + sth + sk) f (x)
= Df (x)(k),
s
(s,t)0
lim
para qualquer h, k G.
Lema 19. Sejam U E aberto, E um espaco linear normado, x U e f : U R uma aplicac
ao
Frechet Diferenci
avel em x. Ent
ao, f e fortemente G-diferenci
avel em x para qualquer subespaco
linear G de E.
APENDICE
A. APENDICE
104
Teorema 16. (Teorema do Multiplicador de Lagrange em espacoes lineares topol

ogicos - [4]) Sejam
U um subconjunto aberto de um espaco vetorial topol
ogico E, G um subespaco linear de E, x0 U ,
r R e f, g func
oes de U em R. Considere M = {x U | g(x) = r}. Assuma que
1. f (x0 ) e um mnimo (ou m
aximo) de f (M ).
2. f e fortemente G-diferenci
avel em x0 e g e G-diferenci
avel em x0 .
3. g e G-contnua sobre U e Dg(x0 ) 6= 0.
Ent
ao, existe R tal que
Df (x0 )(h) = Dg(x0 )(h),
para qualquer h G.
Refer
encias Bibliogr
aficas
[1] Abramowitz, M.; Stegun, I. A. Handbook of mathematical functions with formulas, graphs, and
mathematical tables. New York: Dover Publications, 1965. 1046 p.
[2] Adams, R. A. Sobolev Spaces. New York: Academic Press, 1975. v.65. (Pure and applied mathematics series)
[3] Amann, H. Nonhomogeneous Linear and Quasilinear Elliptic and Parabolic Boundary Value
Problems: in Function Spaces, Differential Operators and Nonlinear Analysis. Teubner, Stuttgart,
Leipzig, 9-126, 1993.
[4] An, L. H.; Du, P. X.; Duc, D. M.; Tuoc P. V. Lagrange Multipliers for Functions Derivable along
Directions in a Linear Subspace. Proceedings of the American Mathematical Society, v.133, n.2,
p. 595-604, 2004.
[5] Bell, W. W. Special Funtions for Scientists and Engineers. Canada: D. Van Nostrand Company
Ltda, 1970. 247 p.
[6] Brezis, H. An
alisis functional Teora y aplicaciones. Madrid: Alianza Editorial, S.A., 1984. 233
p.
[7] Cabre, X.; Tan, J. Positive solutions of nonlinear problems involving the square root of the
Laplacian. Advances in Mathematics, v.224, p. 2052-2093, 2010.
[8] Caffarelli, L.; Silvestre, L. An extension problem related to the fractional Laplacian. Comm. in
Partial Differential Equations, v.32, p. 1245-1260, 2007.
[9] Czaja, R. Differential Equations with Sectorial Operator. Katowice: Wydawnictwo Uniwersytetu
Slaskiego, 2002. 120 p.
[10] Engel, K. J.; Nagel, R. A Short Course on Operator Semigroups. New York: Springer Science,
Business Media, LLC, 2006. 256 p.
[11] Evans, L. C. Partial Differential Equations. United States of America: American Mathematical
Society, 1998. v.19.
[12] Figueiredo, D. G. An
alise de fourier e equac
oes diferenciais parciais. Rio de Janeiro: IMPA, 2003.
274 p. (Projeto Euclides)
[13] Figueiredo, D. G. An
alise I. Rio de Janeiro: LTC, 1996. 256 p.
105
REFERENCIAS
BIBLIOGRAFICAS
106
[14] Henrot, A. Extremum problems for eigenvalues of elliptic operators. Berlin: Birkhauser Verlag,
2006. 202 p.
[15] Henry, D. Geometric Theory of Semilinear Parabolic Equations. Berlin: Springer-Verlag, 1981.
348 p.
[16] Hormander, L. Linear Partial Differential Operators. Berlin: Springer, 1969. 285 p.
[17] Iorio R.; Iorio, V. M. Fourier Analysis and Partial Differential Equations. New York: Cambridge
University Press, 2001. 411 p.
[18] Iorio R.; Iorio, V. M. Equac
oes diferenciais parcias: uma introduc
ao. Rio de Janeiro: IMPACNPQ, 1988. 366 p. (Projeto Euclides)
[19] Iorio, V. EDP, um curso de graduac
ao. Rio de Janeiro: IMPA, 2005. 246 p. (Colecao matem
atica
universitaria)
[20] Kozlov, V. A.; Mazya, V. G.; Rossmann, J. Elliptic Boundary value problems in domains with
point singularities. Providence, R. I.: American Mathematical Society, 1997. 414 p. (Mathematical
surveys and monographs)
[21] Kreyszig, E. Introductory Functional Analysis with Applications. New York: John Wiley & Sons,
1989. 688 p.
[22] Kufner, A.; John, O.; Fueck, S. Function Spaces. Leyden: Noordhoff International Publishing,
1977. 454 p.
[23] Lima, E. L. Curso de An
alise, Volume 1. Rio de Janeiro: IMPA, 2006. 431 p. (Projeto Euclides)
[24] Lima, E. L. Curso de An
alise, Volume 2. Rio de Janeiro: IMPA, 2000. 557 p. (Projeto Euclides)
[25] Maccann, R. C. Lower Bounds for the Zeros of Bessel Functions. Proceedings of the American
Mathematical Society, v.64, n.1, p. 101-103, 1977.
[26] Melo, R. A. A Teoria de Semigrupo Aplicada `
as Equac
oes Diferenciais Parciais. 2006. 183f.
Dissertacao (Mestrado em Matematica) - Centro de Ciencias e Tecnologia, Universidade Federal
de Campina Grande, Campina Grande. 2006.
[27] Naylor, A. W.; Sell, G. R. Linear operator theory in engineering and science. New York: SpringerVerlag, 1982. 624 p.
[28] Pazy, A. Semigroups of Linear Operators and Applications to Partial Differential Equations. New
York: Springer-Verlag, 1983. 279 p.
[29] Polyanin, A. D. Handbook of Linear Partial Differential Equations for Engineers and Scientists.
Boca Raton: Chapman & Hall/CRC, 2002. 781 p.
[30] Protter, M. H.; Morrey, C. B. Intermediate Calculus. New York: Springer-Verlag, 1985. 555 p.
REFERENCIAS
BIBLIOGRAFICAS
107
[31] Rabinowitz, P. H. Minimax methods in critical point theory with applications to differential equations. Providence, R. I.: American Mathematical Society, 1986. (Regional conference series in
mathematics)
[32] Tolstov, G. P. Fourier Series. New Jersey: Prentice-Hall, 1962. 336 p.
[33] Triebel, H. Interpolation theory, function spaces, differential operators. Amsterdam: NorthHolland Publishing Company, 1978. 528 p.
[34] Watson, G. N. A Treatise on the Theory of Bessel Functions. New York: Cambridge University
Press, 1945. 804 p.
108
REFERENCIAS
BIBLIOGRAFICAS
Indice Remissivo
cone, 9
domnio tipo, 10
equacao
Bessel, 100
espaco
Sobolev das funcoes periodicas, 15
das distribuicoes temperadas, 10
Holder, 12
Schwartz, 10
Slobodeckij em Rn , 10
Slobodeckij em U , 11
Sobolev em Rn , 10
Sobolev em U , 11
formula assintotica, 101
funcao
G-contnua, 103
G-diferenciavel, 103
Bessel
primeiro tipo, 100
segundo tipo, 100
convexa, 99
fortemente G-diferenciavel, 103
imersao
compacta, 13
contnua, 12
operador
limitado inferiormente, 24
positivo, 102
setorial, 102
traco, 19
serie
Fourier-Bessel, 102
teorema
Multiplicador de Lagrange, 104
109
Este livro foi distribudo cortesia de:
Para ter acesso prprio a leituras e ebooks ilimitados GRTIS hoje, visite:
http://portugues.Free-eBooks.net
Compartilhe este livro com todos e cada um dos seus amigos automaticamente,
selecionando uma das opes abaixo:
Para mostrar o seu apreo ao autor e ajudar os outros a ter

experincias de leitura agradvel e encontrar informaes valiosas,
ns apreciaramos se voc
"postar um comentrio para este livro aqui" .
Informaes sobre direitos autorais
Free-eBooks.net respeita a propriedade intelectual de outros. Quando os proprietrios dos direitos de um livro enviam seu trabalho para Free-eBooks.net, esto nos dando permisso para distribuir
esse material. Salvo disposio em contrrio deste livro, essa permisso no passada para outras pessoas. Portanto, redistribuir este livro sem a permisso do detentor dos direitos pode constituir uma
violao das leis de direitos autorais. Se voc acredita que seu trabalho foi usado de uma forma que constitui uma violao dos direitos de autor, por favor, siga as nossas Recomendaes e Procedimento
de reclamaes de Violao de Direitos Autorais como visto em nossos Termos de Servio aqui:
http://portugues.free-ebooks.net/tos.html

Um Problema de Extensao Relacionado A Raiz Quadrada Do Laplaciano Com Condicao de Fronteira de

Diunggah oleh

Informasi Dokumen

Judul Asli

Hak Cipta

Format Tersedia

Bagikan dokumen Ini

Bagikan atau Tanam Dokumen

Opsi Berbagi

Apakah menurut Anda dokumen ini bermanfaat?

Apakah konten ini tidak pantas?

Hak Cipta:

Format Tersedia

Um Problema de Extensao Relacionado A Raiz Quadrada Do Laplaciano Com Condicao de Fronteira de

Diunggah oleh

Hak Cipta:

Format Tersedia

Um problema de extens

Michele de Oliveira Alves

Programa: Matematica Aplicada

Esta versao definitiva da tese

Espacos de Sobolev, Slobodeckij e Holder . . . . . . . . . . . . . . . . . . . . . . . . .

Imersoes Contnuas e Compactas . . . . . . . . . . . . . . . . . . . . . . . . . .

Teorema do Traco e Desigualdade de Poincare . . . . . . . . . . . . . . . . . .

Espacos de Sobolev das funcoes periodicas . . . . . . . . . . . . . . . . . . . . . . . . .

Teorema do Traco para as funcoes periodicas . . . . . . . . . . . . . . . . . . .

Raiz Quadrada do operador N

Caso q = (0, ) (0, ) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

Solucao fraca no intervalo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

Solucao fraca no quadrado . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

Existencia de Solucao Fraca . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

A.1 Funcoes Especiais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

A.2 Operadores . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 102

Operador Laplaciano com condicao de fronteira de Neumann

Espaco de Holder sobre Rn

Espaco de Holder sobre U

Conjunto das funcoes infinitamente diferenciaveis que sao 2periodicas

Conjunto das funcoes infinitamente diferenciaveis que sao 2periodicas em x Rn

Espaco de Lebesgue L2 (U ) com peso r

Espaco de Sobolev se s Z+ e Espaco de Slobodeckij se s > 0 nao inteiro

Espaco de Sobolev periodico na variavel x Rn

Espaco de Sobolev periodico na variavel x Rn , para todo (x, z) Rn+1

Funcao de Bessel de primeiro tipo de ordem p R

Funcao de Bessel de segundo tipo de ordem p R fracionario

onde Cn,s e alguma constante de normalizacao e s (0, 1).

O metodo de definir o operador () 2 por meio de tecnicas extensao harmonica, consiste em

onde u : Rn R e uma funcao suave limitada e v : Rn+1

v(x, 0)vz (x, 0)dx

|v(x, z)|2 dxdz

v(x, z)v(x, z)dxdz +

|v(x, z)|2 dxdz 0,

logo, o operador T e positivo.

tal que a = 1 2s.

quadrada do operador Laplaciano com condicao de fronteira de Dirichlet (D ) 2 , em um domnio

Para definir o operador (N ) 2 , consideramos os seguintes problemas de extensao

quando o domnio for q ou b , onde

onde i e i sao as autofuncoes e os autovalores de N , respectivamente.

Verificamos que o operador (N ) 2 e de fato a raiz quadrada do Laplaciano com condic

para qualquer u D(N ).

para definir o operador (N ) 2 .

tal que v e par, periodica nas variaveis x e y, u

onde v e par, periodica na variavel x, u

onde i sao as autofuncoes de N , nos domnios citados anteriormente, i sao os correspondentes

No Captulo 4, definimos o operador A 1 : D(A 1 ) X X tal que

quando o domnio for i .

Teorema 1. O operador B 1 coincide com o operador (N ) 2 , ou seja,

para qualquer u D(B 1 ) e

para qualquer u D(N ).

Consideremos tambem, o espaco de Hilbert

onde o domnio sera o intervalo, o quadrado ou a bola, com as seguintes notacoes

Kh = {(x , xn ) Rn | 0 < xn < h, |x | < axn },

Espacos de Sobolev, Slobodeckij e H

Seja U Rn aberto. Durante nosso estudo usaremos frequentemente os espacos

para quaisquer multi-ndices , Nn . O conjunto S e chamado Espaco de Schwartz. Denotaremos

para qualquer f H s (Rn ).

kf kH s (Rn ) = k(1 + |x|2 ) 2 F f kL2 (Rn ) ,

2. Se 0 < t = [t] + {t}, ent

kf kC t (Rn ) = kf kC [t] (Rn ) +

Analogamente aos espacos de Sobolev e Slobodeckij, podemos definir os espacos de H

por C (U ), e dado por