Инвариантные меры для многозначных отображений тема автореферата и диссертации по математике, 01.01.01 ВАК РФ

004609383

МОСКОВСКИЙ ГОСУДАРСТВЕННЫЙ УНИВЕРСИТЕТ имени М. В. ЛОМОНОСОВА

Механико-математический факультет

На правах рукописи УДК 517.98

Горбачев Алексей Николаевич

ИНВАРИАНТНЫЕ МЕРЫ ДЛЯ МНОГОЗНАЧНЫХ ОТОБРАЖЕНИЙ

01.01.01 — вещественный, комплексный и функциональный анализ

3 О СЕН 2010

АВТОРЕФЕРАТ диссертации на соискание ученой степени кандидата физико-математических наук

Москва - 2010

004609383

Работа выполнена на кафедре теории функций и функционального анализа механико-математического факультета Московского государственного университета имени М. В. Ломоносова.

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

профессор Степин Анатолий Михайлович

Официальные оппоненты: доктор физико-математических наук,

Качуровский Александр Григорьевич

кандидат физико-математических наук, Тихонов Сергей Викторович

Ведущая организация: Обнинский государственный

технический университет атомной энергетики (ИАТЭ)

Защита диссертации состоится 1 октября 2010 г. в 16 часов 40 минут на заседании диссертационного совета Д 501.001.85 при Московском государственном университете имени М. В. Ломоносова по адресу: 119991, ГСП-1, Москва, Ленинские горы, МГУ, механико-математический факультет, аудитория 16-24.

С диссертацией можно ознакомиться в библиотеке механико-математического факультета МГУ (Главное здание, 14 этаж).

Автореферат разослан 31 августа 2010 г.

Ученый секретарь диссертационного совета Д 501.001.85 при МГУ доктор физико-математических наук, профессор

В. Н. Сорокин

Общая характеристика работы Актуальность темы

Начиная с 30-х годов XX века эргодическая теория активно развивалась и в настоящее время представляет собой основной аппарат для анализа статистических свойств динамических систем. Базовым понятием эргодической теории является понятие инвариантной меры отображения. Различные вопросы, связанные с существованием инвариантных мер, статистическими свойствами динамических систем, подходы к изучению и применению эргодической теории содержатся в работах Дж. Д. Биркгофа1, Дж. фон Неймана2, Е. Хопфа3, П. Халмоша4, В. А. Рохлина5, Н. Н. Боголюбова6, Д. В. Аносова и Я. Г. Синая7, А. Б. Катка и А. М. Степина8, каждая из которых, в свою очередь, повлекла за собой серию работ в данном направлении.

Необходимость в изучении многозначных отображений возникла в таких классических областях как анализ9,10, геомет-

1 Birkhoff G. D., Proof of the ergodic theorem // Proc Natl Acad Sei USA 17(1931): 656-660

2von Neumann J., Proof of the Quasi-ergodic Hypothesis // Proc Natl Acad Sei USA 18(1932): 70-82

3Hopf E., Statistik der geodätischen Linien in Mannigfaltigkeiten negativer Krummung // Leipzig Ber. Verhandl. Sachs. Akad. Wiss. 91(1939): 261-304 .

4Халмош П., Лекции по эргодической теории, пер. с англ., М., 1959;

5Рохлин В.А., Лекции по энтропийной теории преобразований с инвариантной мерой // УМН 1967, т. 22, вып. 5(137), с. 3-56.

6Боголюбов H.H., Избранные труды в трех томах, т.1, Киев, Наукова думка, 1969.

7Аносов Д. В., Синай Я. Г., Некоторые гладкие эргодические системы // УМН, 1967, т. 22, вып. 5(137), с. 107-172

8Каток А. Б., Степин А. М., Аппроксимации в эргодической теории // УМН 1967, т. 22, вып. 5(137), с. 81-106

9Yuan G. X.-Z. ККМ theory and applications in nonlinear systems. New York: Marcel Dekker, 1999, 648 p.

10Kigami J., Analysis on fractals. Cambridge: Cambridge univ. press, 2001, 226 p.

рия11,12, топология13'14. Свойства многозначных отображений исследуются в теории марковских процессов15 и в приложениях, связанных с динамическими системами, таких, как, математическая экономика16, теория игр17.

В настоящей работе изучаются инвариантные меры многозначных отображений. Родственное понятие полиморфизмов ввел А. М. Вершик18, одновременно распространив на них некоторые результаты классической эргодической теории. Кроме того, ряд результатов, относящихся к исследованию эргодических свойств полиморфизмов принадлежат A. JI. Федорову19, В. В. Рыжикову20, К. Б. Игудесману21. Многозначные отображения с инвариантной мерой появляются в связи с подходом Монжа-Канторовича к гидродинамической задаче Ньютона (см. обзор А. Ю. П л ахова22), а также в проблеме сингулярности бесконечных

