Матричная задача аппроксимации Паде как краевая задача Римана Текст научной статьи по специальности «Математика»

МАТРИЧНАЯ ЗАДАЧА АППРОКСИМАЦИИ ПАДЕ КАК КРАЕВАЯ ЗАДАЧА РИМАНА

В.М. Адуков

В работе дается новое определение аппроксимации Паде для матричного степенного ряда, основанное на аналогии с процедурой построения канонической функции краевой задачей Римана для вектора. Показано, что задача аппроксимации Паде становиться после этого задачей факторизации Винера - Хопфа для блочно-треугольной матрицы-функции специального вида.

1. Введение

Матричные аппроксимации Паде представляют большой интерес в связи с многочисленными применениями. Эти применения в основном относятся к теоретической физике [1], особенно к ядерной физике и физике элементарных частиц [2]; в математической теории систем задача минимальной частичной реализации эквивалентна задаче построения матричных аппроксимаций Паде в бесконечно удаленной точке [3]; в численном анализе матричные аппроксимации Паде используются для ускорения медленно сходящихся векторных и матричных последовательностей [4-6].

Формальный перенос классического определения аппроксимаций Паде по Фробениусу и определения Бейкера на матричный случай не представляет труда и был проделан в ряде работ [2], [7-10]. Некоммутативность умножения особых проблем не доставляет и приводит лишь к необходимости различать правые и левые аппроксимации Паде.

Классическое определение (правой) матричной аппроксимации Паде является калькой определения скалярной аппроксимации Паде по Фробениусу и выглядит следующим образом.

СО

Пусть а(г) = ^Г ахг\ ах (формальный) степенной ряд с матричными коэффициент

тами. Здесь - множество всех комплексных матриц размером рхд. Правая матричная аппроксимация Паде типа (п,т) для а{г) есть рациональная матрица-функция

