Оглавление
Введение 5
1 Нормальные теплицевы матрицы 19
1.1 Критерии нормальности теплицевых матриц..................... 19
1.2 Доказательство необходимости............................... 27
1.2.1 Вспомогательные леммы............................ 28
1.2.2 Вазовое утверждение.............................. 33
1.2.3 Типы четверок и соответствующие множества матриц . 41
1.2.4 Анализ построенных множеств...................... 46
1.3 Доказательство достаточности............................... 58
1.4 Построение нормальных теплицевых матриц.................... 60
Выводы главы 1 62
2 Нормальные ганкелевы матрицы 63
2.1 Критерий нормальности комплексной ганкелевой
матрицы.................................................... 63
2.2 Доказательство критерия нормальности....................... 70
2.2.1 Вспомогательные операции......................... 70
2.2.2 Переход к соответствующей теплицевой матрице .... 71
2.2.3 Малоранговый случай.............................. 76
2.2.4 Полноранговый случай ............................... 86
2.3 Конструирование нормальных ганкелевых матриц...............115
Выводы главы 2 128
2
3 Сопряженно-нормальные теплицевы матрицы 129
3.1 Критерий сопряженно-нормальности
теплицевой матрицы....................................... 129
3.2 Доказательство критерия
сопряженно-нормальности...................................130
3.3 Пересечение множеств нормальных и сопряженно-нормальных теилицевых матриц............................................ 139
3.4 Генерация сопряженно-нормальных теилицевых
матриц...................................................143
Выводы главы 3...............................................147
4 Нормальные и сопряженно-нормальные (Т + Я)-матрицы 148
4.1 Особенности задачи ......................................148
4.2 Нормальные (Т + Я)-матрицы...............................150
4.2.1 Получение системы уравнений.......................150
4.2.2 Частные случаи нормальных (Т + Я)-матриц..........151
4.3 Сопряженно-нормальные (Т 4- Я)-матрицы....................156
4.3.1 Получение системы уравнений.......................156
4.3.2 Частные случаи сопряженно-нормальных
(Т -I- Я)-матриц .................................159
Выводы главы 4................................................164
Заключение 165
3
Посвящается моей маме, Чугуповой Татьяне Михайловне
Введение
Описание пересечения двух матричных классов — типичная задача линейной алгебры. Известным примером служит критерий Сильвестра (|1|), устанавливающий условия, при которых вещественная симметричная матрица является одновременно положительно определенной.
Множество нормальных матриц представляет собой матричный класс, обладающий целым рядом замечательных свойств. Это унитарная диагонализуемость, существование ортонормированного базиса из собственных векторов, наличие известных оценок на возмущение спектра через возмущение элементов, на спектральный радиус (см. [4, 10, б]). Иметь дело при вычислениях с такими матрицами намного приятнее.
Вместе с этим на практике часто приходится иметь дело с матрицами, имеющими определенную структуру. Это могут быть ленточные, теплицевы, ганкелевы матрицы и т.д. Как правило, структурированные матрицы однозначно определяются значительно меньшим числом параметров по сравнению с общим количеством элементов в матрице. Это натолкнуло на мысль о возможной простоте множеств нормальных матриц, имеющих определенный вид, и привело к возникновению чисто алгебраической задаче характеризации нормальных матриц среди матриц конкретной структуры. Решение этой проблемы для некоторых видов структурированных матриц, как получение классификаций, является главным результатом, представляемым в диссертации.
Основными видами структурированных матриц, рассматриваемых в работе, являются теплицевы, ганкелевы и (Т 4- Я)-матрицы. Также будут ис-
5
пользованы частные их виды, как хорошо известные, так и недавно введенные в публикациях [28, 48, 49, 34).
Пусть II — множество действительных, а С — комплексных чисел. Обозначим через Л/п(К) и Мп{С) — множества соответственно вещественных и комплексных п х п-матриц; г — стандартное обозначение для мнимой единицы.
Тепяицевой называется матрица Т Е Ми(К) или Т Е Мп(С) вида
( *0 • <„-Л
1-1 ^0 П ••. ^п-2
Т = 1-2 £-1 <0 • • • £«-3
\ ^-п+1 Ъ-П+2 1-п+3 ^0 /
Всякая теплицева матрица имеет элементы, зависящие лишь от разности столбцового и строчного индексов,
{Т}м = М = 1,2,...,п, (0.2)
и, поэтому, однозначно определяется элементами первой строки и первого столбца.
Впервые эти матрицы были исследованы немецким математиком Отто Теплицем (01.08.1881 - 15.02.1940), проводившем свои разработки в Бонне. Основные его труды относятся к теории интегральных уравнений, линейной и полилинейной алгебре (см. |65, 66]). Также в 1911 году Теплиц нашел необходимые и достаточные условия, которым должна удовлетворять бесконечная треугольная матрица ||ат„!| (где атп = 0 при п > т) для того, чтобы метод суммирования расходящихся числовых'рядов
т
5 — Пт СГтт &т ~ / &тпЗп >
т-> оо с—'
п= 1
где «5П = ао + ... 4- ап — частичная сумма рассматриваемого ряда, был регулярен. Однако, среди объектов, связанных с именем Теплица, основной интерес будут представлять именно теплицевы матрицы.
б
Различные вопросы, относящиеся к теплицевым матрицам и их роли в математических проблемах, исследовались многими авторами и нашли свое отражение в многочисленных статьях и хорошо известных монографиях (3, 38, 15, 7|. 11оследние десятилетия были отмечены активным интересом к численному решению задач с теплицевыми матрицами и «близкими» к ним |3, 39. 40, 41, 42, 9]. Эти задачи связаны с актуальными вычислительными проблемами прикладной электродинамики, акустики, оптики, автоматического регулирования, обработки изображений, дифференциальных и интегральных уравнений, теории вероятностей ([62, 61, 2, 51, 36)). В ряде случаев требовалось получить максимально быстро решение, в других — необходимо было рассматривать матрицы большого порядка и, следовательно, решать сложные вопросы экономного расходования машинной памяти и, конечно, времени.
Исследование задач с матрицами типа, теплицевых и разработка методов их решения продолжают активно развиваться ([63, 64|). Существует множество задач, которые ждут своего решения. Так, в задачах дифракции на пространственно-ограниченных неоднородностях, в тех случаях, когда длина падающей волны соизмерима с характерными размерами рассеивателя, как правило, решают численно интегральные уравнения или системы уравнений. Обычно эти уравнения сводятся к системам линейных алгебраических уравнений, и в случае сравнительно больших неоднородностей, особенно в трехмерных задачах, необходимо решать системы очень высокого порядка. В большинстве публикаций описываются расчеты либо для тел малых размеров, либо для особых типов возбуждений ([18)). Однако, для тел специальной формы путем подходящего выбора узлов можно свести задачу к решению системы линейных алгебраических уравнений весьма специального типа. На этом пути увеличение размеров тел находится в прямой зависимости от того, насколько эффективно применяемые численные методы линейной алгебры работают с соответствующими матрицами.
7
Помимо решения систем, здесь возникают и другие задачи алгебры. Чтобы исследовать зависимость токов и полей от большого числа различных возбуждений, нужен эффективный способ решения систем с большим числом правых частей ([9, 37)). Для выявления резонансных случаев требуется решать спектральные задачи ((13, 14]). При рассмотрении интегральных уравнений 1-го рода возникают некорректные задачи ([51, 36)). Кроме того, специфика матриц вносит нередко дополнительные особенности (симметрию, ленточность и т.д.), которые позволяют строить еще более эффективные методы. В упомянутых задачах и возникают теплицсвы матрицы.
Хорошо известными частными случаями геплицевых матриц являются циркулянты и косые циркулянты. Теплицева матрица (0.1) называется циркулянтом, если
(0.3)
или поэлементно
( к) и ^'2 • * г«-1 \
^п-1 к 1\ . . ^п—2
т = кг-2 *0 • • кг-З
\ *1 ^2 £з . . *0 )
1-з ~ кг-]) 3 = 1,2,. . . ,11 - 1
(0.4)
Косым циркулянтом называется теплицева матрица (0.1), записанная
как
или
( к, и г2 . • <*-1 \
~кг-1 *0 и • • кг- 2
Т = ^п-2 —кг-1 ^0 • • £п-3
^ -ч ^2 • ^0 /
3 = 1,2,. . ,71 - 1.
(0.5)
(0.6)
8
— тенлицевы матрицы вида
или
( к ^1 ^2 • • ^п-1 ^
фйп-1 ^0 *1 . . *п-2
Т = Фtn-2 фЬп — 1 £о • ■ ^п—3
\ 4& 1 фь 2 фt 3 .. *0 /
^-3 2 = фЬп^, 7 = 1,2,.. .,п- 1,
(0.7)
(0.8)
где ф € С.
Новыми частными случаями теплицевых матриц будут двухпараметрические и разделяющиеся циркулянты, а также А-симметричные матрицы. Теплицеву матрицу вида (0.1) будем называть двухпараметрическим (или (ф,ф)-) циркулянтом, характеризуемым (вещественной) 2 х 2-матрицей
IV =
а 13
с определителем
если выполнены соотношения
7 5
аб - /?7 = 1,
(0.9)
(0.10)
t—j фtn-j ■+■ 3 — 1,2,... л 1,
(0.11)
где
^ а + 6 , ф = —г ь г-
а-8 /3-\- 7
ф = —-— + г-
(0.12)
2 ' 2 т 2 ' ' 2 Множество таких матриц будем обозначать символом С(ф,ф). При ф = О
формулы (0.11) описывают хорошо известный класс ^-циркулянтов.
Пусть фиксирована вещественная невырожденная 2 х 2-матрица
V =
Уц VI2
У'21 У'2'2
(0.13)
9
Скажем, что к классу С(ф, ф) применено V-преобразование, если всякая матрица
Г = 7\+гТ2, Т€С(ф,ф), (0.14)
заменена матрицей
Т = Т\ + гТ2 = (уцТ\ + ^21 Гг) + ^(^12^1 + ^22^2). (0.15)
В диссертации показано, что Т будет принадлежать классу С(ф, ф), характеризуемому матрицей IV = У~1\УУ.
Теплицеву матрицу Т £ Мп(С) назовем разделяющимся циркулянтом, если в представлении Т = Т\ + гТ2 слагаемое 7\ является ^-циркулянтом для некоторого числа £ € Я, ?7^0,аТ2 — £-1 -циркулянтом.
Теплицеву матрицу (0.1) будем называть \-симметричной, если
= А£л у = 1,2, 1. (0.16)
Это своеобразное обобщение определений симметричной (Л = 1) и кососимметричной (Л = — 1) теплицевых матриц.
Другим множеством структурированных матриц, рассматриваемым в работе, является совокупность ганкелевых матриц.
Гапкелевой называется матрица Я £ А/П(К) или Я £ МП(С), элементы которой зависят лишь от суммы огромного и столбцового индексов:
^ />п-1 /*71-2 /*71-3 /го ^
Кг-2 /*тг—3 Л-п-4 /г_1
Я = Ь-п—з /&п-4 /*7»—5 /1-2
\ ^0 /1-1 Н—2 • • /*•—(п-1) /
или
{Н}к,у = ^п+1-(Л-Л:)1 = !»--•> ТЬ. (0.18)
Ганкелева матрица однозначно определяется элементами первой строки и последнего столбца.
10
Эти матрицы связаны с именем немецкого математика Германа Ганкеля (14.02.1839 - 29.08.1873), работавшего в Эрлангене и Тюбингене. Ему принадлежит ряд формул теории цилиндрических функции. Ганкель известен работами в области основания арифметики, комплексного анализа, кватернионов, интегральных преобразований, линейной алгебры ([57, 58]). Однако, для меня наибольший интерес представляют сами ганкелевы матрицы.
В журнальной литературе накопилось большое количество результатов, относящихся к алгебре ганкелевых матриц и форм. Эти результаты складываются в довольно стройную теорию, истоки которой находятся еще в мемуарах Г. Фробениуса [53, 54]. О матрицах вида (0.17) некоторые сведения можно почерпнуть из работы Ф. Р. Гантмахера [4].
Ганкелевы матрицы широко используются в алгебре, теории вероятностей, в анализе и теории функций ([7, 15, 38, 43]) .
Важную роль в теории динамических систем играет интеграл свертки, связывающий реакцию динамической системы с входным сигналом. Если эту связь записать в матричных обозначениях, то вход и выход будут связаны именно ганкелевой матрицей ([19]).
В последние годы обнаружились глубокие аналогии, а также прямые связи между теплицевыми и ганкелевыми матрицами. Именно эти аналогии явились тем ориентиром, который помог разобраться в сложных вопросах, затрагиваемых в диссертации.
Для ганкелевых матриц тоже, как и для тенлицевых, определены понятия гапкелевого циркулянта, если
— hn-JJ j — 1,2,...,71 1
(0.19)
гапкелевого косого циркулянта при
Ь'-] — ^7\--ji 3 — 1,2,..., 71 1,
(0.20)
и гапкелевого ф-циркулянта, когда
— фЬп—у, у — 1, 2,..., ть 1
(0.21)
И
фе с.
(Т 4- Н) -матрицей является матрица, представимая в виде суммы тепли цевой и ганкелевой. Если при этом оба слагаемых являются соответствующими циркулянтами, то такую (Т + Н)-матрицу будем называть (Т + Я)-циркулянтом, а когда теплицева и ганкелева матрицы представляют собой косые циркулянты, — косым (Т 4- Я) -циркулянтом.
Для указанных основных типов структурированных матриц в диссертации будут исследованы вопросы, связанные с их пересечением с множеством нормальных матриц. Все результаты представляют собой критерии нормальности в некотором конкретном множестве структурированных матриц. Условимся доказательства этих критериев называть решением нормальной задачи для исследуемого типа матриц.
Самой простой среди задач классификации нормальных матриц, обладающих определенной структурой, является нормальная теплицева задача (НТЗ), заключающаяся в описании матриц, являющихся теплицевыми и нормальными одновременно, т. е. матриц 71, подчиняющихся условию
ТТ* = ТТ. (0.22)
Решению НТЗ посвящена глава 1 диссертации. Сначала, в первом разделе, дан экскурс в историю исследования рассматриваемой задачи, приведены формулировки критериев нормальности теплицевой матрицы как в вещественном, так и в комплексном случае, а также их бесконечномерный аналог. В конечномерном случае эти критерии представляют собой краткое описание четырех видов вещественных нормальных теплицевых матриц и двух классов их комплексных обобщений. Хотя существуют различные решения НТЗ. о которых обязательно упомянем, в оставшейся части главы приведем еще одно решение НТЗ, основанное на теории множеств.
В отличие от НТЗ более сложной является нормальная ганкелева задача (НГЗ), в которой требуется указать все виды комплексных матриц, являю-
12
щихся одновременно нормальными и ганкелевыми, т.е. матриц Н с условием
НН9 = Н'Н. (0.23)
Подчеркнем, что данная задача имеет смысл лишь в поле комплексных чисел, так как произвольная вещественная ганкелева матрица всегда является нормальной в силу симметричности. Получению решения ПГЗ отведена глава 2.
Процесс нахождения требуемых ганкелевых матриц отражен в первом разделе второй главы. В этой части диссертации сформулированы десять классов нормальных ганкелевых матриц.
11а. самом деле, ПГЗ эквивалентна системе квадратичных уравнений относительно элементов двух вещественных теплицевых матриц. Поэтому для нахождения нормальных ганкелевых матриц нужно определить все случаи, когда соответствующая система разрешима, и в каждом из них найти решения. Приведенное во втором разделе полное решение НГЗ представляет из себя изложение подхода, позволившего получить все классы нормальных ганкелевых матриц в рамках единой схемы и доказать отсутствие других подходящих матриц. Данный подход основан на переходе от ганкелевых матриц к теплицевым путем перестановки столбцов в обратном порядке и переформулировании условия нормальности ганкелевой матрицы в эквивалентное соотношение для полученной теплицевой матрицы. На основании нового условия удалось сформировать такие две (п - 1) х 2-матрицы Т и $, что для всех возможных соотношений между их рангами эти матрицы позволили выделить такие подмножества теплицевых матриц, в которых оказалось не сложно найти классы, дающие при перестановки столбцов все нормальные ганкелевы матрицы. Перебор всех случаев соотношений между рангами 7 и 5 гарантирует построение полного решения НГЗ.
Наряду с нормальными матрицами, т. е. диагонализуемыми унитарными подобиями, в алгебре определенный интерес вызывают матрицы, которые могут быть приведены к диагональным унитарными конгруэнциями, т. е.
13
преобразованиями типа
А —>(21А(Э
с унитарной матрицей С}. Такие матрицы удовлетворяют условию
АЛ* = ЛМ (0.24)
и называются сопряженно-нормальными. Исследованию их свойств посвящены работы [25), [35].
Получив пересечение множеств нормальных и некоторых видов структурированных матриц, встал вопрос о том, какие матрицы, обладающие специальной структурой, будут также сопряженно-нормальными. И первая рассматриваемая в диссертации задача этого типа — сопряэ1сенно-пормалънал теплицева задача (СНТЗ), определяемая как проблема описания матриц, являющихся теплицевыми и сопряженно-нормальными, или матриц Т с условием (0.24). Решение СНТЗ, а также рассмотрение пересечения нормальных, сопряженно-нормальных и теплицевых матриц являются целями главы 3. В отличие ол' двух предыдущих глав здесь не дается исторического экскурса, поскольку СНТЗ была поставлена и полностью решена в |49|, а пересечение множеств нормальных и сопряженно-нормальных теплицевых матриц представлено в [32].
В первом разделе третьей главы формулируются семь классов сопряженно-нормальных теплицевых матриц и описывается способ их получения, как полное решение СНТЗ. Сущность решения данной задачи заключается в выделении подмножеств теплицевых матриц, для которых матрица ТТ* — Т*Т сама является теплицевой. В этом помогает работа [56], где для теплицевых матриц А, В, С и И формулируются условия теплицевости АВ — СО. Для каждого из выделенных подмножеств нахождение в них сопряженнонормальных теплицевых матриц становится несложной задачей.
Для ганкелевых матриц подобная задача не имеет смысла, так как любая ганкелева матрица в силу симметричности будет сопряженно-нормальной.
14
Имея два класса нормальных и семь сопряженно-нормальных теплице-вых матриц, во втором разделе третьей главы строятся шесть классов матриц, являющихся нормальными, сопряженно-нормальными и теплицевыми одновременно. Построение такого пересечения оказалось возможным из-за простоты классов нормальных теплицевых матриц.
В заключительной четвертой главе рассматриваются еще две задачи классификации. Это нормальная теплиц-плюс-ганкелева задача (НТ+ГЗ), заключающаяся в классификации нормальных матриц, представимых в виде суммы теплицевой и ганкелевой, и сопряженно-нормальная теплиц-плюс-ганкелева задача (СНТ+ГЗ) описания соответствующих (Т + Я)-матриц. Последние две задачи — самые сложные среди описываемых в диссертации. Они пока не имеют полного решения и представляют собой огромное поле деятельности для дальнейших исследований.
Несложно видеть, что классы нормальных теплицевых и нормальных ган-келевых матриц являются частными классами нормальных теплиц-плюс-ганкелевых матриц. Действительно, любая нормальная теплицева матрица, сложенная с нулевой ганкелевой, и всякая нормальная ганкелева матрица в сумме с нулевой теплицевой являются подходящими (Т + Я)-матрицами. Аналогичное можно утверждать и о СНТ+ГЗ. Любая сопряженно-нормальная теплицева матрица, сложенная с нулевой ганкелевой, и всякая ганкелева матрица в сумме с нулевой теплицевой дают сопряженно-нормальные (Т + Я)-матрицы. Такие классы разумно назвать тривиальными. Множество нетривиальных классов пока мало. В разделах втором и третьем данной главы сформулированы и доказаны теоремы, дающие условия, при которых (Т + Я)-циркулянты и косые (Т + Я)-циркулянты являются нормальными и сопряженно-нормальными соответственно. Эти теоремы предварены небольшими несложными выкладками, которые упрощают условия нормальности и сонряженно-нормальности (Т + Я)-матрицы в случае (Т +Я)-циркулянтов и косых (Т + Я)-циркулянтов.
15
- Київ+380960830922