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

DOI: 10.5862/JPM.242.12 УДК: 519.213.2:519.217.4

С.В. Березин

Санкт-Петербургский политехнический университет Петра Великого

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

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

СТОХАСТИЧЕСКОЕ ДИФФЕРЕНЦИАЛЬНОЕ УРАВНЕНИЕ, АНАЛИТИЧЕСКАЯ ФУНКЦИЯ КОМПЛЕКСНОГО ПЕРЕМЕННОГО, ЦЕЛАЯ ФУНКЦИЯ.

Введение

В настоящее время аппарат характеристической функции является одним из основных инструментов исследования случайных процессов, определяемых стохастическими дифференциальными уравнениями. Разработаны как точные [1], так и приближенные [2] методы такого исследования, многие из которых опираются на возможность разложения характеристической функции в степенной ряд. Хорошо известно, что в одномерном случае степенные ряды представляют собой функции, аналитические в кругах на комплексной плоскости [3]. Более того, в специфическом случае характеристических функций эти ряды могут быть продолжены в область, которая получается из круга всевозможными сдвигами вдоль вещественной оси (полосу) [4 — 6]. Аналогичная ситуация имеет место и в многомерном случае, где естественным множеством аналитичности характеристической функции является трубчатая область

[7].

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

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

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

Некоторый частный случай решаемой в настоящей статье задачи рассмотрен в работе [10]. А именно, в ней доказывается, что характеристическая функция решения системы кусочно-линейных стохастических дифференциальных уравнений является целой. Рассматривается такая система уравнений, вектор сноса которой допускает декомпозицию в виде суммы линейного относительно фазовых координат слагаемого и нелинейной части, имеющей вид релейной нелинейности (sign x) по какой-то одной выбранной координате, причем матрица диффузии считается постоянной. При отбрасывании релейной нелинейно-

сти решением соответствующей линеинои системы является гауссовский процесс, характеристическая функция которого — целая для каждого фиксированного момента времени. Поскольку релейная нелинейность ограничена во всем пространстве, то решение исходной нелинейной задачи удается оценить через решений линейной, что немедленно приводит к искомой аналитичности с применением результатов из [6].

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

одномерный случай

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

Лемма 1. Характеристическая функция E(г) = ЩекЛ] случайной величины \ является целой в том и только в том случае, когда для любого k е N существует Е[|^| ] < ж и выполняется предельное равенство

к ^ж

к!

Отметим, что в лемме утверждается не только существование аналитического продолжения Е(1) на всю комплексную плоскость С , но и тот факт, что это продолжение задается прежней формулой E (г ) = Е[е* ? ].

Доказательство этого несложного утверждения приведено в монографии [6, с. 234].

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

Лемма 2. Пусть задана случайная величина \ ~ N(0, ст2). Тогда для любого к е N выполняется соотношение

Щ1 ^ к ]=Цст^ Гк+1

л/п

(1)

где Г(х) — гамма-функция Эйлера.

Приведем также ряд важных для дальнейшего лемм.

Лемма 3 (неравенство Гронуолла). Пусть интегрируемая функция а(г) > 0, где г е [го, Т\ удовлетворяет неравенству

г

а(1) < Н| а(х) ds + р(г), г е [г0, Т], (2)

го

где Н > 0 — некоторая постоянная, а р(г) — еще одна интегрируемая на [го,Т] функция. Тогда выполняется неравенство

г

а(г) < Н¡еН(г^^) ds + р(г), г е [г0, Т]. (3)

го

Доказательство этой леммы можно найти в монографии [11, с. 471].

Лемма 4 (об оценке моментов). Пусть непрерывный случайный процесс X(^) задан при г е [го, Т], а Н(^) — некоторая неслучайная функция, интегрируемая с квадратом на [го, Т], причем при некоторых постоянных Н > о и С > о выполняется неравенство

\х (г )| < С + Н |\Х ds

|Н(s) dW(s)

,(4)

где W(^) — стандартный винеровский процесс, стартующий из нуля. Тогда для любого к е N существует Е[|X(г)| ] < ж, а характеристическая функция Е (г; г ) = Ще^(г)] является целой при каждом фиксированном г е[г„, Т].

Доказательство. Воспользовавшись неравенством Гронуолла (3), из неравенства (4) получим:

\х (г )| < С +

+ Н\ е

и

Н(г-s)

С+

¡Н(s) dW(s)

о

\Н(д) dW(д)

(5)

ds.

Введем для удобства обозначения

