Universit¨At Stuttgart Fachbereich Mathematik

Total Page:16

File Type:pdf, Size:1020Kb

Universit¨At Stuttgart Fachbereich Mathematik ¥¯ ¥¯ ¥¯ ¥ ¥ ¥ ¥¯ ¥¯ ¥ ¥ ¥¯ ¥¯ ¥ ¥ ¥¯ ¥¯ ¥ ¥ ¥¯ ¥¯ ¥ ¥ ¥¯ ¥¯ ¥ ¥ ¥¯ ¥¯ ¥¯ ¥ ¥ ¥ ¥¯ ¥¯ ¥ ¥ ¥¯ ¥¯ ¥ ¥ ¥¯ ¥¯ ¥¯ ¥¯ ¥ ¥ ¥ ¥ ¥¯ ¥¯ ¥ ¥ ¥¯ ¥¯ ¥ ¥ ¥¯ ¥¯ ¥ ¥ ¥¯ ¥¯ ¥ ¥ ¥¯ ¥¯ ¥¯ ¥ ¥ ¥ ¥¯ ¥¯ ¥ ¥ ¥¯ ¥¯ ¥ ¥ ¥¯ ¥¯ ¥ ¥ ¥¯ ¥¯ ¥ ¥ ¥¯ ¥¯ ¥ ¥ ¥¯ ¥¯ ¥ ¥ ¥¯ ¥¯ ¥ ¥ ¥¯ ¥¯ ¥ ¥ ¥¯ ¥¯ ¥¯ ¥ ¥ ¥ ¥¯ ¥¯ ¥¯ ¥¯ ¥ ¥ ¥¯ ¥¯ ¥ ¥ ¥ ¥¯ ¥ ¥¯ ¥ ¥ ¥¯ ¥¯ ¥¯ ¥¯ ¥¯ ¥¯ ¥¯ ¥¯ ¥¯ ¥ ¥ ¥ ¥ ¥ ¥ ¥ ¥ ¥ ¨ ¥¯ ¯ Universit¥ at Fachbereich ¥¯ ¥¯ ¥ ¥ ¥¯ ¥ ¥¯ ¥ ¥¯ ¥ ¥¯ ¥ ¥ Stuttgart ¥Mathematik ¥¯ ¥¯ ¥¯ ¥ ¥ ¥ ¥¯ ¥¯ ¥ ¥ ¥¯ ¥¯ ¥ ¥ ¥¯ ¥¯ ¥ ¥ ¥¯ ¥¯ ¥ ¥ ¥¯ ¥¯ ¥ ¥ ¥¯ ¥¯ ¥ ¥ ¥¯ ¥¯ ¥ ¥ ¥¯ ¥¯ ¥ ¥ ¥¯ ¥¯ ¥¯ ¥ ¥ ¥ ¥¯ ¥¯ ¥ A minimal atlas for¥ the rotation group SO(3) ¥¯ ¥¯ ¥ ¥ ¥¯ ¥¯ ¥ ¥ Erik W. Grafarend, Wolfgang K¨uhnel ¥¯ ¥¯ ¥ ¥ ¥¯ ¥¯ ¥¯ ¥¯ ¥ ¥ ¥ ¥ ¥¯ ¥¯ ¥ ¥ ¥¯ ¥¯ ¥ ¥ ¥¯ ¥¯ ¥¯ ¥ ¥ ¥ ¥¯ ¥¯ ¥ ¥ ¥¯ ¥¯ ¥ ¥ ¥¯ ¥¯ ¥ ¥ ¥¯ ¥¯ ¥ ¥ ¥¯ ¥¯ ¥ ¥ ¥¯ ¥¯ ¥¯ ¥ ¥ ¥ Preprint 2010/015 Universitat¨ Stuttgart Fachbereich Mathematik A minimal atlas for the rotation group SO(3) Erik W. Grafarend, Wolfgang K¨uhnel Preprint 2010/015 Fachbereich Mathematik Fakultat¨ Mathematik und Physik Universitat¨ Stuttgart Pfaffenwaldring 57 D-70 569 Stuttgart E-Mail: [email protected] WWW: http://www.mathematik/uni-stuttgart.de/preprints ISSN 1613-8309 c Alle Rechte vorbehalten. Nachdruck nur mit Genehmigung des Autors. LATEX-Style: Winfried Geis, Thomas Merkle A minimal atlas for the rotation group SO(3) Erik W. Grafarend & Wolfgang Kuhnel¨ We describe explicitly an atlas for the rotation group SO(3) consisting of four charts where each chart is defined by Euler angles or each chart is defined by Cardan angles. This is best possible since it is well known that three charts do not suffice. It is our daily experience that the Earth rotates, and it is our yearly experience that the Earth revolves around the Sun. The rotation of the Earth is nowadays descibed by a rotation matrix, an element of the three-dimensional rotation group SO(3). The rotation group is presented in various monographs, for instance in [5] and [7]. The rotation matrix of the Earth is given by the International Earth Rotation and Reference Service (IERS) in terms of daily, monthly and yearly data, namely for precession/nutation versus polar motion/length of day variations (POM/LOD). The problem we are discussing here originates in the various parameter systems of the rotation of rigid or deformable bodies. The characteristic equations are the kinematic Euler equations and the dynamic Euler equations parameterized in terms of Euler or Cardan angles. For a deformable body the dynamic Euler equations are generalized into Euler-Liouville equations. As another parameter system Hamilton’s unit quaternions are used. General references are [3], [4], [10], [18] and, in particular, the previous article [8] by the first author on the same problem and the references quoted there. The Earth has to be considered as a gyroscope with exotic movements like precession and nutation in an inertial frame of reference or polar motion and length of day variation in an Earth-fixed frame of reference. These movements are described by elements of the rotation group SO(3) which is defined as the set of all real (3 3)-matrices with det A = 1 and with three orthonormal rows and columns. It is a compact three-dimensional× subgroup of the 9-dimensional group GL(3, R). Compare [22] for the reduction of 9 parameters to 3 parameters. In particular SO(3) is a connected Lie group and an analytic 3-manifold. Its universal 2-sheeted covering is the group Spin(3) which can be identified with the set of all unit quaternions H1 = Sp(1) = q H q =1 which, as a {3 ∈ 4 || || } manifold, is diffeomorphic with the 3-dimensional standard sphere S R . It is also isomorphic with the group SU(2). See [2] for the details. ⊂ It is necessary to have a parameterization of the rotation group by three independent parameters. In particular it is a very natural goal to define an atlas for the rotation group by charts. A chart is an injective and differentiable map Φ: U SO(3) of maximal rank where U is an open subset of R3 diffeomorphic with an open 3-dimensional→ ball. In other words: A chart Φ is a diffeomorphic map from U R3 onto its image Φ(U) SO(3). An atlas is a set of charts covering the entire group SO(3)⊂ such that all coordinate changes⊂ are differentiable maps. For a Lie group one may require that all coordinate changes are real analytic. Our contribution deals with the problem how to find such an atlas explicitly, especially one with a minimum number of maps. Here we can take advantage of the Lusternik-Schnirelmann category cat [12], [13], [14], [6]. The category of a manifold is defined as the minimum number of subsets of a covering such that each subset has a contractible neighborhood in the manifold. The number of critical points of a real function on M cannot be smaller than cat(M), see [23]. In particular the well known equation cat(SO(3)) = 4 indicates that at least four charts should be needed to cover the group SO(3) completely. This holds for any type of charts, not only for Euler charts or Cardan charts. From the practical point of view, the construction of a minimum atlas on SO(3) runs into the same problem as the construction of a minimum atlas on the unit sphere S2. For the unit sphere the equation CAT (S2) = 2 holds because the sphere is not contractible itself, and because we can cover it by two overlapping 2-discs around north and south pole. So in any case we need at least two distinct charts to cover the sphere completely. The standard spherical coordinates (spherical longitude and spherical latitude as a parameter system) become singular at the two poles. A well defined transverse coordinate system, also called meta-longitude and meta-latitude, 5 as a parameter system has to be constructed. The union of the charts longitude/latitude and meta-longitude/meta-latitude cover the unit sphere completely in the sense of a minimum atlas, see [9, Sect.3-3]. For the three-dimensional rotation group the singularities of the parameter system Euler angles, Cardan angles and Hamilton unit quaternions are well known. They have been already analysed in the monographs [16], [24] and [19]. For spaceborne gyroscopes, deforming in time, we refer to [20], [21]. For Euler angles and Cardan angles Rimrott [19] found six different charts which constitute a complete atlas. Thus it remained an open question to find four charts of Euler or Cardan type which constitute a minimum atlas for SO(3). Definition (Euler angles, Cardan angles) We say that two charts F1: U1 SO(3), F2: U2 SO(3) are of the same type if there is a → 3 → translation T in the parameter domain R and a rotation R SO(3) such that F2 = R F1 T . ∈ ◦ ◦ 1. By the Cayley parameters we mean the Cayley map C: so(3) SO(3) defined by → C(A)=(1+ A)(1 A)−1. − The exceptional locus SO(3) C(so(3)) consists of all rotation matrices with an angle π. The inverse map is explicitly given\ by C−1(B) = (B + 1)−1(B 1). − 2. The Geodesic polar coordinates are given by the exponential map exp: A so(3) A < π SO(3) { ∈ | || || } → with 1 exp(tA)= (tA)n = 1 + (sin t)A + (1 cos t)A2 X n! − n≥0 whenever A = 1. Here denotes the operator norm of a matrix. Again the exceptional locus consists of|| all|| rotation matrices|| || with an angle π. If B SO(3) is a matrix an angle distinct from π then we have tr(B) = 1, and B is not symmetric unless∈ it is the identity matrix 1 = exp(0). Hence we can recover6 the− corresponding A from the skew-symmetric part of B and its operator norm, where the scalar factor sin t uniquely determines the parameter t in the interval 0 <t<π. 3. The standard Euler chart is the following map F : U SO(3) for a suitable domain U R3 (for the precise choice of U see below) → ⊂ ∗ ∗ F (γ,α,γ )= Rz(γ) Rx(α) Rz(γ ) · · cos γ sin γ 0 1 0 0 cos γ∗ sin γ∗ 0 = sin γ −cos γ 0 0 cos α sin α sin γ∗ −cos γ∗ 0 · − · 0 01 0 sin α cos α 0 01 cos γ cos γ∗ sin γ cos α sin γ∗ cos γ sin γ∗ sin γ cos α cos γ∗ sin γ sin α = sin γ cos γ∗ +− cos γ cos α sin γ∗ − sin γ sin γ∗ +− cos γ cos α cos γ∗ cos γ sin α − − sin α sin γ∗ sin α cos γ∗ cos α The angles γ,α,γ∗ are called the Euler angles1 associated with the matrix on the right hand side. It is well known that the map F : R3 SO(3) is surjective, compare [17] for a theoretical foundation in terms of generators and relations→ of groups. 1named after Leonhard Euler (1707–1783) 6 4. The standard Cardan chart G: V SO(3) is the following map for a suitable domain V R3 (for the precise choice of V see below)→ ⊂ G(α,β,γ)= Rx(α) Ry(β) Rz(γ) · · 1 0 0 cos β 0 sin β cos γ sin γ 0 = 0 cos α sin α 01− 0 sin γ −cos γ 0 − · · 0 sin α cos α sin β 0 cos β 0 01 cos β cos γ cos β sin γ sin β = cos α sin γ sin α sin β cos γ cos α cos−γ + sin α sin β sin γ sin− α cos β − − sin α sin γ + cos α sin β cos γ sin α cos γ cos α sin β sin γ cos α cos β − Accordingly, the angles α,β,γ are called the Cardan angles2 associated with the matrix on the right hand side, sometimes also called Tait-Bryan angles or yaw, pitch and roll. The map G is surjective since the three standard rotations generated the entire rotation group. The exceptional sets of matrices where the Euler angles or the Cardan angles fail to be unique will be determined in the proof of our theorem below.
Recommended publications
  • Understanding Euler Angles 1
    Welcome Guest View Cart (0 items) Login Home Products Support News About Us Understanding Euler Angles 1. Introduction Attitude and Heading Sensors from CH Robotics can provide orientation information using both Euler Angles and Quaternions. Compared to quaternions, Euler Angles are simple and intuitive and they lend themselves well to simple analysis and control. On the other hand, Euler Angles are limited by a phenomenon called "Gimbal Lock," which we will investigate in more detail later. In applications where the sensor will never operate near pitch angles of +/‐ 90 degrees, Euler Angles are a good choice. Sensors from CH Robotics that can provide Euler Angle outputs include the GP9 GPS‐Aided AHRS, and the UM7 Orientation Sensor. Figure 1 ‐ The Inertial Frame Euler angles provide a way to represent the 3D orientation of an object using a combination of three rotations about different axes. For convenience, we use multiple coordinate frames to describe the orientation of the sensor, including the "inertial frame," the "vehicle‐1 frame," the "vehicle‐2 frame," and the "body frame." The inertial frame axes are Earth‐fixed, and the body frame axes are aligned with the sensor. The vehicle‐1 and vehicle‐2 are intermediary frames used for convenience when illustrating the sequence of operations that take us from the inertial frame to the body frame of the sensor. It may seem unnecessarily complicated to use four different coordinate frames to describe the orientation of the sensor, but the motivation for doing so will become clear as we proceed. For clarity, this application note assumes that the sensor is mounted to an aircraft.
    [Show full text]
  • The Rolling Ball Problem on the Sphere
    S˜ao Paulo Journal of Mathematical Sciences 6, 2 (2012), 145–154 The rolling ball problem on the sphere Laura M. O. Biscolla Universidade Paulista Rua Dr. Bacelar, 1212, CEP 04026–002 S˜aoPaulo, Brasil Universidade S˜aoJudas Tadeu Rua Taquari, 546, CEP 03166–000, S˜aoPaulo, Brasil E-mail address: [email protected] Jaume Llibre Departament de Matem`atiques, Universitat Aut`onomade Barcelona 08193 Bellaterra, Barcelona, Catalonia, Spain E-mail address: [email protected] Waldyr M. Oliva CAMGSD, LARSYS, Instituto Superior T´ecnico, UTL Av. Rovisco Pais, 1049–0011, Lisbon, Portugal Departamento de Matem´atica Aplicada Instituto de Matem´atica e Estat´ıstica, USP Rua do Mat˜ao,1010–CEP 05508–900, S˜aoPaulo, Brasil E-mail address: [email protected] Dedicated to Lu´ıs Magalh˜aes and Carlos Rocha on the occasion of their 60th birthdays Abstract. By a sequence of rolling motions without slipping or twist- ing along arcs of great circles outside the surface of a sphere of radius R, a spherical ball of unit radius has to be transferred from an initial state to an arbitrary final state taking into account the orientation of the ball. Assuming R > 1 we provide a new and shorter prove of the result of Frenkel and Garcia in [4] that with at most 4 moves we can go from a given initial state to an arbitrary final state. Important cases such as the so called elimination of the spin discrepancy are done with 3 moves only. 1991 Mathematics Subject Classification. Primary 58E25, 93B27. Key words: Control theory, rolling ball problem.
    [Show full text]
  • Chapter 5 ANGULAR MOMENTUM and ROTATIONS
    Chapter 5 ANGULAR MOMENTUM AND ROTATIONS In classical mechanics the total angular momentum L~ of an isolated system about any …xed point is conserved. The existence of a conserved vector L~ associated with such a system is itself a consequence of the fact that the associated Hamiltonian (or Lagrangian) is invariant under rotations, i.e., if the coordinates and momenta of the entire system are rotated “rigidly” about some point, the energy of the system is unchanged and, more importantly, is the same function of the dynamical variables as it was before the rotation. Such a circumstance would not apply, e.g., to a system lying in an externally imposed gravitational …eld pointing in some speci…c direction. Thus, the invariance of an isolated system under rotations ultimately arises from the fact that, in the absence of external …elds of this sort, space is isotropic; it behaves the same way in all directions. Not surprisingly, therefore, in quantum mechanics the individual Cartesian com- ponents Li of the total angular momentum operator L~ of an isolated system are also constants of the motion. The di¤erent components of L~ are not, however, compatible quantum observables. Indeed, as we will see the operators representing the components of angular momentum along di¤erent directions do not generally commute with one an- other. Thus, the vector operator L~ is not, strictly speaking, an observable, since it does not have a complete basis of eigenstates (which would have to be simultaneous eigenstates of all of its non-commuting components). This lack of commutivity often seems, at …rst encounter, as somewhat of a nuisance but, in fact, it intimately re‡ects the underlying structure of the three dimensional space in which we are immersed, and has its source in the fact that rotations in three dimensions about di¤erent axes do not commute with one another.
    [Show full text]
  • Euler Quaternions
    Four different ways to represent rotation my head is spinning... The space of rotations SO( 3) = {R ∈ R3×3 | RRT = I,det(R) = +1} Special orthogonal group(3): Why det( R ) = ± 1 ? − = − Rotations preserve distance: Rp1 Rp2 p1 p2 Rotations preserve orientation: ( ) × ( ) = ( × ) Rp1 Rp2 R p1 p2 The space of rotations SO( 3) = {R ∈ R3×3 | RRT = I,det(R) = +1} Special orthogonal group(3): Why it’s a group: • Closed under multiplication: if ∈ ( ) then ∈ ( ) R1, R2 SO 3 R1R2 SO 3 • Has an identity: ∃ ∈ ( ) = I SO 3 s.t. IR1 R1 • Has a unique inverse… • Is associative… Why orthogonal: • vectors in matrix are orthogonal Why it’s special: det( R ) = + 1 , NOT det(R) = ±1 Right hand coordinate system Possible rotation representations You need at least three numbers to represent an arbitrary rotation in SO(3) (Euler theorem). Some three-number representations: • ZYZ Euler angles • ZYX Euler angles (roll, pitch, yaw) • Axis angle One four-number representation: • quaternions ZYZ Euler Angles φ = θ rzyz ψ φ − φ cos sin 0 To get from A to B: φ = φ φ Rz ( ) sin cos 0 1. Rotate φ about z axis 0 0 1 θ θ 2. Then rotate θ about y axis cos 0 sin θ = ψ Ry ( ) 0 1 0 3. Then rotate about z axis − sinθ 0 cosθ ψ − ψ cos sin 0 ψ = ψ ψ Rz ( ) sin cos 0 0 0 1 ZYZ Euler Angles φ θ ψ Remember that R z ( ) R y ( ) R z ( ) encode the desired rotation in the pre- rotation reference frame: φ = pre−rotation Rz ( ) Rpost−rotation Therefore, the sequence of rotations is concatentated as follows: (φ θ ψ ) = φ θ ψ Rzyz , , Rz ( )Ry ( )Rz ( ) φ − φ θ θ ψ − ψ cos sin 0 cos 0 sin cos sin 0 (φ θ ψ ) = φ φ ψ ψ Rzyz , , sin cos 0 0 1 0 sin cos 0 0 0 1− sinθ 0 cosθ 0 0 1 − − − cφ cθ cψ sφ sψ cφ cθ sψ sφ cψ cφ sθ (φ θ ψ ) = + − + Rzyz , , sφ cθ cψ cφ sψ sφ cθ sψ cφ cψ sφ sθ − sθ cψ sθ sψ cθ ZYX Euler Angles (roll, pitch, yaw) φ − φ cos sin 0 To get from A to B: φ = φ φ Rz ( ) sin cos 0 1.
    [Show full text]
  • Theory of Angular Momentum and Spin
    Chapter 5 Theory of Angular Momentum and Spin Rotational symmetry transformations, the group SO(3) of the associated rotation matrices and the 1 corresponding transformation matrices of spin{ 2 states forming the group SU(2) occupy a very important position in physics. The reason is that these transformations and groups are closely tied to the properties of elementary particles, the building blocks of matter, but also to the properties of composite systems. Examples of the latter with particularly simple transformation properties are closed shell atoms, e.g., helium, neon, argon, the magic number nuclei like carbon, or the proton and the neutron made up of three quarks, all composite systems which appear spherical as far as their charge distribution is concerned. In this section we want to investigate how elementary and composite systems are described. To develop a systematic description of rotational properties of composite quantum systems the consideration of rotational transformations is the best starting point. As an illustration we will consider first rotational transformations acting on vectors ~r in 3-dimensional space, i.e., ~r R3, 2 we will then consider transformations of wavefunctions (~r) of single particles in R3, and finally N transformations of products of wavefunctions like j(~rj) which represent a system of N (spin- Qj=1 zero) particles in R3. We will also review below the well-known fact that spin states under rotations behave essentially identical to angular momentum states, i.e., we will find that the algebraic properties of operators governing spatial and spin rotation are identical and that the results derived for products of angular momentum states can be applied to products of spin states or a combination of angular momentum and spin states.
    [Show full text]
  • Evaluation of MEMS Accelerometer and Gyroscope for Orientation Tracking Nutrunner Functionality
    EXAMENSARBETE INOM ELEKTROTEKNIK, GRUNDNIVÅ, 15 HP STOCKHOLM, SVERIGE 2017 Evaluation of MEMS accelerometer and gyroscope for orientation tracking nutrunner functionality Utvärdering av MEMS accelerometer och gyroskop för rörelseavläsning av skruvdragare ERIK GRAHN KTH SKOLAN FÖR TEKNIK OCH HÄLSA Evaluation of MEMS accelerometer and gyroscope for orientation tracking nutrunner functionality Utvärdering av MEMS accelerometer och gyroskop för rörelseavläsning av skruvdragare Erik Grahn Examensarbete inom Elektroteknik, Grundnivå, 15 hp Handledare på KTH: Torgny Forsberg Examinator: Thomas Lind TRITA-STH 2017:115 KTH Skolan för Teknik och Hälsa 141 57 Huddinge, Sverige Abstract In the production industry, quality control is of importance. Even though today's tools provide a lot of functionality and safety to help the operators in their job, the operators still is responsible for the final quality of the parts. Today the nutrunners manufactured by Atlas Copco use their driver to detect the tightening angle. There- fore the operator can influence the tightening by turning the tool clockwise or counterclockwise during a tightening and quality cannot be assured that the bolt is tightened with a certain torque angle. The function of orientation tracking was de- sired to be evaluated for the Tensor STB angle and STB pistol tools manufactured by Atlas Copco. To be able to study the orientation of a nutrunner, practical exper- iments were introduced where an IMU sensor was fixed on a battery powered nutrunner. Sensor fusion in the form of a complementary filter was evaluated. The result states that the accelerometer could not be used to estimate the angular dis- placement of tightening due to vibration and gimbal lock and therefore a sensor fusion is not possible.
    [Show full text]
  • Rotation Matrix - Wikipedia, the Free Encyclopedia Page 1 of 22
    Rotation matrix - Wikipedia, the free encyclopedia Page 1 of 22 Rotation matrix From Wikipedia, the free encyclopedia In linear algebra, a rotation matrix is a matrix that is used to perform a rotation in Euclidean space. For example the matrix rotates points in the xy -Cartesian plane counterclockwise through an angle θ about the origin of the Cartesian coordinate system. To perform the rotation, the position of each point must be represented by a column vector v, containing the coordinates of the point. A rotated vector is obtained by using the matrix multiplication Rv (see below for details). In two and three dimensions, rotation matrices are among the simplest algebraic descriptions of rotations, and are used extensively for computations in geometry, physics, and computer graphics. Though most applications involve rotations in two or three dimensions, rotation matrices can be defined for n-dimensional space. Rotation matrices are always square, with real entries. Algebraically, a rotation matrix in n-dimensions is a n × n special orthogonal matrix, i.e. an orthogonal matrix whose determinant is 1: . The set of all rotation matrices forms a group, known as the rotation group or the special orthogonal group. It is a subset of the orthogonal group, which includes reflections and consists of all orthogonal matrices with determinant 1 or -1, and of the special linear group, which includes all volume-preserving transformations and consists of matrices with determinant 1. Contents 1 Rotations in two dimensions 1.1 Non-standard orientation
    [Show full text]
  • A Tutorial on Euler Angles and Quaternions
    A Tutorial on Euler Angles and Quaternions Moti Ben-Ari Department of Science Teaching Weizmann Institute of Science http://www.weizmann.ac.il/sci-tea/benari/ Version 2.0.1 c 2014–17 by Moti Ben-Ari. This work is licensed under the Creative Commons Attribution-ShareAlike 3.0 Unported License. To view a copy of this license, visit http://creativecommons.org/licenses/ by-sa/3.0/ or send a letter to Creative Commons, 444 Castro Street, Suite 900, Mountain View, California, 94041, USA. Chapter 1 Introduction You sitting in an airplane at night, watching a movie displayed on the screen attached to the seat in front of you. The airplane gently banks to the left. You may feel the slight acceleration, but you won’t see any change in the position of the movie screen. Both you and the screen are in the same frame of reference, so unless you stand up or make another move, the position and orientation of the screen relative to your position and orientation won’t change. The same is not true with respect to your position and orientation relative to the frame of reference of the earth. The airplane is moving forward at a very high speed and the bank changes your orientation with respect to the earth. The transformation of coordinates (position and orientation) from one frame of reference is a fundamental operation in several areas: flight control of aircraft and rockets, move- ment of manipulators in robotics, and computer graphics. This tutorial introduces the mathematics of rotations using two formalisms: (1) Euler angles are the angles of rotation of a three-dimensional coordinate frame.
    [Show full text]
  • Dirac's Belt Trick, Gyroscopes, and the Ipad
    Dirac's Belt Trick, Gyroscopes, and the iPad Richard Koch May 19, 2012 Dirac's Belt Trick P. A. M. Dirac, 1902 - 1984 Nobel Prize (with Erwin Schrodinger) in 1933 Formulated Dirac equation, a relativistically correct quantum mechanical description of the electron, which predicted the existence of antiparticles. My Home Page: http://pages.uoregon.edu/koch TeXShop for Macintosh; TeX by Donald Knuth for Everything 2 \documentclass[11pt]{amsart} 2 25 Using T X, we can typeset 1+x+x and the matrix . \usepackage[paper width = 6in, paperheight = 7in]{geometry} E e2x+p5 p10 7 \usepackage[parfill]{parskip} According to calculus q ✓ − ◆ \usepackage{graphicx} 1 2 1 x2 p⇡ 2x +3x dx = 2 and e− dx = \begin{document} 2 Z0 Z0 Using \TeX, we can typeset $\sqrt{ {{1 + x + x^2} The path of a particle in a gravitational field is given by γi(t) \over {e^{2x + \sqrt{5}}}}}$ where and the matrix $\left( \begin{array}{cc} 2 & 5 \\ d2γ dγ dγ i + Γi i j =0 \sqrt{10} & -7 \end{array} \right)$. dt2 jk dt dt According to calculus Xjk $$\int_0^1 {2x + 3x^2}\ dx = 2 \hspace{.2in} \mbox{and} \hspace{.2in} \int_0^\infty e^{- x^2} \ dx = {{\sqrt{\pi}} \over 2}$$ The path of a particle in a gravitational field is given by $\gamma_i(t)$ where $${{d^2 \gamma_i} \over {d t^2}} + \sum_{jk} \Gamma^i_{jk} {{d \gamma_i} \over {dt}} {{d \gamma_j} \over {dt}} = 0$$ \begin{figure}[htbp] \centering \includegraphics[width=2in]{MoveTest-math.jpg} \end{figure} \end{document} 1 WWDC, Apple's Worldwide Developer's Conference Gyroscopes in the iPhone and iPad 1.
    [Show full text]
  • Baumgarte Stabilisation Over the SO(3) Rotation Group for Control
    2015 IEEE 54th Annual Conference on Decision and Control (CDC) December 15-18, 2015. Osaka, Japan Baumgarte Stabilisation over the SO(3) Rotation Group for Control Sebastien Gros, Marion Zanon, Moritz Diehl Abstract— Representations of the SO(3) rotation group are quaternion and the Direction Cosine Matrix (DCM). For a crucial for airborne and aerospace applications. Euler angles complete survey, we refer to [2]. is a popular representation in many applications, but yield Quaternions are an extension of complex numbers to models having singular dynamics. This issue is addressed via non-singular representations, operating in dimensions higher a four-dimensional space, which allows for describing the than 3. Unit quaternions and the Direction Cosine Matrix are SO(3) rotation group. They can be construed as four- the best known non-singular representations, and favoured in dimensional vectors q R4. The SO(3) rotation group is challenging aeronautic and aerospace applications. All non- 2 4 then covered by q Q := q R q>q = 1 with: singular representations yield invariants in the model dynamics, 2 2 j i.e. a set of nonlinear algebraic conditions that must be fulfilled R(q) = E(q)G(q)> SO(3); by the model initial conditions, and that remain fulfilled over 2 2 3 q1 q0 q3 q2 time. However, due to numerical integration errors, these condi- − − tions tend to become violated when using standard integrators, G(q) = 4 q2 q3 q0 q1 5; − − making the model inconsistent with the physical reality. This q3 q2 q1 q0 issue poses some challenges when non-singular representations 2 − − 3 q1 q0 q3 q2 are deployed in optimal control.
    [Show full text]
  • Chapter 1 Rigid Body Kinematics
    Chapter 1 Rigid Body Kinematics 1.1 Introduction This chapter builds up the basic language and tools to describe the motion of a rigid body – this is called rigid body kinematics. This material will be the foundation for describing general mech- anisms consisting of interconnected rigid bodies in various topologies that are the focus of this book. Only the geometric property of the body and its evolution in time will be studied; the re- sponse of the body to externally applied forces is covered in Chapter ?? under the topic of rigid body dynamics. Rigid body kinematics is not only useful in the analysis of robotic mechanisms, but also has many other applications, such as in the analysis of planetary motion, ground, air, and water vehicles, limbs and bodies of humans and animals, and computer graphics and virtual reality. Indeed, in 1765, motivated by the precession of the equinoxes, Leonhard Euler decomposed a rigid body motion to a translation and rotation, parameterized rotation by three principal-axis rotation (Euler angles), and proved the famous Euler’s rotation theorem [?]. A body is rigid if the distance between any two points fixed with respect to the body remains constant. If the body is free to move and rotate in space, it has 6 degree-of-freedom (DOF), 3 trans- lational and 3 rotational, if we consider both translation and rotation. If the body is constrained in a plane, then it is 3-DOF, 2 translational and 1 rotational. We will adopt a coordinate-free ap- proach as in [?, ?] and use geometric, rather than purely algebraic, arguments as much as possible.
    [Show full text]
  • 3D Rigid Body Dynamics: Tops and Gyroscopes
    J. Peraire, S. Widnall 16.07 Dynamics Fall 2008 Version 2.0 Lecture L30 - 3D Rigid Body Dynamics: Tops and Gyroscopes 3D Rigid Body Dynamics: Euler Equations in Euler Angles In lecture 29, we introduced the Euler angles as a framework for formulating and solving the equations for conservation of angular momentum. We applied this framework to the free-body motion of a symmetrical body whose angular momentum vector was not aligned with a principal axis. The angular moment was however constant. We now apply Euler angles and Euler’s equations to a slightly more general case, a top or gyroscope in the presence of gravity. We consider a top rotating about a fixed point O on a flat plane in the presence of gravity. Unlike our previous example of free-body motion, the angular momentum vector is not aligned with the Z axis, but precesses about the Z axis due to the applied moment. Whether we take the origin at the center of mass G or the fixed point O, the applied moment about the x axis is Mx = MgzGsinθ, where zG is the distance to the center of mass.. Initially, we shall not assume steady motion, but will develop Euler’s equations in the Euler angle variables ψ (spin), φ (precession) and θ (nutation). 1 Referring to the figure showing the Euler angles, and referring to our study of free-body motion, we have the following relationships between the angular velocities along the x, y, z axes and the time rate of change of the Euler angles. The angular velocity vectors for θ˙, φ˙ and ψ˙ are shown in the figure.
    [Show full text]