Physics Stack Exchange is a question and answer site for active researchers, academics and students of physics. It only takes a minute to sign up.
Sign up to join this community
Assuming that the functional integral of a functional derivative is zero, so
$$ \int \mathcal{D}[\phi] \frac{i}{\hbar}\left\{ \frac{\delta S[\phi]}{\delta \phi}+J(x) \exp \left[ {i \over \hbar} \left( S[\phi]+\int \! \mathrm{d}^4 x \, J(x)\phi(x)\right)\right] \right\}$$
Apart from this trivial equation what else do I need to prove the Dyson-Schwinger equations?
To formally show the Schwinger-Dyson equations, use the fact the
$$\int [d\phi]\frac{\delta}{\delta \phi^{\alpha}(x)} \exp\left[\frac{i}{\hbar}\left(S[\phi]+\int \!d^nx^{\prime}~J_{\alpha}(x^{\prime})\phi^{\alpha}(x^{\prime}) \right)\right] ~=~0,$$
cf. this Phys.SE post. Without specifying the action $S[\phi]$ and field content $\phi^{\alpha}$ further, it is impossible to provide a rigorous proof, since the path integral is not properly defined in the first place. See also this related Phys.SE post.
