Abstract
In this work we consider a non-local magnetic system with a Stein–Weiss convolution potential. Using variational methods, we study the existence of solutions for the weighted non-local magnetic system and we establish the existence of solutions in the case of large perturbations of the linear absorption term. In addition, we provide new variants of the Brézis–Lieb lemma (Proc Am Math Soc 88:486–490, 1983) with a Stein–Weiss convolution reaction for the non-local magnetic system.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
The linear Schrödinger equation is a basic tool of quantum mechanics, which provides a description of particle dynamics in a non-relativistic environment. The nonlinear Schrödinger equation appears in different physical theories, for example, see Meystre [22] and Mills [23]. In particular, we are interested in the interaction between the particles, and so we study in this paper the following weighted non-local magnetic system
where \(N \ge 2\), \(\lambda > 0\) is a real parameter, \(\mu \in (0,N)\), \(\alpha \ge 0\), \(2 \alpha + \mu \le N\), \(p \in \displaystyle \left( \frac{2N - \mu -2\alpha }{N},\frac{2N - \mu - 2 \alpha }{N - 2}\right) \) if \(N > 2\), \(p \in \displaystyle \left( \frac{4 - \mu -2\alpha }{2},+\infty \right) \) if \(N = 2\), i is the imaginary unit. The magnetic potential \(A : {\mathbb {R}}^N \mapsto {\mathbb {R}}^N\) is in \(L_{\mathrm{loc}}^2({\mathbb {R}}^N)\) and the scalar potential \(V : {\mathbb {R}}^N \mapsto {\mathbb {R}}\) is a nonnegative continuous function which can vanish somewhere.
We now assume that \(Z : {\mathbb {R}}^N \mapsto {\mathbb {R}}\) is a continuous function which satisfies the following hypotheses:
-
there exist two positive constants \(m_0\) and \(m_1\) such that
$$\begin{aligned} \lambda V(x) + Z(x) \ge m_0 \text{ and } |Z(x)| \le m_1 \text{ for } \text{ all } x \in {\mathbb {R}}^N,\ \lambda > 0. \end{aligned}$$
In problem (\(P_\lambda \)), if we replace \(\lambda V(x) + 1\) with \(\lambda V(x) + Z(x)\) and adjust the workspace accordingly, our method is still valid.
Our purpose is to qualitatively analyze the solutions of the weighted non-local magnetic systems with a Stein–Weiss convolution term in whole space. Because of the appearance of magnetic field A, problem (\(P_\lambda \)) cannot be transformed into a pure real-valued problem, so we should deal with a complex-valued problem directly, which brings more new difficulties to our problem by using variational method. On the other hand, the interaction between the Stein–Weiss convolution term and the magnetic field potential makes it necessary to apply or establish new estimates to overcome new interesting challenges.
In the physical case \(N = 3\), \(A = 0\), \(V = 0\), \(\alpha = 0\), \(\mu = 1\) and \(p =2\), problem (\(P_\lambda \)) reduces to the following Choquard-Pekar equation
which goes back to the description of a polaron at rest in Quantum Field Theory by Pekar [26] in 1954 and was used to describe an electron trapped in its own hole, as a certain approximation to Hartree-Fock Theory of one component plasma (see Lieb [18]). Eq. (1) was also proposed by Penrose (see [27]) in his discussion on the self-gravitational collapse of a quantum mechanical wave-function. In this context it is also known as the nonlinear Schrödinger–Newton equation.
In addition, from a mathematical point of view, Eq. (1) and its generalizations have been extensively studied. In his paper [18], Lieb studied the existence and uniqueness, up to translations, of the ground state to Eq. (1). Via the critical point theory, in [20] Lions proved the existence of a sequence of radially symmetric solutions. Since the non-local term in (1) is invariant under translation, we are able to get easily the existence result by using the Mountain Pass Theorem; see Ackermann [1] for example. For a general case, Ackermann in [1] applied a new method to obtain the existence of infinitely many geometrically distinct weak solutions. For the recent relevant contributions included in the papers are by Alves and Yang [2], Ding et al.[10], Du and Yang [11], Ghimenti and Van Schaftingen [15], Ma and Zhao [21], Moroz and Van Schaftingen [24, 25], Wei and Winter [29], and their references. In all the papers mentioned above, the authors proved the existence of solutions by variational method. This method works well due to a Hardy–Littlewood–Sobolev-type inequality in Lieb and Loss [19].
Many authors have studied the problems involving deepening potential well and no magnetic field (i.e., \(A = 0\)). In [9] Ding and Tanaka considered the local Schrödinger equations with deepening potential well
where \(\lambda > 0\), V, Z are suitable continuous functions satisfying some conditions, \(1< p< \displaystyle \frac{N+2}{N-2}\) if \(N > 2\) and \(1< p < + \infty \) if \(N=1,\ 2\). For \(\lambda > 0\) sufficiently large, the authors proved the existence of multi-bump solutions. For the critical growth case, in [3] Alves et al. introduced some new parameter in (2) and then they established the existence and multiplicity of positive solutions when \(N \ge 3\). Very recently, Alves et al. in [5] investigated the existence of multibump solutions for the following non-local equation
here \(\mu \in (0,3)\), \(2< p < 6 -\mu \) and the nonnegative continuous function V has a potential well set. Here we would like to mention the recent work of Filippucci and Ghergu, in [14] they obtained the existence and the asymptotic profile of singular solutions for coercive quasilinear elliptic inequalities with nonlocal terms. Therefore, one of the motivations of this paper is derived from the above results.
Another motivation of this paper comes from several works on magnetic Laplace equations in recent years. For example, in [6] Arioli and Szulkin considered the existence of solutions of the semilinear stationary Schrödinger equation in the presence of a magnetic field:
where \(u : {\mathbb {R}}^N \mapsto {\mathbb {C}}\), \(N \ge 2\), \(V : {\mathbb {R}}^N \mapsto {\mathbb {R}}\) is a scalar (or electric) potential, \(A : {\mathbb {R}}^N \mapsto {\mathbb {R}}^N\) is a vector (or magnetic) potential and g is a nonlinear local term. To prove Theorem 1.3 of [6], they imposed more assumptions on the potentials V, A and the nonlinearity g. For the reader’s convenience, we list some of these hypotheses:
- \((H_1)\):
-
\(V \in L^\infty ({\mathbb {R}}^N,{\mathbb {R}})\), \(g \in C({\mathbb {R}}^N \times {\mathbb {R}}^+,{\mathbb {R}})\) and \(A \in L_{\mathrm{loc}}^2({\mathbb {R}}^N,{\mathbb {R}}^N)\);
- \((H_2)\):
-
V, g and \(\mathrm{curl\,} A\) (in the sense of distributions) are 1-periodic in \(x_j\), \(j=1,2,\ldots ,N\);
- \((H_3)\):
-
\(0 \not \in \sigma (- \Delta _A + V)\), where \(\Delta _A = -(- i \nabla + A)^2\).
In general A is not periodic, therefore the operator \(\nabla _A = \nabla + i A\) is not translation invariant. However, from hypotheses \((H_1)\) and \((H_2)\), we can define a different “translation” to guarantee some invariants, for instance, see Arioli and Szulkin [6] and Zhang et al. [33]. More recently, in [8] Cingolani et al. studied the following nonlinear magnetic Choquard equation
where \(A: {\mathbb {R}}^N \mapsto {\mathbb {R}}\) is a \(C^1\)-vector potential, \(V : {\mathbb {R}}^N \mapsto {\mathbb {R}}\) is a bounded continuous scalar potential with \(\inf _{{\mathbb {R}}^N} V > 0\) with \(N \ge 3\), \(\mu \in (0,N)\) and \(p \in \displaystyle \left( 2- \frac{\mu }{N}, \frac{2N - \mu }{N - 2}\right) \). In order to overcome the lack of compactness, they assumed that both A and V scalar potential have certain symmetries. More precisely,
where G is a closed subgroup of the group O(N) of linear isometries of \({\mathbb {R}}^N\). Therefore, (3) plays an important role in the proofs of [8]. Regarding other related results, we refer to Alves et al. [4], Esteban and Lions [13], Ji and Rădulescu [16, 17] and the references therein.
To the best of our knowledge, the first results dealing with the semilinear elliptic equation with Stein–Weiss convolution appear in [12], in which subcritical case and critical cases were studied. Moreover, a system of Schrödinger equations with Stein–Weiss type convolution part was considered in [32], there the authors studied the regularity and symmetry of the nontrivial solutions.
According to the comments above, it is quite natural to consider problem (\(P_\lambda \)). In the present paper, we are interested in studying the existence of the solutions for problem (\(P_\lambda \)). Henceforth, we show that if the parameter \(\lambda > 0\) is sufficiently large, problem (\(P_\lambda \)) has a nontrivial solution under suitable assumptions on V. Precisely, we require that
- \((V_1)\):
-
\(V \in C({\mathbb {R}}^N,{\mathbb {R}})\) with \(V(x) \ge 0\);
- \((V_2)\):
-
there exists \(M_0 > 0\) such that \(\mathrm{meas\,} \left( \left\{ x \in {\mathbb {R}}^N : V(x) \le M_0\right\} \right) < + \infty \), where “meas" denotes the Lebesgue’s measure;
- \((V_3)\):
-
\(\Omega :=\mathrm{int\,} V^{-1}(0)\) is a non-empty set.
In the present work our main result is
Theorem 1
Let \(N \ge 2,\) \(\alpha \ge 0,\) \(2 \alpha + \mu \le N,\) \(p \in \displaystyle \left( \frac{2N - \mu -2\alpha }{N},\frac{2N - \mu - 2 \alpha }{N - 2}\right) \) if \(N > 2\) and \(p \in \displaystyle \left( \frac{4 - \mu -2\alpha }{2},+\infty \right) \) if \(N = 2\). Assume that \((V_1)\)–\((V_3)\) are retained. Then there exists \(\lambda ^* > 0\) such that, for any \(\lambda \ge \lambda ^*\) problem (\(P_\lambda \)) admits a nontrivial solution.
As far as we know, this paper is the first attempt to study the non-local magnetic problem including the Stein–Weiss convolution term.
Since we do not assume that both A and V have some periodicities or symmetries, we are unable to draw a similar conclusion with [6] and [8] directly. In addition, even if both A and V have these properties, due to the appearance of the non-local Stein-Weiss convolution term, we cannot directly obtain the existence of ground state solutions of problem (\(P_\lambda \)) by using Mountain Pass Theorem and Lions’ vanishing-nonvanishing arguments. Therefore, the main difficulty in this paper lies in the lack of compactness.
Theorem 1 will be proved by adopting variational methods and making full use of some estimates. On the other hand, as we will see later, it is worth mentioning that, because we are dealing with different problems, in which the functions are complex-valued and the nonlinearity is a non-local Stein-Weiss convolution term, it is necessary to carefully analyze some estimates.
Notations
-
\(B_r(x)\) denotes the open ball or open disk centered at \(x \in {\mathbb {R}}^N\) (\(N \ge 2\)) with radius \(r > 0\) and \(B_r^c(x)\) denotes the complement of \(B_r(x)\) in \({\mathbb {R}}^N\).
-
The usual norm of \(L^q({\mathbb {R}}^N,{\mathbb {R}})\) is denoted by \(|\cdot |_q\), \(q \ge 1\).
2 Variational Setting and Preliminary Results
In order to obtain the existence of solutions to problem (\(P_\lambda \)) by using variational method, we outline the variational framework in this section and give some preliminary results.
For \(u : {\mathbb {R}}^N \mapsto {\mathbb {C}}\), by \(\nabla _A\) we denote
Also, we introduce the following Hilbert space
equipped with the scalar product
where “Re" and the bar represent the real part of a complex number and the complex conjugation, respectively. By \(\Vert \cdot \Vert _A\) we denote the norm induced by this inner product.
Let \(U \subseteq {\mathbb {R}}^N\) be an open set. Now, we define
and
Moreover, for any fixed \(\lambda \ge 0\), let us define the following Hilbert space
with the norm
So, we can easily see that \(X_\lambda \subseteq H_A^1({\mathbb {R}}^N,{\mathbb {C}})\) for any \(\lambda \ge 0\). In our argument, it is necessary for the norm \(\Vert \cdot \Vert _\lambda \) to depend on \(\lambda \). Hence, we mainly use \(\Vert \cdot \Vert _\lambda \) in the sequel.
It is worth pointing out that the following well-known diamagnetic inequality (see Lieb and Loss [19, Theorem 7.21]):
Thus, from relation (4), we know that, for any \(\lambda \ge 0\),
Next, we give the Stein–Weiss inequality [28] which plays an important role in the present work.
Proposition 2
Let \(1< r,\ s < + \infty ,\) \(0< \mu < N,\) \(\alpha + \beta \ge 0,\) \(0 < \alpha + \beta + \mu \le N,\) \(f \in L^r({\mathbb {R}}^N,{\mathbb {R}})\) and \(g \in L^s({\mathbb {R}}^N,{\mathbb {R}}).\) Then there exists a sharp constant \(C_{(r,s,\alpha ,\beta ,\mu )}\) such that
where
and
and \(C_{(r,s,\alpha ,\beta ,\mu )}\) is independent of f and g. In addition, for all \(g \in L^s({\mathbb {R}}^N,{\mathbb {R}}),\) it holds
where t verifies
Clearly, problem (\(P_\lambda \)) possesses a variational structure: for
and
the critical points of the functional \({\mathcal {E}}_\lambda \in C^1(X_\lambda ,{\mathbb {R}})\) defined for all \(u \in X_\lambda \) by
are weak solutions of problem (\(P_\lambda \)). By Proposition 2 and the Sobolev embeddings, we see that the functional \({\mathcal {E}}_\lambda \) is well-defined and it holds
for all u, \(\varphi \in X_\lambda \).
Before the end of this section, we shall prove the following useful result, which will be used frequently in the sequel.
Lemma 3
Let \(p > 1\) and define \({\mathcal {A}} : {\mathbb {C}}^N \mapsto {\mathbb {C}}^N\) by \({\mathcal {A}}(z) := |z|^{p-2}z,\) \(z :=(z_1,z_2,\ldots ,z_N) \in {\mathbb {C}}^N.\) Then
- \(\mathrm{(i)}\):
-
if \(p \ge 2,\) for each fixed \(\varepsilon > 0,\) there exists some \(C_\varepsilon > 0\) such that
$$\begin{aligned} |{\mathcal {A}}(a + b) - {\mathcal {A}}(a)| \le \varepsilon |a|^{p-1} + C_\varepsilon |b|^{p-1} \text{ for } \text{ all } a, \ b \in {\mathbb {C}}^N; \end{aligned}$$ - \(\mathrm{(ii)}\):
-
if \(1< p <2,\) it holds
$$\begin{aligned} \ell :=\sup \limits _{a,\, b\, \in \, {\mathbb {C}}^N,\ b \ne 0} \frac{|{\mathcal {A}}(a + b) - {\mathcal {A}}(a)|}{|b|^{p-1}} < + \infty . \end{aligned}$$
Proof
(i) We first consider the case \(p = 2\). In this case, we can easily see that for any \(\varepsilon > 0\), there exists \(C_\varepsilon = 1>0\) such that
Next, we show the case \(p > 2\). Let us define the following functions:
and
So, we have, for each fixed j (\(j = 1,2,\ldots ,N\)) and for all a, \(b \in {\mathbb {C}}^N\),
where
Combining the cases \(p = 2\) and \(p > 2\), we infer that, for all \(p \ge 2\), for each fixed \(\varepsilon > 0\), there exists some \(C_\varepsilon > 0\) such that
where
(ii) Now, we deal with the case \(1< p < 2\). To this end, we define the function \(G : {\mathbb {C}}^N \times {\mathbb {C}}^N \mapsto {\mathbb {R}}\) as follows
Clearly, \(G(a,tb) = G\left( \displaystyle \frac{a}{t},b\right) \text{ for } \text{ all } t \in {\mathbb {R}}\setminus \{0\}\). Thus, we have
We observe that
It remains to prove that
Suppose that \(|b| = 1\), \(|a| > 2\) and \(t \in [0,1]\). Then, we see that
So, we have, for any fixed j (\(j = 1,2,\ldots ,N\)),
which implies that \(\ell _2 \le (3 - p) N < + \infty \).
Hence, we have \(\ell < + \infty \). This proof is now complete. \(\square \)
3 The \((PS)_c\) Condition for the Functional \({\mathcal {E}}_\lambda \)
In this section, working with the \((PS)_{c_\lambda }\) sequence of the functional \({\mathcal {E}}_\lambda \), we will show that, for given \(d > 0\) independent of \(\lambda \) and then for \(\lambda > 0\) sufficiently large, the \((PS)_{c_\lambda }\) sequence of the energy (Euler) functional \({\mathcal {E}}_\lambda \) satisfy the \((PS)_{c_\lambda }\) condition at the level \(0 \le c_\lambda <d\), where \(c_\lambda \) and d will be defined later.
Now, we prove that the energy (Euler) functional \({\mathcal {E}}_\lambda \) verifies the Mountain Pass Geometry (see Willem [30]).
Lemma 4
For each fixed \(\lambda > 0,\) the functional \({\mathcal {E}}_\lambda \) has the following properties :
- (a):
-
there are \(\varrho > 0\), \(\rho > 0\) such that \({\mathcal {E}}_\lambda (u) \ge \varrho \) with \(\Vert u\Vert _\lambda = \rho ;\)
- (b):
-
there is some element \(e \in X_\lambda \) with \(\Vert e\Vert _\lambda > \rho \) such that \({\mathcal {E}}_\lambda (e) < 0.\)
Proof
(a) Notice that \(p \in \left( \displaystyle \frac{2N - \mu - 2 \alpha }{N}, \frac{2N - \mu - 2 \alpha }{N - 2}\right) \) (\(N \ge 3\), \(\alpha \ge 0\)) and \(p \in \left( \displaystyle \frac{4 - \mu - 2 \alpha }{2}, + \infty \right) \) (\(N = 2\), \(\alpha \ge 0\)). From Proposition 2 and the Sobolev embedding inequalities, it follows that
where \({\hat{C}} := {\hat{C}}_{(p,\alpha ,\mu )}\) is some positive constant.
By using the inequality above and reviewing the definition of the functional \({\mathcal {E}}_\lambda \), we get
Set \(\rho := 2^{\frac{2}{2-2p}}({\hat{C}})^{\frac{1}{2 - 2p}} >0\). Then we have
This proves (a).
(b) Choose \(\varphi \in C_0^\infty ({\mathbb {R}}^N,{\mathbb {R}}) \setminus \{0\}\) with \(\mathrm{supp\,} (\varphi ) \subset \Omega \). We observe that
The proof is now complete. \(\square \)
Let us define
and
where e is given in Lemma 4.
Since \(\mathrm{supp\,}(\varphi ) \subset \Omega \), we can easily see that there exists some constant \(d > 0\), independent of \(\lambda > 0\), such that \(\max _{t > 0}{\mathcal {E}}_\lambda (t\varphi ) < d\). So, we deduce that \(c_\lambda < d\) for all \(\lambda > 0\).
Lemma 5
Assume that \(\left\{ u_n\right\} _{n \in {\mathbb {N}}} \subseteq X_\lambda \) is a \((PS)_c\) sequence of the functional \({\mathcal {E}}_\lambda \) at the level c. Then the sequence \(\left\{ u_n\right\} _{n \in {\mathbb {N}}} \subseteq X_\lambda \) is bounded, and moreover \(c \ge 0.\)
Proof
Let \(\left\{ u_n\right\} _{n \in {\mathbb {N}}} \subseteq X_\lambda \) be a \((PS)_c\) sequence, that is,
Therefore, for n sufficiently large, it follows that
which yields the boundedness of \(\left\{ u_n\right\} _{n \in {\mathbb {N}}} \subseteq X_\lambda \), and so \(c \ge 0\). Thus, we complete the proof of the lemma. \(\square \)
Corollary 6
Assume that \(\left\{ u_n\right\} _{n \in {\mathbb {N}}} \subseteq X_\lambda \) is a \((PS)_0\) sequence of the functional \({\mathcal {E}}_\lambda \) at the level 0. Then \(u_n \rightarrow 0\) in \(X_\lambda \) as \(n \rightarrow \infty .\)
The next three lemmas are variants of the Brézis–Lieb Lemma [7] for the Stein–Weiss type convolution term, which seem to be new and of independent interest. The results we get here will be useful to everyone working in this direction.
Lemma 7
Assume that \(N \ge 2,\) \(\alpha \ge 0,\) \(0< \mu < N,\) \(2 \alpha + \mu \le N\) and \(1\le p \le \displaystyle \frac{2N - \mu - 2\alpha }{N - 2}\) if \(N \ge 3\) \((\text{ resp. } 1\le p < +\infty \text{ if } N = 2)\) are fulfilled. If \(\left\{ u_n\right\} _{n \in {\mathbb {N}}} \subseteq L^{\frac{2Np}{2N - \mu - 2\alpha }}({\mathbb {R}}^N,{\mathbb {C}})\) is a bounded sequence with \(u_n(x) \rightarrow u(x)\) a.e. in \({\mathbb {R}}^N\) as \(n \rightarrow \infty ,\) then we have the following property :
as \(n \rightarrow \infty ,\) where \(v_n :=u_n -u.\)
Proof
Since the sequence \(\left\{ u_n\right\} _{n \in {\mathbb {N}}} \subseteq L^{\frac{2Np}{2N - \mu - 2\alpha }}({\mathbb {R}}^N,{\mathbb {C}})\) is bounded and \(u_n(x) \rightarrow u(x)\) a.e. in \({\mathbb {R}}^N\) as \(n \rightarrow \infty \), from Proposition 5.4.7. of Willem [31], it follows that
On the one hand, arguing as in the proof of the Brézis-Lieb Lemma [7], we can deduce that
In addition, we can use relation (5) and Proposition 2 to infer that
Note that
Using the above information, we can easily get the desired result. This proof is now complete. \(\square \)
Lemma 8
Assume that \(N \ge 2,\) \(\alpha \ge 0,\) \(0< \mu < N,\) \(2 \alpha + \mu \le N\), \(p > 1\) and \(\displaystyle \frac{2N - \mu - 2 \alpha }{N}\le p < \displaystyle \frac{2N - \mu - 2\alpha }{N - 2}\) if \(N \ge 3\) \(\Bigg (\text{ resp. } \displaystyle \frac{4 - \mu - 2 \alpha }{2}\le p < + \infty \text{ if } N = 2\Bigg )\) are fulfilled. Let \(\left\{ u_n\right\} _{n \in {\mathbb {N}}} \subseteq X_\lambda \) be such that \(u_n \xrightarrow w u\) in \(X_\lambda \) as \(n \rightarrow \infty .\) Set \(v_n :=u_n - v_n.\) Then, passing to a subsequence, for any \(\varphi \in X_\lambda \) such that \(\Vert \varphi \Vert _{\lambda } \le 1\) it holds
that is,
where
and
Proof
To prove Lemma 8, we will discuss the following four cases respectively:
-
(i)
if \(2 \alpha + \mu \le \min \{N,4\}\) and \(2 \alpha + \mu < N\),
$$\begin{aligned} \Rightarrow \ \displaystyle \frac{2N - \mu - 2 \alpha }{N}\le p < \displaystyle \frac{2N - \mu - 2\alpha }{N - 2}\ ({\text{ resp. } + \infty },\ N = 2); \end{aligned}$$ -
(ii)
if \(2 \alpha + \mu =N \le 4\),
$$\begin{aligned} \Rightarrow \ 1< p < \displaystyle \frac{2N - \mu - 2\alpha }{N - 2}\ ({\text{ resp. } + \infty },\ N = 2); \end{aligned}$$ -
(iii)
if \(4< 2 \alpha + \mu < N\),
$$\begin{aligned} \Rightarrow \ \displaystyle \frac{2N - \mu - 2 \alpha }{N} \le p< \displaystyle \frac{2N - \mu - 2\alpha }{N - 2} < 2; \end{aligned}$$ -
(iv)
if \(4 < 2 \alpha + \mu = N\),
$$\begin{aligned} \Rightarrow \ 1< p< \displaystyle \frac{2N - \mu - 2\alpha }{N - 2} < 2. \end{aligned}$$
Next, we only consider the case (i) and leave the other cases to the reader. In the sequel, we show the following limit:
Firstly, we deal with the situation
Applying (i) of Lemma 3, we know that for each fixed \(\varepsilon > 0\), there is some positive constant \(C_\varepsilon >0\) such that
Now, we introduce the function \(H_{\varepsilon ,n} : {\mathbb {R}}^N \mapsto {\mathbb {R}}^+\) defined by
Obviously, \(H_{\varepsilon ,n}(x) \rightarrow 0\) a.e. \({\mathbb {R}}^N\) as \(n \rightarrow \infty \) (up to a subsequence) and
where \({\widehat{C}} > 0\) is some constant. Therefore, we use the Dominated Convergence Theorem to derive that
In addition, according to the definition of \(H_{\varepsilon ,n}\), we have
hence, we conclude that
where \({\widetilde{C}}\) is a positive constant. So, we obtain
where \({\overline{C}}\) is a positive constant. Using the arbitrariness of \(\varepsilon > 0\), we see that
In this case the proof of relation (7) is now complete.
Now, assume that
From (ii) of Lemma 3, it follows that
Using the Dominated Convergence Theorem, we can finish the proof of relation (7) under this situation.
Combining the above two situations, we now complete the proof of relation (7). As with the above-mentioned proof, we can also show the other situations, so we omit the details.
Since \(u_n \xrightarrow w u\) in \(X_\lambda \) as \(n \rightarrow \infty \), we see that the set \(\left\{ u_n,v_n,u\right\} _{n \in {\mathbb {N}}} \subseteq X_\lambda \) is bounded, that is, there is some constant \(C_1>0\) such that
So, we have
In the same fashion as in the proof of relation (9), we obtain
Now, we define the following notations:
So, for \(n \in {\mathbb {N}}\) large enough, we deduce that
Concerning \(u \in X_\lambda \), together with Proposition 2 and the Sobolev embedding, we see that
and
From the above inequalities, we can deduce that, for any \(\varepsilon > 0\), there exists \(R :=R(\varepsilon ) > 0\) such that
Moreover, using Proposition 2 and (8), we conclude that
for some positive constant \(C_6 > 0\).
Then, for \(n \in {\mathbb {N}}\) large enough, we have
From relation (14), we infer that
Next, we show that the following inequality
holds true for some constant \(C_8 > 0\).
In fact, for any \(\varepsilon > 0\), we can find some \(K_1 > 0\) and \(R_0 : = R_0(\varepsilon ) > \max \{1,R\}\) [see (12)] such that
In order to prove relation (16), it remains to consider the following term:
For this reason, we will discuss it in two parts.
(\(*\)) If \(|u(x)|^{p-1}|\varphi (x)| = 0\) a.e. on \(B_{R_0}(0)\). Consequently, for any \(\varepsilon > 0\), we obtain
(\(**\)) If \(\mathrm{meas\,}\left( \left\{ x \in B_{R_0}(0) : |u(x)|^{p -1}|\varphi (x)|> 0\right\} \right) > 0\). So, we have
Moreover, we have
Set
and
In the case (\(**\)), we can use the above relations, Proposition 2 and the local Sobolev compactness and the continuous embedding to conclude that, for \(n \in {\mathbb {N}}\) sufficiently large,
Combining (17), (18), (19) and \((*)\), we can easily complete the proof of relation (16).
Now, we estimate \(|I_n^2|\) and \(|I_n^3|\).
We first have, for \(n \in {\mathbb {N}}\) large enough,
Also, we have
Note that
Using the last equality and relations (11), (20) and (21), for \(n \in {\mathbb {N}}\) large enough we conclude that
which implies that
that is,
This proof is now complete. \(\square \)
Lemma 9
Let \(N \ge 2,\) \(\alpha \ge 0,\) \(0< \mu < N,\) \(2 \alpha + \mu \le N\) and \(\displaystyle \frac{2N - \mu - 2 \alpha }{N}< p < \displaystyle \frac{2N - \mu - 2\alpha }{N - 2}\ ({\text{ resp. } + \infty },\ N = 2).\) Assume that \(\left\{ u_n\right\} _{n \in {\mathbb {N}}} \subseteq X_\lambda \) is a \((PS)_c\) sequence of the functional \({\mathcal {E}}_\lambda \) at the level \(c \ge 0.\) Up to a subsequence, there exists some \(u \in X_\lambda \) such that \(u_n \xrightarrow w u\) in \(X_\lambda \) and have the following relations
where \(v_n := u_n - u.\) Moreover, the sequence \(\left\{ v_n\right\} _{n \in {\mathbb {N}}}\) is a \((PS)_{c - {\mathcal {E}}_\lambda (u)}\) sequence.
Proof
By Lemma 5, we know that the sequence \(\left\{ u_n\right\} \) is bounded in \(X_\lambda \). So, passing to a subsequence, we may assume that \(u_n \xrightarrow w u\) in \(X_\lambda \), \(\nabla _A u_n \xrightarrow w \nabla _A u\) in \(L^2({\mathbb {R}}^N,{\mathbb {C}})^N\) and \(u_n(x) \rightarrow u(x)\) in \({\mathbb {R}}^N\) as \(n \rightarrow \infty \).
Since \(X_\lambda \) is a Hilbert space, together with the fact that \(u_n \xrightarrow w u\) in \(X_\lambda \) as \(n \rightarrow \infty \), we see that
Next, we can argue as in the proof of relation (7) to infer that
Finally, we show that
For this purpose, we first prove that
Fix \(R > 0\) and \(\psi \in C_0^\infty ({\mathbb {R}}^N,{\mathbb {R}})\) with \(\psi (x) = 1\) for \(x \in B_R(0)\). Since \(\left\{ u_n, u\right\} _{n \in {\mathbb {N}}} \subseteq X_\lambda \) is bounded and \({\mathcal {E}}_\lambda '(u_n) \rightarrow 0\) in \(X_\lambda ^*\) as \(n \rightarrow \infty \), we know that
Then, we conclude that
Using the above all information, we can infer that
Since R is arbitrary, we deduce that (27) holds true.
Applying (27) and proceeding as in the proof of relation (7), we can derive that (26) is true.
Therefore, from Lemmas 7 and 8, together with relations (24)–(26), we can get the desired results. This proof is now finished. \(\square \)
Lemma 10
Let \(N \ge 2,\) \(\alpha \ge 0,\) \(0< \mu < N,\) \(2 \alpha + \mu \le N\) and \(\displaystyle \frac{2N - \mu - 2 \alpha }{N}< p < \displaystyle \frac{2N - \mu - 2\alpha }{N - 2}\ ({\text{ resp. } + \infty },\ N = 2).\) Assume that \(\left\{ u_n\right\} _{n \in {\mathbb {N}}} \subseteq X_\lambda \) is a \((PS)_c\) sequence of the functional \({\mathcal {E}}_\lambda \) at the level \(c \ge 0.\) Then \(c = 0,\) or there exists \(d_* > 0,\) independent of \(\lambda ,\) such that \(c \ge d_*\) for any \(\lambda > 0.\)
Proof
Assume that \(c > 0\). On account of the fact that
then we can employ Proposition 2 and the Sobolev embedding to conclude that there exists \(\sigma _0 > 0\) such that
In addition, since \(\left\{ u_n\right\} _{n \in {\mathbb {N}}}\) is a \((PS)_c\) sequence of the functional \({\mathcal {E}}_\lambda \) at the level \(c > 0\), it is easy to check that
So, if \(c \in \left( 0,\displaystyle \frac{(p-1)\sigma _0^2}{2p}\right) \), for \(n \in {\mathbb {N}}\) large enough it follows that
Then we can deduce that
a contradiction. Thus, \(c \ge \displaystyle \frac{(p-1)\sigma _0^2}{2p} := d_* > 0\). The proof is now complete. \(\square \)
Lemma 11
Assume that \(\left\{ u_n\right\} _{n \in {\mathbb {N}}} \subseteq X_\lambda \) is a \((PS)_c\) sequence of the functional \({\mathcal {E}}_\lambda \) at the level \(c \ge 0.\) Then there is a positive number \(\sigma _1 > 0\) independent of \(\lambda > 0,\) such that
Proof
Since \(\left\{ u_n\right\} _{n \in {\mathbb {N}}} \subseteq X_\lambda \) is a \((PS)_c\) sequence of the functional \({\mathcal {E}}_\lambda \) at the level \(c \ge 0\), we can use Proposition 2 and the Sobolev embedding to infer that
for some constant \(C_0 > 0\), where \(C_0\) does not depend on \(\lambda \).
This proves the lemma. \(\square \)
Lemma 12
Let \(d > 0\) be a real number independent of \(\lambda ,\) and assume that \(\left\{ u_n\right\} _{n \in {\mathbb {N}}} \subseteq X_\lambda \) is a \((PS)_c\) sequence of the functional \({\mathcal {E}}_\lambda \) at the level \(c \in [0,d].\) For any \(\varepsilon > 0,\) there are some positive constants \(\Lambda =\Lambda (\varepsilon )\) and \(R = R(d,\varepsilon )\) such that
Proof
For any fixed \(R > 0\), we introduce the following sets:
and
So, for \(n \in {\mathbb {N}}\) large enough we have
Then we deduce form relation (28) that there is \(\Lambda > 0\) such that, for all \(\lambda \ge \Lambda \),
From the Hölder inequality and the Sobolev embedding, we can find some constant \(K > 0\) (which is independent of \(\lambda \)) such that
Combining (29) with (30), we have
Finally, we can use the above inequality and the interpolation inequality to conclude the desired result. \(\square \)
Proposition 13
Let \(d > 0\) be a real number independent of \(\lambda .\) Then there is a \(\Lambda = \Lambda (d) > 0\) such that, for all \(\lambda \ge \Lambda \) the functional \({\mathcal {E}}_\lambda \) satisfies the \((PS)_{c_\lambda }\) condition for all \(c_\lambda \in [0,d].\)
Proof
Suppose that \(\left\{ u_n\right\} _{n \in {\mathbb {N}}} \subseteq X_\lambda \) is a \((PS)_{c_\lambda }\) sequence. Going to a subsequence if necessary, we may assume that \(u_n \rightarrow u \in X_\lambda \), \(u_n(x) \rightarrow u(x)\) a.e. in \({\mathbb {R}}^N\) (\(N \ge 2\)) and \(u_n \rightarrow u\) in \(L_\mathrm{loc}^q({\mathbb {R}}^N,{\mathbb {C}})\) for all \(1 \le q < \displaystyle \frac{2N}{N-2}\) (resp. \(+ \infty \), if \(N = 2\)) as \(n \rightarrow \infty \). Following the standard density arguments, we observe that \({\mathcal {E}}_\lambda '(u) = 0\) and \({\mathcal {E}}_\lambda (u) \ge 0\).
Let \(v_n = u_n - u\). Then we use Lemma 9 to obtain that \(\left\{ v_n\right\} _{n \in n} \subseteq X_\lambda \) is a \((PS)_{c_\lambda - {\mathcal {E}}_\lambda (u)}\) sequence. Moreover, \(0 \le c_\lambda - {\mathcal {E}}_\lambda (u) \le c_\lambda < d\).
Now, we prove that \(c_\lambda = {\mathcal {E}}_\lambda (u)\) if \(\lambda > 0\) large enough. Arguing by contradiction, we may assume that \({\mathcal {E}}_\lambda (u) < c_\lambda \) for some \(\lambda > 0\) large enough. From Lemmas 10 and 11, we see that there exists \(d_* > 0\) (which is independent of \(\lambda \)) such that
In Lemma 12 we choose \(\varepsilon = \displaystyle \frac{\sigma _1 d_*}{2} > 0\) and then we know that there are \(\Lambda > 0\), \(R > 0\) such that, for some \(\lambda \ge \Lambda \),
So, we infer from relations (31) and (32) that
This is impossible. In fact, since \(v_n \xrightarrow w 0\) in \(X_\lambda \) as \(n \rightarrow \infty \), then we can use the compact Sobolev embedding \(X_\lambda \hookrightarrow L^{\frac{2Np}{2N - \mu - 2\alpha }}(B_R(0))\) to obtain
Therefore, we arrive at the conclusion that \(0> \displaystyle \frac{\sigma _1 d_*}{2} > 0\) is a contradiction.
So, for \(\lambda > 0\) large enough we deduce that \(c_\lambda = {\mathcal {E}}_\lambda (u)\) and \(\left\{ v_n\right\} _{n \in N} \subseteq X_\lambda \) is a \((PS)_0\) sequence. Thus, it follows from Corollary 6 that, for \(\lambda > 0\) sufficiently large, \(v_n \rightarrow 0\) in \(X_\lambda \) as \(n \rightarrow \infty \). We now complete the proof of the proposition. \(\square \)
Proof of Theorem 1
Using Lemma 4 and Proposition 13, we can complete the proof of Theorem 1. This proves Theorem 1. \(\square \)
References
Ackermann, N.: On a periodic Schrödinger equation with non-local superlinear part. Math. Z. 248, 423–443 (2004)
Alves, C.O., Yang, M.: Multiplicity and concentration of solutions for a quasilinear Choquard equation. J. Math. Phys. 55, 061502 (2014)
Alves, C.O., de Morais Filho, D.C., Souto, M.A.S.: Multiplicity of positive solutions for a class of problems with critical growth in $\mathbb{R}^N$. Proc. Edinb. Math. Soc. 52, 1–21 (2009)
Alves, C.O., Figueiredo, G.M., Furtado, M.F.: Multiple solutions for a nonlinear Schrödinger equation with magnetic fields. Commun. Partial Diff. Equ. 36, 1565–1586 (2011)
Alves, C.O., Nóbrega, A.B., Yang, M.: Multi-bump solutions for Choquard equation with deepening potential well. Calc. Var. Partial Diff. Equ. 55(3), 48 (2016)
Arioli, G., Szulkin, A.: A semilinear Schrödinger equation in the presence of a magnetic field. Arch. Ration. Mech. Anal. 170, 277–295 (2003)
Brézis, H., Lieb, E.: A relation between pointwise convergence of functions and convergence of functionals. Proc. Am. Math. Soc. 88, 486–490 (1983)
Cingolani, S., Clapp, M., Secchi, S.: Multiple solutions to a magnetic nonlinear Choquard equation. Z. Angew. Math. Phys. 63, 233–248 (2012)
Ding, Y., Tanaka, K.: Multiplicity of positive solutions of a nonlinear Schrödinger equation. Manuscr. Math. 112, 109–135 (2003)
Ding, Y., Gao, F., Yang, M.: Semiclassical states for Choquard type equations with critical growth: critical frequency case. Nonlinearity 33, 6695–6728 (2020)
Du, L., Yang, M.: Uniqueness and nondegeneracy of solutions for a critical nonlocal equation. Discret. Contin. Dyn. Syst. 39, 5847–5866 (2019)
Du, L., Gao, F., Yang, M.: Existence and qualitative analysis for nonlinear weighted Choquard equations. arXiv:1810.11759
Esteban, M.J., Lions, P.L.: Stationary solutions of nonlinear Schrödinger equations with an external magnetic field, Partial differential equations and the calculus of variations. In: Program Nonlinear Differential Equations Application. Birkhäuser Boston, Boston, pp. 401–449 (1989)
Filippucci, R., Ghergu, M.: Singular solutions for coercive quasilinear elliptic inequalities with nonlocal terms. Nonlinear Anal. 197, 111857 (2020)
Ghimenti, M., Van Schaftingen, J.: Nodal solutions for the Choquard equation. J. Funct. Anal. 271, 107–135 (2016)
Ji, C., Rădulescu, V.D.: Multiplicity and concentration of solutions to the nonlinear magnetic Schrödinger equation. Calc. Var. Partial Diff. Equ. 59(4), 115 (2020)
Ji, C., Rădulescu, V.D.: Multi-bump solutions for the nonlinear magnetic Schrödinger equation with exponential critical growth in ${\mathbb{R}}^2$. Manuscr. Math. 164, 509–542 (2021)
Lieb, E.H.: Existence and uniqueness of the minimizing solution of Choquard’s nonlinear equation. Stud. Appl. Math. 57, 93–105 (1976/1977)
Lieb, E.H., Loss, M.: Analysis. Graduate Studies in Mathematics, vol. 14. American Mathematical Society, Providence (2001)
Lions, P.-L.: The Choquard equation and related questions. Nonlinear Anal. 4(6), 1063–1072 (1980)
Ma, L., Zhao, L.: Classification of positive solitary solutions of the nonlinear Choquard equation. Arch. Ration. Mech. Anal. 195, 455–467 (2010)
Meystre, P.: Atom Optics. Springer, New York (2001)
Mills, D.L.: Nonlinear Optics. Springer, New York (1998)
Moroz, V., Van Schaftingen, J.: Groundstates of nonlinear Choquard equations: existence, qualitative properties and decay asymptotics. J. Funct. Anal. 265, 153–184 (2013)
Moroz, V., Van Schaftingen, J.: Semi-classical states for the Choquard equation. Calc. Var. Partial Diff. Equ. 52, 199–235 (2015)
Pekar, S.: Untersuchung uber die Elektronentheorie der Kristalle. Akademie Verlag, New York (1954)
Penrose, R.: On gravity’s role in quantum state reduction. Gen. Relat. Gravit. 28, 581–600 (1996)
Stein, E., Weiss, G.: Fractional integrals on $n$-dimensional Euclidean space. J. Math. Mech. 7, 503–514 (1958)
Wei, J., Winter, M.: Strongly interacting bumps for the Schrödinger–Newton equation. J. Math. Phys. 50, 012905 (2009)
Willem, M.: Minimax Theorems. Birkhäuser, Boston (1996)
Willem, M.: Functional Analysis. Fundamentals and Applications, Springer, New York (2013)
Yang, M., Zhou, H.: On a coupled Schrödinger system with Stein–Weiss type convolution part. J. Geom. Anal. 31, 10263–10303 (2021)
Zhang, Y., Tang, X., Rădulescu, V.D.: Small perturbations for nonlinear Schrödinger equations with magnetic potential. Milan J. Math. 88, 479–506 (2020)
Acknowledgements
The research of Youpei Zhang was supported by a grant of the Romanian Ministry of Research, Innovation and Digitization, CNCS/CCCDI-UEFISCDI, project number PCE 137/2021, within PNCDI III. This research was partially supported by the National Natural Science Foundation of China (No. 11971485) and the Fundamental Research Funds for the Central Universities of Central South University (No. 2019zzts211). This paper has been completed while Youpei Zhang was visiting University of Craiova (Romania) with the financial support of China Scholarship Council (No. 201906370079). Youpei Zhang would like to thank the China Scholarship Council and the Embassy of the People’s Republic of China in Romania.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
About this article
Cite this article
Zhang, Y., Tang, X. Large Perturbations of a Magnetic System with Stein–Weiss Convolution Nonlinearity. J Geom Anal 32, 102 (2022). https://doi.org/10.1007/s12220-021-00853-4
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s12220-021-00853-4