Обратная спектральная задача для конечномерных операторов

ISSN 2074-1863 Уфимский математический журнал. Том 2. № 2 (2010). С. 3-19.

УДК 517.4+519.71

ОБРАТНАЯ СПЕКТРАЛЬНАЯ ЗАДАЧА ДЛЯ КОНЕЧНОМЕРНЫХ ОПЕРАТОРОВ

Н.Ф. ВАЛЕЕВ

Аннотация. Рассматривается задача восстановления параметров линейного оператора по конечному числу собственных значений. Предлагается и обосновывается новая схема ее решения. Метод основан на сведении исходной задачи к задаче о совместном спектре семейства матричных пучков и позволяет найти все решения исходной задачи.

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

1. Введение

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

Рассматривается задача определения неизвестных параметров линейного оператора по конечному набору точек спектра — многопараметрическая обратная спектральная задача (сокращенно МПОСЗ). Естественными источниками нашей постановки обратной спектральной задачи являются, с одной стороны, классические обратные спектральные задачи для дифференциальных операторов, а с другой — прикладные задачи управления частотно-резонансными характеристиками различных технических устройств, описываемых линейными динамическими системами, и задачи вычислительной диагностики технических систем по частотам собственных колебаний.

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

Исследованиями в этом направлении занимались Н. Левинсон, М.Г. Крейн, Б.М. Левитан, В.А. Марченко, В.А. Садовничий, В.А. Юрко и другие (подробнее см. в [2], [8]).

Тем не менее, классическая теория обратных спектральных задач не в состоянии охватить весь спектр прикладных проблем, в которых требуется по спектру собственных колебаний восстановить свойства объекта. Речь прежде всего идет о тех случаях, когда мы располагаем не полным спектром собственных колебаний объекта, а лишь его конечной частью. К таковым можно отнести задачи, в которых требуется по конечному набору значений собственных колебаний системы найти параметры динамической системы, провести диагностику или идентификацию технической системы или же посредством доступных параметров объекта (динамической системы) придать ей те или иные частотно-резонансные характеристики (см. [3], [5], [12], [14], [21]).

N.F. Valeev, The multiparameter inverse spectral problems for finite-dimensional operators.

© Валеев Н.Ф. 2010.

Работа выполнена при финансовой поддержке ФЦП (контракт 02.740.11.0612).

Поступила 5 мая 2010 г.

Все эти задачи, по существу, сводятся к обратным спектральным задачам для линейных операторов, при том необязательно дифференциальных, в которых требуется по конечному числу собственных чисел оператора найти возможные значения неизвестных параметров системы. Такие задачи уместно называть многопараметрическими обратными спектральными задачами — МПОСЗ.

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

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

Пусть в п-мерном евклидовом пространстве Еп задано семейство т-параметрических операторов вида

В(Р, Л) = Во(Л) + р\В\(Л) + Р2В2(А) + ... + рт-\Вт-1(\) + ртВт(Х),

где р = (р1,р2, ...,рт) € Ст, линейные операторы Вк(Л) : Еп ^ Еп аналитически зависят от спектрального параметра Л € О. При этих условиях число Л € С будем называть собственным значением оператора В(р, Л), если оператор [В(р, Л)]-1 не существует.

Постановка многопараметрической обратной спектральной задачи

(МПОСЗ). Требуется найти возможные значения вектора р из пространства Ст, при которых наперед заданные числа Л1,Л2,...,Лт являются собственными значениями оператора В(р, Л). При этом набор чисел Л1,Л2,...,Лт будем называть спектральными данными и обозначать Л.

Сформулированная постановка задачи часто возникает в математических моделях диагностики или идентификации технических систем по ее собственным колебаниям. Таким задачам посвящено большое количество работ, см., например, [21], [4] и библиографию к ним.

Прямое исследование существования решений, их количества и, тем более, построение алгоритмов, гарантирующих нахождение всех ее решений, для системы алгебраических уравнений в общем случае затруднительны. Причиной тому является довольно сложный вид системы полиномиальных уравнений от переменных р^. В связи с этим для исследования МПОСЗ требуются специальные методы.

Метод исследования, обсуждаемый в данной работе, близок к идеям, изложенным в работах [9], [16], [17], [19], [20], [18]. В этих работах рассматривают так называемую многоспектральную задачу, эти задачи возникают при разделении переменных в дифференциальных операторах (см., например, [10], [19]).

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

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

2. Связь между МПОСЗ и системой совместных прямых спектральных

задач

2.1. Пусть в п-мерном комплексном евклидовом пространстве Еп задан оператор

В

где А Є С — спектральный параметр, у Є Ст — вектор управления.

Обозначим А = (А1,..., Ат) — спектральные данные МПОСЗ. Тогда если р = (р1, ...,рт) является решением МПОСЗ, то найдутся такие нетривиальные векторы арк Є Еп, что

Во(Ак)Хк + РіВі (Ак)Хк + ... + РтВт(Ат)Хк = 0, к = 1,..., т.

Обозначим

В](Ак) = Bj,k, к =1, ...,т,і = 0,..., т,

теперь МПОСЗ равносильна следующей задаче.

Требуется найти такой вектор р Є Ст, чтобы каждое из уравнений системы

Во,А + РіВі,кХк + ... + РтВт,А = 0,к = 1,..., т

имело хотя бы одно нетривиальное решение хк Є Еп.

Очевидно, последняя задача эквивалентна системе нелинейных алгебраических уравнений относительно неизвестных Рі,..., Рт Є С , а именно

