Nuclear operator

In mathematics, a nuclear 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 (at least on well behaved spaces; there are some spaces on which nuclear operators do not have a trace). Nuclear operators are essentially the same as trace class operators, though most authors reserve the term "trace class operator" for the special case of nuclear operators on Hilbert spaces.

The general definition for Banach spaces was given by Grothendieck. This article presents both cases but concentrates on the general case of nuclear operators on Banach spaces; for more details about the important special case of nuclear (= trace class) operators on Hilbert space see the article on trace class operators.

Compact operator

An operator L on a Hilbert space H

{\mathcal {L}}:{\mathcal {H}}\to {\mathcal {H}}

is compact if it can be written in the form

{\mathcal {L}}=\sum _{{n=1}}^{N}\rho _{n}\langle f_{n},\cdot \rangle g_{n}

where 1 ≤ $N$ ≤ ∞ and $f_{1},\ldots ,f_{N}$ and $g_{1},\ldots ,g_{N}$ are (not necessarily complete) orthonormal sets. Here, $ρ 1, ... ,ρ N$ are a set of real numbers, the singular values of the operator, obeying $ρ n$ → 0 if $N$ = ∞.

The bracket $\langle \cdot ,\cdot \rangle$ is the scalar product on the Hilbert space; the sum on the right hand side must converge in norm.

An operator that is compact as defined above is said to be nuclear or trace-class if

\sum _{n=1}^{\infty }|\rho _{n}|<\infty ~.

Properties

A nuclear operator on a Hilbert space has the important property that a trace operation may be defined. Given an orthonormal basis $\{\psi _{n}\}$ for the Hilbert space, the trace is defined as

{\mbox{Tr}}{\mathcal {L}}=\sum _{n}\langle \psi _{n},{\mathcal {L}}\psi _{n}\rangle

.

It is immediate the sum converges absolutely, and it can be proven that the result is independent of the basis. It can be shown that this trace is identical to the sum of the eigenvalues of ${\mathcal {L}}$ (counted with multiplicity).

On Banach spaces

See main article Fredholm kernel.

The definition of trace-class operator was extended to Banach spaces by Alexander Grothendieck in 1955.

Let A and B be Banach spaces, and A' be the dual of A, that is, the set of all continuous or (equivalently) bounded linear functionals on A with the usual norm. There is a canonical evaluation map

A'\otimes B\to Hom(A,B)

