Uploaded by 2350049373

TensorCalc 25 Ricci Tensor Scalar Volume Form

advertisement
Geometric Meaning of
Ricci Curvature Tensor
and Ricci Scalar
(Video 24: Ricci Tensor)
(Videos 22,23: Riemann Curvature Tensor)
(Link in the description)
𝑅 𝑠, 𝑣 𝑣 ⋅ 𝑠
𝐾 𝑠, 𝑣 =
2
𝑠⋅𝑠 𝑣⋅𝑣 − 𝑠⋅𝑣
𝑣
𝑠
Take an orthonormal basis {𝑒1 , 𝑒2 , … , 𝑒𝑛 }
and direction vector 𝑣 = 𝑒𝑛
𝐷
𝑅𝑖𝑐 𝑣, 𝑣 =
𝐾 𝑒𝑖 , 𝑣 =
𝑖=1
𝑅 𝑒𝑖 ,𝑣 𝑣 ⋅𝑒𝑖
𝑒𝑖 ⋅𝑒𝑖 𝑣⋅𝑣 − 𝑒𝑖 ⋅𝑣 2
Ricci Tensor: Track “volume change” along geodesics
1. Sectional Curvature
Orthonormal
Basis Only!
2. Volume element derivative
Any Basis!
“Volume” created by orthonormal basis
𝑒2
𝑒2
𝑉=1
𝑒1
𝑉=1
𝑒3
𝑒1
“Volume” created by vectors on O.N. basis
𝑤
𝑒2
𝑢
𝑉=1
𝑒1
1
2
𝑢 = 𝑢 𝑒1 + 𝑢 𝑒2
1
2
𝑤 = 𝑤 𝑒1 + 𝑤 𝑒2
𝑉𝑜𝑙𝑢𝑚𝑒 =
1
1
𝑢
𝑤
det 2
2
𝑢 𝑤
“Volume” created by vectors in O.N. basis
𝑤
𝑢
𝑢 = 𝑢1 𝑒1 + 𝑢2 𝑒2
𝑤 = 𝑤 1 𝑒1 + 𝑤 2 𝑒2
1
𝑢
𝑉𝑜𝑙𝑢𝑚𝑒 = det 2
𝑢
𝑤 1 = 𝑢1 𝑤 2 − 𝑢 2 𝑤 1
2
𝑤
Levi-Civita Symbol
+1 𝜖12 (𝑐𝑜𝑢𝑛𝑡𝑖𝑛𝑔 𝑜𝑟𝑑𝑒𝑟)
𝜖𝑖𝑗 = −1 𝜖21 𝑤𝑟𝑜𝑛𝑔 𝑜𝑟𝑑𝑒𝑟
0
𝑎𝑛𝑦 𝑖𝑛𝑑𝑒𝑥 𝑟𝑒𝑝𝑒𝑎𝑡𝑒𝑑
𝑖
𝜖𝑖𝑗 𝑢 𝑤
𝑗
1
1
1
2
= 𝜖11 𝑢 𝑤 + 𝜖12 𝑢 𝑤
2
1
2
2
+ 𝜖21 𝑢 𝑤 + 𝜖22 𝑢 𝑤
“Volume” created by vectors in O.N. basis
𝑤
1
𝑢
2
3
𝑢 = 𝑢 𝑒1 + 𝑢 𝑒2 +𝑢 𝑒3
1
2
3
𝑤 = 𝑤 𝑒1 + 𝑤 𝑒2 +𝑤 𝑒3
𝑡 = 𝑡 1 𝑒1 + 𝑡 2 𝑒2 +𝑡 3 𝑒3
1
𝑢
𝑡
𝑉𝑜𝑙𝑢𝑚𝑒 = det 𝑢2
3
𝑢
Levi-Civita Symbol
+1 𝑖𝑗𝑘 𝑒𝑣𝑒𝑛 𝑝𝑒𝑟𝑚𝑢𝑡𝑎𝑡𝑖𝑜𝑛
𝜖𝑖𝑗𝑘 = −1 𝑖𝑗𝑘 𝑜𝑑𝑑 𝑝𝑒𝑟𝑚𝑢𝑡𝑎𝑡𝑖𝑜𝑛
0
𝑎𝑛𝑦 𝑖𝑛𝑑𝑒𝑥 𝑟𝑒𝑝𝑒𝑎𝑡𝑒𝑑
𝑤1
2
𝑤
𝑤3
𝑡1
𝑖 𝑗 𝑘
2 =𝜖
𝑢
𝑡
𝑖𝑗𝑘 𝑤 𝑡
𝑡3
𝜖123 = 𝜖231 = 𝜖312 = +1
𝜖132 = 𝜖213 = 𝜖321 = −1
𝜖113 = 𝜖222 = … = 0
“Volume” created by vectors in O.N. basis
𝑤
1
𝑢
𝑡
2
3
𝑢 = 𝑢 𝑒1 + 𝑢 𝑒2 +𝑢 𝑒3
1
2
3
𝑤 = 𝑤 𝑒1 + 𝑤 𝑒2 +𝑤 𝑒3
𝑡 = 𝑡 1 𝑒1 + 𝑡 2 𝑒2 +𝑡 3 𝑒3
𝑢1
𝑉𝑜𝑙𝑢𝑚𝑒 = det 𝑢2
𝑢3
𝑤1
2
𝑤
𝑤3
𝑡1
𝑖 𝑗 𝑘
2 =𝜖
𝑢
𝑡
𝑖𝑗𝑘 𝑤 𝑡
𝑡3
= 𝑢1 𝑤 2 𝑡 3 − 𝑢1 𝑤 3 𝑡 2 + 𝑢 2 𝑤 3 𝑡 1 − 𝑢 2 𝑤 1 𝑡 3 + 𝑢 3 𝑤 1 𝑡 2 − 𝑢 3 𝑤 2 𝑡 1
“Volume” created by vectors in O.N. basis
𝑤
1
𝑢
𝑡
2
3
𝑢 = 𝑢 𝑒1 + 𝑢 𝑒2 +𝑢 𝑒3
1
2
3
𝑤 = 𝑤 𝑒1 + 𝑤 𝑒2 +𝑤 𝑒3
𝑡 = 𝑡 1 𝑒1 + 𝑡 2 𝑒2 +𝑡 3 𝑒3
𝑢1
𝑉𝑜𝑙𝑢𝑚𝑒 = det 𝑢2
𝑢3
𝑤1
2
𝑤
𝑤3
𝑡1
𝑖 𝑗 𝑘
2 =𝜖
𝑢
𝑡
𝑖𝑗𝑘 𝑤 𝑡
𝑡3
Levi-Civita Symbol 𝜖𝑖𝑗𝑘 is a tool for getting the volume
of a “parallelogram”-shape spanned by vectors
(only works with components in orthonormal basis)
“Volume” created by vectors in O.N. basis
1
1
2
𝑢 = 𝑢 𝑒1 + 𝑢 𝑒2
𝑤 = 𝑤 1 𝑒1 + 𝑤 2 𝑒2
𝑉𝑜𝑙𝑢𝑚𝑒 =
1
1
𝑢
𝑤
det 2
2
𝑢 𝑤
= 𝜖𝑖𝑗
𝑖
𝑗
𝑢𝑤
𝜕
𝜕𝑥 𝜕
𝜕𝑥 2 𝜕
=
+
1
2
1
1
1
𝑒1 = 𝐹1 𝑒1 + 𝐹1 𝑒2 𝜕𝑥
𝜕𝑥 𝜕𝑥
𝜕𝑥 1 𝜕𝑥 2
1 𝜕
2 𝜕
𝜕
𝜕𝑥
𝜕𝑥
1
2
𝑒2 = 𝐹2 𝑒1 + 𝐹2 𝑒2 2 = 2 1 + 2 2
𝜕𝑥
𝜕𝑥 𝜕𝑥
𝜕𝑥 𝜕𝑥
𝑉𝑜𝑙𝑢𝑚𝑒 =
1
1
𝐹1 𝐹2
det 2
2
𝐹1 𝐹2
= det 𝐹
𝑖 𝑗
= 𝜖𝑖𝑗 𝐹1 𝐹2
𝑉𝑜𝑙𝑢𝑚𝑒 =
det
𝜕𝑥 1
𝜕𝑥 1
𝜕𝑥 2
𝜕𝑥 1
𝜕𝑥 1
𝜕𝑥 2
𝜕𝑥 2
𝜕𝑥 2
= det 𝐽
“Volume” created by arbitrary basis
𝑔𝑖𝑗 = 𝑒𝑖 ⋅ 𝑒𝑗
𝑎
𝑏
𝑔𝑖𝑗 = 𝐹𝑖 𝑒𝑎 ⋅ 𝐹𝑗 𝑒𝑏
𝑎 𝑏
𝑔𝑖𝑗 = 𝐹𝑖 𝐹𝑗 𝑒𝑎 ⋅ 𝑒𝑏
𝑎 𝑏
𝑔𝑖𝑗 = 𝐹𝑖 𝐹𝑗 𝑔𝑎𝑏
Basis Volume
= det 𝐹
= det 𝑔
det 𝑔 = det 𝐹 det 𝐹 det 𝑔 = det 𝐹
2
“Volume” created by arbitrary basis
𝜕
𝜕
𝑔𝑖𝑗 = 𝑖 ⋅ 𝑗
𝜕𝑥 𝜕𝑥
𝑎
𝑏
𝜕𝑥 𝜕
𝜕𝑥 𝜕
𝑔𝑖𝑗 =
⋅
𝑖
𝑎
𝜕𝑥 𝜕𝑥
𝜕𝑥 𝑗 𝜕𝑥 𝑏
𝜕𝑥 𝑎 𝜕𝑥 𝑏
𝜕
𝜕
𝑔𝑖𝑗 = 𝑖 𝑗
⋅
𝜕𝑥 𝜕𝑥 𝜕𝑥 𝑎 𝜕𝑥 𝑏
𝑎 𝑏
𝑔𝑖𝑗 = 𝐽𝑖 𝐽𝑗 𝑔𝑎𝑏
Basis Volume
= det 𝐽
= det 𝑔
det 𝑔 = det 𝐽
2
det 𝑔
“Volume” created by arbitrary basis
1
2
𝑒2
𝑒1 = 𝐹1 𝑒1 + 𝐹1 𝑒2
1
2
𝑒
=
𝐹
𝑒
+
𝐹
𝑒
2
1
2
2
2
𝑒
1
𝑉𝑜𝑙𝑢𝑚𝑒 = det
1
𝐹1
2
𝐹1
1
𝐹2
2
𝐹2
= det 𝐹 = det 𝐽 =
deg 𝑔
“Volume” created by arbitrary basis
𝑤
1
𝑒2
𝑢
2
𝑢 = 𝑢 𝑒1 + 𝑢 𝑒2
1
2
𝑤 = 𝑤 𝑒1 + 𝑤 𝑒2
𝑒1
𝑉𝑜𝑙𝑢𝑚𝑒 =
1
𝑢
deg 𝑔 ⋅ det 2
𝑢
1
𝑤
2
𝑤
“Volume” created by arbitrary basis
𝑤
1
𝑒2
𝑢
2
𝑢 = 𝑢 𝑒1 + 𝑢 𝑒2
1
2
𝑤 = 𝑤 𝑒1 + 𝑤 𝑒2
𝑒1
𝑉𝑜𝑙𝑢𝑚𝑒 =
𝑖
deg 𝑔 𝜖𝑖𝑗 𝑢 𝑤
“Volume Form” components
𝑗
“Volume” created by arbitrary vectors
𝑒2
𝑒2
𝑒2
𝑒1
𝑉=1
𝑒1
𝑒1
1
2
𝑢 = 𝑎1 𝑒1 + 𝑎1 𝑒2
1
2
𝑤 = 𝑎2 𝑒1 + 𝑎2 𝑒2
𝑉 = det 𝐽 𝑉 = det 𝐽 det 𝐴
𝑉 = det 𝑔 𝑉 = det 𝑔 det 𝐴
nd
2 Derivative of Volume spanned by vectors
𝑤
𝑡
𝑉=
𝑣
𝑢
deg 𝑔 𝜖𝑖𝑗𝑘
𝑖
𝑗
𝑘
𝑢𝑤 𝑡
nd
2 Derivative of Volume spanned by vectors
𝑠2
𝑉=
𝑠1
𝑣
𝑉=
deg 𝑔
𝑖 𝑗 𝑘
𝜖𝑖𝑗𝑘 𝑠1 𝑠2 𝑠3
deg 𝑔 𝜖𝜇1 …𝜇𝐷
𝜇𝑖
𝐷
𝑖=1 𝑠𝑖
deg 𝑔 𝜖𝜇1 …𝜇𝐷
𝜇𝑖
𝐷
𝑖=1 𝑠𝑖
𝑠3
∇𝑣 ∇𝑣 𝑉
𝑑2
𝑑 𝑑
= 2𝑉 =
𝑑𝜆
𝑑𝜆 𝑑𝜆
𝑑 𝑉
𝑑 𝑑
=
2
𝑑𝜆
𝑑𝜆 𝑑𝜆
2
𝑑 𝑉
=
2
𝑑𝜆
𝜇
𝑠𝑖 𝑖
deg 𝑔 𝜖𝜇1 …𝜇𝐷
𝜇
deg 𝑔 𝜖𝜇1 …𝜇𝐷
𝑖=1
𝑑 𝑉
𝑑
𝜇𝑗
=
𝑠𝑗
2
𝑑𝜆
𝑑𝜆
2
Volume form is invariant
𝐷
2
𝐷
𝑠𝑖 𝑖
𝑖=1
𝑖≠𝑗
𝐷
𝜇𝑗
𝑠𝑗
𝐷
𝜇𝑖
𝑠𝑖
deg 𝑔 𝜖𝜇1 …𝜇𝐷 +
𝑖=1
𝑖≠𝑗
𝜇𝑗
𝜇𝑗
𝑦 𝑧
𝑥
𝑠𝑗 = −𝑅𝑥𝑦𝑧 𝑣 𝑠𝑗 𝑣
𝜇𝑗 𝜇𝑘
𝑠𝑗 𝑠𝑘
𝜇𝑖
𝑠𝑖
deg 𝑔 𝜖𝜇1 …𝜇𝐷
𝑖=1
𝑖≠𝑗,𝑘
∇𝑣 ∇𝑣 𝑠 = −𝑅 𝑠, 𝑣 𝑣
2
𝑑 𝑉
=
2
𝑑𝜆
𝐷
𝐷
𝜇𝑗
𝑦
−𝑅𝑥𝑦𝑧 𝑣 𝑥 𝑠𝑗 𝑣 𝑧
𝜇
𝑠𝑖 𝑖
𝜇𝑗 𝜇𝑘
𝑠𝑗 𝑠𝑘
deg 𝑔 𝜖𝜇1…𝜇𝐷 +
𝑖=1
𝑖≠𝑗
𝜇
𝑠𝑖 𝑖
deg 𝑔 𝜖𝜇1…𝜇𝐷
𝑖=1
𝑖≠𝑗,𝑘
Every index except 𝜇𝑗 is used
𝐷
2
𝑑 𝑉
𝜇𝑗
𝜇𝑖
𝑥 𝜇𝑗 𝑧
=
−𝑅
𝑣
𝑠
𝑣
𝑠
𝑥𝜇𝑗 𝑧
𝑖
𝑗
𝑑𝜆2
𝑖=1
𝐷
deg 𝑔 𝜖𝜇1 …𝜇𝐷 +
𝜇𝑗 𝜇𝑘
𝑠𝑗 𝑠𝑘
𝜇𝑗
𝑥𝑣 𝑧
=
−𝑅
𝑣
𝑥𝜇𝑗 𝑧
𝑑𝜆2
𝐷
𝐷
𝜇𝑖
𝑠𝑖
𝑖=1
deg 𝑔 𝜖𝜇1 …𝜇𝐷
𝑖=1
𝑖≠𝑗,𝑘
𝑖≠𝑗
𝑑2 𝑉
𝜇
𝑠𝑖 𝑖
deg 𝑔 𝜖𝜇1…𝜇𝐷 +
𝜇𝑗 𝜇𝑘
𝑠𝑗 𝑠𝑘
𝜇𝑖
𝑠𝑖
𝑖=1
𝑖≠𝑗,𝑘
deg 𝑔 𝜖𝜇1…𝜇𝐷
2
𝑑 𝑉
𝜇𝑗
𝑥𝑣 𝑧
=
−𝑅
𝑣
𝑥𝜇𝑗 𝑧
𝑑𝜆2
𝐷
𝐷
𝜇
𝑠𝑖 𝑖
deg 𝑔 𝜖𝜇1…𝜇𝐷 +
𝜇𝑗 𝜇𝑘
𝑠𝑗 𝑠𝑘
deg 𝑔 𝜖𝜇1 …𝜇𝐷
𝑖=1
𝑖≠𝑗,𝑘
𝑖=1
𝑑2𝑉
𝑥 𝑧
= −𝑅𝑥𝑧 𝑣 𝑣 𝑉
2
𝑑𝜆
𝜇
𝑠𝑖 𝑖
+
𝜇𝑗 𝜇𝑘
𝑠𝑗 𝑠𝑘
𝜇𝑖
𝐷
𝑖=1 𝑠𝑖
𝑖≠𝑗,𝑘
deg 𝑔 𝜖𝜇1…𝜇𝐷
Conclusion: Ricci Tensor tells us how volumes
change as we move around in space
𝑑2𝑉
𝑥 𝑧
=
−𝑅
𝑣
𝑣 𝑉
𝑥𝑧
2
𝑑𝜆
𝑣
𝑠
Curved Space
+
𝜇𝑗 𝜇𝑘
𝑠𝑗 𝑠𝑘
𝜇𝑖
𝐷
𝑖=1 𝑠𝑖
𝑖≠𝑗,𝑘
𝑣
deg 𝑔 𝜖𝜇1…𝜇𝐷
𝑠
Flat Space
Conclusion: Ricci Tensor tells us how volumes change
due to the curvature of the space we’ere in
1 2 3 𝑖𝑗𝑘
det 𝐴 = 𝑎𝑖 𝑎𝑗 𝑎𝑘 𝜖
1 2 3 𝜇1 𝜇2 𝜇3
det 𝐴 = 𝑎𝜇1 𝑎𝜇2 𝑎𝜇3 𝜖
𝐷
𝑖
𝑎𝜇𝑖
det 𝐴 =
𝜖
𝑖=1
𝜇1 …𝜇𝐷
Second Derivative of Volume Element
∇𝑣 ∇𝑣 det 𝑉
𝑑2
= 2 det 𝑉
𝑑𝜆
𝐷
𝑑 𝑑
=
𝑎𝜇𝑖 𝑖
𝑑𝜆 𝑑𝜆
det 𝑔 𝜖 𝜇1…𝜇𝐷
𝑖=1
𝑉=
det 𝑔 det 𝐴
det 𝑔
𝑑
𝑗
𝐷
𝑎𝜇𝑗
𝑖
𝜇1 …𝜇𝐷 =
𝑑𝜆
𝑖=1 𝑎𝜇𝑖 𝜖
𝐷
𝑎𝜇𝑖 𝑖
𝑖=1
𝑖≠𝑗
det 𝑔 𝜖 𝜇1 …𝜇𝐷
1 2 3 𝑖𝑗𝑘
det 𝐴 = 𝑎𝑖 𝑎𝑗 𝑎𝑘 𝜖
1 2 3 𝜇1 𝜇2 𝜇3
det 𝐴 = 𝑎𝜇1 𝑎𝜇2 𝑎𝜇3 𝜖
𝐷
𝑖
𝑎𝜇𝑖
det 𝐴 =
𝜖
𝑖=1
𝜇1 …𝜇𝐷
Second Derivative of Volume Element
∇𝑣 ∇𝑣 det 𝑉
𝑑2
= 2 det 𝑉
𝑑𝜆
𝐷
𝑑 𝑑
=
𝑎𝜇𝑖 𝑖
𝑑𝜆 𝑑𝜆
det 𝑔 𝜖 𝜇1…𝜇𝐷
𝑖=1
𝑉=
det 𝑔 det 𝐴
det 𝑔
𝑑
𝑗
𝐷
𝑎𝜇𝑗
𝑖
𝜇1 …𝜇𝐷 =
𝑑𝜆
𝑖=1 𝑎𝜇𝑖 𝜖
𝐷
𝑎𝜇𝑖 𝑖
𝑖=1
𝑖≠𝑗
det 𝑔 𝜖 𝜇1 …𝜇𝐷
2
𝑑 𝑉
𝑑
𝑗
=
𝑎𝜇𝑗
2
𝑑𝜆
𝑑𝜆
2
𝑑 𝑉
=
2
𝑑𝜆
𝐷
𝑎𝜇𝑖 𝑖
det 𝑔 𝜖 𝜇1 …𝜇𝐷
𝑖=1
𝑖≠𝑗
𝐷
𝑗
𝑎𝜇𝑗
𝐷
𝑎𝜇𝑖 𝑖
det 𝑔 𝜖
𝜇1 …𝜇𝐷
+
𝑖=1
𝑖≠𝑗
∇𝑣 ∇𝑣 𝑠 = −𝑅 𝑠, 𝑣 𝑣
𝑗
𝑗
𝑥 𝑦 𝑧
𝑎𝜇𝑗 = −𝑅𝑥𝑦𝑧 𝑣 𝑎𝜇𝑗 𝑣
𝑘 𝑗
𝑎𝜇𝑘 𝑎𝜇𝑗
𝑎𝜇𝑖 𝑖
𝑖=1
𝑖≠𝑗,𝑘
det 𝑔 𝜖 𝜇1 …𝜇𝐷
𝐷
2
𝑑 𝑉
=
2
𝑑𝜆
𝑑2𝑉
=
2
𝑑𝜆
𝑑2𝑉
𝑗
𝑦
−𝑅𝑥𝑦𝑧 𝑣 𝑥 𝑎𝜇𝑗 𝑣 𝑧
𝑗
𝐷
𝑎𝜇𝑖 𝑖
𝑗
det 𝑔 𝜖 𝜇1…𝜇𝐷 + 𝑎𝜇𝑘𝑘 𝑎𝜇𝑗
𝑖=1
𝑖≠𝑗
𝑖=1
𝑖≠𝑗,𝑘
𝐷
𝐷
𝑗
−𝑅𝑥𝑗𝑧 𝑣 𝑥 𝑎𝜇𝑗 𝑣 𝑧
𝑎𝜇𝑖 𝑖
𝑗
det 𝑔 𝜖 𝜇1…𝜇𝐷 + 𝑎𝜇𝑘𝑘 𝑎𝜇𝑗
𝑖=1
𝑖≠𝑗
𝑗
𝑎𝜇𝑖 𝑖
det 𝑔 𝜖 𝜇1…𝜇𝐷
𝐷
𝑎𝜇𝑖 𝑖
𝑖=1
det 𝑔 𝜖 𝜇1…𝜇𝐷
𝑖=1
𝑖≠𝑗,𝑘
𝐷
𝑧
=
−𝑅
𝑣
𝑥𝑗𝑧
𝑑𝜆2
𝑎𝜇𝑖 𝑖
𝑗
det 𝑔 𝜖 𝜇1…𝜇𝐷 + 𝑎𝜇𝑘𝑘 𝑎𝜇𝑗
𝑎𝜇𝑖 𝑖
𝑖=1
𝑖≠𝑗,𝑘
det 𝑔 𝜖 𝜇1…𝜇𝐷
2
𝑑 𝑉
𝑗
𝑥𝑣 𝑧
=
−𝑅
𝑣
𝑥𝑗𝑧
𝑑𝜆2
𝐷
𝐷
𝑎𝜇𝑖 𝑖
𝑗
det 𝑔 𝜖 𝜇1…𝜇𝐷 + 𝑎𝜇𝑘𝑘 𝑎𝜇𝑗
det 𝑔 𝜖 𝜇1…𝜇𝐷
𝑖=1
𝑖≠𝑗,𝑘
𝑖=1
𝑑2𝑉
𝑥 𝑧
= −𝑅𝑥𝑧 𝑣 𝑣 𝑉
2
𝑑𝜆
𝑎𝜇𝑖 𝑖
+
𝑘 𝑗
𝑎𝜇𝑘 𝑎𝜇𝑗
𝐷
𝑖
𝑎
𝑖=1 𝜇𝑖
𝑖≠𝑗,𝑘
det 𝑔 𝜖 𝜇1…𝜇𝐷
Download