¿вЬ

Система уравнений (3) представляет собой систему полиномиальных относительно

Рі,...,Рт Є С уравнений. При этом в общем случае обобщенная степень каждого полинома может принимать значения от 0 до п.

Из общей теории систем нелинейных алгебраических уравнений вытекает, что возможны следующие ситуации:

1) система уравнений (3) не имеет решения,

2) система уравнений (3) имеет

а) только изолированные решения,

б) изолированные и неизолированные решения,

в) только неизолированные решения.

Известно также (см. например [22], [23]), что если система (3) содержит только изолированные решения, то их количество (с учетом алгебраической кратности) будет равно

т

N = П «к, к= і

где ак — обобщенная степень к-го полинома в (3).

2.2. Наша основная идея построения решений МПОСЗ для оператора (1) состоит в "разделении"переменных Рк, к = 1, ...,т в системе уравнений (3).

Пусть ненулевые векторы {Хк}т=і и р = (рі, ...,Рт) Є Ст удовлетворяют системе уравнений (2). Каждое уравнение системы (2) скалярно умножим на произвольный вектор Ук Є Еп.

Тогда получим систему вида:

Обозначим

Ьк,]

и выпишем систему (4) в матричном виде

( bl,1 bl,2 ... 61,^ / Pi \

P2

62,1 62,2 ... 62,m

у 6m, 1 6m,2 ... 6m,m J

У pm y

^ 61 ^

6^

v 6m /

или сокращенно

Bp = b0.

Пусть Ckj — алгебраическое дополнение 6^-,к элемента из матрицы (5). Умножив обе части (6) на матрицу

(c11 c12 . c1m

....

cm1 cm2 . cmm

получим

где До = det(B),

(-1)fcPfcДо,k = 1, ...,m,

61,1 . . 61,fc-1 6о1 61,fc+1 . . 61,m \

Д k = det 62,1 . 6 , . k 1 6^ 62,fc+1 . . 62,m

У 6m,1 6m,fc-1 6 6m,fc+1 6m,m /

Из вышесказанных рассуждений вытекает следующее простое утверждение.

Теорема 1. Пусть векторы Хк Є Еп, к = 1, ..,т и вектор р = (рь ...,рт) Є Ст удовлетворяют системе уравнений (2). Тогда координаты рк вектора р удовлетворяют системе уравнений (7) при любых р Є Еп, к = 1,.., т.

Заметим, что система (7) справедлива при любом наборе (у1,...,ут) Є Еп, а величины Д к = Д к (Х1,...,Хт; у1,...,ут) являются при фиксированных Х1,...,Хт полилинейными функционалами над пространством

V = Еп х Еп х ... х Еп.

Если же при этом фиксировать еще и все р-, кроме одного у5, то Дк = Дк (У«) становится линейным функционалом над Еп. В таких случаях известно (см., например, [24]), что можно сконструировать линейное пространство Нт, над которым Дк будет линейным функционалом.

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

Введем в рассмотрение тензорное произведение векторов х и у Є Еп.

Пусть в некотором базисе Є1,..., Є Еп рассматриваемые нами векторы имеют вид

х = (х1,..., хп), у = (у1,..., уп). Тогда положим

Х 0 р = (Х1У1, Ж1У2, ..., Х1Уп, Х2У1, Х2У2, ..., Х2У„;

Таким образом, Z = х  у можно представить в виде Z

2

некоторую точку множества .

xny1, xny2, ..., xnyn). ( Х1У \

Х2у

и рассматривать как

V ХтУ /

Теперь во множестве всех тензорных произведений вида Х 0 у, Х, у Є Еп введем стандартную структуру линейного пространства над числовыми последовательностями (¿1, ¿2, ...,^га2) и операцию скалярного произведения, полагая

(Х 0 у, и 0 V) = (Х, м)(у, V).

Построенное линейное пространство называется тензорным пространством, обозначим его Я2 = Еп 0 Еп.

Заметим, что полученное пространство является снова линейным евклидовым пространством размерности п2. В качестве базиса пространства Еп 0 Еп можно рассматривать систему векторов ек 0 е-.

Перейдем к определению понятия тензорного произведения линейных операторов А : Еп ^ Еп и В : Еп ^ Еп, обозначаемого далее А 0 В.

Для этого достаточно определить А 0 В на базисных векторах ек 0 е-, положив (А 0 В)(ек 0 е-) — Аек 0 Ве-, и далее продолжить действие оператора на остальные элементы по линейности.

Если теперь рассматривать матричное представление в базисе рек 0 ре- оператора С = А 0 В, то в соответствии с правилом тензорного произведения двух векторов получим блочную матрицу размера п2 х п2 следующего вида

/ 01,1В 01,2В ... й1,тВ \

А В = а2,1В а2,2В ... а2,тВ

У ат,1В ат,2В ... ат,тВ У

Далее всюду, когда речь будет идти о координатном или матричном представлении

тензорных произведений векторов или операторов(в каком-либо фиксированном базисе) будем всегда придерживаться выше приведенных формул.

По индукции определяются тензорное произведение т экземпляров евклидовых пространств Еп:

V = Еп х Еп х ... х Еп.

4-------V--------'

т

Если XX = Х1 0 Х2 0 ... 0 Хт Є Ят и У = у1 0 у2 0 ... 0 ут Є Ят, то полагая

определяем скалярное произведение в пространстве Ят.

Таким образом, далее через Ят будем обозначать тензорное произведение т экземпляров пространств Еп со скалярным произведением (X, У), определенным формулой (8).

Матричное представление тензорного произведения операторов А1 0 А2 0 ... 0 Ат определяется тоже по индукции.

При этом заметим, что

Теперь будем рассматривать функционалы Д к = Д к (Х1,...,Хт; у1,...,Ут) над евклидовым пространством Ят. Пусть П — множество всех перестановок чисел 1, 2,..., т. Если ш = г1, г2,..., іт Є П, положим ш(к) = ¿к, а через I(ш) обозначим количество беспорядков (инверсий) в перестановке ш.

Рассмотрим оператор До : Ят ^ Ят, заданный следующим образом:

Д0 = ^^

Теперь заменяя Вк,- на В0,- в формуле (10), определим операторы

Дк : Як ^ Як, к = 1,..., т.

Для удобства иногда будем пользоваться также "развернутой" формой представления

Дк:

В1,1 В1,2 ... В1,т

Д о £ ' оТ ^ . ,

Вт,1 Вт,2 ... Вт,т <8>

Ві,і ... Вк—1,1 В0,1 Вк+1,1 ... Вт, 1

В2,1 ... Вк—1,2 В0,2 Вк+1,2 ... Вт,2

В1,т ... Вк—1,т В0,т Вк+1,т ... Вт,т

Дк

Установим связь между функционалами Дд и операторами Дд. Справедливо следующее утверждение.

Теорема 2. Для любых X = Х  Х2  ...  Хт Є Ят и У = у1  у2 0 ... 0 ут Є Ят

справедлива формула

Д к

Ді X, у^.

12)

Доказательство. Поскольку все величины Дк устроены одинаково, покажем справедливость (12) для к = 0.

В формуле (10) рассмотрим какое-либо слагаемое (соответствующее фиксированному

^) До Во(1),1 0 Во(2),2 0 ... 0 Во(т),т,.

Тогда

(ДОX У) = <(До(1),1 0 Во(2),2 0 ... 0 Во(т),т)Ж1 0 Х 0 ... 0 Хт; у1 0 у2 0 ... 0 Ут).

Далее согласно формулам (9), (8) и (4) получим

<

(Во(1),1Х1, у1)(Во(2),2Х2, ^^... (^о^^т-Хто'УтО Ьо(1),1Ьо(2),2 ...Ьо(т),т,.

Теперь очевидно, что

(ДоХ, у) = ^(-1)/(О)Ьо(1),1 0 Ьо(2),2 0 ... 0 Ьо(т),т = ^0.

Для остальных к = 1, ...т формулы (12) проверяются аналогично. Теорема доказана. Сформулируем одно из основных утверждений теории МПОСЗ.

Теорема 3. Пусть ненулевые векторы Х1,...,Хт € Еп и числа рк € С, к = 1,...,т, удовлетворяют системе уравнений (2). Тогда векторы X = Х1 0 Х2 0 ... 0 Хт и рк € С, к =1, ...,т являются решением системы совместных спектральных задач

(Д1 - Р1Д0) X = о,

(Д2 + Р2Д0) Х = 0,

.....................Д . . .

(Дк + (—1)кркДо) Х = 0

(Дт + (—1)тртД0) Х = 0

Доказательство. Из теоремы 1 следует, что если векторы Х1,...,Хт и числа рк € С являются решением системы (2), тогда для произвольного набора векторов у!, ...,ут € Еп верна система уравнений

Дк + (-1)кРкД0 = 0, к = 1, ...,т.

Далее из теоремы 2 получаем, что для тензорного произведения, составленного из решений Хк системы (2),

Xу = Х1  Х2  ...  Хт,

для любых векторов У Є Нт вида У = у1  у2  ...  ут.

Теперь заметим, что система векторов |У = у1  у2  ...  ут|ук Є Ега| содержит также

базис пространства Нт. Следовательно, соотношения (14) равносильны системе уравнений (13). Теорема 3 доказана.

Теорема 3 фактически сводит обратную спектральную задачу, записанную в виде систем уравнений (2), к системе прямых спектральных задач для операторных пучков Дк + (—1)кркД0.

3. Определенная МПОСЗ

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

<іе£(£0,к + Р1В1,к + ... + ртВт,і) = 0, к =1, ...,т,

то эти же числа являются решением системы прямых спектральных задач, то есть найдется разложимый тензор Xу Є Нт такой, что (Дк + (—1)крДД0)Х = 0, к =1, ...,т.

При этом очевидно, что последняя система является более изученной и, в частности, удобной отправной точкой для разработки методов численного решения МПОСЗ.

Но заметим, что система совместных спектральных задач (13) содержит также неизвестный вектор Xу Є Нт. Попытка заменить систему уравнений (13) на систему алгебраических уравнений вида

det(Дfc + (—1)крДД0) = 0, к = 1,..., т

наталкивается на очевидные проблемы:

1) операторный пучок Дд + (—1)к рД Д0 может оказаться иррегулярным, т.е. ^гт(КвгДк П КегД0) > 0,

2) даже если для всех к = 1,..., т,, КегДі П КегД0 = 0, мы не можем утверждать существование разложимого тензора X = Х1  Х2  ...  Хт Є Нт, удовлетворяющего всем уравнениям

(Дк + (— 1)крк Д0)Х = 0;

и даже если такой вектор Xу = Х1  Х2  ...  Хт найдется, обратный переход от системы (13) к системе (2) не очевиден.

В связи с вышесказанным, МПОСЗ будем называть регулярным или определенным если

det(Д0) = 0.

Рассмотрим специальный класс систем уравнений(2), а именно возмущенную систему (В0,1 — + Р1 (В1,1 + є/) + Р2В2,1 + ... + РтВт,1) Х1 = °

(В0,т — + р1В1,т + р2В2,т + ... + рт (Вт,т + ^)) Хт = 0,

где е € С, / = {а1,..., ап} , ак > 0, а = а^-, I — единичный оператор.

Из теоремы 3 следует, что у = (р1, ...,рт) и Хк € Еп являются решением (иначе говоря совместным спетром) системы совместных спектральных задач

(Дк(е) + (-1)кРк(е)Д0(е))Х(е) = 0,к = 1,..., т,

где

Ад (є) =

Ло

Ві,і + є/ В2,1

В1,1 + єІ В1,2 ...

В2,1 В2,2 + ЄІ ...

В,

В1,т

В2,т

;іб)

