Skip to main content

Least energy nodal solutions for a weighted \((N, p)\)-Schrödinger problem involving a continuous potential under exponential growth nonlinearity


This article aims to investigate the existence of nontrivial solutions with minimal energy for a logarithmic weighted \((N,p)\)-Laplacian problem in the unit ball B of \(\mathbb{R}^{N}\), \(N>2\). The nonlinearities of the equation are critical or subcritical growth, which is motivated by weighted Trudinger–Moser type inequalities. Our approach is based on constrained minimization within the Nehari set, the quantitative deformation lemma, and degree theory results.

1 Introduction

This paper is devoted to the existence of sign-changing solutions for the following problem involving the logarithmic weighted \((N,p)\)-Laplacian:

$$ \textstyle\begin{cases} -\nabla .(w_{\beta}(x) \vert \nabla u \vert ^{N-2}\nabla u) -\Delta _{p}u +V(x) \vert u \vert ^{N-2}u = f(x,u)& \text{in } B, \\ u = 0 & \text{on } \partial B, \end{cases} $$

where B is the unit ball of \(\mathbb{R}^{N}\), \(N>p\geq 2\), the nonlinearity \(f(x, t)\) is continuous in \(B\times \mathbb{R}\) and behaves like \(e^{\alpha t^{\frac{N}{(N-1)(1-\beta )}}}, \beta \in [0,1)\), as \(t\rightarrow \infty \), for some \(\alpha >0\), \(\Delta _{p}\) denotes the p-Laplacian the second-order operator defined by \(\Delta _{p}u=\nabla .(|\nabla u|^{p-2}\nabla u)\), and the weight \(w_{\beta}(x)\) is given by

$$ w_{\beta}(x)= \bigl(1-\log \vert x \vert \bigr)^{\beta (N-1)},\quad \beta \in [0,1). $$

The potential \(V :\overline{B}\rightarrow \mathbb{R}\) is a positive continuous function and verifies


\(V(x)\geq V_{0}>0\) in B for some \(V_{0}>0\).

Condition \((V_{1})\) implies that the function \(\frac{1}{V}\) belongs to \(L^{\frac{1}{N-1}}(B)\).

The weighted \((N,p)\)-Laplacian operator is a generalization of the nonlinear \((N,p)\)-Laplacian operator. Indeed, the weight function serves as a versatile tool for modeling various effects, including the presence of a medium or the influence of an external field. This versatility makes it particularly suitable for representing a wide range of physical phenomena, such as diffusion, fluid flow, reaction-diffusion equations [2, 13], biophysics [23], plasma physics [39], and specific elementary particle models [6, 7, 18]. It is essential to note that the origins of the \((N,p)\)-Laplacian equation can be traced back to the study of stationary solutions in the context of the following reaction-diffusion system:

$$ u_{t}=\nabla . \bigl( \vert \nabla u \vert ^{N-2} \nabla u +\Delta _{p}u \bigr) -V(x) \vert u \vert ^{N-2}u+f(x,u). $$

In this equation, the function u represents a concentration. The first term characterizes diffusion with a diffusion coefficient of \((|\nabla u|^{N-2}+|\nabla u|^{p-2} )\). The continuous potential \(V(x)\) is a function influencing the system’s energy, and \(f(x,u)\) corresponds to the reaction term, linking to source and loss processes [5, 13]. As a result, quasilinear elliptic boundary value problems involving the \((N, p)\)-Laplacian operator with various nonlinearities have been extensively investigated by numerous researchers, as evident in works such as [3, 22, 33, 36] and the associated references.

When \(N = q \geq 2\), much attention from researchers has been directed towards this particular limit in the Sobolev embedding, widely recognized as the Trudinger–Moser case. More precisely, consider a smooth bounded domain Ω in \(\mathbb{R}^{N}\), where \(N\geq 2\). Let \(W_{0}^{1,N}(\Omega )\) represent the standard first-order Sobolev space defined as follows:

$$ W_{0}^{1,N}(\Omega )=\operatorname{closure}\biggl\{ u\in C_{0}^{\infty}( \Omega )\Bigm| \int _{\Omega} \vert \nabla u \vert ^{{N}}\,dx < \infty \biggr\} , $$

equipped with the norm

$$ \Vert u \Vert _{W_{0}^{1,N}(\Omega )}= \biggl( \int _{\Omega} \vert \nabla u \vert ^{N}\,dx \biggr)^{\frac{1}{N}}. $$

This space represents a critical limit in the Sobolev embedding theorem. While the theorem establishes that the space \(W_{0}^{1,N}(\Omega ) \hookrightarrow L^{p}(\Omega )\) for all \(1 \leq p < \infty \), it is well known, through simple examples, that \(W_{0}^{1,N}(\Omega ) \nsubseteq L^{\infty}(\Omega )\). Consequently, the natural question that arises is to identify the maximum growth function \(\Phi : \mathbb{R}\rightarrow \mathbb{R}^{+}\) such that

$$ \int _{\Omega} \Phi (u)\,dx < \infty \quad \text{for } u \in W_{0}^{1,N}( \Omega ) \text{ while satisfying } \Vert u \Vert _{W_{0}^{1,N} ( \Omega )} \leq 1. $$

This question was conclusively answered by Yudovich [42], Pohozaev [37], and Trudinger [38]. Their collective work has established that the maximal growth function is defined as \(\Phi (t) = e^{\vert t \vert ^{\frac{N}{N-1}}}\). Moser further refined this result in his work [35]. More specifically, he demonstrated that for all \(u\in W_{0}^{1,N}(\Omega )\), the function \(\exp (\alpha \vert u\vert ^{\frac{N}{N-1}})\) belongs to \(L^{1}(\Omega )\) for some \(\alpha > 0\). In fact, he established that

$$ \sup_{ \|u\|_{W_{0}^{1,N}(\Omega )}\leq 1} \int _{ \Omega} e^{\alpha |u|^{\frac{N}{N-1} }}\,dx < C(N)\quad \Longleftrightarrow \quad \alpha \leq \alpha _{N}:=N{ \omega}^{ \frac{1}{N-1}}_{N-1}, $$

where \(\omega _{N-1}\) represents the area of the unit sphere in \(\mathbb{R}^{N}\). It is worth noting that the constant \(\alpha _{N}\) is a critical threshold; for values of α greater than \(\alpha _{N}\), the supremum in (1.3) becomes infinite. Such estimates, akin to (1.3), are now commonly referred to as Trudinger–Moser type inequalities. For further exploration and applications in this field, the reader is directed to works such as [1517, 31, 32] and the associated references.

It is essential to highlight that considerable research efforts have been dedicated to the investigation of the impact of weight functions on the limiting inequalities of Trudinger–Moser type. Interested readers can delve into studies like [1, 12] to explore the effect of power weights within the integral term on maximal growth and [811] for insights into the influence of weights within the Sobolev norm. Kufner, in his work [29], introduced the concept of weighted Sobolev spaces and developed an embedding theory for such spaces with general weight functions. Let \(\Omega \subset \mathbb{R} \) and \(w \in L^{1}(\Omega )\) be a nonnegative function, then the weighted Sobolev space can be introduced as follows:

$$ W_{0}^{1,N}(\Omega ,w)= \operatorname{closure}\biggl\{ u\in C_{0}^{\infty}(\Omega ) \Bigm| \int _{\Omega}w(x) \vert \nabla u \vert ^{N}\,dx \text{ finite}\biggr\} . $$

When the weight function w takes the form of the logarithmic function, the weighted Sobolev spaces defined as in (1.4) hold particular significance. These spaces deal with limiting scenarios of such embeddings. Nevertheless, to obtain meaningful results, we find it necessary to confine our attention to radial functions. Thus, we turn our focus to the weighted Sobolev space of radial functions.

$$ W^{1,N}_{0,\mathrm{rad}}(\Omega ,w)=\operatorname{closure}\biggl\{ u\in C_{0,\mathrm{rad}}^{\infty}( \Omega )\Bigm| \int _{B}w(x) \vert \nabla u \vert ^{N} \,dx \text{ finite}\biggr\} , $$

endowed with the norm

$$ \Vert u \Vert _{W^{1,N}_{0,\mathrm{rad}}(\Omega ,w)}:= \vert \nabla u \vert _{N,w}= \biggl( \int _{B}w(x) \vert \nabla u \vert ^{N} \,dx \biggr)^{\frac{1}{N}}, $$

when w is given by (1.2).

The initial exploration of Trudinger–Moser inequalities for Sobolev spaces with logarithmic weights was conducted by Calanchi and Ruf, as documented in [8]. Their work focused on the case when \(N = 2\), considering a Sobolev norm of logarithmic type. Subsequently, they expanded their research to encompass the general case, as outlined in [9]. To be more specific, they established the following result.

Theorem 1.1

[9] Let \(\beta \in [0,1)\) and let \(w_{\beta}\) be given by (1.2), then