11 Каток А. Б., Хасселблат Б. Введение в современную теорию динамических систем. М.: Факториал, 1999, 768 с.

12Barnsley M., Fractals everywhere. Boston: Academic press, 1988, 394 p.

13Борисович Ю. Г., Б. Д. Гельман, А. Д. Мышкис, В. В. Обуховский. Введение в теорию многозначных отображений и дифференциальных включений. М.: КомКнига, 2005, 216 с.

14Сибирский К. С., Шубэ А. С. Полудинамические системы. Кишинев: Штиинца, 1987, 271 с.

15Бебутов М., Цепи Маркова с компактным пространством состояний // Мат. сборник, Т. 10(52), вып. 3, с. 213-238.

16Гиндельбранд В., Ядро и равновесие в большой экономике, М.: Наука, 1986, 200 с.

17Берж К., Общая теория игр нескольких лиц. М.: Физматгиз, 1961, 128

с.

18Вершик A.M., Многозначные отображения с инвариантной мерой (полиморфизмы) и марковские операторы // Записки научн. сем. ЛОМИ, 1977, вып. 72, с. 26-61.

19Федоров A. JL, Полиморфизмы и разбиения пространств Лебега // Функц. анализ и его приложения, 1982, т.16, вып. 2, стр. 88-89

20Рыжиков В. В., Полиморфизмы, джошшнги и тензорная простота динамических систем // Функц. анализ и его приложения, 1997, т.31, вып. 2, стр. 45-57

21Igudesman К. В., Dynamics of finite-multivalued transformations // Lobachevskii Jour, of Math. 2005, vol. 17, p. 47-60.

22Плахов А. Ю., Рассеяние в биллиардах и задачи ньютоновской аэродинамики // УМН, 2009, т. 64, вып. 5(389), с. 97-166

сверток распределений Бернулли (см. работы П. Эрдеша23, В. Пэрри24, Ю. Переса, В. Шлага и Б. Соломяка25, П. И. Троши-на20).

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

Известное утверждение Н. Н. Боголюбова, полученное на базе его и Н. М. Крылова27 результата об инвариантной мере непрерывного отображения, состоит в следующем: для аменабельной полугруппы однозначных преобразований S компактного пространства найдется ¿'-инвариантная мера6.

Уравнение для плотности абсолютно непрерывной инвариантной меры однозначного отображения (в одномерном случае) было выведено А. Реньи28. Там же было показано, что для кусочно гладкого растягивающего отображения такая мера эргодична и, следовательно, единственна.

В монографии Р. Фелпса29 с использованием теоремы представления Шоке30 и построенного Дж. Фельдманом31 описания крайних точек множества инвариантных вероятностных мер показано, что множество инвариантных мер однозначного отображения является симплексом.

23Erdos P., On a family of symmetric Bernoulli convolutions // Amer. J. Math., 1939, vol. 61, p. 974-975.

24Paxry W., On the /З-expansions of real numbers // Acta. Math. Acad. Sci. Hung., 1960, vol. 11, p. 401-416.

25Peres Y., Shlag W., Solomyak В., Sixty years of Bernoulli convultions // Fractal Geometry and Stochastics 2 / ed. by C. Bandt. Basel, 2000, p. 39-65.

26Трошин П. И., Об инвариантности меры для одной 2-трансформации // Учен. зап. Казан, ун-та. Сер. Физ.-мат. науки, 2009, т. 151, с. 183-191.

27Bogoliubov N. N., Krylov N. М., La theorie generalie de la mesure dans son application a l'etude de systemes dynamiques de la mecanique non-lineaire // Ann. Math. II, 1937, vol. 38, p. 65-113.

28Renyi A., Representations for real numbers and their ergodic properties // Acta math. Acad. sci. hungar., 1957, 8, c. 477-493.

29Фелпс P., Лекции о теоремах Шоке, М., Мир, 1968.

30Choquet G., Existance et unicite des representations integrales au moyen des points extremaux dans les cones convexes // Seminaire Bourbaki, 1956,139, 15 pp

31Feldman J., Representations of invariant measures, 1963, dittoed notes, 17 pp.

Для несжимающих однозначных отображений окружности в работе Ш. И. Ахалая и А. М. Степина32 найдена граница гладкости отображения, при переходе через которую абсолютно непрерывная инвариантная мера данного отображения становится бесконечной.

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

