The Dirichlet problem for a prescribed mean curvature equation

Yuki Tsukamoto

REVIEW 2 major objections 3 minor 12 references

The Dirichlet problem for a prescribed mean curvature equation

T0 review · 2 major / 3 minor · reviewed 2026-08-14 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read The paper proves that for any minimal graph h and small Sobolev-class data, the prescribed mean curvature Dirichlet problem has a nearby solution in W^{2,q}.

desk verdict Plausible result and a solid trace lemma, but the proof rests on a false identity in (2.29) and does not currently prove Theorem 1.1. read the letter →

arxiv 1908.06584 v1 pith:UXJEK3MF submitted 2019-08-19 math.AP

Yuki Tsukamoto This is my paper · ORCID

classification math.AP MSC 35J6035J9353A10

keywords prescribedmeancurvatureDirichletproblemminimalsurfaceSobolevspacesLeray-Schauderfixedpointgraphicalsolutionsoperatortraceinequality

verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

The paper proves an existence theorem for the prescribed mean curvature Dirichlet problem: if the boundary data and the right-hand side are small in a certain Sobolev norm, then a solution exists in a neighbourhood of any given graphical minimal surface. The norm on the forcing term is $W^{{1,p}}$(Ω×R) with (n+1)/2 < p < n+1, which the paper describes as dimensionally sharp, and the solution space is $W^{{2,q}}$ for q = np/(n+1-p). This matters because the natural vector-field right-hand sides arising from singular perturbation problems have exactly this $W^{{1,p}}$ regularity and need not be bounded in L∞. The proof works by linearizing the mean curvature operator about the minimal surface, turning the problem into a fixed point of a compact operator on a Hölder ball, and applying Leray-Schauder. The paper also gives a corollary for the geometric case H(x,t,z)=ν(z)·f(x,t), with f small in $W^{{1,p}}$, and notes a uniqueness statement under monotonicity.

What carries the argument

The proof rests on three mechanisms. First, the linearized operator L[z](u)=A_{ij}(z)u_{x_ix_j} with A_{ij}(z)=(1+|z|^2)^{-1/2}(δ_{ij}-z_iz_j/(1+|z|^2)) is uniformly elliptic with ellipticity constant (1+‖v‖^2_{$C^{{1,α}}$})^{-3/2}, so standard $W^{{2,q}}$ regularity applies. Second, to handle an unbounded right-hand side, Lemma 2.3 proves ‖G(·,v(·))‖_{L^q(Ω)}≤c‖G‖_{$W^{{1,p}}$(Ω×R)} by viewing the graph of v as a codimension-one set and using a Radon-measure trace inequality for functions in $W^{{1,p}}$. Third, the entire argument is organized around the identity in (2.29), which expands the mean curvature operator around the minimal surface h and introduces the linear first-order term B(∇v)·∇w that makes the fixed-point map T contractively compact on a $C^{{1,1/2−n/(2q)}}$ ball.

What would settle it

Take a concrete nontrivial minimal graph h, for instance h(x)=x_1 on a disk, and a nonzero small perturbation v, and evaluate both sides of (2.29) symbolically or numerically at a point of Ω; if the identity fails to hold as an algebraic equality in the second derivatives of u, the proof's reduction is broken and the theorem's conclusion is unsupported.

Watch

Extended reading notes

Core claim

The central claim is Theorem 1.1: under the stated smallness condition on G and φ, there exists u∈$W^{{2,q}}$(Ω) with u−h−φ∈$W^{{1,q}}$_0(Ω) satisfying div(∇u/√(1+|∇u|^2))=H(x,u,∇u) in Ω and ‖u−h‖_{$W^{{2,q}}$}<ε. Equivalently, the set of prescribed mean curvature solutions is not empty at every sufficiently small perturbation of a minimal graph, measured in Sobolev norms adapted to the dimension. The novelty relative to earlier prescribed mean curvature results is that H is controlled only through a $W^{{1,p}}$ bound on |G(x,t)|, so H need not be bounded; the proof imports a trace-type estimate that controls G(x,v(x)) in L^q(Ω) from the $W^{{1,p}}$ norm of G on Ω×R.

Load-bearing premise