Кт(2) = КЛ2Ж,т(2У1 такая> что матричные многочлены Р*>т(г), размером рхд и

цхд ^ соответственно, удовлетворяют следующим условиям:

2. ¿^т(г)ФО;

Если дополнительно выполняется условие Бейкера

4. (ка&уо^о, то условие 3 может быть переписано в следующей эквивалентной форме: 3*. а(2)-<„,(2) = 0(2"+га+1), 2->0.

Левая аппроксимация Паде к1пт{г) определяется аналогичным образом.

Принципиальным отличием от скалярного случая является то, что для р^д классическая аппроксимация Паде (в смысле Фробениуса) не всегда существует, поскольку соответствующая однородная система для определения коэффициентов знаменателя Qnm{z) может не иметь ненулевого решения. Если правая и левая аппроксимации Паде типа (п,т) существуют, то, хотя многочлены Р*т(г), находятся, вообще говоря, неединственным образом, сами рациональные матрицы-функции пяпт{г)9 я'пт{г) единственны и совпадают.

Матричная аппроксимация Паде в смысле Бейкера может не существовать и в случае р-д. Необходимые и достаточные условия ее существования и единственности получены в работе [9] для квадратного ив [10, 11] для прямоугольного случаев.

В вышеприведенных работах при определении аппроксимации Паде использовалась только одна степень: степень матричного многочлена. Это означает, что все элементы числителя Рпт{г)

и знаменателя ()п т (г) рассматривались как скалярные многочлены одной и той же формальной

степени п или т, соответственно. Другой крайний случай, когда все элементы этих матриц имеют индивидуальную степень, осуществляется в определении совместных аппроксимаций Паде (см., например, [12]) и в определении совместных приближений нескольких линейных форм [13].

Разумный компромисс между этими двумя крайними случаями был предложен в работе А. Бултхила и М. ван Барела [14], в которой предлагалось фиксировать степени строк (или столбцов) матричных многочленов Рпт{%) и ()пт(2).В ней подробно изучен матричный алгоритм

Евклида для получения аппроксимаций Паде, расположенных на антидиагоналях таблицы Паде. Ранее этот алгоритм был предложен А. Антоласом [15]. Идея А. Бултхила и М. ван Барела использовать степени столбцов или строк 0пт(г)> причем выбирать их по возможности минимальным, будет применена и в этой работе.

Условие минимальности степени 2лт(2) в скалярном случае использовалось автором в работе [16]. При этом оказалось, что задача скалярной аппроксимации Паде является частным случаем краевой задачи Римана для вектора с треугольной матрицей второго порядка.

Отметим еще один немаловажный факт. Для скалярных аппроксимаций Паде добавление к классическому определению условия минимальности степени знаменателя <2Г]т(1) приводит к

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

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

Здесь мы не приводим никаких применений обнаруженной связи между аппроксимациями Паде и краевой задачей Римана. Отметим, однако, что метод, с помощью которого мы получим эту связь (метод существенных многочленов [17]), является одинаково эффективным как при явном построении факторизации Винера - Хопфа матриц-функций [18], так и при исследовании сходимости матричных [19] и скалярных [20] аппроксимаций Паде.

2. Задача векторной аппроксимации Паде и ее каноническая система

Если переписать условие 3 классического определения в виде

где равенство по модулю г*+т означает совпадение коэффициентов при 1,г,...,га+т, то специалист в области краевых задач для аналитических функций сразу обнаружит формальную аналогию с однородной краевой задачей Римана (см., например, [21]). Таким образом, задачу нахожде-

ния пары многочленов {^Рп т{2)^п можно рассматривать как некий конечномерный аналог

однородной векторной краевой задачи Римана.

Пользуясь этой формальной аналогией, начнем с определения следующей векторной задачи аппроксимации.

со

Определение 1. Пусть а{г) ~ ^ а%г\ а{ € Срхд, матричный степенной ряд и п,т - про-

1=0

изволъные неотрицательные целые числа.

Задачей правой векторной аппроксимации типа {п,т) для а(г) назовем задачу отыскания

пары векторных (столбцовых) многочленов Рпт(г)еСрх][г] и ()п т(г) еСцх1[г], <2лт(г) ф О, удовлетворяющих условиям

degРп т(г) < к, (1е§(¿п т(г) < к ~п + т при некотором к, п — т < к <п + т, и таких, что

Ф)а,м) - =о(2"+т+1), 2 о. (1)

Число к будем называть порядком решения »Лг)) этой задачи.

Здесь, как обычно, мы считаем, что если степень многочлена отрицательна, то многочлен тождественно равен нулю. Ограничения, налагаемые на формальные степени векторных многочленов Рпт(2), Qnm{z)1 выбраны таким образом, чтобы при нахождении многочлена ()пт(г)

для любого решения типа (п, т) использовалась одна и та же последовательность Яд-т+1 = {^т+1>--зЯд+т} коэФФиДиентов ряда а{г). Ясно, что для классической правой аппроксимации Паде каждая пара столбцов Р*т{?), (г) образует решение порядка п .

Порядок решения этой аппроксимационной задачи является аналогом порядка на бесконечности решения однородной краевой задачи Римана [21]. Однако, в отличие от последней задачи, мы должны использовать формальные степени векторных многочленов Рпт(г), По-

этому порядок не определяется однозначно: любое решение порядка к является также решением любого большего, чем к, порядка.

Задача векторной аппроксимации близка к задаче о совместном приближении нескольких линейных форм (в частности, к задаче о совместных аппроксимациях Паде) [13]. Но в нашем случае, как уже отмечалось, задаются верхние границы для степеней векторных многочленов Рп т (г), 0,п т(г), а не для степеней каждого элемента этих многочленов, как в работе [13].

Сравнивая коэффициенты при гк+\гк+2в левой и правой частях уравнения (1), легко

проверить, что вектор-столбец Яр составленный из коэффициентов векторного

многочлена <2„т(г) = Яо 2 + Як-п+тгк~"+т > (1] 6 С9x1, принадлежит ядру блочной теплице-вой матрицы

Т (ап+т }

ак+1 ак ап~т+1

ак+2 ак+1 ап-т+2

Vап+т ап+т-1 а2 п-к

составленной из элементов последовательности . Многочлен же Рп т (г) легко восстанав-

ливается по ()пт(г) . Так как при переходе от матрицы Тк(а"*'"[+]) к Ты) число столбцов

увеличивается, а число строк уменьшается на единицу, то, начиная с некоторого порядка к = кх, рассматриваемая векторная задача аппроксимации всегда будет иметь решение. В скалярном

случае рациональная дробь Рв>т(%)0£т(2) 9 соответствующая решению этого минимального порядка, и будет аппроксимацией Паде типа (пут) в смысле нового определения [16].

В матричном случае, по аналогии со скалярным, мы построим для задачи (1) данного типа (п,т) систему решений минимально возможных порядков. Затем из первых # векторных решений составим матричные многочлены <2*т(г) и найдем по ним Эта пара матричных многочленов и даст решение задачи матричной аппроксимации Паде. Для существования матричной рациональной дроби Р*т (г)'1 необходимо, чтобы выполнялось условие

^ О, т.е. чтобы первые ^ векторных решений были линейно независимы над полем рациональных функций С(г). Ясно, что это условие эквивалентно отсутствию линейных зависимостей с полиномиальными коэффициентами между столбцами матрицы (?*т(г). Однако при

таком подходе к определению системы минимальных решений мы не можем получить больше, чем линейно независимых над С(г) решений. Как показывает уже скалярный случай [16] этого для наших целей недостаточно. В частности, связь между задачей аппроксимации Паде и краевой задачей Римана тогда не удалось бы установить.

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

После этих предварительных соображений приступим к построению вышеупомянутой системы минимальных решений. Как уже отмечалось, среди всех решений задачи правой векторной аппроксимации существуют решения минимального порядка кх. Выберем любое из этих решений и обозначим его (г)). Среди всех решений задачи порядка к, для которых векторный многочлен ()(г) не представляется в виде дЛ{г)0,х{г)> где ^(г) - скалярный многочлен от г степени не выше к~кх, выберем любое решение наименьшего порядка к2>кх и обозначим его через ■ Продолжим этот процесс, выбирая среди решений задачи, для которых <2(г) * + д2(2)<22(г), где qJ(z) - многочлен степени не выше к-к решение наименьшего порядка къ>кг и т.д. Поскольку порядок к любого решения нашей задачи не превосходит и + т, то процесс закончится за конечное число г шагов. Любую систему решений {Р\{%){%))у->{Р, (2)>бД2)) 5 полученную в результате этого процесса, будем называть правой канонической системой решений типа (п,т) для матричного степенного ряда а{г). Порядки /с,,...,/сг, полученные в результате этого процесса, будем называть правыми минимальными порядками этой системы.

