An optimal trace estimate for microlocal square functions on quadratic surfaces

Fuente: arXiv
Gespeichert in:
Bibliographische Detailangaben
1. Verfasser: Vergara, Vicente
Format: Preprint
Veröffentlicht: 2026
Schlagworte:
Online-Zugang:
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
_version_ 1866917466654900224
author Vergara, Vicente
author_facet Vergara, Vicente
contents We study a local trace estimate for the microlocal angular square function \[ G_R f := \left(\sum_Θ|f_Θ|^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 \[ μ_Q=χ\, H^2\lfloor S_Q, \] where $χ\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(λ_1u_1^2+λ_2u_2^2), \qquad λ_1λ_2 >0. \] Writing $ρ=R^{-1/2}$, we prove \[ \| G_R f\|_{L^2(\mathrm dμ_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 $ρ$ and $S_Q$: the relevant surface measure is $\simρ^{3/2}$, whereas an $L^2$-normalized wave packet has quadratic size $\simρ^{-2}$. Thus the optimal quadratic cost is $ρ^{-1/2}$, producing the norm factor $ρ^{-1/4}=R^{1/8}$.
format Preprint
id arxiv_https___arxiv_org_abs_2605_05422
institution arXiv
publishDate 2026
record_format arxiv
spellingShingle An optimal trace estimate for microlocal square functions on quadratic surfaces
Vergara, Vicente
Analysis of PDEs
Functional Analysis
Primary 42B15, Secondary 42B20, 42B25, 35S30
We study a local trace estimate for the microlocal angular square function \[ G_R f := \left(\sum_Θ|f_Θ|^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 \[ μ_Q=χ\, H^2\lfloor S_Q, \] where $χ\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(λ_1u_1^2+λ_2u_2^2), \qquad λ_1λ_2 >0. \] Writing $ρ=R^{-1/2}$, we prove \[ \| G_R f\|_{L^2(\mathrm dμ_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 $ρ$ and $S_Q$: the relevant surface measure is $\simρ^{3/2}$, whereas an $L^2$-normalized wave packet has quadratic size $\simρ^{-2}$. Thus the optimal quadratic cost is $ρ^{-1/2}$, producing the norm factor $ρ^{-1/4}=R^{1/8}$.
title An optimal trace estimate for microlocal square functions on quadratic surfaces
topic Analysis of PDEs
Functional Analysis
Primary 42B15, Secondary 42B20, 42B25, 35S30
url https://arxiv.org/abs/2605.05422