The algebraic identity (2.29), which rewrites the mean curvature operator around the minimal surface h, is stated without derivation; the entire fixed-point operator is built from it, so if the identity were false the constructed fixed point would solve a different equation.

Editorial extensions

If this is right

For any minimal graph h and any vector field f∈W^{1,p}(Ω×R;R^{n+1}) with ∑‖f_i‖_{W^{1,p}}+‖φ‖_{W^{2,q}}≤δ_1, the equation div(∇u/√(1+|∇u|^2))=ν(∇u)·f(x,u) has a solution with u−h−φ∈W^{1,q}_0(Ω) and ‖u−h‖_{W^{2,q}}<ε (Corollary 2.6).
Adding the natural uniqueness assumptions (H non-increasing in t and C^1 in z) makes the constructed solution unique in W^{2,q}(Ω), as noted in Remark 2.7.
The smallness threshold δ_1 depends only on n, p, Ω, ‖h‖_{W^{2,∞}(Ω)}, and ε, so the theorem gives a uniform existence radius around every minimal surface with a fixed W^{2,∞} bound.
The W^{1,p} bound on the forcing term is sufficient even though H itself need not be bounded in L∞, because the graph restriction G(x,v(x)) lies in the supercritical space L^q(Ω) with q>n.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

If identity (2.29) is verified, the same fixed-point scheme likely extends to perturbations of any stable minimal surface that is only C^{2,α}, by freezing coefficients at a smoother approximation; the W^{1,p} restriction estimate is the part that genuinely uses the graphical structure.
The dimensionally sharp range (n+1)/2<p<n+1 indicates the threshold below which the trace estimate fails; for p≤(n+1)/2, Theorem 2.2's measure condition is not finite, so one would expect existence to fail or require a different norm.
The method appears to be perturbative in an essential way: it uses the minimal surface h to cancel the zeroth-order terms, so it does not by itself address existence far from minimal surfaces or for large data.
Combining with the singular perturbation motivation in [11], one could expect to construct entire interfaces near minimal surfaces with prescribed mean curvature f·ν under W^{1,p} controls, a route toward weak solutions of the sharp-interface limit.

Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Desk Editor's Note

read the letter

