Об аппроксимациях решения одной задачи гарантированного оценивания состояния параболической системы Текст научной статьи по специальности «Математика»

Вычислительные технологии

Том 6, № 5, 2001

ОБ АППРОКСИМАЦИЯХ РЕШЕНИЯ ОДНОЙ ЗАДАЧИ ГАРАНТИРОВАННОГО ОЦЕНИВАНИЯ СОСТОЯНИЯ ПАРАБОЛИЧЕСКОЙ СИСТЕМЫ *

Е. К. КостоусовА, Л. В. Сташкова Институт математики и механики УрО РАН Екатеринбург, Россия e-mail: kek@imm.uran.ru

The guaranteed state estimation problem for a parabolic system is considered under "geometric" constraints imposed on unknown input parameters. Convergence of sets, which are obtained by solving approximate problems, to the required informational domain is investigated. The capabilities of using external parallelotopic estimates for solutions of approximate problems are considered.

Введение

В работе рассматривается задача гарантированного оценивания состояния параболической системы [1-3] при "геометрических" ограничениях на неопределенные возмущения, действующие в системе. Для аппроксимации информационной области, являющейся решением задачи, вводятся (путем дифференциально-разностных или конечно-разностных аппроксимаций) последовательности задач гарантированного оценивания состояния конечномерных систем. Показано, что при сгущении сетки имеет место сходимость к нулю хаус-дорфова полурасстояния между искомым множеством и множеством кусочно-постоянных восполнений решений аппроксимирующих задач, и приведены условия (связанные с корректностью задачи и дополнительной гладкостью функций, задающих ограничения), при которых сходимость к нулю имеет место и для второго хаусдорфова полурасстояния; установлена скорость сходимости. Аналогичные результаты справедливы для области достижимости. Обсуждаются результаты численного моделирования, где в качестве внешних оценок для решений аппроксимирующих задач используются параллелепипедозначные оценки [4, 5].

Вопросы вычисления множеств достижимости и информационных областей параболических систем при "геометрических" ограничениях исследовались, например, в [2, 3, 6]. Для аппроксимации можно использовать также эллипсоидальные оценки (см. [7] и приведенную там библиографию).

* Исследования выполнены при финансовой поддержке Российского фонда фундаментальных исследований, грант №99-01-00176.

© Е. К. Костоусова, Л. В. Сташкова, 2001.

1. Постановка задачи

Имеется система, состояние которой описывается начально-краевой задачей

и*(ж,*) = + с/(ж,*), / € Я = В х (0,$), В = (0,/) С К1;

= 0; и(ж,*)|4=0 = Мо(ж) € ^з(В),

где константа с = 0 или с =1. Решение этой задачи будем понимать как обобщенное из энергетического класса [8, с. 161]. Пусть начальное состояние и0(ж) и функция /(ж,*) (при с = 1) неизвестны, но стеснены "геометрическими" ограничениями

м0(-) € Ы0 = (м0(-) € Ь2(В) : |и0(ж) — «0(ж)| < ^1(ж), п.в. ж € В},

— (1.2) /(■, ■) € Т = {/(■, ■) € ¿2(Я): |/(ж,*) — /(ж,*)|< ^(ж,*), п.в. ж,* € Я},

где м0,^1 € Ь2(В), /,^2 € Ь2(Я) — известные функции.

