Stability of the L4 and L5 Lagrange Points: An Explanation of Jupiter's Trojan Asteroids
Myhaver, Vanessa
Myhaver, Vanessa
Citations
Altmetric:
License
License
DOI
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
3:00pm-5:00pm
Undergraduate
Undergraduate
Date
2020-01-01