Pith. sign in

REVIEW 1 major objections 5 minor 1 cited by

Improved convergence of Landau-de Gennes minimizers in the vanishing elasticity limit

T0 review · 1 major / 5 minor · reviewed 2026-08-06 · deepseek-v4-flash

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

Pith's one-line read Minimizers of the Landau–de Gennes energy converge strongly in every L^p space as elasticity vanishes, and the bulk energy concentrates at the optimal rate O(ε).

desk verdict The sharp ε^3 rate is conditional on an unproved scale-invariant estimate, but the covering strategy is credible and the paper deserves a serious referee. read the letter →

arxiv 2507.14955 v2 pith:MNKW5RXO submitted 2025-07-20 math.AP math-phmath.MP

Haotong Fu , Huaijie Wang , Wei Wang This is my paper · ORCID
classification math.APmath-phmath.MP MSC 35B2576A1558E2049J45
keywords Landau–deGennesQ-tensorvanishingelasticitylimitconvergenceratesharmonicmapsblow-upanalysisLorentzspacesnematicliquidcrystals
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

The paper studies the vanishing-elasticity limit of the Landau–de Gennes model, in which the elastic parameter ε tends to zero and the Q-tensor order parameter is driven onto the uniaxial vacuum manifold. It establishes that, for local minimizers with uniformly bounded energy and sup-norm, a subsequence converges strongly in $H^{1}$_loc to a local minimizer of the limiting Dirichlet energy, and the convergence holds in L^p for every 1

What carries the argument

The argument is carried by a refined blow-up and covering analysis centered on a radially weighted monotonicity formula (Proposition 2.2), which controls the scale-invariant energy density Θ^φ_r(Q_ε,x). Using this formula, the paper defines a regular scale r(Q_ε,x) and a 'bad set' of points where the energy density or the distance to the vacuum manifold is large, then proves a pinching criterion (Proposition 2.10): inside any ball, the bad points are confined to a much smaller ball provided two consecutive scale-invariant densities are close. Iterating this covering structure yields a measure bound $L^{3}$(B_r(Bad∩B_1)) ≤ C $r^{3}$, which implies the gradient is uniformly bounded in the Lorentz space $L^{{3,∞}}$; this $L^{{3,∞}}$ bound is what upgrades $H^{1}$ convergence to L^p convergence for all finite p. The bulk-energy rate is obtained by a dyadic decomposition of the bad set together with a scale-invariant pointwise estimate for f(Q_ε) near the regular set.

What would settle it

Compute ∫_K $ε^{{-2}}$ f(Q_ε) for a family of minimizers containing a line of defects; if for some sequence the integral grows faster than ε, the rate is false. Or, inspect the deferred estimate [25, Lemma 3.3] at scales r comparable to ε and check whether the constant stays uniform; a constant that grows with $ε^{{-1}}$ would break the dyadic summation in Section 3.2.

Watch

Extended reading notes

Core claim

The central claim, Theorem 1.2, is that any sequence {Q_ε} of local minimizers of the Landau–de Gennes energy satisfying sup_ε (E_ε(Q_ε,Ω)+∥Q_ε∥_{L∞(Ω)}) ≤ M admits a subsequence ε_i→0 and a local minimizer Q_0 of the limiting Dirichlet energy ∫ |∇Q|^2 over the vacuum manifold such that Q_{ε_i}→Q_0 strongly in $H^{1}$_loc and in L^p(K) for every p∈(1,∞) on every compact K⊂Ω. In addition, the bulk term obeys ∫_K $ε_i^{{-2}}$ f(Q_{ε_i}) dx ≤ C ε_i, with C independent of the subsequence. The authors show both conclusions are optimal: the hedgehog example gives a limiting map x/|x| that is discontinuous at the origin, so no uniform convergence is possible there, and a lower bound of order $ε_i^{3}$ for ∫ f(Q_ε) matches the upper bound.

Load-bearing premise

The sharp ε-rate of the bulk energy depends on a scale-invariant pointwise estimate in the smooth region that is imported from a companion preprint; if that estimate's scaling is wrong, the claimed rate could degrade to a weaker power.

Editorial extensions

