Topology in One Point Interaction Problem on Extended Non-Local Star Graphs and its Eigenvalues

技術要約：拡張された非局所スターグラフにおける一点相互作用問題のトポロジーとその固有値

問題設定
本論文は、スター型メトリックグラフ上で定義されたシュトゥルム＝リウヴィル作用素に関する逆スペクトル問題を調査するものである。具体的なモデルは、既知の長さ $l_j$ を持つ $m$ 本のエッジ（$e_j$）が中心頂点 $v_0$ に接続されたものである。この系は、中心頂点における「凍結引数（frozen argument）」条件（一点相互作用を表す）と、複素数値の非局所ポテンシャル $q_j(x)$ によって支配される微分方程式によって記述される。境界条件には、外側の頂点におけるディリクレ条件、中心頂点における連続性、およびポテンシャルの積分項を含む一般化された非局所キルヒホフ則が含まれる。

主要な目的は、非局所的なスペクトルデータを用いてネットワーク構造に関するトポロジー情報を復元することである。この解析を容易にするため、著者は、スターグラフのエッジの外側の端点を接続して、新しいエッジ $\bar{e}_j$（長さ $\bar{l}_j$）を持つ環状メトリックグラフを形成することにより、「拡張された閉じたグラフ」$\bar{T}$ を構築する。本研究は、この拡張された系のスペクトルに基づき、拡張エッジの長さおよびポテンシャル関数の一意性を決定することを目的としている。

手法
解析は、特殊解の構築と、系の固有値に対応する零点を持つ特性関数 $\Phi(z)$ の導出を通じて進行する。

1. 特殊解の構築: 著者は、ニジニク（Nizhnik）の構成法を修正し、元のエッジ上の特殊解 $\phi_j(x; z)$ および拡張エッジ上の特殊解 $\bar{\phi}_j(x; z)$ を定義する。これらの解は、中心頂点における連続条件および外側の頂点におけるディリクレ条件を満たすように設計されている。
2. フーリエ解析: 非局所ポテンシャル $q_j(x)$ はフーリエ正弦級数へと展開される。これらの級数の係数が、解およびその導関数を表現するために利用される。
3. 特性関数の導出: 頂点におけるフラックス（導関数）の総和を求め、非局所境界条件（一般化されたキルヒホフ則）を組み込むことにより、特性関数 $\Phi(z)$ を導出する。この関数は有限型の整関数であり、その零点集合は問題の固有値を定義する。
4. 複素解析と密度引数: 著者は、以下の整関数の理論のツールを用いる：
   • ティッチマーシュの補題（Titchmarsh's Lemma）: 零点の計数関数と支持集合の凸包との関係を関連付ける。
   • カートライトの定理（Cartwright's Theorem）: フーリエ変換が整数上で消滅する場合、基礎となる関数は自明であることを確立する。
   • 零点密度: 2つのグラフのスペクトルデータを比較するために、積および和の整関数の零点密度（$\delta$）を計算する。

主要な貢献と結果

• 存在性とウェル・ポーズド性（適正設定）: 本論文は、微分系がウェル・ポーズドであることを確立している。エッジの長さ $\{l_j, \bar{l}_j\}$ の有理独立性の仮定の下で、固有値の集合は空ではなく、かつ自明な正弦項の零点に完全に含まれることもない（すなわち、非自明な非局所固有値が存在する）ことを証明している。
• 拡張エッジの長さの一意性: 命題 3.11 は、2つの拡張スターグラフが同一のポテンシャル関数を持ち、かつそれらの特性関数が（定数を除いて）同一であるならば、拡張エッジの長さ $\bar{l}_j$ は等しくなければならないことを示している。著者は、これは拡張エッジの長さの一意性を証明するものであるが、さらなる制約なしには、元のグラフが共存的（幾何学的なあらゆる側面において同一）であることを自動的に意味するものではないと明記している。
  理
• ポテンシャルの一意性: 定理 3.12 は、2つの系（既知の有理独立なエッジ長を持つ）の特性関数が同一である場合、各エッジ上のポテンシャル関数 $q_j(x)$ はほとんど至る所で同一であることを証明している。これは、ポテンシャルの差がフーリエ変換を消滅させることを示すことで達成される。

意義と主張
著者は、この系が「非常に必要な条件」、具体的にはエッジの長さの有理独立性とポテンシャルの非自明性の下で解けることを主張している。本研究の主な意義は以下の通りである：

1. ネットワーク幾何学の復元: スターグラフの端点を接続する拡張エッジの長さを、スペクトルデータから復元する手法を提供する。本論文は角度情報の復元を目指しているが、厳密な結果は、拡張エッジの長さの一意性を確立しており、これは特定の幾何学的構成下での角度に関連している。
2. 非局所モデリング: 非局所ポテンシャルおよび非局所境界条件（凍結引数）を持つ作用素の逆問題を扱っており、これらは振動や、中央制御センターで監視されるフラックスなどの物理現象をモデル化している。
3. 数学的厳密性: この特定のクラスの拡張された非局所スターグラフに対する逆スペクトル問題の一意性を確立し、スペクトルデータがポテンシャル関数および拡張エッジの長さを一意に決定することを示している。

本論文は、逆スペクトル問題が一意的かつ解ける定式化を持つと結論付けており、非局所的なスペクトルデータからポテンシャル関数および拡張エッジの長さを再構成することが可能であることを示している。