Trace class

From Wikipedia, the free encyclopedia

In mathematics, a trace class operator is a compact operator for which a trace may be defined, such that the trace is finite and independent of the choice of basis. Trace class operators are essentially the same as nuclear operators, though many authors reserve the term "trace class operator" for the special case of nuclear operators on Hilbert spaces, and reserve nuclear (=trace class) operators for more general Banach spaces.

Definition

Mimicking the definition for matrices, a bounded linear operator A over a separable Hilbert space H is said to be in the trace class if for some (and hence all) orthonormal bases {e_k}_k of H the sum of positive terms

$\|A\|_{{1}}={{\rm {Tr}}}|A|:=\sum _{{k}}\langle (A^{*}A)^{{1/2}}\,e_{k},e_{k}\rangle$

is finite. In this case, the sum

${{\rm {Tr}}}A:=\sum _{{k}}\langle Ae_{k},e_{k}\rangle$

is absolutely convergent and is independent of the choice of the orthonormal basis. This value is called the trace of A. When H is finite-dimensional, every operator is trace class and this definition of trace of A coincides with the definition of the trace of a matrix.

By extension, if A is a non-negative self-adjoint operator, we can also define the trace of A as an extended real number by the possibly divergent sum

$\sum _{{k}}\langle Ae_{k},e_{k}\rangle .$

Properties

1.	If A is a non-negative self-adjoint, A is trace class if and only if Tr(A) < ∞. Therefore a self adjoint operator A is trace class if and only if its positive part A⁺ and negative part A⁻ are both trace class. (The positive and negative parts of a self adjoint operator are obtained via the continuous functional calculus.)
2.	The trace is a linear functional over the space of trace class operators, i.e. $\operatorname {Tr}(aA+bB)=a\,\operatorname {Tr}(A)+b\,\operatorname {Tr}(B).$ The bilinear map $\langle A,B\rangle =\operatorname {Tr}(A^{*}B)$ is an inner product on the trace class; the corresponding norm is called the Hilbert-Schmidt norm. The completion of the trace class operators in the Hilbert-Schmidt norm are called the Hilbert-Schmidt operators.
3.	If $A$ is bounded and $B$ is trace class, $AB$ and $BA$ are also trace class and ^[1] $\\|AB\\|_{1}=\operatorname {Tr}(\|AB\|)\leq \\|A\\|\\|B\\|_{1},\qquad \\|BA\\|_{1}=\operatorname {Tr}(\|BA\|)\leq \\|A\\|\\|B\\|_{1}$ besides, under the same hypothesis, $\operatorname {Tr}(AB)=\operatorname {Tr}(BA)$ The last assertion also holds under the weaker hypothesis that $A$ and $B$ are Hilbert Schmidt.
4.	If $A$ is trace class, then one can define the Fredholm determinant of $1+A$ ${{\rm {det}}}(I+A):=\prod _{{n\geq 1}}[1+\lambda _{n}(A)]$ for $\{\lambda _{n}(A)\}_{n}$ the elements of the spectrum of $A$ ; the trace class condition on $A$ guarantees that the infinite product is finite: indeed ${{\rm {det}}}(I+A)\leq e^{{\\|A\\|_{1}}};$ it also guarantees that ${{\rm {det}}}(I+A)\neq 0$ if and only if $(I+A)$ is invertible.

Lidskii's theorem

Let $A$ be a trace class operator in a separable Hilbert space $H$ , and let $\{\lambda _{n}(A)\}_{{n=1}}^{N},$ $N\leq \infty$ be the eigenvalues of $A$ . Let us assume that $\lambda _{n}(A)$ are enumerated with algebraic multiplicities taken into account (i.e. if the algebraic multiplicity of $\lambda$ is $k$ then $\lambda$ is repeated $k$ times in the list $\lambda _{1}(A),\lambda _{2}(A),\dots$ ). Lidskii's theorem (named after Victor Borisovich Lidskii) states that

$\sum _{{n=1}}^{N}\lambda _{n}(A)=\operatorname {Tr}(A).$

Note that the series in the left hand side converges absolutely due to Weyl's inequality

$\sum _{{n=1}}^{N}|\lambda _{n}(A)|\leq \sum _{{m=1}}^{M}s_{m}(A)$

between the eigenvalues $\{\lambda _{n}(A)\}_{{n=1}}^{N}$ and the singular values $\{s_{m}(A)\}_{{m=1}}^{M}$ of a compact operator $A$ . See e.g. ^[2]

Relationship between some classes of operators

One can view certain classes of bounded operators as noncommutative analogue of classical sequence spaces, with trace-class operators as the noncommutative analogue of the sequence space l¹(N). Indeed, applying the spectral theorem, every normal trace-class operator on a separable Hilbert space can be realized as a l¹ sequence. In the same vein, the bounded operators are noncommutative versions of l^∞(N), the compact operators that of c₀ (the sequences convergent to 0), Hilbert-Schmidt operators correspond to l²(N), and finite-rank operators the sequences that have only finitely many non-zero terms. To some extent, the relationships between these classes of operators are similar to the relationships between their commutative counterparts.

Recall that every compact operator T on a Hilbert space takes the following canonical form

$\forall h\in H,\;Th=\sum _{{i=1}}\alpha _{i}\langle h,v_{i}\rangle u_{i}\quad {\mbox{where}}\quad \alpha _{i}\geq 0\quad {\mbox{and}}\quad \alpha _{i}\rightarrow 0$

