Alphabeta MathHow 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.
Proposed transfer of the smoothing-control mechanism
PDF p. 21: §5.1, second paragraph
Statement
The article describes its local smoothing method as replacing a boundary multiplier identity in the observability argument, thereby avoiding a boundary term at the obstacle. It also describes smoothing as supplying compactness and a gain of regularity for the compactness–uniqueness argument without proving a new microlocal propagation result up to the boundary, with the geometric information contained in the estimates cited as [9]. Here local smoothing means a gain of spatial regularity after localization in space and integration in time; observability means an estimate controlling the initial-data norm by a norm of the observed evolution. Compactness–uniqueness combines a compact remainder with a uniqueness statement to remove that remainder.
The article proposes that the mechanism should apply to other dispersive equations in exterior domains when the uncontrolled region is bounded, the obstacle is non-trapping, and a suitable local smoothing effect is available. This is a proposed direction, not a theorem that these conditions alone imply observability or control for an unspecified equation.
The present Schrödinger results illustrate the components under their stated hypotheses: homogeneous local smoothing, compactness of a localized remainder, free observability, and regularity gain for an invisible trajectory. For these illustrations assume the Axiom of Choice; the precise geometry, scale, observation and trajectory hypotheses are those in the respective results.
Statement references
Facts & Assumptions
On the smooth connected non-trapping exterior, Homogeneous half-derivative local smoothing gives a localized half-derivative gain in a time-integrated norm for the free Dirichlet Schrödinger evolution, in the range and under the assumptions stated there.
Under its stated hypotheses, Lemma 3.2: compactness of the remainder makes the specified localized remainder tend to zero on weakly convergent differences of initial data. The free observability estimate of Proposition 3.5: full-scale free observability controls the initial spectral-scale norm by the time-integrated observation for its stated range and cutoff.
Under its geometry and trajectory hypotheses, Lemma 4.5: invisible solutions acquire energy regularity raises an invisible adjoint solution from the indicated negative spectral orders to the energy space. Invisible means that its specified observation vanishes throughout the time interval; the result is conditional on the stated equation and regularity assumptions.
These illustrations are stated under the Axiom of Choice The Axiom of Choice, as required by their supplied formulations. They do not establish the corresponding ingredients for another equation.
Source notes
The frozen article, PDF page 21, §5.1, is the attribution for the methodological description and proposed extension. The cited Schrödinger items supply the separately stated illustrations; the proposal itself is not used as a premise in their proofs.
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 · Frozen v2 PDF, page 21, Section 5.1 (Scope of the results), second paragraph, beginning From the methodological point of view.