简介:从泛函分析观点来看Lebesgue积分,使得Lebesgue积分可以用泛函分析最简单最基本的方法独立导出.基本做法是将Riemann对于区间[0,1]上的连续函数的积分看成连续函数空间C[0,1]上的连续线性泛函,再将它“自然”延拓到C[0,1]在积分范数意义下的完备化空间,而这个完备化空间正是Lebesgue可积函数空间L1[0,1].
简介:讨论了具有热储备和两个独立相同部件的平行系统在由常规错误引起失效下的渐进稳定性.首先,利用Banach空间的Volttera算子方程得到了非负动态解的存在唯一性;然后,利用强连续线性算子半群理论证明了系统正的动态解的存在唯一性,而由于初始值不在定义域内,故得到的是mild解.但在t>0时系统古典解存在唯一,所以此时mild解即为古典解.最后,利用线性算子半群稳定性的结果,证明了该动态解在范数意义下收敛到稳态解,进而得到了系统的渐进稳定性.