[论文解读] Quantitative affine approximation for UMD targets

Tuomas Hytönen, Sean Li+1 more|arXiv (Cornell University)|Oct 1, 2015

Advanced Banach Space Theory参考文献 44被引用 3

一句话总结

本文建立了关于取值于UMD Banach空间的Lipschitz函数的定量仿射逼近定理。证明表明，任意从n维赋范空间的单位球到UMD目标空间的1-Lipschitz函数，在半径至少为exp(−(1/ε)^{cn})的子球上，与某个仿射映射一致接近，该结果显著改进了此前在仿射逼近的宏观尺度上的下界。

ABSTRACT

It is shown here that if $(Y,\|\cdot\|_Y)$ is a Banach space in which martingale differences are unconditional (a UMD Banach space) then there exists $c=c(Y)\in (0,\infty)$ with the following property. For every $n\in \mathbb{N}$ and $\varepsilon\in (0,1/2]$, if $(X,\|\cdot\|_X)$ is an $n$-dimensional normed space with unit ball $B_X$ and $f:B_X o Y$ is a $1$-Lipschitz function then there exists an affine mapping $Λ:X o Y$ and a sub-ball $B^*=y+ρB_X\subseteq B_X$ of radius $ρ\ge \exp(-(1/\varepsilon)^{cn})$ such that $\|f(x)-Λ(x)\|_Y\le \varepsilon ρ$ for all $x\in B^*$. This estimate on the macroscopic scale of affine approximability of vector-valued Lipschitz functions is an asymptotic improvement (as $n o \infty$) over the best previously known bound even when $X$ is $\mathbb{R}^n$ equipped with the Euclidean norm and $Y$ is a Hilbert space.

研究动机与目标

• 建立取值于UMD Banach空间的Lipschitz函数在仿射逼近的宏观尺度上的最优定量界。
• 解决当维度n → ∞时，L_p仿射逼近模量r_p^{X→Y}(ε)的渐近行为。
• 在希尔伯特空间情形下，改进此前已知的仿射逼近半径下界e^{-(n/ε)^{Cn}}。
• 提供一个定量的微分型定理，保证在不依赖于具体函数的子球上实现一致仿射逼近。

提出的方法

• 作者采用向量值Littlewood–Paley理论，并创新性地应用β_p(Y)-数来控制UMD空间中函数的振荡。
• 通过复插值和二进制鞅分解，推导出UMD空间中与鞅差相关的平方函数的算子范数的精确估计。
• 关键步骤是利用复插值方法，将平方函数的算子范数与UMD常数及维度n联系起来。
• 证明涉及在插值尺度中仔细选择参数s, σ, θ以最小化所得界，从而实现对n的对数依赖性。
• 该方法依赖于将函数分解为二进制鞅差，并利用极大函数估计来控制f与其仿射逼近之间差的L_p-范数。
• 构造确保仿射映射Λ(x) = a + Tx满足：对所有x属于半径ρ ≥ exp(−(1/ε)^{cn})的子球，有‖f(x) − Λ(x)‖_Y ≤ ερ。

实验结果

研究问题

• RQ1 在n维赋范空间的单位球中，1-Lipschitz函数取值于UMD空间时，其与仿射映射ε-接近的子球半径ρ的最优渐近下界是什么？
• RQ2 当n → ∞时，能否在渐近意义下改进此前已知的仿射逼近半径下界e^{-(n/ε)^{Cn}}？
• RQ3 目标空间的UMD性质如何影响向量值Lipschitz函数在宏观尺度上的仿射逼近？
• RQ4 向量值Littlewood–Paley理论在Banach空间设定下，能在多大程度上用于推导定量微分定理？

主要发现

• 本文建立了新的半径下界ρ ≥ exp(−e^{Kn})，该结果在渐近意义下显著优于先前的e^{-(n/ε)^{Cn}}下界。
• 对任意n ∈ ℕ和ε ∈ (0,1/2]，存在一个半径至少为exp(−(1/ε)^{cn})的子球，使得函数在该子球上与某个仿射映射ε-接近，其中c = c(Y)仅依赖于Y的UMD常数。
• 该结果对所有1-Lipschitz函数f: B_X → Y一致成立，不依赖于具体函数，从而建立了宏观尺度上的微分定理。
• 该界是紧致的，因为它在指数的指数部分实现了改进，实现了ρ的下界中双指数衰减。
• 基于向量值Littlewood–Paley理论和复插值的证明技术，为Banach空间中定量逼近分析提供了新框架。
• 该结果可推广至L_p-模量的仿射逼近，且在ρ的渐近界上实现了相同的定性改进。