[論文レビュー] From resolvent bounds to semigroup bounds

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

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

ひとこと要約

この論文は、生成作用素 $ A $ のリゾルベント推定値に基づいて、強い連続半群 $ S(t) $ のノルムに対する明示的で時間依存の評価を導出することによって、Gearhardt-Prüss-Hwang-Greinerの定理を再考する。フーリエ＝ラプラス変換と指数的重み付き $ L^2 $ 空間におけるプランシュレルの定理を用いて、$ \|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.

研究の動機と目的

• 強い連続半群について $ \|S(t)\| $ の明示的で時間依存の評価を導出することにより、Gearhardt-Prüss-Hwang-Greinerの定理を再考する。
• 半平面上 $ \operatorname{Re} z \geq \omega $ における一様なリゾルベント有界性と、成長率 $ \|S(t)\| \leq M e^{\omega t} $ の間の定量的関係を確立する。
• リゾルベントノルムと重み関数 $ m(t) $ を用いて、成長率 $ M $ を明示的に推定する構成的手段を確立する。
• 主評価を反復的に適用する手続きを導入し、指数的減衰を超える非指数的減衰 $ \mathcal{O}(\exp(-t^{1/2}/C)) $ を達成する。
• 関数 $ r(\omega) $ を用いたスペクトル局在化とリゾルベント減衰の役割を明らかにし、$ \omega_0 $ との関係を示し、Lipschitz連続性を示す。

提案手法

• リゾルベント $ (z - A)^{-1} $ と半群 $ S(t) $ の間の関係をフーリエ＝ラプラス変換を用いて確立し、$ \operatorname{Re} z > \omega_0 $ に対して $ (z - A)^{-1} = \int_0^\infty S(t) e^{-tz} dt $ であるという恒等式を用いる。
• 指数的重み付き $ 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) $ を非負スペクトル部分への射影 $ \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 $ がリゾルベントノルムと重み関数 $ 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) $ を満たすように選ぶことで、$ r(\omega) $ と $ 1/m $ の $ e^{-\omega \cdot}L^2 $ ノルム（長さ $ a $ と $ \tilde{a} $ の区間で）に依存する有効な評価が得られる。ここで $ a + \tilde{a} = t $ である。
• 反復的手続きにより、非指数的減衰評価 $ \widetilde{m}(t) \leq C \exp(-t^{1/2}/C) $ が得られ、仮定が満たされれば $ \|S(t)\| \leq C \exp(\omega t - t^{1/2}/C) $ が大 $ t $ に対して成り立つ。
• $ r(\omega) $ は $ 0 \leq dr/d\omega \leq 1 $ を満たすリプシッツ連続関数であり、$ \omega \searrow \omega_0 $ のとき $ r(\omega) \to 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) $ の初期挙動とリゾルベントノルムにどのように依存するかを示す。
• 不等式 $ \widetilde{m}(t) \leq 2^{-(2^{-k_0} t/T)^{1/2}} r(\omega) T $ が $ t/T \geq 2^{k_0 - 1} $ に対して成り立ち、ここで $ k_0 $ は $ 2^{k_0} \geq \max(2^6 / (TF(0))^4, 8) $ を満たす最小の整数である。これは改善された減衰に対する明示的で定量的な評価を提供する。