Нахождение характеристических показателей матрицы монодромии с использованием дт6аналога l(t)r(t)-алгоритма Текст научной статьи по специальности «Математика»

Теорема. Главная и дополнительные экспоненты целочисленного нечётного порядка k образуют ^мерное линейное пространство относительно операции сложения и умножения на число.

Теорема. Главная и все дополнительные экспоненты порядка k образуют линейно независимую систему функций. Это следует из того, что определитель Вронского отличен от нуля

Шк = ёе^ехр^1^ (х)) Ф 0.

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

Исходя из полученных результатов, можно сформулировать утверждение.

Теорема. Любая линейная комбинация инвариантных функций является инвариантной функцией.

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

1. Чуриков В.А. Особенности некоторых элементарных функций дробного анализа целочисленных порядков // Перспективы развития фундаментальных наук: Труды VII Междунар. конф. студентов и молодых учёных. - Томск, 20-23 апреля 2010 г. -Томск, 2010. - С. 536-537.

2. Чуриков В.А. Локальный ¿-оператор дифференцирования и интегрирования конечных вещественных порядков для дробного // Известия Томского политехнического университета. - 2011. - Т. 318. - №2. - С. 5-10.

3. Чуриков В.А. Экспоненциальное вырождение в дробном анализе целочисленных порядков // Уравнения смешанного типа и родственные проблемы анализа и информатики: Матер. Междунар. Российско-Болгарского симп. - г. Нальчик, аул Хабез, 25-30 июня, 2010 г. - Нальчик, 2010. - С. 251-254.

4. Чуриков В.А. Дополнительные главы анализа. Дробное интегрирование и дробное дифференцирование на основе ¿-опера-тора. - Томск: Изд-во тПу, 2010. - 118 с.

Поступила 29.08.2011 г.

УДК 621.52+511.52

НАХОЖДЕНИЕ ХАРАКТЕРИСТИЧЕСКИХ ПОКАЗАТЕЛЕЙ МАТРИЦЫ МОНОДРОМИИ С ИСПОЛЬЗОВАНИЕМ ДТ-АНАЛОГА /.(^)-АЛГОРИТМА

С.О. Симонян, А.К. Василян, М.Д. Тамазян

Государственный инженерный университет Армении (Политехник), г. Ереван E-mail: cybinf@seua.am; ssimonyan@seua.am; aram028@yahoo.com; mher.tamazyan@gmail.com

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

Ключевые слова:

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

Key words:

Non-autonomous matrix, own values-functions, monodrom matrix, differential-Taylor transformation, characteristicaishowings.

Введение. Допустим, что мы имеем неавтономную систему с периодическими коэффициентами, которая задана в следующем виде [1]

X (I) = Л($) х(г), (1)

