Interchanging partial derivatives and integrals

[lugita15]

In the midst of https://www.physicsforums.com/showthread.php?t=403002", I came upon a rather interesting, though probably elementary, question. Analagous to the fundamental theorem of calculus, is there a formula or theorem concerning the expression \frac{\partial}{\partial t}\int^{t}_{0}F(t, \tau) \partial \tau. In other words, does partial differentiation with respect to one variable commute with partial integration with respect to the other variable? If they don't commute, what is the relation between the two operations?

The fundamental theorem of calculus (well, the first part anyway) came from the non-rigorous intuition that \int^{x+dx}_{x}f(t)dt=f(x)dx. Can a similar intuitive statement be made about \int^{t+dt}_{t}F(t, \tau) \partial \tau? We know it has to be proportional to dt, but what is the constant of proportionality?

 

[gabbagabbahey]

If you don't want to use the Heaviside step function, as I suggested in the other thread, you might prefer this

 

[lugita15]

If you don't want to use the Heaviside step function, as I suggested in the other thread, you might prefer this

Thanks. That's exactly the kind of thing I wanted. Using the formula in the end of the subsection entitled "General form with variable limits," I get
\frac{\partial}{\partial t}\int^{t}_{0}F(t, \tau) \partial \tau = F(t,t)+\int^{t}_{0}\frac{\partial F}{\partial t} \partial \tau

 

[gabbagabbahey]

That's correct; provided F is piecewise smooth everywhere, exponentially bounded, and continuous at \tau=t . You'd get the same thing using the Heaviside step function (really a distribution or generalized function, not an ordinary function) since its derivative is a delta function.

 

[lugita15]

Based on this formula, in the other thread I just tried to write an expression for the derivative of a convolution. I hope I'm right.