On Maximal Functions With Curvature

arXiv2003.13460MaRDI QIDQ6337673FDOQ6337673

Publication date: 30 March 2020

Abstract: We exhibit a class of "relatively curved"

v e c g a m m a (t) := (g a m m a_{1} (t), d o t s, g a m m a_{n} (t))

, so that the pertaining multi-linear maximal function satisfies the sharp range of H"{o}lder exponents, [ left| sup_{r > 0} frac{1}{r} int_{0}^r prod_{i=1}^n |f_i(x-gamma_i(t))| dt ight|_{L^p(mathbb{R})} leq C cdot prod_{i=1}^n | f_j |_{L^{p_j}(mathbb{R})} ] whenever

f r a c 1 p = s u m_{j = 1}^{n} f r a c 1 p_{j}

, where

p_{j} > 1

and

p g e q p_{v e c g a m m a}

, where

1 g e q p_{v e c g a m m a} > 1 / n

for certain curves. For instance,

p_{v e c g a m m a} = 1 / n^{+}

for the case of fractional monomials, [ vec{gamma}(t) = (t^{alpha_1},dots,t^{alpha_n}), ; ; ; alpha_1 < dots < alpha_n.] Two sample applications of our method are as follows: For any measurable

u_{1}, d o t s, u_{n} : m a t h b b R^{n} o m a t h b b R

, with

u_{i}

independent of the

i

th coordinate vector, and any relatively curved

v e c g a m m a

, [ lim_{r o 0} frac{1}{r} int_0^r F�ig(x_1 - u_1(x) cdot gamma_1(t),dots,x_n - u_n(x) cdot gamma_n(t) �ig) dt = F(x_1,dots,x_n), ; ; ; a.e. ] for every

F i n L^{p} (m a t h b b R^{n}), p > 1

. Every appropriately normalized set

A s u b s e t [0, 1]

of sufficiently large Hausdorff dimension contains the progression, [ { x, x-gamma_1(t),dots,x - gamma_n(t) } subset A, ] for some

t g e q c_{v e c g a m m a} > 0

strictly bounded away from zero, depending on

v e c g a m m a

.

This page was built for publication: On Maximal Functions With Curvature

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6337673)