pith. sign in

arxiv: 2604.11597 · v1 · submitted 2026-04-13 · 🧮 math.AP

Sharp Interface Limit for a Mass-Conserving Navier-Stokes/Allen-Cahn System with Different Viscosities

Helmut Abels , Hanifah Mumtaz This is my paper

Pith reviewed 2026-05-10 15:09 UTC · model grok-4.3

classification 🧮 math.AP
keywords sharp interface limitNavier-StokesAllen-Cahnmean curvature flowmass conservationtwo-phase flowmatched asymptoticsspectral estimate
0
0 comments X

The pith

Solutions of the mass-conserving Navier-Stokes/Allen-Cahn system converge to a sharp-interface limit consisting of mass-conserving mean curvature flow coupled to two-phase Navier-Stokes flow with surface tension as the interface thickness ε

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

This paper proves that solutions of the coupled Navier-Stokes and mass-conserving Allen-Cahn system approach the solutions of a corresponding sharp-interface problem when the diffuse-interface thickness parameter ε tends to zero in a two-dimensional bounded smooth domain. In the limit the interface moves by mass-conserving mean curvature flow with convection while the bulk fluids satisfy a two-phase Navier-Stokes system that includes surface tension and allows different viscosities in each phase. A reader would care because the result supplies a rigorous justification for replacing the more complicated diffuse model with the simpler sharp-interface description when the interface is thin. The argument proceeds by building an approximate solution to the limit system via matched asymptotic expansions and then controlling the difference between this approximation and the true diffuse solution with a refined spectral estimate on the linearized Allen-Cahn operator.

Core claim

We prove the convergence of solutions from the mass-conserving Navier-Stokes/Allen-Cahn system to those of its sharp interface limit. In this limit, the interface evolves according to mass-conserving mean curvature flow with a convection term and is coupled to a two-phase Navier-Stokes system with surface tension. Our approach entails the construction of an approximate solution for the limiting system through the use of matched asymptotic expansions, complemented by a special ansatz for the leading-order term. In order to estimate the error between this approximate solution and the exact solution, we employ a refined spectral estimate for the linearized Allen-Cahn operator near the approx

What carries the argument

Matched asymptotic expansions that produce an approximate solution, together with a refined spectral estimate for the linearized Allen-Cahn operator that controls the error to the exact solution

If this is right

  • The sharp-interface model consisting of mass-conserving mean curvature flow with convection coupled to two-phase Navier-Stokes flow with surface tension is the correct limiting description of the diffuse system.
  • The convergence holds when the two fluids have different viscosities.
  • The limit system inherits mass conservation from the diffuse model.
  • The result justifies the use of the sharp-interface equations for numerical or analytical studies of thin-interface two-phase flows in two dimensions.

Where Pith is reading between the lines

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

  • The same strategy might apply in three dimensions once a suitable spectral estimate or higher-order expansion is available.
  • The convergence could be extended to other diffuse-interface potentials or mobility functions provided the corresponding linearised operator admits a comparable spectral gap.
  • Numerical schemes for the diffuse system could be benchmarked by comparing their outputs for successively smaller ε against solutions of the sharp-interface limit equations.

Load-bearing premise

The matched asymptotic expansion produces an approximate solution accurate enough that the refined spectral estimate for the linearized Allen-Cahn operator can control the error between the approximate and exact solutions in the two-dimensional bounded smooth domain.

What would settle it

A concrete initial datum in a smooth bounded two-dimensional domain for which the difference between the diffuse solution and the constructed approximate solution fails to vanish in the appropriate norm as ε tends to zero would falsify the convergence claim.

read the original abstract

We perform a rigorous examination of the sharp interface limit of a coupled Navier-Stokes and mass-conserving Allen-Cahn system in a two-dimensional, bounded, and smooth domain as the parameter $\varepsilon > 0$, representing the thickness of the diffuse interface, tends to zero. We prove the convergence of solutions from the mass-conserving Navier-Stokes/Allen-Cahn system to those of its sharp interface limit. In this limit, the interface evolves according to mass-conserving mean curvature flow with a convection term and is coupled to a two-phase Navier-Stokes system with surface tension. Our approach entails the construction of an approximate solution for the limiting system through the use of matched asymptotic expansions, complemented by a special ansatz for the leading-order term. In order to estimate the error between this approximate solution and the exact solution, we employ a refined spectral estimate for the linearized Allen-Cahn operator near the approximate solution.

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 proves that solutions of the mass-conserving Navier-Stokes/Allen-Cahn system in a 2D bounded smooth domain converge, as the diffuse-interface thickness ε → 0, to the sharp-interface limit consisting of mass-conserving mean curvature flow with convection coupled to a two-phase incompressible Navier-Stokes system with surface tension and different viscosities. The proof constructs an approximate solution via matched asymptotic expansions (with a special leading-order ansatz) and closes the error estimates by means of a refined spectral estimate on the linearized mass-conserving Allen-Cahn operator.

