On the nuclearity of integral operators

Let X be a nonempty measurable subset of and consider the restriction of the usual Lebesgue measure σ of to X. Under the assumption that the intersection of X with every open ball of has positive measure, we find necessary and sufficient conditions on a L²(X)-positive definite kernel in order that the associated integral operator 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 .