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

note-math

cf. #link(<Klein--Gordon-Lagrangian>)[纯量场的作用量]

对称性与守恒流

  • 时空平移

时空平移不固定 ℝ1,3 "边界". 变分非零. 类似于点粒子的时间的平移的情况. let 𝑈⊂ℝ1,3

𝑑𝑑𝑠∫𝑈+𝑠𝑎𝑑𝑥(𝑓(𝑥))=∫𝑈𝑑𝑥(∂𝑥𝑓(𝑥)⋅𝑎)

一般地, 区域改变通过 exp(𝑎(𝑥)) #link(<vector-field-as-δ-diffeomorphism>)[通过 δ diffeomorphism] 𝑎(𝑥) 给出

𝑑𝑑𝑠∫exp(𝑠𝑎(𝑥))𝑈𝑑𝑥(𝑓(𝑥))=∫𝑈𝑑𝑥(∂𝑥𝑓(𝑥)⋅𝑎(𝑥))

另一方面, 使用变量替换公式

∫𝑈+𝑠𝑎𝑑𝑥(𝑓(𝑥))=∫𝑈𝑑𝑥(𝑓(𝑥+𝑠𝑎))

交换微分和积分

𝑑𝑑𝑠∫𝑈𝑑𝑥(𝑓(𝑥+𝑠𝑎))=∫𝑈𝑑𝑥𝑑𝑑𝑠𝑓(𝑥+𝑠𝑎)

将其应用于

𝑓(𝑥)=𝐿(ϕ(𝑥),∂ϕ(𝑥))

考虑 𝑎=𝑒𝜈∈ℝ1,3 平移的变分的作用量的微分. let Δϕ= lim 𝜏→01𝜏(ϕ(𝑥+𝜏𝑒𝜈)−ϕ(𝑥))=∂𝜈ϕ. 一阶微分 Δ𝑆=

𝑑𝑑𝑠∫𝑈+𝑠𝑎𝑑𝑥(𝐿)=∫𝑈𝑑𝑥𝑑𝑑𝑠𝑓(𝑥+𝑠𝑎)∫𝑈𝑑𝑥(∂𝜈𝐿)=∫𝑈𝑑𝑥(∂𝐿∂ϕ⋅Δϕ+∂𝐿∂(∂𝑥ϕ)⋅∂𝑥Δϕ)

use product rule

∂𝑥†(∂𝐿∂(∂𝑥ϕ)⋅Δϕ)=(∂𝑥†∂𝐿∂(∂𝑥ϕ))⋅Δϕ+∂𝐿∂(∂𝑥ϕ)⋅∂𝑥Δϕ

收集的 Δϕ 项是零 by Lagrange-equation

∂𝐿∂ϕ−∂𝑥†∂𝐿∂(∂𝑥ϕ)=0

得到

∫𝑈𝑑𝑥(∂𝜈𝐿)=∫𝑈𝑑𝑥(∂𝑥†(∂𝐿∂(∂𝑥ϕ)⋅Δϕ))

for all 区域 𝑈⊂ℝ1,3 ==> 被积项也相等

energy-momentum-tensor-KG_(tag)

