WWW.KNIGI.KONFLIB.RU

БЕСПЛАТНАЯ ЭЛЕКТРОННАЯ БИБЛИОТЕКА

 
<< HOME
Научная библиотека
CONTACTS

Pages:     | 1 |   ...   | 15 | 16 || 18 | 19 |   ...   | 93 |

«ТРУДЫ XI МЕЖДУНАРОДНЫХ КОЛМОГОРОВСКИХ ЧТЕНИЙ Ярославль 2013 УДК 51; 51:372.8; 51(091) Печатается по решению редакционноББК 22.1 я434 издательского совета ЯГПУ им. К. Д. ...»

-- [ Страница 17 ] --

Так, например, при смене базиса с помощью матрицы перехода T матрица X оператора действующего в Cn, и матрица H, задающая невырожденную полуторалинейную функцию на Cn Cn изменяются по закону Соотношения (1) и (2) приводят, в частности, к следующим эквивалентностями: X H = H 1 X H Для формулировки задачи классификации в [1], нам потребуется каноническая форма Hсамосопряженной над C матрицы A. Её вид приведен, например, в [2].

Теорема 1. Пусть H – невырожденная эрмитова n n матрица, A – H-самосопряженная n n матрица (AH = A). Тогда существует невырожденная матрица T над C и такая, что матрицы A := T 1 AT и H := T HT имеют вид где 1,..., – вещественные, а +1,..., – невещественные, имеющие положительные мнимые части, числа, и Здесь Jki (i ) – жорданова клетка размеров ki ki, отвечающая собственному числу i, i = 1, или i = 1, Qki – матрица размеров ki ki вида Пара (A, H ) определена однозначно с точностью до синхронной перестановки блоков (Jki (i ), i Qki ) или ([Jkj (j ) [Jkj (j )], Q2kj ) пары из (3) и (4).

Полное доказательство теоремы Б. Райхштейна можно найти, например, в работе (3), мы же приведем здесь лишь её формулировку.

Теорема 2 (Б. Райхштейн). Пусть A – H-самосопряженная нильпотентная матрица с элементами из C; канонический вид пары (A, H ) описан в теореме 1. Пусть k1 жордановых блоков размера n1 n1, из которых первые k1 блоков имеют = 1 и последние k1 = k1 k блоков имеют = 1; k2 жордановых блоков размера n2 n2, из которых первые k2 блоков имеют = 1 и последние k2 = k2 k2 блоков имеют = 1; ;... ; ks жордановых блоков имеют = 1. Пусть и пусть V – собственное подпространство A, т.е. AV = 0. Тогда существует базис Cn состоящий из векторов такой, что (I) базис (7) – канонический для A, т.е., A eijt = ei1,jt (e0jt = 0) и и (II) существует однозначно определённая 3 s матрица, элементы которой суть неотрицательные числа, вида 0 0 и такая, что а подпространство V := T 1 V есть Следствие 1. Любая 3 2s матрица состоящая из неотрицательных целых чисел, удовлетворяющих соотношениям (6) и (9), определяет с точностью до перестановки блоков каноническую тройку (A, H, V ). Здесь A имеет вид (3) с i = 0, i = 1, 2,...,, H –вид (4), причем слагаемые с номерами + 1, + 2,..., отсутствуют, а V имеет вид (10).

то матрица M из (11) имеет вид:

Большаков Ю.И. Об одной комбинаторной задаче классификации подпространств ядра H-самосопряженной матрицы где из (8).

2. Задача, которая будет решена в настоящей статье, состоит в следующем. Дана матрица П вида (12), в которой числа ni, ki, ki (i = 1, 2,. .., s) из теоремы 2. Нужно найти число матриц вида (8) (или, что равносильно, число матриц M вида (11), где П задана), в которых элементы li, li, li суть неотрицательные целые, удовлетворяющие соотношениям (9). Априори ясно, что число таких матриц конечно. Заметим, что сформулированная выше задача, равносильна следующей.

Дана нильпотентная H-самосопряженная матрица A, канонический вид которой описывается с помощью матриц П из (12). Два подпространства V1, V2 Ker A назовём эквивалентными, если существует H-унитарная матрица и такая, что U A = AU, U (V1 ) = V2. В работе [3] показано, что число таких классов эквивалентности конечно и равно числу решений системы неравенств (9), т.е. числу матриц M вида (11) с заданной матрицей textП вида (12) и неизвестной матрицей вида (8). Получим формулу, выражающую число матриц M вида (11). С этой целью найдём сначала число H-унитарно неэквивалентных подпространств L Rn, если p – положительный индекс инерции H, m – отрицательный индекс инерции H; p m, p + m = n.

Лемма 1. Число неэквивалентных подпространств H-унитарного пространства Rn равно где p – положительный, m – отрицательный индекс инерции функции [x, y] := y Hx, p + m = n (случай p m).

Доказательство. Вычислим число H-унитарно неэквивалентных подпространств L для каждой размерности dim L.

0. dim L = 0. Число подпространств: 1.

1. dim L = 1. Число подпространств: 3, ибо число "+", "", "0"суть: (1, 1, 1).

2. dim L = 2. Число подпространств: 6 = C3 = C3+21 = C4 = 4·3.

3. dim L = 3. Число подпространств: 10 = C3 = C5 = C5.

4. dim L = 4. Число подпространств: 15 = C4 = C4 = C6.

··· p 1). dim L = p 1. Число подпространств: p(p+1) = C3 = Cp+1 = Cp+1.

