Научная статья на тему 'АНАЛИЗ ЛИНЕЙНЫХ СТОХАСТИЧЕСКИХ ИНТЕГРО-ДИФФЕРЕНЦИАЛЬНЫХ СИСТЕМ С СОСРЕДОТОЧЕННЫМИ ЗАПАЗДЫВАНИЯМИ'

АНАЛИЗ ЛИНЕЙНЫХ СТОХАСТИЧЕСКИХ ИНТЕГРО-ДИФФЕРЕНЦИАЛЬНЫХ СИСТЕМ С СОСРЕДОТОЧЕННЫМИ ЗАПАЗДЫВАНИЯМИ Текст научной статьи по специальности «Математика»

CC BY
37
6
i Надоели баннеры? Вы всегда можете отключить рекламу.
Ключевые слова
СТОХАСТИЧЕСКИЙ АНАЛИЗ / STOCHASTIC ANALYSIS / ЛИНЕЙНАЯ ДИНАМИЧЕСКАЯ СИСТЕМА / LINEAR DYNAMIC SYSTEM / ИНТЕГРО-ДИФФЕРЕНЦИАЛЬНОЕ УРАВНЕНИЕ / INTEGRO-DIFFERENTIAL EQUATION / ЗАПАЗДЫВАНИЕ / DELAY / ФАЗОВЫЙ ВЕКТОР / STATE VECTOR / МОМЕНТНЫЕ ФУНКЦИИ / MOMENT FUNCTIONS

Аннотация научной статьи по математике, автор научной работы — Полосков И.Е.

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

i Надоели баннеры? Вы всегда можете отключить рекламу.
iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.
i Надоели баннеры? Вы всегда можете отключить рекламу.

AN ANALYSIS OF LINEAR STOCHASTIC INTEGRO-DIFFERENTIAL SYSTEMS WITH FINITE LUMPED DELAYS

In the paper, a problem of derivation of ordinary differential equations for the first moment functions of the state vector for linear stochastic differential system with the special forms of delays, notably with finite lumped and variable lags, is considered. The technique, that combines the classic method of steps and the scheme of stochastic system state space's extension successively being developed by the author and transforms a vector non-Markov stochastic process into a Markov one, is used to derive a chain of stochastic differential equations without delays and then equations for required moment functions too.

Текст научной работы на тему «АНАЛИЗ ЛИНЕЙНЫХ СТОХАСТИЧЕСКИХ ИНТЕГРО-ДИФФЕРЕНЦИАЛЬНЫХ СИСТЕМ С СОСРЕДОТОЧЕННЫМИ ЗАПАЗДЫВАНИЯМИ»

2016

Вып. 2(33)

ВЕСТНИК ПЕРМСКОГО УНИВЕРСИТЕТА

Математика. Механика. Информатика

УДК 517.9:519.21

Анализ линейных стохастических интегро-дифференциальных систем

*

с сосредоточенными запаздываниями

И. Е. Полосков

Пермский государственный национальный исследовательский университет Россия, 614990, Пермь, ул. Букирева, 15 polosk@psu.ru; (342) 239-65-60

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

Ключевые слова: стохастический анализ; линейная динамическая система; интегро-дифференциальное уравнение; запаздывание; фазовый вектор; моментные функции. DOI: 10.17072/1993-0550-2016-2-98-105

Введение

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

Математическими моделями соответствующих процессов служат функционально© Полосков И. Е., 2016

Работа выполнена при частичной финансовой поддержке Минобразования и науки России (Задание № 2014/153).

'Статья написана по материалам международного симпозиума "Дифференциальные уравнения. Сто лет математической науке Урала". Пермь. 16-19 мая 2016.

дифференциальные уравнения (ФДУ) и, в частности, дифференциальные уравнения с отклоняющимися аргументами [1-8], включающие уравнения с запаздыванием и нейтрального типа, интегро-дифференциальные уравнения (ИДУ) и др. Такие уравнения применяются для описания процессов автоматического регулирования и управления техническими системами, химико-технологических и других производственных процессов; генерации сигналов в радиосхемах и лазерах, горения в жидкостно-реактивных двигателях, замедления нейтронов и т.д.

