arxiv: 2604.07696 · v1 · submitted 2026-04-09 · 🧮 math.AP

Existence of weak solutions and regular solutions to the incompressible Schr\"odinger flow

Bo Chen , Guangwu Wang , Youde Wang This is my paper

Pith reviewed 2026-05-10 18:07 UTC · model grok-4.3

classification 🧮 math.AP

keywords Schrödinger flowweak solutionsregular solutionsincompressible flowSobolev spacesbounded domainsNeumann boundaryharmonic maps

0 comments p. Extension

The pith

The incompressible Schrödinger flow into the sphere admits short-time regular solutions in low dimensions and global weak solutions in all dimensions.

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

The paper proves that the initial-Neumann problem for the Schrödinger flow of maps from a smooth bounded domain in R^m into the 2-sphere has short-time regular solutions in Sobolev spaces when m is at most 3. It further shows that global weak solutions exist for any dimension m at least 1 by means of a complex structure approximation. These results supply existence foundations for studying the evolution of maps under this incompressible geometric flow with Neumann boundary conditions. A sympathetic reader would care because such flows model constrained dynamics that arise in geometric analysis and related physical systems, where local regularity and global existence determine whether solutions can be tracked over time.

Core claim

By adopting a novel method due to B. Chen and Y.D. Wang, the authors prove the existence of short-time regular solutions to the Schrödinger flow within the framework of Sobolev spaces when the underlying space is a smooth bounded domain in R^m with m≤3. They also utilize the complex structure approximation method to establish the global existence of weak solutions to the incompressible Schrödinger flow in a smooth bounded domain of R^m where m≥1.

What carries the argument

The complex structure approximation method, which constructs weak solutions by approximating the flow while preserving the incompressibility constraint and energy bounds.

If this is right

Local-in-time regular solutions allow direct analysis of the flow's short-term geometric evolution on domains up to three dimensions.
Global weak solutions exist regardless of dimension, permitting study of long-term behavior even when regularity is lost.
The Neumann boundary condition is compatible with both the regular and weak solution frameworks on bounded domains.
The incompressible constraint is preserved throughout the existence proofs, extending prior techniques for unconstrained harmonic map flows.

Where Pith is reading between the lines

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

If the complex approximation remains stable under perturbations, the same technique could construct weak solutions for related constrained geometric flows.
Global weak solutions might converge to regular ones when the initial data satisfy extra smoothness or smallness conditions not required for mere existence.
The results open the possibility of deriving energy dissipation rates or uniqueness criteria for the weak solutions in higher dimensions.
Numerical schemes that discretize the complex structure approximation could be tested for stability against the proven weak-solution existence.

Load-bearing premise

The initial data lie in the appropriate Sobolev spaces on a smooth bounded domain so that the adapted method and approximation apply without uncontrolled errors.

What would settle it

An explicit initial map in the Sobolev space H^1 from a bounded domain in R^3 to S^2 for which the solution ceases to remain regular immediately after t=0 would disprove the short-time regular existence result.

read the original abstract

In this paper, we are concerned with the initial-Neumann boundary value problem of the Schr\"{o}dinger flow for maps from a smooth bounded domain in an Euclidean space into $\mathbb{S}^2$. By adopting a novel method due to B. Chen and Y.D. Wang, we prove the existence of short-time regular solutions to this flow within the framework of Sobolev spaces when the underlying space is a smooth bounded domain in $\mathbb{R}^m$ with $m\leq 3$. Moreover, we also utilize the ``complex structure approximation method" to establish the global existence of weak solutions to the incompressible Schr\"{o}dinger flow in a smooth bounded domain of $\mathbb{R}^m$ (where $m\geq 1$).

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.

Desk Editor's Note private letter to a colleague

The paper gives short-time Sobolev regular solutions for m≤3 and global weak solutions via complex-structure approximation for the incompressible Schrödinger flow on bounded domains, but the core technique is self-attributed and the limit passage needs close checking.

read the letter

