Мартингалы и теоремы Кантора Юнга Бернштейна и Валле-Пуссена Текст научной статьи по специальности «Математика»

expansions in eigenfunctions of integral operators with kernels that can have discontinuities on the diagonals. Sb. Math., 2001, vol. 192, no. 10, pp. 1451-1469. DOI: 10.1070/SM2001v192n10ABEH000601.

3. Khromov A. P. Integral operators with kernels that are discontinuous on broken lines. Sb. Math., 2006, vol. 197, no. 11, pp. 1669-1696. DOI: 10.1070/ SM2006v197n11ABEH003817.

4. Kurdyumov V. P., Khromov A. P. Riesz bases of eigenfunctions of an integral operator with a variable limit of integration. Math. Notes, 2004, vol. 76, no. 1, pp. 90102. DOI: 10.1023/B:MATN.0000036745.53704.08.

5. Kurdyumov V. P., Khromov A. P. Riesz bases of eigenfunctions of integral operators with kernels discontinuous on the diagonals. Izv. Math., 2012, vol. 76, no. 6, pp. 1175-1189. DOI: 10.1070/IM2012v076n06 ABEH002620.

6. Lyusternik L. A., Sobolev V. I. The elements of functional analysis. Moscow, Nauka, 1965 (in Russian).

7. Hromov A. P. Equiconvergence theorems for integro-differential and integral operators. Math. USSR-Sb., 1982, vol. 42, no. 3, pp. 331-355. DOI: 10.1070/ SM1982 v042 n03 ABEH002257.

УДК 517.518.3+519.216.8

МАРТИНГАЛЫ И ТЕОРЕМЫ КАНТОРА-ЮНГА-БЕРНШТЕЙНА

И ВАЛЛЕ-ПУССЕНА

М. Г. Плотников1, Ю. А. Плотникова2

1 Доктор физико-математических наук, заведующий кафедрой математики и механики, Вологодская государственная молочнохозяйственная академия им. Н. В. Верещагина, MGPlotnikov@gmail.com

2Кандидат физико-математических наук, доцент кафедры математики и механики, Вологодская государственная молочнохозяйственная академия им. Н. В. Верещагина, JAPlotnikova@yandex.ru

Во многих работах изучались вопросы единственности представления функций одномерными и кратными рядами по системе Хаара. Хорошо известно, что подпоследовательность частичных сумм ряда Хаара с номерами 2к является мартингалом на некотором фильтрованном вероятностном пространстве (П, &, (&к), Р). В нашей работе вводится понятие и-множества для мартингалов и устанавливается ряд теорем единственности для мартингалов на произвольном компактном фильтрованном вероятностном пространстве. В частности, доказывается, что каждое множество и е и£=0&к с Р(и) = 0 является и-множеством для мартингалов на компактном пространстве (П, &, (&к), Р) (теорема типа Кантора-Юнга-Бернштейна). Приведенный результат дополняется рядом теорем типа Валле-Пуссена.

Ключевые слова: множество единственности, мартингал, фильтрованное вероятностное пространство, теорема Кантора -Юнга-Бернштейна, теорема Валле-Пуссена.

ВВЕДЕНИЕ

Одним из фундаментальных результатов в теории ортогональных рядов является теорема Кантора - Юнга - Бернштейна (см., напр., [1; гл. 1, §70, гл. 14]): если тригонометрический ряд

— + cos kx + bk sin kx) (1)

k=1

всюду на [0, 2п), за исключением, быть может, точек из некоторого не более чем счетного множества, сходится к нулю, то этот ряд является тождественно нулевым, т. е. все его коэффициенты равны нулю. С этой теоремы началось развитие разветвленной теории единственности представления функции ортогональными рядами. В частности, для тригонометрических рядов интересным оказался вопрос, можно ли заменить не более чем счетные множества в теореме Кантора - Юнга - Бернштейна на множества из более широкого класса. Оказывается, ответ на этот вопрос связан не только с их метрическими, но и с арифметическими характеристиками (см. по этому поводу [1, гл. 14] и библиографию, содержащуюся в данной монографии).

