E对波矢k的微分是什么意思