Alphabeta Math
LemmaStatement: Literature-sourcedProof: AI-adaptedPipeline-generated
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 (ACω)). For every j≥0 the symbol φj 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 Cα≤Aα(n,ψ) for ∣α∣≤⌊n/2⌋+1 that do not depend on j; the same holds for the companion symbols φ~j. Consequently, for every 1<p<∞ the multiplier operators Δj and Δ~j extend uniquely to bounded operators on Lp(Rn;C) with ∥Δjf∥p≤Cn,ψmax⁡(p,(p−1)−1)∥f∥p,∥Δ~jf∥p≤Cn,ψ′max⁡(p,(p−1)−1)∥f∥p for all f∈Lp and all j≥0; on S the extensions agree with the convolution representatives f∗Kj, f∗K~j. In particular each Δj is well defined on Lp as an honest function given by that convolution.

Facts & Assumptions

Given: the fixed partition (φj) with companions (φ~j) and kernels Kj,K~j of The inhomogeneous dyadic frequency partition and its Littlewood-Paley operators; the exponent q:=⌊n/2⌋+1 of Mihlin smoothness convention above half the dimension; a real 1<p<∞.

[F1]

φj,φ~j∈Cc∞(Rn) and, for every multi-index α, ∣∂αφj(ξ)∣≤Cα2−j∣α∣ for j≥1 and all ξ, with ∣∂αφ0(ξ)∣≤Cα; moreover ∣∂αφj(ξ)∣≤2∣α∣Cα∣ξ∣−∣α∣ for j≥1 and ξ≠0 (Existence of a smooth inhomogeneous dyadic frequency partition).

[F2]

supp⁡ψ⊂{∣ξ∣<2} and supp⁡φj⊂{2j−1≤∣ξ∣≤2j+1} for j≥1, supp⁡φ0⊂{∣ξ∣≤2}; hence all derivatives of φ0 vanish for ∣ξ∣≥2 (Existence of a smooth inhomogeneous dyadic frequency partition).

[F3]

Mihlin's theorem: if m is a Mihlin symbol with constants Cα, A:=max⁡∣α∣≤qCα, then m is an Lp Fourier multiplier for 1<p<∞ and ∥m∥Mp≤Cnmax⁡(p,(p−1)−1)(A+∥m∥∞) (The Mihlin–Hörmander Fourier multiplier theorem, Lp Fourier multiplier and its norm, Translation-invariant Fourier multiplier on the Schwartz core).

[F4]

For f∈S the tempered distribution Tφjf is the regular distribution of the convolution f∗Kj, and Kj∈L1 with ∥Kj∥1≤C uniformly; hence f↦f∗Kj is a bounded operator on Lp with norm at most C, and the compactly supported smooth functions are dense in Lp for finite p, so bounded operators agreeing on S 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

technique · direct
1.1F1F2algebra

Uniform Mihlin constants. Fix a multi-index α with ∣α∣≤q. For j≥1 and ξ≠0, [F1] and [F2] give ∣∂αφj(ξ)∣≤2∣α∣Cα∣ξ∣−∣α∣, and for j=0 the same bound holds with constant 2∣α∣Cα: for ∣ξ∣<2 one has 2∣α∣∣ξ∣−∣α∣≥1 so the bound follows from ∣∂αφ0∣≤Cα, while for ∣ξ∣≥2 all derivatives of φ0 vanish by [F2]. Hence φj is a Mihlin symbol with constants Aα:=2∣α∣Cα for every j≥0. For the companions, ∣∂αφ~j∣≤∣∂αφj−1∣+∣∂αφj∣+∣∂αφj+1∣≤3Aα∣ξ∣−∣α∣ for ξ≠0 (each summand satisfying the same bound, with φ−1=0 for j=0), so the constants Aα′:=3Aα are uniform in j as well.

2.1F3step 1.1algebra

Uniform Lp multiplier bounds. By step 1.1 the symbols φj,φ~j are Mihlin symbols with constants bounded by the j-independent numbers A:=max⁡∣α∣≤qAα and A′=max⁡∣α∣≤qAα′, and ∣m∣≤∥m∥∞≤1 for both. [F3] therefore makes each of them an Lp Fourier multiplier with ∥φj∥Mp≤Cnmax⁡(p,(p−1)−1)(A+1) and ∥φ~j∥Mp≤Cnmax⁡(p,(p−1)−1)(A′+1), uniformly in j, and the corresponding operators Tφj,Tφ~j act boundedly on Lp by the definition of the multiplier norm.

3.1F4step 2.1algebra

The extension is the convolution. Fix j≥0. On S the operator Tφj agrees with the convolution representative f↦f∗Kj by [F4], and the convolution operator is bounded on Lp with norm at most C by Young's inequality [F4]; since S is dense in Lp (p finite) and the bounded extension of Tφj is unique, the Lp multiplier operator equals the convolution operator, so for every f∈Lp the class Δjf has the honest representative f∗Kj and ∥Δjf∥p≤C∥f∥p; the same argument applies to K~j.

4.1step 1.1step 2.1step 3.1∎

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 Cn,ψ a constant depending only on n,ψ (absorbing Cn(A+1) and the L1 bound, and enlarging it for the companions).

Depends on

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