Abstract
In this chapter, we first define Green’s functions in the interaction picture, and then rewrite them in the Heisenberg picture. This leads to the so-called Gell-Mann-Low relation. We then discuss Matthews’ theorem for the relation between the Hamiltonian formalism and the Lagrangian formalism. Finally, we turn our attention to the reduction formula connecting the S-matrix and Green’s functions. This formula relates to fundamental conditions called asymptotic conditions in the Heisenberg picture.
Access provided by Autonomous University of Puebla. Download chapter PDF
Similar content being viewed by others
So far we have talked a lot about the properties of the S-matrix, but there is an important concept closely related to the S-matrix, namely, the concept of Green’s functions. We first define Green’s functions in the interaction picture, and then rewrite them in the Heisenberg picture. This leads to the so-called Gell-Mann–Low relation [111]. We then discuss Matthews’ theorem [112] for the relation between the Hamiltonian formalism and the Lagrangian formalism. Finally, we turn our attention to the reduction formula connecting the S-matrix and Green’s functions. This formula relates to fundamental conditions called asymptotic conditions in the Heisenberg picture.
11.1 Gell-Mann–Low Relation
As in Chap. 3, writing the free-field energy–momentum four-vector in the interaction picture as \(P^{(0)}_{\mu }\), we find that (3.29) holds true for a field operator \(\mathscr {O}(x)\) without external fields, i.e.,
In particular, for μ = 0,
We now introduce the following transformation function as \(\mathscr {O}\) :
We insert this into (11.2), but bearing in mind that
This immediately yields
We now set t = 0 and take the limit t 0 →−∞. In this case, putting
we obtain
Assuming that interactions exist only in a finite space-time region, as in Sects. 4.4 and 7.3, we consider the limit as this space-time region extends to infinity. This corresponds to introducing interactions adiabatically, and a variety of consequences depend on how the limit is actually taken. With some loss of rigour, we assume that
whence
Then writing the vacuum in the interaction picture as Φ 0,
Hence, writing the vacuum in the Heisenberg picture as Ψ 0, we find
As shown in Chap. 6, the Heisenberg picture and the interaction picture are related by (6.30), viz.,
In this section, we set t 0 = 0. Therefore, for t 1 > t 2,
where we have used the composition rule (6.27) for the transformation function and U(∞, −∞), and the fact that the vacuum Φ 0 transforms to the vacuum up to a phase. This can be written in the form
The presence of the denominator corresponds to neglecting bubble graphs, as discussed in connection with (8.70). This equation is easily generalized:
This is called the Gell-Mann–Low relation [111]. It gives the relationship between the Heisenberg picture and the interaction picture. Additionally, any quantity like the left-hand side, i.e., a vacuum expectation value of a product of time-ordered field operators, is called a Green’s function.
11.2 Green’s Functions and Their Generating Functionals
When we discuss properties of a Green’s function , instead of considering them one by one, it is sometimes useful to discuss their generating function, or more precisely their generating functional . In this section, we describe the simplest generating functional, which produces the Green’s functions of a neutral scalar field.
We consider the Lagrangian density
We split this into the free part and the interaction part. In fact, such a separation is not trivial, and becomes particularly complicated when we take into account renormalization in the next chapter. However, in this section, we simply choose
In the following, we shall express the vacuum Φ 0 simply as |0〉. We introduce a c-number external field J(x) and define the functional
We now derive the equation satisfied by the generating functional of the Green’s functions \(\mathscr {T}^{(0)}[J]\). To do this, we just have to use the reduction formula (8.57), i.e.,
Writing the denominator of (11.17) as 〈0|U(∞, −∞)|0〉,
Integrating this equation, we obtain the functional equation for \(\mathscr {T}^{(0)}[J]\):
Differentiating \(\mathscr {T}^{(0)} [J]\) n times with respect to J and setting J = 0, we obtain the n-point Green’s function:
We now turn to the Heisenberg picture, defining the generating functional by
where we have written Ψ 0 and φ (H) in bold face as |0〉 and φ, respectively. Therefore,
In this picture,
Inserting this into (11.23) and using the equation of motion for φ, we recover (11.19). Hence, (11.20) can also be recovered, i.e.,
This implies that, even if the boundary conditions are the same, we can expect
In fact, differentiating this n times with respect to J and setting J = 0, it becomes
which is nothing other than the Gell-Mann–Low relation. Thus, it turns out that (11.26) always holds true.
When a Green’s function is expressed by a Feynman diagram, it will generally give a set of non-connected parts. We focus only on the graphs in which n points are connected to each other by lines. We write the contribution corresponding to such a graph as
where conn stands for ‘connected.’ So what is the relationship between the connected Green’s function and the original Green’s function? To find out, we start with some point x and separate into the part connected with x and the other parts. This gives a recursion formula:
where the summation has been taken over all combinations separating x 1, …, x n into \(x^{\prime }_{1}, \ldots , x^{\prime }_{k}\) and \(x^{\prime }_{k+1}, \ldots , x^{\prime }_{n}\). In order to express this relation in a closed form, we introduce a generating functional \(\mathscr {R}[J]\) for the connected Green’s functions:
The recursion formula can now be expressed in closed form:
We solve this functional equation with the boundary conditions
The solution is
Then writing the expectation value of φ(x) when there exists an external field J as 〈φ(x)〉, we have
In some situations, it is more useful to consider 〈φ(x)〉 as an independent external field instead of J(x), so we introduce the following Legendre transformation :
This yields
i.e., taking 〈φ(x)〉 as an independent variable instead of J(x),
Variable transformations like this will play an important role in the discussion of spontaneous symmetry breaking later on. Moreover, differentiating (11.35) again,
This is the two-point Green’s function in the case where an external field exists. Differentiating (11.38),
which is the inverse of the two-point Green’s function.
11.3 Different Time-Orderings in the Lagrangian Formalism
In the previous section, we investigated the relationship between representations of Green’s functions in the Heisenberg picture and in the interaction picture. In this section, we shall discuss the difference between time-orderings in the Hamiltonian formalism and the Lagrangian formalism.
For simplicity, we start with particle dynamics. Considering a one-dimensional system, we assume that
Therefore, under the time-ordering operator T, p(t) is ordered as an operator corresponding to time t. This is because in the Hamiltonian formalism, the operators q(t) and p(t) are treated as independent variables, so these are considered to be quantities that need no further temporal decomposition. However, in the Lagrangian formalism, only q(t) is an independent quantity, so \(\dot {q}(t)\) becomes
Assuming that 𝜖 is small but finite, it turns out that, in the Lagrangian formalism, \(\dot {q}(t)\) is associated with two clock times in time-orderings. We denote the time-ordering operator in this treatment by T ∗. It should be noted here that, in the path-integral method, the same decomposition (11.42) is used. Therefore, the method using T ∗ is closely related to the path-integral method. So what is the difference between using T or T ∗?
In the Hamiltonian formalism and hence under T, we assume that \(\dot {q}(t)\) can be treated as a one-clock-time quantity, as in (11.41). Now,
However, if q obeys a second order differential equation, then only \(\dot {q}\) can enter in T ∗, because \(\ddot {q}\) is not independent of q. Another example is
The derivation of this equation is perfectly analogous to the one in the previous example. However, using T, we find
Therefore, this is the same as T ∗ in (11.43). However, assuming (11.41),
The left-hand side is equal to the right-hand side of (11.44). So setting the left-hand side of (11.46) equal to the left-hand side of (11.44),
The difference between T and T ∗ becomes clear in this way.
This argument can be extended to field theory. For simplicity, we consider a neutral scalar field in the interaction picture:
In order to differentiate this one more time, we introduce a unit time-like vector n μ. Here we assume that n 1 = n 2 = n 3 = 0 and n 4 = i :
The second term becomes
Taking the vacuum expectation value,
On the other hand,
This difference corresponds to (11.47). Comparing the two equations above, we see that T ∗ is covariant and simpler. When there are derivatives of field operators in the interaction term, the Hamiltonian density is not a scalar, but a tensor involving the time-like vector n. Although in this case both the Hamiltonian density and the contraction function depend on n, when we compute the S-matrix, the two types of n-dependence cancel out, so the final result does not depend on n. This is called Matthew’s theorem [112].
11.4 Matthews’ Theorem
If interactions do not include derivatives of the field operators, we have
Clearly, in this case,
This is because the difference between T and T ∗ does not appear anywhere here.
When derivatives are included in the interactions, the situation becomes more complicated. For example, when a charged scalar field and the electromagnetic field interact with each other,
Thus, when derivatives of field operators are included, \(\mathscr {H}_{\text{int}}\) differs from \(-\mathscr {L}_{\text{int}}\).
First, we decompose the Lagrangian density:
If φ α is a real scalar field, the quantity canonically conjugate to φ α in the free field case is
If we now consider interactions, the canonically conjugate field is
By the Yang–Feldman equation (6.34), the relation between the Heisenberg picture and the interaction picture is
The reason why π transforms into π ′ is that the transformation by U should not change the canonical commutation relation. In the following, we shall drop the superscript ‘in’ on operators in the interaction picture, and express Heisenberg operators in bold face. Therefore, the Hamiltonian density is
where we have assumed that a spatial derivative is a linear combination of the φ α(x). Then,
In this computation we use the inverse transformations of (11.58) and (11.59). Therefore,
where σ α is defined by
Thus,
We use a Taylor expansion for the second term. In this case, since \(\mathscr {L}\) includes at most second order terms in \(\dot {\varphi }_{\alpha }(x)\) and using
we obtain the following power series expansion in σ :
Inserting this into (11.64),
Therefore,
It turns out that the second term on the right-hand side expresses a shift from (11.51). We now prove the equality (11.52) in this case, i.e., Matthews’ theorem. To do so, we first specify the relation between the T-product and the normal product for the simple neutral scalar field theory.
We expand the T-product T[AB…Z] into normal products in the neutral scalar theory. In this case, we write the contraction function Δ F, replaced by λΔ F, as T λ[AB…Z]. Since differentiating this with respect to λ is equivalent to contracting φ(x) and φ(y) and multiplying by Δ F, we have
where we have treated φ’s in the normal product as c-numbers and differentiated with respect to them. Moreover, if we take λ = 0, then since this is exactly the same as that with no contraction, we have
Solving the differential equation (11.69) under the initial condition (11.70) and taking λ = 1, we find
Next we take the vacuum expectation value of this equation. Since the expectation value of the normal product vanishes, the right-hand side survives only if all field operators are contracted. Thus, setting to zero the operators φ which are not contracted on the right-hand side, this gives only those contributions which appear when all operators are contracted:
In fact, (11.52) is only true if no derivative of φ is included in AB…Z. This operator appearing in the argument of the exponential function is related to the field quantization. It tells us how to contract operators. Denoting this by D, the operation which converts the normal product including φ and its derivative to the T-product is
When the normal product includes φ, its derivative, and fermionic fields ψ and \(\bar {\psi }\), we have
where we have used (11.49) as a contraction function. Regarding the functional derivatives with respect to the Dirac field, the reader is referred to the caution after (8.59). Likewise for the T∗-product,
where D ∗ is defined so that (11.50) applies to contractions of the φ derivatives in (11.74), whence
In both cases, we have treated φ and its derivative as independent when taking functional derivatives.
We now choose the interaction Lagrangian density to have the form
where \(\mathscr {L}_{\text{int}}^{(0)}\) is a term which includes no derivatives. Therefore, from (11.68),
In order to compute the S-matrix, we consider
where D − D ∗ is the second term on the right-hand side of (11.76). This is a functional derivative with respect to the derivative of φ. Hence, this acts only on the term j μ ∂ μ φ in \(\mathscr {H}_{\text{int}}(x)\) which includes the derivative of φ. We must therefore compute
To carry out this computation, we use
Generalizing this formula and using it to calculate (11.80), we find that (11.80) is equivalent to something of the form
Therefore, (11.79) can be written in the form
Dividing both sides of this by the vacuum expectation value yields the S-matrix:
This is known as Matthews’ theorem. Note that this holds only if derivatives of the field operator are included linearly in (11.77).
11.5 Example of Matthews’ Theorem with Modification
In the last section, we considered a situation where Matthews’ theorem holds true and T and \(\mathscr {H}_{\text{int}}\) can be replaced by T ∗ and \(-\mathscr {L}_{\text{int}}\), respectively. In general, we have to replace \(\mathscr {H}_{\text{int}}\) by something slightly different from \(-\mathscr {L}_{\text{int}}\). We thus generalize Matthews’ theorem to
where \(\mathscr {L}_{\text{eff}}\) is an effective interaction Lagrangian density, which is equivalent to \(\mathscr {L}_{\text{int}}\) only when Matthews’ theorem holds true. As an example of a situation where the theorem does not hold true, we consider the Lagrangian density
where φ a (a = 1, 2, …, N) are real scalar fields and D ab is a real positive-definite matrix which is a function of φ. In addition, we assume that D and V do not include derivatives of φ. We shall now derive the effective interaction Lagrangian density for this theory.
When x 0 = y 0, the canonical commutation relations read
where C is the inverse matrix of D, i.e.,
With summing over repeated indices, the Euler–Lagrange equation gives
We now introduce a generating functional for the Green’s functions:
Therefore, combining (11.90) and the equal-time commutation relation (11.88),
Expressing this in terms of the generating functional,
Using \(\mathscr {T}[J]\), the second term on the right-hand side can be expressed as
In the interaction picture, considering the T-product which includes only two derivatives of φ,
Noting that, in this derivation, we have only used the equal-time commutation relations and we have not used the field equation, we can easily make the extension to the Heisenberg picture:
In particular, if we take y → x and μ = ν = λ, then since n λ n λ = −1,
Using this result, the first term on the right-hand side of (11.94) can be written
where C ab(x) is an abbreviation for C ab(φ(x)), and the same goes for D cd(x).
Thus, \(\mathscr {T}[J]\) satisfies
where
Note that we can factorize the functional derivative j a using the T∗-product. Rewriting the third term on the right-hand side of (11.100), we have
Then the coefficients of iδ 4(0) in (11.100) are
Consequently, (11.100) can be written as
Multiplying this on the left by D, we obtain
This is the equation satisfied by the generating functional \(\mathscr {T}[J]\).
In order to derive a Feynman–Dyson-like formula in a theory like this, we must express the solution of the equation for \(\mathscr {T}[J]\) in terms of φ in the interaction picture. We thus test the following quantity:
where
To obtain the functional equation satisfied by this \(\text{``}\mathscr {T}[J]\text{''}\), we begin with
where we replace φ by iδ∕δJ in \(\mathscr {L}_{\text{int}}\). For the transformation on the right-hand side, we have used (11.72). Hence,
Since the last term on the right-hand side is the same as the left-hand side, these terms cancel out:
If we replace V in this equation by
it coincides with (11.105). Hence, \(\mathscr {T}[J]\) can be obtained by replacing V by V ′ in \(\text{``}\mathscr {T}[J]\text{''}\) and normalizing in such a way that it is equal to unity when J = 0. Thus,
where
It thus turns out that, in this example, Matthews’ theorem has been modified.
The next question concerns properties of the additional term. First of all, this term is an imaginary number and includes the divergence δ 4(0). We have the following representation of the δ-function in the space-time coordinates:
This therefore gives a fourth-order divergence in momentum space. The imaginary coefficient is connected with the fourth-order divergence. If we compute the closed loop without the additional term, a fourth-order divergence comes about in this theory. Introducing the cutoff Λ in momentum space, we obtain
This implies that the divergences up to second order will give divergent contributions to the mass and coupling constants, as will be discussed later, but those are real numbers. On the other hand, the fourth-order divergence implied by the equation above, compared to the divergences up to second order, is an imaginary number. Such a contribution cannot be removed by renormalization and breaks the unitarity. Fortunately, the additional term mentioned above automatically cancels this fourth-order divergence, and in this sense a safety mechanism is automatically introduced into the theory.
Although the result mentioned above can also be derived by the path-integral method, this gives the additional term a different interpretation. The path-integral method produces the above result more easily than the method used here. This implies that, since the path-integral method is based on the Lagrangian, we can say that it is more suitable to derive the result including the Lagrangian and the T∗-product.
11.6 Reduction Formula in the Interaction Picture
So far we have discussed the S-matrix computational method in the interaction picture. Combining the reduction formula given in Sect. 8.3 and the Gell-Mann–Low relation, we can also express the S-matrix elements in terms of the Green’s function in the Heisenberg picture.
In Dyson’s formula, the interaction Hamiltonian density or Lagrangian density appear when we express the S-matrix. We can ask ourselves whether it is possible to derive an equation which does not depend explicitly on the form of the interaction.
For simplicity, we consider the charged scalar field and analyze the S-matrix elements for the scattering process
To do so, we expand U(∞, −∞) in normal products using Wick’s theorem and determine the coefficient of the term
Since this requires us to read off the normal product from U(∞, −∞) and contract the rest, we need to calculate
Writing the final state as |a ′, b ′〉, the S-matrix element is given by
From the reduction formula, the functional derivative is given by
Denoting the Klein–Gordon operator on the left-hand side by \(K^{a}_{x}\) and using (11.120), equation (11.119) becomes
Here 〈0|φ a(x)|a〉, which we should call a one-body wave function, has the same structure in both the interaction picture and the Heisenberg picture. The only difference would be a proportionality coefficient. Although it is not trivial to separate the whole Lagrangian density into the free part and the interaction part, the expressions are equal if we use the renormalized interaction picture discussed in the next chapter:
If we use the Gell-Mann–Low relation in this case, (11.121) can be expressed solely in terms of quantities in the Heisenberg picture:
Unlike Dyson’s formula, in the above expression of the S-matrix element, the explicit form of the interaction does not appear. The problem in the interaction picture of separating the Lagrangian into the free part and the interaction part does not arise. However, in the process of deriving this formula, we have made the assumption (11.7), which is hard to justify. In fact, this result is justified only when we start with the renormalized interaction picture discussed above. Thus, we have to discuss the asymptotic conditions which lead to the above formula in the framework of the Heisenberg picture.
11.7 Asymptotic Conditions
The derivation of the S-matrix element in the Heisenberg picture in the previous section has been based on several assumptions. The question is whether or not we can derive the same result from clearer assumptions. In fact, this was done by Lehmann, Symanzik, and Zimmermann. The assumptions they made are called asymptotic conditions [113].
In Sect. 6.3, we introduced two kinds of asymptotic field in connection with the Yang–Feldman formalism. The asymptotic fields φ int and φ out for the real scalar field φ satisfy
Since these two types of scalar field are engendered by the same scalar field φ, we know that φ int and φ out are not independent of one another. This implies that they will not commute. Intuitively speaking, as in the case of the Yang–Feldman formalism,
As just described, the reason why the field asymptotes to the free field when t →±∞ is that since the particles are then far away from each other and there is no effect from other particles, so they behave like free particles. This fact is closely related to the issue of renormalization discussed in the next chapter, and to make this idea more rigorous we have to express the wave function of a particle, not by a plane wave, but by a wave packet.
We assume that some function f(x) satisfies the conditions
Then corresponding to this f, we introduce the operators
where t = x 0. We then define the corresponding asymptotic fields \(\varphi ^{\text{in}}_{f}\) and \(\varphi ^{\text{out}}_{f}\) by
For both states Φ and Ψ, we can define the same asymptotic field if we start with the normalized state vector \(\varphi ^{\dagger }_{f}(\tau )\). Note that the right-hand sides of (11.131) and (11.132) no longer depend on the time variable. Such a limit of an operator in the sense of the matrix element is called weak convergence, in contrast to strong convergence defined in the sense of the norm.
Next we consider an orthogonal system of wave functions. A wave function here is the matrix element with the vacuum of a field operator in a one-particle state. We consider the set of functions {f α(x)} satisfying (11.127), (11.128), and the condition
The completeness condition for this system of orthogonal functions is
We now introduce the complete system of state vectors {Φ in}. Assuming that Φ 0 is the vacuum,
where \(p_{\alpha _{1} \ldots \alpha _{k}} = n_{1}!n_{2}! \ldots n_{r}!\) and n stands for the number of particles in the same one-particle state in (α 1, …, α k). Replacing φ †int by φ †out, we can also construct the complete system {Φ out}. The S-matrix can be defined as the unitary transformation between these two pairs of complete orthonormal systems. It will be shown later that this definition reproduces the S-matrix elements given in the previous section. In the next chapter, it will be shown that it also coincides with the definition of the S-matrix in the Lippmann–Schwinger theory, viz.,
An equivalent definition is
It is clear from the definition that, for the two asymptotic fields,
Combining (11.137) and (11.138),
Similarly,
We introduce φ in(x) by
and define φ out by the same equation, viz.,
Since the latter coincides with (6.32), we see that this is the same as the S-matrix given previously. In relation to (11.122) in the previous section, we mentioned that we have not distinguished whether we take the in-state or the out-state for the one-particle state in the Heisenberg picture. This implies that, for the stable one-particle state α, we must have
Combining this with (11.122) in the previous section,
We will discuss this requirement in the context of renormalization in the next chapter.
Equations (11.131) and (11.132), together with the assumption of the existence of the asymptotic field, are called asymptotic conditions. Starting from these conditions, we will derive the LSZ reduction formula in the Heisenberg picture, or as they called it, the magic formula (Zauberformel) [113]. We introduce a more concise notation:
To begin with, we prove the following equation:
The left-hand side is
Noting that \(\varphi ^{\text{out}}_{\alpha }\) is an annihilation operator, in the limit y 0 →∞, we have
Taking the difference between the two equations above,
We combine this with Green’s theorem:
Here, we use the fact that, since f α(y) is a wave packet and corresponds to a local wave, it vanishes at a long range. Therefore, combining (11.152) with (11.153),
where we have used K y f α(y) = 0. The generalization of this equation is
Generalizing further, we obtain
where α = α 1…α k, β = β 1…β l. We have assumed that there is no common one-particle state between α and β. Under a similar assumption, the S-matrix element becomes
What we understand from this is that, when k = l = 2, the above expression is basically the same as (11.123).
Although we considered the matrix element in the above derivation, it also holds true for the operator, i.e.,
and
Combining (11.134) and (4.18),
This is the operator form of the LSZ reduction formula, which corresponds to (11.120). Putting together
and (11.159),
Using the above recursively,
Taking the vacuum expectation value of this and using one of the renormalization conditions mentioned in the next chapter, viz.,
we obtain
For n = 0,
The operator form of the S-matrix is determined by (11.165). Expanding the S-matrix in the normal product form based on Wick’s theorem, we have
where we have assumed that c is symmetric with respect to y 1, y 2, …, y l. When we insert (11.166) into (11.165), what is left on the right-hand side is only the term including the normal ordered product of l operators, whence
Then c can be determined uniquely from (11.167), at least on the mass shell, i.e., for the Fourier components satisfying the Einstein energy–momentum dispersion relation. Moreover, since only the value of c on the mass shell contributes to (11.166),
Substituting this into (11.166),
where we have assumed that the term corresponding to l = 0 is equal to unity. This is the operator form of the S-matrix. In addition, going back to (11.164), we have
As just described, many reduction formulae can be obtained from the asymptotic conditions. Indeed, the last formula effectively defines the quantization method for fields.
11.8 Unitarity Condition on the Green’s Function
The unitarity of the S-matrix is obvious as long as the S-matrix element is defined by (11.136) as a transition matrix between two complete orthonormal systems {Φ in} and {Φ out}. When the asymptotic states form complete systems like this, we speak of asymptotic completeness. In this section, we extend the unitarity of the S-matrix from unitarity on the mass shell to unitarity off the mass shell. This can be expressed by the unitarity condition for the Green’s functions.
To begin with, we consider the operator
This operator is unitary, and denoting the operator for inverse time-ordering by \(\tilde {T}\),
Functionally differentiating this equation n times with respect to J and subsequently setting J = 0,
where \((x^{\prime }_{1} , \ldots , x^{\prime }_{n})\) is a permutation of (x 1, …, x n) and we sum over all ways of dividing a set of n variables into two complementary subsets. We take the vacuum expectation value of this equation. Inserting the complete system {Φ in} between T and \(\tilde {T}\), we use the equation
and its complex conjugate
Then using (11.134), we sum over intermediate states. We use the notation
The Fourier transformation is the S-matrix element itself if all momenta are on the mass shell. Rewriting the expectation value of (11.173),
where l! in the denominator is a factor introduced to ensure that we do not count the same state more than once, and the prime on \(\sum ^{\prime }\) indicates that we neglect k = 0 and k = n. Restricting all momenta to the mass shell in the Fourier transformation of this equation, it becomes the condition for unitarity. Hence, when the momenta lie outside the mass shell, the Fourier transformation can be taken as its generalization. We call (11.177) the generalized unitarity condition. In fact, it should be obvious from the following discussion that (11.177) yields the unitarity condition for the S-matrix on the mass shell. Using
we expand SS † as a sum of normal products:
Therefore, looking at the coefficients of each of the normal products, we see that
is equal to the right-hand side of (11.177). Thus,
Similarly,
using (11.177) with τ replaced by τ ∗. As claimed, the unitarity for the S-matrix and for Green’s function are consequences of asymptotic completeness.
In the above, we considered the T-product of the Heisenberg operator. Next, we introduce the Green’s functions based on the retarded product, introduced in Sect. 6.2.
11.9 Retarded Green’s Functions
If A(x) is a local field, its retarded product is defined by
where θ(x) stands for θ(x 0), with \(x^{\prime }_{1}, \ldots , x^{\prime }_{n}\) a permutation of x 1, …, x n and summation over all permutations. The only permutations to contribute are those satisfying \(x^{\prime }_{1}>x^{\prime }_{2}> \ldots > x^{\prime }_{n}\) for the time variables. We introduce the unitary operator (11.171), denoting it by U :
Therefore,
We now introduce the generating functional
Therefore, it is easy to check that the R-product above can be expressed by
Directly from the definition,
In particular, taking A = φ, we have
This is called a unitarity condition. It corresponds to (11.173) in the case of the T-product. In addition, functionally differentiating A R a total of n times with respect to J,
Then taking the Hermitian conjugate of the reduction formula for the T-product, viz.,
we obtain
Combining the three equations above,
where
Then using (11.193) iteratively,
We now expand R as a sum of normal products:
where we have assumed that f is a symmetric function with respect to y 1, …, y l. Inserting this into (11.195) and taking the vacuum expectation value,
However, from (11.195), the right-hand side is equivalent to
where
Thus, if the momenta corresponding to y 1, …, y l are on the mass shell,
Since only those on the mass shell exert any influence,
In particular, for n = 0,
Moreover, if we take A = φ, then when (Φ 0, φ(x)Φ 0) = 0, we have
This gives the formal solution to the Yang–Feldman equation introduced in Sect. 6.3. In addition, from (11.189),
Taking the vacuum expectation value of this equation and using the reduction formula obtained by inserting the complete system {Φ in}, we obtain a non-linear equation for the system (Φ 0, R(x : x 1, …, x n)Φ 0). This is also one of the generalized unitarity conditions.
Both the in- and the out-states appear in the reduction formula for the T-product, while only the in-states appear in the R-products.
References
M. Gell-Mann, F. Low, Bound states in quantum field theory. Phys. Rev. 84, 350 (1951)
P.T. Matthews, The application of Dyson’s methods to meson interactions. Phys. Rev. 76, 684 (1949)
H. Lehmann, K. Symanzik, W. Zimmermann, On the formulation of quantized field theories. Nuovo Cim. 1, 205 (1955)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2023 The Author(s), under exclusive license to Springer Nature B.V.
About this chapter
Cite this chapter
Nishijima, K., Chaichian, M., Tureanu, A. (2023). Green’s Functions. In: Chaichian, M., Tureanu, A. (eds) Quantum Field Theory. Springer, Dordrecht. https://doi.org/10.1007/978-94-024-2190-3_11
Download citation
DOI: https://doi.org/10.1007/978-94-024-2190-3_11
Published:
Publisher Name: Springer, Dordrecht
Print ISBN: 978-94-024-2189-7
Online ISBN: 978-94-024-2190-3
eBook Packages: Physics and AstronomyPhysics and Astronomy (R0)