6

Does anybody know the status of the problem to define the wave function (non-relativistic Quantum Mechanics) of a particle localized at a definite point?

Landau-Lifshitz says in chapter 1 that this function is $\Psi(x)_{x_o} = \delta(x-x_0)$ and gives an explanation that it produces the correct probability density when it is used to span some other arbitrary wave function $\Psi(x)$. The problem is of course that the wave function given above squares to a non integrable function. As far as I know this problem is unsolved. My question is if anybody knows the status quo of this problem. I am sorry if this question may be duplicated, I could not find it amongst the answered questions.

Qmechanic
  • 201,751
  • 2
    Possible duplicates: https://physics.stackexchange.com/q/47934/2451 and https://mathoverflow.net/q/48067 Related: https://physics.stackexchange.com/q/64869/2451 – Qmechanic Sep 28 '13 at 09:08
  • 4
    you should look into rigged Hilbert spaces, eg http://en.wikipedia.org/wiki/Rigged_Hilbert_space , http://physics.stackexchange.com/q/43515/ , http://arxiv.org/abs/quant-ph/0502053 – Christoph Sep 28 '13 at 10:27
  • 4
    It should be stressed that the rigged Hilbert space formalism doesn't explain the meaning of the integral of the square of the Dirac distribution. – Qmechanic Sep 28 '13 at 13:06

3 Answers3

8

Mathematically spoken, since you want your wave functions to be square integrable, your wave functions must be in $L^2$ or some subspace thereof. However, you won't find a function in this space that has a support on a countable set of points, since the Lebesgue integral cannot see countable sets (measure 0), hence there cannot be a function (i.e. no wave function) with support in a single point (incidentally, the delta function is not a "function" in a way for that reason).

This tells us that a wavefunction for a particle that is fully localized cannot be defined in the usual setting of square Lebesgue-integrable functions, which is not too tragic, because we don't really think it makes physical sense anyway.

Martin
  • 15,550
  • @Martin-Why is that so? After position measurement on a system we do create these $\delta$-function states... do u mean they are unphysical? – SRS Feb 24 '14 at 12:17
  • 2
    @Roopam No, we don't create these delta-functions, because we can't accurately measure position. We cannot, in reality, measure position perfectly, because whatever instrument we can build, it will always measure position in some discrete set - and then the resulting projected wave function will be some wave-packet that is nicely square-integrable. So in this sense, delta functions are unphysical. The delta function is just a physical-mathematical approximation that makes our lives easier. Handling proper measurements of positions would otherwise require proper measure theory. – Martin Feb 24 '14 at 13:21
  • @Martin- But at least uncertainty principle does not forbid the precise position measurement when we do not care about its precise momentum simultaneously. So don't you think that in principle there is no problem with precise position measurement? – SRS Feb 24 '14 at 13:46
  • As I see it, there is no mathematical reason to forbid us from precise position measurements other than that the resulting state does not lie in our state space - but that's just a problem of definition. We could work with rigged Hilbert spaces after all. But there is a precise PHYSICAL reason: We measure by measuring a number or something like this, however we may never measure an infinite amount of digits - there will always be some digitalization. – Martin Feb 24 '14 at 14:00
  • So, all in all, there is two things: a) our formalism says by definition that all physical objects are represented by wave-functions that are square integrable objects to have a probability interpretation. b) we encounter things that aren't square integrable - hence they have to be unphysical by definition so either we can find a physical reason, why they are unphysical, or we have to extend our formalism. Since I gave a purely physical reasoning (measuring at arbitrary but finite precision is possible, infinite precision is not) that's okay. – Martin Feb 24 '14 at 14:01
  • @Martin-Yes. These are unphysical. But Dirac says, in his book, Principles of quantum mechanics that physicists enlarge the Hilbert space to include vectors of infinite norm as well. So, it is no longer only $L^2$. Those in $L^2$ are physical but outside $L^2$ are not physical. Since, we obliged to work with a uncountably infinite basis like ${|x\rangle}$, which are not in $L^2$, its better to enlarge the Hilbert space and not remain restricted to $L^2$. – SRS Mar 08 '14 at 03:49
  • 1
    @Roopam Yes, but that's besides the point. "Unphysical states" can't exist in nature (hence their name), so we don't have to worry about their normalization - that was what the original question was about. Of course we can't normalize them in the $L^2$-way, because they are not $L^2$. Besides, you are not obliged to work with "bases" like ${|x\rangle}$ - it's just very convenient to do so. – Martin Mar 08 '14 at 11:10
  • Martin’s points should be well taken. No physically realizable measurement can result in a perfect real number. In fact, and more generally, no physical manifestation of any state has a single real-numbered eigenvalue. Such a state would be a zero entropy state and this is forbidden by the third law of thermodynamics. Every physically realizable state has a square integrable spectrum of eigenvalues, a spectrum of nonzero measure. A delta function has zero measure in x and so is not physical. – Pat Eblen Dec 28 '20 at 17:28
3

I cannot understand Martin's answer, while I think that there is an excellent physical answer to the OP.

