[论文解读] Some Notes on Flat Polynomials

El Houcein El Abdalaoui, Mahendra Nadkarni|arXiv (Cornell University)|Feb 22, 2014

Mathematical Dynamics and Fractals参考文献 25被引用 4

一句话总结

本文研究了遍历理论中平坦多项式（flat polynomials）的谱性质，建立了具有非负系数的多项式序列在几乎处处绝对值收敛于1的必要条件。研究发现，若此类序列几乎处处平坦，则非零项数与指数跨度之比必须发散至无穷大，这与超平坦序列（其中该比值有界）形成鲜明对比。

ABSTRACT

Connection of flat polynomials with some spectral questions in ergodic theory is discussed. A necessary condition for a sequence of polynomials of the type $\frac{1}{\sqrt{N}} \big(1 +\sum_{j=1}^{N-1} z^{n_j}\big)$ to be flat in almost everywhere sense is given, which contrasts with a similar necessary condition for a sequence of polynomials to be ultraflat.

研究动机与目标

• 建立在谱理论背景下，具有非负系数的三角多项式序列几乎处处平坦的必要条件。
• 对比平坦多项式（|P_j| 几乎处处收敛于1）与超平坦多项式（|P_j| 一致收敛于1）的行为差异。
• 分析此类平坦性对秩一变换中广义Riesz积及谱测度的影响。
• 探究外函数与分离多项式积在决定谱测度的奇异性或绝对连续性中的作用。
• 阐明广义Riesz积在何种条件下可具有秩一映射谱测度中的Lebesgue分量。

提出的方法

• 利用Beurling定理将多项式分解为内部分与外部分，以分离谱行为与零点结构。
• 应用Egorov定理提取子列，使得 |P_j(z)| 在正测度集合上一致收敛于1。
• 构造一系列拉伸多项式 P_j(z^{l_k})，以确保分离性并控制乘积收敛。
• 运用调和函数的平均值性质，将 log|Q_j(0)| 与 |P_j| 在单位圆上的 L^1 范数关联。
• 利用测度 μ_n = ∏_{k=1}^n |Q_k(z^{l_k})|^2 dz 弱收敛于具有几乎处处正密度的极限测度 μ。
• 应用引理4.2，证明若 ∑√(N_j / r_j) = ∞，则极限测度 μ 与Lebesgue测度互奇异。

实验结果

研究问题

• RQ1 对于多项式序列 P_j = (1 + ∑_{i=1}^{m_j-1} z^{R_{i,j}})/√m_j，其比值 r_j / N_j 必须满足何种必要条件，才能使 |P_j(z)| 几乎处处收敛于1？
• RQ2 |P_j| 几乎处处平坦与关联广义Riesz积的谱类型（Lebesgue型或奇异型）之间有何关系？
• RQ3 若比值 r_j / N_j 有界，与秩一映射相关的广义Riesz积是否仍可能具有Lebesgue分量？
• RQ4 分离多项式积在决定极限测度谱类型方面起何种作用？
• RQ5 平坦多项式外部分 Q_j 在几乎处处平坦与超平坦情形下的行为有何不同？

主要发现

• 若具有非负系数的多项式序列 P_j 满足 |P_j(z)| → 1 a.e. (dz)，则当 j → ∞ 时，比值 r_j / N_j → ∞，其中 r_j 为非零项数，N_j 为指数跨度。
• 无限乘积 ∏_{j=1}^∞ |P_j(z)|^2 几乎处处（dz）具有有限非零极限，当且仅当 r_j / N_j → ∞。
• 若比值序列 r_j / N_j 有界，则无限乘积 ∏_{j=1}^∞ |P_j(z)|^2 在任意正测度集合上不可能具有有限非零极限。
• 若 ∑√(N_j / r_j) = ∞，则与分离拉伸多项式 P_j(z^{l_k}) 关联的极限测度 μ 与Lebesgue测度互奇异。
• 若比值 r_j / N_j 远离零，则与保测秩一映射相关的广义Riesz积不可能具有Lebesgue分量。
• 几乎处处平坦的多项式序列的外部分 Q_j 不一定满足 Q_j(0) → 1，这与超平坦序列中的直觉相矛盾。