Chapter 4

Electron Diffraction

In this card we describe an experiment in which the electron shows properties very different from those a normal classical particle should have. We will see that a beam of electrons “fired” from an electron gun does not always behave like a beam of particles; indeed, in this experiment it will behave like a wave.

Description of the experiment and classical predictions.

Figure 1 shows a schematic of the experiment. We have a beam of electrons striking a thin foil of crystalline material; the electrons that cross the foil are detected on a phosphor screen.

Schematic principle of the experiment.
Fig. 1Schematic of the experiment.

The structure of a crystal will be studied later, in the card on Rutherford's experiment. We will see that a crystal consists of an aggregate of atomic nuclei arranged in a three-dimensional lattice (Fig. 2), with a more or less complicated geometry. We will also see that the distance between two adjacent nuclei is much larger than the diameter of the nucleus.

Crystal structure: three-dimensional lattice of nuclei.
Fig. 2Crystal structure: three-dimensional lattice of nuclei.

From a classical point of view we expect that an electron, when it crosses a crystal, is deflected by a certain angle and in a certain direction that depend on the initial motion of the electron and on the orientation of the crystal (Fig. 3). A beam is made of many electrons, each with dynamical conditions slightly different from every other. So, beyond the crystal, we will have a spreading of the beam because not all the electrons are deflected by the same angle.

Classical prediction: deflection of the electron in the crystal.
Fig. 3Classical prediction: deflection of the electron in the crystal.

The deflection angle δ is a random variable, that is, a quantity that can take different values, each with a certain probability. The probability distribution for the variable δ can be calculated on the basis of the corpuscular model of the electron, and on this model we expect a bell-shaped curve like the one shown in figure 4. But, as we will see, the distribution of electrons actually detected on the screen does not correspond to this classical prediction.

Classical prediction: bell-shaped probability distribution for the angle δ.
Fig. 4Classical prediction: bell-shaped probability distribution for the deflection angle δ.

Description of the experimental apparatus.

The electron gun, the crystalline-material foil and the phosphor screen are mounted inside an evacuated glass bulb.

Figure 5 shows a photograph of this bulb, while figures 6 and 7 show the electron gun in detail.

Photograph of the evacuated glass bulb.
Fig. 5Photograph of the evacuated glass bulb.
Detail of the electron gun.
Fig. 6Detail of the electron gun.
Detail of the electron gun.
Fig. 7Detail of the electron gun.

A diagram is shown in figure 8.

Diagram of the bulb with the gun and the foil.
Fig. 8Diagram of the bulb with gun and foil.

As can be seen from the photograph in figure 6 and the diagram in figure 8, the crystal foil is placed directly on the final stage of the electron gun.

The system is powered as shown in figure 9.

Wiring diagram of the system.
Fig. 9Wiring diagram of the system.

Two power supplies are used: one for the high voltage of 0÷5000 V and one for the low voltages of 6 V and 0÷50 V. The photograph in figure 10 shows the whole system powered up. On the left is the high-voltage supply, and on the right the low-voltage supply. The bulb is mounted on a universal support.

The whole system powered up.
Fig. 10The whole system powered up.

Experimental results.

The photograph in figure 11 shows in detail the image obtained on the screen.

Image obtained on the screen: central spot and two rings.
Fig. 11Image obtained on the screen: central spot and two circles.
The same diffraction image, in black and white.
The same diffraction image, taken in black and white.

One observes a central spot and two concentric circles. The probability distribution for the variable δ deduced from this image is the one shown in figure 12.

Relation between the deflection angles δ₁, δ₂ and the two concentric rings.
Fig. 12Geometric relationship between the deflection angles δ₁, δ₂ and the two concentric circles observed on the screen.

If we vary the accelerating voltage, the radii of the two circles are seen to change, that is, the deflection angles δ₁ and δ₂ change.

The following measurements were taken:

V (Volt)δ₁ (rad)δ₂ (rad)
25000.1150.199
30000.1050.182
35000.0970.168
40000.0910.157
45000.0860.148

Figure 13 shows two plots of the measurements taken: one with the voltage V on the ordinate, the other with the inverse square root of the voltage V1/2V^{-1/2}. From the second plot one can observe that the angles δ₁ and δ₂ are directly proportional to the inverse square root of the voltage: δ1=k1V1/2\delta_1=k_1V^{-1/2} and δ2=k2V1/2\delta_2=k_2V^{-1/2}.

Angles δ₁, δ₂ as a function of the voltage V.Angles δ₁, δ₂ as a function of the inverse square root of the voltage.
Fig. 13Two plots of the measurements: the angles δ₁ and δ₂ as a function of the voltage V (left) and of the inverse square root of the voltage (right).

Interpretation of the results.

The image obtained on the screen cannot be explained if one thinks the electron gun fires a beam of classical material particles. It can be explained, instead, if one thinks the gun generates a wave similar to that produced by a LASER, but not electromagnetic. Indeed, according to this idea, the image formed on the screen can be interpreted as a diffraction pattern produced by the crystal lattice of the graphite contained in the foil placed in front of the beam.

Graphite has a planar crystal structure shown in figure 14. Within this lattice one can identify several sublattices of equally spaced parallel lines (Fig. 15). The diffraction due to the original lattice is approximately equal to the superposition of the diffractions produced by the individual sublattices of equally spaced parallel lines (Fig. 16).

Planar crystal structure of graphite.
Fig. 14Planar crystal structure of graphite.
Sub-lattices of parallel lines identified in the graphite lattice.
Fig. 15Parallel-line sublattices (spacings d₁ and d₂) identified within the graphite lattice.
Decomposition of the lattice into lattices of parallel lines.
Fig. 16Decomposition of the lattice into a superposition of parallel-line lattices.

In the crystal one identifies two types of parallel-line lattices, one with spacing d1=0.213nmd_1=0.213nm, and the other with spacing d2=0.123nmd_2=0.123nm. So, when the beam crosses the lattice, we have two first-order diffraction angles: δ1\delta_1 corresponding to d1d_1 and δ2\delta_2 corresponding to d2d_2.

The circles in figure 11 form because the foil is made of many randomly oriented crystals:

Each single crystal forms an image made of a few spots (Fig. 17):

Image produced by a single crystal.
Fig. 17Image produced by a single crystal.

The superposition of many images rotated by a random angle forms the circles (Fig. 18):

Superposition of randomly oriented crystals: the rings appear.
Fig. 18Superposition of randomly oriented crystals: the circles form.

The fact that the first-order diffraction angles depend on the accelerating voltage applied means that the wavelength of the beam depends on the voltage.

