[논문 리뷰] On the mean ergodicity of weak solutions of an abstract evolution equation

Marat V. Markin|arXiv (Cornell University)|2017. 03. 10.

Stability and Controllability of Differential Equations참고 문헌 18인용 수 4

한 줄 요약

이 논문은 복소 벨라흐 공간 $ X $ 내의 폐포 선형 연산자 $ A $ 에 대해, 추상적 진화방정식 $ y'(t) = Ay(t) $ 의 유계 약한 해 $ y(\cdot) $ 에 대해 $ t \to \infty $ 일 때 코시 평균 $ \frac{1}{t}\int_0^t y(s)\,ds $ 의 강한 수렴을 보장하는 충분조건을 설정한다. 핵심 결과는 $ A $ 가 순수 허수 스펙트럼 값을 갖지 않는 스칼라 유형 스펙트럼 연산자이면, 코시 평균이 $ \ker A $ 로의 사영으로 강하게 수렴함을 보여주며, 이는 기존의 정규 및 자기수반 연산자에 대한 결과를 일반화한다.

ABSTRACT

Found are conditions of rather general nature sufficient for the existence of the limit at infinity of the Cesàro means \begin{equation*} \frac{1}{t} \int_0^ty(s)\,ds \end{equation*} for every bounded weak solution $y(\cdot)$ of the abstract evolution equation \begin{equation*} y'(t)=Ay(t),\ t\ge 0, \end{equation*} with a closed linear operator $A$ in a Banach space $X$.

연구 동기 및 목표

• 유계 약한 해 $ y'(t) = Ay(t) $ 에 대해 코시 평균의 강한 극한 존재를 보장하는 연산자 이론적 조건을 규명하는 것.
• 기존의 고전적 해와 정규 연산자에 대한 평균 에르고딕성 결과를 더 넓은 설정, 즉 스칼라 유형 스펙트럼 연산자에 대한 약한 해로 일반화하는 것.
• 반사적, 유한차원, 힐베르트 공간에서의 이전 평균 에르고딕성 결과를 스펙트럼 이론을 통해 통합하고 확장하는 것.
• 운영 계산법과 스펙트럼 측도를 사용하여 약한 해의 점근적 행동을 위한 종합적 프레임워크를 제공하는 것.

제안 방법

• 스칼라 유형 스펙트럼 연산자의 운영 계산법을 활용하여 스펙트럼 측도 $ E_A(\lambda) $ 를 통해 해를 표현한다.
• 다중성과 스펙트럼 적분을 이용해 코시 평균의 노름을 유계화하기 위해 하인-바흐 정리를 적용한다.
• 공간 $ X $ 를 $ \operatorname{Re} \lambda < 0 $, $ \operatorname{Re} \lambda = 0 $, $ \operatorname{Re} \lambda > 0 $ 에 대응하는 스펙트럼 부분공간으로 분해한다.
• 스펙트럼 프로젝션을 사용하여 $ \int_0^t e^{sA} f \, ds $ 의 점근적 행동을 분석하고, 스펙트럼 측도의 총변동을 통해 수렴을 추정한다.
• 스펙트럼 적분을 $ \operatorname{Re} \lambda \leq -1/n $ 과 $ -1/n < \operatorname{Re} \lambda < 0 $ 영역으로 분할하여 각 부분의 수렴을 근사하고 유계화한다.
• $ M $ 이 스펙트럼 측도의 유계이면, 모든 보렐 집합 $ S \subset \sigma(A) $ 에 대해 $ \|E_A(S)\| \leq 4M $ 라는 사실을 이용해 적분의 노름을 제어한다.

실험 결과

연구 질문

• RQ1 연산자 $ A $ 가 어떤 조건을 만족할 경우, 모든 유계 약한 해 $ y(\cdot) $ 에 대해 $ t \to \infty $ 일 때 코시 평균 $ \frac{1}{t}\int_0^t y(s)\,ds $ 가 강하게 수렴하는가?
• RQ2 특히 순수 허수 스펙트럼 값의 부재가 약한 해의 점근적 행동에 어떤 영향을 미치는가?
• RQ3 스칼라 유형 스펙트럼 연산자에 대해 복소 벨라흐 공간에서 약한 해의 평균 에르고딕성을 확립할 수 있는가? 이는 정규 및 자기수반 연산자에 대한 결과를 일반화하는가?
• RQ4 강한 미분 가능성의 부재에서 $ X = \ker A \oplus \overline{R(A)} $ 의 분해와 코시 평균의 수렴 간의 관계는 무엇인가?

주요 결과

• 복소 벨라흐 공간 내에서 순수 허수 스펙트럼 값을 갖지 않는 스칼라 유형 스펙트럼 연산자 $ A $ 에 대해, 코시 평균 $ \frac{1}{t}\int_0^t y(s)\,ds $ 는 $ \ker A $ 로의 스펙트럼 사영 $ E_A(\{0\})f $ 로 강하게 수렴한다.
• 복소 힐베르트 공간 내에서 정규 연산자 $ A $ 이고 $ \sigma(A) \cap i\mathbb{R} = \emptyset $ 이면, 코시 평균의 강한 극한은 $ \ker A $ 로의 수직 사영이다.
• 복소 힐베르트 공간 내에서 자기수반 연산자 $ A $ 에 대해, $ y(t) $ 자체의 강한 극한이 존재하며, 이는 $ Py(0) $ 와 같다. 여기서 $ P $ 는 $ \ker A $ 로의 수직 사영이다.
• 만약 $ A $ 가 스칼라 유형 스펙트럼 연산자이고 $ 0 $ 이 정규점이거나 유한 상승의 고립된 스펙트럼 점이면, 코시 평균의 수렴이 보장된다.
• 증명은 스펙트럼 적분의 노름을 총변동 유계화와 지수 감쇠를 이용해 추정하며, $ t \to \infty $ 일 때 이 값이 0으로 수렴함을 보여준다.
• 이 결과는 이전의 고전적 해와 반사적 공간에 대한 결과를 일반화하고 대체하며, 이제는 스펙트럼 이론을 통해 일반적인 복소 벨라흐 공간 내 약한 해에 적용 가능하다.