Math 2.0

Quantum theory Relativistic wave equations Counterexample

Klein paradox

Builds on Dirac equationSchrödinger equationPauli matrices

Counterexample

Use units with ℏ=c=1\hbar = c = 1 and one space dimension. Consider the Dirac equation for ψ ⁣:ℝ2→ℂ2\psi \colon \R^2 \to \C^2 with an electric potential VV: i ∂tψ=(−iσ1∂x+mσ3+V(x))ψ.i\, \partial_t \psi = \left( -i\sigma_1 \partial_x + m\sigma_3 + V(x) \right)\psi. Here m≥0m \ge 0, and σ1,σ3\sigma_1, \sigma_3 are Pauli matrices. Take the potential step V(x)=0V(x) = 0 for x<0x < 0 and V(x)=V0>0V(x) = V_0 > 0 for x>0x > 0. A stationary solution ψ=ϕ(x)e−iEt\psi = \phi(x) e^{-iEt} with energy E>mE > m consists of plane waves u eikxu\, e^{ikx} in each region. On such a wave the operator σ1k+mσ3\sigma_1 k + m\sigma_3 has eigenvalues ±k2+m2\pm\sqrt{k^2 + m^2}, so in the region x>0x > 0 one needs (E−V0)2=k2+m2(E - V_0)^2 = k^2 + m^2.

Claim: when V0>E+mV_0 > E + m, the wave number k=±(E−V0)2−m2k = \pm\sqrt{(E - V_0)^2 - m^2} in the region x>0x > 0 is real, so the solution oscillates there instead of decaying. This contradicts the expectation, true for the Schrödinger equation, that a barrier much higher than the energy of the particle is nearly impenetrable. For the Schrödinger step with V0>EV_0 > E, the solution behind the step decays like e−κxe^{-\kappa x} with κ=2m(V0−E)\kappa = \sqrt{2m(V_0 - E)}, and no probability current enters the region x>0x > 0. For the Dirac step, the transmitted current stays nonzero for every V0>E+mV_0 > E + m and does not tend to 00 as V0→∞V_0 \to \infty.

The massless case shows this in its simplest form. For m=0m = 0 the stationary equation is (E−V(x))ϕ=−iσ1ϕ′(E - V(x))\phi = -i\sigma_1 \phi'. In the eigenbasis of σ1\sigma_1, the component w=ϕ1+ϕ2w = \phi_1 + \phi_2 satisfies w′=i(E−V(x)) ww' = i(E - V(x))\, w, so w(x)=w(0)exp⁡ ⁣(i∫0x(E−V(s)) ds)w(x) = w(0)\exp\!\left( i\int_0^x (E - V(s))\, ds \right) for any potential VV. A right-moving wave keeps its modulus everywhere: it passes through any barrier, however high, with no reflection at all.

Reading path

To understand this page from the ground up, read these 35 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 spaceobjectSchrödinger equation, concept, no evidence levelSchrödinger equationconceptTrace 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 matricesobjectKlein paradox, counterexample, no evidence levelKlein paradoxcounterexample
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. Schrödinger equation concept
  12. Trace of a matrix concept
  13. Unitary matrix concept
  14. Vector space definition
  15. Ring definition
  16. Square matrix definition
  17. Transpose definition
  18. Linear map definition
  19. Unit of a ring definition
  20. Conjugate transpose definition
  21. Multilinear map definition
  22. Orthogonal matrix definition
  23. Division ring definition
  24. Alternating multilinear map definition
  25. Orthogonal group object
  26. Unitary matrix definition
  27. The quaternions example
  28. Determinant definition
  29. Unitary group object
  30. Special orthogonal group object
  31. Special unitary group SU(n) example
  32. Rotation group SO(3) example
  33. SU(2) example
  34. Pauli matrices object
  35. Klein paradox counterexample

Further reading

  1. Web https://en.wikipedia.org/wiki/Klein_paradox
About this page
Tag4W4PGKHAQE
URIm2://4W4PGKHAQE
Kindcounterexample
WritingW0 stub
MSC81U26, 35Q41, 81R20
UsesDirac equation, Schrödinger equation, Pauli matrices
Same as
Changed3 November 2026

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • an inventory row: the row of the inventory that the node accounts for (0 of 1)
  • a source with a locator (0 of 1)
  • edge refutes or not_instance_of out (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.