Existence of solutions for a class of quasilinear Schrödinger equations on R
         
        
        ${\mathbb{R}}$

Da-Bin Wang; Kuo Yang

doi:10.1186/s13661-015-0486-2

Research
Open Access

Existence of solutions for a class of quasilinear Schrödinger equations on ${\mathbb{R}}$

Da-Bin Wang¹Email author and
Kuo Yang¹

Boundary Value Problems20152015:215

https://doi.org/10.1186/s13661-015-0486-2

Received: 14 October 2015
Accepted: 12 November 2015
Published: 25 November 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.

Keywords

quasilinear Schrödinger equation
indefinite potential
variational method

MSC

34J10
35J20
35J60

1 Introduction and main result

In this paper, we consider the following quasilinear Schrödinger equations:

$$ -u^{\prime\prime} + V(x)u- \bigl(|u|^{2} \bigr)^{\prime\prime}u= f(x,u),\quad x\in {\mathbb{R}}. $$

(1.1)

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

$$\lambda_{n}=\inf_{O\in\Theta_{n}}\sup_{u\in O, u\neq0} \frac{\int _{{\mathbb{R}}}(|u^{\prime\prime}|^{2} +V(x)u^{2})\,dx}{\int_{{\mathbb{R}}}u^{2}\,dx}, $$

where $\Theta_{n}$ is the family of n-dimensional subspaces of $C_{0}^{\infty}({\mathbb{R}})$. Set

$$\lambda_{\infty}=\lim_{n\rightarrow\infty}\lambda_{n}. $$

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}$.

(f₁):: $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}}. $$

(f₂):: $f(x,t)=o(t)$ as $t\rightarrow0$ uniformly in $x\in {\mathbb{R}}$.

(f₃):: 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), (f₁)-(f₃) 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

$$ \mu\bigl(V^{-1}(-\infty, M]\bigr)< \infty $$

(1.2)

for all $M>0$, where μ denotes the Lebesgue measure in ${\mathbb{R}}$. Due to the condition (1.2), the space

$$X= \biggl\{ u\in H^{1}({\mathbb{R}}): \int_{{\mathbb{R}}}V(x)u^{2}\,dx< +\infty \biggr\} $$

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 (f₁)-(f₃), 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

$$E:= \biggl\{ u\in H^{1}({\mathbb{R}}): \int_{{\mathbb{R}}} V(x)u^{2}\,dx< \infty \biggr\} , $$

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

$$\int_{{\mathbb{R}}} \bigl(\bigl|u^{\prime}\bigr|^{2}+V(x)u^{2} \bigr)\,dx. $$

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

$$(u, v)= \int_{{\mathbb{R}}} \bigl( \bigl({{\widetilde{u}}^{+}} \bigr)^{\prime} \bigl({{\widetilde {v}}^{+}} \bigr)^{\prime}+V(x) \widetilde{u}^{+}\widetilde{v}^{+} \bigr)\,dx - \int_{{\mathbb{R}}} \bigl( \bigl({{\widetilde{u}}^{-}} \bigr)^{\prime} \bigl({{\widetilde {v}}^{-}} \bigr)^{\prime}+V(x) \widetilde{u}^{-}\widetilde{v}^{-} \bigr)\,dx, $$

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

$$\int_{{\mathbb{R}}} \bigl( \bigl|u^{\prime} \bigr|^{2}+V(x)u^{2} \bigr)\,dx= \bigl\| \widetilde {u}^{+} \bigr\| ^{2}- \bigl\| \widetilde{u}^{-} \bigr\| ^{2}. $$

For any $r\in[2, \infty]$, the embedding $E\hookrightarrow L^{r}({\mathbb{R}})$ is continuous.

Let $I:E\rightarrow {\mathbb{R}}$ by

$$I(u)=\frac{1}{2} \int_{{\mathbb{R}}} \bigl( \bigl|u^{\prime} \bigr|^{2}+V(x)u^{2} \bigr)\,dx+ \int_{{\mathbb{R}}} \bigl|u^{\prime} \bigr|^{2}u^{2}- \int_{{\mathbb{R}}}F(x,u)\,dx. $$

Then under conditions (f₁) and (f₂), $I\in C^{1}(E,{\mathbb{R}})$ and for all $u, v\in E$

$$\bigl\langle I^{\prime}(u),v \bigr\rangle = \int_{{\mathbb{R}}} \bigl(u^{\prime}v^{\prime }+V(x)uv \bigr) \,dx+2 \int_{{\mathbb{R}}} \bigl(\bigl|u^{\prime}\bigr|^{2}uv+u^{2}u^{\prime }v^{\prime} \bigr)\,dx- \int_{{\mathbb{R}}}f(x,u)v\,dx. $$

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

