Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

Direct Sums and Tensor Products of Hilbert Spaces and Operators

K. Kong Wan

Published Aug 27, 2020• 0 citations
Publisher

Abstract

Q24(1) Consider a three-dimensional Hilbert space ℋ → https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429296475/bdc73243-97dc-4cf5-9624-109e4c3275b1/content/ieq1209.tif"/> with a preferred decomposition as the direct sum of a complete orthogonal family of one-dimensional subspaces S → ( − ) https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429296475/bdc73243-97dc-4cf5-9624-109e4c3275b1/content/ieq1210.tif"/> , S → ( 0 ) https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429296475/bdc73243-97dc-4cf5-9624-109e4c3275b1/content/ieq1211.tif"/> and S → ( + ) https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429296475/bdc73243-97dc-4cf5-9624-109e4c3275b1/content/ieq1212.tif"/> , i.e., ℋ → = ℋ → ⊕ = S → ( − ) ⊕ S → ( 0 ) ⊕ S → ( + ) . https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429296475/bdc73243-97dc-4cf5-9624-109e4c3275b1/content/eqn0459.tif"/> Let η → ( − ) https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429296475/bdc73243-97dc-4cf5-9624-109e4c3275b1/content/ieq1213.tif"/> , η → ( 0 ) https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429296475/bdc73243-97dc-4cf5-9624-109e4c3275b1/content/ieq1214.tif"/> and η → ( + ) https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429296475/bdc73243-97dc-4cf5-9624-109e4c3275b1/content/ieq1215.tif"/> be unit vectors in S → ( − ) https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429296475/bdc73243-97dc-4cf5-9624-109e4c3275b1/content/ieq1216.tif"/> , S → ( 0 ) https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429296475/bdc73243-97dc-4cf5-9624-109e4c3275b1/content/ieq1217.tif"/> and S → ( + ) https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429296475/bdc73243-97dc-4cf5-9624-109e4c3275b1/content/ieq1218.tif"/> , respectively. 1 A vector in ℋ → ⊕ https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429296475/bdc73243-97dc-4cf5-9624-109e4c3275b1/content/ieq1219.tif"/> is of the form η → ⊕ = c − η → ( − ) ⊕ c 0 η → ( 0 ) ⊕ c + η → ( + ) = c − η → ( − ) ⊕ + c 0 η → ( 0 ) ⊕ + c + η → ( + ) ⊕ , https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429296475/bdc73243-97dc-4cf5-9624-109e4c3275b1/content/eqn0460.tif"/> where C − , c 0 , c + ∈ ℂ https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429296475/bdc73243-97dc-4cf5-9624-109e4c3275b1/content/ieq1220.tif"/> .

DOI
10.1201/9780429296475-24

Related papers

Bounded Operators on H →

K. Kong Wan

Bounded operators on a Hilbert space H → https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780203702413/2f242b9b-104e-4a03-b478-d3f6577cf44e/content/eq3665.tif"/> have many of the properties of operators defined on V → N https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780203702413/2f242b9b-104e-4a03-b478-d3f6577cf44e/content/eq3666.tif"/> . For example, Theorem 13.1(1) and Corollary 13.1(1) apply, e.g., for bounded operators we have ( 18.1 ) 〈 ϕ → | A ^ ϕ → 〉 = 〈 ϕ → | B ^ ϕ → 〉 ∀ ϕ → ∈ H → ⇒ A ^ = B ^ . https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780203702413/2f242b9b-104e-4a03-b478-d3f6577cf44e/content/eq3667.tif"/>

•Jul 9, 2019•0 citations

Linear Operators and Their Algebra

Z. Ficek

Let  , A ^ , B ^ , C ^ https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429092053/5e12ab0e-ba42-4caa-9bdf-6325e9117d3e/content/ineqn10_1.tif"/> Ĉ be arbitrary linear operators. Prove that [ A ^ B ^ , C ^ ] = [ A ^ , C ^ ] B ^ + A ^ [ B ^ , C ^ ] , https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429092053/5e12ab0e-ba42-4caa-9bdf-6325e9117d3e/content/ineqn10_2.tif"/> [ A ^ , [ B ^ , C ^ ] ] + [ B ^ , [ C ^ , A ^ ] ] + [ C ^ , [ A ^ , B ^ ] ] = 0. https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429092053/5e12ab0e-ba42-4caa-9bdf-6325e9117d3e/content/ineqn10_3.tif"/>

•Apr 27, 2016•0 citations

