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

相对论纯量场作用量近似到非相对论纯量场作用量

使用有质量场, 使用静能量相位提取 exp(−𝑚𝑐21ℏ𝑡 i), 使用时间 𝑥0=𝑐𝑡 和光速极限 lim𝑐→∞

for #link(<Klein--Gordon-Lagrangian>)[], 恢复 Planck 常数 ℎ, 光速 𝑐, 时间 𝑥0=𝑐𝑡

∫ℝ𝑑𝑐𝑡∫ℝ3𝑑𝑥12(1𝑐2(∂𝑡ϕ∗∂𝑡ϕ)−∂𝑥ϕ∗⋅∂𝑥ϕ+𝑚2𝑐2ℎ2ϕ∗ϕ)

use ϕ=exp(−𝑚𝑐21ℏ𝑡 i)𝜓

let 𝜃=𝑚𝑐21ℏ i

use ∂𝑡ϕ=𝜃𝑒𝜃𝑡𝜓+𝑒𝜃𝑡∂𝑡𝜓

∂𝑡ϕ∗∂𝑡ϕ=−𝑚2𝑐4ℏ2𝜓∗𝜓 use  i 2=−1+𝑚𝑐2ℏ i (𝜓∗∂𝑡𝜓−𝜓∂𝑡𝜓∗)+∂𝑡𝜓∗∂𝑡𝜓

term −𝑚2𝑐4ℏ2𝜓∗𝜓 乘以 1𝑐2 将抵消质量项 𝑚2𝑐2ℏ2ϕ∗ϕ

term 𝑚𝑐2ℏ i (𝜓∗∂𝑡𝜓−𝜓∂𝑡𝜓∗) 乘以 1𝑐2 将抵消光速 𝑐 因子

term ∂𝑡𝜓∗∂𝑡𝜓 乘以 1𝑐2 将得到 𝑂(1𝑐2(∂𝑡𝜓∗∂𝑡𝜓)), 在极限 lim𝑐→∞ 时消失

𝑑𝑥0=𝑑𝑐𝑡 可能不影响?

整体再乘以 ℏ2𝑚 得到

非相对论纯量场 Lagrangian, alias Schrodinger-Lagrangian Schrodinger-Lagrangian_(tag)

∫ℝ𝑑𝑡∫ℝ3𝑑𝑥12(ℏ i (𝜓∗∂𝑡𝜓−𝜓∂𝑡𝜓∗)−ℏ2𝑚∂𝑥𝜓∗⋅∂𝑥𝜓)

可以在作用量上加上规范场静电 potential 项 i.e. ∂𝑡 改为 ∂𝑡+ i ℏ𝑉

非相对论纯量场方程, alias Schrodinger-equation Schrodinger-equation_(tag)

i ℏ∂𝑡𝜓=−ℏ22𝑚∆𝜓+𝑉𝜓

对相对论或非相对论纯量场, 都可以, 使用时间平面波混合静态解 exp(−1ℏ𝐸𝑡 i)𝜓(𝑥), 得到特征值方程

−ℏ22𝑚∆𝜓+𝑉𝜓=𝐸𝜓

也可以加上静态磁势, ∂𝑥 改为 (∂𝑥+ i ℏ𝐴)𝜓, with

(∂𝑥+ i ℏ𝐴)†(∂𝑥+ i ℎ𝐴)𝜓=(∆+ i ℎ div 𝐴+2 iℏ𝐴⋅∂𝑥−1ℏ2|𝐴|2)𝜓

Schrodinger-eq-potential-example_(tag) Example

  • 𝑉=𝑘𝑟2

    谐振子 (一个或多个) 代表 ℝ𝑛 或球区域内常值电荷密度的电势. div  grad 𝑟2= const. 异电荷对应椭圆型, 同电荷对应双曲型

  • 𝑉=𝑘1𝑟

    ℝ3 氢原子模型 (单粒子, 静态, 零自旋) 代表由点电荷或球对称电荷球生成的球对称的电势

    用对称性 + Gauss 定理

    或者用微分方程, 球对称 𝑓(𝑥)=𝑓(|𝑥|)=𝑓(𝑟) + 电荷集中在一点或球区域, 则在外部 ∆𝑓(𝑟)=0 ==> 21𝑟𝑑𝑓𝑑𝑟+𝑑2𝑓𝑑𝑟2=0 ==> 𝑓(𝑟)=𝑘1𝑟

    Warning Schrodinger 方程在氢原子之外的原子分子暂无解析解. 我也不了解现有的多粒子模型及其数值计算的效果如何

  • 𝑉= 箱/球 势 井/壁 (box/ball potential well/barrier)

  • 常值电场或常值磁场

关于非相对论近似极限

  • 静能量相位提取 exp(−𝑚𝑐21ℏ𝑡 i) 不是规范变换
  • ℂ 可推广到 ℍ,𝕆? i 换成任何 Im(𝕂) 单位元. ℝ 不行? 或者 ℝ 是用于双曲系质量 KG 而不是椭圆系质量 KG, 一维 ℝ 中无法解方程 𝑥2=−1)
  • 这种非相对论近似极限的方式是坐标依赖的. 在弯曲流形上, 由于可能需要多个坐标覆盖整个流形, 非相对论近似极限的的定义问题会更困难

对称性与守恒流

let