$$\int_{{\mathbb{R}}} \bigl( \bigl|u_{n}^{\prime} \bigr|^{2}+V(x)u_{n}^{2}-h^{\star }u_{n}^{2} \bigr)\,dx= \bigl\| u_{n}^{+} \bigr\| ^{2}- \bigl\| u_{n}^{-} \bigr\| ^{2}. $$

So, from (f₃), we have

$$\begin{aligned} I(u_{n})={}&\frac{1}{2} \int_{{\mathbb{R}}} \bigl( \bigl|u_{n}^{\prime } \bigr|^{2}+V(x)u_{n}^{2} \bigr)+ \int_{{\mathbb{R}}} \bigl|u_{n}^{\prime} \bigr|^{2}u_{n}^{2} \,dx- \int _{{\mathbb{R}}}F(x,u_{n})\,dx \\ ={}&\frac{1}{2} \int_{{\mathbb{R}}} \bigl( \bigl|u_{n}^{\prime } \bigr|^{2}+V(x)u_{n}^{2}-h^{\star}u^{2}_{n} \bigr)\,dx+ \int_{{\mathbb{R}}} \bigl|u_{n}^{\prime} \bigr|^{2}u_{n}^{2} \,dx \\ &{}+ \int_{{\mathbb{R}}} \biggl(\frac{1}{2}h^{\star }u^{2}_{n}-F(x,u_{n}) \biggr)\,dx \\ ={}&\frac{1}{2} \bigl\| u_{n}^{+} \bigr\| ^{2}- \frac{1}{2} \bigl\| u_{n}^{-} \bigr\| ^{2}+ \int_{{\mathbb{R}}} \bigl|u_{n}^{\prime} \bigr|^{2}u_{n}^{2} \,dx+ \int_{{\mathbb{R}}} \biggl(\frac{1}{2}h^{\star }u^{2}_{n}-F(x,u_{n}) \biggr)\,dx \\ \geq{}&\frac{1}{2} \bigl\| u_{n}^{+} \bigr\| ^{2}- \frac{1}{2} \bigl\| u_{n}^{-} \bigr\| ^{2}. \end{aligned}$$

(2.1)

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

$$ \bigl\| v^{+}_{n} \bigr\| ^{2}\leq \bigl\| v^{-}_{n} \bigr\| ^{2}+o_{n}(1). $$

(2.2)

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

$$ \liminf_{n\rightarrow\infty}\|u_{n}\|^{-4} \int_{{\mathbb{R}}} \bigl|u_{n}^{\prime } \bigr|^{2}u_{n}^{2} \,dx= \liminf_{n\rightarrow\infty} \int_{{\mathbb{R}}} \bigl|v_{n}^{\prime} \bigr|^{2}v_{n}^{2} \,dx \geq \int_{{\mathbb{R}}} \bigl|v^{\prime} \bigr|^{2}v^{2} \,dx>0. $$

(2.3)

By (f₃), one gets

$$I(u_{n})\geq\frac{1}{2} \bigl\| u_{n}^{+} \bigr\| ^{2}-\frac{1}{2} \bigl\| u_{n}^{-} \bigr\| ^{2}+ \int_{{\mathbb{R}}} \bigl|u_{n}^{\prime} \bigr|^{2}u_{n}^{2} \,dx. $$

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

$$0\geq \int_{{\mathbb{R}}} \bigl|v^{\prime} \bigr|^{2}v^{2} \,dx>0. $$

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 (f₃) and $\int_{{\mathbb{R}}}|u^{\prime}|^{2}u^{2}\,dx$ being weakly sequentially lower semi-continuous that

$$\begin{aligned} \liminf_{n\rightarrow\infty}I(u_{n})&= \liminf_{n\rightarrow\infty } \biggl(\frac{1}{2} \bigl\| u_{n}^{+} \bigr\| ^{2} -\frac{1}{2} \bigl\| u_{n}^{-} \bigr\| ^{2}+ \int_{{\mathbb{R}}}\bigl|u_{n}^{\prime }\bigr|^{2}u_{n}^{2} \,dx+ \int_{{\mathbb{R}}} \biggl(\frac{1}{2}h^{\star }u^{2}_{n}-F(x,u_{n}) \biggr)\,dx \biggr) \\ &\geq\frac{1}{2} \bigl\| u^{+} \bigr\| ^{2} -\frac{1}{2} \bigl\| u^{-} \bigr\| ^{2}+ \int_{{\mathbb{R}}} \bigl|u^{\prime} \bigr|^{2}u^{2}\,dx + \int_{{\mathbb{R}}} \biggl(\frac{1}{2}h^{\star}u^{2}-F(x,u) \biggr)\,dx \\ &=I(u). \end{aligned}$$

