Simultaneous transit in a resonant chain

ID: simultaneous-transit-in-a-resonant-chain

In leading mean-conjunction geometry a common observer phase for two resonant arguments requires and modulo . With , the exact modular criterion is
Necessity follows by subtracting the two congruences after multiplication; sufficiency follows from the integer linear combinations of and , whose set is . For exterior centres and interior centres at orders one to three, only satisfies it. This is phase compatibility, not a guarantee of an observed exoplanet transit: timing, observer orientation, resonant-argument libration widths and true-versus-mean longitude must also be considered.

New to topics? Read the docs here!