[论文解读] How behave the typical $L^q$-dimensions of measures?

Frédéric Bayart|arXiv (Cornell University)|Mar 13, 2012

Mathematical Dynamics and Fractals参考文献 6被引用 5

一句话总结

该论文利用Baire范畴的泛性，确定了紧集 $K \subset \mathbb{R}^d$ 上概率测度的典型上、下 $L^q$-维数。研究结果表明，对于典型测度，$L^q$-维数等于依赖于 $q$ 和 $K$ 的几何不变量（如一致局部上上盒维数和上盒维数）的特定值，解决了Olsen工作中的开放问题，并证实了关于 $q < 1$ 和 $q < 0$ 时这些维数行为的猜想。主要贡献在于对所有 $q \in \mathbb{R}$ 的典型 $L^q$-维数进行了完整表征，通过 $L^q$-积分泛函的下半连续性和介值定理，精确推导出其取值。

ABSTRACT

We compute, for a compact set $K\subset\mathbb R^d$, the value of the upper and of the lower $L^q$-dimension of a typical probability measure with support contained in $K$, for any $q\in\mathbb R$. Different definitions of the "dimension" of $K$ are involved to compute these values, following $q\in\mathbb R$.

研究动机与目标

• 在 $\mathcal{P}(K)$ 上的弱拓扑下，通过Baire范畴拓扑，确定紧集 $K \subset \mathbb{R}^d$ 上概率测度的典型上、下 $L^q$-维数。
• 解决Olsen早期工作中遗留的开放问题，特别是关于 $q < 1$ 和 $q < 0$ 时 $L^q$-维数的行为，包括其关于 $\underline{D}_\mu(q) = 0$ 和 $\overline{D}_\mu(q) = +\infty$ 的猜想。
• 引入并利用 $K$ 的新几何不变量，如一致局部上上盒维数 $s_u = \overline{\dim}_{B,\text{loc},\text{unif}}(K)$ 和分离维数 $s_{\text{sep}} = \operatorname{bsi}(K)$，以表征典型 $L^q$-维数。

提出的方法

• 分析采用Baire范畴方法，将‘典型’测度定义为弱拓扑下 $\mathcal{P}(K)$ 中一个稠密的 $G_\delta$ 集中的测度。
• $L^q$-维数通过积分 $I_\mu(r,q) = \int_K \mu(B(x,r))^{q-1} \, d\mu(x)$ 在 $q \neq 1$ 时的渐近行为定义，$q = 1$ 时采用对数变体，维数由 $\frac{1}{q-1} \frac{\log I_\mu(r,q)}{\log r}$ 在 $r \to 0$ 时的极限下确界和上确界导出。
• 关键技术工具包括半连续函数的介值定理，特别是引理7.4，其适用于映射 $r \mapsto \frac{1}{q-1} \frac{\log I_\mu(r,q)}{\log r}$，该映射在右侧上半连续，在左侧下半连续。
• 论文定义了两个新的几何不变量：$s_{\text{sep}} = \operatorname{bsi}(K)$，即盒分离指数，和 $s_u = \overline{\dim}_{B,\text{loc},\text{unif}}(K)$，即一致局部上上盒维数，它们分别控制不同 $q$ 范围下典型 $L^q$-维数的行为。
• 证明表明，对于指定区间 $E_q$ 中的任意 $\tau$，存在一列 $r_n \to 0$，使得 $L^q$-维数表达式收敛于 $\tau$，该结论基于 $I_\mu(r,q)$ 的连续性和半连续性性质。

实验结果

研究问题

• RQ1 在Baire范畴拓扑下，紧集 $K \subset \mathbb{R}^d$ 上概率测度的典型上、下 $L^q$-维数为何？
• RQ2 猜想 $\underline{D}_\mu(q) = 0$（当 $q < 1$）和 $\overline{D}_\mu(q) = +\infty$（当 $q < 0$）对典型测度是否成立？
• RQ3 上 $L^q$-维数能否被精确表征为典型测度下的常数 $f(q)$？若是，$f(q)$ 如何用 $K$ 的几何不变量表示？
• RQ4 新不变量 $s_{\text{sep}} = \operatorname{bsi}(K)$ 和 $s_u = \overline{\dim}_{B,\text{loc},\text{unif}}(K)$ 如何与不同 $q$-范围下的典型 $L^q$-维数相关联？

主要发现

• 当 $q > 1$ 时，典型测度满足 $\underline{D}_\mu(q) = 0$ 且 $\overline{D}_\mu(q) = s_u$，其中 $s_u = \overline{\dim}_{B,\text{loc},\text{unif}}(K)$ 为 $K$ 的一致局部上上盒维数。
• 当 $q \in (0,1)$ 时，典型测度满足 $\underline{D}_\mu(q) = 0$ 且 $\overline{D}_\mu(q) = s$，其中 $s = \overline{\dim}_B(K)$ 为 $K$ 的上盒维数。
• 当 $q = 0$ 时，典型测度满足 $\underline{D}_\mu(0) = s_{\text{sep}}$ 且 $\overline{D}_\mu(0) = s$，其中 $s_{\text{sep}} = \operatorname{bsi}(K)$ 为 $K$ 的盒分离指数。
• 当 $q < 0$ 时，典型测度满足 $\underline{D}_\mu(q) = s_{\text{sep}}$ 且 $\overline{D}_\mu(q) = +\infty$，证实了Olsen的猜想。
• 对于任意 $q \in \mathbb{R} \setminus \{1\}$，以及由几何不变量定义的区间 $E_q$ 中的任意 $\tau$，存在一列 $r_n \to 0$，使得 $\frac{\log I_\mu(r_n,q)}{(q-1)\log r_n} \to \tau$，表明典型测度的 $L^q$-维数可实现指定区间内的任意值。