[논문 리뷰] Spectral theory and special functions

Erik Koelink|ArXiv.org|2001. 07. 05.

Mathematical functions and polynomials참고 문헌 23인용 수 27

한 줄 요약

이 논문은 ℓ²(ℤ≥0) 및 ℓ²(ℤ) 위에서 자기수반 잰비에이 연산자를 사용하여 스펙트럼 이론을 적용하여 특수 함수의 직교성 관계를 유도한다. 스펙트럼 분해를 통해 파바르드의 정리를 증명하고, 메이크너, 메이크너-폴라츠크, 그리고 q-하이퍼지오메트릭 차분 연산자에 대한 스펙트럼 측도를 명시적으로 계산하여 기본 하이퍼지오메트릭 급수에 대한 일반화된 직교성 관계를 도출한다.

ABSTRACT

A short introduction to the use of the spectral theorem for self-adjoint operators in the theory of special functions is given. As the first example, the spectral theorem is applied to Jacobi operators, i.e. tridiagonal operators, on l^2(N), leading to a proof of Favard's theorem stating that polynomials satisfying a three-term recurrence relation are orthogonal polynomials. We discuss the link to the moment problem. In the second example, the spectral theorem is applied to Jacobi operators on l^2(Z). We discuss the theorem of Masson and Repka linking the deficiency indices of a Jacobi operator on l^2(Z) to those of two Jacobi operators on l^2(N). For two examples of Jacobi operators on l^2(Z), namely for the Meixner, respectively Meixner-Pollaczek, functions, related to the associated Meixner, respectively Meixner-Pollaczek, polynomials, and for the second order hypergeometric q-difference operator, we calculate the spectral measure explicitly. This gives explicit (generalised) orthogonality relations for hypergeometric and basic hypergeometric series.

연구 동기 및 목표

• 자기수반 연산자의 스펙트럼 이론과 직교 다항식 및 특수 함수 이론 사이의 엄밀한 연결 고리를 확립하기 위해.
• ℓ²(ℤ≥0) 위에서 정의된 비유계 잸비에이 연산자에 대한 스펙트럼 정리를 사용하여, 세 항 연쇄 관계와 직교성 간의 연결 고리를 통해 파바르드의 정리를 증명하기 위해.
• ℓ²(ℤ) 위에서 정의된 이중 무한 잸비에이 연산자로의 스펙트럼 분석을 확장하기 위해, 매사존–레프카 정리를 사용하여 ℓ²(ℤ≥0) 위의 반직선 연산자와의 결함 지수 간의 관계를 규명하기 위해.
• 메이크너 함수와 메이크너-폴라츠크 함수, 그리고 두 번째 차수의 q-차분 연산자에 대한 명시적인 스펙트럼 측도를 계산하여 새로운 직교성 관계를 도출하기 위해.
• q-하이퍼지오메트릭 차분 연산자의 스펙트럼 측도가 이산 및 연속 성분을 모두 가지며, q→1 근처에서 고전적 특수 함수로 수렴함을 보여주기 위해.

제안 방법

• 비유계 자기수반 연산자에 대한 스펙트럼 정리를 삼중 대각선 잸비에이 연산자에 적용하여, 세 항 연쇄 관계를 통해 직교 다항식과 연결한다.
• 함버거 모멘트 문제 프레임워크를 사용하여 잸비에이 연산자에 대응하는 측도를 특성화하고, 파바르드의 정리와 스펙트럼 분해 간의 동치성을 확립한다.
• 매사존–레프카 정리를 사용하여 ℓ²(ℤ) 위에서의 잸비에이 연산자의 자기수반성과 결함 지수를 ℓ²(ℤ≥0) 위의 두 반직선 연산자와 연결한다.
• 그린 커널과 잔여치 분석을 사용하여 메이크너 함수에 대한 스펙트럼 측도를 명시적으로 계산하여 이산 스펙트럼 측도를 도출한다.
• 기본 하이퍼지오메트릭 급수로 표현되는 고유함수를 유도하고, 기본 해의 점근적 분석을 통해 두 번째 차수의 q-하이퍼지오메트릭 차분 연산자의 스펙트럼 측도를 계산한다.
• q↑1 근처의 극한 전환을 사용하여 q-하이퍼지오메트릭 스펙트럼 측도가 고전적 메이크너 함수의 스펙트럼 측도로 복원됨을 확인하고, 극한에서의 직교성 관계 일致성을 확인한다.

실험 결과

연구 질문

• RQ1 세 항 연쇄를 만족하는 다항식이 직교함을 증명하기 위해 스펙트럼 정리를 어떻게 활용할 수 있는가?
• RQ2 ℓ²(ℤ) 위에서의 잸비에이 연산자의 결함 지수와 그 반직선 제한인 ℓ²(ℤ≥0) 위의 연산자 간의 정확한 관계는 무엇인가?
• RQ3 ℓ²(ℤ) 위에서 정의된 잸비에이 연산자로부터 유도된 메이크너 함수의 명시적 스펙트럼 측도는 어떤 형태인가?
• RQ4 두 번째 차수의 q-하이퍼지오메트릭 차분 연산자의 스펙트럼 측도는 어떻게 이산 및 연속 성분으로 분해되는가?
• RQ5 q→1 근처에서 q-하이퍼지오메트릭 급수의 직교성 관계가 메이크너 함수의 직교성 관계로 수렴하는가?

주요 결과

• 파바르드의 정리는 스펙트럼 분해를 통해 증명된다: ℓ²(ℤ≥0) 위에서 정의된 세 항 연쇄를 만족하는 잸비에이 연산자는 직교 다항식의 가닥을 생성한다.
• 메이크너 함수의 스펙트럼 측도는 순수하게 이산적이며 잔여치를 통해 명시적으로 계산되며, 이산 질량 점들에 대한 합으로 이루어진 직교성 관계를 도출한다.
• 두 번째 차수의 q-하이퍼지오메트릭 차분 연산자에 대해서는 스펙트럼 측도가 연속 부분(구간 [0,π] 위의 적분)과 이산 부분(극점들에 대한 합)을 모두 포함하여 혼합된 직교성 관계를 이끈다.
• q-하이퍼지오메트릭 스펙트럼 측도의 q↑1 극한 전환이 기존의 메이크너 함수 스펙트럼 측도를 재현하며, q→1 근처에서의 일致성을 확인한다.
• 기본 해 F_k(y)의 점근적 행동을 사용하여, c > q² 인 경우에도 q-차분 연산자의 자기수반 확장이 존재함을 검증함으로써 스펙트럼 분해의 타당성을 입증한다.
• q-연산자의 이산 스펙트럼은 s(q^{p-1+ε} - 1)/(1−q) + s^{-1}(q^{1−ε−p} - 1)/(1−q) 로 주어지며, q↑1 일 때 (p+ε−1)(s^{-1}−s)로 수렴하며, 이는 메이크너의 이산 스펙트럼과 일致한다.