Skip to main content


We're creating a new version of this page. See preview

  • Research
  • Open Access

Liouville type theorem for a singular elliptic equation with finite Morse index

Boundary Value Problems20192019:58

  • Received: 7 January 2019
  • Accepted: 14 March 2019
  • Published:


This paper considers the nonexistence of solutions for the following singular quasilinear elliptic problem:
$$\begin{aligned} \textstyle\begin{cases} -\operatorname{div} ( \vert x \vert ^{-ap} \vert \nabla u \vert ^{p-2}\nabla u)= f( \vert x \vert ) \vert u \vert ^{r-1}u, \quad x\in {\mathbb {R}} ^{N}_{+}, \\ \vert x \vert ^{-ap} \vert \nabla u \vert ^{p-2}\frac{\partial u}{\partial \nu }=g( \vert x \vert ) \vert u \vert ^{q-1}u, \quad \text{on } \partial {\mathbb {R}} ^{N}_{+}, \end{cases}\displaystyle \end{aligned}$$
where \({\mathbb {R}} ^{N}_{+}=\{x=(x',x_{N})| x'\in {\mathbb {R}} ^{N-1}, x_{N}>0 \}\) and \(\partial {\mathbb {R}} ^{N}_{+}=\{x=(x',x_{N})| x'\in {\mathbb {R}} ^{N-1}, x_{N}=0\}\). When the weight functions satisfy some suitable assumptions, we prove that problem (0.1) has no nontrivial bounded solutions with finite Morse index.


  • Liouville theorem
  • Morse index
  • Singular elliptic equation

1 Introduction and main results

In this paper, we consider the following problem:
$$\begin{aligned} \textstyle\begin{cases} -\operatorname{div}( \vert x \vert ^{-ap} \vert \nabla u \vert ^{p-2}\nabla u)= f( \vert x \vert ) \vert u \vert ^{r-1}u, \quad x\in {\mathbb {R}}^{N}_{+}, \\ \vert x \vert ^{-ap} \vert \nabla u \vert ^{p-2}\frac{\partial u}{\partial \nu }=g( \vert x \vert ) \vert u \vert ^{q-1}u, \quad \text{on } \partial {\mathbb {R}}^{N}_{+}, \end{cases}\displaystyle \end{aligned}$$
where \(a>0\), \(r>1\), \(q>1\), \(p\geq 2\) and \({\mathbb {R}}^{N}_{+}=\{x=(x',x_{N})\vert x' \in {\mathbb {R}}^{N-1}, x_{N}>0\}\) denotes the upper half-space in \({\mathbb {R}}^{N}\).
Liouville type theorems have been widely applied to research the nonexistence of nontrivial solutions for elliptic equations. Liouville theorem was first announced in 1844 by Liouville [1] for the special case of a doubly periodic function. The classical Liouville-type theorem states that a bounded harmonic (or holomorphic) function defined in the entire space \({\mathbb {R}}^{N} \) must be constant. Liouville type theorems for solutions with finite Morse indices have been widely studied in the past few decades. The idea of using Morse index of a solution to study a semilinear elliptic equation was first explored by Bahri and Lions in [2], where the following problem was considered on the half-space:
$$\begin{aligned} \textstyle\begin{cases} -\Delta u= \vert u \vert ^{p-1}u, \quad x\in {\mathbb {R}}^{N}_{+}, \\ u=0, \quad \text{on } \partial {\mathbb {R}}^{N}_{+}. \end{cases}\displaystyle \end{aligned}$$
The authors proved that (1.2) has no nontrivial bounded solution with finite Morse index when \(1< p<\frac{N+2}{N-2}\). Later, many authors considered the positive solutions of (1.2) by some delicate methods. In [3], Chen and Li considered the positive solutions of (1.2) by the moving plane method. The authors first proved that the solution is symmetric and constant, then deduced that this constant is just zero. Inspired by the idea in [3], many scholars applied similar methods to research solutions of elliptic equations, see [47] and the references therein. Yu [8] studied (1.2) with a Neumann boundary condition. By using an energy estimate and Pohozaev identity, the author gave a result on the nonexistence of a finite Morse index solution.
In [9], Gidas and Spruck considered the elliptic problem
$$\begin{aligned} -\Delta u= \vert x \vert ^{a} \vert u \vert ^{p-1}u \quad \text{in } \varOmega . \end{aligned}$$
If \(a=0\), the authors proved that (1.3) has no positive solutions if and only if \(1< p<\frac{N+2}{N-2}\) (=∞ if \(N=2\)). If \(a\neq0\), problem (1.3) is complicated and less is known. For \(a\leq -2\), the authors in [9] established an important result that (1.3) does not possess positive solutions in any domain Ω containing the origin. For \(a>-2\), however, problem (1.3) is difficult and there are fewer results since some classical techniques fail for this case. In [10], Phan and Souple studied the positive bounded solution of (1.3) for the special case \(a>0\) and \(N=3\). The authors proved that (1.3) has no positive bounded solution in \(\varOmega ={\mathbb {R}}^{N}\) for \(1< p< p_{s}(a)=(N+2+2a)/(N-2)\) (=∞ if \(N=2\)). In [11], Dancer et al. also studied problem (1.3) with \(a>-2\), and classified the existence and behavior at infinity of positive solutions with a finite Morse index. In order to get the results on finite Morse index solutions, a duality method was applied in [11]. It is worth noting that the result on radial solutions of problem (1.3) is complete, see the following proposition in [9, 12].

Proposition A

Let \(N\geq 2\), \(a>-2 \) and \(p>1\).
  1. (i)

    If \(p< p_{s}(a)\), then (1.3) has no positive radial solution in \(\varOmega ={\mathbb {R}}^{N}\).

  2. (ii)

    If \(p\geq p_{s}(a)\), then (1.3) possesses a bounded, positive radial solution in \(\varOmega ={\mathbb {R}}^{N}\).

For other manuscripts on Liouville-type theorems for nonlinear elliptic equations, we refer the readers to [1320].
In recent years, a Liouville-type theorem for a higher order equation was also studied. Hu [21] considered the fourth order elliptic equation
$$\begin{aligned} -\Delta ^{2}u= \vert x \vert ^{a} \vert u \vert ^{p-1}u \quad \text{in }\varOmega . \end{aligned}$$
Applying the monotonicity formula and blowing down sequence, the author established a Liouville-type theorem for finite Morse index solutions. In [22], Dávila et al. studied (1.4) for the case \(a=0\) and \(\varOmega ={\mathbb {R}}^{N}\). The authors gave a complete classification of finite Morse index solutions. Theorem 1.3 in [22] generalized a similar result of Farina in [23] for the classical Lane–Emden equation.
Some scholars applied the Liouville-type theorem for elliptical equations with the p-Laplace operator. In [24], the authors considered the following p-Laplace elliptic equations with exponential growth
$$\begin{aligned} -\Delta _{p} u=f(x)e^{u} , \quad x\in {{\mathbb {R}}^{N}} . \end{aligned}$$
There are few works on the elliptic equation with the p-Laplace operator and exponential growth. By choosing a special test function, the authors gave the result on the nonexistence of positive stable solution for (1.5).

In our paper, we consider solutions of (1.1) in Sobolev space \(W^{1,p}(\vert x\vert ^{-ap},{\mathbb {R}}^{N}_{+})\). The weight functions \(f(\vert x\vert )\) and \(g(\vert x\vert )\) in (1.1) are radial. We are interested in the nonexistence of solutions with a finite Morse index. Our proofs in this paper are partly motivated by [14]. Since \(a>0\), problem (1.1) is singular at \(x=0\), and we need more a delicate energy estimate and computations. We want to point out that the solutions in our problem (1.1) may change sign, thus the moving plane method mentioned above does not work.

Denote by \(J(u)\) the natural functional to problem (1.1), that is,
$$\begin{aligned} \begin{aligned}[b] J(u)&=\frac{1}{p} \int _{{\mathbb {R}}^{N}_{+}} \vert x \vert ^{-ap} \vert \nabla u \vert ^{p}\,dx- \frac{1}{r+1} \int _{{\mathbb {R}}^{N}_{+}}f\bigl( \vert x \vert \bigr) \vert u \vert ^{r+1}\,dx \\ &\quad{} -\frac{1}{q+1} \int _{\partial {\mathbb {R}}^{N}_{+}}g\bigl( \bigl\vert x' \bigr\vert \bigr) \vert u \vert ^{q+1}\,dx'. \end{aligned} \end{aligned}$$
We define the function
$$\begin{aligned} Q_{u}(\varphi )= \int _{{\mathbb {R}}^{N}_{+}}{ \vert x \vert ^{-ap} \vert \nabla u \vert ^{p}\,dx}+(p-2) \int _{{\mathbb {R}}^{N}_{+}}{ \vert x \vert ^{-ap} \vert \nabla u \vert ^{p-4}{(\nabla u\cdot \nabla \varphi )^{2}}\,dx}. \end{aligned}$$
It is well known that the Morse index \(i(u)\) is defined as the maximal dimension of all subspaces \(X\in C_{0}^{1}({\mathbb {R}}^{N})\) such that \(Q_{u}(\varphi )<0\).
In order to get our result, we make the following assumptions:

There exist \(b_{0}>0\), \(d_{0}>0\), \(b>\frac{N(2-p)-2p(a+1)}{p}\) and \(d>\frac{(2-p)N}{p}-2a-1\) such that \(f(\vert x\vert )\vert x\vert ^{-b}\rightarrow b_{0}\) and \(g(\vert x\vert )\vert x\vert ^{-d}\rightarrow d_{0}\) as \(\vert x\vert \rightarrow \infty \).


\(f(\vert x\vert )\in C^{1}({\mathbb {R}}^{N}_{+}\backslash \{0\})\) is radial and nonnegative in \({\mathbb {R}}^{N}_{+}\), and \(g(\vert x\vert )\in C^{1}(\partial {\mathbb {R}}^{N}_{+}\backslash \{0\})\) is radial and nonnegative in \(\partial {\mathbb {R}}^{N}_{+}\).

The functions \(f(\tau )\) and \(g(\tau )\) satisfy
$$\begin{aligned} \bigl(\tau ^{\mu } f(\tau )\bigr)'>0, \quad \forall \tau = \vert x \vert \in {{\mathbb {R}}^{N}_{+}} \backslash \{0\}, \quad \quad \bigl(\tau ^{\omega } g(\tau )\bigr)'>0, \quad \forall \tau = \vert x \vert \in \partial {\mathbb {R}}^{N}_{+}\backslash \{0 \}, \end{aligned}$$
where \(\mu =[{Np-(r+1)(1+a-N)}]/ p\) and \(\omega =[(N-1)p-(q+1)(N-p-pa)]/p\).

Our main result on (1.1) is listed below.

Theorem 1

Assume \(N\geq 2\) and suppose functions \(f(\tau )\) and \(g(\tau )\) satisfy assumptions \((A_{1})\)\((A_{3})\). Let \(u\in W^{1,p}(\vert x\vert ^{-ap},{\mathbb {R}}^{N}_{+})\) be a bounded solution of (1.1). If \(i(u)<\infty \), then \(u\equiv 0\) in \({\mathbb {R}}^{N}_{+}\).

This paper is organized as follows. In Sect. 2, we establish several lemmas and estimates. In Sect. 3, we give a Pohozaev identity and then complete the proof of Theorem 1.

2 Preliminary results

In order to study the solutions with a finite Morse index, we will establish several lemmas. We first define a cut-off function \(\varphi _{\tau ,s}\in [0,1]\) as
$$ \varphi _{\tau ,s}\bigl( \vert x \vert \bigr)= \textstyle\begin{cases} 0,& \vert x \vert < \tau \text{ or } \vert x \vert >2s, \\ 1,& 2\tau \leq \vert x \vert \leq s. \end{cases} $$
Furthermore, \(\vert \nabla \varphi _{\tau ,s}(\vert x\vert )\vert \leq \frac{2}{\tau }\) for \(\tau <\vert x\vert \leq 2\tau \) and \(\vert \nabla \varphi _{\tau ,s}(\vert x\vert )\vert \leq \frac{2}{s}\) for \(s<\vert x\vert <2s\).

Lemma 2.1

Assume \(u(x)\) is a solution of (1.1) with a finite Morse index, then there exists \(\tau _{0}>0\) such that \(Q_{u}(u\varphi _{\tau _{0},s}(\vert x\vert ))\geq 0\).


Let \(i(u)=k\) and \(g(\tau ,s)= Q_{u}(u\varphi _{\tau ,s}(\vert x\vert ))\), where \(s>2\tau >2\tau _{0}>0\). Assume on the contrary that there exist \(s_{m}\rightarrow \infty \), \(\tau _{m}\rightarrow \infty \) such that \(s_{m+1}>2\tau _{m+1}>\tau _{m+1}>2s_{m}\) and
$$\begin{aligned} g(r_{m},s_{m})=Q_{u}(u\varphi _{\tau _{m},s_{m}})< 0\quad \text{for } m=1,2,\ldots. \end{aligned}$$
Then, one gets from (2.2) that \(u\varphi _{\tau _{m}, s_{m}} \not \equiv 0\) for \(\forall 1\leq m\leq k+1\). Note that \(\{u \varphi _{\tau _{m}, s_{m}}\}_{m=1}^{k+1}\) have disjoint support, which implies that \(\{u\varphi _{\tau _{m}, s_{m}}\}_{m=1}^{k+1}\) are orthogonal in \(L^{2}({\mathbb {R}}^{N})\) and linearly independent, so the dimension of the space
$$\begin{aligned} M_{k+1}=\operatorname{span} {\{u\varphi _{\tau _{m}, s_{m}} \}_{m=1}^{k+1}} \end{aligned}$$
is \(k+1\). Furthermore, one gets from (2.2) that \(Q_{u}(h)<0\) for any \(h\in M_{k+1}\). Thus, the Morse index of u is at least \(k+1\), which contradicts \(i(u)=k\), and we complete the proof of Lemma 2.1. □

Now, we give some estimates.

Lemma 2.2

Assume \((A_{1})\)\((A_{3})\). If u is a bounded solution of (1.1) with a finite Morse index, then
$$\begin{aligned} \int _{{\mathbb {R}}^{N}_{+}}f\bigl( \vert x \vert \bigr) \vert u \vert ^{r+1}\,dx< \infty , \quad\quad \int _{\partial {\mathbb {R}}^{N}_{+}}g\bigl( \bigl\vert x' \bigr\vert \bigr) \vert u \vert ^{q+1}\,dx'< \infty . \end{aligned}$$


We prove the first claim of (2.4). For this purpose, we will divide our proof into three cases.
  1. (i)


According to Lemma 2.1, there exists \(\tau _{0}>0\) such that \(Q_{u}(u\varphi _{\tau _{0},s})\geq 0\) for \(s>2\tau _{0}\), that is,
$$\begin{aligned} &q \int _{\partial {\mathbb {R}}^{N}_{+}}g\bigl( \bigl\vert x' \bigr\vert \bigr) \vert u \vert ^{q+1}\varphi _{\tau _{0},s} \,dx'+r \int _{{\mathbb {R}}^{N}_{+}}f\bigl( \vert x \vert \bigr)\varphi ^{2}_{\tau _{0},s}\,dx \\ &\quad \leq \int _{{\mathbb {R}}^{N}_{+}} \vert x \vert ^{-ap} \vert \nabla u \vert ^{p-2}(\nabla u \varphi _{\tau _{0},s} +u\nabla \varphi _{\tau _{0},s})^{2}\,dx \\ &\quad\quad{} +(p-2) \int _{{\mathbb {R}}^{N}_{+}} \vert x \vert ^{-ap} \vert \nabla u \vert ^{p-4}\bigl(\nabla u\cdot \nabla (u\varphi _{\tau _{0},s}) \bigr)^{2}\,dx \\ &\quad =(p-1) \int _{{\mathbb {R}}^{N}_{+}} \vert x \vert ^{-ap} \vert \nabla u \vert ^{p}\varphi _{\tau _{0},s}^{2}\,dx+2(p-1) \int _{{\mathbb {R}}^{N}_{+}} \vert x \vert ^{-ap} \vert \nabla u \vert ^{p-2}u \varphi _{\tau _{0},s} \nabla u\nabla \varphi _{\tau _{0},s} \,dx \\ &\quad\quad{} +(p-1) \int _{{\mathbb {R}}^{N}_{+}} \vert \nabla u \vert ^{2} \vert \nabla \varphi \vert _{\tau _{0},s}^{2}\,dx. \end{aligned}$$
On the other hand, multiplying (1.1) by \(u\varphi _{\tau _{0},s} ^{2}\) and integrating by parts, one gets
$$\begin{aligned} & \int _{{\mathbb {R}}^{N}_{+}}f\bigl( \vert x \vert \bigr) \vert u \vert ^{r+1}\varphi _{\tau _{0},s}^{2}\,dx+ \int _{\partial {\mathbb {R}}^{N}_{+}}g\bigl( \bigl\vert x' \bigr\vert \bigr) \vert u \vert ^{q+1}\varphi _{\tau _{0},s} ^{2} \,dx' \\ &\quad = \int _{{\mathbb {R}}^{N}_{+}} \vert x \vert ^{-ap} \vert \nabla u \vert ^{p}\varphi _{\tau _{0},s}^{2}\,dx \\ &\quad \quad{} +2 \int _{{\mathbb {R}}^{N}_{+}} \vert x \vert ^{-ap} \vert \nabla u \vert ^{p-2}u\varphi _{\tau _{0},s} \nabla u\nabla \varphi _{\tau _{0},s} \,dx. \end{aligned}$$
It follows from Lemma 2.1 that there exists \(\tau _{0}>0\) such that
$$\begin{aligned} &q \int _{\partial {\mathbb {R}}^{N}_{+}}{g\bigl( \bigl\vert x' \bigr\vert \bigr) \vert u \vert ^{q+1}\varphi _{\tau _{0},s}} \,dx'+r \int _{{\mathbb {R}}^{N}_{+}}f\bigl( \vert x \vert \bigr) \vert u \vert ^{r+1}\varphi _{\tau _{0},s}^{2}\,dx \\ &\quad \leq (p-1) \int _{{\mathbb {R}}^{N}_{+}}{ \vert x \vert ^{-ap} \vert \nabla u \vert ^{p} \varphi _{\tau _{0},s}^{2}\,dx} \\ &\quad\quad{} +2(p-1) \int _{{\mathbb {R}}^{N}_{+}} \vert x \vert ^{-ap} \vert \nabla u \vert ^{p-2}u \varphi _{\tau _{0},s} \nabla u\nabla \varphi _{\tau _{0},s}\,dx \\ &\quad\quad{} +(p-1) \int _{{\mathbb {R}}^{N}_{+}}{ \vert x \vert ^{-ap} \vert \nabla u \vert ^{p-2}u^{2} \vert \nabla \varphi _{\tau _{0},s} \vert ^{2}\,dx}. \end{aligned}$$
Inserting (2.6) into (2.7), one gets
$$\begin{aligned} & q \int _{\partial {\mathbb {R}}^{N}_{+}}{g\bigl( \bigl\vert x' \bigr\vert \bigr) \vert u \vert ^{q+1}\varphi _{\tau _{0},s}} \,dx'+r \int _{{\mathbb {R}}^{N}_{+}}f\bigl( \vert x \vert \bigr) \vert u \vert ^{r+1}\varphi _{\tau _{0},s}^{2}\,dx \\ &\quad \leq (p-1)\biggl[ \int _{{\mathbb {R}}^{N}_{+}}f\bigl( \vert x \vert \bigr) \vert u \vert ^{r+1}\varphi _{\tau _{0},s}^{2}\,dx \\ &\quad \quad{} + \int _{\partial {\mathbb {R}}^{N}_{+}}g\bigl( \vert x \vert \bigr) \vert u \vert ^{q+1}\varphi _{\tau _{0},s} ^{2}\,dx' \biggr]+(p-1) \int _{{\mathbb {R}}^{N}_{+}}{ \vert x \vert ^{-ap} \vert \nabla u \vert ^{p-2}u^{2} \vert \nabla \varphi _{\tau _{0},s} \vert ^{2}\,dx}. \end{aligned}$$
That is,
$$\begin{aligned} &(q-p-1) \int _{\partial {\mathbb {R}}^{N}_{+}}{g\bigl( \bigl\vert x' \bigr\vert \bigr) \vert u \vert ^{q+1} \varphi _{\tau _{0},s}} \,dx'+(r-p-1) \int _{{\mathbb {R}}^{N}_{+}}f\bigl( \vert x \vert \bigr) \vert u \vert ^{r+1} \varphi _{\tau _{0},s}^{2}\,dx \\ &\quad \leq (p-1) \int _{{\mathbb {R}}^{N}_{+}}{ \vert x \vert ^{-ap} \vert \nabla u \vert ^{p-2}u^{2} \vert \nabla \varphi _{\tau _{0},s} \vert ^{2}\,dx}. \end{aligned}$$
Then, we get that
$$\begin{aligned} { } (q-p-1) \int _{\partial {\mathbb {R}}^{N}_{+}}{g\bigl( \bigl\vert x' \bigr\vert \bigr) \vert u \vert ^{q+1} \varphi _{\tau _{0},s}} \,dx'\leq (p-1) \int _{{\mathbb {R}}^{N}_{+}}{ \vert x \vert ^{-ap} \vert \nabla u \vert ^{p-2}u^{2} \vert \nabla \varphi _{\tau _{0},s} \vert ^{2}\,dx} \end{aligned}$$
$$\begin{aligned} { } (r-p-1) \int _{{\mathbb {R}}^{N}_{+}}f\bigl( \vert x \vert \bigr) \vert u \vert ^{r+1}\varphi _{\tau _{0},s} ^{2}\,dx\leq (p-1) \int _{{\mathbb {R}}^{N}_{+}}{ \vert x \vert ^{-ap} \vert \nabla u \vert ^{p-2}u^{2} \vert \nabla \varphi _{\tau _{0},s} \vert ^{2}\,dx}. \end{aligned}$$
In the following, we prove that
$$\begin{aligned} \int _{{\mathbb {R}}^{N}_{+}}f\bigl( \vert x \vert \bigr) \vert u \vert ^{r+1}\,dx< \infty . \end{aligned}$$
By (2.11), we get that
$$\begin{aligned} &(r-p-1) \int _{{\mathbb {R}}^{N}_{+}}f\bigl( \vert x \vert \bigr) \vert u \vert ^{r+1}\varphi _{\tau _{0},s}^{2}\,dx \\ &\quad \leq (p-1) \int _{{\mathbb {R}}^{N}_{+}}{ \vert x \vert ^{-ap} \vert \nabla u \vert ^{p-2}u^{2} \vert \nabla \varphi _{\tau _{0},s} \vert ^{2}\,dx} \\ &\quad =(p-1) \int _{\tau _{0}< \vert x \vert < 2\tau _{0}}{ \vert x \vert ^{-ap} \vert \nabla u \vert ^{p-2}u^{2} \vert \nabla \varphi _{\tau _{0},s} \vert ^{2}\,dx} \\ &\quad\quad{} +(p-1) \int _{s< \vert x \vert < 2s}{ \vert x \vert ^{-ap} \vert \nabla u \vert ^{p-2}u^{2} \vert \nabla \varphi _{\tau _{0},s} \vert ^{2}\,dx} \\ &\quad \leq (p-1) \biggl( \int _{\tau _{0}< \vert x \vert < 2\tau _{0}}{ \vert x \vert ^{-ap} \vert \nabla u \vert ^{p}\,dx}\biggr)^{ \frac{p-2}{p}}\biggl( \int _{\tau _{0}< \vert x \vert < 2\tau _{0}}{ \vert x \vert ^{-ap} \vert u \vert ^{p} \vert \nabla u \vert ^{p}\,dx} \biggr)^{\frac{2}{p}} \\ &\quad\quad{} +(p-1) \biggl( \int _{s\leq \vert x \vert \leq 2s}{ \vert x \vert ^{-ap} \vert \nabla u \vert ^{p}\,dx}\biggr)^{ \frac{p-2}{p}} \biggl({ \int _{s\leq \vert x \vert \leq 2s}{ \vert x \vert ^{-ap} \vert u \vert ^{p} \vert \nabla \varphi _{r_{0,s}} \vert }^{p} \,dx}\biggr)^{\frac{2}{p}} \\ &\quad \leq c_{1}(\tau _{0})^{-2a} \int _{\tau _{0}< \vert x \vert < 2\tau _{0}}{ \vert x \vert ^{-ap} \vert u \vert ^{p} \vert \nabla u \vert ^{p}\,dx})^{\frac{2}{p}}+c_{2}(s)^{-2a-2} \int _{s\leq \vert x \vert \leq 2s} { \vert u \vert ^{p}\,dx}. \end{aligned}$$
By Hölder inequality, one gets
$$\begin{aligned} \int _{s\leq \vert x \vert \leq 2s}{ \vert u \vert ^{p}\,dx\leq \biggl( \int _{\varOmega _{2s}}{f\bigl( \vert x \vert \bigr) \vert u \vert ^{r+1}}\,dx}\biggr)^{ \frac{p}{r+1}}\biggl( \int _{\varOmega _{2s}}{f\bigl( \vert x \vert \bigr)^{\frac{-p}{r+1-p}}}\,dx \biggr)^{ \frac{r+1-p}{r+1}}, \end{aligned}$$
where \(\varOmega _{s}=B_{s}^{+}\backslash {\overline{B_{2\tau _{0}}^{+}}}\) for \(s>2\tau _{0} \), and \(B_{s}^{+}\) is defined in (3.1). Thus, it follows from (2.13) and (2.14) that
$$\begin{aligned} \begin{aligned}[b] & \int _{{\mathbb {R}}^{N}_{+}}f\bigl( \vert x \vert \bigr) \vert u \vert ^{r+1}\,dx \\ &\quad \leq c_{1}+c_{2}(s)^{-2a-2} \biggl( \int _{\varOmega _{2s}}{f\bigl( \vert x \vert \bigr)} \vert u \vert ^{r+1}\,dx\biggr)^{\frac{2}{r+1}}\biggl( \int _{\varOmega _{2s}}{f\bigl( \vert x \vert \bigr)^{\frac{p}{r+1-p}}}\,dx \biggr)^{\frac{2(r+1-p)}{p(r+1)}}. \end{aligned} \end{aligned}$$
Note that \(s>2\tau _{0}>1\), then if \(r>p-1+\frac{bp}{N}\), we get
$$\begin{aligned} \int _{\varOmega _{2s}}{f\bigl( \vert x \vert \bigr)^{\frac{p}{r+1-p}}}\,dx \leq c_{3} \int _{\varOmega _{2s}}{ \vert x \vert ^{\frac{-bp}{r+1-p}}\,dx}\leq c_{3} \vert r \vert ^{N- \frac{bp}{r+1-p}}. \end{aligned}$$
Combining (2.15) with (2.16), we obtain
$$\begin{aligned} \begin{aligned}[b] \int _{\varOmega _{2s}}{f\bigl( \vert x \vert \bigr)^{\frac{p}{r+1-p}}}\,dx &\leq c_{0}+c_{1} \vert 2s \vert ^{ \frac{2N(r+1-p)-2bp}{p(r+1)}-2(a+1)}\biggl( \int _{\varOmega _{2s}}f\bigl( \vert x \vert \bigr) \vert u \vert ^{r+1}\,dx\biggr)^{ \frac{2}{r+1}} \\ & =c_{0}+c_{1} \vert s \vert ^{\theta }2^{\theta } \biggl( \int _{\varOmega _{2s}}f\bigl( \vert x \vert \bigr) \vert u \vert ^{r+1}\,dx\biggr)^{ \frac{2}{r+1}}, \end{aligned} \end{aligned}$$
$$\begin{aligned} \theta =\frac{2N(r+1-p)-2bp}{p(r+1)}-2(a+1)< 0. \end{aligned}$$

In the following, we will prove the first part of (2.4) by contradiction.

Suppose \(\int _{{\mathbb {R}}^{N}_{+}}f(\vert x\vert )\vert u\vert ^{r+1}\,dx=\infty \). Then one gets by (2.17) that there exists a constant \(\alpha >0\) such that
$$\begin{aligned} G(s)= \int _{\varOmega _{s}}{f\bigl( \vert x \vert \bigr) \vert u \vert ^{r+1}\,dx}\leq \alpha \biggl( \int _{\varOmega _{2s}}{f\bigl( \vert x \vert \bigr) \vert u \vert ^{r+1}\,dx}\biggr)^{\frac{2}{r+1}}2^{\theta }s^{\theta }. \end{aligned}$$
Integrating (2.19), we get
$$\begin{aligned} G(s)\leq \alpha ^{\gamma _{m}}2^{\gamma _{m}\theta }s^{\gamma _{m}\theta } \bigl(G\bigl(2^{m+1}s\bigr)\bigr)^{({\frac{2}{r+1}})^{m+1}}, \end{aligned}$$
$$ \beta =\frac{2}{r+1}< 1, \quad\quad \gamma _{m}=1+\beta +\beta ^{2}+\cdots +\beta ^{m}=\frac{1-\beta ^{m}}{1-\beta }\rightarrow \frac{1}{1-\beta } \quad \text{as } m\rightarrow \infty . $$
On the other hand, by our assumption, the solution is bounded. So, there exists \(M>0\) such that \(\vert u(x)\vert \leq M\) in \(\partial { {\mathbb {R}}_{+}^{{\mathbb {N}}}}\) and
$$\begin{aligned} \begin{aligned}[b] G\bigl(2^{m+1}s\bigr) &= \int _{\varOmega _{2^{m+1}s}}{f\bigl( \vert x \vert \bigr) \vert u \vert ^{r+1}\,dx}\leq \frac{3}{2}b_{0}M^{r+1} \int _{\varOmega _{2^{m+1}s}} \vert x \vert ^{b}\,dx \\ &=\frac{3}{2}b_{0}M^{r+1}\frac{\omega _{N}(2^{m+1}s)^{N+b}}{N+b}. \end{aligned} \end{aligned}$$
Then we get from (2.20) and (2.21) that
$$\begin{aligned} \begin{aligned}[b] G(s) &\leq \alpha ^{\gamma _{m}}2^{\gamma _{m}\theta }s^{\gamma _{m}\theta } \biggl(\frac{3}{2}b_{0}\omega _{N}\frac{(2^{m+1}s)^{N+b}}{N+b} \biggr)^{( \frac{2}{r+1})^{m+1}} \\ &=c_{0}\alpha ^{\gamma _{m}}2^{\gamma _{m}\theta +(m+1)(N+b)\beta ^{m+1}}s ^{\gamma _{m}\theta +(N+b)\beta ^{m+1}}, \end{aligned} \end{aligned}$$
where θ is defined as (2.18).
Note that, when \(m\rightarrow \infty \),
$$\begin{aligned} \begin{aligned} &\gamma _{m}\theta +(m+1) (N+b)\beta ^{m+1} \rightarrow \beta _{0}= \frac{p+1}{p-1}\theta, \\ &\gamma _{m}\theta +(N+b)\beta ^{m+1}\rightarrow \beta _{0}= \frac{p+1}{p-1}\theta . \end{aligned} \end{aligned}$$
Then, there exists \(c_{2}>0\) such that
$$\begin{aligned} { } G(s)\leq c_{2}s^{\frac{\beta _{0}}{2}},\quad s>2\tau _{0}, m>1. \end{aligned}$$
Since \(\beta _{0}<0\), (2.24) yields \(G(\infty )=0\), which contradicts \(\int _{{\mathbb {R}}^{N}_{+}}f(\vert x\vert )\vert u\vert ^{r+1}\,dx=\infty \). Thus, we complete the proof of (i).
  1. (ii)

    \(1< r< p-1+\frac{bp}{N}\).

For a large \(\tau _{0}>0\), we get
$$\begin{aligned} { } \int _{\varOmega _{2s}}{f\bigl( \vert x \vert \bigr)^{\frac{p}{r+1-p}}}\,dx \leq c \int _{\varOmega _{2s}} \vert x \vert ^{\frac{p}{r+1-p}}\,dx\leq c(2\tau _{0})^{N-\frac{bp}{r+1-p}}< 1. \end{aligned}$$
Then, we get from (2.15) and (2.25) that
$$\begin{aligned} \int _{\varOmega _{s}}f\bigl( \vert x \vert \bigr) \vert u \vert ^{r+1}\,dx\leq c_{1}+c_{2}(s)^{-2a-2} \biggl( \int _{\varOmega _{2s}}{f\bigl( \vert x \vert \bigr)} \vert u \vert ^{r+1}\,dx\biggr)^{\frac{2}{r+1}}. \end{aligned}$$
Suppose \(\int _{{\mathbb {R}}^{N}_{+}}f(\vert x\vert )\vert u\vert ^{r+1}\,dx=\infty \). Then there exists \(\alpha >0\) such that
$$\begin{aligned} \begin{aligned}[b] G(s) &= \int _{\varOmega _{s}}{f\bigl( \vert x \vert \bigr) \vert u \vert ^{p+1}\,dx}\leq \alpha s^{-(2\alpha +2)}\biggl( \int _{\varOmega _{2s}}{f\bigl( \vert x \vert \bigr) \vert u \vert ^{r+1}\,dx}\biggr)^{\frac{2}{r+1}} \\ &\leq \alpha ^{\gamma _{m}}s^{-(2\alpha +2)\gamma _{m}}G\bigl(2^{m+1}s \bigr)^{ \beta ^{m+1}}, \quad m=0,1,2,\ldots. \end{aligned} \end{aligned}$$
Thus, one gets from (2.21) and (2.27) that
$$\begin{aligned} G(s)\leq c_{0}\alpha ^{\gamma _{m}}s^{-(2\alpha +2)\gamma _{m}+(N+b) \beta ^{m+1}}2^{(m+1)(N+b)\beta ^{m+1}}. \end{aligned}$$
Since \(\gamma _{m}\rightarrow \gamma _{0}=\frac{p+1}{p-1}\) as \(m\rightarrow \infty \) and \(\beta <1\), we obtain \(G(\infty )=0\), which contradicts \(\int _{{\mathbb {R}}^{N}_{+}}f(\vert x\vert )\vert u\vert ^{r+1}\,dx=\infty \). The proof of (ii) is completed.
  1. (iii)


For this case, there exists a constant \(c_{0}>0\) such that
$$\begin{aligned} \int _{\varOmega _{2s}}{{f\bigl( \vert x \vert \bigr)}^{-\frac{p}{r+1-p}} \,dx}\leq \int _{\varOmega _{2s}}{ \vert x \vert ^{\frac{-bp}{r+1-p}}\,dx}\leq c_{0} \int _{2\tau _{0}}^{2s}{\rho ^{-1}\,d\rho } \leq c_{0}s. \end{aligned}$$
Moreover, similar to case (i) and (ii), we can obtain
$$\begin{aligned} G(s)\leq c_{1}+c_{2}s^{-(2a+1)}\biggl( \int _{\varOmega _{2s}}f\bigl( \vert x \vert \bigr) \vert u \vert ^{r+1}\,dx\biggr)^{ \frac{2}{r+1}}, \end{aligned}$$
and there exists a constant \(\alpha >0\) such that
$$\begin{aligned} \begin{aligned}[b] G(s) &\leq \alpha ^{\gamma _{m}}s^{-(2\alpha +1)\gamma _{m}} \bigl(G\bigl(2^{m+1}s\bigr)\bigr)^{( \frac{2}{r+1})^{(m+1)}} \\ &\leq c_{0}\alpha ^{\gamma _{m}}s^{-(2a+1)\gamma _{m}+(N+a)\beta ^{m+1}}2^{(m+1)(N+a) \beta ^{m+1}}. \end{aligned} \end{aligned}$$
If \(\int _{{\mathbb {R}}^{N}_{+}}{f(\vert x\vert )\vert u\vert ^{r+1}\,dx=\infty }\), we can similarly get from (2.31) that \(G(\infty )=0\), which is a contraction. As a result, we complete the proof of (iii).

Next, we will prove \(\int _{\partial {\mathbb {R}}^{N}_{+}}{g(\vert x'\vert )\vert u\vert ^{q+1}\,dx'}< \infty \).

It follows from (2.10) that
$$\begin{aligned} \int _{B_{s}^{0}\setminus B_{\tau _{0}}^{0}}{g\bigl( \bigl\vert x' \bigr\vert \bigr) \vert u \vert ^{q+1}\,dx'} \leq& \int _{ \partial {\mathbb {R}}^{N}_{+}}{g\bigl( \bigl\vert x' \bigr\vert \bigr) \vert u \vert ^{q+1}\phi ^{2} \,dx'} \leq \int _{ {\mathbb {R}}^{N}_{+}} \vert x \vert ^{-ap} \vert \nabla u \vert ^{p-2} u^{2} \vert \nabla \phi \vert ^{2}\,dx \\ \leq &\frac{2}{s^{2}}\biggl( \int _{\varOmega _{2s}}{ \vert x \vert ^{-ap} \vert \nabla u \vert ^{p}}\,dx\biggr)^{ \frac{p-2}{p}}\biggl( \int _{\varOmega _{2s}}{ \vert x \vert ^{-ap} \vert u \vert ^{p}}\,dx\biggr)^{\frac{2}{p}} \\ \leq &cs^{-2-2a}\biggl( \int _{\varOmega _{2s}}{f\bigl( \vert x \vert \bigr) \vert u \vert ^{r+1}}\,dx\biggr)^{ \frac{2}{r+1}} \biggl( \int _{\varOmega _{2s}}f\bigl( \vert x \vert \bigr)^{\frac{-p}{r+1-p}}\,dx \biggr)^{ \frac{2(r+1-p)}{p(r+1)}} \\ \leq &cs^{\theta }. \end{aligned}$$
Noting that \(\theta <0\), we get from (2.32) that
$$\begin{aligned} \int _{{\mathbb {R}}^{N-1}\backslash B_{\tau _{0}}}{g\bigl( \bigl\vert x' \bigr\vert \bigr) \vert u \vert ^{q+1}\,dx'}=0. \end{aligned}$$
Furthermore, we get the second claim in (2.4), and the proof of this lemma is completed. □

3 The proof of Theorem 1

In this part, we will complete the proof of Theorem 1. To make the proof clear, we give the following symbols;
$$ \begin{gathered} S_{s}^{+} = \bigl\{ x=\bigl(x',x_{N}\bigr)\in {\mathbb {R}}^{N-1} \times {\mathbb {R}}^{+}: \vert x \vert =s\bigr\} , \\ B_{s}^{0} =\bigl\{ x=\bigl(x',0 \bigr),x' \in {\mathbb {R}}^{N-1}: \bigl\vert x' \bigr\vert < s\bigr\} , \\ \partial B_{s}^{0} =\bigl\{ x=\bigl(x',0 \bigr),x'\in {\mathbb {R}}^{N-1}: \bigl\vert x' \bigr\vert =s\bigr\} , \\ B_{s}^{+} =\bigl\{ x=\bigl(x',x_{N} \bigr)\in {\mathbb {R}}^{N-1}\times {\mathbb {R}}^{+}: \vert x \vert < s \bigr\} . \end{gathered} $$
It is obvious that \(\partial B_{R}^{+}=S_{R}^{+}\cup B_{R}^{0}\), where \(R\in {\mathbb {R}}^{+}\). In order to prove the nonexistence of solutions, we need to establish the following Pohozaev identity for problem (1.1).

Lemma 3.1

Let u be a solution of (1.1), then for any \(R>0\) the following equality holds:
$$ \begin{aligned}[b] &\biggl(\frac{N}{p}-1-a \biggr) \int _{B_{R}^{+}}{ \vert x \vert ^{-ap} \vert \nabla u \vert ^{p}\,dx}- \frac{1}{r+1} \int _{B_{R}^{+}}{\bigl[Nf\bigl( \vert x \vert \bigr)+ \vert x \vert f'\bigl( \vert x \vert \bigr)\bigr] \vert u \vert ^{r+1}}\,dx \\ &\quad\quad {} -\frac{1}{q+1} \int _{B_{R}^{0}}{ \vert u \vert ^{q+1}\bigl[(N-1)g\bigl( \bigl\vert x' \bigr\vert \bigr)+ \bigl\vert x' \bigr\vert g'\bigl( \vert x \vert \bigr)\bigr] \,dx'}- \frac{R}{p} \int _{B_{R}^{0}}{ \vert x \vert ^{-ap} \vert \nabla u \vert ^{p}}\,dx \\ &\quad =\frac{-R}{r+1} \int _{\partial B_{R}^{+}}{f\bigl( \vert x \vert \bigr) \vert u \vert ^{r+1}\,dS}+ \frac{R}{p} \int _{S_{R}^{+}}{ \vert x \vert ^{-ap} \vert \nabla u \vert ^{p}}\,dS \\ &\quad\quad{} -\frac{R}{q+1} \int _{\partial B_{R}^{0}}g\bigl( \vert x \vert \bigr) \vert u \vert ^{q+1}\,d\sigma . \end{aligned} $$


Multiplying (1.1) by \(x\cdot \nabla u\) and integrating, we get
$$\begin{aligned} -\sum_{j=1}^{N} \int _{B_{R}^{+}}{\frac{\partial }{\partial x _{j}}\biggl( \vert x \vert ^{-ap} \vert \nabla u \vert ^{p-2}\frac{\partial u}{\partial x_{j}}\biggr)} {x\cdot \nabla u}\,dx=\sum_{i=1}^{N} \int _{B_{R}^{+}}{f\bigl( \vert x \vert \bigr) \vert u \vert ^{r-1}ux _{i}\frac{\partial u}{\partial x_{i}}\,dx}. \end{aligned}$$
For the right-hand side of (3.3), we have
$$\begin{aligned} & \sum_{i=1}^{N} \int _{B_{R}^{+}}{f\bigl( \vert x \vert \bigr) \vert u \vert ^{r-1}ux_{i}\frac{ \partial u}{\partial x_{i}}\,dx} \\ &\quad =\frac{1}{r+1}\sum _{i=1}^{N} \int _{B_{R}^{+}}{\frac{\partial }{\partial x_{i}}\bigl(x_{i}f\bigl( \vert x \vert \bigr) \vert u \vert ^{r+1}\bigr)}\,dx \\ &\quad \quad{} -\frac{N}{r+1} \int _{B_{R}^{+}}f\bigl( \vert x \vert \bigr) \vert u \vert ^{r+1}\,dx-\sum_{i=1} ^{N} \int _{B_{R}^{+}}\biggl( \int _{0}^{u}{x_{i}f' \bigl( \vert x \vert \bigr)\frac{x_{i}}{ \vert x \vert }} \vert s \vert ^{r-1}s\,ds\biggr)\,dx \\ &\quad =\frac{1}{r+1}\sum_{i=1}^{N} \int _{\partial B_{R}^{+}}{x_{i} \cdot \upsilon _{i}f \bigl( \vert x \vert \bigr) \vert u \vert ^{r+1}}\,dS- \frac{N}{r+1} \int _{B_{R}^{+}}f\bigl( \vert x \vert \bigr) \vert u \vert ^{r+1}\,dx \\ &\quad \quad{} -\frac{1}{r+1} \int _{B_{R}^{+}}{f'\bigl( \vert x \vert \bigr) \vert x \vert \vert u \vert ^{r+1}}\,dx \\ &\quad =\frac{R}{r+1} \int _{\partial B_{R}^{+}}f\bigl( \vert x \vert \bigr) \vert u \vert ^{r+1}\,dS \\ &\quad \quad{} -\frac{1}{r+1} \int _{B_{R}^{+}}\bigl(Nf\bigl( \vert x \vert \bigr)+ \vert x \vert f'\bigl( \vert x \vert \bigr) \vert u \vert ^{r+1}\bigr)\,dx. \end{aligned}$$
For the left part of (3.3), we have
$$ \begin{aligned}[b] &-\sum_{j=1}^{N} \int _{B_{R}^{+}}{\frac{\partial }{\partial x _{j}}\biggl( \vert x \vert ^{-ap} \vert \nabla u \vert ^{p-2}\frac{\partial u}{\partial x_{j}}\biggr)}x \cdot \nabla u\,dx \\ &\quad =-\sum_{j=1}^{N} \int _{B_{R}^{+}}{\frac{\partial }{\partial x_{j}}\biggl( \vert x \vert ^{-ap} \vert \nabla u \vert ^{p-2}\frac{\partial u}{\partial x_{j}}x\cdot \nabla u\biggr)}\,dx \\ &\quad \quad {} + \int _{B_{R}^{+}}{ \vert x \vert ^{-ap} \vert \nabla u \vert ^{p-2}\frac{\partial u}{\partial x_{j}}\sum_{i=1}^{N} \biggl(\delta _{ij}\frac{\partial u}{\partial x _{i}}+x_{i} \frac{\partial ^{2}u}{\partial x_{i}\partial x_{j}}\biggr)\,dx} \\ &\quad =-\sum_{j=1}^{N} \int _{\partial B_{R}^{+}}{\biggl( \vert x \vert ^{-ap} \vert \nabla u \vert ^{p-2}\frac{\partial u}{\partial x_{j}}\upsilon _{j}x\cdot \nabla u\biggr)}\,dS+ \int _{B_{R}^{+}}{ \vert x \vert ^{-ap} \vert \nabla u \vert ^{p}}\,dx \\ &\quad \quad {} +\sum_{j=1}^{N} \int _{B_{R}^{+}}{ \vert x \vert ^{-ap} \vert \nabla u \vert ^{p-2}\frac{ \partial u}{\partial x_{j}}\sum_{i=1}^{N}}x_{i} \frac{\partial ^{2}u}{\partial x_{i}\partial x_{j}}\,dx. \end{aligned} $$
For the first and third terms of the right-hand side of (3.5), we get
$$\begin{aligned}& \sum_{j=1}^{N} \int _{\partial B_{R}^{+}}{\biggl( \vert x \vert ^{-ap} \vert \nabla u \vert ^{p-2}\frac{ \partial u}{\partial x_{j}}\upsilon _{j}x\cdot \nabla u\biggr)}\,dS \\ & \quad = \int _{S_{R}^{+}}{ \vert x \vert ^{-ap} \vert \nabla u \vert ^{p}}\,dS \\ & \quad \quad {} +\sum_{i=1}^{N-1} \int _{B_{R}^{0}}{g\bigl( \bigl\vert x' \bigr\vert \bigr) \vert u \vert ^{q-1}ux_{i}\frac{ \partial u}{\partial x_{i}} \,dx'} \\ & \quad = \int _{S_{R}^{+}}{ \vert x \vert ^{-ap} \vert \nabla u \vert ^{p}}\,dS+\frac{1}{q+1}\sum_{i=1}^{N-1} \int _{B_{R}^{0}}{\biggl[\frac{\partial }{\partial x_{i}}\bigl(x _{i}g \bigl( \bigl\vert x' \bigr\vert \bigr) \vert u \vert ^{q+1}\bigr)- \vert u \vert ^{q+1}\frac{\partial }{\partial x_{i}}(x_{i}g \bigl( \bigl\vert x' \bigr\vert \bigr)\biggr]\,dx'} \\ & \quad = \int _{S_{R}^{+}}{ \vert x \vert ^{-ap} \vert \nabla u \vert ^{p}}\,dS+\frac{1}{q+1}\sum_{i=1}^{N-1} \int _{\partial B_{R}^{0}}{x_{i}g\bigl( \vert x \vert \bigr) \vert u \vert ^{q+1} \upsilon _{i}\,d\sigma } \\ & \quad \quad {} -\frac{1}{q+1}\sum_{i=1}^{N-1} \int _{B_{R}^{0}}{ \vert u \vert ^{q+1}\frac{ \partial }{\partial x_{i}} \bigl(x_{i}g\bigl( \bigl\vert x' \bigr\vert \bigr) \bigr)\,dx'} \\ & \quad = \int _{S_{R}^{+}}{ \vert x \vert ^{-ap} \vert \nabla u \vert ^{p}}\,dS+\frac{1}{q+1} \int _{\partial B_{R}^{0}}{\bigl(x\cdot \upsilon g\bigl( \vert x \vert \bigr) \vert u \vert ^{q+1}\bigr)\,d\sigma } \\ & \quad \quad {} -\frac{1}{q+1}\sum_{i=1}^{N-1} \int _{B_{R}^{0}}{ \vert u \vert ^{q+1}\biggl[g\bigl( \bigl\vert x' \bigr\vert \bigr)+x _{i}g' \bigl( \bigl\vert x' \bigr\vert \bigr)\frac{x_{i}}{ \vert x \vert }\biggr] \,dx'} \\ & \quad = \int _{S_{R}^{+}}{ \vert x \vert ^{-ap} \vert \nabla u \vert ^{p}}\,dS++\frac{R}{q+1} \int _{\partial B_{R}^{0}}{g\bigl( \vert x \vert \bigr) \vert u \vert ^{q+1}\,d\sigma } \\ & \quad \quad {} -\frac{1}{q+1} \int _{B_{R}^{0}}{\bigl[(N-1)g\bigl( \bigl\vert x' \bigr\vert \bigr)+ \bigl\vert x' \bigr\vert g' \bigl( \bigl\vert x' \bigr\vert \bigr)\bigr]\,dx'} \end{aligned}$$
$$\begin{aligned}& \sum_{j=1}^{N} \int _{B_{R}^{+}}{ \vert x \vert ^{-ap} \vert \nabla u \vert ^{p-2}\frac{ \partial u}{\partial x_{j}}\sum_{i=1}^{N}}x_{i} \frac{\partial ^{2}u}{\partial x_{i}\partial x_{j}}\,dx \\ & \quad =\frac{1}{p}\sum_{i=1} ^{N} \int _{B_{R}^{+}}{ \vert x \vert ^{-ap}x_{i} \frac{\partial }{\partial x_{i}}\bigl( \vert \nabla u \vert ^{p}\bigr)\,dx} \\ & \quad =\frac{-N}{p} \int _{B_{R}^{+}}{ \vert x \vert ^{-ap} \vert \nabla u \vert ^{p}\,dx}+ \frac{1}{p}\sum_{i=1}^{N} \int _{\partial B_{R}^{+}}{ \vert x \vert ^{-ap} \vert \nabla u \vert ^{p}x_{i}\vartheta _{i}\,dS} \\ & \quad \quad{} +a\sum_{i=1}^{N} \int _{B_{R}^{+}}{x_{i} \vert x \vert ^{-ap-1} \frac{x_{i}}{ \vert x \vert } \vert \nabla u \vert ^{p}\,dx} \\ & \quad =\frac{-N}{p} \int _{B_{R}^{+}}{ \vert x \vert ^{-ap} \vert \nabla u \vert ^{p}\,dx}+ \frac{R}{p} \int _{\partial B_{R}^{+}}{ \vert x \vert ^{-ap} \vert \nabla u \vert ^{p}\,dS}+a \int _{B_{R}^{+}}{ \vert x \vert ^{-ap} \vert \nabla u \vert ^{p}\,dx}. \end{aligned}$$
Thus, (3.2) follows from (3.3)–(3.7). □

Now, we give the proof of Theorem 1.

Multiplying (1.1) by u and integrating, one gets that
$$\begin{aligned} \int _{{\mathbb {R}}^{N}_{+}}{ \vert x \vert ^{-ap} \vert \nabla u \vert ^{p}\,dx}= \int _{{\mathbb {R}}^{N} _{+}}f\bigl( \vert x \vert \bigr) \vert u \vert ^{r+1}\,dx+ \int _{\partial {\mathbb {R}}^{N}_{+}}g\bigl( \bigl\vert x' \bigr\vert \bigr) \vert u \vert ^{q+1}\,dx'. \end{aligned}$$
We need to prove
$$\begin{aligned} \liminf_{R\rightarrow \infty }R\biggl({ \int _{\partial B_{R}^{+}}f\bigl( \vert x \vert \bigr) \vert u \vert ^{r+1}\,dS}+ \int _{\partial B_{R}^{+}} \vert x \vert ^{-ap} \vert \nabla u \vert ^{p}\,dS + \int _{\partial B_{R}^{0}}g\bigl( \vert x \vert \bigr) \vert u \vert ^{q+1}\,d\sigma \biggr)=0. \end{aligned}$$
Assume on the contrary that (3.9) is wrong. Then there exists a constant \(\delta >0\) such that
$$\begin{aligned} \liminf_{R\rightarrow \infty }R\biggl({ \int _{\partial B_{R}^{+}}f\bigl( \vert x \vert \bigr) \vert u \vert ^{r+1}\,dS}+ \int _{\partial B_{R}^{+}} \vert x \vert ^{-ap} \vert \nabla u \vert ^{p}\,dS + \int _{\partial B_{R}^{0}}g\bigl( \vert x \vert \bigr) \vert u \vert ^{q+1}\,d\sigma \biggr)=\delta . \end{aligned}$$
Then, there exists \(R_{0}\in {\mathbb {R}}^{+}\) such that
$$\begin{aligned} R\biggl({ \int _{\partial B_{R}^{+}}f\bigl( \vert x \vert \bigr) \vert u \vert ^{r+1}\,dS}+ \int _{\partial B_{R} ^{+}} \vert x \vert ^{-ap} \vert \nabla u \vert ^{p}\,dS + \int _{\partial B_{R}^{0}}g\bigl( \vert x \vert \bigr) \vert u \vert ^{q+1}\,d \sigma \biggr)>\delta /2 \end{aligned}$$
for all \(R>R_{0}\).
Writing \(R_{n}=R_{0}+n\), \(n=1,2,\ldots \) , there exists \(\zeta _{n} \in (R_{n-1}, R_{n})\) such that for \(n=1,2,\ldots \) , there holds
$$\begin{aligned} & \int _{R_{n-1}}^{R_{n}}\biggl({ \int _{\partial B_{R}^{+}}f\bigl( \vert x \vert \bigr) \vert u \vert ^{r+1}\,dS}+ \int _{\partial B_{R}^{+}} \vert x \vert ^{-ap} \vert \nabla u \vert ^{p}\,dS + \int _{\partial B_{R}^{0}}g\bigl( \vert x \vert \bigr) \vert u \vert ^{q+1}\,d\sigma \biggr)\,dR \\ &\quad =\zeta _{n} \biggl({ \int _{\partial B_{R}^{+}}f\bigl( \vert x \vert \bigr) \vert u \vert ^{r+1}\,dS}+ \int _{\partial B_{R}^{+}} \vert x \vert ^{-ap} \vert \nabla u \vert ^{p}\,dS + \int _{\partial B_{R}^{0}}g\bigl( \vert x \vert \bigr) \vert u \vert ^{q+1}\,d\sigma \biggr) \\ &\quad > \delta /2. \end{aligned}$$
Furthermore, we get
$$\begin{aligned} & \int _{0}^{\infty }\biggl({ \int _{\partial B_{R}^{+}}f\bigl( \vert x \vert \bigr) \vert u \vert ^{r+1}\,dS}+ \int _{\partial B_{R}^{+}} \vert x \vert ^{-ap} \vert \nabla u \vert ^{p}\,dS + \int _{\partial B_{R}^{0}}g\bigl( \vert x \vert \bigr) \vert u \vert ^{q+1}\,d\sigma \biggr)\,dR \\ &\quad \geq \sum_{n=2}^{\infty } \int _{R_{n-1}}^{R_{n}}\biggl({ \int _{\partial B_{R}^{+}}f\bigl( \vert x \vert \bigr) \vert u \vert ^{r+1}\,dS}+ \int _{\partial B_{R}^{+}} \vert x \vert ^{-ap} \vert \nabla u \vert ^{p}\,dS + \int _{\partial B_{R}^{0}}g\bigl( \vert x \vert \bigr) \vert u \vert ^{q+1}\,d\sigma \biggr)\,dR \\ &\quad =\infty , \end{aligned}$$
which contracts the result of Lemma 2.2, and we get (3.9).
Thus, letting \(R\rightarrow \infty \) in (3.2), it follows that
$$ \begin{aligned}[b] &\biggl(\frac{N}{p}-1-a \biggr) \int _{{\mathbb {R}}^{N}_{+}}{ \vert x \vert ^{-ap} \vert \nabla u \vert ^{p}\,dx}- \frac{1}{r+1} \int _{{\mathbb {R}}^{N}_{+}}{ \vert u \vert ^{r+1}\bigl[Nf\bigl( \vert x \vert \bigr)+ \vert x \vert f'\bigl( \vert x \vert \bigr)\bigr]\,dx} \\ &\quad =\frac{1}{q+1} \int _{\partial {\mathbb {R}}^{N}_{+}}{ \vert u \vert ^{q+1}\bigl[(N-1)g\bigl( \bigl\vert x' \bigr\vert \bigr)+ \bigl\vert x' \bigr\vert g'\bigl( \bigl\vert x' \bigr\vert \bigr)\bigr]\,dx'}. \end{aligned} $$
For any \(\eta \in {\mathbb {R}}\), we get from (3.8) and (3.14) that
$$\begin{aligned} &\biggl(\frac{N}{p}-1-a-\eta \biggr) \int _{{\mathbb {R}}_{+}^{N}}{ \vert x \vert ^{-ap} \vert \nabla u \vert ^{p}\,dx}-\biggl( \frac{N}{r+1}-\eta \biggr) \int _{{\mathbb {R}}_{+}^{N}} \vert u \vert ^{r+1}f\bigl( \vert x \vert \bigr)\,dx \\ &\quad \quad{} - \int _{{\mathbb {R}}_{+}^{N}} \vert u \vert ^{r+1} \vert x \vert f'\bigl( \vert x \vert \bigr)\,dx \\ &\quad =\biggl(\frac{N-1}{q+1}-\eta \biggr) \int _{\partial {\mathbb {R}}^{N}_{+}}{ \vert u \vert ^{q+1}g\bigl( \bigl\vert x' \bigr\vert \bigr)\,dx'}+ \frac{1}{q+1} \int _{\partial {\mathbb {R}}^{N}_{+}}{ \bigl\vert x' \bigr\vert g'\bigl( \bigl\vert x' \bigr\vert \bigr) \,dx'}. \end{aligned}$$
Particularly, when \(\eta =\frac{N}{p}-1-a\), it follows from \((A_{3})\) that \(u\equiv 0\) in \({\mathbb {R}}_{+}^{N}\). Thus, we complete the proof.



The authors would like to express their sincere gratitude to the anonymous reviewer for the valuable comments and suggestions. The authors thanks for the support of the funding.

Availability of data and materials

Data sharing is not applicable to this article as no datasets were generated or analyzed during the current study.


This paper is supported by the National Natural Science Foundation of China (Grant No. 11461016); The Natural Science Foundation of Shandong Province (Grant No. ZR2016AQ04); The Advanced Talents Foundation of QAU (Grant No. 6631115047).

Authors’ contributions

Each author contributed equally to each part of this study, all authors read and approved the final manuscript.

Competing interests

The authors declare that they have no competing interests.

Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (, 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’ Affiliations

Science and Information College, Qingdao Agricultural University, Qingdao, P.R. China
Shan Dong University of Science and Technology, Qingdao, P.R. China


  1. Liouville, J.: Remarques de M. Liouville sur “Construction géométrique des amplitudes dans les fonctions elliptiques” par M. Charles. C. R. Acad. Sci. Paris 19, 1261–1263 (1844) Google Scholar
  2. Bahri, A., Lions, P.L.: Solutions of superlinear elliptic equations and their Morse indices. Commun. Pure Appl. Math. 45, 1205–1215 (1992) MathSciNetView ArticleGoogle Scholar
  3. Chen, W., Li, C.: Classification of solutions of some nonlinear elliptic equations. Duke Math. J. 63, 615–622 (1991) MathSciNetView ArticleGoogle Scholar
  4. Damascelli, L., Gladiali, F.: Some nonexistence results for positive solutions of elliptic equations in unbounded domains. Rev. Mat. Iberoam. 20, 67–86 (2004) MathSciNetMATHGoogle Scholar
  5. Li, Y., Zhang, L.: Liouville-type theorems and Harnack-type inequalities for semilinear elliptic equations. J. Anal. Math. 90, 27–87 (2003) MathSciNetView ArticleGoogle Scholar
  6. Dancer, E.N.: Some notes on the method of moving planes. Bull. Aust. Math. Soc. 46, 425–434 (1992) MathSciNetView ArticleGoogle Scholar
  7. Yu, X.: Liouville type theorem for nonlinear elliptic equation with general nonlinearity. Discrete Contin. Dyn. Syst., Ser. A 34, 4947–4966 (2014) MathSciNetView ArticleGoogle Scholar
  8. Yu, X.: Liouville theorem for elliptic equations with nonlinear boundary value conditions and finite Morse indices. J. Math. Anal. Appl. 421, 436–443 (2015) MathSciNetView ArticleGoogle Scholar
  9. Gidas, B., Spruck, J.: Global and local behavior of positive solutions of nonlinear elliptic equations. Commun. Pure Appl. Math. 24, 525–598 (1981) MathSciNetView ArticleGoogle Scholar
  10. Phan, Q.H., Souplet, P.H.: Liouville-type theorems and bounds of solutions of Hardy–Hénon equations. J. Differ. Equ. 252, 2544–2562 (2012) View ArticleGoogle Scholar
  11. Dancer, E.N., Du, Y.H., Guo, Z.M.: Finite Morse index solutions of an elliptic equation with supercritical exponent. J. Differ. Equ. 250, 3281–3310 (2011) MathSciNetView ArticleGoogle Scholar
  12. Bidaut-Veron, M.F., Giacomini, H.: A new dynamical approach of Emden–Fowler equations and systems. Adv. Differ. Equ. 15, 1033–1082 (2010) MathSciNetMATHGoogle Scholar
  13. D’Ambrosio, L., Mitidieri, E.: Quasilinear elliptic equations with critical potentials. Adv. Nonlinear Anal. 6, 147–164 (2017) MathSciNetMATHGoogle Scholar
  14. D’Ambrosio, L., Mitidieri, E.: Uniqueness and comparison principles for semilinear equations and inequalities in Carnot groups. Adv. Nonlinear Anal. 7, 313–325 (2018) MathSciNetView ArticleGoogle Scholar
  15. Birindelli, I., Galise, G., Leoni, F.: Liouville theorems for a family of very degenerate elliptic nonlinear operators. Nonlinear Anal. 161, 198–211 (2017) MathSciNetView ArticleGoogle Scholar
  16. Chen, C.S., Song, H.X., Yang, H.W.: Liouville-type theorems for stable solutions of singular quasilinear elliptic equations in \(\mathbb{R}^{N}\). Electron. J. Differ. Equ. 2018, 81 (2018) View ArticleGoogle Scholar
  17. Serrin, J., Zou, H.: The existence of positive entire solutions of elliptic Hamiltonian system. Commun. Partial Differ. Equ. 23, 375–398 (1998) MathSciNetView ArticleGoogle Scholar
  18. Souplet, P.: The proof of the Lane–Emden conjecture in four space dimensions. Adv. Math. 221, 1409–1437 (2009) MathSciNetView ArticleGoogle Scholar
  19. Zhang, L.Z., Yu, M., He, J.M.: A Liouville theorem for a class of fractional systems in \(\mathbb{R}^{N}_{+}\). J. Differ. Equ. 263, 6025–6065 (2017) MathSciNetView ArticleGoogle Scholar
  20. Duong, A.T., Phan, Q.H.: Liouville type theorem for nonlinear elliptic system involving Grushin operator. J. Math. Anal. Appl. 454, 785–801 (2017) MathSciNetView ArticleGoogle Scholar
  21. Hu, L.G.: Liouville-type theorems for the fourth order nonlinear elliptic equation. J. Differ. Equ. 256, 1817–1846 (2014) MathSciNetView ArticleGoogle Scholar
  22. Dávila, J., Dupaigne, L., Wang, K.L., Wei, J.C.: A monotonicity formula and a Liouville-type theorem for a fourth order supercritical problem. Adv. Math. 258, 240–285 (2014) MathSciNetView ArticleGoogle Scholar
  23. Farina, A.: On the classification of solutions of the Lane–Emden equation on unbounded domains of \(\mathbb{R}^{N}\). J. Math. Pures Appl. 87, 537–561 (2007) MathSciNetView ArticleGoogle Scholar
  24. Chen, C.S., Song, H.X., Yang, H.W.: Liouville type theorems for stable solutions of p-Laplace equation in \(\mathbb{R}^{N}\). Nonlinear Anal. 160, 44–52 (2017) MathSciNetView ArticleGoogle Scholar


© The Author(s) 2019