UNIVERSIDAD NACIONAL DE TRUJILLO

FACULTAD DE CIENCIAS FÍSICAS Y MATEMÁTICAS

ESCUELA PROFESIONAL DE MATEMÁTICAS

Existencia de una solución positiva para una clase de ecuación elíptica no

lineal con potencial que satisface la condición de Palais-Smale

TESIS

Para optar el Título Profesional de Licenciado en Matemáticas

Autor: Tamayo Rios, José Antonio

Asesor: Dr.Torres Ledesma, César Enrique

Trujillo – Perú

2025
Dedicatoria

A mi familia.

ii
Agradecimiento

A mi familia y amigos. Se agradece también a CONCYTEC-PROCIENCIA, ya que

bajo el contrato CONCYTEC-P, PE501087741-2024-PROCIENCIA “ANÁLISIS CUAL-
ITATIVO DE ECUACIONES NO LOCALES Y APLICACIONES: MODELOS DE
DIFUSIÓN ANÓMALA Y PROBLEMAS DE OBSTÁCULO”, me dio la oportunidad
de financiar el presente proyecto.

iii
Índice general

Resumen vi

Abstract vii

1 Introducción 8
1.1 Planteamiento del problema . . . . . . . . . . . . . . . . . . . . . . . . 8
1.1.1 Descripción de la situación problemática . . . . . . . . . . . . . 8
1.1.2 Formulación del problema . . . . . . . . . . . . . . . . . . . . . 9
1.1.3 Objetivos de la investigación . . . . . . . . . . . . . . . . . . . . 10
1.1.4 Justificación de la investigación . . . . . . . . . . . . . . . . . . 11
1.2 Marco Teórico . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
1.2.1 Teoría de la Medida y Espacios Lp . . . . . . . . . . . . . . . . 11
1.2.2 Espacios de Sobolev . . . . . . . . . . . . . . . . . . . . . . . . 12
1.2.3 Espacios de Hölder . . . . . . . . . . . . . . . . . . . . . . . . . 14
1.2.4 Cálculo variacional . . . . . . . . . . . . . . . . . . . . . . . . . 14
1.2.5 Antecedentes de la investigación . . . . . . . . . . . . . . . . . . 16
1.3 Hipótesis y variables . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18
1.3.1 Formulación de la Hipótesis . . . . . . . . . . . . . . . . . . . . 18
1.3.2 Variables de estudio . . . . . . . . . . . . . . . . . . . . . . . . 18
1.4 Metodología . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19
1.4.1 Objeto de estudio . . . . . . . . . . . . . . . . . . . . . . . . . . 19
1.4.2 Metodología de Investigación . . . . . . . . . . . . . . . . . . . 19

2 Resultados 20
2.1 Caso subcrítico . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20
2.1.1 La estructura variacional . . . . . . . . . . . . . . . . . . . . . . 21

iv
 2.1.2 Un problema auxiliar . . . . . . . . . . . . . . . . . . . . . . . . 24
2.1.3 Existencia de soluciones para el problema auxiliar . . . . . . . . 38
2.1.4 Algunas propiedades de las soluciones del problema auxiliar . . 40
2.1.5 Existencia de soluciones para el problema (Pϵ ) . . . . . . . . . . 42
2.2 Caso crítico . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 51
2.2.1 La estructura variacional . . . . . . . . . . . . . . . . . . . . . . 52
2.2.2 Un problema auxiliar . . . . . . . . . . . . . . . . . . . . . . . . 53
2.2.3 Sucesión de Palais-Smale . . . . . . . . . . . . . . . . . . . . . . 58
2.2.4 Algunas propiedades de las soluciones del problema auxiliar . . 69
2.2.5 Existencia de soluciones para el problema (Pε∗ ) . . . . . . . . . . 71

Conclusiones 80

Referencias Bibliográficas 81

v
 Resumen

En este trabajo se estudió la existencia de soluciones positivas para una clase de

ecuaciones diferenciales parciales elípticas no lineales con potencial que satisface la
condición de Palais-Smale. Las soluciones de esta clase de ecuaciones están furte-
mente relacionadas con las soluciones de onda estacionaria de una ecuación no lineal
de Schrödinger. Para la demostración de la existencia de soluciones se empleó el método
de penalización introducido por Del Pino y Felmer, que permitió reformular el prob-
lema original mediante un problema auxiliar y verificar la condición de Palais-Smale
en el funcional asocidad a ese problema. Además, se aplicó el Teorema del Paso de la
Montaña para encontrar puntos críticos del funcional asociado al problema auxiliar, lo
que luego garantizó la existencia de soluciones para el problema original.
Palabras clave: condición de Palais-Smale, método de penalización, Teorema del
Paso de la Montaña, ecuación de Schrödinger.

vi
 Abstract

This work studies the existence of positive solutions for a class of nonlinear elliptic
partial differential equations with potential satisfying the Palais-Smale condition. The
solutions of this class of equations are strongly related to the standing wave solutions
of a nonlinear Schrödinger equation. To prove the existence of solutions, the penalty
method introduced by Del Pino and Felmer is used. This approach reformulates the
original problem through an auxiliary problem and verifies the Palais-Smale condition
for the associated functional. Additionally, the Mountain Pass Theorem is applied
to find critical points of the functional associated with the auxiliary problem, which
ensures the existence of solutions for the original problem.
Keywords: Palais-Smale condition, penalty method, Mountain Pass Theorem,
Schrödinger equation.

vii
Chapter 1

Introducción

1.1 Planteamiento del problema

1.1.1 Descripción de la situación problemática

En años recientes, varios autores han estudiado la existencia, multiplicidad y concen-

tración de soluciones para la siguiente clase de ecuación elíptica no lineal

−ε2 ∆u(x) + V (x)u(x) = f (u(x)) , ∀x ∈ RN ,






 u(x) > 0 , ∀x ∈ RN , (Pε )


u ∈ H 1 (RN ),




donde ε es un parámetro positivo y N ≥ 2. Se denomina potencial a V : RN → R,

que es una función no negativa a la que se le suele asignar ciertas propiedades como
acotamiento inferior por una constante diferente de cero o regularidad, todo esto con el
fin de resolver el problema (Pε ). La función f : R → R es continua y puede presentar
crecimiento crítico o subcrítico, además de aportar la no linealidad al problema.
El estudio variacional del problema (Pε ) comenzó con Rabinowitz, quien en [1],
usando el célebre Teorema del Paso de la Montaña, demostró la existencia de una
solución positiva uε para (Pε ) cuando ε es suficientemente pequeño y V satisface cierta
condición de acotamiento. Luego, diversos autores, como Del Pino y Felmer en [2]
mejoraron los resultados obtenidos imponiendo nuevas condiciones en el potencial e
implementando nuevos métodos, como el método de penalización de Del Pino y Felmer.
Dependiendo de las condiciones que se le impongan al potencial, el problema (Pε )
puede presentar diferentes complicaciones, por ejemplo en [3] se impuso que el potencial

8
sea de tipo silla; pero además, se impuso que el potencial satisfaga la condición de
Palais-Smale.
Ahora, se busca demostrar la existencia de soluciones positivas para el problema
(Pε ) cuando el potencial V satisface la condición de Palais-Smale y la función f presente
crecimiento crítico o subcrítico.

1.1.2 Formulación del problema

Motivados por trabajos previos como [2], [4] y [5], en el presente trabajo se busca
estudiar la existencia de una solución positiva para el problema (Pϵ ) cuando el potencial
V satisface la condición de Palais-Smale, esto es, V satisface las siguientes hipótesis:

(V1 ) V ∈ C 2 (RN ) y existen V0 , V∞ > 0 tales que

V∞ ≥ V (x) ≥ V0 , para todo x ∈ RN .

∂2V
(V2 ) V , ∂V
∂xi
y ∂xi ∂xj
son acotadas en RN para todo i, j ∈ {1, · · · , N }.

(V3 ) V verifica la condición de Palais-Smale, es decir, si (xn ) ⊂ RN es tal que (V (xn ))

es acotada y ∇V (xn ) → 0, entonces (xn ) posee una subsucesión convergente en
RN .

Por su parte, para el caso subcrítico se considera que f satisface las siguientes condi-
ciones:

(f1 ) lim sup f (s)

s
= 0.
s→0+

(f2 ) Existe un p ∈ (2, 2∗ ), donde 2∗ = 2N

N −2
, tal que

f (s)
lim sup = 0.
s→+∞ sp−1

(f3 ) Existe un θ > 2 tal que

0 < θF (s) ≤ sf (s), ∀s > 0,

donde F (s) = f (t)dt.

Rs
0

(f4 ) f (s) = 0 para todo s ≤ 0.

9
Mientras que para el caso crítico se considera:

(f1∗ ) lim sup f (s)

s
= 0.
s→0+

(f2∗ ) Existen p, p1 ∈ (2, 2∗ ) y λ > 0 tales que

f (s)
f (s) ≥ λsp1 −1 , ∀s > 0 y lim sup = 0.
s→+∞ sp−1

(f3∗ ) Existe un 2 < θ < 2∗ tal que

0 < θF (s) ≤ sf (s), ∀s > 0,

donde F (s) = f (t)dt.

Rs
0

(f4∗ ) Sea h : R+ → R tal que h(t) = f (t)

t
, entonces h es creciente.

(f5∗ ) f (s) = 0 para todo s ≤ 0.

1.1.3 Objetivos de la investigación

Objetivo general

Demostrar la existencia de una solución positiva para la siguiente clase de ecuación

elíptica no lineal 
−ε2 ∆u + V (x)u = f (u) en RN ,






u>0 en RN , (Pε )



u ∈ H 1 (RN ),




con V satisfaciendo (V1 ) − (V3 ) y f presentando crecimiento crítico o subcrítico.

Objetivos específicos

• Definir el espacio funcional para la forma variacional del problema (Pε ).

• Formular un problema auxiliar para el problema (Pε ) usando la idea de Del Pino
y Felmer encontrada en [2].

• Demostrar la existencia de soluciones positivas del problema auxiliar usando el

Teorema del Paso de la Montaña.

• Demostrar que una solución del problema auxiliar también es solución del prob-
lema (Pε ).

10
1.1.4 Justificación de la investigación

El estudio del problema (Pε ) tiene su comienzo en la física. Floer, en [6], probó la
existencia de soluciones de ondas estacionarias para la ecuación de Schrödinger no
lineal
∂Ψ
iε = −ε2 ∆Ψ + W (z)Ψ − f (Ψ ), ∀z ∈ R (NLS)
∂t
cuyas soluciones son de la forma Ψ (x, t) = exp(−iEt/ε)u(x), siendo u solución de (Pε ).
El trabajo de Floer fue luego generalizado por Oh en [7], de manera que encontrar
soluciones para el problema (Pε ) es equivalente a encontrar soluciones de ondas esta-
cionarias para la ecuación (N LS). Esta ecuación es uno de los principales objetos de
la física cuántica, ya que aparece en problemas que involucran óptica no lineal, física
de plasmas y física de la materia condensada.

1.2 Marco Teórico

1.2.1 Teoría de la Medida y Espacios Lp

Denotaremos por M (X, σ) a la colección de todas las funciones de la forma f : X → R̄

que son σ-medibles, donde R̄ = R ∪ {−∞, +∞}; y por M + (X, σ) a la colección de las
funciones f ∈ M (X, σ) no negativas.

Teorema 1.2.1 (Teorema de la Convergencia Monóntona). Sea (fn ) una sucesión de

funciones monotonamente creciente en M + (X, σ) que converge a f , entonces
Z Z
f dµ = lim fn dµ.
n→+∞

Demostración. La demostración de este teorema se puede encontrar en [8].

Lema 1.2.1 (Lema de Fatou). Sea (fn ) ⊂ M + (X, σ), entonces

Z Z
lim inf fn dµ ≤ lim inf fn dµ.
n→+∞ n→+∞

Demostración. La demostración de este lema se puede encontrar [8].

Definición 1.2.1. Sea 1 < p < +∞. El espacio Lp es dado por

Z
L (X) = {[f ], f ∈ M (X, σ),
p
|f |p < +∞}.
X

11
Definición 1.2.2. El espacio L∞ es dado por

L∞ (X) = {[f ], f ∈ M (X, σ), f es acotada c.t.p en X}.

Teorema 1.2.2 (Teorema de la Convergencia Dominada de Lebesgue). Sea (fn ) una

sucesión de funciones en L1 (Ω) que converge c.t.p a una función medible f . Si existe
una función g ∈ L1 (Ω) tal que, para todo n ∈ N, |fn | ≤ g c.t.p, entonces f ∈ L1 (Ω) y
Z Z
f dµ = lim fn dµ
n→+∞

Demostración. La demostración de este teorema se puede encontrar en [8].

Teorema 1.2.3 (Desigualdad de Hölder). Sea f ∈ Lp (Ω) y g ∈ Lq (Ω) con p > 1 y

1
p
+ 1q = 1(q es el exponente conjugado de p). Entonces, f g ∈ L1 (Ω) y ∥f g∥1 ≤ ∥f ∥p ∥g|q .

Demostración. La demostración de este teorema se puede encontrar en [8].

Teorema 1.2.4 ([9]). Sean (fn ) una sucesión en Lp (Ω) y f ∈ Lp (Ω) tal que ∥fn −f ∥p →
0. Entonces, existe una subsucesión (fnk ) y una función h ∈ Lp (Ω) tal que

1. (fnk )(x) → f (x) c.t.p en Ω.

2. |(fnk )(x)| ≤ h(x), ∀k ∈ N c.t.p en Ω.

Demostración. La demostración de este teorema se puede encontrar en [9].

1.2.2 Espacios de Sobolev

Definición 1.2.3 ([10]). Sea Ω ⊂ RN un conjunto abierto y 1 ≤ p < ∞. Definimos el

espacio de Sobolev W m,p (Ω) por

W m,p (Ω) = {u ∈ Lp (Ω), Dα u ∈ Lp , ∀|α| ≤ m}.

En particular, cuando p = 2, definimos H m (Ω) = W m,2 (Ω).

Proposición 1.2.1 ([10]). El espacio W m,p (Ω) es un espacio vectorial, y además,

equipado con la norma
1
∥u∥m,p = ( ∥Dα u∥pp ) p ,
X

|α|≤m

es un espacio de Banach.

12
Demostración. La demostración de esta proposición se puede encontrar en [10].

Proposición 1.2.2 ([9]). W m,p (RN ) es un espacio reflexivo para 1 < p < ∞.

Demostración. La demostración de esta proposición se puede encontrar en [9].

Teorema 1.2.5 (Sobolev, Gagliardo,Nirenberg). Sea 1 ≤ p < N . Entonces

∗
W 1,p (RN ) ⊂ Lp (RN ),

donde 1
p∗
= 1
p
− 1
N
y existe una constante C = C(p, N ) tal que

∥u∥p∗ ≤ C∥∇u∥p , ∀u ∈ W 1,p (RN ).

Demostración. La demostración de este teorema se puede encontrar en [9].

Teorema 1.2.6 ([9]). Las siguientes inmersiones son continuas:

W 1,p (RN ) ⊂ Lq (RN ), ∀q ∈ [p, p∗ ], 1 ≤ p < N.

W 1,p (RN ) ⊂ Lp (RN ), ∀q ∈ [p, +∞), p = N.

W 1,p (RN ) ⊂ L∞ (RN ), p > N.

Demostración. La demostración de este teorema se puede encontrar en [9].

Teorema 1.2.7 ([9]). Sea Ω ⊂ RN con frontera de clase C 1 . Si u ∈ Lp (Ω), con

1 < p < +∞. Las siguientes proposiciones son equivalentes:

1. u ∈ W01,p (Ω).

2. Existe una constante C tal que

Z
∂ϕ
u ≤ C∥ϕ∥p , ∀ϕ ∈ C01 (RN ), ∀i ∈ {1, 2, ..., N }.
Ω ∂xi
3. La función 

 u(x), x ∈ Ω
ũ(x) =
0, x ∈ Ωc ,



pertenece a W 1,p (RN ) y ∂ ũ ¯.

= ∂x
∂u
∂xi i

Demostración. La demostración de este teorema se puede encontrar en [9].

Teorema 1.2.8 (Teorema de compacidad de Rellich–Kondrachov). Sea Ω un subcon-

junto abierto y acotado de RN y ∂Ω de clase C 1 . Si 1 ≤ p < N , entonces

W 1,p (Ω) ⊂⊂ Lq (Ω),

para todo 1 ≤ q < p∗ .

Demostración. La demostración de este teorema se puede encontrar en [10].

13
1.2.3 Espacios de Hölder

Definición 1.2.4 ([10]). Sea 0 ≤ λ < 1, definimos C m,λ (Ω̄) como siendo el subespacio
de C m (Ω̄) que consiste de todas las funciones ϕ tales que, para 0 ≤ |α| ≤ m, Dα
satisface en Ω una condición de Hölder de exponente λ, esto es, existe una constante
K tal que
|Dα ϕ(x) − Dα ϕ(y)| ≤ K|x − y|λ , ∀x, y ∈ Ω.

1.2.4 Cálculo variacional

Definición 1.2.5 ([12]). Sea I : U → R, donde U es un subconjunto abierto de un

espacio de Banach X. El funcional I tiene derivada de Gateaux f ∈ X ′ en u ∈ U si,
para cada v ∈ X
I(u + tv) − I(u) − f (tv)
lim = 0.
t→0 t
La derivada de Gateaux en u es denotada por ∂I
∂(.)
(u)

Definición 1.2.6 ([12]). Un funcional I es diferenciable, en el sentido de Fréchet, en

u cuando existe T ∈ X ′ tal que
|I(u + h) − I(u) − T (h)|
lim = 0.
∥h∥X →0 ∥h∥
Definición 1.2.7 ([12]). Un funcional I pertenece a C 1 (U, R) si la derivada de Fréchet
de I existe y es continua en U .

Proposición 1.2.3. Sea X un espacio de Banach e I : X → R un funcional verifi-

cando:

1. ∂I
∂(.)
(u) : X → R existe para todo u ∈ X.

2. ∂I
∂(.)
(u) ∈ X ′.

3. Si un → u en X,se sigue que ∂I

∂(.)
(un ) → ∂I
∂(.)
(u) en X ′ .

Entonces I ∈ C 1 (X, R) e I ′ (u)v = ∂I

∂v
(u).

Demostración. La demostración de esta proposición se puede encontrar en [11].

Definición 1.2.8 ([12]). Decimos que {xn } ⊂ X es una sucesión de Palais-Smale en

el nivel c para I, cuando
I(xn ) → c ∧ I ′ (xn ) → 0.

14
Definición 1.2.9 ([12]). Decimos que el funcional I satisface la condición de Palais-
Smale en el nivel c si toda sucesión que verifica la condición admite una subsucesión
convergente. Decimos que I satisface la condición de Palais-Smale cuando satisface la
condición para todo c ∈ R.

Teorema 1.2.9 (Teorema del Paso de la Montaña). Sean X un espacio de Banach,

I ∈ C 1 (X, R), u ∈ X y r > 0 tales que ∥u∥ > r y

inf I(v) > I(0) ≥ I(u)

∥v∥=r

Si I satisface la condición de Palais-Smale en c, con

c = inf max I(γ(t))

γ∈Γ t∈[0,1]

y
Γ = {γ ∈ C([0, 1], X), γ(0) = 0, γ(1) = u}

entonces c es un valor crítico de I.

Demostración. La demostración de este teorema se puede encontrar en [12].

Teorema 1.2.10 (Teorema del Paso de la Montaña sin la condición de Palais-Smale).

Sean X un espacio de Banach, I ∈ C 1 (X, R), u ∈ X y r > 0 tales que ∥u∥ > r y

inf I(v) > I(0) ≥ I(u)

∥v∥=r

Entonces, para cada ε > 0, existe v ∈ X tal que

• c − 2ε ≤ I(v) ≤ c + 2ε

• ∥I ′ (v)∥ ≤ 2ε

donde
c = inf max I(γ(t))
γ∈Γ t∈[0,1]

y
Γ = {γ ∈ C([0, 1], X), γ(0) = 0, γ(1) = u}.

Demostración. La demostración de este teorema se puede encontrar en [12].

15
1.2.5 Antecedentes de la investigación

Uno de los primeros en estudiar el problema (Pε ) usando métodos variacionales fue
Rabinowitz, quien en [1], usando el Teorema del Paso de la Montaña, demostró la
existencia de una solución positiva uε para (Pε ) cuando ε es suficientemente pequeño,
suponiendo que el potencial V satisface la siguiente condición

0 < infN V (x) ≤ lim inf V (x). (V∞ )

x∈R |x|→+∞

En [13], Wang estudió el fenómeno de concentración de la familia de soluciones {uε }

obtenidas por Rabinowitz en [1]. Posteriormente, en [2], Del Pino y Felmer mejoran
los resultados obtenidos en [1] y [13], pues estudiaron la existencia y concentración de
soluciones para (Pε ) bajo una condición más débil sobre el potencial V , esto es, ellos
asumen que existe un conjunto acotado Λ ⊂ RN tal que

0 < γ ≤ V0 = min V (x) < min V (x) = V∞ . (V1 )

x∈Λ x∈∂Λ

Con respecto al caso crítico del problema (Pε ), Miyagaki, en [14], estudia la exis-
tencia de soluciones no triviales para la siguiente clase de ecuación semilinear elíptica
en RN (N ≥ 3)
−∆u + a(x)u = λ|u|q−1 u + |u|p−1 u en RN , (P )

donde 1 < q < p ≤ 2∗ − 1 = N +2

N −2
y λ > 0. Miyagaki considera dos condiciones con
respecto al potencial:

∃a0 > 0 tal que a(x) ≥ a0 , ∀x ∈ RN (a0 )

