Главная страница Метод функций Ляпунова [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] Так как W{t, z) - U{t) U\х), где f/(О - Фундаментальный оператор, то По определению фундаментального оператора имеем -~- = = A(z) и (z), отсюда следует J = -W(t, z)Aiz). Интегрируя по х последнее соотношение в пределах от до t, получим W{t, z) - l=-] W{t, z)A{z)dz. to Следовательно, 11 «7 (t, X) - / jj = Ij 5 r (t, X) A (X) dz Jl Л„Ф„. о Отсюда следует, что \\W(t, х) Л„Ф„-j-1 и, следовательно, можно положить UJo = Л„Фо--1. Лемма 5.4. (Л. Массера, Д. Шеффер [94). Пусть ф (t) - положительная функция, р (t) - непрерывная положительная функция при tO. Если inf р(0<С " ля /5:0 всех ttO имеет место неравенство <l(t)p(t-t,)C,(t,), (5.3) то существуют положительные числа а, В, не зависящие от такие, что при tt:0 справедливо неравенство ф (t) Be- «- о) ф (г?д). (5.4) В самом деле, существует положительное число х такое, что Р ("с) = Y <С 1- Положим а= - z \п ~[ н В = max ep(t). Очевидно, что число В с указанным свойством существует в силу непрерывности p{t). При я = О, 1, ... имеем в силу (5.3) ф(о + «)ТНМ- (5-5) Для любого ttO имеет место при некотором целом и положительном п неравенство nz (л-j- 1)x. Таким образом, получим согласно (5.3) и (5.5) ф (т) =sS р ( - 0 - nz) ф it„ nz)p(t~t„- nz) ft (о)- Справедливо также неравенство ф (О < e- о - р ( - 0 - nz) f е""" e-- О ф (t). Так как е" = 7-\ то согласно выбору числа В получаем требуемое неравенство (5.4). Лемма 5.5. Если существуют положительные постоянные Фо и такие, что \ II W{t, т)</т<Ф„, II W(t, U)\\W, при любых о ! < оо, то можно указать положительные постоянные а и В такие, что II W{t, t„) 11 =s;Se-=(-o» (5.6) при любых Ogfst<ca. Действительно, так как W(t, tQ)=W(t, z)W(z, to), то имеем ( W (i, z) W (z, t,) dz 11 = 11 W (f, t,) Ut- io) Ф„ W„. Используя дополнительно неравенство W(t, t) -W, получим II ( u) IK "[°,t.y =P(-M- в общем случае имеем, очевидно, II W{t, t,) II II W(t, t,) 11 11 W{t„ t,)\\p{t- t,) 11 W(t„ t,) 11 и мы можем применить лемму 5.4. Определение. Нулевое решение уравнения 9 = A{t)y (5.7) назовем экспоненциально устойчивым, если существуют положительные постоянные а. и В, не зависящие от 1» и такие, что любое решение уравнения (5.7) удовлетворяет неравенству II У (О 11 Ве -0 II У (МП- (5.8) Очевидно, что экспоненциально устойчивое нулевое решение будет равномерно асимптотически устойчивым решением при любых начальных возмущениях, Эго значит, что нулевое решение будет устойчивым, и что для любых положительных чисел S и 8 можно указать такое число О, что из II (о) II следует у(0<С "Р" 5=о+- Если операторная функция A{t) не зависит от t, то экспоненциальная устойчивость имеет место тогда и только тогда, когда спектр оператора А лежит внутри левой полуплоскости ([75]). Теорема 5.1. Пусть Е-векторное конечномерное пространство и пусть \\ A{t) \\ ограничена на J. Для того чтобы всякой ограниченной на J функции u{t) соответствовало ограниченное (равномерно по t) решение задачи (4.1), необходимо и достаточно, чтобы нулевое решение уравнения (5.7) было экспоненциально устойчивым. Необходимость условий теоремы вытекает из лемм 5.1 - 5.3 и 5.5. Достаточность условий следует из формулы (4.2). Так как из неравенства (5.8) и формулы (4.2) следует неравенство W{t,t)\\Be--t«\ то имеем прин()г с < оо II X (О II ( II W(t, х) „(х)х5£, о что и дает требуемый результат. Необходимость условий теоремы 5.1 была установлена И. Г. Малкиным ([8], стр. 367) с помощью применения функций Ляпунова. Критерий (5.8) был впервые введен К. П. Персидским. В дальнейшем изложении этот критерий будет играть существенную роль. Наряду с задачей (4.1) рассмотрим теперь более общую задачу X = Л (О X + и (О, X (о) = 0- (5.9) Теорема 5.2 (Т. Ф. Бриджлэнд [97]). Пусть Е - векторное конечномерное пространство и Л() интег-рируе.ча на любо.м конечном интервале полуоси J. Если всякой ограниченной на J функции и (t) соответствует при любом Х( ограниченное (равномерно по t()) решение x{t) [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.014 |