[논문 리뷰] Recurrence relations for orthogonal polynomials on a triangle

Sheehan Olver, Alex Townsend외 1명|arXiv (Cornell University)|2018. 01. 27.

Aerospace Engineering and Control Systems참고 문헌 3인용 수 7

한 줄 요약

이 논문은 삼각형 위의 직교다항식에 대해 래더 연산자를 사용하는 체계적인 프레임워크를 제안한다. 특히 Koornwinder Class IV 다항식에 대해 적용한다. 다항식의 매개수와 차수를 ±1 증감시켜 다른 다항식으로 매핑함으로써, 희소 선형대수를 통한 삼각형 영역에서의 편미분방정식(PDE) 해법을 효율적으로 가능하게 하는 희소 재귀관계를 유도한다. 이는 1변수 다항식에 대한 초구형 스펙트럴 방법과 유사하다.

ABSTRACT

This paper derives sparse recurrence relations between orthogonal polynomials on a triangle and their partial derivatives, which are analogous to recurrence relations for Jacobi polynomials. We derive these recurrences in a systematic fashion by introducing ladder operators that map an orthogonal polynomial to another by incrementing or decrementing its associated parameters by one.

연구 동기 및 목표

• 직교다항식의 재귀관계를 유도하기 위한 체계적인 방법을 개발함으로써, Jacobi 다항식 재귀관계의 구조를 확장한다.
• 삼각형 영역에서 편미분방정식(PDE)의 희소 스펙트럴 이산화 문제를 해결함에 있어, 기존 방법이 희소성을 확보하지 못하는 문제를 해결한다.
• 1변수에서의 래더 연산자 기법을 이변수 직교다항식, 특히 삼각형 위의 Koornwinder 다항식으로 일반화한다.
• 다항식 기저의 곱셈, 미분, 기저 변환에 대한 재귀관계를 유도함으로써, 희소 선형대수를 통한 PDE의 효율적 해법을 가능하게 한다.

제안 방법

• 이변수 Koornwinder 다항식의 매개수(a, b, c, d)와 차수(n, k)를 ±1 증감시키는 24개의 래더 연산자를 도입한다.
• 이 래더 연산자를 사용하여 x, y, z(여기서 z = 1 - x - y)에 대한 곱셈에 대한 재귀관계를 이동된 Koornwinder 다항식의 형태로 유도한다.
• 래더 연산자를 조합하여 미분 고유값 문제를 구성함으로써, 다항식이 두 번째 차수의 편미분방정식의 고유함수임을 보인다.
• 사슬법칙 항등식을 이용해 다변수 다항식의 편미분을 이동된 Jacobi 다항식의 도함수로 표현한다.
• 재귀관계의 희소성에 기반하여, ODE에 대한 초구형 방법과 유사하게 삼각형 영역에서의 PDE에 대한 효율적인 스펙트럴 방법을 가능하게 한다.
• 직각삼각형에서의 결과를 애매변환 불변성에 기반해 임의의 삼각형으로 일반화한다.

실험 결과

연구 질문

• RQ1 이항직교다항식에 대한 재귀관계를 연산자 기반 방법을 통해 삼각형 위에서 체계적으로 유도할 수 있는가?
• RQ2 매개수를 이동시킨 Koornwinder 다항식을 사용할 때, x, y, z에 대한 곱셈에 대한 재귀관계의 구조는 어떻게 되는가?
• RQ3 래더 연산자를 사용하여 이러한 다항식이 만족하는 미분 고유값 문제를 유도할 수 있는가?
• RQ4 유도된 재귀관계는 삼각형 영역에서의 PDE에 대한 희소 스펙트럴 이산화를 어떻게 가능하게 하는가?
• RQ5 네 번째 매개수 d는 이전에 보고되지 않은 재귀관계를 체계적으로 유도하는 데 어떤 역할을 하는가?

주요 결과

• 논문은 Jacobi 다항식에 대해 12개의 래더 연산자를, 이변수 Koornwinder 다항식에 대해 24개의 래더 연산자를 도입하여 매개수와 차수의 체계적 이동을 가능하게 하였다.
• x, y, z에 대한 곱셈에 대한 희소 재귀관계를 유도하였으며, 이는 매개수를 이동시킨 이웃 다항식 항들만을 포함한다.
• x에 대한 재귀관계는 매개수 (a-1,b,c)를 가진 최대 4개의 항을 포함하며, y에 대한 재귀관계는 매개수 (a,b-1,c)를 가진 최대 4개의 항을 포함한다. 각 항의 계수는 명시적으로 기술되어 있다.
• 다항식이 두 개의 이차 미분 연산자의 고유함수임이 입증되었으며, 고유값은 각각 -k(k+b+c+1)과 -n(n+a+b+c+2)이다.
• 이중 다항식의 편미분은 사슬법칙 항등식을 통해 이동된 Jacobi 다항식의 도함수로 표현된다.
• 이 프레임워크를 통해 희소 선형대수를 활용한 삼각형 영역에서의 PDE 해법이 효율적으로 가능해졌으며, 초구형 스펙트럴 방법이 삼각형 영역으로 일반화되었다.