Легко заметить, что процесс определения правой канонической системы для задачи векторной аппроксимации моделирует построение канонической системы в теории векторной краевой задачи Римана [21]. Имеется также очевидная аналогия с процессом получения фундаментального ряда решений уравнения А(г)х(г) = 0 для сингулярного пучка матриц А{г) (см., например, [22]).

3. Каноническая система, существенные многочлены и определение аппроксимаций Паде

Ясно, что каноническая система решений строится не единственным образом. Оказывается, однако, что любые две канонический системы имеют один и тот же набор минимальных порядков к]9...9кг, которые, таким образом, являются целочисленными инвариантами задачи (1). Для того, чтобы их вычислить и получить удобный алгоритм построения канонической системы, установим связь введенных выше понятий с индексами и существенными многочленами последовательности матричных коэффициентов . Ниже мы покажем, что набор мини-

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

Напомним коротко определение этих понятий (подробное изложение см., например, в [17]). Для матрицы А обозначим кегЛА ее правое ядро и кег\А - левое ядро:

кег, А = {х | Ах = 0}, кег, А = {у\уА~ 0}. Пусть А - блочная матрица с блоками из С рх<?, имеющая блочные размеры (п +1) х (т +1). Разобьем столбец е кег^ Л на т + 1 блоков размером д х 1:

и определим для Я производящий векторный многочлен Я{г) = г0 + гхг +.. -4- гтгт. Аналогично, для строки из кег; А определим производящий многочлен по переменной

Пусть аыч = {ам,...9аы} (М <Ы) ~ конечная последовательность комплексных матриц размером р х д . Через а * (г) обозначим производящую функцию этой последовательности. Образуем семейство блочных теплицевых матриц Тк{аым) ~\\а1_] к = М,М + 1,и

7=0,1, Зк-М

опишем структуру правых и левых ядер матриц Тк{аым). Для кратности, когда это не вызывает недоразумений, будем применять обозначение Тк вместо Тк{аим) . Кроме того, удобнее использовать вместо пространств кегя Тк, кег^ Тк пространства производящих векторных многочленов Щ и Ы'к (.М<к<И), соответственно. Положим по определению N^-0 и обозначим (И~М + 2)д -мерное пространство всех векторных многочленов от г с коэффициентами из Сдх1 формальной степени И — М + \ через . Аналогично, положим =0 и пусть -(М-М + 2)р-мерное пространство строчных многочленов от г'1 с коэффициентами из Сир формальной степени N -М +1, Нетрудно показать, что Ык с и с Щ.

Пусть а = сИт N'1 и ^ = Последовательность аI называется регулярной слева

(справаЛ если а ~ 0 (¿у = 0). Последовательность регулярна, если а — со = 0 . Число а {со) будем называть левым (правым) дефектом последовательности.

Обозначим через с1[ (с1'к) размерность пространства (Nk). Пусть = йк -с!к_х

(М < к < N +1), А !к=с1к - с!к+1 (М -1 <к<М). Используя формулу Грассмана, нетрудно показать, что справедливы следующие неравенства:

а = А1<А"м+1<..<К<А11=р + д-со, р + д-а = А'и >...> Д^, > Д'„ =со. Отсюда следует, что существует р + д-а-со целых чисел /ла+] < ...< ¡л + таких, что

= д: = а,

Ма+1 7

Л*

д*

= = (2)

= - - - р+Я-О.

Если г -я строка в этих соотношениях отсутствует, то считаем, что ¡лг = //1+1. По определению положим ¡лх =...-/иа =М-1, если а Ф 0, и = ...= ц = N + 1, если соф 0.

Числа //р...,// определенные в (1), будут называться индексами последовательности аны . Так как А[ = р + д-А1+], то для Д^ справедливы соотношения подобные (2).

Можно показать (см. [17]), что Л^ + гЛ^ - подпространство и размерность й*+1 дополнения Н£+1 этого подпространства равно Алм - Д*. Из (2) следует, что к^+х Ф 0 тогда и только тогда, когда к = ¡л] {] = а + 1,...,/? + д - су) . В этом случае совпадает с кратностью kJ индекса ¡л . Следовательно,

(3)

для к-ф /и} и

= (4)

для к~1А}.

Определение 2. <2^0, то любые многочлены ^(г),..., йа(г), образующие базис пространства N1 будут называться правыми существенными многочленами последовательности а^, соответствующими индексу /лх = ...= ¡ла.

Любые многочлены Я (г),...,Я к , образующие базис дополнения Н* , называются правыми существенными многочленами последовательности, соответствующими индексу lЛJ,

а + 1< ] < р + д-со.

Аналогичным образом

для к & /л} и

для к = /лг Выбирая базисы пространств Л^ (если ¿У^О) и + ]< р + д~со), мы

получаем набор векторных многочленов (г), которые будут называться левыми

существенными многочленами последовательности аАм .

Итак, для любой последовательности существует р + д индексов, р + д — со правых существенных многочленов и р + д —а левых существенных многочленов. В реальной вычислительной практике найти эти данные можно, используя стандартные средства линейной алгебры, основанные на сингулярном разложении матрицы.

