Главная страница Метод функций Ляпунова [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] Справедливость леммы непосредственно вытекает из леммы 2.1. Непосредственной проверкой можно в данном случае убедиться, что функция удовлетворяет интегральному уравнению Лемма 2.3. Если при выполнении условий предыдущей леммы f{f) является функцией ограниченной вариации на отрезке tstst-- Т, то из неравенства (2.12) следует u{t)f{t,)e---\-\ /-V/(s), (2.14) где интеграл в правой части есть интеграл Стилтьеса. Если функция f(t) дифференцируема, то справедливо неравенство u{t)me~{ e-Vis)ds. (2.15) Неравенство (2.14) вытекает непосредственно из неравенства (2.13), если воспользоваться для интеграла, стоящего в правой части этого неравенства, формулой интегрирования по частям, условия применимости которой в данном случае выполнены. 3. Рассмотрим теперь наряду с уравнением х = Х(х, t) (2.16) уравнение Р = Х(у, t)-\-Riy, t). (2.17) Предположим, что в области D: х г, tttQ-\-Т выполнены условия \\Х{х, t)~X{y, t)\\L\\x-y\\, (2.18) II R{x, Oil (0. (2.19) где 7)(i) - непрерывная функция на отрезке ооЦ- Т, Пусть будут выполнены условия, которые обеспечивают в совокупности с условиями (2.18) и (2.19) существование решений уравнений (2.16) и (2.17) в рассматриваемой области. Такими условиями могут быть в силу теоремы (2.1) непрерывность операторов Х{х, t), R{x, t) области D и выполнение условия Липшица для R{x, t), или, в силу теоремы 2.5, непрерывность Х{х, t) и полная непрерывность R{x, f). Пусть x{t) - решение уравнения (2.16), удовлетворяющее условию x(o) = Xo и у {t) - решение уравнения (2.17), такое, что у iU) =уо. Теорема 2.6. Справедлива оценка: при ttt-j- Т II X it)-у (О II = II X, ~у, II + { (s)ds. (2.20) Действительно, из интегральных уравнений x{t) = x,-\ Х{х, t)dt, соответствующих уравнениям (2.16) и (2.17), имеем \\x(t)-y{t)\\\\x,~y,\\ \ {\\X{x, t)~X(y, t)\\ + + \\R{y, t)\\\dt. Используя (2.18) и (2.19), получим II X (О-у (О II = II X, -уо\\ + ( 7) (О dt + H-Lj \\xit)-yit)\\dt. Доказываемое неравенство следует теперь из неравенства (2.15). Рассмотрим частные случаи: а). Если 7]()=0, то получаем оценку \\xit)-yit)\\\\x,-yo li е-К I yiit)dt = -qi, to получаем при x„=jo II d) Пусть xit)~yit) 17i.(l -H-i""" Пользуясь неравенством Буняковского-Шварца, получим \x{t)-y{t) 7].з Полученные оценки говорят о непрерывности решения по отношению к изменению правой части уравнения (соответственно в метрике пространств С, L, L, см. § 4 данной главы). 4. Рассмотрим теперь линейное уравнение x = A{t)x. (2.21) Предположим, что оператор A{t) при каждом фиксированном значении t является линейным ограниченным оператором, и операторная функция А (t) непрерывна по t при tO. Из теоремы 2.1 будет следовать в этом случае существование и единственность решений уравнения (2.1), а из теоремы 2.3 следует неограниченная продолжаемость всех решений этого уравнения на полубесконечный интервал времени. Обозначим через Е пространство линейных ограниченных операторов, отображающих Е в Е. Известно (171), стр. 146), ччо Е будет также банаховым пространством. из которой следует факт непрерывности решения уравнения (2.16) по начальным данным. b) Если Xq =Уо и fi{t)при ttt-}- Т, то получаем оценку \\xit)-yit) 11= (/-"•-1). c) Полагая [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.0163 |