RemarkRemark: Literature-sourcedProof: 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.

Resolvent frequencies, cutoff signs and higher compatibility

PDF p. 6: paragraph following (2.1); PDF p. 7: opening continuation

Statement

Assume the Axiom of Choice. Let $n \geq 2$ , let $Θ \subset R^{n}$ be nonempty and compact with smooth boundary and connected exterior $Ω = R^{n} ∖ Θ$ , and assume that $Θ$ is nontrapping: every generalized reflected ray leaves every compact set in finite forward time. Let $Δ_{D}$ be the Dirichlet Laplacian and $H_{D}^{s} (Ω)$ the spectral scale of $I - Δ_{D}$ . For real $χ \in C_{c}^{\infty} (R^{n})$ write $K_{z} = χ (- Δ_{D} - z)^{- 1} χ$ whenever the resolvent exists.

The imported high-frequency $L^{2}$ estimate has norm $O (∣ λ ∣^{- 1})$ for $∣ λ ∣ \geq 1$ ; the low-frequency $L^{2}$ estimate is uniform for $∣ λ ∣ \leq 1$ . Both concern $z = (λ \pm i ϵ)^{2}$ with sufficiently small positive $ϵ$ . The cited high-frequency result uses nontrapping, while the cited low-frequency result applies in every dimension $n \geq 2$ with a nonempty Dirichlet obstacle. For $- 1 \leq s \leq 1$ , the uniform bound $K_{z} : H_{D}^{s} \to H_{D}^{s + 1}$ extends from nonnegative cutoffs to arbitrary real cutoffs by surrounding their support with a nonnegative cutoff equal to one there. The same uniform bound holds for $- 2 \leq s \leq - 1$ by the negative-order endpoint and interpolation.

The article restricts its displayed estimate to $- 1 \leq s \leq 1$ , the range used at that point. For $s \geq 3$ , $H_{D}^{s + 1}$ entails further boundary compatibility: in particular, $u \in H_{D}^{4}$ implies that the trace of $Δ u$ vanishes on the obstacle boundary. A general smooth cutoff need not preserve this condition, even for a smooth compactly supported $u \in H_{D}^{4}$ .

Statement references

Exterior and truncated obstacle domains

Non-trapping obstacle

Dirichlet spectral Sobolev scale and duality

The Axiom of Choice

Facts & Assumptions

[F1]

The geometry and nontrapping convention are those of Exterior and truncated obstacle domains and Non-trapping obstacle. The shifted Dirichlet scale satisfies $H_{D}^{4} = D ((I - Δ_{D})^{2})$ , and $D (Δ_{D}) = H^{2} (Ω) \cap H_{0}^{1} (Ω)$ Dirichlet spectral Sobolev scale and duality. These suppliers retain the assumed The Axiom of Choice.

[F2]

Under these hypotheses, the imported input gives the high- and low-frequency $L^{2}$ bounds for nonnegative smooth compactly supported cutoffs and the uniform $H_{D}^{s} \to H_{D}^{s + 1}$ bound for $- 1 \leq s \leq 1$ Nontrapping cutoff resolvent estimates. Its source records the role of nontrapping at high frequency and the nonempty obstacle at low frequency.

[F3]

Smooth compactly supported multipliers are bounded on $H_{D}^{t}$ for $- 2 \leq t \leq 2$ Endpoint multiplier bounds extended to negative spectral orders. A smooth nonnegative function equal to one on any prescribed compact set exists by the concentric-ball bump construction A smooth bump between concentric Euclidean balls. The resulting real-cutoff estimate is also stated in Proposition 2.1: cut-off resolvent estimate.

[F4]

For real smooth compactly supported cutoffs, the uniform endpoint bound $K_{z} : H_{D}^{- 2} \to H_{D}^{- 1}$ follows by pivot duality from the positive-order estimate Resolvent adjoint transport to order minus two. The spectral-scale operator interpolation theorem applies to consistent bounded endpoint maps at arbitrary real scale indices Positive spectral Hilbert scale: duality and interpolation.

[F5]

On a bounded $C^{1}$ domain the $H^{1}$ trace is bounded and agrees with classical restriction for continuous Sobolev functions The Lᵖ trace operator on a bounded C¹ domain The trace agrees with classical restriction for continuous Sobolev functions. Here $H_{0}^{1} (Ω)$ is the $H^{1} (Ω)$ norm closure of $C_{c}^{\infty} (Ω; C)$ Zero-boundary Sobolev space as a norm closure; its Countable Choice hypothesis follows from the assumed Axiom of Choice. In particular, an $H_{0}^{1}$ function has zero trace by approximation with compactly supported smooth functions.

Proof

[F1] The geometry and nontrapping convention are those of Exterior and truncated obstacle domains and Non-trapping obstacle. The shifted Dirichlet scale satisfies $H_{D}^{4} = D ((I - Δ_{D})^{2})$ , and $D (Δ_{D}) = H^{2} (Ω) \cap H_{0}^{1} (Ω)$ Dirichlet spectral Sobolev scale and duality. These suppliers retain the assumed The Axiom of Choice.

