pith. sign in

arxiv: 2105.04243 · v2 · submitted 2021-05-10 · 🧮 math.AP

Complete Classification of the Euclidean Complete Solutions to a Monge-Ampere Equation

Pith reviewed 2026-05-24 13:59 UTC · model grok-4.3

classification 🧮 math.AP
keywords Monge-Ampère equationEuclidean complete solutionspower nonlinearityclassification of solutionsentire solutionshypersurface graphssharp conditions
0
0 comments X

The pith

Sharp conditions on the power p and the domain Omega completely classify all Euclidean complete solutions to a Monge-Ampère equation with power nonlinearity.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper examines a Monge-Ampère equation that includes a power term depending on a real parameter p. It defines a solution to be Euclidean complete when the function is defined on all of R^n or, for a proper subdomain Omega, the graph becomes unbounded as one approaches the boundary of Omega. The authors derive various sharp conditions on p and Omega that together determine precisely which solutions qualify as Euclidean complete and what forms they take. A sympathetic reader would care because the classification resolves existence questions for this family of fully nonlinear equations on unbounded or incomplete domains.

Core claim

We study a Monge-Ampère equation with power term for some p in real numbers. A solution u is called to be Euclidean complete if it is an entire solution defined over the whole R^n or its graph is a large hypersurface satisfying the large condition u(x) to infinity as dist(x, partial Omega) to 0 in case of Omega not equal to R^n. In this paper, we will give various sharp conditions on p and Omega classifying the Euclidean complete solutions.

What carries the argument

Euclidean completeness, defined as the property that a solution is either entire over R^n or satisfies u(x) to infinity as the distance to the boundary of Omega tends to zero.

If this is right

  • Existence of Euclidean complete solutions is settled exactly by the derived conditions on p and Omega.
  • For Omega equal to R^n the conditions identify all entire solutions of the equation.
  • For proper subdomains the conditions guarantee that qualifying solutions blow up at the boundary.
  • The sharpness of the conditions means they are optimal and cannot be relaxed without losing the classification.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The classification may supply comparison principles or barrier constructions usable for related fully nonlinear equations without the power term.
  • The same approach could be tested on affine-complete solutions or other geometric notions of completeness for the same equation.
  • Numerical approximation schemes for the equation might be validated against the explicit cases identified by the conditions.

Load-bearing premise

The Monge-Ampère equation takes the specific form with power nonlinearity that permits classification by conditions on p and Omega.

What would settle it

The discovery of a Euclidean complete solution for a value of p or a domain Omega that lies outside the sharp conditions listed in the classification would show the list is incomplete.

read the original abstract

