[논문 리뷰] A Bohl-Bohr-Kadets type theorem characterizing Banach spaces not containing c0

Bálint Farkas|arXiv (Cornell University)|2013. 01. 26.

Advanced Banach Space Theory참고 문헌 5인용 수 3

한 줄 요약

이 논문은 $c_0$ 를 포함하지 않는 분리 가능 바나흐 공간에 대한 보흐-보어-카데츠 유형의 특성화를 수립한다: 분리 가능 바나흐 공간 $E$ 가 $c_0$ 를 포함하지 않기 위한 필요충분조건은, $E$ 위의 모든 스펙트럼 유계 연산자 $T$ 와 모든 벡터 $x \in E$ 에 대해, 연속 차분 집합 $\{T^{n+1}x - T^n x\}$ 의 상대적 컴팩턴스가 궤도 $\{T^n x\}$ 의 상대적 컴팩턴스와 동치가 되는 조건이 되며, 이는 차분의 스펙트럼 프로젝션 조건 $ (I-P)(T^n x - x) $ 가 만족될 경우에 한하여 성립한다. 이 결과는 거의 정현적 벡터에 대한 고전적 결과를 확장하며, 반군에 대한 잭브스–디 루아–글릭스버그 분해를 사용한다.

ABSTRACT

We prove that a separable Banach space $E$ does not contain a copy of the space $\co$ of null-sequences if and only if for every doubly power-bounded operator $T$ on $E$ and for every vector $x\in E$ the relative compactness of the sets $\{T^{n+m}x-T^nx: n\in \NN\}$ (for some/all $m\in\NN$, $m\geq 1$) and $\{T^nx:n\in \NN\}$ are equivalent. With the help of the Jacobs--de Leeuw--Glicksberg decomposition of strongly compact semigroups the case of (not necessarily invertible) power-bounded operators is also handled.

연구 동기 및 목표

• 분리 가능 바나흐 공간 중 $c_0$ 의 사본을 포함하지 않는 공간을 특성화하는 것.
• 고전적 보흐-보어-카데츠 정리인 거의 정현적 함수와 그 적분에 관한 결과를 바나흐 공간 위의 선형 연산자 설정으로 일반화하는 것.
• 스펙트럼 유계 연산자에 대해 연속 차분 집합 $\{T^{n+1}x - T^n x\}$ 의 상대적 컴팩턴스가 전체 궤도 $\{T^n x\}$ 의 상대적 컴팩턴스를 유도하는 조건을 규명하는 것.
• 특성화의 필요충분 조건을 제시하며, 이는 잭브스–디 루아–글릭스버그 분해를 활용하여 $c_0$ 가 없는 상황에서 차분과 궤도의 컴팩턴스가 동치가 되는 조건을 정의하는 것.

제안 방법

• 강한 컴팩턴스 반군에 대해 잭브스–디 루아–글릭스버그 분해를 활용하여 공간을 스펙트럼 부분공간 $E_{\text{r}}$ (재결합) 와 안정 부분공간 $E_{\text{s}}$ (무한대에서 소멸) 로 분할한다.
• 스펙트럼 유계 연산자 $T$ 에 대해 점점이 거의 정현적 벡터의 개념을 적용하며, 이는 앞으로의 궤도 $\{T^n x\}$ 가 상대적으로 컴팩트한 벡터로 정의된다.
• 부분공간 $E_{\text{r}}$ 에로의 스펙트럼 프로젝션 $P$ 를 사용하고, $n \to \infty$ 일 때 $ (I-P)(T^n x - x) $ 의 수렴을 분석하여 거의 정현적 성분과 일시적 성분을 분리한다.
• 연산자 $T$ 의 연속성과 항등식 $T^{n+m}x - T^n x = \sum_{k=0}^{m-1} T^k (T^n x - T^{n-1}x)$ 을 이용하여 고차수 차분의 컴팩턴스를 일차 차분의 컴팩턴스와 연결한다.
• 베시트 및 루스–서머스의 거의 정현적 함수와 그 적분에 관한 결과를 바탕으로, 연산자 이론적 유사 결과를 유도한다.
• 반례를 $\mathrm{c}$ 와 $\mathrm{c}_0$ 에서 구성하여 $c_0$ 가 없는 조건과 스펙트럼 프로젝션 조건이 필수적임을 보여준다.

