12.07.2015 Views

Chapter 8 Vector Spaces in Quantum Mechanics

Chapter 8 Vector Spaces in Quantum Mechanics

Chapter 8 Vector Spaces in Quantum Mechanics

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

<strong>Chapter</strong> 8 <strong>Vector</strong> <strong>Spaces</strong> <strong>in</strong> <strong>Quantum</strong> <strong>Mechanics</strong> 105What we first notice about this function isthat it def<strong>in</strong>es a rectangle whose area is alwaysunity for any (non-zero) value of ɛ, i.e.∫ +∞−∞D(x, ɛ)dx = 1. (8.86)Secondly, we note that as ɛ is made smaller,the rectangle becomes taller and narrower.Thus, if we look at an <strong>in</strong>tegralf (x)∫ +∞−∞∫ ɛ/2D(x, ɛ) f (x)dx = ɛ −1 f (x)dx−ɛ/2(8.87)where f (x) is a reasonably well behaved function(i.e. it is cont<strong>in</strong>uous <strong>in</strong> the neighbourhoodof x = 0), we see that as ɛ → 0, thistends to the limit f (0). We can summarizethis by the equationFigure 8.6: A sequence of rectangles of decreas<strong>in</strong>gwidth but <strong>in</strong>creas<strong>in</strong>g height, ma<strong>in</strong>ta<strong>in</strong><strong>in</strong>ga constant area of unity approaches an<strong>in</strong>f<strong>in</strong>itely high ‘spike’ at x = 0..∫ +∞lim D(x, ɛ) f (x)dx = f (0). (8.88)ɛ→0−∞Tak<strong>in</strong>g the limit <strong>in</strong>side the <strong>in</strong>tegral sign (an illegal mathematical operation, by the way),we can write this as∫ +∞−∞lim D(x, ɛ) f (x)dx =ɛ→0∫ +∞−∞δ(x) f (x) = f (0) (8.89)where we have <strong>in</strong>troduced the ‘Dirac delta function’ δ(x) def<strong>in</strong>ed as the limitδ(x) = limɛ→0D(x, ɛ), (8.90)a function with the unusual property that it is zero everywhere except for x = 0, where itis <strong>in</strong>f<strong>in</strong>ite.The above def<strong>in</strong>ed function D(x, ɛ) is but one ‘representation’ of the Dirac delta function.There are <strong>in</strong> effect an <strong>in</strong>f<strong>in</strong>ite number of different functions that <strong>in</strong> an appropriate limitbehave as the rectangular function here. Some examples are1 s<strong>in</strong> L(x − x 0 )δ(x − x 0 ) = limL→∞ π x − x 01 ɛ= lim(8.91)ɛ→0 π (x − x 0 ) 2 + ɛ 21= limλ→∞ 2 λe−λ|x−x 0| .In all cases, the function on the right hand side becomes narrower and taller as the limit istaken, while the area under the various curves rema<strong>in</strong>s the same, that is, unity.The first representation above is of particular importance. It arises by via the follow<strong>in</strong>g<strong>in</strong>tegral:∫1 +Le ik(x−x0) dk = eiL(x−x0) − e iL(x−x 0)= 1 s<strong>in</strong> L(x − x 0 )(8.92)2π −L2πi(x − x 0 ) π x − x 0x

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!