Оценки частных индексов гельдеровских матриц-функций второго порядка Текст научной статьи по специальности «Математика»

____________УЧЕНЫЕ ЗАПИСКИ КАЗАНСКОГО УНИВЕРСИТЕТА

Том 156, кн. 1 Физико-математические науки

2014

УДК 517.544

ОЦЕНКИ ЧАСТНЫХ ИНДЕКСОВ ГЕЛЬДЕРОВСКИХ МАТРИЦ-ФУНКЦИЙ ВТОРОГО ПОРЯДКА

С.Н. Киясов

Аннотация

Получены оценки частных индексов матриц-функций второго порядка, зависящие от суммарного индекса матрицы-функции, индексов Коши ее элементов и числа линейнонезависимых решений определенных линейных алгебраических систем.

Ключевые слова: матрица-функция, факторизация, частные индексы.

Пусть

G(t) Ui(*) g22(t)y ( }

является -непрерывной матрицей-функцией второго порядка, заданной на простом гладком замкнутом контуре Г, разбивающем плоскость комплексного переменного на две области D+ и D- (0 G D+, то G D-) ( A(t) _ detG(t) _ _ 0, inddet G(t) _ к, t G Г ).

В работе автора fl] был исследован класс сингулярных интегральных уравнений, названных уравнениями с n ядрами. В качестве приложения, в предположении, что, например, элемент gii(t) те обращается в нуль на Г, было получено матричное представление

G(t) _ G+i(t)Go(t)G-i(t),

(2)

в котором

G+i

g+i

g+iP

G-i _

V

gii gi iQ 0

#21 A+ (p Q #21 (#n)2l

Lg i ij 9u l Lg i ij Д+ J

912 gi i

+

gi iA

-{Q

p

912 gi i

c i

(g-i )2a-

0 \

A+

— C2W

1

g i iA-

/

ci, ci -постоянные, P _ (I +S)/2, Q _ (I—S)/2 (^^^^иный, S -сингулярный операторы), а матрица-функция

/

Go

Q

Q

9 21

gi i

1

Д+

P

P

g i 2

— c i 1 + ^ P

P

g 12

gi i

.gi i

(g-i )2a-

(g-i )2a-

+c21 lQ

+ c2

Q

rn^gii)2

gi i A+

c i

1

44

ОЦЕНКИ ЧАСТНЫХ ИНДЕКСОВ ГЕЛЬДЕРОВСКИХ МАТРИЦ-ФУНКЦИЙ... 45

имеет нулевой суммарный индекс и представима в виде

Go(t)

1 a+(t)

a- (t) 1 + a+ (t)a- (t)

(3)

a+(t) и a-(t) — Им- непрерывные предельные значения функций, аналитических в областях D+ и D- соответственно. Отметим, что в работах [2, 3] к подобной матрице-функции на единичной окружности приводится эрмитова матрица-функция второго порядка с отрицательным определителем и знакопостоянными диагональными элементами. На основе этого представления была получена оценка частных индексов матрицы-функции (1), в которую входили значения суммарного индекса к индекса Коши хц элемента gii(t) и число иц линейно-независимых решений некоторого сингулярного интегрального уравнения с двумя ядрами, для которого оценка числа и11 не приводилась. В настоящей работе мы уточним полученную оценку за счет оценки числа линейно-независимых решений определенным образом подобранного уравнения Фредгольма с вырожденным ядром.

Пусть (w1(z), w2(z)) - исчезающее на бесконечности решение задачи линейного сопряжения с матрицей-функцией (3)

w1+ (t) = w1-(t) + a+(t)w2-(t),

(4)

w2+ (t) = a-(t)w1-(t) + (1 + a+(t)a-(t))w2-(t), t £ Г.

Тогда, применяя оператор Q, на Г получим

w1-(t) + Q[a+w2-](t) = 0, a-(t)w1-(t) + w2-(t) + Q[a+a-w2-](t) = 0.

Исключая w1-(t), придем для определения w(t) = w2-(t) к сингулярному интегральному уравнению с двумя ядрами

K1w(t) = 2w(t) + a-(t)S [a+w](t) — S[a+a-w](t) = 0. (5)

Применяя к двум последним слагаемым этого уравнения оператор P и формулу перестановки порядка интегрирования в повторном особом интеграле, заключаем, что в случае нетривиальной разрешимости любое его решение является предельным значением функции, аналитической в области D- и исчезающей на бесконечности. По решению w(t) уравнения (5) решение задачи (4) определится на Г по формулам

w1+ (t) = P [a+w](t), w1-(t) = —Q[a+w](t);

w2+ (t) = P [(1 + a+a-)w](t), w2-(t) = w(t).