Wave–particle duality and the De Broglie relation.

Does the electron gun fire a burst of particles, or does it generate a beam of waves? The experiment described in this card leads us to think it is a beam of waves, but other experiments lead us to the opposite answer. The result is that neither hypothesis is really correct: the electron is neither a wave nor a particle.

The electron has a corpuscular behaviour, in the sense that when it interacts with other systems it produces discrete effects, in packets. For example, in Millikan's experiment one observed the effects of a single electron or of a few electrons at a time; indeed one observed a discrete charge, in packets. There are also other experiments that show the corpuscular nature of the electron, but we will describe them later.

The electron also has a wave behaviour, because it can produce diffraction. It is also possible to show the interference of electrons, similar to that produced by light with two slits, but the experimental apparatus needed to observe this phenomenon includes an electron microscope, and it is rather difficult to find a teaching laboratory equipped with such a system.

We conclude that when we think of an electron we should imagine a material particle accompanied by a wave. The wavelength is given by a formula found by De Broglie: pλ=hp\lambda=h, where p is the momentum of the particle, λ is the wavelength and h is the Planck constant. This formula can be confirmed with our experiment and has a very general validity, in the sense that it holds for all types of particle — electrons, atomic nuclei, particles of light, and so on. The following table reports the experimental measurements we took; also reported are the wavelength λ=dsinδ\lambda=d\sin\delta, calculated from the diffraction formula sinδ=λ/d\sin\delta=\lambda/d, and the momentum p=2mqVp=\sqrt{2mqV}, calculated from the energy equation p2/2m=qVp^2/2m=qV. In the last column we report the product pλp\lambda which, as one can see, is practically constant.

V (Volt)p (10⁻²³ kg·m/s)δ₁ (rad)δ₂ (rad)λ (10⁻¹¹ m)pλ (10⁻³⁴ J·s)
25002.70.120.202.46.5
30003.00.110.182.26.6
35003.20.0970.172.16.7
40003.40.0910.161.96.5
45003.60.0860.151.86.5

Try the interactive simulator · Electron diffraction

Probabilistic interpretation.

In this section we take up again the principles stated in the introduction, to apply them to the electron.

A material particle, from the point of view of Quantum Mechanics, is regarded as a physical system on which position measurements can be made. When we perform such a measurement, the result is in general not certain, but random. So we have a probability distribution p(x)p(x) for the variable x. By the first principle stated in the introduction, the probabilities can be obtained as the squared moduli of certain complex numbers called probability amplitudes. So we have a certain complex function ψ(x)\psi(x) and the probability is given by p(x)=ψ(x)2p(x)=|\psi(x)|^2.

The function ψ(x)\psi(x) is a distribution of probability amplitudes and characterises the state of the particle; this function can be seen as a vector of infinitely many complex numbers, and we will represent it with the ket-vector symbol ψψ(x)|\psi\rangle\equiv\psi(x).

When the state of the particle evolves, the function ψ changes with time, so we obtain a function that depends on space and time ψ(x,t)\psi(x,t), which we can represent with a time-dependent ket ψt|\psi t\rangle.

By the principle of linear superposition stated in the introduction, the time evolution is described by a linear law ψt=U(t0t)ψt0|\psi t\rangle=U\left(t_0\to t\right)|\psi t_0\rangle. Here ψt0|\psi t_0\rangle is the vector associated with the function ψ(x,t0)\psi(x,t_0) representing the initial state; ψt|\psi t\rangle is the vector associated with the function ψ(x,t)\psi(x,t), and U(t0t)U\left(t_0\to t\right) is the time-evolution matrix.

At this point the problem arises of determining the time-evolution matrix U(t0t)U\left(t_0\to t\right). We will solve this problem later; for now we want to anticipate the following qualitative result: the final equation we will obtain will closely resemble the wave equation, and the solutions ψ(x,t)\psi(x,t) will have the appearance of wave packets. So the wave that accompanies a material particle, of which we spoke in the previous section, is nothing other than the vector of probability amplitudes ψ(x,t)\psi(x,t) associated with the position variable.

For clarity we recap the important points we have introduced:

A material particle is characterised by the position variable, that is, by a coordinate which we will briefly denote by the symbol x.

The state of a material particle at an instant t is represented by the distribution of probability amplitudes ψ(x,t)\psi(x,t) of the variable x, which we denote by the ket symbol ψt|\psi t\rangle.

The evolution of the state is described by the following equation:

ψt=U(t0t)ψt0|\psi t\rangle=U(t_0\to t)|\psi t_0\rangle

where U(t0t)U\left(t_0\to t\right) is a matrix of ∞×∞ components.

Time-evolution equation in differential form.

The time-evolution equation we have written allows a finite jump between the instants t0 and t. However, it is more convenient to consider an infinitesimal time jump tt+dtt\to t+dt. In this case we have the equation

ψ(t+dt)=U(tt+dt)ψt|\psi(t+dt)\rangle=U(t\to t+dt)|\psi t\rangle

subtracting ψt|\psi t\rangle from both sides and dividing by dt we obtain

ψ(t+dt)ψtdt=U(tt+dt)ψtψtdtddtψt=U(tt+dt)1dtψt\begin{aligned} \frac{|\psi(t+dt)\rangle-|\psi t\rangle}{dt} & =\frac{U(t\to t+dt)|\psi t\rangle-|\psi t\rangle}{dt}\Leftrightarrow \\ \frac{d}{dt}|\psi t\rangle & =\frac{U(t\to t+dt)-1}{dt}|\psi t\rangle \end{aligned}

To simplify the right-hand side we can write the matrix U(t0t)U\left(t_0\to t\right) with a first-order approximation

U(tt+dt)=U(tt)Term for dt=0+A(t)dtFirst-order increment+o(dt2)Higher-order infinitesimalU(t\to t+dt)=\underbrace{U(t\to t)}_{\text{Term for }dt=0}+\underbrace{A(t)\cdot dt}_{\text{First-order increment}}+\underbrace{o(dt^2)}_{\text{Higher-order infinitesimal}}

where A(t)A(t) is the derivative

limdt0U(tt+dt)U(tt)dt\lim_{dt\to0}\frac{U(t\to t+dt)-U(t\to t)}{dt}

Substituting this first-order approximation we have

U(tt+dt)1dt=U(tt)+A(t)dt+o(dt2)1dtobserving that U(tt)=1 we have=A(t)dt+o(dt2)dt=A(t)\begin{aligned} \frac{U(t\to t+dt)-1}{dt} & =\frac{U(t\to t)+A(t)dt+o(dt^2)-1}{dt} \\ & \quad\text{observing that }U(t\to t)=1\text{ we have} \\ & =\frac{A(t)dt+o(dt^2)}{dt} \\ & =A(t) \end{aligned}

