pith. sign in

arxiv: 2605.16997 · v1 · pith:3LVUUNEGnew · submitted 2026-05-16 · 🧮 math.AP

Leray--Hopf Type Weak Solutions for the Three-Dimensional Beris--Edwards System with Stable Landau--de Gennes Potential

Yao Zhang , Han Ni Soe , Zhipeng Xu This is my paper

Pith reviewed 2026-05-19 19:25 UTC · model grok-4.3

classification 🧮 math.AP
keywords Beris-Edwards systemweak solutionsLeray-Hopf energy inequalityLandau-de Gennes potentialnematic liquid crystalsexistence theoryhyperviscous approximation
0
0 comments X

The pith

The Beris-Edwards system admits Leray-Hopf type weak solutions in three dimensions when the bulk potential is stable.

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

The paper establishes existence of weak solutions to the three-dimensional Beris-Edwards system posed in the whole space, provided the Landau-de Gennes bulk potential satisfies the stable condition with positive parameter c. These solutions obey the expected integrability bounds on the orientation tensor and the fluid velocity, satisfy the system in the distributional sense, and fulfill an expanded form of the Leray-Hopf energy inequality. A reader would care because the inequality supplies the precise control needed for later weak-strong uniqueness arguments in liquid-crystal hydrodynamics. The argument proceeds by first securing a physical free-energy inequality through regularization and tail control, then recovering the expanded inequality via a low-order chain rule applied to the bulk term.

Core claim

Under the stable bulk assumption c greater than zero, there exist weak solutions of the Beris-Edwards system in three-dimensional space that lie in the indicated Lebesgue-Sobolev spaces for the director field Q and velocity u, satisfy the equations distributionally, and obey the expanded Leray-Hopf energy inequality obtained after a hyperviscous approximation and a localized tail estimate.

What carries the argument

Hyperviscous approximation plus localized tail estimate to obtain the physical free-energy inequality, followed by a low-order chain rule on the bulk energy to derive the expanded Leray-Hopf inequality.

If this is right

  • The expanded energy inequality supplies the exact control required for weak-strong uniqueness proofs.
  • The solutions serve as a starting point for analyzing long-time behavior and possible singularity formation in three-dimensional nematic flows.
  • The elementary uniaxial reduction recorded in the final section shows why the argument applies only when the bulk potential is stable.

Where Pith is reading between the lines

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

  • The same approximation-plus-chain-rule strategy might adapt to bounded domains once compatible boundary conditions are imposed.
  • Related hydrodynamic models with similar energy structures could inherit existence results by the same regularization route.
  • It would be natural to test whether small-data or small-time solutions gain higher regularity under the same stable-potential hypothesis.

Load-bearing premise

The bulk potential must be stable, that is, the coefficient c must be positive.

What would settle it

A concrete sequence of approximating solutions for which the expanded energy inequality fails to pass to the limit when the coefficient c is zero or negative would show that the stability assumption cannot be removed by the present method.

read the original abstract

We prove existence of a weak solution to the three-dimensional Beris--Edwards system in the whole space under the stable bulk assumption $c>0$. The solution satisfies the natural bounds $Q\in L^\infty_tH^1_x\cap L^2_tH^2_x$ and $u\in L^\infty_tL^2_x\cap L^2_tH^1_x$, the distributional form of the equations, and the expanded Leray--Hopf type energy inequality used in weak--strong uniqueness arguments. The proof does not pass directly to the limit in that expanded inequality, where the non-corotational terms contain products of the form $|Q^n|^4Q^n:\nabla u^n$. It first obtains the physical free-energy inequality through a hyperviscous approximation and a localized tail estimate, and then derives the expanded inequality from a low-order chain rule for the bulk part of the energy. The last section records the elementary uniaxial reduction which explains why the present argument is restricted to stable bulk potentials.

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

2 major / 2 minor

Summary. The paper proves existence of Leray-Hopf type weak solutions to the three-dimensional Beris-Edwards system in R^3 under the stable bulk assumption c>0 on the Landau-de Gennes potential. The solutions satisfy the bounds Q ∈ L^∞_t H^1_x ∩ L^2_t H^2_x and u ∈ L^∞_t L^2_x ∩ L^2_t H^1_x, the equations in the distributional sense, and the expanded Leray-Hopf energy inequality. The argument first obtains the physical free-energy inequality via hyperviscous regularization together with a localized tail estimate, then recovers the expanded inequality by applying a low-order chain rule solely to the bulk energy term; this avoids direct limit passage through the non-corotational products |Q^n|^4 Q^n : ∇u^n. The final section contains an elementary uniaxial reduction that justifies restricting the result to c>0.

Significance. If the estimates close, the result supplies the first existence theorem for weak solutions obeying the expanded energy inequality that is needed for weak-strong uniqueness arguments in the Beris-Edwards system. The separation of the physical energy inequality (secured by regularization and tail control) from the subsequent chain-rule derivation of the expanded form is a technically useful device that sidesteps the most singular non-corotational terms. The explicit uniaxial reduction in the last section makes the scope of the stable-bulk hypothesis transparent and falsifiable.

