1. notice
  2. English
  3. logic-topic
  4. 1. logic
  5. 2. basic
  6. 3. map
  7. 4. order
  8. 5. combinatorics
  9. calculus
  10. 6. real-numbers
  11. 7. limit-sequence
  12. 8. division-algebra
  13. 9. Euclidean-space
  14. 10. Minkowski-space
  15. 11. polynomial
  16. 12. analytic-Euclidean
  17. 13. analytic-struct-operation
  18. 14. ordinary-differential-equation
  19. 15. volume
  20. 16. integral
  21. 17. divergence
  22. 18. limit-net
  23. 19. topology
  24. 20. compact
  25. 21. connected
  26. 22. topology-struct-operation
  27. 23. exponential
  28. 24. angle
  29. geometry
  30. 25. manifold
  31. 26. metric
  32. 27. metric-connection
  33. 28. geodesic-derivative
  34. 29. curvature-of-metric
  35. 30. Einstein-metric
  36. 31. constant-sectional-curvature
  37. 32. simple-symmetric-space
  38. 33. principal-bundle
  39. 34. group
  40. 35. stereographic-projection
  41. 36. Hopf-bundle
  42. field-theory
  43. 37. point-particle-non-relativity
  44. 38. point-particle-relativity
  45. 39. scalar-field
  46. 40. scalar-field-current
  47. 41. scalar-field-non-relativity
  48. 42. projective-lightcone
  49. 43. spacetime-momentum-spinor-representation
  50. 44. Lorentz-group
  51. 45. spinor-field
  52. 46. spinor-field-current
  53. 47. electromagnetic-field
  54. 48. Laplacian-of-tensor-field
  55. 49. Einstein-metric
  56. 50. interaction
  57. 51. harmonic-oscillator-quantization
  58. 52. spinor-field-misc
  59. 53. reference
  60. ไธญๆ–‡
  61. 54. notice
  62. ้€ป่พ‘
  63. 55. ้€ป่พ‘
  64. 56. ๅŸบ็ก€
  65. 57. ๆ˜ ๅฐ„
  66. 58. ๅบ
  67. 59. ็ป„ๅˆ
  68. ๅพฎ็งฏๅˆ†
  69. 60. ๅฎžๆ•ฐ
  70. 61. ๆ•ฐๅˆ—ๆž้™
  71. 62. ๅฏ้™คไปฃๆ•ฐ
  72. 63. Euclidean ็ฉบ้—ด
  73. 64. Minkowski ็ฉบ้—ด
  74. 65. ๅคš้กนๅผ
  75. 66. ่งฃๆž (Euclidean)
  76. 67. ่งฃๆž struct ็š„ๆ“ไฝœ
  77. 68. ๅธธๅพฎๅˆ†ๆ–น็จ‹
  78. 69. ไฝ“็งฏ
  79. 70. ็งฏๅˆ†
  80. 71. ๆ•ฃๅบฆ
  81. 72. ็ฝ‘ๆž้™
  82. 73. ๆ‹“ๆ‰‘
  83. 74. ็ดง่‡ด
  84. 75. ่ฟž้€š
  85. 76. ๆ‹“ๆ‰‘ struct ็š„ๆ“ไฝœ
  86. 77. ๆŒ‡ๆ•ฐๅ‡ฝๆ•ฐ
  87. 78. ่ง’ๅบฆ
  88. ๅ‡ ไฝ•
  89. 79. ๆตๅฝข
  90. 80. ๅบฆ่ง„
  91. 81. ๅบฆ่ง„็š„่”็ปœ
  92. 82. Levi-Civita ๅฏผๆ•ฐ
  93. 83. ๅบฆ่ง„็š„ๆ›ฒ็އ
  94. 84. Einstein ๅบฆ่ง„
  95. 85. ๅธธๆˆช้ขๆ›ฒ็އ
  96. 86. simple-symmetric-space
  97. 87. ไธปไธ›
  98. 88. ็พค
  99. 89. ็ƒๆžๆŠ•ๅฝฑ
  100. 90. Hopf ไธ›
  101. ๅœบ่ฎบ
  102. 91. ้ž็›ธๅฏน่ฎบ็‚น็ฒ’ๅญ
  103. 92. ็›ธๅฏน่ฎบ็‚น็ฒ’ๅญ
  104. 93. ็บฏ้‡ๅœบ
  105. 94. ็บฏ้‡ๅœบ็š„ๅฎˆๆ’ๆต
  106. 95. ้ž็›ธๅฏน่ฎบ็บฏ้‡ๅœบ
  107. 96. ๅ…‰้”ฅๅฐ„ๅฝฑ
  108. 97. ๆ—ถ็ฉบๅŠจ้‡็š„่‡ชๆ—‹่กจ็คบ
  109. 98. Lorentz ็พค
  110. 99. ๆ—‹้‡ๅœบ
  111. 100. ๆ—‹้‡ๅœบ็š„ๅฎˆๆ’ๆต
  112. 101. ็”ต็ฃๅœบ
  113. 102. ๅผ ้‡ๅœบ็š„ Laplacian
  114. 103. Einstein ๅบฆ่ง„
  115. 104. ็›ธไบ’ไฝœ็”จ
  116. 105. ่ฐๆŒฏๅญ้‡ๅญๅŒ–
  117. 106. ๆ—‹้‡ๅœบๆ‚้กน
  118. 107. ๅ‚่€ƒ

