Let $k$ be a smooth, compactly supported function defined on $\mathbb{R}^{2}$ and let $Op(k)$ denote the integral operator on $L^{2}(\mathbb{R})$ defined as $$Op(k)f(\cdot)=\int\_{\mathbb{R}}k(y,\cdot)f(y)dy,\quad f\in L^{2}(\mathbb{R}).$$ It is known that such an operator is not only bounded, but also it is Hilbert-Schmidt, and clearly, it is in any Schatten Class $S\_{p}$ for any $p\geq 2$. 


I am sure that I have also seen somewhere that such an operator is trace-class however I cannot find a reference to this anywhere, nor can I prove it. At some point in my proof, which uses polynomials restrited to the $supp(k)$, I get stuck and cannot go forward. I have also tried adapting the proof in P. Lax's book on Functional analysis, but I cannot make it work. 


Can someone point me in the right direction with either a reference or a proof of this fact?



Trace-class properties of integral operator
$k$ being compactly generated, you can as well assume that $k$ is a smooth function defined on $\mathbb{T}^2$ and $Op(k)$ acts on $L^2(\mathbb T)$ (for $\mathbb{T} = \mathbb R/\mathbb Z$ the unit circle). Then $k$ being smooth, its Fourier coefficients are summable. So writing $k(y,x) = \sum\_{n,m \in \mathbb Z} \hat k(n,m) e^{2i\pi (nx+my)}$ you see that $Op(k) = \sum\_{n,m \in \mathbb Z} \hat k(n,m) Op(e^{2i\pi (nx+my)})$, where $Op(e^{2i\pi (nx+my)})$ has rank $1$ and norm $1$. This implies that $Op(k)$ is trace class with norm bounded by $\sum\_{n,m} |\hat k(n,m)|$.


