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.
Schwartz derivatives are integrable
Statement
Assume countable choice. If , then for every and every . Its norm is bounded by a finite sum of Schwartz seminorms.
Facts & Assumptions
Given: The seminorms in Schwartz space and its seminorms and countable choice (The Axiom of Countable Choice ()).
Tonelli applies to nonnegative product-measurable functions on sigma-finite spaces (Tonelli's theorem for nonnegative measurable functions on a sigma-finite product).
Under countable choice, agrees with on Borel subsets of for positive integers (On Borel subsets of , the product agrees with ).
Proof
Put and . Expanding the product and taking absolute values gives . Also . Each factor has integral at most : its integral on is at most , while on it contributes at most ; the sum for is . All functions are continuous and hence Borel measurable. For this proves . For , [F2] identifies integration of this Borel function against with integration against ; induction on and [F1] therefore give .
For , step 1.1 gives and . If , integrating gives . When , and this conclusion holds directly. This treats both endpoint spaces and every intermediate exponent.
Depends on
Used by
- Schwartz convolution and product laws Corollary
- Carleson operator and measurable linearisation Definition
- Carleson tiles wave packets and tile order Definition
- The Littlewood-Paley square function Definition
- Translation-invariant Fourier multiplier on the Schwartz core Definition
- A nonzero Schwartz function invisible to a limited-angle Radon transform Example
- Translation and differentiation symbols Example
- Bessel potentials shift Sobolev order Lemma
- Calderon reproducing pair and the telescoping identity in S' Lemma
- Centring by translation and modulation preserves the variance product Lemma
- Dilations and their normalisations preserve Schwartz space, with scaling identities Lemma
- Dyadic pieces have annular Fourier support and uniformly bounded rescaled kernels Lemma
- Fourier coefficients of a lattice periodisation Lemma
- Fourier pairing for a finite measure and Schwartz data Lemma
- Fourier-slice identity for Schwartz inputs Lemma
- Graph-patch extension family: dispersive and L2 slice bounds Lemma
- Schwartz approximate identities converge in the sense of tempered distributions Lemma
- Schwartz space is dense in L2 Lemma
- Stein-Tomas TT-star bound from fractional integration Lemma
- The Hilbert transform is the tempered convolution with pv(1/(pi x)) and has signum Fourier multiplier Lemma
- For 0<p<1 the Hᵖ functional is a quasi-norm, and Hᵖ is a quasi-Banach space Remark
- Fourier inversion on Schwartz space Theorem
- Fourier transform acts continuously on Schwartz space Theorem
- Heisenberg uncertainty and Gaussian equality Theorem
- Parseval pairing on Schwartz space Theorem
- Poisson summation for a full-rank lattice Theorem
- Poisson summation for Schwartz functions Theorem
Dependency tree · two levels
22 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
- Semyon Dyatlov, MIT 18.155 (2022) (standard reference, not scraped)