В

1,т

т,1 Вт,2 Вт,т + єІ

Вк_1,1 В0,1 — є/ Вк+1,1 ... Вт,1

Вк_1,2 В0,2 — є/ Вк+1,2 ... Вт,2

Вк_1,т В0,т — є/ Вк+1,т ... Вт,т + є/

:і7)

При этом очевидно, что числа рд = рд(є), к = 1,..., т, векторы Жд(є) Є Еп, соответственно, вектор Xу = ж1  ж2  ...  жт будут функциями от є Є С.

Установим некоторые важные для дальнейшего свойства функций Жд(є) и рд(є),

к = 1,..., т.

Теорема 4. Существует є0 > 0 такое, что для Ує, |є| > є0, гапк(А0(є)) = пт, т.е. ^еі(А0(є) = 0).

Доказательство. Разложим оператор А0(є) по степеням є. Поскольку, согласно формуле (17) А0 устроен так же, как числовой определитель, то легко установить, что

А0(є) = єт І 0 І 0 ... 0 / +єт 1^1 + ... + єДт_1 + Дт,

где Дд : Нт ^ Нт некоторые операторы независимые от є.

Теперь

при є ^ то.

Далее получим

det(А0(є)) = д,еЛ

єт І 0 І 0 ... 0 / +є-10

