[论文解读] Fractal curvatures and Minkowski content of self-conformal sets

Tilman Johannes Bohl|arXiv (Cornell University)|Nov 14, 2012

Mathematical Dynamics and Fractals参考文献 7被引用 8

一句话总结

该论文在最小假设条件下，通过平行集的缩放几何测度的Cesàro平均，建立了$ \mathbb{R}^d$ 中一般自共形集的分形曲率和Minkowski测度的存在性与收敛性。关键贡献是通过遍历理论，为自共形集建立了分形曲率-方向测度的严格框架，将自相似集的结果推广至自共形集，仅需满足开集条件和温和的正则性假设。

ABSTRACT

For self-similar fractals, the Minkowski content and fractal curvature have been introduced as a suitable limit of the geometric characteristics of its parallel sets, i.e., of uniformly thin coatings of the fractal. For some self-conformal sets, the surface and Minkowski contents are known to exist. Conformal iterated function systems are more flexible models than similarities. This work unifies and extends such results to general self-conformal sets in R^d. We prove the rescaled volume, surface area, and curvature of parallel sets converge in a Cesaro average sense of the limit. Fractal Lipschitz-Killing curvature-direction measures localize these limits to pairs consisting of a base point in the fractal and any of its normal directions. There is an integral formula. We assume only the popular Open Set Condition for the first-order geometry, and remove numerous geometric assumptions. For curvatures, we also assume regularity of the Euclidean distance function to the fractal if the ambient dimension exceeds three, and a uniform integrability condition to bound the curvature on "overlap sets". A limited converse shows the integrability condition is sharp. We discuss simpler, sufficient conditions. The main tools are from ergodic theory. Of independent interest is a multiplicative ergodic theorem: The distortion, how much an iterate of the conformal iterated function system deviates from its linearization, converges.

研究动机与目标

• 将分形曲率与Minkowski测度的理论从自相似集推广至$ \mathbb{R}^d$ 中的自共形集。
• 在Cesàro-平均意义下，建立平行集的缩放体积、表面积和曲率测度的收敛性。
• 利用几何测度论，为自共形集定义并局部化分形曲率-方向测度。
• 最小化几何假设，仅依赖于开集条件和曲率在重叠集上的统一可积性条件。
• 证明共形迭代函数系统的一个乘法遍历定理，表明迭代下扭曲度的收敛性。

提出的方法

• 在对数尺度$r \in [\epsilon,1]$上使用Cesàro平均，以稳定平行集$F_r$的振荡性缩放几何测度。
• 应用热力学形式化方法确定Minkowski维数$D$，并构造一个共形概率测度$\mu$。
• 运用遍历理论和一个乘法遍历定理，分析迭代共形映射的扭曲度。
• 将分形曲率-方向测度定义为缩放Lipschitz-Killing曲率测度的弱极限，按$r^{D-k}$归一化。
• 引入向量Toeplitz定理，处理在等连续函数序列下测度平均的收敛性。
• 利用几何测度论，在边界非光滑且具有多个法线方向的集合上定义曲率-方向测度。

实验结果

研究问题

• RQ1 在何种最小条件下，自共形集的分形曲率与Minkowski测度作为平行集测度的Cesàro-平均极限存在？
• RQ2 如何将分形曲率-方向测度局部化至自共形集上点对与法线方向的组合？
• RQ3 开集条件在确保自共形集几何平均收敛性中起什么作用？
• RQ4 在环境维数$d > 3$时，欧氏距离函数的正则性如何影响曲率收敛性？
• RQ5 曲率在重叠集上的统一可积性条件是否必要，能否被弱化？

主要发现

• 在开集条件成立下，局部平均Minkowski测度$C_d^{\text{frac}}(F, \cdot)$作为平行集的缩放Lebesgue测度的弱极限存在。
• 在距离函数正则且曲率在重叠集上统一可积的条件下，对所有$0 \leq k < d$，分形曲率-方向测度$C_k^{\text{frac}}(F, \cdot)$在Cesàro-平均意义下收敛。
• 通过一个乘法遍历定理建立收敛性，表明迭代共形映射的扭曲度几乎必然收敛。
• 通过一个有限的逆向结果表明，统一可积性条件是紧致的，即若移除该条件将导致收敛性丧失。
• 对于$k = d$（体积）和$k = d-1$（表面积），收敛性在更弱的假设下成立，其中后者此前仅在自相似集情形已知。
• 通过一个积分公式将分形曲率测度表示为符号空间上的平均，将其与不变测度$\mu$及IFS的动力学联系起来。