major comments (2)
  1. [hyperviscous approximation and tail control step] The localized tail estimate used to pass to the limit in the physical free-energy inequality (after hyperviscous regularization) must be checked for uniformity with respect to the regularization parameter. If the tail constant deteriorates as the hyperviscosity tends to zero, the limiting energy inequality may lose the precise form required for the subsequent chain-rule step.
  2. [chain-rule recovery of expanded inequality] In the derivation of the expanded Leray-Hopf inequality from the physical one, the low-order chain rule is applied only to the bulk part of the energy. It is not immediately clear how the elastic (gradient) contribution is controlled without reintroducing error terms that would require a separate limit passage; an explicit computation of the commutator or remainder would strengthen the argument.
minor comments (2)
  1. [preliminaries and approximation] The notation for the hyperviscosity parameter and the cutoff function in the tail estimate should be introduced once and used consistently throughout the approximation section.
  2. [distributional formulation] A brief remark on the choice of test functions in the distributional formulation would clarify why the non-corotational terms do not appear in the weak form that is ultimately verified.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the thorough review and the encouraging recommendation for minor revision. The comments have prompted us to clarify and strengthen certain technical aspects of the proof. We respond to the major comments point by point below.

read point-by-point responses

  1. Referee: [hyperviscous approximation and tail control step] The localized tail estimate used to pass to the limit in the physical free-energy inequality (after hyperviscous regularization) must be checked for uniformity with respect to the regularization parameter. If the tail constant deteriorates as the hyperviscosity tends to zero, the limiting energy inequality may lose the precise form required for the subsequent chain-rule step.

    Authors: We appreciate this observation. Upon re-examining the estimates, the constants in the localized tail estimate are independent of the hyperviscosity parameter, as they arise from the structure of the equations and the stable bulk potential, without dependence on the regularization. We have added a remark in the revised version explicitly confirming this uniformity, thereby ensuring that the physical free-energy inequality is preserved in the limit. revision: yes

  2. Referee: [chain-rule recovery of expanded inequality] In the derivation of the expanded Leray-Hopf inequality from the physical one, the low-order chain rule is applied only to the bulk part of the energy. It is not immediately clear how the elastic (gradient) contribution is controlled without reintroducing error terms that would require a separate limit passage; an explicit computation of the commutator or remainder would strengthen the argument.

    Authors: We agree that providing an explicit computation enhances the clarity. In the revised manuscript, we have inserted a detailed calculation of the remainder terms when applying the chain rule to the bulk energy. This shows that the elastic contributions are bounded using the existing integrability of the gradient terms and do not generate new error terms requiring additional limiting arguments. The derivation thus remains rigorous without further modifications. revision: yes

Circularity Check

0 steps flagged

No significant circularity; derivation self-contained

full rationale

The paper first secures the physical free-energy inequality via hyperviscous approximation plus localized tail estimates, then recovers the expanded Leray-Hopf form solely by applying a low-order chain rule to the bulk energy term. This route explicitly sidesteps direct passage to the limit on the non-corotational products and does not presuppose the target inequality. The stable-bulk restriction (c>0) is justified independently by the uniaxial reduction shown in the final section. No self-citations are load-bearing for the existence claim, no parameters are fitted and renamed as predictions, and no ansatz or uniqueness result is smuggled in. The central bounds and distributional equations follow from standard approximation arguments without reduction to the inputs by construction.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The claim rests on standard PDE tools for passing to limits in approximations and on the stability assumption for the potential; no free parameters or new entities are introduced.

axioms (1)
  • standard math Standard results from functional analysis and Sobolev spaces for obtaining a priori bounds and weak convergence
    Invoked to justify the existence of limits from the hyperviscous approximations and the energy bounds.

pith-pipeline@v0.9.0 · 5720 in / 1242 out tokens · 60449 ms · 2026-05-19T19:25:33.699942+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