a(x) → +∞, para |x| → ∞ (a∞ )

Logrando así demostrar la existencia de soluciones para el problema (P ), distinguiendo

los casos en que N ≥ 4 y cuando N = 3.
Luego, en [3], Del Pino, Felmer y Miyagaki consideraron el caso en que el potencial
V tiene una geometría tipo silla, esto es, ellos asumen la existencia de dos subespacios
X, Y ⊂ RN tales que
RN = X ⊕ Y.

Además, asumiendo que V es acotado, fijaron constantes c0 , c1 > 0 tales que

c0 = infN V (z) > 0 y c1 = sup V (x).

z∈R x∈X

Así, si V ∈ C 2 (RN ) verifica las siguientes condiciones geométricas:

16
(V1 ) c0 = inf sup V (z) < inf V (y).
R>0 z∈∂B (0)∩X y∈Y
R

∂2V
(V2 ) Las funciones V, ∂x
∂V
i
y ∂xi ∂xj
están acotadas en RN , para todo i, j ∈ {1, ..., N }.

(V3 ) V satisface la condición de Palais-Smale, es decir, si (xn ) ⊂ RN es una sucesión tal

que (V (xn )) está acotada y ∇V (xn ) → 0, entonces (xn ) posee una subsecuencia
convergente en RN ,

y suponiendo que
2(p − 1)
c1 < c0 ,
2N + 2 − p(N − 2)
Del Pino, Felmer y Miyagaki mostraron la existencia de soluciones positivas para el
siguiente problema
−ε2 ∆u + V (z)u = |u|p−2 u en RN ,

donde p ∈ (2, 2∗ ) si N ≥ 3 y p ∈ (2, +∞) si N = 1, 2, para ε > 0 suficientemente

pequeño.
Utilizando el método de penalización de Del Pino y Felmer, en [4], Alves, Souto y
Marcos estudian la existencia y concentración de soluciones positivas para el problema

∗ −1
−ε2 ∆u + V (x)u = f (u) + u2 en RN , (P Cε )

donde ε > 0, 2∗ = 2N
N −2
es el exponente crítico de Sobolev y N ≥ 3. Manteniendo las
mismas condiciones con respecto al potencial que en [2]. Además, impone las siguiente
condiciones respecto a la función f :

(f1 ) f (s) = o1 (s) cerca del origen.

(f2 ) Existen q1 , q2 ∈ (1, 2∗ − 1) y λ > 0 tal que

f (s)
f (s) ≥ λsq1 , ∀s > 0 y lim = 0.
s→+∞ sq2

(cuando N = 3, se necesita que q1 > 2 o que λ sea suficimente grande).

(f3 ) Para cierto θ ∈ (2, q2 + 1), se tiene que

Z s
0 < θF (s) := θ f (t) dt ≤ f (s)s, ∀s > 0.
0

(f4 ) La función f (s)

s
es creciente para s > 0.

17
Como se buscan soluciones positivas, consideró f (s) = 0 para s < 0. Bajo estas
condiciones logró demostrar la existencia de un ε0 > 0 tal que el problema (P Cε ) posee
una solución positiva para todo 0 < ε < ε0 .
Finalmente, en [5], Alves estudia la existencia de soluciones para el problema (Pε )
con el potencial satisfaciendo la condición de Palais-Smale. Alves logra demostrar la
existencia de soluciones positivas para el problema (Pε ) para el caso subcrítico. En ese
mismo trabajo aparece el siguiente problema respecto al caso crítico

∗ −2
−ε2 ∆u + V (x)u = λ|u|q−2 u + |u|2 u en RN ,






u>0 en RN , (OCε )



u ∈ H 1 (RN ),




con ε, λ > 0 parámetros positivos, q ∈ (2, 2∗ ). Además, se enuncia el siguiente teorema

(sin demostración)

Teorema 1.2.11. Asuma que V satisface la condición de Palais-Smale. Entonces,

existe ε0 > 0 tal que

a) Si N ≥ 4, (OCε ) tiene una solución positiva para todo ε ∈ (0, ε0 ] y λ > 0.

b) Si N = 3, existe λ∗ > 0, que es independiente de ε0 > 0, tal que (OCε ) tiene una
solución positiva para todo ε ∈ (0, ε0 ] y λ ≥ λ∗ .

1.3 Hipótesis y variables

1.3.1 Formulación de la Hipótesis

Afirmamos que es posible garantizar la existencia de soluciones positivas para el prob-

lema (Pε ) suponiendo que la función V satisface la condición de Palais-Smale y f
presenta crecimiento crítico o subcrítico.

1.3.2 Variables de estudio

• Variable independiente:

– V (x): Función potencial que es acotada junto con sus derivadas y satisface
la condición de Palais-Smale.

18
 – f (u): Función no lineal con crecimiento crítico o subcrítico.

• Variable dependiente:

– u(x): Es la variable que se busca demostrar que existe y es positiva bajo las
condiciones dadas.

1.4 Metodología

1.4.1 Objeto de estudio

El objeto de estudio de esta investigación es la existencia de soluciones positivas para

la ecuación diferencial parcial elíptica no lineal de la forma:

−ε2 ∆u + V (x)u = f (u), en RN ,

donde:

• ∆ es el operador laplaciano.

• V (x) es una función potencial que es acotada junto con sus derivada y satisface
la condición de Palais-Smale.

• f (u) es una función no lineal que presenta crecimiento crítico o subcrítico.

1.4.2 Metodología de Investigación

Para realizar este trabajo se hizo una revisión exhaustiva de la bibliografía siguiendo
una metodología cualitativa y teórica, centrada en el análisis matemático y la aplicación
de técnicas avanzadas de teoría de funciones y espacios de Sobolev.

19
Chapter 2

Resultados

2.1 Caso subcrítico

Se busca demostrar la existencia de una solución para el siguiente problema

−ε2 ∆u + V (x)u = f (u) en RN ,






 u>0 en RN , (Pε )


u ∈ H 1 (RN ),




donde ∆ es el operador Laplaciano clásico, ε es un parámetro positivo, N ≥ 3, V :

RN → R una función de clase C 2 (RN ) llamada potencial que satisface la condición de
Palais-Smale, es decir,

(V1 ) V ∈ C 2 (RN ) y existen V∞ , V0 > 0 tales que

V∞ ≥ V (x) ≥ V0 , para todo x ∈ RN .

∂2V
(V2 ) V , ∂V
∂xi
y ∂xi ∂xj
son acotadas en RN para todo i, j ∈ {1, · · · , N }.

(V3 ) V verifica la condición de Palais-Smale, es decir, si (xn ) ⊂ RN es tal que (V (xn ))

es acotada y ∇V (xn ) → 0, entonces (xn ) posee una subsucesión convergente en
RN .

Por su parte, f : R → R es una función continua que verifica las siguientes propiedades:

(f1 ) lim sup f (s)

s
= 0.
s→0+

(f2 ) Existe un p ∈ (2, 2∗ ) tal que

f (s)
lim sup = 0.
s→+∞ sp−1

20
(f3 ) Existe un θ > 2 tal que

0 < θF (s) ≤ sf (s), ∀s > 0,

donde F (s) = f (t)dt.

Rs
0

(f4 ) f (s) = 0 para todo s ≤ 0.

El teorema principal que se planea demostrar es el siguiente:

Teorema 2.1.1 ([5]). Suponga que V y f satisfacen (V1 )-(V3 ) y (f1 )-(f4 ), respectiva-
mente. Entonces, el problema (Pε ) tiene una solución positiva para ε > 0 suficiente-
mento pequeño.

Para demostrar el Teorma 2.1.1 se seguirán una serie de pasos. Primero haremos
uso de un cambio de variable para obtener una versión equivalente al problema (Pε ) y
trabajeremos en el espacio H 1 (RN ) dotado de una norma equivalente a la usual pero
en la que intervendrá el potencial V . Luego, siguiendo la idea de Del Pino y Felmer en
[2], se construirá un problema auxiliar mediante el cambio de la función f en (Pε ) por
una función g que se contruye a partir de f y mediante dos constante a y θ. Debido a la
construcción del problema auxiliar será posible verificar las condiciones del Teorema del
Paso de la Montaña para el funcional asociado a ese problema, es decir, obtendremos
una solución débil para el problema auxiliar. Finalmente, se demostrará mediante un
acotamiento que la solución del problema auxiliar también es solución del problema
original y que además esta solución es positiva.

2.1.1 La estructura variacional

En H 1 (RN ) definimos, para cada ε > 0, la función ∥ · ∥ϵ : H 1 (RN ) → R tal que

Z Z 1
2
∥u∥ε = |∇u| +
2
V (εx)|u|
2
.
RN RN

Es sencillo mostrar que ∥ · ∥ε es una norma en H 1 (RN ) y que es equivalente a la norma

usual de este espacio. Al espacio H 1 (RN ) dotado de la norma ∥ · ∥ε lo denotaremos
por Hε y debido a la equivalencia de normas se sigue que Hε es un espacio de Banach
reflexivo.

21
Definición 2.1.1. Diremos que una función u ∈ Hε es solución débil del problema
(Pε ) si
Z Z Z
ε2 ∇u∇vdx + V (x)uvdx = f (u)vdx, ∀v ∈ Hε .
RN RN RN

Con el fin de formular nuestro problema en una estrutura variacional más adecuada,
definimos el problema

−∆u + V (εx)u = f (u) en RN ,






u>0 en RN , (Pε′ )



u ∈ H 1 (RN ).




 
Usando el cambio de variable u(x) = v x
ε
, es posible mostrar que si v ∈ Hε es
solución de (Pε′ ), entonces u ∈ Hε y es solución de (Pε ). En efecto, considere las
funciones h1 , h2 : RN → RN tales que h1 (x) = x
ε
y h2 (x) = εx para todo x ∈ RN .
Luego, sea w ∈ Hε , se verifica que w ◦ h2 ∈ Hε , por lo que
Z Z Z
∇v(y)∇(w ◦h2 )(y)dy = ∇(u◦h2 )(y)∇(w ◦h2 )(y)dy = ε 2
∇u(εy)∇w(εy)dx.
RN RN RN

Haciendo el cambio de variable y = h1 (x) tendremos que

Z Z
∇v(y)∇(w ◦ h2 )(y)dy = ε2−N ∇u(x)∇w(x)dx.
RN RN

Utilizando nuevamente ese cambio de variable se obtiene que

Z Z
V (εy)v(y)(w ◦ h2 )(y)dy = ε−N V (x)u(x)w(x)dx
RN RN

y
Z Z
f (v(y))(w ◦ h2 )(y)dy = ε −N
f (u(x))w(x)dx.
RN RN

Por lo tanto, usando que v es solución de (Pε′ ), se sigue que u es solución de (Pε ).
Ahora se demostrarán algunos lemas que serán usados más adelante para demostrar
la regularidad del funcional asociado al problema auxiliar.

Lema 2.1.1 ([1]). Dado ρ > 0, existe cρ tal que

|f (s)| ≤ ρ|s| + cρ |s|p−1 , ∀s ∈ R

y
ρ cρ
|F (s)| ≤ |s|2 + |s|p , ∀s ∈ R.
2 p

22
Demostración. Por (f1 ), como 0 = lim sup f (s)
s
= lim+ sup f (s)
s
, entonces para ρ > 0
s→0+ δ→0 s∈(0,δ)
dado, existe δ > 0 tal que
|f (s)| < |s|ρ, ∀s ∈ (0, δ). (2.1)

De manera similar, por (f2 ), existe n > 0 tal que

|f (s)| < |s|p−1 ρ, ∀s > n. (2.2)

En particular, podemos tomar n > δ y usando la continuidad de la función s → f (s)

sp−1

en el intervalo compacto [δ, n], existe M > 0 tal que

|f (s)| ≤ M |s|p−1 , ∀s ∈ [δ, n]. (2.3)

Sea cρ = ρ + M , entonces por (2.2) y (2.3)

|f (s)| ≤ cρ |s|p−1 , ∀s ≥ δ.

Finalmente, por (f4 ) y (2.1) se sigue el primer resultado.

Integrando f (t) de 0 a t y aplicando el resultado anterior es inmediato que dado
ρ > 0, existe cρ > 0 tal que
ρ cρ
|F (s)| ≤ |s|2 + |s|p , ∀s ∈ R. (2.4)
2 p

Lema 2.1.2 ([1]). Existen d1 , d2 > 0 tales que, para todo s > 0

F (s) ≥ d1 sθ − d2 .

Demostración. Por (f3 ) se tiene que existe θ > 2 tal que 0 < θF (s) ≤ sf (s), ∀s > 0,
de manera que F (s), f (s) > 0, ∀s > 0. Se puede entonces obtener
θ f (t)
0< ≤ , ∀t > 0.
t F (t)
Luego, tomando s > 1 arbitrario y aplicando la monotonía de la integral
Z s
θ Z s
f (t)
0< dt ≤ dt.
1 t 1 F (t)

Recordando que F (s) = f (t)dt y usando el cambio de variable u = F (t) en la última

Rs
0

integral, obtenemos que

0 < θ ln s ≤ ln F (s) − ln F (1), ∀s > 1.

23
Aplicando las propiedades del logaritmo llegamos a que

F (s) ≥ d1 sθ , ∀s > 1, (2.5)

donde d1 = F (1) > 0. Finalmente, usando la continuidad de F en el intervalo compacto

[0, 1], podemos obtener una cota inferior M > 0 de manera que d2 = d1 + M > 0 y
F (s) ≥ −M, ∀s ∈ [0, 1], es decir, F (s) ≥ d1 sθ − d2 , ∀s ∈ [0, 1].
Usando (2.5) se sigue el resultado.

2.1.2 Un problema auxiliar

Sean Ω ⊂ RN un dominio acotado, k > 2 (se fijará más adelante) y a ∈ R el mínimo

valor tal que
f (a) V0
= , (2.6)
a k
con V0 > 0 definido en (V1 ). Usando estos valores definimos la función f˜ : R → R dada
por 
0, s ≤ 0,





f˜(s) =

f (s), 0 ≤ s ≤ a, (2.7)



 V0 s, s ≥ a.


k

Con esta nueva función y el dominio Ω definimos la función g : RN × R → R dada por

g(x, s) = χΩ (x)f (s) + (1 − χΩ (x))f˜(s), (2.8)

donde χΩ representa a la función característica asociada al dominio Ω.

Usando la función g, se construye el siguiente problema



 −∆u + V (εx)u = gε (x, u) en RN ,
(APε )
u ∈ Hε (RN ),



donde gε (x, s) = g(εx, s), ∀(x, s) ∈ RN × R.

Note que si s < a, entonces g(x, s) = f (s), ∀x ∈ RN . Utilizando lo anterior, si
u(x) < a, entonces gε (x, u(x)) = f (u(x)). Sin embargo, es suficiente con que u(x) <
a, ∀x ∈ RN /Ωε , ya que para x ∈ Ωε siempre se cumple que gε (x, s) = f (s).
En conclusión, si se puede verificar que u(x) < a, ∀x ∈ RN /Ωε , siendo u solución
de (APε ), entonces u también es solución de (Pε′ ).

24
Regularidad del funcional asociado al problema auxiliar

Lema 2.1.3 ([2]). Dado ρ > 0, existen constantes positivas c1 = c1 (ρ), c2 = c2 (ρ) tales
que
|f˜(s)| ≤ c1 |s| + c2 |s|p−1 , ∀s ∈ R.

Demostración. Por el Lema 2.1.1, dado ρ > 0, existe cρ tal que

|f (s)| ≤ ρ|s| + cρ |s|p−1 .

Por definición, si s ≤ a, entonces |f˜(s)| = |f (s)| ≤ ρ|s| + cρ |s|p−1 .

Ahora, si s ≥ a, entonces |f˜(s)| = V0
k
|s| ≤ V0
k
|s| + cε |s|p−1 . Por lo tanto, tomando
c1 = max{ρ, Vk0 } y usando que f˜(s) = 0, ∀s ≤ 0, se sigue el resultado.

Proposición 2.1.1 ([2]). La función gε , definida anteriormente, satisface las siguientes

propiedades

(g1 ) gε (x, s) = 0, ∀s ≤ 0, ∀x ∈ RN .

(g2 ) lim sup gε (x,s)

s
= 0, ∀x ∈ RN .
s→0+

(g3 ) lim sup gsε p−1

(x,s)
= 0, ∀x ∈ RN .
s→+∞

(g4 ) 0 < θGε (x, s) := θ gε (x, t)dt ≤ sgϵ (x, s), ∀x ∈ Ωε , ∀s > 0.
Rs
0

(g5 ) 0 < 2Gε (x, s) ≤ sgε (x, s) ≤ V0 2

k
s , ∀x ∈ Ωcε , ∀s > 0.

Demostración. Se demostrará cada item por separado.

(g1 ) Por definición se tiene que gε (x, s) = χΩ (εx)f (s) + (1 − χΩ (εx))f˜(s), pero de (f4 )
y la definición de f˜ se tiene que gε (x, s) = χΩ (ϵx)0 + (1 − χΩ (εx))0 = 0, ∀s ≤ 0.

(g2 ) De nuevo, por definición de g

gε (x, s) f (s) f˜(s)
lim sup = χΩ (εx) lim sup + (1 − χΩ (εx)) lim sup = 0,
s→0+ sp−1 s→0+ s
p−1
s→+∞ s
p−1

donde la última igualdad se da por (f2 ) y la definición de f˜.

(g3 ) Al igual que en el caso anterior se tendrá que

gε (x, s) f˜(s) V0 s2−p
lim sup = 0 + (1 − χ Ω (εx)) lim sup = (1 − χ Ω (εx)) lim = 0,
s→+∞ sp−1 s→+∞ s
p−1 s→+∞ k
donde la última igualdad se cumple porque p > 2.

25
(g4 ) Para x ∈ Ωε se tiene por definición que gε (x, s) = f (s). Luego, de (f4 ) se sigue
el resultado.

(g5 ) Como x ∈ Ωcε , entonces gε (x, s) = f˜(s). Sea 0 < s < a, entonces, debido a (f4 )

2Gε (x, s) ≤ θGε (x, s) = θF (s) ≤ sf (s) = sgε (x, s).

Ahora, por definición de a se debe cumplir que f (s)

s
̸= V0
k
. Si suponemos que f (s)
s
>
V0
k
llegamos a una contradicción usando (f1 ) y el Teorema del Valor Intermedio.
Así, se tiene que f (s)
s
< V0
k
, por lo que

V0 2
sgε (x, s) = sf (s) < s , ∀x ∈ Ωcε , ∀s ∈ (0, a).
k

Finalmente, para s > a tendremos que

V0 2 V0 2
Gε (x, s) = F (a) − a + s,
2k 2k

pero como F (a) = θF (a)

θ
≤ af (a)
θ
= V0 2
θk
a y θ > 2, entonces

V0 2
2Gε (x, s) ≤ s = sgε (x, s), ∀x ∈ Ωcε , s > a.
k

Proposición 2.1.2 ([2]). Dado ρ > 0, existen costantes Mρ , cρ > 0 tales que

|gε (x, s)| ≤ Mρ |s| + cρ |s|p−1 , ∀s ∈ R.

Demostración. Si x ∈ Ωε el resultado se sigue del Lema 2.1.1. De igual manera, si

x ∈ Ωcε pero s ≤ a, entonces el resultado también se sigue del Lema 2.1.1. Para x ∈ Ωcε
y s > a, por definición de g, gε (x, s) = V0
k
s. Luego, tomando Mρ = max{ρ, Vk0 }, se
sigue el resultado.

Note además que, tomando k suficientemente grande, se puede considerar Mρ sufi-

cientemente pequeño.

Proposición 2.1.3 ([2]). Dado ρ > 0, existen constantes Mρ , cρ > 0 tales que

cρ p
|Gε (x, s)| ≤ Mρ |s|2 + |s| . (2.9)
p

26
Demostración. Se sigue de la proposición 2.1.2.

Ahora se pasará a demostrar que el funcional Jε : Hε → R asociado al problema

(APε ), definido por
1 Z
Jε (u) = ∥u∥ε −
2
Gε (x, u)dx, (2.10)
2 RN

es de clase C 1 (Hε , R) con

Z Z
Jε′ (u)v = (∇u∇v + V (εx)uv)dx − gε (x, u)vdx, ∀u, v ∈ Hε . (2.11)
RN RN

De manera que los puntos críticos de Jε corresponden a soluciones débiles de (APε ).

Primeramente, se mostrará que el funcional Jε está bien definido. Sea u ∈ Hϵ , es
claro que ∥u∥ε < +∞. Ahora, por la Proposición 2.1.3
Z Z
cρ Z
Gε (x, u)dx ≤ Mρ |u|2 dx + |u|p < +∞,
RN RN p RN

donde la última desigualdad se da debido a que u ∈ H 1 (RN ) y por el Teorema 1.2.7,

H 1 (RN ) ⊂ Lp (RN ), ∀p ∈ [2, 2∗ ].
Por lo tanto, el funcional Jε está bien definido. Solo quedaría mostrar que es de
clase C 1 (Hε , R), y para esto usaremos la Proposición 1.2.3.
Sean los funcionales I1 , I2 , I3 : Hϵ → R definidos por
Z Z Z
I1 (u) = |∇u| dx, I2 (u) =
2
V (εx)|u| dx, I3 (u) =
2
Gε (x, u)dx.
RN RN RN

Entonces, es suficiente con probar que I1 , I2 e I3 son de clase C 1 (Hε , R).

Proposición 2.1.4. Los funcionales I1 , I2 , I3 : Hε → R, definidos líneas arriba,

pertenecen a C 1 (Hε , R).

Demostración. Se demostrarán las tres condiciones de la Proposición 1.2.3 y luego el

