[论文解读] From resolvent bounds to semigroup bounds

Bernard Helffer, Johannes Sjoestrand|arXiv (Cornell University)|Jan 23, 2010

Numerical methods in inverse problems参考文献 17被引用 27

一句话总结

本文通過傅里葉-拉普拉斯變換與普朗歇爾恆等式，在指數加權 $ L^2 $ 空間中，重新探討了 Gearhardt-Prüss-Hwang-Greiner 定理，從其生成元 $ A $ 的預解式估計出強連續半群 $ S(t) $ 濃度的顯式、依時的界。利用傅里葉-拉普拉斯變換與普朗歇爾恆等式，作者獲得 $ \|S(t)\| $ 的定量估計，透過顯式依賴預解式界與譜局部化，改進了經典半群衰減結果，並透過迭代精化，達成次指數衰減 $ \mathcal{O}(\exp(-t^{1/2}/C)) $。

ABSTRACT

The purpose of this note is to revisit the proof of the Gearhardt-Prüss-Hwang-Greiner theorem for a semigroup S(t), following the general idea of the proofs that we have seen in the literature and to get an explicit estimate on the norm of S(t) in terms of bounds on the resolvent of the generator.

研究动机与目标

• 重新探討 Gearhardt-Prüss-Hwang-Greiner 定理，以推導強連續半群 $ \|S(t)\| $ 的顯式、時間依賴界。
• 建立在半平面 $ \operatorname{Re} z \geq \omega $ 上預解式一致有界與增長指數 $ \|S(t)\| \leq M e^{\omega t} $ 之間的定量連結。
• 建立一種構造性方法，以預解式範數與權重函數 $ m(t) $ 明確估計增長指數 $ M $。
• 發展一種迭代程序，使 $ \|S(t)\| $ 的衰減估計超越指數衰減，於適當假設下達成次指數衰減 $ \mathcal{O}(\exp(-t^{1/2}/C)) $。
• 釐清譜局部化與預解式衰減的關鍵角色，透過函數 $ r(\omega) $ 展示其利普希茨連續性，並與本質下確界譜界 $ \omega_0 $ 關聯。

提出的方法

• 應用傅里葉-拉普拉斯變換，利用恆等式 $ (z - A)^{-1} = \int_0^\infty S(t) e^{-tz} dt $（其中 $ \operatorname{Re} z > \omega_0 $），將預解式 $ (z - A)^{-1} $ 與半群 $ S(t) $ 連結。
• 在指數加權 $ L^2 $ 空間中使用普朗歇爾公式，推導出以預解式範數與權重函數 $ m(t) $ 表示的 $ \|S(t)\| $ 的 $ L^2 $-基估計。
• 引入分解 $ t = a + \tilde{a} $，並推導關鍵估計式 $ \|S(t)\| \leq \frac{e^{\omega t}}{r(\omega) \|1/m\|_{e^{-\omega \cdot}L^2([0,a])} \|1/m\|_{e^{-\omega \cdot}L^2([0,\tilde{a}])}} $，其中 $ r(\omega) $ 為預解式本質上確界範數的倒數。
• 將該方法應用於 $ S(t) $ 在 $ 1 - \Pi_+ $ 的值域上的限制，其中 $ \Pi_+ $ 為投影至非負譜部分的譜投影，以獲得更精確的衰減估計。
• 透過對修改後的權重函數 $ \widetilde{m}(t) $ 重複應用主估計式，實施迭代改進程序，導出 $ \widetilde{f}(t) = \int_0^{t/2} \widetilde{f}(s)^2 ds $ 的遞歸定義，進而產生 $ \widetilde{f} $ 的超指數增長，因此導致 $ \widetilde{m} $ 的次指數衰減。
• 利用遞歸不等式 $ \ln(TF(k+2)) \geq 2 \ln(TF(k)) $，推導出 $ \widetilde{f}(t) $ 的雙指數增長，進而導出最終的衰減估計 $ \widetilde{m}(t) \leq C \exp(-t^{1/2}/C) $。

实验结果

研究问题

• RQ1 如何從半平面 $ \operatorname{Re} z \geq \omega $ 上預解式 $ \|(z - A)^{-1}\| $ 的一致有界性，推導出 $ \|S(t)\| $ 的顯式、時間依賴界？
• RQ2 增長指數 $ M $ 在 $ \|S(t)\| \leq M e^{\omega t} $ 中，對預解式範數與權重函數 $ m(t) $ 的精確依賴關係為何？
• RQ3 主估計式的迭代應用如何導致超越指數的改進衰減率？其最終衰減率為何？
• RQ4 定義為預解式本質上確界範數倒數的函數 $ r(\omega) $，是否可用於表徵本質下確界譜界 $ \omega_0 $？其正則性為何？
• RQ5 譜局部化（透過 $ \Pi_+ $）在精化半群估計中扮演何種角色？其如何允許半群範數的改進衰減？

主要发现

• 主要估計式 $ \|S(t)\| \leq \frac{e^{\omega t}}{r(\omega) \|1/m\|_{e^{-\omega \cdot}L^2([0,a])} \|1/m\|_{e^{-\omega \cdot}L^2([0,\tilde{a}])}} $ 提供了以預解式界 $ r(\omega)^{-1} $ 與權重函數 $ m(t) $ 表示的半群範數之顯式、時間依賴界。
• 透過選擇 $ m(t) $ 使得 $ e^{-\omega t} \|S(t)\| \leq m(t) $，該界可有效用於估計 $ \|S(t)\| $，且顯式依賴於 $ r(\omega) $ 與 $ 1/m $ 在長度為 $ a $ 與 $ \tilde{a} $ 區間上、滿足 $ a + \tilde{a} = t $ 的 $ L^2 $-範數。
• 迭代程序導致次指數衰減估計 $ \widetilde{m}(t) \leq C \exp(-t^{1/2}/C) $，表示在適當假設下，對於大 $ t $ 有 $ \|S(t)\| \leq C \exp(\omega t - t^{1/2}/C) $。
• 函數 $ r(\omega) $ 被證明為利普希茨連續，且滿足 $ 0 \leq dr/d\omega \leq 1 $，且當 $ \omega \searrow \omega_0 $ 時，$ r(\omega) \to 0 $，其中 $ \omega_0 $ 為本質下確界譜界。
• 獲得增長常數 $ M $ 的顯式界：$ M = \max\left( \sup_{[0,T[} \widetilde{m}, \frac{1}{r(\omega) \int_0^{T/2} \widetilde{m}(s)^{-2} ds} \right) $，顯示 $ M $ 如何依賴於 $ \widetilde{m}(t) $ 的初始行為與預解式範數。
• 對於 $ t/T \geq 2^{k_0 - 1} $，有衰減估計 $ \widetilde{m}(t) \leq 2^{-(2^{-k_0} t/T)^{1/2}} r(\omega) T $，其中 $ k_0 $ 為滿足 $ 2^{k_0} \geq \max(2^6 / (TF(0))^4, 8) $ 的最小整數，提供改進衰減的具體定量界。