Resolvent spectral mapping identity

ID: resolvent-spectral-mapping-identity

For a closed linear operator and in its resolvent, the displayed identity follows by factoring for . Its inverse exists exactly when has a bounded inverse. Products involving are bounded after composing with a resolvent, since . Zero may be in the bounded resolvent's spectrum when is unbounded.

New to topics? Read the docs here!