Кривизна Риччи взвешенного дерева Текст научной статьи по специальности «Математика»

IIС - А\\ = sup sup I(C(t) - A(t))xI < I < e,

te r+ \x\=i 2

а в качестве 6 можно взять ö = = Лемма 2 доказана.

Доказательство теоремы 1. Включение L%SpЯ(А) С L^SpЯ(А) является прямым следствием включения %т С Л4т. Докажем включение Ь^ЯрД-А) 5 Ьд^ЯрД-А).

Возьмем произвольные /л € L^SpДА) и е > 0. Для данного е возьмем ö = g^j > 0 (см. доказательство леммы 2). По определению предельного спектра для данного 5 найдутся система В е Ais (А) и решение х € S*(B), удовлетворяющие неравенству \я(х) — /л\ <5.

Согласно лемме 2, для любой системы В € Л4$(А) и любого решения х € S*(B) существует система С € Не(А), также имеющая решение х € 5*(С).

Получили, что для произвольного е нашлись система С € TLe(A) и решение ж € <5*(С), удовлетворяющие неравенству |х(ж) — /х| < 6 < е. Отсюда вытекает условие ц, € L-^SpЯ(А), а с ним и доказываемое включение. Теорема 1 доказана.

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

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

1. Сергеев И.Н. Характеристики колеблемости и блуждаемости решений линейной дифференциальной системы // Изв. РАН. Сер. матем. 2012. 76, № 1. 149-172.

2. Былое Б. Ф., Виноград Р. Э., Гробман Д.М., Немыцкий В.В. Теория показателей Ляпунова и ее приложения к вопросам устойчивости. М.: Наука, 1966.

3. Миллионщиков В.М. Грубые свойства линейных систем дифференциальных уравнений // Дифференц. уравнения. 1969. 5,№ 10. 1775-1784.

4. Былое Б.Ф., Изобов H.A. Необходимые и достаточные условия устойчивости характеристических показателей линейной системы // Дифференц. уравнения. 1969. 5, № 10. 1794-1803.

5. Веременюк В.В. Некоторые вопросы теории устойчивости показателей Ляпунова линейных гамильтоновых систем // Дифференц. уравнения. 1982. 18, № 2. 205-219.

6. Изобов H.A. Введение в теорию показателей Ляпунова. Минск: БГУ, 2006.

7. Изобов H.A. О множестве нижних показателей линейной дифференциальной системы // Дифференц. уравнения. 1965. 1, № 4. 469-477.

8. Барабанов Е.А. Структура множества нижних показателей Перрона линейной дифференциальной системы // Дифференц. уравнения. 1986. 22, № 11. 1843-1853.

Поступила в редакцию 15.10.2014

УДК 514.774.8+515.124.4+519.17+519.224.22

КРИВИЗНА РИЧЧИ ВЗВЕШЕННОГО ДЕРЕВА О. В. Рублёва1

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

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

A formula of coarse Ricci curvature for weighed trees with a random walk on vertex set is presented in the paper. A criterion of restoration of binary trees topology from the Ricci curvature matrix is obtained.

Key words: weighed trees, Ricci curvature, coarse Ricci curvature, transportation distance, random walk on metric spaces.

1 Рублёва Ольга Владимировна — асп. каф. дифференциальной геометрии и приложений мех.-мат. ф-та МГУ, e-mail: rubleva-olga9 l@mail.ru.

1. Введение и основные понятия. Кривизна Риччи играет важную роль в геометрическом анализе римановых многообразий, в частности отдельный интерес для исследований представляют многообразия с неотрицательной кривизной Риччи и многообразия, имеющие ограниченную снизу кривизну Риччи (см., например, [1]). Внимание к данной проблеме привлекли и знаменитые работы Г. Я. Перельмана о потоках Риччи и гипотезе Пуанкаре [2, 3].

Понятие кривизны Риччи для метрических пространств общего вида впервые возникло в работе Д. Бакри и М. Эмери [4]. Ими была также определена так называемая "нижняя граница" кривизны Риччи на классе измеримых метрических пространств. Были получены свойства измеримых метрических пространств, необходимые для существования "нижней границы" кривизны Риччи на этих пространствах. В 2009 г. в работе [5] было дано определение грубой кривизны Риччи на цепях Маркова, которое можно использовать для метрических пространств, порожденных графами.

Ф. Чанг и Ш. Яу [6] впервые ввели определение кривизны Риччи для графов в 1996 г. А в 2011 г. в работе [7] было модифицировано определение Оливье для кривизны Риччи цепей Маркова на метрических пространствах [5].

Дадим определения, необходимые для формулировки основных результатов.

Пусть G = (V, Е) — граф, где V — множество вершин, Е — множество ребер. Длиной пути, соединяющего две вершины графа, назовем количество ребер, входящих в этот путь. Расстоянием между двумя вершинам,и в графе назовем длину кратчайшего пути, т.е. пути наименьшей возможной длины.

