Dissertacao MaxwellPita

Universidade Federal da Paraíba
Centro de Ciências Exatas e da Natureza
Programa de Pós-Graduação em Matemática
Curso de Mestrado em Matemática
Sobre uma classe de problemas elípticos com

não linearidades do tipo côncavo-convexa
por
Maxwell de Sousa Pita
sob orientação do
Prof. Dr. Everaldo Souto de Medeiros
Dissertação apresentada ao Corpo Do-
cente do Programa de Pós-Graduação em
Matemática - CCEN - UFPB, como re-
quisito parcial para obtenção do título de
Mestre em Matemática.
Abril/2013
João Pessoa - PB
P681s Pita, Maxwell de Sousa.
Sobre uma classe de problemas elípticos com não
linearidades do tipo côncavo-convexa / Maxwell de Sousa
Pita.João Pessoa, 2013.
74f.
Orientador: Everaldo Souto de Medeiros
Dissertação (Mestrado) - UFPB/CCEN
1. Matemática. 2. Problemas elípticos semilineares.
3. Teorema do Passo da Montanha. 4. Princípio variacional
de Ekeland.
UFPB/BC CDU: 51(043)

Agradecimentos
A Deus, por nos dar a esperança de uma vida em paz.

Aos meus pais, pelo enorme apoio em todos os momentos, principalmente nos mais
difíceis.
À Minha namorada Edna, por estar sempre presente.
Ao meu orientador Everaldo, por estar sempre disponível a esclarecer quaisquer dú-
vidas, pela amizade, pelo incentivo e por acreditar em mim, apesar de todas as minhas
diculdades.
Ao professor Bruno, pela disponibilidade em me ajudar.
Aos meus professores da graduação em matemática do IFCE: Mário de Assis Oliveira
e José Alves, pelos excelentes ensinamentos.
Aos professores da pós-graduação em matemática da UFPB: Carlos Bocker, Lizandro,
Napoleon e Alexandre, pelas disciplinas lecionadas que contribuíram muito para a minha
formação.
i
Dedicatória
Aos meus pais, Maria Socorro de

Sousa Pita e José Pita Neto.
ii
Resumo
Neste trabalho, vamos estabelecer uma versão do Teorema do Passo da Montanha

devido a Martin Schechter [12], a qual irá fornecer uma sequência de Cerami em um
nível max-min. Como consequência deste, juntamente com o Princípio variacional de
Ekeland, vamos obter alguns resultados de existência e multiplicidade de solução para
uma classe de problemas elípticos semilineares envolvendo uma não-linearidade do tipo
côncavo-convexa.
iii
Abstract
In this work, we will establish a version of the Mountain Pass Theorem due to Martin
Schechter [12], which will provide a Cerami sequence at a max-min level. As a consequence
of this result, together with the Ekeland variational principle, we obtain some results of
existence and multiplicity of solution for a class of semilinear elliptic problems involving
a nonlinearity of concave-convex type.
iv
Sumário
Introdução 8
1 Um teorema do tipo max-min e o princípio variacional de Ekeland 12

1.1 O campo pseudo-gradiente . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
1.2 O Teorema do Passo da Montanha . . . . . . . . . . . . . . . . . . . . . . 13
1.3 O princípio variacional de Ekeland . . . . . . . . . . . . . . . . . . . . . . 21
2 Um problema assintoticamente linear 23

2.1 Prova do Teorema 2.1 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25
2.2 Prova do Teorema 2.2 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 37
3 Um problema Superlinear 42
3.1 Prova do Teorema 3.1 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 45
3.2 Prova do Teorema 3.2 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 51
4 O caso f (x, u) ≡ λu 57
4.1 Prova do Teorema 4.1 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 58
4.2 Prova do Teorema 4.2 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 59
A Resultados utilizados 62
A.1 Diferenciabilidade de funcionais . . . . . . . . . . . . . . . . . . . . . . . . 62
A.2 Regularidade dos funcionais . . . . . . . . . . . . . . . . . . . . . . . . . . 63
A.3 Autovalores do Laplaciano . . . . . . . . . . . . . . . . . . . . . . . . . . . 67
A.4 Resultados de Análise Funcional e Teoria da Medida . . . . . . . . . . . . 69
Referências Bibliográcas 71
v
Notações
Vamos utilizar as seguintes notações:
Notações gerais:
• Br (x) denota a bola aberta de raio r e centro x.
• * e → denotam convergência fraca e forte, respectivamente.
• |Ω| denota a medida de Lebesgue do conjunto Ω.
denota o laplaciano da função u.

Pn ∂u
• ∆u = i=1 ∂xi
∂u
• ∇u = ( ∂x 1
∂u
, ..., ∂x n
) denota o gradiente da função u.
• q.t.p é uma abreviação de quase todo ponto.
• u+ =max{0, u}.
• u− =max{0, −u}.
• I 0 denota a derivada a Gâteaux do funcional I .
• ∂Ω denota a fronteira do conjunto Ω.
Espaços de funções:
• Lp (Ω)={u : Ω → R; u é mensurável e |u|p < ∞}.

R
Ω
• L∞ (Ω)={u : Ω → R; u é mensurável e ∃C > 0 tal que |u(x)| ≤ C q.t.p em Ω}.
vi
• H01 (Ω) denota o espaço de Sobolev usual.
• H0−1 (Ω) denota o espaço dual do Espaço de Sobolev H01 (Ω).
• C(Ω) denota o espaço das funções contínuas em Ω.
• C 1 (Ω) denota o espaço das funções continuamente diferenciáveis em Ω.
• C0∞ (Ω) denota o espaço das funções de classe C ∞ em Ω com suporte compacto.
Normas:
21
, para u ∈ H01 (Ω).
R
• kuk = Ω
|∇u|2 dx
• khk∞ = inf{C > 0; |u(x)| ≤ C q.t.p em Ω} denota a norma em L∞ (Ω).
• khkp = ( Ω |u|p ) p denota a norma em Lp (Ω) com 1 ≤ p < ∞.

R 1
vii
Introdução
O objetivo desta dissertação é estudar a existência e multiplicidade de solução não

negativa para o problema

 −∆u = h(x)uq + f (x, u) em Ω
(1)
 u=0 sobre ∂Ω,
onde Ω é um domínio limitado e suave em RN (N ≥ 1), 0 < q < 1 e as funções h(x) e
f (x, s) satisfazem algumas condições de crescimento.
Esta dissertação é baseada nos artigos de Li, Wu e Zhou [10] e Schechter [12].
O problema (1) foi amplamente estudado sob várias hipóteses em h(x) e f (x, s). Em
[6] foi estudado o caso onde h(x) ≡ λ e f (x, s) ≡ 0. Neste caso foi provado que existe
uma única solução positiva para o problema (1). Além disso, Wang em [13] provou que, se
h(x) ≡ λ é uma constante positiva, o problema (1) possui innitas soluções un ∈ H01 (Ω)
tais que |un |∞ → 0, I(un ) < 0 e I(un ) → 0. Para o caso onde f (x, s) é superlinear
podemos citar o famoso artigo de Ambrosetti, Brezis e Cerami, [1], no qual estudaram o
caso onde h(x) = λ e f (x, u) = up , com 0 < q < 1 < p e λ > 0. Através do método de sub
e supersolução estes autores provaram que existe Λ > 0 tal que λ ∈ (0, Λ) se, e somente
se, o problema (1) possui uma solução não-trivial. Além disso, se p ∈ (1, NN −2
+2
) foi provada
a existência de outra solução, caso tenhamos 0 < λ < Λ.
As hipóteses utilizadas nesta dissertação, as quais veremos no início de cada capítulo,
diferem das hipóteses usadas nestes outros artigos, onde descartamos várias hipóteses dos
mesmos. O método usado neste artigo é baseado em uma simples variação do Teorema
do Passo da Montanha. Este método também vale para o caso onde f (x, s) é superlinear
em relação a s no innito ou f (x, s) ≡ λs para algum λ > 0, isto é, os resultados obtidos
nesta dissertação cobrem todas as condições de crescimento de f (x, s) em s, a saber,
8
linear, assintoticamente linear e superlinear, desde que f (x, s) seja subcrítico.
Consideraremos apenas soluções não-negativas e não-triviais para o problema (1),
assim supomos f (x, s) ≥ 0 para s ≥ 0.
Esta dissertação está organizada da seguinte forma:
No Capítulo 1, estão enunciados e demonstrados alguns resultados clássicos da Análise
não-linear que são: uma versão mais geral do que conhecemos como Teorema do Passo
da Montanha e o Princípio Variacional de Ekeland. Ambos tem importância fundamental
para que possamos encontrar soluções fracas do problema (1).
No Capítulo 2, será estudado o problema (1) no caso assintoticamente linear. Assim,
a função f (x, s) deve satisfazer a seguinte hipótese:
(f3 ) lims→+∞ f (x,s)

s
= ` ∈ (λ1 , +∞) uniformemente em x ∈ Ω.
Serão enunciados e demonstrados dois teoremas. No primeiro deles, o Teorema 2.1, vamos
obter uma solução fraca não-negativa para este problema, com energia positiva. Além
disso, se a função h for não-negativa esta solução deverá ser estritamente positiva. Sua
demonstração consiste de vários lemas, mas dois desses lemas tem maior importância,
num sentido que cará preciso no decorrer desta dissertação, onde daremos agora algumas
informações que justicam a importância destes dois lemas. No primeiro deles, o Lema 2.1,
vamos mostrar que o funcional energia I associado ao problema (1) satisfaz a geometria
do Teorema do Passo da Montanha. Isto nos garante a existência de uma sequência de
Cerami no nível c > 0 que será denido no Teorema 1.2. No outro lema citado, o Lema
2.4, mostramos que toda sequência de Cerami para o funcional I é limitada. Assim, a
compacidade da imersão H01 (Ω) ,→ Lp (Ω), com 1 ≤ p < 2∗ , garantirá a existência de
uma solução fraca não-negativa para este problema. No teorema seguinte, o Teorema 2.2,
será adicionada uma outra hipótese sobre a função h. Vamos denotar por c1 o ínmo
do funcional I em uma bola B ρ ⊂ H01 (Ω) e provaremos que c1 < 0. Utilizaremos o
Princípio Variacional de Ekeland para construir uma sequência (un ) ⊂ H01 (Ω) limitada.
Assim, novamente pela imersão compacta H01 (Ω) ,→ Lp (Ω), com 1 ≤ p < 2∗ , e pelo
mesmo procedimento do Teorema 2.1 obteremos uma solução não-negativa, com energia
negativa. O Princípio do Máximo Forte será útil para mostrar que se h for não-negativa
então as soluções obtidas nesses dois dois teoremas devem ser estritamente positivas.
No Capítulo 3, será estudado o problema (1) no caso superlinear. Assim, na condição
9
(f3 ) anterior analisaremos o caso onde ` = +∞. Por consequência, adicionaremos mais
algumas hipóteses de regularidade e crescimento para a função f (x, s). Este capítulo é
composto por dois teoremas. No primeiro deles, o Teorema 3.1, vamos obter duas solu-
ções fracas não negativas, uma com energia positiva e outra com energia negativa. Para
demonstrá-lo, vamos utilizar um lema técnico e mais dois lemas análogos aos do capítulo
2, mas com demonstração diferente, pois agora f (x, s) é superlinear. No primeiro deles,
o Lema 3.1, novamente vamos mostrar que o funcional energia associado ao problema
satisfaz a geometria do passo da montanha. Isto nos dá uma sequência de Cerami , a qual
mostraremos ser limitada no lema seguinte, o Lema 3.2. A partir daí, procedemos analo-
gamente ao Teorema 2.1 e obteremos uma solução não-negativa com energia positva. Para
obtermos uma outra solução não-negativa, mas com energia negativa, procedemos de ma-
neira análoga ao Teorema 2.2, utilizando o princípio variacional de Ekeland. No teorema
seguinte, o Teorema 3.2, vamos obter uma solução não-negativa com energia positiva, mas
analisando o caso onde a função h é não-negativa. Para tal, descartamos algumas hipó-
teses envolvendo h e f (x, s) utilizadas no Teorema 3.2 e acrescentamos monotonicidade à
função f (x, s). A demonstração é análoga.
No Capítulo 4, como aplicação, analisaremos um caso particular do problema (1); a
saber, o caso especial onde f (x, u) é globalmente linear em relação a u, isto é, f (x, u) =
λu. Serão enunciados e demonstrados dois teoremas. No primeiro deles, o Teorema 4.1,
supondo que a função h seja não-negativa vamos provar existência e não existência de
soluções positivas, analisando separadamente os casos onde λ ≥ λ1 e λ < λ1 . Vamos
mostrar que o funcional energia J associado ao problema satisfaz a geometria do passo da
montanha e assim o restante da demonstração será análoga a demonstração do Teorema
2.1, no caso λ < λ1 . No teorema seguinte, o Teorema 4.2, supondo que h seja não-
positiva vamos novamente provar existência e não-existência de soluções positivas para
este problema, analisando separadamente os casos onde λ > λ1 e λ ≤ λ1 . Além disso, será
dada uma caracterização para soluções positivas deste problema, se h for identicamente
nula e λ = λ1 .
Finalmente, no Apêndice vamos demonstrar alguns resultados de regularidade dos
funcionais energia utilizados, serão enunciados alguns resultados de Análise Funcional
e outros envolvendo os autovalores do Laplaciano. Estes resultados serão utilizados no
10
decorrer de toda a dissertação.
11
Capítulo 1
Um teorema do tipo max-min e o

princípio variacional de Ekeland
Neste capítulo, apresentaremos um Teorema do tipo max-min devido a M. Schechter

em [12] bem como o enunciado e a prova do princípio Variacional de Ekeland. Para provar
o Teorema max-min, precisamos denir e construir um campo vetorial Pseudo-Gradiente,
o qual está incluso na próxima seção.
1.1 O campo pseudo-gradiente
Denição 1 Seja I : E → R um funcional de classe C 1 denido em um espaço de

Banach E . Um campo pseudo-gradiente para I é uma aplicação localmente lipschitziana
γ:Ee → E tal que, para todo α ∈ (0, 1), temos:
kγ(w)k ≤ 1, αkI 0 (w)k ≤ I 0 (w)γ(w), ∀w ∈ E,

e
onde Ee = {u ∈ E; I 0 (u) 6= 0}.
Lema 1.1 Existe um campo vetorial pseudo-gradiente para o funcional I .
Demonstração: Para cada u ∈ Ee, como I 0 (u) é contínua, temos

kI 0 (u)k = sup I 0 (u)w.
kwk=1
Seja α1 ∈ (α, 1). Existe w(u) ∈ E tal que
α1 kI 0 (u)k ≤ I 0 (u)w(u)
12
1.2 O Teorema do Passo da Montanha
com
kw(u)k = 1.
Pela continuidade de I 0 , existe uma vizinhança Vu de u tal que
αkI 0 (v)k ≤ I 0 (v)w(u), ∀v ∈ Vu .
Observe que a família {Vu ; u ∈ E}

e forma uma cobertura para E
e . Como E
e ⊂ E
é metrizável e portanto paracompacto, existe uma cobertura localmente nita {Vi }i∈J
e uma partição da unidade {λi }i∈J localmente Lipschitz contínua subordinada à esta
cobertura, onde podemos supor que J = {1, 2, ..., n0 }. Com isso, para cada i ∈ J temos
Vi ⊂ Vui . Assim, consideremos a função γ : E
e → E denida por
n0
X
γ(v) = λi (v)w(ui ).
i=1
Logo, como cada λi é localmente Lipschitz contínua, e uma soma nita de aplicações
localmente Lipschitz também o é, temos que γ é localmente Lipschitz contínua. Assim,
n0
X
kγ(v)k ≤ λi (v) = 1.
i=1
Além disso, temos

n0
X
0
I (v)γ(v) ≥ α λi (v)kI 0 (v)k = αkI 0 (v)k,
i=1
o que prova o resultado.
Inicialmente, denotemos o seguinte conjunto:

Z +∞
Ψ = {ψ : (0, +∞) → R, ψ é não crescente e ψ(r)dr = +∞}.
1
Considere o seguinte exemplo.

