[논문 리뷰] Improved q-exponential and q-trigonometric functions

Jan L. Cieśliński|arXiv (Cornell University)|2010. 06. 29.

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

한 줄 요약

이 논문은 표준 $q$-지수함수 $e_q^{z/2}$와 그 쌍대 $E_q^{z/2}$의 곱으로 정의된 새로운 $q$-지수함수 $\mathcal{E}_q^z$를 제안한다. 이 함수는 허수축을 단위원주로 매핑한다. 이는 유계이고 피타고라스 항등식 $\mathcal{C}os_q^2 x + \mathcal{S}in_q^2 x = 1$을 만족하는 개선된 $q$-삼각함수 $\mathcal{S}in_q x$와 $\mathcal{C}os_q x$를 도출하며, 이는 이전의 $q$-변형에서의 핵심적 한계를 해결한다.

ABSTRACT

We propose a new definition of the q-exponential function. Our q-exponential function maps the imaginary axis into the unit circle and the resulting q-trigonometric functions are bounded and satisfy the Pythagorean identity.

연구 동기 및 목표

• q-미적분학에서 삼각항등식을 유지하는 유계이자 단위원주로의 사상이 보장되는 $q$-지수함수의 부재를 해결하기 위해.
• 특히 피타고라스 항등식을 만족하는 고전 삼각함수와 유사한 성질을 지닌 $q$-삼각함수를 개발하기 위해.
• Cayley 변환에 영감을 받은 구성 방식을 통해 $q$-미적분학과 시계열 미적분학을 통합하기 위해.
• 수학적 물리학 및 특수함수 분야의 적용을 위해 $q$-지수함수와 $q$-삼각함수의 정성적 행동을 향상시키기 위해.

제안 방법

• 표준 $q$-지수함수와 그 쌍대를 조합하여 새로운 $q$-지수함수를 정의한다: $\mathcal{E}_q^z = e_q^{z/2} E_q^{z/2}$.
• 무한곱 표현식 $\mathcal{E}_q^z = \prod_{k=0}^\infty \frac{1 + q^k(1-q)\frac{z}{2}}{1 - q^k(1-q)\frac{z}{2}}$을 사용하여 해석성과 수렴성 성질을 도출한다.
• $\{n\}_q! = \frac{[n]_q!}{(1/2)(1 + q^{n-1})^n}$로 정의된 $q$-계승을 도입하여 거듭제곱 급수 전개 $\mathcal{E}_q^z = \sum_{n=0}^\infty \frac{z^n}{\{n\}_q!}$를 정의한다.
• $q$-차분 연산자를 사용하여 $q$-미분 항등식 $D_q \mathcal{E}_q^z = \frac{\mathcal{E}_q^{qz}}{1 + (1-q)\frac{z}{2}}$를 유도한다.
• $\mathcal{S}in_q x = \frac{\mathcal{E}_q^{ix} - \mathcal{E}_q^{-ix}}{2i}$와 $\mathcal{C}os_q x = \frac{\mathcal{E}_q^{ix} + \mathcal{E}_q^{-ix}}{2}$를 통해 $q$-삼각함수를 정의한다.
• 단위행렬 성질 $|\mathcal{E}_q^{ix}| = 1$을 이용하여 핵심 항등식 $\mathcal{C}os_q^2 x + \mathcal{S}in_q^2 x = 1$을 확립한다.

실험 결과

연구 질문

• RQ1 허수축을 단위원주로 매핑하여 $q$-삼각함수를 유계로 만드는 $q$-지수함수를 정의할 수 있는가?
• RQ2 고전적 피타고라스 항등식 $\cos^2 x + \sin^2 x = 1$을 만족하는 $q$-삼각함수의 변형이 존재하는가?
• RQ3 Cayley 변환은 어떤 방식으로 분석적·기하적 성질이 향상된 $q$-지수함수를 구성하는 데 사용될 수 있는가?
• RQ4 새로운 $q$-지수함수는 표준 $q$-지수함수로 표현될 수 있는가? 이를 통해 기존 항등식의 이행이 가능한가?

주요 결과

• 새로운 $q$-지수함수 $\mathcal{E}_q^z$는 허수축을 단위원주로 매핑하여 모든 실수 $x$에 대해 $|\mathcal{E}_q^{ix}| = 1$임을 보장한다.
• $q$-삼각함수 $\mathcal{S}in_q x$와 $\mathcal{C}os_q x$는 유계이며, 모든 실수 $x$에 대해 $|\mathcal{S}in_q x| \leq 1$과 $|\mathcal{C}os_q x| \leq 1$을 만족한다.
• 이 함수들은 피타고라스 항등식 $\mathcal{C}os_q^2 x + \mathcal{S}in_q^2 x = 1$을 만족하며, 이는 표준 $q$-삼각함수에서는 성립하지 않는 성질이다.
• $\mathcal{S}in_q x$의 $q$-미분은 $\langle \mathcal{C}os_q x \rangle$, $\mathcal{C}os_q x$의 $q$-미분은 $-\langle \mathcal{S}in_q x \rangle$이다. 여기서 $\langle f(x) \rangle = \frac{1}{2}(f(qx) + f(x))$이다.
• 새로운 $q$-지수함수는 $\mathcal{E}_q^z = \mathcal{E}_{1/q}^z$를 만족하여 $q \to 1/q$에 대한 대칭성을 유지한다.
• 거듭제곱 급수 전개 $\mathcal{E}_q^z = \sum_{n=0}^\infty \frac{z^n}{\{n\}_q!}$는 $0 < q < 1$일 때 반지름 $R_q = \frac{2}{1-q}$인 원판 내에서 수렴한다.