Распределением вероятности на множестве V назовем функцию т: V —> [0,1], такую, что т(х) = 1. Введем функцию расстояния транспортировок W{m\,m2), которая будет измерять расстояние между двумя распределениями вероятностей тi и rri2'-

W(mi,rri2) = sup У^ /(ж)(ш\{х) — т2(ж)), /ebi pixeV

где Lip 1 — множество 1-липшицевых функций.

Далее будем рассматривать функции распределения т": V —> [0,1], называемые функциями случайного блуждания, специального вида:

а, если х = у,

К(У) = { diiR> если ж-у;

0, если х ф у и х ф у,

где запись х ~ у обозначает, что вершины х ж у смежны.

Определим а-кривизну Риччи формулой

ка(х,у) = 1 -

W(m" , rriy ]

d(x,y)

При а = 0 величина ко(х,у) — кривизна Риччи-Оливье. Кривизной Риччи назовем функцию

к{х,у) := lim к<*(х>у\

а-S-1 1 — а

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

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

Определение. Пусть G = (V., Е) — некоторое дерево, где V — множество вершин, а Е — множество ребер графа G. Зададим неотрицательную функцию ш: Е —> R+, обычно называемую весовой, тогда пара Q = (С,ш) называется взвешенным, деревом, (см. [8]).

Пусть с1ш — функция, измеряющая вес пути между вершинами взвешенного дерева Q = (G,w), тогда а:-кривизну Риччи для взвешенного дерева определим формулой

W(mm

ка(х,у) = 1 -

а Л

йш{х,у)

Кривизна Риччи для взвешенного дерева будет иметь вид к(х,у) := ка1[^^.

Теорема 1. Пусть G = (V, Е) — произвольное дерево, т.е. связный ацикличный граф, ш — весовая функция, (1Ш — функция, измеряющая вес пути между вершинами дерева. Тогда кривизна Ринни между любыми вершинами дерева G вычисляется по следующей формуле:

Ф' = + d¿) g k' ' У)) '

где kz = 1 , если ребро zx входит, в путь ху, и kz = — 1, если не входит,.

Определение. Бинарным деревом назовем дерево, все вершины которого степени 1 или 3. Следствие. Рассмотрим бинарное дерево G = (V, Е), в котором вес каждого ребра равен 1. Тогда

1) кривизна Риччи между вершинами х и у степени 1, для которых d(x, у)=п, равна к(х, у)=^',

2) кривизна Риччи между вершинами х и у степени 1 « 3 соответственно, для, которых d(x,y) = п, равна к(х,у) =

3) кривизна Риччи между вершинами х и у степени 3, для которых d(x, у) = п, равна к(х, у) =

__2_

Зга '

Определение. Рассмотрим бинарное дерево G, весовая функция которого равна 1. Это расстояние измеряет количество ребер в пути, соединяющего две вершины дерева. Матрицей кривизн риччи [{ = (kij) для этого дерева G назовем матрицу, элементами которой являются кривизны Риччи kij между вершинами дерева G с номерами г и j.

Еще одним важным следствием из формулы кривизны Риччи для взвешенных деревьев является следующая теорема.

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

Автор приносит благодарность А. О. Иванову и А. А. Тужилину за постановку задач и помощь в работе.

Работа выполнена при поддержке программы "Ведущие научные школы РФ", проект НШ-581.2014.1, и РФФИ, грант № 13-01-00664а.

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

1. Бессе А. Многообразия Эйнштейна: в 2т. Т. 1, 2. М.: Мир, 1990.

2. Perelman G. The entropy formula for the Ricci flow and its geometric applications // arXiv: math.DG/0211159vl.

3. Perelman G. Ricci flow with surgery on three-manifolds // arXiv: math.DG/0303109vl.

4. Bakry D., Emery M. Diffusions hypercontractives // Lect. Notes Math. 1985. 1123. 177-206.

5. Ollivier Y. Ricci curvature of Markov chains on metric spaces //J. Funct. Anal. 2009. 256, N 3. 810-864.

6. Chung F., Yau S.-T. Logarithmic Harnack inequalities // Math. Res. Lett. 1996. 3. 793-812.

7. Lin Y, Lu L.Y., Yau S.T. Ricci curvature of graphs // Tohoku Math. J. 2011. 63. 605-627.

8. Иванов А.О., Тужилин A.A. Одномерная проблема Громова о минимальном заполнении // Матем. сб. 2012. 203, № 5. 65-118.

Поступила в редакцию 28. 11". 2014

УДК 532.5+537.8+551.5

ЭЛЕКТРИЧЕСКИЕ МЕХАНИЗМЫ УСИЛЕНИЯ ЗАВИХРЕННОСТИ

В ВОРОНКЕ ТОРНАДО

С. А. Мае лов1

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

1 Маслов Сергей Алексеевич — асп. каф. газовой и волновой динамики мех-мат. ф-та МГУ, e-mail: sergm90Qmail.ru.