If this is right

  • For global minimizers with smooth nematic boundary data, the same L^p convergence and bulk-energy rate hold on the whole domain, including near the boundary (Corollary 1.6).
  • The gradient of the minimizers is uniformly bounded in the Lorentz space L^{3,∞}, which is the largest scale-invariant integrability class available in three dimensions; this is exactly what yields convergence in every L^p with p<∞.
  • The bulk energy rate ∫ ε^{-2} f(Q_ε) ≤ C ε means the actual bulk integrand integrates like ε^3, the scale set by the core of a point defect, and no better power is possible.
  • The method is expected to transfer to generalized Ginzburg–Landau functionals and to torus-like solutions of the Landau–de Gennes model, as stated in Remark 1.4.

Reading between the lines

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

  • This result suggests that the L^{3,∞} gradient bound is a general mechanism for singular perturbation problems with a scalar bulk potential; the same covering strategy could give sharp rates for Allen–Cahn and Ginzburg–Landau type transition layers where the 'defect set' is the transition region.
  • Because the sharp rate rests on an imported estimate from a companion preprint, a self-contained proof of that scale-invariant pointwise bound would place the result on fully independent footing; the paper currently leaves a gap a reader cannot close from the text alone.
  • The constant C in the rate is not tracked; a quantitative version of the covering argument might show how it grows as the energy bound M increases or as the defect set acquires line segments.
  • A natural continuation is the profile of Q_ε inside the defect core at scales below ε, where the paper's L^p and energy-rate results stop at the outside-the-core picture.
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

1 major / 5 minor

Summary. The paper studies the vanishing elasticity limit for local minimizers of the Landau-de Gennes energy (LdG) in three dimensions. Under a uniform bound on the total energy and the L∞ norm, the authors prove that along a subsequence the minimizers converge strongly in H1_loc to a local minimizer of the limiting Dirichlet energy (Dir), with values in the vacuum manifold N. They then establish two quantitative improvements: (1) L^p convergence for every p∈(1,∞) on compact subsets, and (2) a sharp rate for the bulk energy, ∫_K ε^{-2} f(Qε) dx ≤ C ε, equivalently ∫_K f(Qε) dx ≤ C ε^3. The proof uses a modified monotonicity formula, a partial regularity lemma distinguishing regular and bad scales, and a Naber–Valtorta-type iterative covering argument to control the measure of the bad set. The authors also give an example (boundary data equal to the hedgehog profile) showing that the ε^3 rate is optimal.

Significance. If correct, the results represent a genuine improvement over the earlier works of Majumdar–Zarnescu and Nguyen–Zarnescu, which required the limiting map to be regular, whereas the present theorem allows point singularities in the limit. The covering argument is well adapted from the harmonic-map setting and is likely to be useful in other singular perturbation problems. The sharpness example in Proposition 4.1 is clean and convincingly demonstrates that the ε^3 bulk-energy rate cannot be improved. The main caveat is that the proof of the central rate estimate (1.3) relies on a scale-invariant pointwise bound that is not proved in the paper and is deferred to an unpublished, same-group preprint [25]; this is a load-bearing gap that must be addressed.

major comments (1)
  1. [§3.2, Eq. (3.5) and the following display] The estimate f(Qε) ≤ C ε^4 ν^{-4(j+1)} on the annuli A_j is the quantitative crux of the proof of (1.3). The footnote on page 11 explicitly states that [20, Corollary 2] is not in scale-invariant form and refers to [25, Lemma 3.3] for the needed modification, but [25] is an unpublished preprint by members of the same group in a sextic-potential setting, and the lemma is neither stated nor proved in the present paper. This is load-bearing: if the pointwise bound had exponent -3 instead of -4, the summation in (3.5) would produce C ε^3 log(1/ε), and with exponent -2 it would produce only C ε, so the claimed sharp rate (1.3) depends quantitatively on the precise scaling. The authors must state and prove the scale-invariant estimate for the quartic potential (or give a fully self-contained derivation) before (1.3) can be considered established.
