The Leibniz integral rule, in its multivariate form, deals with differentiation of the following sort: $$ \frac{\partial}{\partial t} \int_{D(t)} F({\bf x}, t) \, d{\bf x} \, , \qquad D(t)\in \mathbb{R}^d \, .$$
I am looking for a fully rigorous formulation of this theorem, as well as a proper proof. So far, I could only find:
- The one-dimensional case (see e.g., Courant calculus book).
- Physics-flavored books, where the normal speed $v_n ({\bf x})$ is not defined (see e.g., here). While insightful, this is not what I need.
- Very abstract, measure theoretical versions of it.
My question: Could you please refer me to a multivariate-calculus statement and proof of this theorem?
Update: I searched most of the textbooks here and here, but still no luck. Any ideas?
