第12章 基本解と総まとめ
「一発の撃力」への応答が、すべてを決める
微分方程式を解く究極の戦略が、超関数によって見えてきます。線形の微分方程式 ( は微分作用素、 は入力)を考えましょう。もし「一点集中の入力 に対する応答」——デルタを入れたときの解——が 分かれば、任意の入力 への応答は、その応答を畳み込むだけで得られる。一発の撃力への反応さえ知れば、 どんな力の加わり方にも答えられるのです。この「撃力への応答」が基本解です。
基本解=デルタ入力への応答 。それが分かれば、任意の入力 への解は で得られる。
基本解(グリーン関数)
定義 基本解
線形微分作用素 に対し、
をみたす超関数 を の基本解(グリーン関数)という。
定理 基本解で方程式が解ける
を の基本解とすると、 の解は畳み込み
で与えられる。
証明
は微分作用素で、畳み込みと可換:。( は畳み込みの単位元 第6章:。)よって は をみたす。∎
第9章で の解が だったのを思い出してください。あの こそ、 の基本解 でした。フーリエ変換で基本解を求めるのは簡単です—— (作用素の記号を割るだけ)。
例 基本解をフーリエ変換で求める
なら 、フーリエ側で 。基本解は 、逆変換して 。熱核 (第9章)も の基本解にあたる。「作用素をフーリエ変換して割り、逆変換する」——超関数が、この 操作を( や非可積分な対象を含めて)正当化する。
超関数なしには、 を入力にすることも、 を逆変換することも、厳密にはできませんでした。 超関数の理論が、この強力な解法(基本解+畳み込み)に厳密な土台を与えたのです。偏微分方程式(発展)で 本格的に使われる、現代解析の中心的な道具です。
フーリエ解析の全体像
長い旅を振り返りましょう。一貫していたのは「関数を振動数で分解し、難しい操作を易しくする」という精神です。
注意 この分野の地図
- フーリエ級数(第1〜4章):周期関数を波に分解。収束は各点(ディリクレ・脆い)→ 平均(フェイエール・ 一様)→ (パーセバル・無条件)と、ものさしを変えて征服。ギブス現象。
- フーリエ変換(第5〜9章):非周期関数を連続スペクトルへ。リーマン–ルベーグ、畳み込み定理、反転・ プランシュレル(ユニタリ)、不確定性原理。そして微分が掛け算になり、熱方程式が解ける。
- 超関数(第10〜12章):デルタを汎関数として厳密化。操作を試験関数へ移して、あらゆる対象を微分・変換。 基本解で微分方程式を統一的に解く。
貫く三つの果実:(1) 収束のものさしは一つでない(各点・一様・)、(2) 微分↔掛け算という辞書が 方程式を解く、(3) 「関数でないもの」まで含めて理論を完成させると、かえって扱いやすくなる。抽象化が 道具の切れ味を上げる——フーリエ解析はその見事な実例でした。
他分野とのつながり
フーリエ解析は、これまでの分野を束ね、これからの分野へ橋を架けます。
注意 回収と展望
- 回収:測度論(・収束定理・フビニ)、関数解析(・正規直交基底・ ユニタリ・コーシー–シュワルツ)を全編で使った。確率論の特性関数はフーリエ変換そのもの。
- 展望:基本解と超関数は偏微分方程式(発展)(ソボレフ空間・弱解)の言語。 不確定性・スペクトルは量子力学。信号処理・画像処理・数論(テータ関数・ポアソン和公式)まで、フーリエ解析は 応用数学の共通言語。
「複雑な波を純粋な音に分ける」という素朴な願いから始まって、収束理論・変換・不確定性・超関数・基本解まで、 一本の道でつながりました。振動数という一つの視点が、これほど広い world を照らす——それがフーリエ解析の力です。
つまずきポイント
注意 よくある誤解
- 基本解はデルタ入力への応答。 。任意の入力への解は 。一発の応答が全入力への応答を決める (線形性+畳み込み)。
- は超関数あってこそ。 を入力にし、非可積分な を逆変換するのに超関数論が 要る。素朴な関数論では正当化できない。
- 収束のものさしを使い分ける。 各点・一様・ は別。問題に応じて適切なものさしを選ぶのがフーリエ解析の 作法。
- フーリエ変換は情報を保存する(ユニタリ)。 時間↔振動数は同じ情報の二表現。どちらで解いても等価。
この章のまとめ
- 基本解 (、グリーン関数):デルタ入力への応答。任意の入力 への解は (畳み込み)。フーリエ側では ——超関数が 入力と非可積分な逆変換を正当化する。
- フーリエ解析の三本柱:級数(ものさしを変えて収束を征服)・変換(微分↔掛け算で方程式を解く)・超関数(関数でないものまで微分・変換)。
- 貫く精神は「振動数で分解し、難しい操作を易しくする」。抽象化が道具の切れ味を上げた。
- 測度論・関数解析を回収し、偏微分方程式(発展)・確率論・量子力学へ橋を架ける、応用数学の共通言語。
- 実解析・フーリエ解析(全12章)はこれで完結。次は 偏微分方程式(発展) か 確率論 へ進むと、この道具が実際に働く姿が見えます。
お疲れさまでした。複雑な波を純粋な音に分ける旅は、超関数と基本解、そして現代解析の入り口まで辿り着きました。