resultado sigue de inmediato.

1. Sean u, v ∈ Hε , por la Definición 1.2.5

∂I1 I1 (u + tv) − I1 (u) Z

|∇u + t∇v|2 − |∇u|2
(u) = lim = lim dx
∂v t→0 t t→0 RN t

Sea la función h1 : [0, 1] → R definida por h1 (s) = |∇u + ts∇v|2 . Es claro que h1
es diferenciable en (0, 1) y continua en [0, 1] con

h′1 (s) = 2(∇u + st∇v)t∇v,

27
 pero como h1 (0) = |∇u|2 y h1 (1) = |∇u + t∇v|2 ; por el Teorema del Valor Medio,
existe α ∈ (0, 1) tal que
h1 (1) − h1 (0) = h′1 (α),

es decir,
|∇u + t∇v|2 − |∇u|2
= 2(∇u + αt∇v)∇v (2.12)
t
Tomando límite para t → 0 en (2.12)
|∇u + t∇v|2 − |∇u|2
lim = 2∇u∇v.
t→0 t
Ahora, usando la desigualdad de Cauchy-Schwarz en (2.12)
|∇u + t∇v|2 − |∇u|2
≤ 2|∇u + αt∇v||∇v|.
t
Debido a que trabajaremos con t → 0, podemos asumir que αt < 1 y por la
desigualdad triangular
|∇u + t∇v|2 − |∇u|2
=≤ 2(|∇u| + |∇v|)|∇v|. (2.13)
t

Además, como u, v ∈ H 1 (RN ), entonces (|∇u|+|∇v|) ∈ L2 (RN ) y |∇v| ∈ L2 (RN ).

Por lo que usando el Teoema 1.2.3 en (2.13) obtenemos que 2(|∇u| + |∇v|)|∇v| ∈
L1 (RN ).

Finalmente, usando el Teorema 1.2.2, siendo 2(|∇u| + |∇v|)|∇v| la función en

L1 (RN ) que sirve como cota, se conlcuye que

∂I1 Z
|∇u + t∇v|2 − |∇u|2 Z
(u) = lim dx = 2 ∇u∇vdx.
∂v t→0 RN t RN

2. Sean v, w ∈ Hε y λ ∈ R. Entonces,

∂I1 Z
(u) = 2 ∇u(∇v + λ∇w) dx.
∂(v + λw) RN

Por la linealidad del gradiente, del producto interno y de la integral,

Z Z Z
2 ∇u(∇v + λ∇w) dx = 2 ∇u∇v dx + 2λ ∇u∇w dx,
RN RN RN

∂I1 ∂I1
= (u) + λ (u).
∂v ∂w

28
 Mostrando que ∂I1
∂(·)
(u) es lineal. Resta mostrar que ∂I1
∂(·)
(u) es acotada. Para
cualquier v ∈ H 1 (RN ),

∂I1 Z Z
(u) = 2 ∇u · ∇v dx ≤ 2 |∇u||∇v| dx.
∂v RN RN

Ahora, por el Teorema 1.2.3,

Z
|∇u||∇v| dx ≤ ∥∇u∥2 ∥∇v∥2 ≤ C∥∇u∥2 ∥v∥ε .
RN

Por lo tanto, ∂I1

∂v
(u) ≤ C1 ∥v∥ε , mostrando que ∂I1
∂θ
(·)(u) es acotada y, conse-
cuentemente, continua.

3. Sea (un ) una sucesión en Hε tal que un → u en Hε . Dado v ∈ Hε

∂I1 ∂I1 Z
(un ) − (u) ≤ 2 |(∇un − ∇u)∇v| dx.
∂v ∂v RN

Pero |(∇un −∇u)∇v| ≤ |∇un −∇u||∇v| y |∇un −∇u| ≤ |∇un |+|∇u| ∈ L2 (RN ).
Por el Teorema 1.2.3

∂I1 ∂I1
(un ) − (u) ≤ 2∥∇un − ∇u∥2 ∥∇v∥2
∂v ∂v

Recordemos que un → u ∈ Hε , de manera que ∇un → ∇u ∈ L2 (RN ). Luego,

∂I1 ∂I1 ∂I1 ∂I1

(un ) − (u) = sup (un ) − (u) ≤ 2C∥∇un − ∇u∥2 → 0.
∂v ∂v ∗ ∥v∥ε <1 ∂v ∂v
v∈Hε

Por lo tanto ∂I1

∂(·)
(un ) → ∂I1
∂(·)
(u), es decir, la derivada de Gateaux de I1 es continua.

De 1, 2 y 3 se concluye que I1 ∈ C 1 (Hε , R) e

′ ∂I1 Z
I1 (u)v = (u) = 2 ∇u∇v dx.
∂v RN

De manera análoga y usando las Proposiciones 2.1.2 y 2.1.3 se demuestra que I2 , I3 ∈

C 1 (Hε , R).

29
Geometría del Paso de la Montaña

Nuestro objetivo es poder aplicar el Teorema del Paso de la Montaña al problema

(APε ). Debido a esto, necesitamos verificar que el funcional asociado a Jε satisfaga las
condiciones del teorema mencionado.
Según el Teorema 1.2.10, el funcional Jε ∈ C 1 (Hε , R) debe satisfacer tres condi-
ciones, a las dos primeras se les conoce como geometrías del Teorema del Paso de la
Montaña y la tercera es la condición de Palais-Smale. A continuación se mostrará que
el funcional Jε cumple con las dos geometrias del Teorema del Paso de la Montaña.

Figure 2.1: Visualización de la geometría del tipo montaña

Teorema 2.1.2. Existen r > 0 y z ∈ Hε tal que

inf Jε (u) > Jε (0) = 0 > Jε (z), (2.14)

∥u∥ε =r

con ∥z∥ε > r.

Demostración. De la definición de Jε se tiene

1 Z
Jε (u) = ∥u∥ε −
2
Gε (x, u)dx
2 RN

Usando la Proposición 2.1.3 obtenemos

1 Mρ cρ
Jε (u) ≥ ∥u∥2ε − ∥u∥22 − ∥u∥pp . (2.15)
2 2 p

30
Ahora, por el Teorema 1.2.6, existen constantes C1 , C2 tal que
Mρ
∥u∥22 ≤ C1 ∥u∥2ε , ∀u ∈ H ε , (2.16)
2
cρ
∥u∥pp ≤ C2 ∥u∥pε , ∀u ∈ H ε . (2.17)
p
Donde se tomó k suficientemente grande de manera que C1 < 1
2
para todo ε > 0.
Reemplazando las desiguldades (2.16) y (2.17) en (2.15) obtenemos
1
 
Jε (u) ≥ − C1 ∥u∥2ε − C2 ∥u∥pε , ∀u ∈ Hε . (2.18)
2
1 
−C1
 
En particular, si ∥u∥p−2
ε < 2
C2
, entonces 1
2
− C1 ∥u∥2ε − C2 ∥u∥pε > 0.
  1   1

Sea 1
2
− C1 = C3 . Escogiendo r = 1
2
C3
C2
p−2
. Luego, 0 < r < C3
C2
p−2
y C3 r 2 −
C2 rp > 0. Por lo que si ∥u∥ε = r, entonces

Jε (u) ≥ C3 ∥u∥2ε − C2 ∥u∥pε = C3 r2 − C2 rp > 0.

Resta mostrar que existe un z ∈ Hε tal que ∥z∥ε > r y Jε (z) < 0. Para eso se fija
ϕ ∈ C0∞ (RN ) tal que K = supp ϕ ⊂ Ωε y ϕ ≥ 0. Es claro que tϕ ∈ Hε , ∀t ∈ R. Luego,
trabajando con t > 0
1 Z
Jε (tϕ) = ∥tϕ∥ε −
2
Gε (x, tϕ) dx
2 RN
1 Z
= |t|2 ∥ϕ∥2ε − Gε (x, tϕ) dx.
2 K

Por definición de Gε
Z tϕ Z tϕ
Gε (x, tϕ) = g(εx, s)ds = [χΩ (εx)f (s) + (1 − χΩ )(εx)f˜(s)] ds,
0 0

pero como K ⊂ Ωε , entonces

Z tϕ Z tϕ
Gε (x, tϕ) = g(εx, s)ds = f (s) ds = F (tϕ), ∀x ∈ K.
0 0

Por el Lema 2.1.2, F (s) ≥ d1 sθ − d2 ∀s > 0. Así, se tendrá

Z Z Z
− Gε (x, tϕ) dx ≤ − d1 tθ ϕθ dx + d2 dx.
K K K

Sea I1 = d1 ϕθ dx e I2 =
R R
K K d2 dx.Entonces,
1
Jε (tϕ) ≤ ∥ϕ∥2ε |t|2 − I1 |t|θ + I2 ,
2
pero como θ > 2, al tomar t → +∞ el miembro derecho de la desigualdad de arriba
tiende a −∞. Por lo que Jε (tϕ) → −∞ cuando t → +∞. De lo anterior se puede
concluir que existe t0 > 0, suficientemente grande, tal que ∥t0 ϕ∥ > r y Jε (t0 ϕ) < 0.

31
Condición de Palais-Smale

Ahora se mostrará que el funcional Jε satisface la condición de Palais-Smale. Note que a

diferencia del problema (Pε′ ), la función g, que reemplaza a f , cumple las propiedades
(f1 )-(f4 ), pero además verifica la propiedad (g5 ). Esta diferencia es la que permite
demostrar que Jε satisface la condición de Palais-Smale.
A continuación se muestran algunos lemas que serán utilizados en la demostración.

Lema 2.1.4 ([2]). Sea (un ) una sucesión de Palais-Smale en el nivel c para Jϵ , entonces
(un ) es acotada en Hε .

Demostración. Por la Definición 1.2.8

Jε (un ) → c , Jε′ (un ) → 0. (2.19)

Del primer límite se tiene

|Jun | ≤ M, ∀n ∈ N, (2.20)

esto debido a que toda sucesión convergente en R es acotada.

Ahora, del segundo límite en (2.19) se tiene que para ρ > 0, existe n0 ∈ N tal que

∥Jε′ (un )∥∗ ≤ ρ, ∀n > n0 ,

y por definición de la norma de un funcional

|Jε′ (un )un | ≤ ρ∥un ∥ε , ∀n > n0 . (2.21)

Usando las definiciones de Jε y Jε′ (un )

1 1 1 1Z
 
Jε (un ) − Jε′ (un )(un ) = − ∥un ∥2ε + [gε (x, un )un − θGε (x, un )] dx.
θ 2 θ θ RN

Sea ∆n = Ω ∪ {x ∈ Ωc : un (x) < a}. Por las Definiciones (2.7) y (2.8), gε (x, un ) =
f (un ), Gε (x, un ) = F (un ), ∀x ∈ ∆n . De manera que usando (f3 )
Z
[gε (x, un )un − θGε (x, un )] ≥ 0.
∆n

Por lo que
Z Z
[gε (x, un )un − θGε (x, un )] dx ≥ [gε (x, un )un − θGε (x, un )] dx, (2.22)
RN RN /∆n

32
y consecuentemente

1 ′ 1 1 1Z
 
Jε (un )− Jε (un )(un ) ≥ − ∥un ∥ε +
2
[gε (x, un )un −θGε (x, un )] dx. (2.23)
θ 2 θ θ RN /∆n

Se sabe que ∆c = Ωc ∩ [un ≥ a]. Así, gε (x, un ) = V0

k n
u y Gε (x, un ) = V0 2
u
2k n
para todo
x ∈ ∆c . De lo anterior

1Z 2−θ Z
[gε (x, un )un − θGε (x, un )] dx = V0 u2n dx. (2.24)
θ RN /∆n 2kθ RN /∆n

Usando que θ > 2 y que k > 2

2−θ Z 2−θ
V0 u2n dx ≥ ∥u∥2ε . (2.25)
2kθ R /∆n
N 4θ

Reemplazando en (2.23)

1 θ−2
Jε (un ) − Jε′ (un )(un ) ≥ ∥un ∥2ϵ . (2.26)
θ 4θ

Además, usando (2.20) y (2.21)

1 ρ ρ ρ
Jε (un ) − Jε′ (un )(un ) ≤ M + ∥un ∥ε ≤ ∥un ∥2ε + + M, ∀n > n0 . (2.27)
θ θ θ θ

De (2.27) y (2.26)
θ − 2 − 4ρ ρ
∥un ∥2ε ≤ + M, ∀n > n0 , (2.28)
4θ θ
h  i1/2
tomando ρ, tal que θ − 2 − 4ρ > 0 y C = max{∥u1 ∥ε , ..., ∥un0 ∥ε , 4θ
θ−2−4ρ
ρ
θ
+M }
se concluye
∥un ∥ε ≤ C, ∀n ∈ N,

es decir, (un ) es acotada en Hε .

Lema 2.1.5 ([2]). Sea (un ) una sucesión de Palais-Smale para Jε . Entonces, para cada
ξ > 0 existe R = R(ξ) tal que
Z
lim sup [|∇un |2 + V (εx)|un |2 ] dx < ξ.
n→+∞ RN /BR (0)

Demostración. Dado ρ > 0, fije R > 0 y considere ηR ∈ C ∞ (RN ) tal que



 0, x ∈ B R
ηR (x) = 2

1, x ∈ R /BR ,
N



con 0 ≤ ηR ≤ 1 y |∇ηR | ≤ C
R
.

33
 La sucesión (ηR un ) es acotada en Hε . En efecto,
Z Z 1
2
∥ηR un ∥ε = |∇ηR un | dx + 2
V (εx)|ηR un | dx 2
RN RN
Z Z 1
2
= |un ∇ηR + ηR ∇un | dx + 2
V (εx)|ηR un | dx 2
RN RN
!1
22 C 2 Z Z Z 2
≤ |un | dx + 2
2 2
|∇un | dx + 2
V (εx)|ηR un | dx 2
.
R2 RN RN RN

22 C 2
Tomando R suficientemente grande tal que R2
< V0 ,
22 C 2 Z Z
2
|un | dx ≤ V (εx)|un |2 dx.
R2 RN RN

Luego,
 Z Z 1
2
∥ηR un ∥ε ≤ 2 2
|∇un | dx + 2
2
V (εx)|un | dx 2
≤ 2∥un ∥ε .
RN RN

Como (un ) es una sucesión de Palais-Smale para Jε , entonces, del Lema 2.2.2 se
sigue que existe M > 0 tal que ∥un ∥ε ≤ M, ∀n ∈ N y consecuentemente ∥ηR un ∥ε ≤
2M, ∀n ∈ N, es decir, (ηR un ) es acotada en Hε .
Ahora, se cumple que
Z Z Z
ηR [|∇un |2 +V (εx)|un |2 ] dx = Jε′ (un )ηR un + gε (x, un )ηR un dx− un ∇un ∇ηR dx.
RN RN RN

Tomando R suficientemente grande, de manera que Ωε ⊂ B R , se cumplirá por

2

definición que ηR = 0 en Ωε . Entonces

Z Z
ηR [|∇un | + V (εx)|un | ] dx =
2 2
Jε′ (un )ηR un + gε (x, un )ηR un dx
RN /Ωε RN /Ωε
Z
− un ∇un ∇ηR dx.
RN /Ωε

Usando (g5 ) y que ηR ≥ 0

Z Z
1
ηR [|∇un |2 + V (εx)|un |2 ] dx ≤ Jε′ (un )ηR un + V (εx)|un |2 ηR dx
RN /Ωε RN /Ωε k
1 Z Z
+ ηR |∇un | dx −2
un ∇un ∇ηR dx.
k RN /Ωε RN /Ωε

Agrupando y acotando la última integral con su valor absoluto

1 Z CZ
 
1− ηR [|∇un | + V (εx)|un | ] dx ≤ Jε (un )ηR un +
2 2 ′
|un ||∇un | dx.
k RN /Ωε R RN /Ωε
 −1
Denotando C1 = 1 − 1
k
y aplicando el Teorema 1.2.3 en la última integral
!1
Z
C 2
Z 2
ηR [|∇un |2 + V (εx)|un |2 ] dx ≤ C1 Jε′ (un )ηR un + |∇un | dx ,
RN /Ωε R RN /Ωε

34
 1
con C2 = C1 CM 2 , donde M es la constante que acota a (un ) en Hε y consecuentemente,
múltiplicada por una constante, también en L2 (RN /Ωε ).
Por otra parte, como RN /BR ⊂ RN /Ωε y ηR = 1 en RN /BR
Z Z
[|∇un | + V (εx)|un | ] dx ≤
2 2
ηR [|∇un |2 + V (εx)|un |2 ] dx,
RN /BR RN /Ωε

por lo que
!1
Z
C2 Z 2
[|∇un | + V (εx)|un | ] dx ≤ C1 Jε (un )ηR un +
2 2 ′
|∇un | dx (2.29)
RN /BR R RN /Ωε
C3
≤ C1 Jε′ (un )ηR un + ∥un ∥ε . (2.30)
R
Como (un ) y (ηR un ) son acotadas en Hε y (un ) es una sucesión de Palais-Smale, entonces
C3 C5
C1 Jε′ (un )ηR un → 0 y ∥un ∥ε ≤ .
R R
Pasando al límite superior para n → +∞ en (2.30)
Z
C5
lim sup [|∇un |2 + V (εx)|un |2 ] ≤ .
n→+∞ RN /B R R
Escogiendo R de tal manera que C5
R
< ρ concluimos que
Z
lim sup [|∇un |2 + V (εx)|un |2 ] ≤ ρ.
n→+∞ RN /B R

Proposición 2.1.5. Jε satisface la condición de Palais-Smale.

Demostración. Sea (un ) una sucesión de Palais-Smale de nivel c para Jε . Del Lema
2.2.2 se sigue que (un ) es acotada en Hε . Como Hε es un espacio reflexivo, entonces,
existe u ∈ Hε tal que, para al menos una subsucesión, denotada nuevamente por (un ),
se cumple un ⇀ u.
Por definición
Z Z
∥un − u∥2ε = |∇(un − u)|2 dx + V (εx)|un − n|2 dx (2.31)
RN RN
Z Z
≤ [|∇un |2 − 2∇un ∇u + |∇u|2 ] dx + V (εx)[|un |2 − 2un u + |u|2 ] dx
RN RN

(2.32)

Observe que
Z Z Z
Jε′ (un )un + gε (x, un )un dx = |∇un | dx +
2
V (εx)|un |2 dx (2.33)
RN RN RN

35
y
Z Z Z
Jε′ (un )u + gε (x, un )u dx = ∇un ∇u dx + V (εx)un u dx (2.34)
RN RN RN

Juntando (2.33) y (2.34) en (2.32)

Z
∥un − u∥2ε ≤ Jε′ (un )un + gε (x, un )un dx − Jε′ (un )u
RN
Z Z
− ∇u∇(un − u) dx − V (εx)u(un − u) dx
RN RN

Debido a que (un ) es una sucesión de Palais-Smale, Jε′ (un )un = on (1) = Jε′ (un )u,
Z Z
∥un − u∥2ε ≤ on (1) + gε (x, un )un dx − gε (x, un )u dx
RN RN
Z Z
− ∇u∇(un − u) dx − V (εx)u(un − u) dx.
RN RN

Es claro que h1 (v) = ∇u∇v dx ∈ (H 1 (RN ))′ y h2 (v) = V (εx)uv dx ∈ (H 1 (RN ))′ .
R R
RN RN

Como un − u ⇀ 0, entonces h1 (un − u) → h1 (0) = 0 y h2 (un − u) → h2 (0) = 0,

Z Z
∥un − u∥ ≤ gε (x, un )un dx − gε (x, un )u dx + on (1).
RN RN

Queda comprobar que gε (x, un )un dx − gε (x, un )u dx → 0.

R R
RN RN

Note que
Z Z
[gε (x, un )un − gε (x, un )u] dx = [gε (x, un )un − gε (x, un )u] dx
RN RN /BR
Z
+ [gε (x, un )un − gε (x, un )u] dx
BR

De las inmersiones Hε ,→ H 1 (BR ) ,→ Lp (BR ), donde la última es compacta, se sigue

que al menos una subsucesión un converge a u en Lp (BR ). Además, por el Teorema
1.2.4, existe h ∈ Lp (BR ) tal que

un → u c.t.p en BR y |un | ≤ h, ∀n ∈ N, c.t.p en BR

Así, gε (x, un )un − gε (x, un )u → 0 c.t.p en BR y por la Proposición 2.2, dado ρ > 0,
existen Mρ y cρ tal que

|gε (x, un )un − gε (x, un )u| ≤ Mρ |h|2 + cρ |h|p + Mρ |h||u| + cρ |h|p−1 |u|.

Usando el Teorema 1.2.3 con los exponentes p

p−1
y p, se concluye que |h|p−1 |u| ∈ L1 (BR ).
De igual manera, como Lp (BR ) ,→ L2 (BR ), |h||u| ∈ L1 (BR ). Luego,

Mρ |h|2 + cρ |h|p + Mρ |h||u| + cρ |h|p−1 |u| ∈ L1 (BR ).

36
Por el Teorema 1.2.2, existe n0 ∈ N tal que
Z
δ
[gε (x, un )un − gε (x, un )u] dx < , ∀n > n0 . (2.35)
BR 3
Ahora, para la otra integral, por la Proposición 2.2.2
Z
gε (x, un )un dx ≤ C1 ∥un ∥2L2 (RN /BR ) + C2 ∥un ∥pLp (RN /BR ) .
RN /B R

Por el Teorema 1.2.6, Hε (RN /BR ) ,→ Lr (RN /BR ), para 2 ≤ r ≤ p,

Z
gε (x, un )un dx ≤ C3 ∥un ∥2Hε (RN /BR ) + C4 ∥un ∥2Hε (RN /BR ) .
RN /BR

