arXivDaily arXiv每日学术速递 周一至周五更新
arXiv 0811.4287math.NTmath.CO
收藏

正整数处Dirichlet β函数的q-模拟的丢番图性质

Diophantine properties for q-analogues of Dirichlet's beta function at positive integers

Frederic Jouhet, Elie Mosaki

摘要:

本文定义了Dirichlet β函数在正整数上的$q$ -模拟,它可以表示为$s\in\N^*$的$β_q(s)=\sum_{k\geq1}\sum_{d|k}χ(k/d)d^{s-1}q^k$,其中$q$是一个复数,使得$|q|<1$和$χ$是模4的非平凡Dirichlet特征标.对于奇数$s$,这些表达式与自守世界,特别是与4级的爱森斯坦级数有关。从这一点,我们通过Nesterenko的工作得出的超越数$β_q(2s+1)$的$q$代数,使$0<|q|<1$。我们的主要结果是关于数$β_q(2s)$的性质:我们给出了由$1,β_q(2),β_q(4),...,β_q(A)$生成的$\Q$上的向量空间的维数的下界,其中$1/q\in\Z\setminus\{-1;1\}$和$A$是偶数.作为结果,对于$1/q\in\Z\setminus\{-1;1\}$,一方面在$β_q(2),β_q(4),...$中存在无穷多个无理数,另一方面至少有一个数$β_q(2),β_q(4),..., β_q(20)$是无理数。

英文摘要:

small In this paper, we define $q$-analogues of Dirichlet's beta function at positive integers, which can be written as $β_q(s)=\sum_{k\geq1}\sum_{d|k}χ(k/d)d^{s-1}q^k$ for $s\in\N^*$, where $q$ is a complex number such that $|q|<1$ and $χ$ is the non trivial Dirichlet character modulo 4. For odd $s$, these expressions are connected with the automorphic world, in particular with Eisenstein series of level 4. From this, we derive through Nesterenko's work the transcendance of the numbers $β_q(2s+1)$ for $q$ algebraic such that $0<|q|<1$. Our main result concerns the nature of the numbers $β_q(2s)$: we give a lower bound for the dimension of the vector space over $\Q$ spanned by $1,β_q(2),β_q(4),...,β_q(A)$, where $1/q\in\Z\setminus\{-1;1\}$ and $A$ is an even integer. As consequences, for $1/q\in\Z\setminus\{-1;1\}$, on the one hand there is an infinity of irrational numbers among $β_q(2),β_q(4),...$, and on the other hand at least one of the numbers $β_q(2),β_q(4),..., β_q(20)$ is irrational.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