[論文レビュー] Measure-geometric Laplacians on the real line

Marc Keßeböhmer, Tony Samuel+1 more|arXiv (Cornell University)|Feb 13, 2018

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

ひとこと要約

本稿では、連続測度 $\nu$ と有限個のデルタ質量の和 $\delta$ からなる実数直線上の測度 $\eta = \nu + \delta$ に対して、測度幾何的ラプラシアンを一般化する。得られるラプラシアン $\Delta_\eta$ が、$L^2_\eta$ 上で稠密に定義され、自己共役で、非正かつコンパクトなリゾルベントを持つことを確立し、固有値および固有関数の明示的公式を用いて完全なスペクトル的特徴付けを提供する。これには、固有値の数え上げ関数の漸近的成長率も含まれる。

ABSTRACT

Motivated by the fundamental theorem of calculus, and based on the works of Feller as well as Kac and Kre\uın, given an atomless Borel probability measure $η$ supported on a compact subset of $\mathbb{R}$, Freiberg and Zähle introduced a measure-geometric approach to define a first order differential operator $ abla_η$ and a second order differential operator $Δ_η$, with respect to $η$. We generalise this approach to measures of the form $η= ν+ δ$, where $ν$ is continuous and $δ$ is finitely supported. We determine analytic properties of $ abla_η$ and $Δ_η$ and show that $Δ_η$ is a densely defined, unbounded, linear, self-adjoint operator with compact resolvent. Moreover, we give a systematic way to calculate the eigenvalues and eigenfunctions of $Δ_η$. For two leading examples, we determine the eigenvalues and the eigenfunctions, as well as the asymptotic growth rates of the eigenvalue counting function.

研究の動機と目的

• フリーベルクとツァーレの測度幾何的ラプラシアン枠組みを、連続的および有限個の原子的成分を併せ持つ測度へ拡張すること。
• $\nabla_\eta$ という一階微分作用素と $\Delta_\eta = -\nabla_\eta^* \circ \nabla_\eta$ という二階作用素の解析的およびスペクトル的性質を分析すること。
• $\eta = \nu + \delta$ で $\nu$ が連続的、$\delta$ が有限に台を持つような混合測度に対して $\Delta_\eta$ の固有値および固有関数を特定し、固有値の数え上げ関数の漸近的挙動を確立すること。

提案手法

• 測度 $\eta = \nu + \delta$ の累積分布関数に基づく測度幾何的アプローチを用いて $\nabla_\eta$ と $\Delta_\eta$ を定義し、古典的微分およびラプラシアンを一般化する。
• $\Delta_\eta$ が $L^2_\eta$ 上で稠密に定義され、線形的、自己共役的、非正であり、コンパクトなリゾルベントを持つことを証明する。
• 固有関数が満たすべき超越方程式の系を導出し、変換された累積分布関数 $F_\nu(x)$ の正弦関数と、原子的点における飛躍条件を含む。
• 関数解析的技法を用いて、固有関数が原子の重みおよび位置によって定まる位相シフトを持つ区分的正弦関数であることを示す。
• 周期的設定への変換を用いて固有関数の正規直交性および完全性を確立し、問題をサイクルグラフフレームワークに還元する。
• スペクトル漸近論の技法を適用し、固有値の数え上げ関数の成長率を導出し、$x \to \infty$ のとき $\pi N_\eta(x)/\sqrt{x} \to 1$ であることを示す。

実験結果

リサーチクエスチョン

• RQ1 測度幾何的ラプラシアンは、連続的および離散的成分を併せ持つ測度へどのように拡張可能か？
• RQ2 $\eta = \nu + \delta$ で $\nu$ が連続的、$\delta$ が有限に台を持つ場合、$\Delta_\eta$ のスペクトル的性質は何か？
• RQ3 このような混合測度に対して $\Delta_\eta$ の固有値および固有関数を明示的に計算可能か？
• RQ4 固有値の数え上げ関数 $N_\eta(x)$ は、$\Delta_\eta$ に対してどのように漸近的に成長するか？
• RQ5 固有関数は原子的点で対称性や連続性を示すか？ これはスペクトルの重複度にどのように影響するか？

主な発見

• $\Delta_\eta$ は $L^2_\eta$ 上で稠密に定義され、自己共役的、非正であり、コンパクトなリゾルベントを持つ。
• $\Delta_\eta$ の固有関数は、原子の間の区間で $f(x) = a_j \sin(bF_\nu(x) + \gamma_j)$ の形の区分的正弦関数である。
• 固有値は $\lambda = -b^2$ で与えられ、$b$ は原子の重みおよび位置を含む非線形方程式系を満たす。
• 例として $\eta = \Lambda + \pi^{-1}\delta_{1/2} + \pi^{-1}\delta_1$ を考えるとき、固有値は $\lambda^{(-2,2)} = 4\pi^2$、$\lambda^{(-1,2)} = \pi^2$、$\lambda^{(1,2)} \approx 21.8$、$\lambda^{(2,2)} \approx 106.9$、$\lambda^{(3,2)} \approx 267.2$、$\lambda^{(4,2)} \approx 505.3$ である。
• 固有値の数え上げ関数は $\lim_{x \to \infty} \pi N_\eta(x)/\sqrt{x} = 1$ を満たし、これは平方根型のスペクトル的成長を示している。