CC BY
42
ФИЗИКО-МАТЕМАТИЧЕСКИЕ НАУКИ
УДК 512.64+517.5
Об описании предельного спектра ленточных тёплицевых матриц
С. А. Золотых, В. А. Стукопии
(Донской государственный технический университет)
Решается задача описания предельного множества последовательностей собственных значений ленточных тёплицевых матриц растущих размеров (предельного спектра) с заданным символом. Предельный спектр ленточных тёплицевых матриц описан как полуалгебраическое множество, то есть как множество решений некоторой системы алгебраических уравнений и неравенств. При решении задачи использована техника вычисления результантов многочленов нескольких переменных. Сформулирован в частном случае алгоритм нахождения предельного спектра. Рассмотрен пример вычисления предельного спектра для конкретного символа. Данные результаты уточняют классические результаты Ф. Спитцера и П. Шмидта об описании предельного спектра ленточных несамосопряжённых тёплицевых матриц. Следует отметить, что эти классические результаты в значительной степени являлись теоремами существования и вопрос об эффективном нахождении предельного спектра Ф. Спитцером и П. Шмидтом не рассматривался.
Ключевые слова: ленточные тёплицевы матрицы, предельный спектр, результант, символ тёплицевой матрицы.
Введение. Тёплицевы (и связанные с ними ганкелевы) матрицы — это один из наиболее важных для приложений класс матриц, появляющийся в задачах фундаментальной математики, теоретической физики, механики, а также в многочисленных инженерных приложениях [1].
В данной работе рассматривается задача описания предельного множества последовательностей собственных значений ленточных тёплицевых матриц растущих размеров (предельного спектра) с заданным символом, как множества решений некоторой системы алгебраических уравнений и неравенств. Основной результат работы состоит в построении алгоритма, строящего такую систему алгебраических уравнений и неравенств. Отметим, что этот алгоритм рассматривается лишь в частном случае, с целью более выпукло представить основные идеи авторов.
Задача описания предельного спектра является важной и трудной задачей спектральной теории тёплицевых операторов, имеющей многочисленные применения в математической физике. Впервые такая задача была исследована Ф. Спитцером и П. Шмидтом в работе [2] (см. также работы [5], [6], посвящённые исследованию этой же задачи). Ф. Спитцер и П. Шмидт показали, что предельный спектр является аналитическим одномерным множеством, точнее, он либо состоит из одной точки, либо является объединением конечного множества аналитических дуг.
Позднее Дж. Ульман доказал связность предельного спектра [3]. Несмотря на столь почтенную историю вопроса описания предельного спектра, до сих пор нет алгоритмически эффективных способов его точного нахождения. В данной работе несколько усиливается результат, описанный в [2], и доказывается, что предельный спектр является полуалгебраическим множеством.
Данная работа выполнена при финансовой поддержке федеральной целевой программы «Научные и научно-педагогические кадры инновационной России» в рамках мероприятия 1.2.2 (госконтракт номер П1116), а также при финансовой поддержке Министерства образования и науки Российской Федерации, соглашение 14.А18.21.0356 «Теория функциональных пространств, операторов и уравнений в них».
Постановка задачи. Пусть f — комплекснозначная функция, аналитическая в окрестности окружности единичного радиуса 51 = {г е С : \г\ = 1}:
Г(г)=^акгк. (1)
кь2
Будем обозначать через У, (У) тёплицеву матрицу размера пхп, то есть матрицу Тп (У) = (з,У 1, матричные элементы которой задаются формулой а/ ; - а, ], где ак находится
из уравнения (1). Отметим, что у тёплицевой матрицы на каждой из диагоналей, параллельных главной, стоят одинаковые элементы. Если для к < -г и для к >!7 ак= 0, то есть аналитическая
л
функция f (г) превращается в лорановский полином f (г) = акгк, то соответствующая такой
к=-г
функции тёплицева матрица называется ленточной.
Упорядочим собственные значения матрицы Тп(У) так, что |Ля/|<|Ля;.| при
/ < У. Множество предельных точек последовательностей {^л/}” будем называть предельным
спектром последовательности тёплицевых матриц |ГЯ (^)}” и обозначать через о, (У).
Цель настоящей работы — установить связь между предельным спектром и функцией f(z) (которую также называют символом каждой из матриц последовательности |ГЯ (У)]” ). Отметим, что последовательность {аку является последовательностью коэффициентов Фурье-Лорана функции f(z).
Классическая теорема Сегё, которую также называют слабой теоремой Сегё [1, 4], утверждает, что в случае, когда символ является вещественнозначной функцией, а матрицы Тп (У) являются самосопряжёнными, предельный спектр последовательности тёплицевых матриц {Тп (У)}”^ с образом символа функции f(z):
о/(0 = /г(0 = {/г(^^б51}. (2)
В общем случае связь между предельным спектром о, (У) и символом f(z) является гораздо более сложной, и при рассмотрении большого числа примеров кажется случайной. Тем не менее, как показано ниже, эта связь существует, так, что по символу в результате некоторой алгоритмической процедуры вычисления можно найти предельный спектр. Этот результат является уточнением классических результатов Ф. Спитцера и П. Шмидта, являющихся в значительной степени теоремами существования.
Классические результаты. Приведём классические результаты Ф. Спитцера и П. Шмидта об описании предельного спектра о, (У) последовательности ленточных тёплицевых матриц
|ГП (У)]. Свяжем с символом ленточной тёплицевой матрицы f (г) = '^к__гакгк многочлен (2(г,Л) = гг(/г(г)-Л) = э_г+э_г+1г + ... + (э0-Л)гг+... + элгг+л. Тогда имеет место следующая теорема.
Теорема 1. (Ф. Спитцер, П. Шмидт, [2]). Пусть г! (Л),г2 (Л),...,г,.+л (Л) — комплексные корни многочлена <2 (г,Л), с учётом их кратности, упорядоченные по возрастанию их модулей,
а, (Л) = |г, (Л)|. Тогда предельный спектр описывается следующим условием:
о/(0 = {л£С|аДл) = аг+1(л)}. (3)
Основные результаты. В данном разделе описан предельный спектр как множество решений системы полиномиальных уравнений и неравенств. Рассматривается также алгоритм нахождения этой определяющей предельный спектр системы алгебраических уравнений и неравенств.
Прежде всего, напомним важное в дальнейшем понятие результанта многочленов нескольких переменных [5]. Эта конструкция не является так же хорошо известной как результант двух многочленов от одной переменной. Идея определения результанта в общем случае состоит в следующем. Пусть имеется система алгебраических уравнений, левую часть которой составляют многочлены fir...,fn, множество решений которой xu...,xN — конечно, и полином g . Произведение значений многочлена g в точках, являющихся общими корнями многочленов системы, называют результантом:
N
Res (fl,...,fn)g) = Y\g(xk).
k=í
Следует ещё раз отметить, что многочлены fir---,fn е k\_tlf...,tn~\ являются многочленами от многих переменных. Поле к удобно считать алгебраически замкнутым, в нашем случае можно ограничиться случаем к = С. В этом случае по теореме Безу (в случае общего положения) множество общих решений состоит из N = гх ■...■гп решений, где rk = áeg(fk) ,к = 1,...,п . Возможны модификации этого определения. Например, g = g(tlf...,tN), и результант равен значению многочлена g в общих корнях системы уравнений /j (л-) = 0,(л-) = 0 . При этом система может состоять и
из одного многочлена. Способы вычисления результанта могут быть разнообразными, но, по существу, в конечном итоге сводятся к использованию методов коммутативной алгебры и выборам специальных базисов. Удобно использовать, так называемые базисы Грёбнера, связанные со специальными упорядочениями множества мономов [6]. Ниже используется одно из таких упорядочений.
Напомним определение результанта в случае двух переменных (и трёх многочленов). Пусть firf2 е к\_х1Гх2~\ — многочлены двух переменных с коэффициентами из поля к,
X = {х1,х2). Далее ограничимся случаем, когда к = С совпадает с полем комплексных чисел. Пусть deg(/|.) = n¡, i = 1,2, N = n1-n2. Рассмотрим также многочлен gek\_X~\. Мы хотим определить результант Res(fuf2',g), как выражение пропорциональное произведению значений многочлена g в общих нулях многочленов fuf2. Выберем упорядоченный базис:
М =\ук =x?xf |0 < р1 < nu0<p2 < п2)к = 1,...,/Vj. (4)
Будем называть элементы из этого множества М степенными произведениями. Многочлен h(x) е к\_х1,х2'\ называется приведённым относительно А/, если он представляется в виде линейной комбинации степенных произведений из М . Можно показать, что для многочленов общего положения firf2 е к\_х1Гх2~\ можно редуцировать произвольный многочлен h(x) е к\_х1,х2'\
по модулю многочленов то есть найти такие многочлены ах,а2 е к[х1,х2'\1 что многочлен
hred {xux2) = h{xi'x2)-aí (*1,х2К {х1,х2)-а2 (xltx2)f2 (xlfx2) является приведённым относительно М. Пусть Klf...fKN — множество общих нулей многочленов fuf2. Тогда, очевидно, что hred (Л;) = h (Л;. ),1 < j < N .
Приведём многочлены \\к(Х)-д (Х),Х = {х1,х2), по модулю М и обозначим получившиеся многочлены через дк:
и, (Х)д (X) = ак1 (ху, (X) + ак2 (ху2 (X) + дк (X),
9к {Х) = Ьк 1М1 (Х) + ... + Ьш[1н (X).
Подставляя X = в приведённые выше равенства, мы получим
Ьк1м 1 (Л;) +... + Ьшмн (Л;) = м* (Л;)д (Л;).
Эти равенства легко записываются в виде следующих матричных тождеств:
ВУ =У ґд{\) 0 0 9 {К) ■ 0 ^ 0 ,И = Ч (М Мі (^2 ) ■ Мі (Ад, г
0 V 0 ■ 9 (К); (М Мл (^2) 1 ■ Мл
Вычисляя определитель от левой и правой частей, получаем, что
сЩВ) = Яе5(Г1ГГ2-д). (5)
Сформулируем теперь теорему, грубо описывающую предельный спектр как подмножество некоторого одномерного полуалгебраического множества.
Теорема 2. Пусть
г(2) = >
к=-г
(2(1,к) = 1к (э(г)-Л),ф(х,у,Л) = ке(£(х + /у,Л)),£2(х,у,Л) = 1т(£(х + /у,Л)),
А ,г2,и,Л) = кев (<?! (х, у, Л),(}2 (х, у,Л);д = и - ).
Тогда предельный спектр содержится в следующем полуалгебраическом множестве решений следующей системы уравнений и неравенств:
кез(>4(г1,г2,и,Л);>4'(г1,г2,и,Л)) = 0,1т(г1) = 0,1т(г2) = 0,1т(и) = 0,Яе(и) > 0 . (6)
Доказательство. Подробное доказательство теоремы достаточно громоздко. Ограничимся лишь схемой доказательства. Заметим, что надо всего лишь проверить, что если для точки Л комплексной плоскости выполняются условия теоремы 1, то для неё обязательно выполняется и условие (6). Этот факт проверяется просто с использованием приведённого выше определения результанта. На самом деле можно немного усилить доказываемый результат и показать, что условие (6) описывает одномерное вещественное полуалгебраическое множество.
Опишем теперь точно предельный спектр. Для простоты ограничимся частным случаем г + /? = 3 и (Л),г2 (Л),г3 (Л) — корни многочлена <2 (г,Л).
Введём следующие обозначения. Пусть ¿У = |Л: кез(л(Л,у),Л1; (Л,у)) = о], С/1 = |л: [^(Л(К,и),А”(к,и)) = О]. Понятно, что и1 = {Л: о1 (Л) = а2 (Л) = а3 (Л)]. Множество и\и1 распадается на два непересекающихся замкнутых подмножества Ц = {Л: (Л) = а2 (Л) < а3 (Л)} и 1/2 = |Л: о1 (Л) < а2 (Л) = а3 (Л)}. Тогда множество и 1/2 и будет
совпадать с искомым предельным спектром. Таким образом, получаем следующую теорему.
Теорема 3. Предельный спектр совпадает со следующим полуалгебраическим множеством:
о,(Г) = и1^2. (7)
Замечание. Нетрудно видеть, что, по существу, условие (7) даёт алгоритм нахождения предельного спектра, поскольку каждое из множеств, входящих в (7) допускает алгоритмически эффективное описание в терминах обычных результантов, так как наличие у многочлена f корня кратности, не меньшей чем к, может быть записано в виде условия: (а-),/7^4 (х)) = 0 . То есть,
каждое из множеств, входящих в условие (7) является алгебраическим и эффективно описывается как множество нулей многочлена, а разность алгебраических множеств, как известно, является полуалгебраическим множеством. Следовательно, полуалгебраическим множеством является и всё множество, описываемое условием (7). Последнее также влечёт возможность алгоритмического описания данного множества.
Пример вычисления предельного спектра.
Возьмём многочлен: а{г) = г'1 + г. В этом случае, получающиеся матрицы являются самосопряжёнными и спектр их, а следовательно и предельный спектр, будет вещественным.
Вычислим (г,Л): <?(г,Л) = г(з(г) - Л) = ¿(г 1 + г - Л) = 1 - Лг + г2.
Полученный результат преобразуем к виду <Э1 (х,у,Х) + ¡(¿2 (х,у,К):
<3, (х,у,Л) + /'О, (х,у,Л) = 1 - Л(х + /у) + (х + /у)2,
(?! (х,у,Л) + /Ц {х,у,Х) = 1 - Хх - ¡Ху + х2 + 2¡ху - у2 = 1 - Кх + х2 - у2 + / (-Л/ +2ху), <31(х,у,\) = 1-\х + х2 -у2,02(х,у,\) = -кх + 2ху Обозначим многочлены <31 (х,у,к),<32(х,у,к), через и /^, соответственно, а также рассмотрим многочлен д (и ,х ,у) = и-(х2 + у2} и, таким образом, имеем три многочлена:
=1 -Кх + х2 - у2, =-Кх + 2ху, д(и,х,у) = и -{х2 + у2).
Будем выполнять разложение многочленов по базису: М = {1,х,у,у2}.
Выразим: х2 =/г1 + у2 + Хх-1, ху = ^2 + ^-У, тогда д(и,х,у) = и -х2 -у2 =
= и - ^ - 2у2 - Кх +1.
Вычислим:
хд = хи - - 2 ху2 - Кх2 + х = хи - xfí-2y [^г + “ М^1 + У2 +^х ~^) + х =
= (-х -Х)^-)Я2- 2Ху2 + (у - Л2 +1) л- + Л уд = уи -уГх- 2у3 - Хху + у ; у2д = /2^1 -хуг2 +(и -1)у2 ■
Составим матрицу из остатков:
9 хд уд у2д
1 (и+1) X 0 0
X -Л [и - Л2 +1) 0 0
У 0 0 (и-1) 0
У2 -2 -2Л 0 (и-1)
Вычисляя определитель матрицы, получаем:
А{х,у,и,Х) = -2и2 + и4 — иХ2 +2у2Л2 -и3Х2 +1.
Если вычислить А’и (х,у,и,Л):
А'и (х,у,и,К) = -4и +4и3 -К2 +4иК2 -3и2К2.
Тогда, Ф&ь^А^х,у,и 1К)щ1А’и (л-,/,у,Л)) = 0, поскольку у многочлена А(х,у,и,К) и его производной есть общий корень -1. Следует исключить этот корень и опять использовать условие равенства нулю результанта. Но проще сразу найти условие кратности корней многочлена
А{х,у,и,К). Таким образом, исключая кратный корень [и =1], получим корни:
—Л2 -1 + — л/А4 - 4Л2, —Л2 -1 - — л/А4 - 4Л2.
2 2 2 2
Можно было сразу найти разложение результанта, получив искомые корни, что быстро даёт решение задачи:
и4 -и3К2 + 2и2 (Л2 -1)-уЛ2 +1 = 0
solve for u
0 = i],0=і],
и = —Л2 -1 + -ЛІК4 - 4Л21, \и = і Л2 -1 --ЛІК4 - 4Л2 2 2 2 2
Мы видим, что в силу условий (6) Л может быть любым вещественным числом. Далее необходимо использовать условия, описывающие множество U1 (то есть, по существу, (7)), но проще использовать условие наличия лишь двух вещественных корней. Осталось заметить, что третий и четвёртый корни обязаны быть комплексными, то есть должно выполняться условие: Л2 - 4 < 0.
Исходя из этого, можно сделать вывод о том, что точка Л является точкой предельного спектра в том и только в том случае, когда Л е [-2; 2]. Таким образом, предельный спектр в этом
случае совпадает с отрезком [-2; 2].
Данный результат можно подтвердить следующими рассуждениями. Так как Ç(z,A) = z(a(z) - Л) = z(z 1 - К + z) = 1 - Az + z2, то многочлен Ç(z,A) имеет следующие корни:
/. \ Л + л/Л2 - 4 ..
zx 2 (Л) =---------. Модули корней совпадают в том и только в том случае, когда дискриминант
отрицателен, то есть когда |Л| < 2 или -2 < Л < 2 .
Заключение. Данная работа содержит промежуточные результаты. В частном случае рассматривается алгоритм, дающий описание предельного спектра. В общем случае описание такого алгоритма становится более громоздким. Наличие алгоритма, дающего точное (а не приближённое), описание предельного спектра представляет несомненный теоретический интерес. Возникают естественные вопросы о скорости работы такого алгоритма, о его практической применимости и эффективности. В дальнейшем планируется вернуться к рассмотрению этих вопросов. Интересным, хотя и весьма сложным, вопросом является также обобщение теоремы 2 данной работы на другие классы тёплицевых несамосопряжённых матриц [7]. Сложность такого рода результата понятна в силу того, что он должен включать в себя теоремы типа слабой теоремы Сегё для этих классов несамосопряжённых тёплицевых матриц.
Библиографический список
1. Grenander V. Teoplitz Forms and Their Applications / V. Grenander, G. Szego — Berkeley : Univ. of California Press, 1958. — 245 p.
2. Schmidt P. The Teoplitz matrices of an arbitrary Laurent polynomial / Schmidt P., Spitzer F. // Math. Scand. - 1960. - V. 8. - P. 15-38.
3. Ullman J. L. A problem of Schmidt and Spitzer / J. L. Ullman // Bull. Amer. Math. Soc. — 1967. - V. 73. - P. 883-885.
4. Bottcher A. Spectral properties of banded Teoplitz matrices / A. Bottcher, S. Grudsky. — Philadelphia : SIAM, 2005. - 422 p.
5. Bikker P. On the Bezout Construction of the Resultant / P. Bikker, A. Uteshev // J. Symbolic Computation. — 1999. — V. 28. — P. 45-88.
6. Кокс, Д. Идеалы, многообразия и алгоритмы / Д. Кокс, Дж. Литтл, Д. О'Ши. — Москва : Мир, 2000. - 687 с.
7. Widom Н. Eigenvalue distribution of nonselfadjoint Teoplitz matrices and the asymptotics of Teoplitz determinants in the case of nonvanising ingex / H. Widom // Operator Theory: Adv. And Appl. — 1990. — V. 48. — P. 387-421.
Материал поступил в редакцию 27.09.2012.
References
1. Grenander, V., Szego, G. Teoplitz Forms and Their Applications. Berkeley: Univ. of California Press, 1958, 245 p.
2. Schmidt, P., Spitzer, F. The Teoplitz matrices of an arbitrary Laurent polynomial. Math. Scand., 1960, vol. 8, pp. 15-38.
3. Ullman, J.L. A problem of Schmidt and Spitzer. Bull. Amer. Math. Soc., 1967, vol. 73, pp. 883-885.
4. Bottcher, A., Grudsky, S. Spectral properties of banded Teoplitz matrices. Philadelphia: SIAM, 2005, 422 p.
5. Bikker, P., Uteshev, A. On the Bezout Construction of the Resultant. J. Symbolic Computation, 1999, vol. 28, pp. 45-88.
6. Cox, D., Little, J., O'Shea, D. Idealy, mnogoobraziya і algoritmy. [Ideals, Varieties, and Algorithms.] Moscow: Mir, 2000, 687 p. (in Russian).
7. Widom, H. Eigenvalue distribution of nonselfadjoint Teoplitz matrices and the asymptotics of Teoplitz determinants in the case of nonvanising index. Operator Theory: Adv. And Appl., 1990, vol. 48, pp. 387-421.
ON FORMULATION OF LIMITARY SPECTRUM OF BANDED TOEPLITZ MATRICES
S. A. Zolotykh, V. A. Stukopin
(Don State Technical University)
A problem on the formulation of the limit set for the sequences of increasing Toeplitz matrices eigenvalues (of the limitary spectrum) with the chosen symbol is solved. The limitary spectrum of the banded Toeplitz matrices is described as a semialgebraic set, viz a solution set of some system of algebraic equations and inequalities. In the solution to the problem, the multivariate resultant technique is used. An algorithm of the limitary spectrum determination is formulated for the particular case. An example of the limitary spectrum computation for the specific symbol is considered. These results check the classical results by F. Spitzer and P. Schmidt on the description of the limitary spectrum of the nonselfadjoint Toeplitz matrices. It should be pointed out that these classical results are significantly existence theorems, and the problem on the effective computation of limitary spectrum by F. Spitzer and P. Schmidt is not considered.
Keywords: banded Toeplitz matrices, limitary spectrum, resultant, Toeplitz matrix symbol.
