Pith. sign in

REVIEW 2 major objections 3 minor 1 cited by

Mild velocity regularity makes weak solutions of unmatched-density two-phase flows conserve energy exactly, and small perturbations of energy-minimizing states yield stable global strong solutions.

Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →

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

For the Abels–Garcke–Grün two-phase model, the paper proves an L^q_t L^r_x regularity criterion for the energy equality of weak solutions and the existence of global strong solutions with Lyapunov stability near free-energy local minimizers for small initial data.

T0 review reviewed 2026-08-02 challenge →

load-bearing objection Genuinely new energy-equality result for the AGG model with a solid proof; the Lyapunov-stability theorem is conditional on a local well-posedness proof delegated to a forthcoming paper. the 2 major comments →

arxiv 2603.26020 v2 pith:KOAHRILP submitted 2026-03-27 math.AP

On a thermodynamically consistent diffuse interface model for incompressible two-phase flows with unmatched densities: Energy equality and Lyapunov stability

Harald Garcke , Maoyin Lv , Hao Wu This is my paper
classification math.AP MSC 35A0135D3035D3535K3535Q3576D0576T06
keywords diffuse-interface modeltwo-phase flowenergy equalityLyapunov stabilityglobal strong solutionsregularity criteriaunmatched densitiesgradient inequality
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved

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 studies a thermodynamically consistent diffuse-interface model for two incompressible fluids with different densities and establishes two main findings. First, when a global weak solution has additional mixed space-time integrability on the velocity and its gradient, the total energy is conserved exactly over all time; this holds for singular logarithmic double-well potentials and in bounded domains. Second, for non-constant gradient-energy coefficients and non-degenerate mobility, initial data with small velocity and phase field close to a local minimizer of the free energy yield a unique global strong solution that remains near the minimizer, giving Lyapunov stability of the steady state and convergence to a single equilibrium at an algebraic rate. The proofs rely on regularity inherited by the phase field and chemical potential, an energy identity for strong solutions, and an algebraic gradient inequality for the free energy.

Core claim

The paper's central claims are stated as Theorem 2.1 and Theorem 2.2. Theorem 2.1 says that any global weak solution of the diffuse-interface system in a bounded three-dimensional domain that satisfies ∇v∈L^q_loc L^r_loc and v∈L^{2q/(q-2)}_loc L^{2r/(r-2)}_loc, q,r≥2, obeys the energy equality E(t)+2∫_0^t∫ν(φ)|Dv|²+∫_0^t∫|∇µ|²=E(0) for all t; the singular double-well potential is allowed, needing no continuity of its second derivative. Theorem 2.2 treats the general case with a non-constant gradient-energy coefficient and non-degenerate mobility: if the initial velocity is L²-small and the initial phase field is H²-close to a local minimizer φ* of the free energy, there is a unique global st

What carries the argument

Two mechanisms carry the argument. First, instantaneous regularization of the convective phase-field subsystem: for constant coefficients, after any positive time the phase field lies in L^∞(τ,∞;W^{2,6}) and the chemical potential in L^∞(τ,∞;H¹)∩L²_uloc H³, which lets the authors pass the mollified momentum equation to the limit without assuming continuity of the potential's second derivative; boundary effects in the bounded domain are handled by a global mollifier and a boundary cut-off. Second, for the non-constant coefficient case, an algebraic gradient inequality for the free energy near equilibria is combined with the differential energy identity for strong solutions: a small decrease o

Load-bearing premise

The load-bearing premise for Theorem 2.1 is that the phase field and chemical potential instantly become regular (W^{2,6}×H³) for positive times, a property only proven when the gradient-energy coefficient and mobility are positive constants; the load-bearing premise for Theorem 2.2 is the local existence, uniqueness, and strict phase separation of strong solutions with non-constant coefficients, asserted via a semi-Galerkin construction whose details are deferred to a paper

What would settle it

Numerically simulate the constant-coefficient model in a unit cube with a smooth initial condition satisfying ∇v∈L^q L^r and v∈L^{2q/(q-2)} L^{2r/(r-2)} (for instance q=r=4) and track E(t)+2∫ν|Dv|²+∫|∇µ|²; any decrease relative to E(0) would falsify Theorem 2.1. Alternatively, a finite-time blow-up of the strong solution for initial data with arbitrarily small ∥v0∥_{L²} and ∥φ0−φ*∥_{H²} would falsify Theorem 2.2.

