実数全体で定義された 変数関数 に対する偏微分方程式
と初期条件
を考える。ここで , である。 を実数の定数として、関数
がこの偏微分方程式と初期条件をともに満たすような の値を求めよ。
偏微分方程式の用語と解の確認
階数・線形性・初期条件・境界条件を読み取り、与えられた関数が解かどうかを確かめられる
前提
- 偏微分と全微分 (大学数学 微分積分)
この技能までの道筋(20 技能)
読み込み中…
右端(太枠)がこの技能です。左へドラッグすると、さらに前の前提をさかのぼれます。技能を押すと、そこまでの道筋が光ります。
一覧で見る(前提が先)
- 分数のたし算・ひき算 (算数 計算と数のきまり)
- 小数の四則計算 (算数 計算と数のきまり)
- 正負の数の加法・減法 (中学数学 数と式)
- 分数のかけ算・わり算 (算数 計算と数のきまり)
- 四則の混じった計算の順序 (算数 計算と数のきまり)
- 正負の数の乗除・累乗と四則混合 (中学数学 数と式)
- 分配法則を使った計算のくふう (算数 計算と数のきまり)
- 文字式の計算(同類項・分配法則) (中学数学 数と式)
- 乗法公式による展開 (中学数学 数と式)
- 因数分解 (中学数学 数と式)
- 3 次式までの展開と因数分解 (数学I 数と式)
- 微分係数と導関数の定義 (数学II 微分法と積分法)
- 多項式の微分 (数学II 微分法と積分法)
- 等間隔にならんだ数の和 (算数 計算と数のきまり)
- 等差・等比数列の和と Σ (数学B 数列)
- 数列の極限 (数学III 極限)
- 関数の極限 (数学III 極限)
- 積と商の微分 (数学III 微分法)
- 合成関数の微分 (数学III 微分法)
- 偏微分と全微分 (大学数学 微分積分)
説明
偏微分方程式とは、未知の多変数関数 とその偏導関数の間に成り立つ関係式のことです。この技能では、方程式を見て階数(最高何階の偏導関数を含むか)と線形かどうかを判定し、付いている初期条件・境界条件の意味を読み取れるようになります。さらに、与えられた関数を実際に偏微分して代入し、それが方程式と条件をすべて満たす解かどうかを確かめられるようになります。熱方程式・波動方程式・ラプラス方程式などを扱うとき、最初に必ず行う作業です。
なぜそうしてよいのか
偏微分方程式 が「領域 で成り立つ」とは、 のすべての点で等式が成り立つことです。そこで関数 が解かどうかは、前提の技能で偏導関数を計算して代入し、得られた式が 上で恒等的に になるかを調べれば判定できます。ある 1 点で成り立つだけでは不十分です。古典的な解というときは、方程式に現れる階数までの偏導関数が で存在して連続であること( が十分滑らかであること)も前提にします。
階数は、方程式に現れる偏導関数のうち最も高い階数です。たとえば は 2 階、 は 1 階です。線形性は「 に関して 1 次か」で決まります。方程式を の形に書いたとき、すべての関数 と定数 について が成り立てば線形です。偏微分は のように線形な操作です。そのため、 とその偏導関数に独立変数だけの関数(たとえば や )を掛けて足した式は線形になります。一方、、、、 のような項があると、この等式が崩れて非線形になります。 の線形方程式を斉次(同次)といいます。斉次なら解の定数倍や和もまた解になります(重ね合わせの原理)。
方程式だけでは解は無数にあるので、付加条件で解を絞ります。時刻 での状態を指定するもの( や、 について 2 階のときの )を初期条件といいます。空間領域の端での値を指定するもの( のように の値を与えるディリクレ条件、 のように法線方向の微分を与えるノイマン条件)を境界条件といいます。解であることを確かめるには、方程式とこれらの条件をすべて確認する必要があります。
手順
方程式に現れる偏導関数のうち最高の階数を読み取り、階数を決める(例: は 2 階)。
とその偏導関数について 1 次の項(係数は独立変数だけの関数)と、 を含まない項だけでできているかを見て、線形か非線形かを判定する。線形なら、 を含まない項 が かどうかで斉次か非斉次かも判定する。
条件を分類する。 での や の指定は初期条件、空間の端(例: )での や の指定は境界条件。
候補の関数 の、方程式に必要な偏導関数をすべて計算する(例: )。
それらを方程式に代入し、両辺の差が領域内のすべての点で になるかを調べる。未知の定数があれば、恒等的に になる条件として定数を決める。
初期条件・境界条件に該当する値を代入し、すべて満たすことを確かめる。
例題
定数 に対し とする。 が初期値・境界値問題 の解となるような の値を求めよ。
例題の解答
手順 1〜3(用語の読み取り): 方程式に現れる最高階の偏導関数は なので 2 階です。 は について 1 次で、 を含まない項がないので線形・斉次です。 は空間の端での値の指定なので境界条件(ディリクレ条件)、 は初期条件です。
手順 4(偏導関数の計算): です。また より です。 はすべての点で何回でも偏微分でき、偏導関数は連続です。
手順 5(代入): となります。これが のすべての点で になる必要があります。 では 、また なので、 でなければなりません。逆に ならすべての点で になります。よって です。
手順 6(条件の確認): 、 なので境界条件を満たします。 なので初期条件も満たします。以上より です。
答え:
よくある誤り
階数と次数を混同する誤り。 を「2 があるから 2 階」としてしまうことがあります。正しくは、最高階の偏導関数が 1 階なので 1 階で、 を含むので非線形です。
係数に独立変数が入ると非線形だと考える誤り。 は線形です。係数が だけの関数なら が成り立つからです。逆に や のように係数に が入ると非線形です。
1 点で等式が成り立てば解だとしてしまう誤り。たとえば は によらず で成り立ちます。正しくは、領域内のすべての で恒等的に成り立つ必要があり、そのために が必要です。
方程式だけ確かめて条件を確かめ忘れる誤り。 も と を満たしますが、 なので上の問題の解ではありません。正しくは、方程式・境界条件・初期条件をすべて確認します。
この説明は AI が書き、別の AI が例題を独立に解いて答えを確かめ、説明を一歩ずつ査読しました。
入口の問題
を実数の定数とし、実数 と に対して
とおく。この関数 が、熱方程式(2 階線形偏微分方程式)
と初期条件
をともに満たすとき、 の値を組 の形でこの順に求めよ。を実数の定数とし、
とおく。この関数が次の熱方程式の初期値・境界値問題の解になるとき、組 を求めよ。
この技能を使う問題
に対する非粘性バーガース方程式の初期値問題
を考える。 に対し、 上で 級の解(古典解)が存在するような の上限を とする。 を求めよ。上半平面 におけるラプラス方程式のディリクレ問題
を考える。 は で有界な調和関数で、 である境界点 において連続に境界値 をとるものとする(このような解はただ 1 つである)。 のディリクレ境界条件に対するグリーン関数(鏡像法で得られるもの)から導かれるポアソン核を用いて、 の値を求めよ。の開単位球を とし、 の基本解を
とする。各 に対して、 を
を満たす関数とし、 におけるディリクレ問題のグリーン関数を
で定める。, のとき、 の値を求めよ。を定数とし、 上の関数 を
で定める。ここで はユークリッドノルム、 はラプラシアンである。 が作用素 の基本解であること、すなわち、 上の台がコンパクトな任意の 級関数 に対して、積分 が(ルベーグ積分として)絶対収束し、
が成り立つことを示せ。ただし、有界な領域で成り立つグリーンの第 2 公式(ガウスの発散定理)と、ルベーグの優収束定理は用いてよい。における作用素 を考える( はラプラシアン、 はユークリッドノルム)。超関数の意味で
をみたし、 で のみに依存し、かつ で となる関数 を の基本解とする。ここで は原点におけるディラックのデルタである。の定義関数を とし、
と定める。 の値を求めよ。において、作用素 の基本解を考える。すなわち、超関数の意味で
をみたし、 は のみに依存し、 で となるものを とする( は原点におけるディラックのデルタ)。単位閉球 の定義関数を とし、
とおく( は の、無限遠で に減衰する解である)。点 における値 を求めよ。における波動方程式の初期値問題
を考える。ここで は に関するラプラシアン、 はユークリッドノルムであり、 はこの問題のただ 1 つの 級の解とする。原点での値 の における最小値を求めよ。に対する非線形 1 階偏微分方程式(ハミルトン・ヤコビ方程式)の初期値問題
を考える。この問題は 上の 級の解 をただ一つもつ(このことは認めてよい)。特性曲線の方法(特性方程式)を用いて を求め、値 を求めよ。に対する保存則(バーガース方程式)の初期値問題
を考える。 はこの問題のエントロピー解(区分的に滑らかで、不連続線ではランキン・ユゴニオ条件とラックスのエントロピー条件をみたす弱解)とする。このエントロピー解は、ある時刻以降、不連続線(衝撃波)をちょうど 1 本だけもつ。時刻 における衝撃波の位置 座標を求めよ。
この技能の次に学べること
- 移流方程式(定数係数の 1 階線形) (大学院数学 偏微分方程式)
- 変数分離法 (大学院数学 偏微分方程式)
- フォッカー・プランク方程式と定常分布 (大学院物理 非平衡統計力学)