CC BY
29
ИНФОРМАТИКА, ВЫЧИСЛИТЕЛЬНАЯ ТЕХНИКА И УПРАВЛЕНИЕ INFORMATION TECHNOLOGY, COMPUTER SCIENCE, AND MANAGEMENT
УДК 512.64+517.5 DOI 10.12737/16052
Об алгоритме построения тёплицевых матриц с заданным числом компонент связности
*
дополнения предельного спектра
С. А. Золотых**
1Донской государственный технический университет, г. Ростов-на-Дону, Российская Федерация
On Toeplitz matrices construction algorithm with a given number of connected components of the limitary spectrum complement***
S. A. Zolotykh*
1Don State Technical University, Rostov-on-Don, Russian Federation
Исследуются простейшие топологические свойства предельного спектра, а именно связность его дополнения в комплексной плоскости. В работе проведена численная проверка оценок снизу для максимального числа компонент связности дополнения предельного спектра ленточных тёплицевых матриц, символ которых — полином Лорана заданной степени. Приведён алгоритм вычисления параметров символа тёплицевой матрицы, предельный спектр которой разбивает комплексную плоскость на заданное число компонент связности. Численно исследованы примеры полиномов, являющихся символами тёплицевых матриц, предельный спектр которых делит комплексную плоскость на заданное множество компонент связности. Приведены графики предельных спектров тёплицевых матриц, иллюстрирующие полученные в работе результаты. Проведено сравнение полученных методами работы предельных спектров и спектров тёплицевых матриц больших размеров с заданным символом.
The simplest topological properties of the approximate spectrum, namely the connectivity of its complement in the complex plane, are studied. A numerical verification of the lower bounds for the maximum number of the connected components of the limitary spectrum complement of the band Toeplitz matrices whose symbol is Laurent polynomial of the specified degree, is carried out. The algorithm for computation of the Toeplitz matrix symbol parameters with its approximate spectrum dividing the complex plane into a given number of connected components is adduced. The examples of polynomials which are Toeplitz matrices symbols with the limitary spectrum dividing the complex plane into a given set of connected components are numerically investigated. Graphs of the limitary spectra of Toeplitz matrices illustrating the results obtained are given. The obtained limitary spectra are compared to the Toeplitz matrices spectra of large size with a given symbol.
Ключевые слова: ленточная тёплицева матрица, символ тёп-лицевой матрицы, предельный спектр, число компонент связности.
Keywords: banded Toeplitz matrix, Toeplitz matrix symbol, limitary spectrum, number of connected components.
Введение. В данной работе решается задача экспериментальной проверки оценок снизу максимального числа компонент связности дополнения предельного спектра ленточных тёплицевых матриц, символы которых — лорановские
2 полиномы заданной степени. Вычисляются значения параметров символа последовательности ленточных тёплицевых
3 матриц, дополнение предельного спектра которых имеет заданное число компонент связности из промежутка значе-й ний, границы которого найдены в работе [1]. Заметим, что это — часть общей задачи исследования геометрии пре-"3 дельного спектра ленточных тёплицевых матриц [2-6]. Отметим, что в случае тёплицевых матриц с более сложным й символом предельный спектр часто допускает явное и относительно простое описание по сравнению с предельным
и
^ спектром ленточных тёплицевых матриц [7-8]. Уточним постановку задачи и напомним необходимые для понимания
о, -Й
* Работа выполнена в рамках инициативной НИР.
116 ** E-mail: [email protected]
*** The research is done within the frame of the independent R&D.
работы понятия [5, 9]. Пусть / — комплекснозначная функция, аналитическая в окрестности окружности единичного радиуса 5"1 = {г е С: = 1}:
/(г)= Iакгк . (1)
ке2
Будем обозначать через Гп (/) тёплицеву матрицу размера п х п, то есть матрицу Гп (/)=(агу-)" ^ матричные элементы которой задаются формулой а у = а{_у, где ак находятся из (1). Отметим, что у тёплицевой матрицы на каждой
из диагоналей, параллельных главной, стоят одинаковые элементы. Заметим, что если для к < _г и для к > к, ак = 0,
к
то есть аналитическая функция /(г) превращается в лорановский полином /(г)= I акгк , то соответствующая та-
к=_г
кой функции тёплицева матрица называется ленточной.
Упорядочим каким-нибудь образом собственные значения {хп,г- ^Г1^ 1 матрицы Тп (/) так, что |Хпг| <|Хпу| при
I < у . Множество предельных точек последовательностей {Хп ^1 будем называть предельным спектром последовательности тёплицевых матриц {Гп (/ )}"= 1 и обозначать через ст; (/).
Далее выясним, как связан предельный спектр с функцией / (г) (которую также называют символом каждой из матриц последовательности {Гп (/)}"= 1) и какова геометрическая структура предельного спектра. Для самосопря-
жённых матриц ответ известен давно. Предельный спектр — это отрезок вещественной прямой. Несамосопряжённый случай намного сложнее. В работе Ф. Спитцера и П. Шмидта [2] было получено описание предельного спектра несамосопряжённых тёплицевых матриц в терминах совпадения модулей корней многочлена строящегося по символу последовательности ленточных теплицевых матриц. Используя такое описание, Ф. Спитцер и П. Шмидт доказали, что предельный спектр является либо одномерным множеством, являющимся объединением аналитических дуг, либо нуль-мерным множеством, состоящим из точки. Позднее Ульман доказал связность предельного спектра [3]. Более тонкие геометрические вопросы о строении предельного спектра ленточных несамосопряжённых матриц являются открытыми вопросами до настоящего времени. В данной работе исследуется вопрос о числе компонент дополнения предельного спектра ленточных тёплицевых матриц. Экспериментально доказывается, что число этих компонент может быть сколь угодно большим. Построены конкретные примеры символов — полиномов Лорана, таких, что предельный спектр соответствующих им тёплицевых матриц разбивает комплексную плоскость на максимальное число
'к +1"
компонент связности, равное
и
к
, где 2к — степень полинома Лорана, являющегося символом данной последо- щ 2 ^
ч п
вательности тёплицевых матриц. В основе работы лежит способ специального выбора параметров полиномов Лорана, ^ являющихся символами тёплицевых матриц, предельный спектр которых разбивает комплексную плоскость на задан- Е
к
. Таким образом, на основе численного эксперимента получаем $
ное число компонент связности г, где 1 < г <
к +1 2
К
некоторые оценки снизу для максимального числа компонент, на которые может разбивать комплексную плоскость
ст(А) = {Х е С: А _Х1 _ необратим }.
Ь(Х) = ц + (а(х)
2. Если к > 3 тогда C \ ст1(ь) имеет по меньшей мере
2
компонент (включая неограниченную компоненту).
и н
предельный спектр последовательности тёплицевых матриц с символом заданной степени к . Заметим, что в данной
работе уточняется часть результатов, анонсированных в работе [10]. Следует также отметить, что вопросы геометрии щ
предельного спектра играют большую роль при изучении асимптотики собственных чисел тёплицевых матриц боль- ч
<о
ших размеров [4]. В работе использованы следующие стандартные обозначения: ст(А) — спектр оператора A : ¡^
ч о К
Основной результат работы. Рассмотрим многочлен 2
Ь(Х) = ц + X-к (х _а)к (х _р)к , (2) £
и
где ц,а,р являются комплексными числами, и а-р^0. Пусть а(х) = X_1(х_а)(х_р). Легко видеть, что
\к « Лк Л
О . О
Далее численно проверим следующий результат, анонсированный в [4]. щ
Теорема 1. Если к = 1 или к = 2 , тогда С \ ст1 (ь) связен. ®
"к +1"
117
3. Для каждого натурального числа ] между 1 и нент. Именно а, р находятся из уравнений
к +1
существуют такие
а, р, что С \ и1 (ь)
[_(а + р) + 2^0^ = Л, [_(а + р)_ ^^/атр = /2.
имеет ровно ] компо-
(3)
При этом /1, /2 следует выбирать так, чтобы разность значений их аргументов удовлетворяла следующему условию:
л(г _ 1) , , ~ , , , лг
-:-<а^(/х)_ ощ(/2 )\< —, г = 1,....к .
к к
В этом случае число компонент связности дополнения предельного спектра будет равно
(4)
г +1 2
Замечание. Приведём явный способ построения символа тёплицевых матриц, предельный спектр которых делит комплексную плоскость на число 5 = 1,...к компонент связности, уточняющий приведённую выше теорему. Зафиксируем произвольное комплексное число г0, отличное от 0. Выберем угол ф, удовлетворяющий следующему условию:
_ 1)
—--<ф<-
к к
(5)
Положим / = г0, /2 = егфг0. Мы можем, используя формулы (3) явно найти значения параметров а, р, чтобы выполнялось условие (4):
а =_ г° + е""г° + -/2,
г0 + е'ф г0 1
р =--;--т-
гф /2
2
0
Примеры вычисления предельных спектров. Ниже, используя описанную выше схему вычисления параметров символа тёплицевой матрицы, предельный спектр которой разбивает комплексную плоскость на заданное число г компонент связности, находим значения параметров символа. Результаты вычислений сведены в таблицу. Отметим, что значение ц выбирается так, чтобы |ц _ (а + р) > 0 и было достаточно мало, а |а • р| > 0 достаточно велико. Будем рассматривать символ Ь(?) = ц + ? к (? _а)к (? _р)к с параметрами из следующей таблицы:
Таблица 1
Связь числа компонент связности и параметров символа
й о тз
'й
и
и
>
Л -Й
Число компонент г Угол ф _ 1) л —-- <ф <- к к /1 /2 а р ц к
1 0 < ф < л , пусть ф = 1,11 8-7/ 9,8272+ 4,0529/ 0,78710,1301/ -9,7007+ 1,6036/ -8,9+1,5/ 1
2 2л -< ф< л, 3 пусть ф = 2,48 8-7/ -2,0115+ 10,4381/ 3,1123+ 1,7868/ -6,10653,5058/ 2,7+1,7/ 3
3 4л — <ф< л, 5 пусть ф = 2,52 8-7/ -2,4273+ 10,3493/ 3,1624+ 1,9007/ -5,94873,5753/ -2,5-1,5/ 5
4 6л —<ф<л, 7 пусть ф = 2,71 8-7/ -4,3382+ 9,7046/ 3,3599+ 2,4816/ -5,19083,8340/ -1,8-1,3/ 7
Приведём примеры предельных спектров последовательностей тёплицевых матриц с символами вида (2), параметры которого заданы в таблице 1. Номера рисунков соответствуют номерам параметров символа из таблицы.
/
/
/
/
4- /
/
/
2- /
/
/
/
я*
1 1 1 1 1 1 1 1 А -0,3 -0,6 -0,4 -0,2 ¿6 " 1 1 1 1 1 1 1 1 1 0,2 0,4 0,6 0,3
У
/
</
/ "2"
/
У
У
У -4-
/
У
/
Рис. 1. Одна компонента связности дополнения предельного спектра
Рис. 2. Две компоненты связности дополнения предельного спектра И
Рис. 3. Три компоненты связности дополнения предельного спектра
Рис. 4. Четыре компоненты связности дополнения предельного спектра
й О ТЗ
М
"¡3
и
<и
О, £ Л
Замечание. К сожалению, возможности программы Maple аналитических вычислений не позволяют хорошо рассмотреть на рис. 4 число компонент связности дополнения предельного спектра из-за большой разницы масштабов различных компонент связности дополнения предельного спектра.
Сравнение предельного спектра и спектра ленточных тёплицевых матриц. Рассмотрим примеры вычисления спектра ленточных тёплицевых матриц достаточно больших размеров с рассмотренными выше символами. Такие спектры должны быть хорошими приближениями предельных спектров, построенных в предыдущем пункте. В настоящей работе важно показать, что в пределе по размеру матрицы спектры рассмотренных матриц стремятся к кривой, дополнение которой содержит нужное число компонент связности, такое же как и на соответствующих графиках из предыдущего пункта.
Рассмотрим тёплицевы матрицы с символом b (t) = ц +t— (t - o) (t - p)k при
120
k = 3, o = 3,1123 +1,7868/, p = -6,1065 -3,5058/, ц = 2,7 + 1,7/.
(6)
В этом случае символ имеет следующий вид:
b(t) = t3 + (8,9820 + 5,1570/)2 + (- 20,1961 - 34,5865/) - 0,8233 - 480,6002/ +
- 497,4325 + 881,4213/ - 5687,1709 + 3376,5336/ 16135,0717 - 236,3335/ н---1-----1----.
(7)
Рис. 5. График собственных значений тёплицевой матрицы с символом (7) размера n = 40
Заключение. Экспериментально исследован вопрос о числе компонент связности дополнения предельного спектра
ленточных тёплицевых матриц, лорановский полином которых — многочлен вида
b(t) = ц +1-к (t -а)к (t -р)к. Рас-
смотрен алгоритм построения тёплицевых матриц с данным символом и заранее заданным числом компонент связности дополнения предельного спектра. Экспериментально проверено, что для каждого натурального числа ] между 1
к +1 2
можно подобрать такой символ b(t) = ц +1 к (t -а)к (t -р)к, что предельный спектр тёплицевых матриц с
этим символом делит комплексную плоскость ровно на j компонент связности. Этот результат даёт, в частности, оценку снизу для максимального числа компонент дополнения предельного спектра для ленточных тёплицевых матриц с символом — многочленом Лорана заданной степени.
Библиографический список
1. Boettcher, A. Spectral properties of banded Toeplitz matrices / A. Boettcher, S. Grudsky. — Philadelphia : SIAM, 2005. — 422 р.
2. Schmidt, P. The Toeplitz matrices of an arbitrary Laurent polynomial / P. Schmidt, F. Spitzer // 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. Batalshikov, A. Asymptotics of eigenvalues of large symmetric banded Toeplitz matrices / A. Batalshikov, S. Grudsky, V. Stukopin // Linear Algebra and its Applications. — 2015. — V. 469. — P. 464-486.
5. Золотых, С. А. О вычислении предельного спектра ленточных тёплицевых матриц / С. А. Золотых, В. А. Стукопин // Математический форум. (Итоги науки. Юг России.) —2013. — Т. 7. — С. 80-87. Золотых, С. А. Об описании предельного спектра ленточных тёплицевых матриц / С. А. Золотых, В. А. Стукопин // Вестник Дон. гос. техн. унта. — 2012. — №8(69). — С. 5-11.
6. Батальщиков, А. А. О распределении собственных чисел тёплицевых матриц с символом Хартвига-Фишера / А. А. Батальщиков, В. А. Стукопин // Вестник Дон. гос. техн. ун-та. — 2011. — № 3. — С. 812-819.
7. Widom, H. Eigenvalue distribution of nonselfadjoint Toeplitz matrices and the asymptotics of Toeplitz
(U К X <u
и
Л
С
^
IS
<3
и
IS X X <u H
5
X Л
(U
!s
о
IS
E 3 и
<3
и
IS Й s
a о
X
s
t
t
t
и
determinants in the case of nonvanishing index / H. Widom // Oper. Theory: Adv. Appl. — 1990. — V 48. — P. 387-421.
8. Золотых, С. А. Об оценках снизу для максимального числа компонент дополнения предельного спектрпоследовательности тёплицевых матриц с символом заданной степени / С. А. Золотых // Порядковый анализ и смежные вопросы математического моделирования : сб. трудов междунар. науч. конф. — Владикавказ, 2015. — С. 72 — 73.
9. Золотых, С. А. Об оценке числа компонент связности предельного спектра ленточных тёплицевых матриц / С.А. Золотых, В. А. Стукопин // Современные методы и проблемы теории операторов и гармонического анализа и их приложения-III : сб. трудов междунар. науч. конф. — Ростов-на-Дону, 2013. — С. 20.
10. Золотых, С. А. Об оценке числа компонент связности предельного спектра ленточных тёплицевых матриц / С. А. Золотых, В. А. Стукопин //Международная конференция "Современные методы и проблемы теории операторов и гармонического анализа и их приложения - III". — 2013. — С. 20.
References
1. Boettcher, A., Grudsky, S. Spectral properties of banded Toeplitz matrices. Philadelphia: SIAM, 2005, 422 р.
2. Schmidt, P., Spitzer, F. The Toeplitz matrices of an arbitrary Laurent polynomial. Mathematica Scandinavica, 1960, vol. 8, pp. 15-38.
3. Ullman, J.L. A problem of Schmidt and Spitzer. Bull. Amer. Math. Soc., 1967, vol. 73, no. 6, pp. 883-885.
4. Batalshikov, A., Grudsky, S., Stukopin, V. Asymptotics of eigenvalues of large symmetric banded Toeplitz matrices. Linear Algebra and its Applications, 2015, vol. 469, pp. 464-486.
5. Zolotykh, S.A, Stukopin, V.A. O vychislenii predel'nogo spektra lentochnykh teplitsevykh matrits. [On calculation of the limitary spectrum of band Toeplitz matrices.] Matematicheskiy forum (Itogi nauki. Yug Rossii).2013, vol. 7, pp. 80-87 (in Russian).
6. Zolotykh, SA., Stukopin, V.A. Ob opisanii predel'nogo spektra lentochnykh teplitsevykh matrits. [On formulation of limitary spectrum of banded Toeplitz matrices.] Vestnik of DSTU, 2012, no. 8(69), pp. 5-11 (in Russian).
7. Batalshchikov, A.A., Stukopin, V.A. O raspredelenii sobstvennykh chisel teplitsevykh matrits s simvolom Khartviga Fishera. [On distribution of eigen values of Toeplitz matrices with Hartwig-Fisher symbol.] Vestnik of DSTU, 2011, no. 3, pp. 812-819 (in Russian).
8. Widom, H. Eigenvalue distribution of nonselfadjoint Toeplitz matrices and the asymptotics of Toeplitz determinants in the case of nonvanishing index. Oper. Theory: Adv. Appl., 1990, vol. 48, pp. 387-421.
9. Zolotykh, SA. Ob otsenkakh snizu dlya maksimal'nogo chisla komponent dopolneniya predel'nogo spectra posledovatel'nosti teplitsevykh matrits s simvolom zadannoy stepeni. [On lower bounds for the maximum number of complement components of the limit spectrum of a sequence of Toeplitz matrices with symbol of given degree.] Poryadkovyy analiz i smezhnye voprosy matematicheskogo modelirovaniya: sb. trudov mezhdunar. nauch. konf. [Ordinal analysis and related issues of mathematic simulation: Proc. Int. Sci. Conf.] Vladikavkaz, 2015, pp. 72-73 (in Russian).
10. Zolotykh, SA., Stukopin, V.A. Ob otsenke chisla komponent svyaznosti predel'nogo spektra lentochnykh teplitsevykh matrits. [On estimation of number of connected components of the limitary spectrum of the band Toeplitz matrices.] Sovremennye metody i problemy teorii operatorov i garmonicheskogo analiza i ikh prilozheniya-III: sb. trudov mezhdunar. nauch. konf. [Modern methods and problems of the theory of operators and harmonic analysis and their applications-III: Proc. Int. Sci. Conf.] Rostov-on-Don, 2013, p. 20 (in Russian).
Поступила в редакцию 21.07.2015 Сдана в редакцию 21.07.2015 Запланирована в номер 24.09.2015
й о тз
"¡3
и
О, £ -Й
