[论文解读] On the relationship between derivations and measurable differentiable structures on metric measure spaces

Andrea Schioppa|arXiv (Cornell University)|May 15, 2012

Geometric Analysis and Curvature Flows参考文献 6被引用 3

一句话总结

本文建立了在具有加倍性质的度量测度空间上，导出映射与可测可微结构之间的基础联系。证明了导出模可分解为有界秩的自由模，表明导出映射对点态上Lipschitz常数的控制意味着存在维度至多为N的可测可微结构，并通过证明图表函数可从Lipschitz代数的给定生成集中选取，扩展了Keith的结果。

ABSTRACT

We investigate the relationship between measurable differentiable structures on doubling metric measure spaces and derivations. We prove: [1] a decomposition theorem for the module of derivations into free modules; [2] the existence of a measurable differentiable structure assuming that one can control the pointwise upper Lipschitz constant of a function through derivations; [3] an extension of a result of Keith about the choice of chart functions.

研究动机与目标

• 澄清具有加倍性质的度量测度空间上导出映射模的代数结构。
• 建立在导出映射控制点态上Lipschitz常数时，可测可微结构存在的条件。
• 通过证明图表函数可从Lipschitz代数的给定生成集中选取，扩展Keith关于图表函数选择的结果。
• 统一非光滑度量测度空间中导出映射与可测可微结构的概念。

提出的方法

• 利用空间的可测划分，将导出映射模分解为有界秩的自由模。
• 引入一种局部导出不等式，通过函数的局部Lipschitz常数来控制导出映射的作用大小。
• 应用弱*拓扑与序列连续性，将导出映射表征为Lipschitz代数上的弱*连续线性泛函。
• 应用Lipschitz代数的Stone-Weierstrass定理，证明在一致分离条件下具有稠密性结果。
• 利用Poincaré不等式与加倍条件，确保结构的有限维性与正则性。
• 应用Sobolev空间技巧与L^∞-模理论，分析导出映射及其与Lipschitz函数的相互作用。

实验结果

研究问题

• RQ1 在何种条件下，具有加倍性质的度量测度空间上的导出映射模可分解为有界秩的自由模？
• RQ2 若导出映射控制所有Lipschitz函数的点态上Lipschitz常数，则可测可微结构的存在性是否可保证？
• RQ3 可测可微结构中的图表函数能否从Lipschitz代数的给定有限生成集中选取？
• RQ4 导出映射如何与度量测度空间中的可测余切丛及Sobolev空间相关联？
• RQ5 弱*连续性在表征Lipschitz代数上导出映射时起何作用？

主要发现

• 在具有局部指标有界于N的加倍度量测度空间上，导出映射模存在至多N+1个可测集合的可测划分，使得在每个集合上导出映射模为有界秩的自由模。
• 若存在N个导出映射及一个严格正的L^∞函数λ，使得对几乎处处成立，|D_j f| 的最大值点态支配λ乘以f的点态上Lipschitz常数，则该空间存在维度至多为N的可测可微结构。
• 在可测可微结构中，图表函数可从Lipschitz代数的任意给定有限生成集中选取，前提是偏导数为导出映射。
• 导出映射模的结构与弱*拓扑相容，且在可分条件下，导出映射的弱*连续性等价于序列连续性。
• 局部导出不等式（3.20）确保了导出映射对Lipschitz函数的作用在点态上受局部Lipschitz常数控制。
• Lipschitz代数的Stone-Weierstrass定理表明，任何在一致分离条件下为弱*闭的子代数，必为整个Lipschitz代数。