Ground state sign-changing solutions for semilinear Dirichlet problems

In the present paper, we consider the existence of ground state sign-changing solutions for the semilinear Dirichlet problem

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.

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

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:

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

In order to facilitate the narrative, we set

and put

Problem (1.1) has been studied extensively, and much progress has been made recently concerning the existence of sign-changing solutions, see [1–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–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–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

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.

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

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

Moreover, for any \(u, \varphi\in H_{0}^{1}(\Omega)\), we have

Lemma 2.1

Assume that (F1)–(F4) hold. Then

Proof

It follows from (F4) that

Thus, by (2.1), (2.2), and (2.4), one has

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

Corollary 2.3

Assume that (F1)–(F4) hold. If \(u\in\mathcal {N}\), then

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

Proof

On the one hand, by Corollary 2.2, one has

On the other hand, for any \(u\in H_{0}^{1}(\Omega)\) with \(u^{\pm}\ne0\), it follows from Lemma 2.4 that

which implies

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

Let \(t_{n}=R/\|u_{n}\|\). Hence, by (2.1), (2.9), and Corollary 2.3, one has

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

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

and

These, together with (2.4) (\(t=0\)), show

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

which implies

 □

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 Φ.

For any \(\epsilon>0\), let \(f_{\epsilon}(x, t)=f(x, t)+\epsilon p|t|^{p-2}t\) and

Similarly, we define

and

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

Proof

By (F1) and (F2), there exists a constant \(C_{2}>0\) such that

From (3.1), (3.6), and Corollary 2.3, one has

 □

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

Hence, we can choose a sequence \(\{\epsilon_{n}\}\) such that \(\epsilon _{n}\searrow0\) as \(n\to\infty\), and

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

Let \(t_{n}=R/\|u_{\epsilon_{n}}\|\). Hence, using (3.1), (3.8), (3.9), and Corollary 2.3, one has

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

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

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

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

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

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

which yields

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

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

From (2.1), (2.2), (2.3), (3.14), and (3.16), we have

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

 □

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.

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

Affiliations

1. Department of Mathematics, Huaihua University, Huaihua, P.R. China
   • Xiaoyan Lin
2. School of Mathematics and Statistics, Central South University, Changsha, P.R. China
   • Xianhua Tang

Contributions

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

Corresponding author

Correspondence to Xiaoyan Lin.

Competing interests

The authors declare that they have no competing interests.

Publisher’s Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Reprints and Permissions