- #1
- 14,981
- 26
I'm happy enough with the basic idea of a distribution -- e.g. delta functions, and eigenstates of the momentum operator, and stuff like that.
But I've seen people use some manipulations that I cannot figure out how to rigorously explain -- and was wondering if anyone out there is able to do so.
The first concerns the delta function. In particular, the "inner product" of two delta functions. For example, in bra-ket notation, one might see [itex]\langle x' | x \rangle[/itex] where x and x' are eigenstates of the position operator. I suppose this is "supposed" to be equal to [itex]\delta(x - x')[/itex], but I don't know how to arrive at that.
I suppose since the test functions are dense in the space of distributions, we should be able to think of these two deltas as limits of sequences of test functions. But this doesn't seem to be well defined... I can see how [itex]\langle x' | x \rangle = 0[/itex] when [itex]x' \neq x[/itex], but as for [itex]\langle x | x \rangle[/itex]...
I'm going to cheat and use discontinuous "test functions" for simplicity -- I can't imagine it would be any different with a real test function. We can represent a delta function centered at x as the limit of the sequence of functions:
[tex]
\delta_{n,x} (y) := \begin{cases}
n & y \in (x -\frac{1}{2n}, x + \frac{1}{2n}) \\
0 & y \notin (x -\frac{1}{2n}, x + \frac{1}{2n})
\end{cases}
[/tex]
and if we take the inner product...
[tex]
\langle \delta_{n,x} | \delta_{n,y} \rangle = \begin{cases}
0 & y \leq x - \frac{1}{n} \\
n^2 - n^3 (x - y) & x - \frac{1}{n} \leq y \leq x \\
n^2 - n^3 (y - x) & x \leq y \leq x + \frac{1}{n} \\
0 & x + \frac{1}{n} \leq y
\end{cases}
[/tex]
But this inner product doesn't converge to [itex]\delta(x - y)[/itex] -- but [itex](1/n) \langle \delta_{n,x} | \delta_{n,y} \rangle[/itex] does.
And, of course, there's no reason that the indices should vary together -- we should be able to decouple them, in which case we need to take [itex](2/(m+n)) \langle \delta_{m,x} | \delta_{n,y} \rangle[/itex] in order to converge to [itex]\delta(x - y)[/itex]!
Another conundrum is that I've seen it written:
[tex]
\int_{-\infty}^{+\infty} e^{iyx} \, dy = \delta(x)
[/tex]
which is another thing I don't understand. I may be missing a normalization constant, but that's not the point... I have no idea how to give this any rigorous sense.
But I've seen people use some manipulations that I cannot figure out how to rigorously explain -- and was wondering if anyone out there is able to do so.
The first concerns the delta function. In particular, the "inner product" of two delta functions. For example, in bra-ket notation, one might see [itex]\langle x' | x \rangle[/itex] where x and x' are eigenstates of the position operator. I suppose this is "supposed" to be equal to [itex]\delta(x - x')[/itex], but I don't know how to arrive at that.
I suppose since the test functions are dense in the space of distributions, we should be able to think of these two deltas as limits of sequences of test functions. But this doesn't seem to be well defined... I can see how [itex]\langle x' | x \rangle = 0[/itex] when [itex]x' \neq x[/itex], but as for [itex]\langle x | x \rangle[/itex]...
I'm going to cheat and use discontinuous "test functions" for simplicity -- I can't imagine it would be any different with a real test function. We can represent a delta function centered at x as the limit of the sequence of functions:
[tex]
\delta_{n,x} (y) := \begin{cases}
n & y \in (x -\frac{1}{2n}, x + \frac{1}{2n}) \\
0 & y \notin (x -\frac{1}{2n}, x + \frac{1}{2n})
\end{cases}
[/tex]
and if we take the inner product...
[tex]
\langle \delta_{n,x} | \delta_{n,y} \rangle = \begin{cases}
0 & y \leq x - \frac{1}{n} \\
n^2 - n^3 (x - y) & x - \frac{1}{n} \leq y \leq x \\
n^2 - n^3 (y - x) & x \leq y \leq x + \frac{1}{n} \\
0 & x + \frac{1}{n} \leq y
\end{cases}
[/tex]
But this inner product doesn't converge to [itex]\delta(x - y)[/itex] -- but [itex](1/n) \langle \delta_{n,x} | \delta_{n,y} \rangle[/itex] does.
And, of course, there's no reason that the indices should vary together -- we should be able to decouple them, in which case we need to take [itex](2/(m+n)) \langle \delta_{m,x} | \delta_{n,y} \rangle[/itex] in order to converge to [itex]\delta(x - y)[/itex]!
Another conundrum is that I've seen it written:
[tex]
\int_{-\infty}^{+\infty} e^{iyx} \, dy = \delta(x)
[/tex]
which is another thing I don't understand. I may be missing a normalization constant, but that's not the point... I have no idea how to give this any rigorous sense.
Last edited: