thurmanworfolkgeometryhaloorbits
TRANSCRIPT
-
8/9/2019 ThurmanWorfolkGeometryHaloOrbits
1/46
T h e g e o m e t r y o f h a l o o r b i t s i n
t h e c i r c u l a r r e s t r i c t e d t h r e e - b o d y p r o b l e m
R o b e r t T h u r m a n a n d P a t r i c k A . W o r f o l k
T h e G e o m e t r y C e n t e r
U n i v e r s i t y o f M i n n e s o t a
1 3 0 0 S . S e c o n d S t . , S u i t e 5 0 0
M i n n e a p o l i s , M N 5 5 4 5 4
O c t o b e r 2 5 , 1 9 9 6
A b s t r a c t
I n t h e s u m m e r o f 1 9 9 6 , w e s u p e r v i s e d t w o u n d e r g r a d u a t e s t u d e n t s d u r i n g a n i n e - w e e k
s u m m e r p r o g r a m a t t h e G e o m e t r y C e n t e r . T h e y w o r k e d o n a p r o j e c t u s i n g d y n a m i c a l
s y s t e m s t e c h n i q u e s t o c o m p u t e a n d v i s u a l i z e o r b i t s i n t h e c i r c u l a r r e s t r i c t e d t h r e e - b o d y
p r o b l e m . T h i s p r o j e c t w a s m o t i v a t e d b y r e c e n t i n t e r e s t i n t h e s p a c e s c i e n c e c o m m u n i t y
t o s e n d m i s s i o n s n e a r t o t h e S u n - E a r t h l i b r a t i o n p o i n t s . A f u l l e r u n d e r s t a n d i n g o f t h e
g e o m e t r y o f t h e p h a s e s p a c e o f t h e c i r c u l a r r e s t r i c t e d t h r e e - b o d y p r o b l e m c o u l d p r o v i d e
n e w p o s s i b i l i t i e s f o r b a s e l i n e t r a j e c t o r y d e s i g n . T o t h i s e n d , t h e g o a l o f t h i s p r o j e c t
w a s t o d e v e l o p c o m p u t a t i o n a l a n d v i s u a l i z a t i o n t o o l s t o a i d i n t r a j e c t o r y d e s i g n . I n
p a r t i c u l a r , w e w a n t e d t o b e a b l e t o e a s i l y a n d i n t e r a c t i v e l y e x p l o r e t h e g e o m e t r y o f t h e
h a l o o r b i t s a n d t h e i r s t a b l e a n d u n s t a b l e m a n i f o l d s . T h i s r e p o r t p r o v i d e s a s u m m a r y o f
t h e m a t h e m a t i c s u n d e r l y i n g t h e p r o j e c t a n d a b r i e f d i s c u s s i o n o f t h e r e s u l t s .
K e y w o r d s : r e s t r i c t e d t h r e e - b o d y p r o b l e m , h a l o o r b i t s , ( u n ) s t a b l e m a n i f o l d s .
-
8/9/2019 ThurmanWorfolkGeometryHaloOrbits
2/46
C o n t e n t s
1 I n t r o d u c t i o n 1
2 T h e c e n t r a l f o r c e p r o b l e m 2
3 T h e t w o - b o d y p r o b l e m 3
4 T h e c i r c u l a r r e s t r i c t e d t h r e e - b o d y p r o b l e m 4
5 L i b r a t i o n p o i n t s 8
6 T h e J a c o b i a n i n t e g r a l 8
7 S y m m e t r i e s 9
8 T h e L a g r a n g i a n f o r m u l a t i o n 9
9 T h e H a m i l t o n i a n f o r m u l a t i o n 1 0
1 0 R i c h a r d s o n ' s a p p r o x i m a t i o n s f o r h a l o o r b i t s 1 1
1 1 N u m e r i c a l c o m p u t a t i o n o f h a l o o r b i t s 2 0
1 2 S t a b i l i t y o f t h e p e r i o d i c o r b i t s 2 3
1 3 S t a b l e a n d u n s t a b l e m a n i f o l d s o f t h e h a l o o r b i t s 2 5
1 4 R e s u l t s 2 6
A A s t r o n o m i c a l c o n s t a n t s 3 1
B S o l v i n g t h e i n h o m o g e n e o u s l i n e a r e q u a t i o n 3 1
C C o e c i e n t s a n d q u a n t i t i e s f r o m S e c t i o n 1 0 3 3
D S o l u t i o n s t o e x e r c i s e s 3 6
i i
-
8/9/2019 ThurmanWorfolkGeometryHaloOrbits
3/46
1 I n t r o d u c t i o n
F o r s i x c o n s e c u t i v e y e a r s , t h e G e o m e t r y C e n t e r h a s s p o n s o r e d a S u m m e r I n s t i t u t e f o r u n d e r g r a d u a t e
s t u d e n t s , w h o w o r k i n d i v i d u a l l y o r i n s m a l l g r o u p s u n d e r t h e d i r e c t i o n o f G e o m e t r y C e n t e r s t a
m e m b e r s . I n t h e s u m m e r o f 1 9 9 6 , w e s u p e r v i s e d t w o s t u d e n t s f o r t h e n i n e - w e e k p e r i o d o f t h e
p r o g r a m o n a d y n a m i c a l s y s t e m s p r o j e c t . E s s e n t i a l l y , t h e f o c u s o f t h e p r o j e c t w a s t o u s e d y n a m i c a l
s y s t e m s t e c h n i q u e s t o c o m p u t e a n d v i s u a l i z e n e w s p a c e c r a f t t r a j e c t o r i e s a n d w a s m o t i v a t e d b y o u r
i n t e r a c t i o n w i t h m a t h e m a t i c i a n s a t N A S A ' s J e t P r o p u l s i o n L a b o r a t o r y . T h i s r e p o r t p r o v i d e s t h e
m a t h e m a t i c a l b a c k g r o u n d t h a t w e p r o v i d e d o u r s t u d e n t s a s w e l l a s a b r i e f d i s c u s s i o n o f t h e i r r e s u l t s .
A n o n l i n e H T M L d o c u m e n t 9 ] c r e a t e d b y o u r s t u d e n t s f u r t h e r i l l u s t r a t e s t h e s e r e s u l t s , i n a d d i t i o n
t o d e s c r i b i n g t h e s o f t w a r e t o o l s t h e y d e v e l o p e d .
R e c e n t l y , t h e s p a c e s c i e n c e c o m m u n i t y h a s s h o w n c o n s i d e r a b l e i n t e r e s t i n m i s s i o n s w h i c h t a k e
p l a c e i n t h e v i c i n i t y o f t h e l i b r a t i o n p o i n t s o f t h e S u n - E a r t h s y s t e m . D e s i g n i n g t r a j e c t o r i e s f o r
t h e s e m i s s i o n s i s c h a l l e n g i n g b e c a u s e c o n i c a p p r o x i m a t i o n s ( s o l u t i o n s o f t h e t w o - b o d y p r o b l e m ) a r e
i n a d e q u a t e a n d , i n t h e p a s t , m a n u a l n u m e r i c a l s e a r c h e s h a v e b e e n t h e o n l y r e c o u r s e . R e c e n t w o r k o f
B a r d e n , H o w e l l , a n d L o 3 ] h a s s h o w n t h a t a g r e a t e r u n d e r s t a n d i n g o f t h e d y n a m i c s o f t h e r e s t r i c t e d
t h r e e - b o d y p r o b l e m c o u l d l e a d t o i n n o v a t i v e b a s e l i n e m i s s i o n c o n c e p t s . D y n a m i c a l s y s t e m s t h e o r y
c o u l d p r o v i d e i n s i g h t s i n t o t h e q u a l i t a t i v e n o n l i n e a r b e h a v i o r . K n o w l e d g e o f t h e g e o m e t r y o f p h a s e
s p a c e a n d t h e e x i s t e n c e o f s t a b l e a n d u n s t a b l e m a n i f o l d s w h i c h b o t h s e p a r a t e r e g i o n s o f s p a c e a n d
p r o v i d e n a t u r a l t r a n s f e r m e c h a n i s m s c a n a l l a i d i n t r a j e c t o r y d e s i g n . O n c e a p r e l i m i n a r y t r a j e c t o r y
d e s i g n h a s b e e n a c c o m p l i s h e d w i t h i n t h e f r a m e w o r k o f t h e r e s t r i c t e d t h r e e - b o d y p r o b l e m , t h e n a l
s o l u t i o n i s c o m p u t e d u s i n g a m o d e l t h a t i n c o r p o r a t e s e p h e m e r i s d a t a a n d s o l a r r a d i a t i o n p r e s s u r e .
T h e p r i m a r y g o a l o f o u r p r o j e c t w a s t o d e v e l o p c o m p u t a t i o n a l a n d v i s u a l i z a t i o n c a p a b i l i t i e s f o r
t h e s t u d y o f t r a j e c t o r i e s n e a r t h e l i b r a t i o n p o i n t s i n t h e r e s t r i c t e d t h r e e - b o d y p r o b l e m . T h i s g o a l w a s
t o b e a c c o m p l i s h e d b y e x t e n d i n g t h e c a p a b i l i t i e s o f t h e d y n a m i c a l s y s t e m s s o f t w a r e p a c k a g e D s T o o l
2 ] a n d u s i n g t h e G e o m e t r y C e n t e r s o f t w a r e G e o m v i e w 1 2 ] f o r t h e v i s u a l i z a t i o n . W e w a n t e d t o
c r e a t e a s o f t w a r e e n v i r o n m e n t w h e r e i t w a s e a s y t o i n t e r a c t i v e l y e x p l o r e a n d v i s u a l i z e t h e d y n a m i c s
o f t h e r e s t r i c t e d t h r e e - b o d y p r o b l e m . T h u s f o r t h e s u m m e r , o u r r s t g o a l s w e r e t o p r o v i d e s u c h a n
e n v i r o n m e n t f o r t h e c o m p u t a t i o n o f t h e l i b r a t i o n p o i n t s a n d t h e s y m m e t r i c h a l o ( p e r i o d i c ) o r b i t s
s u r r o u n d i n g t h e c o l l i n e a r l i b r a t i o n p o i n t s . O u r \ c h a m p i o n s h i p g o a l s " w e r e t o c o m p u t e a n d v i s u a l i z e
t h e s t a b l e a n d u n s t a b l e m a n i f o l d s o f t h e s e h a l o o r b i t s w i t h a n e m p h a s i s o n b e i n g a b l e t o d i s c o v e r
n e w t r a j e c t o r i e s w h i c h w o u l d t r a n s f e r a s p a c e c r a f t n a t u r a l l y f r o m a p a r k i n g o r b i t a b o u t t h e E a r t h
t o t h e v i c i n i t y o f o n e o f t h e l i b r a t i o n p o i n t s .
T h i s p a p e r c o n t a i n s t h e b a s i c m a t h e m a t i c s n e e d e d t o a c c o m p l i s h t h e g o a l s o u t l i n e d a b o v e . M o s t
o f t h e m a t h e m a t i c s i s g e n e r a l l y w e l l - k n o w n , t h o u g h i t i s s p r i n k l e d t h r o u g h o u t t h e l i t e r a t u r e . W e
h a v e t h u s t r i e d t o b r i n g t o g e t h e r t h e b a s i c i d e a s , i n a m a n n e r w h i c h i s a c c e s s i b l e t o u n d e r g r a d u a t e s .
T h e d e t a i l s a r e s k e t c h y i n m a n y p a r t s , b u t a l l t h e i d e a s w e f o u n d n e c e s s a r y t o f o r m a l l y c o n v e y t o
o u r s t u d e n t s h a v e b e e n i n c l u d e d . W e h a v e i g n o r e d t h e l o n g h i s t o r y o f t h e s t u d y o f t h e r e s t r i c t e d
t h r e e - b o d y p r o b l e m w h i c h i s c o v e r e d q u i t e c o m p l e t e l y b y S z e b e h e l y 1 7 ] . W e h a v e a l s o f a i l e d t o g i v e
a c o m p l e t e d e s c r i p t i o n o f L a g r a n g i a n a n d H a m i l t o n i a n m e c h a n i c s a n d a n y f o r m a l i n t r o d u c t i o n t o
d y n a m i c a l s y s t e m s .
A n o v e r v i e w o f t h e c o n t e n t s i s a s f o l l o w s . I n S e c t i o n s 2 a n d 3 , w e d i s c u s s t h e c e n t r a l f o r c e
1
-
8/9/2019 ThurmanWorfolkGeometryHaloOrbits
4/46
p r o b l e m a n d t h e t w o - b o d y p r o b l e m . F r o m h e r e , w e d e r i v e t h e e q u a t i o n s o f m o t i o n f o r t h e c i r c u l a r
r e s t r i c t e d t h r e e - b o d y p r o b l e m i n S e c t i o n 4 . I n t h e n e x t s e c t i o n w e c a l c u l a t e t h e l i b r a t i o n p o i n t s a n d
t h e n w e p r e s e n t t h e J a c o b i a n i n t e g r a l . F o l l o w i n g t h i s w e d i s c u s s t h e s y m m e t r i e s o f t h e e q u a t i o n s
o f m o t i o n , s i n c e w e w i l l t a k e a d v a n t a g e o f t h e s e i n o u r n u m e r i c a l c a l c u l a t i o n s . I n S e c t i o n 8 , w e
p r e s e n t t h e L a g r a n g i a n f o r m u l a t i o n o f t h e e q u a t i o n s o f m o t i o n , a n d i n t h e f o l l o w i n g s e c t i o n , t h e
H a m i l t o n i a n f o r m u l a t i o n . W e p r e s e n t R i c h a r d s o n ' s t e c h n i q u e f o r a n a l y t i c a l l y a p p r o x i m a t i n g h a l o
o r b i t s i n S e c t i o n 1 0 , i n c l u d i n g m a n y o f t h e g o r y d e t a i l s n o t i n c l u d e d i n h i s p u b l i s h e d w o r k . I n
w o r k i n g t h r o u g h t h i s , w e d i s c o v e r e d a n e r r o r i n h i s c a l c u l a t i o n s a n d p r e s e n t t h e c o r r e c t e d v e r s i o n
h e r e . F o l l o w i n g t h i s i s a s e c t i o n o n t h e n u m e r i c a l c o m p u t a t i o n o f p e r i o d i c o r b i t s . I n p a r t i c u l a r ,
a n a l g o r i t h m i s g i v e n f o r t h e c o m p u t a t i o n o f t h e s y m m e t r i c h a l o o r b i t s i n w h i c h w e a r e i n t e r e s t e d .
I n S e c t i o n 1 2 w e p r e s e n t a n e c i e n t m e t h o d f o r c o m p u t i n g t h e m o n o d r o m y m a t r i x o f t h e p e r i o d i c
h a l o o r b i t s . F o l l o w i n g t h i s w e g i v e a n a i v e , y e t e e c t i v e , a l g o r i t h m f o r a p p r o x i m a t i n g t h e s t a b l e a n d
u n s t a b l e m a n i f o l d s o f t h e h a l o o r b i t s . F i n a l l y , w e d i s c u s s s o m e o f t h e r e s u l t s o f o u r s t u d e n t s ' w o r k
a n d p o i n t o u t a v a r i e t y o f i n t e r e s t i n g q u e s t i o n s w h i c h w e w e r e u n a b l e t o r e s o l v e i n t h e n i n e - w e e k
p e r i o d .
W e f o u n d i t u s e f u l t o p r o v i d e o u r s t u d e n t s ( a n d o u r s e l v e s ) w i t h a n u m b e r o f e x e r c i s e s a s a m e a n s
o f \ g e t t i n g o u r h a n d s d i r t y " w i t h t h e b a c k g r o u n d m a t e r i a l . W e h a v e l e f t t h e s e e x e r c i s e s e m b e d d e d
i n t h e d o c u m e n t . S o l u t i o n s a r e g i v e n i n A p p e n d i x D .
A c k n o w l e d g m e n t s . M o t i v a t i o n f o r t h i s p r o j e c t o r i g i n a t e d f r o m d i s c u s s i o n s w e h a d w i t h s c i -
e n t i s t s a n d m a t h e m a t i c i a n s a t t h e J e t P r o p u l s i o n L a b o r a t o r y . M a r t i n L o , i n p a r t i c u l a r , h a s b e e n
i n s t r u m e n t a l i n p u s h i n g f o r a d y n a m i c a l s y s t e m s a p p r o a c h t o s p a c e c r a f t t r a j e c t o r y d e s i g n , a n d o u r
t h a n k s g o t o h i m f o r b o t h i n s p i r i n g t h e p r o j e c t , a n d p r o v i d i n g u s w i t h t h e k n o w n t e c h n i q u e s f o r
c o m p u t i n g l i b r a t i o n p o i n t h a l o o r b i t s .
T h e g r e a t s u c c e s s o f t h i s p r o j e c t w a s d u e p r i m a r i l y t o t h e w o r k o f o u r s t u d e n t s , M o l l y M e g r a w
a n d C h r i s t o p h e r S i n c l a i r . I t w a s a j o y t o s t a n d b a c k a n d w a t c h t h e m t a k e o w i t h t h e p r o j e c t
a f t e r w e p r o v i d e d t h e m w i t h t h e b a s i c b a c k g r o u n d m a t e r i a l . T h e s t r i k i n g p i c t u r e s o f m a n i f o l d s t h a t
a p p e a r i n t h i s d o c u m e n t w e r e c r e a t e d w i t h t h e i r s o f t w a r e .
2 T h e c e n t r a l f o r c e p r o b l e m
N e w t o n w a s t h e r s t t o d i s c o v e r t h a t t h e g r a v i t a t i o n a l f o r c e d u e t o a m a s s i v e c e n t r a l o b j e c t i s
o n e e x a m p l e o f a f o r c e v e c t o r e l d w h o s e m a g n i t u d e i s i n v e r s e l y p r o p o r t i o n a l t o t h e s q u a r e o f t h e
d i s t a n c e t o t h e o b j e c t , a n d d i r e c t e d t o w a r d s i t : F ( X ) = ; k X = j X j
3
, w h e r e X = ( x y z ) , a n d t h e
o b j e c t i s l o c a t e d a t t h e o r i g i n . I n s u c h a c a s e , F h a s a p o t e n t i a l f u n c t i o n V : R
3
! R g i v e n b y
V ( X ) =
;k =
jX
j, s o t h a t F =
; rV .
E x e r c i s e 2 . 1 . V e r i f y t h i s .
T h e e q u a t i o n s o f m o t i o n f o r a p a r t i c l e o f u n i t m a s s u n d e r t h e i n u e n c e o f F a r e g i v e n b y N e w t o n ' s
s e c o n d l a w , w h i c h s a y s t h a t F = m a . W i t h m = 1 a n d a =
X ( t ) , w e h a v e
X ( t ) = ; k X = j X j
3
:
2
-
8/9/2019 ThurmanWorfolkGeometryHaloOrbits
5/46
T h i s i s a 6 d i m e n s i o n a l s y s t e m a s o l u t i o n i s u n i q u e l y d e t e r m i n e d b y s i x i n i t i a l c o n d i t i o n s { 3 f o r
p o s i t i o n a n d 3 f o r v e l o c i t y .
E x e r c i s e 2 . 2 . W r i t e d o w n t h e e q u a t i o n s o f m o t i o n a s a s y s t e m o f 6 r s t - o r d e r e q u a t i o n s .
T h e m o t i o n i s p l a n a r
I t s h o u l d n ' t b e t o o s u r p r i s i n g t h a t t h e m o t i o n o f a n o b j e c t i n a c e n t r a l f o r c e e l d s t a y s i n a p l a n e ,
t h a t s p a n n e d b y t h e o b j e c t ' s i n i t i a l p o s i t i o n a n d v e l o c i t y v e c t o r s .
E x e r c i s e 2 . 3 . S h o w t h i s . T o d o s o , c o m p u t e
d
d t
( X ( t )
_
X ( t ) )
f o r a s o l u t i o n X ( t ) . R e c a l l t h a t t h e n o r m a l p r o d u c t r u l e h o l d s f o r t h e d e r i v a t i v e o f c r o s s - p r o d u c t s .
N o w t h i n k g e o m e t r i c a l l y ! T h e v e c t o r m X
_
X f o r a m a s s m i s t h e a n g u l a r m o m e n t u m v e c t o r .
E x p l a i n t h e p h r a s e \ a n g u l a r m o m e n t u m i s c o n s e r v e d " f o r t h i s m o t i o n .
C i r c u l a r s o l u t i o n s
I t c a n b e s h o w n t h a t t h e p a t h o f t h e o b j e c t i s n o t o n l y p l a n a r b u t i n f a c t t r a c e s o u t a c o n i c s e c t i o n
( s e e , f o r e x a m p l e , 5 , C h a p t e r 1 , S e c t i o n 1 . 5 ] ) . T h e p r o o f i s n o t d i c u l t , b u t i n v o l v e s c h a n g i n g t o
p o l a r c o o r d i n a t e s a l o n g w i t h a l i t t l e t r i c k e r y . F o r o u r p u r p o s e s , w e w i l l j u s t v e r i f y t h a t a c i r c u l a r
t r a j e c t o r y i s i n d e e d o n e p o s s i b l e s o l u t i o n .
E x e r c i s e 2 . 4 . V e r i f y t h a t ( a c o s ! t a s i n ! t 0 ) i s a s o l u t i o n . H o w d o e s t h e a n g u l a r v e l o c i t y ! d e p e n d
o n a a n d k ?
A n i m p o r t a n t a s i d e : T h e d i s c o v e r y o f c o n i c s a s s o l u t i o n s i n v o l v e s c h a n g i n g t o p o l a r c o o r d i n a t e s
( r ) i n t h e p l a n e o f m o t i o n , a n d t h e n t r a n s f o r m i n g t h e e q u a t i o n s o f m o t i o n a n d e l i m i n a t i n g t i m e
a s t h e d e p e n d e n t v a r i a b l e . T h e r e s u l t i n g e q u a t i o n c a n b e s o l v e d e x p l i c i t l y f o r r i n t e r m s o f . T h u s
i t i s p o s s i b l e t o d e d u c e f r o m i n i t i a l c o n d i t i o n s p r e c i s e l y w h i c h c o n i c s e c t i o n p a t h a n o b j e c t u n d e r
t h e i n u e n c e o f a c e n t r a l f o r c e w i l l f o l l o w . I t i s n o t i n g e n e r a l p o s s i b l e , h o w e v e r , t o n d a n e x p l i c i t
p a r a m e t e r i z a t i o n , u s i n g e l e m e n t a r y f u n c t i o n s , o f t h e p a t h w i t h t i m e a s t h e d e p e n d e n t v a r i a b l e . T o
d o s o i n v o l v e s i n v e r t i n g a t r a n s c e n d e n t a l f u n c t i o n . W e h a v e t o r e s o r t t o n u m e r i c a l a p p r o x i m a t i o n s
t o n d t h i s p a r a m e t e r i z a t i o n . C l e a r l y , t h e f a m i l y o f c i r c u l a r o r b i t s i s a n e x c e p t i o n .
3 T h e t w o - b o d y p r o b l e m
T h e t w o - b o d y p r o b l e m i s t o d e s c r i b e t h e m o t i o n o f t w o b o d i e s , o f m a s s m
1
a n d m
2
, u n d e r t h e
i n u e n c e o f t h e g r a v i t a t i o n a l e l d i n d u c e d b y e a c h . L e t X
1
b e t h e v e c t o r p o s i t i o n o f m
1
a n d X
2
t h e
p o s i t i o n o f m
2
. N e w t o n ' s l a w o f g r a v i t a t i o n s a y s t h a t t h e f o r c e o n m
1
d u e t o m
2
i s
F
1 2
=
G m
1
m
2
j r j
3
r
3
-
8/9/2019 ThurmanWorfolkGeometryHaloOrbits
6/46
w h e r e r = X
2
; X
1
i s t h e v e c t o r f r o m m
1
t o m
2
, a n d G i s t h e \ u n i v e r s a l g r a v i t a t i o n a l c o n s t a n t " ( s e e
A p p e n d i x A f o r i t s v a l u e ) . T h e f o r c e o n m
2
d u e t o m
1
i s F
2 1
= ; F
1 2
. N e w t o n ' s s e c o n d l a w a l l o w s
u s t o w r i t e t h e e q u a t i o n s o f m o t i o n f o r t h e t w o o b j e c t s . A f t e r d i v i d i n g o u t t h e c o m m o n m a s s e s f r o m
b o t h s i d e s o f t h e e q u a t i o n s , w e g e t
X
1
=
G m
2
j r j
3
r
X
2
= ;
G m
1
j r j
3
r :
T h e f o l l o w i n g s e r i e s o f e x e r c i s e s i l l u s t r a t e h o w t h e t w o - b o d y p r o b l e m m a y b e r e d u c e d t o t h e
c e n t r a l f o r c e p r o b l e m .
E x e r c i s e 3 . 1 . W r i t e d o w n t h e e q u a t i o n s o f m o t i o n f o r t h e r e l a t i v e p o s i t i o n v e c t o r r a n d s h o w t h a t
t h e p r o b l e m o f t w o b o d i e s r e d u c e s t o a c e n t r a l f o r c e p r o b l e m . T h i s m e a n s t h a t t h e m o t i o n o f o n e
b o d y r e l a t i v e t o a n o t h e r t r a c e s o u t a c o n i c .
E x e r c i s e 3 . 2 . A s s u m e t h e E a r t h ' s o r b i t a r o u n d t h e s u n i s c i r c u l a r , a n d u s e w h a t y o u ' v e l e a r n e d s o
f a r t o d e t e r m i n e t h e a n g u l a r r o t a t i o n r a t e a n d p e r i o d o f t h e E a r t h ' s o r b i t . H o w d o e s t h i s c o m p a r e
w i t h t h e \ e x p e r i m e n t a l " v a l u e ? ( A s s u m e t h e m a s s o f t h e E a r t h i s n e g l i g i b l e . T h e r a d i u s o f E a r t h ' s
o r b i t i s 1 A . U . ( a s t r o n o m i c a l u n i t ) . S e e A p p e n d i x A ) .
E x e r c i s e 3 . 3 . T o w a r d s f u r t h e r a n a l y s i s , c o m p u t e t h e l o c a t i o n r
0
o f t h e c e n t e r o f m a s s o f m
1
a n d
m
2
, i n t e r m s o f X
1
a n d X
2
. T h e c e n t e r o f m a s s i s t h e l o c a t i o n o n t h e l i n e c o n n e c t i n g t h e m a s s e s
a t w h i c h p o i n t t h e m o m e n t s m
1
j r
0
; X
1
j a n d m
2
j r
0
; X
2
j a r e e q u a l . ( A n s w e r : r
0
=
X
1
m
1
+ X
2
m
2
m
1
+ m
2
)
T h e n c o m p u t e t h e e q u a t i o n s o f m o t i o n f o r r
0
a n d s h o w t h a t t h e c e n t e r o f m a s s a l w a y s m o v e s a l o n g
t h e l i n e a r p a t h r
0
( t ) = a t + b , f o r a r b i t r a r y c o n s t a n t s a a n d b . T h u s w e c a n a s s u m e t h a t t h e c e n t e r
o f m a s s r e m a i n s s t a t i o n a r y a t t h e o r i g i n .
E x e r c i s e 3 . 4 . W r i t e X
1
a n d X
2
i n t e r m s o f r , a s s u m i n g r
0
= 0 .
4 T h e c i r c u l a r r e s t r i c t e d t h r e e - b o d y p r o b l e m
T h e r e s t r i c t e d t h r e e - b o d y p r o b l e m ( R T B P ) i n t r o d u c e s a t h i r d b o d y w h o s e m o t i o n i s a e c t e d b y
b u t d o e s n o t a e c t t h e o r i g i n a l t w o b o d i e s , c a l l e d t h e p r i m a r i e s . T h e p r i m a r i e s m o v e a l o n g a
c o n i c s e c t i o n , a s d e s c r i b e d a b o v e , a n d t h e p o t e n t i a l w e l l ( w h i c h e v o l v e s w i t h t i m e ) g e n e r a t e d b y
t h e p r i m a r i e s c o n t r o l s t h e m o t i o n o f t h e t h i r d b o d y . I n t h e c i r c u l a r r e s t r i c t e d t h r e e - b o d y p r o b l e m
( C R T B P ) w e a s s u m e a c i r c u l a r o r b i t f o r t h e p r i m a r i e s . T h i s p r o b l e m , e s p e c i a l l y r e s t r i c t e d t o m o t i o n
o f t h e t h i r d b o d y i n t h e p l a n e o f m o t i o n o f t h e p r i m a r i e s , h a s b e e n w e l l s t u d i e d 1 7 ] .
T h e e q u a t i o n s o f m o t i o n
L e t t h e c e n t e r o f m a s s o f t h e p r i m a r i e s c o n s t i t u t e t h e o r i g i n o f o u r ( x y z ) c o o r d i n a t e s y s t e m , a n d
a s s u m e t h a t t h e p r i m a r i e s o r b i t i n t h e ( x y ) - p l a n e . L e t X ( t ) d e n o t e t h e p o s i t i o n o f t h e t h i r d b o d y
w i t h m a s s m a n d l e t X
1
( t ) a n d X
2
( t ) d e n o t e t h e p o s i t i o n s o f t h e p r i m a r i e s .
4
-
8/9/2019 ThurmanWorfolkGeometryHaloOrbits
7/46
E x e r c i s e 4 . 1 . F o r t h e m o m e n t , a s s u m e t h e p o s i t i o n s X
1
a n d X
2
a r e x e d , a n d u s e t h e f a c t t h a t
t h e p o t e n t i a l ( a n d f o r c e ) d u e t o t w o m a s s e s i s j u s t t h e s u m o f t h e i n d i v i d u a l p o t e n t i a l s ( a n d f o r c e s )
t o w r i t e d o w n t h e t w o - b o d y p o t e n t i a l ( a n d f o r c e ) i n t e r m s o f X
1
a n d X
2
.
F o r t h e C R T B P w e a s s u m e t h e p r i m a r i e s m o v e i n c i r c l e s ( o f r a d i u s a f o r m
1
a n d b f o r m
2
, s a y )
a b o u t t h e o r i g i n , w i t h c o m m o n a n g u l a r v e l o c i t y ! .
E x e r c i s e 4 . 2 . U s e t h i s t o w r i t e d o w n t h e t i m e - d e p e n d e n t e q u a t i o n s o f m o t i o n f o r X . A s s u m e a t
t = 0 t h a t X
1
i s o n t h e p o s i t i v e x - a x i s , a n d X
2
o n t h e n e g a t i v e x - a x i s .
D i m e n s i o n l e s s c o o r d i n a t e s
T h r o u g h a s e q u e n c e o f c o o r d i n a t e t r a n s f o r m a t i o n s , w e c a n r e d u c e t h e n u m b e r o f f r e e p a r a m e t e r s i n
t h e e q u a t i o n s o f m o t i o n t o o n e . T h e n a l c o o r d i n a t e s a r e c a l l e d d i m e n s i o n l e s s c o o r d i n a t e s .
W e c a n w r i t e t h e e q u a t i o n s o f m o t i o n i n t e r m s o f t h e p o t e n t i a l a s
X =
; r
X
V
w h e r e
V ( X t ) = ; G
m
1
j X ; X
1
j
+
m
2
j X ; X
2
j
a n d
X
1
( t ) = ( a c o s ! t a s i n ! t 0 )
X
2
( t ) = ( ; b c o s ! t ; b s i n ! t 0 ) :
N o r m a l i z e l e n g t h . F i r s t , w e n o r m a l i z e s o t h a t t h e d i s t a n c e l = a + b s e p a r a t i n g t h e p r i m a r i e s
i s o n e . T h u s w e w a n t t o s u b s t i t u t e = X = l . T h i s m e a n s
=
X = l , s o t h a t t h e n e w e q u a t i o n s o f
m o t i o n b e c o m e
= ;
1
l
r
X
V ( l ) :
B u t n o w l e t
~
( t ) =
1
l
2
V ( l t ) . T h e n
r
~
=
1
l
2
r
X
V ( l )
d X
d
=
1
l
r
X
V ( l )
w h i c h a l l o w s u s t h e c o m p a c t n o t a t i o n
= ; r
~
.
N o r m a l i z e t i m e . N e x t w e n o r m a l i z e t h e t i m e s o t h a t t h e a n g u l a r v e l o c i t y o f t h e p r i m a r i e s i s
o n e , b y s u b s t i t u t i n g
~
t = ! t . W e h a v e
d
2
d
~
t
=
1
!
2
d
2
d t
2
= ;
1
!
2
r
~
~
t
!
= ; r
5
-
8/9/2019 ThurmanWorfolkGeometryHaloOrbits
8/46
w h e r e
(
~
t ) =
1
!
2
~
(
~
t = ! ) = ;
G
!
2
l
3
m
1
j ;
1
l
X
1
(
~
t ) j
+
m
2
j ;
1
l
X
2
(
~
t ) j
!
:
A s d i s c o v e r e d i n E x e r c i s e 2 . 4 , t h e a n g u l a r v e l o c i t y ! s a t i s e s !
2
=
G M
l
3
, w h e r e M = m
1
+ m
2
. T h u s
(
~
t ) = ;
1
M
m
1
j
;
1
l
X
1
(
~
t )
j
+
m
2
j
;
1
l
X
2
(
~
t )
j
!
:
N o r m a l i z e m a s s . F i n a l l y w e n o r m a l i z e s o t h a t t h e t o t a l m a s s o f t h e p r i m a r i e s i s o n e . S u b s t i -
t u t i n g = m
1
= M a n d
0
= m
2
= M = 1 ; , w e g e t
(
~
t ) = ;
j ;
1
l
X
1
(
~
t ) j
+
1 ;
j ;
1
l
X
2
(
~
t ) j
!
:
A n d s i n c e n o n e o f t h e d e p e n d e n t v a r i a b l e s d e p e n d s o n t h e m a s s e s , t h e e q u a t i o n s o f m o t i o n r e m a i n
= ; r .
F u r t h e r m o r e , w e h a v e t h e r e l a t i o n s
b
l
=
m
1
M
a n d
a
l
=
m
2
M
.
E x e r c i s e 4 . 3 . S h o w t h i s .
T h u s
1
l
X
1
(
~
t ) =
;
( 1 ; ) c o s
~
t ( 1 ; ) s i n
~
t 0
1
l
X
2
(
~
t ) =
;
; c o s
~
t ; s i n
~
t 0
:
S e t X = ( x y z ) = a n d
~
t = t , a n d d e n e
1
= j X ; X
1
j
2
= j X ; X
2
j
w h e r e w e r e d e n e X
1
a n d X
2
t o b e t h e n o r m a l i z e d p r i m a r y v e c t o r s ( 1 ; ) ( c o s
~
t s i n
~
t 0 ) , a n d
; ( c o s
~
t s i n
~
t 0 ) , r e s p e c t i v e l y . T h e n
( x y z t ) = ;
1
+
1 ;
2
a n d t h e n a l e q u a t i o n s o f m o t i o n a r e
x ( t ) = ;
x
=
x ; ( 1 ; ) c o s t
3
1
+ ( 1 ; )
x + c o s t
3
2
y ( t ) = ;
y
=
y ; ( 1 ; ) s i n t
3
1
+ ( 1 ; )
y + s i n t
3
2
z ( t ) = ;
z
=
z
3
1
+ ( 1 ; )
z
3
2
T h e o n l y f r e e p a r a m e t e r i s , w h i c h i s u s u a l l y t a k e n t o b e l e s s t h a n o r e q u a l t o 1 / 2 t o r e p r e s e n t t h e
s m a l l e r o f t h e t w o p r i m a r y m a s s e s .
6
-
8/9/2019 ThurmanWorfolkGeometryHaloOrbits
9/46
R o t a t i n g c o o r d i n a t e s
A d i s a d v a n t a g e o f t h e a b o v e r e p r e s e n t a t i o n i s t h a t t h e i n d e p e n d e n t v a r i a b l e t a p p e a r s e x p l i c i t l y i n
t h e p o t e n t i a l f u n c t i o n . W e w i l l n o w i n t r o d u c e a n o t h e r c h a n g e o f c o o r d i n a t e s w h i c h t a k e s o u t t h e
r o t a t i o n o f t h e p r i m a r i e s , a n d r e m o v e s t i m e e x p l i c i t l y f r o m t h e d i e r e n t i a l e q u a t i o n s .
L e t R
d e n o t e t h e m a t r i x o f r o t a t i o n ( c l o c k w i s e ) b y a n g l e a b o u t t h e z - a x i s :
R
=
0
@
c o s s i n 0
; s i n c o s 0
0 0 1
1
A
S i n c e a t t i m e t t h e p r i m a r i e s l i e o n a l i n e a t a n g l e t m e a s u r e d c o u n t e r c l o c k w i s e f r o m t h e x - a x i s , w e
w a n t t o m a k e t h e c h a n g e o f c o o r d i n a t e s W = R
t
X .
E x e r c i s e 4 . 4 . S h o w t h a t u n d e r t h i s c h a n g e o f c o o r d i n a t e s , t h e e q u a t i o n s o f m o t i o n b e c o m e
W ; 2 K
_
W + K
2
W = ; r
W
U ( W )
w h e r e
K =
0
@
0 1 0
; 1 0 0
0 0 0
1
A
K
2
=
0
@
; 1 0 0
0 ; 1 0
0 0 0
1
A
a n d
U ( W ) = ;
j R
; t
W ; X
1
( t ) j
+
1 ;
j R
; t
W ; X
2
( t ) j
= ;
jW
;( 1
; ) e
1
j
+
1 ;
jW + e
1
j
a n d w h e r e e
1
= ( 1 0 0 ) . U i s t h e t r a n s f o r m e d p o t e n t i a l .
R e - i n t r o d u c e t h e v a r i a b l e X = ( x y z ) f o r W , a n d d e n e
( X ) = ;
1
2
K
2
X X
; U ( X ) :
T h e n t h e e q u a t i o n s o f m o t i o n b e c o m e
X ; 2 K
_
X = r
X
o r
x ; 2 _y =
x
( 1 )
y + 2 _x =
y
( 2 )
z =
z
: ( 3 )
7
-
8/9/2019 ThurmanWorfolkGeometryHaloOrbits
10/46
5 L i b r a t i o n p o i n t s
T h e C R T B P , w h e n e x p r e s s e d b y ( 1 ) - ( 3 ) i n r o t a t i n g c o o r d i n a t e s , h a s v e e q u i l i b r i u m p o i n t s , c a l l e d
L a g r a n g i a n , o r l i b r a t i o n p o i n t s .
E x e r c i s e 5 . 1 . F i n d t h e m ! S h o w t h a t e q u i l i b r i u m s o l u t i o n s o c c u r w h e n
x
=
y
=
z
= 0 . A r g u e
t h a t a l l s o l u t i o n s l i e i n t h e x y - p l a n e , a n d s h o w t h a t t w o o f t h e s o l u t i o n s ( c a l l e d L
4
a n d L
5
) f o r m
e q u i l a t e r a l t r i a n g l e s w i t h t h e p r i m a r i e s . T h e o t h e r t h r e e l i b r a t i o n p o i n t s ( L
1
{ L
3
) l i e o n t h e x - a x i s ,
b r a c k e t i n g t h e m a s s e s . S h o w t h a t t h e x - c o o r d i n a t e s o f t h e s e p o i n t s c a n b e f o u n d b y s o l v i n g q u i n t i c
p o l y n o m i a l s .
6 T h e J a c o b i a n i n t e g r a l
A n i n t e g r a l o f a s e c o n d o r d e r s y s t e m i s a n o n - c o n s t a n t f u n c t i o n G ( x
1
: : : x
n
_x
1
: : : _x
n
) t h a t i s
c o n s t a n t o n s o l u t i o n s t o t h e s y s t e m . T h u s , e v e r y s o l u t i o n l i e s o n s o m e l e v e l s e t o f G . T h i s i s
e x p r e s s e d m a t h e m a t i c a l l y b y t h e e q u a t i o n
d
d t
G ( x
1
( t ) : : : x
n
( t ) _x
1
( t ) : : : _x
n
( t ) ) = 0
f o r a n y s o l u t i o n ( x
1
( t ) : : : x
n
( t ) ) .
E x e r c i s e 6 . 1 . V e r i f y t h a t
J 2 ( x y z ) ; ( _x
2
+ _y
2
+ _z
2
) ( 4 )
i s a n i n t e g r a l f o r t h e C R T B P . I t i s c a l l e d t h e J a c o b i a n i n t e g r a l , a n d t h e v a l u e i t t a k e s o n a s o l u t i o n
i s c a l l e d t h e J a c o b i a n c o n s t a n t .
T h e J a c o b i a n i n t e g r a l a l l o w s o n e i n p r i n c i p l e t o r e d u c e t h e e q u a t i o n s o f m o t i o n i n t h e C R T B P
f r o m a 6 t h o r d e r s y s t e m t o a 5 t h o r d e r s y s t e m . A n o t h e r i m m e d i a t e a p p l i c a t i o n o f t h e J a c o b i a n
i n t e g r a l i s t h e f o l l o w i n g . A g i v e n s e t o f i n i t i a l c o n d i t i o n s d e n e s a p a r t i c u l a r v a l u e f o r t h e J a c o b i a n
c o n s t a n t , s a y C . T h e s i m p l e o b s e r v a t i o n t h a t t h e s q u a r e o f t h e v e l o c i t y _ x
2
+ _y
2
+ _z
2
m u s t b e p o s i t i v e
i m p l i e s w i t h ( 4 ) t h a t t h e r a n g e o f m o t i o n i n x y z - s p a c e f o r t h a t p a r t i c u l a r s o l u t i o n m u s t l i e o n o n e
s i d e o f t h e s u r f a c e d e n e d b y ( x y z ) = C = 2 . T h i s s u r f a c e i s c a l l e d t h e s u r f a c e o f z e r o v e l o c i t y f o r
t h e J a c o b i a n c o n s t a n t C . ( S e e 1 7 , C h a p t e r 4 , S e c t i o n 1 0 . 2 ] f o r p r o p e r t i e s o f , a n d a d i s c u s s i o n o f
c u r v e s a n d s u r f a c e s o f z e r o v e l o c i t y . )
N o t e t h a t d e s p i t e t h e n a m e , i f a p a r t i c l e i s o n a s u r f a c e o f z e r o v e l o c i t y , i t d o e s n o t n e c e s s a r i l y
h a v e z e r o v e l o c i t y . T h e s u r f a c e r e p r e s e n t s a b a r r i e r t h r o u g h w h i c h s o l u t i o n s f o r a p a r t i c u l a r v a l u e
o f t h e J a c o b i a n c o n s t a n t c a n n o t p a s s . S o l u t i o n s w i t h d i e r e n t J a c o b i a n c o n s t a n t s w i l l h a v e d i e r e n t
s u r f a c e s o f z e r o v e l o c i t y .
E x e r c i s e 6 . 2 . U s e M a p l e o r M a t h e m a t i c a t o g r a p h s o m e s u r f a c e s o f z e r o v e l o c i t y f o r v a r i o u s J a c o -
b i a n c o n s t a n t s , a n d i d e n t i f y t h e r e g i o n s o f p o s s i b l e m o t i o n .
8
-
8/9/2019 ThurmanWorfolkGeometryHaloOrbits
11/46
7 S y m m e t r i e s
S y m m e t r i e s i n t h e e q u a t i o n s o f m o t i o n a l l o w u s t o n d n e w s o l u t i o n s w h e n s o m e s o l u t i o n s a r e g i v e n .
W e p r e s e n t t w o s y m m e t r i e s h e r e . T h e r s t s y m m e t r y i s a r e e c t i o n a c r o s s t h e ( x y ) - p l a n e a n d t h e
s e c o n d i s a r e e c t i o n a c r o s s t h e ( x z ) - p l a n e w i t h a t i m e - r e v e r s a l . A s s u m e t h a t ( x ( t ) y ( t ) z ( t ) ) i s a
s o l u t i o n t o t h e C R T B P , t h e n t h e f o l l o w i n g a r e a l s o s o l u t i o n s :
( x ( t ) y ( t ) ; z ( t ) )
( x (
;t )
;y (
;t ) z (
;t ) ) :
T h e r e i s a l s o a s y m m e t r y i n v o l v i n g p a r a m e t e r s i n t h e e q u a t i o n . T h i s i s g i v e n b y :
( x ( t ) y ( t ) z ( t ) ) 7! ( ; x ( t ) ; y ( t ) z ( t ) 1 ; ) :
T h i s m e a n s t h a t i n f a c t w e o n l y n e e d t o s t u d y t h e e q u a t i o n s i n t h e p a r a m e t e r r a n g e 0 <
-
8/9/2019 ThurmanWorfolkGeometryHaloOrbits
12/46
T h e C R T B P i n d i m e n s i o n l e s s n o n - r o t a t i n g c o o r d i n a t e s h a s a L a g r a n g i a n w h i c h i s g i v e n b y
L ( X
_
X t ) =
1
2
_
X
2
; U ( X t )
w h e r e
U ( X t ) = ;
j X ; X
1
( t ) j
;
1 ;
j X ; X
2
( t ) j
:
W e c a n w r i t e t h e L a g r a n g i a n i n r o t a t i n g c o o r d i n a t e s W = R
t
X . F i r s t c a l c u l a t e X = R
; t
W a n d
_
X =
_
R
; t
W + R
; t
_
W a n d s u b s t i t u t e i n t o t h e e q u a t i o n f o r L t o g e t
L =
1
2
(
_
W ; K W )
2
; U ( W )
w h e r e
U ( W ) = ;
j W ; T
t
X
1
( t ) j
;
1
;
j W ; R
t
X
2
( t ) j
= ;
j W ; ( 1 ; ) e
1
j
;
1 ;
j W + e
1
j
:
E x e r c i s e 8 . 2 . V e r i f y t h a t t h e e q u a t i o n s o f m o t i o n i n r o t a t i n g c o o r d i n a t e s d e r i v e d f r o m u s i n g t h i s
L a g r a n g i a n a n d t h e E u l e r - L a g r a n g e e q u a t i o n s a r e t h e s a m e a s t h e o n e s w e d e r i v e d e a r l i e r .
9 T h e H a m i l t o n i a n f o r m u l a t i o n
T h e C R T B P i s a H a m i l t o n i a n d y n a m i c a l s y s t e m . T h i s m e a n s t h a t t h e r e e x i s t c o o r d i n a t e s p q a n d
a f u n c t i o n H ( p q t ) s u c h t h a t t h e e q u a t i o n s o f m o t i o n a r e g i v e n b y
_q = @ H = @ p
_p =
;@ H = @ q :
( 5 )
T h i s i s o f t e n w r i t t e n i n t h e c o m p a c t f o r m
_z = J r
z
H ( z )
w h e r e z = ( q p ) a n d J i s t h e m a t r i x o f f o u r s q u a r e b l o c k s g i v e n b y
J =
0 1
; 1 0
:
F o r a d i s c u s s i o n o f t h i s e x t e n s i v e t h e o r y , s e e , f o r e x a m p l e , 1 , 4 , 7 , 1 0 ] .
W e w i l l w r i t e d o w n t h e H a m i l t o n i a n a n d c o r r e s p o n d i n g c a n o n i c a l c o o r d i n a t e s i n r o t a t i n g v a r i a b l e s
s i n c e t h i s w i l l b e m o s t u s e f u l f o r u s . T y p i c a l l y t h i s i s d o n e b y s t a r t i n g f r o m t h e L a g r a n g i a n w r i t t e n
u s i n g t h e t r a d i t i o n a l c o o r d i n a t e s q _q . T h u s , w e s t a r t w i t h
L ( q _q t ) =
1
2
( _q ; K q )
2
; U ( q ) :
1 0
-
8/9/2019 ThurmanWorfolkGeometryHaloOrbits
13/46
T h e g e n e r a l i z e d m o m e n t a p a r e g i v e n b y p = @ L = @ _q , s o
p = _q ; K q :
T h e H a m i l t o n i a n i s d e n e d b y H ( p q t ) = < p _q > ; L , s o w e c o m p u t e
H =
1
2
p
2
+ < p K q > + U ( q ) :
T h e e q u a t i o n s o f m o t i o n a r e g i v e n b y a p p l y i n g E q u a t i o n 5 t o t h i s H a m i l t o n i a n .
E x e r c i s e 9 . 1 . V e r i f y t h a t t h e s e e q u a t i o n s o f m o t i o n c o i n c i d e w i t h t h o s e f r o m t h e L a g r a n g i a n f o r -
m u l a t i o n .
S i n c e t h e H a m i l t o n i a n f o r t h i s p r o b l e m i s i n d e p e n d e n t o f t i m e , i t i s a c o n s t a n t o f t h e m o t i o n .
T h i s c a n b e v e r i e d b y c o m p u t i n g d H = d t =
@ H
@ q
_q +
@ H
@ p
_p = 0 .
E x e r c i s e 9 . 2 . V e r i f y t h a t H = ; J = 2 , w h e r e J i s t h e J a c o b i a n i n t e g r a l i n t r o d u c e d i n S e c t i o n 6 .
1 0 R i c h a r d s o n ' s a p p r o x i m a t i o n s f o r h a l o o r b i t s
I n t h i s s e c t i o n w e d i s c u s s a t h i r d - o r d e r a n a l y t i c a p p r o x i m a t i o n t o t h e e q u a t i o n s o f m o t i o n w h i c h
p r o d u c e s p e r i o d i c s o l u t i o n s a b o u t t h e c o l l i n e a r l i b r a t i o n p o i n t s . O u r d i s c u s s i o n f o l l o w s t h e w o r k o f
D . L . R i c h a r d s o n 1 4 , 1 5 , 1 6 ] , w h o u s e d t h i s t e c h n i q u e s u c c e s s f u l l y i n d e s i g n i n g o r b i t s f o r t h e I S E E 3
m i s s i o n t o L
1
i n t h e l a t e 1 9 7 0 s .
Y e t a n o t h e r c h a n g e o f c o o r d i n a t e s
W e w i l l d i s c u s s o w i n a n e i g h b o r h o o d o f L
1
a n d L
2
, r e c a l l i n g t h a t o w n e a r L
3
i s t h e s a m e a s t h a t
n e a r L
2
b u t f o r a d i e r e n t p a r a m e t e r v a l u e . I n o r d e r t o s t u d y t h e m o t i o n n e a r a l i b r a t i o n p o i n t i t i s
e a s i e s t t o c h o o s e a c o o r d i n a t e s y s t e m t h a t i s c e n t e r e d a t t h e l i b r a t i o n p o i n t . W e w i l l a l s o n o r m a l i z e
d i s t a n c e s s o t h a t t h e d i s t a n c e b e t w e e n t h e l i b r a t i o n p o i n t a n d t h e m a s s M
1
i s o n e u n i t .
I n t h e r o t a t i n g c o o r d i n a t e s y s t e m , l e t t h e l o c a t i o n s o f t h e l i b r a t i o n p o i n t s L
i
b e g i v e n b y
L
i
=
i
e
1
w h e r e t h e
i
a r e r o o t s o f t h e a p p r o p r i a t e q u i n t i c a s d i s c u s s e d i n a n e a r l i e r s e c t i o n . L e t t h e v e c t o r s
f r o m L
i
t o t h e m a s s e s M
1
a n d M
2
b e g i v e n b y
r
1
= ( 1 ; ) e
1
; L
i
= ( 1 ; ;
i
) e
1
r
2
= ; e
1
; L
i
= ; ( +
i
) e
1
:
N e w r o t a t i n g c o o r d i n a t e s c e n t e r e d a t t h e l i b r a t i o n p o i n t L
i
a n d r e s c a l e d b y j r
1
j a r e g i v e n b y
= ( W ; L
i
) = j r
1
j :
1 1
-
8/9/2019 ThurmanWorfolkGeometryHaloOrbits
14/46
W e w r i t e t h e L a g r a n g i a n i n t h e s e n e w c o o r d i n a t e s a s
L ( _ ) =
j r
1
j
2
2
( _ ; K )
2
+
i
j r
1
j < e
1
> ; U ( )
+
i
jr
1
j +
1
2
2
i
w i t h
U ( ) =
; = j r
1
j
j e
1
j
+
; ( 1 ; ) = j r
1
j
j +
j r
2
j
j r
1
j
e
1
j
w h e r e f r o m n o w o n w a r d s t h e t o p s i g n i s t a k e n f o r L
1
a n d t h e b o t t o m f o r L
2
. W e w a n t t o d e v e l o p
t h i s a s a p o w e r s e r i e s i n j j a n d t h u s w a n t j r
2
j j r
1
j . C o n s e q u e n t l y , t h i s a n a l y s i s w i l l g i v e r e s u l t s
f o r L
1
w h e n 0 < 1 = 2 a n d f o r L
2
w h e n 0 <
-
8/9/2019 ThurmanWorfolkGeometryHaloOrbits
15/46
N o t e t h a t P
i
i s e v e n o r o d d i n c o s e x a c t l y w h e n i i s e v e n o r o d d . A l s o r e c a l l t h e f o r m u l a f o r t h e
d e r i v a t i v e o f a L e g e n d r e p o l y n o m i a l ,
d P
n
( C )
d C
=
X
0 k ( n ; 1 ) = 2 k 2 Z
( 2 n ; 4 k ; 1 ) P
n ; 2 k ; 1
( C ) :
A p p l y i n g t h i s t o t e r m s i n o u r p o t e n t i a l f u n c t i o n w e s e e t h a t
1
j
e
1
j
=
1
X
n = 0
P
n
(
x
= j j ) j j
n
j r
2
j = j r
1
j
j +
j r
2
j
j r
1
j
e
1
j
=
1
X
n = 0
P
n
( ;
x
= j j )
j r
1
j
n
j r
2
j
n
j j
n
:
W h e n i n t r o d u c i n g t h e e x p a n s i o n s i n t o t h e L a g r a n g i a n w e c a n o n c e a g a i n n e g l e c t t h e c o n s t a n t t e r m s
a n d w e w i l l c o l l e c t t h e l i n e a r t e r m s . T h i s r e s u l t s i n a L a g r a n g r i a n o f
L ( _ ) =
1
2
( _ ; K )
2
+
j r
1
j
3
1
X
n = 2
P
n
(
x
= j j ) j j
n
+
( 1 ; )
j r
1
j
2
j r
2
j
1
X
n = 2
P
n
( ;
x
= j j )
j r
1
j
n
j r
2
j
n
j j
n
+
x
j r
1
j
i
j r
1
j
2
;
1
;
j r
2
j
2
:
N o w r e c a l l t h a t
i
j r
1
j
2
;
1 ;
j r
2
j
2
=
i
(
i
; ( 1 ; ) )
2
;
1 ;
(
i
+ )
2
= 0
s i n c e t h i s i s t h e e q u a t i o n w h i c h d e n e s t h e l i b r a t i o n p o i n t ! O f c o u r s e w e k n o w t h i s q u a n t i t y w i l l b e
z e r o s i m p l y b e c a u s e w e h a v e p l a c e d t h e o r i g i n o f t h e c o o r d i n a t e s y s t e m a t a n e q u i l i b r i u m p o i n t t h u s
g u a r a n t e e i n g t h a t l i n e a r t e r m s w i l l n o t e x i s t .
C o m b i n i n g t h e s u m s i n t h e L a g r a n g i a n , w e w r i t e
L ( _ ) =
1
2
( _ ; K )
2
+
1
X
n = 2
c
n
P
n
(
x
= j j ) j j
n
w h e r e
c
n
= ( 1 )
n
j r
1
j
3
+ ( ; 1 )
n
( 1 ; ) j r
1
j
n ; 2
j r
2
j
n + 1
= (
1 )
n
j
i
; ( 1 ; ) j
3
+ (
;1 )
n
( 1
; )
j
i
; ( 1 ; ) j
n ; 2
j
i
+ j
n + 1
:
I f y o u i n s i s t o n n d i n g t h e e q u a t i o n s o f m o t i o n i n a n e i g h b o r h o o d o f L
3
, t h e n i n t h e c o o r d i n a t e s
= ( L
3
; W ) = j r
2
j t h e a b o v e L a g r a n g i a n h o l d s a n d t h e c
n
a r e t h e s a m e a s t h o s e f o r L
2
e x c e p t t h e y
1 3
-
8/9/2019 ThurmanWorfolkGeometryHaloOrbits
16/46
m u s t b e c o m p u t e d f o r p a r a m e t e r v a l u e 1 ; . P e r f o r m i n g t h i s c o m p u t a t i o n , w e n d t h a t t h e c
n
f o r
t h e L a g r a n g i a n a t L
3
a r e g i v e n b y
c
n
= ( ; 1 )
n
1 ;
j r
2
j
3
+ ( ; 1 )
n
j r
2
j
n ; 2
j r
1
j
n + 1
:
T h e e q u a t i o n s o f m o t i o n a r e d e r i v e d f r o m t h e L a g r a n g i a n u s i n g t h e E u l e r - L a g r a n g e e q u a t i o n s .
C o n s e q u e n t l y , t h e e q u a t i o n s o f m o t i o n a r e
;2 K _ + K
2
=
1
X
n = 2
n c
n
P
n
(
x
=
j
j)
j
j
n ; 2
+
1
X
n = 2
c
n
P
0
n
(
x
= j j ) j j
n ; 2
( j j e
1
;
x
j j
) :
W e c a n n o w a p p r o x i m a t e t h e d y n a m i c a l s y s t e m n e a r t h e l i b r a t i o n p o i n t s b y u s i n g p e r t u r b a t i o n
m e t h o d s . E s s e n t i a l l y , w e w i l l e x p a n d a l l q u a n t i t i e s i n a p o w e r s e r i e s o f a s m a l l p a r a m e t e r ( e . g . , t h e
a m p l i t u d e o f t h e s o l u t i o n ) a n d c o n s i d e r o n l y a n i t e n u m b e r o f t e r m s i n t h e i n n i t e s u m . W e c a n
t h e n a t t e m p t t o n d e x p l i c i t s o l u t i o n s f o r t h e s e d y n a m i c a l s y s t e m s a n d h o p e t h a t t h e y a p p r o x i m a t e
s o l u t i o n s o f t h e f u l l p r o b l e m .
T h e l i n e a r a p p r o x i m a t i o n
F i r s t w e w i l l s t u d y a l i n e a r a p p r o x i m a t i o n t o t h e e q u a t i o n s o f m o t i o n j u s t d e v e l o p e d . W e s h o w
t h a t s o l u t i o n s t o s u c h a n a p p r o x i m a t i o n a r e i n a d e q u a t e i n t h e s e n s e t h a t t h e y a r e n o t , i n g e n e r a l ,
p e r i o d i c . W e w i l l r e q u i r e t h e s e s o l u t i o n s , h o w e v e r , w h e n w e m o v e t o h i g h e r - o r d e r a p p r o x i m a t i o n s .
T h e l i n e a r a p p r o x i m a t i o n i n v o l v e s t a k i n g o n l y t h e q u a d r a t i c t e r m s i n t h e L a g r a n g i a n . T h i s g i v e s
u s
L
2
( _ ) =
1
2
( _ ; K )
2
+ c
2
( 3
2
x
;
2
) = 2
w i t h
c
2
=
j
i
; ( 1 ; ) j
3
+
1 ;
j
i
+ j
3
:
U s i n g t h e E u l e r - L a g r a n g e e q u a t i o n s w e w r i t e d o w n t h e e q u a t i o n s o f m o t i o n t o g e t
; 2 K _ +
0
@
; ( 2 c
2
+ 1 ) 0 0
0 c
2
; 1 0
0 0 c
2
1
A
= 0 :
T h i s i s a l i n e a r d e g r e e t w o s y s t e m o f o r d i n a r y d i e r e n t i a l e q u a t i o n s w h i c h w e c a n s o l v e b y s p e c t r a l
m e t h o d s . N o t e t h a t t h e z - c o m p o n e n t i s d e c o u p l e d f r o m t h e o t h e r t w o . W e c o m p u t e t h e c h a r a c t e r i s t i c
p o l y n o m i a l t o b e
(
2
+ c
2
) (
4
+
2
( 2
;c
2
) + 1 + c
2
;2 c
2
2
) = 0
a n d s o l v i n g f o r n d
=
j
p
c
2
=
s
c
2
; 2
p
9 c
2
2
; 8 c
2
2
1 4
-
8/9/2019 ThurmanWorfolkGeometryHaloOrbits
17/46
w h e r e j r e p r e s e n t s t h e c o m p l e x i n v o l u t e . I f c
2
> 1 t h e n 9 c
2
2
; 8 c
2
> ( c
2
; 2 )
2
a n d t h e r e w i l l b e t w o
p a i r s o f p u r e l y i m a g i n a r y e i g e n v a l u e s a n d o n e p a i r o f r e a l e i g e n v a l u e s .
E x e r c i s e 1 0 . 1 . S h o w t h a t c
2
> 1 .
W e c a n t h u s w r i t e t h e s o l u t i o n t o t h e l i n e a r e q u a t i o n i n t h e f o r m :
x ( t ) = A
1
e
t
+ A
2
e
; t
+ A
3
c o s t + A
4
s i n t
y ( t ) =
;k
1
A
1
e
t
+ k
1
A
2
e
; t
;k
2
A
3
s i n t + k
2
A
4
c o s t
z ( t ) = A
5
c o s
p
c
2
t + A
6
s i n
p
c
2
t
w h e r e
=
s
c
2
; 2 +
p
9 c
2
2
; 8 c
2
2
=
s
;
c
2
; 2 ;
p
9 c
2
2
; 8 c
2
2
k
1
= ( 2 c
2
+ 1 ;
2
) = 2
k
2
= ( 2 c
2
+ 1 +
2
) = 2
a n d A
1
: : : A
6
a r e a r b i t r a r y c o n s t a n t s d e t e r m i n e d b y t h e i n i t i a l c o n d i t i o n s .
S i n c e w e a r e i n t e r e s t e d i n p e r i o d i c a n d q u a s i p e r i o d i c s o l u t i o n s w e t a k e A
1
= A
2
= 0 . T h e n t h e
s o l u t i o n t o t h e l i n e a r p r o b l e m c a n b e w r i t t e n i n t e r m s o f a m p l i t u d e a n d p h a s e a s
x ( t ) = ; A
x
c o s ( t + )
y ( t ) = k A
x
s i n ( t + )
z ( t ) = A
z
s i n (
p
c
2
t + )
w i t h k = k
2
. F o r o u t o f p l a n e s o l u t i o n s ( A
z
6= 0 ) , w e d o n o t e x p e c t a n d c
2
t o b e r a t i o n a l l y r e l a t e d
a n d t h u s e x p e c t q u a s i p e r i o d i c s o l u t i o n s . W e m u s t t h e r e f o r e i n c l u d e n o n l i n e a r i t i e s i f w e h o p e t o n d
p e r i o d i c s o l u t i o n s .
T h e m e t h o d o f L i n d s t e d t - P o i n c a r e
T o n d b e t t e r a p p r o x i m a t i o n s t o t h e n o n l i n e a r p r o b l e m i n a n e i g h b o r h o o d o f t h e e q u i l i b r i u m p o i n t
s o l u t i o n s w e w i l l u s e t h e p e r t u r b a t i o n t e c h n i q u e s o f L i n d s t e d t - P o i n c a r e 1 1 ] .
T h e r s t t h i n g w e d o i s a l l o w f o r a f r e q u e n c y c o r r e c t i o n b y s e t t i n g = ! t a n d l e t t i n g '
0
' d e n o t e
d = d . W e w i l l t h e n t r u n c a t e t h e e q u a t i o n s o f m o t i o n a t d e g r e e 3 . D o i n g t h i s w e g e t
!
2
x
0 0
; 2 ! y
0
; ( 1 + 2 c
2
) x =
3
2
c
3
( 2 x
2
; y
2
; z
2
)
+ 2 c
4
( 2 x
2
; 3 y
2
; 3 z
2
) x
!
2
y
0 0
+ 2 ! x
0
+ ( c
2
; 1 ) y = ; 3 c
3
x y ;
3
2
c
4
( 4 x
2
; y
2
; z
2
) y
!
2
z
0 0
+
2
z = ; 3 c
3
x z ;
3
2
c
4
( 4 x
2
; y
2
; z
2
) z + z
1 5
-
8/9/2019 ThurmanWorfolkGeometryHaloOrbits
18/46
w h e r e
=
2
; c
2
:
W e c o n t i n u e t h e p e r t u r b a t i o n a n a l y s i s b y a s s u m i n g s o l u t i o n s o f t h e f o r m :
x ( ) = x
1
( ) +
2
x
2
( ) +
3
x
3
( ) + : : :
y ( ) = y
1
( ) +
2
y
2
( ) +
3
y
3
( ) + : : :
z ( ) = z
1
( ) +
2
z
2
( ) +
3
z
3
( ) + : : :
a n d l e t t i n g
! = 1 + !
1
+
2
!
2
+ : : : :
W e s u b s t i t u t e t h e s e q u a n t i t i e s i n t o t h e e q u a t i o n s o f m o t i o n a n d e q u a t e c o m p o n e n t s o f t h e s a m e
o r d e r . H e r e w e m a k e t h e a s s u m p t i o n t h a t = O (
2
) a n d s e t = .
T h e r s t o r d e r e q u a t i o n s
T h e O ( ) e q u a t i o n s a r e t h e l i n e a r i z a t i o n o f t h e v e c t o r e l d w h i c h w e s o l v e d i n t h e p r e v i o u s s e c t i o n ,
w i t h a m o d i e d f r e q u e n c y f o r t h e o u t o f p l a n e o s c i l l a t i o n s :
x
0 0
1
; 2 y
0
1
; ( 1 + 2 c
2
) x
1
= 0
y
0 0
1
+ 2 x
0
1
+ ( c
2
; 1 ) y
1
= 0
z
0 0
1
+
2
z
1
= 0 :
S i n c e w e a r e o n l y i n t e r e s t e d i n b o u n d e d s o l u t i o n s w e w r i t e t h e s o l u t i o n s
x
1
( ) = ; A
x
c o s ( + )
y
1
( ) = k A
x
s i n ( + )
z
1
( ) = A
z
s i n ( + ) :
L a t e r , i n o r d e r t o a v o i d s e c u l a r s o l u t i o n s w e w i l l n e e d t o p u t c o n s t r a i n t s o n t h e c o n s t a n t s A
x
A
z
,
b u t f o r n o w t h e y a r e a r b i t r a r y .
T h e s e c o n d o r d e r e q u a t i o n s
T h e O (
2
) e q u a t i o n s d e p e n d o n t h e a b o v e s o l u t i o n s a n d a r e g i v e n b y
x
0 0
2
; 2 y
0
2
; ( 1 + 2 c
2
) x
2
= ; 2 !
1
( x
0 0
1
; y
0
1
) +
3
2
c
3
( 2 x
2
1
; y
2
1
; z
2
1
)
y
0 0
2
+ 2 x
0
2
+ ( c
2
; 1 ) y
2
= ; 2 !
1
( y
0 0
1
+ x
0
1
) ; 3 c
3
x
1
y
1
z
0 0
2
+
2
z
2
= ; 2 !
1
z
0 0
1
; 3 c
3
x
1
z
1
:
1 6
-
8/9/2019 ThurmanWorfolkGeometryHaloOrbits
19/46
S u b s t i t u t i n g i n t h e s o l u t i o n s f o r x
1
y
1
z
1
, w e g e t
x
0 0
2
;2 y
0
2
;( 1 + 2 c
2
) x
2
= + 2 !
1
A
x
( k
; ) c o s
1
+
1
+
1
c o s 2
1
+
2
c o s 2
2
y
0 0
2
+ 2 x
0
2
+ ( c
2
; 1 ) y
2
= 2 !
1
A
x
( k ; 1 ) s i n
1
+
1
s i n 2
1
z
0 0
2
+
2
z
2
= 2 !
1
A
z
2
s i n
2
+
1
s i n (
1
+
2
) +
1
s i n (
2
;
1
)
w h e r e
1
= +
2
= +
a n d t h e e x p r e s s i o n s f o r t h e o t h e r c o e c i e n t s a r e g i v e n i n A p p e n d i x C . T h e s e a r e a s e t o f i n h o m o -
g e n e o u s l i n e a r d i e r e n t i a l e q u a t i o n s w h o s e s o l u t i o n s a r e s u m m a r i z e d i n A p p e n d i x B . W e k n o w t h e
b o u n d e d h o m o g e n e o u s s o l u t i o n w h i c h i s i n c o r p o r a t e d i n t o t h e s o l u t i o n t o t h e r s t o r d e r e q u a t i o n s
a n d s i m p l y n e e d t o n d a p a r t i c u l a r s o l u t i o n . T h e s e c u l a r t e r m s ( t h o s e r e s p o n s i b l e f o r p r o d u c i n g u n -
b o u n d e d s o l u t i o n s ) a r e t h e s i n
1
, c o s
1
a n d s i n
2
t e r m s w h i c h a r e a l l e l i m i n a t e d b y s e t t i n g !
1
= 0 .
T h u s w e n d t h e s o l u t i o n
x
2
=
2 0
+
2 1
c o s 2
1
+
2 2
c o s 2
2
y
2
=
2 1
s i n 2
1
+
2 2
s i n 2
2
z
2
=
2 1
s i n (
1
+
2
) +
2 2
s i n (
2
;
1
)
w h e r e t h e e x p r e s s i o n s f o r t h e c o e c i e n t s a r e g i v e n i n A p p e n d i x C .
T h e t h i r d o r d e r e q u a t i o n s
T h e O (
3
) e q u a t i o n s a r e ( a f t e r s e t t i n g !
1
= 0 )
x
0 0
3
; 2 y
0
3
; ( 1 + 2 c
2
) x
3
= ; 2 !
2
( x
0 0
1
; y
0
1
)
+ 3 c
3
( 2 x
1
x
2
; y
1
y
2
; z
1
z
2
)
+ 2 c
4
x
1
( 2 x
2
1
; 3 y
2
1
; 3 z
2
1
)
y
0 0
3
+ 2 x
0
3
+ ( c
2
; 1 ) y
3
= ; 2 w
2
( x
0
1
+ y
0 0
1
)
; 3 c
3
( x
1
y
2
+ x
2
y
1
)
;
3
2
c
4
y
1
( 4 x
2
1
; y
2
1
; z
2
1
)
z
0 0
3
+
2
z
3
= ; 2 !
2
z
0 0
1
+
2
z
1
; 3 c
3
( x
2
z
1
+ x
1
z
2
)
;
3
2
c
4
z
1
( 4 x
2
1
; y
2
1
; z
2
1
) :
1 7
-
8/9/2019 ThurmanWorfolkGeometryHaloOrbits
20/46
S u b s t i t u t i n g i n t h e s o l u t i o n s f o r x
1
y
1
z
1
x
2
y
2
z
2
, w e g e t
x
0 0
3
; 2 y
0
3
; ( 1 + 2 c
2
) x
3
=
1
+ 2 !
2
A
x
( k ; ) ] c o s
1
+
3
c o s 3
1
+
4
c o s (
1
+ 2
2
)
+
5
c o s ( 2
2
;
1
)
y
0 0
3
+ 2 x
0
3
+ ( c
2
; 1 ) y
3
=
2
+ 2 !
2
A
x
( k ; 1 ) ] s i n
1
+
3
s i n 3
1
+
4
s i n (
1
+ 2
2
)
+
5
s i n ( 2
2
;
1
)
z
0 0
3
+
2
z
3
=
3
+ A
z
( 2 !
2
2
+ =
2
) ] s i n
2
+
3
s i n 3
2
+
4
s i n ( 2
1
+
2
)
+
5
s i n ( 2
1
;
2
)
w h e r e t h e e x p r e s s i o n s f o r t h e c o e c i e n t s a r e g i v e n i n A p p e n d i x C . T h e r e a r e s e c u l a r t e r m s i n t h e
x
3
; y
3
e q u a t i o n s a n d i n t h e z
3
e q u a t i o n s w h i c h c a n n o l o n g e r b e r e m o v e d b y s i m p l y s e t t i n g a v a l u e
f o r t h e f r e q u e n c y c o r r e c t i o n !
2
. W e s t a r t b y e x a m i n i n g t h e s e c u l a r t e r m s i n t h e z
3
e q u a t i o n s m o r e
c l o s e l y .
T o r e m o v e t h e
5
s i n ( 2
1
;
2
) t e r m w e w o u l d n e e d
5
= 0 . S i n c e w e c a n n o t f r e e l y a d j u s t t h i s
p a r a m e t e r , w e c a n a t t e m p t t o r e m o v e t h e s e c u l a r t e r m b y a d j u s t i n g t h e p h a s e s o f
1
a n d
2
s o t h a t
s i n ( 2
1
;
2
) s i n
2
. T o d o t h i s w e n e e d
= + n
2
w h e r e n = 0 1 2 3 . T h e n t h e z
3
s o l u t i o n w i l l b e b o u n d e d i f
3
+ A
z
( 2 !
2
2
+ =
2
) +
5
= 0
w h e r e = ( ; 1 )
n
. T h i s p h a s e c o n s t r a i n t a e c t s t h e x
3
; y
3
e q u a t i o n s , w h i c h n o w e a c h c o n t a i n o n e
s e c u l a r t e r m . I n s t e a d o f f o r c i n g t h e r e m o v a l o f t h e s e t e r m s w i t h t w o a d d i t i o n a l c o n s t r a i n t e q u a t i o n s ,
w e s e e f r o m A p p e n d i x C t h a t w e c a n s i m u l t a n e o u s l y e l i m i n a t e t h e u n b o u n d e d t e r m s f r o m b o t h
p a r t i c u l a r s o l u t i o n s w i t h a s i n g l e c o n s t r a i n t e q u a t i o n . T h e r e q u i r e m e n t i s
(
1
+ 2 !
2
A
x
( k ; ) +
5
) ; k (
2
+ 2 !
2
A
x
( k ; 1 ) +
5
) = 0 :
W e s a t i s f y t h i s l a s t e q u a t i o n b y s e t t i n g
!
2
=
1
; k
2
+ (
5
; k
5
)
2 A
x
( 1 + k
2
) ; 2 k ]
= s
1
A
2
x
+ s
2
A
2
z
w h e r e t h e e x p r e s s i o n s f o r s
1
s
2
a r e g i v e n i n A p p e n d i x C . S u b s t i t u t i n g t h i s i n t o t h e r s t c o n s t r a i n t
w e g e t
l
1
A
2
x
+ l
2
A
2
z
+ =
2
= 0
1 8
-
8/9/2019 ThurmanWorfolkGeometryHaloOrbits
21/46
w i t h l
1
l
2
g i v e n i n A p p e n d i x C , a n d t h u s c a n s a t i s f y t h i s c o n s t r a i n t b y l e t t i n g o n e a m p l i t u d e b e
d e t e r m i n e d b y t h e o t h e r .
A s s u m i n g t h e s e c o n s t r a i n t s t h e t h i r d o r d e r e q u a t i o n s r e d u c e t o
x
0 0
3
; 2 y
0
3
; ( 1 + 2 c
2
) x
3
= k
6
c o s
1
+ (
3
+
4
) c o s 3
1
y
0 0
3
+ 2 x
0
3
+ ( c
2
; 1 ) y
3
=
6
s i n
1
+ (
3
+
4
) s i n 3
1
z
0 0
3
+
2
z
3
=
( ; 1 )
n = 2
(
3
+
4
) s i n 3
1
n = 0 2
(
;1 )
( n ; 1 ) = 2
(
4
;
3
) c o s 3
1
n = 1 3
w h e r e
6
=
2
+ 2 !
2
A
x
( k ; 1 ) +
5
. T h e s o l u t i o n t o t h i s i s g i v e n b y
x
3
=
3 1
c o s 3
1
y
3
=
3 1
s i n 3
1
+
3 2
s i n
1
z
3
=
( ; 1 )
n = 2
3 1
s i n 3
1
n = 0 2
( ; 1 )
( n ; 1 ) = 2
3 2
c o s 3
1
n = 1 3
w h e r e t h e e x p r e s s i o n s f o r t h e c o e c i e n t s a r e g i v e n i n A p p e n d i x C . R i c h a r d s o n ' s s o l u t i o n 1 4 , 1 5 , 1 6 ]
n e g l e c t e d t h e
6
t e r m s a n d t h u s d i d n o t i n c l u d e t h e
3 2
c o r r e c t i o n { a c u b i c c o r r e c t i o n t o t h e
a m p l i t u d e o f t h e p r i m a r y f r e q u e n c y .
T h e n a l a p p r o x i m a t i o n
A p p l y i n g t h e m a p p i n g A
x
7! A
x
= a n d A
z
7! A
z
= w i l l r e m o v e f r o m a l l t h e e q u a t i o n s . T h e n w e
c a n u s e A
x
o r A
z
a s a s m a l l p a r a m e t e r . C o m b i n i n g t h e s o l u t i o n s w e h a v e c o m p u t e d t o t h i r d o r d e r ,
w e g e t
x ( ) =
2 0
; A
x
c o s
1
+ (
2 1
+
2 2
) c o s 2
1
+
3 1
c o s 3
1
y ( ) = ( k A
x
+
3 2
) s i n
1
+ (
2 1
+
2 2
) s i n 2
1
+
3 1
s i n 3
1
z ( ) =
( ; 1 )
n = 2
A
z
s i n
1
n = 0 2
( ; 1 )
( n ; 1 ) = 2
A
z
c o s
1
n = 1 3
+
( ; 1 )
n = 2
(
2 1
s i n 2
1
+
3 1
s i n 3
1
) n = 0 2
( ; 1 )
( n ; 1 ) = 2
(
2 1
c o s 2
1
+
2 2
+
3 2
c o s 3
1
) n = 1 3 :
1 9
-
8/9/2019 ThurmanWorfolkGeometryHaloOrbits
22/46
T h e s e e q u a t i o n s m a y b e r e w r i t t e n t o m o r e c l e a r l y s e e t h e d e p e n d e n c e o n t h e s m a l l p a r a m e t e r s A
x
a n d A
z
. T h i s i s
x ( ) = ; A
x
c o s
1
+ a
2 1
A
2
x
+ a
2 2
A
2
z
+ ( a
2 3
A
2
x
+ a
2 4
A
2
z
) c o s 2
1
( 6 )
+ ( a
3 1
A
3
x
+ a
3 2
A
x
A
2
z
) c o s 3
1
y ( ) = k A
x
s i n
1
+ ( b
2 1
A
2
x
+ b
2 2
A
2
z
) s i n 2
1
+ ( b
3 1
A
3
x
+ b
3 2
A
x
A
2
z
) s i n 3
1
( 7 )
+ ( b
3 3
A
3
x
+ b
3 4
A
x
A
2
z
+ b
3 5
A
x
A
2
z
) s i n
1
z ( ) =
( ; 1 )
n = 2
A
z
s i n
1
n = 0 2
( ; 1 )
( n ; 1 ) = 2
A
z
c o s
1
n = 1 3
+
( ; 1 )
n = 2
d
2 1
A
x
A
z
s i n 2
1
n = 0 2
( ; 1 )
( n ; 1 ) = 2
d
2 1
A
x
A
z
( c o s 2
1
; 3 ) n = 1 3
( 8 )
+
( ; 1 )
n = 2
( d
3 1
A
3
z
+ d
3 2
A
2
x
A
z
) s i n 3
1
n = 0 2
( ; 1 )
( n ; 1 ) = 2
( d
3 2
A
z
A
2
x
; d
3 1
A
3
z
) c o s 3
1
n = 1 3 :
T h e e x p r e s s i o n s f o r t h e c o e c i e n t s a r e g i v e n i n A p p e n d i x C .
1 1 N u m e r i c a l c o m p u t a t i o n o f h a l o o r b i t s
I n t h i s s e c t i o n w e d i s c u s s s o m e s t r a t e g i e s f o r t h e n u m e r i c a l c o m p u t a t i o n o f p e r i o d i c o r b i t s . T h e
m e t h o d w e w i l l d i s c u s s i s b a s i c a l l y a N e w t o n ' s m e t h o d s c h e m e , w i t h t h e i d e a t h a t R i c h a r d s o n ' s
a n a l y t i c a p p r o x i m a t i o n w i l l p r o v i d e c o n v e r g e n t i n i t i a l s e e d s f o r t h e m e t h o d . W e w i l l r s t e x a m i n e
t h e p r o b l e m o f c o m p u t i n g p e r i o d i c o r b i t s i n t h e 2 - d e g r e e s o f f r e e d o m C R T B P { t h a t i s , o r b i t s w h i c h
l i e i n t h e ( x y ) - c o o r d i n a t e p l a n e . T h e n w e w i l l l o o k a t o u t - o f - p l a n e o r b i t s . I n b o t h c a s e s w e w i l l
r e s t r i c t t h e d i s c u s s i o n t o n d i n g o r b i t s w h i c h h a v e a s y m m e t r y a c r o s s t h e x z - p l a n e .
S y m m e t r i c p e r i o d i c o r b i t s f o r t h e 2 - d e g r e e s o f f r e e d o m C R T B P
W e w o u l d l i k e t o n d a p e r i o d i c o r b i t w h i c h l i e s i n t h e x y - c o o r d i n a t e p l a n e a n d i s s y m m e t r i c a b o u t
t h e x - a x i s . T h e r e a r e f a m i l i e s o f s u c h o r b i t s s u r r o u n d i n g t h e c o l l i n e a r l i b r a t i o n p o i n t s . W e s h a l l
d e n e o n e o f t h e s e o r b i t s b y t h e l o c a t i o n o f i t s i n t e r s e c t i o n w i t h t h e x - a x i s a n d i t s v e l o c i t y . T h u s
i f a p o i n t i n p h a s e s p a c e i s g i v e n b y X = ( x y v
x
v
y
) , t h e n a p e r i o d i c o r b i t c a n b e s p e c i e d b y
( x 0 0 v
y
) . W e h a v e s e t y = 0 t o s p e c i f y t h e i n t e r s e c t i o n o f t h e o r b i t w i t h t h e x - a x i s , a n d w e s e t
v
x
= 0 i n o r d e r t o s a t i s f y t h e s y m m e t r y c o n d i t i o n .
S u p p o s e t h a t t h e o r b i t o n l y c r o s s e s t h e x - a x i s i n t w o p o i n t s . T h e n t h e s e c o n d p o i n t w i l l b e
h a l f w a y a r o u n d . W e c a n t h e n u s e t h e s y m m e t r y o f t h e p r o b l e m t o g e n e r a t e t h e e n t i r e o r b i t f r o m
t h e h a l f o f t h e o r b i t l y i n g t o o n e s i d e o f t h e x - a x i s .
L e t
_
X = f ( X ) b e t h e e q u a t i o n s o f m o t i o n . W e a r e o f c o u r s e h e r e o n l y i n t e r e s t e d i n t h e C R T B P ,
b u t t h e s e t e c h n i q u e s w i l l w o r k i n a g r e a t v a r i e t y o f p r o b l e m s . L e t ( X t ) b e t h e s o l u t i o n t o t h e
d i e r e n t i a l e q u a t i o n , w h i c h m e a n s t h a t ( X 0 ) = X a n d @ ( X t ) = @ t = f ( ( X t ) ) .
2 0
-
8/9/2019 ThurmanWorfolkGeometryHaloOrbits
23/46
L e t X = ( x 0 0 v
y
) b e a n i n i t i a l g u e s s f o r a p o i n t o n a s y m m e t r i c p l a n a r p e r i o d i c o r b i t o f t h e
C R T B P . F l o w t h e p o i n t u n d e r t h e v e c t o r e l d u n t i l y = 0 a g a i n a n d l e t T
1 = 2
b e t h e t i m e o f t h e o w .
T h u s ( X T
1 = 2
) = ( ~ x 0 ~v
x
~v
y
) . I f ~ v
x
= 0 t h e n t h e i n i t i a l g u e s s i s p a r t o f t h e p e r i o d i c o r b i t a n d w e
a r e d o n e i f n o t t h e n w e n e e d t o i m p r o v e t h e i n i t i a l g u e s s i n o r d e r t o a t t e m p t t o d r i v e ~ v
x
t o z e r o .
T h u s w e c o m p u t e
( X + X T
1 = 2
+ t ) = ( X T
1 = 2
) +
@ ( X T
1 = 2
)
@ X
X
+
@ ( X T
1 = 2
)
@ t
t + h . o . t . :
S i n c e w e w i s h t o r e s t r i c t o u r c h o i c e o f i n i t i a l c o n d i t i o n s , w e l e t X = ( x 0 0 v
y
) a n d s o l v e t h e
f o l l o w i n g e q u a t i o n s w h i c h c o m e f r o m t h e a p p r o x i m a t i o n f o u n d b y d r o p p i n g t h e h i g h e r o r d e r t e r m s
i n t h e a b o v e e q u a t i o n :
@
@ X
0
B
B
@
x
0
0
v
y
1
C
C
A
+ f ( ( X T
1 = 2
) ) t =
0
B
B
@
0
;~v
x
1
C
C
A
:
W e u s e ' ' i n t h e a b o v e e q u a t i o n t o i n d i c a t e q u a n t i t i e s w h o s e v a l u e s d o n o t c o n c e r n u s . S o w e e n d
u p w i t h e x a c t l y t w o e q u a t i o n s a n d t h r e e u n k n o w n s . T h i s i s e x p e c t e d s i n c e w e w i l l n d a f a m i l y
o f p e r i o d i c s o l u t i o n s w h i c h c a n b e p a r a m e t e r i z e d b y , f o r e x a m p l e , t h e i n t e r s e c t i o n w i t h t h e x - a x i s .
F i x i n g t h i s q u a n t i t y , w e m u s t t a k e x = 0 a n d t h e n c a n s o l v e f o r v
y
a n d t . T h i s w i l l g i v e u s a
n e w g u e s s f o r t h e i n i t i a l v e l o c i t y v
y
+ v
y
a n d a n e s t i m a t e o f T
1 = 2
+ t f o r t h e r e t u r n t i m e . T h e
w h o l e p r o c e s s m a y b e r e p e a t e d .
W e h a v e n o t y e t d i s c u s s e d t h e q u a n t i t y
@
@ X
. S i n c e w e d o n o t h a v e a n e x p l i c i t f o r m u l a f o r
( X t ) , w e c a n n o t c o m p u t e t h i s m a t r i x o f f u n c t i o n s e x p l i c i t l y . I n t h e n e x t s e c t i o n w e d i s c u s s t h i s
q u a n t i t y , w h i c h i s k n o w n a s t h e f u n d a m e n t a l s o l u t i o n m a t r i x .
T h e f u n d a m e n t a l s o l u t i o n m a t r i x
L e t ( X t ) s o l v e t h e n - d i m e n s i o n a l d i e r e n t i a l e q u a t i o n
_
X = f ( X ) , s o ( X 0 ) = X a n d @ ( X t ) = @ t =
f ( ( X t ) ) . I f w e w i s h t o s e e h o w a s m a l l c h a n g e i n i n i t i a l c o n d i t i o n X w i l l a e c t t h e s o l u t i o n a f t e r
t i m e t , t h e n t o a p p r o x i m a t e t h i s t o r s t o r d e r w e m u s t c o m p u t e
@
@ X
. T h i s m a t r i x o f f u n c t i o n s i s a
p a r t i c u l a r f u n d a m e n t a l s o l u t i o n m a t r i x . T h e r o l e o f t h i s m a t r i x s h o u l d b e c l e a r f r o m t h e f o l l o w i n g
c a l c u l a t i o n :
( X + X t + t ) = ( X t ) +
@ ( X t )
@ X
X +
@ ( X t )
@ t
t
+ h . o . t .
S i n c e ( X 0 ) = X , w e c o m p u t e
@ ( X 0 )
@ X
= 1 :
2 1
-
8/9/2019 ThurmanWorfolkGeometryHaloOrbits
24/46
T h u s f o r t = 0 t h e m a t r i x i s t h e i d e n t i t y m a t r i x . W e c a n t h e n s e e h o w t h e m a t r i x e v o l v e s i n t i m e
b y c o m p u t i n g
@
@ t
@
@ X
=
@
@ X
@
@ t
=
@
@ X
f ( ) =
@ f
@ X
j
X =
@
@ X
:
T h u s w e h a v e a l i n e a r , n o n a u t o n o m o u s d i e r e n t i a l e q u a t i o n i n n
2
d i m e n s i o n s w h i c h d e s c r i b e s t h e e v o -
l u t i o n o f a f u n d a m e n t a l s o l u t i o n m a t r i x . T h e s e a r e s o m e t i m e s c a l l e d t h e r s t v a r i a t i o n a l e q u a t i o n s .
W e c a n s e t u p a s y s t e m t o s i m u l t a n e o u s l y c o m p u t e t h e s o l u t i o n a n d t h e f u n d a m e n t a l s o l u t i o n
m a t r i x
@
@ X
, b y a u g m e n t i n g t h e i n i t i a l n d i m e n s i o n a l v e c t o r e l d b y n
2
d i m e n s i o n s . L e t t i n g M
d e n o t e t h e f u n d a m e n t a l s o l u t i o n m a t r i x , t h e r e s u l t i n g n
2
+ n d i m e n s i o n a l i n i t i a l v a l u e p r o b l e m t h a t
w e s o l v e i s :
_
X = f ( X )
_
M =
@ f
@ X
M
w i t h i n i t i a l c o n d i t i o n s
X ( 0 ) = X
0
M ( 0 ) = 1 :
W h e n t h e s o l u t i o n i s a p e r i o d i c o r b i t a n d t h i s f u n d a m e n t a l s o l u t i o n m a t r i x i s c o m p u t e d a t a t i m e
e q u a l t o o n e p e r i o d , t h e n t h e r e s u l t i n g m a t r i x i s c a l l e d t h e m o n o d r o m y m a t r i x . T h e e i g e n v a l u e s o f
t h i s m a t r i x d e t e r m i n e t h e s t a b i l i t y o f t h e p e r i o d i c o r b i t .
H a l o o r b i t s - s y m m e t r i c p e r i o d i c o r b i t s f o r t h e 3 - d e g r e e s o f f r e e d o m C R T B P
I n t h i s s e c t i o n w e e x t e n d t h e p r e v i o u s d i s c u s s i o n r e g a r d i n g t h e c o m p u t a t i o n o f p e r i o d i c o r b i t s t o
t h e f u l l 3 d e g r e e s o f f r e e d o m p r o b l e m . T h i s i s n e a r l y i d e n t i c a l t o t h e p r e v i o u s d i s c u s s i o n , e x c e p t
t h a t t h e d i m e n s i o n s a r e i n c r e a s e d . T h e s e o r b i t s s u r r o u n d i n g t h e l i b r a t i o n p o i n t s L
1
, L
2
, a n d L
3
a r e
c a l l e d h a l o o r b i t s .
L e t X = ( x y z v
x
v
y
v
z
) . A n i n i t i a l g u e s s i s n o w l o c a t e d o n t h e ( x z ) - p l a n e w i t h a c o m p o n e n t
o f v e l o c i t y o n l y i n t h e y d i r e c t i o n . L e t X = ( x 0 z 0 v
y
0 ) b e a n i n i t i a l g u e s s . I f T
1 = 2
i s t h e t i m e
o f r s t r e t u r n t o t h e ( x z ) - p l a n e , t h e n w e c o m p u t e ( X T
1 = 2
) = ( ~ x 0 ~z ~v
x
~v
y
~v
z
) : W e a r e l o o k i n g
f o r i n i t i a l c o n d i t i o n s t h a t g i v e u s ~ v
x
= ~v
z
= 0 i n o r d e r t o g i v e u s t h e r s t h a l f o f a p e r i o d i c o r b i t .
A d j u s t i n g t h e i n i t i a l c o n d i t i o n a n d o w t i m e w e g e t :
( X + X T
1 = 2
+ t ) = ( X T
1 = 2
) +
@ ( X T
1 = 2
)
@ X
X
+
@ ( X T
1 = 2
)
@ T
t + h . o . t . :
2 2
-
8/9/2019 ThurmanWorfolkGeometryHaloOrbits
25/46
-
8/9/2019 ThurmanWorfolkGeometryHaloOrbits
26/46
L e m m a 1 . I f X ( t ) i s a s o l u t i o n t o
_
X = f ( X ) , a n d ; S f = f S , t h e n S X ( ; t ) i s a l s o a s o l u t i o n .
W e v e r i e d e a r l i e r t h a t t h e C R T B P i n r o t a t i n g c o o r d i n a t e s h a s t h i s s y m m e t r y . W e n o w s h o w
t h a t t h e v a r i a t i o n a l e q u a t i o n s a l s o h a v e t h i s s y m m e t r y .
L e m m a 2 . A s s u m e t h a t ; S f = f S . L e t F ( X ) = @ f = @ X a n d l e t
_
M = F ( X ) M , t h e n ; S F ( X ) =
F ( S X ) S .
T h u s , w e h a v e
L e m m a 3 . I f ( X ( t ) M ( t ) ) i s a s o l u t i o n t o
_
X = f ( X )
_
M = F ( X ) M
t h e n s o i s ( S X ( ; t ) S M ( ; t ) ) .
N o w s u p p o s e t h a t X ( 0 ) i s p a r t o f a p e r i o d i c o r b i t w i t h p e r i o d 2 T t h a t i s s y m m e t r i c , i . e . , X ( t )
a n d S X ( ; t ) a r e t h e s a m e o r b i t s . F u r t h e r , a s s u m e t h a t X ( 0 ) = S X ( 0 ) , a p o i n t o f s y m m e t r y . N o w
l e t M ( t X ( t
0
) M ( t
0
) t
0
) d e n o t e t h e s o l u t i o n t o t h e v a r i a t i o n a l e q u a t i o n s f o r t h e p e r i o d i c o r b i t X ( t ) .
T h e m o n o d r o m y m a t r i x i s g i v e n b y M ( 2 T X ( 0 ) 1 0 ) . W e w i s h t o u s e t h e s y m m e t r y o f t h e p e r i o d i c
o r b i t i n o r d e r t o w r i t e t h e m o n o d r o m y m a t r i x i n t e r m s o f t h e s o l u t i o n f o r o n l y h a l f w a y a r o u n d t h e
o r b i t , M ( T X ( 0 ) 1 0 ) . W e w i l l p r o v e t h e f o l l o w i n g
T h e o r e m 4 . 6 ]
M ( 2 T X ( 0 ) 1 0 ) = S
0 1
; 1 2 K
M ( T X ( 0 ) 1 0 )
2 K ; 1
1 0
S M ( T X ( 0 ) 1 0 )
w h e r e t h e
r e p r e s e n t s m a t r i x t r a n s p o s e .
P r o o f . W e s t a r t b y n o t i n g t h a t
M ( 2 T X ( 0 ) 1 0 ) = M ( 2 T X ( t ) 1 T ) M ( T X ( 0 ) 1 0 ) :
N e x t w e u s e t h e s y m m e t r y t o w r i t e
M ( 2 T X ( T ) 1 T ) = M ( 0 X ( ; T ) 1 ; T ) :
S i n c e ( X ( t X ( T ) T ) M ( t X ( T ) 1 T ) i s a s o l u t i o n , t h e n w e c a n a p p l y o u r s y m m e t r y t o g e t a
s o l u t i o n ( S X ( ; t X ( ; T ) ; T ) S M ( ; t X ( ; T ) 1 ; T ) ) . A t t i m e T , t h i s n e w s o l u t i o n t a k e s o n t h e
v a l u e s ( S X ( ; T ) S ) . T h u s b y u n i q u e n e s s o f s o l u t i o n s w e h a v e t h e e q u a l i t i e s :
S X ( ; t X ( ; T ) ; T ) = X ( t S X ( ; T ) T )
S M ( ; t X ( ; T ) 1 ; T ) = M ( t S X ( ; T ) S T ) :
E v a l u a t i n g a t t = 0 a n d u s i n g t h e p e r i o d i c i t y a n d s y m m e t r y o f X ( t ) w e g e t
S M ( 0 X ( ; T ) 1 ; T ) = M ( 0 X ( T ) 1 T ) S :
2 4
-
8/9/2019 ThurmanWorfolkGeometryHaloOrbits
27/46
S o n o w w e h a v e
M ( 2 T X ( 0 ) 1 0 ) = S M ( 0 X ( T ) 1 T ) S M ( T X ( 0 ) 1 0 ) :
W e a r e i n p r i n c i p l e d o n e w i t h e x p r e s s i n g t h e m o n o d r o m y m a t r i x i n t e r m s o f t h e f u n d a m e n t a l s o l u t i o n
m a t r i x e v a l u a t e d a t t i m e T s i n c e M ( 0 X ( T ) 1 T ) = M ( T X ( 0 ) 1 0 )
; 1
. B u t w e c a n d o a l i t t l e
b e t t e r t h a n t h i s , s i n c e M ( T X ( 0 ) 1 0 )
; 1
m a y b e w r i t t e n i n t e r m s o f M ( T X ( 0 ) 1 0 )
. T h i s i s d o n e
b y r e c a l l i n g t h a t t h e f u n