Hostname: page-component-78c5997874-lj6df Total loading time: 0 Render date: 2024-11-13T22:34:23.733Z Has data issue: false hasContentIssue false

Some results for semi-stable radial solutions of k-Hessian equations with weight on ℝn

Published online by Cambridge University Press:  15 November 2022

Miguel Angel Navarro
Affiliation:
Departamento de Matemáticas, Universidade da Coruña, Campus de Esteiro, Rúa Mendizábal s/n, 15403 Ferrol, A Coruña, Spain ([email protected])
Justino Sánchez
Affiliation:
Departamento de Matemáticas, Universidad de La Serena, Avenida Cisternas 1200, La Serena, Chile ([email protected])
Rights & Permissions [Opens in a new window]

Abstract

We devote this paper to study semi-stable nonconstant radial solutions of $S_k(D^2u)=w(\left \vert x \right \vert )g(u)$ on the Euclidean space $\mathbb {R}^n$. We establish pointwise estimates and necessary conditions for the existence of such solutions (not necessarily bounded) for this equation. For bounded solutions we estimate their asymptotic behaviour at infinity. All the estimates are given in terms of the spatial dimension $n$, the values of $k$ and the behaviour at infinity of the growth rate function of $w$.

MSC classification

Type
Research Article
Copyright
Copyright © The Author(s), 2022. Published by Cambridge University Press on behalf of The Royal Society of Edinburgh

1. Introduction and main results

This paper deals with the semi-stability of nonconstant radial solutions of

(1.1)\begin{equation} S_k(D^2u)=w(\left\vert x\right\vert)g(u), \end{equation}

posed in $\mathbb {R}^n$, where $n\geq 1$, $k\in \{1,\,\ldots,\,n\}$, the function $g\in C^1(\mathbb {R})$ is nonnegative and nonincreasing, and $w$ is a nonnegative radial function that satisfies some suitable conditions. The operator $S_k(D^2u)$ is the $k$-Hessian of $u$, which is defined by the sum of all $k$-th principal minors of the Hessian matrix. Alternatively, $S_k(D^2u)$ is the $k$-th elementary symmetric polynomial of the eigenvalues of the Hessian matrix $D^2 u$. According to [Reference Caffarelli, Nirenberg and Spruck1], to ensure ellipticity of equation (1.1), we consider $k$-admissible or $k$-convex solutions, i.e., functions that belong to

\[ \Phi^k:=\left\lbrace u\in C^2(\mathbb{R}^n): S_l(D^2 u)\geq 0,\quad l=1,2,\ldots,k\right\rbrace. \]

We point out that there are no previous works concerning semi-stable solutions to the $k$-Hessian operator in the whole space $\mathbb {R}^n$ for general nonlinearities and $k\neq 1$. In fact, to the best of our knowledge, the only results devoted to stable solutions to (1.1) are contained in the work [Reference Wang and Lei10] and they concern only the particular cases $w(r)\equiv 1$ and $g(u)$ a power nonlinearity. More precisely, in [Reference Wang and Lei10], the authors gave a definition of stable radial solutions of the $k$-Hessian equation $F_{k}(D^2V)=(-V)^p$ in $\mathbb {R}^n$, where $F_{k}(D^2V)=S_k(D^2\,V)$. They stablished connections between stability and certain critical exponents of Joseph–Lundgren type available for $k$-Hessian operators. Their tools also include Wolff potentials.

For existence and non-existence results for equations of the form (1.1) we refer to [Reference Clément, Manásevich and Mitidieri3], where a special emphasis was put in the model equation

\[ ({-}1)^kH_k u=a(\left\vert x\right\vert)\left\vert u\right\vert^{q-1}u, \]

being

\[ H_k=\frac{k}{\binom{n-1}{k-1}}T_k,\mbox{ for }1\leq k \leq n\mbox{ (integer)}\mbox{ and }T_k=S_k(\nabla^2). \]

Some existence and non-existence results for radial solutions are given in terms of an integral condition involving the function $a$. In [Reference Lei6], among other results, the author constructs explicit negative solutions of the equation $F_{k}(D^2V)=R(x)(-V)^q$ in $\mathbb {R}^n$, where $F_{k}(D^2V)=S_k(D^2\,V)$ and $R(x)$ is a radial function that satisfies $C^{-1}\leq R(x)\leq C$ for some constant $C>1$. See [Reference Lei6, theorem 4.2].

