1 拡張作用素の概観
1.1 作用素と拡張の基本概念
作用素とは、ある空間の要素(関数、分布、列、状態など)を別の空間の要素へ写す写像として扱われる。多くの場合、作用素は定義域が限られた非自明な写像であり、そのままでは解析が難しいことがある。拡張作用素は、元の作用素を「より大きい枠」へと再配置し、計算や理論展開の都合のよい設定で扱えるようにする考え方である。
拡張の方向性は複数ある。典型的には、定義域を広げることにより適用範囲を拡大する場合が挙げられる。また、滑らかさの要求、境界条件、位相的な枠組み(ノルムや内積、弱位相など)を変えることで、同等な作用をより扱いやすい対象として記述することも拡張に含まれる。さらに、作用素を対称な形や自己共役な形へ整えるといった構成的側面も重要である。
1.2 拡張で保持したい性質
1.2.1 線形性と連続性
多くの拡張は線形性を保持することを目標とする。線形性はスペクトル論やエネルギー推定、弱形式の導出などの基盤になるため、拡張の際に破綻しないことが望ましい。加えて、連続性(あるいは有界性)も重要な指標である。とくに有界作用素であれば拡張は比較的安定だが、無限次元の文脈では未有界作用素が現れ、連続性の扱いは慎重になる。
1.2.2 対称性・自己共役性
対称性(内積に関する可換性)は、作用素論で「物理的に自然な量」を数学的に表す際の目安となる。自己共役性はさらに強く、スペクトルが実数となる、時間発展が確率保存やユニタリ性と結びつく、などの性質をもたらすことが多い。そこで拡張作用素の構成では、元の作用素が持つ対称性を損なわず、可能なら自己共役性へ到達する形がしばしば狙いとなる。
1.3 なぜ拡張が必要か
拡張が必要になる理由は、(1) 定義域が小さすぎることで解析が閉じない、(2)境界条件や滑らかさを微妙に調整しないと適切な弱形式や境界積分が成立しない、(3) 対称作用素から自己共役作用素を作ることでスペクトルや時間発展が扱える、などに整理できる。特に微分方程式では、初期値問題や境界値問題の解の性質を安定に記述するために、作用素の適切な拡張がほぼ必須となる。
2 数学的定式化
2.1 定義域の拡大による拡張
拡張の基本的な数学的内容は「元の作用素が、拡張先で矛盾なく再現される」という包含関係に集約される。作用素 \(A\) がある空間上で定義され、定義域 \(\mathcal{D}(A)\) をもつとき、別の作用素 \(\tilde{A}\) が拡張と呼ばれるのは、適用可能なベクトル(関数)が拡張先では増え、そのうえで元の作用の規則が同じ形で一致する場合である。ここで重要なのは、拡張先で値が定義される「だけ」では不十分で、元の領域上で完全に同一の作用が再現される点である。
2.1.1 グラフによる定義
2.1.1.1 グラフの包含関係
線形作用素 \(A\) のグラフとは、\(\mathcal{D}(A)\) 上の組 \((x,Ax)\) を全て集めた集合である。拡張の定義は、グラフの包含で表現できる。すなわち、作用素 \(\tilde{A}\) が \(A\) の拡張であるとは、グラフ \(G(A)\) が \(G(\tilde{A})\) に含まれることをいう。この定義は、未有界作用素でも自然に運用でき、定義域のズレを明確に制御するのに適している。
さらに、グラフ包含は「元の作用素の値が、拡張先でも同じである」ことを保証する。したがって拡張の議論は、値の一致と適用可能な対象の増加という二要素が同時に満たされる条件として整理される。
2.2 拡張の同値な言い換え
2.2.1 厳密な意味での拡張と同意
グラフの包含に基づく記述は、しばしば言葉の形で別の同値表現として扱われる。例えば「厳密な意味での拡張」という観点では、元の定義域に属する要素では演算結果が拡張先と一致し、定義域が実際に増える場合には意味上の強化が起きる。また、同意(同じ作用規則の共有)という表現は、包含条件の機能的側面を強調する。
同意という観点では、拡張先で新たに定義されるのは、元の定義域外の要素だけである点が重要である。元の領域上では両者の挙動が一致するため、拡張は「追加情報の導入」であり「既存の規則の変更」ではない。
2.2.2 作用素の閉包・極限との関係
拡張と閉包の関係も中核的である。ある作用素が極限操作により、より広い領域で一貫した作用として整理できる場合、そこに現れる作用素は閉包と解釈されうる。一般に、閉包は「最小の閉な拡張」として振る舞うことが多い。したがって、拡張はしばしば、近似列の収束挙動やグラフの極限(あるいは閉性条件)により導かれる。
この見方は、関数解析的手法とも整合する。たとえば、テスト関数や滑らかな関数の集合上で定義された微分演算が、適切な意味で極限を取ることによりより一般の関数へ作用を拡張する、といった状況が典型例である。
3 代表的な構成法
3.1 閉作用素への拡張
閉作用素とは、グラフが閉集合になるような作用素である。未有界作用素では閉性が解析の安定性に直結し、収束列の極限が適切な形で作用素の規則と矛盾しないことを保証する。閉作用素への拡張は、まず元の作用素を「閉性が満たされる形」まで拡張し、さらにその閉包として最小性を確保する流れで実現されることが多い。
この構成は、微分方程式で頻出するエネルギー空間やソボレフ空間との整合性もよく、弱解の定義や境界項の整理を支える。閉性が確立されると、スペクトル理論の適用可能性が増し、熱方程式や波動方程式での演算子手法が組み立てやすくなる。
3.2 双対や随伴を用いた拡張
作用素の双対(共役空間上の対応)や随伴(ある条件での左右対応)は、拡張構成において体系的な道具になる。線形作用素 \(A\) に対し、その随伴 \(A^*\) を考えると、元の作用素の性質が内積構造を通して反映される。対称性は \(A \subset A^*\) のような包含関係で表せ、自己共役性は \(A=A^*\) に対応する。
随伴を用いた拡張の利点は、内積やエネルギーの概念を一貫して反映できる点にある。とくに境界条件を含む微分作用素では、形式的な積分によって得られる随伴が、実際の境界の扱いと結びつくため、拡張の分類や構成が可能になる。
3.3 抽象的拡張定理に基づく方法
3.3.1 演算子の理論的枠組み
抽象的拡張定理とは、具体の方程式や座標系に依存せず、一般の作用素論の枠組みから「どのような条件があれば拡張が存在し、どのように分類できるか」を与える定理群を指す。そこでは、対称性、閉性、密な定義域、連続性構造、あるいは欠損指数といった不変量が用いられることが多い。
この枠組みは、具体的な拡張手続きを単なる計算に留めず、理論的な保証を提供する。結果として、同じ形式の微分作用素でも、領域の取り方によって異なる自己共役拡張が現れる場合があり、その可能性が整理される。
3.3.2 条件の検証手順
定理を使うには、前提条件の確認が必要である。通常は、(1)元の作用素が定義された空間と定義域が密であるか、(2) 対称性や閉性がどの範囲で成り立つか、(3) 随伴との関係がどの包含構造を満たすか、(4) 必要なら欠損の評価や極限過程の整合性を確認する、という手順になる。
確認はしばしば二段階になる。第一に、形式的計算(内積を用いた積分による対称性検証など)で候補が得られる。第二に、機能解析的な条件(収束性、閉性、境界項の消失条件など)を満たすかを確認して、拡張の存在や一意性の主張へ到達する。
4 具体例と応用
4.1 微分作用素と境界条件の調整
微分作用素の拡張では、境界条件が定義域の一部として組み込まれる。例えば区間上の一次元模型では、単に第二微分を考えるだけでなく、関数が端点で満たすべき関係(値、導関数、組み合わせなど)を定義域に含めることで、作用素としての整合性が生じる。このとき、形式的には同じ微分式でも、拡張された作用素の族は境界条件の取り方に依存し、スペクトルや解の振る舞いが変わる。
また、調整の目的は自己共役性や確率保存、エネルギー評価の成立などの性質に直結する。境界項が弱形式で適切に相殺されるように定義域を選ぶことで、演算子理論と偏微分方程式の弱解理論が接続される。
4.2 ラプラシアン型作用素の拡張
ラプラシアン型作用素では、対象領域(多様体や領域)と境界の幾何が拡張の設計に影響する。典型的には、境界があるときに「境界での消失」「法線方向の微分の条件」「その混合」などが定義域に反映され、結果として熱核や波動の伝播特性が決まる。
拡張の実務では、滑らかな関数上のラプラシアンを出発点にしつつ、エネルギーに対応するソボレフ空間へ持ち上げることが多い。こうして得られる拡張作用素は、エネルギー汎関数の可積分性や境界項の制御と結びつき、偏微分方程式の解を生成する演算子の基盤になる。
4.3 スペクトルと熱・波動方程式への寄与
自己共役に近い拡張が得られると、スペクトル分解の枠組みが適用でき、熱方程式や波動方程式の解が演算子指数や正弦・余弦作用素として表される。これにより、初期条件や強制項に対する解の存在、正則性、減衰率などの定量的評価が可能になる。
熱方程式では、スペクトルの下側に関する情報がエネルギー減衰や熱拡散の速度と関連し、波動方程式では固有振動の構造が時間発展の様式を左右する。拡張作用素の役割は、これらの方程式を形式的に扱う段階から、厳密な解析へと接続する点にある。