The paper has a reasonable idea and one genuinely nice lemma, but the proof of the main theorem has a false algebraic step. Equation (2.29) is not a correct conversion of (2.26). Let z=∇h, w=∇ũ, S=1+|z+w|², T=1+|z|². The minimal surface equation gives Δh = (z_i z_j h_ij)/T. Expanding A_ij(z+w)h_ij and using that relation gives a term proportional to (z·w)Δh / S^{3/2} which does not appear in (2.29). The stress-test example (Scherk's surface) shows the disagreement is numerically nonzero. So a fixed point of the operator T in (2.31) satisfies a PDE with an extra right-hand side (∇h·∇ũ)Δh/(1+|∇h+∇ũ|²)^{3/2}; it does not solve (1.8). This is not a small gap, it's the hinge of the whole reduction. The theorem may be true, but this proof does not establish it.

What is genuinely new here is the dimensionally sharp Sobolev control: H is allowed to be unbounded as long as it is dominated by G ∈ W^{1,p} with p > (n+1)/2, and the exponent q = np/(n+1-p) is the natural one. Earlier papers (Gerhardt, Miranda, Bergner, Marquardt) all assume bounded H or monotonicity. Lemma 2.3, which controls the composition via a measure-density argument, is carefully done and seems correct. The compactness and continuity arguments in the Leray–Schauder setup are standard but executed cleanly.

The softer issues are real but minor: the introduction claims 'well-posedness' when only existence is proven; uniqueness appears only as a remark with extra hypotheses. The self-citation [11] is for motivation, not for a proof step, and that is fine.

For the right audience—people working on prescribed mean curvature with low-regularity data—this would be a useful theorem if the proof were correct. As it stands, I would not cite it or bring it to a reading group. The author needs to redo the expansion in (2.29), either correcting the missing term or finding another reduction. If a fixed version appears, it deserves a serious referee; the current one does not.

Referee Report

2 major / 3 minor

Summary. The paper proves (Theorem 1.1) that for a bounded C^{1,1} domain Ω and a W^{2,∞} minimal graph h, if G ∈ W^{1,p}(Ω×R) and φ ∈ W^{2,q}(Ω) are sufficiently small (with p ∈ ((n+1)/2, n+1) and q = np/(n+1−p)), then for any measurable H with |H| ≤ |G| there exists u ∈ W^{2,q}(Ω) with u − h − φ ∈ W^{1,q}_0(Ω) solving div(∇u/√(1+|∇u|^2)) = H(x,u,∇u) and ‖u−h‖_{W^{2,q}} < ε. The proof linearizes the mean curvature operator around the minimal surface h, builds a Leray–Schauder fixed point operator on a compact set of C^{1,α} graphs, and uses a trace lemma for the composition map G(·,v(·)).

Significance. If the proof were correct, the result would be a welcome perturbative existence theorem for prescribed mean curvature equations with right-hand sides only in a critical Sobolev space, extending earlier work that requires bounded or L∞ data. The overall strategy is standard and the trace lemma (Lemma 2.3) is a careful and useful application of Ziemer's results. However, the validity of Theorem 1.1 hinges on identity (2.29), which is false; the proof as written does not establish the theorem.

major comments (2)

[Section 2, Eq. (2.29)] Equation (2.29) is false. Let z = ∇h and w = ∇ũ, and set S = 1+|z+w|² and T = 1+|z|². The minimal surface equation gives h_{ii} = (z_i z_j / T) h_{ij}. Substituting this into A_{ij}(z+w) h_{ij} yields A_{ij}(z+w) h_{ij} = S^{-3/2} [ (|w|²+2z·w) z_i z_j / T − w_i w_j − w_i z_j − w_j z_i ] h_{ij}. The formula in (2.29) instead contains (|w|² + z·w) δ_{ij} in the bracket. The difference between the correct expression and (2.29) is S^{-3/2} (z·w) h_{ii}, which does not vanish in general. For example, the Scherk minimal surface h(x,y) = log(cos y / cos x) has h_{xx}+h_{yy} ≠ 0, and at (0.5,0) with w = (0.1,0) the two sides of (2.29) differ numerically. Hence (2.26) and (2.29) are not equivalent.
[Section 2, Eq. (2.31) and proof of Theorem 1.1] The fixed-point operator T is defined by (2.31), whose left-hand side is derived from the incorrect identity (2.29). Consequently, a fixed point of T satisfies (2.26) with an additional term (∇h·∇ũ) h_{ii} / (1+|∇h+∇ũ|²)^{3/2} on the left-hand side, not the stated equation. The assertion in the proof of Theorem 1.1 that a fixed point of T satisfies (2.26)–(2.27) therefore does not follow. This is a load-bearing gap for the main theorem.

minor comments (3)

[Theorem 2.4] The statement of the Leray–Schauder fixed point theorem is incorrect as written: the bound should hold for all u satisfying u = λ T u with λ ∈ [0,1], not for all u ∈ B. The subsequent proofs use the standard theorem, so this is a presentation issue.
[Equation (2.19)] The last norm in the chain should be W^{2,q}(Ω) rather than W^{2,p}(Ω), since the solution w constructed by Theorem 2.1 belongs to W^{2,q}(Ω).
[Throughout] There are numerous OCR/typos in the exponent notation, for example 'C^{1, 1/2 − n/(2q)}' appears as 'C1, 12− n2q'. The paper should be carefully typeset.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: Theorem 1.1 is proved by a self-contained fixed-point argument using external elliptic estimates; the author's prior paper is motivation only, not proof input.

full rationale

None of the circularity patterns apply. Theorem 1.1 is proved from the minimal surface equation (1.5) and the smallness assumption (1.6) by constructing the fixed-point map T of (2.31), with existence obtained by the Leray-Schauder theorem (Theorem 2.4), elliptic estimates from Gilbarg and Trudinger (Theorem 2.1), and the trace inequality from Ziemer (Theorem 2.2). The cited prior paper [11] is described only as motivation for the equation form (1.4); no part of the proof invokes [11] as a premise. The boundary condition, the right-hand side bound |H| ≤ |G|, and the given norms are inputs, while the conclusion u−h−φ ∈ W^{1,q}_0(Ω) and ‖u−h‖_{W^{2,q}} < ε are not assumed. The algebraic identity (2.29) is an expansion about the minimal surface h; even if the skeptical objection that the identity drops a term were correct, that would be a mathematical error risk, not circularity, because the identity is neither defined in terms of the sought solution nor fitted to it. No parameter is fitted and then relabeled as a prediction, and no uniqueness theorem from the authors' prior work is imported to force the choice of solution. The derivation chain is therefore self-contained against external benchmarks, so the circularity score is 0.

Assumptions & free parameters 0 free parameters · 5 assumptions · 0 invented entities

The proof relies entirely on external standard PDE theorems and the stated domain assumptions. There are no fitted parameters, no invented physical entities, and no ad hoc assumptions introduced solely to make the derivation work. The one identity in (2.29) is a derivation step, not an extra assumption, though it is not shown.

assumptions (5)

standard math Gilbarg-Trudinger Theorems 9.15, 9.13, and 9.1 guarantee existence, uniqueness, and W^{2,q} estimates for linear elliptic Dirichlet problems with C^{0,α} coefficients.
Invoked in Theorem 2.1 to solve L[∇v](u)=f and to obtain the necessary L^q and maximum principle bounds. These are unproved background results from the textbook [4].
standard math Ziemer's Theorem 5.12.4: for a positive Radon measure μ on R^{n+1} with K(μ)<∞, the inequality |∫φ dμ| ≤ c(n)K(μ)∫|∇φ| dL^{n+1} holds for φ∈C^1_c.
Used in Lemma 2.3 to control the L^q norm of G restricted to the graph of v. The condition K(μ)<∞ is verified in (2.11).
standard math Sobolev embedding and trace theorems: for q>n, W^{2,q}(Ω) embeds compactly into C^{1,1-n/q}; for p>(n+1)/2, W^{1,p}(Ω×R) restricts to graphs in L^q with q=n p/(n+1-p).
Used throughout to define the fixed-point space and to justify the trace estimate in Lemma 2.3 and the compactness argument.
standard math Leray-Schauder fixed point theorem (Gilbarg-Trudinger Theorem 11.3).
Used in Theorems 2.5 and 1.1 to produce fixed points of the compact continuous operator T.
domain assumption h is a W^{2,∞} solution of the minimal surface equation, and the data G∈W^{1,p}(Ω×R), φ∈W^{2,q}(Ω) are small in the stated norms.
These are the hypotheses of Theorem 1.1, not derived from anything. The smallness constant δ1 is chosen in (2.33) to make the fixed-point map well defined, and it depends on ε and the norm of h.

how reviews work

0 comments

Cite this review

Pith. "Pith review of The Dirichlet problem for a prescribed mean curvature equation." pith.science (2026). https://pith.science/paper/UXJEK3MF

@misc{pith2026190806584,
  author       = {Pith},
  title        = {Pith review of: The Dirichlet problem for a prescribed mean curvature equation},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/UXJEK3MF}},
  note         = {Machine review of arXiv:1908.06584}
}

