Pith. sign in

REVIEW 1 major objections 36 references

Control of the Schr\"{o}dinger equation in $\mathbb{R}^3$: The critical case

T0 review · 1 major / 0 minor · reviewed 2026-05-24 · grok-4.3

Challenge this review Download PDF Read on arXiv ↗

Pith's one-line read The energy-critical nonlinear Schrödinger equation in R^3 is locally null controllable in H^1.

desk verdict The paper claims local null controllability for the energy-critical quintic NLS in R^3 at H^1 level via linear HUM plus perturbation, but the perturbation step looks vulnerable because the nonlinearity is not Lipschitz in the energy space. read the letter →

arxiv 2404.07749 v3 submitted 2024-04-11 math.AP math.OC

Pablo Braz e Silva (UFPE) , Roberto de A. Capistrano-Filho (UFPE) , Jackellyny Dassy do Nascimento Carvalho (UFPE) , David dos Santos Ferreira (IELC) This is my paper
classification math.APmath.OC
keywords nonlinearSchrödingerequationnullcontrollabilityenergy-criticalStrichartzestimatesHilbertuniquenessmethodlocalH^1spaceR^3
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

The paper proves that solutions of the energy-critical nonlinear Schrödinger equation in three space dimensions can be driven locally to the zero state in the H^1 norm by means of a distributed control. Well-posedness of the nonlinear problem is first obtained via Strichartz estimates. Controllability of the associated linear equation is then established by the Hilbert uniqueness method. A perturbation argument around controlled linear solutions extends the result to the critical nonlinearity without loss of controllability. A reader would care because the critical exponent is the threshold where many dispersive estimates become borderline, so success here indicates that standard control techniques remain viable precisely where they are most delicate.

What carries the argument

Perturbation argument around the linear controlled solution, which carries the controllability from the linear to the critical nonlinear regime.

What would settle it

An explicit initial datum in H^1 for which every admissible control leaves a positive lower bound on the H^1 norm of the solution at the final time.

Watch

Extended reading notes

Core claim

The energy-critical nonlinear Schrödinger equation in R^3 is locally null controllable in H^1. The proof proceeds by first establishing well-posedness with Strichartz estimates, then proving controllability of the linear Schrödinger equation via the Hilbert uniqueness method, and finally transferring controllability to the nonlinear equation by a perturbation argument centered on the linear controlled trajectory.

Load-bearing premise

The perturbation around the linear controlled solution continues to work at the critical exponent without creating new obstructions to controllability.

Editorial extensions

If this is right

  • Local null controllability holds for the nonlinear system when the control acts on a fixed open set.
  • The result is specific to the energy-critical power 5 in three dimensions.
  • Well-posedness in the energy space follows from Strichartz estimates adapted to the controlled setting.
  • Linear controllability obtained by the Hilbert uniqueness method is the necessary foundation for the nonlinear conclusion.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • The same perturbation strategy might extend controllability results to other critical dispersive models once linear controllability is known.
  • If the argument is robust at criticality, it suggests that the transition from subcritical to critical does not automatically destroy controllability for focusing or defocusing nonlinearities of this type.
  • Global controllability questions could be addressed by combining this local result with existing blow-up or scattering theory for the equation.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit.

Referee Report

1 major / 0 minor

Summary. The manuscript claims local null controllability in H^1 for the energy-critical quintic nonlinear Schrödinger equation on R^3. The argument proceeds in three steps: local well-posedness via Strichartz estimates, linear controllability of the free Schrödinger equation via the Hilbert uniqueness method, and a perturbation argument transferring the linear result to the nonlinear equation.

Significance. If the perturbation step closes rigorously, the result would extend controllability theory from subcritical to energy-critical nonlinearities in three dimensions, a technically demanding advance. The linear HUM step and Strichartz well-posedness are standard tools, but the critical-case perturbation, if successful without new obstructions, would be the novel contribution.

major comments (1)
  1. [Perturbation argument] The perturbation argument (final step outlined in the abstract): the map u ↦ |u|^4 u fails to be locally Lipschitz from H^1(R^3) into H^{-1}(R^3). It is therefore unclear whether the fixed-point argument around the linearly controlled solution can close in the energy space. The abstract invokes Strichartz estimates only for well-posedness and gives no indication that the controllability perturbation is performed inside an admissible Strichartz space (e.g., L^4_t L^{12}_x or an endpoint pair) that absorbs the critical term while preserving a uniform observability constant independent of the control cost.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading and the detailed comment on the perturbation step. We address the concern point by point below and clarify how the argument is closed rigorously in the manuscript.

