[Paper Review] Variational Carleson embeddings into the upper 3-space

Gennady Uraltsev|arXiv (Cornell University)|Oct 24, 2016

Advanced Harmonic Analysis Research4 citations

TL;DR

This paper introduces iterated outer $L^p$ spaces to prove boundedness of variational Carleson operators and their embeddings into time-frequency space $\mathbb{R} \times \mathbb{R} \times \mathbb{R}^+$. By extending the outer measure theory of [DT15] and incorporating multi-frequency Calderón-Zygmund methods, it establishes sharp $L^p$ bounds for $p \in (r, \infty)$, providing a unified framework that explains prior ad-hoc interpolation and enables sparse domination and weighted bounds.

ABSTRACT

In this paper we formulate embedding maps into time-frequency space related to the Carleson operator and its variational counterpart. We prove bounds for these embedding maps by iterating the outer measure theory of [DT15]. Introducing iterated outer $L^p$ spaces is a main novelty of this paper. [DT15] Yen Do and Christoph Thiele. "$L^p$ theory for outer measures and two themes of Lennart Carleson united". In: Bulletin of the American Mathematical Society 52.2 (2015), pp. 249-296.

Motivation & Objective

• To extend the outer measure $L^p$ theory of [DT15] to handle the full range $p \in (r, \infty)$ for variational Carleson operators.
• To formulate embedding maps into continuous time-frequency space $\mathbb{R} \times \mathbb{R} \times \mathbb{R}^+$ that capture the symmetry and structure of the Carleson operator.
• To provide a direct proof of $L^p$ boundedness for the variational Carleson operator in the range $p \in (r, \infty)$ using iterated outer norms, bypassing ad-hoc interpolation.
• To establish a foundation for future sparse domination and weighted bounds by embedding the bilinear form into outer measure spaces.

Proposed method

• Introduces iterated outer $L^p$ spaces as a novel framework to handle the spatial and frequency localization of embedded functions in time-frequency analysis.
• Uses wave-packet representations and continuous Littlewood-Paley decompositions to express the Carleson and variational Carleson operators as integrals over time-frequency tiles.
• Applies the energy and mass embedding maps $F(y,\eta,t) = f * \psi_{\eta,t}(y)$ and $\mathbb{A}(y,\eta,t)$ to represent the operator in terms of functions on $\mathbb{X} = \mathbb{R} \times \mathbb{R} \times \mathbb{R}^+$.
• Employs a locality lemma and projection lemma from [DPO15] to bootstrap non-iterated bounds into full iterated outer norm estimates.
• Combines multi-frequency Calderón-Zygmund theory from [NOT10] with the outer measure framework to control oscillatory integrals.
• Uses outer Hölder inequality to bound the trilinear form associated with the variational Carleson operator via $\|F\|_{L^p(S_e)}$ and $\|\mathbb{A}\|_{L^{p'}(S_m)}$.

Experimental results

Research questions

• RQ1 Can iterated outer $L^p$ spaces provide a direct proof of $L^p$ boundedness for the variational Carleson operator across the full range $p \in (r, \infty)$?
• RQ2 How can embedding maps into continuous time-frequency space improve upon discrete model operators in time-frequency analysis?
• RQ3 What is the role of iterated outer norms in capturing the spatial and frequency localization of embedded functions?
• RQ4 Can the embedding framework unify and explain prior ad-hoc interpolation techniques used in [Obe+12]?
• RQ5 How do the new outer norms facilitate future sparse domination and weighted bounds for the variational Carleson operator?

Key findings

• The paper proves $L^p$ boundedness of the variational Carleson operator for $p \in (r, \infty)$ using iterated outer $L^p$ spaces, providing a direct proof that explains prior interpolation techniques.
• The embedding of the Carleson operator into continuous time-frequency space $\mathbb{X} = \mathbb{R} \times \mathbb{R} \times \mathbb{R}^+$ avoids model-sum operators and averaging, offering a more versatile formulation.
• The energy embedding satisfies $\|F\|_{L^p(S_e)} \lesssim \|f\|_{L^p}$ for $p \in (2, \infty]$, and the variational mass embedding satisfies $\|\mathbb{A}\|_{L^{p'}(S_m)} \lesssim \|\mathfrak{a}\|_{L^{p'}(l^{r'})}$ for $p' \in (r', \infty]$, enabling outer Hölder estimates.
• The iterated outer norm framework allows for a clean bootstrap from non-iterated bounds via locality and projection lemmas, proving Theorems 1.2 and 1.3.
• The results imply all bounds for the discretized models used in [Obe+12], demonstrating the generality and strength of the continuous embedding approach.
• The framework paves the way for sparse domination and sharp weighted bounds, as future work by Di Plinio, Do, and Uraltsev will show, extending recent advances in [CDPO16] and [Lac15].