We intend to transform the proposition
( Dyson decomposition theorem) into
a sum over symbolic paths. For this reason we study a technique for removing
terms of the form
from the integrals in the proposition
( Dyson decomposition theorem).
Consider the integral of the
form
Let's change the order of integration of the k-th and (k+1)-th variables.
|
Change of order of
integration.
|
 | | (order of integration one) |
So we pull the function
out of the integration chain. Let's pull the function
out by changing the order of integration of the
and
variables. We
have | | (order of integration two) |
We can do it again for the k+2
variable:
Our next task is to examine the
chains
in the situation when all the functions
are equal. Hence, we are interested in
studying
Let us change order of integration in the integral
:
and rename variables of
integration:
We now add the last result and the original definition of
:
Hence,
We proceed to calculate
:
Consequenty, | | (chained integral n factorial) |
Proposition
(Path-Integral representation). The
Markov propagator admits the following
representation
where
|