Инвариантные функциональные подпространства линейных эволюционных операторов хаотических отображений Текст научной статьи по специальности «Математика»

Изв. вузов «ПНД», т. 13, № 1-2, 2005 УДК 538.56+535

ИНВАРИАНТНЫЕ ФУНКЦИОНАЛЬНЫЕ ПОДПРОСТРАНСТВА ЛИНЕЙНЫХ ЭВОЛЮЦИОННЫХ ОПЕРАТОРОВ ХАОТИЧЕСКИХ ОТОБРАЖЕНИЙ

А.Ф. Голубенцев , В.М. Аникин

Показано, что нахождение конечного числа собственных функций оператора Перрона - Фробениуса отображения Реньи x„+i = fixn mod 1 (в случая равенства вещественного коэффициента числу Фидия в = Ф = (1 + v/5)/2), а также связанных с этим оператором модифицированного эволюционного оператора и оператора Перрона - Фробениуса сопряженного отображения основано на последовательном построении конечномерных инвариантных функциональных подпространств для этих операторов.

Введение

Хаотические отображения (нелинейные разностные уравнения со случайными начальными условиями) представляют интерес как простые модельные объекты при решении ряда естественнонаучных задач, в том числе как генераторы шумопо-добных сигналов, кодирующих конфиденциальные сообщения (особенно в формате двумерных и трехмерных отображений). Ряд важных свойств отображений определяется видом собственных функций ассоциированного линейного оператора Перрона - Фробениуса и значениями собственных чисел. Сложность задачи нахождения этих характеристик определяется в первую очередь видом отображения. Для симметричных отображений типа сдвигов Бернулли и полученных из него простыми преобразованиями отдельных ветвей новых отображений, собственные функции оператора Перрона - Фробениуса являются полиномами Бернулли (комбинацией полиномов Бернулли и Эйлера) [1]. Для кусочно-линейных отображений, не все ветви которых переводят свои отрезки задания целиком в полную область определения отображения (как правило, единичный интервал), задача нахождения собственных функций в достаточно общем виде еще не решалась. В этой работе развивается аналитический метод нахождения собственных функций оператора Перрона - Фробениу-

са кусочно-линейного Ф-отображения, в определение которого входит число Фидия

Ф = (1 + /5)/2,

г , I вХп, 0 < Хп < в-1

Хп+1 = {вхп} =< , =

