コンテンツにスキップ

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

出典: フリー百科事典『ウィキペディア(Wikipedia)』

数学におけるルーマー–フィリップスの定理(ルーマー–フィリップスのていり、: Lumer–Phillips theorem)とは、ガンター・ルーマーおよびラルフ・フィリップスの名にちなむ定理で、バナッハ空間内の線形作用素縮小半群を生成するための必要十分条件について述べた、強連続半群の理論における一つの結果である。

定理の内容

[編集]

A を、バナッハ空間 X の線形部分空間 D(A) 上で定義される線形作用素とする。このとき、A縮小半群を生成するための必要十分条件は

  1. D(A) は X において稠密
  2. A
  3. A消散的、および
  4. ある λ0> 0 に対して A − λ0I全射(ただし I恒等作用素を表す)

である[1]

定理の変形版

[編集]

回帰的空間

[編集]

A を、回帰的バナッハ空間 X の線形部分空間 D(A) 上で定義される線形作用素とする。このとき、A縮小半群を生成するための必要十分条件は

  1. A消散的、および
  2. ある λ00 に対して A − λ0I全射(ただし I恒等作用素を表す)

である[2]。上述の、非回帰的な空間も含む場合と比較して、D(A) が稠密であるという条件と、A が閉であるという条件が省かれている点に注意されたい。実際、回帰的な場合において、それらの条件は上の二つの条件から自然に従うものである。

共役作用素の消散性

[編集]

A を、回帰的バナッハ空間 X において稠密な線形部分空間 D(A) 上で定義される線形作用素とする。このとき、A縮小半群を生成するための必要十分条件は

  • Aであり、A およびその共役作用素 A消散的

である[3]X が回帰的ではない場合、この条件は依然として A が縮小半群を生成するための十分条件ではあるが、必要条件ではなくなる[4]

準縮小半群

[編集]

A を、バナッハ空間 X の線形部分空間 D(A) 上で定義される線形作用素とする。このとき、A準縮小半群を生成するための必要十分条件は

  1. D(A) は X において稠密
  2. A
  3. A準消散的、すなわち、ωI − A消散作用素であるようなある ω ≥ 0 が存在し、また
  4. ある λ0 > ω に対して A − λ0I全射(ここで I恒等作用素を表す)

である。

[編集]
  • 通常内積を伴う空間 H = L2([0, 1]; R) を考える。Au = u′ とし、その定義域 D(A) は、u(1) = 0 を満たすようなソボレフ空間 H1([0, 1]; R) の関数 u からなる集合と等しいものとする。D(A) は稠密である。さらに、D(A) に含まれるすべての u に対して
が成立するため、A は消散的である。常微分方程式 u' − λu = fu(1) = 0 には、L2([0, 1]; R) 内の任意の f に対して、唯一つの解
H1([0, 1]; R) 内に存在する。したがって、全射の条件も満たされる。以上のことから、上述の回帰的な場合のルーマー–フィリップスの定理により、A は縮小半群を生成することが分かる。

ルーマー–フィリップスの定理を直接的に適用することによって望む結果が得られるような例は、さらに多く存在する。

変換やスケーリング、摂動理論とともに用いられることで、ルーマー–フィリップスの定理は、ある作用素が強連続半群を生成することを示す上での主要な道具となる。そのような例を次に述べる。

注釈

[編集]
  1. ^ Engel and Nagel Theorem II.3.15, Arent et. al. Theorem 3.4.5, Staffans Theorem 3.4.8
  2. ^ Engel and Nagel Corollary II.3.20
  3. ^ Engel and Nagel Theorem II.3.17, Staffans Theorem 3.4.8
  4. ^ 非回帰的な場合にもそれらは同値であるという記述もいくつかの文献に見られる(たとえば、Luo, Guo, Morgul Corollary 2.28)が、それらには誤りがある。
  5. ^ Engel and Nagel Exercise II.3.25 (ii)

参考文献

[編集]
  • Lumer, Günter and Phillips, R. S. (1961). “Dissipative operators in a Banach space”. Pacific J. Math. 11: 679–698. ISSN 0030-8730. 
  • Renardy, Michael and Rogers, Robert C. (2004). An introduction to partial differential equations. Texts in Applied Mathematics 13 (Second ed.). New York: Springer-Verlag. pp. 356. ISBN 0-387-00444-0 
  • Engel, Klaus-Jochen; Nagel, Rainer (2000), One-parameter semigroups for linear evolution equations, Springer 
  • Arendt, Wolfgang; Batty, Charles; Hieber, Matthias; Neubrander, Frank (2001), Vector-valued Laplace Transforms and Cauchy Problems, Birkhauser 
  • Staffans, Olof (2005), Well-posed linear systems, Cambridge University Press 
  • Luo, Zheng-Hua; Guo, Bao-Zhu; Morgul, Omer (1999), Stability and Stabilization of Infinite Dimensional Systems with Applications, Springer