We study a Monge-Amp\`{e}re equation with power term for some $p\in{\mathbb{R}}$. A solution $u$ is called to be Euclidean complete if it is an entire solution defined over the whole ${\mathbb{R}}^n$ or its graph is a large hypersurface satisfying the large condition $u(x)\to\infty$ as $\mathrm{dist}(x,\partial\Omega)\to 0$ in case of $\Omega\not={\mathbb{R}}^n$. In this paper, we will give various sharp conditions on $p$ and $\Omega$ classifying the Euclidean complete solutions.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

1 major / 0 minor

Summary. The manuscript studies a Monge-Ampère equation with a power nonlinearity parameterized by p ∈ ℝ. It defines Euclidean complete solutions as either entire solutions on ℝ^n or graphs over a proper subdomain Ω that are large hypersurfaces (u(x) → ∞ as dist(x, ∂Ω) → 0). The central claim is a complete classification of such solutions under various sharp conditions on p and Ω.

Significance. A rigorous, sharp classification of Euclidean complete solutions would be a useful contribution to the theory of fully nonlinear elliptic equations, clarifying existence/non-existence thresholds in terms of the power p and domain geometry. The definition of Euclidean completeness is standard and internally consistent.

major comments (1)
  1. The abstract (and the provided excerpt) does not state the explicit form of the Monge-Ampère equation (e.g., the precise right-hand side involving the power p). Without this, the classification claims cannot be verified or checked for internal consistency.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their careful reading and constructive comment. We address the point raised below.

read point-by-point responses
  1. Referee: The abstract (and the provided excerpt) does not state the explicit form of the Monge-Ampère equation (e.g., the precise right-hand side involving the power p). Without this, the classification claims cannot be verified or checked for internal consistency.

    Authors: We agree that the abstract does not explicitly display the Monge-Ampère equation. This omission makes the classification statements harder to verify at first reading. We will revise the abstract to include the precise form of the equation (including the power nonlinearity) so that the claims are immediately checkable. revision: yes

Circularity Check

0 steps flagged

No circularity in derivation chain

full rationale

The provided abstract defines Euclidean completeness explicitly as entire solutions on R^n or the large hypersurface condition u(x)→∞ as dist(x,∂Ω)→0, then states that sharp conditions on p and Ω will classify such solutions. No equations, fitted parameters, self-citations, or ansatzes are present that could reduce a claimed prediction or uniqueness result to the inputs by construction. The classification is presented as a theorem to be proved from the Monge-Ampère equation with power nonlinearity, without any load-bearing step that renames or fits the target quantity. This matches the default expectation of a non-circular paper when no reduction is exhibited.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

Only the abstract is available, so the ledger records the minimal background assumptions visible; no free parameters or invented entities are mentioned.

axioms (1)
  • domain assumption The Monge-Ampère equation under study admits a well-defined notion of Euclidean complete solution on R^n or on bounded domains with the large condition.
    The classification is stated only after this notion is introduced in the abstract.

pith-pipeline@v0.9.0 · 5632 in / 1119 out tokens · 49405 ms · 2026-05-24T13:59:47.320644+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

28 extracted references · 28 canonical work pages

  1. [1]

    Ca ffarelli, A localization property of viscosity solutions to the Monge-Amp` ere equation and their strict convexity , Ann

    L.A. Ca ffarelli, A localization property of viscosity solutions to the Monge-Amp` ere equation and their strict convexity , Ann. Math. 131 (1990), 129-134

  2. [2]

    Ca ffarelli, L

    L. Ca ffarelli, L. Nirenberg and J. Spruck, The Dirichlet problem for nonlinear second-order elliptic equations. I. Monge-Amp` ere equation , Comm. Pure Appl. Math., 37 (1984), 369-402

  3. [3]

    Cˆ ırstea and C

    F.C. Cˆ ırstea and C. Trombetti, On the Monge-Amp` ere equation with boundary blow-up: existence, uniqueness and asymptotics , Calc. V ar.,31 (2008), 167-186

  4. [4]

    Chou and X.J

    K.S. Chou and X.J. Wang, Entire solutions of the Monage-Amp` ere equation, Communications on Pure and Applied Mathematics, XLIX (1996), 529-539

  5. [5]

    Chou and X.J

    K.S. Chou and X.J. Wang, A variational theory of the Hessian equation, Comm. Pure Appl. Math., 54 (2002), 1029-1064

  6. [6]

    cheng and S.T

    S.Y . cheng and S.T. Y au,On the existence of a complete K¨ ahler metric on noncompact complex manifolds and the regularity of Fe fferman’s equation, Comm. Pure Appl. Math., 33 (1980), 507-554

  7. [7]

    Cheng and S.T

    S.Y . Cheng and S.T. Y au, The real Monge-Amp` ere equation and a ffine flat structures. In: Chern, S.S., Wu, W. (eds.) Proceedings of 1980 Beijing Symposium on Di fferential Geometry and Di fferential Equations, vol.1, 339-370, Beijing. Science Press, New Y ork (1982)

  8. [8]

    Du, Bernstein problem of a ffine maximal type hypersurfaces on dimension N ≥3, J

    S.Z. Du, Bernstein problem of a ffine maximal type hypersurfaces on dimension N ≥3, J. Di fferential Equations, 269 (2020), 7429-7469

  9. [9]

    Du and X.M

    Y .H. Du and X.M. Zhang, Sharp conditions for the existence of boundary blow-up solutions to the Monge-Amp` ere equation , Calc. V ar., 57 (2018), 1-24

  10. [10]

    Feng, Convex solutions of Monge-Amp` ere equations and systems: Existence, uniqueness and asymptotic behavior , Adv

    M.Q. Feng, Convex solutions of Monge-Amp` ere equations and systems: Existence, uniqueness and asymptotic behavior , Adv. Nonlinear Anal., 10 (2021), 371-399. Monge-Amp` ere Equations 23

  11. [11]

    Guan, The Dirichlet problem for a class of fully nonlinear ellipti c equations, Comm

    B. Guan, The Dirichlet problem for a class of fully nonlinear ellipti c equations, Comm. Partial Di ffer. Equ., 19 (1994), 399-416

  12. [12]

    Guan and H

    B. Guan and H. Jian, The Monge-Amp` ere equation with infinite boundary value, Pac. J. Math., 216 (2004), 77-94

  13. [13]

    Gilbarg and N.S

    D. Gilbarg and N.S. Trudinger, Elliptic partial di fferential equations of second order . Reprint of the 1998 edition. Classics in Mathematics. Springer-V erlag, Berlin, 2001. xiv+517 pp. ISBN: 3-540-41160-7

  14. [14]

    Huang, Boundary asymptotical behavior of large solutions to Hessian equations, Pacific J

    Y . Huang, Boundary asymptotical behavior of large solutions to Hessian equations, Pacific J. Math., 244 (2010), 85-98

  15. [15]

    Lions, Sur les ´ equations de Monge-Amp` ere equations

    P .-L. Lions, Sur les ´ equations de Monge-Amp` ere equations. (French) [On Monge-Amp` ere equations] , Arch. Ration. Mech. Anal., 89 (1985), 93-122

  16. [16]

    Lions, Two remarks on Monge-Amp` ere equations , Ann

    P .-L. Lions, Two remarks on Monge-Amp` ere equations , Ann. Mat. Pura Appl., 142 (1985), 263-275

  17. [17]

    Lazer and P .J

    A.C. Lazer and P .J. McKenna, On singular boundary value problems for the Monge-Amp` ere operator , J. Math. Anal. Appl., 197 (1996), 341-362

  18. [18]

    Matero, The Bieberbach-Rademacher problem for the Monge- Amp` ere operator, Manuscr

    J. Matero, The Bieberbach-Rademacher problem for the Monge- Amp` ere operator, Manuscr. Math., 91 (1996), 379-391

  19. [19]

    Mohammed, On the existence of solutions ot the Monge-Amp` ere equation with infinite boundary values , Proc

    A. Mohammed, On the existence of solutions ot the Monge-Amp` ere equation with infinite boundary values , Proc. Am. Math. Soc., 135 (2007), 141-149

  20. [20]

    Ma and D.S

    S.S. Ma and D.S. Li, Exstence and boundary asymptotic behavior of large solutions of Hessian equations , Nonlinear Analysis, 187 (2019), 1-17

  21. [21]

    Pogorelov, The multidimensional Minkovski problem , Wiley, New Y ork, (1978)

    A.V . Pogorelov, The multidimensional Minkovski problem , Wiley, New Y ork, (1978)

  22. [22]

    Trudinger, Fully nonlinera, uniformly elliptic equations under natural structure conditions, Trans

    N.S. Trudinger, Fully nonlinera, uniformly elliptic equations under natural structure conditions, Trans. Am. Math. Soc., 278 (1983), 751-769. 24 Euclidean Complete

  23. [23]

    Trudinger, On the Dirichlet problem for Hessian equations , Acta Math., 175 (1995), 151-164

    N.S. Trudinger, On the Dirichlet problem for Hessian equations , Acta Math., 175 (1995), 151-164

  24. [24]

    Tso, On a real Monge-Amp` ere functional , Invent

    K. Tso, On a real Monge-Amp` ere functional , Invent. Math., 101 (1990), 425-448

  25. [25]

    Wang, A class of fully nonlinear elliptic equations and related functionals, Indiana Univ

    X.J. Wang, A class of fully nonlinear elliptic equations and related functionals, Indiana Univ. Math. J, 43 (1994), 25-54

  26. [26]

    Zhang, Boundary behavior of large solutions to the Monge- Amp` ere equations with weights , J

    Z.J. Zhang, Boundary behavior of large solutions to the Monge- Amp` ere equations with weights , J. Di fferential Equations, 259 (2015), 2080-2100

  27. [27]

    Zhang, Large solutions to the Monge-Amp` ere equations with non- linear gradient terms: Existence and boundary behavior , J

    Z.J. Zhang, Large solutions to the Monge-Amp` ere equations with non- linear gradient terms: Existence and boundary behavior , J. Di fferential Equations, 264 (2018), 263-296

  28. [28]

    Zhang, Optimal global and boundary asymptotic behavior of large solutions to the Monge-Amp` ere equation , J

    Z.J. Zhang, Optimal global and boundary asymptotic behavior of large solutions to the Monge-Amp` ere equation , J. Functional Analysis, 278 (2020), 41pp. The Department of Mathematics, Shantou University, Shantou, 515063, P . R. China. Email address: szdu@stu.edu.cn