Watch this falsifier. Get emailed when new claim-graph text bears on it.

If this is right

  • All global weak solutions satisfying the regularity condition conserve energy, ruling out interior anomalous dissipation in that class.
  • The energy-equality criterion covers the physically relevant singular logarithmic double-well potential and extends the known equal-density results to the unmatched-density case on bounded domains.
  • Arbitrarily prescribed small neighborhoods of any energy-minimizing steady state contain an attractor basin: initial data from this basin produce unique global strong solutions that never leave the neighborhood.
  • Every such global strong solution approaches a single equilibrium, with algebraic rate of convergence, rather than cycling or forming persistent oscillations.

Where Pith is reading between the lines

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

  • The regularity threshold in Theorem 2.1 is likely not optimal; the paper itself shows that conditions on ∇v alone (e.g., ∇v∈L⁴_t L^{12/5}_x or L^{10/3}_t L³_x) suffice, and further weakening toward the critical Onsager-type spaces could be tested.
  • Extending the instantaneous phase-field regularization to non-constant coefficients would probably transfer the energy-equality result to the fully general model, a direction the paper leaves open.
  • The Lyapunov-stability mechanism is modular — energy equality plus a gradient inequality — and could be applied to other thermodynamically consistent two-phase models, including degenerate-mobility variants, once local well-posedness is in hand.
  • A numerical benchmark tracking the energy balance of a simulated two-phase flow that meets the regularity criterion would give a practical check of the energy-equality claim.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

2 major / 3 minor

Summary. The paper studies the Abels–Garcke–Grün (AGG) diffuse interface model for incompressible two-phase flows with unmatched densities in a bounded three-dimensional domain. The first main result, Theorem 2.1, states that a global weak solution obtained from Proposition 2.1 (for constant gradient coefficient a and constant mobility b, with the singular Flory–Huggins potential) conserves energy, i.e. satisfies the identity (2.6), provided the velocity satisfies the mixed regularity condition (2.5). The proof reconstructs the pressure, uses a global mollifier and boundary cut-off, applies commutator estimates, and passes to the limits ε→0, δ→0, τ→0. The second main result, Theorem 2.2, treats non-constant coefficients a,b under assumption (H) and proves existence, uniqueness, and Lyapunov stability of a global strong solution near (0,φ*), where φ* is a local minimizer of the free energy; the proof relies on a local strong well-posedness statement, Proposition 4.1, and on Łojasiewicz–Simon estimates. Corollary 2.1 claims convergence to a single equilibrium with an algebraic rate.

Significance. If fully substantiated, the energy-equality result is a genuine extension of prior Onsager-type criteria to the AGG model with unmatched densities and a physically relevant singular potential. The removal of the Ψ''-continuity assumption by using the instantaneous regularity from [4] is an interesting and non-obvious step, and the bounded-domain treatment with mollifiers and boundary cut-offs goes beyond earlier torus results. The Lyapunov-stability half is also potentially significant: it would give the first global strong-solution result for the AGG model with non-constant a and b near energy-minimizing steady states. However, the paper is not self-contained for this half: Proposition 4.1, the foundation of Theorem 2.2, is not proved in the manuscript; its proof is delegated to an in-preparation reference. The energy-equality part is presented in much more detail and appears substantially supported, though the proof would benefit from some clarifications.

major comments (2)
  1. [Section 4, Proposition 4.1] Proposition 4.1 is the load-bearing existence/uniqueness statement on which Theorem 2.2 and all estimates in Sections 4.2–4.3 rest. Its proof, however, is not actually given: the text states that a semi-Galerkin scheme 'can be carried out rigorously (cf. [34, 36])' and then only derives a priori estimates (4.3)–(4.13). There is no construction of approximate solutions, no compactness argument, no passage to the limit, no verification of the boundary/initial conditions in the limit, and no proof of uniqueness or strict separation. Since [36] is explicitly listed as 'in preparation', Theorem 2.2 is currently conditional on an unavailable result. Please either include a complete proof of Proposition 4.1 or replace the citation by a published, verifiable theorem with exactly the hypotheses needed here.
  2. [Remark 2.5 and Corollary 2.1] Corollary 2.1, which asserts convergence to a unique equilibrium and an algebraic rate, is a stated result of the paper but is explicitly left unproved: Remark 2.5 says the details are left to the interested reader. The Łojasiewicz–Simon convergence argument for the coupled AGG system is not a one-line consequence of Theorem 2.2; it requires combining the uniform bounds, the energy equality, the strict separation, and the Łojasiewicz–Simon inequality in a precise way. If the argument is indeed routine, it should be written out in an appendix; otherwise the corollary should be removed or clearly marked as a conjecture/formal statement.