read the original abstract

We study a prescribed mean curvature problem where we seek a surface whose mean curvature vector coincides with the normal component of a given vector field. We prove that the problem has a solution near a graphical minimal surface if the prescribed vector field is sufficiently small in a dimensionally sharp Sobolev norm.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

12 extracted references · 12 canonical work pages

[11]

A diffused interface with the advection term in a Sobolev space

Y. Tonegawa, Y. Tsukamoto, A diﬀused interface with the advection term in a Sobolev space, arXiv:1904.00525

work page Pith review arXiv 1904
[1]

Bergner, The Dirichlet problem for graphs of prescribed anisotropic mean curvature in Rn+1, Analysis (Munich) 28 (2008), 149–166

M. Bergner, The Dirichlet problem for graphs of prescribed anisotropic mean curvature in Rn+1, Analysis (Munich) 28 (2008), 149–166

work page 2008
[2]

Gerhardt, Existence, regularity, and boundary behaviour of generalized surfaces of prescribed mean curvature, Math

C. Gerhardt, Existence, regularity, and boundary behaviour of generalized surfaces of prescribed mean curvature, Math. Z. 139 (1974), 173–198

work page 1974
[3]

Giaquinta, On the Dirichlet problem for surfaces of prescribed mean curvature , Manuscripta Math

M. Giaquinta, On the Dirichlet problem for surfaces of prescribed mean curvature , Manuscripta Math. 12 (1974), 73–86

work page 1974
[4]

