The spectral theorem (Q1820409)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | The spectral theorem |
scientific article |
Statements
The spectral theorem (English)
0 references
1986
0 references
Chapter 1 contains the author's approach to the construction of the multiplicity function of a spectral measure in Hilbert space H. It is based on the notion of range function and has a more geometric character than e.g. those of Stone and Halmos, at least if H is separable. The spectral theorem itself is usually proved in the ''versions'': (a) for bounded self-adjoint operators, (b) for unitary operators V and the set of their iterates \(V^ n\) \((n=0,\pm 1,...)\), (c) for one (or more) parameter, groups \(V_ t\) (t\(\in {\mathbb{R}})\) of unitaries, (d) for possibly unbounded self-adjoint or normal operators. Most expositions are proceeding this way, while, in Chapter 2, the author prefers to start with (c), i.e., Stone's theorem. Namely, he reduces the study of the (continuous) group \(V_ t\) of unitaries, by the formula \[ \tau (f)=\int^{\infty}_{-\infty}f(t)V_ tdt\quad (f\in L^ 1({\mathbb{R}})), \] to the study of the operator representation \(f\mapsto \tau (f)\) of the (convolution) algebra \(L^ 1({\mathbb{R}})\). (Thereby, he kindly gives a - non fully deserved - credit to the book of Riesz-Sz. Nagy.) It follows, in Chapter 3, Bochner's theorem in its two versions: positive definiteness of the functions being defined for discrete sums or for integrals, respectively. (For the integral version right credit is given to the [Acta Litt. Sci. Szeged 6, 184-198 (1933; Zbl 0007.30903)] paper of \textit{F. Riesz} on Stone's and Bochner's theorems.) The two (rather different) versions are proved here by means of the same ideas. Chapters 4 and 5 deal with cocycles, an area in which the author has obtained particularly interesting results; see e.g. his paper in J. Lond. Math. Soc., II. Ser. 31, 473-477 (1985; Zbl 0603.28019). It was H. Weyl who, dealing with the Heisenberg-Schrödinger commutation relation in quantum mechanics, was lead to the commutation relation \(S_ uV_ t=e^{iut}V_ tS_ u\) (u,t\(\in {\mathbb{R}})\) for two continuous one parameter groups \(V_ t\) and \(S_ u\) of unitaries on H. Stone conjectured, and \textit{J. v. Neumann} proved in Math. Ann. 104, 570-578 (1931; Zbl 0001.24703), that if the system of operators \(\{V_ t,S_ u\}\) in H is jointly irreducible, then there exists an isomorphism of H onto \(L^ 2({\mathbb{R}})\) that carries this system to the Schrödinger system \(\{V_ t',S_ u'\}\), where \[ (S_ u'f)(x)=f(x+u),\quad (V_ t'f)(x)=e^{itx}f(x),\quad f\in L^ 2({\mathbb{R}}). \] This theorem inspired essential further investigations; recall in particular G. W. Mackey's ''systems of imprimitivity''. The concepts of ''cocycles'', ''coboundaries'', and their applications, developed mainly by the author, also originate from these studies. One of the most interesting facts discovered and exploited in the book is the relation, through these concepts, of the Stone-von Neumann theorem and the theorem of Beurling on invariant subspaces in the Hardy-Hilbert space, of the unilateral shift operator f(x)\(\mapsto zf(z)\).
0 references
Weyl commutation relation
0 references
construction of the multiplicity function of a spectral measure in Hilbert space
0 references
range function
0 references
operator representation
0 references
Bochner's theorem
0 references
positive definiteness
0 references
cocycles
0 references
Stone-von Neumann theorem
0 references
invariant subspaces in the Hardy-Hilbert space
0 references