minor comments (3)
  1. [Section 3, Eq. (3.18)] In the δ→0 step, Hardy's inequality is applied to v as an element of L^q(0,T;W^{1,r}_0(Ω)). This membership is not automatic from the stated regularity (2.5) alone; it uses v∈L^2(0,T;H^1_0(Ω)) together with Sobolev/Poincaré embedding for the L^r-in-space part. The proof should add a short justification, since the boundary term elimination in (3.18) is a key step.
  2. [Section 4.1, Eqs. (4.19), (4.31), (4.33)] The constant M in assumption (2.9) is later 'chosen' sufficiently large in (4.33). Since M also enters the smallness parameters η1,η2 and the local existence time T1, the proof should clarify whether M is the fixed constant from the assumptions or an enlarged one. This is likely harmless, but the present exposition makes the dependence of η1,η2 on the data less transparent than the theorem statements suggest.
  3. [Reference list] Reference [36] is listed as 'in preparation' and is used in a load-bearing way for Proposition 4.1; please update or remove. Also, reference [26] is a preprint; its status should be indicated in the bibliography.

Circularity Check

2 steps flagged

Theorem 2.1 is a self-contained estimate proof, but Theorem 2.2's foundation (Proposition 4.1) is delegated to an in-preparation self-citation, and Corollary 2.1 is left unproved.

specific steps
  1. other [Section 4, proof of Proposition 4.1 (p. 18-19)]
    "The proof of Proposition 4.1 can be carried out rigorously through a semi-Galerkin approximation scheme (cf. [34, 36]), based on the recent contribution [26] on the Cahn–Hilliard equation with a non-constant gradient energy coefficient and a non-degenerate mobility. Below we only derive necessary a priori estimates. ... For the uniqueness of strong solutions on [0, T̃_M], we refer to [26, 36] and omit the details here."

    Theorem 2.2's global-stability proof restarts from Proposition 4.1 at every time step ('Thanks to Proposition 4.1 ... there exists a universal time T1'; 'By iteration ... construct a global strong solution'). The proposition is not proved here: only a priori estimates are derived, with the existence argument and uniqueness both deferred to [34,36], of which [36] is an 'in preparation' paper co-authored by H. Wu. Thus a load-bearing premise is supported by an unverifiable self-citation rather than by the manuscript's own derivation.

  2. other [Remark 2.5]
    "Based on the regularity and uniform-in-time boundedness of the global strong solution, Corollary 2.1 can be proved by using the Łojasiewicz–Simon approach and the energy equality (1.5), with minor modifications to the arguments in [4, 26, 35, 39]. Hence, the details are left to the interested readers."

    Corollary 2.1 announces a definite long-time convergence result and an algebraic rate, but the proof is wholly deferred ('details are left to the interested readers'). Since no derivation is supplied, the claim functions as an unsupported assertion, not as a derived consequence; this is an omitted proof rather than a definitional equivalence.

full rationale

The energy-equality half (Theorem 2.1) is not circular: it uses Proposition 2.1-(5), stated from [4], as a regularity input for (φ,µ), and then carries out genuine mollifier/cut-off estimates to pass to the limit; the regularity input is a published external theorem and is not fitted to the energy equality. The Lyapunov-stability half (Theorem 2.2) is structurally dependent on Proposition 4.1, whose proof is only outlined and whose existence and uniqueness are deferred to [34,36] — with [36] 'in preparation' and co-authored by H. Wu. This is a load-bearing self-citation to unpublished work, not a circular derivation by construction, but it leaves the theorem's foundation unsupported by the manuscript itself. Corollary 2.1 is likewise explicitly unproved. No fitted parameters, no definitional identifications, and no renaming of known results occur; the central estimates are internally derived once Proposition 4.1 is granted. Hence the appropriate score is 4: some self-citation and omitted-support issues, but the central derivation retains independent content.

