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

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.

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.

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