Exemplo: A função ψ : (0, +∞) → R denida por
1
ψ(s) = , s>0
1+s
claramente pertence a Ψ.
O seguinte teorema é uma versão generalizada do Teorema do Passo da Montanha.
13
Teorema 1.1 (Schechter, [12]) Seja I : E → R um funcional denido em um espaço

de Banach E e um elemento e ∈ E com e 6= 0. Seja Λ o conjunto de todos os abertos
limitados N ⊂ E tais que 0 ∈ N com e ∈/ N . Suponha que as seguintes condições sejam
satisfeitas:
(i) I ∈ C 1 (E, R)
(ii) Existe N0 ∈ Λ e η ∈ R tal que max{I(0), I(e)} ≤ η e
I(u) ≥ η, ∀u ∈ ∂N0 . (1.1)
Seja b ≥ η denido por

b = sup inf I(u), (1.2)
N ∈Λ u∈∂N
então, para todo ψ ∈ Ψ existe uma sequência (un ) em E tal que
I(un ) → b, quando n → +∞,
e
kI 0 (un )k
→ 0, quando n → +∞.
ψ(kun k)
Demonstração: Observe na Figura 1.1 a seguir o caso particular de um funcional I

satisfazendo as condições (i) e (ii):
Figura 1.1:
14
Inicialmente, suponhamos que b > η . Suponha por contradição que a conclusão deste
teorema não seja verdadeira. Assim, existe ε > 0 e ψ ∈ Ψ tal que
kI 0 (u)k ≥ ψ(kuk), (1.3)
para todo u ∈ E satisfazendo

|I(u) − b| ≤ 3ε. (1.4)
Se necessário, podemos tomar ε > 0 sucientemente pequeno tal que
3ε < b − η.
Denimos os seguintes conjuntos:
Q = {u ∈ E, |I(u) − b| ≤ 2ε},
Q1 = {u ∈ E; |I(u) − b| ≤ ε},
Q2 = E \ Q.
Seja g : E → R denida da seguinte forma

d(u, Q2 )
g(u) = .
d(u, Q1 ) + d(u, Q2 )
Armamos que g é uma aplicação localmente lipschitziana e satisfaz

 1, u ∈Q1 ,
g(u) = (1.5)
 0, u ∈Q2
e
0 < g(u) < 1, caso contrário.
De fato, vamos denotar g1 e g2 da seguinte forma
g1 (u) = d(u, Q1 ) e g2 (u) = d(u, Q2 ).
Dados u2 , u2 ∈ E , temos
g2 (u1 ) g2 (u2 )
g(u1 ) − g(u2 ) = − .
g1 (u1 ) + g2 (u1 ) g1 (u2 ) + g2 (u2 )
Daí,
g1 (u2 )g2 (u1 ) + g2 (u2 )g2 (u1 ) − g1 (u1 )g2 (u2 ) − g2 (u1 )g2 (u2 )
g(u1 ) − g(u2 ) = .
[g1 (u1 ) + g2 (u1 )][g1 (u2 ) + g2 (u2 )]
15
Com isso, temos

g1 (u2 )g2 (u1 ) − g1 (u1 )g2 (u2 )
g(u1 ) − g(u2 ) = .
[g1 (u1 ) + g2 (u1 )][g1 (u2 ) + g2 (u2 )]
Assim,
g1 (u2 )g2 (u1 ) − g2 (u1 )g1 (u1 ) + g2 (u1 )g1 (u1 ) − g1 (u1 )g2 (u2 )
g(u1 ) − g(u2 ) = .
[g1 (u1 ) + g2 (u1 )][g1 (u2 ) + g2 (u2 )]
Consequentemente,
g2 (u1 )
|g(u1 ) − g(u2 )| ≤ |g1 (u2 ) − g1 (u1 )|
[g1 (u1 ) + g2 (u1 )][g1 (u2 ) + g2 (u2 )]
g1 (u1 )
+ |g2 (u1 ) − g2 (u2 )|.
[g1 (u1 ) + g2 (u1 )][g1 (u2 ) + g2 (u2 )]
Como g1 e g2 são funções lipschitzianas, existem c1 > 0 e c2 > 0 tais que
g2 (u1 )
|g(u1 ) − g(u2 )| ≤ c1 |u2 − u1 |
[g1 (u1 ) + g2 (u1 )][g1 (u2 ) + g2 (u2 )]
g1 (u1 )
+ c2 |u1 − u2 |.
[g1 (u1 ) + g2 (u1 )][g1 (u2 ) + g2 (u2 )]
Como g1 (u1 ) + g2 (u1 ) > 0, existem a > 0 e uma vizinhança W de u1 tal que
g1 (u) + g2 (u) > a > 0 ∀u ∈ W.
Além disso, como

g2 (u1 )
≤ 1,
g1 (u2 ) + g2 (u2 )
e
g1 (u1 )
≤ 1,
g1 (u2 ) + g2 (u2 )
temos que
c1 + c2
|g(u) − g(v)| ≤ ku − vk ∀u, v ∈ W,
a
donde obtemos que g é localmente lipschitziana.
Seja γ um campo pseudo-gradiente para I , isto é, uma aplicação γ : E → E tal que
I 0 (u)γ(u) ≥ αkI 0 (u)k, com kγ(u)k ≤ 1, (1.6)
para algum α > 0. Seja ϕ : E → E a aplicação denida por ϕ(u) = g(u)γ(u). Assim, ϕ é
localmente Lipschitz contínua com
I 0 (u)ϕ(u) ≥ 0, para kϕ(u)k ≤ 1. (1.7)
16
Considere o seguinte problema de valor inicial:


d
 σ(t, u) = ϕ(σ(t, u)),

dt (1.8)

 σ(0, u) = u.
Como ϕ é localmente lipschitziana e limitada, existe uma única solução para (1.8) denida
em um intervalo maximal (t− (u), t+ (u)). Armamos que t− (u) = −∞ e t+ (u) = +∞. De
fato, suponhamos por contradição que t+ (u) < ∞. Seja uma sequência (tn ) no intervalo
(−∞, t+ (u)) tal que tn → t+ (u). Assim, temos
Z tm
d
kσ(tm , u) − σ(tn , u)k = (σ(τ, u))dτ
tn dτ

Z tm

= ϕ(σ(τ, u))dτ

t
Z tmn
≤ kϕ(σ(τ, u))kdτ
tn
≤ ktm − tn k.
Assim, como (tn ) é uma sequência de Cauchy, pois é convergente em R, temos que a
sequência (σ(tn , u)) ⊂ E também é de Cauchy. Logo, (σ(tn , u)) converge para algum
ponto v ∈ E , desde que tn → t+ (u). Agora, considere o seguinte problema de valor inicial

d

 σ(t, u) = ϕ(σ(t, u)),
dt
 σ(t+ (u), u) = v.

Isto nos dá uma extensão de σ(t, u) no intervalo [t− (u) − δ, t+ (u) + δ], para algum δ > 0.
Isto é uma contradição, pois por hipótese temos que (t− (u), t+ (u)) é um intervalo maximal.
De maneira análoga, provamos que t− (u) = −∞. Por (1.7) temos
kσ(t, u) − uk ≤ t. (1.9)
Além disso, por (1.6) e (1.8) temos

