Variation of parameters
In mathematics, variation of parameters, also known as variation of constants, is a general method to solve inhomogeneous linear ordinary differential equations.
For firstorder inhomogeneous linear differential equations it is usually possible to find solutions via integrating factors or undetermined coefficients with considerably less effort, although those methods leverage heuristics that involve guessing and don't work for all inhomogeneous linear differential equations.
Variation of parameters extends to linear partial differential equations as well, specifically to inhomogeneous problems for linear evolution equations like the heat equation, wave equation, and vibrating plate equation. In this setting, the method is more often known as Duhamel's principle, named after JeanMarie Duhamel(17971872) who first applied the method to solve the inhomogeneous heat equation. Sometimes variation of parameters itself is called Duhamel's principle and vice versa.
Contents
History
The method of variation of parameters was introduced by the Swissborn mathematician Leonhard Euler (1707–1783) and completed by the ItalianFrench mathematician JosephLouis Lagrange (1736–1813).^{[1]} A forerunner of the method of variation of a celestial body's orbital elements appeared in Euler's work in 1748, while he was studying the mutual perturbations of Jupiter and Saturn.^{[2]} In his 1749 study of the motions of the earth, Euler obtained differential equations for the orbital elements;^{[3]} and in 1753 he applied the method to his study of the motions of the moon.^{[4]} Lagrange first used the method in 1766.^{[5]} Between 1778 and 1783, Lagrange further developed the method both in a series of memoirs on variations in the motions of the planets^{[6]} and in another series of memoirs on determining the orbit of a comet from three observations.^{[7]} (It should be noted that Euler and Lagrange applied this method to nonlinear differential equations and that, instead of varying the coefficients of linear combinations of solutions to homogeneous equations, they varied the constants of the unperturbed motions of the celestial bodies.^{[8]}) During 18081810, Lagrange gave the method of variation of parameters its final form in a series of papers.^{[9]} The central result of his study was the system of planetary equations in the form of Lagrange, which described the evolution of the Keplerian parameters (orbital elements) of a perturbed orbit.
In his description of evolving orbits, Lagrange set a reduced twobody problem as an unperturbed solution, and presumed that all perturbations come from the gravitational pull which the bodies other than the primary exert at the secondary (orbiting) body. Accordingly, his method implied that the perturbations depend solely on the position of the secondary, but not on its velocity. In the 20th century, celestial mechanics began to consider interactions which depend on both positions and velocities (relativistic corrections, atmospheric drag, inertial forces). Therefore, the method of variation of parameters used by Lagrange was extended to the situation with velocitydependent forces.^{[10]}
Description of method
Given an ordinary nonhomogeneous linear differential equation of order n
Let be a fundamental system of solutions of the corresponding homogeneous equation
Then a particular solution to the nonhomogeneous equation is given by
where the are differentiable functions which are assumed to satisfy the conditions
Starting with (iii), repeated differentiation combined with repeated use of (iv) gives
One last differentiation gives
By substituting (iii) into (i) and applying (v) and (vi) it follows that
The linear system (iv and vii) of n equations can then be solved using Cramer's rule yielding
where is the Wronskian determinant of the fundamental system and is the Wronskian determinant of the fundamental system with the ith column replaced by
The particular solution to the nonhomogeneous equation can then be written as
Examples
First order equation
The general solution of the corresponding homogeneous equation (written below) is the complementary solution to our original (inhomogeneous) equation:
 .
