Skip to main content

Necessary and sufficient conditions on the existence of solutions for the exterior Dirichlet problem of Hessian equations

Abstract

In this paper, we consider the exterior Dirichlet problem of Hessian equations \(\sigma _{k}(\lambda (D^{2}u))=g(x)\) with g being a perturbation of a general positive function at infinity. By estimating the eigenvalues of the solution, we obtain the necessary and sufficient conditions of existence of radial symmetric solutions with asymptotic behavior at infinity.

1 Introduction

Let \(\Omega \subset \mathbb{R}^{n}\) be a bounded set, \(n\geq 3\). In this paper, we consider the exterior Dirichlet problem of Hessian equations

$$\begin{aligned}& \sigma _{k}\bigl(\lambda \bigl(D^{2}u\bigr) \bigr) =\omega (x),\quad x\in \mathbb{R}^{n} \backslash \overline{ \Omega}, \end{aligned}$$
(1.1)
$$\begin{aligned}& u =\phi (x),\quad x\in \partial \Omega , \end{aligned}$$
(1.2)

where \(\lambda (D^{2}u)\) are the eigenvalues \(\lambda _{1},\dots ,\lambda _{n}\) of the Hessian matrix \(D^{2}u\),

$$ \sigma _{k}\bigl(\lambda \bigl(D^{2}u\bigr)\bigr)=\sum _{1\leq i_{1}< \cdots < i_{k} \leq n} \lambda _{i_{1}}\cdots \lambda _{i_{k}}$$

is the kth elementary symmetric function for \(k=1,\dots ,n\), \(\omega \in C^{0}(\mathbb{R}^{n}\backslash \Omega )\) is positive and \(\phi \in C^{2}(\partial \Omega )\). Note that, for \(k=1\), (1.1) is the Poisson equation \(\Delta u=\omega (x)\) which is a linear elliptic equation; for \(k=n\), (1.1) is the notable Monge–Ampère equation \(\det D^{2}u=\omega (x)\) which is a fully nonlinear elliptic equation.

The exterior Dirichlet problem of Monge–Ampère equations is closely related to the classical theorem of Jörgens [18] (\(n=2\)), Calabi [8] (\(n\leq 5\)), and Pogorelov [26] (\(n\geq 2\)) which states that any classical convex solution of \(\det D^{2}u=1\) in \(\mathbb{R}^{n}\) must be a quadratic polynomial. Cheng and Yau [10], Caffarelli [6], Jost and Xin [19], and Trudinger and Wang [27] also gave related results with the Jörgens–Calabi–Pogorelov theorem. The cases of \(\det D^{2}u=f\) in \(\mathbb{R}^{n}\) with f being a periodic function can be referred to Li and Lu [25] and the references therein.

In 2003, Caffarelli and Li [7] extended the Jörgens–Calabi–Pogorelov theorem to exterior domains and also investigated the existence of solutions to the exterior Dirichlet problem

$$ \textstyle\begin{cases} \det D^{2}u=1, \quad x\in \mathbb{R}^{n}\backslash \overline{\Omega }, \\ u=\phi , \quad x\in \partial \Omega . \end{cases} $$
(1.3)

They got that if Ω is a smooth, bounded, strictly convex open subset and \(\phi \in C^{2}(\partial \Omega )\), then for any given \(b\in \mathbb{R}^{n}\) and any given \(n\times n\) real symmetric positive definite matrix A with \(\det A=1\), there exists some constant \(c^{*}\) depending only on n, Ω, ϕ, b, and A, such that for every \(c>c^{*}\) there exists a unique function \(u\in C^{\infty}(\mathbb{R}^{n}\backslash \overline{\Omega })\cap C^{0}( \overline{\mathbb{R}^{n}\backslash \Omega })\) which satisfies (1.3) and

$$ \limsup_{ \vert x \vert \to \infty} \biggl( \vert x \vert ^{n-2} \biggl\vert u(x)- \biggl( \frac{1}{2}x^{T}Ax+b\cdot x+c \biggr) \biggr\vert \biggr)< \infty .$$

Since then, many results of the exterior problem for the fully nonlinear elliptic equations have been obtained. For instance, in 2011, the first author and Bao [13], the first author [11] studied the Dirichlet problem of Hessian equation

$$ \sigma _{k}\bigl(\lambda \bigl(D^{2}u\bigr) \bigr)=1 $$
(1.4)

and got the existence and uniqueness of viscosity solutions with the asymptotic behavior

$$ \limsup_{x\to \infty} \biggl( \vert x \vert ^{\alpha -2} \biggl\vert u(x)- \biggl( \frac{c_{*}}{2} \vert x \vert ^{2}+c \biggr) \biggr\vert \biggr)< \infty ,$$
(1.5)

where \(\alpha =n\) or \(k, c\in \mathbb{R}\) and

$$ c_{*}=\bigl(1/C_{n}^{k}\bigr)^{\frac{1}{k}}.$$

In 2013, Wang and Bao [28] studied the necessary and sufficient conditions on the existence of radially symmetric solutions for the Dirichlet problem outside a unit ball \(B_{1}=B_{1}(0)\),

