Elliptic filter

2013-10-04T09:16:40Z

129.67.186.68:

{{unreferenced|date=January 2009}}

== 2D Euclidean quantum field theory ==
In [[quantum field theory]], the '''operator product expansion''' ('''OPE''') is a [[Laurent series]] expansion of two operators. A [[Laurent series]] is a generalization of the [[Taylor series]] in that finitely many powers of the inverse of the expansion variable(s) are added to the Taylor series: pole(s) of finite order(s) are added to the series.

Heuristically, in [[quantum field theory]] one is interested in the result of physical observables represented by [[Operator (mathematics)|operators]]. If one wants to know the result of making two physical observations at two points <math>z</math> and <math>w</math>, one can time order these operators in increasing time.

If one maps coordinates in a conformal manner, one is often interested in radial ordering. This is the analogue of time ordering where increasing time has been mapped to some increasing radius on the complex plane. One is also interested in [[normal order]]ing of creation operators.

A radial-ordered '''OPE''' can be written as a normal-ordered '''OPE''' minus the non-normal-ordered terms. The non-normal-ordered terms can often be written as a [[commutator]], and these have useful simplifying identities. The radial ordering supplies the convergence of the expansion.

The result is a convergent expansion of the product of two operators in terms of some terms that have poles in the complex plane (the Laurent terms) and terms that are finite. This result represents the expansion of two operators at two different points as an expansion around just one point, where the poles represent where the two different points are the same point e.g.

:<math>1/(z-w)</math>.

Related to this is that an [[Operator (mathematics)|operator]] on the complex plane is in general written as a function of <math>z</math> and <math>\bar{z}</math>. These are referred to as the [[holomorphic]] and [[antiholomorphic function|anti-holomorphic]] parts respectively, as they are continuous and differentiable except at the (finite number of) singularities. One should really call them [[meromorphic]] but [[holomorphic]] is common parlance. In general, the operator product expansion may not separate into holormorphic and anti-holomorphic parts, especially if there are <math>\log z</math> terms in the expansion. However, derivatives of the '''OPE''' can often separate the expansion into holomorphic and anti-holomorphic expansions. This expression is also an '''OPE''' and in general is more useful.

== General ==

In [[quantum field theory]], the '''operator product expansion''' ('''OPE''') is a [[convergent expansion]] of the product of two [[field (physics)|fields]] at different points as a sum (possibly infinite) of local fields.

More precisely, if x and y are two different points, and A and B are [[operator-valued field]]s, then there is an [[open neighborhood]] of y, O such that for all x in O/{y}

:<math>A(x)B(y)=\sum_{i}c_i(x-y)^i C_i(y)</math>

where the sum is over finitely or countably many terms, C<sup>i</sup> are operator-valued fields, c<sub>i</sub> are [[analytic function]]s over O/{y} and the sum is convergent in the [[operator topology]] within O/{y}.

OPEs are most often used in [[conformal field theory]].

The notation <math>F(x,y)\sim G(x,y)</math> is often used to denote that the difference G(x,y)-F(x,y) remains analytic at the points x=y. This is an [[equivalence relation]].

==See also==
* [[QCD sum rules]]

==External links==
* [http://www.scholarpedia.org/article/Operator_product_expansion The OPE at Scholarpedia]

[[Category:Quantum field theory]]
[[Category:Conformal field theory]]
[[Category:String theory]]

formulasearchengine - User contributions [en]

Elliptic filter