I’m continuing my series of articles for the Princeton Companion to Mathematics with my article on the Schrödinger equation – the fundamental equation of motion of quantum particles, possibly in the presence of an external field. My focus here is on the relationship between the Schrödinger equation of motion for wave functions (and the closely related Heisenberg equation of motion for quantum observables), and Hamilton’s equations of motion for classical particles (and the closely related Poisson equation of motion for classical observables). There is also some brief material on semiclassical analysis, scattering theory, and spectral theory, though with only a little more than 5 pages to work with in all, I could not devote much detail to these topics. (In particular, nonlinear Schrödinger equations, a favourite topic of mine, are not covered at all.)

As I said before, I will try to link to at least one other PCM article in every post in this series. Today I would like to highlight Madhu Sudan‘s delightful article on information and coding theory, “Reliable transmission of information“.

[*Update*, Oct 3: typos corrected.]

[*Update*, Oct 9: more typos corrected.]

### Like this:

Like Loading...

*Related*

## 27 comments

Comments feed for this article

2 October, 2007 at 7:52 pm

Infinite Reflections » Blog Archive » http://gowers.wordpress.com/[…] Terry’s PCM article: The Schrodinger […]

2 October, 2007 at 8:44 pm

BesselDear Terry,

What do you think about the very popular discrete Schrodinger

version? It is very interesting and related to the discrete

linear wave equation, which is dissipative, i.e., the solution

of the initial value problem with a delta function initial position

and no acceleration has the solution J_2n (2t), n \in Z. Such

a solution is then a superposition of different wave shapes which

move with different characteristic speeds. It is actually quite

unusual to have all wave shapes move with exactly the same

speed as in the wave equation, since wave propagation in most

ohysical systems is dispersive.

2 October, 2007 at 9:08 pm

Terence TaoDear Bessel,

There is certainly plenty of good mathematics associated to the discrete Schrodinger equation. On the one hand, it serves as a model of electrons traveling through crystals, and can be used to explain the phenomenon of Anderson localisation. It also is connected to the theory of Jacobi matrices, which are in turn intimately connected with orthogonal polynomials. It can also be viewed as a toy model for the continuous Schrodinger equation, in which all high-frequency effects are removed.

The finite speed of propagation of the wave equation is closely connected to the Lorentz invariance of that equation, which is of course not present in the discrete model. Actually, I plan to discuss this connection in a later blog post…

3 October, 2007 at 1:45 am

Emmanuel KowalskiThis is a very nice article! I noticed two typos:

* The “=1” on the left-hand side of line -6 of page 2 seems to be a mistake.

* Also on page 5, “on” is missing in line -16 in “depends (in a non-linear fashion) _on_ the potential $V$”

3 October, 2007 at 3:29 am

Attila SmithDear Sir,

on page 2, line -8 of your beautiful article on the Schrödinger equation there seems to be a typographical error: the target of psi(t) should be C, not R.

Your most devoted,

Attila.

3 October, 2007 at 7:31 am

Will HuntingA typo in this article : it is Ma

dhu Sudan.3 October, 2007 at 8:12 am

Terence TaoThanks for all the corrections!

3 October, 2007 at 9:52 am

GordonDear Terry,

I know it is a little off-topic, but I was wondering: how is the

cubic Schrodinger related to the phi-to-the-fourth model?

In Wikipedia they mention this connection in passing.

I mean the derivation and all.

3 October, 2007 at 10:02 am

Terence TaoDear Gordon,

The model in quantum field theory is the quantum analogue of the (classical, relativistic) cubic nonlinear Klein-Gordon equation (I’m ignoring factors of and c here). Indeed, both models are derived from the same Lagrangian , though of course the former model is quantum and the latter is classical. The cubic Schrodinger equation then emerges as the non-relativistic limit of the cubic Klein-Gordon equation (in particular, we are viewing this equation here, somewhat confusingly, as a

classicalnon-relativistic equation rather than a quantum one). So, in short, cubic Schrodinger is the classical non-relativistic analogue of the quantum relativistic model, and so I presume the former is expected to model the latter in the case of macroscopic, slow-moving fields.3 October, 2007 at 10:27 am

ThursDear Gordon,

A similar issue was already discussed on Terry’s blog a short while

ago, in connection with Perelman’s preprints. First, notice from:

http://en.wikipedia.org/wiki/Klein-Gordon

that the Schrodinger equation does not take into account

special relativity. Using a natural generalization, we get

the Klein-Gordon equation, which coincides with the action

functional before the Big Bang. To construct an after Big-Bang

theory, you need to use a proper version of this action,

which has a nonlocal part and a phi-to-the-fouth double-well.

However, due to enlargement of the underlying space of

the action after the Big Bang, it is not clear how to construct

a well-posed evolution: it is well-known that instabilities

can occur only on non-differentiable paths (literature).

3 October, 2007 at 1:05 pm

This week in the arXivs… « It’s Equal, but It’s Different…[…] PCM article: The Schrodinger equation […]

4 October, 2007 at 9:24 am

DougHi Terence,

My fascination with John von Neumann continues:

“By the Stone-von Neumann theorem, the Heisenberg picture and the Schrödinger picture are unitarily equivalent.”

http://en.wikipedia.org/wiki/Heisenberg_picture

4 October, 2007 at 10:02 am

HintDear Doug: Can this statement be shown by using quaternions?

6 October, 2007 at 7:09 am

