[論文レビュー] Hybrid bounds on two-parametric family Weyl sums along smooth curves

Changhao Chen, Igor E. Shparlinski|arXiv (Cornell University)|Mar 5, 2020

Analytic Number Theory Research参考文献 17被引用数 5

ひとこと要約

本稿は、滑らかな曲線に沿った二パrameter族のWeyl和に対してハイブリッドバウンドを確立し、分散型偏微分方程式に関連する指数和に関する先行研究を一般化・改善する。平均値定理、補完技法、測度論的推定を組み合わせることで、ほとんどすべてのパラメータに対して、Weyl和のsupノルムが $ N^{\rho + o(1)} $ で有界であることを証明する。ここで $ \rho < 1 $ であり、これは Hölder連続なレベル集合および次数 $ k \geq 2 $ の多項式位相へと拡張される。

ABSTRACT

We obtain a new bound on Weyl sums with degree $k\ge 2$ polynomials of the form $(τx+c) ω(n)+xn$, $n=1, 2, \ldots$, with fixed $ω(T) \in \mathbb{Z}[T]$ and $τ\in \mathbb{R}$, which holds for almost all $c\in [0,1)$ and all $x\in [0,1)$. We improve and generalise some recent results of M.~B.~Erdogan and G.~Shakan (2019), whose work also shows links between this question and some classical partial differential equations. We extend this to more general settings of families of polynomials $xn+y ω(n)$ for all $(x,y)\in [0,1)^2$ with $f(x,y)=z$ for a set of $z \in [0,1)$ of full Lebesgue measure, provided that $f$ is some Hölder function.

研究の動機と目的

• トーラス上の直線に沿った多項式位相付きWeyl和に関する最近の結果を改善・一般化すること、特に分散型偏微分方程式に関連するものである。
• 形の $ \sum_{n=1}^N \mathbf{e}((\tau x + c)\omega(n) + xn) $ の和に対して、1つのパラメータに関して一様で、もう1つのパラメータに関してほとんど everywhere であるハイブリッドバウンドを確立すること。ここで $ \omega(n) \in \mathbb{Z}[n] $、$ \deg \omega = k \geq 2 $ である。
• これらのバウンドを、Hölder連続関数 $ f(x,y) = z $ のようなより一般的な設定に拡張し、和を $ (x,y) \in f^{-1}(z) $ に対してとる。ほとんどすべての $ z \in [0,1) $ に対して有効である。
• 測度論的および組合せ的技法を用いて、Weyl和が $ N^\alpha $ を超えるパラメータの例外集合に対する定量的推定を提供すること。
• この手法が、Hölder連続関数のレベル集合や固定半径の円などのより広い幾何的設定にどのように拡張可能かを示すこと。また、滑らかさ条件を満たす非多項式位相に対しても有効である。

提案手法

• 不完全な指数和を完全な和に変換する補完技法を適用し、古典的平均値定理の適用を可能にする。
• dyadic分解とdyadic長方形 $ \mathcal{R} $ を用いた被覆論法を用いて、Weyl和の大きな値を局所化する。
• 条件付き推定（補題3.1）を用いて、Weyl和が $ N^\alpha $ を超えるパラメータ集合の測度を評価し、$ L^2 $ ノルムと被覆に含まれる長方形の数に依存する。
• 補題2.8（測度論的被覆補題）を適用し、Weyl和が大きいパラメータ $ \mathbf{u} $ のLebesgue測度を上界で評価する。
• 指数和の減衰に関連するパラメータ $ s $ を導入し、不等式 $ 2s(1 - \alpha) - t + 2 - \alpha < 0 $ を満たす条件を用いて、例外集合に対する最終的なバウンドを導出する。
• Hölder連続関数 $ f $ に対しては、レベル集合 $ f^{-1}(z) $ を分析し、円形レベル集合 $ \mathcal{C}(\mathbf{z}, r) $ に対しても、幾何的測度推定を用いて拡張する。

実験結果

リサーチクエスチョン

• RQ1 次数 $ k \geq 2 $ の多項式位相に対して、滑らかな曲線に沿った二パrameter族Weyl和のハイブリッドバウンドは、現在の最先端を上回る改善が可能か？
• RQ2 ErdoğduとShakan（2019年）の直線 $ t = \tau x + c $ に沿った指数和に関する結果は、より一般の曲線族やレベル集合へどの程度一般化可能か？
• RQ3 ほとんどすべての $ c \in [0,1) $ およびすべての $ x \in [0,1) $ に対して $ \sup_x |\sum_n \mathbf{e}((\tau x + c)\omega(n) + xn)| \leq N^{\vartheta + o(1)} $ が成り立つような最適な指数 $ \vartheta < 1 $ は何か？
• RQ4 指数和の減衰が $ \omega'(x) \ll x^{\kappa - 1 + o(1)} $ を満たす非多項式位相 $ \omega(n) $ に対して、この手法はどのように拡張可能か？また、どのようなバウンドが得られるか？
• RQ5 任意の族 $ \mathcal{A}_\gamma \subset \mathbb{T}^2 $、例えば円やHölder正則なレベル集合に対して、Weyl和のsupノルムに一様なバウンドを与えるフレームワークは一般化可能か？

主な発見

• 任意の整数係数多項式 $ \omega(T) \in \mathbb{Z}[T] $ に対して、次数 $ k \geq 2 $ ならば、Weyl和 $ \sum_{n=1}^N \mathbf{e}((\tau x + c)\omega(n) + xn) $ は、ほとんどすべての $ c \in [0,1) $ およびすべての $ x \in [0,1) $ に対して $ N^{\rho + o(1)} $ で有界であり、これは以前の結果を改善する。
• 和が $ N^\alpha $ を超える $ c \in [0,1) $ の例外集合のLebesgue測度は、$ \ll N^{2s(1 - \alpha) - t + 2 - \alpha + o(1)} $ で上界が与えられる。ここで $ s $ と $ t $ は平均値定理から得られるパラメータである。
• Hölder連続関数 $ f(x,y) = z $ に対しては、和が $ N^\alpha $ を超える $ z \in [0,1) $ の集合の測度は、適切な条件下で $ \ll N^{2s(1 - \alpha) - t + 2 - \alpha + o(1)} $ で上界が与えられる。
• 円形レベル集合 $ \mathcal{C}(\mathbf{z}, r) $ に対しては、和が $ N^\alpha $ を超える $ \mathbf{z} \in \mathbb{T}^2 $ の測度は $ \ll N^{k+1 - \alpha + 2s(1 - \alpha) - t + o(1)} $ で上界が与えられる。
• 指数関数の減衰が $ \omega'(x) \ll x^{\kappa - 1 + o(1)} $ を満たす非多項式位相 $ \omega $ に対しても、$ t > \kappa $ であれば非自明なバウンドが得られ、多項式を超える適用範囲が拡張される。
• これらの結果は、線形分散型偏微分方程式（例えばシュレーディンガー方程式やAiry方程式）の解のグラフのMinkowski次元に対する改善された上界を示唆する。関係式 $ \delta \leq 2 - (1 - \vartheta)/k $ を通じて得られる。