5.61 F17 Lecture 5: Begin Quantum Mechanics - Free Particle in a 1D Box

5.61 Fall 2017 Lecture #5 page 1 Lecture #5: Begin Quantum Mechanics: Free Particle and Particle in a 1D Box Last time: ∂2u 1 ∂2u = ∂x 2 v2 ∂t 2 * u(x,t): displacements as function of x,t * 2nd-order: solution is sum of 2 linearly independent functions * general solution by separation of variables * boundary conditions give specific physical system * “normal modes” — octaves, nodes, Fourier series, “quantization” * The pluck: superposition of normal modes, time-evolving wavepacket Problem Set #2: time evolution of plucked system * More complicated for separation of 2-D rectangular drum. Two separation constants. 1-D Wave equation Today: Begin Quantum Mechanics The 1-D Schrödinger equation is very similar to the 1-D wave equation. It is a postulate. Cannot be derived, but it is motivated in Chapter 3 of McQuarrie. You can only determine whether it fails to reproduce experimental observations. This is another one of the weirdnesses of Quantum Mechanics. We are always trying to break things (story about the Exploratorium in San Francisco). 1. Operators: Tells us to do something to the function on its right. Âf = g , operator denoted by  (“^” hat) ⎧d ⎪ dx f (x) = f ′(x) ⎪ * take derivative ⎨ d ⎪ ( af (x) + bg(x)) = af ′(x) + bg′(x)  ⎪⎩ dx linear operator Examples: * integrate ∫ dx ( af (x) + bg(x)) = a ∫ d xf + b ∫ d xg  linear operator * take square root ( af (x) + bg(x)) = [ af (x) + bg(x)]1/2  NOT linear operator We are interested in linear operators in Quantum Mechanics. (part of McQuarrie’s postulate #2) 2. Eigenvalue equations revised 9/15/17 9:30 AM 5.61 Fall 2017 Lecture #5 page 2 Âf (x) = af (x) a is an eigenvalue of the operator f(x) is a specific eigenfunction of Âfn (x) = an fn (x) more explicit notation Operator d  = dx d2 B̂ = 2 dx d Ĉ = x dx 3. . A  that “belongs” to the eigenvalue a A An Eigenfunction Its eigenvalue eax a sin bx + cosbx –b2 ax n n Important Operators in Quantum Mechanics (part of McQuarrie’s postulate #2) For every physical quantity there is a linear operator coordinate x̂ = x momentum p̂x = −i ∂ ∂x (at first glance, the form of this operator seems surprising. Why?)  2 ∂2 p 2 2m = − kinetic energy T =  2m ∂x 2 potential energy energy V̂ (x) = V (x)  2 ∂2 Ĥ = Tˆ + V̂ = − + V (x) 2m ∂x 2 (the “Hamiltonian”) Note that these choices for x̂ and p̂ are dimensionally correct, but their “truthiness” is based on whether they give the expected results. 4. There is a very important fundamental property that lies behind the uncertainty principle: non-commutation of two operators. x̂p̂ ≠ p̂x̂ To find out what this difference between x̂p̂ and p̂x̂ is, apply the commutator, [ x̂, p̂ ] ≡ x̂p̂ − p̂x̂ , to an arbitrary function. revised 9/15/17 9:30 AM 5.61 Fall 2017 Lecture #5 page 3 df df = −ix dx dx d df ⎤ ⎡ p̂x̂f (x) = (−i) (xf ) = (−i) ⎢ f + x ⎥ dx dx ⎦ ⎣ a non-zero “commutator”. [ x̂, p̂ ] ≡ x̂p̂ − p̂x̂ = i We will eventually see that this non-commutation of x̂ and p̂ is the reason we cannot sharply specify both x and px. x̂p̂f (x) = x(−i) 5. Wavefunctions (McQuarrie’s postulate #1) ψ(x): state of the system – contains everything that can be known. Strangely, ψ(x) itself can never be directly observed. The central quantity of quantum mechanics is not observable. This should bother you! It bothers me! * ψ(x) is called a “probability amplitude”. It is similar to the amplitude of a wave (can be positive or negative) * ψ(x) can exhibit interference ........................................................................... ................. ............. ........... ............ .......... .......... . . . . . . . . ......... ... . . . . . ......... . . .... . . ........ . . . . .. . ........ . . . . . .. ........ . . . . . . .. ... + ........... ............... ....................... ......... ....... ....... ....... . . . . . .... .. .... .... . . . .... .. . . .... . . . .... . . . . .... . .... .... .. .... .... .... .... .... .... . .... . .. .... ... ..... ..... ...... ...... . . ....... . . . . . .. ........... ............................... ............................... ....... ..... .... .... . . . .... .. .... ... . . ... .. . ... . . ... .. . ... . . ... . . ... . . ... . ... .. . ... . . ... . . . ... . . ... . . ... . . . ... . . ... . . ... . . ... .. ... ... ... .. ... ... ... .... .... ... . . .... . .... ..... ..... ..... ...... ...... ....... ......... . . . . . . . ................................... revised 9/15/17 9:30 AM 5.61 Fall 2017 Lecture #5 page 4 * probability of finding particle between x, x + dx is ψ*(x)ψ(x)dx (ψ* is the complex conjugate of ψ) 6. Average value of observable  in state ψ? Expectation value. (part of McQuarrie’s postulate #4) A = ∫ ψ *Âψ dx ∫ ψ *ψ dx Note that the denominator is needed when the wavefunction is not normalized to 1. ψn is an eigenfunction of Ĥ that belongs to the specific energy Ĥψ n = Enψ n eigenvalue, En. (part of McQuarrie’s postulate #5) Let’s look at two of the simplest quantum mechanical problems. They are also very important because they appear repeatedly. 1. Free particle: V(x) = V0 (constant potential) 2 d 2 + V0 2m dx 2 Ĥψ = Eψ , move V0 to RHS Ĥ = − 2 d 2 − ψ = (E − V0 )ψ 2m dx 2 d2 −2m(E − V0 ) ψ= ψ. 2 dx 2 Look at the last equation. Note that if E > V0, then on the RHS we need ψ multiplied by a negative number. Therefore ψ must contain complex exponentials like eikx. E > V0 is the physically reasonable situation. But if E < V0 (how is such a thing possible?), then on the RHS we need ψ multiplied by a positive number. Then ψ must contain real exponentials. e+ kx diverges to ∞ as x → +∞ ⎪⎫ ⎬ unphysical [but useful for x finite (tunneling)] e− kx diverges to ∞ as x → −∞ ⎪⎭ So, when E > V0, we find ψ(x) by trying ψ = ae+ikx + be–ikx (two linearly independent terms) revised 9/15/17 9:30 AM 5.61 Fall 2017 Lecture #5 page 5 d 2ψ = −k 2 aeikx + be−ikx 2 dx  ( ) ψ 2m(E − V0 ) = −k 2 2 Solve for E, − Ek 2 k ) ( = +V 0. 2m ⎧* ψ = aeikx is eigenfunction of p̂ ⎪ You show that ⎨* with eigenvalue k ⎪ ⎩* and p̂ = k. No quantization of E because k can have any real value. NON-LECTURE What is the average value of momentum for ψ = aeikx + be−ikx ? ∞ p ∫ = ∫ dxψ * p̂ψ −∞ ∞ −∞ = ∫ ∞ −∞ normalization integral dxψ *ψ dx ( a * e−ikx + b * eikx ) ( −i! ) d aeikx + be−ikx ) ( dx ∞ −ikx ikx ikx −ikx ∫ dx ( a * e + b * e )( ae + be ) −∞ −i! ∫ dx ( a * e−ikx + b * eikx ) (ik) ( aeikx − be−ikx ) ∞ = −∞ ∞ ( !k ∫ dx ( a − b + ab * e = ∫ dx ( a + b + ab * e ∫ −∞ 2 ∞ −∞ ∞ ) ). dx a + b + a *be−2ikx + ab * e2ikx 2 2 2 2 2 2ikx 2ikx −∞ − a *be−2ikx + a *be−2ikx ) Integrals from –∞ to +∞ over oscillatory functions like e±i2kx are always equal to zero. Why? Ignoring the e ±ikx terms, we get a −b 2 a +b 2 2 p = k 2 if a = 0 p = −k if b = 0 p = +k revised 9/15/17 9:30 AM 5.61 Fall 2017 Lecture #5 a 2 2 a +b b 2 is fraction of the observations of the system 2 2 a +b page 6 in state ψ which have p > 0 is fraction of the observations of the system 2 in state ψ which have p < 0 END OF NON-LECTURE Free particle: it is possible to specify momentum sharply, but if we do that we will find that the particle must be delocalized over all space. For a free particle, ψ*(x)ψ(x)dx is delocalized over all space. If we have chosen only one value of |k|, ψ∗ψ can be oscillatory, but it must be positive everywhere. Oscillations occur when eikx is added to e–ikx. NON-LECTURE ψ = aeikx + be–ikx ψ∗ψ = |a|2 + |b|2 + 2Re[ab*e2ikx], but if a,b are real ψ * ψ = a2 + b2 + 2ab cos 2kx  constant oscillatory Note that ψ∗ψ ≥ 0 everywhere. For x where cos 2kx has its maximum negative value, cos 2kx = –1, then ψ∗ψ = (a–b)2. Thus ψ∗ψ ≥ 0 for all x because (a–b)2 ≥ 0 if a,b are real. Sometimes it is difficult to understand the quantum mechanical free particle wavefunction (because it is not normalized to 1 over a finite region of space). The particle in a box is the problem that we can most easily understand completely. This is where we begin to become comfortable with some of the mysteries of Quantum Mechanics. * insight into electronic absorption spectra of conjugated molecules. * derivation of the ideal gas law in 5.62! * very easy integrals Particle in a box, of length a, with infinitely high walls. “infinite box” Ĥ = The shape of the box is: V (x) = 0 0≤x≤a ⎤ V (x) = ∞ x < 0, x > a ⎥⎦ p̂ 2 + V (x) 2m very convenient because ∫ ∞ –∞ dxψ *V (x)ψ = 0. (convince yourself of this!) revised 9/15/17 9:30 AM 5.61 Fall 2017 Lecture #5 ψ(x) must be continuous everywhere. ( ψ(x) = 0 everywhere outside of box otherwise ∫ ∞ −∞ page 7 ) ψ *Vψ = ∞ . ψ(0) = ψ(a) = 0 at edges of box. Inside box, this looks like the free particle, which we have already solved. Ĥψ = Eψ Schrödinger Equation 2 d 2 − ψ = Eψ 2m dx 2 (V(x) = 0 inside the box) d2 2m ψ = − 2 Eψ = −k 2ψ 2 dx  k2 ≡ (k is a constant to be determined) 2mE 2 ψ (x) = Asin kx + B cos kx satisfies Schrödinger Equation (it is the general solution) Apply boundary conditions: left edge: right edge: ψ(0) = B = 0 therefore B = 0 ψ(a) = A sin ka = 0 therefore A sin ka = 0 (quantization!) nπ ka = nπ n is an integer k= a nπ ψ = Asin x a ∫ a 0 dxψ * ψ = 1 a A 2 ∫ dx sin 2 0 ⎛ 2⎞ A=⎜ ⎟ ⎝ a⎠ normalize nπ a x = A2 = 1 a 2 1/2 ⎛ 2⎞ ψn = ⎜ ⎟ ⎝ a⎠ 1/2 nπ x is the complete set of eigenfunctions for a particle in a box. Now a find the energies for each value of n. sin revised 9/15/17 9:30 AM 5.61 Fall 2017 Lecture #5 2 d 2 ⎛ 2 ⎞ Ĥψ n = − ⎜ ⎟ 2m dx 2 ⎝ a ⎠ page 8 1/2 sin nπ x a  2 ⎛ nπ ⎞ =+ ⎜ ⎟ ψn 2m ⎝ a ⎠ 2 = En = n 2 h2n2 ψ n. 8ma 2 h2 = n 2 E1 n = 1, 2, 3… 2 8ma  (never forget this!) E1 n = 0 means the box is empty what would a negative value of n mean? a/3 ✓ I @ E3 = 9E1 two nodes E2 = 4E1 one node 2a/3 a/2 E1 = 0 x h2 8ma2 zero nodes a n–1 nodes, nodes are equally spaced. All lobes between nodes have the same shape. It is important to remember qualitatively correct pictures for the ψn(x). revised 9/15/17 9:30 AM 5.61 Fall 2017 Lecture #5 page 9 Summary: Some fundamental mathematical aspects of Quantum Mechanics. Initial solutions of two of the simplest Quantum Mechanical problems. * Free Particle * Particle in an infinite 1-D box Next Lecture: 1. * more about the particle in 1-D box * Zero-point energy (this is unexpected) * ∆x∆p vs. n (n = 1 gives minimum uncertainty) 2. particle in 3-D box * separation of variables * degeneracy revised 9/15/17 9:30 AM