[論文レビュー] The Lip-lip condition on metric measure spaces

Jasun Gong|arXiv (Cornell University)|Aug 14, 2012

Point processes and geometric inequalities参考文献 16被引用数 6

ひとこと要約

本稿では、倍加測度を備えた完備な距離測度空間上で、可測微分構造の存在がキースのLip-lip条件の成立と同値であることを確立している—つまり、リプシッツ関数の局所的リプシッツ性がほとんど everywhere の点でスケールに依存しないことを意味する。主な貢献はキースの定理の逆を示したことであり、Lip-lip条件が微分構造の存在にとって必要かつ十分であることを示しており、ユークリッド空間上での座標チャートと吹き出し手続きを用いる新規な技法が用いられている。これらの手続きはウィーバー微分を保存する。

ABSTRACT

On complete metric spaces that support doubling measures, we show that the validity of a Rademacher theorem for Lipschitz functions can be characterised by Keith's "Lip-lip" condition. Roughly speaking, this means that at almost every point, the infinitesmal behavior of every Lipschitz function is essentially independent of the scales used in the blow-up at that point. Moreover, the doubling property can be further weakened to a local hypothesis on the measure; we also present results in this direction. Our techniques of proof are new and may be of independent interest. They include an explicit use of coordinate charts for measurable differentiable structures, as well as a blow-up procedure on Euclidean spaces that preserves Weaver derivations.

研究の動機と目的

• 完備な距離測度空間が可測微分構造を備えるための条件を同定すること。
• Lip-lip条件が微分構造の存在にとって十分であるばかりでなく、必要であるかどうかも特定すること。
• 測度条件を倍加測度から局所的仮定に弱めるなどして、理論を倍加測度を超えて拡張すること。
• 座標チャートの明示的使用とウィーバー微分を保存する吹き出し手続きを含む、測度空間上の微分可能性を研究するための新たな解析的技法を開発すること。

提案手法

• 著者たちは、ウィーバー微分を保存するユークリッド空間上の吹き出し手続きを用い、リプシッツ関数の無限小的挙動の研究を可能にした。
• 非構成的解析的手法に代えて、距離関数に基づく明示的な座標チャートを導入し、可測微分構造を構成した。
• 証明は、弱接線の構造を活用して、Lip-lip条件が一様定数で成り立つ可測集合への空間の分割に依存している。
• 鍵となる技法として、バーティリの被覆から得られるリプシッツ分割の単位を用いた関数の近似があり、倍加性は限定的な文脈でのみ使用された。
• 導出の弱*収束とマズールの補題を用いて、局所的導出が距離関数の導出の線形結合として表せることを示した。
• 著者たちは[FHK99]の結果を一般化し、グローバルな倍加性を局所的倍加性仮定に置き換えたことで、より広範な適用可能性を得た。

実験結果

リサーチクエスチョン

• RQ1 完備な距離測度空間に倍加測度が備わるとき、可測微分構造の存在にとってLip-lip条件は必要か？
• RQ2 測度の倍加条件を局所的仮定に弱めても、Lip-lip条件と微分構造との同値性は保たれるか？
• RQ3 特に低次元において、定数M > 1をもつLip-lip条件を満たす距離測度空間は存在するか？
• RQ4 距離関数に基づく明示的な座標チャートを用いて、測度空間上の可測微分構造を構成できるか？
• RQ5 ウィーバー微分と吹き出し技法は、非滑らか距離空間において、どの程度微分可能性の性質を保存するか？

主な発見

• 倍加測度を備えた完備な距離空間にN次元の可測微分構造が存在することは、各部分集合が一様定数M_nでLip-lip条件を満たす可測分割の存在と同値である。
• N ≤ 2の場合、Lip-lip定数Mは√(N+1)で上から抑えられ、低次元における鋭い定量的推定が得られた。
• M = 1のLip-lip条件は、倍加空間における弱p-Poincaré不等式と同値であり、既知の含意を確認するとともに、その逆も拡張した。
• 本稿では、距離関数を座標チャートとして用いることで、従来の解析的かつ非構成的問題を新たな構成的アプローチで解決した。
• ユークリッド空間上での吹き出し手続きはウィーバー微分を保存し、極限空間から元の空間への微分可能性の性質の持ち帰りを可能にした。
• 証明により、倍加性は被覆の議論と分割の単位の構成の2か所でのみ必要であることが示され、一般の場合には局所的倍加仮定に置き換え可能であることがわかった。