[ вХп - 1, в 1 <Хп < 1 (!)

= (вХп) • 1(0 < Хп < в-1) + (вХп - 1) • 1(в-1 <Хп < 1).

Символ {} в (1) означает выделение дробной части числа, а иррациональный коэффициент в = Ф = (1 + л/б)/2 & 1,618 представляет собой одно из чисел Фидия. Мы сохраняем в записи отображения коэффициент в [2-6], поскольку число Фидия - это лишь одно из возможных значений [6], при котором отображение (1) сохраняет эргодические и перемешивающие свойства [2,3]. Отображение (1) состоит из двух линейных ветвей, из которых только одна переводит область задания (0, в-1) на единичный интервал. При записи Ф-отображения (1) использованы индикаторные функции отдельных отрезков (интервалов) единичного интервала области определения (1) - соответственно (0, в-1) и (в-1,1). Индикаторная функция отрезка (например, [а, Ь]) определяется как единично-нулевая функция вида

{1, х Е [а, Ь], 0 / [ Ь] (2)

0, х Е [а, Ь].

Оператор Перрона - Фробениуса, ассоциированный с рассматриваемым отображением, имеет вид [4]:

„„,=< в ('(!)+' (?)) •0 < х < г1- =

вНв • в-' <Х < 1 (3)

= в (/ (в)+/(^ )1 <0 < х < в-1:

Предлагаемый метод нахождения собственных функций оператора (3) заключается в построении конечномерных инвариантных подпространств в функциональном пространстве, соотнесенном с эволюционным оператором, и последующем переходе в этих подпространствах к новому базису. Показано, что собственные числа эволюционного оператора являются знакопеременными отрицательными степенями числа Фидия, а собственные функции представляют собой кусочно-степенные функции, терпящие разрыв первого рода в точке золотого сечения 1 /Ф = = 1 — Ф & 0.618. Аналогичную структуру сохраняют собственные числа и собственные функции модифицированного оператора Перрона - Фробениуса и эволюционного оператора сопряженного (к Ф-отображению) хаотического преобразования, обладающего равномерным инвариантным распределением (в последнем случае собственные функции терпят разрыв в точке 1/(1 + Ф-2) & 0.724.

1. Четырехмерное инвариантное функциональное подпространство

Введем следующие обозначения: фп (ж) - п-я собственная функция оператора Перрона - Фробениуса Ф-отображения, Xn - п-е собственное число, соответствующее фп (ж), (п изменяется от 0 до то, значению п = 0 отвечает инвариантная плотность).

Рассмотрим результат действия оператора (3) на ряд функций - индикаторную функцию 1 (0 < ж < 1) единичного интервала (0,1), индикаторную функцию 0 (ж) = 1 (0 < ж < в-1) =1 — 1 (в-1 < ж < 1) интервала (0, в-1), независимую переменную ж и комбинацию функций ж0(ж). Соответственно, получим

Р1 (0 < ж < 1) = в-1 • 1 (0 < ж < в) + в-1 • 1 (—1 < ж < в-1) • 1 (0 < ж < в-1), (4)

Р0 (ж) = в-11 (0 < ж < 1), (5)

Рж = в-2ж + в-2 (ж + 1) 0 (ж) = в-20 (ж) + в-2ж + в-2ж0 (ж), (6)

Рж0 (ж) = в-2ж0 (+ в-2 (ж + 1) 0 (0 (ж) = в-2ж. (7)

Анализируя структуру соотношений (4)-(7), можно сделать вывод, что индикаторная функция единичного отрезка 1(ж), индикаторная функция 0 (ж), линейные функции ж и ж0(ж) могут рассматриваться как неортогональный базис четырехмерного инвариантного подпространства интегрируемых функций (линейной оболочки над полем вещественных чисел, порожденной этими векторами) эволюционного оператора. В этой связи целесообразнее перейти к матричной записи уравнений (4)-(7):

Р

1

0 (ж)

ж

ж • 0 (ж)

11

в

-1

0 0

в-

0

в-2

00

00

в-2 в-2

1 1

0 (ж) =А 0 (ж)

ж ж

ж • 0 (ж) ж • 0 (ж)

(8)

0 в-2 0

Здесь введена матрица линейного преобразования (3) в базисе 1(ж), 0 (ж), ж и ж0(ж):

А =

в-1 в-1 0 0 в-1 0 0 0

0 в-2 в-2 в-2

0 0 в-2 0

Характеристический многочлен матрицы А имеет вид:

А (Х) =

X — в-1 —в-1 0 0

—в-1 X 0 0

0 —в-2 X — в-2 —в-2

0 0 —в-2 X

(9)

= (х — 1) (X + в-2) (X — в-1) (X + в-3)

Корни характеристического многочлена являются характеристическими числами матрицы А (то есть собственными числами оператора Перрона - Фробениуса). Приравнивая (10) нулю, получим значения собственных чисел:

Хс = 1, Х1 = —в-2, ^2 = в-1, Х3 = —в-3. (11)

Собственное число Хс = 1 соответствует собственной функции в форме инвариантной плотности отображения.

2. Аналитический расчет первых четырех собственных функций

Осуществим теперь переход от базиса 1(ж), 0 (ж), ж, ж0(ж) к новому базису, состоящему из четырех собственных функций %0 (ж), % (ж), %2 (ж), %3 (ж) оператора Перрона - Фробениуса. Для этого необходимо [7] осуществить преобразование подобия

A = Т-1 ЛТ. (12)

Здесь Т - невырожденная матрица перехода к новому базису, определяющая преобразование

II %0 (ж) % (ж) %2 (ж) %3 (ж) ||' = Т || 1 0 (ж) ж ж0 (ж) ||', (13)

Т-1 матрица, обратная матрице Т, а Л - диагональная матрица, описывающая в новом базисе линейные преобразования базисных векторов под действием оператора эволюции. В силу того, что базис составляется из собственных функций оператора, матрица Л состоит из собственных чисел (11), являющихся инвариантами при преобразованиях подобия [7,8].

Задача диагонализации предопределяет вид матрицы Т-1: она должна состоять из собственных векторов матрицы A, удовлетворяющих условию Abi = = Xibi. Найдя эти векторы, можно посредством обращения Т-1 найти матрицу Т и, тем самым, решить поставленную задачу.

Для нахождения же собственных векторов матрицы A, согласно [7], прежде всего нужно построить так называемую присоединенную матрицу B (X) = = \\bik (X)\\, элементы которой bik (X) являются алгебраическими дополнениями величин Xöfci — aki в определителе (10). Эффективный способ вычисления элементов bik (X) связан с представлением присоединенной матрицы B (X) через характеристический многочлен (10). Найдем отношение разности A(X) — А(ц) к разности X — ц

8 (X, ц) = А (X> — А (ц) = ц + (X — ß-1). (14)

X — ц

Тогда присоединенная матрица [7]

B(X) = 8 (XE, A). (15)

Подставляя в (14) вместо X и ц матрицы XE и A, соответственно, получим из (15)

искомую присоединенную матрицу

вм =

X3 - в-^2 - в-^ в-^2 - в-^ - в-5

в-1 X2 - в-^ - в-5 X3 - X2 + в^ + в-5

в-2X2 - в-^ X3 - в-^2 - в-^ в-^2 - в-^ - в-4

в-^ - в-

в-2х2 - в-3х - в-4 X3 - X2 - в-^ + в-

(16)

Замена в (16) величины X характеристическими числами матрицы А (11) дает собственные векторы матрицы А - ими являются ненулевые столбцы матрицы В (X), если X - характеристическое число матрицы А [7]. Для X = Xo = 1 имеем

В1 (X) = 1) = 2в

3

1

в-1 1 2

-в 2

2

в-1

в-2

2 в-1 2

2 в-з

2

00 00

00

00

откуда следует, что вектор

Ьо =

1 в-1 1 1 в-2 1 2 2

(17)

- первый собственный вектор матрицы А (второй столбец матрицы В (X)) пропорционален первому).

Для X = X! = —в 2 имеем

В ^ = — в-2) = в

1-4

—в в-1

—в в-1

2

1

в-1 0 0

—1 0 0

1 0 0

-10 0

то есть

Ь1 = II в

1

1 1 1

второй собственный вектор матрицы А. Аналогично, если

(18)

В ^2 = в-1) = —в

3

0

00

0 0 0

—в-1 —в-2

0 1 в-1 0 в-1 в-2

5

5

4

в

то третий собственный вектор матрицы (9) суть

Ь2 = || 0 0 1 в"1

Наконец, поскольку

1—5

В (Ха = -в"а) = -в

то четвертый собственный вектор матрицы (9) определяется как

00 0 0

00 0 0

в"1 -в"1 (1+в"2) -2в"а 2в"2

-1 (1+в"2) 2в"2 -2в"1 |

Ьа = || 0 0 в

1

1

(20)

Теперь мы можем записать матрицу Т"1, обратную искомой преобразующей матрице Т; последняя матрица обеспечивает переход к базису в виде собственных функций оператора Перрона - Фробениуса. Матрица Т"1 состоит из только что найденных собственных векторов (17)-(20) матрицы (9)

Т

1

1

в"1 1 2

2

(21)

в"1 0 -1 0 11 -1 в"

Матрицу перехода к новому базису Т будем искать посредством обращения

1

0 0 в"1

1

(21):

Т

1

в

1

1 + в"2

в"1

1 + в"2 в"1

1 + в"2 1

1 + в"2 1в

2 1 + в

2

1 + в"2 0

2 в

2

0

0 1

в

0 0

1

1 + в"2 в"1

1 + в"2 1

1+в

2

1+в

2

(22)

Из соотношения

|| %0 (ж) % (ж) %2 (ж) (ж) || = Т || 1 0 (ж) X Ж0 (ж) || ,

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

%0(ж) = (ж) =

1

1

1 + в"2

в"1 \-2

+ 7^2 • 0 (ж),

1 + в"2 1

1 + в"2 1 + в

• 0 (ж) ,

(23)

(24)

Ч2 (х) =

г-1

1-1

+

1 + в-2 1 + в

2

X +

1 + в-2

1 в в в-1 Ч (х) = - + 2© (х) + г+в

Собственные функции (23), (24) являются кусочно-постоянными, а функции (25) и (26) - кусочно-линейными (рис. 1). Правильность проведенных расчетов легко проверяется действием оператора Перрона - Фробениуса на функции (23)-(26).

Рис. 1. Кусочно-постоянные и кусочно-линейные собственные функции оператора Перрона - Фробениуса Ф-отображения

• х© (х) 1

-2

• х —

1+в

• х© (х).

(25)

(26)

1

3. Обсуждение результатов и обобщения

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

Можно предложить три направления, облегчающие решение сформулированной задачи:

1) переход к модифицированному оператору Перрона - Фробениуса (по инвариантной мере), связанному с определенным выше оператором Перрона - Фробени-уса (3) (по мере Лебега) соотношением [9-11]

ид (х) = чТ")Р (Чо (х) д (х)); (27)

2) применение метода неопределенных коэффициентов;

3) построение производящих функций для собственных функций операторов (3) и (27).

Последовательно оценим перспективы этих направлений. Нетрудно увидеть, что инвариантным для оператора (27) является равномерное распределение, собственные числа операторов (3) и (27) совпадают, а собственные функции связаны соотношением: Чи (х) = Ч0(х)Ч(^) и (х), где ) и (х) - собственные функции модифицированного оператора. Преимуществом «работы» с оператором (27) является более «приятный» вид матриц, возникающих при описанных выше преобразованиях - они являются нижними треугольными матрицами. В результате описывавшихся

уже действий можно получить (при введении шестимерного инвариантного функционального пространства) дополнительные собственные числа Х4 = в"2, Х5 = -в"4 и соответствующие собственные функции оператора Перрона - Фробениуса:

Х4 = в2, %4 (ж) = 1 в"1 - 1 в"20 (ж) - 2в"1 ж + 2в"аж0 (ж) + ж2; (28)

- , ч 2в2 2 . . в2

%5 (ж) = - 3(1 + в"2) + !+"0 (ж) + !+"ж-

2 1 (29)

- ж0 (ж) - ж2 + ж20 (ж) •

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

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

%п(ж) = и-1га) + И-2га)0(ж) + ц^ж + И-4га)ж0(ж), п = 0,1,2,3- (30)

