theoremnovelstructure_uncertain

Local smoothing for symmetric pencil waves

Pencil waves obey

L^{p_c}

smoothing with loss

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

the headline result of the appendix

Theorem·thm:pencil·§E Curved characteristic sheets of symmetric systems

Statement (paper)

Let

C_1,\ldots,C_n

be real symmetric

n\times n

matrices,

n\ge2

, and put

C(\xi)=\sum_{j=1}^n\xi_jC_j

and

\phi(\xi)=\lambda_{\max}(C(\xi))

. Suppose that on an open cone

\Gamma\subset\RR^n\setminus\{0\}

this eigenvalue is simple and

D^2\phi(\xi)

is positive definite on

\xi^\perp

. For every

b\in C_c^\infty(\Gamma)

0<h\le1

and Schwartz function

f

\RR^n

\|e^{-\mathrm iT\phi(D)}b(hD)f\|_{L^{p_c}(\RR^n\times[1,2])} \le C_b[\log(2/h)]^{2/p_c}\|f\|_{L^{p_c}(\RR^n)},\qquad p_c=\frac{2n}{n-1}.

The constant may depend on the pencil. The same assertion holds for a simple smallest eigenvalue with negative definite transverse Hessian.

In plain English

For real symmetric matrices

C_1,\ldots,C_n

with

\phi(\xi)=\lambda_{\max}(C(\xi))

simple and with positive definite transverse Hessian on an open cone

\Gamma

, the wave

e^{-\mathrm iT\phi(D)}b(hD)f

obeys an

L^{p_c}(\RR^n\times[1,2])

estimate with

p_c=2n/(n-1)

. The bound is

C_b[\log(2/h)]^{2/p_c}\|f\|_{L^{p_c}}

for

b\in C_c^\infty(\Gamma)

0<h\le1

and Schwartz

f

. The same holds for a simple smallest eigenvalue with negative definite transverse Hessian.

Why it's here

This is the theorem of the appendix: a sharp-exponent square-function-free local smoothing estimate with only a logarithmic loss, for waves whose characteristic sheet is curved but comes from a symmetric system rather than the Euclidean cone. It is proved through the chain of claims: the polarization chart, a conserved positive current, a determinant-energy barrier argument giving a periodic cap estimate, and finally a rescaling argument that removes the periodicity.

Classified novel:

A local smoothing estimate at the critical exponent p_c=2n/(n-1) with only a logarithmic loss, for curved characteristic sheets of symmetric pencils, has no prior analogue; it goes beyond the known decoupling-based ε-loss local smoothing (Guth–Wang–Zhang for the Euclidean cone). Its proof rests on the paper's own polarization chart, conserved positive current and determinant-energy barrier argument.

Uses

Nothing else in the paper

Used by

Nothing in the paper

Inside the proof

claimPolarization is a local angular coordinateclaimFiber chart and geometric boundsclaimConserved current with Gaussian multiplier symbolsclaimDeterminant energy and balance on pencil fibersclaimWall decay and interior lower boundclaimEnergy bounds give the torus cap estimateclaimPeriodic cap estimate gives Euclidean pencil estimate

Sources

PaperOpen

Section: §E Curved characteristic sheets of symmetric systems
Page: —
Label: thm:pencil
Line: sections/pencil.tex:11

Leannot aligned

Phase 2 aligns this node to a Lean declaration.

Friction

info
structure_uncertain
Proved in §§E.1-E.3 (sections/pencil.tex 50-299) without a proof environment; §E.4 is a separate lower-bound discussion, not part of the proof.