Abstract
In this paper, we study the following quasilinear Schrödinger equation:
where \(N\geq3\), V is a nonnegative continuous function, which can vanish at infinity, and g is a continuous function with a quasicritical growth. Under some appropriate conditions, we get the existence of a positive solution by combining the variational method with a Hardy-type inequality.
Similar content being viewed by others
1 Introduction and main results
In this paper, we consider the existence of positive solutions for the following class of quasilinear Schrödinger equations:
for \(N\geq3\) and assuming that \(V,K: \mathbb{R}^{N}\rightarrow \mathbb{R}\) and \(g:\mathbb{R}\rightarrow\mathbb{R}\) are continuous functions with \(V,K\) being nonnegative functions and g having a quasicritical growth.
The solutions of equation (1.1) are related to the existence of standing wave solutions for the following Schrödinger equations:
where \(z:\mathbb{R}\times\mathbb{R}^{N}\rightarrow\mathbb{C}\), \(W:\mathbb{R}^{N}\rightarrow\mathbb{R}\) is a given potential; \(\rho ,l:\mathbb{R^{+}}\rightarrow\mathbb{R}\) are real functions. Equations like (1.2) appear more naturally in mathematical physics and have been derived as models of several physical phenomena corresponding to various types of l. The case \(l(s)=s\) was used for the superfluid film equation in plasma physics [1]. In the case \(l(s)=(1+s)^{1/2}\), equation (1.2) models the self-channeling of a high-power ultra short laser in matter [2]. Equation (1.2) also appears in plasma physics and fluid mechanics [3] and in dissipative quantum mechanics [4]. While this paper deals with the model where \(l(s)=s\) and we put \(z(t,x)=\operatorname{exp}(-iEt)u(x)\) into (1.2), we get the equation (1.1) with \(V(x)=W(x)-E\).
Recently, there has appeared a broad literature treating the existence of solutions about a variety of Schrödinger equations [5–14]. But here we just introduce some different assumptions on \(V(x)\) for the quasilinear Schrödinger equations. Alves, Wang, and Shen [15] investigated the following quasilinear Schrödinger equation:
where \(N\geq3\), \(l:\mathbb{R}\rightarrow\mathbb{R}\) are continuous function, k is a parameter. They assume that the potential \(V:\mathbb {R}^{N}\rightarrow\mathbb{R}\) is continuous and satisfies:
\((V_{1})\) \(V(x)\geq V(0)>0\), for all \(x\in\mathbb{R}^{N}\).
\((V_{2})\) \(\lim_{\vert x\vert \rightarrow\infty}V(x)=V_{\infty}\) and \(V(x)\leq V_{\infty}\), for all \(x\in\mathbb{R}^{N}\).
Under these two conditions, they combined the variational method with perturbation arguments to get a solution.
In [16], Fang and Szulkin obtained the multiplicity of solutions and made an assumption on \(V(x)\) as follows:
\((V_{3})\) V is continuous, 1-periodic in \(x_{i}\), \(1\leq i\leq N\), and there exists a constant \(a_{0}>0\) such that \(V(x)\geq a_{0}\) for all \(x\in\mathbb{R}^{N}\).
In [17], the authors assumed \(V(x)\) to satisfy
\((V_{4})\) \(V\in C(\mathbb{R}^{N},\mathbb{R}),0\leq V(x)\leq V_{\infty }:=\lim_{\vert x\vert \rightarrow\infty}V(x)<\infty,V_{\infty}>0\), and \(V(x)< V_{\infty}\) somewhere.
\((V_{5})\) There are positive constants M, A and m such that, for \(\vert x\vert \geq M\), \(V(x)\leq V_{\infty}-\frac{A}{1+\vert x\vert ^{m}}\) and under these conditions, they obtained a ground state positive solution and a ground state sign-changing solution by the Nehari method. For more interesting results [18–22, 26].
But in this paper, what we are interested in is the zero mass case, which occurs with the potential V vanishing at infinity, that is,
In [23], Aires and Souto studied the zero mass case and the potential V satisfies the following assumptions:
\((V_{0})\) \(V(x)\geq0\), for all \(x\in\mathbb{R}^{N}\).
\((V_{\infty})\) \(V(x)\leq V_{\infty}\), for all \(x\in\mathbb {R}^{N}\).
\((V_{\Lambda})\) There are \(\Lambda>0\) and \(R>1\) such that
Under these conditions, they obtained the existence of solutions for the following equations:
To the best of our knowledge, except for [23, 24] there is no paper dealing with the quasilinear Schrödinger equations (1.1) with vanishing potentials.
We are motivated by the above articles and especially by the work of Alves and Souto [25]. In the present paper, we consider the hypotheses on the potential V:
\((V'_{1})\) \(V(x),K(x)>0, \forall x\in\mathbb{R}^{N}\) and \(K\in L^{\infty}(\mathbb{R}^{N})\).
\((V'_{2})\) If \({A_{n}}\subset\mathbb{R}^{N}\) is a sequence of Borel sets such that \(\vert A_{n}\vert \leq R\), for all n and some \(R>0\), then
\((V'_{3})\) One of the following conditions occurs:
or there is \(p\in(2,2^{*})\) such that
In order to obtain our result, we also need to assume the following conditions on \(g(x)\)
\((g_{1})\):
or
\((g_{2})\): g has a quasicritical growth, that is,
\((g_{3})\): there exists \(\theta>2\) such that
\((g_{4})\): there exists \(\nu>\frac{1}{1-2\Vert K\Vert _{L^{\infty}}}\) such that
Remark 1.1
The condition \((g_{4})\) is the key to prove the boundedness of the Cerami sequence.
Remark 1.2
When \(N=3\), a typical example that verifies \((g_{1})\)-\((g_{4})\) is given by
where \(\kappa+1\geq\max \{2\theta,2\nu \}\) and \(p\leq \kappa+1\leq2^{*}\).
Now, we are able to state our main theorem.
Theorem 1.3
Suppose that \(V,K\) satisfy \((V'_{1})\)-\((V'_{3})\) and g satisfies \((g_{1})\)-\((g_{4})\). Then problem (1.1) possesses a positive solution.
The remainder of this paper is organized as follows. In Section 2, some preliminary results are presented. In Section 3, we prove the boundedness of the Cerami sequences. In Section 4, we give the proof of our main result.
2 Preliminaries
First, in this paper, we consider the Sobolev space
endowed with the norm
It is well known that the embedding \(D^{1,2}\hookrightarrow L^{2^{*}}(\mathbb{R}^{N})\) is continuous, i.e. there exists \(C>0\) such that
Next, we establish the variational structure of problem (1.1). We observe that the natural energy functional associated with (1.1) is
and it is obvious that the functional J is not well defined in general, because \(\int_{\mathbb{R}^{N}}u^{2}\vert \nabla u\vert ^{2}\,dx\) is not finite, for all \(u\in D^{1,2}(\mathbb{R}^{N})\). In order to overcome this difficulty, we adopt the following method: a change of variables as introduced by Colin and Jeanjean in [27]: \(v=f^{-1}(u)\), where f is defined by
and has the following properties.
Lemma 2.1
The function f possesses the following properties:
\((1)\) f is uniquely defined, is \(C^{\infty}\), and is invertible;
\((2)\) \(\vert f'(t)\vert \leq1, \forall t\in\mathbb{R}\);
\((3)\) \(\vert f(t)\vert \leq \vert t\vert , \forall t\in\mathbb{R}\);
\((4)\) \(\frac{f(t)}{t}\rightarrow1\textit{ as }t\rightarrow0 \);
\((5)\) \(\frac{f(t)}{\sqrt{t}}\rightarrow2^{\frac{1}{4}}\textit{ as }t\rightarrow+\infty\);
\((6)\) \(\frac{f(t)}{2}\leq tf'(t)\leq f(t), \forall t\geq0\);
\((7)\) \(\vert f(t)\vert \leq2^{\frac{1}{4}}\vert t\vert ^{\frac{1}{2}}, \forall t\in \mathbb{R}\);
\((8)\) \(\frac{f^{2}(t)}{2}\leq tf(t)f'(t)\leq f^{2}(t), \forall t\in \mathbb{R}\);
\((9)\) there exists a positive constant C such that
\((10)\) \(\vert f(t)f'(t)\vert \leq\frac{1}{\sqrt{2}},\forall t\in\mathbb{R}\).
After the change of variables, the functional \(J(u)\) can be rewritten as follows:
which is well defined on E and is of \(C^{1}\) class, and, for all \(\omega\in E\), we have
Remark 2.2
Note that the functional \(\Psi:E\rightarrow \mathbb{R}\), given by
is a \(C^{1}\) function and
Moreover, there is a constant \(\beta>0\) such that
We note that the critical points of I are weak solutions of the problem
We also note that if \(v\in C^{2}(\mathbb{R}^{N})\cap D^{1,2}(\mathbb{R}^{N})\) is a critical point of the functional I, then \(u=f(v)\) is a classical solution of (1.1).
Remark 2.3
Since we intend to prove the existence of positive solutions of the problem (1.1), we can consider
3 The boundedness of the Cerami sequences
We say that a sequence \((v_{n})\in E\) is called a Cerami sequence of I at level c if
The functional I satisfies the Cerami condition if any Cerami sequence possesses a convergent subsequence in E.
Lemma 3.1
Hardy-type inequality (see [25])
Assume that \(V,K\) satisfy \((V'_{1})\)-\((V'_{3})\), then E is compactly embedded in \(L^{q}_{k}(\mathbb{R}^{N})\) for all \(q\in(2,2^{*})\) if \((K_{1})\) holds. If \((K_{3})\) holds, E is compactly embedded in \(L^{p}_{k}(\mathbb{R}^{N})\), where
Lemma 3.2
Suppose that \(V,K\) satisfy \((V'_{1})\)-\((V'_{3})\) and g satisfies \((g_{1})\), \((g_{2})\). Let \((v_{n})\) be a sequence such that \(v_{n}\rightharpoonup v\) in E. Then
and
The proof follows from the idea of Lemma 2.2 in [25].
Lemma 3.3
Suppose \(V,K\) satisfy \((V'_{1})\)-\((V'_{3})\) and g satisfies \((g_{1})\)-\((g_{4})\), if \((v_{n})\subset E\) is a Cerami sequence of I, then \((v_{n})\) is bounded in E.
Proof
Let \((v_{n})\) be a Cerami sequence of I, then
that is,
For \(\omega\in E\), we have
Taking \(\omega=\omega_{n}=\frac{f(v_{n})}{f'(v_{n})}\), by property \((6)\) of Lemma 2.1, we have
and thus \(\omega_{n}\in E\) and \(\Vert \omega_{n}\Vert \leq2\Vert v_{n}\Vert \).
From (3.1), we obtain
that is,
It follows from (3.2) and (3.3) that
and thus
Combining (3.4) with \((g_{4})\), we get
that is,
So, we have
Therefore, \(\Psi(v_{n})\) is bounded, and consequently from Remark 2.2, the sequence \((v_{n})\) is bounded in E. □
Since the sequence \((v_{n})\) given by Lemma 3.3 is bounded in E, there exist a constant \(M>0\) and \(v\in E\), and a subsequence of \((v_{n})\), still denoted by \((v_{n})\), such that \(\Vert v_{n}\Vert _{E}\leq M\), \(\Vert v\Vert _{E}\leq M\) and
For concluding also the proof of Theorem 1.3, we need one more lemma.
Lemma 3.4
Assume \(V,K\) satisfy \((V'_{1})\)-\((V'_{3})\), if the sequence \((v_{n})\) satisfies \((C)\) sequence, then the following statements hold:
(i) For each \(\epsilon>0\), there exists \(r_{0}\geq1\) such that, for \(r\geq r_{0}\),
and
(ii) The weak limit \(v\in E\) is a critical point of the functional I.
(iii) \(v_{n}\rightarrow v\) in E, i.e. the functional I satisfies the Cerami condition in E.
Proof
The proof is almost similar to the one of Lemma 3.4 in [26], so we omit it here. □
4 Proof of main results
In this section, we will give the proof of Theorem 1.3, which mainly relies on the following mountain-pass theorem.
Theorem 4.1
Let X be a real Banach space and let \(I\in C^{1}(X,\mathbb{R})\). Let Σ be a closed subset of X which disconnects (archwise) X into distinct connected components \(X_{1}\) and \(X_{2}\). Suppose further that \(I(0)=0\) and
\((I_{1})\) \(0\in X_{1}\) and there is \(\alpha>0\) such that \(I\mid _{\Sigma}\geq\alpha>0\),
\((I_{2})\) there is \(e\in X_{2}\) such that \(I(e)<0\).
Then I possesses a \((c)_{c}\) sequence with \(c\geq\alpha>0\) given by
where
Proof of Theorem 1.3
Clearly, by Lemmas 3.1-3.3 in Section 3, the functional I satisfies the Cerami condition. Next, we prove that I satisfies \((I_{1})\) and \((I_{2})\) of Theorem 4.1.
First of all, we note that \(I(0)=0\). Now, for every \(\rho>0\), define
where Ψ was defined as before. Since the functional Ψ is continuous, it follows that \(\Sigma_{\rho}\) is a closed subset which disconnects the space E. Using \((V'_{1})\), \((g_{1})\), \((g_{2})\), and the Sobolev embedding inequality, we have
from which it follows that
Since \(2^{*}>2\), it implies that, for \(\rho>0\) sufficiently small, there exists \(\alpha>0\) such that
Thus, condition \((I_{1})\) is satisfied.
Now, let us show that there is \(\varphi\in E\) such that
Next we consider \(\varphi\in C_{0}^{\infty}(\mathbb{R}^{N})\) satisfying \(\operatorname{supp}(\varphi)=\bar{B_{1}}\) and \(0\leq\varphi(x)\leq 1,\forall x\in B_{1}\).
Indeed
by hypothesis \((g_{3})\), there exist positive constants \(C_{1}\) and \(C_{2}\) such that
hence, it follows from the above inequality and property \((3)\) of Lemma 2.1 that
Since the function \(\frac{f(t)}{t}\) is decreasing for \(t>0\) and
we have
which together with (4.3) implies
By properties (9) of Lemma 2.1 and provided that \(\theta>2\), we conclude that
and hence \((I_{2})\) is satisfied.
Therefore, the existence of positive solution in E for problem (2.6) follows from Theorem 4.1 and so \(u=f(v)\) is a solution of problem (1.1). We finished the proof of Theorem 1.3. □
References
Kurihura, S: Large-amplitude quasi-solitons in superfluids films. J. Phys. Soc. Jpn. 50, 3262-3267 (1981)
Ritchie, B: Relativistic self-focusing and channel formation in laser-plasma interactions. Phys. Rev. E. 50, 687-689 (1994)
Bass, F, Nasanov, NN: Nonlinear electromagnetic-spin waves. Phys. Rep. 189, 165-223 (1990)
Hasse, RW: A general method for the solution of nonlinear soliton and kink Schrödinger equation. Z. Phys. B. 37, 83-87 (1980)
Liu, H, Chen, H, Yang, X: Least energy sign-changing solutions for nonlinear Schrödinger equations with indefinite-sign and vanishing potential. Appl. Math. Lett. 53, 100-106 (2016)
Liu, H, Chen, H, Xiao, Q: Positive ground state solutions for a class of Schrödinger-Poisson systems with sign-changing and vanishing potential. Math. Methods Appl. Sci. (2016). doi:10.1002/mma.4110
Liu, H, Chen, H, Wang, G: Multiplicity for a 4-sublinear Schrödinger-Poisson system with sign-changing potential via Morse theory. C. R. Math. 1(354), 75-80 (2016)
Liu, H, Chen, H: Multiple solutions for a nonlinear Schrödinger-Poisson system with sign-changing potential. Comput. Math. Appl. 71, 1405-1416 (2016)
Liu, H, Chen, H, Yang, X: Multiple solutions for superlinear Schrödinger-Poisson systems with sign-changing potential and nonlinearity. Comput. Math. Appl. 68(12), 1982-1990 (2014)
Sun, J, Chen, H, Nieto, J: On ground state solutions for some non-autonomous Schrödinger-Poisson systems. J. Differ. Equ. 252, 3365-3380 (2012)
Sun, M, Su, J, Zhao, L: Solutions of a Schrödinger-Poisson system with combined nonlinearities. J. Math. Anal. Appl. 442, 385-403 (2016)
Repovs, D: Stationary waves of Schrödinger-type equations with variable exponent. Anal. Appl. 13(6), 645-661 (2015)
Repovs, D, Zhang, B, Zhang, X: Existence and symmetry of solutions for critical fractional Schrödinger equations with bounded potentials. Nonlinear Anal. 142, 48-68 (2016)
Zhang, X, Zhang, B, Xiang, M: Ground states for fractional Schrödinger equations involving a critical nonlinearity. Adv. Nonlinear Anal. 5(3), 293-314 (2016)
Alves, CO, Wang, Y, Shen, Y: Soliton solutions for a class of quasilinear Schrödinger equations with a parameter. J. Differ. Equ. 259, 318-343 (2015)
Fang, X, Szulkin, A: Multiple solutions for a quasilinear Schrödinger equation. J. Differ. Equ. 254, 2015-2032 (2013)
Liu, X, Liu, J, Wang, Z: Ground states for quasilinear Schrödinger equations with critical growth. Calc. Var. 46, 641-669 (2013)
Liu, J, Wang, Y, Wang, Z: Soliton solutions for quasilinear Schrödinger equations II. J. Differ. Equ. 187, 473-493 (2003)
Liu, J, Wang, Z: Soliton solutions for quasilinear Schrödinger equations. Proc. Am. Math. Soc. 131, 441-448 (2003)
Shi, H, Chen, H: Generalized quasilinear asymptotically periodic Schrödinger equations with critical growth. Comput. Math. Appl. 71, 849-858 (2016)
Moameni, A: Existence of soliton solution for a quasilinear Schrodinger equation involving critical exponent in \(\mathbb{R}^{N}\). J. Differ. Equ. 229, 570-587 (2006)
Wu, X: Multiple solutions for quasilinear Schrödinger equations with a parameter. J. Differ. Equ. 256, 2619-2632 (2014)
Aires, JFL, Souto, MAS: Existence of solutions for a quasilinear Schrödinger equation with vanishing potentials. J. Math. Anal. Appl. 416, 924-946 (2014)
Shi, H, Chen, H: Positive solutions for generalized quasilinear Schrödinger equations with potential vanishing at infinity. Appl. Math. Lett. 61, 137-142 (2016)
Alves, CO, Souto, MAS: Existence of solutions for a class of nonlinear Schrödinger equations with potential vanishing at infinity. J. Differ. Equ. 254, 1977-1991 (2013)
Song, H, Chen, C, Yan, Q: Infinitely many solutions for quasilinear Schrödinger equation with critical exponential growth in \(\mathbb{R}^{N}\). J. Math. Anal. Appl. 439, 575-593 (2016)
Colin, M, Jeanjean, L: Solutions for a quasilinear Schrödinger equation: a dual approach. Nonlinear Anal. 56, 213-226 (2004)
Silva, EAB, Vieira, GF: Quasilinear asymptotically periodic Schrödinger equations with subcritical growth. Nonlinear Anal. 72, 2935-2949 (2010)
Silva, EAB, Vieira, GF: Quasilinear asymptotically periodic Schrödinger equations with critical growth. Calc. Var. 39, 1-33 (2010)
Acknowledgements
The authors thank the referees for valuable comments and suggestions which improved the presentation of this manuscript. This article was partially supported by Natural Science Foundation of China 11671403.
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
All authors carried out the proofs and the authors conceived of the study. All authors read and approved the final manuscript.
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Liu, X., Chen, H. Positive solutions for a class of quasilinear Schrödinger equations with vanishing potentials. Bound Value Probl 2017, 35 (2017). https://doi.org/10.1186/s13661-017-0769-x
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13661-017-0769-x