Очевидно, частные индексы матрицы-функции (3) равны к = — к = к, где к — число линейно-независимых решений уравнения (5).

С другой стороны, из [1], а также из [4] следует, что уравнение (5) эквивалентно задаче линейного сопряжения с матрицей-функцией:

G1(t)

a+(t)a (t) — 1 —a+(t)

a+(t)[a-(t)]2 —a+(t)a-(t) — 1

Рассмотрим матрицу-функцию G2(t) = G1(t)E1/a~(t)

a+(t)a (t) — 1 —a+(t)a (t)

a+ (t)a- (t) —a+(t)a- (t) — 1

46

С.Н. КИЯСОВ

где через Ea(t) обозначена диагональная матрица-функция diag{a(t), 1}. Задача линейного сопряжения с этой матрицей-функцией формально эквивалентна, как показано в [4], следующему уравнению с двумя ядрами:

K2<p(t) = 2 ip(t) + S [а+ a-(f](t) — S[a+ a— ^](t) = 0,

имеющему лишь тривиальное решение, а значит, частные индексы матрицы-функции G2(t) равны нулю.

Известно, что любую функцию, аналитическую в области D+ на любом вложенном компакте, можно равномерно приблизить полиномами от z, а в области D- -полиномами от 1/z. Ограничимся лишь случаем, когда Г - единичная окружность, а полиномы Mn(z), Nn(1/z) - частичные суммы рядов Тейлора

Mn(t) = bntn + 6n-ntn 1 + • • • + bit + bo,

Nn(t)

an . an— 1

tn t”-1

ai

* + + ao?

(6)

равномерно сходящихся внутри и вне единичного круга, а также на Г к функциям a±(z), аналитическим в соответствующих областях и являющимися аналитическими продолжениями Я^-непрерывных функций a±(t).

Рассмотрим матрицы-функции

G2n(t)

a+(t)Nn(1/t) — 1 a+ (t)Nn(1/t)

—a+(t)Nn(1/t) —a+(t)Nn(1/t) — 1

Gin(t) = E1/Nn(1/t) G2n(t)ENn(1/t).

Этим матрицам-функциям соответствуют сингулярные интегральные уравнения с двумя ядрами и индексом, равным нулю:

K2n<p(t) = 2<f(t) + S [a+Nn<f](t) — S[a+Nn<f](t) = 0,

Kinw(t) = 2w(t) + Nn(1/t)S[a+w](t) — S[a+ Nnw](t) = 0,

первое из которых не имеет нетривиальных решений, и, следовательно, частные индексы матрицы-функции G2n(t) равны нулю. Числоже l линейно-независимых решений уравнения Kinw(t) = 0 в силу того, что его индекс равен нулю, совпадает с числом линейно-независимых решений союзного уравнения

Ki n^(t) = 2ф(Ф) — a+(t)S^](t) + a+(t)Nn(1/t)S [ф](ф = 0 (7)

(частные индексы матриц-функций Gin(t) равны К = — К = l).

Так как число линейно-независимых решений однородного уравнения Фредгольма конечно, то l не может неограниченно возрастать с ростом n (с увеличением точности аппроксимации). Покажем, что, начиная с некоторого номера n = m, модуль частных индексов матрицы-функции G1n (t) при n > m не возрастает. Для обоснования этого утверждения, используя второе разложение (6), запишем уравнение (7) при n = m как уравнение Фредгольма с вырожденным ядром

^) + а+(*)ЕЕгллз-

' ts j+1 2ni

j=1 s=j г

Ф(т)

тЗ

dr = 0 (Г : |t|

1).

ОЦЕНКИ ЧАСТНЫХ ИНДЕКСОВ ГЕЛЬДЕРОВСКИХ МАТРИЦ-ФУНКЦИЙ... 47

Вводя обозначения

Ak

1 (' Ф(т)

2тгi J тк

г

dr, к

1,

для определения этих постоянных придем к линейной алгебраической системе

m д * m

2ni ,j

j=1 г

T s + k—j+1

матрица которой имеет вид

/

1+ I] aj bj j= 1

ajbj+r—1

j=1

m

E aj bj+r

j= 1

E aj bj+m—1

j=1

m—r+1

E aj+r — 1bj

j=1

m—r + 1

L + E aj+r — 1 bj+ j=1

m—r+1

E aj+r— 1bj+r j=1

m—r + 1

X> aj+r—1bj+m-

j= 1

dr = 0, k =1, 2,.. .,m,

m—r E aj+r bj • • j=1 • amb1

m—r aj+r bj+r —1 ' ' j=1 • ambr

m—r 1+ X> aj+r bj+r '' j=1 • ambr+1

