Take in the generator domain . The semigroup commutation with its unbounded generator implies andIndeed, applying the bounded operator to the difference quotient at zero gives the right derivative ; strong continuity gives the full orbit derivative for . Now integration by parts in the Bochner integral yieldsThe boundary term at infinity vanishes because . The derivative integral exists as a Bochner integral, since its integrand is bounded in norm by .
Multiplying this identity by givesPart (b) applies to the fixed vector , soThe bounded operators are the Yosida approximation of the semigroup generator. The proof only applies the unbounded operator to ; the contraction and limit arguments then act on the ordinary vector .
Articles by others on the same topic
There are currently no matching articles.