Теорему Кантора-Юнга-Бернштейна можно усиливать и в другом направлении, рассматривая вместо сходимости к нулю сходимость к конечной функции. В этом направлении хорошо известна (см., напр., [1, гл. 14, §4]) теорема Валле-Пуссена (мы приводим эту теорему в не самой общей формулировке): если ряд (1) сходится всюду, кроме, быть может, точек некоторого счетного множества, к суммируемой функции f, то данный ряд является рядом Фурье функции f.

© Плотников М. Г., Плотникова Ю. А., 2014

Возможность получить аналоги теорем Кантора - Юнга - Бернштейна и Валле-Пуссена изучалась и для других систем функций. Важную роль в теории функций играет система функций Хаара {Нп} на отрезке [0, 1] (см. [2, гл. 3]).

В 1910 г. А. Хаар показал, что если ряд ^ сп Нп сходится к нулю всюду на [0, 1], то он является тождественно нулевым. Но доказательство Хаара содержало ошибку. Верное доказательство было получено в 1964 г. независимо сразу в 4 работах Ф. Г. Арутюняна, Ф. Г. Арутюняна и А. А. Талаляна, М. Б. Петровской, В. А. Скворцова. С другой стороны, в подобных теоремах сходимость всюду нельзя заменить даже на сходимость всюду, кроме одной точки: для каждой точки х0 £ [0, 1] найдется нетривиальный ряд Хаара, сходящийся к нулю всюду на [0, 1], кроме точки х0 (результат Г. Фабера, Д. МакЛафлина и Д. Прайса). По поводу результатов выше см. [3] и содержащуюся в этой работе библиографию. Таким образом, аналог теоремы Кантора - Юнга - Бернштейна для рядов Хаара справедлив лишь для сходимости к нулю всюду.

Для ¿-кратных рядов Хаара на [0, 1]^ теорема типа Кантора - Юнга - Бернштейна установлена для сходимости по прямоугольникам [4], по 1/2-ограниченным прямоугольникам [5], а для сходимости по кубам она не имеет места [6] (речь идет о сходимости всюду). Теоремы типа Валле-Пуссена для одномерных и кратных рядов по системе Хаара содержатся в большом количестве работ (см., напр., [7-10]).

Ряды по системе Хаара интересны тем, что допускают большое количество представлений. Хорошо известен [11; 12, гл. 7, § 1] следующий факт. При подходящем выборе области определения функций Хаара, а также фильтрованного вероятностного пространства (О, &, (&к), Р), подпоследовательность частичных сумм ряда Хаара с номерами 2к является мартингалом. Подобное представление имеет место и для кратных рядов Хаара.

Целью данной заметки является изучение вопроса о справедливости теорем типа Кантора - Юнга -Бернштейна и Валле-Пуссена для мартингалов на произвольных фильтрованных вероятностных пространствах (О, &, (&к), Р). Отметим, что теоремы типа Валле-Пуссена для сходимости почти всюду хорошо известны (см., напр., [12, гл. 7; 13; 14]), однако в них на мартингалы накладываются ограничения типа равномерной интегрируемости. Здесь мы будем рассматривать поточечную сходимость вместо сходимости почти всюду, но при этом будем обходиться без дополнительных ограничений на поведение мартингалов.

1. МАРТИНГАЛЫ: ОПРЕДЕЛЕНИЯ И НЕКОТОРЫЕ ФАКТЫ

Всюду N означает множество целых неотрицательных чисел. До конца работы считаем, что имеется фильтрованное вероятностное пространство (О, &, (&к), Р), т. е. [15, гл. 1, §2а, п. 5] вероятностное пространство (О, &, Р) с выделенной последовательностью (&к)кем ^-алгебр (называемой фильтрацией) такой, что

с с ... с &.

Пусть (Хк)£=0 или просто (Хк) — последовательность случайных величин на (О, &, Р). Тогда (Хк) называется мартингалом (по отношению к фильтрации (&к)), если для всех к £ N величина Хк является -измеримой, Е |Хк | < го и

Е (Хк+1 | &к) = Хк (Р-п.н.), к £ N. (2)

(См. по этому поводу [12, гл. 7, §1].) Отметим, что (2) эквивалентно тому, что

