Born as a master’s thesis, Federico II, 1999 — revised and expanded for the web.Original text on GitHub ↗
Chapter 5
The Hamiltonian and the Schrödinger Equation
The law of evolution we have derived contains a matrix H that we do not yet know. Here we determine it, by requiring agreement with Newton’s equation and using a single measurement.
Determination of the Hamiltonian matrix.
To determine the matrix H we will exploit the information we know from Classical Mechanics. We know that Newton's laws are very accurate over a vast range of phenomena, so we will choose the matrix H in such a way that the time-evolution law of Quantum Mechanics and Newton's law f=ma give the same results over this range of phenomena. We postulate the principle of agreement with Newton: under the conditions in which Newton’s mechanics is confirmed by experience — bodies sufficiently large and heavy — the theory must give the same predictions.
For simplicity we consider a not very complicated case: we determine the Hamiltonian matrix for a charged particle in a one-dimensional space, in the presence of a time-independent electric field.
Newton's law can be written in the form
mdt2d2x=qE(x)=−qdxdV(x)
The law of Quantum Mechanics is certainly very different
idtd∣ψt⟩=H(t)∣ψt⟩
The difference between the two equations is due to the way we represent the evolution of the system. From the classical point of view we have a material particle and must determine the equation of motion x(t). From the quantum point of view, instead, we have a system with its observable quantity x, that is, the position, and must determine the distribution of probability amplitudes ψ(x,t) as time varies.
To make a comparison we can derive, from the Schrödinger equation for the amplitudes ψ(x,t), an equation for the mean value ⟨x⟩ of the variable x. In this way we will have an equation derived from the quantum law that will be easily comparable with Newton's law.
The mean value of the variable x can be written in the following way
defining the acceleration operator X¨=i(HX˙−X˙H) we can write
dt2d2⟨x⟩=⟨ψt∣X¨∣ψt⟩
For convenience one defines the commutation brackets [,] with the following meaning: [A,B]=AB−BA.
Using these brackets we can write
X¨=i[H,X˙]=−[H,[H,X]]
So in the end we have:
dt2d2⟨x⟩=⟨ψt∣X¨∣ψt⟩=−⟨ψt∣[H,[H,X]]∣ψt⟩
To have agreement with Newton's equation we expect that
d2⟨x⟩/dt2=q⟨E(x)⟩/m which is equivalent to d2x/dt2=qE(x)/m
Note 06Here we require agreement on the mean of the field, not on the field at the mean position: the caveat →
The mean value ⟨E(x)⟩ can be written in the form ⟨ψt∣E(X)∣ψt⟩, where E(X) is an operator built by applying the function E(x) to the position operator X. Since X maps ψ(x) to xψ(x), each of its powers Xn maps ψ(x) to xnψ(x): applying a function to the position operator amounts to multiplying by that function.
Now we compare the two equations for d2⟨x⟩/dt2, the one obtained from the Schrödinger equation and the one suggested by Newton's equation:
dt2d2⟨x⟩=−⟨ψt∣[H,[H,X]]∣ψt⟩
dt2d2⟨x⟩=mq⟨ψt∣E(X)∣ψt⟩
For agreement to hold, the equality between the right-hand sides must be valid
−⟨ψt∣[H,[H,X]]ψt⟩=mq⟨ψt∣E(X)ψt⟩
This last one must be true for every choice of ∣ψt⟩, so we can simplify it
−[H,[H,X]]=mqE(X)
At this point we must find a matrix H that satisfies this equation. Let us narrow the search to matrices of the form H=f(X)+g(K), with f and g functions to be determined. Narrowing the search is not an assumption about the result, it is a choice of where to look: if this family contains a solution, it is a solution in its own right, because in the end we will test it against the original equation. Here X is the position operator, which maps ψ(x) to the function xψ(x), while K=iD is the derivative operator, which maps ψ(x) to the function idψ(x)/dx.
To find the solution we need some very useful mathematical results:
1a [K,f(X)]=idf(X)/dX
2a [X,f(K)]=−idf(K)/dK
3a [X,f(X)]=0
4a [K,f(K)]=0
These formulas are proved by induction; here we take them as established and go on to solve the equation for the unknown H.
Note 10The proofs by induction of the four formulas: the calculation →
Let us now look for the solution of the equation
−[H,[H,X]]=mqE(X)
As we said, we look for H in the form H=f(X)+g(K); substituting we have
−[f(X)+g(K),[f(X)+g(K),X]]−[f(X)+g(K),[g(K),X]]=mqE(X)⇔By formula 3a=mqE(X)
To move forward with the calculation we narrow the field further: we look for g among the functions for which [g(K),X]=icK, with c constant. With this choice we have
−[f(X)+g(K),icK]−[f(X),icK][icK,f(X)]−cdXdf(X)=mqE(X)⇔=mqE(X)⇔=mqE(X)⇔By formula 1a=mqE(X)
Recall that the operator E(X) can be written in derivative form E(X)=−dV(X)/dX, where V(x) is the potential function. Substituting we have
−cdXdf(X)=−mqdXdV(X)
This equation is solved if one chooses f(X)=qV(X)/cm.
Let us recall the condition we imposed on g, [g(K),X]=icK: this equation is equivalent to idg(K)/dK=icK, which is satisfied if one chooses g(K)=cK2/2.
So for the matrix H we have
H=f(X)+g(K)=cmqV(X)+21cK2
The reasoning has led us to a candidate; now it must be put to the test. Let us verify that this matrix satisfies the original equation
This equation was derived so as to be in agreement with Newton's equation, in the cases where the latter is applicable.
In reality we still have to determine the constant c. To determine this constant we must refer to an experience that lies outside the domain of Classical Mechanics, because we have already exploited all the information we could draw from that theory. Indeed, Newton's equation contains all the information of the classical theory.
To determine c we will use the De Broglie relation pλ=h, which we verified with the electron-diffraction experiment.
Consider the Schrödinger equation written for the case in which the electric potential is zero V(x)=0
idtdψ(x,t)=−21cdx2d2ψ(x,t)
This equation admits solutions of complex-exponential type
ψ(x,t)=ei(kx−ωt)=ei(λ2πx−ωt)
Substituting, we have
idtdei(λ2πx−ωt)=−21cdx2d2ei(λ2πx−ωt)⇔
⇔ωei(λ2πx−ωt)=21cλ24π2ei(λ2πx−ωt)
which is satisfied if ω=2π2c/λ2. So we have the solutions
ψ(x,t)=ei(λ2πx−λ22π2ct)
These distributions of probability amplitudes are not acceptable from a physical point of view, because they give a probability of finding the particle that is constant over the whole space, from −∞ to +∞
However, the Schrödinger equation is linear, and so one can build other solutions by superposing the exponential ones. In this way wave packets are realised that have a limited spatial extension and are physically acceptable
ψ(x,t)=∫−∞+∞c(λ′)ei(λ′2πx−λ′22π2ct)dλ′
If, for example, we choose c(λ′)=δ(λ′−λ) we recover the exponential function
This means that the exponential distribution represents a wave packet that has infinite spatial extension but a well-defined wavelength. A finite wave packet, on the other hand, cannot have such a precise wavelength because it is made of the superposition of several exponential functions, each with a different wavelength. So the exponential solution, even if it is not physically acceptable, is very convenient for representing the limiting cases of monochromatic beams, that is, with a very precise wavelength.
In general we know that every distribution of probability amplitudes must be normalised, that is, divided by its own modulus. This is not possible for an exponential solution because its modulus is infinite
However, in order to save the exponential solutions, we will use an artifice: whenever in the calculations we introduce an exponential distribution, we will write at the denominator the integral that expresses its modulus, without ever computing it, waiting for an equal integral to appear at the numerator with which it can be simplified. We will apply this artifice now, as we compute the momentum of a particle in a state associated with an exponential distribution.
Suppose we know the state of a particle and the corresponding normalised distribution of probability amplitudes ψ(x,t), and suppose we want to compute the momentum associated with this particle. In reality we have not yet defined the concept of momentum in Quantum Mechanics, but it is not hard to guess that what we want to compute is the quantity ⟨p⟩=md⟨x⟩/dt, where ⟨x⟩ is the mean value of the random variable x. A few pages ago we wrote
dxd⟨x⟩=⟨ψ∣X˙∣ψ⟩
where X˙=i[H,X] is an operator we called the velocity operator. Let us see what form X˙ takes with the H we have determined
Recalling the De Broglie relation pλ=h, we can conclude that it must be 2πcm=h⇔c=h/2πm. For convenience one defines the reduced Planck constant ℏ=h/2π, with which we write c=ℏ/m. Substituting this value we can finally give the Schrödinger equation in its definitive form
where we have used the definition P=−cmK=−ℏK=−iℏD.
In textbooks of Quantum Mechanics one generally finds the Schrödinger equation written with the H on the right-hand side
iℏdtd∣ψ⟩=H∣ψ⟩
with
H=qV(X)+2m1P2
From now on we too will use this form.
Conclusions.
In this card we have found an equation that represents the law of evolution for a charged particle according to the formalism of Quantum Mechanics. The equation we have found does not take into account the Theory of Relativity and is, moreover, greatly simplified: it does not consider magnetic or gravitational fields and is written for a one-dimensional space. Nevertheless it is a good example that achieves the aim of this card, that is, to show the fundamental features of Quantum Mechanics applied to a system of practical interest. In the following cards we will generalise this equation and apply it to study concrete problems.