[論文レビュー] Self-adjoint extensions of network Laplacians and applications to resistance metrics

Palle E. T. Jørgensen, Erin P. J. Pearse|arXiv (Cornell University)|Mar 29, 2011

Spectral Theory in Mathematical Physics参考文献 38被引用数 4

ひとこと要約

本稿は、ヒルベルト空間 $\mathcal{H}_{\mathcal{E}}$ 上のネットワークラプラシアンのフレーリングス拡張を、自己共役 $\ell^2$-ラプラシアン $\Delta_2$ と関連付けることで特徴づけ、それらのスペクトル測度が互いに絶対連続であり、Radon-Nikodym 微分が $\lambda$ に等しいことを示している。この結果を応用して、非一様ネットワークにおける有効抵抗の明示的公式を導出し、特に $d \geq 3$ の $\mathbb{Z}^d$ 上でも成立することを示している。また、$\Delta_2$ のスペクトルギャップがワイヤード抵抗の上界を与えることを確立している。

ABSTRACT

Let $(G,c)$ be an infinite network, and let $\mathcal{E}$ be the canonical energy form. Let $Δ_2$ be the Laplace operator with dense domain in $\ell^2(G)$ and let $Δ_{\mathcal{E}}$ be the Laplace operator with dense domain in the Hilbert space $\mathcal{H}_\mathcal{E}$ of finite energy functions on $G$. It is known that $Δ_2$ is essentially self-adjoint, but that $Δ_{\mathcal{E}}$ is \emph{not}. In this paper, we characterize the Friedrichs extension of $Δ_{\mathcal{E}}$ in terms of $Δ_2$ and show that the spectral measures of the two operators are mutually absolutely continuous with Radon-Nikodym derivative $λ$ (the spectral parameter), in the complement of $λ=0$. We also give applications to the effective resistance on $(G,c)$. For transient networks, the Dirac measure at $λ= 0$ contributes to the spectral resolution of the Friedrichs extension of $Δ_{\mathcal{E}}$ but not to that of the self-adjoint $\ell^2$ Laplacian.

研究の動機と目的

• 無限大ネットワーク $(G,c)$ 上の有限エネルギーヒルベルト空間 $\mathcal{H}_{\mathcal{E}}$ におけるネットワークラプラシアンのフレーリングス拡張を、自己共役 $\ell^2$-ラプラシアン $\Delta_2$ を用いて特徴づけること。
• $\Delta_2$ と $\Delta_{\mathcal{E}}$ のフレーリングス拡張との間でスペクトル的同等性を確立し、それらのスペクトル測度が互いに絶対連続であり、Radon-Nikodym 微分が $\lambda$ に等しいことを示すこと。
• このスペクトル的対応を応用して、非一様ネットワークにおける有効（ワイヤード）抵抗計測の明示的公式を導出すること。
• 特に $d \geq 3$ の場合に、スペクトル理論的手法を用いて $\mathbb{Z}^d$ 上の抵抗に関する古典的結果を再導出すること。
• 特に、$\mathcal{H}_{\mathcal{E}}$ がネットワークの計測的および境界的性質を捉える自然な空間として果たす役割を明確にすること。

提案手法

• 無限大ネットワーク $(G,c)$ 上の関数の有限エネルギー空間としてのヒルベルト空間 $\mathcal{H}_{\mathcal{E}}$ を、標準的なエネルギー形式 $\mathcal{E}$ を用いて定義する。これは $\ell^2(G)$ とは異なる。
• $\mathcal{H}_{\mathcal{E}}$ 上のラプラシアン $\Delta_{\mathcal{E}}$ と $\ell^2(G)$ 上の $\Delta_2$ を比較する。$\Delta_2$ は本質的に自己共役であるが、$\Delta_{\mathcal{E}}$ はそうではない。
• $\Delta_{\mathcal{E}}$ にフレーリングス拡張を適用し、自己共役拡張を構成し、スペクトル理論を用いて $\Delta_2$ と関連付ける。
• フレーリングス拡張のスペクトル分解を導出する。その際、スペクトル測度が $\Delta_2$ のものに対して絶対連続であり、Radon-Nikodym 微分が $\lambda$ に等しいことを示す。
• スペクトル対応を用いて、$(G,c)$ 上のワイヤード抵抗計測を $\Delta_2$ のスペクトル分解を用いて表現する。特に、補題 6.8 の式を用いる。
• $\mathbb{Z}^d$ に単位コンダクタンスを適用し、フーリエ解析と $L^1$/$L^2$ 積分可能性条件を用いてモノポールとディポールの存在を特定する。

実験結果

リサーチクエスチョン

• RQ1 $\mathcal{H}_{\mathcal{E}}$ 上のネットワークラプラシアンのフレーリングス拡張は、自己共役 $\ell^2$-ラプラシアン $\Delta_2$ を用いてどのように特徴づけられるか？
• RQ2 $\Delta_2$ と $\Delta_{\mathcal{E}}$ のフレーリングス拡張のスペクトル測度の関係は何か？
• RQ3 非一様ネットワークにおける有効（ワイヤード）抵抗計測は、$\Delta_2$ のスペクトル分解を用いて表現可能か？
• RQ4 $\mathbb{Z}^d$ 上で、モノポールとディポールが $\mathcal{H}_{\mathcal{E}}$ および $\ell^2(\mathbb{Z}^d)$ に存在するための条件は何か？
• RQ5 $\Delta_2$ のスペクトルギャップは、非一様ネットワークにおけるワイヤード抵抗の境界とどのように関係するか？

主な発見

• $\Delta_2$ と $\Delta_{\mathcal{E}}$ のフレーリングス拡張のスペクトル測度は、互いに絶対連続であり、Radon-Nikodym 微分はスペクトルパラメータ $\lambda$ に等しい。
• 非一様ネットワーク $(G,c)$ 上のワイヤード抵抗計測は、Corollary 6.8 に述べられた式を用いて、$\Delta_2$ のスペクトル分解を用いて与えられる。
• $\Delta_2$ にスペクトルギャップがあると、ワイヤード抵抗に一様な上界が与えられる。Corollary 6.9 で示されている。
• 単位コンダクタンスを有する $\mathbb{Z}^d$ において、モノポールは $d \geq 3$ のときかつそのときに限り $\mathcal{H}_{\mathcal{E}}$ に存在する。これは $\mathbb{T}^d$ 上での $1/S(t)$ の $L^1$-可積分性による。
• $\mathbb{Z}^d$ 上のモノポール $w_o(x)$ は、積分式 $w_o(x) = \frac{1}{(2\pi)^d} \int_{\mathbb{T}^d} \frac{\cos(x\cdot t)}{S(t)} dt$ で与えられ、$d \geq 3$ のときかつそのときに限り収束する。
• $\ell^2(\mathbb{Z}^d)$ 上に存在するディポール $v_x = \Delta^{-1/2}\delta_x$ は $d \geq 3$ のときかつそのときに限り存在する。同様に、モノポールが $\ell^2(\mathbb{Z}^d)$ に属するのは $d \geq 5$ のときであり、これは $1/S(t)$ の $L^2$-可積分性による。