$$ \textstyle\begin{cases} \sigma _{k}(\lambda (D^{2}u))=1, \quad x\in \mathbb{R}^{n}\setminus \overline{B_{1}}, \\ u=\text{constant}, \quad x\in \partial B_{1}, \end{cases} $$

with the asymptotic behavior

$$ u(x)=\frac{c_{*}}{2} \vert x \vert ^{2}+c+O\bigl( \vert x \vert ^{2-n}\bigr),\quad \vert x \vert \rightarrow \infty ,n \geq 3,$$

and

$$ u(x)=\frac{1}{2} \vert x \vert ^{2}+\frac{d}{2}\ln \vert x \vert +c+O\bigl( \vert x \vert ^{2-n}\bigr),\quad \vert x \vert \rightarrow \infty ,n=2,$$

where \(c,d\in \mathbb{R}\). Recently, Li and Lu [24] characterized the existence and nonexistence of solutions for exterior problem of Monge–Ampère equations

$$ \textstyle\begin{cases} \det D^{2}u=1,\quad x\in \mathbb{R}^{n}\backslash \overline{\Omega }, \\ u=\phi (x), \quad x\in \partial \Omega , \\ \lim_{ \vert x \vert \to \infty} \vert u(x)-(\frac {1}{2}x^{\prime}A x+\tilde{b}\cdot x+ \tilde{c})) \vert =0, \end{cases} $$

with \(\det A=1\), \(\tilde{b}\in \mathbb{R}^{n}\), \(\tilde{c}\in \mathbb{R}\). Bao, Li, and Li [2] and Cao and Bao [9] studied the solutions with the generalized asymptotic behavior for exterior Dirichlet problem of Hessian equation (1.1). The results of the exterior Dirichlet problem for Monge–Ampère equations can also be referred to [1, 3–5, 17, 20] and the references therein. However, for the Hessian quotient equations

$$ \frac{\sigma _{k}(\lambda (D^{2}u))}{\sigma _{l}(\lambda (D^{2}u))}=1,$$

where \(0\leq l< k\leq n\), \(n\geq 3\), and \(\sigma _{0}(\lambda )=1\), one can refer to [12, 21–23]. Note that if \(l=0\), the Hessian quotient equation is the Hessian equation. Moreover, for \(n=2\), the exterior Dirichlet problem of Monge–Ampère equations can be referred to the earlier works by Ferrer, Martínez, and Milán [15, 16] using the complex variable methods. One can also refer to Delanoë [14].

To work in the realm of elliptic equations, we restrict the class of functions. Let

$$ \Gamma _{k}=\bigl\{ \lambda \in {\mathbf{{\mathbb{R}}}}^{n}| \sigma _{j}(\lambda )>0,j=1, \dots ,k\bigr\} .$$

Suppose that \(u\in C^{2}(\mathbb{R}^{n}\backslash \overline{\Omega})\). If \(\lambda (D^{2}u)\in \overline{\Gamma}_{k}\) in \(\mathbb{R}^{n}\backslash \overline{\Omega}\), we say that u is k-convex.

We shall discuss the necessary and sufficient conditions of existence for radially symmetric solutions to the exterior Dirichlet problem of Hessian equation.

Let \(\omega _{0}\in C^{0}(\mathbb{R}^{n})\) be positive and radially symmetric in x,

$$ 0< \inf_{\mathbb{R}^{n}} \omega _{0}\leq \sup _{\mathbb{R}^{n}} \omega _{0}< +\infty ,$$

and \(\omega \in C^{0}(\mathbb{R}^{n}\backslash B_{1})\) be a radially symmetric function satisfying for \(\beta >2\)

$$ \omega (x)=\omega \bigl( \vert x \vert \bigr)=\omega _{0}\bigl( \vert x \vert \bigr)+O\bigl( \vert x \vert ^{-\beta}\bigr),\quad \vert x \vert \rightarrow \infty , $$
(1.6)

and

$$ 0< \inf_{\mathbb{R}^{n}\backslash B_{1}} \omega \leq \sup _{ \mathbb{R}^{n}\backslash B_{1}} \omega < +\infty .$$
(1.7)

Suppose that, for \(k\leq m\leq n\),

$$ b_{1}:=\inf_{\mathbb{R}^{n}\backslash B_{1}} \biggl( \frac {m \vert x \vert ^{n}\omega (x)}{m-k}- \int _{1}^{ \vert x \vert }nt^{n-1}\omega (t)\,dt \biggr)>0.$$
(1.8)

For \(l=1,2,\dots ,n\), let

$$ \Phi _{l}:=\bigl\{ u\in C^{1}\bigl(\mathbb{R}^{n} \setminus B_{1}\bigr)\cap C^{2}\bigl( \mathbb{R}^{n} \setminus \overline{B_{1}}\bigr)|u \text{ is an }l\text{-convex radially symmetric function}\bigr\} ,$$

and the radially symmetric function

$$ f_{0}\bigl( \vert x \vert \bigr)= \int _{0}^{ \vert x \vert }c_{*}s^{1-\frac{n}{k}} \biggl[ \int _{0}^{s}nt^{n-1} \omega _{0}(t)\,dt \biggr]^{\frac{1}{k}}\,ds,\quad x\in \mathbb{R}^{n}. $$

