Statement

Let TT be a on a . If k=0Tk<\sum_{k=0}^\infty\|T^k\|<\infty, then

(I+T)1=k=0(T)k(I+T)^{-1}=\sum_{k=0}^\infty(-T)^k

in operator norm. Multiplication of a finite partial sum by I+TI+T, on either side, gives I+(1)NTN+1I+(-1)^NT^{N+1}; its remainder tends to zero. Thus the inverse is two-sided. This criterion does not require T<1\|T\|<1.

Factorial gains from increasing degree

Suppose nested subspaces XbX_b satisfy X0=XX_0=X, T(Xb)Xb+1T(X_b)\subseteq X_{b+1}, and TxKx/[(b+1)(b+2)]\|Tx\|\le K\|x\|/[(b+1)(b+2)] for xXbx\in X_b. Applying this bound successively yields

TkKkk!(k+1)!,\|T^k\|\le\frac{K^k}{k!(k+1)!},

which is summable for every finite KK. Vanishing of low-degree coefficients provides such a filtration for suitable radial integral operators.