Significance. If the convergence result holds, the work supplies a rigorous derivation of the sharp-interface model from its diffuse-interface approximation for two-phase flows that incorporate viscosity contrast and strict mass conservation. Such limits are of direct interest in mathematical fluid dynamics and materials modeling; the combination of matched asymptotics with a spectral-gap argument for the coupled system strengthens the analytical toolkit available for similar free-boundary problems.

major comments (1)
  1. [error analysis / spectral estimate section] The central convergence claim rests on the refined spectral estimate for the linearized Allen-Cahn operator being able to absorb the additional error terms generated by the Navier-Stokes coupling—specifically the convection (u·∇)φ, the pressure-gradient contributions, and the viscous-stress jumps that depend on the viscosity ratio. The abstract provides no quantitative information on the size of the spectral gap relative to the O(ε) or O(ε²) remainders arising from the inner expansion, nor on uniformity with respect to the viscosity ratio or possible interface-boundary interactions in the bounded domain. This absorption step is load-bearing for the bootstrap argument and must be verified explicitly.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading and for identifying the key technical point in the error analysis. We address the major comment below and will incorporate clarifications in the revision.

read point-by-point responses

  1. Referee: The central convergence claim rests on the refined spectral estimate for the linearized Allen-Cahn operator being able to absorb the additional error terms generated by the Navier-Stokes coupling—specifically the convection (u·∇)φ, the pressure-gradient contributions, and the viscous-stress jumps that depend on the viscosity ratio. The abstract provides no quantitative information on the size of the spectral gap relative to the O(ε) or O(ε²) remainders arising from the inner expansion, nor on uniformity with respect to the viscosity ratio or possible interface-boundary interactions in the bounded domain. This absorption step is load-bearing for the bootstrap argument and must be verified explicitly.

    Authors: We agree that explicit verification of the absorption step is essential. In the manuscript, the refined spectral estimate (Theorem 4.1) yields a spectral gap of order 1, independent of ε, for the linearized mass-conserving Allen-Cahn operator around the approximate interface. This gap absorbs the O(ε) remainders from the inner expansion, including the convection term (u·∇)φ, pressure gradients, and viscous-stress jumps. The latter are controlled via the uniform energy bounds on the velocity field obtained from the two-phase Navier-Stokes system (Section 5), treating them as lower-order perturbations in the error energy functional. The estimates hold uniformly for bounded viscosity ratios (the contrast appears only in the NS dissipation and is absorbed by the basic energy inequality). Interface-boundary interactions in the bounded domain are handled by localizing the spectral analysis with cutoff functions away from the boundary and by the smoothness of the domain in the matched asymptotics. While these arguments are present in Sections 4–5, we will add a dedicated remark with explicit quantitative bounds on the gap relative to the remainders and on the viscosity-ratio dependence to make the absorption step fully transparent. revision: partial

Circularity Check

0 steps flagged

No circularity: standard rigorous convergence proof via matched asymptotics and spectral estimates

full rationale

The paper establishes convergence of the diffuse-interface NS/Allen-Cahn system to a sharp-interface limit by constructing an approximate solution through matched asymptotic expansions (with a leading-order ansatz) and controlling the error via a refined spectral estimate on the linearized mass-conserving Allen-Cahn operator. This is a conventional mathematical strategy for singular limits in PDEs and does not reduce any central claim to a self-definition, a fitted input relabeled as prediction, or a load-bearing self-citation chain. No equations or steps in the provided abstract or description exhibit the enumerated circular patterns; the derivation remains independent of its own outputs and is self-contained against external mathematical benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The proof rests on standard existence theory for the diffuse system and on the validity of the asymptotic construction; no new free parameters or invented entities are introduced.

axioms (2)
  • domain assumption Solutions to the diffuse-interface system exist on the time interval of interest
    Required to state the convergence statement; invoked implicitly in the abstract.
  • domain assumption The matched asymptotic expansion produces an approximate solution whose error is controllable by the spectral estimate
    Central technical step described in the abstract.

pith-pipeline@v0.9.0 · 5458 in / 1236 out tokens · 31836 ms · 2026-05-10T15:09:58.921377+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