/ Хк+1 ёР = / Хк ёР для всех к £ N В £ &к. (3)

Зв У в

Мартингал (Хк) будем называть тривиальным, если Хк = 0 (Р-п. н.) для каждого к £ N. Множество А с О назовем множеством единственности для мартингалов (иначе, множеством типа им), если только тривиальный мартингал (Хк) может обладать тем свойством, что Хк (ш) = 0 для

всех ш £ О \ А.

Множество А с О назовем множеством типа Ум, если каждый мартингал (Хк), обладающий тем свойством, что Хк(ш) = £(ш) для всех ш £ О \ А (С — случайная величина с Е |£| < го),

восстанавливается по случайной величине С так:

Хк = Е (С | #к) (Р-п.н.) для всех к £ N. (4)

Очевидно, каждое множество типа Ум является множеством типа им.

М Г. Плотников, Ю. А Плотникова. Мартингалы и теоремы Кантора - Юнга - Бернштейна__

2. ВСПОМОГАТЕЛЬНЫЕ УТВЕРЖДЕНИЯ

Лемма 1. Пусть заданы I £ N е > 0, мартингал (Ук) и множество А £ , причем Р(А) > 0 и

У ^ е всюду на А. (5)

Тогда Р(А') > 0, где А' = {ш £ А : У+1 (ш) ^ е}. Доказательство. Из (5) вытекает неравенство

I У ёР ^ е ■ Р(А). (6)

За

Из определения множества А' следует, что

У+1 < е всюду на А \ А'.

Поэтому

[ У+1 ёР < е ■ Р(А \ А') ^ е ■ Р(А). (7)

з а\а'

Имеем:

/ У+1 ёР = / У+1 ёР - / У+1 ёР = / У ёР - / У+1 ёР (6>(7) е ■ Р(А) - е ■ Р(А) = 0, и а' за и а\а' за и а\а'

т. е. /А' У+1 ёР > 0. Отсюда Р(А') > 0. Лемма доказана. □

Лемма 2. Пусть пространство (О, &, (&к), Р) обладает тем свойством, что

те

Р| Ак = 0 для всякого I £ N и любой невозрастающей последовательности к=1 (8) (Акмножеств таких, что Ак £ и Р(Ак) > 0 для всех к ^ I.

Предположим, что заданы I £ N. е > 0, мартингал (Ук) и множество А\ £ для которых выполнено условие (5). Тогда Ое П А^ = 0, где

Ое = {ш £ О : Цш Ук(ш) ^ е}. (9)

к^те

Доказательство. Многократно применив лемму 1, отыщем невозрастающую последовательность (Ак)те=г множеств такую, что Р(Ак) > 0, Ак £ и

Ук (ш) ^ е всюду на Ак (10)

для всех к ^ I. Из (9) и (10) видно, что

те

Ое п А э р| Ак. (11)

к=1

Теперь утверждение леммы вытекает из (8) и (11). Лемма доказана. □

Лемма 3. Предположим, что пространство (О, &, (&к), Р) обладает свойством (8). Пусть заданы I £ N мартингал (Ук) и множество В £ такие, что

[ У ёР > 0. (12)

в

Тогда для некоторого е > 0 выполнено соотношение Ое П В = 0, где Ое определяется формулой (9).

Доказательство. Из (12) вытекает наличие е > 0 и множества А £ для которых выполнено условие (5). Теперь утверждение данной леммы вытекает из леммы 2. Лемма доказана. □

Лемма 4. Предположим, что пространство (О, F, (Fk), P) обладает свойством (8). Пусть заданы множество U и мартингал (Yk), причем U е Fq для некоторого q е N, P(U) = 0 и

lim Yk (и) ^ 0 для всех и е О \ U. (13)

Тогда

I Yi d P ^ 0 Jb

для всех l ^ q и множеств B е Fl.

Доказательство. Предположим противное. Тогда существуют l ^ q и множество B е Fl такие, что fB Yl dP > 0. Тогда B \ U е Fl и fB\U Yl dP > 0. Согласно лемме 3 найдется e > 0 такое, что (Ое П B) \ U = Ое П (B \ U) = 0, Ое определяется формулой (9). Значит, существует точка и0 е B \ U такая, что lim Yk(и0) ^ e. Последнее соотношение противоречит (13). Лемма доказана. □

Лемма 5. Предположим, что пространство (О, F, (Fk), P) обладает свойством (8). Пусть заданы множество U, случайная величина £ с E |£| < го и мартингал (Xk), причем U е Fq для некоторого q е N, P(U) = 0 и

Тогда

lim Xk(и) ^ £(и) для всех и е О \ U.

к^ж

/ Xl d P ^ / £d P

'b ./B

для всех l ^ q и множеств B е Fl.

Доказательство. Достаточно применить лемму 4 к мартингалу (Yk), где Yk = Xk — E (£ | Fk) для всех k е N. Лемма доказана. □

3. ТЕОРЕМЫ КАНТОРА-ЮНГА-БЕРНШТЕЙНА И ВАЛЛЕ-ПУССЕНА ДЛЯ МАРТИНГАЛОВ

Теорема 1. Предположим, что пространство (О, F, (Fk), P) обладает свойством (8). Пусть заданы: множество U, причем U е Fq для некоторого q е N и P(U) = 0; случайная величина £ с E |£ | < го; мартингал (Xk) такой, что

lim Xk (и) ^ £ (и) ^ Um Xk (и) (14)

для всех и е О \ U. Тогда для каждого k е N выполнено равенство (4).

Доказательство. К мартингалам (Xk) и (—Xk) применима лемма 5. Для мартингала (Xk) указанная лемма дает неравенство

/ Xl dP ^ / £dP, (15)

'b Jb

а для мартингала (—Xk) — неравенство

/ —Xl dP ^ / £dP, (16)

Jb Jb

для всех l ^ q и множеств B е Fl. Из (3), (15) и (16) вытекает равенство (4) для всех k ^ q. Так как (Xk) — мартингал, то равенство (4) распространяется и на все 0 ^ k ^ q — 1. Теорема доказана. □ Теорема 2. Предположим, что пространство (О, F, (Fk), P) обладает свойством (8). Пусть заданы: множество U е U^=0Fk с P(U) = 0; случайная величина £ с E |£| < го; наконец, мартингал (Xk) такой, что для всякого и е О \ U найдется возрастающая последовательность (ks) (зависящая, вообще говоря, от и) натуральных чисел, причем

lim Xks (и) = £(и), и е О \ U. (17)

Тогда для каждого k е N выполнено равенство (4).

Доказательство. Утверждение теоремы вытекает из утверждения теоремы 1 и того факта, что условие (14) является следствием соотношения (17). Теорема доказана. □

М. Г. Плотников, Ю. А. Плотникова. Мартингалы и теоремы Кантора - Юнга - Бернштейна

Из теоремы 2 сразу вытекает

Теорема 3. Предположим, что пространство (О, &, (&к), Р) обладает свойством (8). Пусть заданы: множество и £ ите=0с Р(и) = 0; случайная величина С с Е |С| < го; мартингал (Хк) такой, что Ншк^те Хк(ш) = С(ш) для всех ш £ О\и. Тогда для всех к £ N выполнено равенство (4).

Следствие 4. Если пространство (О, &, (&к), Р) обладает свойством (8), то любое множество и £ ите=0с Р(и) > 0 является множеством типа Ум и, как следствие, множеством типа им.

Следствие 5. Если пространство (О, &, (&к), Р) обладает свойством (8), то 0 является множеством типа Ум и, как следствие, множеством типа им.

Работа выполнена при финансовой поддержке РФФИ (проект № 14-01-00417) и гранта Президента РФ для государственной поддержки ведущих научных школ (проект НШ-3682.2014.1).

Библиографический список

1. Бари Н. К. Тригонометрические ряды. М : ГИФМЛ, 1961. 936 с.

2. Кашин Б. С., Саакян А. А. Ортогональные ряды. М : Изд-во АФЦ, 1999. 560 с.

3. Голубов Б. И. Ряды по системе Хаара // Итоги науки. Сер. Математика. Матем. анализ. 1970, 1971. С. 109-146.

4. Скворцов В. А. О множествах единственности для многомерных рядов Хаара // Матем. заметки. 1973. Т. 14, № 6. С. 789-798.

5. Плотников М. Г. Вопросы единственности для кратных рядов Хаара // Матем. сб. 2005. Т. 196, № 2. С. 97-116. 001: 10.4213/зш1268.

6. Плотников М. Г. О нарушении единственности для двумерных рядов Хаара // Вестн. Моск. ун-та. Сер. 1. Матем. Механ. 2003. № 4. С. 20-24.

7. Арутюнян Ф. Г., Талалян А. А. О единственности рядов по системам Хаара и Уолша // Изв. АН СССР. Сер. матем. 1964. Т. 28, вып. 6. С. 1391-1408.

8. Скворцов В. А., Талалян А. А. Некоторые вопросы единственности кратных рядов по системе Хаара и тригонометрической системе // Матем. заметки. 1989. Т. 46, № 2. С. 104-113.

9. Skvortsov V. Henstock-Kurzweil type integrals in P-adic harmonic analysis // Acta Math. Acad. Paedagog. Nyhazi. (N.S.). 2004. Vol. 20, № 2. P. 207-224.

10. Плотников М. Г. Некоторые свойства многомерных обобщенных интегралов и теоремы типа Дю Буа-Реймона для двойных рядов Хаара // Матем. сб. 2007. Т. 198, № 7. С. 63-90. DOI: 10.4213/sm1506.

11. Gundy R. F. Martingale theory and pointwise convergence of certain orthogonal series // Trans. Amer. Math. Soc. 1966. Vol. 124, № 2. P. 228-248.

12. Ширяев А. Н. Вероятность. М. : Наука, 1989. 640 с.

13. Skvortsov V. A. Martingale closure theorem for A-integrable martingale sequences // Real Anal. Exchange. 1998-1999. Vol. 24, № 2. P. 815-820.

14. Костин В. В. Замкнутость справа мартингаль-ных последовательностей в смысле A-интеграла // Матем. заметки. 2000. Т. 68, № 1. С. 98-104. DOI: 10.4213/mzm923.

15. Ширяев А. Н. Основы стохастической финансовой математики : в 2 т. Т. 1. М. : Фазис, 1998. 512 с.

Martingales and Theorems of Cantor-Young-Bernstein and de la Valiee Poussin

M. G. Plotnikov1, Ju. A. Plotnikova2

Vologda State Academy of Milk Industry, 2, Shmidt str., P.O. Molochnoe, Vologda, 160555, Russia, MGPlotnikov@gmail.com, JAPlotnikova@yandex.ru

Uniqueness problems for one-dimensional Haar series and for multiple ones have understood in numerous works. It is well-known that the subsequence of the partial sums S2k of an arbitrary Haar series can be represented as a discrete-time martingale on some filtered probability space (Q, F, (Ft), P). In paper the concept of a U-set for martingales is presented and some uniqueness theorems for martingales on arbitrary compact filtered probability spaces are established. In particular, it is proved that every set U e U^oFk with P(U) =0 is a U-set for martingales on a compact space (Q, F, (Ffc), P) (Cantor-Young-Bernstein type theorem). The result above is supplemented by some de la Vallee Poussin type theorems.

Key words: set of uniqueness, martingale, filtered probability space, Cantor-Young-Bernstein theorem, de la Vallee Poussin theorem.

This work was supported by the Russian Foundation for Basic Research (project no. 14-01-00417) and by the Grant of the President of the Russian Federation for state support of leading scientific schools (project no. Hm-3682.2014.1).

References

1. Bary N. K. A treatise on trigonometric series, vols. I, II. Oxford, Pergamon Press, 1964, 1061 p. (Rus. ed. : Bary N. K. Trigonometricheskie ryady. Moscow, Fizmatgiz, 1961, 936 p.)

2. Kashin B. S., Saakyan A. A. Orthogonal series. Transl. Math. Monogr., vol. 75, Providence, RI, Amer. Math. Soc., 1989, 451 p. (Rus. ed. : Ortogonal'nye ryady. Moscow, AFC Publishers, 1999, 560 p.)

3. Golubov B. I. Series with respect to the Haar system. J. Soviet Math., 1973, vol. 1, no. 6, pp. 704-726. DOI: 10.1007/BF01236362.

4. Skvortsov V. A. Uniqueness sets for multiple Haar series. Math. Notes, 1973, vol. 14, no. 6, pp. 1011-1016. DOI: 10.1007/BF01099583.

5. Plotnikov M. G. Uniqueness for multiple Haar series. Sb. Math., 2005, vol. 196, no. 2, pp. 243-261. DOI: 10.1070/SM2005v196n02ABEH000879.

6. Plotnikov M. G. Violation of the uniqueness for two-dimensional uniqueness of double Haar series. Moscow Univ. Math. Bull., 2003, vol. 58, no. 4, pp. 16-19.

7. Arutjunjan F. G., Talaljan A. A. Uniqueness of series in Haar and Walsh systems. Izv. Akad. Nauk SSSR. Ser. Mat., 1964, vol. 28, iss. 6, pp. 1391-1408 (in Russian).

8. Skvortsov V. A., Talaljan A. A. Some uniqueness questions of multiple Haar and trigonometric series.

Math. Notes, 1989, vol. 46, no. 2, pp. 646-653. DOI: 10.1007/BF01137630.

9. Skvortsov V. Henstock - Kurzweil type integrals in P-adic harmonic analysis. Acta Math. Acad. Paedagog. Nyhazi. (N.S.), 2004, vol. 20, no. 2, pp. 207-224.

10. Plotnikov M. G. Several properties of generalized multivariate integrals and theorems of the du Bois-Reymond type for Haar series. Sb. Math., 2007, vol. 198, no. 7, pp. 967-991. DOI: 10.1070/SM2007 v198n07ABEH003869.

11. Gundy R. F. Martingale theory and pointwise convergence of certain orthogonal series, Trans. Amer. Math. Soc., 1966, vol. 124, no. 2, pp. 228-248.

12. Shiryaev A. N. Probability, 1nd ed. New York, Springer, 1995, 637 p. (Rus. ed. : Shiryaev A. N. Verojat-nost. Moscow, Nauka, 1989, 640 p.)

13. Skvortsov V. A. Martingale closure theorem for A-integrable martingale sequences, Real Anal. Exchange., 1998-1999, vol. 24, no. 2, pp. 815-820.

14. Kostin V. V. Right closure of martingale sequences in the sense of the A-integral, Math. Notes, 2000, vol. 68, no. 1, pp. 84-89. DOI: 10.1007/BF02674649.

15. Shiryaev A. N. Essentials of Stochastic Finance, Singapore, World Scientific Publ., 852 p. (Rus. ed. : Shiryaev A. N. Osnovy stohasticheskoj finansovoj matematiki. Vol. 1, Moscow, Fusis Publ., 1998, 512 p.)

УДК 517.927.25

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

В. С. Рыхлов1, О. В. Блинкова2

1 Кандидат физико-математических наук, доцент кафедры дифференциальных уравнений и прикладной математики, Саратовский государственный университет им. Н. Г. Чернышевского, RykhlovVS@yandex.ru 2Старший преподаватель кафедры информатики, Саратовская государственная академия права, Oksana_Parfilova@mail.ru

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

Ключевые слова: пучок обыкновенных дифференциальных операторов, кратная полнота, корневые функции.

1. ПОСТАНОВКА ЗАДАЧИ, ИСТОРИЯ ВОПРОСА И ОСНОВНОЙ РЕЗУЛЬТАТ

В пространстве Х2[0,1] рассмотрим пучок обыкновенных дифференциальных операторов £(А), порожденный на конечном отрезке [0,1] дифференциальным выражением (д. в.):

1(у, А) := р„(ж, А)у(п) + рп-1 (х, А)у(п-1) + ■ ■ ■ + ро(х, А)у (1)

и линейно независимыми краевыми условиями:

п— 1

^(у, А) := £ ^(А)у(з) (0) + ^(А)у3 (1) = 0, г = М, (2)

3 =0

© Рыхлов В. С., Блинкова О. В., 2014