[논문 리뷰] Second order difference equations and discrete orthogonal polynomials of two variables

Yuan Xu|ArXiv.org|2004. 07. 27.

Quantum Mechanics and Non-Hermitian Physics참고 문헌 6인용 수 3

한 줄 요약

이 논문은 두 변수에 대한 이阶 상충분위방정식이 해로서 이산 수직다항식을 가질 조건을 규명함으로써, 가중함수 W에 대한 차분 연산자 𝒟가 자가수반임을 보장하는 조건을 설정한다. 주요 결과로는 이러한 방정식에 해당하는 여덟 종류의 클래스를 규명하였으며, 이는 단순체와 직사각형과 같은 격자 영역에서 정의된 헤ahn, 마이크너, 크라우치우크, 샤를리에 다항식 및 그 곱 형태를 포함한 두 변수의 고전적 이산 수직다항식에 해당한다. 계수 함수에 대한 약간의 구조적 제약 조건 하에서 유일한 해를 제공한다.

ABSTRACT

The second order partial difference equation of two variables $ \CD u:= A_{1,1}(x) Δ_1 abla_1 u + A_{1,2}(x) Δ_1 abla_2 u + A_{2,1}(x) Δ_2 abla_1 u + A_{2,2}(x) Δ_2 abla_2 u & \qquad \qquad \qquad \qquad + B_1(x) Δ_1 u + B_2(x) Δ_2 u = λu, $ is studied to determine when it has orthogonal polynomials as solutions. We derive conditions on $\CD$ so that a weight function $W$ exists for which $W \CD u$ is self-adjoint and the difference equation has polynomial solutions which are orthogonal with respect to $W$. The solutions are essentially the classical discrete orthogonal polynomials of two variables.

연구 동기 및 목표

• 두 변수에 대한 이계 상충분위방정식이 수직다항식 해를 갖는 조건을 규명하는 것.
• 가중함수 W가 존재하여 W𝒟가 이산 내적에 대해 자가수반임을 보장하는 차분 연산자의 귀류를 규명하는 것.
• 다항식 해가 수직임을 보장하기 위해 가중함수 W와 차분 연산자 𝒟 사이의 일치 조건을 수립하는 것.
• 제품형과 하ahn형 시스템을 포함한 두 변수의 고전적 이산 수직다항식을 유도하는 모든 이러한 방정식을 분류하는 것.
• 계수 함수에 대한 온건한 구조적 가정 하에서, 이러한 다항식 해를 갖는 다른 이계 상충분위방정식이 존재하지 않는다는 것을 보여주는 것.

제안 방법

• 격자 ℤ²에서 정의된 전진 및 후진 차분 연산자 Δi와 ∇i를 사용하여 이계 부분상충분위연산자 𝒟를 정의한다.
• 혼합 이계 계수에 대해 A₁₂ − A₂₁ ∈ Π₁² (일차다항식) 조건을 도입함으로써 이차 부분의 대칭성을 확보한다.
• W𝒟가 이산 내적에 대해 형식적으로 자가수반임을 보장하는 가중함수 W의 존재 조건을 필요로 하고 충분한 조건으로 유도한다.
• 차분 방정식에 대한 W-일치성 개념을 도입하여, 가중함수가 도메인 경계에서 연산자와 일치하는 방식으로 영이 되도록 보장한다.
• 자기수반성과 일치 조건을 이용하여 다항식 해가 존재하고, W에 대해 수직임을 증명한다.
• 계수 다항식 Aᵢⱼ와 Bᵢ를 분석함으로써 얻어진 방정식을 분류하여 여덟 종류의 표준 다항식 가족을 규명한다.

실험 결과

연구 질문

• RQ1 계수 함수 Aᵢⱼ와 Bᵢ에 대해, 이계 부분상충분위방정식 𝒟u = λu가 수직다항식 해를 갖는 조건은 무엇인가?
• RQ2 이산 내적에 대해 연산자 W𝒟가 자가수반임을 보장하는 가중함수 W가 존재하는 조건은 무엇인가?
• RQ3 다항식 해의 수직성을 보장하기 위해 가중함수 W와 차분 연산자 𝒟 사이의 정확한 관계는 무엇인가?
• RQ4 어느 격자 영역에서 정의되는지에 따라 이러한 방정식의 해로 나타나는 두 변수의 고전적 이산 수직다항식은 무엇이며, 어떤 영역에 존재하는가?
• RQ5 합리적인 가정 하에, 식별된 가족 외에 다른 이계 상충분위방정식이 수직다항식 해를 지닐 수 있는가?

주요 결과

• 논문은 두 변수에 대한 이계 상충분위방정식이 수직다항식 해를 갖는 여덟 가지의 서로 다른 클래스를 규명하였다.
• 이 해들은 고전적 이산 수직다항식에 해당한다: 단순체 V = {x₁ ≥ 0, x₂ ≥ 0, x₁ + x₂ ≤ N}에서의 하ahn 다항식, 그리고 직사각형 영역 V = {0 ≤ x₁ ≤ M, 0 ≤ x₂ ≤ N}에서의 곱형태 다항식(마이크너, 크라우치우크, 샤를리에 및 그 혼합형)이다.
• 각 방정식에 대해, 연산자 W𝒟가 자가수반이고 다항식 해가 W에 대해 수직임을 보장하는 가중함수 W를 명시적으로 구성하였다.
• 자기수반성과 W-일치 조건은 모두 다항식 해의 존재에 대해 필수적이고 충분한 조건이다.
• 계수 함수에 대해 A₁₂ − A₂₁ ∈ Π₁² (일차다항식)이라는 가정 하에, 다른 비자명한 상충분위방정식은 수직다항식 해를 갖지 못한다.
• 단순체에서의 이산 하ahn 다항식은 삼각형에서의 자코비형 다항식의 이산 유사체임을 보였지만, 원 위의 수직다항식에 대한 이산 유사체는 존재하지 않는다.