m—r X> aj+r bj+m—1 ' ' j=1 • 1+ambm

(8)

Предположим, что ранг этой матрицы равен г и отличный от нуля минор Mr порядка г расположен в левом верхнем углу. Если взять n = m + 1, то матрица соответствующей системы (8) принимает вид

/ m+1

1+ Е aj bj

j=1

m—r+2

E aj+r— 1bj j=1

m—r + 1

+ aj+r bj

j=1

am+1b1

\

m+1 m—r+2 m—r+1

E aj bj+r—1 • •• !-+ X> aj+r — 1 bj+r — 1 E aj+r bj+r—1 • • • am+1 br

j=1 j=1 j=1

m+1 m—r+2 m—r+1

E aj bj+r • •• E aj+r—1 bj+r !- + X> aj+r bj+r •• • am+1br+1

j=1 j=1 j=1

m+1 m—r+2 m—r+1

E aj bj+m • • • X> aj+r —1bj+m E aj+r bj+m • • • 1+ am+1bm+1

■ j=1 j=1 j=1

Для упрощения дальнейших рассуждений будем считать, что все коэффициенты ak, к = 1,... ,m + 1 отличны от нуля. Минор Mr порядка г, стоящий в левом верхнем углу последней матрицы, непрерывно зависит от коэффициента am+1 и при am+1 = 0 совпадает с Mr = 0. Учитывая, что коэффициенты разложений (6) стремятся к нулю с ростом п, при достаточно большом n = m можно считать, что и Mr = 0. Если предположить, что ранг этой матрицы также равен г (число линейно-независимых решений системы (8) увеличивается на единицу), то все «окаймляющие» Mr миноры порядка г + 1, например, составленные из элементов (г + 1)-й строки и столбцов с но мерами г + 1, г + 2,..., m +1 равны нулю. Применяя это утверждение для такого минора с номером столбца, равным m,

48

с.н. киясов

и представляя его в виде суммы двух определителей, получим:

m+1

! + Е a bi

j= 1

0

am

m+1

2 aj bj+r-1

j=1

m+1

2 aj bj+r j=1

m-r+2

X> aj+r-1bj Ь1

j= 1

m-r+2

1 + X> a j+r — 1Ь j+r — 1

j=1

m—r+2

E aj+r —1bj+r

j=1

br

+

br+1

m+1

! + Й aj bj

j= 1

m—r+2

E aj+r—1bj

j=1

+ am+1

m+1

S ajbj+r—1

j=1

m+1

^2 aj bj+r

j=1

m—r+2

1 + X> aj+r— 1 bj+r

j=1

m—r+2

E aj+r —1bj+r

j=1

Ь2

br+1

br+2

Согласно сделанным предположениям первый определитель равен нулю, так как он только постоянным, не равным нулю множителем отличается от выбранного минора (г + 1) -го порядка с номером столбца m +1. Значит, второй определитель также равен нулю. Проводя подобные рассуждения последовательно для выбранных миноров порядка г +1 с номерами столбцов m — 1,m — 2 ,...,г+ 2 (представляя их в виде соответствующей суммы определителей, отличающихся лишь (г + 1)-м столбцом), придем к равенству нулю такого минора с номером столбца, равным г + 1, который представим в виде

m+1

ы Е aj bj

j=1

m+1

^2 ajbj+r—1

j=1

m+1

^2 aj bj+r

j=1

m—r+2

X> aj+r—1bj

j=1

m—r+2

1 + X> a j+r — 1Ь j+r — 1

j=1

m—r+2

^2 aj+r—1bj+r

j=1

am+1b

m—r + 1

am+1bm 1 + am+1 bm+1

m+1

1+ I] aj bj j=1

m—r+2

S aj+r—1bj

j=1

— Mr + am+1

m+1

S aj bj+r —1

j=1

m+1

S aj bj+r

j=1

m—r+2

1 + X> a j+r — 1Ь j+r — 1

j=1

m—r+2

X> aj+r —Л+г

j=1

Ьm—r + 1

Ьm

Ьm+1

Однако при am+1 — 0 этот минор совпадает с Mr — 0, что противоречит сделанному предположению. Значит, при достаточно большом m указанный минор будет отличен от нуля и число линейно-независимых решений системы (8) не возрастает. Случай когда отличный от нуля минор порядка г не совпадает с ведущим (угловым) минором, а также равенство нулю некоторых коэффициентов a&, к — — 1,...,m +1, исследуется аналогично.

ОЦЕНКИ ЧАСТНЫХ ИНДЕКСОВ ГЕЛЬДЕРОВСКИХ МАТРИЦ-ФУНКЦИЙ... 49

