So, we have a product of two waves: an envelope wave formed by f 1 and a carrier wave formed by f 2 . We call the velocity of the envelope wave the group velocity. We see that the phase velocity of f 1 is