В процессе развития методов анализа детерминированных систем с последействием возник интерес к стохастическим ФДУ разных типов [9-12], с помощью которых могут исследоваться новые эффекты (например, разрушение или формирование колебательных движений). Но анализ таких систем затруднен. Это привело к тому, что до последнего времени многие попытки анализа стохастических ФДУ ограничиваются качествен-

ными исследованиями поиска условий существования решения и устойчивости.

Среди стохастических ФДУ можно выделить класс линейных и нелинейных СДУ с конечными сосредоточенными и распределенными запаздываниями (СИДУсЗ). Детерминированные аналоги таких уравнений могут принимать форму как обыкновенных дифференциальных уравнений, так и дифференциальных уравнений в частных производных [13], а также использоваться при моделировании наследственных систем и явлений, таких как рост населения, загрязнение окружающей среды, поведение финансовых рынков и вяз-коупругих материалов [14, 15]; различных процессов в нейронных сетях, электрических цепях, химических реакторах [16]; регулирования соотношения глюкоза-инсулин при диабете[17]и др.

Основными задачами детерминированного анализа подобных систем являются поиск критериев существования решений соответствующих уравнений и оценка устойчивости как этих решений, так и схем их численного интегрирования. Отметим, что аналитические решения таких проблем, как правило, отсутствуют, а для получения приближенных решений используются численные и приближенно-аналитические методы. При этом основными методами в этой области являются конечно-разностные процедуры, различные варианты методов Рунге-Кутты, трапеций, коллокаций [13, 18] и др.

Многие реальные объекты подвержены случайным возмущениям в течение длительных промежутков времени. Например, погодные условия могут негативно влиять на опоры мостов, что ведет к изменению целостности конструкций [19]. Исследование таких процессов, например для оценки стабильности стохастических систем и получения их численных решений, является естественным продолжением изучения детерминированных явлений. В частности, в работе [20] рассматривается устойчивость СИДУсЗ, в [21] исследована сходимость и среднеквадратичная устойчивость обратного метода Эйлера с расщеплением для этих уравнений, в [22] обсуждается среднеквадратичная экспоненциальная устойчивость 9-методов стохастических нелинейных СИДУсЗ, в работе [23] обсуждают схо-

димость и устойчивость полунеявного метода Эйлера для тех же уравнений.

Наряду со значительным спектром процедур решения СДУ с различными типами запаздываний [24, 25 и др.], алгоритмы численного или приближенного аналитического интегрирования стохастических систем рассматриваемой структуры развиты недостаточно. Среди известных отметим методы усреднения [26], Тейлора в сочетании с дискретизацией по времени [27], последовательных приближений ^-алгоритм) [28], Эйлера [29], расширения пространства состояний и преобразования к СДУ [30, 31], 9-метод [32], сбалансированные неявные методы [33, 34] и др.

Известно [34], что большинство численных методов для СИДУсЗ являются явными или полунеявными, которые неявны только по отношению к коэффициентам сноса. Эти последние методы хорошо приспособлены для анализа жестких систем, возмущаемых шумами с малой интенсивностью или аддитивными шумами. В случае же систем с большими мультипликативными шумами применение полностью неявных методов является неизбежным.

В ряде наших предыдущих работ была предложена схема, сочетающая классический метод шагов и расширение пространства состояния (МШРПС), в приложении к исследованию стохастических систем с постоянным запаздыванием [35-3 7].

Ниже рассматривается методика исследования линейных стохастических динамических систем со специальными формами запаздываний - с конечными сосредоточенными и переменными распределенными, основанная на модификации указанной схемы.

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

Рассмотрим систему линейных стохастических дифференциальных уравнений Ито с конечными сосредоточенными т > 0 и распределенными запаздываниями следующего вида:

дХ ^) = [ P(t) X ^) + R(t) X Ц - т) + + Q(t) £ X (в) dв + ф)] dt + (1)

+ H^) dW^), t > ^ = t0 + т,

где X е Р" - вектор состояния; W е Рт - вектор независимых случайных стандартных ви-неровских процессов:

Е^(0] = 0, Е^(^) JWT(Í2)] = Idt 5(^2-^:); Т и Е[-] - символы транспонирования матрицы и математического ожидания соответственно, I - единичная матрица.

С понятием решения, а также с условиями его существования и единственности можно ознакомиться в работе [38].

Будем считать, что на интервале t\] вектор состояния Х(0 удовлетворяет системе СДУ Ито без запаздывания:

dX ^) = [ Р0(t) X ^) +

+ Q0(t)|t X (в^в + с0^)] dt + (2) + И0(0 dW (t), X = X0,

причем в уравнениях (1) и (2) Р(0, R(t), Q(t), Щ), Рс(0, Qo(t), и c(t), Co(t) - известные непрерывные матричные и векторные функции. Кроме того, предположим, что известны все необходимые числовые характеристики случайного вектора X0. В частности, пусть в начальный момент времени ^ для вектора X(t) заданы вектор математических ожиданий т° = Е [X0] и ковариационная матрица

С 0= - т0} {X0 - т0}Т].

Задачей исследования является построение систем обыкновенных дифференциальных уравнений (ОДУ) без запаздывания для компонентов вектора средних т{() = E[X(t)] и ковариационной матрицы

C(t) = Е[{Д0 - m(t)} {X(t) - т(0}Т]

вектора состояния X(t) при любом t > t0.

Заметим, что входящие в уравнения (1) и (2) шумы - аддитивные, а следовательно, СДУ Ито и Стратоновича имеют одну и ту же форму.

3. Метод исследования

Как и в предыдущих наших работах, для того чтобы получить СДУ без запаздывания, применим сочетание метода расширения пространства состояний и метода шагов.

Но прежде, чем это сделать, для компактности изложения перепишем уравнения

(1) и (2) в менее строгой, но более удобной следующей форме:

XX (0 = Р^) X ^) + R(t) X ^ -г) +

+ Q(t) |' X(в) йв + c(t) + (3)

+ Н(t)У(t), t > t1 = t0 +г, X: (t) = Po(t) X ^) +

+

Qo(tX(в^в + о^) +

(4)

+ Н^) V ^), X (to) = X0,

где V е Рт - вектор независимых стандартных белых шумов:

Е[Ц(0] = 0, E[V(tl) К^)] = I5(t2-t1).

Рассмотрим равномерную временную сетку tq = t0 + q х, q = 0, 1, 2, ..., Ы, ... и введем новую временную переменную 5, изменяющуюся на промежутке [0,х], а также следующие обозначения:

Sq = 5 + tq, Дq = (tq, tq+1],

Xq(s) = X(5q), Xq(0) = Xq_1(х) a.S.,

Vq(s) = V(Sq), ^^(0) = Vq_1(х)

Г 5

ид(5) =1^X5(в)dв , (5)

Yq(5) = ¥ч = и^(х) а.8., q > 1, ^ = X0,

со1(йь d2, ..., йЬЛ, йь) = {dll, ¿12, ..., dl", ...,

dL-1,1, dL-1,2, dL-1,", dL1, dL2, ¿Ь",}

(а.8. - почти наверное).

Покажем, как можно представить интегральный член в уравнениях (3) для 4 < t < 4+;, если воспользоваться обозначениями (5):

? к-1 { I X(в) ¿в = £ I ,+1 X(в) ¿в +| X(в) ¿в =

0 д=0 к

к-11 Г [„ +г С^+5

= £ I ' X(в) dв +| к X(в) ¿в =

д=0 'к

к-1 !• г 1-5

= £ |0 X(^ + в) ¿в +10 X(^ +в) ¿в =

5=0

к-1 ,г ,5

£ |0 X, (в) ¿в +10 Xк (в) ¿в =

д=0

= £ и? (г) + ^ (5).

q=0

Рассмотрим последовательность полуинтервалов (сегментов) Дд.

На сегменте Д0 систему СДУ для вектора Zо+(s) = Zo(s) = со1( Fo(s), Л^), Ц^) ) представим в виде

У,^) = 0, У0(0) = 0 ал,

Xo(s) = Po(so) Л оМ +