note-math

cf. Action of scalar field

Symmetry and conserved currents

  • Spacetime translation

Spacetime translation does not fix the โ€œboundaryโ€. The variation is non-zero. Similar to the case of time translation for a point particle

Generally, region change is given by by ฮด diffeomorphism

Using the change of variable formula

Swap differentiation and integration

Apply it to

Consider the derivative of the action for a variation that is a translation in the direction. let , first order derivative

use product rule

use Lagrange-equation

use divergence + zero boundary, to get

[energy-momentum-tensor-KG]

get

for all as coordinate-frame, so

for calculate

or

It can be seen that this EM tensor, after the index is lowered, is symmetric, so

In addition, the KG action is a real value, so its EM tensor is a real value

Assume that the EM tensor of can be integrated over . Use the notation . energy

General potential =>

The energy of a relativistic scalar field is real and positive

[conserved-spatial-integral-energy-KG]

Fixing the coordinates, assume is a quantity integrable over

As long as we assume that the flux density , then we have time invariance of

  • . Field energy conservation

  • . Field momentum (?) conservation

Other components, e.g. , are invariant along the direction. Use , the integral of and its . The limit of region approximation is for hyperbolic geodesic spheres (multi-radius)

Example For plane wave expansion

Energy is (Question)

  • Rotation and boost

For fields, whether spatial rotation or boost, even if the Lagrangian is invariant, the action still changes

Now use the notation

  • Spatial rotation of . If , then , so the tangent vector is

    Let be the spatial rotation axis, then the tangent vector will be

  • Boost of . If , then , so the tangent vector is

    Let be the spatial boost axis, then the tangent vector will be (The spacetime metric has negative definite space)

Now use the notation . The tangent vectors for rotation and boost are collectively denoted as , acting as ฮด spacetime rotation on the field , as a ฮด diffeomorphism

Using the KG equation, rearranging terms, we get the zero-divergence conserved current

[angular-momentum-KG] let be the energy-momentum tensor of the KG field. The angular momentum of the field

or

  • Current of KG field under gauge field

let be the solution of KG eq. The phase change and its ฮด change belong to variations near the solution with fixed boundaries, so

Using product rule + divergence + Stokesโ€™ theorem + zero boundary

for all valued function , therefore

is called the 4-current of the KG field [current-gauge-KG]

Fixing the coordinates, and considering the 4-current components as quantities integrable over , then the zero component, i.e., charge conservation, holds [conserved-spatial-integral-charge-KG]

note that itโ€™s non positive defnite, is anti-Hermitian