где Л(0=Ц(0), гу=1,«, Х(0=(хь(0,-А(0)Т а элементы матрицы Л(/) периодические, т. е. Л(/+Т)=Л(/), где Т- период.

Пусть Ф(Т,/) - матрица монодромии системы (1), которая имеет вид [2]

%i(T ,?) %12(T ,?) ■ ' Vln(T,t)

Ф(Т ,0 = р21(Т,t) %22(T,?) ■ ' %n (T,t)

%n1(T s) %n2 (T,t) ■ ' %nn (T,t)

а

Р(Я( 0) =

= (А(0 - Я (I))т1 (А(0 - а2(0Г -(¿(0 -Я, (0)тк,

т1 + т2 + —+ тк = т < п

- минимальный многочлен матрицы Ф(Т,/) [3]. Функции

Ь ( 0 = Т-1п К( О, У = 1,к, (2)

где Т - период; ЯД/); I=1Д - собственные значения-функции матрицы Ф(Т,/) - называются характеристическими показателями решений системы (1).

Согласно [3], зная значения характеристических показателей, можно говорить об устойчивости системы (1). Будем искать характеристические показатели (2) для неавтономных матриц с помощью ДТ-аналога Х(/Щ/)-алгоритма [4].

ЬЯ алгоритм [4] предназначен для разложения автономных матриц А=(а) гУ=1,п на множители - матрицы Ь и Я, при которых

А = ¿Я,

где Ь - нижняя треугольная матрица с единицами на главной диагонали порядка п, а Я - верхняя треугольная матрица порядка п.

Ьа)Яа)-алгоритм и ДТ-преобразования. Не вдаваясь в подробности, по аналогии ЬЯ-алгорит-ма для автономных матриц [4], представим соответствующую последовательность вычислительных операций с целью нахождения собственных значений-функций А;(0, = 1,п для неавтономных матриц А(?)=(аД0), г,у=1,п. Имеем [4]:

Шаг 1. Рассчитываются неизвестные элементы первой строки матрицы Я(/):

О1) = А1к (1), к =1 п

Шаг 2. Рассчитываются неизвестные элементы первого столбца матрицы Ь(/):

¿я(1) = Ап(1)/ Я„(1), г = 2, п.

Шаг 3. Рассчитываются неизвестные элементы второй строки матрицы Я(/):

Я2к (1) = А2к (1) - ¿21 (1)Я1к (1), к = 2, п

Шаг 4. Рассчитываются неизвестные элементы второго столбца матрицы Ь(/):

¿2 (1) = (А,2 (1) - А1 (1 )Я12 (1)) / Я22 (1), г = 3 п

Далее рассчитываются неизвестные элементы г-й строки матрицы Я(/):

г-1

Я, (1) = а, (1) -X А (1 )Як (1),

7=1

к > г > 1, г = 3, п, к = 2, п,

а затем - неизвестные элементы -го столбца матрицы Ь(/):

к -1

Ак (1) = (А, (1) -X ¿/(1 )Як (1))/ Як (1),

7=1

1 < к < г, г = 3, п, к = 2, п.

Чтобы получить собственные значения - функции А;(0, г=1,п матрицы А(/), надо рассчитывать также следующую последовательность:

АД?) = А(1), ЗД) = Я(1), ¿1(1) = ¿(1),

Ат+1(0 = (0 • 4 (1) , т = 1,2-,

и если т^да, тогда матрица Аи+1(0 становится диагональной, при которой ее диагональные элементы и являются собственными значениями функции матрицы А(/).

Очевидно, что использование Ь(/)Я(/)-алгоритма в приведенном виде при практических расчетах нецелесообразно или вообще невозможно (особенно при более или менее больших размерах матриц А(/)). Поэтому, имея ввиду неоспоримые преимущества дифференциальных преобразований [5] при реше-

нии неавтономных задач, для решения рассматриваемой проблемы в настоящей работе представим ДТ-аналог Ь(/)Я(/)-алгоритма с использованием дифференциально-тейлоровских (ДТ) преобразований [6]:

Х(К) = яЯ!^ ,

( ) !! =<,

К = 0,да Г х(?) = ¿1 ^ I • Х(К),

К=0 '

н

где Х(К - изображение (дискрета) оригинала х(/) (функция целочисленного аргумента К= 0,да); Н - некоторая постоянная (масштабный коэффициент); -центр аппроксимации; - - знак перехода из области оригиналов в область изображений и наоборот.

Математический аппарат ДТ-аналога Ь(1)Я(1)-алгоритма. С учетом [4] применительно к матрице Ф(7,0 имеем:

"ф®(т, 1) ф12)(т, 1) - ф«(г,о'

Фі(Т ,0) =

ф21(т, т) ф22 (т, т)

Ф„1 (Т, Т) Ф2(Т , Т)

ф21пП(т , т)

Ф£)(Т, Т)

где Ф ¡1)(Т,Р)=Фц(Т,Р), /,/'=1,и, а

нК

Ф1(Т, К) =----------х

1( , ) К!

5 кфі;)(г , т ) дК ФІ2)(Т, Т) д К Ф((П)(Т, Т)

д?к дТк дТк

5 кф211)(Т , Т) дК ф212)(т , Т) д К Ф21пП(Т, Т)

дтк дТк дТк

д КФП1і)(Т, Т) дК фП12(т , 0 д" Ф,С)(Т, Т)

дТк дТК дТК

К = 1, да.

Кроме того, согласно [2] имеем Ф(,1>(^+І)=Ф(І1)(І), 1=1,#, где q - некоторое число, зависящее от конкретных характеристик элементов исходной матрицы. ____

Далее, для каждой из Ф1(Г,Ж), К= 0,да матриц осуществим следующую последовательность вычислительных операций:

Шаг 1. Рассчитываем неизвестные элементы первой строки матрицы Л(К):

я* (К) = Ф 11)(т , К), к = К = 0Я

Шаг 2. Рассчитываем неизвестные элементы первого столбца матрицы ЦК):

4( к ) = |ф®(т , к )/Ліі( к )| = ф® (т, к) ф® (т, к - /) • л11 (/)

Ліі(0)

і = 2, п, К = 0, да.

х

Здесь и далее знак |^| - знак 7-деления [6].

Шаг 3. Рассчитываем неизвестные элементы второй строки матрицы Я(К):

Я2к (К) = Ф « (Т, К) - Ь21 (К) • (К) =

= Ф«(Г, К) -¿^(К -1) ^(I),

1=0

к = 2, п, К = 0, да.

Здесь и далее знак - знак Т - умножение (свертка) [6].

Шаг 4. Рассчитываем неизвестные элементы второго столбца матрицы ЦК):

[Ф «(Т, К) - Д К )„ • К)]

L 2(К) =

R22(K)

Ф(2)(T, K) -£l(к - /)„ • R^/) -

-E

/=1

V_______v

Ф(2)(T, K) -EL(k - ^)fl • R^)

-p=0

XR22(/ )

JJ

R22(0) i = 3, n, K = 0, да.

Rk(K) = Ф«(Г,K) - E(L (K) • Rk (K)) =

7=1

= Ф «(Г, K)-E fjTLj. (K - /) • Rjk (/) 1,

7=1 V/=0

k > i > 1, i = 3, n, k = 2, n, K = 0,да,

а потом - неизвестные элементы /-го столбца матрицы L(K):

Lk (K) =

Ф®(Г, K) -E (L( K )„• Rk (K))

7=1

Rkk (к)

V(T,K) -EÍ^L(K-/)7 • Rjk(/) V 1

7=1 V /=0 J

f

-E

V V kk

Ф«(Г, K)-E L( K - ^ Ryl (P

p=0

(/)

и, если т^да, то матрица Фт+1(Т,К) становится диагональной, а ее элементы являются собственными значениями А;(К), /=1,и матриц Ф1(Т,К), К= 0, да.

Собственные значения-функции А;(0, /=1,и матрицы Ф(Т,/) будем искать, используя обратные ДТ-преобразования [6], в соответствии с которыми

\К

A(t) = E

t- и

H

•А,. (K), i = 1,n.

Далее рассчитываем неизвестные элементы г-й строки матрицы R(K):

(0)_ _____________

1 < к < г, г = 3, п, к = 2, п, К = 0, да.

Чтобы получить собственные значения матриц Ф1(Т,К), К=0,да необходимо рассчитывать также следующую последовательность:

ФЯ+1(Г,К) = Л„(К) • ¿т (К), т = 1,2,3,

Пример. Рассмотрим матрицу

cos t 1 Ф(Т, t) = .

_ 0 sin t_

для которой очевидно Т=2п, A1(t)=cost, A2(t)=sint, а характеристические показатели имеют вид:

bi(t) = yln МО = ^lncos U

b2 (t) = 1 ln A2 (t) = -1 ln sin t.

Используя ДТ-преобразования (t0=0, Я=1) и отпустив период Т=2п, имеем: Ф1(Т,/)=Ф(Т,/), откуда:

Ф1(0) =

фЦ'1 (0) ф12) (0) ф2?(0) ф22 (0)

cos0 1 " "1 1"

_ 0 sin0 1 О | о

Ф1(1) =

Ф11'(1) Ф12Ч1)

ф21(1) ф22'(1).

- sin0 0" "0 0"

_ 0 cos0 0 1 _

ФД 2) =

Фіі (2) Ф12'(2) Ф 2? (2) Ф«(2).

1 - cos0 0" 1 "-1 0"

2! _ 0 - sin0 = 2! _ 0 0_

Ф1(3) = "фЦ)(3) _ф2?(3) Ф(1) Ф12 Ф(1) Ф22 1 1 (3) (3) =

1 sin0 0" 1 "0 0"

= 3! 0 - cos0 = 3! 0 -1

cos0 0" 1 "1 0"

_ 0 sin0 = 4! 0 0_

Ф1(4) =

1_

4!

Ф1( к) =

= (K - 4)! K!

Фп (4) Ф12'(4)

Ф 2? (4) Ф212)(4)

фЦ)(K) ф(2)(к)

ф211)(к) ф22 (к) _

Ф1(к-4), к =

Элементы первой строки матрицы R(0): Rii(0) = Ф11)(0) = 1, Ri2(0) = Ф 12)(0) = 1,

а элементы первых строк матриц Л(1), Л(2), Л(3), Л(4):

*п(1) = 0, ад = 0; ад =-1/2!, ад =0; ад = о, ад = 0; ад =1/4!, ад = о. Первый столбец матрицы ¿(0) имеет вид:

ад = 1, ¿21(0) = ф 2^(0)/ад|=0,

а элементы первых столбцов матриц ¿(1), ¿(2), 1(3), 1(4):

¿11(1) = 0, ¿21(1) = 0; ¿11(2) = 0, ¿21(2) = 0;

¿11(3) = 0, ¿21(3) = 0; ¿11(4) = 0, ¿21(4) = 0.

Теперь вычислим элементы второй строки матрицы Л(0). Имеем:

ад) = 0, ад) = ф 2?(0) - ¿21(0) ад = 0 - 0 = 0,

