Halo orbits — linearized motion near Lagrange points: Question bank

3.2.31 · D5 · Physics › Orbital Mechanics & Astrodynamics › Halo orbits — linearized motion near Lagrange points

Quick symbol reminder taaki yahan kuch bhi unearned na lage:

$(ξ, η, ζ)$ = Lagrange point se chhota displacement, $x$ (Sun–planet line), $y$ (in-plane sideways), aur $z$ (out-of-plane) directions mein.
$c = \frac{1 - μ}{r _{1}^{3}} + \frac{μ}{r _{2}^{3}} > 1$ collinear point par — ek positive number jo batata hai ki leftover gravity gradient kitna strong hai.
$λ$ = growth/oscillation rate jo $e^{λ t}$ try karne par milta hai; $Λ = λ^{2}$ .
$ω_{x y} = - Λ_{2}$ = planar oscillation frequency; $ω_{z} = c$ = out-of-plane oscillation frequency.

True or false — justify

L_{1}

ke paas linear system mein sirf oscillatory solutions hote hain

False — in-plane quartic ek positive

Λ

deta hai, isliye ek real

\pm γ

pair exist karta hai; wo saddle direction oscillations ke saath-saath exponentially grow/decay karta hai.

Unstable-mode amplitude ko zero set karna ek physical choice hai, mathematical trick nahi

Basically True — iska matlab hai tum exactly center manifold par launch karte ho bina

+ γ

eigenvector ke koi component liye, isliye kuch bhi grow nahi hota; physically isme infinite precision chahiye, yahi wajah hai ki real missions ko phir bhi station-keeping chahiye.

Out-of-plane motion

\ddot{ζ} = - c ζ

genuine simple harmonic motion hai

True — iska exact form

\ddot{ζ} = - ω^{2} ζ

hai jahan

ω^{2} = c > 0

, yahi Simple Harmonic Motion ki defining equation hai, isliye

ζ

sinusoidally bob karta hai

ω_{z} = c

par.

Pure linear theory mein ek halo orbit ek closed 3-D loop hoti hai

False — generally

ω_{x y} \neq = ω_{z}

, isliye in-plane wobble aur out-of-plane bob kabhi ek period share nahi karte aur path ek non-closing Lissajous hota hai; true halos ko

ω_{x y} = ω_{z}

force karne ke liye nonlinear frequency corrections chahiye.

Coriolis terms

- 2 \overset{η}{˙}

+ 2 \dot{ξ}

effective potential

Ω

se aate hain

False —

Ω

sirf

\nablaΩ

forces produce karta hai (gravity + centrifugal); Coriolis terms velocity-dependent hain aur alag se appear hote hain kyunki hum ek rotating frame mein baithe hain.

Kyunki

L_{1}

aur

L_{2}

oscillating spacecraft host karte hain, ye stable equilibria hain

False — oscillation center manifold par rehta hai, lekin co-existing real eigenvalue

+ γ

unhe saddle-unstable banata hai; us direction mein koi bhi tiny error

e^{γ t}

ki tarah blow up karta hai.

Cross-derivatives

Ω_{x y}, Ω_{x z}, Ω_{y z}

har Lagrange point par vanish hote hain

False — ye sirf collinear points

L_{1}, L_{2}, L_{3}

par on-axis symmetry ki wajah se vanish karte hain; triangular

L_{4}, L_{5}

points par

Ω_{x y} \neq = 0

hota hai aur analysis alag hoti hai.

Bada

c

matlab zyada strongly unstable collinear point

True —

Λ_{1}

(positive root, hence

γ

)

c

ke saath grow karta hai, isliye bada gravity-gradient number matlab faster exponential escape aur mushkil station-keeping.

Spot the error

"Kyunki

Ω

mein maximum-like curvature hai, point ek potential well hai aur objects usme girte hain."

Curvatures ke signs mixed hain:

U_{xx} = 1 + 2 c > 0

lekin

U_{z z} = - c < 0

, isliye ye effective potential ka ek saddle hai, well nahi — kuch axes ke saath tum girte ho aur kuch ke saath bahar niklo.

ω_{x y} = Λ_{2}

kyunki

Λ_{2}

oscillation root hai."

Sign galat hai —

Λ_{2} < 0

hai, isliye

Λ_{2}

imaginary hai; real frequency

ω_{x y} = - Λ_{2}

hai, negative root ka magnitude lete hain.

"Hum Taylor expansion ke constant term ko rakh ke

\nablaΩ

ko linearize karte hain."

Constant term

\nablaΩ

hai jo point par evaluate hota hai, jo equilibrium ki definition se zero hota hai; linearization first-derivative (linear-in-displacement) term ko rakhti hai.

"Characteristic equation

λ

mein quadratic hai, do roots deta hai."

λ

mein quartic hai (degree 4); ye quadratic tabhi banta hai jab

Λ = λ^{2}

substitute karo, aur har

Λ

phir bhi do

λ

values deta hai, isliye total char roots hote hain.

"Kyunki dono primaries andar kheenchte hain,

L_{1}

ke paas leftover force purely restoring hai."

Gravity aur centrifugal almost cancel karte hain, aur leftover kuch directions mein restoring hai lekin kuch mein repelling — yahi anti-spring behaviour

+ γ

instability hai.

"Amplitude ratio

κ

in-plane path ko circle banata hai."

κ \approx 2.9

matlab

η

amplitude

ξ

amplitude ka ~2.9× hai, isliye planar path ek ellipse hai jo $y$ ke along elongated hai, circle nahi.

