Krylov–Bogoliubov averaging method


The Krylov–Bogolyubov averaging method is a mathematical method for approximate analysis of oscillating processes in non-linear mechanics. The method is based on the averaging principle when the exact differential equation of the motion is replaced by its averaged version. The method is named after Nikolay Krylov and Nikolay Bogoliubov.
Various averaging schemes for studying problems of celestial mechanics were used since works of Gauss, Fatou, Delone, Hill. The importance of the contribution of Krylov and Bogoliubov is that they developed a general averaging approach and proved that the solution of the averaged system approximates the exact dynamics.

Background

Krylov–Bogoliubov averaging can be used to approximate oscillatory problems when a classical perturbation expansion fails. That is singular perturbation problems of oscillatory type, for example Einstein's correction to the perihelion precession of Mercury.

Derivation

The method deals with differential equations in the form
for a smooth function f along with appropriate initial conditions. The parameter ε is assumed to satisfy
If ε = 0 then the equation becomes that of the simple harmonic oscillator with constant forcing, and the general solution is
where A and B are chosen to match the initial conditions. The solution to the perturbed equation is assumed to take the same
form, but now A and B are allowed to vary with t. If it is also assumed that
then it can be shown that A and B satisfy the differential equation:
where. Note that this equation is still exact — no approximation has been made as yet. The method of Krylov and Bogolyubov is to note that the functions A and B vary slowly
with time, so their dependence on can be removed by averaging on the right hand side of the previous equation:
where and are held fixed during the integration. After solving this simpler set of differential equations, the Krylov–Bogolyubov averaged approximation for the original function is then given by
This approximation has been shown to satisfy
where t satisfies
for some constants and, independent of ε.