Generalized Scalar Auxiliary Variable Exponential Integrator for A Modified Landau-de Gennes Theory for Smectic Liquid Crystals
Pith reviewed 2026-05-10 07:41 UTC · model grok-4.3
The pith
A reformulated exponential integrator scheme ensures unconditional energy stability for simulations of smectic liquid crystals.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
The central discovery is that reformulating the exponential time differencing discretization of the GSAV-EI scheme into an equivalent quasi-implicit backward Euler-type structure eliminates CFL mesh-ratio conditions, enabling rigorous fully discrete error analysis while proving unconditional energy stability with respect to a modified discrete energy and uniform boundedness of the tensor order parameter Q.
What carries the argument
The generalized scalar auxiliary variable-exponential integrator (GSAV-EI) with relaxed correction strategy, which reformulates the time stepping to support stability and error analysis for the coupled Q-u system.
If this is right
- The numerical scheme preserves a modified discrete energy for any time step size.
- The computed tensor order parameter Q remains uniformly bounded in the simulations.
- Optimal convergence rates in both time and space are achieved by the method.
- Complex topological defect dynamics in smectic phases can be captured accurately and efficiently.
Where Pith is reading between the lines
- Similar reformulations could extend to other exponential integrator methods for stiff PDE systems in materials science.
- The approach may enable parameter studies of phase transitions in liquid crystals over extended time scales.
- Applications to related models in soft matter, such as nematic or cholesteric phases, might benefit from the same stability properties.
Load-bearing premise
The equivalence between the exponential time differencing discretization and the quasi-implicit backward Euler structure holds without introducing additional errors or instabilities.
What would settle it
Numerical experiments demonstrating that the discrete energy increases over time for sufficiently large time steps, or that the error does not converge optimally, would contradict the stability and accuracy claims.
Figures
read the original abstract
The Smectic-A (SmA) phase is modeled by a modified Landau-de Gennes (mLdG) model proposed by Xia et al. [Phys. Rev. Lett., 126 (2021), 177801], in which a tensor order parameter $\mathbf{Q}$ for the orientational order is coupled with a real scalar $u$ characterizing the positional order. In this paper, we propose and analyze a novel, highly efficient, and unconditionally energy-stable numerical scheme for this coupled system by combining the generalized scalar auxiliary variable-exponential integrator (GSAV-EI) approach with a relaxed correction strategy. In particular, we reformulate the exponential time differencing time discretization into an equivalent quasi-implicit backward Euler-type structure, a pivotal step that eliminates the restrictive CFL mesh-ratio conditions of the original GSAV-EI method and enables a rigorous fully discrete error analysis. Theoretically, we rigorously establish the unconditional energy stability with respect to a modified discrete energy and the uniform boundedness of the numerical solutions $\mathbf{Q}$, along with optimal error estimates in both time and space. Comprehensive numerical experiments are presented to demonstrate the accuracy, efficiency, and structural preservation of the algorithm, as well as its capability in capturing complex topological defect dynamics.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript proposes and analyzes a numerical scheme for the modified Landau-de Gennes (mLdG) model of smectic liquid crystals, which couples a tensor order parameter Q with a scalar positional order parameter u. It combines the generalized scalar auxiliary variable (GSAV) approach with exponential integrators (EI) and a relaxed correction strategy. The central technical step is a reformulation of the exponential time differencing discretization into an equivalent quasi-implicit backward-Euler structure that removes CFL mesh-ratio restrictions. The authors claim to prove unconditional energy stability with respect to a modified discrete energy, uniform boundedness of the numerical solutions Q, and optimal error estimates in both time and space, supported by numerical experiments demonstrating accuracy, efficiency, and defect dynamics.
Significance. If the algebraic equivalence of the reformulation holds rigorously and the stability/error proofs are complete, the work supplies a practical, unconditionally stable, and theoretically grounded integrator for a coupled tensor-scalar system arising in liquid-crystal modeling. Such schemes are valuable for large-scale simulations of topological defects where explicit time-step restrictions would otherwise be prohibitive.
major comments (1)
- The pivotal reformulation step (described in the abstract) that converts the GSAV-EI exponential time differencing into an equivalent quasi-implicit backward-Euler structure must be shown to remain algebraically exact once the relaxed correction and the nonlinear Q-u coupling are included. The relaxation parameter introduces a perturbation whose effect on the discrete energy law and on the local truncation error needs to be controlled uniformly with respect to the mesh ratio; without an explicit derivation or bound, both the unconditional stability claim and the optimal error estimates rest on an unverified equivalence.
Simulated Author's Rebuttal
We thank the referee for the careful reading of our manuscript and for identifying the need for greater clarity on the central reformulation step. We address this point directly below.
read point-by-point responses
-
Referee: The pivotal reformulation step (described in the abstract) that converts the GSAV-EI exponential time differencing into an equivalent quasi-implicit backward-Euler structure must be shown to remain algebraically exact once the relaxed correction and the nonlinear Q-u coupling are included. The relaxation parameter introduces a perturbation whose effect on the discrete energy law and on the local truncation error needs to be controlled uniformly with respect to the mesh ratio; without an explicit derivation or bound, both the unconditional stability claim and the optimal error estimates rest on an unverified equivalence.
Authors: We thank the referee for this observation. In Section 3.2 we derive the reformulation for the fully coupled system, showing that the GSAV-EI discretization with relaxed correction is algebraically equivalent to a quasi-implicit backward-Euler scheme (see the chain of equalities leading to (3.15)). The equivalence is exact because the auxiliary variable update and the relaxation are applied after the linear exponential integrator step and do not alter the implicit treatment of the nonlinear terms. The perturbation induced by the relaxation parameter is absorbed into the modified discrete energy; Theorem 3.1 establishes unconditional stability for any fixed relaxation parameter in (0,1) without reference to the mesh ratio. For the error analysis, Lemma 4.1 bounds the local truncation error of the relaxed scheme by a term that is O(Δt) uniformly in the mesh ratio, since the exponential integrator treats the stiff linear part exactly. We will add an explicit lemma in the revised manuscript that isolates the algebraic equivalence and the uniform bound on the relaxation perturbation, thereby making the argument self-contained. revision: yes
Circularity Check
No significant circularity; derivation is self-contained via standard reformulation and analysis
full rationale
The paper's central steps consist of combining the established GSAV-EI framework with a relaxed correction and an algebraic reformulation of the exponential integrator into a quasi-implicit backward-Euler structure. This reformulation is presented as an equivalence that removes CFL restrictions and permits standard energy estimates and error analysis on the modified discrete energy. No load-bearing step reduces by definition to a fitted parameter, self-referential quantity, or prior self-citation chain; the stability and boundedness claims follow from the reformulated scheme's structure rather than tautological inputs. External citations (e.g., the mLdG model) are to independent prior work and do not carry the uniqueness or ansatz burden. The derivation therefore remains non-circular.
Axiom & Free-Parameter Ledger
Reference graph
Works this paper leans on
-
[1]
J. M. Ball and A. Zarnescu, Orientability and energy minimization in liquid crystal models, Archive for rational mechanics and analysis, 202 (2011), pp. 493–535
work page 2011
-
[2]
A. Baskaran, J. S. Lowengrub, C. W ang, and S. M. Wise, Convergence analysis of a second orderconvexsplittingschemeforthemodifiedphasefieldcrystalequation, SIAMJournalonNumerical Analysis, 51 (2013), pp. 2851–2873
work page 2013
-
[3]
P. Biscari, M. C. Calderer, and E. M. Terentjev, Landau–degennes theory of isotropic-nematic-smectic liquid crystal transitions, Physical Review E—Statistical, Nonlinear, and Soft Matter Physics, 75 (2007), p. 051707
work page 2007
-
[4]
J.-h. Chen and T. Lubensky, Landau-ginzburg mean-field theory for the nematic to smectic-c and nematic to smectic-a phase transitions, Physical Review A, 14 (1976), p. 1202
work page 1976
-
[5]
Q. Cheng and J. Shen, Multiple scalar auxiliary variable (msav) approach and its application to the phase-fieldvesiclemembranemodel, SIAM Journal on Scientific Computing, 40 (2018), pp. A3982– A4006
work page 2018
-
[6]
Q. Du, L. Ju, X. Li, and Z. Qiao, Stabilized linear semi-implicit schemes for the nonlocal cahn–hilliardequation, Journal of Computational Physics, 363 (2018), pp. 39–54
work page 2018
-
[7]
, Maximumprinciplepreservingexponentialtimedifferencingschemesforthenonlocal allen–cahn equation, SIAM Journal on Numerical Analysis, 57 (2019), pp. 875–898. 47
work page 2019
-
[8]
Q. Du, L. Ju, X. Li, and Z. Qiao, Maximum bound principles for a class of semilinear parabolic equations and exponential time-differencing schemes, SIAM Review, 63 (2021), pp. 317–359
work page 2021
-
[9]
D. J. Eyre, Unconditionally gradient stable time marching the cahn-hilliard equation, MRS online proceedings library (OPL), 529 (1998), p. 39
work page 1998
-
[10]
M. Fei, W. W ang, P. Zhang, and Z. Zhang, On the isotropic–nematicphase transition for the liquid crystal, Peking Mathematical Journal, 1 (2018), pp. 141–219
work page 2018
-
[11]
X. Feng, T. Tang, and J. Yang, Stabilized crank-nicolson/adams-bashforth schemes for phase field models, East Asian Journal on Applied Mathematics, 3 (2013), pp. 59–80
work page 2013
-
[12]
J. Han, Y. Luo, W. W ang, P. Zhang, and Z. Zhang, Frommicroscopic theory to macroscopic theory: a systematic study on modeling for liquid crystals, Archive for rational mechanics and analysis, 215 (2015), pp. 741–809
work page 2015
-
[13]
Y. Hu, Y. Qu, and P. Zhang, On the disclination lines of nematic liquid crystals, Communications in Computational Physics, 19 (2016), pp. 354–379
work page 2016
-
[14]
J. Huang and S. Ding, Global well-posedness for the dynamical Q-tensor model of liquid crystals, Science China Mathematics, 58 (2015), pp. 1349–1366
work page 2015
-
[15]
D. Izzo and M. J. De Oliveira, Landau theory for isotropic, nematic, smectic-a, and smectic-c phases, Liquid Crystals, 47 (2020), pp. 99–105
work page 2020
- [16]
-
[17]
L. Ju, X. Li, and Z. Qiao, Generalized sav-exponential integrator schemes for allen–cahntype gradient flows, SIAM journal on numerical analysis, 60 (2022), pp. 1905–1931
work page 2022
-
[18]
C. Liu, J. Shen, and X. Yang, Dynamics of defect motion in nematic liquid crystal flow: modeling and numerical simulation, Communications in Computational Physics, 2 (2007), pp. 1184–1198
work page 2007
-
[19]
Y. Liu, C. Quan, and D. W ang, On the maximum bound principle and energy dissipation of exponential time differencing methods for the matrix-valued allen–cahnequation, IMA Journal of Numerical Analysis, 45 (2025), pp. 3342–3377
work page 2025
-
[20]
Z. Liu, Y. Zhang, and X. Li, A novelenergy-optimized techniqueof sav-based(eop-sav)approaches for dissipative systems, Journal of Scientific Computing, 101 (2024), p. 38
work page 2024
-
[21]
A. Majumdar, Equilibrium order parameters of nematic liquid crystals in the landau-de gennes theory, European Journal of Applied Mathematics, 21 (2010), pp. 181–203
work page 2010
-
[22]
W. L. McMillan, Simple molecular model for the smectic a phase of liquid crystals, Physical Review A, 4 (1971), p. 1238. 48
work page 1971
-
[23]
A. Pazy, Semigroups of linear operators and applications to partial differential equations, Springer Science & Business Media, 2012
work page 2012
-
[24]
M. Y. Pevnyi, J. V. Selinger, and T. J. Sluckin, Modeling smectic layersin confinedgeometries: Order parameter and defects, Physical Review E, 90 (2014), p. 032507
work page 2014
-
[25]
J. Shen, J. Xu, and J. Yang, The scalar auxiliary variable (sav) approach for gradient flows, Journal of Computational Physics, 353 (2018), pp. 407–416
work page 2018
-
[26]
, A new class of efficientand robust energy stable schemes for gradient flows, SIAM Review, 61 (2019), pp. 474–506
work page 2019
-
[27]
J. Shen and X. Yang, Numerical approximationsof allen-cahn and cahn-hilliard equations, Discrete Contin. Dyn. Syst, 28 (2010), pp. 1669–1691
work page 2010
-
[28]
B. Shi, Y. Han, C. Ma, A. Majumdar, and L. Zhang, A modified landau–degennes theory for smectic liquid crystals: phase transitions and structural transitions, SIAM Journal on Applied Mathematics, 85 (2025), pp. 821–847
work page 2025
- [29]
- [30]
- [31]
-
[32]
J. Xia, S. MacLachlan, T. J. Atherton, and P. E. F arrell, Structural landscapes in geometrically frustrated smectics, Physical review letters, 126 (2021), p. 177801
work page 2021
- [33]
-
[34]
Z. Xu, X. Yang, H. Zhang, and Z. Xie, Efficientand linear schemes for anisotropic cahn–hilliard model using the stabilized-invariantenergy quadratization (s-ieq) approach, Computer Physics Com- munications, 238 (2019), pp. 36–49
work page 2019
-
[35]
X. Yang and D. Han, Linearly first-and second-order, unconditionally energy stable schemes for the phase field crystal model, Journal of Computational Physics, 330 (2017), pp. 1116–1134
work page 2017
-
[36]
X. Yang and G.-D. Zhang, Convergence analysis for the invariant energy quadratization (ieq) schemes for solving the cahn–hilliardand allen–cahnequations with general nonlinear potential, Jour- nal of scientific computing, 82 (2020), p. 55. 49
work page 2020
- [37]
-
[38]
Y. Zhang and J. Shen, A generalized sav approach with relaxation for dissipative systems, Journal of Computational Physics, 464 (2022), p. 111311
work page 2022
-
[39]
J. Zhao, X. Yang, Y. Gong, and Q. W ang, A novel linear second order unconditionally energy stable scheme for a hydrodynamic q-tensor model of liquid crystals, Computer Methods in Applied Mechanics and Engineering, 318 (2017), pp. 803–825. 50
work page 2017
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.