[論文レビュー] M-functions for closed extensions of adjoint pairs of operators with applications to elliptic boundary problems

B. M. Brown, Gerd Grubb+1 more|ArXiv.org|Mar 26, 2008

Spectral Theory in Mathematical Physics参考文献 22被引用数 13

ひとこと要約

本稿は、楕円境界値問題における随伴作用素対の閉拡張に関連するM関数の一般枠組みを構築する。M関数が特定のスペクトル点（特に本質的スペクトルに属するもの）を検出できない場合があることを示しており、特に境界係数が区間上で消える場合に顕著である。これにより、同じM関数を示すにもかかわらず異なる本質的スペクトルを持つ作用素に対しても、スペクトル検出の限界が明らかになる。

ABSTRACT

In this paper, we combine results on extensions of operators with recent results on the relation between the M-function and the spectrum, to examine the spectral behaviour of boundary value problems. M-functions are defined for general closed extensions, and associated with realisations of elliptic operators. In particular, we consider both ODE and PDE examples where it is possible for the operator to possess spectral points that can not be detected by the M-function.

研究の動機と目的

• 非対称的および非局所的境界条件を含む、随伴作用素対の一般閉拡張へのM関数理論の拡張。
• 特に、スペクトル点がM関数によって捉えられない場合に、M関数のスペクトル検出能力を調査すること。
• 境界係数が開区間上で消える場合に、M関数と本質的スペクトルの関係を明確にすること。
• 異なる本質的スペクトルを持つ作用素が同一のM関数をもたらすことを示し、M関数がスペクトル構造を完全に特徴づけるという仮定に疑問を呈すること。

提案手法

• 可逆な参照作用素 $ A_\beta $ を用いた閉拡張の普遍的パrametrization を、Grubb (2007) の技術を用いて $ \widetilde{A} - \lambda $ に拡張する。
• 境界三つ組および抽象的境界作用素 $ T^\lambda: V_\lambda \to W_{\bar{\lambda}} $ の理論を用いて、解の核と像を特徴付ける。
• 擬微分作用素（pdo）および擬微分境界作用素（pdbo）の計算を用いて、非有界な境界写像および非局所的条件を扱う。
• 境界条件 $ \Gamma_1 u = B \Gamma_0 u $ によって定義される実現作用素 $ A_B $ の解の核とM関数を結ぶ、Kreĭn型の解の核公式を導出する。
• 変数係数 $ a(x), b(x), c(x) $ を持つ2×2の常微分方程式系を解析し、変換 $ \varphi = \exp(\int \frac{\alpha'}{2\alpha}) u_1 $ を用いて固有値問題を $ \varphi $ に関する2階微分方程式に還元する。
• 変換されたODEの解 $ y_1, y_2 $ を用いてM関数の成分を明示的に計算し、$ \frac{b(x)}{\lambda - c(x)} $ が $ b(x) \equiv 0 $ となる区間で $ c(x) $ の滑らかな変更に対して不変であることを示す。

実験結果

リサーチクエスチョン

• RQ1 楕円境界問題における随伴作用素対の閉拡張の本質的スペクトルをM関数が完全に検出できるか？
• RQ2 異なる本質的スペクトルを持つ2つの楕円型作用素が、同一のM関数をもたらす条件は何か？
• RQ3 境界係数 $ b(x) $ が開区間上で消える場合、M関数に符号化されたスペクトル情報にどのような影響を与えるか？
• RQ4 作用素の主要記号が楕円的でない場合、M関数がどの程度スペクトル点を検出できないか？
• RQ5 擬微分境界作用素は、一般閉拡張の非有界境界条件を表現するために果たす役割は何か？

主な発見

• 境界係数 $ b(x) $ が開区間 $ I \subseteq (0,1) $ 上で恒等的に0である場合、M関数は本質的スペクトルに属するスペクトル点を検出できないが、その点はスペクトルに属している。
• 区間 $ I $ で $ c(x) $ を滑らかに変更したことで本質的スペクトルが異なる2つの作用素 $ A_1 $ と $ \widetilde{A}_1 $ は、$ \frac{b(x)}{\lambda - c(x)} $ が不変であるため、同一のM関数をもたらす。
• 作用素の本質的スペクトルは $ ab + c $ の像に等しく、この集合で楕円性が失われる。これにより、$ \operatorname{ran}(ab + c) $ に属するスペクトル点が本質的スペクトルに属することを確認できる。
• M関数の成分 $ m_{ij} $ は、変換されたODE $ \varphi'' + \frac{1}{\alpha}\left[ \frac{\alpha'^2}{4\alpha} - \frac{\alpha''}{2} - \beta\lambda \right]\varphi = 0 $ の解 $ y_1, y_2 $ を用いて明示的に計算可能であり、$ \frac{ab}{\lambda - c} - 1 $ の分母が発散する場合にのみ特異点が生じる。
• $ A_{\max} - \lambda $ の核は、2つの独立な解 $ (c_1 y_1 + c_2 y_2, \frac{b}{\lambda - c}(c_1 y_1' + c_2 y_2')) $ で張られる。これは、$ \frac{b}{\lambda - c} $ を通じた $ \lambda $-依存の結合の役割を示している。
• $ y_1'(1) = 0 $ のとき、M関数は極を持つ。これはNeumann作用素 $ A_1 $ の固有値に対応するが、他のスペクトル点（例：本質的スペクトルに属するもの）はM関数の極によって検出されない。