[논문 리뷰] Around Poisson--Mehler summation formula

Paweł J. Szabłowski|arXiv (Cornell University)|2011. 08. 15.

Mathematical functions and polynomials인용 수 3

한 줄 요약

이 논문은 $ q $-에르미트 다항식과 알살람-치하라 다항식을 통해 파oisson-Mehler 합공식을 일반화하는 두 변수 다항식 가족 $ Q_{m,n}(x,y|t,q) $을 제안한다. 이 다항식들이 유계 정사각형 영역에서 두 차원 $(t,q)$-정규 분포에 대해 정규직교 기저를 이룬다는 것을 입증하며, 대칭 전개와 역수 급수 표현을 가능하게 하며, 생성함수와 정규직교 분해에 관한 핵심 결과를 도출한다.

ABSTRACT

We study polynomials in $x$ and $y$ of degree $n+m:\allowbreak \{Q_{m,n}(x,y|t,q)\}_{n,m\geq 0}$ that appeared recently in the following identity: $γ_{m,n}(x,y|t,q) \allowbreak =\allowbreak γ_{0,0}(x,y|t,q) \allowbreak Q_{m,n}(x,y|t,q) $ where $γ_{m,n}(x,y|t,q) \allowbreak =\allowbreak \sum_{i\geq 0}\frac{t^{i}}{[i]_{q}}H_{i+n}(x|q) H_{m+i}(y|q)$, $\allowbreak $ $\{H_{n}(x|q)}_{n\geq -1}$ are the so-called $q-$% Hermite polynomials (qH). In particular we show that the spaces $span\{Q_{i,n-i}(x,y|t,q) :i=0,...,n\}_{n\geq 0}$ are orthogonal with respect to a certain measure (two-dimensional $(t,q)-$Normal distribution) on the square $\{(x,y):|x|,|y|\leq 2/\sqrt{1-q}\} . $ We study structure of these polynomials expressing them with the help of the so-called Al-Salam--Chihara (ASC) polynomials and showing that they are rational functions of parameters $t$ and $q$. We use them in various infinite expansions that can be viewed as simple generalization of the Poisson-Mehler summation formula. Further we use them in the expansion of the reciprocal of the right hand side of the Poisson-Mehler formula.

연구 동기 및 목표

• 파oisson-Mehler 합공식을 $ q $-에르미트 다항식을 사용하여 일반화하고, 새로운 이변수 정규직교 다항식 $ Q_{m,n}(x,y|t,q) $를 도입한다.
• 정사각형 $ |x|,|y| \leq 2/\sqrt{1-q} $에서 두 차원 $(t,q)$-정규 측도에 대해 $ Q_{m,n} $의 정규직교 구조를 규명한다.
• $ Q_{m,n} $를 포함하는 대칭 무한 전개와 생성함수를 유도하며, 파oisson-Mehler 핵의 역수에 대한 대칭 전개를 포함한다.
• $ Q_{m,n} $을 알살람-치하라 다항식으로 표현하고, $ t $와 $ q $에 대해 유리함수 형태를 갖는다는 것을 보인다.
• $ \Lambda_n(x,y|t,q) = \text{span}\{ Q_{i,n-i}(x,y|t,q) \}_{i=0}^n $ 이 $(t,q)$-정규 측도 하에서 $ L^2 $의 정규직교 분해를 이룬다는 것을 입증한다.

제안 방법

• $ \gamma_{m,n}(x,y|t,q) = \sum_{i \geq 0} \frac{t^i}{[i]_q!} H_{i+n}(x|q) H_{m+i}(y|q) $ 를 정의하고, 이를 $ \gamma_{m,n} = Q_{m,n} \cdot \gamma_{0,0} $ 로 인수분해하여 $ Q_{m,n} $ 의 다항식 성격을 확립한다.
• 파oisson-Mehler 공식을 기초로 삼고, $ q $-급수 항등식과 $ q $-지수 생성함수를 활용하여 $ q $-에르미트 및 알살람-치하라 다항식을 통한 확장한다.
• $ S(q) \times S(q) $ 에서의 $(t,q)$-정규 측도를 구성하며, 여기서 $ S(q) = \{ x : |x| \leq 2/\sqrt{1-q} \} $ 이고, $ q $-에르미트 및 알살람-치하라 정규직교 측도의 곱을 사용한다.
• 생성함수 $ \sum_{i,j \geq 0} \frac{s^i t^j}{[i]_q! [j]_q!} Q_{i,j}(x,y|t,q) = \frac{\varphi_H(x|t,q) \varphi_H(y|s,q)}{\gamma_{0,0}(x,y|t,q)} \sum_{n \geq 0} \frac{t^n}{[n]_q!} H_n(x|t,q) H_n(y|s,q) $ 를 유도하며, 파oisson-Mehler 핵과의 연결을 확립한다.
• $ \Lambda_n(x,y|t,q) = \text{span}\{ Q_{i,n-i}(x,y|t,q) \}_{i=0}^n $ 가 $(t,q)$-정규 측도 하에서 정규직교 부분공간임을 증명하고, $ L^2 $ 의 직합 분해를 이룬다는 것을 보인다.
• 귀납법과 $ q $-이항항등식을 활용하여 대칭 항등식을 도출하며, 특히 $ \sum_{k=0}^n (-1)^k q^{\binom{n-k}{2}} \binom{n}{k}_q \frac{\prod_{i=0}^{k-1} \omega(\cdot | \rho q^i)}{(\rho^2)_{2k}} = q^{\binom{n}{2}} \rho^n (1-q)^n Q_{n,n}(x,y|\rho,q) $ 를 유도한다.

