REVIEW 3 major objections 4 minor 37 references
Well-posedness for the mean curvature flow on the half-space and on bounded domains
T0 review · 3 major / 4 minor · reviewed 2026-08-14 · deepseek-v4-flash
Pith's one-line read Graphical mean curvature flow with a fixed Dirichlet boundary is locally well-posed for Lipschitz initial graphs that are approximated by smooth boundary-compatible profiles, and globally well-posed with exponential decay when the…
desk verdict Serious and mostly correct fixed-boundary critical-Lipschitz theory for graphical MCF in arbitrary codimension; the main caveats are heavy reliance on the authors' Part I estimate and a few fixable gaps in the bounded-domain proof. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The central object is a time-weighted boundary Schauder theory for variable-coefficient parabolic systems. On the half-space, the method freezes the coefficient matrix at a point and uses a linear transformation preserving $\mathbb{R}^d_+$ to reduce the frozen operator to the Laplacian; the error is controlled by moment estimates for the Dirichlet heat kernel. The critical forcing is extended oddly across the boundary, which moves derivatives onto the kernel, and structural boundary identities—in particular $\Delta^k f=0$ on the flat boundary (Lemma 5.3)—propagate the Dirichlet condition to higher order without extra compatibility assumptions. On curved domains, localization and boundary flattening produce anisotropic estimates in which tangential directions gain a full Hölder exponent while one normal derivative is lost; Lemma 5.4 expresses even normal derivatives through derivatives of the forcing and lower-normal-order terms, allowing a recursive closure. The whole-space time-weighted Schauder estimate of Part I (Theorem 2.1) is used to control interior patches.
What would settle it
Conduct a numerical test of the imported estimate: take a smooth compactly supported $u_0$ and an $x$-dependent coefficient field such as $L(t,x,\xi)=(1+\delta\cos(x\cdot\xi_0))|\xi|^2$ satisfying (2.2), solve (2.1) accurately, and compare the supremum in (2.3) with the claimed right-hand side. A single violation of the bound, especially of the exponential factor $e^{CT\log T}$ in the variable-coefficient case, would invalidate the imported theorem on which both main results rely; conversely, a sharp numerical confirmation would corroborate the paper's foundation.
Extended reading notes
Core claim
The paper proves local well-posedness for the graphical mean curvature system $\partial_t f = A[\nabla f]:\nabla^2 f$ in $(0,T)\times\Omega$ with $f=0$ on $\partial\Omega$ and $f(0)=f_0$, where $\Omega$ is the half-space or a $C^{2m+3}$ bounded domain and $A[p]=(\mathrm{Id}+\sum_\alpha p_\alpha\otimes p_\alpha)^{-1}$. The admissible initial data lie in the $W^{1,\infty}$-closure of smooth functions vanishing on the boundary; no higher-order compatibility conditions at $t=0$ are required. The solution is unique in a time-weighted Hölder class and satisfies weighted estimates such as $\sup_{0<t\le T_0}(\|\nabla f(t)\|_{L^\infty}+t^{m+(1+\kappa)/2}\|\nabla^{2m+2}f(t)\|_{\dot C^\kappa}+t^{m+(1+\kappa)/2}\|\nabla^{2m}\partial_t f(t)\|_{\dot C^\kappa})\le C\|f_0\|_{\dot W^{1,\infty}}$ on the half-space, with an analogous anisotropic bound on bounded domains. Under smallness of the Lipschitz seminorm the solution is global; on bounded domains exponential decay to the flat graph follows from an energy inequality, Poincaré's inequality, and interpolation. Positive-time regularization is quantified by weighted Hölder estimates whose weights remain bounded as $t\downarrow 0$, and on the flat boundary the solution satisfies the extra identities $\Delta^k f=0$ for $k=1,\ldots,m$.
Load-bearing premise
The whole proof leans on the whole-space time-weighted Schauder estimate imported from the authors' Part I preprint (Theorem 2.1), whose structural assumptions and exponential factor are not re-derived here; any gap there would invalidate both main theorems.
Editorial extensions
If this is right
- On both the half-space and bounded domains, any initial graph satisfying the approximation condition is immediately smoothed: for every $t>0$ the solution has the full higher-order Hölder regularity quantified by the weighted estimates, with no compatibility conditions imposed at $t=0$.
- Small Lipschitz initial data yield global solutions; on bounded domains the solution converges exponentially to the flat graph, making the flat graph asymptotically stable within the critical class.
- On the half-space the solution satisfies the extra boundary identities $\Delta^k f=0$ on $\partial\mathbb{R}^d_+$ for $k=1,\ldots,m$, so the Dirichlet condition propagates to all orders without extra assumptions.
- For bounded domains, the Dirichlet heat semigroup provides admissible approximations whenever it converges in $W^{1,\infty}$; whenever it does, the theorem supplies a unique short-time solution with the stated weighted bounds.
Reading between the lines
- The same coefficient-freezing, parity-extension, and recursive-normal-derivative scheme is likely to transfer to other quasilinear parabolic systems at their critical scaling with homogeneous Dirichlet conditions, such as surface-diffusion or two-phase free-boundary problems.
- The approximability hypothesis is plausibly a genuine restriction: Lipschitz data whose gradient is not uniformly continuous up to the boundary (for instance, an oscillating normal derivative) may fail the required $W^{1,\infty}$ convergence of the Dirichlet heat semigroup, and the theorem is silent for them—suggesting that at critical regularity the Dirichlet trace behaves as a propagated structu
- If the imported whole-space estimate could be proven with a polynomial-in-$T$ factor instead of $e^{CT\log T}$, the long-time bounds on bounded domains would sharpen; testing the sharpness of that factor on $x$-dependent coefficients is a concrete next step.
- The half-space parity argument hints at an underlying reflection principle: odd extensions of the critical forcing preserve Hölder regularity, which may allow defining weak solutions for boundary data in trace classes beyond the approximable set.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper develops a boundary Schauder theory for the graphical mean curvature flow in arbitrary codimension, subject to homogeneous Dirichlet boundary conditions, on the half-space and on smooth bounded domains. It claims local well-posedness at the scaling-critical Lipschitz regularity for initial graphs that are W^{1,∞}-limits of smooth boundary-compatible profiles, global existence when the Lipschitz seminorm is sufficiently small, and exponential convergence to the flat graph on bounded domains. The proof combines coefficient freezing with odd/even parity extensions on the half-space, boundary identities specific to the graphical system, localization and boundary flattening on curved domains with anisotropic estimates, and an energy-based bootstrap for global decay. A central whole-space time-weighted Schauder estimate is imported from the authors' Part I preprint [7].
Significance. If the results are correct, they provide a fixed-boundary, critical-regularity theory for graphical mean curvature flow in arbitrary codimension, complementing the whole-space theory of Koch and Lamm and extending earlier boundary results. The paper's original contributions include the flat-boundary model estimates (Lemmas 2.4 and 2.6), the parity-based boundary identities (Lemmas 5.1–5.4), and the recursive recovery of normal derivatives on curved boundaries. The exposition is detailed and the structural arguments are coherent. However, the two main theorems rest on the imported whole-space Schauder estimate Theorem 2.1 from [7], which is not re-derived here; in addition, there is a concrete mismatch between the symbol regularity demanded by that theorem and the regularity stated in Theorems 1.1 and 1.2. These issues are load-bearing and require attention before the claims can be regarded as established.
major comments (3)
- [Section 4.2, contraction step] In the contraction proof for Theorem 1.2(i), the interior estimate gives ∥f^in∥_{Z^m_{T,1}} ≲ (1+T)^m(σ+T^{κ/2}∥φ∥)(1+...)(∥f∥_{Z^m_T}+∥g∥_{Z^m_T}). The text then states: 'Since ∥f^in∥_{Z^m_{T,1}} ≤ ∥f∥_{Z^m_T}, we can take σ and T small enough to ensure ∥f^in∥_{Z^m_{T,1}} ≤ 2^{-10dm}∥g∥_{Z^m_T}.' This inference is invalid as written: the small factor multiplies (∥f∥+∥g∥), not ∥g∥ alone, and the inequality ∥f^in∥ ≤ ∥f∥ does not permit discarding the ∥f∥ term on the right. The absorption of the ∥f∥ term must be performed after combining the interior and boundary estimates, with the full norm on the left-hand side. As written, the proof of contractivity on bounded domains is incomplete.
- [Section 2.2 and Theorems 1.1–1.2] Assumption (2.2) in Theorem 2.1 requires sup_{0≤j,l≤d+m+4} |ξ|^{l-2}|∇^j_x∇^l_ξ L(t,x,ξ)| ≤ M. For the symbol L = A[∇φ]:ξξ^T, the j-th x-derivative involves derivatives of φ up to order j+1, so the assumption forces φ to belong to C^{d+m+5}. Theorems 1.1 and 1.2, however, state that the lifespan and constants depend only on ∥φ∥_{C^{2m+3}_b} (respectively ∥e^{ε1∆}f0∥_{C^{2m+3}}). For m < d+2 (which includes d=2, m=1,2,3 and d=3, m=1,2,3, among others), d+m+5 > 2m+3, so the stated regularity dependence is not justified by the quoted Theorem 2.1. This is load-bearing: either the main theorems must be stated with dependence on a higher norm, or Theorem 2.1 must be proved or quoted with symbol regularity only through order 2m+3, or a separate argument must show that the actual symbol A[∇g] supplies the needed regularity under the hypotheses of the theorems.
- [Section 2.2 and proofs of Theorems 1.1 and 1.2] The main theorems rely crucially on Theorem 2.1, imported from the authors' Part I preprint [7], and on Lemma 2.2, whose proof is deferred to [7]. Theorem 2.1 is used in essential places: the interior-patch estimate (4.25) in the bounded-domain proof, the definition of the solution map Sg on nonsmooth g by smooth approximation in Section 3.2 and Section 4.2, and the higher-order odd-extension estimate (3.14). Since [7] is an unpublished preprint, a gap in its proof would invalidate Theorems 1.1 and 1.2. The manuscript should either include a complete proof of the needed whole-space estimate, or state explicitly that the main theorems are conditional on [7], or cite a published version. Without this, the central claim is not self-contained.
minor comments (4)
- [Section 2.3, Lemma 2.3(2)] The statement says 'there exists κ∈(0,κ)' but the displayed estimate (2.9) uses the same symbol κ on both sides; the proof introduces a different κ = κ/(2(1+κ)) for the exponents. Please clarify the notation to avoid ambiguity.
- [Section 2.1] The sentence 'This section collects the notation and linear Schauder estimates that will be used throughout the nonlinear analysis.' appears twice, once at the beginning of Section 2 and again at the beginning of Section 2.1.
- [Equation (2.23)] The chain in (2.23) uses κ for two different exponents (κ and κ−κ) in the same displayed estimate, which is hard to read; consider renaming one of the exponents.
- [Section 4.1, equation (4.6)] The notation R_i[h,α] is defined with a bracket but then used with arguments (χ_i f, ∇g̃_i(∇Φ_i)^{-1}); the typesetting of the second argument should be checked for consistency.
Circularity Check
No circular derivation: the boundary well-posedness results are new outputs, and the principal self-citations are framework imports that do not assume the target theorems.
full rationale
Walking the derivation chain, the paper's central claims (Theorems 1.1 and 1.2) are not equivalent to their inputs by construction. The solution is produced by a fixed-point contraction around a smooth boundary-compatible profile φ (half-space) or φ=e^{ε1ΔΩ}f0 (bounded domain), with the difference f−φ solving a linearized equation whose forcing is the quadratic coefficient difference (A[∇g]−A[∇φ]):∇²f; smallness of ∥f0−φ∥_{W^{1,∞}} is used only to make that forcing small, while the lifespan depends on φ. No fitted parameter is renamed as a prediction, and no quantity used in the estimates is defined through the claims being proved. The main load-bearing import is Theorem 2.1, the whole-space time-weighted Schauder estimate from the authors' Part I [7], used in the interior-patch estimate (4.25), in the higher-order odd-extension bound (3.14), and in defining Sg for rough g by smooth approximation. The paper says explicitly: 'The interior estimates follow from the time-weighted whole-space Schauder theory established in Part I [7], recalled below as Theorem 2.1.' This is a self-citation, and it is load-bearing; however, it is not circularity under the stated rules, because Theorem 2.1 concerns a different class of whole-space variable-coefficient parabolic systems and its assumptions (2.2) do not include the half-space or bounded-domain Dirichlet results, the boundary identities, or the nonlinear small-data claims. Lemma 2.2 and Lemma 3.4 are also deferred to [7] ('For the proof, see Section 2 of [7]'), but they are elementary/technical kernel and composition lemmas with the same non-circular status. The paper itself flags the rough-data construction as non-circular: 'The construction of S for rough data can now be justified without circularity. Choose δ_q↓0, set f_{0,q}=e^{δ_qΔΩ}f0, and choose smooth boundary-compatible g_q→g in Z^m_T... compactness... yields a solution.' This is a legitimate limiting procedure from uniform a priori estimates, not a self-justifying definition. The genuine vulnerability is self-containedness: if [7]'s whole-space estimate had a gap, the bounded-domain and rough-data arguments would fail through (4.25), (3.14), and the definition of Sg. But that is a correctness/verification risk, not circularity. Accordingly the score is 2: one or more self-citations are present and technically load-bearing, while the central derivation retains independent content.
Assumptions & free parameters
assumptions (5)
- standard math Whole-space time-weighted Schauder estimate (Theorem 2.1)
- standard math Classical linear parabolic theory for smooth coefficients and smooth data
- standard math Heat kernel estimates (2.4) and (2.16) for the Dirichlet and Neumann kernels
- domain assumption W^{1,infty}-approximability of f0 by smooth boundary-compatible profiles
- domain assumption C^{2m+3} boundary geometry and finite Vitali cover
Cite this review
Pith. "Pith review of Well-posedness for the mean curvature flow on the half-space and on bounded domains." pith.science (2026). https://pith.science/paper/SGMWPY7Z
@misc{pith2026260808901,
author = {Pith},
title = {Pith review of: Well-posedness for the mean curvature flow on the half-space and on bounded domains},
year = {2026},
howpublished = {\url{https://pith.science/paper/SGMWPY7Z}},
note = {Machine review of arXiv:2608.08901}
}
abstract
We study graphical mean curvature flow in arbitrary codimension over the half-space and over smooth bounded domains, subject to homogeneous Dirichlet boundary conditions. At the scaling-critical Lipschitz regularity, we prove local well-posedness for initial graphs that can be approximated in $W^{1,\infty}$ by smooth profiles compatible with the boundary condition. Within this class, if the initial Lipschitz seminorm is sufficiently small, the corresponding solution is global; on a bounded domain, it also converges exponentially to the flat graph. Positive-time regularization is quantified by time-weighted H\"older estimates whose weighted quantities remain bounded as $t\downarrow0$. The main analytic ingredient is a boundary Schauder theory for variable-coefficient parabolic systems. On the half-space, it combines coefficient freezing with parity extensions and boundary identities intrinsic to the graphical system. On curved domains, localization and boundary flattening lead to anisotropic estimates, from which normal derivatives are recovered recursively.
Reference graph
Works this paper leans on
-
[7]
K. Chen, R. Hu, Q.-H. Nguyen.Schauder-type estimates and well-posedness for nonlocal quasi- linear evolution equations in fluid dynamics.arXiv:2604.10682, 2026
arXiv 2026
-
[1]
B. Andrews, J. Clutterbuck.Time-interior gradient estimates for quasilinear parabolic equations. Indiana Univ. Math. J., 58 (2009), no. 1, 351–380
work page 2009
-
[2]
T. Chang, K. Kang.Local regularity near boundary for the Stokes and Navier–Stokes equations. SIAM J. Math. Anal. 55 (2023), no. 5, 5051–5085. DOI:10.1137/22M150397X
-
[3]
A. Chau, J. Chen, W. He.Lagrangian mean curvature flow for entire Lipschitz graphs.Calc. Var. Partial Differential Equations 44 (2012), no. 1–2, 199–220. DOI:10.1007/s00526-011-0431-x
-
[4]
A. Chau, J. Chen, Y. Yuan.Lagrangian mean curvature flow for entire Lipschitz graphs II.Math. Ann. 357 (2013), no. 1, 165–183. DOI:10.1007/s00208-013-0897-2
-
[5]
J. Clutterbuck, O. C. Schn¨ urer.Stability of mean convex cones under mean curvature flow.Math. Z. 267 (2011), no. 3–4, 535–547. DOI:10.1007/s00209-009-0634-4
-
[6]
K. Chen, R. Hu, Q.-H. Nguyen,Well-posedness for local and nonlocal quasilinear evolution equa- tions in fluids and geometry.arXiv:2407.05313
-
[8]
K. Chen, R. Hu, Q.-H. Nguyen,Schauder-type Estimates and Log-Critical Well-posedness for the Two-Phase Muskat Problem with Surface Tension, arXiv:2606.12388
Show all 37 references
-
[9]
Bahouri, J
H. Bahouri, J. Y. Chemin, R. Danchin.Fourier Analysis and Nonlinear Partial Differential Equations.Springer, 2011. DOI:10.1007/978-3-642-16830-7
2011 doi
-
[10]
Constantin, M
P. Constantin, M. Ignatova, Q.-H. Nguyen.Global regularity for critical SQG in bounded domains. Comm. Pure Appl. Math. 78 (2025), no. 1, 3–59. DOI:10.1002/cpa.22221
2025 doi
-
[11]
Constantin, M
P. Constantin, M. Ignatova.Remarks on the fractional Laplacian with Dirichlet boundary conditions and applications.Int. Math. Res. Not. IMRN 2017 (2017), no. 6, 1653–1673. DOI:10.1093/imrn/rnw098
2017 doi
-
[12]
Constantin, M
P. Constantin, M. Ignatova.Critical SQG in bounded domains.Ann. PDE 2 (2016), Paper No. 8. DOI:10.1007/s40818-016-0017-1
2016 doi
-
[13]
Constantin, M
P. Constantin, M. Ignatova.Estimates near the boundary for critical SQG.Ann. PDE 6 (2020), no. 1, Paper No. 3, 30 pp. DOI:10.1007/s40818-020-00079-7
2020 doi
-
[14]
Ecker, G
K. Ecker, G. Huisken,Interior estimates for hypersurfaces moving by mean curvature., Invent. Math., 105:547–569, 1991
1991
-
[15]
Ecker, G
K. Ecker, G. Huisken,Mean curvature evolution of entire graphs.Ann. of Math., 130:453–471, 1989
1989
-
[16]
Huisken,Non-parametric mean curvature evolution with boundary conditions, Journal of Dif- ferential Equations 77 (2) (1989), 369–378
G. Huisken,Non-parametric mean curvature evolution with boundary conditions, Journal of Dif- ferential Equations 77 (2) (1989), 369–378
1989
-
[17]
Han.Well-posedness of mean curvature flow.arXiv:2603.22809 [math.DG], 2026
Y. Han.Well-posedness of mean curvature flow.arXiv:2603.22809 [math.DG], 2026
2026
-
[18]
Hershkovits.Mean curvature flow of Reifenberg sets.Geom
O. Hershkovits.Mean curvature flow of Reifenberg sets.Geom. Topol. 21 (2017), no. 1, 441–484. DOI:10.2140/gt.2017.21.441
2017 doi
-
[19]
Hershkovits.Mean curvature flow of arbitrary co-dimensional Reifenberg sets.Calc
O. Hershkovits.Mean curvature flow of arbitrary co-dimensional Reifenberg sets.Calc. Var. Par- tial Differential Equations 57 (2018), no. 6, Paper No. 148. DOI:10.1007/s00526-018-1424-9
2018 doi
-
[20]
Jang, J.Capillary-type boundary value problems of mean curvature flows with force and transport terms on a bounded domain.Calc. Var. 62, 108 (2023)
2023
-
[21]
M. Kim, M. Weidner.Optimal boundary regularity and Green function estimates for non- local equations in divergence form.J. Eur. Math. Soc., published online first, 2025. DOI:10.4171/JEMS/1760. 53
2025 doi
-
[22]
H. Koch, T. Lamm.Geometric flows with rough initial data.Asian J. Math. 16 (2012), no. 2, 209–236. DOI:10.4310/ajm.2012.v16.n2.a3. arXiv:0902.1488 [math.DG]
2012 arXiv
-
[23]
H. Koch, T. Lamm.Parabolic equations with rough data.Math. Bohem. 140 (2015), no. 4, 457–
2015
-
[24]
H. B. Lawson, R. Osserman.Non-existence, non-uniqueness and irregularity of solutions to the minimal surface system., Acta Math., 139:1–17, 1977
1977
-
[25]
F. Lin, Y. Sire, J. Wei, Y. Zhou.Nematic liquid crystal flow with partially free boundary.Arch. Ration. Mech. Anal. 247 (2023), Paper No. 20. DOI:10.1007/s00205-023-01859-8
2023 doi
-
[26]
G. M. Lieberman,Second order parabolic differential equations, World Sci. Publ., River Edge, NJ, 1996; MR1465184
1996
-
[27]
Nguyen, S
Q.-H. Nguyen, S. Nowak, Y. Sire, M. Weidner.Potential theory for nonlocal drift–diffusion equa- tions.Arch. Ration. Mech. Anal. 248 (2024), Paper No. 126. DOI:10.1007/s00205-024-02073-w
2024 doi
-
[28]
Savas-Halilaj, K
A. Savas-Halilaj, K. Smoczyk.Codimension two mean curvature flow of entire graphs.J. Lond. Math. Soc. (2) 110 (2024), no. 5, Paper No. e13000, 33 pp. DOI:10.1112/jlms.13000
2024 doi
-
[29]
Y. Sire, J. Wei, Y. Zheng.Singularity formation in the harmonic map flow with free boundary. Amer. J. Math. 145 (2023), no. 4, 1273–1314. DOI:10.1353/ajm.2023.a902958
2023 doi
-
[30]
Y. Sire, J. Wei, Y. Zheng.Infinite time bubbling for theSU(2)Yang–Mills heat flow onR 4. arXiv:2208.13875 [math.AP], 2022
2022 arXiv
-
[31]
Y. Sire, J. Wei, Y. Zheng, Y. Zhou.Global oscillatory solutions for the Yang–Mills heat flow. arXiv:2601.21017 [math.AP], 2026
2026
-
[32]
Y. Sire, Y. Wu, Y. Zhou.Global existence of weak solutions to the two-dimensional nematic liquid crystal flow with partially free boundary.J. Lond. Math. Soc. 110 (2024), no. 5, e70008. DOI:10.1112/jlms.70008
2024 doi
-
[33]
Tsui, M.-T
M.-P. Tsui, M.-T. Wang.Mean curvature flows and isotopy of maps between spheres.Comm. Pure Appl. Math. 57 (2004), no. 8, 1110–1126. DOI:10.1002/cpa.20022
2004 doi
-
[34]
Wang.Long-time existence and convergence of graphic mean curvature flow in arbitrary codimension., Invent.Math., 148:525–543, 2002
M.-T. Wang.Long-time existence and convergence of graphic mean curvature flow in arbitrary codimension., Invent.Math., 148:525–543, 2002
2002
-
[35]
Wang.The Dirichlet problem for the minimal surface system in arbitrary dimensions and codimensions.Comm
M.-T. Wang.The Dirichlet problem for the minimal surface system in arbitrary dimensions and codimensions.Comm. Pure Appl. Math. 57 (2004), no. 2, 267–281. DOI:10.1002/cpa.10117
2004 doi
-
[36]
Wang.The mean curvature flow smoothes Lipschitz submanifolds.Comm
M.-T. Wang.The mean curvature flow smoothes Lipschitz submanifolds.Comm. Anal. Geom. 12 (2004), no. 3, 581–599. DOI:10.4310/CAG.2004.v12.n3.a4. 54
2004 doi
-
[477]
DOI:10.21136/MB.2015.144463
2015
Reviewed August 14, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.