Главная страница Метод функций Ляпунова [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] Покажем теперь, что Л L. Рассмотрим такое /ц, для которого У) lioft = > И рассмотрим вектор х" (xJ, ЛГп), где xg = sign а,-„Аг. Легко видеть, что х" =1 и Л II Лх" II = 2 I "io* I = L- Таким образом, имеем в этом случае II л=sup у; (1.6) Пример 3. Зададим норму вектора формулой 11х= у; х,. (1.7) Покажем, что для нормы матрицы Л справедливо соотношение: II Л =sup у; (1-8) * i=l в самом деле легко видеть, что п п п 11 II = S I S ikXk I =s: 11 X II sup 2 I ik I-.=1 *=1 * i = l Таким образом, Л sgsup lifcl=- * i=i Пусть 0 - TO значение индекса, для которого М = - 2 I "о !• Рассмотрим вектор х с проекциями Х; = 0 при ; = 1 / 0 и ХАго=1. Очевидно, имеем II X II = 1 и, кроме того, II Л II II Лх= 2 а,-,„ = Ж. 1=1 3. Рассмотрим теперь случай, когда Е - линейное нормированное пространство и В - банахово пространство. Рассмотрим совокупность всех линейных операторов, переводя- щйх пространство Е в пространство В; эту совокупность будем обозначать символом [Е В]. Пусть F] и - операторы из [Е-В]. По определению, F = F, если для любого xClE имеем Fx = FiX-}- Fx. Линейные операторы можно также умножать. Пусть Е, Ез - линейные нормированные пространства и пусть F [Е\->-Е] и Ф[Е-Ез]. Под произведением операций/ и Ф будем понимать оператор ФЕ, переводящий Ei в £3 по правилу ФЕ(х) = Ф(Е(х)), где xEi. Легко видеть, что справедливо неравенство II 11=;Ф Если в пространстве [Е-*-В] ввести норму согласно (1.2), то можно показать, что пространство [Е-В] будет полным линейным нормированным пространством, т. е. банаховым пространством. В дальнейшем нам понадобятся следующие теоремы: Теорема 1.1 (Банаха - Штейнхауса) ([71]). Если последовательность линейных ограниченных операций {Fn}, переводящих банахово пространство Ei в линейное нормированное пространство Е%, ограничена в каждой точке, т. е. если sup II F„x II <оо, то нормы этих операций ограничены в совокупности \\ЕЛМ<с (л=1, 2, ...). Теорема 1.2 (принцип сжатых отображений ([72])). Пусть оператор F переводит шар Т банахова пространства в себя и пусть выполнено условие \\Fix,)-F{Xi)\\a\\ Ху-хЛ где 0<а<1. Уравнение F{x) = x имеет в шаре Т единственное решение х*, которое может быть найдено методом последовательных приближений. 4. Пусть на числовой оси задана функция x{t) со значениями в банаховом пространстве Е. Следуя обычным правилам, можно дать определение производной и интеграла от функции x{t). \ X (t) dt. Перейдем теперь к понятию полной вариации абстрактной функции g(t), принимающей значения в Е. Рассмотрим снова промежуток [а, р] оси t и всевозможные разбиения этого промежутка a = to<C.i<C.- • <С.п = на конечное число частичных интервалов. По определению, величина sup 2 II gihi)-gih) II =V(0. где верхняя грань берется по всевозможным разбиениям отрезка [а, Щ, называется полной вариацией функции g{t) на отрезке [а, р]. В данном определении можно, конечно, полагать р = оо. В этом случае будем считать, что функция g{t) имеет ограниченное изменение на множестве asg<oo, если g{t) имеет ограниченное изменение в любой конечной части [о, t], и полные вариации \/ g{t) ограничены в их Так, например, производная (по Фреше) функции x(t) в точке может быть определена по правилу х(д = Ит4. если указанный предел (в смысле сходимости по норме) существует. Определенный интеграл (по Бохнеру) от функции x{t) определим как предел интегральных сумм вида k = 0 где а = „<,<.,<.= t,,r,t,.i,kO, 1,... п-1, при условии, что л-оо и SUpl;;,,! - 1-0. Если указанный предел существует и не зависит ни от способа деления отрезка [а, р] на частичные отрезки, ни от способа выбора точек на частичных отрезках, то будем говорить, что интеграл от функции 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.0158 |