comparison org/bk3.org @ 0:f743fd0f4d8b

initial commit of dylan's stuff
author Robert McIntyre <rlm@mit.edu>
date Mon, 17 Oct 2011 23:17:55 -0700
parents
children
comparison
equal deleted inserted replaced
-1:000000000000 0:f743fd0f4d8b
1 #+TITLE: Bugs in quantum mechanics
2 #+AUTHOR: Dylan Holmes
3 #+SETUPFILE: ../../aurellem/org/setup.org
4 #+INCLUDE: ../../aurellem/org/level-0.org
5
6 #Bugs in Quantum Mechanics
7 #Bugs in the Quantum-Mechanical Momentum Operator
8
9
10 I studied quantum mechanics the same way I study most subjects\mdash{}
11 by collecting (and squashing) bugs in my understanding. One of these
12 bugs persisted throughout two semesters of
13 quantum mechanics coursework until I finally found
14 the paper
15 [[http://arxiv.org/abs/quant-ph/0103153][/Self-adjoint extensions of operators and the teaching of quantum
16 mechanics/]], which helped me stamp out the bug entirely. I decided to
17 write an article about the problem and its solution for a number of reasons:
18
19 - Although the paper was not unreasonably dense, it was written for
20 teachers. I wanted to write an article for students.
21 - I wanted to popularize the problem and its solution because other
22 explanations are currently too hard to find. (Even Shankar's
23 excellent [[http://books.google.com/books/about/Principles_of_quantum_mechanics.html?id=2zypV5EbKuIC][textbook]] doesn't mention it.)
24 - I wanted to check that the bug was indeed entirely
25 eradicated. Attempting an explanation is my way of making
26 sure.
27
28 * COMMENT
29 I recommend the
30 paper not only for students who are learning
31 quantum mechanics, but especially for teachers interested in debugging
32 them.
33
34 * COMMENT
35 On my first exam in quantum mechanics, my professor asked us to
36 describe how certain measurements would affect a particle in a
37 box. Many of these measurement questions required routine application
38 of skills we had recently learned\mdash{}first, you recall (or
39 calculate) the eigenstates of the quantity
40 to be measured; second, you write the given state as a linear
41 sum of these eigenstates\mdash{} the coefficients on each term give
42 the probability amplitude.
43
44
45 * What I thought I knew
46
47 The following is a list of things I thought were true of quantum
48 mechanics; the catch is that the list contradicts itself.
49
50 - For any hermitian operator: Eigenstates with different eigenvalues are orthogonal.
51 - For any hermitian operator: Any physically allowed state can be
52 written as a linear sum of eigenstates of the operator.
53 - The momentum operator and energy operator are hermitian, because
54 momentum and energy are measureable quantities.
55 - In vacuum,
56 - the momentum operator has an eigenstate
57 \(p(x)=\exp{(ipx/\hbar)}\) for each value of $p$.
58 - the energy operator has an eigenstate \(|E\rangle =
59 \alpha|p\rangle + \beta|-p\rangle\) for any \(\alpha,\beta\) and
60 the particular choice of momentum $p=\sqrt{2mE}$.
61 - In the infinitely deep potential well,
62 - the momentum operator has eigenstates with the same form $p(x) =
63 \exp{(ipx/\hbar)}$, but because of the boundary conditions on the
64 well, the following modifications are required.
65 - The wavefunction must be zero everywhere outside the well. That
66 is, \(p(x) = \begin{cases}\exp{(ipx/\hbar)},& 0\lt{}x\lt{}a;
67 \\0, & \text{for }x<0\text{ or }x>a \\ \end{cases}\)
68 #0,&\text{for }x\lt{}0\text{ or }x\gt{}a\end{cases}\)
69 - no longer has an eigenstate for each value
70 of $p$. Instead, only values of $p$ that are integer multiples of
71 $\pi a/\hbar$ are physically realistic.
72
73
74
75 * COMMENT:
76
77 ** Eigenstates with different eigenvalues are orthogonal
78
79 #+begin_quote
80 *Theorem:* Eigenstates with different eigenvalues are orthogonal.
81 #+end_quote
82
83 ** COMMENT :
84 I can prove this: if $\Lambda$ is any linear operator, suppose $|a\rangle$
85 and $|b\rangle$ are eigenstates of $\Lambda$. This means that
86
87
88 \(
89 \begin{eqnarray}
90 \Lambda |a\rangle&=& a|a\rangle,\\
91 \Lambda|b\rangle&=& b|b\rangle.\\
92 \end{eqnarray}
93 \)
94
95 If we take the difference of these eigenstates, we find that
96
97 \(
98 \begin{eqnarray}
99 \Lambda\;\left(|a\rangle-|b\rangle\right) &=& \Lambda |a\rangle - \Lambda |b\rangle
100 \qquad \text{(because $\Lambda$ is linear.)}\\
101 &=& a|a\rangle - b|b\rangle\qquad\text{(because $|a\rangle$ and
102 $|b\rangle$ are eigenstates of $\Lambda$)}
103 \end{eqnarray}\)
104
105
106 which means that $a\neq b$.
107
108 ** Eigenvectors of hermitian operators span the space of solutions
109
110 #+begin_quote
111 *Theorem:* If $\Omega$ is a hermitian operator, then every physically
112 allowed state can be written as a linear sum of eigenstates of
113 $\Omega$.
114 #+end_quote
115
116
117
118 ** Momentum and energy are hermitian operators
119 This ought to be true because hermitian operators correspond to
120 observable quantities. Since we expect momentum and energy to be
121 measureable quantities, we expect that there are hermitian operators
122 to represent them.
123
124
125 ** Momentum and energy eigenstates in vacuum
126 An eigenstate of the momentum operator $P$ would be a state
127 \(|p\rangle\) such that \(P|p\rangle=p|p\rangle\).
128
129 ** Momentum and energy eigenstates in the infinitely deep well
130
131
132
133 * Can you measure momentum in the infinite square well?
134
135
136
137 ** COMMENT Momentum eigenstates
138
139 In free space, the Hamiltonian is \(H=\frac{1}{2m}P^2\) and the
140 momentum operator $P$ has eigenstates \(p(x) = \exp{(-ipx/\hbar)}\).
141
142 In the infinitely deep potential well, the Hamiltonian is the same but
143 there is a new condition in order for states to qualify as physically
144 allowed: the states must not exist anywhere outside of well, as it
145 takes an infinite amount of energy to do so.
146
147 Notice that the momentum eigenstates defined above do /not/ satisfy
148 this condition.
149
150
151
152 * COMMENT
153 For each physical system, there is a Schr\ouml{}dinger equation that
154 describes how a particle's state $|\psi\rangle$ will change over
155 time.
156
157 \(\begin{eqnarray}
158 i\hbar \frac{\partial}{\partial t}|\psi\rangle &=&
159 H |\psi\rangle \equiv\frac{P^2}{2m}|\psi\rangle+V|\psi\rangle \end{eqnarray}\)
160
161 This is a differential equation; each solution to the
162 Schr\ouml{}dinger equation is a state that is physically allowed for
163 our particle. Here, physically allowed states are
164 those that change in physically allowed ways. However, like any differential
165 equation, the Schr\ouml{}dinger equation can be accompanied by
166 /boundary conditions/\mdash{}conditions that further restrict which
167 states qualify as physically allowed.
168
169
170
171
172 ** Eigenstates of momentum
173
174
175
176
177 #In the infinitely deep well potential $V(x)=0$, the Schr\ouml{}dinger
178
179 #\(i\hbar\frac{\partial}{\partial t}|\psi\rangle = H|\psi\rangle\)
180
181
182
183
184
185
186
187 * COMMENT
188
189 #* The infinite square well potential
190
191 A particle exists in a potential that is
192 infinite everywhere except for a region of length \(a\), where the potential is zero. This means that the
193 particle exists in a potential[fn:coords][fn:infinity]
194
195
196 \(V(x)=\begin{cases}0,&\text{for }\;0< x< a;\\\infty,&\text{for
197 }\;x<0\text{ or }x>a.\end{cases}\)
198
199 The Schr\ouml{}dinger equation describes how the particle's state
200 \(|\psi\rangle\) will change over time in this system.
201
202 \(\begin{eqnarray}
203 i\hbar \frac{\partial}{\partial t}|\psi\rangle &=&
204 H |\psi\rangle \equiv\frac{P^2}{2m}|\psi\rangle+V|\psi\rangle \end{eqnarray}\)
205
206 This is a differential equation; each solution to the
207 Schr\ouml{}dinger equation is a state that is physically allowed for
208 our particle. Here, physically allowed states are
209 those that change in physically allowed ways. However, like any differential
210 equation, the Schr\ouml{}dinger equation can be accompanied by
211 /boundary conditions/\mdash{}conditions that further restrict which
212 states qualify as physically allowed.
213
214
215 Whenever possible, physicists impose these boundary conditions:
216 - A physically allowed state ought to be a /smoothly-varying function of position./ This means
217 that if a particle in the state is likely to be /at/ a particular location,
218 it is also likely to be /near/ that location.
219
220 These boundary conditions imply that for the square well potential in
221 this problem,
222
223 - Physically allowed states must be totally confined to the well,
224 because it takes an infinite amount of energy to exist anywhere
225 outside of the well (and physically allowed states ought to have
226 only finite energy).
227 - Physically allowed states must be increasingly unlikely to find very
228 close to the walls of the well. This is because of two conditions: the above
229 condition says that the particle is /impossible/ to find
230 outside of the well, and the smoothly-varying condition says
231 that if a particle is impossible to find at a particular location,
232 it must be unlikely to be found nearby that location.
233
234 #; physically allowed states are those that change in physically
235 #allowed ways.
236
237
238 #** Boundary conditions
239 Because the potential is infinite everywhere except within the well,
240 a realistic particle must be confined to exist only within the
241 well\mdash{}its wavefunction must be zero everywhere beyond the walls
242 of the well.
243
244
245 [fn:coords] I chose my coordinate system so that the well extends from
246 \(0<x<a\). Others choose a coordinate system so that the well extends from
247 \(-\frac{a}{2}<x<\frac{a}{2}\). Although both coordinate systems describe the same physical
248 situation, they give different-looking answers.
249
250 [fn:infinity] Of course, infinite potentials are not
251 realistic. Instead, they are useful approximations to finite
252 potentials when \ldquo{}infinity\rdquo{} and \ldquo{}the actual height
253 of the well\rdquo{} are close enough for your own practical
254 purposes. Having introduced a physical impossibility into the problem
255 already, we don't expect to get physically realistic solutions; we
256 just expect to get mathematically consistent ones. The forthcoming
257 trouble is that we don't.