Skip to main content

Liouville theorem for elliptic equations with mixed boundary value conditions and finite Morse indices

Abstract

In this paper, we establish Liouville type theorem for boundedness solutions with finite Morse index of the following mixed boundary value problems: \(-\Delta u=|u|^{p-1}u\) in \(\mathbb{R}^{N}_{+}\), \(\frac{\partial u}{\partial\nu}=|u|^{q-1}u\) on \(\Gamma_{1}\), \(\frac{\partial u}{\partial\nu}=0\) on \(\Gamma_{0}\), and \(-\Delta u=|u|^{p-1}u\) in \(\mathbb{R}^{N}_{+}\), \(\frac{\partial u}{\partial\nu}=|u|^{q-1}u\) on \(\Gamma_{1}\), \(u=0\) on \(\Gamma_{0}\), where \(\mathbb{R}^{N}_{+} =\{x\in\mathbb{R}^{N}:x_{N}>0\}\), \(\Gamma_{1}=\{x\in \mathbb{R}^{N}:x_{N}=0,x_{1}<0\}\) and \(\Gamma_{0}=\{x\in\mathbb{R}^{N}:x_{N}=0,x_{1}>0\}\). The exponents p, q satisfy the conditions in TheoremĀ 1.1.

1 Introduction

In this paper, we establish a Liouville type theorem in the upper half space \(\mathbb{R}^{N}_{+}\) with mixed boundary conditions.

In a seminal paper [1], Gidas and Spruck considered positive solutions of the nonlinear elliptic problem

$$ -\Delta u=|u|^{p-1}u, \quad\mbox{in } \mathbb{R}^{N} $$
(1.1)

for the subcritical case: \(1< p<\frac{N+2}{N-2}\), \(N\geq3\). Although when \(p = \frac{N+2}{N-2}\), the critical case, problem (1.1) possesses a family of solutions, it was proved in [1] that problem (1.1) has no positive solutions. This is the so-called Liouville type theorem. Soon afterward, similar results were established in [2] for positive solutions of the subcritical problem in the upper half space \(\mathbb{R}^{N}_{+}\):

