CC BY
50
Изв. вузов «ПНД», т. 14, № 2, 2006 УДК 531.19
АНАЛИТИЧЕСКОЕ РЕШЕНИЕ СПЕКТРАЛЬНОЙ ЗАДАЧИ ДЛЯ ОПЕРАТОРА ПЕРРОНА - ФРОБЕНИУСА КУСОЧНО-ЛИНЕЙНЫХ ХАОТИЧЕСКИХ ОТОБРАЖЕНИЙ
В.М. Аникин, С.С. Аркадакский, А.С. Ремизов
Исследуются спектральные свойства линейного несамосопряженного оператора Перрона - Фробениуса для кусочно-линейного пилообразного отображения, ветви которого имеют одинаковый по модулю тангенс угла наклона и переводят отрезок своего определения на единичный интервал. Показано, что для произвольного числа ветвей отображения полиномиальные собственные функции оператора представляются (в зависимости от четности или нечетности числа ветвей) многочленами Бернулли, Эйлера или их линейной комбинацией. Соответствующие собственные числа выражаются через отрицательные степени числа ветвей отображения. Для отображения с нечетным числом ветвей и нулевым значением итеративной функции в нуле собственные числа являются кратными. Переход к инверсному отображению устраняет кратность собственных чисел оператора. Результаты получены методом, основанным на построении специальной аналитической производящей функции для собственных функций оператора Перрона -Фробениуса. Знание решения спектральной задачи для кусочно-линейного отображения автоматически позволяет записать точное решение спектральной задачи для любых топологически сопряженных отображений, а также найти аналитическое представление для автокорреляционной функции траекторий и корреляционных функций связанных с ними наблюдаемых.
Введение
Как известно, одномерные отображения являются простейшими моделями динамического хаоса [1-7]. Со временем они не утратили своего и научного, и методологического значения для нелинейной науки. Собственно, первые серьезные шаги на пути ее изучения и начинаются со сценария М. Фейгенбаума перехода к хаосу, обнаруженного впервые именно для одномерных отображений. Второй важный пример связан с развивавшейся коллективом авторов во главе с И.Р. Пригожиным
фундаментальной концепцией определяющей роли хаоса в возникновении «стрелы времени» (необратимости физических процессов при наличии обратимого характера уравнений движения) с привлечением в качестве базового объекта теории простейшего диадического отображения (сдвига Бернулли) [6]. Интересен, далее, тот факт, что парадигма детерминированного хаоса заняла свою нишу в общей теории относительности, когда была открыта хаотическая осцилляция компонент метрического тензора согласно одномерному отображению Гаусса в однородной анизотропной космологической модели типа IX по Бианки вблизи особенности Mixmaster Universe -«перемешанный мир» [8, 9].
Привлекательные черты «малоразмерной нелинейной динамики» не исчерпываются конкретными применениями соответствующих моделей для описания нерегулярных процессов. Специфика отображений малой размерности заключается и в том, что в ряде случаев возможно точное (аналитическое) вычисление основных траекторных, вероятностных и спектральных характеристик отображений, включая нахождение точного решения задачи о скорости установления равновесного состояния в динамической системе, скорости расцепления корреляций траекторий отображения и корреляций возможных наблюдаемых, соотнесенных с этой траекторией. Аналитические решения для хаотических динамических систем, характеризуемых чувствительностью к начальным условиям и параметрам, отличаются высшей степенью достоверности, поскольку могут быть подвергнуты соответствующим проверкам вплоть до подстановки решений в исходные уравнения и организации эквивалентных аналитических вычислений1. Исследование более сложных систем численными методами в связи с конечностью множества машинных чисел и ограниченной разрядностью представления чисел в компьютере2 может сталкиваться с большими проблемами, вплоть до появления результатов, на самом деле являющихся машинными «фантомами» [11]. В этой ситуации представляет несомненный интерес глубокое математическое исследование «классики» нелинейных явлений как собственно математического объекта, так и в роли возможного инструмента для анализа новых нелинейных явлений.
Ключевым моментом при аналитическом исследовании автокорреляционных и асимптотических свойств одномерных хаотических отображений является нахождение решения спектральной задачи для оператора Перрона - Фробениуса исследуемого отображения, то есть определение собственных функций и собственных чисел этого оператора [12]. Для сдвигов Бернулли, xn+1 = Gxn mod 1, где G - произвольное положительное число, и инверсных сдвигов Бернулли, xn+i = 1 — Gxn mod 1, решение спектральной задачи для соответствующего оператора Перрона - Фробе-ниуса получено [13, 14], причем в [12, 14, 15] предложена регулярная процедура для решения этой задачи, основанная на построении производящих функций для полиномиальных собственных функций оператора. В данной статье рассматриваются некоторые общие свойства подобных функций и впервые полностью решается задача аналитического нахождения собственных функций и собственных чисел для
1Например, знание точного траекторного решения позволяет вычислить инвариантную плотность [2], которая, в свою очередь, является неподвижной точкой оператора Перрона - Фробениуса и т.п.
2 Машинные числа - это конечный набор рациональных чисел, для которого не гарантировано выполнение правил арифметики, и результат существенно зависит от диапазона задания операндов (см., к примеру, [10]).
оператора Перрона - Фробениуса пилообразного и инверсного пилообразного отображений с произвольным коэффициентом (числом ветвей). До настоящего времени были известны лишь частные случаи решения подобной задачи - для пирамидального отображения (tent map) [16] и отображений с 3-6 кусочно-линейными составляющими итеративной функции [12, 17, 18]. В данной работе удалось унифицировать процедуру решения спектральной задачи и представить решение в виде, справедливом для отображения с любым числом кусочно-линейных участков итеративной функции «пилообразного» отображения.
1. Производящие функции для полиномиальных собственных функций и полиномиального ядра оператора Перрона - Фробениуса и их свойства
Рассмотрим одномерное отображение, определенное на единичном интервале,
xn+i = f(xn;ц), n = 0,1,2,..., xn e (0,1), (1)
где f (x) - нелинейная или кусочно-линейная итеративная функция; ц - параметр отображения, при котором (1) обладает хаотическими свойствами [1-7], в частности, характеризуемыми наличием инвариантной плотности ^o(x; ц). В дальнейшем явную запись параметра ц при записи траекторных, вероятностных и спектральных характеристик отображения будем опускать. Одна из форм записи соответствующего данному отображению линейного оператора Перрона - Фробениуса, характеризующего закон трансформации вероятностных распределений pn(x) случайных величин
Xn = f n(Xo) = f (f (...f (Xo)))
n раз
под действием итераций, имеет вид [1-6, 19-22]:
1
Pn+i(x) = PPn(x) = J S(x - f (D)Pn(mt (2)
o
Для конкретного отображения интеграл в правой части (2), благодаря фильтрующим свойствам S-функции, легко вычисляется на каждом из подынтервалов монотонного изменения итеративной функции, что дает представление для оператора в форме функционального соотношения.
Инвариантная плотность ^o(x) является неподвижной точкой оператора Перрона - Фробениуса (P^0(x) = ^0(x)), а все остальные его собственные функции по определению удовлетворяют уравнению
1
P^n(x) = K^n(x) = j S(x - f (l))^n(l)dl, n = 1,2,..., (3)
o
где Xn - собственное число, отвечающее собственной функции ^n(x). Собственные функции оператора Перрона - Фробениуса подчиняются также дополнительному соотношению
1
У ^n(x)dx = Sn,0 = j 0П = 00 (4)
o
фт,п - символ Кронекера). В самом деле, поскольку для любого значения
^ Е (0,1) итеративная функция хаотического отображения (1) не выводит точку
1
за пределы единичного интервала (f Е (0,1)), то J 8 (x — f (^ ))dx = 1, и при
о
интегрировании (3) на единичном интервале получим 1 1 1
К J tyn(x)dx = j J 8(x — f (l))^n('%)d'%dx = 0 0 0 1 1 1
= J ^nmij 8(x — f (D)dx = J ^n(x)dx. 0 0 0
Отсюда (при ln = 0) и следует (4). Соотношение (4) в частных случаях удовлетворяется для полиномов Бернулли Bn(x), являющихся собственными функциями для сдвигов Бернулли [6], и собственных функций отображения Гаусса xn+1 = = 1 /xn mod 1, xn Е (0,1) [22].
Введем теперь в рассмотрение производящую функцию для собственных функций оператора Перрона - Фробениуса, то есть некоторую аналитическую функцию, разложение которой в ряд Тейлора в качестве коэффициентов эти собственные функции и имеет. Итак, будем называть производящей функцией для системы собственных функций %(x), k = 0,1, 2,..., оператора Перрона - Фробениуса такую функцию Ф^, t), разложение которой в ряд по степеням t при достаточно малых t (обеспечивающих сходимость ряда) имеет вид:
ж tn
y(x,t) = J2 ^n(x) n. (5)
n=0
Если в соотношении (5) положить x = 0, то получаемая функция от t
ж tn
ФМ = £ %(0) n (6)
n=0
будет играть роль производящей функции для последовательности чисел tyk(0)3.
Из соотношения (4) следует, что производящая функция (5) удовлетворяет условию нормировки:
1
/*(xt)dx = L (7)
0
Выделив из производящей функции стандартным образом четную и нечетную части (по параметру t),
1 ж t2k Фe(x, t) = 2 (Ф^, t) + Ф(x, —t)) = (x)72k)T' (8)
k=0 ( )t
3Употребление слова «функция» по отношению к (5) или (6) отнюдь не означает, что речь идет о
вычислении (5) или (6) в какой-либо точке ¿0! Переменная £ здесь является формальной, и сумма ряда
го 1Г1
Ф(0,£) =52 'фп(О)смысла не имеет.
п=0 '
1 ^ £2к+1 Фо(х,£) = 2 (Ф(х,£) - Ф(х, -£)) = к= ^2к+1(х)(2^ + 1)!, (9)
и учитывая, что в четную часть входит нулевая (по порядку) собственная функция (инвариантная плотность), для функций (8) и (9) получим следующие интегральные соотношения:
J Фе (х,Ь) йх = 1,
(10)
1
J Фо (х,ь) йх = 0. (11)
о
В последующих разделах статьи будут найдены собственные функции и собственные числа оператора Перрона - Фробениуса для некоторых достаточно общих разновидностей хаотических кусочно-линейных отображений с равномерным инвариантным распределением - пилообразного и инверсного к нему отображений. Линейные ветви этих отображений имеют одинаковые по модулю тангенсы угла наклона и переводят отрезок своего определения полностью на единичный интервал.
Приобретенный авторами опыт позволяет сформулировать следующий универсальный сценарий решения спектральных задач для эволюционных операторов подобных кусочно-линейных отображений.
1. Выбор в качестве собственных функций оператора Перрона - Фробениуса целых рациональных функций - алгебраических многочленов (значения их коэффициентов в последующем подлежат определению)
п
^п(х) акхк, ап = 1. (12)
к=0
Подобный выбор собственных функций обусловлен тем, что оператор Перрона -Фробениуса преобразует аргумент функции, на которую он действует, по линейному закону, что не приводит к изменению степени полинома (структуры функции) и позволяет надеяться на «восстановление» полинома с численным корректирующим множителем после действия оператора.
2. Определение структуры собственных чисел оператора в результате подстановки многочленов как собственных функций в уравнение (3). Достигается это приравниванием коэффициентов при одинаковых степенях независимой переменной х в левой и правой частях (3).
3. Выдвижение предположения о структуре производящей функции для собственных функций оператора Перрона - Фробениуса. Формулировка (на основе конкретного вида оператора (3)) функциональных уравнений для компонент (8), (9) производящей функции и их решение с учетом найденных на предыдущем этапе значений собственных чисел и условий (10), (11).
Почему мы говорим о построении особой производящей функции? Естественно, коэффициенты полиномов, определяющих собственные функции оператора Перрона - Фробениуса, могут последовательно находиться из решения линейной системы уравнений, получаемых приравниванием в (3) коэффициентов при идентичных
степенных функциях. Но, во-первых, каждая собственная функция требует составления именно «своей» системы уравнений, а во-вторых, общее число таких систем является, в принципе, бесконечным. При введении производящей функции данные технические «силовые» приемы решения спектральной задачи обходятся, хотя уровень сложности в интеллектуальном плане даже, пожалуй, и повышается, поскольку успех в решении задачи связан с решением функциональных уравнений относительно четной и нечетной составляющих производящей функции.
Следует подчеркнуть, что условия (7), (10) и (11) являются общими, то есть они должны выполняться для любого отображения. Разумно попытаться (на основе априорного предположения о полиномиальном характере собственных функций) выбрать вполне определенный способ представления либо для производящей функции в целом, либо для ее четной и нечетной частей:
Ф(х,г) = ехС(г); (13)
Фе (х, г) = 2 {ех'С1(1) + е-хЛСг(-г)) ; (14)
Фо (х, г) = 2 {ехС (г) - е-х1с2 (-г)) (15)
(функции С(г), Сг(г), С2(г) предполагаются дифференцируемыми). Подстановка (14)-(15) соответственно в (10) и (11) приводит к общим уравнениям, которым должны удовлетворять функции С (г), С г (г), С2(г):
С(г) = ¿—I; (16)
е — т
2г (Сг (г) + е-Сг (-г)) = 1; (17)
С2(г) - е-С2(-г) = о (18)
(при исключении значения г = 0). Интересно, что решение (16) дает представление Ф(х, г) в форме производящей функции для полиномов Бернулли, что соответствует хаотическим отображениям в виде сдвигов Бернулли. Уравнения (17) и (18) должны использоваться при решении спектральных задач для кусочно-линейных отображений, отличных от сдвигов Бернулли, в сочетании с уравнением (3).
Представления (14) и (15) в виде произведения экспоненты ехр(±хг) на функцию Сг(г) или С2(г), зависящую только от параметра г, позволяет формулировать уравнения относительно Сг(г) и С2(г), исходя из (3), в виде
^1(Сг(г))^ {ехЛ, е-хЛ) = 0, ^^(г))^ {ехЛ, е-хЛ) = 0 (19)
(¥, F1,F2 - некоторые функции), то есть сводить, по существу, задачу к решению уравнений
Fl(Сl(г)) = 0 и F2(G2(г)) = 0. (20)
Попутно легко вычисляются возникающие суммы с помощью элементарной формулы суммирования для геометрической прогрессии.
Можно отметить, что решение уравнения (17) в виде С^Ь) = шЬ/(етТ — 1) существует для двух значений - ш = 1 и ш = 2:
С1(Ь) = ^; (21)
е
^ = = е— — ег+г ■ (22)
Уравнению (17) отвечает и решение
2Ь Ь Ь
= —ге = е^—г + *+!■ (23)
Решение же уравнения (18) в форме С2(Ь) = шЬ/(ет—1) или С2(Ь) = (ш + 1)/(етТ+1) существует только при ш = 1:
С2(Ь) = ¿—^, (24)
С2(Ь) = ^ ■ (25)
2. Решение спектральной задачи для пилообразного отображения
В этом разделе мы ставим целью нахождение полиномиальных собственных функций оператора Перрона - Фробениуса (2) для кусочно-линейного пилообразного отображения, характеризуемого следующими друг за другом участками линейного возрастания и убывания итеративной функции, и для произвольного числа N ветвей монотонного изменения функции, представляемого в виде
' ±\клтх , ( 1)к+1 {к , 1 — ( — 1)к
к=0
где &к(х) - индикаторная функция сегмента [k/N, (к + 1)/N), то есть
1, х е [k/N, (к + 1)/N),
х„+1 = /(хп) = ^ ((—1)к+ (—1)к+^к + 1 (2 )©к(х), (26)
©к (х) =
0, хе [k/N, (к + 1)/N)■
На рис. 1 показан частный вид (26) для N = 5. Отображению (26) отвечает оператор Перрона - Фробениуса
Р(М)Ф (х) = N Е N ((—1)кх + к + Т^) ) ■ (27)
к=0 44 7 7
Неподвижной точкой этого оператора, как нетрудно убедиться, является плотность равномерного распределения ^0(х) = ©0>1(х), где ©0>1 (х) - индикаторная (характеристическая) функция единичного отрезка.
Случаи четного и нечетного числа ветвей в отображении (27) удобнее рассматривать по отдельности.
Рис. 1. Пилообразное отображение с пятью кусочно-линейными ветвями
2.1. Пилообразное отображение с четным числом ветвей. Оператор Перрона - Фробениуса (27) в этом случае переписывается как
„ 1 ^ (х + 2к\ 1 ^ /2(к + 1) - х
Р(М)Ф) = ^^ ф( + ^^ Ф'
к=0 4 7
к=0
N
(28)
Тогда из (3) получим следующее уравнение, связывающее собственные функции фк (х) и собственные числа \к оператора:
К,фп (х) = N
N/2-1 . , ч N/2-1
Е х + 2к\
ФМ ) + Ь Фп
к=0
к=0
2к + 2 - х
N
(29)
Согласно описанной в разделе 1 схеме будем искать собственные функции оператора (29) в виде многочлена (12). Подставляя (12) в (29) и приравнивая коэффициенты при одинаковых степенях х, получим прежде всего соотношение для собственных чисел оператора
Хп = N
N/2-1 т N/2-1 (-Т)
N п +
1=0
1=0
N п
(30)
Таким образом, собственные числа с четными индексами (отвечающие четным по порядку собственным функциям) п = 21, I = 0,1, 2, . . . , выражаются как
^ = 1 = 0, 1' 2'
(31)
а в случае нечетных номеров, п = 21 + 1, I = 0,1, 2,..., собственные числа равны нулю
^21+1 = 0, I = 0,1, 2,.... (32)
Собственные функции с четными индексами удовлетворяют уравнению (29) с четными п; найдем уравнение для их производящей функции Фе(х, г). Для этого (см.
п
(8)) умножим (29) для п = 21 на Ь21/(21)! и просуммируем по I от 0 до то. С учетом (31) получим следующее уравнение:
^e [X,t] = N
NV-1 т (x + 21 т \ N^ т (21 + 2 - x АТ
l=0 4 7 l=0 4
(33)
Производящую функцию Фе(х, Ь) будем искать в форме (14). Вспомогательная функция С\(Ь) должна одновременно удовлетворять уравнению (17) и уравнению, получаемому подстановкой (14) в (33),
1 / ет - 1 _ 1 \
(*) = Т7 (т) ^Г^ + —т)_2, , • (34)
N\ ' e2t - 1 1V ' e-2t - 1,
Таким согласованным решением, как можно проверить непосредственной подстановкой, является (22).
Перед тем как записать окончательное выражение для производящей функции Фе(х, t), вспомним, что производящие функции для полных систем неортогональных на единичном сегменте полиномов Бернулли Bn(x) и Эйлера En(x) определяются следующим образом [25]:
t„xt tn
B(x,t) = -1— = £ Bn(x)-,\t\ < 2п (35)
et — 1 ^ n!
n=0
и
e (x,t) = e2+-1 = E Enrtn> \t\< n. (36)
n=0
Соответственно, можно записать и производящие функции для полиномов Бернулли и Эйлера с четными и нечетными индексами
Be(x, t) = - (B(x, t) + B(x, -t)) = E ВП)t2n, (37)
n=0
Bo(x,t) = - (B(x,t) - B(x, -t)) = E Bn+й. t2n+1, (38)
n=0
- ^ t2n
Ee(x,t) = - (E(x,t)+ E(x, -t)) = E2n(x) —, (39)
n=0
- ™ t2n+1
Eo(x,t)2 (E(x,t) - E(x, -t)) = E2n+i(x)——..
n=0
(40)
С использованием (35)-(40), можно записать выражение для производящей функции собственных функций оператора Перрона - Фробениуса пилообразного отображения с четным числом ветвей в форме линейной комбинации производящих функций для полиномов Бернулли с четными индексами и полиномов Эйлера с нечетными индексами:
Фе (х,1) = Ве(X, 2^ = Ее(х,1) - \ео(х,1) = Ее(х,1) - 1 • (41)
Следовательно, по определению (5) производящей функции собственные функции оператора Перрона - Фробениуса (28) могут рассматриваться как следующая комбинация полиномов Бернулли и Эйлера:
1 д
(x) = B21 (x) - lE2i-i(x) = B2i(x) - ^дХЕ21 (x), l = 1,2,.... (42)
Производные от полиномов Эйлера [25] и их производящей функции введены в (41) и (42) для симметрии записи по нижним индексам.
С учетом уже известного результата (31) для собственных чисел оператора решение задачи на собственные функции оператора Перрона - Фробениуса (28) для пилообразного отображения с четным числом ветвей можно считать законченным. Интересно также выявить роль полиномов Бернулли и Эйлера в контексте исследования оператора (28). Покажем, что эти полиномиальные функции образуют ядро (нуль-пространство) линейного оператора (28). Подействовав оператором (28) на производящую функцию вида (15), получим
1 Л ext/N + e(2—x)t/N
P(N)Фо(М) = (G2(t) - e-tG2(-t)) —--1 - e2t/N . (43)
Когда функция G2(t) определена формулами (24) или (25), выполняется (18) и соотношение (43) обращается в ноль. А это и означает, что производящими функциями полиномиального ядра оператора Перрона - Фробениуса (28) являются производящие функции (38) и (40) для полиномов Бернулли и Эйлера с нечетными индексами
P(N)Bo(x, t) = 0; P{N)Eo(x, t) = 0. (44)
Решение спектральной задачи в форме значений собственных чисел (31), (32) линейного оператора Перрона - Фробениуса и его полиномиальных собственных функций (42) и нуль-пространства B2k+1(x), E2k+1(x) (k = 0,1,...) справедливо для произвольного четного количества ветвей отображения N. Так, для пирамидального отображения (tent map), формируемого двумя кусочно-линейными ветвями (N = 2), собственные функции определяются выражениями (42), а соответствующие собственные числа равны 1.2k = 1/22k.
2.2. Пилообразное отображение с нечетным числом ветвей. Рассмотрим теперь отображение (26) с кусочно-линейной итерируемой функцией, имеющей нечетное число отрезков монотонности. Оператор Перрона - Фробениуса в этом случае удобно представить в виде таких двух сумм:
P(N )ф (x) = N
(N-1)/2 /x + 2k\ (N-l/2-1 /2k + 2 - x k=0 4 7 k=0 4
(45)
Уравнение (3), определяющее собственные функции, запишется в виде 1
K'tyn(x) = n
(N—1)/2 / , о7\ (N 1)/2 1 /
x + 2k \ v-^ (2k + 2 - x
М + ^ % N
k=0 k=0
(46)
В случае полиномиальных собственных функций, как и в предыдущем случае, соотношение (46) позволяет получить следующее выражение для собственных чисел оператора:
1
^ = N
(И —1)/2 (И 1)/2 1 1
Е + Е —ху
к=0 г=0 у '
(47)
При четном индексе п = 2к выражение (47) сводится к результату (31), Хп = 1/Мп, а вот нечетному индексу п отвечает значение собственного числа
К = хП+Т ,п = 21 + 1(1 = 0,1, 2,...). (48)
Сравнивая (31) и (48), можно заметить, что в случае нечетного числа ветвей отображения (26) собственные числа оператора имеют кратность 2: любому собственному числу будут соответствовать две собственные функции - полином с четной нумерацией и полином с нечетной нумерацией.
Получим полиномиальное представление для собственных функций, найдя их производящие функции для четных и нечетных индексов. На основе (47) получим следующее уравнение для производящей функции собственных функций с четными индексами:
1 (И—1)/2 . . (И 1)/2 1 , х
т / 1 ^ т (х + 2к „ \ 1 ^ т (2к + 2 — х „ \
М = N И + N £ М-^—'(49)
к=0 к=0
Для производящей функции, порождающей собственные функции с нечетными индексами, получаем несколько иное функциональное уравнение:
(И-1)/2 , , 2, ч (И—1)/2—1 . ч
т / ч т (х + 2к „ \ т I 2к + 2 — х \ „
ф0(х,г) = М + Е М—Х—>т)- (50)
к=0 ^ ' к=0 ^ 7
Четную и нечетную производящие функции будем искать в виде (14) и (15), соответственно. Уравнение для О1(г), дополнительное к (17), получается подстановкой (14) в (49)
О (г) = 1 (&№ (е(И+1)4 — 1) — С1(—т) (е-(И-1)* — 1)) . (51)
Уравнениям (17) и (51) удовлетворяет функция (21), то есть четной производящей функцией для собственных функций оператора (45) является производящая функция (37) для полиномов Бернулли с четными индексами
(х,г) = ве (х,г), (52)
а решение спектральной задачи представляется в форме
Ых)= Вп(х), К = т1п, п = 21, I = 1,2,.... (53)
N п
Получим теперь явное выражение для нечетной части производящей функции Фо (х,Ь), подставив (18) в уравнение (45). Получим
02® = (02(т) (е^+1)4 - 1) + О2(-т) (е-(м-1)* - 1)) . (54)
Решение, удовлетворяющее как (18), так и (54), имеет вид (25), что дает для производящей функции следующее представление:
Ф0 (х, ¿) = Ео (х, ¿). (55)
Это означает, что собственными функциями оператора (50) являются также полиномы Эйлера с нечетными индексами
%(х)= Еп(х), к = тП+г, п = 21 - 1, I = 1,2,...,. (56)
Так, для трехзвенного отображения (Ж = 3) каждому собственному числу 1/32п оператора Перрона - Фробениуса будут отвечать две собственные функции: В2п(х) и Е2п+1(х).
Кратность собственных чисел оператора Перрона - Фробениуса (50) позволяет конструировать его собственные функции посредством линейной комбинации собственных функций - полиномов с четными и нечетными номерами, которым отвечают одинаковые собственные числа, например, в форме (42) (этому результату соответствует решение (22) для уравнения (17)).
3. Решение спектральной задачи для инверсного пилообразного отображения
На единичном сегменте отображение, инверсное к некоторому отображению
хп+1 = I (хп), хп Е (0,1), определим как
хп+1 = I (хп) = 1 - f (хп), хп Е (0,1). (57)
Итеративную функцию инверсного пилообразного отображения можно представить в виде
хп+1 = I(хп) = Х0 (1 - (-1)"Жхп - (-1)*+1 (к + 1 - (2-1)')) ®к(х) (58)
(на рис. 2 показано пятизвенное инверсное отображение). Оператор Перрона - Фробениуса, отвечающий (57), имеет вид
р(*)Р (х) = Ж Е Р (Ж ((-1)к(1 - х) + к + 1 - (2-1)^ ) . (59)
к=о ^ ^
Процесс нахождения собственных чисел и полиномиальных собственных функций оператора (59) полностью совпадает с ходом решения аналогичной задачи для «исходного» отображения, но результаты для оператора (59) будут заметно отличаться от результатов раздела 2. Рассмотрим, как и выше, случаи четного и нечетного числа ветвей N монотонности исследуемого отображения (58).
0.0 0.25 0.50 0.75 х(п) Рис. 2. Инверсное кусочно-линейное отображение с пятью ветвями
3.1. Инверсное отображение с четным числом ветвей. Для четного N оператор Перрона - Фробениуса (59) переписывается следующим образом:
„ / \ 1 /Л/2-1 (х + 2к + 1 \ , Л/2-1 ( х + 2к + Г Р(М)р (х) = N | Е Р ( -N- ) + Е Р ( 1
к=0 / к=0 4 а уравнение (3), определяющее собственные функции, -
^N/2-1 \ N/2-1
N
N
(60)
( ) = 1 | х + 2к + 1 + 1 х + 2к + 1 К^п(х) = N 11^ ^п (-N-1+1^ ^м 1
к=0
к=0
N
(61)
Как и в подразделе 2.1, в случае полиномиальных собственных функций собственные числа оператора (60) представляются формулами (31) и (32).
Последующие рассмотрения проводятся по уже введенному выше сценарию. Производящая функция для собственных функций с четными номерами, удовлетворяющая уравнению
. . 1 (х + 2к + 1 \ N/^1 т ( х + 2к + 1 4
(62)
ищется в виде (14). Уравнение для вспомогательной функции О^Ь), дополнительное к (17), следует из (62):
1 ( e(l+N)í_ег М-Юг _ ег
01 (*) = „ °1(^) е2^1 - - _ 1
(63)
Решением, удовлетворяющим одновременно (17) и (55), будет функция (23), а соответствующая производящая функция будет иметь вид
фе(х,*) = Ве (х,г) + 2ео(х,1) = Ве(х,г) + 1
(64)
В качестве собственных функций производящая функция (64) дает комбинацию полиномов Бернулли и Эйлера
■2п(х) = в2п(х) + 2е2га-1 (х) = в2п(х) + 2 ^^х^ '
(65)
отличающуюся знаком от результата (42), полученного для исходного отображения (26) с четным числом ветвей.
Нуль-пространство оператора (60) в классе полиномиальных функций представляют многочлены Бернулли и многочлены Эйлера с нечетными индексами. В самом деле, действуя оператором (60) на производящую функцию вида (15), по аналогии с (43) можно получить
1 _ р(х+1)ь/м + р(—х+1)г/м р{м)ФС(х'I) = {С2(г) —е-*С2(-г)) —--„ -• (66)
1 _ е2г/м
Для функций С2(Ь) в форме (24) или (25) выполняется (18), а вслед за этим (66) обращается в нуль, что и доказывает сделанное утверждение относительно нуль-пространства оператора (60). Производящими функциями для элементов нуль-пространства являются производящие функции для многочленов Бернулли и Эйлера с нечетными индексами (38) и (40).
3.2. Инверсное пилообразное отображение с нечетным числом ветвей.
Рассмотрим теперь инверсное отображение (58) с нечетным числом ветвей N > 3. Оператор Перрона - Фробениуса подобного отображения представляется в виде следующих двух сумм:
1
Р(м )р(Х ) = N
\М—1)/2—1 1 . (М—1)/2 1
Е( х + 2к + 1 \ ( 2к + 1 — х
И—N— 1+ ^ р
к=0
к=0
N
(67)
Уравнение, соответствующее (3) и определяющее собственные функции оператора (67), запишется в виде
Кфп (х)=N
(М —1)/2-1 (М—1)/2 ,
Е( х + 2к + 1 \ тт-^ ( 2к + 1 — х
■п( -N-)+ фп
к=0 7 к=0
N
' (68)
что в случае полиномиальных собственных функций оператора позволяет получить представление для соответствующих собственных чисел в виде
I = 1
лп — М
(М—1)/2—1
(М—1)/2
цп +
Мп 1 ^ (—М)п к=0 к=0
1
N
N — 11+ N + 1 1
т
2 (—^г
(69)
То есть для четных п = 2к собственные числа сугубо положительны и имеют вид (28), а для нечетных п = 2к + 1 они являются отрицательными
^ = N"27' 1 = 0' 1' 2'■■■ ; Х2к+1 = — N2^+2 'к = 0' 1'■
(70)
1
Следовательно, при инверсии пилообразного отображения с нечетным числом ветвей монотонности все собственные числа оператора Перрона - Фробениуса становятся простыми (кратности 1).
Найдем соответствующие собственные функции оператора. Уравнения для четной и нечетной составляющих производящей функции имеют вид:
Фе(М) = N
'(м-1/2-1т (х + 2к + 1 Д7\ (га-1)/2 (2к + 1 - х Д7 Е Фе-^->№} + Е Фе-^-N
к=о \ N '"7 ' ¿=о 'е\ N
(71)
т, ^ (^-1/2-1 (х + 2к + 1 \ (\1)/2у (2к + 1 - х ЛГ N _
ф0(М) = - £ фЛ—N—,т - £ Ф0 —N—,т). (72) к=0 4 7 к=0 4 7
Как и выше, считаем, что эти функции ищутся в виде (14) и (15). В результате подстановки (14) в (71) с учетом (68) найдем уравнение для вспомогательной функции
ад):
= Nв2¿Г (°1(т) - - С1(-т) {в-т - в')) . (73)
Согласованным решением функциональных уравнений (17) и (73) является (21), что соответствует производящей функции Фе(х,Ь) в форме производящей функции для полиномов Бернулли с четными индексами (см. (52), (53)).
В результате подстановки (15) в (72) определяется уравнение для функции
ад):
ад) = -в^Лу {02(т) (вт - в') + С2(-т) (в-т - в')), (74)
решением которого является (25). Это означает, что производящей функцией для собственных функций с нечетными индексами является производящая функция для полиномов Эйлера с нечетными индексами, которые и являются решением спектральной задачи (см. (55) и (56)).
Заключение
В работе впервые аналитически найдены собственные числа и собственные функции оператора Перрона - Фробениуса для пилообразных отображений (26) и (58), инверсных друг другу (в смысле равенства (57)) в случае произвольного числа ветвей (вид отображений для N = 5 показан на рис. 1 и 2). Решение спектральной задачи в классе целых функций получено оригинальным методом - посредством введения аналитических производящих функций для полиномиальных собственных функций названного оператора. Краткий «путеводитель» по результатам статьи можно представить следующей табличкой:
Отображение Число ветвей N Собственные числа Полиномиальные собственные функции Полиномиальное ядро
(26) четное (30)-(32) (41), (42) нет
(26) нечетное (31), (48) (52)-(56) нет
(58) четное (30)-(32) (64), (65) (38), (40)
(58) нечетное (31), (70) (52)-(56) (38), (40)
Собственные функции оператора Перрона - Фробениуса для пилообразных отображений представляются полиномами Бернулли, полиномами Эйлера или их комбинациями. Вид собственных функций различен для отображений с четными и нечетными ветвями, но в пределах одного класса отображений (с четным или нечетным числом ветвей) число ветвей не влияет на представление собственных функций - они описываются едиными аналитическими выражениями (подобным же свойством обладает оператор Перрона - Фробениуса для сдвигов Бернулли).
Собственные числа во всех случаях представляются сходными по структуре выражениями (отрицательные степени числа ветвей отображения). Для отображения (26) в случае четного числа ветвей собственные числа являются кратными; им соответствует двумерное подпространство собственных функций. В случае инверсного отображения (58) с четным числом ветвей собственные числа, будучи знакопеременными, становятся простыми (кратности 1).
На основании существующих связей [23] между полиномами Бернулли и Эйлера найденные собственные функции операторов Перрона - Фробениуса могут быть представлены в альтернативных формах. Так, например, комбинация полиномов Бернулли и Эйлера может быть заменена полиномом Бернулли половинного аргумента (см. (41)).
Решение спектральных задач для операторов Перрона - Фробениуса кусочно-линейных отображений открывает перспективы для точного решения, по крайней мере, следующих трех классов задач:
1) нахождение собственных чисел и функций отображений, связанных с рассмотренными кусочно-линейными отображениями (26) и (58) обратимыми дифференцируемыми преобразованиями, а именно: собственные числа операторов Перрона - Фробениуса топологически сопряженных отображений совпадают, а в выражении для собственных функций соответствующим образом меняется лишь аргумент [14];
2) нахождение автокорреляционных функций орбит и корреляционных функций наблюдаемых, связанных с траекториями отображений, поскольку эти расчеты сводятся к выявлению результатов многократного действия оператора Перрона -Фробениуса на соответствующие функции независимой переменной и интегрированию этих результатов по инвариантной плотности [12];
3) аналитическое исследование перемешивающих свойств отображений на основе представления начальных распределений формулами Эйлера - Маклорена [14], в том числе и посредством замещения полиномов Бернулли в оригинальной формуле Эйлера - Маклорена на полиномы Эйлера.
Естественным обобщением рассматриваемых отображений являются кусочно-линейные отображения, в которых возрастающие и убывающие ветви чередуются в произвольном порядке, и отображения с «неполными» (не переводящими подынтервал своего определения на единичный интервал) ветвями. К аналитическому решению спектральных задач для операторов Перрона - Фробениуса подобных отображений мы обратимся в следующей работе.
Библиографический список
1. Лихтенберг А., Либерман М. Регулярная и стохастическая динамика. М.: Мир, 1984. 528 с.
2. Шустер Г. Детерминированный хаос. Введение. М.: Мир, 1988. 240 с.
3. Неймарк Ю.И., Ланда П.С. Стохастические и хаотические колебания. М.: Наука, 1987. 424 с.
4. Малинецкий Г.Г. Хаос. Структуры. Вычислительный эксперимент: Введение в нелинейную динамику. М.: Эдиториал УРСС, 2000. 356 с.
5. Кузнецов С.П.Динамический хаос. Курс лекций. М.: Физматлит, 2001. 296 с.
6. Пригожин И.Р., Стенгерс И. Время, хаос, квант. К решению парадокса времени. М.: Прогресс, 1994. 272 с.
7. Короновский А.А., Трубецков Д.И. Нелинейная динамика в действии. Саратов: ГосУНЦ Колледж, 2002. 324 с.
8. Лифшиц Е.М., Халатников И.М., Синай Я.Г., Ханин К.М, Щур Л.Н. О стохастических свойствах релятивистских космологических моделей вблизи особой точки // Письма в ЖЭТФ. 1983. Т. 38. С. 79.
9.
Голубенцев А.Ф. , Аникин В.М. О хаотической модели ранней эволюции Вселенной // Радиотехника. 2005. № 4. С. 50.
10. Годунов С.К., Антонов А.Г., Кирилюк О.П., Костин В.И. Гарантированная точность решения систем линейных уравнений в евклидовых пространствах. Новосибирск: Наука, Сибирское отделение, 1988. 456 с.
11. Бабенко К.И. Основы численного анализа. М.: Наука, 1986. Гл. 9.
12. Голубенцев А.Ф. , Аникин В.М. Инвариантные функциональные подпространства линейных эволюционных операторов хаотических отображений// Изв. вузов. Прикладная нелинейная динамика. 2005. Т. 13, № 1-2. С. 3.
13. Antoniou I., Tasaki S. Generalized spectral decomposition of mixing dynamical systems // Int. J. Quantum Chemistry. 1993. Vol. 46. P. 425.
14. Голубенцев А.Ф., Аникин В.М., Аркадакский С.С. О некоторых свойствах оператора Фробениуса - Перрона для сдвигов Бернулли // Изв. вузов. Прикладная нелинейная динамика. 2000. Т. 8. № 2. С. 67.
15. Goloubentsev A.F., Anikin V.M., and Arkadaksky S.S. On the convergence of non-stationary solutions of the Frobenius - Perron equations to the invariant density // Proceedings of 2nd International Conference «Control of Oscillation and Chaos». 2000 / Edited by F.L. Chernousko and A.L. Fradkov. S.-Petersburg. Vol. 1. P. 142.
16. Dorfle M. Spectrum and eigenfunctions for the Frobenius - Perron operator of the tent map // J. Stat. Phys. 1985. Vol. 40. №1/2. P. 93.
17. Голубенцев А.Ф., Аникин В.М., Аркадакский С.С. Сопряженные хаотические отображения: построение, траекторные, вероятностные и спектральные характеристики // Проблемы современной физики. К 90-летию Саратовского государственного университета и 40-летию сотрудничества ОИЯИ - СГУ / Под ред. А.Н.Сисакяна и Д.И. Трубецкова. Дубна: ОИЯИ, 2000. С. 172.
18. Голубенцев А.Ф., Аникин В.М., Барулина Ю.А. К решению спектральной задачи для эволюционного оператора методом производящих функций // Моделирование: Сб. науч. статей / Под ред. проф. Б.Е. Железовского. Саратов: Исток-С, 2002. С. 24.
19. Малинецкий Г.Г., Потапов А.Б. Современные проблемы нелинейной динамики. М.: Эдиториал УРСС, 2000. 336 с.
20. Бланк Л.М. Устойчивость и локализация в хаотической динамике. М.:МЦНМО, 2001. 352 с.
21. LasotaA., Mackey M.C. Probabilistic properties of deterministic systems. Cambridge: Cambridge University Press, 1985. Ch.4.
22. Iosifescu M., Kraaikamp C. Metrical Theory of Continued Fractions. Kluwer Boston, Inc. 2002. Chps. 1, 2.
23. Справочник по специальным функциям с формулами, графиками и математическими таблицами / Ред. М. Абрамовиц и И. Стиган. Пер. с англ. М.: Наука, 1979.
Саратовский государственный Поступила в редакцию 24.03.2006
университет
ANALYTICAL SOLUTION OF SPECTRAL PROBLEM FOR THE PERRON - FROBENIUS OPERATOR OF PIECE-WISE LINEAR CHAOTIC MAPS
V.M. Anikin, S.S. Arkadaksky, A.S. Remizov
Spectral properties of the linear non-self-adjoint Perron - Frobenius operator of piece-wise linear chaotic maps having regular structure are investigated. EigenfUnctions of the operator are found in the form of Bernoulli and Euler polynomials. Corresponding eigenvalues are presented by negative powers of number of map brunches. The solution is obtained in general form by means of generating functions for eigenfunctions of the operator. Expressions for eigenfunctions and eigenvalues are different for original and inverse maps having even and odd number of branches. Results allow us to find analogous solution of the spectral problem for conjugate maps and to calculate analytically decay of correlations for such chaotic dynamical systems.
Аникин Валерий Михайлович - родился в Аткарске Саратовской области (1947). Окончил физический факультет СГУ (1970). Доктор физико-математических наук (2005), доцент кафедры вычислительной физики и автоматизации научных исследований СГУ, заместитель декана физического факультета СГУ по научной работе, ученый секретарь докторского диссертационного совета по специальностям радиофизика, физическая электроника, оптика, твердотельная электроника. В 2000-2003 гг. исполнял обязанности секретаря Всемирной международной конференции по вакуумным источникам электронов (IVESC). Область научных интересов - аналитические модели хаотических и стохастических процессов. Автор 5 монографий и 80 статей. E-mail: [email protected]; [email protected]
Аркадакский Сергей Сергеевич - родился в Саратове (1949). Окончил физический факультет СГУ (1971). Кандидат физико-математических наук, доцент кафедры вычислительной физики и автоматизации научных исследований СГУ, заместитель декана физического факультета СГУ по общим вопросам. Область научных интересов - электроника СВЧ, нелинейная динамика.
Ремизов Александр Сергеевич - родился в Саратове (1980). Окончил физический факультет СГУ (2002). Ассистент кафедры вычислительной физики и автоматизации научных исследований СГУ, аспирант заочной аспирантуры. Область научных интересов - хаотическая динамика, включая вопросы хаотической криптографии.
