Abstract
In this paper, we study existence, nonexistence, and properties of solutions for some Kirchhoff–Schrödinger–Maxwell systems as (1.3). The solutions can be seen as saddle points of functionals which are unbounded both from above and from below.
Similar content being viewed by others
References
Ambrosetti, A., Arcoya, D.: Remarks on non homogeneous elliptic Kirchhoff equations. NoDEA Nonlinear Differ. Equations Appl. 23, 57 (2016)
Ambrosetti, A., Arcoya, D.: Positive solutions of elliptic Kirchhoff equations. Adv. Nonlinear Stud. 17, 3–15 (2017)
Benci, V., Fortunato, D.: An eigenvalue problem for the Schrödinger–Maxwell equations. Topol. Methods Nonlinear Anal. 11, 283–293 (1998)
Bénilan, P., Boccardo, L., Gallouët, T., Gariepy, R., Pierre, M., Vázquez, J.L.: An \(L^1\)-theory of existence and uniqueness of solutions of nonlinear elliptic equations. Ann. Scuola Norm. Sup. Pisa Cl. Sci. (4) 22, 241–273 (1995)
Bénilan, P., Brezis, H.: Nonlinear problems related to the Thomas-Fermi equation. J. Evol. Equations 3, 673–770 (2003). Dedicated to Philippe Bénilan
Boccardo, L.: Elliptic systems of Schrödinger type in the spirit of Benci-Fortunato. Adv. Nonlinear Stud. 15, 321–331 (2015)
Boccardo, L., Gallouët, T.: Nonlinear elliptic equations with right-hand side measures. Commun. Partial Differ. Equations 17, 641–655 (1992)
Boccardo, L., Orsina, L.: Existence results for Dirichlet problems in \(L^1\) via Minty’s lemma. Appl. Anal. 76, 309–317 (2000)
Boccardo, L., Orsina, L.: Regularizing effect for a system of Schrödinger–Maxwell equations. Adv. Calc. Var. 11, 75–87 (2018)
Durastanti, R.: Regularizing effect for some \(p\)-Laplacian systems. Nonlinear Anal. 188, 425–438 (2019)
Stampacchia, G.: Le problème de Dirichlet pour les équations elliptiques du second ordre à coefficients discontinus. Ann. Inst. Fourier (Grenoble) 15, 189–258 (1965)
Zhang, Q.: Existence of positive solution to Kirchhoff-Schrödinger–Poisson system with strong singular term. J. Math. Phys. 60, 041504 (2019)
Acknowledgements
We would like to thank the anonymous referee for the useful comments on the paper.
Author information
Authors and Affiliations
Corresponding author
Additional information
To Vieri Benci, for his 70th birthday.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Appendix: Basic Results and Existence for Bounded Data
Appendix: Basic Results and Existence for Bounded Data
In this Appendix, we will prove some results concerning the first equation of system (1.3), and the whole system in the case of bounded data.
Proposition 3.3
Let v be a function in \(W_0^{1,2}(\Omega )\), let \(\varphi \ge 0\) be a function in \(L^{1}(\Omega )\), let f be a function in \(L^{\infty }(\Omega )\), and let \(r > 1\). Then, there exists a unique weak solution u of :
that is, \(\varphi \,|u|^{r}\) belongs to \(L^{1}(\Omega )\), and
Furthermore:
for some positive constant C independent on v.
Proof. The existence and uniqueness of a solution u in \(W_0^{1,2}(\Omega )\) of (3.11) follows from well-known results on semilinear elliptic equations (see, for example, [5]), since (3.11) is of the kind:
with Q a uniformly elliptic and bounded matrix, \(r > 1\), b a function in \(L^{1}(\Omega )\), and g a function belonging to some Lebesgue space.
As for (3.12), we begin by choosing \(T_{k}(u)\) as test function. Dropping two positive terms, and using (1.4), we obtain:
Letting k tend to infinity, and using Fatou lemma in the left-hand side, and Lebesgue theorem in the right-hand one, we obtain:
and from this inequality, it is easy to prove (using Sobolev embedding and Hölder inequality) that:
which is one half of (3.12). The second half can be obtained by choosing \(G_{k}(T_{h}(u))\), letting h tend to infinity, and then following the proof of Théorème 4.1 of the paper [11] by G. Stampacchia. \(\square \)
We can now prove an existence result for solutions of (1.3), in the case of bounded data f.
Theorem 3.4
Let f be a function in \(L^{\infty }(\Omega )\), and let \(r > 1\). Then, there exist u and \(\psi \), weak solutions of the system :
Furthermore, u and \(\psi \) belong to \(L^{\infty }(\Omega )\), and \(\psi \ge 0\).
Proof. Let \(\sigma \) in \({\mathbb {N}}\) and v in \(W_0^{1,2}(\Omega )\); by Lax–Milgram theorem, there exists a unique solution \(\varphi \) of :
By standard elliptic estimates, one has that:
for some positive constant C. By the maximum principle, \(\varphi \ge 0\), so that, by Proposition 3.3, there exists a unique solution u of:
Since, by (3.12), one has:
the ball \(B_{R}(0)\) of \(W_0^{1,2}(\Omega )\) is invariant for the map \(S : v \mapsto u\). We are going to prove that the map S is completely continuous.
We begin by proving that if \(\{v_{n}\}\) is bounded in \(W_0^{1,2}(\Omega )\), then there exists a subsequence of \(\{u_{n}= S(v_{n})\}\) which is strongly convergent in \(W_0^{1,2}(\Omega )\). Indeed, since the ball \(B_{R}(0)\) is invariant for S, the sequence \(\{u_{n}\}\) is bounded in \(W_0^{1,2}(\Omega )\); hence, up to subsequences, it will converge, weakly in \(W_0^{1,2}(\Omega )\), strongly in (for example) \(L^{2}(\Omega )\), and almost everywhere in \(\Omega \), to a function u. Since, by (3.12), the sequence \(\{u_{n}\}\) is bounded in \(L^{\infty }(\Omega )\), we have that \(u_{n}\) strongly converges to u in \(L^{p}(\Omega )\) for every \(p \ge 1\). Furthermore, if \(\varphi _{n}\) is the solution of (3.14) with datum \(|T_{\sigma }(v_{n})|^{r}\), then by (3.15) the sequence \(\{\varphi _{n}\}\) is bounded in \(W_0^{1,2}(\Omega )\), so that, up to subsequences, it strongly converges to some function \(\varphi \) in (for example) \(L^{2}(\Omega )\).
We now choose \(u_{n}- u\) as test function in the equation solved by \(u_{n}\) to have that:
Adding and subtracting the term:
we obtain, using (1.4) and dropping a positive term:
Since f belongs to \(L^{\infty }(\Omega )\), and \(u_{n}- u\) tends to zero in (for example) \(L^{1}(\Omega )\), we have that:
while, since \(a(x)\nabla u\) belongs to \((L^{2}(\Omega ))^{N}\), \(\{v_{n}\}\) is bounded in \(W_0^{1,2}(\Omega )\), and \(\nabla (u_{n}- u)\) tends to zero weakly in \((L^{2}(\Omega ))^{N}\), we have that:
On the other hand, since \(\varphi _{n}\) is strongly convergent to \(\varphi \) in \(L^{2}(\Omega )\), and \(|u_{n}|^{r-2}u_{n}\,(u_{n}- u)\) is strongly convergent to zero in \(L^{2}(\Omega )\), as well (recall that \(\{u_{n}\}\) strongly converges to u in every \(L^{p}(\Omega )\)), we have that:
These three convergences imply that:
so that the sequence \(\{u_{n}= S(v_{n})\}\) is strongly convergent in \(W_0^{1,2}(\Omega )\), up to subsequences. This proves that the map S is compact. To prove its continuity, let \(\{v_{n}\}\) be a sequence strongly convergent to v in \(W_0^{1,2}(\Omega )\), and let \(u_{n}=S(v_{n})\). If \(\varphi _{n}\) is the solution of:
since \(\{|T_{\sigma }(v_{n})|^{r}\}\) is strongly convergent in (for example) \(L^{2}(\Omega )\), then \(\varphi _{n}\) is strongly convergent in \(W_0^{1,2}(\Omega )\) to \(\varphi \), the unique solution of:
On the other hand, since the sequence \(\{v_{n}\}\) is bounded in \(W_0^{1,2}(\Omega )\), the result proved before yields that, up to subsequences, the sequence \(\{u_{n}\}\) is strongly convergent in \(W_0^{1,2}(\Omega )\) to some function u, and the sequence \(\{\varphi _{n}\,|u_{n}|^{r-2}\,u_{n}\}\) is strongly convergent in (at least) \(L^{1}(\Omega )\) to \(\varphi \,|u|^{r-2}\,u\). Therefore, if \(\eta \) belongs to \(W_0^{1,2}(\Omega )\cap L^{\infty }(\Omega )\), one can pass to the limit in n in the identities:
to have that u is such that:
This implies, by uniqueness of the solution, that \(u = S(v)\), and that the whole sequence \(\{u_{n}\}\) is strongly convergent in \(W_0^{1,2}(\Omega )\) to u; therefore, S is continuous, and so, S is completely continuous.
Therefore, by Schauder fixed point theorem, there exists u in \(W_0^{1,2}(\Omega )\), such that \(S(u) = u\); if we define \(\psi \) as the unique solution of:
we have proved that for every \(\sigma \) in \({\mathbb {N}}\), there exist weak solutions \(u_{\sigma }\) and \(\psi _{\sigma }\) of the system:
We observe now that, by (3.12), we have that:
Therefore, if \(\sigma \ge R\), we have \(T_{\sigma }(u_{\sigma }) = u_{\sigma }\), so that the functions \(u {\mathop {=}\limits ^{\mathrm{def}}}u_{\sigma }\) and \(\psi {\mathop {=}\limits ^{\mathrm{def}}}\psi _{\sigma }\) are weak solutions of the system:
Furthermore, both u and \(\psi \) (by Théorème 4.1 of [11]) belong to \(L^{\infty }(\Omega )\), and \(\psi \ge 0\), as desired. \(\square \)
Rights and permissions
About this article
Cite this article
Boccardo, L., Orsina, L. Existence Results for a System of Kirchhoff–Schrödinger–Maxwell Equations. Mediterr. J. Math. 17, 82 (2020). https://doi.org/10.1007/s00009-020-01527-1
Received:
Revised:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00009-020-01527-1