Rigorous numerics for NLS: Bound states, spectra, and controllability

Roberto Castelli, Holger Teismann*

*Corresponding author for this work

Research output: Contribution to JournalArticleAcademicpeer-review


In this paper it is demonstrated how rigorous numerics may be applied to the one-dimensional nonlinear Schrödinger equation (NLS); specifically, to determining bound-state solutions and establishing certain spectral properties of the linearization. Since the results are rigorous, they can be used to complete a recent analytical proof (Beauchard et al., 2015) of the local exact controllability of NLS.

Original languageEnglish
Pages (from-to)158-173
Number of pages16
JournalPhysica D. Nonlinear Phenomena
Publication statusPublished - 1 Nov 2016


  • BEC
  • Controllability of PDEs
  • Radii polynomials
  • Rigorous numerics
  • Spectral analysis


Dive into the research topics of 'Rigorous numerics for NLS: Bound states, spectra, and controllability'. Together they form a unique fingerprint.

Cite this