So in the end we obtain the equation

ddtψt=A(t)ψt\frac{d}{dt}|\psi t\rangle=A(t)|\psi t\rangle

The problem of determining U(t0t)U\left(t_0\to t\right) has become the problem of determining the derivative A(t)A(t).

Before proceeding, we must dwell on some mathematical topics.

Algebra of operators.

Vectors and matrices of infinite dimension

In this card we have introduced vectors and matrices of infinite dimension. In finite-dimensional cases a vector is represented by an n-tuple of components v=(v1vn)|v\rangle=\left(v_1\dots v_n\right); in infinite-dimensional cases, instead, we can represent a vector by a function v=v(x)|v\rangle=v(x), where the variable x takes the role of the indices. Analogously, an infinite-dimensional matrix is represented by a function of two variables A=A(x,x)A=A(x,x').

The product of a matrix and a vector, for example, can be written by means of an integral

u=Avu(x)=+A(x,x)v(x)dx\begin{aligned} |u\rangle & =A|v\rangle\Leftrightarrow \\ u(x) & =\int_{-\infty}^{+\infty}A(x,x')v(x')\:dx' \end{aligned}

In an analogous way one can write other types of products between matrices or between vectors.

Adjoint matrix and Hermitian, anti-Hermitian and unitary matrices.

Suppose we have a ket vector u|u\rangle given by the product of a matrix A and another vector v|v\rangle

u=Av|u\rangle=A|v\rangle

and suppose we have to determine the conjugate bra u\langle u|. Consider for example the two-dimensional case

u=(u1u2)u=(u1,u2)=(u1u2)t=ut\begin{aligned} |u\rangle & =\left(\begin{gathered} u_1 \\ u_2 \end{gathered}\right)\Rightarrow \\ \langle u| & =(u_1^*,u_2^*) \\ & ={\left(\begin{gathered} u_1 \\ u_2 \end{gathered}\right)}^{*t} \\ & ={|u\rangle}^{*t} \end{aligned}

So the bra u\langle u| is obtained by conjugating ()({}^*) and transposing (t)({}^t) the ket u|u\rangle

u=ut=(Av)t=vtAt=vAt\begin{aligned} \langle u| & =|u\rangle^{*t} \\ & ={\left(A|v\rangle\right)}^{*t} \\ & =|v\rangle^{*t}A^{*t} \\ & =\langle v|A^{*t} \end{aligned}

In the end we can write

u=Avu=vAt|u\rangle=A|v\rangle\Leftrightarrow\langle u|=\langle v|A^{*t}

where the matrix AtA^{*t} is obtained by conjugating and transposing the matrix A.

By definition we will say that the matrix AtA^{*t} is the adjoint of the matrix A, and we will denote it with the symbol A+A^+

AtA+A^{*t}\equiv A^+

For example, for a two-dimensional matrix

A=(a11a12a21a22)A+=At=(a11a21a12a22)\begin{aligned} A & =\begin{pmatrix} a_{11} & a_{12} \\ a_{21} & a_{22} \end{pmatrix}\Rightarrow \\ A^+ & =A^{*t} \\ & =\begin{pmatrix} a_{11}^* & a_{21}^* \\ a_{12}^* & a_{22}^* \end{pmatrix} \end{aligned}

On the basis of this definition we can write that the conjugate bra of the ket AuA|u\rangle is uA+\langle u|A^+.

By definition, if a matrix is equal to its adjoint A=A+A=A^+, then it is said to be Hermitian; if instead the matrix is equal to its adjoint with the sign changed A=A+A=-A^+, then it is said to be anti-Hermitian. A matrix such that AA+=A+A=IAA^+=A^+A=I, where I is the identity matrix, is said to be unitary.

The operation of taking the adjoint matrix, in the field of matrices, takes the role of the operation of taking the complex conjugate in the field of complex numbers. So Hermitian matrices take the role of purely real numbers, while anti-Hermitian matrices take the role of purely imaginary numbers. Unitary matrices, finally, take the role of numbers of unit modulus.

Hermitian, anti-Hermitian and unitary matrices have very interesting properties that we will study later, and they are of considerable importance in Quantum Mechanics.

Relation between matrices and operators.

In the case of finite-dimensional vectors we know, from the study of linear algebra, that any linear operator vR  w|v\rangle\overset{R\;}{\to}|w\rangle can be written as a matrix product w=Rv|w\rangle=R|v\rangle, where R is a particular matrix associated with the operator in question.

This property remains valid also in the case of infinite-dimensional vectors, but it is much more delicate from the mathematical point of view.

Consider for example the derivative operator, which we will denote by D. The operator D transforms a vector v|v\rangle associated with the function v(x)v(x) into the vector DvD|v\rangle associated with the function dv(x)/dxdv(x)/dx

v(x) D ddxv(x)v(x)\xrightarrow{\ D\ }\frac{d}{dx}v(x)

We ask: what is the matrix, that is, the function of two variables, that represents the derivative operator? The function we seek is the derivative of the Dirac δ

ddxδ(xx)-\frac{d}{dx'}\delta(x'-x)

indeed, performing the matrix product and integrating by parts, we have

+dδ(xx)dxv(x)dx=δ(xx)v(x)+++δ(xx)dv(x)dxdx\int_{-\infty}^{+\infty}-\frac{d\delta(x'-x)}{dx'}v(x')\:dx'=-\delta(x'-x)v(x')\Big|_{-\infty}^{+\infty}+\int_{-\infty}^{+\infty}\delta(x'-x)\frac{dv(x')}{dx'}\:dx'

The boundary term vanishes because δ vanishes at infinity; in the remaining integral the δ selects the value of the derivative at the point x:

+δ(xx)dv(x)dxdx=dv(x)dx\int_{-\infty}^{+\infty}\delta(x'-x)\frac{dv(x')}{dx'}\:dx'=\frac{dv(x)}{dx}

The operator Ddδ(xx)/dxD\leftrightarrow-d\delta(x'-x)/dx' is anti-Hermitian, indeed

(dδ(xx)dx)t=(dδ(xx)dx)=dδ(xx)dx=dδ(xx)dx\begin{aligned} {\left(-\frac{d\delta(x'-x)}{dx'}\right)}^{*t} & ={\left(-\frac{d\delta(x'-x)}{dx'}\right)}^\dagger \\ & =-\frac{d\delta(x-x')}{dx} \\ & =\frac{d\delta(x'-x)}{dx'} \end{aligned}

that is, by conjugating and transposing the matrix associated with D one obtains a matrix of opposite sign D+=DD^+=-D.

In general one prefers to use the operator K=iDK=iD, which is Hermitian, indeed

K+=(iD)+=iD+=(i)(D)=iD=KK^+=(iD)^+=i^*D^+=(-i)(-D)=iD=K

From now on we will speak indifferently of operators or of matrices. A derivative operator will in general be represented by the derivative operation rather than by the associated matrix; in any case it is important to know that to any linear operator there is always associated a definite matrix, whether finite- or infinite-dimensional.

Functions of operators, or functions of matrices.

If we take an operator A and apply it twice we obtain the operator AA=A2AA=A^2; in the same way we can obtain A3A^3, A4A^4, etc.

If we take the inverse operator A1A^{-1} and apply it twice we define the operator A1A1=A2A^{-1}A^{-1}=A^{-2}; in the same way we obtain A3A^{-3}, A4A^{-4}, etc.

If we consider a polynomial

p(x)=cnxn++c1x+c0+c1x1++cmxmp(x)=c_nx^n+\dots+c_1x+c_0+c_{-1}x^{-1}+\dots+c_{-m}x^{-m}

from it we can build the operator

p(A)=cnAn++c1A+c0I+c1A1++cmAmp(A)=c_nA^n+\dots+c_1A+c_0I+c_{-1}A^{-1}+\dots+c_{-m}A^{-m}

In general, from a function f(x)f(x) that can be expanded in a power series

f(x)=n=+cnxnf(x)=\sum_{n=-\infty}^{+\infty}c_nx^n

we can build the operator f(A)f(A)

f(A)=n=+cnAnf(A)=\sum_{n=-\infty}^{+\infty}c_nA^n

(one sets A0=IA^0=I, where I is the identity operator)

Let us now return to the study of the time-evolution equation.

Conservation of the scalar product.

From the principles stated in the introduction there follows an important property of the time-evolution process: during this process the scalar products between different kets remain constant. Now we will see what this fact implies for the matrix A that appears in the equation

ddtψt=A(t)ψt\frac{d}{dt}|\psi t\rangle=A(t)|\psi t\rangle

Consider two kets αt|\alpha t\rangle and βt|\beta t\rangle; let us compute the evolution of these kets at the instant t+dtt+dt

α(t+dt)=αt+ddtαtdt+o(dt2)=(1+A(t)dt)αt+o(dt2)\begin{aligned} |\alpha(t+dt)\rangle & =|\alpha t\rangle+\frac{d}{dt}|\alpha t\rangle dt+o(dt^2) \\ & =(1+A(t)dt)|\alpha t\rangle+o(dt^2) \end{aligned}
β(t+dt)=βt+ddtβtdt+o(dt2)=(1+A(t)dt)βt+o(dt2)\begin{aligned} |\beta(t+dt)\rangle & =|\beta t\rangle+\frac{d}{dt}|\beta t\rangle dt+o(dt^2) \\ & =(1+A(t)dt)|\beta t\rangle+o(dt^2) \end{aligned}

By the property of conservation of the scalar product, it must be

α(t+dt)β(t+dt)=αtβt\langle\alpha(t+dt)|\beta(t+dt)\rangle=\langle\alpha t|\beta t\rangle

substituting the formulas found for α(t+dt)|\alpha(t+dt)\rangle and β(t+dt)|\beta(t+dt)\rangle we have

αt(1+A+(t)dt)(1+A(t)dt)βt+o(dt2)=αtβtαtβt+αt(A+(t)+A(t))dtβt+αtA+(t)dt2A(t)βt+o(dt2)=αtβtαt(A+(t)+A(t))dtβt+αtA+(t)dt2A(t)βt+o(dt2)=0\begin{aligned} \langle\alpha t|(1+A^+(t)dt)(1+A(t)dt)|\beta t\rangle+o(dt^2) & =\langle\alpha t|\beta t\rangle\Leftrightarrow \\ \langle\alpha t|\beta t\rangle+\langle\alpha t|(A^+(t)+A(t))dt|\beta t\rangle+\langle\alpha t|A^+(t)dt^2A(t)|\beta t\rangle+o(dt^2) & =\langle\alpha t|\beta t\rangle\Leftrightarrow \\ \langle\alpha t|(A^+(t)+A(t))dt|\beta t\rangle+\langle\alpha t|A^+(t)dt^2A(t)|\beta t\rangle+o(dt^2) & =0 \end{aligned}

dividing by dt and taking the limit as dt→0 we have

αt(A+(t)+A(t))βt=0\langle\alpha t|\left(A^+(t)+A(t)\right)|\beta t\rangle=0

This equation is valid for every αt|\alpha t\rangle and βt|\beta t\rangle, so it must be

A+(t)+A(t)=0A+(t)=A(t)\begin{aligned} A^+(t)+A(t) & =0\Leftrightarrow \\ A^+(t) & =-A(t) \end{aligned}

So the matrix A is anti-Hermitian. We replace the matrix A with the matrix H(t)=iA(t)H\left(t\right)=iA\left(t\right), where ii is the imaginary unit.

The matrix H is called the Hamiltonian and is Hermitian, indeed

H+=(iA)+=iA+=(i)(A)=iA=HH^+={\left(iA\right)}^+=i^*A^+=(-i)(-A)=iA=H

The evolution equation written in terms of the matrix H appears thus

iddtψt=H(t)ψti\frac{d}{dt}|\psi t\rangle=H(t)|\psi t\rangle

This equation is called the Schrödinger equation.

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=maf=ma give the same results over this range of phenomena. This is the fourth principle stated in the introduction: under the conditions in which Newton’s mechanics is confirmed by experience, 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

md2xdt2=qE(x)=qdV(x)dx\begin{aligned} m\frac{d^2x}{dt^2} & =qE(x) \\ & =-q\frac{dV(x)}{dx} \end{aligned}

The law of Quantum Mechanics is certainly very different

iddtψt=H(t)ψti\frac{d}{dt}|\psi t\rangle=H(t)|\psi t\rangle

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)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)\psi(x,t) as time varies.

To make a comparison we can derive, from the Schrödinger equation for the amplitudes ψ(x,t)\psi(x,t), an equation for the mean value x\langle x\rangle 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

x=+p(x)xdx=+ψ(x)xψ(x)dx=++ψ(x)X(x,x)ψ(x)dxdx=ψXψ\begin{aligned} \langle x\rangle & =\int_{-\infty}^{+\infty}p(x)x\:dx \\ & =\int_{-\infty}^{+\infty}\psi^*(x)x\psi(x)\:dx \\ & =\int_{-\infty}^{+\infty}\int_{-\infty}^{+\infty}\psi^*(x)X(x,x')\psi(x)\:dx'\:dx \\ & =\langle\psi|X|\psi\rangle \end{aligned}

where we have introduced the operator X represented by the function X(x,x)X(x,x')

X(x,x)=xδ(xx)X(x,x')=x\delta(x-x')

The operator X thus defined is called the position operator.

Let us now compute the derivative dx/dtd\langle x\rangle/dt

ddtx=ddtψtXψt=(ddtψt)Xψt+ψtX(ddtψt)\begin{aligned} \frac{d}{dt}\langle x\rangle & =\frac{d}{dt}\langle\psi t|X|\psi t\rangle \\ & =\left(\frac{d}{dt}\langle\psi t|\right)X|\psi t\rangle+\langle\psi t|X\left(\frac{d}{dt}|\psi t\rangle\right) \end{aligned}

On the basis of the Schrödinger equation we can write

ddtψt=iHψt,ddtψt=iψtH+=iψtH\begin{aligned} \frac{d}{dt}|\psi t\rangle & =-iH|\psi t\rangle, \\ \frac{d}{dt}\langle\psi t| & =i\langle\psi t|H^+ \\ & =i\langle\psi t|H \end{aligned}

Substituting, we have

ddtx=iψtHXψtiψtXHψt=ψti(HXXH)ψt\begin{aligned} \frac{d}{dt}\langle x\rangle & =i\langle\psi t|HX|\psi t\rangle-i\langle\psi t|XH|\psi t\rangle \\ & =\langle\psi t|i(HX-XH)|\psi t\rangle \end{aligned}

Defining the velocity operator X˙=i(HXXH)\dot{X}=i(HX-XH) we can write

ddtx=ψtX˙ψt\frac{d}{dt}\langle x\rangle=\langle\psi t|\dot{X}|\psi t\rangle

with identical steps we compute the second derivative

d2dt2x=ddtddtx=ddtψtX˙ψt==ψti(HX˙X˙H)ψt\begin{aligned} \frac{d^2}{dt^2}\langle x\rangle & =\frac{d}{dt}\frac{d}{dt}\langle x\rangle \\ & =\frac{d}{dt}\langle\psi t|\dot{X}|\psi t\rangle \\ & =\dots \\ & =\langle\psi t|i(H\dot{X}-\dot{X}H)|\psi t\rangle \end{aligned}

defining the acceleration operator X¨=i(HX˙X˙H)\ddot{X}=i(H\dot{X}-\dot{X}H) we can write

d2dt2x=ψtX¨ψt\frac{d^2}{dt^2}\langle x\rangle=\langle\psi t|\ddot{X}|\psi t\rangle

For convenience one defines the commutation brackets [,][,] with the following meaning: [A,B]=ABBA[A,B]=AB-BA.

Using these brackets we can write

X¨=i[H,X˙]=[H,[H,X]]\begin{aligned} \ddot{X} & =i[H,\dot{X}] \\ & =-[H,[H,X]] \end{aligned}

So in the end we have:

d2dt2x=ψtX¨ψt=ψt[H,[H,X]]ψt\begin{aligned} \frac{d^2}{dt^2}\langle x\rangle & =\langle\psi_t|\ddot{X}|\psi_t\rangle \\ & =-\langle\psi_t|[H,[H,X]]|\psi_t\rangle \end{aligned}

To have agreement with Newton's equation we expect that

d2x/dt2=qE(x)/md^2\langle x\rangle/dt^2=q\langle E(x)\rangle/m which is equivalent to d2x/dt2=qE(x)/md^2x/dt^2=qE(x)/m

The mean value E(x)\langle E(x)\rangle can be written in the form ψtE(X)ψt\langle\psi t|E(X)|\psi t\rangle, where E(X)E(X) is an operator built by applying the function E(x)E(x) to the position operator X. Since X maps ψ(x)\psi(x) to xψ(x)x\psi(x), each of its powers XnX^n maps ψ(x)\psi(x) to xnψ(x)x^n\psi(x): applying a function to the position operator amounts to multiplying by that function.

Now we compare the two equations for d2x/dt2d^2\langle x\rangle/dt^2, the one obtained from the Schrödinger equation and the one suggested by Newton's equation:

d2dt2x=ψt[H,[H,X]]ψt\frac{d^2}{dt^2}\langle x\rangle=-\langle\psi_t|[H,[H,X]]|\psi_t\rangle
d2dt2x=qmψtE(X)ψt\frac{d^2}{dt^2}\langle x\rangle=\frac{q}{m}\langle\psi t|E(X)|\psi t\rangle

For agreement to hold, the equality between the right-hand sides must be valid

ψt[H,[H,X]]ψt=qmψtE(X)ψt-\langle\psi t|[H,[H,X]]\psi t\rangle=\frac{q}{m}\langle\psi t|E(X)\psi t\rangle

This last one must be true for every choice of ψt|\psi t\rangle, so we can simplify it

[H,[H,X]]=qmE(X)-[H,[H,X]]=\frac{q}{m}E(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)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)\psi(x) to the function xψ(x)x\psi(x), while K=iDK=iD is the derivative operator, which maps ψ(x)\psi(x) to the function idψ(x)/dxi\,d\psi(x)/dx.

To find the solution we need some very useful mathematical results:

1a [K,f(X)]=idf(X)/dX[K,f(X)]=i\,df(X)/dX

2a [X,f(K)]=idf(K)/dK[X,f(K)]=-i\,df(K)/dK

3a [X,f(X)]=0[X,f(X)]=0

4a [K,f(K)]=0[K,f(K)]=0

Let us first prove these formulas, after which we will solve the equation for the unknown H.

Proof of formulas 1a, 2a, 3a and 4a.

Suppose the function f(X)f(X) can be expanded in a power series

f(X)=n=+fnXnf(X)=\sum_{n=-\infty}^{+\infty}f_nX^n

The derivative of this function is

df(X)dX=+fnnXn1\frac{df(X)}{dX}=\sum_{-\infty}^{+\infty}f_nnX^{n-1}

So to prove 1a we must verify the following identity

[K,n=+fnXn]=in=+nfnXn1\left[K,\sum_{n=-\infty}^{+\infty}f_nX^n\right]=i\sum_{n=-\infty}^{+\infty}nf_nX^{n-1}

Analogously, to prove 2a we must verify the following identity

[X,fnKn]=infnKn1\left[X,\sum_{-\infty}^\infty f_nK^n\right]=-i\sum_{-\infty}^\infty nf_nK^{n-1}

We will prove that the terms of the sums on the left-hand sides are equal, one by one, to the terms of the sums on the right-hand sides:

[K,fnXn]=infnXn1[K,Xn]=inXn1[X,fnKn]=infnKn1[X,Kn]=inKn1\begin{aligned} [K,f_nX^n] & =inf_nX^{n-1}\Leftrightarrow \\ [K,X^n] & =inX^{n-1} \\ [X,f_nK^n] & =-inf_nK^{n-1}\Leftrightarrow \\ [X,K^n] & =-inK^{n-1} \end{aligned}n1\forall n\in1\dots\infty

We carry out a proof by induction.

For n=1n=1 we must verify that

[K,X]=iI  [X,K]=iI\begin{aligned} [K,X] & =iI\;[X,K] \\ & =-iI \end{aligned}

Let us begin with the first. Consider a generic function ψ(x)\psi(x)

[K,X]ψ(x)=KXψ(x)XKψ(x)=iddx(xψ(x))xddxψ(x)=iψ(x)+xddxψ(x)xddxψ(x)=iψ(x)\begin{aligned} [K,X]\psi(x) & =KX\psi(x)-XK\psi(x) \\ & =i\frac{d}{dx}(x\psi(x))-x\frac{d}{dx}\psi(x) \\ & =i\psi(x)+x\frac{d}{dx}\psi(x)-x\frac{d}{dx}\psi(x) \\ & =i\psi(x) \end{aligned}

so [K,X]ψ(x)=iψ(x)[K,X]\psi(x)=i\psi(x). Being true for every ψ(x)\psi(x), we can deduce [K,X]=iI[K,X]=iI.

The second is now obvious, indeed [X,K]=[K,X]=iI[X,K]=-[K,X]=-iI.

Now we prove that if the formulas

[K,Xn]=inXn1  [X,Kn]=inKn1\begin{aligned} [K,X^n] & =inX^{n-1}\;[X,K^n] \\ & =-inK^{n-1} \end{aligned}

are true for n, then they are true also for n+1n+1 and for n1n-1.

Let us begin with the first and prove that if it is true for n, then it is also true for n+1n+1

[K,Xn+1]=KXn+1Xn+1K=KXn+1XnXK=\begin{aligned} \left[K,X^{n+1}\right] & =KX^{n+1}-X^{n+1}K \\ & =KX^{n+1}-X^nXK= \end{aligned}

applying the formula valid for n=1n=1

=KXn+1+Xn(iIKX)=KXn+1+iXnXnKX=iXn+(KXnXnK)X=\begin{aligned} & =KX^{n+1}+X^n(iI-KX) \\ & =KX^{n+1}+iX^n-X^nKX \\ & =iX^n+(KX^n-X^nK)X= \end{aligned}

applying the formula valid for n

=iXn+inXn1X=iXn+inXn=i(n+1)XnAs we wanted to prove.\begin{aligned} & =iX^n+inX^{n-1}X \\ & =iX^n+inX^n \\ & =i(n+1)X^n\quad\text{As we wanted to prove.} \end{aligned}

Now we prove that if it is true for n, then it is also true for n1n-1

[K,Xn1]=KXn1Xn1K=X1XKXn1Xn1K=\begin{aligned} \left[K,X^{n-1}\right] & =KX^{n-1}-X^{n-1}K \\ & =X^{-1}XKX^{n-1}-X^{n-1}K= \end{aligned}

applying the formula valid for n=1n=1

=X1(iI+KX)Xn1Xn1K=iXn2+X1KXnX1XnK=iXn2+X1(KXnXnK)\begin{aligned} & =X^{-1}(-iI+KX)X^{n-1}-X^{n-1}K \\ & =-iX^{n-2}+X^{-1}KX^n-X^{-1}X^nK \\ & =-iX^{n-2}+X^{-1}(KX^n-X^nK) \end{aligned}

applying the formula valid for n

iXn2+X1inXn1=iXn2+inXn2=i(n1)Xn2As we wanted to prove.\begin{aligned} -iX^{n-2}+X^{-1}inX^{n-1} & =-iX^{n-2}+inX^{n-2} \\ & =i(n-1)X^{n-2}\quad\text{As we wanted to prove.} \end{aligned}

For 2a the steps are identical.

The 3rd and the 4th are practically obvious, and hold for any operator A, indeed

[A,An]=AAnAnA=An+1An+1=0\begin{aligned} [A,A^n] & =AA^n-A^nA \\ & =A^{n+1}-A^{n+1} \\ & =0 \end{aligned}

Let us now look for the solution of the equation

[H,[H,X]]=qmE(X)-[H,[H,X]]=\frac{q}{m}E(X)

As we said, we look for H in the form H=f(X)+g(K)H=f(X)+g(K); substituting we have

[f(X)+g(K),[f(X)+g(K),X]]=qmE(X)By formula 3a[f(X)+g(K),[g(K),X]]=qmE(X)\begin{aligned} -\left[f(X)+g(K),\left[f(X)+g(K),X\right]\right] & =\frac{q}{m}E(X)\Leftrightarrow \\ & \quad\text{By formula 3a} \\ -\left[f(X)+g(K),\left[g(K),X\right]\right] & =\frac{q}{m}E(X) \end{aligned}

To move forward with the calculation we narrow the field further: we look for g among the functions for which [g(K),X]=icK[g(K),X]=icK, with c constant. With this choice we have

[f(X)+g(K),icK]=qmE(X)[f(X),icK]=qmE(X)[icK,f(X)]=qmE(X)By formula 1acdf(X)dX=qmE(X)\begin{aligned} -\left[f(X)+g(K),icK\right] & =\frac{q}{m}E(X)\Leftrightarrow \\ -\left[f(X),icK\right] & =\frac{q}{m}E(X)\Leftrightarrow \\ \left[icK,f(X)\right] & =\frac{q}{m}E(X)\Leftrightarrow \\ & \quad\text{By formula 1a} \\ -c\frac{df(X)}{dX} & =\frac{q}{m}E(X) \end{aligned}

Recall that the operator E(X)E(X) can be written in derivative form E(X)=dV(X)/dXE(X)=-dV(X)/dX, where V(x)V(x) is the potential function. Substituting we have

cdf(X)dX=qmdV(X)dX-c\frac{df(X)}{dX}=-\frac{q}{m}\frac{dV(X)}{dX}

This equation is solved if one chooses f(X)=qV(X)/cmf(X)=qV(X)/cm.

Let us recall the condition we imposed on g, [g(K),X]=icK[g(K),X]=icK: this equation is equivalent to idg(K)/dK=icKi\,dg(K)/dK=icK, which is satisfied if one chooses g(K)=cK2/2g(K)=cK^2/2.

So for the matrix H we have

H=f(X)+g(K)=qcmV(X)+12cK2\begin{aligned} H & =f(X)+g(K) \\ & =\frac{q}{cm}V(X)+\frac{1}{2}cK^2 \end{aligned}

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

[qcmV(X)+12cK2,[qcmV(X)+12cK2,X]]=qmE(X)[qcmV(X)+12cK2,[12cK2,X]]=qmE(X)[qcmV(X)+12cK2,icK]=qmE(X)[qcmV(X),icK]=qmE(X)icqcm[K,V(X)]=qmE(X)qmdV(X)dX=qmE(X)Verified.\begin{aligned} -\left[\frac{q}{cm}V(X)+\frac{1}{2}cK^2,\left[\frac{q}{cm}V(X)+\frac{1}{2}cK^2,X\right]\right] & =\frac{q}{m}E(X)\Leftrightarrow \\ -\left[\frac{q}{cm}V(X)+\frac{1}{2}cK^2,\left[\frac{1}{2}cK^2,X\right]\right] & =\frac{q}{m}E(X)\Leftrightarrow \\ -\left[\frac{q}{cm}V(X)+\frac{1}{2}cK^2,icK\right] & =\frac{q}{m}E(X)\Leftrightarrow \\ -\left[\frac{q}{cm}V(X),icK\right] & =\frac{q}{m}E(X)\Leftrightarrow \\ ic\frac{q}{cm}\left[K,V(X)\right] & =\frac{q}{m}E(X)\Leftrightarrow \\ -\frac{q}{m}\frac{dV(X)}{dX} & =\frac{q}{m}E(X)\quad\text{Verified.} \end{aligned}

At this point we can say we have determined the Schrödinger equation for a charged particle in an electric potential V(x)V(x)

iddtψt=H(t)ψt=(qcmV(X)+12cK2)ψtiddtψ(x,t)=qcmV(x)ψ(x,t)12cd2dx2ψ(x,t)\begin{aligned} i\frac{d}{dt}|\psi t\rangle & =H(t)|\psi t\rangle \\ & =\left(\frac{q}{cm}V(X)+\frac{1}{2}cK^2\right)|\psi t\rangle\Leftrightarrow \\ i\frac{d}{dt}\psi(x,t) & =\frac{q}{cm}V(x)\psi(x,t)-\frac{1}{2}c\frac{d^2}{dx^2}\psi(x,t) \end{aligned}

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λ=hp\lambda=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)=0V(x)=0

iddtψ(x,t)=12cd2dx2ψ(x,t)i\frac{d}{dt}\psi(x,t)=-\frac{1}{2}c\frac{d^2}{dx^2}\psi(x,t)

This equation admits solutions of complex-exponential type

ψ(x,t)=ei(kxωt)=ei(2πλxωt)\begin{aligned} \psi(x,t) & =e^{i(kx-\omega t)} \\ & =e^{i\left(\frac{2\pi}{\lambda}x-\omega t\right)} \end{aligned}

Substituting, we have

iddtei(2πλxωt)=12cd2dx2ei(2πλxωt)i\frac{d}{dt}e^{i\left(\frac{2\pi}{\lambda}x-\omega t\right)}=-\frac{1}{2}c\frac{d^2}{dx^2}e^{i\left(\frac{2\pi}{\lambda}x-\omega t\right)}\Leftrightarrow
ωei(2πλxωt)=12c4π2λ2ei(2πλxωt)\Leftrightarrow\omega e^{i\left(\frac{2\pi}{\lambda}x-\omega t\right)}=\frac{1}{2}c\frac{4\pi^2}{\lambda^2}e^{i\left(\frac{2\pi}{\lambda}x-\omega t\right)}

which is satisfied if ω=2π2c/λ2\omega=2\pi^2c/\lambda^2. So we have the solutions

ψ(x,t)=ei(2πλx2π2cλ2t)\psi(x,t)=e^{i\left(\frac{2\pi}{\lambda}x-\frac{2\pi^2c}{\lambda^2}t\right)}

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 -\infty to ++\infty

p(x,t)ψ(x,t)2=ψ(x,t)ψ(x,t)=ei(2πλx2π2cλ2t)ei(2πλx2π2cλ2t)=e0=1 Constant.\begin{aligned} p(x,t) & \propto|\psi(x,t)|^2 \\ & =\psi^*(x,t)\psi(x,t) \\ & =e^{-i\left(\frac{2\pi}{\lambda}x-\frac{2\pi^2c}{\lambda^2}t\right)}e^{i\left(\frac{2\pi}{\lambda}x-\frac{2\pi^2c}{\lambda^2}t\right)} \\ & =e^0 \\ & =1\ \text{Constant}. \end{aligned}

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πλx2π2cλ2t)dλ\psi(x,t)=\int_{-\infty}^{+\infty}c(\lambda')e^{i\left(\frac{2\pi}{\lambda'}x-\frac{2\pi^2c}{\lambda^{'2}}t\right)}\:d\lambda'

If, for example, we choose c(λ)=δ(λλ)c(\lambda')=\delta(\lambda'-\lambda) we recover the exponential function

ψ(x,t)=+δ(λλ)ei(2πλx2π2cλ2t)dλ=ei(2πλx2π2cλ2t)\begin{aligned} \psi(x,t) & =\int_{-\infty}^{+\infty}\delta(\lambda'-\lambda)e^{i\left(\frac{2\pi}{\lambda'}x-\frac{2\pi^2c}{\lambda^{'2}}t\right)}d\lambda' \\ & =e^{i\left(\frac{2\pi}{\lambda}x-\frac{2\pi^2c}{\lambda^2}t\right)} \end{aligned}

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

ei(2πλx2π2cλ2t)2=+ei(2πλx2π2cλ2t)ei(2πλx2π2cλ2t)dx=+e0dx=+1dx=\begin{aligned} {\left|e^{i\left(\frac{2\pi}{\lambda}x-\frac{2\pi^2c}{\lambda^2}t\right)}\right|}^2 & =\int_{-\infty}^{+\infty}e^{-i\left(\frac{2\pi}{\lambda}x-\frac{2\pi^2c}{\lambda^2}t\right)}e^{i\left(\frac{2\pi}{\lambda}x-\frac{2\pi^2c}{\lambda^2}t\right)}\:dx \\ & =\int_{-\infty}^{+\infty}e^0\:dx \\ & =\int_{-\infty}^{+\infty}1dx \\ & =\infty \end{aligned}

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)\psi(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=mdx/dt\langle p\rangle=m\,d\langle x\rangle/dt, where x\langle x\rangle is the mean value of the random variable x. A few pages ago we wrote

ddxx=ψX˙ψ\frac{d}{dx}\langle x\rangle=\langle\psi|\dot{X}|\psi\rangle

where X˙=i[H,X]\dot{X}=i\left[H,X\right] is an operator we called the velocity operator. Let us see what form X˙\dot{X} takes with the H we have determined

X˙=i[H,X]=i[qcmV(X)+12cK2,X]=i[12cK2,X]=i[X,12cK2]=cK\begin{aligned} \dot{X} & =i[H,X] \\ & =i\left[\frac{q}{cm}V(X)+\frac{1}{2}cK^2,X\right] \\ & =i\left[\frac{1}{2}cK^2,X\right] \\ & =-i\left[X,\frac{1}{2}cK^2\right] \\ & =-cK \end{aligned}

So we can write the formula for p\langle p\rangle

p=mddxx=mψ(cK)ψ=ψ(cmK)ψ\begin{aligned} \langle p\rangle & =m\frac{d}{dx}\langle x\rangle \\ & =m\langle\psi|(-cK)|\psi\rangle \\ & =\langle\psi|(-cmK)|\psi\rangle \end{aligned}

Defining the momentum operator P=cmKP=-cmK we have p=ψPψ\langle p\rangle=\langle\psi|P|\psi\rangle.

Let us now compute the momentum for a probability amplitude with exponential distribution

ψ(x,t)=ei(2πλx2π2cλ2t)+ei(2πλx2π2cλ2t)ei(2πλx2π2cλ2t)dx=ei(2πλx2π2cλ2t)M\begin{aligned} \psi(x,t) & =\frac{e^{i\left(\frac{2\pi}{\lambda}x-\frac{2\pi^2c}{\lambda^2}t\right)}}{\sqrt{\int_{-\infty}^{+\infty}e^{-i\left(\frac{2\pi}{\lambda}x-\frac{2\pi^2c}{\lambda^2}t\right)}e^{i\left(\frac{2\pi}{\lambda}x-\frac{2\pi^2c}{\lambda^2}t\right)}dx}} \\ & =\frac{e^{i\left(\frac{2\pi}{\lambda}x-\frac{2\pi^2c}{\lambda^2}t\right)}}{M} \end{aligned}

where by M we have denoted the modulus of the non-normalised exponential distribution.

p=ψPψ=ψ(Pψ)=+ei(2πλx2π2cλ2t)M(icmddxei(2πλx2π2cλ2t)M)dx=+ei(2πλx2π2cλ2t)M(icmi2πλei(2πλx2π2cλ2t)M)dx=\begin{aligned} \langle p\rangle & =\langle\psi|P|\psi\rangle \\ & =\langle\psi|(P|\psi\rangle) \\ & =\int_{-\infty}^{+\infty}\frac{e^{-i\left(\frac{2\pi}{\lambda}x-\frac{2\pi^2c}{\lambda^2}t\right)}}{M}\left(-icm\frac{d}{dx}\frac{e^{i\left(\frac{2\pi}{\lambda}x-\frac{2\pi^2c}{\lambda^2}t\right)}}{M}\right)dx \\ & =\int_{-\infty}^{+\infty}\frac{e^{-i\left(\frac{2\pi}{\lambda}x-\frac{2\pi^2c}{\lambda^2}t\right)}}{M}\left(-icmi\frac{2\pi}{\lambda}\frac{e^{i\left(\frac{2\pi}{\lambda}x-\frac{2\pi^2c}{\lambda^2}t\right)}}{M}\right)dx= \end{aligned}
=cm2πλ+ei(2πλx2π2cλ2t)ei(2πλx2π2cλ2t)dxM2=cm2πλM2M2=cm2πλ\begin{aligned} & =cm\frac{2\pi}{\lambda}\frac{\int_{-\infty}^{+\infty}e^{-i\left(\frac{2\pi}{\lambda}x-\frac{2\pi^2c}{\lambda^2}t\right)}e^{i\left(\frac{2\pi}{\lambda}x-\frac{2\pi^2c}{\lambda^2}t\right)}dx}{M^2} \\ & =cm\frac{2\pi}{\lambda}\frac{M^2}{M^2} \\ & =cm\frac{2\pi}{\lambda} \end{aligned}

So we have found p=2πcm/λpλ=2πcm\langle p\rangle=2\pi cm/\lambda\Leftrightarrow\langle p\rangle\lambda=2\pi cm.

Recalling the De Broglie relation pλ=hp\lambda=h, we can conclude that it must be 2πcm=hc=h/2πm2\pi cm=h\Leftrightarrow c=h/2\pi m. For convenience one defines the reduced Planck constant =h/2π\hbar=h/2\pi, with which we write c=/mc=\hbar/m. Substituting this value we can finally give the Schrödinger equation in its definitive form

iddtψ(x,t)=qV(x)ψ(x,t)12md2dx2ψ(x,t)iddtψ(x,t)=qV(x)ψ(x,t)12m2d2dx2ψ(x,t)iddtψ(x,t)=(qV(X)+12mP2)ψ(x,t)iddtψ=(qV(X)+12mP2)ψ\begin{aligned} i\frac{d}{dt}\psi(x,t) & =\frac{q}{\hbar}V(x)\psi(x,t)-\frac{1}{2}\frac{\hbar}{m}\frac{d^2}{dx^2}\psi(x,t)\Leftrightarrow \\ i\hbar\frac{d}{dt}\psi(x,t) & =qV(x)\psi(x,t)-\frac{1}{2m}\hbar^2\frac{d^2}{dx^2}\psi(x,t)\Leftrightarrow \\ i\hbar\frac{d}{dt}\psi(x,t) & =\left(qV(X)+\frac{1}{2m}P^2\right)\psi(x,t)\Leftrightarrow \\ i\hbar\frac{d}{dt}|\psi\rangle & =\left(qV(X)+\frac{1}{2m}P^2\right)|\psi\rangle \end{aligned}

where we have used the definition P=cmK=K=iDP=-cmK=-\hbar K=-i\hbar D.

In textbooks of Quantum Mechanics one generally finds the Schrödinger equation written with the HH on the right-hand side

iddtψ=Hψi\hbar\frac{d}{dt}|\psi\rangle=H|\psi\rangle

with

H=qV(X)+12mP2H=qV(X)+\frac{1}{2m}P^2

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.

Italiano English