Chapter 6
Further Developments of the Theory
In card four we introduced the Schrödinger equation for a charged particle in an electric potential. This equation allows us to determine , that is the distribution of probability amplitudes as a function of time for the triple of measurable quantities . The central aim of the present card will be to determine the distribution of probability amplitudes for other observable quantities, in particular for momentum, angular momentum and energy.
To achieve this aim it is necessary to review and generalise the principles of Quantum Mechanics in the simplified version summarised below.
Principles of Quantum Mechanics.
For ease of reading we set them out in full, in the statements we shall work on and with the vectors understood to be normalised.
A physical system is characterised by its physical quantities, which can be measured.
When a quantity g is measured, several outcomes are possible, and each outcome has a certain probability of occurring. For every possible result there exists a state in which the measurement of g yields the value with certainty. Such a state is called an eigenstate of g with eigenvalue .
Any other state α can be considered as a superposition of the eigenstates of a quantity g and can be represented by a vector of complex numbers . Each complex number is associated with one of the possible values that the quantity g can take, The squared modulus of each of these complex numbers, for example αk, gives the probability that measuring the quantity g yields the particular value associated with the number considered.
In general, if the system is in a state α and a quantity is measured, the probability that is obtained is given by the squared modulus of the scalar product between the vector and the vector associated with the eigenstate of .
The time evolution of a state αt is continuous and follows a linear law
where is a matrix that depends on the system and on the “ambient conditions”. The matrix is called the time-evolution matrix. Finally, as long as the system is not observed, the sum of the squared moduli of all the components does not change during the evolution. From this last principle, together with linear superposition, follows the scalar-product conservation theorem: the time-evolution matrix leaves scalar products invariant
In the statement about measurement the very concept of eigenstate is introduced, that is a state such that if a measurement is performed a given value, called the eigenvalue, is obtained with certainty. In the case of a material particle the eigenstates, for example of the quantity x, are those represented by vectors of the form
indeed with this vector one obtains a probability distribution that is zero if , and is non-zero only if , so when a measurement of x is performed the value will necessarily be obtained. Another example is given by the state represented by the vector
in this case, if a measurement of x, y or z is performed, the values , and will be obtained with certainty; so what we have considered is simultaneously an eigenstate of the quantities x, y and z.
The principles we have given are in fact a simplified version, because it is assumed that, given a value , the eigenstate associated with is unique, which in general is not true; for example in the case of a material particle in three-dimensional space the eigenstates associated with an eigenvalue of x are infinite:
Therefore we cannot speak of the state , because it is not unique, but we can speak of the state ; indeed this state is uniquely determined and the corresponding probability distribution is
The principle of linear superposition must be generalised by saying that any state can be considered as the superposition of the “simultaneous eigenstates” of a certain set of physical quantities . The coefficients of this superposition will no longer have a single index but as many as there are observable quantities whose eigenstates are taken, so we will not have but , or in the continuous case we will not have but .
A set of physical quantities such that there exists a unique simultaneous eigenstate associated with the eigenvalues will be called “complete”. For example the three position variables x, y and z form a complete set, because given a triple of values and , there exists a unique simultaneous eigenstate associated with this triple.
The ket associated with the state may be denoted by the symbol
however we will prefer to commit an abuse of notation and use a more compact notation, denoting the ket by the symbol . (There is an abuse of notation because if we wanted to substitute numbers, for example , and , we would have the symbol in which values are indicated but the corresponding quantities are not.)
Now let us consider the probability rule and suppose, for example, that we want to compute the probability amplitude that, measuring x, y and z simultaneously on a particle in a state , the values and are obtained; then the sought probability amplitude is given by the scalar product and the probability is given by the squared modulus .
But if we want the probability that, measuring only x, is obtained? Can we write ?
No, because the symbol has no meaning; indeed the eigenvalue does not identify a unique eigenstate.
If we want the probability that, measuring only x, is obtained, then we must first compute the probability
and then compute the integral
At this point we write the generalised principles
A physical system is characterised by its physical quantities, which can be measured.
When a quantity g is measured, several outcomes are possible, and each outcome has a certain probability of occurring. For every possible result there exists a state in which the measurement of g yields the value with certainty. Such a state is called an eigenstate of g with eigenvalue .
2.bis In general, given a value , there may exist infinitely many eigenstates associated with this value. However it is always possible to find a complete set of variables such that, given the n values , there exists a unique simultaneous eigenstate associated with these values.
Any other state α can be considered as a superposition of the simultaneous eigenstates of a set of quantities , and can be represented by a vector of complex numbers with n indices . Each complex number is associated with one of the possible combinations of values that the n-tuple of quantities can take. The squared modulus of each of these complex numbers, for example , gives the probability that measuring the quantities simultaneously yields the particular set of values , those that identify the simultaneous eigenstate .
In general, if the system is in a state α and a complete set of quantities is measured simultaneously, the probability of obtaining is given by the squared modulus of the scalar product between the vector and the vector associated with the simultaneous eigenstate . That is .
The time evolution of a state αt is continuous and follows a linear law
where is a matrix that depends on the system and on the “ambient conditions”. The matrix is called the time-evolution matrix. Finally, as long as the system is not observed, the sum of the squared moduli of all the components does not change during the evolution. From this last principle, together with linear superposition, follows the scalar-product conservation theorem: the time-evolution matrix leaves scalar products invariant
The generalisation of these principles to the continuous case is immediate: it suffices to replace the index representation with the functional representation .
With the functional representation the state of a particle is described by a complex function of position: in this form we recover the premises stated in the introduction, to which is added agreement with Newton’s mechanics — the requirement that in card four allowed us to derive the Schrödinger equation.
We observe that two kets and are orthogonal, unless they have all values equal . Indeed, if we suppose that one of the values, for example the first, is different , then the probability of obtaining the values in the state is zero, hence:
If the kets , besides being orthogonal, are also normalised, then the components of a generic ket in the basis can be written with the scalar product , so we will have
These identities must hold for every choice of the ket , so we can deduce the formula
where by I we have denoted the identity matrix. This formula will be extremely useful on many future occasions.
Now suppose we want to compute the distribution of probability amplitudes associated with physical quantities other than position, for example momentum . (From now on, symbols with an overbar will denote vector quantities.)
Probability amplitudes for momentum.
If we know the state of a material particle, and we know the distribution of probability amplitudes for the position variable , how can we determine the distribution of probability amplitudes for the quantity momentum?
If we knew the eigenstates of momentum then we could apply the fourth postulate, but we do not know these eigenstates and we must determine them.
To find the solution to our problem we must take the other end of the thread, that is we suppose we know what the eigenstates of momentum are, and from these we try to compute a value that we already know by another route, so that we can have a link between the things we know and those we have not yet determined.
Suppose for example that we want to compute the mean value of the component along x of the momentum , assuming we know the state of the system and the eigenstates of momentum.
To keep generality we cannot assume that the quantity by itself constitutes a complete set, so to “complete the set” we introduce a set of auxiliary quantities that we will denote briefly by a single contracted symbol . To represent an eigenstate associated with an eigenvalue we will use the ket , where is a multi-index relative to the set of auxiliary quantities .
(Note that it would be wrong to write the ket , because it is not possible to identify a state by giving only the value taken by the quantity ).
On the basis of these notations we can write the probability:
where we have denoted the probability by the symbol so as not to create confusion with the p of momentum.
On the basis of this formula we can compute the mean value:
but we also know that
where is the momentum operator that we defined in the fourth card. On the basis of these two equalities we can write
since this equation is true for every , we can deduce that
This formula shows us that the operator “contains within itself” the eigenstates we are looking for , so we must find a way to extract them.
Let us try to multiply the operator by an eigenstate :
Observing that is zero if , within the integral we can replace the “central” term with .
since are the components of the vector in the basis , the integral is nothing but the combination that expresses the vector in the basis , hence we have found
that is, the state vectors are “eigenvectors” of the operator . This is the reason why the eigenstates are so called.
At this point we have determined a very clear picture: with the observable quantity is associated an operator , the eigenstates of the quantity are associated with the eigenvectors of the operator , while the values that the quantity can take are the eigenvalues of the operator .
If we solve the eigenvalue problem
we determine the eigenstates of the operator and, applying postulate four, we manage to solve our problem, that is we manage to determine the probability distribution for momentum.
Now we generalise the results obtained for momentum with the following very important theorem:
With every physical quantity is associated a Hermitian operator such that:
The mean value of the quantity , when the system is in a state represented by the ket , is given by the formula ;
The eigenvalues of the operator are all the possible values that the quantity can take, and the eigenvectors associated with an eigenvalue represent the eigenstates of the quantity in which the value is obtained with certainty.
Proof:
Let us consider a quantity , let be the possible values of the quantity , and let be the kets representing the eigenstates of the quantity and of the set of auxiliary quantities ; then the operator
is Hermitian and satisfies the two points of the statement. To verify it, one need only follow exactly the same steps that we followed for the operator .
Hermiticity is immediate: conjugating and transposing the integral swaps the bra and the ket and conjugates the eigenvalue
and the last step holds because the eigenvalues are real numbers: they are the results of a measurement.
Compatible quantities and incompatible quantities.
Suppose we want to perform a simultaneous measurement of and of . After such a measurement the system should settle into a simultaneous eigenstate of the quantities and , and the resulting state ket should be an eigenket of the operators and , but this is impossible. Indeed, denoting by a hypothetical eigenstate of the quantities , and of a suitable set of auxiliary quantities , we have
from which
but we know that , hence we have
We conclude that the simultaneous eigenket of the operators and cannot exist because it would necessarily be zero. Therefore it is not possible to perform a precise and simultaneous measurement of the quantities and , whereas it is perfectly possible in other cases, for example with the quantities , .
Before proceeding with the study, let us generalise to the continuous case the formula we proved at the end of the first paragraph:
if is a complete set of observable quantities, and is the orthonormal set of the “eigenkets” associated with its eigenstates, then we have
For clarity we repeat the proof: if we multiply the integral on the left by a generic ket we have
since are the components of the vector in the basis , we have
which, having to be true for every , proves the statement.
Angular momentum.
In Classical Physics the angular momentum with respect to a pole O is defined by the formula
In the scheme of Quantum Mechanics the angular-momentum quantity must be consistent with the classical definition.
Hence for the mean values we must have:
To simplify the work it is convenient to consider the individual components; moreover, to avoid burdening the notation, we will omit the subscript O.
For the components we have
Let us consider the component . To have agreement between Classical Mechanics and Quantum Mechanics we must have:
Let us focus attention on the term
We denote by an eigenket representing a simultaneous eigenstate of the quantities , and of the set of auxiliary quantities .
This eigenket exists because x and py are compatible quantities: it is the very example with which the previous paragraph closed. From the same commutation a second fact follows, one we shall need: since XPy = PyX, the product does not depend on the order of the factors and is hermitian, as the operator of a physical quantity must be. For xpx neither of the two would have held, and the construction would have called for a further device.
Using these kets we have
integrating with respect to the variables we have
Hence for the mean value we have
recalling that we can write
since
we have the final formula
The steps are analogous for all the other terms, so we obtain:
Thus with the quantity , for example, we associate the operator , and analogously for the others.
At this point we have found an operator that gives us a formula to compute the mean value of angular momentum in the formalism of Quantum Mechanics and that agrees with the formula of Classical Mechanics.
This same operator can give us all the possible values that angular momentum can take and the corresponding eigenstates; to obtain this information it suffices to solve the eigenvalue problem
Energy.
As the last quantity of study we consider energy.
In the formalism of Classical Mechanics, for a charged particle in an electric potential, we have the energy
so we must look for an operator that gives us a mean value consistent with this classical formula
But we already have such an operator, namely H, indeed
Therefore, if we want to find the values that energy can take, and the eigenstates into which the particle settles after a measurement of energy, then we must solve the following eigenvalue problem:
Energy levels for the hydrogen atom.
The hydrogen atom consists of a nucleus with charge equal and opposite to that of the electron, and a single orbiting electron.
To determine the motion of the electron around the nucleus one must solve the Schrödinger equation, whereas if one wants to determine the values that the energy of the atom can take, it suffices to solve the eigenvalue problem we posed in the previous paragraph in the case where we have a Coulomb potential , where e is the charge of the nucleus, equal and opposite to the charge q of the electron appearing in H.
Energy can take only discrete values given by the formula