Trace formulas for nuclear operators in spaces of Bochner integrable functions (Q387561): Difference between revisions

This paper deals with nuclear operators from \(L_{L^{2}(\nu)}^{p} (\Omega,\mathcal{M},\mu)\) into itself (for \(1<p<\infty);\) \(L_{L^{2}(\nu)} ^{p}(\Omega,\mathcal{M},\mu)\) is the Banach space of all Bochner measurable \(L^{2}(\nu)\)-valued functions on \(\Omega\) such that \(\left\| f(\cdot )\right\| _{L^{2}(\nu)}\in L^{p}(\Omega,\mathcal{M},\mu).\) Every such operator \(T\) has a kernel \(k(x,y)\) of the form \(\sum_{n=1}^{\infty}\left( h_{n}\otimes g_{n}\right) (x,y)\) with \(h_{n}\) in \(L_{L^{2}(\nu)}^{p} (\Omega,\mathcal{M},\mu)\) and \(g_{n}\) in \(L_{L^{2}(\nu)}^{q}(\Omega ,\mathcal{M},\mu)\). The trace of \(T\) is given by \(\text{trace} \,T=\int_{\Omega}\text{trace}(\sum_{n=1}^{\infty}\left( h_{n}\otimes g_{n}\right) (x,x)\,)d\mu(x)\). The main result of the paper under review provides a trace formula for general kernels by using an averaging process on the diagonal. This extends previous work by \textit{C. Brislawn} [Pac. J. Math. 150, No. 2, 229--240 (1991; Zbl 0724.47014)].