The variational principle in quantum mechanics, lecture 3

1. Lecture 3: The many body problem

In this lecture the many body problem is introduced in the context of first and second quantisation. The lecture notes can also be found here in pdf format.

2. The Schrödinger equation

We consider {N} particles; in many cases of interest in this course the hamiltonian for the particles takes the form

\displaystyle H = \sum_{k=1}^{N} T(\mathbf{x}_k) + \frac12\sum_{k\not=l=1}^N V(\mathbf{x}_k,\mathbf{x}_l), \ \ \ \ \ (1)

where {\mathbf{x}_k} is the position of the {k}th particle, {T} is the kinetic energy, and {V} is the potential energy of interaction, counted once, between the particles. (It is often convenient to assume that the position variable {\mathbf{x}_k} includes not only the particle’s coordinates in {\mathbb{R}^3}, but also its internal configurations such as spin, etc.) The time-independent Schrödinger equation then reads

\displaystyle i\hbar \frac{\partial}{\partial t}\Psi(\mathbf{x}_1, \mathbf{x}_2, \ldots, \mathbf{x}_N, t) = H\Psi(\mathbf{x}_1, \mathbf{x}_2, \ldots, \mathbf{x}_N, t), \ \ \ \ \ (2)

together with some appropriate choice of boundary conditions for the wavefunction.

Suppose that {\psi_{j}(\mathbf{x})}, {j = 1, 2, \ldots}, is a complete set of orthonormalised single-particle wavefunctions. For example, {\psi_{j_k}(\mathbf{x}_k)} could be the eigenfunctions of the harmonic oscillator. Then any product {\psi_{j_1}(\mathbf{x}_1)\psi_{j_2}(\mathbf{x}_2)\cdots \psi_{j_N}(\mathbf{x}_N)} is a valid many-body wavefunction. Further, these products are complete, in that any many-body wavefunction can be expressed as a linear combination of them:

\displaystyle \Psi(\mathbf{x}_1, \mathbf{x}_2, \ldots, \mathbf{x}_N, t) = \sum_{j_1, j_2, \ldots, j_N} C(j_1, j_2, \ldots, j_N,t)\psi_{j_1}(\mathbf{x}_1)\psi_{j_2}(\mathbf{x}_2)\cdots \psi_{j_N}(\mathbf{x}_N). \ \ \ \ \ (3)

(This is a consequence of the tensor product rule. That this should be true follows from general information-theoretic considerations emerging from the assumption that it is possible to perform tomography of the entire wavefunction by separately measuring the particles.)

Substituting (3) into the Schrödinger equation (2) yields

\displaystyle i\hbar \frac{\partial}{\partial t} C(j_1, j_2, \ldots, j_N,t) = \sum_{k=1}^N \sum_{l} \int d\mathbf{x}_k \overline{\psi}_{j_k}(\mathbf{x}_k)T(\mathbf{x}_k)\psi_l(\mathbf{x}_k) C(j_1, \ldots, l, \ldots j_N,t) \ \ \ \ \ (4)

\displaystyle +\frac12 \sum_{k \not= k'}^N \sum_l\sum_m \int d\mathbf{x}_kd\mathbf{x}_{k'} \overline{\psi}_{j_k}(\mathbf{x}_k)\overline{\psi}_{j_{k'}}(\mathbf{x}_{k'}) V(\mathbf{x}_k, \mathbf{x}_{k'}) \psi_l(\mathbf{x}_k)\psi_m(\mathbf{x}_{k'})\times \ \ \ \ \ (5)

\displaystyle C(j_1, \ldots, l, \ldots, m, \ldots j_N,t). \ \ \ \ \ (6)

We now accommodate the indistinguishability of the particles into the wavefunction by demanding that an exchange of particles cannot lead to an observable consequence. This means that

\displaystyle \Psi(\ldots, \mathbf{x}_j, \ldots, \mathbf{x}_k, \ldots) = e^{i\phi_{jk}}\Psi(\ldots, \mathbf{x}_k, \ldots, \mathbf{x}_j, \ldots), \ \ \ \ \ (7)

i.e., the wavefunction must be the same up to a phase. Since a further exchange of particles {j} and {k} yields the original wavefunction the phase {e^{i\phi_{jk}} = \pm1} in order to ensure that {\Psi} is not multiple valued. (In geometries with nontrivial topologies, or in two dimensions the wavefunction may possibly be multiple valued, yielding the possibility of anyons, and other exotic particles.) A necessary and sufficient condition to ensure the (anti-)symmetry of the wavefunction is that the coefficients in (3) satisfy

