1
$\开始组$

考虑一个总数$$\sum_{k=0}^{n-1}\sum_{j=0}^{m} A类_{j,m}(n-k)^jk^j$$它返回一个奇数幂$n^{2m+1}$属于n美元$,用于$\m=0,1,2$给定固定$A_{0,m},\A_{1,m},\…,\A_{m,m}$.系数$A_{0,m},\A_{1,m}$是方程组的解(参见.tx文件使用数学代码$m=1,2,。。。12$). 系数$A_{0,m},\A_{1,m}$被安排到PDF表格例如,$$\sum_{k=0}^{n-1}\sum_{j=0}^{2} A类_{j,2}(n-k)^jk^j=\sum_{k=0}^{n-1}30k^2(n-k)^2+1=n^5$$我们的系数与系数密切相关$\贝塔{mv}$来自C.Jordan有限差分法第448-450页。

问题:系数是否可以$A_{0,m},\A_{1,m},\…,\A_{m,m}$以重复的方式使用$\贝塔{mv}$? 这个问题也可以表述为:是否存在这样的函数$f(\beta_{mv})=A_{v,m}$?

其他问题我们的系数到底是多少$A_{0,m},\A_{1,m},\…,\A_{m,m}$与连接$\贝塔{mv}$?

$\端组$

1答案1

重置为默认值
4
$\开始组$

编辑2018-04-16:公式已更正。

我不确定与$\beta_{mv}$的联系,但我们可以获得$a_{j,m}$的递归公式,如下所示。

首先,让我们修复$j<0$或$j>m$的未使用值$A_{j,m}=0$,因此我们不需要关心$j$的求和范围。

展开$(n-k)^j$并使用Faulhaber公式,我们得到$$\sum_{k=0}^{n-1}(n-k)^jk^j=\sum_{k=0.}^{n-1}\sum_i\binom{j} 我n^{j-i}(-1)^ik^{i+j}$$$$=\sum_{i}\binom{j}{i}n^{j-i}\frac{(-1)^i}{i+j+1}\left[\sum_t\binom}i+j+1}tB_tn^{i+j+1-t}-B_{i+j+1}\right]$$$$=\sum_{i,t}\binom{j}{i}\frac{(-1)^i}{i+j+1}\binom{i+j+1}t B_t n^{2j+1-t}-\sum_{i}\binom{j}{i}\frac{(-1)^i}{i+j+1}B_ i+j+1}n^{j-i}$$其中$B_t$是伯努利数。

现在,我们注意到$$\sum_{i}\binom{j}{i}\frac{(-1)^i}{i+j+1}\binom{i+j+1}t=\开始{cases}\裂缝{1}{(2j+1)\binom{2j}个},&\text{if}t=0\\\压裂{(-1)^j}{t}\binom{j}{2j-t+1},&\text{if}t>0。\结束{cases}$$特别是,$0<t\leq j$的最后一个总和为零。

因此,分别引入$\ell=2j+1-t$和$\ell=j-i$,我们得到$$\sum_{k=0}^{n-1}(n-k)^ j k ^ j=\压裂{1}{(2j+1)\binom{2j}个}n^{2j+1}+\sum_{ell}\frac{(-1)^j}{2j+1-\ell}\binom{j}{\ell}B_{2j+1-\ell}n^{ell}-\sum_{ellneneneep \binom}{j}{\ell{(-1)$$$$=\压裂{1}{(2j+1)\binom{2j}个}n^{2j+1}+2\sum_{\text{奇数}\ell}\frac{(-1)^j}{2j+1-\ell}\binom{j}{\ell}B{2j+1-\ell}n^{\ellneneneep$$

使用$A_{j,m}$的定义,我们获得了$n$中多项式的以下恒等式:$$(\星)\qquad\sum_{j}A_{j,m}\frac{1}{(2j+1)\binom{2j}个}n^{2j+1}+2\sum_{j,\text{奇数}\ell}A_{j、m}\binom{j}{\ell}\frac{(-1)^j}{2j+1-\ell}B_2j+1-\ ell}n^{ell}\equivn^{2m+1}$$


取$(\star)$中$n^{2m+1}$的系数,得到$A{m,m}=(2m+1)\binom{2m}{m}$取整数$d$在$m/2\leqd<m$范围内的系数$x^{2d+1}$,得到$A{d,m}=0$。

对于$m/4\leqd<m/2$,取$(\star)$中$n^{2d+1}$的系数,得到$$A{d,m}\frac{1}{(2d+1)\binom{2d}{d}}+2(2m+1)\biom{2m}{m}\binom}{2d+1}\frac{(-1)^m}{2m-2d}B{2m-2d}=0$$$$A_{d,m}=(-1)^{m-1}\frac{(2m+1)!}{d!d!m!(m-2d-1)!}\frac{1}{m-d}B_{2m-2d}$$

类似地,我们可以通过先前确定的$A_{j,m}$的值来表示$m/2^{s+1}\leq d<m/2^s$范围内的每个整数$d$的$A{d,m}$(连续迭代$s=1,2,\dots$),如下所示:$$A{d,m}=(2d+1)\binom{2d}{d}\sum{j\geq2d+1}A{j,m}\binom}{2d+1}\frac{(-1)^{j-1}}{j-d}B{2j-2d}$$同样的公式也适用于$d=0$。

$\端组$
12
  • $\开始组$ 谢谢你的回复:)评论意味着非常有用 $\端组$ 评论 2018年4月16日8:13
  • $\开始组$ 亲爱的Alekseev博士,也许你看到了我们的$A{j,m}$和力量的有限差异之间的联系吗?我问是因为我们有零这张桌子似乎是高于幂的差异顺序,即$D^m(x^n)=0,\m>n$ $\端组$ 评论 2018年4月16日9:18
  • $\开始组$ 我不理解你的符号“取$n/4\leq d<m/2$的系数$n^{2d+1}$in(⋆)”我认为$d$应该是一个整数$x^{2d+1}$是错误类型吗?那么$d$和$m$是整数还是?在问题的核心中,它们是指整数。如果不难,并且您有空闲时间,请从上表中显示您的结果在现有系数上的应用,谢谢 $\端组$ 评论 2018年4月16日12:32
  • $\开始组$ 你能给第二排展示一下吗桌子,即到达系数$A{0,2}=1,\A{1,2}=0,\A_{2,2}=30$?谢谢您 $\端组$ 评论 2018年4月16日13:31
  • 1
    $\开始组$ oeis.org/A302971感谢大家,最终接受了OEIS序列:) $\端组$ 评论 2018年5月1日21:02

你的答案

单击“发布您的答案”,表示您同意我们的服务条款并确认您已阅读我们的隐私政策.

不是你想要的答案吗?浏览标记的其他问题问你自己的问题.