Alphabeta Math
RemarkRemark: 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.

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 ∥u(t)∥X≤Ce−ct∥u(0)∥X on a specified solution class, with C,c>0 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, d≥2 is the ambient Euclidean dimension. Their theorem estimates the local L2 norm in a bounded portion of the exterior by a constant times t−d/2 and the initial L2 norm, for sufficiently large time and initial data supported in a fixed bounded region. Local energy here refers to that local L2 norm; the statement is not a global exponential decay estimate.

The article reports that Bortot and Cavalcanti obtained exponential L2 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

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

Stabilization of Schrödinger equation in exterior domains · Introduction, ambient-dimension convention, equation (0.5), Definition 1 and Theorem 2, printed pages 570–572

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.

Asymptotic Stability for the Damped Schrödinger Equation on Noncompact Riemannian Manifolds and Exterior Domains · Publisher abstract

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