How statement and proof provenance work
The first chip identifies the source of the statement or construction; the second identifies the source of its local proof or verification.
- Literature-sourced: the exact statement appears in a cited source; only wording and notation differ.
- AI-adapted: a semantically identical restatement of literature-sourced material, modulo indexing, notation, and boundary cases adopted by the library.
- AI-generated: a genuinely novel statement formulated by AI, with no source for the claim itself.
These labels describe origin, not correctness: citations and verification chips remain separate evidence.
Prior energy-critical null control on Euclidean space
PDF p. 3: end of opening paragraph; PDF p. 5: paragraph after Corollary 1.6
Statement
The article attributes to Braz e Silva, Capistrano–Filho, Carvalho and Dos Santos Ferreira local null controllability in for the energy-critical nonlinear Schrödinger equation, with controls supported outside a ball. It identifies the three-dimensional quintic equation as energy-critical and compares its own quintic result with that reported whole-space result.
For the mathematical conventions in this remark, assume the Axiom of Choice. The whole-space quintic equation is written in the template form on , where is complex-valued, is the spatial Laplacian, and denotes the control forcing. This uses the same quintic power as the internally controlled system, with no obstacle or boundary condition, and does not specify the admissible controls of reference [7]. Energy-critical refers to the unforced equation's scaling , , preserving the homogeneous first-order seminorm at corresponding times for sufficiently smooth states of finite seminorm. This is the gradient-norm scaling terminology of the critical-exponents remark; it supplies no controllability assertion.
Here consists of complex classes whose first weak spatial derivatives also belong to . Null controllability means steering the initial state to zero at the prescribed terminal time; the local qualification restricts the initial states to a neighborhood of zero in the relevant state topology. The precise admissible controls, solution class, time and smallness hypotheses belong to the attributed result.
Statement references
Source notes
The article lists reference [7] as P. Braz e Silva, R. de A. Capistrano–Filho, J. D. do N. Carvalho and D. Dos Santos Ferreira, Control of the Schrödinger equation in R3: the critical case, preprint, 2026. This remark records the article's attribution; the preprint has not been independently read here, and its reported result is not used as a premise.
Depends on
Dependency tree · 2 levels
Each result is drawn at its shortest distance from this item. Arrows run from prerequisites to the items that use them; this item has a heavier outline. External source nodes link directly to the cited text. The view shows up to two dependency steps; open a prerequisite to continue.
Sources
- Nonlinear Schrödinger equation in an exterior domain, v2 · page 3, final paragraph before Remark 1; page 5, paragraph after Corollary 1.6; page 22, reference [7]