Главная страница  Системы автоматического управления 

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 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 [ 106 ] 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 144 145 146 147 148 149 150 151 152 153 154 155 156 157 158 159 160 161 162 163 164 165 166 167 168 169 170 171 172 173 174 175 176 177 178 179 180

неподвижная точка может быть найдена с помощью итерационной процедуры. Справедливы следующие теоремы.

Теорема 11.9 (теорема о неподвижной точке сжатых отображений). Если оператор является оператором сжатия, определенным на банаховом пространстве ЧУ, то

1) существует единственный элемент f * множества , удовлетворяющий условиям

<Sv* = у*; (11.92)

2) последовательность у, v, , . ., задаваемая правилом

Vnx = Vn (п = О, i; , . .), (11.93)

сходится к V* при любом начальном выборе ьшЯУ;

3) норма II Vn - f * II ограничена: .

Ьп--\~Г\9<~Щ\- (11.94)

Доказательство уеоремы проводится непосредственно, так как для любых чисел пит при т имеем

II Vn II = II f о - 9-Vo II < р II v -Vo II р i II Vo-Vi II + II v-v II + +

+1 Vrru-n - Wi 11 < P 11 0 - I {1 -f P + + + P -i < llto- v,l

. <TIIPo-oll- - (11-95)

Таким образом, получено неравенство (11.94). Предел S Vo при п -> оо существует в силу полноты банахова пространства. Заметим, что найдется, по крайней мере, одно предельное значение для каждого выбора v . Пусть vl является таким предельным значением, тогда видно, что

gvl = lim S Vo = ,9 lim t) = lim t) +i = v].

п~> CO n-> CO n-> CO

Таким образом, является неподвижной точкой для преобразования S. Чтобы показать единственность неподвижной точки v*, предположим, что существуют две различные неподвижные точки v* и у*. Тогда можно записать

Ivl-vlWISvl-vlWplvl-vVi. . (11.96)

Если норма Ijfi -f2 не равна О, то уравнение (11.96) означает, что норма меньше самой себя, а это невозможно. Таким образом, vl = V2, и существует единственная неподвижная точка.

Если оператор сжатого отображения существует только в некоторой окрестности элемента из банахова пространства, то имеем следующую теорему, обратную теореме о неподвижной точке сжатых отображений.

Теорема 11.10. Если условие (11.91) выполняется только в окрестности II у - foil < г элемента Do из банахова пространства, то теорема 11.9 верна лишь при условии, что р удовлетворяет следующему неравенству:

t;o-t;oi<(l -Р)Д-. (11.97)

Теоремы 11.9 и 11.10 не только определяют условия существования единственного решения функционального уравнения = d, но и гарантируют сходимость итерационной процедуры получения решения. Приведенные вьш1е теоремы широко используются ввиду их наглядности, в чем можно убедиться на следующих примерах.



Пример П.8 (доказательство теоремы 3.1). Система (3.3) может быть записана в интегральной форме:

л; = JJo + J / (JC (т), т) dr. (11.98)

Вводя норму следующим образом

\\x(t)\\= max

to-Ctto+C

можем определить

M = maxl/(x(q, oil-Принимая О < p <c 1> определим, что значение константы а в теореме 3.1

(11.99)

a=min{c,A(i p), P ,

где k - постоянная Липшица.

Теперь имеем банахово пространство непрерывных вектор-функций JC (t) на интервале (t - io) ас нормой, определяемой выражением (11.99). В этом пространстве рассмотрим оператор S следующего вида:

S [x (f)] = хо+\ (х (т), т) dt. (11.100)

Возьмем в банаховом пространстве любые две функции JCi {f) и jCg (t), удовлетворяющие условиям ii xi(f) - JCo ik 6 и iix2 (о - JJo ik b. Отсюда видно, что

S [xl (t)] - [д:, (OJ = f I/ (хг (T), t)-f{x, (T), T)] di .

to .

to+a

\\&lxi{{)]-&lxAf)]\\ J p/(Xi(T),T)-/(jc,(T),T)dT.

Применяя условие Липшица (3.5) к правой части неравенства, получим iiS [хг (т~1х (0] ii teljxi (q - д:, (о llp iix, (i) - х (f) ii,

следовательно, & является оператором сжатия в банаховом пространстве в области Si. Аналогично, так как

Шо-хо= j/(jCo,T)dT,

получим для t g (to, to + a)

11л:о-л:оМа(1-р)6.

Таким образом, на основании теоремы 11.10 существует единственное решение уравнения (3.1), которое удовлетворяет условиям теоремы 3.1.

4. Способ улучшения метода эквивалентных передаточных функций для систем с периодическим входом

Используя функциональное пространство ж и среднеквадратичную норму, введенную в примере И.6, Сандберг [176] при изучении систем с входными сигналами (рис. 11.5) смог применить теорему о неподвижной точке

Заметим, что хотя символы одни и те же, норма, определенная в настоящем примере, отличается от той, что использована в теореме 3.1, однако это не влияет на общность дока-, зательства. ...



сжатого отображения для получения некоторых результатов относительно поведения систем с периодическим входом. Поскольку оператор сжатия допускает получение решения методом итераций, можно указать путь улучшения метода эквивалентных передаточных функций, когда речь идет о предсказании формы сигнала.

Однако метод справедлив только для систем (в стандартной форме) с периодическим входом. Более того, при сделанных допущениях в системе не возникают автоколебания. Пусть система, приведенная на рис. 11.5, возможно, преобразованная из исходной в результате сдвига полюсов, подчиняется - следующим соотношениям:

1) однозначная нелинейность / (е) удовлетворяет условию *

/(f2)-m)

f(e)

git)

:2 (11.101)

Рис. 11.5. Типовая структурная схема класса систем, изучаемых в 4-й части § 11.7

для любых и е; 2) стационарный линейный объект полностью описывается заданием импульсной переходной характеристики g (t), так что его действие на элемент пространства Ж посредством оператора определяется с помощью интеграла свертки

lv{t)]=] g{t-t)vix)dx. (11.102)

Прежде чем излагать основные результаты, отметим два очевидных свойства линейного объекта.

Во-первых, норма оператора из уравнения (11.102) в соответствии с выражением (11.89) подчиняется следующему условию:

Р( = тахс(/п)

(11.103)

Это объясняется тем, что в пространстве Ж квадрат нормы может быть представлен как максимально возможная плотность мощности выходного сигнала линейного блока G, когда входной сигнал принадлежит классу периодических функций периода Т с единичной плотностью мощности . По теореме Парсеваля, если v является п-м коэффициентом ряда Фурье входного сигнала и (t) G X, то

Следовательно,

;тах

(11.104)

Однако, если п = т является тем индексом, при котором величина jn -f-j оказывается максимальной, то функция v (t) с периодом -

Таким

и единичной нормой определяет норму II (, равную G/m-

образом, выражение (11.104) должно удовлетворять только условию равенства.

* Саидберг [176] рассмотрел более общий случай.



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 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 [ 106 ] 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 144 145 146 147 148 149 150 151 152 153 154 155 156 157 158 159 160 161 162 163 164 165 166 167 168 169 170 171 172 173 174 175 176 177 178 179 180

© 2000 - 2024 ULTRASONEX-AMFODENT.RU.
Копирование материалов разрешено исключительно при условии цититирования.