Главная » Просмотр файлов » Р. Лидл, Г. Нидеррайтер - Конечные поля. Т. 1 (1988)

Р. Лидл, Г. Нидеррайтер - Конечные поля. Т. 1 (1988) (1127099), страница 112

Файл №1127099 Р. Лидл, Г. Нидеррайтер - Конечные поля. Т. 1 (1988) (Р. Лидл, Г. Нидеррайтер - Конечные поля. Т. 1 (1988)) 112 страницаР. Лидл, Г. Нидеррайтер - Конечные поля. Т. 1 (1988) (1127099) страница 1122019-05-11СтудИзба
Просмтор этого файла доступен только зарегистрированным пользователям. Но у нас супер быстрая регистрация: достаточно только электронной почты!

Текст из файла (страница 112)

Пример. Условие т! > п„в формулировке теоремы 8.19' необходимо ввиду того, что существуют однородные линейные' рекуррентные последовательности й-го порядка, не являющиеся ' чисто периодическими, но содержащие я линейно независимых, векторов состояний. Пусть де, д,, ... — рекуррентная последова--' тельность 2-го порядка над полем Ке, являющаяся импульсной:", функцией и задаваемая рекуррентным соотношением д„„е = = с1„„, и — О, 1,,... Эта последовательность имеет вид О, 1, 1 1, ....

Очевидно, что векторы состояний д, и д, линейно незави-1 5 2. Импульсная функция, Характеристический иного»лен 507 симы над г», в то время как сама последовательность д, й„.„ не является чисто периодической (в данном случае и, = 1). Утверждение, обратное утверждению теоремы 8.!9, неверно. Чтобы показать это, рассмотрим линейную рекуррентную последовательность 3-го порядка в,, в„... над полем К„определяемую рекуррентным соотношением в„„= в„, и = О, 1, ..., с вектором начального состояния а, = (1, 1, 0). Тогда как сама последовательность з„, в„.„, так и соответствующая импульсная функция являются периодическими последовательностями г минимальным периодом, равным 3.