𝐿(𝜓,∂𝑡𝜓,∂𝑥𝜓)=12(ℏ i (𝜓∗∂𝑡𝜓−𝜓∂𝑡𝜓∗)−ℏ2𝑚∂𝑥𝜓∗⋅∂𝑥𝜓)

类似于相对论纯量场的情况, energy-momentum tensor energy-momentum-tensor-Schrodinger_(tag)

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

时间

∂𝐿∂(∂𝑡ϕ)⋅∂𝜈𝜓=12ℏ i (𝜓∗∂𝜈𝜓−𝜓∂𝜈𝜓∗)=ℏ i Im(𝜓∗∂𝜈𝜓)

空间

∂𝐿∂(∂𝑥ϕ)⋅∂𝜈𝜓=−ℏ22𝑚(∂𝜈𝜓∗∂𝑥𝜓+∂𝑥𝜓∗∂𝜈𝜓)=−ℏ22𝑚Re(∂𝑥𝜓∗∂𝜈𝜓)

能量

𝐸=∫ℝ3𝑑𝑥(𝑇00)=∫ℝ3𝑑𝑥(ℏ22𝑚|∂𝑥𝜓|2)

由于能动张量散度零, 能量对时间 𝑡 守恒 ∂𝑡𝐸=0

非相对论纯量场, Schrodinger 场的能量是实数且是正的且 time invariant

旋转角动量是 angular-momentum-Schrodinger_(tag)

𝑀𝑖𝑗𝑘=[𝑥𝑖,𝑇𝑗𝑘]

Schrodinger 场的规范电流

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

电流空间部分类似相对论的情况, ℏ22𝑚(𝜓∗∂𝑥𝜓−𝜓∂𝑥𝜓∗)=ℏ2𝑚Im(𝜓∗∂𝑥𝜓)

电流时间部分 (𝜃(𝑥)∈Im(ℂ))

ℏ Im ((−𝜃𝜓∗)∂𝑡𝜓+𝜓∗∂𝑡(𝜃𝜓))=ℏ Im (𝜓∗𝜓∂𝑡𝜃)

结果将会是量 i ℏ𝜓∗𝜓

整个电流, 除以 i ℏ 之后, 是 (𝜓∗𝜓,−i ℏ2𝑚(𝜓∗∂𝑥𝜓−𝜓∂𝑥𝜓∗) current-gauge-Schrodinger_(tag)

Schrodinger 场规范电流的时间分量是实数, 空间分量是纯虚数

认为 𝑗 是可 ℝ3 积分的量

对时间 𝑡 不变 ∂0∫ℝ3𝑑𝑥(𝑗0)=0 by ∂†𝑇=0 conserved-spatial-integral-charge-Schrodinger_(tag)

∫ℝ3𝑑𝑥(𝑗0)=∫ℝ3𝑑𝑥(𝜓∗𝜓)=∫ℝ3𝑑𝑥|𝜓|2

Schrodinger 场电流的时间分量是正的且空间积分 time invariant

这个量应该是 "粒子数密度" or "概率密度" or "电荷密度"?

motivation-of-quantization_(tag)

大部分对量子化的处理都会假设

  • ℂ 场的线性 unitary 演化

  • 可能非自由场, 所以无法用平面波

如果考虑 KG 场的非相对论近似极限, 则会自动得到这些假设

然后静态规范场的时间分量作为电势, 谐振子 potential 𝑘𝑟2 和氢原子 potential 𝑘1𝑟 都来自简单的电荷密度

于是动机问题变成

  • 为什么用 ℂ KG 场

  • 为什么以及如何对应到点粒子

  • 为什么规范场的 potential 会在场的粒子化时变成粒子的 potential

经典对应是指, 点粒子 Lagrange-equation 的期望值版本 (wiki:Ehrenfest_theorem). 如何让点粒子的 Lagrange-equation 的期望值版本对应到场的 Lagrange-equation?

Schrodinger eq 是 ℂ KG eq 的非相对论极限, Newton 方程是相对论点粒子的非相对论极限. 所以, 是否可以证明, KG eq 也有点粒子极限. 此时 "期望" 的定义是否要用 U (1) 的 KG 的电荷量密度 −ϕ∗∂𝑡ϕ+ϕ∂𝑡ϕ∗ (即使不是正定密度)

另一些 Schrodinger 波函数对应到点粒子的迹象

  • 平面波 𝑒− i 𝐸𝑡𝑒i 𝑝𝑥 是 Schrodinger eq 的解 <==> 𝐸=𝑝22𝑚+𝑉(𝑥). 对于非常值 𝑉(𝑥) 这个等式无法成立, 但是在嵌入的点粒子解 𝑥(𝑡) 中成立, 因为点粒子的能量 𝐸=12𝑚𝑥̇2(𝑡)+𝑉(𝑥(𝑡)) 随时间不变

  • Feynman 路径积分使用点粒子 Lagrangian 权重的路径统计来计算 Schrodinger eq 的 propagator

对于谐振子 𝑘𝑟2 和氢原子 𝑘1𝑟, 如果假设波函数的相位是 𝑒− i 𝐸𝑡 的振荡, 振幅是静态的 𝜓(𝑥), 则 𝑒− i 𝐸𝑡𝜓(𝑥) 满足 Schrodinger or Dirac eq <==> 𝜓(𝑥) 满足 Hermitian 算子的特征方程 H 𝜓=𝐸𝜓, 并且 𝐸 是离散的, for 椭圆型谐振子和氢原子的束缚态