[論文レビュー] Formally self-adjoint quasi-differential operators and boundary value problems

Andrii Goriunov, Vladimir Mikhailets+1 more|arXiv (Cornell University)|May 8, 2012

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

ひとこと要約

本稿では、有限区間上の任意の順序の形式的に自己共役な準微分作用素に対して、境界三つ組の枠組みを構築し、境界条件を用いてすべての最大発散的・蓄積的・自己共役拡張を明示的に特徴付ける。主な貢献は、上半平面または下半平面で正則でノルムの上限を満たす行列値関数を用いた、一般化されたリゾルベントとスペクトル拡張の構成的かつパラメータ化された記述であり、古典的結果を分布係数をもつ作用素へ一般化したものである。

ABSTRACT

We develop the machinery of boundary triplets for one-dimensional operators generated by formally self-adjoint quasi-differential expression of arbitrary order on a finite interval. The technique are then used to describe all maximal dissipative, accumulative and self-adjoint extensions of the associated minimal operator and its generalized resolvents in terms of the boundary conditions. Some specific classes are considered in greater detail.

研究の動機と目的

• 有限区間上の任意の順序の形式的に自己共役な準微分作用素に対して、境界三つ組の枠組みを構築すること。
• 最小対称準微分作用素のすべての最大発散的・蓄積的・自己共役拡張を、明示的かつ構成的に記述すること。
• 最小作用素の一般化リゾルベントを、ノルムの上限を満たす正則な行列値関数によって特徴付けること。
• 古典的微分作用素を超えて、測度や分布を含む分布係数をもつ作用素に対しても理論を拡張すること。

提案手法

• 著者らは、特異係数をもつ形式的に自己共役な微分表現を正則化するために、Shin–Zettlの準微分を用い、$L_2([a,b],\mathbb{C})$ 内での作用素の定義を可能にした。
• 最小対称準微分作用素に対して、準微分に基づく境界値 $\Gamma_{[1]}y$ と $\Gamma_{[2]}y$ をトレース写像として用いて、境界三つ組を構成した。
• 境界三つ組の理論を応用し、$m \times m$ 行列 $K(\lambda)$ でパrameter化された境界条件を用いて、すべての最大発散的および自己共役拡張を分類した。
• 一般化リゾルベントは、$R_\lambda h = y$ という式で構成され、$y$ は $l(y) = \lambda y + h$ を満たし、$\|K(\lambda)\| \leq 1$ を満たす正則な行列関数 $K(\lambda)$ を含む境界条件を満たす。
• パラメータ化が全単射であることが示され、すべての一般化リゾルベントと許容可能な行列関数との間の完全かつ一意の対応が保証された。
• 分離境界条件と実数値係数をもつ特別な場合にこの手法を適用し、最大発散的拡張が自己共役であることが示された。

実験結果

リサーチクエスチョン

• RQ1 分布係数をもつ形式的に自己共役な準微分作用素のすべての自己共役拡張を、境界条件を用いてどのように明示的に記述できるか。
• RQ2 このような作用素の最大発散的および蓄積的拡張の構造は何か。また、それらはどのようにパラメータ化できるか。
• RQ3 最小対称準微分作用素の一般化リゾルベントは、境界条件および行列値関数を用いてどのように特徴付けられるか。
• RQ4 最大発散的拡張が自己共役拡張と一致する条件は何か。特に、実数値係数の場合にその条件は何か。
• RQ5 境界三つ組の枠組みは、有限区間上の任意の順序の準微分作用素に体系的かつ一貫して適用可能か。

主な発見

• 最小対称準微分作用素のすべての最大発散的・蓄積的・自己共役拡張は、上半平面または下半平面で正則で $\|K(\lambda)\| \leq 1$ を満たす $m \times m$ 行列 $K(\lambda)$ を含む境界条件によって完全に特徴付けられる。
• 最小作用素の一般化リゾルベントは、境界条件 $\left(K(\lambda) - I\right)\Gamma_{[1]}f \pm i\left(K(\lambda) + I\right)\Gamma_{[2]}f = 0$ を満たす $l(y) = \lambda y + h$ の解 $y$ として明示的に記述される。ただし、$\lambda$ の属する半平面に応じて符号が異なる。
• $K(\lambda)$ を用いた一般化リゾルベントのパラメータ化は全単射であり、これにより、このようなリゾルベントと許容可能な行列関数との間の完全かつ一意の対応が保証される。
• 実数値係数の場合、すべての最大発散的または蓄積的拡張は必然的に自己共役であり、$K(\lambda)^* = K(\lambda)^{-1}$ を満たす境界条件によってすべての拡張が記述される。
• 分離境界条件の場合、境界行列のブロック対角形が得られ、スペクトル解析が簡略化される。
• この構成は、特異係数をもつ高階微分作用素のスペクトル理論に対して明示的かつ計算可能な枠組みを提供し、古典的結果を準微分設定へ拡張した。