Theorem 1.1

Let \(n\geqslant 3\), \(2\leqslant k\leqslant m\leqslant n\), ω satisfy (1.6)–(1.8), and ĉ be a constant. Then, for \(m=k\), there exists a unique radially symmetric function \(u\in \Phi _{m}\) satisfying

$$\begin{aligned}& \sigma _{k}\bigl(\lambda \bigl(D^{2}u\bigr) \bigr)= \omega (x),\quad x\in \mathbb{R}^{n} \setminus \overline{B_{1}}, \end{aligned}$$
(1.9)
$$\begin{aligned}& u= \hat{c}, \quad x\in \partial B_{1}, \end{aligned}$$
(1.10)

and as \(|x|\to \infty \),

$$ u(x)= \textstyle\begin{cases} c+f_{0}( \vert x \vert )+O( \vert x \vert ^{2-\min \{\beta ,n\}}), \quad \textit{if } \beta \neq n, \\ c+f_{0}( \vert x \vert )+O( \vert x \vert ^{2-n}\ln \vert x \vert ),\quad \textit{if } \beta =n, \end{cases} $$
(1.11)

if and only if \(c\in [\mu (0),+\infty )\); for \(m>k\), there exists a unique radially symmetric function \(u\in \Phi _{m}\) satisfying (1.9)–(1.11) if and only if \(c\in [\mu (0),\mu (b_{1})]\), where

$$ \begin{aligned} \mu (\tau )={}&\hat{c}+ \int _{1}^{\infty}c_{*}s^{1- \frac{n}{k}} \biggl[ \biggl( \int _{1}^{s}nt^{n-1}\omega (t)\,dt+\tau \biggr)^{\frac{1}{k}} - \biggl( \int _{0}^{s}nt^{n-1}\omega _{0}(t)\,dt \biggr)^{\frac{1}{k}} \biggr]\,ds \\ &{}- \int _{0}^{1}c_{*}s^{1-\frac{n}{k}} \biggl( \int _{0}^{s}nt^{n-1} \omega _{0}(t)\,dt \biggr)^{\frac{1}{k}}\,ds. \end{aligned} $$
(1.12)

Remark 1.2

In fact, \(f_{0}(|x|)\) satisfies \(\sigma _{k}(\lambda (D^{2}f_{0}))=\omega _{0}(|x|)\), \(x\in \mathbb{R}^{n} \backslash \{0\}\).

Remark 1.3

From Theorem 1.1, we know that if \(c<\mu (0)\), then (1.9)–(1.11) has no solution.

2 Proof of Theorem 1.1

We first give several lemmas in order to prove Theorem 1.1.

Lemma 2.1

([28])

Assume that \(\lambda =(\hat{\beta},\hat{\delta},\dots ,\hat{\delta})\in \Gamma _{m}\), \(n\geqslant m\geqslant 2\), then \(\hat{\delta}>0\).

Lemma 2.2

Assume that \(\lambda =(\hat{\beta},\hat{\delta},\ldots ,\hat{\delta})\), \(\sigma _{k}( \lambda )=\omega (\hat{r})\), \(\hat{r}=|x|> 1\), \(2\leqslant k\leqslant n\), then \(\lambda \in \Gamma _{m}\), \(k\leqslant m\leqslant n\) if and only if \(0<\hat{\delta}<\hat{\delta}_{m}(\hat{r})\), where

$$ \hat{\delta}_{m}(\hat{r})= \textstyle\begin{cases} c_{*} (\frac {\omega (\hat{r})}{1-\frac{k}{m}} )^{ \frac{1}{k}},&m>k, \\ +\infty ,&m=k, \end{cases} $$
(2.1)

and \(c_{*}=(C_{n}^{k})^{-\frac{1}{k}}\).

Proof

Since \(\sigma _{k}(\lambda )=\omega (\hat{r})\), \(\hat{r}>1\), then

$$ C_{n-1}^{k-1}\hat{\beta}\hat{\delta}^{k-1}+C_{n-1}^{k} \hat{\delta}^{k}= \omega (\hat{r}).$$

So,

$$ \hat{\beta}=\frac{\hat{\delta}}{k}\bigl[nc_{*}^{k} \omega (\hat{r}) \hat{\delta}^{-k}-n+k\bigr]. $$
(2.2)

Because \(\lambda \in \Gamma _{m}\), then for \(j=1,2,\dots ,m\),

$$ \sigma _{j}(\lambda )=C_{n-1}^{j-1}\hat{\beta}\hat{ \delta}^{j-1}+C_{n-1}^{j} \hat{\delta}^{j}>0,$$

and so

$$ \hat{\delta}^{j-1}\bigl(j\hat{\beta}+(n-j)\hat{\delta} \bigr)>0.$$

From Lemma 2.1, we know that \(\hat{\delta}>0\), so

$$ j\hat{\beta}+(n-j)\hat{\delta}>0.$$

Then from (2.2) we have that

$$ j\frac{\hat{\delta}}{k}\bigl(nc_{*}^{k}\hat{ \delta}^{-k}\omega (\hat{r})-n+k\bigr)+(n-j) \hat{\delta}>0.$$

