Исследования по теории условно-гауссовских процессов тема автореферата и диссертации по математике, 01.01.05 ВАК РФ

Глонти, Омар Александрович АВТОР
доктора физико-математических наук УЧЕНАЯ СТЕПЕНЬ
Вильнюс МЕСТО ЗАЩИТЫ
1990 ГОД ЗАЩИТЫ
   
01.01.05 КОД ВАК РФ
Автореферат по математике на тему «Исследования по теории условно-гауссовских процессов»
 
Автореферат диссертации на тему "Исследования по теории условно-гауссовских процессов"

*

ВИЛЬНЮССКИЙ УНИВЕРСИТЕТ

На правах рукописи

ГЛОНТИ ОМАР АЛЕКСАНДРОВИЧ

УДК 519.21

ИССЛЕДОВАНИЯ ПО ТЕОРИИ УСЛОВНО-ГАУССОВСКИХ ПРОЦЕССОВ

01.01.05 - Теория вероятностей и математическая

статистика

АВТОРЕФЕРАТ

диссертации на соискание ученой степени доктора физико-математических наук

ВИЛЬНЮС-1990

Диссертация выполнена в Тбилисском ордена Трудового Красного Знамени Математическом институте ин.А.М.Раэмадэе АН Грузинской ССР. .

Официальные оппоненты - доктор технических наук,

профессор Р.Ш.Лигщер

- доктор физико-математических наук Г.В.Лрзгараускас

- доктор физико-математических наук,профессор Е.Ф.Царьков

Ведущая организация - ■ Институт математики АН УССР

Зашита состоится "_"___1990г.в

час, на заседании Специализированного совета Д 061.01

при Вильнюсском университете по адресу: 2320С6,г.Вильнюс, уд.Hayгардуко,24,факультет математи ки,ауд.101.

С диссертацией ножно-ознакомиться в научной библиотек Вилыяосского университета(ул.Университето,3).

Автореферат разослан к_"_;_ 1990 г.

Ученый секретарь .специализированного совета

доц.П.С.Вайтк^

Актуальность теда. Интерес к исследовали о условно-гауссов-ских процессов .возник в связи с проблемами теории оптимальвий нелинейной фильтрации случайных процессов. Оказалось, что дополнительные ^оотноиения меэду условными старшиг'' кементаки, получаемые в силу условной гауссовости приводят к замкнутости уравнений оптимальной фильтрации и проблема находит адъективное разрешение. Впервые условно-гауссовские процессы были изучены Р.Ш. Липцером и А.Н.Ьиряевым в связи с исследованием вопросов фильтрации, интерполяции и экстраполяции (ФИЭ) частачно-наблвдасглых диффузионных процессов. Они же обнаружили замечательное свойство этих процессов - замкнутость системы уравнений фильтрации, т.е. возможность эффективного решения задач ФИЭ. Условно-гауссовские последовательности и задачи ФИЭ для них исследовались автором. Результаты названных вше и ряда других исследований по теории условно-гауссивских процессов и приложению результатов этой теории в статике случайных процессов, в теорию стохастического управления и теории информации вошли в монографию Р.ЫДищера и А.Н.кшряева "Статистика случайных процессов",заслужившую всеобщее признание специалистов.

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

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

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

управления и т.д.),- так и ряда важных практических проблем (например, связанных с прогнозированием природных явлений или с управл нием летательньх аппаратов).

Ап'лробация работы.Результаты работы доклэдавались автором на II и III научных сессиях Института прикладной математики Тбилисского госуниверситета (I97Ü и 1971), на международных конференциях по теории вероятностей и математической статистике в Вильнюсе (1973,1981 и 1985), на Европейских конгрессах статистиков в Праге (1974) и в Варне (1979),на III и 1У Советско-Японских симпозиумах по теории вероятностей и математической статистике в Ташкенте. (1975) и в Тбагсиси (1982), на У Международном симпозиуме по теории информации в Тбилиси (1978), на Международном симпозиуме по стохастическим дифференциальным уравнениям в Вильнюсе (1978), на Х11-ХУ Всесоюзных зимних коллоквиумах по теории вероятностей и математической статистике в Бакуриани (1978-1982), на семинарис по теории вероятностей и математической статистике Института математики АН 7ССР в Киеве (1982), на семинаре по теории вероятностей и математической статистике в Киевском госунивер- ■ ситете им.Т.Г.Шевченко (1982), на семинаре по случайны; процессам в Институте математики и кибернетики АН'Литовской ССР н Вильнюсе (I982) и на городском семинаре по теории вероятностей и математической статистике в ТашГУ (1983).семинаре по теории вероятностей и математичас-кой статистике Института прикладной математики и механики АН УССР в Донецке (1984). На научной сессии МИАН ГОСР (1987).

