pith. sign in

arxiv: 2604.19020 · v1 · submitted 2026-04-21 · 🧮 math.AP

The mean curvature type hypersurfaces with prescribed gradient image

Jiguang Bao , Rongli Huang , Qinfeng Jiang This is my paper

Pith reviewed 2026-05-10 02:34 UTC · model grok-4.3

classification 🧮 math.AP
keywords mean curvature type equationsconvex solutionssecond boundary value problemprescribed gradient imageuniformly convex domainshypersurfacesexistence and uniqueness
0
0 comments X

The pith

There exist unique convex solutions to the second boundary value problem for mean curvature type equations when the domains are uniformly convex.

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

This paper proves that for any two uniformly convex bounded domains with smooth boundaries in n-dimensional space, there is a unique convex solution to the mean curvature type equation whose gradient maps the first domain onto the second. The second boundary value problem here refers to prescribing the image of the gradient map rather than the boundary values of the function itself. This construction yields hypersurfaces that realize a specific gradient coverage while satisfying the curvature-type condition inside. A reader would care because it guarantees the existence of such geometric objects under natural convexity assumptions, extending methods from convex geometry and fully nonlinear PDEs.

Core claim

The paper shows that there exists a unique convex solution for the second boundary value problem of mean curvature type equations. Let Ω and Ω̃ be uniformly convex bounded domains in R^n with smooth boundary. Then there is a unique convex function u defined on Ω such that it satisfies the mean curvature type equation and the gradient image ∇u(Ω) equals Ω̃.

What carries the argument

The second boundary value problem for mean curvature type equations, which requires finding a convex function u with prescribed gradient image ∇u(Ω) = Ω̃ while satisfying the interior PDE.

Load-bearing premise

The two domains must be uniformly convex bounded regions with smooth boundaries.

What would settle it

A specific pair of uniformly convex domains with smooth boundaries in R^3 where either no convex solution exists or at least two distinct ones can be found would disprove the uniqueness or existence claim.

read the original abstract

In this paper, we consider the existence of mean curvature type hypersurfaces with prescribed gradient image. Let $\Omega$ and $\tilde{\Omega}$ be uniformly convex bounded domains in $\mathbb{R}^n$ with smooth boundary. We show that there exists unique convex solutions for the second boundary value problem of mean curvature type equations.

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

0 major / 3 minor

Summary. The manuscript proves existence and uniqueness of convex solutions u to the second boundary value problem for mean curvature type equations on a uniformly convex domain Ω ⊂ R^n, subject to the gradient-image condition ∇u(Ω) = Ω̃ where Ω̃ is another uniformly convex domain with smooth boundary.

Significance. If the result holds, it supplies a clean existence-uniqueness theorem for a fully nonlinear elliptic equation with prescribed gradient image, extending classical work on the second boundary-value problem for curvature-type operators. The argument relies on the continuity method together with a priori C^{1,1} and strict-convexity estimates that follow from uniform convexity of both domains; these are standard tools in the field and the paper appears to close the estimates without additional structural assumptions on the nonlinearity.

minor comments (3)
  1. The abstract states the result but does not indicate the precise form of the mean curvature type equation (e.g., whether it is the standard mean-curvature operator, a general divergence-form operator, or a fully nonlinear Hessian equation). Adding one sentence with the equation would improve readability.
  2. The title contains a minor grammatical awkwardness ('The mean curvature type hypersurfaces...'); a cleaner phrasing would be 'Mean curvature type hypersurfaces with prescribed gradient image'.
  3. The manuscript would benefit from an explicit statement of the continuity-method homotopy (e.g., the family of equations or boundary conditions used to connect the trivial solution to the target problem) in §3 or §4.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive summary of our work and for recommending minor revision. The referee's description accurately reflects the main theorem: existence and uniqueness of convex solutions to the second boundary-value problem for mean-curvature-type equations with prescribed gradient image between two uniformly convex domains. No specific major comments were raised in the report.

Circularity Check

0 steps flagged

No significant circularity; standard existence-uniqueness proof

full rationale

The paper establishes existence and uniqueness of convex solutions to the second boundary value problem for mean curvature type equations with prescribed gradient image, assuming uniformly convex domains Ω and Ω̃. The derivation uses standard fully nonlinear elliptic theory (a priori gradient/Hessian bounds from uniform convexity to close the continuity method), with no reduction of the central claim to self-definitional inputs, fitted parameters renamed as predictions, or load-bearing self-citations. The abstract and setup contain no equations or steps that equate the result to its own assumptions by construction, rendering the argument self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The central claim rests on the uniform convexity and smoothness of the two domains to guarantee convex solutions; no free parameters or new entities are introduced in the abstract.

axioms (1)
  • domain assumption Ω and Ω̃ are uniformly convex bounded domains in R^n with smooth boundary.
    This assumption is invoked to ensure the existence and uniqueness of convex solutions to the second boundary value problem.

pith-pipeline@v0.9.0 · 5336 in / 1135 out tokens · 29222 ms · 2026-05-10T02:34:59.926027+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

53 extracted references · 53 canonical work pages

  1. [1]

    Bartnik, R. (1984). Existence of maximal surfaces in asymptotically flat spacetimes. Comm. Math. Phys. 94: 155–175. doi: projecteu- clid.org/euclid.cmp/1103941280

    work page arXiv 1984

  2. [2]

    C., Fischer, A

    Bruhat, Y. C., Fischer, A. E., Marsden, J.E. (1979). Maximal hypersurfaces and positivity of mass. Isolated gravitating systems in general relativity. 396– 456

    work page 1979

  3. [3]

    E., Tipler, F

    Marsden, J. E., Tipler, F. J. (1980). Maximal hypersurfaces and foliations of constant mean curvature in general relativity. phys. Rep. 66: no. 3, 109–139. doi: 10.1016/0370-1573(80)90154-4

    work page doi:10.1016/0370-1573(80)90154-4 1980

  4. [4]

    Bayard, P. (2006). Entire spacelike hypersurfaces of prescribed scalar curvature in Minkowski space. Calc. Var. Partial Differential Equations. 26: no. 2, 245–

    work page 2006

  5. [5]

    doi: 10.1007/s00526-005-0367-0

    work page doi:10.1007/s00526-005-0367-0

  6. [6]

    Caffarelli, L., Nirenberg, L., Spruck, J. (1986). Nonlinear second order elliptic equations. IV. Starshaped compact Weingarten hypersurfaces. Current topics in partial differential equations, Kinokuniya, Tokyo. 1–26

    work page 1986

  7. [7]

    I., Treibergs, A

    Choi, H. I., Treibergs, A. (1990). Gauss maps of spacelike constant mean curvature hypersurfaces of Minkowski space. J. Differential Geom. 32(3): 775–

    work page 1990

  8. [8]

    doi: 10.1515/CRELLE.2009.009

    work page doi:10.1515/crelle.2009.009 2009

  9. [9]

    Treibergs, A. E. (1982). Entire spacelike hypersurfaces of constant mean curvature in Minkowski space. Invent. Math. 66(1): 39–56. doi: 10.1090/proc/12969

    work page doi:10.1090/proc/12969 1982

  10. [10]

    On the proof of the positive mass conjecture in general relativity

    Schoen, R. M., Yau, S.-T. (1979). On the proof of the positive mass conjecture in general relativity. Comm. Math. Phys. 65: no. 1, 45–76. doi: projecteu- clid.org/euclid.cmp/1103904790

    work page arXiv 1979

  11. [11]

    A., Simon, L

    Bartnik, R. A., Simon, L. M. (1982). Spacelike hypersurfaces with prescribed boundary values and mean curvature. Comm. Math. Phys. 87: no. 1, 131–152. doi: projecteuclid.org/euclid.cmp/1103921909 27

    work page arXiv 1982

  12. [12]

    Bayard, P. (2003). Dirichlet problem for space-like hypersurfaces with pre- scribed scalar curvature in Rn,1. Calc. Var. Partial Differential Equations. 18: no. 1, 1–30. doi: 10.1007/s00526-002-0178-5

    work page doi:10.1007/s00526-002-0178-5 2003

  13. [13]

    Bereanu, C., Jebelean, P., Torres, P. J. (2013). Multiple positive ra- dial solutions for a Dirichlet problem involving the mean curvature op- erator in Minkowski space. J. Funct. Anal. 265: no. 4, 644–659. doi: 10.1016/j.jfa.2013.04.006

    work page doi:10.1016/j.jfa.2013.04.006 2013

  14. [14]

    Montiel, S. (1999). Uniqueness of spacelike hypersurfaces of constant mean curvature in foliated spacetimes. Math. Ann. 314: no. 3, 529–553. doi: 10.1007/s002080050306

    work page doi:10.1007/s002080050306 1999

  15. [15]

    P., de Lima H

    Aquino C. P., de Lima H. F. (2014). On the umbilicity of complete constant mean curvature spacelike hypersurfaces. Math. Ann. 360: no. 3-4, 555–569. doi: 10.1007/s00208-014-1049-z

    work page doi:10.1007/s00208-014-1049-z 2014

  16. [16]

    Bonsante, F., Seppi, A., Smillie, P. (2023). Complete CMC hypersurfaces in Minkowski (n + 1) -space. Comm. Anal. Geom. 31: no. 4, 799–845. doi: 10.4310/cag.2023.v31.n4.a2

    work page doi:10.4310/cag.2023.v31.n4.a2 2023

  17. [17]

    Y., Yau, S.-T

    Cheng, S. Y., Yau, S.-T. (1976). Maximal space-like hypersurfaces in the Lorentz-Minkowski spaces. Ann. of Math. (2) 104: no. 3, 407–419. doi: 10.2307/1970963

    work page doi:10.2307/1970963 1976

  18. [18]

    Xin, Y. L. (1991). On the Gauss image of a spacelike hypersurface with con- stant mean curvature in Minkowski space. Comment. Math. Helv. 66: no. 4, 590–598. doi: 10.1007/BF02566667

    work page doi:10.1007/bf02566667 1991

  19. [19]

    López Camino, R. (2007). On the existence of spacelike constant mean cur- vature surfaces spanning two circular contours in Minkowski space. J. Geom. Phys. 57: no. 11, 2178–2186. doi: 10.1016/j.geomphys.2007.06.006

    work page doi:10.1016/j.geomphys.2007.06.006 2007

  20. [20]

    Fernández Delgado, I., López Fernández, F. J. (2007). Periodic maximal sur- faces in the Lorentz-Minkowski space L3. Math. Z. 256: no. 3, 573–601. doi: 10.1007/s00209-006-0087-y

    work page doi:10.1007/s00209-006-0087-y 2007

  21. [21]

    Akamine, S., Fujino, H. (2024). Duality of boundary value problems for min- imal and maximal surfaces. Comm. Anal. Geom. 32: no. 4, 1057–1094. doi: 10.4310/cag.241015230035

    work page doi:10.4310/cag.241015230035 2024

  22. [22]

    L., Torres, P

    Mawhin, J. L., Torres, P. J. (2016). Prescribed mean curvature graphs with Neumann boundary conditions in some FLR W spacetimes. J. Differential Equations. 261: no. 12, 7145–7156. doi: 10.1016/j.jde.2016.09.013

    work page doi:10.1016/j.jde.2016.09.013 2016

  23. [23]

    Urbas, J. I. E. (2002). Weingarten hypersurfaces with prescribed gradient image. Math. Z. 240: no. 1, 53–82. doi: 10.1007/s002090100362

    work page doi:10.1007/s002090100362 2002

  24. [24]

    Urbas, J. I. E. (2007). A remark on minimal Lagrangian diffeomorphisms and the Monge-Ampère equation. Bull. Austral. Math. Soc. 76: no. 2, 215–218. doi: 10.1017/S0004972700039605

    work page doi:10.1017/s0004972700039605 2007

  25. [25]

    Urbas, J. I. E. (1995). Nonlinear oblique boundary value problems for Hessian equations in two dimensions Ann. Inst. H. Poincaré C Anal. Non Linéaire. 12: no. 5, 507–575. doi: 10.1016/S0294-1449(16)30150-0

    work page doi:10.1016/s0294-1449(16)30150-0 1995

  26. [26]

    Urbas, J. I. E. (1997). On the second boundary value problem for equa- tions of Monge-Ampère type. J. Reine Angew. Math. 487: 115–124. doi: 10.1515/crll.1997.487.115. 28

    work page doi:10.1515/crll.1997.487.115 1997

  27. [27]

    Urbas, J. I. E. (2001). The second boundary value problem for a class of Hessian equations. Comm. Partial Differential Equations. 26: no. 5-6, 859–

    work page 2001

  28. [28]

    doi: 10.1081/PDE-100002381

    work page doi:10.1081/pde-100002381

  29. [29]

    von Nessi, G. T. (2010). On the second boundary value problem for a class of modified-Hessian equations. Comm. Partial Differential Equations. 35: no. 5, 745–785. doi: 10.1080/03605301003632317

    work page doi:10.1080/03605301003632317 2010

  30. [30]

    Jiang, F., Trudinger, N. S. (2018). On the second boundary value problem for Monge-Ampère type equations and geometric optics. Arch. Ration. Mech. Anal. 229: no. 2, 547–567. doi: 10.1007/s00205-018-1222-8

    work page doi:10.1007/s00205-018-1222-8 2018

  31. [31]

    Chen, S., Liu, J., Wang, X. J. (2021). Global regularity for the Monge-Ampère equation with natural boundary condition. Ann. of Math. (2) 194: no. 3, 745–

    work page 2021

  32. [32]

    doi: 10.4007/annals.2021.194.3.4

    work page doi:10.4007/annals.2021.194.3.4 2021

  33. [33]

    V., Yu, H

    Savin, O. V., Yu, H. (2020). Global W 2,1+ε estimates for Monge-Ampère equa- tion with natural boundary condition. J. Math. Pures Appl. (9) 137: 275–289. doi: 10.1016/j.matpur.2019.09.006

    work page doi:10.1016/j.matpur.2019.09.006 2020

  34. [34]

    Brendle, S., Warren. M. W. (2010). A boundary value problem for minimal lagrangian graphs. J. Differential Geom. 84: no. 2, 267–287. doi: projecteu- clid.org/euclid.jdg/1274707314

    work page arXiv 2010

  35. [35]

    Huang, R. L. (2015). On the second boundary value problem for La- grangian mean curvature flow. J. Funct. Anal. 269: no. 4, 1095–1114. doi: 10.1016/j.jfa.2015.05.003

    work page doi:10.1016/j.jfa.2015.05.003 2015

  36. [36]

    L., Bao, J

    Wang, C., Huang, R. L., Bao, J. G. (2023). On the second boundary value problem for Lagrangian mean curvature equation. Calc. Var. Partial Differ- ential Equations. 62: no. 3, Paper No. 74, 30 pp. doi: 10.1007/s00526-022- 02412-3

    work page doi:10.1007/s00526-022- 2023

  37. [37]

    C. Wang, R. L. Huang and J. G. Bao, On the second boundary value problem for a class of fully nonlinear flow III . J. Evol. Equ. 24 (2024), no. 3, Paper No. 52, 38 pp. doi: 10.1007/s00028-024-00983-6

    work page doi:10.1007/s00028-024-00983-6 2024

  38. [38]

    F., Bao, J

    Jiang, Q. F., Bao, J. G. On the second boundary value problem for Lagrangian mean curvature type equation. preprint

    work page

  39. [39]

    Huang, R. L. (2024). On the second boundary value problem for mean curva- ture flow in Minkowski space. arXiv preprint: arXiv:2404.05972

    work page arXiv 2024

  40. [40]

    L., Li, S

    Huang, R. L., Li, S. (2022). On the second boundary value problem for special Lagrangian curvature potential equation. Math. Z. 302: No. 1, 391–417. doi: 10.1007/s00209-022-03060-1

    work page doi:10.1007/s00209-022-03060-1 2022

  41. [41]

    L., Ou, Q

    Huang, R. L., Ou, Q. Z. (2017). On the second boundary value problem for a class of fully nonlinear equations. J. Geom. Anal. 27: no. 4, 2601–2617. doi: 10.1007/s12220-017-9774-7

    work page doi:10.1007/s12220-017-9774-7 2017

  42. [42]

    L., Qu, C

    Huang, R. L., Qu, C. Z., Wang, Z. Z., Wo, W. F. (2024). Hessian curvature hypersurfaces with prescribed Gauss image arXiv preprint: arXiv:2412.09159

    work page arXiv 2024

  43. [43]

    L., Wei, D

    Huang, R. L., Wei, D. Y., Ye, Y. H. (2024) The constant mean curvature hy- persurfaces with prescribed gradient image. arXiv preprint: arXiv:2411.00817

    work page arXiv 2024

  44. [44]

    Ma, X. N. (1999). A necessary condition of solvability for the capillarity bound- ary of Monge-Ampère equations in two dimensions. Proc. Amer. Math. Soc. 127: no. 3, 763–769. doi: 10.1090/S0002-9939-99-04750-4. 29

    work page doi:10.1090/s0002-9939-99-04750-4 1999

  45. [45]

    S., Urbas, J

    Lions, P.-L., Trudinger, N. S., Urbas, J. I. E. (1986). The Neumann problem for equations of Monge-Ampère type. Comm. Pure Appl. Math. 39 , no. 4, 539–563. doi:10.1002/cpa.3160390405

    work page doi:10.1002/cpa.3160390405 1986

  46. [46]

    Li, A. M. (1995). Spacelike hypersurfaces with constant Gauss-Kronecker cur- vature in the Minkowski space. Arch. Math. (Basel) 64: no. 6, 534–551. doi: 10.1007/BF01195136

    work page doi:10.1007/bf01195136 1995

  47. [47]

    Ecker K., Huisken, G. (1991). Parabolic methods for the construction of spacelike slices of prescribed mean curvature in cosmological space- times. Comm. Math. Phys. 135: No. 3, 595–613. doi: projecteu- clid.org/euclid.cmp/1104202145

    work page arXiv 1991

  48. [48]

    Ecker, K. (1997). Interior estimates and longtime solutions for mean curvature flow of noncompact spacelike hypersurfaces in Minkowski space. J. Differential Geom. 46: no. 3, 481–498. doi: projecteuclid.org/euclid.jdg/1214459975

    work page arXiv 1997

  49. [49]

    (2003) Geometric Aspects of the theory of fully nonlinear elliptic equations

    Spruck, J. (2003) Geometric Aspects of the theory of fully nonlinear elliptic equations. Clay Math. Proc. 2, Amer. Math. Soc., Providence, RI

    work page 2003

  50. [50]

    Schnürer, O. C. (2002). Translating solutions to the second boundary value problem for curvature flows. Manuscripta Math. 108: no. 3, 319–347. doi: 10.1007/s002290200265

    work page doi:10.1007/s002290200265 2002

  51. [51]

    L., Ye, Y

    Huang, R. L., Ye, Y. H. (2019). On the second boundary value problem for a class of fully nonlinear flows I. Int. Math. Res. Not. 18: 5539–5576. doi: 10.1093/imrn/rnx278

    work page doi:10.1093/imrn/rnx278 2019

  52. [52]

    C., Smoczyk, K

    Schnürer, O. C., Smoczyk, K. (2003). Neumann and second boundary value problems for Hessian and Gauss curvature flows. Ann. Inst. H. Poincaré C Anal. Non Linéaire 20: no. 6, 1043–1073. doi: 10.1016/S0294-1449(03)00021- 0

    work page doi:10.1016/s0294-1449(03)00021- 2003

  53. [53]

    Gilbarg, D., Trudinger, N. S. (1983). Elliptic partial differential equations of second order, second edition. Grundlehren der mathematischen Wis- senschaften, 224, Springer, Berlin, doi: 10.1007/978-3-642-61798-0. School of Mathematical Sciences, Beijing Normal University, Beijing, 100875, Peo- ple’s Republic of China, E-mail: jgbao@bnu.edu.cn, ORCID: 00...

    work page doi:10.1007/978-3-642-61798-0 1983