г

С1 = СеН(Т -о) > о, в (г) = | Н (я) dW ^),

к = квк(Т-<0) > 0, и тогда будем иметь

X «) < с1+)+к}\\(з) йз. (6)

<0

Хорошо известно, что процесс \(<) является (непрерывным) гауссовским, поэтому из леммы 2 следует, что

Е[\\(<)|4] < ^ Г( к + 1

(7)

где ст2 = | Н2(з) йз.

Далее, из неравенства Гёльдера следует оценка

} )| йз\ < (Т - <о)к-1}\в (з)| кйз, (8)

V <о / ¿0

из которой, ввиду соотношения (6) следует существование конечных абсолютных моментов Е[| X(<)|к ], где к е N.

возведем левую и правую части неравенства (6) в степень к и перейдем к математическим ожиданиям; после этого, извлекая корень степени к, получим оценку

(

< Е

V V

(Е[|X(Г/ ])к <

I

С1 + \О(г)| + к | |О(

1

(9)

Далее используем неравенство Минков-ского для правой части (9) и с помощью формулы (8) придем к очередной оценке

(Е[|х(г)|к])1 < с + (Е[|а(г)|к])1 +

1 (

+ к(Т - О

I

| Е[| О (*)|к ]

1

Лк

(10)

где к = (Т - <0)к > 0.

Применим неравенство (7) еще раз и

введем новое обозначение \ =1 + к > 0; тогда получим окончательное выражение

(Е[|X(<)|к])* < С1 + ^^Г ^^ I, (11)

из которого с помощью формулы Стирлин-га легко получается соотношение

Нш

к ^да

Е[ Хк (<)]

к!

0.

(12)

Таким образом, с учетом леммы 1 доказательство закончено. □

Замечание. Фактически было установлено более сильное утверждение, а именно: из неравенства (11) следует, что

8ИР Е[|X(з)|к

зе[ <0,Т ]

< Ж,

а также, что сходимость соответствующего ряда Тейлора для целой функции Е(^;<) будет равномерной по г на отрезке [ <0 ,Т].

Отметим также, что в книге [12, с. 48] приведена другая оценка для моментов решения стохастического дифференциального уравнения при несколько иных предположениях, однако она недостаточно точна для доказательства аналитичности соответствующей характеристической функции. Напротив, из леммы 4 следует более сильная оценка, которая уже позволяет прийти к желаемому результату.

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

мы будем рассматривать непрерывный случайный процесс X(V), определенный при < е [ <0, Т\ который является (вообще говоря, слабым) решением стохастического дифференциального уравнения с коэффициентом диффузии, зависящим только от времени:

йХ( <) = а(<, X( <)) й< + Н( <) йЖ( <), (13)

и с начальным условием X( <0) = х0 е Ж. Здесь, как обычно, Ж(^) — стандартный винеровский процесс, стартующий из нуля; причем мы считаем, что коэффициенты уравнения (13) удовлетворяют условиям

Т

|Н2(з) йз |а(<, х)| < С(1 + |х|), (14)

<0

где х е Ж, а С > 0.

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

к

теорема 1. Пусть случайный процесс X(t), определенный при г е [¿о, Т\ является решением стохастического дифференциального уравнения (13) с начальным условием X(го) = хо е Ж. Тогда характеристическая функция Е(г; г) = Ще^х(г)] — это целая функция аргумента г е С.

Доказательство. Запишем уравнение

(13) в эквивалентной интегральной форме:

г г

х(г) = хо + | а^, Xds + | НdW(s). (15)

го го

оценим правую часть этого равенства по модулю и используем второе из условий

(14); получим следующее неравенство:

|х (г)| < С + Н| |Х (s)| ds

IН(s) dW

где С = \хо\ + С(Т - го) > о.

Последнее в силу леммы 4 и завершает доказательство теоремы. □

Многомерный случай

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

Прежде всего введем удобные обозначения: определим мультииндекс равенством k = (к1, ..., кп), где kj е N и {о} для 7=1,..., п, а сумму элементов этого мультииндекса будем обозначать через |к| = к1 + ... + кп. Для сокращения записи будем также применять краткую нотацию

К = к-1. • ... • кп\, %к = %* • ...^,

Иь = |%1 Г1 •••• ^г,

а для евклидовой нормы вектора % = (% 1, ..., %п )Т е Ж" будет использоваться обозначение ||%|| = ^/%2 + ... + %-.

Далее, имеет место следующее простое достаточное условие аналитичности характеристической функции Е (£) во всем комплексном пространстве С-.

Лемма 5. Пусть % — случайный вектор в Ж- такой, что для любого ' е N существует

< ж, причем

= о.

(16)

Тогда характеристическая функция

Е (г) = Ще*Т % ],

где £ = (^1, ..., 1п)Т, является целой функцией в комплексном пространстве Сп.

отметим, что в лемме утверждается не только существование аналитического продолжения Е{1) во все комплексное пространство Сп, но и то, что это продолжение

" Т %

задается прежней формулой Е(г) = Е[ек % ].

Доказательство. Из очевидного неравенства |%|к < ||%|||к| следует существование конечных смешанных моментов Е[|%| ] любого порядка. Поэтому можно записать цепочку неравенств

I |к I |к

У . пн^ \у\

^ 11 к! ¿Ъ м k!

Е

|к|=' и» и'

Е

(I+ ••• + \Уп I)'

(17)

(п||у| I)'

I! Кп|/ '!

при любых I = 0,1, ... , где символ V обо-

№='

значает суммирование по всем мультиин-дексам k таким, что |к| = '.

Условие (16) гарантирует, что радиус сходимости ряда

Е

I!

(п||у| I)'

(18)

является бесконечным (согласно формуле Адамара [3]). Другими словами, для любого р > о ряд (18) сходится равномерно на замкнутом шаре Вр = {у е Жп I ||у||}, а значит

имеет место равномерная сходимость и для ряда

УГк^- 1 |к k!

V еГ|%1

'=о |к|='

Е

1%15

к!

(19)

где символ V обозначает суммирование

(=о

теперь уже по всевозможным мультииндек-сам к.

Далее рассмотрим еще одну цепочку неравенств:

IЕ [|,|' к

А

^ >11 ■ к!

|х|к й¥, (х) У- =

II ^ > к!

,1 х1 ЛИ

| ... |

'йК(х1, ..., хя)> (20)

й¥ь (х),

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

(х) = (х1, ..., хп),

а £ = и + у е <Сп обозначает некоторый комплексный вектор, причем здесь и е Жп.

При выводе неравенства (20) была произведена перестановка суммирования и интегрирования, законность которой следует из известной теоремы о монотонной сходимости, принадлежащей Б. Леви [13]. Для всех 2, принадлежащих замыканию \р трубчатой области \р = {£ е Сп | ||1ш < р}, из полученных неравенств сразу же следует существование и конечность интеграла в правой части равенства

да да

Е(г) = Е[в*Т] =| ... \вкТхй¥%(х). (21)

-да -да

Если теперь обратить внимание на то, что сходимость этого интеграла является равномерной на \р, то по хорошо известной теореме вейерштрасса [3] получим аналитичность предельной функции Е(z) в \р. А в силу произвольности р, аналитичность будет иметь место и во всем комплексном пространстве Сп.

Итак, установлено, что Е (2) является целой функцией в <Сп, что и завершает доказательство. □

Пусть теперь задан нормальный центрированный случайный вектор , с корреляционной матрицей К = {К] 1 }П,=1, норму фробениуса которой будем обозначать через

№ =А! к],.

V1,'=1

В такой ситуации имеет место следующее утверждение.

Лемма 6. Пусть задан случайный вектор , ~ N(0, К), тогда для любого I е N имеет место неравенство

Е [М ]< С ^ Г^], (22)

где ст = > 0, а С > 0 — некоторая кон-

станта, не зависящая от I.

Доказательство. Подберем такую ортогональную матрицу А, чтобы новый случайный гауссовский центрированный вектор | = А, имел некоррелированные компоненты. Тогда получим, что корреляционная матрица случайного вектора , будет иметь диагональный вид

К, = Е[ ЦТ ] = АКАТ = = ^{А,!, ..., \,0, ..., 0}.

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

п = К,, = Л>2,

\ 1=0

а также, что ||,|| = ||,||.

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

Е

1

(2п)

х е

V/2

I

|(Ах2 + ... + ^х^)2 х

(23)

2 йх1... йх ,

причем очевидно, что последний интеграл конечен. Из этого равенства без труда выводим, что

Е

I .2)2

х е

(2п)

1(х?-

V/2

Ж'

■+ х?)

| (х2 + ... + х2) йх1... йху,

(24)

К„

где ст = у и кр

Вычислим последний интеграл путем перехода к многомерным сферическим координатам, в результате чего получим неравенство

Ж

Е [ИГ ]< ^ Г^), (25)

где C > 0 — некоторая константа, не зависящая от I, что и завершает доказательство леммы. □

Леммы, доказанные выше, позволяют без напряжения установить аналитичность характеристической функции и в многомерном случае. Действительно, рассмотрим непрерывный векторный случайный процесс X(t), определенный при t е [t0, Т\ который является (вообще говоря, слабым) решением системы стохастических дифференциальных уравнений (векторного стохастического дифференциального уравнения)

dX(t) = a(t, X(t)) dt + H(t) dW(t), (26)

с детерминированным начальным условием X(t0) = x0 е Ж", где W(t) — теперь уже вектор, составленный из n независимых стандартных винеровских процессов, стартующих из нуля.

Предполагается, что коэффициенты уравнения (26) удовлетворяют следующим условиям:

T

J ||H(s)||> <«>, ||a(t, х)|| < C(1 + ||х||), (27)

t0

где х е Ж", а C > 0.

Сформулируем окончательно основное утверждение настоящего раздела.

Теорема 2. Пусть случайный векторный процесс X(t), определенный при t е [t0, Т], есть решение векторного стохастического дифференциального уравнения (26) с детерминированным начальным условием X(t0) = х0 е Ж". Тогда характеристическая функция

E(z; t) = E[eizTx(t)]

является целой функцией векторного аргумента z е С".

Д о к а з а т е л ь с т в о. Заметим вначале, что

G(t) = JH(s) dW(s)

t0

есть центрированный многомерный гауссов-ский процесс с корреляционной матрицей

К(<) = | Н(з) НТ (з) йз.

<0

с помощью обобщенного неравенства минковского легко получить оценку для ее нормы фробениуса:

||К(<)||, <}||Н(з)НТ(з)|^йз <]Гн(з)||^йз.

<0 <0

Далее повторяем все выкладки из доказательств теоремы 1 и леммы 4 с учетом замены модуля на норму вектора и пользуемся леммами 6 и 5. Таким образом мы придем к необходимому утверждению. □

Замечание. Обратим внимание, что в условии теоремы 2 матрица диффузии может вырождаться, что довольно часто возникает в приложениях.

Заключение

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

Приведенный в настоящей статье метод доказательства аналитичности характеристической функции также допускает обобщение и на более широкий класс уравнений. В частности, при внимательном анализе видно, что по существу в доказательствах использовалась аналитичность в комплексном пространстве Сп характеристической функции процесса — решения системы уравнений (26) при а (х; <) = 0.

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

Благодарности

Автор считает своим долгом поблагодарить кандидата физико-математических наук, доцента кафедры прикладной математики СПбПУ О.И. Зайца, а также доктора

физико-математических наук, профессора кафедры теории вероятностей и математической статистики СПбГУ М.А. Лифшица за внимательное изучение текста статьи и ряд ценных замечаний, которые способствовали ее улучшению.

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

[1] Заяц О.И. Применение уравнения Пугачева — Свешникова к исследованию кусочно-линейных стохастических систем, линейных в полупространствах // Научно-технические ведомости СПбГПУ. Физико-математические науки. 2013. № 4-1 (182). С. 128-142.

[2] Пугачёв В.С., Синицын И.Н. Стохастические дифференциальные системы. Анализ и фильтрация. М.: Наука, 1990. 632 с.

[3] Шабат Б.В. Введение в комплексный анализ. М.: Наука, 1969. 576 с.

[4] Kawata T. Fourier analysis in probability theory. Academic Press, 1972. 668 p.

[5] Рамачандран Б. Теория характеристических функций. М.: Наука, 1975. 224 с.

[6] Лукач Е. Характеристические функции. М.: Наука, 1979. 264 с.

[7] Линник Ю.В., Островский И.В. Разложения случайных величин и векторов. Теория вероятностей и математическая статистика. М.:

Наука, 1972. 480 с.

[8] Manohar C. Methods of nonlinear random vibration analysis // Sadhana. 1995. Vol. 20. No. 2. Pp. 345-371.

[9] Ibrahim R. Recent results in random vibrations of nonlinear mechanical systems // ASME. J. Mech. Des. 1995. Vol. 117(B). No. 2. Pp. 222-233.

[10] Заяц О.И. Об аналитических свойствах решения уравнения B.C. Пугачёва в форме А.А. Свешникова. Деп. в ВИНИТИ 30.06.1987, №7461-B87. C. 1-16. 1987.

[11] Гихман И.И., Скороход А.В. Введение в теорию случайных процессов. 2-е изд. М.: Наука, 1977. 568 с.

[12] Гихман И.И., Скороход А.В. Стохастические дифференциальные уравнения. Киев: Наукова Думка, 1968. 356 с.

[13] Колмогоров А.Н., Фомин С.В. Элементы теории функций и функционального анализа. М.: Наука, 1972. 496 с.

сведения об авторе

БЕРЕЗИН Сергей Васильевич — старший научный сотрудник лаборатории виртуально-имитационного моделирования института прикладной математики и механики Санкт-Петербургского политехнического университета Петра Великого.

195251, Российская Федерация, г. Санкт-Петербург, Политехническая ул., 29 [email protected]

Berezin S.V. ON ANALYTIC CHARACTERISTIC FUNCTIONS AND PROCESSES GOVERNED BY SDEs.

We study analyticity of the characteristic function of a process defined by means of SDEs. Namely, starting with the simple case of a scalar Ito SDE we show that the corresponding characteristic function is entire. The proof is based on the Groenwall's inequality technique and the classic analyticity criterion in terms of moments. Further, we extend this criterion and derive a handy sufficient condition of analyticity in the multidimensional case. This condition is used to prove the corresponding general result of analyticity. We assume that the drift vector obeys the linear growth condition, and the diffusion matrix is time-only-dependent, but possibly degenerate. The approach used in the article can be extended to more general types of SDEs.

STOCHASTIC DIFFERENTIAL EQUATION, COMPLEX ANALYTIC FUNCTION, HOLOMORPHIC FUNCTION, MULTIVARIATE HOLOMORPHIC FUNCTION.

REFERENCES

[1] O.I. Zayats, Analysis of piecewise linear State Polytechnical University Journal. Physics and stochastic systems in half-spaces by means of the Mathematics. 4(182)-1 (2013) 129—142. Pugachev—Sveshnikov equation, St. Petersburg [2] V.S. Pugachev, I.N. Sinitsyn, Stochastic

differential systems. Analysis and filtering, Chechester, 1987.

[3] B.V. Shabat, Vvedeniye v kompleksnyy analiz [Introduction to complex analysis] (in Russian). M.: Nauka, 1969.

[4] T. Kawata, Fourier analysis in probability theory. Academic Press, 1972.

[5] B. Ramachandran, Teoriya kharakteristi-cheskikh funktsiy [The characteristic functions theory] (in Russian). M.: Nauka, 1975.

[6] E. Lukach, Kharakteristicheskiye funktsii [Characteristic functions] (in Russian). M.: Nauka, 1979.

[7] Yu.V. Linnik, I.V. Ostrovskiy, Razlozheniya sluchaynykh velichin i vektorov [Decomposition of random variables and vectors] (in Russian). Teoriya veroyatnostey i matematicheskaya statistika. M.: Nauka, 1972.

[8] C. Manohar, Methods of nonlinear random vibration analysis, Sadhana. 20(2) (1995) 345-371.

[9] R. Ibrahim, Recent results in random vibrations of nonlinear mechanical systems. ASME, J. Mech. Des. 117(B) (2) (1995) 222-233.

[10] O.I. Zayats, Ob analiticheskikh svoystvakh resheniya uravneniya V.S. Pugacheva v forme A.A. Sveshnikova [On analytic properties of the Pugachev-Sveshnikov equation solution] (in Russian). Dep. v VINITI 30.06.1987, №7461-B87. Pp. 1-16. 1987.

[11] I.I. Gikhman, A.V. Skorokhod, Vvedeniye v teoriyu sluchaynykh protsessov [Introduction to stochastic processes] (in Russian). 2th izd. M.: Nauka, 1977.

[12] I.I. Gikhman, A.V. Skorokhod, Stokhasticheskiye differentsialnyye uravneniya [Stochastic differential equations] (in Russian). Kiyev: Naukova Dumka, 1968.

[13] A.N. Kolmogorov, S.V. Fomin, Elementy teorii funktsiy i funktsionalnogo analiza [Elements of the functions theory and of the functional analysis] (in Russian). M.: Nauka, 1972.

THE AuTHOR

BEREZIN Sergey V.

Peter the Great St. Petersburg Polytechnic University

29 Politekhnicheskaya St., St. Petersburg, 195251, Russian Federation

[email protected]

© Санкт-Петербургский политехнический университет Петра Великого, 2016