We introduce the positive intersection product in Arakelov geometry and prove
that the arithmetic volume function is continuously differentiable. As
applications, we compute the distribution function of the asymptotic measure of
a Hermitian line bundle and several other arithmetic invariants
