隐身衣技术II:光学变换(1) [ witten1 ]
未经允许,谢绝转载
[SIZE=3]
正是M.Faraday(中文翻译“迈克尔.法拉弟”)强调了“力线”的重要性。通在放在磁铁周围的铁粉他“能”看到排列规则的磁力线,这对于M.Faraday而言就代表了真实的物理。这些力线是连续变化的且“力线密度”代表了场的强度。同样,电场线在无电荷存在的时候也是连续变化的(在有电荷存在时可能是出发点(正电荷)或者终止点(负))。事实上对于任何矢量形式的保守量我们总可以找到相应的矢量来代表相应于那个保守矢量场的能流方向,而在电磁场中,这样的量被称为Poynting(中文译:玻印廷)矢量,这个Poynting矢量正代表了电磁场的能流方向。直观上我们可以把Poynting矢量想像成为“一束”光线的数学表达。
Maxwell(中文译:麦克斯韦)方程组恰是Faraday工作的数学实现。Maxwell方程组描述了经典光学的现象并且他们的形式具有坐标变换不变的性质(在这里其实就是Maxwell方程组是Lorentz协变的)。举个例子,如果我们把方程用Cartesian(中文译:笛卡尔)坐标系:
[SIZE=3]
[SIZE=3]
这里μ(r)和ε(r)相应于磁导率和电介电张量,μ_0和ε_0则相应于真空磁导率和真空介电常数。然后如果我们用柱坐标系重新表达这组方程,则我们所改变仅仅只是μ和ε。Andrew Ward和我在过去利用这些结果去改编原先是用Cartesian坐标写出来的计算机代码使之适用于光纤传导(对于光纤而言,我们可以天然的采取柱坐标系,因为光纤就是柱对称的——即轴旋转对称)(A. J. Ward and J. B. Pendry, J. Mod. Opt. 43, 773 (1996).)。显然由于Maxwell方程组的开然协变性,这样的坐标变换总是可行的,这样对于具体的光学装置我们可以采取最适用于具体的光学装置的边界条件的坐标系以此我们可以去探究一大类的来自简单正则装置的光学器件。(J. B. Pendry, Contemp. Phys. 45, 191 (2004).)
追随Faraday的脚步,我们能够给出坐标系变换的物理内涵:假定我们开始有一组在Cartesian坐标系里给定的电磁场以及与之关联的Poynting矢量。接下来让我们想象着坐标系连续的“扭曲”变换换到一个坐标系。而光学变换正是从力线是有效的“粘”在坐标系上的实现中诞生的(J. B. Pendry, Contemp. Phys. 45, 191 (2004))。当整个坐标架被“扭曲”变形时,相应于其坐标架的场也发生了相应的变动。所以最终如果我们想引导一束光的路线,我们所要做的是仅仅只是扭曲光线所走的空间的标架即可,这样的过程可以被称作一个光学变换过程——连续的变换提供我们所需要的μ和ε的值让我们可以把光引向我们需要它走的路径。
[SIZE=3]
光学变换(1)
[/SIZE]正是M.Faraday(中文翻译“迈克尔.法拉弟”)强调了“力线”的重要性。通在放在磁铁周围的铁粉他“能”看到排列规则的磁力线,这对于M.Faraday而言就代表了真实的物理。这些力线是连续变化的且“力线密度”代表了场的强度。同样,电场线在无电荷存在的时候也是连续变化的(在有电荷存在时可能是出发点(正电荷)或者终止点(负))。事实上对于任何矢量形式的保守量我们总可以找到相应的矢量来代表相应于那个保守矢量场的能流方向,而在电磁场中,这样的量被称为Poynting(中文译:玻印廷)矢量,这个Poynting矢量正代表了电磁场的能流方向。直观上我们可以把Poynting矢量想像成为“一束”光线的数学表达。
Maxwell(中文译:麦克斯韦)方程组恰是Faraday工作的数学实现。Maxwell方程组描述了经典光学的现象并且他们的形式具有坐标变换不变的性质(在这里其实就是Maxwell方程组是Lorentz协变的)。举个例子,如果我们把方程用Cartesian(中文译:笛卡尔)坐标系:
[SIZE=3]
grad cross product E=-μ(r)μ_0δH/δt, (1)
[/SIZE][SIZE=3]
grad cross product H=+ε(r)ε_0δE/δt, (2)
[/SIZE]这里μ(r)和ε(r)相应于磁导率和电介电张量,μ_0和ε_0则相应于真空磁导率和真空介电常数。然后如果我们用柱坐标系重新表达这组方程,则我们所改变仅仅只是μ和ε。Andrew Ward和我在过去利用这些结果去改编原先是用Cartesian坐标写出来的计算机代码使之适用于光纤传导(对于光纤而言,我们可以天然的采取柱坐标系,因为光纤就是柱对称的——即轴旋转对称)(A. J. Ward and J. B. Pendry, J. Mod. Opt. 43, 773 (1996).)。显然由于Maxwell方程组的开然协变性,这样的坐标变换总是可行的,这样对于具体的光学装置我们可以采取最适用于具体的光学装置的边界条件的坐标系以此我们可以去探究一大类的来自简单正则装置的光学器件。(J. B. Pendry, Contemp. Phys. 45, 191 (2004).)
追随Faraday的脚步,我们能够给出坐标系变换的物理内涵:假定我们开始有一组在Cartesian坐标系里给定的电磁场以及与之关联的Poynting矢量。接下来让我们想象着坐标系连续的“扭曲”变换换到一个坐标系。而光学变换正是从力线是有效的“粘”在坐标系上的实现中诞生的(J. B. Pendry, Contemp. Phys. 45, 191 (2004))。当整个坐标架被“扭曲”变形时,相应于其坐标架的场也发生了相应的变动。所以最终如果我们想引导一束光的路线,我们所要做的是仅仅只是扭曲光线所走的空间的标架即可,这样的过程可以被称作一个光学变换过程——连续的变换提供我们所需要的μ和ε的值让我们可以把光引向我们需要它走的路径。
标量_百度百科
矢量运算- 搜搜百科
矢量-中文百科在線
www.zwbk.org/MyLemmaShow.aspx?zh=zh-tw&lid=97781
作品相关矢量的定义_妖尾之矢量操纵最新章节_傲世中文网
两个矢量的标积Two vector scalar product - 青云翻译
www.zaixian-fanyi.com/fan_yi_3357938 - 轉為繁體網頁
关于量子力学中角动量算符的一个疑问
在通常的量子力学教科书里,角动量算符通常可以表示为坐标x跟动量算符的叉乘,而动量算符可用对坐标的偏微分来表示。
从另外一个角度看,能量、动量和角动量等物理量与时空的各种变换紧密相连。角动量与空间转动有关,而角动量算符也可来源于空间(或坐标系)的无限小转动。下面,我就据此来给出一个疑问。
我们都知道,空间转动保持两个矢量的标积不变,用量子力学的语言可以表示为转动保持不变。在所有这些标积中,有一个标积非常特殊,即,或者表示成平面波exp(ipx),它的不变性也可看作是"px"这个标积在转动下不变。
平面波转动不变性的一个直接的结果就是角动量算符作用其上必须为零,可是通常的角动量算符却给出坐标x与动量p的叉乘,而不是零。这该如何解释呢?实际上,只要在原先的角动量算符中加入相应的动量部分即可,即L=L_x+L_p,L_p的结构与L_x相似,将坐标换作动量p即可。这样,L作用在平面波上,给出两个值相同符号却相反的角动量,即零。加上动量部分L_p,是因为动量也是矢量,在转动下也变化。总的角动量L依然满足原先的对易关系,因为L_x跟L_p彼此独立。
现在问题出现了。由L的各分量不对易,我们应该有不确定关系,其中不等式右侧有<>一项。这里,我们可以取态为平面波,此项就可写成相应的波函数表示。可是,由上面我们知道L的任何分量作用在平面波上都是零,因此不确定关系的不等号右侧为零,这就违背了不确定关系!
这是怎么回事呢?
从另外一个角度看,能量、动量和角动量等物理量与时空的各种变换紧密相连。角动量与空间转动有关,而角动量算符也可来源于空间(或坐标系)的无限小转动。下面,我就据此来给出一个疑问。
我们都知道,空间转动保持两个矢量的标积不变,用量子力学的语言可以表示为转动保持不变。在所有这些标积中,有一个标积非常特殊,即
平面波转动不变性的一个直接的结果就是角动量算符作用其上必须为零,可是通常的角动量算符却给出坐标x与动量p的叉乘,而不是零。这该如何解释呢?实际上,只要在原先的角动量算符中加入相应的动量部分即可,即L=L_x+L_p,L_p的结构与L_x相似,将坐标换作动量p即可。这样,L作用在平面波上,给出两个值相同符号却相反的角动量,即零。加上动量部分L_p,是因为动量也是矢量,在转动下也变化。总的角动量L依然满足原先的对易关系,因为L_x跟L_p彼此独立。
现在问题出现了。由L的各分量不对易,我们应该有不确定关系,其中不等式右侧有<>一项。这里,我们可以取态为平面波,此项就可写成相应的波函数表示。可是,由上面我们知道L的任何分量作用在平面波上都是零,因此不确定关系的不等号右侧为零,这就违背了不确定关系!
这是怎么回事呢?
广告
请阅读量子力学中关于表象的章节, 进入和退出表象. 是动量在坐标表象中的波函数. 转动不变是不变. exp(ipx)不是角动量算符的本征函数. 比如卢瑟福散射, alpha粒子相对于原子核是平面波, 它没有角动量? 请阅读原子物理.
除自旋外, 动量, 角动量都有经典对应. 请楼主将经典的动量, 角动量与量子力学中动量, 角动量比较一下.
楼主的概念有点混乱, 找本好的量子力学教材, 最好是英文的. 看下角动量, SO(3)群等概念.
楼主的概念有点混乱, 找本好的量子力学教材, 最好是英文的. 看下角动量, SO(3)群等概念.
2楼: Originally posted by huow005 at 2012-12-30 15:29:56
请阅读量子力学中关于表象的章节, 进入和退出表象. <x|p>是动量在坐标表象中的波函数. 转动不变是<x|x'>不变. exp(ipx)不是角动量算符的本征函数. 比如卢瑟福散射, alpha粒子相对于原子核是平面波, 它没 ...
呵呵,我有些混淆了。现在有些清楚了,当时糊涂了。多谢!:)请阅读量子力学中关于表象的章节, 进入和退出表象. <x|p>是动量在坐标表象中的波函数. 转动不变是<x|x'>不变. exp(ipx)不是角动量算符的本征函数. 比如卢瑟福散射, alpha粒子相对于原子核是平面波, 它没 ...
2楼: Originally posted by huow005 at 2012-12-30 15:29:56
请阅读量子力学中关于表象的章节, 进入和退出表象. <x|p>是动量在坐标表象中的波函数. 转动不变是<x|x'>不变. exp(ipx)不是角动量算符的本征函数. 比如卢瑟福散射, alpha粒子相对于原子核是平面波, 它没 ...
这个对请阅读量子力学中关于表象的章节, 进入和退出表象. <x|p>是动量在坐标表象中的波函数. 转动不变是<x|x'>不变. exp(ipx)不是角动量算符的本征函数. 比如卢瑟福散射, alpha粒子相对于原子核是平面波, 它没 ...
5楼: Originally posted by walk1997 at 2012-12-30 17:02:04
这个对<x|p>的解释不太符合Dirac的精神吧
<x|p>可以看成是矩阵元 也可以看成是矩阵(x,p变的话) 也可以看成是x或者p表象下"波函数"的系数 这样的矩阵元是转动不变的 系数也是转动不变的 变的 ...
其实,对于平面波exp(ipx),在坐标系转动下,有两种解释,如果把它表示成这个对<x|p>的解释不太符合Dirac的精神吧
<x|p>可以看成是矩阵元 也可以看成是矩阵(x,p变的话) 也可以看成是x或者p表象下"波函数"的系数 这样的矩阵元是转动不变的 系数也是转动不变的 变的 ...
可以看出,我是混淆了这两种解释。混淆的原因在于,第一种解释其实可以推广到场或一般的波函数φ,即
对于第一种解释,补救的方法可以找到,那就利用场的概念,其中|p>=a^{\dag}|0>,平移算符为T=exp(iaP),其中P=\int dp p a^{\dag}a,这样|Tp>可定义为T|p>=exp(iap)|p>,而
实际上,用经典的概念可以说明一些情况。对于平面波exp(ipx),坐标系的转动不改变标记px,因此平面波在转动下保持不变。可是,坐标系的平移,却使得坐标x平移,而动量p不变,因此平面波在平移下不是不变的。
5楼: Originally posted by walk1997 at 2012-12-30 17:02:04
这个对<x|p>的解释不太符合Dirac的精神吧
<x|p>可以看成是矩阵元 也可以看成是矩阵(x,p变的话) 也可以看成是x或者p表象下"波函数"的系数 这样的矩阵元是转动不变的 系数也是转动不变的 变的 ...
前次回复中有个疑惑,即这个对<x|p>的解释不太符合Dirac的精神吧
<x|p>可以看成是矩阵元 也可以看成是矩阵(x,p变的话) 也可以看成是x或者p表象下"波函数"的系数 这样的矩阵元是转动不变的 系数也是转动不变的 变的 ...
5楼: Originally posted by walk1997 at 2012-12-30 17:02:04
这个对<x|p>的解释不太符合Dirac的精神吧
<x|p>可以看成是矩阵元 也可以看成是矩阵(x,p变的话) 也可以看成是x或者p表象下"波函数"的系数 这样的矩阵元是转动不变的 系数也是转动不变的 变的 ...
之前的推导有些错误,下面我将准确的推导过程列下来,目的是满足以下两式,这个对<x|p>的解释不太符合Dirac的精神吧
<x|p>可以看成是矩阵元 也可以看成是矩阵(x,p变的话) 也可以看成是x或者p表象下"波函数"的系数 这样的矩阵元是转动不变的 系数也是转动不变的 变的 ...
可以看出,我的错误在于将|Tp>中的Tp误认为是经典的作用Tp=p,尽管对于转动操作,
实际上,上面的推导可以不用产生、湮灭算符的形式,之所以利用,目的是为了强调|x>=φ^{\dag}(x)|0>,这对于相对论情形也成立。
5楼: Originally posted by walk1997 at 2012-12-30 17:02:04
这个对<x|p>的解释不太符合Dirac的精神吧
<x|p>可以看成是矩阵元 也可以看成是矩阵(x,p变的话) 也可以看成是x或者p表象下"波函数"的系数 这样的矩阵元是转动不变的 系数也是转动不变的 变的 ...
"(转动下 动量算符也是要变的 exp(ipx)是转动不变 但是不是转动后的新动量算符的本征值不变的本征态 除非转动相应的幺正算符和动量算符对易)"这个对<x|p>的解释不太符合Dirac的精神吧
<x|p>可以看成是矩阵元 也可以看成是矩阵(x,p变的话) 也可以看成是x或者p表象下"波函数"的系数 这样的矩阵元是转动不变的 系数也是转动不变的 变的 ...
这句话 有点拗口 也不恰当 修正一下
采用被动观点(坐标系不变 态变)exp(ipx)是转动不变 因为是
同样不能理解成转动下p.x不变 所以平面波(动量本征态)在转动下不变
8楼: Originally posted by fyl7 at 2012-12-31 14:48:21
之前的推导有些错误,下面我将准确的推导过程列下来,目的是满足以下两式,<T^{-1}x|p>=<x|Tp>和<Tx|Tp>=<x|p>。运用非相对论量子场论,|p>=a^{\dag}|0>,定义平移算符为T=exp ...
平常有 之前的推导有些错误,下面我将准确的推导过程列下来,目的是满足以下两式,<T^{-1}x|p>=<x|Tp>和<Tx|Tp>=<x|p>。运用非相对论量子场论,|p>=a^{\dag}|0>,定义平移算符为T=exp ...
印象当中都是U(a)|p>之类的吧 你这些符号感觉都是自己想着乱用
另外不管什么变换下 只要其无穷小变换(生成元)是相应厄密算符
这样的矩阵元都是不变的 这不用证明的吧 厄密算符的定义
平移变的矩阵元是
5楼: Originally posted by walk1997 at 2012-12-30 17:02:04
这个对<x|p>的解释不太符合Dirac的精神吧
<x|p>可以看成是矩阵元 也可以看成是矩阵(x,p变的话) 也可以看成是x或者p表象下"波函数"的系数 这样的矩阵元是转动不变的 系数也是转动不变的 变的 ...
内积是在空间矢量及其对偶空间矢量间进行的, 只有这个对<x|p>的解释不太符合Dirac的精神吧
<x|p>可以看成是矩阵元 也可以看成是矩阵(x,p变的话) 也可以看成是x或者p表象下"波函数"的系数 这样的矩阵元是转动不变的 系数也是转动不变的 变的 ...
之类的才叫内积, 而x|p>是动量p在坐标表象x中的投影, Integrate是投影算符.
=没这样写的, R是厄米自共轭, 作用在矢量空间及其对偶空间上.
10楼: Originally posted by walk1997 at 2012-12-31 16:56:25
平常有 <Tx|Tp>这样的表述么?到底是变换本征值还是变换态
印象当中都是U(a)|p>之类的吧 你这些符号感觉都是自己想着乱用
另外不管什么变换下 只要其无穷小变换(生成元)是相应厄密算符
这样的矩阵元都 ...
呵呵,是有些乱用了,所以才会犯错误,或者这样来理解,平常有 <Tx|Tp>这样的表述么?到底是变换本征值还是变换态
印象当中都是U(a)|p>之类的吧 你这些符号感觉都是自己想着乱用
另外不管什么变换下 只要其无穷小变换(生成元)是相应厄密算符
这样的矩阵元都 ...
其实,我不太喜欢
另外,平面波就是exp(ipx),|p>代表动量本征态,它们不是一回事。之所以用狄拉克符号,是因为exp(ipx)=
这样看来,量子力学的表达式本身就有比较容易混淆的地方,主要体现在波函数的表达式
11楼: Originally posted by huow005 at 2013-01-01 01:12:08
内积是在空间矢量及其对偶空间矢量间进行的, 只有<x|x'>, <p|p'>之类的才叫内积, 而x|p>是动量p在坐标表象x中的投影, Integrate是投影算符.
< R^{-1}x|p>=<x|Rp>没这样写的, R是厄米自 ...
内积是在空间矢量及其对偶空间矢量间进行的, 只有<x|x'>, <p|p'>之类的才叫内积, 而x|p>是动量p在坐标表象x中的投影, Integrate是投影算符.
< R^{-1}x|p>=<x|Rp>没这样写的, R是厄米自 ...
后面这个投影算符不太对 投影算符不是单位矩阵 不用对x积分
你写的是投影算符的Tr
12楼: Originally posted by fyl7 at 2013-01-01 09:41:45
呵呵,是有些乱用了,所以才会犯错误,或者这样来理解,<Tx|Tp>中的T是抽象的操作,当看作是作用到态上时,就化作<x|T^{\dag}T|p>。
其实,我不太喜欢<x0‘|x|x0'>这种矩阵元,因为它只是对单粒 ...
按照这个说法和理解 不相互矛盾了? 你的平面波exp(ipx)到底变不变?呵呵,是有些乱用了,所以才会犯错误,或者这样来理解,<Tx|Tp>中的T是抽象的操作,当看作是作用到态上时,就化作<x|T^{\dag}T|p>。
其实,我不太喜欢<x0‘|x|x0'>这种矩阵元,因为它只是对单粒 ...
13楼: Originally posted by walk1997 at 2013-01-01 20:10:37
< x|p>之类的也可以叫内积吧
后面这个投影算符不太对 投影算符不是单位矩阵 不用对x积分
你写的是投影算符的Tr...
< x|p>之类的也可以叫内积吧
后面这个投影算符不太对 投影算符不是单位矩阵 不用对x积分
你写的是投影算符的Tr...
将|p>按|x>的谱展开, 插入1, Integrate就是你写的x有连续谱
|p>=A*Integrate
|x>
15楼: Originally posted by huow005 at 2013-01-02 03:35:55
< x|p>怎么会是内积, |x>和|p>处于不同的Hilbert空间.
将|p>按|x>的谱展开, 插入1, Integrate就是你写的x有连续谱
|p>=A*Integrate
|x><x|是投影算符.
至于QM的数学基础, 梁灿宾 ...
< x|p>怎么会是内积, |x>和|p>处于不同的Hilbert空间.
将|p>按|x>的谱展开, 插入1, Integrate就是你写的x有连续谱
|p>=A*Integrate
|x><x|是投影算符.
至于QM的数学基础, 梁灿宾 ...
14楼: Originally posted by walk1997 at 2013-01-01 21:07:22
按照这个说法和理解 不相互矛盾了? 你的平面波exp(ipx)到底变不变?...
这不就更说明了量子力学体系不是很完善吗?我更倾向于认为按照这个说法和理解 不相互矛盾了? 你的平面波exp(ipx)到底变不变?...
17楼: Originally posted by fyl7 at 2013-01-02 10:21:35
这不就更说明了量子力学体系不是很完善吗?我更倾向于认为<x|p>表示内积,其在任何空间变换下不变;而平面波exp(ipx)是另外一个东西,二者的相等只是数学意义上的。这可以从下面的量子场论术语中得到解释,正 ...
不要死撑着了,错了就是错了,知错能改,就是好同志嘛。一条死路走到头,何其蠢也。这不就更说明了量子力学体系不是很完善吗?我更倾向于认为<x|p>表示内积,其在任何空间变换下不变;而平面波exp(ipx)是另外一个东西,二者的相等只是数学意义上的。这可以从下面的量子场论术语中得到解释,正 ...
17楼: Originally posted by fyl7 at 2013-01-02 10:21:35
这不就更说明了量子力学体系不是很完善吗?我更倾向于认为<x|p>表示内积,其在任何空间变换下不变;而平面波exp(ipx)是另外一个东西,二者的相等只是数学意义上的。这可以从下面的量子场论术语中得到解释,正 ...
晕 你不能把自己的错误理解说成是量子力学体系本身的不完善吧这不就更说明了量子力学体系不是很完善吗?我更倾向于认为<x|p>表示内积,其在任何空间变换下不变;而平面波exp(ipx)是另外一个东西,二者的相等只是数学意义上的。这可以从下面的量子场论术语中得到解释,正 ...
感觉很多的误解 详细地用数学式子把概念well define 下来
1.先采用被动观点(在时空变换下 体系的态改变 力学量算符不变 同样地
Hileber空间的基不变 变换前标为A 变换后表为B 带0的表示基 )
这样 |xB>=U|xA>, |pB>=U|pA> (U为相应的空间平移变换P的诱导幺正算符) 明显的有
(对空间平移而言p,U对易) 但
另外 你所谓的波函数其定义是
但是你所谓的
2. 同样地 可以采用主动观点(变换前后 态不变 但是力学量算符变了,Hilebert的基变了) 空间平移下
这样的|xA>=|xB>,|pA>=|pB> xA!=xB (算符) pA=pB
这样得到的结论对任何矩阵元和上面结论完全一致
这个时候 你所谓的波函数其定义其实是
(用Dirac符号) 而如果你只用Dirac符号的话 那就清清楚楚
另外 上面有朋友提到 "
涉及变换的话 最好把其中的
(note: 这里讨论是矩阵元 有非对角元 |xA>, |pA>并不要表示体系某时刻的状态 而是体系所有可能的状态)
19楼: Originally posted by walk1997 at 2013-01-02 13:07:09
晕 你不能把自己的错误理解说成是量子力学体系本身的不完善吧
感觉很多的误解 详细地用数学式子把概念well define 下来
1.先采用被动观点(在时空变换下 体系的态改变 力学量算符不变 同样地
Hileber空间的基不变 ...
洋洋万言,可惜基本概念弄错了。晕 你不能把自己的错误理解说成是量子力学体系本身的不完善吧
感觉很多的误解 详细地用数学式子把概念well define 下来
1.先采用被动观点(在时空变换下 体系的态改变 力学量算符不变 同样地
Hileber空间的基不变 ...
提几个问题帮你反省:
1. 什么是Hilbert空间?
2. {|x>}和{|p>}能同时被选择作为Hilbert空间的基吗?
3. 什么叫做力学量完全集合?
4. Hilbert空间中的转动改变的是什么? 不改变的又是什么?
No comments:
Post a Comment