Lecture 2: Dirac notation and a review of linear algebra Read Sakurai chapter 1, Baym chatper 3

Σχετικά έγγραφα
6.1. Dirac Equation. Hamiltonian. Dirac Eq.

Reminders: linear functions

2 Composition. Invertible Mappings

EE512: Error Control Coding

Partial Differential Equations in Biology The boundary element method. March 26, 2013

SCHOOL OF MATHEMATICAL SCIENCES G11LMA Linear Mathematics Examination Solutions

Space-Time Symmetries

Ordinal Arithmetic: Addition, Multiplication, Exponentiation and Limit

Phys460.nb Solution for the t-dependent Schrodinger s equation How did we find the solution? (not required)

w o = R 1 p. (1) R = p =. = 1

k A = [k, k]( )[a 1, a 2 ] = [ka 1,ka 2 ] 4For the division of two intervals of confidence in R +

4.6 Autoregressive Moving Average Model ARMA(1,1)

Matrices and Determinants

Απόκριση σε Μοναδιαία Ωστική Δύναμη (Unit Impulse) Απόκριση σε Δυνάμεις Αυθαίρετα Μεταβαλλόμενες με το Χρόνο. Απόστολος Σ.

Numerical Analysis FMN011

PARTIAL NOTES for 6.1 Trigonometric Identities

Orbital angular momentum and the spherical harmonics

Nowhere-zero flows Let be a digraph, Abelian group. A Γ-circulation in is a mapping : such that, where, and : tail in X, head in

Chapter 6: Systems of Linear Differential. be continuous functions on the interval

Every set of first-order formulas is equivalent to an independent set

Homework 3 Solutions

Other Test Constructions: Likelihood Ratio & Bayes Tests

Spherical Coordinates

CHAPTER 25 SOLVING EQUATIONS BY ITERATIVE METHODS

DIRECT PRODUCT AND WREATH PRODUCT OF TRANSFORMATION SEMIGROUPS

Second Order Partial Differential Equations

6.3 Forecasting ARMA processes

Section 8.3 Trigonometric Equations

Commutative Monoids in Intuitionistic Fuzzy Sets

( ) 2 and compare to M.

General 2 2 PT -Symmetric Matrices and Jordan Blocks 1

derivation of the Laplacian from rectangular to spherical coordinates

Problem Set 9 Solutions. θ + 1. θ 2 + cotθ ( ) sinθ e iφ is an eigenfunction of the ˆ L 2 operator. / θ 2. φ 2. sin 2 θ φ 2. ( ) = e iφ. = e iφ cosθ.

CRASH COURSE IN PRECALCULUS

ω ω ω ω ω ω+2 ω ω+2 + ω ω ω ω+2 + ω ω+1 ω ω+2 2 ω ω ω ω ω ω ω ω+1 ω ω2 ω ω2 + ω ω ω2 + ω ω ω ω2 + ω ω+1 ω ω2 + ω ω+1 + ω ω ω ω2 + ω

Approximation of distance between locations on earth given by latitude and longitude

Example Sheet 3 Solutions

Generating Set of the Complete Semigroups of Binary Relations

Lecture 15 - Root System Axiomatics

ΚΥΠΡΙΑΚΗ ΕΤΑΙΡΕΙΑ ΠΛΗΡΟΦΟΡΙΚΗΣ CYPRUS COMPUTER SOCIETY ΠΑΓΚΥΠΡΙΟΣ ΜΑΘΗΤΙΚΟΣ ΔΙΑΓΩΝΙΣΜΟΣ ΠΛΗΡΟΦΟΡΙΚΗΣ 19/5/2007

Exercises 10. Find a fundamental matrix of the given system of equations. Also find the fundamental matrix Φ(t) satisfying Φ(0) = I. 1.

Areas and Lengths in Polar Coordinates

Partial Trace and Partial Transpose

Chapter 6: Systems of Linear Differential. be continuous functions on the interval

TMA4115 Matematikk 3

C.S. 430 Assignment 6, Sample Solutions

