pith. sign in

arxiv: 2605.18602 · v1 · pith:G3ARTXGVnew · submitted 2026-05-18 · 🧮 math.AP

On nematic electrolytes

Hengrong Du , Fizay-Noah Lee , Gieri Simonett This is my paper

Pith reviewed 2026-05-20 08:30 UTC · model grok-4.3

classification 🧮 math.AP
keywords nematic electrolytesNernst-Planck equationsEricksen-Leslie equationsmaximal regularitystrong solutionsglobal existenceequilibrianonlocal boundary conditions
0
0 comments X

The pith

The coupled PDE system for nematic electrolytes admits unique strong solutions via maximal regularity theory.

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

The paper establishes well-posedness for a model of ion species moving inside a nematic liquid crystal solvent. It couples Nernst-Planck ion transport, Poisson electrostatics, Navier-Stokes flow, and Ericksen-Leslie director dynamics under a unit-length constraint and a nonlinear nonlocal boundary condition. The authors apply maximal regularity to obtain local existence and uniqueness of strong solutions, criteria that guarantee global-in-time existence, and a description of the equilibria that the system reaches. A reader would care because the result supplies a mathematically consistent framework for predicting the long-term behavior of these materials in bounded domains.

Core claim

Using the theory of maximal regularity, we prove existence and uniqueness of strong solutions, provide criteria for global existence, and characterize the set of equilibria for the system of nonlinear partial differential equations modeling the electrokinetics of a nematic electrolyte material consisting of various ion species suspended in a nematic liquid crystal within a bounded domain in two or three dimensions, with isotropic elasticity, unit-length director constraint, and the nonlinear nonlocal boundary condition arising from no-flux electrochemical potentials.

What carries the argument

Maximal regularity theory applied to the linearized coupled system that incorporates the nonlinear nonlocal boundary condition for ion concentrations.

Load-bearing premise

The liquid crystal has isotropic elasticity and the director field is constrained to have unit length, which fixes the elastic stress and the form of the boundary condition.

What would settle it

A specific initial condition in a three-dimensional domain for which a strong solution develops a singularity in finite time even though the stated global existence criteria hold.

read the original abstract

We study a system of nonlinear partial differential equations modeling the electrokinetics of a nematic electrolyte material consisting of various ion species suspended in a nematic liquid crystal within a bounded domain in two or three dimensions. The system couples a Nernst-Planck model for ion concentrations with the Poisson equation for the electrostatic potential, a Navier-Stokes equation for the fluid solvent, and the Ericksen-Leslie equations with general Leslie stress for nematic liquid crystals. We consider the case of isotropic elasticity for the liquid crystal and impose a unit-length constraint on the director field. The no-flux condition for the electrochemical potential leads to a nonlinear (and nonlocal) boundary condition for the ion concentrations. Using the theory of maximal regularity, we prove existence and uniqueness of strong solutions, provide criteria for global existence, and characterize the set of equilibria.

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

1 major / 2 minor

Summary. The manuscript analyzes a coupled nonlinear PDE system modeling nematic electrolytes in bounded 2D/3D domains. It combines Nernst-Planck equations for multiple ion species, the Poisson equation for the electrostatic potential, Navier-Stokes for the solvent, and Ericksen-Leslie equations with general Leslie stress under isotropic elasticity and a unit-length constraint on the director field. The no-flux condition on electrochemical potentials induces a nonlinear nonlocal boundary condition on the ion concentrations. The central claims are existence and uniqueness of strong solutions via maximal regularity theory, criteria for global existence, and characterization of the set of equilibria.

Significance. If the technical details close, the result would supply a rigorous existence theory for a physically relevant model of electrokinetic phenomena in nematic liquid crystals, extending standard maximal regularity techniques to a system with nonlocal boundary coupling. This could serve as a foundation for subsequent stability or long-time behavior analyses. The paper correctly identifies the nonlocal character of the boundary condition as a modeling feature arising from the global Poisson recovery.

major comments (1)
  1. [Proof of local existence (likely the main theorem in §3 or §4)] The application of standard maximal regularity results to obtain strong solutions appears to rest on the boundary condition being of appropriate form for the underlying operator. However, the nonlinear nonlocal boundary condition for ion concentrations (induced by the no-flux electrochemical potential and global recovery of the electrostatic potential via Poisson) may not satisfy the locality and order requirements of classical theorems for quasilinear parabolic systems. Without an explicit reduction to a local problem or invocation of an extended theory that preserves the necessary resolvent estimates, the existence proof for strong solutions in 2D/3D may not close. This is load-bearing for the central claim.