Цель работы

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

Научная новизна

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

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

2. Показано, что множество инвариантных мер линейного многозначного отображения-не является симплексом Шоке.

32Ахалая Ш. И., Степин А. М., Об абсолютно непрерывных инвариантных мерах несжимающих преобразований окружности // Тр. МИАН 2004. N244, 23-34.

33Purstenberg Н., Disjointness in Ergodic Theory, Minimal Sets, and a Problem in Diophantine Approximation // Mathematical Systems Theory 1(1): 1-49 (1967)

3. Установлено, что конечность или бесконечность абсолютно непрерывных инвариантных мер зависит от класса гладкости несжимающего многозначного отображения.

Основные методы исследования

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

Практическая и теоретическая ценность

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

Апробация результатов

Основные результаты работы неоднократно докладывались на следующих семинарах:

• Межкафедральный научно-исследовательский семинар «Динамические системы и эргодическая теория» механико-математического факультета МГУ под руководством акад. РАН проф. Д. В. Аносова, д. ф.-м. н. проф. А. М. Степина (2005-2010);

• «Ортогональные ряды» кафедры теории функций и функционального анализа механико-математического факультета МГУ под руководством член-корр. РАН, проф. Б. С. Кашина, д. ф.-м. н., проф. С. В. Конягина(2009).

Результаты диссертации докладывались также на Добрушин-ской международной конференции, Москва, 2009.

Публикации

Результаты опубликованы в 4 работах, список которых приведен в конце автореферата [1-4].

Структура диссертации

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

Краткое содержание работы

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

Многозначное отображение R множества fii в П2 сопоставляет каждой точке uji € fii подмножество R(u>i) С fh- График Гд такого отображения - это множество {(wi, w2), wi € fii, e R(wi)} Cfii x f¿2.

Предполагается, что множества и суть измеримые пространства (т.е. снабжены <т-алгебрами измеримых подмножеств), а рассматриваемые отображения fli в П2 ~ измеримы.

Образ Т„7] меры т? на fii относительно измеримого однозначного отображения Т : Í2i —> П2 — это мера на П2, определяемая равенством T*r](A) — r¡{T~lÁ) для любого измеримого А С П2. В том случае, если пространства Í7i и fi2 совпадают, будем опускать индексы. Мера r¡ на Г2 называется инвариантной для (относительно) Т, если Ttrj = г].

Пусть 7Гх, 7г2 : Ü х Í2 D, — координатные проекции.

Определение. Мера // на Q х Ü инвариантна относительно многозначного измеримого отображения R пространства О в себя, если /х(Г2 х ü \ Гд) = 0 и Жиц — 7г2*/х.

Отметим связь с понятием полиморфизма18 П(/х), понимаемого как диаграмма

П: (П,Л) ^^ (П, Л),

где ¡1 — мера на П х С1, а Л = 7г1+/х = тг2ф.

Утверждение 1.1.1. Каждое многозначное отображение II из £1 в себя с инвариантной мерой ц задает полиморфизм П(/л) на Г2, и обратно, для любого полиморфизма П(д) существует многозначное отображение Я из О, в себя с инвариантной мерой ц.

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

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

Многозначное отображение Я пространства О в себя, параметризовано измеримыми однозначными отображениями г\,гч : О, —> если Г л = (гх (¿), Г2 ()), I € П. В частности, Я может быть и однозначным с параметризацией г^) = г2(£) = Справедливо

Утверждение 1.1.2. Для многозначного отображения Я из О. в себя, параметризованного отображениями г\ и гг, инвариантная мера существует тогда и только тогда, когда найдется мера г] на П, удовлетворяющая условию гиг) = Г2*7].

Мера т] в этом случае называется (г 1, г2)-инвариантной.

Линейное (к, I)-отображение 51 это многозначное отображение окружности в себя с параметризацией г^) = Ы, гг(£) = П. В параграфе 1.1 для такого отображения построен пример инвариантной меры с непостоянной плотностью, а также приведены два примера бесконечнозначных отображений с непрерывной параметризацией.

Параграф 1.2 посвящен изучению действий преобразований на меры.

Пусть и,..., г„ — преобразования (однозначные) пространства П с заданной на нем сг-алгеброй измеримых множеств. Рассмотрим уравнение

п

^«л«^ °> (!)

{=1

п

где ^ а^ = 0, г] — вероятностная мера на

¿=1

В том случае, когда п = 2, ац = 1, «2 = ~ 1> любое решение уравнения (1) по определению есть (?"1, ^-инвариантная мера, следовательно (в силу утверждения 1.1.2), для многозначного отображения, параметризованного посредством Г1 и г2, существует инвариантная мера.

Пусть Б — дискретная полугруппа. Мера ¡1 на П называется ¿»-инвариантной, если в„г) = г) для любого в € Согласно классическому результату Боголюбова и Крылова, если г\,..., гп — непрерывные преобразования компактного топологического пространства, а полугруппа ¿? с образующими гь ..., гп — пра-воаменабельна, то существует ¿^-инвариантная мера, которая и является решением уравнения (1).

В работе имеется пример, который показывает, что не все меры, удовлетворяющие уравнению (1) ¿»-инвариантны.

Символом (г1,..., г„) обозначается полугруппа с образующими гь...,гп.

Утверждение 1.2.1. Пусть п и гг непрерывные отображения компактного топологического пространства С1, а полугруппа 5 = (?"1,7"2) абелева. Тогда в групповой алгебре Л =

п

«¿й,-, вг € 5} над ¿> существует последовательность, дей-

г=1

ствие которой на произвольную конечную меру на имеет предельную точку — (гх,г2)-инвариантную меру.

Коммутативность полугруппы преобразований может быть заменена правоаменабельностью при введении дополнительного условия.

Говорят, что в полугруппе S выполнен закон сокращения, если для любых элементов a,b,c € S из са — cb или ас — Ъс следует а — Ъ.

Утверждение 1.2.2. Пусть г\ и г2 непрерывные отображения компактного пространства £2 с а-алгеброй измеримых множеств на нем, полугруппа S = {г\,г2) правоаменабельна и в S выполнен закон сокращения. Тогда в групповой алгебре

п

А = € S1} над S существует последовательность,

t=i

действие которой на произвольную конечную меру на Q имеет предельную точку — (ri, г2)-инвариантную меру.

Несколько более сложная конструкция позволяет описать все решения системы уравнений:

r\*v = г2*v = ... = гп„и (2)

ТЕОРЕМА 1.2.1. Пусть ri,...,rn непрерывные отображения компактного пространства Q, с а-алгеброй измеримых множеств на нем, полугруппа S = (ri,...,гп) правоаменабельна и в S выполнен закон сокращения. Тогда в групповой алгебре

п

А = {Y^CiiSi, Si € 5} над S существует последовательность, i=1

действие которой на произвольную конечную меру на £2 имеет предельную точку — решение системы (2).

В параграфе 1.2 показано также, что класс мер, удовлетворяющих системе (2), «шире» класса ¿^-инвариантных мер: приведен пример отображений Г\,..., гп с полугруппой S — (ri... гп) таких, что существует решение системы (2), не являющееся S-инвариантной мерой.

Аналогичным образом в §1.2 решаются уравнения вида A\f = A2f или системы Alf — ... = Anf, где операторы /1Ь..., Ап действуют в пространстве равномерно ограниченных на окружности функций класса Са, а > 1.

В параграфе 2.1 изучается структура множества инвариантных мер многозначных отображений.

Многозначное отображение R на 51, параметризованное гладкими отображениями г\ и г2, называется растягивающим, если для почти всех t € S1 выполняются неравенства r'2(t) > r[(t) > 0.

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

УТВЕРЖДЕНИЕ 2.1.1. Существует бесконечно много линейно независимых абсолютно непрерывных мер, инвариантных относительно растягивающего многозначного отображения окружности.

Пусть Р — непустое компактное подмножество локально выпуклого линейного топологического пространства Е, ц — вероятностная мера на Р. Говорят, что точка р € Е представлена

посредством меры /х, если /(р) = / ¡¿ц для любого непрерыв-

р

ного линейного функционала / на Е. Точка р € Р называется крайней, если она не представляется в виде выпуклой линейной комбинации других элементов Р. Множество крайних точек обозначим через ехР.

Следующая теорема указывает на различия свойств мер, инвариантных относительно однозначных и многозначных отображений.

ТЕОРЕМА 2.1.1. Существуют многозначное отображение Р окружности в себя, элемент т из множества М инвариантных мер для Р и две различные меры, представляющие т и сосредоточенные на ехМ.

Существует такое существенно многозначное отображение К окружности в себя, что для любого элемента у из множества инвариантных мер У существует единственная мера ц, представляющая у и сосредоточенная на ехУ.

При помощи теоремы 2.1.1 и теоремы Шоке-Мейе о макси-

24

мальных мерах доказывается

Теорема 2.1.3. Существуют многозначные отображения окружности в себя, множество инвариантных мер которых суть симплексы или не являются симплексами.

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

