A mathematical model for the atomic clock error

A mathematical model for the clock phase and frequency deviation based on the theory of stochastic differential equations (SDEs) is discussed. In particular, we consider a model that includes what are called the 'white and random walk frequency noises' in time metrology, which give rise in a mathematical context to a Wiener and an integrated Wiener process on the clock phase. Due to the particular simple expression of the functions involved an exact solution exists, and we determine it by considering the model in a wider theoretical context, which is suitable for generalizations to more complex instances. Moreover, we determine an iterative form for the solution, useful for simulation and further processing of clock data, such as filtering and prediction. The Euler method, generally applied in literature to approximate the solution of SDEs, is examined and compared to the exact solution, and the magnitude of the approximation is evaluated. The possible extension of the model to other noise sources, such as the flicker and white phase noises, is also sketched.