Math 2.0

Quantum theory Definition

Weyl equation

Builds on Pauli matricesDirac equation

Definition

Use units with c=ℏ=1c = \hbar = 1 and coordinates (t,𝐱)βˆˆβ„Γ—β„3(t, \mathbf{x}) \in \R \times \R^3. Let Οƒ1,Οƒ2,Οƒ3\sigma_1, \sigma_2, \sigma_3 be the Pauli matrices and write πˆβ‹…βˆ‡=βˆ‘k=13Οƒkβ€‰βˆ‚/βˆ‚xk\boldsymbol{\sigma} \cdot \nabla = \sum_{k=1}^3 \sigma_k\, \partial / \partial x_k. The Weyl equations for a function Οˆβ€‰β£:ℝ×ℝ3β†’β„‚2\psi \colon \R \times \R^3 \to \C^2 are βˆ‚Οˆβˆ‚t+πˆβ‹…βˆ‡Οˆ=0andβˆ‚Οˆβˆ‚tβˆ’πˆβ‹…βˆ‡Οˆ=0.\frac{\partial \psi}{\partial t} + \boldsymbol{\sigma} \cdot \nabla \psi = 0 \qquad \text{and} \qquad \frac{\partial \psi}{\partial t} - \boldsymbol{\sigma} \cdot \nabla \psi = 0. With σμ=(I2,Οƒ1,Οƒ2,Οƒ3)\sigma^\mu = (I_2, \sigma_1, \sigma_2, \sigma_3) and ΟƒΛ‰ΞΌ=(I2,βˆ’Οƒ1,βˆ’Οƒ2,βˆ’Οƒ3)\bar\sigma^\mu = (I_2, -\sigma_1, -\sigma_2, -\sigma_3), they read ΟƒΞΌβˆ‚ΞΌΟˆ=0\sigma^\mu \partial_\mu \psi = 0 and ΟƒΛ‰ΞΌβˆ‚ΞΌΟˆ=0\bar\sigma^\mu \partial_\mu \psi = 0.

Remarks

Since (πˆβ‹…βˆ‡)2=Ξ”(\boldsymbol{\sigma} \cdot \nabla)^2 = \Delta, one has (βˆ‚tβˆ’πˆβ‹…βˆ‡)(βˆ‚t+πˆβ‹…βˆ‡)=βˆ‚t2βˆ’Ξ”(\partial_t - \boldsymbol{\sigma}\cdot\nabla)(\partial_t + \boldsymbol{\sigma}\cdot\nabla) = \partial_t^2 - \Delta, so every component of a solution of either equation solves the wave equation.

Example: let π©βˆˆβ„3βˆ–{0}\mathbf{p} \in \R^3 \setminus \set{0} and let uβˆˆβ„‚2u \in \C^2 be an eigenvector of πˆβ‹…π©\boldsymbol{\sigma} \cdot \mathbf{p} with eigenvalue ∣𝐩∣\abs{\mathbf{p}}. Then ψ=u eβˆ’i(∣𝐩∣tβˆ’π©β‹…π±)\psi = u\, e^{-i(\abs{\mathbf{p}} t - \mathbf{p}\cdot\mathbf{x})} satisfies βˆ‚tψ+πˆβ‹…βˆ‡Οˆ=(βˆ’i∣𝐩∣+iβ€‰πˆβ‹…π©)ψ=0\partial_t \psi + \boldsymbol{\sigma}\cdot\nabla\psi = \left(-i\abs{\mathbf{p}} + i\, \boldsymbol{\sigma}\cdot\mathbf{p}\right)\psi = 0. It is a positive-energy solution of the first equation whose spin points along 𝐩\mathbf{p}.

Non-example: if uu is instead the eigenvector of πˆβ‹…π©\boldsymbol{\sigma}\cdot\mathbf{p} with eigenvalue βˆ’βˆ£π©βˆ£-\abs{\mathbf{p}}, then ψ=u eβˆ’i(∣𝐩∣tβˆ’π©β‹…π±)\psi = u\, e^{-i(\abs{\mathbf{p}} t - \mathbf{p}\cdot\mathbf{x})} still solves the wave equation, but βˆ‚tψ+πˆβ‹…βˆ‡Οˆ=βˆ’2iβˆ£π©βˆ£Οˆβ‰ 0\partial_t\psi + \boldsymbol{\sigma}\cdot\nabla\psi = -2i\abs{\mathbf{p}}\psi \ne 0; it solves the second Weyl equation instead.

