- Research
- Open access
- Published:
Existence of solutions for a class of quasilinear Schrödinger equations on \({\mathbb{R}}\)
Boundary Value Problems volume 2015, Article number: 215 (2015)
Abstract
In this paper, we study the existence of nontrivial solution for a class of quasilinear Schrödinger equations in \({\mathbb{R}}\) with the nonlinearity asymptotically linear and, furthermore, the potential indefinite in sign. The tool used in this paper is the direct variation method.
1 Introduction and main result
In this paper, we consider the following quasilinear Schrödinger equations:
Problem (1.1) arises the theory of superfluids or in dissipative quantum mechanics, plasma physics, fluid mechanics, and the theory of Heisenberg ferromagnets; for more details, the reader may refer to [1–3] and the references therein.
This problem has been studied by many people in the recent years [3–6], in which the existence of solutions has been established. Besides, Alves et al. [7] consider the existence and concentration of positive solutions as \(\varepsilon\rightarrow0\) for a related equation with \(\varepsilon ^{2}\). At the same time, many authors considered the corresponding high dimensional equations; see [1, 2, 8–11] and the references therein. However, in all the above papers, we notice that the potential was assumed positive definite. In this paper, we will investigate the nontrivial solution for equation (1.1) with the potential indefinite in sign; the tool used in our paper, which is different from the literature mentioned above, is the direct variation method. It is noticed that the ideas in this article come from the paper of Chen and Wang [12], where a Schrödinger-Poisson system was considered.
To stated our main result, one needs to describe the eigenvalue of Schrödinger operator \(-\Delta+V\):
Consider the increasing sequence \(\lambda_{1}\leq\lambda_{2}\leq \cdots\) of the minmax value defined by
where \(\Theta_{n}\) is the family of n-dimensional subspaces of \(C_{0}^{\infty}({\mathbb{R}})\). Set
It is well known that \(\lambda_{\infty}\) is the bottom of the essential spectrum of \(-\Delta+V\) if it is finite. So, \(\lambda_{n}\) is an eigenvalue of \(-\Delta+V\) of finite multiplicity whenever \(\lambda_{n}<\lambda_{\infty}\) (see [13, 14]). It is easy to see that \(\lambda_{n}\) is well defined and is finite if V is bounded from below.
In this paper, we assume that:
- (V):
-
\(V\in C({\mathbb{R}})\) bounded from below and there exists an integer \(k\geq1\) such that \(\lambda_{k}<0<\lambda_{k+1}\).
- (f1):
-
\(f\in C^{1}({\mathbb{R}}\times {\mathbb{R}})\) and there exist constants \(p>2\) and \(c>0\) such that
$$\bigl|f(x,t) \bigr|\leq c \bigl(1+|t|^{p-1} \bigr), \quad\forall x\in {\mathbb{R}}, t \in {\mathbb{R}}. $$ - (f2):
-
\(f(x,t)=o(t)\) as \(t\rightarrow0\) uniformly in \(x\in {\mathbb{R}}\).
- (f3):
-
There exists \(0< h<\lambda_{\infty}\) such that \(F(x,t)=\int ^{t}_{0}f(x,s)\,ds\leq\frac{1}{2}ht^{2}\) for all \(x\in {\mathbb{R}}\) and \(t \in {\mathbb{R}}\).
Our main result of this paper is as follows.
Theorem 1.1
Assume (V), (f1)-(f3) are satisfied, then problem (1.1) has at least one nontrivial solution.
For equation (1.1), one may face many difficulties. First of all, the Sobolev embedding \(H^{1}({\mathbb{R}})\hookrightarrow L^{2}({\mathbb{R}})\) is not compact. To overcome this difficulty, one can restrict the functional I to a subspace of \(H^{1}({\mathbb{R}})\), which embeds compactly into \(L^{2}({\mathbb{R}})\) with certain qualifications or consists of radially symmetric functions. For this point, Shen and Han [15] considered equation (1.1) with the nonlinearity satisfying some conditions and the potential V satisfying (V) and
for all \(M>0\), where μ denotes the Lebesgue measure in \({\mathbb{R}}\). Due to the condition (1.2), the space
embeds compactly into \(L^{2}({\mathbb{R}})\) (see [16]), which is crucial in their paper. However, in our paper the condition like type (1.2) does not need to be assumed.
Second, the potential V in this paper is indefinite in sign, so under our conditions (f1)-(f3), the mountain pass lemma cannot be valid in the same way as in [17, 18]. Furthermore, the competing effect of \(\int_{{\mathbb{R}}}|u^{\prime}|^{2}u^{2}\,dx\) with the nonlinear term gives rise to much greater difficulty. For results as regards the potential change sign, we also mention [19] and the references in therein.
2 Proof of main result
In order to prove the main results, first we introduce the space
which is a linear subspace of \(H^{1}({\mathbb{R}})\).
Let \(\widetilde{E}^{-}\) and \(\widetilde{E}^{+}\) be the negative space and positive space of the quadratic form
From (V), we deduce that \(E=\widetilde{E}^{-}\oplus\widetilde {E}^{+}\) and \(\widetilde{E}^{-}\) is a finite dimensional space which is spanned by the eigenfunctions with corresponding eigenvalues \(\lambda_{1}\leq\cdots\leq\lambda_{k}\). For any \(u, v\in E\), we define
where \(u=\widetilde{u}^{-}+\widetilde{u}^{+}, v=\widetilde {v}^{-}+\widetilde{v}^{+}\in E=\widetilde{E}^{-}\oplus\widetilde {E}^{+}\). Then \((\cdot, \cdot)\) is an inner product on E. Therefore, E is a Hilbert space with the norm \(\|\cdot\|=(\cdot ,\cdot)^{1/2}\). It is easy to see that
For any \(r\in[2, \infty]\), the embedding \(E\hookrightarrow L^{r}({\mathbb{R}})\) is continuous.
Let \(I:E\rightarrow {\mathbb{R}}\) by
Then under conditions (f1) and (f2), \(I\in C^{1}(E,{\mathbb{R}})\) and for all \(u, v\in E\)
It is well known that the critical points of I are the solutions of problem (1.1).
Proof of Theorem 1.1
Step 1: To proof I is coercive. Suppose it is not true, then there exist \(M>0\) and \(\|u_{n}\| \rightarrow\infty\) such that \(I(u_{n})\leq M\).
Since \(h<\lambda_{\infty}\), we can choose \(h< h^{\star}<\lambda _{\infty}\) such that \(h^{\star}\neq{\lambda_{i}, 1\leq i<\infty}\). Let \(E^{-}\) be the space spanned by the eigenfunctions with corresponding eigenvalue less than \(h^{\star}\). By the choice of \(h^{\star}\), \(E^{-}\) is finite dimensional space. Let \(E^{+}={(E^{-})}^{\perp}\), then \(E=E^{-}\oplus E^{+}\). For \(u\in E\), we have a unique decomposition \(u=u^{+}+u^{-}\) with \(u^{+}\in E^{+}\) and \(u^{-}\in E^{-}\). By the choice of \(h^{\star}\), there exists an equivalent norm of E, still denoted by \(\|\cdot\|\), such that
So, from (f3), we have
Let \(v_{n}=u_{n}/\|u_{n}\|\), then \(\|v_{n}\|=1\). Multiplying both sides of (2.1) by \(\|u_{n}\|^{-2}\), since \(\|u_{n}\|\rightarrow\infty\) and \(I(u_{n})\leq M\), we get
Up to a subsequence, we assume that \(v_{n}\rightharpoonup v\) in E and \(v_{n}\rightarrow v\) a.e. in \({\mathbb{R}}\). If \(v=0\), for the finite dimension of \(E^{-}\), one has \(v_{n}^{-}\rightarrow0\) in E. By (2.2), \(v_{n}\rightarrow0\) in E. It is impossible, since \(\|v_{n}\|=1\). Hence, \(v\neq0\). Since \(\int_{{\mathbb{R}}}|u^{\prime}|^{2}u^{2}\,dx\) is weak sequential lower semi-continuous [3] (see also [7]), we have
By (f3), one gets
Multiplying both sides of the above inequality by \(\|u_{n}\|^{-4}\), by (2.3) and \(\|u_{n}\|^{-4}I(u_{n})\rightarrow0\) as \(n\rightarrow\infty \), we have
This is a contradiction. So, I is coercive.
Step 2: We will show that I is weakly sequentially lower semi-continuous. Let \(u_{n}\rightharpoonup u\) in E. Then \(\liminf_{n\rightarrow \infty}\|u_{n}^{+}\|\geq\|u^{+}\|\) and \(u_{n}^{-}\rightarrow u^{-}\) in \(E^{-}\) since the dimension of \(E^{-}\) is finite. So, it follows from (f3) and \(\int_{{\mathbb{R}}}|u^{\prime}|^{2}u^{2}\,dx\) being weakly sequentially lower semi-continuous that
Hence, I is weakly sequentially lower semi-continuous.
Step 3: We will show that I is bounded from below and \(\inf_{E}I<0\). It is easy to see that I maps every bounded set in E into bounded set in \({\mathbb{R}}\). Hence by the Step 1, we see that I is bounded from below. Next, we will show that \(\inf_{E}I<0\). In fact, since (V), for any \(e\in E^{-}\setminus\{0\}\) we get
From (f2), we have \(\int_{{\mathbb{R}}}F(x,te)\,dx=o(t^{2})\). Furthermore,
Therefore, we can choose some \(t>0\) small enough such that \(I(te)<0\). So, we get \(\inf_{E}I<0\).
By using direct variation method, Steps 1 and 2 show that I has a global minimizer. From Step 3, the global minimizer of I is not zero. Therefore, we get a nontrivial solution of problem (1.1). □
References
Liu, JQ, Wang, ZQ: Soliton solutions for quasilinear Schrödinger equations. I. Proc. Am. Math. Soc. 131, 441-448 (2002)
Liu, JQ, Wang, ZQ, Guo, YX: Multibump solutions for quasilinear elliptic equations. J. Funct. Anal. 262, 4040-4102 (2012)
Poppenberg, M, Schmitt, K, Wang, ZQ: On the existence of soliton solutions to quasilinear Schrödinger equations. Calc. Var. Partial Differ. Equ. 14, 329-344 (2002)
Alves, MJ, Carrião, PC, Miyagaki, OH: Non-autonomous perturbations for a class of quasilinear elliptic equations on \({\mathbb{R}}\). J. Math. Anal. Appl. 344, 186-203 (2008)
Ambrosetti, A, Wang, ZQ: Positive solutions to a class of quasilinear elliptic equations on \({\mathbb{R}}\). Discrete Contin. Dyn. Syst. 9, 55-68 (2003)
Chen, JQ, Guo, BL: Multiple nodal bound states for a quasilinear Schrödinger equations. J. Math. Phys. 46, 123502 (2005)
Alves, CO, Miyagaki, OH, Soares, SHM: On the existence and concentration of positive solutions to a class of quasilinear elliptic problems on \({\mathbb{R}}\). Math. Nachr. 284, 1784-1795 (2011)
Colin, M, Jeanjean, L: Solutions for a quasilinear Schrödinger equations: a dual approach. Nonlinear Anal. 56, 213-226 (2004)
do Ó, JM, Miyagaki, OH, Soares, SHM: Soliton solutions for quasilinear Schrödinger equations: the critical exponential case. Nonlinear Anal. 67, 3357-3372 (2007)
Liu, JQ, Wang, YQ, Wang, ZQ: Soliton solutions for quasilinear Schrödinger equations. II. J. Differ. Equ. 187, 473-493 (2003)
Liu, JQ, Wang, YQ, Wang, ZQ: Solutions for quasilinear Schrödinger equations via Nehari method. Commun. Partial Differ. Equ. 29, 879-901 (2004)
Chen, SW, Wang, CL: Existence of multiple nontrivial solutions for a Schrödinger-Poisson system. J. Math. Anal. Appl. 411, 787-793 (2014)
Reed, M, Simon, B: Methods of Modern Mathematical Physics, II: Fourier Analysis, Self-Adjointness. Academic Press, New York (1975)
Reed, M, Simon, B: Methods of Modern Mathematical Physics, IV: Analysis of Operators. Academic Press, New York (1978)
Shen, ZP, Han, ZQ: Existence of solutions to quasilinear Schrödinger equations with indefinite potential. Electron. J. Differ. Equ. 2015, 91 (2015)
Bartsch, T, Wang, ZQ: Existence and multiplicity results for some superlinear elliptic problems on \({\mathbb{R}}^{n}\). Commun. Partial Differ. Equ. 20, 1725-1741 (1995)
Zhang, J, Tang, X, Zhang, W: Infinitely many solutions of quasilinear Schrödinger equation with sign-changing potential. J. Math. Anal. Appl. 420, 1762-1775 (2014)
Zhang, J, Tang, X, Zhang, W: Existence of infinitely many solutions for a quasilinear elliptic equation. Appl. Math. Lett. 37, 131-135 (2014)
Chen, JQ: Multiple positive solutions to a class of modified nonlinear Schrödinger equations. J. Math. Anal. Appl. 415, 525-542 (2014)
Acknowledgements
The research was supported by the Natural Science Foundation of China (11561043).
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
The main idea of this paper was proposed by D-BW; D-BW prepared the manuscript initially and KY performed a part of steps of the proofs in this research. All authors read and approved the final manuscript.
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
Wang, DB., Yang, K. Existence of solutions for a class of quasilinear Schrödinger equations on \({\mathbb{R}}\) . Bound Value Probl 2015, 215 (2015). https://doi.org/10.1186/s13661-015-0486-2
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13661-015-0486-2