Pith. sign in

REVIEW 4 minor 23 references

Sharp instability of planar isotropic--nematic interfaces in the Landau--de Gennes model

T0 review · 0 major / 4 minor · reviewed 2026-08-16 · deepseek-v4-flash

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

Pith's one-line read Theorem 1.1: every non-negative diagonal planar minimizer is unstable for all L in (-3/2,0).

desk verdict Sharp negative-L planar instability in Landau-de Gennes, with full proofs and only a standard existence theorem imported from the authors' earlier work. read the letter →

arxiv 2608.12131 v1 pith:UMFUFQKS submitted 2026-08-12 math.AP math-phmath.MP

Wei Wang , Qin Wu This is my paper · ORCID
classification math.APmath-phmath.MP MSC 35B3535Q3582D30
keywords Landau–deGennesmodelisotropic–nematicinterfaceplanaranchoringdiagonalminimizersecondvariationspectralinstabilityzero-energyresonanceheteroclinicconnection
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 settles a stability question for the interface between the isotropic and nematic phases of a liquid crystal, described by the Landau–de Gennes order-parameter tensor. The authors prove that for every anisotropy parameter $L$ in $(-3/2,0)$, any non-negative minimizer of the reduced energy within the diagonal planar class is unstable under one-dimensional perturbations. Earlier work only established this instability under an extra integral condition, which the paper removes. The proof exposes a rotation mode: infinitesimally rotating the planar director toward the interface normal lowers the energy. It also shows that $L=0$ is the sharp endpoint of the instability range from the negative side, because the critical spectral operator is non-negative at $L=0$ and has a zero-energy resonance there.

What carries the argument

