[논문 리뷰] A weak type (1,1) inequality for maximal averages over certain sparse sequences

Michael Christ|arXiv (Cornell University)|2011. 08. 29.

Limits and Structures in Graph Theory참고 문헌 9인용 수 9

한 줄 요약

이 논문은 정수 집합 $\mathbb{Z}$ 위에서 $n_\nu \asymp \nu^m$ 를 만족하는 명시적 희소 수열 $(n_\nu)$ 를 구성하며, 이는 갭이 있는 소수와 다항식 자릿수 전개로부터 유도된 구조적 집합을 사용한다. 이 수열에 관련된 최대 연산자는 타우버형 기준을 통해 약형 $(1,1)$ 으로 유계임을 증명하며, 지수 합 추정과 측도 분해를 활용하여 $L^1$-노름 감쇠를 통제함으로써, 제곱수를 초월하는 다항식 수열에 대한 오랜 동안 미해결이었던 종점 문제를 해결한다.

ABSTRACT

Examples are constructed of sparse subsequences of the integers for which the associated maximal averages operator is of weak type (1,1). A consequence, by transference, is that an almost everywhere L^1 -- type ergodic theorem holds for corresponding subsequences of iterates of general measure-preserving transformations. These examples can be constructed so that n_k has growth rate k^m for any prescribed integer power m greater than or equal to 2. Urban and Zienkiewicz have established the same conclusion for other subsequences, which have growth rate k^m for noninteger exponents m sufficiently close to 1; the first novelty here is that the exponent can be arbitrarily large. In contrast, Buczolich and Mauldin have shown that the corresponding conclusion fails to hold if n_k is exactly k^2. The rather simple analysis relies on certain exponential sum bounds of Weil, together with a decomposition of Calderon-Zygmund type in which the exceptional set is defined in terms of the subsequence in question. The subsequences used are closely related to those employed by Rudin in a 1960 paper in which examples of Lambda(p) sets were constructed.

연구 동기 및 목표

• 정수 $\mathbb{Z}$ 위에서 $m \geq 2$ 인 경우 수열 $n_\nu = \nu^m$ 와 관련된 최대 연산자가 약형 $(1,1)$ 인지 여부에 대한 열린 문제를 해결하는 것.
• 다항식 수열의 형태로 $n_\nu \asymp \nu^m$ 를 만족하는 명시적이고 대수적으로 구조화된 희소 수열을 구성하여, 이 수열이 약형 $(1,1)$ 최대 연산자를 갖는 것을 보이는 것.
• 이전에 알려진 $m \in (1,2)$ 의 경우를 초월하여, 희소 수열에 대한 최대 연산자의 약형 $(1,1)$ 유계성의 적용 범위를 확장하는 것.
• 갈라져 있는 소수와 다항식 자릿수 전개를 사용하여, 성장과 스펙트럼 감쇠를 제어할 수 있는 이러한 수열을 구성하는 구조적 방법을 제공하는 것.

제안 방법

