[論文レビュー] THE COAREA FORMULA, CONDITION (N) AND RECTIFIABLE SETS FOR SOBOLEV FUNCTIONS ON METRIC SPACES

Niko Marola, William P. Ziemer|arXiv (Cornell University)|Jul 14, 2008

Geometric Analysis and Curvature Flows参考文献 22被引用数 1

ひとこと要約

この論文は、倍加測度とPoincaré不等式を満たす測度付き距離空間におけるベクトル値Sobolev関数の共面積公式を確立する。関数およびそのグラフがLuzinの条件(N)を満たし、グラフが可算可縮的であることを証明し、共面積公式が成り立つことを示し、古典的解析を距離的設定へと拡張する。

ABSTRACT

The purpose of this paper is to study measure-theoretic properties of functions u belonging to a vector-valued Sobolev class on metric measure spaces that admit a Poincare inequality and are equipped with a doubling measure. The properties we have selected to study are those that are closely related to those in establishing a coarea formula for u. In particular, we show that both u and the graph mapping of u satisfy Luzin's condition (N). Moreover, it is shown that the graph of u is countably Hausdorff rectifiable and that the mapping u satisfies the coarea formula.

研究の動機と目的

• 測度論的性質を、測度付き距離空間におけるベクトル値Sobolev関数について調査すること。
• 滑らかさの構造が存在しない状況下で、共面積公式が成り立つための条件を確立すること。
• 距離空間におけるSobolev関数のグラフの可縮性を分析すること。
• 適切な幾何的仮定の下で、関数およびそのグラフがLuzinの条件(N)を満たすことを確認すること。
• 古典的共面積理論を、倍加測度とPoincaré不等式を満たす一般の測度付き距離空間へと拡張すること。

提案手法

• Poincaré不等式と倍加測度を用いて、弱い上位勾配および距離的導出を制御する。
• 上位勾配の理論とニュートン空間の理論を応用し、距離的設定におけるSobolev関数を定義する。
• レベル集合とそのHausdorff測度を用いた共面積公式の枠組みを適用する。
• 近似と可縮性の議論を用いて、関数およびそのグラフに対するLuzinの条件(N)を確立する。
• 被覆と可測分解技術を用いて、グラフの可算Hausdorff可縮性を示す。
• 倍加測度とPoincaré不等式を満たす測度付き距離空間の構造に依存し、共面積解析に十分な正則性を保証する。

実験結果

リサーチクエスチョン

• RQ1 ベクトル値Sobolev関数が測度付き距離空間に属する場合、共面積公式が成り立つ条件は何か？
• RQ2 倍加測度とPoincaré不等式を満たす測度付き距離空間において、Sobolev関数およびそのグラフはLuzinの条件(N)を満たすか？
• RQ3 このような空間において、Sobolev関数のグラフはHausdorff測度の意味で可算可縮的か？
• RQ4 底辺となる空間の幾何的および解析的性質は、共面積公式の妥当性にどのように影響するか？
• RQ5 定義域に滑らかさやRiemann構造を仮定しない状況でも、共面積公式を確立できるか？

主な発見

• 関数uはLuzinの条件(N)を満たし、零集合を零集合に写像する。
• uのグラフはLuzinの条件(N)を満たし、グラフ写像による測度保存性が保証される。
• uのグラフはHausdorff測度に関して可算可縮的であり、良好に制御された幾何的構造を示す。
• 共面積公式は、測度付き距離空間の設定においてuに対して成り立つ。勾配の積分とレベル集合への積分を結びつける。
• 結果は、倍加測度とPoincaré不等式の仮定の下で得られ、十分な幾何的制御を保証する。
• 解析は、滑らかな構造を欠く一般の測度付き距離空間へと古典的共面積理論を拡張する。