View source for Annihilation operators

<!--
a0125501.png
$#A+1 = 85 n = 0
$#C+1 = 85 : ~/encyclopedia/old_files/data/A012/A.0102550 Annihilation operators
Automatically converted into TeX, above some diagnostics.
Please remove this comment and the {{TEX|auto}} line below,
if TeX found to be correct.
-->

{{TEX|auto}}
{{TEX|done}}

A family of closed linear operators  $  \{ {a (f) } : {f \in H } \} $, 
where  $  H $
is some Hilbert space, acting on a [[Fock space|Fock space]] constructed from  $  H $(
i.e. on the symmetrization  $  \Gamma  ^ {s} (H) $
or anti-symmetrization  $  \Gamma  ^ {a} (H) $
of the space of tensors over  $  H $) 
such that on the vector  $  ( f _ {1} \otimes {} \dots \otimes f _ {n} ) _  \alpha  \in \Gamma  ^  \alpha  (H) $, 
$  \alpha = s , a $, 
consisting of the symmetrized  $  ( \alpha = s ) $
or anti-symmetrized  $  ( \alpha = a ) $
tensor product of a sequence of elements  $  f _ {1} \dots f _ {n} \in H $, 
$  n = 1 , 2 \dots $
in  $  H $, 
they are given by the formulas:

$$ \tag{1 }
a (f) ( f _ {1} \otimes \dots
\otimes f _ {n} ) _ {s\ } =
$$

$$ 
= \ 
\sum _ { i=1 } ^ { n }  ( f , f _ {i} ) ( f _ {1} \otimes
\dots \otimes f _ {i-1} \otimes f _ {i+1} \otimes \dots \otimes f _ {n} ) _ {s}  $$

in the symmetric case, and

$$ \tag{2 }
a (f) ( f _ {1} \otimes \dots
\otimes f _ {n} ) _ {a\ } =
$$

$$ 
= \ 
\sum _ { i=1 } ^ { n }  ( - 1 )  ^ {i-1} ( f , f _ {i} ) ( f _ {i} \otimes \dots \otimes f _ {i-1} \otimes f _ {i+1} \otimes \dots \otimes f _ {n} ) _ {a}  $$

in the anti-symmetric case; the empty vector  $  \Omega \in \Gamma  ^  \alpha  (H) $, 
$  \alpha = s , a $(
i.e. the unit vector in the subspace of constants in  $  \Gamma  ^  \alpha  (H) $) 
is mapped to zero by  $  a (f) $. 
In these formulas  $  ( \cdot , \cdot ) $
is the inner product in  $  H $. 
The operators  $  \{ {a  ^ {*} (f) } : {f \in H } \} $
dual to the operators  $  a (f) $
are called creation operators; their action on the vectors  $  ( f _ {1} \otimes \dots \otimes f _ {n} ) _  \alpha  $, 
$  \alpha = s , a $, 
$  n = 1 , 2 \dots $
is given by the formulas

$$ \tag{3 }
a  ^ {*} (f) ( f _ {1} \otimes \dots
\otimes f _ {n} ) _  \alpha   = \ 
( f \otimes f _ {1} \otimes \dots
\otimes f _ {n} ) _  \alpha   $$

and

$$ 
a  ^ {*} (f) \Omega  =  f .
$$

As a consequence of these definitions, for each  $  n > 0 $
the subspace  $  \Gamma _ {n}  ^  \alpha  (H) _  \alpha  ^ {\otimes n } $, 
$  \alpha = s , a $, 
the symmetrized or anti-symmetrized  $  n $-
th tensor power of  $  H $, 
is mapped by  $  a (f) $
into  $  \Gamma _ {n-1}  ^  \alpha  $
and by  $  a  ^ {*} (f) $
into  $  \Gamma _ {n+1}  ^  \alpha  (H) $.

In quantum physics, the Fock space  $  \Gamma  ^  \alpha  (H) $, 
$  \alpha = s , a $, 
is interpreted as the state space of a system consisting of an arbitrary (finite) number of identical quantum particles, the space  $  H $
is the state space of a single particle, the subspace  $  \Gamma _ {n}  ^  \alpha  (H) $
corresponds to the states of the system with  $  n $
particles, i.e. states in which there are just  $  n $
particles. A state with  $  n $
particles is mapped by  $  a (f) $
to a state with  $  n-1 $
particles ( "annihilation"  of a particle), and by  $  a  ^ {*} (f) $
to a state with  $  n + 1 $
particles ( "creation"  of a particle).

The operators  $  a (f) $
and  $  a  ^ {*} (f) $
form irreducible families of operators satisfying the following permutation relations: In the symmetric case (the commutation relations)

$$ \tag{4 }
a ( f _ {1} ) a ( f _ {2} ) - a
( f _ {2} ) a ( f _ {1} ) =
$$

$$ 
= \ 
a  ^ {*} ( f _ {1} ) a  ^ {*} ( f _ {2} ) - a
 ^ {*} ( f _ {2} ) a  ^ {*} ( f _ {1} )  =  0 ,
$$

$$ 
a  ^ {*} ( f _ {2} ) a ( f _ {1} ) - a ( f _ {1} )
a  ^ {*} ( f _ {2} )  =  - ( f _ {1} , f _ {2} ) E ;
$$

and in the anti-symmetric case (the anti-commutation relations)

$$ \tag{5 }
a ( f _ {1} ) a ( f _ {2} ) + a
( f _ {2} ) a ( f _ {1} ) =
$$

