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

CRC Press eBooks

Quantisation of Fields

Pierre VAN BAAL

Published Apr 19, 2016• 0 citations
Publisher

Abstract

As position is no longer a quantum observable but free particles do not seem to be in contradiction with relativistic invariance, we can try to introduce such a free particle as a quantum observable. This observable is hence described by a plane wave ( 2.1 ) φ k → ( x → , t ) = e − i ( k → o t − x → ⋅ k → ) / ℏ , https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429073601/5d786806-46dc-40d1-b4d3-a3e5f58ba76e/content/equ_31.tif"/>

DOI
10.1201/b15364-2

Related papers

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

Quantum mechanics within the K-field formalism: A free particle

K. B. Korotchenko

Russian Physics Journal•Apr 1, 2007•0 citations

Commutation Rules and Uncertainty Relations

Steven A. Adelman

In this chapter, we develop results that will prove to be very important later. First, we show that if two observables A https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429155741/5d159368-dc20-4763-957b-88b0e101c959/content/C005_equ_0001.tif"/> and B https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429155741/5d159368-dc20-4763-957b-88b0e101c959/content/C005_equ_0002.tif"/> are compatible , that is, if their Hermitian operator representatives A ^ https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429155741/5d159368-dc20-4763-957b-88b0e101c959/content/C005_equ_0003.tif"/> and B ^ https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429155741/5d159368-dc20-4763-957b-88b0e101c959/content/C005_equ_0004.tif"/> commute, then these representatives have a complete orthonormal set of common eigenfunctions Ψ a n , b m ( r ) https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429155741/5d159368-dc20-4763-957b-88b0e101c959/content/C005_equ_0005.tif"/> which are the solutions of the simultaneous eigenvalue problem A ^ Ψ a n , b m ( r ) = a n Ψ a n , b m ( r ) https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429155741/5d159368-dc20-4763-957b-88b0e101c959/content/C005_equ_0006.tif"/> and B ^ Ψ a n , b m ( r ) = b n Ψ a n , b m ( r ) . https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429155741/5d159368-dc20-4763-957b-88b0e101c959/content/C005_equ_0007.tif"/> Consequently, from the discussion at the end of Section 4.5 , when the system is in a quantum state specified by one of the common eigenfunctions Ψ a n , b m ( r ) https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429155741/5d159368-dc20-4763-957b-88b0e101c959/content/C005_equ_0008.tif"/> , both A https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429155741/5d159368-dc20-4763-957b-88b0e101c959/content/C005_equ_0009.tif"/> and B https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429155741/5d159368-dc20-4763-957b-88b0e101c959/content/C005_equ_0010.tif"/> have definite values, a n https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429155741/5d159368-dc20-4763-957b-88b0e101c959/content/C005_equ_0011.tif"/> for A https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429155741/5d159368-dc20-4763-957b-88b0e101c959/content/C005_equ_0012.tif"/> and b m https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429155741/5d159368-dc20-4763-957b-88b0e101c959/content/C005_equ_0013.tif"/> for B . https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429155741/5d159368-dc20-4763-957b-88b0e101c959/content/C005_equ_0014.tif"/> In contrast, we show that if two observables A https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429155741/5d159368-dc20-4763-957b-88b0e101c959/content/C005_equ_0015.tif"/> and B https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429155741/5d159368-dc20-4763-957b-88b0e101c959/content/C005_equ_0016.tif"/> are incompatible , that is, if their representatives A ^ https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429155741/5d159368-dc20-4763-957b-88b0e101c959/content/C005_equ_0279.tif"/> and B ^ https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429155741/5d159368-dc20-4763-957b-88b0e101c959/content/C005_equ_0017.tif"/> do not commute, then these representatives have few if any common eigenfunctions. As a consequence rarely if ever can one find quantum states for which two incompatible observables A https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429155741/5d159368-dc20-4763-957b-88b0e101c959/content/C005_equ_0018.tif"/> and B https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429155741/5d159368-dc20-4763-957b-88b0e101c959/content/C005_equ_0019.tif"/> both have definite values rather than spreads of values. Therefore, two incompatible observables cannot (with rare exceptions) be simultaneously precisely measured. Rather, in analogy to the Heisenberg uncertainty relation Δ x Δ p x ≥ ℏ 2 https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429155741/5d159368-dc20-4763-957b-88b0e101c959/content/C005_equ_0020.tif"/> which exists between the incompatible position and momentum observables, a Heisenberg uncertainty relation exists between any pair of incompatible observables A https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429155741/5d159368-dc20-4763-957b-88b0e101c959/content/C005_equ_0021.tif"/> and B . https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429155741/5d159368-dc20-4763-957b-88b0e101c959/content/C005_equ_0022.tif"/>

