| dbp:mathStatement
|
- For every real number let be defined by the Titchmarsh–Kodaira formula:
Then is a lower semicontinuous non-decreasing function of and if
then defines a unitary transformation of onto such that corresponds to multiplication by .
The inverse transformation is given by
The spectrum of equals the support of . (en)
|