Оказывается, что всегда можно пополнить системы ^(г),..., и (г)

до полных систем, состоящих т р + д многочленов. Кроме того, полные системы правых и левых существенных многочленов можно определенным образом согласовать между собой так, что, зная одну из систем многочленов, можно найти другую. Процедуры пополнения и согласования систем существенных многочленов подробно описаны в [17].

Теперь мы можем перейти к установлению связи между минимальными порядками и канонической системой для правой задачи векторной аппроксимации типа (п,т) и индексами и правыми существенными многочленами последовательности .

Теорема 1. Пусть - любая правая каноническая система

типа (п9т) для степенного ряда а{г) и - минимальные порядки для этой системы.

Тогда г = р + д — со и числа кх,.,.,/с совпадают с индексами /ихь...у/лр+0)1 а многочлены

Qi(z)y >Qp+<ro(z) являются правыми существенными многочленами последовательности

Наоборот, если R](z)9...9Rp+q_0}(z) - любые правые существенные многочлены этой последовательности, то справедливо представление

a(z) Д, (z) = Р} (z) + 0{zM), j = p + q — со,

где P (z) - векторный многочлен от z формальной степени ¡лг При этом система Д(z)),...,^P/7+(7_û)(z),iîj0+£/_(y(z)j является правой канонической системой типа (п,т)

для а(г).

Доказательство. Пусть

к 1 ~ < Krrfi ~ ••• = к>2 < •••<Kr,+1 - ... =

Из определения минимального порядка /с1 следует, что = 0 для к < Кх и векторные многочлены Qx(z)9...9Q (z) образуют базис пространства N* х. Это означает, что к} = ...= /с = //j = = ^ a (z) являются правыми существенными много-

членами, соответствующими индексу ju}.

Возьмем теперь любое к, удовлетворяющее неравенствам к < к < . По определению

минимального порядка к +] любой многочлен R{z)9 принадлежащий Nk+], представляется в виде

R(z) = qx (z)Q1 (z) +...+ qh (z)Qn (z), (5)

где <Jj(z) - многочлен степени не выше k — jux. Поэтому

K+i=N*w+zN:+l, кп<к<кГ2. Пространство N* +1 содержит подпространство + zNRK , и, кроме того, в нем существуют многочлены Qr]+x(z)9,..,Q/2(z), которые не представляются в виде (5), т.е. являются линейно независимыми по модулю подпространства N* +zN* . Более того, очевидно, что г2—гх - максимальное число векторов линейно независимых по модулю этого подпространства. Таким образом,

Kii+^N:i7+zKi2+sVan{Qn+l,...,Qr2}.

Учитывая структуру пространств (см. соотношения (3), (4)), получаем

Vi = '• ■= = /Vi = '■ '= ^ < ^г2+х ■ Ясно, что являются при этом правыми существенными многочленами, соот-

ветствующими индексу /иГ2.

Продолжая этот процесс, получаем

/с,+1 =...==

и многочлены Q](z)9...9Qr(z) являются правыми существенными многочленами, соответствующими индексам ¡л^9...9/и1 . Если при этом г < p^-q — co 9 то существует индекс /лг+х > ¡лг. Но тогда существовал бы многочлен Qr+l(z) е N +1, который не представлялся бы в виде g}(z)Qï(z)Jt ..л qr(z)Qr(z), где deg</y(z)< ju-/i . Поэтому каноническая система решений состояла бы из большего, чем г9 числа решений, что невозможно. Условие г > p + q-œ также невозможно, так как его выполнение привело бы к появлению существенного индекса

Ф п + т +1. Значит, г = р + д -О) и первая часть теоремы доказана. Вторая часть теоремы доказывается аналогичными рассуждениями.

Отметим, что, так как со < р, число г решений в канонической системе всегда не меньше д.

Каноническая система обладает рядом свойств, вполне аналогичных свойствам канонической системы краевой задачи Римана для вектора (см. [21]). Для полноты приведем эти свойства. В данной работе мы использовать их не будем и потому доказательства опускаем.

Свойство 1. Пусть - любая каноническая система

типа (п,т) для степенного ряда а{г). Тогда любое решение <2(2)) порядка к

{¡л} < к < /и!+]) задачи векторной аппроксимации может быть представлено в виде

{Р{г), 0(2» = я (2) (2), а (2)) +... + я, (2) (2), й (2)), где д}{г) -многочлен от г степени не выше к — /л .

Свойство 2.

rank

... Рр+Ч-Лг)л

ас*) -

р + д-а?

для любого г Ф 0.

Очевидно, что в точке г = 0 свойство 2 может не выполняться. Вместо него справедливо

Свойство 3.

/

rank

p + g-co,

А Л

чй(0) ...

где вектор А] находится из условия 3 определения 1:

Следующее свойство описывает поведение канонической системы на бесконечности. Свойство 4, Ранг матрицы

г~«Р{(г) ... ^

на бесконечности равен р + д-со .

Дадим теперь основное определение в данной работе - определение правых матричных аппроксимаций Паде.

Определение 3. Пусть - первые д решений из произволь-

ной правой канонической системы типа (п,м) для а(г). Составим матричные многочлены:

КМ=(ад...рдг)), е;,(г)=(аю-ед*)).

