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微分の局所座標成分を、上の定義から導きだす事が出来ませんでした。
ご教示下さい。
No.2ベストアンサー
- 回答日時:
>成分表示で計算したときに、うまい具合に打ち消し合わなかったので、質問させて頂いたのですが、、もう一度見直してみます。
まずは(1,1)型のテンソルで考えてみてはどうでしょう?
(L_Xξ)(ω,Y)
=L_X(ξ(ω,Y)) - ξ(L_X ω,Y) - ξ(ω,L_X Y)
=X^λ∂_λ(ξ^μ_ν ω_μ Y^ν) - ξ^μ_ν(X^λ∂_λω_μ+ω_λ∂_μX^λ)Y^ν - ξ^μ_νω_μ(X^λ∂_λ Y^ν-Y^λ∂_λ X^ν)
=X_λ(∂_λξ^μ_ν)ω_μY^ν - ξ^μ_ν(∂_μX^λ)ω_λY^ν + ξ^μ_ν(∂_λX^ν)ω_μY^λ
={X_λ(∂_λξ^μ_ν) - ξ^λ_ν(∂_λX^μ) + ξ^μ_λ(∂_νX^λ)}ω_μY^ν
となります。
3行目から4行目の部分でωやYに関する微分が消えるのはいいですかね?3行目の第1項の微分を計算すると、ωやYに関する微分を含む項が出てきますが、これは後ろに出てくる項と全く同じ形をしていますよね。
ですので、L_X ξを成分で書くと、
X_λ(∂_λξ^μ_ν) - ξ^λ_ν(∂_λX^μ) + ξ^μ_λ(∂_νX^λ)
のようになります。より高階のテンソルについても同様ですね。(大雑把に言えばsやtに関する和がつくだけです)
この回答への補足
ところで、甘えて関連させて質問させて頂きたいのですが、
実は、一般の微分作用素において、0-formに対する作用と、ベクトル場に対する作用さえ定義すれば、一般のテンソル場に対する作用は決まる、つまり、私の質問で、(i)(ii)だけから(iv)はおのずと決まってしまうということが(ある本に)書かれていたのですが、この事はどのように示されるのでしょうか。非常に興味深いので、筋道だけでもご教示頂けるとありがたいです。
手取足取りといった感じで有難うございます。
単純に足のつけ間違えをしていたりとかでうまくいってなかったようで、一般の場合でも公式を導くことが出来ました。
No.3
- 回答日時:
>実は、一般の微分作用素において、0-formに対する作用と、ベクトル場に対する作用さえ定義すれば、一般のテンソル場に対する作用は決まる、
1.(a,b)型のテンソル場から(a,b)型のテンソル場への線形写像である(特に、テンソル場の型を変えない)
2.テンソル積についてライプニッツ則(積の微分)が成り立つ
3.縮約をとる操作と可換
の3つの条件を満たしている時に、そのような事が言えます。
まずは、1-形式の微分を求めます。(微分作用素をDとします)
ω(X)はωとXのテンソル積を縮約したものであることから、
D(ω(X)) = (Dω)(X) + ω(DX)
が成り立ちます。今、ω(X)とXに対するDの作用の形が分かっていれば、
(Dω)(X) = D(ω(X)) - ω(DX)
により、Dωが一意に決まります。
一般のテンソル場Tは、ベクトル場と1-形式のテンソル積たちの線形結合で書けます。従って、Dの線形性とライプニッツ則からDTが決まります。
No.1
- 回答日時:
簡単のため、
∂/∂x^λ→∂_λ
のように書くことにして、Σを省略(重複している添え字について、適当な範囲で和をとる)しますが、
X(f)を成分で書くと、X^λ∂_λ f
L_X Yを成分で書くと、X^λ∂_λ Y^μ-Y^λ∂_λ X^μ
L_X ωを成分で書くと、X^λ∂_λω_μ+ω_μ∂_λX^μ
となることはOKですか?
OKであれば、これを使って、
>(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)
を計算してやるだけですね。計算の途中で、ω_1やX_1などの微分の項が出てきますが、これらは上手い具合に打ち消しあってくれます。
ところで、
>Σ_[λ=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
一番最後の項はマイナスではなく、プラスでは?
成分表示はOKです。
成分表示で計算したときに、うまい具合に打ち消し合わなかったので、質問させて頂いたのですが、、もう一度見直してみます。
ご指摘通り、最後の項はプラスでした。
ありがとうございました。
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
似たような質問が見つかりました
- 物理学 ベクトルと座標系につきまして 1 2022/04/03 06:23
- 物理学 角運動量の式変形が分かりません。 4 2022/08/03 21:04
- 物理学 ①運動量ベクトルをpとしてニュートンの運動方程式を微分方程式の形で表すとどうなりますか? ②運動中質 3 2022/10/15 22:48
- 物理学 量子力学 球面調和関数 導出 方位角成分 微分方程式の解 2 2022/07/02 13:40
- 数学 2次関数y=ax^2のグラフは点A(4,2)を通っている。y軸上に点BをAB=OB(Oは原点)となる 1 2022/04/08 00:05
- 物理学 同軸ケーブル 伝送の仕組み TEMモード Maxwell方程式 円柱座標 ポアソン方程式 3 2022/08/16 20:40
- 数学 3次関数の極値を求める際 微分して導関数求める→因数分解して=0を求める といったプロセスですが、例 2 2023/05/17 13:27
- 数学 『Cの微分.2』 3 2023/02/15 19:47
- 物理学 座標変換に関して質問です。参考書に 「力は一般に時間と場所によって異なるから力f(ベクトル)はx,y 3 2022/07/03 20:24
- 数学 【数学ⅲ】三角関数と合成関数の微分について 4 2022/07/07 21:44
おすすめ情報
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
微分とは何か(2)
-
y=e^x^x 微分 問題
-
2階微分d^2y/dx^2を詳しく教え...
-
lim[x→0](e^x - e^-x)/x
-
これらの数式を声に出して読む...
-
3階微分って何がわかるの??
-
log(1+x)の微分
-
授業で「yをxで微分する」とい...
-
arctanの微分について質問させ...
-
二回微分して 上に凸下に凸 が...
-
サイン二乗xの微分を教えてく...
-
分母が文字の分数を微分する方...
-
sinx^2の微分って2xcosx^2であ...
-
d^2y/dx^2は何と読めばいいので...
-
z = x^y の偏微分
-
y^2をxについて微分してください
-
y=1/(2x-1)を微分する方法につ...
-
なぜ微分したら円の面積が円周...
-
一次導関数とは?
-
e^sinxの微分
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
これについて質問です。微分を...
-
2階微分d^2y/dx^2を詳しく教え...
-
高校数学が日常で役立つ場面を...
-
3階微分って何がわかるの??
-
授業で「yをxで微分する」とい...
-
二回微分して 上に凸下に凸 が...
-
微分について
-
y=log(logx)の微分について
-
これらの数式を声に出して読む...
-
なぜ微分したら円の面積が円周...
-
微分積分を理解できない人って...
-
位置を微分したら速度?
-
微分積分って何?
-
分母が文字の分数を微分する方...
-
二次関数 y=x^2 を微分すると---
-
dxやdyの本当の意味は?
-
微分積分を習わずに大学に入っ...
-
y^2をxについて微分してください
-
log(1+x)の微分
-
数学の微分の範囲で 増減を調べ...
おすすめ情報