Kramers–Kronig relationship between ultrasonic attenuation and phase velocity