Please see "Solid State Physics", by Giuseppe Grosso, Giuseppe Pastori Parravicini, chapter 1, Eq. (1.71). It is interesting that in the solids, we have ##\langle \psi_k|\frac{\hat{p}}{m}|\psi_k\rangle = \frac{1}{\hbar} \frac{dE}{dk}## which is compatible with the definition of ##v_g## as ##v_g=...