Fourier Series. MATH 211, Calculus II. J. Robert Buchanan. Spring Department of Mathematics

CHAPTER 48 APPLICATIONS OF MATRICES AND DETERMINANTS

= {{D α, D α }, D α }. = [D α, 4iσ µ α α D α µ ] = 4iσ µ α α [Dα, D α ] µ.

dim(u) = n 1 and {v j } j i

Congruence Classes of Invertible Matrices of Order 3 over F 2

Concrete Mathematics Exercises from 30 September 2016

If we restrict the domain of y = sin x to [ π, π ], the restrict function. y = sin x, π 2 x π 2

ΚΥΠΡΙΑΚΗ ΕΤΑΙΡΕΙΑ ΠΛΗΡΟΦΟΡΙΚΗΣ CYPRUS COMPUTER SOCIETY ΠΑΓΚΥΠΡΙΟΣ ΜΑΘΗΤΙΚΟΣ ΔΙΑΓΩΝΙΣΜΟΣ ΠΛΗΡΟΦΟΡΙΚΗΣ 6/5/2006

Areas and Lengths in Polar Coordinates

Finite Field Problems: Solutions

Appendix A. Curvilinear coordinates. A.1 Lamé coefficients. Consider set of equations. ξ i = ξ i (x 1,x 2,x 3 ), i = 1,2,3

HOMEWORK 4 = G. In order to plot the stress versus the stretch we define a normalized stretch:

The Simply Typed Lambda Calculus

Derivation of Optical-Bloch Equations

Inverse trigonometric functions & General Solution of Trigonometric Equations

Lecture 10 - Representation Theory III: Theory of Weights

DiracDelta. Notations. Primary definition. Specific values. General characteristics. Traditional name. Traditional notation

If we restrict the domain of y = sin x to [ π 2, π 2

The Hartree-Fock Equations

A Note on Intuitionistic Fuzzy. Equivalence Relation

4 Dirac Equation. and α k, β are N N matrices. Using the matrix notation, we can write the equations as imc

forms This gives Remark 1. How to remember the above formulas: Substituting these into the equation we obtain with

One and two particle density matrices for single determinant HF wavefunctions. (1) = φ 2. )β(1) ( ) ) + β(1)β * β. (1)ρ RHF

Abstract Storage Devices

Lecture 13 - Root Space Decomposition II

Tridiagonal matrices. Gérard MEURANT. October, 2008

On the Galois Group of Linear Difference-Differential Equations

Fractional Colorings and Zykov Products of graphs

Symmetric Stress-Energy Tensor

DESIGN OF MACHINERY SOLUTION MANUAL h in h 4 0.

2. Let H 1 and H 2 be Hilbert spaces and let T : H 1 H 2 be a bounded linear operator. Prove that [T (H 1 )] = N (T ). (6p)

Statistical Inference I Locally most powerful tests

UNIT - I LINEAR ALGEBRA. , such that αν V satisfying following condition

Chapter 3: Ordinal Numbers

g-selberg integrals MV Conjecture An A 2 Selberg integral Summary Long Live the King Ole Warnaar Department of Mathematics Long Live the King

D Alembert s Solution to the Wave Equation

Exercise 1.1. Verify that if we apply GS to the coordinate basis Gauss form ds 2 = E(u, v)du 2 + 2F (u, v)dudv + G(u, v)dv 2

Section 9.2 Polar Equations and Graphs

Practice Exam 2. Conceptual Questions. 1. State a Basic identity and then verify it. (a) Identity: Solution: One identity is csc(θ) = 1

12. Radon-Nikodym Theorem

Bounding Nonsplitting Enumeration Degrees

1 String with massive end-points

Higher Derivative Gravity Theories

5. Choice under Uncertainty

Jesse Maassen and Mark Lundstrom Purdue University November 25, 2013

Solutions to Exercise Sheet 5

New bounds for spherical two-distance sets and equiangular lines

Lecture 2. Soundness and completeness of propositional logic

The Jordan Form of Complex Tridiagonal Matrices

