Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                

The Fundamental Postulates of Quantum Mechanics

Download as pdf or txt
Download as pdf or txt
You are on page 1of 11

2 The Fundamental Postulates of Quantum Mechanics

Quantum Mechanics can be formulated in terms of a few postulates (i.e., theoretical principles
based on experimental observations). The goal of this section is to introduce such principles, to-
gether with some mathematical concepts that are necessary for that purpose. To keep the notation
as simple as possible, expressions are written for a 1-dimensional system. The generalization to
many dimensions is usually straightforward.
Postulate 1 : Any system in a pure state can be described by a wave-function, (t, x), where t is
a parameter representing the time and x represents the coordinates of the system. Such a function
(t, x) must be continuous, single valued and square integrable.
Note 1: As a consequence of Postulate 4, we will see that P(t, x) =

(t, x)(t, x)dx represents


the probability of nding the system between x and x + dx at time t.
Postulate 2 : Any observable (i.e., any measurable property of the system) can be described by
an operator. The operator must be linear and hermitian.
What is an operator ? What is a linear operator ? What is a hermitian operator?
Denition 1: An operator

O is a mathematical entity that transforms a function f(x) into another
function g(x) as follows, R4(96)

Of (x) = g(x),
where f and g are functions of x.
Denition 2: An operator

O that represents an observable O is obtained by rst writing the clas-
sical expression of such observable in Cartesian coordinates (e.g., O = O(x, p)) and then substi-
tuting the coordinate x in such expression by the coordinate operator x as well as the momentum p
by the momentum operator p = i/x.
Denition 3: An operator

O is linear if and only if (iff),

O(af(x) + bg(x)) = a

Of(x) + b

Og(x),
where a and b are constants.
Denition 4: An operator

O is hermitian iff,
_
dx

n
(x)

O
m
(x) =
__
dx

m
(x)

O
n
(x)
_

,
where the asterisk represents the complex conjugate.
Denition 5: A function
n
(x) is an eigenfunction of

O iff,

O
n
(x) = O
n

n
(x),
7
where O
n
is a number called eigenvalue.
Property 1: The eigenvalues of a hermitian operator are real.
Proof: Using Denition 4, we obtain
_
dx

n
(x)

O
n
(x)
__
dx

n
(x)

O
n
(x)
_

= 0,
therefore,
[O
n
O

n
]
_
dx
n
(x)

n
(x) = 0.
Since
n
(x) are square integrable functions, then,
O
n
= O

n
.
Property 2: Different eigenfunctions of a hermitian operator (i.e., eigenfunctions with different
eigenvalues) are orthogonal (i.e., the scalar product of two different eigenfunctions is equal to
zero). Mathematically, if

O
n
= O
n

n
, and

O
m
= O
m

m
, with O
n
= O
m
, then
_
dx

m
= 0.
Proof:
_
dx

O
n

__
dx

O
m
_

= 0,
and
[O
n
O
m
]
_
dx

n
= 0.
Since O
n
= O
m
, then
_
dx

n
= 0.
Postulate 3 : The only possible experimental results of a measurement of an observable are the
eigenvalues of the operator that corresponds to such observable.
Postulate 4 : The average value of many measurements of an observable O, when the system is
described by (x) as equal to the expectation value

O, which is dened as follows,

O =
_
dx(x)


O(x)
_
dx(x)

(x)
.
Postulate 5 :The evolution of (x, t) in time is described by the time-dependent Schr odinger
equation:
i
(x, t)
t
=

H(x, t),
where

H =

2
2m

2
x
2
+

V (x), is the operator associated with the total energy of the system, E =
p
2
2m
+ V (x).
8
Expansion Postulate : R5(15), R4(97)
The eigenfunctions of a linear and hermitian operator form a complete basis set. Therefore,
any function (x) that is continuous, single valued, and square integrable can be expanded as a
linear combination of eigenfunctions
n
(x) of a linear and hermitian operator

A as follows,
(x) =

j
C
j

j
(x),
where C
j
are numbers (e.g., complex numbers) called expansion coefcients.
Note that

A =

j
C
j
C

j
a
j
, when (x) =

j
C
j

j
(x),

A
j
(x) = a
j

j
(x), and
_
dx
j
(x)

k
(x) =
jk
.
This is because the eigenvalues a
j
are the only possible experimental results of measurements of

A
(according to Postulate 3), and the expectation value

A is the average value of many measurements
of

A when the system is described by the expansion (x) =

j
C
j

