pith. sign in

arxiv: 2503.22621 · v2 · submitted 2025-03-28 · 🧮 math.NA · cs.NA· math.AP

Improved error estimates for low-regularity integrators using space-time bounds

Maximilian Ruff This is my paper

Pith reviewed 2026-05-22 22:16 UTC · model grok-4.3

classification 🧮 math.NA cs.NAmath.AP
keywords low-regularity integratorsnonlinear Schrödinger equationnonlinear wave equationStrichartz estimatesnull form estimatesconvergence rateserror analysisnumerical PDE
0
0 comments X

The pith

Low-regularity integrators for the nonlinear Schrödinger and wave equations achieve full designed orders under H^1 regularity by using continuous-time space-time bounds.

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

The paper shows that an exponential-type integrator for the one-dimensional periodic nonlinear Schrödinger equation converges at order one, and a corrected Lie splitting for the wave equation converges at order two, when solutions lie in H^1. Earlier work obtained only fractional rates in this low-regularity regime. The proofs apply the continuous L^4 Strichartz inequality and a null-form estimate directly to the error analysis. This removes the need to pass through discrete-time versions of the estimates that can degrade the rates. The result matters for reliable long-time simulation of solutions whose smoothness is limited to one derivative.

Core claim

The exponential-type scheme for the nonlinear Schrödinger equation converges with order one and the corrected Lie splitting for the wave equation converges with order two in the H^1 norm. These full rates follow from inserting the known continuous-time L^4 Strichartz inequality (Schrödinger) and null-form estimate (wave) into the error recursion without incurring losses from time discretization. This is the first use of a null-form estimate inside a numerical-analysis proof.

What carries the argument

Direct insertion of continuous-time L^4 Strichartz and null-form space-time bounds into the error analysis of the integrators.

If this is right

  • The Ostermann-Schratz exponential integrator reaches its full order-one rate for H^1 solutions of the periodic nonlinear Schrödinger equation.
  • The Li-Schratz-Zivcovich corrected Lie splitting reaches its full order-two rate for H^1 solutions of the periodic nonlinear wave equation.
  • Rates remain optimal when the analysis stays in continuous time rather than passing to discrete Strichartz or null-form bounds.
  • The same space-time estimates suffice to close the error estimates for both equations under the stated regularity.

Where Pith is reading between the lines

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

  • The technique may apply to other dispersive equations once analogous continuous space-time bounds are available.
  • It indicates that importing continuous estimates can systematically raise observed orders in low-regularity numerical analysis.
  • Checking whether the same bounds survive in higher dimensions or on non-periodic domains would test the reach of the argument.

Load-bearing premise

The continuous-time space-time estimates transfer to the discrete error bounds of these specific integrators without extra losses from time discretization.

What would settle it

A numerical test with an H^1 initial datum for the nonlinear Schrödinger equation that produces an observed convergence rate clearly below one would falsify the claim.

read the original abstract

We prove optimal convergence rates for certain low-regularity integrators applied to the one-dimensional periodic nonlinear Schr\"odinger and wave equations under the assumption of $H^1$ solutions. For the Schr\"odinger equation we analyze the exponential-type scheme proposed by Ostermann and Schratz in 2018, whereas in the wave case we treat the corrected Lie splitting proposed by Li, Schratz, and Zivcovich in 2023. We show that the integrators converge with their full order of one and two, respectively. In this situation only fractional convergence rates were previously known. The crucial ingredients in the proofs are known space-time bounds for the solutions to the corresponding linear problems. More precisely, in the Schr\"odinger case we use the $L^4$ Strichartz inequality, and for the wave equation a null form estimate. To our knowledge, this is the first time that a null form estimate is exploited in numerical analysis. We apply the estimates for continuous time, thus avoiding potential losses resulting from discrete-time estimates.

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

0 major / 2 minor

Summary. The manuscript proves optimal convergence rates for the Ostermann–Schratz exponential integrator applied to the one-dimensional periodic nonlinear Schrödinger equation and for the corrected Lie splitting applied to the nonlinear wave equation. Under the sole assumption of H¹ solutions, the schemes are shown to attain their full design orders (one and two, respectively) by representing the error via Duhamel-type integrals and applying continuous-time L⁴ Strichartz and null-form estimates directly, thereby avoiding discrete-time losses that previously limited rates to fractional orders.

