[논문 리뷰] Infinite-dimensional transfer operators, endomorphisms, and measurable partitions

Sergey Bezuglyi, Palle E. T. Jørgensen|arXiv (Cornell University)|2017. 02. 09.

Mathematical Dynamics and Fractals참고 문헌 70인용 수 3

한 줄 요약

이 논문은 표준 보렐 측도 공간의 내면함수와 양의 전이 연산자 사이의 이중성을 수립하며, 페르로-프로베니우스 정리를 무한차원 설정으로 확장한다. 보편 힐버트 공간 프레임워크를 도입하고, 조화 함수, 불변 측도, 조건부 기대값을 전이 연산자를 통해 특성화하며, 비특이 내면함수에 대한 에르고딕 분해와 라돈-니코다임 도함수에 대한 핵심 결과를 제시한다.

ABSTRACT

We develop a new duality between endomorphisms of measure spaces, on the one hand, and a certain family of positive operators, called transfer operators, acting in spaces of measurable functions on, on the other. A framework of standard Borel spaces is adopted; and this generality is wide enough to cover a host of applications. While the mathematical structures of positive operators, endomorphisms, transfer operators, measurable partitions, and Markov processes arise in a host of settings, both pure and applied, we propose here a unified study. This is the general setting of dynamics in Borel measure spaces. Hence the corresponding linear structures are infinite-dimensional. Nonetheless, we prove a number of analogues of the more familiar finite-dimensional settings, for example, the Perron-Frobenius theorem for positive matrices, and the corresponding Markov chains. Tools from the theory of operators in Hilbert space of special significance to us will be the use of a certain universal Hilbert space, as well as classes of operators in it, directly related to the central theme of duality for transfer operators. From ergodic theory, we address such questions as measurable cross sections, partitions, and Rohlin analysis of endomorphisms of measure spaces. While there are classical theorems dealing with analogous questions for automorphisms of measure spaces, a systematic study of endomorphisms is of more recent vintage;-- in its infancy. In order to make the exposition accessible to students and to researchers in neighboring areas, we have included a number of explicit examples and applications.

연구 동기 및 목표

• 무한차원 측도 공간에서 전이 연산자와 내면함수를 위한 통합 프레임워크를 개발하는 것.
• 양의 행렬에 대한 페르로-프로베니우스 정리를 무한차원 설정으로 일반화하여, 특히 마코프 체계와 확률적 과정에 적용하는 것.
• 측도적 분할을 통해 전이 연산자와 불변 측도를 이용해 조화 함수를 특성화하는 것.
• 라돈-니코다임 도함수와 조건부 측도를 통한 내면함수 σ와 전이 연산자 R 사이의 이중성을 수립하는 것.
• 이론을 동역학계에 적용하여, 조각별 단조 함수, 가우스 사상, 반복 함수 체계 등을 다루는 것.

제안 방법

• 표준 보렐 공간과 측도 공간을 사용하여 내면함수 σ와 측도 함수에 작용하는 전이 연산자 R을 정의한다.
• 조건부 측도 μ_C를 통한 적분을 통해 전이 연산자 R을 정의하며, R(f)(x) = ∫_{C_x} f(y) dμ_{C_x}(y)로 표현한다.
• 보편 힐버트 공간 H(X)를 사용하여 전이 연산자를 표현하고, 그 스펙트럼 성질을 연구한다.
• 에르고딕 분해와 월드 정리(Wold’s theorem)를 활용하여 내면함수의 등급 및 자동형 성분을 분석한다.
• Jσ(x) = ∑_{y∈σ⁻¹(x)} 1/J(y)를 정의하여 Rσ(h)(x) = ∑_{y∈σ⁻¹(x)} h(y)/Jσ(y)로 Rσ를 정의함으로써 비특이성과 전이 연산자 구조를 연결한다.
• 로플린의 측도적 분할 및 교차단면 이론을 적용하여 불변 측도를 구성하고 내면함수의 역학을 분석한다.

실험 결과

연구 질문

• RQ1 전이 연산자를 통해 유한차원에서의 페르로-프로베니우스 정리를 어떻게 무한차원 설정으로 확장할 수 있는가?
• RQ2 표준 보렐 측도 공간에서 내면함수 σ와 전이 연산자 R 사이의 정확한 이중성은 무엇인가?
• RQ3 전이 연산자에 대한 조화 함수는 측도적 분할과 σ-불변 집합과 어떻게 관련되는가?
• RQ4 비특이 내면함수 하에서 불변 측도를 특성화하는 데서 라돈-니코다임 도함수 ωσ의 역할은 무엇인가?
• RQ5 L¹ 및 L² 공간에서의 전이 연산자는 내면함수의 에르고딕성과 스펙트럼 성질을 어떻게 반영하는가?

주요 결과

• 측도적 함수 h가 R에 대해 조화적임은, σ-불변 측도 분할 ξ의 원자 위에서 상수임과 동치이다.
• μR에 대한 μ에 대한 라돈-니코다임 도함수는 W = ν_C(C)로 주어지며, 여기서 ν_C는 분할 원소 C에 대한 조건부 측도이다.
• 유계-일대일 비특이 내면함수 σ에 대해 전이 연산자 Rσ는 Rσ(h)(x) = ∑_{y∈σ⁻¹(x)} h(y)/Jσ(y)로 정의되며, Jσ는 자코비안이다.
• 측도적 함수 f가 기저 공간에서 측도 가능하고 g가 곱 공간에 속할 경우, R(fg) = fR(g)를 만족하여 역학과의 곱셈 호환성을 보인다.
• 보편 힐버트 공간 H(X)는 전이 연산자의 표현을 지원하며, 등급 분해를 통한 내면함수의 스펙트럼 분석을 가능하게 한다.
• 전이 연산자의 에르고딕 분해는 기저 내면함수를 자동형 및 완전히 비특이 성분으로 분해하는 것과 대응한다.