[논문 리뷰] Matrix Valued Orthogonal Polynomials for Gelfand Pairs of Rank One

Gert Heckman, Maarten van Pruijssen|arXiv (Cornell University)|2013. 10. 18.

Nonlinear Waves and Solitons참고 문헌 22인용 수 8

한 줄 요약

이 논문은 표현 이론과 분해 규칙을 이용하여 단일 랭크 컴팩트 Gelfand 쌍에 대해 행렬 값의 직교 다항식을 구성한다. 이러한 다항식이 카시미어 연산자로부터 유도된 교환 법칙을 만족하는 두 번째 차수 미분 연산자 대수의 동시에 고유 함수임을 입증하며, 고전적 스투름-리우빌 이론을 행렬 설정으로 일반화한다.

ABSTRACT

In this paper we study matrix valued orthogonal polynomials of one variable associated with a compact connected Gelfand pair (G,K) of rank one, as a generalization of earlier work by Koornwinder and subsequently by Koelink, van Pruijssen and Roman for the pair (SU(2) x SU(2),SU(2)), and by Grünbaum, Pacharoni and Tirao for the pair (SU(3),U(2)). Our method is based on representation theory using an explicit determination of the relevant branching rules. Our matrix valued orthogonal polynomials have the Sturm--Liouville property of being eigenfunctions of a second order matrix valued linear differential operator coming from the Casimir operator, and in fact are eigenfunctions of a commutative algebra of matrix valued linear differential operators coming from $U(g_c)^K$.

연구 동기 및 목표

• 컴act Lie 군 위의 조화 해석을 이용하여 고전적 스투름-리우빌 직교 다항식을 행렬 값 설정으로 일반화한다.
• 교환 법칙을 만족하는 미분 연산자 대수의 고유 함수인 행렬 값의 직교 다항식을 구성한다.
• 특정 쌍인 (SU(2)×SU(2), SU(2)) 및 (SU(3), U(2))에 대한 기존 결과를 모든 단일 랭크 Gelfand 쌍에 대해 통일된 프레임워크로 확장한다.
• 카시미어 연산자의 반경 부분과 분해 규칙을 통해 이러한 다항식의 스펙트럼 성질을 확립한다.

제안 방법

• K의 기약 표현으로부터 유도된 표현을 이용해 컴팩트 리 군의 표현 이론을 활용하여 행렬 값의 직교 다항식을 정의한다.
• 다중도가 없는 시스템 (G,K,F)의 분해 규칙을 적용하여 유도된 표현이 다중도 1로 기약 분해됨을 보장한다.
• U(g_c)^K_c에 속하는 카시미어 연산자 Ω의 반경 부분을 통해 미분 연산자를 구성하며, 이는 다항식 대수 M^μ[x] 위의 두 번째 차수 미분 연산자 Ω^μ로 사상된다.
• 행렬 값 다항식 P^μ_n(x)가 동시에 고유 함수가 되는 공통의 미분 연산자 대수 D^μ ⊂ M^μ[x, ∂_x]를 유도한다.
• 변수 치환 x = cϕ(t) + (1−c)을 적용하여 최대 토러스 T 위의 고유 함수 Ψ^μ_n(t)를 [−1,1]에 속하는 직교 다항식으로 변환한다.
• 이중 스펙트럼 성질과 T_reg에서 Ψ^μ_0의 가역성을 이용하여 변환된 미분 연산자가 정칙 계수를 가지며 내적의 구조를 유지함을 보장한다.

실험 결과

연구 질문

• RQ1 표현 이론을 이용하여 모든 컴팩트 Gelfand 쌍의 단일 랭크에 대해 스투름-리우빌 성질을 갖는 행렬 값의 직교 다항식을 체계적으로 구성할 수 있는가?
• RQ2 이러한 다항식은 카시미어 연산자로부터 유도된 교환 법칙을 만족하는 미분 연산자 대수의 고유 함수로 나타나는가?
• RQ3 다중도가 없는 시스템 (G,K,F)의 분해 규칙은 결과로 얻어진 행렬 값의 직교 다항식의 스펙트럼 성질과 구조에 어떻게 영향을 주는가?
• RQ4 카시미어 연산자의 반경 부분을 명시적으로 계산하고, 이를 통해 실수 고유값을 갖는 대칭적인 미분 연산자가 행렬 설정에서 유도되는가?
• RQ5 도함수의 차수 함수와 μ-우물의 구조는 고차원 설정에서 기하학적으로 또는 볼록성에 의해 어느 정도 이해될 수 있는가?

주요 결과

• 행렬 값의 직교 다항식 P^μ_n(x)는 두 번째 차수 미분 연산자 대수 D^μ의 동시에 고유 함수로 구성된다.
• 카시미어 연산자의 반경 부분에서 유도된 미분 연산자 Ω^μ는 행렬 값 내적 ⟨⋅,⋅⟩_W^μ에 대해 대칭이며 실수 고유값을 갖는다.
• 최대 토러스 T 위의 함수들 {Ψ^μ_n}은 이중 스펙트럼 성질을 만족하며, 변수 치환을 통해 [−1,1] 위의 정칙 미분 연산자를 구성할 수 있다.
• μ-우물의 바닥은 기본 구면 표현에 대해 잘 정의되어 있어, 직교화를 위한 차수 함수가 필요한 성질을 갖는다.
• Ψ^μ_0는 T_reg에서 점별로 가역적이며, 이는 M^μ[x] 위의 변환된 미분 연산자가 정칙 계수를 갖는다는 것을 보장한다.
• 이 구성은 (SU(2)×SU(2), SU(2)) 및 (SU(3), U(2))와 같은 알려진 예들을 포함하여 모든 단일 랭크 Gelfand 쌍, 즉 (G_2, SU(3)), (Spin(7), G_2), (USp(2n), USp(2n−2)×USp(2)), (F_4, Spin(9))로 일반화된다.