Публикация .Основные результаты диссертации опубликованы в [l] -[251 •

Структура и обьем работы.Работа состоит из введения, 7 глав,разбитых на две части и списка литературы, содержащего 104 наименования работ отечественных и зарубежных авторов. Обший объем диссертации вместе со списком литературы - 312 страниц.

- б -

В автореферате для теорем использована тройная нумерация: первый номер указывает соответствуете паву, второй - параграф внутри главы, третий - номер теоремы в параграфе.

гервая часть работы "Процессы, обладавшие свойством условной гауссовости" (гл.1 - У) посвящается собственно проблемам

теории условно-гауссовских процессов.

В главе I - "Условно- гауссовские последовательности"- развивается метод, позволявший единым образом охватить доказательство принадлеиности частично-нлблодаеиых последовательностей, управляемых конечно-разностными уравнениями, линейными относительно иекабгвдаемой компоненты, к классу уссовно-гауссовскик процессов и вывод замкнутой системы уравнений фильтрации дяя оптимального в среднеквадратическом смысле фильтра и ошибки отслекивания, Метод оказывается эффективными при исследовании условно-гауссовских последовательностей со значениями в гильбертовых пространствах и условно-гауссовских непрерывно-дискретных схем;

В § I рассматривается частичио-наблвдаем-я последовательность = , Ъ = (Д>0) , управляемая системой стохастических уравнений вида - -X*)

где вектор-функции а, - Са" .•••> » ( А». .... , A0g) и

матрицы а, А, . &, , . В, . Вг ( к*к Куе . к у к . к » . 1*1 - порядков, соответ-

ственно) ирадпогагаится яеупрекдавщими, т.е. при кавдои i из -херимыми относительно = ,s-íQ , го,(fc)~ ("U),, 00, ...j^ikO^

= (-UJ,,«0 , tültCt)) -киЕ -мерные raye-совские последовательности с независимыми компонентами, у которых Mu)PVt0=0 , M [iOFtCt) -tUp^s)]1 s i-s , fc¿ s, P = ; p:2,lí(¡,<:t; ©„ и предполага-

ется независимыми от tüj и U)t

Теорема I.I.T. Пусть о вероятности)! априорноераспре-делеяие р (Qo < эс^о) - Р (в,№) í эй , ,.6 ДО) < x^gj) является нормальным с параметрами га=М(б„\!)и Г ='Н[(60-

- т)(_Э„-пг)* ]?о") > тогда с вероятностью I апостериорное распределение Р(в^х^) =р(е,Ш<а, .... ,6*00***1??) такие является нормальным с параметрами т(л) = М и

^ = » удовлетворяющими раз-

ностным уравнениям

- СА0а,1) +, ruto)-=гг1, (3) ^ = (-MUJO + а.ВДггага.Ю^ + а.а.Е)!: +

+ П" аг 0,1) - [Се + а,ад) л)Г, А", {±£) +

где

(Ш Ш = Ш; В",«,?) + .

(в ° в) са) = в, и,?) ) + вдов; сш.

£ - е-адичная матрица порядка к* к. , - матрица сопряженная к С , С* - матрица псевдообратная к С .

Из приведенных примеров следует обратить внимание на пр;с.:ер 2 (с подпримерами 3 и 4), в котором иллюстрируется возможность эффективного использования полученных в параграфе результатов при исследовании такой задачи статистики "случайна процессов, как оценивание параметров процесса конечной авторегрессии. >

В § 2 доказывается теорема об условной гауссовости (теорема ,1.2.1) для частично-набдюдаемых последовательностей (б^ь), ¿ = с компонентами, принимающими значения из бесконечномерного гильбертова пространства 1 управляющимися системой конечноразностных уравнений вида (I), (2) .• Получены уравнения оптимальней фильтрации, в которых фигурирует такие объекты,как измерише линейные отображения относительно условных гауссовсккх мер.

В качестве иллюстрации приведены примеры. Першй из них посвящается уравнениям Калмана-Быоси в сепарабельном гильбертовом пространстве. Рассмотрим пример 2, в котором частично-наблвдаемая последовательность с компонентами из сепарабельного гильбертова прост-, рансгва И определяется соотношениями

9Н( + б-ЛВдигав ;

и/, - Мю) , (иг2(«) , мг.ш 6Н, иг4(уен , ЫО.а,...,

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

кэ И

" (I -lUS-tf^™8 ~ некотоРие ковариационные операторы в Н . 60бН гауссовский элемент со средним М- и ковариационным оператором Г ,не- авискмый от W", и .

Дня условного среднего и условного ковариационного операто-

ра г;,, (при условии У*, ) ненаблюдаемой компоненты 9 получаются соотношения

mU)= L(tt?tM у m,sm, ,

Г4,г-^jS^-ft)^WS^fe)S„BW, Г0-Г,