minor comments (5)
  1. [§3.2, p. 10] The sentence "The convergence property in L^p(Ω,S0) follows directly from the interpolation L^{3,∞} ⊂ L^q with 1<q<3 and Sobolev embedding theorem" is incomplete: this interpolation yields only q<3. The full range p∈(1,∞) follows from the already-established strong H^1 convergence (Proposition 2.3) together with the uniform L^∞ bound in (1.1); please correct the justification.
  2. [p. 11, footnote] The footnote referring to [25, Lemma 3.3] should give the precise statement of the scale-invariant estimate used, or, preferably, the lemma should be stated and proved in the paper; the current reference to an unpublished preprint of the same group is not sufficient for a load-bearing estimate.
  3. [Lemma 2.5, proof] In the contradiction argument, the claim "eεi := ε_i/r_i → 0+" in (2.6) is not justified by the negation of the lemma as written; one needs to choose the parameters Λ_i → ∞ in the counterexample sequence to ensure ε_i/r_i → 0. Please clarify this step.
  4. [§3.2, proof of (3.3)] The line "Letting r = t^{-1}" for the L^{3,∞} bound only makes sense for t>1 so that r<1; for t≤1 the desired inequality is trivial because L^3(B_1) is bounded and t^{-3} ≥ 1. Please mention this range split.
  5. [Throughout] There are several typos, including "V anishing" in the title on page 1, "eatimate" in §1.4, and missing spacing in "in B r 2 (x)" in Lemma 2.8.

Circularity Check

1 steps flagged · score 4.0 of 10

The blow-up/covering proof of L^p convergence is self-contained, but the sharp bulk-energy rate (1.3) rests on a scale-invariant pointwise estimate deferred to the same-group unpublished preprint [25, Lemma 3.3]; this is a load-bearing self-citation, not a definitional identity.

  1. self citation load bearing [Section 3.2, proof of Theorem 1.2, after (3.5), footnote 1 on p. 11]
    "By [20, Corollary 2], we have f (Qε) ≤ C(a, b, c, M)ε4ν−4(j+1) in Aj. 1 Indeed, [20, Corollary 2] is not a scaling invariant form and we need to apply a scaling invariant result. For such a modification, see [25, Lemma 3.3] for a similar setting."

    The optimal rate (1.3) is obtained by summing the annulus contributions in (3.5); the pointwise bound f(Qε) ≤ C ε^4 ν^{-4(j+1)} supplies the factor ε^4 ν^{-4(j+1)} whose exponent -4, combined with the annulus volume ~ν^{3j}, produces the final ε^3. This bound is not stated or proved in the present paper for the quartic potential being considered. Instead, the text cites [20, Corollary 2] and immediately acknowledges that the needed scale-invariant form is not in [20] and points to [25, Lemma 3.3], an unpublished same-group preprint treating sextic potentials. Thus the central bulk-energy estimate depends on a self-citation whose scaling and constants are not checked here; a different exponent would change the claimed rate.

full rationale

Most of the paper is an independent, self-contained derivation: the modified monotonicity formula (Proposition 2.2), the bad-point pinching/covering result (Proposition 2.10), and the covering Lemmas 3.1 and 3.3 give the L^{3,∞} gradient bound (3.3) and hence the L^p convergence (1.2) without fitting parameters or renaming known results. The sharpness construction in Section 4 is also independent, based on topological obstruction and a hedgehog map. The only load-bearing appeal to the authors' own prior work is the scale-invariant pointwise bulk bound used in Section 3.2: the paper explicitly says [20, Corollary 2] is not scale-invariant and defers the needed modification to [25, Lemma 3.3], an unpublished preprint by the same group. This is not circular in the definitional sense, because the lemma is not equivalent to Theorem 1.2, but it is genuinely load-bearing for the sharp ε^3 rate and is left unproved here. Hence the appropriate score is moderate, not 0.

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

No free parameters or invented physical entities. The theorem quantifies a known convergence phenomenon; the only non-standard input is the deferred scale-invariant estimate from the authors' own preprint [25], which is listed among the axioms.

