[논문 리뷰] Averages along cubes for not necessarily commuting measure preserving transformations

Idris Assani|arXiv (Cornell University)|2005. 11. 02.

Mathematical Dynamics and Fractals참고 문헌 4인용 수 6

한 줄 요약

이 논문은 서로 교환되지 않을 수 있는 측도를 보존하는 변환에 대해, 여섯 개의 유계 함수에 대해 삼차원 입자에 沿한 가중 평균의 거의 everywhere 수렴성과 노름 수렴성을 확립한다. Wiener-Wintner 유형의 추정과 에르고딕 분해를 사용하여, $ \frac{1}{N^3}\sum_{n,m,p=1}^N f_1(T_1^n x)f_2(T_2^m x)f_3(T_3^p x)f_4(T_4^{n+m}x)f_5(T_5^{n+p}x)f_6(T_6^{m+p}x)$ 형태의 평균이, 유계 함수가 정의된 유한 측도 공간에서 거의 everywhere 수렴함을 증명한다. 이는 변환이 서로 교환되지 않을 경우에도 성립한다.

ABSTRACT

We study the pointwise convergence of some weighted averages linked to averages along cubes. We show that if $(X,\mathcal{B},μ, T_i)$ are not necessarily commuting measure preserving systems on the same finite measure space and if $f_i,$ $1\leq i\leq 6$ are bounded functions then the averages $$\frac{1}{N^3}\sum_{n, m, p=1}^N f_1(T_1^nx) f_2(T_2^mx) f_3(T_3^px) f_4(T_4^{n+m}x) f_5(T_5^{n+p}x) f_6(T_6^{m+p}x)$$ converge almost everywhere.

연구 동기 및 목표

• 서로 교환되지 않을 수 있는 측도를 보존하는 변환을 갖는 동역학계에서, 삼차원 입자에 따라 가중 평균의 점별 거의 everywhere 수렴성을 확립하는 것.
• 이전의 두 차원 평균 결과를 삼차원 입자 설정으로 확장하여, 다수의 변환이 비교환적인 행동을 보이는 동역학에 적용하는 것.
• 일부 가중 평균이 고유함수와 스펙트럼 측도를 포함할 때, 수렴성에 대해 에르고딕성 조건이 필수적인지 조사하는 것.
• 이러한 평균의 수렴 집합이 유계 수열의 선택과 무관하다는 것을 보여주며, 수렴 행동에 깊이 있는 산술적 구조가 작용한다는 것을 강조하는 것.

제안 방법

• 변환과 관련된 지수 합의 성장률을 제어하기 위해 Wiener-Wintner 유형의 추정을 사용한다.
• 레마 1과 레마 2를 적용하여 주파수 $t$에 대한 삼각 다항식 평균의 상한을 사용해 평균의 $L^2$-노름을 유계화한다.
• 에르고딕 분해를 활용하여 문제를 에르고딕 시스템으로 단순화함으로써 스펙트럼 이론과 스펙트럼 측도의 적용을 가능하게 한다.
• 유사성 원칙을 사용하여 스펙트럼 측도 간의 수직성(예: 르베그 측도와 딜라르 측도)을 분석하여 수열의 수렴 또는 발산을 규명한다.
• 비에르고딕 설정에서 발산을 보여주기 위해, 조화 평균이 발산하는 수열 $v_n$과 이차 위상 $e^{2\binom{in^2\alpha}}$를 사용한 반례를 구성한다.
• 항등식 $(n+m+p)^2 = (n+m)^2 + (n+p)^2 + (m+p)^2 - n^2 - m^2 - p^2$을 이용하여 변환 $S(x,y) = (x+\alpha, x+y)$의 역학적 행동과 평균의 위상 구조를 연결한다.

실험 결과

연구 질문

• RQ1 서로 교환되지 않을 수 있는 측도를 보존하는 변환을 갖는 시스템에서, 삼차원 입자에 따라 가중 평균이 거의 everywhere 수렴하는가?
• RQ2 고유함수와 유계 수열을 포함한 일부 가중 평균의 거의 everywhere 수렴성에 대해, 에르고딕성 조건이 필수적인가?
• RQ3 스펙트럼 구조에 따라 제기된 바와 같이, 이러한 평균의 수렴 집합이 유계 수열의 선택과 무관한가?
• RQ4 다중 에르고딕 평균의 수렴성에서 산술적 구조(예: 다항 위상)와 동역학적 구조의 역할은 무엇인가?
• RQ5 일부 가중 입자 평균이 거의 everywhere 수렴하지 않는 단일 동역학계와 함수를 구성할 수 있는가? 이는 개별 수열이 Wiener-Wintner 조건을 만족하더라도 성립한다.

주요 결과

• 유계 함수 $f_i$와 서로 교환되지 않을 수 있는 측도를 보존하는 변환 $T_i$에 대해, 평균 $\frac{1}{N^3}\sum_{n,m,p=1}^N f_1(T_1^n x)f_2(T_2^m x)f_3(T_3^p x)f_4(T_4^{n+m}x)f_5(T_5^{n+p}x)f_6(T_6^{m+p}x)$ 는 거의 everywhere 수렴성과 노름 수렴성을 갖는다.
• 변환이 서로 교환되지 않더라도 수렴성이 유지되며, 이는 이전 결과에서 요구하던 교환성 또는 에르고딕성 조건을 초월한다.
• 평균이 수렴하는 $x$의 집합은 유계 수열 $a_n, b_n, c_n$의 선택과 무관하므로, 수렴 행동에 깊이 있는 산술적 구조가 내재되어 있음을 시사한다.
• 비에르고딕 시스템과 조화 평균이 발산하는 수열 $v_n$을 사용한 반례를 구성하여, 일부 고차 평균의 수렴성에 대해 에르고딕성이 필수적임을 보였다.
• 수열 $a_n = v_n e^{2\pi i n^2 \alpha}$ 는 $\mathcal{WW}_1$ 클래스에 속하지만, 특정한 비에르고딕 설정에서는 평균이 발산함을 보여, 레마 3에서 에르고딕성이 필수적임을 증명한다.
• 발산은 $v_n$에서 온 스펙트럼 측도 $\delta_0$와 $e^{2\pi i n^2 \alpha}$에서 온 르베그 측도 간의 수직성으로 인해 발생하며, 이는 관련 지수 합의 수렴을 방해한다.