[논문 리뷰] Discrete Fourier analysis on fundamental domain of $A_d$ lattice and on simplex in $d$-variables

Huiyuan Li, Yuan Xu|arXiv (Cornell University)|2008. 09. 05.

Mathematical functions and polynomials참고 문헌 25인용 수 11

한 줄 요약

이 논문은 $A_d$ 격자 및 $d$차원 단형의 기본 영역에서 이산 푸리에 분석을 개발하고, 삼각함수 보간, 체적공식, 직교 다항식 체계를 수립한다. 주요 기여는 단형에서 삼각함수 라그랑주 보간에 대한 압축된 공식을 제공하며, 리프시츠 상수가 $(\log n)^d$ 비율로 증가하고, 일반화된 체비세프 다항식의 공통 영점이 새로운 가우시안 체적공식의 노드로 식별된다는 점이다—이러한 유형의 두 번째 알려진 예시이자 유일한 사례이다.

ABSTRACT

A discrete Fourier analysis on the fundamental domain $Ω_d$ of the $d$-dimensional lattice of type $A_d$ is studied, where $Ω_2$ is the regular hexagon and $Ω_3$ is the rhombic dodecahedron, and analogous results on $d$-dimensional simplex are derived by considering invariant and anti-invariant elements. Our main results include Fourier analysis in trigonometric functions, interpolation and cubature formulas on these domains. In particular, a trigonometric Lagrange interpolation on the simplex is shown to satisfy an explicit compact formula and the Lebesgue constant of the interpolation is shown to be in the order of $(\log n)^d$. The basic trigonometric functions on the simplex can be identified with Chebyshev polynomials in several variables already appeared in literature. We study common zeros of these polynomials and show that they are nodes for a family of Gaussian cubature formulas, which provides only the second known example of such formulas.

연구 동기 및 목표

• 기본 영역에서의 $A_d$ 격자에 대한 고차원 격자로 고전적 이산 푸리에 분석을 확장하는 것.
• 격자 및 군 작용 하에서 경계점의 동치관계를 해결함으로써 대칭적인 이산 푸리에 분석을 구성하는 것.
• 불변 및 반대칭 삼각함수를 통해 단형에서余弦 및 사인 함수의 유사체를 유도하는 것.
• 명시적인 압축된 공식과 유한한 리프시츠 상수 증가를 갖는 단형에서의 삼각함수 보간 체계를 수립하는 것.
• 일반화된 체비세프 다항식의 공통 영점을 새로운 가우시안 체적공식의 노드로 식별하는 것.

제안 방법

• 격자 $A_d$와 그 기본 영역을 사용하며, 이는 이론적 이동과 군 작용을 통해 $\mathbb{R}^d$를 테일링한다.
• 쌍대 격자 $L^\perp$에 따라 인덱싱된 지수함수를 사용하여 기본 영역에서 삼각함수를 정의하고, $L^2(\Omega_d)$의 정규직교 기저를 형성한다.
• 군과 격자 동치관계를 통해 경계 겹침을 해결함으로써 $n\Omega_d$ 내 대칭 점 집합에서 이산 푸리에 분석을 구성한다.
• $\mathcal{A}_d$-불변 및 반대칭 함수로 제한함으로써 기본 영역의 결과를 단형 $\Delta^*$로 매핑한다.
• 지수함수의 대칭 및 반대칭 조합으로 일반화된 체비세프 다항식을 정의하고, 기존의 다변수 체비세프 체계와 일치시킨다.
• 다항식 아이디얼 $T_\alpha(x) - T_{\alpha^*}(x)$의 영점 다양체를 식별함으로써, 차수 $n+1$인 가우스-로바토 유형의 체적공식을 유도한다. 이는 $\Pi_{n-2}^d$와 수직이다.

실험 결과

연구 질문

• RQ1 기본 일변도의 경우에서 고차원 격자, 특히 $A_d$ 격자로의 이산 푸리에 분석을 어떻게 일반화할 수 있는가?
• RQ2 $A_d$ 격자의 기본 영역의 구조는 어떻게 되며, 이를 바탕으로 보간 및 체적공식을 가능하게 하는 대칭 점 집합을 어떻게 정의할 수 있는가?
• RQ3 $d$-단형에서의 삼각함수 보간은 압축된 명시적 공식으로 표현할 수 있으며, 그 리프시츠 상수의 증가율은 어떻게 되는가?
• RQ4 일반화된 체비세프 다항식은 단형에서 가우시안 체적공식을 구성하는 데 어떤 역할을 하는가?
• RQ5 이 다항식의 공통 영점은 새로운 가우시안 체적공식의 노드인가? 그리고 다항식 아이디얼과의 관계는 어떻게 되는가?

주요 결과

• 단형에서 삼각함수 라그랑주 보간의 리프시츠 상수는 $(\log n)^d$ 비율로 증가하며, 이는 $n$이 증가함에 따라 중간 정도의 증가를 나타낸다.
• 단형에서 보간 기저 함수에 대한 압축된 명시적 공식이 유도되어 효율적인 계산이 가능해진다.
• 일반화된 체비세프 다항식의 제2형에서의 공통 영점은 $|Y_n| = \binom{n+d}{d}$개의 노드를 갖는 가우시안 체적공식의 노드 집합을 이룬다.
• 식 (5.18)의 체적공식은 가중치 $w^{-1/2}$에 대해 가우스-로바토 유형이며, 이론적 최소값인 $\dim \Pi_{n-1}^d$보다 더 많은 노드를 포함하여 높은 정확도를 보인다.
• 노드 집합 $Y_n$은 $|\alpha| = n+1$인 $T_\alpha(x) - T_{\alpha^*}(x)$로 생성된 다항식 아이디얼의 다양체이다. 이들은 $\Pi_{n-2}^d$와 수직이다.
• 본 연구는 이러한 구조를 갖는 가우시안 체적공식의 두 번째로 알려진 예시를 제공하며, 다변수 적분 이론의 발전에 중대한 기여를 한다.