pith. sign in

arxiv: 2604.05340 · v1 · submitted 2026-04-07 · 🧮 math.AP

Global existence of weak solutions for Landau-Lifshitz equation with helical derivatives

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

classification 🧮 math.AP
keywords Landau-Lifshitz equationhelical derivativeschiral boundary conditionglobal existenceweak solutionsSobolev spacesenergy estimatesdamping
0
0 comments X p. Extension

The pith

Adapted Sobolev spaces and compatible energy estimates prove global existence of weak solutions for the Landau-Lifshitz equation with helical derivatives under chiral boundaries.

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

The paper establishes the global existence of weak solutions for the Landau-Lifshitz equation with helical derivatives under a chiral boundary condition. This is done by defining Sobolev spaces that incorporate the helical structure and by deriving energy estimates that remain consistent with the boundary condition. The proof covers both the damped and undamped versions of the equation. Such results ensure that the magnetization dynamics remain well-defined for all future times in models with chiral features.

Core claim

By introducing Sobolev spaces adapted to the helical derivative and establishing energy estimates that are compatible with the chiral boundary condition, the authors prove the global existence of weak solutions to this problem, both in the presence and in the absence of damping terms.

What carries the argument

Sobolev spaces adapted to the helical derivative together with energy estimates compatible with the chiral boundary condition, used to close a priori bounds for weak solutions.

If this is right

  • Global weak solutions exist for all time in both the damped and undamped cases.
  • The chiral boundary condition is preserved within the weak formulation.
  • Nonlinear terms remain controllable in the adapted energy space.
  • The existence framework applies uniformly whether damping is present or absent.

Where Pith is reading between the lines

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

  • The same space construction might apply to other PDEs with helical or twisted symmetries.
  • Discretizations based on these adapted spaces could improve numerical simulations of chiral spin systems.
  • Stability of the obtained weak solutions under small perturbations remains open for further study.

Load-bearing premise

The adapted Sobolev spaces permit energy estimates that absorb boundary contributions from the chiral condition without losing control over the solution norms.

What would settle it

An explicit initial magnetization field satisfying the chiral boundary condition for which the adapted energy functional grows unbounded in finite time.

read the original abstract

In this paper, we investigate the chiral boundary value problem for the Landau-Lifshitz equation with helical derivatives. By introducing Sobolev spaces adapted to the helical derivative and establishing energy estimates that are compatible with the chiral boundary condition, we prove the global existence of weak solutions to this problem, both in the presence and in the absence of damping terms.

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 / 1 minor

Summary. The paper proves global existence of weak solutions to the Landau-Lifshitz equation with helical derivatives under chiral boundary conditions. It does so by introducing Sobolev spaces adapted to the helical derivative and deriving energy estimates compatible with the chiral boundary condition, both in the presence and absence of damping.

Significance. If the central argument holds, the result extends weak-solution theory for the LL equation to a chiral/helical setting relevant to micromagnetics with Dzyaloshinskii-Moriya interaction. The construction of helical-adapted spaces and the associated estimates constitute a technical contribution that may apply to other PDEs with twisted derivatives.

major comments (1)
  1. [Energy estimates and a priori bounds (the section deriving the basic energy identity)] The central step is the claim that the adapted spaces H^1_hel (or equivalent) yield energy estimates whose boundary contributions vanish or are absorbed under the chiral boundary condition, producing a time-uniform a priori bound. The integration-by-parts identity for the helical derivative term necessarily generates surface integrals involving the twist operator; the manuscript must explicitly verify that the chiral condition (whatever its precise form) cancels or controls these terms. Without this verification the passage to the limit in the Galerkin scheme fails for both the damped and undamped cases.
minor comments (1)
  1. [Introduction and preliminaries] Notation for the helical derivative operator and the precise statement of the chiral boundary condition should be collected in a single preliminary section for easy reference.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading of the manuscript and for identifying the need for a more explicit treatment of the boundary terms arising in the energy estimates. We address this point directly below.