read point-by-point responses

  1. Referee: [Perturbation argument] The perturbation argument (final step outlined in the abstract): the map u ↦ |u|^4 u fails to be locally Lipschitz from H^1(R^3) into H^{-1}(R^3). It is therefore unclear whether the fixed-point argument around the linearly controlled solution can close in the energy space. The abstract invokes Strichartz estimates only for well-posedness and gives no indication that the controllability perturbation is performed inside an admissible Strichartz space (e.g., L^4_t L^{12}_x or an endpoint pair) that absorbs the critical term while preserving a uniform observability constant independent of the control cost.

    Authors: We agree that |u|^4 u is not locally Lipschitz as a map from H^1 to H^{-1}, which is precisely why the local well-posedness (Section 2) is established in an admissible Strichartz space rather than directly in the energy space. The same Strichartz framework is used for the controllability perturbation in Section 4: the controlled solution is sought in the space L^4_t L^{12}_x (with appropriate time localization) where the quintic term maps continuously into the dual Strichartz space and the fixed-point map is a contraction for small data. The linear HUM observability inequality is applied on a fixed time interval and remains uniform for controls whose H^{-1} norm is sufficiently small (the local regime); the perturbation is absorbed by the Strichartz estimates without requiring a new observability constant. We will add one sentence to the abstract to indicate that the perturbation step is performed inside the Strichartz space already used for well-posedness. revision: partial

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity; standard independent techniques applied without reduction to self-defined inputs

full rationale

The derivation proceeds via three independent steps: Strichartz-based local well-posedness (standard for NLS), HUM controllability of the linear Schrödinger equation (a classical result independent of the present work), and a perturbation argument transferring linear controllability to the nonlinear case. None of these steps is shown to reduce by construction to a quantity defined inside the paper; no self-citations are invoked as load-bearing uniqueness theorems, no parameters are fitted and relabeled as predictions, and no ansatz is smuggled via prior author work. The paper therefore remains self-contained against external benchmarks.

Assumptions & free parameters 0 free parameters · 2 assumptions · 0 invented entities

Relies on standard PDE tools; no free parameters, invented entities, or ad-hoc axioms visible in the abstract.

assumptions (2)
  • standard math Strichartz estimates apply to the linear Schrödinger equation on R^3
    Invoked for well-posedness.
  • standard math Hilbert uniqueness method yields controllability for the linear Schrödinger equation
    Used to obtain linear controllability.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Control of the Schr\"{o}dinger equation in $\mathbb{R}^3$: The critical case." pith.science (2026). https://pith.science/paper/2404.07749

