Integral average (source code)

= Integral average
{title2=$\langle v\rangle_E=|E|^{-1}\int_Ev$}

The <integral average> of an integrable function over a measurable set $E$ of finite positive measure is $\langle v\rangle_E=|E|^{-1}\int_Ev$. Normalization removes the volume factor when comparing estimates on balls of different radii.