Неравенства, позволяющие оценивать скорости сходимости в эргодических теоремах Текст научной статьи по специальности «Математика»

Вестник КемГУ №3/1 2011 Вещественный анализ

УДК 517.987+519.214

НЕРАВЕНСТВА, ПОЗВОЛЯЮЩИЕ ОЦЕНИВАТЬ СКОРОСТИ СХОДИМОСТИ В ЭРГОДИЧЕСКИХ ТЕОРЕМАХ

А. Г. Качуровский, В. В. Седалищев

INEQUALITIES FOR ESTIMATING CONVERGENCE RATES IN ERGODIC THEOREMS

A. G. Kachurovskii, V. V. Sedalishchev

Получены неравенства на скорость сходимости в эргодической теореме фон Неймана, вытекающие из эквивалентности друг другу степенной скорости сходимости в этой теореме, и степенной же (с тем же показателем степени) особенности в нуле спектральной меры усредняемой функции относительно соответствующей динамической системы. Эта же скорость сходимости оценена также через корреляционные коэффициенты. Отдельно рассмотрены важные для возможных приложений частные случаи степенной и экспоненциальной скорости убывания корреляционных коэффициентов. Получены оценки скорости сходимости в эргодической теореме Биркгофа по известной скорости сходимости в теореме фон Неймана. Все результаты работы имеют точные аналоги для стационарных в широком смысле стохастических процессов.

Mean ergodic theorem convergence rate inequalities are obtained. The existence of such inequalities is implied by the equivalence between power-function convergence rate in this theorem and the presence of the power singularity (with the same exponent) of averaging function spectral measure at zero which is related with corresponding dynamical system. The same convergence rate was also estimated via correlation coefficients. Important for possible applications particular cases when correlation coefficients decay rate is power and exponential were considered apart. Estimates for pointwise ergodic theorem convergence rate were obtained for the case when mean ergodic theorem convergence rate is known. All results of the paper have their exact analogues for stationary in the wide sense stochastic processes.

Ключевые слова: эргодическая теорема фон Неймана, эргодическая теорема Биркгофа, скорости сходимости эргодических средних, спектральные меры динамической системы, стационарные в широком смысле стохастические процессы.

Keywords: mean ergodic theorem, pointwise ergodic theorem, ergodic averages convergence rate, spectral measures of dynamical system, stationary in the wide sense stochastic processes.

Работа поддержана программой государственной поддержки ведущих научных школ Российской Федерации (проект НШ-8508-2010.1).

1. Введение

Пусть T — эндоморфизм пространства (Q, F,A) с вероятностной мерой. Напомним, что эндоморфизмом пространства Q называется отображение T : Q ^ Q, такое, что для всех A G F множество T—1A принадлежит F, и A(A) = A(T—1A). Автоморфизмом пространства Q называют его п.в. взаимнооднозначный эндоморфизм.

Для f G L2(Q) введём эргодические средние

.. п — 1

Anf =-V f ◦ Tk. n

k=0

Эргодические теоремы фон Неймана и Биркгофа гарантируют существование предела lim Anf = f*, первая теорема в смысле L2(Q),

п—— Ж

вторая — почти всюду в Q. Для измерения скорости сходимости п.в. используются