$$ \left \{ \textstyle\begin{array}{@{}l@{\quad}l} -\Delta u=|u|^{p-1}u &\mbox{in } \mathbb{R}^{N}_{+}, \\ u=0 &\mbox{on } \partial\mathbb{R}^{N}_{+}. \end{array}\displaystyle \right . $$
(1.2)

As soon as such results appeared, they received wide attention as regards the theory itself and its applications. Particularly, one may use it to establish a prior bound of solutions for nonlinear elliptic equations by the blow-up method, then various methods, such as topological degree, fix point theorems etc., can be used to obtain the existence of solutions for such problems; see for instance [1] and [2].

On the other hand, it is puzzling if problems (1.1) and (1.2) admit sign-changing solutions. A partial answer came from [3] by assuming additionally that solutions have finite Morse indices. It was proved in [3] that problems (1.1) and (1.2) do not possess nontrivial bounded solution with finite Morse index provided \(1< p<\frac{N+2}{N-2}\). In applications, fortunately, one may find critical points with finite Morse indices by the mountain pass theorem and saddle point theorem and so on, it allows one to establish for instance as in [4], the existence result for indefinite nonlinearities.

Recently, it is investigated by many authors various type of Liouville theorems for solutions with finite Morse indices, such as problems with Neumann boundary condition, Dirichlet-Neumann mixed boundary and nonlinear boundary conditions etc.; see [5ā€“10] and references therein.

Inspired by previous work, we study in this paper Liouville type results for the following nonlinear Neumann mixed boundary value problem:

$$ \left \{ \textstyle\begin{array}{@{}l@{\quad}l} -\Delta u=|u|^{p-1}u &\mbox{in } \mathbb{R}^{N}_{+}, \\ \frac{\partial u}{\partial\nu}=|u|^{q-1}u &\mbox{on } \Gamma_{1},\\ \frac{\partial u}{\partial\nu}=0 &\mbox{on } \Gamma_{0}, \end{array}\displaystyle \right . $$
(1.3)

as well as the nonlinear Dirichlet mixed boundary value problem

$$ \left \{ \textstyle\begin{array}{@{}l@{\quad}l} -\Delta u=|u|^{p-1}u &\mbox{in } \mathbb{R}^{N}_{+}, \\ \frac{\partial u}{\partial\nu}=|u|^{q-1}u &\mbox{on } \Gamma_{1},\\ u=0 &\mbox{on } \Gamma_{0}, \end{array}\displaystyle \right . $$
(1.4)

where \(\mathbb{R}^{N}_{+}=\{x\in\mathbb{R}^{N}:x_{N}>0\}\), \(\Gamma_{1}=\{x\in \mathbb{R}^{N}:x_{N}=0,x_{1}<0\}\) and \(\Gamma_{0}=\{x\in\mathbb{R}^{N}:x_{N}=0,x_{1}>0\}\).

It was proved in [11] that problems (1.3) and (1.4) have no positive solutions. In this paper, we deal with solutions of problems (1.3) and (1.4) with finite Morse indices, which are possibly sign-changing. For this purpose, we first define the Morse indices of solutions to problems (1.3) and (1.4), respectively. For problem (1.3), the Morse index of a solution u is defined by

$$\operatorname{dim}\bigl\{ \varphi: \bigl\langle I^{\prime\prime}(u)\varphi , \varphi\bigr\rangle < 0, \varphi\in C_{0}^{\infty}\bigl(\overline{ \mathbb{R}^{N}_{+}}\bigr)\bigr\} , $$

where

$$ \bigl\langle I^{\prime\prime}(u)\varphi,\varphi\bigr\rangle =\int _{\mathbb{R}_{+}^{N}} |\nabla\varphi|^{2}\,dx- p\int _{\mathbb{R}_{+}^{N}} |u|^{p-1}\varphi^{2}\,dx-q\int _{\Gamma_{1}} |u|^{q-1}\varphi^{2}\,dx'. $$
(1.5)

For a solution u of problem (1.4), we define its Morse index by

$$\operatorname{dim}\bigl\{ \varphi: \bigl\langle I^{\prime\prime}(u)\varphi , \varphi\bigr\rangle < 0, \varphi\in C_{0}^{\infty}\bigl(\mathbb{R}^{N}_{+}\cup\Gamma_{1}\bigr)\bigr\} $$

with \(\langle I^{\prime\prime}(u)\varphi,\varphi\rangle\) defined in (1.5).

Our main results are as follows.

Theorem 1.1

If \(1< p\leq\frac{N+2}{N-2}\), \(1< q\leq\frac{N}{N-2}\), and \((p,q)\neq (\frac{N+2}{N-2},\frac{N}{N-2})\), then problems (1.3) and (1.4) do not possess nontrivial bounded solution with finite Morse index.

TheoremĀ 1.1 will be proved in the next section. We first prove that a finite Morse index implies certain integrable conditions on u. Then by the Pohozaev identity, we show the nonexistence result.

2 Proof of Theorem 1.1

In this section, we establish the Liouville type theorem for bounded solutions of problems (1.3) and (1.4) with finite Morse indices, that is, we show that such solutions must be trivial. We assume in this section that p, q in (1.3) and (1.4) satisfying \(1< p\leq\frac{N+2}{N-2}\), \(1< q\leq\frac{N}{N-2}\), and \((p,q)\neq (\frac{N+2}{N-2},\frac{N}{N-2})\).

For \(s>2r>0\), we define a cut-off function \(\phi_{r,s}\) as

$$\phi_{r,s}=\left \{ \textstyle\begin{array}{@{}l@{\quad}l} 0 &\mbox{for } |x|< r \mbox{ or } |x|>2s, \\ 1 &\mbox{for } 2r\leq|x|\leq s. \end{array}\displaystyle \right . $$

Moreover, we require \(|\nabla\phi_{r,s}|\leq\frac{2}{r}\) for \(r<|x|<2r\) and \(|\nabla\phi_{r,s}|\leq\frac{2}{s}\) for \(s<|x|<2s\). Then we have the following result; see also [4].

Lemma 2.1

Let u be a solution of (1.3) or (1.4) with finite Morse index. Then there exists \(R_{0}>0\) such that

$$ \bigl\langle I^{\prime\prime}(u)u\phi_{R_{0},R},u \phi_{R_{0},R}\bigr\rangle \geq0 $$
(2.1)

for any \(R>2R_{0}\).

Proof

We suppose that the Morse index of u is k. Now, we prove the conclusion by contradiction. Suppose on the contrary that inequality (2.1) does not hold, there would exist \(r_{1}>0\) and \(R_{1}>2r_{1}\), such that

$$\bigl\langle I^{\prime\prime}(u)u\phi_{r_{1},R_{1}},u\phi_{r_{1},R_{1}}\bigr\rangle < 0. $$

Similarly, we can find \(r_{2}>2R_{1}\) and \(R_{2}>2r_{2}\), such that

$$\bigl\langle I^{\prime\prime}(u)u\phi_{r_{2},R_{2}},u\phi_{r_{2},R_{2}}\bigr\rangle < 0. $$

Iterating this procedure, we see that there exist \(r_{k+1}>2R_{k}\) and \(R_{k+1}>2r_{k+1}\), such that

$$\bigl\langle I^{\prime\prime}(u)u\phi_{r_{k+1},R_{k+1}},u\phi _{r_{k+1},R_{k+1}}\bigr\rangle < 0. $$

By the above inequalities, we deduce that \(u\phi_{r_{i},R_{i}}\not \equiv0\) for every \(1\leq i\leq k+1\). Moreover, since \(\{u\phi _{r_{i},R_{i}}\}_{i=1}^{k+1}\) have disjoint supports, we deduce that \(\{ u\phi_{r_{i},R_{i}}\}_{i=1}^{k+1}\) are linearly independent. So the dimension of the linear space

$$M=\operatorname{span} \{u\phi_{r_{i},R_{i}}\}_{i=1}^{k+1} $$

is \(k+1\). We conclude from

$$\bigl\langle I^{\prime\prime}(u)u\phi_{r_{i},R_{i}},u\phi _{r_{i},R_{i}}\bigr\rangle < 0 $$

for \(1\leq i\leq k+1\) that

$$\bigl\langle I^{\prime\prime}(u)\varphi,\varphi\bigr\rangle < 0 $$

for any \(\varphi\in M\). This implies that the Morse index of u is at least \(k+1\), which contradicts the fact that the Morse index of u is equal to k. The assertion follows.ā€ƒā–”

Next, we show that a finite Morse index implies u satisfying a certain integrable condition. More precisely, we have the following lemma.

Lemma 2.2

Assume that \(1< p\leq\frac{N+2}{N-2}\), \(1< q\leq\frac{N}{N-2}\), and \((p,q)\neq (\frac{N+2}{N-2},\frac{N}{N-2})\). If u is a bounded solution of problem (1.3) or (1.4) with finite Morse index, then we have

$$\int_{\mathbb{R}_{+}^{N}} |u|^{p+1}\,dx< \infty,\qquad\int _{\Gamma_{1}} |u|^{q+1}\,dx'< \infty,\qquad\int _{\mathbb{R}_{+}^{N}} |\nabla u|^{2}\,dx< \infty. $$

Proof

We only prove the results for problem (1.3). For problem (1.4), the proof can proceed similarly.

First, we prove that \(\int_{\mathbb{R}_{+}^{N}} |u|^{p+1}\,dx<\infty\). By LemmaĀ 2.1, there exists \(R_{0}>0\), such that

$$\bigl\langle I^{\prime\prime}(u)u\phi_{R_{0},R},u\phi_{R_{0},R}\bigr\rangle \geq0, $$

for any \(R>2R_{0}\). That is,

$$ p\int_{\mathbb{R}_{+}^{N}} |u|^{p+1} \phi_{R_{0},R}^{2}\,dx+q\int_{\Gamma_{1}} |u|^{q+1}\phi_{R_{0},R}^{2}\,dx'\leq\int _{\mathbb{R}_{+}^{N}} \bigl|\nabla(u\phi_{R_{0},R})\bigr|^{2}\,dx. $$
(2.2)

Apparently,

$$\int_{\mathbb{R}_{+}^{N}} \bigl|\nabla(u\phi_{R_{0},R})\bigr|^{2}\,dx = \int_{\mathbb{R}_{+}^{N}} |\nabla u|^{2}\phi _{R_{0},R}^{2}+| \nabla \phi_{R_{0},R}|u^{2}+2u\phi_{R_{0},R}\nabla u\nabla \phi_{R_{0},R}\,dx. $$

Multiplying (1.3) by \(u\phi_{R_{0},R}^{2}\) and integrating by parts, we obtain

$$ \int_{\mathbb{R}_{+}^{N}} |\nabla u|^{2} \phi_{R_{0},R}^{2}+2u\phi_{R_{0},R}\nabla u\nabla \phi_{R_{0},R}\,dx=\int_{\mathbb{R}_{+}^{N}} |u|^{p+1} \phi_{R_{0},R}^{2}\,dx+\int_{\Gamma_{1}} |u|^{q+1}\phi_{R_{0},R}^{2}\,dx'. $$
(2.3)

By (2.2) and (2.3), we have

$$\begin{aligned} &(p-1)\int_{\mathbb{R}_{+}^{N}} |u|^{p+1} \phi_{R_{0},R}^{2}\,dx+(q-1)\int_{\Gamma_{1}} |u|^{q+1}\phi_{R_{0},R}^{2}\,dx' \\ &\quad\leq\int_{\mathbb{R}_{+}^{N}} u^{2}|\nabla \phi_{R_{0},R}|^{2}\,dx \\ &\quad\leq C_{0}+\frac{C}{R^{2}}\int_{\{R\leq|x|\leq 2R\}\cap\mathbb{R}^{N}_{+}}u^{2}\,dx. \end{aligned}$$
(2.4)

In particular, we have

$$ (p-1)\int_{\mathbb{R}_{+}^{N}} |u|^{p+1} \phi_{R_{0},R}^{2}\,dx\leq C_{0}+\frac{C}{R^{2}}\int _{\{R\leq|x|\leq2R\}\cap\mathbb{R}^{N}_{+}}u^{2}\,dx. $$
(2.5)

If \(N=2\), since u is a bounded solution, the right hand side of (2.5) is bounded by a positive constant independent of R. So we have \(\int_{\mathbb{R}_{+}^{N}} |u|^{p+1}\,dx<\infty\) by letting \(R\to \infty\) in (2.5). Now for the case \(N\geq3\), we deduce from the Hƶlder inequality that

$$\begin{aligned} (p-1)\int_{\mathbb{R}_{+}^{N}} |u|^{p+1} \phi_{R_{0},R}^{2}\,dx &\leq C_{0}+\frac{C}{R^{2}}\int_{\{R\leq|x|\leq2R\}\cap\mathbb{R}^{N}_{+}}u^{2}\,dx \\ &\leq C_{0}+C\biggl(\int_{\{R\leq|x|\leq2R\}\cap\mathbb{R}^{N}_{+}}|u|^{p+1}\,dx\biggr)^{\frac{2}{p+1}}\cdot R^{N\frac{p-1}{p+1}-2}. \end{aligned}$$
(2.6)

Suppose that \(\int_{\mathbb{R}_{+}^{N}} |u|^{p+1}\,dx\) is infinite, then we deduce that

$$ \int_{B_{R}^{+}}|u|^{p+1}\,dx\leq C\biggl( \int_{B_{2R}^{+}}|u|^{p+1}\,dx\biggr)^{\frac{2}{p+1}}\cdot R^{N\frac{p-1}{p+1}-2}. $$
(2.7)

Let \(\alpha=N\frac{p-1}{p+1}-2\), \(\beta=\frac{2}{p+1} \), and \(J(R)=\int_{B_{R}^{+}}|u|^{p+1}\,dx\). Iterating (2.7), we obtain

$$ J(R)\leq CR^{\alpha\gamma}J\bigl(2^{k+1}R \bigr)^{\beta^{k+1}}, $$
(2.8)

where \(\gamma=1+\beta+\beta^{2}+\cdots+\beta^{k}\). The boundedness of u implies that the right hand side of (2.8) is of order \(R^{M}\) with

$$M=\alpha\frac{1-\beta^{k+1}}{1-\beta}+N\beta^{k+1}\to\frac{\alpha}{ 1-\beta} $$

as \(k\to\infty\). Hence, we can choose k large enough, such that \(M<0\). Then it follows from (2.8) that

$$J(R)\to0 $$

as \(R\to\infty\), which is impossible. So we get \(\int_{\mathbb{R}_{+}^{N}} |u|^{p+1}\,dx<\infty\).

Next, we prove that \(\int_{\partial\mathbb{R}_{+}^{N}} |u|^{q+1}\,dx'<\infty \). In fact, we deduce from (2.4) that

$$ (q-1)\int_{\Gamma_{1}} |u|^{q+1} \phi_{R_{0},R}^{2}\,dx' \leq C_{0}+ \frac{C}{R^{2}}\int_{\{R\leq|x|\leq2R\}\cap\mathbb{R}^{N}_{+}}u^{2}\,dx. $$
(2.9)

If \(N=2\), the right hand side of (2.9) is bounded by a positive constant independent of R. So we conclude that

$$\int_{\Gamma_{1}} |u|^{q+1}\,dx'< \infty $$

by letting \(R\to\infty\) in (2.9). Now for \(N\geq3\), we infer from (2.9) and the Hƶlder inequality that

$$\begin{aligned} &(q-1)\int_{\Gamma_{1}} |u|^{q+1} \phi_{R_{0},R}^{2}\,dx' \\ &\quad\leq C_{0}+\frac{C}{R^{2}}\int_{\{R\leq|x|\leq2R\}\cap\mathbb{R}^{N}_{+}}u^{2}\,dx \\ &\quad\leq C_{0}+C\biggl(\int_{\mathbb{R}_{+}^{N}} |u|^{p+1}\,dx\biggr)^{\frac{2}{p+1}}R^{N\frac{p-1}{p+1}-2} \\ &\quad< \infty \end{aligned}$$
(2.10)

since \(\int_{\mathbb{R}_{+}^{N}} |u|^{p+1}\,dx<\infty\) and \(p\leq\frac{N+2}{N-2}\).

Finally, if we multiply (1.3) by u and integrate on \(\mathbb{R}^{N}_{+}\), then we get

$$\int_{\mathbb{R}_{+}^{N}} |\nabla u|^{2}\,dx< \infty. $$

This completes the proof of this lemma.ā€ƒā–”

The next lemma is the well-known local Pohozaev identity for elliptic problems with nonlinear boundary value condition.

Lemma 2.3

Let u be a solution of (1.3) or (1.4). Then the following identity holds:

$$\begin{aligned} &\frac{N-2}{2}\int_{B^{+}_{R}}|\nabla u|^{2}\,dx-\frac{N}{p+1}\int_{B_{R}^{+}}|u|^{p+1}\,dx-\frac{N-1}{q+1}\int_{\Gamma _{1}^{R}}|u|^{q+1}\,dx' \\ &\quad=\frac{R}{2}\int_{\partial B_{R}^{+}} |\nabla u|^{2}\,dS-R\int_{\partial B_{R}^{+}}\biggl|\frac{\partial u}{\partial\nu}\biggr|^{2}\,dS- \frac{R}{p+1}\int_{\partial B_{R}^{+}}|u|^{p+1}\,dS \\ &\qquad{}-\frac{R}{q+1}\int_{\partial \Gamma_{1}^{R}}|u|^{q+1}\,dS, \end{aligned}$$
(2.11)

where \(B_{R}^{+}=\{x:|x|< R\textit{ and }x_{N}>0\}\), \(\partial B_{R}^{+}=\{x:|x|=R\textit{ and }x_{N}>0\}\), \(\Gamma_{0}^{R}=\{x\in\Gamma_{0}: |x|< R\}\), \(\Gamma_{1}^{R}=\{x\in\Gamma_{1}: |x|< R\}\), \(\partial\Gamma_{0}^{R}=\{x\in\Gamma_{0}: |x|=R\}\), \(\partial\Gamma _{1}^{R}=\{ x\in\Gamma_{1}: |x|=R\}\).

Proof

The proof of this lemma is standard, we give it here for completeness. We deal only with problem (1.3). The proof for problem (1.4) is almost the same except that different boundary value conditions were used. We omit the details.

Multiplying (1.3) by \(\langle x,\nabla u\rangle\) and integrating in \(B_{R}^{+}\), we obtain

$$ -\int_{B_{R}^{+}}\Delta u\langle x,\nabla u\rangle= \int_{B_{R}^{+}}|u|^{p-1}u\langle x,\nabla u\rangle. $$
(2.12)

A direct calculation shows that

$$\begin{aligned} &{-}\int_{B_{R}^{+}}\Delta u\langle x,\nabla u\rangle \\ &\quad=\int_{B_{R}^{+}}\nabla u\nabla\langle x,\nabla u\rangle \,dx- \int_{\partial B_{R}^{+}}\frac{\partial u}{\partial \nu}\langle x,\nabla u\rangle \,dS -\int _{B_{R}^{0}}\frac{\partial u}{\partial\nu}\langle x,\nabla u\rangle\,dx' \\ &\quad=\int_{B_{R}^{+}}|\nabla u|^{2}\,dx+ \frac{1}{2}\int_{B_{R}^{+}}\bigl\langle x,\nabla \bigl(|\nabla u|^{2}\bigr)\bigr\rangle \,dx -\int_{\partial B_{R}^{+}} \frac{\partial u}{\partial\nu}\langle x,\nabla u\rangle \,dS \\ &\qquad{}-\frac{1}{q+1}\int_{\Gamma_{1}^{R}}\bigl\langle x',\nabla_{x'} |u|^{q+1}\bigr\rangle \,dx' \\ &\quad=-\frac{N-2}{2}\int_{B_{R}^{+}}|\nabla u|^{2}\,dx+\frac{1}{2} \int_{\partial B_{R}^{+}}\langle x,\nu\rangle|\nabla u|^{2}\,dS-\int_{\partial B_{R}^{+}}\frac {\partial u}{\partial \nu}\langle x, \nabla u\rangle \,dS \\ &\qquad{}+\frac{N-1}{q+1}\int_{{\Gamma_{1}^{R}}}|u|^{q+1}\,dx'-\frac{1}{q+1}\int_{\partial {\Gamma_{1}^{R}}}\bigl\langle x',\nu\bigr\rangle |u|^{q+1}\,dS \\ &\quad=-\frac{N-2}{2}\int_{B_{R}^{+}}|\nabla u|^{2}\,dx+\frac{R}{2} \int_{\partial B_{R}^{+}} |\nabla u|^{2}\,dS-R \int_{\partial B_{R}^{+}}\biggl|\frac{\partial u}{\partial \nu}\biggr|^{2}\,dS \\ &\qquad{}+\frac{N-1}{q+1}\int_{\Gamma_{1}^{R}}|u|^{q+1}\,dx'-\frac{R}{q+1}\int_{\partial \Gamma_{1}^{R}}|u|^{q+1}\,dS. \end{aligned}$$

Next, we deduce

$$\begin{aligned} &\int_{B_{R}^{+}}|u|^{p-1}u\langle x,\nabla u\rangle \,dx \\ &\quad= \frac{1}{p+1}\int_{B_{R}^{+}}\bigl\langle x, \nabla|u|^{p+1}\bigr\rangle \,dx \\ &\quad= -\frac{N}{p+1}\int_{B_{R}^{+}}|u|^{p+1}\,dx+ \frac{1}{p+1}\int_{\partial B_{R}^{+}}\langle x,\nu\rangle|u|^{p+1}\,dS \\ &\quad= -\frac{N}{p+1}\int_{B_{R}^{+}}|u|^{p+1}\,dx+ \frac{R}{p+1}\int_{\partial B_{R}^{+}}|u|^{p+1}\,dS. \end{aligned}$$

Combining the above two equations, we obtain the identity for problem (1.3).ā€ƒā–”

Proof of TheoremĀ 1.1

We only prove the conclusion for problem (1.3), the proof for problem (1.4) is the same. By LemmaĀ 2.1,

$$\int_{\mathbb{R}_{+}^{N}} |u|^{p+1}\,dx< \infty, \qquad\int _{\partial\mathbb{R}_{+}^{N}} |u|^{q+1}\,dx'< \infty\quad \mbox{and}\quad\int_{\mathbb{R}_{+}^{N}} |\nabla u|^{2}\,dx< \infty. $$

Hence, there exists a sequence \(R_{n}\to\infty\) such that

$$\begin{aligned}& \frac{R_{n}}{2}\int_{\partial B_{R_{n}}^{+}} |\nabla u|^{2}\,dS \to0, \\& R_{n}\int_{\partial B_{R_{n}}^{+}}\biggl|\frac{\partial u}{\partial \nu}\biggr|^{2}\,dS\to0, \\& \frac{R_{n}}{p+1}\int_{\partial B_{R_{n}}^{+}}|u|^{p+1}\,dS\to0, \end{aligned}$$

and

$$\frac{R_{n}}{q+1}\int_{\partial\Gamma_{1}^{R_{n}}}|u|^{q+1}\,dS\to0 $$

as \(n\to\infty\). So we deduce from the Pohozaev identity that

$$ \frac{N-2}{2}\int_{\mathbb{R}_{+}^{N}}|\nabla u|^{2}\,dx=\frac{N}{p+1}\int_{\mathbb{R}_{+}^{N}} |u|^{p+1}\,dx+\frac{N-1}{q+1}\int_{\partial\mathbb{R}_{+}^{N}} |u|^{q+1}\,dx'. $$
(2.13)

On the other hand, if we multiply (1.3) by u and integrate by parts, then we obtain

$$ \int_{\mathbb{R}_{+}^{N}}|\nabla u|^{2}\,dx=\int _{\mathbb{R}_{+}^{N}} |u|^{p+1}\,dx+\int_{\Gamma_{1}} |u|^{q+1}\,dx'. $$
(2.14)

By the assumptions on the exponent p, q, we deduce from (2.13) and (2.14) that

$$\int_{\mathbb{R}_{+}^{N}} |\nabla u|^{2}\,dx=0 $$

or

$$\int_{\mathbb{R}_{+}^{N}} |u|^{p+1}\,dx=0, $$

hence we have \(u\equiv0\).ā€ƒā–”

References

  1. Gidas, B, Spruck, J: A priori bounds of positive solutions of nonlinear elliptic equations. Commun. Partial Differ. Equ. 6, 883-901 (1981)

    ArticleĀ  MATHĀ  MathSciNetĀ  Google ScholarĀ 

  2. Gidas, B, Spruck, J: Global and local behavior of positive solutions of nonlinear elliptic equations. Commun. Pure Appl. Math. 34, 525-598 (1981)

    ArticleĀ  MATHĀ  MathSciNetĀ  Google ScholarĀ 

  3. Bahri, A, Lions, PL: Solutions of superlinear elliptic equations and their Morse indices. Commun. Pure Appl. Math. 45, 1205-1215 (1992)

    ArticleĀ  MATHĀ  MathSciNetĀ  Google ScholarĀ 

  4. Ramos, M, Terracini, S, Troestler, C: Superlinear indefinite elliptic problems and Pohozaev type identities. J. Funct. Anal. 159, 596-628 (1998)

    ArticleĀ  MATHĀ  MathSciNetĀ  Google ScholarĀ 

  5. Harrabi, A, Ahmedou, M, Rebhi, S, Selmi, A: A priori estimates for superlinear and subcritical elliptic equations: the Neumann boundary condition case. Manuscr. Math. 137, 525-544 (2012)

    ArticleĀ  MATHĀ  MathSciNetĀ  Google ScholarĀ 

  6. Harrabi, A, Rebhi, S, Selmi, S: Solutions of superlinear equations and their Morse indices I. Duke Math. J. 94, 141-157 (1998)

    ArticleĀ  MATHĀ  MathSciNetĀ  Google ScholarĀ 

  7. Harrabi, A, Rebhi, S, Selmi, S: Solutions of superlinear equations and their Morse indices II. Duke Math. J. 94, 159-179 (1998)

    ArticleĀ  MathSciNetĀ  Google ScholarĀ 

  8. Yu, X: Solutions of mixed boundary problems and their Morse indices. Nonlinear Anal. TMA 96, 146-153 (2014)

    ArticleĀ  MATHĀ  Google ScholarĀ 

  9. Yu, X: Liouville theorem for elliptic equations with nonlinear boundary value conditions and finite Morse indices. J.Ā Math. Anal. Appl. 421, 436-443 (2015)

    ArticleĀ  MATHĀ  MathSciNetĀ  Google ScholarĀ 

  10. Yu, X: Solutions of fractional Laplacian equations and their Morse indices. J. Differ. Equ. 260(1), 860-871 (2016)

    ArticleĀ  Google ScholarĀ 

  11. Yu, X: Liouville Type Theorems for Two Mixed Boundary Value Problems with General Nonlinearities. arXiv:1410.5157

Download references

Acknowledgements

The work is supported by National Natural Science Foundation of China (No:11271170) and GAN PO 555 program of Government of Jiangxi Province.

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Xiongjun Zheng.

Additional information

Competing interests

The authors declare that they have no competing interests.

Authorsā€™ contributions

All authors contributed equally to the writing of this paper. All authors read and approved the final manuscript.

Rights and permissions

Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Wang, X., Zheng, X. Liouville theorem for elliptic equations with mixed boundary value conditions and finite Morse indices. J Inequal Appl 2015, 351 (2015). https://doi.org/10.1186/s13660-015-0867-1

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1186/s13660-015-0867-1

Keywords