где для каждого t L-Ш J*ig<1 - измеримое линейное отображение, ассоцироваяноегоператором Гильберта-Шидта T(fr) = {^(OS.B'^-tB WS.B'Wi4 t - мера, отвечающая .т.е. распределение

Третий параграф посвящается установлению условий гауссовости для частично-наблкщаемых процессов и полей с дискретными по времени наблкдениями как для случая, когда ненаблюдаемая компонента управляется стохастическими линейными дифференциальными уравнениями, задача, изученная П.И.Кицулом, так и для случая, когда она управляется стохастическим дифференциальным уравнением с.частными производными параболического типа (теорема 1.3.2). Приводятся замкнутые системы конечно-разностных уравнений фильтрации для оптимальных оценок и ошибок отеле-, живания. Задача фильтрации для таких частично-на .'лвдаемых непрерывно-дискретных процессов имеет несомненно интерес, т.к. описываемая ситуация близкз к реальной - динамические системы непрерывно эволюциониру? ют, а получить информацию о их поведении удаётся только в дискретные моменты времени.

. Во второй главе "Фильтрация условно-гауссовских процессов диффузионного типа" исследуются частично- наблюдаемые процессы, описываемые следующей системой стохастических уравнений

^ , [сиш+а, + ¿Л'Й.ЮМю , (5)

где ии,- и ТА),.» ДО " независимые

вико^овские процессы, а коэффициенты - неупревдавщие относительно ^ функционалы.

В § I приводится известная теорема Липцера-Ширяева об условной гауссозости и об уравнениях оптимальной фильтрации для процессов, описываемых уравнениями (5), Г6). Во второй параграфе в условиях этой теоремы для оптимальной оценки фильтрации получается одно стохастическое уравнение.взамен традиционной системы уравнений для и оиибки отелей аивания - М [(Д-. Результат формулируется в виде следующей теоремы •

Теорема 2.2.1. Оптимальная оценка фильтрации частичяо-каб-. людаеыого процесса ( ^ е [0,Т] , описываемого систе-

мой. стохастических ураввений (5), Сб) в условиях теоремы Липпе-ра-ИиряеЕа , удовлетворяет следупцеку стохастическому дифференциальному уравнение

- [а0а + а, и в ^ д) +

+ <пг>, +

- 2 а, (*.!) г& аЛ^Ш^

т. = т-

где <т-> - квадратичная характеристика мартингала

с ъъь ~ т>ь - | (йД^-Г) + а.С^пг^ск , т, к

параметры априорного нормального распределения

В частной случае системы (5), Сб) с 0-, » = это уравнение имеет следующий вид (пример I)

. = А ( ^3) [-<™>4 + £ ^ (А 5 Б'Ч^, пг пг,

о

где Ш - обновляющий процесс, - характеристика мартин-

гала (ггц,7^) . Заметим, что <ш> = ^ Ь ,

- «о

где вокальное время мартингала гп.к з ^ £ К,'.

Теорема 2.2.2.- представляет многомерный аналог теоремы 2.2.1.

В 5 3 для частично-наблюдаемых диЭДузиоцных процессов, т.е. процессов, управляемых уравнениями (5), (б) с коэффициентами, зависящими в момент ^ от ? только через » получается новое представление для оценок фильтрации интересное

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

Теорема 2.3.1. Пусть £Дх) В"'(1.*) и А, С*.*)В'1^) непрерывны и имеют непрерывные частные ¡¿оиэводные по 1 и сс яа [О.Т^х^1 . Тогда в уеювиях георемы Липцера-Ширяева оптимальней опенка фильтрации гп.^ = ^ (Э^Т^) имеет следующий вид

IV,!. Г 4

ГТК

Ч

^ О в *

где удовгетворяет ди$>ерендиал1.ноиу уравнении Риккати из

традиционной системы уравнения фи1ьтрапии Липпера-Еиряева,

^ в а,(ьдг) -Т, ^Ь} _ А,МЛ

% ^

^ - ^ I\(л,*) В'Ч^х)+ а.^") 4

° о ^ ^

-{[а.а^-ио

\ [ д.а.х) в-ч^а* -т, А.а^в^аддА^)-

" ^ ^ [ а . ^, Ге ьчк &.

Вопросы, рассматриваемые в атак параграфе иа об1встк"ро-бастноа" фигьтрааим, важность которой обус*ов*ена возмовносты> аффективного прквовения её резуяьтатовк реечный физическим про-вессаи. Приводимое здесь представ*евие (8) д«я ггц >® котором отсутствуют стохастические интеграны явиется одних из первых , езултатов в этой области. В кастояиее время робастное стохастическое мсчисяенме и роОастяая фииьтрания интенсивно развмва-

ются благодаря исследованиям Х.Досса, Г.Сусмана, Я.Кларка, • М.Дэвиса, Г,%Ш1ера, Б.Григелиокиса, Р.Микулявичуса и др.

Нй использовании преобразования типа (7) основывается вся следующая третья глава "Уравнения фильтрапио. .¡ого типа и прен отавяение для оптимальных опенок фильтрации". Она посвящается рассмотрению случайного процесса (X«. , Ь б [РЛ"! ,

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

о

где М = - локальный непрерывный справа мартингал,

ЛОг) » ■* непрерывные справа процессы ограниченной вариации. Эту систему уравнений (по аналогии с системой уравнений для тгь> , и Т^ ) мы будем именовать уравнениями фильтрационного типа,

В $ I исследуется проблема редуцирования системы уравие-» вий (9) - (II) к системе обыкновенных интегральных уравнения, параметризованных величиной из основного вероятностного прос-* транства, а для компоненты ^ получается явное представление без стохастических интегралов.

Теорема ЭЛЛ. Пусть непрерывна

и имеет непрерывные частные производные первого порядка по всем переменным , а такае ( дV,. V,., «

л^ , г е Со,т] .

где

О о

Тогда

У

О л/ и £ ' « А ' »

. , ,.... -Жи.

' о О

п

где у - некоторый процесс ограниченной вариации

Во втором параграфе показывается ктким образом использовать основную теорему 3.1.1, чтобы для случая частично-наблсдаемого процесса, описываемого уравнениями

+ -г N. , (12)

О

(А/= (Уь,?^) , М = гауссовские мартингалы с непрерыв-

ными справа траекториями, <Х(Л) и- » - непрерыв-

ные справа детерминистические функции ограниченной вариации) стохастические уравнения, полученные Д.Й.Хадкиевым, редуцировать к уравнениям параметризованным по со £ _0_ и навти для оценки Фильтрации представление, в котором не входят стохастические интегралы.

I) В диссертации даётся представление дпя Ч"

В примере I рассматривается представление оценки фильтрации для случая частично-наблвдаемых процессов, управляемых (12), (13) с d(Ett)= àû(fl=it . для случая исследованного Р.ИЛип-цером.

В 5 3 вновь на основании результатов теоремы 3.I.I. получаются представления для оценки фильтрации процессов диффузион^ ного типа, из которого как частный случай получается представление (8).

В последнем параграфе ( § 4 гл.И) выясняется вопрос: насколько моягно расширить класс стохастических уравнении, которые редуцируются к параметризованным по u) 6 -û. обыкновенным уравнениям с помощью преобразования типа (7). Показывается, что к такому классу принадленат уравнения вида

О „ о -

В главе 1У "Системы с распределенными параметрами" изучается частичяо-набявдаемые процессы (б,?} - Д W) , Х&2) С t G 1*0,т] , управляемые следующей системой стохастических ивтегро-диф^ереяциаяьных уравнений с частными производными

