微分可能な半群
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2019/08/20 05:10 UTC 版)
強連続半群 T は、もし T(t0)X⊂D(A)(あるいは、それと同値な条件として、すべての t ≥ t0 に対して T(t)X ⊂ D(A))が成立するようなある t0 > 0 が存在するなら、終局的に微分可能と呼ばれる。また、もしすべての t > 0 に対して T(t)X ⊂ D(A) が成立するなら直ちに微分可能と呼ばれる。 すべての解析半群は、直ちに微分可能である。 コーシー問題における、一つの同値な特徴づけは次のようなものである: A によって生成される強連続半群が終局的に微分可能であるための必要十分条件は、すべての x ∈ X に対して抽象的コーシー問題の解 u が (t1, ∞) 上で微分可能となるようなある t1 ≥ 0 が存在することである。もし t1 をゼロとなるように選ぶことが出来るのであれば、そのような半群は直ちに微分可能となる。
※この「微分可能な半群」の解説は、「C0半群」の解説の一部です。
「微分可能な半群」を含む「C0半群」の記事については、「C0半群」の概要を参照ください。
- 微分可能な半群のページへのリンク