2

This is quoted from Feynman's Lectures' Normalization of the states in $x$:

We return now to the discussion of the modifications of our basic equations which are required when we are dealing with a continuum of base states. When we have a finite number of discrete states, a fundamental condition which must be satisfied by the set of base states is $$⟨i|j⟩=δ_{ij}.\tag{16.36}$$ If a particle is in one base state, the amplitude to be in another base state is $0.$ By choosing a suitable normalization, we have defined the amplitude $⟨i|i⟩$ to be $1.$ These two conditions are described by Eq. $(16.36).$ We want now to see how this relation must be modified when we use the base states $|x⟩$ of a particle on a line. If the particle is known to be in one of the base states $|x⟩$, what is the amplitude that it will be in another base state $|x'⟩$? If $x$ and $x'$ are two different locations along the line, then the amplitude $⟨x|x'⟩$ is certainly $0,$ so that is consistent with Eq. $(16.36).$ But if $x$ and $x'$ are equal, the amplitude $⟨x|x'⟩$ will not be $1,$ because of the same old normalization problem. To see how we have to patch things up, we go back to Eq. $(16.19),$ and apply this equation to the special case in which the state $|ϕ⟩$ is just the base state $|x'⟩.$ We would have then $$⟨x'|ψ⟩=\int ⟨x'|x⟩ψ(x)dx.\tag{16.37}$$ Now the amplitude $⟨x|ψ⟩$ is just what we have been calling the function $ψ(x).$ Similarly the amplitude $⟨x'|ψ⟩,$ since it refers to the same state $|ψ⟩,$ is the same function of the variable $x',$ namely $ψ(x').$ We can, therefore, rewrite Eq. $(16.37)$ as $$ψ(x')=\int ⟨x'|x⟩ψ(x)dx.\tag{16.38}$$ This equation must be true for any state $|ψ⟩$ and, therefore, for any arbitrary function $ψ(x).$ This requirement should completely determine the nature of the amplitude $⟨x|x'⟩$—which is, of course, just a function that depends on $x$ and $x′.$ Our problem now is to find a function $f(x,x'),$ which when multiplied into $ψ(x),$ and integrated over all $x$ gives just the quantity $ψ(x').$ It turns out that there is no mathematical function which will do this! At least nothing like what we ordinarily mean by a “function.” Suppose we pick $x'$ to be the special number $0$ and define the amplitude $⟨0|x⟩$ to be some function of $x,$ let’s say $f(x).$ Then Eq. $(16.38)$ would read as follows: $$ψ(0)=∫f(x)ψ(x)dx.\tag{16.39}$$ What kind of function $f(x)$ could possibly satisfy this equation? Since the integral must not depend on what values $ψ(x)$ takes for values of $x$ other than $0,$ $f(x)$ must clearly be $0$ for all values of $x$ except $0.$ But if $f(x)$ is $0$ everywhere, the integral will be $0,$ too, and Eq. $(16.39)$ will not be satisfied. So we have an impossible situation: we wish a function to be $0$ everywhere but at a point, and still to give a finite integral. Since we can’t find a function that does this, the easiest way out is just to say that the function $f(x)$ is defined by Eq. $(16.39).$ Namely, $f(x)$ is that function which makes $(16.39)$ correct. The function which does this was first invented by Dirac and carries his name. We write it $δ(x).$ All we are saying is that the function $δ(x)$ has the strange property that if it is substituted for $f(x)$ in the Eq. $(16.39),$ the integral picks out the value that $ψ(x)$ takes on when $x$ is equal $0$; and, since the integral must be independent of $ψ(x)$ for all values of $x$ other than $0,$ the function $δ(x)$ must be $0$ everywhere except at $x=0.$ Summarizing, we write $$ ⟨0|x⟩=δ(x),\tag{16.40}$$ where $δ(x)$ is defined by $$ψ(0)=∫δ(x)ψ(x)dx.\tag{16.41}$$ Notice what happens if we use the special function “1” for the function $ψ$ in Eq. $(16.41).$ Then we have the result $$1=∫δ(x)dx.\tag{16.42}$$ That is, the function $δ(x)$ has the property that it is $0$ everywhere except at $x=0$ but has a finite integral equal to unity. We must imagine that the function $δ(x)$ has such a fantastic infinity at one point that the total area comes out equal to one.

I'm having some problems in understanding his explanations:

  1. Firstly, why is not $⟨x|x'⟩=1$ when $x=x'$? In-fact how is it different from $⟨i|i⟩$? $|i\rangle, |j\rangle$ are base states; & so are $|x\rangle,|x'\rangle.$ Then why the difference? What did Feynman mean by 'the same old normalization problem'?

  2. Secondly, which 'requirement' is Feynman talking about that determines the nature of the amplitude $⟨x|x'⟩?$

  3. Thirdly & the core of my query, how did Feynman explain the Dirac-delta function? I've not understood his explanation. Why doesn't the integral 'depend on what values $ψ(x)$ takes for values of $x$ other than $0$'? Why is it 'impossible' to find 'a function to be $0$ everywhere but at a point, and still to give a finite integral'?

Please can anyone help me what Feynman explained about the Dirac-Delta function in the last paragraph?

Qmechanic
  • 201,751
  • For a particle on a line the eigenfunctions are infinite 1D waves $\psi(x,t) = A \exp(i(kx-\omega t))$. You can't normalise these states because they don't go to zero at $\pm\infty$. That's the normalisation problem. – John Rennie Oct 06 '15 at 10:33
  • @John Rennie: So, for normalization, the state must go to $0$ at $\pm \infty$; why, sir? Could you please explain that? BTW, I would better count it as an answer, not a petty comment:) –  Oct 06 '15 at 10:37
  • 1
    Normalisation means $\int_{-\infty}^\infty \psi^*\psi dx = 1$. For an infinite wave the integral is infinite so you can't do the integration You end up having to make the constant $A = 1/\infty$ i.e. zero, so the function would be zero everywhere. – John Rennie Oct 06 '15 at 10:39
  • 1
    concerning the $\delta$ distribution, see this answer of mine. – yuggib Oct 06 '15 at 10:41
  • Subquestion 1 is a duplicate of http://physics.stackexchange.com/q/89958/2451 – Qmechanic Oct 06 '15 at 11:17
  • Subquestion 2: The requirement is that 16.38 be satisfied. – Danu Oct 06 '15 at 11:53

0 Answers0