1 Introduction
We consider modified quasilinear Schrödinger equations in
$\mathbb {R}^N$
of the form
where
$\alpha \ge 0$
,
$V\in C(\mathbb {R}^N)$
is the potential,
$g\in C(\mathbb {R}^N\times \mathbb {R})$
is the nonlinearity and
$\Delta ^2=\Delta (\Delta )$
is the biharmonic operator.
Equation (1.1) with
$\alpha =0$
is a quasilinear Schrödinger equation in
$\mathbb {R}^N$
, that is,
These equations arise from seeking standing waves
$\psi (t,x)=e^{-i\omega t}u(x)$
and
$\rho (s)=s$
for the time-dependent quasilinear Schrödinger equation
where
$\psi :\mathbb {R}^N\times \mathbb {R}\rightarrow \mathbb {C}$
is the time-dependent wave function,
$U:\mathbb {R}^N\rightarrow \mathbb {R}$
is an external potential,
$\rho :\mathbb {R}^N\rightarrow \mathbb {R}^+$
is an appropriate function and
$\tilde {g}(|\psi |)\psi $
is the interaction effect among particles. Equation (1.3) models self-trapped electrons in quadratic or hexagonal lattices [Reference Brizhik, Eremko, Piette and Zakrzewski2] and the superfluid film equation in plasma physics [Reference Kurihara8]. Note that in (1.2),
To the best of our knowledge, the first studies of (1.2) involving variational methods were by Poppenberg et al. [Reference Poppenberg, Schmitt and Wang18] for
$N=1$
and Liu and Wang [Reference Liu and Wang10] for higher dimensions with
$V(x)$
radially symmetric. The existence results are obtained by constrained minimisation arguments. For higher dimensions and
$V(x)$
nonradially symmetric, formally, the solutions of (1.2) should be critical points of the functional
However, the functional J may not be defined for every
$u\in H^1(\mathbb {R}^N)$
. Liu et al. [Reference Liu, Wang and Wang11] and Colin and Jeanjean [Reference Colin and Jeanjean5] introduced a nonlinear transformation f so that if
$v\in H^1(\mathbb {R}^N)$
is a critical point of
$\phi : H^1(\mathbb {R}^N)\rightarrow \mathbb {R}$
, where
then
$u=f(v)$
is a solution of (1.2). Using this transformation, many results on (1.2) have been obtained (see, for example, [Reference Fang and Szulkin6, Reference Liu and Zhou16, Reference Wu21, Reference Yang22]).
In all these papers and many others on the quasilinear Schrödinger equation (1.2), the nonlinearity g is superlinear at zero, that is,
and satisfies other conditions such as the classical Ambrosetti–Rabinowitz condition. These conditions are needed to ensure the boundedness of Palais–Smale (PS) sequences. When the nonlinearity g is sublinear at zero (that is, the limit in (1.4) is
$+\infty $
), Zhang et al. [Reference Zhang, Tang and Chen24] considered the case
$V(x)=0$
with the nonlinearity
where
$f(x,u)$
is sublinear near the origin with respect to u. Bao and Cheng [Reference Bao and Cheng1] studied (1.2) when the nonlinearity g is sublinear and the potential V is allowed to be sign-changing. They obtained a sequence of solutions
$\{v_k\}$
for the truncated problem with an odd and subcritical
$g_h$
in place of
$\tilde {g}:=g+V_0u$
, where
$g_h(x,f(v))= \tilde {g}(x,f(v))h(f(v))$
for
$|v|$
small and h is an even function. They then applied an
$L^{\infty }$
-estimate to show that
$|v_k|_{\infty }\rightarrow 0$
and concluded that the
$u_k=f(v_k)$
for k large are solutions of the original problem. For other recent results where the nonlinearity is sublinear at zero, we refer to [Reference Liu and Zhao13] for semilinear Schrödinger equations and to [Reference Liu12, Reference Liu and Zhao14] for
$p(x)$
-Laplacian problems.
In this paper, we assume the nonlinearity g is sublinear at zero (assumption
$(g_2)$
below) and do not require any assumption at infinity except for subcritical growth. The potential V is allowed to be sign-changing, which makes it difficult to prove the boundedness of (PS) sequences. Motivated by these observations and a recent result of He and Wu [Reference He and Wu7] on the semilinear elliptic boundary value problem
for a bounded domain
$\Omega \subset \mathbb {R}^N$
, we study (1.2) by using the truncation method and Liu and Wang’s variant of Clark’s theorem [Reference Liu and Wang17, Theorem 1.1]. It is worth noting that our work does not require the
$L^\infty $
-estimate used in [Reference Bao and Cheng1].
We make the following assumptions on V and g:
-
(V) $V\in C(\mathbb {R}^{N})$
and for some
$q\in (1,2)$
and some
$r>0$
, $$ \begin{align*} V>0\ \text{in}~\mathbb{R}^N\setminus B_r, \quad V^{-q/(2-q)}\in L^1(\mathbb{R}^N\setminus B_r); \end{align*} $$
-
(g 1) $g\in C(\mathbb {R})$
is odd and sublinear at zero, that is, $$ \begin{align*} \lim_{t\rightarrow0}\frac{g(t)t}{t^q}=a \quad\text{for some}~a>0; \end{align*} $$
-
(g 2) $g\in C(\mathbb {R})$
is subcritical, that is, $$ \begin{align*} \lim_{|t|\rightarrow\infty}\frac{g(t)t}{|t|^{2\cdot2^*}}=0, \end{align*} $$where the critical Sobolev exponent $2^*=2N/(N-2)$
for
$N\ge 3$
and
$2^*=\infty $
for
$N=2$
.
Before stating our results, we introduce a suitable function space in which we will find critical points of
$\phi $
. Since V can be negative inside the big ball
$B_r$
, as in [Reference Liu and Zhao13, page 1872], we choose
$m\ge 1$
such that
$\tilde {V}(x)=V(x)+m\ge 1$
for all
$x\in \mathbb {R}^N$
. We equip the subspace
with the inner product
and the corresponding norm
$\Vert u\Vert _X=(u, u)^{1/2}_X$
. Then, X is a Hilbert space and, by Liu and Zhao [Reference Liu and Zhao13, Lemma 2.1], there is a compact embedding
$X\hookrightarrow L^s(\mathbb {R}^N)$
for
$s\in [q,2^*)$
. We are now ready to state our main result.
Theorem 1.1. Assume
$(V)$
,
$(g_1)$
and
$(g_2)$
are satisfied. Then, the problem (1.2) possesses a sequence of nontrivial solutions
$u_n$
such that
$J(u_n)\leq 0$
,
$J(u_n)\rightarrow 0$
.
Remark 1.2. The assumption
$(V)$
allows the potential V to be sign-changing. However,
$\tilde {V}$
and
$\tilde {g}(t)=g(t)+mt$
satisfy the assumptions
$(V)$
,
$(g_1)$
and
$(g_2)$
. Thus, (1.2) is equivalent to the equation
Using the same idea, we obtain a similar result for the fourth-order quasilinear Schrödinger equations of the form (taking
$\alpha =1$
,
$3\leq N\leq 5$
in (1.1))
which was used to model travelling waves in suspension bridges by Lazer and McKennna [Reference Lazer and McKenna9]. Since the first work of Chen et al. [Reference Chen, Liu and Wu3], the superlinear fourth-order quasilinear Schrödinger equation (1.5) has been an active field of research (see, for example, [Reference Liu and Zhao15, Reference Shen and Yang19, Reference Yin and Jiang23]). However, it seems there are few results involving a nonlinearity that is sublinear at zero.
At first glance, (1.5) seems more complicated than (1.2) because of the biharmonic term
$\Delta ^2u$
. Actually, (1.5) has a variational structure and does not require a nonlinear transformation like the functional in (1.2). However, we will be seeking the critical points of a functional I in
$H^2(\mathbb {R}^N)$
, so that we must require g to have subcritical growth:
-
(g 3) $g\in C(\mathbb {R})$
is subcritical, that is, $$ \begin{align*} \lim_{|t|\rightarrow\infty}\frac{g(t)t}{|t|^{2_*}}=0\text{,} \end{align*} $$where $2_*$
is the critical Sobolev exponent for
$H^2(\mathbb {R}^N)$
, namely
$2_*=+\infty $
for
$N\leq 4$
and
$2_*=2N/(N-4)$
for
$N>4$
.
Under the assumptions
$(V)$
,
$(g_1)$
and
$(g_3)$
, we can show that the functional I, where
$I: H^2(\mathbb {R}^N)\rightarrow \mathbb {R}$
is given by
is well defined and is of class
$C^1$
, and that u solves (1.5) if and only if it is a critical point of I.
Since the potential V is allowed to be sign-changing, as for (1.2), we introduce the appropriate function space for (1.5). There exists a constant
$m\ge 1$
such that
$\tilde {V}(x)=V(x)+m\ge 1$
and
$\tilde {g}(t)=g(t)+mt$
. We equip the subspace
with the inner product
and the corresponding norm
$\Vert u\Vert _E=(u, u)^{1/2}_E$
. Then, E is a Hilbert space.
Theorem 1.3. Assume
$(V)$
,
$(g_1)$
and
$(g_3)$
are satisfied. Then, (1.5) possesses a sequence of nontrivial solutions
$u_n$
such that
$I(u_n)\leq 0$
,
$I(u_n)\rightarrow 0$
.
Remark 1.4. For (1.5), we make a remark similar to Remark 1.2. Equation (1.5) is equivalent to the equation
To prove Theorems 1.1 and 1.3, it suffices to find a sequence of critical points of
$\phi $
and I, respectively. To this end, we need the following version of Clark’s theorem due to Liu and Wang [Reference Liu and Wang17].
Proposition 1.5 [Reference Liu and Wang17, Theorem 1.1]
Let X be a Banach space and
$\Phi \in C^1(X,\mathbb {R})$
be an even coercive functional satisfying the
$(\mbox {PS})_c$
condition for
$c\leq 0$
and
$\Phi (0)=0$
. If for any
$k\in \mathbb {N}$
there is a k-dimensional subspace
$X_k$
and
$\delta _k>0$
such that
where
$S_r=\{u\in X\mid \Vert u\Vert =r\}$
for
$r>0$
, then
$\Phi $
has a sequence of critical points
$u_k\neq 0$
such that
$\Phi (u_k)\leq 0$
,
$u_k\rightarrow 0$
.
2 Proof of Theorem 1.1
To prove Theorem 1.1, we start by recalling the nonlinear transformation f and some of its properties. As in [Reference Colin and Jeanjean5], we make a change of variables by
$u=f(v)$
, where f is the odd function on
$[0,+\infty )$
defined by
Then, f has the following properties whose proof can be found in [Reference Chen and Wu4, Reference Colin and Jeanjean5].
Proposition 2.1. The function f has the following properties:
-
(a) $f\in C^{\infty }(\mathbb {R})$
is strictly increasing and therefore invertible; -
(b) $|f(t)| \leq |t|$
and
$|f^{\prime }(t)| \leq 1$
for all
$t \in \mathbb {R}$
, and $$ \begin{align*} f^{\prime}(0)=\lim_{t\rightarrow0}\frac{f(t)}{t}=1; \end{align*} $$
-
(c) for all $t>0$
, $$ \begin{align*} \frac{f(t)}{2} \leq t f^{\prime}(t) \leq f(t); \end{align*} $$
-
(d) for all $t \in \mathbb {R}$
,
$f^2(t)\ge f(t)f^{\prime }(t)t$
and
$|f(t)| \leq 2^{1 / 4}|t|^{1 / 2}$
; -
(e) there exists a positive constant C such that
$$ \begin{align*} |f(t)| \geq \begin{cases}C|t| & \mbox{for } |t| \leq 1, \\ C|t|^{1 / 2} & \mbox{for } |t| \geq 1; \end{cases} \end{align*} $$
-
(f) for each $\vartheta>0$
, there exists a positive constant
$C_\vartheta $
such that
$f^2(\vartheta t)\leq C_\vartheta f^2(t)$
.
To study the functional
$\phi $
, by Remark 1.2, we set
and rewrite
$\phi :X\rightarrow \mathbb {R}$
in the form
To prove Theorem 1.1, we shall apply Proposition 1.5 to find a sequence
$\{v_n\}$
of critical points for
$\phi $
. We have not imposed any conditions on g for
$|t|$
large, except for the subcritical growth condition
$(g_2)$
which means that it is not possible to verify the
$(\mbox {PS})_c$
condition for
$\phi $
. To overcome this difficulty, we use the truncation method of He and Wu [Reference He and Wu7].
Let
$\eta :[0,\infty )\rightarrow [0,1]$
be a decreasing
$C^{\infty }$
-function such that
$|\eta ^\prime (t)|\leq 2$
,
We consider the truncated functional
$\Phi :X\rightarrow \mathbb {R}$
, given by
For
$v,w\in X$
, the derivative of
$\Phi $
is given by
To show that
$\Phi $
is coercive, we consider the functional
$\mathcal {B}:X\rightarrow \mathbb {R}$
given by
The following result of Silva and Silva [Reference Silva and Silva20, Proposition 3.6] is crucial in our argument.
Proposition 2.2 [Reference Silva and Silva20]
If
$(V)$
holds, there are constants
$R>0$
and
$\xi>0$
such that
Lemma 2.3. The functional
$\Phi $
is coercive.
Proof. If
$\Vert v\Vert _X\ge 2$
, then
$\eta (\Vert v\Vert ^2_X)=0$
. Hence, by Proposition 2.2,
which implies that
$\Phi $
is coercive.
Lemma 2.4. The functional
$\Phi $
satisfies
$(\mbox {PS})_c$
for
$c\leq 0$
.
Proof. Let
$\{v_n\}\subset X$
be a
$(\mbox {PS})_c$
sequence of
$\Phi $
with
$c\leq 0$
, that is,
Then, for n large,
Hence,
Because
$\eta ^\prime (\Vert v_n\Vert ^2_X)\leq 0$
and
$\underline {\lim } \, (v_n,v_n-v)_X=\underline {\lim } \, \Vert v_n\Vert ^2_X-\Vert v\Vert ^2_X\ge 0$
, up to a subsequence, by the boundedness of
$\{v_n\}$
, we may assume that
Since
$\Phi $
is coercive,
$\{v_n\}$
is bounded in X. Up to a subsequence, by [Reference Liu and Zhao13, Lemma 2.1], we may assume
for
$ s\in [q,2^*)$
. Using the conditions
$(g_1)$
and
$(g_2)$
as well as the properties of f near zero and infinity, for any
$\varepsilon>0$
, there is
$C_{\varepsilon }>0$
such that
Since
$|f^\prime (t)|\leq 1$
and
$0\leq \eta (t)\leq 1$
, Hölder’s inequality gives
Because
$\{v_n\}$
is bounded in
$L^{2^*}$
and
$v_n\rightarrow v$
in
$L^q$
, we obtain
By letting
$\varepsilon \rightarrow 0$
,
Similarly,
Combining (2.5) and (2.6) yields
As in the proof of [Reference Fang and Szulkin6, Lemma 3.11], we can prove that there is a constant
$C>0$
such that
Consequently, from (2.2), (2.4), (2.7) and (2.8),
It follows that
$v_n\rightarrow v$
in X and
$\Phi $
satisfies
$(\mbox {PS})_c$
for
$c\leq 0$
.
Proof of Theorem 1.1
Since
$\Phi (v)=\phi (v)$
for
$v\in B_1$
(the unit ball in X), it suffices to show that
$\Phi $
has a sequence of critical points
$\{v_k\}\subset X$
satisfying
$v_k\rightarrow 0$
.
From assumptions
$(g_1)$
,
$(g_2)$
and Remark 1.2, there is
$\Lambda>0$
such that
Let
$k\in \mathbb {N}$
and
$X_k$
be an arbitrary k-dimensional subspace of X. Since all norms on
$X_k$
are equivalent, there is
$\delta \in (-1,1)$
such that
$\Vert v\Vert _X\leq \delta $
implies
$|v|_{\infty }\leq 1$
. By Proposition 2.1(b),
$|f(v)|_{\infty }\leq 1$
. From this and Proposition 2.1(e), we deduce from (2.9) that
Hence, for
$~v\in X_k\cap B_{\delta }$
, by Proposition 2.1(b),
for some constant
$C>0$
. Since
$q\in (1,2)$
, it is clear that there is
$\delta _k\in (0,\delta )$
such that
However, we have observed that the
$C^1$
-functional
$\Phi $
is even, coercive and satisfies
$(\mbox {PS})_c$
for
$c\leq 0$
. By Proposition 1.5,
$\Phi $
has a sequence of critical points
$\{v_k\}$
such that
$v_k\rightarrow 0$
in X. Let
$u_k=f(v_k)$
. Since
$\Phi (v)=\phi (v)=J(f(v))$
, it follows that
$\{u_k\}$
is a sequence of nontrivial solutions of (1.2) such that
$J(u_k)\leq 0$
,
$J(u_k)\rightarrow 0$
.
3 Proof of Theorem 1.3
In this section, our working space is
$E\subset H^2(\mathbb {R}^N)$
defined by (1.6). By Remark 1.4, the functional
$I:E\rightarrow \mathbb {R}$
can be rewritten as
The critical points of I are weak solutions of (1.5). Similarly to (2.1), we consider a truncated functional
$\Psi :E\rightarrow \mathbb {R}$
given by
For
$u,v\in E$
, the derivative of
$\Psi $
is given by
To find the critical points of
$\Psi $
, we use the the following result of Liu and Zhao [Reference Liu and Zhao15].
Proposition 3.1 [Reference Liu and Zhao15, (2.3)]
There is a constant
$\kappa>0$
such that for all
$u\in E$
,
Lemma 3.2. Under the assumption
$(V)$
, the Hilbert space E can be compactly embedded into
$ L^s(\mathbb {R}^N)$
for
$s\in [q,2_*)$
.
Proof. By Liu and Zhao [Reference Liu and Zhao13, Lemma 2.1], for
$s\in [q,2^*)$
, the embedding
${X\hookrightarrow L^s(\mathbb {R}^N)}$
is compact. The continuous embedding
$E\hookrightarrow X$
implies that the embedding
${E\hookrightarrow L^q(\mathbb {R}^N)}$
is compact. Since E also embeds into
$L^{2_*}(\mathbb {R}^N)$
, by the interpolation inequality, we have
$|u|_s\leq |u|^\theta _q|u|^{1-\theta }_{2_*}$
for
$\theta \in (0,1)$
satisfying
Consequently, the embedding
$E\hookrightarrow L^s(\mathbb {R}^N)$
is compact for
$s\in [q,2_*)$
.
Lemma 3.3. The functional
$\Phi $
is coercive and satisfies
$(\mbox {PS})_c$
for
$c\leq 0$
.
Proof. Let
$\{u_n\}\subset E$
be a sequence such that
$\Vert u_n\Vert _E\rightarrow \infty $
. For n large,
$\Vert u_n\Vert _E\ge 2$
and
$\eta (\Vert u\Vert ^2_E)=0$
. Thus,
This implies that
$\Psi $
is coercive.
To verify
$(\mbox {PS})_c$
for
$c\leq 0$
, take
$\{u_n\}\subset E$
such that
$\Psi (u_n)\rightarrow c\leq 0$
,
$\Psi ^\prime (u_n)\rightarrow 0$
. Then, for n large,
We claim that
Indeed, if
$\Vert u_n\Vert _E\leq 1$
, then
$\eta ^\prime (\Vert u_n\Vert ^2_E)=0$
and (3.3) is true. If
$\Vert u_n\Vert _E\ge 1$
, then the right-hand side of (3.2) is negative, and so
So again, we have (3.3) because
$\eta ^\prime (\Vert u_n\Vert ^2_E)\leq 0$
.
Since
$\Psi $
is coercive, the
$(\mbox {PS})_c$
sequence
$\{u_n\}$
is bounded in E. Up to a subsequence, by Lemma 3.2,
Consequently, from (3.1) and (3.3),
It is clear that
From assumptions
$(g_1)$
,
$(g_3)$
and Remark 1.4, for any
$\varepsilon>0$
, there exists
$C_{\varepsilon }>0$
such that
By Hölder’s inequality,
Since
$\{u_n\}$
is bounded in
$L^{2_*}(\mathbb {R}^N)$
and
$u_n\rightarrow u$
in
$L^{q}(\mathbb {R}^N)$
,
which implies
In addition, it has been shown in [Reference Liu and Zhao15, (4.5)] that
Using this, we deduce from (3.4)–(3.6) that
That is,
$\Vert u_n\Vert _E\rightarrow \Vert u\Vert _E$
. Remembering
$u_n\rightharpoonup u$
in E, we get
$u_n\rightarrow u$
in E.
Proof of Theorem 1.3
Since
$\Psi (u)=I(u)$
for
$u\in B_1$
(the unit ball in E), it suffices to show that
$\Psi $
has a sequence of critical points
$\{u_k\}\subset E$
satisfying
$u_k\rightarrow 0$
.
From assumptions
$(g_1)$
,
$(g_3)$
and Remark 1.4, there is
$\Lambda>0$
such that
Let
$k\in \mathbb {N}$
and
$E_k$
be an arbitrary k-dimensional subspace of E. Since all norms on
$E_k$
are equivalent, there is
$\delta \in (-1,1)$
such that
$\Vert u\Vert \leq \delta $
implies
$|u|_{\infty }\leq 1$
. Thus,
Hence, for
$u\in E_k\cap B_{\delta }$
, using Proposition 3.1,
for some constant
$C>0$
. Together with
$q\in (1,2)$
, it is clear that there is
$\delta _k\in (0,\delta )$
such that
In addition, we have observed that the
$C^1$
-functional
$\Psi $
is even, coercive and satisfies the
$(\mbox {PS})_c$
for
$c\leq 0$
. By Proposition 1.5,
$\Psi $
has a sequence of critical points
$\{u_k\}$
such that
$u_k\rightarrow 0$
in E. Since
$\Psi (u)=I(u)$
for
$\Vert u\Vert \leq 1$
, for large k, all
$u_k$
are critical points of I. This completes the proof of Theorem 1.3.
Acknowledgement
The authors would like to thank the anonymous referees for careful reading and valuable suggestions which improved the work.





