In the last post I wrote about the pole-shifting theorem but included almost no information about the proof. Now I want to sketch that proof, following the account in the book of Sontag. It is convenient to talk about prescribing the characteristic polynomial rather than prescribing the eigenvalues. The characteristic polynomial contains the information about the set of eigenvalues together with information about their multiplicity. It is helpful to use changes of basis in the state space to simplify the problem. A change of basis leads to a similarity transformation of and so does not change the characteristic polynomial. It also does not change the rank of
. Hence the property of controllability is not changed. Which polynomials can be obtained from matrices of the form
also does not change since the change of basis can be used to transform
in an obvious way. Putting these things together shows that when proving the theorem for given matrices it is allowed to pass to new matrices by a change of basis when convenient.
The first step in the proof is to look at the theorem in the case of one control variable (). I will use the notation
. In this case the system can be brought into a special form, the controller form, by a change of basis. Then it is elementary to solve for the unique feedback which solves the problem. The next step is to reduce the case of general
to a modified control problem with
. Let
be any vector with
non-zero and
. The idea is to show that there is an
such that
is controllable. If this can be done then the result for
gives, for a given polynomial
, a matrix
such that the characteristic polynomial of
is
. But
and so taking
solves the desired problem.
It remains to find . For this purpose a sequence of vectors is constructed as follows. First choose a vector
such that
is non-zero and let
. Then
is a non-zero element of the state space. Next choose
, where
belongs to the image of
, in such a way that
and
are linearly independent. If this succeeds continue to choose
in a similar way. The idea is to construct a maximal chain of linearly independent vectors
of this type. The claim is now that if
is controllable
. Consider the space spanned by the
. It is of dimension
. Since the chain cannot be extended
must also belong to this space, for any choice of
. In particular
belongs to the space. Hence the image of
belongs to the space. The definition of the
then implies that
belongs to the space for all
so that the space is invariant under
. Putting these facts together shows that the image of
is contained in this space. By controllability it must therefore be the whole
-dimensional Euclidean space. Next define
for
and
arbitrarily. Then
, which completes the proof.
In fact this theorem can be extended to one which describes which polynomials can be assigned when is not controllable. They are the polynomials of the form
where
is an arbitrary monic polynomial of degree
and
is a polynomial defined by
called the uncontrollable part of the characteristic polynomial of
. What this means is that some poles (the uncontrollable ones) are fixed once and for all and the others can be shifted arbitrarily.
Leave a Reply