minor comments (2)
  1. Clarify the precise function spaces in which the strong solutions are sought, especially the regularity of the director field under the unit-length constraint.
  2. The criteria for global existence should be stated explicitly in terms of initial data or a priori bounds; currently the abstract leaves the form of these criteria implicit.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading of our manuscript and for identifying the key technical point regarding the application of maximal regularity theory to the nonlocal boundary condition. We address this concern directly below and are prepared to revise the manuscript accordingly to strengthen the exposition of the proof.

read point-by-point responses

  1. Referee: The application of standard maximal regularity results to obtain strong solutions appears to rest on the boundary condition being of appropriate form for the underlying operator. However, the nonlinear nonlocal boundary condition for ion concentrations (induced by the no-flux electrochemical potential and global recovery of the electrostatic potential via Poisson) may not satisfy the locality and order requirements of classical theorems for quasilinear parabolic systems. Without an explicit reduction to a local problem or invocation of an extended theory that preserves the necessary resolvent estimates, the existence proof for strong solutions in 2D/3D may not close. This is load-bearing for the central claim.

    Authors: We agree that the nonlocal character of the boundary condition requires explicit justification to ensure compatibility with maximal regularity. In §3, the Poisson equation is solved for the electrostatic potential in terms of the ion concentrations, yielding a nonlocal but explicit representation. The resulting boundary condition for the concentrations is then incorporated into the abstract quasilinear parabolic framework. We invoke an extension of the maximal regularity theory (as in the works of Denk, Hieber, and Prüss on nonlocal boundary conditions for parabolic systems) that preserves the required resolvent estimates and sectoriality for operators with nonlocal terms of this type. We will add a dedicated remark and a short appendix verifying that the specific nonlocal operator arising here satisfies the necessary conditions (uniform ellipticity, boundedness of the nonlocal perturbation, and compatibility with the no-flux structure). This makes the application of the abstract theorem rigorous without reducing the entire system to a strictly local problem. revision: yes

Circularity Check

0 steps flagged

No circularity: standard application of external maximal regularity theory to the coupled PDE system.

full rationale

The paper's central result is a proof of existence, uniqueness, and global existence criteria for strong solutions of the nematic electrolyte model (Nernst-Planck-Poisson-Navier-Stokes-Ericksen-Leslie) via the theory of maximal regularity. This is an application of an established external framework to a new system with the given nonlinear nonlocal boundary conditions arising from no-flux electrochemical potentials. No self-definitional reductions, fitted inputs renamed as predictions, or load-bearing self-citation chains appear in the derivation; the result does not reduce to its inputs by construction. The analysis is self-contained against external benchmarks and receives a non-finding for circularity.

Axiom & Free-Parameter Ledger

0 free parameters · 3 axioms · 0 invented entities

The central claim rests on standard modeling assumptions from liquid crystal theory and PDE analysis rather than new postulates; no free parameters or invented entities are introduced.

axioms (3)
  • domain assumption Isotropic elasticity for the liquid crystal
    Stated as part of the model setup in the abstract.
  • domain assumption Unit-length constraint on the director field
    Imposed explicitly in the model description.
  • domain assumption No-flux condition for electrochemical potential leading to nonlinear nonlocal boundary condition
    Used to derive the boundary conditions for ion concentrations.

pith-pipeline@v0.9.0 · 5665 in / 1309 out tokens · 35684 ms · 2026-05-20T08:30:37.305800+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