d
(I(σ(t, u)) = I 0 (σ(t, u))ϕ(σ(t, u))
dt
≥ αg(σ(t, u))kI 0 (σ(t, u))k (1.10)
> 0.
Isto implica que I(σ(., u)) é não-decrescente, ou seja,
I(σ(t1 , u)) ≤ I(σ(t2 , u)) 0 < t1 < t2 . (1.11)
17
Por (1.2) existe N ∈ Λ tal que
I(u) > b − ε, u ∈ ∂N. (1.12)
Seja
M = sup kuk, (1.13)
u∈∂N
e seja T tal que Z T +M

2ε < α ψ(t)dt. (1.14)
M
Por (1.11) e (1.12), temos
I(σ(t, u)) > b − ε, u ∈ ∂N, t ≥ 0. (1.15)
Assim
σ(t, u) 6= 0, σ(t, u) 6= e, u ∈ ∂N, t ≥ 0, (1.16)
pois temos η < b − 3ε. Se u ∈ ∂N , com u ∈/ Q1 , temos
I(u) > b + ε, (1.17)
pois não podemos ter, por (1.12), a seguinte desigualdade
I(u) < b − ε. (1.18)
Assim, por (1.11) temos
I(σ(t, u)) ≥ I(u) > b + ε, u ∈ ∂N, u ∈

/ Q1 , 0 ≤ t ≤ T. (1.19)
Por outro lado, se u ∈ ∂N ∩ Q1 , seja t1 o maior número possível tal que t1 ≤ T e
σ(t, u) ∈ Q1
para 0 ≤ t ≤ t1 . Se t1 < T , então para δ > 0 sucientemente pequeno, temos
I(σ(t1 + δ, u)) ≥ I(σ(t1 , u)) ≥ b − ε.
Além disso, como σ(t1 + δ, u) ∈/ Q1 temos
I(σ(t1 + δ, u)) > b + ε.
18
Consequentemente
I(σ(T, u)) > b + ε. (1.20)
Se t1 = T , então por (1.10), (1.5), (1.3), (1.9), (1.13) e (1.14), temos

Z T
I(σ(T, u)) − I(u) ≥ α kI 0 (σ(t, u))kdt
0
Z T
≥α ψ(k(σ(t, u))k)dt
0
Z T
≥α ψ(kuk + t)dt
0
Z T
≥α ψ(M + t)dt
0
Z T +M
=α ψ(τ )dτ
M
> 2ε.
Assim, a desigualdade (1.20) segue de (1.12). Portanto, a desigualdade (1.20) é válida

para todo u ∈ ∂N . Denimos os seguintes conjuntos
NT = {σ(T, u); u ∈ N },
e
∂NT = {σ(T, u); u ∈ ∂N }.
Por (1.7) e pela dependência contínua de σ(T, u) em u temos que NT é um conjunto aberto
limitado em E . Como 0, e ∈ Q2 e g ≡ 0 em Q2 , pela unicidade de soluções de (1.8) temos
que σ(T, 0) = 0, σ(T, e) = e. Como σ(T, 0) ∈ NT e σ(T, e) ∈/ N T , temos que 0 ∈ NT e
/ N T . Assim, NT ∈ Λ e, por (1.20)
e∈
I(u) > b + ε, u ∈ ∂NT . (1.21)
Mas isto contradiz (1.2). Assim, o teorema está provado para o caso η < b. Agora,
suponha que η = b. Então, por (1.1), temos
I(u) ≥ b, u ∈ ∂N0 . (1.22)
Seja
1
T = min[d(0, ∂N0 ), d(e, ∂N0 )]. (1.23)
2
19
Escolha ε > 0 sucientemente pequeno tal que (1.14) seja verdadeiro. Então, procedendo
de maneira análoga com N0 em vez de N substituímos (1.12) por (1.22). Para obtermos
(1.16), por (1.9) e (1.23) temos a seguinte desigualdade
k(σ(t, u) − uk ≤ t ≤ T.
Isto implica que (1.16) é verdadeiro para todo u ∈ ∂N0 e 0 ≤ t ≤ T . Para obter (1.21)
procedemos analogamente contradizendo mais uma vez (1.2). Assim, está concluído o
teorema.
Agora, vamos relembrar a condição de Cerami:
Denição 2 Seja E um espaço de Banach real e I ∈ C 1 (E, R). Uma sequência (un ) ⊂ E
é dita uma sequência de Cerami no nível c ∈ R quando
I(un ) → c e (1 + kun k)kI 0 (un )kE ∗ → 0. (1.24)
Como aplicação do Teorema 1.1, temos a seguite variação do Teorema do passo da

Montanha.
Teorema 1.2 Seja E um espaço de Banach real com seu espaço dual E ∗ e suponha que
I ∈ C 1 (E, R) satisfaz a condição
max{I(0), I(e)} ≤ 0 < η ≤ inf I(u)

kuk=ρ
para algum 0 < η, ρ > 0 e e ∈ E com kek > ρ. Se c é denido por
c = sup inf I(u),

N ∈Λ u∈∂N0
onde N0 = Bρ (0) e Λ = {N ⊂ E; N é aberto e limitado}, então c > 0 e existe uma

sequência (un ) ⊂ E que satisfaz a condição de Cerami, ou seja,
I(un ) → c e I 0 (un )(1 + kun k) = 0.
Demonstração: Observe que c > 0. De fato,
c = sup inf I(u) ≥ inf I(u) ≥ η > 0.

N ∈Λ u∈∂N0 u∈∂N0
Desde que ψ(s) = 1

1+s
∈ Ψ, pelo Teorema 1.1, obtemos o resultado desejado.
20
1.3 O princípio variacional de Ekeland
O seguinte princípio devido a I. Ekeland [7] será de fundamental importância para

obtermos soluções com energia negativa para o problema a ser estudado.
Teorema 1.3 (Princípio Variacional de Ekeland) Seja V um espaço métrico com-

pleto e F : V → R ∪ {+∞} uma função semicontínua inferiormente e limitada inferior-
mente. Então, para todo ε > 0 existe v ∈ V tal que:
F (v) ≤ inf F (v) + ε e F (w) ≥ F (v) − εd(v, w) para todo w ∈ V.

v∈V
Demonstração: Seja u0 ∈ V tal que
F (u0 ) ≤ inf F (v) + ε.

v∈V
Deniremos a seguir indutivamente uma sequência (un ) cujo primeiro elemento seja u0 .
Escolhamos um elemento un ∈ V . Então podemos ter um dos seguintes casos:
(a) F (w) > F (un ) − εd(un , w), ∀w 6= un ;
(b) existe w 6= un tal que F (w) ≤ F (un ) − εd(un , w).
Supondo que (a) seja verdadeiro, denimos un+1 = un . Caso contrário, se (b) for verda-
deiro, então denimos un+1 da seguinte forma:
Seja Sn o conjunto dos elementos w ∈ V satisfazendo a condição (b). Assim, escolha
un+1 ∈ Sn tal que

1
F ((un+1 ) − inf F (u) ≤ F (un ) − inf F (u) .
u∈Sn 2 u∈Sn
Armamos que a sequência (un ) é de Cauchy. De fato, se (a) for verdadeiro, então a
sequência é convergente e portanto de Cauchy. Caso contrário, se o item (b) for verdadeiro,
temos satisfeita a seguinte desigualdade:
εd(un , un+1 ) ≤ F (un ) − F (un+1 ), ∀n ∈ N. (1.25)
Reordenando os termos da sequência, temos
εd(un , up ) ≤ F (un ) − F (up ), ∀n ≤ p. (1.26)
21
Assim, F (un ) é uma sequência decrescente e limitada. De fato,
F (un ) ≥ εd(un , un+1 ) + F (un+1 ) ≥ F (un+1 ).
Assim, F (un ) é limitada inferiormente e decrescente, logo é limitada. Portanto, é con-

vergente. Assim, fazendo n, p → +∞ obtemos claramente que (un ) é uma sequência de
Cauchy. Como V é um espaço métrico completo, (un ) converge para algum ponto v ∈ V .
Usando o fato de que F é semicontínua inferiormente, temos
F (v) ≤ lim F (un ).

n
Além disso, como F (un ) é decrescente, dado qualquer u ∈ V , temos
F (v) ≤ lim F (un ) ≤ F (u) ≤ inf F (v) + ε,

n v∈V
donde obtemos a primeira desigualdade do teorema.

Para demonstrarmos a outra desigualdade do teorema, suponhamos que ela não seja
verdadeira, ou seja, suponhamos que existe w ∈ V tal que
F (w) < F (v) − εd(v, w). (1.27)
Fazendo p → +∞ na equação (1.26) obtemos
F (w) ≤ lim F (up ) ≤ F (un ) − εd(un , w).
Portanto, w ∈ Sn , ∀ n ∈ N. Por outro lado, podemos escrever (1.25) da seguinte forma:
2F (un+1 ) − F (un ) ≤ inf F (u) ≤ F (w). (1.28)

u∈Sn
Desde que
F (un ) → l,
tomando o limite em (1.28), temos

l ≤ F (w).
Como F é semicontínua inferiormente, temos
F (v) ≤ l ≤ F (w,
o que contradiz (1.27). Logo, devemos ter
F (w) ≥ F (v) − εd(v, w).
22
Capítulo 2
Um problema assintoticamente linear
Neste capítulo, baseado no artigo de Li-Wu-Zhou [10], vamos estudar o problema






−∆u = h(x)uq + f (x, u) em Ω

u≥0 em Ω (2.1)


sobre ∂Ω,

u=0


onde Ω é um domínio suave e limitado em RN (N ≥ 1), 0 < q < 1.

Seja λ1 > 0 o primeiro autovalor (veja Apêndice) de −∆ em H01 (Ω), isto é,

 −∆u = λ1 u em Ω
 u=0 sobre ∂Ω.
Sabemos que λ1 é caracterizado por

R
|∇u|2 dx

ΩR 1
λ1 = inf : u ∈ H0 (Ω), u 6= 0 .
Ω
u2 dx
Neste capítulo vamos assumir que h(x) satisfaz as seguintes condições:
(h1 ) h(x) ∈ L∞ (Ω) e h(x) 6= 0;
(h2 ) existe v ∈ H01 (Ω) tal que

R
Ω
h(x)(v + )q+1 dx > 0.
Temos como principal objetivo encontrar soluções para o problema (2.1) quando f (x, s)
tem crescimento assintoticamente linear no innito. Mais precisamente:
(f1 ) f (x, s) ∈ C(Ω̄ × R, R); f (x, 0) ≡ 0; f (x, s) ≥ (6≡)0 para todo s ≥ 0, x ∈ Ω.
23
(f2 ) lims→0+ f (x,s)
s
= µ ∈ [0, λ1 ) uniformemente em x ∈ Ω.
(f3 ) lims→+∞ f (x,s)

s
= ` ∈ (λ1 , +∞) uniformemente em x ∈ Ω.
Para visualizar geometricamente as condições (f1 ), (f2 ) e (f3 ), observe a Figura 2.1:
Figura 2.1:
Exemplo: Se α > 0 e ` > λ1 , então a função denida por

`sα



α
, se s ≥ 0
f (x, s) := 1 + s
se s ≤ 0,

 0,
satisfaz as hipóteses (f1 ), (f2 ) e (f3 ).
Denição 3 Dizemos que u ∈ H01 (Ω) é uma solução fraca para o problema (2.1) se
Z Z Z
∇u∇ϕdx = + q
h(x)(u ) ϕdx + f (x, u+ )ϕdx, para todo ϕ ∈ H01 (Ω). (2.2)
Ω Ω Ω
Note que o funcional energia associado ao problema (2.1) é dado por(veja Apêndice)
Z Z Z
1 1
I(u) = 2
|∇u| dx − + q+1
h(x)(u ) dx − F (x, u+ )dx. (2.3)
2 Ω q+1 Ω Ω
Pela Proposição A.1 temos que I ∈ C 1 (H01 (Ω), R). Além disso, para todo ϕ ∈ H01 (Ω)
temos Z Z Z
0
I (u)ϕ = ∇u∇ϕdx − + q
h(x)(u ) ϕdx − f (x, u+ )ϕdx. (2.4)
Ω Ω Ω
Se u ∈ H01 (Ω) é um ponto crítico de I , escolhendo ϕ = u− em (2.4), obtemos
Z Z Z
− 2 + q −
− |∇u | = h(x)(u ) u dx + f (x, u+ )u− dx = 0.
Ω Ω Ω
Logo, u = u e assim pontos críticos de I são soluções fracas não-negativas de (2.1).

+
24
2.1 Prova do Teorema 2.1
Observação 2.1 Suponha que h(x) ≥ 0. Então, pelo Princípio do Máximo Forte, o
qual pode ser encontrado em [8], os pontos críticos não-nulos de (2.3) são soluções fracas
positivas do problema (2.1).
No teorema a seguir, sob as hipóteses anteriores, com exceção da hipótese (h2 ), encon-
traremos uma solução não-negativa com energia positiva para o problema (2.1) quando a
norma khk∞ é pequena.
Teorema 2.1 Suponha que as funções h e f (x, s) satisfaçam as hipóteses (h1 ), (f1 ), (f2 )
e (f3 ). Então existe uma constante m > 0 tal que se khk∞ < m, o problema (2.1) tem
uma solução fraca não-negativa, u1 ∈ H01 (Ω), com I(u1 ) > 0. Além disso, se h(x) ≥ 0
então u1 > 0.
Assumindo uma hipótese adicional, além da solução obtida no Teorema 2.1, obtemos
uma outra solução não-negativa u2 com energia negativa. Mais precisamente, temos
Teorema 2.2 Suponha que as funções h e f (x, s) satisfam as hipóteses (h1 ), (h2 ), (f1 ),
(f2 ) e (f3 ). Então existe uma constante m > 0 tal que se khk∞ < m, o problema (2.1) tem
pelo menos duas soluções fracas não-negativas u1 , u2 ∈ H01 (Ω) tais que I(u1 ) < 0 < I(u2 ).
Além disso, se h(x) ≥ 0 devemos ter u1 > 0 e u2 > 0.
Para demonstrar o Teorema 2.1, usaremos o Teorema 1.2. A seguir, serão enunciados
e demonstrados alguns lemas importantes utilizados na demonstração deste teorema. Ini-
ciamos esta seção com o Lema 2.1, o qual trata a geometria do Teorema 1.2. Este lema é
de fundamental importância para garantir, juntamente com o Teorema 1.2, a existência
de uma sequência de Cerami no nível max-min c > 0.
Lema 2.1 Suponha que as funções h e f (x, s) saatisfaçam as hipóteses (h1 ), (f1 ), (f2 ) e
(f3 ). Então existe uma constante m > 0 tal que se khk∞ < m, temos:
i) Existem ρ > 0, η > 0 tais que
I(u) ≥ η > 0 para todo u ∈ H01 (Ω), com kuk = ρ.
25
ii) Existe e ∈ H01 (Ω) com kek > ρ tal que I(e) < 0.
Demonstração: Prova do item i). Inicialmente, vamos provar as seguintes armações:
Armação 1 Dado ε > 0 existe Cε = Cε (ε, f, Ω, k) tal que:

(µ + ε) 2
F (x, s) ≤ s + Cε sk+1 , ∀s ≥ 0, x ∈ Ω, (2.5)
2
onde k é uma constante tal que se N ≥ 3, então 1 < k < N +2
N −2
. Se N = 1, 2 então
1 < k < +∞.
Pela hipótese (f3 ) temos

f (x, s)
lim = 0, uniformemente em x ∈ Ω. (2.6)
s→+∞ sk
De fato,
f (x, s) f (x, s) 1
lim = lim lim = `.0 = 0.
s→+∞ sk s→+∞ s s→+∞ sk−1
Assim, pelas hipóteses (f1 ), (f2 ) e (f3 ) existe uma constante Cε = C(ε, k, f, Ω) > 0 tal
que
f (x, s) ≤ (µ + ε)s + Cε sk , para todo s ≥ 0, x ∈ Ω. (2.7)
De fato, pela hipótese (f2 ) existe s0 > 0 tal que
f (x, s) ≤ (µ + ε)s, se 0 < s ≤ s0 , x ∈ Ω. (2.8)
Por (2.6), existem constantes s1 > 0 e C1 > 0 tais que
f (x, s) ≤ C1 sk , para todo s ≥ s1 , x ∈ Ω. (2.9)
Pela hipótese (f1 ), existe uma constante C2 > 0 tal que

sk sk
f (x, s) ≤ C2 = C2 ≤ C 2 = C 3 sk , se s ∈ [s0 , s1 ], x ∈ Ω. (2.10)
sk s0
Das desigualdades (2.8)-(2.9)-(2.10) obtemos obtemos a desigualdade (2.7). Integrando a
desigualdade (2.7), obtemos:
Z s Z s Z s
f (x, t)dt ≤ (µ + ε)tdt + Cε tk dt,
0 0 0
o que prova (2.5). Além disso, temos
h(x) ≤ |h(x)| ≤ khk∞ , q.t.p. em Ω.
26
Agora xemos ε0 > 0 tal que µ + ε0 < λ1 . Pela caracterização do primeiro autovalor
temos Z Z
(µ + ε0 ) (µ + ε0 )
2
u ≤ |∇u|2 dx.
2 Ω 2λ1 Ω
Pela denição de I dada em (2.3), segue de (2.5) e da imersão de Sobolev H01 (Ω) ,→ Lp (Ω)
que
Z Z Z
1 2 1 + q+1 (µ + ε0 ) 2
I(u) ≥ |∇u| dx − khk∞ (u ) dx − [ u + Cε |u|k+1 ]dx
2 Ω q+1 Ω Ω 2
khk
Z Z
1 (µ + ε0 ) 2 ∞
≥( − )kuk − (u ) dx − Cε |u|k+1 dx
+ q+1
2 2λ1 q+1 Ω Ω
≥ C1 kuk2 − C2 khk∞ kukq+1 − C3 kukk+1 .
Assim,
I(u) ≥ [C1 − khk∞ C2 kukq−1 − C3 kukk−1 ]kuk2 . (2.11)
Considere a função denida por:
g(t) = C2 khk∞ tq−1 + C3 tk−1 ,
onde t ≥ 0, q ∈ (0, 1) e k ∈ [1, NN +2

−2
) se N ≥ 3, ou k ∈ [1, +∞) se 1 ≤ N < 3. Derivando
g em relação a t, temos
g 0 (t) = C2 (q − 1)khk∞ tq−2 + C3 (k − 1)tk−2 .
Se t0 > 0 é tal que g 0 (t0 ) = 0, então
C3 (k − 1)tk−q
0 + C2 (q − 1)khk∞ = 0,
o que implica 1/(k−q)

(1 − q)C2
t0 = khk∞ , 0 < q < 1 < k.
C3 (k − 1)
Vamos denotar C4 = (1−q)C2
C3 (k−1)
. Assim,
q−1 k−1 k−1
k−q
g(t0 ) = C2 khk∞ (C4 khk∞ ) k−q + C3 (C4 khk∞ ) k−q = C5 khk∞ ,
q−1 k−1 k−q
onde C5 = C2 C4 k−q
+C3 C4k−q , e k−1
k−q
> 0, pois 0 < q < 1 < k . Assim, existe m = ( C
C5
)
1 k−1
>
0, tal que g(t0 ) < C1 se khk∞ < m. Então, se khk∞ < m e ρ = t0 , por (2.11) e para todo
u ∈ H01 (Ω) tal que kuk = ρ, temos
I(u) ≥ (C1 − g(t0 ))t20 = η > 0,
27
donde obtemos i).

Prova do item ii). Segue da hipótese (f3 ) que
F (x, s) `
lim 2
= , uniformemente em x ∈ Ω. (2.12)
s→+∞ s 2
De fato, dado ε > 0, existe M > 0 tal que
f (x, s)
`−ε≤ ≤ ` + ε, para todo s ≥ M.
s
Assim, integrando de 0 a s a desigualdade acima, temos
Z s Z s Z s
(` − ε)tdt ≤ f (x, t)dt ≤ (` + ε)tdt, para todo s ≥ M.
0 0 0
Logo,
(` − ε) F (x, s) (` + ε)
≤ 2
≤ , para todo s ≥ M.
2 s 2
Portanto,
F (x, s) `
lim 2
= , uniformemente em x ∈ Ω.
s→+∞ s 2
Agora, usando que ` > λ1 , existe τ > 0 tal que, para s > 0 sucientemente grande, temos
F (x, s) `−τ λ1
2
≥ > , uniformemente em x ∈ Ω. (2.13)
s 2 2
Seja ϕ1 > 0 a autofunção associada ao autovalor λ1 . Sabemos que
kϕ1 k2 = λ1 kϕ1 k2L2 (Ω) .
Assim temos
t2 tq+1
Z Z
2 q+1
I(tϕ1 ) = kϕ1 k − h(x)ϕ1 dx − F (x, tϕ1 )dx
2 q+1 Ω Ω
2 q+1 Z 2 Z
t t t
≤ kϕ1 k2 − h(x)ϕq+1
1 dx − (` − τ )ϕ21 dx
2 q+1 Ω 2 Ω
2 Z q+1 Z
t t
= (λ1 − ` + τ )ϕ21 dx − h(x)ϕq+1
1 dx
2 Ω q+1 Ω
t2 tq−1
Z Z
2 q+1
= (λ1 − ` + τ )ϕ1 dx − h(x)ϕ1 dx .
2 Ω q+1 Ω
Como
0 < q < 1 e λ1 − ` + τ < 0,
temos
tq−1
Z Z
lim h(x)ϕq+1
1 dx =0 e (λ1 − ` + τ )ϕ21 dx < 0.
t→+∞ q + 1 Ω Ω
28
Escolhendo t0 sucientemente grande tal que
kt0 ϕ1 k > ρ,
temos
I(t0 ϕ1 ) < 0.
Logo, escolhendo e = t0 ϕ1 , obtemos ii) e isto completa a prova do lema.
Lema 2.2 Seja Ω ⊂ Rn um aberto limitado e (un ) ⊂ H01 (Ω) uma sequência tal que
n * u e un * u .
un * u em H01 (Ω). Então u+ + − −
Demonstração: Pela convergência fraca de (un ) em H01 (Ω), existe uma constante C > 0
tal que kun k ≤ C. Além disso, como un = u+n + u−n , temos
Z
2
kun k = |∇un |2 dx
ZΩ
− 2
= |∇(u+
n + un )| dx
ZΩ Z Z
= |∇un | dx + 2 ∇un ∇un dx + |∇u−
+ 2 + − 2
n | dx
ZΩ Z Ω Ω
= |∇u+ 2
n | dx + |∇u− 2
n | dx
Ω Ω
= ku+
nk
2
+ ku− 2
nk .
Logo (u+n ) é limitada em H01 (Ω). Assim, existe v ∈ H01 (Ω) tal que





u+
n * v em H01 (Ω),

u+
n → v em Lp (Ω) 1 ≤ p < 2∗ , (2.14)


 u+ (x) → v(x) q.t.p em Ω.


n
Desde que a imersão H01 (Ω) ,→ Lp (Ω) é compacta temos


 un → u, em Lp (Ω) 1 ≤ p < 2∗ ,
(2.15)
 u (x) → u(x) q.t.p em Ω.
n
Por outro lado, sabemos que

un + |un | u + |u|
u+
n = e u+ = .
2 2
Assim, segue de (2.15) que
u+
n → u
+
q.t.p em Ω.
29
Logo, pela unicidade do limite, segue de (2.14) que v = u+ . Portanto,
u+ +
n * u .
Analogamente, conclui-se que u−n * u− , e isto conclui a prova do lema.
Lema 2.3 Seja Ω ⊂ Rn um aberto limitado e (fn ) ⊂ L2 (Ω) uma sequência tal que fn * f
em L2 (Ω) e fn ≥ 0, para todo n. Então temos que f ≥ 0 q.t.p em Ω.
Demonstração: Pelo Teorema da Representação de Riesz em L2 (Ω), temos

Z Z
lim fn ϕdx = f ϕdx para todo ϕ ∈ L2 (Ω).
n→+∞ Ω Ω
Fazendo a substituição ϕ = f − , temos

Z
0 ≤ lim fn f − dx
n→+∞ Ω
Z
= f f − dx
ZΩ
= (f + − f − )f − dx
ΩZ
= − (f − )2 dx.
Ω
Logo,
f − = 0 q.t.p em Ω.
Portanto,
f ≥ 0 q.t.p em Ω,
e isto conclui o lema.

O lema a seguir, juntamente com a imersão compacta H01 (Ω) ,→ Lp (Ω), será impor-
tante para obtermos de maneira direta uma solução para o problema (2.1). Este lema nos
diz que, sob as condições dadas no início do capítulo sobre as funções f (x, s) e h, qualquer
sequência de Cerami é limitada. Mais precisamente, temos
Lema 2.4 Suponha que as funções f (x, s) e h(x) satisfazem as condições (h1 ), (f1 ), (f2 )
e (f3 ). Então toda sequência de Cerami (un ) para o funcional I é limitada.
Demonstração: Seja (un ) ⊂ H01 (Ω) uma sequência de Cerami no nível c > 0, ou seja,
Z Z
1 1
I(un ) = kun k2 − h(x)(u+
n)
q+1
dx − F (x, u+
n )dx = c + o(1) (2.16)
2 q+1 Ω Ω
30
e Z Z Z
0
I (un )ϕ = ∇un ∇ϕdx − h(x)(u+ q
n ) ϕdx − f (x, u+
n )ϕdx = o(1). (2.17)
Ω Ω Ω
De fato,
kI 0 (un )k
kI 0 (un )k = (1 + kun k) .
1 + kun k
Desde que
1
≤ 1,
1 + kun k
por (1.24) obtemos
kI 0 (un )k = o(1), (2.18)
e portanto temos (2.17). Agora, substituindo un = ϕ em (2.17), temos
Z Z Z
0
I (un )un = 2
|∇un | dx − h(x)(u+
n)
q+1
dx − f (x, u+
n )un dx = o(1). (2.19)
Ω Ω Ω
Agora, suponha que kun k → +∞ e denotemos por

un
wn = . (2.20)
kun k
Note que (wn ) é limitada em H01 (Ω) e podemos supor, para alguma subsequência de (wn )
e w ∈ H01 (Ω), que 


 wn * w em H01 (Ω),


wn → w em Lp (Ω) 1 ≤ p < 2∗ , (2.21)


 wn (x) → w(x) q.t.p em Ω.


Pelo Lema 2.2 temos





 wn+ * w+ em H01 (Ω),

wn+ → w+ em Lp (Ω) 1 ≤ p < 2∗ , (2.22)


 w+ (x) → w+ (x) q.t.p em Ω.


n
Armamos que
w 6= 0.
De fato, suponha que w ≡ 0. Note que

Z Z
lim h(x)(wn+ )q+1 dx = lim F (x, wn+ (x))dx
n→+∞ Ω n→+∞
ZΩ
= lim f (x, wn+ (x))wn (x)dx
n→+∞ Ω
= 0.
31
Por (2.22) temos
h(x)(wn+ (x))q+1 → h(x)(w+ (x))q+1 q.t.p em Ω.
Como a imersão H01 (Ω) ,→ Lr (Ω) é compacta se 1 ≤ r < 2∗ , existe ψb ∈ Lq+1 (Ω) tal que
|wn (x)| ≤ ψ(x)

b q.t.p em Ω.
Logo,
|h(x)(wn+ (x))q+1 | ≤ khk∞ (ψ(x))
b q+1
∈ L1 (Ω).
Pelo Teorema da Convergência Dominada de Lebesgue, temos

Z
h(x)(wn+ )q+1 dx → 0.
Ω
Além disso, por (2.5) temos
F (x, s) ≤ C1 s2 + C2 sk+1.
Assim, temos
0 ≤ F (x, wn+ (x)) ≤ C1 (wn+ (x))2 + C2 (wn+ (x))k+1 .
Isto implica que

F (x, wn+ (x)) → 0 q.t.p em Ω.
Como k + 1 < 2∗ e 2 < 2∗ , existem ψ1 ∈ Lk+1 (Ω) e ψ2 ∈ L2 (Ω) tais que
|wn+ (x)| ≤ ψ1 (x) q.t.p em Ω.
|wn+ (x)| ≤ ψ2 (x) q.t.p em Ω.
Assim, temos
|F (x, wn+ (x))| ≤ C1 |(wn+ (x))|2 + C2 |(wn+ (x))|k+1
≤ C1 |ψ2 (x)|2 + C2 |ψ1 (x)|k+1 ∈ L1 (Ω).

Assim, pelo Teorema da Convergência Dominada de Lebesgue, temos
Z
F (x, wn+ (x))dx → 0.
Ω
Por (2.7) temos

f (x, s) ≤ (µ + ε)s + Cε sk , s ≥ 0.
32
De maneira análoga, obtemos

Z
f (x, wn+ (x))wn (x)dx → 0.
Ω
Multiplicando (2.17) por 1

kun k2
, temos
Z Z
1
2
kwn k − h(x)(wn+ )q+1 dx − p(x, un )(wn+ )2 dx = o(1), (2.23)
kun k1−q Ω Ω
onde
 f (x, s) se s > 0

p(x, s) = s

0 se s ≤ 0.
Assim, segue de (f1 ), (f2 ) e (f3 ) que existe uma constante M > 0 tais que

f (x, s)
s ≤ M,
para todo x ∈ Ω e s ∈ R. (2.24)
De fato, dado ε > 0, existem δ > 0 e A > 0 tal que

f (x, s)
s ≤ ε + µ, se s < δ,

f (x, s)
s ≤ ε + `, se s > A,

f (x, s)
s ≤ M1 , se s ∈ [δ, A].

Tomando M = max{ε+µ, ε+`, M1 }, obtemos o resultado. Como kun k → +∞ e 1−q > 0,

temos Z
1
h(x)(wn+ )q+1 dx → 0.
kun k1−q Ω
Segue de (2.23) que Z

kwn k − 2
p(x, u+ + 2
n )(wn ) dx = o(1). (2.25)
Ω
Por outro lado, segue de (2.24) e do fato que wn+ → 0 em L2 (Ω), que
Z Z

p(x, u+ + 2
n )(wn ) dx ≤ M
(wn+ )2 dx.

Ω Ω
Pela imersão compacta H01 (Ω) ,→ L2 (Ω) existe ψ ∈ L2 (Ω) tal que
|wn+ (x)| ≤ ψ(x) q.t.p em Ω.
Logo, por (2.22) e pelo Teorema da Convergência Dominada de Lebesgue, temos

Z
(wn+ )2 dx → 0.
Ω
33
Assim, Z
lim p(x, u+ + 2
n )(wn ) dx = 0.
n→+∞ Ω
Por (2.25) obtemos kwn k2 → 0 e isto contradiz o fato de que kwn k = 1.

Agora, armamos que
w(x) > 0 q.t.p em Ω.
De fato, multiplicando (2.17) por 1

kun k
, temos:
Z Z Z
1
∇wn .∇ϕdx − h(x)(wn+ )q ϕdx − p(x, u+
n )wn ϕdx = o(1). (2.26)
Ω kun k1−q Ω Ω
Pela desigualdade (2.24), p(x, s) é limitada. Logo,

Z
(p(x, un ))2 ≤ M |Ω|.
Ω
Assim existe v ∈ L2 (Ω) tal que
p(x, un ) * v(x) em L2 (Ω). (2.27)
Além disso, pelo Lema 2.3 temos
v(x) ≥ 0 q.t.p x ∈ Ω.
Armamos que
Z Z
p(x, un )wn+ (x)ϕdx → v(x)w+ ϕdx para todo ϕ ∈ H01 (Ω). (2.28)
Ω Ω
De fato, como
p(x, un )wn+ ϕ − v(x)w+ ϕ = p(x, un )wn+ ϕ − p(x, un )w+ ϕ + p(x, un )w+ ϕ − v(x)w+ ϕ,
temos
Z Z Z

[p(x, un )wn+ ϕ − v(x)w+ ϕ]dx ≤ |p(x, un )wn ϕ|dx − |p(x, un )w+ ϕ|dx
+

Ω Ω Ω
Z Z
+ |p(x, un )w ϕ|dx − |v(x)w+ ϕ|dx
+
Z Ω Ω
+ +
≤ M |(wn − w )ϕ|dx.
Ω
Segue de (2.22) que Z

lim M |(wn+ − w+ )ϕ|dx = 0.
n→+∞ Ω
34
Logo, Z
lim [p(x, un )wn+ ϕ − v(x)w+ ϕ]dx = 0,
n→+∞ Ω
donde obtemos (2.28).

Desde que
f (x, u+
Z Z
n) +
+
wn ϕdx = p(x, un )wn+ (x)ϕdx, ϕdx, para todo ϕ ∈ H01 (Ω),
Ω wn Ω
usando que kun k → +∞, segue de (2.26) que

Z Z
∇w∇ϕdx = v(x)w+ ϕdx, para todo ϕ ∈ H01 (Ω). (2.29)
Ω Ω
Substituindo ϕ = w− em (2.29), obtemos

Z
|∇w− |2 dx = 0.
Ω
Isto implica que

w− = 0 q.t.p em Ω.
Logo, w ≡ w+ ≥ 0. Por (2.29), sabemos que w ≥ 0 é uma solução fraca do seguinte

problema: 
 −∆w = v(x)w+ ≥ 0, em Ω;
(2.30)
 w = 0, sobre Ω.
Então, pelo Princípio do Máximo Forte(ver [8]) temos que
w(x) > 0 q.t.p em Ω.
Agora, vamos mostrar que w > 0 satisfaz a seguinte identidade

Z Z
∇w∇ϕdx = ` wϕdx, para todo ϕ ∈ H01 (Ω). (2.31)
Ω Ω
Por (2.20) e (2.22), temos

un
wn (x) = → w(x) > 0 q.t.p em Ω.
kun k
Além disso, pela hipótese (f2 ), temos

f (x, u+
n (x))
p(x, u+
n (x)) = +
→ `.
un (x)
35
Portanto, pela unicidade do limite, segue de (2.27) que v(x) = `. Substituindo esta
igualdade em (2.29), obtemos (2.31). Logo, w é uma solução fraca não-trivial do seguinte
problema: 
 −∆w = `w, em Ω;
 w = 0, sobre Ω.
Sabemos que λ1 < `. Assim, existe uma autofunção ϕ1 > 0 associada ao autovalor λ1 que
é ortogonal a w. Assim, fazendo a substituição ϕ = ϕ1 em (2.31), temos
Z Z
` wϕ1 dx = ∇w∇ϕ1 dx = 0.
Ω Ω
Mas isto contraria o fato de que ` > λ1 , pois λ1 é o menor autovalor de −∆. Logo, a hipó-
tese kun k → +∞ é falsa, isto é, (un ) é limitada em H01 (Ω). Isto conclui a demonstração.
Na demonstração a seguir, encontraremos uma solução para o problema (2.1) com

energia positiva. Para tal, além dos lemas anteriores, teremos como principal ferramenta
o Teorema 1.2.
Prova do Teorema 2.1: Pelo Lema 2.1 e Teorema 1.2, existe uma sequência de
Cerami (un ) ⊂ H01 (Ω) no nível c > 0. Pelo Lema 2.4 a sequência (un ) é limitada e, como
consequência da imersão compacta H01 (Ω) ,→ Lp (Ω), existe u1 ∈ H01 (Ω), tal que




 un * u1 em H01 (Ω),

un → u1 em Lp (Ω) 1 ≤ p < 2∗ , (2.32)


 un (x) → u1 (x) q.t.p em Ω.


Pelo Lema 2.2, temos 




 u+
n * u1
+
em H01 (Ω)


u+
n → u1
+
em Lp (Ω) 1 ≤ p < 2∗

 u+ (x) → u+ (x) q.t.p em Ω.


n 1
Por (2.18), temos

Z Z Z
0
n ) ϕdx − f (x, u+
n )ϕdx = o(1). (2.33)
Ω Ω Ω
Por (2.32), obtemos

Z Z Z
0
I (u1 )ϕ = ∇u1 ∇ϕdx − h(x)(u+ q
1 ) ϕdx − f (x, u+
1 )ϕdx = 0,
Ω Ω Ω
36
para toda ϕ ∈ H01 (Ω), ou seja, I 0 (u1 ) = 0. Note que

Z Z Z
∇un ∇(un − u1 )dx = h(x)(u+ q
n ) (un − u1 )dx − f (x, u+
n )(un − u1 )dx + o(1).
Ω Ω Ω
Além disso, temos

Z Z Z
∇u1 ∇(un − u1 )dx = h(x)(u+ q
1 ) (un − u1 )dx − f (x, u+
1 )(un − u1 )dx + o(1).
Ω Ω Ω
Como kun − u1 k2 = ∇(un − u1 )∇(un − u1 )dx, temos

R
Ω
Z Z
2
kun − u1 k = h(x)(un ) (un − u1 )dx − h(x)(u+
+ q q
1 ) (un − u1 )dx+
ZΩ Z Ω
+ f (x, u+
n )(un − u1 )dx − f (x, u+
1 )(un − u1 )dx + o(1).
Ω Ω
kun − u1 k2 → 0.
Desde que I ∈ C 1 obtemos
I(u1 ) = lim I(un ) = c > 0.

n→+∞
Portanto, u1 é uma solução fraca não-negativa do Problema (2.1) com I(u1 ) > 0.
Para demonstrar este teorema, faremos uso do bem conhecido Princípio Variacional de
Ekeland, o Teorema 1.3, para obter uma solução do problema (2.1) com energia negativa.
Vale relembrar que o Teorema 2.2 é equivalente ao Teorema 2.1 mas com a hipótese
adicional (h2 ), a qual será de fundamental importância para obtermos uma solução com
energia negativa através do Teorema 1.3.
Prova do Teorema 2.2: Para ρ > 0 dado pelo Lema 2.1, item (i), dena
B ρ = {u ∈ H01 (Ω) : kuk ≤ ρ}, ∂Bρ = {u ∈ H01 (Ω) : kuk = ρ}.
Como B ρ é um subespaço fechado do espaço completo H01 (Ω), então B ρ é um espaço

métrico completo com a distância
dist(u, v) = ku − vk para u, v ∈ B ρ .
37
Pelo item i) do Lema 2.1, sabemos que:
I(u) ≥ η > 0 para todo u ∈ ∂Bρ . (2.34)
Como I ∈ C 1 (H01 (Ω), R), em particular temos que I ∈ C 1 (B ρ , R) e, além disso, I é

semicontínuo inferiormente. Seja
c1 = inf{I(u) : u ∈ B ρ }. (2.35)
Armamos que
c1 < 0. (2.36)
De fato, Segue de (f2 ) que

F (x, s)
lim+ 2 = µ,
s→0 s2
pois, dado ε > 0, existe δ > 0 tal que
f (x, s)
µ−ε≤ ≤ µ + ε para todo s < δ.
s
Assim, integrando de 0 a s a desigualdade acima, temos
Z s Z s Z s
(µ − ε)tdt ≤ f (x, t)dt ≤ (µ + ε)tdt para todo s < δ.
0 0 0
Logo,
(µ − ε) F (x, s) (µ + ε)
≤ ≤ para todo s < δ.
2 s2 2
Portanto,
F (x, s) µ
lim+ 2
= uniformemente em x ∈ Ω.
s→0 s 2
Então, para s > 0 sucientemente pequeno temos
F (x, s) µ
≥ .
s2 4
Seja v ∈ C0∞ (Ω) satisfazendo (h2 ). Assim, para t > 0 sucientemente pequeno obtemos
t2 tq+1
Z Z Z
I(tv) = |∇v|2 dx − h(x)(v ) dx − F (x, tv + )dx
+ q+1
2 Ω q+1 Ω Ω
(2.37)
t2 tq+1 2 Z
Z Z
µt
≤ |∇v|2 dx − + q+1
h(x)|v | dx − |v + |2 dx.
2 Ω q+1 Ω 4 Ω
Por outro lado, segue de (h2 ) que
tq−1
Z
lim+ h(x)(v + )q+1 dx = +∞.
t→0 q + 1 Ω
38
Assim, para t > 0 sucientemente pequeno, temos

tq−1
Z Z Z
1 µ
2
|∇v| dx − + 2
|v | dx < h(x)|v + |q+1 dx. (2.38)
2 Ω 4 Ω q+1 Ω
Multiplicando ambos os membros da desigualdade acima por t2 , temos

t2 tq+1 µt2
Z Z Z
2 + q+1
|∇v| dx − h(x)|v | dx − |v + |2 dx < 0.
2 Ω q+1 Ω 4 Ω
Portanto,
I(tv) < 0.
Assim, basta escolher t0 > 0 satisfazendo (2.38) tal que kt0 vk ≤ ρ. Logo, existe e = t0 v ,
com e ∈ B ρ tal que
I(e) < 0,
donde obtemos a desigualdade (2.36).

Pelo Princípio Variacional de Ekeland, para todo n > 0, existe un ∈ H01 (Ω) tal que
1
c1 ≤ I(un ) ≤ c1 + (2.39)
n
1
I(w) ≥ I(un ) − kun − wk, para todo w ∈ B ρ . (2.40)
n
Armamos que kun k < ρ para n ≥ 1 sucientemente grande. De fato, suponha que
kun k = ρ para uma quantidade innita de índices n. Sem perda de generalidade, podemos
supor que kun k = ρ para todo n ≥ 1. Segue de (2.34) que
I(un ) ≥ η > 0.
Por (2.39) temos

I(un ) → c1 .
Assim, obtemos
0 > c1 ≥ η > 0,
o que é uma contradição.

Provaremos agora que I 0 (un ) → 0 em H0−1 (Ω). De fato, vamos denotar
wn = un + tu, para todo u ∈ H01 (Ω), kuk = 1.
39
Assim, se t > 0 é sucientemente pequeno, temos
kwn k ≤ kun k + t < ρ.
Logo, segue de (2.40) que

t
I(un + tu) ≥ I(un ) − kuk,
n
o que implica
I(un + tu) − I(un ) 1 1
≥ − kuk = − .
t n n
Aplicando o limite quando t → 0 em ambos os lados da desigualdade, temos
1
I 0 (un )u ≥ − ,
n
o que implica
1
|I 0 (un )u| < para todo u ∈ H01 (Ω), com kuk = 1.
n
Portanto,
I 0 (un ) → 0 em H0−1 (Ω). (2.41)
Além disso, segue de (2.39) que
I(un ) → c1 .
Como (un ) é limitada, pela imersão compacta H01 (Ω) ,→ Lp (Ω), existe u2 ∈ H01 (Ω) tal que



 un * u2 em H01 (Ω)


un → u2 em Lp (Ω) 1 ≤ p < 2∗ (2.42)


 un (x) → u2 (x) q.t.p em Ω.


Pelo Lema 2.2, temos 





u+
n * u2
+
em H01 (Ω)


u+
n → u2
+
em Lp (Ω) 1 ≤ p < 2∗

 u+ (x) → u+ (x) q.t.p em Ω.


n 2
Por (2.41), temos

Z Z Z
0
n ) ϕdx − f (x, u+
n )ϕdx = o(1). (2.43)
Ω Ω Ω
Além disso, por (2.42), temos

Z Z Z
0
I (u2 )ϕ = ∇u2 ∇ϕdx − h(x)(u+ q
2 ) ϕdx − f (x, u+
2 )ϕdx = 0.
Ω Ω Ω
40
Isto implica que I 0 (u2 ) = 0. Fazendo a substituição ϕ = un − u2 , temos

Z Z Z
∇u2 ∇(un − u2 )dx = h(x)(u+ q
2 ) (un − u2 )dx − f (x, u+
2 )(un − u2 )dx + o(1).
Ω Ω Ω
Como Z
2
kun − u2 k = ∇(un − u2 )∇(un − u2 )dx,
Ω
temos
Z Z
2
kun − u2 k = h(x)(u+ q
− u2 )dx − h(x)(u+
n ) (un
q
2 ) (un − u2 )dx+
ZΩ Z Ω
+ f (x, un )(un − u2 )dx − f (x, u+
+
2 )(un − u2 )dx + o(1).
Ω Ω
kun − u2 k2 → 0.
Isto implica que

lim I(un ) = I(u2 ) = c1 < 0.
n→+∞
Assim u2 ∈ H01 (Ω) é uma solução não-negativa do problema (2.1). Além disso, se h(x) ≥ 0,
o Princípio do Máximo Forte [8] implica que u2 > 0 q.t.p em Ω. Isto naliza a prova do
teorema.
41
Capítulo 3
Um problema Superlinear
Neste capítulo vamos estudar o problema





 −∆u = h(x)uq + f (x, u) em Ω

u≥0 em Ω (3.1)


sobre ∂Ω,

u=0



Como no capítulo anterior, vamos assumir que h(x) satisfaz:
(h1 ) h(x) ∈ L∞ (Ω) e h(x) 6≡ 0;
(h2 ) existe v ∈ H01 (Ω) tal que

R
Ω
h(x)(v + )q+1 dx > 0.
A função f (x, s) satisfaz novamente as seguintes hipóteses:
(f1 ) f (x, s) ∈ C(Ω̄ × R); f (x, 0) ≡ 0; f (x, s) ≥ (6=)0 para todo s ≥ 0, x ∈ Ω.
(f2 ) lims→0+ f (x,s)

s
= µ ∈ [0, λ1 );
onde λ1 > 0 é o primeiro autovalor de −∆ em H01 (Ω), isto é,

R
|∇u|2 dx

λ1 = inf ΩR 1
: u ∈ H0 (Ω), u 6= 0 . (3.2)
Ω
u2 dx
No innito vamos assumir que f (x, s) tem crescimento superlinear, mais precisamente,
(f3 ) lims→+∞ f (x,s)

s
= +∞; uniformemente em x ∈ Ω.
Além disso, supomos que f (x, s) tem crescimento subcrítico, isto é,
42
f (x, s)
(f4 ) lim = 0 uniformemente em x ∈ Ω,
s→+∞ sr
onde r é uma constante tal que r ∈ (1, (N + 2)/(N − 2)) se N ≥ 3 e r ∈ (1, +∞) se
N = 1, 2.
Denição 4 Dizemos que u ∈ H01 (Ω) é uma solução fraca para o Problema (3.1) se
Z Z Z
∇u∇ϕdx = q
h(x)u ϕdx + f (x, u)ϕdx para todo ϕ ∈ H01 (Ω). (3.3)
Ω Ω Ω
Note que o funcional energia associado ao problema (3.1) é dado por

Z Z Z
1 1
I(u) = 2
|∇u| dx − h(x)(u ) dx − F (x, u+ ),
+ q+1
(3.4)
2 Ω q+1 Ω Ω
onde F (x, s) = 0 f (x, t)dt.

Rs
Pela Proposição A.1 temos que I ∈ C 1 (H01 (Ω), R). Além disso, para todo ϕ ∈ H01 (Ω)
temos Z Z Z
0
I (u)ϕ = ∇u∇ϕdx − + q
h(x)(u ) ϕdx − f (x, u+ )ϕdx. (3.5)
Ω Ω Ω
Se u ∈ H01 (Ω) é um ponto crítico de I , escolhendo ϕ = u− em (3.5), obtemos
Z Z Z
− 2 + q −
− |∇u | = h(x)(u ) u dx + f (x, u+ )u− dx = 0.
Ω Ω Ω

+
Observação 3.1 Suponha que h satisfaz (h1 ) e que h(x) ≥ 0. Então, pela Proposição A.1
e pelo Princípio do Máximo Forte, o qual pode ser encontrado em [8], os pontos críticos
não-nulos de (3.4) são soluções fracas positivas do problema (3.1).
O teorema a seguir nos diz que podemos encontrar duas soluções não-negativas, uma
com energia negativa e outra com energia positiva.
Teorema 3.1 Suponha que h(x) e f (x, s) satisfazem (h1 ), (h2 ), (f1 ), (f2 ), (f3 ) e (f4 ).
Além disso, suponha que para todo σ ∈ (0, 1), com τ > 0 sucientemente pequeno tal que
σ > q + (1 + q)τ , tenhamos satisfeitas as seguintes condições:
f (x, s)
lim = 0 uniformemente em x ∈ Ω (3.6)
s1+τ
s→+∞
f (x, s)s − 2F (x, s)

lim = η uniformemente em x ∈ Ω, (3.7)
s→+∞ s1+σ
onde η ∈ (0, +∞]. Então existe m > 0 tal que se khk∞ < m, o problema (3.1) possui duas
soluções não-negativas u1 , u2 ∈ H01 (Ω) com I(u1 ) < 0 < I(u2 ). Além disso, se h(x) ≥ 0,
então temos que u1 , u2 são soluções positivas.
43
No teorema a seguir encontraremos uma solução não-negativa com energia positiva,
no caso em que h(x) ≤ 0.
Teorema 3.2 Suponha que h satisfaz (h1 ) e que f (x, s) satisfaz (f1 ), (f2 ), (f3 ) e (f4 ).
Considere a função denida por p(x, s) = f (x, s)/s, s > 0. Suponha que p(x, s) seja
não-decrescente e que h(x) ≤ 0. Então o problema (3.1) possui pelo menos uma solução
não-negativa u ∈ H01 (Ω), com I(u) > 0.
Observação 3.2 Relembremos que uma função f (x, s) satisfaz a condição de Ambrosetti-
Rabinowitz, se existe θ > 2 e M > 0 tais que
0 < θF (x, s) ≤ f (x, s)s ∀x ∈ Ω e |s| ≥ M.
Em um certo sentido, nossas hipóteses (f1 ), (f2 ), (f3 ), (3.6), (3.7) e a hipótese de que
p(x, s) = f (x, s)/s seja não decrescente em s>0, são mais fracas que a condição de
Ambrosetti-Rabinowitz. Devemos observar que se f (x, s) satisfaz a condição de Ambrosetti-
Rabinowitz então
f (x, s)
lim >0
s→+∞ s1+τ
Daí a necessidade da hipótese (3.6).
Exemplo: A função denida por


 sln(s + 1), se s ≥ 0
f (x, s) ≡ f (s) :=
 0, se s ≤ 0,
claramente satisfaz as condições (f1 ), (f2 ), (f3 ), (3.6), (3.7) e a condição de que p(x, s) =
f (x, s)/s seja não decrescente em s>0, mas não satisfaz a condição de Ambrosetti-
Rabinowitz. De fato, supondo que satisfeita a condição de Ambrosetti-Rabinowitz, tería-
mos
f (x, s)
lim 6= 0
s→+∞ s1+θ
o qual contradiz (3.6), pois τ em (3.6) pode ser tomado sucientemente pequeno tal que
τ < θ.
44
Para demonstrar este teorema, usaremos lemas análogos ao capítulo anterior. Temos
como objetivo principal encontrar duas soluções, uma com energia positiva e outra com
energia negativa. Para isso, serão utilizados principalmente os Teoremas 1.2 e 1.3. A
seguir, demonstraremos um resultado análogo ao Lema 2.1. Note, porém, que agora f
é superlinear, isto é, f satisfaz a hipótese (f3 ), a qual não é mais a mesma do capítulo
anterior. Assim a demonstração do lema seguinte não segue de maneira análoga ao Lema
2.1. Mais precisamente, temos o seguinte:
Lema 3.1 Suponha que h e f (x, s) funções satisfazendo as hipóteses (h1 ), (f1 ), (f2 ), (f3 )
e (f4 ). Além disso, suponha que p(x, s) = f (x, s)/s seja não-decrescente em s > 0. Então,
existe m > 0 tal que se khk∞ < m, temos:
i) Existem ρ > 0, η > 0 tais que
I(u) ≥ η > 0 para todo u ∈ H01 (Ω), com kuk = ρ.
ii) Existe e ∈ H01 (Ω) com kek > ρ tal que I(e) < 0.
Demonstração:
Prova do item i): A prova utilizada no item i) do Lema 2.1 é a mesma para este caso,
pois pela hipótese (f3 ) e por (f4 ) obtemos novamente a desigualdade (2.5). Assim, a prova
segue de maneira análoga.
Prova do item ii): Seja ϕ1 ∈ C(Ω), ϕ1 > 0, uma autofunção associada ao autovalor
λ1 . Por continuidade, para todo x0 ∈ Ω existe r > 0 tal que
Br (x0 ) ⊂ Br (x0 ) ⊂ Ω com |Ω| > 0.
Além disso, existe α > 0 tal que
minBr (x0 ) ϕ1 (x) ≥ α > 0.
Portanto,
lim tϕ(x) = +∞ uniformemente em Br (x0 ).
t→+∞
Note, que
0 ≤ 2F (x, s) ≤ f (x, t)t para todo x ∈ Ω, t ≥ 0 (3.8)
45
De fato, considere a função denida por
θ(x, t) = f (x, t)t − 2F (x, t).
Derivando θ em relação a t, obtemos
θ0 (x, t) = f 0 (x, t)t − f (x, t).
Por hipótese, temos que p(x, s) é não-decrescente em s > 0. Assim,

