последовательно определяет по параметрам {mk,lk} струны характеристики ее колебаний {ηk,θk}, зависящие от спектрального параметра z. В то же время решения {θk,ηk} системы (1) вместе с ее решениями {θ(1)k,η(1)k}, отвечающими начальным условиям θ(1)0=1, η(1)0=0, формируют подходящие дроби для классической непрерывной дроби Стилтьеса [1], [2]:
Уравнения струны Стилтьеса(1) – прообраз многих замечательных систем операторов, таких как струна Крейна [2], [3] и канонические системы де Бранжа [4], [5].
Непрерывная дробь, эквивалентная (2), и соответствующие рекуррентные соотношения имеют вид
S(z)=1||z+a1||1+a2||z+a3||1+⋯,An+1=ϵnAn+anAn−1,
где ϵn=z, если n=2k, и ϵn=1, если n≠2k, k∈N; при этом A−1=0, A0=1 для знаменателей и A(1)−1=1, A(1)0=1 для числителей подходящих дробей. После сокращений подходящие дроби (2) совпадут с подходящими непрерывной дроби (3).
Для mk,lk>0 (ak>0) имеем равномерную на компактах в C∖[0,+∞) сходимость дроби Стилтьеса к функции СтилтьесаS(z), порожденной некоторой мерой σ>0:
Sn(z)→S(z)=∫+∞0dσ(x)z+x,suppσ∈R+.
2. Векторная дробь Стилтьеса
Понятие векторной непрерывной дроби основано на процедуре Якоби–Перрона обращения вектора c=(c1,c2,…,cd)∈Cd: c−1=1/c=(1/cd,c1/cd,…,cd−1/cd).
В настоящей работе мы рассматриваем векторное обобщение дроби Стилтьеса (2) и связанную с ним систему разностных уравнений, аналогичную (1).
Теорема 1. Пусть для векторной непрерывной дроби S(z) имеем mk,l1,k,l2,k≠0:
Отметим, что в [6] рассмотрено векторное обобщение эквивалентной дроби Стилтьеса (3) и для числителей A(1)n, A(2)n со знаменателем An у подходящих получено:
An+1=ϵnAn+an−1An−2,ϵn=zдля n=3k,ϵn=1для n≠3k,k∈N,
при этом a3k−2=(mkl1,kl2,k)−1, a3k−1=(mk+1l1,kl2,k)−1, a3k=(mk+1l1,k+1l2,k+1)−1.
3. Спектральная задача
Прямую спектральную задачу нахождения (σ1,σ2) из (8) удобнее решать в терминах коэффициентов {an} из (9). Известно [7], что преобразование fj(z)=zj+1Sj(z3), j=1,2, превращает систему функций Стилтьеса в систему функций Никишина f=(f1,f2), порожденную мерами dμj(x)=dσj(x3). Система Никишина – одна из базовых систем функций, для которых знаменатели аппроксимаций Эрмита–Паде {Qn(z)} являются многочленами совместной ортогональности относительно системы мер (μ1,μ2) [8]. Приложения систем Никишина в спектральной теории операторов Шрёдингера на графах см. в [9], [10]. Имеем
Таким образом, прямая спектральная задача для векторной струны Стилтьеса сводится к нахождению мер ортогональности (μ1,μ2) по коэффициентам соотношения (10).
Пусть W(z) – алгебраическая функция: W3−zW2+1=0, ветви: W0(∞)=∞, ImW2=0 на [0,α), α:=(27/4)1/3. Обозначим {Q(j)n}j=1,2 два других решения уравнений (10) с начальными условиями Q(1)0(x)=0, Q(1)1(x)=1, Q(1)2(x)=x, Q(2)0(x)=0, Q(2)1(x)=0, Q(2)2(x)=1, и пусть
S. A. Denisov, IMRS Int. Math. Res. Surv., 2006:2 (2006), 54517, 148 pp.
4.
L. de Branges, Trans. Amer. Math. Soc., 99 (1961), 118–152
5.
R. Romanov, Trans. Amer. Math. Soc., 369:2 (2017), 1061–1078
6.
A. Aptekarev, V. Kaliaguine, J. Van Iseghem, Constr. Approx., 16:4 (2000), 487–524
7.
A. I. Aptekarev, V. A. Kalyagin, E. B. Saff, Constr. Approx., 30:2 (2009), 175–223
8.
С. П. Суетин, УМН, 76:3(459) (2021), 183–184
9.
S. A. Denisov, M. L. Yattselev, Adv. Math., 396 (2022), 108114, 79 pp.
10.
А. И. Аптекарев, В. Г. Лысов, УМН, 76:4(460) (2021), 179–180
Образец цитирования:
А. И. Аптекарев, В. А. Калягин, “Спектральная задача для векторной струны Стилтьеса”, УМН, 77:5(467) (2022), 187–188; Russian Math. Surveys, 77:5 (2022), 946–948
В. Г. Лысов, “Распределение нулей многочленов совместной дискретной ортогональности в случае Анжелеско”, УМН, 79:6(480) (2024), 165–166; V. G. Lysov, “Distribution of zeros of polynomials of multiple discrete orthogonality in the Angelesco case”, Russian Math. Surveys, 79:6 (2024), 1101–1103