в утверждении 2.1.1) в работе построены атомическая и сингулярная непрерывная инвариантные меры для этого отображения. Тем самым существует соответствующее решение уравнения Т2,,7/ = 73*77, где г] - мера на окружности, а Т2 и Тз - отображения удвоения и утроения аргумента. Вопросы подобного типа изучались Фюрстенбергом еще в 60-е годы XX века, который поставил следующую (до сих пор нерешенную) проблему:

Существует ли сингулярная непрерывная мера на окружности, инвариантная относительно отображений Т2 иТ^?

В работе показано, что данный вопрос эквивалентен следующему:

Существует ли функция ограниченной вариации из Ь2[0,27т] не равная тождественной и такая, что коэффициенты ее ряда Фурье = Т^=-ооСпе2тп1 удовлетворяют следующим трем условиям:

со = 2со-Ь ]Г (-1)1*1с*+1 = Зсо+ ^ (-гсаь + сзк+х + сзк+г), (3)

Как видно из нижеследующего утверждения, для определенного класса коэффициентов, удовлетворяющих условиям (3), (4), (5), сумма ряда Фурье с такими коэффициентами имеет неограниченную вариацию.

Утверждение 2.2.1. Пусть рт — т-е по счету натуральное число, взаимно простое с 2 и 3. Тогда функция

+0О

к=-оо

(5)

(4)

м

недифференцируема почти всюду на (0, 2тт) .

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

В параграфе 3,1 получено уравнение на плотность абсолютно непрерывной инвариантной меры многозначного отображения, которое является аналогом уравнения Перрона-Фробениуса.

Пусть О. — пространство с сг-алгеброй измеримых подмножеств, Я — многозначное отображение в себя с графиком Гя, Л — мера на Г я с проекциями тг1+Л = А1 и тг2»Л = Лг-

ТЕОРЕМА 3.1.1. Абсолютно непрерывная относительно Л мера ¡л на Гд инвариантна для Я тогда и только тогда, когда для почти всех х € Г2

, \ v—v / ч (1А. . . (¿Л2 / , v-\ , . дик . .

где р - плотность меры ц относительно Л, а А — ^(Ах + Л2).

Похожее уравнение можно получить и для параметризованных отображений:

Теорема 3.1.2.Абсолютно непрерывная относительно А мера г] на П является (п, гг) -инвариантной тогда и только тогда, когда

где р - плотность меры г] относительно А.

Приведенные выше два уравнения имеют хотя бы одно решение для случая растягивающего многозначного отображения. При этом множество растягивающих многозначных отображений не совпадает с множеством параметризованных отображений с аменабельной полугруппой, описанным в §1.2. На это указывает построенный в параграфе 3.1 пример растягивающего

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

В параграфе 3.2 показано, что конечность или бесконечность абсолютно непрерывной инвариантной меры зависит от класса гладкости отображения.

Назовем многозначное отображение Я кусочно-непрерывным (кусочно-дифференцируемым, класса Са), если имеет место разбиение:

гя = гу1и...игу,п,

где Г91,..., — графики некоторых однозначных кусочно-непрерывных (кусочно-дифференцируемых, класса Са) отображений <рх,..., <рп — однозначных ветвей отображения Я. Кусочно-гладкое многозначное отображение Я растягивает (несжимаем) в точке ха € ГЛ) если существует такое разбиение Гя = IV и ... и ГУп, для которого из условия х0 € следует, что

<р/(пЫ) > 1 (<р/ЫЫ)) = !)•

Для несжимающих многозначных отображений класса С2 установлена следующая теорема, характеризующая структуру соответствующих инвариантных мер.

Теорема 3.2.1. Если несжимающее в (0,0) многозначное отображение Я. из Б1 в себя класса гладкости С2 растягивает во всех других точках непрерывности, то для Я существует бесконечная абсолютно непрерывная инвариантная мера. Если при этом Я не менее чем двузначно в окрестности нуля, то для Я одновременно существует и конечная абсолютно непрерывная инвариантная мера.

Ограничение на класс гладкости в теореме 3.2.1 существенно, как показывает следующая

Теорема 3.2.2. Для любого а 6 (1,2) найдется такое несжимающее в {(0,0)} и растягивающее в других точках непрерывности многозначное отображение из 51 в себя класса гладкости Са, что все инвариантные для него абсолютно непрерывные меры с единственной возможной особенностью в точке (0,0) конечны.

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

Работы автора по теме диссертации

1. А. Н. Горбачев, А. М. Степин "Об инвариантных мерах для многозначных отображений", Успехи математических наук, 2009, т.64, вып.6 (390), стр. 173-174.

