The quantum state as a vector

Similar documents
1 Mathematical preliminaries

Statistical Interpretation

Physics 215 Quantum Mechanics 1 Assignment 1

Vector Spaces in Quantum Mechanics

Linear Algebra in Hilbert Space

Linear Algebra and Dirac Notation, Pt. 1

MP463 QUANTUM MECHANICS

Physics 221A Fall 1996 Notes 14 Coupling of Angular Momenta

Quantum Computing Lecture 2. Review of Linear Algebra

Mathematical Formulation of the Superposition Principle

1 Dirac Notation for Vector Spaces

1 Infinite-Dimensional Vector Spaces

Quantum Mechanics- I Prof. Dr. S. Lakshmi Bala Department of Physics Indian Institute of Technology, Madras

Introduction to Electronic Structure Theory

1 Fundamental physical postulates. C/CS/Phys C191 Quantum Mechanics in a Nutshell I 10/04/07 Fall 2007 Lecture 12

II. The Machinery of Quantum Mechanics

PHYS-454 The position and momentum representations

Quantum Physics II (8.05) Fall 2002 Assignment 3

1 The postulates of quantum mechanics

Quantum Mechanics- I Prof. Dr. S. Lakshmi Bala Department of Physics Indian Institute of Technology, Madras

PLEASE LET ME KNOW IF YOU FIND TYPOS (send to

Physics 221A Fall 2010 Notes 1 The Mathematical Formalism of Quantum Mechanics

Formalism of Quantum Mechanics

Chapter 2. Linear Algebra. rather simple and learning them will eventually allow us to explain the strange results of

Mathematical Introduction

Ch 125a Problem Set 1

Angular Momentum in Quantum Mechanics.

Vector spaces and operators

We start with some important background material in classical and quantum mechanics.

SECOND QUANTIZATION PART I

Properties of Commutators and Schroedinger Operators and Applications to Quantum Computing

Page 404. Lecture 22: Simple Harmonic Oscillator: Energy Basis Date Given: 2008/11/19 Date Revised: 2008/11/19

Recitation 1 (Sep. 15, 2017)

Quantum Physics II (8.05) Fall 2004 Assignment 3

1 Notes and Directions on Dirac Notation

Coordinate and Momentum Representation. Commuting Observables and Simultaneous Measurements. January 30, 2012

C/CS/Phys 191 Quantum Mechanics in a Nutshell I 10/04/05 Fall 2005 Lecture 11

Lecture 3: Hilbert spaces, tensor products

1.1 Quantum mechanics of one particle

Linear Operators, Eigenvalues, and Green s Operator

Angular Momentum in Quantum Mechanics

The Dirac Approach to Quantum Theory. Paul Renteln. Department of Physics California State University 5500 University Parkway San Bernardino, CA 92407

Physics 342 Lecture 2. Linear Algebra I. Lecture 2. Physics 342 Quantum Mechanics I

Chem 3502/4502 Physical Chemistry II (Quantum Mechanics) 3 Credits Fall Semester 2006 Christopher J. Cramer. Lecture 5, January 27, 2006

Quantum Dynamics. March 10, 2017

Quantum Mechanics Solutions. λ i λ j v j v j v i v i.

Quantum Mechanics crash course (For the scholar with an higher education in mathematics) Fabio Grazioso :48

Mathematical Foundations of Quantum Mechanics

3.5 Finite Rotations in 3D Euclidean Space and Angular Momentum in QM

Lecture If two operators A, B commute then they have same set of eigenkets.

df(x) = h(x) dx Chemistry 4531 Mathematical Preliminaries Spring 2009 I. A Primer on Differential Equations Order of differential equation

1 Quantum fields in Minkowski spacetime

Outline 1. Real and complex p orbitals (and for any l > 0 orbital) 2. Dirac Notation :Symbolic vs shorthand Hilbert Space Vectors,

Ket space as a vector space over the complex numbers

Vector Spaces for Quantum Mechanics J. P. Leahy January 30, 2012

BASICS OF QUANTUM MECHANICS. Reading: QM Course packet Ch 5

Physics 342 Lecture 2. Linear Algebra I. Lecture 2. Physics 342 Quantum Mechanics I

Quantum Mechanics for Mathematicians: Energy, Momentum, and the Quantum Free Particle

A short and personal introduction to the formalism of Quantum Mechanics

Quantum mechanics in one hour

The Quantum Theory of Atoms and Molecules

Basic Quantum Mechanics Prof. Ajoy Ghatak Department of Physics Indian Institute of Technology, Delhi

Introduction to Quantum Mechanics Physics Thursday February 21, Problem # 1 (10pts) We are given the operator U(m, n) defined by

Lecture #1. Review. Postulates of quantum mechanics (1-3) Postulate 1

1 Algebra of State Vectors

QM and Angular Momentum

Categories and Quantum Informatics: Hilbert spaces

Hilbert Spaces. Hilbert space is a vector space with some extra structure. We start with formal (axiomatic) definition of a vector space.

conventions and notation

Physics 221A Fall 2017 Notes 1 The Mathematical Formalism of Quantum Mechanics

. Here we are using the standard inner-product over C k to define orthogonality. Recall that the inner-product of two vectors φ = i α i.

Quantum Mechanics - I Prof. Dr. S. Lakshmi Bala Department of Physics Indian Institute of Technology, Madras. Lecture - 7 The Uncertainty Principle

The following definition is fundamental.

Lecture notes on Quantum Computing. Chapter 1 Mathematical Background

Supplementary information I Hilbert Space, Dirac Notation, and Matrix Mechanics. EE270 Fall 2017

Notes on Quantum Mechanics. Finn Ravndal Institute of Physics University of Oslo, Norway

DS-GA 1002 Lecture notes 0 Fall Linear Algebra. These notes provide a review of basic concepts in linear algebra.

Solutions Final exam 633

arxiv:quant-ph/ v1 29 Mar 2003

Lecture notes for Atomic and Molecular Physics, FYSC11, HT Joachim Schnadt

Lecture 5 (Sep. 20, 2017)

04. Five Principles of Quantum Mechanics

Review of Linear Algebra

Quantum Mechanics II (WS 17/18)

Addition of Angular Momenta

Quantum Mechanics for Scientists and Engineers. David Miller

G : Quantum Mechanics II

Page 52. Lecture 3: Inner Product Spaces Dual Spaces, Dirac Notation, and Adjoints Date Revised: 2008/10/03 Date Given: 2008/10/03

= a. a = Let us now study what is a? c ( a A a )

Quantum Mechanics-I Prof. Dr. S. Lakshmi Bala Department of Physics Indian Institute of Technology, Madras. Lecture - 21 Square-Integrable Functions

Matrix Representation

Are these states normalized? A) Yes

