  In this paper, we show that the arithmetic volume function defined on the
space of pairs of adelic R-Cartier divisors and base conditions is
differentiable at a big pair, and that its derivative is given by an arithmetic
restricted positive intersection number defined for the pair.
