[논문 리뷰] Hahn, Jacobi, and Krawtchouck polynomials of several variables

Yuan Xu|arXiv (Cornell University)|2013. 09. 05.

Mathematical functions and polynomials참고 문헌 6인용 수 4

한 줄 요약

이 논문은 단형형 다변수 야코비 다항식과 허ahn/크라우치우크 다항식 사이의 생성함수 연결을 수립하여, 극한 과정을 통해 재생 커널의 폐쇄형 표현을 유도한다. 주요 기여는 다변수 허ahn 및 크라우치우크 다항식에 대한 포아송 커널의 비음성(nonnegativity)을 증명한 것으로, 이는 일변수 경우조차도 이전에 알려지지 않은 결과이다.

ABSTRACT

Hahn polynomials of several variables can be defined by using the Jacobi polynomials on the simplex as a generating function. Starting from this connection, a number of properties for these two families of orthogonal polynomials are derived. It is shown that the Hahn polynomials appear as connecting coefficients between several families of orthogonal polynomials on the simplex. Closed-form formulas are derived for the reproducing kernels of the Hahn polynomials and Krawtchouck polynomials. As an application, the Poisson kernels for the Hahn polynomials and the Krawtchouck polynomials are shown to be nonnegative.

연구 동기 및 목표

• 단형형 다변수 야코비 다항식과 다변수 허ahn 다항식 사이의 생성함수 연결을 수립하기 위해.
• 이 연결을 이용하여 허ahn 및 크라우치우크 다항식의 재생 커널에 대한 폐쇄형 공식을 도출하기 위해.
• 모든 $ x, y \in \mathbb{N}_0^d $ 에 대해 $ |x|, |y| \leq N $ 를 만족할 때, 허ahn 및 크라우치우크 다항식의 포아송 커널이 비음성임을 증명하기 위해.
• 기존의 직교다항식 연결 결과를 확장하고, 이를 $ L^2(T^d, W_\kappa) $ 에서 타이트한 다항식 프레임을 구성하는 데 적용하기 위해.

제안 방법

• 단형형 다변수 야코비 다항식의 생성함수를 사용하여 다변수 허ahn 다항식을 정의하고 특성화하기 위해.
• 야코비 다항식의 폐쇄형 공식을 생성함수 항등식을 통해 확장하여 허ahn 다항식의 재생 커널을 도출하기 위해.
• 특수한 극한 과정인 $ t \to \infty $ 과 $ \kappa = t(\rho, 1 - |\rho|) $ 를 적용하여 허ahn 다항식에서 크라우치우크 다항식의 재생 커널을 유도하기 위해.
• 크라우치우크 다항식의 포아송 커널을 기저함수와 이항계수 유형 계수를 포함하는 유한합으로 표현하기 위해.
• 최종적으로 도출된 커널 표현의 비음성을 이용하여 $ \Phi_r(\mathsf{K}_{\rho,N}; x, y) \geq 0 $ 이 $ 0 \leq r \leq 1 $ 에 대해 성립함을 증명하기 위해.
• 기존에 알려진 고전적 크라우치우크 다항식의 생성함수를 복원함으로써 일변수 경우에서 결과를 검증하기 위해.

실험 결과

연구 질문

• RQ1 어떻게 단형형 다변수 허ahn 다항식을 단형형 야코비 다항식으로부터 체계적으로 유도할 수 있는가?
• RQ2 다변수 허ahn 다항식의 재생 커널에 대한 폐쇄형 표현은 무엇인가?
• RQ3 다변수에서 크라우치우크 다항식은 다변수 허ahn 다항식의 어떤 극한 형태로 나타나는가?
• RQ4 모든 유효한 $ x, y $ 와 $ r \in [0,1] $ 에 대해 다변수 허ahn 및 크라우치우크 다항식의 포아송 커널이 비음성인가?
• RQ5 크라우치우크 다항식의 재생 커널은 비음성 증명이 가능한 폐쇄형 표현으로 표현될 수 있는가?

주요 결과

• 허ahn 다항식의 재생 커널은 단형형 야코비 다항식과의 생성함수 관계를 이용하여 폐쇄형으로 도출되었다.
• 크라우치우크 다항식의 재생 커널은 허ahn 커널의 극한으로 얻어져서 공식 $ \mathsf{P}_n(\mathsf{K}_{\rho,N};x,y) = \sum_{k=0}^n \frac{(-1)^k}{(-N)_k} \mathcal{F}_k(x,y;\rho) r^k (1-r)^{N-k} $ 를 얻었다.
• 크라우치우크 다항식의 포아송 커널은 모든 $ x, y \in \mathbb{Z}_N^{d+1} $ 와 $ 0 \leq r \leq 1 $ 에 대해 비음성임을 증명하였으며, 이는 일변수 경우에도 성립한다.
• 특히 $ y = 0 $ 인 경우, 포아송 커널은 $ \Phi_r(\mathsf{K}_{\rho,N};x,0) = (1-r)^{|x|} \left(1 + \frac{r|\rho|}{1-|\rho|}\right)^{N-|x|} $ 로 단순화되며, 이는 명백히 비음성임을 보인다.
• 극한 관계 $ \lim_{t \to \infty} \mathsf{P}_n(\mathsf{H}_{t\boldsymbol{\rho}},N;x,y) = \mathsf{P}_n(\mathsf{K}_{\rho,N};x,y) $ 는 크라우치우크 커널이 허ahn 커널의 극한으로 일관됨을 확인한다.
• 항등식 $ \Phi_1(\mathsf{K}_{\rho,N};x,y) = \sum_{n=0}^N \mathsf{P}_n(\mathsf{H}_{\kappa},N;x,y) $ 는 생성함수의 직교 전개와 재생 커널의 합을 연결한다.