pith. sign in

arxiv: 2605.16691 · v1 · pith:GIOJJPNNnew · submitted 2026-05-15 · 🧮 math.AP

A Unified Integral Equation Approach to Conservation Laws for Nonlinear Schr\"odinger Equations

Pith reviewed 2026-05-20 15:18 UTC · model grok-4.3

classification 🧮 math.AP
keywords nonlinear Schrödinger equationconservation lawsDuhamel formStrichartz estimatesvirial identitiespseudo-conformal lawintegral identity
0
0 comments X

The pith

A single integral identity yields conservation of mass, energy, momentum, and virial identities for nonlinear Schrödinger equations.

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

The paper develops a unified method to derive conservation laws for nonlinear Schrödinger equations by working directly with their integral equation form. It shows that one carefully chosen integral identity can systematically produce the standard conservations as well as the pseudo-conformal law and virial-type identities. This avoids the usual need for smooth approximations or regularization steps. A sympathetic reader would care because it offers a cleaner, more direct route to these fundamental properties that underpin the analysis of these equations.

Core claim

We establish a single integral identity from which all of the laws and identities considered here follow systematically. These include the conservation of charge (mass), energy, and momentum, the pseudo-conformal conservation law, and virial-type identities. The approach treats the equation in its Duhamel form and uses the space-time integrability provided by Strichartz estimates, without relying on smooth approximations or regularization procedures.

What carries the argument

The single integral identity obtained from the Duhamel form of the equation, which generates the conservation laws and related identities when tested against appropriate multipliers.

If this is right

  • Conservation of mass, energy, and momentum follow directly as special cases of the identity.
  • The pseudo-conformal conservation law emerges by a specific choice of multiplier.
  • Virial-type identities are produced systematically from the same starting identity.
  • The derivations hold for power-type nonlinearities using only the given integrability.

Where Pith is reading between the lines

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

  • The same integral-identity technique might apply to other dispersive equations with available Strichartz estimates.
  • Numerical methods could monitor the single identity to check multiple conservations at once.
  • New identities for the equation could be found by testing additional multipliers within the framework.

Load-bearing premise

Strichartz estimates provide sufficient space-time integrability for the linear Schrödinger propagator to make the integral identity valid without regularization.

What would settle it

A calculation showing that the single integral identity fails to recover the energy conservation law for a concrete power nonlinearity when the correct multiplier is applied.

read the original abstract

We present a unified framework for the rigorous derivation of conservation laws and related identities for nonlinear Schr\"odinger equations with power-type nonlinearities. This approach treats the equation in its Duhamel form and uses the space-time integrability provided by Strichartz estimates, without relying on smooth approximations or regularization procedures. It was first introduced by the third author in [20] and subsequently developed in [7, 13]. In this paper, we establish a single integral identity from which all of the laws and identities considered here follow systematically. These include the conservation of charge (mass), energy, and momentum, the pseudo-conformal conservation law, and virial-type identities.

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

2 major / 2 minor

Summary. The manuscript develops a unified integral-equation framework for nonlinear Schrödinger equations with power nonlinearities. Starting from the Duhamel formulation, it derives a single space-time integral identity that, via Strichartz estimates, yields the conservation of mass, energy, and momentum, the pseudo-conformal identity, and virial-type identities, all without smooth approximations or regularization.

Significance. If the central identity and its differentiability justifications hold, the approach supplies a systematic, approximation-free route to these identities that could streamline proofs for related dispersive models and clarify the role of Strichartz integrability in conservation laws.

major comments (2)
  1. [§3] §3, derivation of the main integral identity (around Eq. (3.5)–(3.8)): the passage to time-dependent identities (pseudo-conformal and virial) requires differentiating under the integral with respect to the time variable. While Strichartz gives L^p_t L^q_x control on the Duhamel term, the multipliers |x|^2 and x·∇ are unbounded; the manuscript does not exhibit an explicit integrable majorant or dominated-convergence argument that justifies interchanging d/dt and the integral for these weighted cases. This step is load-bearing for the claim that all listed identities follow directly from the single identity.
  2. [§4.2] §4.2, virial identity: the proof invokes the space-time integrability to pass the limit inside the integral after a formal differentiation, but no auxiliary lemma quantifies the remainder when the cutoff function approximating the weight |x|^2 is removed. Without this, the argument risks circularity with the very regularity that Strichartz alone does not guarantee at spatial infinity.
minor comments (2)
  1. [Introduction] In the introduction, the citation to the third author’s earlier work [20] is brief; a one-sentence summary of the precise technical advance in the present paper relative to [20] would help readers locate the novelty.
  2. [§2] Notation for the Strichartz admissible pairs is introduced in §2 but reused with slight variations in §3; a single consolidated table or remark would improve readability.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the detailed and insightful comments on our manuscript. We appreciate the opportunity to clarify and strengthen the justifications for the differentiations and limit passages in our derivations. Below, we address each major comment point by point.

