Shift operator

From Wikipedia, the free encyclopedia
Jump to: navigation, search
This article is about shift operators in mathematics. For operators in computer programming languages, see Bitwise operation#Bit shifts.

In mathematics, and in particular functional analysis, the shift operator or translation operator is an operator that takes a function f(x) to its translation f(x+a).[1] In time series analysis, the shift operator is called the lag operator.

Shift operators are examples of linear operators, important for their simplicity and natural occurrence. The shift operator action on functions of a real variable plays an important role in harmonic analysis, for example, it appears in the definitions of almost periodic functions, positive definite functions, and convolution.[2] Shifts of sequences (functions of an integer variable) appear in diverse areas such as Hardy spaces, the theory of abelian varieties, and the theory of symbolic dynamics, for which the baker's map is an explicit representation.

Definition[edit]

Functions of a real variable[edit]

The shift operator Tt (t ∈ R) takes a function f on R to its translation ft,

 f_t(x) = f(x+t)~.

A practical representation of the linear operator Tt in terms of the plain derivative ddx was introduced by Lagrange,

T^t= e^{t \frac{d}{dx}}~,

which may be interpreted operationally through its formal Taylor expansion in t; and whose action on the monomial xn is evident by the binomial theorem, and thus on all series in x.[3]

Sequences[edit]

The left shift operator acts on one-sided infinite sequence of numbers by

 S^*: (a_1, a_2, a_3, \ldots) \mapsto (a_2, a_3, a_4, \ldots)

and on two-sided infinite sequences by

 T: (a_k)_{k=-\infty}^\infty \mapsto (a_{k+1})_{k=-\infty}^\infty.

The right shift operator acts on one-sided infinite sequence of numbers by

 S: (a_1, a_2, a_3, \ldots) \mapsto (0, a_1, a_2, \ldots)

and on two-sided infinite sequences by

 T^{-1}:(a_k)_{k=-\infty}^\infty \mapsto (a_{k-1})_{k=-\infty}^\infty.

Abelian groups[edit]

In general, if f is a function on an Abelian group G, and g is an element of G, the shift operator Tg maps f to

 f_g(h) = f(g+h).[4]

Properties of the shift operator[edit]

The shift operator acting on real- or complex-valued functions or sequences is a linear operator which preserves most of the standard norms which appear in functional analysis. Therefore it is usually a continuous operator with norm one.

Action on Hilbert spaces[edit]

The shift operator acting on two-sided sequences is a unitary operator on l2(Z). The shift operator acting on functions of a real variable is a unitary operator on L2(R).

In both cases, the (left) shift operator satisfies the following commutation relation with the Fourier transform:

 \mathcal{F} T^t = M^t \mathcal{F},

where Mt is the multiplication operator by exp(i t x). Therefore the spectrum of Tt is the unit circle.

The one-sided shift S acting on l2(N) is a proper isometry with range equal to all vectors which vanish in the first coordinate. The operator S is a compression of T−1, in the sense that

T^{-1}y=Sx \text{ for each } x \in \ell^2(\mathbb{N}),\,

where y is the vector in l2(Z) with yi = xi for i ≥ 0 and yi = 0 for i < 0. This observation is at the heart of the construction of many unitary dilations of isometries.

The spectrum of S is the unit disk. The shift S is one example of a Fredholm operator; it has Fredholm index −1.

Generalisation[edit]

Jean Delsarte introduced the notion of generalised shift operator (also called generalised displacement operator); it was further developed by Boris Levitan.[2][5][6]

A family of operators {Lx}x ∈ X acting on a space Φ of functions from a set X to C is called a family of generalised shift operators if the following properties hold:

  1. Associativity: let (Ryf)(x) = (Lxf)(y). Then LxRy = RyLx.
  2. There exists e ∈ X such that Le is the identity operator.

In this case, the set X is called a hypergroup.

See also[edit]

Notes[edit]

  1. ^ Weisstein, Eric W., "Shift Operator", MathWorld.
  2. ^ a b Marchenko, V. A. (2006). "The generalized shift, transformation operators, and inverse problems". Mathematical events of the twentieth century. Berlin: Springer. pp. 145–162. doi:10.1007/3-540-29462-7_8. MR 2182783. 
  3. ^ Jordan, Charles, (1939/1965). "Calculus of Finite Differences", Chelsea Publishing.
  4. ^ Millionshchikov, V.M. (2001), "S/s084900", in Hazewinkel, Michiel, Encyclopedia of Mathematics, Springer, ISBN 978-1-55608-010-4 
  5. ^ Levitan, B.M.; Litvinov, G.L. (2001), "Generalized displacement operators", in Hazewinkel, Michiel, Encyclopedia of Mathematics, Springer, ISBN 978-1-55608-010-4 
  6. ^ Bredikhina, E.A. (2001), "Almost-periodic function", in Hazewinkel, Michiel, Encyclopedia of Mathematics, Springer, ISBN 978-1-55608-010-4 

Bibliography[edit]

  • Jonathan R. Partington, Linear Operators and Linear Systems, An Analytical Approach to Control Theory, (2004) London Mathematical Society Student Texts 60, Cambridge University Press.
  • Marvin Rosenblum and James Rovnyak, Hardy Classes and Operator Theory, (1985) Oxford University Press.