Del Lema 2.2.3, para δ > 0, existe R > 0 tal que

δ
lim sup ∥un ∥2Hε (RN /BR ) < .
n→+∞ 6C3
y
δ
lim sup ∥un ∥pHε (RN /BR ) < .
n→+∞ 6C4
De manera que
Z
δ
lim sup gε (x, un )un dx < . (2.36)
n→+∞ RN /BR 3
Además, por la Proposición 2.2.2
Z Z Z
gε (x, un )un dx ≤ C5 |un ||u| dx + C6 |un |p−1 |u| dx.
RN /BR RN /BR RN /BR

Usando el Teorema 1.2.3 y el hecho de que (un ) es acotada en Hε

Z
gε (x, un )un dx ≤ C7 ∥u∥L2 (RN /BR ) + C8 ∥u∥Lp (RN /BR ) .
RN /BR

Para R > 0 suficientemente grande

Z
δ
gε (x, un )un dx < (2.37)
RN /BR 3
Juntando (2.33), (2.34) y (2.35) se tiene que para R > 0 suficientemente grande
existe N0 ∈ N tal que
Z Z Z Z
gε (x, un )un dx − gε (x, un )u dx ≤ gε (x, un )un dx − gε (x, un )u dx
RN RN BR BR
Z Z
+ gε (x, un )un dx + gε (x, un )u dx
RN /BR RN /BR

< δ, ∀n > N0 .

Concluimos entonces que (un ) converge a u en Hε .

37
2.1.3 Existencia de soluciones para el problema auxiliar

Teorema 2.1.3 ([5]). Suponga que V y f satisfacen (V1 )-(V3 ) y (f1 )-(f4 ), respetiva-
mente. Entonces, el problema (APε ) tiene solución para todo ϵ > 0.

Demostración. En Sección 2.2.3 se mostró que el funcional Jε satiface las condiciones

del Teorema del Paso de la Montaña, siendo

cε = inf max Jε (γ(t)),

y∈γ t∈[0,1]

con
Γ = {γ ∈ C([0, 1], Hε ) : γ(0) = 0, Jε (γ(1)) < 0}.

Por el Teorema 1.2.8, existe uε ∈ Hε tal que

Jε (uε ) = cε > 0 y Jε′ (uε ) = 0.

Pero los puntos críticos de Jε son soluciones débiles de (AP )ε , por lo que para todo
ε > 0, existe uε ∈ Hε que es solución de (AP )ε .

Lema 2.1.6. Si uε es solución de (AP )ε , entonces uε es una solución no negativa.

Demostración. Como uε es solución de (AP )ε , entonces

Jε′ (uε )v = 0, ∀v ∈ Hε .

ε,
En particular, tomando v = u−
Z Z Z
0= ∇uε ∇u−
ε dx + V (εx)uε u−
ε dx − gε (x, uε )u−
ε dx
RN RN RN
Z Z Z
= |∇u−
ε | dx + V (εx)|u−
ε|
2
dx − gε (x, uε )u−
ε dx,
[uε <0] [uε <0] [uε <0]

pero usando (g1 )

Z Z
0= ε | dx +
|∇u− V (εx)|u−
ε | dx = ∥uε ∥ε .
2 −
[uε <0] [uε <0]

Por lo que u−
ε = 0 c.t.p en R , es decir, uε ≥ 0 c.t.p en R .
N N

Usando teoría de regularidad es posible demostrar que las soluciones del problema
(AP )ε están en L∞ (RN ) ∩ C 1,α (RN ).
Para demostrar la positividad de las soluciones del problema (AP )ε se usará un
resultado obtenido por Trudinger en [15].

38
Proposición 2.1.6. Si uε es solución de (AP )ε , entonces uε es positiva.

Demostración. La demostración se realizará por contradicción. Suponga que existe

x0 ∈ RN tal que uε (x0 ) = 0. Sea y ∈ RN arbitrario y K(l) un cubo de lado l > 0
centrado en x0 tal que y ∈ K(l).
Tome r > 0 suficienteme grande de manera que K(3l) ⊂ Br . Luego, uε es solución
del problema 

 −∆u + V (εx)u = gε (x, u) en K(3l).
(Qε )
u ∈ H 1 (Ω)



Dado que uε ∈ L∞ (RN ) ∩ C 1,α (RN ), existe M > 0 tal que |uε | < M . Se definen
A : Br × (−M, M ) × RN → RN y B : Br × (−M, M ) × RN → R de manera que
A(x, u, p) = p y B(x, u, p) = V (εx)u − gε (x, u).
Es claro que como uε es solución de (Qε ), entonces también es solución de

divA(x, u(x), ∇u(x)) = B(x, u(x), ∇u(x)) en Br .

Además,
|A(x, u, p)| = p ≤ a0 |p|α−1 + |a1 (x)u|α−1 + (a3 (x))α−1 ,

p · A(x, u, p) = |p|2 ≥ |p|α − |a2 (x)u|α − (a4 (x))α ,

|B(x, u, p)| = |V (εx)u − gε (x, u)| ≤ |V (εx)u| + |gε (x, u)|

≤ V∞ |u| + Mρ |u| + cρ |u|p−1

≤ (V∞ + Mρ + cρ |M |p−2 )|u|

≤ b0 |p|α + b1 (x)|p|α−1 + (b2 (x))α |u|α−1 + (b3 (x))α ,

q
siendo α = 2, a0 = 1, a1 , a2 , a3 , a4 = 0 y b0 , b1 , b3 = 0, b2 (x) = V∞ + Mρ + cρ |M |p−2 .
Por lo que, cumpliendose todas las hipótesis del Teorema 1.1 en [15], entonces

max uε (x) ≤ C min uε (x),

K(l) K(l)

siendo C una constante. Ahora, usando la continuidad de uε

0 ≤ uε (y) ≤ max uε (x) ≤ C min uε (x) ≤ uε (x0 ) = 0,

K(l) K(l)

es decir, uε (y) = 0. Como y es arbitrario, se concluye que u = 0 en RN , pero esto

contradice que
0 = Jε (uε ) = cε > 0.

Por lo tanto, uε > 0 en RN .

39
2.1.4 Algunas propiedades de las soluciones del problema aux-
iliar

De ahora en adelante, considere que Ω es una bola centrada en el origen.

Lema 2.1.7 ([5]). Para todo ε > 0, una solución uϵ de (AP )ε satisface la siguiente
desigualdad
∥uε ∥2ε ≤ 2Kcε .

Demostración. Usando el hecho de que uε es punto crítico de Jε ,

1
cε = Jε (uε ) = Jε (uε ) − Jε′ (uε )uε
θZ
1 1 1Z
= ∥uε ∥ε −2
Gε (x, uε ) dx − ∥uε ∥ε + 2
gε (x, uε )uε dx
2 RN θ θ RN
1 1 1
  Z
= − ∥uε ∥2ε + [gε (x, uε )uε − θGε (x, uε )] dx.
2 θ θ RN
Sea Λ = {x ∈ RN , (x, uε (x)) ∈ (Ωε × R) ∪ (Ωcε × (−∞, a])}. Por (g4 ) y (g1 ),
[gε (x, uε )uε − θGε (x, uε ) ≥ 0, ∀(x, u(x)) ∈ Ωε × R. Si (x, u(x)) ∈ Ωcε × (0, a], entonces
gε (x, uε (x)) = f˜(u(x)) = f (u(x)) y Gε (x, uε (x)) = F (u(x)), de manera que usando
(f4 ), 1R
[g (x, uε )uε
θ Λ ε
− θGε (x, uε )] dx ≥ 0, entonces
1 1 1Z
 
cε ≥ − ∥uε ∥ε +
2
[gε (x, uε )uε − θGε (x, uε )] dx.
2 θ θ RN /Λ
Note que Λc = Ωc × [a, +∞). De manera que gε (x, uε ) = f˜(uε ) = V0
k ε
u y Gε (x, uε ) =
F (a) − af (a)
2
+ V0 2
u
2k ε
para todo (x, u(x)) ∈ Ωc × [a, +∞). Además, por (g5 ), 2F (a) −
af (a) = 2Gε (x, a) − agε (x, a) < 0. Así,
1 1 2−θ Z
 
cε ≥ − ∥uε ∥ε +
2
V0 u2ε dx.
2 θ 2kθ RN /Λ
Recordando que 2 − θ < 0 y 0 < V0 ≤ V (x), ∀x ∈ RN
1 1 2−θ Z
 
cε ≥ − ∥uε ∥ε +
2
V (εx)u2ε dx,
2 θ 2kθ R N

siendo k > 2,
1 1 2−θ Z
 
cε ≥ − ∥uε ∥2ε + V (εx)u2ε dx
2 θ 4θ RN
1 1 2−θ Z 2−θ Z
 
≥ − ∥uε ∥2ε + V (εx)u2ε dx + |∇uε |2 dx.
2 θ 4θ R N 4θ R N

Usando la deifinición de ∥ · ∥ε
θ−2
cε ≥ ∥uε ∥2ε ,
4θ

40
o sea, cε ≥ 1
2K
∥uε ∥2ε , con K = 2θ
θ−2
.

Lema 2.1.8. Dado ε0 > 0, existe M = M (a, ε0 ) tal que

∥uε ∥ε ≤ M, ∀ε ∈ (0, ε0 ).

Demostración. Sea ε0 > 0, x0 ∈ Ω y ϕ ∈ C0∞ (RN , [0, 2a]) tal que



 2a, x ∈ Br (x0 )
ϕ(x) = 
 0, x ∈ RN /B2r (x0 ),

con B2r (x0 ) ⊂ Ω.

Para t ≥ 1 se cumple

1Z Z
Jε (tϕ) = [|∇(tϕ)|2 + V (εx)t2 ϕ2 ] dx − Gε (x, tϕ) dx
2 RN RN
t2 Z Z
= [|∇ϕ| + V (εx)ϕ ] dx −
2 2
Gε (x, tϕ) dx
2 RN RN
t2 Z Z
≤ [|∇ϕ|2 + V (εx)ϕ2 ] dx − Gε (x, tϕ) dx.
2 RN [ϕ>a]∩B r (x0 )
ε

Además,

t2 Z Z
Jε (tϕ) ≤ [|∇ϕ| + V∞ ϕ ] dx −
2 2
Gε (x, tϕ) dx.
2 RN [ϕ>a]∩B r (x0 )
ε

Por definición, supp ϕ ⊂ B2r (x0 ) ⊂ Ω. Entonces, Gε (x, tϕ) = F (tϕ) para todo x ∈ RN .
Luego, por el Lema 2.1.2, para todo t ≥ 1 y para todo ε ∈ (0, ε0 ), Gε (x, tϕ) = F (tϕ) ≥
d1 tθ ϕθ − d2 .
Así,

t2 Z Z
Jε (tϕ) ≤ [|∇ϕ|2 + V∞ ϕ2 ] dx − F (tϕ) dx
2 RN [ϕ>a]∩B r (x0 )
ε

t2 Z Z
≤ [|∇ϕ|2 + V∞ ϕ2 ] dx − d1 tθ |ϕ|θ dx + d2 |Ω|.
2 RN [ϕ>a]∩B r (x0 )
ε

Sea h : R → R tal que

t2 Z Z
h(t) = [|∇ϕ| + V∞ ϕ ] dx − d1 t
2 2 θ
|ϕ|θ dx + d2 |Ω|, t ≥ 0.
2 RN [ϕ>a]∩B r
ε
(x0 )
0

Como θ > 2, entonces h(t) → −∞ para t → +∞. Luego, existe t0 = t0 (a, ε0 ) tal que

Jε (t0 ϕ) ≤ h(t0 ) < 0, ∀ε ∈ (0, ε0 ).

41
Ahora considere el camino γ0 : [0, 1] → Hε tal que γ0 (s) = st0 ϕ.
Es claro que γ0 es continua y

γ0 (0) = 0 y Jε (γ0 (1)) < 0, ∀ε ∈ (0, ε0 ),

es decir, γ0 ∈ Γ = {γ ∈ C([0, 1], Hε ), γ(0) = 0 y Jε (γ(1)) < 0}.

Además,
1Z
Jε (tϕ) ≤ [|∇ϕ|2 + V∞ ϕ2 ] dx, ∀t ∈ [0, 1]
2 RN
Considerando M0 = maxt∈[1,t0 ] h(t),

cε ≤ max Jε (γ0 (s)) = max Jε (st0 ϕ) = max Jε (tϕ) ≤ M1 ,

s∈[0,1] s∈[0,1] t∈[0,t0 ]

donde M1 = M1 (a, ε0 ) = max{ 21 RN [|∇ϕ|2 + V∞ ϕ2 ] dx, M0 }.

R

√
Por el Lema 2.3.1, ∥uε ∥2ε ≤ 2Kcε ≤ 2kM1 . Por lo tanto, existe M = 2KM1 tal
que
∥uε ∥ε ≤ M, ∀ε ∈ (0, ε0 ).

2.1.5 Existencia de soluciones para el problema (Pϵ )

En las secciones anteriores se trabajó con Ω siendo un conjunto abierto y acotado

arbitrario. Ahora, para cada ε > 0 definimos g ε : RN × R → R tal que

g ε (x, s) = χB 1 (x)f (s) + (1 − χB 1 )f˜(s).

ε ε

Para N = 1 y ε = 1 el gráfico de la función g sería el siguiente

Figure 2.2: Gráfico de la función g ε considerando f (s) = s1.5 , s ≥ 0 y V0

k
= 2.

42
 Luego, por lo demostrado en la sección 2.2, existe uε ∈ Hε que es solución de

−∆u + V (εx)u = g ε (εx, u) en RN ,






u>0 en RN , (Tε )



u ∈ H 1 (RN ).




Lema 2.1.9 ([5]). Sea uε solulución de (Tε ). Entonces max uε (x) → 0 para ε → 0,
x∈∂B Rε
ε
con Rε = 1
ε
.

Demostración. La demostración se realizará por contradicción. Suponga que existe

una sucesión (εn ) tal que εn → 0 y

max uεn (x) ≥ γ, ∀n ∈ N, (2.38)

x∈∂B Rεn
εn

donde γ > 0 (no puede ser negativo debido a la positividad de las soluciones). Para
cada n ∈ N se fija xn ∈ ∂B Rεn tal que
εn

un (xn ) = max uεn (x), (2.39)

x∈∂B Rεn
εn

donde un = uεn . Debido a lo anterior, un (xn ) ≥ γ, ∀n ∈ N.

Definamos wn (x) = un (x + xn ). Mediante un cambio de variable es posible de-
mostrar que wn es solución de

−∆wn + V (εn x + εn xn )wn = g εn (εn x + εn xn , wn ) en RN ,






 wn > 0 en RN , (Sn )


wn ∈ Hε (RN ).




Utilizando métodos iterativos de mejoramiento regular es posible mostrar mostrar

que (wn ) converge uniformemente, en subconjuntos compactos de RN , para su límite
débil w ∈ Hε ∩ C(RN , R). Observe que w(0) = lim wn (0) = lim un (xn ) ≥ γ.
n→+∞ n→+∞
Debido a que w es continua existe una bola, de medida diferente de 0, donde w(x) > 0
para todo x en la bola y por lo cual w ̸= 0.
Debido a que V es acotada en todo RN , entonces (V (εn xn )) es una sucesión acotada
de números reales y por el Teorema de Bolzano-Weierstrass, existe una subsucesión,
que seguiremos denotando (εn xn ), tal que

α = lim V (εn xn ),
n→+∞

43
para algún α > 0.
Pasaremos a demostrar que w es una solución no trivial del problema

∆u − αu + g̃(x, u) = 0, x ∈ RN , (2.40)

donde g̃(x, s) = χ̃(x)f (s) + (1 − χ̃(x))f˜(s), para alguna función χ̃ ∈ L∞ (RN ).

Como wn es solución del problema (Sn ), para toda v ∈ Hε
Z Z Z
∇wn ∇v dx + V (εn x + εn xn )wn v dx = g εn (εn x + εn xn , wn )v dx. (2.41)
RN RN RN

Por la densidad de C0∞ (RN ) en Hε , existe una sucesión (ϕk ) ⊂ C0∞ (RN ) que converge
a v en Hε . Siendo, wn solución de (Sn ), entonces
Z Z Z
∇wn ∇ϕk dx + V (εn x + εn xn )wn ϕk dx = g εn (εn x + εn xn , wn )ϕk dx. (2.42)
RN RN RN

Para mostrar que w es solución de (2.40) se probarán tres límites que se cumple
para todo k ∈ N

1. ∇wn ∇ϕk dx → ∇w∇ϕk .

R R
RN RN

En efecto, recuerde que wn ⇀ w en H 1 (RN ). Luego, se tiene que ∂wn

∂xi
⇀ ∂w
∂xi
, ∀i ∈
{1, 2, ..., N } en L2 (RN ). Como ∂ϕk
∂xi
∈ L2 (RN ), ∀i ∈ {1, 2, ..., N }, entonces, por
definición de convergencia débil
Z Z
∇wn ∇ϕk dx → ∇w∇ϕk
RN RN

2. V (εn x + εn xn )wn ϕk dx →
R R
RN RN αwϕk dx.

En efecto, como V es continua

lim V (εn x + εn xn ) = V ( lim εn x + lim εn xn ) = lim V (εn xn ) = α.

n→+∞ n→+∞ n→+∞ n→+∞

Recuerde que wn converge uniformemente a w en K = supp ϕk . Entonces, dado

ϵ > 0, existe un n0 ∈ N tal que

|w(x) − wn (x)| ≤ ϵ, ∀x ∈ K, ∀n > n0 ,

de manera que |wn (x)| ≤ |w(x)| + ϵ, ∀x ∈ K, ∀n > n0 . Note que como wn y w

son continuas, entonces poseen un máximo en K. Sea C1 > 0 tal que

|wn (x)| ≤ C1 , ∀x ∈ K, ∀n ∈ {1, 2, ..., n0 }

44
 y C2 tal que |w(x)| ≤ C2 , ∀x ∈ K. Tomando C = max{C1 , C2 + ϵ},

|V (εn x + εn xn )wn (x)ϕk (x)| ≤ CV∞ ϕk ∈ L1 (K).

Además, V (εn x+εn xn )wn (x)ϕk (x) → αw(x)ϕk (x) c.t.p en K. Por lo que, usando
el Teorema 1.2.2 y el hecho de que ϕk tiene soporte compacto
Z Z
V (εn x + εn xn )wn ϕk dx → αwϕk dx.
RN RN

3. g εn (εn x + εn xn , wn )ϕk dx →
R R
RN RN g̃(x, w)ϕk dx.

En efecto, por la Proposición 2.2.2 y el acotamiento de wn en K visto en 2

|g εn (εn x + εn xn , wn )ϕk | ≤ (Mρ C + cρ C p−1 )|ϕk | ∈ L1 (K).

Además, como wn → w uniformemente en K, entonces g εn (εn x + εn xn , wn )ϕk →

g̃(x, w)ϕk c.t.p en K. Usando el Teorema 1.2.2
Z Z
g (εn x + εn xn , wn )ϕk dx →
εn
g̃(x, w)ϕk dx
RN RN

Ahora, tomando límite para n → +∞ en la ecuación (2.42)

Z Z Z
∇w∇ϕk dx + αwϕk dx = g̃(x, w)ϕk dx. (2.43)
RN RN RN

De la convergencia de (ϕk ) a v en Hε y por las inmersiones Hε ,→ L2 (RN ), Hε ,→

Lp (RN ) (Teorema 1.2.6) se sigue que

∥ϕk − v∥2 ≤ C1 ∥ϕk − v∥ε → 0,

∥ϕk − v∥p ≤ C2 ∥ϕk − v∥ε → 0

y
∥∇ϕk − ∇v∥2 ≤ C3 ∥ϕk − v∥ε → 0.

Por el Teorema 1.2.4, existe una subsucesión, que se denotará (ϕk ) nuevamente, que
converge a v c.t.p en RN y existen h1 ∈ L2 (RN ), h2 ∈ Lp (RN ) y h3 ∈ L2 (RN ) tal que
para todo k ∈ N
|ϕk | ≤ h1 , |ϕk | ≤ h2 , |∇ϕk | ≤ h3 en RN . (2.44)

Por lo anterior
∇w∇ϕk + αwϕk → ∇w∇v + αwv c.t.p en RN , (2.45)

45
y
|∇w∇ϕk + αwϕk | ≤ C|∇w|h3 + α|w|h1 ∈ L1 (RN ), (2.46)

donde para garantizar que el miembro derecho de la desigualdad está en L1 (RN ) se usó
el Teorema 1.2.3.
Luego, por el Teorema 1.2.2,
Z Z Z Z
∇w∇ϕk dx + αwϕk dx → ∇w∇v dx + αwv dx.
RN RN RN RN

Además, se tiene que g̃(x, w)ϕk → g̃(x, w)v c.t.p en RN , y por la definición de g̃

|g̃(x, w)ϕk | = |χ̃(x)f (w)ϕk + (1 − χ̃(x))f˜(w)ϕk |.

Del Lema 2.1.1,

|f (w)| ≤ ρ|w| + cρ |w|p−1

y del Lema 2.2.1

|f˜(w)| ≤ c1 |w| + c2 |w|p−1 .

Como χ̃ ∈ L∞ (RN ), entonces

|g̃(x, w)ϕk | ≤ r1 |w|h1 + r2 |w|p−1 h2 ∈ L2 (RN ),

donde r1 , r2 son constantes dadas por las desigualdades anteriores y la función χ̃. Para
garantizar que el miembro derecho de la desigualdad está en L1 (RN ) se usó el Teorema
p
1.2.3 con |w|p−1 ∈ L p−1 (RN ), h ∈ Lp (RN ) y p−1
p
+ 1
p
= 1.
Usando el Teorema 1.2.2
Z Z
g̃(x, w)ϕk dx → g̃(x, w)v dx.
RN RN

Así, tomando límite para k → ∞ en (2.43)

Z Z Z
∇w∇v dx + αwv dx = g̃(x, w)v dx, ∀v ∈ Hε . (2.47)
RN RN RN

Por lo cual, w es solución del problema (2.40).

Para cada j ∈ N, debido a la densidad de C0∞ (RN ) en H 1 (RN ), existe ϕj ∈ C0∞ (RN )
tal que
1
∥ϕj − w∥H 1 ≤ , (2.48)
j
es decir, ∥ϕj − w∥H 1 = oj (1).

46
 ∂ϕj
Usando ∂xi
como función test en (2.41)
Z
∂ϕj Z
∂ϕj Z
∂ϕj
∇wn ∇ dx + V (εn x + εn xn )wn dx = g εn (εn x + εn xn , wn ) dx
RN ∂xi RN ∂xi RN ∂xi
(2.49)
∂ϕj
De manera similar a lo hecho anteriormente en 1,2 y 3, como ∂xi
tiene soporte compacto
y wn → w uniformemente en conjuntos compactos, entonces
Z
∂ϕj Z
∂ϕj
∇wn ∇ dx = ∇w∇ dx + on (1), (2.50)
RN ∂xi RN ∂xi

Z
∂ϕj Z
∂ϕj
g εn (εn x + εn xn , wn ) dx = g̃(x, w) dx + on (1). (2.51)
RN ∂xi RN ∂xi
y
Z
∂ϕj Z
∂ϕj
V (εn xn )wn dx = αw dx + on (1) (2.52)
RN ∂xi RN ∂xi
Z
∂ϕj Z
∂ϕj
= g̃(x, w) dx + ∇w∇ dx + on (1), (2.53)
RN ∂xi RN ∂xi

donde en la parte final se usó (2.47).

Ahora, restando (2.53) de (2.49) y usando (2.50) y (2.51)

Z
∂ϕj
(V (εn x + εn xn ) − V (εn xn ))wn = on (1). (2.54)
RN ∂xi
Pasando al límite superior
Z
∂ϕj
lim sup (V (εn x + εn xn ) − V (εn xn ))wn dx = 0. (2.55)
n→+∞ RN ∂xi

Como ϕj tiene soporte compacto y wn → w uniformemente en conjuntos compactos

Z
∂ϕj
lim sup (V (εn x + εn xn ) − V (εn xn ))w dx = 0, (2.56)
n→+∞ RN ∂xi

pero ϕj → w en H 1 (RN ),
 
∂ϕj
entonces ∂xi
converge a ∂w
∂xi
en L2 (RN ). Así, por el Teorema 1.2.4 existe una
j
función en L2 (RN ) que acota a la sucesión. Luego,
Z
∂ϕj
lim sup (V (εn x + εn xn ) − V (εn xn ))ϕj dx = oj (1), (2.57)
n→+∞ RN ∂xi

es decir,
Z
1 ∂ϕ2
lim sup (V (εn x + εn xn ) − V (εn xn )) j dx = oj (1). (2.58)
n→+∞ RN 2 ∂xi

47
Integrando por partes y usando que ϕj tiene soporte compacto
Z
∂V
lim sup (εn x + εn xn )|ϕj |2 = oj (1). (2.59)
n→+∞ RN ∂xi

Ahora veamos que RN ∂xi (εn x

∂V
+ εn xn )|ϕj |2 dx − RN ∂xi (εn xn )|ϕj |
∂V 2
= on (1) para todo
R R

j ∈ N.
En efecto, por el Teorema del Valor Medio, existe s ∈ (0, 1) tal que
N
∂V ∂V ∂ 2V
(εn x + εn xn )|ϕj |2 − (εn xn )|ϕj |2 = (εn xn + sεn x).(εn xl )|ϕj |2 . (2.60)
X
∂xi ∂xi l=1 ∂x l ∂x i

Por (V2 ), existe M > 0 tal que

∂ 2V
(z) ≤ M, ∀z ∈ RN , i, j ∈ {1, 2, ..., N }. (2.61)
∂xl ∂xi
Luego,
Z
∂V Z
∂V
(εn x + εn xn )|ϕj |2 dx − (εn xn )|ϕj |2 ≤ M εn Cj , (2.62)
RN ∂xi R ∂xi
N

donde Cj = |xl ||ϕj |2 dx < +∞.

PN R
l=1 RN

Tomando límite para n → +∞, como εn → 0, entonces

Z
∂V Z
∂V
(εn x + εn xn )|ϕj | dx −
2
(εn xn )|ϕj |2 = on (1). (2.63)
RN ∂xi RN ∂xi

Volviendo al problema original,

Z
∂V Z
∂V Z
∂V
(εn xn )|ϕj | dx ≤
2
(εn x + εn xn )|ϕj | dx −
2
(εn xn )|ϕj |2 dx +
RN ∂xi R ∂xi
N R ∂xi
N

(2.64)
Z
∂V
(εn x + εn xn )|ϕj |2 dx .
RN ∂xi
(2.65)

Usando lo mostrado recientemente,

Z
∂V Z
∂V
(εn xn )|ϕj |2 dx ≤ on (1) + (εn x + εn xn )|ϕj |2 dx , (2.66)
RN ∂xi RN ∂xi

y aplicando el límite superior, por (2.59)

Z
∂V
lim sup (εn xn )|ϕj |2 ≤ oj (1), (2.67)
n→+∞ RN ∂xi
Como |ϕj |2 dx no depende de n, entonces
R
RN
Z
∂V ∂V Z
lim sup (εn xn )|ϕj | = lim sup
2
(εn xn ) |ϕj |2 dx ≤ oj (1). (2.68)
n→+∞ RN ∂xi n→+∞ ∂xi RN

48
 Tomando límite cuando j → +∞
!
∂V Z
lim lim sup (εn xn ) |ϕj | dx = 0,
2
(2.69)
j→+∞ n→+∞ ∂xi RN

pero como ϕj → w en L2 (RN ), entonces

Z Z
|ϕj |2 dx → |w|2 dx > 0. (2.70)
RN RN

Esto implica que

∂V
lim lim sup (εn xn ) = 0, ∀i ∈ {1, 2, ..., N }. (2.71)
j→+∞ n→+∞ ∂xi

Por lo tanto, lim sup ∂V

(ε x )
∂xi n n
= 0, ∀i ∈ {1, 2, ..., N } y
n→+∞

∇V (εn xn ) → 0, n → +∞. (2.72)

De esto se concluye que (εn xn ) es una sucesión de Palais-Smale en α de V , lo cual

es absurdo ya que, por (V3 ), V satisface la condición de Palais-Smale, pero (εn xn ) no
posee ninguna subsucesión convergente en RN ya que xn ∈ ∂B Rε y
ε

Rε 1
|εn xn | = εn = → +∞, n → +∞.
εn εn

Ahora se pasará a probar el teorema principal de este trabajo.

Teorema 2.1.1. Del Lema 2.1.9, existe un ε0 > 0 tal que

max uε (x) < a, ∀ε ∈ (0, ε0 ). (2.73)

x∈∂B Rε
ε (0)

Considere la función


 0, x ∈ B̄ Rε (0)
ũε (x) = ε
(2.74)
(uε − a) , x ∈ R /B Rε (0),
+ N


ε

Se busca mostrar que existe ε0 > 0 tal que ũε ∈ Hε y ũε = 0, es decir, uε (x) < a, ∀x ∈
RN /B̄ Rε , ∀ε ∈ (0, ε0 ).
ε

Sea Uε = RN /B̄ Rε . El conjunto {x ∈ Uε , uε (x) > a} tiene medida finita. En efecto,

ε

por contradicción, si el conjunto tuviera medida infinita, entonces

Z Z Z
|uε |2 dx ≥ u2ε ≥ a2 dx = +∞.
RN Uε ∩[uε >a] Uε ∩[uε >a]

49
Lo cual no puede ocurrir ya que uε ∈ Hε . Luego,
Z Z Z
|(uε − a)+ |2 dx ≤ 22 u2ε dx + 22 + a2 dx < +∞.
Uε Uε ∩[uε >a] Uε ∩[uε >a]

Por lo que (uε − a)+ ∈ L2 (Uε ). Además,

Z Z
|∇(uε − a)+ |2 dx = |∇uε |2 dx < +∞,
Uε Uε ∩[uε >a]

es decir, (uε − a)+ ∈ H 1 (Uε ).

Dado que uε ∈ C(RN , R), entonces (uε − a)+ ∈ C(Uε , R). Por el Lema 2.1.9, existe
ε0 tal que uε < a, en ∂B Rε , para todo ε ∈ (0, ε0 ). Así, por definición, (uε − a)+ = 0 en
ε

∂Uε , es decir, (uε − a) ∈ H01 (Uε ) y por el Teorema 1.2.7, ũε ∈ Hε .

+

Ahora, como uε es solución de (Tε )

Z Z Z
∇uε ∇ũε dx + V (εx)uε ũε dx = g ε (εx, uε )ũε dx. (2.75)
RN RN RN

De la definición de ũε
Z Z Z Z
V0
∇uε ∇ũε dx + V (εx)uε ũε dx = g (εx, uε )ũε dx ≤
ε
uε ũε dx, (2.76)
Uε Uε Uε ∩[uε >a] Uε k

donde en la última desigualdad se usó la definición de g ε . La desigualdad anterior

implica que
V0
Z Z  
∇uε ∇ũε dx + V0 − uε ũε dx ≤ 0. (2.77)
Uε Uε k
Como ∇ũε = ∇uε en Uε ∩ [uε > 0] y ∇ũε = 0 en Uε /[uε > a], entonces
Z Z
0≤ |∇uε |2 dx = ∇uε ∇ũε dx. (2.78)
Uε ∩[uε >a] Uε

Debido a que k > 2, uε > 0 y ũε ≥ 0 se tiene

V0
Z Z  
0≤ ∇uε ∇ũε dx + V0 − uε ũε dx (2.79)
Uε Uε k

Juntando (2.77) y (2.79)

V0
Z  
V0 − uε ũε dx = 0,
Uε k

pero como uε > 0, entonces (uε − a)+ = 0 en RN /B Rε (0), es decir

ε

uε (x) ≤ a, ∀x ∈ RN /B Rε (0).
ε

Por lo tanto, uε es solución de (P )′ε .

50
2.2 Caso crítico
Se busca demostrar la existencia de una solución para el siguiente problema

∗ −2
−ε2 ∆u + V (x)u = f (u) + |u|2 u en RN ,






u>0 en RN , (Pε∗ )



u ∈ H 1 (RN ),




donde ∆ es el operador Laplaciano clásico, ε es un parámetro positivo, N ≥ 3, 2∗ = 2N

N −2

y V : RN → R una función de clase C 2 (RN ) llamada potencial que satisface la condición

de Palais-Smale, es decir,

(V1 ) V ∈ C 2 (RN ) y existen V∞ , V0 > 0 tales que

V∞ ≥ V (x) ≥ V0 , para todo x ∈ RN .

∂2V
(V2 ) V , ∂V
∂xi
y ∂xi ∂xj
son acotadas en RN para todo i, j ∈ {1, · · · , N }.

(V3 ) V verifica la condición de Palais-Smale, es decir, si (xn ) ⊂ RN es tal que (V (xn ))

es acotada y ∇V (xn ) → 0, entonces (xn ) posee una subsucesión convergente en
RN .

Por su parte, f : R → R es una función continua que verifica las siguientes propiedades:

(f1∗ ) lim sup f (s)

s
= 0.
s→0+

(f2∗ ) Existen p, p1 ∈ (2, 2∗ ) y λ > 0 tales que

f (s)
f (s) ≥ λsp1 −1 , ∀s > 0 y lim sup = 0.
s→+∞ sp−1

(f3∗ ) Existe un 2 < θ < 2∗ tal que

0 < θF (s) ≤ sf (s), ∀s > 0,

donde F (s) = f (t)dt.

Rs
0

(f4∗ ) Sea h : R+ → R tal que h(t) = f (t)

t
, entonces h es creciente.

(f5∗ ) f (s) = 0 para todo s ≤ 0.

51
Un ejemplo de una función que verifica las propiedades anteriores es:


 λ|x|q−2 x, x ≥ 0,
f (x) = 
 0, x < 0,
donde q ∈ (2, 2∗ ) y λ > 0.
El teorema principal que se planea demostrar es el siguiente:

Teorema 2.2.1. Suponga que V y f satisfacen (V1 )-(V3 ) y (f1∗ )-(f5∗ ), respectivamente.
Entonces, existe un ε0 > 0 tal que

a) Si N ≥ 4, (Pε∗ ) tiene solución para todo ε ∈ (0, ε0 ] y λ > 0.