“•V—

т

det(Ао(є)) = єга^ гіеі

10 І 0 ... 0 І

+ є-10

;ів)

при є ^ то.

Заметим, что det

І 0 І 0 ... 0 І і >

(det І)т = 1. Теперь из представления (18) вытекает

существование искомого є0.

Обозначим Е = {є Є С| det А0(є) = 0} множество нулей полинома ^еіА0(є). Таким образом, Е состоит (с учетом порядка нулей) из пт чисел є1, ...,єпт.

Приведем без доказательства очевидное утверждение.

1

Теорема 5. Оператор [А0(є)]_

Нт — мероморфная операторозначная функ-

ция от е, множество полюсов которой совпадает с Е.

Все рассматриваемые нами операторы конечномерные и они зависят от е полиномиально, откуда следует утверждение о характере аналитичности собственных векторов и вектора управления МПОСЗ (16).

Теорема 6. Пусть р = (р1,...,рт) € Ст и Ж1,...,Хт € Еп решения системы (21), тогда р&(е),к = 1,т являются алгебраическими функциями с особыми точками типа полюса (точка ветвления и полюс) из Е. Векторы ж& (е) можно подобрать так, что ж&(е) будут, алгебраическими функциями.

Доказательство. Пусть є Є Е. Из теоремы 3 вытекает, что если числа р;(є) и ж;(є) Є Еп, к =1, ...,т, — решения системы (15), то вектор

X

является совместным собственным вектором операторных пучков

(А;(є) + (—1)крк(є)А0(є))Х(є) = 0,к = 1,..., т.

В свою очередь, при условии є Є Е det А0(є) = 0. Следовательно, р; (є) является нулем многочлена «еі(А;(є) + (—1)квА0(є)).

По определению алгебраических функций, любой нуль в (є) указанного многочлена является алгебраической функцией от є, т.е. все р;(є) — алгебраические функции є.

Особые точки рд (є) могут возникнуть вследствие наличия у оператора А_1(є)Ад (є) кратных собственных значений — точки ветвления и точек полюса. Тогда рд (є) тоже будут иметь особую точку типа полюса. Ясно, что полюсы операторов А_ (є)А; (є) содержатся во множестве Е.

Отсюда вытекает, что рд(є) имеет особую точку вида (є — є*)а, где а Є О, если только є* — полюс оператора А_1(є)Ак(є).

Теперь осталось доказать часть утверждения для ж;(є). Заметим, поскольку р;(є) — алгебраические функции, то каждая из систем уравнений (15) может быть представлена в виде В;(є)ж;(є) = 0, где В;(є) — матрицы с элементами 6^ (є) — алгебраическими функциями.

Решая эти системы методом Гаусса (а решение существует), мы получим решения (ж);(є) в виде алгебраических функций от є.

Итак, если система (15) имеет решение, то р(є) = (р1(є), ...,рт(є)) и ж;(є) — алгебраические функции.

Теперь сформулируем и докажем утверждения о существовании решений системы (15). Система уравнений (15) эквивалентна следующей системе полиномиальных уравнений:

