Alphabeta Math
Open problemQuestion: Literature-sourcedProof: 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.

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 i∂tv+Δv+λ∣v∣4v=φh, can one obtain controllability for large initial data in the energy space HD1(Ω)=H01(Ω)? In particular, determine conditions under which a control h 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 v∣∂Ω=0, 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 R3 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 H1(R3) 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

Control of the Schrödinger equation in R³: The critical case · Theorem 1.1 and §4(B)

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