Skip to main content

Advertisement

Positive solutions for a class of quasilinear Schrödinger equations with vanishing potentials

Article metrics

  • 1046 Accesses

Abstract

In this paper, we study the following quasilinear Schrödinger equation:

$$-\Delta u+V(x)u-\Delta\bigl(u^{2}\bigr)u=K(x)g(u) \quad\mbox{in } \mathbb{R}^{N}, $$

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.

Introduction and main results

In this paper, we consider the existence of positive solutions for the following class of quasilinear Schrödinger equations:

$$ \textstyle\begin{cases} -\Delta u+V(x)u-\Delta(u^{2})u=K(x)g(u)\quad \mbox{in }\mathbb{R}^{N},\\ u\in D^{1,2}(\mathbb{R}^{N}), \end{cases} $$
(1.1)

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:

$$ iz_{t}=-\Delta z+W(x)z-K(x)\rho\bigl(\vert z\vert ^{2} \bigr)z-k\Delta \bigl(l\bigl(\vert z\vert ^{2}\bigr) \bigr)l'\bigl(\vert z\vert ^{2}\bigr)z, $$
(1.2)

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 [514]. 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:

$$-\Delta u+V(x)u+\frac{k}{2}\bigl[\Delta\bigl(u^{2}\bigr) \bigr]u=l(u), \quad x\in\mathbb{R}^{N}, $$

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 [1822, 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,

$$\lim_{\vert x\vert \rightarrow+\infty}V(x)=0 \quad\bigl(\mbox{shortly } V(\infty)=0\bigr). $$

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

$$\frac{1}{R^{4}}\inf_{\vert x\vert \geq R}\vert x\vert ^{4}V(x) \geq\Lambda. $$

Under these conditions, they obtained the existence of solutions for the following equations:

$$ \textstyle\begin{cases} -\Delta u+V(x)u-\Delta(u^{2})u=g(u)\quad \mbox{in }\mathbb{R}^{N},\\ u\in D^{1,2}(\mathbb{R}^{N}). \end{cases} $$
(1.3)

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

$$\lim_{r\rightarrow+\infty} \int_{A_{n}\cap B_{r}^{c}(0)}K(x)\,dx=0, \quad\mbox{uniformly in } n\in\mathbb{N}. $$

\((V'_{3})\) One of the following conditions occurs:

$$ (K_{1})\quad \frac{K}{V}\in L^{\infty}\bigl(\mathbb{R}^{N}\bigr) $$

or there is \(p\in(2,2^{*})\) such that

$$ (K_{2})\quad \frac{K(x)}{[V(x)]^{\frac{2^{*}-p}{2^{*}-2}}}\rightarrow0 \quad\mbox{as } \vert x\vert \rightarrow+ \infty. $$

In order to obtain our result, we also need to assume the following conditions on \(g(x)\)

\((g_{1})\):

$$\limsup_{s\rightarrow0}\frac{g(s)}{s}=0 \quad\mbox{if } (K_{1}) \mbox{ holds}, $$

or

$$\limsup_{s\rightarrow0^{+}}\frac{\vert g(s)\vert }{s^{p-1}}< +\infty\quad\mbox{if } (K_{2}) \mbox{ holds}. $$

\((g_{2})\): g has a quasicritical growth, that is,

$$\limsup_{s\rightarrow+\infty}\frac{g(s)}{s^{2^{*}-1}}< +\infty, $$

\((g_{3})\): there exists \(\theta>2\) such that

$$2\theta G(s)\leq sg(s),\quad \forall s>0, $$

\((g_{4})\): there exists \(\nu>\frac{1}{1-2\Vert K\Vert _{L^{\infty}}}\) such that

$$\frac{1}{2\nu}g(s)s-G(s)\geq-V(x)\vert s\vert ^{2},\quad \forall s>0. $$

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

$$g(s)=c_{1}s\vert s\vert ^{\kappa-1}, $$

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.

Preliminaries

First, in this paper, we consider the Sobolev space

$$ E= \biggl\{ u\in D^{1,2}\bigl(\mathbb{R}^{N}\bigr): \int_{\mathbb {R}^{N}}V(x)\vert u\vert ^{2}\,dx< \infty \biggr\} $$
(2.1)

endowed with the norm

$$\Vert u\Vert _{E}=\biggl( \int_{\mathbb{R}^{N}}\bigl(\vert \nabla u\vert ^{2}+V(x) \vert u\vert ^{2}\bigr)\,dx\biggr)^{1/2}. $$

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

$$\Vert u\Vert _{2^{*}}\leq C\Vert u\Vert _{D^{1,2}},\quad \forall u\in D^{1,2}. $$

Next, we establish the variational structure of problem (1.1). We observe that the natural energy functional associated with (1.1) is

$$ J(u)=\frac{1}{2} \int_{\mathbb{R}^{N}}\bigl(1+2u^{2}\bigr)\vert \nabla u\vert ^{2}\,dx+\frac{1}{2} \int_{\mathbb{R}^{N}}V(x)u^{2}\,dx- \int_{\mathbb {R}^{N}}K(x)G(u)\,dx, $$
(2.2)

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

$$ f'(t)=\frac{1}{\sqrt{1+2f^{2}(t)}}\quad \mbox{on } [0,+\infty)\quad \mbox{and}\quad f(t)=-f(-t) \quad\mbox{on } (-\infty,0] $$
(2.3)

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

$$\bigl\vert f(t)\bigr\vert \geq \textstyle\begin{cases} C\vert t\vert & \textit{if } \vert t\vert \leq1;\\ C\vert t\vert ^{\frac{1}{2}}& \textit{if } \vert t\vert \geq1; \end{cases} $$

\((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:

$$ I(v)=J\bigl(f(v)\bigr)=\frac{1}{2} \int_{\mathbb{R}^{N}}\vert \nabla v\vert ^{2}+V(x)\bigl\vert f(v)\bigr\vert ^{2}\,dx- \int_{\mathbb{R}^{N}}K(x)G\bigl(f(v)\bigr)\,dx, $$
(2.4)

which is well defined on E and is of \(C^{1}\) class, and, for all \(\omega\in E\), we have

$$ \bigl\langle I'(v),\omega\bigr\rangle = \int_{\mathbb{R}^{N}}\nabla v\nabla \omega \,dx+ \int_{\mathbb{R}^{N}}V(x)f(v)f'(v)\omega \,dx- \int_{\mathbb {R}^{N}}K(x)g\bigl(f(v)\bigr)f'(v)\omega \,dx. $$
(2.5)

Remark 2.2

Note that the functional \(\Psi:E\rightarrow \mathbb{R}\), given by

$$\Psi(v)= \int_{\mathbb{R}^{N}}\bigl(\vert \nabla v\vert ^{2}+V(x)f^{2}(v) \bigr)\,dx, $$

is a \(C^{1}\) function and

$$\Psi(v)\leq \Vert v\Vert ^{2},\quad \mbox{for all } v\in E. $$

Moreover, there is a constant \(\beta>0\) such that

$$\beta \Vert v\Vert ^{2}\leq\Psi(v)+\bigl(\Psi(v) \bigr)^{2^{*}/2},\quad \mbox{for all } v\in E. $$

We note that the critical points of I are weak solutions of the problem

$$ \textstyle\begin{cases} -\Delta v+V(x)f(v)f'(v)=K(x)g(f(v))f'(v) &\mbox{in } \mathbb{R}^{N},\\ v\in D^{1,2}(\mathbb{R}^{N}),& v>0. \end{cases} $$
(2.6)

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

$$g(t)=0,\quad \forall t\leq0. $$

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

$$ I(v_{n})\rightarrow c \quad\mbox{and}\quad \bigl(1+\Vert v_{n} \Vert _{E}\bigr)\bigl\Vert I'(v_{n})\bigr\Vert \rightarrow0\quad \mbox{as } n\rightarrow\infty. $$
(3.1)

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

$$L^{r}_{k}\bigl(\mathbb{R}^{N}\bigr)= \biggl\{ v: \mathbb{R}^{N}\rightarrow\mathbb {R}:v\textit{ is measurable and } \int_{\mathbb {R}^{N}}K(x)\vert v\vert ^{r}< \infty \biggr\} . $$

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

$$\lim_{n\rightarrow+\infty} \int_{\mathbb{R}^{N}}K(x)G(v_{n})\,dx= \int _{\mathbb{R}^{N}}K(x)G(v)\,dx $$

and

$$\lim_{n\rightarrow+\infty} \int_{\mathbb {R}^{N}}K(x)g(v_{n})v_{n}\,dx= \int_{\mathbb{R}^{N}}K(x)g(v)v\,dx. $$

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

$$I(v_{n})\rightarrow c \quad\mbox{and}\quad \bigl(1+\Vert v_{n} \Vert _{E}\bigr)\bigl\Vert I'(v_{n})\bigr\Vert \rightarrow0 \quad\mbox{as } n\rightarrow\infty, $$

that is,

$$ I(v_{n})=\frac{1}{2} \int_{\mathbb{R}^{N}}\bigl(\vert \nabla v_{n}\vert ^{2}+V(x)f^{2}(v_{n})\bigr)\,dx- \int_{\mathbb {R}^{N}}K(x)G\bigl(f(v_{n})\bigr)\,dx=c+o_{n}(1). $$
(3.2)

For \(\omega\in E\), we have

$$\bigl\langle I'(v_{n}),\omega\bigr\rangle = \int_{\mathbb{R}^{N}}\nabla v_{n}\nabla\omega \,dx+ \int_{\mathbb {R}^{N}}V(x)f(v_{n})f'(v_{n}) \omega \,dx- \int_{\mathbb {R}^{N}}K(x)g\bigl(f(v_{n})\bigr)f'(v_{n}) \omega \,dx. $$

Taking \(\omega=\omega_{n}=\frac{f(v_{n})}{f'(v_{n})}\), by property \((6)\) of Lemma 2.1, we have

$$\vert \omega_{n}\vert \leq2\vert v_{n}\vert \quad\mbox{and}\quad \vert \nabla\omega_{n}\vert \leq 2\vert \nabla v_{n}\vert $$

and thus \(\omega_{n}\in E\) and \(\Vert \omega_{n}\Vert \leq2\Vert v_{n}\Vert \).

From (3.1), we obtain

$$\bigl\langle I'(v_{n}),\omega_{n}\bigr\rangle =o_{n}(1), $$

that is,

$$ \Psi(v_{n})+ \int_{\mathbb{R}^{N}}\frac {2f^{2}(v_{n})}{1+2f^{2}(v_{n})}\vert \nabla v_{n} \vert ^{2}\,dx- \int_{\mathbb {R}^{N}}K(x)g\bigl(f(v_{n})\bigr)f(v_{n})\,dx=o_{n}(1). $$
(3.3)

It follows from (3.2) and (3.3) that

$$I(v_{n})-\frac{1}{2\nu}\bigl\langle I'(v_{n}), \omega_{n}\bigr\rangle =c+o_{n}(1), $$

and thus

$$ \biggl(\frac{1}{2}-\frac{1}{2\nu}\biggr)\Psi(v_{n})+ \int_{\mathbb {R}^{N}}\biggl[\frac{1}{2\nu}K(x)g\bigl(f(v_{n}) \bigr)f(v_{n})-K(x)G\bigl(f(v_{n})\bigr)\biggr]\,dx\leq c+o_{n}(1). $$
(3.4)

Combining (3.4) with \((g_{4})\), we get

$$\biggl(\frac{1}{2}-\frac{1}{2\nu}\biggr)\Psi(v_{n})- \int_{\mathbb {R}^{N}}K(x)V(x)\bigl\vert f(v_{n})\bigr\vert ^{2}\,dx\leq c+o_{n}(1), $$

that is,

$$\begin{aligned} \biggl(\frac{1}{2}-\frac{1}{2\nu}\biggr)\Psi(v_{n})& \leq c+ \int _{\mathbb{R}^{N}}K(x)V(x)\bigl\vert f(v_{n})\bigr\vert ^{2}\,dx+o_{n}(1) \\ &\leq c+\bigl\Vert K(x)\bigr\Vert _{L^{\infty}} \int_{\mathbb {R}^{N}}V(x)\bigl\vert f(v_{n})\bigr\vert ^{2}\,dx+o_{n}(1) \\ &\leq c+\bigl\Vert K(x)\bigr\Vert _{L^{\infty}}\Psi(v_{n})+o_{n}(1). \end{aligned}$$

So, we have

$$ \biggl(\frac{1}{2}-\frac{1}{2\nu}-\bigl\Vert K(x)\bigr\Vert _{L^{\infty}}\biggr)\Psi(v_{n})\leq c+o_{n}(1). $$
(3.5)

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

$$\begin{aligned} \begin{aligned} &v_{n}\rightharpoonup v,\quad\mbox{weakly in }E,\qquad v_{n} \rightarrow v\quad\mbox{in } L^{p}_{\mathrm{loc}}\bigl( \mathbb{R}^{N}\bigr),p\in[1,2^{*}),\\ &v_{n}(x) \rightarrow v(x), \quad\mbox{a.e. in }\mathbb{R}^{N}. \end{aligned} \end{aligned}$$
(3.6)

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}\),

$$\begin{aligned} &\limsup_{n\rightarrow\infty} \int_{B_{2r}^{c}}\bigl(\vert \nabla v_{n}\vert ^{2}+V(x)\bigl\vert f(v_{n})\bigr\vert ^{2} \bigr)\,dx< \epsilon, \end{aligned}$$
(3.7)
$$\begin{aligned} &\limsup_{n\rightarrow\infty} \int_{B_{2r}^{c}}\bigl(\vert \nabla v_{n}\vert ^{2}+V(x)f(v_{n})f'(v_{n})v_{n} \bigr)\,dx< \epsilon, \end{aligned}$$
(3.8)

and

$$\begin{aligned} &\lim_{n\rightarrow\infty} \int_{\mathbb {R}^{N}}V(x)\bigl\vert f(v_{n})\bigr\vert ^{2}\,dx= \int_{\mathbb{R}^{N}}V(x)\bigl\vert f(v)\bigr\vert ^{2}\,dx, \end{aligned}$$
(3.9)
$$\begin{aligned} &\lim_{n\rightarrow\infty} \int_{\mathbb {R}^{N}}V(x)f(v_{n})f'(v_{n})v_{n}\,dx= \int_{\mathbb {R}^{N}}V(x)f(v)f'(v)v\,dx. \end{aligned}$$
(3.10)

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

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

see [28, 29]

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

$$\begin{aligned} c=\inf_{\gamma\in\Gamma}\max_{t\in[0,1]}I\bigl(\gamma(t) \bigr), \end{aligned}$$
(4.1)

where

$$\Gamma= \bigl\{ \gamma\in C\bigl([0,1],X\bigr);\gamma(0)=0\textit{ and } I\bigl( \gamma(1)\bigr)< 0 \bigr\} . $$

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

$$\Sigma_{\rho}= \bigl\{ v\in E; \Psi(v)=\rho^{2} \bigr\} , $$

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

$$\begin{aligned} \int_{\mathbb{R}^{N}}K(x)G\bigl(f(v)\bigr)&\leq\bigl\Vert K(x)\bigr\Vert _{L^{\infty }} \int_{\mathbb{R}^{N}}G\bigl(f(v)\bigr)\,dx \\ &\leq\bigl\Vert K(x)\bigr\Vert _{L^{\infty}} \int_{\mathbb{R}^{N}}\epsilon V(x)\bigl\vert f(v)\bigr\vert ^{2}+C_{\epsilon}\bigl\vert f(v)\bigr\vert ^{2^{*}}\,dx \\ &\leq\bigl\Vert K(x)\bigr\Vert _{L^{\infty}}\epsilon\bigl(\Psi(v)\bigr)+ \bigl\Vert K(x)\bigr\Vert _{L^{\infty }}C_{\epsilon}S\biggl( \int_{\mathbb{R}^{N}}\vert \nabla v\vert ^{2}\,dx \biggr)^{\frac {2^{*}}{2}} \\ &\leq\bigl\Vert K(x)\bigr\Vert _{L^{\infty}}\epsilon\Psi(v)+\bigl\Vert K(x)\bigr\Vert _{L^{\infty }}C_{\epsilon}S\bigl(\Psi(v) \bigr)^{\frac{2^{*}}{2}}, \end{aligned}$$

from which it follows that

$$I(v)\geq\frac{1}{2}\rho^{2}-\epsilon\bigl\Vert K(x)\bigr\Vert _{L^{\infty}}\rho ^{2}-C_{\epsilon}S\bigl\Vert K(x)\bigr\Vert _{L^{\infty}}\rho^{2^{*}}. $$

Since \(2^{*}>2\), it implies that, for \(\rho>0\) sufficiently small, there exists \(\alpha>0\) such that

$$I(v)\geq\alpha>0, \quad\forall v\in\Sigma_{\rho}. $$

Thus, condition \((I_{1})\) is satisfied.

Now, let us show that there is \(\varphi\in E\) such that

$$ I(t\varphi)\rightarrow-\infty\quad\mbox{as } t\rightarrow+\infty . $$
(4.2)

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

$$I(t\varphi)=\frac{1}{2} \int_{\mathbb{R}^{N}}\bigl\vert \nabla(t\varphi )\bigr\vert ^{2}+V(x)\bigl\vert f(t\varphi)\bigr\vert ^{2}- \int_{\mathbb{R}^{N}}K(x)G\bigl(f(t\varphi)\bigr)\,dx, $$

by hypothesis \((g_{3})\), there exist positive constants \(C_{1}\) and \(C_{2}\) such that

$$G(t)\geq C_{1}\vert t\vert ^{2\theta}-C_{2},\quad \forall t\in\mathbb{R}, $$

hence, it follows from the above inequality and property \((3)\) of Lemma 2.1 that

$$\begin{aligned} I(t\varphi)&\leq\frac{t^{2}}{2} \int_{\mathbb {R}^{N}}\vert \nabla\varphi \vert ^{2}+V(x) \vert \varphi \vert ^{2}\,dx- \int _{B_{1}}K(x)G\bigl(f(t\varphi)\bigr)\,dx \\ &\leq\frac{t^{2}}{2} \int_{\mathbb{R}^{N}}\vert \nabla\varphi \vert ^{2}+V(x) \vert \varphi \vert ^{2}\,dx- \int_{B_{1}}C_{1}K(x)\bigl\vert f(t\varphi )\bigr\vert ^{2\theta}+C_{2} \int_{B_{1}}K(x)\,dx. \end{aligned}$$
(4.3)

Since the function \(\frac{f(t)}{t}\) is decreasing for \(t>0\) and

$$0\leq t\varphi(x)\leq t, \quad\forall x\in B_{1}\mbox{ and }t>0, $$

we have

$$f(t)\varphi(x)\leq f\bigl(t\varphi(x)\bigr), \quad\forall x\in B_{1}\mbox{ and }t>0, $$

which together with (4.3) implies

$$\begin{aligned} I(t\varphi)\leq{}& t^{2}\biggl[\frac{1}{2} \int_{\mathbb{R}^{N}}\bigl(\vert \nabla \varphi \vert ^{2}+V(x)\varphi^{2}\bigr)\,dx-C_{1} \frac{f^{2\theta }(t)}{t^{2}} \int_{B_{1}}\vert \varphi \vert ^{2\theta}\,dx \\ &{}+ \frac {C_{3}}{t^{2}} \int_{B_{1}}K(x)\,dx\biggr]. \end{aligned}$$
(4.4)

By properties (9) of Lemma 2.1 and provided that \(\theta>2\), we conclude that

$$\lim_{t\rightarrow+\infty}\frac{f^{2\theta}(t)}{t^{2}}=+\infty, $$

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

  1. 1.

    Kurihura, S: Large-amplitude quasi-solitons in superfluids films. J. Phys. Soc. Jpn. 50, 3262-3267 (1981)

  2. 2.

    Ritchie, B: Relativistic self-focusing and channel formation in laser-plasma interactions. Phys. Rev. E. 50, 687-689 (1994)

  3. 3.

    Bass, F, Nasanov, NN: Nonlinear electromagnetic-spin waves. Phys. Rep. 189, 165-223 (1990)

  4. 4.

    Hasse, RW: A general method for the solution of nonlinear soliton and kink Schrödinger equation. Z. Phys. B. 37, 83-87 (1980)

  5. 5.

    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)

  6. 6.

    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

  7. 7.

    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)

  8. 8.

    Liu, H, Chen, H: Multiple solutions for a nonlinear Schrödinger-Poisson system with sign-changing potential. Comput. Math. Appl. 71, 1405-1416 (2016)

  9. 9.

    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)

  10. 10.

    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)

  11. 11.

    Sun, M, Su, J, Zhao, L: Solutions of a Schrödinger-Poisson system with combined nonlinearities. J. Math. Anal. Appl. 442, 385-403 (2016)

  12. 12.

    Repovs, D: Stationary waves of Schrödinger-type equations with variable exponent. Anal. Appl. 13(6), 645-661 (2015)

  13. 13.

    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)

  14. 14.

    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)

  15. 15.

    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)

  16. 16.

    Fang, X, Szulkin, A: Multiple solutions for a quasilinear Schrödinger equation. J. Differ. Equ. 254, 2015-2032 (2013)

  17. 17.

    Liu, X, Liu, J, Wang, Z: Ground states for quasilinear Schrödinger equations with critical growth. Calc. Var. 46, 641-669 (2013)

  18. 18.

    Liu, J, Wang, Y, Wang, Z: Soliton solutions for quasilinear Schrödinger equations II. J. Differ. Equ. 187, 473-493 (2003)

  19. 19.

    Liu, J, Wang, Z: Soliton solutions for quasilinear Schrödinger equations. Proc. Am. Math. Soc. 131, 441-448 (2003)

  20. 20.

    Shi, H, Chen, H: Generalized quasilinear asymptotically periodic Schrödinger equations with critical growth. Comput. Math. Appl. 71, 849-858 (2016)

  21. 21.

    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)

  22. 22.

    Wu, X: Multiple solutions for quasilinear Schrödinger equations with a parameter. J. Differ. Equ. 256, 2619-2632 (2014)

  23. 23.

    Aires, JFL, Souto, MAS: Existence of solutions for a quasilinear Schrödinger equation with vanishing potentials. J. Math. Anal. Appl. 416, 924-946 (2014)

  24. 24.

    Shi, H, Chen, H: Positive solutions for generalized quasilinear Schrödinger equations with potential vanishing at infinity. Appl. Math. Lett. 61, 137-142 (2016)

  25. 25.

    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)

  26. 26.

    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)

  27. 27.

    Colin, M, Jeanjean, L: Solutions for a quasilinear Schrödinger equation: a dual approach. Nonlinear Anal. 56, 213-226 (2004)

  28. 28.

    Silva, EAB, Vieira, GF: Quasilinear asymptotically periodic Schrödinger equations with subcritical growth. Nonlinear Anal. 72, 2935-2949 (2010)

  29. 29.

    Silva, EAB, Vieira, GF: Quasilinear asymptotically periodic Schrödinger equations with critical growth. Calc. Var. 39, 1-33 (2010)

Download references

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

Correspondence to Haibo Chen.

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.

Reprints and Permissions

About this article

Verify currency and authenticity via CrossMark

MSC

  • 35B38
  • 35G99

Keywords

  • quasilinear Schrödinger equation
  • positive solution
  • vanishing potentials
  • variational method