This homogeneous differential equation can be solved by different methods, for example separation of variables:
The complementary solution to our original equation is therefore:
Now we return to solving the nonhomogeneous equation:
Using the method variation of parameters, the particular solution is formed by multiplying the complementary solution by an unknown function C(x):
By substituting the particular solution into the nonhomogeneous equation, we can find C(x):
We only need a single particular solution, so we arbitrarily select for simplicity. Therefore the particular solution is:
The final solution of the differential equation is:
Specific second order equation
Let us solve
We want to find the general solution to the differential equation, that is, we want to find solutions to the homogeneous differential equation
The characteristic equation is:
Since is a repeated root, we have to introduce a factor of x for one solution to ensure linear independence: u_{1} = e^{−2x} and u_{2} = xe^{−2x}. The Wronskian of these two functions is
Because the Wronskian is nonzero, the two functions are linearly independent, so this is in fact the general solution for the homogeneous differential equation (and not a mere subset of it).
We seek functions A(x) and B(x) so A(x)u_{1} + B(x)u_{2} is a general solution of the nonhomogeneous equation. We need only calculate the integrals
Recall that for this example
That is,
where and are constants of integration.
General second order equation
We have a differential equation of the form
and we define the linear operator
where D represents the differential operator. We therefore have to solve the equation for , where and are known.
We must solve first the corresponding homogeneous equation:
by the technique of our choice. Once we've obtained two linearly independent solutions to this homogeneous differential equation (because this ODE is secondorder) — call them u_{1} and u_{2} — we can proceed with variation of parameters.
Now, we seek the general solution to the differential equation which we assume to be of the form
Here, and are unknown and and are the solutions to the homogeneous equation. (Observe that if and are constants, then .) Since the above is only one equation and we have two unknown functions, it is reasonable to impose a second condition. We choose the following:
Now,
Differentiating again (omitting intermediary steps)
Now we can write the action of L upon u_{G} as
Since u_{1} and u_{2} are solutions, then
We have the system of equations
Expanding,
So the above system determines precisely the conditions
We seek A(x) and B(x) from these conditions, so, given
we can solve for (A′(x), B′(x))^{T}, so
where W denotes the Wronskian of u_{1} and u_{2}. (We know that W is nonzero, from the assumption that u_{1} and u_{2} are linearly independent.) So,
While homogeneous equations are relatively easy to solve, this method allows the calculation of the coefficients of the general solution of the inhomogeneous equation, and thus the complete general solution of the inhomogeneous equation can be determined.
Note that and are each determined only up to an arbitrary additive constant (the constant of integration). Adding a constant to or does not change the value of because the extra term is just a linear combination of u_{1} and u_{2}, which is a solution of by definition.
References

^ See:
 Forest Ray Moulton, An Introduction to Celestial Mechanics, 2nd ed. (first published by the Macmillan Company in 1914; reprinted in 1970 by Dover Publications, Inc., Mineola, New York), page 431.
 Edgar Odell Lovett (1899) "The theory of perturbations and Lie's theory of contact transformations," The Quarterly Journal of Pure and Applied Mathematics, vol. 30, pages 47149; see especially pages 4861.
 ^ Euler, L. (1748) "Recherches sur la question des inégalités du mouvement de Saturne et de Jupiter, sujet proposé pour le prix de l'année 1748, par l’Académie Royale des Sciences de Paris" [Investigations on the question of the differences in the movement of Saturn and Jupiter; this subject proposed for the prize of 1748 by the Royal Academy of Sciences (Paris)] (Paris, France: G. Martin, J.B. Coignard, & H.L. Guerin, 1749).
 ^ Euler, L. (1749) "Recherches sur la précession des équinoxes, et sur la nutation de l’axe de la terre," Histoire [or Mémoires ] de l'Académie Royale des Sciences et Belleslettres (Berlin), pages 289325 [published in 1751].
 ^ Euler, L. (1753) Theoria motus lunae: exhibens omnes ejus inaequalitates ... [The theory of the motion of the moon: demonstrating all of its inequalities ... ] (Saint Petersburg, Russia: Academia Imperialis Scientiarum Petropolitanae [Imperial Academy of Science (St. Petersburg)], 1753).
 ^ Lagrange, J.L. (1766) “Solution de différens problèmes du calcul integral,” Mélanges de philosophie et de mathématique de la Société royale de Turin, vol. 3, pages 179380.