В то же время любые три вектора состояния последовательности в», в„... линейно зависимы над полем г,. ( ) Пусть ап во ... — линейная однородная рекуррентная последовательность к-го порядка над полем Г», удовлетворяющая линейному рекуррентному соотношению зо,с = а„,в,„, + а„»в„„, »+ .. Ф аов„, и = О, 1,..., (8 7) где аз Е Г», 0.(1~( й — 1. Многочлен 1 (х) = х" — а„,х' — ' — а„,х" — ' — — а, Е г (х) называется характеристическим многочленвм данной л инейной рекуррентной последовательности.

Ясно, что он зависит только от линейного рекуррентного соотношения (8.7). Если А — матрица, определенная в (8.3), то легко заметить, что 7' (х) совпадает с характеристическим многочленом матрицы А, как он определяется в линейной алгебре, т. е. 7' (х) = де1 (хà — А), где 1— единичная матрица размера й х й над полем К . С другой стороны, матрицу А можно рассматривать как сопровождающую матрицу нормированного многочлена ~ (х). В качестве первого применения понятия характеристического многочлена рекуррентной последовательности покажем, как в одном важном частном случае члены линейной рекуррентной последовательности могут быть явно выражены через коэффициенты многочлена 1(х), 8.21.

Теорема. Пусть в„ з» ... — однородная линейная ре"Уррентная последовательность й-го порядка над полем Г» и ! (х) — ее характеристический многочлен. Если корни а„..., иь много»лена 1' (х) все различны, то в" = ~()сиг, п=О, 1, ..., (8.8) /=! ()и ..., рд — различные элементы поля разложения много"»ена 1(х) над полем г», которые однозначно определяются нач"льными членами рекрррентной последовательности в„в,, ....

508 Гл. 8. Линейные ренуррентные последовательности Доказительство. Константы !)т, ..., ()„можно определить из системы линейных уравнений ~„а;"~! =- зн, и = О, 1,..., й — !. !:! Так как определитель этой системы является определителемр Вандермонда, который отличен от нуля ввиду условий, наложен-,, ных на а„..., ал, то элементы ()!, ..., 1)л опРеделЯютсЯ однозначно! и, как вытекает из правила Крамера, лежат в поле разложения":,:, К (а,, ..., аь) многочлена ((х) над полем Е . Теперь для того,'~, чтобы доказать равенство (8.8) для всех и ) О, достаточно прой,' верить, удовлетворяют лн рекуррентному соотношению (8,7) ' элементы из правых частей формулы (8.8) при ()„..., ()л, опреде,' ленных, как было указано выше. Но ~~ р;а," " — ал ! ~~ ();а,"Ч " ' — ае т ~ р!а,' " /=.! !=-! !=-! — с!е Е р!а!' = Е ()!~(а!) а! — — О е !=-! /=! для всех и ~~ О.

Тем самым теорема доказана. Пч 8.22. Пример. Рассмотрим линейную рекуррентную последо-' вательность лв, л, над полем К., задаваемую рекуррентным.' соотношением ь„,, =-- л„„+ л„, и =- О, 1, ..., и начальными зна*х е чеииями к, — — л! =- 1. Соответствующий характеристический мно-',', гочлен равняется ((х) =-- х' — х — 1 Е Ее !х).

Если К, = 1е (а)" то корнями'многочлена ) (х) являются а, — — а и ае — 1+ а.й! Учитывая начальные значения, получаем соотношения (), -г Ов =( == 1, (),а + !)е (! + а) =- 1 и, следовательно, р! =- а, ()е = 1 + а.!' Из теоремы 8.2! следует, что а„=- а"+' + (1+ а)"+' для всех,', и > О. Так как Рв == 1 для всех ненулевых () Р Г4, получаем," что л„„= ал для всех и ) О, что согласуется с тем, что минималь т ный период этой последовательности равен 3. П! 8.23. Замечание. Формула, аналогичная формуле (8.8), спра-' ведлива н в случае, когда кратность каждого корня многочлена, ) (х) не превосходят характеристики р поля !Ео. Рассмотрим этот-;! случай более подробно.

Пусть а,, ..., а„, — различные корни !) многочлеиа 1(х), и пусть каждый корень ас, !' = 1, 2, „ти,':; имеет кратность е, Р, Пусть г! -- 1, если а; — О. Тогда э„:= ~ Рт(и)а"с, и = О, 1..., т=! где Р,, !' — 1, 2, ..., и!, — многочлен степени не более чем а!,,:) коэффициенты которого однозначно определяются начальными 4 2. Импульсная функция. Характеристический миогочлеи 509 значениями последовательности и лежат в поле разложения многочлена ) (х) над полем К .

При этом целое число п естествен„ым образом отождествляется с соответствующим элементом поля Ке. Читатель, знакомый с дифференциальными уравнениями, заметит определенную аналогию с общим решением однородного линейного дифференциального уравнения с постоянными коэффициентами. [:) В случае когда характеристический многочлен является ненриводнмым, элементы линейной рекуррентной последовательности могут быть представлены с помощью соответствующей функции следа (определение функции следа и ее основные свойства приведены во второй главе, см. определение 2.22 и теорему 2.23). 8.24. Теорема.

Пусть зе, з,, ... — однородная линейная рекуррентнач последовательность я-го порядка над полем К вЂ” -- Кр, удовлетворяющая уравнению (8.7), а соответствующий характеристический многочлен ~ (х) является неприводимым многочленом над полем К. Пусть сс — корень многочлена 1" (х) в расширении Г:. К» поля К. Тогда существует однозначно определенный элемент О Е Р, такой, что з„= Тгрук(йач), и = О, 1, Доказательство. Так как элементы (1, сс, ..., ໠— ') образуют базис поля р" над К, то можно задать однозначно определенное линейное отображение ул р — К, полагая Е (сс") = ьи для и = — О, 1 ..., й — 1.

По теореме 2.24 существует однозначно определенный элемент 0 ~ р", такой, что Ь (у) =- Тгр~к (Оу) для всех т ~ р". В частности, =Тгрук(Осе), п=О, 1, ..., А — 1. Остается показать, что элементы Тгрук (Оа"), п = О, 1, ..., обРазуют однородную линейную рекуррентную последорательность с характеристическим многочленом 7' (х). Но если 7 (х) = х» — а„,х» — ' — — ае ~ К [х], то, используя свойства функции следа, получаем '1 ге;и (Оа".~-») — а» ~Тгрук (Ои"-ь» — ') — ° ° ° — аоТгрук (Осс") = = Тгрук(Оа"+» — а» 10а'+'-' — . — аьОсх") = = Тгрук(0апг(а)) = О для всех п ) О, П эхругие соотношения между линейными рекуррентными последовательностями и их характеристическими многочленами могут быть получены из следующего полиномиального тождества. 5!О Гл.

8. Линейные ренуррентные последовательности 8.25. Теорема. Пусть з, зг, ... — однородная линейная ре куррентная последовательность й-го порядка над полем Ко, уд, влстворюощая рекуррентному соотноиоению (8,7) и являющалс чисто периодической последовательностью с периодом «. Пуст ' ! (х) — характеристической многочлен втой последовательности: Тогда имеет место равенство 7 (х) з (х) =- (1 — х') й (х), где з (х) =- з,х' — ' + з,х' —" + + з„,х + з,, Е К [х[, е — ! о — ! — ! й(х) =-- ~ ~~ а!„!чгг!х! Е Ко [х[, аь = — 1. (8.10)' г=о г=о Доказательство. Сравним коэффициенты при одинаковых сте-.