а элементы вторых строк матриц Л(1), Л(2), Л(3), Л(4): *21 (1) = 0, *22 (1) = 1; *21 (2) = 0, *22 (0) = 0; *21(3) = 0, *22(3) = -1/3!; *21(4) = 0, *22(4) = 0. Второй столбец матрицы ¿(0) имеет вид:

¿12(0) = 0, ¿22(0) = 1,

а элементы вторых столбцов матриц ¿(1), ¿(2), ¿(3), ¿(4):

¿12(1) = 0, ¿22(1) = 0; ¿12(2) = 0, ¿22(2) = 0;

¿12(3) = 0, ¿22(3) = 0; ¿12(4) = 0, ¿22(4) = 0.

Следовательно, матрицы Л(1), Л(2), Л(3), Л(4) и ¿(1), ¿(2), ¿(3), ¿(4) соответственно имеют вид:

* (0) =

"1 1" "0 0" '-1/2! 0"

_ 0 0 _ R (1) = _ 0 1 _ , R (2) = _ 0 0 _

"0 0 " "1/4! 0"

R (3) = 0 -1/3!_ , R (4) = _ 0 0 _

"1 0" "0 0" "0 0"

0 1 _ L (1) = 0 0 _ , L(2) = 0 0 _

L (0) =

На следующей итерации имеем:

