RemarkRemark: AI-adaptedProof: AI-generated

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.

Scope of the spectral unique continuation argument

PDF p. 6: §1.4(ii); PDF p. 11: Remark 4

Statement

Assume the Axiom of Choice and the hypotheses of Lemma 3.4: the smooth compact obstacle has connected, non-trapping exterior $Ω$ , and $φ$ is the specified exterior observation cutoff. For the free Dirichlet equation, the spectral unique-continuation argument uses time translation and gives zero invisibility space for every time $T > 0$ and every spectral order $σ \in [- 2, 2]$ . Here invisibility means that $φ W (t) v = 0$ throughout $[0, T]$ , where $W (t) = e^{i t Δ_{D}}$ is the free Dirichlet group.

For the linearized comparison, let $λ \in R ∖ {0}$ and assume hypothesis (W): $w \in C ([0, T]; H_{D}^{2} (Ω) \cap W^{2, \infty} (Ω))$ satisfies $i \partial_{t} w + Δ w + λ ∣ w ∣^{2} w = 0$ in distributions, with the homogeneous Dirichlet condition encoded by $w (t) \in H_{D}^{2} = H^{2} \cap H_{0}^{1}$ . Consider the homogeneous linearized system, obtained by taking the control $h = 0$ . Its coefficients $V_{1} = 2 λ ∣ w ∣^{2}$ and $V_{2} = λ w^{2}$ can depend on time. A time shift then changes these coefficients, so the free translation argument does not by itself establish unique continuation for that linearized equation. This observation does not rule out special time-independent cases or a different unique-continuation method.

The article describes its spectral method as replacing the Paley–Wiener–Schwartz argument of its reference [7, Lemma 3.1] on $R^{3}$ , which it associates with the explicit free-space kernel. It also mentions a Holmgren-theorem route for $L^{2}$ solutions as in its reference [6], while emphasizing direct treatment of the entire stated spectral range by its own method.

Statement references

Lemma 3.4: free unique continuation on the scale

Scale isometries and free Schrödinger evolution

Locally constant invisible spaces are Laplacian invariant

Linearized equation and its real-duality adjoint

The Axiom of Choice

Facts & Assumptions

[F1]

Under Choice and the stated geometry and cutoff, Lemma 3.4 gives $N_{T}^{σ} = {0}$ for $T > 0$ and $σ \in [- 2, 2]$ , where $N_{T}^{σ}$ is the specified free invisible space. Lemma 3.4: free unique continuation on the scale The Axiom of Choice

[F2]

The free operators $W (t)$ form a group on each Dirichlet spectral space. In the spectral argument, the group law is used to carry a locally constant invisible space into itself under small positive time shifts. Scale isometries and free Schrödinger evolution Locally constant invisible spaces are Laplacian invariant

[F3]

Under the real nonzero coupling and hypothesis (W) stated above, the linearized system has coefficients $V_{1} (t, x) = 2 λ ∣ w (t, x) ∣^{2}$ and $V_{2} (t, x) = λ w (t, x)^{2}$ and includes the real-linear term $V_{2} \overline{z}$ . Taking the control $h = 0$ gives $i \partial_{t} z + Δ z + V_{1} z + V_{2} \overline{z} = 0$ . Interior equations are interpreted distributionally in a solution class where these products are defined; initial and boundary values are used only when meaningful in that class. Linearized equation and its real-duality adjoint

Proof

[F1] Under Choice and the stated geometry and cutoff, Lemma 3.4 gives $N_{T}^{σ} = {0}$ for $T > 0$ and $σ \in [- 2, 2]$ , where $N_{T}^{σ}$ is the specified free invisible space. Lemma 3.4: free unique continuation on the scale The Axiom of Choice

[F2] The free operators $W (t)$ form a group on each Dirichlet spectral space. In the spectral argument, the group law is used to carry a locally constant invisible space into itself under small positive time shifts. Scale isometries and free Schrödinger evolution Locally constant invisible spaces are Laplacian invariant

[F3] Under the real nonzero coupling and hypothesis (W) stated above, the linearized system has coefficients $V_{1} (t, x) = 2 λ ∣ w (t, x) ∣^{2}$ and $V_{2} (t, x) = λ w (t, x)^{2}$ and includes the real-linear term $V_{2} \overline{z}$ . Taking the control $h = 0$ gives $i \partial_{t} z + Δ z + V_{1} z + V_{2} \overline{z} = 0$ . Interior equations are interpreted distributionally in a solution class where these products are defined; initial and boundary values are used only when meaningful in that class. Linearized equation and its real-duality adjoint

Given: Choice and the geometry, cutoff and free spectral scale described in the statement; for the comparison, $λ$ and $w$ satisfying the stated hypothesis (W), a solution $z$ of the homogeneous linearized equation with control $h = 0$ , and a real shift $τ$ with $∣ τ ∣ < T$ , restricted to times $t$ for which $t, t + τ \in (0, T)$ .

Goal: Explain the free time-translation step and why it does not automatically transfer to time-dependent coefficients.

1.1F1F2given

The group law gives $W (t) W (h) v = W (t + h) v$ . Thus a free solution observed to vanish on a sufficiently long interval has its shifted initial state observed to vanish on the corresponding shorter interval. The locally constant invisible-space construction uses precisely this relation to obtain flow invariance; Lemma 3.4 then supplies the zero-space conclusion for the full stated range.

2.1F3givenstep 1.1∎

For the homogeneous linearized solution $z$ , set $z_{τ} (t, x) = z (t + τ, x)$ on the overlap interval in the Given. Translating its distributional equation (equivalently, translating each test function in time) gives $i \partial_{t} z_{τ} + Δ z_{τ} + V_{1} (t + τ, x) z_{τ} + V_{2} (t + τ, x) \overline{z_{τ}} = 0$ . There is no forcing term because the control is zero. The shifted equation therefore has shifted coefficients. Unless the coefficients agree with their shifts on the interval in question, the group-law step for one fixed autonomous equation has not been obtained. This does not assert failure of unique continuation by another argument.

Source notes

The original article is cited for attribution of its methodological comparison on PDF page 6, §1.4(ii), and page 11, Remark 4. Its descriptions of references [6] and [7] are reported as the article's descriptions; those references have not been independently checked here and are not logical premises for the calculation above.

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 6, section 1.4(ii), and page 11, Remark 4