Главная страница Метод функций Ляпунова [0] [1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [ 11 ] [12] [13] [14] [15] [16] [17] [18] [19] [20] [21] [22] [23] [24] [25] [26] [27] [28] [29] [30] [31] [32] [33] [34] [35] [36] [37] [38] [39] [40] [41] [42] [43] [44] [45] [46] [47] [48] [49] [50] [51] [52] [53] [54] [55] [56] [57] [58] [59] [60] [61] [62] [63] [64] [65] [66] [67] [68] [69] [70] [71] [72] то имеем dv dv di dt где через обозначена производная функции v, взятая в силу системы (8.7). Таким образом, соотношение (9.2) доказано. § 10. Оценка решений линейных систем Введем сначала одно важное неравенство из теории квадратичных форм. Рассмотрим квадратичную форму v = {x, Вх) и поставим задачу отыскания наименьшего и наибольшего значений этой квадратичной формы на сфере л: = = г*. Согласно известным правилам решения задач на относительный экстремум следует искать экстремум квадратичной формы W - V - X (х - г). Очевидно, корни характеристического уравнения системы (8.7) и системы (9.3) связаны между собой соотношением = Рг--у. Выберем а настолько малым, чтобы выполнялись условия: 1) Из ReXi>0 следует Rep,>0, 2) Pi + Pft О ни при каких целых 1 и k. Очевидно, первому условию легко удовлетворить, выбирая а достаточно малым. Замечая, что р; рд, = X,- -- - а. мы можем выбрать а не совпадающим ни с одним из конечного множества чисел Х--Х;, следовательно, можем удовлетворить и второму условию. По теореме 9.2 существует функция v, принимающая положительные значения, и такая, что в силу системы (9.3) dv „ - = да. Так как = { А ~ X grad v = Ax grad v - x grad v, и так как по теореме Эйлера об однородных функциях xgradt)= dxi~ 1=1 § 10] ОЦЕНКА РЕШЕНИЙ ЛИНЕЙНЫХ СИСТЕМ 39 В точках экстремума должно выполняться условие grad W = grad v - 2Хх = 0. Так как gTadv = 2Bx, то необходимые условия экстремума приводят нас к уравнению Вх = 1х. (10.1) Это уравнение имеет ненулевое решение только в том случае, когда X является корнем уравнения \B-IE\ = Q. (10.2) Так как матрица В является симметричной, то ее собственные значения вещественны. Обозначим через X, наименьшее собс! венное число матрицы В, а через Х„-наибольшее собственное число. Умножая уравнение (10.1) слева и справа на JC, получим v - {Bx, JC) = Xд: т. е. f = Xrl Таким образом, беря в качестве X наибольшее и наименьшее собс i венные числа, выводим неравенство Х.ггХпЛ (10.3) справедливое для всех точек пространства. Принимая г- 1, приходим к выводу, что Xj есть минимальное значение функции v на единичной сфере, а Х„ - максимальное значение. Перейдем теперь к задаче оценки решений системы линейных дифференциальных уравнений 10) Рассмотрим сис1ему дифференциальных уравнений % = Ах, (10.4) и предположим, что все собственные числа матрицы А имеют отрицательные вещееiвенные числа По теореме 9.1 существует определенно положительная квадрашчная форма f = (.JC, Вх), такая, что в силу системы (10.4) будем име1ь dv dt где г= xl (10.5) С другой стороны, из неравенства (10 3)следуе1 неравенство Таким образом, время переходного процесса t(p, s), т. е. время, необходимое для того, чтобы величина г стала и оставалась в дальнейшем меньше s, удовлетворяет неравенству tip, s)<-X„ln. § 11. Теоремы об устойчивости по первому приближению Наряду с системой W = 2 + = 1. 2, ..., и, (11.1) рассмотрим систему = 2 => 2. я. (11.2) dxi dt где Х„ Х„ - соответственно наименьшее и наибольшее собственные числа формы V. Таким образом, из соотношений (10.5) и (10.6) следует неравенство V dv V dt-~~X„ которое можно записать в виде Интегрируя (10.7) от нуля до t и обозначая через значение функции V в начальной точке траектории р, получим Используя неравенство (10.6), получаем окончательную оценку вдоль решения системы (10.4): 0 е-/i у" е- . (10.8) л„ л, Неравенства (10.8) могут быть использованы для оценки времени переходного процесса. В самом деле, разрешая относительно t уравнение е~п = е получим t = - Х„1п [0] [1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [ 11 ] [12] [13] [14] [15] [16] [17] [18] [19] [20] [21] [22] [23] [24] [25] [26] [27] [28] [29] [30] [31] [32] [33] [34] [35] [36] [37] [38] [39] [40] [41] [42] [43] [44] [45] [46] [47] [48] [49] [50] [51] [52] [53] [54] [55] [56] [57] [58] [59] [60] [61] [62] [63] [64] [65] [66] [67] [68] [69] [70] [71] [72] 0.0155 |