Axiom & Free-Parameter Ledger

0 free parameters · 6 axioms · 0 invented entities

The paper introduces no free parameters and no invented entities: the model's coefficients (ρ_i, ν_i, Θ, Θ₀, a, b) are inputs from the AGG model, not fitted. All load-bearing content beyond standard functional analysis is inherited from prior theorems: (a) existence and global regularity of weak solutions for the constant-coefficient case [1,4]; (b) instantaneous regularization of (φ,µ) [4, Thm 1.3], which is exactly why Theorem 2.1 requires constant coefficients; (c) local strong well-posedness for non-constant coefficients, promised in [34,36]; (d) the Łojasiewicz–Simon inequality, quoted from the preprint [26]. The price of Theorem 2.2's generality is thus paid in borrowed lemmas, two of which are not yet peer-reviewed or available. Real analyticity of a and Ψ on (-1,1) is an explicit hypothesis needed for the ŁS approach.

axioms (6)
  • domain assumption Global weak solutions of (1.1)–(1.2) exist with the regularity stated in Proposition 2.1 (constant a, b; Flory–Huggins potential).
    Quoted from [1,4]; Theorem 2.1 starts from this class of solutions. Published sources, but co-authored by Garcke.
  • domain assumption Instantaneous regularity: for any τ > 0, φ ∈ L^∞(τ,∞;W^{2,6}), ∂_tφ ∈ L²H¹, µ ∈ L^∞H¹ ∩ L²_ulocH³ (Proposition 2.1-(5), from [4, Theorem 1.3]).
    This is what lets Theorem 2.1 drop the Ψ'' ∈ C([-1,1]) assumption of [32,44]; only available for constant coefficients — hence the theorem's restriction.
  • domain assumption Local strong well-posedness on [0,T_M] with strict separation in the non-constant-coefficient case (Proposition 4.1).
    Theorem 2.2's bootstrap rests on it. Proof sketched via a priori estimates; existence part deferred to [34,36] with [36] 'in preparation'.
  • domain assumption Łojasiewicz–Simon inequality for the Cahn–Hilliard energy with non-constant a (Lemma A.4, from [26, Theorem 1.1]).
    Requires a real analytic on (-1,1); quoted from a preprint. Key to the refined estimate (4.38) in Theorem 2.2.
  • ad hoc to paper a ∈ C²([-1,1]) real analytic on (-1,1); b ∈ C²([-1,1]); 0 < a_* ≤ a ≤ a^*, 0 < b_* ≤ b ≤ b^* throughout (assumption (H)).
    Structural hypotheses of Theorem 2.2; analyticity is imposed specifically to enter the Łojasiewicz–Simon machinery.
  • standard math Standard functional-analytic tools: pressure reconstruction ([55, Ch. II, Lemma 2.1.1]), Hardy-type embedding (Lemma A.3), commutator estimates (Lemmas A.1–A.2), Lions–Magenes and Aubin–Lions–Simon compactness.
    Unproved background results invoked throughout Section 3.

reviewed 2026-08-02 · how reviews work

0 comments
Cite this review

Pith. "Pith review of On a thermodynamically consistent diffuse interface model for incompressible two-phase flows with unmatched densities: Energy equality and Lyapunov stability." pith.science (2026). https://pith.science/paper/KOAHRILP

@misc{pith2026260326020,
  author       = {Pith},
  title        = {Pith review of: On a thermodynamically consistent diffuse interface model for incompressible two-phase flows with unmatched densities: Energy equality and Lyapunov stability},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/KOAHRILP}},
  note         = {Machine review of arXiv:2603.26020}
}
Share X Bluesky LinkedIn Reddit HN
abstract

