Definitions

# Operator (physics)

In physics, an operator is a function acting on the space of physical states. As a result of its application on a physical state, another physical state is obtained, very often along with some extra relevant information.

The simplest example of the utility of operators is the study of symmetry. Because of this, they are a very useful tool in classical mechanics. In quantum mechanics, on the other hand, they are an intrinsic part of the formulation of the theory.

## Operators in classical mechanics

Let us consider a classical mechanics system led by a certain hamiltonian $H\left(q,p\right)$, function of the generalized coordinates $q$ and its conjugate momenta. Let us consider this function to be invariant under the action of a certain group of transformations $G$, i.e., if $Sin G$, $H\left(S\left(q,p\right)\right)=H\left(q,p\right)$. The elements of $G$ are physical operators, which map physical states among themselves.

An easy example is given by space translations. The hamiltonian of a translationally invariant problem does not change under the transformation $qto T_a q=q+a$. Other straightforward symmetry operators are the ones implementing rotations.

If the physical system is described by a function, as in classical field theories, the translation operator is generalized in a straightforward way:

$f\left(x\right) to T_a f\left(x\right)=f\left(x-a\right).$

Notice that the transformation inside the parenthesis should be the inverse of the transformation done on the coordinates.

## Concept of generator

If the transformation is infinitesimal, the operator action should be of the form

$I + epsilon A$

where $I$ is the identity operator, $epsilon$ is a small parameter, and $A$ will depend on the transformation at hand, and is called a generator of the group. Again, as a simple example, we will derive the generator of the space translations on 1D functions.

As it was stated, $T_a f\left(x\right)=f\left(x-a\right)$. If $a=epsilon$ is infinitesimal, then we may write

$T_epsilon f\left(x\right)=f\left(x-epsilon\right)approx f\left(x\right) - epsilon f\text{'}\left(x\right).$

This formula may be rewritten as

$T_epsilon f\left(x\right) = \left(I-epsilon D\right) f\left(x\right)$

where $D$ is the generator of the translation group, which happens to be just the derivative operator. Thus, it is said that the generator of translations is the derivative.

## The exponential map

The whole group may be recovered, under normal circumstances, from the generators, via the exponential map. In the case of the translations the idea works like this.

The translation for a finite value of $a$ may be obtained by repeated application of the infinitesimal translation:

$T_a f\left(x\right) = lim_\left\{Ntoinfty\right\} T_\left\{a/N\right\} cdots T_\left\{a/N\right\} f\left(x\right)$

with the $cdots$ standing for the application $N$ times. If $N$ is large, each of the factors may be considered to be infinitesimal:

$T_a f\left(x\right) = lim_\left\{Ntoinfty\right\} \left(I -\left(a/N\right) D\right)^N f\left(x\right).$

But this limit may be rewritten as an exponential:

$T_a f\left(x\right)= exp\left(-aD\right) f\left(x\right).$

To be convinced of the validity of this formal expression, we may expand the exponential in a power series:

$T_a f\left(x\right) = left\left(I - aD + \left\{a^2D^2over 2!\right\} - \left\{a^3D^3over 3!\right\} + cdots right\right) f\left(x\right).$

The right-hand side may be rewritten as

$f\left(x\right) - a f\text{'}\left(x\right) + \left\{a^2over 2!\right\} f$(x) - {a^3over 3!} f'(x) + cdots

which is just the Taylor expansion of $f\left(x-a\right)$, which was our original value for $T_a f\left(x\right)$.

## Operators in quantum mechanics

Once the interest of the operators in classical mechanics has been exposed, it has to be said that it is in quantum mechanics where they reach their full interest. The mathematical description of quantum mechanics is built upon the concept of operator.

Physical pure states in quantum mechanics are unit-norm vectors in a certain vector space (a Hilbert space). Time evolution in this vector space is given by the application of a certain operator, called the evolution operator. Since the norm of the physical state should stay fixed, the evolution operator should be unitary. Any other symmetry, mapping a physical state into another, should keep this restriction.

Any observable, i.e., any quantity which can be measured in a physical experiment, should be associated with a self-adjoint linear operator. The values which may come up as the result of the experiment are the eigenvalues of the operator. The probability of each eigenvalue is related to the projection of the physical state on the subspace related to that eigenvalue.

## General mathematical properties of quantum operators

The mathematical properties of physical operators are a topic of great importance in itself. For further information, see C*-algebra and Gelfand-Naimark theorem.