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.
Prior damped exterior Schrödinger results
PDF p. 3: opening paragraph, damping results
Statement
The article places its results alongside three earlier works. An exterior domain is the complement of a compact obstacle, with the smooth-boundary and connectedness conventions in Exterior and truncated obstacle domains. Damping means a term in an evolution equation that dissipates the relevant norm or energy; exponential stabilization means an estimate of the form on a specified solution class, with uniform on that class, as in Reachability and observation vocabulary for controlled evolutions.
Aloui and Khenissi obtained uniform local energy decay for a damped Dirichlet Schrödinger equation under exterior geometric control. In their setting this condition says that every trapped ray meets the region where the nonnegative damping coefficient is positive. In this result, is the ambient Euclidean dimension. Their theorem estimates the local norm in a bounded portion of the exterior by a constant times and the initial norm, for sufficiently large time and initial data supported in a fixed bounded region. Local energy here refers to that local norm; the statement is not a global exponential decay estimate.
The article reports that Bortot and Cavalcanti obtained exponential decay in the exterior of a non-trapping obstacle for damping, possibly nonlinear, effective outside a ball, using local smoothing and a compactness–uniqueness argument. Non-trapping is the ray escape condition in Non-trapping obstacle. Local smoothing refers to a space-time gain of local regularity for the relevant evolution; compactness–uniqueness denotes the strategy of extracting a limiting solution and ruling it out using a uniqueness property. These descriptions identify the reported ingredients, not a standalone estimate or a proof here.
The article also reports exponential stabilization of a damped defocusing nonlinear Schrödinger equation in two-dimensional exterior domains by Cavalcanti, Corrêa and Domingos Cavalcanti, for star-shaped obstacles and under a unique continuation assumption. Star-shaped means that there is a point in the obstacle from which the segment to every obstacle point remains in the obstacle. Defocusing identifies the sign of the nonlinear interaction in the cited equation; unique continuation is a property that vanishing on an appropriate open region forces vanishing on the larger connected region for solutions in a specified class. The precise equation, continuation hypothesis and solution class are those of that cited work.
Source notes
The article supplies the historical summary and attribution for all three claims. The first paper's displayed decay theorem and geometric-control definition were consulted independently. For the second, the publisher abstract was consulted only at the level recorded above. The third paper's full statement and proof were not independently read for this remark. No one of these background reports is used here as a premise for an article theorem.
Depends on
- Exterior and truncated obstacle domains
- Non-trapping obstacle
- Reachability and observation vocabulary for controlled evolutions
- Stabilization of Schrödinger equation in exterior domains · Introduction, ambient-dimension convention, equation (0.5), Definition 1 and Theorem 2, printed pages 570–572
- Asymptotic Stability for the Damped Schrödinger Equation on Noncompact Riemannian Manifolds and Exterior Domains · Publisher abstract
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
Under exterior geometric control, the stated damped Dirichlet Schrödinger problem has uniform polynomial local L2 decay for initial data supported in a fixed bounded region.
Hypotheses: Smooth exterior domain in dimension at least two; nonnegative smooth compactly supported damping; the set where damping is positive meets every trapped ray; compactly supported L2 initial data, as specified in the paper.
Reading limits: The introduction, definition and theorem statement were consulted; the proof was not independently checked.
The abstract reports uniform exponential L2-level decay for its nonlinear damped Schrödinger problem under nontrapping and damping assumptions, using unique continuation and local smoothing.
Hypotheses: The abstract specifies a connected complete noncompact nontrapping manifold and damping effective outside a bounded smooth region; the full paper supplies further precise hypotheses and its exterior-domain formulation.
Reading limits: Only the publisher abstract was available in the search result; the full theorem and proof were not read. The exterior-domain and compactness–uniqueness descriptions below are attributed to the article under study.
Sources
- Nonlinear Schrödinger equation in an exterior domain, v2 · PDF page 3, opening paragraph; references [1], [6], [14]
- Stabilization of Schrödinger equation in exterior domains · Introduction, ambient-dimension convention, equation (0.5), Definition 1 and Theorem 2, printed pages 570–572
- Asymptotic Stability for the Damped Schrödinger Equation on Noncompact Riemannian Manifolds and Exterior Domains · Publisher abstract