# Shift operator

In mathematics, and in particular functional analysis, the **shift operator** also known as **translation operator** is an operator that takes a function *x* ↦ *f*(*x*)
to its **translation** *x* ↦ *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.

## DefinitionEdit

### Functions of a real variableEdit

The shift operator *T*^{t} (*t* ∈ **R**) takes a function *f* on **R** to its translation *f*_{t} ,

A practical representation of the linear operator *T*^{t} in terms of the plain derivative ^{d}⁄_{dx} was introduced by Lagrange,

which may be interpreted operationally through its formal Taylor expansion in t; and whose action on the monomial *x*^{n} is evident by the binomial theorem, and hence on *all series in* x, and so all functions *f*(*x*) as above.^{[3]} This, then, is a formal encoding of the Taylor expansion.

The operator thus provides the prototype^{[4]}
for Lie's celebrated advective flow for Abelian groups,

where the canonical coordinates h (Abel functions) are defined, s.t.

For example, it easily follows that yields scaling,

- ,

hence (parity); likewise,
yields^{[5]}

- ,

yields

- ,

yields

- ,

etc.

The initial condition of the flow and the group property completely determine the entire Lie flow, providing a solution to the translation functional equation^{[6]}

### SequencesEdit

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

and on two-sided infinite sequences by

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

and on two-sided infinite sequences by

The right and left shift operators acting on two-sided infinite sequences are called * bilateral* shifts.

### Abelian groupsEdit

In general, as illustrated above, if *F* is a function on an abelian group *G*, and *h* is an element of *G*, the shift operator *T* ^{g} maps *F* to^{[6]}^{[7]}

## Properties of the shift operatorEdit

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 spacesEdit

The shift operator acting on two-sided sequences is a unitary operator on *ℓ*_{2}(**Z**). The shift operator acting on functions of a real variable is a unitary operator on *L*_{2}(**R**).

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

where *M*^{t} is the multiplication operator by exp(i *t* *x*). Therefore, the spectrum of *T*^{t} is the unit circle.

The one-sided shift *S* acting on *ℓ*_{2}(**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

where *y* is the vector in *ℓ*_{2}(**Z**) with *y*_{i} = *x*_{i} for *i* ≥ 0 and *y*_{i} = 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.

## GeneralisationEdit

Jean Delsarte introduced the notion of **generalised shift operator** (also called **generalised displacement operator**); it was further developed by Boris Levitan.^{[2]}^{[8]}^{[9]}

A family of operators {*L*^{x}}_{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:

- Associativity: let (
*R*^{y}*f*)(*x*) = (*L*^{x}*f*)(*y*). Then*L*^{x}*R*^{y}=*R*^{y}*L*^{x}( not clear why, as it looks more as a commutativity). - There exists
*e*∈*X*such that*L*^{e}is the identity operator.

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

## See alsoEdit

## NotesEdit

**^**Weisstein, Eric W. "Shift Operator".*MathWorld*.- ^
^{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. **^**Jordan, Charles, (1939/1965).*Calculus of Finite Differences*, (AMS Chelsea Publishing), ISBN 978-0828400336 .**^**M Hamermesh (1989),*Group Theory and Its Application to Physical Problems*(Dover Books on Physics), Hamermesh ISBM 978-0486661810 , Ch 8-6, pp 294-5 , online.**^**p 75 of Georg Scheffers (1891):*Sophus Lie, Vorlesungen Ueber Differentialgleichungen Mit Bekannten Infinitesimalen Transformationen*, Teubner, Leipzig, 1891. ISBN 978-3743343078 online- ^
^{a}^{b}Aczel, J (2006),*Lectures on Functional*Equations and Their Applications*(Dover Books on Mathematics, 2006), Ch. 6, ISBN 978-0486445236 .* **^**"A one-parameter continuous group is equivalent to a group of translations". M Hamermesh,*ibid*.**^**Levitan, B.M.; Litvinov, G.L. (2001) [1994], "Generalized displacement operators", in Hazewinkel, Michiel (ed.),*Encyclopedia of Mathematics*, Springer Science+Business Media B.V. / Kluwer Academic Publishers, ISBN 978-1-55608-010-4**^**Bredikhina, E.A. (2001) [1994], "Almost-periodic function", in Hazewinkel, Michiel (ed.),*Encyclopedia of Mathematics*, Springer Science+Business Media B.V. / Kluwer Academic Publishers, ISBN 978-1-55608-010-4

## BibliographyEdit

- Partington, Jonathan R. (March 15, 2004).
*Linear Operators and Linear Systems*. Cambridge University Press. doi:10.1017/cbo9780511616693. ISBN 978-0-521-83734-7. - Marvin Rosenblum and James Rovnyak,
*Hardy Classes and Operator Theory*, (1985) Oxford University Press.