(2.4)

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

$$\int_{{\mathbb{R}}} \bigl( \bigl|e^{\prime} \bigr|^{2}+V(x)e^{2} \bigr)\,dx< 0. $$

From (f₂), we have $\int_{{\mathbb{R}}}F(x,te)\,dx=o(t^{2})$. Furthermore,

$$\int_{{\mathbb{R}}} \bigl|(te)^{\prime} \bigr|^{2}(te)^{2} \,dx=t^{4} \int_{{\mathbb{R}}} \bigl|e^{\prime } \bigr|^{2}e^{2} \,dx=O \bigl(t^{4} \bigr). $$

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). □

Declarations

Acknowledgements

The research was supported by the Natural Science Foundation of China (11561043).

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.

Authors’ Affiliations

(1)

Department of Applied Mathematics, Lanzhou University of Technology, Lanzhou, Gansu, 730050, People’s Republic of China

References

Liu, JQ, Wang, ZQ: Soliton solutions for quasilinear Schrödinger equations. I. Proc. Am. Math. Soc. 131, 441-448 (2002) View ArticleGoogle Scholar
Liu, JQ, Wang, ZQ, Guo, YX: Multibump solutions for quasilinear elliptic equations. J. Funct. Anal. 262, 4040-4102 (2012) MATHMathSciNetView ArticleGoogle Scholar
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) MATHMathSciNetView ArticleGoogle Scholar
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) MATHMathSciNetView ArticleGoogle Scholar
Ambrosetti, A, Wang, ZQ: Positive solutions to a class of quasilinear elliptic equations on ${\mathbb{R}}$. Discrete Contin. Dyn. Syst. 9, 55-68 (2003) MATHMathSciNetView ArticleGoogle Scholar
Chen, JQ, Guo, BL: Multiple nodal bound states for a quasilinear Schrödinger equations. J. Math. Phys. 46, 123502 (2005) MathSciNetView ArticleGoogle Scholar
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) MATHMathSciNetView ArticleGoogle Scholar
Colin, M, Jeanjean, L: Solutions for a quasilinear Schrödinger equations: a dual approach. Nonlinear Anal. 56, 213-226 (2004) MATHMathSciNetView ArticleGoogle Scholar
do Ó, JM, Miyagaki, OH, Soares, SHM: Soliton solutions for quasilinear Schrödinger equations: the critical exponential case. Nonlinear Anal. 67, 3357-3372 (2007) MATHMathSciNetView ArticleGoogle Scholar
Liu, JQ, Wang, YQ, Wang, ZQ: Soliton solutions for quasilinear Schrödinger equations. II. J. Differ. Equ. 187, 473-493 (2003) MATHView ArticleGoogle Scholar
Liu, JQ, Wang, YQ, Wang, ZQ: Solutions for quasilinear Schrödinger equations via Nehari method. Commun. Partial Differ. Equ. 29, 879-901 (2004) MATHView ArticleGoogle Scholar
Chen, SW, Wang, CL: Existence of multiple nontrivial solutions for a Schrödinger-Poisson system. J. Math. Anal. Appl. 411, 787-793 (2014) MathSciNetView ArticleGoogle Scholar
Reed, M, Simon, B: Methods of Modern Mathematical Physics, II: Fourier Analysis, Self-Adjointness. Academic Press, New York (1975) MATHGoogle Scholar
Reed, M, Simon, B: Methods of Modern Mathematical Physics, IV: Analysis of Operators. Academic Press, New York (1978) MATHGoogle Scholar
Shen, ZP, Han, ZQ: Existence of solutions to quasilinear Schrödinger equations with indefinite potential. Electron. J. Differ. Equ. 2015, 91 (2015) MathSciNetView ArticleGoogle Scholar
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) MATHMathSciNetView ArticleGoogle Scholar
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) MATHMathSciNetView ArticleGoogle Scholar
Zhang, J, Tang, X, Zhang, W: Existence of infinitely many solutions for a quasilinear elliptic equation. Appl. Math. Lett. 37, 131-135 (2014) MathSciNetView ArticleGoogle Scholar
Chen, JQ: Multiple positive solutions to a class of modified nonlinear Schrödinger equations. J. Math. Anal. Appl. 415, 525-542 (2014) MATHMathSciNetView ArticleGoogle Scholar

Existence of solutions for a class of quasilinear Schrödinger equations on \({\mathbb{R}}\)