arX

iv:2

207.

1247

2v1

[m

ath.

AP]

25

Jul 2

022

Existence and multiplicity results for a class of

Kirchhoff-Choquard equations with a generalized

sign-changing potential

Eduardo de S. Böer1 *, Olímpio H. Miyagaki1 † and Patrizia Pucci2 ‡§

1 Department of Mathematics, Federal University of São Carlos,

13565-905 São Carlos, SP - Brazil

2 Dipartimento di Matematica e Informatica, Università degli Studi di Perugia,

06123 Perugia, Italy

July 27, 2022

Dedicated to the memory of Professor Antonio Ambrosetti, with high feelings of admiration

for his notable contributions in Mathematics and great affection

Abstract: In the present work we are concerned with the following Kirchhoff-Choquard-type

equation

−M(||∇u||22)∆u+Q(x)u+ µ(V (| · |) ∗ u2)u = f(u) in R2,

for M : R → R given by M(t) = a + bt, µ > 0, V a sign-changing and possible un-

bounded potential, Q a continuous external potential and a nonlinearity f with exponential

critical growth. We prove existence and multiplicity of solutions in the nondegenerate case and

guarantee the existence of solutions in the degenerate case.

Mathematics Subject Classification: 35J60, 35J15, 35Q55, 35B25.

Key words. Kirchhoff-Choquard equations, sign-changing potentials, exponential growth, variational

techniques, ground state solution.

1 Introduction

The present work is devoted to study existence and multiplicity of solutions to the following

class of Kirchhoff-Choquard equations

−M(||∇u||22)∆u+Q(x)u+ µ(V (| · |) ∗ u2)u = f(u) in R2, (1.1)

*E-mail address: eduardoboer04@gmail.com, Tel. +55.51.993673377†E-mail address: ohmiyagaki@gmail.com, Tel.: +55.16.33519178 (UFSCar)‡Corresponding author§E-mail address: patrizia.pucci@unipg.it

1

2

where µ > 0, M : R → R is a Kirchhoff type function, Q : R2 → R is a nonnegative potential,

V : R → R is a continuous sign-changing and possible unbounded potential and f : R → R is

a continuous function with primitive F (t) =t∫

0

f(s)ds.

This paper was motivated by recent works dealing with Choquard equations with loga-

rithmic kernel, such as [4, 5, 7, 8], and some works of Kirchhoff-type equations, as for exam-

ple [13, 17]. In the following, we make a quick literature overview.

On one hand, the following Choquard or nonlinear Schrödinger-Newton equation

−∆u+ V (x)u+ γ(ΓN ∗ |u|2)u = b|u|p−2u, p > 2, b > 0, in RN , (1.2)

where ΓN is the well-known fundamental solution of the Laplacian

ΓN (x) =

1

N(2−N)σN|x|2−N if N ≥ 3,

1

2πln |x| if N = 2,

has been extensively studied in the case N = 3, due to its relevance in physics. Although what

the equation name suggests, it was first studied by Fröhlich and Pekar in [9, 10, 23], to describe

the quantum mechanics of a polaron at rest, in the particular case V (x) ≡ Constant > 0 and

γ > 0. Then, in 1976, Choquard introduced the same equation in the study of an electron

trapped in its hole. Moreover, Penrose has derived equation (1.2) while discussing about the

self gravitational collapse of a quantum-mechanical system in [19]. See also [16].

In the case N = 2, in [7], the authors have proved the existence of a ground state solution,

using the Nehari manifold and the existence of infinitely many geometrically distinct solutions,

when Q : R2 → (0,∞) is continuous and Z2-periodic, µ > 0 and a nonlinearity of the form

f(u) = b|u|p−2u, with b ≥ 0 and p ≥ 4. Then, intending to fill the gap, i.e., the situation

2 < p < 4, the paper [8] deals with equation (1.1) when Q(x) ≡ Constant > 0 and µ > 0, and

f(u) = |u|p−2u, with 2 < p < 4, and provides existence of a mountain pass solution as well

as of a ground state solution. Finally, in [4], the authors prove existence and multiplicity results

for the p−fractional Laplacian operator and in [5] existence and multiplicity results are derived

for (p,N)-Laplacian equations. Moreover, in [5] the authors prove for the first time that, up to

subsequence, Cerami sequences are bounded in the solution space.

Let us recall that, from a physical point of view, the local nonlinear terms on the right side

of equation (1.2), such as b|u|p−2u, for b ∈ R and p > 2, usually appears in the Schrödinger

equations as a way of modelling the interaction among particles. We refer the reader to [4] for

a complete overview in this topic.

On the other hand, the literature of Kirchhoff-type equations and its related elliptic problems

is very interesting and quite large. As an example, we cite [11] where the authors consider the

following equation

−

a+ b

∫

RN

|∇u|2dx

∆u+ u = f(x, u) in RN ,

u ∈ H1(RN),

3

and prove the existence of a sequence of radial solutions (uk) ⊂ H1(RN) satisfying I(uk) →

∞, as k → ∞. For a more detailed overview in the numerous results involving Kirchhoff

equations, we refer the reader to [13, 14, 17, 20] and the references therein.

To finish, we emphasize that nonlinearities with exponential behaviour appear frequently

in applied problems, from physics to biology, which show us the importance of the studies on

this topic. In this sense, we cite some works that deal with nonlinearities of Moser-Trudinger

type [6, 12, 17, 18] and the references therein.

We intend to extend or complement the above mentioned works, considering a generalized

sign-changing convolution potential, the Kirchhoff operator and a nonlinearity with critical ex-

ponential growth.

In the sequel we present the features of equation (1.1). Throughout this paper, R+ = {t ∈

R ; t > 0}. In our work we are going to consider the following Kirchhoff function

(M) M : R → R given by M(t) = a + bt , for all t ∈ R , with a > 0 and b ≥ 0 or a =

0 and b > 0. The case where a > 0 is called nondegenerate while the situation in which a = 0

is said to be degenerate. We are going to consider both cases here.

Since our intention is to provide a way to solve problems with sign-changing potentials

that can be unbounded from below, we require that V has a nontrivial negative part, V − =

max{−V, 0}. But some of the arguments can be modified in order to apply these techniques to

positive potentials as well. The positive part of V is defined as max{V, 0}. Thus, we assume

that V : R+ → R is a real function verifying the following properties

(V1) There are real functions a1, a2 : R+ → R such that a2 ∈ L∞(R+), a1,0 = inf

t≥2a1(t) >

0, a2,0 = inft∈R+

a2(t) > 0 and

a1(t) ln(1 + t) ≤ V +(t) ≤ a2(t) ln(1 + t), ∀ t > 0.

(V2) There exists a real function a3 : R+ → R such that a3(t) > 0 in a subset of R+ with

positive measure,

V −(t) ≤a3(t)

t∀ t > 0 and

a3 ∈ L∞(R),

or

a3(t) = t−λ, for some λ ∈ [1, 3) and for all t > 0,

(V3) There exists an open subset I ⊂ R+ such that V (t) < 0 for all t ∈ I.