The two things to know are that the authors prove short-time existence of regular solutions in Sobolev spaces for the incompressible Schrödinger flow on smooth bounded domains in R^m with m≤3, and they claim global weak solutions for any m≥1 using a complex structure approximation method. Both results are for the initial-Neumann problem with target S^2. The short-time part adapts a method the same two authors previously introduced, while the weak part relies on approximating the flow to pass to a limit that satisfies the equation in the distributional sense and keeps |u|=1. This is standard technical work in geometric PDEs. It does what it sets out to do by stating the problems clearly and outlining the functional settings. The results sit in the existing literature on Schrödinger maps and related flows, extending them to the incompressible case on bounded domains with the given boundary condition. The adaptation itself is the incremental step. The soft spots are real but not fatal. The short-time claim rests on a method labeled as novel due to two of the authors, so the paper needs to show explicitly how the incompressible structure and the Neumann condition fit into that framework without new obstructions. For the global weak solutions, the complex structure approximation must produce uniform bounds that allow passage to the limit while preserving the weak form of u × Δu and the sphere constraint. If the cutoff introduces residuals that do not vanish in the distributional sense, or if the boundary terms are not controlled, the limiting object may solve only an approximate equation. The stress-test note correctly flags this as the load-bearing step. The abstract gives no explicit verification of those error estimates, so the proofs must supply them. This paper is for people already working on existence and regularity for geometric flows or Schrödinger-type equations. A reader who needs a reference for weak solutions on bounded domains might use it, but it is not required reading outside that niche. The thinking is coherent on its own terms and engages the literature directly. I would send it to peer review so referees can inspect the adaptation of the prior method and the convergence details in the approximation argument. The claims are plausible once the estimates are written out.

Referee Report

2 major / 1 minor

Summary. The manuscript addresses the initial-Neumann boundary value problem for the incompressible Schrödinger flow of maps from a smooth bounded domain in R^m into S^2. It claims short-time existence of regular solutions in Sobolev spaces for m ≤ 3 by adopting a novel method of Chen and Wang, and global existence of weak solutions for m ≥ 1 via the complex structure approximation method.

Significance. If the derivations are complete, the results would extend existence theory for Schrödinger flows to the incompressible setting on bounded domains, supplying both local regular solutions and global weak solutions. The approximation technique, if shown to pass to the limit rigorously, could have utility for other constrained geometric flows.

major comments (2)

[Global weak solutions (complex structure approximation)] The global weak solution claim rests on the complex structure approximation. Uniform bounds must be derived for the approximating sequence (e.g., in L^∞(0,T; H^1) ∩ L^2(0,T; H^2) or the appropriate spaces) and the limit must be shown to satisfy the weak form of the equation together with |u|=1 a.e., without residual distributional error from the cutoff. The abstract supplies no indication that these estimates have been verified for the Neumann boundary condition on a bounded domain; this step is load-bearing for the global existence result.
[Short-time regular solutions] The short-time regular solution result invokes the method of Chen and Wang. It is necessary to confirm that the a priori estimates close for the incompressible nonlinearity u × Δu and the pointwise constraint |u|=1 under Neumann boundary conditions; any additional commutator or boundary terms would prevent the fixed-point or iteration argument from applying directly.

minor comments (1)

[Abstract] The abstract would benefit from stating the precise Sobolev regularity (e.g., the value of k in H^k) for the short-time regular solutions and the precise distributional sense in which the weak solutions satisfy the equation.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the detailed and constructive report. We address each major comment below, providing clarifications and indicating where revisions will be made to improve the manuscript.

read point-by-point responses

Referee: [Global weak solutions (complex structure approximation)] The global weak solution claim rests on the complex structure approximation. Uniform bounds must be derived for the approximating sequence (e.g., in L∞(0,T; H^1) ∩ L^2(0,T; H^2) or the appropriate spaces) and the limit must be shown to satisfy the weak form of the equation together with |u|=1 a.e., without residual distributional error from the cutoff. The abstract supplies no indication that these estimates have been verified for the Neumann boundary condition on a bounded domain; this step is load-bearing for the global existence result.

