|
|
| Line 1: |
Line 1: |
| {{Quantum mechanics|cTopic=Formulations}}
| | Video games can give you a major universe of experience, relaxation and exhilaration. Someone can learn, get a common-sense of success or since enjoy beating down specific bad-guy. No appear form of video video games you are into, include the helpful tips in this particular post to give your self more fun whenever you and your family play your next video game Website.<br><br>Flipping from band blueprint to a [http://www.Ehow.com/search.html?s=besprinkle besprinkle] blueprint is giving some sort of supplied authentic picture. One particular accumbent time arbor is also actually scaled evenly. But it's adamantine turn out to be able to acquaint what's activity now inside bottom-left bend now. The ethics are so bunched up you simply can't acquaint them afar any longer.<br><br>Back in clash of clans Cheats (a truth popular social architecture quite possibly arresting bold by Supercell) participants can acceleration high accomplishments for example building, advance or training defense force with gems that are actually being sold for absolute bucks. They're basically monetizing this player's . anxiety. Every amusing architecture vibrant I apperceive of manages to participate.<br><br>Clash of Clans is obviously a popular sport made to end up being played on multiple systems, for the most part iOS and also operating system. The overall game is ach intriguing but presently presently comes a spot regarding legend, where the music player gets trapped because within not enough gems. However, this problem has able to easily choose to be resolved.<br><br>Golf season is here and also going strong, and like many fans we far for Sunday afternoon when the games begin. If you have gamed and liked Soul Caliber, you will love this excellent game. The third best is the Scratch Cell which will at random , fill in some piazzas. Defeating players that by any usually means necessary can be that reason that pushes these folks to use Words with Friends Cheat. One particular app requires you with answer 40 questions that has varying degrees of difficulties.<br><br>The particular world can be piloted by supply and great quality. We shall look at the Greek-Roman model. If you liked this article and you also would like to be given more info concerning how to hack clash of clans - [http://prometeu.net Learn Alot more Here] - nicely visit the web page. Using special care - highlight the role because of clash of clans get into tool no survey within just the vast framework the usually this provides.<br><br>Look for game of the 1 year versions of major post titles. These often come out a twelvemonth or maybe more after the original title, but form lots of the down loadable and extra content which had been released in stages big event first title. [https://Www.Google.com/search?hl=en&gl=us&tbm=nws&q=Involving+games Involving games] offer a additional bang for the dollar. |
| '''Matrix mechanics''' is a formulation of [[quantum mechanics]] created by [[Werner Heisenberg]], [[Max Born]], and [[Pascual Jordan]] in 1925.
| |
| | |
| Matrix mechanics was the first conceptually autonomous and logically consistent formulation of quantum mechanics. It extended the [[Bohr Model]] by describing how the [[Atomic electron transition|quantum jumps]] occur. It did so by interpreting the physical properties of particles as [[Matrix (mathematics)|matrices]] that evolve in time. It is equivalent to the [[Schrödinger equation|Schrödinger wave formulation]] of quantum mechanics, and is the basis of [[Paul Dirac|Dirac]]'s [[bra-ket notation]] for the [[wave function]].
| |
| | |
| In some contrast to the wave formulation, it produces spectra of energy operators by purely algebraic, [[ladder operator]], methods.<ref>Herbert S. Green (1965), "Matrix mechanics" (P. Noordhoff Ltd, Groningen, Netherlands) ASIN : B0006BMIP8.</ref> Relying on these methods, Pauli derived the Hydrogen atom spectrum in 1926,<ref name="pauli_1926">{{cite journal | last = Pauli | first = W | authorlink = Wolfgang Pauli | year = 1926 | title = Über das Wasserstoffspektrum vom Standpunkt der neuen Quantenmechanik | journal = Zeitschrift für Physik | volume = 36 | pages = 336–363 | doi = 10.1007/BF01450175|bibcode = 1926ZPhy...36..336P | issue = 5 }}</ref> before the development of wave mechanics.
| |
| | |
| ==Development of matrix mechanics==
| |
| In 1925, [[Werner Heisenberg]], [[Max Born]], and [[Pascual Jordan]] formulated the matrix mechanics representation of quantum mechanics.
| |
| | |
| ===Epiphany at Helgoland===
| |
| In 1925 Werner Heisenberg was working in [[Göttingen]] on the problem of calculating the [[spectral line]]s of [[hydrogen]]. By May 1925 he began trying to describe atomic systems by [[observable]]s only. On June 7, to escape the effects of a bad attack of [[hay fever]], Heisenberg left for the pollen free [[North Sea]] island of [[Helgoland]]. While there, in between climbing and learning by heart poems from [[Johann Wolfgang von Goethe|Goethe]]'s [[West-östlicher Diwan]], he continued to ponder the spectral issue and eventually realised that adopting ''[[Commutativity|non-commuting]]'' observables might solve the problem, and he later wrote<ref>W. Heisenberg, "Der Teil und das Ganze", Piper, Munich, (1969)[http://www.vub.ac.be/CLEA/IQSA/history.html The Birth of Quantum Mechanics].</ref>
| |
| {{quote|"It was about three o' clock at night when the final result of the calculation lay before me. At first I was deeply shaken. I was so excited that I could not think of sleep. So I left the house and awaited the sunrise on the top of a rock."}}
| |
| | |
| ===The Three Fundamental Papers===
| |
| | |
| After Heisenberg returned to [[Göttingen]], he showed [[Wolfgang Pauli]] his calculations, commenting at one point:<ref>[http://www.vub.ac.be/CLEA/IQSA/history.html The Birth of Quantum Mechanics]</ref> {{quote|"Everything is still vague and unclear to me, but it seems as if the electrons will no more move on orbits."}}
| |
| On July 9 Heisenberg gave the same paper of his calculations to [[Max Born]], saying,
| |
| "...he had written a crazy paper and did not dare to send it in for publication, and that Born should read it and advise him on it..."
| |
| prior to publication. Heisenberg then departed for a while, leaving Born to analyse the paper.<ref>W. Heisenberg, ''[[Über quantentheoretische Umdeutung kinematischer und mechanischer Beziehungen]]'', ''Zeitschrift für Physik'', '''33''', 879-893, 1925 (received July 29, 1925). [English translation in: B. L. van der Waerden, editor, ''Sources of Quantum Mechanics'' (Dover Publications, 1968) ISBN 0-486-61881-1 (English title: “Quantum-Theoretical Re-interpretation of Kinematic and Mechanical Relations”).]</ref>
| |
| | |
| In the paper, Heisenberg formulated quantum theory without sharp electron orbits. [[Hendrik Kramers]] had earlier calculated the relative intensities of spectral lines in the [[Bohr model|Sommerfeld model]] by interpreting the [[Fourier series|Fourier coefficients]] of the orbits as intensities. But his answer, like all other calculations in the [[old quantum theory]], was only correct for [[correspondence principle|large orbits]].
| |
| | |
| Heisenberg, after a collaboration with Kramers,<ref>H. A. Kramers und W. Heisenberg, ''Über die Streuung von Strahlung durch Atome,'' Zeitschrift für Physik '''31''', 681-708 (1925).</ref> began to understand that the transition probabilities were not quite classical quantities, because the only frequencies that appear in the [[Fourier series]] should be the ones that are observed in quantum jumps, not the fictional ones that come from Fourier-analyzing sharp classical orbits. He replaced the classical Fourier series with a matrix of coefficients, a fuzzed-out quantum analog of the Fourier series. Classically, the Fourier coefficients give the intensity of the emitted radiation, so in quantum mechanics the magnitude of the matrix elements of the [[position operator]] were the intensity of radiation in the bright-line spectrum.
| |
| | |
| The quantities in Heisenberg's formulation were the classical position and momentum, but now they were no longer sharply defined. Each quantity was represented by a collection of [[Fourier series|Fourier coefficients]] with two indices, corresponding to the initial and final states.<ref>Emilio Segrè, ''From X-Rays to Quarks: Modern Physicists and their Discoveries'' (W. H. Freeman and Company, 1980) ISBN 0-7167-1147-8, pp 153 - 157.</ref> When Born read the paper, he recognized the formulation as one which could be transcribed and extended to the systematic language of matrices,<ref>Abraham Pais, ''Niels Bohr’s Times in Physics, Philosophy, and Polity'' (Clarendon Press, 1991) ISBN 0-19-852049-2, pp 275 - 279.</ref> which he had learned from his study under Jakob Rosanes<ref>[http://nobelprize.org/nobel_prizes/physics/laureates/1954/born-lecture.pdf Max Born] – Nobel Lecture (1954)</ref> at [[Breslau University]]. Born, with the help of his assistant and former student [[Pascual Jordan]], began immediately to make the transcription and extension, and they submitted their results for publication; the paper was received for publication just 60 days after Heisenberg’s paper.<ref>M. Born and P. Jordan, ''Zur Quantenmechanik'', ''Zeitschrift für Physik'', '''34''', 858-888, 1925 (received September 27, 1925). [English translation in: B. L. van der Waerden, editor, ''Sources of Quantum Mechanics'' (Dover Publications, 1968) ISBN 0-486-61881-1]</ref> A follow-on paper was submitted for publication before the end of the year by all three authors.<ref>M. Born, W. Heisenberg, and P. Jordan, ''Zur Quantenmechanik II'', ''Zeitschrift für Physik'', '''35''', 557-615, 1925 (received November 16, 1925). [English translation in: B. L. van der Waerden, editor, Sources of Quantum Mechanics (Dover Publications, 1968) ISBN 0-486-61881-1]</ref> (A brief review of Born’s role in the development of the matrix mechanics formulation of quantum mechanics along with a discussion of the key formula involving the non-commutivity of the probability amplitudes can be found in an article by [[Jeremy Bernstein]].<ref>Jeremy Bernstein ''Max Born and the Quantum Theory'', ''Am. J. Phys.'' '''73''' (11) 999-1008 (2005)</ref> A detailed historical and technical account can be found in Mehra and Rechenberg’s book ''The Historical Development of Quantum Theory. Volume 3. The Formulation of Matrix Mechanics and Its Modifications 1925–1926.''<ref>Mehra, Volume 3 (Springer, 2001)</ref>)
| |
| | |
| {{quote box|align=right|width=40em|quote=*W. Heisenberg, ''[[Über quantentheoretische Umdeutung kinematischer und mechanischer Beziehungen]]'', ''Zeitschrift für Physik'', '''33''', 879-893, 1925 (received July 29, 1925). [English translation in: B. L. van der Waerden, editor, ''Sources of Quantum Mechanics'' (Dover Publications, 1968) ISBN 0-486-61881-1 (English title: ''Quantum-Theoretical Re-interpretation of Kinematic and Mechanical Relations'').]
| |
| | |
| *M. Born and P. Jordan, ''Zur Quantenmechanik'', ''Zeitschrift für Physik'', '''34''', 858-888, 1925 (received September 27, 1925). [English translation in: B. L. van der Waerden, editor, ''Sources of Quantum Mechanics'' (Dover Publications, 1968) ISBN 0-486-61881-1 (English title: ''On Quantum Mechanics'').]
| |
| | |
| *M. Born, W. Heisenberg, and P. Jordan, ''Zur Quantenmechanik II'', ''Zeitschrift für Physik'', '''35''', 557-615, 1926 (received November 16, 1925). [English translation in: B. L. van der Waerden, editor, ''Sources of Quantum Mechanics'' (Dover Publications, 1968) ISBN 0-486-61881-1 (English title: ''On Quantum Mechanics II'').] }}
| |
| | |
| Up until this time, matrices were seldom used by physicists; they were considered to belong to the realm of pure mathematics. [[Gustav Mie]] had used them in a paper on electrodynamics in 1912 and Born had used them in his work on the lattices theory of crystals in 1921. While matrices were used in these cases, the algebra of matrices with their multiplication did not enter the picture as they did in the matrix formulation of quantum mechanics.<ref>Jammer, 1966, pp. 206-207.</ref> Born, however, had learned matrix algebra from Rosanes, as already noted, but Born had also learned Hilbert’s theory of integral equations and quadratic forms for an infinite number of variables as was apparent from a citation by Born of Hilbert’s work ''Grundzüge einer allgemeinen Theorie der Linearen Integralgleichungen'' published in 1912.<ref>van der Waerden, 1968, p. 51.</ref><ref>The citation by Born was in Born and Jordan's paper, the second paper in the trilogy which launched the matrix mechanics formulation. See van der Waerden, 1968, p. 351.</ref> Jordan, too was well equipped for the task. For a number of years, he had been an assistant to [[Richard Courant]] at Göttingen in the preparation of Courant and [[David Hilbert|David Hilbert’s]] book ''Methoden der mathematischen Physik I'', which was published in 1924.<ref>Constance Ried ''Courant” (Springer, 1996) p. 93.</ref> This book, fortuitously, contained a great many of the mathematical tools necessary for the continued development of quantum mechanics.
| |
| | |
| In 1926, [[John von Neumann]] became assistant to [[David Hilbert]], and he would coin the term [[Hilbert space]] to describe the algebra and analysis which were used in the development of quantum mechanics.<ref>John von Neumann ''Allgemeine Eigenwerttheorie Hermitescher Funktionaloperatoren'', ''Mathematische Annalen'' '''102''' 49–131 (1929)</ref><ref>When von Neumann left Göttingen in 1932, his book on the mathematical foundations of quantum mechanics, based on Hilbert’s mathematics, was published under the title ''Mathematische Grundlagen der Quantenmechanik''. See: Norman Macrae, ''John von Neumann: The Scientific Genius Who Pioneered the Modern Computer, Game Theory, Nuclear Deterrence, and Much More'' (Reprinted by the American Mathematical Society, 1999) and Constance Reid, ''Hilbert'' (Springer-Verlag, 1996) ISBN 0-387-94674-8.</ref>
| |
| | |
| === Heisenberg's reasoning ===
| |
| Before matrix mechanics, the [[old quantum theory]] described the motion of a particle by a classical orbit, with well defined position and momentum ''X''(''t''), ''P''(''t''), with the restriction that the time integral over one period ''T'' of the momentum times the velocity must be a positive integer multiple of [[Planck's constant]]
| |
| | |
| :<math> \int_0^T P \;dX = n h </math> .
| |
| | |
| While this restriction correctly selects orbits with more or less the
| |
| right energy values ''E<sub>n</sub>'', the old quantum mechanical formalism did not describe time dependent processes, such as the emission or absorption of radiation.
| |
| | |
| When a classical particle is weakly coupled to a radiation field, so that the radiative damping can be neglected, it will emit [[dipole radiation|radiation]] in a pattern which repeats itself every orbital period. The frequencies which make up the outgoing wave are then integer multiples of the orbital frequency, and this is a reflection of the fact that ''X''(''t'') is periodic, so that its [[Fourier series|Fourier representation]] has frequencies 2π''n/T'' only.
| |
| | |
| :<math>
| |
| X(t) = \sum_{n=-\infty}^\infty e^{2\pi i nt / T} X_n
| |
| </math> .
| |
| | |
| The coefficients ''X<sub>n</sub>'' are complex numbers. The ones with negative frequencies must be the [[complex conjugate]]s of the ones with positive frequencies, so that ''X''(''t'') will always be real,
| |
| | |
| :<math> X_n = X_{-n}^* </math> .
| |
| | |
| A quantum mechanical particle, on the other hand, can't emit radiation continuously, it can only emit photons. Assuming that the quantum particle started in orbit number ''n'', emitted a photon, then ended up in orbit number ''m'', the energy of the photon is {{math|''E<sub>n</sub>''−''E<sub>m</sub>''}}, which means that its frequency is {{math|(''E<sub>n</sub>''−''E<sub>m</sub>'')/''h''}}.
| |
| | |
| For large ''n'' and ''m'', but with ''n''−''m'' relatively small, these are the classical frequencies by [[Niels Bohr|Bohr]]'s
| |
| [[correspondence principle]]
| |
| | |
| :<math> E_n-E_m \approx h(n-m)/T</math> .
| |
| | |
| In the formula above, ''T'' is the classical period of either orbit ''n'' or orbit ''m'', since the difference between them is higher order in ''h''. But for ''n'' and ''m'' small, or if ''n'' − ''m'' is large, the frequencies are not integer multiples of any single frequency.
| |
| | |
| Since the frequencies which the particle emits are the same as the frequencies in the fourier description of its motion, this suggests that ''something'' in the time-dependent description of the particle is oscillating with frequency {{math|(''E<sub>n</sub>''−''E<sub>m</sub>'')/''h''}}. Heisenberg called this quantity ''X<sub>nm</sub>'',
| |
| and demanded that it should reduce to the classical [[Fourier series|Fourier coefficients]] in the classical limit. For large values of ''n'', ''m'' but with ''n'' − ''m'' relatively small,
| |
| ''X<sub>nm</sub>'' is the {{math|(''n''−''m'')}}th Fourier coefficient of the classical motion at orbit ''n''. Since ''X<sub>nm</sub>'' has opposite frequency to ''X<sub>mn</sub>'', the condition that ''X'' is real becomes
| |
| :<math>X_{nm}=X_{mn}^*</math> .
| |
| | |
| By definition, ''X<sub>nm</sub>'' only has the frequency {{math|(''E<sub>n</sub>''−''E<sub>m</sub>'')/''h''}}, so its time evolution is simple:
| |
| | |
| :<math> X_{nm}(t) = e^{2\pi i(E_n - E_m)t/h} X_{nm}(0) </math> .
| |
| This is the original form of Heisenberg's equation of motion.
| |
| | |
| Given two arrays ''X<sub>nm</sub>'' and ''P<sub>nm</sub>'' describing two physical quantities, Heisenberg could form a new array of the same type by
| |
| combining the terms ''X<sub>nk</sub>P<sub>km</sub>'', which also oscillate with the right frequency. Since the [[Fourier series|Fourier coefficients]] of the product of two quantities is the [[convolution]] of the Fourier coefficients of each one separately, the correspondence with Fourier series allowed Heisenberg to deduce the rule by which
| |
| the arrays should be multiplied,
| |
| :<math>
| |
| (XP)_{mn} = \sum_{k=0}^\infty X_{mk} P_{kn}
| |
| </math> .
| |
| | |
| Born pointed out that ''this is the law of matrix multiplication'', so that the position, the momentum, the energy, all the observable
| |
| quantities in the theory, are interpreted as matrices. Under this multiplication rule, the product depends on the order: ''XP'' is different from ''PX''.
| |
| | |
| The ''X'' matrix is a complete description of the motion of a quantum mechanical particle. Because the frequencies in the quantum motion are not multiples of a common frequency, the matrix elements ''cannot be interpreted as the [[Fourier series|Fourier coefficients]] of a sharp classical trajectory''. Nevertheless, as matrices, ''X''(''t'') and ''P''(''t'') satisfy the classical equations of motion; also see Ehrenfest's theorem, below.
| |
| | |
| === Matrix basics ===
| |
| | |
| When it was introduced by [[Werner Heisenberg]], [[Max Born]] and [[Pascual Jordan]] in 1925, matrix mechanics was not immediately accepted and was a source of controversy, at first.
| |
| Schrödinger's later introduction of [[Schrödinger equation|wave mechanics]] was greatly favored.
| |
| | |
| Part of the reason was that Heisenberg's formulation was in an odd mathematical language, for the time, while Schrödinger's formulation was based on familiar wave equations. But there was also a deeper sociological reason. Quantum mechanics had been developing by two paths, one under the direction of Einstein and the other under the direction of Bohr. Einstein emphasized wave-particle duality, while Bohr emphasized the discrete energy states and quantum jumps. DeBroglie had shown how to reproduce the discrete energy states in Einstein's framework--- the quantum condition is the standing wave condition, and this gave hope to those in the Einstein school that all the discrete aspects of quantum mechanics would be subsumed into a continuous wave mechanics.
| |
| | |
| Matrix mechanics, on the other hand, came from the Bohr school, which was concerned with discrete energy states and quantum jumps. Bohr's followers did not appreciate physical models which pictured electrons as waves, or as anything at all. They preferred to focus on the quantities which were directly connected to experiments.
| |
| | |
| In atomic physics, [[spectroscopy]] gave observational data on atomic transitions arising from the interactions of atoms with light [[quantum|quanta]]. The Bohr school required that only those quantities which were in principle measurable by spectroscopy should appear in the theory. These quantities include the energy levels and their intensities but they do not include the exact location of a particle in its Bohr orbit. It is very hard to imagine an experiment which could determine whether an electron in the ground state of a hydrogen atom is to the right or to the left of the nucleus. It was a deep conviction that such questions did not have an answer.
| |
| | |
| The matrix formulation was built on the premise that all physical [[observables]] are represented by matrices, whose elements are indexed by two different energy levels. The set of [[eigenvalue]]s of the matrix were eventually understood to be the set of all possible values that the observable can have. Since Heisenberg's matrices are [[Hermitian matrix|Hermitian]], the eigenvalues are real.
| |
| | |
| If an observable is measured and the result is a certain eigenvalue, the corresponding [[eigenvector]] is the state of the system immediately after the measurement. The act of measurement in matrix mechanics 'collapses' the state of the system. If one measures two observables simultaneously, the state of the system collapses to a common eigenvector of the two observables. Since most matrices don't have any eigenvectors in common, most observables can never be measured precisely at the same time. This is the [[uncertainty principle]].
| |
| | |
| If two matrices share their eigenvectors, they can be simultaneously diagonalized. In the basis where they are both diagonal, it is clear that their product does not depend on their order because multiplication of diagonal matrices is just multiplication of numbers. The uncertainty principle, by contrast, is an expression of the fact that often two matrices ''A'' and ''B'' do not always commute, i.e., that ''AB − BA'' does not necessarily equal 0. The fundamental commutation relation of matrix mechanics,
| |
| | |
| :<math>\sum_k ( X_{nk} P_{km} - P_{nk} X_{km}) = {ih\over 2\pi} ~ \delta_{nm}</math>
| |
| implies then that ''there are no states which simultaneously have a definite position and momentum''.
| |
| | |
| This principle of uncertainty holds for many other pairs of observables as well. For example, the energy does not commute with the position either, so it is impossible to precisely determine the position and energy of an electron in an atom.
| |
| | |
| ===Nobel Prize===
| |
| | |
| In 1928, [[Albert Einstein]] nominated Heisenberg, Born, and Jordan for the [[Nobel Prize in Physics]].<ref>Bernstein, 2004, p. 1004.</ref> The announcement of the Nobel Prize in Physics for 1932 was delayed until November 1933.<ref>Greenspan, 2005, p. 190.</ref> It was at that time that it was announced Heisenberg had won the Prize for 1932 “for the creation of quantum mechanics, the application of which has, inter alia, led to the discovery of the allotropic forms of hydrogen”<ref name="nobelprize.org">[[Nobel Prize in Physics]] and [http://nobelprize.org/nobel_prizes/physics/laureates/1933/press.html 1933] – Nobel Prize Presentation Speech.</ref> and [[Erwin Schrödinger]] and [[Paul Dirac|Paul Adrien Maurice Dirac]] shared the 1933 Prize "for the discovery of new productive forms of atomic theory".<ref name="nobelprize.org"/> One can rightly ask why Born was not awarded the Prize in 1932 along with Heisenberg, and Bernstein gives some speculations on this matter. One of them is related to Jordan joining the [[Nazi Party]] on May 1, 1933 and becoming a [[Sturmabteilung|Storm Trooper]].<ref>Bernstein, 2005, p. 1004.</ref> Hence, Jordan’s Party affiliations and Jordan’s links to Born may have affected Born’s chance at the Prize at that time. Bernstein also notes that when Born won the Prize in 1954, Jordan was still alive, and the Prize was awarded for the statistical interpretation of quantum mechanics, attributable alone to Born.<ref>Bernstein, 2005, p. 1006.</ref>
| |
| | |
| Heisenberg’s reactions to Born for Heisenberg receiving the Prize for 1932 and for Born receiving the Prize in 1954 are also instructive in evaluating whether Born should have shared the Prize with Heisenberg. On November 25, 1933 Born received a letter from Heisenberg in which he said he had been delayed in writing due to a “bad conscience” that he alone had received the Prize “for work done in Göttingen in collaboration – you, Jordan and I.” Heisenberg went on to say that Born and Jordan’s contribution to quantum mechanics cannot be changed by “a wrong decision from the outside.”<ref>Greenspan, 2005, p. 191.</ref> In 1954, Heisenberg wrote an article honoring [[Max Planck]] for his insight in 1900. In the article, Heisenberg credited Born and Jordan for the final mathematical formulation of matrix mechanics and Heisenberg went on to stress how great their contributions were to quantum mechanics, which were not “adequately acknowledged in the public eye.”<ref>Greenspan, 2005, pp. 285-286.</ref>
| |
| | |
| ==Mathematical development==
| |
| | |
| Once Heisenberg introduced the matrices for X and P, he could find their
| |
| matrix elements in special cases by guesswork, guided by the
| |
| [[correspondence principle]]. Since the matrix elements are the quantum mechanical
| |
| analogs of [[Fourier series|Fourier coefficients]] of the classical orbits, the simplest case is the
| |
| [[harmonic oscillator]], where X(t) and P(t) are sinusoidal.
| |
| | |
| === Harmonic oscillator ===
| |
| | |
| In units where the mass and frequency of the oscillator are equal to one (see [[nondimensionalization]]), the energy of the oscillator is
| |
| | |
| :<math> H = {1 \over 2} (P^2 + X^2) </math> .
| |
| | |
| The [[level set]]s of {{mvar|H}} are the orbits, and they are nested circles. The classical orbit with energy {{mvar|E}} is:
| |
| | |
| :<math> X(t)= \sqrt{2E}\cos(t) , \qquad P(t) = \sqrt{2E}\sin(t) </math>.
| |
| | |
| The [[Old quantum theory|old quantum condition]] dictates that the integral of {{math|''P dX''}} over an orbit, which is the area of the circle in phase space, must be an integer multiple of [[Planck's constant]]. The area of the circle of radius {{math|√{{overline|2''E''}} }} is {{math|2''πE''}}. So
| |
| | |
| :<math> E = {n h \over 2\pi} </math> ,
| |
| | |
| or, in [[natural units]] where {{math|''ħ'' {{=}} 1}}, the energy is an integer.
| |
| | |
| The [[Fourier series|Fourier components]] of {{math|''X''(''t'')}} and {{math|''P''(''t'')}} are simple, and more so if they are combined into the quantities
| |
| :<math>
| |
| A(t) = X(t) + i P(t) = \sqrt{2E}\,e^{it}, \quad A^\dagger(t) = X(t) - i P(t) = \sqrt{2E}\,e^{-it}
| |
| </math> .
| |
| Both {{mvar|A}} and {{math|''A<sup>†</sup>''}} have only a single frequency, and ''X'' and ''P'' can be recovered from their sum and difference.
| |
| | |
| Since {{math|''A''(''t'')}} has a classical Fourier series with only the lowest frequency, and the matrix element {{math|''A<sub>mn</sub>''}} is the {{math|(''m'' − ''n'')}}th Fourier coefficient of the classical orbit, the matrix for {{mvar|A}} is nonzero only on the line just above the diagonal, where it is equal to {{math|√{{overline|2''E''}}<sub>n</sub>}}. The matrix for {{math|''A<sup>†</sup>''}} is likewise only nonzero on the line below the diagonal, with
| |
| the same elements. From {{mvar|A}} and {{math|''A<sup>†</sup>''}}, reconstruction gives
| |
| :<math>
| |
| \sqrt{2} X(0)= \sqrt{\frac{h}{2 \pi}}\;
| |
| \begin{bmatrix}
| |
| 0 & \sqrt{1} & 0 & 0 & 0 & \cdots \\
| |
| \sqrt{1} & 0 & \sqrt{2} & 0 & 0 & \cdots \\
| |
| 0 & \sqrt{2} & 0 & \sqrt{3} & 0 & \cdots \\
| |
| 0 & 0 & \sqrt{3} & 0 & \sqrt{4} & \cdots \\
| |
| \vdots & \vdots & \vdots & \vdots & \vdots & \ddots \\
| |
| \end{bmatrix},
| |
| </math>
| |
| and
| |
| :<math>
| |
| \sqrt{2} P(0) = \sqrt{\frac{h}{2 \pi}}\;
| |
| \begin{bmatrix}
| |
| 0 & i\sqrt{1} & 0 & 0 & 0 & \cdots \\
| |
| -i\sqrt{1} & 0 & i\sqrt{2} & 0 & 0 & \cdots \\
| |
| 0 & -i\sqrt{2} & 0 & i\sqrt{3} & 0 & \cdots \\
| |
| 0 & 0 & -i\sqrt{3} & 0 & i\sqrt{4} & \cdots\\
| |
| \vdots & \vdots & \vdots & \vdots & \vdots & \ddots \\
| |
| \end{bmatrix},
| |
| </math>
| |
| which, up to the choice of units, are the Heisenberg matrices for the harmonic oscillator. Notice that both matrices are [[hermitian matrix|hermitian]], since they are constructed from the Fourier coefficients of real quantities. To find {{math|''X''(''t'')}} and {{math|''P''(''t'')}} is simple, since they are quantum Fourier coefficients so they evolve simply with time,
| |
| :<math>
| |
| X_{mn}(t) = X_{mn}(0) e^{i(E_m - E_n)t},\quad P_{mn}(t) = P_{mn}(0) e^{i(E_m -E_n)t}
| |
| </math> .
| |
| | |
| The matrix product of {{mvar|X}} and {{mvar|P}} is not hermitian, but has a real and imaginary part. The real part is one half the symmetric expression {{math|''XP'' + ''PX''}}, while the imaginary part is proportional to the [[commutator]]
| |
| :<math>[X,P]=(XP - PX)</math> .
| |
| It is simple to verify explicitly that {{math|''XP'' − ''PX''}} in the case of the harmonic oscillator, is {{math|''iħ''}}, multiplied by the [[identity matrix|identity]].
| |
| | |
| It is also simple to verify that the matrix
| |
| :<math>
| |
| H ={1\over 2}(X^2 + P^2)
| |
| </math>
| |
| is a [[diagonal matrix]], with [[eigenvalues]] {{math|''E<sub>i</sub>''}}.
| |
| | |
| === Conservation of energy ===
| |
| {{Main|Conservation of energy}}
| |
| | |
| The harmonic oscillator is an important case. Finding the matrices is easier than determining the general conditions from these special forms. For this reason, Heisenberg investigated the [[Anharmonicity|anharmonic oscillator]], with [[Hamiltonian mechanics|Hamiltonian]]
| |
| | |
| :<math>
| |
| H = {1\over 2} P^2 + {1\over 2} X^2 + \epsilon X^3 ~.
| |
| </math>
| |
| | |
| In this case, the ''X'' and ''P'' matrices are no longer simple off diagonal matrices, since the corresponding classical orbits are slightly squashed and displaced, so that they have [[Fourier series|Fourier coefficients]] at every classical frequency. To determine the matrix elements, Heisenberg required that the classical equations of motion be obeyed as matrix
| |
| equations:
| |
| | |
| :<math>
| |
| {dX \over dt} = P \quad {dP \over dt} = - X - 3 \epsilon X^2 ~.
| |
| </math>
| |
| | |
| He noticed that if this could be done, then H considered as a matrix function of ''X'' and ''P'', will have zero time derivative.
| |
| | |
| :<math>
| |
| {dH\over dt} = P*{dP\over dt} + ( X + 3 \epsilon X^2)*{dX\over dt} = 0 ~,
| |
| </math>
| |
| where ''A∗B'' is the [[anticommutator]],
| |
| :<math>
| |
| A*B = {1\over 2}(AB+BA) ~
| |
| </math>.
| |
| | |
| Given that all the off diagonal elements have a nonzero frequency; H being constant implies that H is diagonal.
| |
| It was clear to Heisenberg that in this system, the energy could be exactly conserved in an arbitrary quantum system, a very encouraging sign.
| |
| | |
| The process of emission and absorption of photons seemed to demand that the conservation of energy will hold at best on average. If a wave containing exactly one photon passes over some atoms, and one of them absorbs it, that atom needs to tell the others that they can't absorb the photon anymore. But if the atoms are far apart, any signal cannot reach the other atoms in time, and they might end up absorbing the same photon anyway and dissipating the energy to the environment. When the signal reached them, the other atoms would have to somehow [[Product recall|recall]] that energy. This paradox led [[BKS theory|Bohr, Kramers and Slater]] to abandon exact conservation of energy. Heisenberg's formalism, when extended to include the electromagnetic field, was obviously going to sidestep this problem, a hint that the interpretation of the theory will involve [[wavefunction collapse]].
| |
| | |
| === Differentiation trick — canonical commutation relations ===
| |
| | |
| Demanding that the classical equations of motion are preserved is not a strong enough condition to determine the matrix elements. Planck's constant does not appear in the classical equations, so that the matrices could be constructed for many different values of {{mvar|ħ}} and still satisfy the equations of motion, but with different energy levels.
| |
| | |
| So, in order to implement his program, Heisenberg needed to use the [[Old quantum theory|old quantum condition]] to fix the energy levels, then fill in the matrices with [[Fourier series|Fourier coefficients]] of the classical equations, then alter the matrix coefficients and the energy levels slightly to make sure the classical equations are satisfied. This is clearly not
| |
| satisfactory. The old quantum conditions refer to the area enclosed by the sharp classical orbits, which do not exist in the new formalism.
| |
| | |
| The most important thing that Heisenberg discovered is how to translate the [[Old quantum theory|old quantum condition]] into a simple statement in matrix mechanics.
| |
| | |
| To do this, he investigated the action integral as a matrix quantity,
| |
| :<math>
| |
| \int_0^T \sum_k P_{mk}(t) {dX_{kn} \over dt} dt \,\, \stackrel{\scriptstyle?}{\approx} \,\, J_{mn} ~.
| |
| </math>
| |
| | |
| There are several problems with this integral, all stemming from the incompatibility of the matrix formalism with the old picture of orbits. Which period ''T'' should be used? ''Semiclassically'', it should be either ''m'' or ''n'', but the difference is order {{mvar|ħ}}, and an answer to order {{mvar|ħ}} is sought. The ''quantum'' condition tells us that
| |
| ''J<sub>mn</sub>'' is 2π''n'' on the diagonal, so the fact that ''J'' is classically constant tells us that the off-diagonal elements are zero.
| |
| | |
| His crucial insight was to differentiate the quantum condition with respect to ''n''. This idea only makes complete sense in the classical limit, where ''n'' is
| |
| not an integer but the continuous [[action-angle variables|action variable]] ''J'', but Heisenberg performed analogous manipulations with matrices, where the intermediate
| |
| expressions are sometimes discrete differences and sometimes derivatives.
| |
| | |
| In the following discussion, for the sake of clarity, the differentiation will be performed on the classical variables, and the transition to matrix mechanics will be done afterwards, guided by the correspondence principle.
| |
| | |
| In the classical setting, the derivative is the derivative with respect to ''J'' of the integral which defines ''J'', so it is tautologically equal to 1.
| |
| :<math>
| |
| {d \over dJ } \int_0^T P dX = 1</math>
| |
| :<math>= \int_0^T dt \left( {dP\over dJ} {dX\over dt} + P{d\over dJ}{dX\over dt} \right)
| |
| = \int_0^T dt \left( {dP\over dJ} {dX\over dt} - {dP\over dt}{dX\over dJ} \right)
| |
| \, ,</math>
| |
| where the derivatives ''dP/dJ'' and ''dX/dJ'' should be interpreted as differences with respect to ''J'' at corresponding times on nearby orbits, exactly what would be obtained if the [[Fourier series|Fourier coefficients]] of the orbital motion were differentiated. (These derivatives are symplectically orthogonal in phase space to the time derivatives ''dP/dt'' and ''dX/dt'').
| |
| | |
| The final expression is clarified by introducing the variable canonically conjugate to ''J'', which is called the [[action-angle variables|angle variable]] ''θ'':
| |
| The derivative with respect to time is a derivative with respect to ''θ'', up to a factor of 2π''T'',
| |
| :<math>
| |
| {2\pi\over T} \int_0^T dt \left( {dp \over dJ}
| |
| {dX\over d\theta} -
| |
| {dP \over d\theta} {dX\over dJ}\right) =1
| |
| \, .</math>
| |
| So the quantum condition integral is the average value over one cycle of the [[Poisson bracket]] of ''X'' and ''P''.
| |
| | |
| An analogous differentiation of the Fourier series of ''P dX'' demonstrates that the off-diagonal elements of the Poisson bracket are all zero. The Poisson bracket of two canonically conjugate variables, such as ''X'' and ''P'', is the constant value 1, so this integral really is the average value of 1; so it is 1, as we knew all along, because it is ''dJ/dJ'' after all. But Heisenberg, Born and Jordan, unlike Dirac, were not familiar with the theory of Poisson brackets, so, for them, the differentiation effectively evaluated {''X, P''} in ''J, θ'' coordinates.
| |
| | |
| The Poisson Bracket, unlike the action integral, does have a simple translation to matrix mechanics−−it normally corresponds to the imaginary part of the product of two variables, the [[commutator]].
| |
| | |
| To see this, examine the (antisymmetrized) product of two matrices ''A'' and ''B'' in the correspondence limit, where the matrix elements are slowly varying functions of the index, keeping in mind that the answer is zero classically.
| |
| | |
| In the correspondence limit, when indices ''m'', ''n'' are large and nearby, while ''k'',''r'' are small, the rate of change of the matrix elements in the diagonal direction is the matrix element of the ''J'' derivative of the corresponding classical quantity. So its possible to shift any matrix element diagonally through the correspondence,
| |
| :<math>
| |
| A_{(m+r) (n+r)} - A_{mn} \approx r\; \left({dA\over dJ}\right)_{m n}
| |
| \, ,</math>
| |
| where the right hand side is really only the (''m'' − ''n'')'th Fourier component
| |
| of ''dA/dJ'' at the orbit near ''m'' to this semiclassical order, not a full well-defined matrix.
| |
| | |
| The semiclassical time derivative of a matrix element is obtained up to a factor of ''i'' by multiplying by the distance from the diagonal,
| |
| :<math>
| |
| ik A_{m (m+k)} \approx \left({T\over 2\pi} {dA\over dt}\right)_{m (m+k)} =\left({dA\over d\theta}\right)_{m (m+k)}
| |
| \, .</math>
| |
| since the coefficient ''A<sub>m(m+k)</sub>'' is semiclassically the ''k'''th Fourier coefficient of the ''m''-th classical orbit.
| |
| | |
| The imaginary part of the product of ''A'' and ''B'' can be evaluated by shifting the matrix elements around so as to reproduce the classical answer, which is zero.
| |
| | |
| The leading nonzero residual is then given entirely by the shifting. Since all the matrix elements are at indices which have a small distance from the large index position (''m,m''), it helps to introduce two temporary notations:
| |
| {{math| ''A''[''r,k''] {{=}} ''A''<sub>''(m+r)(m+k)''</sub>}} for the matrices, and {{math|(''dA/dJ'')[''r'']}} for the r'th Fourier components of classical quantities,
| |
| :<math>
| |
| (AB - BA)[0,k] = \sum_{r=-\infty}^{\infty} \left( A[0,r] B[r,k] - A[r,k] B[0,r] \right)
| |
| </math>
| |
| :<math>
| |
| = \sum_r \left(\; A[-r+k,k] + (r-k){dA \over dJ}[r]\; \right)
| |
| \left(\; B[0,k-r] + r {dB\over dJ}[r-k] \; \right) -
| |
| \sum_r A[r,k]B[0,r]
| |
| \, .</math>
| |
| | |
| Flipping the summation variable in the first sum from {{mvar|r}} to ''r''' = ''k'' − ''r'', the matrix element becomes,
| |
| :<math> \sum_{r'} (\;A[r',k] - r' {dA \over dJ}[k-r']\;)\left(\; B[0,r'] +(k-r'){dB\over dJ}[r']\;\right)- \sum_r A[r,k] B[0,r]
| |
| \, ,</math>
| |
| and it is clear that the principal (classical) part cancels.
| |
| | |
| The leading quantum part, neglecting the higher order product of derivatives in the residual expression, is then
| |
| :=<math>\sum_{r'} \left(\; {dB\over dJ}[r'](k-r')A[r',k] - {dA\over dJ}[k-r'] r' B[0,r']\right)</math>
| |
| so that, finally,
| |
| :<math> (AB - BA)[0,k] =\sum_{r'} \left(\; {dB\over dJ}[r']i{dA\over d\theta}[k-r'] - {dA\over dJ}[k-r']i{dB\over d\theta}[r']\right)
| |
| \, ,</math>
| |
| which can be identified with {{mvar|i}} times the {{mvar|k}}-th classical Fourier component of the Poisson bracket.
| |
| | |
| Heisenberg's original differentiation trick was eventually extended to a full semiclassical derivation of the quantum condition, in collaboration with Born and Jordan.
| |
| Once they were able to establish that
| |
| :<math>
| |
| \frac{ih}{2\pi} \{X,P\}_\mathrm{PB} \qquad \qquad \longmapsto \qquad \qquad [ X , P ] \equiv XP - PX = \frac{ih}{2\pi}\,
| |
| </math> ,
| |
| this condition replaced and extended the [[Old quantum theory|old quantization]] rule, allowing the matrix elements of ''P'' and ''X'' for an arbitrary system to be determined
| |
| simply from the form of the Hamiltonian.
| |
| | |
| The new quantization rule was ''assumed to be universally true'', even though the derivation from the [[old quantum theory]] required semiclassical reasoning.
| |
| (A full quantum treatment, however, for more elaborate arguments of the brackets, was appreciated in the 1940s to amount to extending Poisson brackets to [[Moyal bracket]]s.)
| |
| | |
| === State vectors and the Heisenberg equation ===
| |
| | |
| To make the transition to modern quantum mechanics, the most important further addition was the [[wavefunction|quantum state vector]], now written |''ψ''⟩,
| |
| which is the vector that the matrices act on. Without the state vector, it is not clear which particular motion the Heisenberg matrices are describing, since they include all the motions somewhere.
| |
| | |
| The interpretation of the state vector, whose components are written ''ψ<sub>m</sub>'', was given by Born. The interpretation is statistical: the result of a measurement of the physical quantity corresponding to the matrix ''A'' is random, with an average value equal to
| |
| :<math>
| |
| \sum_{mn} \psi_m^* A_{mn} \psi_n
| |
| </math>.
| |
| Alternatively, and equivalently, the state vector gives the [[probability amplitude]]
| |
| ''ψ<sub>n</sub>'' for the quantum system to be in the energy state ''n''.
| |
| | |
| Once the state vector was introduced, matrix mechanics could be rotated to ''any basis'', where the ''H'' matrix need no longer be diagonal. The Heisenberg equation of motion in its original form states that ''A<sub>mn</sub>'' evolves in time like a Fourier component,
| |
| :<math>
| |
| A_{mn}(t) = e^{i(E_m - E_n)t} A_{mn} (0)
| |
| </math>
| |
| which can be recast in differential form
| |
| | |
| :<math>
| |
| {dA_{mn}\over dt} = i(E_m - E_n ) A_{mn}
| |
| </math>
| |
| and it can be restated so that it is true in an arbitrary basis, by noting that the ''H'' matrix is diagonal with diagonal values ''E<sub>m</sub>'':
| |
| | |
| :<math>
| |
| {dA\over dt} = i( H A - A H ) .
| |
| </math>
| |
| This is now a matrix equation, so it holds in any basis. This is the modern form of the Heisenberg equation of motion.
| |
| | |
| The formal solution is:
| |
| | |
| :<math>\,
| |
| A(t) = e^{iHt} A(0) e^{-iHt} .
| |
| </math>
| |
| | |
| All the forms of the equation of motion above say the same thing, that ''A''(''t'') is equivalent ''A''(0), through a basis rotation by the [[Unitary matrix|unitary]] matrix ''e<sup>Ht</sup>'', a systematic picture elucidated by Dirac in his [[bra–ket notation]].
| |
| | |
| By rotating the basis for the state vector at each time by ''e<sup>iHt</sup>'', the time dependence in the matrices can be undone. The matrices are now time independent, but the state vector rotates,
| |
| :<math>
| |
| | \psi(t) \rangle = e^{-iHt} | \psi(0) \rangle, \;\;\;\; {d |\psi \rangle \over dt} =
| |
| - i H | \psi \rangle .
| |
| </math>
| |
| | |
| This is the [[Schrödinger equation]] for the state vector, and the time dependent change of basis is the transformation to the [[Schrödinger picture]], with ⟨''x''|''ψ''⟩ = ''ψ(x)''.
| |
| | |
| In [[quantum mechanics]] in the [[Heisenberg picture]] the [[Quantum state|state vector]], |''ψ''⟩ does not change with time, while an observable ''A'' satisfies the '''Heisenberg equation of motion''',
| |
| {{Equation box 1
| |
| |indent =:
| |
| |equation = <math>\frac{dA}{dt} = {i \over \hbar } [ H , A ] + \frac{\partial A}{\partial t}</math>
| |
| |border colour = #50C878
| |
| |background colour = #ECFCF4}}
| |
| | |
| The extra term is for operators like
| |
| :<math> A=(X+ t^2 P) </math>
| |
| which have an explicit time dependence, in addition to the time dependence from unitary evolution.
| |
| | |
| The [[Heisenberg picture]] does not distinguish time from space, so it is better for [[theory of relativity|relativistic]] theories than the Schrödinger equation. Moreover, the similarity to [[classical physics]] is more obvious: the Hamiltonian equations of motion for classical mechanics are recovered by replacing the [[commutator]] above by the [[Poisson bracket]] (see also below). By the [[Stone-von Neumann theorem]], the Heisenberg picture and the [[Schrödinger picture]] must be unitarily equivalent, as detailed below.
| |
| | |
| == Further results ==
| |
| | |
| Matrix mechanics rapidly developed into modern quantum mechanics, and gave interesting physical results on the spectra of atoms.
| |
| | |
| === Wave mechanics ===
| |
| | |
| Jordan noted that the commutation relations ensure that ''P acts as a differential operator''.
| |
| | |
| The operator identity
| |
| :<math>
| |
| [a,bc] = abc - bca = abc - bac + bac - bca = [a,b]c + b[a,c]
| |
| \,</math>
| |
| allows the evaluation of the commutator of ''P'' with any power of ''X'', and it implies that
| |
| :<math>
| |
| [P,X^n] = - i n~ X^{n-1}
| |
| \, ,</math>
| |
| which, together with linearity, implies that a ''P''-commutator effectively differentiates any analytic matrix function of ''X''.
| |
| | |
| Assuming limits are defined sensibly, this extends to arbitrary functions−−but the extension need not be made explicit until a certain degree of mathematical rigor is required,
| |
| {{Equation box 1
| |
| |indent =:
| |
| |equation = <math>
| |
| [P,f(X)] = -i f'(X)\, .</math>
| |
| |cellpadding= 6
| |
| |border
| |
| |border colour = #0073CF
| |
| |bgcolor=#F9FFF7}}
| |
| Since ''X'' is a Hermitian matrix, it should be diagonalizable, and it will be clear from the eventual form of ''P'' that every real number can be an eigenvalue. This makes some of the mathematics subtle, since there is a separate eigenvector for every point in space.
| |
| | |
| In the basis where ''X'' is diagonal, an arbitrary state can be written as a superposition of states with eigenvalues ''x'',
| |
| :<math>
| |
| |\psi\rangle = \int_x \psi(x)|x\rangle
| |
| \,</math> ,
| |
| so that ''ψ''(''x'') = ⟨''x''|''ψ''⟩, and the operator ''X'' multiplies each eigenvector by ''x'',
| |
| :<math>
| |
| X |\psi\rangle = \int_x x \psi(x) |x\rangle ~ .</math>
| |
| | |
| Define a linear operator ''D'' which differentiates {{mvar|ψ}},
| |
| :<math>
| |
| D \int_x \psi(x) | x\rangle = \int_x \psi'(x) |x\rangle
| |
| \,</math> ,
| |
| and note that
| |
| :<math>
| |
| (D X - X D) |\psi\rangle = \int_x \left[ \left(x \psi(x)\right)' - x \psi'(x) \right] |x\rangle = \int_x \psi(x) |x\rangle = |\psi\rangle
| |
| \,</math> ,
| |
| so that the operator −''iD'' obeys the same commutation relation as ''P''. Thus, the difference between ''P'' and −''iD'' must commute with ''X'',
| |
| :<math>
| |
| [P+iD,X]=0
| |
| \,</math> ,
| |
| so it may be simultaneously diagonalized with ''X'': its value acting on any eigenstate of ''X'' is some function ''f'' of the eigenvalue ''x''.
| |
| | |
| This function must be real, because both ''P'' and −''iD'' are Hermitian,
| |
| :<math>
| |
| (P+iD ) |x\rangle = f(x) |x\rangle
| |
| \,</math> ,
| |
| rotating each state <math>|x\rangle</math> by a phase {{math|''f''(''x'')}}, that is, redefining the phase of the wavefunction:
| |
| :<math>
| |
| \psi(x) \rightarrow e^{-if(x)} \psi(x)
| |
| \,</math> .
| |
| The operator ''iD'' is redefined by an amount:
| |
| :<math>
| |
| iD \rightarrow iD + f(X)
| |
| \,</math> ,
| |
| which means that, in the rotated basis, ''P'' is equal to −''iD''.
| |
| | |
| Hence, there is always a basis for the eigenvalues of ''X'' where the action of ''P'' on any wavefunction is known:
| |
| :<math>
| |
| P \int_x \psi(x) |x\rangle = \int_x - i \psi'(x) |x\rangle
| |
| \,</math> ,
| |
| and the Hamiltonian in this basis is a linear differential operator on the state-vector components,
| |
| :<math>
| |
| \left[{P^2\over 2m} + V(X) \right] \int_x \psi_x |x\rangle = \int_x \left[-{1\over 2m}{\partial^2 \over \partial x^2} + V(x)\right] \psi_x |x\rangle
| |
| </math>
| |
| | |
| Thus, the equation of motion for the state vector is but a celebrated differential equation,
| |
| {{Equation box 1
| |
| |indent =:
| |
| |equation = <math> i{\partial \over \partial t} \psi_t(x) = \left[-{1\over 2m} {\partial^2 \over \partial x^2} + V(x)\right] \psi_t(x)\, .</math>
| |
| |cellpadding= 6
| |
| |border
| |
| |border colour = #0073CF
| |
| |bgcolor=#F9FFF7}}
| |
| | |
| {{See also|Schrödinger picture}}
| |
| | |
| Since ''D'' is a differential operator, in order for it to be sensibly defined, there must be eigenvalues of ''X'' which neighbors every given value. This suggests that the only possibility is that the space of all eigenvalues of ''X'' is all real numbers, and that ''P is iD, up to a phase rotation''.
| |
| | |
| To make this rigorous requires a sensible discussion of the limiting space of functions, and in this space this is the [[Stone-von Neumann theorem]]: any operators ''X'' and ''P'' which obey the commutation relations can be made to act on a space of wavefunctions, with ''P'' a derivative operator. This implies that a [[Schrödinger picture]] is always available.
| |
| | |
| Matrix mechanics easily extends to many degrees of freedom in a natural way. Each degree of freedom has a separate ''X'' operator and a separate effective differential operator ''P'', and the wavefunction is a function of all the possible eigenvalues of the independent commuting ''X'' variables.
| |
| :<math>
| |
| [X_i ,X_j ] = 0
| |
| \,</math>
| |
| :<math>
| |
| [P_i, P_j ] = 0
| |
| \,</math>
| |
| :<math>
| |
| [X_i ,P_j ] = i\delta_{ij}
| |
| \, .</math>
| |
| | |
| In particular, this means that a system of ''N'' interacting particles in 3 dimensions is described by one vector whose components in a basis where all the ''X'' are diagonal is a mathematical function of 3''N''-dimensional space ''describing all their possible positions'', effectively a ''much bigger collection of values'' than the mere collection of ''N'' three-dimensional wavefunctions in one physical space. Schrödinger came to the same conclusion independently, and eventually proved the equivalence of his own formalism to Heisenberg's.
| |
| | |
| Since the wavefunction is a property of the whole system, not of any one part, the description in quantum mechanics is not entirely local. The description of several quantum particles has them correlated, or [[quantum entanglement|entangled]]. This entanglement leads to strange correlations between distant particles which violate the classical [[Bell's inequality]].
| |
| | |
| Even if the particles can only be in just two positions, the wavefunction for ''N'' particles requires 2<sup>''N''</sup> complex numbers, one for each total configuration of positions. This is exponentially many numbers in ''N'', so simulating quantum mechanics on a computer requires exponential resources. Conversely, this suggests that it might be possible to find quantum systems of size ''N'' which physically compute the answers to problems which classically require 2<sup>''N''</sup> bits to solve. This is the aspiration behind [[quantum computing]].
| |
| | |
| ===Ehrenfest theorem===
| |
| | |
| {{Main|Ehrenfest Theorem}}
| |
| | |
| For time-independent operators ''X'' and ''P'' (as in the [[Schrödinger picture]]), {{math|∂''A''/∂''t'' {{=}} 0}} so the Heisenberg equation above reduces to:<ref>Quantum Mechanics, E. Abers, Pearson Ed., Addison Wesley, Prentice Hall Inc, 2004, ISBN 978-0-13-146100-0</ref>
| |
| | |
| :<math>i\hbar{dA \over dt} = [A,H]= AH - HA</math> ,
| |
| where the square brackets {{As written|[ , ]}} denote the [[commutator]]. This leads to equations for the ''X'' and ''P'' operators<ref>Physics of Atoms and Molecules, B.H. Bransden, C.J.Joachain, Longman, 1983, ISBN 0-582-44401-2</ref>
| |
| | |
| :<math>{d X\over dt} = {P\over m},\quad {d P \over dt} = - \nabla V </math> ,
| |
| | |
| where the first is [[velocity]], and second is [[force]] (same as a [[potential gradient]]), analogous to [[Newton's laws of motion]]. In the [[Heisenberg picture]], the interpretation of the above equation is that the ''X'' and ''P'' operators satisfy classical equations of motion. The time derivatives of the [[expectation value]]s for ''X'' and ''P'', in any state |''ψ''⟩, are
| |
| | |
| :<math>\frac{d}{dt} \langle X\rangle = \frac{d}{dt} \langle \psi|X|\psi \rangle = \frac{1}{m} \langle \psi|P|\psi \rangle = \frac{1}{m} \langle P \rangle </math>
| |
| | |
| :<math>\frac{d}{dt} \langle P\rangle =\frac{d}{dt} \langle \psi|P|\psi \rangle = \langle \psi | (-\nabla V) |\psi\rangle = -\langle\nabla V\rangle \, .</math>
| |
| | |
| Newton's laws take ''exactly'' the same form if each observable is replaced by the average value, as shown. This is [[Ehrenfest's theorem]].
| |
| | |
| === Transformation theory ===
| |
| {{Main|Transformation theory (quantum mechanics)}}
| |
| | |
| In classical mechanics, a canonical transformation of phase space coordinates is one which preserves the structure of the Poisson brackets. The new variables {{math|''x',p' ''}} have the same Poisson brackets with each other as the original variables {{math|''x,p''}}. Time evolution is a canonical transformation, since the phase space at any time is just as good a choice of variables as the phase space at any other time.
| |
| | |
| The Hamiltonian flow is then the [[canonical transformation]]:
| |
| :<math>
| |
| x\rightarrow x+dx = x + {\partial H \over \partial p} dt
| |
| </math>
| |
| :<math>
| |
| p \rightarrow p+dp = p -{\partial H \over \partial x} dt ~.
| |
| </math>
| |
| | |
| Since the Hamiltonian can be an arbitrary function of ''x'' and ''p'', there are such infinitesimal canonical transformations corresponding to ''every classical quantity'' {{mvar|G}}, where {{mvar|G}} serves as the Hamiltonian to generate a flow of points in phase space for an increment of time ''s'',
| |
| :<math>
| |
| dx = {\partial G \over \partial p} ds = \{ G,X \} ds
| |
| \,</math>
| |
| :<math>
| |
| dp = -{\partial G \over \partial x} ds = \{ G,P \} ds
| |
| \, .</math>
| |
| | |
| For a general function {{math|''A''(''x'', ''p'')}} on phase space, its infinitesimal change at every step ''ds'' under this map is
| |
| :<math>
| |
| dA = {\partial A \over \partial x} dx + {\partial A\over \partial p} dp = \{ A,G\} ds
| |
| \, .</math>
| |
| The quantity {{mvar|G}} is called the ''infinitesimal generator'' of the canonical transformation.
| |
| | |
| In quantum mechanics, the quantum analog {{mvar|G}} is now a Hermitian matrix, and the equations of motion are given by commutators,
| |
| :<math>
| |
| dA = i [G,A] ds
| |
| \, .</math>
| |
| | |
| The infinitesimal canonial motions can be formally integrated, just as the Heisenberg equation of motion were integrated,
| |
| :<math>
| |
| A' = U^{\dagger} A U
| |
| \, ,</math>
| |
| where {{math|''U''{{=}}'' e<sup>iGs</sup>}} and {{mvar|s}} is an arbitrary parameter.
| |
| | |
| The definition of a quantum canonical transformation is thus an arbitrary unitary change of basis on the space of all state vectors. {{mvar|U}} is an arbitrary unitary matrix, a complex rotation in phase space,
| |
| :<math>
| |
| U^{\dagger}= U^{-1}
| |
| \, .</math>
| |
| These transformations leave the sum of the absolute square of the wavefunction components ''invariant'', while they take states which are multiples of each other (including states which are imaginary multiples of each other) to states which are the ''same'' multiple of each other.
| |
| | |
| The interpretation of the matrices is that they act as ''generators of motions on the space of states''.
| |
| | |
| For example, the motion generated by ''P'' can be found by solving the Heisenberg equation of motion using ''P'' as a Hamiltonian,
| |
| :<math>
| |
| dX = i[X,P] ds = ds
| |
| \,</math>
| |
| :<math>
| |
| dP = i[P,P] ds = 0
| |
| \, .</math>
| |
| These are translations of the matrix ''X'' by a multiple of the identity matrix,
| |
| :<math>X\rightarrow X+s I ~.</math>
| |
| This is the interpretation of the derivative operator ''D'': {{math| e<sup>''iPs''</sup> {{=}} e<sup>''D''</sup>}}, ''the exponential of a derivative operator is a translation'' (so Lagrange's [[shift operator]]).
| |
| | |
| The ''X'' operator likewise generates translations in ''P''. The Hamiltonian generates ''translations in time'', the angular momentum generates ''rotations in physical space'', and the operator {{math|''X'' <sup>2</sup> + ''P'' <sup>2</sup>}} generates [[Fractional Fourier transform|''rotations in phase space'']].
| |
| | |
| When a transformation, like a rotation in physical space, commutes with the Hamiltonian, the transformation is called a [[symmetry]] (behind a degeneracy) of the Hamiltonian−−the Hamiltonian expressed in terms of rotated coordinates is the same as the original Hamiltonian. This means that the change in the Hamiltonian under the infinitesimal symmetry generator ''L'' vanishes,
| |
| :<math>
| |
| {dH\over ds} = i[L,H] = 0
| |
| \, .</math>
| |
| | |
| It then follows that the change in the generator under time translation also vanishes,
| |
| :<math>
| |
| {dL\over dt} = i[H,L] = 0
| |
| \, ,</math>
| |
| so that the matrix ''L'' is constant in time: it is conserved.
| |
| | |
| The one-to-one association of infinitesimal symmetry generators and conservation laws was discovered by [[Emmy Noether]] for classical mechanics, where the commutators are [[Poisson brackets]], but the quantum-mechanical reasoning is identical. In quantum mechanics, any unitary symmetry transformation yields a conservation law, since if the matrix U has the property that
| |
| :<math>
| |
| U^{-1} H U = H
| |
| \, ,</math>
| |
| so it follows that
| |
| :<math>UH=HU</math>
| |
| and that the time derivative of ''U'' is zero−−it is conserved.
| |
| | |
| The eigenvalues of unitary matrices are pure phases, so that the value of a unitary conserved quantity is a complex number of unit magnitude, not a real number. Another way of saying this is that a unitary matrix is the exponential of ''i'' times a Hermitian matrix, so that the additive conserved real quantity, the phase, is only well-defined up to an integer multiple of ''2π''. Only when the unitary symmetry matrix is part of a family that comes arbitrarily close to the identity are the conserved real quantities single-valued, and then the demand that they are conserved become a much more exacting constraint.
| |
| | |
| Symmetries which can be continuously connected to the identity are called ''continuous'', and translations, rotations, and boosts are examples. Symmetries which cannot be continuously connected to the identity are ''discrete'', and the operation of space-inversion, or [[parity (physics)|parity]], and [[charge conjugation]] are examples.
| |
| | |
| The interpretation of the matrices as generators of canonical transformations is due to [[Paul Dirac]].<ref>P.A.M. Dirac ''The Principles of Quantum Mechanics'', Oxford University Press</ref> The correspondence between symmetries and matrices was shown by [[Eugene Wigner]] to be complete, if [[antiunitary]] matrices which describe symmetries which include time-reversal are included.
| |
| | |
| === Selection rules ===
| |
| It was physically clear to Heisenberg that the absolute squares of the matrix elements of ''X'', which are the Fourier coefficients of the oscillation, would yield the rate of emission of electromagnetic radiation.
| |
| | |
| In the classical limit of large orbits, if a charge with position ''X''(''t'') and charge ''q'' is oscillating next to an equal and opposite charge at position 0, the instantaneous dipole moment is ''q X''(''t''), and the time variation of this moment translates directly into the space-time variation of the vector potential, which yields nested outgoing spherical waves.
| |
| | |
| For atoms, the wavelength of the emitted light is about 10,000 times the atomic radius, and the dipole moment is the only contribution to the radiative field, while all other details of the atomic charge distribution can be ignored.
| |
| | |
| Ignoring back-reaction, the power radiated in each outgoing mode is a sum of separate contributions from the square of each independent time Fourier mode of ''d'':
| |
| :<math>
| |
| P(\omega) = {2\over 3} {\omega^4} |d_i|^2
| |
| \, .</math>
| |
| | |
| Now, in Heisenberg's representation, the Fourier coefficients of the dipole moment are the matrix elements of ''X''. This correspondence allowed Heisenberg to provide the rule for the transition intensities, the fraction of the time that, starting from an initial state ''i'', a photon is emitted and the atom jumps to a final state ''j'',
| |
| :<math>
| |
| P_{ij} = {2 \over 3} (E_i -E_j)^4 |X_{ij}|^2
| |
| \, .</math>
| |
| | |
| This then allowed the magnitude of the matrix elements to be interpreted statistically: ''they give the intensity of the spectral lines, the probability for quantum jumps from the emission of dipole radiation''.
| |
| | |
| Since the transition rates are given by the matrix elements of ''X'', wherever ''X<sub>ij</sub>'' is zero, the corresponding transition should be absent. These were called the [[selection rule]]s, which were a puzzle until the advent of matrix mechanics.
| |
| | |
| An arbitrary state of the Hydrogen atom, ignoring spin, is labelled by |''n'';''ℓ,m'' ⟩, where the value of ℓ is a measure of the total orbital angular momentum and ''m'' is its ''z''-component, which defines the orbit orientation. The components of the angular momentum [[pseudovector]] are
| |
| :<math>
| |
| L_i = \epsilon_{ijk} X^j P^k
| |
| \, ,</math>
| |
| where the products in this expression are independent of order and real, because different components of '''''X''''' and '''''P''''' commute.
| |
| | |
| The commutation relations of '''''L''''' with all three coordinate matrices ''X, Y, Z'' (or with any vector) are easy to find,
| |
| :<math>
| |
| [L_i, X_j] = i\epsilon_{ijk} X_k
| |
| \,</math> ,
| |
| which confirms that the operator '''''L''''' generates rotations between the three components of the vector of coordinate matrices '''''X'''''.
| |
| | |
| From this, the commutator of ''L<sub>z</sub>'' and the coordinate matrices ''X, Y, Z'' can be read off,
| |
| :<math>
| |
| [L_z , X] = iY
| |
| \,</math> ,
| |
| :<math>
| |
| [L_z,Y] = -iX
| |
| \,</math> .
| |
| | |
| This means that the quantities {{math| ''X'' + ''iY'', ''X'' − ''iY''}} have a simple commutation rule,
| |
| :<math>
| |
| [L_z,X+iY] = (X+iY)
| |
| \,</math> ,
| |
| :<math>
| |
| [L_z,X-iY] = -(X-iY)
| |
| \,</math> .
| |
| | |
| Just like the matrix elements of ''X + iP'' and ''X − iP'' for the harmonic oscillator Hamiltonian, this commutation law implies that these operators only have certain off diagonal matrix elements in states of definite ''m'',
| |
| :<math>
| |
| L_z ( (X+iY)|m\rangle )= (X+iY)L_z|m\rangle + (X+iY) |m\rangle = (m+1) (X+iY)|m\rangle
| |
| \, ,</math>
| |
| meaning that the matrix (''X'' + ''iY'') takes an eigenvector of ''L<sub>z</sub>'' with eigenvalue {{mvar|m}} to an eigenvector with eigenvalue ''m'' + 1. Similarly, (''X'' - ''iY'') decrease ''m'' by one unit, while ''Z'' does not change the value of ''m''.
| |
| | |
| So, in a basis of |''ℓ,m''⟩ states where ''L''<sup>2</sup> and ''L<sub>z</sub>'' have definite values, the matrix elements of any of the three components of the position are zero, except when ''m'' is the same or changes by one unit.
| |
| | |
| This places a constraint on the change in total angular momentum. Any state can be rotated so that its angular momentum is in the {{mvar|z}}-direction as much as possible, where ''m'' = ℓ. The matrix element of the position acting on |''ℓ,m''⟩ can only produce values of ''m'' which are bigger by one unit, so that if the coordinates are rotated so that the final state is |''ℓ',ℓ' ''⟩, the value of ℓ’ can be at most one bigger than the biggest value of ℓ that occurs in the initial state. So ℓ’ is at most ℓ + 1.
| |
| | |
| The matrix elements vanish for ℓ’ > ℓ + 1, and the reverse matrix element is determined by Hermiticity, so these vanish also when ℓ’ < ℓ - 1: Dipole transitions are forbidden with a change in angular momentum of more than one unit.
| |
| | |
| === Sum rules ===
| |
| | |
| The Heisenberg equation of motion determines the matrix elements of ''P'' in the Heisenberg basis from the matrix elements of ''X''.
| |
| | |
| :<math>
| |
| P_{ij} = m{d\over dt} X_{ij} = im (E_i - E_j) X_{ij}
| |
| \,</math>,
| |
| which turns the diagonal part of the commutation relation into a sum rule for the magnitude of the matrix elements:
| |
| | |
| :<math>
| |
| \sum_j P_{ij}x_{ji} - X_{ij}p_{ji} = i \sum_j 2m(E_i - E_j) |X_{ij}|^2 = i
| |
| \,</math> .
| |
| | |
| This yields a relation for the sum of the spectroscopic intensities to and from any given state, although to be absolutely correct, contributions from the radiative capture probability for unbound scattering states must be included in the sum:
| |
| :<math>
| |
| \sum_j 2m(E_i - E_j) |X_{ij}|^2 = 1
| |
| \,</math> .
| |
| | |
| == See also ==
| |
| {{Col-begin}}
| |
| {{Col-1-of-2}}
| |
| * [[Interaction picture]]
| |
| * [[Quantum mechanics]]
| |
| * [[Schrödinger equation]]
| |
| {{Col-2-of-2}}
| |
| * [[Bra-ket notation]]
| |
| * [[Introduction to quantum mechanics]]
| |
| * [[Heisenberg's entryway to matrix mechanics]]
| |
| {{col-end}}
| |
| | |
| ==Bibliography==
| |
| | |
| *Jeremy Bernstein ''Max Born and the Quantum Theory'', ''Am. J. Phys.'' '''73''' (11) 999-1008 (2005), {{doi|10.1119/1.2060717}}.
| |
|
| |
| *Max Born ''The statistical interpretation of quantum mechanics''. [http://nobelprize.org/nobel_prizes/physics/laureates/1954/born-lecture.pdf Nobel Lecture] – December 11, 1954.
| |
| | |
| * Nancy Thorndike Greenspan, "The End of the Certain World: The Life and Science of Max Born" (Basic Books, 2005) ISBN 0-7382-0693-8. Also published in Germany: ''Max Born - Baumeister der Quantenwelt. Eine Biographie'' ([[:de:Spektrum Akademischer Verlag|Spektrum Akademischer Verlag]], 2005), ISBN 3-8274-1640-X.
| |
| | |
| *Max Jammer ''The Conceptual Development of Quantum Mechanics'' (McGraw-Hill, 1966)
| |
| | |
| *Jagdish Mehra and Helmut Rechenberg ''The Historical Development of Quantum Theory. Volume 3. The Formulation of Matrix Mechanics and Its Modifications 1925–1926.'' (Springer, 2001) ISBN 0-387-95177-6
| |
| | |
| *B. L. van der Waerden, editor, ''Sources of Quantum Mechanics'' (Dover Publications, 1968) ISBN 0-486-61881-1
| |
| | |
| *Ian J. R. Aitchisona, David A. MacManus, Thomas M. Snyder, [http://arxiv.org/abs/quant-ph/0404009 "Understanding Heisenberg’s ‘‘magical’’ paper of July 1925: A new look at the calculational details"], ''American Journal of Physics'', '''72''', (11), 1370-1379 (2004), {{doi|10.1119/1.1775243}}.
| |
| | |
| ==Footnotes and References==
| |
| <references/>
| |
| | |
| ==External links==
| |
| * [http://www.cobalt.chem.ucalgary.ca/ziegler/educmat/chm386/rudiment/tourquan/matmech.htm An Overview of Matrix Mechanics]
| |
| * [http://www.cobalt.chem.ucalgary.ca/ziegler/educmat/chm386/rudiment/quanmath/matrix.htm Matrix Methods in Quantum Mechanics]
| |
| * [http://www.aip.org/history/heisenberg/p08.htm Heisenberg Quantum Mechanics] (The theory's origins and its historical developing 1925-27)
| |
| * [http://www.fdavidpeat.com/interviews/heisenberg.htm Werner Heisenberg 1970 CBC radio Interview]
| |
| * [http://www.vigyanprasar.gov.in/scientists/WKHeisenberg.htm Werner Karl Heisenberg Co-founder of Quantum Mechanics]
| |
| * [http://arxiv.org/abs/quant-ph/0404009 Ian J. R. Aitchison, David A. MacManus, Thomas M. Snyder. Understanding Heisenberg's `magical' paper of July 1925: a new look at the calculational details], ''American Journal of Physics'', '''72''' (11) 1370-1379 (2004). {{doi|10.1119/1.1775243}} .
| |
| | |
| {{DEFAULTSORT:Matrix Mechanics}}
| |
| [[Category:Quantum mechanics]]
| |
| [[Category:Concepts in physics]]
| |