f 0 (x, t)t − f (x, t)
p0 (x, t) = ≥ 0.
t2
Isto implica que θ0 (x, t) ≥ 0 e portanto θ é não-decrescente. Assim, observando que

θ(x, 0) = 0, concluímos que
θ(x, t) ≥ 0 para todo x ∈ Ω, t ≥ 0
Logo, obtemos (3.8). Além disso, usando (3.8) temos

f (x, t)t2 − F (x, t)2t

d F (x, t)
= ≥ 0.
dt t2 t4
Isto nos diz que F (x, t)/t2 é não-decrescente em t > 0. Temos

F (x, tϕ1 )
lim = +∞ uniformemente em x ∈ Br (x0 ).
t→+∞ t2 ϕ21
Assim, dado K > 0, existe T = T (α, K) > 0 tal que

F (x, tϕ1 )
≥ K > 0 para todo t ≥ T, x ∈ Br (x0 ).
t2 ϕ21
Como Br (x0 ) ⊂ Ω, temos que

Z Z
+
F (x, u )dx ≤ F (x, u+ )dx.
Br (x0 ) Ω
Escolhemos T > 0 sucientemente grande tal que se t > T então

tq−1
Z
− h(x)ϕq+1
1 dx ≤ 1,
q+1 Ω
e também escolhemos K > 0 sucientemente grande tal que