Natural examples of potentials V , satisfying conditions (V1) − (V3), have the following

geometry: V (|x|) → ∞ as |x| → ∞ and, either its negative part is bounded or V (|x|) → −∞

as |x| → 0. Such behaviour is studied in Lemma 3.3. Below, we present some examples of

possible V . Note that, in example (b), the negative part is bounded.

Example 1.1. (a) The most important example as a potential V is the logarithmic kernel,

4

V (|x|) = ln |x|, for all x ∈ R2. Observe that condition (V1) is satisfied with a2(t) ≡ 1 and

a1(t) =

ln t

2 ln(1 + t), if t ≥ 2,

ln 2

2 ln 3(t− 1), if 1 ≤ t ≤ 2,

0 , if 0 ≤ t ≤ 1.

Conditions (V2) and (V3) are verified with functions a3, a4, a5 ≡ 1.

(b) Define V (|x|) = |x|α − |x|β, for 0 < β < α < 1 suitably chosen.

(c) One can also consider more exotic potentials, such as V : R+ → R given by

V (|x|) =

−1

|x|, if 0 < |x| ≤ 1

2|x| − 3, if 1 ≤ |x| ≤3

2

ln

(

|x| −1

2

)

, if3

2≤ |x|.

As for the external potential Q : R2 → R, we ask condition

(Q) Q ∈ C(R2,R), infx∈R2

Q(x) = Q0 > 0 and there exists p ∈ (1,∞] such that Q ∈ Lp(R2).

Finally, we recall that a function h has subcritical exponential growth at +∞, if

lims→+∞

h(s)

eαs2 − 1

= 0 , for all α > 0,

and we say that h has α0-critical exponential growth at ∞, if

lims→+∞

h(s)

eαs2 − 1

=