Throughout this work, we identify a radial solution $u$ by their one variable representant, that is, $u(x) = u(r),\, \left \vert x \right \vert =r$. At the point $x=(r,\,0,\,\ldots,\,0)$, the eigenvalues of $D^2 u$ are $\lambda _1=u''$, which is simple, and $\lambda _2=\frac {u'}{r}$, which has multiplicity $n-1$, where by abuse of notation, we write $u'$ or $\partial _r u$ as the radial derivative of a radial function $u$. Thus the $k$-Hessian operator acting on radially symmetric $C^2$ functions can be written as

(1.2)\begin{equation} S_k(D^2 u)=c_{n,k}\lambda_2^{k-1}\left(n\lambda_2+k\left(\lambda_1-\lambda_2\right)\right)=c_{n,k}r^{1-n}\partial_r\left (r^n\lambda_2^k\right ),\quad r>0, \end{equation}

where $c_{n,k}$ is defined by $c_{n,k}=\binom {n}{k}/n$.

Remark 1.1 Note that, if $u$ is a radial solution of (1.1) then, in particular, $S_1(D^2 u)=r^{1-n}(r^{n-1}u')'\geq 0$. Thus $G(r)=r^{n-1}u'$ is nondecreasing, since ${G(0)=0}$, we deduce that $G\geq 0$ and hence $u$ is nondecreasing. As a consequence, $\lambda _2\geq 0$.

Definition 1.2 We say that a radial solution $u\in \Phi ^k$ of (1.1) is semi-stable if

(1.3)\begin{equation} \mathcal{Q}_u(\xi):=\int_{\mathbb{R}^n}{kc_{n,k}\left\vert x\right\vert^{1-k}\left\vert\nabla u\right\vert^{k-1}\left\vert\nabla\xi\right\vert^2+w(\left\vert x\right\vert)g'(u)\xi^2}\geq 0, \end{equation}

for every radially symmetric function $\xi \in C_c^{1}(\mathbb {R}^n)$.

In this paper, we establish pointwise estimates and necessary conditions for the existence of semi-stable solutions (not necessarily bounded) of (1.1). For bounded solutions we estimate their asymptotic behaviour at infinity. All the estimates are given in terms of the spatial dimension $n$, the values of $k$ and the behaviour at infinity of the growth rate function of $w$, that is, the function $W(r):=\frac {rw'(r)}{w(r)}$.

We now establish our precise assumptions on the weight $w(r)$ that we will assume throughout the paper:

(1.4)\begin{equation} \begin{cases} \mbox{The functions } w \mbox{ and } W \mbox{ belong to }C^1\left(\mathbb{R}^n{\setminus}\{0\}\right) \mbox{ and } W(r) \mbox{ is}\\ \mbox{nonincreasing on }(0,\infty). \mbox{ Further, }\lim\limits_{r\to +\infty}{rW'(r)}=0.\\ \mbox{Set }\Gamma=\lim\limits_{r\to 0}W(r),~\gamma=\lim\limits_{r\to +\infty}W(r)\mbox{, and assume that }\Gamma\mbox{ and}\\ \gamma\mbox{ are finite with }2k+\gamma>0. \end{cases} \end{equation}

In order to state our main results, we need the following notation:

Let

(1.5)\begin{align} & \alpha(r)=\frac{\displaystyle\int_1^r{\left\lbrace \frac{v(s)+\sqrt{v(s)^2+\frac{n}{k}v(s)+\frac{n}{k}-1 -sv'(s)}}{s}\right\rbrace ds}}{\log r}, \end{align}
(1.6)\begin{align} & \delta(r)=\frac{-n+2\alpha(r)+2k+2}{k+1},\,\forall r\geq 1\mbox{ and } \delta_{\infty}(\gamma)=\lim\limits_{r\to +\infty}{\delta(r)}, \end{align}

where

(1.7)\begin{equation} v(s)=\frac{k-1+W(s)}{k+1},\quad\forall s\geq 0. \end{equation}

Note that when $k=1$ and $w\equiv 1$, $\delta (r)$ takes the constant value $-\frac {n}{2}+\sqrt {n-1}+2$, which plays a crucial role in pointwise estimates. We refer to [Reference Villegas9] by Villegas for details. A great difference here is that $\delta (r)$ is a variable exponent, this produces additional technical difficulties.

Our main results are

Proposition 1.3 Let $n>k(k+1)/(2k+\gamma )$ and $u$ be a semi-stable nonconstant radial solution of (1.1). Then $\left \vert \nabla u(x)\right \vert >0$ for all $\left \vert x \right \vert >0$.

We have the following pointwise estimate for not necessarily bounded solutions of (1.1).

Theorem 1.4 Let $w\in C^1(\mathbb {R}^n{\setminus} \{0\})$ be a radial function that satisfies (1.4) , $n>k(k+1)/(2k+\gamma )$ and $u$ be a semi-stable nonconstant radial solution of (1.1) (not necessarily bounded). Then, there exist $M>0$ and $r_0\geq 1$ depending on $u$ and $w$ such that for all $r\geq r_0$,

(1.8)\begin{equation} \left\vert u(r)\right\vert\geq M\begin{cases} r^{\delta(r)} & \mbox{if }n\neq 2\left(k+\frac{2\gamma}{k}+4\right),\\ \log r & \mbox{if }n=2\left(k+\frac{2\gamma}{k}+4\right). \end{cases} \end{equation}

Remark 1.5 This theorem is sharp for some $\beta \in \mathbb {R},\, \mu =\frac {\sigma }{k}+2$ and

\[ u_{\beta} (r):=\begin{cases} {\rm sgn}\left(\beta\right)\left(1+r^{\mu}\right )^{\frac{\beta}{\mu}} & \mbox{if } \beta \neq 0,\forall r\geq 0,\\ \left(\frac{1}{\mu}\right)\log{\left (1+r^{\mu}\right )} & \mbox{if } \beta=0,\forall r\geq 0, \end{cases} \]

where $\sigma >-k$ and $w(r)=r^{\sigma }$, as shown in the appendix.

Theorem 1.6 Let $w\in C^1(\mathbb {R}^n{\setminus} \{0\})$ be a radial function that satisfies (1.4), $n\geq 2$ and $u$ be a semi-stable nonconstant bounded radial solution of (1.1). Then,

  1. (i) $n>2(k+\frac {2\gamma }{k}+4)$.

  2. (ii) There exists $u_\infty =\lim \limits _{r\rightarrow +\infty }{u(r)}\in \mathbb {R}$ and $M>0$ depending on $u$ and $w$ such that for all $r\geq 1,$

    (1.9)\begin{equation} \left\vert u(r)-u_\infty\right\vert \geq M r^{\delta(r)}. \end{equation}

Remark 1.7 Theorem 1.6 is sharp (see example A.1 in the appendix).

Remark 1.8 See [Reference Villegas9] to compare our results with the semilinear case ($k=1$) and for related equations involving the $p$-Laplacian operator, see [Reference Castorina, Esposito and Sciunzi2, Reference Fazly5, Reference Navarro and Villegas8].

This paper is organized as follows. In § 2 we prove our main results, proposition 1.3, theorem 1.4 and theorem 1.6. We conclude the paper by presenting in the appendix some examples of functions $w$ and $g$ for which our theorems are sharp.

2. Proof of the main results

We claim that if $u$ is a $C^2$ radial solution, then $u'\in C_{loc}^{0,1}(\mathbb {R}^n)$. To prove our claim, we first observe that $u'\in C^0(\mathbb {R}^n)\cap C^1(\mathbb {R}^n{\setminus} \{0\})$ with $u'(0)=0$ and $\left \vert u '(x)\right \vert \leq C_R\left \vert x \right \vert$ in any open ball $B_R$ of radius $R>0$. Now from (1.1) and (1.2) we obtain, for $r>0$,

\[ kc_{n,k}\left(\frac{u'}{r}\right)^{k-1}\left(\left(\frac{n-k}{k}\right)\left(\frac{u'}{r}\right)+u''\right)=wg(u), \]

from which we deduce that

\[ u''=\left(\frac{wg(u)}{kc_{n,k}}\right) \left(\frac{u'}{r}\right)^{1-k}-\left(\frac{n-k}{k}\right)\left(\frac{u'}{r}\right),\quad r>0. \]

Thus, for any $R>0$, the function $u''$ is bounded on $B_R{\setminus} \{0\}$. Also for any $x,\,y\in \mathbb {R}^n$ such that $R>\left \vert y \right \vert >\left \vert x \right \vert >0$, we have

\begin{align*} \left\vert u'(\left\vert y\right\vert)-u'(\left\vert x\right\vert)\right\vert& \leq\int_{\left\vert x\right\vert}^{\left\vert y\right\vert}\left\vert u''(t)\right\vert\,{\rm d}t\\ & \leq\sup_{\xi\in [\left\vert x\right\vert,\left\vert y\right\vert]}\left\vert u''(\xi)\right\vert(\left\vert y\right\vert-\left\vert x\right\vert)\\ & \leq\sup_{z\in B_{R}{\setminus}\{0\}}\left\vert u''(\left\vert z\right\vert)\right\vert\left\vert y-x\right\vert. \end{align*}

We conclude that $u'\in C_{loc}^{0,1}(\mathbb {R}^n)$. This will be used in the proof of lemma 2.1 below.

Lemma 2.1 Let $n\geq 2$ and $u$ be any radial solution of (1.1). Then

(2.1)\begin{equation} \mathcal{Q}_u(u'\eta)=kc_{n,k}\int_{\mathbb{R}^n}{\!\lambda_2^{k+1}\left\lbrace\left\vert\left\vert x\right\vert\nabla\eta+v\frac{x\eta}{\left\vert x\right\vert}\right\vert^2\!\!\!-\left(v^2+\frac{n}{k}v+\frac{n}{k}-1-\left(x,\nabla v\right)\right)\eta^2\right\rbrace }, \end{equation}

for every radially symmetric function $\eta \in (H_c^1\cap L_{loc}^{\infty })(\mathbb {R}^n)$, where $v$ is defined as in (1.7). Here $(\cdot,\, \cdot )$ denotes the standard scalar product in $\mathbb {R}^n$.

Proof. Let $\eta \in H_c^1(\mathbb {R}^n)\cap L_{loc}^\infty (\mathbb {R}^n)$ and $\zeta \in C_{loc}^{0,1}(\mathbb {R}^n)$ be radial functions. Then, by a standard density argument, we can take $\xi =\zeta \eta \in H_c^1(\mathbb {R}^n)\cap L_{loc}^\infty (\mathbb {R}^n)$ in (1.3) to obtain

(2.2)\begin{equation} \mathcal{Q}_u(\zeta\eta)=\int_{\mathbb{R}^n}{kc_{n,k}\left\vert\frac{u'}{\left\vert x\right\vert}\right\vert^{k-1}\left\vert\nabla(\zeta\eta)\right\vert^2+w(\left\vert x\right\vert)g'(u)(\zeta\eta)^2}. \end{equation}

Thus, as $u$ and $\zeta$ are radial functions, we get

(2.3)\begin{equation} \left\vert\frac{u'}{\left\vert x\right\vert}\right\vert^{k-1}\left\vert\nabla(\zeta\eta)\right\vert^2=\lambda_2^{k-1}\left(\zeta^2\left\vert\nabla\eta\right\vert^2+\left(2\zeta\eta(\nabla\zeta,\nabla\eta)+\eta^2\left\vert\nabla\zeta\right\vert^2\right)\right), \end{equation}

where $\lambda _2=u'/{\left \vert x \right \vert }$.

From (1.2) and differentiating (1.1) with respect to $r$, we obtain

\begin{align*} c_{n,k}^{{-}1}wg'(u)u'& ={-}c_{n,k}^{{-}1}w'g(u)-\frac{n-1}{r^2}\left(\frac{u'^k}{r^{k-1}}\right)+\Delta\left(\frac{u'^k}{r^{k-1}}\right)\\ & ={-}c_{n,k}^{{-}1}wg(u)\frac{W}{r}-\frac{(n-1)\lambda_2^k}{r}+\Delta\left(\lambda_2^{k-1}u'\right),\quad r>0. \end{align*}

Then, multiplying the latter equation by $u'\eta ^2=r\lambda _2\eta ^2$, we have

(2.4)\begin{equation} \begin{aligned} \frac{1}{c_{n,k}}\int_{\mathbb{R}^n}{wg'(u)\left(u'\eta\right)^2} & ={-}\frac{1}{c_{n,k}}\int_{\mathbb{R}^n}{wg(u)\left(\lambda_2W\eta^2\right)}-(n-1)\int_{\mathbb{R}^n}{\lambda_2^{k+1}\eta^2}\\ & \quad+\int_{\mathbb{R}^n}{\left(\left\vert x\right\vert\lambda_2\eta^2\right) \Delta\left(\left\vert x\right\vert\lambda_2^{k}\right)}. \end{aligned} \end{equation}

Thus, integrating by parts, and taking into account that $\lambda _2\in L_{loc}^\infty (\mathbb {R}^n)$, we obtain

(2.5)\begin{equation} \begin{aligned} \frac{1}{c_{n,k}}\int_{\mathbb{R}^n}{wg(u)\left(\lambda_2W\eta^2\right)} & =\int_{\mathbb{R}^n}{\left(x,\nabla\left(\left\vert x\right\vert^{n}\lambda_2^k\right) \right)\left(\left\vert x\right\vert^{{-}n}\lambda_2W\eta^2\right)}\\ & ={-}\int_{\mathbb{R}^n}{\left(\left\vert x\right\vert^{n}\lambda_2^k\right)\left(x,\nabla\left(\left\vert x\right\vert^{{-}n}\lambda_2W\eta^2\right)\right)}\\ & =\frac{k}{k+1}\int_{\mathbb{R}^n}{\lambda_2^{k+1}\left(\frac{n}{k}W\eta^2-\left(x,\nabla\left(W\eta^2\right)\right)\right)} \end{aligned} \end{equation}

and

(2.6)\begin{equation} \begin{aligned} \int_{\mathbb{R}^n}{\left(\left\vert x\right\vert\lambda_2\eta^2\right) \Delta\left(\left\vert x\right\vert\lambda_2^{k}\right)} & ={-}\int_{\mathbb{R}^n}{\left(\nabla\left(\left\vert x\right\vert\lambda_2\eta^2\right),\nabla\left(\left\vert x\right\vert\lambda_2^{k}\right)\right)}\\ & =\frac{k(k-1)}{k+1}\int_{\mathbb{R}^n}{\lambda_2^{k+1}\left(\eta^2+\left(x,\nabla\eta^2\right)\right)}\\ & \quad-k\int_{\mathbb{R}^n}{\lambda_2^{k-1}\frac{(\nabla\left(\left\vert x\right\vert\lambda_2\right)^2,\nabla\eta^2)}{2}}\\ & \quad-k\int_{\mathbb{R}^n}{\lambda_2^{k-1}\left\vert\nabla\left(\left\vert x\right\vert\lambda_2\right)\right\vert^2\eta^2}. \end{aligned} \end{equation}

Next, using $\zeta =u'$ in (2.2), (2.3), we have

(2.7)\begin{equation} \begin{aligned} \int_{\mathbb{R}^n}{\lambda_2^{k-1}\left\vert\nabla(u'\eta)\right\vert^2} & =\int_{\mathbb{R}^n}{\lambda_2^{k-1}\left(u'^2\left\vert\nabla\eta\right\vert^2+2u'\eta(\nabla u',\nabla\eta)+\left\vert\nabla u'\right\vert^2\eta^2\right)}\\ & =\int_{\mathbb{R}^n}{\left\lbrace \left\vert x\right\vert^2\lambda_2^{k+1}\left\vert\nabla\eta\right\vert^2+\lambda_2^{k-1}\frac{(\nabla\left(\left\vert x\right\vert\lambda_2\right)^2,\nabla\eta^2)}{2}\right\rbrace }\\ & \quad+\int_{\mathbb{R}^n}{\lambda_2^{k-1}\left\vert\nabla\left(\left\vert x\right\vert\lambda_2\right)\right\vert^2\eta^2}\\ & =\int_{\mathbb{R}^n}{\left\vert x\right\vert^2\lambda_2^{k+1}\left\vert\nabla\eta\right\vert^2}\\ & \quad+\frac{(k-1)}{k+1}\int_{\mathbb{R}^n}{\lambda_2^{k+1}\left(\eta^2+\left(x,\nabla\eta^2\right)\right)}\\ & \quad-\frac{1}{k}\int_{\mathbb{R}^n}{\left(\left\vert x\right\vert\lambda_2\eta^2\right) \Delta\left(\left\vert x\right\vert\lambda_2^{k}\right)}. \end{aligned} \end{equation}

Then, from (2.2), (2.4), (2.5), (2.6) and (2.7), we obtain

\begin{align*} \mathcal{Q}_u(u'\eta)& =\int_{\mathbb{R}^n}{\lambda_2^{k-1}\left\vert\nabla\left(u'\eta\right)\right\vert^2}+\frac{1}{kc_{n,k}}\int_{\mathbb{R}^n}{wg'(u)(u'\eta)^2}\\ & ={-}\frac{1}{k+1}\int_{\mathbb{R}^n}{\lambda_2^{k+1}\left(\frac{n}{k}W\eta^2-\left(x,\nabla\left(W\eta^2\right)\right)\right)}\\ & \quad-\frac{(n-1)}{k}\int_{\mathbb{R}^n}{\lambda_2^{k+1}\eta^2}+\int_{\mathbb{R}^n}{\left\vert x\right\vert^2\lambda_2^{k+1}\left\vert\nabla\eta\right\vert^2}\\ & \quad+\frac{(k-1)}{k+1}\int_{\mathbb{R}^n}{\lambda_2^{k+1}\left(\eta^2+\left(x,\nabla\eta^2\right)\right)}. \end{align*}

Since

\[ \left\vert x\right\vert^2\left\vert\nabla\eta\right\vert^2+v\left(x,\nabla\eta^2\right)=\left\vert\left\vert x\right\vert\nabla\eta+v\frac{x\eta}{\left\vert x\right\vert}\right\vert^2-v^2\eta^2, \]

from (1.7), we have

\[ W=(k+1)v+1-k\mbox{ and }\left(x,\nabla W\right)=(k+1)\left(x,\nabla v \right). \]

Hence

\[ \mathcal{Q}_u(u'\eta)=\int_{\mathbb{R}^n}{\lambda_2^{k+1}\left\lbrace\left\vert\left\vert x\right\vert\nabla\eta+v\frac{x\eta}{\left\vert x\right\vert}\right\vert^2-\left(v^2+\frac{n}{k}v+\frac{n}{k}-1-\left(x,\nabla v\right)\right)\right\rbrace \eta^2}, \]

which concludes the proof.

Multiplying the equation (1.2) by $r^{n+\frac {n}{k}-1}\lambda _2$, we obtain

\[ \left(\left(r^{\frac{n}{k}}\lambda_2\right)^{k+1}\right)'=(k+1)(kc_{n,k})^{{-}1}wg(u)r^{n+\frac{n}{k}-1}\lambda_2. \]

Since $r\lambda _2=u'$, the above equation is equivalent to

(2.8)\begin{equation} \left(\left(r^{\frac{n}{k}-1}u'\right)^{k+1}\right)'=(k+1)(kc_{n,k})^{{-}1}r^{n-1}wg(u)r^{\frac{n}{k}-1}u'. \end{equation}

On the other hand, from (1.4) and (1.7), we have

(2.9)\begin{equation} v(r)\geq v_{\infty}:=\lim_{r\to +\infty}{v(r)}=\frac{k-1+\gamma}{k+1},\quad\forall r\geq 0. \end{equation}

Thus, if $n>k(k+1)/(2k+\gamma )$, it follows that

(2.10)\begin{equation} \frac{n}{k}v(r)+\frac{n}{k}-1\geq\frac{n}{k}\left(v_{\infty}+1\right)-1=\frac{n(2k+\gamma)}{k(k+1)}-1>0,\quad\forall r\geq 0. \end{equation}

Proof of proposition 1.3. We follow an argument similar to that of proposition 1 in [Reference Farina and Navarro4]. Let $n>k(k+1)/(2k+\gamma )$ and let $u$ be a semi-stable nonconstant radial solution of (1.1). Arguing by contradiction, assume that $u'(r_0) = 0$ for some $r_0 > 0$. Now let $\chi _{B_{r_0}}$ be the indicator function of the open ball of radius $r_0$ centred at the origin, so $\chi _{B_{r_0}}\in H_c^1(\mathbb {R}^n)\cap L_{loc}^\infty (\mathbb {R}^n)$. From (2.1), we obtain

\begin{align*} \mathcal{Q}_u\left(u'\chi_{B_{r_0}}\right)& =kc_{n,k}\left(\int_{{B_{r_0}}}+\int_{\mathbb{R}^n{\setminus} B_{r_0}}\right)\\ & {\left\lbrace\lambda_2^{k+1}\left(\left\vert\left\vert x\right\vert\nabla\chi_{B_{r_0}}\!\!+v\frac{x\chi_{B_{r_0}}}{\left\vert x\right\vert}\right\vert^2\!\!-\left(v^2+\frac{n}{k}v\!+\!\frac{n}{k}\!-1\!-\!\left(x,\nabla v\right)\right)\chi_{B_{r_0}}^2\right) \right\rbrace }\\ & ={-}kc_{n,k}\int_{{B_{r_0}}}{\lambda_2^{k+1}\left\lbrace\frac{n}{k}v+\frac{n}{k}-1-\left(x,\nabla v\right)\right\rbrace }+0\leq 0, \end{align*}

where we have used the fact that $\lambda _2\geq 0$, (2.10) and the monotonicity of $v$ to get the above inequality. Thus, the semi-stability of $u$ implies that $u(r)=u_0$ for all $r\in [0,\,r_0]$.

Let $v(r)=(r^{\frac {n}{k}-1}u')^{k+1}$. From (2.8), we have the following problem

\[ \left\lbrace\begin{array}{@{}rcll} u'=r^{1-\dfrac{n}{k}}v^{\dfrac{1}{k+1}} & r>r_0>0,\\ v'=(k+1)(kc_{n,k})^{{-}1}r^{n-1}wg(u)v^{\dfrac{1}{k+1}} & r>r_0>0,\\ u(r_0)=u_0, & \\ v(r_0)=0. \end{array}\right. \]

Finally, by Cauchy's theorem, we get that $u=u_0$ for any $r>0$, a contradiction.

We adapt some estimates given by Villegas in [Reference Villegas9] for the nonweighted semilinear equation. Here is one of our main integral estimates.

Lemma 2.2 Let $w\in C^1(\mathbb {R}^n{\setminus} \{0\})$ be a radial function that satisfies (1.4) , ${n>k(k+1)/ (2k+\gamma)}$ and $u$ be a semi-stable nonconstant radial solution of (1.1). Then, there exists $K>0$ depending on $u$ and $w$ and such that

(2.11)\begin{equation} \int_r^R{\frac{ds}{s^{n-k}({u'(s)})^{k+1}}}\leq Kr^{{-}2\alpha(r)}\quad \forall R>r\geq 1. \end{equation}

Proof. From proposition 1.3, we have that $u'(r)\neq 0$ for all $r>0$. Furthermore, $u'>0$ on $(0,\,\infty )$ (see remark 1.1).

Next we show that $\alpha (r)$ defined in (1.5) is strictly positive for all $r\geq 1$. For this, let $\kappa \geq 0$ and define the function

\[ \Psi(r,\kappa):=v(r)+\sqrt{v(r)^2+\frac{n}{k}v(r)+\frac{n}{k}-1 +\kappa}. \]

From (2.10), we have

(2.12)\begin{equation} v(r)+\frac{n}{2k}>\frac{k}{n}\left(1-\frac{n}{k}\right)+\frac{n}{2k}=\frac{k^2+(n-k)^2}{2kn}>0. \end{equation}

Then

(2.13)\begin{equation} \frac{\partial\Psi}{\partial r}(r,\kappa)=\left(1+\frac{v(r)+\frac{n}{2k}}{\sqrt{v(r)^2+\frac{n}{k}v(r)+\frac{n}{k}-1 +\kappa}}\right)v'(r)\leq 0\mbox{ for }r>0. \end{equation}

Thus, from (1.4), (2.10), (2.12) and (2.13), we obtain

\[ \Psi(r,-rv'(r))>v(r)+\left\vert v(r)\right\vert\geq 0,\quad\forall r\geq 0, \]

and

\begin{align*} \Psi(r,-rv'(r))& \geq\Psi(r,0)=v(r)+\sqrt{\left(\frac{v(r)+1}{k}\right)\left(k\left(v(r)-1\right)+n\right)}\\ & \geq\lim_{r\to +\infty}{\Psi(r,0)}=v_{\infty}+\sqrt{\frac{n}{k}(v_{\infty}+1)+(v_{\infty}+1)(v_{\infty}-1)}\\ & >\frac{k-1+\gamma}{k+1}+\sqrt{1+\frac{(2k+\gamma)(\gamma-2)}{(k+1)^2}}\\ & =\frac{k-1+\gamma+\left\vert k-1+\gamma\right\vert}{k+1}\geq 0. \end{align*}

Therefore by the previous inequalities, we get

(2.14)\begin{equation} \begin{aligned} \alpha(r) & =\frac{\displaystyle\int_1^r{\left\lbrace \frac{v(s)+\sqrt{v(s)^2+\frac{n}{k}v(s)+\frac{n}{k}-1 -sv'(s)}}{s}\right\rbrace\,{\rm d}s}}{\log r}\\ & \geq v_{\infty}+\sqrt{\frac{n}{k}(v_{\infty}+1)+(v_{\infty}+1)(v_{\infty}-1)}>0\mbox{ for }r\geq 1. \end{aligned} \end{equation}

We now fix $R>r\geq 1$ and consider the function

\[ \eta (t)=\begin{cases} 1 & \mbox{if } 0\leq t \leq 1, \\ t^{-\alpha(t)} & \mbox{if } 1< t\leq r,\\ \frac{r^{-\alpha(r)}\displaystyle\int_t^R{\frac{{\rm d}s}{s^{n-k}(u'(s))^{k+1}}}}{\displaystyle\int_r^R{\frac{ds}{s^{n-k}(u'(s))^{k+1}}}} & \mbox{if } r< t\leq R,\\ 0 & \mbox{if } R< t<\infty. \end{cases} \]

Since, $u$ is a semi-stable solution, from (2.1), we have

(2.15)\begin{equation} \begin{aligned} 0 & \leq (\omega_n kc_{n,k})^{{-}1}\mathcal{Q}_u(u'\eta)= I_1+I_2+I_3\\ & =\left(\int_0^1+\int_1^r+\int_r^R\right){\left\lbrace t^{n-1}\lambda_2^{k+1}\left( \left(t\eta'\right)^2+2v(t)\left(t\eta\eta'\right)\right.\right. }\\ & \quad-{\left.\left. \left(\frac{n}{k}v(t)+\frac{n}{k}-1-tv'(t)\right)\eta^2\right)\,{\rm d}t\right\rbrace }, \end{aligned} \end{equation}

where $\omega _n$ is the measure area of the $n-1$ dimensional unit sphere $S^{n-1}$.

Then by (2.10), we have

(2.16)\begin{equation} \begin{aligned} I_1 & ={-}\int_0^1{t^{n-1}\lambda_2^{k+1}\left(\left(\frac{n}{k}v(t)+\frac{n}{k}-1-tv'(t)\right)\right)\,{\rm d}t}\\ & \leq{-}\left(\frac{n}{k}\left(v_{\infty}+1\right)-1\right)\int_0^1{t^{n-1}\lambda_2^{k+1}\,{\rm d}t}, \end{aligned} \end{equation}

and by (1.5), we obtain

(2.17)\begin{equation} \begin{aligned} I_2 & =\int_1^r{t^{n-2\alpha(t)-1}\lambda_2^{k+1}\left( \left(t\left(\alpha(t)\log t\right)'-v(t)\right)^2\right.}\\ & -{\left. \left(v(t)^2+\frac{n}{k}v(t)+\frac{n}{k}-1-tv'(t)\right)\right)\,{\rm d}t }\\ & =0. \end{aligned} \end{equation}

Now to estimate $I_3$, we need to consider two cases according to the sign of $v$ in the interval $[r,\,R]$. For this, we rewrite $I_3$ as

(2.18)\begin{equation} I_3=I_{3}^+{+}I_{3}^{-}=\int_{\{t\in[r,R]:v(t)\geq0\}}+\int_{\{t\in[r,R]:v(t)<0\}}, \end{equation}

and we define $\Phi _R: [r,\,R]\rightarrow \mathbb {R}$ as

\[ \Phi_R(t)=\int_t^R{s^{-(n+1)}\lambda_2^{-(k+1)}\,ds}, \]

and recall that $\lambda _2=u'(s)/s$ for $s>0$.

Thus for $t\in [r,\,R]$:

  • If $v(t)\geq 0$, then by (2.10), it follows that

    (2.19)\begin{equation} \begin{aligned} I_3^+ & =\int_r^R{t^{n-1}\lambda_{2}^{k+1}\left((t\eta')^2+2v(t)(t\eta\eta')\right)\,{\rm d}t}\\ & \quad-\int_r^R{t^{n-1}\lambda_{2}^{k+1}\left(\left(\frac{n}{k}v(t)+\frac{n}{k}-1-tv'(t)\right)\eta^2\right)\,{\rm d}t}\\ & \leq\int_r^R{t^{n-1}\lambda_{2}^{k+1}\frac{r^{{-}2\alpha(r)}}{\Phi^2_{R}(r)}t^{{-}2n}\lambda_{2}^{{-}2(k+1)}\,{\rm d}t}\\ & =\frac{r^{{-}2\alpha(r)}}{\Phi^2_{R}(r)}\int_{r}^R t^{-(n+1)}\lambda_2^{-(k+1)}\,{\rm d}t=\frac{r^{{-}2\alpha(r)}}{\Phi_{R}(r)}. \end{aligned} \end{equation}
  • If $v(t)<0$, then for all $\epsilon >0$

    \[{-}2v(t)\Phi_R(t)t^{{-}n}\lambda_2^{-(k+1)}\leq \epsilon^2v(t)^2\Phi_R(t)^2+\frac{t^{{-}2n}\lambda_2^{{-}2(k+1)}}{\epsilon^2}, \]
    and
    \begin{align*} I_3^{-}& \leq \left(1+\frac1{\epsilon^2}\right) \frac{r^{{-}2\alpha(r)}}{\Phi_R(r)}-\frac{r^{{-}2\alpha(r)}}{\Phi_R(r)^2}\\ & \quad\times\int_{\{t\in[r,R]:v(t)<0\}}{t^{n-1}\lambda_2^{k+1}\left( \!-\epsilon^2v(t)^2\!+\!\frac{n}{k}v(t)\!+\frac{n}{k}-1\!-\!tv'(t)\right)\Phi_R(t)^2\,{\rm d}t }. \end{align*}

    Moreover, by (1.4) and (1.7), we have that

    \[ \left\vert v_{\infty}\right\vert>\left\vert v(t)\right\vert>0\mbox{ for any }t\in\{t\in[r,R]:v(t)<0\}. \]

    By (2.10) we can pick $\epsilon \in (0,\,\sqrt {\frac {n}{k}v_{\infty }+\frac {n}{k}-1}/\left \vert v _{\infty }\right \vert )$. Then applying the Young's inequality with $\varepsilon$ to $-v(t)\Phi _R(t) t^{-n}\lambda _2^{-(k+1)}$ with exponents 2 and 2, and using again (2.10), we have

    \[ -\epsilon^2v(t)^2+\frac{n}{k}v(t)+\frac{n}{k}-1-tv'(t)\geq{-}\epsilon^2v_{\infty}^2+\frac{n}{k}v_{\infty}+\frac{n}{k}-1>0, \]
    and therefore
    (2.20)\begin{equation} I_3^{-}\leq\left(1+\frac{1}{\epsilon^2}\right) \frac{r^{{-}2\alpha(r)}}{\Phi_R(r)}. \end{equation}

Finally, from (2.15)(2.17), (2.19) and (2.20), the lemma follows.

Applying lemma 2.2 enables us to prove the following pointwise estimate.

Proposition 2.3 Let $w\in C^1(\mathbb {R}^n{\setminus} \{0\})$ be a radial function that satisfies (1.4) , $n>k(k+1)/(2k+\gamma )$ and $u$ be a semi-stable nonconstant radial solution of (1.1). Then, there exists $K'>0$ depending on $u$ and $w$ and such that

(2.21)\begin{equation} \left\vert u(2r)-u(r)\right\vert\geq K'r^{\delta(r)},\quad\forall r\geq 1. \end{equation}

Proof. Fix $r\geq 1$. Applying Hölder's inequality, lemma 2.2 with $R=2r$ and recalling that $u'$ does not vanish in $(0,\,\infty )$, we deduce

\begin{align*} \left (\int_1^{2}{ t^{-\frac{n-k}{k+2}}\,{\rm d}t}\right )r^{-\frac{n-2k-2}{k+2}}& =\int_r^{2r}{ t^{-\frac{n-k}{k+2}}\,{\rm d}t}\\ & \leq \left (\int_r^{2r}{ \frac{{\rm d}t}{t^{n-k}({u'(t)})^{k+1}}}\right )^{\frac1{k+2}} \left (\int_r^{2r}{{u'(t)}\,{\rm d}t}\right )^{\frac{k+1}{k+2}}\\ & \leq \left(Kr^{{-}2\alpha(r)} \left\vert u(2r)-u(r)\right\vert^{k+1}\right)^\frac{1}{k+2}, \end{align*}

which gives (2.21).

Proof of theorem 1.4. Let $\delta (r)$ and $\delta _\infty (\gamma )$ as in (1.6). By (2.9) and (2.10), we obtain

\[ v_{\infty}+1=\frac{2k+\gamma}{k+1}>0\mbox{ and }k(v_{\infty}-1)+n>\frac{(n-k)^2}{n}\geq 0. \]

Thus, from (1.4), (1.5), (1.7), the L'Höspital rule and the elementary equality $2\sqrt {ab}=a+b-(\sqrt {a}-\sqrt {b})^2$ for $a,\,b\geq 0$, we have

(2.22)\begin{equation} \begin{aligned} \delta_{\infty}(\gamma) & =\frac{-n+2\lim\limits_{r\to +\infty}{\alpha(r)}+2k+2}{k+1}\\ & =\frac{-n+2\left(v_{\infty}+\sqrt{\left(\frac{v_{\infty}+1}{k}\right)\left(k(v_{\infty}-1)+n\right)}\right)+2(k+1)}{k+1}\\ & =\frac{(k+1)^2\left(\frac{v_{\infty}+1}{k}\right)-\left(\sqrt{k(v_{\infty}-1)+n}-\sqrt{\frac{v_{\infty}+1}{k}}\right)^2}{k+1}\\ & =\frac{\left(2\left(k+\frac{2(k+1)(v_{\infty}+1)}{k}\right)-n\right)\left(k\sqrt{\frac{v_{\infty}+1}{k}}+\sqrt{k(v_{\infty}-1)+n}\right)}{(k+1)\left((k+2)\sqrt{\frac{v_{\infty}+1}{k}}+\sqrt{k(v_{\infty}-1)+n}\right)}\\ & =C\left(2\left(k+\frac{2\gamma}{k}+4\right)-n\right), \end{aligned} \end{equation}

where $C$ is a positive constant depending on $n,\,k$ and $\gamma$.

Additionally, from (2.14) and (1.6), we obtain

(2.23)\begin{equation} \delta(r)\geq \delta_{\infty}(\gamma),\,\forall r\geq1. \end{equation}

Now, according to the dimension $n$, we consider three cases:

  • Case $n>2(k+\frac {2\gamma }{k}+4)$. By (2.22), $\delta _{\infty }(\gamma )<0$, and by continuity there exists $r_0>1$ such that $\delta (r)<0$ for any $r\geq r_0$. At this point, we have two subcases:

    • $\lim \limits _{r\to +\infty }{\left \vert u (r)\right \vert }\in (0,\,\infty ]$. From (2.23), we have $0>\delta (r)\geq \delta _{\infty }(\gamma )$ for any $r\geq r_0$. Then, $1>r^{\delta (r)}\geq r^{\delta _{\infty }(\gamma )}$, $\forall r\geq r_0$ and it follows that

      \[ \lim\limits_{r\to +\infty}r^{\delta(r)}\in[0,1]. \]
      If $\lim \limits _{r\to +\infty }r^{\delta (r)}\in (0,\,1]$, we have a contradiction. Hence, $\lim \limits _{r\to +\infty }r^{\delta (r)}=0$ and (1.8) follows immediately.
    • $\lim \limits _{r\to +\infty }{\left \vert u (r)\right \vert }=0$. Let $R\geq 2r$ and $r\geq 1$. Thus, by the monotony of $u$ and proposition 2.3 there exists $K'>0$ such that:

      (2.24)\begin{equation} \begin{aligned} \left\vert u(R)-u(r)\right\vert & =\left\vert u(R)-u(2r)\right\vert+\left\vert u(2r)-u(r)\right\vert\\ & \geq\left\vert u(2r)-u(r)\right\vert\geq K'r^{\delta(r)}. \end{aligned} \end{equation}
      Letting $R\to +\infty$, (1.8) is proved for $r_0=1$.

  • Case $n<2(k+\frac {2\gamma }{k}+4)$. We have three subcases:

    • $\lim \limits _{r\to +\infty }{\left \vert u (r)\right \vert r ^{-\delta (r)}}=0$. From (2.21), we have that $K'=0$, a contradiction.

    • $\lim \limits _{r\to +\infty }{\left \vert u (r)\right \vert r ^{-\delta (r)}}=L\in (0,\,+\infty )$. Then, $\forall \epsilon >0$ there exists $r_0\geq 1$ such that $\left \vert \left \vert u (r)\right \vert r ^{-\delta (r)}-L\right \vert <\epsilon$ for any $r\geq r_0$ and (1.8) is proved for $r_0$.

    • $\lim \limits _{r\to +\infty }{\left \vert u (r)\right \vert r ^{-\delta (r)}}=+\infty$. Then there exists $r_0\geq 1$ and $K>0$ such that $\left \vert u (r)\right \vert r ^{-\delta (r)}\geq K$ for any $r\geq r_0$ and (1.8) is proved for $r_0$.

  • Case $n=2(k+\frac {2\gamma }{k}+4)$. Let $r\geq 1$. Then there exists $m\in \mathbb {N}$ and $1\leq r_1<2$ such that $r=2^{m-1}r_1$. Thus, by the monotony of $u$ and proposition 2.3, it follows that

    (2.25)\begin{equation} \begin{aligned} \left\vert u(r)\right\vert & \geq\left\vert u(r)-u(r_1)\right\vert-\left\vert u(r_1)\right\vert\\ & =\sum_{j=1}^{m-1}\left\vert u(2^j r_1)-u(2^{j-1} r_1)\right\vert-\left\vert u(r_1)\right\vert\\ & \geq \sum_{j=1}^{m-1}{K'(2^{j-1}r_1)^{\delta(2^{j-1}r_1)}}-\left\vert u(r_1)\right\vert. \end{aligned} \end{equation}

    By (2.23), we have

    \[ \left(2^{j-1}r_1\right)^{\delta(2^{j-1}r_1)}\geq\left(2^{j-1}r_1\right)^{\delta_{\infty}(\gamma)}=1, \]
    for any $j\in \{1,\,\ldots,\,m-1\}$ and together with (2.25), we get
    (2.26)\begin{equation} \left\vert u(r)\right\vert\geq K'(m-1)-\left\vert u(r_1)\right\vert=\left(\frac{K'}{\log 2}\right)\left(\log r-\log r_1\right) -\left\vert u(r_1)\right\vert, \end{equation}
    and (1.8) follows easily.

Proof of theorem 1.6. From (1.8) of theorem 1.4, it follows that $n\neq 2(k+\frac {2\gamma }{k}+4)$.

Recall that

\[ \delta(r)=\frac{-n+2\alpha(r)+2k+2}{k+1}. \]

Let $R\geq 2r$ and $r\geq 1$. From (2.23) and (2.24), we have

\[ \left\vert u(R)-u(r)\right\vert\geq K'r^{\delta(r)}\geq K'r^{\delta_{\infty}(\gamma)}. \]

Thus, letting $r\to +\infty$, we conclude that $\delta _{\infty }(\gamma )$ must be negative, which is equivalent to $n>2(k+\tfrac {2\gamma }{k}+4)$. This prove $i)$.

Finally, letting $R\to +\infty$, we have

\[ \left\vert u(r)-u_{\infty}\right\vert\geq K'r^{\delta(r)},\,\forall r\geq 1, \]

which is $ii)$ with $M=K'$. The proof is complete.

Acknowledgments

The authors express their gratitude to the referee who read the paper very carefully and made some suggestions for improving the presentation. M. Navarro was supported by XUNTA de Galicia under Grant Axudas á etapa de formación posdoutoral 2017 and partially supported by AEI of Spain under Grant MTM2016-75140-P and co-financed by European Community fund FEDER and XUNTA de Galicia under grants GRC2015/004, R2016/022 and ED431C2019/02. J. Sánchez was partially supported by ANID Fondecyt Grant No. 1221928.

Appendix A. Proofs of remarks 1.5 and 1.7

We will see that the results obtained in the previous section are optimal.

Example A.1 Let $\sigma _1,\,\sigma _2,\,\tau,\,\mu \in \mathbb {R}$, $(n\geq 2)\in \mathbb {N}$ and $k\in \{1,\,2,\,\ldots,\,n\}$. Define the function

(A.1)\begin{equation} w(r)=r^{\sigma_1}\left(1+r^{\sigma_2}\right)^{-\frac{\tau}{\sigma_2}}, \end{equation}

and

(A.2)\begin{equation} \mu=\frac{\sigma_1}{k}+2. \end{equation}

We assume that $\sigma _1,\,\sigma _2,\,\tau$ and $n$ satisfy the following conditions:

  • If $\tau =0$, then

    (A.3)\begin{equation} \sigma_1>{-}k\mbox{ and }\,n>\frac{k(k+1)}{2k+\sigma_1}. \end{equation}
  • If $\tau >0$, then

    (A.4)\begin{equation} \begin{aligned} & k(\sigma_2-2)\geq \sigma_1>{-}k,\,2k+\sigma_1>\tau\mbox{ and }\\ & n>\max\left\lbrace \sqrt{\frac{\tau\sigma_2}{k+1}}+\frac{2k-(k-1)\sigma_1}{k},\,\frac{k(k+1)}{2k+\sigma_1-\tau}\right\rbrace. \end{aligned} \end{equation}

Now, let $u_{\beta }$ be a radial function defined by

\[ u_{\beta} (r):=\begin{cases} {\rm sgn}\left(\beta\right)\left(1+r^{\mu}\right )^{\frac{\beta}{\mu}} & \mbox{if } \beta \neq 0,\forall r\geq 0,\\ \left(\frac{1}{\mu}\right)\log{\left (1+r^{\mu}\right )} & \mbox{if } \beta=0,\forall r\geq 0. \end{cases} \]

On the other hand, let $\beta \in \mathbb {R}$ such that

(A.5)\begin{equation} \begin{aligned} \beta\geq Q(r) & :=\frac{-n+2\nu+2k+2}{k+1}\\ & \quad+\frac{2}{k+1} \begin{cases} \frac{\displaystyle\int_1^r{\frac{v(s)}{s}}\,ds}{\log r} & \mbox{if }r\geq 1,\\ v(r) & \mbox{if }r\in[0,1), \end{cases} \end{aligned} \end{equation}

where $\nu :=\sqrt {v(0)^2+\frac {n}{k}v(0)+\frac {n}{k}-1 -v'(1)}$ and $v$ is defined by (1.7).

Then $u_{\beta }$ is a semi-stable nonconstant radial solution of (1.1) with $g=g_{\beta }$ defined by

  • If $\beta \neq 0$,

    \[ g_{\beta}(s):=c_{n,k} \begin{cases} \left\vert\beta\right\vert^k\left(\left(\left\vert s\right\vert^{\frac{\mu}{\beta}}-1\right)^{\frac{\sigma_2}{\mu}}+1\right)^{\frac{\tau}{\sigma_2}}\times & \mbox{if }s\in I_{\beta\neq0},\\ \times\left(n+k(\beta-2)+k\left(\mu-\beta\right)\left\vert s\right\vert^{-\frac{\mu}{\beta}}\right)\left\vert s\right\vert^{k-\frac{k\mu}{\beta}}\\ C^1-\mbox{extension} & \mbox{if }s\not\in I_{\beta\neq0}, \end{cases} \]
  • If $\beta =0$,

    \[ g_{0}(s):=c_{n,k} \begin{cases} \left(\left(e^{\mu s}-1\right)^{\frac{\sigma_2}{\mu}}+1\right)^{\frac{\tau}{\sigma_2}}\left(n+k(\beta-2)+k\mu e^{-\mu s}\right)e^{{-}k\mu s} & \mbox{if }s\in I_{0},\\ C^1-\mbox{extension} & \mbox{if }s\not\in I_{0}, \end{cases} \]

where

(A.6)\begin{equation} I_{\beta}:= \begin{cases} [1,+\infty) & \mbox{if }\beta>0,\\ 0,+\infty) & \mbox{if }\beta=0,\\ [{-}1,0) & \mbox{if }\beta<0. \end{cases} \end{equation}

To establish the above result we need the following auxiliary lemmata.

Lemma A.2 Let $\theta \in \mathbb {R}$ and $\rho \in C(\mathbb {R}^n),\,0\leq V\in C^1(\mathbb {R}^n{\setminus} \{0\})$ be radial functions such that

(A.7)\begin{equation} \theta\left(rV'+(n-2\rho-2)V-\theta V\right)\geq 0,\quad\forall r> 0, \end{equation}

and

(A.8)\begin{equation} \lim_{r\to 0}{r^{n-2}V}=0. \end{equation}

Then

(A.9)\begin{equation} \int_0^{\infty}{r^{n-3}V\left(\left(r\eta'+\rho\eta\right)^2-\frac{\theta^2\eta^2}{4}\right) \,{\rm d}r}\geq 0, \end{equation}

for every radially symmetric function $\eta \in C^1_c(\mathbb {R}^n)$.

Proof. Let $\eta \in C_c^{1}(\mathbb {R}^n)$ be a radial function, then

\[ \int_0^{\infty}{r^{n-3}V\left (\theta\eta-t\left(r\eta'+\rho\eta\right)\right )^2\,{\rm d}r}\geq 0, \]

for all $t\in \mathbb {R}$. Extending the above expression, we get the following quadratic inequality for $t$:

\begin{align*} & \theta^2\int_0^{\infty}{r^{n-3}V\eta^2\,{\rm d}r}-t\theta\int_0^{\infty}{r^{n-3}V\left(r(\eta^2)'+2\rho\eta^2\right)\,{\rm d}r}\\ & \quad+t^2\int_0^{\infty}{r^{n-3}V\left(r\eta'+\rho\eta\right)^2\,{\rm d}r}\geq 0. \end{align*}

Integrating by parts and using (A.8), we obtain

\begin{align*} & \quad\theta^2\int_0^{\infty}{r^{n-3}V\eta^2\,{\rm d}r}+t\theta\int_0^{\infty}{r^{n-3}\eta^2\left(rV'+(n-2\rho-2)V\right)\,{\rm d}r}\\ & \quad+ t^2\int_0^{\infty}{r^{n-3}V\left(r\eta'+\rho\eta\right)^2\,{\rm d}r}\geq 0. \end{align*}

Therefore, the above quadratic inequality is equivalent to

\begin{align*} & 4\left(\theta^2\int_0^{\infty}{r^{n-3}V\eta^2\,{\rm d}r}\right)\left(\int_0^{\infty}{r^{n-3}V\left(r\eta'+\rho\eta\right)^2\,{\rm d}r}\right) \\ & \quad\geq\left(\theta\int_0^{\infty}{r^{n-3}\eta^2\left(rV'+(n-2\rho-2)V\right)\,{\rm d}r}\right)^2, \end{align*}

from (A.7), it follows (A.9).

We are now ready to establish example A.1.

Proof of example A.1. We claim that $2k+\gamma >0$, where $\gamma$ is given in (1.4). To this end, let $w(r)$ as in (A.1). Then, differentiating $\log w(r)=\sigma _1\log r-\frac {\tau }{\sigma _2}\log (1+r^{\sigma _2})$ with respect to $r$, we obtain

\[ \frac{rw'(r)}{w(r)}=\sigma_1-\tau h_{\sigma_2}(r), \]

where

(A.10)\begin{equation} h_{\lambda}(r)=\frac{r^{\lambda}}{1+r^{\lambda}}\in[0,1),\quad\forall\lambda>0\mbox{ and }r\geq0. \end{equation}

It follows that

(A.11)\begin{equation} \frac{rh'_{\lambda}(r)}{\lambda}=\left(1-h_{\lambda}(r)\right)h_{\lambda}(r)\in\left[0,\frac14\right] ,\,\forall\lambda>0\mbox{ and }r\geq0. \end{equation}

From (1.7), we have

(A.12)\begin{equation} v(r)=\frac{k-1+\sigma_1-\tau h_{\sigma_2}(r)}{k+1}=v(0)-\frac{\tau}{k+1}h_{\sigma_2}(r), \end{equation}

with

\[ v(0)=\frac{k-1+\sigma_1}{k+1}. \]

Moreover, we also obtain that

(A.13)\begin{equation} rv'(r)={-}\frac{\tau\sigma_2}{k+1}\left(1-h_{\sigma_2}(r)\right)h_{\sigma_2}(r). \end{equation}

On the other hand, by (A.12) we get

(A.14)\begin{equation} \gamma=\lim_{r\to +\infty}{\frac{rw'(r)}{w(r)}}=\lim_{r\to +\infty}{\left\lbrace \sigma_1-\tau h_{\sigma_2}(r)\right\rbrace }=\sigma_1-\tau, \end{equation}

which, by (A.3) and (A.4), implies that

(A.15)\begin{equation} 2k+\gamma=2k+\sigma_1-\tau>0, \end{equation}

and the claim follows.

Next, we divide the proof into two steps.

Step 1. For any $\beta \in \mathbb {R}$, $u_{\beta }$ is a $k$-convex solution of (1.1) with $g=g_{\beta }$ and $w$ defined by (A.1).

A direct calculation gives that

\[ u'_{\beta}=\begin{cases} \left\vert\beta\right\vert r^{\mu-1}\left (1+r^{\mu}\right )^{\frac{\beta}{\mu}-1} & \mbox{if } \beta \neq 0,\\ r^{\mu-1}\left (1+r^{\mu}\right )^{{-}1} & \mbox{if } \beta=0. \end{cases} \]

By (A.2)(A.4), it follows that

\[ \mu-1=\frac{\sigma_1}{k}+1>0\Rightarrow u'_{\beta}(0)=0, \]

also

(A.16)\begin{equation} \lambda_{2,\beta}:=\frac{u'_{\beta}}{r}=\begin{cases} \left\vert\beta\right\vert r^{\mu-2}\left (1+r^{\mu}\right )^{\frac{\beta}{\mu}-1} & \mbox{if } \beta\neq 0,\\ r^{\mu-2}\left (1+r^{\mu}\right )^{{-}1} & \mbox{if } \beta=0. \end{cases} \end{equation}

Consequently, differentiating $\log \lambda _{2,\beta }$ with respect to $r$ and using (A.10), we obtain

(A.17)\begin{equation} \frac{r\lambda'_{2,\beta}}{\lambda_{2,\beta}}=\mu-2+\left(\beta-\mu\right)h_{\mu}(r). \end{equation}

Fix any $j\in \{1,\,2,\,\ldots,\,k\}$. By (1.2), we have

(A.18)\begin{equation} \begin{aligned} S_j(D^2u_{\beta}) & =c_{n,j}\lambda_{2,\beta}^{j-1}\left(n\lambda_{2,\beta}+jr\lambda'_{2,\beta}\right)\\ & =c_{n,j}\lambda_{2,\beta}^{j}\left(n+j\left((\mu-2)+\left(\beta-\mu\right)h_{\mu}(r)\right)\right)\\ & =c_{n,j}\lambda_{2,\beta}^{j}((n+j(\mu-2))(1-h_{\mu}(r))+(n+j(\beta-2))h_{\mu}(r)). \end{aligned} \end{equation}

Combining (2.12), (A.3), (A.4) and (A.12), we have

\begin{align*} \left(v(0)+\frac{n}{2k}\right)^2-\left(v(r)+\frac{n}{2k}\right)^2& =\left(v(0)-v(r)\right)\left(v(r)+v(0)+\frac{n}{k}\right)\\ & \geq\left(\frac{2\tau}{k+1}\right)h_{\sigma_2}(r)\left(v(r)+\frac{n}{2k}\right)\\ & \geq 0,\,\forall r\geq 0. \end{align*}

By (A.10) and setting $\lambda =\sigma _2$ in (A.11) together with (A.13), we get

\[ rv'(r)-v'(1)=\frac{\tau\sigma_2}{k+1}\left(\frac14-\left(1-h_{\sigma_2}(r)\right)h_{\sigma_2}(r)\right)\geq 0,\quad\forall r\geq 0. \]

From the last two inequalities and (2.10), (A.3), (A.4), and the fact that $-rv'(r)\geq 0$ for any $r\geq 0$, a straightforward calculation gives

(A.19)\begin{equation} \begin{aligned} \nu & =\sqrt{v(0)^2+\frac{n}{k}v(0)+\frac{n}{k}-1 -v'(1)}\\ & =\sqrt{\left(v(0)+\frac{n}{2k}\right)^2 -v'(1)-\left(\frac{n}{2k}-1\right)^2}\\ & \geq \sqrt{v(r)^2+\frac{n}{k}v(r)+\frac{n}{k}-1-rv'(r)}\geq\left\vert v(r)\right\vert,\quad\forall r\geq 0. \end{aligned} \end{equation}

From the previous inequality, (A.2) and (A.5), we deduce that

\begin{align*} n+j(\mu-2)& =n+\frac{j\sigma_1}{k}>n-j\geq 0,\\ n+j(\beta-2)& \geq\left(1-\frac{j}{k+1}\right)n+\frac{2\left(v(r)+\left\vert v(r)\right\vert\right)}{k+1}>0. \end{align*}

Therefore, from (A.18), $S_j(D^2 u_{\beta })\geq 0$ for any $j\in \{1,\,2,\,\ldots,\,k\}$. This shows that the functions $u_\beta$ are $k$-convex.

From (A.16) and (A.18), we have

\begin{align*} S_k(D^2u_{\beta})& =c_{n,k}\lambda_{2,\beta}^{k}\left(n+k(\mu-2)+k\left(\beta-\mu\right)\left(\frac{r^{\mu}}{1+r^{\mu}}\right)\right)\\ & =c_{n,k}\left(\begin{cases} \left\vert\beta\right\vert^k & \mbox{if }\beta\neq 0,\\ 1 & \mbox{if } \beta=0. \end{cases}\right)r^{k(\mu-2)}\left (1+r^{\mu}\right )^{\frac{k\beta}{\mu}-k}\\ & \quad\times\left(n+k(\mu-2)+k\left(\beta-\mu\right)\left(1-\left(1+r^{\mu}\right)^{{-}1}\right)\right)\\ & =c_{n,k}\left(\begin{cases} \left\vert\beta\right\vert^k & \mbox{if }\beta\neq 0,\\ 1 & \mbox{if } \beta=0. \end{cases}\right)r^{k(\mu-2)}\left(1+r^{\sigma_2}\right)^{\frac{-\tau}{\sigma_2}}\\ & \quad\times\left(1+r^{\sigma_2}\right)^{\frac{\tau}{\sigma_2}} \left(\left(n+k(\beta-2)\right)\left (1+r^{\mu}\right )^{\frac{k\beta}{\mu}-k}\right.\\ & \quad-\left.k\left(\beta-\mu\right)\left(1+r^{\mu}\right)^{\frac{k\beta}{\mu}-(k+1)}\right). \end{align*}

On the other hand, it is easy to see that

\begin{align*} 1+r^{\mu}& =\begin{cases} \left\vert u_{\beta}(r)\right\vert^{\frac{\mu}{\beta}} & \mbox{if } \beta \neq 0,\forall r\geq 0,\\ e^{\mu u_{0}(r)} & \mbox{if } \beta=0,\forall r\geq 0, \end{cases}\mbox{ and }\\ r^{\sigma_2}& =\begin{cases} \left(\left\vert u_{\beta}(r)\right\vert^{\frac{\mu}{\beta}}-1\right)^{\frac{\sigma_2}{\mu}} & \mbox{if } \beta \neq 0,\forall r\geq 0,\\ \left(e^{\mu u_{0}(r)}-1\right)^{\frac{\sigma_2}{\mu}} & \mbox{if } \beta=0,\forall r\geq 0. \end{cases} \end{align*}

From this, (A.1) and (A.2), we have

\[ S_k(D^2u_{\beta})\!=\!w(r)c_{n,k}\begin{cases} \left\vert\beta\right\vert^{k}\left(\left(\left\vert u_{\beta}\right\vert^{\frac{\mu}{\beta}}-1\right)^{\frac{\sigma_2}{\mu}}+1\right)^{\frac{\tau}{\sigma_2}}\times & \mbox{if }\beta\neq 0,\\ \times\left(n+k(\beta-2)+k\left(\mu-\beta\right)\left\vert u_{\beta}\right\vert^{-\frac{\mu}{\beta}}\right)\left\vert u_{\beta}\right\vert^{k\left(\frac{\beta-\mu}{\beta}\right)}\\ \left(\left(e^{\mu u_{0}}-1\right)^{\frac{\sigma_2}{\mu}}+1\right)^{\frac{\tau}{\sigma_2}}\left(n-2k+k\mu e^{-\mu u_{0}}\right)e^{{-}k\mu u_{0}} & \mbox{if }\beta=0. \end{cases} \]

Now for every $s\geq 0$, let us define the function

(A.20)\begin{equation} f_{\beta}(s):=\left(q_{\beta}(s)\right)^{\frac{\tau}{\sigma_2}}\begin{cases} \left\vert\beta\right\vert^{k} \left(n+k(\beta-2)+k\left(\mu-\beta\right)s^{-\frac{\mu}{\beta}}\right )s^{k\left(\frac{\beta-\mu}{\beta}\right)} & \mbox{if }\beta\neq 0,\\ \left(n-2k+k\mu e^{-\mu s}\right)e^{{-}k\mu s} & \mbox{if }\beta=0, \end{cases} \end{equation}

with

(A.21)\begin{equation} q_{\beta}(s):=\begin{cases} \left(s^{\frac{\mu}{\beta}}-1\right)^{\frac{\sigma_2}{\mu}}+1 & \mbox{if }\beta\neq 0,\\ \left(e^{\mu s}-1\right)^{\frac{\sigma_2}{\mu}}+1 & \mbox{if }\beta=0, \end{cases} \end{equation}

which lead us to

\[ S_k(D^2u_{\beta})=w(r)c_{n,k} \begin{cases} f_{\beta}(\left\vert u_{\beta}\right\vert) & \mbox{if }\beta\neq0,\\ f_{0}(u_{0}) & \mbox{if }\beta=0. \end{cases} \]

Let $y\in I_{\beta }$ and $s=\left \vert y \right \vert$. Using (A.6), we see that:

  • If $\beta >0$, then $s\geq 1$.

  • If $\beta =0$, then $s\geq 0$.

  • If $\beta <0$, then $s\in (0,\,1]$.

Therefore, to study the differentiability of $f_{\beta }$, we must consider the points $s=0$ for $\beta \leq 0$ and $s=1$ for $\beta \neq 0$.

Since $q_{\beta \neq 0}(1)=q_0(0)=1$, from (A.20) and (A.21), we have

(A.22)\begin{equation} \lim_{s\to 1}{\left. \frac{f_{\beta}(s)}{\left\vert\beta\right\vert^k}\right|_{\beta\neq 0} }=\lim_{s\to 0}{f_{0}(s)}=n+k(\mu-2),\quad\forall\tau\geq0. \end{equation}

Now, differentiating $\log f_{\beta }(s)$ with respect to $s$ and using (A.20), we obtain

(A.23)\begin{equation} \frac{f'_{\beta}(s)}{f_{\beta}(s)}=\begin{cases} 0 & \mbox{if }\tau=0,\\ \frac{\tau}{\sigma_2}\frac{q'_{\beta}(s)}{q_{\beta}(s)} & \mbox{if }\tau>0. \end{cases}+\begin{cases} \frac{k(\beta-\mu)s^{{-}1}}{\beta}\left(1+\frac{\mu s^{-\frac{\mu}{\beta}}}{n+k(\beta-2)+k\left(\mu-\beta\right)s^{-\frac{\mu}{\beta}}}\right) & \mbox{if }\beta\neq 0,\\ - k\mu\left(1+\frac{\mu e^{-\mu s}}{n-2k+k\mu e^{-\mu s}}\right) & \mbox{if }\beta=0. \end{cases} \end{equation}

If $\tau =0$, then from (A.22) and (A.23), we get

(A.24)\begin{align} \lim_{s\to 1}{\left.\frac{f'_{\beta}(s)}{\left\vert\beta\right\vert^k}\right|_{\beta\neq 0}}& =\frac{k(\beta-\mu)((k+1)\mu+n-2k)}{\beta},\quad\lim_{s\to 0}{f'_{0}(s)}\nonumber\\ & ={-}k\mu((k+1)\mu+n-2k), \end{align}

and if $\tau >0$, from (A.21), we have

(A.25)\begin{equation} q'_{\beta}(s)=\sigma_2\begin{cases} \beta^{{-}1}\left(s^{\frac{\mu}{\beta}}-1\right)^{\frac{\sigma_2}{\mu}-1}s^{\frac{\mu}{\beta}-1} & \mbox{if }\beta\neq0,\\ \left(e^{\mu s}-1\right)^{\frac{\sigma_2}{\mu}}e^{\mu s} & \mbox{if }\beta=0. \end{cases} \end{equation}

From (A.2) and (A.4), it follows that $\mu \leq \sigma _2$ and then

(A.26)\begin{equation} \lim_{s\to 1}{q'_{\beta\neq0}(s)}=\begin{cases} \frac{\sigma_2}{\beta} & \mbox{if }\mu=\sigma_2,\\ 0 & \mbox{if }\mu<\sigma_2. \end{cases},\quad\lim_{s\to 0}{q'_{0}(s)}=\begin{cases} \sigma_2 & \mbox{if }\mu=\sigma_2,\\ 0 & \mbox{if }\mu<\sigma_2. \end{cases} \end{equation}

Therefore, concerning the cases $s=0$ for $\beta = 0$ and $s=1$ for $\beta \neq 0$, we have

(A.27)\begin{equation} \begin{aligned} \lim_{s\to 1}{\left.\frac{f'_{\beta}(s)}{\left\vert\beta\right\vert^k}\right|_{\beta\neq 0}} & =\left(\frac{\tau}{\sigma_2}\lim_{s\to 1}{q'_{\beta\neq0}(s)}\right)(n+k(\mu-2))+\frac{k(\beta-\mu)((k+1)\mu+n-2k)}{\beta},\\ \lim_{s\to 0}{f'_{0}(s)} & =\left(\frac{\tau}{\sigma_2}\lim_{s\to 0}{q'_{0}(s)}\right)(n+k(\mu-2))-k\mu((k+1)\mu+n-2k). \end{aligned} \end{equation}

For the case when $\beta <0$ and $\tau \geq 0$, we rewrite $q_{\beta }(s)$ to get

(A.28)\begin{equation} q_{\beta}(s)=\left(\left(1\!-\!s^{\frac{-\mu}{\beta}}\right)^{\frac{\sigma_2}{\mu}}+s^{\frac{-\sigma_2}{\beta}}\right)s^{\frac{\sigma_2}{\beta}} \mbox{ and } \frac{q'_{\beta}(s)}{q_{\beta}(s)}=\frac{\sigma_2}{\beta}\left(\frac{\left(1-s^{\frac{-\mu}{\beta}}\right)^{\frac{\sigma_2}{\mu}-1}}{\left(1\!-\!s^{\frac{-\mu}{\beta}}\right)^{\frac{\sigma_2}{\mu}}+s^{\frac{-\sigma_2}{\beta}}}\right)s^{{-}1}. \end{equation}

From (A.2) and (A.15), it follows that $k\mu -\tau =2k+\sigma _1-\tau >0$. Then

(A.29)\begin{equation} \frac{\tau-k\mu}{\beta}={-}\frac{k\mu-\tau}{\beta}>0. \end{equation}

Thus, from (A.20), (A.23) and (A.28), for $\beta \neq 0$, we get

\[ \frac{f_{\beta}(s)}{\left\vert\beta\right\vert^{k}}=\left(n+k(\beta-2)+o(1)\right)s^{k+\frac{\tau-k\mu}{\beta}},\quad\frac{f'_{\beta}(s)}{f_{\beta}(s)}=\left(\frac{\tau+k(\beta-\mu)}{\beta}+o(1)\right)s^{{-}1}, \]

as $s\to 0$.

Therefore, from (A.29), we obtain

(A.30)\begin{equation} \lim_{s\to0}{\left.\frac{ f_{\beta}(s)}{\left\vert\beta\right\vert^k}\right|_{\beta<0}}=\left(n+k(\beta-2)\right)\lim_{s\to0}{s^{k+\frac{\tau-k\mu}{\beta}}}=0, \end{equation}

and

(A.31)\begin{equation} \lim_{s\to0}{\left.\frac{ f'_{\beta}(s)}{\left\vert\beta\right\vert^k}\right|_{\beta<0}}=\frac{\left(n+k(\beta-2)\right)\left(\tau+k(\beta-\mu)\right)}{\beta}\lim_{s\to0}{s^{k-1+\frac{\tau-k\mu}{\beta}}}=0. \end{equation}

Collecting (A.22), (A.24), (A.27), (A.30) and (A.31), there exists a $C^1$-extension for $f_{\beta }(s)$ when $s\not \in I_{\beta }$, and we have that $u_{\beta }$ is a radial solution of (1.1) with $g=g_{\beta }$, where

(A.32)\begin{equation} g_{\beta}(s)=c_{n,k}\begin{cases} \begin{cases} f_{\beta}(\left\vert s\right\vert) & \mbox{if }s\in I_{\beta\neq 0},\\ C^1\mbox{-extension} & \mbox{if }s\not\in I_{\beta\neq 0}, \end{cases}\\ \begin{cases} f_0(s) & \mbox{if }s\in I_0,\\ C^1\mbox{-extension} & \mbox{if }s\not\in I_{0}. \end{cases} \end{cases} \end{equation}

Step 2. For $\beta$ satisfying the inequality (A.5), $u_{\beta }$ is a semistable solution of (1.1).

Next, for suitable $\rho,\,\theta$ and $V$ we verify the hypotheses of lemma A.2. To this end, let $V=r^2\lambda _{2,\beta }^{k+1}$. Differentiating $\log V$ with respect to $r$, from (A.10), (A.16) and (A.17), we have

(A.33)\begin{equation} \frac{rV'}{V}=2+(k+1)\left(\mu-2+\left(\beta-\mu\right)h_{\mu}(r)\right). \end{equation}

Note that in both cases $\tau =0$ or $\tau >0$, we have that $n>k(k+1)/(2k+\sigma _1)$ and $k+\sigma _1>0$ by (A.3) and (A.4). Now, since

\[ \frac{k(k+1)}{2k+\sigma_1}+\frac{(k+1)\sigma_1}{k}=\frac{(k+1)\left(k+\sigma_1\right)^2}{k(2k+\sigma_1)}>0, \]

it follows that $n>-(k+1)(\sigma _1/k)$. Combining this with (A.2) and (A.16), we have

(A.34)\begin{equation} \lim_{r\to 0}{r^{n-2}V}=C_{\beta}\lim_{r\to 0}{r^{n+\frac{(k+1)\sigma_1}{k}}\left (1+r^{\mu}\right )^{\frac{(k+1)(\beta-\mu)}{\mu}}}=0, \end{equation}

with $C_{\beta }=\left \vert \beta \right \vert ^{k+1}$ for $\beta \neq 0$ and $C_{\beta }=1$ for $\beta =0$.

Now, consider $\rho =v$ and $\theta =2\nu$. From (A.33), we have

\[ n-2\rho-\theta-2+\frac{rV'}{V}=n-2\left(v+\nu\right) +(k+1)\left(\mu-2+\left(\beta-\mu\right)h_{\mu}(r)\right). \]

We have from (A.5) that

\[ n=(k+1)(2-Q(r))+2\nu+2\begin{cases} \frac{\displaystyle\int_1^r{\frac{v(s)ds}{s}}}{\log r} & \mbox{if }r\geq 1,\\ v(r) & \mbox{if }r\in[0,1). \end{cases} \]

From this we obtain

\begin{align*} n-2\rho-\theta-2+\frac{rV'}{V}& =(k+1)\left(\mu-Q(r)+\left(\beta-\mu\right)h_{\mu}(r)\right)\\ & \quad+2\begin{cases} \frac{\displaystyle\int_1^r{\frac{v(s)ds}{s}}}{\log r}-v(r) & \mbox{if }r\geq 1,\\ 0 & \mbox{if }r\in[0,1) \end{cases}\\ & =(k+1)\left(\mu-Q(r)\right)\left(1-h_{\mu}(r)\right)\\ & \quad+(k+1)\left(\beta-Q(r)\right)h_{\mu}(r)+2\begin{cases} \frac{\displaystyle\int_1^r{\frac{v(s)ds}{s}}}{\log r}-v(r) & \mbox{if }r\geq 1,\\ 0 & \mbox{if }r\in[0,1). \end{cases} \end{align*}

Consider the function

\[ A(r)=2\begin{cases} \frac{\int_1^r{\frac{v(s)ds}{s}}}{\log r}-v(r) & \mbox{if }r\geq 1,\\ 0 & \mbox{if }r\in[0,1). \end{cases} \]

Note that $\partial _r(\int _1^r{\frac {v(s)ds}{s}}-v(r)\log r)=-v'(r)\log r\geq 0$ for any $r\geq 1$ by (A.13). Then $\int _1^r{\frac {v(s)ds}{s}}-v(r)\log r\geq 0$ for every $r\geq 1$. Therefore $A(r)\geq 0$ for every $r\geq 0$. Now since, $\beta \geq Q(r)$ and $h_{\mu }(r)\in [0,\,1)$, it follows that

(A.35)\begin{equation} n-2\rho-\theta-2+\frac{rV'}{V}\geq 0\mbox{ if }(k+1)\left(\mu-Q(r)\right)\left(1-h_{\mu}(r)\right)+A(r)\geq 0. \end{equation}

We claim that

(A.36)\begin{equation} (k+1)\left(\mu-Q(r)\right)\left(1-h_{\mu}(r)\right)+A(r)\geq 0. \end{equation}

Using (A.2), (A.12) and (A.13), we can easily see that

(A.37)\begin{equation} \mu=\frac{(k+1)(v(0)+1)}{k},\,v(0)-v(r)=\frac{\tau}{k+1}h_{\sigma_2}(r)\mbox{ and }v'(1)={-}\frac{\tau\sigma_2}{4(k+1)}. \end{equation}

Let us now consider the functions:

(A.38)\begin{equation} I_{{\pm}}:=I_{{\pm}}(r)=\frac{(k^2+1)(v(0)+1)}{k}+n-2k+\frac{2\tau}{k+1}h_{\sigma_2}(r) \pm2\nu. \end{equation}

Since $n>k/(v(0)+1)$ by (2.10), we have

(A.39)\begin{equation} \begin{aligned} \frac{(k^2+1)(v(0)+1)}{k}+n-2k & >\left(\frac{k}{v(0)+1}\right)\left(\frac{(k^2+1)(v(0)+1)^2}{k^2}-2v(0)-1\right)\\ & =\frac{kv(0)^2}{v(0)+1}+\frac{v(0)+1}{k}\\ & >0. \end{aligned} \end{equation}

From this and the fact that $\nu \geq 0$ by (A.19), it follows that $I_+>0$.

On the other hand, from (A.5), (A.37) and (A.38), we have

(A.40)\begin{equation} \begin{aligned} (k+1)(\mu-Q(r)) & =\frac{(k+1)^2(v(0)+1)}{k}+n-2\nu-2k-2\\ & \quad +2\begin{cases} -\frac{\displaystyle\int_1^r{\frac{v(s)ds}{s}}}{\log r} & \mbox{if }r\geq 1,\\ - v(r) & \mbox{if }r\in[0,1) \end{cases}\\ & =\frac{(k^2+1)(v(0)+1)}{k}+n-2k+2(v(0)+1)-2(v(r)+1)\\& \quad -2\nu-A(r) =I_{-}-A(r). \end{aligned} \end{equation}

It follows that

\begin{align*} (k+1)\left(\mu-Q(r)\right)\left(1-h_{\mu}(r)\right)+A(r)& =(I_{-}-A(r))\left(1-h_{\mu}(r)\right)+A(r)\\ & =\left(1-h_{\mu}(r)\right)I_{-}+A(r)h_{\mu}(r)\\ & \geq\left(1-h_{\mu}(r)\right)I_{-}. \end{align*}

In the following, we will prove that $I_{-}I_+\geq 0$, which implies that $I_{-}\geq 0$ since $I_+>0$. To do that, we begin by noting that

\[ \nu^2=v(0)^2+\frac{n}{k}v(0)+\frac{n}{k}-1-v'(1)=\left(v(0)+1\right)\left(v(0)+\frac{n}{k}-1\right)+\frac{\tau\sigma_2}{4(k+1)}, \]

and

(A.41)\begin{equation} I_{-}I_+{=}B(r)^2-4\nu^2, \end{equation}

where $B(r):=\frac {(k^2+1)(v(0)+1)}{k}+n-2k+\frac {2\tau }{k+1}h_{\sigma _2}(r)$. Using that

\[ \left(\frac{(k^2-1)(v(0)+1)}{k}+n-2k\right)^2=\left(B(r)-\frac{2\tau}{k+1}\,h_{\sigma_2}(r)\right)^2-4\left(\nu^2-\frac{\tau\sigma_2}{4(k+1)}\right), \]

together with (A.39) and (A.41) we then have

(A.42)\begin{equation} \begin{aligned} I_{-}I_+{-}\left(\frac{(k^2-1)(v(0)+1)}{k}+n-2k\right)^2 & =\frac{4\tau}{k+1}h_{\sigma_2}(r)\left(\frac{(k^2+1)(v(0)+1)}{k}+n-2k\right)\\ & \quad+\frac{4\tau^2}{(k+1)^2}h^2_{\sigma_2}(r)-\frac{\tau\sigma_2}{k+1}\\ & \geq{-}\frac{\tau\sigma_2}{k+1}. \end{aligned} \end{equation}

If $\tau =0$, we are done. So assume that $\tau >0$, then

\begin{align*} \left(\frac{(k^2-1)(v(0)+1)}{k}+n-2k\right)^2-\frac{\tau\sigma_2}{k+1}& =\left(\frac{(k^2-1)(2k+\sigma_1)}{k(k+1)}+n-2k-\sqrt{\frac{\tau\sigma_2}{k+1}}\right)\\ & \quad\times\left(\frac{(k^2-1)(2k+\sigma_1)}{k(k+1)}+n-2k+\sqrt{\frac{\tau\sigma_2}{k+1}}\right)\\ & \geq 0, \end{align*}

by (A.4). From this and (A.42), $I_{-}I_+\geq 0$, which proves the claim (A.36).

Thus, according to (A.35) and (A.36), we have

\[ \theta\left(rV'+(n-2\rho-2)V-\theta V\right)=\theta V\left(n-2\rho-\theta-2+\frac{rV'}{V}\right)\geq 0. \]

Hence, from the previous inequality and from (A.34), we conclude that the conditions (A.7) and (A.8) of lemma A.2 are satisfied. Recall that $V=r^2\lambda _{2,\beta }^{k+1},\, \rho =v$ and $\theta =2\nu$, then one can see from (A.9) and (A.19) that

\begin{align*} \int_0^{\infty}{r^{n-1}\lambda_{2,\beta}^{k+1}\left(r\eta'+v\eta\right)^2}\,{\rm d}r& \geq\int_0^{\infty}{r^{n-1}\lambda_{2,\beta}^{k+1}\left(\frac{\theta^2\eta^2}{4}\right) \,{\rm d}r}\\ & \geq\int_0^{\infty}{r^{n-1}\lambda_{2,\beta}^{k+1}\left(v^2+\frac{n}{k}v+\frac{n}{k}-1-rv'\right)\eta^2 \,{\rm d}r}, \end{align*}

for every radially symmetric function $\eta \in C^1_c(\mathbb {R}^n)$.

Therefore, from lemma 2.1 and corollary 1.8 of [Reference Navarro and Sánchez7], we have that $u_\beta$ is a semi-stable solution of (1.1). Although only the case of a ball appears in corollary 1.8, one can see that the proof of this lemma can be adapted without difficulties to the $\mathbb {R}^n$ space.

Proof of remark 1.5. Let $u_{\beta }$ as in remark 1.5 a semi-stable solution of (1.1). From theorem 1.4, there exist $M>0$ and $r_0\geq 1$, such that for any $r\geq r_0$, we have

  • If $n\neq 2(k+\tfrac {2\sigma _1}{k}+4)$,

    • If $\beta \neq 0$, then

      (A.43)\begin{equation} C_{\beta}r^{\beta-\delta(r)}\geq\frac{\left\vert u_{\beta}(r)\right\vert}{r^{\delta(r)}}\geq M, \end{equation}
      where $C_{\beta }=2^{\beta /\mu }$ if $\beta >0$ and $C_{\beta }=1$ if $\beta <0$,
    • If $\beta =0$, then

      (A.44)\begin{equation} \left(\frac{\log 2}{\mu}+\log r\right) r^{-\delta(r)}\geq\frac{\left\vert u_{0}(r)\right\vert}{r^{\delta(r)}}\geq M, \end{equation}

  • If $n=2(k+\frac {2\sigma _1}{k}+4)$ and $\beta \neq 0$, then

    (A.45)\begin{equation} C_{\beta}\frac{r^{\beta}}{\log r}\geq\frac{\left\vert u_{\beta}(r)\right\vert}{\log r}\geq M, \end{equation}
    where $C_{\beta }$ is as in (A.43).

Now, let $\tau =0$ in (A.1), then $w(r)=r^{\sigma _1}$. Thus from (1.6) and (A.5) we get

\[ Q(r)=\delta(r)=\delta_{\infty}(\sigma_1),\,\forall r\geq 1. \]

So, if $\delta _{\infty }(\sigma _1)>\beta$, we have

  • If $n\neq 2(k+\frac {2\sigma _1}{k}+4)$, from (A.43) and (A.44), letting $r\to +\infty$, we obtain a contradiction.

  • If $n=2(k+\frac {2\sigma _1}{k}+4)$, from (2.22), we have that $\delta _{\infty }(\sigma _1)=0$ and from (A.45), letting $r\to +\infty$, we obtain a contradiction.

Hence, $\beta \geq \delta _{\infty }(\sigma _1)=\delta (r)=Q(r),\,\forall r\geq 1$.

In addition, it is easy to check that for any $r\geq 1$, we have that

  • If $n\neq 2(k+\frac {2\sigma _1}{k}+4)$,

    \[ \frac{\left\vert u_{\beta}(r)\right\vert}{r^{\delta_{\infty}(\sigma_1)}}\geq\begin{cases} 2^{\frac{\beta}{\mu}} & \mbox{if }\beta<0,\\ \frac{1}{\mu}\log 2 & \mbox{if }\beta=0,\\ 1 & \mbox{if }\beta>0. \end{cases} \]
  • If $n=2(k+\frac {2\sigma _1}{k}+4)$,

    \[ \frac{\left\vert u_{\beta}(r)\right\vert}{\log r}\geq\begin{cases} \beta e & \mbox{if }\beta>0,\\ 1 & \mbox{if }\beta=0. \end{cases} \]

Therefore, we conclude that theorem 1.4 is sharp for $\gamma =\sigma _1>-k$ and $w(r)=r^{\sigma _1}$ where

\[ M=\begin{cases} 2^{\frac{\beta}{\mu}} & \mbox{if }\beta<0,\\ \frac{\log 2}{\mu} & \mbox{if }\beta=0,\\ \min\{\beta e,1\} & \mbox{if }\beta>0, \end{cases} \]

and $r_0=1$.

Proof of remark 1.7. Let $\beta <0$ such that (A.5) holds. From example A.1 $u_{\beta }(r)=-(1+r^\mu )^\frac {\beta }{\mu }$ is a semi-stable bounded solution of (1.1). Now note that from (2.12), (A.12), (A.13) and the fact that, for $r\geq 1$, $h_{\sigma _2}(r)\in [1/2,\,1)$, $h'_{\sigma _2}(r)>0$, we have

\begin{align*} \partial_r\left(\sqrt{v(r)^2+\frac{n}{k}v(r)+\frac{n}{k}-1-rv'(r)}\right)& =\left(\frac{-\tau}{k+1}\right)h'_{\sigma_2}(r)\times\\ & \quad\times\left(\frac{v(r)+\frac{n}{2k}+\sigma_2\left(2h_{\sigma_2}(r)-1\right)}{\sqrt{v(r)^2+\frac{n}{k}v(r)+\frac{n}{k}-1-rv'(r)}}\right)\\ & <0. \end{align*}

From this and (A.19), we obtain

\begin{align*} \nu=\sqrt{v(0)^2+\frac{n}{k}v(0)+\frac{n}{k}-1 -v'(1)}& >\sqrt{v(1)^2+\frac{n}{k}v(1)+\frac{n}{k}-1-v'(1)}\\ & \geq\frac{\int_1^r{\frac{\sqrt{v(s)^2+\frac{n}{k}v(s)+\frac{n}{k}-1 -sv'(s)}}{s}ds}}{\log r},\quad\forall r\geq 1. \end{align*}

Hence, from (2.23), (A.5) and (A.14), we have

(A.46)\begin{equation} \begin{aligned} Q(r) & =\frac{-n+2\nu+2k+2}{k+1}+\left(\frac{2}{k+1}\right)\frac{\int_1^r{\frac{v(s)ds}{s}}}{\log r}\\ & \geq\frac{-n+2\alpha(r)+2k+2}{k+1}=\delta(r) ,\quad\forall r\geq 1. \end{aligned} \end{equation}

From this, we have that $0>\beta \geq \delta (r) ,\,\forall r\geq 1$ and item $i)$ follows from (2.22).

Since $\beta -\delta (r)\geq 0$ for any $r\geq 1,\, u_{\beta,\infty }=\lim _{r\to +\infty }{u_{\beta }(r)}=0$ and $(1+r^{-\mu })^{\frac {\beta }{\mu }}\geq 2^{\frac {\beta }{\mu }}$, from (A.46), we finally obtain

\[ \frac{\left\vert u_{\beta}(r)-u_{\beta,\infty}\right\vert}{r^{\delta(r)}}\geq \frac{\left\vert u_{\beta}(r)\right\vert-\left\vert u_{\beta,\infty}\right\vert}{r^{\delta(r)}}=(1+r^{-\mu})^\frac{\beta}{\mu}r^{\beta-\delta(r)}\geq 2^{\frac{\beta}{\mu}}, \]

and item $ii)$ follows.

References

Caffarelli, L., Nirenberg, L. and Spruck, J.. The dirichlet problem for nonlinear second-order elliptic equations. III. Functions of the eigenvalues of the Hessian. Acta Math. 155 (1985), 261301.CrossRefGoogle Scholar
Castorina, D., Esposito, P. and Sciunzi, B.. Low dimensional instability for semilinear and quasilinear problems in $\Bbb R^N$. Commun. Pure Appl. Anal. 8 (2009), 17791793.CrossRefGoogle Scholar
Clément, Ph., Manásevich, R. and Mitidieri, E.. Some existence and non-existence results for a homogeneous quasilinear problem. Asymptot. Anal. 17 (1998), 1329.Google Scholar
Farina, A. and Navarro, M. A.. Some liouville-type results for stable solutions involving the mean curvature operator : the radial case. Discrete Contin. Dyn. Syst. 40 (2020), 12331256.CrossRefGoogle Scholar
Fazly, M.. Effect of weights on stable solutions of a quasilinear elliptic equation. Can. Appl. Math. Q. 20 (2012), 435464.Google Scholar
Lei, Y.. Critical conditions and finite energy solutions of several nonlinear elliptic PDEs in $R^n$. J. Differ. Equ. 258 (2015), 40334061.CrossRefGoogle Scholar
Navarro, M. A. and Sánchez, J.. A characterization of semistable radial solutions of $k$-Hessian equations. J. Math. Anal. Appl. 497 (2021), 124902.CrossRefGoogle Scholar
Navarro, M. A. and Villegas, S.. Semi-stable radial solutions of $p$-Laplace equations in $\Bbb {R}^N$. Nonlinear Anal. 149 (2017), 111116.CrossRefGoogle Scholar
Villegas, S.. Asymptotic behavior of stable radial solutions of semilinear elliptic equations in $\mathbb {R}^N$. J. Math. Pures Appl. (9) 88 (2007), 241250.CrossRefGoogle Scholar
Wang, Y. and Lei, Y.. On critical exponents of a $k$-Hessian equation in the whole space. Proc. Roy. Soc. Edinburgh Sect. A 149 (2019), 15551575.CrossRefGoogle Scholar