[论文解读] Dimension free bounds for the Hardy--Littlewood maximal operator associated to convex sets

Luc Deleaval, Olivier Guédon+1 more|arXiv (Cornell University)|Feb 5, 2016

Point processes and geometric inequalities参考文献 78被引用 24

一句话总结

本文為高維空間中與對稱凸體相關的 Hardy--Littlewood maximal 算子建立了無維數界，專注於與維數 n 無關的 Lp 有界性。結果表明，當 p > 1 時，該算子範數在歐幾里得球與立方體上保持一致有界；同時顯示弱型 (1,1) 常數隨維數增長，從而解決了在端點情形下無維數估計極限的長期懸而未決問題。

ABSTRACT

This survey is based on a series of lectures given by the authors at the working seminar "Convexit\\'e et Probabilit\\'es" at UPMC Jussieu, Paris, during the spring 2013. It is devoted to maximal inequalities associated to symmetric convex sets in high dimensional linear spaces, a topic mainly developed between 1982 and 1990 but recently renewed by further advances. The series focused on proving for these maximal functions inequalities in $L^p(\\mathbb{R}^n)$ with bounds independent of the dimension $n$, for all $p \\in (1, +\\infty]$ in the best cases. This program was initiated in 1982 by Elias Stein, who obtained the first theorem of this kind for the family of Euclidean balls in arbitrary dimension. We present several results along this line, proved by Bourgain, Carbery and M\\"uller during the period 1986--1990, and a new one due to Bourgain (2014) for the family of cubes in arbitrary dimension. We complete the cube case with negative results for the weak type $(1, 1)$ constant, due to Aldaz, Aubrun and Iakovlev--Str\\"omberg between 2009 and 2013.

研究动机与目标

• 建立與 R^n 中對稱凸集相關的 Hardy--Littlewood 最大算子的無維數界。
• 研究此類界是否能對所有 p ∈ (1, ∞] 保持與維數 n 無關。
• 探討高維中最大算子弱型 (1,1) 常數的行為，特別是針對立方體的情形。
• 透過整合 Stein、Bourgain、Carbery、Müller 及 Aldaz、Aubrun 和 Iakovlev--Strömberg 的近期工作，完成理論體系。
• 透過識別弱型 (1,1) 常數的增長速率，明確無維數估計的緊緻性。

提出的方法

• 運用鞅不等式與 Rota 的論證，將最大函數與半群及布朗運動聯繫起來。
• 應用 Hopf 最大不等式與 Burkholder--Gundy 不等式進行 Lp 評估。
• 採用 Poisson 半群與傅里葉乘子技術，推導無維數界。
• 使用插值理論，包括三線引理與解析族算子。
• 應用 Stirling 近似與二項係數尾部估計，控制高維乘積空間中的機率。
• 透過頻率網格與類似鏈接的估計構造覆蓋論證，以界弱型 (1,1) 常數。

实验结果

研究问题

• RQ1 與對稱凸體相關的 Hardy--Littlewood 最大函數算子範數，能否對所有 p ∈ (1, ∞] 保持與維數 n 無關的有界性？
• RQ2 當 n → ∞ 時，n 維立方體相關最大算子的弱型 (1,1) 常數行為如何？
• RQ3 是否存在一個對所有對稱凸體都適用的、全域的無維數弱型 (1,1) 算子範數界？
• RQ4 幾何參數（如投影體積）在多大程度上影響最大算子的無維數行為？
• RQ5 能否精確量化立方體情形下弱型 (1,1) 常數的尖銳增長速率？

主要发现

• 對於歐幾里得球族，Elias Stein 於 1982 年證明，對所有 p ∈ (1, ∞]，Lp 算子範數在維數 n 上一致有界。
• Bourgain 於 1986 年證明，所有對稱凸體的 L2 範數均為無維數。
• Carbery 與 Müller 分別在凸體滿足幾何條件下，將此結果推廣至 Lp(R^n)，其中 p > 3/2 和 p > 1。
• Bourgain（2014）為 n 維立方體相關最大算子建立了所有 p > 1 的無維數 Lp 界。
• 立方體的弱型 (1,1) 常數至少以 n^{1/4} 的速度增長，對大 n 有下界約 0.0037 n^{1/4}。
• 本文確認弱型 (1,1) 常數在維數上不一致有界，從而對立方體的無維數弱型估計可能性給出尖銳的否定回答。