Project Gutenberg's Vector Analysis and Quaternions, by Alexander
Total Page:16
File Type:pdf, Size:1020Kb
Load more
Recommended publications
-
Quaternions and Cli Ord Geometric Algebras
Quaternions and Cliord Geometric Algebras Robert Benjamin Easter First Draft Edition (v1) (c) copyright 2015, Robert Benjamin Easter, all rights reserved. Preface As a rst rough draft that has been put together very quickly, this book is likely to contain errata and disorganization. The references list and inline citations are very incompete, so the reader should search around for more references. I do not claim to be the inventor of any of the mathematics found here. However, some parts of this book may be considered new in some sense and were in small parts my own original research. Much of the contents was originally written by me as contributions to a web encyclopedia project just for fun, but for various reasons was inappropriate in an encyclopedic volume. I did not originally intend to write this book. This is not a dissertation, nor did its development receive any funding or proper peer review. I oer this free book to the public, such as it is, in the hope it could be helpful to an interested reader. June 19, 2015 - Robert B. Easter. (v1) [email protected] 3 Table of contents Preface . 3 List of gures . 9 1 Quaternion Algebra . 11 1.1 The Quaternion Formula . 11 1.2 The Scalar and Vector Parts . 15 1.3 The Quaternion Product . 16 1.4 The Dot Product . 16 1.5 The Cross Product . 17 1.6 Conjugates . 18 1.7 Tensor or Magnitude . 20 1.8 Versors . 20 1.9 Biradials . 22 1.10 Quaternion Identities . 23 1.11 The Biradial b/a . -
Marc De Graef, CMU
Rotations, rotations, and more rotations … Marc De Graef, CMU AN OVERVIEW OF ROTATION REPRESENTATIONS AND THE RELATIONS BETWEEN THEM AFOSR MURI FA9550-12-1-0458 CMU, 7/8/15 1 Outline 2D rotations 3D rotations 7 rotation representations Conventions (places where you can go wrong…) Motivation 2 Outline 2D rotations 3D rotations 7 rotation representations Conventions (places where you can go wrong…) Motivation PREPRINT: “Tutorial: Consistent Representations of and Conversions between 3D Rotations,” D. Rowenhorst, A.D. Rollett, G.S. Rohrer, M. Groeber, M. Jackson, P.J. Konijnenberg, M. De Graef, MSMSE, under review (2015). 2 2D Rotations 3 2D Rotations y x 3 2D Rotations y0 y ✓ x0 x 3 2D Rotations y0 y ✓ x0 x ex0 cos ✓ sin ✓ ex p = ei0 = Rijej e0 sin ✓ cos ✓ ey ! ✓ y ◆ ✓ − ◆✓ ◆ 3 2D Rotations y0 y ✓ p x R = e0 e 0 ij i · j x ex0 cos ✓ sin ✓ ex p = ei0 = Rijej e0 sin ✓ cos ✓ ey ! ✓ y ◆ ✓ − ◆✓ ◆ 3 2D Rotations y0 y ✓ p x R = e0 e 0 ij i · j x ex0 cos ✓ sin ✓ ex p = ei0 = Rijej e0 sin ✓ cos ✓ ey ! ✓ y ◆ ✓ − ◆✓ ◆ Rotating the reference frame while keeping the object constant is known as a passive rotation. 3 2D Rotations y0 y Assumptions: Cartesian reference frame, right-handed; positive ✓ rotation is counter-clockwise p x R = e0 e 0 ij i · j x ex0 cos ✓ sin ✓ ex p = ei0 = Rijej e0 sin ✓ cos ✓ ey ! ✓ y ◆ ✓ − ◆✓ ◆ Rotating the reference frame while keeping the object constant is known as a passive rotation. 3 2D Rotations 4 2D Rotations y0 y ✓ x0 x 4 2D Rotations y0 y ✓ x0 x 4 2D Rotations y0 y ✓ r = ri0ei0 = rjej x0 x 4 2D Rotations y0 y ✓ r = ri0ei0 = rjej p = ri0Rijej x0 p T =(R )jiri0ej x 4 2D Rotations y0 y ✓ r = ri0ei0 = rjej p = ri0Rijej x0 p T =(R )jiri0ej x p T r =(R ) r0 ! j ji i 4 2D Rotations y0 y ✓ r = ri0ei0 = rjej p = ri0Rijej x0 p T =(R )jiri0ej x p T r =(R ) r0 ! j ji i p r0 = R r ! i ij j 4 2D Rotations y0 y ✓ r = ri0ei0 = rjej p = ri0Rijej x0 p T =(R )jiri0ej x p T r =(R ) r0 ! j ji i p r0 = R r ! i ij j The passive matrix converts the old coordinates into the new coordinates by left-multiplication. -
Vectors and Beyond: Geometric Algebra and Its Philosophical
dialectica Vol. 63, N° 4 (2010), pp. 381–395 DOI: 10.1111/j.1746-8361.2009.01214.x Vectors and Beyond: Geometric Algebra and its Philosophical Significancedltc_1214 381..396 Peter Simons† In mathematics, like in everything else, it is the Darwinian struggle for life of ideas that leads to the survival of the concepts which we actually use, often believed to have come to us fully armed with goodness from some mysterious Platonic repository of truths. Simon Altmann 1. Introduction The purpose of this paper is to draw the attention of philosophers and others interested in the applicability of mathematics to a quiet revolution that is taking place around the theory of vectors and their application. It is not that new math- ematics is being invented – on the contrary, the basic concepts are over a century old – but rather that this old theory, having languished for many decades as a quaint backwater, is being rediscovered and properly applied for the first time. The philosophical importance of this quiet revolution is not that new applications for old mathematics are being found. That presumably happens much of the time. Rather it is that this new range of applications affords us a novel insight into the reasons why vectors and their mathematical kin find application at all in the real world. Indirectly, it tells us something general but interesting about the nature of the spatiotemporal world we all inhabit, and that is of philosophical significance. Quite what this significance amounts to is not yet clear. I should stress that nothing here is original: the history is quite accessible from several sources, and the mathematics is commonplace to those who know it. -
Recent Books on Vector Analysis. 463
1921.] RECENT BOOKS ON VECTOR ANALYSIS. 463 RECENT BOOKS ON VECTOR ANALYSIS. Einführung in die Vehtoranalysis, mit Anwendungen auf die mathematische Physik. By R. Gans. 4th edition. Leip zig and Berlin, Teubner, 1921. 118 pp. Elements of Vector Algebra. By L. Silberstein. New York, Longmans, Green, and Company, 1919. 42 pp. Vehtor analysis. By C. Runge. Vol. I. Die Vektoranalysis des dreidimensionalen Raumes. Leipzig, Hirzel, 1919. viii + 195 pp. Précis de Calcul géométrique. By R. Leveugle. Preface by H. Fehr. Paris, Gauthier-Villars, 1920. lvi + 400 pp. The first of these books is for the most part a reprint of the third edition, which has been reviewed in this BULLETIN (vol. 21 (1915), p. 360). Some small condensation of results has been accomplished by making deductions by purely vector methods. The author still clings to the rather common idea that a vector is a certain triple on a certain set of coordinate axes, so that his development is rather that of a shorthand than of a study of expressions which are not dependent upon axes. The second book is a quite brief exposition of the bare fundamentals of vector algebra, the notation being that of Heaviside, which Silberstein has used before. It is designed primarily to satisfy the needs of those studying geometric optics. However the author goes so far as to mention a linear vector operator and the notion of dyad. The exposition is very simple and could be followed by high school students who had had trigonometry. The third of the books mentioned is an elementary exposition of vectors from the standpoint of Grassmann. -
Geometric-Algebra Adaptive Filters Wilder B
1 Geometric-Algebra Adaptive Filters Wilder B. Lopes∗, Member, IEEE, Cassio G. Lopesy, Senior Member, IEEE Abstract—This paper presents a new class of adaptive filters, namely Geometric-Algebra Adaptive Filters (GAAFs). They are Faces generated by formulating the underlying minimization problem (a deterministic cost function) from the perspective of Geometric Algebra (GA), a comprehensive mathematical language well- Edges suited for the description of geometric transformations. Also, (directed lines) differently from standard adaptive-filtering theory, Geometric Calculus (the extension of GA to differential calculus) allows Fig. 1. A polyhedron (3-dimensional polytope) can be completely described for applying the same derivation techniques regardless of the by the geometric multiplication of its edges (oriented lines, vectors), which type (subalgebra) of the data, i.e., real, complex numbers, generate the faces and hypersurfaces (in the case of a general n-dimensional quaternions, etc. Relying on those characteristics (among others), polytope). a deterministic quadratic cost function is posed, from which the GAAFs are devised, providing a generalization of regular adaptive filters to subalgebras of GA. From the obtained update rule, it is shown how to recover the following least-mean squares perform calculus with hypercomplex quantities, i.e., elements (LMS) adaptive filter variants: real-entries LMS, complex LMS, that generalize complex numbers for higher dimensions [2]– and quaternions LMS. Mean-square analysis and simulations in [10]. a system identification scenario are provided, showing very good agreement for different levels of measurement noise. GA-based AFs were first introduced in [11], [12], where they were successfully employed to estimate the geometric Index Terms—Adaptive filtering, geometric algebra, quater- transformation (rotation and translation) that aligns a pair of nions. -
Josiah Willard Gibbs
GENERAL ARTICLE Josiah Willard Gibbs V Kumaran The foundations of classical thermodynamics, as taught in V Kumaran is a professor textbooks today, were laid down in nearly complete form by of chemical engineering at the Indian Institute of Josiah Willard Gibbs more than a century ago. This article Science, Bangalore. His presentsaportraitofGibbs,aquietandmodestmanwhowas research interests include responsible for some of the most important advances in the statistical mechanics and history of science. fluid mechanics. Thermodynamics, the science of the interconversion of heat and work, originated from the necessity of designing efficient engines in the late 18th and early 19th centuries. Engines are machines that convert heat energy obtained by combustion of coal, wood or other types of fuel into useful work for running trains, ships, etc. The efficiency of an engine is determined by the amount of useful work obtained for a given amount of heat input. There are two laws related to the efficiency of an engine. The first law of thermodynamics states that heat and work are inter-convertible, and it is not possible to obtain more work than the amount of heat input into the machine. The formulation of this law can be traced back to the work of Leibniz, Dalton, Joule, Clausius, and a host of other scientists in the late 17th and early 18th century. The more subtle second law of thermodynamics states that it is not possible to convert all heat into work; all engines have to ‘waste’ some of the heat input by transferring it to a heat sink. The second law also established the minimum amount of heat that has to be wasted based on the absolute temperatures of the heat source and the heat sink. -
The Devil of Rotations Is Afoot! (James Watt in 1781)
The Devil of Rotations is Afoot! (James Watt in 1781) Leo Dorst Informatics Institute, University of Amsterdam XVII summer school, Santander, 2016 0 1 The ratio of vectors is an operator in 2D Given a and b, find a vector x that is to c what b is to a? So, solve x from: x : c = b : a: The answer is, by geometric product: x = (b=a) c kbk = cos(φ) − I sin(φ) c kak = ρ e−Iφ c; an operator on c! Here I is the unit-2-blade of the plane `from a to b' (so I2 = −1), ρ is the ratio of their norms, and φ is the angle between them. (Actually, it is better to think of Iφ as the angle.) Result not fully dependent on a and b, so better parametrize by ρ and Iφ. GAViewer: a = e1, label(a), b = e1+e2, label(b), c = -e1+2 e2, dynamicfx = (b/a) c,g 1 2 Another idea: rotation as multiple reflection Reflection in an origin plane with unit normal a x 7! x − 2(x · a) a=kak2 (classic LA): Now consider the dot product as the symmetric part of a more fundamental geometric product: 1 x · a = 2(x a + a x): Then rewrite (with linearity, associativity): x 7! x − (x a + a x) a=kak2 (GA product) = −a x a−1 with the geometric inverse of a vector: −1 2 FIG(7,1) a = a=kak . 2 3 Orthogonal Transformations as Products of Unit Vectors A reflection in two successive origin planes a and b: x 7! −b (−a x a−1) b−1 = (b a) x (b a)−1 So a rotation is represented by the geometric product of two vectors b a, also an element of the algebra. -
Macfarlane Hyperbolic 3-Manfiolds
MACFARLANE HYPERBOLIC 3-MANIFOLDS JOSEPH A. QUINN Abstract. We identify and study a class of hyperbolic 3-manifolds (which we call Mac- farlane manifolds) whose quaternion algebras admit a geometric interpretation analogous to Hamilton's classical model for Euclidean rotations. We characterize these manifolds arithmetically, and show that infinitely many commensurability classes of them arise in diverse topological and arithmetic settings. We then use this perspective to introduce a new method for computing their Dirichlet domains. We give similar results for a class of hyperbolic surfaces and explore their occurrence as subsurfaces of Macfarlane manifolds. 1. Introduction Quaternion algebras over complex number fields arise as arithmetic invariants of com- plete orientable finite-volume hyperbolic 3-manifolds [16]. Quaternion algebras over totally real number fields are similarly associated to immersed totally-geodesic hyperbolic subsur- faces of these manifolds [16, 28]. The arithmetic properties of the quaternion algebras can be analyzed to yield geometric and topological information about the manifolds and their commensurability classes [17, 20]. In this paper we introduce an alternative geometric interpretation of these algebras, re- calling that they are a generalization of the classical quaternions H of Hamilton. In [22], the author elaborated on a classical idea of Macfarlane [15] to show how an involution on the complex quaternion algebra can be used to realize the action of Isom`pH3q multiplica- tively, similarly to the classical use of the standard involution on H to realize the action of Isom`pS2q. Here we generalize this to a class of quaternion algebras over complex number fields and characterize them by an arithmetic condition. -
VECTOR ANALYSIS and QUATERNIONS MATHEMATICAL MONOGRAPHS EDITED by Mansfield Merriraan and Robert S
4Lm, VECTOR ANALYSIS AND QUATERNIONS MATHEMATICAL MONOGRAPHS EDITED BY Mansfield Merriraan and Robert S. Woodward Octavo, Cloth No. 1. History of Modern Mathematics. By DAVID EUGENE SMITH. $1.25 net. No. 2. Synthetic Projective Geometry. By the Late GEORGE BBUCE HALSTED. $1.25 net. No. 3. Determinants. By the Late LAENAS GIFFORD WELD. $1.25 net. No. 4. Hyperbolic Functions. By the Late JAMES MCMAHON. $1.25 net. No. 5. Harmonic Functions. By WILLIAM E. BYEBLT. $1.25 net. No. 6. Grassmann's Space Analysis. By EDWARD W. HYDE. $1.25 net. No. 7. Probability and Theory of Errors. By ROBERT S. WOODWARD. $1.25 net. No. 8. Vector Analysis and Quaternions. By the Late ALEXANDER MACFARLANE. $1.25 net. No. 9. Differential Equations. By WILLIAM WOOLSEY JOHNSON. $1.25 net. No. 10. The Solution of Equations. By MANSFIELD MERRIMAN. $1.25 net. No'. 11. Functions of a Complex Variable. By THOMAS S. FISKE. $1.25 net. No, 12. The Theory of Relativity. By ROBERT D. CARMICHAEL. $1.50 net. No. 13. The Theory of Numbers. By ROBERT D. CARMICHAEL. $1.25 net. No. 14. Algebraic Invariants. By LEONARD E. DICKSON. $1.50 net. No. 16. Mortality Laws and Statistics. By ROBERT HENDERSON. $1.50 net. No. 16. Diophantine Analysis. By ROBERT D. CARMICHAEL. $1.50 net. No. 17. Ten British Mathematicians. By the Late ALEXANDER MACFARLANE. $1.50 net. No. 18. Elliptic Integrals. By HARRIS HANCOCK. $1.50 net. No. 19. Empirical Formulas. By THEODORE R. RUNNING. $2.00 net. No. 20. Ten British Physicists. By the Late ALEXANDER MACFARLANE. -
Elizabeth F. Lewis Phd Thesis
PETER GUTHRIE TAIT NEW INSIGHTS INTO ASPECTS OF HIS LIFE AND WORK; AND ASSOCIATED TOPICS IN THE HISTORY OF MATHEMATICS Elizabeth Faith Lewis A Thesis Submitted for the Degree of PhD at the University of St Andrews 2015 Full metadata for this item is available in St Andrews Research Repository at: http://research-repository.st-andrews.ac.uk/ Please use this identifier to cite or link to this item: http://hdl.handle.net/10023/6330 This item is protected by original copyright PETER GUTHRIE TAIT NEW INSIGHTS INTO ASPECTS OF HIS LIFE AND WORK; AND ASSOCIATED TOPICS IN THE HISTORY OF MATHEMATICS ELIZABETH FAITH LEWIS This thesis is submitted in partial fulfilment for the degree of Ph.D. at the University of St Andrews. 2014 1. Candidate's declarations: I, Elizabeth Faith Lewis, hereby certify that this thesis, which is approximately 59,000 words in length, has been written by me, and that it is the record of work carried out by me, or principally by myself in collaboration with others as acknowledged, and that it has not been submitted in any previous application for a higher degree. I was admitted as a research student in September 2010 and as a candidate for the degree of Ph.D. in September 2010; the higher study for which this is a record was carried out in the University of St Andrews between 2010 and 2014. Signature of candidate ...................................... Date .................... 2. Supervisor's declaration: I hereby certify that the candidate has fulfilled the conditions of the Resolution and Regulations appropriate for the degree of Ph.D. -
Working with 3D Rotations
Working With 3D Rotations Stan Melax Graphics Software Engineer, Intel Human Brain is wired for Spatial Computation Which shape is the same: a) b) c) “I don’t need to ask A childhood IQ test question for directions” Translations Rotations Agenda ● Rotations and Matrices (hopefully review) ● Combining Rotations ● Matrix and Axis Angle ● Challenges of deep Space (of Rotations) ● Quaternions ● Applications Terminology Clarification Preferred usages of various terms: Linear Angular Object Pose Position (point) Orientation A change in Pose Translation (vector) Rotation Rate of change Linear Velocity Spin also: Direction specifies 2 DOF, Orientation specifies all 3 angular DOF. Rotations Trickier than Translations Translations Rotations a then b == b then a x then y != y then x (non-commutative) ● Programming with rotations also more challenging! 2D Rotation θ Rotate [1 0] by θ about origin 1,1 [ cos(θ) sin(θ) ] θ θ sin cos θ 1,0 2D Rotation θ Rotate [0 1] by θ about origin -1,1 0,1 sin θ [-sin(θ) cos(θ)] θ θ cos 2D Rotation of an arbitrary point Rotate about origin by θ = cos θ + sin θ 2D Rotation of an arbitrary point 푥 Rotate 푦 about origin by θ 푥′, 푦′ 푥′ = 푥 cos θ − 푦 sin θ 푦′ = 푥 sin θ + 푦 cos θ 푦 푥 2D Rotation Matrix 푥 Rotate 푦 about origin by θ 푥′, 푦′ 푥′ = 푥 cos θ − 푦 sin θ 푦′ = 푥 sin θ + 푦 cos θ 푦 푥′ cos θ − sin θ 푥 푥 = 푦′ sin θ cos θ 푦 cos θ − sin θ Matrix is rotation by θ sin θ cos θ 2D Orientation 풚 Yellow grid placed over first grid but at angle of θ cos θ − sin θ sin θ cos θ 풙 Columns of the matrix are the directions of the axes. -
Ten British Mathematicians
1917.] SHORTER NOTICES. 191 Any one familiar with Salkowski's papers in this field would recognize his fitness to prepare a third edition of the book. For a number of his papers are written from its point of view. Many sections have been rewritten and there are a number of essential additions. A notable one is the proof of the funda mental theorem concerning the determination of a curve by its intrinsic equations. A new chapter is devoted to a full discussion of skew ruled surfaces, in preparation for the study of those generated by the principal normals and bi nomials of a curve. When two curves in space are in one-to-one correspondence such that corresponding tangents, principal normals, and bi- normals respectively are parallel, the curves are in the relation of a transformation of Combescure, to use the terminology due to Bianchi. One readily thinks of other correspondences involving parallel arrangements, as well as ones having to do with differential quantities. An investigation of these ques tions appears in the new edition for the first time, as do also the ideas and properties of successive evolutes. A student reading one of the advanced treatises on differ ential geometry will do well to consult this little book, because of its method of attack and its richness in material. LUTHER PFAHLER EISENHART. Ten British Mathematicians. By ALEXANDER MACFARLANE. No. 17, Mathematical Monographs edited by Mansfield Merriman and Robert S. Woodward. New York, John Wiley and Sons, 1916. 148 pp. Price $1.25. THIS is somewhat of a departure from the preceding sixteen numbers of this series in subject matter, being an account of individual mathematicians and their contributions to mathe matics, rather than a survey of some particular field of the subject.