j
(x) (Postulate 4). Therefore,
the product C
j
C

j
can be interpreted as the probability weight associated with eigenvalue a
j
(i.e.,
the probability that the outcome of an observation of

A will be a
j
).
Hilbert-Space
According to the Expansion Postulate (together with Postulate 1), the state of a systemdescribed
by the function (x) can be expanded as a linear combination of eigenfunctions
j
(x) of a linear
and hermitian operator (e.g., (x) = C
1

1
(x) + C
2

2
(x) + . . .). Usually, the space dened by
these eigenfunctions (i.e., functions that are continuous, single valued and square integrable) has
an innite number of dimensions. Such space is called Hilbert-Space in honor to the mathematician
Hilbert who did pioneer work in spaces of innite dimensionality.R4(94)
A representation of (x) in such space of functions corresponds to a vector-function,
6
-

.. .. .. .. .. .. .. .. .. .. .. .. .. .. ..
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
(x)
C
2

2
(x)
C
1

1
(x)
where C
1
and C
2
are the projections of (x) along
1
(x) and
2
(x), respectively. All other
components are omitted from the representation because they are orthogonal to the plane dened
by
1
(x) and
2
(x).
9
3 Continuous Representations
Certain operators have a continuous spectrum of eigenvalues. For example, the coordinate operator
is one such operator since it satises the equation x (x
0
x) = x
0
(x
0
x), where the eigenvalues
x
0
dene a continuum. Delta functions (x
0
x) thus dene a continuous representation (the so-
called coordinate representation) for which
(x) =
_
dx
0
C
x
0
(x
0
x),
where C
x
0
= (x
0
), since
_
dx(x )(x) =
_
dx
_
dC

(x )( x) = ().
When combined with postulates 3 and 4, the denition of the expansion coefcients C
x
0
=
(x
0
) implies that the probability of observing the system with coordinate eigenvalues between x
0
and x
0
+ dx
0
is P(x
0
) = C
x
0
C

x
0
dx
0
= (x
0
)(x
0
)

dx
0
(see Note 1).
In general, eigenstates (, x) with a continuum spectrum of eigenvalues dene continuous
representations,
(x) =
_
dC

(, x),
with C

=
_
dx(, x)

(x). Delta functions and the plane waves are simply two particular
examples of basis sets with continuum spectra.
Note 2: According to the Expansion Postulate, a function (x) is uniquely and completely dened
by the coefcients C
j
, associated with its expansion in a complete set of eigenfunctions
j
(x).
However, the coefcients of such expansion would be different if the same basis functions
j
depended on different coordinates (e.g.,
j
(x

) with x

= x). In order to eliminate such ambiguity


in the description it is necessary to introduce the concept of vector-ket space.R4(108)
4 Vector Space
Vector-Ket Space : The vector-ket space is introduced to represent states in a convenient space
of vectors |
j
>, instead of working in the space of functions
j
(x). The main difference is that
the coordinate dependence does not need to be specied when working in the vector-ket space.
According to such representation, function (x) is the component of vector | > associated with
index x (vide infra). Therefore, for any function (x) =

j
C
j

j
(x), we can dene a ket-vector
| > such that,
| >=

j
C
j
|
j
>.
The representation of | > in space is,
10
6
-

.. .. .. .. .. .. .. .. .. .. .. .. .. .. .. .. .. .. .. ..
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
Ket-Space
C
2
|
2
>
C
1
|
1
>
| >
Note that the expansion coefcients C
j
depend only on the kets |
j
> and not on any specic
vector component. Therefore, the ambiguity mentioned above is removed.
In order to learn how to operate with kets we need to introduce the bra space and the concept of
linear functional. After doing so, this section will be concluded with the description of Postulate
5, and the Continuity Equation.
Linear functionals
A functional is a mathematical operation that transforms a function (x) into a number. This
concept is extended to the vector-ket space , as an operation that transforms a vector-ket into a
number as follows,
((x)) = n, or (| >) = n,
where n is a number. A linear functional satises the following equation,
(a(x) + bf(x)) = a((x)) + b(f(x)),
where a and b are constants.
Example: The scalar product,R4(110)
n =
_
dx

(x)(x),
is an example of a linear functional, since such an operation transforms a function (x) into a
number n. In order to introduce the scalar product of kets, we need to introduce the bra-space.
Bra Space

: For every ket | > we dene a linear functional < |, called bra-vector, as follows:
< |(| >) =
_
dx

