Home / Math and Physics Files / Math / Curvilinear Systems / Tensor Doc and Support / tensor doc support 2_22_12 thru 3_8_12
Expansions of tensor densities
DOCX · 18.2 KB
Open DOCX file
A brief working note by Phil dated 2.25.12, written as support for his tensor document on curvilinear systems. It states and proves a theorem that a vector density V of weight W expands as J^W times the sum of V'n en, using the reciprocal-basis relation and the density transformation law. It then proposes a general rule: replace the x'-space component A'ijk... by J^W A'ijk... in any expansion. It also lists where the change was added to the tensor document (Section 7, Appendices D and E, and the curl B section).
AI-written summary; may contain errors.
Extracted text (machine-read; may contain errors)
Expansions of tensor densities PhL 2.25.12
I added this enhancement into tensor doc in various places:
Section 7 just after the vector expansions are stated
Appendix E for the general expansion stuff
Yes, it does affect the curlB stuff in Section 12 (but only cosmetically). I have a new Sec 12 ready.
I never thought of this before today, and it might be causing trouble in my curl B section 9. I am writing this today after replacing |J| with J in Appendix D on tensor densities.
Theorem: If V is a vector density of weight W, then an expansion of V looks like this
V = Σn (JWV'n)en = JW ΣnV'nen
where the extra factor JW suddenly appears.
Proof: Expand with some unknown coefficients ( x-space has g = 1)
V = αn en
Using en Em = δn,m one finds that
αn = En V = (En)k Vk = Rnk Vk // = 1 so AB = abAaBb = AkBk
But since V has weight W we know that
V'n = J-W Rnk Vk => Rnk Vk = JW V'n => α = JW V'n QED
One might ask about all expansions of all kinds of objects if they are densities. I think the general rule is to take the regular expansion and make this replacement
V'n → JW V'n
and this would be true for any tensor density, not just a vector density. This might be worth a comment somewhere where I do these expansions.
I think this is the rule:
Rule: In any expansion, take the thing that is the tensor component in x' space, perhaps A'ijk..., and replace it by JW A'ijk....
Example: One has a tensor transforming this way
A'ijk... = R R R R R Aijk
If it has weight W, then this becomes
A'ijk... = J-W R R R R R Aijk
or
JW A'ijk... = R R R R R Aijk