b) Si N = 3, existe un λ0 > 0, idependiente de ε0 > 0, tal que (Pε∗ ) tiene solución

para todo ε ∈ (0, ε0 ] y λ ≥ λ0 .

2.2.1 La estructura variacional

Se trabajará con la misma norma definida para el caso subcrítico en H 1 (RN ).

Definición 2.2.1. Diremos que una función u ∈ Hε es solución débil del problema
(Pε∗ ) si
Z Z Z Z
∗ −2
ε2 ∇u∇vdx + V (x)uvdx = f (u)vdx + |u|2 uv dx, ∀v ∈ Hε .
RN RN RN RN

Con el fin de formular nuestro problema en una estrutura variacional más adecuada,
definimos el problema

∗ −2
−∆u + V (εx)u = f (u) + |u|2 u en RN ,






u>0 en RN , (Pε∗∗ )



u ∈ H 1 (RN ).



 
Usando el cambio de variable u(x) = v x
ε
, es posible mostrar que si v ∈ Hε es solución
de (Pε∗∗ ), entonces u ∈ Hε y es solución de (Pε∗ ).
Ahora se mostrarán algunos lemas que serán usados más adelante para demostrar
la regularidad del funcional asociado al problema auxiliar.

Lema 2.2.1. Dado ρ > 0, existe cρ tal que

|f (s)| ≤ ρ|s| + cρ |s|p−1 , ∀s ∈ R

y
ρ cρ
|F (s)| ≤ |s|2 + |s|p , ∀s ∈ R.
2 p

52
Demostración. Se procede de igual manera que en el Lema 2.1.1.

Lema 2.2.2. Existen d1 , d2 > 0 tales que, para todo s > 0

F (s) ≥ d1 sθ − d2

Demostración. Se procede de igual manera que en el Lema 2.1.2

2.2.2 Un problema auxiliar

Sean Ω ⊂ RN un dominio acotado, k > 2 y a ∈ R dado por

∗ −1
f (s) + s2
( )
V0
a = min s > 0, = , (2.80)
s k

con V0 > 0 definido en (V1 ). Usando estos valores definimos la función f˜ : R → R dada
por 
0, s ≤ 0,





f˜(s) =  f (s) + s2∗ −1 , 0 ≤ s ≤ a,

(2.81)


 V0 s, s ≥ a.


k

Note que debido a (f4∗ ) se cumple que f˜(s) ≤ f (s) + s2 −1 para todo s ∈ R. Con esta
∗

