[論文レビュー] Heat flow and quantitative differentiation

Tuomas Hytönen, Assaf Naor|arXiv (Cornell University)|Aug 5, 2016

Heat Transfer and Optimization被引用数 11

ひとこと要約

本稿は、1-Lipschitz関数が一様凸バナッハ空間へ写像する場合に、その関数がアフィン近似を許容するマクロな球の半径について、新規の熱半群に基づくアプローチを用いて鋭い定量的下界を確立する。任意のこのような被覆空間に対して、半径 rX→Y(ε) は exp(−1/ε^c(Y)) 以上であることが示され、従来の境界を改善し、一様凸な被覆空間における熱半群の新しい Littlewood–Paley–Stein G-関数不等式を介して、Bourgainの離散化定理の新たな証明が得られる。

ABSTRACT

For every Banach space $(Y,\|\cdot\|_Y)$ that admits an equivalent uniformly convex norm we prove that there exists $c=c(Y)\in (0,\infty)$ with the following property. Suppose that $n\in \mathbb{N}$ and that $X$ is an $n$-dimensional normed space with unit ball $B_X$. Then for every $1$-Lipschitz function $f:B_X o Y$ and for every $\varepsilon\in (0,1/2]$ there exists a radius $r\ge\exp(-1/\varepsilon^{cn})$, a point $x\in B_X$ with $x+rB_X\subset B_X$, and an affine mapping $\Lambda:X o Y$ such that $\|f(y)-\Lambda(y)\|_Y\le \varepsilon r$ for every $y\in x+rB_X$.

研究の動機と目的

• Bates ら (1999) が提起した根本的な定量的微分問題に取り組み、1-Lipschitz関数 f: BX → Y が半径 r の球上でアフィン εr-近似を許容するマクロな半径 rX→Y(ε) を求める。
• 被覆空間 (Y, ∥·∥Y) が同値な一様凸ノルムを備える場合の、rX→Y(ε) の従来の弱い定量的境界を改善する。
• rX→Y(ε) の鋭い定量的推定を確立することにより、Bourgainの離散化定理 (1987) の新たな証明を提供する。
• 一様凸バナッハ空間値をとる熱半群に対する新しいベクトル値 Littlewood–Paley–Stein G-関数不等式を構築し、Martínez, Torrea, and Xu (2006) が残した長年の未解決問題を解決する。
• 熱半群がこの議論において本質的であることを示し、ポisson半群はこの目的では失敗することを示すことにより、調和解析と幾何的関数解析との間の新しい関係を確立する。

提案手法

• f を X 全体に拡張したものの、時間 t のポアソン包絡線を熱半群を用いて構成し、その包絡線の1次テイラー多項式を候補となるアフィン近似 Λ とみなす。
• 一様凸バナッハ空間値をとる熱半群に対する新しい Littlewood–Paley–Stein G-関数推定を証明し、これが重要な技術的革新である。
• 熱半群アプローチが、半径 r ≥ exp(−1/ε^c(Y)) の球上でアフィン近似 Λ が f よりよく近似できることを保証する一方で、ポアソン半群はこの目的では失敗することを示す。
• 熱核の性質とフーリエ解析に依存する新規な半群論的議論を用いて、f とそのテイラー近似との差の精密な L2 評価を導出する。
• 回転不変性とプランシュレの定理を用いて、球上で f(y) − Taylor1_x(Hγt²f)(y) の L2 ノルムを計算し、G-関数と f の勾配を含む恒等式を得る。
• e^{isu} と e^{-γs²} を含む振動積分の評価により、G-関数恒等式における定数 k(n, γ) の鋭い上界を導出する。

実験結果

リサーチクエスチョン

• RQ1 n次元ノルム空間 X の単位球内において、任意の1-Lipschitz関数 f: BX → Y が半径 r の球上でアフィン εr-近似を許容するような、最適な定量的下界 rX→Y(ε) は何か？
• RQ2 なぜ熱半群は一様凸被覆空間において、望ましいマクロなアフィン近似を達成するのに対し、ポアソン半群は失敗するのか？
• RQ3 一様凸バナッハ空間値をとる熱半群に対する新しい Littlewood–Paley–Stein G-関数不等式を確立できるか？これは Martínez, Torrea, and Xu (2006) が残した未解決問題を解決する。
• RQ4 新規の熱半群に基づく手法により、実数値関数に対する古典的 Dorronsoro の定理 (1985) の新たなかつ簡潔な証明が得られるか？
• RQ5 新規の G-関数推定が、文献に既存のすべての境界を上回る鋭い定量的微分結果を導出できるか？

主な発見

• 本稿は、1-Lipschitz関数 f: BX → Y がアフィン εr-近似を許容するマクロな球の半径について、鋭い定量的下界 rX→Y(ε) ≥ exp(−1/ε^c(Y)) を確立する。ここで c(Y) ∈ (0, ∞) は被覆空間 Y のみに依存する。
• 一様凸バナッハ空間値をとる熱半群に対する新しいベクトル値 Littlewood–Paley–Stein G-関数不等式を証明することで、Martínez, Torrea, and Xu (2006) が残した未解決問題を解決する。
• この議論において熱半群は本質的である：同じ戦略をヒルバート空間を被覆空間とする場合でさえ、ポアソン半群を用いる場合には失敗する。
• G-関数恒等式における定数 k(n, γ) の鋭い上界が導出され、k(n, γ) ≲γn + ∫₀^∞ v²e^{-v²} log(2 + (v² + γn)/(v√γn)) dv であることが示される。
• この手法により、実数値関数に対する古典的 Dorronsoro の定理 (1985) の新たなかつ簡潔な証明が得られる。これはスカラーの場合でさえ成立する。
• 結果として得られるのは、一様凸被覆空間に対する Bourgain の離散化定理 (1987) の新たな証明であり、ε に明示的かつ改善された定量的依存関係が得られる。