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.
A weakly damped truncated layer can produce a resonant cavity response
Example
Consider the one-dimensional interval with Dirichlet endpoints, source point , and a PML beginning at , so and with . For , , the Green function of at the source has magnitude When , is a nonzero homogeneous Dirichlet mode, so the real-frequency problem is resonant. This is a single interval example, not a universal stability claim about PMLs.
Facts & Assumptions
Given: , integer , the stretched coordinate [F1], and the scalar Helmholtz Green equation [A1].
Cartesian complex-stretch PML for a homogeneous Helmholtz mode: the coordinate is with and .
Exact reflected-mode error from a finite Dirichlet-terminated PML: a finite Dirichlet-terminated layer has two-way reflected amplitude magnitude for a propagating mode .
On a stretched interval of endpoint with Dirichlet conditions, the Green function solves and has derivative jump .
Verification
Given: The interval data and [F1]–[F2], [A1].
Parameterize the stretched contour by the real physical coordinate . For a source at , set , , and , . The functions and solve the homogeneous equation and vanish at the respective endpoints; their Wronskian in the order is the constant . Thus has the endpoint conditions and solves the homogeneous equation away from . The real parameter orders the two sides of the contour, and the one-sided derivatives in the contour coordinate satisfy , as required by [A1].
At , , and , the numerator magnitude is and the denominator magnitude is ; this follows from and for integer and . Hence . Since and as , this is asymptotic to . At , and satisfies both homogeneous Dirichlet conditions, proving resonance. The same damping parameter in [F2] gives round-trip reflected amplitude , so the growing cavity response accompanies vanishing attenuation.
Depends on
Used by
Nothing in the library uses this result yet.
Dependency tree · two levels
3 results within two dependency steps of this one, each drawn at its shortest distance from it. An arrow runs from a result to what uses it, so the chart reads left to right and ends at this result, which carries a heavier outline. Every node is a link to that result. Click elsewhere on the chart to enlarge it.
Sources
- Steven G. Johnson, Notes on Perfectly Matched Layers (PMLs), §2 (standard reference, not scraped)