read point-by-point responses
  1. Referee: [§3] §3, derivation of the main integral identity (around Eq. (3.5)–(3.8)): the passage to time-dependent identities (pseudo-conformal and virial) requires differentiating under the integral with respect to the time variable. While Strichartz gives L^p_t L^q_x control on the Duhamel term, the multipliers |x|^2 and x·∇ are unbounded; the manuscript does not exhibit an explicit integrable majorant or dominated-convergence argument that justifies interchanging d/dt and the integral for these weighted cases. This step is load-bearing for the claim that all listed identities follow directly from the single identity.

    Authors: We agree that a rigorous justification for interchanging the derivative and the integral is essential, particularly given the unbounded nature of the multipliers involved. In the original manuscript, we relied on the space-time integrability from Strichartz estimates to control the terms, but we acknowledge that an explicit dominated convergence argument or integrable majorant was not detailed. In the revised manuscript, we will add a dedicated paragraph or lemma in §3 that constructs such a majorant using the admissible Strichartz pairs and the assumed regularity of the solution, thereby justifying the differentiation under the integral sign for both the pseudo-conformal and virial cases. revision: yes

  2. Referee: [§4.2] §4.2, virial identity: the proof invokes the space-time integrability to pass the limit inside the integral after a formal differentiation, but no auxiliary lemma quantifies the remainder when the cutoff function approximating the weight |x|^2 is removed. Without this, the argument risks circularity with the very regularity that Strichartz alone does not guarantee at spatial infinity.

    Authors: We thank the referee for pointing out this potential gap in the virial identity derivation. To address the concern about circularity and to make the limit passage rigorous, we will introduce an auxiliary lemma in the revised version of §4.2. This lemma will quantify the remainder term when approximating |x|^2 by a cutoff function, using the space-time integrability provided by the Strichartz estimates to show that the error vanishes in the appropriate limit, without presupposing additional regularity at infinity beyond what is already assumed. revision: yes

Circularity Check

0 steps flagged

No significant circularity; derivation is self-contained via Duhamel form and external Strichartz estimates.

full rationale

The paper starts from the Duhamel formulation of the NLS equation and invokes Strichartz space-time integrability to produce a single integral identity. All listed conservation laws and virial-type identities are then obtained as systematic consequences of that identity. This chain relies on standard external estimates rather than any self-definitional loop, fitted input renamed as prediction, or load-bearing self-citation chain. The reference to prior work by the third author merely credits the origin of the general method; the specific identity and its derivations are established directly here under the stated assumptions. No step reduces by construction to the target results themselves.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The central claim rests on standard tools from dispersive PDE theory. No free parameters or new entities are introduced in the abstract description.

axioms (1)
  • standard math Strichartz estimates provide the necessary space-time integrability for solutions to the linear Schrödinger equation.
    Invoked in the abstract as the source of integrability for the integral identity without regularization.

pith-pipeline@v0.9.0 · 5641 in / 1308 out tokens · 64379 ms · 2026-05-20T15:18:37.076562+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

