Alphabeta Math
RemarkRemark: AI-adaptedProof: Not applicable
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 H1(R3) 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 i∂tu+Δu+λ∣u∣4u=F on R3×(0,T), where u is complex-valued, Δ is the spatial Laplacian, λ∈R∖{0} and F 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 uρ(t,x)=ρ1/2u(ρ2t,ρx), ρ>0, preserving the homogeneous first-order seminorm ∥∇u(t)∥L2(R3) 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 H1(R3)=W1,2(R3;C) consists of complex L2 classes whose first weak spatial derivatives also belong to L2. 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.

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