{/1(р> є) = (В0,1 — є/ + р1 (В1,1 + єІ) + р2В2,1 + ... + ртВт, 1) = 0

/2(р, є) = (В0,2 — є/ + р1В1,2 + р2 (В2,2 + єІ) + ... + ртВт,2) = 0

/т(рР, є) = (В0,т — є/ + р1 В1,т + р2В2,т + ... + рт (Вт,т + єІ)) = 0.

Эту систему будем также записывать в виде

р (р,є) = °. (19) Заметим, что при больших |є| ~ то систему (19) можно представить в виде:

/

При |є| ^ то операторы Д;(р,є) ограничены по норме равномерно по всем р из любого компакта П С Ст. Следовательно, "главной" частью системы (19) при |є| ^ то является более простая система уравнений:

/°

или в операторной форме

Р0(р) = 0.

Система уравнений (21) в развернутой форме имеет вид:

п

/°

;=1

Из (22) вытекает, что Р0(р) = 0 имеет ровно пт изолированных решений

р*^ = (рГ,р2" , ...,р^г!, где р* принимают произвольные значения из множества {а1, а2,..., ап}.

Обозначим через Л0 множество всех нулей оператора Р0(р), а через Л(є) множество нулей Р(р,є). Из (20) и (21) при |є| ^ то следует, что

р

где || Д;(_р, є) ^ < С(П) < то для всех р из произвольной ограниченной области П С Ст .

Из представления Р(р, є) в виде (23) вытекает следующее утверждение.

Лемма 1. Пусть П С Ст — произвольная ограниченная область, Л0 С П. Тогда для

> 0 найдется є0 > 0 такое, что для У|є| > є0

Доказательство. Пусть р(є)является произвольным нулем Р(р, є). Тогда из теоремы 3 следует, что р(є) = (р1, ...,рт) удовлетворяет системе уравнений

dei (Afc(є) — (—(є)Ао(є)) — 0, k = 1

m.

Покажем, что р(е) ограничена при |е| — то. Заметим, что при |е| — то

Ао

и Ak(е) = етО(1). Поэтому существует число R(c) такое, что ||Ak(е)А-1(е)^ < c = const

для всех |е| > R(c). Отсюда вытекает, что при |е| > Д(е) любое решение системы

F(р, е) = 0 ограничено, т.е. ||р(е)|| < C .

Из представления (23) вытекает непрерывность оператора F(р, е) по е в окрестности бесконечности равномерно по р е П. Следовательно, нули Л(е) оператора F(р, е) при |е| —— то тоже являются непрерывными и соответственно стремятся к точкам множества

Л0.

Отсюда и следует существование искомого е0 для каждого 8 > 0.

Таким образом, уравнение F(р, е) = 0 при |е| — то имеет ровно nm изолированных решений.

Каждое решение р(е) операторного уравнения F(р, е) = 0 является алгебраической функцией от е (теорема 2). Система уравнений (19) эквивалентна системе (15). Это означает, что каждому вектору

р

удовлетворяющему F (р, е) = 0 , соответствует набор ненулевых векторов

ж{(е), Х2(е),..., Хт(е) такой, что

(В0,1 — е^ + Р1 (В1,1 + е1) + Р2В2,1 + ... + Р^тд) Х1 = 0 (В0,2 — е^ + Р1В1,2 + р2 (В2,2 + е1) + ... + РтВт,2) ж2 = 0

(В0,т — е^ + Р1В1,т + Р2В2,т + ... + Р^г (Вт,т + е1 ^ = 0

Далее решения системы 24 будем обозначать ^ = {р3; ж{,..., }, -X3 = ж{ 0 ж2 0... 0 ,

^ = {Р;XXз} ,^ = 1,Х.

Теорема 3 утверждает, что любое решение ¿3 = |рз; XXявляется также решением системы

Теперь сформулируем утверждение, обратное в определенном смысле теореме 3.

Теорема 7. Пусть в системе уравнений (13) &£Д0 = 0 . Тогда решения системы (13) состоят из N = пт совместных собственных векторов вида X3 = 0 ж2, 0 ... 0 3

и соответствующих собственных значений р*, ] = 1, N, к = 1, т. При этом каждый вектор р3 = (р|,...,рт) и соответствующие векторы ж1,...,жт являются решением системы (2).

Доказательство. Рассмотрим возмущенную систему (15). Согласно теореме 3, каждому решению р) , ж?,..., Хт системы (15) соответствует решение вида X3 = ж? 0ж? 0... 03, Р3 = (р!, ...,Рт) системы (25). Из леммы 1 следует, что при больших |е| ~ то система (19), а тогда соответственно и система (24) имеет ровно N = пт решений.

Поэтому система

(Д*(е) - (-1)*Р*(е)Д0(е)) X = 0 согласно теореме 3 имеет не менее чем N решений. Но

Д*(е) — (—1)Др*(е)Д0(е) : Нт ^

(Нт) = N. Следовательно, совокупность всех решений каждого уравнения

(Д*(е) - (-1)*р*(е)Д0(е)) X = 0 состоит из N собственных значений р*, р|,..., р^ и соответствующих собственных векторов X!, X2,..., Xм. Таким образом, каждое решение системы (Д*(е) -( (-1)*р*(е)Д0(е^ X = 0 , к = 1, т , состоит только из набора собственных

значений Рз = (р1, ...,рт) соответствующих собственных векторов XX3 = ж! 0 ж2 0 ... 0 Хт , которые получены из решений системы (24). Тогда справедливы и (25), причем согласно теореме 6 р3(е) и X3(е) — алгебраические функции. В (24) и (25) перейдем к пределу е ^ 0. При этом поскольку Д0 = Д0(0) — невырожденная матрица, р3 (е) и X3 (е) непрерывны в точке е = 0 и имеют конечные однозначные пределы р3 (0) и X3 (0), эти же пределы будут являться решениями исходной МПОСЗ (2) и соответствующей системы совместных спектральных задач(13). Отсюда и вытекает доказательство теоремы.

Теоремы 3 и 7 при условии, что Д0 — невырожденная матрица, сводят решение МПОСЗ к решению системы прямых спектральных задач (13). Заметим, что решение системы прямых спектральных задач эквивалентно нахождению нулей полиномов вида

д,еЛ (Д* — (—1)*р*(е)Д0) = 0, к = 1, т.

Теперь рассмотрим случай, когда ^е^Д0 = 0. Предварительно исследуем свойства иррегулярных пучков.

4. Неопределенная МПОСЗ

Теперь рассмотрим случай, когда ^е^Д0 = 0. Предварительно исследуем свойства иррегулярных пучков.

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

В п-мерном евклидовом пространстве Еп рассмотрим однопараметрическое (по параметру е Е С) семейство пучков

Ь

где в — спектральный параметр, и далее всюду будем предполагать, что

тх т2

А

*=0 *=0

Прежде чем формулировать изучаемые в данном пункте вопросы, дадим необходимые определения, обозначения, а также приведем некоторые свойства пучков вида (26) и (27). Введем в рассмотрение характеристический определитель изучаемого пучка

F

Непосредственно из вида пучка L(s,e) вытекает, что F(s,e) можно представить в виде следующего полинома

N

F

fc=0

где N зависит от рангов матриц B& и Aj .

Следуя [1], будем говорить, что пучок A — sB иррегулярный, если det(A — sB) = 0, в противном случае будем его называть регулярным. Очевидно, что условие иррегулярности пучка вида A — sB эквивалентно

ind(A,B) := max rank(A — sB) < n.

Далее, число Л* будем называть собственным значением пучка A — AB, если

rank(A — A*B) < ind(A, B),

соответственно, вектор x* ф KerA П KerB при условии, что (A — A*B)x* = 0, будем называть собственным вектором.

Вектор x Є KerA П KerB будем называть вырожденным собственным вектором иррегулярного пучка (A — AB).

В случае когда L(s,e) регулярен в точке є = 0, исследование возмущений при є ^ 0 собственных значений s(e) и соответствующих собственных векторов х(є) пучка L(s,e) можно свести к хорошо развитой аналитической теории возмущений для матриц вида

D(e) = B-1(e)A(e).

Нас будет интересовать поведение при є ^ 0 собственных значений и собственных векторов в предположении, что пучок L(s^) регулярен в некоторой проколотой окрестности точки є = 0, а в самой точке є = 0 пучок L(s^) иррегулярен. Иррегулярность пучка L(s, 0) в нашем случае означает, что V = KerA0 П KerB0 = 0. В связи с этим далее будем считать, что

ind

Пусть sfc

lim sfc (є) = sfc, lim xfc (є) = xfc,

є^0 є^0

Введем в рассмотрение подпространства H0 = (Ker(A0 П B0))L и H0 = (Ker(A0 П B0))L и обозначим через P и P самосопряженные проекторы на подпространства H0 и Hо соот-

ветственно. Далее положим

L11

L22

L21

¿12

При этом оператор Ь(й,є) в подходящем базисе пространств Еп = Н0 ф Но1 и Еп = Н0 ф можно представить в виде блочной матрицы

і

\ ¿21(5,є) ¿22(5,є) /

В силу (30), имеем ^гтН0 = ^гтН0 = т < п. Следовательно, матрицы ¿11(5,є) и ¿22(5,є) в представлении (35) имеют размеры т х т и (п — т) х (п — т) соответственно.

Замечание 1. Не ограничивая общности, будем считать, что оператор РВ0Р : Н0 ^ Н0 невырожден. В том случае, когда гапкВ0 < т, но гапк(А0 — 5В0) = т почти всюду, всегда существует Є С такое, что гапк(В0 + ^*А0) = т. Учитывая, что А0 — ^Р0 = (1 + ^*й)(А0 — 1+^(В0 + А0)), можно рассматривать операторы вида

А + Ні?0, где Н = 1+**,, В = В0 + ^*А, А = А.

Теперь опишем поведение характеристического определителя Р(5, є) пучка ¿(5, є) при малых є.

Теорема 8. Для характеристического определителя пучка ¿(5, є) при є ^ 0 справедливо следующее представление:

п—т

Р

r=0

где ELcT |gfc1 = 0 в > 0 и 1 j(^є)| ^ 0 равномерно по s из любой ограниченной области П С C.

Доказательство. Будем искать F (s, є) в следующем виде

F

где Ak(s, є) — нули многочлена det(L(s,e) — AI) = 0.

Для оценки Afc(s, є) воспользуемся известной теоремой Гершгорина в следующей формулировке (см. 415 с. в [1]). Каждое собственное значение A матрицы (35) принадлежит по крайней мере одной из двух областей:

1-і

1-і

Из вида (2)-(27), пучка ¿(5, є) и ¿7(5, є), определенных в (31)—(34), вытекают следующие оценки при к = і

ІІ-^У (5,є)|| ^ є/(5,є),

где /(в,є) равномерно по в Є П ограниченная функция. Пусть С1 и С2 такие матрицы, что

-С1 = (Ьи(5,є) — А/) 1

det

и

1

-С2 — (р22(^,є) — А/) 1.

det

Тогда при любых s Е Пг, ограниченном | А |, и достаточно малых е справедливы оценки ||Cfc|| ^ а = const. Теперь при е ^ 0 согласно (38) и (39) имеем

||(L„(s,e) - А/)-1||-1 = (det(Li1l(C£l) - А/)) < »(il2(s,e)|l « ei(e,s>'

- л/гчг1 = ^ и^ми«е1(е-5>.

Откуда немедленно получаем, что

^е^Ьц

Ие1

Таким образом, каждое собственное значение Л^-(в, е) матрицы Ь(в,е) согласно теореме

Гершгорина содержится в одной из областей задаваемых неравенствами (40) или (41).

Пусть теперь в Е П такое, что ¿е1(Ь11 (в, 0)) = 0. Тогда при достаточно малых е области, задаваемые неравенствами (40) и (41), не пересекаются.

Исходя из этого, множество всех собственных значений

Л1(в, е), Л2(в, е),..., Лп(в,е) матрицы Ь(в,е) можно разбить на две группы, а именно: пусть первые т собственных значений Л&(в, е) принадлежат объединению областей, удовлетворяющих неравенству (40), а остальные п — т собственных значений Л&(в, е) содержатся соответственно в объединении областей (41).

Очевидно, что при е ^ 0

Л1

где /1(в,е) ^ 0 при е ^ 0.

Поскольку при е ^ 0 ||Ь22|| ^ 0, то собственные значения из второй группы, являясь алгебраическими функциями, имеют асимптотику вида

Лк

где Лк(в, 0) = 0, вк Е ф+.

\п

,/к=т+1

Обозначим в = ЕП=т+1 вк и введем в рассмотрение функцию д(в,е) следующим обра-

зом:

П П

евд

к=т+1 к=т+1

Покажем, что д(в, 0) является многочленом. Для этого, учитывая (37), (42) и (44), выпишем р(в, е) = евд(в, е)^е! Ь11(в, 0)+/1(в, е)] и сравним с (29). Пусть в (29) к* — наименьшая степень е, при котором /*(в) не равна тождественно 0. Тогда легко увидеть, что в = к* и

Жв) = ¿11

откуда немедленно получаем, что д(в, 0) — многочлен. Теперь полагая

д(в, е) = д(в, 0) + /2 (в, е), где /2(в,е) ^ 0, получим доказательство теоремы.

Обозначим

ро

где р(в, е) был определен ранее в (36). Из доказанной теоремы вытекает простое следствие.

Теорема 9. Пусть в(е) конечное при е ^ 0 собственное значение пучка Ь(в,е), тогда его предел в(е) £=° в* является нулем полинома

п—т

р°

к=0

И обратно, каждый нуль в* полинома р°(в, 0) является пределом какого-либо собственного значения вк(е) пучка Ь(в,е).

Последнее утверждение устанавливает взаимно однозначное соответствие между нулями полинома Fo(s, 0) и множеством собственных значений sk(є) пучка L(s,e), имеющих при є ^ 0 конечные пределы.

4.2. Теперь приступим к исследованию МПОСЗ, заданной в (2).

Будем называть МПОСЗ неопределенной, если

l = max md

k

Если l = N, но при этом гапкД0 < N, тогда исследование МПОСЗ можно свести к случаю det^o) = 0 с помощью простого преобразования.

В самом деле, для определенности предположим, что

l = max т^(Дк, Д0) = т^(Дк, Д0). k

Тогда существует такое число Є C, что гап&(^*Д1 + Д0) = l. Теперь полагая

Рк = ,9к „, k =l,...,m,

1 + q1s*

в (2) получим новую МПОСЗ относительно вектора управления q = (q1, q2,..., qm) :

Далее непосредственной проверкой можно убедиться в том, что МПОСЗ для построенного оператора (50) обладает свойством det Д0 = 0. Таким образом, случай, когда

max md^k, Д0) = nm,

принципиально не отличается от рассмотренного выше случая det Д0 = 0.

Пусть теперь

l = max md^k, Д0) < nm = N. k

При этом, не ограничивая общности, будем считать, что l = гп^(Д1, Д0). Далее будем предполагать, что выполнено условие

гапкД0 = l.

Добиться выполнения этого условия можно с помощью подходящей замены вида (48) исходного вектора управления p на новый вектор управления q.

Теорема 10. Пусть s* — конечное собственное значение пучка Д1 — s^0, то есть гапк(Д1 — s^0) < гп^(Д1, Д0), тогда существует такое конечное решение

Р = (Р1,Р2, ...,pm) МПОСЗ (2), что p1 = s*.

Доказательство. Введем в рассмотрение возмущенную МПОСЗ

(B0,1 — J + p1 (B1,1 + є1) + p2B2,1 + ... + pmBm,1) x1 = 0,

(B0,m — J + p1B1,m + p2B2,m + ... + pm (Bm,m + є1)) xm = °

и выпишем соответствующую систему прямых спектральных задач.

(Д1(є) — p^^o^)) XX(є) = 0,

(Д2(є) — Р2(є)Дo(є)) XX(є) = 0,

(Дт(є) — pm^^o^)) XX(є) = 0,

где X(е) = Х1 (е)  Х2 (е)  ...  Хт (е).

Согласно теоремам 4-5, ¿е1 Д°(е) = 0 за исключением конечного множества точек, поэтому из теорем 3 и 7 следует, что эти две последние системы эквивалентные.

Поскольку s* собственное значение пучка Ai — s*A0, то согласно теореме 8 среди решений системы (51) найдется такое решение X(е) = Х1 (е)  Х2(е)  ...  Хт(е),

(р*(е),р2(е),...,Рт(е)), что

lim р1(е) = s*.

£—>0

lim X *(е) = X *,

£—0

тогда очевидно, что (A1 — s*A0)X* = 0 и при этом X* = Х Х ... В силу аналитичности Afc(е), X*(е) и pi (е) имеем A0X* = 0- Отсюда немедленно следует существование

конечных пределов:

lim0 Pk(е) = Pk

£— 0

для всех k. Теперь, учитывая существование конечных пределов величин pk(е) и Хк (е), перейдем к пределу е ^ 0 в системе(50), получим:

Г (В0, 1 + p*B 1 , 1 + p2B2, 1 + ... + pmBm, 1) x °

I (B0,2 + P1 B1 ,2 + p2B2,2 + ... + PmBm,2) x2 = 0,

[ (B0,m + P1B1,m + P2B2,m + ... + PmBm,m) = 0.

Таким образом, построенный нами вектор р = (p1,p2, ...,p^) является решением МПОСЗ. Теорема доказана-

5. Заключение

С помощью метода, изложенного выше, можно "конструктивно" решать многопараметрические обратные спектральные задачи. Для этого МПОСЗ необходимо привести к эквивалентной системе совместных спектральных задач, а затем уже решать прямую спектральную задачу для матричных пучков. Последняя задача является хорошо изученной и для ее решения существуют эффективные численные методы.

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

СПИСОК ЛИТЕРАТУРЫ

1. Гантмахер Ф.Р. Теория матриц. 5-е изд. М.: ФИЗМАТЛИТ, 2004. 560 с.

2. Левитан Б.М. Обратные задачи Штурма-Лиувилля. М.: Наука, 1984. 240 с.

3. Вибрации в технике: Колебания линейных систем / Под ред. В.В. Болотина. М.: Машиностроение, 1978. 352 с.

4. Биргер И.А. Техническая диагностика. М.: Машиностроение, 1978.

5. Коллатц Л. Задачи на собственные значения (с техническими приложениями). М.: Наука, 1968. 503 с.

6. Левитан Б.М., Гасымов М.Г. Определение дифференциального оператора по двум спектрам. // УМН. 1964. Т. 19. № 2(116). C. 3-63.

7. Левитан Б.М., Саргсян И.С. Введение в спектральную теорию (Самосопряженные обыкновенные дифференциальные операторы). М.: Наука, 1970. 672 с.

8. Юрко В. А. Обратные спектральные задачи и их приложения. Саратов: Сарат. педагогич. ин-т. 2001. 499 с.

9. F.M. Atkinson Multiparameter Eigenvalue Problems. V.1. Matrices. New York. McGRAW-Hill Book Company inc. 1972

10. Исаев Г.А. К многопараметрической спектральной теории // Доклады Академии наук СССР. 1976. Т. 229, № 2. C. 284-286.

11. Приближенное решение операторных уравнений. Красносельский М.А., Вайненко Г.М., За-брейко П.П., Рутицкий Я.Б., Стеценко В.Я. М.: Наука, 1969.

12. Валеев Н.Ф. Об одной модели управления собственными колебаниями динамических систем // Вестник Уфимского государственного авиационного технического университета. 2008. Т. 2. С. 45.

13. Валеев Н.Ф., Рабцевич С.А., Нугуманов Э.Р. О задаче определения параметров граничных условий оператора Штурма-Лиувилля по спектру // Вестник Самарского государственного университета. 2009. Т. 72. С. 12-20.

14. Садовничий В.А., Султанаев Я.Т., Валеев Н.Ф. Многопараметрические обратные спектральные задачи и их приложения // Доклады Академии наук. 2009. Т. 426. № 4. С. 457-460.

15. Валеев Н.Ф. Регулярные решения многопараметрической обратной спектральной задачи // Матем. заметки. 85:6 (2009). С. 940--943.

16. M.E. Hochstenbach, B. Plestenjak Backward error, condition numbers, and pseudospectrum for the multiparameter eigenvalue problem // Linear Algebra Appl. 375 (2003). P. 63--81.

17. Patrick J. Browne, B.D. Sleeman Inverse multiparameter eigenvalue problems for matrices // Proceedings of the Edinburgh Mathematical Society. 1988. 31. 151-155

18. Исаев Г.А. О сингулярных многопараметрических дифференциальных операторах. Теоремы разложения. // Математический сборник. 1986. Т. 131(173). №1(9).

19. H. Volkmer Multiparameter eigenvalue problems and expansion theorems. Berlin, Heidelberg, New York: Springer-Verlag. Lect. Notes Math. № 356. 1988.

20. Tomaz Kosir Root Vector for Geometrically Simple Multiparametr Eigenvalues. Integral EquationS and Operator Theory. 48 (2004). P. 365-396.

21. Грэхем М., Глэдвелл Л. Обратные задачи теории колебаний. Изд-во РХД, Москва-Ижевск, 2008. 610 с.

22. Хованский AT. Малочлены. М.: ФАЗИС, 1996. 220 c.

23. Прасолов В.В.Многочлены. М.: МЦМНО, 2001. 336 с.

24. Халмош П. Конечномерные векторные пространства. М.: Физматгиз, 1963. 263 с.

Нурмухамет Фуатович Валеев,

Институт математики с ВЦ УНЦ РАН, ул. Чернышевского, 112,

450008, г. Уфа, Россия E-mail: valeevnf@mail.ru