Об обобщенной формуле Танаки Текст научной статьи по специальности «Математика»

Уфимский математический журнал. Том 1. № 1 (2009). С. 69-76.

УДК 519.2

ОБ ОБОБЩЕННОЙ ФОРМУЛЕ ТАНАКИ

Ф.С. НАСЫРОВ

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

Ключевые слова: Винеровский процесс, симметричный интеграл, расширенный симметричный интеграл, стохастический интеграл Стратоновича, стохастический интеграл Ито, формула Танаки.

Известно, что одним из ключевых инструментов стохастического исчисления является формула Ито, которую можно рассматривать как формулу, связывающую стохастические интегралы Стратоновича и Ито. В настоящей статье с помощью разработанной в работах [5], [6] техники доказывается обобщенная формула Танаки для непрерывных слева предсказуемых интеграндов.

Введем необходимые обозначения. Множества К = (-то, К+ = [0, [0, £], £ > 0

предполагаются наделенными а-алгебрами борелевских множеств, которые соответственно обозначаются В, В1, В4; на этих подмножествах считается заданной мера Лебега А(.). Для непрерывной функции X(в), 5 € К+ положим М(£) = тах{Х(в) : в€[0,£]}, ш(£) = тт{Х(5) : в€[0,£]}.

Обозначим через вдп(х) знак вещественного числа х, вдп(0) = 0, а 1 (А) обозначает индикатор множества А, то есть функцию, равную 1 на А и 0 вне А; далее всюду аЛЬ = тт(а, Ь), аУЪ= тах(а, Ь), к(ь, а, Ь) = вдп(Ь — а)1(аЛЬ < V < а V Ь).

Приведем некоторые сведения о локальных временах и симметричных интегралах и связанных с ними конструкциях.

1. Пусть X(в), в € К+, - борелевская вещественнозначная функция, т(.) - мера на а-алгебре В1 борелевских множеств [0, Введем меры ит(В) = /т 1(Х(в)ЕЙ)т(^в),

В € В, Т € В1, тогда Ут(В) есть "количество времени", проводимое функцией X(в), в € Т, в множестве В. Производная Радона-Никодима ат(Т,и) = ат(и) = (и), и € К, если она существует, называется локальным временем функции X(в). Оказывается (см. [10]), существует версия локального времени ат(£,и) = ат([0,£],и), которая измерима как функция двух переменных и является при каждом и неубывающей непрерывной справа функцией по меру на В1, которую она порождает, мы будем обозначать ат(йв,и).

Из определения локального времени следует (см. [10]), что для любой ограниченной (или знакопостоянной) борелевской функции f (в, и) справедливо равенство

Говорят, что случайный процесс обладает локальным временем, если почти все его траектории имеют локальное время. В случае т(ds) = ds положим ат(t,u) = a(t,u). Ряд

Nasyroy F.S. Extended Tanaka formula. (( 2009 Насыров Ф.С. . Работа поддержана РФФИ (грант 08-01-97031). Поступила 14 марта 2009 г.

1. Введение

(1)

n G N такие, что Tn С Tn+1, n G N, и An = max

+ k

,(n) _ ,(n) ^k Lk-1

общих сведений о локальных временах детерминированных функций и случайных процессов приведен в работах [1] - [4] ,[8] - [10].

2. Будем говорить, что пара функций X(s), s G R+ и f (s,u), s G R+, u G R удовлетворяют условию (S) на [0,t], t G R+, если:

(a) Функция X(s), s G [0,t] непрерывна;

(b) При п.в. u функция f(s,u), s G [0,t] имеет ограниченное изменение и непрерывна справа по s G [0, t];

(c) При п.в. u справедливо равенство J0 1(X(s) = u)|f|(ds,u) = 0, где при каждом u функция |f |(s, u) есть полное изменение функции f (p, u) по переменной p на отрезке [0, s];

(d) Полное изменение |f |(t,u) функции f (s,u) по переменной s на отрезке [0,t] локально суммируемо по u.

3. Пусть функции X(s) и f (s,u) удовлетворяют условию (S) на отрезке [0,t]. Рассмотрим разбиения Tn, n G N, отрезка [0, t]: Tn = {tkn)}, 0 = t0n) < t1n) < ... < tkn) < ... < t^ = t,

» 0 при n ^ то. Через

X(n) (s), s G [0,t], обозначим ломаную, построенную по функции X(s) и отвечающую разбиению Tn. Положим

Atkn) = tkn) - tkn-i, [Atkn^ = [tkn-i,tkn)], AXkn) = X(tkn)) - X(tkn-i). Симметричным интегралом (см.[5], [7]) называется

