CC BY
25
9. Kavesh Sh. Melt spinning of metal fibers // American Institute of Chemical Engineers. Symposium Series, 1978. V. 74. № 180. P. 1-15.
10. Butler I.G., Kurz W., Gillot J., Lux B. The Production of Metal Fibres and Wires Directly from the Melt // Fibre Science and Technology. 1972. № 5. P. 243-262.
Tsun I.M. EXPERIMENTAL INVESTIGATION OF SOLID PART OF LAMINAR CAPILLAR JET
The article considers a liquid jet, separated from the surrounding space by the interface, along which there are the forces of surface tension and the action of these forces is commensurate with the action of other forces on the jet (capillary jet); they are obtained and analyzed the experimental de pendences.
Key words: laminar capilar jet; solid and drop parts of jet; stable and unstable pieces of solid part of jet; modeling by similitude method.
УДК 517.98
О РЕАЛИЗАЦИЯХ ПАРА-ЭРМИТОВЫХ ПРОСТРАНСТВ С ПСЕВДООРТОГОНАЛЬНОЙ ГРУППОЙ ДВИЖЕНИЙ
© С.В. Цыкина
Ключевые слова: группы и алгебры Ли; псевдоортогональные группы; симплектические пространства; пара-эрмитовы симметрические пространства.
Изучаются различные реализации пара-эрмитовых симметрических пространств О/Н , для которых группа О есть псевдоортогональная группа БОо(р, д) .
Мы рассматриваем пара-эрмитовы симметрические пространства О/Н, для которых группа О есть псевдоортогональная группа БОо('Р,д) , а связная компонента единицы Не подгруппы Н есть ЯОо(1,1) х 8О0(р — 1, д — 1). Все такие пространства (с данной О ) получаются факторизацией из «самого большого» пространства О/Не . Отображение накрытия не более чем четырехкратно. Размерность всех этих пространств О/Н равна 2п — 4, где п = р + д , сигнатура есть (п — 2,п — 2) , а ранг равен 2. Именно только для таких пространств с рангом большим единицы пока получены явные формулы в полиномиальном квантовании, см. [1], [2].
В настоящей работе мы описываем несколько реализаций наших пространств О/Н , они нужны для построения гармонического анализа и полиномиального квантования на О/Н .
Введем в пространстве М следующую билинейную форму:
П
[х,у] = ^ Х Х У*,
г=1
где Х1 = ... = Хр = —1, Ар+1 = ... = Хп = 1. Группа О = 3О0(р, д) есть связная компонента единицы в группе линейных преобразований пространства Мп с определителем 1, сохраняющих билинейную форму [х, у] . Для простоты мы будем рассматривать общий случай р> 1, д> 1. Мы считаем, что группа О действует в М справа: х ^ хд , так что векторы х из М будем записывать в виде строки.
Реализация (А): многообразие в алгебре Ли д группы О. Это - общая ситуация: для всякого пара-эрмитова симметрического пространства О/Н алгебра Ли ^ подгруппы Н имеет центральный элемент, скажем, Zо , поэтому О/Н с точностью до накрытия есть
2731
многообразие в алгебре Ли д , которое является О -орбитой этого элемента Zо в присоединенном представлении.
В нашем случае алгебра Ли д группы О = БОо('Р, д) состоит из вещественных матриц X порядка п , удовлетворяющих условию X'I + IX = 0 , где I = diag {А1,..., Ап} , штрих означает матричное транспонирование. Группа О действует в д сопряжениями: X ^ д-1Хд . Будем записывать матрицы п -ого порядка в блочном виде, отвечающем разбиению п = 1 + + (п — 2) + 1. Стационарная подгруппа Н матрицы
001 Zо = I 0 0 0 100
из д состоит из матриц
Н _
а 0 в
0 V 0
в 0 а
(1)
где а2 — в2 = 1, V € ЯО(р — 1, д — 1) . Группа Н состоит из двух связных кусков, связная компонента единицы Не состоит из матриц (1), где а = еЫ, в = вМ. Следовательно, Не = ЯОо(1,1) х ЯОо(р — 1, д — 1). Наше многообразие О/Н есть О -орбита в алгебре д , содержащая Z0 .
Матрица д € О переводит матрицу Z0 в матрицу X = (Xij) € д , образованную минорами второго порядка матрицы д , взятыми со знаком ± , а именно, Xij есть умноженный на (—А*) минор матрицы д , расположенный в строках с номерами 1, п и столбцах с номерами г,3.
Реализация (Б): индефинитное грассманово многообразие. Возьмем в пространстве
Мп
однополостный гиперболоид X : [х, х] = 1 и двуполостный гиперболоид У : [у, у] = — —1. Первый их них - псевдориманово многообразие, второй - риманово. Обозначим через £ многообразие пар (и, V) , и € X , V € У , таких, что [и, V] = 0 . Это - аналог многообразия Штифеля 8О(п)/8О(п — 2) . Его размерность равна 2п — 3 . Многообразие £ можно реализовать как совокупность двустрочных матриц
а _
( и А _______ ( и1 * * * ип А
V V ) V VI *** ^п )
(2)
с теми же условиями для и, V . Возьмем начальные точки: х0 _ (0, * * * , 0) Є У . Они дают начальную точку а0 Є £ :
*, 0,1) ЄХ , у0 _(1, 0,
а
ху00 _
00
10
01
00
Группа С действует на £ умножениями справа:
а ^ ад, д Є С,
(3)
это действие транзитивно. Стационарной подгруппой точки а0 при действии (3) служит подгруппа Н , состоящая из матриц
Н _
1 0 0
0 V 0
001
V Є 80о(р — 1,д — 1)*
Она является подгруппой и в Н .
2732
Назовем две матрицы а и а из £ эквивалентными, если одна получается из другой умножением слева на матрицу г € ЯО(1,1) :
Факторизуем множество £ по указанному отношению эквивалентности, полученное множество обозначим £/ ~ . Действие (3) группы О порождает ее действие на £/ ~ . Эле-
разие О/Н есть £/ ~ .
Сопоставим матрице а из £ ориентированную двумерную плоскость и>, натянутую на векторы и^ , составляющие матрицу а, см. (2). Ориентация есть класс эквивалентности матрицы а. Обозначим через Ш полученное множество плоскостей и>. Это множество находится во взаимно-однозначном соответствии с множеством £/ ~ . Действие (3) группы О на £ и на £/ ~ порождает действие и> ^ wg группы О на Ш. Таким образом, О/Н =
Реализация (С): многообразие в прямом произведении проективизаций конуса. Конус
тивно (напомним, что р> 1, д> 1). Пусть С обозначает многообразие образующих конуса С . Оно состоит из прямых (с удаленным началом координат) [х] = М х , где х €С , М = = М\{0} . Группа О действует на С естественным образом: [х]д = [хд] , д € О . На прямом произведении С х С группа О действует диагонально: ([х], [у]) I—> ([хд], [уд]), д € О .
Возьмем в конусе следующие две точки:
8+ = (1, 0,..., 0,1), в- = (1, 0,..., 0, —1).
Стационарной подгруппой пары (в-], [8+]) служит подгруппа Н. Таким образом, пространство О/Н есть О -орбита пары ([в-], [8+]) в прямом произведении СхС,. Она состоит из пар ([х], [у]) , х,у €С , таких, что [х,у] = 0, и является единственной открытой плотной О -орбитой.
Реализация (О): многообразие в прямом произведении конуса на себя. В соответствии с реализацией (С) рассмотрим в СхС множество пар (х, у) , для которых [х, у] =0 . Фиксируем значение билинейной формы [х, у] , а именно, обозначим через А множество пар (х, у) таких, что [х, у] = —2 . Пара (з-,з+) входит в А. Введем в А отношение эквивалентности: назовем эквивалентными пары (х,у) и (£х,£-1у) , где £ € М . Группа О действует на А линейно (справа): (х,у) ——> (хд,уд) , и, тем самым, на А. Следовательно, пространство О/Н можно отождествить с множеством Аа классов эквивалентных пар.
а _ га*
(4)
Матрица г из Я0(1,1) есть
поэтому условие (4) в терминах векторов есть
а = аи + вV, а = ви + аv.
В частности, для матрицы ао эквивалентными являются матрицы
(5)
0 *** 0
0 *** 0
а2 — в2 _ 1*
(6)
менты Н € Н, см. (1), переводят ао как раз в матрицу (6). Следовательно, Н является стационарной подгруппой класса эквивалентности матрицы ао . Таким образом, многооб-
W.
С в Мп задается условиями [х, х] =0 , х = 0 . Он связен, группа О действует на нем транзи
2733
Установим связь реализаций (B) и (D). Пусть плоскость w из реализации (B) порождается парой векторов (u, v) . Рассмотрим два вектора
x = v — u, у = v + u.
Из определения векторов u, v следует, что векторы x, у принадлежат конусу C и для них выполняется соотношение
[x, у] = —2,
так что пара (x, у) входит в A. Таким образом, пересечение плоскости w с конусом C состоит из двух прямых (без начала координат), натянутых на векторы x, у . Эквивалентным матрицам а и у, см. (4) и (5), отвечают пары векторов (x,y) и (x,y) из A такие, что
x = (а — в)x, у = (а + в)у■
Это означает, поскольку а2 — в2 = 1, что пары (x, у) и (x, у) эквивалентны в смысле реализации (D).
Итак, ориентированной плоскости w € W отвечает класс эквивалентности пар (x, у) из A из реализации (D). Это соответствие взаимно однозначно.
Многообразие всех ориентированных двумерных плоскостей в R есть грассманово многообразие Gr2(R ) . Мы видим, что наше множество W есть открытое подмногообразие в Gr2(R ) , состоящее из плоскостей, пересекающих конус C , причем первый вектор u лежит в области [u, u] > 0 .
Реализация (E): многообразие в множестве матриц ранга один. Сопоставим паре (x, у) из C хС матрицу
ш = Iy'x = у *x,
где у* = 1у'. Множество таких матриц есть множество M матриц z ранга один, удовлетворяющих условиям:
zIz1 = 0, z’lz = 0.
След tr ш матрицы ш равен [x,y] . Множество M содержит вместе с каждой матрицей ш всю образующую, проходящую через ш , то есть прямую R ш (без начала координат). Поэтому прямое произведение С xC есть множество M образующих в множестве M . Линейное действие (x, у) |—> (xg, уд) группы G на C х C превращается на множестве M в присоединенное действие:
ш ^ д-1шд. (7)
Условие ^,у]=0 , выделяющее G -орбиту G/H в CxC , для матриц ш €М означает tr ш = = 0. Таким образом, пространство G/H есть подмножество в M , выделяемое условием tr ш = 0. Это подмножество можно отождествить с многообразием Q матриц ш из M , удовлетворяющих условию tr ш = 1. Действие (7) сохраняет Q . Поэтому мы можем взять многообразие Q в качестве реализации пространства G/H.
Связь этой реализации (в виде Q ) и реализациями (C) и (D) - следующая: паре ([x], [у]) отвечает матрица ш = y*x/[x,y] .
ЛИТЕРАТУРА
1. S. V. Tsykina Polynomial quantization on para-Hermitian symmetric spaces with pseudo-orthogonal group of translations. International Workshop «Idempotent and tropical mathematics and problems of mathematical physics» Moscow. Aug. 25-30. 2007. V. 2. 63-71.
2. С. В. Цыкина Операторы Лапласа на пара-эрмитовых пространствах с псевдоортогональной группой движений. Вестник Тамбовского университета. Серия Естественные и технические науки. 2008. T. 13. Вып. 6. 620-631.
2734
БЛАГОДАРНОСТИ: Работа поддержана РФФИ (проект № 13-01-00952-а) и Госзадани-ем Минобрнауки 1.3445.2011
Tsykina S. V. ON REALIZATIONS OF PARA-HERMITIAN SPACES WITH A PSEUDO-ORTHOGONAL GROUP OF TRANSLATIONS
We study some realizations of para-Hermitian symmetric spaces G/H for that the group G is a pseudo-orthogonal group SO0(p,q)
Keywords: Lie groups and Lie algebras; pseudo-orthogonal groups; symplectic spaces; para-Hermitian symmetric spaces.
УДК 517.929, 330.4
ДОКАЗАТЕЛЬНЫЙ ВЫЧИСЛИТЕЛЬНЫЙ ЭКСПЕРИМЕНТ В
ИССЛЕДОВАНИИ ОДНОЙ НЕПРЕРЫВНО-ДИСКРЕТНОЙ МОДЕЛИ
© А.Л. Чадов
Ключевые слова: непрерывно-дискретные модели; гибридные модели; доказательный вычислительный эксперимент; задачи управления.
Рассматривается непрерывно-дискретная система функционально-дифференциальных уравнений. Отличительной особенностью системы является наличие фазовых компонент как с непрерывным, так и с дискретным временем и постоянного запаздывания.
Для рассматриваемой модели ставится задача управления в классе дискретных управлений с последействием и формулируются условия ее разрешимости в форме, допускающей проведение доказательного вычислительного эксперимента. Обсуждаются детали компьютерной реализации алгоритмов.
Непрерывно-дискретная модель, рассматриваемая в работе, является конкретной реализацией т. н. абстрактного функционально-дифференциального уравнения [1, 2]. Конкретный пример такой модели, возникающей в задачах экономической динамики, рассматривается в [3]. Отличительной особенностью системы является наличие фазовых компонент как с непрерывным, так и с дискретным временем [4, 5].
Зафиксируем множество 1 = {Ьо, Ь1,..., Ь^+1}, 0 = £о <Ь1 < ... < Ь^+1 = Т и рас-
смотрим непрерывно-дискретную систему с дискретным управлением [6, 7]
f t
x(t) — J' K(t, s) x(s) ds = A0x(0) + ATx(t — т)+ ^ Fj(t)y(tj) + f (t), t € [0, T],
0 . j:tj <t (1)
y(ti) — — Bijy(tj) = E Hijv(tj)+ g(ti), г = 1 2,■■■, ц. + 1;
j=o j=i
с заданными начальным состоянием:
х(0) = хо, у(0) = уо, (2)
и предысторией: х(£) = ф(£), £ € [—т, 0) . Здесь — (п х и) -матрицы, элементы которых суть суммируемые функции; Ао , Ат , В^ и Н^ — постоянные (п х п) , (п х п) , (и х и) и (и х т) матрицы соответственно, Н^+1}^ =0 = 1,..., ц + 1. Элементы к^ (£, 8) ядра
2735