пенях х в обеих частях равенства (8.9), Пусть с, (соответственно) й!) — коэффициент при х', 0 ( г ( й + « — 1, в левой (соответ4 отвеина правой) части равенства (8.9). Так как )(х) = — ~'„агхгт! !=о получаем с! = — ~~~ а!в«! !ь 0 (1(Й+« — 1. (8.11 оч!«ю о:!«« — ! !+!=! Заметим, что линейное рекуррентное соотношение (8.7) мож быть также записано в виде а!з„„=О для всех п)~0.

(8.12 ' !=о Выделим теперь для отдельного рассмотрения следующие четыре. случая. Если й ( 1 ( « — 1, то из (8.11) и (8.12) следует с,= — ~ а!зт ! о,!=-О=й!, -о Если ! .: « — 1 н ! ( К то из (8.11), (8.12) и периодичности нашей, последовательности получаем л Х~ а!з~-г-М~! = 2л! а!в~ !-ое! = $=0 ! —.!+! А е — ! — ! Е а!з!-о-! = Х а! о!.тг! = й!. (=-!+! !=о Если г ) «и ! ) я, из (8.11) следует, что а е — ! — е-!-« с! — -- — ~~ а!з, ! о,! — — — ~~ аса «,гз! = й!. !'=! — ~-~.1 !=о е 2.

Характеристики

Тип файла
DJVU-файл
Размер
14,01 Mb
Тип материала
Высшее учебное заведение

Список файлов книги

Свежие статьи
Популярно сейчас
А знаете ли Вы, что из года в год задания практически не меняются? Математика, преподаваемая в учебных заведениях, никак не менялась минимум 30 лет. Найдите нужный учебный материал на СтудИзбе!
Ответы на популярные вопросы
Да! Наши авторы собирают и выкладывают те работы, которые сдаются в Вашем учебном заведении ежегодно и уже проверены преподавателями.
Да! У нас любой человек может выложить любую учебную работу и зарабатывать на её продажах! Но каждый учебный материал публикуется только после тщательной проверки администрацией.
Вернём деньги! А если быть более точными, то автору даётся немного времени на исправление, а если не исправит или выйдет время, то вернём деньги в полном объёме!
Да! На равне с готовыми студенческими работами у нас продаются услуги. Цены на услуги видны сразу, то есть Вам нужно только указать параметры и сразу можно оплачивать.
Отзывы студентов
Ставлю 10/10
Все нравится, очень удобный сайт, помогает в учебе. Кроме этого, можно заработать самому, выставляя готовые учебные материалы на продажу здесь. Рейтинги и отзывы на преподавателей очень помогают сориентироваться в начале нового семестра. Спасибо за такую функцию. Ставлю максимальную оценку.
Лучшая платформа для успешной сдачи сессии
Познакомился со СтудИзбой благодаря своему другу, очень нравится интерфейс, количество доступных файлов, цена, в общем, все прекрасно. Даже сам продаю какие-то свои работы.
Студизба ван лав ❤
Очень офигенный сайт для студентов. Много полезных учебных материалов. Пользуюсь студизбой с октября 2021 года. Серьёзных нареканий нет. Хотелось бы, что бы ввели подписочную модель и сделали материалы дешевле 300 рублей в рамках подписки бесплатными.
Отличный сайт
Лично меня всё устраивает - и покупка, и продажа; и цены, и возможность предпросмотра куска файла, и обилие бесплатных файлов (в подборках по авторам, читай, ВУЗам и факультетам). Есть определённые баги, но всё решаемо, да и администраторы реагируют в течение суток.
Маленький отзыв о большом помощнике!
Студизба спасает в те моменты, когда сроки горят, а работ накопилось достаточно. Довольно удобный сайт с простой навигацией и огромным количеством материалов.
Студ. Изба как крупнейший сборник работ для студентов
Тут дофига бывает всего полезного. Печально, что бывают предметы по которым даже одного бесплатного решения нет, но это скорее вопрос к студентам. В остальном всё здорово.
Спасательный островок
Если уже не успеваешь разобраться или застрял на каком-то задание поможет тебе быстро и недорого решить твою проблему.
Всё и так отлично
Всё очень удобно. Особенно круто, что есть система бонусов и можно выводить остатки денег. Очень много качественных бесплатных файлов.
Отзыв о системе "Студизба"
Отличная платформа для распространения работ, востребованных студентами. Хорошо налаженная и качественная работа сайта, огромная база заданий и аудитория.
Отличный помощник
Отличный сайт с кучей полезных файлов, позволяющий найти много методичек / учебников / отзывов о вузах и преподователях.
Отлично помогает студентам в любой момент для решения трудных и незамедлительных задач
Хотелось бы больше конкретной информации о преподавателях. А так в принципе хороший сайт, всегда им пользуюсь и ни разу не было желания прекратить. Хороший сайт для помощи студентам, удобный и приятный интерфейс. Из недостатков можно выделить только отсутствия небольшого количества файлов.
Спасибо за шикарный сайт
Великолепный сайт на котором студент за не большие деньги может найти помощь с дз, проектами курсовыми, лабораторными, а также узнать отзывы на преподавателей и бесплатно скачать пособия.
Популярные преподаватели
Добавляйте материалы
и зарабатывайте!
Продажи идут автоматически
6537
Авторов
на СтудИзбе
301
Средний доход
с одного платного файла
Обучение Подробнее