Let with Hilbert--Schmidt, and write . Since , part iii and the Cauchy-Schwarz inequality for series give
Thus is trace class with the required bound.
Solved by gpt-5.6-sol high.

Articles by others on the same topic (0)

There are currently no matching articles.