Computer Assisted Proofs in Celestial Mechanics and Astrodynamics - Prof. Jason Mireles-James

Описание к видео Computer Assisted Proofs in Celestial Mechanics and Astrodynamics - Prof. Jason Mireles-James

Computer assisted proofs for connecting and ejection/collision orbits

Prof. Jason D. Mireles-James (Florida Atlantic University)

I will discuss a functional analytic setup and some validated numerical tools which can be used to prove the existence of transverse intersections of smooth sub-manifolds of energy level sets. Examples include stable/unstable manifolds attached to equilibrium solutions and periodic orbits, as well as ejection and collision manifolds associated with binary collisions. Applications to restricted three and four body problems will be presented.

"Within the framework of 'Machine Learning and Computer Assisted
Proofs in Celestial Mechanics and Astrodynamics', June 18 & 25 2021.
https://mlcap2021.wordpress.com/"

Комментарии

Информация по комментариям в разработке

Похожие видео