purescience
第12号 2017年11月
偏微分方程式の数学
熱方程式を考えて見ましょう. 無限に長い針金を数直線 で表し,
で表し,  上の位置を実数
上の位置を実数 , 時刻を非負実数
, 時刻を非負実数 で表します. このとき, 針金の温度
で表します. このとき, 針金の温度 は
は
                            
                            の方程式を満たします. ここで,  は
は と
と の2 変数関数で,
の2 変数関数で,  は
は に関する偏導関数,
に関する偏導関数,  は
は に関する偏導関数です. これらは, 2 変数関数
に関する偏導関数です. これらは, 2 変数関数 を変数
を変数 または
または に関して1 変数微分して得られる導関数です.
に関して1 変数微分して得られる導関数です. に関する2 階偏導関数を
に関する2 階偏導関数を と書きます. 上記の方程式はこれら偏導関数の関係を表し, 熱方程式と呼ばれる, 典型的な偏微分方程式です. 初期時刻
と書きます. 上記の方程式はこれら偏導関数の関係を表し, 熱方程式と呼ばれる, 典型的な偏微分方程式です. 初期時刻 での値(初期値という) を関数
での値(初期値という) を関数 で与えます
で与えます
                            
                            このとき, (1) と(2) を熱方程式に対する初期値問題といい, これを満たす関数 をこの問題の解といいます.
をこの問題の解といいます.
                        
この問題の解はどのような形をしているでしょうか.  の2 回微分
の2 回微分 が正であるとき, 解
が正であるとき, 解 のグラフは
のグラフは について下に凸です. このとき熱方程式(1) によれば,
について下に凸です. このとき熱方程式(1) によれば,  の一回微分
の一回微分 は正となり, 解
は正となり, 解 は
は について増加となります.
について増加となります.
また, が負であるとき, 解
が負であるとき, 解 のグラフは
のグラフは について上に凸で, 熱方程式(1) によって,
について上に凸で, 熱方程式(1) によって, の一回微分
の一回微分 は負となり, 解
は負となり, 解 は
は について減少です.
について減少です.
これらのことから, 熱方程式(1) の解 のグラフの
のグラフの に関する凹凸は, 時間
に関する凹凸は, 時間 が経過するにつれ平らにならされます. つまり, 初期値
が経過するにつれ平らにならされます. つまり, 初期値 の凹凸は, 時間とともに平らになっていきます.これを熱方程式(1) の平滑化作用といいます. さらにこのことから, 解
の凹凸は, 時間とともに平らになっていきます.これを熱方程式(1) の平滑化作用といいます. さらにこのことから, 解 の最大値および最小値は, 初期値の最大値および最小値と等しくなります(最大最小値の原理といいます).
の最大値および最小値は, 初期値の最大値および最小値と等しくなります(最大最小値の原理といいます).
初期値 が非負で恒等的に零ではないとき, 解
が非負で恒等的に零ではないとき, 解 は正の値のみをとり零の値はとりません. これを熱方程式(1) の無限伝播性といいます.
は正の値のみをとり零の値はとりません. これを熱方程式(1) の無限伝播性といいます.
また, 熱方程式(1) の以上の性質から, 初期値 が階段状のグラフをもつ不連続関数であっても, 解
が階段状のグラフをもつ不連続関数であっても, 解 のグラフは少し時間が経てば滑らかになります.
のグラフは少し時間が経てば滑らかになります.
熱方程式(1) の解 を初期値
を初期値 によって表すことができます
によって表すことができます
                            
                            この積分中の関数 を熱核といいます. この解の表示(3) は, 熱方程式(1) が線形方程式である, すなわち解の重ね合わせ原理(解の実数倍の和がまた解となること) が成り立つことによって, フーリエ変換を使って計算できます. 初期値
を熱核といいます. この解の表示(3) は, 熱方程式(1) が線形方程式である, すなわち解の重ね合わせ原理(解の実数倍の和がまた解となること) が成り立つことによって, フーリエ変換を使って計算できます. 初期値 の
の 上積分が有限値ならば, この解表示(3)から解
上積分が有限値ならば, この解表示(3)から解 は時間
は時間 無限大にするとき零に収束することがわかります.
無限大にするとき零に収束することがわかります.
以上に述べた, 熱方程式の性質は, 熱せられた無限に長い針金の温度は時間経過とともに冷めていく現象とうまく合っています(しかし, ひとつ妙なところがありますが... わかりますか).
針金の熱の温度分布の数理モデルについて考えてみました. 興味があったらぜひ偏微分方程式の本を読んでみてください.