1. notice
  3. English
  4. 1. feature
  6. logic-topic
  7. 2. logic
  8. 3. set-theory
  9. 4. map
  10. 5. order
  11. 6. combinatorics
  13. calculus
  14. 7. real-numbers
  15. 8. limit-sequence
  16. 9. ℝ^n
  17. 10. Euclidean-space
  18. 11. Minkowski-space
  19. 12. polynomial
  20. 13. analytic-Euclidean
  21. 14. analytic-Minkowski
  22. 15. analytic-struct-operation
  23. 16. ordinary-differential-equation
  24. 17. volume
  25. 18. integral
  26. 19. divergence
  27. 20. limit-net
  28. 21. compact
  29. 22. connected
  30. 23. topology-struct-operation
  31. 24. exponential
  32. 25. angle
  34. geometry
  35. 26. manifold
  36. 27. metric
  37. 28. metric-connection
  38. 29. geodesic-derivative
  39. 30. curvature-of-metric
  40. 31. Einstein-metric
  41. 32. constant-sectional-curvature
  42. 33. simple-symmetric-space
  43. 34. principal-bundle
  44. 35. group-action
  45. 36. stereographic-projection
  46. 37. Hopf-bundle
  48. field-theory
  49. 38. point-particle-non-relativity
  50. 39. point-particle-relativity
  51. 40. scalar-field
  52. 41. scalar-field-current
  53. 42. scalar-field-non-relativity
  54. 43. projective-lightcone
  55. 44. spacetime-momentum-spinor-representation
  56. 45. Lorentz-group
  57. 46. spinor-field
  58. 47. spinor-field-current
  59. 48. electromagnetic-field
  60. 49. Laplacian-of-tensor-field
  61. 50. Einstein-metric
  62. 51. interaction
  63. 52. harmonic-oscillator-quantization
  64. 53. spinor-field-misc
  65. 54. reference
  67. 中文
  68. 55. notice
  69. 56. feature
  71. 逻辑
  72. 57. 逻辑
  73. 58. 集合论
  74. 59. 映射
  75. 60. 序
  76. 61. 组合
  78. 微积分
  79. 62. 实数
  80. 63. 数列极限
  81. 64. ℝ^n
  82. 65. Euclidean 空间
  83. 66. Minkowski 空间
  84. 67. 多项式
  85. 68. 解析 (Euclidean)
  86. 69. 解析 (Minkowski)
  87. 70. 解析 struct 的操作
  88. 71. 常微分方程
  89. 72. 体积
  90. 73. 积分
  91. 74. 散度
  92. 75. 网极限
  93. 76. 紧致
  94. 77. 连通
  95. 78. 拓扑 struct 的操作
  96. 79. 指数函数
  97. 80. 角度
  99. 几何
  100. 81. 流形
  101. 82. 度规
  102. 83. 度规的联络
  103. 84. Levi-Civita 导数
  104. 85. 度规的曲率
  105. 86. Einstein 度规
  106. 87. 常截面曲率
  107. 88. simple-symmetric-space
  108. 89. 主丛
  109. 90. 群作用
  110. 91. 球极投影
  111. 92. Hopf 丛
  113. 场论
  114. 93. 非相对论点粒子
  115. 94. 相对论点粒子
  116. 95. 纯量场
  117. 96. 纯量场的守恒流
  118. 97. 非相对论纯量场
  119. 98. 光锥射影
  120. 99. 时空动量的自旋表示
  121. 100. Lorentz 群
  122. 101. 旋量场
  123. 102. 旋量场的守恒流
  124. 103. 电磁场
  125. 104. 张量场的 Laplacian
  126. 105. Einstein 度规
  127. 106. 相互作用
  128. 107. 谐振子量子化
  129. 108. 旋量场杂项
  130. 109. 参考

note-math

非相对论时空

[action-point-particle-non-relativity] 路径 的作用量

let 是时变向量场 or 时变 δ diffeomorphism, 或者 是非相对论时空 的特殊类型的向量场

let 在边界是零 — 固定路径的终点

let 作用量的微分是零

where

use product rule

and 在边界是零, 使得

所以作用量的微分是

对所有 δ diffeomorphism 成立, 从而给出 Lagrange-equation (alias Euler–Lagrange-equation), 对于非相对论点粒子, [Newton-equation]

