3

I was just reading the question Why can't $\psi(x)=\delta(x)$ in the case of a harmonic oscillator? The accepted answer says that $\psi(x)=\delta(x)$ is a mathematically valid state, though it's not physically possible because delta distributions aren't normalizable. If it's possible, I'd like to ignore the fact that it's un-physical, and instead try to fill in the holes in my understanding of the mathematical model.

The answer concludes that the expectation value of the Hamiltonian of the system is infinity, which makes sense to me because it follows from the proposition that $\left<p^2\right>$ is infinity.

However, I see this as a contradiction of my impression that quantum mechanical systems at high energies are easily approximated to classical behavior. For instance, with a particle in a square well, the position probability distribution at high energies is approximately constant across the whole allowed region, which is exactly what classical physics predicts for the same energy.

Going back to the case of harmonic oscillators, I think that a classical model with zero energy would have a position distribution of $\delta (x)$, because the particle's localized in one exact place and it isn't oscillating or moving in any way. So this tells me that a quantum harmonic oscillator with an extremely high energy behaves like a classical zero-energy system, which just generally sounds wrong.

Is it wrong/meaningless to make such comparisons of a zero-energy classical particle to a quantum harmonic oscillator with $\psi(x)=\delta(x)$? Alternatively, is this apparent contradiction actually logically justifiable?


I think that there's something fishy in my comparison when I say that a classical system shows a position distribution of $\delta(x)$, since the momentum distribution is also a delta function (with a spike at $p=0$). However, the QM handling of momentum would predict a completely different state. But I can't build more out of that reasoning to see if it's relevant.

Furthermore, the lowest energy state of a QM oscillator is nonzero, so there is no valid QM counterpart of a classical oscillator with $\psi(x)=\delta(x)$. However, this holds true for the particle in an infinite well too, so I would expect a symmetry whereby in both cases, high-energy QM descriptions are similar to classical mechanics.

  • For reference, the answer mentioned in the bounty description is https://physics.stackexchange.com/a/457479. Sorry, I forgot that detail. –  Feb 02 '19 at 12:43
  • 1
    It is not correct to assume that a particle with high energy can always be described by classical mechanics. Consider for example two states $|\psi_1>$ and $|\psi_2>$, in which particle has a high energy. Any superposition of them is a valid state in quantum mechanics, but does not make sense in classical mechanics. – atarasenko Feb 02 '19 at 13:28
  • 1
    By the way, $\psi(x)=\delta(x)$ does not satisfy the Schrödinger equation, that is why is cannot be the ground state. – atarasenko Feb 02 '19 at 13:38
  • @atarasenko Your first comment would make a very good addition to your answer (or perhaps it's a second answer). It's a good counterexample to show that the comparison isn't valid. –  Feb 02 '19 at 13:40
  • I have added info from comment to the answer – atarasenko Feb 02 '19 at 13:55
  • A direct way to see that $\delta(x)$ is the poster child for the deep non-classicality of a quantum state is that it is literally a coherent superposition of all the momentum eigenstates with each bearing equal weights (equal probability-amplitudes)! As @atarasenko explains, the criteria for classicality should be to minimize the uncertainty in both position and momentum simultaneously and this is achieved by the so-called coherent states (In fact, the theory of coherent states is very subtle and elaborate and it should be fun to check it out!). –  Feb 03 '19 at 01:13
  • If I may, I think the impulse on your part to treat $\delta(x)$ as a classical-type state is arising out of thinking that by containing the particle to be at a specific position rather than in a ``fuzzily'' distributed region, $\delta(x)$ manages to smuggle in classicality to the story. [...] –  Feb 03 '19 at 01:22
  • [...] But this is not true because the nature of quantum mechanics doesn't lie in restricting an observable from having a sharp value--it rather lies in the non-commutativity of different observables. That is to say, the one observable can take as precise a value as it wants, but its non-commuting partners will then have to be commensurately fuzzily distributed. –  Feb 03 '19 at 01:22

4 Answers4

5

Your attempts to take a classical limit don't really make sense. By the nature of classical mechanics, outside of statistical mechanics, there is no such thing as a "position distribution" of a classical system. A classical system always has definite position and momentum, so its position and momentum "distributions" would be $\delta(x)$ and $\delta(p)$, respectively. That is true completely regardless of the specific state of the classical system or any other property of the system, so it is not a useful approach to think about what quantum system corresponds to this.

ACuriousMind
  • 124,833
  • There does exist a position distribution in a classical system, at least for bound states. You just have to average over period of motion. Then quantum position distribution will go to a classical one in the appropriate limit.
  • – Ruslan Feb 02 '19 at 17:56
  • @Ruslan I don't understand how "averaging" over a period of motion is supposed to yield a distribution. Do you mean you want to uniformly randomly sample the position of the particle in time and that for periodic motion the probability distribution of the classical position in that case is the same as that of some quantum state? What sort of quantum state? (It certainly can't hold for all of them, and it's not a priori clear how to take the classical limit of a state) – ACuriousMind Feb 02 '19 at 18:01
  • Yeah, I was sloppy in formulating this. I meant exactly this. And I think it's not the limit of a state ­— rather a limit of a sequence of states. E.g. choose a set of conserved quantities to unambiguously define a classical state. Now construct its "closest" quantum counterpart (smoothing all the exact values to have reasonable uncertainties, depending on $\hbar$). Then take the limit $\hbar\to0$. I do admit that I started from classical "target" state here though, and I do agree that not every quantum state can be meaningfully/uniquely taken to a classical limit. – Ruslan Feb 02 '19 at 18:08
  • I find the first point in this answer to be extremely disingenuous. It is indeed correct to point out that $\delta(x)$ is not an element of $L_2(\mathbb R)$. However, it is utterly misleading to give the impression that there are no ways to fix that (when they absolutely do exist) and paper over any mention of those solutions. This is particularly notable given that ACM has explicitly acknowledged that they're aware of those solutions and it's only being dismissed out of personal preference. – Emilio Pisanty Feb 03 '19 at 00:28
  • @EmilioPisanty Using a rigged Hilbert space does not mean it is valid to apply the standard version of the uncertainty principle to the $\lvert x\rangle$ objects. In fact, you're not even justified to apply it to all states in $L^2(\mathbb{R})$ because $x$ and $p$ are only defined on dense subsets and the r.h.s ($[x,p]$) only exists on the intersection of the subsets upon which they are defined. All using a rigged Hilbert space does is allow you to rigorously state what sort of object $\lvert x\rangle$ is, it does not allow you to act as if it is a state. – ACuriousMind Feb 03 '19 at 00:35
  • @ACuriousMind Yes. You're welcome to disagree with the pedagogical choices taken on the question you've linked to, in which case the correct venue to do so is as an answer there. In here, your text is simply making a straw man of the answer you've linked to, and I'm not particularly interested in a debate on the merits until that aspect is fixed. – Emilio Pisanty Feb 03 '19 at 00:38
  • Regarding "[a classical system's] position and momentum "distributions" would be $\delta(x)$ and $\delta(p)$", one could look at the square well with nonzero energy, wherein the particle's bouncing about, so if you measure it at a random time, there's an even probability that you'd find it anywhere, and the momentum could be either positive or negative with equal probabilities. Is it improper to compare that to QM? Because I'm quite sure I've seen it somewhere. Perhaps it is significant that in the classical case the particle is in a definite position at any given time, while it isn't in QM? –  Feb 03 '19 at 02:55
  • @Chair The "at a random time" is crucial and is what Ruslan was getting at in their comment. Note that this is not the "same kind of random" as measurements in quantum mechanics. – ACuriousMind Feb 03 '19 at 03:04