The infinitesimal generator of a semigroup is the linear operatorwith generator domainFor example, the Bochner integralbelongs to for every and , since .
To prove that is a closed linear operator, suppose , , and . For vectors in the generator domain,Passing to the limit in the Banach space givesAfter division by , strong continuity makes the right side converge to as . Hence and , so is closed.
For , define the Bochner integralIt converges absolutely becauseIntegrating the semigroup difference quotient shows that and . The same computation for gives . Thus the Laplace-transform formula for a semigroup resolvent proves
Articles by others on the same topic
There are currently no matching articles.