This is a bit of a trivial question, but as I don't know the answer immediately I thought I'd just ask.
Given the integral $\int_{0}^{t} \int_{0}^{t} f(x,x') dx dx'$, what is $\frac{\partial}{\partial t} \int_{0}^{t} \int_{0}^{t} f(x,x') dx dx'$? It looks a bit like differentiating under the integral sign, but I'm not sure how to handle it.
$f$
continuous, just draw the darn square and ask yourself what the difference is between integrating over$[0,t]^2$
and over$[0,t+{\rm d}t]^2$
. $\endgroup$