pith. sign in

arxiv: 2604.12445 · v1 · submitted 2026-04-14 · 📡 eess.SY · cs.SY· math.AP· math.OC

Bilinear controllability for the linear KdV-Schr{\"o}dinger equation

R\'emi Buffe (IECL , SPHINX) , Alessandro Duca (SPHINX , IECL) , Hugo Parada (SPHINX This is my paper

Pith reviewed 2026-05-10 15:12 UTC · model grok-4.3

classification 📡 eess.SY cs.SYmath.APmath.OC
keywords bilinear controllabilityKdV-Schrödinger equationapproximate controllabilitysaturation methodtorusFourier modessmall-time controllabilitydispersive equations
0
0 comments X p. Extension

The pith

Purely imaginary bilinear controls on a finite set of Fourier modes achieve small-time global approximate controllability for the linear KdV-Schrödinger equation on the torus between states of equal L2 norm.

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

The paper sets out to prove that the coupled linear KdV-Schrödinger dynamics on the circle can be steered approximately to any target state of matching L2 norm in arbitrarily short time. Controls are restricted to purely imaginary bilinear terms acting through only a finite collection of Fourier frequencies. The argument first secures small-time control over phase multiplications, then produces transport operators coming from diffeomorphisms of the torus, and finally assembles both pieces into global approximate controllability. The result continues to hold if the Schrödinger term is removed entirely, so the KdV part alone is sufficient under these controls. Readers interested in steering dispersive waves would see a concrete extension of saturation techniques to a mixed system.

Core claim

By the saturation method the authors first obtain small-time controllability for phase multiplications and then generate the transport operators associated with diffeomorphisms of the torus; combining these two families recovers global approximate controllability in L2 between any pair of states that share the same norm, and the construction is independent of the Schrödinger component of the dynamics.

What carries the argument

Saturation method that first produces phase multiplications and then constructs transport operators generated by diffeomorphisms of the torus from finite-mode purely imaginary bilinear controls.

If this is right

  • Small-time controllability holds for phase multiplications under the given controls.
  • Transport operators associated with diffeomorphisms of the torus can be generated.
  • Global approximate controllability follows once phase and transport pieces are combined.
  • The controllability property remains valid when the Schrödinger component is set to zero.

Where Pith is reading between the lines

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

  • The same saturation construction may extend to other linear couplings of dispersive equations on the circle.
  • Numerical checks could determine the smallest number of Fourier modes sufficient for practical steering.
  • The independence from the Schrödinger term suggests the result is robust to certain modifications that preserve the KdV structure.

Load-bearing premise

The saturation method extends directly to the coupled KdV-Schrödinger system when the controls are restricted to a suitable finite number of Fourier modes and kept purely imaginary.

What would settle it

A pair of equal-norm L2 states on the torus for which no sequence of finite-mode imaginary bilinear controls drives the solution arbitrarily close in arbitrarily small time, or a concrete failure of the phase-multiplication controllability step.

read the original abstract

We study the controllability of a linear KdV-Schr{\"o}dinger equation on the one-dimensional torus via purely imaginary bilinear controls. Considering controls spanning a suitable finite number of Fourier modes, we prove small-time global approximate controllability in L2(T). The result holds between any pair of states with the same norm and is obtained via the saturation method by following the idea introduced in [Poz24]. We first establish small-time controllability for phase multiplications, and then generate transport operators associated with diffeomorphisms of the torus. Finally, we combine these results to recover global approximate controllability. Note that the controllability property holds independently of the Schr{\"o}dinger component of the dynamics, which may in particular be taken to vanish.

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 small-time global approximate controllability in L²(𝕋) between any pair of states with the same norm for the linear KdV-Schrödinger equation on the one-dimensional torus, using purely imaginary bilinear controls spanning a finite number of Fourier modes. The proof follows the saturation method introduced in [Poz24] by first establishing small-time controllability for phase multiplications, then generating transport operators associated with diffeomorphisms of the torus, and finally combining these to recover the global approximate controllability result. The controllability property is shown to hold independently of the Schrödinger component of the dynamics, which may be taken to vanish.

Significance. If the adaptation of the saturation method to the coupled system is rigorously carried through, the result is significant because it isolates the controllable KdV dynamics from the Schrödinger component, yielding a controllability statement that applies even when the Schrödinger term is absent. This strengthens the saturation technique for bilinear control of dispersive PDEs and provides a clean example of how finite-mode imaginary controls can generate both phase and transport effects on the torus.

minor comments (2)
  1. [Abstract] The abstract states that the result follows the saturation strategy but supplies no derivation steps, error estimates, or explicit verification of the phase-multiplication and transport-operator constructions for the coupled system; adding a short paragraph in the introduction that sketches how the finite-mode imaginary controls interact with the linear coupling would improve readability without altering the proof.
  2. The independence claim (that controllability holds even when the Schrödinger component vanishes) is central; a brief remark confirming that the saturation estimates remain uniform with respect to the coupling coefficient would make this assertion fully transparent.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive assessment of our manuscript and for recommending minor revision. The provided summary accurately captures the main result: small-time global approximate controllability in L²(𝕋) for the linear KdV-Schrödinger equation between equal-norm states, achieved via imaginary bilinear controls on finitely many Fourier modes and independent of the Schrödinger term. We appreciate the recognition of the adaptation of the saturation method from [Poz24].

Circularity Check

0 steps flagged

No significant circularity identified

full rationale

The manuscript applies the saturation method from the external citation [Poz24] to establish small-time controllability of phase multiplications under finite-mode imaginary controls, then generates the associated transport operators for torus diffeomorphisms, and finally combines these to obtain global approximate controllability in L2(T) between states of equal norm. The explicit isolation of the controllable KdV component (with the Schrödinger term allowed to vanish) is derived directly from the system equations and control restrictions without reducing to a self-definition, fitted input renamed as prediction, or load-bearing self-citation chain. All steps follow a standard logical sequence that remains independent of the paper's own inputs and is externally verifiable via the cited method.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The result rests on standard PDE theory on the torus and the saturation technique from the cited reference; no new free parameters, ad-hoc axioms, or invented entities are introduced in the abstract.

axioms (2)
  • standard math Standard results from functional analysis and Fourier series on the circle (L2(T) space, Fourier modes)
    Invoked for the definition of controls and the L2 norm preservation.
  • domain assumption Saturation method from [Poz24] applies to this system
    Central to generating phase multiplications and transport operators.

pith-pipeline@v0.9.0 · 5451 in / 1365 out tokens · 22533 ms · 2026-05-10T15:12:37.245543+00:00 · methodology

discussion (0)

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

Reference graph

Works this paper leans on

27 extracted references · 27 canonical work pages

  1. [1]

    Navier-- S tokes equations: controllability by means of low modes forcing

    Andrey A Agrachev and Andrey V Sarychev. Navier-- S tokes equations: controllability by means of low modes forcing. Journal of Mathematical Fluid Mechanics , 7(1):108--152, 2005

    work page 2005

  2. [2]

    Controllability of 2d E uler and N avier- S tokes equations by degenerate forcing

    Andrey A Agrachev and Andrey V Sarychev. Controllability of 2d E uler and N avier- S tokes equations by degenerate forcing. Communications in mathematical physics , 265(3):673--697, 2006

    work page 2006

  3. [3]

    Didier B \'e nisti. Envelope equation for the linear and nonlinear propagation of an electron plasma wave, including the effects of landau damping, trapping, plasma inhomogeneity, and the change in the state of wave. Physics of Plasmas , 23(10), 2016

    work page 2016

  4. [4]

    e lle Bussac, Pierre Lochak, Claude Meunier, and Anne Heron-Gourdin. Soliton generation in the forced non-linear schr \

    Marie-No \"e lle Bussac, Pierre Lochak, Claude Meunier, and Anne Heron-Gourdin. Soliton generation in the forced non-linear schr \"o dinger equation. Physica D: Nonlinear Phenomena , 17(3):313--322, 1985

    work page 1985

  5. [5]

    Examples of small-time controllable S chr \"o dinger equations

    Karine Beauchard and Eugenio Pozzoli. Examples of small-time controllable S chr \"o dinger equations. In Annales Henri Poincar \'e , pages 1--30. Springer, 2025

    work page 2025

  6. [6]

    Small-time approximate controllability of bilinear S chr \"o dinger equations and diffeomorphisms

    Karine Beauchard and Eugenio Pozzoli. Small-time approximate controllability of bilinear S chr \"o dinger equations and diffeomorphisms. Annales de l'Institut Henri Poincar \'e C, Analyse Non Lin \'e aire , 2025. Published online first (25 Aug 2025)

    work page 2025

  7. [7]

    Global approximate controllability of the K orteweg-de V ries equation by a finite-dimensional force

    Mo Chen. Global approximate controllability of the K orteweg-de V ries equation by a finite-dimensional force. Applied Mathematics & Optimization , 87(1):12, 2023

    work page 2023

  8. [8]

    Bilinear control and growth of S obolev norms for the nonlinear S chr \"o dinger equation

    Alessandro Duca and Vahagn Nersesyan. Bilinear control and growth of S obolev norms for the nonlinear S chr \"o dinger equation. Journal of the European Mathematical Society , 27(6):2603--2622, 2024

    work page 2024

  9. [9]

    On the small-time bilinear control of a nonlinear heat equation: global approximate controllability and exact controllability to trajectories

    Alessandro Duca, Eugenio Pozzoli, and Cristina Urbani. On the small-time bilinear control of a nonlinear heat equation: global approximate controllability and exact controllability to trajectories. Journal de Math \'e matiques Pures et Appliqu \'e es , page 103758, 2025

    work page 2025

  10. [10]

    Small-time global controllability of the Burgers equation via bilinear controls

    Alessandro Duca and Tak \'e o Takahashi. Small-time global controllability of the Burgers equation via bilinear controls . working paper or preprint, January 2025

    work page 2025

  11. [11]

    Suppressing instability in a V lasov-- P oisson system by an external electric field through constrained optimization

    Lukas Einkemmer, Qin Li, Li Wang, and Yang Yunan. Suppressing instability in a V lasov-- P oisson system by an external electric field through constrained optimization. Journal of Computational Physics , 498:112662, 2024

    work page 2024

  12. [12]

    On the controllability of the V lasov-- P oisson system in the presence of external force fields

    Olivier Glass and Daniel Han-Kwan. On the controllability of the V lasov-- P oisson system in the presence of external force fields. Journal of Differential Equations , 252(10):5453--5491, 2012

    work page 2012

  13. [13]

    Kd V limit of the E uler-- P oisson system

    Yan Guo and Xueke Pu. Kd V limit of the E uler-- P oisson system. Archive for Rational Mechanics and Analysis , 211(2):673--710, 2014

    work page 2014

  14. [14]

    Nonlinear waves in fluids: recent advances and modern applications

    Roger Grimshaw. Nonlinear waves in fluids: recent advances and modern applications . Springer Science & Business Media, 2007

    work page 2007

  15. [15]

    Linear stability and instability of ion-acoustic plasma solitary waves

    Mariana Haragus and Arnd Scheel. Linear stability and instability of ion-acoustic plasma solitary waves. Physica D: Nonlinear Phenomena , 170(1):13--30, 2002

    work page 2002

  16. [16]

    Nonlinear pulse propagation in a monomode dielectric guide

    Yuji Kodama and Akira Hasegawa. Nonlinear pulse propagation in a monomode dielectric guide. IEEE Journal of Quantum Electronics , 23(5):510--524, 1987

    work page 1987

  17. [17]

    Optical solitons in a monomode fiber

    Yuji Kodama. Optical solitons in a monomode fiber. Journal of Statistical Physics , 39(5):597--614, 1985

    work page 1985

  18. [18]

    Control and stabilization of the K orteweg-de V ries equation on a periodic domain

    Camille Laurent, Lionel Rosier, and Bing-Yu Zhang. Control and stabilization of the K orteweg-de V ries equation on a periodic domain. Communications in Partial Differential Equations , 35(4):707--744, 2010

    work page 2010

  19. [19]

    Controlling instability in the V lasov- P oisson system through moment-based optimization

    Jingcheng Lu, Li Wang, and Jeff Calder. Controlling instability in the V lasov- P oisson system through moment-based optimization. arXiv preprint arXiv:2508.18412 , 2025

    work page arXiv 2025

  20. [20]

    On approximate controllability of generalized K d V solitons

    Claudio Munoz. On approximate controllability of generalized K d V solitons. SIAM Journal on Control and Optimization , 52(1):52--81, 2014

    work page 2014

  21. [21]

    Small-time global approximate controllability of bilinear wave equations

    Eugenio Pozzoli. Small-time global approximate controllability of bilinear wave equations. Journal of Differential Equations , 388:421--438, 2024

    work page 2024

  22. [22]

    Methods of modern mathematical physics: Functional analysis

    Michael Reed. Methods of modern mathematical physics: Functional analysis . Elsevier, 2012

    work page 2012

  23. [23]

    Controllability and stabilizability of the third-order linear dispersion equation on a periodic domain

    David Russell and Bing Yu Zhang. Controllability and stabilizability of the third-order linear dispersion equation on a periodic domain. SIAM journal on control and optimization , 31(3):659--676, 1993

    work page 1993

  24. [24]

    Exact controllability and stabilizability of the K orteweg-de V ries equation

    David Russell and Bing-Yu Zhang. Exact controllability and stabilizability of the K orteweg-de V ries equation. Transactions of the American Mathematical Society , 348(9):3643--3672, 1996

    work page 1996

  25. [25]

    Korteweg-de V ries equation and generalizations

    Chau Hsing Su and Clifford S Gardner. Korteweg-de V ries equation and generalizations. III . D erivation of the K orteweg-de V ries equation and B urgers equation. Journal of Mathematical Physics , 10(3):536--539, 1969

    work page 1969

  26. [26]

    Linear and nonlinear waves

    Gerald Beresford Whitham. Linear and nonlinear waves . John Wiley & Sons, 2011

    work page 2011

  27. [27]

    Propagation of ion-acoustic solitary waves of small amplitude

    Haruichi Washimi and Tosiya Taniuti. Propagation of ion-acoustic solitary waves of small amplitude. Physical Review Letters , 17(19):996, 1966

    work page 1966