nueva función y el dominio Ω definimos la función g : RN × R → R dada por


) + (1 − χΩ (x))f˜(s), s ≥ 0,
∗ −1

 χΩ (x)(f (s) + s2
g(x, s) = (2.82)
0, s < 0,



donde χΩ representa a la función característica asociada al dominio Ω.

Usando la función g, se construye el siguiente problema



 −∆u + V (εx)u = gε (x, u) en RN ,
(APε∗ )
u ∈ Hε (R ), N



donde gε (x, s) = g(εx, s), ∀(x, s) ∈ RN × R.

∗ −1
Note que si s < a, entonces g(x, s) = f (s) + s2 , ∀x ∈ RN . Utilizando lo anterior,
∗ −1
si u(x) < a, entonces gε (x, u(x)) = f (u(x)) + u2 (x). Sin embargo, es suficiente con
que u(x) < a, ∀x ∈ RN /Ωε , ya que para x ∈ Ωε siempre se cumple que gε (x, s) =
∗ −1
f (s) + s2 .
En conclusión, si se puede verificar que u(x) < a, ∀x ∈ RN /Ωε , siendo u solución
de (APε∗ ), entonces u también es solución de (Pε∗∗ ).

53
Regularidad del funcional asociado al problema auxiliar

Lema 2.2.3. Dado ρ > 0, existe una constante positiva cρ tal que

|f˜(s)| ≤ ρ|s| + cρ |s|p−1 + |s|2

∗ −1
, ∀s ∈ R.

Demostración. Se sigue de la definición de f˜

Proposición 2.2.1. La función gε , definida anteriormente, satisface las siguientes

propiedades

(g1 ) lim sup gε (x,s)

s
= 0, ∀x ∈ RN .
s→0+

(g2 ) lim sup gsε p−1

(x,s)
= 0, ∀x ∈ RN .
s→+∞

(g3 ) 0 < θGε (x, s) := θ gε (x, t)dt ≤ sgϵ (x, s), ∀x ∈ Ωε , ∀s > 0.
Rs
0

(g4 ) 0 < 2Gε (x, s) ≤ sgε (x, s) ≤ V0 2

k
s , ∀x ∈ Ωcε , ∀s > 0.

(g5 ) Sea h : R+ → R tal que h(t) = gε (x,t)

t
, con x ∈ RN arbitrario pero fijo. Se cumple
que h es creciente.

Demostración. Se demostrará cada item por separado.

(g1 ) Por definición de g

f˜(s)
∗ −1
gε (x, s) f (s) + s2
lim sup = χΩ (εx) lim sup + (1 − χΩ (εx)) lim sup = 0,
s→0+ s s→0+ s s→+∞ s

donde la última igualdad se da por (f1 ) y la definición de f˜.

(g2 ) Al igual que en el caso anterior se tendrá que

gε (x, s) f˜(s) V0 s2−p

lim sup = 0 + (1 − χΩ (εx)) lim sup = (1 − χ Ω (εx)) lim =0
s→+∞ sp−1 s→+∞ s
p−1 s→+∞ k

donde la última igualdad se cumple porque p > 2.

∗ −1
(g3 ) Para x ∈ Ωε se tiene por definición que gε (x, s) = f (s) + s2 . Luego, de (f4 ) y
2 < θ < 2∗ se sigue el resultado.

(g4 ) Como x ∈ Ωcε , entonces gε (x, s) = f˜(s). Sea 0 < s < a, entonces, debido a (f4 )

θ 2∗ ∗
2Gε (x, s) ≤ θGε (x, s) = θF (s) + s ≤ s(f (s) + s2 −1 ) = sgε (x, s).
2 ∗

54
 ∗ −1
f (s)+s2
Ahora, por definición de a se debe cumplir que s
̸= V0
k
. Si suponemos que
∗
f (s)+s2 −1
s
> V0
k
llegamos a una contradicción usando (f1 ) y el Teorema del Valor
∗ −1
f (s)+s2
Intermedio. Así, se tiene que s
< V0
k
, por lo que

∗ −1 V0 2
sgε (x, s) = s(f (s) + s2 )< s , ∀x ∈ Ωcε , ∀s ∈ (0, a).
k

Finalmente, para s > a tendremos que

∗
a2 V0 V0
Gε (x, s) = F (a) + ∗ − a2 + s2 ,
2 2k 2k
∗
a2
pero como F (a) = θF (a)
θ
≤ af (a)
θ
= V0 2
θk
a − θ
y 2 < θ < 2∗ , entonces

V0 2
2Gε (x, s) ≤ s = sgε (x, s), ∀x ∈ Ωcε , s > a.
k

(g5 ) Por definición

f˜(t)
∗ −1
gε (x, t) f (t) + t2
= χΩε (x) + (1 − χΩε ) .
t t t
∗ −2
Por (f4 ), f (t)
t
es creciente. Además, t2 también es creciente. Por lo tanto,
juntando eso con la definición de f˜ se sigue el resultado.

Proposición 2.2.2. Dado ρ > 0, existe una costante cρ > 0 tal que

∗ −1
|gε (x, s)| ≤ ρ|s| + cρ |s|p−1 + |s|2 , ∀s ∈ R.

Demostración. Se sigue del hecho de que f˜(s) ≤ f (s) + s2 −1 para todo s ∈ R y del
∗

Lema 2.2.1.

Proposición 2.2.3. Dado ρ > 0, existe una constante cρ > 0 tal que

ρ cρ 1 ∗
|Gε (x, s)| ≤ |s|2 + |s|p + ∗ |s|2 . (2.83)
2 p 2

Demostración. Se sigue de la Proposición 2.2.2.

Ahora se pasará a demostrar que el funcional Jε : Hε → R asociado al problema

(APε∗ ), definido por
1 Z
Jε (u) = ∥u∥ε −
2
Gε (x, u)dx, (2.84)
2 RN

55
es de clase C 1 (Hε , R) con
Z Z
Jε′ (u)v = (∇u∇v + V (εx)uv)dx − gε (x, u)vdx, ∀u, v ∈ Hε . (2.85)
RN RN

De manera que los puntos críticos de Jε corresponden a soluciones débiles de (APε∗ ).

Primeramente, se mostrará que el funcional Jε está bien definido. Sea u ∈ Hϵ , es
claro que ∥u∥ε < +∞. Ahora, por la Proposición 2.2.3
∗
Z
ρZ cρ Z Z
u2
Gε (x, u)dx ≤ |u| dx +
2
|u| +
p
< +∞,
RN 2 RN p RN RN 2∗

donde la última desigualdad se da debido a que u ∈ H 1 (RN ) y por el Teorema 1.2.6,

H 1 (RN ) ⊂ Lp (RN ), ∀p ∈ [2, 2∗ ].
Por lo tanto, el funcional Jε está bien definido. Solo quedaría mostrar que es de
clase C 1 (Hε , R), y para esto usaremos la Proposición 1.2.4.
Sean los funcionales I1 , I2 , I3 : Hϵ → R definidos por
Z Z Z
I1 (u) = |∇u|2 dx, I2 (u) = V (εx)|u|2 dx, I3 (u) = Gε (x, u)dx.
RN RN RN

Entonces, es suficiente con probar que I1 , I2 e I3 son de clase C 1 (Hε , R).

Proposición 2.2.4. Los funcionales definidos líneas arriba, I1 , I2 , I3 : Hε → R,

pertenecen a C 1 (Hε , R)

Demostración. Se sigue de la Proposición 2.1.4.

Geometría del Paso de la Montaña

Nuestro objetivo es poder aplicar el Teorema del Paso de la Montaña sin la condición de
Palais-Smale al problema (APε∗ ). Debido a esto, necesitamos verificar que el funcional
asociado a (APε∗ ) satisfaga las condiciones del teorema mencionado.
Según el Teorema 1.2.11, el funcional Jε ∈ C 1 (Hε , R) debe presentar la geometría
del tipo montaña. A continuación se mostrará que el funcional Jε cumple con esta
geometría.

Teorema 2.2.2. Existen r > 0 y z ∈ Hε tal que

inf Jε (u) > Jε (0) = 0 > Jε (z), (2.86)

∥u∥ε =r

con ∥z∥ε > r.

56
Demostración. De la definición de Jε se tiene

1 Z
Jε (u) = ∥u∥ε −
2
Gε (x, u)dx
2 RN

Usando la Proposición 2.2.3 obtenemos

1 ρ cρ 1 ∗
Jε (u) ≥ ∥u∥2ε − ∥u∥22 − ∥u∥pp − ∗ ∥u∥22∗ . (2.87)
2 2 p 2

Ahora, por el Teorema 1.2.6, existen constantes C1 , C2 y C3 tales que

ρ
∥u∥22 ≤ C1 ∥u∥2ε , ∀u ∈ Hε , (2.88)
2
cρ
∥u∥pp ≤ C2 ∥u∥pε , ∀u ∈ Hε , (2.89)
p
1 ∗ ∗
∥u∥22∗ ≤ C3 ∥u∥2ε , ∀u ∈ Hε (2.90)
2∗

Note que C1 depende de ρ, de manera que tomando ρ suficientemente pequeño, se

puede considerar C1 < 21 . Reemplazando las desiguldades (2.88), (2.89) y (2.90) en
(2.87) obtenemos

1
 
∗
Jε (u) ≥ − C1 ∥u∥2ε − C2 ∥u∥pε − C3 ∥u∥2ε , ∀u ∈ Hε . (2.91)
2
  1   1
2∗ −2
Sea 12 − C1 = 2C4 . Si ∥u∥ε < C4
C2
p−2
y ∥u∥ε < C4
C3
, entonces 2C4 ∥u∥2ε − C2 ∥u∥pε −
∗
C3 ∥u∥2ε > 0.
  1   1 
2∗ −2 ∗
Escogiendo r = min 1
2
C4
C2
p−2
, C4
C3
tendremos que 2C4 r2 −C2 rp −C3 r2 > 0.
Por lo que si ∥u∥ε = r, entonces

∗ ∗
Jε (u) ≥ 2C4 ∥u∥2ε − C2 ∥u∥pε − C3 ∥u∥2ε = 2C4 r2 − C2 rp − C3 r2 > 0.

Resta mostrar que existe un z ∈ Hε tal que ∥z∥ε > r y Jε (z) < 0. Para eso se fija
ϕ ∈ C0∞ (RN ) tal que K = supp ϕ ⊂ Ωε y ϕ ≥ 0. Es claro que tϕ ∈ Hε , ∀t ∈ R. Luego,
trabajando con t > 0

1 Z
Jε (tϕ) = ∥tϕ∥ε −
2
Gε (x, tϕ) dx
2 RN
1 Z
= |t|2 ∥ϕ∥2ε − Gε (x, tϕ) dx.
2 K

Por definición de Gε
Z tϕ Z tϕ
) + (1 − χΩ )(εx)f˜(s)] ds,
∗ −1
Gε (x, tϕ) = g(εx, s)ds = [χΩ (εx)(f (s) + s2
0 0

57
pero como K ⊂ Ωε , entonces
∗
Z tϕ Z tϕ Z tϕ
∗ −1 (tϕ)2
Gε (x, tϕ) = g(εx, s)ds = f (s) ds + s2 ds = F (tϕ) + , ∀x ∈ K.
0 0 0 2∗

Por el Lema 2.2.2, F (s) ≥ d1 sθ − d2 ∀s > 0. Así, se tendrá

∗
Z Z
2∗
Z
ϕ2 Z
− Gε (x, tϕ) dx ≤ − θ θ
d1 t ϕ dx − t dx + d2 dx.
K K K 2∗ K
∗
ϕ2
Sea I1 = d1 ϕθ dx, I2 = dx e I3 =
R R R
K K 2∗ K d2 dx.Entonces,

1 ∗
Jε (tϕ) ≤ ∥ϕ∥2ε |t|2 − I1 |t|θ − I2 |t|2 + I3 ,
2

pero como θ > 2, al tomar t → +∞ el miembro derecho de la desigualdad de arriba

tiende a −∞. Por lo que Jε (tϕ) → −∞ cuando t → +∞. De lo anterior se puede
concluir que existe t0 > 0, suficientemente grande, tal que ∥t0 ϕ∥ > r y Jε (t0 ϕ) < 0.

2.2.3 Sucesión de Palais-Smale

Tome ε > 0 fijo, pero arbirtario. Según el Teorema 2.2.2, el funcional Jε presenta la
geometría del tipo montaña, por lo que podemos aplicar el Teorema 1.2.11 para obtener
una sucesión {un } tal que

Jε (un ) = cε + on (1) y ∥Jε′ (un )∥ = on (1),

donde cε es dado por

cε = inf max Jε (γ(t)) > 0,
γ∈Γ t∈[0,1]

siendo Γ = {γ ∈ C([0, 1], Hε ) : γ(0) = 0, Jε (γ(1)) < 0}.

Es claro que la sucesión {un } es de Palais-Smale para el nivel cε . Lo que se buscará
ahora es mostrar que el límite débil de esa sucesión es una solución no trivial de (APε∗ ).

Lema 2.2.4 ([4]). Sea (un ) una sucesión de Palais-Smale en el nivel cε para Jε , en-
tonces (un ) es acotada en Hε .

Demostración. Por la Definición 1.2.8

Jε (un ) → cε , Jε′ (un ) → 0. (2.92)

Del primer límite se tiene

|Jε (un )| ≤ M, ∀n ∈ N, (2.93)

58
esto debido a que toda sucesión convergente en R es acotada.
Ahora, del segundo límite en (2.92) se tiene que para ρ > 0, existe n0 ∈ N tal que

∥Jε′ (un )∥∗ ≤ ρ, ∀n > n0 ,

y por definición de la norma de un funcional

|Jε′ (un )un | ≤ ρ∥un ∥ε , ∀n > n0 . (2.94)

Usando las definiciones de Jε y Jε′ (un )

1 1 1 1Z
 
Jε (un ) − Jε′ (un )(un ) = − ∥un ∥2ε + [gε (x, un )un − θGε (x, un )] dx.
θ 2 θ θ RN

Sea ∆n = Ω ∪ {x ∈ Ωc : un (x) < a}. Por las Definiciones (2.81) y (2.82), gε (x, un ) =
∗
∗ u2n
f (un ) + u2n −1 , Gε (x, un ) = F (un ) + 2∗
, ∀x ∈ ∆n . De manera que usando (f3 ) y que
θ ∈ (2, 2∗ )
Z
[gε (x, un )un − θGε (x, un )] ≥ 0.
∆n

Por lo que
Z Z
[gε (x, un )un − θGε (x, un )] dx ≥ [gε (x, un )un − θGε (x, un )] dx, (2.95)
RN RN /∆n

y consecuentemente

1 ′ 1 1 1Z
 
Jε (un )− Jε (un )(un ) ≥ − ∥un ∥ε +
2
[gε (x, un )un −θGε (x, un )] dx. (2.96)
θ 2 θ θ RN /∆n

Se sabe que ∆c = Ωc ∩ [un ≥ a]. Así, gε (x, un ) = V0

k n
u y Gε (x, un ) ≤ V0 2
u
2k n
para todo
x ∈ ∆c . De lo anterior,

1Z 2−θ Z
[gε (x, un )un − θGε (x, un )] dx ≥ V0 u2n dx. (2.97)
θ RN /∆n 2kθ RN /∆n

Usando que θ > 2 y que k > 2

2−θ Z 2−θ
V0 u2n dx ≥ ∥u∥2ε . (2.98)
2kθ RN /∆n 4θ

Reemplazando en (2.96)

1 θ−2
Jε (un ) − Jε′ (un )(un ) ≥ ∥un ∥2ϵ . (2.99)
θ 4θ

Además, usando (2.93) y (2.94)

1 ρ ρ ρ
Jε (un ) − Jε′ (un )(un ) ≤ M + ∥un ∥ε ≤ ∥un ∥2ε + + M, ∀n > n0 . (2.100)
θ θ θ θ

59
De (2.99) y (2.100)
θ − 2 − 4ρ ρ
∥un ∥2ε ≤ + M, ∀n > n0 , (2.101)
4θ θ
h  i1/2
tomando ρ, tal que θ − 2 − 4ρ > 0 y C = max{∥u1 ∥ε , ..., ∥un0 ∥ε , 4θ
θ−2−4ρ
ρ
θ
+M }
se concluye
∥un ∥ε ≤ C, ∀n ∈ N,

es decir, (un ) es acotada en Hε .

Con el fin de utilizar el siguiente lema, usaremos una carecterización más adecuada
de cε dada por
cε = inf max Jε (tv).
v∈Hε /{0} t≥0

Además, es sencillo probar que para cada función no negativa v ∈ Hε /{0} existe un
único t0 tal que
Jε (t0 v) = max Jε (tv).
t≥0

Lema 2.2.5 ([4]). Existe un v ∈ Hε /{0} tal que

1 N
max Jε (tv) < S2,
t≥0 N
∗
donde S es la mejor constante de Sobolev para la inmersión D1,2 (RN ) ,→ L2 (RN ) y,
al igual que en [14], se define por
Z 
S = inf 2
|∇u| dx, ∥u∥L 2∗ (RN ) =1
RN

Demostración. Para cada h > 0 considere la función

N −2
[N (N − 2)h] 4
ψh (x) = N −2 .
(h + |x|2 ) 2

Donde se sabe que ψh satisface el problema


∗ −1

 −∆u = u2 , RN ,
u(x) > 0, u ∈ |∇u|2 dx < +∞
 R

RN

y además
Z Z
∗ N
|∇ψh | dx =
2
ψh2 dx = S 2 .
RN RN

Ahora, considere vh = ϕψh (x)

∥ϕψh ∥L2∗
, con ϕ ∈ C0∞ (RN ), 0 ≤ ϕ(x) ≤ 1 y


 1, x ∈ B1 ,
ϕ(x) = 
 0, x ∈
/ B2 ,

60
donde B1 ⊂ B2 ⊂⊂ Ω son bolas concéntricas de radios ρ y 2ρ respectivamente. De la
condición (f2 ) y la definición de vh se tiene

1Z Z
Jε (tvh ) = [t2 |∇vh |2 + V (εx)t2 vh2 ] dx − Gε (x, tvh ) dx (2.102)
2 RN RN
∗
t2 Z λtp1 +1 Z t2
≤ (|∇vh | + V∞ vh ) dx −
2 2
v p1 +1
dx − ∗ . (2.103)
2 B2 p1 + 1 B2 h 2

Usando el mismo argumento que en [14], existe h > 0 tal que

∗
λtp1 +1 p1 +1 1 N
(Z " # )
t2 t2
max (|∇vh |2 + V∞ vh2 ) − vh dx − ∗ < S2 (2.104)
t≥0 B2 2 p1 + 1 2 N

Por lo tanto, de (2.103) y (2.104)

1 N
max Jε (tvh ) < S2
t≥0 N

1 N
Usando el Lema 2.2.5 y la caraterización de cε se concluye que cε < N
S2.

Lema 2.2.6 ([4]). Existe una sucesión {zn } ⊂ RN y constantes R > 0, β > 0 tal que
Z
u2n dx ≥ β.
BR (zn )

Demostración. Suponga por contradicción que el lema no se cumple, es decir, para

toda sucesión {zn } ⊂ RN , para todo R > 0 y β > 0, existe n0 ∈ N tal que
Z
u2n0 dx < β.
BR (zn0 )

Luego, por el Lema 2.18 en [16] se sigue que para n → +∞

Z
|un |q dx = on (1), ∀q ∈ (2, 2∗ ).
RN

De lo anterior se tiene que, como |un f (un )| ≤ ρ|un |2 + cρ |un |p , usando (f3 )
Z Z
F (un ) dx = un f (un ) dx = on (1).
RN RN

Por lo que
Z un Z un 
(1 − χΩε )f˜(t) dt dx
Z Z
∗ −1
Gε (x, un ) dx = χΩε [f (t) + t2 ] dt +
Rn RN ∩[un >0] 0 0

(2.105)

61
 ∗
1 Z + 2∗ V0 Z Z
a2 V0
= ∗ (un ) dx + un dx +
2
[F (a) + ∗ − a2 ] dx + on (1)
2 Ωε ∪[un ≤a] 2k Ωε ∩[un >a]
c c
Ωε ∩[un >a] 2 2k
(2.106)
1 Z
2∗ V0 Z
≤ ∗ (u+n ) dx + u2n dx + on (1) (2.107)
2 Ωε ∪[un ≤a] 2k Ωε ∩[un >a]
c

un f˜(un ) dx
Z Z Z
∗
un gε (x, un ) dx = [un f (un ) + u2n ] dx + (2.108)
Rn Ωε ∩[un >0] Ωcε ∩[un >0]
Z
2∗
Z
2∗ V0 Z
= (u+
n) dx + (u+
n) dx + u2n dx + on (1)
Ωε Ωcε ∩[un ≤a] k Ωε ∩[un >a]
c

(2.109)
Z
∗ V0 Z
= n ) dx +
(u+ 2
u2 dx + on (1) (2.110)
Ωε ∪{un ≤a} k Ωcε ∩{un >a} n

De la igualdad (2.110) y usando que Jε′ (un )un = ∥un ∥ε − gε (x, un )un = on (1) se
R
RN

sigue que

V0 Z Z
∗
∥un ∥2ε − u2n dx + on (1) = (u+
n )2 dx. (2.111)
k Ωcε ∩{un >a} Ωε ∪{un ≤a}

Sea l ≥ 0 tal que

V0 Z
∥un ∥2ε − u2 dx → l.
k Ωcε ∩{un >a} n
Es claro que l > 0, caso contrario, como u2n dx → 0, entonces |∇un | dx → 0 y
R R
RN RN

un → 0 en Hε , lo que contradice que c > 0. De (2.111)

Z
∗
(u+
n ) dx → l.
2
Ωε ∪{un ≤a}

De la desigualdad (2.107) y usando que Jε (un ) = 21 ∥un ∥ε − Gε (x, un ) dx = c + on (1)

R
RN

1 1 Z + 2∗ V0 Z
∥un ∥ε − c ≤ ∗ (u ) dx + u2 dx + on (1)
2 2 Ωε ∪[un ≤a] n 2k Ωcε ∩[un >a] n
1 1 Z
" #
V0 Z 2∗
∥un ∥ε − un dx ≤ c + ∗
2
n ) dx + on (1).
(u+
2 k Ωε ∩[un >a]
c 2 Ωε ∪[un ≤a]

Tomando límite para n → +∞ y usando que 1

2
− 1
2∗
= 1
N

l ≤ N c. (2.112)

Ahora, usando la definición de la constante S, se tiene

Z  2
2∗
Z
2 2∗
|∇un | dx ≥ S |un | dx .
RN RN

62
Sumando V (εx)u2n dx − V0
u2n dx > 0 al miembro izquierdo de la desigualdad
R R
RN k RN

anterior y ajustando los dominios de integración

! 2∗
V0
Z Z
∗
2
∥un ∥2ε − u2n dx ≥ S u2n dx . (2.113)
k Ωcε ∩{un >a} Ωε ∪{un ≤a}

Tomando límite para n → +∞ en (2.113) se obtiene

2
l ≥ Sl 2∗ ,

usando (2.112) se concluye que

1 N
c≥ S2,
N
lo que contradice el Lema 2.2.5.

Lema 2.2.7 ([4]). La sucesión {zn } dada en el Lema 2.2.6 es acotada en RN .

Demostración. Para cada ρ > 0 considere la función diferenciable y no negativa ψρ tal

que 

 0, |x| ≤ ρ,
ψρ (x) =
1, |x| ≥ 2ρ



y ∇ψρ (x) ≤ Cρ−1 , para todo z ∈ RN . Usando el hecho de que Jε′ (un )(ψρ un ) = on (1)
obtenemos

1 Z V0 2
  Z    
V0 1− 2
u ψρ dx ≤ |∇un | + V (x) −
2
un ψρ dx
k RN n RN k
V0
Z Z  
=− un ∇ψρ ∇un dx + gε (x, un )un − u2n ψρ dx + on (1).
RN RN k
h i
Para ρ suficientemente grande se tiene que Ωε ⊂ Bρ (0). Usando (g4 ), gε (x, un )un − V0 2
u
k n
ψρ ≤
0, ∀x ∈ RN .Por lo que

1 Z
  Z
V0 1 − u2n ψρ dx ≤ − un ∇ψρ ∇un dx + on (1)
k RN Z
RN

≤ |un ||∇ψρ ||∇un | dx + on (1)

RN
CZ
≤ |un ||∇un | dx + on (1)
ρ RN
C
≤ ∥un ∥L2 ∥|∇un |∥L2 + on (1)
ρ
C
≤ ∥un ∥2H 1 + on (1).
ρ

63
Supongamos ahora que {zn } no es acotada, entonces, para todo ρ > 0, existe un n0 ∈ N
tal que ∥zn0 ∥ < ρ y BR (zn0 ) ⊂ RN /Bρ (0). Utilizando la desigualdad obtenida líneas
arriba y el Lema 2.2.4

1 C
 
V0 1 − β ≤ ∥un ∥2H 1 + on (1).
k ρ

Lo cual no puede ocurrir ya que C

ρ
∥un ∥2H 1 → 0 para ρ → +∞ (recordar que por el
Lema 2.2.4 (un ) es acotada) y on (1) → 0, n → +∞.

Existencia de soluciones para el problema auxiliar

Teorema 2.2.3 ([4]). Suponga que V y f satisfacen (V1 )-(V3 ) y (f1∗ )-(f4∗ ), respetiva-
mente. Entonces, el problema (APε∗ ) tiene solución para todo ϵ > 0.

Demostración. Del Lema 2.2.4 se tiene que (un ) es acotada en Hε , como este es un
espacio reflexivo, existen una subsucesión, que seguiremos denotando (un ), y uε ∈ Hε
tal que un ⇀ uε . Además, usando argumentos estándares de subsucesiones, un → uε
en Lqloc (RN ), ∀q ∈ [2, 2∗ ] y un (x) → uε (x) c.t.p en RN .
Del Lema 2.2.7, existe un conjunto compacto D tal que zn ∈ D, ∀n ∈ N. Además,
por el Lema 2.2.6
Z
u2n dx ≥ β > 0.
D

Como un → uε en L2loc (RN ), tomando límite en la desigualdad de arriba

Z
u2ε dx ≥ β > 0.
D

Se sigue que uε no es trivial y usando la convergencia débil se muestra que uε es un

punto crítico de Jε .
Finalmente, de la defición de cε y usando que uε es punto crítico de Jε

1 1Z
c ≤ Jε (uε ) = Jε (uε ) − Jε′ (uε )uε = [gε (x, uε )uε − 2Gε (x, uε )] dx.
2 2 RN

Si x ∈ Ωc , de (g3 ) se tiene que 2Gε (x, s) ≤ θGε (x, s) ≤ sgε (x, s). Si x ∈ Ωcε , de (g4 ) se
tiene que 2Gε (x, s) ≤ sgε (x, s). Por lo que, [un gε (x, un ) − 2Gε (x, un )] ≥ 0, ∀x ∈ RN .
De manera que usando el Lema 1.2.1

1 1 1
Z   
Jε (uε ) ≤ lim inf [gε (x, un )un − 2Gε (x, un )] dx = lim inf Jε (un ) − Jε′ (un )un .
2 n→+∞ RN 2 n→+∞ 2

64
Como {un } es una sucesión de Palais-Smale, entonces Jε (un ) = cε + on (1) y ∥J ′ (un )∥ =
on (1). Tomando límite en la desigualdad obtenida líneas arriba se concluye que

cε ≤ Jε (u) ≤ cε .

Por lo tanto, uε es un punto crítico del funcional Jε en el nivel

cε = inf max Jε (γ(t)),

y∈γ t∈[0,1]

con Γ = {γ ∈ C([0, 1], Hε ) : γ(0) = 0, Jε (γ(1)) < 0} y Jε (uε ) = cε > 0.

Lema 2.2.8. Si uε es solución de (APε∗ ), entonces uε es una solución no negativa.

Demostración. Como uε es solución de (APε∗ ), entonces

Jε′ (uε )v = 0, ∀v ∈ Hε .

ε,
En particular, tomando v = u−
Z Z Z
0= ∇uε ∇u−
ε dx + V (εx)uε u−
ε dx − gε (x, uε )u−
ε dx
RN RN RN
Z Z Z
= |∇u−
ε | dx + V (εx)|u−
ε|
2
dx − gε (x, uε )u−
ε dx,
[uε <0] [uε <0] [uε <0]

pero usando la definición de gε

Z Z
0= ε | dx +
|∇u− V (εx)|u− 2
ε | dx
[uε <0] [uε <0]

= ∥u−
ε ∥ε .

Por lo que u−
ε = 0 c.t.p en R , es decir, uε ≥ 0 c.t.p en R .
N N

Lema 2.2.9. Si uε es solución de (APε∗ ), entonces uε ∈ Lr (RN ) para todo r ≥ 2.

Demostración. Sea h(x, u) = gε (x, u) − V (x)u. Dados s, L > 0 defina



 |uε |s , |uε | ≤ L,
uL,s
L, |uε |s > L.



Como uε ∈ H 1 (RN ) es solución de (APε∗ ), usando uε u2L,s como función prueba

Z Z
∇uε ∇(uε u2L,s ) dx = h(x, u)uε u2L,s dx. (2.114)
RN RN

65
Note que por la Proposición 2.2.2
∗ −1 ∗ −1
|h(x, u)| ≤ ρ|u| + cρ |u|p−1 + |u|2 + V (x)|u| ≤ C1 |u| + C2 |u|2 .
∗ −2
Sea la función a : RN → R tal que a(x) = C2 |uε |2 . De lo anterior se sigue que
∗
|h(x, u)| ≤ (a(x) + C1 )|u| y a ∈ LN/2 (RN ) (ya que uε ∈ H 1 (RN ) ⊂ L2 (RN )).
Así, de (2.114) se tiene que
Z Z
∇uε ∇(uε u2L,s ) dx ≤ (a(x) + C1 )u2ε u2L,s dx.
RN RN

Desarrollando el miembro izquierdo de la desigualdad

Z Z Z Z
u2L,s |∇uε |2 dx+2s 2s
|uε | |∇uε | dx ≤ 2
a(x)|uε |2 u2L,s dx+C1 |uε |2 u2L,s dx.
RN [|uε |s ≤L] RN RN
(2.115)
Suponga que uε ∈ L2s+2 (RN ). Luego, denote C3 = |uε |2 u2L,s y observe que
R
RN
Z Z
|∇(uε uL,s )| dx =
2
|uL,s ∇u + u∇uL,s |2 dx (2.116)
RN RN
Z Z
≤4 |uL,s |2 |∇u|2 dx + 4 |uε |2 |∇uL,s |2 dx (2.117)
RN RN
Z Z
=4 u2L,s |∇uε |2 dx + 4s2 |uε |2s |∇uε |2 dx (2.118)
RN [|uε |s ≤L]

De (2.115) y (2.118) se tiene que

Z Z Z
|∇(uε uL,s )| dx ≤ C2
a(x)|uε |2 u2L,s dx + C |uε |2 u2L,s dx.
RN RN RN

Así, existen constantes A, B > 0 que dependen de la norma de uε en L2s+2 (RN ), pero
no de L, tales que
Z Z
|∇(uε uL,s )|2 dx ≤ A + B a(x)|uε |2 u2L,s dx.
RN RN

Dado K > 0 arbitrario,

Z Z Z
|∇(uε uL,s )|2 dx ≤ A + B a(x)|uε |2 u2L,s dx + B a(x)|uε |2 u2L,s dx
RN [a≤K] [a>k]
Z Z
≤ A + BK |uε |2 u2L,s dx + B a(x)|uε |2 u2L,s dx
[a≤K] [a>K]
Z
≤ A + BK∥uε ∥22s+2 dx + B a(x)|uε |2 u2L,s dx.
[a>K]

Usando el Teorema 1.2.3 con exponentes N

2
y N
N −2
!2/N ! N −2
Z Z Z N
2∗
|∇(uε uL,s )|2 dx ≤ A + BK∥uε ∥22s+2 + B aN/2 |uε uL,s |
RN [a>K] [a>K]

≤ A + BK∥uε ∥22s+2 + ϵ(K)∥uε uL,s ∥22∗ ,

66
donde ϵ(K) = B aN/2 dx → 0 cuando K → +∞. Luego, por el Teorema 1.2.7
R
[a>K]
Z
|∇(uε uL,s )|2 dx ≤ A + BK∥uε ∥22s+2 + ϵ(K)c∥uε uL,s ∥2H 1
RN
Z Z
≤A+ BK∥u∥22s+2 + ϵ(K)c u2ε u2L,s dx + ϵ(K)c |∇(uε uL,s )|2 dx
RN RN
Z
≤A+ BK∥uε ∥22s+2 + ϵ(K)c∥u∥22s+2 + ϵ(K)c |∇(uε uL,s )|2 dx.
Rn

Fijando K tal que ϵ(K)c = 1/2, se tiene que

1Z 1
|∇(uε uL,s )|2 dx ≤ A + BK∥uε ∥22s+2 + ∥uε ∥22s+2 .
2 RN 2
Note que
Z Z Z
ε )| dx =
|∇(us+1 |∇(uε uL,s )|2 dx ≤ |∇(uε uL,s )|2 dx ≤ 2A+(2BK+1)∥uε ∥22s+2 .
2
[|uε |s ≤L] [|uε |s ≤L] RN

Como el lado derecho de la desigualdad no depende de L, tomando L → +∞, obten-

∗
emos que ∇(us+1 ) ∈ L2 (RN ). Luego, us+1 ∈ H 1 (RN ) ,→ L2 (RN ). Se concluye
(2s+2)N
entonces que u ∈ L N −2 (RN ).
2N j
Vamos a probar ahora que uε ∈ L (N −2)j (RN ), para todo j ∈ N.
∗
En efecto, para j = 1 se tiene que uε ∈ L2 (RN ). Ahora, asuma que uε ∈
2N k
Nk 2N k
L (N −2)k (Rk ), para algún k ∈ N. Sea s = (N −2)k
− 1, entonces 2s + 2 = (N −2)k
, es
(2s+2)N
decir, uε ∈ L2s+2 (RN ). Luego, por lo mostrato en la primera parte, uε ∈ L N −2 (RN ).
2N k+1
Reemplazando el valor de s, uε ∈ L (N −2)k (RN ). Por lo que aplicando inducción se
cumple lo mencionado inicialmente.
2N j
Finalmente, como (N −2)j
→ +∞ cuando j → +∞, entonces, usando el Teorema
1.2.3, es sencillo demostrar que uε ∈ Lr (RN ) para todo r ≥ 2.

Debido la Proposición 2.6 en [17] y al Lema 2.2.9, las soluciones del problema (APε∗ )
están en L∞ (RN ) y mediante teoría de regularidad es posible demostrar que también
están en Cloc
1,α
(RN ).
Para demostrar la positividad de las soluciones del problema (AP )∗ε se usará un
resultado obtenido por Trudinger en [15].

Proposición 2.2.5. Si uε es solución de (APε∗ ), entonces uε es positiva.

Demostración. La demostración se realizará por contradicción. Suponga que existe

x0 ∈ RN tal que uε (x0 ) = 0. Sea y ∈ RN arbitrario y K(l) un cubo de lado l > 0
centrado en x0 tal que y ∈ K(l).

67
 Tome r > 0 suficienteme grande de manera que K(3l) ⊂ Br . Luego, uε es solución
del problema 

 −∆u + V (εx)u = gε (x, u) en K(3l).
(Qε )
u ∈ H 1 (Ω)



Dado que uε ∈ L∞ (RN ) ∩ C 1,α (RN ), existe M > 0 tal que |uε | < M . Se definen
A : Br × (−M, M ) × RN → RN y B : Br × (−M, M ) × RN → R de manera que
A(x, u, p) = p y B(x, u, p) = V (εx)u − gε (x, u).
Es claro que como uε es solución de (Qε ), entonces también es solución de

divA(x, u(x), ∇u(x)) = B(x, u(x), ∇u(x)) en Br .

Además,
|A(x, u, p)| = p ≤ a0 |p|α−1 + |a1 (x)u|α−1 + (a3 (x))α−1 ,

p · A(x, u, p) = |p|2 ≥ |p|α − |a2 (x)u|α − (a4 (x))α ,

|B(x, u, p)| = |V (εx)u − gε (x, u)| ≤ |V (εx)u| + |gε (x, u)|

∗ −1
≤ V∞ |u| + Mρ |u| + cρ |u|p−1 + |u|2
∗ −2
≤ (V∞ + Mρ + cρ |M |p−2 + |M |2 )|u|

≤ b0 |p|α + b1 (x)|p|α−1 + (b2 (x))α |u|α−1 + (b3 (x))α ,

q
siendo α = 2, a0 = 1, a1 , a2 , a3 , a4 = 0 y b0 , b1 , b3 = 0, b2 (x) = V∞ + Mρ + cρ |M |p−2 + |M |2∗ −2 .
Por lo que, cumpliendose todas las hipótesis del Teorema 1.1 en [15],

max uε (x) ≤ C min uε (x),

K(l) K(l)

siendo C una constante. Ahora, usando la continuidad de uε

0 ≤ uε (y) ≤ max uε (x) ≤ C min uε (x) ≤ uε (x0 ) = 0,

K(l) K(l)

es decir, uε (y) = 0. Como y es arbitrario, se concluye que u = 0 en RN , pero esto

contradice que
0 = Jε (uε ) = cε > 0.

Por lo tanto, uε > 0 en RN .

68
2.2.4 Algunas propiedades de las soluciones del problema aux-
iliar

De ahora en adelante, considere que Ω es una bola centrada en el origen.

Lema 2.2.10. Para todo ε > 0, una solución uϵ de (APε∗ ) satisface la siguiente de-
sigualdad
∥uε ∥2ε ≤ Kcε ,

siendo K una constante.

Demostración. Usando el hecho de que uε es punto crítico de Jε ,

1
cε = Jε (uε ) = Jε (uε ) − Jε′ (uε )uε
θZ
1 1 1Z
= ∥uε ∥2ε − Gε (x, uε ) dx − ∥uε ∥2ε + gε (x, uε )uε dx
2 RN θ θ RN
1 1 1Z
 
= − ∥uε ∥2ε + [gε (x, uε )uε − θGε (x, uε )] dx.
2 θ θ RN

Sea Λ = {x ∈ RN , (x, uε (x)) ∈ (Ωε × R) ∪ (Ωcε × (−∞, a])}. Por (g4 ) y (g1 ),
[gε (x, uε )uε − θGε (x, uε ) ≥ 0, ∀(x, u(x)) ∈ Ωε × R. Si (x, u(x)) ∈ Ωcε × (0, a], entonces
gε (x, uε (x)) = f˜(u(x)) = f (u(x)) + u(x)2 −1 y Gε (x, uε (x)) = F (u(x)) + u2∗ , de manera
∗ 2 ∗

que usando (f3 ) y el hecho de que θ ∈ (2, 2∗ ), 1R

[g (x, uε )uε
θ Λ ε
− θGε (x, uε )] dx ≥ 0. De
lo anterior se sigue que

1 1 1Z
 
cε ≥ − ∥uε ∥2ε + [gε (x, uε )uε − θGε (x, uε )] dx.
2 θ θ RN /Λ

Note que Λc = Ωcε × [a, +∞). De manera que gε (x, uε ) = f˜(uε ) = V0

k ε
u y Gε (x, uε ) =
2∗ 2 2∗
F (a) + a2∗ − V0 a2kf (a) + V2k0 u2ε para todo (x, u(x)) ∈ Ωcε × [a, +∞). Además, F (a) + a2∗ −
V0 a2 f (a)
2k
< 0. Así,
1 1 2−θ Z
 
cε ≥ − ∥uε ∥ε +
2
V0 u2ε dx.
2 θ 2kθ R /Λ
N

Recordando que 2 − θ < 0 y 0 < V0 ≤ V (x), ∀x ∈ RN

1 1 2−θ Z
 
cε ≥ − ∥uε ∥ε +
2
V (εx)u2ε dx,
2 θ 2kθ R N

siendo k > 2,

1 1 2−θ Z
 
cε ≥ − ∥uε ∥2ε + V (εx)u2ε dx
2 θ 4θ R N

1 1 2−θ Z 2−θ Z
 
≥ − ∥uε ∥2ε + V (εx)uε dx +
2
|∇uε |2 dx.
2 θ 4θ RN 4θ RN

69
Usando la deifinición de ∥ · ∥ε
θ−2
cε ≥ ∥uε ∥2ε ,
4θ
o sea, cε ≥ 1
K
∥uε ∥2ε , con K = 4θ
θ−2
.

Lema 2.2.11. Dado ε0 > 0, existe M = M (a, ε0 ) tal que

∥uε ∥ε ≤ M, ∀ε ∈ (0, ε0 ).

Demostración. Sea 1 > ε0 > 0, x0 ∈ Ω y ϕ ∈ C0∞ (RN , [0, 2a]) tal que


 2a, x ∈ Br (x0 )
ϕ(x) =
0, x ∈ RN /B2r (x0 ),



con B2r (x0 ) ⊂ Ω.

Para t ≥ 1 se cumple

1Z Z
Jε (tϕ) = [|∇(tϕ)| + V (εx)t ϕ ] dx −
2 2 2
Gε (x, tϕ) dx
2 RN RN
t2 Z Z
= [|∇ϕ|2 + V (εx)ϕ2 ] dx − Gε (x, tϕ) dx
2 RN RN
t2 Z Z
≤ [|∇ϕ| + V (εx)ϕ ] dx −
2 2
Gε (x, tϕ) dx.
2 RN [ϕ>a]∩B r (x0 )
ε

Además,

t2 Z Z
Jε (tϕ) ≤ [|∇ϕ| + V∞ ϕ ] dx −
2 2
Gε (x, tϕ) dx.
2 RN [ϕ>a]∩B r (x0 )
ε

Por definición, supp ϕ ⊂ B2r (x0 ) ⊂ Ω ⊂ Ωε , ∀ε < 1. Entonces, Gε (x, tϕ) = F (tϕ) +
∗ ∗
t2 ϕ2
2∗
para todo x ∈ RN . Luego, por el Lema 2.1.2, para todo t ≥ 1 y para todo
∗ ∗ ∗ ∗
t2 ϕ2 t2 ϕ2
ε ∈ (0, ε0 ), Gε (x, tϕ) = F (tϕ) + 2∗
≥ d1 tθ ϕθ + 2∗
− d2 .
Así,
∗ ∗
t2 Z Z
t2 ϕ2
Jε (tϕ) ≤ [|∇ϕ| + V∞ ϕ ] dx −
2 2
[F (tϕ) + ] dx
2 RN [ϕ>a]∩B r (x0 )
ε
2 ∗
∗
t2 Z Z
t2 Z ∗
≤ [|∇ϕ| + V∞ ϕ ] dx − d1 t
2 2 θ θ
|ϕ| dx − ∗ |ϕ|2 dx + d2 |Ω|.
2 RN [ϕ>a]∩B r (x0 )
ε
2 [ϕ>a]∩B rε (x0 )

Sea h : R → R tal que

∗
t2 Z Z
t2 Z ∗
h(t) = [|∇ϕ| +V∞ ϕ ] dx−d1 t
2 2 θ θ
|ϕ| dx− ∗ |ϕ|2 dx+d2 |Ω|, t ≥ 0.
2 RN [ϕ>a]∩B r
ε
(x0 ) 2 [ϕ>a]∩B εr (x0 )
0 0

70
Como θ > 2, entonces h(t) → −∞ para t → +∞. Luego, existe t0 = t0 (a, ε0 ) tal que

Jε (t0 ϕ) ≤ h(t0 ) < 0, ∀ε ∈ (0, ε0 ).

Ahora considere el camino γ0 : [0, 1] → Hε tal que γ0 (s) = st0 ϕ.

Es claro que γ0 es continua y

γ0 (0) = 0 y Jε (γ0 (1)) < 0, ∀ε ∈ (0, ε0 ),

es decir, γ0 ∈ Γ = {γ ∈ C([0, 1], Hε ), γ(0) = 0 y Jε (γ(1)) < 0}.

Además,
1Z
Jε (tϕ) ≤ [|∇ϕ|2 + V∞ ϕ2 ] dx, ∀t ∈ [0, 1], ∀ε > 0,
2 RN
Considerando M0 = maxt∈[1,t0 ] h(t), para todo ε ∈ (0, ε0 ) se cumple que

cε ≤ max Jε (γ0 (s)) = max Jε (st0 ϕ) = max Jε (tϕ) ≤ M1 ,

s∈[0,1] s∈[0,1] t∈[0,t0 ]

donde M1 = M1 (a, ε0 ) = max{ 21 RN [|∇ϕ|

2
+ V∞ ϕ2 ] dx, M0 }.
R

√
Por el Lema 2.3.1, ∥uε ∥2ε ≤ Kcε ≤ KM1 . Por lo tanto, existe M = KM1 tal que

∥uε ∥ε ≤ M, ∀ε ∈ (0, ε0 ).

2.2.5 Existencia de soluciones para el problema (Pε∗ )

En las secciones anteriores se trabajó con Ω siendo un conjunto abierto y acotado

arbitrario. Ahora, para cada ε > 0 definimos g ε : RN × R → R tal que

] + (1 − χB 1 )f˜(s).
∗ −1
g ε (x, s) = χB 1 (x)[f (s) + s2
ε ε

Luego, por el Teorema 2.2.3, existe uε ∈ Hε que es solución de


−∆u + V (εx)u = g ε (εx, u) en RN ,






 u>0 en RN , (Tε )


u ∈ H 1 (RN ).




Lema 2.2.12. Sea, para cada ε > 0, uε solulución de (Tε ). Entonces max uε (x) → 0
x∈∂B Rε
ε
para ε → 0, con Rε = 1ε .

71
Demostración. La demostración se realizará por contradicción. Suponga que existe
una sucesión (εn ) tal que εn → 0 y

max uεn (x) ≥ γ, ∀n ∈ N, (2.119)

x∈∂B Rεn
εn

donde γ > 0 (no puede ser negativo debido a la positividad de las soluciones). Para
cada n ∈ N se fija xn ∈ ∂B Rεn tal que
εn

un (xn ) = max uεn (x), (2.120)

x∈∂B Rεn
εn

donde un = uεn . Debido a lo anterior, un (xn ) ≥ γ, ∀n ∈ N.

Definamos wn (x) = un (x + xn ). Mediante un cambio de variable es posible de-
mostrar que wn es solución de

−∆wn + V (εn x + εn xn )wn = g εn (εn x + εn xn , wn ) en RN ,






wn > 0 en RN , (Sn )



wn ∈ Hε (RN ).




Utilizando métodos iterativos de mejoramiento regular es posible mostrar mostrar

que (wn ) converge uniformemente, en subconjuntos compactos de RN , para su límite
débil w ∈ Hε ∩ C(RN , R). Observe que w(0) = lim wn (0) = lim un (xn ) ≥ γ.
n→+∞ n→+∞
Debido a que w es continua existe una bola, de medida diferente de 0, donde w(x) > 0
para todo x en la bola y por lo cual w ̸= 0.
Debido a que V es acotada en todo RN , entonces (V (εn xn )) es una sucesión acotada
de números reales y por el Teorema de Bolzano-Weierstrass, existe una subsucesión,
que seguiremos denotando (εn xn ), tal que

α = lim V (εn xn ),
n→+∞

para algún α > 0.

Pasaremos a demostrar que w es una solución no trivial del problema

∆u − αu + g̃(x, u) = 0, x ∈ RN , (2.121)

] + (1 − χ̃(x))f˜(s), para alguna función χ̃ ∈ L∞ (RN ).

∗ −1
donde g̃(x, s) = χ̃(x)[f (s) + s2
Como wn es solución del problema (Sn ), para toda v ∈ Hε
Z Z Z
∇wn ∇v dx + V (εn x + εn xn )wn v dx = g εn (εn x + εn xn , wn )v dx. (2.122)
RN RN RN

72
Por la densidad de C0∞ (RN ) en Hε , existe una sucesión (ϕk ) ⊂ C0∞ (RN ) que converge
a v en Hε . Luego,
Z Z Z
∇wn ∇ϕk dx + V (εn x + εn xn )wn ϕk dx = g εn (εn x + εn xn , wn )ϕk dx. (2.123)
RN RN RN

Para mostrar que w es solución de (2.121) se probarán tres límites que se cumple
para todo k ∈ N

1. ∇wn ∇ϕk dx → ∇w∇ϕk .

R R
RN RN

En efecto, recuerde que wn ⇀ w en H 1 (RN ). Luego, se tiene que ∂wn

∂xi
⇀ ∂w
∂xi
, ∀i ∈
{1, 2, ..., N } en L2 (RN ). Como ∂ϕk
∂xi
∈ L2 (RN ), ∀i ∈ {1, 2, ..., N }, entonces, por
definición de convergencia débil
Z Z
∇wn ∇ϕk dx → ∇w∇ϕk
RN RN

2. V (εn x + εn xn )wn ϕk dx →
R R
RN RN αwϕk dx.

En efecto, como V es continua

lim V (εn x + εn xn ) = V ( lim εn x + lim εn xn ) = lim V (εn xn ) = α.

n→+∞ n→+∞ n→+∞ n→+∞

Recuerde que wn converge uniformemente a w en K = supp ϕk . Entonces, dado

ϵ > 0, existe un n0 ∈ N tal que

|w(x) − wn (x)| ≤ ϵ, ∀x ∈ K, ∀n > n0 ,

de manera que |wn (x)| ≤ |w(x)| + ϵ, ∀x ∈ K, ∀n > n0 . Note que como wn y w

son continuas, entonces poseen un máximo en K. Sea C1 > 0 tal que

|wn (x)| ≤ C1 , ∀x ∈ K, ∀n ∈ {1, 2, ..., n0 }

y C2 tal que |w(x)| ≤ C2 , ∀x ∈ K. Tomando C = max{C1 , C2 + ϵ},

|V (εn x + εn xn )wn (x)ϕk (x)| ≤ CV∞ ϕk ∈ L1 (K).

Además, V (εn x+εn xn )wn (x)ϕk (x) → αw(x)ϕk (x) c.t.p en K. Por lo que, usando
el Teorema 1.2.2 y el hecho de que ϕk tiene soporte compacto
Z Z
V (εn x + εn xn )wn ϕk dx → αwϕk dx.
RN RN

73
 3. g εn (εn x + εn xn , wn )ϕk dx →
R R
RN RN g̃(x, w)ϕk dx.

En efecto, por la Proposición 2.2.2 y el acotamiento de wn en K visto en 2

|g εn (εn x + εn xn , wn )ϕk | ≤ (Mρ C + cρ C p−1 )|ϕk | ∈ L1 (K).

Además, como wn → w uniformemente en K, entonces g εn (εn x + εn xn , wn )ϕk →

g̃(x, w)ϕk c.t.p en K. Usando el Teorema 1.2.2
Z Z
g (εn x + εn xn , wn )ϕk dx →
εn
g̃(x, w)ϕk dx
RN RN

Ahora, tomando límite para n → +∞ en la ecuación (2.122)

Z Z Z
∇w∇ϕk dx + αwϕk dx = g̃(x, w)ϕk dx. (2.124)
RN RN RN

De la convergencia de (ϕk ) a v en Hε y por las inmersiones Hε ,→ L2 (RN ), Hε ,→

Lp (RN ) (Teorema 1.2.6) se sigue que

∥ϕk − v∥2 ≤ C1 ∥ϕk − v∥ε → 0,

∥ϕk − v∥p ≤ C2 ∥ϕk − v∥ε → 0

∥ϕk − v∥2∗ ≤ C3 ∥ϕk − v∥ε → 0

y
∥∇ϕk − ∇v∥2 ≤ C4 ∥ϕk − v∥ε → 0

Por el Teorema 1.2.4, existe una subsucesión, que se denotará (ϕk ) nuevamente,
∗
que converge a v c.t.p en RN y existen h1 ∈ L2 (RN ), h2 ∈ Lp (RN ), h3 ∈ L2 (RN ) y
h4 ∈ L2 (RN ) tal que para todo k ∈ N

|ϕk | ≤ h1 , |ϕk | ≤ h2 , |ϕk | ≤ h3 |∇ϕk | ≤ h4 en RN . (2.125)

Por lo anterior
∇w∇ϕk + αwϕk → ∇w∇v + αwv c.t.p en RN , (2.126)

y
|∇w∇ϕk + αwϕk | ≤ |∇w|h4 + α|w|h1 ∈ L1 (RN ), (2.127)

donde para garantizar que el miembro derecho de la desigualdad está en L1 (RN ) se usó
el Teorema 1.2.3.

74
 Luego, Por el Teorema 1.2.2,
Z Z Z Z
∇w∇ϕk dx + αwϕk dx → ∇w∇v dx + αwv dx.
RN RN RN RN

Además, se tiene que g̃(x, w)ϕk → g̃(x, w)v c.t.p en RN , y por la definición de g̃

]ϕk + (1 − χ̃(x))f˜(w)ϕk |.
∗ −1
|g̃(x, w)ϕk | = |χ̃(x)[f (w) + w2

Del Lema 2.2.1,

|f (w)| ≤ ρ|w| + cρ |w|p−1

y del Lema 2.2.3

|f˜(w)| ≤ c1 |w| + c2 |w|p−1 + |w|2
∗ −1
.

Como χ̃ ∈ L∞ (RN ), entonces

∗ −1
|g̃(x, w)ϕk | ≤ r1 |w|h1 + r2 |w|p−1 h2 + r3 |w|2 h3 ∈ L1 (RN ),

donde r1 , r2 son constantes dadas por las desigualdades anteriores y la función χ̃. Para
garantizar que el miembro derecho de la desigualdad está en L1 (RN ) se usó el Teorema
p
1.2.3 con |w|p−1 ∈ L p−1 (RN ), h ∈ Lp (RN ) y p−1
p
+ 1
p
= 1.
Usando el Teorema 1.2.2
Z Z
g̃(x, w)ϕk dx → g̃(x, w)v dx.
RN RN

Así, tomando límite para k → ∞ en (2.124)

Z Z Z
∇w∇v dx + αwv dx = g̃(x, w)v dx, ∀v ∈ Hε . (2.128)
RN RN RN

Por lo cual, w es solución del problema (2.121).

Para cada j ∈ N, debido a la densidad de C0∞ (RN ) en H 1 (RN ), existe ϕj ∈ C0∞ (RN )
tal que
1
∥ϕj − w∥H 1 ≤ , (2.129)
j
es decir, ∥ϕj − w∥H 1 = oj (1).
∂ϕj
Usando ∂xi
como función test en (2.122)
Z
∂ϕj Z
∂ϕj Z
∂ϕj
∇wn ∇ dx + V (εn x + εn xn )wn dx = g εn (εn x + εn xn , wn ) dx
RN ∂xi RN ∂xi RN ∂xi
(2.130)

75
 ∂ϕj
De manera similar a lo hecho anteriormente en 1,2 y 3, como ∂xi
tiene soporte compacto
y wn → w uniformemente en conjuntos compactos, entonces
Z
∂ϕj Z
∂ϕj
∇wn ∇ dx = ∇w∇ dx + on (1), (2.131)
RN ∂xi RN ∂xi

Z
∂ϕj Z
∂ϕj
g (εn x + εn xn , wn )
εn
dx = g̃(x, w) dx + on (1). (2.132)
RN ∂xi R N ∂xi
y
Z
∂ϕj Z
∂ϕj
V (εn xn )wn dx = αw dx + on (1) (2.133)
RN ∂xi RN ∂xi
Z
∂ϕj Z
∂ϕj
= g̃(x, w) dx + ∇w∇ dx + on (1), (2.134)
RN ∂xi RN ∂xi
donde en la parte final se usó (2.124).
Ahora, restando (2.134) de (2.130) y usando (2.131) y (2.132)

Z
∂ϕj
(V (εn x + εn xn ) − V (εn xn ))wn = on (1). (2.135)
RN ∂xi
Pasando al límite superior
Z
∂ϕj
lim sup (V (εn x + εn xn ) − V (εn xn ))wn dx = 0. (2.136)
n→+∞ RN ∂xi
Como ϕj tiene soporte compacto y wn → w uniformemente en conjuntos compactos
Z
∂ϕj
lim sup (V (εn x + εn xn ) − V (εn xn ))w dx = 0, (2.137)
n→+∞ RN ∂xi

pero ϕj → w en H 1 (RN ),
 
∂ϕj
entonces ∂xi
converge a ∂w
∂xi
en L2 (RN ). Así, por el Teorema 1.2.4 existe una
j
función en L2 (RN ) que acota a la sucesión. Luego,
Z
∂ϕj
lim sup (V (εn x + εn xn ) − V (εn xn ))ϕj dx = oj (1), (2.138)
n→+∞ RN ∂xi
es decir,
Z
1 ∂ϕ2j
lim sup (V (εn x + εn xn ) − V (εn xn )) dx = oj (1). (2.139)
n→+∞ RN 2 ∂xi
Integrando por partes y usando que ϕj tiene soporte compacto
Z
∂V
lim sup (εn x + εn xn )|ϕj |2 = oj (1). (2.140)
n→+∞ RN ∂xi

Ahora veamos que RN ∂xi (εn x

∂V
+ εn xn )|ϕj |2 dx − RN ∂xi (εn xn )|ϕj |
∂V 2
= on (1) para todo
R R

j ∈ N.

76
 En efecto, por el Teorema del Valor Medio, existe s ∈ (0, 1) tal que
N
∂V ∂V ∂ 2V
(εn x + εn xn )|ϕj |2 − (εn xn )|ϕj |2 = (εn xn + sεn x).(εn xl )|ϕj |2 . (2.141)
X
∂xi ∂xi l=1 ∂x l ∂x i

Por (V2 ), existe M > 0 tal que

∂ 2V
(z) ≤ M, ∀z ∈ RN , i, j ∈ {1, 2, ..., N }. (2.142)
∂xl ∂xi

Luego,
Z
∂V Z
∂V
(εn x + εn xn )|ϕj |2 dx − (εn xn )|ϕj |2 ≤ M εn Cj , (2.143)
RN ∂xi RN ∂xi

donde Cj = |xl ||ϕj |2 dx < +∞.

PN R
l=1 RN

Tomando límite para n → +∞, como εn → 0, entonces

Z
∂V Z
∂V
(εn x + εn xn )|ϕj |2 dx − (εn xn )|ϕj |2 = on (1). (2.144)
RN ∂xi RN ∂xi

Volviendo al problema original,

Z
∂V Z
∂V Z
∂V
(εn xn )|ϕj | dx ≤
2
(εn x + εn xn )|ϕj | dx −
2
(εn xn )|ϕj |2 dx +
RN ∂xi R ∂xi
N R ∂xi
N

(2.145)
Z
∂V
(εn x + εn xn )|ϕj |2 dx .
RN ∂xi
(2.146)

Usando lo mostrado recientemente,

Z
∂V Z
∂V
(εn xn )|ϕj | dx ≤ on (1) +
2
(εn x + εn xn )|ϕj |2 dx , (2.147)
RN ∂xi RN ∂xi

y aplicando el límite superior, por (2.140)

Z
∂V
lim sup (εn xn )|ϕj |2 ≤ oj (1), (2.148)
n→+∞ RN ∂xi

Como |ϕj |2 dx no depende de n, entonces

R
RN

Z
∂V ∂V Z
lim sup (εn xn )|ϕj | = lim sup
2
(εn xn ) |ϕj |2 dx ≤ oj (1). (2.149)
n→+∞ RN ∂xi n→+∞ ∂xi R N

Tomando límite cuando j → +∞

!
∂V Z
lim lim sup (εn xn ) |ϕj | dx = 0,
2
(2.150)
j→+∞ n→+∞ ∂xi RN

77
pero como ϕj → w en L2 (RN ), entonces
Z Z
|ϕj |2 dx → |w|2 dx > 0. (2.151)
RN RN

Esto implica que

∂V
lim lim sup (εn xn ) = 0, ∀i ∈ {1, 2, ..., N }. (2.152)
j→+∞ n→+∞ ∂xi

Por lo tanto, lim sup ∂V

(ε x )
∂xi n n
= 0, ∀i ∈ {1, 2, ..., N } y
n→+∞

∇V (εn xn ) → 0, n → +∞. (2.153)

De esto se concluye que (εn xn ) es una sucesión de Palais-Smale en α de V , lo cual

es absurdo ya que, por (V3 ), V satisface la condición de Palais-Smale, pero (εn xn ) no
posee ninguna subsucesión convergente en RN ya que xn ∈ ∂B Rε y
ε

Rε 1
|εn xn | = εn = → +∞, n → +∞.
εn εn

Ahora se pasará a probar el teorema principal de este caso.

Teorema 2.0.1. Considere la función



 0, x ∈ B̄ Rε (0)
ũε (x) = ε
(2.154)
(uε − a)+ , x ∈ RN /B̄ Rε (0),


ε

Se busca mostrar que existe ε0 > 0 tal que ũε ∈ Hε y ũε = 0, es decir, uε (x) < a, ∀x ∈
RN /B̄ Rε , ∀ε ∈ (0, ε0 ).
ε

Sea Uε = RN /B̄ Rε . El conjunto {x ∈ Uε , uε (x) > a} tiene medida finita. En efecto,

ε

por contradicción, si el conjunto tuviera medida infinita, entonces

Z Z Z
2
|uε | dx ≥ u2ε ≥ a2 dx = +∞.
RN Uε ∩[uε >a] Uε ∩[uε >a]

Lo cual no puede ocurrir ya que uε ∈ Hε . Luego,

Z Z Z
|(uε − a) | dx ≤ 2
+ 2 2
u2ε dx + 2 2
a2 dx < +∞.
Uε Uε ∩[uε >a] Uε ∩[uε >a]

Por lo que (uε − a)+ ∈ L2 (Uε ). Además,

Z Z
|∇(uε − a)+ |2 dx = |∇uε |2 dx < +∞,
Uε Uε ∩[uε >a]

78
es decir, (uε − a)+ ∈ H 1 (Uε ).
Dado que uε ∈ C(RN , R), entonces (uε − a)+ ∈ C(Uε , R). Por el Lema 2.4.1, existe
ε0 tal que uε < a, en ∂B Rε , para todo ε ∈ (0, ε0 ). Así, por definición, (uε − a)+ = 0 en
ε

∂Uε , es decir, (uε − a)+ ∈ H01 (Uε ) y por el Teorema 1.2.7, ũε ∈ Hε .
Ahora, como uε es solución de (Tε )
Z Z Z
∇uε ∇ũε dx + V (εx)uε ũε dx = g ε (εx, uε )ũε dx. (2.155)
RN RN RN

De la definición de ũε
Z Z Z Z
V0
∇uε ∇ũε dx + V (εx)uε ũε dx = g ε (εx, uε )ũε dx ≤ uε ũε dx,
Uε Uε Uε ∩[uε >a] Uε k
(2.156)
donde en la última desigualdad se usó la definición de g ε . La desigualdad anterior
implica que
V0
Z Z  
∇uε ∇ũε dx + V0 − uε ũε dx ≤ 0. (2.157)
Uε Uε k
Como ∇ũε = ∇uε en Uε ∩ [uε > a] y ∇ũε = 0 en Uε /[uε > a], entonces
Z Z
0≤ |∇uε |2 dx = ∇uε ∇ũε dx. (2.158)
Uε ∩[uε >a] Uε

Debido a que k > 2, uε > 0 y ũε ≥ 0 se tiene

V0
Z Z  
0≤ ∇uε ∇ũε dx + V0 − uε ũε dx (2.159)
Uε Uε k

Juntando (2.157), (2.158) y (2.159)

V0
Z  
V0 − uε ũε dx = 0,
Uε k

pero como uε > 0, entonces (uε − a)+ = 0 en RN /B Rε (0), es decir

ε

uε (x) ≤ a, ∀x ∈ RN /B Rε (0).
ε

Por lo tanto, uε es solución de (Pε∗ ).

79
Conclusiones

• El método de penalización fue una herramienta clave para demostrar la existencia

de soluciones del problema (Pε ). La introducción de un problema auxiliar con
condiciones mejor controladas permitió aplicar técnicas variacionales avanzadas
y superar dificultades como la condición de Palais-Smale.

• El uso del Teorema del Paso de la Montaña resultó fundamental para garantizar la
existencia de soluciones. Este teorema permitió demostrar la existencia de puntos
críticos en el funcional asociado al problema, incluso en presencia de estructuras
complejas y no lineales.

• En el caso crítico, debido al exponente de Sobolev se pierde compacidad y no es

posible verificar que el funcional asociado al problema auxiliar verifica la condi-
ción de Palais-Smale. Sin embargo, es posible utilizar la versión del Teorema del
Paso de la Montaña sin la condición de Palais-Smale para obtener una sucesión
de Palais-Smale que converge a una solución del problema auxiliar.

• El estudio realizado trasciende el análisis teórico, ya que estuvo motivado por

aplicaciones en modelos físicos como la ecuación no lineal de Schrödinger. Esto
resalta la importancia de combinar técnicas del análisis funcional y el cálculo
variacional para abordar problemas con interpretaciones físicas significativas.

80
Referencias Bibliográficas

[1] Rabinowitz PH. On a class of nonlinear Schrödinger equations. Zeitschrift für

angewandte Mathematik und Physik. 1992 3;43(2):270-91. Disponible en: https:
//doi.org/10.1007/BF00946631.

[2] Del Pino M, Felmer PL. Local mountain passes for semilinear elliptic problems
in unbounded domains. Calculus of Variations and Partial Differential Equations.
1996 2;4(2):121-37. Disponible en: https://doi.org/10.1007/bf01189950.

[3] Del Pino M, Felmer PL, Miyaguki OH. Existence of positive bound states of non-
linear Schrödinger equations with saddle-like potential. Nonlinear Analysis. 1998
12;34(7):979-89. Disponible en: https://doi.org/10.1016/s0362-546x(97)
00593-2.

[4] Alves CO, Ó JMD, Souto MAS. Local mountain-pass for a class of elliptic prob-
lems in RN involving critical growth. Nonlinear Analysis. 2001 11;46(4):495-510.
Disponible en: https://doi.org/10.1016/s0362-546x(00)00125-5.

[5] Alves CO. Existence of standing waves solution for a nonlinear Schrödinger
equations in RN . arXiv (Cornell University). 2015 1. Disponible en: https:
//arxiv.org/abs/1508.00274.

[6] Floer A, Weinstein A. Nonspreading wave packets for the cubic Schrödinger equa-
tion with a bounded potential. Journal of Functional Analysis. 1986 12;69(3):397-
408. Disponible en: https://doi.org/10.1016/0022-1236(86)90096-0.

[7] Oh YG. Existence of semiclassical bound states of nonlinear Schrödinger equa-

tions with potentials of the class (V )a . Communications in Partial Differential
Equations. 1988 1;13(12):1499-519. Disponible en: https://doi.org/10.1080/
03605308808820585.

81
 [8] Bartle RG. The elements of integration and Lebesgue measure. Nashville, TN,
Estados Unidos de América: John Wiley & Sons; 2014.

[9] Brezis H. Functional analysis, Sobolev spaces and partial differential equations.
Nueva York, NY, Estados Unidos de América: Springer; 2011.

[10] Evans LC. Partial differential equations. Providence, RI, Estados Unidos de
América: American Mathematical Society; 2010.

[11] Torres Ledesma C, Cuti Gutiérrez H, Avalos Rodríguez J. Introducción al cálculo

en espacios normados. Trujillo, Perú: Editorial universitaria de la UNT; 2021.

[12] Willem M. Minimax theorems. Nueva York, NY, Estados Unidos de América:
Springer; 2011.

[13] Wang X. On concentration of positive bound states of nonlinear Schrödinger equa-

tions. Communications in Mathematical Physics. 1993 4;153(2):229-44. Disponible
en: https://doi.org/10.1007/bf02096642.

[14] Miyagaki OH. On a class of semilinear elliptic problems in RN with critical growth.
Nonlinear Analysis. 1997 10;29(7):773-81. Disponible en: https://doi.org/10.
1016/s0362-546x(96)00087-9.

[15] Trudinger NS. On harnack type inequalities and their application to quasilin-
ear elliptic equations. Communications on Pure and Applied Mathematics. 1967
11;20(4):721-47. Disponible en: https://doi.org/10.1002/cpa.3160200406.

[16] Sissa VCZ, Rabinowitz PH. Homoclinic type solutions for a semilinear elliptic PDE
on RN . Communications on Pure and Applied Mathematics. 1992 12;45(10):1217-
69. Disponible en: https://doi.org/10.1002/cpa.3160451002.

[17] Alves CO, Souto MAS. Existence of solutions for a class of elliptic equations in RN
with vanishing potentials. Journal of Differential Equations. 2012 2;252(10):5555-
68. Disponible en: https://doi.org/10.1016/j.jde.2012.01.025.

82
 Existencia de una solución positiva para una clase de ecuación
elíptica no lineal con potencial que satisface la condición de
Palais-Smale

x x

1 Tamayo Rios Jose Antonio Ciencias Físicas Matemáticas Estudiante 1451700120 Autor
y Matemáticas
2 Torres Ledesma César Enrique Ciencias Físicas y Matemáticas Docente 6093 Asesor
Matemáticas

31 julio 2025

60877917

42417185
 31 julio 2025

Existencia de una solución positiva para una clase de ecuación

elíptica no lineal con potencial que satisface la condición de Palais-Smale

1 Tamayo Rios Jose Antonio Ciencias Físicas Estudiante 1451700120 Autor

y Matemáticas
2 Torres Ledesma César Enrique Ciencias Físicas y Nombrado 6093 Asesor
Matemáticas

60877917

42417185
 VICERRECTORADO DE INVESTIGACIÓN
DIRECCIÓN DE INVESTIGACIÓN Y ÉTICA
COMITÉ TÉCNICO DE ÉTICA DE LA
INVESTIGACIÓN DE LA FACULTAD DE
CIENCIAS FÍSICAS Y MATEMÁTICAS

ANEXO N° 30
CONSTANCIA DE INFORME DE ORIGINALIDAD

N°: 005 - 2025/FCFYM

1. Investigador: JOSÉ ANTONIO TAMAYO RÍOS

DNI: 60877917 Código: 1451700120

2. Asesor: Dr. César Enrique Torres Ledesma

3. Tipo de investigación: Investigación Cuantitativa

4. Tipo de trabajo de investigación: Informe de tesis de pregrado

5. Fecha de evaluación: 03/08/2025

6. Software antiplagio: Turnitin

7. Porcentaje del informe de originalidad: 14%

Porcentaje de originalidad Resultado de Evaluación

*Hasta el 20% APROBADO

**Mayor a 20%

*Consignar APROBADO con letras mayúsculas

**Consignar de ser el caso: levantamiento de observaciones o Desaprobado

………………….………………………………….. ………………….…………………………………..
Dr. Esteban Rosas Castillo Pereda Dr. Kelman Widman Marín Rengifo
Integrante del Comité Técnico de Ética de la Presidente del Comité Técnico de Ética de la
Investigación de la Facultad de Ciencias Físicas Investigación de la Facultad de Ciencias Físicas
y Matemáticas y Matemáticas