\displaystyle C(\ldots, j_k, \ldots, j_l, \ldots) = \pm C(\ldots, j_l, \ldots, j_k, \ldots) \ \ \ \ \ (8)

Exercise: prove this.

2.1. Bosons

The particles described by a wavefunction {\Psi} that is completely symmetric under interchange are known as bosons. The symmetry of the coefficients allows us to reorder the indices of the coefficient {C} in the summation (3). Suppose the state {1} occurs {n_1} times, and the state {2} occurs {n_2} times, etc. Then all such terms with the same numbers {n_k} have the same coefficient. It is thus convenient to rename the coefficient function

\displaystyle \overline{C}(n_1, n_2, \ldots, n_k, \ldots, t) \equiv C(\underbrace{11\cdots 1}_{n_1}\underbrace{22\cdots 2}_{n_2}\cdots, t) \ \ \ \ \ (9)

We now define another coefficient function

\displaystyle f(n_1, n_2, \ldots, n_k,\ldots, t) \equiv \sqrt{\frac{N!}{n_1!n_2!\cdots}}\overline{C}(n_1, n_2, \ldots, n_k, \ldots, t). \ \ \ \ \ (10)

The condition that the wavefunction {\Psi} is normalised becomes

\displaystyle \sum_{n_1, n_2, \ldots}|f(n_1, n_2, \ldots, n_k,\ldots, t)|^2 =1, \ \ \ \ \ (11)

where the coefficients {n_j} must satisfy

\displaystyle \sum_{j=1}^\infty n_j = N. \ \ \ \ \ (12)

Exercise: prove this.

We can now use the {f} coefficients to rewrite the original wavefunction in terms of a new convenient complete orthonormal basis

\displaystyle \Psi(\mathbf{x}_1, \mathbf{x}_2, \ldots, \mathbf{x}_N, t) = \sum_{\substack{n_1, n_2, \ldots, n_k, \ldots \\ \sum_k n_k = N}} f(n_1, n_2, \ldots, t) \Phi_{n_1n_2\cdots n_k\cdots}(\mathbf{x}_1, \mathbf{x}_2, \ldots, \mathbf{x}_N), \ \ \ \ \ (13)

where

\displaystyle \Phi_{n_1n_2\cdots n_k\cdots}(\mathbf{x}_1, \mathbf{x}_2, \ldots, \mathbf{x}_N) = \sqrt{\frac{n_1!n_2!\cdots}{N!}}\sum_{\substack{j_1, j_2, \ldots, j_N \\ (n_1, n_2, \ldots, )}}\psi_{j_1}(\mathbf{x}_1)\psi_{j_2}(\mathbf{x}_2)\cdots \psi_{j_N}(\mathbf{x}_N), \ \ \ \ \ (14)

and the summation is over all indices {j_k} with the given pattern {(n_1, n_2, \ldots, )} of {1}s, {2}s, etc. Note that the functions {\Phi_{n_1n_2\cdots n_k\cdots}(\mathbf{x}_1, \mathbf{x}_2, \ldots, \mathbf{x}_N)} are completely symmetrised.

Exercise: prove that the functions {\Phi_{n_1n_2\cdots n_k\cdots}(\mathbf{x}_1, \mathbf{x}_2, \ldots, \mathbf{x}_N)} form a symmetrised complete orthonormal set.

Here is an example of a {\Phi_{n_1n_2\cdots n_k\cdots}} function:

\displaystyle \Phi_{210\cdots 0\cdots }(\mathbf{x}_1\mathbf{x}_2\mathbf{x}_3) = \frac{1}{\sqrt3}(\psi_1(\mathbf{x}_1)\psi_1(\mathbf{x}_2)\psi_2(\mathbf{x}_3) + \psi_1(\mathbf{x}_1)\psi_2(\mathbf{x}_2)\psi_1(\mathbf{x}_3) + \psi_2(\mathbf{x}_1)\psi_1(\mathbf{x}_2)\psi_1(\mathbf{x}_3)). \ \ \ \ \ (15)

Substituting the expansion (13) into the Schrödinger equation (2) leads to

\displaystyle i\hbar \frac{\partial}{\partial t} f(n_1, n_2, \ldots, n_k,\ldots, t) = \sum_{j} \langle j|T|j\rangle n_j f(n_1, \ldots, n_k, \ldots n_k,\ldots, t) + \ \ \ \ \ (16)

