[論文レビュー] Some Notes on Flat Polynomials

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

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

ひとこと要約

本稿は、エルゴディック理論における平坦多項式のスペクトル的性質を調査し、非負係数を持つ多項式列が本質的にすべての点で絶対値の意味で1に収束するための必要条件を確立する。その結果、このような列が a.e. で平坦であるならば、項の数と指数のスパンの比は無限大に発散することを示し、これは比が有界のままである超平坦列とは対照的である。

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| の a.e. 収束 1 である平坦多項式の振る舞いと、|P_j| の一様収束 1 である超平坦多項式の振る舞いを対比すること。
• 一般化リーマン積とランク1変換におけるスペクトル測度に対するこのような平坦性の意味を分析すること。
• 外的関数と分離可能な多項式積が、スペクトル測度の非特異性または絶対連続性を決定づける役割を解明すること。
• 一般化リーマン積がランク1写像のスペクトル測度にルベーグ成分を有する条件を明確にすること。

提案手法

• 多項式を内的部と外的部に分解するブルーリングの分解を用いて、スペクトル的性質と零点構造を分離すること。
• エゴロフの定理を応用し、|P_j(z)| が全測度の集合上で一様に 1 に収束する部分列を抽出すること。
• 多項式の分離性を保ちつつ積の収束を制御するため、拡大された多項式 P_j(z^{l_k}) の列を構成すること。
• 調和関数の平均値性質を用いて、log|Q_j(0)| を円周上での log|P_j| の L^1 ノルムに関連付けること。
• 測度 μ_n = ∏_{k=1}^n |Q_k(z^{l_k})|^2 dz が極限測度 μ に弱収束し、a.e. で正の密度を持つこと。
• 補題 4.2 を適用し、∑√(N_j / r_j) = ∞ ならば、極限測度 μ がルベーグ測度に対して非特異的であることを示すこと。

実験結果

リサーチクエスチョン

• RQ1 多項式 P_j = (1 + ∑_{i=1}^{m_j-1} z^{R_{i,j}})/√m_j が a.e. で平坦であるためには、比 r_j / N_j が満たすべき必要条件は何か？
• RQ2 |P_j| の a.e. 平坦性は、関連する一般化リーマン積のスペクトル型（ルベーグ的か非特異的か）とどのように関係するか？
• RQ3 比 r_j / N_j が有界のままである場合、ランク1写像に関連する一般化リーマン積がルベーグ成分を有し得るか？
• RQ4 分離可能な多項式積が、極限測度のスペクトル型を決定づける役割は何か？
• RQ5 平坦 a.e. 多項式列の外的部 Q_j は、a.e. 平坦性と超平坦性の間でどのように異なるか？

主な発見

• 非負係数を持つ多項式列 P_j が |P_j(z)| → 1 a.e. (dz) を満たすならば、r_j が非ゼロ項の数で、N_j が指数のスパンであるとき、j → ∞ で r_j / N_j → ∞ である。
• 無限積 ∏_{j=1}^∞ |P_j(z)|^2 が a.e. (dz) で非ゼロ有限極限を持つのは、r_j / N_j → ∞ のときに限る。
• 比 r_j / N_j が有界であるならば、無限積 ∏_{j=1}^∞ |P_j(z)|^2 は任意の正の測度の集合上で有限非ゼロ極限を持てない。
• 分離可能な拡大多項式 P_j(z^{l_k}) に関連する極限測度 μ は、∑√(N_j / r_j) = ∞ ならばルベーグ測度に対して非特異的である。
• 測度を保存するランク1写像に関連する一般化リーマン積は、比 r_j / N_j が 0 から離れている限り、ルベーグ成分を有し得ない。
• 平坦 a.e. 多項式列の外的部 Q_j は、一般に Q_j(0) → 1 を満たさず、超平坦列からの直感とは対照的である。