[论文解读] On the volume of unit balls of finite-dimensional Lorentz spaces

A. DOLEŽALOVÁ, Jan Vybíral|arXiv (Cornell University)|Jun 12, 2019

Advanced Harmonic Analysis Research参考文献 68被引用 5

一句话总结

本文推导出有限维洛伦兹序列空间 ℓn_{p,q} 中单位球体积的显式与递归公式，特别针对 q=1、q=∞（弱勒贝格空间）的情形，并确立了 [vol(Bn_{p,q})]^{1/n} 的渐近行为，其近似为 n^{-1/p}。此外，本文还刻画了 vol(Bn_{p,∞})/vol(Bn_p) 的指数增长，并对嵌入 ℓn_{1,∞} → ℓn_1 的熵数给出了新表征，揭示了在 k ≈ n 处从对数衰减到指数衰减的转变。

ABSTRACT

We study the volume of unit balls $B^n_{p,q}$ of finite-dimensional Lorentz sequence spaces $\ell_{p,q}^n.$ We give an iterative formula for ${ m vol}(B^n_{p,q})$ for the weak Lebesgue spaces with $q=\infty$ and explicit formulas for $q=1$ and $q=\infty.$ We derive asymptotic results for the $n$-th root of ${ m vol}(B^n_{p,q})$ and show that $[{ m vol}(B^n_{p,q})]^{1/n}\approx n^{-1/p}$ for all $0<p<\infty$ and $0<q\le\infty.$ We study further the ratio between the volume of unit balls of weak Lebesgue spaces and the volume of unit balls of classical Lebesgue spaces. We conclude with an application of the volume estimates and characterize the decay of the entropy numbers of the embedding of the weak Lebesgue space $\ell_{1,\infty}^n$ into $\ell_1^n.$

研究动机与目标

• 推导有限维洛伦兹序列空间 ℓn_{p,q} 中单位球体积的显式与递归公式。
• 分析 [vol(Bn_{p,q})]^{1/n} 在 p 与 q 全范围内的渐近行为。
• 量化弱勒贝格空间球与经典勒贝格空间球体积之比，表明当 p ≤ 2 时，该比值随 n 呈指数增长。
• 刻画嵌入 ℓn_{1,∞} → ℓn_1 的熵数衰减速率，揭示其在 k ≈ n 处发生从对数衰减到指数衰减的转变。

提出的方法

• 通过容斥原理与组合系数，推导 vol(Bn_{p,∞}^+) 的迭代公式，进而实现 vol(Bn_{p,∞}) 的递归计算。
• 采用与狄利克雷原始证明相似的多重积分方法，重新推导 vol(Bn_{p,∞}) 的递归公式。
• 利用 κp(k) = ∑_{j=1}^k j^{1/p - 1} 的倒数乘积，建立 vol(Bn_{p,1}) 的显式闭式公式。
• 应用熵数技术与覆盖论证，对嵌入 ℓn_{1,∞} → ℓn_1 的熵数进行上下界估计。
• 通过构造具有受控 ℓ1 与 ℓ1,∞-范数的不相交支撑集合与向量系，推导熵数的下界。
• 结合斯特林公式与体积估计，证明 [vol(Bn_{p,q})]^{1/n} ≈ n^{-1/p} 在 0 < p < ∞ 与 0 < q ≤ ∞ 范围内一致成立。

实验结果

研究问题

• RQ1 对于有限 n 与 0 < p < ∞，弱勒贝格空间 ℓn_{p,∞} 中单位球的精确体积是多少？
• RQ2 当 n → ∞ 时，固定 p 与 q，[vol(Bn_{p,q})]^{1/n} 的渐近行为如何？
• RQ3 比值 vol(Bn_{p,∞}) / vol(Bn_p) 随 n 的增长速度如何？当 p < ∞ 时，是否呈指数增长？
• RQ4 熵数 ek(id : ℓn_{1,∞} → ℓn_1) 的精确衰减速率为何？其在 k ≈ n 处是否表现出行为转变？
• RQ5 对于所有 0 < p ≤ ∞，ℓn_{p,1} 中单位球的体积能否以闭式表达？

主要发现

• 推导出 vol(Bn_{p,1}) = 2^n × ∏_{k=1}^n 1/κp(k) 的显式公式，其中 κp(k) = ∑_{j=1}^k j^{1/p - 1}，推广了已知结果 vol(Bn_1) = 2^n / n!。
• 对所有 0 < p < ∞ 与 0 < q ≤ ∞，有 [vol(Bn_{p,q})]^{1/n} ≈ n^{-1/p}，且常数与 n 无关。
• 当 p ≤ 2 时，比值 vol(Bn_{p,∞}) / vol(Bn_p) 随 n 呈指数增长，表明弱勒贝格球远大于其经典对应物。
• 嵌入 ℓn_{1,∞} → ℓn_1 的熵数满足：当 1 ≤ k ≤ n 时 ek ≈ log(1 + n/k)，当 k ≥ n 时 ek ≈ 2^{-k-1/n}，表明其从对数衰减过渡到指数衰减。
• 通过容斥原理建立 vol(Bn_{p,∞}^+) 的递归公式：vol(Bn_{p,∞}^+) = ∑_{j=1}^n (-1)^{j-1} (n choose j) × n^{-j/p} × vol(Bn-j_{p,∞}^+)，从而实现对中等 n 的数值计算。
• 本文证明当 p ≤ 2 时，体积比 vol(Bn_{p,∞}) / vol(Bn_p) 随 n 呈指数增长，并猜想该结论对所有 p < ∞ 成立。