What does $L^\infty_\varepsilon$ mean?

Question

In Volume 4 of Reed and Simon on page 83 the authors refer to the space $(L^\infty(\mathbb{R}^3))_\varepsilon$,

and later on page 119 they use $L^\\infty_\varepsilon$. Are these two spaces the same? Is that the set of functions $f$ such that $(1+|x|^2)^{\varepsilon/2} f \in L^\infty$?

Thanks for any help -- I really tried looking this up for a while and turned up nothing, and it didn't seem to be in the index!

PS Just to motivate the question, Theorem XIII.15 of that book says (among other things), that if $V \in L^\infty_\varepsilon$, then the essential spectrum of $-\Delta + V$ is $[0,\infty)$.

Answer 1

I still haven't found the definition of this notation in the books, but I think $f \in L^\infty_\varepsilon$ means that $f \in L^\infty$ and that for every $\varepsilon > 0$ there exists $R$ such that $|x| > R$ implies $|f(x)| < \varepsilon$ (almost everywhere of course).

Then you can prove the application I mentioned by using the Rellich compactness theorem (for example in the version of http://www.math.umbc.edu/~aa5/articles/rellich.pdf -- you need a version for noncompactly supported functions) to show that $V$ is a relatively compact perturbation of $-\Delta$ (in the sense that $V(-\Delta - i)^{-1}$ is compact). Then the statement about essential spectrum can be proved by using the analytic Fredholm theorem to show that $\textrm{Id} + V(-\Delta - z)^{-1}$ is invertible off of a discrete subset of $\mathbb{C} \setminus [0,\infty)$, allowing one to put $(-\Delta + V - z)^{-1} = (-\Delta - z)^{-1}(\textrm{Id} + V(-\Delta - z)^{-1})^{-1}$.