lec10 infinite dimension vector spaces

Upload: zhe-li

Post on 05-Apr-2018

221 views

Category:

Documents


0 download

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.