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.
Dyadic pieces are uniformly Mihlin multipliers and uniformly Lp-bounded
Statement
Assume Countable Choice (The Axiom of Countable Choice ()). For every the symbol of The inhomogeneous dyadic frequency partition and its Littlewood-Paley operators is a Mihlin symbol in the sense of Mihlin smoothness convention above half the dimension, with constants for that do not depend on ; the same holds for the companion symbols . Consequently, for every the multiplier operators and extend uniquely to bounded operators on with for all and all ; on the extensions agree with the convolution representatives , . In particular each is well defined on as an honest function given by that convolution.
Facts & Assumptions
Given: the fixed partition with companions and kernels of The inhomogeneous dyadic frequency partition and its Littlewood-Paley operators; the exponent of Mihlin smoothness convention above half the dimension; a real .
and, for every multi-index , for and all , with ; moreover for and (Existence of a smooth inhomogeneous dyadic frequency partition).
and for , ; hence all derivatives of vanish for (Existence of a smooth inhomogeneous dyadic frequency partition).
Mihlin's theorem: if is a Mihlin symbol with constants , , then is an Fourier multiplier for and (The Mihlin–Hörmander Fourier multiplier theorem, Lp Fourier multiplier and its norm, Translation-invariant Fourier multiplier on the Schwartz core).
For the tempered distribution is the regular distribution of the convolution , and with uniformly; hence is a bounded operator on with norm at most , and the compactly supported smooth functions are dense in for finite , so bounded operators agreeing on agree everywhere by uniqueness of the bounded extension (The inhomogeneous dyadic frequency partition and its Littlewood-Paley operators, Dyadic pieces have annular Fourier support and uniformly bounded rescaled kernels, Young's convolution inequality under Countable Choice, Complex finite-simple and smooth compact-support density for finite p, A bounded linear map from a dense normed subspace into a Banach space extends uniquely with the same norm).
Proof
Uniform Mihlin constants. Fix a multi-index with . For and , [F1] and [F2] give , and for the same bound holds with constant : for one has so the bound follows from , while for all derivatives of vanish by [F2]. Hence is a Mihlin symbol with constants for every . For the companions, for (each summand satisfying the same bound, with for ), so the constants are uniform in as well.
Uniform multiplier bounds. By step 1.1 the symbols are Mihlin symbols with constants bounded by the -independent numbers and , and for both. [F3] therefore makes each of them an Fourier multiplier with and , uniformly in , and the corresponding operators act boundedly on by the definition of the multiplier norm.
The extension is the convolution. Fix . On the operator agrees with the convolution representative by [F4], and the convolution operator is bounded on with norm at most by Young's inequality [F4]; since is dense in ( finite) and the bounded extension of is unique, the multiplier operator equals the convolution operator, so for every the class has the honest representative and ; the same argument applies to .
Conclusion. Steps 1.1 and 2.1 give the uniform Mihlin property and the uniform multiplier bounds, and step 3.1 identifies the extensions with the convolution representatives; the asserted inequalities follow with a constant depending only on (absorbing and the bound, and enlarging it for the companions).
Depends on
- Existence of a smooth inhomogeneous dyadic frequency partition
- The inhomogeneous dyadic frequency partition and its Littlewood-Paley operators
- Dyadic pieces have annular Fourier support and uniformly bounded rescaled kernels
- Mihlin smoothness convention above half the dimension
- The Mihlin–Hörmander Fourier multiplier theorem
- Lp Fourier multiplier and its norm
- Translation-invariant Fourier multiplier on the Schwartz core
- Complex finite-simple and smooth compact-support density for finite p
- A bounded linear map from a dense normed subspace into a Banach space extends uniquely with the same norm
- Young's convolution inequality under Countable Choice
- The Axiom of Countable Choice ($\mathrm{AC}_\omega$)
Used by
Dependency tree · two levels
78 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
- Loukas Grafakos, Classical Fourier Analysis, 3rd ed. (Springer GTM 249) (standard reference, not scraped)
- Mark Williams, Notes on Harmonic Analysis (January 11, 2022) (standard reference, not scraped)
- Terence Tao, Math 247A Lecture Notes 4 (UCLA, Fall 2006) (standard reference, not scraped)