C0半群

数学、特に関数解析学の分野における"C"0-半群（"C"0-はんぐん、）あるいは強連続1パラメータ半群とは、指数関数のひとつの一般化である。線型のスカラー定数を係数とする常微分方程式の解が指数関数で与えるように、バナッハ空間における線型の定数係数常微分方程式の解は、強連続半群によって与えられる。そのようなバナッハ空間における微分方程式は、例えばや偏微分方程式の分野において現れる。
正式には、強連続半群とは、強作用素位相において連続なバナッハ空間 "X" 上の半群 (R+,+) の表現である。したがって、厳密に言うと、強連続半群は半群ではなく、むしろ非常に特殊な半群の連続的な表現と言える。
定義.
バナッハ空間 formula_1 上の強連続半群とは、次の性質を満たすような写像formula_2のことである:
初めの二つの公理は代数的なもので、formula_8 が半群 (formula_9) の表現であることを意味している。最後の公理は位相的なものであり、写像 formula_8 が強作用素位相において連続であることを意味している。
簡単な例.
"A" をバナッハ空間 "X" 上の有界作用素とする。このとき、
は強連続半群（実際には、においても連続）である。逆に、任意の一様連続半群には必ず上の形に書けるような有界線型作用素 "A" が存在する。特に、"X" が有限次元のバナッハ空間であるなら、任意の強連続半群には必ず上の形に書けるような線型作用素 "A" が存在する。
無限小生成作用素.
強連続半群 "T" の無限小生成作用素 "A" は
によって定義される（右辺の極限が存在する場合）。"A" の定義域 "D"("A") は、そのような極限が存在するような "x∈X" からなる集合である。"D"("A") は線型部分空間で、"A" はその定義域上で線型である。"A" は必ずしも有界ではないが、閉であり、またその定義域は "X" において稠密である。
生成作用素 "A" を備える強連続半群 "T" は、しばしば記号 "etA" を用いて表される。この記法は、行列指数関数や、汎函数計算（例えば、スペクトル定理）を通して定義される作用素の関数に対する記法と適合する。
抽象的コーシー問題.
次のような抽象的コーシー問題を考える:
ここで "A" はバナッハ空間 "X" 上の閉作用素とし、"x∈X" とする。この問題の解には、次のような二つの概念がある:
を満たすようなものは、上のコーシー問題の軟解と呼ばれる。
すべての古典解は、軟解である。軟解が古典解であるための必要十分条件は、それが連続的微分可能であることである。
次の定理は、抽象的コーシー問題と強連続半群の関係に関するものである。
定理 "A" をバナッハ空間 "X" 上の閉作用素とする。以下の主張は同値である:
これらの主張が成立するとき、コーシー問題の解は "u"("t") = "T"("t")"x" によって与えられる。ただし、"T" は "A" によって生成される強連続半群である。
生成定理.
コーシー問題と関連して、たいていある線型作用素 "A" が与えられたときに、それが強連続半群の生成素となるかどうかという点が問題になる。この問題の答えとなるような定理は、生成定理と呼ばれる。強連続半群を生成する作用素に関するひとつの完璧な特徴づけは、ヒレ-吉田の定理によって与えられた。また、より実践的に重要でありながら、確認するのが簡単な条件はルーマー-フィリップスの定理によって与えられた。
半群の特殊な類.
一様連続半群.
強連続半群 "T" は、もし "t" → "T"("t") が [0, ∞) から "L"("X") への連続写像であるなら、一様連続であると言われる。
一様連続半群の生成素は、有界作用素である。
微分可能な半群.
強連続半群 "T" は、もし "T(t0)X⊂D(A)"（あるいは、それと同値な条件として、すべての "t" ≥ "t"0 に対して "T"("t")"X" ⊂ "D"("A")）が成立するようなある "t"0 > 0 が存在するなら、終局的に微分可能と呼ばれる。また、もしすべての "t" > 0 に対して "T"("t")"X" ⊂ "D"("A") が成立するなら直ちに微分可能と呼ばれる。
すべての解析半群は、直ちに微分可能である。
コーシー問題における、一つの同値な特徴づけは次のようなものである: "A" によって生成される強連続半群が終局的に微分可能であるための必要十分条件は、すべての "x" ∈ "X" に対して抽象的コーシー問題の解 "u" が ("t"1, ∞) 上で微分可能となるようなある "t"1 ≥ 0 が存在することである。もし "t"1 をゼロとなるように選ぶことが出来るのであれば、そのような半群は直ちに微分可能となる。
コンパクト半群.
強連続半群 "T" は、もし "T"("t"0) がコンパクト作用素となるようなある "t"0 > 0 が存在するなら、終局的にコンパクトと呼ばれる（この条件は、すべての "t" ≥ "t"0 に対して "T"("t") がコンパクトであることと同値である）。もしすべての "t" > 0 に対して "T"("t") がコンパクト作用素であるなら、そのような半群は直ちにコンパクトであると呼ばれる。
ノルム連続半群.
強連続半群は、もし "t" → "T"("t") が ("t"0, ∞) から "L"("X") への連続写像となるようなある "t"0 ≥ 0 が存在するなら、終局的にノルム連続であると呼ばれる。もし "t"0 をゼロとして選ぶことが出来るなら、そのような半群は直ちにノルム連続であると呼ばれる。
直ちにノルム連続であるような半群に対して、"t" → "T"("t") は "t" = 0 においては連続とならない可能性があることに注意されたい（もし連続であるなら、その半群は一様連続となる）。
解析半群、（終局的に）微分可能な半群、（終局的に）コンパクトな半群は、すべて終局的にノルム連続な半群である。
安定性.
指数安定性.
半群 "T" の成長上限は、定数
によって定義される。この数は
がすべての "t" ≥ 0 に対して成立する定数 "M" (≥ 1) が存在するような実数 "ω" の下限として与えられることから、そのような呼ばれ方をしている。
次に述べる条件はすべて同値である:
これらの同値な条件を満たす半群は、指数安定あるいは一様安定であると言われる（関連文献においては、上の初めの三つの条件のうちのいずれかが定義として扱われることが多い）。"Lp" の条件が指数安定性と同値であることは、ダツコ-ペジーの定理として知られる。
"X" がヒルベルト空間である場合には、生成素のレゾルベント作用素に関する、次のような別の条件もまた半群の指数安定性と同値となる: 正の実部を持つすべての複素数 "λ" は "A" のレゾルベント集合に属し、そのレゾルベント作用素は右半平面において一様有界となる。すなわち、("λI" − "A")−1 はハーディ空間 formula_22 に属する。これはギアハート-プルスの定理と呼ばれる。
作用素 "A" のスペクトル上限は、定数