Г f (s,X(s)) * dX(s)= lim i ( f (s,X(n)(s))dsAXkn),

если предел в правой части равенства существует и не зависит от выбора последовательности разбиений Tn, n G N. Симметричный интеграл в случае винеровского процесса X(s) является (см. [5], [7]) детерминированным аналогом стохастического интеграла Стратоно-вича.

4. Пусть функции X(s) и f (s,u) удовлетворяют условию (S) на [0,t], тогда (см. [7]) симметричный интеграл J0 f (s, X(s)) * dX(s) существует и может быть вычислен по формуле:

Г f (s, X(s)) * dX(s) = o

f-X (t) r M(t) rt

= f (t,v)dv - / k(v,X(0),X(t))f (dr,v)dv. (2)

Jx (o) •/ m(t) Л

В случае, когда X(s) = X(s, w) - стандартный винеровский процесс, а детерминированная функция h(s,u) имеет непрерывную частную производную dUh(s,u), формулу Ито можно записать (см. [7]) в виде

[ h(s, X(s)) * dX(s)= [ h(s,X(s))dX(s) + 1 [ ^h(s,X(s))ds, Jo Л 2 ./o du

где первое слагаемое в правой части равенства есть стохастический интеграл Ито.

5. Пусть X(s),s G [0,t], - непрерывная функция с локальным временем a(s,u), а f (s), s G [0,t], - суммируемая функция. С функцией f (s) можно связать некоторые специальным образом построенные функции, зависящие только от функций X(s) и £(s) = a(s,X(s)) и эквивалентные ей по мере Лебега, например,

f (s) = f+(e(s),X (s))

при п.в. s G [0,t], где ft+(x,u) = f(7(x,u))1(a(t,u) > x), 7(x,u) = inf{s : a(s,u) > ж}. Функция ft+(x,u), также как и функция ft+(£(s),X(s)), называется представлением функции f (s) на отрезке [0,t]. Другое представление функции f (s) может быть получено с помощью непрерывного слева варианта функции 7*(z, u) = inf{s : a(s, u) > z}, оно имеет вид

/*(х,и) = / (7*(х, и))1(а(£, и) > ж). Комбинируя эти два представления, можно получить различные представления функции /(в).

Пусть X(в), в £ Я+ - непрерывная функция с совместно непрерывным локальным временем а(Ь,и). Расширенным симметричным интегралом называется (см. [5], [7]) интеграл по специальным образом построенному заряду по одному из представлений функции /(в), например:

(Е) Г /+(£(в),Х(в)) * ¿X(в) = / /+(х,и)Ог(вхви), и о ик+хк

где Сг(вхви) - заряд, однозначно определяющийся своими значениями на

"прямоугольниках" А х В:

г X (г)

Сг(А х В) =/ 1((а(*,и),и) £ А х В)ви-Зх (о)

-1 I 1((а(г,и),и) £ (А \{0}) х В)вдп(и - X(0))ви+ 2 Зк

+1 / 1 (и £ В, а(г, и) > 0)вдп(и - X(0))ви1(0 £ А). 2 3 к

Расширенный симметричный интеграл может быть вычислен по формуле

г г х (г)

/ / (х,и)Сг(вхви) = / (а(Ь,и),и)ви—

ик+хк их (0)

! гМ(г)

— о / [/ (а(£,и),и) — / (0,и)]вдп(и — X (0))ви.

2 3 т(г)

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

2. ОСНОВНОЙ РЕЗУЛЬТАТ

Пусть на полном вероятностном пространстве (П, F, P) фиксирован стандартный вине-ровский процесс W(s), s £ R+, W(0) = 0, с локальным временем a(t,u), t £ R+, u £ R, совместно непрерывным с вероятностью 1 по переменным (t,u). Обозначим при каждом t через Ft естественную а-алгебру, порожденную случайными величинами W(s), s £ [0, t]. В дальнейшем в этом параграфе мы будем, как правило, опускать выражения "с вероятностью 1" и "почти наверное", считая, что имеем дело с типичной траекторией винеровского процесса. В работе [6] автором был доказан следующий результат.

Теорема 1. Пусть W(s), s £ R+ - стандартный винеровский процесс, g(s),s £ R+ -произвольная непрерывная слева предсказуемая функция, для которой конечны стохастический интеграл Ито J0 g(s) dW(s) и расширенный симметричный интеграл

ir+xrg(Y*(x,v)) Gt(dxdv). Тогда справедлива формула

[ g(s) dW(s) = f g(Y*(x,v)) Gt(dxdv)-J0 Jr+xr

1 ft 1

- lim lim - —[gn(s, W(s) + e) - gn(s, W(s) - e)]ds, (3)

£ >0 2 j0 2e

где gn(s,u) = g(s,u)1(|g(s,u)| < n) + n1(g(s,u) > n) - n1(g(s,u) < -n), g(s,v) = g(Y*(a(s,v),v)), а оба предела в правой части формулы (3) есть пределы по вероятности и они существуют.

Естественно, можно попытаться осуществить вывод из формулы (3) формулу обобщенной формулы Танаки, построенной ниже в теореме 2, но для этого необходимы значительные усилия. Целью данной работы является прямой вывод обобщенной формулы Танаки и, как следствие, вывод нового варианта обобщенной формулы Ито.

Наша ближайшая цель - построить обобщенную формулу Танаки.

Теорема 2. Пусть g(s) = g(s,w), s £ R+ - непрерывная слева предсказуемая функция такая, что с вероятностью 1 конечны интегралы

f g(s)a(ds,v) и i g(s)1(W(s) > v)dW(s). Jo Jo

Тогда справедлива обобщенная формула Танаки

СW(t) ft Г(n)

g(t) / 1(u > v)du — lim lim / / 1(u > v)du dg, (s) =

Jw(0) fej^o JW(0)

= [ g(s)1(W(s) >v)dW(s) + ! [ g(s)a(ds,v), (4)

0

2

где ghn)(s) = h Г.,g(n)(T)1(т > Q)dr,

h Js—h• »i

д1га)(т) = $(т)1(-п < $(т) < п) + п1($(т) > п) - п1($(т) < -п),

оба предела в в левой части формулы (4) есть пределы по вероятности и они существуют.

Доказательство. Рассмотрим формулу Танаки (см.[1], [8]), левую часть которой можно записать в виде симметричного интеграла:

[ 1(Ш(в) >и) * (в)= / 1(Ш(в) (в)+^а(М). (5)

ио ./о 2

Отметим, что формула (5) справедлива для почти всех реализаций процесса Ш(в) и любых £ £ Л+, V £ Л. Пусть $(в), в £ Л+, $(0) = 0 - ограниченная неубывающая непрерывная предсказуемая функция, тогда в силу монотонности функции $(в) и определения симметричного интеграла для любого х > 0 справедливы тождества

1($(£) < х) 1(Ш(в) > V) * (в) -- ^ 1(Ш(в) > V, $(в) < х) * (в)^ = 0,

1($(£) < х) ^а(£, V) - ^ 1($(в) < х)а(^в^)^ = 0.

Отметим (см. [2]), что стохастический интеграл Ито можно рассматривать как предел с вероятностью 1 соответствующих ему частичных сумм, если шаг разбиения стремится к нулю с достаточно большой скоростью. Поэтому при условии $(£)<х выражение

[ 1(Ш (в) (в)-/ 1(Ш (в) > V, $(в)<х)^Ш (в)

оо

равно нулю. Следовательно

г*

1($(£) < х)( I 1(Ш(в) ^,$(в) < х) * (в)-

0

1(Ш(в) > V, д(в) < х)(Ш(в) - 1/ 1(д(в) < х)а((в, ь) ) = 0. (6)

Пусть Ь* = ¿*(х) = шт(в : д(в) = х} - марковский момент, положим Ь = Ь* в формуле (5). Умножим обе части этой формулы на 1 (д(Ь) > х), тогда ввиду свойств марковских моментов, стохастических интегралов Ито и определения симметричного интеграла получим

1(д(Ь) > х) 1(Ш(в) > V, д(в) < х) * (Ш(в)-

- [ 1(Ш(в) > V,д(в) < х)(Ш(в)-ио

-1 ^ 1(д(в) < х)а(вв,ь)^=0. (7)

Сложив формулы (6) и (7), имеем:

[ 1(Ш(в) >ь,д(в) < х) * (Ш(в) -[ 1(Ш(в) >ь,д(в) < х)(Ш(в)-

,/0 Л)

1 ^

1(g(s) < x)a(ds,v) = 0. Вычитая из формулы (5) последнюю формулу, приходим к соотношению

2J о

/ 1(W(s) >v,g(s) >x) * dW(s) - 1(W(s) >v,g(s) > x)dW(s)-оо

4'

2 Л

1(g(s) > x)a(ds,v) = 0.

Вычислив симметричный интеграл в правой части согласно формуле (2) и интегрируя по переменной x Е [0, последнее равенство, в силу теоремы "типа Фубини"для итовских интегралов (см.[1], лемма 4.1), получим следующий вариант формулы типа Танаки:

r-W (') г-' п w(t)

g(t) 1(u > v)du — 1(u > v)dudg(r) =

Jw(00) J 0 JW (0)

= [ 1(W(s) >v)g(s)dW(s) + 0

1 Г'

+2 J g(s)a(ds,v). (8)

Поскольку любая ограниченная неубывающая непрерывная слева предсказуемая функция g(s), g(0) = 0 может быть представлена как поточечный предел предсказуемых функций вида g(s) = h fS_h g(T)1(т > 0)dr, то в силу теорем о предельных переходах под знаком интегралов Стилтьеса и Ито можно в формуле (8) считать функцию g(s) предсказуемой непрерывной слева неубывающей функцией, g(0) = 0.

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

t

t

Пусть теперь g(s) = g(s, w), s G R+, g(0) = 0 - непрерывная слева ограниченная предсказуемая функция, тогда функция

gh(s) = Ц g(T)1(т > 0)dT

есть абсолютно непрерывная функция, поэтому, подставляя gh(s) в формулу (8), получим

i gh(s)1(W(s) >v) * dW(s) = i gh(s)1(W(s) >v)dW(s)+ ./0 ./0

1

+2 J gh(s)a(ds,v). (9)

Перейдем к пределу по вероятности при h j. 0 в последнем равенстве. В силу теоремы Лебега о предельном переходе под знаком интеграла имеем:

lim / gh(s)a(ds,v) = / g(s)a(ds,v).

hi0 Л) Л

Далее, поскольку ввиду той же теоремы Лебега

hm / (h >- s(8)|dT)2 ds=°-

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

lim/ gh(s)1(W (s) >v)dW (s)= [ g(s)1(W (s) > v)dW (s).

hi0 Л Л

Так как ввиду формулы для вычисления симметричных интегралов rt /.W(i)

/ gh(s)1(W(s) >v) * dW(s) = gh(t) / 1(u>v)du-

.70 ./W(0)

rt n W(s)

— 1(u > v)du dgh(s),

./0 JW (0)

то, согласно приведенным выше рассуждениям, существует предел по вероятности

rt п W(s)

lim / / 1(u > v)du dgh(s).

hi0 Л) JW (0)

Таким образом, мы пришли к формуле

/•W (t) r-t n W(s)

g(t) / 1(u > v)du — lim / / 1(u > v)du dgh(s) = JW (0) hi0 Л) JW (0)

= i g(s)1(W(s) >v)dW(s) + 1/ g(s)a(ds,v). ./0 2 ./0

Заметим, что в силу формулы Танаки предположение g(0) = 0 может быть опущено. Если g(s) - любая случайная функция, удовлетворяющая предположениям теоремы 2, то для любого M > 0 для функция ghn)(s) в силу приведенных выше рассуждений справедливо последнее соотношение, поэтому, подставляя функцию ghn)(s) в последнюю формулу и переходя затем в этой формуле к пределу по вероятности при n ^ то, воспользовавшись теоремами о предельных переходах в интеграле Лебега и стохастическом интеграле, получим формулу (4).

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

Теорема 3. Пусть g(s) = g(s,u), s Е R+ - непрерывная слева предсказуемая функция, а f (u), u Е R - непрерывно дифференцируемая функция такие, что с вероятностью 1 конечны интегралы

Г g(s)f'(W (s))ds и Г g(s)f (W (s))dW (s). Jo Jo

Тогда справедлива обобщенная формула Ито

fW (i) Г* fW(S) (n)

g(t) f (u)du — lim lim / / f (u)du dg^'(s) =

JW (0) h[0 J о Jw (0)

= J" g(s)f (W(s))dW(s) + g(s)f'(W(s))ds, (10)

где ghhn\s) = h J— g(n)(T)1(т > 0)dr,

g(n)(r) = g(r)1(|g(r)| < n) + n1(g(r) > n) — n1(g(r) < -n), оба предела в в левой части формулы (10) есть пределы по вероятности и они существуют.

Доказательство. Пусть фиксируется непрерывная слева ограниченная предсказуемая функция g(s) = g(s,u), s Е R+, g(0) = 0. Заметим, что при доказательстве предыдущей теоремы нами была получена формула (9), где gh(s) = h JS~h g(T)1(r > 0)dr. Предположим сначала, что функция f (u), u Е R есть ограниченная снизу монотонно возрастающая непрерывно дифференцируемая функция, и положим в этой формуле v = f-1(u) = inf{v : f (v) > u}, тогда 1(W(s) > f-1(u)) = 1(f (W(s)) > u). Поэтому справедливо равенство

Г gh(s)1(f (W(s)) > u) * dW(s) = Г gh(s)1(f (W(s)) > u)dW(s) + 00

1 Г*

+2 J gh(s)a(ds,f-1(u)). (11)

Проинтегрируем обе части последнего равенства по u Е [а, тогда в силу формулы

для вычисления симметричного интеграла и теоремы Фубини левая часть полученного равенства имеет вид

с t

1+

gh(s)[f (W(s)) — а]+ * dX(s),

0

где [/(Ш(в)) — а]+ = шах(/(Ш(в)) — а, 0), а ввиду "стохастической" теоремы Фубини

р+ж

/ / дн(з)1(/(Ж(в)) >и)вШ(в)ви = дн(з)[/(Ж(в)) — а]+вШ(в). Ja Jo Jo

Сделав замену переменных и воспользовавшись формулой (1) для вычисления интегралов

с локальными временами для процесса Ш(в), получим

р+ж

/ / дн(в)а(вв,/-1(и))ви = дн(з)/'(Ш(в)) 1(/(Ш(в)) > а)вв. Ja Jo Jo

Таким образом, из соотношения (11) мы получили равенство

Гдн(в)[/(Ш(в)) — а]+ * вШ(в) = Jo

= £ дн(в)[/(Ш(в)) — а]+вШ+ дн(в)/'(Ш(в)) 1(/(Ш(в)) > а)вв. (12) Чтобы упростить эту формулу, положим а < т£(/(и)) и заметим, что для гладких

пЕЯ

предсказуемых функций д(в) справедливо соотношение /0 д(в) * вШ(в) = £д(в)вШ(в). В

этом, например, можно убедиться, если перейти к пределу при V ^ —то по вероятности в формуле (8). Тогда из формулы (12) получим

Г Ул(в)/(Ж(в)) * ^(в) = Г уЛ(в)/(Ж(в))^(в) + 1 Г уЛ(в)/'(Ж(в))^. (13)

./0 ./0 2 J 0

Ввиду аддитивности этой формулы, она будет справедливой для произвольных ограниченных непрерывно дифференцируемых функций f (и). Аппраксимируя произвольную непрерывно дифференцируемую функцию f (и) последовательностью ограниченных непрерывно дифференцируемых функций /«(и), нетрудно убедиться, что формула (13) будет справедлива для произвольных непрерывно дифференцируемых функций /(и).

Перейдем к пределу по вероятности при к ^ 0 в равенстве (13), тогда правая часть полученного соотношения ввиду непрерывности слева функции у(в) и стандартных теорем о предельных переходах в лебеговских и стохастических интегралах Ито равна

£ уф/(ж(8))аж+ ' $(*)/'(Ж(*))ж.

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

р ж(г) рг г- ж(«)

у(^) / /— Иш / / /(и)а!и (в). ./ж(0) Л) ./ж(0)

Если у (в), в Е Д+, - произвольная случайная функция, удовлетворяющая всем предположениям теоремы 3, то мы можем воспользоваться рассуждениями, которые применили в аналогичной ситуации при переходе от ограниченной к неограниченной функции у (в) при доказательстве теоремы 2 и завершить доказательство теоремы 3.

СПИСОК ЛИТЕРАТУРЫ

1. Ватанабе С., Икеда Н. Стохастические дифференциальные уравнения и диффузионные процессы. М.: Наука. 1986. 448 с.

2. Маккин Г. Стохастические интегралы. М.: Мир. 1972. 184 с.

3. Натансон И.П. Теория функций вещественной переменной. М.: Наука. 1974. 480 с.

4. Насыров Ф.С. О локальных временах для функций и случайных процессов 1 // Теория вероятн. и ее примен. Т. 40. в. 4. 1995. C. 798-812.

5. Насыров Ф.С. Симметричные интегралы и их применение в финансовой математике //Труды МИРАН. Т. 237. 2002. С. 265-278.

6. Насыров Ф.С. Обобщенная формула Ито и потраекторные итовские интегралы // Вестник УГАТУ. Т. 6. Вып. 1. 2005. С. 33-40.

7. Насыров Ф.С. Симметричные интегралы и стохастический анализ // Теория вероятн. и ее примен. Т. 51. Вып. 3. 2006. С. 496-517.

8. Чжун К., Уильямс Р. Введение в стохастическое интегрирование. М.: Мир. 1987. 152 с.

9. Follmer H., Protter P., Shiryayev A. Quadratic covariation and an extension of Ito's formula // Bernoulli. V. 1. 1995. P. 149-169.

10. Geman D., Horowitz J. Occupation densities // Ann. Probab. V .8. N 1. 1980. P. 1-67.

Фарит Сагитович Насыров,

Уфимский государственный авиационный

технический университет,

ул. К. Маркса, 12,

450000, г. Уфа, Россия

E-mail: [email protected]