+ e(Cx,l,1)d-uj,tt) +ç1,Cx)ti?)dxotCt), cw) <*Ш = (*,<:) dlx]dt ч- ВО&х^Ш, с 15)

где

•^^(uDXO.Tt") и UJfc = - независимые мевду со-

бой викеровские процессы; (бО*.0) ,^LoS) при каадом фиксированном octí> не зависит от W t и . Пусть выполнены следующие усювия

I) Начальное условие: ©Сх.О) = Ф[х) и для любого конечного множества аргументов {,óc.< j и = fji^j априорное совместное распределение

. р {<Р *е».....<? оо еи\ ?to>]j

является ( Р -п.н.) гауссовским с №(*) = Mt^O*^^] и YlsOsHt^W-m^i^eoíP-tt.«.) для кавдого X ££> , Ф(?с) имеет непрерывную по Гёльде'ру вторую производную.

2) Граничное усдовие: 0 С ас Л") и Хф(хЛ) -> О при a -V32) С ^2) - граница Я ), le Со.Т] •

3) Граница имеет аокалмое представление с непрерывной по Гёльдеру четвертой производной.

4) Ra R. (R. - замыкание R/=5)*[0,T] ) ковффидиенты * ограничены и непрерывны по Гёльдеру вместе с их первыми двумя производными по х .

5) Существует такое действительное число , О ,

что

í.

для любого вектора t

6) Для любых эс , ^ еЭ кавдый «а функционалов б^эсД,"-), 6ЬСасЛ.и) , > Н(х,В{и) предполагается неупрёвдающим (т.е. -измеримым, где 35е — алгебра в пространстве С - непрерывных ва [р/Г] функ-чя и, -

порожденная значениями и4 , $41; ). Пусть для каидого и £ С :

7) Коэффициенты 6,(эс,Ь,и) и и их первые четыре производные по компоненте ос ' непрерывны по Гёяьдеру иа

к. .

8) .©¡(хД.и), ^б^ЭС.Ъ.и) , \.-\,ъ . , стремятся х

вуаи при ос -^•'ЭЭ в {2,

9) Ядро Ь С у , ос , а.) ограничено, измеримо и непрерывно по Гёладеру по зс,Ь на & равномерно по , к-*0 при

10) Векторнозначная функция Н определена и

непрерывна на К»

11) В и,и-) непрерывна на СО.Т] и В*(1,а)В{Л,и>£ - поаокктельяо определена.

12) Для любых и, , 6 С '

