第四章 算符
第四章 数据库设计基础——关系运算

3. 交(Intersection) )
R和S
具有相同的目n 相应的属性取自同一个域
R∩S
仍为n目关系,由既属于R又属于S的元组组成 R∩S = { t|t ∈ R∧t ∈S } R∩S = R –(R-S)
An Introduction to Database System
交 (续) 续
An Introduction to Database System
(c)
An Introduction to Database System
1. 选择(Selection) 选择( )
1) 选择又称为限制(Restriction) 2) 选择运算符的含义 在关系R中选择满足给定条件的诸元组 σF(R) = {t|t∈R∧F(t)= '真'} F:选择条件,是一个逻辑表达式,基本形式为:
学生-课程数据库: 学生关系Student、课程关系Course和选修关系SC
Student
学号 Sno 200215121 200215122 200215123 200215125 姓名 Sname 李勇 刘晨 王敏 张立 性别 Ssex 男 女 女 男 (a) 年龄 Sage 20 19 18 19 所在系 Sdept CS IS MA IS
An Introduction to Database System
(b)
专门的关系运算(续 专门的关系运算 续)
SC
学号 Sno 200215121 200215121 200215121 200215122 200215122 课程号 Cno 1 2 3 2 3 成绩 Grade 92 85 88 90 80
200215121 200215121 200215122 200215122
第四章-表象—态和力学量的表达方式

归一化条件
Ψ (t )Ψ (t ) = ∑ cn (t ) = 1
+ 2 n
* * Φ + (t ) = b1* (t ) b2 (t ) L bn (t ) L
+ * n *
∞ r r Ψ (r , t ) = ∑ c n (t )ψ n (r ) n= 0
编号有时是从零开始的, 注: 编号有时是从零开始的,例如谐振子情况 r 连续谱情况
r 有时需要重新编号, 有时需要重新编号,例如氢原子情况 Ψ (r , t ) = ∑ cnlm (t )ψ nlm (r )
n
∑ c (t )
n n
2
r 2 = ∫ Ψ (r , t ) dV
r Ψ (r , t )描述状态 ⇔ {cn (t ), n = 1,2, L}描述状态
* * * Ψ + (t ) = c1 (t ) c2 (t ) L cn (t ) L
状态可由矢量描述——态矢量 态矢量 状态可由矢量描述 列矢量
矩阵元
厄米共扼——转置+共扼(F 转置+ 厄米共扼 转置
+
)
nm
* = Fmn
r ˆ r r ˆ r * ˆ 是厄米算符时 F = φ * (r )Fφ (r )dV = φ (r ) Fφ (r ) dV = F * F nm m n mn ∫ n ∫ m
(
)
(F )
+
nm
= Fnm , 即,F + = F
描述状态 前面——波函数 波函数 前面 ——算符 算符 描述力学量 r r ˆ F (r ,− ih∇ )Ψ (r , t ) 这种描述方式(坐标表象 坐标表象)不是描述态和力学量的唯一方式 这种描述方式 坐标表象 不是描述态和力学量的唯一方式 态和力学量的具体表达(描述) 态和力学量的具体表达(描述) 方式称为表象 下面从坐标表象出发讨论其它表象——表象理论 坐标表象出发讨论其它表象 下面从坐标表象出发讨论其它表象 表象理论 第1节 态的表象
第四章 运算符与表达式

11
4.1 运算符
例子: “A”>“B” 结果为“false” “ab”>“ac” 结果为“false” “ab”>“abc” 结果为“false” “ab”<“人” 结果为“true” “ab”>“AB” 结果为“true” “123”>“99” 结果为“false” “123”=“123” 结果为“true” “你们”>“我们” 结果为“true”
37
4.2 表达式
运算过程中的溢出错误: 当为数值型变量赋一个超出其表示范围的值 时会出现“溢出错误”。同样,在表达式的 运算过程中,当运算的中间结果超出变量的 表示范围时,也会导致“溢出错误”。 例子: dim int1 as integer, int2 as integer, sng1 as single int1=20000: int2=20000 sng1=int1+int2 ′溢出错误。
29
4.2 表达式
1、表达式的求解顺序 在表达式中,先计算优先级高的运算符,再 计算优先级低的运算符。优先级相同时,从 左向右计算。 使用圆括号,可以改变计算顺序,先计算括 号内的 例子: a = 2 + 3 – 3 + 4 b=2–3*3+4/5
30
4.2 表达式
2、运算符的优先级 当表达式中运算符不止一种时,优先级如下: 算术运算符 > 比较运算符 > 逻辑运算符 所有比较运算符的优先级都相同,要按它们 出现的顺序从左到右进行计算。 字符连接运算符“&”的优先级位于算术和比 较运算符之间。 算术运算符 > & > 比较运算符 > 逻辑运算符
F or F
F xor T F eqv F T imp F
4第四章 运算符重载

