[论文解读] 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）提出的基本定量微分问题，寻求在 n 维赋范空间 X 的单位球内，使得任意 1-Lipschitz 映射 f: BX → Y 在半径为 r 的球上存在仿射 εr-逼近的宏观半径 rX→Y(ε)。
• 在目标空间 (Y, ∥·∥Y) 允许等价的一致凸范数时，改进此前对 rX→Y(ε) 的弱定量界限。
• 通过建立 rX→Y(ε) 的精确定量估计，为 Bourgain 的离散化定理（1987）提供新证明。
• 为取值于一致凸巴拿赫空间的热半群建立新的向量值 Littlewood–Paley–Stein G-函数不等式，解决 Martínez、Torrea 和 Xu（2006）遗留的长期开放问题。
• 通过表明热半群在此论证中至关重要，而泊松半群则失效，建立调和分析与几何泛函分析之间的新联系。

提出的方法

• 利用热半群构造 f 到整个 X 的延拓的时 t 泊松展开，将该展开的一阶泰勒多项式视为候选仿射逼近 Λ。
• 证明取值于一致凸巴拿赫空间的热半群的新 Littlewood–Paley–Stein G-函数估计，这是关键的技术创新。
• 证明热半群方法能确保仿射逼近 Λ 在半径 r ≥ exp(−1/ε^c(Y)) 的球上良好逼近 f，而泊松半群在此目的上失败。
• 采用一种新颖的半群论证，依赖于热核的性质和傅里叶分析，推导出 f 与其泰勒逼近之间差值的精确 L2 估计。
• 利用旋转不变性与 Plancherel 定理，计算球上 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 和 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 和 Xu（2006）遗留的开放问题。
• 热半群在此论证中不可或缺：即使在希尔伯特空间目标下，使用泊松半群的相同策略也失败。
• 为 G-函数恒等式中的常数 k(n, γ) 推导出新的精确上界，表明 k(n, γ) ≲γn + ∫₀^∞ v²e^{-v²} log(2 + (v² + γn)/(v√γn)) dv。
• 该方法为实值函数的经典 Dorronsoro 定理（1985）提供了新的且简明的证明，甚至在标量情形下亦成立。
• 该结果为一致凸目标空间提供了 Bourgain 离散化定理（1987）的新证明，且对 ε 的定量依赖关系明确并得到改进。