(п)

Неизвестные коэффициенты для п = 0,1, 2, 3; к = 1, 2, 3, 4 найдем из уравнения, определяющего собственные числа и функции оператора Перрона -Фробениуса Ф-отображения (4.6):

Р %п(ж) = Хп%п(ж)-

При действии оператора Перрона - Фробениуса (3) на функции вида (30) возникают следующие уравнения (п = 0,1, 2, 3):

Р%п(ж) = Хп (ц1п) + ц2п)0(ж) + ц3п)ж + ц4п)ж0(ж)) =

^ Гц1п) +ц2п)) в"1 + (Щп)в 1 + ц3п)в-2)0(ж) + Гц3п) + ц4п)) в"^^"^) ^

( (ц1п) + ц2п)) в"1 (ц1п)в"1 + ц3п)в"2)

= -Х-- + Л-Х--0(ж) +

V Хп Хп

(ц3п) + ц4п)) в"2 ц3п)в"2 (Л

+ Л-Х-1-ж + — ж0(ж) •

Хп ^п '

Приравнивая коэффициенты при 1, &(х),х, х©(х), найдем следующие непротиворечивые выражения для искомых коэффициентов :

А,о = 1 : 1 = 1 + в"2' ц20) = P"V10)' (0) Ц3 = (0) Ц4 = 0;