Solution Series 9. i=1 x i and i=1 x i.

Two generalisations of the binomial theorem

Matrices and vectors. Matrix and vector. a 11 a 12 a 1n a 21 a 22 a 2n A = b 1 b 2. b m. R m n, b = = ( a ij. a m1 a m2 a mn. def

Notes on the Open Economy

Dr. D. Dinev, Department of Structural Mechanics, UACEG

Transcript:

Lecture 2: Dirac notation and a review of linear algebra Read Sakurai chapter 1, Baym chatper 3 1 State vector space and the dual space Space of wavefunctions The space of wavefunctions is the set of all the possible wavefunctions of a given system. Ψ 1 (ξ), Ψ 2 (ξ),..., are wavefunctions in the representation of ξ. ξ can be general. For example, in the coordinate representation ξ = ( q, σ), where q represents the set of coordinates ( q 1,... q N ), and σ represents the set of particle spin (σ 1,z,...,σ 2,z ). The inner product between two wavefunctions are defined as (Ψ A,Ψ B ) = dξψ (ξ)ψ(ξ) = d q 1...d q N Ψ σ 1 σ 2...σ N ( q 1,.. q N )Ψ σ1 σ 2...σ N ( q 1,.., q N ). (1) σ 1,z,...,σ N,z Space of state vectors (right-vectors); the Hilbert space More conveniently, we use the notation of the state vector Ψ (right/ket-vector) to represent a wavefunction Ψ(ξ) of a given quantum system. The advantage of the state vector notation is that it does not depend on concrete representations. All the state vectors Ψ span the linear space denoted as the Hilbert space H of a given quantum system. The following correspondence between a wavefunction and a state vector is defined as: 1) Ψ(ξ) Ψ ; 2) c 1 Ψ 1 (ξ) + c 2 Ψ 2 (ξ) c 1 Ψ 1 + c 2 Ψ 2 ; 3) The inner product: (Ψ 1,Ψ 2 ) ( Ψ 1, Ψ 2 ). The orthonormal complete bases for the space of state vectors complete bases Ψ, we have For an orthonormal (Ψ,Ψά) = δ(, ), Ψ (ξ)ψ (ξ ) = δ(ξ ξ ). (2) For any wavefunction Ψ, we can expand it as and the inner product as Ψ(ξ) = Ψ (ξ)(ψ (ξ),ψ), (3) (Ψ,Ψ) = (Ψ,Ψ ) (Ψ,Ψ), (4) Using the formalism of right-vectors, we use Ψ to represent the wavefunction of 1

Ψ (ξ), and rewrite the above equations as ( Ψ, Ψά = δ(, ), Ψ = Ψ ( Ψ, Ψ ), ( Ψ, Ψ ) = ( Ψ, Ψ ) ( Ψ, Ψ ), (5) where ( Ψ, Ψ ) is the coordinate of the state vector Ψ projection to the basis Ψ. The dual space (space of left-vectors) The right-vector space H is a linear space. All the linear mappings from the right-vector space H to the complex number field C also form a linear space, which is denoted as the dual space. We use left-vector (bra-vector) to denote an element in the dual space. Let us consider a linear mapping denoted by A in the dual space, which can be determined by its operation on the orthonormal bases Φ in the Hilbert space H. A : Φ a, (6) where a is a complex number, and is the index to mark the orthonormal bases. Then for any right-vector B = b Ψ where b = ( B, Ψ ), the operation of A on B is represented as A : B a b. (7) We can identify a one-to-one correspondence between a right-vector and a linear mapping (a left-vector) as A A = a Φ, (8) such that the operation of A on any right-vector B is expressed as A : B a b = ( A, B ). (9) Below we will simply use the notation A B to denote the mapping A : B. Using these notations, we can rewrite Eq. 5 as Ψ Ψά = δ(, ), Ψ = Ψ Ψ Ψ. (10) We define the conjugation operation for left and right vectors, and complex numbers as thus we have Ψ = Ψ ; φ = φ ; ā = a, (11) a A = A ā, a B = B ā. (12) 2

2 Operator of an observable We define the linear operator L acting on the right-vectors in H, which satisfies 1) L B is still a right-vector in H, 2) L(b B + c C ) = bl B + cl C. L can be determined through its operation on the orthonormal basis Φ β of H as L Φ β = L β Φ, (13) where L β = Ψ L Ψ β is the matrix element of L for the basis of Φ. For any state-vector B = b Φ, the operation of L is L B = β b β L Φ β = L β b β Φ. (14) β The operation of L on the left vectors can also be defined. For a given A, the operation of A L is defined through the following equation A L : B = A L B, (15) where B is an arbitrary right-vector. Thus A L is a linear mapping from the right-vector space to complex numbers, thus it should be represented by a left-vector φ = A L, such that A L : B = φ B. We further extend the definition of conjugation operation be- The conjugation operations low In the following, we denote L as L. Ψ 1 L Ψ 2 = Ψ 2 L Ψ 1, L 1 L 2 = L 2 L 1, L Ψ = Ψ L, In the orthonormal basis Ψ, the matrix elements of L reads A B = B A. (16) L β = Ψ L Ψ β = Ψ β L Ψ = L β. (17) If the operators L = L, i.e., L β = Lβ, we call that L is Hermitian. 3