We consider the initial-boundary value problem of a thermodynamically consistent diffuse interface model for incompressible two-phase flows with unmatched densities in a bounded domain $\Omega\subset\mathbb{R}^3$. Our first aim is to study the energy equality for global weak solutions by establishing mixed $L_t^qL_x^r$-regularity conditions on the velocity field, its gradient, and its time derivative, under which the global weak solution conserves its energy for all time. The proof is based on the propagation of regularity for weak solutions to the convective Cahn-Hilliard equation with a physically relevant Flory-Huggins-type potential, combined with global mollification and boundary cut-off techniques. Next, we prove the existence and uniqueness of global strong solutions in the general setting with non-constant gradient energy coefficient and non-degenerate mobility, provided that the initial velocity is sufficiently small and the initial phase-field variable is a sufficiently small perturbation of a local minimizer of the free energy. This yields Lyapunov stability for each steady state consisting of a zero velocity together with a local energy minimizer. The proof relies on the energy equality for (local) strong solutions and the {\L}ojasiewicz-Simon approach.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. Global weak solutions to a diffuse-interface model for quasi-incompressible two-phase flows with unmatched densities and singular potential

    math.AP 2026-04 unverdicted novelty 7.0

    Global weak solutions exist for the quasi-incompressible Navier-Stokes/Cahn-Hilliard system with unmatched densities, singular potential, and mass-averaged velocity on the 3-torus.

Reference graph

Works this paper leans on

