ヒレ–吉田の定理

X をバナッハ空間としたとき、X 上の作用素からなる1パラメータ半群とは、非負の実数によって特徴づけられる作用素の族 {T(t)} _{t ∈ [0, ∞)} で

• ${\displaystyle T(0)=I,}$
• ${\displaystyle T(s+t)=T(s)\circ T(t)\quad \forall \ t,s\geq 0}$

を満たすようなもののことを言う。この半群が強連続、あるいはC0半群であるための必要十分条件は、写像

${\displaystyle t\mapsto T(t)x}$

がすべての x ∈ X に対して連続であることである。ここで [0, ∞) は通常位相を持ち、X はノルム位相を持つ。

1パラメータ半群 T の無限小生成素とは、X 上の（possibly proper な）部分空間上で定義される、次のような作用素 A のことである。

• A の定義域は、

${\displaystyle h^{-1}(T(h)x-x)}$

に、h を右から 0 へと近づけたときの極限が存在するような x ∈ X からなる集合である:

${\displaystyle D(A):=\left\{\ x\in X;\ \exists \ \lim _{h\downarrow 0}h^{-1}(T(h)x-x)\ \right\}}$

• Ax の値は、そのような極限の値である。言い換えると、Ax は関数

${\displaystyle t\mapsto T(t)x}$

の 0 での右側微分である。

強連続一パラメータ半群の無限小生成素は、Xの稠密な線形部分空間上で定義される閉線形作用素である。

ヒレ-吉田の定理は、バナッハ空間上の閉線形作用素 A が、ある強連続一パラメータ半群の無限小生成素であるための必要十分条件を与えるものである。

A をバナッハ空間 X の線形部分空間 D(A) 上で定義される線形作用素とし、ω を実数とし、M > 0 とする。このとき、A が、${\displaystyle \|T(t)\|\leq M{\rm {e}}^{\omega t}}$ を満たすような強連続半群 T を生成するための必要十分条件は

1. D(A) が X において稠密であること、および
2. λ > ω を満たすようなすべての実数 λ が A のレゾルベント集合に含まれ、そのような λ とすべての正の整数 n に対し

${\displaystyle \|(\lambda I-A)^{-n}\|\leq {\frac {M}{(\lambda -\omega )^{n}}}}$

が成立すること、である[1]。

一般的に、ヒレ-吉田の定理は理論的な側面において重要であると考えられている。なぜならば、定理に現れるレゾルベント作用素の冪乗に関する不等式は、通常、具体的な事例においてはその成立を確かめることが困難であるからである。特別な場合としての縮小半群（上の定理において M = 1 および ω = 0 である場合）の場合には、n = 1 での不等式の成立のみが確かめられれば良いこととなるため、実際の応用の場面における定理の重要性も確かめられる。縮小半群に対するヒレ-吉田の定理は、次のようなものである:

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

1. D(A) が X において稠密であること、および
2. λ > 0 を満たすようなすべての実数 λ が A のレゾルベント集合に含まれ、そのような λ に対して

${\displaystyle \|(\lambda I-A)^{-1}\|\leq {\frac {1}{\lambda }}}$

が成立することである[2]。

• C0半群
• ルーマー-フィリップスの定理
• 一パラメータユニタリ群に関するストーンの定理

• Riesz, F.; Sz.-Nagy, B. (1995), Functional analysis. Reprint of the 1955 original, Dover Books on Advanced Mathematics, Dover, ISBN 0-486-66289-6
• Reed, Michael; Simon, Barry (1975), Methods of modern mathematical physics. II. Fourier analysis, self-adjointness., Academic Press, ISBN 0125850506
• 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
• Feller, William (1971), An introduction to probability theory and its applications. Vol. II. Second edition, John Wiley & Sons, New York
• Vrabie, Ioan I. (2003), C0-semigroups and applications. North-Holland Mathematics Studies, 191., North-Holland Publishing Co., Amsterdam