The load-bearing object is the scalar quadratic form $q_L[p]=\int_{\mathbb{R}}(a_L(p')^2+V_L p^2)\,dz$ with $a_L=(2+L)/2$ and $V_L=1+3(S-3T)+2(S^2+3T^2)$, together with the associated self-adjoint operator $L_L=-a_L\frac{d^2}{dz^2}+V_L$ on $L^2(\mathbb{R})$. Substituting the off-diagonal perturbation (4.1) into the tensorial second variation reduces it to $\frac{1}{3}q_L[p]$. The decisive identity is $L_L(S+T)=\frac{L}{6}(S''-3T'')$, which, after integration by parts, yields $q_L[S+T]=\frac{L}{6}\int_{\mathbb{R}}(S'+T')(3T'-S')\,dz$. The new derivative inequalities $S'>0$, $T'>0$, and $3T'-S'>0$ make the integrand strictly positive, so the sign is fixed by $L<0$. The optimal stability index $\Lambda(L)=\inf\sigma(L_L)$ is then strictly negative for $-\frac{3}{2}<L<0$ and, by the factorization at $L=0$, equal to zero at the endpoint.

What would settle it

For some $L\in(-\frac32,0)$, say $L=-0.5$, compute numerically the minimizer of $E_L$ in $A_p$ by solving the ODE system (1.8) with boundary conditions (1.6). If any such non-negative minimizer has a point with $3T'-S'\le 0$, or if the computed value of $q_L[S+T]=\frac{L}{6}\int(S'+T')(3T'-S')\,dz$ is non-negative, then Lemma 5.1 or identity (5.6) fails and Theorem 1.1 collapses; conversely, verifying the strict inequality $3T'-S'>0$ and $q_L[S+T]<0$ on a fine grid would support the theorem.

Watch

Extended reading notes

Core claim

The central claim is Theorem 1.1: let $-\frac{3}{2}<L<0$ and let $(S,T)\in A_p$ be a non-negative diagonal planar minimizer, with $Q_p=\frac{1}{3}\operatorname{diag}(S+3T,\,S-3T,\,-2S)$. Then there exists a smooth compactly supported $S_0$-valued perturbation $P$ such that the normalized second variation satisfies $E_{Q_p}(P,P)<0$, so $Q_p$ is unstable under one-dimensional perturbations. The instability is detected by the off-diagonal mode $p=S+T$, which is exactly the infinitesimal rotation of the planar director toward the interface normal. The proof establishes new pointwise derivative inequalities $S'>0$, $T'>0$, and $3T'-S'>0$, and then evaluates the relevant scalar quadratic form exactly as $q_L[S+T]=\frac{L}{6}\int_{\mathbb{R}}(S'+T')(3T'-S')\,dz<0$. A slow cutoff in the nematic tail converts the non-$L^2$ test function $S+T$ into a compactly supported negative direction. At $L=0$, the explicit profile $S=T=s(z)=\frac14(1+\tanh(z/2))$ gives the exact factorization $q_0[p]=\int_{\mathbb{R}} s^2\,((p/s)')^2\,dz\ge 0$, so the optimal stability index vanishes and $s$ is a zero-energy threshold resonance rather than an $L^2$ eigenfunction.

Load-bearing premise

The proof assumes from earlier work that a smooth non-negative diagonal planar minimizer exists, converges exponentially to $(0,0)$ and $(\frac12,\frac12)$, and satisfies $0<S,T\le\frac12$; if such a minimizer does not exist or lacks these bounds, the derivative-sign and cutoff-localization arguments do not go through.

Editorial extensions

If this is right

  • The instability holds on the whole coercive negative range $(-\frac{3}{2},0)$ of the planar reduction, with no extra integral condition required; in particular it covers $[-1,0)$, the full negative range where the three-dimensional elastic energy is non-negative.
  • $L=0$ is the sharp endpoint from below: $\Lambda(L)<0$ for every $L\in(-\frac{3}{2},0)$ while $\Lambda(0)=0$, and at $L=0$ the critical mode is a zero-energy resonance, so the threshold is not an ordinary isolated-eigenvalue crossing.
  • For every $L\in(-\frac{3}{2},0)$, $\Lambda(L)$ is a simple eigenvalue of $L_L$ with a strictly positive eigenfunction, giving a distinguished optimal negative direction in the one-dimensional perturbation class.
  • Because the negative perturbation is one-dimensional, any larger perturbation class that contains one-dimensional perturbations also detects the instability of $Q_p$.
  • The geometric source of the instability is a rotation of the planar director toward the interface normal, which is consistent with the energetic preference for homeotropic or tilted anchoring when $L<0$.

Reading between the lines

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

  • The proof needs only the pointwise signs $S'>0$, $T'>0$, $3T'-S'>0$ and the algebraic identity for $q_L[S+T]$; the same mechanism should persist for any sufficiently regular planar heteroclinic profile with those signs, not exclusively for minimizers, a claim the paper does not make but that a numerical check could test directly.
  • The zero-energy resonance at $L=0$ suggests that perturbation theory near $L=0$ is a resonance problem, not a gap-opening one; a natural extension is to compute the leading-order behaviour of $\Lambda(L)$ as $L\uparrow 0$ and ask whether any positive-$L$ stability appears away from the endpoint.
  • The corrected $L=0$ profile $s(z)=\frac14(1+\tanh(z/2))$ fixes the interface length scale in the adopted normalization; comparisons with earlier numerically computed interface widths should use this profile rather than the factor-of-two inconsistent version mentioned in the abstract.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

0 major / 4 minor

Summary. This paper studies one-dimensional planar isotropic–nematic interfaces in the Landau–de Gennes model with elastic anisotropy constant L. The authors prove that for every L in the interval (-3/2,0), every non-negative diagonal planar minimizer (S,T) of the reduced energy is unstable under one-dimensional off-diagonal perturbations, thereby removing an extra structural condition (1.13) required in earlier work. The proof combines new pointwise derivative bounds S'>0, T'>0, and 3T'-S'>0 with the exact identity q_L[S+T] = (L/6)∫(S'+T')(3T'-S') dz < 0 and a cutoff localization argument that converts the non-L^2 trial mode S+T into a compactly supported negative direction. At L=0, the paper proves the factorization q_0[p] = ∫ s^2((p/s)')^2 dz ≥ 0, shows that the stability index Λ(0) equals 0, and identifies s as a zero-energy threshold resonance. It also defines the optimal stability index Λ(L) = inf σ(L_L) and corrects a factor-of-two normalization inconsistency in a previously stated interface profile.

Significance. The result is significant because it settles the sharp negative-L range for instability in the reduced planar problem: the condition L > -3/2 is exactly the coercivity range of the reduced energy, and the paper establishes instability throughout its entire negative half, with L=0 as the endpoint. The proof is essentially self-contained and rigorous: the derivative inequalities, the exact second-variation computation, the spectral analysis via Kato–Rellich and Weyl's theorem, and the cutoff localization are all written in detail. The paper has no fitted parameters, and its central instability criterion is a concrete falsifiable spectral statement. The main external input is the existence and regularity theorem for non-negative diagonal planar minimizers quoted from [22, Theorem 3.2]; this is a standard, non-circular dependency rather than an internal weakness. Overall, the claims are well supported and the paper makes a solid contribution to the stability theory of Landau–de Gennes interfaces.

minor comments (4)
  1. [§1, Eq. (1.10)] The displayed definition of a_L in (1.10) is typeset as a_L = 2 + L/2, which is inconsistent with the subsequent text and with Lemma 5.2, where a_L = 1 + L/2 = (2+L)/2; the displayed formula should be corrected.
  2. [§4, Eq. (4.2)] The normalized second variation (1.9) is defined only at profiles where the first variation of F_0 vanishes, but the manuscript does not explicitly verify that the diagonal planar minimizer Q_p is critical for the off-diagonal perturbation (4.1); this follows from the orthogonality relations Q_p:P_p = 0 and tr(Q_p^2 P_p) = 0, and a one-sentence verification would remove any doubt.
  3. [§3, Proposition 3.3] The passage from J[ζ_R u_+, ζ_R v_+] to J[u_+, v_+] is terse: the quadratic form J is introduced only for C_0^∞ test pairs, and its use for H^1 pairs such as (u_+, v_+) should be justified by density and by the vanishing of the boundary terms in the subsequent integration by parts.
  4. [§5, Lemma 5.2] The notation q_L[p] is initially defined for p ∈ H^1(R) in (1.11), but Lemma 5.2 applies it to p = S+T ∉ L^2(R); although the lemma explains that the integral is meant as an improper integral, a remark at the first use of the notation would avoid confusion.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: the instability sign is an exact Euler–Lagrange computation, and the only imported input is an independent existence/regularity theorem that does not assume the target conclusion.

full rationale

The proof of Theorem 1.1 does not reduce to its inputs by construction. The key identity LL(S+T) = L/6 (S''-3T'') is derived algebraically by adding the two Euler-Lagrange equations in (1.8) and using the definitions a_L = 1+L/2 and alpha = 1+2L/3. The negativity of q_L[S+T] then follows from integration by parts and the strict derivative inequalities S'>0, T'>0, and 3T'-S'>0, which are proved in Proposition 3.3 and Lemma 5.1 by maximum-principle and second-variation arguments using minimality within A_p. No fitted parameter is renamed as a prediction, and the compactly supported negative direction is obtained by a cutoff localization whose error terms are controlled by the exponential decay imported from Proposition 3.1. The L=0 endpoint is an explicit factorization q0[p] = ∫ s^2 ((p/s)')^2 dz, with s given by a closed-form solution, so no tautology is involved. The only external input is [22, Theorem 3.2] and [22, Proposition 6.1], cited for the existence, smoothness, bounds, and exponential convergence of a non-negative diagonal planar minimizer. That cited theorem is a published, parameter-free existence result whose hypotheses do not include the instability conclusion of the present paper; it is independent support rather than a self-confirming assumption. Thus there is no significant circularity.

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

The central claim has no fitted parameters. The only external inputs are the chosen normalization, the diagonal ansatz, and an existence theorem from the authors' earlier paper [22]; all instability computations are explicit and parameter-free given those inputs. No new particles, forces, dimensions, or conserved quantities are postulated; the zero-energy resonance is a property of the existing operator L_L at L=0.

assumptions (5)
  • standard math Standard spectral results for one-dimensional Schrödinger operators with bounded potentials: the Kato-Rellich theorem, Weyl's criterion, Weyl's theorem, the max-min principle, and the ground-state theorem from Teschl [20].
    Used in Sections 4 and 5 to justify self-adjointness, identify the essential spectrum, and prove simplicity of the negative eigenvalue.
  • domain assumption Landau-de Gennes energy normalization: L1=1, L3=0, L4=0, bulk coefficients a=1, b=9, c=3 at coexistence, and boundary conditions (1.2).
    This is the physical model the theorem addresses; it is fixed by references [17,22] and the coexistence condition b^2=27ac.
  • domain assumption Diagonal planar ansatz Q=Q_d(S,T) with reduced energy (1.5) and admissible class A_p.
    The theorem is stated for minimizers in this ansatz; the instability is demonstrated for such minimizers, not for all global Q-minimizers.
  • domain assumption Existence of a non-negative minimizer (S,T) in A_p with regularity, exponential decay, and bounds 0 < S,T <= 1/2, quoted from Wu [22, Theorem 3.2] via Proposition 3.1.
    This imported existence and profile-control result is used throughout Section 3, including the strict positivity proof.
  • standard math Spectral inequality tr(Q^3) <= (1/sqrt(6)) |Q|^3 from Majumdar and Zarnescu [13].
    Used to identify the well set and the endpoints of the potential W in Lemma 3.2 and Proposition 3.3.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Sharp instability of planar isotropic--nematic interfaces in the Landau--de Gennes model." pith.science (2026). https://pith.science/paper/UMFUFQKS

@misc{pith2026260812131,
  author       = {Pith},
  title        = {Pith review of: Sharp instability of planar isotropic--nematic interfaces in the Landau--de Gennes model},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/UMFUFQKS}},
  note         = {Machine review of arXiv:2608.12131}
}
abstract

We study the stability of one-dimensional planar isotropic--nematic interfaces in the Landau--de Gennes model with anisotropic elastic constant $L$. Earlier work proved the instability for $L<0$ only under an extra condition. We remove this condition and prove that any non-negative minimizer of the reduced energy within the diagonal planar class is unstable under general one-dimensional perturbations throughout $-\frac{3}{2}<L<0$. This result shows that $L=0$ is the sharp endpoint of the instability range from the negative-$L$ side: the critical operator is non-negative at $L=0$, while instability holds over the full negative-$L$ range of the reduced problem. We also define the optimal stability index and correct a factor-of-two normalization inconsistency in a previously stated interface profile.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

23 extracted references · 16 canonical work pages

  1. [1]

    M Ball and A

    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

  2. [2]

    Canevari

    G. Canevari. Biaxiality in the asymptotic analysis of a 2D Landau-de Gennes model for liquid crystals.ESAIM, Control Optim. Calc. Var., 21(1):101–137, 2015

    2015

  3. [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

    2017

  4. [4]

    J. Chen, P. Zhang, and Z. Zhang. Local minimizer and de Giorgi’s type conjecture for the isotropic-nematic interface problem.Calc. Var. Partial Differ. Equ., 57(5):19, 2018. Id/No 129

    work page 2018

  5. [5]

    De Gennes

    P.-G. De Gennes. Short range order effects in the isotropic phase of nematics and cholesterics.Molecular Crystals and Liquid Crystals, 12(3):193–214, 1971

    work page 1971

  6. [6]

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

    work page 1991

  7. [7]

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

    work page 1958

  8. [8]

    H. Fu, H. Wang, and W. Wang. Improved convergence of landau–de Gennes minimizers in the vanishing elasticity limit. Preprint, arXiv:2507.14955 [math.AP] (2025), 2025

    arXiv 2025

Show all 23 references
  1. [9]

    H. Fu, H. Wang, and W. Wang. Uniform estimates of Landau-de Gennes minimizers in the vanishing elasticity limit with line defects.SIAM J. Math. Anal., 58(4):3306–3324, 2026

    2026

  2. [10]

    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

  3. [11]

    On the asymptotic limit for the dynamic isotropic-nematic phase transition with anisotropic elasticity

    Dong H., Ren S., and Wang W. On the asymptotic limit for the dynamic isotropic-nematic phase transition with anisotropic elasticity. Preprint, arXiv:2508.18800 [math.AP] (2025), 2025

    2025 arXiv

  4. [12]

    S. M. Kamil, A. K. Bhattacharjee, R. Adhikari, and G. I. Menon. The isotropic-nematic interface with an oblique anchoring condition.The Journal of chemical physics, 131(17), 2009

    2009

  5. [13]

    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

  6. [14]

    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

  7. [15]

    L. Onsager. The effects of shape on the interaction of colloidal particles.Annals of the New York Academy of Sciences, 51(4):627–659, 1949

    1949

  8. [16]

    C. W. Oseen. The theory of liquid crystals.Transactions of the Faraday Society, 29:883–899, 1933

    1933

  9. [17]

    J. Park, W. Wang, P. Zhang, and Z. Zhang. On minimizers for the isotropic-nematic interface problem.Calc. Var. Partial Differ. Equ., 56(2):15, 2017. Id/No 41

    2017

  10. [18]

    Popa-Nita, T

    V. Popa-Nita, T. J. Sluckin, and A. A. Wheeler. Statics and kinetics at the nematic-isotropic interface: Effects of biaxiality.Journal de Physique II, 7(9):1225–1243, 1997

    1997

  11. [19]

    M. J. Stephen and J. P. Straley. Physics of liquid crystals.Reviews of Modern Physics, 46(4):617, 1974

    1974

  12. [20]

    Teschl.Mathematical Methods in Quantum Mechanics: With Applications to Schr¨ odinger Operators, volume 157 ofGraduate Studies in Mathematics

    G. Teschl.Mathematical Methods in Quantum Mechanics: With Applications to Schr¨ odinger Operators, volume 157 ofGraduate Studies in Mathematics. American Mathematical Society, Providence, RI, 2 edition, 2014

    2014

  13. [21]

    W. Wang, L. Zhang, and P. Zhang. Modelling and computation of liquid crystals.Acta Numerica, 30:765–851, 2021

    2021

  14. [22]

    Q. Wu. The existence and stability of solutions for liquid crystal two-phase interface problems.Calc. Var. Partial Differ. Equ., 64(7):35, 2025. Id/No 233

    2025

  15. [23]

    Zuniga and P

    A. Zuniga and P. Sternberg. On the heteroclinic connection problem for multi-well gradient systems.J. Differ. Equations, 261(7):3987–4007, 2016. 18 WEI WANG AND QIN WU School of Mathematical Sciences, Peking University, Beijing 100871, China Email address:2201110024@stu.pku.ed...

    2016

Pith tools

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