World Library  
Flag as Inappropriate
Email this Article

Nuclear operator

Article Id: WHEBN0002702319
Reproduction Date:

Title: Nuclear operator  
Author: World Heritage Encyclopedia
Language: English
Subject: Nuclear space, Fredholm kernel, Compact operator, Functional analysis, Topological vector space
Collection: Operator Theory
Publisher: World Heritage Encyclopedia
Publication
Date:
 

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 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.

Contents

  • Compact operator 1
  • Properties 2
  • On Banach spaces 3
  • References 4

Compact operator

An operator \mathcal{L} on a Hilbert space \mathcal{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 \le N \le \infty and f_1,\ldots,f_N and g_1,\ldots,g_N are (not necessarily complete) orthonormal sets. Here, \rho_1,\ldots,\rho_N are a set of real numbers, the singular values of the operator, obeying \rho_n \to 0 if N = \infty. 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. Then 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 \le 1, functionals \{f^*_n\} \in A' with \Vert f^*_n \Vert \le 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.

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

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.

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 fn* bounded by 1 on some fixed neighborhood of 0.

References

  • 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), "Nuclear operator", in Hazewinkel, Michiel,  
This article was sourced from Creative Commons Attribution-ShareAlike License; additional terms may apply. World Heritage Encyclopedia content is assembled from numerous content providers, Open Access Publishing, and in compliance with The Fair Access to Science and Technology Research Act (FASTR), Wikimedia Foundation, Inc., Public Library of Science, The Encyclopedia of Life, Open Book Publishers (OBP), PubMed, U.S. National Library of Medicine, National Center for Biotechnology Information, U.S. National Library of Medicine, National Institutes of Health (NIH), U.S. Department of Health & Human Services, and USA.gov, which sources content from all federal, state, local, tribal, and territorial government publication portals (.gov, .mil, .edu). Funding for USA.gov and content contributors is made possible from the U.S. Congress, E-Government Act of 2002.
 
Crowd sourced content that is contributed to World Heritage Encyclopedia is peer reviewed and edited by our editorial staff to ensure quality scholarly research articles.
 
By using this site, you agree to the Terms of Use and Privacy Policy. World Heritage Encyclopedia™ is a registered trademark of the World Public Library Association, a non-profit organization.
 


Copyright © World Library Foundation. All rights reserved. eBooks from Project Gutenberg are sponsored by the World Library Foundation,
a 501c(4) Member's Support Non-Profit Organization, and is NOT affiliated with any governmental agency or department.