Xi = в"1 : = , ^21) = о, Ц3ц = вц41), Ц41) = 1

= "в"2 : ^12) = 1, (2) Ц2 = "в, (2) Ц3 = (2) Ц4 = 0;

Хз = "в"3 : ^13) = в 2' (3) Ц2 = " в + в"10' 2 Ц33) = "в"1, ц43) = 1

Подставляя найденные значения коэффициентов в (30), придем к выражениям (23)-(26). Можно проводить дальнейшие обобщения, повышая степень независимой переменной в (30) и увеличивая число слагаемых вида xn и Qxn с неопределенными коэффициентами. При этом будет повышаться размерность системы линейных алгебраических уравнений, необходимых для нахождения численных значений коэффициентов

Возникает вопрос, а нельзя ли создать некий «самораспаковывающийся архив», который в компактной форме содержал бы (и генерировал!) значения собственных функций и собственных чисел оператора? Речь идет о производящей функции для собственных функций и собственных чисел оператора [1]. К этому вопросу (в случае Ф-отображения) мы надеемся обратиться специально. А сейчас просто продемонстрируем реальность этой идеи (указав вид производящих функций) для двух пилообразных отображений (с нечетным и четным числом ветвей), полученных инверсией четных ветвей из сдвигов Бернулли xn+i = Mxn mod 1 (M - целое число). Для этого введем производящие функции для полиномов Бернулли Bk (x) и Эйлера Ek (x) [12], соответственно

