从傅科摆到矢量的平行移动.docVIP

从傅科摆到矢量的平行移动?? ? ? ? 1851年，法国物理学家傅科（Foucault）在巴黎万神殿的圆拱屋顶上悬挂了一个长67m的大单摆。他发现在摆动过程中，摆动平面在不断地顺时针旋转（或者用力学上的专业名词说，摆面有进动现象），从而证明了地球是不停地自转的。 ? ? ? 傅科摆如今是每个天文馆里必备的家当了。值得一提的是，Foucault摆也译作佛科摆，三年前我只知道傅科摆，一次带我侄子去天文馆（动物园对面那个），看到这个从天花板上用钢丝绳坠下来的家伙，大指南针似的一直悬到地面上的刻度盘上，旁边几个女生指着说：“佛科摆”，于是某人立刻大声对他侄子说，傅（音同“妇”）科，傅科摆...于是旁边的人不屑的走了...看来还是叫佛科摆显得更香艳一些的。 ? ? ? 傅科摆为什么会转？这在高中地理书第一册里就到了，因为地球在一刻不停地自西向东转动，从而地球表面是个非惯性（旋转）坐标系，于是根据牛顿定律，地表垂直于地球自转方向运动的物体受到所谓的地转偏向力，也叫(Coriolis?force）或科氏力，注意到这个力是种惯性力，可以通过适当选择坐标系消除的。至于科氏力的大小和方向，如高中地理教材所叙述的“北半球右偏，南半球左偏，大小和物体运动速度成正比”。只这一句话就解释了傅科摆摆面为什么顺时针（当然，南半球逆时针旋转）匀速旋转了，顺便也揭示了诸如：为何北半球上河流冲刷右岸较严重，赤道附近东北信风的成因，美国的龙卷风为何都是逆时针的等问题。窃以为这是高中课本中出现的最复杂物理力学问题，相关问题却偏偏只是频频出现在高考文综试卷上。? ? ? ? ? ? ?以上是大家都知道的，可能并不都知道的是，如果佛科摆悬在在地球两极，则刚好24小时转一圈（显然，从宇宙空间看，摆面不动，地球24小时转一圈），而若是悬在北纬λ度的处佛科摆，24小時只能转sinλ圈，或者说只转过2πsinλ度。纬度越低转的越慢，赤道附近干脆不转。物理系的同学都知道这个比例系数sinλ怎么求，例如见赵凯华的物理学力学卷或GoldsteinPage124习题。 ? ? ? 在地面参考系里，我们可以通过动力学手段，借助Coriolis?force也可以求出系数sinλ。比如见Arnold的《经典力学中的数学方法》 ? ? ? 不过，这里要说的是，这其实可以看做一个纯微分几何问题。注意到微分几何里如下结论：单位球面取三维空间诱导定向和度规，将北纬λ度纬线上某点处任意一个切矢量沿北纬λ度纬线平行移动（Levi?Civita意义下）平移一周，回到原点后，恰好顺时针旋转了2πsinλ度。（后面我们会对此给出一个朴素的证明）。 ? ? ? ?两个数值的相同自然不是偶然现象，而是源于一个本质。我们先来回忆一下这个微分几何里的生单词“平行移动”。 ? ? ? 微分几何里的“平行移动”概念是20Levi-Civita给出来的，它等价于后来的联络connection、或者协变微分概念（对此感兴趣的读者不妨读一下唐梓洲教授（凑巧也是本人的老板）的《黎曼几何基础》，北京师范大学出版社，这本书堪称最薄的中文黎曼几何教材，用尽可能短的篇幅介绍了现代微分几何所必备的各项基本概念，尤其对联络（平行移动）的几种等价描述给出了清晰的阐释）。Levi-Civita平行移动的概念已成为现代微分几何的支柱，曾经有人问EinsteinEinstein答曰：最喜欢意大利面和那里的Levi-Civita。 ? ? ? 下面回到几何。我们说，一个切矢量场沿某条曲线是Levi-Civita当且仅当其沿曲线协变微分（covariant?differentialBaby微分和Baby平行移动。其实，对baby微分概念稍微改造一下就得到曲面上矢量场的协变微分。对于曲面上的矢量场，我们对之取baby微分（记住：微分就是差商极限），结果得到的结果可能不在躺在切平面上了，不过“虽不中，不远矣”，所谓协变微分就是把baby微分的结果投影回切平面。如果切向投影为零，就称作协变微分为零。如果一个矢量场（限制在某条曲线上），沿线协变微分处处为零，就称为“平行移动”。换句话说，如果曲面上一个矢量场的baby微分总是沿法向量的话，它就是平行的。 ? ? ? ?现在我们就知道如何沿着一条曲线，把某点处的切矢量平移出去了：先沿曲线babybaby推进无穷小距离，再投影...如此往复，我们就得到了一组沿曲线平行的切矢量，用这种略显滑稽的“接力法”我们能把一个切向量沿曲线从一端“平行移动”到另一端。不过，与baby平移最大的不同的是，Levi-Civita平行移动的结果是路径依赖的（高中时学习平面、空间向量时，你可曾听老师说起“把某个矢量沿某条曲线平移出去”这样的话吗？），这是由内蕴曲率引起的，不过这是另一个话题了。? ? ? ? ? ? ? 现在大家可能开始