Mixed-norm of orthogonal projections and analytic interpolation on dimensions of measures

TL;DR

This paper develops a systematic study of mixed-norm integrals involving orthogonal projections of measures, introduces the concept of s-amplitude, and applies analytic interpolation to improve existing results and discover new phenomena in measure projection theory.

Contribution

It introduces the s-amplitude as a new tool, improves previous projection results, and explores measure dimension thresholds and discontinuities in the context of orthogonal projections.

Findings

Improved bounds for projections when n=d-1 and p=q.

Discovered jump discontinuities at critical measure dimension sums.

Established new dimension thresholds for visibility and measure projections.

Abstract

Suppose $\mu, \nu$ are compactly supported Radon measures on $\mathbb{R}^d$ and $V\in G(d,n)$ is an $n$-dimensional subspace. In this paper we systematically study the mixed-norm $$\int\|\pi^y\mu\|_{L^p(G(d,n))}^q\,d\nu(y),\ \forall\,p,q\in[1,\infty),$$ where $\pi_V:\mathbb{R}^d\rightarrow V$ denotes the orthogonal projection and $$\pi^y\mu(V)=\int_{y+V^\perp}\mu\,d\mathcal{H}^{d-n}=\pi_V\mu(\pi_Vy),\ \text{if $\mu$ has continuous density}.$$ When $n=d-1$ and $p=q$, our result significantly improves a previous result of Orponen. In the proof we consider integer exponents first, then interpolate analytically, not only on $p,q$, but also on dimensions of measures. We also introduce a new quantity called $s$-amplitude, to present our results and illustrate our ideas. This mechanism provides new perspectives on operators with measures, thus has its own interest. We also give an alternative proof of a recent result of D\k{a}browski, Orponen, Villa on $\|\pi_V\mu\|_{L^p(\mathcal{H}^n\times G(d,n))}$. The following consequences are also interesting. $\bullet$ We discover jump discontinuities in the range of $p$ at the critical line segment $$\{(s_\mu, s_\nu)\in(0,d)^2: s_\mu+s_\nu=2n,\, 0<s_\nu<n\},$$ $\ \ $ where $s_\mu, s_\nu$ are Frostman exponents of $\mu, \nu$ respectiely. This is unexpected and surprising. $\bullet$ Given $1\leq m\leq d-1$ and $E, F\subset\mathbb{R}^d$, we obtain dimensional threshold on whether there exists $y\in F$ such that $$\gamma_{d,m}\{V\in G(d,m): V=\operatorname{Span}\{x_1-y,\dots,x_m-y\}: x_1,\dots,x_m\in E\}>0.$$ $\ \ $ This generalizes the visibility problem ($m=1$). In particular, when $m>\frac{d}{2}$ and $\dim_{\mathcal{H}} E$ is large enough, the exceptional set has Hausdorff dimension $0$.