-
Notifications
You must be signed in to change notification settings - Fork 2
/
phys137a.html
865 lines (864 loc) · 45.8 KB
/
phys137a.html
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
609
610
611
612
613
614
615
616
617
618
619
620
621
622
623
624
625
626
627
628
629
630
631
632
633
634
635
636
637
638
639
640
641
642
643
644
645
646
647
648
649
650
651
652
653
654
655
656
657
658
659
660
661
662
663
664
665
666
667
668
669
670
671
672
673
674
675
676
677
678
679
680
681
682
683
684
685
686
687
688
689
690
691
692
693
694
695
696
697
698
699
700
701
702
703
704
705
706
707
708
709
710
711
712
713
714
715
716
717
718
719
720
721
722
723
724
725
726
727
728
729
730
731
732
733
734
735
736
737
738
739
740
741
742
743
744
745
746
747
748
749
750
751
752
753
754
755
756
757
758
759
760
761
762
763
764
765
766
767
768
769
770
771
772
773
774
775
776
777
778
779
780
781
782
783
784
785
786
787
788
789
790
791
792
793
794
795
796
797
798
799
800
801
802
803
804
805
806
807
808
809
810
811
812
813
814
815
816
817
818
819
820
821
822
823
824
825
826
827
828
829
830
831
832
833
834
835
836
837
838
839
840
841
842
843
844
845
846
847
848
849
850
851
852
853
854
855
856
857
858
859
860
861
862
863
864
865
<div><div class='wrapper'>
<p><a name='1'></a></p>
<h1>Physics 137A: Quantum Mechanics</h1>
<h2>Wednesday, January 18</h2>
<p>Wick Haxton
431 Old LeConte</p>
<p>GSI: Grant Larsen
420B Old LeConte
<p>Decide office hours during discussion next week.</p>
<h1>Generic Introduction</h1>
<p>special relativity; new theory returns to old theory as some ε→0.
ℏ = h/2π (Planck's constant – angular momentum).</p>
<p>(E₁-E₂)̱\bar{E} = (E₁-E₂)/(p²/2m)>(πℏ/pd)² ≈10^{-69}
ℏ = h/2π = 1.05·10^{-34} J·s</p>
<p><a name='2'></a></p>
<h1>Physics 137A: Quantum Mechanics</h1>
<h2>Friday, January 20</h2>
<h1>Historical review</h1>
<p>Planck: energy is infinite. (remove this paradox by quantization
of all matter.)</p>
<p>T{blackbody} > T{environment} → radiates</p>
<p>encountered contradiction by looking at higher and higher energy modes
in the box.</p>
<p>Incorrect implicit assumption was that energy is not continuous
(i.e. arrives in discrete "packets").</p>
<p>(dimensional analysis)</p>
<p>[ Planck radiation formula. ]</p>
<p>[ photoelectric effect also consistent with quantization of light. ]</p>
<p>de Broglie: particles behaving as waves, in addition to waves behaving as
particles.</p>
<p>(double-slit experiment)</p>
<p>"NOT an effect due to the interference of different photons passing
through the two slits. lower the light intensity so that on average
only one photon is in flight at one time. The intensity pattern is
still produced once the experiment is carried out long enough to
accumulate counts → the interference effect is a property of a single
photon. BUT pattern disappears if one slit is closed."</p>
<p>(superposition of multiple states.)</p>
<p>(Schrödinger's wave equation. blah. Dirac's relativistic version)</p>
<p>(uncertainty & conjugate bases)</p>
<p>(fourier analyses, more about uncertainty)</p>
<h2>Schrödinger's wave equation</h2>
<p>iℏ(∂ψ(x,t)/∂t) = [-(ℏ²/2m)(∂²/∂x² + V(x)] ψ(x,t) = H(x)ψ(x,t)
[ only one-dimensional, so far ]</p>
<p>Operators now written with a circumflex.</p>
<p><a name='3'></a></p>
<h1>Physics 137A: Quantum Mechanics</h1>
<h2>Monday, January 23</h2>
<p>Use of Mathematica/Matlab/WolframAlpha encouraged for homework.</p>
<p>Recap. Talk about <em>how</em> uncertain, measured by product of two related
properties, e.g. momentum + position Schrödinger's equation.</p>
<p>Classical mechanics teaches us (incorrectly!) that physics is
deterministic. This is actually just the most likely path that you can
follow from point a to point b.</p>
<p>The issue is that we have Heisenberg's uncertainty principle, so it is
impossible to precisely know momentum and position simultaneously.</p>
<p>three primary interpretations of QM
* Einstein - deterministic (hidden variables). Wrong.
+ "God does not play dice."
+ Not enough information to fully ascertain position of particle;
must be an issue with the theory.
* Copenhagen (Bohr) - nondeterministic. Widely accepted.
+ "orthodox position",
+ Actually does exist in all possible results simultaneously until
measurement is made and wavefunction is collapsed.
* "agnostic position": who cares?</p>
<p>variance is 〈(Δi)²〉 = 〈i²〉 - 〈i〉²</p>
<p><a name='4'></a></p>
<h1>Physics 137A: Quantum Mechanics</h1>
<h2>Wednesday, January 25</h2>
<p>Discrete distributions and somesuch.</p>
<p>moments and stuff. mean: first moment. variance: roughly second
moment. skewness: third moment. kurtosis (wtf?): fourth moment.</p>
<p>Moments are the analogue of derivatives for distributions. Sort
of. You also have derivatives, which aren't very useful, usually.</p>
<p>stuff with normalizing wave function, |ψ|² = ψ*ψ, etc.</p>
<p><a name='5'></a></p>
<h1>Physics 137A: Quantum Mechanics</h1>
<h2>Friday, January 27</h2>
<p>Talk about using WolframAlpha to compute integrals.</p>
<p>blah, complex numbers. |Ψ|² ≡ ΨΨ*</p>
<p>Satisfying Schrödinger's equation in itself guarantees that
normalizing at a fixed point in time guarantees normalization for all
time.</p>
<p>[ derivations, consulting of notes. Correcting of errors. ]</p>
<p>[ working out expectation of momentum from the wave function. ]</p>
<p>〈v〉 = (d/dt)〈x〉 = [ℏ/im ∂/∂x]{Ψ}Ψ*
m〈v〉 = 〈p〉
\hat{p} = [ℏ/i ∂/∂x]</p>
<p>〈Ô〉 ≡ ∫[Ô]{Ψ}Ψ*dx</p>
<p>ΔxΔp ≥ ℏ/2
e^{ip·x}</p>
<p>Fourier transform of the Gaussian:
P(x) = 1/(√(2π)σ) e^{-x²/(2σ²)} = 1/(2π) ∫[cos(px/ℏ) e^{-p²σ²/(2ℏ²)}]∂(p/h)</p>
<p><a name='6'></a></p>
<h1>Physics 137A: Quantum Mechanics</h1>
<h2>Monday, January 30</h2>
<p>Nothing that hasn't already been covered in statistical mechanics.</p>
<p>fourier transform blah blah blah</p>
<p>quaternions and stuff</p>
<p>Stationary states ⇔ solving the Schrödinger equation (time independent).</p>
<p>iℏ ∂Ψ/∂t = (-ℏ²/2m ∂²/∂² + V(x))Ψ
= (T + V)Ψ
V = V(x,t) = V(x)
Ψ(x,t) = Ψ(x)e^{-iEt/ℏ}</p>
<p>Eliminated time dependence with Fourier transform.</p>
<p>Time independent Schrodinger equation:
EΨ′(x) = [-ℏ²/2m ∂²/∂x² + V(x)]Ψ′(x)
Ψ(x,t) = Ψ′(x) e^{-iEt/ℏ}</p>
<p>Probability density is fixed over time. Very strong statement.</p>
<p>Such a solution is called a stationary state because the probability
density is independent of time. i.e. V(x,t) → V(x)</p>
<p>First big idea, stationary states.
〈Ĥ〉 = ∫Ψ⁺ĤΨdx</p>
<p>σ{Ĥ} = 〈H²〉 - 〈H〉² = 0. Stationary states have definite
energy. Eigenvalues.</p>
<p><a name='7'></a></p>
<h1>Physics 137A: Quantum Mechanics</h1>
<h2>Wednesday, February 1</h2>
<p>REMINDER: surfaces ⇒ boundaries.</p>
<p>Mostly duplicated information.</p>
<p>variance in energy is 〈H²〉 - 〈H〉² = 0.</p>
<p>proof of orthogonality; partial integrations and stuff. For two
different eigenvectors.</p>
<p>〈2|\hat{O}|1〉.</p>
<p>If you combine results with other results, we have a Krönecker delta.
∫Ψ*{i}Ψ{j} = δ{ij}.</p>
<p>The basic idea is that if you just focus on the time-independent
Schrödinger equation, it's quite powerful and used over and over again
in quantum mechanics.</p>
<ul>
<li>First idea is time-independent solutions of the Schrödinger equation.</li>
<li>Basis vectors don't change over time.</li>
<li>Second idea is stationary states or eigenvalues or whatever (definite
energy).</li>
<li>Basis vectors are eigenvectors.</li>
<li>Third idea is orthogonality.</li>
<li>These basis vectors are orthonormal.</li>
<li>Fourth idea is completeness.</li>
<li>This basis is a complete basis.</li>
</ul>
<p>parity? arbitrary coordinates. V(x) is infinite outside the well, 0
inside the boundaries. We want to know how to solve that equation with
quantum mechanics. blah blah blah, construct Fourier series
already. Nothing interesting.</p>
<p>Ψ(x) = Asin(kx) + Bcos(kx).</p>
<p>We want our divergence to be 0. Continuous, zero at boundaries. Must
be zero at boundaries. THESE ARE BASIC BOUNDARY CONDITIONS.
½ka = π/2 + ℓπ (ℓ ∈ \mathbb{N})
a = (2ℓ+1)π/k</p>
<p>blah, constructing fourier series still</p>
<p><a name='8'></a></p>
<h1>Physics 137A: Quantum Mechanics</h1>
<h2>Friday, February 3</h2>
<p>Observations:</p>
<ul>
<li>
<p>Eigenvalues discrete</p>
<p>⇔ imposed by boundary conditions
Ψ(x) = 0 at x = a/2, -a/2.</p>
</li>
<li>
<p>wavefunction with En ∝ n²</p>
</li>
</ul>
<h1>Properties</h1>
<ul>
<li>Even/odd states under reflection around origin</li>
<li>
<p>V(x) = V(-x).</p>
</li>
<li>
<p>Wave functions differ by the number of nodes.</p>
</li>
<li>
<p>n - 1 = # nodes.</p>
</li>
<li>
<p>Wave functions are orthonormal. 〈Ψ{m}|Ψ{n}〉</p>
</li>
<li>Wave functions are also complete.</li>
</ul>
<p>blarg, constructing fourier series (finally) and bra-ket notation
(only now?).</p>
<p><a name='9'></a></p>
<h1>Physics 137A: Quantum Mechanics</h1>
<h2>Monday, February 6</h2>
<p>Anything prepared in an eigenstate stays in an eigenstate. But what if we
don't prepare our state in this way?</p>
<p>You can expand this wave function in terms of this complete basis, and you
have to write down the initial equations that you got. Guess. That guess is
right. iℏ∂/∂t Φ = [-ℏ²/2m ∂²/∂x² + V] Φ</p>
<p>iℏ ∑a{n}Ψ{n}(-iEn/ℏ)exp(-iEnt/ℏ) = ∑[a{n}exp(-iEnt/ℏ)[-ℏ²/2m d²/dx² + V(x)]Ψ{n}]</p>
<h1>Summary</h1>
<h1>V(x,t) = V(x)</h1>
<h1>We solve for special stationary states ⇔ [-ℏ²/2m d²/dx² + V]Ψ = EΨ ⇒</h1>
<p>complete set {Ψ, E} n ∈ N
|Ψ|² = |Ψ|² end of time</p>
<h1>General solution</h1>
<p>Φ = ∑aΨ</p>
<p>〈Φ|H|Φ〉 = ∑|a{n}|²E{n}</p>
<p>stuff with conjugates and whatnot.</p>
<p><a name='10'></a></p>
<h1>Physics 137A: Quantum Mechanics</h1>
<h2>Wednesday, February 8</h2>
<p>Harmonic oscillator</p>
<pre><code>V(x)| __ ____
|/ \ /
| | ___/
| \__/
|_________________
x
</code></pre>
<p>This potential is symmetric in momentum and position. A wave packet in
coordinate space, if you Fourier-transform it, is the same wave packet is
momentum space. Has this property that if you want to do many-body physics
(not in this class) and use as a basis the harmonic oscillator, then you
get nice stuff that happens. One of the great things about the harmonic
oscillator is that, say you have 3 particles. Three coordinates describing
them. Most of the time, you're not interested in said coordinates, but
rather what the wave function looks like. Take out center-of-mass
motion. You have the same problem in general many-body theory. Excitations
in nucleus, whatever. Would love to have a big set of basis states where
you could write things down simply and just work with the interesting
part. The harmonic oscillator allows you to do that. For all these reasons
this problem is actually important, but you don't see them in the
textbook. tl;dr: this makes life easier when you get to harder problems.</p>
<p>You recognize such a potential because of springs. W = kx²/2. Because the
potential is quadratic, the restoring force is linear. You can calculate
the frequency omega ≡ √(k/m)</p>
<p>Let's start by writing down the time-independent Schrödinger
equation. There's a potential term, and that we'll write as ½momega². What prof
is going to do is straight out of the book, so don't take notes. Cool.</p>
<p><strong>Adding 0 and multiplying by 1: most useful math tricks.</strong></p>
<p><strong>Addition/subtraction: physicist's worst nightmare.</strong></p>
<p><strong>Regularization: it is your best friend.</strong></p>
<p><a name='11'></a></p>
<h1>Physics 137A: Quantum Mechanics</h1>
<h2>Friday, February 10</h2>
<p>So, last time we were doing a harmonic oscillator. Calculation takes two
full lectures. Energy has to be quantized. Good first start. Lots of
motivation for the harmonic oscillator. Useful in general for lots of
different interactions. The first step is to define the time-independent
solutions. First thing to do is to introduce a dimensionless coordinate.</p>
<p>Talk about solution to simple harmonic oscillator. Why it must be a finite
polynomial (actually, no good reason -- it's just easier). how to get said
finite polynomial. numerator has to vanish. result must be either odd or
even. it's in the math. working out hermite polynomials by hand. haven't
even gotten around to the closed-form version.</p>
<p>(n+1)(n+2)T(n+2) = (2n+1 - 2E/ℏomega)T(n)</p>
<p>δ(nm)√π 2ⁿn!. Orthogonal.</p>
<p>Recurrence relation. H{n+1} = 2yH{n} - 2n(H{n-1}.</p>
<p>dⁿH{n}/dn = 2nH{n-1}.</p>
<p>Now you just have to go ahead and plug in this formula into our wave
function. It's just a whole lot of algebra, so Haxton will just write down
the result instead of possibly getting it wrong. Will probably be in the
text.</p>
<p>You have to choose either a₀ or a₁ to be 0. Choosing both yields a useless
result.</p>
<p>blarg, orthog basis saves time.</p>
<p><strong>Protip: You can violate energy conservation as long as you don't do it
too much.</strong>
|x| > √(ℏ/momega (2n+1)) ⇒ ∫Ψ*x²Ψdx.</p>
<p>whenever you have an x that is more than twice its root-mean-square, you
are violating mathematics. Which is great. This happens 11% of the
time. This is excellent.</p>
<p>Next Monday: calculating expectation value of p².</p>
<p><a name='12'></a></p>
<h1>Physics 137A: Quantum Mechanics</h1>
<h2>Monday, February 13</h2>
<p>Hermite relations:
∫Hm(y)Hn(y)e⁻{y²/₂}dy = √π 2ⁿ n! δ{nm}
H{n+1} = 2yH{n} - 2nH{n-1}
dH{n}/dy = 2nH{n-1}.</p>
<p>〈x²〉n = ∫Ψ*(x)x xΨ(x)dx. Use recurrence relation, then use first
relation.</p>
<p>〈p²〉 = momegaℏ²(2n+1)/2. 〈T〉 = 〈p²〉/2m = ℏω/2 (2n+1)/2</p>
<p>σ{x}σ{p} = ℏ/2 (2n+1) ≥ ℏ/2 (n guaranteed to be non-negative)</p>
<p>Barrier presentation. Potential greater than energy.</p>
<p>Talk about free particles.</p>
<p><a name='13'></a></p>
<h1>Physics 137A: Quantum Mechanics</h1>
<h2>Wednesday, February 15</h2>
<p>Recap: free particle schrödinger equation has a set of solutions. \Psi(x) =
1/√(2π)e^{ikx}. |Ψ(x)|² = 1/2π. Not normalizable. Analogous to sin, cos
functions in a box. -∞ < k < ∞. <em>both signs</em>. E{k} = ℏ²k²/2m</p>
<p>Finite a box. from -πa to πa.</p>
<p>e^{ikx} as our wave functions.</p>
<p>Boundary conditions: e^{-ikπa} = e^{ikπa}. PERIOD ≡ 1/a; freq ≡ a by
construction.</p>
<p>We now have a discrete set of wave functions over a finite width. We know
how to normalize this. Do what we would normally do. Our interval is (as
stated earlier) [-π/a,π/a]. blah, demonstration of orthonormality. Take
limit as a → ∞.</p>
<p>talk about boxes. lots of handwaving. sucky explanation of δ(r).</p>
<p>Now that we have our δ (finally!) we can just write down the answer. Or
not.</p>
<p>When all the dust clears, what do you get? What we've discovered from these
arguments is that we wanted to get these a{k}. So we had the right idea,
(not really) and we worked out the math by hand and had to check for
orthonormality as opposed to completeness.</p>
<p>We naturally get a(k′). "If you squint at this, it looks just like our
Krönecker delta."</p>
<p>The final step is that we write the solution. Evolves just as you expected
it to be. Plug it back into the Schrödinger equation.</p>
<p>(blarg, this is the Fourier transform. Finally. The <em>obvious</em> way to do the
problem.)</p>
<p>wave packets, momentum composition. blah blah blah, you can show that
they're equivalent, etc.</p>
<p><a name='14'></a></p>
<h1>Physics 137A: Quantum Mechanics</h1>
<h2>Friday, February 17</h2>
<h1>finite square well???</h1>
<h1>pset -></h1>
<pre><code>week from Monday.
</code></pre>
<h1>midterm -></h1>
<pre><code>no δ function potential.
yes δ-function ⇔ Fourier
up to bound-state square well
</code></pre>
<h1>notes -></h1>
<pre><code>Saturday
</code></pre>
<h1>schedules/accommodations -> Thursday?</h1>
<p>fourier transform! fourier transform!</p>
<h1>Finite square well (finally)</h1>
<p>We'll set some zero energy, and a potential that has a depth of -V₀. This
is the base of our well. My wells are always symmetric around the origin,
and they always have width a. So we've got two regions: E > 0 and E < 0.</p>
<p>Negative energy: "is bound". It's just a shift of our ground. No physics
involved whatsoever. So we want to solve this problem. We'll do both bound
state and continuum solutions for this thing.</p>
<p>Curvature of the wave function corresponds to energy. If I look at the
energy (relative to 0) of the first and second eigenstates, the energy gaps
are going to be smaller than higher up.</p>
<p>Not an infinite number of energies, since it's not an infinite well. Gets
increasingly compact on the way up.</p>
<p>Continuous stuff.</p>
<p>Let's first consider stuff in our well. We've got two regions: x<-a/2,
x>a/2, and -a/2 < x < a/2. The first part is the free SE. Nothing
interesting there.</p>
<p><a name='15'></a></p>
<h1>Physics 137A: Quantum Mechanics</h1>
<h2>Wednesday, February 22</h2>
<p>No cheatsheet. Won't need it. Mostly qualitative questions. One really hard
question for bored people. Five points. Believe it or not, we're catching
up on the homework. Too much turmoil, so these will just be in the
discussion sections.</p>
<p>So what we were doing last time, we were halfway through the wave
function. Derivatives have to be continuous, functions must be
continuous.</p>
<p>We know is that wave functions either break down into odd solutions or even
solutions. So solve each separately.</p>
<p>Standard solving of ordinary differential equations: write down general
form, then enforce boundary conditions.</p>
<p>\kappa is pre-propagation, so doesn't know about potential. k is
propagation.</p>
<p>Remember that this only gives us half of the solutions.</p>
<p><a name='16'></a></p>
<h1>Physics 137A: Quantum Mechanics</h1>
<h2>Monday, February 27</h2>
<p><mathjax>$\let\onabla\nabla
\renewcommand{\vec}[1]{\overset{\rightharpoonup}{#1}}
\renewcommand{\nabla}{\vec{\onabla}}
\newcommand{\div}{\vec{\onabla}}
\newcommand{\tens}[1]{\overset{\rightharpoonup\hspace-6pt\rightharpoonup}{\mathbf{#1}}}$</mathjax>
Talk about solving transcendental equations by plotting. More room for
bound states as blue line gets larger. Intersections correspond to
eigenstates. If you're deep down in the bottom of an finite well, it should
look like an infinite well. Your probability of penetrating into the
forbidden region is governed by an exponential in <mathjax>$\kappa$</mathjax>.</p>
<p>Zero-energy bound state (parameter <mathjax>$V_0 a^2$</mathjax> very small) corresponds to an
arbitrarily weak potential and arbitrarily wide well.</p>
<p>Similarly, the <mathjax>$\delta$</mathjax> potential corresponds to <mathjax>$a \to 0$</mathjax>, <mathjax>$V_0
\to \infty$</mathjax>.</p>
<p>Talk about how the wave function has continuous zeroth and first
derivatives at boundaries.</p>
<p>Tunnelling makes the sun work.</p>
<p><a name='17'></a></p>
<h1>Physics 137A: Quantum Mechanics</h1>
<h2>Wednesday, February 29</h2>
<p><a name='18'></a></p>
<h1>Physics 137A: Quantum Mechanics</h1>
<h1>Transmission, Reflection, Tunneling</h1>
<h2>Friday, March 2</h2>
<p>if we include in our finite basis wave numbers k_n = n\pi/b such that n \gg
b/a can resove bump.</p>
<p>idea: use large basis in n, construct stationary states numerically.</p>
<p>Fourier basis complete over interval.</p>
<p>Stationary state satisfies S.E.</p>
<p><a name='19'></a></p>
<h1>Physics 137A: Quantum Mechanics</h1>
<h2>Monday, March 5</h2>
<p>Handing back of exams.</p>
<p>One repeat problem on next midterm.</p>
<h1>Chapter 3</h1>
<p>Departure from this point; beginning of chapter 3.</p>
<p>Last time was a brief introduction. What we did Friday: Up to now:
differential equation to stationary states. But limiting!</p>
<p>Friday: Found them numerically: basis, then truncated: Physics. You have to
match truncation with Physics you want to capture in the problem.</p>
<p>Numerically diagonalized approximate stationary states.</p>
<p>Why? Fun applications; introduced notions of matrix form of <mathjax>$T + V$</mathjax>,
vectors as solutions to time-independent Schr\"odinger equation.</p>
<p>vectors: <mathjax>$\alpha_i\ket{x_i}$</mathjax>; inner products: <mathjax>$\braket{\alpha}{\beta}
\equiv \alpha^\dagger \beta$</mathjax>: linear transformations/operators: <mathjax>$\op{
\alpha}$</mathjax> (must be Hermitian, even). Representable by a matrix.</p>
<p>Our vector spaces are usually infinite. This should not confuse you.</p>
<p>Quantum vector spaces (Hilbert spaces -- this is technically a lie --
Hilbert spaces in this sense do not contain the zero matrix, nor are they
closed under anything -- it's really more of a k-sphere): examples:
infinite square well: <mathjax>$\sqrt{\frac{2}{a}} e^{i\pi nx/a}$</mathjax></p>
<p>So we know some things about these products. The point about QM is that not
all possible functions are allowable. We know we want to be able to
calculate expectation values of things, which we measure. It's a real
number. Spectral theorem.</p>
<p><mathjax>$\braket{\psi_m}{\psi_n} = \delta_{mn}$</mathjax></p>
<p>What do we do when eigenvalues are degenerate?
a) Curl up into a ball and cry.
b) Ignore said fact.
c) Mathematica</p>
<p>orthonormal basis.</p>
<p><a name='20'></a></p>
<h1>Physics 137A: Quantum Mechanics</h1>
<h2>Friday, March 9</h2>
<p>Quaternions:</p>
<p>[1 0] [-i 0] [0 -1] [0 i]
[0 1], [ 0 i], [1 0], [i 0]</p>
<p>1 i j k</p>
<p>\sum_k e_k \ket{\psi_k}</p>
<p>[x,p] = xp - px</p>
<p><a name='21'></a></p>
<h1>Physics 137A: Quantum Mechanics</h1>
<h2>Monday, March 12</h2>
<p>Recap: spectral theorem; completeness of eigenfunctions.</p>
<p>Dirac orthonormality (consider Fourier transform)</p>
<p>Now it gets a little more interesting. Suppose we have some wave packet
(the book calls this generalized statistical interpretation). Not this
example, but the next which will be important. Will tell when you can label
with more than one quantum number.</p>
<p>Reason why this is being done is because you can start thinking about
operators abstractly. Fact that you know the general theorems that go with
any operator, etc.</p>
<p>Let's go through and see what he means by this idea of a generalized
statistical interpretation. Consider operator H (hamiltonian). We'll have
some wave packet <mathjax>$\Phi\equiv \alpha_i\ket{\phi_i}$</mathjax>. The expansion of this
is simply <mathjax>$\braKet{\Phi}{H}{\Phi}$</mathjax>.</p>
<p>There will be an eigenspectrum corresponding to all the possible outcomes
of a measurement. You'll wind up getting this completeness relationship,
where the probabilities correspond to the coefficients.</p>
<p>probability of a particle being at a specific point means nothing in
continuous case -- rather, we have to speak of it being found in some
interval.</p>
<p>Let's write out this idea of simultaneous measurements and commuting
operators.</p>
<p>So now let's go ahead and compute that the commutator is zero.</p>
<p>Another way to measure how different these eigenvectors are is to see
whether these matrices commute or not. If they commute, they have a common
set of eigenvectors. Commuting means <mathjax>$XZ - ZX = 0$</mathjax>. So we want to look at <mathjax>$XZ
- ZX$</mathjax> (a commutator, denoted by <mathjax>$[X,Z]$</mathjax>).</p>
<p>So what does this look like between <mathjax>$\hat{x}$</mathjax> and <mathjax>$\hat{p}$</mathjax>? We have product
rule coming into play... yielding <mathjax>$[x,p] \equiv i\hbar$</mathjax>.</p>
<p>We'll use this to derive <mathjax>$\Delta x\Delta p = \hbar/2$</mathjax>.</p>
<p>Recall: given an observable A and a state <mathjax>$\ket{Ψ}$</mathjax>, the expected value is
<mathjax>$\braKet{\Psi}{A}{\Psi}$</mathjax>. We also saw that the variance was <mathjax>$E(x^2) -
E(x)^2$</mathjax>, so in this case <mathjax>$\sigma^2 = \braKet{\Psi}{A^2}{\Psi} -
\braKet{\Psi}{A}{\Psi}^2$</mathjax>.</p>
<p>Wednesday, what we're going to do is try some derivation of what the
uncertainty principle looks like in general.</p>
<p><a name='22'></a></p>
<h1>Physics 137A: Quantum Mechanics</h1>
<h2>Wednesday, March 14</h2>
<p>playing around with uncertainty principle; derivation through (commutator +
anticommutator)/2. Consideration of Cauchy-Schwarz inequality. Schwarz
inequality becomes equality in certain cases.</p>
<p><a name='23'></a></p>
<h1>Physics 137A: Quantum Mechanics</h1>
<h2>Wednesday, March 14</h2>
<p>Uncertainty relation: what is its meaning? How do you measure a particle?
Observations disturb state.</p>
<p>Uncertainty principle is why we exist. Hydrogen atom: proton surrounded by
some electron orbit. THe size of the proton is roughly <mathjax>$10^{-15} m$</mathjax>, or one
fm (fermi, as we come to know it). THe electron sits a distance <mathjax>$a_0$</mathjax> (Bohr
radius) away from the proton, roughly <mathjax>$5 \cdot 10^{-11}$</mathjax>. Pauli exclusion
principle leads to repulsive force. 1931: Ehrenfest postulated. Later,
1967: Freeman Dyson along with collaborator A. Lenard proved that this
causes normal force: matter would be much squishier.</p>
<p>H = T + V. We know <mathjax>$T = \frac{p^2}{2m}$</mathjax>, and V is given by <mathjax>$-\frac{e^2}{r
4\pi\epsilon_0}$</mathjax>. We thus have <mathjax>$\int d^3x \Psi^*\parens{-\frac{\hbar^2}
{2m}\nabla^2 \Psi}$</mathjax>. This is roughly <mathjax>$R$</mathjax>. Then we know the kinetic energy,
which is the sum of all the momenta, <mathjax>$\frac{1}{2m}\avg{p_x^2 + p_y^2 +
p_z^2} = \frac{1}{2m}3\frac{\hbar^2}{4R^2} \approx \frac{3}{8}
\frac{\hbar^2}{mR^2}$</mathjax>. So <mathjax>$\avg{H} \approx \frac{3}{8}\frac{\hbar^2}{mR^2}
- \frac{e^2}{R4\pi\epsilon_0}$</mathjax>. <mathjax>$\pderiv{}{R}\avg{H} = 0$</mathjax>. Therefore <mathjax>$R =
\frac{3}{4}\frac{\hbar^2}{mc\alpha}$</mathjax>. </p>
<p>Two good examples of generalizing uncertainty in text. Decay,
travel.</p>
<p>There's another uncertainty relation that's common to write down, i.e. the
time-energy uncertainty principle. Time scale for observable quantity:
width of particle inversely proportional to lifetime.</p>
<p>Let's do a more specific example: consider a wave function given by the
following gaussian wave packet: <mathjax>$\phi = \frac{e^{-(x - x_0)^2 / 2a^2}
e^{ip_0x/\hbar}}{(\pi a^2)^{1/4}}$</mathjax>. What is the uncertainty in the position
of the particle?</p>
<p><mathjax>$\sigma_x = \frac{a}{\sqrt{2}}$</mathjax>.</p>
<p>Assume we have an infinite hilbert space. Note that one is represented by
<mathjax>$\infint dx \abs{xXx}$</mathjax>.</p>
<h1>Dirac's bra-ket Notation</h1>
<p>talk about finding eigenvalues and eigenvectors. <mathjax>$\ketbra{i}{j}H_{ij}$</mathjax>.</p>
<p>Note that <mathjax>$\braket{i}{j} = \delta_{ij}$</mathjax></p>
<p>More bra-ket notation. Basis must span Hilbert space. Completeness
relation.</p>
<p><a name='24'></a></p>
<h1>Physics 137A: Quantum Mechanics</h1>
<h2>Monday, March 19</h2>
<p>Recaps. Uncertainty principle at multiple places. Showed that if you show
momentum acting on Gaussian, it's effectively <mathjax>$-\frac{\hbar}{i} \frac{1}{2
\sigma_x^2} \hat{x}$</mathjax>. Showed that inequality became an equality, so our
fudging worked just fine.</p>
<p>Time dependence shows up explicitly in some operators; none that we've
encountered thus far.</p>
<p>Two things to take away: <mathjax>$\pderiv{}{t}\avg{\hat{Q}_H} = \frac{i}{\hbar}
\avg{\comm{\hat{H}}{\hat{Q}_H}} + \avg{\pderiv{Q_H^\prime}{t}}$</mathjax>. We can use
this to derive the generalized uncertainty principle: <mathjax>$\sigma_H^2\sigma_Q^2
\ge \avg{\frac{1}{2i}\comm{H}{\hat{Q}}}^2\implies \sigma_H\sigma_Q \ge
\frac{\hbar}{2}\abs{\pderiv{\avg{\hat{Q}}}{t}}$</mathjax>. Using this for energy and
time, we show that we've also got a time-energy uncertainty principle.</p>
<p>Interesting things that aren't stationary: e.g. 2p in hydrogen. Somewhat
important, since using a laser, one thing you want to do is pump hydrogen
to an excited state.</p>
<p>Talk about lifetimes being <mathjax>$\delta t \approx \frac{1}{\omega}$</mathjax>.</p>
<p>Bandgaps. Slowing down of atoms. Doppler shift.</p>
<p>More dimensions! Toy models.</p>
<p>Spherical symmetry.</p>
<p>Schrodinger equation in three dimensions: just replace <mathjax>$x$</mathjax> with
<mathjax>$\vec{r}$</mathjax>. Thus <mathjax>$\pderiv{}{x} \to \nabla$</mathjax>.</p>
<p>We have a different normalization, now: it's now an integral over ALL
SPACE. Same reasoning: particle must be <em>somewhere</em>. So, as before, we can
take our wave function and write <mathjax>$\Psi(\vec{r},t) = \psi(\vec{r})
e^{-iEt/\hbar}$</mathjax>. Plug this in, and we get the time-dependent Schrodinger
equation.</p>
<p>Solve this equation, and we'll get the stationary states.</p>
<p>Hydrogen atom! Make use of fact that we'll have various conserved
quantities. This is why we talked about commutators and stuff. Angular
momentum and stuff.</p>
<p>One very interesting class of problems: <mathjax>$V(r)$</mathjax> (not <mathjax>$\vec{r}$</mathjax>). For
instance, <mathjax>$V = \frac{\alpha}{r}$</mathjax>.</p>
<p><a name='25'></a></p>
<h1>Physics 137A: Quantum Mechanics</h1>
<h2>Wednesday, March 21</h2>
<p>Recaps. In 3 dimensions, note that k,p,x are now vectors, and instead of
<mathjax>$kx$</mathjax>, we have <mathjax>$\vec{k}\cdot \vec{r}$</mathjax>.</p>
<p>Beautifully similar to what we have in one dimension. For many problems
we'll be interested in, the potential is spherically symmetric.</p>
<p><mathjax>$$
2\braKet{\psi}{x^2}{\psi} = \braKet{\psi_1e^{-iE_1t/\hbar} +
\psi_2e^{-iE_2t/\hbar}}{x^2}{\psi_1e^{-iE_1t/\hbar} +
\psi_2e^{-iE_2t/\hbar}}
\\ = \braKet{\psi_1e^{-iE_1t/\hbar}}{x^2}{\psi_1 e^{-E_1t/\hbar}} +
\braKet{\psi_1e^{-iE_1t/\hbar}}{x^2}{\psi_2 e^{-E_2t/\hbar}} +
\\ \braKet{\psi_2e^{-iE_2t/\hbar}}{x^2}{\psi_1 e^{-E_1t/\hbar}} +
\braKet{\psi_2e^{-iE_2t/\hbar}}{x^2}{\psi_2 e^{-E_2t/\hbar}}
\\ = \braKet{\psi_1}{x^2}{\psi_1} +
e^{-i(E_2 - E_1)t/\hbar} \braKet{\psi_1}{x^2}{\psi_2} +
\\ e^{-i(E_1 - E_2)t/\hbar} \braKet{\psi_2}{x^2}{\psi_1 } +
\braKet{\psi_2}{x^2}{\psi_2}
\\ = \braKet{\psi_1}{x^2}{\psi_1} + \braKet{\psi_2}{x^2}{\psi_2} +
2\cos\parens{\frac{(E_2 - E_1)t}{\hbar}} \braKet{\psi_1}{x^2}{\psi_2}
$$</mathjax></p>
<p>Solving 3-dimensional separation of variables. Angular equation; radial
equation. Legendre polynomials. <mathjax>$\ell(\ell + 1)$</mathjax></p>
<p><a name='26'></a></p>
<h1>Physics 137A: Quantum Mechanics</h1>
<h2>Friday, March 23</h2>
<p>???</p>
<p><a name='27'></a></p>
<h1>Physics 137A: Quantum Mechanics</h1>
<h2>Monday, April 2</h2>
<p>for small r, the singular parts have to be equal. We know that <mathjax>$U_l$</mathjax> looks
like <mathjax>$Ar^{l+1} + Br^{-l}$</mathjax>. The second term has to be zero, since that
would diverge.</p>
<p>First example we can solve: analogue of infinite square well. Inifnite
potential beyond <mathjax>$r = a$</mathjax>. Conceptually: confinement of particle in 3-D. Now
confined in three dimensions.</p>
<p>Introduce wave number <mathjax>$k = \frac{\sqrt{2mE}}{\hbar}$</mathjax>. <mathjax>$\deriv{^2 u}{r^2} =
\bracks{\frac{l(l+1)}{r^2} - k^2}u$</mathjax>. <mathjax>$u(r) = A\sin kr + B\cos kr$</mathjax>. B must
be zero, since wave function is zero at origin. At <mathjax>$r = a$</mathjax>, wave function
must also vanish. So we must have <mathjax>$ka = n\pi$</mathjax>. So you have your
quantization, so your energies are <mathjax>$E = \frac{\hbar^2 k^2 a^2}{2ma^2} =
\frac{\hbar^2 n^2 \pi^2}{2ma^2}$</mathjax>. We've learned that the difference between
one-dimensional and three-dimensional case is angular momentum, but there
is no angular momentum in an s wave. So this looks very similar to infinite
square well: we just have the additional boundary condition that <mathjax>$u(0) =
0$</mathjax>.</p>
<p>So the total solution for this, <mathjax>$\Psi_{nlm}(\vec{r}) = \sqrt{\frac{2}{a}}
Y_{00}(nx) \frac{\sin(n\pi r/a)}{r} = \sqrt{\frac{2}{a}}\frac{\sin(n\pi
r/a)}{\sqrt{4\pi}{r}}$</mathjax>.</p>
<p>spherical bessel function -- sinc?</p>
<p><mathjax>$\Psi_{n00}(\vec{r} = \frac{1}{\sqrt{2\pi a}}\frac{n\pi}{a} \sinc(\frac
{nr}{a}) = n\sqrt{\frac{\pi}{2}} \frac{1}{a^{3/2}} J_0(\kappa r); \kappa
\equiv \frac{n\pi}{a}$</mathjax></p>
<p><mathjax>$J_0$</mathjax> is our spherical Bessel function. Two places: scattering (coming in
with plane wave, outgoing wave is spherically symmetric wave function that
spreads out from the scatterer, so write as plane wave and stuff
(e.g. <mathjax>$e^{i\vec{k}\cdot \vec{r}} = \sum_{lm} Y_{lm}(\theta, \phi)Y^*_{lm}
(\theta_k, \phi_k)$</mathjax> -- turns into a Bessel function).</p>
<p>General problem we actually wanted to solve: <mathjax>$\bracks{\deriv{^2}{r^2} + k^2
- \frac{\ell(\ell + 1)}{r^2}}u_\ell(r) = 0$</mathjax>. This leads to
<mathjax>$\bracks{r^2\deriv{^2}{r^2} + 2r\deriv{}{r} + k^2r^2 - \ell(\ell + 1)}
R_{n\ell} = 0 \implies \bracks{k^2r^2\deriv{^2}{k^2r^2} + 2kr\deriv{}{kr}
+ k^2r^2 - \ell(\ell + 1)} R_{n\ell} \\ = 0 = \bracks{z^2\deriv{^2}{z^2} +
2z\deriv{}{z} + z^2 - \ell(\ell + 1)} R_{n\ell}(z)$</mathjax>.</p>
<p>Indeed, there are two classes of solutions: "good" and "bad"
solutions. General form is going to be <mathjax>$R_{n\ell}(kr) = AJ_\ell(kr) +
Bn_\ell (kr)$</mathjax>. <mathjax>$n_\ell$</mathjax> is a different spherical Bessel function that is
poorly-behaved, Another set of Bessel functions called the spherical Hankel
functions. This is one particular case where they map onto sinusoids; the
case where they map onto complex exponentials corresponds to the Hankel
functions.</p>
<p>The <mathjax>$J_\ell$</mathjax> are our good solutions; the <mathjax>$n_\ell$</mathjax> (<mathjax>$n_0 =
-\frac{\cos(x)}{x}$</mathjax>) are our bad functions.</p>
<p><mathjax>$J_1(x) = \frac{\sin x}{x^2} - \frac{\cos x}{x}$</mathjax>, <mathjax>$n_1(x) = -\frac{\cos
x}{x^2} - \frac{\sin x}{x}$</mathjax>. Recursion formula (not in the book): <mathjax>$f_{\ell
+ 1}(x) = \frac{2\ell + 1}{x}f_\ell(x) - f_{\ell-1}(x)$</mathjax>.</p>
<p>For small x, <mathjax>$J_\ell(x) \approx \frac{x^\ell}{(2\ell + 1)!!}$</mathjax>.</p>
<p>Note that in the general case, <mathjax>$AJ_\ell(ka) = 0$</mathjax>. Eigenvalue problem for
all <mathjax>$\ell$</mathjax>. So what you need to do is find the math tables. Find the
<mathjax>$B_{n\ell}$</mathjax>, which are the <mathjax>$n^{th}$</mathjax> zeros of the <mathjax>$\ell^{th}$</mathjax> spherical
Bessel functions.</p>
<p><a name='28'></a></p>
<h1>Physics 137A: Quantum Mechanics</h1>
<h2>Friday, April 6</h2>
<p>Radial ball; no longer imposing the restriction that <mathjax>$V(0) = \infty$</mathjax>.</p>
<p>Recall: recursion relation for spherical Bessel functions.</p>
<p>Prejudices confirmed by thought (look up data in table).</p>
<p>We have all the tools to go in and slog through some harder problem.</p>
<p>fine structure constant for translating Coulomb potential:
<mathjax>$-\frac{e^2}{4\pi\epsilon_0 r} = -\frac{e^2/\hbar c}{4\pi\epsilon_0}
\frac{\hbar c}{r} = \alpha \frac{\hbar c}{r}$</mathjax>; <mathjax>$\alpha \approx
\frac{1}{137}$</mathjax>. Useful for QED. <mathjax>$\hbar c \approx 1973 eV-A = 197.3
MeV-f$</mathjax>. Atomic physicists will usually use the first value.</p>
<p><mathjax>$u = rR \bracks{-\frac{\hbar^2}{2m}\deriv{^2}{r^2} - \alpha \frac{\hbar
c}{r} + \frac{\hbar^2}{2m} \frac{\ell(\ell + 1)}{r^2}}u(r)$</mathjax> <mathjax>$\rho = kr =
\frac{\sqrt{-2mE}}{\hbar}r$</mathjax> (<mathjax>$E < 0$</mathjax>). You wind up getting some
differential equation you need to solve: <mathjax>$\deriv{^2 u}{\rho^2} = \bracks{1
- \frac{\rho_0}{\rho} + \frac{\ell(\ell + 1)}{\rho^2}}u$</mathjax>; <mathjax>$\rho_0 \equiv
\alpha \sqrt{\frac{2mc^2}{\abs{E}}}$</mathjax>.</p>
<p><a name='29'></a></p>
<h1>Physics 137A: Quantum Mechanics</h1>
<h2>Monday, April 9</h2>
<p>Recap from last time: stuff with Coulomb potential.</p>
<p>Talk about Laguerre polynomials.</p>
<p>As with Hermite polynomials, must self-truncate (some term <mathjax>$j_{\max}$</mathjax> must
go to 0).</p>
<p><mathjax>$\alpha \approx \frac{1}{137}; mc^2 \approx 0.511 MeV; \hbar c \approx 1973
eV-A$</mathjax>.</p>
<p>Hydrogen!</p>
<p><a name='30'></a></p>
<h1>Physics 137A: Quantum Mechanics</h1>
<h2>Wednesday, April 11</h2>
<p>Radial wave function, Exponential that goes like <mathjax>$e^{-r/an}$</mathjax>. Scale should
jump out at you. You get this feeling as you go to higher and higher
states, stuff gets weaker, and whatever. Solns to Lapl's eq on sphere;
worked out formula using Frobenius method. Worked out eigenvalue problem;
had to have Laguerre polynomials -- auto-truncating, not unlike Hermite
polys. Write energies that correspond to truncation in one of two ways:
electron mass-energy. Could also write in terms of distance.</p>
<p>Book's normalization is weird -- usual: either constant term is 1 or
highest-order term has coefficient of 1.</p>
<p>Our <mathjax>$L_j^p$</mathjax> are gotten from the underlying Laguerre polynomials. The
Laguerre polynomials, going from the text's definition, is as follows:
<mathjax>$L_q(x) e^x\parens{\deriv{}{x}}^q\parens{e^{-x} x^q} = \sum_{k=0}^q (-1)^k
\expfrac{q!}{k!}{2}\frac{x^k}{(q-k)!}$</mathjax>. Thus our wave function <mathjax>$\psi_{n\ell
m} (r,\theta, \phi) = \bracks{\expfrac{2}{na}{3}\frac{(n-\ell - 1)!}{2n
\bracks{(n+\ell)!}^3}}^{1/2}e^{-r/na}\expfrac{2r}{na}{\ell}L_{n-\ell-1}^{2
\ell + 1}\parens{\frac{24}{na}}Y_{\ell m}(\theta, \phi)$</mathjax>.</p>
<p>Last couple of little properties: orthogonality. Must be careful with
orthogonality. A lot comes from the <mathjax>$Y_{\ell m}$</mathjax>s. Orthogonality in the
angular components enforced by <mathjax>$Y_{\ell m}$</mathjax>, which we've already shown.</p>
<p><a name='31'></a></p>
<h1>Physics 137A: Quantum Mechanics</h1>
<h2>Friday, April 13</h2>
<p>Nothing much.</p>
<p><a name='32'></a></p>
<h1>Physics 137A: Quantum Mechanics</h1>
<h1>Monday, April 16</h1>
<p>Think about <mathjax>$e^{i\vec{k} \cdot \vec{r}}\vec{\sigma}$</mathjax>.</p>
<p>Recap: commutators. raising/lowering (ladder) operators. Levi-Civitta
tensor. Maximal commuting set of operators.</p>
<p>Ladder operators anti-hermitian (skew-hermitian). Have very interesting
property.</p>
<p>Couple things to think about. Phase transitions.</p>
<p>We now have a really interesting trick: if we wanted to, we could have
write this <mathjax>$\ket{lm} \equiv \parens{L_-}^{l-m}\ket{ll}$</mathjax>.</p>
<p>Maybe we can avoid some algebra. Invoke Wigner-Eckart theorem?</p>
<p>Two states with just one value of <mathjax>$m$</mathjax>. Must somehow be able to do these
operations efficiently.</p>
<p>Choice of bases is just a matter of convention. Underlying all of this must
be some result, some physical quantity that is independent of your
coordinate system. This is how you figure it out.</p>
<p>All of these matrix elements -- I'll write down the notation -- can be
written as a single element with no dependence on <mathjax>$m$</mathjax> (3-j symbol?).</p>
<p>Will see this stuff if you start to use it in practical
applications. Annoying, lots of algebra, but you get simple results that
allow you to do more stuff efficiently.</p>
<p>PREVIOUSLY in quantum mechanics: we wrote down <mathjax>$L^2 = (\vec{x} \times p)^2$</mathjax>
and stuff.</p>
<p>These are not pulled out of a hat: written out because we know what these
are in Cartesian coordinates, and we know how to transform from Cartesian
to spherical. Not doing derivation because that has nothing to do with
quantum mechanics. One of the problems for next homework: raising and
lowering operators in <mathjax>$L_\pm \equiv \pm \hbar e^{\pm i\phi}\parens{
\pderiv{}{\theta} \pm i\cos\theta\pderiv{}{itheta}}$</mathjax>.</p>
<p>Zeeman: decided to break spherical symmetry by putting hydrogen atom in
a magnetic field. Nice discretisation.</p>
<p>First observed by Pauli: looks like you missed a quantum number. When you
plot magnetic field, you see twice the number of states.</p>
<p>Talk about Alfred Landay. Pauli also coming at that time (just a kid at
that time, evidently, but did stuff like a paper on special
relativity). Missing quantum number?! Electron spin. Thought about this
classically. Idea was basically very interesting: source of this extra
quantum number. (internal!). Electrons had to have half-integer spins (from
Zeeman effect): here you would have two quantum numbers. Got 2 initially
for g-factor -- surprising quantum-mechanically. Applied to other problem:
fine structure splitting. Explained another factor explained by magnetic
moments. Needed a different value of g-factor (1). Pauli had two objections:
couldn't be right, since they were different values, and only one valid
radius you could use: <mathjax>$r = \frac{e^2}{m c^2}$</mathjax>.</p>
<p>Figuring out how fast this surface was rotating, had to be 100x speed of
light. Special relativity says this is impossible. Told same thing to Niels
Bohr,</p>
<p>Nine months later, two guys in Holland (also very young) had exactly the
same idea: had notion that there must be a new quantum number, almost must
be spin; talked to their boss Ehrenfest. Said it was either nonsense or
very important. Then said to talk to most famous Dutch theorist at the time
Lorentz. Lorentz said everything was nonsense. Turns out this wasn't
stupid: within two years they figured out problems. First, not classical
spin. Also had interaction that looked like inner product between spin and
angular momentum. This is what gives the fine structure splitting.</p>
<p>Should have used Dirac's equation: need relativity.</p>
<p>Nobody ever heard about the guy who actually discovered spin. Moral: don't
listen to anyone over 30, and publish if you have something to discuss.</p>
<p>If you want a fantastic review article (just wonderful), Jean Cummins from
the atomic group. Coming out in a couple months. Called "electron
spin". Talking about how theories were broken. How to fix in new QM.</p>
<p>So what is this spin? The idea is that spin is an intrinsic quantity and
quantum-mechanical, so don't try to think of it as a spinning soccer
ball. Same algebra. What we're going to do is build this with something
that we do have classical relations for, i.e. orbital angular momentum. Go
through cyclical permutations, and this again can be summarized in this
relationship that <mathjax>$\comm{S_i}{S_j} \equiv i\hbar\epsilon_{ijk}S_k$</mathjax>. Once
again, you can choose eigenfunctions with quantum numbers <mathjax>$s,
m_s$</mathjax>. Electron has <mathjax>$s = \frac{1}{2}$</mathjax> (fermions).</p>
<p>Diagonal quantum numbers: <mathjax>$s^2\ket{s m_s}= \frac{3}{4}\hbar^2 \ket{s m_s}$</mathjax>,
<mathjax>$s_z \ket{s m_s} \equiv \hbar m \ket{s m_s}$</mathjax>. You can do raising and
lowering operators just as before: mimic what we did with angular orbital
momentum. All particles are fundamental: point-like. Test with <mathjax>$e^\pm,
\mu^\pm, \tau^\pm$</mathjax> (electrons, muons, tauons). Quarks: u,d/c,s/t,b. All of
these constitute our fermions.</p>
<p>We also have <mathjax>$\gamma, w^\pm, z$</mathjax>: our bosons.</p>
<p>Composite particles act just like elementary particles. The theory
(i.e. SM) thinks that various fermions (i.e. electrons, muons, tauons) are
also composed of quarks.</p>
<p>Spin-up, spin-down wave functions.</p>
<p><a name='33'></a></p>
<h1>Physics 137A: Quantum Mechanics</h1>
<h1>Wednesday, April 18</h1>
<p>Stuff.</p>
<p>Raising, lowering, Pauli matrices</p>
<p><a name='34'></a></p>
<h1>Physics 137A: Quantum Mechanics</h1>
<h1>Friday, April 20</h1>
<p>Pauli matrices. Electron in magnetic field.</p>
<p>Larmor precession. More stuff. Not quite the Bloch sphere.</p>
<p>Beyond SG machines!</p>
<p>Introduction to addition of angular momentum. Actually important! Reason
for picking this example: how to go further with hydrogen atom, now that
you understand spin.</p>
<p>People began to test spin carefully: explained Zeeman effect, explained
specific levels of hydrogen. Splitting of p(1/2), p(3/2). No degeneracy:
spin of electron interacts with orbital: magnetic field from relative
motion of proton (with respect to electron).</p>
<p><a name='35'></a></p>
<h1>Physics 137A: Quantum Mechanics</h1>
<h1>Monday, April 23</h1>
<p>Let's start up where we left off last time: Larmor frequency (electron in
magnetic field).</p>
<p>learn to manipulate products of angular momenta.</p>
<p>Important: linear combination of coupled states can often be used to
represent uncoupled states. Clebsch-Gordan coefficient.</p>
<p><a name='36'></a></p>
<h1>Physics 137A: Quantum Mechanics</h1>
<h1>Wednesday, April 25</h1>
<p>Klepsch-Gordan coefficients. Corresponds to unitary (and hermitian)
transformation between bases.</p>
<p>Fine-structure of hydrogen: taking into account spin interaction with
magnetic field induced by relative motion of proton (larmor precession)</p>
<p>Quadrupoles, nuclear spin, total angular momentum of electron. Angular
momentum of atom: <mathjax>$I_N + \vec{J} = \vec{F}_{\mathrm{atom}}$</mathjax>.</p>
<p><a name='37'></a></p>
<h1>Physics 137A: Quantum Mechanics</h1>
<h1>Friday, April 27</h1>
<p>spin combinations, parity, stuff. spans space. doesn't have good symmetry
under imagined operators.</p>
<p>Annihilation of conjugate coordinates: discrete Fourier transforms and
stuff. <mathjax>$M = m_1 + m_2$</mathjax>, <mathjax>$\mu = \frac{m_1m_2}{m_1 + m_2}}$</mathjax>.</p>
<p>center of mass and stuff. Two-body problem.</p>
<p><mathjax>$\frac{1}{\Psi(R)} \frac{p^2}{2M}\Psi_{cm} = E_{cm}$</mathjax>.</p>
<p><mathjax>$\frac{1}{\Psi(r)} \parens{\frac{p^2}{2M} + \gamma} \Psi_{rel} = E_{rel}$</mathjax>.</p>
<p><mathjax>$E = E_{rel} + E_{cm}$</mathjax>.</p>
<p>Everything on the one-body problem maps directly onto the two-body
problem. There's one small difference: we can claim we're not interested in
the center-of-mass motion. We want to know the intrinsic structure, so we
can just worry about the relative motion.</p>
<p>In addition, there's spin. There are now two spins. <mathjax>$\ket{nlm; s_1m_{s1}
s_2m_{s2}}$</mathjax>.</p>
<p>Bosons and fermions. If you use separation of variables for
<mathjax>$\Psi(\vec{r_1}, \vec{r_2})$</mathjax>, what does this wave function have to look
like if we require symmetry? This wave function has probably one of two
possibilities: we exchange quantum numbers, or we introduce a minus
sign. Symmetric or antisymmetric under interchange of particle quantum
numbers.</p>
<p>Powerful theorem: depending on particle, only one is possible. Bosons: must
build symmetry under interchange. Fermions: must be antisymmetric.</p>
<p>Spin triplet state is even under particle exchange, and spin singlet is odd
under particle exchange.</p>
<p>Symmetry: can interchange. Have another spin buried in that Pauli
originally introduced. Now you have this proton neutron stuff and can just
continue.</p></div><div class='pos'></div>
<script src='mathjax/unpacked/MathJax.js?config=default'></script>
<script type="text/x-mathjax-config">
MathJax.Hub.Register.StartupHook("TeX Jax Ready",function () {
var TEX = MathJax.InputJax.TeX;
var PREFILTER = TEX.prefilterMath;
TEX.Augment({
prefilterMath: function (math,displaymode,script) {
math = "\\displaystyle{"+math+"}";
return PREFILTER.call(TEX,math,displaymode,script);
}
});
});
var a = document.getElementsByTagName('a'),
ll = a.length;
if (ll > 0) {
var div = document.getElementsByClassName('pos')[0];
div.style.float = 'right';
div.style.position = 'fixed';
div.style.background = '#FFF';
div.style.fontSize = '90%';
div.style.top = '10%';
div.style.right = '5%';
div.style.width = '15%';
for (var i = 0; i < ll; i++) {
div.innerHTML += '<a href="\#' + a[i].name + '">'
+ a[i].parentElement.nextElementSibling.nextElementSibling.innerHTML
+ '</a><br />';
}
var div = document.getElementsByClassName('wrapper')[0];
div.style.width = '80%';
}
</script></div>