2. А. Н. Горбачев "Инвариантные меры несжимающих многозначных отображений окружности", Вестник МГУ, сер.1. Математика. Механика, 2010, т. 3, с. 43-46.

3. А. Н. Горбачев, А. М. Степин "Инвариантные меры многозначных отображений", Деп. в ВИНИТИ 13.10.09 №619-В2009 МГУ, Москва, 22 стр.

В работах [1], [3] на роль аменабельности в задаче об инвариантных мерах (Теорема 1) указано А. М. Степиным, реализация этой идеи выполнена А. Н. Горбачевым; наблюдения о возможности неединственного разложения инвариантной меры по крайним точкам сделано А. М. Степиным, основанное на этом доказательство теоремы 2 предложено А. Н. Горбачевым.

4. А. N. Gorbachev "Invariant Measures for Multivalued Mappings", Сборник трудов Добрушинской международной конференции, 2009, стр. 71-73.

Подписано в печать 26. С?Л. /О Формат 60x 90 1/16. Усл. печ. л. {.25 Тираж {00 экз. Заказ 28.

Отпечатано с оригинал-макета на типографском оборудовании механико-математического факультета МГУ имениМ. В. Ломоносова

Введение (постановка задачи, обзор литературы и формулировка полученных результатов).

Часть 1 Многозначные отображения с инвариантной мерой и параметризация

1.1 Полиморфизмы и общие свойства инвариантных мер многозначных отображений.

1.2 Полугруппа, образованная параметризующими преобразованиями и инвариантная мера для многозначного отображения

Часть 2 Линейные многозначные отображения.

2.1 Структура множества инвариантных мер многозначных отображений

2.2 Инвариантные меры и заряды для линейного (2, 3)-отображения и уравнение на функцию распределения. Линеаризация.

Часть 3 Абсолютно непрерывные инвариантные меры многозначных отображений.

3.1 Уравнение на плотность абсолютно непрерывной инвариантной меры многозначного отображения.

Содержание

3.2 Инвариантные меры для несжимающих многозначных отображений окружности.

Начиная с 30-х годов XX века эргодическая теория активно развивалась и в настоящее время представляет собой основной аппарат для анализа статистических свойств динамических систем. Базовым понятием эргодической теории является понятие инвариантной меры отображения. Различные вопросы, связанные с существованием инвариантных мер, статистическими свойствами динамических систем, подходы к изучению и применению эргодической теории, содержатся в работах [1], [6], [15], [21], [27] [30], [37], [47], каждая из которых, в свою очередь, повлекла за собой серию работ в данном направлении.

Необходимость в изучении многозначных отображений возникла в таких классических областях как анализ (см. [48], [40]), геометрия (см. [16], [29]), топология (см. [7], [23]). Свойства многозначных отображений исследуются в теории марковских процессов [4] и в приложениях, связанных с динамическими системами, таких, как, математическая экономика [9] и теория игр [5].

В настоящей работе изучаются инвариантные меры многозначных отображений. Родственное понятие полиморфизмов ввел А. М. Вершик [8], одновременно распространив на них некоторые результаты классической эргодической теории. Кроме того, ряд результатов, относящихся к исследованию эргодических свойств, полиморфизмов принадлежат А. Л. Федорову [25], В. В. Рыжикову [22], К. Б. Игудесману [38]. Многозначные отображения с инвариантной мерой появляются в связи с подходом Монжа-Канторовича к гидродинамической задаче Ньютона (см. обзор [19]), а также в проблеме сингулярности бесконечных сверток распределений Бернулли (см. работы [33], [43], [44], [24]).

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

Известное утверждение Н. Н. Боголюбова, полученное на базе его и Н. М. Крылова результата об инвариантной мере непрерывного отображения [31], состоит в следующем: для аменабельной полугруппы однозначных преобразований S компактного пространства найдется 5-инвариантная мера [6].

Уравнение для плотности абсолютно непрерывной инвариантной меры однозначного отображения (в одномерном случае) было выведено в работе [45]. Там же было показано, что для кусочно гладкого растягивающего отображения такая мера эргодична и, следовательно, единственна.

В монографии Р. Фелпса [26] с помощью теоремы представления Шоке и построенного Дж. Фельдманом [34] описания крайних точек множества инвариантных вероятностных мер показано, что множество инвариантных мер однозначного отображения является симплексом.

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

Одним из нерешенных вопросов в эргодической теории однозначных отображений является задача Фюрстенберга [35] о существовании сингулярной меры на окружности, инвариантной относительно преобразований возведеиия в квадрат и возведения в куб. В настоящей работе предложена чисто аналитическая формулировка этой задачи и указана ее связь с инвариантными мерами для многозначных отображений.

В работах автора [12], [36] приводятся формулировка и идея доказательства следующих фактов:

1. Описание всех решений уравнений и систем уравнений, которые задаются действием отображений на меры.

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

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

В работе [10] установлено, что конечность или бесконечность абсолютно непрерывных инвариантных мер зависит от класса гладкости несжимающего многозначного отображения.

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

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

Краткое содержание работы

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

1. Аносов, Д. В. Некоторые гладкие эргодические системы / Д. В. Аносов, Я. Г. Синай // Успехи мат. наук. - 1967. — Т. 22, № 5(137). - С. 107-172.

2. Ахалая, Ш. И. Об абсолютно непрерывных инвариантных мерах несжи-мающих преобразований окружности / Ш. И. Ахалая, А. М. Степин // Труды МИ АН. 2004. - № 244. - С. 23-34.

3. Бари, Н. К. Тригонометрические ряды / Н. К. Бари. — Москва: Издательство "Физматгиз.", 1961.

4. Бебутов, М. Цепи Маркова с компактным пространством состояний / М. Бебутов // Мат. сборник. — 1942. — Т. 10(52), № 3.- С. 213-238.

5. Берж, К. Общая теория игр нескольких лиц / К. Берж. — Москва: Издательство "Физматгиз.", 1961.

6. Боголюбов, Н. Н. Избранные труды в трех томах, т.1 / Н. Н. Боголюбов. — Киев: Издательство "Наукова думка", 1969.

7. Введение в теорию многозначных отображений и дифференциальных включений / Ю. Г. Борисович, Б. Д. Гельман, А. Д. Мышкис, В. В. Обу-ховский. — Москва: КомКнига, 2005.

8. В ершик, А. М. Многозначные отображения с инвариантной мерой (полиморфизмы) и марковские операторы / А. М. Вершик // Записки научн. сем. ЛОМИ.- 1977,- Т. 72.- С. 26-61.

9. Гиндельбранд, В. Ядро и равновесие в большой экономике / В. Гиндель-бранд. — Москва: Издательство "Наука", 1986.

10. Горбачев, А. Н. Инвариантные меры несжимающих многозначных отображений окружности / А. Н. Горбачев // Вестник МГУ, сер.1. Математика. Механика. — 2010. — № 3. — С. 43-46.

11. Горбачев, А. Н. Инвариантные меры многозначных отображений / А. Н. Горбачев, А. М. Степин // Деп. в ВИНИТИ 13.10.09 № 619-В2009. — 2009.

12. Горбачев, А. Н. Об инвариантных мерах для многозначных отображений / А. Н. Горбачев, А. М. Степин // Успехи мат. наук.— 2009.— Т. 64, № 6(390).- С. 173-174.

13. Григорчук, Р. И. Об аменабельности полугрупп с сокращением / Р. И. Григорчук, А. М. Степин // Вестник МГУ, сер. 1.— 1998.— Т. N 3. С. 12-16.

14. Гринлиф, Ф. Инвариантные средние на топологических группах и их приложения / Ф. Гринлиф. — Москва: Издательство "Мир", 1973.

15. Каток, А. Б. Аппроксимации в эргодической теории / А. Б. Каток, А. М. Степин // Успехи мат. наук. — 1967,— Т. 22, № 5(137).— С. 81106.

16. Каток, А. Б. Введение в современную теорию динамических систем / А. Б. Каток, Б. Хасселблат. — Москва: Издательство "Факториал", 1999.

17. Клиффорд, А. Алгебраическая теория полугрупп Т.1 / А. Клиффорд, Г. Престон. — Москва: Издательство "Мир", 1972.

18. Корнфельд, О. П. Эргодическая теория / О. П. Корнфельд, Я. Г. Синай, С. В. Фомин. — Москва: Издательство "Наука", 1980.

19. Плахов, А. Ю. Рассеяние в биллиардах и задачи ньютоновской аэродинамики / А. Ю. Плахов // Успехи мат. наук. — 2009.— Т. 64, № 5(389).— С. 97-166.

20. Рохлин, В. А. Точные эндоморфизмы пространства Лебега / В. А. Рохлин // Изв. АН СССР, сер. матем. 1961. - Т. 25, № 4. - С. 499-530.

21. Рохлин, В. А. Лекции по энтропийной теории преобразований с инвариантной мерой / В. А. Рохлин // Успехи мат. наук.— 1967.— Т. 22, № 5. С. 3-56.

22. Рыжиков, В. В. Полиморфизмы, джойнинги и тензорная простота динамических систем / В. В. Рыжиков // Функц. анализ и его приложения. — 1997. Т. 31, № 2. - С. 45-57.

23. Сибирский, К. С. Полудинамические системы / К. С. Сибирский, А. С. Шубэ. — Кишинев: Штиинца, 1987.

24. Трошин, П. И. Об инвариантности меры для одной 2-трансформации / П. И. Трошин // Учен. зап. Казан, ун-та. Сер. Физ.-мат. науки.— 2009.-Т. 151.— С. 183-191.

25. Федоров, А. Л. Полиморфизмы и разбиения пространств Лебега / А. Л. Федоров // Функц. анализ и его приложения.— 1982,— Т. 16, № 2. С. 88-89.

26. Фелпс, Р. Лекции о теоремах Шоке / Р. Фелпс. — Москва: Издательство "Мир", 1968.

27. Халмош, П. Лекции по эргодической теории / П. Халмош. — Москва: пер. с англ., 1959.

28. Шилов, Г. Е. Интеграл, мера и производная. Общая теория / Г. Е. Шилов, Б. Л. Гуревич. — Москва: Издательство "Наука", 1967.

29. Barnsley, М. Fractals everywhere / М. Barnsley. — Boston: Academic press, 1988.

30. Birkhoff, G. D. Proof of the ergodic theorem / G. D. Birkhoff // Proc Natl Acad Sci USA. — 1931. Vol. 17. - Pp. 656-660.

31. Bogoliubov, N. N. La theorie generalie de la mesure dans son application a l'etude de systemes dynamiques de la mecanique non-lineaire / N. N. Bogoliubov, N. M. Krylov // Ann. Math. II.- 1937,- Vol. 38.— Pp. 65-113.

32. Day, M. M. Fixed-point theorems for compact convex sets / M. M. Day // Illinois J. Math. — 1961. Vol. 5. - Pp. 585-590.

33. Erdos, P. On a family of symmetric Bernoulli convolutions / P. Erdos // Amer. J. Math. 1939. - Vol. 61. - Pp. 974-975.

34. Feldman, J. Representations of invariant measures / J. Feldman // dittoed notes. — 1963. — P. 17 pp.

35. Furstenberg, H. Disjointness in ergodic theory, minimal sets, and a problemin diophantine approximation / H. Furstenberg // Mathematical Systems Theory. — 1967. Vol. 1, no. 1. - Pp. 1-49.

36. Gorbachev, A. N. Invariant measures for multivalued mappings / A. N. Gorbachev // Сборник трудов Добрушинской международной конференции. — 2009. — С. 71-73.

37. Hop}, Е. Statistik der geodatischen linien in Mannigfaltigkeiten negativer Krummung / E. Hopf // Leipzig Ber. Verhandl. Sachs. Akad. Mss. — 1939. Vol. 91. - Pp. 261-304.

38. Igudesman, К. B. Dynamics of finite-multivalued transformations / К. B. Igudesman // Lobachevskii Jour, of Math. — 2005. — Vol. 17. — Pp. 4760.

39. Kendall, D. G. Simplexes and vector lattices / D. G. Kendall // J- London Math. Soc. 1962. - Vol. 37, no. 3. - Pp. 365-371.

40. Kigami, J. Analysis on fractals / J. Kigami. — Cambridge: Cambridge univ. press, 2001.

41. Lasota, A. On the existence of invariant measures for piecewise monotonic transformations / A. Lasota, J. A. Yorke // Trans. Amer. Math. Soc. — 1973. Vol. 186. - Pp. 481-488.

42. Namioka, I. Folner's condition for amenable semigroups / I. Namioka // Math. Scand. 1964. - Vol. 15. - Pp. 18-28.

43. Parry, W. On the /З-expansions of real numbers / W. Parry // Acta. Math. Acad. Sci. Hung. — 1960. Vol. 11.-Pp. 401-416.

44. Peres, Y. Sixty years of Bernoulli convultions / Y. Peres, W. Shlag, B. Solomyak // Fractal Geometry and Stochastics 2 (ed. by C. Bandt). Basel — 2000. Pp. 39-65.

45. Reniy, A. Representations for real numbers and their ergodic properties / A. Reniy // Acta math. Acad. sci. hungar.— 1957. — Vol. 8. — Pp. 477-493.

46. Yuan, G. X.-Z. KKM theory and applications in nonlinear systems / G. X-Z. Yuan. — New York: Marcel Dekker, 1999.