\displaystyle \sum_{j\not=j'} \langle j|T|j'\rangle \sqrt{n_j(n_{j'}+1)} f(n_1, \ldots, n_j-1, \ldots, n_{j'}+1, \ldots n_k,\ldots, t) + \ \ \ \ \ (17)

\displaystyle \frac12\sum_{j\not=j' \not= k \not= k'} \langle jj'|V|kk'\rangle \sqrt{n_jn_{j'}(n_{k}+1)(n_{k'}+1)}\times \ \ \ \ \ (18)

\displaystyle f(n_1, \ldots, n_j-1, \ldots, n_{j'}-1, \ldots, n_k+1,\ldots,n_{k'}+1, \ldots, t) + {etc.}, \ \ \ \ \ (19)

where there is an additional term for all possible sets of occupation numbers so that two particles are removed, multiplied by an overall factor {\langle jj'|V|kk'\rangle\times \sqrt{product of ns}}, and then subsequently added back in at different places. This expression appears very complicated, however, there is a way to write it in an equivalent form which is much more compact.

2.2. Fermions

If a minus sign is chosen in (7) then the {C}s are antisymmetric under the exchange of any two particles:

\displaystyle C(\ldots, j_k, \ldots, j_l, \ldots) = - C(\ldots, j_l, \ldots, j_k, \ldots), \ \ \ \ \ (20)

which shows that {j_l} must be different from {j_k} or else the coefficient vanishes. This, in turn, shows that the occupation numbers {n_l} can only be {0} or {1}. Any coefficients with the same states occupied are equal up to a minus sign, allowing us to define a new coefficient {\overline{C}}

\displaystyle \overline{C}(n_1, n_2, \ldots, t) = C(\cdots j_k < j_l < j_m \cdots, t), \ \ \ \ \ (21)

where all of the numbers {j_1, j_2, \ldots} are first arranged in increasing order.

Exactly as in the bosonic case the many particle wavefunction {\Psi} can be expanded as

\displaystyle \Psi(\mathbf{x}_1, \mathbf{x}_2, \ldots, \mathbf{x}_N, t) = \sum_{\substack{n_1, n_2, \ldots, n_k, \ldots \\ \sum_k n_k = N}} f(n_1, n_2, \ldots, t) \Phi_{n_1n_2\cdots n_k\cdots}(\mathbf{x}_1, \mathbf{x}_2, \ldots, \mathbf{x}_N), \ \ \ \ \ (22)

where now

\displaystyle \Phi_{n_1n_2\cdots n_k\cdots}(\mathbf{x}_1, \mathbf{x}_2, \ldots, \mathbf{x}_N) = \sqrt{\frac{n_1!n_2!\cdots}{N!}} \begin{vmatrix} \psi_{j_1}(\mathbf{x}_1) & \psi_{j_1}(\mathbf{x}_2) & \cdots & \psi_{j_1}(\mathbf{x}_N) \\ \vdots & & \ddots & \vdots \\ \psi_{j_N}(\mathbf{x}_1) & \psi_{j_N}(\mathbf{x}_2) & \cdots & \psi_{j_N}(\mathbf{x}_N) \end{vmatrix}, \ \ \ \ \ (23)

and {j_1 < j_2 <\cdots <j_N}. These Slater determinants form a complete set of orthonormal antisymmetric wavefunctions.

We postpone the task of writing out the Schrödinger equation until next section where we’ll develop a much more compact representation.

3. Many particle hilbert space; creation and annihilation operators

In this section we introduce a new orthonormal basis for hilbert space describing the number of particles in each state. This must be initially understood as an abstract construction until such time we can show it is equivalent to the first-quantised treatments of the previous section. The basis we introduce is denoted

\displaystyle |n_1n_2\cdots n_k \cdots\rangle, \quad n_j\in \mathbb{Z}^+, \ \ \ \ \ (24)

which is meant to mean that {n_j} particles are in the single-particle eigenstate {\psi_j}. This basis is demanded to be complete and orthonormal, meaning that

\displaystyle \langle n_1'n_2'\cdots n_k' \cdots|n_1n_2\cdots n_k \cdots\rangle = \delta_{n_1'n_1}\delta_{n_2'n_2}\cdots \ \ \ \ \ (25)

and

\displaystyle \sum_{n_1n_2\cdots} |n_1n_2\cdots n_k \cdots\rangle\langle n_1n_2\cdots n_k \cdots| = \mathbb{I}. \ \ \ \ \ (26)

3.1. Bosons

In the bosonic case, associated with this occupation number basis, we introduce the annihilation and creation operators {b_k, b_k^\dag}, satisfying the canonical commutation relations (CCR) = \delta_{jk},\quad [b_j, b_k] = [b_j^\dag, b_k^\dag] = 0. These operators are taken to act in the standard way on the number basis, e.g.,

\displaystyle b_k^\dag|n_1n_2\cdots n_k \cdots\rangle = \sqrt{n_j+1}|n_1n_2\cdots n_k+1 \cdots\rangle, \ \ \ \ \ (27)

etc. The mode number operators {n_k} are defined to be

\displaystyle n_k = b_k^\dag b_k. \ \ \ \ \ (28)

We now use the occupation number basis to rewrite the Schrödinger equation. Form the following state

\displaystyle |\Psi(t)\rangle = \sum_{n_1 n_2 \cdots} f(n_1, n_2, \ldots, n_k,\ldots, t)|n_1n_2\cdots n_k \cdots\rangle, \ \ \ \ \ (29)

where the {f}s are taken to be the expansion coefficients of (13) which satisfy the coupled differential equations (16). This state vector in our abstract hilbert space obeys the differential equation

\displaystyle i\hbar \frac{\partial}{\partial t}|\Psi(t)\rangle = \sum_{n_1 n_2 \cdots} i\hbar \frac{\partial}{\partial t}f(n_1, n_2, \ldots, n_k,\ldots, t)|n_1n_2\cdots n_k \cdots\rangle \ \ \ \ \ (30)

Relabelling dummy indices, using the properties of CCR, and rewriting the appropriate operations in terms of the annihiliation and creation operators leads us to the consequence that the abstract state vector {|\Psi(t)\rangle} satisfies the Schrödinger equation

\displaystyle i\hbar \frac{\partial}{\partial t}|\Psi(t)\rangle = \widehat{H}|\Psi(t)\rangle, \ \ \ \ \ (31)

where the operator {\widehat{H}} is given by

\displaystyle \widehat{H} = \sum_{j,k} b_j^\dag \langle j|T|k\rangle b_k + \frac12 \sum_{j,k,l,m} b_j^\dag b_k^\dag \langle jk|V|lm\rangle b_l b_m. \ \ \ \ \ (32)

These equations restate the Schrödinger equation in second quantisation. All the statistics and operators properties are expressed via the CCR. The physical problem is unchanged by the new formulation, and the coefficients express the connection between first and second quantisations. Thus any solution to the Schrödinger equation in first quantisation yields a solution in second quantisation and vice versa.

3.2. Fermions

In the fermionic case we introduce the annihilation and creation operators {a_k, a_k^\dag}, satisfying the canonical anticommutation relations (CAR)

\displaystyle \{a_j, a_k^\dag\} = \delta_{jk},\quad \{a_j, a_k\} = \{a_j^\dag, a_k^\dag\} = 0. \ \ \ \ \ (33)

The action of these operators on the vacuum state {|0\rangle} is expressed by

\displaystyle |n_1n_2\cdots n_k \cdots\rangle = (a_1^\dag)^{n_1}(a_2^\dag)^{n_2}\cdots (a_k^\dag)^{n_k} \cdots |0\rangle. \ \ \ \ \ (34)

If we now introduce, as before, the abstract state vector {|\Psi(t)\rangle}

\displaystyle |\Psi(t)\rangle = \sum_{n_1 n_2 \cdots} f(n_1, n_2, \ldots, n_k,\ldots, t)|n_1n_2\cdots n_k \cdots\rangle, \ \ \ \ \ (35)

where the {f}s are taken to be the expansion coefficients of (22) obeying the coupled differential equations coming from substitution into the Schrödinger equation, then we find that

\displaystyle i\hbar \frac{\partial}{\partial t}|\Psi(t)\rangle = \widehat{H}|\Psi(t)\rangle, \ \ \ \ \ (36)

where the operator {\widehat{H}} is given by

\displaystyle \widehat{H} = \sum_{j,k} a_j^\dag \langle j|T|k\rangle a_k + \frac12 \sum_{j,k,l,m} a_j^\dag a_k^\dag \langle jk|V|lm\rangle a_l a_m. \ \ \ \ \ (37)

Advertisements

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s

%d bloggers like this: