
量子力学数学基础简介.doc
16页目 录第1章 量子力学简史 1第2章 量子力学重要内容简介 22.1基本假设 22.2对易力学量完全集 32.3态矢量、算符 32.3.1态矢量 32.3.2算符 4第3章 泛函分析简介 43.1集合与空间 43.1.1集合 43.1.2拓扑空间 53.1.3度量空间 53.1.4赋范线性空间 53.1.5内积空间 63.1.6希尔伯特空间 63.1.7希尔伯特空间的重要性质 63.1.8综述 73.2线性算子 83.2.1线性算子 83.2.2线性运算与乘法 93.2.3伴算子 93.2.4自伴算子 10第4章 量子力学中泛函分析的应用 114.1量子态的矩阵表示 114.2算符 124.3本征方程 124.4平均值 13第5章 后序 13参考文献 15第一章量子力学简史1900年,普朗克提出辐射量子假说,假定电磁场和物质交换能量是以间断的形式(能量子)实现的,能量子的大小同辐射频率成正比,比例常数称为普朗克常数,从而得出黑体辐射能量分布公式,成功地解释了黑体辐射现象1905年,爱因斯坦引进光量子(光子)的概念,并给出了光子的能量、动量与辐射的频率和波长的关系,成功地解释了光电效应。
其后,他又提出固体的振动能量也是量子化的,从而解释了低温下固体比热问题1913年,玻尔在卢瑟福原有核原子模型的基础上建立起原子的量子理论按照这个理论,原子中的电子只能在分立的轨道上运动,在轨道上运动时候电子既不吸收能量,也不放出能量原子具有确定的能量,它所处的这种状态叫“定态”,而且原子只有从一个定态到另一个定态,才能吸收或辐射能量这个理论虽然有许多成功之处,但对于进一步解释实验现象还有许多困难在人们认识到光具有波动和微粒的二象性之后,为了解释一些经典理论无法解释的现象,法国物理学家德布罗意于1923年提出了物质波这一概念认为一切微观粒子均伴随着一个波,这就是所谓的德布罗意波由于微观粒子具有波粒二象性,微观粒子所遵循的运动规律就不同于宏观物体的运动规律,描述微观粒子运动规律的量子力学也就不同于描述宏观物体运动规律的经典力学当粒子的大小由微观过渡到宏观时,它所遵循的规律也由量子力学过渡到经典力学量子力学与经典力学的差别首先表现在对粒子的状态和力学量的描述及其变化规律上在量子力学中,粒子的状态用波函数描述,它是坐标和时间的复函数为了描写微观粒子状态随时间变化的规律,就需要找出波函数所满足的运动方程。
这个方程是薛定谔在1926年首先找到的,被称为薛定谔方程当微观粒子处于某一状态时,它的力学量(如坐标、动量、角动量、能量等)一般不具有确定的数值,而具有一系列可能值,每个可能值以一定的几率出现当粒子所处的状态确定时,力学量具有某一可能值的几率也就完全确定这就是1927年,海森伯得出的测不准关系,同时玻尔提出了并协原理,对量子力学给出了进一步的阐释量子力学和狭义相对论的结合产生了相对论量子力学经狄拉克、海森伯(又称海森堡,下同)和泡利(pauli)等人的工作发展了量子电动力学20世纪30年代以后形成了描述各种粒子场的量子化理论——量子场论,它构成了描述基本粒子现象的理论基础3第2章 量子力学重要内容简介2.1基本假设量子力学的基本假设是整个量子力学体系的基础,有如下四个这四个假设可推导出整个量子力学(非相对论)1) 一个物理系统于时间点的状态可以由希尔伯特空间中的一个归一化矢量来定义这里的希尔伯特空间指的是定义了内积的平方可积的线性矢量空间2) 每个可观测量可以通过状态空间中的一个线性厄米算符来表示,可观测量在状态的期望值(即测量结果的平均值)为 进一步的,对应于可观测量的厄米算符的所有本征态构成希尔伯特空间中的正交归一的完备函数系。
任意一个态矢量都可以由该算符的本征态展开如果系统处于算符的本征态上,对应的可观测量具有唯一确定的测量值,即该本征态对应的本征值对于任意的态,观测量的测量值是各本征值的带权平均量子力学中的测量是不可逆的,测量后系统处于该测量值的一个特征矢量上3) 位置算符和动量算符之间满足正则对易关系由此对易关系可以确定动量算符的表达式,而所有的其他算符都可以由位置算符和动量算符表出4) 状态矢量的动力学演化由薛定谔方程表示: 在这里哈密顿算符通常对应于系统的总能量2.2对易力学量完全集设有一组彼此独立而且相互对易的厄米算符,它们的共同本征态记为,表示一组完备的量子数设给定一组量子数之后,就能够确定体系的唯一一个可能状态,则我们称构成体系的一组对易可观测量完全集(complete set of commuting obserbables,简称CSCO),习惯称为对易力学量完全集,或简称力学量完全集[1]CSCO在量子力学中是个很重要的概念,是完全描述系统的最小集合,即从中抽出任何一个可观测量后,就不再构成CSCO其中可观测量的数目一般等于体系的自由度一个给定的体系往往可以找到多个CSCO,且涉及体系的对称性。
一组力学量完全集可以找到对应的共同本征态,其性质用共同本征函数描述所有本征态的本征函数构成本征函数系,本征函数系是完备的,所有物理系统的量子状态可以在该本征函数系中进行展开至于本征函数系的完备性是个很复杂的问题,本文对此不做详细讨论(可参见参考文献[2]) 2.3态矢量、算符2.3.1态矢量量子力学的基本假设中已经提到,物理系统的某个状态用希尔伯特空间中归一化矢量来描述,这个矢量叫做态矢量(state vector),简称态矢态矢量是一个关于时间和空间的函数,它描述物理系统的所有物理性质由于物理意义上的需要,态矢量函数还需要满足以下三个条件:①单值的,即在空间每一点只能有一个值;②连续的,即的值不能出现突跃; 对的一级微商也应是连续的;③平方可积的(有限),即在整个空间的积分应为一有限值,通常要求波函数归一化,即在薛定谔图像中,态矢量随时间的演化、随空间的变化要满足薛定谔方程(非相对论理论),在海森堡图像中则要满足海森堡方程这两个方程是等价的,描述同样的物理规律2.3.2算符定义算符满足的数学符号称为算符其中,为算符的本征函数系,为算符作用到本征态而得到的本征值,为所有本征值的加权平均。
量子力学中的算符源自数学中的算子理论,关于算子理论的内容将在下一小节中做简要介绍量子力学中的可观测量(observable),或称力学量,由一个线性厄米算符表示算符的线性要求也正是态叠加原理的反映假设物理系统处于力学量的本征态,则算符、本征函数与本征值之间的关系在本征方程中得到鲜明体现:对于哈密顿算符则有:其中即为系统总能量第3章 泛函分析简介上面对量子力学中与数学相关的基本概念做了简单介绍,下面将介绍这些概念背后严密的数学基础3.1集合与空间3.1.1集合集合这一数学概念的使用非常广泛,它是如此之一般,以致很难给它下一个不归结为其同义词的定义这些同义词无非是元素的总体,元素的全体等集合简称集3.1.2拓扑空间定义 设(某一个集)是“空间承载子”,是的子集所成的任一集族如果满足下列两条公理:1) 集本身与空集皆属于,2) 中任意多个(有限个或无限个)集的和及任意有限个集的交都属于,则称为中的拓扑集与在其中给定的拓扑,即偶称为拓扑空间(topological space)简单的说,如果对一个非空集合给予适当的结构,使之能引入微积分中的极限和连续的概念,这样的结构就称为拓扑,具有拓扑结构的空间称为拓扑空间。
引入拓扑结构的方法有多种,如邻域系、开集系、闭集系、闭包系、内部系等不同方法3.1.3度量空间定义 由元素(点)的某集(空间)及距离组成的偶叫做度量空间(metric space),其中距离是由中任何与确定的单值实函数,它满足以下三条公理:1),当且仅当时,2) (对称公理),3) (三角形公理),称为空间的一个度量(距离)度量空间也叫距离空间度量空间中最符合我们对于现实直观理解的是三维欧氏空间这个空间中的欧几里德度量定义两点之间距离为连接这两点的直线的长度3.1.4赋范线性空间以往的函数我们一般用来表示,此时的函数我们用表示,对应, 对应设代表实数域或复数域设是实数域(或复数域)上的线性空间,函数满足条件:①对任意,;且,当且仅当;(注意:为上的零元)②对任意及,‖(齐次性);③对任意,(三角不等式)称是上的一个范数,上定义的范数称为赋范线性空间,记为[3] 范数概念是欧几里德空间模长脱离了精确定义之后的推广完备化的赋范空间就是Banach 空间3.1.5内积空间定义了内积的矢量空间称为内积空间(Inner product space)内积公理(定义在实数或复数域上的)矢量空间中矢量的内积是它们的标量值函数,满足:1)与互为复共轭,即;2),其中和是数域上的标量;3)对于任何,;当且仅当时,。
3.1.6希尔伯特空间在一个复向量空间上的给定的内积可以按照如下的方式导出一个范数(norm): 如果此规定构成的空间对于这个范数来说是完备的,那么这个空间称为是一个希尔伯特空间(Hilbert space)3.1.7希尔伯特空间的重要性质定义:(1)设若,则说与正交或直交,记为若当时,则称为正交系若是正交系且(这等价于,是Konecker记号),则称为标准正交系约定,有;,有;,称为的正交补当时,称与相互正交性质:若是一有限正交系,则有一般地,若,类似地有性质:不含零元的正交系必线性无关性质:设是中的标准正交系若可表为,则有,即表达式中的系数惟一确定定义:若每个均可表为,则称为的标准正交基定理 设是Hilbert空间中的标准正交系,则以下条件相互等价:(1)是的标准正交基;(2)是的基本集;(3)是极大正交系,即若,则;(4)对任给的,成立如下的Parseval等式:;(5)对任给的,成立如下内积公式:推论(标准正交基的存在问题):设是一个可分的无限维Hilbert空间,则其一定存在标准正交基3.1.8综述一个集合,加上一套公理就称为一个空间对一个集合赋予一定的拓扑机构就构成一个拓扑空间。
度量空间就是一种拓扑空间同样,赋范空间属于度量空间,因为如果在任一赋范空间中引入度量[4]:则可推知其满足度量空间的公理,故赋范空间是一种度量空间内积可以诱导出范数,故内积空间又属于赋范空间完备化的内积空间就是希尔伯特空间[5]如下图所示:量子力学所使用的希尔伯特空间是函数空间,即空间的元素是函数,更确切的说是定义在一定区间上(有界或无界)上的复值平方可积函数(即对于,确保有限)[6]可以证明,这样的平方可积函数的集合对于加法和数乘是封闭的,因此构成一个线性空间(矢量空间)量子力学中内积的定义如下:对于任意两个函数定义为对应量子体系的内积,也叫标积(scalar product)[1]3.2线性算子3.2.1线性算子假设等是(实数或复数)上的向量空间定义: 若一个映射满足,则称为从到的线性算子容易看出,上述等式可推广到更一般的情形:若,则称为零算子,就记为0;若为常数,则称为纯量算子(或相似变换,若),记作,当与1时,分别是零算子和单位算子3.2.2线性运算与乘法对线性算子可定义两种自然的运算:线性运算与乘法若是线性算子,,则。