作用量的动量部分 没有用 的 volume-form, 而是用 的二次型 和时间 的 volume-form

Lagrangian 可以写为函数 (切丛上的函数)

一般点粒子作用量的 Lagrange-equation

对一般的 , 重复上述过程. 作用量

作用量的微分

use

在边界是零 + 对所有 δ diffeomorphism , 积分是零 ==> [point-particle-Lagrange-equation]

Euclidean 型 metric-manifold

推广到 Euclidean 型 metric-manifold

需要 metric-connection

尽管没有使用 metric volume form, 由于作用量的动能部分的形式, 仍然联系到 metric 测地线

对称与守恒量 (Noether theorem)

处理非相对论时空 的对称性 alias Galileo 群, 生成自 的平移, 旋转, 非相对论 boost

let 是作用量方程的解

注意, 对 的沿对称的变分可能会使得它不再是方程的解, i.e. 对称的 δ diffeomorphism 可能不在边界是零 i.e. 会改变路径端点, 所以相关的对作用量的微分 at 解 , 可能不是零

  • 时间平移

在非相对论, 保持时间 的测度和方向的映射是时间平移

δ 积分区域的变分 [calculation-1-action-point-particle-non-relativity]

第一个等式可以来自微积分基本定理 + 复合函数微分

一般地, 改变区域 通过 通过 δ diffeomorphism 给出

另一边, use 变量替换公式

将其应用到

然后使用微分积分的交换

复合函数微分

是作用量对 (改变端点的) δ differentiation 在解 处的变分 [calculation--action-point-particle-non-relativity]

recall calculation-1-action-point-particle-non-relativity

use , 将上一项与下一项合并

得到

量

称为作用量 的能量, 是沿时间 不变的, forall , i.e. 守恒. 对所有 成立也蕴含

对于 能量是 [energy-point-particle-non-relativity]

Homogeneity of Time ==> Conservation of Energy

  • 空间平移

作用量的动能部分

尽管空间平移 δ diffeomorphism 不在边界是零或者会改变路径端点, 时间端点没有变, 且空间平移不改变动能. with ,

所以类似 能量的情况, with δ diffeomorphism

[momentum-point-particle-non-relativity] 作用量 的动量

沿时间 不变, forall , i.e. 守恒

更一般地, let 作用量 with 使得这个方向的端点不影响作用量, 则动量

守恒

Homogeneity of Space ==> Translation Invariance of ==> Conservation of Total Linear Momentum

Lagrangian

forall (by ) 所以动量

守恒

  • 空间的旋转

选择一个原点. Lagrangian

表示为绕轴 的旋转, cross product 是 δ 旋转

绕轴旋转 ==>

in , with , and magnitude

长度对方向不变

类似动量的情况, Lagrangian 对旋转 invariant, δ diffeomorphism (tangent vector field) 是 , 因此

[rotation-momentum-point-particle-non-relativity] 旋转动量 rotation-momentum alias 角动量 angular-momentum

是沿时间 不变的, forall

量

也是称为旋转动量

更一般地 with 使得 Lagrangian 对绕 旋转 invariant, 则绕 旋转动量是

Isotropy of Space ==> Rotational Invariance of ==> Conservation of Total Angular Momentum

= 平行体有向体积 span by in Euclidean

旋转动量 是对时间的常值, 所以 是常值 2d 平面. 由于 , , 在常值二维平面

对于点粒子系统的 Lagrangian

总旋转动量

是沿时间 不变的

  • 非相对论 boost

非相对论 boost

作用量 的守恒量是

forall

  • 作用量 拥有非相对论时空 的所有 δ 对称的守恒量, 10 dimensional

  • 作用量 有守恒的能量

  • 作用量 有守恒的能量, 动量

  • 作用量 有守恒的能量, 旋转动量

  • 作用量 有守恒的能量, 动量, 旋转动量, 7 dimension

非相对论 potential

  • 刚体

由 (or ) 参数化, 所以可以认为是 Euclidean 型流形 上的非相对论粒子. 但 metric 的使用 or 动能的使用不是 的 Killing-form, 因为 of , 因为对于不是均匀质量分布的球的物体, 在不同方向的旋转有不同的惯性. 转动惯量 moment of inertia i.e. metric 可能需要额外计算

也可以将转动惯量作为 Killing-form 下的对称算子, 特征基成是惯量主轴, 特征值是惯量矩