+ ^о(sо)[^о(s) + Uо(s)] + + (6)

+ Но^о)Уо^), Xо(0) = X0 a.s., ио^) = Xо(s), ио(0) = 0 a.s.

Определенный на полуинтервалах Д0 и Д1 вектор Z1+(s) = со1( Z0+(s), Z1(s) ), где Z1(s) = со1( F1(s), X1(s), U1(s) ), будет удовлетворять системе СДУ (6), к которой добавлены уравнения следующего вида:

УД^ = 0, УД0) = ио(т) a.s.,

ЛЛ1( s) = Р( s1) X1(s) + Л(s1) X 0^) +

+

e(Sl)[ £ Уд (s) + Ul(s)] + с Ц)

)+

(7)

д=0

+ (

ния Z0+(s), Z1+(s), ..., ZN+(s), ... увеличивающейся размерности и подобной структуры без запаздывания, для дальнейшего исследования которой можно применить стандартные для данного класса уравнений методы [39].

4. Уравнения для моментных

функций

В частности, построенную последовательность систем линейных СДУ без запаздывания можно использовать для получения новой цепочки уравнений - ОДУ для первых моментов (математических ожиданий и ковариационных матриц) векторов Z0+(s), Z1+(s), ..., ZN+(s), ... Несложно увидеть, что для любого Zk+(s), к = 1, 2, ..., N ... структуры соответствующих систем ОДУ будут иметь вид:

т+2к = Р,+ (^ т+2к (s) + с+ (9)

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

С + (s) = Рк+ (5)С+(^ + [Рк+ (s)C к ^)]т +Н+(s) Н^),

где

(10)

+ НЦ)^), Xl(0) = X0(7) a.s., ии1(s) = X1(s), и1(0) = 0 a.s.

Обозначая через ZN(s) вектор со1( У^), XN(s), Ц^) ) и продолжая подобным образом и далее, находим, что векторный случайный процесс ZN+(s) = со1( ZN_l+(s), ZN(s) ), представляющий поведение вектора состояния X(t) на сегментах Д0, Д1, ..., Дл, будет решением системы СДУ, полученной добавлением к уравнениям для векторного процесса ZN_l+(s) уравнений следующего вида:

Ул (^ = 0, Ул (0) = ил.1(7) a.s.,

Хл (s) = Р^л) XN (s) + R(sN) XN (s) +

N

т +1к (s) = Е[ Z + (s)] -

- со1( т 2 0( s), т 21( s),..., т гк (s)),

С+к (s) =

= Е[{^к (s) - т + (s)}{^к (s) - т + (s)}т ] -

С2 0 2 0(5 ) С2 0 21(5 ) ... С2 0 2к С 2120() С2121() ... С212к

С 2к20(5) С 2к21(5) ... С 2к2к

( 5 ) ( 5 )

( 5 )

т2д Ф = Со1(тУд (s),тХд (s),т№ (5))

С

2д * 2д2е

ХдУ

(5 ) =

= д(5) - та(5)}{Z,(5) - тг(5)}т] -

д

Q(SN )[ X Уд (5) +ил (5)] + фл )+ (8)

д=0

+ Н^ )Ул (5), XN (0) = Xл—1 (7) а.5., ил (5) = Xл(5), ил (0) = 0 а*.

Итак, получена цепочка систем линейных СДУ для расширенных векторов состоя-

С

УдУ е ^УдХ е ( 5 ) ^Уди е ( 5)

