[论文解读] On a problem of Ramachandra and approximation of functions by Dirichlet polynomials with bounded coefficients

Johan Andersson|arXiv (Cornell University)|Jul 19, 2012

Analytic Number Theory Research参考文献 11被引用 4

一句话总结

本文解决了拉马钱德拉关于有界系数Dirichlet多项式逼近函数的精化猜想。利用拟解析性理论与Pechersky重排定理，建立了精确的发散准则：当且仅当级数∑(log Φ(n))/(n log²n) 发散时，逼近误差的L²范数下确界趋于零，从而为ζ-函数理论中的普遍性与下界提供了精确条件。

ABSTRACT

We prove effective results on when a function can be approximated by a Dirichlet polynomial with bounded coefficients. Assuming that Φ(n) is an increasing function we prove that the set of polynomials {\sum_{n=2}^N a_n n^{it-1}: N \geq 2, |a_n| \leq Φ(n)}, is dense in L^2(0,H) if and only if \sum_{n=2}^\infty \frac{\log Φ(n)} {n \log^2 n} = \infty. We also prove variants of this result for generalized Dirichlet polynomials. The main tools are theorems of Paley and Wiener related to quasianalyticity and the Pechersky rearrangement theorem. We use this result to give precise conditions on when a conjecture of Ramachandra is true and when it is false. We prove that whenever Φ(n) is a positive increasing function then \lim_{N o \infty} \min_{|a_n| \leq Φ(n)} \int_0^H \abs{1+\sum_{n=2}^N a_n n^{it-1}}^2 dt =0, if and only if the above sum is divergent. This has applications on lower bounds for moments of the Riemann zeta-functions in short intervals close to Re(s)=1, and to questions of Universality for zeta-functions on and close to their abscissa of convergence.

研究动机与目标

• 确定函数能被系数有界于递增函数Φ(n)的Dirichlet多项式逼近的精确条件。
• 解决拉马钱德拉关于此类逼近的L²范数非零性的精化猜想。
• 建立ζ-函数在Re(s) = 1线上普遍性与非普遍性的精确判别准则。
• 推导黎曼ζ-函数及其他L-函数在Re(s) = 1附近短区间内矩的显式下界。

提出的方法

• 应用Paley-Wiener定理研究拟解析性，刻画Dirichlet多项式在L²(0,H)中张成子空间的稠密性。
• 利用Pechersky重排定理控制部分和在L²-范数下的行为。
• 分析级数∑(log Φ(n))/(n log²n) 的收敛性，作为逼近性质的关键阈值。
• 将问题约化为L²(0,H)上的希尔伯特空间理论，将Dirichlet多项式视为函数空间中的元素。
• 应用对偶性与极值原理，在满足|aₙ| ≤ Φ(n)的系数集合上最小化L²范数。
• 将结果推广至具有算术系数（如d(n)）的广义Dirichlet多项式，以及含(n+α)^{it-1}的平移多项式。

实验结果

研究问题

• RQ1 对于哪些递增函数Φ(n)，满足|aₙ| ≤ Φ(n)的Dirichlet多项式集合在L²(0,H)中稠密？
• RQ2 当N → ∞时，∫₀ᴴ |1 + ∑_{n=2}^N aₙ n^{it-1}|² dt 的L²范数下确界在何种条件下趋于零？
• RQ3 黎曼ζ-函数在Re(s) = 1线上何时不具有普遍性？其短区间矩可建立何种下界？
• RQ4 有界系数Dirichlet多项式逼近性质与级数∑(log Φ(n))/(n log²n) 的收敛性之间有何关系？
• RQ5 类似结果能否推广至其他ζ-函数，如Hurwitzζ-函数与Lerchζ-函数？

主要发现

• 满足|aₙ| ≤ Φ(n)的Dirichlet多项式∑_{n=2}^N aₙ n^{it-1}在L²(0,H)中稠密，当且仅当级数∑_{n=2}^∞ (log Φ(n))/(n log²n) 发散。
• 当且仅当同一级数发散时，∫₀ᴴ |1 + ∑_{n=2}^N aₙ n^{it-1}|² dt 的下确界在N → ∞时趋于零。
• 对于黎曼ζ-函数，若∫₂^∞ (1−ω(t))/(t log t) dt < ∞，则对σ ≥ ω(T)，有∫_T^{T+δ} |ζ(σ+it)| dt ≥ C_δ > 0。
• 该结果可推广至Hurwitz ζ-函数：若满足相同可积条件，则对σ ≥ ω(T)，有∫_T^{T+δ} |ζ(σ+it,α)| dt ≥ C_δ > 0。
• 对于具有素数系数的Dirichlet多项式，当且仅当∑_p (log Φ(p))/(p log p) < ∞时，其范数可远离零。
• 本文首次建立了Hurwitz ζ-函数在Re(s) = 1线上L¹范数的T-无关下界，从而证明其在该线上不具有普遍性。