偏微分_functions
📂多変数ベクトル解析偏微分_functions
定義
E⊂Rnを開集合とし、x∈E、そしてf:E→Rmと定義しよう。{e1,e2,…,en}と{u1,u2,…,um}をそれぞれRnとRmの標準基底としよう。
それでは、fの成分 fi:Rn→Rは次のように定義される。
f(x)=i=1∑mfi(x)ui,x∈E
または
fi(x):=f(x)⋅ui,i∈{1,…,m}
次の極限が存在するならば、fiに対するxjの偏微分とし、Djfiまたは∂xj∂fiと記される。
∂xj∂fi=Djfi:=t→0limtfi(x+tej)−fi(x)
説明
偏とは偏っていることを意味し、微分を全ての変数ではなく、一つの変数に対してだけ考えようという意味である。これは全微分と対比する言葉である。
偏ˇ関数ではなく、偏ˇの微分関数である。
fの全微分と偏微分の間には、以下の定理と同様の関係が成立する。
定理
E,x,fを定義で述べた通りとする。fがxで微分可能であるとする。それならば、各偏微分Djfi(x)が存在し、次の式が成立する。
f′(x)ej=i=1∑mDjfi(x)ui,j∈{1,…,n}
系
f′(x)は、次のような行列で表される線形変換である。
f′(x)=(D1f1)(x)(D1f2)(x)⋮(D1fm)(x)(D2f1)(x)(D2f2)(x)⋮(D2fm)(x)⋯⋯⋱⋯(Dnf1)(x)(Dnf2)(x)⋮(Dnfm)(x)
これをfのヤコビ行列とも言う。
証明
jを固定しよう。fがxで微分可能であると仮定すると、次の式が成立する。
f(x+tej)−f(x)=f′(x)(tej)+r(tej)
ここで、r(tej)は次を満たす剰余である。
t→0limt∣r(tej)∣=0
f′(x)は線形変換であるから、次が成立する。
tf(x+tej)−f(x)=tf′(x)(tej)+tr(tej)=f′(x)(ej)+tr(tej)
両辺にlimt→0の極限を取ると、次のようになる。
t→0limtf(x+tej)−f(x)=f′(x)ej
fを成分で表示すると、次を得る。
f′(x)ej=t→0limtf(x+tej)−f(x)=t→0limt∑i=1mfi(x+tej)ui−∑i=1mfi(x)ui=i=1∑mt→0limtfi(x+tej)−fi(x)ui
それならば、偏微分の定義により、次を得る。
f′(x)ej=i=1∑mDjfi(x)ui
■
例
f:R3→R,γ:R→R3が微分可能な関数だとしよう。また、
γ(t)=(x(t),y(t),z(t))
そしてfとγの合成をg=f∘γとしよう。
g(t)=f∘γ(t)=f(γ(t))
するとg′は、連鎖律、偏微分の定義、上述の定理により、次のようになる。
dtdg(t0)=g′(t0)==== f′(γ(t0))γ′(t0) [D1f(γ(t0))D2f(γ(t0))D3f(γ(t0))]Dγ1(t0)Dγ2(t0)Dγ3(t0) [∂x∂f(γ(t0))∂y∂f(γ(t0))∂z∂f(γ(t0))]dtdx(t0)dtdy(t0)dtdz(t0) ∂x∂f(γ(t0))dtdx(t0)+∂y∂f(γ(t0))dtdy(t0)+∂z∂f(γ(t0))dtdz(t0)
したがって、
⟹dtdg=∂x∂fdtdx+∂y∂fdtdy+∂z∂fdtdz