26 extracted references · 26 canonical work pages

  1. [1]

    Abels, G

    H. Abels, G. Dolzmann, and Y. N. Liu. Well-posedness of a fully coupled navier–stokes/q- tensor system with inhomogeneous boundary data.SIAM Journal on Mathematical Analysis, 46(4):3050–3077, 2014

    work page 2014

  2. [2]

    J.-P. Aubin. Un th´ eor` eme de compacit´ e.Comptes Rendus de l’Acad´ emie des Sciences Paris, 256:5042–5044, 1963

    work page 1963

  3. [3]

    J. M. Ball and A. Majumdar. Nematic liquid crystals: from maier–saupe to a continuum theory.Molecular Crystals and Liquid Crystals, 525(1):1–11, 2010

    work page 2010

  4. [4]

    A. N. Beris and B. J. Edwards.Thermodynamics of Flowing Systems with Internal Microstruc- ture. Oxford University Press, 1994

    work page 1994

  5. [5]

    A. P. Calder´ on and A. Zygmund.Singular Integral Operators and Differential Properties of Functions. University of Chicago, 1952

    work page 1952

  6. [6]

    Cavaterra, E

    C. Cavaterra, E. Rocca, H. Wu, and X. Xu. Global strong solutions of the full navier–stokes and q-tensor system for nematic liquid crystal flows in two dimensions.SIAM Journal on Mathematical Analysis, 48(2):1368–1399, 2016

    work page 2016

  7. [7]

    P. G. de Gennes and J. Prost.The Physics of Liquid Crystals. Oxford University Press, 2 edition, 1995

    work page 1995

  8. [8]

    H. Du, X. Hu, and C. Wang. Suitable weak solutions for the co-rotational beris–edwards system in dimension three.Archive for Rational Mechanics and Analysis, 238(2):749–803, 2020

    work page 2020

  9. [9]

    Feireisl, E

    E. Feireisl, E. Rocca, G. Schimperna, and A. Zarnescu. Evolution of non-isothermal landau–de gennes nematic liquid crystals flows with singular potential.Communications in Mathematical Sciences, 12(2):317–343, 2014

    work page 2014

  10. [10]

    Feireisl, G

    E. Feireisl, G. Schimperna, E. Rocca, and A. Zarnescu. Nonisothermal nematic liquid crystal flows with the ball–majumdar free energy.Annali di Matematica Pura ed Applicata, 194(5): 1269–1299, 2015

    work page 2015

  11. [11]

    Gagliardo

    E. Gagliardo. Propriet` a di alcune classi di funzioni in pi` u variabili.Ricerche di Matematica, 7:102–137, 1958

    work page 1958

  12. [12]

    G. P. Galdi.An Introduction to the Mathematical Theory of the Navier–Stokes Equations. Springer, 2 edition, 2011

    work page 2011

  13. [13]

    Guill´ en-Gonz´ alez and M.´A

    F. Guill´ en-Gonz´ alez and M.´A. Rodr´ ıguez-Bellido. Weak time regularity and uniqueness for a q-tensor model.SIAM Journal on Mathematical Analysis, 46(5):3540–3567, 2014

    work page 2014

  14. [14]

    Guill´ en-Gonz´ alez and M.´A

    F. Guill´ en-Gonz´ alez and M.´A. Rodr´ ıguez-Bellido. Weak solutions for an initial-boundary q-tensor problem related to liquid crystals.Nonlinear Analysis: Theory, Methods and Appli- cations, 112:84–104, 2015

    work page 2015

  15. [15]

    Hieber, A

    M. Hieber, A. Hussein, and M. Wrona. Strong well-posedness of the q-tensor model for liquid crystals: the case of arbitrary ratio of tumbling and aligning effects.Archive for Rational Mechanics and Analysis, 248(3):40, 2024. 15

    work page 2024

  16. [16]

    E. Hopf. ¨Uber die anfangswertaufgabe f¨ ur die hydrodynamischen grundgleichungen.Mathe- matische Nachrichten, 4(1–6):213–231, 1950

    work page 1950

  17. [17]

    S. Kaplan. On the growth of solutions of quasi-linear parabolic equations.Communications on Pure and Applied Mathematics, 16:305–330, 1963

    work page 1963

  18. [18]

    J. Leray. Sur le mouvement d’un liquide visqueux emplissant l’espace.Acta Mathematica, 63: 193–248, 1934

    work page 1934

  19. [19]

    Lions.Quelques m´ ethodes de r´ esolution des probl` emes aux limites non lin´ eaires

    J.-L. Lions.Quelques m´ ethodes de r´ esolution des probl` emes aux limites non lin´ eaires. Dunod, 1969

    work page 1969

  20. [20]

    Nirenberg

    L. Nirenberg. On elliptic partial differential equations.Annali della Scuola Normale Superiore di Pisa, 13:115–162, 1959

    work page 1959

  21. [21]

    Paicu and A

    M. Paicu and A. Zarnescu. Global existence and regularity for the full coupled navier–stokes and q-tensor system.SIAM Journal on Mathematical Analysis, 43(5):2009–2049, 2011

    work page 2009

  22. [22]

    Paicu and A

    M. Paicu and A. Zarnescu. Energy dissipation and regularity for a coupled navier–stokes and q-tensor system.Archive for Rational Mechanics and Analysis, 203:45–67, 2012

    work page 2012

  23. [23]

    Shinbrot

    M. Shinbrot. The energy equation for the navier–stokes system.SIAM Journal on Mathemat- ical Analysis, 5(6):948–954, 1974

    work page 1974

  24. [24]

    J. Simon. Compact sets in the spacel p(0, t;b).Annali di Matematica Pura ed Applicata, 146: 65–96, 1987

    work page 1987

  25. [25]

    Wilkinson

    M. Wilkinson. Strictly physical global weak solutions of a navier–stokes q-tensor system with singular potential.Archive for Rational Mechanics and Analysis, 218(1):487–526, 2015

    work page 2015

  26. [26]

    Yang and J

    F. Yang and J. Zhou. Weak-strong uniqueness of the full coupled navier–stokes and q-tensor system in dimension three.arXiv preprint, 2025. 16

    work page 2025