3k + 2) = 1 ( 1 p(p = 1)(2p + 1) + 3 p(p+1) + 2(p + 1)) = 6 (p + 1)(p + 2)(p + 3). Таким образом, число неэквивалентных подпространств L, размерности dimL p, есть Вычислим теперь число подпространств L, размерность которых ограничена в пределах:

Введем следующие обозначения: = (L) – положительный индекс инерции H|L, µ := µ(L) – отрицательный индекс инерции H|L, := (L) – дефект H|L. Ясно, что + µ + = dim L, p, µ m, p – максимальное число нулей H|L.

p+1). dim L = p+1. Если бы было = p+1, то число подпространств равнялось бы C 3, но нужно выкинуть те, которые отвечают µ = 0 (число задействованных плюсов p + 1 в каждый (p + 1)-ке), т.е. присутствуют лишь плюсы и нули, таких будет C 2. Таким образом, число неэквивалентных подпространств размерность которых равно p + 1, равно C 3 C 2 = Cp+3 Cp+2 = Cp+2.

нужно выкинуть те (p + 2)-ки, у которых µ = 0 (p + 2 плюса) и µ = 1 (p + 1–плюс). Таким образом, число неэквивалентных подпространств равно C 3 C 2 C 2 = Cp+2.

··· m). dim L = m. Если бы было = m = p(m p), то число неэквивалентных подпространств равнялся бы C 3. Но нужно выкинуть те m–ки, у которых µ = 0 (m-плюсов), µ = 1 (µ1-плюсов),..., µ = m p 1 (p + 1-плюс). Таким образом, число неэквивалентных подпространств равно C 3 C 2 C 2 · · ·C 2 = Cm+2 Cm+1 Cm · · ·Cp+2 = (m+2)(m+1) (m+1+m+· · ·+p+2) = m2 +3m+ Итак, если dim L удовлетворяет двойному неравенству (16), то число всех неэквивалентных подпространств, размерность которых удовлетворяет (16), равно Cp+2 (m p).



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

Именно, согласно задаче 1895 книги [4, c. 245] сумма dim V + dim V = n и того факта, что (V1 ) = V [5, c. 339] из H–унитарности подпространств L и L следует H–унитарность их ортогональных дополнений: L и L [6, c. 29].

Заметим, что V V – вполне изотропное подпространство в Rn, т.е. H|V V = 0. Из вышеприведенных соображений следует, что отображение подпространств f : V V биекция.

В самом деле, инъективность f следует из следующих соображений. Если f (V1 ) = f (V2 ), т.е.

V1 = V2, откуда (V1 ) = (V2 ), и, следовательно, V1 = V2. Сюръективность отображения f получается так. Пусть W Rn, рассмотрим f (W ) = (W ) = W.

Далее, рассмотрим систему Sq H-унитарно неэквивалентных подпространств данной размерности q p. Символом Sq обозначим систему подпространств W таких, что W = V, V Sq. В силу предыдущего, |Sq | = |Sq | = Cq+2, dim W = n q, если W Sq. Таким образом, Найдем число неэквивалентных подпространств L, для которых Это число получается суммированием последней строчки из соотношения (17): Cp+m+2q 1) p(p1) + p2 (p + 1)) = 12 (2p2 + 6p + 4) = 1 p(p + 1)(p + 2). Наконец, (p+2)(p+1) откуда и следует формула (14).

Формула (14) имеет место, если p m. Если же, m p, то в (14) нужно сделать замену:

