The four claims below show that has a bounded inverse and that the Cayley transform of a bounded accretive operator is contractive. For an arbitrary , write . Then
Taking the supremum over the unit ball gives
Expanding both squared norms gives
Both norms are nonnegative, so taking square roots proves .
A separate expansion gives
Hence . In particular is injective and bounded below by one.
By the definition of the adjoint operator and conjugate symmetry,
Taking real parts proves
The lower bound in (ii) makes the image of closed: if converges, the bound makes Cauchy; completeness gives its limit and hence a image preimage. The same bound applies to by (iii), so its kernel is zero. The orthogonal complement identity
shows that the image is dense, using the orthogonal decomposition by a closed subspace for its closure. Being both closed and dense, it equals . Thus is onto and bounded below, and by part 3(a)(iii) it has a bounded inverse. Moreover

Articles by others on the same topic (0)

There are currently no matching articles.