lec10 infinite dimension vector spaces
TRANSCRIPT
-
7/31/2019 Lec10 Infinite Dimension Vector Spaces
1/19
Lecture 10
Infinite Dimensional Vector Spaces
October 6, 2010
Lecture 10
-
7/31/2019 Lec10 Infinite Dimension Vector Spaces
2/19
Infinite Dimensional Space
Consider the set of continuous, single-variable functions,
f(x), on the intervalL/2
x
L/2.
If we specify these functions by giving there values at nequally-spaced, discreet points, xi, they form vectors, |f,in an n-dimensional vector space.
We can choose the orthonormal basis vectors to those
specifying each of the discreet point.
|i =
00...
0
10...
0
with i|j = ij andni=1
|ii| = I
The components of the vector |f are then the values ofthe function at the discreet points
|f =ni=1
i|f|i with i|f = f(xi)
Lecture 10 1
-
7/31/2019 Lec10 Infinite Dimension Vector Spaces
3/19
Infinite Dimensional Space (cont.)
The norm of |f is given by
f|f =ni=1
f(xi)f(xi) =ni=1
|f(xi)|2
As n increases, the norm of |f increases essentiallyproportionally to n. For the continuous case where n
the norm goes to infinity. This isnt good.Lets redefine the components of |f so that the normremains finite and essentially independent ofn.
|f =ni=1i|f|i now with i|f = f(xi)
L
where L =L
n
Since L varies inversely with n, the norm is essential
independent ofn
f|f =ni=1
f(xi)f(xi)L =ni=1
|f(xi)|2L
Lecture 10 2
-
7/31/2019 Lec10 Infinite Dimension Vector Spaces
4/19
Infinite Dimensional Space (cont.)
Lets now redefine the basis vectors.
|xi = 1L
|i such that xi|f = f(xi)
Note that these basis vectors are still orthoganal
xi
|xj
= 0 for i
= j
but they are not normalized to unity. In fact
xi|xi as n
The completeness relation in term of this basis is then
ni=1
|xixi| L = I
|f =ni=1
xi|f|xiL =ni=1
f(xi)|xiL
f|f =ni=1
f|xixi|fL =ni=1
f(xi)f(xi)L
Lecture 10 3
-
7/31/2019 Lec10 Infinite Dimension Vector Spaces
5/19
Infinite Dimension Space (cont.)
Were now ready to let n and go to the continuouscase. The sum over n will go an integral over x and Lwill go to dx
L/2L/2
|xx| dx = I
|f =L/2
L/2
x|f|xdx =L/2
L/2
f(x)|xdx
f|f =
L/2
L/2
f|x
x
|fdx
=
L/2
L/2
f
(x
)f(x
)dx
f|g =L/2
L/2
f|xx|gdx =L/2
L/2
f(x)g(x)dx
normalization: x|x = (x x)
Lecture 10 4
-
7/31/2019 Lec10 Infinite Dimension Vector Spaces
6/19
Operators in Infinite Dimension Space
An operator, , in an infinite dimensional space transformsa vector, |f, in the vector space to another vector, |f, inthe space.
|f = |gIn the x basis
x||f = x|g = g(x)
is represented by an infinite dimension matrix.
xx = x||x
x
|g
=
x
|
|x
x
|f
dx
Formally, we can write
f(x) = g(x)
What this really means though is
x||xx|fdx = g(x)
Lecture 10 5
-
7/31/2019 Lec10 Infinite Dimension Vector Spaces
7/19
The Position Operator
Consider the operator, x, that when operating on a
function, f(x), has the effect of multiplying the functionby x.
x|x|f = xx|f = xf(x)
x|x|xx|fdx = xf(x)
x|x|x = x(x x)
The eigenvectors of x are the basis vectors, |x.
x|x|x0 = x0(x x0) = x0x|x0
As weve noted before, these eigenvectors have a delta
function rather than unity normalization.
Lecture 10 6
-
7/31/2019 Lec10 Infinite Dimension Vector Spaces
8/19
The Derivative Operator
Another natural operator to consider is the operation of
taking a derivative of a function.
x|d|f = f(x)
x|d|f =
x|d|xx|fdx = ddx
f(x)
What are the matrix elements
x
|d
|x
?
Lecture 10 7
-
7/31/2019 Lec10 Infinite Dimension Vector Spaces
9/19
The Derivative of the Delta Function
The matrix elements of D are given by the derivative of
the delta functionx|d|x = (x x) = d
dx((x x))
(x x)f(x)dx =
d
dx((x x)) f(x)dx
=
d
dx((x x)) f(x)dx
=
(x x)
d
dxf(x)
dx +
f(x)(x x)
=
(x x)
d
dxf(x)
dx =
d
dxf(x)
Lecture 10 8
-
7/31/2019 Lec10 Infinite Dimension Vector Spaces
10/19
The k Operator
The operator d is not Hermitian.
dxx = (x x) = d
dx(x x) = (x x) d
dx
dxx = dxx = Dxx =
(x x) = ddx
(x x)
= (x x) ddx
= (x x) ddx
= dxx
Define the operator k = id
kxx = i
(x x
)
kxx = kxx = kxx = i(xx) = i(xx) = kxx
For an infinite dimension operator it is not sufficient that
x|k|x = x|k|x
We must also show that
g|k|f = f|k|g
Lecture 10 9
-
7/31/2019 Lec10 Infinite Dimension Vector Spaces
11/19
Hermitivity of an Infinite Dimension
Operator
g|k|f = f|k|g
b
a
b
a
g|xx|K|xx|fdxdx = b
a
b
a
f|xx|K|xx|gdxdx
ib
a
g(x)
df(x)
dx
dx = i
ba
dg(x)
dx
f(x)dx
but the left-hand side is
ig(x)f(x)b
a+ i
ba
dg(x)
dx
f(x)dx
Hermitivity requires that f(x) or g(x) go to zero atthe limits a and b.
Lecture 10 10
-
7/31/2019 Lec10 Infinite Dimension Vector Spaces
12/19
Eigenvectors of k
Let |k be an eignevector ofk with eigenvalue k.
k|k = k|k
Lets work in the x basis.
x|k|k = kx|k = kk(x)
x|k|xx|kdx = kk(x)
i ddx
k(x) = kk(x)
Solution: k(x) = Aeikx
Lecture 10 11
-
7/31/2019 Lec10 Infinite Dimension Vector Spaces
13/19
Normalization
Now lets normalize |k.
k|k =
k|xx|kdx = |A|2
ei(kk)xdx
= |A|2 2(k k)
Choose: A =12
k|k = (k k)
As for the eigenvectors of x, these have delta function
normalization rather than unity normalization.
Lecture 10 12
-
7/31/2019 Lec10 Infinite Dimension Vector Spaces
14/19
Fourier Transforms
Lets find the vector
|f
in the k-basis.
f(k) = k|f =
k|xx|fdx
= 12
eikxf(x)dx
Similarly
f(x) = x|f =
x|kk|fdk
=1
2
eikxf(k)dk
f(k) and f(x) are the Fourier transforms of each other.
Lecture 10 13
-
7/31/2019 Lec10 Infinite Dimension Vector Spaces
15/19
Canonical Commutation Relation
The operators x and k do not commute.
x|x|f = xf(x)
x|k|f = i df(x)dx
x|xk|f = ix df(x)dx
x|kx|f = ix ddx
xf(x)
x|[x,k]|f = x|[x,
k]|f x|[
k, x]|f
= ix df(x)dx
+ ixdf(x)
dx+ if = if = ix|I|f
[x, k] = iI
This means that there are no vectors that are eigenvectors
of both x and k. As you know and as well see, this leads toone of the most important and basic features of quantum
mechanics.
Lecture 10 14
-
7/31/2019 Lec10 Infinite Dimension Vector Spaces
16/19
Reciprocity Between x and k
Representations
|xx| dx = I
|kk| dk = I
|f =
|xf(x) dx =
|kf(k) dk
x|x
= (x x
) k|k
= (k k
)
x|x|x = x(x x) x|k|x = i(x x)
k|x|k = i(k k) k|k|k = k(k k)
x|x|f = xf(x) x|k|f = if(x)
k|x|f = if(k) k|k|f = kf(k))
x|k =1
2 eikx
k|x =1
2 eikx
f(x) = x|f =
x|kf(k) dk = 12
eik
xf(k) d
Lecture 10 15
-
7/31/2019 Lec10 Infinite Dimension Vector Spaces
17/19
The Momentum Operator
The momentum operator is simply the k
operator multiplied by h.
p = hk
x|p|f = ihf(x)
[x, p] = ihI
Lecture 10 16
-
7/31/2019 Lec10 Infinite Dimension Vector Spaces
18/19
Correspondence with the Wavefunction
Formalism
| =
|xx| dx =
|x(x) dx
(x) gives the components of | in the |x basis.
| = |pp| dp = |p(p) dp(p) gives the components of | in the |p basis.
x
|p
are the matrix elements of the unitary
transformation from the p basis to the x basis.
(x) = x| =
x|p(p) dp = 12h
eipx/h(p) d
Lecture 10 17
-
7/31/2019 Lec10 Infinite Dimension Vector Spaces
19/19
Hilbert Space
A Hilbert space is an infinite dimensional complex
vector space of normalizable vectors.
f|f =
|f(x)|2 dx is finite
The state of a quantum system is an element | ofa Hilbert space
|(x)|2 dx =
|(p)|2 dp are finite
Note that the basis vectors |x and |p are notelements of the Hilbert space since:
x|x = (0) and p|p = (0)
We also require that the components of vectors
corresponding to physical states be given by a
continuous function.
x| = (x) is a continuous functuon
This is a subset of a true Hilbert space and is called
a rigged or physics Hilbert space.