실험 결과

연구 질문

• RQ1 파oisson-Mehler 합공식은 어떻게 새로운 종류의 정규직교 다항식 $ Q_{m,n}(x,y|t,q) $ 를 사용하여 이변수 $ q $-에르미트 다항식으로 일반화될 수 있는가?
• RQ2 $ \Lambda_n(x,y|t,q) $ 의 정규직교 구조는 무엇이며, $(t,q)$-정규 측도 하에서 $ L^2 $ 를 어떻게 분해하는가?
• RQ3 파oisson-Mehler 핵의 역수는 $ Q_{m,n} $ 에 대해 무한 대칭 급수로 전개될 수 있는가? 이 전개의 형태는 어떠한가?
• RQ4 $ Q_{m,n}(x,y|t,q) $ 는 알살람-치하라 다항식과 어떤 관계가 있으며, $ t $ 와 $ q $ 에 대해 어떤 유리함수 형태를 갖는가?
• RQ5 $ q $-이항항등식과 $ q $-지수 생성함수의 역할은 대칭 전개와 정규직교 분해를 유도하는 데 어떤가?

주요 결과

• $ Q_{m,n}(x,y|t,q) $ 는 $ t $ 와 $ q $ 에 대해 유리함수이며, 알살람-치하라 다항식의 선형결합으로 표현될 수 있어, 단변수와 이변수 $ q $-정규직교 체계 사이의 다리 역할을 한다.
• $ \Lambda_n(x,y|t,q) = \text{span}\{ Q_{i,n-i}(x,y|t,q) \}_{i=0}^n $ 는 $ S(q) \times S(q) $ 에서 $(t,q)$-정규 측도 하에서 정규직교하며, $ L^2 $ 의 직합 분해를 이룬다.
• 파oisson-Mehler 핵의 역수에 대한 대칭 무한 전개가 도출되었다: $ \frac{1}{\gamma_{0,0}(x,y|\rho,q)} = \sum_{n=0}^\infty \frac{\rho^n}{(\rho^2)_\infty} \sum_{k=0}^n (-1)^k q^{\binom{n-k}{2}} \binom{n}{k}_q \frac{\prod_{i=0}^{k-1} \omega(\cdot | \rho q^i)}{(\rho^2)_{2k}} $.
• $ Q_{m,n} $ 의 생성함수는 $ \sum_{i,j \geq 0} \frac{s^i t^j}{[i]_q! [j]_q!} Q_{i,j}(x,y|t,q) = \frac{\varphi_H(x|t,q) \varphi_H(y|s,q)}{\gamma_{0,0}(x,y|t,q)} \sum_{n \geq 0} \frac{t^n}{[n]_q!} H_n(x|t,q) H_n(y|s,q) $ 로 유도되었으며, $ q $-지수 생성함수와 연결된다.
• 대칭 항등식 $ \sum_{k=0}^n (-1)^k q^{\binom{n-k}{2}} \binom{n}{k}_q \frac{\prod_{i=0}^{k-1} \omega(\cdot | \rho q^i)}{(\rho^2)_{2k}} = q^{\binom{n}{2}} \rho^n (1-q)^n Q_{n,n}(x,y|\rho,q) $ 가 $ q $-이항정리와 정규직교성에 기반하여 증명되었다.
• $(t,q)$-정규 측도는 $ q $-에르미트 및 알살람-치하라 측도로부터 구성되었으며, 정사각형 $ S(q) \times S(q) $ 에서의 밀도가 명시적으로 정의되었다. 이는 $ q $-설정에서의 이변량 정규분포를 일반화한다.