Direct Sums and Tensor Products

Philippe Blanchard, Erwin Brüning

There are two often used constructions of forming new Hilbert spaces out of a finite or infinite set of given Hilbert spaces. Both constructions are quite important in quantum mechanics and in quantum field theory. This brief chapter introduces these constructions and discusses some examples from physics.

Birkhäuser Boston eBooks•Jan 1, 2003•0 citations

Selfadjoint Operators, Unit Vectors and Probability Distributions

K. Kong Wan

Q22(1) The commutation relation between the selfadjoint position and momentum operators x ^ = x https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429296475/bdc73243-97dc-4cf5-9624-109e4c3275b1/content/ieq1151.tif"/> and p ^ = − i ℏ d / d x https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429296475/bdc73243-97dc-4cf5-9624-109e4c3275b1/content/ieq1152.tif"/> in the Hilbert space L → 2 ( I R ) https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429296475/bdc73243-97dc-4cf5-9624-109e4c3275b1/content/ieq1153.tif"/> is often written as [ x ^ , p ^ ] = i ℏ . https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429296475/bdc73243-97dc-4cf5-9624-109e4c3275b1/content/eqn0444.tif"/> As pointed out in the discussion in §17.7 this relation should be expressed as an inequality, i.e., [ x ^ , p ^ ] ⊂ i ℏ I I ^ , https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429296475/bdc73243-97dc-4cf5-9624-109e4c3275b1/content/eqn0445.tif"/> or ∗ [ x ^ , p ^ ] ϕ → = i ℏ ϕ → https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429296475/bdc73243-97dc-4cf5-9624-109e4c3275b1/content/eqn0446.tif"/> for an appropriate set of vectors ϕ → https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429296475/bdc73243-97dc-4cf5-9624-109e4c3275b1/content/ieq1154.tif"/> in L → 2 ( I R ) https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429296475/bdc73243-97dc-4cf5-9624-109e4c3275b1/content/ieq1155.tif"/> . What are the conditions ϕ → https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429296475/bdc73243-97dc-4cf5-9624-109e4c3275b1/content/ieq1156.tif"/> must satisfy in order for the equality to hold?

•Aug 27, 2020•0 citations

Angular Momenta

K. Kong Wan

