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 give
Interchanging 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. Hence
Thus 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 form
Only 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 that
A 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 generator
Its 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 (0)

There are currently no matching articles.