[Paper Review] $L^p$-improving estimates for averages on polynomial curves

Philip T. Gressman|ArXiv.org|Dec 13, 2008

Meromorphic and Entire Functions21 references3 citations

TL;DR

This paper establishes a novel $L^1(\mu)$-norm inequality for polynomial-type functions on the real line, proving the existence of a universal interval $I$ independent of the polynomial for which a lower bound on the $L^1$-norm can be controlled by the supremum of a derivative. This result enables the extension of Tao and Wright's $L^p$-improving estimates to endpoint restricted weak-type bounds for averaging operators over polynomial curves, resolving a gap in prior work by removing the need for structural assumptions on the averaging set.

ABSTRACT

In the combinatorial method proving of $L^p$-improving estimates for averages along curves pioneered by Christ (IMRN, 1998), it is desirable to estimate the average modulus (with respect to some uniform measure on a set) of a polynomial-like function from below using only the value of the function or its derivatives at some prescribed point. In this paper, it is shown that there is always a relatively large set of points (independent of the particular function to be integrated) for which such estimates are possible. Inequalities of this type are then applied to extend the results of Tao and Wright (JAMS, 2003) to obtain endpoint restricted weak-type estimates for averages over curves given by polynomials.

Motivation & Objective

• To establish a universal lower bound for the $L^1$-norm of polynomial-type functions in terms of the supremum of a derivative over a fixed interval, independent of the specific polynomial.
• To remove structural assumptions—such as central sets of width $w$—previously required in $L^p$-improving estimates for Radon-like operators.
• To extend Tao and Wright's $L^p$-improving results to the full range of restricted weak-type estimates at the endpoint of the type set.
• To prove that the Jacobian determinant of the exponential map associated with polynomial curve flows is a polynomial function of the parameters, ensuring regularity for sublevel set analysis.

Proposed method

• Derives a universal interval $I$ of measure at least $\frac{1-\epsilon}{n}|K|$ within any measurable set $K$ such that the $L^1$-norm of any degree-$n$ polynomial $p$ satisfies $\int_K |p(t)|dt \geq c_{n,\epsilon}|K|^{j+1}\sup_{t\in I}|p^{(j)}(t)|$.
• Applies this inequality to the combinatorial framework of Christ [6] and Tao and Wright [27], enabling the removal of structural constraints on the averaging set $K$.
• Uses the vanishing commutator condition on vector fields $X_1, X_2$ to ensure that the exponential map $\Phi_{x_0}(t)$ parametrizes polynomial curves via flows of lifted vector fields with polynomial coefficients.
• Shows that the Jacobian determinant $J_{x_0}(t)$ is a polynomial in the parameters $t$ by transporting tangent vectors back to the base point and using multilinearity of the determinant.
• Constructs a lifting of the vector fields $X_1$ and $X_2$ to $\mathbb{R}^\mathcal{N}$ using Taylor series of the exponential map and commutator expansions involving Bernoulli numbers.
• Uses the implicit function theorem and dimension counting to show that fibers of the exponential map are smoothly parametrized by polynomial flows, ensuring finite multiplicity of solutions.

Experimental results

Research questions

• RQ1 Can a universal interval $I$ be found, independent of the polynomial $p$, such that the $L^1$-norm of $p$ on a measurable set $K$ is bounded below by a multiple of the $j$-th derivative of $p$ on $I$?
• RQ2 Does the absence of structural assumptions on the averaging set $K$ (e.g., being a central set of width $w$) still allow for $L^p$-improving estimates in the framework of Tao and Wright?
• RQ3 Under what conditions is the Jacobian determinant of the exponential map along polynomial curves a polynomial function of the parameters?
• RQ4 Can restricted weak-type estimates for Radon-like operators associated with polynomial curves be established at the endpoint of the type set, without exponent losses?

Key findings

• For any measurable set $K \subset \mathbb{R}$, any $n \in \mathbb{N}$, and $0 < \epsilon < 1$, there exists an interval $I$ with $|K \cap I| \geq \frac{1-\epsilon}{n}|K|$ such that $\int_K |p(t)|dt \geq c_{n,\epsilon}|K|^{j+1}\sup_{t\in I}|p^{(j)}(t)|$ for all polynomials $p$ of degree at most $n$ and all $j = 0,\dots,n$.
• The existence of such a universal interval $I$ independent of $p$ is surprising and nontrivial, as counterexamples exist when $\epsilon = 0$.
• The Jacobian determinant $J_{x_0}(t)$ of the exponential map $\Phi_{x_0}(t)$ is a polynomial in the parameters $t$, due to the polynomial dependence of transported tangent vectors on $t$.
• The vector fields lifting $X_1$ and $X_2$ to $\mathbb{R}^\mathcal{N}$ have coefficients that are polynomials in the parameters $s_w$, ensuring that their integral curves are polynomial maps.
• The fibers of the exponential map $\varphi(s)$ are smoothly parametrized by polynomial flows, with the differential of the parametrization being surjective due to the curvature condition.
• The main result extends Tao and Wright's $L^p$-improving estimates to the full restricted weak-type endpoint estimates by removing the need for $K$ to be a central set of width $w$, thus achieving sharp bounds.