Functional Integral Article Index for
Functional 		Shopping
Integration 		Articles about
Functional Integration 		Website Links For
Functional 		 

Information About

Functional Integral
  CATEGORIES ABOUT FUNCTIONAL INTEGRATION
   
calculus
   
quantum mechanics
   
quantum field theory
   
APPAREL
BABY
BEAUTY
BOOKS
CAR TOYS
CELL PHONES
DVD'S
ELECTRONICS
GOURMET FOOD
GROCERIES
HEALTH & PERSONAL
HOME & GARDEN
JEWELRY
MUSIC
MUSIC INSTRUMENTS
OFFICE PRODUCTS
SOFTWARE
SPORTING GOODS
TOOLS & HARDWARE
TOYS
VIDEO GAMES
SHOPPING HOME
MORE SHOPPING...



In Mathematical Physics , functional integration is Integration over certain infinite-dimensional spaces. See Functional Analysis . Physicists often refer informally to functional integrals over spaces of paths (or field configurations) as path integrals, which are different from Path Integral s in the usual sense.


THE FEYNMAN INTEGRAL


Functional integration techniques in physics were pioneered by Richard Feynman , who successfully applied his " Path Integral Formulation " to problems in Quantum Mechanics and Quantum Field Theory , as well as classical and quantum Statistical Mechanics .

As of August 2003, no rigorous definition of functional integration has been given which is applicable to all instances where it arises heuristically. Another way to say this is that important problems whose solutions are obtained by heuristic methods involving functional integrals have eluded formulation in terms of any of the existing rigorous definitions of functional integration.

The problem of functional integration is to make sense of expressions such as

:\int \mathcal{D}\phi F {Link without Title} \geq 0

where \mathcal{D}\phi is " Lebesgue Measure " on an infinite dimensional space where \phi; is valued. The problem with this definition is that there is no translation-invariant measure on an infinite-dimensional vector space. In fact, on an infinite-dimensional space one can really only integrate with respect to probability measures. Infinite-dimensional '' Compact '' groups admit a translation-invariant Haar Measure .

Irving Segal observed that the orthogonal group is much larger than the translation group, and that there are large numbers of probability distributions on infinite-dimensional Hilbert spaces which are invariant under the orthogonal group. However, the rigorous theory of functional integration that he developed is not far-reaching enough to accommodate all the physical applications of the Feynman path integral.



''Old material follows that needs to be elaborated''

When \phi\geq 0, a functional Measure might be possible and we have a Wiener Integral . Otherwise, we might have something which looks very fishy, like the use of summing of nonconvergent infinite series and the use of infinitesimals before the introduction of concepts like ε-δ, uniform convergence, etc..

Functional integrals over manifolds are sometimes approximated by a Lattice , but there is no guarantee this will give a good approximation or even Converge . This is related to Statistical Field Theory . The so-called Renormalization Group methods allow a rigorous continuum limit if the lattice theory has an ''ultraviolet fixed point''. In fact, the direct naïve approximation by a lattice can have its pitfalls, because, for example, the Fermion Doubling problem, among other things.

Even simple Gaussian Integral s like

:\int D\phi e^{i\int dt rac{dx}{dt}(t)^2},

where \phi:\mathbb{R} ightarrow \mathbb{R}, need renormalization to make sense, and only ratios of such integrals can be defined in an invariant manner.

For the use of functional integrals in quantum field theory, see Path Integral Formulation .


TRANSLATIONAL INVARIANCE

The "functional measure" \mathcal{D}\phi (it's not really a measure in the Measure Theoretic sense of the word) is said to be translationally invariant if for any differentiable functional A which falls off to zero for large φ,

:\int \mathcal{D}\phi {\delta \over \delta \phi(x)} A {Link without Title} =0

for any point x where we have taken the Functional Derivative .


GAUSSIAN INTEGRAL APPROXIMATION

Suppose we wish to "evaluate" a functional integral of the form

:\int \mathcal{D}\phi A {Link without Title} e^{-B {Link without Title} }

(the case \int \mathcal{D}\phi A e^{iB[\phi } is similar provided it is possible to " Wick Rotate " slightly in the imaginary direction to give a "convergent" integral)

where A and B are polynomial functionals in φ. We can write B nonuniquely as the sum of a Nonsingular quadratic polynomial functional G and the "remainder" C. Let's assume G's Hessian Matrix is Positive Definite and its minimum is at φ=φ0. If we define a new variable \bar{\phi} as φ-φ0, then B {Link without Title} is a homogeneous quadratic polynomial in \bar{\phi}. Assuming translational invariance, the functional integral is equal to

:\int \mathcal{D}\bar{\phi} A e^{-G[\bar{\phi}+\phi_0 -C[\bar{\phi}+\phi_0]}

The integrand is still the product of a polynomial with the exponential of a polynomial. Expand

:C {Link without Title} =\sum_{n=0}^N c_{i_1 \dots i_n} \bar{\phi}^{i_1} \cdots \bar{\phi}^{i_n}

and

:A {Link without Title} =\sum_{m=0}^M a_{j_1 \dots j_m} \bar{\phi}^{j_1} \cdots \bar{\phi}^{j_m}

where we are using the DeWitt Notation and c are the Coefficient s which happens to be totally symmetric (antisymmetric for odd (fermionic) indices).

Then, we can rewrite the functional integral as

:\sum_{p_0=0}^\infty \cdots \sum_{p_N=0}^\infty \sum_{m=0}^M \int \mathcal{D}\bar{\phi} {(-1)^{p_0+ \dots +p_N} \over {p_0}! \cdots {p_N}!} a_{j_1 \dots j_m} \bar{\phi}^{j_1} \cdots \bar{\phi}^{j_m} \left ( \prod_{n=0}^N \prod_{k=1}^{p_n} c_{i_1 \dots i_n} \bar{\phi}^{i_1} \cdots \bar{\phi}^{i_n} ight ) e^{-G {Link without Title} }

where we have tacitly assumed we can interchange the infinite sum with the functional integral.

Now, each term in the sum can be evaluated according to the Gaussian Integral article. It turns out we can keep track of the computations of each term using a graphical notation known as Feynman Diagram s. Each occurrence of a c is represented by an internal Vertex , each ji by an external vertex and each occurrence of ''G''−1 is represented by an Edge . A vertex is incident to an edge if the indices contract. The result is often an infinite series which does not converge. This is only one of the problems. Another is the answer depends upon the choice of the splitting of ''B'' into ''G'' and ''C'' which is unnatural. As such, some people simply think of functional integrals as a Mnemonic for deriving the Feynman rules.


SEE ALSO



REFERENCE AND EXTERNAL LINKS