The exterior Dirichlet problems of Monge–Ampère equations in dimension two

In this paper, we study the Monge–Ampère equations detD2u=f\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$\det D^{2}u=f$\end{document} in dimension two with f being a perturbation of f0\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$f_{0}$\end{document} at infinity. First, we obtain the necessary and sufficient conditions for the existence of radial solutions with prescribed asymptotic behavior at infinity to Monge–Ampère equations outside a unit ball. Then, using the Perron method, we get the existence of viscosity solutions with prescribed asymptotic behavior at infinity to Monge–Ampère equations outside a bounded domain.


Introduction
A classical theorem for Monge-Ampère equation states that any classical convex solution of det D 2 u = 1 in R n must be a quadratic polynomial which was obtained by Jörgens [1] for n = 2, Calabi [2] for n ≤ 5, and Pogorelov [3] for n ≥ 2. For n = 2, the classical solution is either convex or concave, so the result is true without the convex hypothesis.
Cheng and Yau [4] later gave a simpler and more analytical proof of the Jörgens-Calabi-Pogorelov theorem along the lines of affine geometry. Caffarelli [5] extended this result to viscosity solutions. Jost and Xin [6] gave another proof of the theorem. On the other hand, it was proved by Trudinger and Wang [7] that if D is an open convex subset in R n and u is a convex C 2 solution to det D 2 u = 1 in D with lim x→∂D u(x) = ∞, then D = R n .
In 2003, the Jörgens-Calabi-Pogorelov theorem was extended to exterior domains for n ≥ 2 by Caffarelli and Li [8]. They proved that any convex viscosity solution to det D 2 u = 1 in an exterior domain must be a quadratic polynomial at infinity for n ≥ 3 and be the sum of a quadratic polynomial and a logarithmic term at infinity for n = 2. That is, for n ≥ 3, there exists a symmetric positive definite matrix A ∈ R n×n ,b ∈ R n ,ĉ ∈ R such that lim sup |x|→∞ |x| n-2 u(x) -1 2 x T Ax +b · x +ĉ < ∞; (1.1) and for n = 2, there exists a symmetric positive definite matrix A ∈ R 2×2 ,b ∈ R 2 ,ĉ,d ∈ R such that lim sup |x|→∞ |x| u(x) -1 2 x T Ax +b · x +d ln √ x T Ax +ĉ < ∞. (1.2) For n = 2, similar problems were studied by Ferrer, Martínez, and Milán [9,10] applying the complex variable method. We can also refer to Delanoë [11]. Later, in [12], Caffarelli and Li also extended the Jörgens-Calabi-Pogorelov theorem to det D 2 u = f in R n with f being a periodic positive function and obtained that any classical convex solution must be the sum of a quadratic polynomial and a periodic function. In 2015, Bao, Li, and Zhang [13] extended the Jörgens-Calabi-Pogorelov theorem to det D 2 u = f in the exterior domain for n ≥ 2 with f being a perturbation of 1 at infinity. The converse problem is whether the exterior Dirichlet problem has a unique solution with the prescribed asymptotic behavior. This problem was resolved, and the existence of solutions to the exterior Dirichlet problem of det D 2 u = 1 was established in [8] for n ≥ 3 through the Perron method. More specifically, assume that D is a strictly convex and bounded domain with smooth boundary in R n and φ ∈ C 2 (∂D), then for any symmetric positive definite matrix A ∈ R n×n ,b ∈ R n , there exists a constant c 1 = c 1 (n, D, φ,b, A) such that, for anyĉ > c 1 , the exterior Dirichlet problem has a unique solution u ∈ C ∞ (R n \D) ∩ C 0 (R n \D) satisfying the asymptotic behavior (1.1). For n = 2, the existence of solutions to the exterior Dirichlet problem was established by Bao and Li [14]. More precisely, for any symmetric positive definite matrix A ∈ R 2×2 ,b ∈ R 2 , there exists a constant d * = d * (D, φ,b, A) such that, for anyd > d * , the exterior Dirichlet with Md, c(d) being functions ofd. Bao, Li, and Zhang [13] established the existence of exterior solutions to det D 2 u = f with f being a perturbation of 1 at infinity for n ≥ 2. More existence results for n = 2 can be found in [15,16]. In [15], global solutions and exterior solutions for Monge-Ampère equation were obtained through the new ideas in contrast to [13]. And in [16], Bao, Xiong, and Zhou proved the existence of entire solutions of Monge-Ampère equations with asymptotic behaviors employing the different method from the constructions of sub-and super-solutions. However, the existence of solutions to det D 2 u = f in the exterior domain with f being a perturbation of f 0 (|x|) at infinity for n ≥ 3 was obtained by Ju and Bao [17]. The constantsĉ andd in (1.1) and (1.2) play important roles in the existence and nonexistence of solutions to the exterior Dirichlet problem. Wang and Bao [18] studied the constantsĉ andd among the radially symmetric solutions. They proved that, for n ≥ 3, there exists a unique convex radial solution u ∈ C 2 (R n \B 1 (0)) ∩ C 1 (R n \B 1 (0)) satisfying 1 n -1) ds; for n = 2, there exists a unique radially symmetric solution u ∈ C 2 (R 2 \B 1 (0)) ∩ C 1 (R 2 \B 1 (0)) satisfying (1.4), (1.5), and if and only ifd ≥ -1 andĉ =â +d 4 +d 2 ln 2 -1 2 [(1 +d) 1/2 +d ln(1 + (1 +d) 1/2 )]. Recently, Li and Lu [19] characterized the existence and nonexistence of solutions in terms of the asymptotic behavior to the exterior Dirichlet problem with the right-hand side being 1 or the perturbation of 1 at infinity for n ≥ 3.
In this paper, we study the Monge-Ampère equation with the right-hand side being f 0 (|x|) at infinity for n = 2. Because of the appearance of the logarithmic term, it seems more difficult than the case of n = 3. Assume that f ∈ C 0 (R 2 ). Let β > 2 be some constant and where f 0 ∈ C 0 ([0, +∞)) is positive and radially symmetric in x, and for some constant α, Suppose that Consider the Dirichlet problem outside a unit ball Our first main result is the following.
Then the exterior Dirichlet problem (1.9) and (1.10) has a unique convex radial solution u ∈ C 1 (R 2 \B 1 ) ∩ C 2 (R 2 \B 1 ) satisfying, as |x| → ∞, if and only ifτ ≥τ 0 and d = h(τ ), wherẽ Remark 1.3 For n ≥ 3, the necessary and sufficient conditions of the existence of solutions with prescribed asymptotic behavior at infinity to (1.9) and (1.10) are obtained in the author's another manuscript which is submitted.
If f ≡ 1, the solution can be integrated. But if f is general, the solution cannot be integrated directly. By extracting the corresponding quadratic polynomial and logarithmic term, we obtain the asymptotic behavior at infinity. Moreover, our approach is enough to establish the existence of solutions of the exterior Dirichlet problem. So, in the following, by constructing the sub-and super-solutions, we apply the Perron method to get the existence of solutions with prescribed asymptotic behavior at infinity to the exterior Dirichlet problem. First let us recall the definition of viscosity solutions, we can also refer to [8]. Let O ⊂ R 2 be a domain, g ∈ C 0 (O) be positive, and ∈ C 0 (∂O).
if, for any pointx ∈ O and any convex function ψ ∈ C 2 (O), whenever we must have .
is a viscosity solution of (1.13) if it is both a viscosity subsolution and supersolution of (1.13).
Then u ∈ C 0 (O) is a viscosity solution of (1.13) with the boundary condition u = on ∂O if it is a viscosity solution of (1.13) and u = on ∂O.
Then we consider the exterior Dirichlet problem where is a bounded domain in R 2 , f ∈ C 0 (R 2 ) and ϕ ∈ C 2 (∂ ). Note that here f is not necessarily radially symmetric. and where f 0 is the same as (1.7). The following is the second main result.

Theorem 1.6
Let be a strictly convex and bounded domain in R 2 , 0 ∈ , ∂ ∈ C 2 , and ϕ ∈ C 2 (∂ ). Suppose that f satisfies (1.6) and (1.8) holds. Then, for anyb ∈ R 2 , there exists a constant λ * = λ * (b, ϕ, f , , α, β) such that, for any λ > λ * , there exists a unique viscosity solution u ∈ C 0 (R 2 \ ) to the Dirichlet problem (1.14), (1.15) which satisfies  Finally, we would like to mention the blow-up solutions and asymptotic behavior of fully nonlinear equations and Monge-Ampère equations. In [20], the existence, asymptotic boundary estimates, and uniqueness of large solutions to fully nonlinear equations were studied, and in [21], the sharp conditions and asymptotic behavior of boundary blow-up solutions to the Monge-Ampère equation were studied.
This paper is organized as follows. In Sect. 2, we prove Theorem 1.1. Theorem 1.6 is proved in Sect. 3.

Proof of Theorem 1.1
Proof of Theorem 1.1 Let u(x) = u(r) = u(|x|) be the radial solution to (1.9). By a direct calculation, we have Hence Then integrating the above equality from 1 to r on both sides twice, we have
If u 1 and u 2 all satisfy (1.9), (1.10), and (1.11), by the comparison principle, we know that u 1 ≡ u 2 and obtain the uniqueness. Then we complete the proof of Theorem 1.1.

Corollary 2.1 Let
If f = f 0 ≡ 1, Theorem 1.1 corresponds to the results in [18]. In fact, by (2.2), we know that whereτ = τ -1. Then (2.5) corresponds to the results in [18]. In fact, in [18], f ≡ 1, (2.1) can be integrated, and then the asymptotic behavior is obtained. But here we cannot integrate (2.1), and so the asymptotic behavior is more complicated.
In the following, we prove that u is a viscosity solution of (1.14). Then det D 2ŵ ≥ f in R 2 \ andŵ(x) ≤ u λ 2 (x), x ∈ R 2 \ . Thereforeŵ ∈ Sd. And then u(x) ≥ŵ(x), x ∈ R 2 \ . Especially, So, by (3.13), we can get Sincex is arbitrary, we know that u is a solution of (1.14). The uniqueness can be obtained by the comparison principle for viscosity solutions. Theorem 1.6 is proved.