te

tx

те

t

k

B(x,t) = ^Y = U Bk (x) k, k=0

(31)

/к

Е (М) = ¿-Т^Е Ек (х) й, (32)

к=0

(/ - параметр). Нам понадобятся выражения для производящих функций полиномов Бернулли с четными номерами и полиномов Эйлера с нечетными номерами

^ +2к 1 (//2) Ве(х, /) = к=0 В2к(х) (Щ = 2 (В(х, /) + В(х, -/)) = ¡¿(//2усЬ(х - 1/2)/, (33)

Ео(х, /) = Е(х, /) - Е(х, -/) =

те г2к+1 г/2 (34)

=£ ^«(¿кття = даь(х -1/2)/

Рассмотрим два отображения

жп+1 = ф1(жп) = 5жп1(0 < жп < 1/5) + (2 - 5жп)1(1/5 < жп < 2/5) + +(5жп - 2)1(2/5 < жп < 3/5) + (4 - 5жп)1(3/5 < жп < 4/5)+ +(5жп - 4)1(4/5 < жп < 1),

жп+1 = ф2(жп) = 6жп1(0 < жп < 1/6) + (2 - 6жп)(1/6 < жп < 1/3) + +(6жп - 2)1(1/3 < жп < 1/2) + (4 - 6жп)1(1/2 < жп < 2/3)+ +(6жп - 4)1(2/3 < жп < 5/6) + (6 - 6жп)1(5/6 < жп < 1),

соответственно характеризуемые операторами Перрона - Фробениуса

Р / (ж) = 1 (/ ( ж ) + / ( ^ ) + / ( ^ ) + / ( ^ ) + / ( ^ ))

(35)

(36)

Р2/(ж) = 1 (/( ж) +/( ^ ) +)( ^ ) + / (4-ж ) + + / ( ^ ) + / ( ^ ^

(37)

Подействовав оператором (37) на функцию (33) с аргументом ж/2 и используя элементарные свойства гиперболических функций, найдем

Р2Бе(ж/2,1) = -н(/31)сЬ((ж - 1/2)^/12)) = Бе(ж/2,1/6),

а это означает, что собственными функциями оператора Перрона -Фробениуса (37) являются полиномы Бернулли Б2к(ж/2) с собственными числами Хк = 1/62к, к = 0,1, 2, • • • Аналогично, действуя оператором (36) на функции (33) и (34), получим

Р1Бе(ж, I) = 8Ь|/)00)СЬ((ж - 1/2)(^/5)) = Бе(ж, 1/5), (38)

Р1Е0(ж,1) = 5еЬ(^1/10)«Ь((ж - 1/2)1/5) = 1Е0(ж,1/5). (39)

Результаты (38) и (39) означают, что собственными функциями оператора Перрона - Фробениуса (36) являются четные (по порядку) полиномы Бернулли и нечетные полиномы Эйлера. Собственные числа Хк = 1/52к имеют кратность 2. Собственные числа становятся простыми для отображения, инверсного (35) (ф 1(жп) = 1-ф1(жп)), поскольку в этом случае собственные числа становятся знакопеременными.

4. Зачем радиофизику оператор Перрона - Фробениуса

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

в"1 (1 - в"2) а, 0 < а <

1

ж =< Г 1 +в"2' (40)

(Г + в"2) а - в"2, < а < 1

Данная замена переменной приводит к кусочно-линейному отображению, имеющему равномерное инвариантное распределение

вап, 0 < ап < в

1

2

ап+1 = д (ап) = <

1+в

в"2 в"1 1 ап + Г+р"^, 1+" < ап < 1+", (41)

в2 _

1 + в"2, Г+в "2

2

в2ап - , 0_2, , 0_2 < ап < Г

Не представляет труда записать оператор Перрона - Фробениуса для (41):

2

Рд / (а) = / а - ) +