Вернёмся теперь в основной задаче перечисления матриц из (8), элементы которой удовлетворяют системе неравенств (9), матрица П из (12) задана, элементы её описаны в условиях теоремы 2. Если параметр s в теореме 2 равен 1, то общее число неэквивалентных подпространств из Ker A есть S = 1 (k1 + 1)(k1 + 2)(3k1 + 3 k1 ), где Используя правило произведения [7, c. 18] при s = 2 число неэквивалентных подпространств равно Большаков Ю.И. Об одной комбинаторной задаче классификации подпространств ядра H-самосопряженной матрицы Если же s – произвольное натуральное, то число неэквивалентных подпространств есть Теорема 3. Пусть A – H-самосопряженная нильпотентная матрица, канонический вид пары (A, H ) описан в теореме 2. Число H-унитарно неэквивалентных подпространств Ker A вычисляется по формуле (21). Здесь kt = max{ki, ki }, k i = min{ki, ki }, а числа ki и ki (i = 1, 2,..., s) из Теоремы 2.

Пример, иллюстрирующий формулу (21). Пусть, например, k1 = k1 = 1, k2 = k2 = 2, n = Формула (21) примет вид S = 62 · 2 · 3(3 + 3 1) · 3 · 4(6 + 3 2) = 5 · 14 = 70. Перечислим все неэквивалентные явно. Следующие 5 неэквивалентных подпространств относятся к первым двум а последующие 14 неэквивалентных подпространств относятся ко вторым четырем клеткам, две из которых имеют = 1, и две – число = 1 :

Расположим подпространства в порядке возрастания их размерностей.

Заметим, что небольшое увеличение чисел ki (ki ) ведет к быстрому росту числа s в формуле 21.

Так, например, если k1 = k1 = 1, k2 = k2 = 2, k3 = 3, k3 = 4, то из (21) следует, что s = 2800.

1. Райхштейн, Б.З. Классификация собственных подпространств симметрического линейного оператора, действующего в псевдоевклидовом пространстве [текст]/ Б.З. Райхштейн// Вопросы теории групп и гомологической алгебры: Межвуз. тематич. сборник/ под ред. А.Л. Онищика. – Ярославль: Изд-во ЯрГУ, 1979. – Вып.2.

2. Bolshakov, Y. Polar Decompositions in Finite Dimensional Indenite Scalar Product Spaces:General Theory/ Y. Bolshakov, C.V.M. van der Mee, A.C.M. Ran, B. Reichstein, L. Rodman (Submitted by Frank Uhlig)// Linear algebra and its applications – 261: 91–141, 1997.

3. Bolshakov, Y. Unitary Equivalence in an Indenite Scalar Product:An Analogue of Singular – Value Decomposition/ Y. Bolshakov, B. Reichstein (Submitted by L.Rodman)// Linear algebra and its applications – 222: 155-226, 1995.

4. Проскуряков, И.В. Сборник задач по линейной алгебре [Текст]/ И.В. Проскуряков. – М.: Наука, 1970. – 384 с.

5. Бурбаки, Н. Алгебра. Модули, кольца, формы [Текст]/ Н. Бурбаки. – М.: Наука, 1966. – 556 с.

6. Берже, М. Геометрия. Том второй [Текст]/ М. Берже. – М.: Мир, 1984. – 368 с.

7. Виленкин Н.Я. Комбинаторика [Текст]/ Н.Я. Виленкин. – М.: Наука, 1969. – 328 с.

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

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



Pages:     | 1 |   ...   | 15 | 16 || 18 | 19 |   ...   | 93 |
 



Похожие работы:

«А. А. Чибилев. В ГЛУБЬ СТЕПЕЙ. ОЧЕРКИ ОБ ЕСТЕСТВОИСПЫТАТЕЛЯХ ОРЕНБУРГСКОГО КРАЯ От первых упоминаний об южноуральских и прикаспийских степях у древнегреческого историка Геродота (V в. до н. э.) до географических описаний Оренбургского края учеными начала XX в. такова история исследований огромного степного региона, представленная в очерках книги. Читатель узнает о жизни и экспедициях П. И. Рычкова, П. С. Палласа, Э. А. Эверсманна, С. С. Неуструева и др. Их маршруты проходили по территории...»

«НЕМЦЫ В САНКТ-ПЕТЕРБУРГЕ БИОГРАФИЧЕСКИЙ АСПЕКТ XVIII–XX вв. Выпуск 7 Санкт-Петербург 2012 Электронная библиотека Музея антропологии и этнографии им. Петра Великого (Кунсткамера) РАН http://www.kunstkamera.ru/lib/rubrikator/03/03_05/978-5-88431-208-1/ © МАЭ РАН ББК 63.3(2) УДК 94(470.23-25):929(=112.2)17/21 Н50 Утверждено к печати Ученым советом МАЭ РАН Рецензенты: к.и.н. А.А. Алимов, к.и.н. Ю.В. Бучатская Н50 Немцы в Санкт-Петербурге: Биографический аспект. XVIII–XX вв. Вып. 7 / Отв. ред. Т.А....»