3 Outer product between left and right-vectors as operators We define A B as a linear operator. When acting on a right-vector Ψ, it behaves as Corollary: 1) Ψ ( A B ) = Ψ A B, 2) A B = B A, 3) A A is Hermitian. 4) A B Ψ = Ψ B A = Ψ A B. ( A B ) Ψ = A B Ψ. (18) 5) For a set of orthonormal bases Ψ, from Eq. 5, we have where I is the identity operator. 6) Expansion of a linear operator L as I = Ψ Ψ, (19) L = Ψ Ψ L Ψ Ψ = Ψ Ψ L, (20) where L = Ψ L Ψ is the matrix element under the bases of Ψ. Examples: 1)For a single spinless particle, we denote r as the eigenstate of the coordinate operator r, which satisfy the orthonormal condition r r = δ( r r ). We have d r r r = I, (21) thus d r r r Ψ = Ψ, (22) and d r r r r Ψ = r Ψ = Ψ( r). (23) 4

Similarly, for an orthonormal basis Ψ, we have Ψ ( r)ψ ( r ) = r Ψ r Ψ = r Ψ Ψ r = r { Ψ Ψ } r = r r = δ( r r ). (24) 4 Representations and transformation of representations When we fix a set of orthonormal bases Ψ for the Hilbert space, it means that we are using a specific representation. We can express a state vector Ψ and a linear operator L as matrices as and A = Ψ Ψ A, L = Ψ Ψά Ψ L Ψά, (25) A B = A Ψ Ψ B A L B = Ψ A L β Ψ B. (26) Using the matrix notation, we denote A = Ψ A, then in the representation of Ψ, A is represented by a column vector of A, and L is represented by a matrix L β. In the matrix notation, we have A B = A B, A L B = A L β B β. (27) β Let us choose another set of orthonormal basis ϕ λ, which satisfy λ ϕ λ ϕ λ = I. The transformation matrix U between these two sets of bases is defined as ϕ λ = Ψ Ψ ϕ λ = Ψ U λ, (28) where U λ = Ψ ϕ λ. U is an unitary matrix, which satisfies the following relation U U = UU = I. (29) For an arbitrary state vector A, its coordinate Ψ A in the Ψ representation can be expressed in terms of its coordinates in the ϕ representation through the transformation matrix 5

U as Ψ A = Ψ ϕ λ ϕ λ A = U λ ϕ λ A. (30) λ λ And for the matrix element L in the Ψ -representation can also be related to that in the in the ϕ representation as Ψ L Ψ = Ψ ϕ λ ϕ λ L ϕ λ ϕ λ Ψ = U λ ϕ λ L ϕ λ U λ. (31) λλ 6