(x)(x).
Note that functional < | is linear because the scalar product is a linear functional. Therefore,
< |(a| > +b|f >) = a < |(| >) + b < |(|f >).
11
Note: For convenience, we will omit parenthesis so that the notation < |(| >) will be equivalent
to < || >. Furthermore, whenever we nd two bars next to each other we can merge them into
a single one without changing the meaning of the expression. Therefore,
< || >=< | > .
The space of bra-vectors is called dual space

simply because given a ket | >=

j
C
j
|
j
>,
the corresponding bra-vector is < | =

j
C

j
<
j
|. In analogy to the ket-space, a bra-vector
< | is represented in space

according to the following diagram:


6
-

.. .. .. .. .. .. .. .. .. .. .. .. .. .. .. .. .. .. .. ..
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
Dual-Space

2
<
2
|
C

1
<
1
|
< |
where C

j
is the projection of < | along <
j
|.
Projection Operator and Closure Relation
Given a ket | > in a certain basis set |
j
>,
| >=

j
C
j
|
j
>, (1)
where <
k
|
j
>=
kj
,
C
j
=<
j
| > . (2)
Substituting Eq. (2) into Eq.(1), we obtain
| >=

j
|
j
><
j
| > . (3)
From Eq.(3), it is obvious that

j
|
j
><
j
| =

1, Closure Relation
where

1 is the identity operator that transforms any ket, or function, into itself.
12
Note that

P
j
= |
j
><
j
| is an operator that transforms any vector | > into a vector pointing
in the direction of |
j
> with magnitude <
j
| >. The operator

P
j
is called the Projection
Operator. It projects |
j
> according to,

P
j
| >=<
j
| > |
j
> .
Note that

P
2
j
=

P
j
, where

P
2
j
=

P
j

P
j
. This is true simply because <
j
|
j
>= 1.
4.1 Exercise 1
Prove that
i


P
j
t
= [

H,

P
j
],
where [

H,

P
j
] =

H

P
j


P
j

H.
Continuity Equation
4.2 Exercise 2
Prove that
(

(x, t)(x, t))


t
+

x
j(x, t) = 0,
where
j(x, t) =

2mi
_

(x, t)
(x, t)
x
(x, t)

(x, t)
x
_
.
In general, for higher dimensional problems, the change in time of probability density, (x, t) =

(x, t)(x, t), is equal to minus the divergence of the probability ux j,


(x, t)
t
= j.
This is the so-called Continuity Equation.
Note: Remember that given a vector eld j, e.g., j(x, y, z) = j
1
(x, y, z)

i+j
2
(x, y, z)

j+j
3
(x, y, z)

k,
the divergence of j is dened as the dot product of the del operator = (

x
,

y
,

z
) and vector j
as follows:
j =
j
1
x
+
j
2
y
+
j
3
z
.
13
5 Stationary States
Stationary states are states for which the probability density (x, t) =

(x, t)(x, t) is constant


at all times (i.e., states for which
(x,t)
t
= 0, and therefore j = 0). In this section we will show
that if (x, t) is factorizable according to (x, t) = (x)f(t), then (x, t) is a stationary state.
Substituting (x, t) in the time dependent Schr odinger equation we obtain:
(x)i
f(t)
t
= f(t)

2
2m

2
(x)
x
2
+ f(t)V (x)(x),
and dividing both sides by f(t)(x) we obtain:
i
f(t)
f(t)
t
=

2
2m(x)

2
(x)
x
2
+ V (x). (4)
Since the right hand side (r.h.s) of Eq. (4) can only be a function of x and the l.h.s. can only be a
function of t for any x and t, and both functions have to be equal to each other, then such function
must be equal to a constant E. Mathematically,
i
f(t)
f(t)
t
= E f(t) = f(0)exp(
i

Et),


2
2m(x)

2
(x)
x
2
+ V (x) = E

H(x) = E(x) .
The boxed equation is called the time independent Schr odinger equation.
Furthermore, since f(0) is a constant, function

(x) = f(0)(x) also satises the time independent
Schr odinger equation as follows,

(x) = E

(x) , (5)
and
(x, t) =

(x)exp(
i

Et).
Eq. (5) indicates that E is the eigenvalue of

H associated with the eigenfunction

(x).
5.1 Exercise 3
Prove that

H is a Hermitian operator.
5.2 Exercise 4
Prove that -i/x is a Hermitian operator.
14
5.3 Exercise 5
Prove that if two hermitian operators

Q and

P satisfy the equation

Q

P =

P