1R 2
1+ Ω
|∇ϕ21 | dx
K> 2 .
α2 |Br (x0 )|
46
Assim,
tq−1
Z Z Z
I(tϕ1 ) 1 2 F (x, tϕ1 ) 2
≤ |∇ϕ1 | dx − 2 ϕ2
ϕ1 dx − h(x)ϕ1 (x)q+1 dx
t2 2 Ω Br (x0 ) t 1 q + 1 Ω
Z Z
1 2
≤ |∇ϕ21 | dx − K ϕ21 dx + 1
2 Ω Br (x0 )
Z
1 2
≤ |∇ϕ21 | dx − α2 K|Br (x0 )| + 1
2 Ω
< 0.
Logo, escolhendo e = t0 ϕ1 , para t0 sucientemente grande tal que e = kt0 ϕ1 k > ρ, o item
(ii) está provado.
Lema 3.2 Suponha que as funções f (x, s) e h satisfazem as condições (h1 ), (f1 ), (f2 ),
(f3 ), (3.6) e (3.7). Então toda sequência de Cerami (un ) para o funcional I é limitada.
Demonstração: Por (3.6), para todo ε > 0 existe T1 > 0 tal que
f (x, t) ≤ εt1+τ para todo t ≥ T1 e para q.t.p x ∈ Ω, (3.9)
e segue de (3.7) que existe T2 > 0 tal que

η
f (x, t)t − 2F (x, t) ≥ t1+σ > 0 para todo t ≥ T2 e para q.t.p x ∈ Ω (3.10)
2
Fazendo T = max{T1 , T2 } , para cada n ≥ 1 denotamos
An = {x ∈ Ω; |un (x)| ≥ T }
Bn = {x ∈ Ω; |un (x)| ≤ T }.
Sejam ρ, η e e dados no Lema 3.1. Aplicando o Teorema 1.2, com µ = 0, E = H01 (Ω), seja
(un ) ⊂ H01 (Ω) uma sequência de Cerami. Assim, temos
Z Z
1 1
2
I(un ) = kun k − h(x)(un ) dx − F (x, u+
+ q+1
n )dx = c + o(1). (3.11)
2 q+1 Ω Ω
Além disso, por (2.18) temos

Z Z Z
0
I (un )un = 2
|∇un | dx − h(x)(u+
n)
q+1
dx − f (x, u+
n )un dx = o(1). (3.12)
Ω Ω Ω
Pela hipótese (f1 ), em Ω × BT (0) existe uma constante K > 0 tal que
|f (x, un )un − 2F (x, un )| ≤ K.
47
Integrando em Bn , temos:
Z Z
− Kdx ≤ [f (x, un )un − 2F (x, un )]dx
Bn Bn
Z
≤ Kdx.
Bn
Como Ω é domínio limitado, denotando C0 = K|Bn |, temos

