[논문 리뷰] Asymptotic limits, Banach limits, and Cesàro means

Carlos S. Kubrusly, B. P. Duggal|arXiv (Cornell University)|2020. 10. 28.

Holomorphic and Operator Theory참고 문헌 25인용 수 6

한 줄 요약

이 논문은 힐버트 공간에서의 유력한 유계 연산자에 대해 케사로 평균과 반바흐 극한 사이의 연결 고리를 설정하며, 케사로 평균의 수열이 이동 매개변수에 대해 균일 수렴하면, 모든 반바흐 극한 φ에 대해 케사로 점근적 극한이 φ-점근적 극한과 일치함을 증명한다. 주요 기여는 연산자 방정식 T*A T = A를 통해 두 개별 점근적 프레임워크를 통합하는 결과이다.

ABSTRACT

Every new inner product in a Hilbert space is obtained from the original one by means of a unique positive operator$.$ The first part of the paper is a survey on applications of such a technique, including a characterization of similarity to isometries$.$ The second part focuses on Banach limits for dealing with power bounded operators. It is shown that if a power bounded operator for which the sequence of shifted Cesàro means converges (at least in the weak topology) uniformly in the shift parameter, then it has a Cesàro asymptotic limit coinciding with its $φ$-asymptotic limit for all Banach limits $φ$.

연구 동기 및 목표

• 유력한 유계 연산자의 점근적 분석에서 케사로 평균과 반바흐 극한의 개념을 통합하는 것.
• 모든 반바흐 극한 φ에 대해 케사로 점근적 극한이 φ-점근적 극한과 일치하는 조건을 조사하는 것.
• 수축에 대한 유사성과 점근적 극한에 관한 결과를 수축에서 일반적인 유력한 유계 연산자로 확장하는 것.
• 점근적 극한을 정의하는 데 있어 연산자 방정식 T*A T = A의 역할을 규명하는 것.

제안 방법

• 양의 연산자 A를 통해 정의된 새로운 내적을 사용하여 등급 보존에 대한 유사성 연구.
• 유계 수열에 대한 반바흐 극한 φ를 적용하여 유력한 유계 연산자의 φ-점근적 극한을 정의.
• 케사로 평균 Q_n = (1/n)∑_{k=0}^{n-1} T^{*k}T^k 를 사용하여 케사로 점근적 극한을 정의.
• 이동된 케사로 평균의 연산자 노름에서의 균일 수렴을 분석하여 극한의 동치성을 확립.
• 점근적 행동 간의 연결 고리로서 T*A T = A 를 중심적인 구조 조건으로 활용.
• 약수렴과 강수렴, 균일 수렴을 활용하여 극한 구조를 비교.

실험 결과

연구 질문

• RQ1 유력한 유계 연산자의 케사로 점근적 극한이 모든 반바흐 극한 φ에 대해 φ-점근적 극한과 일치하는 조건은 무엇인가?
• RQ2 T*A T = A 방정식은 유력한 유계 연산자에서 점근적 극한의 존재성과 유일성과 어떻게 관련되는가?
• RQ3 이동된 케사로 평균의 균일 수렴은 서로 다른 점근적 극한 유형 간의 동치성을 보장하는 데 어떤 역할을 하는가?
• RQ4 반바흐 극한과 케사로 평균을 사용하여 수축에 대한 결과를 유력한 유계 연산자로 일반화할 수 있는가?
• RQ5 유한차원 공간에서 케사로 점근적 극한은 항상 모든 반바흐 극한 φ에 대해 φ-점근적 극한과 일치하는가?

주요 결과

• 케사로 평균의 수열 Q_n 이 연산자 노름에서 균일 수렴하면, 모든 반바흐 극한 φ에 대해 케사로 점근적 극한 Q 는 φ-점근적 극한 A_φ 와 일치한다.
• 이동된 케사로 평균 수열이 이동 매개변수에 대해 균일 수렴하는 조건 하에서 Q = A_φ 의 동치성이 성립한다.
• 균일 안정성 없는 비수축 (r(T) < 1 < ||T||) 에서 케사로 및 φ-점근적 극한은 모두 0이 되며, 즉 Q = A_φ = 0 이다.
• 유한차원 힐버트 공간에서는 케사로 점근적 극한이 항상 모든 반바흐 극한 φ에 대해 φ-점근적 극한과 일치한다.
• T*A T = A 는 점근적 극한이 다양한 극한 유형 간에 잘 정의되고 일관되게 유지되기 위한 필수적이고 충분한 조건이다.
• 이 결과는 기존의 수축에 대한 결과를 더 넓은 유력한 유계 연산자 클래스로 일반화한다.