上の未知関数 に対する 1 階線形偏微分方程式の初期値問題 の 級の解 を の式で表せ。
多変数の連鎖律
や変数変換 のもとで偏導関数を計算できる
前提
- 偏微分と全微分 (大学数学 微分積分)
この技能までの道筋(20 技能)
読み込み中…
右端(太枠)がこの技能です。左へドラッグすると、さらに前の前提をさかのぼれます。技能を押すと、そこまでの道筋が光ります。
一覧で見る(前提が先)
- 分数のたし算・ひき算 (算数 計算と数のきまり)
- 小数の四則計算 (算数 計算と数のきまり)
- 正負の数の加法・減法 (中学数学 数と式)
- 分数のかけ算・わり算 (算数 計算と数のきまり)
- 四則の混じった計算の順序 (算数 計算と数のきまり)
- 正負の数の乗除・累乗と四則混合 (中学数学 数と式)
- 分配法則を使った計算のくふう (算数 計算と数のきまり)
- 文字式の計算(同類項・分配法則) (中学数学 数と式)
- 乗法公式による展開 (中学数学 数と式)
- 因数分解 (中学数学 数と式)
- 3 次式までの展開と因数分解 (数学I 数と式)
- 微分係数と導関数の定義 (数学II 微分法と積分法)
- 多項式の微分 (数学II 微分法と積分法)
- 等間隔にならんだ数の和 (算数 計算と数のきまり)
- 等差・等比数列の和と Σ (数学B 数列)
- 数列の極限 (数学III 極限)
- 関数の極限 (数学III 極限)
- 積と商の微分 (数学III 微分法)
- 合成関数の微分 (数学III 微分法)
- 偏微分と全微分 (大学数学 微分積分)
説明
多変数の連鎖律を使うと、 の がさらに別の変数の関数になっているときに、 をその新しい変数で微分できます。たとえば、曲線 に沿って動く点での の値の変化率 や、極座標 に変換したときの が求められます。 を新しい変数の式に代入して整理しなくても、偏導関数の組み合わせとして計算できるのが利点です。
なぜそうしてよいのか
が全微分可能であるとします(たとえば が連続なら全微分可能です)。全微分可能とは、点 から へ動いたときの変化が と書け、 のとき となることでした。つまり、変化量はほぼ「 方向の傾き × の変化」と「 方向の傾き × の変化」の和です。
ここで が微分可能なら、 を だけ動かしたときの を上の式に入れて両辺を で割ると となります(符号は の正負による)。 とすると なので 、根号の中は有限の値に近づくので最後の項は消え、 が得られます。1 変数の合成関数の微分(外側の微分 × 内側の微分)を、通り道ごとに足し合わせたものと考えられます。
のように 2 変数の関数のときは、 を固定して だけを動かせば 1 変数の場合と同じ議論ができ、 となります( が全微分可能、またはその偏導関数が存在すれば十分です)。 についても同様です。たとえば極座標では です。
手順
外側の関数 の偏導関数 を求める( が全微分可能であることを確認する。 が連続なら十分)
内側の関数の導関数(偏導関数)を求める:、または など
連鎖律の式に当てはめる:(2 変数なら )
には を代入し、新しい変数だけの式にする(特定の点での値を求めるなら、先に の値を求めて代入する)
例題
、、 とする。 における の値を求めよ。
例題の解答
手順 1: は多項式なので は連続で全微分可能。。
手順 2:。
手順 3:。
手順 4: のとき 。よって 、 なので
(確認:代入すると 、 で、 のとき と一致します。)
答え:
よくある誤り
一方の項だけを書いて としてしまう誤り。 も に依存するので、正しくは と、すべての通り道の項を足す。
に の値をそのまま入れてしまう誤り。上の例で を に として とするのは誤り。正しくは を代入して 。
逆向きの偏微分を逆数で求めてしまう誤り。極座標で だからといって とするのは誤り。 は を固定、 は を固定した微分で、固定するものが違う。正しくは より ()。
内側の関数が 2 変数なのに常微分で書いてしまう誤り。 のとき ではなく、 を固定した偏導関数 を使い、 と書く。
この説明は AI が書き、別の AI が例題を独立に解いて答えを確かめ、説明を一歩ずつ査読しました。
入口の問題
を , で定義された 級の関数とする。1 階線形偏微分方程式の初期値問題
の解 を、特性曲線の方法を用いて の式で求めよ。関数 において、 と が実数 の関数として
で与えられているとする。多変数の連鎖律を用いて、 における の値を求めよ。実数 の関数 を考える。実数 について とおくと、 は の関数になる。このとき、 における の値を求めよ。
関数 において、 とする( は実数)。多変数の連鎖律を用いて、 における の値を求めよ。
実数 と実数 に対して定義された 級の関数 が、偏微分方程式
と初期条件
を満たすとする。 を の式で求めよ。は 上の 級関数で、次の偏微分方程式と初期条件を満たすとする。
変数変換 を用いて、 を の式で求めよ。を実数、 を実数とします。 上の 級関数 が、次の偏微分方程式と初期条件を満たすとします。
このとき を の式で求めてください。上の 級の未知関数 に対する 1 階線形偏微分方程式の初期値問題
の解 を求めよ。上の 級の未知関数 に対する 1 階線形偏微分方程式の初期値問題
を考える。特性曲線の方法を用いて、解 を の式で求めよ。平面の円板 において、 がディリクレ問題
を満たすとする。極座標による変数分離を用いて を求め、点 における値 を求めよ。平面の円板 において、関数 がディリクレ問題
を満たすとする。極座標による変数分離を用いて を求め、点 における値 を求めよ。平面の円板 において、ラプラス方程式のディリクレ問題
を考える。ここで は直交座標 の関数 であり、 とする(この条件のもとで解はただ 1 つに定まる)。極座標を用いた変数分離によってこの解 を求め、直交座標で と表される点における値 を求めよ。
この技能を使う問題
平面の円環領域 において、 がディリクレ問題
を満たすとする。このとき の値を求めよ。に対する半線形 1 階偏微分方程式の初期値問題
は 上でただ 1 つの 級の解 をもつ。特性曲線の方法でこの解を求め、 の値を求めよ。ただし は自然対数の底である。を 上の実数値 級関数とし、
をみたすとする。このとき、, とおくと、すべての について
が成り立つことを示せ。に対する減衰項付きの準線形 1 階偏微分方程式の初期値問題
を考える。 上でこの初期値問題の 級の解(古典解)が存在するような の上限を とする。特性曲線の方法を用いて を求めよ。とし、 上のベクトル場 を
で定める。 上のすべての点で が成り立つが、 上の 級関数 で 上 (すなわち )をみたすものは存在しないことを証明せよ。ただし、曲線 に沿う線積分は で定める。を 内の向きの付いた区分的に滑らかな曲面とし、 をその単位法線ベクトルとする。 の境界 は区分的に滑らかな単純閉曲線で、 に対して正の向き(右ねじの向き)に向きが付いているとする。すなわち、連続な写像 と分点 があって、 は各 上で 級、 であり、 はこの向きで によりちょうど 1 周たどられるとする。 を と を含む開集合とし、 を 上の 級の実数値関数で、 上のすべての点で
をみたすものとする( の外では一致しなくてよい)。このとき
が成り立つことを証明せよ。ただし、 上の 級ベクトル場 に対するストークスの定理
(区間の端点での は片側微分係数とする)、 級関数の 2 階偏導関数は微分の順序によらない(シュワルツの定理)こと、および合成関数の微分法(連鎖律)は用いてよい。回転は直交座標 で に対し で定める。を定数とし、 上の関数 を
で定める。ここで はユークリッドノルム、 はラプラシアンである。 が作用素 の基本解であること、すなわち、 上の台がコンパクトな任意の 級関数 に対して、積分 が(ルベーグ積分として)絶対収束し、
が成り立つことを示せ。ただし、有界な領域で成り立つグリーンの第 2 公式(ガウスの発散定理)と、ルベーグの優収束定理は用いてよい。, とし、実数 は をみたすとする。 上のベクトル場 を
で定める。 を の有界な開集合で原点 を含むものとし、その境界 は互いに交わらない有限個の区分的に滑らかな閉曲面からなるとする。 は 上の外向き( の外へ向かう)単位法線ベクトルとする。また、 に対して とおく。このとき、極限
が存在して
が成り立つことを証明せよ。ただし、次の形のガウスの発散定理は用いてよい: 有界な開集合 の境界が互いに交わらない有限個の区分的に滑らかな閉曲面からなり、 が を含む開集合上の 級ベクトル場ならば、 上の外向き( の外へ向かう)単位法線ベクトル について が成り立つ。半径 の球面の面積が であることも用いてよい。
この技能の次に学べること
- 重積分の変数変換とヤコビアン (大学数学 微分積分)
- 移流方程式(定数係数の 1 階線形) (大学院数学 偏微分方程式)
- ラプラス方程式 (大学院数学 偏微分方程式)
- 位置ベクトルと r の関数の微分 (大学数学 ベクトル解析)
- 局所誤差の次数 (大学数学 数値解析)
- 微分形式の外積と外微分 (大学院数学 微分幾何)
- マクスウェルの関係式 (大学物理 熱力学)