[논문 리뷰] On a new class of 2-orthogonal polynomials, II_The integral representations

Khalfa Douak, P. Maroni|arXiv (Cornell University)|2022. 12. 22.

Mathematical functions and polynomials인용 수 4

한 줄 요약

이 논문은 두 개의 선형 함수수를 포함하는 행렬 미분방정식을 풀어 새로운 2-직교 다항식의 클래스에 대한 적분 표현을 수립한다. 실수축 또는 양의 실수축에 지지된 가중 함수를 도출하며, 특수함수인 통합하이퍼지오메트릭 함수와 라게르 다항식을 사용하여 표현하고, 경계 조건을 만족시키기 위해 필요한 경우 디랙 델타를 추가함으로써 함수수의 명시적 측도를 통한 특성화를 완성한다.

ABSTRACT

A new class of 2-orthogonal polynomials satisfying orthogonality conditions with respect to a pair of linear functionals $(u_0,u_1)$ was presented in Douak K & Maroni P [On a new class of 2-orthogonal polynomials, I: the recurrence relations and some properties. Integral Transforms Spec Funct. 2021;32(2):134-153]. Six interesting special cases were pointed out there. For each case, we precisely deal with the integral representation problem for the functionals associated to these polynomials. The focus is on the matrix differential equation $\big({\bfΦU}\big)'+{\bfΨU}=0$, with ${\bf U}={^t}(u_0 , u_1)$ and ${\bfΦ}$, ${\bfΨ}$ are $2 imes2$ polynomial matrices, from which we establish the differential equations satisfied by the two functionals. Based on this, depending on the case, we show that $u_0$ and $u_1$ are represented via weight functions supported on the real line or positive real line and defined in terms of various special functions. In order for certain integral representations to exist, addition of Dirac mass is necessary.

연구 동기 및 목표

• 새로운 2-직교 다항식과 관련된 선형 함수수 $u_0$ 및 $u_1$에 대한 적분 표현을 결정하기 위해.
• 2×2 다항식 행렬 ${\bf \Phi}, {\bf \Psi}$ 및 벡터 ${\bf U} = (u_0, u_1)^t$에 대해 행렬 미분방정식 $({\bf \Phi U})' + {\bf \Psi U} = 0$을 해결하기 위해.
• 직교 조건을 만족시키는 실수축 또는 양의 실수축에 지지된 가중 함수 $w_0$ 및 $w_1$를 식별하기 위해.
• 미분 시스템의 경계 조건을 충족시키기 위해 필요한 경우 디랙 델타를 도입하기 위해.
• 정규화 및 경계 조건 제약 조건을 사용하여 해를 검증함으로써 다항식의 재귀적 구조와 일관성을 확보하기 위해.

제안 방법

• 행렬 미분방정식 $({\bf \Phi U})' + {\bf \Psi U} = 0$을 풀어 $u_0$ 및 $u_1$가 만족하는 미분 시스템을 도출하기 위해.
• 가중 함수 $w_0$ 및 $w_1$에 대한 두 번째 차수 선형 미분방정식으로 시스템을 단순화하며, 예를 들어 $w_0'' - 2s w_0' + w_0 = 0$ 또는 $x w_0' + (x - \alpha) w_0 = 0$과 같은 형태로 표현하기 위해.
• 특수함수—예를 들어 통합하이퍼지오메트릭 함수 및 라게르 가중 함수—를 특정 매개변수 제약 조건 하에서 미분방정식의 해로 사용하기 위해.
• 쌍대 브라켓에서 유도된 경계 조건, 예를 들어 $[x w_0 f]_{\mathscr{C}} = 0$ 및 $[(w_1 - \nu w_0) f]_{\mathscr{C}} = 0$을 적용하여 해를 제약하기 위해.
• 비유계 영역에서 가중 함수가 경계 조건을 충족하지 못할 경우, $x=0$에 디랙 델타를 도입하기 위해.
• 감마 함수와 하이퍼지오메트릭 항등식을 사용하여 정규화하여 이중 수열과 재귀 계수와의 일관성을 확보하기 위해.

실험 결과

연구 질문

• RQ1 2-직교 다항식과 관련된 선형 함수수 $u_0$ 및 $u_1$는 실수축 또는 양의 실수축에 정의된 가중 함수에 대한 적분으로 표현될 수 있는가?
• RQ2 가중 함수 $w_0$ 및 $w_1$가 만족하는 미분방정식은 무엇이며, 그 해는 매개변수 $r$, $s$, $\alpha_1$, 및 $\beta_0$에 어떻게 의존하는가?
• RQ3 함수수의 경계 조건은 어떤 조건에서 성립하며, 유효한 적분 표현을 위해 디랙 델타의 추가가 언제 필요한가?
• RQ4 통합하이퍼지오메트릭 함수 및 라게르 함수를 포함한 해는 어떻게 미분 시스템에서 유도되는가?
• RQ5 유도된 가중 함수를 사용하여 정규화 상수와 이중 수열 조건을 일관되게 충족시킬 수 있는가?

주요 결과

• 경우 $2 + p + q = 0$ 에서, 가중 함수는 $x \geq 0$ 에서 $w_0(x) = c e^{\delta_1 x}$, $x \leq 0$ 에서 $w_0(x) = c e^{\delta_0 x}$ 로 주어지며, $c = -1/(2r)$ 이고, $w_1(x)$ 는 지수함수 및 다항식 항으로 구성된 조각별 정의를 갖는다.
• 부케이스 VI.2에서 $\eta = 0$, $\delta_1 = -1$, $\beta_0 = \alpha + 1$, $\nu = \delta_0^{-1}$ 인 경우, 가중 함수 $w_0(x) = \frac{1}{\Gamma(\alpha+1)} x^\alpha e^{-x}$ 는 고전적인 라게르 가중 함수이다.
• 부케이스 VI.2에서의 가중 함수 $w_1(x)$ 는 $w_1(x) = \nu w_0(x) - \frac{\nu^2 e^{\nu x}}{(\nu+1)^{\alpha+1}} \frac{\gamma(\alpha+1, (\nu+1)x)}{\Gamma(\alpha+1)}$ 로 주어지며, $\alpha \geq 0$ 및 $-1 < \nu < 0$ 인 경우에 유효하며, 하한 불완전 감마 함수를 포함한다.
• 제시된 매개변수 제약 조건 하에서 경계 조건 $[x w_0 f]_{\mathscr{C}} = 0$ 및 $[(w_1 - \nu w_0) f]_{\mathscr{C}} = 0$ 이 만족되며, 이는 쌍대 쌍대성의 일관성과 일치한다.
• 정규화 상수는 $\lambda_0 = -k / (\beta_0 \Gamma(-p))$ 및 $\lambda_1 = \delta_1 k / (2r(1+p)\Gamma(-p))$ 로 명시적으로 계산되며, $k$ 는 하이퍼지오메트릭 함수 ${}_2F_1$ 를 포함한다.
• 경우 $p = q = -1$ 에서는 $\mathbb{R}$ 에서 $w_0(x) = c_1 e^{\delta_1 x} + c_2 e^{\delta_0 x}$ 로 주어지며, $c_1, c_2$ 는 임의의 상수이고, $w_1$ 은 $\eta w_1 = -x w_0' + \delta_0(x - \beta_0 - \delta_1) w_0$ 를 통해 결정된다.