Most people forget that a Dirac's delta can be approximated by very many functions, as some parameter (say, $\sigma$) tends to zero. One such class of functions is of course $f(x) = (\sqrt{\pi}/\sigma) exp (-x²/\sigma²)$. Let us take this as an approximation to the probability distribution (not the wave function) of a quantum state representing a particle confined at the origin of coordinates. This function is smooth, integrable, normalized to 1.

Its associated wave-function, $\phi(x) = (\sqrt{\pi}/\sigma)^{1/2} exp (-x²/(2\sigma²))$ is also smooth and integrable over the same interval, and the value of this integral $\rightarrow 0$ as $\sigma \rightarrow 0$.

But we do not really care about the integrability of the wave-function per se, only that it yields meaningful results when we compute transition amplitudes. And for an arbitrary wave function $\psi(x)$ the transition amplitude is always proportional to

$\int \psi(x) \phi^*(x) dx$

which can be easily computed from the above in the limit $\sigma \rightarrow 0$: it always yields $0$, unless $\psi(x) = \phi(x)$, in which case it yields $1$. Does this make sense? Yes it does: whenever $\psi$ is not the wave function of a particle confined at the origin (i.e., when it represents a particle confined elsewhere, or when it represents a particle not confined at all) the two wave functions are orthogonal because they represent completely different physical states: the integral above (when squared) is the probability that an arbitrary quantum state be found at precisely the origin, which of course is zero for both smooth probability distributions and for particles confined at point which is not the origin.

Hence it makes perfect sense that the integral above vanishes, unless $\psi=\phi$ when it must yield certainty ($=1$).

To sum up, the wave function of a state representing a particle confined at the origin exists, is smooth and integrable so long as $\sigma > 0$, but we do not worry about that (at least from a physical point of view) because the wave function is not in itself an observable, because all we care about is that transition amplitudes exist, and these exist and make physical sense even in the limit $\sigma\rightarrow 0$.

The method of replacing a Dirac's delta with its approximants often leads to quite sensible answers.

  • 1, There's a minor issue here that you seem to be taking a wave function $\phi_\sigma$ such that $\lim_{\sigma\to 0}\phi_\sigma\phi_\sigma^\ast = \delta$, instead of having the wave function itself be the nascent $\delta$. 2. There's a major issue here that it is not clear where you are taking the limits and what the limits are. Within the Hilbert space of $L^2$ functions, the sequence $\phi_\sigma$ converges to 0; one must carefully state in what space the limit has to be taken to yield a $\delta$. – ACuriousMind Jan 17 '17 at 16:30
  • @ACuriousMind I agree with point one: I am taking the probability distribution to be a Dirac's delta to represent the state of a particle confined at the origin. Physically, I cannot understand which kind of state is one with a wave function in the form of a Dirac's delta, can you? I disagree on point 2: the limit of the sequence of functions is what you state within $L^2$ indeed, but it is a Dirac's delta if we use the space of continuous functionals (i.e. distributions) over $L^1$ functions instead of $L^2$ . Look, this is quite standard theory of distribution by Laurent Schwartz. – MariusMatutiae Jan 17 '17 at 16:57
  • @ACuriousMind Have you ever heard of the so-called delta-approximants? Look them up here, https://en.wikipedia.org/wiki/Dirac_delta_function#Approximations_to_the_identity – MariusMatutiae Jan 17 '17 at 17:00
  • 2
    I know all that, but it is not clear to me why the weak convergence in the sense of distributions should be seen as the physically meaningful notion of convergence for states. The states are elements (or rays) of the Hilbert space, so it seems natural to me that the physically relevant notion of convergence is that of convergence in the Hilbert space norm. – ACuriousMind Jan 17 '17 at 17:06
  • @ACuriousMind You mean, apart from physical sense that says that the $\phi(x)$ above describes a very narrowly confined particle? Well, then you may see probability distributions as functionals acting on the space of dynamic quantities (Energy, position, linear and angular momentum, charge distribution and quadrupole moment,...) to yield scalars, i.e measurements. – MariusMatutiae Jan 17 '17 at 17:32
2

Most scientists agree there are still some interpretational issues in QM, so it is hard to make unequivocal statements. IMO, point-like single quantum pure states (i.e., Hilbert space "rays") are not physically measurable or even physically realizable. They are idealizations of zero entropy and thus not realizable by the Nernst statement of the third law of thermodynamics. No physical object property can manifest existence in a spacetime interval of zero extent, e.g., no object can manifest a real-numbered position, not even its CG. This means every realizable quantum state is a mixed state of multiple concurrently existing incoherent pure states. (They are incoherent superpositions, otherwise they would be expressible as a coherent sum of pure states, i.e., a single component, zero entropy, pure state.) This, however, casts doubt on the probability interpretation of QM. The appropriate vertical metric that should be applied to the magnitude squared of a realizable quantum mixed state distribution must be a physical, or ontic, metric, not probability. So OP, real-numbered (point-like) eigenvalues are not physically realizable, all manifest physical property values are distributions, not real numbers.