в. 1 + в"

+ (в"1/ (в"1а) + в"2/ (в"2а - ГтТв-2) - / (а - Г^)) ' 01 (а)

(42)

где 01 (а) = 1 (0 < а < Г+Тз-2

Собственные числа сопряженных отображений являются инвариантами, а собственные функции пересчитываются с учетом (40) по четкому правилу [1]. Поэтому первые собственные функции для оператора (42) будут иметь вид

Хо = 1, (а) = 1, (43)

Х1 = -в"2, % (а) = (1 - (1 + в"2) 0 (а)) , (44)

Х2 = в"1, %2 (а) = (-^ + ^+1"0 (а) + а - в"2а0 (а)) , (45)

1 1 2

Хз = -в"3, (а) = ( -2 - + Г+—0 (а) + а - 2в"1а0 (а) ) • (46)

Автокорреляционная функция для орбит отображения вычисляется исходя из определения [13]

1 1 1 ...(47)

О 0 0

где д(п)(а) - п-я итерация отображения. Произведение интегралов в правой части (47) с очевидностью равно 1 /4 (случайные величины ап и ао при расчете считаются одинаково распределенными - по инвариантному закону). Полугрупповые свойства дискретных отображений, сохраняющих меру, позволяют представить п-ю итерацию в форме различных итерационных композициий, в том числе и в виде д(п)(а) — — д(п_1)(ф(а)), п-кратное применение которого в (47) ведет к изящной формуле для расчета автокорреляционной функции

1

Е(п) — У а(рпа)^а - 4 • (48)

о

Эта важная формула особенно удобна и полезна, если переменную а представить в виде линейной комбинации собственных функций оператора Перрона - Фробени-уса1. Тогда и результат многократного действия этого оператора на переменную а будет представлять собой линейную комбинацию собственных функций. Выберем для такого представления собственные функции (45) и (46). Пусть

(49)

а = (а) + Чз (а) + с = 1 - - - 1+3-2 + с ) + Р-1а + 2Ь

+ '1 + - © (а) + (а + Ь) а - (|3"2а + 2р-1Ь) а© (а) •

Тогда переменная а может быть представлена в виде

2 В-1 1

а — Г+р-242 (а) - г+р-24з (а) + -• (50)

Теперь легко найти результат многократного действия оператора Перрона -Фробениуса изучаемого отображения на а:

2 «-!„,. (а) в-1 / «-3А 4 (а) , 1

г а — -

1

1

Га — Р->2 (а) - -Р-3) 4з (а) + 2• (51)

1Не менее изящна формула для расчета автокорреляционной функции орбит сопряженного хаотического отображения с неравномерным инвариантным распределением [14]:

Н(и) = аР" h(а)dа — \ h(а)dа

0 Ю )

где Р - оператор отображения с равномерным инвариантным распределением, ^а) - сопрягающая функция.

2

Р па =

2Р"

