ルーマー–フィリップスの定理

数学におけるルーマー–フィリップスの定理（ルーマー–フィリップスのていり、）とは、ガンター・ルーマーおよびラルフ・フィリップスの名にちなむ定理で、バナッハ空間内の線形作用素が縮小半群を生成するための必要十分条件について述べた、強連続半群の理論における一つの結果である。
定理の内容.
"A" を、バナッハ空間 "X" の線形部分空間 "D"("A") 上で定義される線形作用素とする。このとき、"A" が縮小半群を生成するための必要十分条件は
である。
定理の変形版.
回帰的空間.
"A" を、回帰的バナッハ空間 "X" の線形部分空間 "D"("A") 上で定義される線形作用素とする。このとき、"A" が縮小半群を生成するための必要十分条件は
である。上述の、非回帰的な空間も含む場合と比較して、"D"("A") が稠密であるという条件と、"A" が閉であるという条件が省かれている点に注意されたい。実際、回帰的な場合において、それらの条件は上の二つの条件から自然に従うものである。
共役作用素の消散性.
"A" を、回帰的バナッハ空間 "X" において稠密な線形部分空間 "D"("A") 上で定義される線形作用素とする。このとき、"A" が縮小半群を生成するための必要十分条件は
である。"X" が回帰的ではない場合、この条件は依然として "A" が縮小半群を生成するための十分条件ではあるが、必要条件ではなくなる。
準縮小半群.
"A" を、バナッハ空間 "X" の線形部分空間 "D"("A") 上で定義される線形作用素とする。このとき、"A" が準縮小半群を生成するための必要十分条件は
である。
例.
ルーマー–フィリップスの定理を直接的に適用することによって望む結果が得られるような例は、さらに多く存在する。
変換やスケーリング、摂動理論とともに用いられることで、ルーマー–フィリップスの定理は、ある作用素が強連続半群を生成することを示す上での主要な道具となる。そのような例を次に述べる。