Boundary Value Problems

, 2018:52 | Cite as

Ground state sign-changing solutions for semilinear Dirichlet problems

Open Access
Research
  • 145 Downloads

Abstract

In the present paper, we consider the existence of ground state sign-changing solutions for the semilinear Dirichlet problem
$$ \left \{ \textstyle\begin{array}{l@{\quad}l} -\triangle u+\lambda u=f(x, u), & \hbox{$x\in\Omega$;} \\ u=0, & \hbox{$x\in\partial\Omega$,} \end{array}\displaystyle \right . $$
(0.1)
where \(\Omega\subset\mathbb{R}^{N}\) is a bounded domain with a smooth boundary Ω, \(\lambda>-\lambda_{1}\) is a constant, \(\lambda_{1}\) is the first eigenvalue of \((-\triangle, H_{0}^{1}(\Omega))\), and \(f\in C(\Omega\times\mathbb{R}, \mathbb{R})\). Under some standard growth assumptions on f and a weak version of Nehari type monotonicity condition that the function \(t\mapsto f(x, t)/|t|\) is non-decreasing on \((-\infty, 0)\cup(0, \infty)\) for every \(x\in\Omega\), we prove that (0.1) possesses one ground state sign-changing solution, which has precisely two nodal domains. Our results improve and generalize some existing ones.

Keywords

Semilinear Dirichlet problem Ground state sign-changing solutions Perturbation method 

MSC

35J20 35J65 

1 Introduction

Let \(\Omega\subset \mathbb {R}^{N}\) be a bounded domain with a smooth boundary Ω. In this paper we are concerned with the existence of sign-changing solutions of the semilinear Dirichlet problem
$$ \left \{ \textstyle\begin{array}{l@{\quad}l} -\triangle u+\lambda u=f(x, u), & \hbox{$x\in\Omega$;} \\ u=0, & \hbox{$x\in\partial\Omega$,} \end{array}\displaystyle \right . $$
(1.1)
where \(\lambda>-\lambda_{1}\) is a constant, \(\lambda_{1}\) is the first eigenvalue of \((-\triangle, H_{0}^{1}(\Omega))\), and \(f: \Omega\times \mathbb {R}\rightarrow \mathbb {R}\) satisfies the following assumptions:
  1. (F1)

    \(f\in\mathcal{C}(\Omega\times \mathbb {R}, \mathbb {R})\) and \(f(x, t)=o(t)\) as \(t\rightarrow0\) uniformly in \(x\in\Omega\);

     
  2. (F2)
    there exist constants \(\mathcal{C}_{0}>0\) and \(p\in(2, 2^{\ast})\) such that
    $$\big|f(x, t)\big|\le\mathcal{C}_{0} \bigl(1+|t|^{p-1} \bigr),\quad \forall(x, t)\in\Omega\times \mathbb {R}, $$
    where \(2^{\ast}=2N/(N-2)\) if \(N\ge3\), and \(2^{\ast}=+\infty\) if \(N=1,2\);
     
  3. (F3)

    \(\lim_{|t|\to\infty}\frac{F(x, t)}{t^{2}}=\infty\) uniformly in \(x\in\Omega\), where \(F(x, t)=\int_{0}^{t}f(x, s)\, \mathrm{d}s\);

     
  4. (F4)

    The function \(t\mapsto f(x, t)/|t|\) is non-decreasing on \((-\infty, 0)\cup(0, \infty)\) for every \(x\in\Omega\).

     
Let \(H_{0}^{1}(\Omega)\) be the Sobolev space, and define \(\Phi: H_{0}^{1}(\Omega) \rightarrow \mathbb {R}\) as follows:
$$ \Phi(u) = \frac{1}{2} \int_{\Omega} \bigl(|\nabla u|^{2}+\lambda u^{2} \bigr)\,\mathrm{d}x- \int_{\Omega}F(x, u)\,\mathrm{d}x. $$
(1.2)
It is a well-known consequence of (F1) and (F2) that \(\Phi\in\mathcal {C}^{1}( H_{0}^{1}(\Omega), \mathbb {R})\) and the critical points of Φ are weak solutions of (1.1). Furthermore, if \(u\in H_{0}^{1}(\Omega)\) is a solution of (1.1) and \(u^{\pm}\ne0\), then u is a sign-changing solution of (1.1), where
$$u^{+}(x):=\max\bigl\{ u(x), 0\bigr\} \quad\mbox{and}\quad u^{-}(x):= \min\bigl\{ u(x), 0\bigr\} . $$
In order to facilitate the narrative, we set
$$\begin{aligned}& \mathcal{M}:= \bigl\{ u\in H_{0}^{1}(\Omega): u^{\pm}\ne0, \bigl\langle \Phi '(u), u^{+}\bigr\rangle =\bigl\langle \Phi'(u), u^{-}\bigr\rangle =0 \bigr\} , \end{aligned}$$
(1.3)
$$\begin{aligned}& \mathcal{N}:= \bigl\{ u\in H_{0}^{1}(\Omega): u \ne0, \bigl\langle \Phi'(u), u\bigr\rangle =0 \bigr\} , \end{aligned}$$
(1.4)
and put
$$ m_{0}:=\inf_{u\in\mathcal{M}}\Phi(u),\qquad c_{0}:=\inf_{u\in\mathcal {N}}\Phi(u). $$
(1.5)
Problem (1.1) has been studied extensively, and much progress has been made recently concerning the existence of sign-changing solutions, see [1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13]. In particular, Bartsch and Weth [6] proved that (1.1) has a least energy sign-changing solution ū, i.e., \(\Phi(\bar{u})=m_{0}\), which has precisely two nodal domains under (F1), (F2) and the following assumptions:
  1. (F5)

    \(f\in\mathcal{C}^{1}(\Omega\times \mathbb {R}, \mathbb {R})\) and \(f'(x, t)> f(x, t)/t\) for all \(x\in\Omega\) and \(t\ne0\);

     
  2. (AR)

    there exists \(\mu>2\) such that \(tf(x, t)\ge\mu F(x, t)>0\) for all \(x\in\Omega\) and large \(|t|\).

     
This result improves the work of Castro et al. [9] as well as the one of Bartsch et al. [2] for (1.1) with \(f(x, t)=f(t)\). Moreover, further information is gained on sign-changing solutions, in particular on the nodal structure, extremality properties, and the Morse index with respect to Φ.
We point out that (F5) plays a very crucial role in papers [2, 6, 9], it is a stronger version of the following Nehari type monotonicity assumption:
  1. (Ne)

    The function \(t\mapsto f(x, t)/|t|\) is strictly increasing on \((-\infty, 0)\cup(0, \infty)\) for every \(x\in\Omega\).

     
(Ne) seems to be essential in seeking a ground solution of Nehari type for (1.1), for example, see [14, 15, 16]. It is also necessary for the existence of a least energy sign-changing solution. In particular, under (F1), (F2), and (Ne), Bartsch and Weth [6] proved that every weak solution \(u\in \mathcal{M}\) of (1.1) with \(0<\Phi(u)\le m_{0}\) has precisely two nodal domains, while Bartsch et al. [17] showed that every minimizer of Φ on \(\mathcal{M}\) is a critical point of Φ, hence a sign-changing solution of (1.1) with precisely two nodal domains. Under some additional conditions on Ω and f, such as (F5) and (AR), the infimum \(m_{0}\) of Φ can be attained in \(\mathcal{M}\), see [2, 6, 9]. However, it is unknown whether assumptions (F1), (F2), and (Ne) guarantee that the infimum \(m_{0}\) of Φ is attained in \(\mathcal{M}\).

It is a well-known consequence of (Ne) that there is unique \(t_{u}>0\) such that \(t_{u}u\in\mathcal{N}\) for every \(u\in H^{1}_{0}(\Omega)\setminus\{0\}\), which implies that Φ has one minimizer on \(\mathcal{M}\) at most. Moreover, in Bartsch et al. [17], (Ne) plays a very important role in showing that every minimizer of Φ on \(\mathcal{M}\) is a critical point. If \(t\mapsto f(x, t)/|t|\) is not strictly increasing, then \(t_{u}\) and the minimizer of Φ on \(\mathcal{M}\) may not be unique, and their arguments become invalid. This paper intends to address this problem caused by the dropping of this “strictly increasing” condition on f. Motivated by the works [2, 6, 9, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26], we will use variational methods to generalize and improve the existence results on sign-changing solutions in reference to the relaxing assumption (Ne). However, our proof relies more on the specific choice of the (P.S.) sequence than on the appropriate minimax principle.

We are now in a position to state the main results of this paper.

Theorem 1.1

Assume that\(\lambda>-\lambda_{1}\)and (F1)(F4) hold. Then Problem (1.1) has a sign-changing solution\(u_{0}\in\mathcal{M}\)such that\(\Phi(u_{0})=\inf_{\mathcal{M}}\Phi >0\). Furthermore, suppose that
$$ \frac{1}{2}tf(x, t)-F(x, t)>0, \quad\forall x\in\Omega, t\ne0. $$
(1.6)
Then\(u_{0}\)has precisely two nodal domains.

Theorem 1.2

Assume that\(\lambda>-\lambda_{1}\)and (F1)(F4) hold. Then\(m_{0} \ge2c_{0}\).

Remark 1.3

Tang [27, Theorem 1.2] has proved that if \(\lambda>-\lambda _{1}\) and (F1)–(F4) hold, then Problem (1.1) has a solution \(\bar{u}\in\mathcal{N}\) such that \(\Phi(\bar{u})=\inf_{\mathcal{N}}\Phi=c_{0}>0\).

Remark 1.4

In [3], Bartsch et al. obtained the existence of sign-changing solutions of (1.1) under (F1), (F2), (F3), and (AR) by using variational methods and invariant sets of descent flow. However, the sign-changing solutions obtained in [3] are not the ground state ones.

2 Some preliminary lemmas

In this section, we give some preliminary lemmas which are crucial for proving our results. We introduce a new inner product and a norm on \(H_{0}^{1}(\Omega)\)
$$(u, v)= \int_{\Omega}(\nabla u\cdot\nabla v+\lambda uv)\,\mathrm {d}x,\qquad \|u \|=(u, u)^{1/2}, \quad\forall u,v\in H_{0}^{1}(\Omega), $$
where \((\cdot, \cdot)_{2}\) and \(\|\cdot\|_{2}\) denote the usual \(L^{2}\)-inner product and the norm, respectively. In view of Sobolev embedding theorem, the norm \(\|\cdot\|\) is equivalent to the usual norm in \(H_{0}^{1}(\Omega)\). Furthermore, for any \(s\in[2, 2^{*}]\), there exists a constant \(\gamma _{s}>0\) such that \(\|u\|_{s}\le\gamma_{s}\|u\|\) for all \(u\in H_{0}^{1}(\Omega)\). Hence, the energy functional Φ can be rewritten as
$$ \Phi(u) = \frac{1}{2}\|u\|^{2}- \int_{\Omega}F(x, u)\,\mathrm{d}x, \quad\forall u\in H_{0}^{1}(\Omega). $$
(2.1)
Moreover, for any \(u, \varphi\in H_{0}^{1}(\Omega)\), we have
$$ \bigl\langle \Phi'(u), \varphi\bigr\rangle = (u, \varphi) - \int_{\Omega }f(x, u)\varphi\,\mathrm{d}x. $$
(2.2)

Lemma 2.1

Assume that (F1)(F4) hold. Then
$$ \begin{aligned}[b]&\Phi(u) \ge \Phi\bigl(su^{+}+tu^{-} \bigr)+\frac{1-s^{2}}{2}\bigl\langle \Phi'(u), u^{+}\bigr\rangle +\frac{1-t^{2}}{2}\bigl\langle \Phi'(u), u^{-} \bigr\rangle , \\ & \quad \forall u=u^{+}+u^{-}\in H_{0}^{1}( \Omega), s, t\ge0.\end{aligned} $$
(2.3)

Proof

It follows from (F4) that
$$ \begin{aligned}[b] & \frac{1-t^{2}}{2}\tau f(x, \tau)+F(x, t\tau)-F(x, \tau) \\ &\quad = \int_{t}^{1} \biggl[\frac{f(x, \tau)}{\tau}- \frac{f(x, s\tau )}{s\tau} \biggr]s\tau^{2}\,\mathrm{d}s\ge0,\quad \forall t\ge0, \tau \in \mathbb {R}\setminus\{0\}.\end{aligned} $$
(2.4)
Thus, by (2.1), (2.2), and (2.4), one has
$$\begin{aligned} \Phi(u)-\Phi\bigl(su^{+}+tu^{-}\bigr) ={} & \frac{1}{2} \bigl(\|u\|^{2}-\big\| su^{+}+tu^{-} \big\| ^{2} \bigr) + \int_{\Omega}\bigl[F\bigl(x, su^{+}+tu^{-} \bigr)-F(x, u)\bigr]\,\mathrm{d}x \\ ={} & \frac{1-s^{2}}{2}\big\| u^{+}\big\| ^{2}+\frac{1-t^{2}}{2} \big\| u^{-}\big\| ^{2} \\ & + \int_{\Omega}\bigl[F\bigl(x, su^{+}\bigr)+F\bigl(x, tu^{-}\bigr)-F\bigl(x, u^{+}\bigr)-F\bigl(x, u^{-}\bigr)\bigr]\,\mathrm{d}x \\ = {}& \frac{1-s^{2}}{2}\bigl\langle \Phi'(u), u^{+}\bigr\rangle +\frac{1-t^{2}}{2}\bigl\langle \Phi'(u), u^{-} \bigr\rangle \\ & + \int_{\Omega} \biggl[\frac{1-s^{2}}{2}f\bigl(x, u^{+} \bigr)u^{+}+F\bigl(x, su^{+}\bigr)-F\bigl(x, u^{+}\bigr) \biggr]\,\mathrm{d}x \\ & + \int_{\Omega} \biggl[\frac{1-t^{2}}{2}f\bigl(x, u^{-} \bigr)u^{-}+F\bigl(x, tu^{-}\bigr)-F\bigl(x, u^{-}\bigr) \biggr]\,\mathrm{d}x \\ \ge{}& \frac{1-s^{2}}{2}\bigl\langle \Phi'(u), u^{+} \bigr\rangle +\frac{1-t^{2}}{2}\bigl\langle \Phi'(u), u^{-}\bigr\rangle , \quad\forall s, t\ge0.\end{aligned} $$
This shows that (2.3) holds. □

From Lemma 2.1, we have the following two corollaries immediately.

Corollary 2.2

Assume that (F1)(F4) hold. If\(u=u^{+}+u^{-}\in\mathcal{M}\), then
$$ \Phi\bigl(u^{+}+u^{-}\bigr)=\max _{s, t\ge0}\Phi\bigl(su^{+}+tu^{-}\bigr). $$
(2.5)

Corollary 2.3

Assume that (F1)(F4) hold. If\(u\in\mathcal {N}\), then
$$ \Phi(u)=\max_{t\ge0}\Phi(tu). $$
(2.6)

By a standard argument, we can prove the following lemma using (Ne), see [28, Lemma 4.1].

Lemma 2.4

Assume that (F1)(F3), (Ne) hold. If\(u\in H_{0}^{1}(\Omega)\)with\(u^{\pm}\ne0\), then there exists a unique pair\((s_{u}, t_{u})\)of positive numbers such that\(s_{u}u^{+}+t_{u}u^{-}\in\mathcal{M}\).

Lemma 2.5

Assume that (F1)(F3), (Ne) hold. Then
$$m_{0}=\inf_{u\in\mathcal{M}}\Phi(u)=\inf_{u\in H_{0}^{1}(\Omega), u^{\pm}\ne0} \max_{s, t\ge0}\Phi\bigl(su^{+}+tu^{-}\bigr). $$

Proof

On the one hand, by Corollary 2.2, one has
$$ \inf_{u\in H_{0}^{1}(\Omega), u^{\pm}\ne0}\max_{s, t\ge0}\Phi \bigl(su^{+}+tu^{-}\bigr)\le \inf_{u\in\mathcal{M}} \max_{s, t\ge0}\Phi\bigl(su^{+}+tu^{-}\bigr)= \inf_{u\in\mathcal{M}}\Phi(u)=m_{0}. $$
(2.7)
On the other hand, for any \(u\in H_{0}^{1}(\Omega)\) with \(u^{\pm}\ne0\), it follows from Lemma 2.4 that
$$\max_{s, t\ge0}\Phi\bigl(su^{+}+tu^{-}\bigr) \ge\Phi\bigl(s_{u}u^{+}+t_{u}u^{-} \bigr)\ge \inf_{v\in\mathcal{M}}\Phi(v)=m_{0}, $$
which implies
$$ \inf_{u\in H_{0}^{1}(\Omega), u^{\pm}\ne0}\max_{s, t\ge0}\Phi \bigl(su^{+}+tu^{-}\bigr)\ge\inf_{u\in\mathcal{M}} \Phi(u)=m_{0}. $$
(2.8)
Hence, the conclusion directly follows from (2.7) and (2.8). □

Lemma 2.6

Assume that (F1)(F3), (Ne) hold. Then\(m_{0}>0\)can be achieved.

Proof

Let \(\{u_{n}\}\subset\mathcal{M}\) be such that \(\Phi(u_{n})\rightarrow m_{0}\). First, we prove that \(\{u_{n}\}\) is bounded in E. Arguing by contradiction, suppose that \(\| u_{n}\| \to\infty\). Let \(v_{n}=u_{n}/\|u_{n}\|\), then \(\|v_{n}\|=1\). By Sobolev embedding theorem, passing to a subsequence, we may assume that \(v_{n}\rightarrow v\) in \(L^{s}(\Omega)\), \(2\le s<2^{*}\), \(v_{n}\rightarrow v\) a.e. on Ω.

If \(v=0\), then \(v_{n}\rightarrow0\) in \(L^{s}(\Omega)\) for \(2\le s<2^{*}\). Fix \(R>[2(1+m_{0})]^{1/2}\). By (F1) and (F2), there exists \(C_{1}>0\) such that
$$ \limsup_{n\to\infty} \int_{\Omega}F(x, Rv_{n})\,\mathrm{d}x\le R^{2}\lim_{n\to\infty}\|v_{n} \|_{2}^{2} +C_{1}R^{p}\lim _{n\to\infty}\|v_{n}\|_{p}^{p}=0. $$
(2.9)
Let \(t_{n}=R/\|u_{n}\|\). Hence, by (2.1), (2.9), and Corollary 2.3, one has
$$\begin{aligned} m_{0}+o(1) & = \Phi(u_{n})\ge\Phi(t_{n}u_{n}) \\ & = \frac{t_{n}^{2}}{2}\|u_{n}\|^{2}- \int_{\Omega}F(x, t_{n}u_{n})\,\mathrm {d}x \\ & = \frac{R^{2}}{2}- \int_{\Omega}F(x, Rv_{n})\,\mathrm{d}x \\ & = \frac{R^{2}}{2}+o(1) > m_{0}+1+o(1),\end{aligned} $$
which is a contradiction. Thus \(v\ne0\).
For \(x\in\{z\in \mathbb {R}^{N} : v(z)\ne0\}\), we have \(\lim_{n\to\infty }|u_{n}(x)|=\infty\). Hence, it follows from (F3), (Ne), and Fatou’s lemma that
$$\begin{aligned} 0 & = \lim_{n\to\infty}\frac{m_{0}+o(1)}{\|u_{n}\|^{2}} = \lim _{n\to\infty}\frac{\Phi(u_{n})}{\|u_{n}\|^{2}} \\ & = \lim_{n\to\infty} \biggl[\frac{1}{2}\|v_{n} \|^{2} - \int_{\Omega}\frac{F(x, u_{n})}{u_{n}^{2}}v_{n}^{2}\, \mathrm{d}x \biggr] \\ & \le \frac{1}{2}-\liminf_{n\to\infty} \int_{\Omega}\frac{F(x, u_{n})}{u_{n}^{2}}v_{n}^{2}\, \mathrm{d}x \le\frac{1}{2}- \int_{\Omega}\liminf_{n\to\infty}\frac{F(x, u_{n})}{u_{n}^{2}}v_{n}^{2} \,\mathrm{d}x \\ & = -\infty.\end{aligned} $$
This contradiction shows that \(\{u_{n}\}\) is bounded in \(H_{0}^{1}(\Omega)\). Thus there exists \(u_{0}\in H_{0}^{1}(\Omega)\) such that \(u_{n}^{\pm}\rightharpoonup u_{0}^{\pm}\) in \(H_{0}^{1}(\Omega)\), which implies that \(u_{n}^{\pm}\rightarrow u_{0}^{\pm}\) in \(L^{s}(\Omega)\) for \(s\in[2, 2^{*})\) and \(u_{n}^{\pm}\rightarrow u_{0}^{\pm}\) a.e. on Ω.
Next, we prove that \(u_{0}\in\mathcal{M}\) and \(\Phi(u_{0})=m_{0}\). Since \(\inf_{\mathcal{N}}\Phi=c_{0}>0\), \(u_{n}\in\mathcal{M}\), and \(u_{n}^{\pm}\in\mathcal{N}\), then it follows from (2.1), (2.2), and the weak semicontinuity of norm that
$$\begin{aligned} \bigl\langle \Phi'(u_{0}), u_{0}^{\pm} \bigr\rangle & = \big\| u_{0}^{\pm}\big\| ^{2}- \int_{\Omega}f\bigl(x, u_{0}^{\pm} \bigr)u_{0}^{\pm}\, \mathrm{d}x \\ & \le \liminf_{n\to\infty} \biggl[\big\| u_{n}^{\pm} \big\| ^{2}- \int_{\Omega }f\bigl(x, u_{n}^{\pm} \bigr)u_{n}^{\pm}\,\mathrm{d}x \biggr] \\ & = \liminf_{n\to\infty}\bigl\langle \Phi'(u_{n}), u_{n}^{\pm}\bigr\rangle = 0\end{aligned} $$
and
$$\begin{aligned} \int_{\Omega} \biggl[\frac{1}{2}f\bigl(x, u_{0}^{\pm}\bigr)-F\bigl(x, u_{0}^{\pm } \bigr) \biggr]\,\mathrm{d}x & = \lim_{n\to\infty} \int_{\Omega} \biggl[\frac{1}{2}f\bigl(x, u_{n}^{\pm}\bigr)-F\bigl(x, u_{n}^{\pm} \bigr) \biggr]\,\mathrm{d}x \\ & = \lim_{n\to\infty} \biggl[\Phi\bigl(u_{n}^{\pm} \bigr)-\frac{1}{2}\bigl\langle \Phi'\bigl(u_{n}^{\pm} \bigr), u_{n}^{\pm} \bigr\rangle \biggr] \\ & = \lim_{n\to\infty}\Phi\bigl(u_{n}^{\pm} \bigr)\ge c_{0}>0.\end{aligned} $$
These, together with (2.4) (\(t=0\)), show
$$ u_{0}^{\pm}\ne0,\qquad \bigl\langle \Phi'(u_{0}), u_{0}^{\pm}\bigr\rangle \le0. $$
(2.10)
By Lemma 2.4, there exist \(s_{0}, t_{0}>0\) such that \(s_{0}u_{0}^{+}+t_{0}u_{0}^{-}\in\mathcal{M}\). From (2.1), (2.2), (2.10), and Lemma 2.1, we have
$$\begin{aligned} m_{0} & = \lim_{n\to\infty} \biggl[\Phi(u_{n})- \frac{1}{2}\bigl\langle \Phi '(u_{n}), u_{n} \bigr\rangle \biggr] \\ & = \lim_{n\to\infty} \int_{\Omega} \biggl[\frac{1}{2}f(x, u_{n})u_{n}-F(x, u_{n}) \biggr]\,\mathrm{d}x \\ & = \int_{\Omega} \biggl[\frac{1}{2}f(x, u_{0})u_{0}-F(x, u_{0}) \biggr]\, \mathrm{d}x \\ & = \Phi(u_{0})-\frac{1}{2}\bigl\langle \Phi'(u_{0}), u_{0} \bigr\rangle \\ & \ge \Phi\bigl(s_{0}u_{0}^{+}+t_{0}u_{0}^{-} \bigr)+\frac{1-s_{0}^{2}}{2}\bigl\langle \Phi '(u_{0}), u_{0}^{+}\bigr\rangle +\frac{1-t_{0}^{2}}{2}\bigl\langle \Phi'(u_{0}), u_{0}^{-}\bigr\rangle -\frac{1}{2}\bigl\langle \Phi'(u_{0}), u_{0} \bigr\rangle \\ & \ge m_{0}-\frac{s_{0}^{2}}{2}\bigl\langle \Phi'(u_{0}), u_{0}^{+}\bigr\rangle -\frac{t_{0}^{2}}{2}\bigl\langle \Phi'(u_{0}), u_{0}^{-}\bigr\rangle ,\end{aligned} $$
which implies
$$ \bigl\langle \Phi'(u_{0}), u_{0}^{\pm}\bigr\rangle =0, \qquad\Phi(u_{0})=m_{0}. $$
 □

Similar to the proof of [17, Proposition 3.1], we can prove the following lemma.

Lemma 2.7

Assume that (F1)(F3), (Ne) hold. If\(u_{0}\in \mathcal{M}\)and\(\Phi(u_{0})=m_{0}\), then\(u_{0}\)is a critical point of Φ.

3 Sign-changing solutions

For any \(\epsilon>0\), let \(f_{\epsilon}(x, t)=f(x, t)+\epsilon p|t|^{p-2}t\) and
$$ \Phi_{\epsilon}(u) = \Phi(u)-\epsilon\|u\|_{p}^{p},\quad \forall u\in H_{0}^{1}(\Omega). $$
(3.1)
Similarly, we define
$$\begin{aligned}& \mathcal{M}_{\epsilon}:= \bigl\{ u\in H_{0}^{1}( \Omega): u^{\pm}\ne0, \bigl\langle \Phi_{\epsilon}'(u), u^{+}\bigr\rangle =\bigl\langle \Phi_{\epsilon}'(u), u^{-}\bigr\rangle =0 \bigr\} , \end{aligned}$$
(3.2)
$$\begin{aligned}& \mathcal{N}_{\epsilon}:= \bigl\{ u\in H_{0}^{1}( \Omega): u\ne0, \bigl\langle \Phi_{\epsilon}'(u), u\bigr\rangle =0 \bigr\} , \end{aligned}$$
(3.3)
and
$$ m_{\epsilon}:=\inf_{u\in\mathcal{M}_{\epsilon}} \Phi_{\epsilon }(u), \qquad c_{\epsilon}:=\inf_{u\in\mathcal{N}_{\epsilon}} \Phi_{\epsilon}(u). $$
(3.4)

Lemma 3.1

Assume that (F1)(F4) hold. Then there exists a constant\(\alpha>0\)which does not depend on\(\epsilon\in(0, 1]\)such that
$$ \Phi_{\epsilon}(u)\ge\alpha, \quad\forall u\in\mathcal{N}_{\epsilon }, \epsilon\in(0, 1]. $$
(3.5)

Proof

By (F1) and (F2), there exists a constant \(C_{2}>0\) such that
$$ F(x, t)\le\frac{1}{4\gamma_{2}^{2}}t^{2}+C_{2}|t|^{p},\quad \forall(x, t)\in \Omega\times \mathbb {R}. $$
(3.6)
From (3.1), (3.6), and Corollary 2.3, one has
$$\begin{aligned} \Phi_{\epsilon}(u) & = \max_{t\ge0}\Phi_{\epsilon}(tu) =\max_{t\ge0} \biggl[\frac{t^{2}}{2}\|u\|^{2}- \int_{\Omega}F(x, tu)\, \mathrm{d}x-\epsilon t^{p}\|u \|_{p}^{p} \biggr] \\ & \ge \max_{t\ge0} \biggl[\frac{t^{2}}{4}\|u \|^{2}-(C_{2}+1)\gamma _{p}^{p}t^{p} \|u\|^{p} )\biggr] \\ & = \frac{p-2}{4p[2(C_{2}+1)\gamma_{p}^{p}p]^{2/(p-2)}}:=\alpha>0, \quad\forall u\in\mathcal{N}_{\epsilon}, \epsilon\in(0, 1].\end{aligned} $$
 □

Proof of Theorem 1.1

Under the conditions of Theorem 1.1, for \(\epsilon>0\), \(f_{\epsilon}\) satisfies (F1)–(F3) and (Ne). In view of Lemmas 2.6 and 2.7, there exists \(u_{\epsilon}\in\mathcal{M}_{\epsilon}\) such that \(\Phi_{\epsilon}(u_{\epsilon})=m_{\epsilon}\) and \(\Phi_{\epsilon }'(u_{\epsilon})=0\).

By (F1)–(F3), one can easily prove that \(\mathcal{M}_{0}\ne\emptyset \). Let \(u_{0}\in\mathcal{M}_{0}\). Then \(\Phi(u_{0}):=c^{*}> 0\) and \(\langle\Phi'(u_{0}), u_{0}^{\pm}\rangle=0\). By Lemma 2.4, there exist \(s_{\epsilon}>0\) and \(t_{\epsilon}>0\) such that \(s_{\epsilon}u_{0}^{+}+t_{\epsilon }u_{0}^{-} \in\mathcal{M}_{\epsilon}\). Hence, from Corollary 2.2 and Lemma 3.1, we have
$$ \begin{aligned}[b] c^{*} & = \Phi(u_{0}) \\ & \ge \Phi\bigl(s_{\epsilon}u_{0}^{+}+t_{\epsilon}u_{0}^{-} \bigr)\ge\Phi _{\epsilon}\bigl(s_{\epsilon}u_{0}^{+}+t_{\epsilon}u_{0}^{-} \bigr) \\ & \ge m_{\epsilon}\ge\hat{\kappa},\quad \forall\epsilon\in(0, 1).\end{aligned} $$
(3.7)
Hence, we can choose a sequence \(\{\epsilon_{n}\}\) such that \(\epsilon _{n}\searrow0\) as \(n\to\infty\), and
$$ u_{\epsilon_{n}}\in\mathcal{M}_{\epsilon_{n}},\qquad \Phi_{\epsilon _{n}}(u_{\epsilon_{n}})=m_{\epsilon_{n}}\rightarrow\bar{m}, \qquad\Phi _{\epsilon_{n}}'(u_{\epsilon_{n}})=0. $$
(3.8)

First, we prove that \(\{u_{\epsilon_{n}}\}\) is bounded in \(H_{0}^{1}(\Omega )\). Arguing by contradiction, suppose that \(\|u_{\epsilon_{n}}\| \to\infty\). Let \(v_{n}=u_{\epsilon_{n}}/\| u_{\epsilon_{n}}\|\), then \(\|v_{n}\|=1\). By Sobolev embedding theorem, passing to a subsequence, we may assume that \(v_{n}\rightarrow v\) in \(L^{s}(\Omega)\), \(2\le s<2^{*}\), \(v_{n}\rightarrow v\) a.e. on Ω.

If \(v=0\), then \(v_{n}\rightarrow0\) in \(L^{s}(\Omega)\) for \(2\le s<2^{*}\). Fix \(R>[2(1+\bar{m})]^{1/2}\). By (F1) and (F2), there exists \(C_{3}>0\) such that
$$ \limsup_{n\to\infty} \int_{\Omega}F(x, Rv_{n})\,\mathrm{d}x\le R^{2}\lim_{n\to\infty}\|v_{n} \|_{2}^{2} +C_{3}R^{p}\lim _{n\to\infty}\|v_{n}\|_{p}^{p}=0. $$
(3.9)
Let \(t_{n}=R/\|u_{\epsilon_{n}}\|\). Hence, using (3.1), (3.8), (3.9), and Corollary 2.3, one has
$$\begin{aligned} m_{\epsilon_{n}} & = \Phi_{\epsilon_{n}}(u_{\epsilon_{n}})\ge \Phi_{\epsilon _{n}}(t_{n}u_{\epsilon_{n}}) \\ & = \frac{t_{n}^{2}}{2}\|u_{\epsilon_{n}}\|^{2}- \int_{\Omega}\bigl[F(x, t_{n}u_{\epsilon_{n}})+ \epsilon_{n}|t_{n}u_{\epsilon_{n}}|^{p}\bigr]\, \mathrm{d}x \\ & = \frac{R^{2}}{2}- \int_{\Omega}\bigl[F(x, Rv_{n})+\epsilon_{n}R^{p}|v_{n}|^{p} \bigr]\, \mathrm{d}x \\ & = \frac{R^{2}}{2}+o(1) > \bar{m}+1+o(1),\end{aligned} $$
which is a contradiction. Thus \(v\ne0\).
For \(x\in\{z\in \mathbb {R}^{N} : v(z)\ne0\}\), we have \(\lim_{n\to\infty }|u_{\epsilon_{n}}(x)|=\infty\). Hence, it follows from (F3), (F4), (3.8), and Fatou’s lemma that
$$\begin{aligned} 0 & = \lim_{n\to\infty}\frac{m_{\epsilon_{n}}}{\|u_{\epsilon_{n}}\|^{2}} = \lim _{n\to\infty}\frac{\Phi_{\epsilon_{n}}(u_{\epsilon_{n}})}{\| u_{\epsilon_{n}}\|^{2}} \\ & = \lim_{n\to\infty} \biggl[\frac{1}{2}\|v_{n} \|^{2} - \int_{\Omega}\frac{F(x, u_{\epsilon_{n}})+\epsilon_{n}|u_{\epsilon _{n}}|^{p}}{u_{\epsilon_{n}}^{2}}v_{n}^{2}\, \mathrm{d}x \biggr] \\ & \le \frac{1}{2}-\liminf_{n\to\infty} \int_{\Omega}\frac{F(x, u_{\epsilon_{n}})}{u_{\epsilon_{n}}^{2}}v_{n}^{2}\, \mathrm{d}x \le\frac{1}{2}- \int_{\Omega}\liminf_{n\to\infty}\frac{F(x, u_{\epsilon_{n}})}{u_{\epsilon_{n}}^{2}}v_{n}^{2} \,\mathrm{d}x \\ & = -\infty.\end{aligned} $$
This contradiction shows that \(\{u_{\epsilon_{n}}\}\) is bounded in \(H_{0}^{1}(\Omega)\). Hence, there exists a subsequence of \(\{\epsilon_{n}\}\) still denoted by \(\{\epsilon_{n}\}\) and \(u_{0}\in H_{0}^{1}(\Omega)\) such that \(u_{\epsilon_{n}}\rightharpoonup u_{0}\) in \(H_{0}^{1}(\Omega)\).
Second, we prove that \(\Phi'(u_{0})=0\) and \(\Phi(u_{0})=m_{0}\). By Sobolev embedding theorem, \(u_{\epsilon_{n}}\rightarrow u_{0}\) in \(L^{s}(\Omega)\), \(2\le s<2^{*}\), \(u_{\epsilon_{n}}\rightarrow u_{0}\) a.e. on Ω. Then, from (2.2), (3.1), and (3.8), one has
$$\begin{aligned} \bigl\langle \Phi'(u_{0}), \varphi\bigr\rangle & = (u_{0},\varphi)- \int_{\Omega}f(x, u_{0})\varphi\,\mathrm{d}x \\ & = \lim_{n\to\infty} \biggl[(u_{\epsilon_{n}}, \varphi) - \int_{\Omega}\bigl[f(x, u_{\epsilon_{n}})+\epsilon_{n}p|u_{\epsilon _{n}}|^{p-2}u_{\epsilon_{n}} \bigr]\varphi\,\mathrm{d}x \biggr] \\ & = \lim_{n\to\infty}\bigl\langle \Phi_{\epsilon_{n}}'(u_{\epsilon _{n}}), \varphi\bigr\rangle =0, \quad\forall\varphi\in C_{0}^{\infty}(\Omega).\end{aligned} $$
This shows \(\Phi'(u_{0})=0\). Since \(u_{\epsilon_{n}}\rightarrow u_{0}\) in \(L^{s}(\Omega)\), \(2\le s<2^{*}\), by (3.1) and (3.8), we have
$$ \begin{aligned}[b] & \|u_{\epsilon_{n}}-u_{0}\|^{2} \\ &\quad = \bigl\langle \Phi_{\epsilon_{n}}'(u_{\epsilon_{n}})- \Phi'(u_{0}), u_{\epsilon_{n}}-u_{0}\bigr\rangle +\epsilon_{n}p \int_{\Omega} \bigl(|u_{\epsilon_{n}}|^{p-2}u_{\epsilon _{n}}-|u_{0}|^{p-2}u_{0} \bigr) (u_{\epsilon_{n}}-u_{0})\,\mathrm{d}x \\ & \qquad{} + \int_{\Omega}\bigl[f(x, u_{\epsilon_{n}})-f(x, u_{0}) \bigr](u_{\epsilon _{n}}-u_{0})\,\mathrm{d}x \rightarrow0, \quad\mbox{as } n \rightarrow\infty,\end{aligned} $$
(3.10)
which implies \(u_{\epsilon_{n}}\rightarrow u_{0}\) in \(H_{0}^{1}(\Omega)\), and so \(u_{\epsilon_{n}}^{\pm}\rightarrow u_{0}^{\pm}\) in \(H_{0}^{1}(\Omega)\). Consequently, it follows from (3.1) and (3.8) that \(\Phi(u_{0})=\bar{m}\). Again from (3.1) and (3.5), one has
$$ \begin{aligned}[b] \int_{\Omega} \biggl[\frac{1}{2}f\bigl(x, u_{0}^{\pm}\bigr)-F\bigl(x, u_{0}^{\pm } \bigr) \biggr]\,\mathrm{d}x & = \lim_{n\to\infty} \int_{\Omega} \biggl[\frac{1}{2}f\bigl(x, u_{\epsilon_{n}}^{\pm}\bigr)-F\bigl(x, u_{\epsilon_{n}}^{\pm} \bigr) +\frac{(p-2)\epsilon_{n}}{2}\big|u_{\epsilon_{n}}^{\pm}\big|^{p} \biggr] \, \mathrm{d}x \\ & = \lim_{n\to\infty} \biggl[\Phi_{\epsilon_{n}} \bigl(u_{\epsilon _{n}}^{\pm}\bigr) -\frac{1}{2}\bigl\langle \Phi_{\epsilon_{n}}'\bigl(u_{\epsilon_{n}}^{\pm}\bigr), u_{\epsilon_{n}}^{\pm}\bigr\rangle \biggr] \\ & = \lim_{n\to\infty}\Phi_{\epsilon_{n}}\bigl(u_{\epsilon_{n}}^{\pm } \bigr)\ge\alpha>0.\end{aligned} $$
(3.11)
This, together with (2.4) (\(t=0\)), shows \(u_{0}^{\pm}\ne0\). Thus \(u_{0}\in\mathcal{M}\) and \(\bar{m}=\Phi(u_{0})\ge m_{0}\). Next, we prove \(\Phi(u_{0})=m_{0}\). Let ε be any positive number. Then there exists \(v_{\varepsilon}\in\mathcal{M}\) such that \(\Phi(v_{\varepsilon})< m_{0}+\varepsilon\). Then (F3) implies that there exists \(K_{\varepsilon}>0\) such that, for \(s\ge K_{\varepsilon}\) or \(t\ge K_{\varepsilon}\),
$$ \begin{aligned}[b] \Phi_{\epsilon_{n}}\bigl(sv_{\varepsilon}^{+}+tv_{\varepsilon}^{-} \bigr) = {}& \frac{s^{2}}{2}\big\| v_{\varepsilon}^{+}\big\| ^{2} - \int_{\Omega}F\bigl(x, sv_{\varepsilon}^{+}\bigr)\, \mathrm{d}x-\epsilon _{n}s^{p}\big\| v_{\varepsilon}^{+} \big\| _{p}^{p} \\ & +\frac{t^{2}}{2}\big\| v_{\varepsilon}^{-}\big\| ^{2} - \int_{\Omega}F\bigl(x, tv_{\varepsilon}^{-}\bigr)\, \mathrm{d}x-\epsilon _{n}t^{p}\big\| v_{\varepsilon}^{-} \big\| _{p}^{p} \\ \le{}& \frac{s^{2}}{2}\big\| v_{\varepsilon}^{+}\big\| ^{2} - \int_{\Omega}F\bigl(x, sv_{\varepsilon}^{+}\bigr)\, \mathrm{d}x +\frac{t^{2}}{2}\big\| v_{\varepsilon}^{-}\big\| ^{2}- \int_{\Omega}F\bigl(x, tv_{\varepsilon}^{-}\bigr)\, \mathrm{d}x < 0.\end{aligned} $$
(3.12)
In view of Lemma 2.4, there exists a pair \((s_{n}, t_{n})\) of positive numbers such that \(s_{n}v_{\varepsilon}^{+} +t_{n}v_{\varepsilon}^{-}\in\mathcal{M}_{\epsilon_{n}}\), which, together with (3.12) and \(c_{\epsilon_{n}}>0\), implies \(0< s_{n}, t_{n}< K_{\varepsilon}\). Hence, from (2.3), (3.1), and \(\langle\Phi'(v_{\varepsilon}), v_{\varepsilon}^{\pm}\rangle=0\), we have
$$\begin{aligned} m_{0}+\varepsilon & > \Phi(v_{\varepsilon}) = \Phi_{\epsilon_{n}}(v_{\varepsilon})+\epsilon_{n}\|v_{\varepsilon}\| _{p}^{p} \\ & \ge \Phi_{\epsilon_{n}}\bigl(s_{n}v_{\varepsilon}^{+}+t_{n}v_{\varepsilon}^{-} \bigr) +\frac{1-s_{n}^{2}}{2}\bigl\langle \Phi_{\epsilon_{n}}'(v_{\varepsilon}), v_{\varepsilon}^{+}\bigr\rangle +\frac{1-t_{n}^{2}}{2}\bigl\langle \Phi_{\epsilon_{n}}'(v_{\varepsilon}), v_{\varepsilon}^{-} \bigr\rangle \\ & \ge m_{\epsilon_{n}}-\frac{1+K_{\varepsilon}^{2}}{2}\big|\bigl\langle \Phi _{\epsilon_{n}}'(v_{\varepsilon}), v_{\varepsilon}^{+}\bigr\rangle \big| -\frac{1+K_{\varepsilon}^{2}}{2}\big|\bigl\langle \Phi_{\epsilon _{n}}'(v_{\varepsilon}), v_{\varepsilon}^{-} \bigr\rangle \big| \\ & = m_{\epsilon_{n}}-\frac{(1+K_{\varepsilon}^{2})p\epsilon_{n}}{2}\big\| v_{\varepsilon}^{+} \big\| _{p}^{p} -\frac{(1+K_{\varepsilon}^{2})p\epsilon_{n}}{2}\big\| v_{\varepsilon}^{-} \big\| _{p}^{p},\end{aligned} $$
which yields
$$ \bar{m}=\lim_{n\to\infty}m_{\epsilon_{n}}\le m_{0}+\varepsilon. $$
(3.13)
Since \(\varepsilon>0\) is arbitrary, one has \(\bar{m}\le m_{0}\). Thus, \(\bar{m}= m_{0}\), i.e., \(\Phi(u_{0})=m_{0}\).
Finally, we show that \(u_{0}\) has exactly two nodal domains. Let \(u_{0}=u_{1}+u_{2}+u_{3}\), where
$$\begin{aligned}& \begin{gathered}u_{1}\ge0,\qquad u_{2}\le0,\qquad \Omega_{1}\cap \Omega_{2}=\emptyset,\\ u_{1}|_{\Omega \setminus(\Omega_{1}\cup\Omega_{2})} =u_{2}|_{\Omega\setminus(\Omega_{1}\cup\Omega_{2})}=u_{3}|_{\Omega_{1}\cup \Omega_{2}}=0,\end{gathered} \end{aligned}$$
(3.14)
$$\begin{aligned}& \Omega_{1}:=\bigl\{ x\in\Omega: u_{1}(x)>0 \bigr\} ,\qquad \Omega_{2}:= \bigl\{ x\in\Omega: u_{2}(x)< 0 \bigr\} , \end{aligned}$$
(3.15)
and \(\Omega_{1}\), \(\Omega_{2}\) are connected open subsets of Ω.
Setting \(v=u_{1}+u_{2}\), we see that \(v^{+}=u_{1}\) and \(v^{-}=u_{2}\), i.e., \(v^{\pm}\ne0\). Note that \(\Phi'(u_{0})=0\), by a simple computation, one has
$$ \bigl\langle \Phi'(v), v^{+} \bigr\rangle =\bigl\langle \Phi'(v), v^{-} \bigr\rangle =0. $$
(3.16)
From (2.1), (2.2), (2.3), (3.14), and (3.16), we have
$$\begin{aligned} m_{0} & = \Phi(u_{0})-\frac{1}{2}\bigl\langle \Phi'(u_{0}), u_{0} \bigr\rangle \\ & = \Phi(v)+\Phi(u_{3}) -\frac{1}{2} \bigl[\bigl\langle \Phi'(v), v \bigr\rangle +\bigl\langle \Phi'(u_{3}), u_{3} \bigr\rangle \bigr] \\ & \ge \sup_{s, t\ge0}\Phi\bigl(sv^{+}+tv^{-} \bigr)+\Phi(u_{3})-\frac {1}{2}\bigl\langle \Phi'(u_{3}), u_{3} \bigr\rangle \\ & \ge m_{0}+ \int_{\Omega} \biggl[\frac{1}{2}f(x, u_{3})u_{3}-F(x, u_{3}) \biggr]\,\mathrm{d}x,\end{aligned} $$
which, together with (1.6), shows \(u_{3}=0\). Therefore, \(u_{0}\) has exactly two nodal domains. □

Proof of Theorem 1.2

In view of Theorem 1.1, there exists \(u_{0}\in\mathcal{M}\) such that \(m_{0}=\Phi(u_{0})\). Since \(u^{\pm}\in\mathcal{N}\), then one has
$$m_{0}=\Phi(u_{0})=\Phi\bigl(u_{0}^{+} \bigr)+\Phi\bigl(u_{0}^{-}\bigr)\ge2c_{0}. $$
 □

4 Conclusion

In this paper, by using the variational methods and a suitable approximating method, we prove that Problem (1.1) has a sign-changing solution \(u_{0}\in\mathcal{M}\) such that \(\Phi(u_{0})=\inf_{\mathcal{M}}\Phi>0\) if \(\lambda>-\lambda_{1}\) and f satisfies (F1)–(F4). Furthermore, if \(\frac{1}{2}tf(x, t)-F(x, t)>0\) for all \(x\in \mathbb {R}^{N}\) and \(t\ne0\), we also prove that \(u_{0}\) has precisely two nodal domains. Our results improve and generalize some existing ones in the literature.

Notes

Acknowledgements

This work is partially supported by the NNFC (No: 11471137) of China by Hunan Provincial Natural Science Foundation (No: 2017JJ22) of China.

Authors’ contributions

All authors jointly worked on the results, and they read and approved the final manuscript.

Competing interests

The authors declare that they have no competing interests.

References

  1. 1.
    Bartsch, T.: Critical point theory on partially ordered Hilbert spaces. J. Funct. Anal. 186, 117–152 (2001) MathSciNetCrossRefMATHGoogle Scholar
  2. 2.
    Bartsch, T., Chang, K.-C., Wang, Z.-Q.: On the Morse indices of sign changing solutions of nonlinear elliptic problems. Math. Z. 233, 655–677 (2000) MathSciNetCrossRefMATHGoogle Scholar
  3. 3.
    Bartsch, T., Liu, Z.L., Weth, T.: Sign changing solutions of superlinear Schrödinger equations. Commun. Partial Differ. Equ. 29, 25–42 (2004) CrossRefMATHGoogle Scholar
  4. 4.
    Bartsch, T., Wang, Z.-Q.: On the existence of sign changing solutions for semilinear Dirichlet problems. Topol. Methods Nonlinear Anal. 7, 115–131 (1996) MathSciNetCrossRefMATHGoogle Scholar
  5. 5.
    Bartsch, T., Wang, Z.-Q.: Sign changing solutions of nonlinear Schrödinger equations. Topol. Methods Nonlinear Anal. 13, 191–198 (1999) MathSciNetCrossRefMATHGoogle Scholar
  6. 6.
    Bartsch, T., Weth, T.: A note on additional properties of sign changing solutions to superlinear Schrödinger equations. Topol. Methods Nonlinear Anal. 22, 1–14 (2003) MathSciNetCrossRefMATHGoogle Scholar
  7. 7.
    Bartsch, T., Willem, M.: Infinitely many radial solutions of a semilinear elliptic problem on \(\mathbb{R}^{N}\). Arch. Ration. Mech. Anal. 124, 261–276 (1993) CrossRefMATHGoogle Scholar
  8. 8.
    Bartsch, T., Weth, T.: Three nodal solutions of singularly perturbed elliptic equations on domains without topology. Ann. Inst. Henri Poincaré, Anal. Non Linéaire 22, 259–281 (2005) MathSciNetCrossRefMATHGoogle Scholar
  9. 9.
    Castro, A., Cossio, J., Neuberger, J.: A sign changing solution for a superlinear Dirichlet problem. Rocky Mt. J. Math. 27, 1041–1053 (1997) MathSciNetCrossRefMATHGoogle Scholar
  10. 10.
    Dancer, E., Du, Y.: Existence of sign changing solutions for some semilinear problems with jumping nonlinearities. Proc. R. Soc. Edinb., Sect. A 124, 1165–1176 (1994) CrossRefMATHGoogle Scholar
  11. 11.
    Dancer, E., Du, Y.: On sign changing solutions of certain semi-linear elliptic problems. Appl. Anal. 56, 193–206 (1995) MathSciNetCrossRefMATHGoogle Scholar
  12. 12.
    Liu, Z.L., Sun, J.X.: Invariant sets of descending flow in critical point theory with applications to nonlinear differential equations. J. Differ. Equ. 172, 257–299 (2001) MathSciNetCrossRefMATHGoogle Scholar
  13. 13.
    Li, S.J., Zhang, Z.T.: Sign-changing and multiple solutions theorems for semilinear elliptic boundary value problems with jumping nonlinearities. Acta Math. Sin. 16, 113–122 (2000) MathSciNetCrossRefMATHGoogle Scholar
  14. 14.
    Kryszewski, W., Szulkin, A.: Infinite-dimension alhomology and multibump solutions. J. Fixed Point Theory Appl. 5, 1–35 (2009) MathSciNetCrossRefMATHGoogle Scholar
  15. 15.
    Li, Y.Q., Wang, Z.-Q., Zeng, J.: Ground states of nonlinear Schrödinger equations with potentials. Ann. Inst. Henri Poincaré, Anal. Non Linéaire 23, 829–837 (2006) MathSciNetCrossRefMATHGoogle Scholar
  16. 16.
    Liu, J.Q., Wang, Y.Q., Wang, Z.Q.: Solutions for quasilinear Schrödinger equations via the Nehari method. Commun. Partial Differ. Equ. 29, 879–901 (2004) CrossRefMATHGoogle Scholar
  17. 17.
    Bartsch, T., Weth, T., Willem, M.: Partial symmetry of least energy nodal solutions to some variational problems. J. Anal. Math. 96, 1–18 (2005) MathSciNetCrossRefMATHGoogle Scholar
  18. 18.
    Chen, S.T., Tang, X.H.: Ground state sign-changing solutions for a class of Schrödinger–Poisson type problems in \(\mathbb{R}^{3}\). Z. Angew. Math. Phys. 67, 1–18 (2016) CrossRefGoogle Scholar
  19. 19.
    Shuai, W.: Sign-changing solutions for a class of Kirchhoff-type problem in bounded domains. J. Differ. Equ. 259, 1256–1274 (2015) MathSciNetCrossRefMATHGoogle Scholar
  20. 20.
    Tang, X.H.: Non-Nehari manifold method for asymptotically linear Schrödinger equation. J. Aust. Math. Soc. 98, 104–116 (2015) MathSciNetCrossRefMATHGoogle Scholar
  21. 21.
    Tang, X.H.: Non-Nehari manifold method for asymptotically periodic Schrödinger equations. Sci. China Math. 58, 715–728 (2015) MathSciNetCrossRefMATHGoogle Scholar
  22. 22.
    Tang, X.H., Chen, S.T.: Ground state solutions of Nehari–Pohozaev type for Schrödinger–Poisson problems with general potentials. Discrete Contin. Dyn. Syst., Ser. A 37, 4973–5002 (2017) CrossRefMATHGoogle Scholar
  23. 23.
    Tang, X.H., Chen, S.T.: Ground state solutions of Nehari–Pohozaev type for Kirchhoff-type problems with general potentials. Calc. Var. Partial Differ. Equ. 56, Article ID 110 (2017) MathSciNetCrossRefMATHGoogle Scholar
  24. 24.
    Tang, X.H., Cheng, B.T.: Ground state sign-changing solutions for Kirchhoff type problems in bounded domains. J. Differ. Equ. 261, 2384–2402 (2016) MathSciNetCrossRefMATHGoogle Scholar
  25. 25.
    Chen, S.T., Tang, X.H.: Improved results for Klein–Gordon–Maxwell systems with general nonlinearity. Discrete Contin. Dyn. Syst., Ser. A 38, 2333–2348 (2018) CrossRefGoogle Scholar
  26. 26.
    Tang, X.H., Lin, X.Y., Yu, J.S.: Nontrivial solutions for Schrödinger equation with local super-quadratic conditions. J. Dyn. Differ. Equ. 1–15 (2018).  https://doi.org/10.1007/s10884-018-9662-2 Google Scholar
  27. 27.
    Tang, X.H.: Non-Nehari manifold method for superlinear Schrödinger equation. Taiwan. J. Math. 18, 1957–1979 (2014) CrossRefMATHGoogle Scholar
  28. 28.
    Willem, M.: Minimax Theorems. Birkhäuser, Boston (1996) CrossRefMATHGoogle Scholar

Copyright information

© The Author(s) 2018

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 and Affiliations

  1. 1.Department of MathematicsHuaihua UniversityHuaihuaP.R. China
  2. 2.School of Mathematics and StatisticsCentral South UniversityChangshaP.R. China

Personalised recommendations