propositionnovel

Periodic cap estimate with logarithmic loss

Bounds periodic cap waves in

L^{p_c}

with loss

[\log(2/h)]^{2/p_c}

periodic estimate that the main theorem brings to Euclidean space

Proposition·prop:periodic-cap·§6 Propagation across a thin cylinder

Statement (paper)

On the spatial torus

\TT^n=\RR^n/(100\mathbb Z)^n

, let

f

have Fourier support in

c_0/h\le|\xi|\le C_0/h

0<h\le1

, and in one cap of the fixed aperture from Proposition . Then

\left(\int_1^2\|\U(T)f\|_{L^{\pc}(\TT^n)}^{\pc}\,dT\right)^{1/\pc} \ \le\ C\,[\log(2/h)]^{2/\pc}\|f\|_{L^{\pc}(\TT^n)} .

The constant is uniform in

h

and in the direction of the cap.

In plain English

On the torus

\TT^n=\RR^n/(100\mathbb Z)^n

, if

f

has frequencies in the annulus

c_0/h\le|\xi|\le C_0/h

and in one cap of the fixed aperture, then

\|\U(T)f\|_{L^{\pc}}

averaged over

T\in[1,2]

L^{\pc}

is at most

C[\log(2/h)]^{2/\pc}\|f\|_{L^{\pc}(\TT^n)}

. The constant is uniform in

h

and in the cap direction.

Why it's here

This is the local smoothing estimate in the periodic setting, with only a logarithmic loss, and it feeds the main annular estimate. It follows by combining the fixed-fiber energy barrier (small input at

|\tau|=4a

, large output at

|\tau|=2a

, exponentially small potential) with the thin-cylinder propagation lemma, which loses only a factor

D^{-2}

with

D\sim\log(1/h)

. That factor

D^{-2}

becomes the

[\log(2/h)]^{2/\pc}

loss after taking

\pc

-th roots.

Classified novel:

Local smoothing for the wave equation with only a logarithmic loss at the critical exponent goes well beyond the known results (Wolff, Bourgain–Demeter decoupling), which lose an epsilon power or stop short of the critical exponent. Here it comes from the paper's own new energy-barrier and thin-cylinder propagation mechanism, which is the paper's central new argument.

Uses

propEnergy barrier on a fixed fiberlemPropagation across a thin cylinder

Used by

thmLocal smoothing on one frequency annulusclaimEnergy bounds give the torus cap estimate

Sources

PaperOpen

Section: §6 Propagation across a thin cylinder
Page: —
Label: prop:periodic-cap
Line: sections/propagation.tex:126

Leannot aligned

Phase 2 aligns this node to a Lean declaration.