Bilateral shift operator Created 2026-10-03 Updated 2026-10-31
The bilateral shift is unitary. It has empty point spectrum, while its approximate point spectrum is the unit circle. For , normalized vectors with entries on an interval of length fail to satisfy only at the two endpoints, giving residual norm .
It is the two-sided sequence case of a shift operator.
The spectrum of a bounded operator consists of for which has no bounded two-sided inverse. The point spectrum consists of eigenvalues, so . The approximate point spectrum consists of admitting unit vectors with ; equivalently is not bounded below.
If is invertible, its inverse bounds it below and its Banach-space adjoint is invertible. Thus neither alternative on the right of the claimed union occurs. Conversely suppose belongs to neither term and write . There is with , so is injective and has closed range: convergence of makes Cauchy, and completeness supplies a preimage of its limit. Also . The allowed annihilator identity makes the range dense, hence equal to . Its inverse has norm at most . This proves the spectrum decomposition through the Banach-space adjoint:
For the right shift on , , so the allowed norm bound puts its spectrum in the closed unit disc. Under the linear pairing with , its Banach-space adjoint is the left shift . For each the bounded nonzero sequence is an eigenvector of with eigenvalue . The union identity gives the reverse inclusion. Hence . This Banach-space adjoint uses the complex-linear dual, so its eigenvalue is itself.
The spectrum of a bounded operator is . Initially define on finite linear combinations of the orthonormal basis. The bilateral shift operator preserves the Hilbert space norm and extends to a unitary operator on ; its inverse is . Thus extends uniquely by density, is bounded with norm at most two, and is self-adjoint.
For , and the only nonzero coefficients of occur at . Hence
It follows that , proving . Also : a bounded inverse of would give . Thus two belongs to the approximate point spectrum.
An eigenvector would satisfy . Self-adjointness and the norm bound force . If , write with ; the general complex solution of the linear recurrence relation is
The Cesàro mean of over tends to , since the mixed geometric sum divided by tends to zero. For an sequence the same mean tends to zero. Therefore . At , the general solution is , again square summable only when zero. This also covers through . Thus .
Finally the bounded sequence has images with pairwise disjoint supports. Distinct images have distance two, so no subsequence converges. Hence .
For ,
The map defined by satisfies , so is a surjective isometry and hence a unitary operator.
If , then
For , this gives for every integer . When the positive tail is not square summable, when the negative tail is not square summable, and when neither tail is square summable unless . The case also forces every coordinate to vanish. Thus
The reverse triangle inequality gives, for every ,
Hence is bounded below whenever , so such do not belong to the approximate point spectrum.
Now let and define the unit vector
The equation fails only at the two endpoints, so
Therefore the bilateral shift operator has
For a bounded linear operator on a complex Banach space, either a spectral scalar has approximate unit eigenvectors or it is an eigenvalue of the Banach-space adjoint. Indeed outside the approximate point spectrum, is bounded below, hence injective with closed range. If the adjoint has no zero vector in its kernel other than zero, the Hahn-Banach theorem makes the range dense: any proper closed range would have a nonzero continuous functional annihilating it. Thus the range is all of the space and the lower bound gives a bounded inverse. Conversely invertibility rules out both alternatives. With complex-linear duals there is no conjugation of in the displayed formula; Hilbert-adjoint conventions must be distinguished.