Если сЫ 0,1 т{г) Ф0, то рациональная матрица-фунщия

<т(2)=р;и(2)е;,и(2)-1 (6)

называется правой аппроксимагщей Паде типа (п,т) для а(г).

В силу теоремы 1 знаменатель 01т(г) правой аппроксимации Паде выражается через первые д правых существенных многочленов:

Поэтому правая аппроксимация Паде типа (п,гп) существует тогда и только тогда, когда для последовательности 1 найдутся правые существенные многочлены, для которых (1е1 К} (г)Ф0. По поводу существования таких многочленов можно высказать следующее предположение.

Предположение. Если ¡лд то любые правые существенные многочлены

линейно независимы над полем С(г) и, следовательно, всегда ф 0. Если

же ¡лд - /и то правые существенные многочлены, соответствующие индексу /ид, можно пронумеровать таким образом, чтобы многочлены ЛДг),...,/? (г) также были линейно независимы над полем С(г), и, значит, всегда правые существенные многочлены моэюно выбрать так, что сНЛ,^) # 0

Очевидно, что это предположение справедливо при # = 1, т.е. для векторных (столбцовых) аппроксимаций Паде. Легко показать, что оно верно и при р~ д~2. Однако в полном объеме доказать данное предположение пока не удалось. В тех случаях, которые мы рассматривали в теории сходимости матричных аппроксимаций Паде [19], эта гипотеза также справедлива.

Опишем кратко процедуру определения левых аппроксимаций Паде. Задача левой векторной аппроксимации ставится аналогично задаче правой аппроксимации. В ней требуется отыскать

пару строчных многочленов рп т(г) е С1х<1[г], € С1хр[г], где (г) Ф 0, со следующи-

ми ограничениями на степени:

п-т<к<п + т, такие, что

дпт(2)а(г)-рП:т(2) = 0(г"+т+1).

Число к будем называть порядком данного решения. Нетрудно проверить, что 2-а-н+/») ^ е дг^^ ). В частности, для решения порядка 2п - к +1 имеем

Левая каноническая система типа (п,м) для а(г) определяется аналогично правой. При этом левые минимальные порядки канонической системы совпадают с числами 2п-Ма+1 2п-]ир+{] +1, где - индексы последовательности . Левая ка-

ноническая система строится с помощью левых существенных многочленов Ьа+](2),...,Ер+д(г)

этой последовательности. Свойства левой канонической системы аналогичны вышеприведенным свойствам правой системы.

С помощью левой канонической системы определяется левая аппроксимация Паде:

о^^г'ою, (7)

где знаменатель левой аппроксимации Паде выражается через последние р левых су-

щественных многочленов:

^ п+т-ц+1+1 - - ^

Оказывается, что в отличие от классической матричной аппроксимации Паде правые и левые аппроксимации Паде в смысле определений (6), (7) могут существовать только одновременно. Для доказательства этого утверждения нам потребуется лемма. В ней множества кегд Кх, кег^ Ь2 рассматриваются как линейные пространства над полем рациональных дробей С(г), а системы правых и левых существенных многочленов выбираются согласованными (определение этого понятия см. в [17]).

Лемма 1. Пусть Ь{г) ~ матрицы согласованных существенных многочленов после-

довательности аым и , (¿9(г)) -матрицы, составленные из первых (последних) ц (/?) правых (левых) согласованных существенных многочленов.

Тогда справедливо равенство

dimker^ Rx = dimkei; L2. Доказательство. Согласованность систем правых и левых существенных многочленов означает, что f3+(z)L+(z) = I и R(z)L(z)+ = 0 для некоторого матричного многочлена

/3+(z). Здесь L+(z) = z™d-\z)L(z), d(z)^diag[zMli...izM^].

Поэтому rank U = р и столбцы [£+]\ образуют базис kerrR. Пусть

d = dimlcer/; R} и Xl,...,Xd - базис пространства kerrt Rx. Здесь X} - столбец, состоящий из q элементов кольца С[z] многочленов над С. Продолжим столбцы XJ нулевыми многочленами до столбцов Xj длиной p + q . Ясно, что Xx,...,Xd линейно независимы и принадлежат кегд R . Разложим их по базису [L+]1 , и из коэффициентов этого разложения построим строки

..,Yd длиной р с элементами из C(z). Образовав из столбцов Х} и строк Y матрицы X и У, имеем

X = L+Y.

Отсюда следует, что rankY = т.е. строки YXi...9Yd линейно независимы. Кроме того, учитывая структуру матрицы X, получаем

L\Y = О,

т.е. строки YXi...,Yd принадлежат пространству k&rLL2. Это означает, что d не превосходит

dimker, Ь2. Аналогично доказывается противоположное неравенство. Лемма доказана.

Изучим теперь вопросы существования, единственности введенных аппроксимаций Паде и их знаменателей и выясним, как они связаны с классическими аппроксимациями Паде. В следующей теореме, чтобы избежать громоздких формулировок, ограничимся рассмотрением только наиболее интересного случая, когда juq < juq+l.

Теорема 2. Пусть индексы последовательности апп1™+\ удовлетворяют условию ju < ju

Знаменатель Q*m(z) (Q^m(z)) правой (левой) аппроксимации Паде типа (пут) определяется

