Abstract
In this paper, we study the following Choquard type quasilinear Schrödinger equation:
where \(N\geq 3\), \(0<\alpha <N\), and \(I_{\alpha }\) is a Riesz potential. By using the minimization method developed by (Tang and Chen in Adv. Nonlinear Anal. 9:413–437, 2020; Willem in Minimax Theorems, 1996), we establish the existence of ground state solutions with general Choquard type nonlinearity. Our results extend the results obtained by (Chen et al. in Appl. Math. Lett. 102:106141, 2020).
Similar content being viewed by others
1 Introduction
This article is concerned with the following quasilinear Schrödinger equation:
where \(N\geq 3\), \(0<\alpha <N\), \(I_{\alpha }\) is a Riesz potential (see [16]), and \(g: {\mathbb{R}}^{N}\rightarrow {\mathbb{R}}\) satisfies
- \((g_{1})\):
-
\(g\in \mathcal{C}({\mathbb{R}},{\mathbb{R}})\);
- \((g_{2})\):
-
there exists \(C>0\) such that
$$ \bigl\vert G(t) \bigr\vert \leq C \bigl( \vert t \vert ^{\frac{N+\alpha }{N}}+ \vert t \vert ^{\frac{2(N+\alpha )}{N-2}} \bigr); $$ - \((g_{3})\):
-
\(\lim_{t\rightarrow 0}\frac{G(t)}{|t|^{\frac{N+\alpha }{N}}}=0\) and \(\lim_{|t|\rightarrow +\infty } \frac{G(t)}{|t|^{\frac{2(N+\alpha )}{N-2}}}=0\);
- \((g_{4})\):
-
there exists \(s_{0}\in {\mathbb{R}}\) such that \(G(s_{0})>\frac{1}{2}s^{2}_{0}\).
It is well known that the existence of solitary wave solutions for the following quasilinear Schrödinger equation is a hot problem
where \(z : {\mathbb{R}}\times {\mathbb{R}}^{N}\rightarrow \mathbb{C}\), \(W : {\mathbb{R}}^{N}\rightarrow {\mathbb{R}}\) is a given potential, \(l : {\mathbb{R}}\rightarrow {\mathbb{R}}\) and \(\psi : {\mathbb{R}}^{N}\times {\mathbb{R}}\rightarrow {\mathbb{R}}\) are suitable functions. For various types of l and ψ, the quasilinear equation of the form (1.1) has been derived from models of several physical phenomena. For physical background, the readers can refer to [1, 9, 11, 15] and the references therein. If we set the variable \(z(t,x)=\exp (-iLt)u(x)\), where \(L\in {\mathbb{R}}\) and u is a real function, then so many papers focused on standing wave solutions for (1.2). The readers can refer to [5, 8, 12, 13, 20] and the references therein. As for Choquard type quasilinear Schrödinger equation, there are few papers except for [3, 4, 21]. In [21], a class of quasilinear Choquard equations has been considered via the perturbation method developed by [13], and they showed the existence of positive solution, negative solution, and multiple solutions. Furthermore, the authors [4] established the existence of positive solutions with the periodic potential or bounded potential. In [3], the authors proved the existence of ground state solutions via Jeanjean’s monotonic technique [10].
For the following Choquard equation with a local nonlinear perturbation
under some suitable conditions on V, the authors proved the existence of ground state solutions without super-linear conditions near infinity or monotonicity properties on f and g in [6].
To our knowledge, there are no articles to prove the existence of ground state solutions for (1.1) with general Choquard type nonlinearity. In this paper, motivated by [3, 4, 6, 21], we consider the existence of ground state solutions with the Berstycki–Lions conditions, which originated from [2]. To prove our results, we use the minimization method developed by Tang [18] to prove the existence of ground state solutions.
Next, the energy functional associated with (1.1) is given by
To our aim, if we choose the variable \(u=f(v)\) in [7, 12], then (1.1) reduces to
where \(f : [0,+\infty )\rightarrow {\mathbb{R}}\) is given by \(f'(t)=\frac{1}{\sqrt{1+2f^{2}(t)}} \) on \([0,+\infty )\), \(f(0)=0\), and \(f(-t)=f(t)\) on \((-\infty ,0]\). Based on the above facts, if v is a weak solution of (1.3), then \(u=f(v)\) is a weak solution of (1.1). The energy functional J reduces to the following functional:
Before stating our results, we need to define the set \(\mathcal{Q}=\{v\in H^{1}({\mathbb{R}}^{N})\backslash \{0\}: \mathcal{P}(v)=0\} \), where \(\mathcal{P}\) is given in Lemma 2.2. Now, we give our result in the following.
Theorem 1.1
Assume that\((g_{1})\)–\((g_{4})\)are satisfied. Then problem (1.1) has a ground state solution\(u=f(v)\)such that\(\varPhi (v)=\inf_{\mathcal{Q}}\varPhi =\inf_{v\in \varTheta }\max_{t>0} \varPhi (v_{t})>0 \), where\(v_{t}=v(x/t)\)and
Notions
-
Let \(H^{1}({\mathbb{R}}^{N})= \{ u\in L^{2}({\mathbb{R}}^{N}) : \nabla u\in L^{2}({\mathbb{R}}^{N}) \} \) with the norm \(\|u\|= (\int _{{\mathbb{R}}^{N}}(|\nabla u|^{2}+u^{2}) )^{ \frac{1}{2}}\).
-
The embedding \(H^{1}({\mathbb{R}}^{N})\hookrightarrow L^{s}({\mathbb{R}}^{N})\) is continuous for \(s\in [2,2^{*}]\) and \(H^{1}_{r}({\mathbb{R}}^{N})\hookrightarrow L^{s}({\mathbb{R}}^{N})\) is compact for \(s\in (2,2^{*})\).
-
\(H^{1}({\mathbb{R}}^{N})\hookrightarrow L^{\frac{2Nq}{N+\alpha }}({ \mathbb{R}}^{N})\) if and only if \(\frac{N+\alpha }{N}\leq q\leq \frac{N-2}{N+\alpha }\) (see [16]).
-
\(L^{p}({\mathbb{R}}^{N})\) denotes the usual Lebesgue space with norms \(\|u\|_{p}= (\int _{{\mathbb{R}}^{N}}|u|^{p} )^{ \frac{1}{p}}\), where \(1\leq p<\infty \).
-
\(\int _{{\mathbb{R}}^{N}}\clubsuit \) denotes \(\int _{{\mathbb{R}}^{N}}\clubsuit \,\mathrm{d}x\) and C possibly denotes the different constants.
2 Proof of Theorem 1.1
In this section, we give the proof of Theorem 1.1. Next, let us recall some properties of the variables \(f : {\mathbb{R}}\rightarrow {\mathbb{R}}\). These properties have been proved in [7, 12].
Lemma 2.1
The function\(f(t)\)and its derivative satisfy the following properties:
- (1):
-
\(f(t)/t\rightarrow 1\)as\(t\rightarrow 0\);
- (2):
-
\(f(t)\leq |t|\)for any\(t\in {\mathbb{R}}\);
- (3):
-
\(f(t)\leq 2^{\frac{1}{4}}\sqrt{|t|}\)for all\(t\in {\mathbb{R}}\);
- (4):
-
\(f^{2}(t)/2\leq tf(t)f'(t)\leq f^{2}(t)\)for all\(t\in {\mathbb{R}}\);
- (5):
-
there exists a constant\(C>0\)such that
$$ \bigl\vert f(t) \bigr\vert \geq \textstyle\begin{cases} C \vert t \vert , & \textit{if } \vert t \vert \leq 1, \\ C \vert t \vert ^{\frac{1}{2}},& \textit{if } \vert t \vert \geq 1; \end{cases} $$ - (6):
-
\(|f(t)f'(t)|\leq \frac{1}{\sqrt{2}}\)for all\(t\in {\mathbb{R}}\).
By the standard argument in [16, 19], we have the following Pohozaev type identity.
Lemma 2.2
If\(v\in H^{1}({\mathbb{R}}^{N})\)is a critical point of (1.3), thenvsatisfies
Motivated by [18], by a simple calculation, for any \(t\in [0,1)\cup (1,+\infty )\), one has
Lemma 2.3
Assume that\((g_{1})\)–\((g_{4})\)hold. Then, for all\(v\in H^{1}({\mathbb{R}}^{N})\)and\(t>0\),
Proof
From (1.4), we have
Thus, by (2.2), we have
The proof is completed. □
Corollary 2.4
Assume that\((g_{1})\)–\((g_{4})\)hold. Then, for any\(v\in \mathcal{Q}\), \(\varPhi (v)=\max_{t>0}\varPhi (v_{t})\).
Lemma 2.5
Assume that\((g_{1})\)–\((g_{4})\)hold. Then, for any\(\varTheta \neq \emptyset \)and the set
Proof
By using \((g_{4})\) and the method in [17] and [18], it follows that \(\varTheta \neq \emptyset \). Next, for any \(v\in H^{1}({\mathbb{R}}^{N})\backslash \{0\}\), it follows from \(\mathcal{P}(v)\leq 0\) that
which shows that \(v\in \varTheta \). The proof is completed. □
Lemma 2.6
Assume that\((g_{1})\)–\((g_{4})\)hold. Then, for any\(v\in \varTheta \), there exists unique\(t_{v}>0\)such that\(v_{t_{v}}\in \mathcal{Q}\).
Proof
Let \(v\in \varTheta \) be fixed. Set \(\varGamma (t):=\varPhi (v_{t}) \). Then it follows from \(\varGamma '(t)=0\) that
Then
which implies that \(\mathcal{P}(v_{t})=0\Leftrightarrow v_{t}\in \mathcal{Q} \). It is easy to check that \(\lim_{t\rightarrow 0}\varGamma (t)=0\), \(\varGamma (t)>0\) for \(t>0\) enough small and \(\varGamma (t)<0\) for t large. Thus \(\max_{t>0}\varGamma (t)\) is achieved at some \(t_{v}>0\) such that \(\varGamma '(t_{v})=0\) and \(v_{t_{v}}\in \mathcal{Q}\).
Next, we will prove the uniqueness. For any given \(v\in \varTheta \), if there exist \(t_{1},t_{2}>0\) such that \(v_{t_{1}},v_{t_{2}}\in \mathcal{Q}\). Thus \(\mathcal{P}(v_{t_{1}})=\mathcal{P} (v_{t_{2}})=0\). Therefore, we have
and
which shows that \(t_{1}=t_{2}\). Thus \(t_{v}>0\) is unique for \(v\in \mathcal{Q}\). This completes the proof. □
Lemma 2.7
Assume that\((g_{1})\)–\((g_{3})\)hold, then\(\mathcal{Q}\neq \emptyset \)and
Proof
This result is a consequence of Corollary 2.4, Lemma 2.5, and Lemma 2.6. The proof is completed. □
By a standard argument in [19], we can get the following Brezis–Lieb lemma.
Lemma 2.8
Assume that\((g_{1})\)–\((g_{4})\)hold. If\(v_{n}\rightharpoonup v_{0}\)in\(H^{1}({\mathbb{R}}^{N})\), then
and
Lemma 2.9
Assume that\((g_{1})\)–\((g_{4})\)hold. Then
-
(i)
there exists\(\rho >0\)such that\(\|\nabla v\|_{2}\geq \rho \)for any\(v\in \mathcal{Q}\);
-
(ii)
\(c=\inf_{\mathcal{Q}}\varPhi >0\).
Proof
(i) By \((g_{3})\), for any \(\varepsilon >0\), there exists \(C^{1}_{\varepsilon }>0\) such that
where \(p\in (2,2^{*})\). For any \(v\in \mathcal{Q}\), we have that \(\mathcal{P}(v)=0\). By the Sobolev embedding theorem, the Hardy–Littlewood–Sobolev inequality in [15], (2.3), and \((g_{1})\), we get
which shows that there exists \(\rho >0\) such that \(\|\nabla v\|^{2}\geq \rho \) for any \(v\in \mathcal{Q}\).
(ii) For any \(v\in \mathcal{Q}\), from Lemma 2.2, we have
This completes the proof. □
Lemma 2.10
Assume that\((g_{1})\)–\((g_{3})\)hold. Thencis achieved.
Proof
Let \(\{v_{n}\}\subset \mathcal{Q}\) be a minimizer for c, that is, \(\mathcal{P}(v_{n})=0\) and \(\varPhi (v_{n})\rightarrow c\) as \(n\rightarrow \infty \). By (2.4), one has
which shows that \(\int _{{\mathbb{R}}^{N}}|\nabla v_{n}|^{2}+\int _{{\mathbb{R}}^{N}}f^{2}(v_{n})\) is bounded and thus \(\{v_{n}\}\) is bounded in \(D^{1,2}({\mathbb{R}}^{N})\). By the Sobolev inequality, Lemma 2.1-(5), it follows that
Therefore
From (2.5), we infer that there exists \(C>0\) such that \(\int _{{\mathbb{R}}^{N}}v_{n}^{2}\leq C\). Up to a subsequence, there exists \(v_{0}\in H^{1}({\mathbb{R}}^{N})\) such that \(v_{n}\rightharpoonup v_{0}\) in \(H^{1}({\mathbb{R}}^{N})\), \(v_{n}\rightarrow v_{0}\) in \(L^{r}_{\mathrm{loc}}({\mathbb{R}}^{N})\) for \(r\in [2,2^{*})\) and \(v_{n}\rightarrow v_{0}\) a.e. on \({\mathbb{R}}^{N}\).
Now, we claim that there exist \(\delta >0\) and \(\{y_{n}\}\subset {\mathbb{R}}^{N}\) such that \(\int _{B_{1}(y_{n})}|v_{n}|^{2}>\delta \). Assume by contradiction, by Lion’s concentration compactness lemma in [19], that \(v_{n}\rightarrow 0\) in \(L^{r}({\mathbb{R}}^{N})\) for \(2< r<2^{*}\). Moreover, by \(\mathcal{P}(v_{n})=0\), we know that
as \(n\rightarrow +\infty \). This is a contradiction. Thus there exist \(\delta >0\) and \(\{y_{n}\}\subset {\mathbb{R}}^{N}\) such that \(\int _{B_{1}(y_{n})}|v_{n}|^{2}>\delta \). Set \(\bar{v}_{n}(x)=v_{n}(x+y_{n})\). Then \(\|\bar{v}_{n}\|=\|v_{n}\|\). Thus, up to a subsequence, there exists \(\bar{v}_{0}\in H^{1}({\mathbb{R}}^{N})\backslash \{0\}\) such that \(\bar{v}_{n}\rightharpoonup \bar{v}_{0}\) in \(H^{1}({\mathbb{R}}^{N})\), \(\bar{v}_{n}\rightarrow \bar{v}_{0}\) in \(L^{r}_{\mathrm{loc}}({\mathbb{R}}^{N})\) for \(r\in [2,2^{*})\), and \(\bar{v}_{n}\rightarrow \bar{v}_{0}\) a.e. on \({\mathbb{R}}^{N}\). By translation invariance, one has
and \(\int _{B_{1}(0)}|\bar{v}_{n}|^{2}>\delta \). Set \(\bar{w}_{n}:=\bar{v}_{n}-\bar{v}_{0}\). Thus Lemma 2.7 yields that
If there exists a subsequence \(\{\bar{w}_{n_{i}}\}\) of \(\{\bar{w}_{n}\}\) such that \(\bar{w}_{n_{i}}=0\), then up to a subsequence, we have
Next, we assume that \(\bar{w}_{n}\neq 0\). We claim that \(\mathcal{P}(\bar{v}_{0})\leq 0\). Otherwise, if \(\mathcal{P}(\bar{v}_{0})>0\), it follows from (2.7) that \(\mathcal{P}(\bar{w}_{n})<0\) for n large. By virtue of Lemma 2.6, there exists \(t_{n}>0\) such that \((\bar{w}_{n})_{t_{n}}\in \mathcal{Q}\). By (2.7) and Lemma 2.2, we get
which is a contradiction due to \(\int _{{\mathbb{R}}^{N}}|\nabla \bar{v}_{0}|^{2}>0\). Thus \(\mathcal{P}(\bar{v}_{0})\leq 0\). Since \(\bar{v}_{0}\neq 0\), in view of Lemma 2.6, there exists \(t_{0}>0\) such that \((\bar{v}_{0})_{t_{0}}\in \mathcal{Q}\). By Lemma 2.3 and the weak semi-continuity of norm, we have
which implies that (2.8) holds. The proof is completed. □
By a standard argument in [14, 18, 19], we can get the following lemma.
Lemma 2.11
Assume that\((g_{1})\)–\((g_{4})\)hold. If\(\tilde{v}\in \mathcal{Q}\)and\(\varPhi (\tilde{v})=c\), thenṽis a critical point ofΦ.
Proof of Theorem 1.1
By Lemma 2.7, Lemma 2.10, and Lemma 2.11, there exists \(v_{0}\in \mathcal{Q}\) such that
This completes the proof. □
References
Bass, F.G., Nasanov, N.N.: Nonlinear electromagnetic-spin waves. Phys. Rep. 189, 165–223 (1990)
Berestycki, H., Lions, P.: Nonlinear scalar field equations, I. Existence of a ground state. Arch. Ration. Mech. Anal. 82, 313–345 (1983)
Chen, J.H., Cheng, B.T., Huang, X.J.: Ground state solutions for a class of quasilinear Schrödinger equations with Choquard type nonlinearity. Appl. Math. Lett. 102, 106141 (2020)
Chen, S., Wu, X.: Existence of positive solutions for a class of quasilinear Schrödinger equations of Choquard type. J. Math. Anal. Appl. 475, 1754–1777 (2019)
Chen, S.T., Tang, X.H.: Ground state solutions for generalized quasilinear Schrödinger equations with variable potentials and Berestycki–Lions nonlinearities. J. Math. Phys. 59(8), 081508 (2018)
Chen, S.T., Tang, X.H.: Ground state solutions for general Choquard equations with a variable potential and a local nonlinearity. Rev. R. Acad. Cienc. Exactas Fís. Nat., Ser. A Mat. 114(14), 1–23 (2020)
Colin, M., Jeanjean, L.: Solutions for a quasilinear Schrödinger equation: a dual approach. Nonlinear Anal. 56, 213–226 (2004)
Fang, X., Szulkin, A.: Multiple solutions for a quasilinear Schrödinger equation. J. Differ. Equ. 254, 2015–2032 (2013)
Goldman, M.V.: Strong turbulence of plasma waves. Rev. Mod. Phys. 56, 709–735 (1984)
Jeanjean, L.: On the existence of bounded Palais-Smale sequences and application to a Landesman–Lazer type problem set on \({\mathbb{R}}^{N}\). Proc. R. Soc. Edinb. A 129, 787–809 (1999)
Kurihara, S.: Large-amplitude quasi-solitons in superfluid films. J. Phys. Soc. Jpn. 50, 3262–3267 (1981)
Liu, J.Q., Wang, Y., Wang, Z.Q.: Solutions for quasilinear Schrödinger equations, II. J. Differ. Equ. 187, 473–793 (2003)
Liu, X., Liu, J., Wang, Z.Q.: Quasilinear elliptic equations via perturbation method. Proc. Am. Math. Soc. 141, 253–263 (2013)
Luo, H.X.: Ground state solutions of Pohozaev type and Nehari type for a class of nonlinear Choquard equations. J. Math. Anal. Appl. 467, 842–862 (2018)
Makhankov, V.G., Fedyanin, V.K.: Nonlinear effects in quasi-one-dimensional models and condensed matter theory. Phys. Rep. 104, 1–86 (1984)
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.: Existence of groundstate for a class of nonlinear Choquard equations. Trans. Am. Math. Soc. 367, 6557–6579 (2015)
Tang, X.H., Chen, S.T.: Singularly perturbed Choquard equations with nonlinearity satisfying Berestycki–Lions assumptions. Adv. Nonlinear Anal. 9, 413–437 (2020)
Willem, M.: Minimax Theorems. Birkhäuser, Berlin (1996)
Wu, X.: Multiple solutions for quasilinear Schrödinger equations with a parameter. J. Differ. Equ. 256, 2619–2632 (2014)
Yang, X., Zhang, W., Zhao, F.: Existence and multiplicity of solutions for a quasilinear Choquard equation via perturbation method. J. Math. Phys. 59, 081503 (2018)
Acknowledgements
The authors would like to express sincere thanks to the anonymous referees for their careful reading of the manuscript and valuable comments and suggestions.
Availability of data and materials
Not applicable.
Authors’ information
Not applicable.
Funding
This work was supported by the NSFC (No. 11501232), NSF of Hunan Province (No. 2017JJ2213), Research Foundation of Education Bureau of Hunan Province, China(Nos. 18A452, 19B450, 19C1465), Huaihua University Scientific Research Project (No.HHUY2019-3), and Huaihua University Double First-Class Initiative Applied Characteristic Discipline of Control Science and Engineering.
Author information
Authors and Affiliations
Contributions
The authors declare that this study was independently finished. All authors read and approved the final manuscript.
Corresponding author
Ethics declarations
Competing interests
The authors declare that they have no competing interests.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
He, Yb., Zhou, Jl. & Lin, Xy. Existence of ground state solutions for quasilinear Schrödinger equations with general Choquard type nonlinearity. Bound Value Probl 2020, 122 (2020). https://doi.org/10.1186/s13661-020-01420-6
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13661-020-01420-6