CC BY
38
44
НАУЧНЫЕ ВЕДОМОСТИ
Серия: Математика. Физика. 2015. №5(202). Вып. 38
MSC 30Е05
БЛОЧНЫЕ МАТРИЦЫ ЯКОБИ И МАТРИЧНАЯ ПРОБЛЕМА МОМЕНТОВ ГАМБУРГЕРА
Ю.М. Дюкарев
Белгородский государственный аграрный университет им. В.Я. Горина, ул. Вавилова, 1, п. Майский, Белгород, 308503, Россия, e-mail: yu.dyukarev@karazin.ua
Аннотация. Блочной матрице Якоби соответствуют ортогоналвнвге матричные много-членвк В статве полученв1 явнвге формулвц выражающие ортогоналвнвге многочленьг через матричнвге моменты. Доказано, что дефектнвге числа матрицы Якоби совпадают с рангами радиусов пределвных матричных кругов Вейля.
Ключевые слова: блочные матрицы Якоби, проблема моментов, ортогоналвнвге многочлены, дефектнвге числа симметрических операторов.
1. Введение. Пусть даны целые числа m, n > 1. Линейное пространство m-мерных комплексных столбцов x = col[x\, x2,..., xm) со скалярным произведением (x,y) =
m
xciyj обозначим через Cm, Через Cmxn обозначим множество комплексных матриц с j=1
m строками и n столбцами. Пусть Cmxm = {A G Cmxm : (Ax, y) = (x, Ay), Vx,y G Cm} обозначает множество эрмитовых матриц. Эрмитова матрица A G Cmxm называется неотрицательной, если (x,Ax) > 0, Vx G Cm. Через Cmxm обозначим множество неотрицательных матриц m-ro порядка, Неотрицательная матрица A G Cmxm называется положительной, если (x, Ax) > 0 для всех ненулевых векторов x G Cm. Через Cmxm обозначим множество положительных матриц m-ro порядка. Единичную матрицу m-ro порядка обозначим через Im, а нулевую матрицу с m строками и n столбцами обозначим через 0mxn. Для упрощения записи мы часто будем опускать индекеы у матриц Im и 0mxn если эти индексы легко определяются из контекста. Для матриц A,B G Cmxm запись A > B (соотв. A > B) обозначает, что A — B G cmxm (cootb. A — B G Cmxm).
Введем обозначения для числовых множеств C+ = {z G C : Im z > 0} C- = {z G C : Imz < 0}.
Через B обозначим а-алгебру борелевских подмножеств множества вещественных чисел К. Отображение а : B ^ Cmxm называется неотрицательной матричной мерой, если
ГО ГО
a(U j =^2 a(Aj)
j= i j=i
для любой бесконечной последовательности (Aj)°=1 попарно не пересекающихся борелевских подмножеств из К.
НАУЧНЫЕ ВЕДОМОСТИ
Серия: Математика. Физика. 2015. №5(202). Вып. 38
45
В статье [1] были введены бесконечные матрицы Якоби
/ Д(0) в(0) 0 0 ... \
£(0)* Д(1) в(1) 0 ...
0 B(1) Д(2) B(2) ...
V ! ■ '■/
(1)
Здесь эрмитовы матрицы Aj G Cmxm и невырожденные матрицы Bj G Cmxm,
Через l2(Cm) обозначим гильбертово пространство бесконечных вектор-колонок
и = co\(u0,u1,u2,...), uk G Cm , ^^u*kuk < .
k=0
Пусть l2(Cm) обозначает незамкнутое п°ДпРостРанство B l2(Cm), состоящее из финитных векторов.
С помощью матрицы Якоби (1) определим операцию l : l2(Cm) ^ l0(Cm)
lu = Jmu, Vu G l0(Cm).
Эта операция задаёт на l0(Cm) незамкнутый симметрический оператор. Его замыкание обозначим через Lm, Числа
m+ = dimker(Lm — zl), z G C+ , m- = dimker(Lm — zl), z G C- (2)
не зависят от выбора точки z из верхней и нижней полуплоскости соответственно и называются дефектными числами оператора Lm, Хорошо известны следующие свойства оператора Lm (см. [1], [2]). Оператор Lm, вообще говоря, не самосопряжён. Дефектные числа m+ и m- удовлетворяют условиям
0 < m+ < m , 0 < m- < m.
В этих неравенствах максимального значения дефектные числа достигают одновременно m+ = m ^ m- = m. В статьях [3], [4] доказано, что если дефектные числа не максимальны, то они могут независимо друг от друга принимать любые значения от 0 до m — 1.
По блочной матрице Якоби (1) построим последовательность матричных многочленов с помощью рекуррентных соотношений
P(0) (z) = lm , zP(0) (z) = A(0) P(0) (z) + B(0) P(1) (z), (3)
zP(j)(z) = B(j-1)P(j-1)(z) + A(j)P(j)(z) + B(j)P(j+1)(z), j G N. (4)
В [1] доказана следующая теорема.
Теорема 1. Пусть последовательность матричных многочленов P(j)(z) определена формулами (3), (4). Тогда
46
НАУЧНЫЕ ВЕДОМОСТИ
Серия: Математика. Физика. 2015. №5(202). Вып. 38
1) матричный многочлен P(j)(z) является многочленом j-ой степени, и его коэффициенты являются m х m матрицами;
2) старший коэффициент матричного многочлена P(j)(z) является невырожденной матрицей;
3) существует неотрицалелвная m х m матричная мера а на оси R такая, что матричные многочлены P(j) (z) ортонормированы относительно этой меры
P(j)(t)a(dt)P(k) (t) = SjkIm , Sjk =
1, j = k .
0, j = k .
(5)
4) для всех z G C существует предел
-i
K(z)= lim (V P(j)* (z)P(j)(z)
n—V rno I * J
Vj=0
(6)
н дефектные числа m+ и m- могут бытв вычислены по формулам
m+ = rankK(z), Vz G C+, m- = rankK(z), Vz G C-. (7)
Запись вида P(j)*(z) всегда будет сокращением записи (P(j)(z))*.
2. Ассоциированная матричная проблема моментов Гамбургера. С неотрицательной матричной мерой а из соотношений (5) свяжем матричную проблему моментов Гамбургера
Sj = tja(dt), j > 0. (8)
Непустое множество всех решений а проблемы (7) обозначим через M, Рассмотрим матрицу-функцию (МФ)
w(z)
cr(dt)
t — z
(S)
МФ w определена и голоморфна в верхней полуплоскости и называется ассоциированной с проблемой моментов (7). Множество ассоциированных МФ w обозначим символом F Из формулы обращения Стилтьееа вытекает, что соответствие между F и M является биективным.
Пусть в верхней полуплоскости зафиксирована некоторая точка z0. Рассмотрим множество матриц
K(z0) = {w(z0) : w G F}. (10)
Существуют неотрицательные матрицы r(z0), p(z0) и матрица c(z0) такие, что множество матриц (10) можно записать в виде
K(z0) = {c(z0) + r(z0)Vp(z0) : V*V < Im} .
(и)
НАУЧНЫЕ ВЕДОМОСТИ
Серия: Математика. Физика. 2015. №5(202). Вып. 38
47
Множество матриц {V : V*V < I} естественно назвать единичным матричным кругом. Теперь из (11) следует, что множество матриц K(z0) является образом единичного матричного круга при линейном матричном отображении. Поэтому множество K(z0) естественно считать матричным кругом с центром в точке c(z0), левым радиусом r(z0) и правым радиусом p(z0), В контексте проблемы моментов K(z0) называется предельным матричным кругом Вейля в точке z0. Для вс ex zi, z2 G C+ ранги левых и правых радиусов предельных матричных кругов Вейля удовлетворяют условиям
£+ = rank r(z1) = rank r(z2), 8- = rank p(z1) = rankp(z2). (12)
Числа удовлетворяют неравенствам 0 < < m и характеризуют степень вырож-
денное™ множества решений матричной проблемы моментов Гамбургера. Если хотя бы одно из чисел равно нулю, то матричная проблема моментов Гамбургера называется вполне определённой (множество F состоит го единственной МФ), Если £+ = 8- = т, то матричная проблема моментов Гамбургера называется вполне неопределённой (множество F состоит из бесконечного множества МФ и невырождено). Во всех остальных случаях матричная проблема моментов Гамбургера называется по. ^определённой (множество F состоит из бесконечного множества МФ и вырождено из-за вырожденное™ матричных радиусов кругов Вейля).
3. Ортонормированные матричные многочлены и проблема моментов. Для
исследования матричных проблем моментов широко применяются ортонормированные матричные многочлены, матричные круги и интервалы Вейля [5]- [13]. По последовательности матричных моментов (8) построим следующие блочные матрицы:
H(,) = У+Дк=0 ■ l > о,
T(0) _ о T(1) _ ( 0mxm! 0mxm А / > о
1 — °mxm ■ 1 — I г о I ■ 1 > °
у rml °m1xm J
B(V) = col (sj,...,S2*-i) ■ l > о (13)
V ^ COl {im^ оmxml) ■ V^ ^ COl (Omxmh rm) ■ l > о ■
R(l)(z)= (I(i+pm - zT(l))-1, l > о ,
u(0) = о, u(l) = col (о, — s0,..., —sl-1) , l > о .
Имеют место очевидные равенства
(l) _ ( H(l-1) B(l) \ ( I о \( H(l-1) о I H(l-1)-1 B(l) \
V B(l)* c(l) у v B(l)t h(l-1)-1 i у v о H(l) у V о г ) ■
l > 1. (14)
Здесь C(l) = s2l+1-r и
J C(l) — B(l)*H(l-1) 1 B(l) > о, l > о; \ H(0)-1, l = о.
(15)
48
НАУЧНЫЕ ВЕДОМОСТИ
Серия: Математика. Физика. 2015. №5(202). Вып. 38
Из неравенства H(1) > 0 и (14) следует, что H(1) > 0. Поэтому при I > 1 из (14) имеем
H(l)-
/ —H(l-1) 1 B(l)\ (H(1-1) 1 0
0
I
I
0
0 H(l) - - \-B(l)* H(l-1) 11 '
(16)
II. следовательно,
V(l)* H(l) = H(l) ( -B(l)* H(l-1) 1 I),
v(l)* h(l) -1 v(l)* = H(l)-1, i > i.
(17)
1
Теорема 2. Пусть матричная мера а участвует в равенствах (5), (8) н две бесконечных последовательности матричных многочленов P(j\z), Q(j\z) заданы явными формулами
Р(j)(z) = H(j)1/2 V(j)* H(j)-1 R(j)(z)v(j) , (18)
Q(j)(z) = H(j)1/2 V(j)* H(j)-1 R(j)(z)u(j) , j > 0 . (19)
Тогда:
1) матричный многочлен P(j\t) является многочленом j-ой степени, и его коэффициенты являются m х m матрицами;
2) старший коэффициент матричного многочлена Р(j\t) является положительной матрицей;
3) матричные многочлены Р(j) (t) ортонормпрованы относительно меры а
£р (j)(t)o(dt)P(k)* (t) = j Im , j Д 1, j = k .
4) матричные многочлены Q(j) (z) являются многочленами 2-го рода
J R t — z
(20)
(21)
□ При j = 0 утверждение о степени и положительности старших коэффициентов многочленов Р(0) очевидно. При j > 0 имеем
Р(j) (z) = H(j)1/2 V(j)* H (j)-1col I, zI,..., zn^j = znH(j)1/2 V(j)* H(j)-1 V(j) + •••
= zn H(j)1/2 H(j)-1 + ■ ■ ■ = zn H(j)-1/2 + ■ ■ ■ .
Таким образом, матричный многочлен Р(j)(z) является матричным многочленом j-ой степени с положительным старшим коэффициентом H(j) 1/2 > 0.
НАУЧНЫЕ ВЕДОМОСТИ
Серия: Математика. Физика. 2015. №5(202). Вып. 38
49
Пусть матричная мера а участвует в равенствах (5), (8). При j = 0 имеем
P(0)a(cft)P(0)* = Д(0) 5Я(0)Я(0)
1, 2.
R
При j > 0 имеем
P (j)(t)a(dt)P(j)* (t) =
= H (j)1/2 V иг H (j)-1
1I \
tl
r :
\t4 J
a(dt)(I, tl,.. .,tl^jH(j) 1V(j)H(j)1/2
= я(j)1/2 V(j)* H(j) 1
/ /r t0a(dt)
V /r t1a(dt)
/r ta(dt) ^ /r t21a(dt) )
x H(j) 1 v(j)*H(j)1/2 = H(j)1/2v(j)*H(j) 1 h(j)H(j) 1 v(j)H(j)1/2 = H(j)1/2 v(j)* h (j)-1 v (j)H(j)1/2 = H(j)1/2 H(j)-1 H(j)1/2 = im.
Пусть теперь j = k. Предположим, для определённости, что j > k > 0 и r =1. Имеем
P(j)(t)a(dt)P(k)* (t) =
= H (j)1/2 v (jyt H (j)-
f
H(j)1/2 v(j)* h (j)~
( i \
ti
v H)
so . .
a(dt)[l, tI,...,tk/)H(k) 1 v(k)H(k)1/2
Sk
\
H(j)1/2 v(j)* ( I(k+1)m
0(l -k—1)mx(k+1)n
H(j)1/2 0 mx(k+1)mH(k)-1 v(k)H(k)1/2 = 0
h (k) 1 v (k)H(k)1/2
sl+k J
h (k)-1 v (k)H(k)1/2
Покажем, что при j > 0 матричные много члены Q (j') являются матричными многочленами второго рода для многочленов P(j'). При j = 0 наше утверждение очевидно.
R
1
mxm
50
НАУЧНЫЕ ВЕДОМОСТИ
Серия: Математика. Физика. 2015. №5(202). Вып. 38
При j > 1, воспользовавшись очевидным тождеством
RY\t)-RY\z) = _RU)^TU)RW^ t — z
получим
P(j)(t) - P(j)(z)
t — z
a(dt)
H (j)1/2 v (j)* H (j)-1
x
x
R^jt) - R^(z) t — z
R(j)(t)v(j)a(dt) =
v(j)a(dt) = -H(j)1/2 V(j)* H(j) 1 R(j)(z)T(j)
= -H(j)1/2 V(j)* H(j)-1 R(j)(z)T(jWl(so,..., S{)
= H(j)1/2 V(j)* H(j) 1 R(j)(z)u(j) = Q(j)(z). ■
Радиусы и центр предельного матричного круга Вейля (11) выражаются через матричные многочлены P(j) и Q(j) следующим образом (см. [5]):
-1/2
r(zo) = Иш ( (i(zo - *)?: P(j) (zo)P(j)(zo))
^ V j=o
p(zo) = lim | (i(zo - zo) ^ P(j)* (zo)P(j)(^o))
^ V j=o
c(zo) = lim ( (*(zo - zo) ^ P(j)* (zo)P(j)(zo))
^ V j=o
l
x (-i(^o - zo)£ Q(j)* (zo)P(j)(zo) - i/)
-1/2
-1
j=o
Теорема 3. Пусть матрица Якоби Jm вида (1) порождает симметрический оператор Lm и его дефектные числа равны m±. Пусть многочлены P(j) определены формулами
(3), (4) и матричная m x m мера а участвует в соотношениях ортогональности (5). И пусть, далее, для построенной но этой мере а матричной проблемы моментов Гамбургера (7) ранги радиусов предельных кругов Вейля равны Тогда:
1) дефектные числа оператора Lm равны рангам радиусов предельного круга Вейля
m+ = £+ , m- = 8- ; (22)
2) для любого фиксированного числа m > 1 и чисел таких, что 0 < £+, 6- < m - 1 или £+ = 8- = m, существует проблема моментов Гамбургера cm x m матричными моментами и рангами радиусов предельных кругов Вейля равными £+ и 5- соответственно.
□ Пусть матричные многочлены Pj (еоотв, Pj) заданы формулами (3), (4) (еоотв,
(18)). Эти многочлены ортонормированы относительно одной и той же неотрицательной
НАУЧНЫЕ ВЕДОМОСТИ
Серия: Математика. Физика. 2015. №5(202). Вып. 38
51
m х m матричной меры а из (5). Но тогда (см. [14]) существует последовательность унитарных матриц Uj такая, что Pj = UjPj. Отсюда следует, что P*Pj = P*U* UjPj =
P*Pj. Для любой точки z0 G C+ имеем
-i
-i
ker K (z0) = ker lim ( P(j)* (z0) P(j)(z0) ) = ker lim ( Pj (z0)P (j)(z0)
n—\ ^ I n—± OO \ • J
j=0
j=0
-1/2
ker lim ( i(z0 — z0) P(j) (z0)P(j)(z0) I = ker r(z0).
n—vno \ • J 1
j=0
Отсюда следует, что rankK(z0) = rankr(z0^e. m+ = £+. Аналогичным образом, убеждаемся в том, что m- = 6-. Первое утверждение теоремы доказано.
В [3], [4] доказано существование блочных матриц Якоби вида (1), порождающих симметрические операторы е любыми возможными дефектными числами. Отсюда и из первого утверждения теоремы немедленно следует второе утверждение теоремы. ■
Литература
1. Крейн М.Г. Бесконечные J матрицы и матричная проблема моментов // Докл. АН СССР. - 1949. - 09:3. - С.125-128.
2. Коган В.И. Об операторах, порождённых матрицами в случае максимальных индексов дефекта // Теория функций, функц. анализ и их прилож. - 1970. - 11. - С.103-107.
3. Дюкарев Ю.М. О дефектных числах симметрических операторов, порождённых блочными матрицами Якоби // Магем. сб. - 2006. - 197;8. - С.73-100.
4. Дюкарев Ю.М. Примеры блочных матриц Якоби, порождающих симметрические операторы с любыми возможными дефектными числами // Матем. сб. - 2010. - 201;12. -С.83-92.
5. Ахиезер Н.И. Классическая проблема моментов / Физматгиз: М.. 1961. - 310 с.
6. Arov D.Z., Dvm Н. J-contractive matrix valued functions and related topics / Encyclopedia of Mathematics and its Applications, 116.: Cambridge University Press, 2008. - 565 c.
7. Ковалишина И.В., Потапов В.П. Индефинитная метрика в проблеме Неванлинны-Пика // ДАН Арм. ССР. - 1974. - 59:1. - С.17-22.
8. Потапов В.П. Мультипликативная структура J-растягивающих матриц-функций // Труды ММО. - 1955. - 4. - С.125-236.
9. Ковалишина И.В. Аналитическая теория одного класса интерполяционных задач // Изв. АН СССР. Сер. матем. - 1983. - 17:3. - С. 155-197.
10. Нудельман А.А. Об одной проблеме типа проблемы моментов // Докл. АН СССР. -1977. - 233:5. - С.79-795.
11. Дюкарев Ю.М. О неопред ел ённости интерполяционных задач для неванлинновских функций // Известия высших учебных заведений. Серия «Математика». - 2004. - 507;8. -С.26-38.
12. Дюкарев Ю.М. О неопределённости интерполяционных задач в классе Стилтьеса // Математический сборник. - 2005. - 196;3. - С.61-88.
13. Дюкарев Ю.М. Обобщённый критерий Стилтьеса полной неопределённости интерполяционных задач // Матем. заметки. - 2008. - 84; 1. - С.23-39.
14. Damanik D., Pushnitski A., Simon В. The Analytic Theory of Matrix Orthogonal Polynomials // Surv. Approx. Theory. - 2008. - 4. - P.1-85.
52
НАУЧНЫЕ ВЕДОМОСТИ
Серия: Математика. Физика. 2015. №5(202). Вып. 38
BLOCK JACOBI’s MATRICES AND MATRIX HAMBURGER’S MOMENT PROBLEM
Yu. M. Dyukarev Belgorod State Agricultural University,
Vavilova St., 1, Maiskiy, Belgorod, 308503, Russia, e-mail: yu.dyukarev@karazin.ua
Abstract. Some orthogonal matrix polynomials are connected with corresponding block Jacobi’s matrix. It has been obtained explicit formulas expressing the orthogonal polynomials through matrix moments. It is proved that defect numbers of the Jacobi matrix coincide with ranks of Weil’s limiting matrix disks radii.
Key words: Jacobi’s block matrix, moments problem, orthogonal polynomials, defective numbers of symmetrical operators.