| В (4.ч) - В (4.101*Ь, 5 I Ц.(Я - и^^ак(5) + Ц, | и,-

о ,

вга,и) < ь, (< + ак(5) + ц и + ,

о

где КО) - и ¿убывавшая непрерывная справа Функция, 0 ^ I £ [О.Т] » Ь, * 1-л г - некоторые константы.

Основной результат сформулирован в § I в ввде следующей теоремы

Теорема 4.1.1. Пусть выполнены условия I) - 12). Тогда частично наблддаеный случайный процесс (©«?)= (0(:хЛ),?бО),

1о;т"\ . удовлетворяющий системе стохастических интегро-дифферьациальвых уравнений с частными производными (Г'»), (15), является условно-гауссовским, т.е. для левых

и *обого конечного множества аргументов {.ос* , « = <7* 3 апостериорное совместное условное распределение

является ( Р - п.я.) гауссовским.

Вспомогательные предмвения для доказательства данной теоремы собраны во втором параграфе. Здесь доказываются предло-кения о существовании и единственности решения стохастических внтегро-дифферевпиальных уравнения типа (14), (15), которые возникает пр.. доказательстве теоремы 4.1.1, 1емма 2.3,в которой получается формула Байеса, * лемма 2.4, следствием которой является специальный вид теоремы Фубинк для стохастических интегралов, по-видимому, имеет самостоятельный интерес. В § 3 доказывается теорема 4.1.1 об условной гауссов^сти методом, разработанным Р.В.Липцером и А.Н. Ширяевым. Параграф 4 посвящается мартингальному выводу уравнения фильтрации, которые в силу условной гауссовости представляется в замкнутом виде. Уравнения для оптимальной оценки фильтрации пг(гсЛ) = И[613"^) и ошибки отслекивания = М [(8(ссЛ)-

- т. (^Л") ^ имеит следующий вид (теорема 4.4.1).

+К^л.адч^) + ] н" (9 гс^.зел)] ц' [¿т _

г; (* .V* = + Г (* ^ Л} + ^(у Л Я) Г л <и * + + -Г

+ 1н (г, СП)

с начальный условием пЦэс.О) =гп-(х) , ГС*^,0) = ^ и

граничным условием и О при

В гауссовском случае из уравнения (16), (17) получаются известные результаты ГДуанера. В последнем пятом параграфе для оптимальных оценок фильтрации частично-наблвдаемого процесса, управляемого уравнениями (14), (15) в марковском случае, т.е. когда зависимость от Щ, в коэффициентах в момент -Ь - только через значения Т; , получаются представления в форме, в которых отсутствуют стохастические интегралы. Это осуществляется такие, как в 5 3 главе П и главе Ш.

В главе 7 "Условно-гауссовские семиыартингалы, зависящие от параметра" изучается вопрос принадленяости к классу условно-га-уссовских частично-наблцдаеыых процессов, которые представляют собой семимартингалы, управляемые как и в предыдущей главе ин-

тегро-дифференпиаяьныии уравнениями с частными производными

= еса.о) * хе (*/>•) ^^ХА^ж^А^ + Сб.и^-.юамФ + Се^* , (18)

О ->0

во в которых стохастические интегралы по винеровским процессам ваменясгся на интегралы по гауссовским мартингалам Л/, и о непрерывными справа траекториями. Показывается, что след-» ствивм условной гауссовости является замкнутость системы уравнений фидьтрацяи м воэмовностъ эффективного решения задачи управления по неполным данным о квадратичным функционалом потерь. В первом параграфе приводится теорема об условной гауссовости (теорема 5.1.1). Второй параграф посвящается вспомогательным предложениям для доказательства этой теоремы. Иг них с.яезует отметить теорему об "обновлении"-' теорему 5.2.1. Результат её заключается в следующем: если са эадоя случайный процеос

о

где - веслучайная непрерывная функция ограниченной

вариации, - непрерывен« справа гауссовскиа

мартингал и

¿"о справедлива

Теорема 5.2.1. Случайный провесе является

гауссовским мартингалом с непрерывными справа траекториями'и

его характеристика <.R> .

Третий параграф посвявается уравнениям фильтрации. Они

имеют следующий вид

гтЦ%Л) - пг С*.о) + +

<Л (20) ГСх.^.О = Г(*.у.о) + Г(x^.s) +

о

♦GHli.stfrtM.OAa") ^ I( Д</7>1=0)]А<Л7>1 .

В § 4 рассматривается следующая задача стохастического гправления. Пусть частично-наблвдаемый управляемый случайный

процесс (6,Г) - (6C*,t).^Ct)') , ос ей С t 6 0>.П. за-1аетоя системой стохастических уравнений вида

+ £ [ 5 н (а,,) ей,«) сЦсь л к а).

Пусть функционал потерь имеет следующий вид