for some orthonormal bases {u_i} and {v_i}. Making the above heuristic comments more precise, we have that T is trace class if the series ∑_i α_i is convergent, T is Hilbert-Schmidt if ∑_i α_i² is convergent, and T is finite rank if the sequence {α_i} has only finitely many nonzero terms.

The above description allows one to obtain easily some facts that relate these classes of operators. For example, the following inclusions hold and they are all proper when H is infinite dimensional: {finite rank} ⊂ {trace class} ⊂ {Hilbert-Schmidt} ⊂ {compact}.

The trace-class operators are given the trace norm ||T||₁ = Tr [ (T*T)^½ ] = ∑_i α_i. The norm corresponding to the Hilbert-Schmidt inner product is ||T||₂ = (Tr T*T)^½ = (∑_iα_i²)^½. Also, the usual operator norm is ||T|| = sup_i(α_i). By classical inequalities regarding sequences,

$\|T\|\leq \|T\|_{2}\leq \|T\|_{1},$

for appropriate T.

It is also clear that finite-rank operators are dense in both trace-class and Hilbert-Schmidt in their respective norms.

Trace class as the dual of compact operators

The dual space of c₀ is l¹(N). Similarly, we have that the dual of compact operators, denoted by K(H)*, is the trace-class operators, denoted by C₁. The argument, which we now sketch, is reminiscent of that for the corresponding sequence spaces. Let f ∈ K(H)*, we identify f with the operator T_f defined by

$\langle T_{f}x,y\rangle =f(S_{{x,y}}),$

where S_x,y is the rank-one operator given by

$S_{{x,y}}(h)=\langle h,y\rangle x.$

This identification works because the finite-rank operators are norm-dense in K(H). In the event that T_f is a positive operator, for any orthonormal basis u_i, one has

$\sum _{i}\langle T_{f}u_{i},u_{i}\rangle =f(I)\leq \|f\|,$

where I is the identity operator

$I=\sum _{i}\langle \cdot ,u_{i}\rangle u_{i}.$

But this means T_f is trace-class. An appeal to polar decomposition extend this to the general case where T_f need not be positive.

A limiting argument via finite-rank operators shows that ||T_f ||₁ = || f ||. Thus K(H)* is isometrically isomorphic to C₁.

As the predual of bounded operators

Recall that the dual of l¹(N) is l^∞(N). In the present context, the dual of trace-class operators C₁ is the bounded operators B(H). More precisely, the set C₁ is a two-sided ideal in B(H). So given any operator T in B(H), we may define a continuous linear functional φ_T on $C_{1}$ by φ_T(A)=Tr(AT). This correspondence between elements φ_T of the dual space of $C_{1}$ and bounded linear operators is an isometric isomorphism. It follows that B(H) is the dual space of $C_{1}$ . This can be used to define the weak-* topology on B(H).

Notes

↑ M. Reed and B. Simon Functional Analysis, Exercises 27, 28 page 218
↑ Simon, B. (2005) Trace ideals and their applications, Second Edition, Amer. Math. Soc.

References

Dixmier, J. (1969). Les Algebres d'Operateurs dans l'Espace Hilbertien. Gauthier-Villars.

v t e Functional analysis

Local Notions on Sets	Absolutely convex Absorbing Balanced Bounded Cones (Linear, Convex cone) Convex Radial Star-shaped Symmetric

Types of TVSs	Banach Barrelled Bornological Brauner F-space Finite-dimensional Fréchet (Tame) Hilbert LF Locally convex Mackey Montel Nuclear Normed (Norm) Reflexive Riesz Smith Stereotype Topological tensor product (of Hilbert spaces) Webbed

Spaces of Maps	Dual space Dual topology Operator topologies Strong Topology (Polar, Operator) Topology of uniform convergence Weak topology (operator) Ultrastrong topology Ultraweak topology

Types of Linear operators	Adjoint Bilinear (form) Bounded (Unbounded) Closed Continuous (Discontinuous) Compact Fredholm Hilbert–Schmidt Functionals (Positive) Normal Nuclear Self-adjoint Strictly singular Trace class Transpose Unitary

Operations on Sets	Algebraic interior (core) Interior Minkowski addition Polar

Banach Algebras	C-algebras Spectrum (of a C-algebra, Spectral radius) Spectral theory

Important Theorems	Banach–Alaoglu Banach–Saks Banach–Mazur Bessel's inequality Cauchy–Schwarz inequality Closed range Closed graph Eberlein–Šmulian Freudenthal spectral Gelfand–Mazur Goldstine Hahn–Banach (Hyperplane separation) Kakutani fixed-point Lomonosov's Invariant Subspace Mackey–Arens Mazur's lemma M. Riesz extension Open mapping Parseval's identity Schauder fixed-point

Analysis	Bochner space Derivatives (Fréchet derivative, Gâteaux derivative, Functional, Holomorphy) Differentiation in Fréchet spaces Integrals (Bochner, Dunford, Gelfand–Pettis, Regulated, Weak) Functional calculus Inverse function theorem (Nash–Moser theorem) Vector measure

This article is issued from Wikipedia. The text is available under the Creative Commons Attribution/Share Alike; additional terms may apply for the media files.