54 extracted references · 54 canonical work pages

  1. [1]

    Abdo and M

    E. Abdo and M. Ignatova,Long time finite dimensionality in charged fluids.Nonlinearity34, no. 9, 6173–6209 (2021)

    work page 2021

  2. [2]

    An Introduction to Nonlinear Analysis.DeGruyterStudies in Mathematics, 13

    H.Amann,Ordinary Differential Equations. An Introduction to Nonlinear Analysis.DeGruyterStudies in Mathematics, 13. Walter de Gruyter & Co., Berlin, 1990

    work page 1990

  3. [3]

    Amann,On the strong solvability of the Navier-Stokes equations.J

    H. Amann,On the strong solvability of the Navier-Stokes equations.J. Math. Fluid Mech.2, no. 1, 16-98 (2000)

    work page 2000

  4. [4]

    Bedrossian and V

    J. Bedrossian and V. Vicol,The Mathematical Analysis of the Incompressible Euler and Navier-Stokes Equations—an Introduction.Graduate Studies in Mathematics225. American Mathematical Society, Providence, RI, 2022. 42 HENGRONG DU, FIZAY-NOAH LEE, AND GIERI SIMONETT

    work page 2022

  5. [5]

    Bothe, A

    D. Bothe, A. Fischer and J. Saal,Global well-posedness and stability of electrokinetic flows.SIAM J. Math. Anal.46, 1263-1316 (2014)

    work page 2014

  6. [6]

    M. C. Calderer, D. Golovaty, O. Lavrentovich and J. N. Walkington,Modeling of nematic electrolytes and nonlinear electroosmosis.SIAM J. Appl. Math.76, no. 6, 2260–2285 (2016)

    work page 2016

  7. [7]

    Cavaterra, E

    C. Cavaterra, E. Rocca and H. Wu,Global weak solution and blow-up criterion of the general Ericksen- Leslie system for nematic liquid crystal flows.J. Differential Equations255, 24-57 (2013)

    work page 2013

  8. [8]

    Constantin and C

    P. Constantin and C. Foias,Navier-Stokes Equations.Chicago Lectures in Mathematics. University of Chicago Press, Chicago, IL, 1988

    work page 1988

  9. [9]

    Constantin, M

    P. Constantin, M. Ignatova and F.-N. Lee,Existence and stability of nonequilibrium steady states of Nernst–Planck-Navier–Stokes systems.Phys. D442, Paper No. 133536, 18 pp. (2022)

    work page 2022

  10. [10]

    Constantin, M

    P. Constantin, M. Ignatova and F.-N. Lee,Nernst-Planck-Navier-Stokes systems near equilibrium.Pure and Applied Functional Analysis7, no. 1, 175-196 (2022)

    work page 2022

  11. [11]

    Constantin, M

    P. Constantin, M. Ignatova and F.-N. Lee,Nernst–Planck–Navier–Stokes Systems far from equilibrium. Arch. Ration. Mech. Anal.240, no. 2, 1147–1168 (2021)

    work page 2021

  12. [12]

    Constantin and M

    P. Constantin and M. Ignatova,On the Nernst-Planck-Navier-Stokes system.Arch. Ration. Mech. Anal. 232, no. 3, 1379–1428 (2019)

    work page 2019

  13. [13]

    H. Du, T. Huang and C. Wang,Weak compactness property of simplified nematic liquid crystal flows in dimension two.Math. Z.302, no. 4, 2111–2130 (2022)

    work page 2022

  14. [14]

    Du, F.-N

    H. Du, F.-N. Lee and G. Simonett,Global existence of weak solutions to a nematic electrolytes model in 2D.In preparation

    work page

  15. [15]

    H. Du, Y. Shao and G. Simonett,Well-posedness for magnetoviscoelastic fluids in 3D.Nonlinear Anal. Real World Appl.69, Paper No. 103759, 14 pp. (2023)

    work page 2023

  16. [16]

    H. Du, Y. Shao and G. Simonett,On a thermodynamically consistent model for magnetoviscoelastic fluids in 3D.J. Evol. Equ.24, no. 1, Paper No. 9, 51 pp. (2024)

    work page 2024

  17. [17]

    Ericksen,Hydrostatic theory of liquid crystals.Arch

    J.L. Ericksen,Hydrostatic theory of liquid crystals.Arch. Rational Mech. Anal.9, 371–378 (1962)

    work page 1962

  18. [18]

    Ericksen,Inequalities in liquid crystal theory.Phys

    J.L. Ericksen,Inequalities in liquid crystal theory.Phys. Fluids9, 1205–1207 (1966)

    work page 1966

  19. [19]

    Feireisl, M

    E. Feireisl, M. Frémond, E. Rocca and G. Schimperna,A new approach to non-isothermal models for nematic liquid crystals.Arch. Rational Mech. Anal.205, 651–672 (2012)

    work page 2012

  20. [20]

    Feireisl, E

    E. Feireisl, E. Rocca, G. Schimperna and A. Zarnescu,Weak sequential stability for a nonlinear model of nematic electrolytes.Discrete Contin. Dyn. Syst. Ser. S14, no. 1, 219–241 (2021)

    work page 2021

  21. [21]

    Fischer and J

    A. Fischer and J. Saal,Global weak solutions in three space dimensions for electrokinetic flow processes. J. Evol. Equ.17, no. 1, 309–333 (2017)

    work page 2017

  22. [22]

    Gilbarg and N.S

    D. Gilbarg and N.S. Trudinger,Elliptic Partial Differential Equations of Second Order.Reprint of the 1998 edition. Classics in Mathematics. Springer-Verlag, Berlin, 2001

    work page 1998

  23. [23]

    Hieber, J

    M. Hieber, J. Li and M. Wilke,Nematic liquid crystals: Ericksen-Leslie theory with general Leslie stress.Arch. Ration. Mech. Anal.249, no. 6, Paper No. 76, 45 pp. (2025)

    work page 2025

  24. [24]

    Hieber, M

    M. Hieber, M. Nesensohn, J. Prüss and K. Schade,Dynamics of nematic liquid crystal flow : the quasilinear approach.Ann. Inst. H. Poincaré C Anal. Non Linéaire33, 379–408 (2016)

    work page 2016

  25. [25]

    Hieber and J

    M. Hieber and J. Prüss,Dynamics of the Ericksen-Leslie equations with general Leslie stress I: the incompressible isotropic case.Math. Ann.369, no. 3-4, 977-996 (2017)

    work page 2017

  26. [26]

    Hieber and J

    M. Hieber and J. Prüss,Modeling and analysis of the Ericksen-Leslie equations for nematic liquid crystal flows.Handbook of mathematical analysis in mechanics of viscous fluids, 1075-1134, Springer, Cham, 2018

    work page 2018

  27. [27]

    Hieber and J

    M. Hieber and J. Prüss,Dynamics of the Ericksen-Leslie equations with general Leslie stress II: The compressible isotropic case.Arch. Ration. Mech. Anal.233, no. 3, 1441-1468 (2019)

    work page 2019

  28. [28]

    Huang, F

    J. Huang, F. Lin and C. Wang,Regularity and existence of global solutions to the Ericksen–Leslie system inR 2.Communications in Mathematical Physics331, no. 2, 805–850 (2014)

    work page 2014

  29. [29]

    Latushkin, J

    Y. Latushkin, J. Prüss and R. Schnaubelt,Stable and unstable manifolds for quasilinear parabolic systems with fully nonlinear boundary conditions.J. Evol. Equ.6, no. 4, 537–576 (2006)

    work page 2006

  30. [30]

    Lee,Global regularity for Nernst–Planck–Navier–Stokes systems with mixed boundary conditions

    F.-N. Lee,Global regularity for Nernst–Planck–Navier–Stokes systems with mixed boundary conditions. Nonlinearity36, no. 1, 255-–286 (2023)

    work page 2023

  31. [31]

    Lee,Long time dynamics of nonequilibrium electroconvection.Trans

    F.-N. Lee,Long time dynamics of nonequilibrium electroconvection.Trans. Amer. Math. Soc.377, 4585-4620 (2024)

    work page 2024

  32. [32]

    Lee,Stability of weak electrokinetic flow.Journal of Mathematical Fluid Mechanics27, no

    F.-N. Lee,Stability of weak electrokinetic flow.Journal of Mathematical Fluid Mechanics27, no. 1, Paper No. 15, 8 pp. (2025). ON NEMATIC ELECTROLYTES 43

    work page 2025

  33. [33]

    Leslie,Some constitutive equations for anisotropicfluids

    F.M. Leslie,Some constitutive equations for anisotropicfluids. Quart. J. Mech. Appl. Anal.19, 357–370 (1966)

    work page 1966

  34. [34]

    Leslie,Some constitutive equations for liquid crystals.Arch

    F.M. Leslie,Some constitutive equations for liquid crystals.Arch. Rational Mech. Anal.28, 265–283 (1968)

    work page 1968

  35. [35]

    Lin,On nematic liquid crystals with variable degree of orientation.Comm

    F. Lin,On nematic liquid crystals with variable degree of orientation.Comm. Pure Appl. Math.44, 453-468 (1991)

    work page 1991

  36. [36]

    Lin and C

    F. Lin and C. Liu,Nonparabolic dissipative systems modeling the flow of liquid crystals.Comm. Pure Appl. Math.48, no. 5, 501-537 (1995)

    work page 1995

  37. [37]

    Lin and C

    F. Lin and C. Liu,Existence of solutions for the Ericksen-Leslie system.Arch. Ration. Mech. Anal. 154, 135–156 (2000)

    work page 2000

  38. [38]

    Lin and C

    F. Lin and C. Wang,The Analysis of Harmonic Maps and Their Heat Flows.World Scientific, 2008. MR2431658

    work page 2008

  39. [39]

    Lin and C

    F. Lin and C. Wang,Recent developments of analysis for hydrodynamic flow of nematic liquid crystals. Philos. Trans. R. Soc. Lond. Ser. A Math. Phys. Eng. Sci.372, 20130361, 18 pp. (2014)

    work page 2014

  40. [40]

    W. Ma, H. Gong and J. Li,Global strong solutions to incompressible Ericksen-Leslie system inR3. Nonlinear Anal.109, 230–235 (2014)

    work page 2014

  41. [41]

    Meyries,Maximal Regularity in Weighted Spaces, Nonlinear Boundary Conditions, and Global Attractors.Ph.D

    M. Meyries,Maximal Regularity in Weighted Spaces, Nonlinear Boundary Conditions, and Global Attractors.Ph.D. thesis, Karlsruher Institut für Technologie, 2010

    work page 2010

  42. [42]

    5, 2922-2935 (2012)

    M.Meyries,Global attractors in stronger norms for a class of parabolic systems with nonlinear boundary conditions.Nonlinear Anal.75, no. 5, 2922-2935 (2012)

    work page 2012

  43. [43]

    Meyries and R

    M. Meyries and R. Schnaubelt,Interpolation, embeddings and traces of anisotropic fractional Sobolev spaces with temporal weights.J. Funct. Anal.262, no. 3, 1200-1229 (2012)

    work page 2012

  44. [44]

    Prüss and G

    J. Prüss and G. Simonett,Maximal regularity for evolution equations in weightedL p-spaces.Arch. Math. (Basel)82, no. 5, 415–431 (2004)

    work page 2004

  45. [45]

    Prüss and G

    J. Prüss and G. Simonett,Moving Interfaces and Quasilinear Parabolic Evolution Equations.Mono- graphs in Mathematics. Birkhäuser Verlag, 2016

    work page 2016

  46. [46]

    Rajabi, T

    M. Rajabi, T. Turiv, B.-X. Li, H. Baza, D. Golovaty and O. D. Lavrentovich,High-Order Nonlinear Electrophoresis in a Nematic Liquid Crystal.Phys. Rev. Lett.132, 158102 (2024)

    work page 2024

  47. [47]

    Schmuck,Analysis of the Navier-Stokes-Nernst-Planck-Poisson system.Math

    M. Schmuck,Analysis of the Navier-Stokes-Nernst-Planck-Poisson system.Math. Models Methods Appl.19, 993-1014 (2009)

    work page 2009

  48. [48]

    Sonnet and E

    A. Sonnet and E. Virga,Dissipative Ordered Fluids: Theories of Liquid Crystals.Springer, Berlin, 2012

    work page 2012

  49. [49]

    Temam,Navier-Stokes Equations: Theory and Numerical Analysis.American Mathematical Society, Providence, 2001

    R. Temam,Navier-Stokes Equations: Theory and Numerical Analysis.American Mathematical Society, Providence, 2001

    work page 2001

  50. [50]

    Triebel,Interpolation Theory, Function Spaces, Differential Operators.North-Holland Publishing Co., Amsterdam-New York, 1978

    H. Triebel,Interpolation Theory, Function Spaces, Differential Operators.North-Holland Publishing Co., Amsterdam-New York, 1978

    work page 1978

  51. [51]

    O. M. Tovkach, M. C. Calderer, D. Golovaty, O. Lavrentovich and N. J. Walkington,Electro-osmosis in nematic liquid crystals.Phys. Rev. E94, 012702 (2016)

    work page 2016

  52. [52]

    E. G. Virga,Variational Theories for Liquid Crystals.Applied Mathematics and Mathematical Com- putation8, Chapman & Hall, London, 1994

    work page 1994

  53. [53]

    H. Wu, X. Xu and C. Liu,On the General Ericksen-Leslie System: Parodi’s Relation, Well-Posedness and Stability.Arch. Ration. Mech. Anal.208, no. 1, 59-107 (2013)

    work page 2013

  54. [54]

    W. Wang, P. Zhang and Z. Zhang,Well-posedness of the Ericksen–Leslie system.Arch. Ration. Mech. Anal.210, no. 3, 837–855 (2013). Department of Mathematics and Computer Sciences, Fisk University, Nashville, Tennessee, USA Email address:hdu@fisk.edu Department of Mathematics, V anderbilt University, Nashville, Tennessee, USA Email address:fizay-noah.lee@van...

    work page 2013