算子半群中及定理6及证明.docVIP

算子半群—定理6的证明 摘 要：证明抽象发展方程的解和半群的关系时，我们是先通过构造两个空间以及两个映射，再把其中一个映射做成半群，找出其生成元，从而证明出定理6。但为了使证明不显得那么繁琐，我们先给出一个引理，这样更方便我们对定理6的证明。 关键词： 半群 方程解 生成元 引理 设是-空间上的稠定线性算子，，则抽象发展方程 （*） 对任意，方程（*）的连续可微解具有如下性质： （1） 其中， （2） 其中 （3） 对 证：（1）令，则是满足方程（*）的解，而 ，由方程解的唯一性： 令，则是满足方程（*） 的解，而 ，由方程解的唯一性： 其中， （2）因为，均是方程（*）的解，且满足初值条件： 所以 （3）对，令 则 而且 由方程解得唯一性有 于是 证毕 定理6 设是定义在空间上的稠定线性算子，，则抽象发展方程 （2.1-14） 对任意，存在唯一的连续可微解的充分且必要条件是为某个半群的生成元且方程的解可表示为 （2.1-15） 证： 若线性算子为某个半群的生成元，则为闭稠定算子，且对有 ， 即 为方程（2.1-14）的解。 若方程有另一连续可微解，作，因为是可导的，故 即 在上取常值，当时应有 于是 对，设方程在上有唯一的连续可微解，其中 因 ，存在，设且， 则 （） 即 ，所以 由极限的的唯一性得 ，即 故 是闭算子。对定义图像范数 则在图像范数意义下成为空间，记为。 再记 为从到的所有连续函数在最大模范数下构成的空间。 定义映射 ： 且 ，， 由方程（2.1-14）对，存在唯一连续解则由引理易知是定义在上的线性算子。 设且在及范数意义下分别有 ， （） 因为是闭算子，且 （） （这里由控制收敛定理）， 故极限号和积分号可交换） 于是有 故为闭算子，由闭图像定理知为有界线性算子。即常数，使得 （2.1-16） 定义映射 ： 且 ，对 由于，对有 故 由假设是方程（2.1-14）的解，故（对），又因， ，故 若令 则有 且 于是由引理可知 对 又因 ，就有 即满足半群性质。又由（2.1-16）式知在上是有界的，即，使 对任意给定的，(自然数)和，使 其中，于是对有 （2.1-17） 其中 由条件，故有由引理可知 故 对任意 （2.1-18） 设 ，对，有使且由（2.1-18）式有 又 于是 对 其中为常数。因为，故上式对均成立。 又 所以为全空间上定义的半群。 最后需证明是的无穷小生成元。设是的无穷小生成元。 对，由假设有 对，因在上强连续，为闭算子，有 若取且，令，有 即 （对） 因，为