查看“︁位置空间与动量空间”︁的源代码

{{NoteTA
|G1=物理学
|1=zh-cn:位矢; zh-tw:位置向量;
|2=zh-cn:本征矢; zh-tw:本徵向量;
|3=zh-cn:基矢;zh-tw:基向量
}}
'''位置空间'''与'''动量空间'''是[[物理学]]中一对联系紧密的[[矢量空间]]。

'''位置空间'''（或称'''实空间'''、'''坐标空间'''）是空间中所有物体的[[位置向量]]'''r'''的集合。这个空间通常是三维的。位置向量定义了空间中的一个点。如果位置向量随时间会发生变化的话，那么它就可以描绘出一个路径或一个面，如粒子的运动[[轨迹]]。

'''动量空间'''是空间中所有物体的[[动量]]向量的集合。这个空间通常也是三维的。一个物体的动量可以反映它的运动情况。无论在经典力学还是在量子力学中，动量都是非常重要的一个概念。然而，依据量子力学的[[物质波|德布罗意关系]]，'''p''' = ħ'''k'''，一个自由粒子的动量正比于[[波矢]]。系统的所有[[波矢]]的集合构成波矢空间。<ref>{{cite book|language=英语 |title=Quantum Physics of Atoms, Molecules, Solids, Nuclei, and Particles|url=https://archive.org/details/quantumphysicsof00eisb |first1=R. |last1=Eisberg|first2=R.|last2= Resnick|edition=2nd | publisher=John Wiley & Sons|year=1985|isbn=978-0-471-873730}}</ref>在不严格区分动量与波矢时，这两个概念可以混用。但在晶体中，德布罗意关系并不成立。

位置与动量间的对偶性是[[庞特里亚金对偶性]]的一个例子。

位矢'''r'''的[[量纲]]为[L]，动量'''p'''的量纲为[M][L][T]<sup>−1</sup>，波矢'''k'''的量纲为[L]<sup>−1</sup>，因而类比于角频率ω之于时间''t''，'''k'''可以视为系统空间上的频率。一个系统的物理现象既可以用位矢描述，也可以用动量描述。两种描述方式所提供的系统信息是等价的。通常利用'''r'''描述更为直观，但在[[固体物理学]]中，'''k'''更为常用。

==经典力学中的位置空间与动量空间==

===拉格朗日力学===

在[[拉格朗日力学]]中，[[拉格朗日量]]<math>\mathcal{L}(\mathbf{q},\ \dot{\mathbf{q}},\ t)\,\!</math>通常是在[[位形空间]]中给出的。其中，<math>\mathbf{q} = \left( q_{1}, q_{2}, \ldots, q_{n} \right)\,\!</math>是一个''n''[[多元组|元]][[广义坐标]]。描述物体运动的[[拉格朗日方程]]为： 

:<math>\frac{d}{dt}\frac{\partial\mathcal{L}}{\partial \dot{q}_i} = \frac{\partial\mathcal{L}}{\partial q_i} \,,\quad \dot{q}_i \equiv \frac{dq_i}{dt}\,. </math>

引入广义坐标对应的正则动量：

:<math> p_i = \frac{\partial\mathcal{L}}{\partial \dot{q}_i} \,, </math>

拉格朗日方程可以化为：

:<math>\dot{p}_i = \frac{\partial\mathcal{L}}{\partial q_i} \,. </math>

拉格朗日量还可以在动量空间中给出，<math>\mathcal{L}'(\mathbf{p},\ \dot{\mathbf{p}},\ t)\,\!</math><ref>{{cite book|language=英语|last1=Hand|first1=L. N.|last2=Finch|first2=J. D.|page=[https://archive.org/details/analyticalmechan00hand_878/page/n203 190]|title=Analytical Mechanics|url=https://archive.org/details/analyticalmechan00hand_878|publisher= Cambridge University Press|year=1998|isbn=9780521575720}}</ref>。其中，<math>\mathbf{p} = \left( p_{1}, p_{2}, \ldots, p_{n} \right)\,\!</math>是一个''n''元的广义动量。通过[[勒让德变换]]改变广义坐标空间中拉格朗日量的[[全微分]]的变量：

:<math>d\mathcal{L} = \sum_{i=1}^n \left(\frac{\partial \mathcal{L}}{\partial q_i}dq_i + \frac{\partial \mathcal{L} }{\partial \dot{q}_i}d\dot{q}_i\right) + \frac{\partial \mathcal{L} }{\partial t}dt = \sum_{i=1}^n (\dot{p}_i dq_i + p_i d\dot{q}_i ) + \frac{\partial \mathcal{L} }{\partial t}dt  \,, </math>

依据微分的[[乘积法则]]存在：

:<math>\dot{p}_i dq_i = d(q_i\dot{p}_i) - q_i d\dot{p}_i </math>
:<math> p_i d\dot{q}_i = d(\dot{q}_i p_i) - \dot{q}_i d p_i </math>

将这两个式子代入可得：

:<math> d\left[\mathcal{L} - \sum_{i=1}^n(q_i\dot{p}_i + \dot{q}_i p_i)\right] = -\sum_{i=1}^n (\dot{q}_i d p_i + q_i d\dot{p}_i )  + \frac{\partial \mathcal{L} }{\partial t}dt \,. </math>

由此可得<math>\mathcal{L}'</math>的全微分为：

:<math>d\mathcal{L}' = \sum_{i=1}^n \left(\frac{\partial \mathcal{L}'}{\partial p_i}dp_i + \frac{\partial L'}{\partial \dot{p}_i}d\dot{p}_i\right) + \frac{\partial \mathcal{L}' }{\partial t}dt </math>

由此可以得到上述各个量之间的关系：

:<math>\mathcal{L}' = \mathcal{L} - \sum_{i=1}^n(q_i\dot{p}_i + \dot{q}_i p_i)\,,\quad -\dot{q}_i = \frac{\partial \mathcal{L}'}{\partial p_i}\,,\quad -q_i = \frac{\partial \mathcal{L}'}{\partial \dot{p}_i} \,.  </math>

综合后两个方程，可以得到动量空间中的拉格朗日方程：

:<math>\frac{d}{dt}\frac{\partial \mathcal{L}'}{\partial \dot{p}_i} = \frac{\partial \mathcal{L}'}{\partial p_i} \,. </math>

拉格朗日方程的坐标表述以及动量表述中所包含的系统动力学信息是相同的。当需要考虑到系统的动量以及角动量时，方程的动量表述形式将可以简化演算过程。

===哈密顿力学===

与拉格朗日力学中必须全部使用坐标或是全部使用动量的情况不同，在[[哈密顿力学]]中，[[哈密顿方程]]将坐标与动量放在了对等的地位。对于一个哈密顿量为<math>H\left(\mathbf{q},\mathbf{p},t\right)</math>的系统，其运动方程为：

:<math> \dot{q}_i = \frac{\partial H}{\partial p_i} \,,\quad \dot{p}_i = - \frac{\partial H}{\partial q_i} \,. </math>

==量子力学中的位置空间与动量空间==
{{Further|量子力学的数学表述}}

在[[量子力学]]中，系统是通过其[[量子态]]进行描述的。量子态可以表述为基态依[[权重]]的[[态叠加原理|线性叠加]]。理论上，只要所有基态都是正交的，其就可以用来表述量子态。如果选择[[位置算符]]的[[特征向量|本征矢]]作为基矢的话，那么就是在位置表象下表征一个系统的[[波函数]]<math>\psi\left(\mathbf{r}\right)</math>。[[薛定谔方程]]较为常见的以位矢'''r'''表述的形式就是位置表象下表述系统状态的一个例子。如果选定不同算子的本征矢作为基矢，那么对应地，用来描述系统的状态的表象也将不同。如果选定[[动量算符]]的本征矢作为基矢的话，那么波函数<math>\phi\left(\mathbf{k}\right)</math>也将在动量表象下进行描述。<ref name=peleg>{{cite book|language=英语 |title=Quantum Mechanics (Schaum's Outline Series)|first1=Y. |last1=Peleg|first2=R.|last2= Pnini|first3=E.|last3= Zaarur|first4=E.|last4= Hecht|edition=2nd|publisher=McGraw Hill|year=2010|isbn=978-0-071-623582}}</ref>

动量表象下的波函数与[[傅里叶变换]]以及[[频域]]这一概念密切相关。由于对于一个自由粒子，其空间频率与动量成正比。因而，在以动量本征值之和描述一个系统时，我们也就是在用频率分量之和来描述一个系统，也就是说，我们对于这个系统进行了傅里叶变换。<ref>{{cite book|language=英语 |title=Quantum Mechanics|first1=E.|last1= Abers|publisher=Addison Wesley, Prentice Hall Inc|year=2004|isbn=978-0-131-461000}}</ref>这一点将在下面进行的表象变换过程中得以体现。

===位置空间中的函数与算符===

假设位置表象下存在一个三维波函数<math>\psi\left(\mathbf{r}\right)</math>，其可以表述为正交基矢<math>\psi_j\left(\mathbf{r}\right)</math>的权重和：
:<math>\psi(\mathbf{r})=\sum_j \phi_j \psi_j(\mathbf{r})</math>

在连续取值情形时，以积分形式表达则为：
:<math>\psi(\mathbf{r})=\int_{\mathbf{k}} \phi(\mathbf{k}) \psi_{\mathbf{k}}(\mathbf{r}) {\rm d}^3\mathbf{k}</math>

如果我们选定的<math>\psi_j\left(\mathbf{r}\right)</math>为动量算符的本征矢，<math>\phi(\mathbf{k})</math>中将保留有重建<math>\psi\left(\mathbf{r}\right)</math>的全部信息，也就是说我们得到了<math>\psi</math>的另一种表述形式。

位置表象下，动量算符可以表示为：
:<math>\mathbf{\hat p} = -i \hbar\frac{\partial}{\partial \mathbf{r}}</math>
其本征矢为：
:<math>\psi_{\mathbf{k}}(\mathbf{r})=\frac{1}{(\sqrt{2\pi})^3} e^{i \mathbf{k}\cdot\mathbf{r}}</math>
本征值为''ħ'''''k'''。由此可以得到：
:<math>\psi(\mathbf{r})=\frac{1}{(\sqrt{2\pi})^3} \int_{\mathbf{k}} \phi(\mathbf{k}) e^{i \mathbf{k}\cdot\mathbf{r}} {\rm d}^3\mathbf{k} </math>
从上面的过程还可以看出，位置表象到动量表象的变换过程实际上是进行了一次傅里叶变换。<ref name=Penrose>{{cite book|language=英语 |author=R. Penrose| title=The Road to Reality| publisher= Vintage books| year=2007 | isbn=0-679-77631-1}}</ref>

===动量空间中的函数与算符===

进行上述过程的逆过程。假设动量表象下的一个三维波函数<math>\phi(\mathbf{k})</math>可以表示为正交基矢<math>\phi_j(\mathbf{k})</math>的权重和：
:<math>\phi(\mathbf{k})=\sum_j \psi_j \phi_j(\mathbf{k})</math>
积分形式为：
:<math>\phi(\mathbf{k})=\int_{\mathbf{r}} \psi(\mathbf{r}) \phi_{\mathbf{r}}(\mathbf{k}) {\rm d}^3\mathbf{r}</math>

动量表象下，位置算符可以表示为：
:<math>\mathbf{\hat r} = i \hbar\frac{\partial}{\partial \mathbf p} = i\frac{\partial}{\partial \mathbf{k}}</math>

其本征矢为：
:<math>\phi_{\mathbf{r}}(\mathbf{k})=\frac{1}{(\sqrt{2\pi})^3} e^{-i \mathbf{k}\cdot\mathbf{r}}</math>
本征值为'''r'''。因而我们可以对于<math>\phi(\mathbf{k})</math>进行类似的逆构，逆构过程实际上是反傅里叶变换<ref name=Penrose/>：

:<math>\phi(\mathbf{k})=\frac{1}{(\sqrt{2\pi})^3} \int_{\mathbf{r}} \psi(\mathbf{r}) e^{-i \mathbf{k}\cdot\mathbf{r}} {\rm d}^3\mathbf{r} </math>

===位置算符与动量算符的酉等价性===

当通过傅里叶变换给出一个系统的[[幺正算符]]时，'''r'''与'''p'''可以证明是{{le|酉等价的|Unitary representation}}，也就是说它们有相同的[[谱 (泛函分析)|谱性]]。用物理语言来说就是，动量算符在动量表象中对于波函数的作用等价于位置算符在位置表象中对于波函数的作用。

==倒易空间与晶体==
{{main|倒易点阵}}
晶体中的粒子的波矢'''k'''通常与其{{le|晶格动量|crystal momentum}}密切相关，而并不与普通动量'''p'''成正比。'''k'''与'''p'''对于系统的作用并不相同。[[k·p微扰理论]]中就体现了这一点。晶格动量有一个可以描述波从一个[[晶胞]]到另一个晶胞时发生的变化的[[包络函数]]，但这一函数并不能给出晶胞内波的变化情况。

当'''k'''与晶格动量有关时，'''k'''空间这一概念仍然相当重要，但与上文讨论的晶体之外的'''k'''空间有所不同。晶体的'''k'''空间中有一个无限点集——[[倒易点阵]]。其中所有点的'''k''' = '''0'''。类似地，'''k'''空间中还存在一个体积有限的[[布里渊区]]，区域中所有的'''k'''值相等。

==参考文献==
{{reflist}}

==参见==
*[[相空间]]

{{DEFAULTSORT:Momentum Space}}
[[Category:粒子物理学]]
[[Category:量子力学]]
[[Category:凝聚体物理学]]