An optimal trace estimate for microlocal square functions on quadratic surfaces

TL;DR

This paper establishes a sharp local trace estimate for a microlocal square function associated with quadratic surfaces, revealing the precise failure of uniform bounds in a specific elliptic quadratic model.

Contribution

It provides the optimal R-dependent bound for the microlocal angular square function on quadratic surfaces, demonstrating the sharpness via wave packet analysis.

Findings

Proves a bound of  G_R f _{L^2( ext{measure})} \u2264 R^{1/8}  f _{L^2}

Shows the R^{1/8} factor is sharp in the elliptic quadratic model

Identifies the geometric reason for the failure of uniform trace bounds in this setting.

Abstract

We study a local trace estimate for the microlocal angular square function \[ G_R f := \left(\sum_\Theta |f_\Theta|^2\right)^{1/2} \] associated with a parabolic decomposition of the frequency annulus of radius $R$ in $\mathbb{R}^3$. The measure under consideration is \[ \mu_Q=\chi\, H^2\lfloor S_Q, \] where $\chi\in L^\infty(S_Q)$ is a measurable nonnegative density compactly supported in the patch, and \[ S_Q=\{(u_1,u_2,Q(u_1,u_2)):u\in U\}, \qquad Q(u_1,u_2)=\frac12(\lambda_1u_1^2+\lambda_2u_2^2), \qquad \lambda_1\lambda_2 >0. \] Writing $\rho=R^{-1/2}$, we prove \[ \| G_R f\|_{L^2(\mathrm d\mu_Q)} \lesssim R^{1/8}\|f\|_{L^2(\mathbb R^3)}. \] Under local positivity of the density near the tangency point, the factor $R^{1/8}$ is attained by a tangent wave packet test and hence cannot be improved within this elliptic quadratic model, at this parabolic scale and for this angular square function. In particular, it measures the failure of a trace bound uniform in $R$ within this class. Its source is the extreme tangential interaction between a tube of radius $\rho$ and $S_Q$: the relevant surface measure is $\sim\rho^{3/2}$, whereas an $L^2$-normalized wave packet has quadratic size $\sim\rho^{-2}$. Thus the optimal quadratic cost is $\rho^{-1/2}$, producing the norm factor $\rho^{-1/4}=R^{1/8}$.