[논문 리뷰] Using D-operators to construct orthogonal polynomials satisfying higher order q-difference equations

R. Álvarez-Nodarse, Antonio J. Durán|Deposito de Investigacion Universidad de Sevilla (University of Seville)|2013. 09. 12.

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

한 줄 요약

이 논문은 계수 수열 (βₙ)을 사용한 선형 조합을 통해 q-Meixner 및 q-Laguerre 다항식을 수정함으로써, q-Krall 다항식—다른 고차수 q-차분 연산자의 고유함수이기도 한 직교 다항식—을 구성하는 새로운 방법을 제안한다. 주요 기여는 Christoffel 변환을 통해 얻어진 직교 측도를 이용해 체계적으로 이러한 다항식을 구성함으로써, 고차수 q-차분 연산자(순서 2k+2 또는 2α+2)의 고유함수를 얻는 것이다.

ABSTRACT

Let $(p_n)_n$ be either the $q$-Meixner or the $q$-Laguerre polynomials. We form a new sequence of polynomials $(q_n)_n$ by considering a linear combination of two consecutive $p_n$: $q_n=p_n+β_np_{n-1}$, $β_n\in \RR$. Using the concept of $\D$-operator, we generate sequences $(β_n)_n$ for which the polynomials $(q_n)_n$ are orthogonal with respect to a measure and common eigenfunctions of a higher order $q$-difference operator.

연구 동기 및 목표

• 고전적 q-직교 다항식에서 q-Krall 다항식을 구성함으로써, Krall 다항식 이론을 q-차분 설정으로 확장하는 것.
• 고차수 q-차분 연산자의 공통 고유함수인 직교 다항식을 생성하는 열린 문제를 해결함으로써, Krall의 고전적 문제에 대한 q-해석을 제시하는 것.
• D-연산자를 사용하여 (βₙ)의 수열을 체계적으로 생성함으로써, 수정된 다항식 qₙ = pₙ + βₙpₙ₋₁가 고차수 q-차분 연산자의 직교성과 고유함수 성질을 만족하도록 하는 방법을 개발하는 것.
• 수정된 직교 측도를 원래의 q-Meixner 및 q-Laguerre 측도의 Christoffel 변환으로 특성화함으로써, 다항식 인자와 Dirac 델타 함수의 역할을 규명하는 것.

제안 방법

• q-클래식 다항식(예: q-Meixner 또는 q-Laguerre)과 유한 차수의 q-차분 연산자 대수 A_q에 관련된 D-연산자를 정의한다.
• D-연산자를 사용하여 수정된 다항식 qₙ = pₙ + βₙpₙ₋₁ (여기서 p₋₁ = 0)가 변환된 측도에 대해 직교하도록 하는 계수 수열 (βₙ)을 생성한다.
• 직교 측도를 Christoffel 변환으로 구성한다: μ = w(x)ρ, 여기서 ρ는 원래의 q-Meixner 또는 q-Laguerre 측도이며, w(x)는 다항식 인자이다.
• q-Meixner의 경우, 세 가지 서로 다른 D-연산자가 세 가지 다른 (βₙ) 수열을 생성하며, 각각 다른 측도에 대해 직교하는 qₙ를 생성한다.
• q-Laguerre의 경우, Al-Salam-Carlitz 다항식과 0에서 Dirac 델타를 포함하는 모멘트 함수를 사용하여 γₙ = vₖ¹ᐟqᵃ;𝑞(qⁿ) 및 βₙ = γₙ₊₁/γₙ를 통해 βₙ을 정의한다.
• D-연산자의 구조를 이용하여 고유값 방정식을 검증함으로써, 결과 다항식 qₙ가 순서 2k+2 (q-Meixner의 경우) 또는 2α+2 (q-Laguerre의 경우)인 q-차분 연산자의 고유함수임을 증명한다.

실험 결과

연구 질문

• RQ1 D-연산자를 사용하여 고차수 q-차분 연산자의 고유함수인 q-Krall 다항식을 체계적으로 생성할 수 있는가?
• RQ2 계수 수열 (βₙ)에 어떤 조건이 성립해야 수정된 다항식 qₙ = pₙ + βₙpₙ₋₁가 변환된 측도에 대해 여전히 직교하는가?
• RQ3 결과로 얻어진 직교 측도는 원래의 q-Meixner 및 q-Laguerre 측도와 어떻게 관련되어 있으며, 다항식 인자와 Dirac 덴타는 어떤 역할을 하는가?
• RQ4 구성된 qₙ가 고유함수인 q-차분 연산자의 정확한 차수는 무엇이며, k나 α와 같은 매개변수에 따라 어떻게 달라지는가?
• RQ5 이 방법은 다른 q-클래식 가족으로 일반화될 수 있는가? 이러한 구성에 대해 계수 수열 (βₙ)의 구조적 제약 조건은 무엇인가?

주요 결과

• q-Meixner 다항식의 경우, 세 가지 서로 다른 D-연산자가 세 가지 다른 (βₙ) 수열을 생성하며, 각각 고유함수로 작용하는 순서 2k+2의 q-차분 연산자에 대해 직교하는 qₙ 가족을 생성한다.
• qₙ의 직교 측도는 q-Meixner 측도의 Christoffel 변환으로, 구체적으로 μ = w(x)ρ의 형태이며, 여기서 w(x)는 차수 k의 다항식이다.
• α가 양의 정수인 q-Laguerre 다항식의 경우, 구성된 다항식 qₙ는 (2α+2)차수의 q-차분 연산자의 고유함수이다.
• 계수 수열 βₙ는 βₙ = -γₙ₊₁ / [(1 - q^{α+n})γₙ]로 명시적으로 정의되며, 여기서 γₙ = 1 + M(q^{α+1};q)ₙ / (q;q)ₙ이며, 이는 측도 μ = Mδ₀ + ρ_{α-1}^q에 대해 직교성을 보장한다.
• 이 방법은 구성된 q-Krall 다항식이 고차수 q-차분 연산자의 고유함수임을 확인하며, Grünbaum 및 Haine의 이전 결과를 일반화한다.
• 추측에 따르면, 임의의 유한한 양의 정수 집합 F에 대해, 측도 ∏_{f∈F}(1 + xq^f)ρ_α^q는 순서 2∑f∈F f - n_F(n_F - 1) + 2인 q-차분 연산자의 고유함수인 q-Krall 다항식을 유도한다.