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 two-dimensional pulse has a tail inside the cone
Example
Assume the Axiom of Countable Choice. Let , , , and let be nonnegative and not identically zero with support in ; let be the Poisson solution with data (Poisson's formula in two dimensions by descent). Then for every
The centre of the forward cone keeps seeing the pulse after the front has passed: the two-dimensional pulse has a tail inside the cone, in contrast with the quiet three-dimensional interior of A three-dimensional spherical pulse leaves a quiet interior.
Facts & Assumptions
Given: ; , , , and a nonnegative , , supported in ; the Poisson solution with data .
Poisson's formula for data : for . (Poisson's formula in two dimensions by descent)
In dimension two, strong Huygens fails: admissible data supported strictly inside the base disk can affect the value at its vertex. (Wave tails in one and even spatial dimensions: strong Huygens fails)
The nonnegative integral is monotone and positively homogeneous, and has value zero exactly for a function vanishing almost everywhere. A continuous function positive at a point is bounded below by a positive constant on a smaller ball, whose measure is positive. (Monotonicity and nonnegative homogeneity of the nonnegative integral, A nonnegative measurable function has integral exactly when it vanishes almost everywhere, Sphere and ball measures scale in Rn)
Verification
The value at the centre: setting in [F1] gives the displayed formula , the integrand being defined and continuous on the open disk because there.
Positivity: if then , and on that closed support ball gives , hence the weight . Since is continuous and nonzero, it is positive on a nonempty open subset of , so [F3] gives and the displayed integral is at least ; this shows that the centre still sees a positive displacement at every time after the front has passed beyond the support, that is, for .
The tail is carried by the interior: for the data are supported strictly inside and vanish near its boundary, yet step 2.1 gives . This is the interior tail and illustrates the failure of sphere-only dependence in [F2].
Depends on
- The Axiom of Countable Choice ($\mathrm{AC}_\omega$)
- Wave tails in one and even spatial dimensions: strong Huygens fails
- Poisson's formula in two dimensions by descent
- The Lebesgue integral is linear on $L^1(\mu)$
- The support of a function on $\mathbb{R}^n$ and its compactly supported Riemann integral
- A nonnegative measurable function has integral $0$ exactly when it vanishes almost everywhere
- Monotonicity and nonnegative homogeneity of the nonnegative integral
- Sphere and ball measures scale in Rn
Used by
Nothing in the library uses this result yet.
Dependency tree · two levels
49 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
- Gerald Teschl, Partial Differential Equations: From Classical to Modern (2025 archived author manuscript, AMS Graduate Studies in Mathematics) (standard reference, not scraped)
- Victor Ivrii, Partial Differential Equations (University of Toronto, 2018, CC BY-SA) (standard reference, not scraped)