си (зд = и; ^ Й $ с* , е б ^ <ь- Н **+

Тогда оптимальное управление и, ,т.е. управление, для которого

СаСФ,0 = Щ Си(ЗД

и

( 1п| берётся по ноем допустимым управлениям), имеет вид

где находится из интегро-дифференциального уравне-

ния типа Риккати, б определяется из системы стохас-

тических уравнений фильтрации (20), (21). Это есть результат теоремы 5.4.1, который иллюстрирует " принцип разделения", в соответствии о которым задача оптимального управления по неполным данным распадается на задачу фильтрации и задачу управления по полным данным отфикьтроваввой системы.

Главы 71 и УП составляю? содернание второй части работы "Оптимальная передача гауссовоких сообщений", которая посвящается иллюстрации еффективиости использования результатов теории условно-гауссовоких процессов при исследовании такой проблемы теории информации, как оптимальввя передача гауссовских сообщений при передаче по каналу с обратной связью.

В главе УТ эта проблема исследуется для случая дискретяогв времени. Параграф I посвящен следующей задаче. Перадача гаус-совского сообщения 0 происходит по схеме

= [A.U.^) + А,(ДЖ)е"\л "+ . (г2>

где tO = i^i) . fc-О,, - гауссовская случайная последовательность с независимыми приращениями, независимая от О неупрекдаюиие функционалы А,(Л,5) и А,(Л,10 задаст кодирование.

Передача, осуществляемая схемой (22) представляет передачу гауссовских сообщений по каналу с аддитивным гауссовским аумок с обратной бесиуыиоя овязиз.

Задача зак отчается в нахождении кодирования (А», А,) и

а

декодирования в , оптимальных в смысле критерия

• дчо = ч м[е - , (2э)

где ü.f берётся повеем (А., АО и б , удовлетворявши» уояовияк

.U.^QeV «р.

Теорема 6.I.I. При передаче гауссовской случайной величии вы 9 ((m,)S')>f>0), по каналу (22)- оптимальные кодируйте фунхционалы А* и А* имеют вид

где оптимальное декодирование = mí!

и передаваемый сигнал определяптся из уравнений

- гь -

¿m" »\|р* Ü+P&) л?* , тя\ =rrv ,

соответственно. Ошибка воспроизведения сообщения

A"(t) «= —

В теореме 6.12 строится оптимальная схема передачи гаус-совокого процесса о дискретным временем 8t , t = O ü,... управляемого конечно-разностный ураввеяием

где тЗ = (u)t 3V) , t = О, Д , ... , - гауссовская случайная последовательность A/(o,t) с независимыми приращениями, не зависящая от Э0 . Ошибка вослроизвБденвд Д*0?) выглядит следующим образок

Второй и трети« параграфа посвяиавтся «сследовавии пробам ин передачи гауссовских сообщений (как ояучваиоа величины, так и провесов),, когда на обратный сигнал в канале накладываете« яук, т.е. сообщения передамся по cxei з

(25)

= А(Л ,6,-Щ) л + etW Ato, , • кс '

где функционал задает кодирование, обратный сигня;

имеет вид

nu.s) -

где П(Л.5) - преобразователь обратно посылаемого сообщении,

- шум в обратяом канале, предполагавшийся гауссовскиы. Задача заключается в яахокдеяяи кодирования А , декодировав

л

вия 9 и преобразователя Г\ , оптимальных в смысле йвад» рэтичного критерия <23). 3 § 2 изучается специальный линейный случай о

AUAf) + Atoe . (26)

Несмотря на простоту он даёт достаточный ий*ериад для В№» ивлеяия качественных отличима передачи по каналу о обратной "аувячей" связьв от передачи по каяеау о обратной "decayиной" :вязьп.

Теорема 6.2.1. При передаче гауссовокой /А/(т.,у) ,Т>04 :лучайяой величины б по схеме (25) (6(0íL) о коднрувщим (ункциоиалом (26) в условиях энергетического ограничения

»оптимальные кодируюз&з функция А*, преобрявоватеяь 'братво посылаемого сообщения П* иаевг вид

аЪ) + (Р, n-(t.5-)= + [i: -

(27)

ae TV* • Tk • ' зеслучайные фувкнии времени,

предеяяемые из • следувяих соотвовений

г* = —i-—t П О ^) »V =т,

~ , т" - о.

Оптимальный декодирующий функционал m,t

•>=Mtei-sf 1

определяется из конечно-разностного уравнения

Дггь; = + , m: = nv.

где

Ag* = Cl + Р&У AU>t "05 «• обновлявший процесс.

Уравнение для нахоадевия m.*/1' = имеет

следующий вид

Минимальная ошибка воспроизведения сообщения В §3 рассматривается общий линейный случай с

Аа.еД) - A.wf, + .

При энергетических ограничениях

Hi

1 ' (28) И ПЧЦ^ 6 (

(коистапты р г ^ • характеризует ®нергетические возмовности передающего устройства и преобразователя обратно посылаемого сообщения) в теореме 6.S.I даётся вид оптимальных А« . At 6" и П" . Ояибкв воспроизведения в случае передачу rayccoi ской A/(«',Y) случайной величины 8 выглядит следующим обре яом

№ л

к»0 1 + ,.Р . л

ечк)

где V определяется из специального соотношения, зависит от и. при стремится к нуда.

В 5 1 находится взаимная информация

1тсед) = М еа

¿С/'етЛ

С - мера, соответствующая процессу х ) сигналов б^б,,^ •§= (.5,,) ,(:= >••■ .Т . управляющихся конечно-раэностни-яи уравнениями (22), (24) (теорема 6.4.1) к (25) ( с линейным \), (24) (теорема 6.4.2).

В 5 5 исследуется задача оптимальной в смысле максимума взаимной информации передачи гауссовских оообвдгня дал случая дискретного времени в классе передач (25), удовлетворяет«* энергетическим условиям (28). На основании результатов теорем 6,4.1 и :.4.2 доказывается, что построенные в § I - § 3 оптимальные в змысле квадратического критерия передачи является оптимальными I в смысле максимума взаимной информации (тег темы 6.5.1 и 5.5.2).

В последней глазе УП "Оптимальная передача гауссовских сооба зений по каналу с обратной связью (непрерывный случай)" иссле-(уется следующая проблема. Гауссовское сообщение 9 переда-:тся по каналу с аддитивным белым иумом и с обратной "аумящей" ¡вязью, т.е. схема передачи описывается стохастическим дифферея-[иальным уравнением

А? = Аи,6,1)ал + 6С<0<Ь>„ , (29)

где Ю _ Cu)t ."ît) , -te винеровский процесс, фувкц:

о нал А задает кодирование, обратно посылаемое сообщение

П^ЛС + tt ,

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

- att)4»<U + Ut)dû)t ,