"Halo orbits sirf

\ddot{ζ} = - c ζ

solve karke milti hain."

Wo equation sirf out-of-plane bob fix karti hai; halo ke liye in-plane

(ξ, η)

motion aur nonlinear closing condition

ω_{x y} = ω_{z}

bhi chahiye —

ζ

equation ek ingredient hai, pura recipe nahi.

Why questions

ζ

equation

ξ, η

equations se kyun decouple hoti hai?

Collinear point par cross-derivatives

Ω_{x z} = Ω_{y z} = 0

hote hain, isliye in-plane equations mein

z

kabhi appear nahi karta aur vice versa; yahi clean split out-of-plane frequency ko independently readable banata hai.

Hum full CR3BP solve karne ki jagah linearize kyun karte hain?

Full Circular Restricted Three-Body Problem nonlinear hai jisme koi closed-form solution nahi; equilibrium ke paas displacement chhota hota hai, isliye linear term dominate karta hai aur exact exponentials aur sinusoids deta hai jo hum directly read kar sakte hain.

In-plane roots

Λ_{1}, Λ_{2}

ke opposite signs collinear point par kyun hone chahiye?

Unka product

(1 + 2 c) (1 - c)

ke barabar hai, jo

c > 1

hone par negative hota hai; negative product ek positive aur ek negative root force karta hai, saddle-plus-oscillation structure guarantee karta hai.

Linear theory Lissajous kyun deta hai, halos kyun nahi?

Linear theory

ω_{x y}

aur

ω_{z}

ko independent numbers ke roop mein fix karta hai jo generally unequal hote hain, isliye do motions kabhi re-sync nahi hote; sirf nonlinear amplitude-dependent frequency shifts unhe us 1:1 resonance mein la sakte hain jo loop close karta hai.

Collinear-point missions ko active Station-keeping and Orbit Maintenance kyun chahiye?

Real eigenvalue

+ γ

unstable direction ke saath kisi bhi residual error ko exponentially amplify karta hai, isliye bina periodic corrections ke spacecraft center manifold se drift karke escape kar jaata hai.

ω_{z} = c

kyun hai, kuch explicit

μ

aur

r

involving nahi?

Kyunki

c

gravitational geometry ko already package karta hai (

c = \frac{1 - μ}{r _{1}^{3}} + \frac{μ}{r _{2}^{3}}

); out-of-plane restoring coefficient

U_{z z} = - c

automatically

ω_{z}^{2} = c

banata hai.

Hum is pure topic ko spring–mass system se relate kyun kar sakte hain?

Har decoupled ya diagonalized direction

\overset{q}{¨} = k q

tak reduce hoti hai; jahan

k < 0

hai wo restoring spring hai (oscillation) aur jahan

k > 0

hai wo anti-spring hai (exponential runaway), linearized dynamics ke do building blocks.

Edge cases

Analysis ka kya hoga agar

c = 1

exactly ho?

Tab

(1 - c) = 0

hoga, product

(1 + 2 c) (1 - c) = 0

hoga, isliye ek root

Λ

zero ho jaata hai — ek degenerate borderline case jahan oscillation frequency vanish hoti hai aur clean saddle-center split toot jaata hai.

Agar tum unstable eigenvector ke along ek component ke saath start karo, chahe kitna bhi tiny ho?

e^{γ t}

ki tarah grow karta hai aur eventually dominate karta hai, spacecraft ko unstable manifold ke along le jaata hai (Invariant Manifolds and Low-Energy Transfers ke liye launch pad); bina correction ke kuch bhi bounded nahi rahta.

Har mode mein zero amplitude (

A_{x} = A_{z} = 0

) kya describe karta hai?

Spacecraft exactly Lagrange point par zero velocity ke saath baitha hai — trivial equilibrium solution; koi bhi nonzero mode amplitude hi use orbit mein turn karta hai.

A_{z} \to 0

lekin

A_{x} \neq = 0

hone par limiting shape kya hai?

Purely planar oscillation — elongated in-plane ellipse bina out-of-plane bob ke, ek planar Lyapunov orbit rather than 3-D halo.

Triangular points

L_{4}, L_{5}

par kya hota hai jahan cross-terms vanish nahi karte?

Neat diagonal

U_{xx}, U_{y y}, U_{z z}

form fail ho jaata hai, eigenvalue structure badal jaati hai, aur (chhote enough

μ

ke liye) wo points actually linearly stable ho sakte hain — collinear saddles ke bilkul opposite.

Agar discriminant

(2 - c)^{2} - 4 (1 + 2 c) (1 - c)

negative hota toh kya hota?

Tumhe complex

Λ

milte aur isliye complex-conjugate quartets of

λ

(spiralling growth); lekin collinear points par

c > 1

is discriminant ko positive rakhta hai, isliye ye case wahan arise nahi hota — ye jaanna zaroori hai ki geometry ise exclude karti hai.

Recall Jaane se pehle self-test

$L_{1}$ ke paas do eigenvalue types naam karo aur har ek physically kya matlab hai. ::: Ek real pair $\pm γ$ (unstable saddle, exponential escape/approach) aur ek imaginary pair $\pm i ω_{x y}$ (bounded planar oscillation) — plus decoupled out-of-plane $\pm i ω_{z}$ . Wo single condition batao jo Lissajous ko halo mein turn karti hai. ::: Frequency match $ω_{x y} = ω_{z}$ , jo sirf nonlinear amplitude-dependent corrections ke through achievable hai.