[논문 리뷰] Orthogonal polynomials in several variables. I

T. Constantinescu|ArXiv.org|2002. 05. 31.

Mathematical functions and polynomials참고 문헌 15인용 수 5

한 줄 요약

이 논문은 여러 변수에서 실수선 위의 직교다항식에 대한 비가환 대응을 도입하며, 재귀 관계, 크리스토펠-다르부 유사 공식, 잰비-유사 행렬을 수립한다. 주요 기여는 힐버트 공간 위의 곱셈 연산자와의 유니타리 동치를 통한 엄밀히 양성 기능의 특성화로, 직교다항식을 구조적 행렬 가족과 연결하고, 자유 모노이드 위의 양성 정의된 커널을 통해 비가환 하무버그 모멘트 문제를 해결한다.

ABSTRACT

In this paper we introduce and discuss some classes of orthogonal polynomials in several non-commuting variables. The emphasis is on a non-commutative version of the orthogonal polynomials on the real line. We introduce recurrence equations for these polynomials, Christoffel-Darboux formulas, and Jacobi type matrices.

연구 동기 및 목표

• 실수선 위의 직교다항식에 대한 비가환 확장을 다중 비가환 변수로 발전시키기.
• 비가환 설정에서 재귀 관계와 크리스토펠-다르부 공식을 수립하기.
• 재귀 구조와 관련된 잰비-유사 행렬을 정의하고 특성화하기.
• 자유 모노이드 위의 양성 정의된 커널을 사용하여 비가환 하무버그 모멘트 문제를 해결하기.
• 비가환 대수에서 GNS 구성과 직교다항식 이론을 통합하기.

제안 방법

• 2N개의 비가환 미지수를 가진 다항식의 유니탈 *-대수를 정의하고, Y_k → Y_{N+k}를 매핑하는 인벌루션을 설정한다.
• 모든 0이 아닌 P에 대해 φ(I_A(π(P))π(P)) > 0 를 만족하는 O_N^0(A)의 몫대수 위의 엄밀히 양성 선형 함수 φ를 도입한다.
• GNS 구성법을 적용하여 힐버트 공간 H_φ와 단위 정규 기저 {φ_α}를 단위 다항식 π(Y_σ)에 대한 그람-슈미트 과정을 통해 구한다.
• 블록 3차 대각형의 형태를 가진 행렬 계수 A_{n,k}, B_{n,k}, B^*_{n,k}를 이용해 정규직교 다항식 φ_α의 재귀 관계를 유도한다.
• 블록 3차 대각형의 형태를 가지며, 역행렬 가능한 상부 삼각 블록 B_n를 가진 힐버트 공간 위에서 작용하는 잰비 N-가족 행렬 (J_1,…,J_N)을 구성한다.
• 양성 정의된 커널 K(σ,τ) = s_{I(σ)τ}가 양성 기능 φ의 모멘트 s_σ = φ(Y_σ)를 특성화함을 증명한다.

실험 결과

연구 질문

• RQ1 다중 비가환 변수에서 직교다항식은 어떻게 체계적으로 정의되고 특성화될 수 있는가?
• RQ2 실수선의 경우와 유사한 비가환 직교다항식의 구조를 지배하는 재귀 관계는 무엇인가?
• RQ3 잔비-유사 행렬은 재귀 계수와 기본 기능 사이에 어떻게 관련되어 있는가?
• RQ4 비가환 설정에서 주어진 모멘트를 가진 양성 기능의 존재를 보장하는 조건은 무엇인가?
• RQ5 커널 이론을 사용하여 비가환 하무버그 모멘트 문제는 어떻게 해결할 수 있는가?

주요 결과

• 엄밀히 양성 기능이 주어진 몫 *-대수 위에서 GNS 구성법을 통해 실수선 위의 비가환 직교다항식의 대응이 구축된다.
• 정규직교 기저 {φ_α}는 블록 3차 대각형의 형태를 가진 행렬 계수 A_{n,k}, B_{n,k}, B^*_{n,k}를 가진 3항 재귀 관계를 만족한다.
• 잔비-유사 행렬 (J_1,…,J_N)은 힐버트 공간 H_φ 위에서 곱셈 연산자 Ψ_{φ,k}와 유니타리 동치이며, 스펙트럼 모델을 수립한다.
• 비가환 하무버그 모멘트 문제의 해가 제시된다: 수열 {s_σ}가 양성 기능의 모멘트 수열일 조건은 커널 K(σ,τ) = s_{I(σ)τ}가 양성 정의되어야 한다는 것이다.
• 커널 K는 자유 모노이드의 인벌루션 구조와 관련된 대칭성 성질 K(ασ,τ) = K(σ I(α), τ)를 만족한다.
• 잔비 N-가족의 블록 B_n의 가역성에 의해 유일한 엄밀히 양성 기능 φ의 존재가 보장되며, 이는 잘 정의된 정규직교 기저를 보장한다.