Dual formulations of geometric curvature flows and their discretizations
Pith reviewed 2026-05-10 04:00 UTC · model grok-4.3
The pith
Dual formulations of curvature flows introduce a multiplier that makes energy stability explicit for designing linearly implicit schemes.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
Introducing a dual multiplier into the continuous formulation of curvature flows renders the energy-dissipation law explicit, yielding an equivalent system that directly guides the design of linearly implicit, energy-stable discretizations while accommodating tangential motions for mesh control.
What carries the argument
The dual multiplier, an auxiliary variable introduced at the continuous level that augments the curvature flow equations to make their variational energy structure available for discretization.
Load-bearing premise
Adding the dual multiplier at the continuous level leaves the original curvature flow dynamics unchanged.
What would settle it
A side-by-side computation showing that the dual formulation produces surface evolution trajectories or energy decay rates that differ from those of the original curvature flow equations.
Figures
read the original abstract
We propose new formulations of geometric curvature flows -- referred to as \emph{dual formulations} -- that are equivalent to the original formulations but provide a novel framework for constructing linearly implicit and energy-stable schemes for curvature-driven surface evolution, including mean curvature flow, surface diffusion, and solid-state dewetting on a substrate with a moving contact line. The dual formulations are derived by introducing, at the continuous level, an additional unknown in the form of a dual multiplier. This augmentation does not alter the continuous dynamics but makes the underlying energy-dissipation structure explicit and, in turn, enables a systematic design of linearly implicit discretizations that inherit energy stability. A key feature of this framework is that it accommodates a broad class of artificial tangential motions which can be used to maintain good mesh quality of the computed surfaces. As an illustration, we combine the framework with the minimal-deformation-rate (MDR) tangential motion, leading to what we call the \emph{dual-MDR} scheme. The resulting method is linearly implicit and energy-stable, while retaining the MDR tangential motion to maintain good mesh quality. Extensive numerical experiments demonstrate the convergence of the proposed schemes, their structure-preserving properties, and advantages on representative benchmark problems.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript proposes dual formulations of geometric curvature flows (mean curvature flow, surface diffusion, solid-state dewetting with moving contact lines) obtained by augmenting the original system with an auxiliary dual multiplier at the continuous level. These formulations are asserted to be equivalent to the primal geometric flows while rendering the energy-dissipation identity explicit, thereby enabling a systematic construction of linearly implicit, energy-stable discretizations. The framework is combined with minimal-deformation-rate (MDR) tangential motion to produce the dual-MDR scheme, which preserves mesh quality; extensive numerical tests on benchmarks are reported to demonstrate convergence, structure preservation, and practical advantages.
Significance. If the equivalence and inheritance of energy stability are rigorously established, the work supplies a new, systematic route to linearly implicit structure-preserving schemes for curvature-driven surface evolution. The explicit incorporation of artificial tangential velocities (MDR) while retaining stability is a practical contribution that addresses a common difficulty in surface discretizations. The approach could influence the design of numerical methods for geometric PDEs in materials science and computational geometry.
major comments (3)
- [§2.3] §2.3, Eq. (2.12)–(2.15): the elimination of the dual multiplier λ to recover the original curvature term and moving-contact-line condition is presented formally; the argument does not explicitly verify that the resulting velocity field satisfies the original weak form without additional tangential or normal constraints in the function space used later for discretization. This step is load-bearing for the equivalence claim.
- [§4.1] §4.1, Theorem 4.2: the discrete energy-dissipation identity for the dual-MDR scheme is derived under the assumption that the discrete multiplier satisfies an exact orthogonality relation with the tangential velocity; no a-priori estimate or numerical verification is given that this relation holds uniformly under mesh refinement or for the contact-line condition.
- [§3.2] §3.2: the stability analysis of the continuous dual formulation is performed in a strong sense; it is unclear whether the same energy identity persists in the weak formulation required to justify the finite-element discretization and the passage to the limit.
minor comments (3)
- [§2] Notation for the dual multiplier is introduced in §2 but reused with different subscripts in §4 without a consolidated table of symbols.
- [Figure 5] Figure 5 (dewetting example): the color scale for the multiplier field is not described in the caption, making it difficult to interpret the reported values.
- [Table 1] The convergence rates in Table 1 are reported only for the L² norm of the position; an additional column for the curvature error would strengthen the structure-preservation claim.
Simulated Author's Rebuttal
We thank the referee for the careful reading and constructive comments on our manuscript. We address each major comment below, providing clarifications where possible and indicating revisions that will strengthen the presentation of equivalence, stability, and discrete properties.
read point-by-point responses
-
Referee: [§2.3] §2.3, Eq. (2.12)–(2.15): the elimination of the dual multiplier λ to recover the original curvature term and moving-contact-line condition is presented formally; the argument does not explicitly verify that the resulting velocity field satisfies the original weak form without additional tangential or normal constraints in the function space used later for discretization. This step is load-bearing for the equivalence claim.
Authors: We appreciate the referee's observation that the formal elimination step in §2.3 requires explicit verification in the weak sense. In the revised manuscript we will expand this section with a detailed substitution argument: after solving for λ and inserting the resulting curvature and contact-line expressions back into the weak form, we show that the velocity field satisfies the original weak formulation exactly, using the same function spaces later employed for discretization. This calculation confirms that no extraneous tangential or normal constraints are imposed beyond those of the primal problem, thereby making the equivalence rigorous. revision: yes
-
Referee: [§4.1] §4.1, Theorem 4.2: the discrete energy-dissipation identity for the dual-MDR scheme is derived under the assumption that the discrete multiplier satisfies an exact orthogonality relation with the tangential velocity; no a-priori estimate or numerical verification is given that this relation holds uniformly under mesh refinement or for the contact-line condition.
Authors: We acknowledge that the orthogonality assumption is central to Theorem 4.2. In the discrete setting this relation holds exactly by construction of the finite-element spaces and the definition of the MDR tangential velocity, which is chosen to lie in the orthogonal complement of the multiplier space. We will add a short algebraic verification of this exact discrete orthogonality in the revised §4.1. In addition, we will include numerical checks confirming that the relation remains satisfied to machine precision under successive mesh refinements, including for moving-contact-line problems. While a general a-priori estimate lies beyond the present scope, the exact discrete identity together with the numerical evidence addresses the concern for the schemes under consideration. revision: partial
-
Referee: [§3.2] §3.2: the stability analysis of the continuous dual formulation is performed in a strong sense; it is unclear whether the same energy identity persists in the weak formulation required to justify the finite-element discretization and the passage to the limit.
Authors: The referee correctly notes that the energy analysis in §3.2 is written in strong form for clarity. The same identity nevertheless follows from the weak formulation by testing the dual equations with suitable test functions from the underlying function spaces. In the revision we will insert a short derivation (either in §3.2 or an appendix) that obtains the energy-dissipation relation directly from the weak form. This step will explicitly justify the subsequent finite-element discretization and the passage to the limit as the mesh size tends to zero. revision: yes
Circularity Check
No circularity: dual augmentation is an independent reformulation with explicit equivalence claim
full rationale
The derivation introduces a dual multiplier at the continuous level to expose the energy-dissipation identity, then asserts that the augmented system is equivalent to the original geometric flows (mean curvature flow, surface diffusion, dewetting) because the multiplier can be eliminated to recover the primal PDE and contact-line conditions. This step is presented as a reversible augmentation that does not alter admissible velocities or add hidden constraints. No self-definitional loop appears: the original flow is not defined in terms of the dual multiplier, nor is any prediction fitted to data and then re-labeled. MDR tangential motion is combined as an optional feature rather than a load-bearing premise. The central claim therefore rests on a direct (if formal) equivalence argument at the PDE level rather than on self-citation chains, fitted inputs, or renamed empirical patterns. The subsequent discretization inherits stability from the augmented energy law, which is a standard consequence once equivalence is granted. Hence the derivation chain is self-contained against external benchmarks.
Axiom & Free-Parameter Ledger
axioms (1)
- domain assumption The augmentation by the dual multiplier does not alter the continuous dynamics of the original curvature flow.
invented entities (1)
-
dual multiplier
no independent evidence
Reference graph
Works this paper leans on
-
[1]
S. M. Allen and J. W. Cahn. A microscopic theory for antiphase boundary motion and its application to antiphase domain coarsening.Acta metallurgica, 27(6):1085–1095, 1979
work page 1979
- [2]
- [3]
-
[4]
E. B¨ ansch, P. Morin, and R. H. Nochetto. A finite element method for surface diffusion: the parametric case.J. Comput. Phys., 203(1):321–343, 2005
work page 2005
-
[5]
W. Bao, W. Jiang, and Q. Zhao. An energy-stable parametric finite element method for simulating solid-state dewetting.IMA J. Numer. Anal., 41:2026–2055, 2020
work page 2026
- [6]
-
[7]
J. W. Barrett, H. Garcke, and R. N¨ urnberg. Parametric finite element approximations of curvature-driven interface evolutions. InHandbook of Numerical Analysis, volume 21, pages 275–423. Elsevier, 2020
work page 2020
-
[8]
J. W. Barrett, H. Garcke, and R. N¨ urnberg. A parametric finite element method for fourth order geometric evolution equations.J. Comput. Phys., 222:441–467, 2007
work page 2007
-
[9]
J. W. Barrett, H. Garcke, and R. N¨ urnberg. On the parametric finite element approximation of evolving hypersurfaces inR 3.J. Comput. Phys., 227:4281–4307, 2008
work page 2008
-
[10]
J. W. Barrett, H. Garcke, and R. N¨ urnberg. Parametric approximation of Willmore flow and related geometric evolution equations.SIAM J. Sci. Comput., 31:225–253, 2008
work page 2008
- [11]
-
[12]
K. Deckelnick and G. Dziuk. On the approximation of the curve shortening flow. InCalculus of variations, applications and computations (Pont-` a-Mousson, 1994), volume 326 ofPitman Res. Notes Math. Ser., pages 100–108. Longman Sci. Tech., Harlow, 1995
work page 1994
-
[13]
K. Deckelnick and V. Styles. Stability and error analysis for a diffuse interface approach to an advection– diffusion equation on a moving surface.Numer. Math., 139:709–741, 2018
work page 2018
-
[14]
B. Duan and B. Li. New artificial tangential motions for parametric finite element approximation of surface evolution.SIAM J. Sci. Comput., 46(1):A587–A608, 2024
work page 2024
-
[15]
G. Dziuk. An algorithm for evolutionary surfaces.Numer. Math., 58(1):603–611, 1990
work page 1990
-
[16]
G. Dziuk. Convergence of a semi-discrete scheme for the curve shortening flow.Math. Models Methods Appl. Sci., 4(04):589–606, 1994
work page 1994
-
[17]
G. Dziuk. Computational parametric Willmore flow.Numer. Math., 111:55–80, 2008
work page 2008
-
[18]
G. Dziuk and C. M. Elliott. Finite elements on evolving surfaces.IMA J. Numer. Anal., 27(2):262–292, 2007
work page 2007
-
[19]
G. Dziuk and C. M. Elliott. Finite element methods for surface PDEs.Acta Numer., 22:289–396, 2013
work page 2013
-
[20]
C. M. Elliott and H. Fritz. On algorithms with good mesh properties for problems with moving boundaries based on the harmonic map heat flow and the DeTurck trick.SMAI J. Comput. Math., 2:141–176, 2016
work page 2016
-
[21]
C. M. Elliott and H. Fritz. On approximations of the curve shortening flow and of the mean curvature flow based on the DeTurck trick.IMA J. Numer. Anal., 37(2):543–603, 2017
work page 2017
-
[22]
C. M. Elliott and T. Ranner. Evolving surface finite element method for the Cahn–Hilliard equation. Numer. Math., 129(3):483–534, 2015
work page 2015
-
[23]
G. Fu. Arbitrary Lagrangian–Eulerian hybridizable discontinuous Galerkin methods for incompressible flow with moving boundaries and interfaces.Comput. Methods Appl. Mech. Engrg., 367:113158, 2020
work page 2020
-
[24]
G. Gao, H. Garcke, B. Li, and R. Tang. An energy-stable minimal deformation rate scheme for mean curvature flow and surface diffusion.SIAM J. Sci. Comput., 48(1):A103–A131, 2026
work page 2026
- [25]
-
[26]
G. Gao, B. Li, and R. Tang. Convergent finite element approximations of surface evolution with relaxed minimal deformation.Numer. Math., 158:671–714, 2026. 19
work page 2026
- [27]
-
[28]
G. Gottstein and L. S. Shvindlerman.Grain Boundary Migration in Metals: Thermodynamics, Kinetics, Applications. CRC Press, 2 edition, 2009
work page 2009
- [29]
- [30]
- [31]
- [32]
-
[33]
W. Jiang and B. Li. A perimeter-decreasing and area-conserving algorithm for surface diffusion flow of curves.J. Comput. Phys., 443:110531, 2021
work page 2021
-
[34]
B. Kov´ acs and C. A. Power Guerra. Higher order time discretizations with ALE finite elements for parabolic problems on evolving surfaces.IMA J. Numer. Anal., 38(1):460–494, 2018
work page 2018
-
[35]
B. Li. Convergence of Dziuk’s linearly implicit parametric finite element method for curve shortening flow.SIAM J. Numer. Anal., 58(4):2315–2333, 2020
work page 2020
-
[36]
B. Li. Convergence of Dziuk’s semidiscrete finite element method for mean curvature flow of closed surfaces with high-order finite elements.SIAM J. Numer. Anal., 59:1592–1617, 2021
work page 2021
- [37]
-
[38]
A. Mierswa.Error estimates for a finite difference approximation of mean curvature flow for surfaces of torus type. PhD thesis, 2020
work page 2020
-
[39]
C. V. Thompson. Solid-state dewetting of thin films.Annual Review of Materials Research, 42:399–434, 2012
work page 2012
-
[40]
W. A. Tiller.The science of crystallization: microscopic interfacial phenomena. Cambridge University Press, 1991
work page 1991
- [41]
-
[42]
C. Ye and J. Cui. Convergence of Dziuk’s fully discrete linearly implicit scheme for curve shortening flow. SIAM J. Numer. Anal., 59(6):2823–2842, 2021. Guangwei Gao, Buyang Li, Rong Tang: Department of Applied Mathematics, The Hong Kong Polytechnic University, Hong Kong.Email address:guang-wei.gao@polyu.edu.hk,buyang.li@polyu.edu.hk andclaire.tang@polyu.edu.hk
work page 2021
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.