[论文解读] Improved q-exponential and q-trigonometric functions

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

Mathematical functions and polynomials参考文献 3被引用 7

一句话总结

本文引入了一种新的 $q$-指数函数 $\mathcal{E}_q^z$，定义为标准 $q$-指数函数 $e_q^{z/2}$ 与 $E_q^{z/2}$ 的乘积，该函数将虚轴映射到单位圆上。这导致了改进的 $q$-三角函数 $\mathcal{S}in_q x$ 和 $\mathcal{C}os_q x$，它们是有界的，并满足毕达哥拉斯恒等式 $\mathcal{C}os_q^2 x + \mathcal{S}in_q^2 x = 1$，从而解决了先前 $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$-指数函数定义为 $\mathcal{E}_q^z = e_q^{z/2} E_q^{z/2}$，结合标准 $q$-指数函数及其对偶形式。
• 利用无穷乘积表示 $\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}}$ 推导其解析性和收敛性性质。
• 引入 $q$-阶乘 $\{n\}_q! = \frac{[n]_q!}{(1/2)(1 + q^{n-1})^n}$，以定义幂级数展开 $\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 是否存在一种 $q$-变形的三角函数，使其满足经典毕达哥拉斯恒等式 $\cos^2 x + \sin^2 x = 1$？
• 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!}$ 在半径为 $R_q = \frac{2}{1-q}$ 的圆盘内收敛，其中 $0 < q < 1$。