论文部分内容阅读
首先构造了Hilbert空间V,在V上定义了线性算子AV及V上的算子族S(t), 证明了S(t)是V上的C0-半群,AV是S(t)在V上的生成,又构造了Hilbert空间W,使V上的C0半群限制在W上仍是C0-半群,最后构造了算子B和C,并证明了B和C是容许输入算子和容许输出算子,从而将Hilbert空间中的时滞系统转化为了一个Pritchard-Salamon系统(简称PS系统).