{

0, ∀ α > α0

∞, ∀ α < α0.

Thus, inspired by works such as [4, 17, 21], we consider the following conditions over f .

(f1) f ∈ C(R,R), f(0) = 0 and has critical exponential growth with α0 = 4π.

(f2) lim|t|→0

|f(t)|

|t|τ= 0, for some τ > 1.

(f3) There exists θ ≥ 4 such that f(t)t ≥ θF (t) > 0, for all t ∈ R \ {0}.

(f4) There exist q > 4 and Cq > 0 such that F (t) ≥ Cq|t|q, for all t ∈ R.

From conditions (f1) and (f2), given ε > 0, α > 4π, fixed, for all p > 2, we can find two

5

constants K1 = K1(p, α, ε) > 0 and K2 = K2(p, α, ε) > 0 such that

f(t) ≤ ε|t|τ +K1|t|p−1(eαt

2

− 1) , ∀ t ∈ R, (1.3)

and

F (t) ≤ ε|t|τ+1 +K2|t|p(eαt

2

− 1) , ∀t ∈ R. (1.4)

Example 1.2. As a prototype for nonlinearity f satisfying conditions (f1)− (f4), we can con-

sider f : R → R given by

f(t) = Cq

{

tq , if 0 ≤ t ≤ 1

tqe4π(t2−1), if t > 1

,

for Cq > 0 sufficiently large and q > 3 and consider the its odd extension.

Example 1.3. From Example 1.1, one can see that problem (1.1) includes, as a very important

particular case, the planar Schrödinger-Poisson system

−∆u+Q(x)u+ µ(ln | · | ∗ |u|2)u = f(u) in R2.

We are now ready to enunciate our first main result.

Theorem 1.1. Suppose (V1)− (V3), (Q), (f1)− (f4), a > 0, b ≥ 0, µ > 0, q > 4 and Cq > 0

sufficiently large. Then,

(a) problem (1.1) has a nontrivial solution at the mountain pass level, that is, there exists

u ∈ X \ {0} such that u is a critical point for I and I(u) = cmp, where

cmp = infγ∈Γ

maxt∈[0,1]

I(γ(t)), (1.5)

with Γ = {γ ∈ C([0, 1], X) ; γ(0) = 0 and I(γ(1)) < 0}.

(b) Problem (1.1) has a nontrivial ground state solution, in the sense that, there is u ∈ X\{0}

that is a critical point to I and satisfies

I(u) = cg = inf{I(v) ; v ∈ K}, where K = {v ∈ X \ {0} ; I ′(v) = 0}.

Then, in order to get multiple solutions for (1.1), we are going to apply a symmetric version

of mountain pass theorem. To do so, we need to change condition (f1) by the following.

(f ′1) f ∈ C(R,R), f(0) = 0, f is odd and has critical exponential growth with α0 = 4π.

As a prototype example for this case, one can consider the odd extension of f given in

Example 1.2.

Theorem 1.2. Suppose (V1) − (V3), (Q), (f′1), (f2) − (f4), a > 0, b ≥ 0, µ > 0, q > 4 and

Cq > 0 sufficiently large. Then, problem (1.1) has infinitely many solutions.

6

In the degenerate case we also need some changes in the hypotheses for f . First of all, in

order to get the mountain pass geometry, we ask

(f ′2) lim

|t|→0

|f(t)|

|t|τ= 0, for some τ > 3.

Moreover, to obtain boundedness for Cerami sequences in H1(R2), we need

(f ′3) There exists θ ≥ 8 such that f(t)t ≥ θF (t) > 0, for all t ∈ R \ {0}.

Theorem 1.3. Suppose (V1)− (V3), (Q), (f1), (f′2), (f

′3), (f4), a = 0, b > 0, q > 4 and Cq > 0

sufficiently large. Then,

(a) there exists a value µ∗ > 0 such that, for all µ ∈ (0, µ∗), problem (1.1) has a nontrivial

solution at the mountain pass level, i.e., there exits u ∈ X \ {0} a critical point for I

satisfying I(u) = cmp, where

cmp = infγ∈Γ

maxt∈[0,1]

I(γ(t)),

with Γ = {γ ∈ C([0, 1], X) ; γ(0) = 0 and I(γ(1)) < 0}.

(b) There exists a value µ∗∗ ∈ (0, µ∗] such that, for all µ ∈ (0, µ∗∗), problem (1.1) has a

nontrivial ground state solution, in the sense that, there is u ∈ X \ {0} that is a critical

point to I and satisfies

I(u) = cg = inf{I(v) ; v ∈ K}, where K = {v ∈ X \ {0} ; I ′(v) = 0}.

Throughout the paper, we consider the following notations: Ls(R2) denotes the usual Lebesgue

space with norm || · ||s; X′ stands as the dual space of X; Br(x) is the ball centred in x with

radius r > 0, simply Br if x = 0; r1, r2 will be real values verifying r1, r2 > 1, r1 ∼ 1 and1r1

+ 1r2

= 1; (y ∗ u)(x) = u(x − y), for all x, y ∈ R2; xn ց x will mean that xn → x and

xn ≥ x, for all n ∈ N; Ki, i ∈ N, denote important constants present in the estimates; Ci,

i ∈ N, denote different positive constants whose exact values are not essential to the exposition

of the arguments.

The paper is organized as follows: in Section 2 we present some technical results concerning

the framework and boundedness of sequences in the solution space. Section 3 is devoted to

analyse the geometry of the functional and the involved potentials. Moreover, we verify some

boundedness and convergence properties. In Section 4 we consider the nondegenerate case and

present the proof of a key proposition and of Theorems 1.1 and 1.2. Finally, in Section 5, we

study the degenerate case and prove the existence result related to it.

2 Framework and Technical Results

In this section, we are going to present the space where we are going to look for solutions

to (1.1) and some technical results concerning sequences in such space. To begin with, since

7

we are going to use a variational approach, we introduce the Euler-Lagrange functional I :

H1(R2) → R ∪ {∞} associated to (1.1), given by

I(u) =a

2

∫

R2

|∇u|2dx+b

4

∫

R2

|∇u|2dx

2

+1

2

∫

R2

Q(x)u2(x)dx+µ

4P (u)−

∫

R2

F (u)dx, (2.1)

where P : H1(R2) → R ∪ {∞} is defined as

P (u) =

∫

R2

∫

R2

V (|x− y|)u2(x)u2(y)dxdy. (2.2)

We also consider two auxiliary bilinear symmetric and positive forms P 1, P 2 : H1(R2) →R ∪ {∞} given by

P 1(u) =

∫

R2

∫

R2

V +(|x− y|)u(x)v(y)dxdy and P 2(u) =

∫

R2

∫

R2

V −(|x− y|)u(x)v(y)dxdy, (2.3)

respectively, and the functionals P1, P2 : H1(R2) → R ∪ {∞} defined as P1 = P 1(u

2, u2) and

P2 = P 2(u2, u2). Observe that P (u) = P1(u)− P2(u).

Now, based on [7], we consider the slightly smaller Hilbert space

X = {u ∈ H1(R2) ; ||u||∗ <∞}, where ||u||2∗ =

∫

R2

ln(1 + |x|)u2(x)dx,

endowed with the norm || · ||2X = || · ||2 + || · ||2∗, where || · || is the usual norm in H1(R2), and

|| · ||∗ comes from the inner product

〈u, v〉∗ =

∫

R2

ln(1 + |x|)u(x)v(x) dx.

Clearly || · || ≤ || · ||X , so that X → H1(R2) → Ls(R2), for all s ≥ 2.

Our first aim in this section is to prove that I ∈ C1(X,R). Thus, we present some prelimi-

nary results to achieve this aim.

We start recalling the reader the well-known Moser-Trudinger inequality.

Lemma 2.1. [6] If α > 0 and u ∈ H1(R2), then

∫

R2

(

eα|u|2

− 1)

dx <∞.

Moreover, if ||∇u||22 ≤ 1, ||u||22 ≤ M < ∞ and α < 4π, then there exists a constant Kα,M =

K(M,α), such that∫

R2

(

eα|u|2

− 1)

dx < Kα,M .

Then, combined with (1.4) and Hölder inequality, for r1, r2 > 1, r1 ∼ 1 and 1r1

+ 1r2

= 1,

8

we have

∫

R2

F (u) dx ≤ ε||u||τ+1τ+1 +K2||u||

ppr2

∫

R2

(er1α|u|2

− 1)dx

1

r1

<∞, ∀ u ∈ H1(R2). (2.4)

On the other side, from condition (V1), there exists a constant K3 > 0 such that

P1(u) ≤ ||a2||∞

∫

R2

∫

R2

ln(1 + |x− y|)u2(x)u2(y)dxdy ≤ K3||u||2∗||u||

22, (2.5)

and, from condition (V2) and the Hardy-Littlewood-Sobolev inequality (HLS) (found in [15]),

there is K4 > 0 satisfying

P2(u) ≤ ||a3||∞

∫

R2

∫

R2

1

|x− y|u2(x)u2(y)dxdy ≤ K4||u||

48

3

,

if a3 ∈ L∞(R), and

P2(u) ≤

∫

R2

∫

R2

1

|x− y|λ+1u2(x)u2(y)dxdy ≤ KHLS||u||

48

3−λ

, (2.6)

if a3(t) = t−λ, for all t > 0 and λ ∈ [−1, 3). One should observe that the constant K4 also

depend on the best Hardy-Littlewood-Sobolev constant, denoted by KHLS . From now on we

consider only the second case, since a3 ∈ L∞(R) can be treated similarly. Moreover, from

condition (Q), we have, for p > 1 given in (Q), with 1p+ 1

p′= 1, that

∫

R2

Q(x)u2 dx ≤ ||Q||p||u||22p′ and

∫

R2

Q(x)uv dx ≤ ||Q||p||u||2p′||v||2p′. (2.7)

Furthermore, from [7, Lemma 2.2], we have the following compact embedding.

Lemma 2.2. The space X is compactly embedded in Ls(R2) for all s ≥ 2.

Consequently, one can easily verify by standard arguments that I is well-defined on X ,

I ∈ C1(X,R) and

P ′(u)(v) = 4

∫

R2

∫

R2

V (|x− y|)u2(x)u(y)v(y) dxdy, ∀ v ∈ X.

The derivative of P can be treated in a similar way as that in [7, Lemma 2.2]. We recall the

9

reader that a nontrivial weak solution for (1.1) is a function u ∈ X \ {0} satisfying

a

∫

R2

∇u∇vdx+ b

∫

R2

|∇u|2dx

∫

R2

∇u∇vdx+

∫

R2

Q(x)uvdx

+ µ

∫

R2

∫

R2

V (|x− y|)u2(x)u(y)v(y) dxdy =

∫

R2

f(u)vdx, ∀ v ∈ X.

Hence, critical points for I will be weak solutions for (1.1).

In the sequence we provide two crucial technical lemmas. The first one states when we have

boundedness or convergence in X and the second one shows an important integral convergence.

We will prove a general version of theses results, in order to provide a version that can be

possible used in some other problems. In this sense, consider a continuous function g : R2 → R

satisfying the following condition:

(g) g ∈ C(R,R), g(0) = 0 and there are constants K5 ∈ R \ {0}, K6 > 0 such that

K5|t| ≤ |g(t)| ≤ K6|t|, ∀ t ∈ R

From condition (g), we have

K5

2|t|2 ≤ G(t) ≤

K6

2|t|2, ∀ t ∈ R. (2.8)

Example 2.1. (1) Clearly, the prototype for g is given by g(t) = t, for all t ∈ R.

(2) We also have more general examples for g, such as g : R → R given by

g(t) =

t , if t ∈ [0, 1]

t3, if t ∈ (1, 2]

4t, if t ∈ (2,∞)

.

One can easily verify that g satisfies the desired condition.

Lemma 2.3. Let u ∈ L2(R2) \ {0}. Suppose that (un), (vn) ⊂ X are two sequences satisfying

un(x) → u(x) a.e. in R2 and (vn) is bounded in L2(R2). Set

ωn =

∫

R2

∫

R2

V +(|x− y|)G(un(x))G(vn(y)) dxdy.

Then, if supn∈N

ωn < ∞, (||vn||∗) ⊂ R is bounded. Moreover, if ωn → 0 and vn → 0 in L2(R2),

then ||vn||∗ → 0.

Proof. From Egorov’s Theorem, there are R ∈ N, δ > 0, n0 ∈ N and A ⊂ BR such that A is

a measurable set with |A| > 0 and un(x) > δ, for all n ≥ n0. Without loss of generality we

can consider R > 2. Thus, if x ∈ BR and y ∈ Bc2R, we have 1 + |x − y| ≥

√

1 + |y| and

10

|x− y| > 2. Therefore, for each n ≥ n0, we have

ωn ≥K2

5

4

∫

Bc2R

∫

A

a1(|x− y|) ln(1 + |x− y|)u2n(x)v2n(y) dxdy

≥K2

5a1,0δ2|A|

8

∫

Bc2R

ln(1 + |y|)v2n(y) dy

=K2

5a1,0δ2|A|

8(||vn||

2∗ − ln(1 + 2R)||vn||

22),

and the result follows.

Lemma 2.4. Let (un) ⊂ X such that un ⇀ u in X . Then,

limn→∞

∫

R2

∫

R2

V +(|x− y|)G(un(x))g(u(y))(un(y)− u(y)) dxdy = 0.

Proof. For simplicity, for each n ∈ N, set

An =

∫

R2

∫

R2

V +(|x− y|)|G(un(x))||g(u(y))||(un(y)− u(y))| dxdy.

Since un ⇀ u in X , from Lemma 2.2, un → u in Ls(R2) for all s ≥ 2. From this, condition

(g) and (2.8), we have

An ≤ ||a2||∞K2

6

2u2(x)|u(y)||un(y)− u(y)| dxdy

≤K2

6 ||a2||∞2

||un||2∗||u||

22||un − u||22 + ||un||

22

∫

R2

ln(1 + |y|)|u(y)||un(y)− u(y)| dy

.

To finish the proof one can agree similarly as in [7, Lemma 2.6].

3 Geometry Properties and Convergence Results

In the present section, we verify that I has the mountain pass geometry and prove that, up to

a subsequence, Cerami sequences are bounded in X . Moreover, we analyse the geometry of

the potential V and the functional P . For the next computations, we need the following useful

inequality,

∫

R2

f(u)u dx ≤ ε||u||τ+1τ+1 +K2||u||

qqr2

∫

R2

(er1α|u|2

− 1)dx

1

r1

. (3.1)

Lemma 3.1. There exists a value ρ > 0, sufficiently small, such that

mβ = inf{I(u) ; u ∈ X, ||u|| = β} > 0 , ∀β ∈ (0, ρ]

11

and

lβ = inf{I ′(u)(u) ; u ∈ X, ||u|| = β} > 0 , ∀β ∈ (0, ρ].

Proof. Let α > 4π and u ∈ X such that r1α||u||2 < 4π.

Case a > 0: From (Q), equations (2.4), (3.1) and (2.6), Lemma 2.1 and the embeddings, we

have

I(u) ≥a

2||∇u||22 +

b

4||∇u||42 +

Q0

2||u||22 −

µ

4K4||u||

48

3−λ

− ε||u||τ+1τ+1 −K2Kα||u||

qqr2

≥ C1||u||2[1− µC2||u||

2 − εC3||u||τ−1 − C4||u||

q−2] +b

4||∇u||42,

where C1 = min{

a2, Q0

2

}

> 0 and, similarly,

I ′(u)(u) ≥ C5||u||2[1− µC6||u||

2 − εC7||u||τ−1 − C8||u||

q−2] + b||∇u||42,

where C5 = min{a,Q0}. Hence, for any µ > 0 and for ρ, ε > 0 sufficiently small, the result is

valid for this case.

Case a = 0: Since we are going to take ρ > 0 small, we can assume that ||u||2 < 1. Then,

||u||22 ≥ ||u||42. Moreover,

b

4||∇u||42 +

Q0

2||u||42 ≥ C9(||∇u||

42 + ||u||42) ≥

C9

4||u||4,

where C9 = min{

b4, Q0

2

}

. Consequently,

I(u) ≥ ||u||4(

C9

4− C10µ− εC11||u||

τ−3 − C12||u||q−4

)

. (3.2)

Therefore, for ρ, ε, µ > 0 sufficiently small, we also have the result in this case.

Remark 3.1. In inequality (3.2), we can write the right hand side as

C9

4− C10µ− εC11||u||

τ−3 − C12||u||q−4

=

(

C9

8− C10µ

)

+

(

C9

8− εC11||u||

τ−3 − C12||u||q−4

)

.

(3.3)

For the first term to be positive we need

C9

8C10

> µ.

To be more precise, we can explicit the constants C9 and C10. First of all, from the Gagliardo-

Nirenberg inequality, we have

||u||4 8

3−λ

≤ K3−λ2

GN ||u||4,

where KGN > 0 is the best constant. Hence, taking into account that

C9 = min

{

b

4,Q0

2

}

and C10 = KHLSK3−λ2

GN ,

12

we get

min{

b4, Q0

2

}

8KHLSK3−λ2

GN

> µ.

Therefore, considering a sufficiently small µ0 > 0 such that the above equation is satisfied and

the second term in (3.3) is positive we have the result of Lemma 3.1, in the degenerate case, for

all µ ∈ (0, µ0).

Finally, we highlight that, in the case which a3 ∈ L∞(R), we have

min{

b4, Q0

2

}

8||a3||∞KHLSK3

2

GN

> µ.

Lemma 3.2. Let u ∈ X \ {0} and q > 4. Then,

I(tu) ց 0, as t→ 0 , supt>0

I(tu) <∞ and I(tu) → −∞, as t→ ∞.

Proof. Let u ∈ X \ {0}, q > 4 and t > 0. From (f4) (2.7) and (2.5), we have

I(tu) ≤a

2t2||∇u||22 +

b

4t4||∇u||42 +

t2

2||Q||p||u||

22p′ +

µK3

4t4||u||4X − Cqt

q||u||qq → −∞,

as t→ ∞. Now, let t > 0 sufficiently small such that r1αt2||u||2 < 4π. Then, from Lemma 2.1

and (2.4),∫

R2

F (tu) dx ≤ εtτ+1||u||τ+1τ+1 + C1t

q||u||qqr2 → 0, as t→ 0.

Thus, we conclude that I(tu) → 0 as t→ 0 and, since I ∈ C1(X,R), supt>0

I(tu) <∞.

From Lemmas 3.1 and 3.2, the value cmp stated in (1.5) is well-defined and satisfies 0 <

mρ ≤ cmp < ∞. Moreover, since I has the mountain pass geometry, there exists a Cerami

sequence for I at the level cmp, that is, there exists (un) ⊂ X such that

I(un) → cmp and ||I ′(un)||X′(1 + ||un||X) → 0, as n→ ∞. (3.4)

Before we investigate boundedness and convergence for such sequences, we will study the

geometry of P and V .

Lemma 3.3. For the potential V and the functional P , we have the following properties:

(i) V +(t) → ∞, as t→ ∞, and V +(t) → 0, as t→ 0;

(ii) V −(t) → 0, as t→ ∞;

(iii) V (t) → ∞, as t→ ∞.

(iv) There exists a function u0 ∈ X \ {0} such that P (u0) < 0.

Proof. (i) From condition (V1), for t ≥ 2, we have

0 < a1,0 ln(1 + t) < a1(t) ln(1 + t) ≥ V +(t) → 0, as t→ ∞.

13

On the other side, also from condition (V1),

0 ≤ V +(t) ≤ ||a2||∞ ln(1 + t) → 0, as t→ 0.

(ii) From condition (V2), follows that

0 ≤ V −(t) ≤a3(t)

t≤

||a3||∞t

, if a3 ∈ L∞(R)

1

t1+λ, if a3(t) = t−λ

→ 0, as t→ ∞.

(iii) It follows immediately from items (i) and (ii).

(iv) From condition (V3) we can consider an open interval (c, d) ⊂ I in which V (t) < 0. Take

x0 ∈ (Bcc ∩Bd). Let ψ be a function such that ψ ∈ C∞(R2,R) and supp ψ ⊂ B |c−d|

4

(x0). Then,

ψ ∈ X \ {0} and P (ψ) < 0.

As an immediately consequence, we have the following corollary.

Corolary 3.1. The set A = {u ∈ X ; u 6= 0, P (u) ≤ 0} 6= ∅.

Hence, we are able to find an useful upper bound to the mountain pass level which will make

possible to obtain our main results.

Lemma 3.4. There exists a constant K7 = K7(a, b, q, Q, p) > 0 such that cmp ≤K7

C2

q−2

q

.

Proof. From the continuous Sobolev embeddings, for q > 4, there exists a constant C > 0 such

that ||u|| ≥ C||u||q, for all u ∈ H1(R2) \ {0}. Thus, by Corollary 3.1, it makes sense to define

Sq(v) =||v||

||v||qand Sq = inf

v∈ASq(v) ≥ inf

v 6=0Sq(v) > 0.

Now, from Lemma 3.2, for v ∈ A and T > 0 sufficiently large, I(Tv) < 0. So, we can define a

path γ ∈ Γ by γ(t) = tTv, for t ∈ [0, 1], such that

cmp ≤ max0≤t≤1

I(γ(t)) = max0≤t≤1

I(tTv) ≤ maxt>0

I(tv).

Consequently, from (Q), (f4) and the Gagliardo-Nirenberg inequality, for ψ ∈ A, we have

cmp ≤ maxt>0

a+ ||Q||pKp−1

p

GN

2

Sq(ψ)2t2||ψ||2q −

Cq

2tq||ψ||qq

+maxt>0

{

b

4Sq(ψ)

4t4||ψ||4q −Cq

2tq||ψ||qq

}

.

Considering the auxiliary functions h1, h2 : R → R given, respectively, by h1(t) = at2 − btq

and h2(t) = ct4 + dtq, for a, b, c, d > 0, we obtain that

cmp ≤

(

24−q

q−2 −2

2

q−2

q

)

(a + ||Q||pKp−1

p

GN )q

q−2Sq(ψ)2q

q−2

(

1

qCq

)2

q−2

.

14

Therefore, taking the infimum over all ψ ∈ A, we get the desired result.

Finally, in the last results of this section we verify when Cerami sequences are, up to subse-

quences, bounded in X . Consider (un) ⊂ X satisfying

∃ d > 0 s.t. I(un) ≤ d, for all n ∈ N and ||I ′(un)||X′(1 + ||un||X) → 0, as n→ ∞. (3.5)

Lemma 3.5. Let (un) ⊂ X be bounded in H1(R2) such that

lim infn→∞

supy∈Z2

∫

B2(x)

u2n(x)dx > 0.

Then, there exists u ∈ H1(R2) \ {0} and (yn) ⊂ Z2 such that, up to a subsequence, yn ∗ un =

un ⇀ u ∈ H1(R2). Particularly, u 6= 0 in L2(R2).

Lemma 3.6. Let (un) ⊂ X be a sequence satisfying (3.5), bounded in H1(R2) and such that

||∇un||2 < 2√

πr1α

, for all n ∈ N, and

lim infn→∞

supy∈Z2

∫

B2(y)

u2n(x)dx > 0.

Then, up to a subsequence, (un) is bounded in X .

Proof. The proof follows from Lemmas 2.2, 2.3 and 3.5, equations (2.4) and (2.6) and the facts

that, P1 is invariant under Z2-translations and that, for all n ∈ N,

µ

4P1(un) = I(un)−

a

2||∇un||

22 −

b

4||∇un||

42 −

1

2

∫

R2

Q(x)u2n(x)dx+µ

4P2(un) +

∫

F (un)dx,

as desired.

We highlight that the next technical lemma is the key in obtaining multiplicity of solutions

for problem (1.1), since it makes possible to verify the validity of (PS) condition at some

suitable levels.

Corolary 3.2. Let (un) ⊂ X under the hypotheses given in Lemma 3.6. Then, up to a subse-

quence, (un) is bounded in X .

Proof. To begin with, from Lemma 3.6, passing to a subsequence if necessary, there exists

(yn) ⊂ Z2 such that un ⇀ u in X , with u 6= 0 in L2(R2), un(x) → u(x) pointwise a.e. in R

2

and, from Lemma 2.2, un → u in Ls(R2), for all s ≥ 2.

Moreover, one can see that there are R1, C1 > 0 and n1 ∈ N such that ||un||pp,BR1

≥ C1 > 0,

for all n ≥ n1. From this we can conclude that (yn) is bounded in Z2 and, using that

||un||2∗ =

∫

R2

ln(1 + |x− yn|)u2n(x)dx ≤ ||un||

2∗ + ln(1 + |yn|)||un||

22, ∀ n ∈ N,

and that (un) is already bounded in H1(R2), the result follows.

15

Lemma 3.7. Assume q > 4 and α > 4π, fixed. Let (un) ⊂ X be a sequence satisfying (3.5),

||∇un||2 < 2√

πr1α

and that does not verify ||un|| → 0 and I(un) → 0. Then,

lim infn→∞

supy∈Z2

∫

B2(y)

u2n(x)dx > 0.

Proof. The proof is done by contradiction, applying the Lion’s Lemma, and using (2.6), (3.1),

Moser-Trudinger inequality and that I ′(un)(un) → 0, as n→ ∞.

4 The nondegenerate case (a > 0)

This section is devoted to prove Theorems 1.1 and 1.2. Since we are going to handle the

nondegerate case, throughout this section we will assume a > 0 and b ≥ 0. Our strategy

consists in proving boundedness of Cerami sequences inH1(R2), guaranteeing that it is possible

to apply Moser-Trudinger inequality for such sequences and, under what conditions, I has

nontrivial critical points in X . To finish this section, we verify that (1.1) has infinitely many

solutions.

Lemma 4.1. Suppose that a > 0 and b ≥ 0. Let (un) ⊂ X a sequence satisfying (3.5). Then,

(un) is bounded in H1(R2).

Proof. From condition (f3) and (3.5), we have

d+ o(1) ≥ I(un)−1

4I ′(un)(un) =

a

4||∇un||

22 +

1

4

∫

R2

Q(x)u2ndx+

∫

R2

[

f(un)un4

− F (un)

]

dx

≥min{a,Q0}

4||un||

2, ∀ n ∈ N.

Hence, for all n ∈ N,

(

4d

min{a,Q0}

)1

2

+ o(1) ≥ ||un||, ∀ n ∈ N,

and the result follows.

Corolary 4.1. Let (un) ⊂ X be a sequence satisfying (3.5), with d ∈ (0, cmp], or being

a Cerami sequence in level cmp. Then, up to a subsequence, there exists a constant K8 =

K8(a, b, q, Q, p) > 0 such that ||un|| ≤K8

C1

q−2

q

, for all n ∈ N.

Proof. The proof follows directly from Lemmas 3.4 and 4.1 and lim sup properties.

Proposition 4.1. Suppose q > 4 and Cq > 0 sufficiently large. Let (un) ⊂ X a sequence

satisfying (3.5), with d ∈ (0, cmp], or being a Cerami sequence in level cmp. Then, passing to a

subsequence, if necessary, only one between the following alternatives hold:

(a) ||un|| → 0 and I(un) → 0.

16

(b) There exists a function u ∈ X \ {0} such that un → u in X and u is a critical point to I

in X .

Proof. Let us suppose that item (a) does not hold. Then, from Lemmas 4.1, 3.5, 3.7, 3.6 and

Corollary 3.2, passing to a subsequence if necessary, un ⇀ u in X , for u ∈ X \ {0}. Moreover,

from Lemma 2.2, un → u in Ls(R2), for all s ≥ 2.

Now, from Corollary 4.1, up to a subsequence, we can assume that r1α||un||2 < 4π, for all

n ∈ N and Cq > 0 sufficiently large. Thus, from (3.5), (2.7), Lemma 2.1 and (HLS), we have

the following main properties

(i) |I ′(un)(un − u)| ≤ ||I ′(un)||X′||un − u||X → 0, as n→ ∞;

(ii) P ′2(un)(un − u) → 0,

∫

R2

Q(x)u2ndx→ 0 and

∫

R2

f(un)undx→ 0, as n→ ∞.

Moreover, from un ⇀ u in H1(R2), the weakly sequentially lower semicontinuity of || · ||2and lim inf properties, passing to a subsequence if necessary, we have

〈∇un,∇(un − u)〉 = ||∇un||22 − ||∇u||22 + o(1).

Consequently, from Lemma 2.4 with g(t) = t, (i) and (ii), follows that

o(1) = I ′(un)(un − u)

≥ a(||∇un||22 − ||∇u||22) + b||∇un||

22(||∇un||

22 − ||∇u||22 + o(1))P ′

1(un)(un − u) + o(1)

= a(||∇un||22 − ||∇u||22) +

∫

R2

∫

R2

V +(|x− y|)u2n(x)(un − u)2(y)dxdy

+

∫

R2

∫

R2

V +(|x− y|)u2n(x)u(y)(un(y)− u(y))dxdy + o(1)

≥ a(||∇un||22 − ||∇u||22) + o(1) ≥ o(1).

Hence, we obtain that ||∇un||22−||∇u||22 → 0 and, since un → u in L2(R2), un → u inH1(R2).

Moreover, returning to the above inequality we conclude that

∫

R2

∫

R2

V +(|x− y|)u2n(x)(un − u)2(y)dxdy → 0

and, from Lemma 2.3, ||un − u||∗ → 0, which implies that un → u in X . Finally, for v ∈ X ,

|I ′(u)(v)| ≤ |I ′(u)(v)− I ′(un)(v)|+ ||I ′(un)||X′ ||v|| → 0, as n→ ∞.

Therefore, u is a nontrivial critical point for I in X .

Proof of Theorem 1.1. Item (a) follows immediately from (3.4), Lemma 3.1 and Proposition

4.1. Let us prove item (b). From item (a), K 6= ∅. Let (un) ⊂ K such that I(un) → cg.

Observe that cg ∈ [−∞, cmp]. If cg = cmp nothing remains to be proved. Assume that

cg < cmp. Thus, combined with the definition of K, we have that (un) satisfies (3.5) with

d = cmp. Hence, from Lemma 3.1 and Proposition 4.1, there exists u ∈ X \ {0} such that

17

un → u in X and u is a critical point for I . Moreover, we have I(u) = cg which implies,

particularly, that cg > −∞.

In order to prove our second main result, let k ∈ N, arbitrary but fixed, and Z ⊂ X a

subspace with dimZ = k and norm || · ||Z . Our goal is to apply a symmetric version of the

mountain pass theorem, due to Ambrosetti and Rabinowitz [2](see also [3, 22]).

Theorem 4.1. ( [1, Theorem 4.1]) Let E = E1 ⊕ E2, where E is a real Banach space and E1

is finite dimensional. Suppose that J ∈ C1(E,R) is even, J(0) = 0, and that it verifies

(J1) there exists τ, r > 0 such that J(u) ≥ τ if ||u||E = r, u ∈ E2,

(J2) there exists a finite-dimensional subspace F ⊂ E, with dimE1 < dimF , and a constant

B > 0 such that maxu∈F

J(u) ≤ B,

(J3) J satisfies the (PS)c condition for all c ∈ (0,B).

Then, J possess at least dimF − dimE1 pairs of nontrivial critical points.

In the sequence we need to verify the conditions of Theorem 4.1. First of all, one should

observe that, under conditions (f ′1) − (f4), (Q), (M) and (V1) − (V3) we already have that

I ∈ C1(X,R), is even, I(0) = 0 and, from Lemma 3.1, I verifies (J1). So, it remains to prove

that I also verifies (J2) and (J3).

Lemma 4.2. Let q > 4. Then, there exists R > 0 such that I(u) ≤ 0 for all u ∈ X verifying

||u||Z ≥ R.

Proof. Since dimZ < ∞, all norms are equivalent. Thus, from condition (f4) and (2.5), we

have

I(u) ≤ C1||u||2Z + C2||u||

4Z − C3||u||

qZ → −∞, as ||u||Z → ∞.

Lemma 4.3. Let q > 4. Then, there exists η > 0, sufficiently small, such that maxu∈Z

I(u) ≤ η

and r1αη

min{a,Q0}< π.

Proof. Let u ∈ Z \ {0}. Thus, from dimZ < ∞, condition (f4) and (2.5), there are constants

constants C1, C2, C3 > 0, depending on a, b, q and Q such that

I(u) ≤ C1||u||2Z + C2||u||

4Z − CqC3||u||

qZ.

Arguing in a similar way as in Lemma 3.4, one can find a constant C4 > 0 satisfying

I(u) ≤C4

Cβq

, for some exponent β = β(q) > 1.

Consequently,

maxu∈Z

I(u) ≤C4

Cβq

and, taking Cq > 0 sufficiently large we find a value η > 0 sufficiently small as desired.

18

In the next proposition we guarantee that I satisfies the (PS)d condition for all d ∈ (0, η).

One can observe that the proof can be done in a very similar way as that of Proposition 4.1, so

we will omit it here. We highlight that the validity of following lemma is possible only in virtue

of Lemma 3.2.

Lemma 4.4. The functional I satisfies condition (PSC)d for all d ∈ (0, η).

Proof of Theorem 1.2. From Lemmas 3.1, 4.3 and 4.4 and an immediate application of Theorem

4.1, with E = X , E1 = {0}, F = Z, J = I , τ = mρ, r = ρ and B = η, we get that I possess at

least k nontrivial critical points. Therefore, as we can make k as large as we want, we conclude

that (1.1) has infinitely many solutions.

5 The degenerate case (a = 0)

In this section we investigate the existence of solutions for (1.1) in the degenerate case. So, we

assume a = 0 and b > 0 throughout it. Since we have the same multiplying constant 14

in both

terms, that one depending on ||∇ · ||2 and that on with V , we need a different approach than was

used in Section 4. The technique is based in Lemmas 5.1 and 5.2, which are inspired in similar

results of [7].

Lemma 5.1. Let (un) ⊂ X a sequence satisfying (3.5) and (tn) ⊂(

0,(

θ−4θ

)1

4

]

. Then,

I(tnun) ≤ I(un), for all n ∈ N.

Proof. Observe that

I(tnun) =b

4t4n||∇un||

42 +

t2n2

∫

R2

Q(x)u2ndx+µ

4t4nP (un)−

∫

R2

F (tnun)dx (5.1)

and

µP ′(un)(un) = I ′(un)(un)− b||∇un||42 −

∫

R2

Q(x)u2ndx+

∫

R2

f(un)undx. (5.2)

Thus, combining (5.1) and (5.2),

I(tnun)− I(un) =b

4(t4n − 1)||∇un||

42 +

t2n − 1

2

∫

R2

Q(x)u2ndx+µ

4(t4n − 1)P (un)

+

∫

R2

[F (un)− F (tnun)]dx

=1

2

(

t2n −t4n2

−1

2

)∫

R2

Q(x)u2ndx+

∫

R2

[

F (un)− F (tnun) +t4n − 1

4f(un)un

]

dx

≤ 0,

since t2n −t4n2− 1

2≤ 0, for all n ∈ N, and

F (un) +t4n − 1

4f(un)un ≤

(

1

θ+t4n − 1

4

)

f(un)un ≤ 0, ∀ n ∈ N.

19

Therefore, I(tnun) ≤ I(un), for all n ∈ N.

Lemma 5.2. Let (un) ⊂ X satisfying (3.5). Then, (un) is bounded in H1(R2).

Proof. Suppose by contradiction that ||un|| → ∞. For a fixed α > 4π, define vn =√

πr1α

un

||un||,

for each n ∈ N. Thus, ||vn|| =√

πr1α

, for all n ∈ N. Consequently, (vn) is bounded in H1(R2).

Claim: lim infn→∞

supy∈Z2

∫

B2(y)

v2n(x)dx > 0.

Otherwise, by Lion’s Lemma, vn → 0 in Ls(R2), for all s ∈ (2,∞). Thus, from (2.6), (3.1),

(3.5) and Lemma 2.1, we have

0 ≤ µP1(vn) + b||∇vn||42 +

1

2Q(x)v2ndx = I ′(vn)(vn) + µP2(vn) +

∫

R2

f(vn)vndx

≤ µK5||vn||4

8

3−λ

+ ε||vn||τ+1τ+1 + C1||vn||

qqr2

→ 0,

as n → ∞. Consequently, P1(vn) → 0, ||∇vn||2 → 0 and, by (Q), ||vn||2 → 0. Hence,

||vn|| → 0, which is a contradiction.

Therefore, from Lemma 3.2, up to a subsequence, vn ⇀ v in X , for v ∈ X \ {0}. We can

assume, without loss of generality, that vn(x) → v(x) a.e. in R2. Moreover, from the continuous

Sobolev embeddings, vn ⇀ v in Lq(R2). Thus, from weakly sequentially lower semicontinuity,

boundedness in X , (2.7), the Gagliardo-Nirenberg inequality and condition (f4), there exist

n0 ∈ N such that, for t > 0,

I(tvn) ≤ t4b

4

(

π

r1α

)2

+t2

2

π

r1α||Q||pK

1

p′

GN + t4C2 − Cqtq||v||qq, ∀ n ≥ n0.

So, if we choose t0 > 0 sufficiently large, I(t0vn) ≤ −1, for all n ≥ n0. But, by other hand,

t0

√

π

r1α

1

||un||→ 0, as n→ ∞,

which contradicts Lemma 3.2. Therefore, (un) is bounded in H1(R2).

Let (un) ⊂ X be the sequence given in equation (3.4). From Lemma 5.2, there exists a

constant Kmp > 0 such that, passing to a subsequence ie necessary, ||un|| ≤ Kmp, for all

n ∈ N. Although we already have a bound for this Cerami sequence, we still need a sufficiently

small bound for ||∇un||2 in order to apply Lemma 2.1.

Lemma 5.3. Let (un) ⊂ X a sequence satisfying (3.4). Then, there are µmp > 0 sufficiently

small and a constant K9 > 0 such that, up to a subsequence, ||∇un||2 ≤ K9c1

4mp, for all n ∈ N

and µ ∈ (0, µmp).

Proof. From (2.6) and the Gagliardo-Nirenberg inequality, we have

P2(un) ≤ K5||un||4

8

3−λ

≤ K5K3−λ2

GN ||un||4 ≤ K5K

3−λ2

GN K4mp, ∀ n ∈ N.

20

Consequently,

cmp + o(1) ≥ I(un)−1

8I ′(un)(un)

≥b

8||∇un||

42 +

3

8Q0||un||

22 − µ

K5K3−λ2

GN K4mp

4+

∫

R2

(

1

8f(un)un − F (un)

)

dx

≥b

8||∇un||

42 − µ

K5K3−λ2

GN K4mp

4.

Hence, considering µmp > 0 sufficiently small, we have

cmp + o(1) ≥ eb||∇un||42,

for all n ∈ N, µ ∈ (0, µmp) and a value e ∈(

0, 18

)

, depending on µmp.

Therefore, the result follows for K9 =(

1eb

)1

4 > 0.

Proof of Theorem 1.3 - (a). The proof follows from Lemmas 2.4, 2.1, 3.1, 3.5, 3.7, 3.6, 5.2 and

5.3 and Corollary 3.2, arguing in a very similar way as Proposition 4.1 and Theorem 1.1.

Since we already have item (a), we can consider the set K = {v ∈ X \{0} ; I ′(v) = 0} that

is not empty. So, cg ∈ [−∞, cmp] and there exists a sequence (un) ⊂ K such that I(un) → cg.

We will assume cg < cmp once if the equality holds, nothing remains to be proved. Also, by the

definition of K, one can see that (un) satisfies

||I ′(un)||X′(1 + ||un||X) → 0, as n→ ∞.

Thus, from Lemma 5.2, there exists a constant Kg > 0 such that ||un|| ≤ Kg, for all n ∈ N.

Lemma 5.4. Let (un) ⊂ X be the minimizing sequence for cg. Then, there are µg > 0 suffi-

ciently small and a constant K10 > 0 such that, up to a subsequence, ||∇un||2 ≤ K10c1

4mp, for

all n ∈ N and µ ∈ (0, µg).

Proof. Similarly as done in Lemma 5.3, since cg < cmp, up to a subsequence, we get

cmp + o(1) ≥b

8||∇un||

42 − µ

K5K3−λ2

GN K4g

4.

Thus, considering µg > 0 sufficiently small, we have

cmp + o(1) ≥ rb||∇un||42,

for all n ∈ N, µ ∈ (0, µg) and a value r ∈(

0, 18

)

, depending on µg.

Therefore, the result follows for K10 =(

1rb

)1

4 > 0.

Remark 5.1. One should observe that, since the nonemptiness of K depends on the existence

of a solution at the mountain pass level, the value µg must also satisfy µg ≤ µmp.

21

Proof of Theorem 1.3-(b). The proof follows from Lemmas 2.4, 2.1, 3.1, 3.5, 3.7, 3.6, 5.2 and

5.4 and Corollary 3.2, arguing in a very similar way as Proposition 4.1 and Theorem 1.1.

Acknowledgements: The first author was supported by Coordination of Superior Level Staff

Improvement-(CAPES)-Finance Code 001 and São Paulo Research Foundation-(FAPESP), grant

♯ 2019/22531-4, while the second author was supported by National Council for Scientific and

Technological Development-(CNPq), grant ♯ 307061/2018-3 and FAPESP grant ♯ 2019/24901-

3. The third author is a member of the Gruppo Nazionale per l’Analisi Matematica, la Proba-

bilità e le loro Applicazioni (GNAMPA) of the Istituto Nazionale di Alta Matematica (INdAM)

and was partly supported by the Fondo Ricerca di Base di Ateneo – Esercizio 2017–2019 of the

University of Perugia, named PDEs and Nonlinear Analysis.

References

[1] Albuquerque, F. S. B. (2014) Nonlinear Schrodinger elliptic systems involving exponential

critical growth in R2, Electronic Journal of Differential Equations. Vol. 2014, n. 59, pp.

1-12.

[2] Ambrosetti, A. and Rabinowitz P.H. (1973) Dual variational methods in critical point theory

and applications, Journal of Functional Analysis. 14, 349–381.

[3] Bartolo, P., Benci, V., Fortunato, D. (1983) Abstract critical point theorems and applica-

tions to some nonlinear problems with “strong” resonance at infinity, Nonlinear Analysis:

Theory, Methods & Applications. 7, 981–1012.

[4] Böer, E. de S. and Miyagaki, O. H. (2021) Existence and multiplicity of solutions for the

fractional p-Laplacian Choquard logarithmic equation involving a nonlinearity with expo-

nential critical and subcritical growth, J. Math. Phys. 62, 051507.

[5] Böer, E. de S. and Miyagaki, O.H. (2021) (p,N)-Choquard logarithmic equation in-

volving a nonlinearity with exponential critical growth: existence and multiplicity,

ArXiv:2105.11442 [Math], submitted.

[6] Cao, D. M. (1992) Nontrivial solution of semilinear elliptic equations with critical exponent

in R2. Communications in Partial Differential Equations, 17, 407–435.

[7] Cingolani, S. and Weth, T. (2016) On the planar Schrödinger–Poisson system. Annales de

l’Institut Henri Poincare (C) Non Linear Analysis, 33, 169–197.

[8] Du, M. and Weth, T. (2017) Ground states and high energy solutions of the planar

Schrödinger–Poisson system. Nonlinearity, 30, 3492–3515.

[9] Fröhlich, H. (1937) Theory of electrical breakdown in Ionic crystals. Proceedings of the

Royal Society of London. Series A, Mathematical and Physical Sciences, 160, 230–241.

[10] Fröhlich, H. (1954) Electrons in lattice fields. Advances in Physics, 3, 325–361. 35

22

[11] Jin, J. and Wu, X. (2010) Infinitely many radial solutions for Kirchhoff-type problems in

RN, Journal of Mathematical Analysis and Applications. 369, 564–574.

[12] Lam, N. and Lu, G. (2014) Elliptic equations and systems with subcritical and critical

exponential growth without the Ambrosetti-Rabinowitz condition, J. Geom. Anal., 24,118-

143.

[13] Liang, S., Pucci, P. and Zhang, B. (2020) Multiple solutions for critical Choquard-

Kirchhoff type equations, Advances in Nonlinear Analysis. 10, 400–419.

[14] Liang, S. and Zhang, J. (2015) Existence of solutions for Kirchhoff type problems with

critical nonlinearity in RN , Z. Angew. Math. Phys. 66, 47–562.

[15] Lieb, E. H. (1983) Sharp constants in the Hardy-Littlewood-Sobolev and related inequali-

ties. The Annals of Mathematics, 118, 349.

[16] Lions, P.-L. (1987) Solutions of Hartree-Fock equations for Coulomb systems. Communi-

cations in Mathematical Physics, 109, 33–97.

[17] Miyagaki, O.H. and Pucci, P. (2019) Nonlocal Kirchhoff problems with Trudinger–Moser

critical nonlinearities, Nonlinear Differ. Equ. Appl., 26:27, 1-26.

[18] Moser, J. (1971) A Sharp form of an inequality by N. Trudinger. Indiana University Math-

ematics Journal, 20, 1077–1092.

[19] Penrose, R. (1996) On gravity’s role in quantum state reduction. General Relativity and

Gravitation, 28, 581–600.

[20] Pucci, P., Xiang, M. and Zhang, B. (2019) Existence results for

Schrödinger–Choquard–Kirchhoff equations involving the fractional p-Laplacian,

Advances in Calculus of Variations, 12, 253–275.

[21] Ruf, B. and Sani, F. (2013) Ground states for elliptic equations in R2 with exponential

critical growth. Magnanini, R., Sakaguchi, S., and Alvino, A. (eds.), Geometric properties

for parabolic and elliptic PDE’s, vol. 2, pp. 251–267, Springer, Milan.

[22] Silva, E. A. B. (1988) Critical point theorems and applications to differential equations,

PhD. Thesis, University of Wisconsin-Madison.

[23] Wilson, A. J. C. (1955) Untersuchungen über die Elektronentheorie der Kristalle by S. I.

Pekar. Acta Crystallographica, 8, 70–70.