Chapter III. Quantum Computation. Mathematical preliminaries. A.1 Complex numbers. A.2 Linear algebra review

Spin Dynamics Basic Theory Operators. Richard Green SBD Research Group Department of Chemistry

Particle Physics Dr. Alexander Mitov Handout 2 : The Dirac Equation

Linear Algebra using Dirac Notation: Pt. 2

Hilbert Spaces: Infinite-Dimensional Vector Spaces

Vector Spaces. Vector space, ν, over the field of complex numbers, C, is a set of elements a, b,..., satisfying the following axioms.

Homework assignment 3: due Thursday, 10/26/2017

Lecture 1: Introduction to QFT and Second Quantization

Transcription:

The quantum state as a vector February 6, 27 Wave mechanics In our review of the development of wave mechanics, we have established several basic properties of the quantum description of nature:. A particle (perhaps better viewed as a quantized field may be described by a complex function, called the wave function, ψ (x, t, which contains information about what can be measured concerning the particle. 2. We normalize ψ so that the integral of the norm over all space is one: ψ ψd 3 x This allows us to interpret all space ψ ψd 3 x as the probability of finding the particle in the infinitesimal volume, d 3 x. The product ψ ψ is then a probablility density. 3. There are various Hermitian linear operators for dynamical variables, also called physical observables, such as position, energy and momentum. These three are given by x x Ê i t p i 4. Measurement of a dynamical variable always yields an eigenvalue of the corresponding linear operator, and changes the state to the corresponding eigenvector. It is modeled by allowing the operator corresponding to the dynamical variable act on the wave function. 5. Between measurements, the state evolves according to the Schrödinger equation. ( α 6. We can describe spin- 2 systems as 2-component vectors,, where the α-component is the degree β of spin up and the β-component the degree of spin down. We now introduce notation which is general enough to encompass both the spin and the wave function, and at the same time allows us the full symmetry of phase space in choosing the basis. The central observation to be made is that both 2-component spinor, and wave functions ψ, are vectors in a vector space. This is clear for the 2-component spinors, but observe that normalizable functions also

form a vector space since we may take linear combinations and use the distributive laws. Thus, if ψ and ψ 2 are two normalizable complex functions, then the linear combination is also. We have the distributive laws, αψ + βψ 2 (α + β ψ αψ + βψ α (ψ + ψ 2 αψ + αψ 2 It is straightforward to check that all of the criteria of a vector space (see More than you need to know on Vector Spaces are satisfied by functions. The vector space of quantum mechanics is required to have a norm, in this case, ψ ψ, and be complete. Completeness is the statement that linear combinations of vectors also lie in the vector space. 2 Kets and Bras We now define a new symbol for a vector, called the ket: > Kets are usually written with a label inside, chosen for our convenience to remind us what particular vector we are interested in. Thus, a spin up eigenstate of the operator for the x-component of angular momentum might be written as x, + > while the spin down eigenstate might be x, > To generalize our notion of wave function, we may write ψ > There is an important difference between a ket, and the wave function. The ket represents a formal vector in an infinite dimensional space, whereas the wave function is the vector in a particular basis. Similarly, our spin state kets are formal vectors in a 2-dimensional space, whereas the spinor ( α β is the state vector in a particular basis. To make this difference clear, we introduce a basis for spin states. Let the z-eigenkets be denoted simply + > > For eigenstates along a general direction, n, other than z, we write the eigenstates as n, ± > In a normed vector space, there are always two kinds of vector. One way to see this is to think of the collection of all linear maps from the first vector space (here, the space of kets to the real or complex numbers: φ : { ψ >} C 2

Since linear combinations of linear maps are still linear maps, such maps form a vector space. We denote an element of this second vector space by a reversed ket, called a bra, < φ and write the mapping as a bra-ket, dropping one of the middle bars to form a bracket < φ ψ > < φ ψ > C that is, < φ ψ > is the complex number that results when the linear map φ acts on the vector ψ >. We may think of bras and kets as completely equivalent vector spaces, since we could just as easily have taken ψ > to be a linear map from the vector space of bras to the complex numbers. The vector spaces are generalizations of the wave function and its conjugate: ψ ψ > φ < φ Indeed, the inner product of wave functions is φ ψ < φ ψ >, and from this we are motivated to require that < ψ φ > < φ ψ > With this in mind, associated with any give ket, there is a unique bra, < ψ ψ > 3 Bases We know that any vector may be written as a linear combination of a set of basis vectors, defined as any minimal set of linearly independent vectors. For example, in the 2-dimensional space of spinors, any two independent vectors form a basis. Let the eigenvectors of the z-component of angular momentum be taken as our basis for spinors. Then we may write any other spin ket as a linear combination, α > a + > + b > We can find the values of a and b using maps. Find the dual bras for the basis, Then acting from the left with each of these, we have since the basis kets are orthogonal, Similarly, + > < + > < < + α > a < + + > + b < + > a < + + > < > < + > < + > < α > a < + > + b < > b 3

This means that the original ket may be expanded as α > (< + α > + > + (< α > > but we try to avoid writing two bras or two kets next to each other in this way. A better form is to write the coefficients on the right: α > + >< + α > + >< α > α > ( + >< + + >< α > Since α > is an arbitrary ket, the object in parentheses must be the identity operator, + >< + + >< Now let s look at how all this makes sense. The numbers a, b are the components of the vector α > in our z-basis, so in that basis we may write ( a α > b This is comparable to writing v for an ordinary 3-vector. Dotting with our Cartesian basis gives the individual components, in perfect analogy to v v 2 v 3 î v v ĵ v v 2 k v v 3 < + α > a < α > b If we let ê i (î, ĵ, k for i, 2, 3 then we can write ê i v v i where the numbers on the right are the components of the vector v in the basis ê i. Similarly, if we let < a < ± as a takes values, 2, (or ± if we like then the components a, b of our ket α > may be written as < a α > Thus, the numbers < a α > are the components of the formal vector α >. 4 Operators We have seen one operator already the identity, + >< + + >< 4

More generally, just as we take a bra-ket combination as the inner product of two vectors, we may take these ket-bra combinations as matrices. This works just like the outer product of a pair of vectors in our ordinary notation, [u v] ij u i v j u v u v 2 u v 3 u 2 v u 2 v 2 u 2 v 3 u 3 v u 3 v 2 u 3 v 3 The orthonormality relation shows that in the ± basis, < a + > < a > Now look at the outer products: + >< + >< ( ( These are formal outer products, like uv. Corresponding to components u i v j we have the matrices, ( < a + >< + a > ( ( where we get all four components as a and a range over ±. Similarly, the outer product >< has matrix components ( < a + >< + a > When we add these together, we have the identity. If we want to write a more general operator, we may take a linear combination of all four possibilities: ( < a + >< + a > ( < a + >< a > ( < a + >< + a > ( < a + >< + a > A general linear combination gives the most general possible 2-dimensional linear operator, M a + >< + + b + >< + c >< + + d >< This is the basis-free representation which, in the ± > basis, has components [ ( M] a b c d ij 5

4. Generalization These considerations all apply no matter how many eigenstates there are. Suppose we are interested in a system described by a Hamiltonian operator, Ĥ. Because Ĥ is Hermitian, will have real eigenvalues, and its eigenvectors of Ĥ may be chosen to form a complete, orthonormal set. Each eigenvector a > satisfies Ĥ a > a a > where we label the eigenvector a > with the corresponding eigenvalue. Suppose the full set of eigenvalues is {a, a 2,..., a n }. Then we have one eigenvector for each eigenvalue, and they span the full space of states. If we wish to index the full set of eigenvectors or eigenvalues, we will use primes, a, a, a... just the way we use indices i, j, k, 2, 3 for the components of 3-vectors. Each primed index ranges over the full set of eigenvalues, a {a, a 2,..., a n }. Thus, Ĥ a > a a > refers to all n eigenvalue equations as a ranges from a to a n. Since the set of n vectors { a >: a a,..., a n } is orthonormal, we write < a a > δ a a This expresses n 2 different inner products, since both a and a range over all of the eigenvalues. Any state of the system may be written as a linear combination of the eigenvectors: ψ > a n a a α a a > We can find the components of ψ > by projecting in the direction of each eigenvector, ( an < a ψ > < a α a a > a a a n a a α a < a a > a n α a δ a a a a α a We can derive this result in reverse. Given any state, ψ >, we may multiply by the n-dimensional identity operator. But the identity operator may be written as a n a a a >< a This is evident if we remember that any one eigenvector, a k >, has components If we write this as a column vector, it is just < a a k > δ a k.. 6

where the occurs in the k th position. Then,. ( a k >< a k................ where the single non-zero entry is the in the k th row and the k th column. products over all values a a,..., a n we build up the identity matrix. Now, let this form of the identity matrix act on a general state, ψ >, When we sum such outer ψ > ψ > a n a a a >< a ψ > a n a a α a a > and we recover the expansion of the state in the given basis. The basis states do not have to be eigenkets of the Hamiltonian operator. Since the eigenstates of any Hermitian operator form a complete, orthonormal set, we may use any such kets as our basis. One question remains. Why do we use the index a to label kets as a >, instead of just using k > to label the k th eigenstate? The answer is that we want our notation to include states as general as the wave function, where the number of basis states may be uncountable. This means that instead of writing an arbitrary state ψ > as a sum over n eigenstates, we must perform an integral, ψ > da a >< a ψ > In this case, the components of the state together give a function, < a ψ > ψ (a For example, there might be continuum eigenstates of the momentum operator, in which case we write < p ψ > ψ (p ψ > dp p >< p ψ > dp ψ (p p > 7

In this case, the normalization requires a Dirac delta function, < p p > δ (p p This allows us to find the components, ψ > < p ψ > dp ψ (p p > dp ψ (p < p p > dp ψ (p δ (p p ψ (p We will work with these representations extensively in later chapters. 5 Quantum mechanics from wave mechanics Now return to our basic properties of wave mechanics. We would like to generalize each of these in a way that lets us recover wave mechanics. We take the properties one at a time. 5. The wave function We replace the wave function by a vector in Hilbert space, without necessarily specifying a basis, ψ (x ψ To recover the wave function, we use the identity operator expressed in a coordinate basis. Let the kets x be eigenstates of the position operator, X, so that X x x x Since the eigenvalues are real, the operator is hermitian. In terms of these, the identity operator is the sum over all x of x x, i.e., the integral d 3 x x x Acting on the state ψ with the identity operator, we find ψ d 3 x ( x x ψ ψ d 3 x x x ψ This is the expansion of the state ψ in a coordinate basis. The coefficients in the expansion, the components of ψ in terms of basis vectors x, are the inner products x ψ This object is a complex number for each value of the coordinte x. Naming the function ψ, we identify ψ (x x ψ 8

5.2 Normalization and probability densities A state is normalized using the inner product, ψ ψ and this will be true in any basis. In particular, again inserting the coordinate basis identity operator ψ ψ ( ψ d 3 x x x ψ d 3 x ψ x x ψ d 3 xψ (x ψ (x we recover the wave function normalization. We may find not only the position probability density, P (V d 3 x ψ x x ψ d 3 xψ (x ψ (x V but the density in any basis. For example we can find the probability of finding the particle in a volume Φ of momentum space. Let ϕ (p p ψ. Then, P (Φ d 3 p ψ p p ψ d 3 xϕ (p ϕ (p 5.3 Hermitian operators for dynamical variables Φ There are various Hermitian linear operators for dynamical variables, also called physical observables, such as position, energy and momentum. These three are given by x x Ê i t p i These may be seen as coordinate basis representations of Hilbert space operators. Thus, if we define the Hermitian position operator by X x x x it s representation a coordinate basis is, x X x x x x V V xδ 3 (x x that is, multiplying by x. Thus, for example, we may find the the potential term of the Schrödinger equation, V ( (x V X, in the coordinate basis. Restricting to one dimension to keep the Taylor series simple, its matrix components are x V ( X x x n 9 n n! V (n ( X n x n! V (n ( x X n x

We evaluate the expectation value one operator at a time, x X n x x X n x x x x n x x n δ (x x, giving x V ( X x n n! V (n ( x n δ (x x V (x δ (x x In this basis, therefore, the potential or any function of position only, becomes a diagonal operator. The story is different in the momentum basis. Letting X act on a momentum basis ket, X p d 3 x X x x p Φ 2π Φ 2π p X p (i p (i p Φ d 3 x x e i p x x d 3 x (i p e i p x x 2π 2π Φ Φ d 3 x e i p x p x d 3 x e i p x e i p x (i p δ 3 (p p ( This time, the potential will become a derivative operator, p V X p V (i p δ 3 (p p. As always, the derivative of a delta function is handled by integration by parts when the expression is integrated. 5.4 Replacement of the state after measurement Measurement of a dynamical variable always yields an eigenvalue of the corresponding linear operator, and changes the state to the corresponding eigenvector. It is modeled by allowing the operator corresponding to the dynamical variable act on the wave function. In wave mechanics this statement says that a state ψ, expanded in eigenstates ϕ a (x of an Hermitian operator Â, ψ A (a ϕ a (x da will be replaced after measurement. If we measure the value a for the observable Â, then the state ψ (x is replaced by the single corresponding eigenstate, ψ (x A (a ϕ a (x In Dirac notation, the state is a vector and the expansion is ψ daa (a a

where  a a a. In a coordinate basis, this becomes x ψ daa (a x a ψ (x daa (a ϕ a (x and we recover the wave mechanics form. The replacement after measurement, is simply ψ A (a a 5.5 Evolution of the state between measurements Between measurements, the state evolves according to the Schrödinger equation, 2m 2 ψ (x + V (x ψ Eψ (x and we expect this to be represented by the eigenvalue problem, Ĥ ψ E ψ We are obliged to find the form of the Hamiltonian operator such that in a coordinate basis, x Ĥ ψ E x ψ we recover the Schrödinger wave equation. The result is immediate if we write the Hamiltonian properly as a function of position and momentum, ( H (x, p Ĥ H X, P We simply replace x and p by the corresponding operators. Checking that we recover the Schrödinger equation, ( x Ĥ x x H X, P x x 2m P ( 2 + V X x 2m x P ( 2 x + x V X x 2m x P 2 x + V (x δ 3 (x x For the momentum operator, we introduce the momentum basis identity, x P 2 x d 3 p x P 2 p p x d 3 p x p 2 p p x d 3 pp 2 x p p x d 3 pp 2 e i p x e i p x 2π d 3 p (i x 2 e i p x e i p x 2π (i x 2 δ 3 (x x

and finally Ĥ 2m (i x 2 δ 3 (x x + V (x δ 3 (x x ( 2 2m 2 x + V (x δ 3 (x x Integrating by parts twice returns us to the Schrödinger equation Ĥ ψ E ψ d 3 x x Ĥ x x ψ E x ψ ( d 3 x 2 2m 2 x + V (x δ 3 (x x ψ (x Eψ (x d 3 x δ 3 (x x ( 2 2m 2 x + V (x ψ (x Eψ (x ( 2 2m 2 x + V (x ψ (x Eψ (x 5.6 Spin states We have seen in detail how to represent spin states and operators. 2