единственным образом с точностью до умножения справа (слева) на унимодулярный матричный многочлен U(z) следующей структуры:

U(z) =

Ux * ... *

о и2 ••• *

(8)

О - о и,

Здесь — постоянные матриг^ы, порядки которых совпадают с кратностями индексов

^¡лц > а на местах, помеченных звездочкой, стоят скалярные многочлены

степени не выше ¡л} - ¡лх - ), если ¡л} - > 0 - /лд+1 > 0), и 0 если - д < 0

Правая и левая матричные аппроксимации Паде типа (п,т) существуют или не существуют одновременно и определяют одну и ту же единственную рациональную матрицу-фунщию

Если существует аппроксимагщя Паде в смысле определения 3, то для существования правой (левой) классической аппроксимации Паде типа (п,т) необходимо и достаточно, чтобы для

индекса /л (/^+1) последовательности было справедливо неравенство

fdq<n (jUq+l>n-¥l).

Если это условие выполнено, то аппроксимация Паде в смысле определения (3) является классической

Правая (левая) матричная аппроксимация Паде в смысле определения Бейкера существует тогда и только тогда, когда /uq<n > п + 1) и, хотя бы для одного набора существенных

многочленов, выполнялось условие

Л](0)- обратима (1^(0)- обратима). В этом случае аппроксимаг^я Паде является аппроксимацией Паде - Бейкера.

Доказательство. Пусть для индексов последовательности выполняется условие

</V1 и ô*,m(z)> " Л1°бые два знаменателя аппроксимации Паде ти-

па (п, т) порожденные разными каноническими системами. Тогда, в силу теоремы 1,

QM = (ед.Л(*))> Q\JA = (ВД-ЛЦ,

где Rx{z)it..9Rq{z)\ R](z)9..,9Rq(z) - различные системы первых q правых существенных мно-

п+т

гочленов последовательности .

Учитывая условие ц < из теоремы 3.1 работы [17] о структуре ядра блочной теплице-вой матрицы, примененной к Тм +1, получаем

^(z) = ¿«,(2)^,(2), j = l,...,q,

где utJ(z) - скалярный многочлен степени не выше jUj-juесли >0 и çy(z) = 0 для

/л - /Àt < 0. В матричной форме эти соотношения можно переписать в виде

