CC BY
53
УДК 519.216.73, 517.982.4
DOI: 10.14529/mmph160103
СЛАБОЕ И ОБОБЩЕННОЕ ПО СЛУЧАЙНОЙ ПЕРЕМЕННОЙ РЕШЕНИЯ СТОХАСТИЧЕСКОЙ ЗАДАЧИ КОШИ С АДДИТИВНЫМ ШУМОМ1
О.С. Старкова2
Работа посвящена решению абстрактной стохастической задачи Коши для уравнения Х'(0 = AX(t)+BW(t) с оператором А, являющимся генератором полугруппы класса С0 в гильбертовом пространстве Н, с белым шумом W в другом гильбертовом пространстве Н и линейным оператором В: Н^Н. Рассмотрены два подхода к решению поставленной задачи: подход Ито, когда решается интегральная задача с интегралом Ито по винеров-скому процессу, и подход, основанный на анализе белого шума в исходной дифференциальной задаче в пространствах функций, обобщенных по случайной переменной. Изучена связь между полученными решениями.
Ключевые слова: стохастическая задача Коши; белый шум; винеровский процесс; слабое решение; распределение, обобщенное решение.
Введение
При построении различных математических моделей, учитывающих случайные возмущения, возникает задача Коши для дифференциально-операторных уравнений с белым шумом в качестве неоднородности. Среди них базовой является задача Коши для уравнения первого порядка с оператором А, действующим в некотором сепарабельном гильбертовом пространстве Н и являющимся генератором полугруппы класса С0 :
X '(0 = АХ (г) + BW(t), г е[0,т),т<~, X (0) = С, (1)
где W(t) - белый шум со значениями в другом сепарабельном гильбертовом пространстве Н, В - линейный оператор из Н в Н .
При указанных условиях задача (1) является некорректной из-за нерегулярного поведения белого шума, обусловленного независимостью случайных величин W(í1), W(í2) при г1 = г2 и бесконечной вариацией. Чтобы преодолеть проблемы, связанные с нерегулярностью процесса белого шума, будем рассматривать два подхода к решению стохастической задачи (1).
Первый состоит в использовании исчисления Ито, главная идея которого в том, чтобы вместо решения уравнения собственно с шумом, работают с его «первообразной» - винеровским процессом [Ж(г),г > 0} . Этот математический аппарат позволяет изучать задачу Коши для стохастического дифференциального уравнения вида
сХ (г) = АХ (г)Л + ВСЖ (г), X (0) = С, (2)
которое является краткой записью интегрального уравнения X (г)-С = ^АХ + ¡'всСЖ (?) (см., например, [1-5]).
Второй подход в конечномерных пространствах появился в последних декадах двадцатого столетия и известен как анализ белого шума. В работе [6] Т. Хида определил пространства белого шума таким образом, что стало возможным рассматривать функционалы от броуновского движения как функционалы белого шума. Поскольку белый шум можно считать производной броуновского движения, траектории которого непрерывны, но нигде не дифференцируемы в обычном смысле, естественно считать траектории белого шума элементами пространства Шварца S'. Поэтому при построении вероятностного пространства белого шума берут О = S' и вводят гауссовскую нормализованную меру т на ст-алгебре В(^') борелевских подмножеств S'. Анализ белого шума дает математический аппарат, в рамках которого все случайные
1 Работа проводилась при финансовой поддержке РФФИ, проект № 13-01-00090, и поддержке Правительства РФ, акт 211, договор № 02.A03.21.0006.
2 Старкова Ольга Сергеевна - аспирант, кафедра математического анализа и теории функций, Уральский федеральный университет, г. Екатеринбург, Российская Федерация.
E-mail: [email protected].
переменные рассматриваются как функционалы траекторий белого шума, то есть функции, определенные на S' (в конечномерном случае см., например, [7-10]).
Чрезвычайно важным является тот факт, что в рамках этой теории процесс белого шума определен и оказывается бесконечно дифференцируемой функцией переменной t со значениями в пространстве обобщенных случайных величин. Это дает возможность перейти от рассмотрения проинтегрированных уравнений Ито к изучению собственно дифференциальных уравнений.
Первая попытка расширения анализа белого шума на гильбертово-значный случай была предпринята в работе [11], где были введены пространства основных и обобщенных случайных величин со значениями в гильбертовом пространстве. В работах [12, 14] рассматривается несколько другой подход: используются пространства скалярно-значных основных случайных величин, чтобы определить обобщенные случайные величины со значениями в гильбертовом пространстве как линейные непрерывные операторы на этих пространствах. Полученные таким образом пространства обобщенных Н -значных случайных величин имеют ту же структуру, что и пространства, построенные в [11], но новый подход позволяет определить в гильбертово-значном случае 8-преобразование, произведение Уика и доказать связь между интегралом Ито и интегралом Хицуды-Скорохода от операторно-значных случайных величин, которую мы и будем использовать при сравнении слабого и обобщенного решения.
В настоящей работе приводится исследование слабого решения задачи (2) и обобщенного по О решения исходной задачи (1); доказывается совпадение решений на пересечении условий существования каждого из них.
1. Подход Ито. Слабое решение стохастической задачи Коши
Пусть (О, ¥, Р) - вероятностное пространство с нормальной фильтрацией {¥, t > 0} и Н , Н - сепарабельные гильбертовы пространства, Q - линейный симметричный, неотрицательный оператор следа с системой собственных векторов {е,}, образующих базис в пространстве Н,
такой что 2е, = (,е,, > а, < ¥ .
Определение 1. Н -значный стохастический процесс WQ = {Ж ^), t > 0} называется 2-винеровским, если
(Ж 1) Ж2 (0) = 0 п.в.;
(Ж 2) Ж имеет независимые приращения;
(Ж 3) закон распределения приращений Ж ^) — Ж (5) является нормальным с матожиданием ноль и ковариационным оператором ^ — 5)2 ; (Ж4) Ж имеет непрерывные траектории п.в.
2 -винеровский процесс, определенный таким образом, является обобщением броуновского движения. Как известно, Н-значный процесс броуновского движения {Ь(0, t > 0}, где Ь(0 = Ь,(),(е О, (определяемый через выполнение условий ^1) - ^4) в случае Н = М и 2 = I) имеет, в отличие от белого шума, непрерывные траектории и конечную вариацию.
Конечномерное броуновское движение - это конечная сумма вида ^, где е, - базис в
М", р, - независимые броуновские движения. При переходе к бесконечномерному случаю вместо расходящегося в Н ряда приходится рассматривать регуляризованную сумму :
Ж ^) := Т(3Ь3 Ц)е,-, t > 0, Ж2 ^) е Ь2 (О;Н), (3)
1=1
которая и является (Н -значным) 2 -винеровским процессом. Формальный ряд
Ж^)=: ^)е, (4)
1=1
Старкова О.С. Слабое и обобщенное по случайной переменной решения
стохастической задачи Коши с аддитивным шумом
называют цилиндрическим винеровским процессом. Этот ряд расходится в Т2(ЦН) , но для всех
Ие Н ряд I (*)е1,И) является сходящимся в Т2(П,Н). В [1] показано, что ряд (4) сходится
в ¿2(П,Н1) для некоторого пространства Н1 с Н, такого, что оператор вложения Н в Н1 является оператором Гильберта-Шмидта. В частности, Ж будет Q1 -винеровским процессом в
пространстве Н1 = Q11/2H с нормой ||И|| Н = Ql1/2 И , где Q1 - произвольный оператор следа.
11Н-
,1/2,
Н
Будем рассматривать слабое решение абстрактной стохастической задачи Коши (2):
СХ ^) = АХ (ОЛ + ВСЖ ^), X (0) = С,
где С - ^0 -измеримая Н -значная случайная величина, оператор А порождает полугруппу
класса С0 ограниченных операторов решения однородной задачи; В :Н ® Н - линейный
ограниченный оператор, {Ж> 0} - Н -значный Q -винеровский или цилиндрический
винеровский процесс.
Н -значный случайный предсказуемый процесс X = {Х> 0} называется слабым решением задачи Коши (2), если |0||Х(5)||<¥ п.н. (Ра5) и
(X(í),у) = (С,у) + {0<Х(5), А*у^ + (ВЖ(0,у), Р^. у е СатА*. (5)
По аналогии с классическим случаем решение задачи (5) ищется в форме
Х(I) = 5(Г)С + ^5(Г - э)ВСЖ(5),(> 0, (6)
где 5 = {5(^), t > 0} является полугруппой операторов решения соответствующей однородной задачи.
Имеет место следующая теорема [1, 3-5].
Теорема 1 Пусть А - генератор полугруппы 5 = {5), t > 0} класса С0, В :Н ® Н , {Ж^), t > 0} - Н -значный Q-винеровский или цилиндрический винеровский процесс и ¥(.$•) = 5^ - 5)В, t > 5 > 0, удовлетворяет условию существования интеграла Ито:
2
1
£1 < (4%; := I¥=1
2 е
= Тг(5), где Q = I в случае
цилиндрического винеровского процесса. Тогда для любой -измеримой Н -значной случайной величины С случайный процесс (6) является единственным слабым решением задачи (2).
2. Обобщенные по О решения стохастической задачи Коши
Обобщенные по О решения строятся в пространствах обобщенных случайных величин
(5) (Н), 0<р< 1, являющихся расширением пространства (Т2)(Н):= Т2(5Н).
В первую очередь, для определения (5) (Н), введем пространство белого шума -вероятностное пространство (5 ',Б(5 '),т), где В(5') - борелевская а-алгебра подмножеств пространства Шварца распределений медленного роста и ¡1 - нормализованная гауссовская вероятностная мера на В(5') (мера Минлоса-Сазонова), определенная таким образом (см. [5, 14]), что элементы 5' можно рассматривать как траектории белого шума.
Далее, обозначим через (Т2) пространство Т2(5 М) всех М -значных интегрируемых с квадратом по мере ¡1 функций (случайных величин), определенных на 5'. Обозначим через ||| |0 норму этого пространства. Для любых в,це 5 выполняются следующие равенства
((■,0),Ш)(Т2Л = Е((-,0)(-,л)) = (0,л)ь, ||(-,в)| 12 = Е(-,в)2 =| в|02.
Отсюда следует, что отображение в^ (-,в) можно по непрерывности продолжить с 5 на Т2(М), и, значит, М -значная случайная величина Ь(0 := (-Дт^]) определена как элемент
пространства (Ь2). Это случайная величина имеет непрерывную версию, которая обладает всеми свойствами броуновского движения [12].
По аналогии с тройкой Гельфанда S с Ь2(М) с S* для пространства (Ь2) строится цепочка пространств (5) с ... с (5р) с ... с (Ь2) с ... с (5—р) с ... с (5)*, где элементы пространств (5р) и (5—р) определяются в соответствии с поведением (убыванием или возрастанием, соответственно) коэффициентов Фурье в разложении по стохастическим полиномам Эрмита
КО) := Пч (X,(»,(е 5',ае Т,
1=1
где Те (К и {0})М - множество всех возможных конечных мультииндексов,
х2 - х2 1 1 X
^(х) = (—1)'е 2 —-е 2 - полиномы Эрмита, X(х) = к 4((1 — 1)!) 2е 2Н—1(\[2х) - функции
йх1
Эрмита. Функции Эрмита являются собственными функциями дифференциального оператора
й 2
Г =--- + х2 +1: £>Х = (2')Х,' е N и образуют ортонормированный базис пространства Ь2 (М) .
йх
В работе [10] Кондратьев и Стрейт расширили пространство Хиды обобщенных случайных величин (5)*, столкнувшись с необходимостью охватить некоторые функционалы белого шума, необходимые в приложениях. Они ввели в рассмотрение пространство (5)— как правый элемент
тройки Гельфанда с тем же пространством (Ь2) в центре и более узким пространством основных
функций (5 )р, где 0 £р£ 1 - некоторый фиксированный параметр. Таким образом,
пространства основных и обобщенных случайных величин Хиды стали частным случаем пространств Кондратьева и Стрейта, соответствующими случаю параметра р = 0 :
(5)р с (5)0 = (5) с (Ь2) с (5)* = (5)—0 с (5)—р.
Пространство (5)р основных функций определяется равенством (5)р = оре^ (5р )р , где
(5р )р = \Ф= ЪЧК е (Ь2); X (Ч)1+Р I Фа |2 (2М)2 ра < ¥ \
I аеТ аеТ J
с нормой | • |р р , порожденной скалярным произведением
Ф)р,р = X(а!)1+рФаУа(2К)2ра, (2К)ра := П(2')Ч
аеТ 'еМ
и оснащается топологией проективного предела. Пространство (5 р ) р - пространство, сопряженное к (5р )р .
И, наконец, введем пространство Н -значных обобщенных функций (5) (Н) над (5)р . Пусть Н - сепарабельное гильбертово пространство со скалярным произведением (•, •) и нормой Ц, (Ь2)(Н) - пространство Н-значных, определенных на 5' функций, интегрируемых с квадратом по Бохнеру по мере 1. Пусть {е, - ортонормированный базис в Н, тогда семейство {Ьае, }аеТ,образует ортогональный базис в (Ь2)(Н).
Пространство (5) (Н) определяется как пространство линейных непрерывных операторов Ф: (5)р ® Н с топологией равномерной сходимости на ограниченных подмножествах пространства (5)р . Действие Фе (5)—р(Н) на фе (5)р будем обозначать Ф[ф].
Старкова О.С. Слабое и обобщенное по случайной переменной решения
стохастической задачи Коши с аддитивным шумом
Теперь в пространствах (Б)_р(Н) представим Q -винеровский (3) и цилиндрический
винеровский (4) процессы через разложение по стохастическим полиномам Эрмита. Для этого покажем конструкцию независимых броуновских движений / (;) в формулах (3) и (4).
Из разложения единичной функции по функциям Эрмита
]= ¿X (7)
1=1
следует, что для любого ;е М случайная величина /(;) = ],•) может быть разложена в пространстве (12(М)) в ряд по стохастическим полиномам:
<1^],•) = ¿Х(?№„,•) = ¿^Х,с!т(Хп,•) = ¿ЦХ(О^; (8)
п=1 п=1 п=1
где еп =(0,0,...,1п,0,...). Используя форму коэффициентов этого разложения, можно построить счетное семейство одинаково и независимо распределенных броуновских движений в (I2):
/у (;) = ¿|ХХ (, где «(•, •): N хN ® N — биекция такая, что п(1, у) > у при 1, ] е N [5]. 1=1
В пространствах (Б)_р(Н) цилиндрический винеровский процесс имеет следующее разложение:
Ж(0 = ¿/у (^ = ¿Ж£п (;)Кп, Ж£п (;) := (п) е Н (9)
уеН пеН
где 1(п),у(п) е N таковы, что п(1(п), У(п)) = п и ;е М .
Q -винеровский процесс представим следующим равенством
WQ(;) = = (О^, (;) := ^ !&п)(п) е H,;е М. (10)
уеN nеN
В [14] доказано, что ^ (;) е (12)(Н), Ж(0 е (Б_х)_р(Н) с (Б)_р(Н) для любого 0 <р< 1. Определим Н -значный Q -белый шум равенством
к(;):= ¿у(;)Ч(г;/, = ¿К«ч, К(ъ=*и->(*теH,
1, jеN ' nеN
полученным формальным дифференцированием равенства (10), и сингулярный белый шум — равенством
К(;) := ¿ X, )Ч(,;) = ¿К£п (04, Кп (;) = X,(п)(;)е;(п) е H,
I, nеN
полученным формальным дифференцированием равенства (9). Q -белый шум и цилиндрический белый шум принадлежат (Б^) (Н) с (Б)_р(Н),р е [0;1] (см. [14]).
2.1. ^-преобразование. Произведение Уика. Интеграл Хицуды-Скорохода
Прежде чем перейти к обобщенному по О решению и сравнению его со слабым решением, введем необходимые определения Б -преобразования, произведения Уика и интеграла Хицуды-Скорохода.
<• в) _ 1|$|2
Пусть Ев (•) := е 2 0 . При ве Б эта случайная величина определена на всем пространстве Б' и принадлежит (Б)р , для 0 < р < 1. При этом справедлива оценка
2р_1 2 I Ев | р,р < 2р/2ехр[(1 _р)^=р|в|рр]. Определение 2. Пусть Фе (Б )_р(Н), 0 <р<1. Б-преобразованием Ф называется Н -значная функция, определяемая равенством
(БФ)(в) := Ф[ев], ве Б.
Заметим, что если Фе (Х2)(И), то
(5Ф)(в) = | Ф(ю)ев(а>)<1т(ю) = Е (Фев), (11)
при этом равенство (11) верно и при ве Ь2(Ш).
Пусть Н - еще одно сепарабельное гильбертово пространство. Поскольку ЬНЗ (Н;Н) -пространство операторов Гильберта-Шмидта, действующих из Н в Н - является сепарабельным гильбертовым пространством, можно ввести в рассмотрение пространство (5)_р (Ьнз (Н; Н)) обобщенных случайных величин со значениями в Ьнз (Н; Н) над (5)р . Пусть
^е (5) (ЬНЗ(Н;Н)), Фе (5) (Н). Рассмотрим их 5-преобразования. Для любого ве Б имеем 5¥(в) е ЬН8 (Н;Н), 5Ф(в) е Н, поэтому ^(в) := (в)5Ф(в) е Н .
Определение 3. Пусть ¥е (5)_р (ЬНЗ (Н; Н)), Фе (5)_р(Н) (0 <р<1). Обобщенная случайная величина 0е (5)_р(Н) называется произведением Уика функций ¥ и Ф и обозначается ¥0Ф, если 50 = .
Функция Ф( ): М ® (5)_р(Н) называется интегрируемой на [0;Т], если существует такое
ре N , что Ф(0е (5_р)_р(Н) для всех tе [0;Т] и Ф интегрируема по Бохнеру на [0;Т] как функция со значениями в гильбертовом пространстве (5_р )_р (Н).
Определение 4. Будем называть (5) (ЬНЗ(Н;Н))-значный случайный процесс ¥(¿) интегрируемым по Хицуде-Скороходу на промежутке [0;Т], если процесс ¥(¿) ◊W(t) интегрируем на [0;Т] как (5) (Н) -значная функция. В таком случае будем называть интеграл
|о )<т(1)ж
интегралом Хицуды-Скорохода от ).
2.2. Стохастическая задача Коши в пространствах обобщенных случайных величин и сравнение решений
Для того, чтобы рассмотреть стохастические дифференциальные уравнения в гильбертовых пространствах как уравнения в пространствах обобщенных случайных величин, сначала для пары произвольных сепарабельных гильбертовых пространств Н1 и Н2 распространим действие линейных операторов из Н1 в Н2 на действие в соответствующих пространствах обобщенных случайных величин (5 )_р(Нх) в (5 )_р(Н2).
Пусть сначала Ае £(НХ,Н2) . Определим его действие как оператора из (5)_р(Нх) в (5 )_р(Н2) равенством
АФ := XАФ>„, для Ф = е (5)_р(НД (12)
аеТ аеТ
Если А неограничен, определим (йвтА) как множество всех Х«ЕТФ«Ь«е (5)_р(Нх), таких, что Фае йвтА для всех ае Т и условие Х(Г=Т(а)1_р1 АФ^|Н (2N)_2ра < ¥ выполнено
для некоторого р е N . Тогда равенство (12) определяет на (йвтА) линейный оператор, действующий из (5)_р(Нх) в (5)_р(Н2). Нетрудно проверить замкнутость этого оператора для
А , замкнутого оператора из Н1 в Н2 .
Пусть Н и Н - сепарабельные гильбертовы пространства, А - замкнутый линейный оператор, действующий в Н , В е £(Н,Н). Задача Коши для уравнения первого порядка в пространствах обобщенных случайных величин в общем случае имеет следующий вид:
X'(0 = АХ(0 + В<М(0, t > 0, X(0) = С- (13)
Старкова О.С.
Слабое и обобщенное по случайной переменной решения стохастической задачи Коши с аддитивным шумом
В силу того, что В - детерминированный оператор, получим B◊W(t) = BW(t) , отсюда следует, что задача Коши (13) во введенных пространствах обобщенных случайных величин принимает вид:
X) = АХ(0 + BW(t), t > 0, X(0) = С, (14)
где W(t) - Н-значный Q белый или сингулярный белый шум. Далее приведен результат [14] о существовании и единственности решения этой задачи в пространстве (^)_р(И), то есть о существовании и единственности (^ )_р(И )-значной дифференцируемой функции X ^), удовлетворяющей (14).
Теорема 2 Пусть А является генератором полугруппы ^), t > 0} класса С0 в гильбертовом пространстве Н, В е ¿(Н,Н), W — определенный выше Q-белый или цилиндрический белый шум. Тогда
X (0 = £(0С+ (tS(t - s)B◊W(s)ds (15)
» 0
- единственное решение задачи Коши (14) в пространстве (5)-р(Н) для любого Се (0отА) .
Из вида слабого и обобщенного по О решений следует предположение об их совпадении на пересечении условий существования. Пусть оператор А порождает полугруппу (5^> 0} класса С0, начальное условие С лежит в области определения оператора А, оператор В удовлетворяет условию существования интеграла Ито
~ Ггн II2
и произвольное вероятностное пространство (О, ^, Р) = В(5)',т).
Теорема 3. Пусть А - генератор полугруппы класса С0, Се (ОотА) и Ж - Q-винеровский процесс. Тогда обобщенное по О решение (15) и слабое решение (6) совпадают.
Доказательство. В силу детерминированности оператора S^ - 5)В и из разложения Q -белого шума по стохастическим полиномам Эрмита интеграл в решении (15) определяется следующим образом:
Е
< ¥
(16)
{Ъ^ - 5)ВШ(5)а5 = {Ъ(t - 5)BW(s)ds = X О {Ъ(t - 5)В(5)еХ (5)05Ъ£п(1,,. (17)
I, }еП
В рассматриваемом нами случае для доказательства теоремы достаточно показать, что интеграл в равенстве (17) совпадает с интегралом Ито:
{^ (t - 5)В0Ж (5) = {Ъ (t - 5) BW(s)ds. (18)
В первую очередь покажем, что сумма (17) принадлежит пространству (¿2)(Н) = ',т;Н).
Этот результат следует из равенств:
{ 2 , { \2 X О2 {5 ^ - 5)ВеХ (5)05 = X X ({X (5) (, (t - 5) Ве}, gk )Н 05) =
1, уеН Н },кеШеП^ '
[ из разложения единичной функции ] по функциям Эрмита (7) следует ]
1
42 "X {01(5а-ДО,gk)н1205 =
= X 1[0,г](*^ -)Ве}, gk)
¿о
=XI; X ^ (t-•) ^2 е}, gk ={; X
0
уеН ¿еН
5^ -5^2е,
2
Н
{0И5(t - 5)В
2
ш1
Здесь (gk} - ортонормированный базис в Н . Доказательство равенства интегралов (18) в пространстве (¿2)(Н) проведем для элементарных функций с последующим переходом к
пределу. Покажем (18) на элементарных функциях ¥п (5) = X^^п , приближающих 5^ - 5)В :
1
N—1 t
ioYn(s)W(s)ds = I j>n(sj(S)dsk = I ^ nkX(s)dse}h=
;, jeN i, jeN k=0 k—1
N-1 N-1
tk
IYnk I I" XWseyh = „k [W(tk) — W(tk—1)] = „(t)dW(t).
k=0 i, jeN k—1 k=0
Переходя к пределу при n ® ¥ , получим (18). Отсюда следует, что обобщенное по w и слабое решения совпадают при условии их существования.
Аналогично в случае, когда W (t) - цилиндрический винеровский процесс, доказывается, что
интеграл jQS(t — s)BW(s)ds := IijeNj0S(t — s)BeJXi(s)dshe ( ^ определяет элемент пространства
2 Ct
(L )(H), который совпадает с интегралом Ито I S(t — s)BdW(s). Отсюда следует:
»0
Теорема 4. Пусть A - генератор полугруппы класса C0, Ze (domA), и W - цилиндрический винеровский процесс. Тогда обобщенное по w решение и слабое решение совпадают.
Литература
1. Da Prato, G. Stochastic equations in infinite dimensions / G.Da. Prato, J. Zabczyk. - Cambridge Univ. Press, 1992 - 454 p.
2. Gawarecki, L. Stochastic differential equations in infinite dimensions / L. Gawarecki, V. Mandrekar. - Springer-Verlag Berlin Heidellberg, 2011. D0I:10.1007/978-3-642-16194-0
3. Melnikova, I.V. Abstract Stochastic Equations I. Classical and Distributional Solutions / I V. Melnikova, A.I. Filinkov, U.A. Anufrieva // J. of Math. Sciences. - 2002. - Vol. 111. - Issue 2. -С. 3430-3465.
4. Melnikova, I.V. Abstract Stochastic Problems with Generators of Regularized Semigroups / I.V. Melnikova, A.I. Filinkov // Commun. Appl. Anal. - 2009. - Vol. 13, № 2. - С. 195-212.
5. Альшанский, М.А. Регуляризованные и обобщенные решения бесконечномерных стохастических задач / М.А. Альшанский, И.В. Мельникова // Матем. сб. - 2011. - Vol. 202, № 11.
- С. 3-30. DOI: 10.4213/sm7686
6. Hida, T. Analysis of Brownian functionals / T. Hida. - Ottawa: Carleton Univ., 1975. - 61 c.
7. Stochastic partial differential equations. A modeling, white noise functional approach. 2nd ed. / H. Holden, B. Oksendal, J. Uboe, T. Zhang. - New York, NY: Springer, 2010. - 305 p. DOI: 10.1007/978-0-387-89488-1
8. Kuo, H.-H. White Noise Distribution Theory / H.H. Kuo. - Boca Raton, FL: CRC Press, 1996, -378 p.
9. Huang, Z. Introduction to Infinite Dimensional Stochastic Analysis / Z. Huang, J. Yan. -Dordrecht: Kluwer Academic Publishers; Beijing: Science Press, 2000. - 296 p.
10. Kondratiev, Yu.G. Spaces of white noise distribution: Constructions, Descriptions, Applications. I / Yu.G. Kondratiev, L. Streit // Reports on Math. Phys. - 1993. - Vol. 33. - Issue 3. -С. 341-366.
11. Filinkov, A. Differential equations in spaces of abstract stochastic distributions / A. Filinkov, J. Sorensen // Stochastics and Stochastics Reports. - 2002 - Vol. 72, № 3-4. - С. 129-173.
12. Альшанский, М.А. Интегралы Ито и Хицуды-Скорохода в бесконечномерном случае / М.А. Альшанский // Сибирские электронные математические известия. - 2014. - Т. 11. - С. 185199.
13. Melnikova, I.V. Generalized solutions of differential-operator equations with singular white noise / I.V. Melnikova // Differential Equations. - 2013. - Vol. 49, № 4. - С. 475-486.
14. Мельникова, И.В. Анализ белого шума в приложениях к стохастическим уравнениям в гильбертовых пространствах / И.В. Мельникова, М.А. Альшанский // Современная математика. Фундаментальные направления. Труды Крымской осенней математической школы-симпозиума.
- РУДН, М., 2014. - Т. 53. - C. 30-63.
15. Stroock, D.W. Multidimensional diffusion processes. Reprint of the 2nd corrected printing (1997) / D.W. Stroock, S.R.S. Varadhan. - Berlin: Springer, 2006. - 338 с.
Поступила в редакцию 13 декабря 2014 г.
Старкова О.С.
Слабое и обобщенное по случайной переменной решения стохастической задачи Коши с аддитивным шумом
Bulletin of the South Ural State University Series "Mathematics. Mechanics. Physics" _2016, vol. 8, no. 1, pp. 19-27
DOI: 10.14529/mmph160103
WEAK AND GENERALIZED WITH RANDOM VARIABLE SOLUTIONS OF STOCHASTIC CAUCHY PROBLEM WITH ADDITIVE WHITE NOISE
O.S. Starkova1
The article describes the solutions of an abstract stochastic Cauchy problem for the X'(t) = AX(t)+BW(t) equation with the A operator, which is the generator of a semigroup of C0 class in a Hilbert space H with the white noise W in a different Hilbert space H and a linear operator B: H^H. Two approaches to solve the problem are considered: the Ito integral approach, when the integral problem is solved with ito integral following Wiener process; the approach based on the analysis of the white noise in the original differential problem in the function spaces generalized with random variable. The relation between the solutions is defined.
Keywords: stochastic Cauchy problem; white noise; Wiener process; weak solution; distribution; generalized solution.
References
1. Prato G.Da., Zabczyk J. Stochastic equations in infinite dimensions. Cambridge Univ. Press, 1992, 454 p. DOI: 10.1017/CBO9780511666223
2. Gawarecki L., Mandrekar V. Stochastic differential equations in infinite dimensions. SpringerVerlag Berlin Heidellberg, 2011. D0I:10.1007/978-3-642-16194-0
3. Melnikova I.V., Filinkov A.I., Anufrieva U.A. Abstract Stochastic Equations I. Classical and Distributional Solutions. Journal of Mathematical Sciences, 2002, Vol. 111, Issue 2, pp. 3430-3465. DOI: 10.1023/A: 1016006127598
4. Melnikova I.V., Filinkov A.I. Abstract stochastic problems with generators of regularized semigroups. Commun. Appl. Anal., 2009, Vol. 13, no. 2, pp. 195-212.
5. Alshanskiy M.A., Mel'nikova I.V. Regularized and generalized solutions of infinite-dimensional stochastic problems. Sbornik: Mathematics, 2011, Vol. 202, no. 11, pp.1565-1592. DOI: 10.1070/SM2011v202n11ABEH004199
6. Hida T. Analysis of Brownian functionals. Carleton Mathematical Lectures 13. Ottawa, Carleton Univ., 1975, 61 p.
7. Holden H., Oksendal B., Uboe J., Zhang T. Stochastic partial differential equations. A modeling, white noise functional approach. 2nd ed. New York, NY: Springer, 2010, 305 p. DOI: 10.1007/978-0387-89488-1
8. Kuo H.-H. White Noise Distribution Theory. Probability and Stochastics Series. Boca Raton, FL: CRC Press, 1996, 378 p.
9. Huang Z., Yan J. Introduction to Infinite Dimensional Stochastic Analysis. Dordrecht: Kluwer Academic Publishers; Beijing: Science Press, 2000, 296 p.
10. Kondratiev Yu.G., Streit L. Spaces of white noise distribution: Constructions, Descriptions, Applications. I. Reports on Math. Phys. 1993, Vol. 33, Issue 3, pp. 341-366. DOI:10.1016/0034-4877(93)90003-W
11. Filinkov A., Sorensen J. Differential equations in spaces of abstract stochastic distributions. Stochastics and Stochastics Reports, 2002, Vol. 72, no. 3-4, pp. 129-173. DOI: 10.1080/10451120290019177
12. Alshanskiy M.A. The Ito integral and the Hitsuda-Skorohod integral in the infinite dimensional case. Sib. Elektron. Mat. Izv, 2014, Vol. 11, pp. 185-199. (in Russ.).
13. Melnikova I.V. Generalized solutions of differential-operator equations with singular white noise. Differential Equations, 2013, Vol. 49, Issue 4, pp. 475-486. DOI: 10.1134/S0012266113040083
14. Mel'nikova I.V., Alshanskiy M.A. Proceedings of the Crimean autumn mathematical school-symposium, CMFD, PFUR, Moscow, 2014, Vol. 53, pp. 30-63. (in Russ.).
15. Stroock D.W., Varadhan S.R.S. Multidimensional diffusion processes. Reprint of the 2nd corrected printing (1997). Berlin, Springer, 2006, 338 p. Received December 13, 2014
1 Starkova Olga Sergeevna is Post-Graduate Student, Department of Mathematical Analysis and the Theory of Functions, Ural Federal University, Ekaterinburg, Russian Federation. E-mail: [email protected]
