CC BY
77
Обзоры актуальных
^^^^^^^^^^ проблем нелинейной динамики
Изв. вузов «ПНД», т. 17, № 4, 2009 УДК 517.9
СПЕКТРАЛЬНЫЕ ЗАДАЧИ ДЛЯ ОПЕРАТОРА ПЕРРОНА-ФРОБЕНИУСА
В.М. Аникин
В статье отражена проблематика изучения спектральных свойств линейного несамосопряженного оператора Перрона-Фробениуса, вводимого при вероятностном описании дискретных динамических систем с хаотическим поведением. Изложен метод аналитического решения задачи на собственные функции и собственные числа оператора для кусочно-линейных отображений и продемонстрирована определяющая роль собственных чисел и собственных функций оператора в оценке релаксационных и корреляционных свойств хаотических отображений.
Ключевые слова: Линейный несамосопряженный оператор, собственные функции, собственные значения.
В основе наших современных знаний лежат прежде всего простые модели, именно они, благодаря своей простоте, позволяют понять сложности окружающего нас мира.
Ю.И. Неймарк
Введение
Простейшими моделями хаотических процессов, как известно, являются динамические системы с дискретным временем - одномерные отображения, описываемые разностными уравнениями вида
Хп+1 = д(хп, X), п = 0,1,2,...,Хп е (а,Ь), (1)
где д - нелинейная или кусочно-линейная необратимая итеративная функция, сохраняющая меру в области определения отображения - интервале (а, Ь); X - параметр, определяющий особенности динамики отображения. Простейшие модели динамического хаоса и сейчас не утратили своего и научного, и методологического значения для нелинейной науки. Собственно, первые серьезные шаги на пути ее изучения и начинаются со сценария М. Фейгенбаума перехода к хаосу, обнаруженного впервые именно для одномерных отображений и впоследствии нашедшего экспериментальное подтверждение при изучении ряда физических явлений. Второй важный концептуальный пример связан с развивавшейся коллективом авторов во главе с И.Р. При-гожиным фундаментальной концепцией относительно определяющей роли хаоса в
возникновении «стрелы времени» (необратимости физических процессов при наличии обратимого характера уравнений движения) с привлечением в качестве базового объекта теории простейшего диадического отображения - сдвига Бернулли [1]. Интересен, далее, тот факт, что парадигма детерминированного хаоса заняла свою нишу в общей теории относительности, когда была открыта хаотическая осцилляция компонент метрического тензора согласно одномерному отображению Гаусса в однородной анизотропной космологической модели типа IX по Бианки вблизи особенности («перемешанный мир» - mixmaster universe) [2].
Глубокое математическое исследование «классики» нелинейных явлений, одномерных отображений, позволяет выявить их новые свойства как собственно математических объектов (причем в рамках аналитического решения) и открывает перспективы для их использования в качестве инструмента для анализа нелинейных явлений более сложной природы.
В данной лекции представляются результаты аналитического исследования линейного оператора Перрона-Фробениуса, ассоциированного с перемешивающими одномерными кусочно-линейными отображениями, обладающими, в частности, инвариантной плотностью. Главными особенностями данного оператора (помимо упомянутой линейности), являются его положительность (в терминах функционального анализа) и несамосопряженность и неортогональность собственных функций, выявляемые при изучении спектральных свойств оператора (собственных функций и собственных значений) в нормированных линейных функциональных пространствах.
В статье будут последовательно рассмотрены такие вопросы, как постановка задачи на собственные функции и собственные значения оператора, аналитический метод решения этой задачи на базе построения производящей функции для собственных функций оператора, значимость решения спектральной задачи для определения вида автокорреляционной функции траекторий отображения (и наблюдаемых, связанных с этой траекторией).
1. Постановка задачи на собственные функции и собственные значения для оператора Перрона-Фробениуса
Оператор Перрона-Фробениуса (ОПФ)1 определяет изменение плотностей вероятностной меры, происходящее при действии хаотического отображения2. Вероятностное описания хаотических динамических систем связано с рассмотрением начального значения хо и рекуррентно вычисляемых согласно (1) точек траектории xn как случайных величин, соответственно обозначаемых как Xq и Xn. Подобная экспликация оправдана тем, что совокупность значений xn (как ансамбля реализа-
1Перрон, Оскар (нем. Perron, Oskar) (1880-1975) - немецкий математик, профессор университетов в Гейдельберге и Мюнхене. Автор широкого спектра публикаций по алгебре, геометрии, теории чисел, матриц, интегрирования и дифференциальных уравнений, капитального труда по непрерывным дробям.
Фробениус, Фердинанд Георг (нем. Frobenius, Ferdinand Georg) (1849-1917) - немецкий математик, член Прусской АН в Берлине (1893). Основные работы относятся к алгебре, теории алгебраических чисел, в частности, к теории матриц, теории конечных групп и их представлений матрицами.
2 Существует несколько эквивалентных форм записи оператора Перрона-Фробениуса на основе интегральных и функциональных преобразований (см., например, [3-6]).
ций Xn) для хаотического отображения при любом начальном значении хо демонстрирует идентичные распределения по области определения («нечувствительность» к хо). В то же время траектории системы чувствительны к незначительном изменению хо в том смысле, что расхождение траекторий при незначительном изменении х0 в процессе итераций сравнимо с длиной интервала. Это и предопределяет необходимость прогноза хода траектории при случайном (то есть заранее неизвестном) изменении хо исключительно в вероятностном ключе.
Условие сохранения вероятностной меры приводит к представлению ОПФ в форме интеграла с сингулярным ядром
Pf (х) = j f (t)b(x - g(t, X))dt, (2)
где S(x) - дельта-функция Дирака. В вероятностной трактовке соотношение (2) -это обычное правило преобразования вероятностных плотностей при нелинейном преобразовании случайной величины (Xn+i = g(Xn, X)). Выражение может быть в силу фильтрующих свойств дельта-функции преобразовано от интегрального уравнения с сингулярным ядром к функциональному уравнению. Для кусочно-линейных отображений это уравнение имеет вид линейной комбинации значений функции f (х) при различных значениях аргумента вида ах + b (табл. 1). Для отображений, представленных в этой таблице, неподвижной «точкой» оператора является равномерное распределение, что проверяется непосредственной подстановкой в выражения для ОПФ.
Под пилообразным отображением в табл. 1 понимается отображение (рис. 1) Xn+1 = Е (-1)kNxn + (-1)fc+^к + 1-!-1©k(Xn), (3)
где ©k (х)- характеристическая функция отрезка [Xk-1, Xk] задания k-й ветви отображения. Она равна единице, если значение ее аргумента принадлежит отрезку
а б
Рис. 1. Кусочно-линейное пилообразное отображение с четным (а) и нечетным (б) числом ветвей
Таблица 1
Операторы Перрона-Фробениуса одномерных кусочно-линейных отображений
Отображение Оператор Перрона-Фробениуса
Двоичный сдвиг Бернулли x„+i = 2xn mod 1 ft «x) = i (Ф (x) + ♦( Ч*))
Инверсный двоичный сдвиг Бернулли x„+i = 1 — 2xn mod 1 ♦(x)=2 (♦ (- x) +♦ (2—x))
Пирамидальное отображение Xn + 1 =1 — |2xn — 1| р, ♦(x)=2 (♦ (x)+♦(
Инверсное пирамидальное отображение xn+1 = |1 — 2xn| ft ♦(x)=2 (♦( i-F)+♦( xr1))
N-образное отображение i 3xn, 0 < xn < 1/3, xn+1 = < 2 — 3xn, 1/3 < xn < 2/3, [ 3xn — 2, 2/3 < xn < 1 ^ ♦(x) = 3 (♦ (x)+♦ (x)+♦ ())
Инверсное N-образное отображение i 1 — 3xn, 0 < xn < 1/3, xn+1 = < 3xn — 1, 1/3 < xn < 2/3, [ 3 — 3xn, 2/3 < xn < 1 Pn ♦(x) = 1 (♦ ( ) + ♦ ( x±i ) + ♦ ( ^ ))
Сдвиг Бернулли общего вида xn+1 = Nxn mod 1 pb ♦(x) = i EN-.1 ♦ (^)
Инверсный сдвиг Бернулли общего вида xn+1 = 1 — Nxn mod 1 Pb B(x,t)= N ENJ.1 b( p +N—!c-') = t/N (i-x)t ( t ) = e N — B \ 1 x ei/N — 1 e - By1 x'N J
Пилообразное отображение с N ветвями P(N)Ф(X) = N (kl0 Ф ( N ) + 1N/2-1 ( 2(k + 1) — x ) + N^ k=o ^ N )
[хи-г, Хи]; когда же значение аргумента лежит за пределами этого отрезка, индикаторная функция принимает нулевое значение.
Как и для любого линейного оператора спектральная задача для оператора (2) основывается на соотношении
Р^и (х) = К^и (х) , (4)
где ^и(х) и \и - собственная функция оператора и отвечающее ей собственное число, соответственно. Собственная функция, соответствующая единичному собственному числу А,о = 1, является неподвижной точкой оператора и имеет смысл инвариантной плотности, наличие которой является доминантным признаком детерминированного хаоса.
Постановка задачи на собственные функции и собственные значения для ОПФ немедленно требует определения линейного функционального пространства, которому принадлежат собственные функции оператора. Говоря несколько иначе, оператор необходимо рассматривать на некотором нормированном функциональном пространстве (банаховом пространстве), где норма определена посредством скалярного произведения функций (гильбертово пространство). Это позволяет, в частности, строить и исследовать пределы для метрических выражений. С одной стороны, сами по себе вероятностные плотности не могут образовать линейное пространство (произвольная линейная комбинация плотностей не является плотностью), а с другой стороны, собственные функции оператора Перрона-Фробениуса высших порядков вообще не являются вероятностными плотностями! От них лишь требуется удовлетворение соотношению (4), при этом все они ортогональны константе [3, с. 53]
/ ^n(x)dx = Sn,o, о
n ^ 1.
(5)
Соотношение (5) имеет важное теоретическое и практическое значение, поскольку может рассматриваться как критерий правильности расчетов собственных функций ОПФ, проводимых и аналитическими, и численными методами. Для наглядной иллюстрации (5) на рис. 2 приведены несколько первых собственных функций [7] ОПФ для отображения Гаусса xn+1 = 1/xn mod 1, описывающего преобразование иррационального подмножества единичного интервала в себя.
Впервые операторный подход при исследовании асимптотических процессов в хаотической динамической системе был применен К.Ф. Гауссом именно к отображению Xn+1 = 1/xn mod 1 (с ним связан процесс разложения случайного числа в непрерывную дробь) чуть более 200 лет назад [3, гл. 3; 8-11]. В трудах Э. Вирсинга, К.И. Бабенко, Д.
Майера и М. Иосифеску (а им предшествовали работы Р.О. Кузьмина, Поля Леви, А.Я. Хинчина и некоторых других математиков3) аналитически и численно показано, в частности, что спад корреляций в динамической системе Гаусса и скорость установления в системе инвариантного вероятностного закона определяет модуль второго (отрицательного по знаку!) собственного числа соответствующего оператора Перрона-Фробениуса. Число —X = 0.30366..., возведенное Д. Кнутом в ранг «фундаментальной константы», на порядок отличается от показателя Ляпунова данного отображения Л = n2/(6ln2) = 2.37313....
Отметим достаточно удивительное обстоятельство: первые аналитические решения спектральных задач для более простых по структуре и иным свойствам (в
Рис. 2. Собственные функции отображения Гаусса: 1 - инвариантная плотность, 2-5 - собственные функции следующих порядков (ординаты показаны с масштабным коэффициентом 1п2)
3См. библиографию в цит. выше книгах автора [3, 11].
сравнении с отображением Гаусса) хаотических отображений были получены гораздо позже - в первой половине 90-х годов прошлого столетия: усилиями членов научной школы Нобелевского лауреата И.Р. Пригожина [12-16]. Речь идет о таких отображениях, как сдвиг Бернулли xn+\ = Nxn mod 1, где N - произвольное целое положительное число, и некоторых других простейших кусочно-линейных преобразованиях с итеративными функциями в виде двух-трех ветвей.
2. Решение спектральной задачи методом производящей функции для собственных функций оператора
Для кусочно-линейных отображений типа сдвигов Бернулли и отображений, полученных из них произвольным инвертированием ветвей, собственные функции ОПФ естественно искать в виде полиномиальных функций, ибо при действии оператора Перрона-Фробениуса этих отображений на полином степень последнего не меняется, и, таким образом, задача сводится лишь к нахождению соответствующих коэффициентов полиномов, играющих роль собственных функций. Иначе говоря, в этом случае ОПФ может быть определен в линейном пространстве целых функций. В работах членов научного коллектива И.Р. Пригожина показано, что в случае сдвигов Бернулли собственными функциями ОПФ являются полиномы Бернулли Bn(x). Поскольку производящая функция для полиномов Бернулли суть
teXt ^ tn
B(x, t) = -¡— = £ Bn(x)-, \t\ < 2n (6)
et — 1 n!
n=0
(t - параметр), решение спектральной задачи можно необыкновенно изящно получить посредством воздействия оператором Перрона-Фробениуса для сдвигов Бер-нулли (см. табл. 1) на выражение (6)
- B(x,> = N Е в (^-0 = N Е ^ = Ä = в (x,A) .
p=0 4 7 p=0 47
(7)
Замечательное соотношение (7) показывает, что действие оператора Перрона-Фробениуса для сдвигов Бернулли приводит к той же самой (!) производящей функции, но с параметром t/N .А это, в свою очередь, дает
tn 1 tn 1
PBB(X-t) = £ PBBn(x) - = £ — Bn(x) -, PßBn(x) = — Bn(x)- (8)
n=0 n=0
что и означает - полиномы Бернулли являются собственными функциями ОПФ (^n(x) = Bn(x)) с собственными числами \n = 1/Nn.
Прием нахождения собственных функций ОПФ посредством предварительного построения их производящих функций может быть развит и для других кусочно-линейных отображений. Предполагая существование собственных функций в форме полиномов
^n (x) = Фп (x) ©o,i (x), Фп (x) = an,nxn + an,n-ixn~l + ... + a,n,ix + a,n,o, (9)
по аналогии с (5) запишем производящую функцию в виде
~ гг'
= £ (ж) -, (10)
Уп
п ' ' —
п=0
где ^п(х) - искомые собственные функции оператора. Дополнительно введем в рассмотрение четную
1 г
Фe(ж)í) = 2 (Ф(х,г) + Ф(х, -г)) = ^ (х)72к)\ (11)
к=0 ( )!
¿2к
и нечетную
1 ^ ¿2к+1 Ф0(х,г) = 2 (Ф(х,г) - Ф(х, -г)) = к= ^2к+х(х)(2к + 1), (12)
части (10), определяемые стандартным образом. Согласно (5), производящие функции (10)-(12) должны удовлетворять условиям
[ Ф(х,г)йх = 1, [ Фе (х,г) йх = 1, [ ф0 (ж, г) йх = 0, (13) Уо Уо Уо
используемым для замыкания системы алгебраических уравнений при определении коэффициентов полиномиальных собственных функций.
В случае кусочно-линейных отображений с полными (переводящими интервал своего определения на весь интервал) ветвями и одинаковыми (по модулю) угловыми коэффициентами ветвей возможна факторизация производящей функции (10) и ее составляющих (11) и (12) в виде
Ф(ж,г) = вхЛи (г), Фео (ж,г) = 1 {в^и^ (г) + в-хЛи1,2 (-г)), (14)
где вспомогательные аналитические функции И (г) и И\,2(Ь) представимы (в силу исходного предположения) степенными рядами вида Ьппт• Тогда все (!) искомые полиномы выражаются через коэффициенты разложения вспомогательных функций: фп (ж) = П=0 СкЬ,кхп-к. Поэтому, в принципе, достаточно знать значения (правило вычисления) коэффициентов Ьк, а не явный вид вспомогательных функций И (г) и И1>2(г). Тем не менее, существует класс отображений, для которого возможно аналитическое решение функциональных уравнений относительно И (г) и И1,2(г), получаемых подстановкой (14) в соотношение (4) для собственных функций и собственных чисел оператора.
Общая методика решения спектральных задач для ОПФ кусочно-линейных отображений с ветвями одного (по модулю) наклона представляется следующей совокупностью этапов:
1) уравнение (4) относительно собственных функций записывается для конкретного ОПФ;
2) подстановка полиномов (9) в (4) дает выражение для собственных чисел оператора Перрона-Фробениуса;
3) на основе (4) формулируется уравнение относительно производящей функции (четной или нечетной ее частей, если выражения для собственных чисел с четными и нечетными номерами различаются) с использованием найденного на предыдущем этапе вида собственных чисел;
4) в полученные уравнения для производящей функции (ее компонент) подставляются ее факторизованные представления с целью получения функциональных уравнений для вспомогательных функций;
5) функциональное уравнение для вспомогательной функции (Н(Ь) или Н\,2(Ь)) либо решается аналитически, либо используется для нахождения (методом степенных рядов) рекуррентных соотношений для коэффициентов разложения вспомогательных функций в степенные ряды (начальное значение для рекуррентной формулы дает условие нормировки).
Результаты расчетов собственных функций и чисел ОПФ простейших кусочно-линейных отображений сведены в табл. 2. Через Еп(х) обозначены полиномы Эйлера, имеющие производящую функцию
Е(х,Ь) = -2— ^ Еп(х) П, Ь < п. е +1 „ п!
п=0
Осуществление описанной последовательности действий позволяет получить решение спектральной задачи для разнообразных кусочно-линейных отображений как с произвольным числом линейных ветвей, так и с произвольным чередованием ветвей с равным по модулю угловым коэффициентом. Для всех кусочно-линейных отображений с полными ветвями собственная функция, которой отвечает собственное число, равное единице, есть (х) = 1 ■ 0Од (х) - плотность равномерного распределения на интервале (0,1) (0Од (х) - характеристическая функция единичного
Таблица 2
Собственные функции и собственные числа оператора Перрона-Фробениуса простейших кусочно-линейных отображений
Отображение Собственные числа ОПФ Собственные функции ОПФ
Сдвиг Бернулли общего вида ^ = к ■фк(ж) = Вк(х)
Инверсный сдвиг Бернулли общего вида ^ = (-1)7^ %(ж) = Вк(х)
Пирамидальное отображение ^2п = 1/22п ^2п(ж) = В2п (ж/2)
Инверсное пирамидальное отображение ^2п = 1/22" ^2"(ж) = В2" ((1 - ж)/2)= = В2" ((1 + ж)/2);
N-образное отображение ^2п = 1/3", ^2п + 1 = 1/32"+2 ^2п (ж) = В2"(ж), ^2"+1(ж) = е2"+1(х)
Инверсное N-образное отображение ^2п = 1/32", ^2п + 1 = -1/32"+2 ^2п (ж) = В2п(х), ^2п+1(ж) = Е2п+1(Х)
интервала). Что касается линейной собственной функции, то когда она существует, то равна % (х) = (х — 1/2) • ©0д(х); в ряде случаев линейная функция входит в ядро оператора.
Ход расчета собственных функций и собственных чисел ОПФ пилообразного отображения (3) с произвольным числом ветвей отражает табл. 3. При исследовании (3) целесообразно отдельно рассматривать случаи четного (см. рис. 1, а) и нечетного (см. рис. 1, б) числа ветвей: в «четном» случае возможно возникновение полиномиального нуль-пространства (ядра) для ОПФ (действие ОПФ на функцию ядра дает нуль, Рфп (х) = 0), а в «нечетном» случае - появление кратных собственных чисел (одному собственному значению соответствуют две собственные функции).
Случай кусочно-линейного отображения с произвольным чередованием ветвей с положительным и отрицательным угловым коэффициентом требует расчета коэффициентов полиномиальных вспомогательных функций. Это возможно на основе получаемых рекуррентных формул [17]. Собственные же числа имеют простое представление
, = Мр + (—1)п Мп М = М + М Хп = -МП+1-' М = + Мп,
где N и Мп - соответственно число ветвей с положительным и отрицательным угловым коэффициентом.
Таблица 3
Решение спектральной задачи для пилообразного отображения (3)
Характеристика N = 2к N = 2к + 1
Собственные числа Х = 1 Хп = N п Кратные: Хп = 1/Nп, п = 2к, Хп = 1/Nп+1, п = 2к + 1
Функциональные уравнения для вспомогательных функций 1 езЬ - 1 н (1) = м(н1т ^ _ 1+ +НЛ_Ще-2 ) Н1 (г) = N (е21 _ 1) Х х(Н1(№)(е(м+1)г _ 1)_ _Н1 (_М)(е-(м-1)ь _ 1))
Решение функциональных уравнений для вспомогательных функций Н1(1) = 21/(е21 _ 1) Н1(1) = г/(е* _ 1), Н2(г) = 2/(е1 + 1)
Производящая функция для собственных функций Фе (х,Ь) = Бе(х,г)_ 1-Еа(х,Ь) Бе(х,г), Е0(х,Ь)
Собственные функции ОПФ фп(х) = Бп(х)_ п _ 2 Еп-1(х), п = 0, 2,4 ... фп (х) = аБ2п(х) + +ЪЕ2П-1(х),п = 0,1, 2,... (а и Ъ - любые константы)
Производящая функций для функций ядра ОПФ Ба(х,г), Еа(х,г)
Функции ядра ОПФ Б2п+1(х) , Е2п+1(х)
Отметим, что решение спектральной задачи для ОПФ некоторых «базовых» отображений автоматически позволяет записать выражения для собственных функций и собственных чисел операторов топологически сопряженных отображений, связанных с «базовыми» обратимой нелинейной (или в простейшем случае линейной) заменой переменной. Собственные числа при таких преобразованиях являются инвариантами, а собственная функция ОПФ нового отображения образуется путем умножения инвариантной плотности сопряженного отображения на собственную функцию ОПФ базового отображения с аргументом в форме обратной функции от сопрягающего преобразования. К примеру, собственные функции логистического отображения хп+1 = 4хп(1 х,п)1 хп е (0,1), связанного с пирамидальным отображением хп+1 = 1 — |2хп — 1| заменой переменных хп = Н(хп) = 8ш2(лхп/2), имеют представление в виде
^т(х) = - 1 В2т [Н-1(х]) = - 1 В2т ( 1 аТОЗШ .
яд/ х(1 — х) яд/ х(1 — х) Vя /
3. Что дает знание собственных функций и собственных чисел оператора Перрона-Фробениуса?
При изучении как стохастических («истинно» случайных), так и хаотических процессов принципиальную (иногда даже говорят, «критическую») роль в радиофизике, а также в статистической физике играет анализ корреляционных функций процесса, оценка скорости убывания или «расцепления» корреляций, оценка динамики релаксационных процессов, установления равновесного состояния. Автокорреляционная функция преобразованием Фурье связана, как известно, с энергетическим спектром (Винера-Хинчина), который является характеристикой, нашедшей широкое применение в прикладных задачах. Общий вид корреляционной функции для процессов U, V, ассоциированных с реализацией дискретного хаотического процесса X:
К (п) = {и(х)У (дп (х, X))) — {и(х)) {V (дп (х, X))), (15)
где усреднение в стационарном (асимптотическом) случае ведется по инвариантной плотности. Поскольку траектории отображения определяются многократным итерированием, то есть хп = дп(х0, X) = дп-1 (д(х0, X)), соотношение (15) можно представить в виде
К (п) = (и(х)РпУ (ф (х))^ — {и(х)) {V (х)), (16)
где Р/(х) = Р(р(х)/(х))/р(х) - модифицированный оператор Перрона-Фробениуса, р(х) - инвариантная плотность рассматриваемого отображения.
Собственные числа оператора Перрона-Фробениуса по мере Лебега (2) и модифицированного оператора Перрона-Фробениуса совпадают, а собственные функции отличаются множителем р(х). Отсюда становится ясным, что ключевым моментом при расчете асимптотических и корреляционных свойств одномерных хаотических отображений является нахождение решения спектральной задачи для оператора
Перрона-Фробениуса исследуемого отображения. Особый интерес в этой связи вызывают те отображения и ассоциированные с ними линейные операторы, для которых данная задача может быть решена аналитически. Соответственно аналитически может быть решена и задача расчета скорости релаксационных процессов (установления инвариантного распределения) и спада корреляций. Именно такой класс операторов (и «порождающих» их отображений) представлен в настоящей статье.
Формула (16) упрощается при вычислении автокорреляционных функций орбит хаотических отображений. Так, для определенных на единичном интервале хаотических отображений с равномерным инвариантным распределением расчеты в (16) сводятся к определению многократного действия ОПФ на независимую переменную, которая для осуществления этих расчетов заменяется на линейную собственную функцию оператора %(х) (в случае ее наличия)
К(и)= [ хРпх<х — 4= / хРп(^1 (х) + Л <х — 4• (17)
./о 4 Уд V 2/4
Характер изменения автокорреляционной функции с ростом аргумента п зависит от знака и абсолютного значения собственного числа, отвечающего линейной собственной функции %(х). Так, для сдвигов Бернулли общего вида автокорреляционная функция демонстрирует экспоненциальный спад
1 1 -п 1
Е(и) = — — = -1 = — е-пЛ, и ^ 0, (18)
1 7 12 т 12 12 ' 4 У
где А.1 = N-1 - первое собственное число оператора Перрона-Фробениуса для сдвигов Бернулли, Л = — 1п -1 = 1п N - показатель Ляпунова этого отображения.
В то же время для инверсных сдвигов Бернулли затухание автокорреляционной функции носит осциллирующий характер (-1 = —N-1)
Л(и)=(—« = (—2~е-ПЛ, Л = — 1п |-1|, и ^ 0. (19)
Третий тип поведения автокорреляционной функции орбит хаотических отображений характерен для пилообразных отображений с четным числом ветвей. В этом случае =2к)Х = 1/2, и отображения генерируют «дискретный белый шум» с автокорреляционной функцией
1 Г 1/12, и = 0,
Я(и) = - 6(и)= о (20)
12 [0, и ^ 1.
Хотя в показатель экспоненты в (18) и (19) мы ввели значение показателя Ляпунова, скорость убывания автокорреляционной функции в соответствующих случаях точнее сравнивать со скоростью убывания показательной функции с основанием |-1| < 1. В самом деле, для пилообразного отображения с нечетным числом ветвей для К(и) получается выражение, аналогичное (18), но с иным значением -1
1 1 \п 1 1
К(и) = — -- = -1 = — е-2пЛ, Л = 1п N, 11 = —2, и ^ 0. (21) V > 12 N2п 12 12 1 N v '
Для инверсного пилообразного отображения с нечетным числом, полученного инвертированием всех ветвей исходного отображения, автокорреляционная функция с ростом п демонстрирует «колебательное» затухающее поведение
(—1)п (—1)п 1 К{П)= У2 № = 12 е_2ПЛ' Л = 1П М> ^ = - , П = 0,1 2- (22)
Связь собственного числа А.1 с показателем Ляпунова еще более «затушевывается» при рассмотрении отображения с произвольным чередованием ветвей с различными угловыми коэффициентами. Автокорреляционная функция орбит удовлетворяет универсальному виду, но со «своим» значением собственного числа А.1
Щп) = 11П, Х1 = , п > 0. (23)
Характер изменения (23) зависит от соотношения числа ветвей N с положительным угловым коэффициентом и числа ветвей Мп с отрицательным значением углового коэффициента.
Таким образом, для всех рассмотренных кусочно-линейных отображений автокорреляционная функция орбит изменяется по закону К(п) = 1/12 А.П, где значение собственного числа А.1 зависит от вида отображения.
Красивый результат для автокорреляционной функции орбит получается для отображений, сопряженных рассмотренным выше кусочно-линейным отображениям. Если между отображениями установлена связь, выражаемая обратимой зависимостью х = Н(х), то автокорреляционная функция нового отображения может быть вычислена через оператор Перрона-Фробениуса «старого» (!) отображения
К(п) = ^ Н(х)РпН(х)йх - ^^ Н(х)йх^ , (24)
что, например, для логистического отображения приводит к выражению
( 1/8, п = 0, К{п) = {
у 0, п ^ 1.
Отметим, что в случае отображения Реньи хп+1 = Фхпто& 1, Ф = (1 + л/5)/2, в расчетах автокорреляционной функции орбит отображения участвуют две (!) линейные собственные функции ОПФ [18]. В общем же случае точный расчет (24) основан на представлении функции Н(х) линейной комбинацией собственных функций ОПФ.
Заключение
При операторном описании одномерных отображений их нелинейные свойства изучаются посредством линейного оператора Перрона-Фробениуса. Основная задача исследования оператора - задача определения его собственных функций и собственных чисел - успешно решается методом, основанным на введении и факторизации
производящей функции для собственных функций ОПФ и методе степенных рядов, что в комплексе позволяет найти собственные функции либо в явном виде, либо через рекуррентные соотношения для коэффициентов полиномов, определяющих структуру собственных функций. С оператором Перрона-Фробениуса для отображений с регулярным чередованием ветвей соотносятся производящие функции в виде линейных комбинаций производящих функций для полиномов Бернулли и Эйлера.
Прогресс в аналитических расчетах корреляционных функций, характеризующих процессы эволюции в дискретных динамических системах, связан с заменой операнда ОПФ алгебраическим выражением, содержащим линейные комбинации собственных функций оператора. Характер убывания корреляционных функций (по показательному закону, осциллирующий, дельта-коррелированный) определяется видом отображения и значениями собственных чисел оператора, отвечающих собственным функциям, участвующим в представлении операнда для ОПФ.
Библиографический список
1. Пригожин И.Р., Стенгерс И. Время, хаос, квант. К решению парадокса времени. М.: Прогресс, 1994.
2. Лифшиц Е.М., Халатников И.М., Синай Я.Г. и др. О стохастических свойствах релятивистских космологических моделей вблизи особой точки // Письма в ЖЭТФ. 1983. Т. 38. С. 79.
3. Аникин В.М., Голубенцев А.Ф. Аналитические модели детерминированного хаоса. М.: ФИЗМАТЛИТ, 2007.
4. Iosifescu M., Kraaikamp C. Metrical theory of continued fractions. Boston: Kluwer, Inc., 2002.
5. Бланк Л.М. Устойчивость и локализация в хаотической динамике. М.: МЦНМО, 2001.
6. LasotaA.., Mackey M.C. Probabilistic properties of deterministic systems. Cambridge: Cambridge University Press, 1985.
7. Бабенко К.И., Юрьев С.П. Об одной задаче Гаусса. Препринт Института прикладной математики АН СССР, № 63. Москва, 1977.
8. Кузьмин Р.О. Об одной задаче Гаусса // ДАН СССР. 1928. Серия А. С. 375.
9. Кнут Д. Искусство программирования для ЭВМ. Т. 2. Получисленные алгоритмы. М.: Мир, 1977. С. 391.
10. Кнут Д. Э. Искусство программирования. Т. 2. Получисленные алгоритмы. 3-е изд. М.: Вильямс, 2000. С. 407.
11. Аникин В.М. Отображение Гаусса: эволюционные и вероятностные свойства. Саратов: Изд-во Сарат. ун-та, 2007.
12. Dorfle M. Spectrum and eigenfUnctions of the Frobenius-Perron operator of the tent map // J. Stat. Phys. 1985. Vol. 40, № 1/2. P. 93.
13. Gaspard P. r-adic One-dimensional maps and the Euler summation formula // J. Phys. A: Math. Gen. 1992. Vol. 25. L. 483.
14. Antoniou I., Tasaki S. Generalized spectral decomposition of mixing dynamical systems // Int. J. Quantum Chemistry. 1993. Vol. 46. P. 425.
15. Driebe D.J., Ordonez G.O. Using symmetries of the Perron-Frobenius operator to determine spectral decompositions // Phys. Let. 1996. Vol. A 211. P. 204.
16. Antoniou I., Dmitrieva L., Kuperin Yu., Melnikov Yu. Resonances and extension of dynamics to rigged Hilbert space // Computers Math. Applic. 1997. Vol. 34, № 5/6. P. 399.
17. Аникин В.М., Ремизов А.С., Аркадакский С.С. Собственные функции и числа оператора Перрона-Фробениуса кусочно-линейных хаотических отображений // Известия вузов. Прикладная нелинейная динамика. 2007. Т. 15, № 2. С. 62.
18. Голубенцев А.Ф., Аникин В.М. Инвариантные функциональные подпространства линейных эволюционных операторов хаотических отображений // Известия вузов. Прикладная нелинейная динамика. 2005. Т. 13, № 1-2. С. 3.
Поступила в редакцию 07.07.2009
SPECTRAL PROBLEMS FOR THE PERRON-FROBENIUS OPERATOR
V.M. Anikin
A method of solving the spectral problem for the Perron-Frobenius operator of one-dimensional piece-wise linear chaotic maps is demonstrated. The method is based on introducing generating functions for the eigenfunctions of the operator. It is shown that the behavior of autocorrelation functions for chaotic maps depends on eigenvalues of the Perron-Frobenius operator.
Keywords: Linear non-selfadjoned operator, eigenfunctions, eigenvalues.
Аникин Валерий Михайлович - родился в Аткарске Саратовской области (1947). Окончил физический факультет СГУ (1970). Доктор физико-математических наук, профессор физического факультета и факультета нелинейных процессов СГУ. Область научных интересов - хаотическая динамика, математическое моделирование стохастических и хаотических процессов. Автор 180 печатных работ, в том числе монографии «Аналитические модели детерминированного хаоса», М: ФИЗМАТЛИТ, 2007 (в соавторстве с А.Ф. Го-лубенцевым). Ученый секретарь совета по защите кандидатских и докторских диссертаций при СГУ по специальностям радиофизика, физическая электроника, оптика, твердотельная электроника. Эксперт Министерства образования и науки РФ.
410012 Саратов, ул. Астраханская, 83
Саратовский государственный университет им. Н.Г. Чернышевского E-mail: AnikinVM@info.sgu.ru; ivesc@sgu.ru
