[論文レビュー] Superstability and Finite Time Extinction For C_0-Semigroups

Darren Creutz, Jr . M. Mazo+1 more|arXiv (Cornell University)|Jul 28, 2009

Stability and Controllability of Differential Equations参考文献 9被引用数 3

ひとこと要約

本稿は、原点回りの収縮する球への到達時間に基づく、$C_0$-半群におけるスーパースタビリティおよび有限時刻消滅の統一的枠組みを提案する。これらの性質に対するパジ型積分条件を確立し、有限時刻消滅はスーパースタビリティを含むが、逆は成り立たないことを証明し、具体的な反例を構成することで、バラクリシュナンの未解決問題に答えている。その反例は、有限時刻で消滅しないがスーパースタビリティを満たす微分作用素を生成元とする系である。

ABSTRACT

A new approach to superstability and finite time extinction of strongly continuous semigroups is presented, unifying known results and providing new criteria for these conditions to hold analogous to the well-known Pazy condition for stability. That finite time extinction implies superstability which is in turn equivalent to several (both known and new) conditions follow from this new approach in a consistent fashion. Examples showing that the converse statements fail are constructed, in particular, an answer to a question of Balakrishnan on superstable systems not exhibiting finite time extinction.

研究の動機と目的

• 入射時間に基づく新規な手法を用いて、$C_0$-半群におけるスーパースタビリティおよび有限時刻消滅に関する既存の結果を統合的かつ拡張すること。
• 指数的安定性のパジの条件に類似した、スーパースタビリティおよび有限時刻消滅の新たな類似基準を提供すること。
• 微分作用素を生成元とするが有限時刻で消滅しないスーパースタビリティを示す系の存在について、バラクリシュナンの未解決問題を解消すること。
• 有限時刻消滅 ⇒ スーパースタビリティ ⇒ 安定性という厳密な階層関係を明確にし、各含意が厳密であることを反例で示すこと。

提案手法

• 相対的入射時間 $u_r = \sup\{t_{r+1}(x) - t_r(x) : \|x\| \leq 1\}$ を定義する。ここで $t_r(x)$ は、すべての $t' \geq t$ に対して $\|T(t')x\| \leq e^{-r}$ となる最小の時刻である。
• 安定性、スーパースタビリティ、有限時刻消滅が、$u_r$ の漸近的挙動 $\limsup u_r < \infty$、$\lim u_r = 0$、$\sum u_r < \infty$ とそれぞれ同値であることを確立する。
• 作用素ノルムの対数を用いて、パジ型積分条件を導出する：$\int_a^\infty |\log \|T(t)\||^{-p} dt < \infty$（$p$ のさまざまな値に対して）。
• $L^2$ 空間においてガウス測度およびルベーグ測度を用いて反例を構成し、三つの安定性タイプ間の階層関係の厳密性を示す。
• 平行移動および分数積分作用素（例：$J^{it}$）の半群を用いて、スペクトルが空集合であるがスーパースタビリティを示さない例を生成する。
• スペクトル論およびガンマ関数の性質を含む関数解析的道具を用いて、作用素ノルムの成長および減衰を分析する。

実験結果

リサーチクエスチョン

• RQ1 入射時間に基づく手法を用いて、$C_0$-半群におけるスーパースタビリティおよび有限時刻消滅の統一的特徴付けを構築できるか？
• RQ2 指数的安定性のパジの条件に類似した、スーパースタビリティおよび有限時刻消滅のための積分条件が存在するか？
• RQ3 微分作用素を生成元とするが有限時刻で消滅しないスーパースタビリティを示す $C_0$-半群は存在するか？
• RQ4 安定性、スーパースタビリティ、および有限時刻消滅の三つの安定性タイプの正確な関係は何か？
• RQ5 有限時刻消滅がスーパースタビリティよりも厳密に強いこと、およびスーパースタビリティが安定性よりも厳密に強いことを示す例を構築できるか？

主な発見

• 有限時刻消滅は、$\sum_{r=0}^\infty u_r < \infty$ が成り立つことと同値であり、ここで $u_r$ はレベル $r$ に対する相対的入射時間である。
• スーパースタビリティは $\lim_{r \to \infty} u_r = 0$ と同値であり、この条件は安定性よりも厳密に強い。
• 本稿では、生成元が $-\frac{d}{ds}$ である $L^2(\mathbb{R}^+, \mu)$ 上のスーパースタビリティを示す $C_0$-半群を構成し、バラクリシュナンの問いに肯定的に答えている。
• $T(t)f(s) = f(s+t)$（$s+t \leq 1$ の場合）かつそれ以外では 0 である半群は、$t=1$ で有限時刻消滅を示し、$r > 0$ に対して $u_r = 0$ である。
• 解析接続を用いた分数積分半群 $J^{it}$ の一般化により、スペクトルが空集合であるがスーパースタビリティを示さない半群の例を構成した。
• スーパースタビリティのパジ型条件は、$1 < p < \infty$ に対して $\int_a^\infty |\log \|T(t)\||^{-p} dt < \infty$ であり、有限時刻消滅の場合は、同じ積分の $p \downarrow 0$ での極限が有限であることである。