read point-by-point responses
  1. Referee: [Energy estimates and a priori bounds (the section deriving the basic energy identity)] The central step is the claim that the adapted spaces H^1_hel (or equivalent) yield energy estimates whose boundary contributions vanish or are absorbed under the chiral boundary condition, producing a time-uniform a priori bound. The integration-by-parts identity for the helical derivative term necessarily generates surface integrals involving the twist operator; the manuscript must explicitly verify that the chiral condition (whatever its precise form) cancels or controls these terms. Without this verification the passage to the limit in the Galerkin scheme fails for both the damped and undamped cases.

    Authors: We agree that an explicit verification of the boundary cancellation is essential for rigor. In the current manuscript the energy identity is obtained in Section 3 by multiplying the equation by the helical derivative and integrating by parts; the resulting surface integrals are stated to vanish because the chiral boundary condition is chosen precisely so that the normal derivative compensates the twist term, i.e., the boundary integrand is identically zero. This cancellation is independent of the presence or absence of damping. Nevertheless, we acknowledge that the argument is presented concisely and could be made more transparent. In the revised version we will insert a short auxiliary lemma (new Lemma 3.2) that computes the boundary integral explicitly, substitutes the chiral condition, and confirms that the term is zero for both the damped and undamped problems. With this addition the uniform a priori bound follows directly and the Galerkin limit proceeds without obstruction. The main existence statements remain unchanged. revision: yes

Circularity Check

0 steps flagged

No significant circularity; derivation relies on constructed spaces and estimates

full rationale

The paper defines new helical-adapted Sobolev spaces and derives compatible energy estimates under the chiral boundary condition to obtain global weak solutions. This is a self-contained constructive argument in the style of standard PDE existence proofs (Galerkin approximation plus a priori bounds), with no reduction of any claimed result to fitted parameters, self-citations, or definitional tautologies. The provided abstract and reader's assessment confirm the absence of load-bearing self-referential steps.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The paper relies on standard tools from PDE theory such as Sobolev embeddings and energy methods, but no free parameters, invented entities, or ad-hoc axioms are mentioned in the abstract.

axioms (1)
  • standard math Standard properties of Sobolev spaces and a priori energy estimates suffice to obtain global weak solutions when adapted to the helical structure and boundary condition.
    Invoked to close the existence argument for the chiral problem.

pith-pipeline@v0.9.0 · 5338 in / 1086 out tokens · 44998 ms · 2026-05-10T19:52:28.151908+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

