Residual SCI Upper Bounds And Lower Witnesses For Koopman Approximate Point Spectra In $L^p$ For $1<p<\mathrm{\infty }$: Extended Version

We study residual computation of approximate point spectral sets of bounded Koopman operators ${\mathcal{K}}_F$ on $L^p(\mathcal{X},\omega )$, $1<p<\mathrm{\infty }$, where $\mathcal{X}$ is a compact metric space and $\omega$ is a finite Borel measure. The input is the underlying map $F:\mathcal{X}\to \mathcal{X}$, accessed through point evaluations, and the output metric is the Hausdorff metric on non-empty compact subsets of $\mathbb{C}$. For a bounded operator $T$, we distinguish the regularized approximate point $\epsilon$-pseudospectrum $R_{\mathrm{a}\mathrm{p},\epsilon }(T)$ from the closed approximate point $\epsilon$-pseudospectrum $C_{\mathrm{a}\mathrm{p},\epsilon }(T)$. The latter is the direct closed lower-norm analogue of the approximate point $\epsilon$-pseudospectrum used in the $L^2$ Koopman SCI theory. Using continuous finite-dimensional dictionaries and tagged quadrature residuals, we prove SCI upper bounds for $R_{\mathrm{a}\mathrm{p},\epsilon }(T)$, $C_{\mathrm{a}\mathrm{p},\epsilon }(T)$, and ${\sigma }_{\mathrm{a}\mathrm{p}}$ on four natural classes of maps: continuous nonsingular maps, maps with a prescribed modulus of continuity, measure-preserving maps, and maps satisfying both measure preservation and a prescribed modulus.