依賴於參數的運算元族。單參數的運算元半群可以通過指數公式exp(-tA)的形式表示出來,其中A是一個運算元,稱為生成元,而t≥0。運算元半群理論是泛函分析的一個分支,主要研究各種類型的運算元半群和它們的生成元的特性,以及指數公式的各種表達形式。這個理論在發展型方程(擴散型及波動型偏微分方程)、馬爾可夫過程論、、算子逼近論、各態歷經理論、控制理論以及量子力學的數學理論中有著廣泛的應用。
強連續線性算子半群 是這樣一族線性算子{T(t)|t≥0},它們都連續地映巴拿赫空間x於自身,滿足:①T(0)=I(恒同算子);②
![](/img3/9498.gif)
![](/img3/9499.gif)
![](/img3/9499.gif)
![](/img3/9500.gif)
![](/img3/9501.gif)
![](/img3/9502.gif)
![](/img3/9503.gif)
![](/img3/9504.gif)
![](/img3/9505.gif)
![](/img3/9506.gif)
酉算子群 是希爾伯特空間H到自身的一族酉算子(見線性算子),{U(t)│-∞<t<∞},滿足:①
![](/img3/9507.gif)
![](/img3/9508.gif)
壓縮半群 滿足‖T(t)‖≤1,對一切t>0的強連續算子半群。成為壓縮半群的生成元A的充要條件是
![](/img3/9509.gif)
![](/img3/9510.gif)
![](/img3/9511.gif)
![](/img3/9512.gif)
![](/img3/9513.gif)
![](/img3/9514.gif)
解析算子半群 還有一類特殊的壓縮半群,其中T(t)作為t的算子值函數可以解析開拓到一個包含正實軸的復平面中的角形區域上去。這類算子半群在拋物型方程中有重要應用。
線性算子半群理論也被推廣到瞭非線性算子。非線性壓縮算子半群{T(t)│t≥0}是這樣一族由巴拿赫空間x中的子集C到自身C的非線性映射,除瞭滿足線性強連續算子半群定義中的條件①~③(但以x∈C代替x∈x)而外,還假設滿足條件④‖T(t)x-T(t)y‖≤‖x-y‖,對一切x,y∈C,和一切t≥0。為瞭描寫非線性壓縮半群的生成元,引進多值增殖算子的概念。稱x×x上的一個子集A為一個多值算子,如果記Ax={y∈x|[x,y]∈A},D(A)={x∈x|Ax≠ø},R(A)=UAx,(見非線性算子)。一個多值算子A稱為是增殖的,如果,
![](/img3/9515.gif)
![](/img3/9516.gif)
![](/img3/9517.gif)
![](/img3/9518.gif)
![](/img3/9519.gif)
![](/img3/9520.gif)
![](/img3/9521.gif)
![](/img3/9522.gif)
![](/img3/9523.gif)
![](/img3/9524.gif)
![](/img3/9525.gif)
參考書目
E.Hille and R.S.Phillips,Functional Analysis and Semigroups,2nd ed.,American Math.Soc.Colloq.Pub.,New York,1957.
K.Yosida,Functional Analysis,5th ed.,Springer-Verlag,Berlin,1978.
H.Brézis,Opérateurs MaxiMaux Monotones et Semigroups de Contractions dans Les Espaces de Hilbert,North-Holland,Amsterdam,1973.
M.Crandall and T.Liggett,Generation of Semi-groups of Nonlinear Transformations in General Banach Spaces,American Journal of MathMatics,Vol.93,pp.265~298,1971.