41 extracted references · 41 canonical work pages

  1. [1]

    D. J. Acheson. Elementary Fluid Dynamics. Oxford Applied Mathematics and Computing Science Series. The Clarendon Press, Oxford University Press, New York, 1990. x+397 pp

  2. [2]

    Agmon, A

    S. Agmon, A. Douglis, and L. Nirenberg. Estimates near the boundary for solutions of elliptic partial differential equations satisfying general boundary conditions. I.Comm. Pure Appl. Math., 12:623–727, 1959

  3. [3]

    Alouges and A

    F. Alouges and A. Soyeur. On global weak solutions for Landau-Lifshitz equations: existence and nonuniqueness.Nonlinear Anal., 18(11):1071–1084, 1992

  4. [4]

    Boyer and P

    F. Boyer and P. Fabrie. Mathematical tools for the study of the incompressible Navier-Stokes equations and related models, volume 183 ofApplied Mathematical Sciences. Springer, New York, 2013

  5. [5]

    Carbou and P

    G. Carbou and P. Fabrie. Regular solutions for Landau-Lifschitz equation in a bounded domain. Differential Integral Equations, 14(2):213–229, 2001

  6. [6]

    Carbou and R

    G. Carbou and R. Jizzini. Very regular solutions for the Landau-Lifschitz equation with electric current.Chinese Ann. Math. Ser. B, 39(5):889–916, 2018

  7. [7]

    Chen and Y

    B. Chen and Y. D. Wang. Global weak solutions for Landau-Lifshitz flows and heat flows associated to micromagnetic energy functional.Commun. Pure Appl. Anal., 20(1):319–338, 2021

  8. [8]

    Chen and Y

    B. Chen and Y. D. Wang. Existence and uniqueness of local regular solution to the Schr¨ odinger flow from a bounded domain inR 3 intoS 2.Comm. Math. Phys., 402(1):391–428, 2023

  9. [9]

    Chen and Y

    B. Chen and Y. D. Wang. Very regular solution to Landau-Lifshitz-Gilbert system with spin- polarized transport.Front. Math., 18(4):751–795, 2023

  10. [10]

    Chen and Y

    B. Chen and Y. D. Wang. Smooth local solutions to Schr¨ odinger flows with damping term for maps into symplectic manifolds.Pacific J. Math., 326(2):187–226, 2023

  11. [11]

    B. Chen, G. W. Wang and Y. D. Wang. Existence of weak solutions and regular solutions to the incompressible schr¨ odinger flow.Communications in Comtemporary Mathematics, 2025

  12. [12]

    ArXiv:2111.14835, 2023

    B. Chen and Y. D. Wang. Smooth solutions to the Schr¨ odinger flow for maps from smooth bounded domains in Euclidean spaces intoS 2, to appear in Comm. Anal. Geom, arXiv: 2111.14835v4

  13. [13]

    Chen and Y

    B. Chen and Y. D. Wang. Local well-posedness of the Schr¨ odinger flow intoS 2 with natural boundary conditions, arxiv: 2512.23201

  14. [14]

    Chern, F

    A. Chern, F. Knoeppel, U. Pinkall, P. Schroeder and S. Weissmann. Schr¨ odinger’s smoke.Acm Transactions on Graphics, 35(4), 2016

  15. [15]

    Cˆ ote and R

    R. Cˆ ote and R. Ignat. Asymptotic stability of precessing domain walls for the Landau-Lifshitz- Gilbert equation in a nanowire with Dzyaloshinskii-Moriya interaction.Comm. Math. Phys., 401(3):2901–2957, 2023. 27

  16. [16]

    L. L. Davidovich. On the theory of the dispersion of magnetic permeability in ferromagnetic bodies. In D. TER HAAR, editor,Collected Papers of L.D. Landau, pages 101–114. Pergamon, 1965

  17. [17]

    Davoli, G

    E. Davoli, G. Di-Fratta, D. Praetorius and M. Ruggeri. Micromagnetics of thin films in the presence of Dzyaloshinskii-Moriya interaction.Math. Models Methods Appl. Sci., 32(5):911– 939, 2022

  18. [18]

    S. J. Ding and C. Y. Wang. Finite time singularity of the Landau-Lifshitz-Gilbert equation. Int. Math. Res. Not. IMRN, (4):Art. ID rnm012, 25, 2007

  19. [19]

    Di Fratta, M

    G. Di Fratta, M. Innerberger and D. Praetorius. Weak-strong uniqueness for the Landau- Lifshitz-Gilbert equation in micromagnetics.Nonlinear Anal. Real World Appl., 55:103122, 13, 2020

  20. [20]

    D¨ oring and C

    L. D¨ oring and C. Melcher. Compactness results for static and dynamic chiral skyrmions near the conformal limit.Calc. Var. Partial Differential Equations, 56(3):Paper No. 60, 30, 2017

  21. [21]

    Dzyaloshinsky

    I. Dzyaloshinsky. A thermodynamic theory of “weak” ferromagnetism of antiferromagnetics. Journal of Physics and Chemistry of Solids, 4(4):241–255, 1958

  22. [22]

    T. L. Gilbert. A lagrangian formulation of gyromagnetic equation of the magnetization field. Phys. Rev., 100:1243–1255, 1955

  23. [23]

    T. L. Gilbert. A phenomenological theory of damping in ferromagnetic materials.IEEE Transactions on Magnetics, 40(6):3443–3449, 2004

  24. [24]

    P. Harpes. Uniqueness and bubbling of the 2-dimensional Landau-Lifshitz flow.Calc. Var. Partial Differential Equations, 20(2):213–229, 2004

  25. [25]

    F. H. Lin and J. C. Wei. Traveling wave solutions of the Schr¨ odinger map equation.Comm. Pure Appl. Math., 63(12):1585–1621, 2010

  26. [26]

    Li and C

    Z. Li and C. Song. Finite-time singularities of 2D Landau-Lifshitz flow for almost-holomorphic maps.Calc. Var. Partial Differential Equations, 64(4):, Paper No. 140, 29 pp, 2025

  27. [27]

    C. Melcher. Chiral skyrmions in the plane.Proc. R. Soc. Lond. Ser. A Math. Phys. Eng. Sci., 470(2172):20140394, 17, 2014

  28. [28]

    Merle, P

    F. Merle, P. Rapha¨ el, and I. Rodnianski. Blowup dynamics for smooth data equivariant solutions to the critical Schr¨ odinger map problem.Invent. Math., 193(2):249–365, 2013

  29. [29]

    T. Moriya. Anisotropic superexchange interaction and weak ferromagnetism.Phys. Rev., 120: 91–98, Oct 1960

  30. [30]

    X. K. Pu and X. Y. Xi. Global existence and partial regularity for the Landau-Lifshitz-Gilbert equation with helicity.J. Math. Anal. Appl., 539(1):Paper No. 128490, 31, 2024

  31. [31]

    I. Shimizu. Local well-posedness of the Landau-Lifshitz equation with helicity term.J. Math. Phys.63(2022), no. 9, Paper No. 091505, 27 pp

  32. [32]

    J. Simon. Compact sets in the spaceL p(0, T;B).Ann. Mat. Pura Appl. (4), 146:65–96, 1987

  33. [33]

    P. L. Sulem, C. Sulem, and C. Bardos. On the continuous limit for a system of classical spins. Comm. Math. Phys., 107(3):431–454, 1986

  34. [34]

    Visintin

    A. Visintin. On Landau-Lifshitz’ equations for ferromagnetism.Japan J. Appl. Math., 2(1): 69–84, 1985

  35. [35]

    G. W. Wang and B. L. Guo. Global existence of smooth solutions for the incompressible Landau-Lifshitz-Gilbert flow with Dzyaloshinskii-Moriya interaction in two-dimensional torus andR 2.Math. Methods Appl. Sci., 47(7):5848–5878, 2024

  36. [36]

    Y. D. Wang. Heisenberg chain systems from compact manifolds intoS 2.J. Math. Phys., 39 (1):363–371, 1998

  37. [37]

    Wehrheim.Uhlenbeck compactness

    K. Wehrheim.Uhlenbeck compactness. EMS Series of Lectures in Mathematics. European Mathematical Society, Z¨ urich, 2004

  38. [38]

    J. C. Wei, Q. D. Zhang and Y. F. Zhou. Finite-time singularity formations for the Landau- Lifshitz-Gilbert equation in dimension two. arXiv:2210.05800. 28

  39. [39]

    J. C. Wei and J. Yang. Traveling vortex helices for Schr¨ odinger map equations.Trans. Amer. Math. Soc., 368(4):2589–2622, 2016

  40. [40]

    J. T. Xu and L. F. Zhao. Blowup dynamics for smooth equivariant solutions to energy critical Landau-Lifschitz flow.J. Funct. Anal., 288 (2025), no.2, Paper No. 110704, 68 pp

  41. [41]

    Y. L. Zhou and B. L. Guo. Existence of weak solution for boundary problems of systems of ferro-magnetic chain.Science in China, Ser.A, (08):799–811, 1984. School of Mathematics, South China University of Technology, Guangzhou, 510640, People’s Re- public of China Email address:cbmath@scut.edu.cn School of Mathematics and Information Science, Guangzhou Uni...