assumptions (5)
  • domain assumption The vacuum manifold N = f^{-1}(0) is the smooth uniaxial set and admits a C^1 nearest-point projection Π on the set {λ1>λ2} (Canevari [3, Lemma 12]).
    Used in Proposition 4.1 to project Qε onto N when f(Qε)<η, showing the bulk energy must exceed η somewhere; also implicit in the partial regularity lemmas.
  • standard math Existence of smooth local minimizers Qε of (LdG) solving the Euler-Lagrange equation (2.1); regularity via Schauder's estimate as in §2.1.
    Basis for the monotonicity formula and all pointwise estimates.
  • standard math The modified monotonicity formula (Proposition 2.2) for the weighted density Θ^φ_r, proved in §2.2 using the stress-energy identity.
    Used repeatedly to show energy-drop and pinching of the bad set; the proof is self-contained.
  • ad hoc to paper The scale-invariant estimate f(Qε) ≤ C ε^4 at regular scales, taken from [25, Lemma 3.3], an unpublished preprint by W. Wang and Z. Zhang.
    This is the load-bearing external input for converting the bad-set measure bound into the ∫f ≤ C ε^3 integral; the paper only cites it in a footnote.
  • domain assumption Boundary regularity of the limiting harmonic map Q0 near ∂Ω (Schoen and Uhlenbeck [22, Theorem 2.7]) and uniform convergence away from singularities ([16, Proposition 6], [20, Proposition 3]).
    Used in Lemma 3.4 and the proof of Corollary 1.6 to control the boundary strip.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Improved convergence of Landau-de Gennes minimizers in the vanishing elasticity limit." pith.science (2026). https://pith.science/paper/MNKW5RXO

@misc{pith2026250714955,
  author       = {Pith},
  title        = {Pith review of: Improved convergence of Landau-de Gennes minimizers in the vanishing elasticity limit},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/MNKW5RXO}},
  note         = {Machine review of arXiv:2507.14955}
}
abstract

We investigate the vanishing elasticity limit for minimizers of the Landau-de Gennes model with finite energy. By adopting a refined blow-up and covering analysis, we establish the optimal $ L^p $ ($ 1<p<+\infty $) convergence of minimizers and achieve the sharp $ L^1 $ convergence rate of the bulk energy term.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

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

  1. On the absence of point defects in biaxial Landau--de Gennes models

    math.AP 2026-08 accept novelty 7.0 of 10

    Biaxial Landau-de Gennes local minimizers have no interior point defects in the small-elastic-constant limit.

Reference graph

Works this paper leans on

25 extracted references · 24 canonical work pages · cited by 1 Pith paper

  1. [25]

    Wang and Z

    W. Wang and Z. Zhang. Landau-de Gennes model with sextic potentials: asymptotic behavior of minimizers. Preprint, arXiv:2404.00677 [math.AP] (2024), 2024. School of Mathematical Sciences, Peking University, Beijing 100871, China Email address : 547434974@qq.com School of Mathematical Sciences, Peking University, Beijing 100871, China Email address : huaij...

    arXiv 2024

  2. [1]

    Bethuel, H

    F. Bethuel, H. Br´ ezis, and F. H´ elein. Asymptotics for the minimization of a Ginzburg-Landau functional. Calc. Var. Partial Differ. Equ. , 1(2):123–148, 1993

    work page 1993

  3. [2]

    Br´ ezis, J.-M

    H. Br´ ezis, J.-M. Coron, and E. H. Lieb. Harmonic maps with defects. Commun. Math. Phys. , 107:649–705, 1986

    work page 1986

  4. [3]

    Canevari

    G. Canevari. Line defects in the small elastic constant limit of a three-dimensional Landau-de Gennes model. Arch. Ration. Mech. Anal. , 223(2):591–676, 2017

    work page 2017

  5. [4]

    Contreras and X

    A. Contreras and X. Lamy. Singular perturbation of manifold-valued maps with anisotropic energy. Anal. PDE, 15(6):1531–1560, 2022

    work page 2022

  6. [5]

    de Gennes and J

    P.-G. de Gennes and J. Prost. The Physics of Liquid Crystals . International Series of Monographs on Physics. Clarendon Press, 1993

    work page 1993

  7. [6]

    Dipasquale, V

    F. Dipasquale, V. Millot, and A. Pisante. Torus-like solutions for the Landau-de Gennes model. I: The Lyuksyutov regime. Arch. Ration. Mech. Anal. , 239(2):599–678, 2021. 14 HAOTONG FU, HUAIJIE W ANG, AND WEI W ANG

    work page 2021

  8. [7]

    J. L. Ericksen. Liquid crystals with variable degree of orientation. Arch. Ration. Mech. Anal., 113(2):97–120, 1991

    work page 1991

