微分幾何学における方向微分
📂幾何学微分幾何学における方向微分
定義
X∈TpMを接ベクトル、α(t)を曲面M上の曲線としよう。すると、α:(−ϵ,ϵ)→Mでありα(0)=pを満たす。つまりX=dtdα(0)だ。ここで関数fを曲面M上の点p∈Mのある近傍で定義された微分可能な関数とする。するとX方向へのfの方向微分directional derivative Xfを次のように定義する。
Xf:=dtd(f∘α)(0)
説明
このような記法を使う理由は、固定された接ベクトルXがあればfが与えられるごとにXfが一つ決定されるからで、接ベクトルをオペレーターとして考えることである。だから微分幾何学では**「接ベクトル = 関数 = 微分」** と考える。つまり接ベクトルを汎関数として扱う。
X:D→R,where D is set of all differentiable functions near p
主に使われる記法は以下の通りだ。接ベクトルをX,vとして表すとき、
Xf,Xpf,∇vf,vpf,vp[f],α′(0)f
下記の定理から、このような方向微分を与えられた座標チャート写像xで表現することができる。
定理
x:U⊂R2→Mを座標チャート写像、p=x(0,0)∈Mとする。(u1,u2)をUの座標とする。接ベクトルX∈TpMはX=X1x1+X2x2のように表現される。するとfの方向微分は次の通りである。
Xf=i=1∑2Xi∂ui∂(f∘x)(0,0)
特に曲線αがX=α′(0)でありα(0)=pを満たすだけで、Xfはどの曲線を選んでも依存しない。
ベクトル解析において
∇uf=∇f⋅u=∂x1∂fu1+∂x2∂fu2+⋯+∂xn∂fun
式は以下の通り。
証明
αが座標チャートx上の曲線であるため、α(t)=x(α1(t),α2(t))として表記しよう。すると次が成り立つ。
(f∘α)(t)=(f∘x)(α1(t),α2(t))
上記の式をf∘x:R2→Rという関数と、t↦(α1(t),α2(t))としてマッピングする関数の合成として考える。これを微分すると、連鎖ルールにより次のようになる。
dtd(f∘α)(t)=dtd(f∘x)(α1(t),α2(t))=i∑∂ui∂(f∘x)dtdαi
ここで∂ui∂(f∘x)の変数は(u1,u2)であり、∂ui∂(f∘x)(u1,u2)は簡略化して書かれていることに注意しよう。同様にdtdαi(t)も変数を省略して簡略化して書かれている。
同様に連鎖ルールを適用してα(t)=x(α1(t),α2(t))を微分すると、次を得る。
α′(t)=== du1dxdtdα1(t)+du2dxdtdα2(t) x1(α1(t),α2(t))(α1)′(t)+x2(α1(t),α2(t))(α2)′(t) (α1)′(t)x1+(α2)′(t)x2
ここにt=0を代入すると、次を得る。
α′(0)=X=X1x1+X2x2
したがって、Xi=dtdαi(0)が成立する。またt=0のときα(0)=p=x(0,0)なので、(1)dにt=0を代入すると、次を得る。
Xf=dtd(f∘α)(0)== i∑∂ui∂(f∘x)(0,0)dtdαi(0) i∑Xi∂ui∂(f∘x)(0,0)
■
系
X,Y∈TpMとしよう。f,gがp∈Mの近傍で微分可能な関数とする。r∈R3としよう。すると、次の式が成立する。
(rX+Y)f=rXf+YfX(rf+g)=rXf+XgXp(fg)=Xp(f)g(p)+f(p)Xp(g)
3番目の式は積の微分法(fg)′=f′g+fg′を意味する。
証明
定義により簡単に示せる。
(rX+Y)f=== i=1∑2(rXi+Yi)∂ui∂(f∘x)(0,0) ri=1∑2Xi∂ui∂(f∘x)(0,0)+i=1∑2Yi∂ui∂(f∘x)(0,0) rXf+Yf
fg(p)=f(p)g(p)であるため、次が成立する。
(fg)∘x(u1,u2)=f(x(u1,u2))g(x(u1,u2))=f∘x(u1,u2)g∘x(u1,u2)
したがって積の微分法により、次を得る。
Xp(fg)===== i=1∑2Xi∂ui∂((fg)∘x)(0,0) i=1∑2Xi∂ui∂((f∘x)(g∘x))(0,0) i=1∑2Xi[∂ui∂(f∘x)(0,0)(g∘x)(0,0)+(f∘x)(0,0)∂ui∂(g∘x)(0,0)] i=1∑2Xi∂ui∂(f∘x)(0,0)g(p)+f(p)i=1∑2Xi∂ui∂(g∘x)(0,0) Xp(f)g(p)+f(p)Xp(g)
■
同じく見る