[논문 리뷰] On the pointwise convergence of multiple ergodic averages

El Houcein El Abdalaoui|arXiv (Cornell University)|2014. 06. 10.

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

한 줄 요약

이 논문은 특정 비특이 동역계에서 최대 에르고딕 부등식이 성립하지 않음을 입증하며, 푸르스텐베르크 다중 에르고딕 평균의 점별 수렴을 증명하기 위한 핵심 전략을 약화시킨다. 그러나 특정 부분수열을 따라, 약혼합성 시스템에 추가적인 에르고딕 조건이 만족될 경우 평균이 거의 어디서나 수렴함을 보여주며, 오랫동안 남아있던 점별 수렴 문제에 대해 부분적인 긍정적 해결책을 제시한다.

ABSTRACT

It is shown that there exist a subsequence for which the multiple ergodic averages of commuting invertible measure preserving transformations of a Lebesgue probability space converge almost everywhere provided that the maps are weakly mixing with an ergodic extra condition. The proof provides a example of non-singular dynamical system for which the maximal ergodic inequality does not hold. We further get that the non-singular strategy to solve the pointwise convergence of the Furstenberg ergodic averages fails.

연구 동기 및 목표

• 비특이 동역계에서 다중 에르고딕 평균의 점별 수렴을 조사한다.
• 이러한 시스템에서 최대 에르고딕 부등식이 성립하는지 여부를 규명한다. 이는 고전적 에르고딕 정리의 핵심이기 때문이다.
• 이전에 아사니에 의해 제안된 비특이 접근법이 푸르스텐베르크 평균의 점별 수렴을 성공적으로 확립할 수 있는지 탐색한다.
• 최대 부등식이 실패하더라도 부분수열을 따라 거의 어디서나 수렴이 이루어지는 긍정적 결과를 제공한다.
• 최대 부등식의 붕괴에도 불구하고 비특이 시스템 기반 전략이 최대 부등식의 붕괴로 인해 실패함을 보여준다.

제안 방법

• 최대 에르고딕 부등식이 성립하지 않는 비특이 동역계를 구성하기 위해 철저히 선택된 측도와 변환 구조를 사용한다.
• 최대 부등식의 실패에도 불구하고 툴레카의 정리를 적용하여 비특이 사상에 대해 개별 에르고딕 정리를 확립한다.
• 코프만 연산자와 그 수반 연산자(페르로-프로베니우스 연산자)를 사용하여 $ L^\natural $ 및 $ L^1 $ 공간에서 변환의 작용을 분석한다.
• 릴-나르데프스키 접근법과 마줄-반아흐 한계 절차를 활용하여 볼록 조합의 전이 이미지로부터 정규화된 유한加성 측도를 구성한다.
• 주어진 비특이 측도 $ \widehat{\lambda} $에 의해 지배되는 $ \widehat{\lambda} $-비례하는 불변 확률 측도의 릴-나르데프스키 클래스를 정의하며, 알라오글루-반아흐-부르바키 정리를 통해 약* 컴acts를 확보한다.
• 동일한 변환의 공동 작용을 모델링하기 위해 $ \nu $를 이용한 조인 맵핑을 구축하며, 이는 대각선과 반복된 전이이미지의 가중합으로 정의된다.

실험 결과

연구 질문

• RQ1 푸르스텐베르크 평균 연구에 사용되는 비특이 동역계에서 최대 에르고딕 부등식이 성립하는가?
• RQ2 최대 부등식이 실패하더라도 비특이 시스템에서 다중 에르고딕 평균의 점별 수렴을 확립할 수 있는가?
• RQ3 조인 맵핑과 전이 연산자를 기반으로 한 비특이 전략은 푸르스텐베르크 평균의 점별 수렴을 증명하는 데 유망한가?
• RQ4 약혼합성 시스템에 추가적인 에르고딕 조건이 만족될 경우, 부분수열을 따라 거의 어디서나 수렴이 달성될 수 있는가?
• RQ5 릴-나르데프스키 클래스의 불변 측도는 비특이 시스템에 대한 타당한 에르고딕 이론을 구성하는 데 어떤 역할을 하는가?

주요 결과

• 최대 에르고딕 부등식이 성립하지 않는 비특이 동역계가 존재하며, 이는 고전적 에르고딕 이론의 핵심 도구를 무효화한다.
• 최대 부등식의 실패에도 불구하고, 툴레카의 정리를 통해 비특이 사상 $ \phi $에 대해 개별 에르고딕 정리가 성립함을 입증한다.
• 약혼합성인 가환 측도 보존 변환에 대해, 특정 부분수열 $ (N_l) $을 따라 다중 에르고딕 평균이 거의 어디서나 수렴함을 보여준다. 최대 부등식이 없더라도 성립한다.
• 최대 부등식의 붕괴로 인해 비특이 전략이 푸르스텐베르크 평균의 점별 수렴을 증명하는 데 실패함을 보여주지만, 부분수열을 따라의 수렴성은 여전히 유효하다.
• $ \widehat{T} $-불변 측도의 집합 $ \Pi^*(\widehat{T}, \widehat{\lambda}) $는 비어 있지 않으며, 약* 컴acts이며, 극단점은 에르고딕 측도에 대응한다.
• 이 구성은 바나흐-마줄 한계의 평균을 통한 평균화를 통해 $ \widehat{\rho} \leq K \cdot \widehat{\lambda} $ 형태의 릴-나르데프스키 클래스의 불변 측도를 도출하며, 이는 불변성과 지배성을 보장한다.