Q, i.e., if P and Q
commute (vide infra), the product operator

Q

P is also hermitian.
Since

H is hermitian, E is a real number E = E

(see Property 1 of Hermitian operators), then,

(x, t)(x, t) =

(x)

(x).
Since

(x) depends only on x,

t
(

(x)

(x)) = 0, then,

t

(x, t)(x, t) = 0. This demonstration


proves that if (x, t) = (x)f(t), then (x, t) is a stationary function.
6 Particle in the Box
The particle in the box can be represented by the following diagram:R1(22)
6
-
6
V (x)

Box
V = V = 0 V =
0
a
x
Particle
r

The goal of this section is to show that a particle with energy E and mass m in the box-potential
V(x) dened as
V (x) =
_
0, when 0 x a,
, otherwise,
has stationary states and a discrete absorption spectrum (i.e., the particle absorbs only certain
discrete values of energy called quanta). To that end, we rst solve the equation

H

(x) = E

(x),
and then we obtain the stationary states (x, t) =

(x)exp(
i

Et).
Since

(x) has to be continuous, single valued and square integrable (see Postulate 1),

(0) and

(a) must satisfy the appropriate boundary conditions both inside and outside the box. The bound-
ary conditions inside the box lead to:

2
2m

x
2
(x) = E(x), (x) = A Sin(K x). (6)
Functions (x) determine the stationary states inside the box. The boundary conditions outside the
box are,

2
2m

x
2
(x) +(x) = E(x), (x) = 0,
15
and determine the energy associated with (x) inside the box as follows. From Eq. (6), we obtain:

2
2m
AK
2
= EA, and, (a) = ASin(K a) = 0,
Ka = n, with n = 1, 2, ...
Note that the number of nodes of (i.e., the number of coordinates where (x) = 0), is equal to
n 1 for a given energy, and the energy levels are,
E =

2
2m
n
2

2
a
2
, with n = 1, 2, ...
e.g.,
E(n = 1) =

2
2m

2
a
2
,
E(n = 2) =

2
2m
4
2
a
2
, ...
Conclusion: The energy of the particle in the box is quantized! (i.e., the absorption spectrum of
the particle in the box is not continuous but discrete).
6.1 Exercise 6
(i) Using the particle in the box model for an electron in a quantum dot (e.g., a nanometer size
silicon material) explain why larger dots emit in the red end of the spectrum, and smaller dots emit
blue or ultraviolet.
(ii) Consider the molecule hexatriene CH
2
= CH CH = CH CH = CH
2
and assume that
the 6 electrons move freely along the molecule. Approximate the energy levels using the particle
in the box model. The length of the box is the sum of bond lengths with C-C = 1.54

A, C=C = 1.35

A, and an extra 1.54



A, due to the ends of the molecule. Assume that only 2 electrons can occupy
each electronic state and compute:
(A) The energy of the highest occupied energy level.
(B) The energy of the lowest unoccupied energy level.
16
(C) The energy difference between the highest and the lowest energy levels, and compare such
energy difference with the energy of the peak in the absorption spectrum at
MAX
=268nm.
(D) Predict whether the peak of the absorption spectrum for CH
2
= CH(CH = CH)
n
CH =
CH
2
would be red- or blue-shifted relative to the absorption spectrum of hexatriene.
7 Commutator
The commutator [

A,

B] is dened as follows:R4(97)
[

A,

B] =

A

B

B

A.
Two operators

A and

B are said to commute when [

A,

B] = 0.
7.1 Exercise 7
Prove that [ x, i

x
] = i.
Hint: Prove that [ x, i

x
](x) = i(x), where (x) is a function of x.
8 Uncertainty Relations
The goal of this section is to show that the uncertainties A =
_
< (

A <

A >)
2
> and B =
_
< (

B <

B >)
2
>, of any pair of hermitian operators

A and

B, satisfy the uncertainty rela-
tion:R3(437)
(A)
2
(B)
2

1
4
< i[A, B] >
2
. (7)
In particular, when

A = x and

B = p, we obtain the Heisenberg uncertainty relation:
x p

2
. (8)
Proof:

U

A < A >, (, x) (

U + i

V )(x),

V

B < B >, I()
_
dx

(, x)(, x) 0,
I() =
_
dx[(

A < A >)(x) + i(

B < B >)(x)]

[(

A < A >)(x) + i(

B < B >)(x)],
I() =<

U|

U > +
2
< V |V > i(< V |U > < U|V >),
17

You might also like