Arxiv:1104.4829V1 [Physics.Class-Ph] 26 Apr 2011 Summation, with Greek Indexes Used for Temporal and Rocal Basis When Dealing with Non-Orthonormal Spaces

Arxiv:1104.4829V1 [Physics.Class-Ph] 26 Apr 2011 Summation, with Greek Indexes Used for Temporal and Rocal Basis When Dealing with Non-Orthonormal Spaces

DRAFT VERSION MAY 30, 2018 Preprint typeset using LATEX style emulateapj v. 11/10/09 CHANGE OF BASIS AND GRAM-SCHMIDT ORTHONORMALIZATION IN SPECIAL RELATIVITY PEETER JOOT 1 Draft version May 30, 2018 ABSTRACT While an explicit basis is common in the study of Euclidean spaces, it is usually implied in the study of inertial relativistic systems. There are some conceptual advantages to including the basis in the study of special relativistic systems. A Minkowski metric implies a non-orthonormal basis, and to deal with this complexity the concepts of reciprocal basis and the vector dual are introduced. It is shown how the reciprocal basis is related to upper and lower index coordinate extraction, the metric tensor, change of basis, projections in non-orthonormal bases, and finally the Gram-Schmidt proce- dure. It will be shown that Lorentz transformations can be viewed as change of basis operations. The Lorentz boost in one spatial dimension will be derived using the Gram-Schmidt orthonormal- ization algorithm, and it will be shown how other Lorentz transformations can be derived using the Gram-Schmidt procedure. Subject headings: Lorentz boost, change of basis, special relativity, inertial frame, reciprocal basis, dual vector, Gram-Schmidt orthonormalization. 1. ABSTRACT 0 0 2. PRELIMINARIES, NOTATION, AND DEFINITIONS x · y = ±(x y − x · y). (3) 2.1. Four vectors, and the standard basis Here y = (y0, y). This is the Minkowski inner prod- Four vectors will be written as a tuples of time and uct, and is non-positive definite. Opposite signs re- space coordinates. These will be represented herein as quired for the spatial and temporal portions of the prod- non-bold letters of the form uct, but the overall sign is arbitrary and conventions vary by author. A positive sign will be used herein. No x = (ct, x) = (ct, x, y, z) = (x0, x1, x2, x3), (1) attempt to motivate why a mixed sign for the time and space coordinates will be made here. That more difficult where bold letters will be reserved for Euclidean vec- job is deferred to any number of books covering special tors. As usual, the factor of c in the time coordinate is relativity (e.g. (Landau and Lifshitz 1980).) included so that the units of any of the coordinates in The use of a non-orthonormal basis, even in Euclidean the tuple have dimensions of distance. With spaces, makes life a bit more difficult. There is, however, no choice in the matter for special relativity, since the e0 = (1, 0, 0, 0) standard basis is pseudo-orthonormal with elements (2) e1 = (0, 1, 0, 0) unity only up to a sign. For example, with the overall (2) sign of the inner product (3) chosen to be positive e2 = (0, 0, 1, 0) e3 = (0, 0, 0, 1) e1 · e1 = e2 · e2 = e3 · e3 = −(e0 · e0) = −1. (4) the ordered set fe0, e1, e2, e3g will be referred to as the A relativistic basis cannot be constructed for which all standard basis. Upper indexes will be used for the co- 2 the basis vectors have strictly unit norm. Unit vector ordinates of the four vector in the standard basis (so x will be used here loosely to refer to any vector u such is the 2-indexed coordinate of the four vector and not that u · u = ±1. the square of x). Lower indexed four vector coordinates will be introduced later once the reciprocal basis is in- 2.3. Reciprocal basis, duality, and coordinate representation troduced. with a non-orthonormal basis Repeated mixed upper and lower indexes will imply It is convenient to introduce the concept of a recip- arXiv:1104.4829v1 [physics.class-ph] 26 Apr 2011 summation, with Greek indexes used for temporal and rocal basis when dealing with non-orthonormal spaces. spatial indexes f0, 1, 2, 3g, and Latin indexes used in a f ··· g The utility of a reciprocal basis is not limited to the non- Euclidean context 1, 2, N . Euclidean vector space of special relativity. The recipro- 2.2. Relativistic inner product cal basis elements are defined implicitly such that At the heart of special relativity is the definition of e · eb = d b. (5) the invariant length or interval, which defines a dis- a a a tance like measure between a pair of vectors, relating The vector e is referred to as the dual of ea, and the both time and space coordinates. This invariance may ordered set of vectors feag is called the reciprocal basis be codified by defining an inner product for the space- feag. time vector space of the form Given a coordinate representation 1 [email protected] a x = x ea, (6) 2 the coordinates may be extracted by taking dot prod- As a concrete example consider ucts with the reciprocal basis elements 4 a b a b a a x = x · e = (x eb) · e = x db = x . (7) 2 Similarly, for the same vector x represented in the re- 4 4 = · e1 e + · e2 e (15) ciprocal basis 2 1 2 2 x = x ea, (8) = 1 + − 1 a 6 1 2 2 . the coordinates may be extracted by taking dot prod- e Coordinates may also be computed with respect to the ucts with a 1 2 reciprocal basis. With x = ce + de , dotting with e1 and x · e = (x eb) · e = x db = x . (9) e2 respectively provides these a b a b a a ¨ · = 1 · + 2 ¨· = In this context there is nothing special about either up- x e1 ce e1 d¨e e1 c 1 ¨¨ 2 (16) per or lower indexes. They are just coordinates with x · e2 = c¨e · e2 + de · e2 = d. respect to a basis and its reciprocal basis, respectively. Again considering the concrete example above When the original basis happens to be orthonormal, there is equality between the basis vectors and their re- 4 = a x = ciprocal duals ea e , as well as between the coordi- 2 nates calculated from those bases respectively x = xa. a In tensor algebra, upper indexes are “special” since the 4 4 = · e e1 + · e e2 invariant transformations are defined in terms of those 2 1 2 2 (17) coordinates, but that is really just a choice of basis. It 2 −1 is in fact possible (Doran and Lasenby 2003) to express = 6 + 8 . Lorentz transformations in a completely coordinate free −1 1 fashion, where there is freedom to employ upper or This pair of coordinate calculations is depicted in fig- lower index representation of the coordinates, or coor- ure ((1)). dinates with respect to any basis, even one that is not normal. 2.3.1. Reciprocal basis example in 2D Euclidean space The calculation of the reciprocal basis elements may be dependent on the complete set of elements in the non-dual basis. This can be illustrated nicely by con- sidering an example of an oblique basis in a Euclidean space. For a 2 dimensional Euclidean space, a non- orthonormal basis A = fe1, e2g such as 1 1 e = e = 1 1 , 2 2 , (10) may be chosen. In this column vector representation the duality relation (5) takes the form T e1 1 2 T e e = I. (11) e2 Inversion provides the dual vectors Figure 1. Vector projections in oblique and reciprocal frames. T−1 −1 1 2 e1 1 1 2 −1 e e = T = = , (12) e2 1 2 −1 1 or The projections onto the elements of a general non- orthonormal basis are 2 −1 e1 = e2 = −1 , 1 . (13) Proj (x) = (x · ei)e (18a) ei i The problem of solving for the coordinates a, b of a i Proj i (x) = (x · e )e , (18b) vector x = ae1 + be2 in this oblique basis now reduces e i to taking dot products (no sum) and not x · ei Proj (x) = Proj i (x) = ei. (19) 1 1 ¨¨1 ei e e · e x · e = ae1 · e + b¨e2 · e = a (14a) i i 2 ¨¨2 2 The operator (18) for projecting onto elements of non- x · e = a¨e1 · e + be2 · e = b. (14b) orthonormal bases does imply (19) for the special cases 3 of orthonormal and pseudo-orthonormal bases, since 2.3.5. Metric tensors ei = e /(e · e ). i i i Upper and lower index coordinates with respect to any basis and its reciprocal, orthonormal or not, are re- 2.3.2. Projections lated by dot products of the basis elements, and are not Examples of projections onto the Euclidean non- independent. Given a vector with both upper and lower orthonormal basis above have been seen. In general the index representation relations (7), and (9) allow for such Fourier decomposi- tion of a vector into components in each of the respec- a b x = x ea = x e , (24) tive basis directions b a a utilizing the coordinate representation in the chosen x = x ea = (x · e )ea a a (20) basis, and in the reciprocal basis, the dot product in = xae = (x · ea)e . terms of coordinates is found to take the standard tensor With (20) containing x on both the LHS and in the form a RHS as (x · e )ea, this relation has an appearance of be- ing somewhat recursive. This is however, an important x · x = (xae ) · (x eb) = xax da = xax . (25) property, since each of the RHS terms represents a pro- a b b b a jection. The projection of a vector onto the basis element The upper and lower coordinates may be related by m ea is taking dot products with em, and e as follows Proj (x) = (x · ea)e , (21) ea a a (no sum implied.) This will be important since the xm = x · em = (em · ea)x (26a) m m m b Gram-Schmidt procedure is essentially just the repeated x = x · e = (e · e )xb.

View Full Text

Details

  • File Type
    pdf
  • Upload Time
    -
  • Content Languages
    English
  • Upload User
    Anonymous/Not logged-in
  • File Pages
    6 Page
  • File Size
    -

Download

Channel Download Status
Express Download Enable

Copyright

We respect the copyrights and intellectual property rights of all users. All uploaded documents are either original works of the uploader or authorized works of the rightful owners.

  • Not to be reproduced or distributed without explicit permission.
  • Not used for commercial purposes outside of approved use cases.
  • Not used to infringe on the rights of the original creators.
  • If you believe any content infringes your copyright, please contact us immediately.

Support

For help with questions, suggestions, or problems, please contact us