Если через
обозначить собственные векторы матрицы
то систему (5.8.4) сокращенно можно записать следующим образом:
где
Таким образом, собственные векторы
ортогональны к матрице
Легко видеть, что каждая из матриц
при со имеет ранг
Действительно, обозначим через
алгебраические дополнения характеристического определителя
полученные в результате вычеркивания
строки и
столбца его. Применяя известное правило дифференцирования определителя, будем иметь
Так как корни
простые, то
при
Следовательно, для каждого корня
найдется диагональный минор
где номер
вообще говоря, зависит от
Число
для которого выполнено неравенство (5.8.6), можно выбрать не зависящим от
Действительно в силу непрерывности алгебраических дополнений
и корней
если для некоторого
выполнено неравенство
то при этом же
будут справедливы также неравенства
где
достаточно велико. Но определитель
является минором
порядка матрицы
и, значит, эта матрица имеет ранг
Из линейной алгебры известно, что тогда ненулевые решения системы (5.8.5) пропорциональны соответствующим алгебраическим дополнениям:
где
Выбрав равным единице коэффициент пропорциональности в этих отношениях, получим
причем построенные таким образом векторы
линейно независимы при
Таким образом, в качестве элементов матрицы
приводящей матрицу
к диагональному виду, можно взять целые рациональные функции характеристических корней
и элементов
матрицы
и, следовательно,
Пусть
и
ее характеристические корни. При
имеем
и, следовательно,
Рис. 54.
Так как корни
простые, то при
где
достаточно велико, корни
будут содержаться внутри кругов
комплексной плоскости X (рис. 54), попарно расположенных вне друг друга. Отсюда при
имеем
и, следоватетьно, из формулы (5.8.8) выводим
где через
здесь и в дальнейшем обозначены некоторые положительные постоянные. Далее, предельные значения собственных векторов
являются, очевидно, собственными векторами предельной матрицы
причем ввиду их линейной независимости имеем
Отсюда
Так как
то из неравенств (5.8.10) и (5.8.11) получаем
2) Пусть теперь
Так как корни
простые, то существуют непрерывные производные
которые можно определить из уравнений
Ввиду того, что
Кроме того, имеем
Отсюда, учитывая формулу (5.8.8) и неравенства (5.8.9), из формулы (5.8.13) получаем
Следовательно, если
то
На основании формулы (5.8.8) при
будем иметь