arXivDaily arXiv每日学术速递 周一至周五更新
看起来今天可以划水了
arXiv 2201.07127math.COcs.SC
收藏

等差数列各项的拼接

Concatenations of Terms of an Arithmetic Progression

Florian Luca, Bertrand Teguia Tabuguia

AI总结:

本研究针对自然数等差数列的三类b进制拼接序列,推导其显式公式,通过线性差分算子及定义直接证明它们不具备P递归性,并在十进制下实现了正整数等差序列对应拼接序列的构造。

摘要:

设$(u(n))_{n\in\mathbb{N}}$是底数为$b\in\mathbb{N}\setminus \{0,1\}$的自然数等差数列。我们研究如下序列:$s(n)=\overline{u(0)u(1)\cdots u(n) }^b$,由$(u(n))_{n\in\mathbb{N}}$的前$n+1$项在$b$进制下从右侧拼接而成;$s_g(n) = \overline{u(n)u(n-1)\cdots u(0)}^b$;以及序列$(s_*(n))_{n\in\mathbb{N}}$,其定义为$s_*(0)=u(0)$,当$n\geq 1$时$s_*(n)=\overline{s(n)s_g(n-1)}^b$。我们构建了这些序列的显式公式,并利用线性差分算子的基本概念证明它们不具备P递归性(完整函数性)。我们还给出了一种可直接由其定义推导的替代证明。当$(u(n))_{n\in\mathbb{N}}=\mathbb{N}\setminus \{0\}$时,我们在十进制下实现了$(s(n))_{n\in\mathbb{N}}$和$(s_g(n))_{n\in\mathbb{N}}$的构造。

英文摘要:

Let $(u(n))_{n\in\mathbb{N}}$ be an arithmetic progression of natural integers in base $b\in\mathbb{N}\setminus \{0,1\}$. We consider the following sequences: $s(n)=\overline{u(0)u(1)\cdots u(n) }^b$ formed by concatenating the first $n+1$ terms of $(u(n))_{n\in\mathbb{N}}$ in base $b$ from the right; $s_g(n) = \overline{u(n)u(n-1)\cdots u(0)}^b$; and $(s_*(n))_{n\in\mathbb{N}}$, given by $s_*(0)=u(0)$, $s_*(n)=\overline{s(n)s_g(n-1)}^b, n\geq 1$. We construct explicit formulae for these sequences and use basic concepts of linear difference operators to prove they are not P-recursive (holonomic). We also present an alternative proof that follows directly from their definitions. We implemented $(s(n))_{n\in\mathbb{N}}$ and $(s_g(n))_{n\in\mathbb{N}}$ in the decimal base when $(u(n))_{n\in\mathbb{N}}=\mathbb{N}\setminus \{0\}$.

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

↑