Phil Lucht Math & Physics Archive
Home / Math and Physics Files / Math / Curvilinear Systems / Tensor Doc and Support / tensor doc support 3_9_12 thru 3_28_12

pulliing out eps

DOCX · 18.3 KB
Open DOCX file

A brief note by Phil dated 3.25.12, part of his tensor document support files. It argues that only a scalar constant, not a constant tensor like ε, can be pulled out of a covariant derivative, since ε;a is nonzero in general. It then writes the covariant derivative of a rank-2 covariant tensor density of weight W, applied to g^-1/2 B_e;d with W = 1, and mentions updating Appendix D of the tensor doc on 3.26.12.

AI-written summary; may contain errors.

Extracted text (machine-read; may contain errors)
Note on "pulling out ε" PhL 3.25.12 Suppose you have something like this equation X'n = g'-1/2ε'nac g'cb (g'-1/2ε'bdeB'e;d);a where both sides are vectors in x'-space. An array of questions now arises. Question 1: Can you "pull out" the ε'bde object from the cov deriv? The answer is that you can only "pull out" a scalar constant, not a tensor constant. The reason is that the object ε'bde;a ≠ 0, see tensor doc example. Here are the details right here: Consider (ε'bde Qde);a = (ε'bde);a Qde + ε'bde (Qde);a  But I don't think (ε'bde);a = 0 even through ε' is a constant! Let's see, first do this by hand Babc;α ≡ ∂α Babc + ΓanαBnbc + ΓbnαBanc + ΓcnαBabn Then apply εabc;α ≡ ∂α εabc + Γanαεnbc + Γbnαεanc + Γcnαεabn = Γanαεnbc + Γbnαεanc + Γcnαεabn Ouch. So it only a scalar constant you can "pull out" of a covariant derivative. Question 2: How do you "write out" the residual object (g'-1/2B'e;d);a ? Question 3: Does this residual object even exist? After updating tensor doc Appendix D, these questions now have answers. The object (g'-1/2B'e;d) is a rank-2 tensor density of weight +1 (assuming B has weight 0). Here is what the covariant derivative looks like for a rank-2 covariant tensor density Ced of weight W (from Examples) Ced;a ≡ ∂a Ced – ΓneαCnd – ΓndαCen + W Γκκα Ced Now set Ced = (g'-1/2B'e;d) to get (g'-1/2B'e;d);a =(g'-1/2B'e;d),a – Γ'neα(g'-1/2B'n;d) – Γ'ndα(g'-1/2B'e;n) + W Γ'κκα(g'-1/2B'e;d) and in our case W = 1. So there it is, and it ain't purdy! At least it does exist! Question 4: Can you take the covariant derivative of a tensor density? I learned how to do this and updated Appendix D of tensor doc accordingly on 3.26.12.