Theory of true-velocity duplex imaging using a single transducer