g;ffl(z)=e;jm(z)(7(Z). Очевидно, что f/(z) - унимодулярный матричный многочлен, имеющий вид (8).

Предположим теперь, что существует, например, правая аппроксимация Паде типа (п,м) в смысле определения 3. Тогда найдутся правые существенные многочлены последовательности Яд-m+i, для которых det R{ (z) Ф 0, т.е. dimkei; Rx (z) = 0 над полем С(z).

Если эти существенные многочлены входят в полную систему правых существенных многочленов, то для согласованных левых существенных многочленов по лемме 1 выполняется условие detZ,2(z) ф 0 . Это означает, что в данном случае существует левая аппроксимация Паде типа (п,т).

Предположим теперь, что система правых существенных многочленов не полна, т.е. (О Ф 0 и p>q. Но тогда можно выбрать полную систему левых существенных многочленов (см. [17,

§5]). Пусть R(z) - матрица согласованных с ними правых существенных многочленов. В силу

условия fiq < juq+] справедливо равенство Rx(z) = Rx(z)U(z) , где U(z) - матрица-функция вида

(8). Поэтому det^j(z) Ф 0, и осталось снова применить лемму 1. Существование левой аппроксимации Паде доказано.

Докажем, что рациональные функции я* (z) и 7tlnm{z) совпадают. Из определения аппроксимаций Паде следует, что

eu - с (*)=). (9)

Оценим степень произвольного элемента этой матрицы. В силу условия [л < juq+] для i-l,...,<7 имеем

= ,и(г)], + (1её[Р«<т (г)]' < п + т +1 - (¿/?+1 - ) < п + т.

Эта же оценка справедлива и для (г)0. '„ т (г) ^ . Условие (9) тогда означает, что

Предположим, что существует правая аппроксимация Паде в смысле определения ? и выполняется условие /лч <п. Тогда т(г)]7 < цз-п + т<т для у =1 Это означает, что данная аппроксимация Паде является классической. Наоборот, пусть существует классическая аппроксимация Паде типа (п,т) и /г € [//(,//1+1) для некоторого /, 1 < / < р + д. Если п< то

г <д и базис состоит из

Следовательно, для £ -го столбца матрицы ()*т(г) выполняется

[0,^(2)]* = +...+

^ = Здесь <7^(2) - скалярный многочлен от г и дл(2) < я -. В матричной форме

эти соотношения можно переписать в виде

Первый множитель имеет размеры дх!, а ) - гх^. Так как г <9, то по формуле Бине -Коши получаем сЫ (2* шОО 3 Таким образом, если п < ¿ид, то правая классическая аппроксимация Паде типа не существует. Аналогично проверяется условие существования левой классической аппроксимации Паде.

Утверждения теоремы относительно аппроксимации Паде в смысле Бейкера проверяются теперь очевидным образом.

4. Матричные аппроксимации Паде и задача факторизации Винера - Хопфа

Мы определили (правую) аппроксимацию Паде типа (я,т) с помощью (правой) канонической системы типа (п,т) для задачи векторной аппроксимации. В свою очередь, правая каноническая система совпадает с системой правых существенных многочленов ^(г) последовательности (теорема 1). Как показано в [17], задача нахождения индексов и существенных многочленов эквивалентна задаче факторизации Винера - Хопфа блочно-треугольной матрицы-функции

Гт1д О

(п+т ;П+т+1

1п-т+\\1) 1 лр

а ((\ г 11

хип-т+\ \1/ 1 11

Поэтому задача нахождения канонической системы для аппроксимаций Паде типа (пут) также равносильна задаче факторизации для Апт{/). Определение факторизации Винера - Хопфа

матриц-функций см , например, [23]. Известно, что знание канонической системы для краевой задачи Римана для вектора, позволяет построить факторизацию Винера - Хопфа для ее матричного коэффициента, и наоборот.

Более естественно связать аппроксимации Паде с задачей факторизации для матрицы-функции

А{£), в определении которой используется не отрезок (2) ряда а (г), а сам этот ряд:

A(t) =

О

п+т+1

a(t) fff+m+7

р )

■jj

Пусть a(z) = ^ a(z', at € C^, - матричный степенной ряд, сходящийся в некоторой окре-

1=0

стности точки 1 = 0 Пусть Г - любой простой замкнутый контур, лежащий в этой окрестности. Таким образом, матрица-функция а(г) является аналитической во внутренней области ограниченной контуром Г, и непрерывной на и Г.

Для того, чтобы не усложнять формулировку теоремы, ограничимся рассмотрением только случая, когда для последовательности правый дефект со равен нулю. В этой ситуации для

ряда а(г) существует полная правая каноническая система типа (п,т) .

Теорема 3, Предположим, что для матричного степенного ряда а{г) существует полная

правая каноническая система (г)),..-,{Рр+д{%),0р+д(2)) типа (п, т). Пусть

¡лх,.. , ¡л - правые минимальные индексы этой системы

Тогда являются правыми факторизаг\ионными индексами матрицы-функгщи А{1),

и ее правая факторизация Винера-Хопфа относительно контура Г строится по формулам

где

ало-

m

Al\t) =

r* m

'm

-4(0

'Mp+q

pBjn

(10)

p+q v y y

-O^b

d(t) = diag

M t « ».. « t-

Здесь 0(0 - аналитическая вектор-фунщия, которая единственным образом определяется разложением

Наоборот, если для факторизагщонных индексов матриг[ы-функции А(1) выполняется условие /ир_^ <п + т и

= Г,

- любая правая факторизация Винера - Хопфа А{Г), то, разбив множитель А_{1) па блоки размером д х {р + д) и р х (р + д);

А_(0 =

Ч(0Л а;(о

и составив многочлены Q (z) = z

jUj-n+m

j , y -fç, и, построив по ним многочлены

Pf(z), получим полную правую каноническую систему (^Px(z),Qx(z))>>.>,[Рр+д(г),()р+11(г)^ типа (wsw) дчя a(z)

Доказательство. Доказательство этой теоремы можно провести по той же схеме, что доказательство теорем 5.1 и 5.2 из [17]. Однако проще свести задачу факторизации A{t) к факторизации i4;m((t) и применить вышеуказанные теоремы. Для этого представим матрицу-функцию a(z) в виде

a(z) = ar(z) + a:::+l(z) + a:+Jz),

где af (z) = cijz' • Тогда

A(t) =

L

0

-(n-m) n-m

a'r(t) I

pj

4™(0

I

ol

(n+OT+1) oo

(П)

Так как ¿ща^ т(1)<п-т и Г{" т+ - аналитическая вБ+ и непрерывная на и Г

матрица-функция, то крайние множители в этом представлении являются факторизационными. По теореме 5.1 [17]

А„т(0 = А-пт(0с1(0А+шМ г е Г,

где

Ат,Х0 =

+ 1 ( Rit)^

a J (A:J (t)J

R(t) = (ЗД-W)), R.(t) = t"~mR(t)d~\t),

а матричные многочлены a_{f) от Г1 и /?+(0 от t единственным образом находятся из разложения

a:;Z+№(t) = aXt)d(t)-rm+'l3+{t)-

(12)

Возьмем в качестве правых существенных многочленов многочлены из пра-

вой канонической системы (см. теорему 1). Тогда

А{г) = АМЖ1)А^\ ¿е Г,

где

AXt) =

-(n-m) „n-т

о)

«ГЧО I

KÀt) =

PJ

A;\t)

о

-t

t"-mR(t)

yar№(t) + cc_(t)d(t)

f

d-\t)

m л

J WX{t) =

'л+m+l V/ 1 p j

Из разложения (12) следует, что

a(t)R{t) = P{i)-tn*m*0{t\

где обозначено

P(t) = al~m(t)R{t) + a_ (t)d(t), 0(t) = + *+1(0ВД-

Очевидно, что P{t) - матричный многочлен от t, причем deg[P(t)]J < a 0(t) - аналитическая в D+ и непрерывная на D+uF матрица-функция. Поскольку [R{t)\ = Qj{t) 9 то и

a(t)Qj(t)"Pj(t) = f^lOj(t)f

где О {t) = [О(0]7? j = + Значит, факторы A±{i) действительно имеют вид (10). Первая часть теоремы доказана.

Пусть теперь для факторизационных индексов матрицы-функции A(t) выполняется условие

/л <п + т , т.е. для последовательности правый дефект со равен нулю. Пусть

A(t) = A_(t)d(t)A+(t\ te Г, - любая правая факторизация Винера - Хопфа A{t).

Тогда из уравнения (11) получаем, что матрица-функция Апт{() допускает факторизацию Винера - Хопфа

где

г Л о

-r{"-m)anQ'm(t) I

AM

о

Разобьем множитель А_(0 на блоки размером qx(p + q) и px(p + q)-

л St)

Тогда

4(0'

г

\

A\{t)

По теореме 5.2 [17] столбцовые многочлены Q}{z) = zMj~"+m^A~(z)~jJ, j = l,...9p + q9 являются правыми существенными многочленами последовательности . Восстановив по многочленам Q}{z) многочлены (z) 9 получим правую каноническую систему типа (п,т) для a(z).

Случай, когда дефект со Ф О и р <q , рассматривается аналогично, если правую каноническую систему пополнить с помощью процедуры пополнения системы правых существенных многочленов. Если же р >q, то начинать нужно с левой канонической системы, для которой существует аналог теоремы 3. После этого правая каноническая система получается с помощью процедуры согласования.

Итак, мы установили важный факт: проблема построения канонической системы решений для задачи аппроксимации Паде является частным случаем задачи факторизации Винера-Хопфа (краевой задачи Римана). В скалярном случае наши построения приводят к результатам работы [16J.

Литература

1. Baker G.A., Jr., Gammel J.L. (eds.) The Pade Approximant in Theoretical Physics. - New York: Academic Press, 1970.

2. Bessis D., Graves-Morris P.R.(eds) Topics in the Theory of Pade Approximants, Inst, of Phys., Bristol, 1973.-P. 19-44.

3. Калман P., Фалб П., Арбиб M. Очерки по математической теории систем. - М.: Мир, 1971. - 400 с.

4. Wynn P. Acceleration techniques for iterated vector and matrix problems// Math. Сотр. - 1962. -V. 16.-P. 301-322.

5. Бейкер Дж., мл., Грейвс-Моррис П. Аппроксимации Паде. - М.: Мир, 1986. - 502 с.

6. Xu Guo-liang, Zhuang Guo-zhong. Square matrix Pade approximation and convergence acceleration// J. Comput. Math. - 1993. - V. 11. - № 3. - P. 225-235.

7. Draux D. The Pade approximants in a non-commutative algebra and their applications, Lecture Notes in Mathematics 1071, Pade Approximation and Its Applications, Springer-Verlag, 1984.

8. Labahn G., Cabay S. Matrix Pade fraction and their computation// SIAM J. Comput. - 1989. - V. 18. - № 4. - P. 639-657.

9. Xu Guo-liang. Existence and uniqueness of matrix Pade approximants// J. Compt. Math. - 1990. -V.8.-№ l.-p. 65-74.

10. Xu Guo-liang, Bultheel A. Matrix Pade approximation: Definition and properties// Linear Algebra Appl. - 1990.-V. 137/138.-P. 67-137.

11. Xu Guo-liang, Li Jiakai. Generalized matrix Pade approximants// Approx, Theory AppL - 1989. -V. 5.-№4.-P. 47-60.

12. Никишин E.M., Сорокин B.H. Рациональные аппроксимации и ортогональность. М. Наука, 1988. -256 с.

13. Сорокин В.Н. О совместном приближении нескольких линейных форм// Вестник МГУ. Сер. 1, Математика, механика. - 1983. - №1. - С. 44-47.

14. Bultheel A,, Van Barel М. A matrix euclidean algorithm and the matrix minimal Pade approximation problem// Continued Fractions and Pade approximants (C. Brezinski, ed.), - 1990. - P. 11-51.

15. Antoulas A. C. On recursiveness and related topics in linear systems// ШЕЕ Trans. Automat. Control. - 1986. -V. AC-31(12). - P. 1121-1135.

16 Адуков В. M. Задача аппроксимаций Паде как краевая задача Римана //Весщ НАН Беларуси, сер. ф1зка-матэмат. навук, принята к печати.

17 Adukov V.M. Generalized inversion of block Toeplitz matrices// Linear Algebra Appl. - 1998. -V.274.-P. 85-124.

18. Адуков В.М. Факторизация Винера - Хопфа мероморфных матриц-функций// Алгебра и анализ. - 1992. -Т. 4. -Вып. 1. -С. 54-74.

19. Adukov V.M. The essential polynomial approach to convergence of matrix Pade approximants// Contemporary Math. - 2001. - V. 280. - P. 71-87.

20. Adukov V.M. The uniform convergence of subsequences of the last intermediate row of the Pade table//J. Approx. Theory. - 2003.-V. 122.-№2-P. 160-207.

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

22. Гантмахер Ф.Р. Теория матриц. - М.: ГИТТЛ, 1953. - 492 с.

23. Гохберг И.Ц. Задача факторизации в нормированных кольцах, функции от изометрических и симметрических операторов и сингулярные интегральные уравнения// Успехи матем. наук.-1964.-Т. 19.-Вып. 1.-С. 71-124.

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