Shift Operator

In mathematics, and in particular functional analysis, the shift operator, also known as the translation operator, is an Operator (mathematics), operator that takes a Function (mathematics), function
to its translation . 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 Function of a real variable, functions of a real variable plays an important role in harmonic analysis, for example, it appears in the definitions of almost periodic function#Uniform or Bohr or Bochner almost periodic functions, almost periodic functions, positive-definite functions, derivatives, and convolution. Shifts of sequences (functions of an integer variable) appear in diverse areas such as Hardy spaces, the theory of abelian variety, abelian varieties, and the theory of symbolic dynamics, for which the baker's map is an explicit representation. The notion of triangulated category is a categorification , categorified analogue of the shift operator.

Definition

Functions of a real variable

The shift operator (where ) takes a function on to its translation ,
: $T^t f(x) = f_t(x) = f(x+t)~.$

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

which may be interpreted operationally through its formal Taylor expansion in ; and whose action on the monomial is evident by the binomial theorem, and hence on ''all series in'' , and so all functions as above. This, then, is a formal encoding of the Taylor expansion in Heaviside's calculus.

The operator thus provides the prototype
for Lie's celebrated Iterated function#Lie's data transport equation, advective flow for Abelian groups,
:$\exp\left(t \beta(x) \frac\right) f(x) = \exp\left(t \frac\right) F(h) = F(h+t) = f\left(h^(h(x)+t)\right),$
where the canonical coordinates (Abel equation, Abel functions) are defined such that
:$h'(x)\equiv \frac 1 ~, \qquad f(x)\equiv F(h(x)).$

For example, it easily follows that $\beta (x)=x$ yields scaling,
:$\exp\left(t x \frac\right) f(x) = f(e^t x) ,$
hence $\exp\left(i\pi x \tfrac\right) f(x) = f(-x)$ (parity); likewise,
$\beta (x)=x^2$ yields
:$\exp\left(t x^2 \frac\right) f(x) = f \left(\frac\right),$

$\beta (x)= \tfrac$ yields
:$\exp\left(\frac \frac\right) f(x) = f \left(\sqrt \right) ,$

$\beta (x)=e^x$ yields
:$\exp\left (t e^x \frac d \right ) f(x) = f\left (\ln \left (\frac \right ) \right ) ,$
etc.

The initial condition of the flow and the group property completely determine the entire Lie flow, providing a solution to the translation functional equationAczel, J (2006), ''Lectures on Functional Equations and Their Applications'' (Dover Books on Mathematics, 2006), Ch. 6, .
:$f_t(f_\tau (x))=f_ (x) .$

Sequences

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)_^\infty \mapsto (a_)_^\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^:(a_k)_^\infty \mapsto (a_)_^\infty.$

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

Abelian groups

In general, as illustrated above, if is a function on an abelian group , and is an element of , the shift operator maps to
:$F_g(h) = F(h+g).$

Properties of the shift operator

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

Action on Hilbert spaces

The shift operator acting on two-sided sequences is a unitary operator on The shift operator acting on functions of a real variable is a unitary operator on

In both cases, the (left) shift operator satisfies the following commutation relation with the Fourier transform:
$\mathcal T^t = M^t \mathcal,$
where is the multiplication operator by . Therefore, the spectrum of is the unit circle.

The one-sided shift acting on is a proper isometry with range of a function, range equal to all Vector (geometric), vectors which vanish in the first coordinate. The operator is a compression (functional analysis), compression of , in the sense that
$T^y = Sx \text x \in \ell^2(\N),$
where is the vector in with for and for . This observation is at the heart of the construction of many unitary dilations of isometries.

The Spectrum (functional analysis), spectrum of is the unit disk. The shift is one example of a Fredholm operator; it has Fredholm index −1.

Generalization

Jean Delsarte introduced the notion of generalized shift operator (also called generalized displacement operator); it was further developed by Boris Levitan.

A family of operators acting on a space of functions from a set to is called a family of generalized shift operators if the following properties hold:
# Associative property, Associativity: let $(R^y f)(x) = (L^x f)(y).$ Then $L^x R^y = R^y L^x.$
# There exists in such that is the Identity function, identity operator.
In this case, the set is called a hypergroup.

See also

*Arithmetic shift
*Logical shift
*Clock and shift matrices
*Finite difference#Calculus of finite differences, Finite difference
*Translation operator (quantum mechanics)

Notes

Bibliography

*
* Marvin Rosenblum and James Rovnyak, ''Hardy Classes and Operator Theory'', (1985) Oxford University Press.

{{DEFAULTSORT:Shift Operator
Unitary operators