Which of the two equations is called right-handed and which left-handed depends on conventions. In the Weyl representation of the gamma matrices, the Dirac equation with mass m=0m = 0 decouples into the two Weyl equations for the upper and lower pairs of components.

Reading path

To understand this page from the ground up, read these 34 pages in order. The foundations come first.

Show the path as a graph
Cross product, concept, no evidence levelCross productconceptDeterminant, concept, no evidence levelDeterminantconceptDirac equation, concept, no evidence levelDirac equationconceptGroup, concept, no evidence levelGroupconceptHermitian matrix, concept, no evidence levelHermitian matrixconceptIdentity matrix, object, no evidence levelIdentity matrixobjectLie algebra, concept, no evidence levelLie algebraconceptLie group, concept, no evidence levelLie groupconceptMatrix, definition, no evidence levelMatrixdefinitionReal projective space, object, no evidence levelReal projective spaceobjectTrace of a matrix, concept, no evidence levelTrace of a matrixconceptUnitary matrix, concept, no evidence levelUnitary matrixconceptVector space, definition, no evidence levelVector spacedefinitionRing, definition, no evidence levelRingdefinitionSquare matrix, definition, no evidence levelSquare matrixdefinitionTranspose, definition, no evidence levelTransposedefinitionLinear map, definition, no evidence levelLinear mapdefinitionUnit of a ring, definition, no evidence levelUnit of a ringdefinitionConjugate transpose, definition, no evidence levelConjugate transposedefinitionMultilinear map, definition, no evidence levelMultilinear mapdefinitionOrthogonal matrix, definition, no evidence levelOrthogonal matrixdefinitionDivision ring, definition, no evidence levelDivision ringdefinitionAlternating multilinear map, definition, no evidence levelAlternating multiline…definitionOrthogonal group, object, no evidence levelOrthogonal groupobjectUnitary matrix, definition, no evidence levelUnitary matrixdefinitionThe quaternions, example, no evidence levelThe quaternionsexampleDeterminant, definition, no evidence levelDeterminantdefinitionUnitary group, object, no evidence levelUnitary groupobjectSpecial orthogonal group, object, no evidence levelSpecial orthogonal gr…objectSpecial unitary group SU(n), example, no evidence levelSpecial unitary group…exampleRotation group SO(3), example, no evidence levelRotation group SO(3)exampleSU(2), example, no evidence levelSU(2)examplePauli matrices, object, no evidence levelPauli matricesobjectWeyl equation, definition, no evidence levelWeyl equationdefinition
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. Cross product concept
  2. Determinant concept
  3. Dirac equation concept
  4. Group concept
  5. Hermitian matrix concept
  6. Identity matrix object
  7. Lie algebra concept
  8. Lie group concept
  9. Matrix definition
  10. Real projective space object
  11. Trace of a matrix concept
  12. Unitary matrix concept
  13. Vector space definition
  14. Ring definition
  15. Square matrix definition
  16. Transpose definition
  17. Linear map definition
  18. Unit of a ring definition
  19. Conjugate transpose definition
  20. Multilinear map definition
  21. Orthogonal matrix definition
  22. Division ring definition
  23. Alternating multilinear map definition
  24. Orthogonal group object
  25. Unitary matrix definition
  26. The quaternions example
  27. Determinant definition
  28. Unitary group object
  29. Special orthogonal group object
  30. Special unitary group SU(n) example
  31. Rotation group SO(3) example
  32. SU(2) example
  33. Pauli matrices object
  34. Weyl equation definition

Further reading

  1. Web https://en.wikipedia.org/wiki/Weyl_equation
About this page
Tag9F8D8G6F6V
URIm2://9F8D8G6F6V
Kinddefinition
WritingW0 stub
MSC81R20, 35Q41, 81R25
DefinesWeyl equation
UsesPauli matrices, Dirac equation
Changed3 November 2026

Markdown Β· JSON Β· Edit on GitHub

What this page needs for W1

  • a source with a locator (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

No page links to this page yet.