(from the projective tensor product of A' and B to the Banach space of continuous linear maps from A to B). It is determined by sending $f\in A'$ and $b\in B$ to the linear map $a\mapsto f(a)\cdot b$ . An operator ${\mathcal {L}}\in Hom(A,B)$ is called nuclear if it is in the image of this evaluation map.^[1]

q-nuclear operators

An operator

{\mathcal {L}}:A\to B

is said to be nuclear of order $q$ if there exist sequences of vectors $\{g_{n}\}\in B$ with $\Vert g_{n}\Vert \leq 1$ , functionals $\{f_{n}^{*}\}\in A'$ with $\Vert f_{n}^{*}\Vert \leq 1$ and complex numbers $\{\rho _{n}\}$ with

\sum_n |\rho_n|^q < \infty,

such that the operator may be written as

{\mathcal {L}}=\sum _{n}\rho _{n}f_{n}^{*}(\cdot )g_{n}

with the sum converging in the operator norm.

Operators that are nuclear of order 1 are called nuclear operators: these are the ones for which the series ∑ρ_n is absolutely convergent. Nuclear operators of order 2 are called Hilbert–Schmidt operators.

Relation to trace class operators

With additional steps, a trace may be defined for such operators when $A = B$ .

Generalizations

More generally, an operator from a locally convex topological vector space $A$ to a Banach space $B$ is called nuclear if it satisfies the condition above with all $f n *$ bounded by 1 on some fixed neighborhood of 0.

An extension of the concept of nuclear maps to arbitrary monoidal categories is given by Stolz & Teichner (2012). A monoidal category can be thought of as a category equipped with a suitable notion of a tensor product. An example of a monoidal category is the category of Banach spaces or alternatively the category of locally convex, complete, Hausdorff spaces; both equipped with the projective tensor product. A map $f:A\to B$ in a monoidal category is called thick if it can be written as a composition

A\cong I\otimes A{\stackrel {t\otimes id_{A}}{\longrightarrow }}B\otimes C\otimes A{\stackrel {id_{B}\otimes s}{\longrightarrow }}B\otimes I\cong B

for an appropriate object C and maps $t:I\to B\otimes C,s:C\otimes A\to I$ , where I is the monoidal unit.

In the monoidal category of Banach spaces, equipped with the projective tensor product, a map is thick if and only if it is nuclear.^[2]

References

↑ Schaefer & Wolff (1999, Chapter III, §7)
↑ Stolz & Teichner (2012, Theorem 4.26)

A. Grothendieck (1955), Produits tensoriels topologiques et espace nucléaires,Mem. Am. Math.Soc. 16. MR 0075539
A. Grothendieck (1956), La theorie de Fredholm, Bull. Soc. Math. France, 84:319–384. MR 0088665
A. Hinrichs and A. Pietsch (2010), p-nuclear operators in the sense of Grothendieck, Mathematische Nachrichen 283: 232–261. doi:10.1002/mana.200910128 MR 2604120
G. L. Litvinov (2001) [1994], "Nuclear operator", in Hazewinkel, Michiel, Encyclopedia of Mathematics, Springer Science+Business Media B.V. / Kluwer Academic Publishers, ISBN 978-1-55608-010-4
Schaefer, H. H.; Wolff, M. P. (1999), Topological vector spaces, Graduate Texts in Mathematics, 3 (2 ed.), Springer, doi:10.1007/978-1-4612-1468-7, ISBN 0-387-98726-6
Stolz, Stephan; Teichner, Peter (2012), "Traces in monoidal categories", Transactions of the American Mathematical Society, 364 (8): 4425–4464, arXiv:1010.4527, doi:10.1090/S0002-9947-2012-05615-7, MR 2912459

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.

[1] Schaefer & Wolff (1999, Chapter III, §7)

[2] Stolz & Teichner (2012, Theorem 4.26)

Functional analysis (topics)
TVS types	Banach Banach Lattice Barrelled Bornological Brauner F-space Finite-dimensional Fréchet (tame) Hilbert (pre-Hilbert Polarization identity) LF-space Locally convex (Seminorms/Minkowski functionals) Mackey Montel Nuclear Normed (norm) Quasinormed Reflexive Riesz Smith Stereotype Strictly convex Webbed Topological tensor product (of Hilbert spaces)
Mapping topologies	Dual Dual space (Dual norm) Operator Ultraweak Weak (polar operator) Mackey Strong (polar operator) Ultrastrong Uniform convergence
Linear operators	Adjoint Bilinear (form operator sesquilinear) (Un)Bounded Closed Compact (Dis)Continuous Densely defined Fredholm Hilbert–Schmidt Functionals (positive) Normal Nuclear Self-adjoint Strictly singular Trace class Transpose Unitary
Operator theory	Banach algebras C-algebras Spectrum (C-algebra radius) Spectral theory (of ODEs Spectral theorem) Polar decomposition Singular value decomposition
Theorems	Banach–Alaoglu Banach–Mazur Banach–Saks Bessel's inequality Cauchy–Schwarz inequality Closed graph Closed range Eberlein–Šmulian Freudenthal spectral Gelfand–Mazur Gelfand–Naimark Goldstine Hahn–Banach (hyperplane separation) Kakutani fixed-point Krein–Milman Lomonosov's invariant subspace Mackey–Arens Mazur's lemma M. Riesz extension Riesz representation Open mapping Parseval's identity Schauder fixed-point
Analysis	Abstract Wiener space Bochner space Differentiation in Fréchet spaces Derivatives (Fréchet Gâteaux functional holomorphic) Integrals (Bochner Dunford Gelfand–Pettis regulated Paley–Wiener weak) Functional calculus (Borel continuous holomorphic) Inverse function theorem (Nash–Moser theorem) Measures (Lebesgue Projection-valued Vector) Weakly measurable function
Types of sets	Absolutely convex Absorbing Balanced Bounded Convex Convex cone (subset) Linear cone (subset) Radial Star-shaped Symmetric Zonotope
Subsets / set operations	Algebraic interior (core) Bounding points Convex hull Extreme point Interior Minkowski addition Polar