실험 결과

연구 질문

• RQ1 바나흐 공간 $E$ 와 스펙트럼 유계 연산자 $T$ 에 대해, 집합 $\{T^{n+1}x - T^n x\}$ 의 상대적 컴팩턴스가 궤도 $\{T^n x\}$ 의 상대적 컴팩턴스와 동치가 되는 조건은 무엇인가?
• RQ2 분리 가능 바나흐 공간 $E$ 가 $c_0$ 의 사본을 포함하지 않는 것과 연산자 차분 및 궤도의 컴팩턴스 사이의 관계는 무엇인가?
• RQ3 잭브스–디 루아–글릭스버그 분해는 스펙트럼 유계 연산자에 대해 궤도 컴팩턴스를 특성화하는 데 어떤 역할을 하는가?
• RQ4 고전적 보흐-보어-카데츠 정리인 거의 정현적 함수의 적분에 관한 결과를 이산적 연산자 이론 설정으로 일반화할 수 있는가?
• RQ5 $ (I-P)(T^n x - x) \to 0 $ 조건이 $c_0$ 가 없는 상황에서 차분과 궤도의 컴팩턴스가 동치가 되는 데 필수적이고 충분한가?

주요 결과

• 분리 가능 바나흐 공간 $E$ 가 $c_0$ 의 사본을 포함하지 않기 위한 필요충분조건은, $E$ 위의 모든 스펙트럼 유계 연산자 $T$ 와 모든 $x \in E$ 에 대해, $\{T^{n+1}x - T^n x\}$ 의 상대적 컴팩턴스가 $\{T^n x\}$ 의 상대적 컴팩턴스를 유도하며, 이는 $n \to \infty$ 일 때 $ (I-P)(T^n x - x) $ 가 수렴함을 전제로 한다.
• 모든 $m \geq 1$ 에 대해 $\{T^{n+1}x - T^n x\}$ 과 $\{T^{n+m}x - T^n x\}$ 의 컴팩턴스가 동치임이 $c_0$ 가 없는 바나흐 공간에서 성립하며, 이는 이중 스펙트럼 유계 연산자에 대한 결과를 일반화한다.
• $\mathrm{c}$ 공간에서 이중 스펙트럼 유계 연산자 $T$ 가 존재하여 $m \geq 2$ 일 때 $\{T^{n+m}x - T^n x\}$ 는 상대적으로 컴팩트하지만 $\{T^{n+1}x - T^n x\}$ 는 그렇지 않음을 보여, $c_0$ 가 없는 조건이 필수적임을 입증한다.
• 幾乎 정현적 부분공간 $E_{\text{r}}$ 에로의 스펙트럼 프로젝션 $P$ 는 필수적이다: $ (I-P)(T^n x - x) $ 의 수렴은 일시적 성분이 소멸함을 보장하며, 이로 인해 컴팩턴스 조건이 동치가 되도록 한다.
• 이 결과는 카데츠의 거의 정현적 함수의 적분 가능성에 관한 정리의 일반화이다: $c_0$ 가 없는 것이 거의 정현적 차분의 성질이 궤도의 거의 정현성으로 이어지는 조건을 특성화한다.
• $\mathrm{c}_0$ 와 $\mathrm{c}$ 에서의 반례는 $c_0$ 가 없는 조건이 스펙트럼 프로젝션 조건 하에서 차분과 궤도의 컴팩턴스가 동치가 되는 데 필수적이고 충분함을 확인한다.