Princeton Companion to Mathematics « Nerd Wisdom[…] Companion to Mathematics From Terence Tao’s excellent blog, I learned about the upcoming Princeton Companion to Mathematics (PCM), a roughly 1000-page survey […]

8 October, 2007 at 10:16 am

VHi,

In page five, second paragraph it says “The time-dependent Schrodinger equation H psi = E psi”. I think it should be “time-independent”.

8 October, 2007 at 1:18 pm

Terence TaoThanks for the correction!

9 October, 2007 at 12:18 am

JerryDear Terry,

I liked your PCM article on the Schr\”odinger equation very much! That so much elegant mathematics and physics can be packed into one short,

readableexpository article is a feat. As everyone else is calling attention to various typos here, I’ll mention one I noticed too: page 5, second paragraph, in the sentence “Indeed, can have eigenvalues which lie in the doman …,” the termeigenfunctionsoreigenstatesis obviously meant. Later in that paragraph, you define the spectrum of to be “the set of energies for which the operator fals to be invertible.” To be entirely precise, one should say “…for which the operator fails to haveboundedinverse.” As you know, being injective (i.e. invertible) simply means that is not an eigenvalue.Yours,

Jerry Gagelman

9 October, 2007 at 8:35 am

Terence TaoThanks for the additional corrections! (It seems that extensive proofreading is one of the perks of mathematical blogging. :-) )

15 October, 2007 at 3:14 pm

Not Even Wrong » Blog Archive » Accumulated Links[…] and articles, often of a general expository nature. For some recent examples, see one about the Schrodinger Equation, and another about Jordan normal […]

18 October, 2007 at 12:23 pm

Jonathan Vos PostYes, John von Neumann 80 years ago axiomatized Hilbert space, proved the commutant theorem for strong operator closed self-adjoint algebras of bounded linear operators acting on that space, nicely timed to be almost simultaneous with Heisenberg’s matrix mechanics and the equivalent Schrodinger wave mechanics, as seen in his famous monograph “Mathematical Foundations of Quantum Mechnics.”

But there is a limit to generalizing this. Fifteen years later Gelfand and Naimark showed that, while a von Neumann algebra (abstractly as a *-algebra) has essentially a unique Hilbert space representation (i.e. canonical, multiplicity 1, any other representation determined just by multiplicity), a self-adjoint algebra of Hilbert space operators only assumed to be norm closed (now called concrete C*-algebra) in general has many very different Hilbert space representations. That cannot happen when there are a finite number of degrees of freedom in a quantum mechanical system.

Then around when I was born at the start of the 1950s, Garding and Wightman showed that the C*-algebra with infinitely many degrees of freedom has infinitely many inequivalent irreducible representations.

The classification questions this raised were mostly solved by Connes et al, and George Elliott’s generalization of Glimm’s 1959 classification of infinite tensor products of matrix algebras, to AF (approximately finite) algebras, and deep connections to K-theory, Connes-Takesaki flow of weights, Jones knot polynomials, Feynman diagram renormalization, the Wigner semi-circle law, quantum groups, and other stuff somewhat beyond my grasp.

Good summary of all the above in the lead article of FieldNotes, Vol.8, Sep 2007.

I’m still wrestling with a paper I’ve gotten to almost 100 pages (too long) on *-algebras for Vasiliev’s “Imaginary Logics.”

Is our universe noncommutative? We could hardly even ask the question, were it not for von Neumann and the other giants mentioned above.

20 October, 2007 at 11:44 am

Terrence Tao and Schrodinger Equation « Thinking in Sveccha[…] https://terrytao.wordpress.com/2007/10/02/pcm-article-the-schrodinger-equation/ […]

22 October, 2007 at 7:04 am

asubI really enjoyed the article and would like to learn more on the mathematical aspects of quantum mechanics. Except for von Neumann, which is quite old, I don’t know of any good book on this subject. Can you please provide some references on this subject?

2 November, 2007 at 3:28 am

DougHi Terence,

I have noticed that electrical engineers tend to deal with Fourier Transform Pairs [FTP]:

The Scientist and Engineer’s Guide to Digital Signal Processing

By Steven W Smith, PhD

Chapter 11: Fourier Transform Pairs

“For every time domain waveform there is a corresponding frequency domain waveform, and vice versa. For example, a rectangular pulse in the time domain coincides with a sinc function [i.e., sin(x)/x] in the frequency domain. Duality provides that the reverse is also true; a rectangular pulse in the frequency domain matches a sinc function in the time domain. Waveforms that correspond to each other in this manner are called Fourier transform pairs. Several common pairs are presented in this chapter.”

http://www.dspguide.com/ch11.htm

Both theoretical mathematicians and many physicists appear to ignore these FTP pairs.

Yet there are both 1) Time Dependent and 2) Time Independent versions of the Schrodinger Equation that appear to be consistent with Fourier Transform Pairs?

HyperPhysics GSU-US

http://hyperphysics.phy-astr.gsu.edu/hbase/quantum/scheq.html

20 November, 2007 at 11:44 pm

OrrI’m sorry for the perhaps silly question, but how does one reach this article?

Is the file linked there?

20 November, 2007 at 11:48 pm

Terence TaoOops! I had removed the link by accident. It’s restored now.

14 March, 2008 at 4:06 am

m.hassanhow does schrodinger equation help to solve classical mechanics?

15 December, 2008 at 2:11 am

moseshi,

i was just wondering which basic physical phenomenon connects the schrondinger equation to de Broglie’s hypothesis?