$$ 
= \ 
a  ^ {*} ( f _ {1} ) a  ^ {*} ( f _ {2} ) + a
 ^ {*} ( f _ {2} ) a  ^ {*} ( f _ {1} )  =  0 ,
$$

$$ 
a ( f _ {1} ) a  ^ {*} ( f _ {2} ) + a  ^ {*} ( f _ {2} ) a ( f _ {1} )  =  ( f _ {1} , f _ {2} ) E ,
$$

where  $  E $
is the identity operator in  $  \Gamma  ^ {s} (H) $
or  $  \Gamma  ^ {a} (H) $. 
Besides the families of operators  $  a (f) $
and  $  a  ^ {*} (f) $, 
$  f \in H $, 
described here, there exist in the case of an infinite-dimensional space  $  H $
also other irreducible representations of the commutation and anti-commutation relations (4) and (5), not equivalent to those given above. Sometimes they are also called creation and annihilation operators. In the case of a finite-dimensional space  $  H $, 
all irreducible representations of the commutation or anti-commutation relations are unitarily equivalent.

The operators  $  \{ {a (f) , a  ^ {*} (f) } : {f \in H } \} $
are in many connections convenient  "generators"  in the set of all linear operators acting in the space  $  \Gamma  ^  \alpha  (H) $, 
$  \alpha = s , a $, 
and the representation of such operators as the sum of arbitrary creation and annihilation operators (the normal form of an operator) is very useful in applications. The connection with this formalism bears the name method of second quantization, cf. [[#References|[1]]].

In the particular, but for applications important, case in which  $  H = L _ {2} ( \mathbf R  ^  \nu  , d  ^  \nu  x ) $, 
$  \nu = 1 , 2 , .  .  . $(
or in a more general case  $  H = L _ {2} ( M , Q ) $, 
where  $  ( M , Q ) $
is a measure space), the family of operators  $  \{ {a (f) , a  ^ {*} (f) } : {f \in L _ {2} ( \mathbf R  ^  \nu  , d  ^  \nu  x ) } \} $
defines two operator-valued generalized functions  $  a (x) $
and  $  a  ^ {*} (x) $
such that

$$ 
a (f)  =  \int\limits _ {\mathbf R  ^  \nu  }
a (x) f (x)  d  ^  \nu  x ,\ \ 
a  ^ {*} (f)  =  \int\limits _ {\mathbf R  ^  \nu  }
a  ^ {*} (x) \overline{f}\; (x)  d  ^  \nu  x .
$$

The introduction of  $  a (x) $
and  $  a  ^ {*} (x) $
turns out to be convenient for the formalism of second quantization (e.g. it allows one directly to consider operators of the form

$$ 
\int\limits _ {( \mathbf R  ^  \nu  )  ^ {m+n} }
K ( x _ {1} \dots x _ {n} ; \ 
y _ {1} \dots y _ {m} ) a  ^ {*}
( x _ {1} ) \dots a  ^ {*} ( x _ {n} ) \times
$$

$$ 
\times 
a ( y _ {1} ) \dots a ( y _ {n} ) \ 
d  ^  \nu  x _ {1} \dots d  ^  \nu  x _ {n}  d  ^  \nu  y _ {1} \dots d  ^  \nu  y _ {m} ,
$$

$$ 
n , m = 1 , 2 \dots
$$

where  $  K ( x _ {1} \dots x _ {n} ;  y _ {1} \dots y _ {m} ) $
is a certain  "sufficiently-good"  function), without having to recourse to their decomposition as a series in the monomials

$$ 
a  ^ {*} ( f _ {1} ) \dots a  ^ {*}
( f _ {n} ) a ( g _ {1} ) \dots a
( g _ {m} ) ,
$$

where

$$ 
f _ {1} \dots f _ {n} ,\ 
g _ {1} \dots g _ {m} \ 
\in  L _ {2} ( \mathbf R  ^  \nu  ,\ 
d  ^  \nu  x ) .
$$

====References====
<table><TR><TD valign="top">[1]</TD> <TD valign="top">  F.A. Berezin,   "The method of second quantization" , Acad. Press  (1966)  (Translated from Russian)  (Revised (augmented) second edition: Kluwer, 1989)</TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top">  R.L. Dobrushin,   R.A. Minlos,   ''Uspekhi Mat. Nauk'' , '''32''' :  2  (1977)  pp. 67–122</TD></TR><TR><TD valign="top">[3]</TD> <TD valign="top">  L. Gårding,   A. Wightman,   ''Proc. Nat. Acad. Sci. U.S.A.'' , '''40''' :  7  (1954)  pp. 617–626</TD></TR></table>

====Comments====

====References====
<table><TR><TD valign="top">[a1]</TD> <TD valign="top">  J. Glimm,   A. Jaffe,   "Quantum physics, a functional integral point of view" , Springer  (1981)</TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top">  N.N. Bogolyubov,   A.A. Logunov,   I.T. Todorov,   "Introduction to axiomatic quantum field theory" , Benjamin  (1975)  (Translated from Russian)</TD></TR><TR><TD valign="top">[a3]</TD> <TD valign="top">  J. de Boer,   "Construction operator formalism in many particle systems"  J. de Boer (ed.)  G.E. Uhlenbeck (ed.) , ''Studies in statistical mechanics'' , North-Holland  (1965)</TD></TR></table>