[論文レビュー] Approximation of fractals by manifolds and other graph-like spaces

Olaf Post, Jan Simmer|arXiv (Cornell University)|Feb 8, 2018

Spectral Theory in Mathematical Physics参考文献 23被引用数 3

ひとこと要約

本稿では、pcfフラクタルにおけるエネルギー形式の近似を、メトリックグラフおよびグラフに類似した多様体上のエネルギー形式の系列を用いて行う、準ユニタリ同値性フレームワークを導入する。幾何的およびスペクトル的量を用いてこれらのエネルギー形式間の距離を定量化することで、リゾルベント、スペクトル、固有関数の収束を証明し、滑らかな幾何的対象によるフラクタルラプラシアンの厳密な近似を可能にする。

ABSTRACT

We define a distance between energy forms on a graph-like metric measure space and on a discrete weighted graph using the concept of quasi-unitary equivalence. We apply this result to metric graphs and graph-like manifolds (e.g. a small neighbourhood of an embedded metric graph) as metric measure spaces with energy forms associated with canonical Laplacians, e.g., the Kirchhoff Laplacian on a metric graph resp. the (Neumann) Laplacian on a manifold (with boundary) and express the distance of the associated energy forms in terms of geometric quantities. We showed in arXiv:1704.00064 that the approximating sequence of energy forms on weighted graphs used in the definition of an energy form on a pcf fractal converge in the sense that the distance in the quasi-unitary equivalence tends to 0. By transitivity of quasi-unitary equivalence, we conclude that we can approximate the energy form on a pcf fractal by a sequence of energy forms on metric graphs and graph-like manifolds. In particular, we show that there is a sequence of domains converging to a pcf fractal such that the corresponding (Neumann) energy forms converge to the fractal energy form. Quasi-unitary equivalence of energy forms implies a norm estimate for the difference of the resolvents of the associated Laplace operators. As a consequence, suitable functions of the Laplacians are close resp. converge as well in operator norm, e.g. the corresponding heat operators and spectral projections. The same is true for the spectra and the eigenfunctions in all above examples.

研究の動機と目的

• 離散的および連続的なグラフに類似した空間を用いた、フラクタル上のエネルギー形式の定量的近似フレームワークの構築。
• 準ユニタリ同値性を介して、異なるヒルベルト空間上でのエネルギー形式間の距離の概念の確立。
• pcfフラクタル上のエネルギー形式が、メトリックグラフおよびグラフに類似した多様体上のエネルギー形式の系列によって近似可能であることを示すこと。
• この近似において、リゾルベント、スペクトル、固有関数、熱作用素といったスぺクトル的性質の収束を示すこと。
• 近似誤差を辺の長さ、体積、スぺクトルギャップなどの幾何的パラメータの観点から表現すること。

提案手法

• 準ユニタリ同値性を用いて、離散重み付きグラフおよびメトリック測度空間上のエネルギー形式間の距離を定義し、ユニタリ同値性を一般化する。
• コンパクトかつ連結な台を持つ分区関数 $ \psi_v $ を用いて、$ J: \ell_2(V,\mu) \to L_2(X,\nu) $ および $ J': L_2(X,\nu) \to \ell_2(V,\mu) $ の同定作用素を構成する。
• エネルギースケールをグラフとメトリック空間で一致させるために、エネルギースケーリング係数 $ \tau $ と等長スケーリング係数 $ c $ を用いる。
• グラフの重み $ \gamma_e $、頂点重み $ \mu(v) $、測度 $ \nu(v) $ を用いて、$ \|f - J'Jf\|_{\ell_2} $ および $ \|u - JJ'u\|_{L_2} $ の乖離を評価する。
• ピカレ型不等式およびスペクトル推定を用いて、グラフに類似した多様体の第二固有値 $ \lambda_2 $ を制御し、縮小パrameter $ \varepsilon $ に依存しない一様な下界を保証する。
• [EP05] のスケーリング議論および収束結果を応用し、$ \ell_0, \ell_\infty, \varepsilon $ および幾何的不変量を用いて、$ \lambda_2(X_{v,\varepsilon}) $ の一様な下界を導出する。

実験結果

リサーチクエスチョン

• RQ1 pcfフラクタル上のエネルギー形式は、メトリックグラフおよびグラフに類似した多様体上のエネルギー形式によって近似可能か？
• RQ2 離散的グラフと連続的メトリック空間上のエネルギー形式の間の定量的距離は何か？
• RQ3 このような近似において、関連するラプラシアンのスペクトルおよび固有関数はどのように振る舞うか？
• RQ4 スペクトル的性質の近似における一様収束を保証する幾何的条件は何か？
• RQ5 準ユニタリ同値性フレームワークを用いて、リゾルベントおよび熱作用素の収束を定量的に表現できるか？

主な発見

• pcfフラクタル上のエネルギー形式は、$ \delta \to 0 $ となる refinement に伴い、メトリックグラフおよびグラフに類似した多様体上のエネルギー形式の系列によって $ \delta $-準ユニタリ同値の意味で近似可能である。
• 関連するラプラシアンのリゾルベントの差は、作用素ノルムで $ \delta $ で有界であり、熱作用素やスペクトル射影などのすべてのスペクトル関数の収束を示唆する。
• グラフに類似した多様体 $ X_{v,\varepsilon} $ の第二固有値 $ \lambda_2(X_{v,\varepsilon}) $ は、$ \varepsilon \leq \varepsilon_0 = C_v^{-2} \ell_0 $ のとき、$ \ell_0^{-2} $ で一様に下から抑えられる。これは $ \varepsilon $ に依存しない。
• 近似誤差 $ \delta $ は、グラフの重み $ \gamma_e $、頂点重み $ \mu(v) $、および $ \nu(v) $、$ \operatorname{vol}Y_e $、$ \lambda_2({\check{X}_v}) $ などの幾何的量に明示的に依存する。
• 固有関数およびスペクトルの収束は、準ユニタリ同値性のもとで保証され、スペクトルギャップは極限において一様に保存される。
• 本フレームワークは、メトリックグラフ上のキルホフラプラシアンおよび境界付き多様体上のノイマンラプラシアンの両方へ適用可能であり、統一的な近似理論を可能にする。