@misc{pith2026240407749,
  author       = {Pith},
  title        = {Pith review of: Control of the Schr\"odinger equation in $\mathbbR^3$: The critical case},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/2404.07749}},
  note         = {Machine review of arXiv:2404.07749}
}
abstract

This article deals with the $H^{1}$--level local null controllability for the energy-critical nonlinear Schr\"{o}dinger equation in $\mathbb{R}^3$. Firstly, we demonstrate that the problem under consideration is well-posed using Strichartz estimates. Moreover, through the Hilbert uniqueness method, we prove the linear Schr\"{o}dinger equation to be controllable. Finally, we use a perturbation argument and show local controllability for the critical nonlinear Schr\"{o}dinger equation.

Discussion (0). Sign in to comment.

Reference graph

Works this paper leans on

36 extracted references · 36 canonical work pages

  1. [1]

    Bardos, G

    C. Bardos, G. Lebeau, and J. Rauch, Sharp sufficient condit ions for the observation, control, and stabilization of waves from the boundary, SIAM J. Control Optim. 305 (1992) 1024–1065

    work page 1992

  2. [2]

    Baudouin and J.-P

    L. Baudouin and J.-P. Puel, Uniqueness and stability in an inverse problem for the Schr¨ odinger equation, Inverse Problems 18 (2001) 1537–1554

    work page 2001

  3. [3]

    R. A. Capistrano–Filho and A. Pampu, The fractional Schr¨ odinger equation on compact manifolds : Global controllability results, Mathematische Zeitschrift, 301 (2022) 3817–3848

    work page 2022

  4. [4]

    Cardoulis and P

    L. Cardoulis and P. Gaitan, Simultaneous identification of diffusion coefficient and the po tential for the Schr¨ odinger operator with only one observation, Inverse Problems 26 (2010). CRITICAL NLS: LOCAL CONTROL RESULTS 19

    work page 2010

  5. [5]

    Cardoulis, M

    L. Cardoulis, M. Cristofol, and P. Gaitan, Inverse problem for the Schr¨ odinger operator in an unbound ed strip , J. Inverse Ill-Posed Probl. 16 (2008) 127–146

    work page 2008

  6. [6]

    Cazenave and F

    T. Cazenave and F. B. Weissler, The Cauchy problem for the critical nonlinear Schr¨ odinger equation in H s, Nonlinear Analysis: Theory, Methods & Applications, 14(10 ), (1990) 807–836

    work page 1990

  7. [7]

    Cazenave, Semilinear Schr¨ odinger Equations, Amer

    T. Cazenave, Semilinear Schr¨ odinger Equations, Amer. Math. Soc. , Providence, RI (2003)

    work page 2003

  8. [8]

    Dehman, P

    B. Dehman, P. G´ erard, and G. Lebeau, S tabilization and control for the nonlinear Schr¨ odinger eq uation on a compact surface, Mathematische Zeitschrift, 254 (2006) 729–749

    work page 2006

Show all 36 references
  1. [9]

    Illner, H

    R. Illner, H. Lange, and H. Teismann, A note on the exact internal control of nonlinear Schr¨ oding er, in: CRM Proc. Lecture Notes, 33 (2003) 127–137

    2003

  2. [10]

    Illner, H

    R. Illner, H. Lange, and H. Teismann, Limitations on the control of Schr¨ odinger equations , ESAIM Control Optim. Calc. Var. 12 (2006) 615–635

    2006

  3. [11]

    Keel and T

    M. Keel and T. Tao, Endpoint Strichartz estimates , Am. J. Math. 120 (1998) 955–980

    1998

  4. [12]

    C. E. Kenig and F. Merle, Global well-posedness, scattering, and blow-up for the ene rgy-critical, focusing, non- linear Schr¨ odinger equation in the radial case, Invent. Math, 166 (2006) 645–675

    2006

  5. [13]

    KC. E. Kenig and F. Merle, Nondispersive radial solutions to energy supercritical no n-linear wave equations, with applications , American Journal of Mathematics, 130(3), (2008) 633–665

    2008

  6. [14]

    Komornik and P

    V. Komornik and P. Loreti, Fourier Series in Control The ory Springer-Verlag, (2005)

    2005

  7. [15]

    Lange and H

    H. Lange and H. Teismann, Controllability of the nonlinear Schr¨ odinger equation in the vicinity of the ground state, Math. Meth. Appl. Sci. 30, (2007) 1483–1505

    2007

  8. [16]

    Laurent, Global controllability and stabilization for the nonlinea r Schr¨ odinger equation on an interval, ESAIM Control Optimisation and Calculus of Variations , 2 (2010) 356–379

    C. Laurent, Global controllability and stabilization for the nonlinea r Schr¨ odinger equation on an interval, ESAIM Control Optimisation and Calculus of Variations , 2 (2010) 356–379

    2010

  9. [17]

    C. Laurent, Global controllability and stabilization for the nonlinea r Schr¨ odinger equation on some compact manifolds of dimension 3 , SIAM Journal on Mathematical Analysis, 42, (2010) 785–832

    2010

  10. [18]

    Lasiecka, R

    I. Lasiecka, R. Triggiani, and X. Zhang, Carleman estimates at the H 1(Ω)- and L2(Ω)-level for nonconservative Schr¨ odinger equations with unobserved Neumann B.C, Arch. Inequal. Appl. 2, (2004) 215–338

    2004

  11. [19]

    Lions, Exact controllability, stabilization and perturbations f or distributed systems , SIAM Rev

    J.-L. Lions, Exact controllability, stabilization and perturbations f or distributed systems , SIAM Rev. 30, (1988) 1–68

    1988

  12. [20]

    Merle and P

    F. Merle and P. Rapha¨ el, Sharp upper bound on the blow-up rate for the critical nonlin ear Schr¨ odinger equation, Geometric and Functional Analysis, 13(3), (2003) 591–642

    2003

  13. [21]

    Mercado, A

    A. Mercado, A. Osses, and L. Rosier, Inverse problems for the Schr¨ odinger equation via Carlema n inequalities with degenerate weights , Inverse Problems 24, (2008) 1–18

    2008

  14. [22]

    Miller, How violent are fast controls for Schr¨ odinger and plate vib rations?, Arch

    L. Miller, How violent are fast controls for Schr¨ odinger and plate vib rations?, Arch. Rational Mech. Anal. 172, (2004) 429–456

    2004

  15. [23]

    Phung, Observability and controllability for Schr¨ odinger equat ions, SIAM J

    K.-D. Phung, Observability and controllability for Schr¨ odinger equat ions, SIAM J. Control Optim. 40, (2001) 211–230

    2001

  16. [24]

    Ramdani, T

    K. Ramdani, T. Takahashi, G. Tenenbaum, and M. Tucsnak, A spectral approach for the exact observability of infinite-dimensional systems with skew-adjoint generator , J. Funct. Anal. 226, (2005) 193–229

    2005

  17. [25]

    Rauch and M

    J. Rauch and M. Taylor, Exponential decay of solutions t o hyperbolic equations in bounded domains, Indiana Univ. Math. J. 24(1), (1975) 79–86

    1975

  18. [26]

    Rosier and B.-Y

    L. Rosier and B.-Y. Zhang, Local exact controllability and stabilizability of the non linear Schr¨ odinger equation on a bounded domain , SIAM J. Control Optim. 48, (2009) 972–992

    2009

  19. [27]

    Rosier and B.-Y

    L. Rosier and B.-Y. Zhang, Exact boundary controllability of the nonlinear Schr¨ odin ger equation , J. Differential Equations 246, (2009) 4129–4153

    2009

  20. [28]

    Rosier and B.-Y

    L. Rosier and B.-Y. Zhang, Control and Stabilization of the Nonlinear Schr¨ odinger Eq uation on Rectangles, Mathematical Models, and Methods in Applied Sciences, 12, ( 2010) 2293–2347

    2010

  21. [29]

    Simon, Compact sets in the space Lp(0, T ; B), Ann

    J. Simon, Compact sets in the space Lp(0, T ; B), Ann. Mat. Pura Appl. (4) CXL VI (1987) 65–97

    1987

  22. [30]

    Sulem and P

    C. Sulem and P. L. Sulem, The Nonlinear Schr¨ odinger Equ ation: Self-Focusing and Wave Collapse, Applied Mathematical Sciences, Vol. 139, Springer (1999)

    1999

  23. [31]

    Tao, Nonlinear Dispersive Equations: Local and Global Analysis

    T. Tao, Nonlinear Dispersive Equations: Local and Global Analysis . CBMS Regional Conference Series in Math- ematics, American Mathematical Society (2009)

    2009

  24. [32]

    Ta¨ ufer,Controllability of the Schr¨ odinger equation on unboundeddomains without geometric control condition , ESAIM Control Optim

    M. Ta¨ ufer,Controllability of the Schr¨ odinger equation on unboundeddomains without geometric control condition , ESAIM Control Optim. Calc. Var., 29 (59), (2023) 1-11

    2023

  25. [33]

    Yuan and M

    G. Yuan and M. Yamamoto, Carleman estimates for the Schr¨ odinger equation and appli cations to an inverse problem and an observability inequality , Chinese Annals of Mathematics 31(4), (2010) 555–578

    2010

  26. [34]

    Visan, The defocusing energy-critical nonlinear Schr¨ odinger equation in higher dimensions , Duke Mathemat- ical Journal, 138(2), (2007) 281–374

    M. Visan, The defocusing energy-critical nonlinear Schr¨ odinger equation in higher dimensions , Duke Mathemat- ical Journal, 138(2), (2007) 281–374

    2007

  27. [35]

    Zuazua, Exact controllability for the semilinear wave equation , J

    E. Zuazua, Exact controllability for the semilinear wave equation , J. Math. Pures Appl. 69, 33–55 (1990)

    1990

  28. [36]

    Zuazua, Remarks on the controllability of the Schr¨ odinger equatio n, Quantum Control: Mathematical and Numerical Challenges , 193–211, CRM Proc

    E. Zuazua, Remarks on the controllability of the Schr¨ odinger equatio n, Quantum Control: Mathematical and Numerical Challenges , 193–211, CRM Proc. Lecture Notes, Vol. 33 (Amer. Math. Soc. , 2003). 20 BRAZ E SIL V A, CAPISTRANO–FILHO, CAR V ALHO, AND DOS SANTOS FERREIRA Depa...

    2003

Pith tools

Reviewed May 24, 2026 · model on record in the stance chip above.