Boundedness of maximal function related to the Monge-Ampère equation (Q2370746): Difference between revisions

Let \(\varphi: {{\mathbb R}^n}\to{\mathbb R}\) be a convex function. A supporting hyperplane to \(\varphi\) at the point \((x_0, \varphi(x_0))\) is an affine function \(\ell(x)\) such that \(\varphi(x)\geq\ell(x)\) for all \(x\in{{\mathbb R}^n}\). Given \(t>0\), a section of \(\varphi\) at height \(t\) is the convex set \(S_\varphi(x_0, t)=\{x\in{{\mathbb R}^n}: \varphi(x)<\ell(x)+t\}\). Assume that all the sections \(S_\varphi(x_0, t)\) are bounded set. Let \(\lambda S_\varphi(x_0, t)\) denote the \(\lambda\)-dilation of \(S_\varphi(x_0, t)\) with respect to its center of mass. A Borel measure \(\nu\) is said to be doubling with respect to the center of mass on the sections of \(\varphi\) if there exists a constant \(C>0\) such that for all sections \(S_\varphi(x, t)\), \[ \mu(S_\varphi(x, t))\leq C\mu(\tfrac{1}{2}S_\varphi(x, t)). \] Moreover, except that \(\mu\) is assumed to be doubling, \(\mu\) is also assumed to have the following two-side doubling property that there exist constants \(1<C_1<C_2\) such that for all sections \(S_\varphi(x, t)\), \[ C_1\mu(S_\varphi(x, \tfrac{t}2))\leq\mu(S_\varphi(x, t))\leq C_2\mu(S_\varphi(x, \tfrac{t}2)). \] Then the authors introduce the following maximal function for sections \[ M_\alpha f(x)=\sup_{r>0}\mu(S_\varphi(x, r))^{\alpha-1}\int_{S_\varphi(x, r)} | f(y)| \,d\mu(y), \] where \(0\leq\alpha<1\). Let \(p\in(1, \infty)\) and \(\lambda\in[0, \infty)\). For any \(f\in L^p_{\text{loc}}\), let \[ \| f\| _{L^{p,\, \lambda}}^p=\sup_{x\in{{\mathbb R}^n},\, r>0} \frac1{\mu(S_\varphi(x, r))^\lambda} \int_{S_\varphi(x, r))}| f(y)| ^p\,d\mu(y) \] and define \(L^{p, \lambda}\) to be the set of measurable functions \(f\) such that \(\| f\| _{L^{p, \lambda}}<\infty\). The authors prove that if \(1<p\leq q<\infty\), \(0\leq\alpha<1\), \(1/q=1/p-\alpha\), \(\theta=q/p\) and \(0\leq\lambda<p/q\), then \[ \| M_\alpha f\| _{L^{q,\, \theta\lambda}}\leq C\| f\| _{L^{p,\,\lambda}}, \] where \(C\) is a positive constant independent of \(f\).