• 다항식 사상 $j \mapsto \sum_{r=1}^m p_k^{r-1} [j^r]_{p_k}$ 을 $\mathbb{Z}_{p_k}$ 에서 정의한 집합 $\mathcal{S}_k$ 를 정의하여, $|\mathcal{S}_k| = p_k$ 이고 $\mathcal{S}_k \subset [a_k, a_k + p_k^m]$ 임을 보장한다.
• 전체 수열 $\{n_\nu\}$ 을 $\mathcal{S} = \bigcup_k \mathcal{S}_k$ 의 증가 순서로 나열하여 구성하며, $a_{k+1} > a_k + p_k^m$ 조건을 통해 $k$ 간의 стрict한 순서를 확보한다.
• 약형 $(1,1)$ 유계성의 문제를 $\|\widehat{\mu_k} - \widehat{\nu_k}\|_{L^\infty} \leq C 2^{-k\gamma/2}$ 를 만족하는 것으로 줄이기 위해 타우버형 기준(정리 1.2)을 적용한다. 여기서 $\gamma = m$ 이다.
• 특히, $r \geq 2$ 인 경우에 대해 $|\sum_{j=0}^{p-1} e^{-2\pi i (j^r \cdot \xi)/p}| \leq C p^{-1/2}$ 라는 지수 합 추정을 사용하여, Fourier 변환 차이 $\|\widehat{\mu_k} - \widehat{\nu_k}\|_{L^\infty}$ 를 통제한다.
• 측도 $\mu_k$ 를 $\tilde{\mu}_k - \nu_k$ 로 분해하며, 여기서 $\tilde{\mu}_k$ 는 하한 측도이고 $\nu_k$ 는 유계 오차로 $\|\nu_k\|_{\infty} \leq C p_k^{-m}$ 를 만족한다.
• 오차 $\nu_k$ 의 양성과 지지 집합 제어를 통해 $\sup_k |f * \nu_k|$ 를 상수배의 하디-리틀우드 최대 함수로 지배함으로써, 오차 항의 약형 $(1,1)$ 유계성을 확보한다.

실험 결과

연구 질문

• RQ1 다항식 수열 $n_\nu \asymp \nu^m$ 에 대해 $m \geq 2$ 인 경우, $\mathbb{Z}$ 위에서 최대 연산자가 약형 $(1,1)$ 이 될 수 있는가?
• RQ2 수열 $\{n_\nu\}$ 에 어떤 구조적 조건이 성립하면 관련 최대 연산자가 약형 $(1,1)$ 부등식을 만족하는가?
• RQ3 유한체 위에서의 지수 합 추정은 어떻게 이산 측도의 Fourier 변환의 $L^\infty$ 노름을 통제하는 데 사용될 수 있는가?
• RQ4 다항식으로 정의된 명시적 수열을 구성하여, $n_\nu \asymp \nu^m$ 이고 $m \geq 2$ 를 만족하며, 이에 따라 약형 $(1,1)$ 최대 연산자를 갖는 수열을 만들 수 있는가?

주요 결과

• 구성된 수열 $\{n_\nu\}$ 과 관련된 최대 연산자는 모든 정수 $m \geq 2$ 에 대해 $\ell^1(\mathbb{Z})$ 에서 약형 $(1,1)$ 이다.
• 수열 $\{n_\nu\}$ 은 모든 정수 $m \geq 2$ 에 대해 $n_\nu \asymp \nu^m$ 를 만족하며, 이때 은닉된 상수들은 $m$ 에 관계없이 일관되다.
• 구성은 소수 $p_k$ 모듈로 다항식 자릿수 전개를 통해 정의된 집합 $\mathcal{S}_k$ 에 의존하며, 이는 $|\mathcal{S}_k| = p_k$ 이고 $\mathcal{S}_k \subset [a_k, a_k + p_k^m]$ 임을 보장한다.
• 핵심 기술적 혁신은 타우버 기준에서 Fourier 변환 차이를 통제하기 위해 지수 합 추정을 사용하는 것으로, 특히 $r \geq 2$ 인 경우에 대해 $|\sum_{j=0}^{p-1} e^{-2\pi i (j^r \cdot \xi)/p}| \leq C p^{-1/2}$ 이다.
• 이 방법은 유리수 지수 $r > 1$ 으로도 확장 가능하며, $d$ 차원 다항식 사상에 의한 두 번째 구성 방법을 통해 $n_\nu \asymp \nu^r$ 인 수열을 $r = (d+1)/d$ 인 경우에 구성할 수 있다.
• 결과적으로 다항식 수열에 대한 양의 종점 사례를 확립하였으며, 이는 이전 연구에서 알려진 $n_\nu = \nu^2$ 와 $n_\nu = \nu^m$ ($m \geq 2$) 의 경우에 대한 부정적인 결과들과 대조된다.