On the existence of the derivative of the volume average

A general theorem on the derivative of the volume average is formulated and proved. Conditions for the existence of the derivative are presented and discussed. This is done in order to give a better base to the theory of spatial averaging.Latin Letters E ₃ three-dimensional vector space over the field of real numbers - K, K(x) averaging domain - G, G _w, G_s open sets in E ₃; components of the two-phase system - C ¹(G) the set of functions 1-times continuously differentiable in G - W1/2(G) Sobolev space - V volume of the domain K - f function defined in G, G _w - K _infi ^sup* (x), K _infi ^sup– (x) special parts of K(x) Greek Letters boundary of G, G _w, G_s; w-s interface - _ij Kronecker delta - v unit outward normal of G, G _w - _j j-dimensional Lebesgue measure Other M closure of a set M in the metric space E ₃ - f phase average of f for the w-phase - (u, v) scalar product of u, v in E ₃ - one-sided derivatives