[논문 리뷰] Funciones Esféricas Matriciales Asociadas a las Esferas y a los Espacios Proyectivos Reales

Ignacio Zurrián|arXiv (Cornell University)|2013. 06. 27.

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

한 줄 요약

이 논문은 Hahn 다항식 공액을 통한 연립 미분방정식의 분리 기법을 사용하여, 쌍 $(\mathrm{SO}(4),\mathrm{SO}(3))$에 대한 모든 기약 행렬값 원주함수를 결정한다. 그 결과, Gegenbauer 다항식의 형태로 해를 구하게 되며, $n$-구면체와 실수 사영공간 $\mathbb{R}P^n$ 상의 원주함수 사이의 직접적인 대응 관계를 확립하고, 제2차 및 제1차 대칭 미분연산자를 갖는 가중행렬에 대해 행렬 직교다항식을 구성한다.

ABSTRACT

In this work we start by determining all irreducible spherical functions $Φ$ of any $K $-type associated to the pair $(G,K)=(\SO(4),\SO(3))$. The functions $P=P(u)$ corresponding to the irreducible spherical functions of a fixed $K$-type $π_\ell$ are appropriately packaged into a sequence of matrix valued polynomials $(P_w)_{w\ge0}$ of size $(\ell+1) imes(\ell+1)$. Finally we prove that $\widetilde P_w={P_0}^{-1}P_w$ is a sequence of matrix orthogonal polynomials with respect to a weight matrix $W$. Moreover, we show that $W$ admits a second order symmetric hypergeometric operator $\widetilde D$ and a first order symmetric differential operator $\widetilde E$. Later, we establish a direct relationship between the spherical functions of the $n$-dimensional sphere $S^n\simeq\SO(n+1)/\SO(n)$ and the spherical functions of the $n$-dimensional real projective space $P^n(\mathbb{R})\simeq\SO(n+1)/\mathrm{O}(n)$. Concluding that to find all the spherical functions of one of these pairs is equivalent to do the same it with the other. Finally, we study the spherical functions of certain types of the $n$-dimensional sphere $S^{n}\simeq \SO(n+1)/\SO(n)$, for any $n$. More precisely, we give explicitly all the spherical functions whose associated functions $H$ are scalar valued, including those of trivial type, and then we study the irreducible spherical functions of fundamental type, describing them in terms of matrix valued hypergeometric functions $_2!F_1$. Thereafter, for every fundamental type we build a sequence of ortogonal matrix valued polynomials with respect to a weight $W$, which are associated to the spherical functions. We also prove that, for any $n$, $W$ admits a second order symmetric differential operator.

연구 동기 및 목표

• 대칭쌍 $(\mathrm{SO}(4),\mathrm{SO}(3))$에 대해 임의의 $K$-형식에 대한 모든 기약 행렬값 원주함수를 분류하는 것.
• $n$-차원 구면 $S^n \simeq \mathrm{SO}(n+1)/\mathrm{SO}(n)$ 과 실수 사영공간 $\mathbb{R}P^n \simeq \mathrm{SO}(n+1)/\mathrm{O}(n)$ 상의 원주함수 사이의 정확한 대응 관계를 확립하는 것.
• 원주함수와 관련된 행렬 직교다항식의 수열을 구성하고, 그것이 가중행렬 $W$에 대해 직교화됨을 증명하는 것.

제안 방법

• 각 원주함수 $\Phi$를 $u=0$에서의 벡터값 해석함수 $H(u)$에 대응시키며, 그 성분들은 두 개의 연립 미분방정식을 만족한다.
• Hahn 다항식을 이용한 공액을 적용하여 한 쪽 시스템을 분리하고, 이를 초함수적 방정식 시스템으로 변환한다.
• 분리된 시스템을 해결하여 벡터 해 $P(u)$를 구하고, 그 성분들은 Gegenbauer 다항식의 배수이다.
• 표현 이론을 활용하여 동시에 만족하는 해를 식별하고, 모든 기약 원주함수를 특성화한다.
• 고정된 $K$-형식 $\pi_\ell$에 대해 $(\ell+1) \times (\ell+1)$ 행렬값 다항식 수열 $\{P_w\}_{w \geq 0}$로 해를 정리한다.
• $\widetilde{P}_w = P_0^{-1} P_w$ 를 정의하고, 이 수열이 가중행렬 $W$에 대해 행렬 직교다항식을 이룬다는 것을 증명한다.

실험 결과

연구 질문

• RQ1 쌍 $(\mathrm{SO}(4),\mathrm{SO}(3))$에 대해 임의의 $K$-형식에 대한 모든 기약 행렬값 원주함수는 무엇인가?
• RQ2 $n$-구면체 $S^n$ 과 실수 사영공간 $\mathbb{R}P^n$ 상의 원주함수는 일반적인 $n$ 에 대해 어떻게 관련되어 있는가?
• RQ3 원주함수로부터 유도되는 행렬 직교다항식을 갖는 가중행렬 $W$를 구성할 수 있는가? 그리고 $W$는 어떤 미분연산자를 갖는가?

주요 결과

• $(\mathrm{SO}(4),\mathrm{SO}(3))$에 대해 임의의 $K$-형식에 대한 모든 기약 원주함수는 초함수적 방정식 시스템을 푸는 것으로 표현이론을 통해 완전히 특성화된다.
• 해 $P(u)$는 성분이 Gegenbauer 다항식에 비례하는 벡터값 함수이며, 고정된 $K$-형식 $\pi_\ell$에 대해 $(\ell+1) \times (\ell+1)$ 행렬값 다항식 수열 $P_w$로 정리된다.
• 정규화된 수열 $\widetilde{P}_w = P_0^{-1} P_w$ 는 가중행렬 $W$에 대해 행렬 직교다항식 수열을 이룬다.
• 가중행렬 $W$는 제2차 대칭 미분연산자 $\widetilde{D}$ 와 제1차 대칭 미분연산자 $\widetilde{E}$ 를 갖으며, 이는 직교화 구조의 핵심 요소이다.
• 홀수 $n$ 에서는 $S^n$ 과 $\mathbb{R}P^n$ 상의 원주함수 유형이 일치한다. 짝수 $n$ 에서는 $({\mathrm{SO}}(n+1),{\mathrm{SO}}(n))$ 과 $({\mathrm{SO}}(n+1),\mathrm{O}(n))$ 쌍 사이의 원주함수 간에 명확한 대응 관계가 존재한다.
• 모든 $n$ 에 대해 기본형 원주함수와 관련된 가중행렬 $W$는 제2차 대칭 미분연산자를 갖는다. 이는 $W$가 직교다항식 프레임워크 내에서 핵심적인 역할을 한다는 것을 확인한다.