Z
−C0 ≤ [f (x, un )un − 2F (x, un )]dx ≤ C0 .
Bn
e, por (3.10),
f (x, un )un − 2F (x, un ) ≥ 0 em An . (3.13)
Para o T > 0 escolhido acima, segue de (3.11), (3.12), (3.13) e (3.10) que
Z Z
2 + q+1
−1 |un | dx + 2c + o(1) = [f (x, u+ + +
n )un − 2F (x, un )]dx
q+1 Ω
ZΩ
= [f (x, u+ + +
ZAn ∪Bn
= [f (x, u+ + +
An
Z
+ [f (x, u+ + +
Z Bn
≥ [f (x, u+ + +
n )un − 2F (x, un )]dx − C0
An
Z
η
≥ |u+
n|
1+σ
dx − C0 .
2 An
Isto implica que, pelas imersões de Sobolev
Z
2 2 4c
|u+
n|
σ+1
dx ≤ − 1 kun kq+1 + + C0 + o(1)
An η q+1 η
Denotando
4c
C1 = + C0 ,
η

2 2
C2 = , −1 ,
η q+1
temos Z
|u+
n|
σ+1
dx ≤ C1 + C2 kun kq+1 + o(1). (3.14)
An
Seja m = 1+q
q
. Como q ∈ (0, 1), temos que m > 2. Multiplicando (3.12) por (− q+1
q
)e
somando com (3.11), temos
Z
1−q 1−q
Z
1
kun k2 − h(x)|u+
n|
q+1
dx − + +
F (x, un ) − f (x, un )un dx
2(1 + q) q+1 Ω Ω m
48
= c + o(1). (3.15)
Pela hipótese (f1 ), sabemos que existe K > 0 tal que em Ω × BT (0)
1
|F (x, u+
n) − f (x, u+ +
n )un | ≤ K.
m
Assim, denotando C3 = K|Bn |, temos

Z
+ 1 + +

F (x, un ) − f (x, un )un dx ≤ C3 .

Bn m
Então, segue de (3.13)-(3.15) que

Z
1−q 2 + 1 + +
kun k + o(1) = c + C3 + F (x, un ) − f (x, un )un dx +
2(1 + q) An m
Z
+ 1 + +
+ F (x, un ) − f (x, un )un dx
Bn m
1−q
Z
+ h(x)|u+ n|
q+1
dx
1+q Ω
Z
+ 1 + +
≤ c + C3 + F (x, un ) − f (x, un )un dx
An m
1−q
Z
+ h(x)|u+ n|
q+1
dx
1+q Ω
Z
1 + + q + +
≤ c + C3 + f (x, un )un − f (x, un )un dx
An 2 1+q
1−q
Z
+ h(x)|u+ n|
q+1
dx.
1+q Ω
Pela imersão de Sobolev, existe uma constante positiva C > 0 tal que
q+1
ku+ + q+1
n kq+1 ≤ Ckun k .
Assim,
Z
1 + + q + +
c + C3 + f (x, un )un − f (x, un )un dx
2 1+q
Z An
1−q
+ h(x)|u+n|
q+1
dx
1+q Ω
Z
1 + + q + +
≤ c + C3 + f (x, un )un − f (x, un )un dx
An 2 1+q
C(1 − q)
+ |h(x)|∞ ku+ nk
q+1
dx.
1+q
49
2(1 + q)
Tomando ε = em (3.9), temos
1−q
Z
1 + + q + +
c + C3 + f (x, un )un − f (x, un )un dx
An 2 1+q
C(1 − q)
+ |h(x)|∞ ku+ nk
q+1
dx
1+q
Z
≤ c + C3 + |u+
n|
2+τ
dx + C|h(x)|∞ ku+ nk
q+1
.
An
Tomando p = σ+1
1+τ
eq = σ+1
σ−τ
, temos que p > 1, q > 1 e 1
p
+ 1
q
= 1. Assim, como
|u+
n|
1+τ
∈ Lp (Ω) e |u+
n | ∈ L (Ω), pela desigualdade de Hölder temos
q
Z Z 1+τ Z
1+σ σ−τ
1+σ σ+1
+ 2+τ + 1+σ + σ−τ
|un | ≤ |un | dx |un | .
An An An
Assim,
Z
c + C3 + |u+
n|
2+τ
dx + C|h(x)|∞ ku+
nk
q+1
An
Z 1+τ Z
1+σ σ−τ
1+σ σ+1
≤ c + C3 + |u+
n|
1+σ
dx |u+
n|
σ−τ
An An
+C|h(x)|∞ ku+
nk
q+1
.
Pela imersão compacta H01 (Ω) ,→ Lp (Ω), temos

Z 1+τ Z
1+σ σ−τ
1+σ σ+1
c + C3 + |u+
n|
1+σ
dx |u+
n|
σ−τ + C|h(x)|∞ ku+
nk
q+1
An An
Z 1+τ
1+σ
≤ c + C3 + |u+
n|
1+σ
dx kun k + C|h(x)|∞ ku+
nk
q+1
.
An
Pela desigualdade de Young, obtemos

Z 1+τ
1+σ
c + C3 + |u+
n|
1+σ
dx kun k + C|h(x)|∞ ku+
nk
q+1
An
2(1+τ )
(1 + q)C 2
Z
1−q 1+σ
≤ c + C3 + kun k2 + |u+
n|
1+σ
dx
4(1 + q) 1−q An
+ q+1
+C|h(x)|∞ kun k .
Assim,
2(1+τ )
(1 + q)C 2
Z
1−q 2 + 1+σ
1+σ
c + C3 + kun k + |un | dx
4(1 + q) 1−q An
+C|h(x)|∞ ku+nk
q+1
1−q (1 + q)C 2 2(1+τ )

≤ C|h(x)|∞ ku+
n kq+1
+ c + C 3 + ku n k 2
+ (C2 kun kq+1 + C1 ) 1+σ .
4(1 + q) 1−q
50
Portanto,
1−q 1−q
kun k2 + o(1) ≤ C|h(x)|∞ ku+ nk
q+1
+ c + C3 + kun k2
2(1 + q) 4(1 + q)
2
(1 + q)C 2(1+τ )
+ (C2 kun kq+1 + C1 ) 1+σ
1−q
1−q 2(q+1)(1+τ )
≤ C4 kun kq+1 + C5 + kun k2 + C6 kun k 1+σ + C7 .
4(1 + q)
Multiplicando a desigualdade acima por kun k−2 , temos
1−q C5 2(q+1)(1+τ ) C7
+ o(1) ≤ C4 kun kq−1 + 2
+ C6 kun k 1+σ −2 + . (3.16)
2(1 + q) kun k kun k2
Isto implica que {un } é limitada em H01 (Ω). De fato, suponha por contradição que kun k →
+∞. Sabendo que q + (1 + q)τ < σ < 1, temos 2(1+q)(1+τ )
1+σ
< 2. Assim, fazendo n → +∞
em (3.16), temos
1−q
= 0.
2(1 + q)
Isto é uma contradição, pois 0 < q < 1. Logo, (un ) é limitada.
Prova do Teorema 3.1: Pelo Lema 3.1 e pelo Teorema 1.2, existe uma sequência de
Cerami (un ) ⊂ H01 (Ω). Pelo Lema 3.2, temos que (un ) é limitada. Logo, pela prova do
Teorema 2.1, concluímos que o problema (3.1) tem uma solução não-negativa u1 ∈ H01 (Ω)
com I(u1 ) > 0. De maneira inteiramente análoga à prova do Teorema 2.2, encontramos
uma solução não-negativa u1 ∈ H01 (Ω) do problema (3.1) com I(u1 ) < 0. Além disso,
supondo que h(x) ≥ 0, pelo Princípio do Máximo Forte temos que u1 > 0 e u2 > 0.
A seguir, temos um lema técnico importante muito útil nos resultados seguintes.
Lema 3.3 Sejam h e f (x, s) funções satisfazendo as hipóteses (h1 ), (f1 ), (f2 ) e (f3 ).
Além disso, suponha que h(x) ≤ 0 e que p(x, s) = f (x, s)/s seja não-decrescente em s >
0.. Seja I o funcional denido por (3.4). Supondo que existe uma sequência (un ) ⊂ H01 (Ω)
satisfazendo
I 0 (un )un → 0,
então, para todo t > 0 temos

t2 + 1
2
tq+1
Z
t
I(tun ) ≤ + − h(x)(u+
n)
q+1
dx + I(un ).
2n 2 1+q Ω
51
Demonstração: Por hipótese, podemos supor que

1 1
− ≤ I 0 (un )un ≤ , ∀n ≥ 1. (3.17)
n n
Note que Z Z
0 2 q+1
I (un )un = kun k − h(x)(un ) dx + f (x, un )(un )dx.
Ω Ω
Por hipótese, segue que que f (x, s) é não decrescente em s > 0. Desde que un (x) ≤ u+n (x)
para todo x ∈ Ω, temos
Z Z
0 2
I (un )un ≤ kun k − h(x)(u+
n)
q+1
dx + f (x, u+
n )(un )dx.
Ω Ω
Somando n )un dx nos termos da desigualdade (3.17) temos

R
f (x, u+
Ω
+
Z Z Z
1 + + 2 + q+1
− + f (x, un )un dx ≤ kun k − h(x)(un ) dx + f (x, u+ +
n )(un − un )dx
n Ω Z Ω Ω
(3.18)
1 + +
≤ + f (x, un )un dx.
n Ω
Como f (x, 0) ≡ 0, temos

Z Z
1
− + f (x, u+ +
n )un dx ≤ kun k − h(x)(u+
2
n)
q+1
dx
n Ω
Z Ω
(3.19)
1
≤ + f (x, u+ +
n )un dx.
n Ω
Assim, para todo t > 0, pela desigualdade (3.18) temos

t2 tq+1
Z Z
2
I(tun ) = kun k − h(x)(un ) dx − F (x, tu+
+ q+1
n )dx
2 q+1 Ω Ω
t2
2
tq+1
Z
t
≤ + − h(x)(u+ n)
q+1
dx
2n 2 q+1 Ω
Z 2
t
+ + + +
f (x, un )un − F (x, tun ) dx. (3.20)
Ω 2
Para s ≥ 0 e t ≥ 0, considere a função denida por:

1
g(t) = t2 f (x, s)s − F (x, ts).
2
Supondo que s 6= 0 e t 6= 0 temos, por (f3 )

f (x, s) f (x, ts)
≤ , se t ≥ 1
s ts
f (x, s) f (x, ts)
≥ , se t ≤ 1
s ts
52
Se t e s forem nulos, ou pelo menos um deles o for, temos
f (x, s)ts = f (x, ts).
Assim, 
 ≥ 0 se t ≤ 1
g 0 (t) = f (x, s)ts − f (x, ts)s =
 ≤ 0 se t ≥ 1
Isto mostra que g(t) ≤ g(1), para todo t > 0. Portanto, segue de (3.20) que
t2
2
tq+1
Z
t
I(tun ) ≤ + − h(x)(u+ n)
q+1
dx (3.21)
2n 2 q+1 Ω
Z
1 + + +
+ f (x, un )un − F (x, un ) dx.
Ω 2
Como h(x) ≤ 0 e 0 < q < 1, temos

Z
1 1
− h(x)(u+
n)
q+1
dx ≥ 0.
2 q+1 Ω
Logo, pela desigualdade (3.18), temos

Z Z Z
1 2 1
I(un ) = |∇un | dx − h(x)(un ) dx − F (x, u+
+ q+1
n)
2 Ω q + 1 Ω Ω
Z
1 1 1
≥ − + − h(x)(u+n)
q+1
dx
2n 2 q+1 Ω
Z
1 + + +
+ f (x, un )un − F (x, un ) dx
Ω 2
Z
1 1 + + +
≥ − + f (x, un )un − F (x, un ) dx
2n Ω 2
Portanto, Z
1 1
+ + +
f (x, un )un − F (x, un ) dx ≤ + I(un ). (3.22)
Ω 2 2n
Assim, por (3.21) e pela desigualdade (3.22), temos
t2
2
tq+1
Z
t
I(tun ) ≤ + − h(x)(u+ n)
q+1
dx
2n 2 q+1 Ω
Z
1 + + +
+ f (x, un )un − F (x, un ) dx.
Ω 2
t2
2
tq+1
Z
t 1
≤ + − h(x)(u+ n)
q+1
dx + + I(un ).
2n 2 q+1 Ω 2n
Logo, obtemos a desigualdade desejada.
53
A prova deste teorema segue de maneira análoga à parte da prova do Teorema 3.1
onde se obtém uma solução para o problema (3.1), com energia positiva. Note, porém,
que temos hipóteses diferentes. Assim, para podermos usar o Teorema (1.2) precisamos
do seguinte lema:
Lema 3.4 Suponha que as funções f (x, s) e h(x) satisfazem as condições (h1 ), (f1 ), (f2 ),
(f3 ) e que p(x, s) = f (x, s)/s seja não-decrescente em s > 0. Então toda sequência de
Cerami (un ) para o funcional I é limitada.
Demonstração: Suponha por contradição que kun k → ∞. Seja c > 0 o nível dado pelo
Teorema 1.2. Denotamos
√ √
2 c 2 cun
tn = , wn = tn un = . (3.23)
kun k kun k
Claramente, (wn ) é limitada em H01 (Ω). Assim, pela imersão compacta H01 (Ω) ,→ Lp (Ω),
existe w ∈ H01 (Ω) tal que



 wn * w em H01 (Ω),


wn → w em Lp (Ω) 1 ≤ p < 2∗ ,


 wn (x) → w(x) q.t.p em Ω.


Analogamente, pelo Lema 2.2 wn+ = u+

n
|un k
satisfaz




 wn+ * w+ em H01 (Ω),

wn+ → w+ em Lp (Ω) 1 ≤ p < 2∗ , (3.24)


 w+ (x) → w+ (x) q.t.p em Ω.


n
Armamos que
w+ 6= 0.
De fato, se w+ ≡ 0, então por (3.24) temos
wn → 0 em L2 (Ω),
wn → 0 em Lq+1 (Ω).
Portanto, Z
lim h(x)(wn+ )q+1 dx = 0,
n→∞ Ω
54
Z
lim F (x, wn+ (x))dx = 0.
n→∞ Ω
Logo, Z Z
1 1
I(wn ) = kwn k2 − h(x)(wn+ )q+1 dx − F (x, wn+ )dx
2 q+1 Ω Ω (3.25)
= 2c + o(1).
Como estamos supondo kun k → ∞, por (3.23), temos
tn → 0.
Portanto, substituindo t por tn no Lema 3.1 temos:
I(wn ) = I(tun )
t2n + 1
2
tq+1
Z
tn n
≤ + − h(x)(u+n)
q+1
dx + I(un )
2n 2 1+q Ω
t2n
1−q Z
tn 1
= + − h(x)(wn+ )q+1 dx + I(un ).
2n 2 1+q Ω
Assim, I(wn ) ≤ c + o(1), o que contradiz (3.25). Portanto, w+ 6= 0. Denotamos os

seguintes conjuntos:
Ω1 = {x ∈ Ω; w+ (x) = 0}
Ω2 = {x ∈ Ω; w+ (x) > 0}.
Assim, Ω = Ω1 ∪ Ω2 . Por (3.23) e (3.24), temos
n (x) → +∞ q.t.p em Ω2 .
u+
Usando (2.17), procedendo analogamente à demonstração do Lema 2.4 obtemos (2.26).

Substituindo ϕ = w+ em (2.26), temos
Z Z
+ 1
∇wn ∇w dx − 1−q
h(x)(wn+ )q w+ dx
Ω ku n k Ω
Z
− pn (x, un )wn+ w+ dx = o(1), (3.26)
Ω
onde 
 f (x, un (x))

para x ∈ Ω com un (x) ≥ 0
pn (x, un ) = un (x)
 0 para x ∈ Ω com un (x) ≤ 0.

55
Assim, pelo Lema de Fatou temos

f (x, u+
Z Z
+ 2 n) + +
|∇w | dx = lim wn w dx
Ω n→+∞ Ω u+
n
f (x, u+
Z
n) + +
≥ lim wn w dx
n→+∞ Ω
2
u+
n
f (x, u+
Z
n) + +
≥ lim inf +
wn w dx
Ω2 n→+∞ un
Como
f (x, u+

n)
lim = +∞ q.t.p em Ω2 ,
n→+∞ u+n
temos que |Ω2 | = 0, o que implica

Ω = Ω1 ,
w+ ≡ 0 q.t.p em Ω.
Mas isto é uma contradição, pois provamos que w+ 6= 0. Logo, (un ) é limitada em H01 (Ω).
Prova do Teorema 3.2: Pelo Lema 3.1 e pelo Teorema 1.2, existe uma sequência de
Cerami (un ) ⊂ H01 (Ω) no nível do passo da montanha c > 0. Pelo Lema 3.4, temos que
(un ) é limitada. Logo, novamente pela prova do Teorema 2.1, concluímos que o problema
(3.1) tem uma solução não-negativa u1 ∈ H01 (Ω) com I(u1 ) > 0.
56
Capítulo 4
O caso f (x, u) ≡ λu
Nesta capítulo vamos estudar o caso particular em que f (x, u) = λu. Mais precisa-
mente, vamos considerar o problema:





−∆u = h(x)uq + λu em Ω

u≥0 em Ω (4.1)


sobre ∂Ω,

u=0



Suponha que h satisfaz a hipótese:
(h1 ) h(x) ∈ L∞ (Ω) e h(x) 6≡ 0.
Denição 5 Dizemos que u ∈ H01 (Ω) é uma solução fraca para o Problema (4.1) se
Z Z Z
∇u∇ϕdx = λ uϕdx + h(x)(u)q ϕdx para todo ϕ ∈ H01 (Ω).
Ω Ω Ω
Note que o funcional energia associado ao problema (4.1) é dado por

Z Z Z
1 λ 1
J(u) = |∇u| dx −2 + 2
(u ) dx − h(x)(u+ )q+1 dx, (4.2)
2 Ω 2 Ω q+1 Ω
onde u ∈ H01 (Ω). Pela Proposição A.1 temos que J ∈ C 1 (H01 (Ω), R). Além disso,
Z Z Z
0
J (u)ϕ = ∇u∇ϕdx − λ uϕdx − h(x)(u)q ϕdx para todo ϕ ∈ H01 (Ω). (4.3)
Ω Ω Ω
Se u ∈ H01 (Ω) é um ponto crítico de J , escolhendo ϕ = u− em (4.3), obtemos

Z Z Z
− 2 −
− |∇u | = λ u ϕdx + h(x)(u− )q ϕdx = 0.
Ω Ω Ω

+
Assim temos a seguinte observação:
57
Observação 4.1 Suponha que h(x) ≥ 0. Então, pela Proposição A.1 e pelo Princípio do
Máximo, os pontos críticos não-nulos de (4.2) são soluções positivas do problema (4.1).
Quando h ≥ 0 e h 6≡ 0 temos o seguinte resultado:
Teorema 4.1 Seja h uma função satisfazendo (h1 ). Se λ ≥ λ1 , então o problema (4.1)
não possui solução positiva. Entretanto, se λ < λ1 o problema (4.1) tem pelo menos uma
solução positiva.
Quando h ≤ 0 temos o seguinte resultado:
Teorema 4.2 Seja h uma função satisfazendo (h1 ). São verdadeiras as seguintes ar-
mações:
(i) Suponha que h 6≡ 0. Se h(x) ∈ Lα (Ω) para algum α ∈ 2∗ −1−q

h i
, +∞ , e além disso
2 ∗
existe δ > 0 tal que h(x) ≤ −δ , então para todo λ > λ1 o problema (4.1) possui uma
solução não-negativa u ∈ H01 (Ω) com I(u) > 0.
(ii) Suponha que h 6≡ 0. Se λ ≤ λ1 , o problema (4.1) não possui solução positiva .
(iii) Se h(x) ≡ 0, então o problema (4.1) possui solução positiva, se e somente, se λ = λ1 .
Demonstração: Suponha que o problema (4.1) tem uma solução positiva u ∈ H01 (Ω).
Seja ϕ1 ∈ C(Ω), ϕ1 > 0, uma autofunção associada ao autovalor λ1 . Assim, temos
Z Z Z Z
q
λ1 uϕ1 dx = ∇u∇ϕ1 dx = h(x)u ϕ1 dx + λ uϕ1 dx.
Ω Ω Ω Ω
Isto implica que Z Z

(λ1 − λ) uϕ1 dx = h(x)uq ϕ1 dx > 0,
Ω Ω
pois u > 0, h(x) ≥ (6=)0 e ϕ1 > 0. Portanto, λ < λ1 . Logo, se λ ≥ λ1 o problema (4.1)
não possui solução positiva. Por outro lado, se λ < λ1 armamos que existe ρ > 0, η > 0
tais que
J(u) ≥ η > 0 para todo u ∈ H01 (Ω) com kuk = ρ. (4.4)
58
De fato, pela caracterização do primeiro autovalor λ1 , temos

Z
λ λ
kuk2 > (u+ )dx.
2λ1 2 Ω
Assim,
khk∞
Z
1 λ
J(u) ≥ kuk2 − kuk2 − |u+ |q+1
2 2λ1 q+1 Ω
1 λ khk∞ C
≥ kuk2 − kuk2 − kukq+1 .
2 2λ1 q+1
Com isso, tomando ρ sucientemente grande obtemos (4.4). Portanto, por (4.4) e pela
prova do Teorema 2.2, sabemos que (4.1) tem uma solução positiva.
Demonstração: Para provar o item (i), aplicamos o Teorema 1.2. Inicialmente, temos
que existem ρ > 0, η > 0 tais que
J(u) ≥ η > 0, para todo u ∈ H01 (Ω), kuk = ρ.
De fato, como q + 1 < 2 < 2∗ , existem t, s com t + s = 1 tais que
2 ≤ t(q + 1) + s2∗ .
Fazendo α = 1
t
e β = 1s , pela desigualdade de Hölder, temos
Z Z Z α1 Z β1
q+1 2∗ q+1 2∗
2 α β
u dx ≤ u α u dx ≤
β (u α ) dx (u ) dx
β .
Ω Ω Ω Ω
Pela desigualdade de Young, temos

α1 Z β1 ∗
|u|22∗
Z
2∗
para todo ε > 0.
q+1
(u α
α
) dx (u ) dx
β β
≤ ε|u|q+1
q+1 + ,
Ω Ω (αε)β/α β
Portanto, tomando ε = 2δ
λ(q+1)
e pela imersão de Sobolev, temos:
∗
λ|u+ |22∗
Z
1 2 2ε + q+1 δ
J(u) ≥ kuk − |u |q+1 − + (u+ )q+1 dx
2 2 2(αε)β/α β q + 1 Ω
−β/α
1 2αδ ∗
2
≥ kuk − λβ β −1 |u+ |22∗
2 q+1
−β/α
1 2αδ
λβ β −1 Sku+ k2 , para algum S > 0.
2 ∗
≥ kuk −
2 q+1
59
Assim, obtemos o resultado.

Armamos que existe e ∈/ B̄ρ tal que J(e) < 0. De fato, como α ∈ [ 2∗ −1−q , +∞] e
2 ∗
q ∈ (0, 1) temos Lα (Ω) ⊂ L1 (Ω). Assim, temos

tq−1
Z Z
t→+∞
h(x)ϕq+1
q+1

1 dx → 0,
h(x)ϕ1 (x) dx < +∞ e

Ω
q+1 Ω
onde ϕ1 > 0 é uma autofunção associada ao autovalor λ1 . Então, para t > 0 temos
tq−1
Z Z
J(tϕ1 ) 1 λ
lim 2
= kϕ1 k − 2
ϕ dx + lim h(x)ϕq+1
1 dx
t→+∞ t2 2 2 Ω 1 t→+∞ q + 1 Ω
Z
1 2 λ
= kϕ1 k − ϕ21 dx
2 2 Ω
1
= (1 − λ/λ1 )kϕ1 k2 < 0 pois λ > λ1 ,
2
donde concluímos nossa armação.
Pelas duas armações anteriores, segue do Teorema 1.2 que existe uma sequência
(un ) ∈ H01 (Ω) tal que
Z Z
1 λ 1
kun k2 − (u+ 2
n ) dx − h(x)(u+
n)
q+1
dx = c + o(1), (4.5)
2 2 Ω q+1 Ω
e daí, temos
Z Z
kun k − λ 2
(u+ 2
n ) dx − h(x)(u+
n)
q+1
dx = o(1), (4.6)
Ω Ω
o que implica
Z Z Z
u+ n ) ϕdx = o(1) para todo ϕ ∈ H0 (Ω). (4.7)
h(x)(u+ q 1
∇un ∇ϕdx − λ n ϕdx +
Ω Ω Ω
Do mesmo modo como anteriormente, sabemos que para concluir a prova precisamos
somente mostrar que (un ) é limitada em H01 (Ω). Por contradição, suponha que kun k →
+∞ e seja wn = un
kun k
. Então, a menos de uma subsequêcia, existe w ∈ H01 (Ω) tal que



 wn * w em H01 (Ω)


wn → w em Lp (Ω) 1 ≤ p < 2∗
n→+∞


→ w(x) q.t.p em Ω
 wn (x) n→+∞


Analogamente, pelo Lema 2.2, wn+ = u+

n
|un k
satisfaz




 wn+ * w+ em H01 (Ω)

wn+ → w+ em Lp (Ω) 1 ≤ p < 2∗
n→+∞


→ w+ (x) q.t.p em Ω
 w+ (x) n→+∞


n
60
Agora, armamos que w 6= 0. Caso contrário, segue de (4.6) que

Z Z
2 1
kwn k − λ (wn+ )2 dx + h(x)(wn+ )q+1 dx = o(1).
Ω kun k1−q Ω
Isto implica que kwn k → 0, o que contradiz o fato de que kwn k = 1. Portanto, w 6= 0.
Agora, armamos que w > 0. De fato, como kun k → ∞, h(x) ∈ Lα , α ∈ [ 2∗ −1−q
2 ∗
, +∞]
e wn+ é limitado em H01 (Ω), temos
Z
1
h(x)(wn+ )q+1 dx → 0.
kun k1−q Ω
Então, por (4.7) temos Z Z

∇w∇ϕdx − λ w+ ϕdx = 0
Ω Ω
Substituindo ϕ = w na desigualdade acima, temos

−
Z
|∇w− |2 dx = 0.
Ω
Isto implica que w− ≡ 0 e w ≡ w+ ≥ 0. Então, pelo Princípio do Máximo Forte, temos

que w > 0 em H01 (Ω). Portanto,
Z Z
∇w∇ϕdx = λ wϕdx para todo ϕ ∈ H01 (Ω),
Ω Ω
o que é um absurdo, pois λ > λ1 . Logo, (un ) é limitada em H01 (Ω), donde concluímos a
prova de (i)
A seguir provaremos o item (ii). Se o problema (4.1) tem uma solução positiva u ∈
H01 (Ω), então
Z Z Z Z
q
λ1 uϕ1 dx = ∇u∇ϕ1 dx = h(x)u ϕ1 dx + λ uϕ1 dx.
Ω Ω Ω Ω
Isto implica que Z Z

(λ1 − λ) uϕ1 dx = h(x)uq ϕ1 dx < 0,
Ω Ω
pois u > 0, ϕ1 > 0 e h(x) ≤ (6≡)0. Portanto, λ > λ1 , e isto conclui a prova do item (ii).
A prova do item (iii) segue das propriedades da autofunção associada ao autovalor λ1 .
61
Apêndice A
Resultados utilizados
A.1 Diferenciabilidade de funcionais
Denição 6 Seja X um espaço de Banach e u um ponto do conjunto aberto U ⊂ X .

Uma aplicação I : U → R é diferenciável à Fréchet em u ∈ U se existe A ∈ X 0 tal que,
para v ∈ X , temos
1
lim [I(u + v) − I(u) − A(v)] = 0.
v→0 kvk
O operador A é chamado de derivada de Fréchet de I em u e é denotado por I 0 (u).
Denição 7 Seja X um espaço de Banach e u um ponto do conjunto aberto U ⊂ X .

Uma aplicação I : U → R é diferenciável à Gateaux em u ∈ U se existe A ∈ X 0 tal que,
para v ∈ X , temos
1
lim [I(u + tv) − I(u) − A(tv)] = 0.
t→0 t
Diferenciabilidade à Gateaux não implica diferenciabilidade à Fréchet, como veremos

no exemplo a seguir.
Exemplo: A função f : R2 → R denida por:
 2
 x2 y

 , y 6= 0;
f (x, y) := x4 + x2

 0,

y = 0.
é diferenciável à Gateaux em (0, 0), mas não é diferenciável à Fréchet em (0, 0).
Observações:
62
A.2 Regularidade dos funcionais
1. Dizemos que I ∈ C 1 (U, R) se I é diferenciável à Fréchet e a aplicação u → I 0 (u) é

contínua em de U em X 0 .
2. É imediato vericar que se I é diferenciável à Fréchet então é diferenciável à Gateaux.
3. Suponha que I : U → R tenha derivada à Gateaux contínua. Então I é diferenciável

à Fréchet e I ∈ C 1 (U, R).
No lema a seguir considere Ω ⊂ RN um subconjunto limitado e suave e f : Ω × R → R

uma função contínua. Suponha que existem a1 , a2 > 0 e 0 < r ≤ 2∗ − 1 = (N + 2)/(N − 2)
tais que
|f (x, s)| ≤ a1 + a1 |s|r ,
e seja Z s
F (x, s) = f (x, t)dt.
0
Lema A.1 O funcional ψ : H01 (Ω) → R denido por

Z
ψ(u) = F (x, u)dx, (A.1)
Ω
é de classe C 1 . Além disso,
Z
0
ψ (u)ϕ = f (x, u+ )ϕdx, ∀ϕ ∈ C0∞ (Ω).
Ω
Demonstração: Para mostrar que ψ é diferenciável, denimos

Z
g(ϕ) = ψ(u + ϕ) − ψ(u) − f (x, u)ϕdx
Z Ω Z
= [F (x, u + ϕ) − F (x, u)]dx − f (x, u)ϕdx.
Ω Ω
Pelo teorema fundamental do cálculo, obtemos:
Z Z 1 Z Z 1
d
g(ϕ) = (F (x, u + tϕ)) dt dx − f (x, u)ϕdt dx
Ω 0 dt Ω 0
Z Z 1
= (f (x, u + tϕ)ϕ − f (x, u)ϕ)dt dx
Ω 0
Z Z 1
= (f (x, u + tϕ) − f (x, u))ϕdt dx
Ω 0
Z 1Z
= (f (x, u + tϕ) − f (x, u))ϕdxdt.
0 Ω
63
Isto implica que

1
Z Z

|g(ϕ)| ≤ [(f (x, u + tϕ) − f (x, u))] ϕdx dt.

0 Ω
Pela desigualdade de Hölder, temos

Z 1/r Z 1/s
Z 1
|g(ϕ)| ≤ |f (x, u + tϕ) − f (x, u)|r |h|s dt

0 Ω Ω
Z 1
≤ kf (x, u + tϕ) − f (x, u)kr dt,
0
onde r = 2N
N +2
e s = 2∗ = 2N
N −2
se N ≥ 3. Como H01 (Ω) está imerso em Ls (Ω), temos
t→0
ku − tϕks → 0.
Como a aplicação s → f (., s) leva o espaço Lp (Ω) no espaço Lp/σ (Ω) para todo σ ≤ p de
forma contínua, temos
kf (x, u + tϕ) − f (x, u)ksσ → 0,

t→0
para 1 ≤ σ ≤ s.
Como r < σs , temos

t→0
kf (x, u + tϕ) − f (x, u)kr → 0.
Pelo teorema da convergência dominada de Lebesgue, temos

1
|g(ϕ)|
Z
≤ kf (x, u + tϕ) − f (x, u)kr dt → 0.
kϕk 0
Assim, R
|g(ϕ)| ψ(u + ϕ) − ψ(u) − Ω
f (x, u)ϕdx
lim = lim = 0.
t→0 kϕk t→0 kϕk
Logo, ψ é diferenciável à Frechét.
Mostraremos agora que ψ 0 é contínua. De fato,
kψ 0 (u + v) − ψ 0 (u)kH −1 (Ω) = sup |[ψ 0 ((u + v) − ψ 0 (u))]ϕ|

khk≤1
Z

= sup [f (., u + v) − f (., u)]ϕ
khk≤1 Ω
≤ sup kf (., u + v) − f (., u)kr khks .

khk≤1
Analogamente, obtemos
kf (., u + v) − f (., u)kr → 0 se v → 0 em H01 (Ω).
64
Assim,
kf (., u + v) − f (., u)kH −1 (Ω) → 0 se v → 0 em H01 (Ω).
Portanto ψ 0 é contínua e segue que I ∈ C 1 (H01 (Ω), R).
Lema A.2 Seja ρ : H01 (Ω) → R denido por ρ(u) = 21 kuk2 . Então ρ ∈ C 1 (H01 (Ω), R).
Demonstração: Temos
1 ku + tϕk2 − kuk2
ρ0 (u)ϕ = lim
2 t→0 t
1 kuk + 2thu, ϕi + t2 kϕk2 − kuk2
2
= lim
2 t→0 t
1 2
= lim(2hu, ϕi + tkϕk )
2 t→0
= hu, ϕi.
Assim, ρ é derivável à Gateaux e ρ0 (u)ϕ = hu, ϕi. Agora vamos mostrar que ρ0 é contínua.
Seja uma sequência (un ) ⊂ H01 (Ω) tal que un → u. Dados arbitrariamente ε > 0 e
ϕ ∈ H01 (Ω), com kϕk = 1, existe n0 ∈ N tal que se n > n0 então
k(ρ0 (un ) − ρ0 (u))ϕ = kρ0 (un − u)ϕk
= khun − u, ϕik
≤ kun − ukkϕk
< ε.
Assim, temos
kρ0 (un ) − ρ0 (u)kH0−1 (Ω) ≤ ε.
Logo, ρ0 é contínua. Assim, ρ ∈ C 1 (H01 (Ω), R).
Proposição A.1 Suponha que sejam válidas as hipóteses (h1 ), (f1 ) e (f2 ) do Capítulo 1.
Então funcional I : H01 (Ω) → R denido por
Z Z Z
1 1
I(u) = 2
|∇u| dx − h(x)(u ) + q+1
dx − F (x, u+ )dx (A.2)
2 Ω q+1 Ω Ω
é de classe C 1 . Além disso, temos

Z Z Z
0 + q
I (u)ϕ = ∇u∇ϕdx − h(x)(u ) ϕdx − f (x, u+ )ϕdx.
Ω Ω Ω
65
Demonstração: Pelo Lema A.2, sabemos que o funcional ρ : H01 (Ω) → R denido por
ρ(u) = 21 kuk2 é de classe C 1 .
Vamos mostrar agora que as funções f (x, u) e h satisfazem as hipóteses do Lema A.1.
Por (2.7), temos
f (x, s) ≤ (µ + ε)s + Cε sk , para todo s ≥ 0, x ∈ Ω.
Assim,
|f (x, s)| ≤ C1 |s| + C2 |s|k
Daí, 
 C3 |s|k , para |s| ≥ 1,
C1 |s| + C2 |s|k ≤
 C + C |s|k ,
4 5 para |s| ≤ 1.
Então
|f (x, s)| ≤ C e2 |s|k ,
e1 + C para todo s ≥ 0, x ∈ Ω; (A.3)
onde k ∈ (0, 2∗ − 1). Logo, pelo Lema A.1, ψ(u) = F (x, s)ds é de classe C 1 .
R
Ω
Além disso, temos 

 |s|k , para |s| ≥ 1
|s|q ≤
C
e3 para |s| ≤ 1.
Assim, temos
|s|q ≤ C
e3 + |s|k .
Com isso, temos
|h(x)(s+ )q | ≤ khk∞ |s|q ≤ C e5 |s|k ,

e4 + C para todo s ≥ 0, x ∈ Ω. (A.4)
Seja a função denida por Z

ω(u) = P (x, u)dx,
Ω
onde P (x, s) = p(x, t)dt e p(x, s) = h(x)(s+ )q , com 0 < q < 1. Por (A.4) e pelo Lema
Rs
0
A.1, temos que ω é de classe C 1 .

Portanto, I é de classe C 1 e pelos Lemas A.1 e A.2, temos
Z Z Z
0 + q
I (u)ϕ = ∇u∇ϕdx − h(x)(u ) ϕdx − f (x, u+ )ϕdx.
Ω Ω Ω
66
A.3 Autovalores do Laplaciano
Nesta seção consideraremos o problema de autovalor para o laplaciano com condição de

fronteira de Dirichlet.

 −∆u = λu em Ω
 u = 0 sobre ∂Ω,
onde Ω ⊂ Rn é um subconjunto aberto e limitado.
Denição 8 Dizemos que u ∈ H01 (Ω) é uma solução fraca para o problema de autovalor
do laplaciano com condição de fronteira de Dirichlet se
Z Z
∇u∇v = λ uv, para todo v ∈ H01 (Ω).
Ω Ω
Proposição A.2 Seja Ω ⊂ Rn um aberto limitado com fronteira de classe C ∞ . Seja

λ ∈ R. Se u ∈ H01 (Ω) é uma solução fraca de

 −∆u = λu em Ω
 u = 0 sobre ∂Ω,
então u ∈ C ∞ (Ω).
Demonstração: Veja, por exemplo, [9].
Proposição A.3 Dena, para v ∈ H01 (Ω), v 6= 0, o coeciente de Rayleigh

R
ΩR
|∇v|2
R(v) = .
Ω
v2
Então
λ1 = min
1
R(v) = R(w1 ).
v∈H0 (Ω)
v6=0
λm = max R(v) = R(wm ).

v∈hw1 ,...,wm i
v6=0
λm = min R(v).
v⊥{w1 ,...,wm−1 }
v6=0
λm = min max R(v).

1 (Ω)
W <H0 v∈W
dimW =m
para m ≥ 2, onde wi é uma autofunção associada ao autovalor λi .
Demonstração: Veja Teorema 3.6.2 em [9], pg. 149.
67
Lema A.3 Seja w 6= 0 em H01 (Ω) satisfazendo
R(w) = λ1 .
Então, w é uma autofunção associada a λ1 .
Demonstração: Ver Lema 3.6.1 em [9], pg. 150.
Denição 9 A parte positiva e negativa de uma função u são denidas por
u+ = max{u, 0}, u− = − min{u, 0}.
Claramente temos que u = u+ − u− e |u| = u+ + u− .
Proposição A.4 O primeiro autovalor λ1 de −∆ em Ω com condição de fronteira de

Dirichlet é simples e a autofunção associada não muda de sinal em Ω.
Demonstração: Primeiro mostraremos que a autofunção associada a λ1 não muda de

sinal em Ω. Seja w uma autofunção associada a λ1 . Como w = w+ − w− com w+ , w− ∈
H01 (Ω), então Z Z
+
∇w∇w = λ1 ww+ .
Ω Ω
Daí, Z Z
+ 2
|∇w | = λ1 (w+ )2 , (A.5)
Ω Ω
e similarmente Z Z
− 2
|∇w | = λ1 (w− )2 . (A.6)
Ω Ω
Suponhamos que w muda de sinal em Ω, logo, w+ , w− 6= 0. Dividindo (A.5) por

R
Ω
(w+ )2
e (A.6) por (w− )2 temos que
R
Ω
R(w+ ) = R(w− ) = λ1 .
Pelo Lema A.3 w+ e w− são autofunções associadas a λ1 , isto é, −∆w+ = λ1 w+ e

−∆w− = λ1 w− . Temos que w+ (x) > 0 e w− (x) > 0 em Ω, o que é impossível, pois, se
w+ é sempre positiva temos que w− = 0 e vice-versa. Desta forma, w tem sinal denido
em Ω.
Agora mostraremos que λ1 é simples. Suponha que λ1 não seja simples, ou seja, dim W1 >
68
A.4 Resultados de Análise Funcional e Teoria da Medida
1, onde W1 é o subespaço associado a λ1 . Assim, deve existir uma outra autofunção

e ∈ H01 (Ω) tal que
w Z
ww
e = 0,
Ω
o que é absurdo, pois, w e we possuem sinais denidos.
A.4 Resultados de Análise Funcional e Teoria da Me-
dida
Teorema A.1 (Lema de Fatou) Seja (fn ) uma sequência de funções mensuráveis tais
que fn ≥ 0. Então Z Z
lim inf fn dµ ≥ lim inf fn dµ
n→+∞ n→+∞
Teorema A.2 (Desigualdade de Hölder) Sejam Ω um domínio em Rn , 1 ≤ p ≤ ∞

e 1 ≤ q ≤ ∞ com p1 + 1q = 1. Se f ∈ Lp (Ω) e g ∈ Lq (Ω), então f g ∈ L1 (Ω) e
Z
|f g|dx ≤ kf kLp (Ω) kgkLq (Ω) .
Ω
Demonstração: Veja, por exemplo, [4]
A seguir, enunciaremos o Teorema da Convergência Dominada de Lebesgue.
Proposição A.5 Seja (fn ) uma sequência de funções de L1 (Ω) tal que
i) fn (x) → f (x) q.t.p em Ω;
ii) existe g ∈ L1 (Ω) tal que, para cada n ∈ N,
|fn (x)| ≤ g(x), q.t.p em Ω.

Então f ∈ L1 (Ω) e
lim |fn − f |L1 (Ω) = 0.
n→∞

Temos a seguinte recíproca do Teorema da Convergencia dominada de Lebesgue:
69
A.4 Resultados de Análise Funcional e Teoria da Medida
Proposição A.6 Considere uma sequência (un ) em Lp (Ω), 1 ≤ p ≤ ∞, tal que un → u

em Lp (Ω), então a menos de subsequência:
i) un → u q.t.p em Ω e
ii) |un | ≤ h q.t.p em Ω, para alguma função h em Lp (Ω).

O resultado sobre imersão compacta a seguir será bastante utilizado nesta dissertação.
Teorema A.3 (Teorema da Imersão de Rellich) Seja Ω ⊂ Rn um domínio limitado

e suave. Então a seguinte imersão é compacta:
H01 (Ω) ,→ Lp (Ω), 1 ≤ p < 2∗ .
70
Referências Bibliográcas
[1] Ambrosetti, A.; Brezis, H.; Cerami, G., Combined eects of concave and convex
nonlinearities in some elliptic problems. J. Funct. Anal. 122 (1994), no. 2, 519-543.
[2] Bartle, R.G., The Elements of Integration and Lebesgue Measure, Wiley Classics
Library, NY, 1995.
[3] Brezis, H.; Analyse Fonctionelle, Teorie et Applications Massin, Paris, 1987
[4] Brezis, H.; Functional analysis, Sobolev spaces and partial dierential equations. Uni-
versitext. Springer, New York,, 2011.
[5] Brézis, H.; Oswald, L., Remarks on sublinear elliptic equations. Nonlinear Anal. 10
(1986), no. 1, 55-64.
[6] Brézis, H.; Nirenberg, L., Positive solutions of nonlinear elliptic equations involving
critical Sobolev exponents. Comm. Pure Appl. Math. 36 (1983), no. 4, 437-477.
[7] Ekeland, I.,Nonconvex minimization problems, Bull. Amer. Math. Soc. 1 (1979), 443-
473
[8] Gilbarg, D. & Trudinger, N.S. Elliptic Partial Dierential Equations of Second Order,
2nd ed., Springer-Verlag, Berlin/Heidelberg, 1983.
[9] Kesavan, S., Topics in functional analysis and applications. John Wiley & Sons, Inc.,
New York, 1989.
[10] Li, S.; Wu, S.; Zhou, H. S., Solutions to semilinear elliptic problems with combined
nonlinearities, J. Dierential Equations 185 (2002), 200-224.
71
Referências Bibliográcas
[11] Perera, K., Multiplicity results for some elliptic problems with concave nonlinearities.
J. Dierential Equations 140 (1997), no. 1, 133-141.
[12] Schechter, M. A variation of the Mountain Pass lemma and applications, J. London
Math. Soc. 44(1991), 491-502.
[13] Wang, Zhi-Qiang, Nonlinear boundary value problems with concave nonlinearities
near the origin. Nonlinear Dierential Equations. Appl. 8 (2001), no. 1, 15-33.
72

Dissertacao MaxwellPita

Uploaded by

Document Information

Original Title

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

Dissertacao MaxwellPita

Uploaded by

Copyright:

Available Formats

Universidade Federal da Paraíba

Centro de Ciências Exatas e da Natureza

Programa de Pós-Graduação em Matemática

Curso de Mestrado em Matemática

Sobre uma classe de problemas elípticos com

Maxwell de Sousa Pita

Prof. Dr. Everaldo Souto de Medeiros

Dissertação apresentada ao Corpo Do-

cente do Programa de Pós-Graduação em

Matemática - CCEN - UFPB, como re-

quisito parcial para obtenção do título de

UFPB/BC CDU: 51(043)

A Deus, por nos dar a esperança de uma vida em paz.

Aos meus pais, Maria Socorro de

Neste trabalho, vamos estabelecer uma versão do Teorema do Passo da Montanha

1 Um teorema do tipo max-min e o princípio variacional de Ekeland 12

2 Um problema assintoticamente linear 23

Vamos utilizar as seguintes notações:

• Br (x) denota a bola aberta de raio r e centro x.

• * e → denotam convergência fraca e forte, respectivamente.

• |Ω| denota a medida de Lebesgue do conjunto Ω.

denota o laplaciano da função u.

• q.t.p é uma abreviação de quase todo ponto.

• I 0 denota a derivada a Gâteaux do funcional I .

• ∂Ω denota a fronteira do conjunto Ω.

• Lp (Ω)={u : Ω → R; u é mensurável e |u|p < ∞}.

• L∞ (Ω)={u : Ω → R; u é mensurável e ∃C > 0 tal que |u(x)| ≤ C q.t.p em Ω}.

• H0−1 (Ω) denota o espaço dual do Espaço de Sobolev H01 (Ω).

• C(Ω) denota o espaço das funções contínuas em Ω.

• C 1 (Ω) denota o espaço das funções continuamente diferenciáveis em Ω.

• khk∞ = inf{C > 0; |u(x)| ≤ C q.t.p em Ω} denota a norma em L∞ (Ω).

• khkp = ( Ω |u|p ) p denota a norma em Lp (Ω) com 1 ≤ p < ∞.

O objetivo desta dissertação é estudar a existência e multiplicidade de solução não

(f3 ) lims→+∞ f (x,s)

Um teorema do tipo max-min e o

Neste capítulo, apresentaremos um Teorema do tipo max-min devido a M. Schechter

1.1 O campo pseudo-gradiente

Denição 1 Seja I : E → R um funcional de classe C 1 denido em um espaço de

kγ(w)k ≤ 1, αkI 0 (w)k ≤ I 0 (w)γ(w), ∀w ∈ E,

onde Ee = {u ∈ E; I 0 (u) 6= 0}.

Lema 1.1 Existe um campo vetorial pseudo-gradiente para o funcional I .

Demonstração: Para cada u ∈ Ee, como I 0 (u) é contínua, temos

Seja α1 ∈ (α, 1). Existe w(u) ∈ E tal que

Pela continuidade de I 0 , existe uma vizinhança Vu de u tal que

αkI 0 (v)k ≤ I 0 (v)w(u), ∀v ∈ Vu .

Observe que a família {Vu ; u ∈ E}

Além disso, temos

o que prova o resultado.

1.2 O Teorema do Passo da Montanha

Inicialmente, denotemos o seguinte conjunto:

Considere o seguinte exemplo.

Teorema 1.1 (Schechter, [12]) Seja I : E → R um funcional denido em um espaço

(ii) Existe N0 ∈ Λ e η ∈ R tal que max{I(0), I(e)} ≤ η e

I(u) ≥ η, ∀u ∈ ∂N0 . (1.1)

Seja b ≥ η denido por

então, para todo ψ ∈ Ψ existe uma sequência (un ) em E tal que

I(un ) → b, quando n → +∞,

Demonstração: Observe na Figura 1.1 a seguir o caso particular de um funcional I

kI 0 (u)k ≥ ψ(kuk), (1.3)

para todo u ∈ E satisfazendo

Se necessário, podemos tomar ε > 0 sucientemente pequeno tal que

Denimos os seguintes conjuntos:

Seja g : E → R denida da seguinte forma

Denição 1 Seja I : E → R um funcional de classe C 1 denido em um espaço de

Teorema 1.1 (Schechter, [12]) Seja I : E → R um funcional denido em um espaço

Seja b ≥ η denido por

Se necessário, podemos tomar ε > 0 sucientemente pequeno tal que

Denimos os seguintes conjuntos:

Seja g : E → R denida da seguinte forma

para 0 ≤ t ≤ t1 . Se t1 < T , então para δ > 0 sucientemente pequeno, temos

para algum 0 < η, ρ > 0 e e ∈ E com kek > ρ. Se c é denido por