Show all 25 references
  1. [8]

    Fatkullin and V

    I. Fatkullin and V. Slastikov. On spatial variations of nematic ordering. Physica D, 237(20):2577–2586, 2008

    2008

  2. [9]

    Feng and M

    Z. Feng and M. Hong. Existence of minimizers and convergence of critical points for a new Landau-de Gennes energy functional in nematic liquid crystals. Calc. Var. Partial Differ. Equ. , 61(6):36, 2022. Id/No 219

    2022

  3. [10]

    F. C. Frank. I. liquid crystals. on the theory of liquid crystals. Discussions of the Faraday Society , 25:19–28, 1958

    1958

  4. [11]

    H. Fu, W. Wang, and Z. Zhang. Quantitative stratification and sharp regularity estimates for supercritical semilinear elliptic equations. Preprint, arXiv:2408.06726 [math.AP] (2024), 2024

    2024 arXiv

  5. [12]

    Geng and A

    Z. Geng and A. Zarnescu. Uniform profile near the point defect of Landau-de Gennes model. Calc. Var. Partial Differ. Equ. , 62(1):29, 2023. Id/No 3

    2023

  6. [13]

    Huang and J

    J. Huang and J. Lin. Orientability and asymptotic convergence of Q-tensor flow of biaxial nematic liquid crystals. Calc. Var. Partial Differ. Equ. , 61(5):31, 2022. Id/No 173

    2022

  7. [14]

    Lin and C

    F. Lin and C. Wang. The analysis of harmonic maps and their heat flows. Hackensack, NJ: World Scientific, 2008

    2008

  8. [15]

    Partial H¨ older continuity for minima of certain energies among maps into a Riemannian manifold

    Stephan Luckhaus. Partial H¨ older continuity for minima of certain energies among maps into a Riemannian manifold. Indiana Univ. Math. J. , 37(2):349–368, 1988

    1988

  9. [16]

    Majumdar and A

    A. Majumdar and A. Zarnescu. Landau-de Gennes theory of nematic liquid crystals: the Oseen-Frank limit and beyond. Arch. Ration. Mech. Anal. , 196(1):227–280, 2010

    2010

  10. [17]

    Millot, Y

    V. Millot, Y. Sire, and K. Wang. Asymptotics for the fractional Allen-Cahn equation and stationary nonlocal minimal surfaces. Arch. Ration. Mech. Anal. , 231(2):1129–1216, 2019

    2019

  11. [18]

    Monteil, R

    A. Monteil, R. Rodiac, and J. Van Schaftingen. Ginzburg-landau relaxation for harmonic maps on planar domains into a general compact vacuum manifold. Arch. Ration. Mech. Anal. , 242(2):875–935, 2021

    2021

  12. [19]

    Naber and D

    A. Naber and D. Valtorta. Stratification for the singular set of approximate harmonic maps. Math. Z. , 290(3-4):1415–1455, 2018

    2018

  13. [20]

    Nguyen and A

    L. Nguyen and A. Zarnescu. Refined approximation for minimizers of a Landau-de Gennes energy functional. Calc. Var. Partial Differ. Equ. , 47(1-2):383–432, 2013

    2013

  14. [21]

    Schoen and K

    R. Schoen and K. Uhlenbeck. A regularity theory for harmonic maps. J. Differ. Geom. , 17:307–335, 1982

    1982

  15. [22]

    Schoen and K

    R. Schoen and K. Uhlenbeck. Boundary regularity and the Dirichlet problem for harmonic maps. J. Differ. Geom., 18:253–268, 1983

    1983

  16. [23]

    K. Wang, J. Wei, and K. Wu. Quantitative stratification for the fractional Allen-Cahn equation and station- ary nonlocal minimal surface. Preprint, arXiv:2503.16829 [math.AP] (2025), 2025

    2025 arXiv

  17. [24]

    M. Wang, W. Wang, and Z. Zhang. From the Q-tensor flow for the liquid crystal to the harmonic map flow. Arch. Ration. Mech. Anal. , 225(2):663–683, 2017

    2017

Pith tools

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