"0 0" " 0 0"

L (3) = 0 0_ , L(4) = _ 0 0 _

1 1 0 0

Ф2(0) = R(0) L(0) =

Ф2(1) = R(1) L(0) + R(0) L(1) =

1 0 0 1 0 0 0 1

1 1 0 0_ "1 0 0 1

0 0 0 0

1 0 0 1 0 1

ф2(2)=

1 1 0 0_

= R(2) L(0) + R(1) L(1) + R(0) L(2) =

1/2! 0 0 0

1 0 1 + 1 0 0 1

0 1 0 1

0 0 0 0

"1 1" "0 0" 1 "-1 0"

0 0 1 1 0 0 1 = 2! _ 0 0_

ф2(3) = R(3) L(0) + R(2) L(1) + R(1) L(2) + R(0) L(3) =

"0 0 ' "1 0" + -1/2! 0' "0 0' +

0 -1/3!_ 0 1_ _ 0 0_ 0 0_

1 о 0 "0 0" + "1 1" "0 0" 1 1 о 0

0 1_ 0 0_ 0 0_ 0 0_ = 3! 0 -1_

ф2(4) = R(4) L(0) + R(3) L(1) + R(2) L(2) + R(1) L(3)

+R(0)L(4) =

1/4! 0 0 0 1/2! 0 0 0 1 1 0 0

10 0 1

1 о 0 + 1 о 0

0 0 0 1

0 0 0 0

1

0 0

0

1/3! 0 0 0 0 0

00 0 0

Так как очевидно, что

Ф2(0) = ф,(0), то Я(0) = 1, я2(0) = 0;

Ф2(1) = Ф1(1), Я А) = 0, ^(1) = 1;

Ф2(2) = Ф,(2), Я,(2) = -1/2!, Я2(2) = 0;

Ф2(3) = Ф.(3), Я(3) = 0,Я(3) = -1/3!;

Ф2(4) = ФД4), Я(3) = 1/4!,Я(3) = 0,

то в соответствии с обратными дифференциальнотейлоровскими преобразованиями получим:

A(t) = 1 -—t2 +—t4 + ■■■ = cos t,

2! 4!

Я7(t) = t -—t3 + — t5 + ■■■ = sin t.

2 3! 5!

Следовательно:

bj(t) = -1lncos t, b2(t) = ^lnsin t,