Областью достижимости Ыа = Ыа($) системы (1.1), (1.2) в момент $ называется [6] множество функций «(■) € ¿2(В), для каждой из которых существуют «0 и /*, удовлетворяющие (1.2) и порождающие решение и* (ж,*) системы (1.1) такое, что «*(■,$) = «(■). Пусть теперь о решении и (ж, *) доставляется информация в силу уравнения измерений

у(*) = С(*) «(■,*) + С(*), * € Т = [£,$], ¿> 0. (1.3)

Здесь у(*) — данные измерений, у(*) € К1; Т — промежуток наблюдения; С — неопределенная помеха, которую будем считать элементом пространства У = ); С(*) — линейный оператор наблюдения ("сенсор"), доставляющий либо точечные наблюдения [2], когда измерения производятся вдоль некоторой траектории наблюдения, задаваемой измеримой (по Лебегу) функцией X (*):

С(*) «(■,*) = и(Х (*),*), Х(*) € В =[0,/] при п.в. * € Т, (1.4)

либо пространственно-усредненные [2] с весом д(ж, *) € ¿2(Ят), Ят = В х Т, когда

С(*) «(■,*)= / д(ж,*) и(ж,*) <^ж, 0 < < с< то при п.в. * € Т. (1.5)

•Уд

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

С(■) € 2 = {СО € У : 1С(*) — ё(*)1 < п.в. * € Т}, (1.6)

где С, ^з € У — известные функции.

зЗадача гарантированного оценивания состояния в конечный момент времени $ заключается [2, 3] в нахождении информационной области Ы = Ы($; у(-)) — множества всех состояний «(■,$) системы (1.1), совместимых с данными наблюдений у(-) из (1.3) и с ограничениями (1.2), (1.6).

Настоящая работа посвящена приближенному построению введенных множеств и нахождению внешних оценок для них.

2. Обозначения и вспомогательные результаты

Известно [8], что обобщенное решение задачи (1.1) представимо в виде ряда Фурье м(М) = Е I («о,^)е-Л^ + /(с/(-,т),^(.))е-Л^-г> ¿т) ^(х),

k=l

Afc = (ank/-1)2, Wk(x) = (2//)l/2 sin(nk/-lx)

и его можно считать непрерывной функцией x и t в области D х (0, $]. Поэтому идеальный сигнал z(t) = G(t)u(-,t) определен при п.в. t G T. Несложно убедиться, что при наших предположениях z(-) G Y = L^>(T) и

||z||y < C duel + ||cf |l2(q)). (2.1)

Здесь и ниже символами (u, v) и ||u|| обозначаются для краткости скалярное произведение и норма в пространстве L2(D). Известно также [8, с. 163], что при любом t G (0,$]

max ||u(-,r)| + ||u|w21,0(q) < C (||ue1 + ||cf |l2(q))- (2.2)

При применении дифференциально-разностной аппроксимации (метод прямых) [9] на множестве D вводится сетка — множество точек (узлов) xmi = ihm, i = 0,...,m +1; hm = /(m + 1)-1, m = 1, 2,... Внутренние узлы xmi (i = 1,... , m) образуют сетку Dh. При кусочно-разностной аппроксимации (метод сеток) [10] на множестве T также вводится сетка tnj = j Tn, j = 0,... , n; Tn = $п-1, n = 1, 2,... Через dih и j обозначим элементарные ячейки: dih = (xmi, xm(i+l)], j = (tn(j-l),tnj]. Функции, определенные на сетке, называются сеточными. Введем пространство Vm, образованное сеточными функциями wm = (wm,... ,wm)T (Т — знак транспонирования), заданными на Dh, со скалярным произведением (um,vm)m = hmY™=x umvm и нормой ||um||m = ((um,um )m)l/2.

Начально-краевая задача (1.1) и уравнение наблюдений (1.3) заменяются последовательностями конечномерных систем

um(t) = Bmum(t) + cFm(t), t G (0,$]; um(0) = um; um,Fm G IRm; (2.3)

ml

ym(t) = Gm(t) um(t) + Cm(t), t G T; ym G IRl, (2.4)

или соответственно

мА[з] = ВА мА[з - 1]+ тп ВА с^А[?], з = 1,..., п; мА[0] = мт; мА,^А С Ит; (2.5)

УА [7 ] = СА[? ] мА[3] + £ А[з ], з = Рп + 1,...,п; Рп =[^Тп-1] + 1; уА С И1. (2.6)

Здесь [г] означает целую часть числа г; символом А обозначена пара индексов А = (т, п); Вт = а2Ат, ВА = (Ет — а2тпАт)-1, Ат — трехдиагональные т х т-матрицы, на главных диагоналях которых стоят элементы вида —2Лт2, а на прилежащих — вида Лт2; Ет — единичные т х т-матрицы.

Решения систем (2.3), (2.5) представимы в виде конечных рядов Фурье [9, с. 570; 10, с. 283]

um(t) = £ { (um, fims)me-Amst + I (cFm(r), Qms)me-Ams(t-T) dr ¡> Qms, t > 0,

s=l

e

m j-l

UA[j] = £ (um, Hms)m(^f )j + Tn E (cFA [/ + 1], )m(^f )j-4 П™, j = 1, . . . , П,

s=l l 1=0 J

Äms=a2Am, ^д^+Т^Л^)-1, Am=4hm2 ВШ^^Х^/-1), Qms=(2//)l/2 sin^sx™/^),

t

где {Пт5 — система собственных векторов матрицы Ат, образующая в Vт ортонорми-рованный базис: (Пт5, )т = 6.^ (в,з = 1,... ,т), а — Лт, —Лт5 и ^^ — соответствующие им собственные числа матриц Ат, Вт и ВЛ.

Переход от функций непрерывного пространственного аргумента к сеточным функциям и обратно формализуют следующие операторы. Оператор £т отображает: функцию ЭД(-) € в вектор € Vт по правилу = где ^т = йт1 эд(ж) ^ж

(г = 1,... , те), а оператор ставит в соответствие вектору € Vт кусочно-постоянную функцию эд(-) € Ь2(В): = где эд(ж) = при ж € ^ (г = 1,...,т)

и эд(ж) = при ж € ^о^. Несложно проверить, что введенные операторы обладают

т

следующими свойствами [11]. Если = £ти>(), то Е (^т, Птк)т = ||^т||т < ||И|2,

) — (^т, ^т)т| < С |М|кйт (к = 1,...,т), а если ^ = то ||мЛ|| < 2 ||^т||т,

) — (^т, ^Пкт)т| < С

Оператор (0 < 6 < $) отображает * € [6, $], в сеточную функцию ^"[з],

3 = ..., п: М">() = где ^"[3] = Т-1 ^СО ^ 3 = Р"..., П Рп = [6т"1] + 1 а

оператор наоборот, отображает функцию V"[з] (з = рп,... , п) дискретного аргумента 3 в кусочно-постоянную функцию * € [6,$]: [■] = где = V"[з] при

* € 0,-г П [6,0] (з = рга,...,п).

В уравнениях (2.4), (2.6), аппроксимирующих уравнение (1.3), полагаем, что

Ут(*) = у(*), * € Т; уд[-]= М",у(-),

где у(-) — именно тот сигнал, который реализовался в (1.3). Вектор-строчные функции € Т) и СЛ[з] (з = Р",... , п) для точечных наблюдений имеют вид

С^*) = 1, к = кт(*) = [X(*) йт1], (*) = 0, 1 < г < т, г = кт(*), ] = 1, к = кЛ[з] = [X) йт1], СЛ[з] = 0, 1 < г < т, г = кЛ[з],

причем, если получилось Ст(*) = 0 или СЛ[з] = 0, то эту нуль-строку заменяем на (1, 0,..., 0). Для пространственно-усредненных наблюдений

Ст(*)т = йт£тд(-,*); (СЛ)Т[-] = М^Г^О, ■)).

Естественно считать, что начальные условия и правые части в системах (2.3), (2.5) стеснены геометрическими ограничениями в виде параллелепипедов

«т € иот = Р(рт[0],Ет,пт[0]), рт[0] = £тм0, пт[0] = £т^1, (2.7)

Вт(*) €^т(*) = Р(гт(*),Ет,рт(*)), гт(*) = £/(■,*), рт(*) = (■,*), (2.8) ВЛ[з] € ^Л[з] = Р(гЛ[з],Ет,рЛ[з]), гЛ = М0^т/, рЛ = ¿т^2, (2.9)

а помехи в уравнениях измерений (2.4), (2.6) — ограничениями

1Г(*) — ёт(*)|< *т(*), * € Т, Г(*) = Ш, ^т(*) = + 6т, (2.10) |СЛ[з] — ёЛ[з]|< *ЛЫ, з = Р",...,п, ёЛ = = + 6л. (2.11)

Добавки 6т и 6л будут конкретизированы ниже.

Параллелепипедом Р(р,Р,п) в К,т мы называем множество

т

Р = Р(р,Р,п) = {ж : ж = Р ^ЕР^п^Сг, |&|<1, г = 1,... , т}.

г=1

Здесь р € К.т; Р = {рг} — неособая тхт-матрица со столбцами рг единичной длины; п € К.т, пг > 0. Можно сказать, что р задает центр параллелепипеда, рг — "направления", а пг — величины его "полуосей".

Обозначим через ит($) и ^^[п] соответственно области достижимости систем (2.3), (2.7), (2.8) и (2.5), (2.7), (2.9), а через ит($; ут(-)) и иА[п; уА[-]] — соответственно информационные области тех же систем, дополненных соотношениями (2.4), (2.10) и (2.6), (2.11) (определения этих множеств аналогичны приведенным ранее). Для аппроксимации Ыа и Ы используем кусочно-постоянные восполнения введенных множеств

ит=цт(^) = ^тит($), ыа = Ыа(^) = ^тиаАн

Ыт = Ыт($; у(-)) = ^тит(0; ут(-)), иА = иА(^; у(-)) = ^тиА[п; уА[-]].

Аргументы у(-), ут(-), п, уА[-] будем далее для краткости опускать.

Заметим также, что множества ит и иА можно рассматривать как области достижимости аппроксимирующих систем (2.3), (2.7), (2.8) и (2.5), (2.7), (2.9) при соответствующих фазовых ограничениях в виде гиперполос

мт(£) € Ет(£) = Е(ст(£),Ст(£),ат(£)), ст(£) = у(*) — £(*), (2.12)

«А[3] € ЕА[з] = Е(сА[з], СА[з], аА[з]), сА[-] = МШ") — £(•)). (2.13)

Гиперполосой Е = Е(с, 5,а) в Кт мы называем множество Е = {х : — с| < а}. Здесь с и а > 0 — числа, т-строки ±5 определяют внешние нормали к гиперплоскостям, задающим гиперполосу.

3. Аппроксимации множеств достижимости и информационных областей

Утверждения о сходимости сформулируем в терминах хаусдорфова полурасстояния Л+ в ¿2р): Л+(Ы1,Ы2) = ш1п{7 > 0 : Ы1 СМ2 + } (5 — единичный шар в ^Р)).

Предположение 3.1. При использовании конечно-разностных аппроксимаций считаем функции X(¿), д(х,£) кусочно-гладкими по ¿.

Теорема 3.1. При сделанных предположениях найдутся такие константы С, что при выборе добавок ¿т и ¿а в (2.10), (2.11) в виде

¿т = С(Лт + сЛт), ¿А = С(Лт + Тп + С ^т + Т,Л)), (3.1)

где Л = 1/4 в случае точечных наблюдений и Л = 1/2 в случае пространственно-усредненных, информационные области ит и иА в аппроксимирующих задачах непусты. При этом имеют место оценки

ММ,,мт) < £т, Л+(Ы,Ыт) < £т, МЫа,ЫА) < £А, Л+ (Ы,ЫА) < £а, (3.2)

где ет = С(Лт + сЛ^2), £а = С^т + Тп + с(Л^2 + тУ2)).

Значения упомянутых констант С не выписываем во избежание громоздкости. Для доказательства нам потребуется

Лемма 3.1. Пусть и(ж,*), ит(*) и ил[з] — соответственно решения систем (1.1), (2.3) и (2.5), в которых входные данные связаны соотношениями

«т = £тмо0, сВт(*) = £т(с/(■,*)), прип.в. * € [0,0], сВЛ = М0^^т(с/). (3.3)

Тогда

|Н,0) — ^т«,т(0)|| < С (йт||«о|| + йт/2|с/||Ь2(д)); ||С(*)«(■,*) — Ст(*)«т(*)||у < С(М«о|| + лтНс/||ВД)); |Н,0) — ^тиЛ[п]| < С ((йт + Т") ||ио| + (йт/2 + Т^) ||с/|Ь2(^)); |М"^(Си)[з ] — СЛ[з ] иЛ[з ]| < С ((йт + Т") ||«о|| + (йт + тЛ) ||с/ Над)), з = 1,...,п.

Доказательство основано на представлении решений указанных систем в виде бесконечного и конечных рядов Фурье и проводится путем добавления и вычитания перекрестных членов и прямых оценок с использованием соотношений из раздела 2 (см. [11]).

Доказательство теоремы 3.1. Докажем, к примеру, четвертое из неравенств (3.2). Любой функции и* € и отвечает некоторая тройка {ио,с/, С} (возможно, не единственная), удовлетворяющая (1.2), (1.6), такая, что для соответствующего решения и(ж,*) системы (1.1)

«(■,0) = «*(■), у(*) = С(*) «(■,*) + С(*). (3.4)

Построим соответствующие в силу (3.3) значения «т и с ВЛ[-] и рассмотрим отвечающее им решение иЛ [■] системы (2.5). Значения «т и с ВЛ[-] удовлетворяют включениям (2.7), (2.9), так как, например, |ВЛ[з] — гЛ[з]| < М^О/ — /|) < = РЛ[з], з = 1,...,п.

Далее имеем (2.6), где СЛ = М^Си) — СЛ иЛ + причем в силу последней оценки

из леммы 3.1 выполнено ограничение (2.11): |СЛ[з] — СЛ[з]| < 6л + М"^(|С — С) < ^Л[з], з = Р",... , п. Таким образом, иЛ[п] € иЛ. Соотношение ||«(■, 0) — ^тиЛ[п]|| < £л, имеющее место также в силу леммы 3.1, означает, что й+(Ы, ЫЛ) < ел. И

При сформулированных ниже дополнительных условиях можно гарантировать сходимость аппроксимирующих множеств к исходным в хаусдорфовой метрике.

Предположение 3.2. Функции «о, / , — кусочно-гладкие. При конечно-разностных аппроксимациях кусочно-гладкими считаем также функции С , и у. Предположение 3.3. Имеет место следующая сходимость

Иш й+(Ы(а),Ы) = 0. (3.5)

Здесь Ы(а) = Ы(а) (0; уО)

— информационная область в задаче гарантированного оценивания и(,0) в системе (1.1), (1.3) при ограничениях (1.2) и

С(■) € ~(а) = {С(-) € У : |С(*) — С(*)| < + а, п.в. * € Т}, где а > 0. (3.6)

Поскольку ЫСЫ(а), то й+(Ы,Ы(а)) = 0 и соотношение (3.5) означает сходимость ы(а к Ы в метрике Хаусдорфа. Сформулируем некоторые условия, обеспечивающие (3.5). Замечание 3.1. Предположим, что

с = 0, ио(-) € ¿2(В), С(*) = 0, * € Т

(3.7)

(3.8)

и система (1.1), (1.3), (3.7), (3.8) или, короче, система (1.1), (3.9)

г(г) = С(г) и(-,г), г € Т, (с = 0) (3.9)

непрерывно наблюдаема в конечный момент времени $ [12], т.е. существует такая константа К > 0, что для любого решения и(х, г) задачи (1.1) справедливо неравенство ||и(-,$)|| < К ||г||у, где У = £те(Т). Иначе говоря, ||С-1г|| < К ||г||у, где С — оператор, ставящий в соответствие функции и(-,$) сигнал г(-). В этом случае Л+(Ы(а), Ы) < К а.

Действительно, если и* € Ы(а), то найдутся ио € Ь2(Д) и £ € 2(а) такие, что для соответствующего решения и системы (1.1) имеем (3.4). Тогда для расстояния (в Ь2(Д)) между и* и Ы справедливы соотношения р(и*,Ы) = т£иеи ||и* — и|| = т£з ||С-1 (у — £) — С-1 (у — £)|| < К т£з ||£ — С||у < Ка и, значит, выполнено приведенное неравенство.

Замечание 3.2. Известно (см., например, [13]), что непрерывная наблюдаемость эквивалентна сильной наблюдаемости системы (1.1), (1.3), (3.7), состоящей [3] в том, что множество Ы($; у(-)) в задаче оценивания (1.1), (3.7), (1.3) с условием ||£||у < 1 ограничено в Ь2(Д) при любом наблюдаемом сигнале у(-). Операторы С(-), обеспечивающие непрерывную (сильную) наблюдаемость, существуют. Например, в случае точечных наблюдений достаточно рассмотреть стационарные, когда X(г) = X, где X/-1 является алгебраическим иррациональным числом какой-либо степени > 2, либо взять в качестве траектории наблюдения непрерывную функцию X(г), область значений которой совпадает с Д [3].

Замечание 3.3. Пусть Ц3(г) такова, что шт4еТ Ц3(г) = Ц* > 0, и сигнал у(-) — регулярный [3], т. е. найдутся число в, Ц* > в > 0, и хотя бы одна тройка функций {и0, с/, £}, порождающих этот сигнал в силу (1.1) — (1.3), такая, что |£(г) — £(г)| < Ц3(г) — в, п.в. г € Т. Тогда

Л+ (Ы(а),Ы) < С (||ио|| + |М| + Нс/Н^д) + Нс^Над)) а(а + в)-1. (3.10)

Действительно, если и* € то найдутся и0 € Ы0, / € ^ и £ € 2(а), дающие (3.4).

Функции ид = Ли0 + (1 —Л)и0 € Ы0, /л = Л/ + (1—Л)/ € Т порождают решение ил задачи

(1.1), для которого с(г)ил(-,_г) = у(г) — £л(г), £л = Л£ + (1—Л)£, причем |£л(г) — £(г)| < Л |£(г) — £(г)| + (1 —Л) |£(г) — £(г)| < Цз(г) — Лв + (1 —Л)а. Полагая Л = а/(в + а), получаем £л € 2 и, значит, ил(-, $) € Ы. Но ||и0 — ил|| = Л|и0 — и0|| < ЛС(||и0|| +1|^1|) и аналогично для ||/ — /л||ь2(0). Теперь из (2.2) следует оценка сверху для ||и(-,$) — ил(-,$)||, обеспечивающая (3.10).

Теорема 3.2. Пусть выполнены все условия, сформулированные в разделе 1, предположения 3.1 и 3.2, а Ыт, Ыт, ЫА ЫА — множества, фигурирующие в теореме 3.1. Тогда

Л+(Ыт,Ыа) < £т, Л+(Ыт,Ы) < £т + Л+ (Ы(НЫ),

Л+(ЫА,Ыа) < £а, Л+(Ыа,Ы) < £А + Л+(Ы(<ЧЫ), (. )

где 8т, ¿а, £т и £а имеют такую же форму, как в теореме 3.1.

Для доказательства нам потребуются две леммы. Доказательство первой аналогично доказательству леммы 3.1, вторая проверяется с помощью формулы Ньютона — Лейбница.

Лемма 3.2. Пусть ит(г) и иА[?] — 'решения систем (2.3) и (2.5), а и^(х,г) и и^Т(х, г) — решения системы (1.1), в которой входные данные равны соответственно

и* = ^тит, с/л(-,г) = ^т(сЕт(г)) при п.в. г € [0,$],

. (3.12)

и£ = ^тит с/лт(■, ■) = £0^т(сЕА[-]).

Тогда

|«Л (-,0) — ^тит(0)|| < С (йт||«т||т + йт/2(/о? ||сВт(*)||т ^)1/2),

о т т о т

||С(*) «*(■,*) — Ст(*) «т(*)||у < С (йт|«т ||т + йт(/о? ||сВ т(*)|т ^)1/2),

и„лг (^,0) — ^тил[п]| < С ((йт+Т") ц«т||т + (йт/2+ТУ2) (Т" Е"=1 |свл[з ]цт)1/2), ||С«*Т — «Л)||У < С ((йт + Т") ||«т||т + (йт + тЛ) (Т" Е"=1 |сВЛ[з] ||т)1/2).

Лемма 3.3. Пусть «т, В^), Ст() и СЛИ удовлетворяют включениям (2.7)-

(2.11), функции Д /*т имеют вид (3.12), а С*(*) = Ст(*), С*Т(■) = ^^^СЛ[^]. Тогда при выполнении предположения 3.2

€ ыовт) € ^(вт) /€ ^(вД) С* € 2(Йт+7п) С€ 2(йл+7п)

где вт = Сйт; вл = С(йт + Т"); 7" = СТ"; 6т и 6л введены выше; 2(а) определено в (3.6);

Ы((а) = {«(■) € ¿2(В) : |«о(ж) — «о(ж)| < ^1(ж) + а, п.в. ж € В};

Т(а) = {/(■, ■) € ¿2(3): |/(ж,*) — /(ж,*)| < ^(ж,*) + а, п.в. ж,* € 3}.

Доказательство теоремы 3.2. Докажем, например, четвертое из неравенств (3.11). Любой функции «* € ЫЛ отвечает некоторая тройка {«т, с ВЛ, СЛ}, удовлетворяющая (2.7), (2.9), (2.11), такая, что для соответствующего решения «Л[^] системы (2.5) имеем ^т«Л[п] = «*(■) и (2.6). Построим в силу (3.12) функции и с/*Т и рассмотрим соответствующее им решение «*Т системы (1.1). По лемме 3.3 € Ыдвт), /Нт € Т(вд). Далее можно заметить, что у(*) = «*Т(■,*) + С*Т(*), где С*Т(*) = З&СЛ + £"?СЛ«Л — + у — причем ввиду лемм 3.2, 3.3 и кусочной гладкости у( ■ ) получаем, что

С*Т € 2(ЙЛ+7п+гд+СТп) = 2(йд) (здесь и далее для краткости используется условная запись для добавок, отражающая порядок их малости). Таким образом, «*Т( ■ ,0) € Ывт>свд>йд, где символом Ыа1'а2'аз = Ыа1'а2'аз(0; у( ■ )) обозначена информационная область системы (1.1), (1.3) с неопределенностями из Ыо(а1), сТ(а2) и 2(аз). Соотношение |«*Т( ■ ,0) — «*( ■ )|| < ел, имеющее место ввиду леммы 3.2, означает, что й+(ЫЛ, Ывт>свд>йд) < ел.

Докажем теперь оценку типа й+(Ыа1'а2'аз,Ыо'о'аз+С1(а1+а2)) < С2(а1 + а2). В самом деле, каждой функции «*€Ыа1>а2>аз соответствуют некоторые «о €Ыо(а1), /€Т(а2), С € 2(аз), такие, что для соответствующего решения « имеем (3.4). Построим «о по правилу «о (ж) = «о(ж) при |«о(ж) — «о(ж)| < ^1(ж), «о(ж) = «о(ж) + ^1(ж) при «о(ж) > «о(ж) + ^1(ж), «о(ж) = «о(ж) — ^1(ж) при «о(ж) < «о(ж) — ^1(ж). Тогда «о € Ыо и |«о(ж) — «о(ж)| < а1. Аналогично построим / € Т, |/ — /1 < а2. Неравенства (2.1), (2.2) обеспечивают, что для порождаемого функциями «о и / решения « имеем ||«(■ ,0) — «( ■ , 0)|| < С2(а1 + а2) и |у(*) — С(*)«( ■ , *) — £(*)| < ^3(*) + а3 + С1(а1 + а2). Значит, «( ■ ,0) € Ыо'о'аз+С1(а1+а2), и упомянутая оценка верна.

Используя полученные оценки и неравенство треугольника для й+, учитывая вид вт и вл, а также вспоминая, что Ыо,о>гд = Ы(йд), получаем четвертое из неравенств (3.11).

4. Внешние оценки и численное моделирование

Для нахождения внешних оценок множеств Ыа и Ы можно использовать параллелепипе-дозначные оценки решений аппроксимирующих задач. Например, если построены параллелепипеды РЛ+[з] Э иЛ[з], з = 1,... ,п, то й+(Ы,^тРЛ+[п]) < ел по теореме 3.1.

Пример 4.1. Построим внешние оценки для множества достижимости U0 и информационной области U системы (1.1)-(1.4), (1.6), в которой а = 0.1, l = 1, c =1, 5 = 0.5, § = 10, X(t) = l(| sin(2n(t—5)/(§—5)) |)1/2, Uo(x) = sin(nx), ^i(x) = 0.6sin(nx), /(x,_t) = 1.1 при 0.8 < x < 0.9 и f(x,t) = 0 при остальных значениях x £ D, w2(x,t) = 0.12, £(t) = 0, w3(t) = 0.1, сигнал y(t) порожден решением u системы (1.1), соответствующим u0 и f, где u0(x) — это отрезок ряда Фурье (30 первых членов) кусочно-линейной функции u0: u0(x) = x/A при 0 < x < Л, u0(x) = (l—x)/(l—Л) при Л < x < l, Л = 0.25, а f (x,t) = 1 при 0.8 < x < 0.9 и f(x,t) = 0 для остальных x; помеха £(t) = 0.1cos(nt). Полагаем n = 5(m+1).

Построим внешние оценки PA+[k] = P(pA+[k],PA+[k],nA+[k]) для множеств и

UA[k] в системах (2.5), (2.7), (2.9) и (2.5), (2.7), (2.9), (2.13). Ниже для краткости индексы m, n и А в обозначениях опускаем. Оценки P + [k] строим по рекуррентным формулам [5]:

P0+[k] = P+1+[fc] (B P + [k — 1] + tBW[k]), k = 1,..., n, P +[k] = / P"+[k] при оценивании U0 [k],

/ [k] = j P+2+[fc](P0+[k^ E[k]) при оценивании U[k], (4.1)

P +[0]= P+i+[0](U0),

где символом P + (U) обозначена [5] операция построения внешнего для множества U параллелепипеда, наименьшего по включению среди всех параллелепипедов с матрицей ориентации P. Варьируя матрицы P 1+[k] и P2+[k], получаем семейство внешних оценок.

Выбирая в (4.1) матрицы P 1+[k] и P2+[k] единичными на каждом k-м шаге, несложно построить трубки P0 +[■] и P+[-], образованные параллелепипедами с гранями, параллельными координатным плоскостям, как бывает при классических интервальных вычислениях [14, 15]. Вычисление P +[k] на основе P0+[k] в (4.1) производится с помощью следующего предложения, которое несложно проверить, пользуясь результатами [16].

Предложение 4.1. Пусть P = P (p,P,n), Е = E(c,s,a) и Pf] Е = 0. Тогда P +(Pfl Е) = P(p, P, П), где

p = p + Pdiag {n}diag {v}(r+-r-)/2; П = diag {(r++r-)/2} п; а = Abs (sPdiag {n});

± f min{1,7±/aj - 1}, если а, = 0, ± ™

r± = < , j = 1,...,m; = а T sp ± c + >

j 1 в противном случае,

Vj = 1, если spjn > 0, и Vj = —1, если sp^ < 0, i = 1,..., m. Пересечение Pf] E непусто

+-

тогда и только тогда, когда y и 7 неотрицательны.

0 0.2 0.4 0.6 0.8 1

x

Рис. 3.

0 0.2 0.4 0.6 0.8 1

x

Рис. 4.

Символ diag {v} (или diag {vi}) означает диагональную матрицу, диагональные элементы которой равны компонентам vi вектора v; символом Abs C обозначена матрица абсолютных величин элементов матрицы C.

На рис. 1 изображены границы области U0 и крестиками — моделируемое начальное условие u0 ( • ), на рис. 2 — границы множества допустимых значений правой части в уравнении (1.1) при каждом t и крестиками — реализация f ( • , t). Порождаемое уравнением измерений фазовое ограничение представлено на рис. 7. На рис. 3 показаны моделируемое решение u( •, • ) при t = 0 (крестиками), а также границы и центры внешних оценок для информационной области U(0; y( • )), построенные при m = 49, m = 99 и m = 199 (соответственно точечными, штриховыми и сплошными линиями). Для изучения качественной картины добавки в (2.11) были взяты в виде (3.1), где число C = 0.15 подобрано так, чтобы обеспечить непустоту оценок P + [k]. На рис. 4 изображены для сравнения границы и центры внешних оценок для множества достижимости Ua(0) и информационной области U(0; y( • )), полученные при m = 199 (серым и черным цветом соответственно), а также функция u( •, 0).

Как известно, при таком выборе матриц ориентации может проявиться нежелательный "эффект упаковывания" [17]. В [4] отмечалось, что отказ от постоянства матриц ориентации и их ортогональности может помочь избежать этого эффекта. Следуя [4], рассмотрим сначала оценки для Ua[k]. Фиксируя P 1+[0] и выбирая матрицы P 1+[fc] = P + [k], k = 1,... , n, "в силу системы" конкретизируем формулы (4.1) с учетом (2.7), (2.9):

p+[k] = B (p+[k-1] + т r [k]), k =1,...,n, p+[0] = p[0]; P *[k] = BP+[k-1], N [k] = diag {||p" [k]||}, P+ [k] = P *[k] N [k]-1, k =1,...,n; n+[k] = N [k](n+[k-1] + т Abs (Q[k-1])p[k]), k = 1,...,n, n+[0] = Abs(Q[0])n[0];

Q[k] = N [k] Q[k-1] B-1 = N [k] Q[k-1](E - а2тА), k =1,...,n, Q[0] = P+[0]-1. (4.2) Здесь ||p*i[k]| — значения евклидовой нормы столбцов матрицы P*[k]; матрицы Q[k] —

обратные к P +[k]. Вычисление произведений типа Bv = (E — ö2tA)-1v можно проводить экономичным способом (методом прогонки [10]).

Численное моделирование при P +[0] = E показало неустойчивость схемы (4.2) (уже при m = 9 наблюдается отклонение элементов Q[n]P + [n] — E от нуля порядка 0.1).

Поэтому были рассмотрены оценки, построенные по формулам, вытекающим из (4.2), когда P 1+[k] = P +[0], а в качестве столбцов P +[0] взяты собственные векторы матрицы

3 2.5 2 1.5 1

0.5

0.2 0.4 0.6 0.8 x

3 2.5 2 1.5 1

0.5

0.2 0.4 0.6 0. x

Рис. 5.

Рис. 6.

1.5-

1 -

0.5-

-0.5-

46 t

Рис. 7.

8 10

50

100

150

200

Рис. 8.

A: P +[0] = h1/2(n1 ■ ■ ■ nm}. При этом P + [k] = P +[0], Q[k] = Q[0] = P +[0]т и упрощаются формулы для n+[k] = n°+[fc]: п"+ [k] = diag (р,}(п+[к-1] + т Abs (Q[k-1])p[k]), k = где pi — собственные числа матрицы B. При построении оценок P + [k] для информационных областей U[k] в соотношениях (4.1) полагается P2+[k] = P 1+[k] = P+[0].

Построенные таким образом оценки для рассматриваемого примера иллюстрируют рис. 5 и 6, аналогичные по содержанию рис. 3 и 4. Здесь значения верхней и нижней границ для u(x, t) в момент t = $ в узлах сетки xmi равны значениям опорной функции p(/|P + [n]) = sup(/Tu : u G P + [n]} на соответствующих векторах I = ±ег, где ег = (0,..., 1,... , 0)т (единица стоит на i-м месте) — i-й орт в пространстве IRm. Итак, построены простые внешние оценки для U и U и очерчены границы для возможных значений u(x,t) при t = Видно, что учет результатов измерений позволил сузить границы возможных значений. К сожалению, оказалось, что в соответствующих параллелепипедах P"+ [n] и P + [n] величины полуосей n+[n] < п^ + [n] только для i = 1, а для остальных значений i = 2,... , m имеют место равенства п+ [n] = п^ + [n]. По-видимому, это является следствием жесткости системы (2.5) (большой разброс собственных чисел матрицы B приводит к большому разбросу величин полуосей n+[n] ^ n+[n] ^ ■ ■ ■ ^ п^ [n], затрудняющему оценивание). Величины полуосей параллелепипедов P +[n] при m = 199 показаны на рис. 8, где п+ [n] и 6.27 < n^+[n] и 11.95. Хотя области, показанные на рис. 3, кажутся "меньше", чем на рис. 5, следует иметь в виду, что параллелепипеды P +[n] и P+[n] имеют разные матрицы ориентации, а на рисунках показан результат проектирования на орты в IRm. В качестве меры для сравнения "величины" [7, с. 101] ортогональных параллелепипедов в IRm можно рассмотреть, например, сумму квадратов полуосей p1(P(p, P, п)) = £™=1(пг)2 или объем p2(P) = vol (P). В случае m = 199 получилось, что p1(P+[n]) и 32.40 < p1(P +[n]) и 59.26,

0

0

0

2

0

(P+ [n]) ~ 1.69 • 10-35 > p2 (P +[n]) ~ 0 (машинный нуль), т.е. P+[n] "меньше", чем P + [n], в смысле критерия pi (pi(P/~ [n])/pi(P +[n]) ~ 0.55) и значительно "больше" — в смысле критерия p2 (p2(P+[n])/p2(P +[n]) ~ 0.29 • 10390). Моделирование проводилось в системе MATLAB 5.

Список литературы

[1] КУРЖАНСКИЙ А.Б. Управление и наблюдение в условиях неопределенности. М.: Наука, 1977.

[2] КУРЖАНСКИЙ А.Б. Гарантированное оценивание распределенных процессов по результатам наблюдений // Вестн. Моск. ун-та. Сер. 15. Вычисл. мат. и кибернетика.

1995. №1. C. 33-40.

[3] Kurzhanski A.B., Khapalov A.Yu. An observation theory for distributed-parameter systems //J. Math. Sys., Estimat. & Control. 1991. Vol. 1, No. 4. P. 389-440.

[4] КОСТОУСОВА Е.К., КУРЖАНСКИЙ А.Б. Гарантированные оценки точности вычислений в задачах управления и оценивания // Вычисл. технологии. 1997. Т. 2, №1. C. 19-27.

[5] KOSTOUSOVA E.K. State estimation for dynamic systems via parallelotopes: optimization and parallel computations // Optimization Methods & Software. 1998. Vol. 9, No. 4. P. 269-306.

[6] ЛОТОВ А.В. О понятии и построении обобщенных множеств достижимости для линейных управляемых систем в частных производных // Докл. АН СССР. 1981. Т. 261, №2. С. 297-300.

[7] Kurzhanski A.B., VAlyi I. Ellipsoidal Calculus for Estimation and Control. Boston: Birkhauser, 1996.

[8] ЛАДЫЖЕНСКАЯ О.А. Краевые задачи математической физики. М.: Наука, 1973.

[9] Березин И.С., ЖИДКОВ Н.П. Методы вычислений. Т. 2. М.: Физматгиз, 1962.

[10] Самарский А.А. Теория разностных схем. М.: Наука, 1977.

[11] КОСТОУСОВА Е.К. Приближенные методы решения задач оценивания для систем с распределенными параметрами. Дис. ... канд. физ.-матем. наук. Свердловск, 1991.

[12] El Jai A., Pritchard A.J. Sensors and actuators in distributed systems // Int. J. Control. 1987. Vol. 46, No. 4. P. 1139-1153.

[13] СИВЕРГИНА И.Ф. Обратимость и наблюдаемость эволюционных систем // Докл. АН.

1996. Т. 351, №3. С. 304-308.

[14] Алефельд Г., Херцбергер Ю. Введение в интервальные вычисления. М.: Мир, 1987.

[15] Калмыков С.А., Шокин Ю.И., Юлдашев З.Х. Методы интервального анализа. Новосибирск: Наука, 1986.

[16] ViciNo A., Zappa G. Sequential approximation of feasible parameter sets for identification with set membership uncertainty // IEEE Trans. Automat. Contr. 1996. Vol. 41, No. 6. P. 774-785.

[17] Gogban A.N., Shokin Yu.I., VERBiTsKii V.I. Simultaneously dissipative operators and the infinitesimal wrapping effect in interval spaces // Вычисл. технологии. 1997. Т. 2, №4. С. 16-48.

Поступила в редакцию 1 июля 1999 г.