Q36(1) The spherical harmonics Y 1,1 ( θ , φ ), Y 1,0 ( θ , φ ), Y 1, −1( θ , φ ) are given by Eqs. (16.65) to (16.67). In Cartesian coordinates, these functions are given by 1 Y 1 , − 1 ( x , y , z ) = 3 8 π x − i y r , Y 1 , 0 ( x , y , z ) = 3 4 π z r , Y 1 , 1 ( x , y , z ) = − 3 8 π x + i y r . https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429296475/bdc73243-97dc-4cf5-9624-109e4c3275b1/content/eqn0667.tif"/> (a) Using the expression in Cartesian coordinates for the quantised orbital angular momentum operator L ^ c z https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429296475/bdc73243-97dc-4cf5-9624-109e4c3275b1/content/ieq1694.tif"/> in Eq. (27.86), verify by explicit calculations that Y 1,1 ( x , y , z ), Y 1,0 ( x , y , z )and Y 1,-1 ( x , y , z ) are the eigenfunctions of L ^ c z https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429296475/bdc73243-97dc-4cf5-9624-109e4c3275b1/content/ieq1695.tif"/> corresponding to eigenvalues ħ , 0 and – ħ . (b) Consider the following coordinate transformations: x → z ′ , y → x ′ , z → y ′ . https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429296475/bdc73243-97dc-4cf5-9624-109e4c3275b1/content/eqn0668.tif"/> (1) 202 Show that the component of the orbital angular momentum operator along the z ′-direction is the same as that along the x -direction, i.e., show that L ^ c z ′ = L ^ c z https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429296475/bdc73243-97dc-4cf5-9624-109e4c3275b1/content/ieq1696.tif"/> . (2) Show that the simultaneous eigenfunctions of L ^ c 2 https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429296475/bdc73243-97dc-4cf5-9624-109e4c3275b1/content/ieq1697.tif"/> and L ^ c x https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429296475/bdc73243-97dc-4cf5-9624-109e4c3275b1/content/ieq1698.tif"/> corresponding to eigenvalues of L ^ c 2 https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429296475/bdc73243-97dc-4cf5-9624-109e4c3275b1/content/ieq1699.tif"/> equal to 2 ħ 2 are given in Cartesian coordinates by X 1 , − 1 ( x , y , z ) = 3 8 π y − i z r , X 1 , 0 ( x , y , z ) = 3 4 π x r , X 1 , 1 ( x , y , z ) = − 3 8 π y + i z r . https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429296475/bdc73243-97dc-4cf5-9624-109e4c3275b1/content/eqn0669.tif"/> SQ36(1)(a) In Cartesian coordinates we have 2 : p ^ x Y → 1 , − 1 : = − i ℏ 3 8 π ∂ ∂ x x − i y r = − i ℏ 3 8 π ( 1 r − x − i y r 2 ∂ ∂ x r ) = − i ℏ 3 8 π ( 1 r − x − i y r 2 x r ) = − i ℏ 3 8 π 1 r 3 ( r 2 − x 2 + i x y ) . https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429296475/bdc73243-97dc-4cf5-9624-109e4c3275b1/content/eqn0670.tif"/> p ^ y Y → 1 , − 1 : = − i ℏ 3 8 π ∂ ∂ y x − i y r = − i ℏ 3 8 π ( − i r − x − i y r 2 ∂ ∂ y r ) = − i ℏ 3 8 π ( − i r − x − i y r 2 y r ) = − i ℏ 3 8 π 1 r 3 ( − i r 2 − x y + i y 2 ) . https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429296475/bdc73243-97dc-4cf5-9624-109e4c3275b1/content/eqn0671.tif"/> L ^ z Y → 1 , − 1 : = ( x p ^ y − y p ^ x ) Y 1 , − 1 = − i ℏ 3 8 π 1 r 3 ( ( − i x r 2 − x 2 y + i x y 2 ) − ( y r 2 − y x 2 + i x y 2 ) ) = − i ℏ 3 8 π 1 r 3 ( − i x r 2 − y r 2 ) = − ℏ 3 8 π 1 r { x − i y } = − ℏ Y 1 , − 1 . https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429296475/bdc73243-97dc-4cf5-9624-109e4c3275b1/content/eqn0672.tif"/> 203 Next we have p ^ x Y → 1 , 0 : = − i ℏ 3 4 π ∂ ∂ x z r = − i ℏ 3 4 π ( − z r 2 ∂ ∂ x r ) = i ℏ 3 4 π z x r 3 . p ^ y Y → 1 , 0 : = − i ℏ 3 4 π ∂ ∂ y z r = − i ℏ 3 4 π ( − z r 2 ∂ ∂ y r ) = i ℏ 3 4 π z y r 3 . L ^ z Y → 1 , 0 : = ( x p ^ y − y p ^ x ) Y 1 , 0 = x ( i ℏ 3 4 π z y r 3 ) − y ( i ℏ 3 4 π z x r 3 ) = 0. https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429296475/bdc73243-97dc-4cf5-9624-109e4c3275b1/content/eqn0673.tif"/> Finally we have p ^ x Y → 1 , 1 : = i ℏ 3 8 π ∂ ∂ x x + i y r = − i ℏ 3 8 π ( 1 r − x + i y r 2 ∂ ∂ x r ) = i ℏ 3 8 π ( 1 r − x + i y r 2 x r ) = i ℏ 3 8 π 1 r 3 ( r 2 − x 2 − i x y ) , https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429296475/bdc73243-97dc-4cf5-9624-109e4c3275b1/content/eqn0674.tif"/> p ^ y Y → 1 , 1 : = i ℏ 3 8 π ∂ ∂ y x + i y r = i ℏ 3 8 π ( i r − x + i y r 2 ∂ ∂ y r ) = i ℏ 3 8 π ( i r − x + i y r 2 y r ) = i ℏ 3 8 π 1 r 3 ( i r 2 − x y − i y 2 ) , https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429296475/bdc73243-97dc-4cf5-9624-109e4c3275b1/content/eqn0675.tif"/> L ^ z Y → 1 , 1 : = ( x p ^ y − y p ^ x ) Y 1 , 1 = i ℏ 3 8 π 1 r 3 { ( i x r 2 − x 2 y − i x y 2 ) = − ( y r 2 − y x 2 − i x y 2 ) } = i ℏ 3 8 π 1 r 3 { i x r 2 − y r 2 } = − ℏ 3 8 π 1 r ( x + i y ) = ℏ Y 1 , 1 . https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429296475/bdc73243-97dc-4cf5-9624-109e4c3275b1/content/eqn0676.tif"/> 204 SQ36(1)(b) (1) Consider a transformation from the original coordinate system ( x , y , z ) to a new coordinate system ( x ′, y ′, z ′): x → z ′ , y → x ′ , z → y ′ . https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429296475/bdc73243-97dc-4cf5-9624-109e4c3275b1/content/eqn0677.tif"/> We can see that the new z ′-axis coincides with the original x -axis, and that r = x 2 + y 2 + z 2 = x ′ 2 + y ′ 2 + z ′ 2 = r ′ . https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429296475/bdc73243-97dc-4cf5-9624-109e4c3275b1/content/eqn0678.tif"/> Physically we expect the angular momentum about the x -axis to be the same as the angular momentum about the z′ -axis. We can confirm this mathematically by showing that L ^ x = y p ^ z − z p ^ y = − i ℏ ( y ∂ ∂ z − z ∂ ∂ y ) https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429296475/bdc73243-97dc-4cf5-9624-109e4c3275b1/content/eqn0679.tif"/> is equal to L ^ z ′ = x ′ p ^ y ′ − y ′ p ^ x ′ = − i ℏ ( x ′ ∂ ∂ y ′ − y ′ ∂ ∂ x ′ ) . https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429296475/bdc73243-97dc-4cf5-9624-109e4c3275b1/content/eqn0680.tif"/> This is obvious since x′ = y , y′ = z . It follows that the eigenfunctions and eigenvalues of L ^ x https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429296475/bdc73243-97dc-4cf5-9624-109e4c3275b1/content/ieq1700.tif"/> are the same in terms of the dashed coordinates as that of L ^ z ′ https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429296475/bdc73243-97dc-4cf5-9624-109e4c3275b1/content/ieq1701.tif"/> . (2) We know the eigenfunctions Y ℓ , m ℓ ′ ( x ′ , y ′ , z ′ ) https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429296475/bdc73243-97dc-4cf5-9624-109e4c3275b1/content/ieq1702.tif"/> and eigenvalues of L ^ z ′ https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429296475/bdc73243-97dc-4cf5-9624-109e4c3275b1/content/ieq1703.tif"/> in the transformed coordinates (x′, y′, z′) as they are of the same form as those of the eigenfunctions and eigenvalues of L ^ z https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429296475/bdc73243-97dc-4cf5-9624-109e4c3275b1/content/ieq1704.tif"/> in the original coordinates, i.e., we have Y 1 , − 1 ′ ( x ′ , y ′ , z ′ ) = 3 8 π x ′ − i y ′ r ′ , Y 1 , 0 ′ ( x ′ , y ′ , z ′ ) = 3 4 π z ′ r ′ Y 1 , 1 ′ ( x ′ , y ′ , z ′ ) = − 3 8 π x ′ + i y ′ r ′ . https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429296475/bdc73243-97dc-4cf5-9624-109e4c3275b1/content/eqn0681.tif"/> 205 Since L ^ z ′ = L ^ x https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429296475/bdc73243-97dc-4cf5-9624-109e4c3275b1/content/ieq1705.tif"/> these are also eigenfunctions of L ^ x https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429296475/bdc73243-97dc-4cf5-9624-109e4c3275b1/content/ieq1706.tif"/> Written in terms of the original coordinates these functions become Y 1 , − 1 ′ = 3 8 π y − i z r , Y 1 , 0 ′ = 3 4 π x r , Y 1 , 1 ′ = − 3 8 π y + i z r . https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429296475/bdc73243-97dc-4cf5-9624-109e4c3275b1/content/eqn0682.tif"/> We can conclude that the required eigenfunctions L ^ x https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429296475/bdc73243-97dc-4cf5-9624-109e4c3275b1/content/ieq1707.tif"/> denoted more conveniently by X 1,1 , X 1,0 , X 1, −1 are X 1 , − 1 = 3 8 π y − i z r , X 1 , 0 = 3 4 π x r , X 1 , 1 = − 3 8 π y + i z r . https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429296475/bdc73243-97dc-4cf5-9624-109e4c3275b1/content/eqn0683.tif"/> Q36(2) Suppose L ^ c 2 https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429296475/bdc73243-97dc-4cf5-9624-109e4c3275b1/content/ieq1708.tif"/> and L ^ c z https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429296475/bdc73243-97dc-4cf5-9624-109e4c3275b1/content/ieq1709.tif"/> are measured giving the eigenvalues 2 ħ 2 and – ħ , respectively. A measurement of L ^ c x https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429296475/bdc73243-97dc-4cf5-9624-109e4c3275b1/content/ieq1710.tif"/> is then made. What are the possible results of the measurement of L ^ c x https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429296475/bdc73243-97dc-4cf5-9624-109e4c3275b1/content/ieq1711.tif"/> ? Find the probability of each of these possible results.

