Dynamic Modeling and Control of Spacecraft Robotic Systems Using Dual Quaternions

Total Page:16

File Type:pdf, Size:1020Kb

Dynamic Modeling and Control of Spacecraft Robotic Systems Using Dual Quaternions DYNAMIC MODELING AND CONTROL OF SPACECRAFT ROBOTIC SYSTEMS USING DUAL QUATERNIONS A Dissertation Presented to The Academic Faculty By Alfredo Valverde Salazar In Partial Fulfillment of the Requirements for the Degree Doctor of Philosophy in the School of Aerospace Georgia Institute of Technology May 2018 Copyright c Alfredo Valverde Salazar 2018 DYNAMIC MODELING AND CONTROL OF SPACECRAFT ROBOTIC SYSTEMS USING DUAL QUATERNIONS Approved by: Dr. Panagiotis Tsiotras, Advisor Dr. David S. Bayard School of Aerospace Engineering Guidance and Control Analysis Georgia Institute of Technology Group Jet Propulsion Laboratory Dr. Marcus J. Holzinger School of Aerospace Engineering Dr. Glenn Lightsey Georgia Institute of Technology School of Aerospace Engineering Georgia Institute of Technology Dr. Patricio A. Vela School of Electrical and Computer Date Approved: April 6, 2018 Engineering Georgia Institute of Technology Nothing in life is to be feared, it is only to be understood. Marie Curie To my mother, who taught me that perfection is not a myth, and to my wife, who stands by my side rain or shine. ACKNOWLEDGEMENTS First and foremost, I would like to thank my mother Rosario Salazar and my wife Bailey Valverde, whose unconditional love has no limits, and whose support has never wavered. Taty, Guille, Amis, Rosita, Mari, Laura, Francisco, Tim, Ms. Carol, you are the best family anyone could ever ask for, and each one of you has contributed greatly to me becoming a better person. Thank you for supporting my dreams and enabling me in every possible way. Professor Panagiotis Tsiotras thank you for being an admirable professional and an even better advisor. Your desire to pursue the highest levels of research has shaped me in ways I could have only wished for when I joined the DCSL. Thank you for providing me, and those who surround you, the opportunity to learn by your side. I would also like to thank the members of my defense committee for their valuable insight and remarkably keen eye: Dr. Marcus J. Holzinger, Dr. Patricio A. Vela, Dr. Glenn Lightsey and Dr. David S. Bayard. In one way or the other, you all contributed enormously to the work contained in this dissertation, and even that might still be an understatement. Nuno Filipe and Chiluwata Lungu, as my most impactful non-faculty mentors through- out my journey at Georgia Tech, I would like to thank you for setting the bar so high. Esteban Q., Eduardo B., María José O., Benjamin H., Oliver D., Alex S., Luke N.: thank you for unparalleled levels of friendship. Alex D., thank you for an amazing friendship and for your help with Clifford algebras, most of which I have incorporated in this disserta- tion. Mehregan D. and Matthew K-S.: thank you for your patience, your persistence, your determination, your hard work, and an uncountable amount of sleepless nights in the lab. As this space is finite, many people who have played an important role in my life have not been explicitly mentioned, including family, friends, teachers, coaches, mentors, and role models. To each and every person I have come across in my life, contributing to shaping me into the individual I am today: thank you! v TABLE OF CONTENTS Acknowledgments . v List of Tables . xi List of Figures . xiii Chapter 1: Introduction . 1 1.1 Motivation . 1 1.2 Literature Review . 5 1.2.1 Dual Quaternions in Robotics . 5 1.2.2 Dynamic Modeling and Control of Rigid Bodies in 6-DOF Motion . 8 1.2.3 Dynamic Modeling of Spacecraft-Mounted Robotic Manipulators . 12 1.3 Research Focus and Contributions . 23 Chapter 2: Dual Quaternions . 27 2.1 Clifford Algebras . 27 2.2 Quaternions . 29 2.3 Dual Quaternions . 33 2.3.1 Wrench Notation and Transformations Using Dual Quaternions . 40 2.3.2 Dual Inertia Matrix, Dual Momentum and 6-DOF Rigid Body Dy- namics . 43 vi Chapter 3: Dual Quaternions in Robotics . 50 3.1 Dual Quaternion Notation . 50 3.2 Product of Exponentials Formula in Dual-Quaternion Form . 51 3.3 Denavit-Hartenberg Parameters in Dual Quaternion Form . 54 3.4 Convex Constraints Using Dual Quaternions . 57 3.5 Example: Forward Kinematics with an Inertially Fixed Base . 61 3.6 Example: Forward Kinematics of a Floating Double Pendulum with End- Effector . 67 Chapter 4: Pose Tracking and Dual Inertia Estimation Using Concurrent Learn- ing with Dual Quaternions . 70 4.1 Concurrent Learning . 72 4.2 Adaptive Control with Continuous Concurrent Learning . 75 4.3 Adaptive Control with Discrete Concurrent Learning . 82 4.4 Concurrent Learning as a Contributing Factor to Meet Persistency of Exci- tation Conditions . 87 4.5 Numerical Results . 91 4.6 Conclusions . 97 Chapter 5: Dynamic Modeling of A Robotic Arm on a Satellite Using Dual Quaternions . 100 5.1 Dynamic System Modeling - Decoupled Formulation . 100 5.1.1 Frame Assignment to Each Variable . 103 5.1.2 Constraints . 104 5.1.3 Attitude Kinematics . 108 5.1.4 Position Kinematics . 109 vii 5.1.5 State Definition . 109 5.2 Dual Quaternion Formulation . 110 5.2.1 Wrenches . 110 5.2.2 Robot Geometry in Dual Quaternions . 111 5.2.3 Robot Dynamic Equations in Dual Quaternion Form . 114 5.2.4 Relative Kinematics and Joint Motion . 115 5.2.5 Derivation of Kinematic Constraints Using Dual Quaternions . 118 5.2.6 Dual Quaternion Kinematics . 120 5.2.7 Dual Quaternion Formulation Implementation . 122 5.3 Results . 129 Chapter 6: Dynamics Framework Generalization . 138 6.1 Variable Definition and Conventions . 138 6.2 Kinematics . 146 6.3 Dynamics . 147 6.4 Locking or Prescribing Joint Motion . 151 6.5 Framework Summary . 154 Chapter 7: Two-Manipulator Satellite . 156 7.1 System Architecture and Frame Definition for Satellite with Two Manipu- lators . 156 7.2 Auxiliary Matrices for Two Arm Architecture . 156 7.3 Variable Definition for Two Arm Architecture . 160 7.4 Kinematics for Two Arm Architecture . 162 viii 7.5 Dynamics for Two Arm Architecture . 165 7.5.1 Matrices S11 and S22 . 165 7.5.2 Matrix S12 ..............................165 7.5.3 Matrix S21 ..............................167 7.5.4 Vector B1 ...............................168 7.5.5 Vector B2 ...............................170 7.6 Numerical Results . 170 Chapter 8: Robotic End Effector Control . 176 8.1 Differential Dynamic Programming . 176 8.2 Derivation of Differential Dynamic Programming . 176 8.3 Control Update Step . 184 8.4 End-Effector Kinematics . 185 8.5 End-Effector Pose Stabilization Using DDP . 186 8.6 Objective Function Design for End-Effector Pose Tracking . 188 8.7 End-Effector Pose Tracking . 189 Chapter 9: Estimation of Mass Properties for Spacecraft-Mounted Manipulator 203 9.1 Incorporation into the Concurrent Learning Framework . 203 9.2 Adaptive Estimation of Dual Inertia . 206 9.3 Algorithm Description . 208 9.4 Aggressive Estimation . 210 9.5 Numerical Simulations . 212 ix Chapter 10:Conclusions . 220 10.1 Future Work . 223 Appendix A: Expansion of Translational Constraint Encoded in Dual Quater- nion for Joint 0 . 227 A.1 Derivation . 227 References . 243 Vita ........................................... 244 x LIST OF TABLES 2.1 Matching of Clifford algebra elements and quaternion algebra elements. 30 2.2 Quaternion Operations . 31 2.3 Matching of Clifford algebra elements and dual quaternion algebra elements. 35 2.4 Dual Quaternion Operations . 36 2.5 Unit Dual Quaternion Operations . 37 3.1 Screw (ξi) for revolute and prismatic joints. 66 5.1 Frame assignment for relevant variables. 103 5.2 Average and variance of run times for 100 simulations for two different dynamics formulations using MATLAB. 133 5.3 Average and variance of run times for 100 simulations for two different dynamics formulations using SIMULINK. 134 6.1 Generalized coordinates ΓJi for joint Ji depending on its type. 143 6.2 Form of reduced reaction wrenches for different joint types. 145 6.3 Form of actuation wrenches for different joint types. 146 6.4 Mapping matrix from angular velocity to generalized coordinates. 147 7.1 P (·) and N(·) functions applied to the columns of C for two-arm satellite topology. 158 7.2 N(·) function applied to the rows of C for two-arm satellite topology. 160 xi 7.3 Joint characterization for two-arm spacecraft. 161 8.1 Cost function parameters. 187 8.2 Parametrization parameters for iteration dependence. 192 xii LIST OF FIGURES 2.1 Wrench interpretation. 41 3.1 Screw motion parametrized by θ and s. ................... 51 3.2 Denavit-Hartenberg parameters. 54 3.3 Line-of-sight constraint during grappling. 62 3.4 Approach slope constraint. 63 3.5 Upper-and-lower bounds constraint. 64 3.6 General attitude constraint with respect to inertial directions. 64 3.7 Robot arm configuration. 65 3.8 Robot arm configuration. ..
Recommended publications
  • Hypercomplex Algebras and Their Application to the Mathematical
    Hypercomplex Algebras and their application to the mathematical formulation of Quantum Theory Torsten Hertig I1, Philip H¨ohmann II2, Ralf Otte I3 I tecData AG Bahnhofsstrasse 114, CH-9240 Uzwil, Schweiz 1 [email protected] 3 [email protected] II info-key GmbH & Co. KG Heinz-Fangman-Straße 2, DE-42287 Wuppertal, Deutschland 2 [email protected] March 31, 2014 Abstract Quantum theory (QT) which is one of the basic theories of physics, namely in terms of ERWIN SCHRODINGER¨ ’s 1926 wave functions in general requires the field C of the complex numbers to be formulated. However, even the complex-valued description soon turned out to be insufficient. Incorporating EINSTEIN’s theory of Special Relativity (SR) (SCHRODINGER¨ , OSKAR KLEIN, WALTER GORDON, 1926, PAUL DIRAC 1928) leads to an equation which requires some coefficients which can neither be real nor complex but rather must be hypercomplex. It is conventional to write down the DIRAC equation using pairwise anti-commuting matrices. However, a unitary ring of square matrices is a hypercomplex algebra by definition, namely an associative one. However, it is the algebraic properties of the elements and their relations to one another, rather than their precise form as matrices which is important. This encourages us to replace the matrix formulation by a more symbolic one of the single elements as linear combinations of some basis elements. In the case of the DIRAC equation, these elements are called biquaternions, also known as quaternions over the complex numbers. As an algebra over R, the biquaternions are eight-dimensional; as subalgebras, this algebra contains the division ring H of the quaternions at one hand and the algebra C ⊗ C of the bicomplex numbers at the other, the latter being commutative in contrast to H.
    [Show full text]
  • Application of Dual Quaternions on Selected Problems
    APPLICATION OF DUAL QUATERNIONS ON SELECTED PROBLEMS Jitka Prošková Dissertation thesis Supervisor: Doc. RNDr. Miroslav Láviˇcka, Ph.D. Plze ˇn, 2017 APLIKACE DUÁLNÍCH KVATERNIONU˚ NA VYBRANÉ PROBLÉMY Jitka Prošková Dizertaˇcní práce Školitel: Doc. RNDr. Miroslav Láviˇcka, Ph.D. Plze ˇn, 2017 Acknowledgement I would like to thank all the people who have supported me during my studies. Especially many thanks belong to my family for their moral and material support and my advisor doc. RNDr. Miroslav Láviˇcka, Ph.D. for his guidance. I hereby declare that this Ph.D. thesis is completely my own work and that I used only the cited sources. Plzeˇn, July 20, 2017, ........................... i Annotation In recent years, the study of quaternions has become an active research area of applied geometry, mainly due to an elegant and efficient possibility to represent using them ro- tations in three dimensional space. Thanks to their distinguished properties, quaternions are often used in computer graphics, inverse kinematics robotics or physics. Furthermore, dual quaternions are ordered pairs of quaternions. They are especially suitable for de- scribing rigid transformations, i.e., compositions of rotations and translations. It means that this structure can be considered as a very efficient tool for solving mathematical problems originated for instance in kinematics, bioinformatics or geodesy, i.e., whenever the motion of a rigid body defined as a continuous set of displacements is investigated. The main goal of this thesis is to provide a theoretical analysis and practical applications of the dual quaternions on the selected problems originated in geometric modelling and other sciences or various branches of technical practise.
    [Show full text]
  • K-Theory and Algebraic Geometry
    http://dx.doi.org/10.1090/pspum/058.2 Recent Titles in This Series 58 Bill Jacob and Alex Rosenberg, editors, ^-theory and algebraic geometry: Connections with quadratic forms and division algebras (University of California, Santa Barbara) 57 Michael C. Cranston and Mark A. Pinsky, editors, Stochastic analysis (Cornell University, Ithaca) 56 William J. Haboush and Brian J. Parshall, editors, Algebraic groups and their generalizations (Pennsylvania State University, University Park, July 1991) 55 Uwe Jannsen, Steven L. Kleiman, and Jean-Pierre Serre, editors, Motives (University of Washington, Seattle, July/August 1991) 54 Robert Greene and S. T. Yau, editors, Differential geometry (University of California, Los Angeles, July 1990) 53 James A. Carlson, C. Herbert Clemens, and David R. Morrison, editors, Complex geometry and Lie theory (Sundance, Utah, May 1989) 52 Eric Bedford, John P. D'Angelo, Robert E. Greene, and Steven G. Krantz, editors, Several complex variables and complex geometry (University of California, Santa Cruz, July 1989) 51 William B. Arveson and Ronald G. Douglas, editors, Operator theory/operator algebras and applications (University of New Hampshire, July 1988) 50 James Glimm, John Impagliazzo, and Isadore Singer, editors, The legacy of John von Neumann (Hofstra University, Hempstead, New York, May/June 1988) 49 Robert C. Gunning and Leon Ehrenpreis, editors, Theta functions - Bowdoin 1987 (Bowdoin College, Brunswick, Maine, July 1987) 48 R. O. Wells, Jr., editor, The mathematical heritage of Hermann Weyl (Duke University, Durham, May 1987) 47 Paul Fong, editor, The Areata conference on representations of finite groups (Humboldt State University, Areata, California, July 1986) 46 Spencer J. Bloch, editor, Algebraic geometry - Bowdoin 1985 (Bowdoin College, Brunswick, Maine, July 1985) 45 Felix E.
    [Show full text]
  • Hyperbolicity of Hermitian Forms Over Biquaternion Algebras
    HYPERBOLICITY OF HERMITIAN FORMS OVER BIQUATERNION ALGEBRAS NIKITA A. KARPENKO Abstract. We show that a non-hyperbolic hermitian form over a biquaternion algebra over a field of characteristic 6= 2 remains non-hyperbolic over a generic splitting field of the algebra. Contents 1. Introduction 1 2. Notation 2 3. Krull-Schmidt principle 3 4. Splitting off a motivic summand 5 5. Rost correspondences 7 6. Motivic decompositions of some isotropic varieties 12 7. Proof of Main Theorem 14 References 16 1. Introduction Throughout this note (besides of x3 and x4) F is a field of characteristic 6= 2. The basic reference for the staff related to involutions on central simple algebras is [12].p The degree deg A of a (finite dimensional) central simple F -algebra A is the integer dimF A; the index ind A of A is the degree of a central division algebra Brauer-equivalent to A. Conjecture 1.1. Let A be a central simple F -algebra endowed with an orthogonal invo- lution σ. If σ becomes hyperbolic over the function field of the Severi-Brauer variety of A, then σ is hyperbolic (over F ). In a stronger version of Conjecture 1.1, each of two words \hyperbolic" is replaced by \isotropic", cf. [10, Conjecture 5.2]. Here is the complete list of indices ind A and coindices coind A = deg A= ind A of A for which Conjecture 1.1 is known (over an arbitrary field of characteristic 6= 2), given in the chronological order: • ind A = 1 | trivial; Date: January 2008. Key words and phrases.
    [Show full text]
  • The 22Nd International Conference on Finite Or Infinite Dimensional
    The 22nd International Conference on Finite or Infinite Dimensional Complex Analysis and Applications August 8{August 11, 2014 Dongguk University Gyeongju, Republic of Korea The 22nd International Conference on Finite or Infinite Dimensional Complex Analysis and Applications http://22.icfidcaa.org August 8{11, 2014 Dongguk University Gyeongju, Republic of Korea Organized by • Dongguk University (Gyeongju Campus) • Youngnam Mathematical Society • BK21PLUS Center for Math Research and Education at PNU • Gyeongsang National University Supported by • KOFST (The Korean Federation of Science and Technology Societies) August 2, 2014 Contents Preface, Welcome and Acknowledgements ..................................1 Committee ......................................................................3 Topics of Conference ...........................................................4 History and Publications ......................................................5 Welcome Address ..............................................................8 Outline of Activities ...........................................................9 Details of Activities ..........................................................12 Abstracts of Talks .............................................................30 1 Preface, Welcome and Acknowledgements The 22nd International Conference on Finite or Infinite Dimensional Complex Analy- sis and Applications is being held at Dongguk University (Gyeongju), continuing to The 16th International Conference on Finite or Infinite Dimensional Complex
    [Show full text]
  • Exponential and Cayley Maps for Dual Quaternions
    View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by LSBU Research Open Exponential and Cayley maps for Dual Quaternions J.M. Selig Abstract. In this work various maps between the space of twists and the space of finite screws are studied. Dual quaternions can be used to represent rigid-body motions, both finite screw motions and infinitesimal motions, called twists. The finite screws are elements of the group of rigid-body motions while the twists are elements of the Lie algebra of this group. The group of rigid-body displacements are represented by dual quaternions satisfying a simple relation in the algebra. The space of group elements can be though of as a six-dimensional quadric in seven-dimensional projective space, this quadric is known as the Study quadric. The twists are represented by pure dual quaternions which satisfy a degree 4 polynomial relation. This means that analytic maps between the Lie algebra and its Lie group can be written as a cubic polynomials. In order to find these polynomials a system of mutually annihilating idempotents and nilpotents is introduced. This system also helps find relations for the inverse maps. The geometry of these maps is also briefly studied. In particular, the image of a line of twists through the origin (a screw) is found. These turn out to be various rational curves in the Study quadric, a conic, twisted cubic and rational quartic for the maps under consideration. Mathematics Subject Classification (2000). Primary 11E88; Secondary 22E99. Keywords. Dual quaternions, exponential map, Cayley map.
    [Show full text]
  • Dual Quaternion Sample Reduction for SE(2) Estimation
    Dual Quaternion Sample Reduction for SE(2) Estimation Kailai Li, Florian Pfaff, and Uwe D. Hanebeck Intelligent Sensor-Actuator-Systems Laboratory (ISAS) Institute for Anthropomatics and Robotics Karlsruhe Institute of Technology (KIT), Germany [email protected], fl[email protected], [email protected] Abstract—We present a novel sample reduction scheme for random variables belonging to the SE(2) group by means of Dirac mixture approximation. For this, dual quaternions are employed to represent uncertain planar transformations. The Cramer–von´ Mises distance is modified as a smooth metric to measure the statistical distance between Dirac mixtures on the manifold of planar dual quaternions. Samples of reduced size are then ob- tained by minimizing the probability divergence via Riemannian optimization while interpreting the correlation between rotation and translation. We further deploy the proposed scheme for non- parametric modeling of estimates for nonlinear SE(2) estimation. Simulations show superior tracking performance of the sample reduction-based filter compared with Monte Carlo-based as well as parametric model-based planar dual quaternion filters. Figure 1: Examples of the proposed sample reduction tech- I. INTRODUCTION nique for planar rigid motions. Here, 2000 random samples Estimation of planar motions is ubiquitous and play a (yellow) drawn from different underlying distributions are fundamental role in many application scenarios, such as optimally approximated by 20 samples (blue) on the manifold odometry and scene reconstruction, object tracking as well of planar dual quaternions. as remote sensing, etc [1]–[5]. Planar motions, incorporating both rotations and translations on a plane, are mathematically described by elements belonging to the two-dimensional spe- which can be easily violated under large noise levels (e.g., cial Euclidean group SE(2).
    [Show full text]
  • Representing the Motion of Objects in Contact Using Dual Quaternions and Its Applications
    Representing the Motion of Objects in Contact using Dual Quaternions and its Applications George V Paul and Katsushi Ikeuchi August 1 1997 CMU-RI-TR-97-31 Robotics Institute Carnegie Mellon University Pittsburgh, Pennsylvania 15213-3890 © 1997 Carnegie Mellon University This work was done partly at the Robotics Institute, Carnegie Mellon University, Pitts- burgh PA, and partly at the Institute of Industrial Science, University of Tokyo, Tokyo, Japan. iii Abstract This report presents a general method for representing the motion of an object while maintaining contact with other fixed objects. The motivation for our work is the assembly plan from observation (APO) system. The APO system observes a human perform an assembly task. It then analyzes the observations to reconstruct the assembly plan used in the task. Finally, the APO converts the assembly plan into a program for a robot which can repeat the demonstrated task. The position and orientation of an object, known as its configuration can be represented using dual vectors. We use dual quaternions to represent the configuration of objects in 3D space. When an object maintains a set of contacts with other fixed objects, its configuration will be constrained to lie on a surface in configuration space called the c-surface. The c-sur- face is determined by the geometry of the object features in contact. We propose a general method to represent c-surfaces in dual vector space. Given a set of contacts, we choose a ref- erence contact and represent the c-surface as a parametric equation based on it. The contacts other than the reference contact will impose constraints on these parameters.
    [Show full text]
  • Dual Quaternions in Spatial Kinematics in an Algebraic Sense
    Turk J Math 32 (2008) , 373 – 391. c TUB¨ ITAK˙ Dual Quaternions in Spatial Kinematics in an Algebraic Sense Bedia Akyar Abstract This paper presents the finite spatial displacements and spatial screw motions by using dual quaternions and Hamilton operators. The representations are considered as 4 × 4 matrices and the relative motion for three dual spheres is considered in terms of Hamilton operators for a dual quaternion. The relation between Hamilton operators and the transformation matrix has been given in a different way. By considering operations on screw motions, representation of spatial displacements is also given. Key Words: Dual quaternions, Hamilton operators, Lie algebras. 1. Introduction The matrix representation of spatial displacements of rigid bodies has an important role in kinematics and the mathematical description of displacements. Veldkamp and Yang-Freudenstein investigated the use of dual numbers, dual numbers matrix and dual quaternions in instantaneous spatial kinematics in [9] and [10], respectively. In [10], an application of dual quaternion algebra to the analysis of spatial mechanisms was given. A comparison of representations of general spatial motion was given by Rooney in [8]. Hiller- Woernle worked on a unified representation of spatial displacements. In their paper [7], the representation is based on the screw displacement pair, i.e., the dual number extension of the rotational displacement pair, and consists of the dual unit vector of the screw axis AMS Mathematics Subject Classification: 53A17, 53A25, 70B10. 373 AKYAR and the associate dual angle of the amplitude. Chevallier gave a unified algebraic approach to mathematical methods in kinematics in [4]. This approach requires screw theory, dual numbers and Lie groups.
    [Show full text]
  • Issue 2006 Volume 4
    ISSUE 2006 PROGRESS IN PHYSICS VOLUME 4 ISSN 1555-5534 The Journal on Advanced Studies in Theoretical and Experimental Physics, including Related Themes from Mathematics PROGRESS IN PHYSICS A quarterly issue scientific journal, registered with the Library of Congress (DC, USA). This journal is peer reviewed and includedinthe abstracting and indexing coverage of: Mathematical Reviews and MathSciNet (AMS, USA), DOAJ of Lund University (Sweden), Zentralblatt MATH (Germany), Referativnyi Zhurnal VINITI (Russia), etc. Electronic version of this journal: OCTOBER 2006 VOLUME 4 http://www.ptep-online.com http://www.geocities.com/ptep_online CONTENTS To order printed issues of this journal, con- tact the Editor in Chief. D. Rabounski New Effect of General Relativity: Thomson Dispersion of Light in Stars as a Machine Producing Stellar Energy. .3 Chief Editor A. N. Mina and A. H. Phillips Frequency Resolved Detection over a Large Dmitri Rabounski Frequency Range of the Fluctuations in an Array of Quantum Dots . 11 [email protected] C. Y. Lo Completing Einstein’s Proof of E = mc2 ..........................14 Associate Editors Prof. Florentin Smarandache D. Rabounski A Source of Energy for Any Kind of Star . 19 [email protected] Dr. Larissa Borissova J. Dunning-Davies The Thermodynamics Associated with Santilli’s Hadronic [email protected] Mechanics . 24 Stephen J. Crothers F. Smarandache and V.Christianto A Note on Geometric and Information [email protected] Fusion Interpretation of Bell’s Theorem and Quantum Measurement . 27 Department of Mathematics, University of J. X. Zheng-Johansson and P.-I. Johansson Developing de Broglie Wave . 32 New Mexico, 200 College Road, Gallup, NM 87301, USA The Classical Theory of Fields Revision Project (CTFRP): Collected Papers Treating of Corrections to the Book “The Classical Theory of Fields” by L.
    [Show full text]
  • In Praise of Quaternions
    IN PRAISE OF QUATERNIONS JOACHIM LAMBEK With an appendix on the algebra of biquaternions Michael Barr Abstract. This is a survey of some of the applications of quaternions to physics in the 20th century. In the first half century, an elegant presentation of Maxwell's equations and special relativity was achieved with the help of biquaternions, that is, quaternions with complex coefficients. However, a quaternionic derivation of Dirac's celebrated equation of the electron depended on the observation that all 4 × 4 real matrices can be generated by quaternions and their duals. On examine quelques applications des quaternions `ala physique du vingti`emesi`ecle.Le premier moiti´edu si`ecleavait vu une pr´esentation ´el´egantes des equations de Maxwell et de la relativit´e specialle par les quaternions avec des coefficients complexes. Cependant, une d´erivation de l'´equationc´el`ebrede Dirac d´ependait sur l'observation que toutes les matrices 4 × 4 r´eelles peuvent ^etre gener´eespar les representations reguli`eresdes quaternions. 1. Prologue. This is an expository article attempting to acquaint algebraically inclined readers with some basic notions of modern physics, making use of Hamilton's quaternions rather than the more sophisticated spinor calculus. While quaternions play almost no r^olein mainstream physics, they afford a quick entry into the world of special relativity and allow one to formulate the Maxwell-Lorentz theory of electro-magnetism and the Dirac equation of the electron with a minimum of mathematical prerequisites. Marginally, quaternions even give us a glimpse of the Feynman diagrams appearing in the standard model. As everyone knows, quaternions were invented (discovered?) by William Rowan Hamilton.
    [Show full text]
  • Geometric Algebra Techniques
    Geometric Algebra Techniques in Mathematics, Physics and Engineering S. Xamb´o UPC IMUVA 16-19 Nov 2015 · · S. Xamb´o (UPC) GAT 04 Space-time GA IMUVA · 16-19 Nov · 2015 1 / 47 Index Main points Background. Lorentz transformations. Introduction. Definitions, notations and conventions. The Dirac representation of . D + Lorentzian GA. = 1;3 = ΛηE. Involutions and . Complex structure. G G G The nature of the even subalgebra. Inner products in and . Relative P D involutions. Space-time kinematics. Space-time paths. Timelike paths and proper time. Instantaneous rest frame. Relative velocity. Lorentz transformations. Lorentz spinors. Rotations. Lorentz boosts. Relativistic addition of velocities. General boosts. Lorentz group. Appendix A. Appendix B. EM field. Maxwell's equations. Gradient operator. Riesz form of Maxwell's equations. GA form of Dirac's equation. References. S. Xamb´o (UPC) GAT 04 Space-time GA IMUVA · 16-19 Nov · 2015 2 / 47 Background Lorentz transformations The Lorentz boost for speed v is given by t0 = γ(t βx); x 0 = γ(x βt) − p − where β = v=c and γ = 1= 1 β2. − This transformation leaves invariant the Lorentz quadratic form (ct)2 x 2 y 2 z 2. − − − S. Xamb´o (UPC) GAT 04 Space-time GA IMUVA · 16-19 Nov · 2015 3 / 47 Background Lorentz transformations Let γx ; γy ; γz ; γt be the unit vectors on the axes of the reference S 0 0 0 0 0 and γx ; γy ; γz ; γt be the unit vectors on the axes of the reference S . Then the above Lorentz boost is equivalent to the linear transformation 0 0 0 0 γt = γ(γt + βγx ); γx = γ(γx + βγt ); γy = γy ; γz = γz ; which is a Lorentz isometry.
    [Show full text]