$$ \begin{aligned} &\int _{B} e^{|u|^{\gamma}} \,dx \textit{ is finite},\quad \textit{for every } u \in W^{1}_{0,\mathrm{rad}}(B,w_{\beta}),\quad \textit{if and only if} \\ & \gamma \leq \gamma _{N,\beta}=\frac{N}{(N-1)(1-\beta )}= \frac{N'}{1-\beta} \end{aligned} $$


$$ \sup_{ \substack{u\in W^{1}_{0,\mathrm{rad}}(B,w_{\beta}) \\ |\nabla u|_{N,w_{\beta}}\leq 1}} \int _{B} e^{\alpha |u|^{\gamma _{N,\beta} }}\,dx < +\infty \quad \Leftrightarrow \quad \alpha \leq \alpha _{N,\beta}=N\bigl[\omega ^{ \frac{1}{N-1}}_{N-1}(1-\beta )\bigr]^{\frac{1}{1-\beta}}, $$

where \(\omega _{N-1}\) is the area of the unit sphere \(S^{N-1}\) in \(\mathbb{R}^{N}\) and \(N'\) is the Hölder conjugate of N.

Let \(\gamma := \gamma _{N,\beta}=\frac{N'}{1-\beta}\), in view of inequalities (1.6) and (1.7), we say that f has subcritical growth at +∞ if

$$ \lim_{ \vert s \vert \rightarrow \infty}\frac{ \vert f(x,s) \vert }{e^{\alpha s^{\gamma}}}=0\quad \text{for all }\alpha \text{ such that } \alpha _{N,\beta}\geq \alpha >0 $$

and f has critical growth at ∞ if there exists some \(0<\alpha _{0}\leq \alpha _{N,\beta}\),

$$ \begin{aligned} &\lim_{ \vert s \vert \rightarrow \infty}\frac{ \vert f(x,s) \vert }{e^{\alpha s^{\gamma}}}=0,\quad \forall \alpha \text{ such that } \alpha _{0}\leq \alpha \leq \alpha _{N,\beta}\quad \text{and} \\ &\lim_{ \vert s \vert \rightarrow \infty} \frac{ \vert f(x,s) \vert }{e^{\alpha s^{\gamma}}}=\infty ,\quad \forall \alpha < \alpha _{0}. \end{aligned} $$

In the case \(p < q = N\), problem (1.1) has attracted substantial attention from various researchers, each addressing it with distinct nonlinearities. This work is inspired by the work of authors such as [24, 25, 28, 30, 41, 44] and the references therein. Notably, in the work by Figueredo and Nunes [24], the focus was on investigating the existence of positive solutions within a specific class of quasilinear problems.

$$ \textstyle\begin{cases} -\operatorname{div}(a( \vert \nabla u \vert ^{p}) \vert \nabla u \vert ^{p-2}\nabla u) = f(u)& \text{in } \Omega \subset \mathbb{R}^{N}, \\ u = 0 &\text{on } \partial \Omega , \end{cases} $$

in which the hypotheses on function a included the case \(-\Delta _{N}u -\Delta _{p}u\). The nonlinearity \(f:\mathbb{R}\rightarrow \mathbb{R}\) is a superlinear continuous function with exponential subcritical or critical growth, and the function a is \(C^{1}\). By using the minimization argument and deformation lemma, the authors proved the existence of a least energy nodal solutions for equation (1.10) with two nodal domains. Moreover, Zhang and Yang [44] considered the problem

$$ \textstyle\begin{cases} -\Delta _{N}u -\Delta _{p}u = \lambda u^{N-1} e^{\beta u^{N'}}-\mu &\text{in } \Omega, \\ u > 0& \text{in } \Omega, \\ u = 0 &\text{on } \partial \Omega , \end{cases} $$

where \(1< N/2 < p< N\), \(N'=\frac{N}{N-1}\), Ω is an open bounded domain containing the origin in \(\mathbb{R}^{N}\) with \(C^{2}\) boundary and \(\lambda ,\mu > 0\) are positive real parameters. To be more specific, the authors demonstrated the existence of positive solutions for the above problem by combining variational techniques with regularity arguments. Alternatively, [4, 10, 11, 14, 19, 20, 43] investigated elliptic equations with weighted N-Laplacian operator and critical Trudinger–Moser nonlinearities, while this paper will focus on a different class of problems.

Inspired by the above results, this paper embarks on an inquiry into the presence of sign-changing solutions possessing minimal energy for weighted problems akin to those of Shrödinger type. We study both subcritical and critical exponential growth patterns at infinity by using the constraint minimization argument and topological degree theory.

With this objective in mind, we consider the space

$$ X_{\beta}:= W^{1,N}_{0,\mathrm{rad}}(B,w_{\beta}), $$

which is a reflexive and Banach space provided condition \((V_{1})\) holds. \(X_{\beta}\) is endowed with the norm

$$ \Vert u \Vert := \biggl( \int _{B}w_{\beta}(x) \vert \nabla u \vert ^{N} +V(x) \vert u \vert ^{N}\,dx \biggr)^{ \frac{1}{N}},$$

which is equivalent to the following norm:

$$ \Vert u \Vert _{W^{1,N}_{0,\mathrm{rad}}(B,w_{\beta})}= \biggl( \int _{B}w_{ \beta}(x) \vert \nabla u \vert ^{N} \,dx \biggr)^{\frac{1}{N}}. $$

Note that the embedding \(X_{\beta}\hookrightarrow L^{q}(B)\) is continuous for all \(q \geq 1\). Moreover, the embedding \(X_{\beta}\hookrightarrow L^{q}(B)\) is compact for all \(q \geq N\), see [26]. For this work, we impose the following conditions on the nonlinearity \(f(x, t)\):


\(f: B \times \mathbb{R}\rightarrow \mathbb{R}\) is \(C^{1}\) and radial in x;


There exists \(\theta > N\) such that

$$ 0 < \theta F(x, t) \leq t f(x,t),\quad \forall (x,t) \in B \times \mathbb{R} \setminus \{0\}, $$

where \(F(x, t) = \int _{0}^{t}f(x,s)\,ds \);


For each \(x\in B\), \(t \mapsto \frac{f(x,t)}{|t|^{N-1}}\) is increasing for all \(t \in \mathbb{R}\setminus \{0\}\);


\(\lim_{t\rightarrow 0}\frac{f(x,t)}{|t|^{N-1}}=0\), uniformly in \(x \in B\);


There exist \(r > N\) and \(C_{r} > 1\) such that

$$ \operatorname{sgn}(t) f(x,t) \geq C_{r} \vert t \vert ^{r-1} \quad \text{for all } (x,t) \in B \times \mathbb{R}, $$

where \(\operatorname{sgn}(t) = 1\) if \(t > 0\), \(\operatorname{sgn}(t) = 0\) if \(t = 0\), and \(\operatorname{sgn}(t) = -1\) if \(t < 0\).

A typical example of a function f satisfying conditions \((A_{1})\), \((A_{2})\), \((A_{3})\), \((A_{4})\), and \((A_{5})\) is given by

$$ f(t)= C_{r} \vert t \vert ^{r-2}t + \vert t \vert ^{r-2}te^{t^{\gamma}} \quad \text{with } r>N. $$

The energy functional, sometimes referred to as the Euler–Lagrange functional associated with problem (1.1), is defined as follows:

$$ \mathcal{J}(u):=\frac{1}{N} \int _{B}w_{\beta}(x) \vert \nabla u \vert ^{N}+V(x) \vert u \vert ^{N} \,dx + \frac{1}{p} \int _{B} \vert \nabla u \vert ^{p} \,dx - \int _{B}F(x,u)\,dx , $$

where \(F(x,u)=\int _{0}^{u}f(x,t)\,dt \). It is evident that the search for nontrivial weak solutions to problem (1.1) is equivalent to identifying nonzero critical points within the functional \(\mathcal{J}\). Since the reaction term f is of critical or subcritical growth, there exist positive constants \(c_{1}\) and \(c_{2}\) such that

$$ \bigl\vert f(x,t) \bigr\vert \leq c_{1} \exp \bigl\{ c_{2} \vert t \vert ^{\gamma}\bigr\} , \quad \forall x\in B, \quad \forall t\in \mathbb{R}, $$

and so, by using \((A_{1})\), we have that \(\mathcal{J} \in C^{1} (X_{\beta}, \mathbb{R})\) and

$$ \begin{aligned} \bigl\langle \mathcal{J}'(u),\varphi \bigr\rangle &:= \int _{B} \bigl(w_{\beta}(x) \vert \nabla u \vert ^{N-2} + \vert \nabla u \vert ^{p-2} \bigr) \nabla u \nabla \varphi \,dx + \int _{B}V(x) \vert u \vert ^{N-2}u\varphi \,dx \\ &\quad {}- \int _{B}f(x,u) \varphi \,dx \end{aligned} $$

for all u and \(\varphi \in X_{\beta}\). Clearly, the critical points of functional \(\mathcal{J}\) are weak solutions of problem (1.1).

Definition 1.1

A function u is called a solution to (1.1) if \(u \in X_{\beta}\) and

$$ \begin{aligned} &\int _{B} \bigl(w_{\beta}(x) \vert \nabla u \vert ^{N-2}+ \vert \nabla u \vert ^{p-2} \bigr) \nabla u \nabla \varphi \,dx + \int _{B}V(x) \vert u \vert ^{N-2}u\varphi \,dx \\ &\quad = \int _{B}f(x,u) \varphi \,dx \quad \text{for all } \varphi \in X_{\beta}. \end{aligned} $$

Definition 1.2

\(v \in X_{\beta}\) is called nodal or sign-changing solution of problem (1.1) if v is a solution of problem (1.1) and \(v^{\pm }\neq 0\) a.e. in B.

\(v \in X_{\beta}\) is called least energy sign-changing solution of problem (1.1) if v is a sign-changing solution of (1.1) and

$$ \mathcal{J}(v) = \inf \bigl\{ \mathcal{J}(u) : \mathcal{J}'(u)=0, u^{ \pm }\neq 0 \text{ a.e. in } B\bigr\} . $$

Our approach revolves around the pursuit of sign-changing solutions that minimize the associated energy functional \(\mathcal{J}\) among the ensemble of all sign-changing solutions to problem (1.1). To this end, we introduce the sign-changing Nehari set defined as follows:

$$ \mathcal{N} := \bigl\{ u \in X_{\beta}, u^{\pm} \neq 0 \text{ and } \bigl\langle \mathcal{J}'(u),u^{+} \bigr\rangle = \bigl\langle \mathcal{J}'(u),u^{-} \bigr\rangle = 0\bigr\} , $$

where \(u^{+}(x) := \max \{u(x),0\}\) and \(u^{-}(x) := \min \{u(x),0\}\). It is evident that any sign-changing solution of problem (1.1) resides in the set \(\mathcal{N}\). According to (1.14), we have

$$ \bigl\langle \mathcal{J}'(u), u^{\pm}\bigr\rangle = \int _{B}w_{\beta}(x) \bigl\vert \nabla u^{\pm} \bigr\vert ^{N}+V(x) \bigl\vert u^{\pm} \bigr\vert ^{N}\,dx + \int _{B} \bigl\vert \nabla u^{\pm} \bigr\vert ^{p}\,dx - \int _{B}f\bigl(x,u^{\pm}\bigr) u^{\pm} \,dx . $$

It is important to note that, for every \(u = u^{+} + u^{-} \in \mathcal{N}\), it is readily observed that

$$\begin{aligned}& \mathcal{J}(u) = \mathcal{J}\bigl(u^{+}\bigr) + \mathcal{J} \bigl(u^{-}\bigr), \qquad \bigl\langle \mathcal{J}'(u), u^{+}\bigr\rangle =\bigl\langle \mathcal{J}' \bigl(u^{+}\bigr), u^{+} \bigr\rangle \quad \text{and} \\& \bigl\langle \mathcal{J}'(u), u^{-}\bigr\rangle = \bigl\langle \mathcal{J}' \bigl(u^{-}\bigr), u^{-}\bigr\rangle . \end{aligned}$$

In our initial theorem, we prove the existence of sign-changing solutions for (1.1) in the exponential subcritical case.

Theorem 1.2

Assume that \(f(x,t)\) has a subcritical growth atand satisfies conditions \((A_{1})\), \((A_{2})\), \((A_{3})\), and \((A_{4})\). If in addition condition \((V_{1})\) holds, then problem (1.1) admits a least energy sign-changing solution \(v \in \mathcal{N}\) with precisely two nodal domains.

In our second theorem, we establish the existence of a sign-changing solution for (1.1) in the exponential critical case.

Theorem 1.3

Assume that \(f(x,t)\) has a critical growth atand satisfies conditions \((A_{1})\), \((A_{2})\), \((A_{3})\), \((A_{4})\), and \((A_{5})\). If in addition condition \((V_{1})\) holds, then there exists \(\delta >0\) such that problem (1.1) admits a least energy sign-changing solution \(v \in \mathcal{N}\) with precisely two nodal domains provided

$$ C_{p} > \max \biggl(1, \biggl( \frac{N^{2} \theta (r-p) c_{\mathcal{N}_{r}}}{p(r-N)(\theta -N)} \biggl(\frac{2(\alpha _{0} + \delta )}{\alpha _{N,\beta} } \biggr)^{(N-1)(1- \beta )} \biggr)^{\frac{r-p}{p}} \biggr) >0, $$

where \(c_{\mathcal{N}_{r}} = \inf_{\mathcal{N}_{r}} \mathcal{J}_{r}(u)>0\),

$$ \mathcal{J}_{r}(u) :=\frac{1}{N} \Vert u \Vert ^{N} + \frac{1}{p} \Vert u \Vert _{p}^{p} - \frac{1}{r} \int _{B} \vert u \vert ^{r} \,dx $$


$$ \mathcal{N}_{r}:= \bigl\{ u \in X_{\beta}, u^{\pm} \neq 0 \textit{ and } \bigl\langle \mathcal{J}_{r}'(u),u^{+} \bigr\rangle =\bigl\langle \mathcal{J}_{r}'(u),u^{-} \bigr\rangle = 0\bigr\} . $$

The rest of this paper proceeds as follows. In Sects. 2, we introduce preliminaries for the compactness analysis and some useful lemmas. Section 3 is devoted to proving Theorem 1.2. Finally, in Sect. 4, we establish some estimates and prove Theorem 1.3.


Throughout this paper, we use the following notations:

  • C denotes a positive constant that may change from one line to another, and we sometimes index the constant to show how they change.

  • \(\vert u \vert _{p}\) denotes the norm in the Lebesgue space \(L^{p}(B)\) for \(p \geq 1\).

  • \(\vert u \vert _{p, \omega}\) denotes the norm in the weighted Lebesgue space \(L^{p}(B, \omega )\), which is defined by

    $$ \vert u \vert _{p,\omega}= \biggl( \int _{B}w_{\beta} (x) \vert u \vert ^{p} \,dx \biggr)^{ \frac{1}{p}}. $$
  • \(\Vert u \Vert _{p}\) denotes the norm in the usual Sobolev space \(W_{0}^{1,p}(B)\), which is defined by

    $$ \Vert u \Vert _{p}= \biggl( \int _{B} \vert \nabla u \vert ^{p} \,dx \biggr)^{\frac{1}{p}}. $$

2 Some useful lemmas

In this section, we prove some lemmas that are important to obtain the desired results. To this end, let \(u \in X_{\beta}\) with \(u^{\pm} \neq 0\), we define the function \(\mathcal{G}: \mathbb{R}_{+}\times \mathbb{R}_{+}\to \mathbb{R}\) and the mapping \(\mathcal{K}: \mathbb{R}_{+}\times \mathbb{R}_{+}\to \mathbb{R}^{2}\), where

$$ \mathcal{G}(s, t)=\mathcal{J}\bigl(s u^{+}+t u^{-}\bigr) $$


$$ \mathcal{K}(s,t)= \bigl(\bigl\langle \mathcal{J}' \bigl(s u^{+}+s u^{-}\bigr),s u^{+} \bigr\rangle , \bigl\langle \mathcal{J}'\bigl(s u^{+} +t u^{-}\bigr),t u^{-} \bigr\rangle \bigr). $$

Lemma 1

For any \(u \in X_{\beta}\) with \(u^{\pm} \neq 0\), there is the unique maximum point pair \((s_{u}, t_{u}) \in \mathbb{R}_{+}\times \mathbb{R}_{+}\) of the function \(\mathcal{G}\) such that \(s_{u} u^{+} + t_{u} u^{-} \in \mathcal{N}\).


The proof of this lemma is obtained in three steps. The first step consists in showing that there exists a pair of positive numbers \((s_{u},t_{u})\) such that \(s_{u}u^{+}+ t_{u}u^{-}\in \mathcal{N}\) for any \(u \in X_{\beta}\) with \(u^{\pm} \neq 0\). Note that

$$ \begin{aligned} \bigl\langle \mathcal{J}' \bigl(s u^{+}+t u^{-}\bigr),s u^{+}\bigr\rangle = \bigl\Vert su^{+} \bigr\Vert ^{N} + \bigl\Vert su^{+} \bigr\Vert _{p}^{p}- \int _{B}f\bigl(x,s u^{+}\bigr) su^{+} \,dx \end{aligned} $$


$$ \begin{aligned} \bigl\langle \mathcal{J}' \bigl(s u^{+}+t u^{-}\bigr),t u^{-}\bigr\rangle = \bigl\Vert tu^{-} \bigr\Vert ^{N} + \bigl\Vert tu^{-} \bigr\Vert _{p}^{p}- \int _{B}f\bigl(x,t u^{-}\bigr) tu^{-} \,dx . \end{aligned} $$

Note that, from \((A_{4})\), for any \(\varepsilon > 0\), there exists \(\delta > 0\) such that

$$ f(x,t) \leq \varepsilon \vert t \vert ^{N-1} \quad \text{for } \vert t \vert \leq \delta \text{ and } x \in B. $$

Since f is subcritical or critical, for every \(\varepsilon >0\), there exist constants \(c_{1}=c_{1}(\varepsilon )>0\) and \(K>0\) such that, for all \(q>N\),

$$ f(x,t)t\leq c_{1} \vert t \vert ^{q} \exp\bigl(\alpha \vert t \vert ^{\gamma}\bigr), \quad \forall \vert t \vert \geq K,\alpha >\alpha _{0}\ \forall x\in B \cdot $$

Then, from (2.5) and (2.6), we have

$$ f(x,t)t\leq \varepsilon \vert t \vert ^{N}+ C \vert t \vert ^{q} \exp\bigl(\alpha \vert t \vert ^{\gamma}\bigr) \quad \text{for all } \alpha > \alpha _{0}, q>N. $$

So, we get

$$ \begin{aligned} &\int _{B}f\bigl(x,s u^{+}\bigr) su^{+}\,dx \leq \varepsilon \int _{B} \bigl\vert s u^{+} \bigr\vert ^{N} \,dx + C \int _{B} \bigl\vert su^{+} \bigr\vert ^{q} \exp\bigl(\alpha \bigl(su^{+}\bigr)^{\gamma} \bigr)\,dx \\ &\quad \text{for all } \alpha > \alpha _{0}, q>N. \end{aligned} $$

Now, from (2.7), (1.6), the Sobolev embedding theorem, and Hôlder’s inequality, we have for \(s > 0\) small enough satisfying \(s\leq \frac{\alpha _{N,\beta}^{\frac{1}{\gamma}}}{(2\alpha )^{\frac{1}{\gamma}}\|u^{+}\|}\):

$$ \begin{aligned} &\bigl\langle \mathcal{J}' \bigl(s u^{+}+t u^{-}\bigr),s u^{+}\bigr\rangle \\ &\quad \geq \bigl\Vert su^{+} \bigr\Vert ^{N} + \bigl\Vert su^{+} \bigr\Vert _{p}^{p} - \varepsilon s^{N} \int _{B} \bigl\vert u^{+} \bigr\vert ^{N} \,dx - C_{\varepsilon }s^{q} \int _{B} \bigl\vert u^{+} \bigr\vert ^{q} \exp\bigl( \alpha \bigl(su^{+} \bigr)^{\gamma}\bigr)\,dx \\ &\quad \geq \bigl\Vert su^{+} \bigr\Vert ^{N} + \bigl\Vert su^{+} \bigr\Vert _{p}^{p} - \varepsilon s^{N} \int _{B} \bigl\vert u^{+} \bigr\vert ^{N} \,dx \\ &\quad \quad{}- C s^{q} \biggl( \int _{B} \bigl\vert u^{+} \bigr\vert ^{2q}\,dx \biggr)^{\frac{1}{2}} \biggl( \int _{B} \exp\biggl(2 \alpha s^{\gamma} \bigl\Vert u^{+} \bigr\Vert ^{\gamma} \biggl( \frac{u^{+} }{ \Vert u^{+} \Vert }\biggr)^{\gamma}\biggr)\,dx \biggr)^{\frac{1}{2}} \\ &\quad \geq s^{N} \bigl\Vert u^{+} \bigr\Vert ^{N} -\varepsilon s^{N} C_{1} \bigl\Vert u^{+} \bigr\Vert ^{N} - C_{2} s^{q} \bigl\Vert u^{+} \bigr\Vert ^{q}. \end{aligned} $$

Choose \(\varepsilon >0\) small enough such that \((1-\varepsilon C_{1})>0\). Since \(q>N\), we have that

$$ \bigl\langle \mathcal{J}'\bigl(s u^{+}+t u^{-}\bigr),s u^{+}\bigr\rangle >0\quad \text{for } s \text{ small enough and all } t\ge 0. $$

Similarly, according to (2.4) and (2.7), we get

$$ \bigl\langle \mathcal{J}'\bigl(s u^{+}+t u^{-}\bigr),t u^{-}\bigr\rangle >0 \quad \text{for } t \text{ small enough and all } s\ge 0. $$

Hence, there exists \(r>0\) such that

$$ \bigl\langle \mathcal{J}'\bigl(ru^{+}+ tu^{-}\bigr),ru^{+}\bigr\rangle >0\quad \text{and} \quad \bigl\langle \mathcal{J}'\bigl(s u^{+}+ru^{-}\bigr),ru^{-}\bigr\rangle >0 \quad \text{for all } s, t\ge 0. $$

On the other hand, by \((A_{2})\), we can find positive constants \(C_{3}\) and \(C_{4}\) such that

$$\begin{aligned} f(x,t)t \geq C_{3} \vert t \vert ^{\theta }- C_{4}, \quad \forall (x,t) \in \bigl(B,\mathbb{R} \setminus \{0\}\bigr). \end{aligned}$$

Thus, we get

$$ \begin{aligned} &\bigl\langle \mathcal{J}' \bigl(s u^{+}+t u^{-}\bigr),s u^{+}\bigr\rangle \\ &\quad = \bigl\Vert su^{+} \bigr\Vert ^{N} + \bigl\Vert su^{+} \bigr\Vert _{p}^{p} - \int _{B}f\bigl(x,s u^{+}\bigr) su^{+} \,dx \\ &\quad \leq s^{N} \bigl\Vert u^{+} \bigr\Vert ^{N} + s^{p} \bigl\Vert u^{+} \bigr\Vert _{p}^{p} - C_{3} s^{\theta } \int _{B} \bigl\vert u^{+} \bigr\vert ^{\theta }+ \frac{\omega _{N-1}}{N} C_{4}. \end{aligned} $$

Since \(\theta >N\), there exists \(R>r\) large enough such that

$$ \bigl\langle \mathcal{J}'\bigl(Ru^{+}+ tu^{-}\bigr),Ru^{+}\bigr\rangle < 0\quad \text{and} \quad \bigl\langle \mathcal{J}'\bigl(s u^{+}+Ru^{-}\bigr),Ru^{-}\bigr\rangle < 0 \quad \text{for all } s, t \in [r,R]. $$

In view of Miranda’s theorem [34], together with (2.9) and (2.12), we can conclude that there exists \((s_{u},t_{u})\in \mathbb{R}_{+} \times \mathbb{R}_{+}\) such that \(\mathcal{K}(s_{u},t_{u})=(0,0)\), i.e., \(s_{u}u^{+}+t_{u}u^{-}\in \mathcal{N}\).

In the second step, we prove the uniqueness of the pair \((s_{u},t_{u})\). First, we assume that \(u = u^{+}+ u^{-} \in \mathcal{N}\). Then, we have

$$ \bigl\langle \mathcal{J}'(u),u^{+}\bigr\rangle =0 \quad \text{and} \quad \bigl\langle \mathcal{J}'(u),u^{-} \bigr\rangle =0, $$

that is,

$$ \bigl\Vert u^{+} \bigr\Vert ^{N} + \bigl\Vert u^{+} \bigr\Vert _{p}^{p} = \int _{B}f\bigl(x,u^{+}\bigr) u^{+} \,dx \quad \text{and}\quad \bigl\Vert u^{-} \bigr\Vert ^{N} + \bigl\Vert u^{-} \bigr\Vert _{p}^{p}= \int _{B}f\bigl(x,u^{-}\bigr) u^{-} \,dx . $$

By Claim 1, we know that there exists at least one positive pair \((s_{0}, t_{0})\) satisfying \(s_{0}u^{+}+t_{0}u^{-}\in \mathcal{N}\). Now, we show that \((s_{0},t_{0})=(1,1)\) is the unique pair of numbers. Without loss of generality, let us assume that \(s_{0}\leq t_{0}\). It follows from (2.3) that

$$ s_{0}^{N} \bigl\Vert u^{+} \bigr\Vert ^{N} + s_{0}^{p} \bigl\Vert u^{+} \bigr\Vert _{p}^{p} = \int _{B}f\bigl(x,s_{0}u^{+}\bigr) s_{0}u^{+} \,dx . $$

If \(s_{0}<1\), then from (2.13), (2.14), and \((A_{3})\), we have

$$ \begin{aligned} 0& < \bigl(s_{0}^{-N}-1 \bigr) \bigl\Vert u^{+} \bigr\Vert ^{N} + \bigl(s_{0}^{p-N}-1\bigr) \bigl\Vert u^{+} \bigr\Vert _{p}^{p} \\ &= \int _{B} \biggl( \frac{f(x,s_{0} u^{+})}{(s_{0} u^{+})^{N -1}}- \frac{f(x, u^{+})}{(u^{+})^{N -1}} \biggr) \bigl(u^{+}\bigr)^{N} \,dx \leq 0, \end{aligned} $$

which is a contradiction. Hence, \(1\leq s_{0}\leq t_{0}\).

Arguing similarly by using the equations \(\langle \mathcal{J}'(s u^{+}+t u^{-}),t u^{-}\rangle =0\) and \(\langle \mathcal{J}'(u),u^{-}\rangle =0\), we obtain that \(s_{0}\leq t_{0}\leq 1\), which implies that \(s_{0}=t_{0}=1\), and the proof is complete.

For the general case, we suppose that \(u \notin \mathcal{N}\). Assume that there exist two other pairs of positive numbers \((s_{1},t_{1})\) and \((s_{2},t_{2})\) such that

$$ \sigma _{1}=s_{1}u^{+} +t_{1}u^{-}\in \mathcal{N}\quad \text{and} \quad \sigma _{2}=s_{2}u^{+}+t_{2}u^{-} \in \mathcal{N}. $$


$$ \sigma _{2}= \biggl(\frac{s_{2}}{s_{1}} \biggr)s_{1}u^{+} + \biggl( \frac{t_{2}}{t_{1}} \biggr)t_{1}u^{-} = \biggl(\frac{s_{2}}{s_{1}} \biggr) \sigma _{1}^{+} + \biggl(\frac{t_{2}}{t_{1}} \biggr)\sigma _{1}^{-} \in \mathcal{N}. $$

Since \(\sigma _{1}\in \mathcal{N}\), it is clear that

$$ \frac{s_{2}}{s_{1}}=\frac{t_{2}}{t_{1}}=1, $$

which means that \(s_{1}=s_{2}\) and \(t_{1}=t_{2}\).

Finally, we prove that the pair \((s_{u},t_{u})\) is the unique maximum point of the function \(\mathcal{G}\) on \(\mathbb{R}_{+}\times \mathbb{R}_{+}\). We know from the above that \((s_{u},t_{u})\) is the unique critical point of \(\mathcal{G}\) on \(\mathbb{R}_{+}\times \mathbb{R}_{+}\). By definition and (2.10), we obtain

$$\begin{aligned} \mathcal{G}(s,t) &=\mathcal{J}\bigl(s u^{+}+t u^{-} \bigr) \\ &=\frac{1}{N} \bigl\Vert s u^{+}+t u^{-} \bigr\Vert ^{N} + \frac{1}{p} \bigl\Vert s u^{+}+t u^{-} \bigr\Vert ^{p} - \int _{B}F\bigl(x,s u^{+} + t u^{-}\bigr) \,dx \\ &\leq \frac{1}{N} \bigl\Vert s u^{+}+t u^{-} \bigr\Vert ^{N} + \frac{1}{p} \bigl\Vert s u^{+}+t u^{-} \bigr\Vert ^{p} - C_{1} s^{\theta } \int _{B} \bigl\vert u^{+} \bigr\vert ^{ \theta }\,dx - C_{1} t^{\theta } \int _{B} \bigl\vert u^{-} \bigr\vert ^{\theta }\,dx + C \vert B \vert \\ &\leq \frac{1}{N} \bigl(s^{N} \bigl\Vert u^{+} \bigr\Vert ^{N} + t^{N} \bigl\Vert u^{-} \bigr\Vert ^{N} \bigr) + \frac{1}{p} \bigl(s^{p} \bigl\Vert u^{+} \bigr\Vert ^{p} + t^{p} \bigl\Vert u^{-} \bigr\Vert ^{p} \bigr)- C_{1} s^{\theta } \int _{B} \bigl\vert u^{+} \bigr\vert ^{\theta }\,dx \\ &\quad{}- C_{1} t^{\theta } \int _{B} \bigl\vert u^{-} \bigr\vert ^{\theta }\,dx + C \vert B \vert , \end{aligned}$$

which implies that \(\lim_{|(s,t)|\to \infty}\mathcal{G}(s,t)=-\infty \) because \(\theta >N\). Hence, it suffices to show that the maximum point cannot be achieved on the boundary of \(\mathbb{R}_{+}\times \mathbb{R}_{+}\). We carry out the proof by contradiction. Assuming \((0,\bar{t})\) is the global maximum point of \(\mathcal{G}\) with \(\bar{t}\ge 0\), we have

$$\begin{aligned} \mathcal{G}(s,\bar{t}) &= \frac{1}{N} \bigl\Vert s u^{+}+\bar{t} u^{-} \bigr\Vert ^{N} + \frac{1}{p} \bigl\Vert s u^{+}+\bar{t} u^{-} \bigr\Vert ^{p} - \int _{B}F\bigl(x,s u^{+} + \bar{t} u^{-}\bigr) \,dx . \end{aligned}$$

Hence, by (2.8) it is clear that

$$\begin{aligned} \mathcal{G}_{s}'(s,\bar{t}) &=s^{N-1} \bigl\Vert u^{+} \bigr\Vert ^{N} + s^{p-1} \bigl\Vert u^{+} \bigr\Vert ^{p} - \int _{B}f\bigl(x,s u^{+}\bigr)u^{+} \,dx >0 \end{aligned}$$

for small enough s. This means that \(\mathcal{G}\) is an increasing function with respect to s if s is small enough, which is a contradiction. In a similar way, we can deduce that \(\mathcal{G}\) cannot achieve its global maximum at \((s,0)\) with \(s\ge 0\). Thus, we have completed the proof. □

Lemma 2

Assume that \((A_{1})\)\((A_{4})\) and \((V_{1})\) hold. Then, for any \(u \in X_{\beta}\) with \(u^{\pm} \neq 0\) such that \(\langle \mathcal{J}'(u),u^{\pm}\rangle \leq 0\), the unique maximum point pair of \(\mathcal{G}\) on \(\mathbb{R}_{+}\times \mathbb{R}_{+}\) verifies \(0< s_{u}, t_{u}\leq 1\).


Without loss of generality, we may suppose that \(0< t_{u}\leq s_{u}\). Since \(s_{u}u^{+}+t_{u}u^{-}\in \mathcal{N}\), we have

$$ \begin{aligned} \bigl\Vert s_{u}u^{+} \bigr\Vert ^{N} + \bigl\Vert s_{u}u^{+} \bigr\Vert _{p}^{p} = \int _{B}f\bigl(x,s u^{+}\bigr) su^{+} \,dx . \end{aligned} $$

Furthermore, since \(\langle \mathcal{J}'(u),u^{+}\rangle \leq 0\), we have

$$ \bigl\Vert u^{+} \bigr\Vert ^{N} + \bigl\Vert u^{+} \bigr\Vert _{p}^{p} \leq \int _{B}f\bigl(x, u^{+}\bigr) u^{+} \,dx .$$

Then, from (2.16) and (2.17), we get

$$ \begin{aligned} &\bigl(s_{u}^{-N}-1 \bigr) \bigl\Vert u^{+} \bigr\Vert ^{N} + \bigl(s_{u}^{p-N}-1\bigr) \bigl\Vert u^{+} \bigr\Vert _{p}^{p}\geq \int _{B} \biggl( \frac{f(x,s_{u} u^{+})}{(s_{u} u^{+})^{N-1}}- \frac{f(x,u^{+})}{(u^{+})^{N-1}} \biggr) \bigl(u^{+}\bigr)^{N} \,dx . \end{aligned} $$

From (\(A_{3}\)) and (\(M_{2}\)), the left-hand side of (2.18) is negative for \(s_{u}>1\), whereas the right-hand side is positive, which is a contradiction. Therefore \(0< s_{u},t_{u}\leq 1\). □

Lemma 3

Suppose that hypotheses (\(A_{1}\)), (\(A_{2}\)), and (\(A_{3}\)) are satisfied. Then, for each \(x\in B\), we have

$$ tf(x, t) -N F(x, t)\quad \textit{is increasing for } t> 0 \textit{ and decreasing for } t< 0. $$

In particular, \(tf(x, t) - N F(x, t)> 0 \quad \textit{for all } (x,t) \in B \times \mathbb{R}\setminus \{0\}\).


To prove this lemma, it is enough to analyze the derivative of \(tf(x, t) - NF(x, t)\) together with assumptions \((A_{1})\) and \((A_{3})\). □

Lemma 4

Assume that \((A_{2})\), \((A_{4})\), and \((V_{1})\) hold. Then, for all \(u \in \mathcal{N}\), we have:


There exists \(\kappa > 0\) such that \(\Vert u^{+}\Vert \), \(\Vert u^{-}\Vert \geq \kappa \);


\(\mathcal{J}(u)\geq (\frac{1}{N} - \frac{1}{\theta})\|u \|^{N}\).


i) We only prove that there exists \(\kappa > 0\) such that \(\Vert u^{+}\Vert \geq \kappa \) for all \(u \in \mathcal{N}\) and the proof for \(\Vert u^{-}\Vert \) is similar. By contradiction, we suppose that there exists a sequence \(\{u_{n}^{+}\}\subset \mathcal{M} \) such that \(\Vert u_{n}^{+}\Vert \rightarrow 0\) as \(n \rightarrow \infty \). Since \(u_{n} \in \mathcal{N}\), we have \(\langle \mathcal{J}'(u_{n}),u_{n}^{+}\rangle =0\). Thus, from (2.7), we get

$$ \begin{aligned} \bigl\Vert u^{+}_{n} \bigr\Vert ^{N}& < \bigl\Vert u^{+}_{n} \bigr\Vert ^{N} + \bigl\Vert u^{+}_{n} \bigr\Vert _{p}^{p} = \int _{B}f\bigl(x,u_{n}^{+}\bigr) u_{n}^{+} \,dx \\ &\leq \varepsilon \int _{B} \bigl\vert u_{n}^{+} \bigr\vert ^{N} \,dx + C \int _{B} \bigl\vert u_{n}^{+} \bigr\vert ^{q} \exp\bigl(\alpha \bigl(u_{n}^{+} \bigr)^{\gamma}\bigr)\,dx \end{aligned} $$

for all \(n \in \mathbb{N}\), \(q>N\), and \(\alpha >\alpha _{0}\). Since \(\Vert u_{n}^{+}\Vert \rightarrow 0\) as \(n \rightarrow \infty \), there exists \(n_{0} \in \mathbb{N}\) such that \(\Vert u_{n}^{+}\Vert ^{\gamma }\leq ( \frac{\alpha _{N,\beta}}{2\alpha})\) for all \(n \geq n_{0}\). From Hôlder’s inequality and (1.6), we get

$$ \begin{aligned} \int _{B} \bigl\vert u_{n}^{+} \bigr\vert ^{q} \exp\bigl(\alpha \bigl(u_{n}^{+} \bigr)^{\gamma}\bigr)\,dx &\leq \biggl( \int _{B} \bigl\vert u_{n}^{+} \bigr\vert ^{2q}\,dx \biggr)^{\frac{1}{2}} \biggl( \int _{B} \exp\biggl(2 \alpha \bigl\Vert u_{n}^{+} \bigr\Vert ^{\gamma} \biggl( \frac{u_{n}^{+} }{ \Vert u_{n}^{+} \Vert }\biggr)^{\gamma}\biggr)\,dx \biggr)^{ \frac{1}{2}} \\ &\leq C \bigl\Vert u_{n}^{+} \bigr\Vert _{2q}^{q}. \end{aligned} $$

Combining (2.19) with the last inequality, we can deduce from the Sobolev embedding theorem that when \(n \geq n_{0}\),

$$ \begin{aligned} \bigl\Vert u_{n}^{+} \bigr\Vert ^{N} \leq C_{3} \varepsilon \bigl\Vert u_{n}^{+} \bigr\Vert ^{N} + C_{4} \bigl\Vert u_{n}^{+} \bigr\Vert ^{q}. \end{aligned} $$

We can choose \(\varepsilon > 0\) such that \((1- C_{3} \varepsilon ) > 0\), and since \(q>N\), we can deduce that (2.21) contradicts \(\Vert u_{n}^{+}\Vert \rightarrow 0\) as \(n \rightarrow \infty \). The proof is complete.

\(ii)\) Given \(u \in \mathcal{N}\), by the definition of \(\mathcal{N}\) and \((A_{2})\), we obtain

$$ \begin{aligned} \mathcal{J}(u) & = \mathcal{J}(u)- \frac{1}{\theta}\bigl\langle \mathcal{J}'(u),u \bigr\rangle \\ & =\biggl(\frac{1}{N} - \frac{1}{\theta}\biggr) \Vert u \Vert ^{N} + \biggl( \frac{1}{p} - \frac{1}{\theta}\biggr) \Vert u \Vert _{p}^{p} - \frac{1}{\theta} \int _{B} \bigl(f(x, u) u- \theta F(x, u) \bigr)\,dx \\ & \ge \biggl(\frac{1}{N} - \frac{1}{\theta}\biggr) \Vert u \Vert ^{N}. \end{aligned} $$


So, we have \(\mathcal{J}(u)>0\) for all \(u\in \mathcal{N}\). Therefore, \(\mathcal{J}(u)\) is bounded below on \(\mathcal{N}\), that is, \(c_{\mathcal{M}}=\inf_{u\in \mathcal{N}}\mathcal{J}(u)\) is well defined.

Lemma 5

If \(u_{0}\in \mathcal{N}\) satisfies \(\mathcal{J}(u_{0})= c_{\mathcal{N}} \), then \(\mathcal{J}'(u_{0})= 0\).


Suppose by contradiction that \(\mathcal{J}'(u_{0})\neq 0\). By the continuity of \(\mathcal{J}'\), it follows that there exist \(\delta >0\) and \(\iota >0\) such that

$$ \bigl\Vert \mathcal{J}'(v) \bigr\Vert \geq \iota \quad \text{for all } \Vert v-u_{0} \Vert \leq 3\delta . $$

Choose \(\tau \in (0,\min \{1/2,\frac{\delta}{\sqrt{2}\|u_{0}\|}\})\). Let \(D:= (1-\tau ,1+\tau )\times (1-\tau ,1+\tau ) \) and

$$ k(s,t):= s u_{0}^{+} + t u_{0}^{-} \quad \text{for all } (s,t)\in D. $$

In view of Lemma 1, we have

$$ \bar{c_{\mathcal{N}}} :=\max_{\partial D}( \mathcal{J} \circ k)< c_{\mathcal{N}}. $$

Let \(\varepsilon := \min \{(c_{\mathcal{N}} -\bar{c_{\mathcal{N}}})/3, \iota \delta /8\}\) and \(S_{\delta}:= B(u_{0},\delta )\). According to Lemma 2.3 in [40], there exists a deformation \(\eta \in C([0,1]\times X_{\beta},X_{\beta})\) such that

  1. (a)

    \(\eta (1,v) = v\) if \(v\notin (\mathcal{J}^{-1}([c_{\mathcal{N}} -2\varepsilon , c_{ \mathcal{N}} +2\varepsilon ])\cap S_{2\delta})\),

  2. (b)

    \(\eta (1,\mathcal{J}^{c_{\mathcal{N}} +\varepsilon}\cap S_{\delta}) \subset \mathcal{J}^{c_{\mathcal{N}} -\varepsilon}\),

  3. (c)

    \(\mathcal{J}(\eta (1,v))\leq \mathcal{J}(v)\) for all \(v\in \mathcal{W}\).


$$ \max_{(s,t)\in \bar{D}}\mathcal{J}\bigl(\eta \bigl(1,k(s,t)\bigr)\bigr)< c_{\mathcal{N}}. $$

Therefore we claim that \(\eta (1,k(D))\cap \mathcal{M} \neq \emptyset \), which contradicts the definition of \(c_{\mathcal{N}}\).

We define \(\bar{k}(s,t):=\eta (1,k(s,t))\),

$$\begin{aligned} \Phi _{0}(s,t) &:=\bigl(\bigl\langle \mathcal{J}' \bigl(k(s,t)\bigr), su_{0}^{+}\bigr\rangle , \bigl\langle \mathcal{J}'\bigl(k(s,t)\bigr), t u_{0}^{-} \bigr\rangle \bigr) \\ & = \bigl(\bigl\langle \mathcal{J}'\bigl(s u_{0}^{+} + t u_{0}^{-}\bigr), s u_{0}^{+} \bigr\rangle , \bigl\langle \mathcal{J}'\bigl(s u_{0}^{+} + t u_{0}^{-} \bigr), t u_{0}^{-} \bigr\rangle \bigr) \\ & = \bigl( \phi ^{1}_{u}(s,t) , \phi ^{2}_{u}(s,t) \bigr) \end{aligned}$$


$$ \Phi _{1}(s, t) := \biggl(\frac{1}{s}\bigl\langle \mathcal{J}'\bigl(\bar{k}(s,t)\bigr), \bigl(\bar{k}(s,t) \bigr)^{+}\bigr\rangle ,\frac{1}{t}\bigl\langle \mathcal{J}'\bigl(\bar{k}(s,t)\bigr),\bigl( \bar{k}(s,t) \bigr)^{-}\bigr\rangle \biggr). $$

By a straightforward computation, we get

$$\begin{aligned}& \frac{\partial \phi _{u}^{1}(s,t)}{\partial s}\bigg|_{(1,1)} := N \bigl\Vert u^{+}_{0} \bigr\Vert ^{N}+ p \bigl\Vert u^{+}_{0} \bigr\Vert ^{p} - \int _{B}\bigl(f'\bigl(x,u^{+}_{0} \bigr) \bigl(u^{+}_{0}\bigr)^{2} + f \bigl(x,u^{+}_{0}\bigr) u^{+}_{0} \bigr) \,dx , \end{aligned}$$
$$\begin{aligned}& \frac{\partial \phi _{u}^{2}(s,t)}{\partial t}\bigg|_{(1,1)} := N \bigl\Vert u^{-}_{0} \bigr\Vert ^{N}+ p \bigl\Vert u^{-}_{0} \bigr\Vert ^{p} - \int _{B}\bigl(f'\bigl(x,u^{-}_{0} \bigr) \bigl(u^{-}_{0}\bigr)^{2} + f \bigl(x,u^{-}_{0}\bigr) u^{-}_{0} \bigr) \,dx \end{aligned}$$


$$ \frac{\partial \phi _{u}^{1}(s,t)}{\partial t}\bigg|_{(1,1)} = \frac{\partial \phi _{u}^{2}(s,t)}{\partial s}\bigg|_{(1,1)} := 0. $$


$$ H= \begin{bmatrix} \frac{\partial \phi _{u}^{1}(s,t)}{\partial s}|_{(1,1)} & \frac{\partial \phi _{u}^{2}(s,t)}{\partial s}|_{(1,1)} \\ \frac{\partial \phi _{u}^{1}(s,t)}{\partial t}|_{(1,1)} & \frac{\partial \phi _{u}^{2}(s,t)}{\partial t}|_{(1,1)} \end{bmatrix} . $$

Then we have that \(\det H\ne 0\). Hence, \(\Phi _{0}(s,t)\) is a \(C^{1}\) function and \((1, 1)\) is the unique isolated zero point of \(\Phi _{0}\); by using the degree theory, we deduce that \(\deg (\Phi _{0} ,D,0) = 1\).

Hence, combining (2.23) with (a), we obtain

$$ k(s,t) = \bar{k}(s,t)\quad \text{on } \partial D. $$

Therefore, by the degree theory (see [21, Theorem 4.5]), we get \(\deg (\Phi _{1} ,D,0) =\deg (\Phi _{0} , D,0) = 1\). Hence, again by the degree theory, \(\Phi _{1}(s_{0}, t_{0}) = 0\) for some \((s_{0}, t_{0})\in D\) so that

$$ \eta \bigl(1,k(s_{0}, t_{0})\bigr)= \bar{k}(s_{0}, t_{0})\in \mathcal{N}, $$

which contradicts (2.24). Hence, \(\mathcal{J}'(u_{0})=0\), which implies \(u_{0}\) is a critical point of \(\mathcal{J}\). □

In the following lemma, we prove that w has exactly two nodal domains.

Lemma 6

If w is a least energy sign-changing solution of problem (1.1), then w has exactly two nodal domains.


Assume by contradiction that \(w= w_{1} + w_{2} + w_{3}\) satisfies

$$\begin{aligned}& w_{i} \ne 0,\quad i=1,2,3, \qquad w_{1} \geq 0,\qquad w_{2} \leq 0,\quad \text{a.e. in } B, \\& B_{1} \cap B_{2}= \emptyset ,\qquad B_{1} = \bigl\{ x \in B :w_{1}(x) > 0 \bigr\} , \qquad B_{2} = \bigl\{ x \in B : w_{2} (x) < 0 \bigr\} , \\& w_{1}|_{B \setminus B_{1} \cup B_{2}} = w_{2}|_{B \setminus B_{2} \cup B_{1}}= w_{3}|_{ B_{1} \cup B_{2}} =0 \end{aligned}$$


$$ \bigl\langle \mathcal{J}'(w), w_{i}\bigr\rangle =0 \quad \text{for } i=1,2,3. $$

Setting \(v = w_{1} + w_{2}\), we have that \(v^{+} = w_{1}\) and \(v^{-} = w_{2}\), i.e., \(v^{\pm }\ne 0\). From Lemma 1, it follows that there exists a unique point pair \((s_{v}, t_{v}) \in \mathbb{R}_{+}\times \mathbb{R}_{+}\) such that \(s_{v} w_{1} + t_{v} w_{2} \in \mathcal{N}\). Hence, \(\mathcal{J}(s_{v} w_{1} + t_{v} w_{2}) \geq c_{\mathcal{N}}\). Moreover, from (2.27), we obtain \(\langle \mathcal{J}'(v), v^{\pm }\rangle \leq 0\). Then, by Lemma 2, we have that

$$ (s_{v}, t_{v}) \in (0, 1] \times (0, 1]. $$

On the other hand, by \((A_{2})\) we have that

$$ 0= \frac{1}{N} \bigl\langle \mathcal{J}'(w), w_{3}\bigr\rangle = \frac{1}{N} \bigl\langle \mathcal{J}'(w_{3}), w_{3}\bigr\rangle < \mathcal{J}(w_{3}). $$

Hence, by Lemma 3, we can obtain that

$$ \begin{aligned} c_{\mathcal{M}} &\leq \mathcal{J}(s_{v} w_{1} +t_{v} w_{2})= \mathcal{J}(s_{v} w_{1} +t_{v} w_{2}) -\frac{1}{N} \bigl\langle \mathcal{J}'(s_{v} w_{1} +t_{v} w_{2}),s_{v} w_{1} +t_{v} w_{2} \bigr\rangle \\ &= \frac{s_{v}^{N}}{N} \Vert w_{1} \Vert ^{N} + \frac{t_{v}^{N}}{N} \Vert w_{2} \Vert ^{N} + \biggl(\frac{1}{p}-\frac{1}{N}\biggr)s_{v}^{p} \Vert w_{1} \Vert ^{N}_{p} + \biggl( \frac{1}{p}-\frac{1}{N}\biggr)t_{v}^{p} \Vert w_{2} \Vert ^{N}_{p} \\ &\quad{} + \frac{1}{N} \int _{B} \bigl(f(x,s_{v} w_{1}) s_{v} w_{1}-NF(x,s_{v} w_{1}) \bigr)\,dx \\ &\quad{} + \frac{1}{N} \int _{B} \bigl(f(x,t_{v} w_{2}) t_{v} w_{2}-NF(x,t_{v} w_{2}) \bigr)\,dx \\ &\leq \frac{1}{N} \Vert w_{1} \Vert ^{N} + \frac{1}{N} \Vert w_{2} \Vert ^{N} + \biggl(\frac{1}{p}-\frac{1}{N}\biggr) \Vert w_{1} \Vert ^{N}_{p} + \biggl( \frac{1}{p}- \frac{1}{N}\biggr) \Vert w_{2} \Vert ^{N}_{p} \\ &\quad{} + \frac{1}{N} \int _{B} \bigl(f(x, w_{1}) w_{1}-NF(x, w_{1}) \bigr)\,dx \\ &\quad{} + \frac{1}{N} \int _{B} \bigl(f(x, w_{2}) w_{2}-NF(x, w_{2}) \bigr)\,dx \\ &= \mathcal{J}(w_{1} + w_{2}) -\frac{1}{N} \bigl\langle \mathcal{J}'(w_{1} + w_{2}),w_{1} + w_{2}\bigr\rangle \\ &= \mathcal{J}(w_{1} + w_{2}) + \frac{1}{N} \bigl\langle \mathcal{J}'(w), w_{3}\bigr\rangle \\ &< \mathcal{J}(w_{1} + w_{2}) +\mathcal{J}(w_{3})= \mathcal{J}(w) = c_{ \mathcal{N}}, \end{aligned} $$

which is a contradiction, that is, \(w_{3} =0\) and w has exactly two nodal domains. □

3 Proof of Theorem 1.2

Lemma 7

There exists \(w \in \mathcal{N}\) such that \(\mathcal{J}(w) = c_{\mathcal{N}}\).


Let the sequence \((w_{n}) \subset \mathcal{N} \) satisfy \(\lim_{n \rightarrow \infty} \mathcal{J}(w_{n}) = c_{ \mathcal{N}}\). It is clear that \((w_{n})\) is bounded by Lemma 4. Then, up to a subsequence, there exists \(w \in E\) such that

$$ \begin{aligned} &w_{n}^{\pm } \rightharpoonup w^{\pm}\quad \text{in } X_{\beta}, \\ &w_{n}^{\pm }\rightarrow w^{\pm}\quad \text{in } L^{q}(B), \forall q\geq N, \\ &w_{n}^{\pm }\rightarrow w^{\pm }\quad \text{a.e. in } B. \end{aligned} $$

We claim that

$$ \int _{B} f\bigl(x, w_{n}^{\pm} \bigr) w_{n}^{\pm }\,dx \rightarrow \int _{B} f\bigl(x, w^{\pm}\bigr) w^{\pm }\,dx . $$

Indeed, by (2.7), we have

$$ \begin{aligned} &\int _{B}f\bigl(x, w_{n}^{\pm}\bigr) w_{n}^{\pm }\,dx \leq \varepsilon \int _{B} \bigl\vert w_{n}^{\pm} \bigr\vert ^{N} \,dx + C \int _{B} \bigl\vert w_{n}^{\pm} \bigr\vert ^{q} \exp\bigl(\alpha \bigl\vert w_{n}^{ \pm} \bigr\vert ^{\gamma}\bigr)\,dx \\ &\quad \text{for all } \alpha > 0 \text{ and } q>N. \end{aligned} $$

We define \(g(w_{n}^{\pm}(x))\) as follows:

$$ g\bigl(w_{n}^{\pm}(x)\bigr) := \varepsilon \bigl\vert w_{n}^{\pm} \bigr\vert ^{N} + C \bigl\vert w_{n}^{\pm} \bigr\vert ^{q} \exp\bigl(\alpha \bigl\vert w_{n}^{\pm} \bigr\vert ^{\gamma}\bigr).$$

We will prove that \(g(w_{n}^{\pm}(x))\) is convergent in \(L^{1}(B)\). First note that

$$ \vert w_{n} \vert ^{N} \rightarrow \vert w \vert ^{N}\quad \text{in } L^{1}(B). $$

Considering \(s,s' > 1\) such that \(\frac{1}{s} +\frac{1}{s'}=1\), we get

$$ \vert w_{n} \vert ^{q} \rightarrow \vert w \vert ^{q}\quad \text{in } L^{s'}(B). $$

Moreover, choosing \(\alpha >0\) enough small such that \(s\alpha (\max_{n} ||w_{n}^{\pm}||^{\gamma}) \leq \alpha _{N,\beta}\), we conclude from Theorem 1.1 that

$$ \int _{B} \exp\bigl(s \alpha \bigl\vert w_{n}^{\pm} \bigr\vert ^{\gamma}\bigr)\,dx \leq M. $$


$$ \exp\bigl(\alpha \bigl\vert w_{n}^{\pm} \bigr\vert ^{\gamma}\bigr) \rightarrow \exp\bigl(\alpha \bigl\vert w^{\pm} \bigr\vert ^{ \gamma}\bigr) \quad \text{a.e. in } B. $$

Then, from (3.7) and [27, Lemma 4.8, Chap. 1], we get that

$$ \exp\bigl(\alpha \bigl\vert w_{n}^{\pm} \bigr\vert ^{\gamma}\bigr) \rightharpoonup \exp\bigl(\alpha \bigl\vert w^{\pm} \bigr\vert ^{ \gamma}\bigr) \quad \text{in } L^{s}(B). $$

Then it follows from Hölder’s inequality, (3.5), (3.6), (3.9), and the Trudinger–Moser inequality that

$$\begin{aligned} & \int _{B} \bigl(g\bigl(w_{n}^{\pm}(x) \bigr) - g\bigl(w^{\pm}(x)\bigr) \bigr)\,dx \\ &\quad = \varepsilon \int _{B} \bigl( \bigl\vert w_{n}^{\pm} \bigr\vert ^{N} - \bigl\vert w^{\pm} \bigr\vert ^{N} \bigr) \,dx \\ &\quad \quad{} + C \int _{B} \bigl( \bigl\vert w_{n}^{\pm} \bigr\vert ^{q} - \bigl\vert w^{\pm} \bigr\vert ^{q} \bigr) \exp\bigl( \alpha \bigl\vert w_{n}^{\pm} \bigr\vert ^{\gamma}\bigr)\,dx \\ &\quad \quad {}+ C \int _{B} \bigl\vert w^{\pm} \bigr\vert ^{q} \bigl(\exp\bigl( \alpha \bigl\vert w_{n}^{\pm} \bigr\vert ^{\gamma}\bigr) - \exp\bigl(\alpha \bigl\vert w^{\pm} \bigr\vert ^{\gamma}\bigr) \bigr) \,dx \\ &\quad \leq \varepsilon \int _{B} \bigl( \bigl\vert w_{n}^{\pm} \bigr\vert ^{N} - \bigl\vert w^{\pm} \bigr\vert ^{N} \bigr) \,dx + C \biggl( \int _{B} \bigl( \bigl\vert w_{n}^{\pm} \bigr\vert ^{q} - \bigl\vert w^{\pm} \bigr\vert ^{q} \bigr)^{s'}\,dx \biggr)^{\frac{1}{s'}} \biggl( \int _{B} \exp\bigl(s\alpha \bigl\vert w^{\pm} \bigr\vert ^{\gamma}\bigr)\,dx \biggr)^{\frac{1}{s}} \\ &\quad \quad{}+ C \int _{B} \bigl\vert w^{\pm} \bigr\vert ^{q} \bigl(\exp\bigl(\alpha \bigl\vert w_{n}^{\pm} \bigr\vert ^{\gamma}\bigr) - \exp\bigl( \alpha \bigl\vert w^{\pm} \bigr\vert ^{\gamma}\bigr) \bigr) \,dx \\ &\quad \leq \varepsilon \int _{B} \bigl( \bigl\vert w_{n}^{\pm} \bigr\vert ^{N} - \bigl\vert w^{\pm} \bigr\vert ^{N} \bigr) \,dx +CM \biggl( \int _{B} \bigl( \bigl\vert w_{n}^{\pm} \bigr\vert ^{q} - \bigl\vert w^{\pm} \bigr\vert ^{q} \bigr)^{s'}\,dx \biggr)^{\frac{1}{s'}} \\ &\quad \quad{} + C \int _{B} \bigl\vert w^{\pm} \bigr\vert ^{q} \bigl(\exp\bigl(\alpha \bigl\vert w_{n}^{\pm} \bigr\vert ^{\gamma}\bigr) - \exp\bigl( \alpha \bigl\vert w^{\pm} \bigr\vert ^{\gamma}\bigr) \bigr) \,dx \\ &\quad \rightarrow 0 \quad \text{as } n \rightarrow \infty , \end{aligned}$$

which closes the proof of (3.2). Thus, as a direct consequence,

$$ \int _{B}F\bigl(x,w_{n}^{\pm}\bigr) \,dx \rightarrow \int _{B}F\bigl(x,w^{\pm}\bigr)\,dx $$


Now, we claim that \(w^{\pm}\ne 0\). Suppose, by contradiction, \(w^{+}= 0\). From the definition of \(\mathcal{N}\), (3.1), and (3.2), we have that \(\lim_{n \rightarrow +\infty} \Vert w^{+}_{n} \Vert =0\), which contradicts Lemma 4. Hence, \(w^{+}\ne 0\) and \(w^{-}\ne 0\).

From the lower semicontinuity of norm and (3.1) it follows that

$$ \bigl\Vert w^{+} \bigr\Vert ^{N} + \bigl\Vert w^{+} \bigr\Vert ^{p}_{p} \leq \liminf_{n \rightarrow +\infty} \bigl( \bigl\Vert w_{n}^{+} \bigr\Vert ^{N} + \bigl\Vert w_{n}^{+} \bigr\Vert ^{p}_{p}\bigr). $$

On the other hand, by using \(\langle \mathcal{J}'(w_{n}),w_{n}^{+}\rangle =0\) and (3.2), we have

$$ \liminf_{n \rightarrow +\infty}\bigl( \bigl\Vert w_{n}^{+} \bigr\Vert ^{N} + \bigl\Vert w_{n}^{+} \bigr\Vert ^{p}_{p} \bigr)= \liminf_{n \rightarrow +\infty} \int _{B}f\bigl(x, w_{n}^{+}\bigr) w_{n}^{+} \,dx = \int _{B}f\bigl(x, w^{+}\bigr) w^{+} \,dx .$$

From (3.11) and (3.12) we deduce that \(\langle \mathcal{J}'(w),w^{+}\rangle \leq 0\), and similarly we can prove \(\langle \mathcal{J}'(w),w^{-}\rangle \leq 0\). Then, Lemma 2 implies that there exists \((s_{u}, t_{u}) \in (0, 1] \times (0, 1] \) such that \(s_{u}w^{+}+t_{u}w^{-}\in \mathcal{N}\). Thus, by the lower semicontinuity of norm, (3.2), (3.10), and Lemma 3, we get that

$$ \begin{aligned} c_{\mathcal{N}} &\leq \mathcal{J} \bigl(s_{u}w^{+}+t_{u}w^{-} \bigr)= \mathcal{J}\bigl(s_{u}w^{+}+t_{u}w^{-} \bigr) -\frac{1}{N} \bigl\langle \mathcal{J}' \bigl(s_{u}w^{+}+t_{u}w^{-} \bigr),s_{u}w^{+}+t_{u}w^{-} \bigr\rangle \\ &\leq \mathcal{J}(w) -\frac{1}{N} \bigl\langle \mathcal{J}'(w),w \bigr\rangle \\ &= \frac{1}{N} \Vert w \Vert ^{N} + \biggl( \frac{1}{p} - \frac{1}{N}\biggr) \Vert w \Vert ^{p}_{p} +\frac{1}{N} \int _{B} \bigl(f(x,w) w-NF(x,w) \bigr)\,dx \\ &\leq \liminf_{n\rightarrow +\infty} \biggl[\frac{1}{N} \Vert w_{n} \Vert ^{N} + \biggl(\frac{1}{p} - \frac{1}{N}\biggr) \Vert w_{n} \Vert ^{p}_{p} \\ &\quad{} + \frac{1}{N} \int _{B} \bigl(f(x, w_{n}) w_{n}-NF(x, w_{n}) \bigr)\,dx \biggr] \\ &\leq \liminf_{n\rightarrow +\infty} \biggl[\mathcal{J}(w_{n}) -\frac{1}{N} \bigl\langle \mathcal{J}'(w_{n}), w_{n}\bigr\rangle \biggr] = c_{\mathcal{N}}. \end{aligned} $$

Therefore, we get that \(\mathcal{J}(w)=c_{\mathcal{N}}\), which is the desired conclusion. □

Thus, from Lemmas 5 and 6, w is a least energy sign-changing solution of problem (1.1) with exactly two nodal domains.

4 Proof of Theorem 1.3

To prove Theorem 1.3, we need to consider the auxiliary problem

$$ \textstyle\begin{cases} -\nabla .(w_{\beta}(x) \vert \nabla u \vert ^{N-2}\nabla u) -\Delta _{p}u +V(x) \vert u \vert ^{N-2}u = \vert u \vert ^{r-2}u &\text{in } B, \\ u = 0 & \text{on } \partial B, \end{cases} $$

where r is the constant that appears in assumption \((A_{5})\). The energy functional \(\mathcal{J}_{r}\) associated with (4.1) is given by

$$ \mathcal{J}_{r}(u) :=\frac{1}{N} \Vert u \Vert ^{N} + \frac{1}{p} \Vert u \Vert _{p}^{p} - \frac{1}{r} \int _{B} \vert u \vert ^{r} \,dx , $$

and the sign-changing Nehari set is defined by

$$ \mathcal{N}_{r}:= \bigl\{ u \in X_{\beta}, u^{\pm} \neq 0 \text{ and } \bigl\langle \mathcal{J}_{r}'(u),u^{+} \bigr\rangle =\bigl\langle \mathcal{J}_{r}'(u),u^{-} \bigr\rangle = 0\bigr\} . $$

Let \(c_{\mathcal{N}_{r}} = \inf_{\mathcal{N}_{r}} \mathcal{J}_{r}(u)\), we have the following result.

Lemma 8

There exists \(w \in \mathcal{N}_{r}\) such that \(\mathcal{J}_{r}(w) = c_{\mathcal{N}_{r}}\).


The proof of this lemma is obtained in four steps:

Step 1.:

For any \(u \in X_{\beta}\) with \(u^{\pm} \neq 0\), similar to Lemma 1, there is the unique maximum point pair \((s_{u}, t_{u}) \in \mathbb{R}_{+}\times \mathbb{R}_{+}\) of the function \(\mathcal{J}_{r}\) such that \(s_{u} u^{+} + t_{u} u^{-} \in \mathcal{N}_{r}\).

Step 2.:

If \(u \in X_{\beta}\) with \(u^{\pm} \neq 0\), such that \(\langle \mathcal{J}_{r}'(u),u^{\pm}\rangle \leq 0\), then, similar to Lemma 2, the unique maximum point pair \((s_{u}, t_{u})\) in Step (1) satisfies \(0< s_{u}, t_{u}\leq 1\).

Step 3.:

Similar to Lemma 4, for all \(u \in \mathcal{N}_{r}\), there exists \(\kappa > 0\) such that \(\Vert u^{+}\Vert \), \(\Vert u^{-}\Vert \geq \kappa \).

Step 4.:

Now, let the sequence \((w_{n}) \subset \mathcal{N}_{p} \) satisfy \(\lim_{n \rightarrow +\infty} \mathcal{J}_{r}(w_{n}) = c_{ \mathcal{M}_{r}}\). Similar to Lemma 7, we can show that, up to a subsequence, \(w_{n}^{\pm }\rightharpoonup w^{\pm}\) in \(X_{\beta}\). From Step (3), we show that \(w^{\pm }\ne 0\). Using Steps (1), (2) and again similar to Lemma 7, we get \(w \in \mathcal{N}_{r}\) such that \(\mathcal{J}_{r}(w) = c_{\mathcal{N}_{r}}\).


Now, we will obtain an important estimate for the nodal level \(c_{\mathcal{N}}\). That will be a powerful tool to obtain an appropriate bound of the norm of a minimizing sequence for \(c_{\mathcal{N}}\) in \(\mathcal{N}\).

Lemma 9

Assume that \((A_{1})\), \((A_{5})\), \((V_{1})\), and (1.15) are satisfied. It holds that

$$ c_{\mathcal{N}} \leq \frac{\theta -N}{N\theta} \biggl( \frac{\alpha _{N,\beta}}{ 2(\alpha _{0} + \delta )} \biggr)^{(N-1)(1- \beta )}. $$


From Lemma 8, there exists \(w \in \mathcal{N}_{r}\) such that \(\mathcal{J}_{r}(w) = c_{\mathcal{N}_{r}}\) and \(\mathcal{J}_{r}'(w)=0\). Consequently, we get

$$ \frac{1}{N} \Vert w \Vert ^{N} + \frac{1}{p} \Vert w \Vert _{p}^{p} - \frac{1}{r} \int _{B} \vert w \vert ^{r} \,dx = c_{\mathcal{N}_{r}}\quad \text{and}\quad \bigl\Vert w^{ \pm} \bigr\Vert ^{N} + \bigl\Vert w^{\pm} \bigr\Vert _{p}^{p}= \int _{B} \bigl\vert w^{\pm} \bigr\vert ^{r} \,dx . $$

From \((A_{5})\) and (4.3), we get \(\langle \mathcal{J}'(w),w^{\pm}\rangle \leq 0\), which together with Lemma 2 yields that there is a unique pair \((s, t) \in (0, 1] \times (0, 1] \) such that \(sw^{+}+tw^{-}\in \mathcal{N}\). Using \((A_{5})\) and (4.3), we obtain

$$ \begin{aligned} c_{\mathcal{N}} &\leq \mathcal{J} \bigl(sw^{+}+tw^{-}\bigr) \\ &\leq \frac{s^{N}}{N} \bigl\Vert w^{+} \bigr\Vert ^{N}+\frac{t^{N}}{N} \bigl\Vert w^{-} \bigr\Vert ^{N} + \frac{s^{p}}{p} \bigl\Vert w^{+} \bigr\Vert _{p}^{p}+\frac{t^{p}}{p} \bigl\Vert w^{-} \bigr\Vert _{p}^{p} - \frac{C_{r}}{r} s^{r} \bigl\vert w^{+} \bigr\vert _{r}^{r} - \frac{C_{r}}{r} t^{r} \bigl\vert w^{-} \bigr\vert ^{r}_{r} \\ &\leq \frac{s^{p}}{p}\bigl( \bigl\vert w^{+} \bigr\vert _{r}^{r} - \bigl\Vert w^{+} \bigr\Vert _{p}^{p}\bigr)+ \frac{t^{p}}{p} \bigl( \bigl\vert w^{-} \bigr\vert _{r}^{r} - \bigl\Vert w^{-} \bigr\Vert _{p}^{p}\bigr)+ \frac{s^{p}}{p} \bigl\Vert w^{+} \bigr\Vert _{p}^{p}+\frac{t^{p}}{p} \bigl\Vert w^{-} \bigr\Vert _{p}^{p} \\ &\quad{} - \frac{C_{r}}{r} s^{r} \bigl\vert w^{+} \bigr\vert _{r}^{r} - \frac{C_{r}}{r} t^{r} \bigl\vert w^{-} \bigr\vert ^{r}_{r} \\ &\leq \max_{\xi >0}\biggl(\frac{\xi ^{p}}{p} - C_{r} \frac{\xi ^{r}}{r}\biggr) \vert w \vert _{r}^{r}. \end{aligned} $$

By some straightforward algebraic manipulations, we get

$$ c_{\mathcal{N}} \leq C_{r}^{\frac{-p}{r-p}} \frac{r-p}{rp} \vert w \vert _{r}^{r}. $$

Note that from (4.3) we have

$$ \begin{aligned} \biggl(\frac{1}{N}- \frac{1}{r}\biggr) \vert w \vert _{r}^{r} &=\frac{1}{N} \Vert w \Vert ^{N} + \frac{1}{N} \Vert w \Vert _{p}^{p} - \frac{1}{r} \int _{B} \vert w \vert ^{r} \,dx \\ & < \frac{1}{N} \Vert w \Vert ^{N} + \frac{1}{p} \Vert w \Vert _{p}^{p} - \frac{1}{r} \int _{B} \vert w \vert ^{r} \,dx = c_{\mathcal{N}_{r}}. \end{aligned} $$

Thus, by combining (4.4) and (4.5), we obtain

$$ c_{\mathcal{N}} < C_{r}^{\frac{-p}{r-p}} \frac{N(r-p)}{p(r-N)}c_{\mathcal{N}_{r}}. $$

Therefore, by (1.15) and (4.6), we obtain that (4.2) holds. □

The next result gives us some compactness properties of minimizing sequences.

Lemma 10

  1. (i)

    If \((w_{n}) \subset \mathcal{N} \) is a minimizing sequence for \(c_{\mathcal{N}}\), then up to a subsequence there exists \(w \in X_{\beta}\) such that

    $$ \begin{aligned} &w_{n}^{\pm }\rightharpoonup w^{\pm}\quad \textit{in } X_{\beta},\qquad w_{n}^{ \pm }\rightarrow w^{\pm}\quad \textit{in } L^{q}(B), \forall q\geq N,\quad \textit{and} \\ &w_{n}^{\pm }\rightarrow w^{\pm }\quad \textit{a.e. in } B \end{aligned} $$


    $$ \int _{B} f\bigl(x, w_{n}^{\pm} \bigr) w_{n}^{\pm }\,dx \rightarrow \int _{B} f\bigl(x, w^{\pm}\bigr) w^{\pm }\,dx . $$
  2. (ii)

    There exists \(w \in \mathcal{N}\) such that \(\mathcal{J}(w) = c_{\mathcal{N}}\).


(i) Let the sequence \((w_{n}) \subset \mathcal{N} \) satisfy \(\lim_{n \rightarrow \infty} \mathcal{J}(w_{n}) = c_{ \mathcal{N}}\). It is clear that \((w_{n})\) is bounded by Lemma 4. Then, up to a subsequence, there exists \(w \in X_{\beta}\) such that

$$ w_{n}^{\pm }\rightharpoonup w^{\pm}\quad \text{in } X_{\beta}, \qquad w_{n}^{ \pm }\rightarrow w^{\pm}\quad \text{in } L^{q}(B), \forall q\geq N,\quad \text{and} \quad w_{n}^{\pm }\rightarrow w^{\pm }\quad \text{a.e. in } B. $$

Note that, according to (2.7), we have

$$ f\bigl(x, w_{n}^{\pm}\bigr) w_{n}^{\pm }\leq \varepsilon \bigl\vert w_{n}^{\pm} \bigr\vert ^{N} + C \bigl\vert w_{n}^{\pm} \bigr\vert ^{q} \exp \bigl(\alpha \bigl\vert w_{n}^{\pm} \bigr\vert ^{\gamma}\bigr)=:g\bigl(w_{n}^{\pm}(x)\bigr) \quad \text{for all } \alpha > \alpha _{0} \text{ and } q>N. $$

We will prove that \(g(w_{n}^{\pm}(x))\) is convergent in \(L^{1}(B)\). First note that

$$ \vert w_{n} \vert ^{N} \rightarrow \vert w \vert ^{N}\quad \text{in } L^{1}(B). $$

Considering \(s,s' > 1\) such that \(\frac{1}{s} +\frac{1}{s'}=1\) and s close to 1, we get

$$ \vert w_{n} \vert ^{q} \rightarrow \vert w \vert ^{q}\quad \text{in } L^{s'}(B). $$

On the other hand, using Lemma 3, we obtain that

$$ \begin{aligned} c_{\mathcal{N}}&=\limsup _{n \rightarrow +\infty} \mathcal{J}(u_{n}) \\ & = \limsup_{n \rightarrow +\infty} \biggl(\mathcal{J}(u_{n})- \frac{1}{\theta}\bigl\langle \mathcal{J}'(u_{n}),u_{n} \bigr\rangle \biggr) \\ & =\limsup_{n \rightarrow +\infty} ( \biggl(\frac{1}{N} - \frac{1}{\theta}\biggr) \Vert u_{n} \Vert ^{N} + \biggl(\frac{1}{p} - \frac{1}{\theta}\biggr) \Vert u_{n} \Vert _{p}^{p} \\ &\quad {} + \frac{1}{\theta} \biggl( \int _{B}\bigl(f(x, u_{n}) u_{n}- \theta F(x, u_{n})\,dx \biggr) \\ & > \limsup_{n \rightarrow +\infty} \biggl(\frac{1}{N} - \frac{1}{\theta}\biggr) \Vert u_{n} \Vert ^{N}, \end{aligned} $$

which together with Lemma 9 gives that \(\limsup_{n \rightarrow +\infty} \|w_{n}\|^{\gamma} < \frac{\alpha _{N,\beta}}{2(\alpha _{0}+\delta )}\).

Now, choosing \(\alpha = \alpha _{0}+\delta \), we get that

$$ \begin{aligned} \int _{B} \exp \bigl(s \alpha \bigl\vert w_{n}^{\pm} \bigr\vert ^{\gamma}\bigr)\,dx & \leq \int _{B}\exp \biggl(s(\alpha _{0} + \delta ) \Vert w_{n} \Vert ^{\gamma}\biggl(\frac{w_{n}}{ \Vert w_{n} \Vert } \biggr)^{\gamma} \biggr)\,dx \\ & \leq \int _{B}\exp \biggl(s(\alpha _{0} + \delta ) \frac{\alpha _{N,\beta}}{2(\alpha _{0}+\delta )}\biggl( \frac{w_{n}}{ \Vert w_{n} \Vert }\biggr)^{\gamma} \biggr)\,dx .\end{aligned} $$

Since \(s > 1\) and is sufficiently close to 1, we get \(\frac{s}{2}\alpha _{N,\beta}\leq \alpha _{N,\beta}\). Then it follows by Theorem 1.1 that there is \(M > 0\) such that

$$ \int _{B} \exp \bigl(s \alpha \bigl\vert w_{n}^{\pm} \bigr\vert ^{\gamma}\bigr)\,dx \leq M. $$


$$ \exp \bigl(\alpha \bigl\vert w_{n}^{\pm} \bigr\vert ^{\gamma}\bigr) \rightarrow \exp \bigl(\alpha \bigl\vert w^{\pm} \bigr\vert ^{ \gamma}\bigr) \quad \text{a.e. in } B. $$

Then, from (4.12) and [27, Lemma 4.8, Chap. 1], we get that

$$ \exp \bigl(\alpha \bigl\vert w_{n}^{\pm} \bigr\vert ^{\gamma}\bigr) \rightharpoonup \exp \bigl(\alpha \bigl\vert w^{ \pm} \bigr\vert ^{\gamma}\bigr) \quad \text{in } L^{s}(B). $$

Now, using (4.8), (4.9), (4.14) and proceeding as in Lemma 7, we will complete the proof of (4.7).

(ii) Now, proceeding in the similar way to the proof of Lemma 7, there exists \(w \in \mathcal{N}\) such that \(\mathcal{J}(w) = c_{\mathcal{N}}\), which is the conclusion we want. □

Therefore, from Lemmas 5 and 6, we deduce that w is a least energy sign-changing solution for problem (1.1) with exactly two nodal domains.

Data Availability

No datasets were generated or analysed during the current study.


  1. Adimurthi, A., Sandeep, K.: A singular Moser-Trudinger embedding and its applications. Nonlinear Differ. Equ. Appl. 13(5–6), 585–603 (2007)

    Article  MathSciNet  Google Scholar 

  2. Aris, R.: Mathematical Modelling Techniques. Research Notes in Mathematics, vol. 24. Pitman Advanced Publishing Program, Boston (1979)

    Google Scholar 

  3. Averna, D., Montreanu, D., Tornatore, E.: Existence and asymptotic properties for quasilinear elliptic equations with gradient dependence. Appl. Math. Lett. 61, 102–107 (2016)

    Article  MathSciNet  Google Scholar 

  4. Baraket, S., Jaidane, R.: Non-autonomous weighted elliptic equations with double exponential growth. An. Ştiinţ. Univ. ‘Ovidius’ Constanţa 29(3), 33–66 (2021)

    MathSciNet  Google Scholar 

  5. Behboudi, F., Razani, A.: Two weak solutions for a singular \((p,q)\)-Laplacian problem. Filomat 33(11), 3399–3407 (2019)

    Article  MathSciNet  Google Scholar 

  6. Benci, V., D’Avenia, P., Fortunato, D., Pisani, L.: Solitons in several space dimensions: Derrick’s problem and infinitely many solutions. Arch. Ration. Mech. Anal. 154, 297–324 (2000)

    Article  MathSciNet  Google Scholar 

  7. Benci, V., D’Avenia, P., Fortunato, D., Pisani, L.: Solitons in several space dimensions: Derrick’s problem and infinitely many solutions. Arch. Ration. Mech. Anal. 154(4), 297–324 (2000)

    Article  MathSciNet  Google Scholar 

  8. Calanchi, M., Ruf, B.: On a Trudinger-Moser type inequalities with logarithmic weights. J. Differ. Equ. 3, 258–263 (2015)

    MathSciNet  Google Scholar 

  9. Calanchi, M., Ruf, B.: Trudinger-Moser type inequalities with logarithmic weights in dimension N. Nonlinear Anal., Theory Methods Appl. 121, 403–411 (2015)

    Article  MathSciNet  Google Scholar 

  10. Calanchi, M., Ruf, B.: Weighted Trudinger-Moser inequalities and applications. Bull. South Ural State Univ. Ser. Math. Model., Program. Comput. Softw. 8(3), 42–55 (2015)

    Google Scholar 

  11. Calanchi, M., Ruf, B., Sani, F.: Elliptic equations in dimension 2 with double exponential nonlinearities. Nonlinear Differ. Equ. Appl. 24, Art. 29 (2017)

    Article  MathSciNet  Google Scholar 

  12. Calanchi, M., Terraneo, E.: Non-radial maximizers for functionals with exponential non-linearity in \(\mathbb{R}^{2}\). Adv. Nonlinear Stud. 5, 337–350 (2005)

    Article  MathSciNet  Google Scholar 

  13. Cherfils, L., Il’Yasov, Y.: On the stationary solutions of generalized reaction diffusion equations with \((p,q)\)-Laplacian. Commun. Pure Appl. Anal. 4(1), 9–22 (2005)

    Article  MathSciNet  Google Scholar 

  14. Chetouane, R., Jaidane, R.: Ground state solutions for weighted N-Laplacian problem with exponential non linear growth. Bull. Belg. Math. Soc. Simon Stevin 29(1), 37–61 (2022)

    Article  MathSciNet  Google Scholar 

  15. de Figueiredo, D.G., do Ó, J.M., Ruf, B.: On an inequality by N. Trudinger and J. Moser and related elliptic equations. Commun. Pure Appl. Math. LV, 135–152 (2002)

    Article  MathSciNet  Google Scholar 

  16. de Figueiredo, D.G., do Ó, J.M., Ruf, B.: Elliptic equations and systems with critical Trudinger-Moser nonlinearities. Discrete Contin. Dyn. Syst. 30(2), 455–476 (2011)

    Article  MathSciNet  Google Scholar 

  17. de Figueiredo, D.G., Miyagaki, O.H., Ruf, B.: Elliptic equations in \(\mathbb{R}^{2}\) with nonlinearities in the critical growth range. Calc. Var. Partial Differ. Equ. 3(2), 139–153 (1995)

    Article  Google Scholar 

  18. Derrick, G.H.: Comments on nonlinear wave equations as models for elementary particles. J. Math. Phys. 5, 1252–1254 (1964)

    Article  MathSciNet  Google Scholar 

  19. Dridi, B.: Elliptic problem involving logarithmic weight under exponential nonlinearities growth. Math. Nachr. 296, 5551–5568 (2023)

    Article  Google Scholar 

  20. Dridi, B., Jaidane, R.: Nodal solutions for logarithmic weighted N-Laplacian problem with exponential nonlinearities. Ann. Univ. Ferrara (2023)

  21. Dumitru Motreanu, N.P., Venera Motreanu, V.: Topological and Variational Methods with Applications to Nonlinear Boundary Value Problems Springer, New York (2014)

    Book  Google Scholar 

  22. Faria, L.F.O., Miyagaki, O.H., Motreanu, D.: Comparison and positive solutions for problems with \((p,q)\)-Laplacian and convection term. Proc. Edinb. Math. Soc. 57(2), 687–698 (2014)

    Article  MathSciNet  Google Scholar 

  23. Fife, P.C.: Mathematical Aspects of Reacting and Diffusing Systems. Lecture Notes in Biomathematics, vol. 28. Springer, Berlin (1979)

    Google Scholar 

  24. Figueiredo, G.M., Nunes, F.: Existence of positive solutions for a class of quasilinear elliptic problems with exponential growth via the Nehari manifold method. Rev. Mat. Complut. 32, 1–18 (2019)

    Article  MathSciNet  Google Scholar 

  25. Fiscella, A., Pucci, P.: \((p, N)\) equations with critical exponential nonlinearities in \(\mathbb{R}^{N}\). J. Math. Anal. Appl. 501(1), Paper No. 123379 (2021)

    Article  Google Scholar 

  26. Jaidane, R.: Weigthed elliptic equation of Kirchhoff type with exponential nonlinear growth. An. Univ. Craiova, Math. Comput. Sci. Ser., 49, 309–337 (2022)

    MathSciNet  Google Scholar 

  27. Kavian, O.: Introduction à la Théorie des Points Critiques. Springer, Berlin (1991)

    Google Scholar 

  28. Kossowski, I.: Radial solutions for nonlinear elliptic equation with nonlinear nonlocal boundary conditions. Opusc. Math. 43(5), 675–687 (2023)

    Article  MathSciNet  Google Scholar 

  29. Kufner, A.: Weighted Sobolev Spaces. Wiley, New York (1985)

    Google Scholar 

  30. Li, G.D., Li, Y.Y., Tang, C.L.: Infinitely many radial and non-radial sign-changing solutions for Schrödinger equations. Adv. Nonlinear Anal. 11(1), 907–920 (2022)

    Article  MathSciNet  Google Scholar 

  31. Liouville, J.: Sur l’equation aux derivées partielles. J. Math. Pures Appl. 18, 71–72 (1853)

    Google Scholar 

  32. Lu, G., Yang, Y.: Sharp constant and extremal function for the improved Moser-Trudinger inequality involving \(L^{p}\) norm in two dimension. Discrete Contin. Dyn. Syst. 25(3), 963–979 (2012)

    Article  Google Scholar 

  33. Marano, S.A., Papageorgiou, N.S.: Constant-sign and nodal solutions of coercive \((p,q)\)-Laplacian problems. Nonlinear Anal. 77, 118–129 (2013)

    Article  MathSciNet  Google Scholar 

  34. Miranda, C.: Un’osservazione su un teorema di Brouwer. Boll. Unione Mat. Ital. 3, 5–7 (1940)

    MathSciNet  Google Scholar 

  35. Moser, J.: A sharp form of an inequality by N. Trudinger. Indiana Univ. Math. J. 20(71), 1077–1092 (1970)

    MathSciNet  Google Scholar 

  36. Mugnai, D., Papageorgiou, N.: Wang’s multiplicity result superlinear \((p,q)\)-equations without Ambrosetti–Rabinowitz condition. Trans. Am. Math. Soc. 366, 4919–4937 (2014)

    Article  MathSciNet  Google Scholar 

  37. Pohozaev, S.I.: The Sobolev Embedding in the Case \(pl = n\). In: Proc. of the Technical Scientific Conference on Advances of Scientific Research, 1964–1965. Mathematics Section, pp. 158–170. Moskov. Energet. Inst., Moscow

  38. Trudinger, N.: On imbeddings into Orlicz spaces and some applications. J. Math. Mech. 17, 473–483 (1967)

    MathSciNet  Google Scholar 

  39. Wilhelmsson, H.: Explosive instabilities of reaction–diffusion equations. Phys. Rev. A (3) 36, 965–966 (1987)

    Article  MathSciNet  Google Scholar 

  40. Willem, M.: Minimax Theorems. Birkhäuser, Boston (1996)

    Book  Google Scholar 

  41. Yang, Y., Perera, K.: \((N,q)\)-Laplacian problems with critical Trudinger-Moser nonlinearities. Bull. Lond. Math. Soc. 48(2), 260–270 (2016)

    Article  MathSciNet  Google Scholar 

  42. Yudovich, V.I.: Some estimates connected with integral operators and with solutions of elliptic equations. Dokl. Akad. Nauk SSSR 138, 805–808 (1961)

    MathSciNet  Google Scholar 

  43. Zhang, C.: Concentration-compactness principle for Trudinger-Moser inequalities with logarithmic weights and their applications. Nonlinear Anal. 197, 1–22 (2020)

    Article  MathSciNet  Google Scholar 

  44. Zhang, Y., Yang, Y.: Positive solutions for semipositone \((p,N)\)-Laplacian problems with critical Trudinger–Moser nonlinearities. Revista Matemática Complutense

Download references


This work was supported and funded by the Deanship of Scientific Research at Imam Mohammad Ibn Saud Islamic University (IMSIU) (grant number IMSIU-RG23081).

Author information

Authors and Affiliations



All the authors wrote the main manuscript and reviewed it.

Corresponding author

Correspondence to Sami Baraket.

Ethics declarations

Competing interests

The authors declare no competing interests.

Additional information

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 licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Baraket, S., Dridi, B., Grine, A. et al. Least energy nodal solutions for a weighted \((N, p)\)-Schrödinger problem involving a continuous potential under exponential growth nonlinearity. Bound Value Probl 2024, 20 (2024).

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI:

Mathematics Subject Classification