Authors: We have derived the required uniform bounds for the approximating sequence in the appropriate spaces, including L∞(0,T; H^1) ∩ L^2(0,T; H^2), taking into account the Neumann boundary conditions on the bounded domain. The passage to the limit is carried out rigorously in Section 4, where we show that the limit satisfies the weak form of the incompressible Schrödinger flow and maintains |u|=1 almost everywhere, with the cutoff terms vanishing in the distributional sense. While the abstract is concise, we will revise it to briefly mention that these estimates and the limit passage have been verified for the Neumann problem. revision: partial
Referee: [Short-time regular solutions] The short-time regular solution result invokes the method of Chen and Wang. It is necessary to confirm that the a priori estimates close for the incompressible nonlinearity u × Δu and the pointwise constraint |u|=1 under Neumann boundary conditions; any additional commutator or boundary terms would prevent the fixed-point or iteration argument from applying directly.

Authors: In applying the method of Chen and Wang in Section 3, we have verified that the a priori estimates close for the nonlinearity u × Δu and the constraint |u|=1. The commutator terms and boundary terms arising from the Neumann boundary conditions are estimated and controlled within the Sobolev framework for m ≤ 3, allowing the fixed-point argument to proceed without obstruction. We will add a brief clarification in the text to explicitly address these boundary terms for the referee's benefit. revision: partial

Circularity Check

1 steps flagged

Short-time regular solutions and global weak solutions rest on self-cited 'novel method due to B. Chen and Y.D. Wang' plus complex structure approximation by overlapping authors

specific steps

self citation load bearing [Abstract]
"By adopting a novel method due to B. Chen and Y.D. Wang, we prove the existence of short-time regular solutions to this flow within the framework of Sobolev spaces when the underlying space is a smooth bounded domain in R^m with m≤3. Moreover, we also utilize the ``complex structure approximation method'' to establish the global existence of weak solutions to the incompressible Schrödinger flow in a smooth bounded domain of R^m (where m≥1)."