𝑇=𝑇𝜈𝜇={∂𝐿∂(∂𝜇ϕ)⋅∂𝜈ϕ  if  𝜇≠𝜈∂𝐿∂(∂𝜈ϕ)⋅∂𝜈ϕ−𝐿  if  𝜇=𝜈

散度零 ∂†𝑇=∂𝜇𝑇𝜈𝜇=0

for 𝐿(ϕ,∂𝑥ϕ)=12(∂ϕ∗⋅∂ϕ−𝑚2ϕ∗ϕ) 计算

∂𝐿∂(∂𝜇ϕ)⋅∂𝜈ϕ= Re (∂𝜇ϕ∗∂𝜈ϕ)

or ∂𝐿∂(∂𝑥ϕ)=Re(∂𝑥ϕ∗⋅)

可以看到这个 EM tensor 在指标下降后 𝑇𝜇𝜈=Re(∂𝜇ϕ∗∂𝜈ϕ) 是 symmetric 的 𝑇𝜇𝜈=𝑇𝜈𝜇

再加上 KG 作用量 𝐿 是实数值, 从而其 EM tenosr 是实数值

假设 ℝ1,3 的 EM tensor 可对 ℝ3 积分. 使用记号 (𝑥0,𝑥)∈ℝ1,3. energy

𝐸=∫ℝ3𝑑𝑥(𝑇00)=∫ℝ3𝑑𝑥12(|∂0ϕ|2+|∂𝑥ϕ|2+𝑚2|ϕ|2)

一般 potential 𝑚2|ϕ|2 => 𝑉(|ϕ|2)

relativity scalar field 的能量是实数且是正的

conserved-spatial-integral-energy-KG_(tag)

固定 ℝ1,3 坐标, 认为 𝑇𝜇0 是可 ℝ3 积分的量

∂0∫ℝ3𝑑𝑥(𝑇𝜇0)=∫ℝ3𝑑𝑥(∂0𝑇𝜇0)=−∫ℝ3𝑑𝑥(∂1𝑇𝜇1+∂2𝑇𝜇2+∂3𝑇𝜇3)  by  ∂†𝑇𝜇=0=− lim 𝑟→∞∫𝔹3(𝑟)𝑑𝑥(div 𝑇𝜇𝑥)=− lim 𝑟→∞∫𝕊2(𝑟)𝑑 Vol (𝑇𝜇𝑥⋅𝑥|𝑥|)

只要假设通量密度 𝑟→∞⟹𝑇𝜇𝑥⋅𝑥|𝑥|→0 就有 time invariant of ∫ℝ3𝑑𝑥(𝑇𝜇0)

  • 𝑇00=12(|∂0ϕ|2+|∂𝑥ϕ|2+𝑚2|ϕ|2). 场的能量守恒 ∂0𝐸=0

  • 𝑇𝑥0=Re(∂0ϕ∗∂𝑥ϕ). 场的动量 (?) 守恒

其它 𝑇 分量 e.g. ∫ℝ1,3𝑑𝑥(𝑇𝜇1), 是沿 𝑥1 方向 invariant. 使用 ∂1, ℝ1,2 的积分及其 div. 区域逼近的极限 lim𝑟→∞ 是对双曲测地线球 (多半径)

Example 对于平面波展开

ϕ(𝑥)=∫ℍ𝕪3𝕊(Im ℂ)𝑑𝑝𝑑 i (𝑎(𝑝,i)𝑒𝑝𝑥 i)

能量是 (Question)

𝐸=∫ℍ𝕪3𝕊(Im ℂ)𝑑𝑝𝑑 i (𝑝02|𝑎(𝑝,i)|2)
  • 旋转和 boost

对于场, 无论是空间旋转还是 boost, 即使 Lagrangian 不变, 作用量还是改变

现在用记号 (𝑥0,𝑥),(∂0,∂𝑥)∈ℝ1,3

  • 𝑖,𝑗 的空间旋转. (𝑥𝑖,𝑥𝑗)=𝑟(cos 𝑡, sin 𝑡) 则 𝑑𝑑𝑡=𝑟(− sin 𝑡, cos 𝑡)=(−𝑥𝑗,𝑥𝑖) 所以切向量是 −𝑥𝑗∂𝑖+𝑥𝑖∂𝑗

    设 𝑛∈so(3)≃ℝ3 是空间旋转轴, 则切向量将是 𝑛⋅(𝑥×∂)

  • 0,𝑖 的 boost. (𝑥0,𝑥𝑖)=𝑟(cosh 𝑡, sinh 𝑡) 则 𝑑𝑑𝑡=𝑟(sinh 𝑡, cosh 𝑡)=(𝑥𝑖,𝑥0) 所以切向量是 𝑥𝑖∂0+𝑥0∂𝑖

    设 𝑛∈ℝ3 是空间 boost 轴, 则切向量将是 𝑛⋅(𝑥0∂−𝑥∂0) (ℝ1,3 时空 metric 有负定空间)

现在用记号 𝑥,∂𝑥∈ℝ1,3. 旋转和 boost 的切向量合起来记为 [𝑥,∂𝑥], 作为 δ 时空旋转 so(1,3) 作用在场 ϕ, 作为 δ diffeomorphism

∫𝑈𝑑𝑥([𝑥,∂]𝐿)=∫𝑈𝑑𝑥(∂𝐿∂ϕ⋅[𝑥,∂𝑥]ϕ+∂𝐿∂(∂𝑥ϕ)⋅∂𝑥[𝑥,∂𝑥]ϕ)

利用 KG 方程, 移项, 得到散度零守恒流

angular-momentum-KG_(tag) let 𝑇 是 KG 场的能动张量. 场的角动量

𝑀=[𝑥,𝑇]

or

𝑀𝜇𝜈𝜆=[𝑥𝜇,𝑇𝜈𝜆]
  • 规范场下 KG 场的电流

let ϕ(𝑥) 是 KG eq 的解. 相位改变 𝑒𝜃(𝑥)ϕ(𝑥) 及其 δ 改变 𝜃ϕ 属于解附近的边界固定的变分, 所以

0=∫ℝ1,3𝑑𝑥12(∂(−𝜃ϕ∗)⋅∂ϕ+∂ϕ∗⋅∂(𝜃ϕ))=∫ℝ1,3𝑑𝑥12(−ϕ∗∂ϕ+ϕ∂ϕ∗)⋅∂𝜃

使用 product rule + 散度量 + Stokes 定理 + 边界零

0=∫ℝ1,3𝑑𝑥(12∂†(−ϕ∗∂ϕ+ϕ∂ϕ∗)𝜃)

for all Im(ℂ) 值函数 𝜃(𝑥), 所以

∀𝑥∈ℝ1,3,∂†(−ϕ∗∂ϕ+ϕ∂ϕ∗)=0

−ϕ∗∂ϕ+ϕ∂ϕ∗ 被称为 KG 场的 4-电流 current-gauge-KG_(tag)

−ϕ∗∂ϕ+ϕ∂ϕ∗=−Im(ϕ∗∂ϕ)

固定 ℝ1,3 坐标, 认为 4 电流分量是可 ℝ3 积分的量, 则有零分量即电荷守恒 conserved-spatial-integral-charge-KG_(tag)

0=∂𝑡∫ℝ3𝑑𝑥(−ϕ∗∂𝑡ϕ+ϕ∂𝑡ϕ∗)=∂𝑡𝑄

注意非正定性, (ϕ,𝜓)⇝−𝜓∗∂𝑡ϕ+ϕ∂𝑡𝜓∗ 是 anti-Hermitian 的