高斯完整三角和疑惑最近在看潘承洞写的解析数论,由于完全是自学,发现一些符号跟现在学的也不一样比如说高斯完整三角和公式,书
来源:学生作业帮 编辑:作业帮 分类:数学作业 时间:2024/08/24 10:36:00
高斯完整三角和疑惑
最近在看潘承洞写的解析数论,由于完全是自学,发现一些符号跟现在学的也不一样比如说高斯完整三角和公式,书中是这样写的,如下图
![](http://img.wesiedu.com/upload/0/13/013d4c90d3b9c8182ee96c187c537bfa.jpg)
,推断e(x)应该是不是高数上写的e(2πix),但是有好像与(b)的结论不一致,现在搞不清题中的e(x)是这么个函数?希望能证明,
最近在看潘承洞写的解析数论,由于完全是自学,发现一些符号跟现在学的也不一样比如说高斯完整三角和公式,书中是这样写的,如下图
![](http://img.wesiedu.com/upload/0/13/013d4c90d3b9c8182ee96c187c537bfa.jpg)
,推断e(x)应该是不是高数上写的e(2πix),但是有好像与(b)的结论不一致,现在搞不清题中的e(x)是这么个函数?希望能证明,
如果手头有书的话不妨找找符号说明,我这的电子版没有那页.
个人推测就是e(x) = e^(2πix),这样才能保证Fourier变换与逆变换的形式.
而之所以不是e(x) = e^(-2πix) 是为了使(a)能成立,此时e(1/4) = i.
但(b)的结论需要改为(1+i^(-N))/(1+i^(-1))·√N = (1+i^(-N))(1+i)/2·√N.
(a)对f(x) = e(x²/N)使用有限形式的Poisson求和公式.
得∑{0 ≤ n < N} f(n) = ∑{m为整数} ∫{0,N} f(x)·e(-mx)dx (注意f(0) = f(N)).
换元x = Nt,则∫{0,N} f(x)·e(-mx)dx = N·∫{0,1} f(Nt)·e(-mNt)dt = N·∫{0,1} e(N(t²-mt))dt.
换元t = s+m/2,有N·∫{0,1} e(N(t²-mt))dt = Ne(-Nm²/4)·∫{-m/2,-m/2+1} e(Ns²)ds
当m为偶数,e(-Nm²/4) = 1,故∑{m为偶数} ∫{0,N} f(x)·e(-mx)dx = N·∫{-∞,+∞} e(Ns²)ds.
当m为奇数,e(-Nm²/4) = i^(-N),故∑{m为奇数} ∫{0,N} f(x)·e(-mx)dx = N·i^(-N)·∫{-∞,+∞} e(Ns²)ds.
于是S(N) = ∑{0 ≤ n < N} f(n) = (1+i^(-N))N·∫{-∞,+∞} e(Ns²)ds.
(b)换元s = u/√N得S(N) = (1+i^(-N))√N·∫{-∞,+∞} e(u²)du = (1+i^(-N))(1+i)/2·√N.
再问:
这是书中截得一个图,感觉(b)应该是对的,但是与e(x)=e(2πix)矛盾,你留个邮箱吧,我吧我那本书分给你看看
再答: 电子版我也有, 上面的式子和原题我都看到了, 但是我还是宁愿相信是印错了. 我对e(x) = e^(2πix)的信心来源于几方面. 首先是这能保证e(n/N)是mod N剩余类群到复数乘法群的群同态. 其次是这与书上的Fourier变换和逆变换的形式相容. 再次与书上三十五章的Dedekind η函数的定义也与一般意义一致. 此外与《数论导引》中Gauss和的定义相容. 我没有细看过这本书, 如果仔细找应该还有很多证据. 当然我觉得直接找到原书的符号说明最能说明问题, 可惜我找的电子版都没有. 如果承认e(x) = e^(2πix), 那么结论(b)明显是有问题的. 举个例子验证一下就知道了.
个人推测就是e(x) = e^(2πix),这样才能保证Fourier变换与逆变换的形式.
而之所以不是e(x) = e^(-2πix) 是为了使(a)能成立,此时e(1/4) = i.
但(b)的结论需要改为(1+i^(-N))/(1+i^(-1))·√N = (1+i^(-N))(1+i)/2·√N.
(a)对f(x) = e(x²/N)使用有限形式的Poisson求和公式.
得∑{0 ≤ n < N} f(n) = ∑{m为整数} ∫{0,N} f(x)·e(-mx)dx (注意f(0) = f(N)).
换元x = Nt,则∫{0,N} f(x)·e(-mx)dx = N·∫{0,1} f(Nt)·e(-mNt)dt = N·∫{0,1} e(N(t²-mt))dt.
换元t = s+m/2,有N·∫{0,1} e(N(t²-mt))dt = Ne(-Nm²/4)·∫{-m/2,-m/2+1} e(Ns²)ds
当m为偶数,e(-Nm²/4) = 1,故∑{m为偶数} ∫{0,N} f(x)·e(-mx)dx = N·∫{-∞,+∞} e(Ns²)ds.
当m为奇数,e(-Nm²/4) = i^(-N),故∑{m为奇数} ∫{0,N} f(x)·e(-mx)dx = N·i^(-N)·∫{-∞,+∞} e(Ns²)ds.
于是S(N) = ∑{0 ≤ n < N} f(n) = (1+i^(-N))N·∫{-∞,+∞} e(Ns²)ds.
(b)换元s = u/√N得S(N) = (1+i^(-N))√N·∫{-∞,+∞} e(u²)du = (1+i^(-N))(1+i)/2·√N.
再问:
![](http://img.wesiedu.com/upload/2/2f/22f765e9338623c03ba5d3639d7d2993.jpg)
再答: 电子版我也有, 上面的式子和原题我都看到了, 但是我还是宁愿相信是印错了. 我对e(x) = e^(2πix)的信心来源于几方面. 首先是这能保证e(n/N)是mod N剩余类群到复数乘法群的群同态. 其次是这与书上的Fourier变换和逆变换的形式相容. 再次与书上三十五章的Dedekind η函数的定义也与一般意义一致. 此外与《数论导引》中Gauss和的定义相容. 我没有细看过这本书, 如果仔细找应该还有很多证据. 当然我觉得直接找到原书的符号说明最能说明问题, 可惜我找的电子版都没有. 如果承认e(x) = e^(2πix), 那么结论(b)明显是有问题的. 举个例子验证一下就知道了.
高斯完整三角和疑惑最近在看潘承洞写的解析数论,由于完全是自学,发现一些符号跟现在学的也不一样比如说高斯完整三角和公式,书
高一数学题:关于和与差的三角函数公式,诱导公式,任意角的三角
高一数学三角恒等变换两角和与差的正弦余弦正切公式
高一关于三角比和诱导公式的几道题(急~)
高二数学题:关于解不等式(组),和与差的三角函数公式,三角函
三角恒等公式 和差化积公式是怎么来的
高一数学题:关于倍角公式,和与差的三角函数公式,和与差的三角
三角阀和角阀是一样的吗?
三角贸易和奴隶贸易是一样的吗?
求:三角和的正切公式
高一必修一的英语单词 ,标好三角符号
像E一样的那个符号什么意思.还有符号上下写的n和k=0.在高数泰勒公式里用的.本人自学.这里没有讲解