Significance. If the central estimates hold, the result is significant for numerical analysis of dispersive PDEs. It obtains the full order of the integrators at the minimal regularity class H¹ where only fractional rates were previously available, and it does so by importing standard continuous space-time inequalities rather than deriving new discrete bounds. The explicit use of a null-form estimate in a numerical proof is novel and supplies a template that may extend to other low-regularity schemes.

minor comments (2)
  1. [Abstract] Abstract: the novelty claim that this is the first exploitation of a null-form estimate in numerical analysis would be strengthened by a one-sentence reference to the closest prior works that came close but did not succeed.
  2. The dependence of all constants on the H¹-norm of the solution should be stated explicitly in the main theorems so that the estimates are manifestly uniform on bounded sets in H¹.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the careful reading and positive assessment of our manuscript, including the accurate summary of the main results and the recommendation for minor revision. The significance statement correctly identifies the novelty in applying continuous-time Strichartz and null-form estimates to obtain optimal orders at H¹ regularity.

Circularity Check

0 steps flagged

No circularity: convergence claims rest on external, standard PDE inequalities applied to error analysis

full rationale

The paper's central claims are error estimates for specific integrators, proved by applying known continuous-time Strichartz (L^4) and null-form estimates to Duhamel-type representations of the local truncation and global errors. These inequalities are cited as external, pre-existing results from PDE theory (not derived, fitted, or self-cited within the paper). No step reduces a prediction to a fitted parameter, renames a known result, or loads the argument on a self-citation chain. The abstract explicitly states the estimates are 'known' and applied in continuous time to avoid discrete losses, making the derivation self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claim rests on the validity and direct applicability of two standard linear PDE estimates to the nonlinear error analysis; no free parameters or new entities are introduced.

axioms (2)
  • standard math L^4 Strichartz inequality for the linear Schrödinger equation on the torus
    Invoked for continuous-time bounds in the Schrödinger case.
  • standard math Null-form estimate for the linear wave equation
    Invoked for continuous-time bounds in the wave case; noted as first use in numerical analysis.

pith-pipeline@v0.9.0 · 5712 in / 1337 out tokens · 74818 ms · 2026-05-22T22:16:36.399148+00:00 · methodology

discussion (0)

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

Forward citations

Cited by 2 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. A splitting scheme for the wave maps equation at low regularity

    math.NA 2026-05 unverdicted novelty 7.0

    A filtered Lie splitting scheme for the 3D wave maps equation converges in discrete Bourgain spaces for all subcritical H^s initial data with s > 3/2.

  2. Hybrid Iterative Neural Low-Regularity Integrator for Nonlinear Dispersive Equations

    cs.LG 2026-05 unverdicted novelty 7.0

    A hybrid solver-neural framework achieves global error O(τ^γ ln(1/τ)) for nonlinear dispersive equations by training a lightweight network on the residual defect inside the solver loop while preserving uniform stability.

Reference graph

Works this paper leans on

