[논문 리뷰] What does a rate in a mean ergodic theorem imply?

A. M. Gomilko, Yuri Tomilov|arXiv (Cornell University)|2013. 11. 22.

advanced mathematical theories참고 문헌 15인용 수 5

한 줄 요약

이 논문은 바나흐 공간에서의 $C_0$-반군에 대해 함수해석학적 연산과 스틸체스 함수를 이용하여, 케사로 평균의 최적 감쇠 속도를 특성화하는 체계적인 프레임워크를 수립한다. 만약 $\|\mathrm{C}_t(A)x\| = \mathrm{O}(f(t^{-1}))$이면 $x$는 $f(A)$의 상에 속해야 하며, 로그 및 거듭제곱형 감쇠 속도에 대해 이러한 조건의 최적성은 명백한 반례를 통해 입증된다.

ABSTRACT

We develop a general framework for the inverse mean ergodic theorems with rates for operator semigroups thus completing a construction of the theory initiated in [16] and [17].

연구 동기 및 목표

• 이전 연구에서 시작된 이론을 완성하기 위해, 역 케사로 평균ergodic 정리의 일반적이고 체계적인 프레임워크를 개발하는 것.
• 케사로 평균 $\mathrm{C}_t(A)x$가 주어진 속도로 감쇠할 수 있는 최적 조건을 특성화하여, 기존 결과를 더 넓은 함수 클래스로 확장하는 것.
• 감쇠 속도 $\|\mathrm{C}_t(A)x\|$와 생성자 $A$의 함수의 상에 속하는 $x$의 소속성 간의 날카로운 역정리를 수립하는 것.
• $L_1$-공간에서의 명시적 반례와 구성 방법을 통해 이러한 역결과의 최적성(최선의 조건)을 입증하는 것.
• 이전 접근법의 한계를 해결하기 위해, 로그 및 다항 감쇠 속도에 적용 가능한 일관된 함수해석학적 연산 기반의 방법을 도입하는 것.

제안 방법

• 섹터리얼 연산자에 대한 함수해석학적 연산을 활용하여, 케사로 평균의 감쇠 속도를 생성자 $A$의 스펙트럼 성질과 연결한다.
• 스틸체스 함수 $g$와 천천히 변화하는 함수 $\epsilon$를 사용하여, $g(1/t)\epsilon(g(1/t))$를 통해 명시적인 감쇠 속도 조건을 구성한다.
• 부분적분과 渐近 분석을 적용하여, $\|\mathrm{C}_t(A)x\|$가 주어진 속도로 감쇠하기 위한 $x$에 대한 필수 조건을 도출한다.
• 항등식 $tA(I+A)^{-1}\mathrm{C}_t(A)x = (I - T(t))(I+A)^{-1}x$를 이용하여, 평균 감쇠와 해석함수의 행동 및 약한 극한 간의 관계를 규명한다.
• 반례를 $L_1$-공간 구성 방법을 통해 제시하여, 일부 도메인 원소들에 대해 특정 감쇠 조건이 항상 성립하지 않음을 입증함으로써, 결과의 날카로움을 보여준다.
• 함수 $\varphi(t)$를 포함하는 적분 조건을 적용하여, $\int_1^\infty \|\mathrm{C}_t(A)x\| / \varphi(t)\,dt < \infty$이면 $\int_1^\infty dt/(t\varphi(t)) = \infty$ 조건 하에서 $x=0$임을 보여주며, 극한 감쇠 한계를 규명한다.

실험 결과

연구 질문

• RQ1 감쇠 속도 $\|\mathrm{C}_t(A)x\| = \mathrm{O}(f(t^{-1}))$이 성립할 때 $x \in \mathrm{ran}(f(A))$임을 보장하는 최적의 함수 $f$는 무엇인가?
• RQ2 직접적인 감쇠 속도를 가진 평균ergodic 정리의 역함수 성질을 일반적인 함수해석학적 연산 프레임워크에서 특성화할 수 있는가?
• RQ3 주어진 함수 $f$에 대해, $\|\mathrm{C}_t(A)x\|$의 감쇠 속도에 대한 최적 조건은 무엇이며, 이 조건이 $x$가 $f(A)$의 상에 속한다는 것을 보장하는가?
• RQ4 천천히 변화하는 함수와 스틸체스 함수는 어떻게 상호작용하여 최적의 감쇠 속도 특성화를 이끌어내는가?
• RQ5 어떤 감쇠 속도 이하에서는 더 이상 비영인 $x$가 감쇠 조건을 만족시킬 수 없는 극한 감쇠 속도는 무엇인가?

주요 결과

• 베르슈타인 함수 $f$에 대해 $\lim_{t\to 0^+} f(t) = 0$이면, $\|\mathrm{C}_t(A)x\| = \mathrm{O}(f(t^{-1}))$이면 $x \in \mathrm{ran}(f(A))$이며, 이 조건은 최적임을 보여준다.
• 함수 $g(z) = z^{-\gamma}$ ($\gamma \in (0,1)$)에 대해, $L_1$에 속하는 $y$가 존재하여 $\|\mathrm{C}_t(A)y\| = \mathrm{O}\left(\frac{1}{t^\gamma \log t \log(\log t)}\right)$이지만 $y \notin \mathrm{dom}(A^{-\gamma})$임을 보여, 범위 조건의 최적성을 입증한다.
• 함수 $g(z) = \log(1 + z^{-1})$에 대해, $L_1$에 속하는 $y$가 존재하여 $\|\mathrm{C}_t(A)y\| = \mathrm{O}\left(\frac{1}{\log t \cdot \log(\log t) \cdot \log(\log(\log t))}\right)$이지만 $y \notin \mathrm{dom}(\log(I + A^{-1}))$임을 보여, 역정리의 최적성을 증명한다.
• 양의 증가 함수 $\varphi$에 대해 $\int_1^\infty \frac{\|\mathrm{C}_t(A)x\|}{\varphi(t)}\,dt < \infty$이면, $\int_1^\infty \frac{dt}{t\varphi(t)} = \infty$ 조건 하에서 $x = 0$임을 보여, $L^1$-적분 의미에서 $1/t$보다 더 빠르게 감쇠하는 비영인 $x$는 존재할 수 없음을 보여준다.
• 어떤 $x \in \mathrm{dom}(g(A))$에 대해 $\sup_{t \geq 1} g(1/t)\epsilon(g(1/t))\|\mathrm{C}_t(A)x\|_{L_1} = \infty$임을 보여, 도메인 전역에서 더 강력한 감쇠 조건이 일관되게 성립할 수 없음을 입증한다.