Friday, April 4, 2014

空间转动保持两个矢量的标积不变,用量子力学的语言可以表示为转动保持不变。在所有这些标积中,有一个标积非常特殊,即,或者表示成平面波exp(ipx),它的不变性也可看作是"px"这个标积在转动下不变

空间转动保持两个矢量的标积不变,用量子力学的语言可以表示为转动保持不变。在所有这些标积中,有一个标积非常特殊,即,或者表示成平面波exp(ipx),它的不变性也可看作是"px"这个标积在转动下不变




隐身衣技术II:光学变换(1) [ ]


未经允许,谢绝转载
[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))。当整个坐标架被“扭曲”变形时,相应于其坐标架的场也发生了相应的变动。所以最终如果我们想引导一束光的路线,我们所要做的是仅仅只是扭曲光线所走的空间的标架即可,这样的过程可以被称作一个光学变换过程——连续的变换提供我们所需要的μ和ε的值让我们可以把光引向我们需要它走的路径。


标量_百度百科

baike.baidu.com/view/84752.htm
轉為繁體網頁
矢量和矢量的乘积,可构成新的标量,也可构成新的矢量,构成标量的乘积叫标积;构成矢量的乘积叫矢积。如功、功率等的计算是采用两个矢量的标积。W=F·S,P=F·v ...
  • 矢量_互动百科

    www.baike.com/wiki/矢量
    轉為繁體網頁
    例如,物理学中,功、功率等的计算是采用两个矢量的标积。W=F·S,P=F·v,物理学中,力矩、洛仑兹力等的计算是采用两个矢量的矢积。M=r×F,F=qv×B。 物理定律的 ...
  • 矢量运算- 搜搜百科

    baike.soso.com/v8409755.htm
    轉為繁體網頁
    例如,物理学中,功、功率等的计算是采用两个矢量的标积。W=F·S,P=F·v,物理学中,力矩、洛仑兹力等的计算是采用两个矢量的矢积。M=r×F,F=qv×B。
  • 09高考物理矢量运算模型_免费教案_当知网

    beike.dangzhi.com › 备课高中高考物理教案
    轉為繁體網頁
    如功、功率等的计算是采用两个矢量的标积;洛伦兹力等的计算是采用两个矢量的矢积。 (3)多边形法:将这些矢量的箭尾与箭头依次相连接,然后将第一个矢量的箭尾 ...
  • 矢量-中文百科在線

    www.zwbk.org/MyLemmaShow.aspx?zh=zh-tw&lid=97781
    2010年12月20日 - 例如,物理學中,功、功率等的計算是采用兩個矢量的標積。W=F?S,P=F?v,物理學中,力矩、洛崙茲力等的計算是采用兩個矢量的矢積。
  • 标积英文 - 查查在线词典

    ... of work suggests a third process of vector algebra, namely, scalar multiplication of two vectors . 功的定义用到矢量代数的第三种运算,即两个矢量的标积
  • [PDF]

    附录1 矢量运算简介

    hepbook.cn/hep.khtml?action=freedown&url...t...
    轉為繁體網頁
    根据上述定义,两个矢量的标积可以理解为一个矢量的模在. 另一个矢量方向上的投影的数值与另一个矢量的模的乘积.矢量在坐标轴上的投影也可以表示. 为该矢量与 ...
  • 请帮忙整理中学物理中的矢量 - 天星教育网

    www.tesoon.com › 问吧
    轉為繁體網頁
    2008年11月2日 - 例如,物理学中,功、功率等的计算是采用两个矢量的标积。W=F·S,P=F·v,物理学中,力矩、洛仑兹力等的计算是采用两个矢量的矢积。
  • 作品相关矢量的定义_妖尾之矢量操纵最新章节_傲世中文网

    www.23zw.com/.../190284e7850618775dd098959d73cad...
    轉為繁體網頁
    例如,物理学中,功、功率等的计算是采用两个矢量的标积。W=F·S,P=F·v,物理学中,力矩、洛仑兹力等的计算是采用两个矢量的矢积。M=r×F,F=qv×B。②物理定律的 ...
  • 两个矢量的标积Two vector scalar product - 青云翻译

    www.zaixian-fanyi.com/fan_yi_3357938 - 轉為繁體網頁
    求翻译:两个矢量的标积是什么意思? 待解决 悬赏分:1 - 离问题结束还有. 两个矢量的标积. 问题补充:. 我来回答 我要举报 我要补充 我也要提问 我要翻译 ...


  • 关于量子力学中角动量算符的一个疑问


    作者: fyl7 (站内联系TA)    发布: 2012-12-30
    在通常的量子力学教科书里,角动量算符通常可以表示为坐标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的任何分量作用在平面波上都是零,因此不确定关系的不等号右侧为零,这就违背了不确定关系!
    这是怎么回事呢?
    广告

    请阅读量子力学中关于表象的章节, 进入和退出表象. 是动量在坐标表象中的波函数. 转动不变是不变. exp(ipx)不是角动量算符的本征函数. 比如卢瑟福散射, alpha粒子相对于原子核是平面波, 它没有角动量? 请阅读原子物理.
    除自旋外, 动量, 角动量都有经典对应. 请楼主将经典的动量, 角动量与量子力学中动量, 角动量比较一下.
    楼主的概念有点混乱, 找本好的量子力学教材, 最好是英文的. 看下角动量, SO(3)群等概念.
    2楼: Originally posted by huow005 at 2012-12-30 15:29:56
    请阅读量子力学中关于表象的章节, 进入和退出表象. <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粒子相对于原子核是平面波, 它没 ...
    这个对的解释不太符合Dirac的精神吧
    可以看成是矩阵元 也可以看成是矩阵(x,p变的话) 也可以看成是x或者p表象下"波函数"的系数 这样的矩阵元是转动不变的 系数也是转动不变的 变的是态  差一个幺正变换 平面波的形式写完整了应该是|p>=A*Integrate 或者直接动量算符的本征态 直接把exp(ipx)看成是平面波 又采用Dirac符号一套  得出平面波在转动下不变 比较搞怪 (转动下 动量算符也是要变的 exp(ipx)是转动不变 但是不是转动后的新动量算符的本征值不变的本征态 除非转动相应的幺正算符和动量算符对易)
    5楼: Originally posted by walk1997 at 2012-12-30 17:02:04
    这个对<x|p>的解释不太符合Dirac的精神吧
    <x|p>可以看成是矩阵元 也可以看成是矩阵(x,p变的话) 也可以看成是x或者p表象下"波函数"的系数 这样的矩阵元是转动不变的 系数也是转动不变的 变的 ...
    其实,对于平面波exp(ipx),在坐标系转动下,有两种解释,如果把它表示成,那么第一种就是通常的波函数的变换,即=,其中R是转动,而R^{-1}转动的逆,由此可得到平面波的变换,在无穷小的情形是坐标x叉乘动量p。第二种是整个体系的变换,即=,这体现了转动的幺正性。
    可以看出,我是混淆了这两种解释。混淆的原因在于,第一种解释其实可以推广到场或一般的波函数φ,即=。可是下面这个例子我就不理解了,将转动换成平移T,则应有=,假如T^{-1}x=x-a,但动量在平移作用下是不变的,即Tp=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表象下"波函数"的系数 这样的矩阵元是转动不变的 系数也是转动不变的 变的 ...
    前次回复中有个疑惑,即=本不应该成立的,因为平移并不保持标积不变,也不是体系的物理不变性。可是形式上==,体现了T的幺正性,这又是怎么回事呢?
    5楼: Originally posted by walk1997 at 2012-12-30 17:02:04
    这个对<x|p>的解释不太符合Dirac的精神吧
    <x|p>可以看成是矩阵元 也可以看成是矩阵(x,p变的话) 也可以看成是x或者p表象下"波函数"的系数 这样的矩阵元是转动不变的 系数也是转动不变的 变的 ...
    之前的推导有些错误,下面我将准确的推导过程列下来,目的是满足以下两式,==。运用非相对论量子场论,|p>=a^{\dag}|0>,定义平移算符为T=exp(-iaP),其中P=\int dp p a^{\dag}a,|x>=φ^{\dag}(x)|0>,则有|Tx>=T|x>=|x+a>,而|Tp>=T|p>=exp(-ipa)|p>,如此==,体现平移的幺正性;而=exp(-ipa)=
    可以看出,我的错误在于将|Tp>中的Tp误认为是经典的作用Tp=p,尽管对于转动操作,==,其中的作用Rp可以用经典的作用表示。
    实际上,上面的推导可以不用产生、湮灭算符的形式,之所以利用,目的是为了强调|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)是转动不变 但是不是转动后的新动量算符的本征值不变的本征态 除非转动相应的幺正算符和动量算符对易)"
    这句话 有点拗口 也不恰当 修正一下
    采用被动观点(坐标系不变 态变)exp(ipx)是转动不变 因为是的矩阵元(中间算符是1) 但是|p>是要变的U(R)|p> 这一态不再是动量算符本征值为p的本征态  不知道平面波代表什么 代表|p>么 还是说exp(ipx)就代表平面波 若是后者的话 引入Dirac符号做什么? 而且 如果用这样坐标表象下波函数的话 任何时空变换下 本来就是有:exp=exp  这里不能理解成坐标平移下p'=p,x'=x+a就完了 后面还有基的变化|x> -> |x+a>
    同样不能理解成转动下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 ...
    平常有 这样的表述么?到底是变换本征值还是变换态
    印象当中都是U(a)|p>之类的吧 你这些符号感觉都是自己想着乱用
    另外不管什么变换下 只要其无穷小变换(生成元)是相应厄密算符
    这样的矩阵元都是不变的 这不用证明的吧 厄密算符的定义
    平移变的矩阵元是。。。。为什么用生产算符 湮灭算符或其他T的稀奇古怪的定义?
    5楼: Originally posted by walk1997 at 2012-12-30 17:02:04
    这个对<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>之类的吧 你这些符号感觉都是自己想着乱用
    另外不管什么变换下 只要其无穷小变换(生成元)是相应厄密算符
    这样的矩阵元都 ...
    呵呵,是有些乱用了,所以才会犯错误,或者这样来理解,中的T是抽象的操作,当看作是作用到态上时,就化作
    其实,我不太喜欢这种矩阵元,因为它只是对单粒子有效。我希望的是,找到既对单粒子有效,同时兼顾多粒子的表达式,此时产生、湮灭算符就派上用场了,就像我所定义的,而这种定义正是量子场论的。
    另外,平面波就是exp(ipx),|p>代表动量本征态,它们不是一回事。之所以用狄拉克符号,是因为exp(ipx)=是数学上的定义。问题在于,怎样看待这个等式在时空变换下的不变性,因为exp(ipx)也可以看作是一个波函数用φ强调其波函数性质,这样在时空变换下,波函数势必要变,采用=这种解释;另一方面,如果看作,即两个态的内积,那么就采用=,其在任何时空变换下都不变。
    这样看来,量子力学的表达式本身就有比较容易混淆的地方,主要体现在波函数的表达式=φ(x)。
    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积分
    你写的是投影算符的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)到底变不变?
    13楼: Originally posted by walk1997 at 2013-01-01 20:10:37
    < x|p>之类的也可以叫内积吧
    后面这个投影算符不太对 投影算符不是单位矩阵 不用对x积分
    你写的是投影算符的Tr...
    怎么会是内积, |x>和|p>处于不同的Hilbert空间.
    将|p>按|x>的谱展开, 插入1, Integrate就是你写的x有连续谱
    |p>=A*Integrate
    |x> 至于QM的数学基础, 梁灿宾的微分几何中册后, 有一个较详细的总结.
    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的数学基础, 梁灿宾 ...
    当然不是内积,理解为动量本征态|p>在位置坐标本征态|x>上的投影是正确的观点,只是不符合量子力学术语。标准术语是:是坐标表象中的动量本征函数,即:\psi_p(x)=.
    14楼: Originally posted by walk1997 at 2013-01-01 21:07:22
    按照这个说法和理解 不相互矛盾了? 你的平面波exp(ipx)到底变不变?...
    这不就更说明了量子力学体系不是很完善吗?我更倾向于认为表示内积,其在任何空间变换下不变;而平面波exp(ipx)是另外一个东西,二者的相等只是数学意义上的。这可以从下面的量子场论术语中得到解释,正如我上面的定义,|x>=φ^{\dag}(x)|0>,|p>=a^{\dag}_{p}|0>,那么=<0|φ(x)a^{\dag}_{p}|0>=exp(ipx),这里利用了场的展开φ(x)=\int dp exp(ipx) a_{p}。从这些推导中可以看出,exp(ipx)是作为场的一部分出现的,进一步Hilbert空间中的态矢量并不都有物理意义,比如所谓的态|φ>,虽然数学上可以这么定义,但是物理意义不明确。量子场论实现了Hilbert空间,相当于一种表示,而这种表示就是利用产生、湮灭算符的。简单说就是,Hilbert空间是个相当大的数学空间,而量子物理仅仅占据了其中的一小部分。
    17楼: Originally posted by fyl7 at 2013-01-02 10:21:35
    这不就更说明了量子力学体系不是很完善吗?我更倾向于认为<x|p>表示内积,其在任何空间变换下不变;而平面波exp(ipx)是另外一个东西,二者的相等只是数学意义上的。这可以从下面的量子场论术语中得到解释,正 ...
    不要死撑着了,错了就是错了,知错能改,就是好同志嘛。一条死路走到头,何其蠢也。
    17楼: Originally posted by fyl7 at 2013-01-02 10:21:35
    这不就更说明了量子力学体系不是很完善吗?我更倾向于认为<x|p>表示内积,其在任何空间变换下不变;而平面波exp(ipx)是另外一个东西,二者的相等只是数学意义上的。这可以从下面的量子场论术语中得到解释,正 ...
    晕 你不能把自己的错误理解说成是量子力学体系本身的不完善吧
    感觉很多的误解 详细地用数学式子把概念well define 下来
    1.先采用被动观点(在时空变换下 体系的态改变 力学量算符不变 同样地
    Hileber空间的基不变 变换前标为A 变换后表为B  带0的表示基 )
    这样 |xB>=U|xA>,  |pB>=U|pA> (U为相应的空间平移变换P的诱导幺正算符) 明显的有 =,  =
    (对空间平移而言p,U对易)  但 !=
    另外 你所谓的波函数其定义是 其中 这样的波函数 != 这就是相应你说的波函数在平移下变
    但是你所谓的 当把|x>理解为体系状态时候 它不是固定基 会随变换而变  矩阵元是不变 直接点 你完全用Dirac符号 什么问题都没有
    2. 同样地 可以采用主动观点(变换前后 态不变 但是力学量算符变了,Hilebert的基变了) 空间平移下
    这样的|xA>=|xB>,|pA>=|pB>  xA!=xB (算符)  pA=pB
    这样得到的结论对任何矩阵元和上面结论完全一致
    =, !=,
    这个时候 你所谓的波函数其定义其实是
    =但是要注意: 归根揭底 你要引入波函数概念的话 就要先定义好什么是波函数
    (用Dirac符号)  而如果你只用Dirac符号的话  那就清清楚楚
    另外 上面有朋友提到 "不是内积 应该理解为动量本征态到坐标本征态的投影等"   如果不涉及变换的话  这两者是一样的
    涉及变换的话 最好把其中的 还是体系的状态  均表示着特定2个"点"之间的内积(无非是"点"的变换性质不一样) 我不懂为什么说它们不属于对偶空间 |pA>难道不能由|x0>或者|xA>组合出来么?
    (note: 这里讨论是矩阵元 有非对角元  |xA>, |pA>并不要表示体系某时刻的状态 而是体系所有可能的状态)
    19楼: Originally posted by walk1997 at 2013-01-02 13:07:09
    晕 你不能把自己的错误理解说成是量子力学体系本身的不完善吧
    感觉很多的误解 详细地用数学式子把概念well define 下来
    1.先采用被动观点(在时空变换下 体系的态改变 力学量算符不变 同样地
    Hileber空间的基不变 ...
    洋洋万言,可惜基本概念弄错了。
    提几个问题帮你反省:
    1. 什么是Hilbert空间?
    2. {|x>}和{|p>}能同时被选择作为Hilbert空间的基吗?
    3. 什么叫做力学量完全集合?
    4. Hilbert空间中的转动改变的是什么? 不改变的又是什么?


    No comments:

    Post a Comment