theoremnovelstructure_uncertain

Local smoothing on one frequency annulus

Bounds U(T)PNU(T)P_N on LpL^p at pcp_c with loss [log⁡(2+N)]2/p[\log(2+N)]^{2/p}
single-annulus estimate behind all the corollaries
Theorem·thm:main·§1.3 An estimate on one frequency annulus

Statement (paper)

Let n≥2n\ge2, p=pcp=\pc, and φ∈Cc∞(Rn∖{0})\varphi\in C_c^\infty(\RR^n\setminus\{0\}). For N≥2N\ge2 set PN=φ(D/N)P_N=\varphi(D/N). Then ∥U(T)PNf∥Lp(Rn×I)≤Cn,φ[log⁡(2+N)]2/p∥f∥Lp(Rn). \|U(T)P_N f\|_{L^p(\RR^n\times I)} \le C_{n,\varphi}[\log(2+N)]^{2/p}\|f\|_{L^p(\RR^n)} .

In plain English

For n≥2n\ge2 and p=pcp=p_c, the wave propagator U(T)U(T) applied to a function with frequencies in the annulus ∣ξ∣∼N|\xi|\sim N (cut off by PN=φ(D/N)P_N=\varphi(D/N)) satisfies ∥U(T)PNf∥Lp(Rn×I)≤Cn,φ[log⁡(2+N)]2/p∥f∥Lp(Rn)\|U(T)P_Nf\|_{L^p(\mathbb R^n\times I)}\le C_{n,\varphi}[\log(2+N)]^{2/p}\|f\|_{L^p(\mathbb R^n)}.

Why it's here

This is the paper's main estimate: at the critical exponent, local smoothing holds on a single dyadic annulus with only a logarithmic loss in NN. It rests on the periodic cap estimate, which supplies the [log⁡]2/p[\log]^{2/p} factor and is brought to Rn\mathbb R^n. The Euclidean local smoothing theorem, the logarithmic Sobolev corollary, and the extension and Kakeya corollaries then use it.
Classified novel:
The main new estimate: sharp local smoothing at the critical exponent p_c on a single frequency annulus, with only a [log N]^{2/p} loss. This improves the N^ε loss in the Guth–Wang–Zhang (n=2) and Bourgain–Demeter decoupling approaches, and is obtained by transferring the periodic cap estimate to R^n.

Uses

propPeriodic cap estimate with logarithmic loss

Used by

thmSobolev local smoothing for the wave equationcorLogarithmic Sobolev local smoothing estimatecorQuantitative extension and Kakeya boundscorGlobal spherical and cone extension estimatescorParaboloid extension and Schrödinger local smoothingpropAngular polynomial local smoothing boundlemLocal smoothing bound on small ballsclaimKakeya maximal estimate by dualityclaimLocal paraboloid extension with logarithmic lossclaimShell profile operator approximates propagatorclaimStrong bound for unselected angular bandsclaimPeriodic cap estimate gives Euclidean pencil estimate

Sources

PaperOpen
Section
§1.3 An estimate on one frequency annulus
Page
—
Label
thm:main
Line
sections/introduction.tex:97
Leannot aligned

Phase 2 aligns this node to a Lean declaration.

Friction

  • info
    structure_uncertain
    Appendix D (sections/planar.tex) gives an alternative proof of the n=2 case via a linear Dirichlet problem, reproving Proposition 5.1's inequalities for a planar energy; it has no statement of its own.