Pn = A (sup\Akf - f* \ > Л,

L k>n J

поскольку сходимость для любого е > 0 при n ^ ж последовательности Pn к нулю эквива-

лентна сходимости п.в. Ап/ к /*. Через ит обозначим изометрический оператор (называемый иногда оператором Купмана), действующий в гильбертовом пространстве Ь2(&) по формуле ит/ = / о Т (в случае, когда Т — автоморфизм, этот оператор, более того, является унитарным). Корреляционные коэффициенты Ьк/ определим так: Ьк/ = №/, /) при к > 0 и Ьк/ = Ь-к/ при к < 0. Тогда, в силу теоремы Бохнера-Хинчина, корректно определена (единственная) спектральная мера а/ усредняемой функции относительно динамической системы, связанной с эндоморфизмом Т, т. е. такая конечная борелевская мера на единичной окружности, что

Ьк / = J eгкxdаf (х)

(—п,п]

для всех целых к.

Вестник КемГУ №3/1 2011 Вещественный анализ

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

Скорость сходимости в теореме фон Неймана не может быть произвольной: соотношение \\A-nI — I*||2 = 0(п-а) при а > 2 может иметь место лишь при I — I* =0 тождественно (см., например, следствие 5 в [2]), т. е. степенной скорости сходимости с показателем а > 2 не бывает, за исключением упомянутого вырожденного случая. Про оставшийся диапазон а € [0, 2] известно следующее: в [5] было показано (см. теорему 3), что для а € [0, 2) утверждение \\Anf — I * Щ = 0(п-а) эквивалентно утверждению * (—6,6] = 0(6“) при 6 ^ 0, а для а = 2 эта эквивалентность не имеет места (аналогичные результаты для случая непрерывного времени были доказаны в работе [6]), более того, в [3] доказана импликация *(—6,6] = 0(62) ^ \\AnI — Ц2 = 0(^). Отметим также, что случай а = 2 эквивалентен когомологичности нулю функции I, т. е. условию I = д о Т — д для некоторой функции д € -2(П) (см. лемму 5 в [9]).

Следующая теорема уточняет уже упоминавшуюся теорему-критерий 3 из [5] в направлении перехода от асимптотических соотношений к алгебраическим неравенствам и теорему 1 из [7] в направлении уменьшения фигурирующих в ней констант и исследования неравенств на точность.

Теорема 1. Пусть а € [0, 2). Тогда:

1) Если для всех 6 € (0, п] выполняется

о!-!* (—6,6] < А6а, то при а € [0, 1) :

\\Af - f W2 <

< Ana

-1-а

2а

Іа

2 +----І----2] n-2 - n-2-a

2 а І а

< Ana

<

1-а

2 а І а

при а = І :

\\Anf - f 12 <

n2

<

1 ln n < An(2n +—2-);

при а Є (І, 2) :

WAnf -f 12 < < Ana

2а

- 2 +

+ 4 -

2 І

2 — а + а — І

n 2

аІ

n -1 - а - n - 2 - а

<

< Ana

2а

+ (4 -

2 а а І

2

^B, О < а < І 2-а , причем C — неулуч-

B, І < а < 2

2) Если \\Ап/ — /12 < Вп а, то для 6 Є (0, п] будет О]* (—6, 6] < С6а, где

С

[ 23-

шаема в том смысле, что её нельзя уменьшить.

Как очевидное следствие этой теоремы, получаем следующее замечание, уточняющее асимптотическую теорему 4 из [5] и замечание 2 из [7].

Замечание 1. Если мера о/* абсолютно непрерывна с плотностью р Є Ьж(—п,п], то \\Anf — ГШ < 2п||р||то(2п~1 + 1П2п) для любого натурального п.

Следующая лемма, использовавшаяся при доказательстве теоремы 1, интересна также и сама по себе, поскольку показывает влияние меры о]* на скорость сходимости \\Апf — f*||2 без предположения наличия степенной особенности в нуле меры О] *, как это было в условии теоремы

1.

Лемма 1. Положим Бк = о/-]* ( — П, П],

Ок = Бк — Бк + 1 = О]* {( — П ; — к + 1] и (к+1 ; П]}. Тогда для любого натурального п выполнено неравенство

n-1

— Sn < \\Anf - f*||2 < Sn +-------------2 (k + І)2^к =

п2 n2

к=1

= (s + X>k + І)5'к) .

3. Оценка скорости сходимости в теореме фон Неймана при наличии информации о корреляционных коэффициентах

Как уже отмечалось выше, скорость сходимости в эргодической теореме фон Неймана полностью определяется поведением меры af—f * в окрестности нуля, а так как определение этой меры вводится через корреляционные коэффициенты, то не вызывает удивления факт возможности получения оценок скорости сходимости через корреляционные коэффициенты. Следующая ниже теорема даёт либо эти оценки, либо даже тождества,

І

2

2

І

2

І

2БІ

Вестник КемГУ №3/1 2011 Вещественный анализ

выражающие ||Ап/ — /*\2 через всю совокупность {Ьк (/ — /Ж=о корреляционных коэффициентов при тех или иных предположениях о свойствах этих коэффициентов, уточняя тем самым теорему 6 из [5] и теорему 2 из [7].

Теорема 2. Справедливы следующие утверждения:

п— 1

1) \\Ап/ — П1 < ПЬо(/ — /*) + П £ \Ьк(/ — /*)!•

к=1

2) Если {Ьк(/ — /*)}™=0 Є 1р при р Є [1, +ж],

то \\Ап/ — / *112 < 2\\{Ьк (/ — /*)}\рП— Р •

3) Если ряд £ Ьк (/ — /*) сходится абсо-

к= — <х>

лютно, то мера О]—] * абсолютно непрерывна с непрерывной (неотрицательной) плотностью р; при этом

или экспоненциальными. Предыдущая теорема с учётом таких частных случаев убывания {Ьк (/ — /*)}й=о приводит нас к следующей теореме.

Теорема 3. Пусть корреляционные коэффициенты со степенной скоростью стремятся к нулю, те^ для некоторой положительной константы С при всех натуральных п выполнено неравенство \Ьп(/ — /*)\ < Сп—. Тогда:

1) Если 0 < 7 < 1, то для всех п

\\Ап/ — /*112 <\\/ — /*Г2п-1 +

2С

--------п

1 — 1

-7 <

<

\2 +

2С 1 — 7

2) Если 7 = 1, то для всех п

р(х)=2-и Ьк(/—/*)

2п

* \ е^кх

к= — с

для всех х Є (—п,п], и, следовательно,

12 Ьк(/ — /*) = 2пр(0), причём

к = — <х>

\\Ап/ — / *112 — 2пр(0)п 1

1

1

— ^}, \к\Ьк(/ — /*) — ~ У . Ьк(/ — /*).

2

\к\<п

\к\>п

\\Ап/ — /*112 <\\/ — /*\\2п—1 +2С

1п п +

<

<

+ 2С)

1п п +1

Если 7 > 1, то мера О]—] * абсолютно непрерывна с непрерывной (неотрицательной) плотностью р; при этом 2пр(0) < \\/1|2 + 2С^——1, причём:

3) Если 1 < 7 < 2, то для всех п > 2

4) Если, более того, ряд 12 кЬк(/ — /*) схо-

к = — <х>

дится абсолютно, то, более того, плотность р меры О]—]* непрерывно дифференцируема; при

|\\Ап/ — /*\\1 — 2пр(0)п 11 < < 2С

11

+

. . . 1 — - ) п—.

7 — 1 2 — 7/\ п ,

4) Если 7 = 2, то для всех п > 2

р'(х) = 2П ікЬк(/ — /*)

к= — с

для всех х Є (—п,п] и, следовательно,

12 \к\Ьк(/ — /*) = 2п(р)с(0), где

к = — <х>

\\Ап/ — / *|І2 — 2пр(0)п

<

< 2С 1п п + 2 +

1

п( п — 1)

2

5) Если 7 > 2, то, более того, плотность

р меры -$ * непрерывно дифференцируема; при

1 -у-1 ^-2,

этом \2п(р')с(0)\ < 2С, причём для всех п > 2

(Р')с(х) = 2- Е \к\Ьк(/ — /*)еікх

к = — с

\\Ап/ — /* 112 — 2пр(0)п 1 + 2п(р)с(0)п 2

= Е (\к\ — п)Ьк(/ — /*).

\к\>п

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

\\Ап/ — / *||2 — 2пр(0)п-1 +2п(р')с (0)

2|

<

— сопряжённая функция к р'(х) (см• [1], глава VIII), причём

7 - 2 V п)

6) Если, более того, корреляционные коэффициенты убывают экспоненциально, т.е.

\Ъп(! — /*)| < Ае-Вп для некоторых констант А > 0 и В > 0 при всех п (что эквивалентно аналитичности плотности р — см., например, [1], глава I, §25), то

2пР(0) < \\/1|2 +

\2п(р')с (0)\<

2А

ев — 1,

2А

(ев — 1)(1 — е—в)

п

п

2

2

п

1

Вестник КемГУ №3/1 2011 Вещественный анализ

и для всех n

\\Anf - f*h - 2np(0)n + 2n(p/)c(0)n I <

< 2A-

- 1

1 +

1

1

eB — 1 n

-Bn

4. Неравенства, связывающие между собой скорости сходимости в эргодических теоремах фон Неймана и Биркгофа

Как было показано в [5], нельзя сказать что-либо о скорости сходимости \\Anf — f*\2, зная только поведение РП; в то же время в работах [3], [4] и [5] приводились оценки асимптотики убывания РП при известной скорости убывания \\Anf — f*||2, но они были только в терминах “ О” и “ о”. Следующая теорема уточняет эти результаты в направлении перехода от асимптотических оценок к алгебраическим.

Теорема 4. Пусть для любого натурального n выполнено неравенство \\Anf — f*\2 < Bn-a, где B — некоторая положительная константа, а е (0, 2]. Тогда для любого е > 0 при всех натуральных n > 2 выполнено неравенство:

Рп _ М SUP\Ak f — f * \ > е } < ^(а, n)Be-

{ k>n

причём в зависимости от а:

1. Если а е (0,1), то

^(а, n)

21 + ° 1-2-

1+

1

(1-2^ )2 ,

__ 8 (1+log2 n)2+3

n '

моментом) называются последовательности комплекснозначных случайных величин, удовлетворяющие (помимо требования существования конечного второго момента) ещё двум условиям: Е£п = Е£о и соу(£п+т,£п) = соу(£т,£о) при всех целых т и п. Без потери общности можно считать, что Е£о = 0, что мы и будем делать всюду в дальнейшем.

Введём ковариационную функцию Д(п), определённую на множестве всех целых чисел, по формуле Е(п) = соу(£п,£0), тогда, в силу теоремы Герглотца, найдётся функция Р(Л), (называемая спектральной функцией стационарного процесса £), такая, что будет справедливо спектральное представление ковариационной функции:

R(n)

JXn

F (dX)

(—п,п]

2. Если а = 1, то р(а, п) = 8

3. Если а £ (1,2], то

р(а,п) = 8 ^1 + П2 (11+2211_,Г)^ п-1.

Замечание 2. При а = 2 неравенство в предыдущей теореме можно заменить на

X<{ sup\Ak f — f * \ >e\<Bn 1e 2.

kn

Замечание 3. Как показано в [5] (пример 1 после доказательства теоремы 11), оценка пункта 1 предыдущей теоремы асимптотически (по п) неулучшаема.

5. Связь полученных результатов с теорией стационарных в широком смысле стохастических процессов

Напомним (см., например, [8], гл. 6), что стационарными в широком смысле процессами £ = (..., £_1, £о, £1, • • •) (с конечным вторым

для всех целых п.

Далее нам потребуются стационарные в узком смысле случайные последовательности (см., например, [8], гл. 5). Пусть £ = (£1 ,£2,...) — последовательность случайных величин. Введём следующее обозначение: вк£ = (£к+1, £к+2, • • •). Говорят, что последовательность £ стационарная в узком смысле, если для любого натурального к > 1 распределения вероятностей для последовательностей вк£ и £ совпадают. Имеется тесная связь между эндоморфизмами пространств с вероятностной мерой и стационарными в узком смысле процессами: если £1(1^) — случайная величина на (П, $, Л), а Т — эндоморфизм, как и ранее, этого пространства, то последовательность (£1, £1(Тш), £1 (Т2ш), • • •) будет стационарной в узком смысле, т. е. наличие эндоморфизма позволяет построить стационарную в узком смысле последовательность. В определённом смысле верно и обратное: для каждой стационарной последовательности £ можно указать вероятностное пространство (П, $, А), последовательность £ случайных величин в нём, совпадающую по распределению с £ и эндоморфизм Т, такие, что £ = (£1(^),£1(Т^), £1(Т2ш), • • •) для некоторой случайной величины £ 1(£). Доказательства этих фактов можно найти в главе 5 монографии [8].

Стационарные в широком смысле процессы, оправдывая своё название, содержат как подкласс стационарные в узком смысле процессы (см. главу 6 в [8]). Несмотря на это, приведённые ранее теоремы 1-4 имеют очевидные точные аналоги для стационарных в широком смысле процессов. Приведём здесь соответствующий аналог теоремы 1.

Теорема 5. Пусть {Хп,п £ Z} — стационарный в широком смысле процесс (с конечным вторым моментом), ЕХп = 0, Р(Л) — спектральная

п-1

функция, Бп = ^2 Хк и пусть а £ [0, 2). Тогда:

к=0

1) Если для некоторой положительной кон-

B

e

e

B

e

2

а

Вестник КемГУ №3j1 2011 Вещественный анализ

станты А при всех 6 € (0, п] выполняется неравенство Р(6) — Р(—6) < А6“, то для любого натурального п при а € [0,1) :

D Sn < Ana

Оа

2-а і

n +

Іа

1-а

n-

ОІ

-(О +1 О) - n

О — а І — а О

< Ana(--n2-a +

Оа

І

Іа

при а = І :

D Sn < Лл(Оп + ln n — n-1) < Aп(2n + ln n);

при а Є (І, О) :

D Sn < An°

Оа

J-a + (4 — + —Ц) —

О а а І

<An°

— (О+--)n1-a — n-a I <

аІ

*2-а + (4 — + —Ц-) ) •

О а а І

Оа

2) Если для некоторой положительной константы В при всех натуральных п выполняется неравенство й Яп < Вп2-а, то для любого 6 € (0, п]

Литература

[1] Бари, Н. К. Тригонометрические ряды / Н. К. Бари. - М.: Физматгиз, 1961.

[2] Гапошкин, В. Ф. Сходимость рядов, связанных со стационарными последовательностями / В. Ф. Гапошкин // Извест. АН СССР. Сер. матем. - 1975. - Том 39, №6. - С. 1366 - 1392.

[3] Гапошкин, В. Ф. О скорости убывания вероятностей £-уклонений средних стационарных процессов / В. Ф. Гапошкин // Математические заметки. - 1998. - Том 64, №3. - С. 366 - 372.

[4] Гапошкин, В. Ф. Несколько примеров к задаче об £-уклонениях для стационарных последовательностей / В. Ф. Гапошкин // Теория вероятностей и её применения. - 2001. - Том 46, №2. -С. 370 - 375.

[5] Качуровский, А. Г. Скорости сходимости в эргодических теоремах / А. Г. Качуровский // УМН. - 1996. - Том 51, № 4. - С. 73 - 124.

[6] Качуровский, А. Г. О скорости сходимости в эргодической теореме фон Неймана с непрерывным временем / А. Г. Качуровский, А. В. Решетен-ко // Матем. сб. - 2010. - Том 201, № 4. - С. 25 - 32.

F(S)—F(—S) < CS2-a, где C

4

-2-а

[7] Качуровский, А. Г. О константах оценок скорости сходимости в эргодической теореме фон Неймана j А. Г. Качуровский, В. В. Седалищев jj B, G < а < І Математические заметки. - 2010. - Том 87, № 5. -C, 75б - 7б3.

B, І < а < 2

причем константа С неулучшаема в том смысле, что её нельзя уменьшить.

Аналог теоремы при а = 2 не имеет места ни с какими константами, а степенного убывания й Бп (случай а > 2) при Хп ф 0 просто не бывает.

[8] Ширяев, А. Н. Вероятность / А. Н. Ширяев. - М.: Наука, 1989.

[9] Browder, F. On the iteration of transformations in noncompact minimal dynamical systems / F. Browder // Proc. Amer. Math. Soc. -1958. - Vol. 9, no. 5. - P. 773 - 780.

О

І

О

О

2а

П

2