[论文解读] On the mean ergodicity of weak solutions of an abstract evolution equation

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

Stability and Controllability of Differential Equations参考文献 18被引用 4

一句话总结

本文為巴拿赫空間 $ X $ 中的閉線性算子 $ A $ 建立了充分條件，使得對每一個有界弱解 $ y(\cdot) $，抽象演化方程 $ y'(t) = Ay(t) $ 的切薩羅均值 $ \frac{1}{t}\int_0^t y(s)\,ds $ 在 $ t \to \infty $ 時強收斂於極限。關鍵結果表明，若 $ 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 $ 兩部分，並分別估計其大小，以建立收斂性。
• 利用 $ \|E_A(S)\| \leq 4M $（其中 $ S \subset \sigma(A) $ 為博雷爾集，$ M $ 為譜測度的界）控制積分的範數。

实验结果

研究问题

• RQ1 在何種算子 $ A $ 條件下，對每一個有界弱解 $ y(\cdot) $，切薩羅均值 $ \frac{1}{t}\int_0^t y(s)\,ds $ 在 $ t \to \infty $ 時強收斂？
• RQ2 算子 $ A $ 的譜結構，特別是無純虛數譜值，如何影響弱解的漸近行為？
• RQ3 能否在複巴拿赫空間中對純量類型譜算子建立弱解的平均遍歷性，從而推廣正常與自伴算子的結果？
• RQ4 在缺乏強可微性的情況下，分解 $ X = \ker A \oplus \overline{R(A)} $ 與切薩羅均值收斂性之間的關係為何？

主要发现

• 對於複巴拿赫空間中無純虛數譜值的純量類型譜算子 $ A $，切薩羅均值 $ \frac{1}{t}\int_0^t y(s)\,ds $ 強收斂於 $ E_A(\{0\})f $，即 $ \ker A $ 上的譜投影。
• 當 $ A $ 為複希爾伯特空間中的正常算子且 $ \sigma(A) \cap i\mathbb{R} = \emptyset $ 時，切薩羅均值的強極限為 $ \ker A $ 上的正交投影。
• 對於複希爾伯特空間中的自伴算子 $ A $，$ y(t) $ 本身的強極限存在，且等於 $ Py(0) $，其中 $ P $ 為 $ \ker A $ 上的正交投影。
• 若 $ A $ 為純量類型譜算子，且 $ 0 $ 為其正則點或有限升階的孤立譜點，則切薩羅均值的收斂性可保證。
• 證明依賴於利用總變異界與指數衰減，估計譜積分在 $ \{ \lambda \in \sigma(A) \mid \operatorname{Re} \lambda < 0 \} $ 上的範數，並顯示其在 $ t \to \infty $ 時趨於零。
• 該結果推廣並取代了先前針對經典解與自反空間的結果，現可透過譜理論適用於一般複巴拿赫空間中的弱解。