本文旨在對所有 2 × 2 拉蓋爾型對稱微分算子 D 進行分類,這些算子關於區間 (0, ∞) 上的一個 2 × 2 不可約矩陣權重 W 對稱,並假設其對應的單項正交多項式序列 {Pn}n∈N0 的特徵值 {∆n}n∈N0 為下三角矩陣,即對於所有 n ≥ 0,DPn = Pn∆n。此外,還給出了使微分算子 D 滿足 W 對稱性的顯式矩陣權重 W。
本文證明了任何具有上述性質的算子都等價於以下三個家族中的一個算子:
Dα,β,b = tI∂2 +
α + 1 + β −t
0
−b(β −2)t
α + 1 −t
∂−
1
0
−b(α + 1)
0
,
Wα,β,b(t) = e−ttα
tβ + b2t2
bt
bt
1
,
α > −1, β > −1 −α, b ̸= 0.
Dα,b = tI∂2 +
α + 5 −t
0
−4b(α + 2)t
α + 1 −t
∂−
2
0
−2b(α + 2)(α + 1)
0
,
Wα,b(t) = e−ttα
t4 + 4b2(α + 2)t2(α + 2 −t)
−bt(t −2(α + 2))
−bt(t −2(α + 2))
1
,
α > −1, 0 < |b| < 1.
Dβ = tI∂2 +
3/2 −t
β/4
t
1/2 −t
∂−
1/2
0
−1/2
0
,
Wβ(t) = e−tt−1/2
4t
β (e
√βt + e−√βt)
2
√
t
√β (e
√βt −e−√βt)
2
√
t
√β (e
√βt −e−√βt)
e
√βt + e−√βt
,
β > 0.
本文完整分類了所有滿足特定條件的 2 × 2 拉蓋爾型微分算子,並給出了它們的顯式表達式以及對應的權重函數,為矩陣值正交多項式的研究提供了新的理論依據。
翻譯成其他語言
從原文內容
arxiv.org
深入探究