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

3行要約

1. 線形作用素が強連続収縮半群の生成作用素となる条件を与える定理。
2. 作用素が散逸的であり、かつ値域が十分に大きいことを要求する。
3. 進化方程式や偏微分方程式の解の存在証明に広く使われる。