•Aug 27, 2020•0 citations

A remark on the unitary group of a tensor product ofn finite-dimensional Hilbert spaces

Kalyanapuram Rangachari Parthasarathy

Proceedings - Mathematical Sciences•Feb 1, 2003•2 citations
Q24(1) Consider a three-dimensional Hilbert space ℋ → https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429296475/bdc73243-97dc-4cf5-9624-109e4c3275b1/content/ieq1209.tif"/> with a preferred decomposition as the direct sum of a complete orthogonal family of one-dimensional subspaces S → ( − ) https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429296475/bdc73243-97dc-4cf5-9624-109e4c3275b1/content/ieq1210.tif"/> , S → ( 0 ) https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429296475/bdc73243-97dc-4cf5-9624-109e4c3275b1/content/ieq1211.tif"/> and S → ( + ) https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429296475/bdc73243-97dc-4cf5-9624-109e4c3275b1/content/ieq1212.tif"/> , i.e., ℋ → = ℋ → ⊕ = S → ( − ) ⊕ S → ( 0 ) ⊕ S → ( + ) . https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429296475/bdc73243-97dc-4cf5-9624-109e4c3275b1/content/eqn0459.tif"/> Let η → ( − ) https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429296475/bdc73243-97dc-4cf5-9624-109e4c3275b1/content/ieq1213.tif"/> , η → ( 0 ) https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429296475/bdc73243-97dc-4cf5-9624-109e4c3275b1/content/ieq1214.tif"/> and η → ( + ) https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429296475/bdc73243-97dc-4cf5-9624-109e4c3275b1/content/ieq1215.tif"/> be unit vectors in S → ( − ) https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429296475/bdc73243-97dc-4cf5-9624-109e4c3275b1/content/ieq1216.tif"/> , S → ( 0 ) https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429296475/bdc73243-97dc-4cf5-9624-109e4c3275b1/content/ieq1217.tif"/> and S → ( + ) https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429296475/bdc73243-97dc-4cf5-9624-109e4c3275b1/content/ieq1218.tif"/> , respectively. 1 A vector in ℋ → ⊕ https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429296475/bdc73243-97dc-4cf5-9624-109e4c3275b1/content/ieq1219.tif"/> is of the form η → ⊕ = c − η → ( − ) ⊕ c 0 η → ( 0 ) ⊕ c + η → ( + ) = c − η → ( − ) ⊕ + c 0 η → ( 0 ) ⊕ + c + η → ( + ) ⊕ , https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429296475/bdc73243-97dc-4cf5-9624-109e4c3275b1/content/eqn0460.tif"/> where C − , c 0 , c + ∈ ℂ https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429296475/bdc73243-97dc-4cf5-9624-109e4c3275b1/content/ieq1220.tif"/> .
Bounded operators on a Hilbert space H → https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780203702413/2f242b9b-104e-4a03-b478-d3f6577cf44e/content/eq3665.tif"/> have many of the properties of operators defined on V → N https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780203702413/2f242b9b-104e-4a03-b478-d3f6577cf44e/content/eq3666.tif"/> . For example, Theorem 13.1(1) and Corollary 13.1(1) apply, e.g., for bounded operators we have ( 18.1 ) 〈 ϕ → | A ^ ϕ → 〉 = 〈 ϕ → | B ^ ϕ → 〉 ∀ ϕ → ∈ H → ⇒ A ^ = B ^ . https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780203702413/2f242b9b-104e-4a03-b478-d3f6577cf44e/content/eq3667.tif"/>
Let  , A ^ , B ^ , C ^ https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429092053/5e12ab0e-ba42-4caa-9bdf-6325e9117d3e/content/ineqn10_1.tif"/> Ĉ be arbitrary linear operators. Prove that [ A ^ B ^ , C ^ ] = [ A ^ , C ^ ] B ^ + A ^ [ B ^ , C ^ ] , https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429092053/5e12ab0e-ba42-4caa-9bdf-6325e9117d3e/content/ineqn10_2.tif"/> [ A ^ , [ B ^ , C ^ ] ] + [ B ^ , [ C ^ , A ^ ] ] + [ C ^ , [ A ^ , B ^ ] ] = 0. https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429092053/5e12ab0e-ba42-4caa-9bdf-6325e9117d3e/content/ineqn10_3.tif"/>
Q22(1) The commutation relation between the selfadjoint position and momentum operators x ^ = x https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429296475/bdc73243-97dc-4cf5-9624-109e4c3275b1/content/ieq1151.tif"/> and p ^ = − i ℏ d / d x https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429296475/bdc73243-97dc-4cf5-9624-109e4c3275b1/content/ieq1152.tif"/> in the Hilbert space L → 2 ( I R ) https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429296475/bdc73243-97dc-4cf5-9624-109e4c3275b1/content/ieq1153.tif"/> is often written as [ x ^ , p ^ ] = i ℏ . https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429296475/bdc73243-97dc-4cf5-9624-109e4c3275b1/content/eqn0444.tif"/> As pointed out in the discussion in §17.7 this relation should be expressed as an inequality, i.e., [ x ^ , p ^ ] ⊂ i ℏ I I ^ , https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429296475/bdc73243-97dc-4cf5-9624-109e4c3275b1/content/eqn0445.tif"/> or ∗ [ x ^ , p ^ ] ϕ → = i ℏ ϕ → https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429296475/bdc73243-97dc-4cf5-9624-109e4c3275b1/content/eqn0446.tif"/> for an appropriate set of vectors ϕ → https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429296475/bdc73243-97dc-4cf5-9624-109e4c3275b1/content/ieq1154.tif"/> in L → 2 ( I R ) https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429296475/bdc73243-97dc-4cf5-9624-109e4c3275b1/content/ieq1155.tif"/> . What are the conditions ϕ → https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429296475/bdc73243-97dc-4cf5-9624-109e4c3275b1/content/ieq1156.tif"/> must satisfy in order for the equality to hold?
Q36(1) The spherical harmonics Y 1,1 ( θ , φ ), Y 1,0 ( θ , φ ), Y 1, −1( θ , φ ) are given by Eqs. (16.65) to (16.67). In Cartesian coordinates, these functions are given by 1 Y 1 , − 1 ( x , y , z ) = 3 8 π x − i y r , Y 1 , 0 ( x , y , z ) = 3 4 π z r , Y 1 , 1 ( x , y , z ) = − 3 8 π x + i y r . https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429296475/bdc73243-97dc-4cf5-9624-109e4c3275b1/content/eqn0667.tif"/> (a) Using the expression in Cartesian coordinates for the quantised orbital angular momentum operator L ^ c z https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429296475/bdc73243-97dc-4cf5-9624-109e4c3275b1/content/ieq1694.tif"/> in Eq. (27.86), verify by explicit calculations that Y 1,1 ( x , y , z ), Y 1,0 ( x , y , z )and Y 1,-1 ( x , y , z ) are the eigenfunctions of L ^ c z https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429296475/bdc73243-97dc-4cf5-9624-109e4c3275b1/content/ieq1695.tif"/> corresponding to eigenvalues ħ , 0 and – ħ . (b) Consider the following coordinate transformations: x → z ′ , y → x ′ , z → y ′ . https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429296475/bdc73243-97dc-4cf5-9624-109e4c3275b1/content/eqn0668.tif"/> (1) 202 Show that the component of the orbital angular momentum operator along the z ′-direction is the same as that along the x -direction, i.e., show that L ^ c z ′ = L ^ c z https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429296475/bdc73243-97dc-4cf5-9624-109e4c3275b1/content/ieq1696.tif"/> . (2) Show that the simultaneous eigenfunctions of L ^ c 2 https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429296475/bdc73243-97dc-4cf5-9624-109e4c3275b1/content/ieq1697.tif"/> and L ^ c x https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429296475/bdc73243-97dc-4cf5-9624-109e4c3275b1/content/ieq1698.tif"/> corresponding to eigenvalues of L ^ c 2 https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429296475/bdc73243-97dc-4cf5-9624-109e4c3275b1/content/ieq1699.tif"/> equal to 2 ħ 2 are given in Cartesian coordinates by X 1 , − 1 ( x , y , z ) = 3 8 π y − i z r , X 1 , 0 ( x , y , z ) = 3 4 π x r , X 1 , 1 ( x , y , z ) = − 3 8 π y + i z r . https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429296475/bdc73243-97dc-4cf5-9624-109e4c3275b1/content/eqn0669.tif"/> SQ36(1)(a) In Cartesian coordinates we have 2 : p ^ x Y → 1 , − 1 : = − i ℏ 3 8 π ∂ ∂ x x − i y r = − i ℏ 3 8 π ( 1 r − x − i y r 2 ∂ ∂ x r ) = − i ℏ 3 8 π ( 1 r − x − i y r 2 x r ) = − i ℏ 3 8 π 1 r 3 ( r 2 − x 2 + i x y ) . https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429296475/bdc73243-97dc-4cf5-9624-109e4c3275b1/content/eqn0670.tif"/> p ^ y Y → 1 , − 1 : = − i ℏ 3 8 π ∂ ∂ y x − i y r = − i ℏ 3 8 π ( − i r − x − i y r 2 ∂ ∂ y r ) = − i ℏ 3 8 π ( − i r − x − i y r 2 y r ) = − i ℏ 3 8 π 1 r 3 ( − i r 2 − x y + i y 2 ) . https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429296475/bdc73243-97dc-4cf5-9624-109e4c3275b1/content/eqn0671.tif"/> L ^ z Y → 1 , − 1 : = ( x p ^ y − y p ^ x ) Y 1 , − 1 = − i ℏ 3 8 π 1 r 3 ( ( − i x r 2 − x 2 y + i x y 2 ) − ( y r 2 − y x 2 + i x y 2 ) ) = − i ℏ 3 8 π 1 r 3 ( − i x r 2 − y r 2 ) = − ℏ 3 8 π 1 r { x − i y } = − ℏ Y 1 , − 1 . https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429296475/bdc73243-97dc-4cf5-9624-109e4c3275b1/content/eqn0672.tif"/> 203 Next we have p ^ x Y → 1 , 0 : = − i ℏ 3 4 π ∂ ∂ x z r = − i ℏ 3 4 π ( − z r 2 ∂ ∂ x r ) = i ℏ 3 4 π z x r 3 . p ^ y Y → 1 , 0 : = − i ℏ 3 4 π ∂ ∂ y z r = − i ℏ 3 4 π ( − z r 2 ∂ ∂ y r ) = i ℏ 3 4 π z y r 3 . L ^ z Y → 1 , 0 : = ( x p ^ y − y p ^ x ) Y 1 , 0 = x ( i ℏ 3 4 π z y r 3 ) − y ( i ℏ 3 4 π z x r 3 ) = 0. https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429296475/bdc73243-97dc-4cf5-9624-109e4c3275b1/content/eqn0673.tif"/> Finally we have p ^ x Y → 1 , 1 : = i ℏ 3 8 π ∂ ∂ x x + i y r = − i ℏ 3 8 π ( 1 r − x + i y r 2 ∂ ∂ x r ) = i ℏ 3 8 π ( 1 r − x + i y r 2 x r ) = i ℏ 3 8 π 1 r 3 ( r 2 − x 2 − i x y ) , https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429296475/bdc73243-97dc-4cf5-9624-109e4c3275b1/content/eqn0674.tif"/> p ^ y Y → 1 , 1 : = i ℏ 3 8 π ∂ ∂ y x + i y r = i ℏ 3 8 π ( i r − x + i y r 2 ∂ ∂ y r ) = i ℏ 3 8 π ( i r − x + i y r 2 y r ) = i ℏ 3 8 π 1 r 3 ( i r 2 − x y − i y 2 ) , https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429296475/bdc73243-97dc-4cf5-9624-109e4c3275b1/content/eqn0675.tif"/> L ^ z Y → 1 , 1 : = ( x p ^ y − y p ^ x ) Y 1 , 1 = i ℏ 3 8 π 1 r 3 { ( i x r 2 − x 2 y − i x y 2 ) = − ( y r 2 − y x 2 − i x y 2 ) } = i ℏ 3 8 π 1 r 3 { i x r 2 − y r 2 } = − ℏ 3 8 π 1 r ( x + i y ) = ℏ Y 1 , 1 . https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429296475/bdc73243-97dc-4cf5-9624-109e4c3275b1/content/eqn0676.tif"/> 204 SQ36(1)(b) (1) Consider a transformation from the original coordinate system ( x , y , z ) to a new coordinate system ( x ′, y ′, z ′): x → z ′ , y → x ′ , z → y ′ . https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429296475/bdc73243-97dc-4cf5-9624-109e4c3275b1/content/eqn0677.tif"/> We can see that the new z ′-axis coincides with the original x -axis, and that r = x 2 + y 2 + z 2 = x ′ 2 + y ′ 2 + z ′ 2 = r ′ . https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429296475/bdc73243-97dc-4cf5-9624-109e4c3275b1/content/eqn0678.tif"/> Physically we expect the angular momentum about the x -axis to be the same as the angular momentum about the z′ -axis. We can confirm this mathematically by showing that L ^ x = y p ^ z − z p ^ y = − i ℏ ( y ∂ ∂ z − z ∂ ∂ y ) https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429296475/bdc73243-97dc-4cf5-9624-109e4c3275b1/content/eqn0679.tif"/> is equal to L ^ z ′ = x ′ p ^ y ′ − y ′ p ^ x ′ = − i ℏ ( x ′ ∂ ∂ y ′ − y ′ ∂ ∂ x ′ ) . https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429296475/bdc73243-97dc-4cf5-9624-109e4c3275b1/content/eqn0680.tif"/> This is obvious since x′ = y , y′ = z . It follows that the eigenfunctions and eigenvalues of L ^ x https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429296475/bdc73243-97dc-4cf5-9624-109e4c3275b1/content/ieq1700.tif"/> are the same in terms of the dashed coordinates as that of L ^ z ′ https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429296475/bdc73243-97dc-4cf5-9624-109e4c3275b1/content/ieq1701.tif"/> . (2) We know the eigenfunctions Y ℓ , m ℓ ′ ( x ′ , y ′ , z ′ ) https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429296475/bdc73243-97dc-4cf5-9624-109e4c3275b1/content/ieq1702.tif"/> and eigenvalues of L ^ z ′ https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429296475/bdc73243-97dc-4cf5-9624-109e4c3275b1/content/ieq1703.tif"/> in the transformed coordinates (x′, y′, z′) as they are of the same form as those of the eigenfunctions and eigenvalues of L ^ z https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429296475/bdc73243-97dc-4cf5-9624-109e4c3275b1/content/ieq1704.tif"/> in the original coordinates, i.e., we have Y 1 , − 1 ′ ( x ′ , y ′ , z ′ ) = 3 8 π x ′ − i y ′ r ′ , Y 1 , 0 ′ ( x ′ , y ′ , z ′ ) = 3 4 π z ′ r ′ Y 1 , 1 ′ ( x ′ , y ′ , z ′ ) = − 3 8 π x ′ + i y ′ r ′ . https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429296475/bdc73243-97dc-4cf5-9624-109e4c3275b1/content/eqn0681.tif"/> 205 Since L ^ z ′ = L ^ x https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429296475/bdc73243-97dc-4cf5-9624-109e4c3275b1/content/ieq1705.tif"/> these are also eigenfunctions of L ^ x https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429296475/bdc73243-97dc-4cf5-9624-109e4c3275b1/content/ieq1706.tif"/> Written in terms of the original coordinates these functions become Y 1 , − 1 ′ = 3 8 π y − i z r , Y 1 , 0 ′ = 3 4 π x r , Y 1 , 1 ′ = − 3 8 π y + i z r . https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429296475/bdc73243-97dc-4cf5-9624-109e4c3275b1/content/eqn0682.tif"/> We can conclude that the required eigenfunctions L ^ x https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429296475/bdc73243-97dc-4cf5-9624-109e4c3275b1/content/ieq1707.tif"/> denoted more conveniently by X 1,1 , X 1,0 , X 1, −1 are X 1 , − 1 = 3 8 π y − i z r , X 1 , 0 = 3 4 π x r , X 1 , 1 = − 3 8 π y + i z r . https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429296475/bdc73243-97dc-4cf5-9624-109e4c3275b1/content/eqn0683.tif"/> Q36(2) Suppose L ^ c 2 https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429296475/bdc73243-97dc-4cf5-9624-109e4c3275b1/content/ieq1708.tif"/> and L ^ c z https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429296475/bdc73243-97dc-4cf5-9624-109e4c3275b1/content/ieq1709.tif"/> are measured giving the eigenvalues 2 ħ 2 and – ħ , respectively. A measurement of L ^ c x https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429296475/bdc73243-97dc-4cf5-9624-109e4c3275b1/content/ieq1710.tif"/> is then made. What are the possible results of the measurement of L ^ c x https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429296475/bdc73243-97dc-4cf5-9624-109e4c3275b1/content/ieq1711.tif"/> ? Find the probability of each of these possible results.