Gilbarg, N

D. Gilbarg, N. Trudinger, Elliptic partial diﬀerential equations of second order, Second edition, Springer-Verlag, Berlin, (1983)

work page 1983
[5]

Giusti, On the equation of surfaces of prescribed mean curvature

E. Giusti, On the equation of surfaces of prescribed mean curvature. Existence and uniqueness without boundary conditions , Invent. Math., 46, no. 2 (1978), 111–137

work page 1978
[6]

Hayasida, M

K. Hayasida, M. Nakatani, On the Dirichlet problem of prescribed mean curvature equations without H-convexity condition , Nagoya Math. J. 157 (2000), 177–209

work page 2000
[7]

Jenkins, J

H. Jenkins, J. Serrin, The Dirichlet problem for the minimal surface equation in higher dimensions, J. Reine Angew. Math. 229 (1968), 170–187

work page 1968

Show all 12 references

[8]

Marquardt, Remark on the anisotropic prescribed mean curvature equation on arbitrary domains, Math

T. Marquardt, Remark on the anisotropic prescribed mean curvature equation on arbitrary domains, Math. Z. 264 (2010) 507–511

2010
[9]

Miranda, Dirichlet problem with L1 data for the non-homogeneous minimal surface equation, Indiana Univ

M. Miranda, Dirichlet problem with L1 data for the non-homogeneous minimal surface equation, Indiana Univ. Math. J. 24 (1974), 227–241

1974
[10]

Serrin, The problem of Dirichlet for quasilinear elliptic diﬀerential equations with many independent variables , Phil

J. Serrin, The problem of Dirichlet for quasilinear elliptic diﬀerential equations with many independent variables , Phil. Trans. R. Soc. Lond. A 264 (1969), 413–496

1969
[12]

Ziemer, Weakly diﬀerentiable functions, Springer-Verlag (1989)

W.P. Ziemer, Weakly diﬀerentiable functions, Springer-Verlag (1989). Department of Mathematics, Tokyo Institute of Technology, 152-8551, Tokyo, Japan E-mail address: tsukamoto.y.ag@m.titech.ac.jp

1989

Pith tools

Reviewed August 14, 2026 · model on record in the stance chip above.

[1] [11]

A diffused interface with the advection term in a Sobolev space

Y. Tonegawa, Y. Tsukamoto, A diﬀused interface with the advection term in a Sobolev space, arXiv:1904.00525

work page Pith review arXiv 1904

[2] [1]

Bergner, The Dirichlet problem for graphs of prescribed anisotropic mean curvature in Rn+1, Analysis (Munich) 28 (2008), 149–166

M. Bergner, The Dirichlet problem for graphs of prescribed anisotropic mean curvature in Rn+1, Analysis (Munich) 28 (2008), 149–166

work page 2008

[3] [2]

Gerhardt, Existence, regularity, and boundary behaviour of generalized surfaces of prescribed mean curvature, Math

C. Gerhardt, Existence, regularity, and boundary behaviour of generalized surfaces of prescribed mean curvature, Math. Z. 139 (1974), 173–198

work page 1974

[4] [3]

Giaquinta, On the Dirichlet problem for surfaces of prescribed mean curvature , Manuscripta Math

M. Giaquinta, On the Dirichlet problem for surfaces of prescribed mean curvature , Manuscripta Math. 12 (1974), 73–86

work page 1974

[5] [4]

Gilbarg, N

D. Gilbarg, N. Trudinger, Elliptic partial diﬀerential equations of second order, Second edition, Springer-Verlag, Berlin, (1983)

work page 1983

[6] [5]

Giusti, On the equation of surfaces of prescribed mean curvature

E. Giusti, On the equation of surfaces of prescribed mean curvature. Existence and uniqueness without boundary conditions , Invent. Math., 46, no. 2 (1978), 111–137

work page 1978

[7] [6]

Hayasida, M

K. Hayasida, M. Nakatani, On the Dirichlet problem of prescribed mean curvature equations without H-convexity condition , Nagoya Math. J. 157 (2000), 177–209

work page 2000

[8] [7]

Jenkins, J

H. Jenkins, J. Serrin, The Dirichlet problem for the minimal surface equation in higher dimensions, J. Reine Angew. Math. 229 (1968), 170–187

work page 1968