Stability of the L4 and L5 Lagrange Points: An Explanation of Jupiter's Trojan Asteroids
Myhaver, Vanessa
Myhaver, Vanessa
Citations
Altmetric:
License
License
Abstract
Jupiter’s “Trojan” asteroids orbit the L4 and L5 Lagrange Points of the Sun-Jupiter system and are speculated to be remnants of the collisions which formed planets in our solar system. In this study, we formally verify the stability of the Lagrange Points using a theorem-proving assistant called the “Lean Theorem Prover”. We also model their basin of attraction to develop a tool to determine the possible regions of asteroid origin. Ultimately we hope this research will contribute to our understanding of the solar system’s history and origin.
Description
Date
2020-01-01
Student Status
Undergraduate
Journal Title
Journal ISSN
Volume Title
Type of presentation
Poster Presentation
Collections
Research Projects
Organizational Units
Journal Issue
Citation
DOI
Department
Program/Major
Mathematical Sciences
College/School
College of Engineering and Mathematical Sciences
Organization
item.page.researchcategory
Engineering & Physical Sciences