СХдУе (СХдХе (СХдие( СидУе (СидХе(Сидие(

Также несложно увидеть, что матрицы Рк (5), и вектор ск+(5) имеют блочную

структуру, которая формируется следующим образом:

Р0+ (5) = Р0(5) =

Н 0+ (5) = Н 0(5) =

С 0+ (5) = С 0(5) = Л+ (5) =

0 0 0

Qo(5o) Р0(50) Qo(5o) 000 000

0 Н0(50) 0

0 I 0 0

С0(50) 0

Р0+ (5) РП2(5) Р121(5) Р122 (5)

Р112(. 5) = О,

Р121(5) =

Н1+ (5) = Н 122(5) = Н 1(5) =

0 0 0

Q(5l) R(5l) 0

0 0 0

Н 0+ (5) 0

0 Н 122(5)

000 0 Н(51) 0 000

С1+ (5) =

С 0+ (5) _С1(5)

С 1(5) =

0

с( 51) 0

Рк+ (5) =

Р+1(5) Рк12(5) Рк 21 ( 5) Рк 22 (5) 0

Рк 22(5) = Р1(5) =

00

Q(5k) Р(5к) Q(5k) 0 I 0

Нк 22(5) = Нк (5) =

000

0 Н (5к) 0 000

С+ (5) =

С к-1 (5)

Ск(5)

Ск (5) =

0

с(5к ) 0

где

Qk (5) =

0 0 0

Q(5k) 0 0 0 0 0

" 0 0 0 " " 0 0 0" 0 0 0"

Рш(5) = Р1(5) = Q( 51) Р(51) Q(5l) , Rk (5) = Q(5k ) R(5k ) 0 , 0 = 0 0 0

0 I 0 0 0 0 0 0 0

Теперь определим вид начальных условий для неизвестных функций в построенных ОДУ:

т\0(0) = т2 0(0) = со1( т 0, т0,0) С+ 0(0) = С2 0(0) =

С0 С0 0 С0 С0 0

0 0 0

т+21 (0) = со1( т++ 0 (0), т0и (г), т0 х (г), 0), С ^ 0(0) С 112(0)" С 121(0) С 122(0)

С^(0) =

С 112(0) = С121 (0) =

с 0Уи (т) с 0УХ (т) 0 с 0Уи (т) с 0УХ (т) 0

0

0

0

С 122(0) =

с 0ии (т) с 0их (т) 0 с 0хи(т) с 0хх(т) 0

' 0 хи 0

0 хх

0

0

Рк12(5) =

Рк 21 ( 5) = [Qk (5) ... Qk (5) Rk (5)], ~ Н к-1 (5) 0 " 0 Нк 22 ( 5)

т^к (0) = = со1(т+г к-1(0), тк (г), тк

-1, х (г), 0),

С2+,к-1(0) Ск12(0)" Ск21(0) С к 22 (0)

С+к (0) =

Н+ (5) =

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

Ck _1,12(0) = Ck_ul(0) =

C k_1,0,k_1,YU (t) C k_1,0,k_1,YX (t) C k_1,0,k_1,YU (t) C k_1,0,k_1,YX (t)

0

0

C k_1,0,k_1,UU (t) C k_1,0,k_1,ux (t) Ck_1,0,k_1,XU (t) Ck_1,0,k_1,XX (t)

0

0

0 0

Ck -1.UU (t) Ck -1,UX

Ck - -1,xu (t) Ck - -1, XX

0 0

Ck_1,k_2,k_1,UU (t) Ck_1,k_2,k_1,UX (t) 0 Ck_1,k_2,k_1,XU (t) Ck_1,k_2,k_1,.XX (t) 0

0

Ck 22(0) =

В связи с тем, что векторная функция т2к(5) и матричная функция С2к2к(,5) являются блоками т2к+(^) и С2к2к+(я) соответственно, достаточно вычислить только последние, а затем выбрать их необходимые элементы.

Заключение

В работе представлена схема исследования линейных стохастических систем с ограниченными переменными распределенными и постоянными сосредоточенными запаздываниями. В отличие от известных методов [40] изложенная схема не предполагает предварительного изменения уравнений исследуемого объекта с целью исключения запаздывания или разработки специальных интеграторов. Точность расчетов полностью определяется погрешностью применяемых стандартных процедур численного решения систем ОДУ, причем ошибка метода отсутствует.

В дальнейшем изложенную схему предполагается распространить на линейные стохастические параметрические интегро-дифференциальные системы с сосредоченным запаздыванием, модельным представителем которых является тестовое уравнение Брюн-нера-Ламберта [19].

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

1. Азбелев Н.В., Максимов В.П., Рахматулли-на Л.Ф. Введение в теорию функциональ-

но-дифференциальных уравнений. М.: Наука, 1991. 280 с.

2. Беллман Р., Кук К. Дифференциально-разностные уравнения. М.: Мир, 1967. 548 с.

3. Хейл Дж. Теория функционально-дифференциальных уравнений. М.: Мир, 1984. 421 с.

4. Рубаник В.П. Колебания квазилинейных систем с запаздыванием. М.: Наука, 1969. 288 с.

5. Эльсгольц Л.Э., Норкин С.Б. Введение в теорию дифференциальных уравнений с отклоняющим аргументом. М.: Наука, 1971. 296 с.

6. Erneux T. Applied delay differential equations. New York: Springer-Verlag, 2009. 204 p.

7. LakshmananM. Senthilkumar D.V. Dynamics of nonlinear time-delay systems. Berlin, Heidelberg: Springer-Verlag, 2010. 332 p.

8. Smith H. An Introduction to delay differential equations with applications to the life sciences. New York: Springer Science+Business Media, 2011.172 p.

9. Царьков Е.Ф. Случайные возмущения дифференциально-функциональных уравнений. Рига: Зинатне, 1989. 421 с.

10. Kushner H.J. Numerical methods for controlled stochastic delay systems. Boston: Birk-hauser, 2008. XIX, 281 p.

11. Mao X. Stochastic differential equations and applications. Cambridge, UK: Woodhead Publishing, 2011. XVIII, 422 p.

12. Mohammed S.-E. A. Stochastic functional differential equations. London: Pitman Publishing, 1984.245 p.

13. Huang C., Vandewalle S. An analysis of delay-dependent stability for ordinary and partial differential equations with fixed and distributed delays // SIAM Journal of Scientific Computations. 2004. Vol. 25, № 5. P. 16081632.

14. Busenberg S., Cooke K.L. The effect of integral conditions in certain equations modelling epidemics and population growth. // Journal of Mathematical Biology. 1980. Vol. 10, № 1. P. 13-32.

15. Афанасьев В.Н., Колмановский В.Б., Носов В. Р. Математическая теория конструирования систем управления. М.: Высшая школа, 2003. 615 с.

16. Xu Y., Zhao J.J., Sui Z.N. Stability analysis of 9-methods for neutral multidelay integrodif-

0

ferential system // Discrete Dynamics in Nature and Society. 2007. Vol. 2007. Article ID 42540. 8 p.

17. Makroglou A., Li J., Kuang Y. Mathematical models and software tools for the glucose-insulin regulatory system and diabetes: an overview // Applied Numerical Mathematics. 2006. Vol. 56. P. 559-573.

18. Huang C., Vandewalle S. Stability of Runge-Kutta-Pouzet methods for Volterra integro-differential equations with delays // Frontiers of Mathematics in China. 2009. Vol. 4, № 1. P. 63-87.

19. Shaikhet L., Roberts J. Stochastic Volterra in-tegro-differential equations: stability and numerical methods // University of Manchester. MCCM. Numerical Analysis Report, No. 450. 2004. 38 p. URL: http://www.math.cmu. edu/~shaikhet/leonid/_docs/mccm2004.pdf (дата обращения: 15.03.2016).

20. Mao X.R. Stability of stochastic integro-differential equations // Stochastic Analysis and Applications. 2000. Vol. 18, № 6. P.1005-1017.

21. Tan J., Wang H. Convergence and stability of the split-step backward Euler method for linear stochastic delay integro-differential equations // Mathematical and Computer Modelling. 2010. Vol. 51, № 5-6. P. 504-515.

22. Li Q.Y., Gan S.Q. Mean-square exponential stability of stochastic theta methods for nonlinear stochastic delay integro-differential equations // Journal of Applied Mathematics and Computing. 2012. Vol. 39, № 1-2. P. 69-87.

23. Ding X.H., Wu K.N., Liu M.Z. Convergence and stability of the semi-implicit Euler method for linear stochastic delay integro-differential equations // International Journal of Computer Mathematics. 2006. Vol. 83, № 10. P.753-763.

24. Baker C.T.H., Buckwar E. Numerical analysis of explicit one-step methods for stochastic differential delay equations // LMS Journal of Computer Mathematics. 2000. Vol.25. P. 297-307.

25. Kuchler U., Platen E. Strong discrete time approximation of stochastic differential equations with time delay // Mathematics and Computers in Simulation. 2000. Vol. 54, № 13. P.189-205.

26. Стоянов Й.М., Байнов Д.Д. О методе уcреднения для cTOxacrmecKHx интегpo-

дифференциальных уравнений // Archivum Mathematicum. 1972. Vol. 8, № 4. P. 213-218.

27. Jankovic S., Ilic D. One linear analytic approximation for stochastic integro-differential equations // Acta Mathematica Scientia. 2010. Vol. 30B, № 4. P. 1073-1085.

28. Jankovic S., Jovanovic M. Some analytic iterative methods for solving various classes of stochastic hereditary integrodifferential equations // Facta Universitatis. Series: Mechanics, Automatic Control and Robotics. 2004. Vol. 4, № 16. P.11-31.

29. Паутов А.С. Численное интегрирование стохастических функционально-дифференциальных уравнений методом Эйлера // Известия Уральского государственного университета. 2005. № 38. С. 104-121.

30. Wilkie J. Numerical method for integro-differential generalized Langevin and master equations // Phys. Rev. E. 2003. Vol. 68, № 2. 027701.4 p.

31. Karmeshu, Gupta V., Kadambari K.V. Neuronal model with distributed delay: Analysis and simulation study for Gamma distribution memory kernel // Biological Cybernetics. 2011. Vol. 104, № 6. P. 369-383.

32. Khodabin M., Maleknejad Kh., Asgari M. Numerical solution of a stochastic population growth model in a closed system // Advances in Difference Equations. 2013. 2013:130. 9 p.

33. Milstein G.N., Platen E., Schurz H. Balanced implicit methods for stiff stochastic systems // SIAM Journal on Numerical Analysis. 1998. Vol. 35, № 3. P. 1010-1019.

34. Wu Q., Hu L., Zhang Z. Convergence and stability of balanced methods for stochastic delay integro-differential equations // Applied Mathematics and Computation. 2014. Vol.237. P. 446-460.

35. Полосков И.Е. Расширение фазового пространства в задачах анализа дифференциально-разностных систем со случайным входом // Автоматика и телемеханика. 2002. № 9. С. 58-73.

36. Полосков И.Е. Движение транспортного средства по дороге со случайным профилем с учетом запаздывания // Математическое моделирование. 2005. Т. 17, № 3. С. 3-14.

37. Poloskov I.E. Symbolic-numeric algorithms for analysis of stochastic systems with differ-

ent forms of aftereffect // Proceedings in Applied Mathematics and Mechanics (PAMM). 2007. Vol. 7, № 1. P. 2080011-2080012.

38. Yashima H.F., Gianesini A. Comportement asymptotique de la solution d'une sorte d'equation integrale stochastique dans Rn // Acta Mathematica Vietnamica. 2006. Vol. 31, № 2. P.115-129.

39. Маланин В.В., Полосков И.Е. Методы и практика анализа случайных процессов в

динамических системах: учеб. пособие. Ижевск: РХД, 2005. 296 с. 40. Elbeyli O., Sun J.Q., Unal G. A semi-discretization method for delayed stochastic systems // Communications in Nonlinear Science and Numerical Simulation. 2005. Vol. 10, № 1. P. 85-94.

An analysis of linear stochastic integro-differential systems with finite lumped delays

I. E. Poloskov

Perm State University; 15, Bukireva st., Perm, 614990, Russia polosk@psu.ru; +7 (342) 239 65 60

In the paper, a problem of derivation of ordinary differential equations for the first moment functions of the state vector for linear stochastic differential system with the special forms of delays, notably with finite lumped and variable lags, is considered. The technique, that combines the classic method of steps and the scheme of stochastic system state space's extension successively being developed by the author and transforms a vector non-Markov stochastic process into a Markov one, is used to derive a chain of stochastic differential equations without delays and then equations for required moment functions too.

Keywords: stochastic analysis; linear dynamic system; integro-differential equation; delay; state vector; moment functions.

i Надоели баннеры? Вы всегда можете отключить рекламу.