Справедливо следующее утверждение [5, с. 47]. Пусть матрица-функция G(t) порядка p факторизуется с частными индексами к1 > к2 > • • • > кр. Тогда существует 6 > 0 такое, что любая матрица-функция G(t) го этой 6-окрестности G(t) факторизуется с тем же суммарным индексом, а ее частные индексы заключены в промежутке [кр, Согласно этому утверждению существует такая

6-окрестность матрицы-функции G\n(t), что частные индексы кд = —к2 любой матрицы-функции G(t) из этой 6-окрестности (|G(t)—G1n(t)|M < 6 по норме (Г) [5, с. 45]) заключены в промежутке [—1,1]

—1 < К2 < К1 < 1.

Так как согласно доказанному частные индексы матрицы-функции G1n(t), начиная с некоторого номера n, те возрастают, а для матрицы-функции G(t) = G1(t) с ростом n норма разности |Gi (t) — G1n(t)|M может быть сделана сколь угодно малой, делаем вывод, что для частных индексов к = —к = к матрицы-функции G1(t), а значит, и матрицы-функции (3) справедлива оценка к1 = — к2 = к < I. Полученная оценка и представление (2) позволяют обосновать существование нормального представления

G(t) = G+(t)G-(t), (9)

для которого при к > 2к11 матрица-функция G- (z) будет иметь на бесконечности порядки первой и второй строки не выше, чем к — кд ± 1 соответственно. При переходе от этого нормального представления к факторизации суммарный порядок строк нормального представления понижается на к — 2кц единиц. Значит, при таком переходе порядок первой строки, соответствующей большему из значений частных индексов матрицы-функции G(t), не может быть сделан ниже, чем кц + + 1, что приводит нас к оценке

к11 + ( —1)к1 < кк < к — к11 + (—1)k1, к =1, 2 (к1 > к2).

Если к < 2к11, приходим к обоснованию существования нормального представления матрицы-функции G(t) с порядками строк на бесконечности не выше к11 ± I, откуда

к — кц + ( —1)к1 < кк < кц + ( —1)к 1, к =1, 2.

Рассмотрим представление (2) для матриц-функций G(t)F, FG(t), FG(t)F,rfle F — перестановочная матрица в предположении, что все элементы g,j (t) матрицы-функции G(t) не обращаются в нуль на Г. Обозначая индексы Коши этих элементов и соответствующие числа 1 через к,) и 1), i, j = 1, 2, а также объединяя полученные неравенства, придем к окончательной оценке

max шт{(к«,

i,j= 1,2

к — к) + (— 1)k 1 ij}< кк < min max {(к,

i,j= 1,2

к — к,)0 + ( — 1) k 1ij} 7

где к = 1, 2, а 1), i, j = 1, 2, - числа линейно-независимых решений соответствующих линейных алгебраических систем порядка m такого, что число линейнонезависимых решений соответствующих систем порядка m + 1 не возрастает.

Summary

S.N. Kiyasov. Estimates of the Partial Indices of the Holder Continuous 2 x 2 Matrix Functions.

We obtain estimates of the partial indices of 2 x 2 matrix functions. This estimates depend on the total index of the matrix function, the Cauchy indices of its elements and the number of linearly independent solutions of certain linear algebraic systems.

Keywords: matrix function, factorization, partial indices.

50

С.Н. КИЯСОВ

Литература

1. Киясов С.Н. Исследование разрешимости и оценки числа решений одного класса сингулярных интегральных уравнений // Сиб. матем. жури. - 2000. - Т. 41, № 6. — С. 1357-1362.

2. Литвинчук Т.С., Спитковский И.М. Точные оценки дефектных чисел обобщенной краевой задачи Римана // Докл. АН СССР. - 1980. - Т. 255, № 5. - С. 1042-1046.

3. Литвинчук Т.С., Спитковский И.М. Точные оценки дефектных чисел обобщенной краевой задачи Римана, факторизация эрмитовых матриц-функций и некоторые проблемы приближения мероморфными функциями // Матем. сборник. - 1982. - Т. 117, № 2. - С. 196-215.

4. Киясов С.Н. Эффективные оценки числа решений одного класса сингулярных интегральных уравнений // Дифференц. уравнения. - 2002. - Т. 38, № 9. - С. 1190-1198.

5. Векуа Н.П. Системы сингулярных интегральных уравнений и некоторые граничные задачи. - М.: Наука, 1970. - 380 с.

Поступила в редакцию

20.11.14

Киясов Сергей Николаевич - кандидат физико-математических наук, доцент кафедры дифференциальных уравнений, Казанский (Приволжский) федеральный университет, г. Казань, Россия.

E-mail: Sergey.Kijasov@kpfu.ru