Let be the underlying Banach space. By the Laplace-transform formula for a semigroup resolvent,These are Bochner integrals, defined for every and . The contraction semigroup bound and semigroup property giveInterchanging and regrouping these Bochner integrals is justified by the integrable bound , whose integral is . For , set and evaluate the inner scalar integral:Since was arbitrary, the resolvent identity follows:For , both sides vanish, so that case holds as well.
For , apply the resolvent identity from part (i) in both orders:The two quotients are equal. For the assertion is immediate. HenceThus resolvent operators from the same strongly continuous semigroup commute. This conclusion does not require commuting arbitrary bounded linear operators; it uses the fact that both arise from the same semigroup generator.
A second-order nondivergence-form elliptic operator on a domain has the formOnly the symmetric part of affects the Hessian matrix term, so one may take symmetric. The operator is a uniformly elliptic operator if there is a constant , independent of , such thatA common bounded-coefficient convention additionally requires an upper bound with . The lower bound says that the principal quadratic form cannot degenerate in any direction or at any location.
For an explicit stochastic example, standard -dimensional Brownian motion has infinitesimal generatorIts principal quadratic form is , so it is uniformly elliptic with . More generally, a sufficiently regular stochastic differential equation has diffusion generator ; it is uniformly elliptic when has a uniformly positive lower bound. A conservative diffusion process has no zeroth-order term, since its infinitesimal generator annihilates constants.
Articles by others on the same topic
There are currently no matching articles.