const complex operator - (const complex &c) const; void display(); //输出复数 private: //私有数据成员 1.是为了堵塞a+b=c的漏洞。 double real; //复数实部 2. 3.是为了扩大适应性。 double imag; //复数虚部 };
17
[ ]运算符重载为成员函数
下标运算符[]可以重载: 重载形式为:operator[](int); 当 X x; 隐含调用。 x[y] 可被解释为: 显式调用。 x. operator [ ](y); 只能重载为成员函数,不能使用友元函数。 这个类显然是个‚数组类‛。
18
前置++和后置++重载为成员函数
9
使用
void main(){
complex c1(5,4),c2(2,10),c3; //三个复数类的对象 cout<<"c1="; cout<<"c2="; c1.display(); c2.display();
c3=c1-c2; //使用重载运算符完成复数减法 cout<<"c3=c1-c2="; c3.display(); 程序输出结果为:
这三个运算符是许多 教课书没有提到的。
唯一的一个三目运 算符不能重载。
3
运算符重载的基础
设计运算符重载函数,首先要了解运算符原本的运算语义。重
载函数要忠实遵守该运算符作用于基本数据类型时的语义,
并表现出自身所特有的性质。 例如:+ 、+= 、=、++(前)、++(后) ....
力学的算符表示和表象

(18)
对于 p y , p z 也有同样的等式。如果 G px 是 p x 的解析函数,且可展成 p x 的幂级数 G p x Cn p x n (19)
n
则有
n ˆx G px G px Cn * r , t p r , t dr n
(1)
等均代表对 的运算。概括起来讲,设某种运算将函数 变为函数 u,记作
ˆ u Fv
ˆ 称作算符。若算符 F ˆ 满足 则表示这种运算的符号 F
(2)
ˆ c v c v c F ˆ ˆ F 1 1 2 2 1 v1 c2 Fv2
(3)
ˆ 为线性算符。动量算符, 其中 v1 和 v2 是任意函数, c1 和 c2 是常数(一般为复数) ,则称 F
(3)
(二)再论(归一化的) r , t 和 C r , t 的物理意义
2 2
与波函数相联系的粒子,一般既不具有精确的位置,有不具有精确的动量。一般 地,对于 ψ 表示的单个粒子系统,要对该粒子的动力学变量中的这个或者那个做测量 时,我们不能对测量结果做确定的预言,但是对于 N 个大量数目、彼此独立的等价系统 (每个系统都由同一波函数 ψ 描述) ,如果我们对它们中的每一个做位置测量,则 给
(一)统计平均值的意义
如果通过一系列的实验测定系统的一个状态参量 ξ,得到相应的值为 A1,A2……AS,在 总的试验次数 N 中,得到这些值的次数分别是 N1,N2,……NS,则 ξ 的(算数)平均值为
AN
i 1 s i
s
i
N
i 1
Ai
i 1
s
Ni N
(1)
i
当总的试验次数 N 时,量 ξ 的平均值的极限便是ξ的统计平均值
量子力学第四章习题(1)

第四章态叠加原理及力学量的算符表示4-1 下列算符哪些是线性的?为什么? (1) (2) ( )2 (3) (4)4-2 线性算符具有下列性质:,式中C是复数。
下列算符哪些是线性的?(1)(2)(3)(4)(5)(6)4-3 若都是厄米算符,但,试问:(1)是否厄米算符?(2)是否厄米算符?4-4 证明下列算符哪些是厄米算符:4-5 (1)证明(2)4-6试判断下述二算符的线性厄米性,(1)(2)4-7 试证明任意一个算符不可能有两个以上的逆。
又问,算符的情况下,是什么样的算符?4-8 对于一维运动,求的本征函数和本征值。
进而求的本征值。
4-9 若算符有属于本征值为的本征函数,且有:和,证明和也是的本征函数,对应的本征值分别是和。
4-10 试求能使为算符的本征函数的值是什么?此本征函数的本征值是什么?4-11 如果为线性算符的一个本征值,那么为的一个本征值。
一般情况下,设为的多项式,则便为的一个本征值。
试证明之。
4-12 试证明线性算符的有理函数也是线性算符。
4-13 当势能改变一个常数C时,即时,粒子的波函数与时间无关的那部分改变否?能量本征值改变否?4-14 一维谐振子的势能,处于的状态中,其中,问:(1)它的能量有没有确定值?若有,则确定值是多少?(2)它的动量有没有确定值?4-15 在时间时,一个线性谐振子处于用下列波函数所描写的状态:式中是振子的第n个时间无关本征函数。
(a)试求C3的数值。
(b)写出在t时的波函数。
(c)在时振子的能量平均值是什么?在秒时的呢?4-16 证明下列对易关系:,4-17 证明下列对易关系:。
第四章 力学量用算符表达 new

单位算符Î 动量算符 均可观测量的力学量算符都是线性算符,这 是态叠加原理的反映。
第4章 力学量用算符表示@ Quantum Mechanics
Fang Jun 第12页
例子
粒子状态满足薛定谔方程
若ψ1, ψ2是方程的解,则c1ψ1 + c2ψ2也是方程的解。事实上
第4章 力学量用算符表示@ Quantum Mechanics
Fang Jun
第2页
1. 统计平均值的意义
如果通过一系列的实验测定系统的一个状态的参量ξ,得到相应的 值为A1,A2,…,As,在总的实验次数N中,则得到这些值的次数分别 是N1,N2,…, Ns,则ξ的(算术)平均值为
当总的实验次数N→∞时,量ξ的平均值的极限是ξ的统计平均值
由于在任意状态下<A>都为实,所以 (Ψ1,AΨ1)=(AΨ1,Ψ1),有
( 2 , A 1 ) ( 1 , A 2 ) ( A 2 , 1 ) ( A 1, 2 )
* *
^
^
^
^
( 1 , A 2 ) ( A 1 , 2 ) ( A 2 , 1 ) ( 2 , A 1 )
Fang Jun 第14页
算符相等
ˆ ˆ 设算符 A 和B 对体系的任何波函数Ψ 的运算所得结果都相
同 算符之积
ˆ ˆ A B
则称两个算符相等,记做
ˆ ˆ A B
ˆˆ ˆ ˆ 算符 A 与 B 之积 AB ,定义为
( AB) A( B )
且满足
A( B C ) AB AC
精确的动量。一般地,对于Ψ 表示的单个粒子系统,要对该粒子 的动力学变量中的这个或者那个做测量,我们不能对测量结果做
第四章 力学量与算符ppt课件

i ijk xk , i ijk pˆ k
Lˆ2Lˆ2xLˆ2yLˆ2z
可证: Lˆ2, Lˆ 0
Lˆ2, Lˆi 有共同的本征波函数完备集
ppt课件完整
12
2. 球坐标系下,轨道角动量算符的表达式
Lˆ x
i sin
ctg
cos
Lˆ
y
i cos
ctg
sin
4, 逆算符:若 A ˆB ˆB ˆA ˆI,则 Bˆ Aˆ1
5,除:Aˆ/Aˆ
Aˆ1AˆAˆ1Aˆ1
6,算符函数: Fˆ
Aˆ
F n 0Aˆ n
n0 n!
F n 0
d nF x
dx n
x0
ppt课件完整
4
三. 算符的厄米共轭运算与厄米算符
1,内积
,* d3r
2,算符的复共轭运算: ,*,
充分必要条件是:二者对易。
ppt课件完整
7
4.3 力学量与力学量算符及平均值
量子力学第三个基本假定:力学量和 力学量算符
① 任符一F力rˆ,学pˆ,t量F ;r,p,t都对应于一个力学量算 ② 且 Frˆ,pˆ,t 是厄米算符,Fˆ Fˆ ;
③ 力学量算符 Fˆ 的本征值就是力学量F允许的取值; ④ 当且仅当粒子处在 Fˆ本征态时,粒子的力学量有确
Lˆ z
i
Lˆ2
2
1
sin
sin
1 sin 2
2
2
pˆ2
2
1 r2
22
r2 r
2 r2
r r2 r
Lˆ2 r22
r
Lˆ2 r2
特点 Lˆx,Lˆy,Lˆz 、 Lˆ2 只与 , 有关,与r无关
第四章 力学量用厄米算符表达

ˆ ˆ ˆ Fψ = Aψ + Bψ
ˆ ˆ ˆ ˆ ˆ ˆ 称算符 F 等于 A 与 B 之和。写作 F = A + B
。
ˆ ˆ ˆ ˆ ˆ 例3:哈密顿算符 H = T + V 就是动能算符 T 与势能算符 V
之和。算符求和满足交换律与结合律,
ˆ ˆ ˆ ˆ A+ B = B + A
ˆ ˆ ˆ ˆ ˆ ˆ A + ( B + C ) = ( A + B) + C
ˆ ˆ ˆ ˆ ˆ l = r × p = r × (−i ∇) = −i r × ∇
如果没有经典力学表达式的量子力学力学量,比如电子的自旋, 它的算符由量子力学独立建立。
Atomic physics and quantum mechanics
9
三
算符运算的基本性质
定义1:线性算符
由于态叠加原理,在量子力学中的力学量算符应是线性算符, 所谓线性算符,即是具有如下性质
式中c1、c2为任意常数。
Atomic physics and quantum mechanics
20
定义9:转置算符
ˆ ˆ 算符 A 的转置算符 AT 定义为
ˆ Tφ = dτφ Aψ ∗ ˆ dτψ ∗ A ∫ ∫ ˆ ˆ (ψ , ATφ ) = (φ ∗, Aψ ∗)
式中 ψ 与 例5:证明
∫
+∞ −∞
⎡⎛ ∂ ⎞ T ∂ ⎤ dxψ ∗ ⎢⎜ ⎟ + ⎥ φ = 0 ∂x ⎥ ⎢ ⎝ ∂x ⎠ ⎣ ⎦
ψ ∗, φ 任意
∂ ⎛ ∂ ⎞ + =0 ⎜ ⎟ ∂x ⎝ ∂x ⎠
21
T
Atomic physics and quantum mechanics
第四章 运算符

简单赋值运算符
符号:
= 格式: 变量标识符=表达式 作用:将右侧的表达式求出结果,赋给其左侧的变量
例 a=3; 复合赋值运算符
d=func(); -= *= /= %= 《= 》= &= ^= |= 含义: exp1c=d+2; op= exp2 exp1 = exp1 op exp2
逗号运算符
1最低
左结合性
4.1 运算符和表达式
sizeof运算符 sizeof运算符是测试变量、表达式或类 型名所占用的字节数。有两种用法: sizeof 表达式: sizeof(类型标识符):
见例题2.2
4.1 运算符和表达式
数据类型转换
隐式类型转换:由编译器自动完成的类型转换 什么情况下发生
结合方向:自右向左
C++运算符一览表
名称 运算符 举例 优先级 结合性
作用域区分符
分量运算符 函数调用运算符
::
. -> ()
::x
p.next,p->next fac()
15最高
14
左结合性
下标运算符
后增量、后减量 前增量、前减量 求字节运算符
[]
++ -++ -sizeof
p[10]
p++ --p sizeof(int) 13 12 11 右结合性
4.2 选择控制语句
if语句
格式一: if(<条件表达式>)
执行过程
expr 非0 =0
<语句>;
语句
格式二: if(<条件表达式>)
{
第四章 运算符重载

4.3重载运算符的规则
(1)C++只允许已有的部分运算符实施重载。 (2)不能重载的运算符有五个。 (3)重载不改变操作数的个数。 (4)重载不改变运算符的优先级。 (5)运算符重载函数不能带默认值参数。 (6)运算符重载函数必须与自定义类型的对象联 合使用,其参数至少有一个类对象或类对象引用。 (7)C++默认提供 = 和 & 运算符重载。
例4.1 通过成员函数实现复数的加法。 class Complex { private: double real; double imag; public: Complex(){real=0;imag=0;} Complex(double r,double i){real=r;imag=i;} Complex complex_add(Complex &c2); void display(); };
int main() {Complex c1(3,4),c2(5,-10),c3; c3=c1+c2; cout<<"c1=";c1.display(); cout<<"c2=";c2.display(); cout<<"c1+c2=";c3.display(); return 0; }
说明: (1)用运算符重载函数取代了例 4.1中的加法成 员函数,从外观上看函数体和函数返回值都是相 同的。 (2)在主函数中的表达式c3=c2+c1 取代了例4.1 中的c3=plex_add(c2) ,编译系统将表达 式c3=c1+c2 解释为 c1.operator + ( c2 ) 对象c1调用的重载函数operator + ,以c2为实参 计算两个复数之和。
曾谨言量子力学习题解答 第四章

ˆ nx ˆm x ˆm p ˆn p 是厄密算符。 2
ˆ nx ˆm x ˆm p ˆn p 也是。 2
因此 Anm
mn
ˆB ˆ 0 ˆ 作为厄密算符 0 ˆ 的定义,并设 ( A ˆ ) 又假定用 0 ˆ ) 则本题可用较简方式来证明如下: ˆ A ( B
从原来的对易式经过总数 n-1 次运算后,得
取 A=q,B=p,注意[q,p]=hi 代入前一式后,有
(6)证明
是厄密算符
证明)本题的算符可以先行简化,然后判定其性质
是厄密算符,因此原来算符也是厄密的。 另一方法是根据厄密算符的定义:
用于积分最后一式: 前式=
说明题给的算符满足厄密算符定义。
(7)证 (证明)此算符 证明动量是厄密算符,则 F( )
ni ni
在前式的最后一项中,当 I=x 时,可利用莱勃尼兹公式:
Pxn ( X) (
h n h n 1 h n n Px ) ( X) ( )n ( X n n n 1 ) XPxn i Px i x i x x
n n n
当 i y , z : Py ( X ) XPy ; Pz ( X ) XPz
[ p, fp 2 ] pfp 2 fp 2 ( pf fp ) p 2
h i 2 f p i
(2)证明以下诸式成立: (1) (证明)根据坐标分角动量对易式
~81~
为了求证
该矢量关系式,计算等号左方的矢量算符的 x 分量。
以及
看到 由于轮换对称性,得到特征的公式。
(2) (证明)证法与(1)类似,但需先证 分量与 分量的对易律
同理可证明其他轮换式,由此得普通式
第四章运算符重载

2、对于任意一元运算符α:
(1)成员函数重载运算符
定义
type x::operator α( )
{…}
显式调用
objX.operator α( )
隐式调用
αobjX 或:ojbXα
(2)友元函数重载运算符
定义
type operator α(Xobj)
{…}
显式调用
operatorα(obj X)
隐式调用
友元函数重载运算符时,需要明确给出参数,不会出错。 3、不能用友元函数重载的运算符:
= 、 ( )、[]、- > 4、注意: (1)对THIS所指向的数据的任何改变都会影响到激活运算数函数的对象。 (2)可使用引用参数(指针)来解决重载时的二义性。
4.1.5 重载++和--
一、关于++和- 1、C中的++和- -的两种形式: 前缀:++i; 后缀:i--; 2、在C++中的约定 (显式地区分前缀和后缀) (1)对于前缀方式++i:
例4-1 1、重载“+”、“=”、“++”;读懂几个成员函数; 2、成员函数重载运算符,激活运算符的对象都是由THIS指针隐含传递的。
4.1.4 用友元函数重载运算符
1、成员函数重载可能造成的麻烦:成员函数重载的运算符不具有交换性。 原因:成员函数仅能被一个“实际对象”所调用,如果引起成员函数
调用的是一个值(非一个对象),成员函数将不能正确工作。 2、可用友元函数解决这一问题:
5、除“=”以外,重载的运算符可以被任何派生类所继承, “=”需要每个类明确定义自己的解释;
6、 重载可能让程序的可读性下降,在使用时应模仿运算符的 习惯用法 。
C++程序设计04737 第4章 运算符重载

//成员函数
myComplex &operator=(double);
//成员函数 };
myComplex::myComplex(){ real=0;imag=0;}
myComplex::myComplex(double r,double i)
{real=r;imag=i;}
myComplex myComplex::addCom(myComplex c1) {return myComplex(this->real+c1.real,this->imag+c1.imag); } void myComplex::outCom(){cout<<"("<<real<<","<<imag<<")";} void myComplex::outCom(string s) {cout<<s<<"=("<<real<<","<<imag<<")"<<endl;} void myComplex::changeReal(double r) {this->real=r;} myComplex operator+(const myComplex &c1,const myComplex &c2) //c1+c2 {return myComplex(c1.real+c2.real,c1.imag+c2.imag);}//返回一个临时对象 myComplex operator+(const myComplex &c1,double r) //c1+r {return myComplex(c1.real+r,c1.imag);} //返回一个临时对象 myComplex operator+(double r,const myComplex &c1) //r+c1 {return myComplex(r+c1.real,c1.imag);} //返回一个临时对象 myComplex operator-(const myComplex &c1,const myComplex &c2)//c1-c2 {return myComplex(c1.real-c2.real,c1.imag-c2.imag);}//返回一个临时对象 myComplex operator-(const myComplex &c1,double r) //c1-r {return myComplex(c1.real-r,c1.imag);//返回一个临时对象} myComplex operator-(double r,const myComplex &c1) //r-c1 {return myComplex(r-c1.real,-c1.imag); //返回一个临时对象} myComplex &myComplex::operator=(const myComplex &c1) {this->real=c1.real;this->imag=c1.imag;return *this; } myComplex &myComplex::operator=(double r) {this->real=r;this->imag=0;return *this;}
量子力学第四章:力学量用算符表示

第四章:力学量用算符表示(2)证明以下诸式成立:(1)(证明)根据坐标分角动量对易式为了求证该矢量关系式,计算等号左方的矢量算符的x分量。
以及看到由于轮换对称性,得到特征的公式。
(2)(证明)证法与(1)类似,但需先证分量与分量的对易律同理可证明其他轮换式,由此得普通式取待证的公式等号左方的x 分量,并用前一式加以变形:根据轮换对称性,证明待证式成立。
(3)注意 与x 没有共同坐标。
(4)注意没有共同坐标,因此可以对易即,故)()(2222z y x x z y l l p p l l A +-+=zz x x z z x x z z y y x x y y x x y y x x x x y x x y l l p p l l p p l l l l p p l l p p l l l p p l l p p l )()()()(2222-+-+-+-=-+-=z x z x z z y x y x y y l p l p l l l p l p l l ],[],[],[],[+++=}{z y y z y z z y l p p l l p p l hi ++--= )}(){(y z z y y z z y p l p l l p l p hi ---=})(){(x x p l l p hi*-*=(3) l为粒子角动量。
F 为另一力学量,证明: )(],[pF p r F r hi F l ∂∂*+∂∂*-=(6)证明是厄密算符证明)本题的算符可以先行简化,然后判定其性质是厄密算符,因此原来算符也是厄密的。
另一方法是根据厄密算符的定义:用于积分最后一式: 前式=说明题给的算符满足厄密算符定义。
(7)证(A 等是实数)是厄密算符(证明)此算符 F( ) 不能简化,可以用多次运算证明,首先假定已经证明动量是厄密算符,则运用这个关系于下面的计算:τϕτψτϕτψd P A d P F n nˆ)ˆ(∑•≡•⎰⎰⎰⎰⎰⎰⎰⎰⎰•∑=>ττϕψd PA n nn n ˆ0⎰⎰⎰-•∑=τϕψd P PA n n )ˆ(ˆ1 ⎰⎰⎰-•∑=τϕψd P PA n n )ˆ()ˆ(1 ⎰⎰⎰-•∑=τϕψd P PP A n n )ˆ(ˆ)(2 τϕψd P P P PA n n )ˆ(ˆ)ˆˆ(3-•∑= ⎰⎰⎰-•∑=τϕψd P P PA n n )ˆ(ˆ)ˆ(32 τϕψd P P PA n n )ˆ(ˆ)ˆ(42-•∑= ⎰⎰⎰-•∑=τϕψd P P PA n n )ˆ(ˆ)ˆ(42 ⎰⎰⎰•=ττϕψd PF ])ˆ([ )ˆ(PF 满足厄密算符的定义。
第四章 力学量用厄米算符表达

4.1 算符及其运算规则一、算符的定义:算符代表对波函数进行某种运算或变换的符号。
ˆAuv = 表示Â把函数u 变成 v , Â就是这种变换的算符。
为强调算符的特点,常常在算符的符号上方加一个“^”号。
但在不会引起误解的地方,也常把“^”略去。
二、算符的一般特性 1、线性算符满足如下运算规律的算符Â,称为线性算符11221122ˆˆˆ()A c c c A c A ψψψψ+=+ (4-1) 其中c 1, c 2是任意复常数,ψ1, ψ2是任意两个波函数。
例如:动量算符ˆpi =-∇ , 单位算符I 是线性算符。
2、单位算符:对波函数运算后保持不变的算符称为单位算符。
ψψ=I (4-2)式中ψ为任意波函数,简记为I3、算符相等若两个算符Â、ˆB 对体系的任何波函数ψ的运算结果都相同,即ˆˆA B ψψ=,则算符Â和算符ˆB相等记为ˆˆA B =。
4、算符之和若两个算符Â、ˆB 对体系的任何波函数ψ有:ˆˆˆˆˆ()AB A BC ψψψψ+=+=,则ˆˆˆA B C += (4-3)称为算符之和。
ˆˆˆˆAB B A +=+,ˆˆˆˆˆˆ()()A BC A B C ++=++ 线性算符之和仍然是线性算符。
5、算符之积算符Â与ˆB之积,记为ˆˆAB ,定义为 ˆˆˆˆ()()ABA B ψψ=ˆC ψ= (4-4) ψ是任意波函数。
一般来说算符之积不满足交换律,即ˆˆˆˆABBA ≠。
但算符之积的结合律仍然成立,即)()(C B A C B A=6、对易关系(对易式)为了表述简洁,运算便利和研究量子力学与经典力学的关系,人们定义了对易括号:[]A B B A B A-=, 对易式 (4-5)[]A B B A B A+=+, 反对易式 (4-7)若ˆˆˆˆABBA ≠,则称Â与ˆB 不对易。
若A B B Aˆˆˆˆ=,则称Â与ˆB 对易。
- 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。
4.2
本征函数与本征值
定义:若用算符Â作用于某一函数 作用于某一函数f(x)的结果为某一常 的结果为某一常 定义:若用算符 作用于某一函数 的结果为某一 乘以f(x), 数k乘以 ,即 x)
则称f(x)是Â的具有本征值 的本征函数,上式称为算 是 的具有本征值 的本征函数, 的具有本征值k的本征函数 则称 的本征方程。 符Â的本征方程。 的本征方程
(7)算符的平方 ) 定义为算符与自身的乘积, A 定义为算符与自身的乘积,即: 2 = AA ˆ ˆˆ 例如,微分算符的平方: ˆ 例如,微分算符的平方: D 2 f ( x) = DDf = Df ′ = f ′′ ˆˆ ˆ
d2 ˆ2 = D dx 2
一函数取复共轭的算符,其平方等于单位算符。 一函数取复共轭的算符,其平方等于单位算符。 一个算符的n次方等于此算符连续运算 次 一个算符的 次方等于此算符连续运算n次。 次方等于此算符连续运算
ˆ ˆ ˆˆ ˆˆ ˆ ˆˆ ˆˆ AB = Dx = 1 + xD, [( AB)C ] f = (1 + xD )3 f = 3 f + 3 xf ′
(6)算符的对易不一定服从乘法交换律 ) 对一般代数来说, 是实数, 对一般代数来说 , 若 a和 b是实数 , 则 ab= ba。 但 和 是实数 = 。 ˆ ˆ ˆ ˆ 算符不一定如此。 算符不一定如此。定义算符 A 与 B 的对易子[ A, B ]为:
ˆ + x) 2 = D 2 + 2 xD + x 2 + 1 ˆ ˆˆ ˆ (D ˆ
ˆ ˆ ˆ ˆ ˆ ˆ ˆ ˆ ˆ ˆ ˆ ˆ (2)( D + x) 2 = ( D + x)( D + x) = D ( D + x) + x( D + x) ˆ ˆˆ ˆ ˆ ˆ ˆ ˆˆ ˆˆ ˆ = D 2 + Dx + xD + x 2 = D 2 + xD + 1 + xD + x 2 ˆ ˆˆ ˆ = D 2 + 2 xD + x 2 + 1
ˆˆ 所以, 所以,这里 AB和
(3)相等算符 )
ˆ ˆ 是不同的算符。 BA 是不同的算符。
ˆ ˆ 是两个算符,对于所有的函数 都有: 所有的函数f, 若 A 和 B 是两个算符,对于所有的函数 ,都有:
ˆ ˆ ˆ ˆ 则两个算符相等, Af = Bf ,则两个算符相等,即: A = B
算符( (4)单位算符(乘以 )1 和0算符(乘以 )0 )单位算符(乘以1)ˆ 算符 乘以0) ˆ 例如: ˆ ˆ ˆ ˆ ˆ 例如: Dx = 1 + xD
= q⋅
h ∂ ih ∂ ∂ ˆ = 2 = −i h pq = i ∂q i ∂q ∂q
例:
对应于坐标的算符是乘以坐标: 对应于坐标的算符是乘以坐标:
ˆ x = x⋅
h ∂ px = i ∂x
2
ˆ y = y⋅
h ∂ py = i ∂y
ˆˆ ˆ ˆ ˆ ˆ Dx − xD − 1 = 0
ˆˆ ˆ ˆ Dx − xD − 1 = 0
注:对于单纯是作常数乘法的算符,常省略抑扬符。 对于单纯是作常数乘法的算符,常省略抑扬符。
5) (5)算符服从乘法结合律
ˆ ˆˆ ˆˆ ˆ A( BC ) = ( AB )C ˆ = d , B = x, C = 3 ˆ ˆ ˆ ˆ 例如: 例如: A dx ˆ ˆˆ ˆˆ ˆ ˆ BC = 3 x, [ A( BC )] f = D (3 xf ) = 3 f + 3 xf ′
对于保守体系,经典力学的哈密顿算符单纯用坐标 坐标和 对于保守体系,经典力学的哈密顿算符单纯用坐标和共 轭动量来表示总能量 对于笛卡儿坐标x, , , 来表示总能量。 轭动量 来表示总能量 。 对于笛卡儿坐标 , y, z, 共轭 动量是线动量在x, , 方向上的分量 方向上的分量p 动量是线动量在 ,y,z方向上的分量 x,py和pz,即:
ˆ ˆ ˆ ˆ ˆˆ [ A, B ] ≡ AB − BA
ˆ ˆ ˆˆ ˆ 若 AB = BA 则称算符 A 和 B 是可对易的。 ˆ 是可对易的。
例如:[3, 例如: ˆ 而
d ˆ d − d 3=0 ˆ ]=3 dx dx dx
d ˆˆ ˆ ˆ ˆ [ , x] = Dx − xD = 1 dx
4.3
算符与量子力学
h d [− + V ( x)]ψ ( x) = Eψ ( x) 2 2m dx
E:本征值 :
2
2
ψ (x) :本征函数
h2 d 2 哈密顿算符H − + V ( x) :哈密顿算符H 2 2m dx
对于一个势能V(x)只是坐标的函数的体系, 总能量对时间 只是坐标的函数的体系, 对于一个势能 只是坐标的函数的体系 保持常数, 是保守的。 保守体系。 保持常数,即E是保守的。这样的体系叫做保守体系。 是保守的 这样的体系叫做保守体系
ln f = kx + 常数
f =e
常数
⋅ e = ce
kx
kx
本征值k可以是任意数而仍能满足本征方程。 本征值 可以是任意数而仍能满足本征方程。 可以是任意数而仍能满足本征方程 本征函数含一任意相乘常数c, 这对任何线性算符 本征函数含一任意相乘常数 , 的本征函数是真实的。 即若f(x)为线性算符 的具有 为线性算符Â的具有 的本征函数是真实的 。 即若 为线性算符 本征值k的一个本征函数, 本征值 的一个本征函数,则 cf(x)仍为该算符的本征 的一个本征函数 仍为该算符的本征 函数。 函数。 证明: 证明:
ˆn = d D n dx
n
(8)线性算符 ) 只有具有下列两个性质时才是线性算符: 只有具有下列两个性质时才是线性算符:
ˆ ˆ ˆ A[ f ( x ) + g ( x)] = Af ( x ) + Ag ( x) ˆ ˆ A[cf ( x)] = cAf ( x )
d d2 如:x 2 , , ˆ dx dx 2
d 2x 例如: 例如: e = 2e 2 x dx 2x是算符 d 的具有本征值 的本征函数。 的具有本征值2的本征函数 的本征函数。 则e dx
d 问题: 的所有的本征函数和本征值是多少? 问题:算符 dx 的所有的本征函数和本征值是多少? 本征方程 df df ( x) = kd (x) = kf ( x) f dx
ˆ ˆ ˆ ˆ ˆˆ ˆˆ = ACf + BCf = ( AC + BC ) f
公设: 为某一微观体系的可能状态, 公设:若ψ1,ψ2,… ψn为某一微观体系的可能状态,由它们线性组合所 也是该体系可能存在的状态。 得的ψ也是该体系可能存在的状态。
例:求
d ˆ)2 ( +x dx
ˆ ˆ ˆ ˆ ˆ ˆ ( D + x) 2 f ( x) = ( D + x)[( D + x) f ] = ( D + x)( f ′ + xf ) (1) ˆ ˆ = f ′′ + f + xf ′ + xf ′ + x 2 f ˆ ˆˆ ˆ = ( D 2 + 2 xD + x 2 + 1) f
可微: 若f(x)可微: 可微
ˆ Df ( x) = f ' ( x)
ˆ ( x 2 + 3e x ) = 2 x + 3e x D
ˆ 是将一函数乘以3的算符 的算符, 3 是将一函数乘以 的算符,则:
ˆ ( x 2 + 3e x ) = 3 x 2 + 9e x 3
算符的运算
(1)和的运算 )
ˆ ˆ ˆ ˆ ( A + B) f ( x) ≡ Af ( x) + Bf ( x)
是线性算符,而平方根算符是非线性的。 是线性算符,而平方根算符是非线性的。
线性算符中两个有用的恒等式: 线性算符中两个有用的恒等式:
ˆ ˆ ˆ ˆˆ ˆˆ ˆ ˆ ˆ ˆˆ ˆˆ ( A + B )C = AC + BC , A( B + C ) = AB + AC ˆ ˆ ˆ ˆ ˆ ˆ ˆ [( 证明: ˆ ˆ ˆ 证明: A + B )C ] f ( x) = ( A + B )[Cf ( x)] = A(Cf ) + B (Cf )
其本征值为体系 能量的可能值
2
ˆ = − h d + V ( x) H 2m dx 2
这种经典力学的物理量(如能量,坐标和动量等等) 这种经典力学的物理量 ( 如能量 , 坐标和动量等等 ) 与量子力学算符之间的对应性是普遍的。 与量子力学算符之间的对应性是普遍的 。 这是量子力 学的一个基本假定。 学的一个基本假定 。 即 : 每一物理量都有一个对应的 量子力学算符。 量子力学算符。 问题:如何得到物理量 所对应的量子力学算符呢 所对应的量子力学算符呢? 问题:如何得到物理量F所对应的量子力学算符呢? 第一步:写出F作为笛卡儿坐标和对应动量的函数的经 第一步:写出 作为笛卡儿坐标和对应动量的函数的经 典力学表示。 典力学表示。 第二步:做以下变换: 第二步:做以下变换: 笛卡儿坐标q代之以该坐标去乘的算符, 笛卡儿坐标 代之以该坐标去乘的算符,即:q 代之以该坐标去乘的算符 ˆ 线动量的每个笛卡儿分量p 代之以算符: 线动量的每个笛卡儿分量 q代之以算符:
ˆ ˆ A(cf ) = cAf = ckf = k (cf )
df ( x) = kf ( x) dx
f =e
常数
⋅ e = ce
kx
kx
(1)对于每一个不同的本征值 ,得到一个不同的本征函数。 )对于每一个不同的本征值k,得到一个不同的本征函数。 相同, 不同, (2)即使本征值 相同,若常数 不同,仍有不同的本征函数 。 )即使本征值k相同 若常数c不同 值但不同c值的本征函数不是线性独立的 (3)具有同一 值但不同 值的本征函数不是线性独立的。 )具有同一k值但不同 值的本征函数不是线性独立的。