[F2] Under these hypotheses, the imported input gives the high- and low-frequency $L^{2}$ bounds for nonnegative smooth compactly supported cutoffs and the uniform $H_{D}^{s} \to H_{D}^{s + 1}$ bound for $- 1 \leq s \leq 1$ Nontrapping cutoff resolvent estimates. Its source records the role of nontrapping at high frequency and the nonempty obstacle at low frequency.

[F3] Smooth compactly supported multipliers are bounded on $H_{D}^{t}$ for $- 2 \leq t \leq 2$ Endpoint multiplier bounds extended to negative spectral orders. A smooth nonnegative function equal to one on any prescribed compact set exists by the concentric-ball bump construction A smooth bump between concentric Euclidean balls. The resulting real-cutoff estimate is also stated in Proposition 2.1: cut-off resolvent estimate.

[F4] For real smooth compactly supported cutoffs, the uniform endpoint bound $K_{z} : H_{D}^{- 2} \to H_{D}^{- 1}$ follows by pivot duality from the positive-order estimate Resolvent adjoint transport to order minus two. The spectral-scale operator interpolation theorem applies to consistent bounded endpoint maps at arbitrary real scale indices Positive spectral Hilbert scale: duality and interpolation.

[F5] On a bounded $C^{1}$ domain the $H^{1}$ trace is bounded and agrees with classical restriction for continuous Sobolev functions The Lᵖ trace operator on a bounded C¹ domain The trace agrees with classical restriction for continuous Sobolev functions. Here $H_{0}^{1} (Ω)$ is the $H^{1} (Ω)$ norm closure of $C_{c}^{\infty} (Ω; C)$ Zero-boundary Sobolev space as a norm closure; its Countable Choice hypothesis follows from the assumed Axiom of Choice. In particular, an $H_{0}^{1}$ function has zero trace by approximation with compactly supported smooth functions.

Given: The obstacle, scale, cutoff and parameters in the Statement.

Goal: Explain the frequency and cutoff assertions, the negative extension, and the higher-order compatibility obstruction.

1.1F1F2F3givenchoose

Choose a nonnegative smooth compactly supported $ρ$ equal to one on $supp χ$ . Then $χ ρ = ρ χ = χ$ . For $- 1 \leq s \leq 1$ , both $s$ and $s + 1$ lie in $[- 2, 2]$ . The identity $K_{z} = M_{χ} [ρ (- Δ_{D} - z)^{- 1} ρ] M_{χ}$ on $L^{2}$ , the imported nonnegative-cutoff estimate, and the two multiplier bounds give the real-cutoff estimate by bounded extension. The same composition transfers the stated high- and low-frequency $L^{2}$ bounds, with constants depending on $χ$ and $ρ$ . Their geometric and parameter hypotheses remain those in [F1]–[F2].

1.2F1F5given

If $u \in H_{D}^{4}$ , the domain-of-a-square definition gives $u \in D (Δ_{D})$ and $(I - Δ_{D}) u \in D (Δ_{D})$ ; hence $Δ_{D} u \in D (Δ_{D}) \subset H_{0}^{1} (Ω)$ . Localize near the compact obstacle boundary inside a bounded smooth truncation. Restricting the $C_{c}^{\infty} (Ω; C)$ approximants supplied by Zero-boundary Sobolev space as a norm closure and applying continuity of the trace shows that the obstacle-boundary trace of $Δ u$ is zero. For $s \geq 3$ , spectral-scale nesting gives $H_{D}^{s + 1} \subset H_{D}^{4}$ , so the same necessary condition applies.

2.1F4step 1.1

The negative endpoint in [F4] is uniform in the same parameters, while step 1.1 supplies the endpoint $H_{D}^{- 1} \to H_{D}^{0}$ . Both extend the same $L^{2}$ resolvent expression, and are consistent on the common spectral core. Interpolating the endpoints yields $H_{D}^{s} \to H_{D}^{s + 1}$ uniformly for $- 2 \leq s \leq - 1$ .

3.1F1F5step 1.2construct∎

The condition can fail after multiplication. In $R^{3}$ take the closed unit ball as obstacle, set $r = ∣ x ∣$ , and choose a smooth radial function $η$ supported in a small annulus about $r = 1$ and equal to one near $r = 1$ . Put $u = η (r) (1 - r^{- 1})$ on $r > 1$ and $χ = η (r) (r - 1)$ , extended smoothly by zero outside that annulus. Both $u$ and $Δ u$ are smooth and compactly supported up to the boundary and vanish there: near $r = 1$ , $Δ (1 - r^{- 1}) = 0$ . Their zero boundary values give membership in $H_{0}^{1}$ by a cutoff in a shrinking boundary collar and the closure definition Zero-boundary Sobolev space as a norm closure, while smoothness supplies $H^{2}$ membership; thus $u, Δ u \in D (Δ_{D})$ and $u \in H_{D}^{4}$ . Near the sphere, $χ u = (r - 1)^{2} / r = r - 2 + r^{- 1}$ , whose three-dimensional radial Laplacian is $2 / r$ ; its boundary trace is therefore $2$ . By step 1.2, $χ u \notin H_{D}^{4}$ . This establishes the claimed obstruction.

Source notes

The original article is cited for the remark and its placement after Proposition 2.1, not as proof of the claims. The frequency bounds and their source reading limits are recorded in the independent imported supplier. The negative extension above states the full interval obtained from its endpoint and interpolation; the article defers that extension to its Lemma 4.1.

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