Lie微分の局所座標表示
T(a,b)を可微分多様体M(n次元)上の(a,b)Typeテンソル場、XをM上ベクトル場とするとき、T(a,b)のLie微分を
(i)a=b=0のとき
L_Xf=X(f) fはM上の可微分関数
(ii)a=1,b=0のとき
L_XY=[X,Y] YはM上ベクトル場
(iii)a=0,b=1のとき
(L_Xω)(Y)=X(ω(Y))-ω([X,Y]) ωは1-形式
(iv)一般の場合ξ∈T(a,b)
(L_Xξ)(ω_1,…,ω_a,X_1,…,X_b)
=L_X(ξ(ω_1,…,ω_a,X_1,…,X_b))
-Σ_[s=1,a]ξ(ω_1,…,L_Xω_s,…,ω_a,X_1,…,X_b)
-Σ_[t=1,b]ξ(ω_1,…,ω_a,X_1,…,L_XX_t,…,X_b)
と定義した場合、
X,ξ夫々の局所座標成分をX^μ,ξ^[μ_1…μ_a]_[ν_1…ν_b]と表すなら、L_Xξの局所座標成分は、
Σ_[λ=1,n]X^λ∂ξ^[μ_1…μ_a]_[ν_1…ν_b]/∂x^λ
-Σ_[s=1,a]Σ_[λ=1,n]ξ^[μ_1…μ_s-1λμ_s+1…μ_a]_[ν_1…ν_b]∂X^μ_s/∂x^λ
-Σ_[t=1,b]Σ_[λ=1,n]ξ^[μ_1…μ_a]_[ν_1…ν_t-1λν_t+1…ν_b]∂X^λ/∂x^ν_t
と表せる。
このLie微分の局所座標成分を、上の定義から導きだす事が出来ませんでした。
ご教示下さい。
お礼
有難うございました。理解することができました。半マルチンゲールに関して勉強しなおしてみます。