[论文解读] Strong martingale type and uniform smoothness

Jörg Wenzel|ArXiv.org|Jul 28, 2004

Functional Equations Stability Results参考文献 4被引用 4

一句话总结

本文引入了强鞅类型 $p$ 和强鞅型 $q$，作为经典鞅类型与型的改进版本，证明其分别与一致 $p$-光滑性和 $q$-严格凸性等价，且常数完全相同。主要贡献在于提供了鞅类型 $p$ 的直接证明，表明任何具有鞅类型 $p$ 的巴拿赫空间均可通过等价范数化获得强鞅类型 $p$，从而弥补了拉德马赫类型类比中留下的空白，并确立了强鞅类型 $p$ 蕴含一致 $p$-光滑性，同时允许通过范数化实现该性质。

ABSTRACT

We introduce stronger versions of the usual notions of martingale type p <= 2 and cotype q >= 2 of a Banach space X and show that these concepts are equivalent to uniform p-smoothness and q-convexity, respectively. All these are metric concepts, so they depend on the particular norm in X. These concepts allow us to get some more insight into the fine line between X being isomorphic to a uniformly p-smooth space or being uniformly p-smooth itself. Instead of looking at Banach spaces, we consider linear operators between Banach spaces right away. The situation of a Banach space X can be rediscovered from this by considering the identity map of X.

研究动机与目标

• 定义更强的鞅类型 $p$ 和型 $q$，以比经典概念更精确地捕捉一致光滑性与严格凸性。
• 为巴拿赫空间之间的线性算子建立强鞅类型 $p$ 与一致 $p$-光滑性之间的等价性，且常数完全相同。
• 证明具有鞅类型 $p$ 的巴拿赫空间可被重新赋范为具有强鞅类型 $p$，这一结果在拉德马赫类型情形下一般不成立，因詹姆斯的非自反反例所限。
• 为鞅类型 $p$ 情形提供一种直接证明，该证明在现有文献中尚属新颖。
• 将光滑性与严格凸性之间的对偶性推广至强鞅设定，与强类型与型之间的对偶性相呼应。

提出的方法

• 通过不等式 $\left\|y + \sum_{k=1}^{n} Td_k\right\|_{L_p} \leq \left(\|y\|^p + c^p \sum_{k=1}^{n} \|d_k|L_p\|^p\right)^{1/p}$ 定义强鞅类型 $p$，其中对所有 $y \in Y$ 和鞅差分 $d_k$ 成立。
• 通过不等式 $\left(\|x\|^q + \frac{1}{c^q} \sum_{k=1}^{n} \|Td_k|L_q\|^q\right)^{1/q} \leq \left\|\sum_{k=0}^{n} d_k\right\|_{L_q}$ 定义强鞅型 $q$，其中 $d_0 \equiv x$。
• 利用 $[0,1)$ 上的二进制鞅与由二进制区间 $\Delta_k^{(i)}$ 生成的滤子 $\mathcal{F}_k$ 来建模随机结构。
• 通过 $|||y||| := \inf \left( \frac{1}{2^n} \sum_{k=1}^{2^n} \left( \|y_k - Tx_k\|^p + \{x_k\}^p \right) \right)^{1/p}$ 构造 $Y$ 上的等价范数 $|||\cdot|||$，其中 $y = \sum y_k / 2^n$ 为二进制分解。
• 通过验证不等式 $\left( \frac{\|y+Tx\|^p + \|y-Tx\|^p}{2} - \|y\|^p \right)^{1/p} \leq c\|x\|$ 证明该范数使 $T$ 成为一致 $p$-光滑的。
• 利用三角不等式与凸性估计，特别是不等式 $\frac{\{x_+\}^p + \{x_+\}^p}{2} \geq \left\| \frac{x_+ + x_-}{2} \right\|^p - c^p \left\| \frac{x_+ - x_-}{2} \right\|^p$ 来控制范数行为。

实验结果

研究问题

• RQ1 是否存在一种更强的鞅类型 $p$，可与一致 $p$-光滑性精确对应，且常数完全相同？
• RQ2 具有鞅类型 $p$ 的巴拿赫空间是否可被重新赋范为具有强鞅类型 $p$？若可，如何实现？
• RQ3 强鞅类型 $p$ 是否蕴含一致 $p$-光滑性？在范数化下，其逆命题是否成立？
• RQ4 强鞅类型与强鞅型在对偶设定下如何与一致光滑性与严格凸性相关联？
• RQ5 是否可直接证明强鞅类型 $p$ 的范数化结果，而无需依赖拉德马赫类型表征？

主要发现

• 强鞅类型 $p$ 与一致 $p$-光滑性等价，且常数 $c$ 相同，从而建立了光滑性的精确度量表征。
• 强鞅类型 $p$ 蕴含经典鞅类型 $p$，但其逆命题仅在目标空间进行等价范数化后才成立。
• 本文为鞅类型 $p$ 情形提供了范数化结果的直接证明，相较于以往的间接方法具有新颖性。
• 一个非自反的巴拿赫空间若具有拉德马赫类型 $2$（詹姆斯反例），则无法被重新赋范为具有强拉德马赫类型 $p$（$p > 1$），表明基于拉德马赫的方法存在局限性。
• 等价范数 $|||\cdot|||$ 的构造确保 $T$ 成为一致 $p$-光滑的，且该范数与原范数等价，常数仅依赖于 $p$。
• 强鞅类型 $p$ 与强鞅型 $q$ 之间的对偶性，与一致 $p$-光滑性与 $q$-严格凸性之间的对偶性相呼应，且在两个方向上均有类似结果。