[論文レビュー] Characterization of rectifiable measures in terms of $\alpha$-numbers

Jonas Azzam, Xavier Tolsa+1 more|arXiv (Cornell University)|Aug 23, 2018

Stochastic processes and financial applications参考文献 17被引用数 6

ひとこと要約

本稿は、$d$-可解なRadon測度を$\alpha$-数に基づくジョーンズ型関数を用いて特徴づけ、$\mu$ が $d$-可解であることと、$\mu$-ほとんど everywhere で $\alpha_\mu^d(x,r)^2$ の $dr/r$ に対する積分が有限であることが同値であることを証明する。この結果は、長年の未解決問題を解き、[ADT16]で提唱された $\alpha$-数の $L^2$-summability が可解性の十分条件であるという予想を裏付けるものである。

ABSTRACT

We characterize Radon measures $\\mu$ in $\\mathbb{R}^{n}$ that are $d$-rectifiable in the sense that their supports are covered up to $\\mu$-measure zero by countably many $d$-dimensional Lipschitz graphs and $\\mu \\ll \\mathcal{H}^{d}$. The characterization is in terms of a Jones function involving the so-called $\\alpha$-numbers. This answers a question left open in a former work by Azzam, David, and Toro.

研究の動機と目的

• 幾何的 $\alpha$-数に基づく関数を用いて、$\mathbb{R}^n$ 内の $d$-可解なRadon測度を特徴づける。
• [ADT16] で提起された予想を解消する：$\int_0^1 \widetilde{\alpha}_\mu^d(x,r)^2 \frac{dr}{r} < \infty$ a.e. ならば $d$-可解性が成り立つことの証明。
• $\alpha$-数の $L^2$-summability を根拠とする、$d$-可解性の鋭い十分条件を確立する。
• すべてのスケールにおける $\alpha$-係数の減衰と可積分性に基づいて、$d$-可解な測度の完全な特徴づけを提供する。

提案手法

• $\alpha$-数 $\alpha_\mu^d(B)$ を、$d$-次元ヒルベルト測度の定数倍と $\mu$ 間の正規化されたワサーライン型距離として定義する。
• ジョーンズ型関数 $J_\mu^d(x) = \int_0^1 \alpha_\mu^d(x,r)^2 \frac{dr}{r}$ を用いて、各点 $x$ における $\alpha$-数の減衰を測定する。
• 吹き出し法と近似測度との比較を用いて、$\mu$ が $d$-可解であることと、$\mu$-ほとんど everywhere で $J_\mu^d(x) < \infty$ であることが同値であることを証明する。
• $\alpha_\mu^d(x,r)$ が $r \to 0$ のとき点ごとに消えるだけでは可解性が保証されないことを示す反例を構成し、$L^2$-summability 条件の必要性を示す。
• スケール間での $\alpha$-数の減衰を制御できるように、摂動されたリプシッツグラフ上に台を持つ測度 $\mu_k$ の再帰的構成を用い、$L^2$ 条件の鋭さを検証する。
• アニュラスにおける Hausdorff 測度の幾何的推定と、平行移動不変性を用いて、スケール間での $\alpha$-数の変化を抑え込む。

実験結果

リサーチクエスチョン

• RQ1 $\mu$ がRadon測度であるとき、$\alpha_\mu^d(x,r)$ の $dr/r$ に対する $L^2$-summability は、$d$-可解性の十分条件であるか？
• RQ2 $\alpha$-数を用いて、単一の積分条件として $d$-可解な測度を完全に特徴づけられるか？
• RQ3 $\alpha$-数の点ごとの減衰が可解性を示さない場合、より強い $L^2$-summability 条件が必須であるか？
• RQ4 [ADT16] の予想、すなわち $\int_0^1 \widetilde{\alpha}_\mu^d(x,r)^2 \frac{dr}{r} < \infty$ a.e. ならば $d$-可解性が成り立つ、という命題は一般に正しいか？
• RQ5 すべてのスケールで $\alpha$-数が消える測度は、$\mathcal{H}^d$ に関して特異的になり得るか？

主な発見

• 本稿は、$\mathbb{R}^n$ 上のRadon測度 $\mu$ が $d$-可解であることと、$\mu$-ほとんど everywhere で $\int_0^1 \alpha_\mu^d(x,r)^2 \frac{dr}{r} < \infty$ であることが同値であることを確立した。
• $\alpha$-数の $dr/r$ に対する $L^2$-summability は、$d$-可解性の必要十分条件であり、[ADT16] の予想を解決した。
• 点ごとに $\alpha_\mu^d(x,r) \to 0$ ($r \to 0$) となるが、$\mu$ が $\mathcal{H}^d$ に関して特異的である反例を構成した。これにより、点ごとの減衰だけでは不十分であることが示された。
• 証明は、スケール間で制御された $\alpha$-数の減衰を持つ摂動されたリプシッツグラフ上に台を持つ測度 $\mu_k$ の再帰的構成に依拠している。
• 著者らは、$\alpha_{\mu_{k+1}}(x,r) \lesssim \alpha_{\mu_k}(x',r') + a_{k+1} h_{k+1}$ を示し、$a_k$ と $h_k$ が十分に速く減衰することで $L^2$-summability が保証されることを示した。
• アニュラスの測度に関する幾何的推定と、$\alpha$-数の平行移動およびスケーリングに対する挙動を用いて、スケール間での $\alpha$-数の成長を制御した。