In Weinberg's book "The Quantum theory of fields", Chapter 16 section 1: The Quantum Effective action. There is an equation (16.1.17), and several lines of explanation, please see the Images.
The Equation is used to calculate the effective action in section 16.2
I can't understand it. Can someone give an explanation as to why this equation is true?
The quantum effective action is an object with several interesting properties. By constructing it from a given theory, it is possible to gain the full scattering amplitude already at the tree level of the perturbative expansion. This can be understood as follows: take a field theory with the field content $\phi$, the corresponding quantum action $\Gamma(\phi)$ and sources $J$ and construct the Path integral, which is given by
$$Z_\Gamma(J)=\int\mathcal{D}\phi\exp\left(i\Gamma(\varphi)+i\int dx\,J\phi\right).$$
This expression is now identical to the exponential of the sum of connected diagrams, i.e.
$$Z_\Gamma(J)=\exp(iW_\Gamma(J)).$$
These diagrams have the property that each line corresponds to the exact propagator and each vertex to its exact version given by one-particle irreducible diagrams.
From the stationarity of the action one can derive the so-called quantum equations of motion, given by
$$\frac{\delta}{\delta\phi}\Gamma(\phi)=-J.$$
Solving this equation for the field and denoting the solution by $\phi_J$ leads us to an intriguing relationship between the quantum action and the sum of connected diagrams, $W$:
$$W(J)=\Gamma(\phi_J)+\int dx J\phi_J.$$
This can be interpreted as a Legendre transform between the sum of connected diagrams and the quantum action.
Another interesting consequence of these relations is the fact that the solution of the quantum equations of motion is also the vacuum expectation value of the field in the presence of a source:
$$\phi_J(x)=\langle0|\phi(x)|0\rangle_J.$$
