作者QuantaWolf (光太狼)
看板Physics
標題[問題] The variation of metric
時間Sun Mar 20 02:57:52 2022
最近在算g_{μν}的variation 發現一件奇怪的事
一般我們都定義δ g_{μν} / δg_{αβ} = δ^α_μ δ^β_ν
（先不論有無symmetrize 結果）
那根據g^{μν} g_{μν}=dimension of space time，
對這個Lorentz scalar做variation 應該會是零，所以δ g^{μν} / δg_{αβ} = -g^
{μα} g^{μβ}
那根據這個結果對 g_{μν} a^{μν} 和g^{μν} a_{μν} 這兩組同樣的scalar用δg
_{αβ} 變分，就會分別得到+a^{αβ}和-a^{αβ}，不一樣的答案
想知道這變分到底哪裡出錯，為何會得到contradictory的結論？
詳細見下圖：
https://i.imgur.com/yOJMat7.jpg
--
※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 47.20.59.170 (美國)
※ 文章網址: https://webptt.com/m.aspx?n=bbs/Physics/M.1647716274.A.B0E.html
※ 編輯: QuantaWolf (47.20.59.170 美國), 03/20/2022 02:58:14
1F：→ QuantaWolf: 會有這個問題是我實際去算δ L / δ gμν 想得到某 03/20 03:00
2F：→ QuantaWolf: 個Lagrangian 的symmetric energy momentum tensor的 03/20 03:00
3F：→ QuantaWolf: 時候發現的，怎麼想也想不通實際上哪裡出錯 03/20 03:00
4F：→ ocf001497: 應該是因為你的最後一行的左邊是fix a_{\mu \nu} 然後 03/21 15:46
5F：→ ocf001497: 對 g_{\alpha \beta} 做 variation。但是你最後一行右 03/21 15:47
6F：→ ocf001497: 邊是fix a^{\mu \nu} 然後對 g_{\alpha \beta} 做 vari 03/21 15:47
7F：→ ocf001497: ation。所以你兩邊的variation意義不一樣。要比較的話 03/21 15:47
8F：→ ocf001497: 你右邊的式子應該要把a^{\mu \nu}視為function of g_{\ 03/21 15:47
9F：→ ocf001497: alpha \beta} and a_{\mu \nu}。因為metric的值會影響r 03/21 15:47
10F：→ ocf001497: aising & lowering indices的結果。 03/21 15:47
11F：推 LeFilsDuVent: 原因是因為有metric藏起來沒有微到所以少了一些項 03/22 14:27
12F：→ LeFilsDuVent: 例如如果你的a_{\mu\nu}如果跟metric無關(say, 03/22 14:28
13F：→ LeFilsDuVent: field strength)，那麼a^{\mu\nu}就會跟metric有關 03/22 14:28
14F：→ LeFilsDuVent: 所以藏著的那些inverse metric貢獻的項都沒算到 03/22 14:29
15F：→ LeFilsDuVent: 一個經典的例子是去算算電磁學的energy-momentum 03/22 14:30
16F：→ LeFilsDuVent: tensor，你變分完檢查一下是否traceless，就知道其 03/22 14:30
17F：→ LeFilsDuVent: 中一個對另一個算法錯，而問題也出在藏著的metric 03/22 14:31