Pulse-timing study of Vela X-1 based on Hakucho and Tenma data - 1980-1984

The extensive observations of Vela X-1 acquired from 1980 to 1984 with the Hakucho and Tenma satellites, using a pulse-filtering technique that provides a significant improvement in pulse-timing precision, are reexamined. The details of the preparation of this data base, including the determination of updated orbital parameters based on these and previously published observations covering a 10-yr interval, are reported. Preparatory to estimation of angular-acceleration flux-correlation pairs, substantially improved estimates of the power density of fluctuations in the derivative of the pulse frequency on analysis periods between 0.5 and 80 days are presented. These results support the phenomenological hypothesis that unresolved fluctuations in the angular acceleration of the neutron star, describable as random noise, are responsible for the entire history of the observed variation in pulse frequency of Vela X-1 on all time scales longer than a few days.