The existence of short-time regular solutions is obtained by adopting a method credited to B. Chen and Y.D. Wang, who are co-authors of the present paper. The global weak-solution result similarly invokes the complex structure approximation method (described in the reader's take as part of the same framework). Both central results therefore reduce to prior self-referential work by overlapping authors rather than an independent derivation or externally verified theorem.

full rationale

The abstract explicitly attributes the short-time existence proof to a 'novel method due to B. Chen and Y.D. Wang' (two of the three current authors) and invokes the 'complex structure approximation method' for global weak solutions. No independent external benchmark, machine-checked verification, or parameter-free reproduction outside the authors' prior work is indicated in the provided text. This reduces the central claims to self-citation load-bearing steps. The incompressible case and Neumann boundary conditions are asserted to follow directly, but the derivation chain offers no shown reduction to first principles independent of the cited self-work. Score reflects one primary load-bearing self-citation chain without additional circular reductions visible from abstract alone.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The claims rest on standard tools from PDE theory rather than new physical postulates or fitted constants; the novel method and approximation are treated as given techniques.

axioms (2)

standard math Sobolev embeddings and elliptic regularity hold on smooth bounded domains in R^m for m≤3
Invoked to place solutions in the Sobolev framework for short-time existence.
domain assumption The complex structure approximation preserves the weak formulation and incompressibility constraint
Central to the global weak solution construction; appears as the key technical step in the abstract.

pith-pipeline@v0.9.0 · 5424 in / 1205 out tokens · 38751 ms · 2026-05-10T18:07:53.675998+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

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

IndisputableMonolith/Foundation/AlexanderDuality.lean alexander_duality_circle_linking echoes

?

echoes
ECHOES: this paper passage has the same mathematical shape or conceptual pattern as the Recognition theorem, but is not a direct formal dependency.

we prove the existence of short-time regular solutions ... when ... m≤3. ... global existence of weak solutions ... m≥1

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

45 extracted references · 45 canonical work pages

[1]

Nonlinear Anal

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

work page 1992
[2]

Bejenaru, I.: Global results for Schr¨ odinger maps in dimensionsn≥3. Comm. Partial Differential Equations 33, 451-477 (2008)

work page 2008
[3]

E.: Global existence and uniqueness of Schr¨ odinger maps in dimensions n≥4

Bejenaru, I., lonescu, A.D., Kenig, C. E.: Global existence and uniqueness of Schr¨ odinger maps in dimensions n≥4. Adv. Math. 215, 263-291 (2007)

work page 2007
[4]

Bejenaru, I., Ionescu, A.D., Kenig C.E., Tataru, D.: Global Schr¨ odinger maps in dimensionsn≥2: small data in the critical Sobolev spaces. Ann. of Math.(2) 173, 1443-1506 (2011)

work page 2011
[5]

Springer, New York Heidelberg Dordrecht London (2013)

Boyer, F., Fabrie, P.: Mathematical tools for the study of the incompressible Navier-Stokes equations and related models. Springer, New York Heidelberg Dordrecht London (2013)

work page 2013
[6]

Differential Integral Equations 14, 213-229 (2001)

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

work page 2001
[7]

Chinese Ann

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

work page 2018
[8]

Chang, N.H., Shatah, J., Uhlenbeck, K.: Schr¨ odinger maps. Comm. Pure Appl. Math. 53, 590-602 (2000)

work page 2000
[9]

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

work page 2021
[10]

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

work page 2023
[11]

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

work page 2023
[12]

Pacific J

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

work page 2023
[13]

ArXiv:2111.14835, 2023

Chen, B., Wang, Y.D.: Smooth solutions to the Schr¨ odinger flow for maps from smooth bounded domains in Euclidean spaces intoS 2. ArXiv:2111.14835, 2023

work page arXiv 2023
[14]

ACM Trans

Chern, A., Kn¨ oppel, F., Pinkall, U., Schr¨ oder, Weiβmann, S.: Schr¨ odinger’s Smoke. ACM Trans. Graph 35 (2016)

work page 2016
[15]

Ding, W.Y., Tang, H.Y., Zeng, C.C.: Self-similar solutions of Schr¨ odinger flows. Calc. Var. Partial Differential Equations 34, 267-277 (2009)

work page 2009
[16]

Ding, W.Y., Wang, Y.D.: Local Schr¨ odinger flow into K¨ ahler manifolds. Sci. China Ser. A 44, 1446-1464 (2001)

work page 2001
[17]

Ding, W.Y., Wang, Y.D.: Schr¨ odinger flow of maps into symplectic manifolds. Sci. China Ser. A, 41, 746-755 (1998)

work page 1998
[18]

Ding, W.Y., Wang, H.Y., Wang, Y.D.: Schr¨ odinger flows on compact Hermitian symmetric spaces and related problems. Acta. Math. Sin. (Engl. Ser.) 19, 303-312 (2003)

work page 2003
[19]

Feischl, M., Tran, T.: Existence of regular solutions of the Landau-Lifshitz equation in 3D with natural boundary conditions. SIAM J. Math. Anal. 49, 4470-4490 (2017)

work page 2017
[20]

Germain, P., Shatah, J., Zeng, C.C.: Self-similar solutions for the Schr¨ odinger map equation. Math. Z. 264, 697-707 (2010)

work page 2010
[21]

Gilbert, T.L.: A Lagrangian formulation of gyromagnetic equation of the magnetization field. Phys. Rev. 100, 1243-1255 (1955)

work page 1955
[22]

Guo, B.L., Hong, M.C.: The Landau-Lifshitz equations of the ferromagnetic spin chain and harmonic maps. Calc. Var. Partial Differential Equations 1, 311-334 (1993)

work page 1993
[23]

Ionescu A.D., Kenig, C.E.: Low-regularity Schr¨ odinger maps, II: Global well-posedness in dimensionsd≥3. Comm. Math. Phys. 271, 523-559 (2007)

work page 2007
[24]

Jia, Z.L., Wang, Y.D.: Global weak solutions to Landau-Lifshitz equations into compact Lie algebras. Front. Math. China.14, 1163-1196 (2019)

work page 2019
[25]

Dis- crete Contin

Jia, Z.L., Wang, Y.D.: Global Weak Solutions to Landau-Lifshtiz Systems with Spin-Polarized Transport. Dis- crete Contin. Dyn. Syst. 40, 1903-1935 (2020)

work page 1903
[26]

Landau, L.D., Lifshitz, E.M.: On the theory of dispersion of magnetic permeability in ferromagnetic bodies. Phys. Z. Soviet 8, 153-169 (1935)

work page 1935
[27]

Li, Z.: Global Schr¨ odinger map flows to K¨ ahler manifolds with small data in critical Sobolev spaces: high dimensions. J. Funct. Anal. 21 , Paper No.109093, 76 pp (2021)

work page 2021
[28]

Li, Z.: Global Schr¨ odinger map flows to K¨ ahler manifolds with small data in critical Sobolev spaces: energy critical case. J. Eur. Math. Soc. (JEMS) 25, no. 12, 4879-4969 (2023)

work page 2023
[29]

Lin F., Wei, J.: Traveling wave solutions of the Schr¨ odinger map equation. Comm. Pure. Appl. Math. 63, 1585-1621 (2010) 31

work page 2010
[30]

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

work page 2013
[31]

Nahmod, A., Stefanov, A., Uhlenbeck, K.: On Schr¨ odinger maps. Comm. Pure. Appl. Math. 56, 114-151 (2003)

work page 2003
[32]

Pang Peter, Y.H., Wang, H.Y., Wang, Y.D.: Schr¨ odinger flow on Hermitian locally symmetric spaces. Comm. Anal. Geom. 10, 653-681 (2002)

work page 2002
[33]

Rodnianski, I., Rubinstein, Y., Staffilani, G.: On the global well-posedness of the one-dimensional Schr¨ odinger map flow. Anal. PDE 2, 187-209 (2009)

work page 2009
[34]

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

work page 1987
[35]

Nonlinear Anal

Santugini-Repiquet, K.: Solutions to the Landau-Lifshitz system with nonhomogenous Neumann boundary conditions arising from surface anisotropy and super-exchange interactions in a ferromagnetic media. Nonlinear Anal. 65(1), 129-158 (2006)

work page 2006
[36]

Song, C.: Gauss map of the skew mean curvature flow. Proc. Amer. Math. Soc.145(11), 4963-4970 (2017)

work page 2017
[37]

Song, C.: Local existence and uniqueness of skew mean curvature flow. J. Reine Angew. Math. 776, 1-26 (2021)

work page 2021
[38]

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

work page 1986
[39]

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

work page 1985
[40]

Wang, G.W.: Guo, B.L.: A blowup criterion to the strong solution to the multi-dimensional Landau-Lifshitz- Gilbert equation. Appl. Math. Lett. 135, Paper No. 108410 (2023)

work page 2023
[41]

ArXiv:2302.09969 (2023)

Wang, S., Zhou, Y.: On proof of the Wei-Yue Ding’s conjecture for Schr¨ odinger map flow. ArXiv:2302.09969 (2023)

work page arXiv 2023
[42]

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

work page 1998
[43]

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

work page 2016
[44]

Zhou, Y.L., Guo, B.L., Tan, S.B.: Existence and uniqueness of smooth solution for system of ferro-magnetic chain. Sci. China Ser. A 34, 257-266 (1991) 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 Sciences, Guangzhou Univer...

work page 1991
[45]

Hua Loo-Keng Key Laboratory of Mathematics, Institute of Mathematics, AMSS, and School of Mathematical Sciences, UCAS, Beijing 100190, People’s Republic of China

School of Mathematics and Information Sciences, Guangzhou University, 510006, People’s Re- public of China; 2. Hua Loo-Keng Key Laboratory of Mathematics, Institute of Mathematics, AMSS, and School of Mathematical Sciences, UCAS, Beijing 100190, People’s Republic of China. Email address:wyd@math.ac.cn 32

work page