Appendix D early work

Appendix C.5 v2 C.5 Unified View of Tensors and Tensor Functions: Basis Change and Transformation In this section multiindex notations are shown in red to the right. (a) Basis In the bra-ket notation of quantum mechanics (Paul Dirac, 1939), a rank-k tensor functional T is represented by the bra <T| which is an element of the dual space V*k. Meanwhile, elements of the space Vk are written as kets which are a tensor product of smaller kets, | vi,vi, .... vi > = |vi> |vi> ..... |vi> | vI> (C.5.1) Here the ir are labels, not components. Each vi is a vector having n components, where n ≥ k. The tensor function T(vi,vi, .... vi) is then represented by the application of the functional <T| to vectors in Vk so that, <T | vi,vi, .... vi > = T(vi,vi, .... vi) T(vI) = <T | vI > (C.5.2) Due to the tensor product (of vector spaces) construction of the "ket" shown in (C.5.1), the function shown in (C.5.2) is manifestly k-multilinear. The bra-ket notation represents an inner product (scalar product) so the spaces here are Hilbert spaces, not just vector spaces. Eq. (C.5.2) is similar to a basic quantum mechanics k-particle wavefunction in the coordinate representation, <ψ| r1, r2...rk> = ψ(r1, r2...rk) . (C.5.3) The object ψ is a functional in V*k which gets applied to | r1, r2, r3> = |r1>|r2>|r3> and the resulting function ψ(r1, r2...rk) is called a "wavefunction" which describes the "probability amplitude" that the k particles are at spatial locations r1, r2, ....rk. Digressive Comments: 1. It happens that in quantum mechanics literature it is the ket that is the functional in V*k and the bra which is the element of Vk. So in a physics text one always sees equations like ψ(r1, r2...rk) = <r1, r2...rk| ψ>. (C.5.4) This is a long-standing convention difference between the physics and math worlds. When talking about a functional f applied to a vector x, it seems natural to have f(x) = <f | x>, which is the math convention. The physics person writes <x|ψ> = ψ(x) and says that the state vector |ψ> is being projected onto the coordinate representation basis element <x|. Usually ψ is not called a "functional". A ket is thought of as a vector v, while the bra is a transpose vector vT and then <v1|v2> = v1Tv2 in a matrix notation sense, so here it seems logical to put "the vector", whether v, v2 or ψ, on the right. 2. Our functional T maps elements of Vk to the real numbers, and <a|b> = <b|a> = a b, so one can switch the role of which is the functional, and which is the ket acted upon by the functional. In quantum mechanics the functional maps to complex numbers, and <a|b> = a* b where * is complex conjugation. Then <b|a> = b* a = (a b*)* = a* b = <a|b>*. And <v1|v2> = v1T* v2 = v1†v2 . 3. If the k particles are electrons or other half-integral spin particles which are in a "symmetric spin state", then the wavefunction (C.5.3) must be replaced by [Alt(ψ)](r1, r2...rk) in order to make it be totally antisymmetric in the coordinates ri, as required by "Fermi statistics" for half-integral spin particles. We mention this just to show that the Alt operator and the permutation group in general have important applications in quantum mechanics. The covariant tensor Tii....i is, we claim, this special case of (C.5.2), Tii....i = <T | ei,ei, .... ei > . TI = <T | eI > (C.5.5) From this one would conclude from (C.5.2) that Tii....i = T(ei,ei, .... ei) TI = T(eI) (C.5.6) in agreement with our established fact (6.2.1a). The contravariant form is then Tii....i = T(ei,ei, .... ei) . TI = T(eI) (C.5.7) We now assume that the vectors vi in (C.5.1) form a basis for Vk. This allows for the existence of a dual basis {vi} where vi vj = δij as in (2.11.2) for the ei basis and its dual ej. This puts a small restriction on the function T(v1,v2...vk) which is that det[v1,v2...vk] ≠ 0 (matrix of column vectors vi). The vector arguments have to be linearly independent. Looking at our two equations from above, <T | vi,vi, .... vi > = T(vi,vi, .... vi) (C.5.2) <T | ei,ei, .... ei > = Tii....i (C.5.5) one can say that the tensor Tii....i and the tensor function T(vi,vi, .... vi) are both representations of the same abstract tensor T/T in two different bases, |vI> and |eI>. Recall T ϵ V*k = a tensor functional T ϵ Vk = a tensor T ~ T by the isomorphism V*k ~ Vk (see circa (2.11.12)) . Notice that for the basis {vi}, <vI|vJ> = < vi|vj>< vi|vj> .... < vi|vj> = (vi vj)(vi vj) .... (vi vj) = δijδij...δij // see (2.3.2) for basis {vr} with dual basis {vr} = δIJ . // orthonormal basis in the multiindex notation (C.5.8) This result applies as well to the basis |eI>, so <eI|eJ> = <vI|vJ> = δIJ . (C.5.9) (b) Basis change matrix The basis-change transformation matrix between the |vI> and |eI> bases is given by, MIJ ≡ < ei,ei, .... ei | vj,vj, .... vj > MIJ = <eI|vJ> (C.5.10) = < ei|vj>< ei|vj> .... < ei|vj> // see (2.9.17) = (ei vj)(ei vj) .... (ei vj) = λi(vj)λi(vj) .... λi(vj) // see (2.11.3) = (vj)i (vj)i ...(vj)i // see (2.11.7) (C.5.11) = (vJ)I . // using a multiindex notation shown below (7.8.2) Entirely in multiindex notation, MIJ = <eI|vJ> = (vJ)I // mixed, see (2.1.6) line 2 or (C.5.12) MIJ = <eI|vJ> = (vJ)I . // pure covariant, see (2.1.6) line 4 The transpose is then, (MT)JI = MIJ = <eI|vJ> = <vJ| eI> // Hilbert Space is real (MT)JI = MIJ = <eI|vJ> = <vJ| eI> . (C.5.13) In the bra-ket notation completeness of an orthonormal basis is expressed this way: 1 = ΣJ |eJ><eJ| = ΣJ |eJ><eJ| = ΣJ |vJ><vJ| = ΣJ |vJ><vJ| (C.5.14) Proof: (example) Consider a general Vk tensor T : (1) |T> = 1|T> = ΣJ |eJ><eJ| T> = ΣJ TJ |eJ> // so basis |eJ> must be complete (2) |eI> = 1|eI> = ΣJ |eJ><eJ|eI> = ΣJ |eJ>δJI = |eI> // why orthonormal is needed Therefore the up-tilt basis-change matrix M is real orthogonal, meaning MMT = 1 or MT = M-1 : (MMT)IK = ΣJ MIJ(MT)JK = ΣJ <eI|vJ><vJ| eK> = <eI| (ΣJ|vJ><vJ| )eK> = <eI | 1 | eK> = <eI | eK> = eI eK = δIK // see (2.11.2) or (C.5.15) MMT = 1 . // real orthogonal in the multi-index sense In quantum mechanics with complex Vk, one gets instead MM† = 1 (unitary) . The connection then between the tensors and tensor functions is given by, TI = <eI| T> = <eI| 1 | T> = <eI| ΣJ |vJ><vJ| T> = ΣJ <eI|vJ><vJ| T> = = ΣJ MIJ T(vJ) . (C.5.16) Going the other direction, T(vI) = <vI | T > = <vI | 1 | T > = <vI | ΣJ |eJ><eJ| | T > = ΣJ <vI|eJ> <eJ|T > = ΣJ (MT)IJ TJ . (C.5.17) Example of (C.5.17): T(v1,v2) = Σjj (vj)i (vj)iTii ok to here (c) Transformations of tensors and tensor functions Since the ei form a complete basis for V, we can express the vi as linear combinations of the ei where the coefficients form a matrix R, vi = Σj Rijej or | vi> = Σj Rij |ej> (C.5.18) Then, since we showed above that T is k-multilinear, T(vi,vi, .... vi) = T( ΣjRijej, ΣjRijej, .... ΣjRijej) = Σjj...j RijRij .... Rij T(ej,ej, .... ej) . (C.5.18) But T(ej,ej, .... ej) = Tjj....j from (C.5.6) so, now with implied sums on the jr, T(vi,vi, .... vi) = RijRij .... Rij Tjj....j (C.5.18) We can regard the coefficient matrix R as being the differential of the linear transformation x' = F(x) = Rx which maps x-space to x'-space as shown in Fig (2.1.1). For a rank-k tensor we know then that the transformation rule is, similar to the fourth line of (2.1.6), T'ii....i = RijRij .... Rij Tjj....j (C.5.18) For this transformation we can then identify, T'ii....i = T(vi,vi, .... vi) . (C.5.18) Since we have assumed that the vectors vi form a basis for V, we can define arbitrary vectors v'i as linear combinations v'i = ΣjRijvj where the coefficients define the R matrix. We take this to be the differential of x' = F(x) = Rx. Equation (C.5.x) then becomes T(v'i,v'i, .... v'i) = RijRij .... Rij T(vj,vj, .... vj) (C.5.18) Therefore (implied sums 1 to n for all ir ), T '(vi,vi, .... vi) ≡ T(Rijvj,Rijvj, .... Rijvj) va' = Rabvb x' = Rx = T(v'i,v'i, .... v'i) = RijRij .... Rij T(vj,vj, .... vj) . (C.5.18) We can interpret this as "the transformation rule for a rank-k tensor function" which is akin to "the transformation rule for a rank-k tensor", T'ii....i = RijRij .... Rij Tjj....j va = Rabeb x' = Rx (C.5.18) In multiindex notation we write T '(vI) = RIJ T (vJ) = T(RIJvJ) = T(v'I) va' = Rabvb x' = F(x) = Rx T '(eI) = RIJ T (eJ) = T(RIJeJ) = T(vI) va = Rabeb x' = F(x) = Rx T'I = RIJ TJ va = Rabeb x' = F(x) = Rx (C.5.18) Comment: Note that a rank-k tensor field transforms as T'I(x') = RIJ TJ(x) x' = F(x) (C.5.18) (C.5.18)