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.
Large-data control for energy-critical NLS
PDF p. 21: §5.2(C), large-data discussion; PDF p. 5: Corollary 1.6
Open problem
Assume the Axiom of Choice and the geometry and cutoff of Linear and nonlinear internally controlled exterior systems, in dimension three, with a non-trapping obstacle. For the internally controlled Dirichlet equation , can one obtain controllability for large initial data in the energy space ? In particular, determine conditions under which a control drives a prescribed initial state to zero, or connects prescribed initial and terminal states, in a suitable solution class and time. Here large data means that no smallness restriction on the energy-space norm is imposed. Exact controllability between two states means that the solution takes those states at the initial and terminal times; null controllability is the special case with zero terminal state.
The equation, boundary condition , control multiplier , and domain are those of Linear and nonlinear internally controlled exterior systems. The energy-space notation is that of Dirichlet spectral Sobolev scale and duality; the Axiom of Choice is retained as required by those formulations. The question asks which control and solution spaces, times, signs of , and additional hypotheses permit a result; it does not assert that every such choice works.
Status
The frozen article, §5.2(C), reports large-data control in the energy-critical case as open even on and proposes combining stabilization with local controllability. Its Corollary 1.6 states a small-data result near zero in the exterior setting. These are attributed statements, not proofs supplied by this item.
In the independently consulted whole-space paper, Theorem 1.1 states null controllability for sufficiently small initial data with a cutoff control, and §4(B) identifies large-data control as an open issue for that system. This is a partial result and source-specific status, not a proof for exterior domains or a certification that no later solution exists. The source review was limited to the theorem statement and the stated open issue, consulted on 2026-11-13. No proof or exhaustive current-literature review is claimed.
Source notes
The frozen article is the source of the question and its suggested stabilization approach. The whole-space reference provides context for the reported partial result and open status; its theorem is not used as a premise for an exterior-domain deduction.
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.
External dependencies
Theorem 1.1 states small-data local null controllability in H¹(R³) for the displayed controlled quintic system; §4(B) raises large-data global control as an open issue.
Hypotheses: The theorem fixes T > 0, uses the cutoff control in equations (1.5)–(1.6), and assumes sufficiently small H¹ initial data.
Reading limits: The theorem statement and the stated open issue were consulted; their proofs were not independently verified, and no exhaustive search for subsequent results was performed.
Sources
- Nonlinear Schrödinger equation in an exterior domain, v2 · PDF p. 21, §5.2(C); p. 5, Corollary 1.6; p. 4, Theorem 1.3
- Control of the Schrödinger equation in R³: The critical case · Theorem 1.1 and §4(B)