которые полностью совпадают с вышеприведенными точными аналитическими соотношениями.

Заключение. Предложенный ДТ-аналог Д/ЩО-алгоритма достаточно прост при реализации на ЭВМ и обычно требует меньше итерационных шагов, чем ДТ-аналог 0(ОЛ(О-алгоритма. Он может быть эффективно использован для вычисления характеристических показателей матриц монодромии неавтономных периодических матриц различных динамических систем для исследования вопросов устойчивости последних.

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

1. Афанасьев В.Н., Колмановский В.Б., Носов В.Р. Математическая теория конструирования систем управления. - М.: Высшая школа, 2003. - 615 с.

2. Василян А.К. К вычислению коэффициентов-функций собственных многочленов матриц монодромии на основе дифференциальных преобразований // Вестник Инженерной Академии Армении. - 2011. - Т. 8. - № 2. - С. 175-179.

3. Егоров А.И. Обыкновенные дифференциальные уравнения с приложениями. - М.: Физматлит, 2005. - 384 с.

4. Богачев К.Ю. Методы решения линейных систем и нахождения собственных значений. - М.: Изд-во МГУ, 1998. - 137 с.

5. Симонян С.О., Аветисян А.Г. Прикладная теория дифференциальных преобразований. - Ереван: Чартарагет, 2010. - 360 с.

6. Пухов ГЕ. Дифференциальные преобразования функций и уравнений. - Киев: Наукова думка, 1984. - 420 с.

7. Симонян С.О., Аветисян А.Г., Бадалян Г.А. рЯДП - алгоритм для разложения неавтономных матриц. // Вестник Инженерной Академии Армении. - 2004. - Т. 1. - С. 122-129.

Поступила 09.06.2011 г.

УДК 519.6

НОВОЕ СЕМЕЙСТВО КВАЗИСЛУЧАЙНЫХ ПОСЛЕДОВАТЕЛЬНОСТЕЙ

В.А. Орлов, В.И. Рейзлин

Томский политехнический университет E-mail: vir@tpu.ru

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

Ключевые слова:

Квазислучайные последовательности, двоичные, p-ичные иЛП-последовательности.

Key words:

Quasi-random sequences, binary, p-ary and an AS-sequence.

Равномерно распределенные последовательности с наилучшей (по порядку) асимптотикой часто называют квазислучайными. Именно такие последовательности (с некоторыми дополнительными свойствами равномерности) используют на практике для реализации алгоритмов Монте-Карло (так называемый метод квази-Монте-Карло), для вычисления многомерных интегралов, в случайном поиске, в задачах многокритериальной оптимизации, в планировании экспериментов и др. Свойства таких последовательностей и их исследование рассмотрены в [1-3]. В некоторых задачах, например таких, как построение равномерно распределенных векторов в конусе [4], важно не столько свойство независимости векторов, как свойство именно равномерности.

В настоящей статье рассматривается построение таких последовательностей для небольших п, где п - число членов последовательности.

Квазислучайными, в отличие от псевдослучайных, называют равномерно распределенные последовательности, элементы которых не обладают свойством независимости.

Последовательность Хп точек из ¿-мерного куба /=[0,1)х...х[0,1) называется равномерно распределенной в /, если для любого блока В=[а1,Ь1)х[а2,Ь2)х...х х[ай,Ьй), где 0<а;, Ь<1 выполняется соотношение

,■ I пБ |

11т -----= Ц (Ь, - а х

- 7Г

где Ц (Ь - а,) означает копроизведение. Другими

г=1

словами, последовательность равномерно распределена, если при больших п количество ее точек, попавших в какой-либо блок, пропорционально его объему. Если разбить куб на несколько равновеликих частей, то в каждой из них (при достаточно больших п) окажется примерно одинаковое число точек последовательности.

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

Семейство последовательностей, рассматриваемых в настоящей работе, обобщает двоичные последовательности Ван дер Корпута и Рота и ^-ич-ные последовательности Фора [5]. Эти последовательности в отечественной литературе называют, следуя И.М. Соболю [6-8], ЛП0-последовательно-стями. Не отступая от традиции, распространим это название и на наши конструкции, т. к. обозначение «ЛП» в нашем контексте может означать, что любой последовательный участок Хп хорошо распределен.

Пусть д=рп, гдер - простое число. Назовем #-ич-

ными отрезками ранга s интервалы — +

0,-

q