^ See:
 Lagrange, J.L. (1781) "Théorie des variations séculaires des élémens des Planetes. Premiere partie, ... ," Nouveaux Mémoires de l'Académie Royale des Sciences et Belleslettres (Berlin), pages 199276.
 Lagrange, J.L. (1782) "Théorie des variations séculaires des élémens des Planetes. Seconde partie, ... ," Nouveaux Mémoires de l'Académie Royale des Sciences et Belleslettres (Berlin), pages 169292.
 Lagrange, J.L. (1783) "Théorie des variations périodiques des mouvemens des Planetes. Premiere partie, ... ," Nouveaux Mémoires de l'Académie Royale des Sciences et Belleslettres (Berlin), pages 161190.

^ See:
 Lagrange, J.L. (1778) "Sur le probleme de la détermination des orbites des cometes d'après trois observations, premier mémoire" (On the problem of determining the orbits of comets from three observations, first memoir), Nouveaux Mémoires de l'Académie Royale des Sciences et Belleslettres (Berlin), pages 111123 [published in 1780].
 Lagrange, J.L. (1778) "Sur le probleme de la détermination des orbites des cometes d'après trois observations, second mémoire", Nouveaux Mémoires de l'Académie Royale des Sciences et Belleslettres (Berlin), pages 124161 [published in 1780].
 Lagrange, J.L. (1783) "Sur le probleme de la détermination des orbites des cometes d'après trois observations. Troisième mémoire, dans lequel on donne une solution directe et générale du problème.", Nouveaux Mémoires de l'Académie Royale des Sciences et Belleslettres (Berlin), pages 296332 [published in 1785].
 ^ Michael Efroimsky (2002) "Implicit gauge symmetry emerging in the Nbody problem of celestial mechanics," page 3.

^ See:
 Lagrange, J.L. (1808) “Sur la théorie des variations des éléments des planètes et en particulier des variations des grands axes de leurs orbites,” Mémoires de la première Classe de l’Institut de France. Reprinted in: JosephLouis Lagrange with JosephAlfred Serret, ed., Oeuvres de Lagrange (Paris, France: GauthierVillars, 1873), vol. 6, pages 713768.
 Lagrange, J.L. (1809) “Sur la théorie générale de la variation des constantes arbitraires dans tous les problèmes de la méchanique,” Mémoires de la première Classe de l’Institut de France. Reprinted in: JosephLouis Lagrange with JosephAlfred Serret, ed., Oeuvres de Lagrange (Paris, France: GauthierVillars, 1873), vol. 6, pages 771805.
 Lagrange, J.L. (1810) “Second mémoire sur la théorie générale de la variation des constantes arbitraires dans tous les problèmes de la méchanique, ... ,” Mémoires de la première Classe de l’Institut de France. Reprinted in: JosephLouis Lagrange with JosephAlfred Serret, ed., Oeuvres de Lagrange (Paris, France: GauthierVillars, 1873), vol. 6, pages 809816.

^ See:
 Michael Efroimsky (2005) "Gauge Freedom in Orbital Mechanics." ANYAS, Vol. 1065, pp. 346–374 (2005)
 Michael Efroimsky and Peter Goldreich (2004) "Gauge symmetry of the Nbody problem of Celestial Mechanics." Astronomy and Astrophysics, Vol. 415, pp. 1187–1199. (2004)
 Michael Efroimsky and Peter Goldreich (2003) "Gauge symmetry of the Nbody problem in the HamiltonJacobi approach." Journal of Mathematical Physics, Vol. 44, pp. 5958–5977. (2003)
 Coddington, Earl A.; Levinson, Norman (1955). Theory of Ordinary Differential Equations. New York: McGrawHill.
 Boyce, W. E.; DiPrima, R. C. (1965). Elementary Differential Equations and Boundary Value Problems 8th Edition. Wiley Interscience., pages 186192, 237241
 Teschl, Gerald. Ordinary Differential Equations and Dynamical Systems. Providence: American Mathematical Society.
External links
 Online Notes / Proof by Paul Dawkins, Lamar University.
 PlanetMath page.
 A NOTE ON LAGRANGE’S METHOD OF VARIATION OF PARAMETERS