The binary mass function follows from Kepler's third law when the radial velocity of one binary component is introduced. Kepler's third law describes the motion of two bodies orbiting a common center of mass. It relates the orbital period with the distance between the two bodies, and the sum of their masses. For a given orbital separation, a higher total system mass implies higher orbital velocities. On the other hand, for a given system mass, a longer orbital period implies a larger separation and lower orbital velocities. Because the orbital period and orbital velocities in the binary system are related to the masses of the binary components, measuring these parameters provides some information about the masses of one or both components. But because the true orbital velocity cannot be determined generally, this information is limited. Radial velocity is the velocity component of orbital velocity in the line of sight of the observer. Unlike true orbital velocity, radial velocity can be determined from Doppler spectroscopy of spectral lines in the light of a star, or from variations in the arrival times of pulses from a radio pulsar. A binary system is called a single-lined spectroscopic binary if the radial motion of only one of the two binary components can be measured. In this case, a lower limit on the mass of the other component can be determined. The true mass and true orbital velocity cannot be determined from the radial velocity because the orbital inclination is generally unknown. This causes a degeneracy between mass and inclination. For example, if the measured radial velocity is low, this can mean that the true orbital velocity is low and the inclination high, or that the true velocity is high but the inclination low.
Derivation for a circular orbit
The peak radial velocity is the semi-amplitude of the radial velocity curve, as shown in the figure. The orbital period is found from the periodicity in the radial velocity curve. These are the two observable quantities needed to calculate the binary mass function. The observed object of which the radial velocity can be measured is taken to be object 1 in this article, its unseen companion is object 2. Let and be the stellar masses, with the total mass of the binary system, and the orbital velocities, and and the distances of the objects to the center of mass. is the semi-major axis of the binary system. We start out with Kepler's third law, with the orbital frequency and the gravitational constant, Using the definition of the center of mass location,, we can write Inserting this expression for into Kepler's third law, we find which can be rewritten to The peak radial velocity of object 1,, depends on the orbital inclination . For a circular orbit it is given by After substituting we obtain The binary mass function is For an estimated or assumed mass of the observed object 1, a minimum mass can be determined for the unseen object 2 by assuming. The true mass depends on the orbital inclination. The inclination is typically not known, but to some extent it can be determined from observed eclipses, be constrained from the non-observation of eclipses, or be modelled using ellipsoidal variations.
Limits
In the case of , the mass function simplifies to In the other extreme, when , the mass function becomes and since for, the mass function gives a lower limit on the mass of the unseen object 2. In general, for any or,
Eccentric orbit
In an orbit with eccentricity, the mass function is given by
s are planets orbiting pulsars, and several have been discovered using pulsar timing. The radial velocity variations of the pulsar follow from the varying intervals between the arrival times of the pulses. The first exoplanets were discovered this way in 1992 around the millisecond pulsarPSR 1257+12. Another example is PSR J1719-1438, a millisecond pulsar whose companion, PSR J1719-1438 b, has a minimum mass approximate equal to the mass of Jupiter, according to the mass function.