Pith. sign in

REVIEW 2 major objections 4 minor 1 cited by

Weak solutions and incompressible limit of a quasi-incompressible Navier--Stokes/Cahn--Hilliard model for viscous two-phase flows

T0 review · 2 major / 4 minor · reviewed 2026-08-05 · deepseek-v4-flash

Pith's one-line read A density-mismatched two-phase flow model is shown to have global weak solutions and to converge to the classical incompressible Model H as the density difference vanishes.

desk verdict Solid analysis: first rigorous incompressible limit for the mass-averaged quasi-incompressible model, with the main caveat being the conditional strong-solution regularity on the limit Model H, not the commutator step the stress-test flagged. read the letter →

arxiv 2508.08090 v1 pith:4EQFBWVU submitted 2025-08-11 math.AP

classification math.AP MSC 35Q3576T0676T9935D3035B2535Q30
keywords Navier-Stokes/Cahn-Hilliardquasi-incompressibletwo-phaseflowsweaksolutionsrelativeentropymethodincompressiblelimitfractionalLaplacianunmatcheddensities
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

This paper establishes two results for a quasi-incompressible Navier–Stokes/Cahn–Hilliard system that models two viscous fluids of different densities in a three-dimensional periodic box. First, it proves the existence of global weak solutions, upgrading the order parameter's regularity to $\phi \in L^2(0,T;H^{s+\gamma/2})$ with $\phi \in (-1-\theta,1+\theta)$ by using a partial damping effect of the capillary force. Second, via the relative entropy method, it proves that as the density-difference parameter $\alpha \to 0$, these weak solutions converge to the unique strong solution of the classical incompressible Model H on the strong solution's lifespan, with the squared relative energy and the $L^2$ distance bounded by $C(T',D)(\alpha + \text{initial relative energy})$. The significance is that this is the first rigorous incompressible-limit passage for this quasi-incompressible two-phase model, overcoming the missing uniform pressure bounds with non-standard pressure estimates.

What carries the argument

The proof stands on two mechanisms. Existence is built through an implicit time discretization of a twice-regularized system (parameters $\delta$ and $\alpha$), solved by a fixed-point argument, followed by a compactness passage; the novel step is a regularity estimate for the order parameter obtained by testing the momentum equation against $\nabla \Delta^{-1}\Lambda^\gamma(\psi\phi_\delta)$, which turns the capillary force $\phi\nabla\mu$ into damping of $\Lambda^{s+\gamma/2}\phi$. The incompressible limit is driven by the relative entropy functional (5.10), whose coercivity controls $\|u-u_\alpha\|_{L^2}^2 + \|\phi-\phi_\alpha\|_{H^s}^2$; the remainder terms, including those involving the

What would settle it

Take a family of well-prepared initial data for which the 3D Model H strong solution blows up at a finite time T*; on any interval [0,T'] with T' > T*, Theorem 5.1 has no content, so the claimed convergence cannot be observed there. A sharper falsifier: numerically compute the left side of (5.8) for small α in a smooth test case; if the relative energy decays slower than linearly in α (e.g., like √α), then the integral estimate is not optimal, and if it grows, the theorem's bound is violated.

Watch

Extended reading notes

Core claim

The paper's central claim is that the quasi-incompressible model (1.1)—where the mass-averaged velocity is not divergence-free, $\operatorname{div}u = \alpha \Delta \mu_p$, and the pressure enters the chemical potential as $\mu_p = \mu + \alpha p$—is globally well-posed in the weak sense and converges to Model H in the limit of vanishing density contrast. Theorem 1.3 asserts global weak solutions in $\mathbb{T}^3$ for arbitrary finite time, together with the improved order-parameter regularity (1.14). Theorem 5.1 then quantifies the incompressible limit: for well-prepared initial data (5.6)–(5.7) and as long as a strong solution of Model H with regularity (5.5) exists on $[0,T']$, the relati

Load-bearing premise

The incompressible-limit theorem presupposes, without proof, that the three-dimensional limit system Model H possesses a strong solution on the whole interval [0,T'] with the high regularity listed in (5.5); if such a solution exists only on a shorter interval or not at all, the convergence statement is empty outside that interval.

Editorial extensions

If this is right

  • If Theorem 1.3 is correct, the quasi-incompressible model with fractional Laplacian and unmatched densities admits global weak solutions in 3D for every finite time, with the order parameter confined to a bounded neighborhood of $[-1,1]$.
  • Theorem 5.1 gives a quantitative justification for replacing the quasi-incompressible model by the simpler Model H when densities are nearly matched: the error in $L^2(0,T';H^1)$ for the velocity and $L^2$ for the chemical-potential gradient is $O(\sqrt{\alpha})$ once the initial data are well prepared.
  • The improved regularity (1.14) is the mechanism that makes the pressure-independent estimates possible; without it, the paper argues, the incompressible limit is out of reach under the stated assumptions.
  • The relative entropy inequality (5.56) implies a weak-strong uniqueness principle: any weak solution built by Theorem 1.3 coincides with the strong solution as long as the latter exists.

Reading between the lines

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

  • Beyond the paper: the same relative-entropy inequality should yield a weak-strong uniqueness statement for the quasi-incompressible model itself (a weak solution and a strong solution with the same data), since the proof of Theorem 5.1 does not use the specific form of the limit system except through its regularity.
  • Beyond the paper: the uniform-in-$\alpha$ pressure controls of Lemmas 5.3–5.5 resemble effective-flux-type estimates used in compressible fluid limits; they may transfer to the low-Mach-number limit of this model, connecting with the compressible diffuse-interface results the paper cites.
  • Beyond the paper: the confinement $\phi\in(-1-\theta,1+\theta)$ is not strict separation; a testable extension is whether the capillary damping estimate can be pushed to force $\phi\in(-1,1)$ when the free energy is chosen with a logarithmic singularity, which the paper identifies as desirable.
  • Beyond the paper: numerical experiments on smooth test cases could probe whether the $L^2$ error decays like $\sqrt{\alpha}$ or linearly; a faster empirical rate would indicate the abstract estimate is not sharp.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

2 major / 4 minor

Summary. The paper studies the quasi-incompressible Navier–Stokes/Cahn–Hilliard system (1.1) in a three-dimensional periodic domain, with unmatched densities and a fractional Laplacian in the chemical potential. It first proves global existence of weak solutions (Theorem 1.3) by an implicit time-discretization scheme and a Leray–Schauder fixed-point argument, and claims an improved order-parameter regularity, ϕ ∈ L^2(0,T;H^{s+γ/2}), stated in (1.14) as the key novelty. It then uses the relative entropy method to prove an incompressible limit (Theorem 5.1) as the density difference α → 0: weak solutions of the quasi-incompressible system converge to a strong solution of Model H, with relative energy rate α and L^2 rate √α, under a well-prepared data condition. The proof relies on non-standard uniform-in-α pressure controls (Lemmas 5.3–5.5) that exploit the claimed improved regularity of the order parameter.

Significance. If the proof can be completed, the paper would make a substantial contribution: it provides the first global weak-solution existence for this fractional quasi-incompressible two-phase model, introduces a genuinely new partial-damping regularity mechanism for the order parameter, and gives the first rigorous incompressible limit for the mass-averaged velocity formulation, with explicit convergence rates. The approximation and compactness architecture is standard but carefully executed, and the relative-entropy estimates in Section 5 are detailed. The paper is also honest about the conditional nature of the convergence statement: it assumes the existence of a strong solution of Model H with the regularity (5.5). However, the central improved-regularity lemma contains an unestimated commutator passage, and since that lemma is load-bearing for the pressure controls and the final convergence theorem, the main results are not fully established as written.

major comments (2)
  1. [§4, Lemma 4.5 (Eqs. (4.7)–(4.13))] The step from (4.7) to (4.13) is not justified. The left-hand side of (4.7) contains Λ^{s+γ/2}(ψϕδ), while (4.13) is written with ψΛ^{s+γ/2}ϕδ. Replacing one by the other requires estimating the commutator [Λ^{s+γ/2}, ψ]ϕδ, and the manuscript gives no estimate for this term. Since s + γ/2 > 3/2, this is a positive-order fractional differential operator; the bilinear form (Λ^{s+γ/2}ϕδ, [Λ^{s+γ/2}, ψ]ϕδ) is not controlled by the bounds (4.9)–(4.12), particularly because J1 is only bounded with a factor 1/α. Without this commutator estimate, the α-independent bound (1.14) is not established. This is load-bearing: Lemma 5.4 uses ∥ϕα∥_{L^2(0,T;H^{s+1/2})} in (5.28), and Lemma 5.3/(5.20) uses the same improved integrability to pass α pα terms to zero. The authors should either supply a valid commutator estimate (with the precise function-space assumptions) or state explicitly which standard fr
  2. [§5.1, Theorem 5.1 (assumption (5.5))] The convergence theorem is conditional on the existence of a strong solution of Model H satisfying the high regularity (5.5): u ∈ H^1(0,T';H^{s+1/2}), p ∈ L^2(0,T';H^1), μ ∈ H^1(Q_{T'}), and ϕ ∈ H^2(0,T';H^s). The paper does not verify that the known local strong solutions of Model H in 3D (cf. [1,36]) attain these regularity levels. If such solutions are known only on a short interval, or only with lower regularity, then the theorem's hypothesis may be empty outside a very restrictive class. The authors should either prove or cite a local well-posedness result that yields exactly (5.5), or explicitly restate Theorem 1.6/5.1 as a conditional statement with this regularity class as part of the hypothesis. As written, the applicability of the advertised incompressible limit is not demonstrated.
minor comments (4)
  1. [Throughout] There are numerous typographical errors: 'pinciple part' (§3), 'F ormal argument' (§5.1), 'quasi-compressible' (§1.3), 'imcompressible' (Remark 1.7), 'Date avability' (Compliance statement), and inconsistent punctuation in displayed equations. A careful copyedit is needed.
  2. [§3, proof of Lemma 3.3] The compactness passage in the time-discretization limit uses an Aubin–Lions argument with H^1(T^3) ↪↪ H^s(T^3) written for '0 ≤ s < 1', but the symbol s already denotes the order of the fractional Laplacian with s > 3/2. This could confuse the reader; the compact embedding should be written with a different symbol (e.g., H^1 ↪↪ H^r, r < 1).
  3. [§5.2, Lemma 5.4 (Eq. (5.28))] The bound (5.28) is a fractional Leibniz-type estimate for Λ^{s-1/2}(∇ϕα·g), but no reference or proof is given. Such product estimates are nontrivial in this Sobolev range and should be stated explicitly, together with the required regularity of g.
  4. [§5.3, proof of Theorem 5.1] In the H_i estimates after (5.40), many constants are aggregated into C(T',D). It would improve readability to state explicitly which terms are absorbed by the dissipation and which are handled by the Gronwall term, e.g., by numbering the final estimates (5.43)–(5.54) with a table.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: all main results are derived from stated assumptions and an external strong-solution comparison object; the only self-citation is non-load-bearing.

full rationale

The paper is a self-contained analytical proof. Theorem 1.3 constructs weak solutions via an implicit time discretization, a fixed-point/Leray–Schauder argument, and compactness passages; the improved regularity (1.14) is derived in Lemma 4.5 from the momentum equation and energy estimates rather than assumed. The incompressible-limit theorem (Theorem 5.1) is a conditional relative-entropy (weak-strong) estimate: it compares the α-dependent weak solutions against an assumed strong solution (u, φ, μ, p) of the limit Model H satisfying the explicitly stated regularity (5.5), and the final bound (5.8) is expressed in terms of that strong solution and the well-prepared initial data. The paper also explicitly says it is 'not devoted to finding the optimal regularity assumption of the strong solution,' an honest limitation rather than a hidden input. No parameter is fitted to data, no target quantity is used as an input, and no 'prediction' reduces by construction to an earlier fit. The only self-citation, [26], appears in Remark 1.7 as a hypothetical future approach and in Appendix A.1 as a secondary pointer; it is not load-bearing in the proofs of Theorems 1.3, 1.6, or 5.1. The skeptical concern about the passage from (4.7) to (4.13) in Lemma 4.5 — where Λ^{s+γ/2}(ψφδ) is effectively replaced by ψΛ^{s+γ/2}φδ without an explicit commutator estimate — is a possible correctness gap in a derived estimate, not a circularity: the claimed L2(0,T;H^{s+γ/2}) bound is not an input to its own proof, and the later uses of (1.14) in Lemmas 5.3–5.4 are one-way dependencies rather than circular reductions. Similarly, the conditional nature of Theorem 5.1 on the existence of a strong solution of Model H with regularity (5.5) is an explicitly stated assumption, not a disguised import of the conclusion.

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

The paper is a theorem-proving paper and introduces no fitted parameters: epsilon, alpha, nu, kappa are model constants, not tuned to data. The load-bearing premises are the structural assumption on the free energy and viscosity (Assumption 1.1), the restriction s > 3/2, the ad hoc extension of the potential (which is why the order parameter is only held in (-1-theta, 1+theta) instead of [-1,1]), and the assumed strong regularity of the limit solution in Theorem 5.1. The auxiliary pressure p1 = zeta p0 + partial_t G(u) in (1.6) is a technical redefinition, not a new entity.

assumptions (6)
  • domain assumption Assumption 1.1: eta in C2(R) with 0 < inf eta <= eta <= sup eta < infinity and eta' in L-infinity; F(phi) = Phi(phi) - (kappa/2) phi^2 with Phi in C3(R) convex and kappa > 0.
    Structural hypotheses on viscosity and free energy under which existence (Theorem 1.3) and the relative-entropy closure (Section 5.3) are proved; they are model data, stated and not derived.
  • domain assumption Fractional order s > 3/2 for the operator Lambda^{2s} in the chemical potential.
    The proofs need H^s(T3) subset L-infinity and H^s subset W^{1,3} (Lemma A.5, Lemma 4.5, Lemma 5.4, and (5.28)). This excludes the physically standard case s = 1, which the paper acknowledges as a limitation.
  • ad hoc to paper Extension of the potential F outside the physical interval (-1,1) so that the energy bound forces -1-theta < phi < 1+theta (Lemma A.5).
    The weak solution's order parameter can leave the physical range [-1,1]; the singular logarithmic double-well is explicitly not covered (Remark 1.5). Boundedness of phi is used throughout to control F'(phi) and pressure terms.
  • domain assumption Existence on [0,T'] of a strong solution (u,p,mu,phi) of the 3D limit Model H with regularity (5.5): u in H1(0,T';H^{s+1/2}), p in L2(0,T';H1), mu in H1(Q_T'), phi in H2(0,T';H^s).
    The incompressible limit (Theorem 5.1) is a weak-strong statement; without such a comparison solution the convergence claim is vacuous. The paper flags that it does not optimize this assumption and does not verify it against known local well-posedness results for Model H.
  • domain assumption Well-prepared initial data: u^alpha_0 -> v0 in L2 and phi^alpha_0 -> psi0 in H^s with conserved mean (5.6)-(5.7).
    The O(alpha) rate in (5.8) requires the initial relative energy to vanish as alpha -> 0.
  • standard math Standard functional analysis tools: Sobolev/Besov embeddings (2.1)-(2.4), Korn's inequality, Aubin-Lions lemma, Leray-Schauder degree, Lax-Milgram, very weak Neumann-Laplace theory (Lemma A.2), and invertibility of lambda + Lambda^{2s} (Lemma A.3).
    Background tools invoked without proof; all are classical and referenced ([19], [30], [43], [45], [46], [50], [51]).

how reviews work

0 comments
Cite this review

Pith. "Pith review of Weak solutions and incompressible limit of a quasi-incompressible Navier--Stokes/Cahn--Hilliard model for viscous two-phase flows." pith.science (2026). https://pith.science/paper/4EQFBWVU

@misc{pith2026250808090,
  author       = {Pith},
  title        = {Pith review of: Weak solutions and incompressible limit of a quasi-incompressible Navier--Stokes/Cahn--Hilliard model for viscous two-phase flows},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/4EQFBWVU}},
  note         = {Machine review of arXiv:2508.08090}
}
read the original abstract

We study a quasi-incompressible Navier--Stokes/Cahn--Hilliard coupled system which describes the motion of two macroscopically immiscible incompressible viscous fluids with partial mixing in a small interfacial region and long-range interactions. The case of unmatched densities with mass-averaged velocity is considered so that the velocity field is no longer divergence-free, and the pressure enters the equation of the chemical potential. We first prove the existence of global weak solutions to the model in a three-dimensional periodic domain, for which the implicit time discretization together with a fixed-point argument to the approximate system is employed. In particular, we obtain a new regularity estimate of the order parameter by exploiting the partial damping effect of the capillary force. Then utilizing the relative entropy method, we establish the incompressible limit -- the quasi-incompressible two-phase model converges to model H as the density difference tends to zero. Crucial to the passage of the incompressible limit, due to the lack of regularity of the pressure, are some non-standard uniform-in-density difference controls of the pressure, which are derived from the structure of the momentum equations and the improved regularity of the order parameter.

Discussion (0). Sign in to comment.

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 of 10

    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

51 extracted references · 49 canonical work pages · cited by 1 Pith paper

  1. [28]

    Feireisl, Y

    E. Feireisl, Y. Lu and J. M´ alek, On PDE analysis of flows of quasi-incompressible fluids , Z. Angew. Math. Mech. 96(2016), 491-508

  2. [34]

    Giorgini, Well-posedness of the two-dimensional Abels-Garcke-Gr¨ un model for two-phase flows with un- matched densities, Calc

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

  3. [1]

    Abels, On a diffuse interface model for two-phase flows of viscous, incompressible fluids with matched densities, Arch

    H. Abels, On a diffuse interface model for two-phase flows of viscous, incompressible fluids with matched densities, Arch. Ration. Mech. Anal. 194(2009), no. 2, 463–506

  4. [2]

    Abels, Existence of Weak Solutions for a Diffuse Interface Model for Viscous, Incompressible Fluids with General Densities, Commun

    H. Abels, Existence of Weak Solutions for a Diffuse Interface Model for Viscous, Incompressible Fluids with General Densities, Commun. Math. Phys. 289(2009), 45-73

  5. [3]

    Abels, Strong well-posedness of a diffuse interface model for a viscous, quasi-incompressible two-phase flow , SIAM J

    H. Abels, Strong well-posedness of a diffuse interface model for a viscous, quasi-incompressible two-phase flow , SIAM J. Math. Anal. 44(2012), 316-340

  6. [4]

    Abels, S

    H. Abels, S. Bosia and M. Grasselli, Cahn-Hilliard equation with nonlocal singular free energies , Ann.Mat. Pura Appl. 194(2015), 1071-1106

  7. [5]

    Abels, D

    H. Abels, D. Depner and 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(2013), 453-480

  8. [6]

    Abels and E

    H. Abels and E. Feireisl, On a diffuse interface model for a two-phase flow of compressible viscous fluids , Indiana Univ. Math. J. 57(2008), no. 2, 659-698

Show all 51 references
  1. [7]

    Abels, H

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

  2. [8]

    Abels, H

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

  3. [9]

    Abels, H

    H. Abels, H. Garcke and J. Wittmann, Diffuse interface models for two-Phase flows with phase transition: modeling and existence of weak solutions , arXiv:2505.05383

  4. [10]

    Abels, Y

    H. Abels, Y. Liu and ˇS. Neˇ casov´ a,Low Mach number limit of a diffuse interface model for two-phase flows of compressible viscous fluids, GAMM-Mitt. 47(2024), 1-15

  5. [11]

    Amann, Linear and Quasilinear Parabolic Problems, Volume 1: Abstract Linear Theory

    H. Amann, Linear and Quasilinear Parabolic Problems, Volume 1: Abstract Linear Theory. Birkh¨ auser, Basel- Boston -Berlin, 1995

  6. [12]

    Ainsworth, Z

    M. Ainsworth, Z. P. Mao, Well-posedness of the Cahn-Hilliard equation with fractional free energy and its Fourier Galerkin approximation, Chaos, Solitons and Fractals. 102(2017), 264-273

  7. [13]

    Akagi, G

    G. Akagi, G. Schimperna and A. Segatti, Fractional Cahn-Hilliard, Allen-Cahn and porousmedium equations, J. Differential Equations 261(2016), 2935-2985

  8. [14]

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

  9. [15]

    P. W. Bates, J. Han, The Dirichlet boundary problem for a nonlocal Cahn-Hilliard equation , J. Math. Anal. Appl. 311(2005), 289-312

  10. [16]

    Boyer, A theoretical and numerical model for the study of incompressible mixture flows , Comput

    F. Boyer, A theoretical and numerical model for the study of incompressible mixture flows , Comput. Fluids. 31(2002), 41-68

  11. [17]

    J. W. Cahn and J .E. Hilliard, Free energy of a nonuniform system I. Interfacial free energy, J. Chem. Phys. 28(1958), 258-267

  12. [18]

    H. Ding, P. D. M. Spelt and C. Shu, Diffuse interface model for incompressible two-phase flows with large density ratios, J. Comput. Phys. 226(2007), 2078-2095

  13. [19]

    L. C. Evans, Partial differential equations , volume 19 of Graduate Studies in Mathematics. American Mathe- matical Society, Providence, RI, 2010, second edition

  14. [20]

    Elbar, B

    C. Elbar, B. Perthame, A. Poiatti and J. Skrzeczkowski, Nonlocal Cahn-Hilliard equation with degenerate mobility: incompressible limit and convergence to stationary states , Arch. Ration. Mech. Anal. 248(2024), no. 3, Paper No. 41, 38 pp

  15. [21]

    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(2016), 1955-1993. QUASI-INCOMPRESSIBLE NA VIER–STOKES/CAHN–HILLIARD 31

  16. [22]

    S. Frigeri, On a nonlocal Cahn-Hilliard/Navier-Stokes system with degenerate mobility and singular potential for incompressible fluids with different densities , Annales de l’Institut Henri Poincar´ e-Analyse non lin´ eaire. 38(2020), 647-687

  17. [23]

    Frigeri, M

    S. Frigeri, M. Grasselli, Nonlocal Cahn-Hilliard-Navier-Stokes systems with singular potentials , Dyn. Partial Differ. Equ. 9(2012), 273-304

  18. [24]

    Frigeri, C.G

    S. Frigeri, C.G. Gal and M. Grasselli, On nonlocal Cahn-Hilliard-Navier-Stokes systems in two dimensions , J. Nonlinear Sci. 26(2016), 847-893

  19. [25]

    Frigeri, M

    S. Frigeri, M. Grasselli and P. Krejˇ c ´l, Strong solutions for two-dimensional nonlocal Cahn-Hilliard-Navier- Stokes systems , J. Differential. Equations 255 (2013), 2587-2614

  20. [26]

    M. Fei, X. Fei, D. Han and Y. Liu, Local-in-time existence of strong solutions to a quasi-incompressible Cahn- Hilliard-Navier-Stokes system , arXiv: 2411.09455

  21. [27]

    Feireisl, B

    E. Feireisl, B. J. Jin, and A. Novot´ ny,Relative Entropies, Suitable Weak Solutions, and Weak-Strong Unique- ness for the Compressible Navier-Stokes System , J. Math. Fluid. Mech. 14(2012), 717-730

  22. [29]

    Feireisl, Y

    E. Feireisl, Y. Lu and A. Novot´ ny,Weak-strong uniqueness for the compressible Navier-Stokes equations with a hard-sphere pressure law , Sci. China Math. 61(2018), 2003-2016

  23. [30]

    Feireisl, A

    E. Feireisl, A. Novot´ ny, Singular Limits in Thermodynamics of Viscous Fluids , Adv. Math. Fluid Mech. Birkh¨ auser Verlag, Basel, 2009

  24. [31]

    Feireisl, M

    E. Feireisl, M. Petcu and D. Prak, Relative energy approach to a diffuse interface model of a compressible two-phase flow , Math. Methods Appl. Sci. 42(2019), 1465-1479

  25. [32]

    C. G. Gal, A. Giorgini and M. Grasselli, The nonlocal Cahn-Hilliard equation with singular potential: well- posedness, regularity and strict separation property , J. Differential. Equations 263(2017), 5253-5297

  26. [33]

    C. G. Gal, M. Grasselli and H. Wu, Global weak solutions to a diffuse interface model for incompressible two-phase flows with moving contact lines and different densities , Arch. Ration. Mech. Anal. 234(2019), 1-56

  27. [35]

    Giorgini, On the separation property and the global attractor for the nonlocal Cahn-Hilliard equation in three dimensions, J

    A. Giorgini, On the separation property and the global attractor for the nonlocal Cahn-Hilliard equation in three dimensions, J. Evol. Equ. 24(2024), no. 2, Paper No. 21, 16 pp

  28. [36]

    Giorgini, A

    A. Giorgini, A. Miranville and R. Temam, Uniqueness and regularity for the Navier-Stokes-Cahn-Hilliard system, SIAM J. Math. Anal. 51(2019), 2535-2574

  29. [37]

    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(1996), 815-831

  30. [38]

    Z. L. Guo, Q. Chen, P. Lin, C. Liu and J. Lowengrub, Second order approximation for a quasi-incompressible Navier-Stokes Cahn-Hilliard system of two-phase flows with variable density , J. Comput. Phys. 448(2022), Paper No. 110727, 17 pp

  31. [39]

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

  32. [40]

    C. Hurm, P. Knopf and A. Poiatti, Nonlocal-to-local convergence rates for strong solutions to a Navier-Stokes- Cahn-Hilliard system with singular potential , Comm. Partial Differential Equations 49(2024), no. 9, 832-871

  33. [41]

    Lowengrub, L

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

  34. [42]

    Melchionna, E

    S. Melchionna, E. Rocca, On a nonlocal Cahn-Hilliard equation with a reaction term , Adv. Math. Sci. Appl. 24(2014), 461-497

  35. [43]

    Nirenberg, Topics in nonlinear functional analysis , Courant Lecture Notes in Mathematics,vol

    L. Nirenberg, Topics in nonlinear functional analysis , Courant Lecture Notes in Mathematics,vol. 6, Courant Institute of Mathematical Sciences, New York University, New York, 2001

  36. [44]

    Poiatti, The 3D strict separation property for the nonlocal Cahn-Hilliard equation with singular potential , Anal

    A. Poiatti, The 3D strict separation property for the nonlocal Cahn-Hilliard equation with singular potential , Anal. PDE 18(2025), no. 1, 109-139

  37. [45]

    R. E. Showalter, Monotone Operators in Banach Space and Nonlinear Partial Differential Equations , Volume 49 of Mathematical Surveys and Monographs. Providence, RI: Amer. Math. Soc., 1997

  38. [46]

    Sawano Theory of Besov Spaces , Dev

    Y. Sawano Theory of Besov Spaces , Dev. Math,. vol. 56. Springer, Singapore, 2018

  39. [47]

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

  40. [48]

    Shokrpour Roudbari, G

    M. Shokrpour Roudbari, G. S ¸im¸ sek, E. H. van Brummelen and 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 Appl. Sci. 28(2018), 733-770

  41. [49]

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

  42. [50]

    T. P. Tsai, Lectures on Navier-Stokes Equations, Graduate Studies in Mathematics, vol. 192. American Math- ematical Society, Providence, 2018

  43. [51]

    Taylor, Partial Differential Equations: I basic theory , Applied Mathematical Sciences

    M. Taylor, Partial Differential Equations: I basic theory , Applied Mathematical Sciences. Springer, New York, 2010. 32 MINGWEN FEI, XIANG FEI, DAOZHI HAN, AND YADONG LIU School of Mathematics and Statistics, Anhui Normal University, Wuhu 241002, P. R. China Email address : mw...

Pith tools

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