Thus

$$ c_{*}^{k}\hat{\delta}^{-k}\omega (\hat{r})>1- \frac{k}{j},\quad j=1,2,\dots ,m,$$

which is equivalent to

$$ c_{*}^{k}\hat{\delta}^{-k}\omega (\hat{r})>1- \frac{k}{m}.$$

That is, for any \(\hat{r}>1\),

$$ 0< \hat{\delta}< \hat{\delta}_{m}(\hat{r}),$$

where \(\hat{\delta}_{m}\) is defined by (2.1). □

Lemma 2.3

Assume that \(u\in C^{1}(\mathbb{R}^{n}\setminus B_{1})\cap C^{2}(\mathbb{R}^{n} \setminus \overline{B_{1}})\) is a radially symmetric solution to (1.9) and (1.10). Let

$$ \tau :=C_{n}^{k}\bigl(u'(1)^{k} \bigr).$$

Then u is k-convex if and only if \(\tau \in [0,+\infty )\), and u is m-convex if and only if \(\tau \in [0,b_{1}]\) for \(m=k+1,\dots ,n\), where \(b_{1}\) is defined by (1.8).

Proof

Let

$$ u(x)=u(\hat{r})=u\bigl( \vert x \vert \bigr)\in C^{1}\bigl( \mathbb{R}^{n}\setminus B_{1}\bigr)\cap C^{2}\bigl( \mathbb{R}^{n}\setminus \overline{B_{1}}\bigr)$$

be a radially symmetric solution to (1.9) and (1.10). By a direct computation, we have

$$ D_{ij}u=\bigl(\hat{r}u''-u' \bigr)\frac{x_{i}x_{j}}{\hat{r}^{3}}+u' \frac{\delta _{ij}}{\hat{r}},\quad i,j=1,\dots ,n, \hat{r}>1,$$

where

$$ \delta _{ij}= \textstyle\begin{cases} 0,&i\neq j, \\ 1,&i=j. \end{cases} $$

Then the eigenvalues of the Hessian matrix \(D^{2}u\) are

$$ \lambda _{1}=u'',\qquad \lambda _{2}= \cdots =\lambda _{n}=\frac{u'}{\hat{r}}.$$

By Lemma 2.1, we know that

$$ \hat{\delta}=\frac{u'}{\hat{r}}> 0 \quad \text{for } \hat{r}>1.$$

So \(\tau \geqslant 0\). From (1.9), we have that

$$ C_{n-1}^{k-1}u'' \biggl( \frac{u'}{\hat{r}} \biggr)^{k-1}+C_{n-1}^{k} \biggl( \frac{u'}{\hat{r}} \biggr)^{k}=\omega (\hat{r}),$$

i.e.,

$$ \bigl(\hat{r}^{n-k}\bigl(u'\bigr)^{k} \bigr)'= \frac {n\hat{r}^{n-1}\omega (\hat{r})}{C_{n}^{k}}.$$

Then

$$ \bigl(u'\bigr)^{k}=\frac {\hat{r}^{k-n}}{C_{n}^{k}} \biggl[ \int _{1}^{\hat{r}}nt^{n-1} \omega (t) \,dt+C_{n}^{k}\bigl(u'(1)\bigr)^{k} \biggr],\quad \hat{r}>1. $$
(2.3)

According to Lemma 2.2 and (2.3), we can get that u is m-convex for \(k\leqslant m\leqslant n\) if and only if

$$ 0< \hat{\delta}^{k}= \biggl(\frac{u'}{\hat{r}} \biggr)^{k}= \frac {\hat{r}^{-n}[\int _{1}^{\hat{r}}nt^{n-1}\omega (t)\,dt+\tau ]}{C^{k}_{n}}< \hat{\delta}_{m}^{k}(r),$$

which is equivalent to

$$ 0\leqslant \tau < +\infty ,\quad \text{if } m=k,$$

and

$$ 0\leqslant \tau < \frac {m\hat{r}^{n}\omega (\hat{r})}{m-k}- \int _{1}^{ \hat{r}}nt^{n-1}\omega (t)\,dt,\quad \hat{r}>1, \text{if } m>k.$$
(2.4)

(2.4) is equivalent to

$$ 0\leqslant \tau \leqslant b_{1}\quad \text{if } m>k.$$

Then the lemma is proved. □

Lemma 2.4

Let \(n\geqslant 3\), and \(\mu (\tau )\) be defined by (1.12). Then \(\mu (\tau )\) is strictly increasing in \([0,+\infty )\) and \(\mu (+\infty )=+\infty \).

Proof

It is clear that \(\mu (\tau )\) is strictly increasing in \([0,+\infty )\) and \(\mu (+\infty )=+\infty \). □

Proof of Theorem 1.1

In virtue of (2.3), we can get that

$$ u(x)=\hat{c}+ \int _{1}^{|x|}c_{*}s^{1-\frac{n}{k}} \biggl[ \int _{1}^{s}nt^{n-1} \omega (t)\,dt+\tau \biggr]^{\frac{1}{k}}\,ds.$$

By (1.6), we can assume that \(\omega (|x|)=\omega _{0}(|x|)+C_{0}|x|^{-\beta}\), \(|x|>s_{0}\), where \(C_{0}\), \(s_{0}\) are positive constants and \(s_{0}\) is sufficiently large. Again by (1.12), we have that

$$\begin{aligned} u(x) ={}&\hat{c}+ \int _{1}^{\infty}c_{*}s^{1-\frac{n}{k}} \biggl[ \int ^{s}_{1}nt^{n-1} \omega (t)\,dt+\tau \biggr]^{\frac{1}{k}}\,ds \\ &{}- \int _{ \vert x \vert }^{\infty}c_{*}s^{1-\frac{n}{k}} \biggl[ \int ^{s}_{1}nt^{n-1} \omega (t)\,dt+\tau \biggr]^{\frac{1}{k}}\,ds \\ ={}&\hat{c}+ \int _{1}^{\infty}c_{*}s^{1-\frac{n}{k}} \biggl[ \int ^{s}_{1}nt^{n-1} \omega (t)\,dt+\tau \biggr]^{\frac{1}{k}}\,ds \\ &{}- \int _{1}^{\infty}c_{*}s^{1-\frac{n}{k}} \biggl[ \int ^{s}_{0}nt^{n-1} \omega _{0}(t)\,dt \biggr]^{\frac{1}{k}}\,ds \\ &{}+ \int _{1}^{\infty}c_{*}s^{1-\frac{n}{k}} \biggl[ \int ^{s}_{0}nt^{n-1} \omega _{0}(t)\,dt \biggr]^{\frac{1}{k}}\,ds \\ &{}- \int _{\lvert x\arrowvert}^{\infty}c_{*}s^{1-\frac{n}{k}} \biggl[ \int ^{s}_{1}nt^{n-1}\omega (t)\,dt+\tau \biggr]^{\frac{1}{k}}\,ds \\ ={}&\hat{c}+ \int _{1}^{\infty}c_{*}s^{1-\frac{n}{k}} \biggl[ \biggl( \int ^{s}_{1}nt^{n-1} \omega (t)\,dt+\tau \biggr)^{\frac{1}{k}} - \biggl( \int _{0}^{s}nt^{n-1} \omega _{0}(t)\,dt \biggr)^{\frac{1}{k}} \biggr]\,ds \\ &{}- \int ^{1}_{0}c_{*}s^{1-\frac{n}{k}} \biggl[ \int ^{s}_{0}nt^{n-1} \omega _{0}(t)\,dt \biggr]^{\frac{1}{k}}\,ds \\ &{}+ \int ^{\arrowvert x\arrowvert}_{0}c_{*}s^{1-\frac{n}{k}} \biggl[ \int ^{s}_{0}nt^{n-1}\omega _{0}(t)\,dt \biggr]^{\frac{1}{k}}\,ds \\ &{}+ \int ^{\infty}_{\arrowvert x\arrowvert}c_{*}s^{1-\frac{n}{k}} \biggl[ \int ^{s}_{0}nt^{n-1}\omega _{0}(t)\,dt \biggr]^{\frac{1}{k}}\,ds \\ &{}- \int ^{\infty}_{\arrowvert x\arrowvert}c_{*}s^{1-\frac{n}{k}} \biggl[ \int ^{s}_{1}nt^{n-1}\omega (t)\,dt+\tau \biggr]^{\frac{1}{k}}\,ds \\ ={}&\mu (\tau )+f_{0}\bigl( \vert x \vert \bigr) \\ &{}- \int _{ \vert x \vert }^{\infty}c_{*}s^{1-\frac{n}{k}} \biggl[ \biggl( \int _{1}^{s}nt^{n-1} \omega (t)\,dt+\tau \biggr)^{\frac{1}{k}} - \biggl( \int _{0}^{s}nt^{n-1} \omega _{0}(t)\,dt \biggr)^{\frac{1}{k}} \biggr]\,ds \\ ={}&\mu (\tau )+f_{0}\bigl( \vert x \vert \bigr) \\ &{}- \int _{ \vert x \vert }^{\infty}c_{*}s^{1-\frac{n}{k}} \biggl[ \biggl( \int _{s_{0}}^{s}nt^{n-1} \omega (t) \,dt+d_{1} \biggr)^{\frac{1}{k}} - \biggl( \int _{0}^{s}nt^{n-1} \omega _{0}(t)\,dt \biggr)^{\frac{1}{k}} \biggr]\,ds \\ ={}&\mu (\tau )+f_{0}\bigl( \vert x \vert \bigr) \\ &{}- \int _{ \vert x \vert }^{\infty}c_{*}s^{1-\frac{n}{k}} \biggl[ \biggl( \int _{s_{0}}^{s}nt^{n-1}\bigl( \omega _{0}(t)+C_{0}t^{-\beta}\bigr)\,dt+d_{1} \biggr)^{\frac{1}{k}} \\ &{} - \biggl( \int _{0}^{s}nt^{n-1}\omega _{0}(t)\,dt \biggr)^{ \frac{1}{k}} \biggr]\,ds, \end{aligned}$$
(2.5)

where \(d_{1}=\tau +\int _{1}^{s_{0}}nt^{n-1}\omega (t)\,dt\).

If \(\beta \neq n\), then (2.5) becomes

$$\begin{aligned} &\mu (\tau )+f_{0}\bigl( \vert x \vert \bigr) \\ &\qquad {}- \int _{ \vert x \vert }^{\infty}c_{*}s^{1-\frac{n}{k}} \biggl[ \biggl( \int _{0}^{s}nt^{n-1} \omega _{0}(t)\,dt+d_{4}s^{n-\beta}+d_{5} - \int _{0}^{s_{0}}nt^{n-1} \omega _{0}(t)\,dt \biggr)^{\frac{1}{k}} \\ &\qquad {} - \biggl( \int _{0}^{s}nt^{n-1}\omega _{0}(t)\,dt \biggr)^{\frac{1}{k}} \biggr]\,ds \\ &\quad =\mu (\tau )+f_{0}\bigl( \vert x \vert \bigr) \\ &\qquad {} - \int _{ \vert x \vert }^{\infty}c_{*}s^{1-\frac{n}{k}} \biggl( \int _{0}^{s}nt^{n-1} \omega _{0}(t)\,dt \biggr)^{\frac{1}{k}} \biggl[ \biggl(1+ \frac{d_{4}s^{n-\beta}+d_{6}}{\int _{0}^{s}nt^{n-1}\omega _{0}(t)\,dt} \biggr)^{\frac{1}{k}} -1 \biggr]\,ds, \end{aligned}$$
(2.6)

where \(d_{4}=\frac{nC_{0}}{n-\beta}\), \(d_{5}=d_{1}-d_{4}s_{0}^{n-\beta}\), and \(d_{6}=d_{5}-\int _{0}^{s_{0}}nt^{n-1}\omega _{0}(t)\,dt\). Since \(\omega _{0}(t)\) is bounded, then as \(s\to +\infty \),

$$ \frac{d_{4}s^{n-\beta}+d_{6}}{\int _{0}^{s}nt^{n-1}\omega _{0}(t)\,dt} \to 0.$$

Therefore, (2.6) approximately equals

$$\begin{aligned}& \mu (\tau )+f_{0}\bigl( \vert x \vert \bigr)- \int _{ \vert x \vert }^{\infty}c_{*}s^{1-\frac{n}{k}} \biggl( \int _{0}^{s}nt^{n-1}\omega _{0}(t)\,dt \biggr)^{\frac{1}{k}} \frac{1}{k} \frac{d_{4}s^{n-\beta}+d_{6}}{\int _{0}^{s}nt^{n-1}\omega _{0}(t)\,dt}\,ds \\& \quad = \mu (\tau )+f_{0}\bigl( \vert x \vert \bigr)- \int _{ \vert x \vert }^{\infty}\frac{1}{k}c_{*}d_{4} \biggl( \int _{0}^{s}nt^{n-1}\omega _{0}(t)\,dt \biggr)^{\frac{1}{k}-1}s^{1- \frac{n}{k}+n-\beta}\,ds \\& \qquad {}- \int _{ \vert x \vert }^{\infty}\frac{1}{k}c_{*}d_{6} \biggl( \int _{0}^{s}nt^{n-1} \omega _{0}(t)\,dt \biggr)^{\frac{1}{k}-1}s^{1-\frac{n}{k}}\,ds \\& \quad = \mu (\tau )+f_{0}\bigl( \vert x \vert \bigr)+O \biggl( \biggl( \int _{0}^{ \vert x \vert }nt^{n-1} \omega _{0}(t)\,dt \biggr)^{\frac{1}{k}-1} \vert x \vert ^{2-\frac{n}{k}+n-\beta} \biggr) \\& \qquad {}+O \biggl( \biggl( \int _{0}^{ \vert x \vert }nt^{n-1}\omega _{0}(t)\,dt \biggr)^{ \frac{1}{k}-1} \vert x \vert ^{2-\frac{n}{k}} \biggr) \\& \quad = \mu (\tau )+f_{0}\bigl( \vert x \vert \bigr)+O \bigl( \vert x \vert ^{2-\beta} \bigr)+O \bigl( \vert x \vert ^{2-n} \bigr) \\& \quad = \mu (\tau )+f_{0}\bigl( \vert x \vert \bigr)+O \bigl( \vert x \vert ^{2-\min \{\beta ,n\}} \bigr) \quad \text{as } \vert x \vert \to \infty . \end{aligned}$$

If \(\beta =n\), then (2.5) becomes

$$\begin{aligned} &\mu (\tau )+f_{0}\bigl( \vert x \vert \bigr) \\ &\qquad {}- \int _{ \vert x \vert }^{\infty}c_{*}s^{1-\frac{n}{k}} \biggl[ \biggl( \int _{0}^{s}nt^{n-1} \omega _{0}(t)\,dt+C_{0}n\ln s+d_{2} \biggr)^{\frac{1}{k}} \\ &\qquad {} - \biggl( \int _{0}^{s}nt^{n-1}\omega _{0}(t)\,dt \biggr)^{ \frac{1}{k}} \biggr]\,ds \\ &\quad =\mu (\tau )+f_{0}\bigl( \vert x \vert \bigr) \\ &\qquad {}- \int _{ \vert x \vert }^{\infty}c_{*}s^{1-\frac{n}{k}} \biggl( \int _{0}^{s}nt^{n-1} \omega _{0}(t)\,dt \biggr)^{\frac{1}{k}} \biggl[ \biggl(1+ \frac{C_{0}n\ln s+d_{2}}{\int _{0}^{s}nt^{n-1}\omega _{0}(t)\,dt} \biggr)^{\frac{1}{k}}-1 \biggr]\,ds, \end{aligned}$$
(2.7)

where \(d_{2}=d_{1}-C_{0}n\ln s_{0}-\int _{0}^{s_{0}}nt^{n-1}\omega _{0}(t)\,dt\). Since

$$ \frac{C_{0}n\ln s+d_{2}}{\int _{0}^{s}nt^{n-1}\omega _{0}(t)\,dt}\to 0,\quad s\to +\infty ,$$

therefore (2.7) approximately equals

$$\begin{aligned}& \mu (\tau )+f_{0}\bigl( \vert x \vert \bigr)- \int _{ \vert x \vert }^{\infty}c_{*}s^{1-\frac{n}{k}} \biggl( \int _{0}^{s}nt^{n-1}\omega _{0}(t)\,dt \biggr)^{\frac{1}{k}} \frac{1}{k} \frac{C_{0}n\ln s+d_{2}}{\int _{0}^{s}nt^{n-1}\omega _{0}(t)\,dt}\,ds \\& \quad = \mu (\tau )+f_{0}\bigl( \vert x \vert \bigr)- \int _{ \vert x \vert }^{\infty}c_{*}s^{1-\frac{n}{k}} \frac{1}{k} \frac{C_{0}n\ln s+d_{2}}{(\int _{0}^{s}nt^{n-1}\omega _{0}(t)\,dt)^{1-\frac{1}{k}}}\,ds \\& \quad = \mu (\tau )+f_{0}\bigl( \vert x \vert \bigr)+O \biggl( \biggl( \int _{0}^{ \vert x \vert }nt^{n-1} \omega _{0}(t)\,dt \biggr)^{\frac{1}{k}-1} \vert x \vert ^{2-\frac{n}{k}}\ln \vert x \vert \biggr) \\& \quad = \mu (\tau )+f_{0}\bigl( \vert x \vert \bigr)+O \bigl( \vert x \vert ^{2-n}\ln \vert x \vert \bigr)\quad \text{as } \vert x \vert \to \infty . \end{aligned}$$

Consequently, we have that as \(|x|\to \infty \),

$$ u(x)= \textstyle\begin{cases} \mu (\tau )+f_{0}( \vert x \vert )+O ( \vert x \vert ^{2-\min \{\beta ,n\}} ), \quad \text{if } \beta \neq n, \\ \mu (\tau )+f_{0}( \vert x \vert )+O ( \vert x \vert ^{2-n}\ln \vert x \vert ), \quad \text{if } \beta =n. \end{cases} $$
(2.8)

Comparing (2.8) with (1.11), by Lemmas 2.3 and 2.4, we know that, for \(m=k\), u is m-convex if and only if \(c\in [\mu (0),+\infty )\); for \(m>k\), u is m-convex if and only if \(c\in [\mu (0),\mu (b_{1})]\). Theorem 1.1 is proved. □

Availability of data and materials

Not applicable.

References

  1. Bao, J.G., Li, H.G.: On the exterior Dirichlet problem for the Monge–Ampère equation in dimension two. Nonlinear Anal. 75, 6448–6455 (2012)

    Article  MathSciNet  Google Scholar 

  2. Bao, J.G., Li, H.G., Li, Y.Y.: On the exterior Dirichlet problem for Hessian equations. Trans. Am. Math. Soc. 366, 6183–6200 (2014)

    Article  MathSciNet  Google Scholar 

  3. Bao, J.G., Li, H.G., Zhang, L.: Monge–Ampère equation on exterior domains. Calc. Var. Partial Differ. Equ. 52, 39–63 (2015)

    Article  Google Scholar 

  4. Bao, J.G., Li, H.G., Zhang, L.: Global solutions and exterior Dirichlet problem for Monge–Ampère equation in \(\mathbb{R}^{2}\). Differ. Integral Equ. 29, 563–582 (2016)

    MATH  Google Scholar 

  5. Bao, J.G., Xiong, J.G., Zhou, Z.W.: Existence of entire solutions of Monge–Ampère equations with prescribed asymptotic behavior. Calc. Var. Partial Differ. Equ. 58, 193 (2019)

    Article  Google Scholar 

  6. Caffarelli, L.: Topics in PDEs: the Monge–Ampère equation. Graduate course. Courant Institute, New York University (1995)

  7. Caffarelli, L., Li, Y.Y.: An extension to a theorem of Jörgens, Calabi, and Pogorelov. Commun. Pure Appl. Math. 56, 549–583 (2003)

    Article  Google Scholar 

  8. Calabi, E.: Improper affine hyperspheres of convex type and a generalization of a theorem by K. Jörgens. Mich. Math. J. 5, 105–126 (1958)

    Article  Google Scholar 

  9. Cao, X., Bao, J.G.: Hessian equations on exterior domain. J. Math. Anal. Appl. 448, 22–43 (2017)

    Article  MathSciNet  Google Scholar 

  10. Cheng, S.Y., Yau, S.T.: Complete affine hypersurfaces, I. The completeness of affine metrics. Commun. Pure Appl. Math. 39, 839–866 (1986)

    Article  MathSciNet  Google Scholar 

  11. Dai, L.M.: Existence of solutions with asymptotic behavior of exterior problems of Hessian equations. Proc. Am. Math. Soc. 139, 2853–2861 (2011)

    Article  MathSciNet  Google Scholar 

  12. Dai, L.M.: The Dirichlet problem for Hessian quotient equations in exterior domains. J. Math. Anal. Appl. 380, 87–93 (2011)

    Article  MathSciNet  Google Scholar 

  13. Dai, L.M., Bao, J.G.: On uniqueness and existence of viscosity solutions to Hessian equations in exterior domains. Front. Math. China 6, 221–230 (2011)

    Article  MathSciNet  Google Scholar 

  14. Delanoë, P.: Partial decay on simple manifolds. Ann. Glob. Anal. Geom. 10, 3–61 (1992)

    Article  MathSciNet  Google Scholar 

  15. Ferrer, L., Martínez, A., Milán, F.: An extension of a theorem by K. Jörgens and a maximum principle at infinity for parabolic affine spheres. Math. Z. 230, 471–486 (1999)

    Article  MathSciNet  Google Scholar 

  16. Ferrer, L., Martínez, A., Milán, F.: The space of parabolic affine spheres with fixed compact boundary. Monatshefte Math. 130, 19–27 (2000)

    Article  MathSciNet  Google Scholar 

  17. Hong, G.H.: A remark on Monge–Ampère equation over exterior domains. https://arxiv.org/abs/2007.12479

  18. Jörgens, K.: Über die Lösungen der Differentialgleichung \(rt-s^{2}=1\). Math. Ann. 127, 130–134 (1954). (German)

    Article  MathSciNet  Google Scholar 

  19. Jost, J., Xin, Y.L.: Some aspects of the global geometry of entire space-like submanifolds. Dedicated to Shiing-Shen Chern on his 90th birthday. Results Math. 40, 233–245 (2001)

    Article  MathSciNet  Google Scholar 

  20. Ju, H.J., Bao, J.G.: On the exterior Dirichlet problem for Monge–Ampère equations. J. Math. Anal. Appl. 405, 475–483 (2013)

    Article  MathSciNet  Google Scholar 

  21. Li, D.S., Li, Z.S.: On the exterior Dirichlet problem for Hessian quotient equations. J. Differ. Equ. 264, 6633–6662 (2018)

    Article  MathSciNet  Google Scholar 

  22. Li, H.G., Dai, L.M.: The exterior Dirichlet problem for Hessian quotient equations. J. Math. Anal. Appl. 393, 534–543 (2012)

    Article  MathSciNet  Google Scholar 

  23. Li, H.G., Li, X.L., Zhao, S.Y.: Hessian quotient equations on exterior domains. https://arxiv.org/abs/2004.06908

  24. Li, Y.Y., Lu, S.Y.: Existence and nonexistence to exterior Dirichlet problem for Monge–Ampère equation. Calc. Var. Partial Differ. Equ. 57, 161 (2018)

    Article  Google Scholar 

  25. Li, Y.Y., Lu, S.Y.: Monge-Ampere equation with bounded periodic data. https://doi.org/10.48550/arXiv.1906.02800

  26. Pogorelov, A.: On the improper convex affine hyperspheres. Geom. Dedic. 1, 33–46 (1972)

    Article  MathSciNet  Google Scholar 

  27. Trudinger, N.S., Wang, X.J.: The Bernstein problem for affine maximal hypersurfaces. Invent. Math. 140, 399–422 (2000)

    Article  MathSciNet  Google Scholar 

  28. Wang, C., Bao, J.G.: Necessary and sufficient conditions on existence and convexity of solutions for Dirichlet problems of Hessian equations on exterior domains. Proc. Am. Math. Soc. 141, 1289–1296 (2013)

    Article  MathSciNet  Google Scholar 

Download references

Acknowledgements

The authors would like to thank the referees for their comments and suggestions.

Authors’ information

Not applicable.

Funding

The research was supported by the National Natural Science Foundation of China (No.11201343) and Shandong Provincial Natural Science Foundation (ZR2021MA054).

Author information

Authors and Affiliations

Authors

Contributions

The first author proposed the idea of this paper and performed all the steps of the proofs. The second author wrote the whole paper. All authors read and approved the final manuscript.

Corresponding author

Correspondence to Limei Dai.

Ethics declarations

Ethics approval and consent to participate

Not applicable.

Consent for publication

Not applicable.

Competing interests

The authors declare that they have no competing interests.

Additional information

Abbreviations

Not applicable.

Rights and permissions

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

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Dai, L., Li, H. Necessary and sufficient conditions on the existence of solutions for the exterior Dirichlet problem of Hessian equations. Bound Value Probl 2022, 42 (2022). https://doi.org/10.1186/s13661-022-01619-9

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1186/s13661-022-01619-9

Keywords