偏微分方程式、つまり PDE とは、2つ以上の変数をもつ未知関数と、その偏導関数を含む方程式です。「PDEとは何か」と調べたなら、短く言えばこうです。PDEは、ふつう空間と時間のように、複数の入力が重要になるときに、何かがどう変化するかを表します。
これが常微分方程式(ODE)との主な違いです。ODEでは独立変数は1つです。PDEは、注目する量が位置と時間のように少なくとも2つの独立変数に依存するときに現れます。
偏微分方程式とは何か
とすると、 は位置 と時間 の両方に依存しています。次のような導関数
は、 が時間に対してどう変化するか、また空間の中でどう曲がっているかを表します。
たとえば
のような式は PDE です。なぜなら、同じ関数の偏導関数どうしを、異なる変数について結びつけているからです。ここで は定数です。熱の流れのモデルでは、通常は拡散係数を表します。
PDEとODEの違いを一言で
未知の量が1つの独立変数だけに依存するなら、ふつうは ODE になります。複数の独立変数に依存するなら、ふつうは PDE になります。
たとえば、時間だけで変化する個体数は ODE で表せます。位置と時間の両方で変化する温度は、PDE の設定です。
PDEの直感:なぜ現れるのか
PDEは、1つの数だけでなく、空間や時間に広がった場全体が変化するときに現れます。
- 金属棒の温度は、どこにいるかと何時かの両方に依存します。
- 振動する弦は、弦に沿った位置と時間に依存します。
- 圧力、濃度、電位も、空間に広がった関数としてモデル化されることがよくあります。
つまり PDE とは、広がった量がどう時間発展するかを表す法則であることが多いのです。
PDEの例:熱方程式の解を確かめる
1次元の熱方程式
を区間 で考え、誰かが
を解の候補として提案したとします。
PDEの記法を具体的に感じるいちばん速い方法は、この候補解を実際に確かめてみることです。
ステップ1:時間で微分する
を固定して考えると、
ステップ2:空間で2回微分する
1回目の微分:
2回目の微分:
ここで を掛けると、
これは と一致するので、
したがって、この関数は本当に熱方程式の解です。
境界条件が と なら、それもここで成り立ちます。なぜなら 、 だからです。この条件は重要です。PDEの問題では、方程式を満たすだけでは十分でないことが多いからです。
熱方程式の意味
熱方程式は、時間変化が空間的な曲率と結びついていることを表しています。
ある点で が大きく負なら、その点では も負になるので、温度は下がります。平たく言えば、とがった山は時間とともになめらかになります。この「なめらかにする」性質が、熱方程式が最初のPDEとしてよく扱われる理由の1つです。
よくあるPDEの間違い
PDEとODEを取り違える
未知関数が複数の独立変数に依存しているなら、偏導関数が必要です。これが構造上のいちばん大事な違いです。
境界条件や初期条件を無視する
PDEの問題には、ふつう初期条件、境界条件、またはその両方がついています。ある関数が PDE 自体を満たしていても、それらの条件を満たさなければ、問題全体の解にはなりません。
記法を急いで読みすぎる
、、 はそれぞれ別のことを表しています。最後の は空間に関する2階微分であって、記号の積ではありません。
すべてのPDEが熱方程式のように振る舞うと思い込む
PDEの種類によって表す振る舞いは異なります。熱方程式はなめらかにし、波動方程式は擾乱を伝え、ラプラス方程式は平衡状態を表します。PDEの種類が変われば、持つべき直感も変わります。
偏微分方程式が使われる場面
PDEは、現実の多くの系が空間に広がっているため、物理、工学、応用数学で標準的に使われます。
- 熱伝導では拡散方程式を使います。
- 振動や音では波動方程式を使います。
- 静電気学や定常流では、ラプラス方程式やポアソン方程式を使うことがよくあります。
- 流体や量子のモデルでも、PDEは非常に重要です。
基本的な考え方をつかむのに、理論全体を知る必要はありません。中心となるパターンはこれで十分です。PDEは、同じ関数の変化を複数の変数にわたって結びつけるものです。
PDEの問題をどう読むか
PDEを初めて見たら、次のことを確認しましょう。
- 未知関数は何か?
- それはどの変数に依存しているか?
- どの導関数が現れているか?
- どんな初期条件や境界条件がついているか?
このチェックリストがあれば、解き始める前の混乱をかなり防げます。
自分でも試してみよう
同じ熱方程式で、解の候補を
に変えてみてください。
実際に微分して、これが を満たすか確かめてみましょう。もう一歩進みたいなら、自分で別の正弦モードを試すか、GPAI Solver を使って似た境界値問題を解いてみてください。