[논문 리뷰] Hybrid bounds on two-parametric family Weyl sums along smooth curves

Changhao Chen, Igor E. Shparlinski|arXiv (Cornell University)|2020. 03. 05.

Analytic Number Theory Research참고 문헌 17인용 수 5

한 줄 요약

이 논문은 매끄러운 곡선을 따라 두 매개변수를 가진 Weyl 합에 대한 하이브리드 경계를 수립하며, 분산 편미분방정식과 관련된 지수합에 대한 이전 결과를 일반화하고 개선한다. 평균값 정리, 완비화 기법, 측도론적 추정을 조합하여, 거의 모든 매개변수에 대해 Weyl 합의 sup-노름이 $ N^{\rho + o(1)} $ 이하로 유계임을 증명한다. 여기서 $ \rho < 1 $ 이며, 이는 허들-연속성 수준의 등고선과 차수 $ 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) $ 의 합에 대해, 하나의 매개변수에 대해 균일하고 다른 하나에 대해 거의 모든 곳에서의 하이브리드 경계를 수립하는 것. 여기서 $ \omega(n) \in \mathbb{Z}[n] $, $ \deg \omega = k \geq 2 $.
• 이러한 경계를 허들-연속 함수 $ f(x,y) = z $ 와 같은 더 일반적인 설정으로 확장하여, 거의 모든 $ z \in [0,1) $ 에 대해 $ (x,y) \in f^{-1}(z) $ 에 대해 합을 취하는 것.
• 측도론적 및 조합 기법을 사용하여, Weyl 합이 $ N^\alpha $ 를 초과하는 매개변수의 예외 집합에 대한 정량적 추정을 제공하는 것.
• 이 방법이 허들-연속 함수의 등고선과 고정된 반경을 가진 원과 같은 더 넓은 기하학적 설정으로 어떻게 확장될 수 있는지 보여주는 것. 또한 매끄러운 조건을 만족하는 비다항계수에 대해서도 적용 가능하다.

제안 방법

• 부분적인 지수합을 완비된 형태로 변환하기 위해 완비화 기법을 적용하여 고전적 평균값 정리를 사용할 수 있도록 한다.
• 이중 분할과 이중 직사각형 $ \mathcal{R} $ 를 사용한 커버링 추론을 통해 Weyl 합의 큰 값을 국소화한다.
• 조건부 추정(보조정리 3.1)을 사용하여, Weyl 합이 $ N^\alpha $ 를 초과하는 매개변수 집합의 측도를 추정하며, 이는 $ L^2 $-노름과 커버링에 포함된 직사각형의 수에 의존한다.
• 측도론적 커버링 보조정리(보조정리 2.8)를 적용하여, Weyl 합이 큰 경우의 매개변수 $ \mathbf{u} $ 의 르베그 측도를 유계로 제한한다.
• 지수합의 감쇠와 관련된 매개변수 $ s $ 를 도입하고, 조건 $ 2s(1 - \alpha) - t + 2 - \alpha < 0 $ 를 사용하여 예외 집합에 대한 최종 경계를 도출한다.
• 허들-연속 함수 $ f $ 에 대해 등고선 $ f^{-1}(z) $ 를 분석하고, 기하학적 측도 추정을 통해 방법을 허들-연속 함수로 확장한다. 또한 고정된 반경을 가진 원 등고선 $ \mathcal{C}(\mathbf{z}, r) $ 에 대해서도 적용한다.

실험 결과

연구 질문

• RQ1 차수 $ k \geq 2 $ 인 다항계수에 대해, 두 매개변수를 가진 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 $ 에 대해 어떻게 일반화될 수 있는가? 이 경우 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)} $ 이하로 유계이며, 이는 이전 결과를 향상시킨다. 여기서 $ \rho < 1 $.
• Weyl 합이 $ N^\alpha $ 를 초과하는 $ c \in [0,1) $ 의 예외 집합은 르베그 측도로 $ \ll N^{2s(1 - \alpha) - t + 2 - \alpha + o(1)} $ 이하로 유계이다. 여기서 $ s $ 와 $ t $ 는 평균값 정리에서 유도된 매개변수이다.
• 허들-연속 함수 $ f(x,y) = z $ 에 대해, $ (x,y) \in f^{-1}(z) $ 에 대해 합이 $ N^\alpha $ 를 초과하는 $ z \in [0,1) $ 의 집합은 적절한 조건 하에서 측도로 $ \ll N^{2s(1 - \alpha) - t + 2 - \alpha + o(1)} $ 이하로 유계이다.
• 원 등고선 $ \mathcal{C}(\mathbf{z}, r) $ 에 대해, $ \mathbf{u} \in \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 $ 가 $ \omega'(x) \ll x^{\kappa - 1 + o(1)} $ 를 만족할 경우, $ t > \kappa $ 라면 비다항계수에 대해서도 비자명한 경계를 도출할 수 있다. 이는 다항계수를 초월한 적용 가능성을 확장한다.
• 결과는 선형 분산 편미분방정식(예: 슈뢰딩거 방정식과 에이리 방정식)의 해의 그래프의 믹스코프스키 차원에 대한 개선된 상한을 암시하며, 관계식 $ \delta \leq 2 - (1 - \vartheta)/k $ 를 통해 유도된다.