58 extracted references · cited by 1 Pith paper

  1. [1]

    Abels, D

    H. Abels, D. Depner, H. Garcke, Existence of weak solutions for a diffuse interface model for two-phase flows of incompressible fluids with different densities, J. Math. Fluid Mech.,15(3) (2013), 453–480

    2013

  2. [2]

    Abels, D

    H. Abels, D. Depner, H. Garcke, On an incompressible Navier–Stokes/Cahn–Hilliard system with degenerate mobility, Ann. Inst. H. Poincaré C Anal. Non Linéaire,30(6) (2013), 1175–1190

    2013

  3. [3]

    Abels, H

    H. Abels, H. Garcke, Weak solutions and diffuse interface models for incompressible two-phase flows, in Handbook of Mathematical Analysis in Mechanics of Viscous Fluids, pp. 1267–1327, Springer, Cham, 2018

    2018

  4. [4]

    Abels, H

    H. Abels, H. Garcke, A. Giorgini, Global regularity and asymptotic stabilization for the incompressible Navier–Stokes–Cahn–Hilliard model with unmatched densities, Math. Ann.,389(2) (2024), 1267–1321

    2024

  5. [5]

    Abels, H

    H. Abels, H. Garcke, G. Grün, Thermodynamically consistent, frame indifferent diffuse interface models for incompressible two-phase flows with different densities, Math. Models Methods Appl. Sci.,22(3) (2012), 1150013, 40 pp

    2012

  6. [6]

    Abels, H

    H. Abels, H. Garcke, A. Poiatti, Mathematical analysis of a diffuse interface model for multi-phase flows of incompressible viscous fluids with different densities, J. Math. Fluid Mech.,26(2) (2024), Paper No. 29, 51 pp

    2024

  7. [7]

    Abels, H

    H. Abels, H. Garcke, A. Poiatti, Diffuse interface model for two-phase flows on evolving surfaces with different densities: global well-posedness, Calc. Var. Partial Differential Equations,64(5) (2025), Paper No. 141, 41 pp

    2025

  8. [8]

    Abels, H

    H. Abels, H. Garcke, J. Wittmann, Diffuse interface models for two-phase flows with phase transition: modeling and existence of weak solutions, J. Math. Fluid Mech.,28(2026), Paper No. 7

    2026

  9. [9]

    Abels, Y

    H. Abels, Y. Terasawa, Weak solutions for a diffuse interface model for two-phase flows of incompressible fluids with different densities and nonlocal free energies, Math. Methods Appl. Sci.,43(6) (2020), 3200–3219

    2020

  10. [10]

    Abels, J

    H. Abels, J. Weber, Local well-posedness of a quasi-incompressible two-phase flow, J. Evol. Equ.,21(3) (2021), 3477–3502

    2021

  11. [11]

    G. L. Aki, W. Dreyer, J. Giesselmann, C. Kraus, A quasi-incompressible diffuse interface model with phase transition, Math. Models Methods Appl. Sci.,24(5) (2014), 827–861

    2014

  12. [12]

    Akramov, T

    I. Akramov, T. Debiec, J. Skipper, E. Wiedemann, Energy conservation for the compressible Euler and Navier–Stokes equations with vacuum, Anal. PDE,13(3) (2020), 789–811. 28

    2020

  13. [13]

    Barbu,Nonlinear differential equations of monotone types in Banach spaces, Springer Monogr

    V. Barbu,Nonlinear differential equations of monotone types in Banach spaces, Springer Monogr. Math., Springer, New York, 2010

    2010

  14. [14]

    Bardos, P

    C. Bardos, P. Gwiazda, A. Świerczewska-Gwiazda, E. S. Titi, S. Edriss, E. Wiedemann, On the extension of Onsager’s conjecture for general conservation laws, J. Nonlinear Sci.,29(2) (2019), 501–510

    2019

  15. [15]

    Bardos, E

    C. Bardos, E. S. Titi, Onsager’s conjecture for the incompressible Euler equations in bounded domains, Arch. Ration. Mech. Anal.,228(1) (2018), 197–207

    2018

  16. [16]

    Bardos, E

    C. Bardos, E. S. Titi, E. Wiedemann, Onsager’s conjecture with physical boundaries and an application to the vanishing viscosity limit, Comm. Math. Phys.,370(1) (2019), 291–310

    2019

  17. [17]

    Beirão da Veiga, J

    H. Beirão da Veiga, J. Yang, On the energy equality for solutions to Newtonian and non- Newtonian fluids, Nonlinear Anal.,185(2) (2019), 388–402

    2019

  18. [18]

    Beirão da Veiga, J

    H. Beirão da Veiga, J. Yang, On the energy equality for the evolution Navier–Stokes equations, St. Petersburg Math. J.,36(3) (2025), 285–296

    2025

  19. [19]

    L. C. Berselli, Energy conservation for weak solutions of incompressible fluid equations: the Hölder case and connections with Onsager’s conjecture, J. Differential Equations,368(2023), 350–375

    2023

  20. [20]

    L. C. Berselli, E. Chiodaroli, On the energy equality for the 3D Navier–Stokes equations, Nonlinear Anal., 192(2020), 111704, 24 pp

    2020

  21. [21]

    L. C. Berselli, E. Chiodaroli, Remarks on the energy equality for the 3D Navier–Stokes equations. Waves in flows–the 2018 Prague-Sum Workshop lectures, 91–107. Adv. Math. Fluid Mech. Birkhäuser/Springer, Cham, 2021

    2018

  22. [22]

    M. Chen, Z. L. Liang, D. H. Wang, R. Z. Xu, Energy equality in compressible fluids with physical boundaries, SIAM J. Math. Anal.,52(2) (2020), 1363–1385

    2020

  23. [23]

    A.Cheskidov, S.Friedlander, R.Shvydkoy, Ontheenergyequalityforweaksolutionsofthe3DNavier–Stokes equations, Adv. Math. Fluid Mech., Springer–Verlag, Berlin, 2010, pp. 171–175

    2010

  24. [24]

    Cheskidov, X

    A. Cheskidov, X. Luo, Energy equality for the Navier–Stokes equations in weak-in-time Onsager spaces, Nonlinearity,33(4) (2020), 1388–1403

    2020

  25. [25]

    Conti, P

    M. Conti, P. Galimberti, S. Gatti, A. Giorgini, New results for the Cahn–Hilliard equation with non- degenerate mobility: well-posedness and longtime behavior, Calc. Var. Partial Differential Equations, 64(3) (2025), Paper No. 87, 32 pp

    2025

  26. [26]

    Conti, S

    M. Conti, S. Gatti, A. Giorgini, G. Schimperna, On the Cahn–Hilliard equation with nonlinear diffusion: the non-convex case, (2025), preprint. arXiv: 2510.08287

    arXiv 2025

  27. [27]

    T. D. Drivas, H. Q. Nguyen, Onsager’s conjecture and anomalous dissipation on domains with boundary, SIAM J. Math. Anal.,50(5) (2018), 4785–4811

    2018

  28. [28]

    Farwig, On regularity of weak solutions to the instationary Navier–Stokes system: a review on recent results, Ann

    R. Farwig, On regularity of weak solutions to the instationary Navier–Stokes system: a review on recent results, Ann. Univ. Ferrara Sez. VII Sci. Mat.,60(1) (2014), 91–122

    2014

  29. [29]

    Frigeri, Global existence of weak solutions for a nonlocal model for two-phase flows of incompressible fluids with unmatched densities, Math

    S. Frigeri, Global existence of weak solutions for a nonlocal model for two-phase flows of incompressible fluids with unmatched densities, Math. Models Methods Appl. Sci.,26(10) (2016), 1955–1993

    2016

  30. [30]

    Frigeri, On a nonlocal Cahn–Hilliard/Navier–Stokes system with degenerate mobility and singular poten- tial for incompressible fluids with different densities, Ann

    S. Frigeri, On a nonlocal Cahn–Hilliard/Navier–Stokes system with degenerate mobility and singular poten- tial for incompressible fluids with different densities, Ann. Inst. H. Poincaré C Anal. Non Linéaire,38(3) (2021), 647–687

    2021

  31. [31]

    C. G. Gal, A. Giorgini, M. Grasselli, A. Poiatti, Global well-posedness and convergence to equilibrium for the Abels–Garcke–Grün model with nonlocal free energy, J. Math. Pures Appl.,178(2023), 46–109

    2023

  32. [32]

    Georgiadis, Energy identity for the incompressible Cahn–Hilliard/Navier–Stokes system with non- degenerate mobility, Z

    S. Georgiadis, Energy identity for the incompressible Cahn–Hilliard/Navier–Stokes system with non- degenerate mobility, Z. Angew. Math. Phys.,75(5) (2024), Paper No. 174, 8 pp

    2024

  33. [33]

    Giorgini, Well-posedness of the two-dimensional Abels–Garcke–Grün model for two-phase flows with unmatched densities, Calc

    A. Giorgini, Well-posedness of the two-dimensional Abels–Garcke–Grün model for two-phase flows with unmatched densities, Calc. Var. Partial Differential Equations,60(3) (2021), Paper No. 100, 40 pp

    2021

  34. [34]

    Giorgini, Existence and stability of strong solutions to the Abels–Garcke–Grün model in three dimensions, Interfaces Free Bound.,24(4) (2022), 565–608

    A. Giorgini, Existence and stability of strong solutions to the Abels–Garcke–Grün model in three dimensions, Interfaces Free Bound.,24(4) (2022), 565–608

    2022

  35. [35]

    Giorgini, M

    A. Giorgini, M. Grasselli, H. Wu, The Cahn–Hilliard–Hele–Shaw system with singular potential, Ann. Inst. H. Poincaré C Anal. Non Linéaire,35(4) (2018), 1079–1118

    2018

  36. [36]

    Grasselli, B.-H

    M. Grasselli, B.-H. Ouyang, H, Wu, Strong solutions to a thermodynamically consistent diffuse interface model for nonhomogeneous incompressible two-phase flows with a soluble surfactant, in preparation

  37. [37]

    Grasselli, A

    M. Grasselli, A. Poiatti, Convergence to equilibrium of weak solutions to the Cahn–Hilliard equation with non-degenerate mobility and singular potential, (2025), preprint. arXiv:2510.17296

    arXiv 2025

  38. [38]

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

    1996

  39. [39]

    J. N. He, H. Wu, On a Navier–Stokes–Cahn–Hilliard system for viscous incompressible two-phase flows with chemotaxis, active transport and reaction, Math. Ann.,389(3) (2024), 2193–2257

    2024

  40. [40]

    P. C. Hohenberg, B. I. Halperin, Theory of dynamic critical phenomena, Rev. Modern Phys.,49(1977), 29 435–479

    1977

  41. [41]

    Kufner, O

    A. Kufner, O. John, S. Fuˇ cík,Function Spaces, Noordhoff International Publishing, Leiden; Academia, Prague, 1977

    1977

  42. [42]

    O. A. Ladyˇ zenskaja, V. A. Solonnikov, N. N. Ural’ceva,Linear and Quasilinear Equations of Parabolic Type, translated from the Russian by S. Smith, Translations of Mathematical Monographs 23, American Mathematical Society, Providence, RI, 1968

    1968

  43. [43]

    T. M. Leslie, R. Shvydkoy, Conditions implying energy equality for weak solutions of the Navier–Stokes equations, SIAM J. Math. Anal.,50(2018), 870–890

    2018

  44. [44]

    Z. L. Liang, Q. Niu, J. Y. Shuai, Energy equality for weak solutions to Cahn–Hilliard/Navier–Stokes equa- tions, Appl. Math. Lett.,99(2020), 105978, 8 pp

    2020

  45. [45]

    Z. L. Liang, J. Y. Shuai, Regularity criterion on energy equality for compressible Cahn–Hilliard–Navier– Stokes equations, Math. Methods Appl. Sci.,42(1) (2019), 287–300

    2019

  46. [46]

    F. H. Lin, C. Liu, Nonparabolic dissipative systems modeling the flow of liquid crystals, Comm. Pure Appl. Math.,48(5) (1995), 501–537

    1995

  47. [47]

    J. L. Lions, Sur la ré gularité et l’unicité des solutions turbulentes des équations de Navier Stokes, Rend. Sem. Mat. Univ. Padova,30(1960), 16–23

    1960

  48. [48]

    P. L. Lions,Mathematical Topics in Fluid Mechanics, Vol. 1. Incompressible Models, Oxford Lecture Series in Mathematics and its Applications 3, Oxford Science Publications, The Clarendon Press, Oxford University Press, New York, 1998

    1998

  49. [49]

    Lowengrub, L

    J. Lowengrub, L. Truskinovsky, Quasi-incompressible Cahn–Hilliard fluids and topological transitions, R. Soc. Lond. Proc. Ser., A Math. Phys. Eng. Sci.,454(1978) (1998), 2617–2654

    1978

  50. [50]

    Prodi, Un teorema di unicit` aper le equazioni di Navier–Stokes, Ann

    G. Prodi, Un teorema di unicit` aper le equazioni di Navier–Stokes, Ann. Mat. Pura Appl.,48(1959), 173–182

    1959

  51. [51]

    Serrin, The initial value problem for the Navier–Stokes equations

    J. Serrin, The initial value problem for the Navier–Stokes equations. Nonlinear Problems (Proc. Sympos., Madison, Wis., 1962), pp. 69–98, University of Wisconsin Press, Madison, WI, 1963

    1962

  52. [52]

    J. Shen, X. Yang and Q. Wang, Mass and volume conservation in phase field models for binary fluids, Commun. Comput. Phys.,13(2013), 1045–1065

    2013

  53. [53]

    Shinbrot, The energy equation for the Navier–Stokes system, SIAM J

    M. Shinbrot, The energy equation for the Navier–Stokes system, SIAM J. Math. Anal.,5(1974), 948–954

    1974

  54. [54]

    Shokrpour Roudbari, G

    M. Shokrpour Roudbari, G. Simsek, E. H. van Brummelen, K. G. van der Zee, Diffuse-interface two-phase flow models with different densities: A new quasi-incompressible form and a linear energy-stable method, Math. Models Methods in Appl. Sci.,28(2018), 733–770

    2018

  55. [55]

    Sohr,The Navier–Stokes Equations

    H. Sohr,The Navier–Stokes Equations. An Elementary Functional Analytic Approach, Birkhäuser Adv. Texts Basler Lehrbücher, Birkhäuser Verlag, Basel, 2001

    2001

  56. [56]

    M. F. P. ten Eikelder, K. G. van der Zee, I. Akkerman, D. Schillinger, A unified framework for Navier– Stokes Cahn–Hilliard models with non-matching densities, Math. Models Methods Appl. Sci.,33(1) (2023), 175–221

    2023

  57. [57]

    M. F. P. ten Eikelder, K.G. van der Zee, D. Schillinger, Thermodynamically consistent diffuse-interface mixture models of incompressible multicomponent fluids, J. Fluid Mech.,990(2024), Paper No. A8, 40 pp

    2024

  58. [58]

    D. X. Zhou, Global well-posedness and long-time behavior of the three dimensional Cahn–Hilliard–Navier– Stokes system with singular potential, Master’s thesis, Fudan University, 2020 (in Chinese). 30

    2020

This paper was first reviewed by deepseek-v4-flash on August 2, 2026.