An operator on a complex Hilbert space is accretive when the displayed inequality holds throughout its domain. Its negative is a dissipative operator. For a bounded everywhere-defined operator, expansion gives . Its adjoint operator satisfies the same accretivity condition. Consequently has closed range and trivial kernel, and its range is dense because its adjoint has trivial kernel. Thus is onto and . Boundedness and the full domain are material here; for unbounded operators accretivity alone need not imply surjectivity.
New to topics? Read the docs here!