39 extracted references · 39 canonical work pages

  1. [1]

    Abels and M

    H. Abels and M. Fei, Sharp interface limit for a Navier–Stokes/Allen–Cahn system with different viscosities,SIAM J. Math. Anal.55(2023), no. 4, 4039–4088

    work page 2023

  2. [2]

    H. Abels. (Non-)convergence of solutions of the convective Allen-Cahn equation.Partial Differ. Equ. Appl.3(1), 2022

    work page 2022

  3. [3]

    Abels and A

    H. Abels and A. Marquardt. Sharp interface limit of a Stokes/Cahn-Hilliard system, Part I: Convergence result.Interfaces Free Bound.23(3):353–402, 2021

    work page 2021

  4. [4]

    Abels and A

    H. Abels and A. Marquardt. Sharp interface limit of a Stokes/Cahn-Hilliard system, Part II: Approximate solutions.J. Math. Fluid Mech.23(2):Paper No. 38, 48, 2021

    work page 2021

  5. [5]

    Abels and M

    H. Abels and M. Moser. Well-posedness of a Navier-Stokes/mean curvature flow system. In Mathematical analysis in fluid mechanics—selected recent results, volume 710 ofContemp. Math., pages 1–23. Amer. Math. Soc., [Providence], RI, [2018]©2018

    work page 2018

  6. [6]

    Abels and Y

    H. Abels and Y. Liu. Sharp interface limit for a Stokes/Allen-Cahn system.Arch. Ration. Mech. Anal.229(1):417–502, 2018

    work page 2018

  7. [7]

    N. D. Alikakos, P. W. Bates, an dx. Chen. Convergence of the Cahn-Hilliard equation to the Hele-Shaw model.Arch. Rational Mech. Anal.128(2):165–205, 1994

    work page 1994

  8. [8]

    Cahn and S

    J. Cahn and S. M. Allen, A microscopic theory for domain wall motion and its experimental verification in Fe-Al alloy domain growth kinetics,J. Phys. Colloques38:C7-51–C7-54,

    work page

  9. [9]

    doi:10.1051/jphyscol:1977709

    work page doi:10.1051/jphyscol:1977709

  10. [10]

    S. M. Allen and J. W. Cahn, A microscopic theory for antiphase boundary motion and its application to antiphase domain coarsening,Acta Metallurgica27(6):1085–1095, 1979. doi:10.1016/0001-6160(79)90196-2

    work page doi:10.1016/0001-6160(79)90196-2 1979

  11. [11]

    Y. Giga. Analyticity of the semigroup generated by the Stokes operator inL r spaces. Math. Z.178:297–329, 1981. REFERENCES 29

    work page 1981

  12. [12]

    F. Boyer. Mathematical study of multi-phase flow under shear through order parameter formulation.Asymptot. Anal.20(2):175–212, 1999

    work page 1999

  13. [13]

    J. W. Cahn and J. E. Hilliard. Free energy of a nonuniform system. I. Interfacial energy. J. Chem. Phys.28, No. 2:258–267, 1958

    work page 1958

  14. [14]

    X. Chen, D. Hilhorst, and E. Logak. Mass conserving Allen-Cahn equation and volume preserving mean curvature flow.Interfaces Free Bound.12(4):527–549, 2010

    work page 2010

  15. [15]

    De Mottoni and M

    P. De Mottoni and M. Schatzman. Geometrical evolution of devoloped interfaces.Trans. Amer. Math. Soc.347(5):1533–1589, 1995

    work page 1995

  16. [16]

    L. C. Evans, H. M. Soner, and P. E. Souganidis Phase transitions and generalized motion by mean curvature.Comm. Pure Appl. Math.45:1097–1123, 1992

    work page 1992

  17. [17]

    M. Fei. Global sharp interface limit of the Hele-Shaw-Cahn-Hilliard system.Math. Methods Appl. Sci.40(3):833–852, 2017

    work page 2017

  18. [18]

    Fischer, T

    J. Fischer, T. Laux, T. M. Simon Convergence rates of the Allen-Cahn equation to mean curvature flow: A short proof based on relative entropies.SIAM J. Math. Anal.52(6):6222– 6233, 2020

    work page 2020

  19. [19]

    C. G. Gal and M. Grasselli. Longtime behavior for a model of homogeneous incompressible two-phase flows.Discrete Contin. Dyn. Syst.28(1):1–39, 2010

    work page 2010

  20. [20]

    Giorgini, M

    A. Giorgini, M. Grasselli, and H. Wu. Diffuse interface models for incompressible binary fluids and the mass-conserving Allen-Cahn approximation.J. Funct. Anal.283(9):109631, 2022

    work page 2022

  21. [21]

    M. E. Gurtin, D. Polignone, and J. Vi˜ nals. Two-phase binary fluids and immiscible fluids described by an order parameter.Math. Models Methods Appl. Sci.6(6):815–831, 1996

    work page 1996

  22. [22]

    Hensel, Y

    S. Hensel, Y. Liu. The sharp interface limit of a Navier–Stokes/Allen-Cahn system with constant mobility: Convergence rates by a relative energy approach.SIAM J. Math. Anal. 55(5):4751–4787, 2023

    work page 2023

  23. [23]

    Hohenberg and B

    P. Hohenberg and B. Halperin. Theory of dynamic critical phenomena.Rev. Mod. Phys. 49:435–479, 1977

    work page 1977

  24. [24]

    Ilmanen Convergence of the Allen-Cahn equation to Brakke’s motion by mean curva- ture.J

    T. Ilmanen Convergence of the Allen-Cahn equation to Brakke’s motion by mean curva- ture.J. Differential Geom.38:417–461, 1993

    work page 1993

  25. [25]

    Jiang, Y

    J. Jiang, Y. Li, and C. Liu. Two-phase incompressible flows with variable density: an energetic variational approach.Discrete Contin. Dyn. Syst.37(6):3243–3284, 2017

    work page 2017

  26. [26]

    Jiang, X

    S. Jiang, X. Su, F. Xie. Remarks on Sharp Interface Limit for an Incompressible Navier- Stokes and Allen-Cahn Coupled System.Chin. Ann. Math. Ser. B.44:663–686, 2023

    work page 2023

  27. [27]

    Kagaya Convergence of the Allen-Cahn equation with a zero Neumann boundary condition on non-convex domains.Math

    T. Kagaya Convergence of the Allen-Cahn equation with a zero Neumann boundary condition on non-convex domains.Math. Ann.373:1485–1528, 2019

    work page 2019

  28. [28]

    Katsoulakis, G

    M. Katsoulakis, G. T. Kossioris, F. Reitich Generalized Motion by Mean Curvature with Neumann Conditions and the Allen-Cahn Model for Phase Transitions.The Journal of Geometric Analysis5(2):255–279, 1995

    work page 1995

  29. [29]

    Kroemer and T

    M. Kroemer and T. Laux Quantitative convergence of the nonlocal Allen-Cahn equation to volume-preserving mean curvature flow.Math. Ann.391(3):4455–4472, 2025

    work page 2025

  30. [30]

    T. Laux, T. M. Simon Convergence of the Allen-Cahn Equation to Multiphase Mean Curvature Flow.Comm. Pure Appl. Math.71(8):1493–1714, 2018

    work page 2018

  31. [31]

    H.-G. Lee, J. S. Lowengrub, and J. Goodman. Modeling pinchoff and reconnection in a Hele-Shaw cell. I. The models and their calibration.Phys. Fluids14(2):492–513, 2002

    work page 2002

  32. [32]

    C. Liu, N. Sato, and Y. Tonegawa. Two-phase flow problem coupled with mean curvature flow.Interfaces Free Bound.14(2):185–203, 2012

    work page 2012

  33. [33]

    Liu and J

    C. Liu and J. Shen. A phase field model for the mixture of two incompressible fluids and its approximation by a Fourier-spectral method.Phys. D179(3-4):211–228, 2003

    work page 2003

  34. [34]

    Marquardt.Sharp Interface Limit for a Stokes / Cahn-Hilliard System

    A. Marquardt.Sharp Interface Limit for a Stokes / Cahn-Hilliard System. PhD thesis, University Regensburg, urn:nbn:de:bvb:355-epub-384308, 2019. 30 REFERENCES

    work page 2019

  35. [35]

    Mizuno, Y

    M. Mizuno, Y. Tonegawa Convergence of the Allen-Cahn equation with Neumann bound- ary conditions.SIAM J. Math. Anal.47(3):1906–1932, 2015

    work page 1906

  36. [36]

    Schaubeck.Sharp interface limits for diffuse interface models

    S. Schaubeck.Sharp interface limits for diffuse interface models. PhD thesis, University Regensburg, urn:nbn:de:bvb:355-epub-294622, 2014

    work page 2014

  37. [37]

    Schumacher

    K. Schumacher. The instationary Navier-Stokes equations in weighted Bessel-potential spaces.J. Math. Fluid Mech., 11(4):552–571, 2009

    work page 2009

  38. [38]

    E. M. Stein.Singular Integrals and Differentiability Properties of Functions. Princeton Hall Press, Princeton, New Jersey, 1970

    work page 1970

  39. [39]

    Wang and Z

    X. Wang and Z. Zhang. Well-posedness of the Hele-Shaw-Cahn-Hilliard system.Ann. Inst. H. Poincar´ e Anal. Non Lin´ eaire, 30(3):367–384, 2013. (H. Abels) Fakult¨ at f¨ ur Mathematik, Universit¨ at Regensburg, 93040 Regensburg, Germany E-mail address:helmut.abels@mathematik.uni-regensburg.de (H. Mumtaz) Fakult¨ at f¨ ur Mathematik, Universit¨ at Regensburg...

    work page 2013