[논문 리뷰] Four families of orthogonal polynomials of C2 and symmetric and antisymmetric generalizations of sine and cosine functions

Lenka Motlochová, J. Patera|arXiv (Cornell University)|2011. 01. 19.

Mathematical functions and polynomials참고 문헌 20인용 수 6

한 줄 요약

이 논문은 대칭 및 반대칭 일반화된 사인 및余弦 함수로부터 유도된 두 변수에서의 정규수다각 다항식 네 가닥을 제시한다. 이들은 $C_2$ (즉, $Sp(4)$ 또는 $O(5)$ 와 동형임) 리 군과 연결되어 있다. 삼각함수 궤도 함수를 변수 치환을 통해 다항식 형태로 변환함으로써, 저자들은 재귀 관계, 가중 함수와의 수직성, 삼각함수 항등식을 수립하였으며, 기존 리 이론에서 역할을 하지 않았음에도 강력한 구조적 성질을 지닌 두 가지 새로운 함수 가닥($C^{-}$ 및 $S^{+}$)을 식별하였다.

ABSTRACT

Four families of generalizations of trigonometric functions were recently introduced. In the paper the functions are transformed into four families of orthogonal polynomials depending on two variables. Recurrence relations for construction of the polynomials are presented. Orthogonality relations of the four families of polynomials are found together with the appropriate weight fuctions. Tables of the lowest degree polynomials are shown. Numerous trigonometric-like identities are found. Two of the four families of functions are identified as the functions encountered in the Weyl character formula for the finite dimensional irreducible representations of the compact Lie group Sp(4). The other two families of functions seem to play no role in Lie theory so far in spite of their analogous `good' properties.

연구 동기 및 목표

• 삼각함수의 대칭 및 반대칭 일반화로부터 두 변수에서의 정규수다각 다항식 네 가닥을 구성하기.
• 이 다항식을 임의의 차수까지 생성하기 위한 재귀 관계 수립하기.
• 각 다항식 가닥에 대해 수직성 관계와 관련된 가중 함수 식별하기.
• 일반화된 삼각함수와 컴acts 리 군 $Sp(4)$ ($C_2$)의 표현 이론 사이의 새로운 연결 고리 밝혀내기.
• 기존의 $C$- 및 $S$-함수와 동일한 바람직한 성질(예: 수직성, 재귀, 경계 행동)을 지니지만 기존 리 이론에 등장하지 않았던 두 가지 새로운 함수 가닥인 $C^{-}$ 및 $S^{+}$ 식별하기.

제안 방법

• 기본 무게 기저에서 수직 기저로의 선형 변수 치환을 통해 삼각함수의 대칭 및 반대칭 일반화를 다항식 형태로 변환하기.
• 4.2–4.5 절에서 재귀 관계 유도하여 임의의 원하는 차수의 다항식을 순차적으로 생성하기.
• 리 군 이론의 웨일 특성 공식과 이산화 원리에 기반하여 다항식 가닥의 연속적 및 이산적 수직성 확립하기.
• 네 가지 함수 가닥을 $C_2$ 리 대수의 궤도 함수로 식별하기. $\cos^{+}$ 및 $\sin^{-}$는 기존의 $C$- 및 $S$-함수에 해당함.
• 모든 네 가닥에 대해 삼각함수 유사 항등식 유도하기. 이는 $\cos^{\pm}$ 및 $\sin^{\pm}$를 포함한 곱-합 및 합-곱 변환 관계 포함함.
• 기존 리 이론에 등장하지 않았음에도 불구하고 $C^{-}$ 및 $S^{+}$ 가닥이 표준 $C$- 및 $S$-함수와 동일한 '좋은' 성질(예: 수직성, 재귀, 경계 행동)을 만족함을 보여주기.

실험 결과

연구 질문

• RQ1 두 변수에서의 사인 및 여현수의 대칭 및 반대칭 일반화된 함수를 어떻게 정규수다각 다항식으로 변환할 수 있는가?
• RQ2 유도된 다항식 가닥의 재귀 관계와 수직성 성질은 무엇인가?
• RQ3 네 가지 함수 가닥 중 어느 것이 $Sp(4)$의 웨일 특성 공식에서 알려진 궤도 함수에 해당하는가?
• RQ4 $C$- 및 $S$-함수와 동일한 구조적 성질과 수직성을 지니지만 기존 표준 리 이론에 존재하지 않는 $C^{-}$ 및 $S^{+}$ 가닥은 어떤 성질을 지니는가?
• RQ5 궤도 함수의 이산화가 다항식 수준으로 이행될 수 있는가? 이는 조화 분석 및 표현 이론 분야의 적용에 어떤 함의를 갖는가?

주요 결과

• $\cos^{+}_{(\lambda,\mu)}$ 및 $\sin^{-}_{(\lambda,\mu)}$ 함수는 $C_2$ 리 대수의 웨일 특성 공식에서 정확히 알려진 $C$- 및 $S$-함수에 해당한다.
• $\cos^{-}_{(\lambda,\mu)}$ 및 $\sin^{+}_{(\lambda,\mu)}$ 함수는 $C^{-}$ 및 $S^{+}$로 표기되는 두 가지 새로운 가닥으로 식별되었으며, 기본 영역의 경계에서 '하이브리드' 대칭 행동을 보이며 이전에 리 이론에서 인식되지 않았다.
• 네 가닥의 다항식은 임의의 원하는 차수까지 구성 가능한 재귀 관계를 만족하며, 부록 2에 최저 차수 다항식의 명시적 표 제공됨.
• 모든 네 가닥의 다항식에 대해 수직성 관계가 확립되었으며, 각각 특정 가중 함수를 지님. 이는 $C_2$ 루트 체계에 의해 결정되는 대칭성에 따른 연속 및 이산 수직성 가능함.
• 모든 네 가닥에 대해 삼각함수 유사 항등식(예: 곱-합 및 합-곱 공식 포함)이 도출되었으며, 명시적 식(예: (65)–(68))을 통해 대수적 닫힘 성질을 보여줌.
• 이러한 다항식 구성 방법은 동일한 방법으로 임의의 랭크 $n > 2$로 일반화 가능하며, 다른 변수 선택(예: $\chi_{\omega_1}$ 및 $\chi_{\omega_2}$ 사용)이 동일한 다항식 가닥을 얻을 수 있음을 보이며, 특정 적용 분야에서 잠재적인 이점이 있음.