18 extracted references · 18 canonical work pages · cited by 2 Pith papers · 1 internal anchor

  1. [1]

    Fourier transform restriction phenomena for certain lattice subsets and applications to nonlinear evolution equations I: Schrödinger equations

    J. Bourgain. “Fourier transform restriction phenomena for certain lattice subsets and applications to nonlinear evolution equations I: Schrödinger equations”. In:Geom. Funct. Anal.3 (1993), pp. 107–156

    work page 1993

  2. [2]

    Resonance-based schemes for dispersive equations via decorated trees

    Y. Bruned and K. Schratz. “Resonance-based schemes for dispersive equations via decorated trees”. In:Forum Math. Pi10 (2022), pp. 1–76

    work page 2022

  3. [3]

    A new second-order low-regularity integrator for the cubic nonlinear Schrödinger equation

    J. Cao, B. Li, and Y. Lin. “A new second-order low-regularity integrator for the cubic nonlinear Schrödinger equation”. In:IMA J. Numer. Anal.44 (2024), pp. 1313–1345

    work page 2024

  4. [4]

    Y. Feng, G. Maierhofer, and C. Wang.Explicit symmetric low-regularity integrators for the nonlinear Schrödinger equation. arXiv preprint. 2024.doi: https://doi.org/ 10.48550/arXiv.2411.07720

    work page doi:10.48550/arxiv.2411.07720 2024

  5. [5]

    Error analysis of trigonometric integrators for semilinear Klein-Gordon equations

    L. Gauckler. “Error analysis of trigonometric integrators for semilinear Klein-Gordon equations”. In:SIAM J. Numer. Anal.53 (2015), pp. 1082–1106

    work page 2015

  6. [6]

    Exponential integrators

    M. Hochbruck and A. Ostermann. “Exponential integrators”. In:Acta Numerica19 (2010), pp. 209–286

    work page 2010

  7. [7]

    A splitting method for the nonlinear Schrödinger equation

    L. Ignat. “A splitting method for the nonlinear Schrödinger equation”. In:J. Differ- ential Equations250 (2011), pp. 3022–3046

    work page 2011

  8. [8]

    Space-time estimates for null forms and the local existence theorem

    S. Klainerman and M. Machedon. “Space-time estimates for null forms and the local existence theorem”. In:Comm. Pure Appl. Math.46 (1993), pp. 1221–1268

    work page 1993

  9. [9]

    A second-order low-regularity correction of Lie splitting for the semilinear Klein–Gordon equation

    B. Li, K. Schratz, and F. Zivcovich. “A second-order low-regularity correction of Lie splitting for the semilinear Klein–Gordon equation”. In:ESAIM Math. Model. Numer. Anal.57.2 (2023), pp. 899–919

    work page 2023

  10. [10]

    On splitting methods for Schrödinger-Poisson and cubic nonlinear Schrödinger equations

    C. Lubich. “On splitting methods for Schrödinger-Poisson and cubic nonlinear Schrödinger equations”. In:Math. Comp.77 (2008), pp. 2141–2153

    work page 2008

  11. [11]

    Error estimates of a Fourier integrator for the cubic Schrödinger equation at low regularity

    A. Ostermann, F. Rousset, and K. Schratz. “Error estimates of a Fourier integrator for the cubic Schrödinger equation at low regularity”. In:Found. Comput. Math.21 (2021), pp. 725–765

    work page 2021

  12. [12]

    Fourier integrator for periodic NLS: low regularity estimates via discrete Bourgain spaces

    A. Ostermann, F. Rousset, and K. Schratz. “Fourier integrator for periodic NLS: low regularity estimates via discrete Bourgain spaces”. In:J. Eur. Math. Soc.25.10 (2023), pp. 3913–3952. 14 REFERENCES

    work page 2023

  13. [13]

    Low regularity exponential-type integrators for semilinear Schrödinger equations

    A. Ostermann and K. Schratz. “Low regularity exponential-type integrators for semilinear Schrödinger equations”. In:Found. Comput. Math.18 (2018), pp. 731– 755

    work page 2018

  14. [14]

    A general framework of low regularity integrators

    F. Rousset and K. Schratz. “A general framework of low regularity integrators.” In: SIAM J. Numer. Anal.59.3 (2021), pp. 1735–1768

    work page 2021

  15. [15]

    Ruff.Error analysis of the Strang splitting for the 3D semilinear wave equation with finite-energy data

    M. Ruff.Error analysis of the Strang splitting for the 3D semilinear wave equation with finite-energy data. arXiv preprint. 2025.doi: https://doi.org/10.48550/ arXiv.2503.13126

    work page internal anchor Pith review Pith/arXiv arXiv 2025

  16. [16]

    Error analysis of the Lie splitting for semilinear wave equations with finite-energy solutions

    M. Ruff and R. Schnaubelt. “Error analysis of the Lie splitting for semilinear wave equations with finite-energy solutions”. In:Discrete Contin. Dyn. Syst.(2025). Early Access. doi: 10.3934/dcds.2025009

    work page doi:10.3934/dcds.2025009 2025

  17. [17]

    Tao.Nonlinear Dispersive Equations: Local and Global Analysis

    T. Tao.Nonlinear Dispersive Equations: Local and Global Analysis. American Math- ematical Society, Providence, RI, 2006

    work page 2006

  18. [18]

    On Fourier coefficients and transforms of functions of two variables

    A. Zygmund. “On Fourier coefficients and transforms of functions of two variables”. In: Studia Math.50 (1974), pp. 189–201. Karlsruhe Institute of Technology, Department of Mathematics, Engler- straße 2, 76131 Karlsruhe, Germany Email address: maximilian.ruff@kit.edu

    work page 1974