7.4 The Variational Equation 149
This is now an autonomous system of n +1 differential equations. While this
expansion of the system may seem trivial, we may now invoke the previous
result about continuous dependence of solutions on initial conditions to verify
that solutions of the original system depend continuously on a as well.
Theorem. (Continuous Dependence on Parameters) Let X
= F
a
(X)
be a system of differential equations for which F
a
is continuously differentiable
in both X and a. Then the flow of this system depends continuously on a as
well.
7.4 The Variational Equation
Consider an autonomous system X
= F(X ) where, as usual, F is assumed to
be C
1
. The flow φ(t , X ) of this system is a function of both t and X . From the
results of the previous section, we know that φ is continuous in the variable X .
We also know that φ is differentiable in the variable t , since t → φ(t , X ) is just
the solution curve through X. In fact, φ is also differentiable in the variable X,
for we shall prove in Chapter 17:
Theorem. (Smoothness of Flows). Consider the system X
= F(X) where
FisC
1
. Then the flow φ(t , X) of this system is a C
1
function; that is, ∂φ/∂t and
∂φ/∂X exist and are continuous in t and X.
Note that we can compute ∂φ/∂t for any value of t as long as we know the
solution passing through X
0
, for we have
∂φ
∂t
(t, X
0
) = F(φ(t , X
0
)).
We also have
∂φ
∂X
(t, X
0
) = Dφ
t
(X
0
)
where Dφ
t
is the Jacobian of the function X → φ
t
(X). To compute ∂φ/∂X,
however, it appears that we need to know the solution through X
0
as well as
the solutions through all nearby initial positions, since we need to compute
the partial derivatives of the various components of φ
t
. However, we can
get around this difficulty by introducing the variational equation along the
solution through X
0
.
To accomplish this, we need to take another brief detour into the world of
nonautonomous differential equations. Let A(t ) be a family of n ×n matrices