«Habent sua fata libelli. Stratagemat. кн. 2, гл. 5, apud Masc., Annotat. 31. Это произведение Маврикия, сколько мне известно, было напечатано лишь в конце Шефферова издания Арриановой Тактики, вышедшего в Упсале в 1664 году; это очень редкая книга и я никак не мог добыть ее. Гиббон. История упадка и разрушения Римск. Империи, часть IV, стр. 478, примеч. 1. У меня есть экземпляр этой книги, которой Гиббон не мог достать. Она заслуживает нового издания с примечаниями тактика. Финлей. Греция под...»

«СОДЕРЖАНИЕ ЧЕЛОВЕК В ЛИТЕРАТУРЕ ДРЕВНЕЙ РУСИ Вступительные замечания Глава 1. Проблема характера в исторических произведениях начала XVII в Глава 2. Стиль монументального историзма XI—XIII вв. (иллюстрировано) Глава 3. Черты эпического стиля в литературе XI—XIII вв. Глава 4. Экспрессивно-эмоциональный стиль конца XIV—XV в. Глава 5. Идеализирующий биографизм XVI в. Глава 6. Кризис средневековой идеализации человека в житийном жанре. Глава 7. От исторического имени литературного героя к...»

«http://KNIGANEWS.ORG 1 [9] Место слияния Наука a la Ривербэнк [70] Среди того необозримого океана вопросов и загадок, что постоянно окружают людей, исследующих мир, совершенно особое место занимает природа времени. Если это действительно еще одно измерение пространства, то почему оно такое странное? Почему мы все время 0 привязаны к точке теперь, не имея возможности самостоятельно перемещаться по оси времени ни вперед, ни назад? А если вдруг научимся это делать, то что станет с...»

«Содержание Введение..4 Глава 1. Теоретико-методологические подходы к анализу процесса функционирования особо охраняемых природных территорий в Российской Федерации..7 Анализ нормативно-правовой базы обеспечения функционирования 1.1. особо охраняемых природных территорий в Российской Федерации..7 1.2. Общая характеристика правового режима особо охраняемых природных территорий..14 1.3. Система национальных парков Российской Федерации.17 1.4. Функциональное зонирование национальных парков.19 1.5....»

«ЕвропЕйская пЕрспЕктива БЕларуси: интЕллЕктуальныЕ модЕли ВИльНюС ЕГУ 2007 г. УДК 316.3(4+476) ББК 60.56(4+4Беи) Е22 Ре д к о л л е г и я : Владимир Дунаев, Светлана Наумова, Павел Терешкович, Игорь Бобков, Валентин Акудович, Татьяна Журженко, Лудмила Кожокари. Ре ц е н з е н т ы : Ковальска М., доктор философских наук, профессор, заведующая кафедрой философии Института социологии Университета Белостока (Польша); Круглашов А., доктор политических наук, профессор, руководитель магистерской...»

«Одна из самых прославленных женщин в римской истории уроженка Тира, никогда не ступавшая на землю Европы, но Вергилий сделал ее нам близкой, заставив уступить страсти Энея{1}. Совсем в другом облике, под именем Тейосо, она является в каталоге знаменитых женщин{2}, автором которого, возможно, была как раз женщина ученая Паулина из Эпидавра, жившая в I в. н. э.: Тейосо. На языке финикийцев, как передает Тимей, она звалась Элиссой и была сестрой тирского царя. Он говорит также, что она основала...»

«Артюхин В. В. А86 РЕАЛЬНОСТЬ 2.0b. Современная история информационного общества / В. В. Артюхин. М., 2011. — 432 с. ISBN 978 5 9902715 2 4 В книге изложен авторский взгляд на различные аспекты совре менного ИТ центричного мира. Информационное общество как тер мин имеет множество определений, но если предположить, что мы уже живем в нем, то становится легко выделить те стороны жизни индиви дов и общественного устройства, на которые за последние 20 лет су щественно повлияли информационные...»

«РОССИЙСКАЯ ИМПЕРИЯ ПРОТИВ НАРКОТИКОВ Калачев Б. Ф. кандидат юридических наук, консультант Регионального представительства Управления ООН по наркотикам и преступности (UNODC) в России и Беларуси, заслуженный сотрудник органов внутренних дел Российской Федерации. E-mail: kalachev@duma.gov.ru Проблема наркотиков принимала глобальные масштабы параллельно мировой колониальной политике. Опираясь на архивные и иные сведения, автор показывает противостояние Российской империи геополитическому напору...»






 
© 2013 www.knigi.konflib.ru - «Бесплатная электронная библиотека»

Материалы этого сайта размещены для ознакомления, все права принадлежат их авторам.
Если Вы не согласны с тем, что Ваш материал размещён на этом сайте, пожалуйста, напишите нам, мы в течении 1-2 рабочих дней удалим его.