[논문 리뷰] Opdam's hypergeometric functions: product formula and convolution structure in dimension 1

Jean-Philippe Anker, Fatma Ayadi외 1명|arXiv (Cornell University)|2010. 04. 29.

Mathematical Analysis and Transform Methods참고 문헌 8인용 수 32

한 줄 요약

이 논문은 실수축 $\mathbb{R}$ 위에서 Opdam의 초함수 $\mathrm{G}_{\lambda}^{(\alpha,\beta)}$에 대한 곱 공식을 수립한다. 곱 $\mathrm{G}_{\lambda}^{(\alpha,\beta)}(x)\mathrm{G}_{\lambda}^{(\alpha,\beta)}(y)$를 $\mathrm{G}_{\lambda}^{(\alpha,\beta)}(z)$에 대한 적분으로 표현하며, 명시적이고 일관되게 유계이지만 반드시 양수인 것은 아닐 핵함수를 사용한다. 이후 관련 이동 연산자를 통해 콘볼루션 구조를 구성하고, $L^p$-공간에서 Kunze–Stein 유형 현상이 성립함을 증명하며, Jacobi 및 Dunkl 함수에 대한 이전 결과를 일반화한다.

ABSTRACT

Let $G_{\\lambda}^{(\\alpha,\\beta)}$ be the eigenfunctions of the Dunkl-Cherednik operator $T^{(\\alpha,\\beta)}$ on $\\mathbb{R}$. In this paper we express the product $G_{\\lambda}^{(\\alpha,\\beta)}(x)G_{\\lambda}^{(\\alpha,\\beta)}(y)$ as an integral in terms of $G_{\\lambda}^{(\\alpha,\\beta)}(z)$ with an explicit kernel. In general this kernel is not positive. Furthermore, by taking the so-called rational limit, we recover the product formula of M. R\\"osler for the Dunkl kernel. We then define and study a convolution structure associated to $G_{\\lambda}^{(\\alpha,\\beta)}$.

연구 동기 및 목표

• Opdam의 초함수 $\mathrm{G}_{\lambda}^{(\alpha,\beta)}$에 대해 $\mathbb{R}$ 위에서 Jacobi 및 Dunkl 함수에 대해 알려진 공식들과 유사한 곱 공식을 유도하는 것.
• 유도된 곱 공식을 기반으로 $\mathrm{G}_{\lambda}^{(\alpha,\beta)}$와 관련된 콘볼루션 구조를 정의하고 연구하는 것.
• $\ast_{\alpha,\beta}$-콘볼루션에 대해 $L^p$-공간에서 Kunze–Stein 유형 현상이 성립함을 증명하는 것.
• $L^2(\mathbb{R}, A_{\alpha,\beta}(|x|)dx)$에서 Koornwinder의 결과를 일반화하고 유리형 극한에서 에르미트 함수를 회복하는 정규수직 기저를 구성하는 것.

제안 방법

• Jacobi 함수 $\varphi_{\lambda}^{(\alpha,\beta)}$에 대한 알려진 곱 공식을 미분 관계를 통해 $\mathrm{G}_{\lambda}^{(\alpha,\beta)}$로 올리는 방식으로 곱 공식을 유도한다.
• 핵함수 $\mu_{x,y}^{(\alpha,\beta)}$를 곱 공식의 핵함수로 정의하고, $x,y$에 대해 실수값을 가지며 컴actsupport를 가지며 일관되게 유계임을 보인다.
• 곱 공식을 바탕으로 이동 연산자 $\tau_x^{(\alpha,\beta)}f(y) = \int_{\mathbb{R}} f(z)\,d\mu_{x,y}^{(\alpha,\beta)}(z)$를 도입한다.
• 콘볼루션 $f \ast_{\alpha,\beta} g(x) = \int_{\mathbb{R}} \tau_x^{(\alpha,\beta)}f(-y)\,g(y)\,A_{\alpha,\beta}(|y|)\,dy$를 정의하고, 교환법칙과 푸리에 변환의 곱셈 성질을 증명한다.
• Opdam–Cherednik 변환 $\mathcal{F}$를 사용하여 $\mathcal{F}(f \ast_{\alpha,\beta} g) = \mathcal{F}(f)\mathcal{F}(g)$임을 보여 콘볼루션 구조의 타당성을 확인한다.
• $\mathrm{G}_{\lambda}^{(\alpha,\beta)}$에 관련된 Dunkl–Cherednik 연산자 $T^{(\alpha,\beta)}$를 포함하는 Rodrigues 유형 공식을 통해 $L^2(\mathbb{R}, A_{\alpha,\beta}(|x|)dx)$에서 정규수직 기저 $\{{\rm H}_n^\delta\}$를 구성한다.