(а) - 2("1)п Р"2п"1^з (аЛ+1.

(52)

1 + в"2

Подстановка (51) в (48) после ряда элементарных вычислений позволяет запи сать точное выражение для автокорреляционной функции орбит хаотического отоб ражения (41):

К(и) =

1

12(1 + в"2)4

• (4в"1(1 + в"7) + (-1)п (1 + Р"5)Р"2п) в"п. (53)

Часто выражение для автокорреляционной функции К(и) записывают, вводя

ляпуновский показатель Л. Учитывая, что в нашем случае в эквивалентную форму записи для (53)

1

-1 _ „-л

е , получим

К (и) =

(4(1 + е"7Л)е"Л + (-1)п (1 + е"5Л)е"2Лп) е"Лп

12(1 + е"2Л)4

е

(54)

Характер затухания нормированной автокорреляционной функции г(и) = = К(и)/К(0) отражает рис. 2. Что касается Ф-отображения, выражение для его автокорреляционной функции приведено в [5]:

г(и)= 1 -в" (1- (-1)пв"Лп)

1 - (1 - (-1)п е"Лп)

г—Лп

—Лп

Для сравнения рядом приводится график функции ехр(-Ли). Видно, что динамика расцепления корреляций в динамической системе в форме базового отображения, определяется не только показателем Ляпунова (собственным числом в"1 = е"Л), но и вторым собственным числом в"2 = е"2Л.

0.8 0.6 0.4 0.2 0.0

\\

\\ V

\ \ \

\ <чОч

0

1

Рис. 2. Автокорреляционная функция орбит Ф-отображения (точечная линия) и сопряженного ему отображения с равномерным инвариантным распределением (сплошная линия). Прерывистая линия отражает зависимость е-Лп

Заключение

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

Автор благодарен рецензенту за обсуждение работы.

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

1. Голубенцев А.Ф., Аникин В.М., Аркадакский С.С. О некоторых свойствах оператора Фробениуса-Перрона для сдвигов Бернулли // Изв. вузов. Прикладная нелинейная динамика. 2000. Т. 8, № 2. С. 67-73.

2. Renyi A. Representation for real numbers and their ergodic properties // Acta. Math. Acad. Sc. Hungar. 1957. Vol. 8. P. 477-493.

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

4. Гельфонд А.О. Об одном общем свойстве систем счисления // Изв. АН СССР. Сер. математическая. 1959. Т. 23. С. 800-814.

5. Mori H., So B.-Ch., Ose T. Time-correlation functions of one-dimensional transformations // Progress in Theor. Physics. 1981. Vol. 66. No. 4. P. 1266-1283.

6. Аникин В.М., Аркадакский С.С. Кусочно-линейные отображения с неравномерным инвариантным распределением // Радиотехника. 2005. № 4. Специальный выпуск «Ученые России: Александр Федорович Голубенцев». С. 78-85.

7. Гантмахер Ф.Р. Теория матриц. М.: Наука, 1988. 552 с.

8. Окунев Л.Я. Высшая алгебра. М.: Просвещение, 1966. 336 с.

9. Бланк Л.М. Устойчивость и локализация в хаотической динамике. М.: МЦН-МО, 2001. 352 с.

10. Lasota A., Mackey M.C. Probabilistic properties of deterministic systems. Cambridge: Cambridge University Press, 1985. 360 с.

11. Iosifescu M., Kraaikamp C. Metrical theory of continued fractions. Kluwer Boston Inc., 2002. 346 pp.

12. Корн Г., Корн Т. Справочник по математике для научных работников и инженеров. М.: Наука, 1970. Гл. 21.

13. Шустер Г. Детерминированный хаос. М.: Мир, 1988. 240 с.

14. Anikin V.M., Goloubentsev A.F. Analysis of biological chaotic rythmes // Proc. SPIE. Complex Dynamics, Fluctuations, Chaos, and Fractals in Biomedical Photonics / Ed. V.V. Tuchin, 2004. Vol. 5330. P. 167-177.

Саратовский государственный Поступила в редакцию 15.11.2004

университет

INVARIANT SUBSPACES FOR LINEAR EVOLUTION OPERATORS

OF CHAOTIC MAPS

A.F. Goloubentsev , V.M. Anikin

Invariant functional subspaces for the Perron-Frobenius operator of a piece-wise linear chaotic Renyi map is constructed to find its first eigenfunctions.

Голубенцев Александр Федорович (1933 - 2003) - доктор физико-математических наук, профессор. Заведовал кафедрой вычислительной физики и автоматизации научных исследований СГУ. Автор 7 монографий, 7 учебных пособий и 150 статей по статистической электронике и радиофизике, нелинейной динамике.

Аникин Валерий Михайлович - родился в Аткарске Саратовской области (1947). Окончил Саратовский университет (1970). После окончания СГУ работал в Научно-исследовательском институте механики и физики СГУ, с 1984 года - на кафедре вычислительной физики и автоматизации научных исследований СГУ. Кандидат физико-математических наук, доцент. Область научных интересов - математическое моделирование стохастических и хаотических процессов. Один из авторов монографий «Статистические модели квазирегулярных радиофизических и оптических структур», «Математические модели контактов организма человека с чужеродными агентами», а также учебных пособий по вычислительным методам и программированию. Ученый секретарь докторского диссертационного совета СГУ по специальностям радиофизика, оптика, физика полупроводников и диэлектриков. E-mail: Anikinvm@info.sgu.ru