On the nuclearity of integral operators (Q839543)

Let \(X\) be a nonempty measurable subset of \(\mathbb{R}^m\) and consider the restriction of the usual Lebesgue measure \(\sigma \) of \(\mathbb{R}^m\) to \(X\). Under the assumption that the intersection of \(X\) with every open ball of \(\mathbb{R}^m\) has positive measure, the authors find necessary and sufficient conditions on a \(L ^{2}(X)\)-positive definite kernel \(K : X \times X \rightarrow \mathbb{C}\) in order that the associated integral operator \(\mathcal {K} : L^2(X) \rightarrow L^2(X)\) be nuclear. Taken nuclearity for granted, formulas for the trace of the operator are derived. Some of the results are re-analyzed when \(K\) is just an element of \(L^2(X \times X)\). This problem has been studied by many authors in a variety of contexts. The most studied cases are those in which \(X\) is compact and \(K\) is at least continuous, emphasis being given to the case when \(X\) is a finite interval. Generalizations to infinite intervals can be found in [\textit{J. A. Canavati}, J. Math. Anal. Appl. 192, No. 3, 942--955 (1995; Zbl 0830.47021)] and references therein. Some recent results in the case when \(X\) is the whole line can be found in [\textit{J. Buescu}, J. Math. Anal. Appl. 296, No. 1, 244--255 (2004; Zbl 1068.47060)]. The \(L ^{2}(X)\)-positive definiteness of the kernel is an additional requirement usually added to the context.