실험 결과

연구 질문

• RQ1 Opdam의 초함수 $\mathrm{G}_{\lambda}^{(\alpha,\beta)}$에 대해 $\mathbb{R}$ 위에서 곱 공식을 수립할 수 있는가? 특히 $\mathrm{G}_{\lambda}^{(\alpha,\beta)}(x)\mathrm{G}_{\lambda}^{(\alpha,\beta)}(y)$를 $\mathrm{G}_{\lambda}^{(\alpha,\beta)}(z)$에 대한 적분으로 표현할 수 있는가?
• RQ2 곱 공식의 핵함수 $\mu_{x,y}^{(\alpha,\beta)}$는 어떤 성질을 가지는가? 특히 양수성과 유계성에 관하여 어떻게 되는가?
• RQ3 곱 공식과 관련된 이동 연산자를 기반으로 콘볼루션 구조를 어떻게 정의하고 연구할 수 있는가?
• RQ4 $L^p$-공간에서 $\ast_{\alpha,\beta}$-콘볼루션에 대해 Kunze–Stein 유형 현상이 성립하는가?
• RQ5 $L^2(\mathbb{R}, A_{\alpha,\beta}(|x|)dx)$에서 Koornwinder의 기저를 일반화하고, 유리형 극한에서 에르미트 함수를 회복하는 정규수직 기저를 구성할 수 있는가?

주요 결과

• 실수값을 가지며 컴actsupport를 가지며 일관되게 유계인 핵함수 $\mu_{x,y}^{(\alpha,\beta)}$를 사용하여 곱 공식 $\mathrm{G}_{\lambda}^{(\alpha,\beta)}(x)\mathrm{G}_{\lambda}^{(\alpha,\beta)}(y) = \int_{\mathbb{R}} \mathrm{G}_{\lambda}^{(\alpha,\beta)}(z)\,d\mu_{x,y}^{(\alpha,\beta)}(z)$가 성립한다. 이 핵함수는 반드시 양수가 아니며, 일관되게 유계이다.
• 곱 공식의 유리형 극한은 M. Rösler가 증명한 바와 같이, Dunkl 핵함수에 대한 알려진 곱 공식을 회복한다.
• 곱 공식을 기반으로 정의된 이동 연산자 $\tau_x^{(\alpha,\beta)}$는 $\tau_x^{(\alpha,\beta)}f(y) = \int_{\mathbb{R}} f(z)\,d\mu_{x,y}^{(\alpha,\beta)}(z)$를 만족하며, 일관된 콘볼루션 구조를 가능하게 한다.
• 콘볼루션 $f \ast_{\alpha,\beta} g$는 교환법칙을 만족하며, $\mathcal{F}$가 Opdam–Cherednik 변환일 때 $\mathcal{F}(f \ast_{\alpha,\beta} g) = \mathcal{F}(f)\mathcal{F}(g)$를 만족한다.
• Kunze–Stein 유형 현상이 성립한다: $1 \leq p,q \leq \infty$ 이고 $\frac{1}{p} + \frac{1}{q} \geq 1$ 이면, 적절한 조건 하에 $\ast_{\alpha,\beta}$-콘볼루션은 $L^p \times L^q$를 $L^r$로 매핑하며, 이때 $\frac{1}{r} = \frac{1}{p} + \frac{1}{q} - 1$ 이다.
• $L^2(\mathbb{R}, A_{\alpha,\beta}(|x|)dx)$에 대해 정규수직 기저 $\{{\rm H}_n^\delta\}$가 Rodrigues 유형 공식을 통해 구성된다: $\mathrm{H}_n^\delta(x) = \tilde{\rm P}_n^\delta(T_x^{(\alpha,\beta)}) (\cosh x)^{-\alpha-\beta-\delta-2}$, 여기서 $\tilde{\rm P}_n^\delta$는 연산자 $T_x^{(\alpha,\beta)}$에 대한 초함수 다항식이다.