CRC Press eBooks•May 31, 2021•0 citations

Electron in the field of a classical and a quantized plane wave traveling in the same direction

Vladislav G. Bagrov, Dmitri M Gitman, V. A. Kuchin

Russian Physics Journal•Jul 1, 1974•0 citations

Modified momentum space in relativistic quantum theory: "plane waves"

І. І. Качурик

Scientific Herald of Uzhhorod University Series Physics•Jun 30, 2004•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
As position is no longer a quantum observable but free particles do not seem to be in contradiction with relativistic invariance, we can try to introduce such a free particle as a quantum observable. This observable is hence described by a plane wave ( 2.1 ) φ k → ( x → , t ) = e − i ( k → o t − x → ⋅ k → ) / ℏ , https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429073601/5d786806-46dc-40d1-b4d3-a3e5f58ba76e/content/equ_31.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?
In this chapter, we develop results that will prove to be very important later. First, we show that if two observables A https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429155741/5d159368-dc20-4763-957b-88b0e101c959/content/C005_equ_0001.tif"/> and B https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429155741/5d159368-dc20-4763-957b-88b0e101c959/content/C005_equ_0002.tif"/> are compatible , that is, if their Hermitian operator representatives A ^ https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429155741/5d159368-dc20-4763-957b-88b0e101c959/content/C005_equ_0003.tif"/> and B ^ https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429155741/5d159368-dc20-4763-957b-88b0e101c959/content/C005_equ_0004.tif"/> commute, then these representatives have a complete orthonormal set of common eigenfunctions Ψ a n , b m ( r ) https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429155741/5d159368-dc20-4763-957b-88b0e101c959/content/C005_equ_0005.tif"/> which are the solutions of the simultaneous eigenvalue problem A ^ Ψ a n , b m ( r ) = a n Ψ a n , b m ( r ) https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429155741/5d159368-dc20-4763-957b-88b0e101c959/content/C005_equ_0006.tif"/> and B ^ Ψ a n , b m ( r ) = b n Ψ a n , b m ( r ) . https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429155741/5d159368-dc20-4763-957b-88b0e101c959/content/C005_equ_0007.tif"/> Consequently, from the discussion at the end of Section 4.5 , when the system is in a quantum state specified by one of the common eigenfunctions Ψ a n , b m ( r ) https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429155741/5d159368-dc20-4763-957b-88b0e101c959/content/C005_equ_0008.tif"/> , both A https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429155741/5d159368-dc20-4763-957b-88b0e101c959/content/C005_equ_0009.tif"/> and B https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429155741/5d159368-dc20-4763-957b-88b0e101c959/content/C005_equ_0010.tif"/> have definite values, a n https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429155741/5d159368-dc20-4763-957b-88b0e101c959/content/C005_equ_0011.tif"/> for A https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429155741/5d159368-dc20-4763-957b-88b0e101c959/content/C005_equ_0012.tif"/> and b m https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429155741/5d159368-dc20-4763-957b-88b0e101c959/content/C005_equ_0013.tif"/> for B . https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429155741/5d159368-dc20-4763-957b-88b0e101c959/content/C005_equ_0014.tif"/> In contrast, we show that if two observables A https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429155741/5d159368-dc20-4763-957b-88b0e101c959/content/C005_equ_0015.tif"/> and B https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429155741/5d159368-dc20-4763-957b-88b0e101c959/content/C005_equ_0016.tif"/> are incompatible , that is, if their representatives A ^ https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429155741/5d159368-dc20-4763-957b-88b0e101c959/content/C005_equ_0279.tif"/> and B ^ https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429155741/5d159368-dc20-4763-957b-88b0e101c959/content/C005_equ_0017.tif"/> do not commute, then these representatives have few if any common eigenfunctions. As a consequence rarely if ever can one find quantum states for which two incompatible observables A https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429155741/5d159368-dc20-4763-957b-88b0e101c959/content/C005_equ_0018.tif"/> and B https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429155741/5d159368-dc20-4763-957b-88b0e101c959/content/C005_equ_0019.tif"/> both have definite values rather than spreads of values. Therefore, two incompatible observables cannot (with rare exceptions) be simultaneously precisely measured. Rather, in analogy to the Heisenberg uncertainty relation Δ x Δ p x ≥ ℏ 2 https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429155741/5d159368-dc20-4763-957b-88b0e101c959/content/C005_equ_0020.tif"/> which exists between the incompatible position and momentum observables, a Heisenberg uncertainty relation exists between any pair of incompatible observables A https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429155741/5d159368-dc20-4763-957b-88b0e101c959/content/C005_equ_0021.tif"/> and B . https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429155741/5d159368-dc20-4763-957b-88b0e101c959/content/C005_equ_0022.tif"/>
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.