где ТУ = (й>к винеровский процесс, не "зэвисящш

от ХУ . Ставится задача построить"кодирующий А" , декодиругь

л м

иий 6* функционалы и преобразователь П , оптимальные в смысле квадратического критерия

лс-t) = Ц же. го

при энергетических ограничениях

MA4t,e,i)ép, (зо:

M rrtfc.Ç) ^ .

В § I исследован специальный пикейный случай с ,8 = 8 • Оптимальные А* и Г\* вида ( 27 ) и =

= îrv" = ГЛ(6Jîf) постРоевы Е теореме (7.I.I). Нтаииальная ошибка воспроизведения сообщения Л(Л) в случае передачи гауссовской A/(tn,y) случайной величины 0 ннеет вид

А (О = Т (.exp(--piYl[cUl , где (jkk - Гиперболический косинус.

В 5 2 изучаются линейные схемы передачи с

»

+ А,С^)Э и находятся (теорема 7.2.1) .оптимальные кодирующее функции А* и А* . декодирующий функционал и преобрвэоватепь обратно посылаемого сообщения П * . Оиибка

аоспроизведения в этой случае имеет вид

'де V определяется-из специального соотношения.

Результаты § 3 о взаимной информации сигналов правляемых стохастическими уравнениями позволяет установить, [то построенная в теореме 7,2.1 оптимальная схема передачи о шибкой воспроизведения (ЗГ) является оптимальной и з смысле аксимума взаимной информации (теореыа 7.3.2).

В 5 доказывается

Теорема 7.4.1. Среди всех кодирований, удовлетворявших нергетическии условиям (30), оптимальными в смысле квадратич« ого критерия является именно линейные кодирования, построение в теореме 7.2.1.

Аналогичный результат был известен для случая передачи по 5налу с обратной беспумноя связью. Он приводится в названной jne монографии Р.Ш.Липпера и А.Н.Ширяево-.

В 5 5 исследуется случай оптимальной передачи гауссовского logecca 9 = (6V , t £ [0Д"1 , управляемого линейным стохас-1ческии урявнением

det= a(t)8t<u +6Wàîï)t,

е Ю - (иЗчЗч) винеровский процесс.

В 5 6 вычисляется пропускная способность канала, описиваеио-стохастическиы уравнением (29), т.е. величина Ç, = iup X^Q^), где iop берется повеем сообщениям 0 и дированиян А , для которых стохастическое уравнение (29) еет единственное сильное решение и выполняются энергетические аовия (30).

В § V изучается оптимальвая передача гауссовских сигналов 6 = (в^-х) Л в [ОД"] ,ос уЪ с . называемых автором

сигналами "телевизионного" типа, по каналу с обратной "пуыяией' овязьв, описываемому стохастическим уравнением

2)

Находится взаимная информация сигналов (леыаа 7.1 )

1Т16.§) = г (и [СИ [ (н.и.1)+

2)

и строятся схемы передачи оптимальных в смысле максимума взаимной икфорна-ии при энергетическом ограничении на кодирующие функционалы В„ и Ц, (теорема 7.7.1).

Основные результаты по тем'? диссертации опубликованы в следующих работах автора:

1. Последовательная фк ьтрация компонент марковской цепи при вы

рокденностм матрицы диффузии.» Теория вероятн. и её примен., 1970, ХУ, Ч, 736-710.

2. Нелинейная фильтрация процессов, управляемых системой отсхас тических интегро-дифференциояьных уравнений с частными производными.- Международная конференция по теории вероятн. и мат. статистике. Тезисы докладов. Вильнюс, 1973, 169-172.

3. Передача гауссовских сигналов по каналу с обратной бесшумной связью (дискретный случай).- Сообщения АН ГССР, 1973, 72, 2 277-280. '

'I. О фильтрации одного класса условно-гауссовских процессов.-

Сообщения АН ГОСР, 1974. 75, 3, 545-548.

5. Об условной гауссо воста одного кяасса ояучайных процеооов.-Трудц института прикладной математики ТГУ, 17, Тбилиси, 1975, 237-248.

6. Передача гауссовских сигналов по каналу с обратной "аумноп" связьо,- И Советско-Японский симпозиум по теории вероятя. Тезисы докладе®, I, ФАН, Таккеят, 1975, 36-38.

7. О взаимной информации сигналов, управляемых кояечао-разност-ными стохастическими уравнениями.- Сообщения АН ГССР, 1976,

83, 2, 293-296.

8. Передача гауссовских сигналов по казаду с обратной овязьз.-Ггапа. VII Prague Conference on Information Theory, Statistical Deoioion Functions. Handom Procaaaaa and of the 1974 European Meeting of Statisticians, Vol. A, Prague, 1977, 141-151.

3. Optiioal non-linear filtering of a olaaa of partially observable ¿arkov proceaaea. - Applied Math, and Optimization,^/^, Hew York, 1977, 283-288. • '

ГО. Фильтрация усювao-rayccosских нзркоэекмх пр оцб ссоз? $ уnpsis** ляеиых стохастическая иятегро-диффереицйальаыин уравнениями с частными производными.- Вторая Вияьгесская конф. по теории вере.«» зтн. и мат.статистике. Тезиса докладов, I, Вильнпс, 1977, 100-'01. •

[I. О взаимной информации сигналов в случае передачи по каналу о »братноя "нумящей" связьи,- Теория вероятн. и её примен., 1978. 2, 395-397.

2. Stoohastic differential equation of the optimal non-linear iltering of the conditional Gaussian process. - International lyraposium on Stochastic Differential Equations. Abatraote of

- 32 -

Communications, Vilniua, 1973, 135-139.

13. Об одном представлении оптимальной опенки фильтрации Марков* оких процессов, управляемых стохастическими интегро-дифференци-апьными уравнениями с частными производными,- Теория вероятн. и её примен., 1978, ХХШ, 2, 856-861.

14. Оптимальная передача гауссовских сигналов по каналу с обратной аумящел связью,- У международный симпозиум по теории информации. Тезисы докладов, I, Москва-Тбилиси, 1979, 97-99.

о

15. A representation for the process governed by the systea of

stochastic equations of the filtration type.- 12-th European Meeting of Statisticians. Abstracto, Varna, 1979, 102.

16. Об одном представлении семимартингалов с гауссовской ыартив-гагьной частою.- Х1У Всесоюзная школа-коллоквиум по теории вероятн. и мат. с та тис тике. Бакуриани, 1980. Тезиса Докладов, "Кец-ииереба", Тбилиси; 1980, 12-13.

17. Stochastic differential equation of the optimal non-linear filtering of the condlt:-mal Gaussian process.-Lecture Botes in Control and Information Sciences, 25, Springer-Verlag, 1980, 152-

1б1г

18. A representation for в procesB governed hy a system of stochastic equation of filtration type.-Stoohastios, 4, 3, London, 1981, 247-263.

19. Об условно-гауссовских семинартингалак, зависящих от параметра.- ХУ Всесоюзная школа-коллоквиум по теории вероятн. и мат.статистике. Бакуриани, 1981. Тезисы докладов,"Ненниёреба", Тбилиси, 1981, 46-47.

Третья медц. Впльн.конф.по теории вероятн. и мат.статистике, Тезисы докладов, Ш, Вильнюс, 1981, 106-107.

21. Оптимальная передача гауссовского сигнала по каналу с обратной "шумящей" связью. - В ей. Исследования по теории вероятн. и мат.статистике, "Мещшереба", Тбилиси, 1982, 29-42.

22. Transmission of "television typo" signals through a feedback channel.-IT USSB-Japan Symposium on Probability Theory and Hath.Statistics, Abstracts of Communications, Yol. 1, Tbilisi,

1932, 232-233.

23. transmission of "television type" signals through a feedback channel.- Proceedings of the IT USSR-Japan Symposium on Probability Theory and Math. Statistics, bacture Botes in Math., 1021, Springer-Terlag, 1983, 157-166.

24. On the representation of observable component of conditional Gaussian process. -

t

- 1У медд. Впльн.конф. яо теории вероятн. и тт.статистике. Тезисы докладов, 17, Вильнюс, 1985, 94-95.

25. Исследования по теории условно-гауссовских процессов. -Мецниереба, Тб.: 1985, 196 с.