25 extracted references · 25 canonical work pages

  1. [1]

    Riccardo Adami and Alessandro Teta,A class of nonlinear Schrödinger equations with concentrated nonlin- earity, J. Funct. Anal.180(2001), no. 1, 148–175. MR1814425

  2. [2]

    Paolo Antonelli, Pierangelo Marcati, and Raffaele Scandone,Existence and stability of almost finite energy weak solutions to the quantum Euler-Maxwell system, J. Math. Pures Appl. (9)191(2024), Paper No. 103629, 38 (English, with English and French summaries). MR4823114

  3. [3]

    Paolo Antonelli,Remarks on the derivation of finite energy weak solutions to the QHD system, Proc. Amer. Math. Soc.149(2021), no. 5, 1985–1997. MR4232191

  4. [4]

    10, New York University, Courant Institute of Mathematical Sciences, New York; American Mathematical Society, Providence, RI, 2003

    Thierry Cazenave,Semilinear Schrödinger Equations, Courant Lecture Notes in Mathematics, vol. 10, New York University, Courant Institute of Mathematical Sciences, New York; American Mathematical Society, Providence, RI, 2003. MR2002047

  5. [5]

    Weissler,The Cauchy problem for the critical nonlinear Schrödinger equation inH s, Nonlinear Anal.14(1990), no

    Thierry Cazenave and Fred B. Weissler,The Cauchy problem for the critical nonlinear Schrödinger equation inH s, Nonlinear Anal.14(1990), no. 10, 807–836. MR1055532

  6. [6]

    Weissler,Rapidly decaying solutions of the nonlinear Schrödinger equation, Comm

    Thierry Cazenave and Fred B. Weissler,Rapidly decaying solutions of the nonlinear Schrödinger equation, Comm. Math. Phys.147(1992), no. 1, 75–100. MR1171761

  7. [7]

    MR3751978

    Kazumasa Fujiwara and Hayato Miyazaki,The derivation of conservation laws for nonlinear Schrödinger equations with power type nonlinearities, RIMS Kôkyûroku Bessatsu, B63 (2017), 13–21. MR3751978

  8. [8]

    Ginibre,An introduction to nonlinear Schrödinger equations, Nonlinear waves (Sapporo, 1995), GAKUTO Internat

    J. Ginibre,An introduction to nonlinear Schrödinger equations, Nonlinear waves (Sapporo, 1995), GAKUTO Internat. Ser. Math. Sci. Appl., vol. 10, Gakk¯ otosho, Tokyo, 1997, pp. 85–133. MR1602772

  9. [9]

    Ginibre, T

    J. Ginibre, T. Ozawa, and G. Velo,On the existence of the wave operators for a class of nonlinear Schrödinger equations, Ann. Inst. H. Poincaré Phys. Théor.60(1994), no. 2, 211–239. MR1270296

  10. [10]

    Ginibre and G

    J. Ginibre and G. Velo,On a class of nonlinear Schrödinger equations. I. The Cauchy problem, general case, J. Functional Analysis32(1979), no. 1, 1–32. MR0533218

  11. [11]

    ,The global Cauchy problem for the nonlinear Schrödinger equation revisited, Ann. Inst. H. Poincaré Anal. Non Linéaire2(1985), no. 4, 309–327. MR801582

  12. [12]

    R. T. Glassey,On the blowing up of solutions to the Cauchy problem for nonlinear Schrödinger equations, J. Math. Phys.18(1977), no. 9, 1794–1797. MR460850

  13. [13]

    Tomoyuki Ikeda, Shuji Machihara, Hayato Miyazaki, and Tohru Ozawa,Remarks on the derivation of the virial identity for nonlinear Schrödinger equations, preprint, available atarXiv:2510.18168

  14. [14]

    Tosio Kato,On nonlinear Schrödinger equations, Ann. Inst. H. Poincaré Phys. Théor.46(1987), no. 1, 113–

  15. [15]

    345, Springer, Berlin, 1989, pp

    ,Nonlinear Schrödinger equations, Schrödinger operators (Sønderborg, 1988), Lecture Notes in Phys., vol. 345, Springer, Berlin, 1989, pp. 218–263. MR1037322

  16. [16]

    II.H s-solutions and unconditional well-posedness, J

    ,On nonlinear Schrödinger equations. II.H s-solutions and unconditional well-posedness, J. Anal. Math.67(1995), 281–306. MR1383498 14 SHUJI MACHIHARA, H. MIYAZAKI, AND TOHRU OZA W A

  17. [17]

    On nonlinear Schrödinger equations. II.H s-solutions and unconditional well- posedness

    ,Correction to: “On nonlinear Schrödinger equations. II.H s-solutions and unconditional well- posedness”, J. Anal. Math.68(1996), 305. MR1403260

  18. [18]

    Markus Keel and Terence Tao,Endpoint Strichartz estimates, Amer. J. Math.120(1998), no. 5, 955–980. MR1646048

  19. [19]

    Frank Merle and Pierre Raphaël,The blow-up dynamic and upper bound on the blow-up rate for critical nonlinear Schrödinger equation, Ann. of Math. (2)161(2005), no. 1, 157–222. MR2150386

  20. [20]

    Ozawa,Remarks on proofs of conservation laws for nonlinear Schrödinger equations, Calc

    T. Ozawa,Remarks on proofs of conservation laws for nonlinear Schrödinger equations, Calc. Var. Partial Differential Equations25(2006), no. 3, 403–408. MR2201679

  21. [21]

    Raffaele Scandone,Global, finite energy, weak solutions to a magnetic quantum fluid system, Netw. Heterog. Media20(2025), no. 2, 345–355. MR4897328

  22. [22]

    Strichartz,Restrictions of Fourier transforms to quadratic surfaces and decay of solutions of wave equations, Duke Math

    Robert S. Strichartz,Restrictions of Fourier transforms to quadratic surfaces and decay of solutions of wave equations, Duke Math. J.44(1977), no. 3, 705–714. MR512086

  23. [23]

    139, Springer-Verlag, New York, 1999

    Catherine Sulem and Pierre-Louis Sulem,The Nonlinear Schrödinger Equation, Self-focusing and wave col- lapse, Applied Mathematical Sciences, vol. 139, Springer-Verlag, New York, 1999. MR1696311

  24. [24]

    Yoshio Tsutsumi,L 2-solutions for nonlinear Schrödinger equations and nonlinear groups, Funkcial. Ekvac. 30(1987), no. 1, 115–125. MR915266

  25. [25]

    Kenji Yajima,Existence of solutions for Schrödinger evolution equations, Comm. Math. Phys.110(1987), no. 3, 415–426. MR891945 Department of Mathematics, F aculty of Science, Saitama University, Saitama 338-8570, Japan Email address:machihara@rimath.saitama-u.ac.jp Teacher Training Courses, F aculty of Education, Kagawa University, Takamatsu, Kagawa 760- 8...