[논문 리뷰] Polynomial Ergodic Averages Converge Rapidly: Variations on a Theorem of Bourgain

Ben Krause|arXiv (Cornell University)|2014. 02. 08.

Advanced Harmonic Analysis Research참고 문헌 11인용 수 30

한 줄 요약

이 논문은 정수 계수 다항식을 따라 임의의 $L^2$에서의 에르고딕 평균이 빠르게 수렴함을 증명함으로써, 이러한 평균의 $r$-변동성이 모든 $r > 2$에 대해 $L^2$에서 유계임을 보임으로써 이를 입증한다. 핵심 결과는 $\|\mathcal{V}^r(M_N f)\|_{L^2} \leq C_{r,P} \|f\|_{L^2}$이며, $L^2$에서 $\mathcal{V}^2$의 무한대성에 의해 최적성(sharpness)이 입증되어 다항식 수열에 대한 변동성 이론의 핵심 측면이 해결된다.

ABSTRACT

Let $L^2(X,Σ,μ,τ)$ be a measure-preserving system, with $τ$ a $\mathbb{Z}$-action. In this note, we prove that the ergodic averages along integer-valued polynomials, $P(n)$, \[ M_N(f):= \frac{1}{N}\sum_{n \leq N} τ^{P(n)} f \] converge pointwise for $f \in L^2(X)$. We do so by proving that, for $r>2$, the $r$-variation, $\mathcal{V}^r(M_N(f))$, extends to a bounded operator on $L^2$. We also prove that our result is sharp, in that $\mathcal{V}^2(M_N(f))$ is an unbounded operator on $L^2$.

연구 동기 및 목표

• 정수 계수 다항식을 따라 정의된 에르고딕 평균의 $r$-변동성 연산자의 $L^2$ 유계성을 확립함으로써, 부드럽지 않은, 산술적으로 정의된 집합에 대한 변동성 이론에서의 격차를 메운다.
• 클래식한 밀도 추론 기법이 실패할 경우에 점별 수렴을 위한 정량적 프레임워크를 제공하기 위해, 보운의 변동성 접근법을 간격을 초월해 다항식 수열으로 확장한다.
• 모든 $r > 2$에 대해 유의미한 조건임을 입증하기 위해 $\mathcal{V}^2$ 가 $L^2$에서 유계가 아니라는 점을 증명함으로써, $r$-변동성 임계값의 민감성을 강조한다.
• 진동 또는 메트릭 엔트로피 기법에 의존하지 않고도 다항식 수열을 따라 점별 에르고딕 수렴을 증명하기 위한 새로운 방법을 제공한다.

제안 방법

• 측도를 유지하는 시스템 설정을 $\ell^2(\mathbb{Z})$ 군으로 줄이기 위해 캘더론의 전달 원리를 사용함으로써, 조화 분석 기법을 적용할 수 있도록 한다.
• 유의미한 주파수 영역으로 나누기 위해 반복적 구조를 가진 이진 주파수 척도 $\{k_l\}$ 및 $\{j_l\}$을 구성한다.
• 웨일 지수 합 추정을 적용하여 첫 번째 영역에서 커널 $K_{2^{j_l}}$ 의 진동 행동을 제어함. 이 경우 $|K_{2^{j_l}}*e(2^{k_i}x)|$ 는 $j_l \sqrt{2^{k_i}/2^R}$ 를 통해 유계로 제한된다.
• 두 번째 영역에서 오차를 유계로 제한하기 위해 평균값 정리를 적용함. 이 경우 $|K_{2^{j_l}}*e(2^{k_i}x) - e(2^{k_i}x)| \lesssim 2^{k_i + 2j_l}/2^R$ 이며, 항등식 $k_l + 2j_l + L = R$ 을 활용한다.
• 두 영역의 추정치를 조합하여 총 변동성을 균일하게 유계로 제한함으로써 $\|\eta(f)\|_{\ell^2} = O(1)$ 이 되며, 이는 균일한 제어를 의미함.
• 오차 항을 균형 있게 조정하기 위해 반복적 매개변수 선택을 최적화함으로써, $L$ 에 대해 독립적인 균일한 유계성을 달성한다.

실험 결과

연구 질문

• RQ1 모든 $r > 2$ 에 대해 다항식 에르고딕 평균의 $r$-변동성이 $L^2$에서 유계일까?
• RQ2 진동 또는 최대 함수 기법이 실패할 경우, 변동성 추정치가 거친, 산술적으로 정의된 집합에 대해 점별 에르고딕 수렴을 증명하는 데 사용될 수 있는가?
• RQ3 $r > 2$ 조건이 최적인지, $r = 2$ 일 경우 어떻게 되는가?
• RQ4 모든 $p \neq 2$ 에 대해 $L^p$ 공간에서 $r$-변동성 연산자가 유계일 수 있는가?
• RQ5 $\mathcal{V}^2$ 연산자는 모든 $1 \leq p \leq \infty$ 에 대해 $L^p$ 에서도 여전히 무한대인가?

주요 결과

• 모든 $r > 2$ 에 대해 $r$-변동성 연산자 $\mathcal{V}^r(M_N f)$ 는 $L^2$ 에서 유계이며, $\|\mathcal{V}^r(M_N f)\|_{L^2} \leq C_{r,P} \|f\|_{L^2}$ 이며, 여기서 $C_{r,P}$ 는 $r$ 과 다항식 $P$ 에만 의존한다.
• 유계성은 최적이다: $\mathcal{V}^2(M_N f)$ 는 $L^2$ 에서 무한대 연산자이며, $L^2$ 유계성에 대해 $r > 2$ 가 필수적임을 보여준다.
• 이 증명은 변동성 노름이 진동을 제어함으로써 다항식 에르고딕 평균의 빠른 수렴을 입증함으로써, 최대 함수 추정치에 의존하지 않고도 점별 거의 확실히 수렴을 가능하게 한다.
• 주파수 분해를 통해 반복적 이진 척도 $k_l, j_l$ 를 구성함으로써, 지수 합 오차를 균일하게 제어할 수 있도록 한다. 이 경우 $k_l + 2j_l + L = R$ 이다.
• 오차 항의 균형 조정을 통해 총 변동성 오차가 $L$ 에 대해 일관되게 $O(1)$ 임을 입증함. 이는 $L^2 \cdot j_1 / 2^{j_1/2} + j_L \sqrt{2^{k_1}/2^R} + L^2 / 2^L$ 이며, 충분히 큰 $L$ 에 대해 유계이다.
• 이 결과는 전달 원리를 통해 일반 $L^p$ 설정으로 확장되며, $\mathcal{V}^2$ 가 모든 $1 \leq p \leq \infty$ 에서 $L^p$ 에서 무한대임을 추측한다.