2Both here and in (9), the derivative vdt  should be understood as a differentiation with respect to dt−1  .