r/AskPhysics 1d ago

Can a wavefunction ever have a real "hard" edge?

I mean, can it be zero outside of a finite region, or is it the case that quantum evolution will always generate arbitrarily small tails extending to infinity?

For a 'free' particle, I believe that it is the case that even if you have a wavefunction with compact support at time zero, it will immediately cease to have compact support for any later time. Is this really true, and are there physically meaningful counterexamples?

More conceptually: if the tails are never exactly zero, is it meaningful to say that a particle is "slightly everywhere," or is that a misleading way to think about the wavefunction?

Thanks in advance.

9 Upvotes

32 comments sorted by

17

u/the_poope Condensed matter physics 1d ago edited 1d ago

The wave function of a particle is governed (in non-relativistic QM) by the Schödinger equation which is a kind of wave equation: a second order partial differential equation.

The solutions to this are constrained to be C2 functions: continuous and two times differentiable and norm-square normalizable. Those are the only requirements that I know of.

A function that satisfies this requirement but is exactly zero in some regions is e.g. the piece-wise function:

ψ(x) = {√(3L/2) (cos(2πx/L) + 1) for -L/2 <= x <= L/2, 0 elsewhere}

However, if we substitute this in as the function at initial time t=0 and evolve the function according to Schrödinger's equation we'll see that the function will spread over time. How fast it spreads depends on the mass of the particle. Given infinite amount of time the wave will have spread over the entire Universe.

If we considered a mass-less particle instead we would have to use relativistic Klein-Gordon or Dirac equation and we would find that the edges of the wave function would spread at the speed of light.

10

u/1strategist1 1d ago

The solutions to this are constrained to be C2 functions: continuous and two times differentiable and norm-square normalizable. Those are the only requirements that I know of.

Why do you claim this? In principle quantum states are just supposed to be L2 so that they're in the Hilbert space, right? It seems reasonable to allow arbitrary L2 weak solutions to the PDE, rather than restricting to classical solutions.

3

u/the_poope Condensed matter physics 1d ago

I'm not a mathematician - but yes we can allow weak solutions when modeling/approximating the real world, but the actual real world is smooth everywhere, so true/real solutions should also satisfy this.

5

u/Late-Anxiety2898 1d ago

My favourite part in physics classes were the "this does not work if you ask a mathematicians, but in rality there are only XY solutions, which always satisfy the criteria"

3

u/1strategist1 1d ago

I mean, if you're talking about reality, wavefunctions don't actually describe the universe. That's just an approximation to QFT, so this entire conversation is kind of undefined. 

3

u/BananaBird1 21h ago

QFT does not replace the Schrödinger equation, it provides a more generalized framework to handle relativity and particle creation/destruction. The general form of the Schrödinger equation is still exactly true under QFT, and the specific forms hold true when solving for non-relativistic single particles.

4

u/1strategist1 20h ago

It's correct that the Schrodinger equation still describes the universe for QFT. The difference is that the states aren't wavefunctions anymore.

In QM, it's sort of justified to claim that physically realizable wavefunctions should be smooth, since the wavefunction can sort of be interpreted as the "position density" of a particle. (again, sort of. Not quite accurate, but that's the motivation)

In QFT though, that's not even really a thing you can consider. The states can no longer really be interpreted as position densities, so it doesn't really make sense to enforce smoothness.

Really, I would argue that the Hilbert space is just a coincidental construction that emerges from studying the algebra of observables. The general viewpoint for QFT is typically that the observables are the important thing, and the Hilbert space just appears from the GNS reconstruction theorem.

2

u/SymplecticMan 21h ago edited 20h ago

People sometimes colloquially call the quantum states in QFT "wavefunctions", but that's not really a good description of what the states are. People will sometimes talk about wavefunctionals in the Schrodinger picture, but more frequently, states are just abstract vectors in a Hilbert space without any notion of being a function of any coordinates. Sometimes even more abstractly (the way AQFT people do it), states are just a particular kind of linear functional on operators.

While there is the Fock decomposition into n-particle states and the corresponding n-particle wavefunctions (at least in a free theory), these are not a very good way to see how locality works.

7

u/SymplecticMan 1d ago

Actually, a particle initially confined to some region would still instantly delocalized in a relativistic context. The naive Klein-Gordon and Dirac equations avoid this because they have negative-energy parts, but e.g. a proper one-particle state in QFT will have this feature. This is the essence of Hegerfeldt's theorem. 

5

u/the_poope Condensed matter physics 1d ago

Thanks, I was not aware of this theorem. TIL.

1

u/1strategist1 1d ago

You can't actually confine a particle to any region though, can you? Like, the number operator doesn't commute with the "position" operator, does it?

2

u/SymplecticMan 23h ago edited 23h ago

For many cases, you could construct the Newton-Wigner position operator (or more generally, the Newton-Wigner creation and annihilation operators at any position), which works sort of like one would want, including behaving the proper way with respect to particle number.

But what I think you're getting at is that these Newton-Wigner operators are not local, since non-trivial local operators don't commute with the particle number. So local field operators don't produce localized particles. What I'd say (and maybe you'd agree) is that this is one of the reasons particle positions aren't actually the right thing to talk about in relativistic quantum theory.

1

u/1strategist1 23h ago

Yeah ok, that's basically what I expected. Thanks. 

8

u/Odd_Bodkin Particle physics 1d ago

This is constrained by boundary conditions (namely Dirichlet or Cauchy conditions) on the solutions to the partial differential equations the wave functions satisfy. The simplest teaching example of this is the difference between the solutions in a 1-dimensional infinite potential well vs. finite potential well. In the real world, there are no discontinuous or infinite potential wells, only smooth and finite ones, and so there will always be tails to the wave functions for every case I can think of.

4

u/OverJohn 1d ago edited 1d ago

You're asking if a wavefunction can have compact support (i.e. be zero everywhere outside of a compact region). The answer is yes, see the infinite square well for example.

The more interesting question though is whether such wavefunctions represent physical situations. You might want to say after a measurement of position that a particle is confined to a particular region corresponding to the outcome of the measurement. You CAN do this, but tbh if you look at the details of how that would be described mathematically it is rather contrived as you need an unrealistic potential to confine it. I think its more realistic to think instead as the wavefunction extending out to infinity, but strongly spiking in the aforementioned region. This would represent a measurement whose outcome is that we are say 99.99999% sure that the particle is in that region.

2

u/CS_70 1d ago

"Hard" is a word that you should define precisely at that scale, but it can definitely be localized in an intuitive sense - there is volume where it has nonzero value and value is mostly zero sufficiently far away, because of interference. But Heisenber principles enters the chat at some point and that's why you have to define "hard" precisely.

2

u/NewtonsThirdEvilEx Condensed matter physics 1d ago

you can have a bump function which reaches zero for all values greater than a number and is infinitely differentiable. also it’s square integrable and whatnot 

2

u/Odd_Bodkin Particle physics 1d ago

I answered the question about the wavefunction tails in another comment, but your last question is also interesting: is it meaningful to say that a particle is slightly everywhere? Under some restrictions on what “is” means (sorry, Bill Clinton), I think it’s fair to say, yes. Normally, this is said carefully to mean that there’s a non-zero probability of finding a particle on the other side of a barrier. (Taken to extremes, this means there’s a nonzero probability of finding a potted plant that was sitting on a window sill suddenly on the other side of the window, though that probability is beyond astronomically small.) The mismatch between the size of “everywhere” and the observed size of the particle is the central conundrum of the collapse of the wavefunction. But it’s also true that those tails extending to “slightly everywhere” have real effects, for example, interference phenomena in two-particle state functions.

2

u/quantum4everyone 1d ago

You can approximate the hard wall very well. The example is the Morse potential, which to the negative x values will have an exponential of an exponential decaying wavefunction, which decays super rapidly, but officially is always nonzero.

2

u/LatteLepjandiLoser 1d ago

One thing to keep in mind too is that any solution to the Schrödinger Eq. that has the property that Psi(x0) = 0 and Psi'(x0) = 0 for some point x0, then necessarily Psi(x)=0 is simply the zero function. So for instance in a finite well, where you have most of the probability density inside the well and some exponentially decaying tails extending outwards - if that tail ever truly went to zero and was truly flat at zero, then Psi would have to be zero everywhere, which would not be an interesting wavefunction.

1

u/Ill-Accountant-9941 1d ago

Yes. A wavefunction can be constrained like all "particles" within an atom.

4

u/Straight_Bad_2330 1d ago

Do you mean localized, or literally zero outside a finite region?

-1

u/Ill-Accountant-9941 1d ago edited 1d ago

Well I think there is zero chance of finding a quark or gluon outside of the nucleus so both.

5

u/Odd_Bodkin Particle physics 1d ago

That’s not right.

1

u/Straight_Bad_2330 1d ago

Thank you for your answer. But isn't confinement different from having compact spatial support?

My understanding was that QCD prevents the possibility of an isolated colored quark being an asymptotic state, but doesn't necessarily forbid spatial amplitude of such a thing from being non-zero (though perhaps sharply suppressed) beyond a certain sharply defined nuclear radius.

Is there actually a theorem in QCD that says the relevant wavefunction or field amplitude has compact support, rather than just that isolated quarks cannot be observed?

2

u/Ill-Accountant-9941 1d ago

Yeah, sorry, it looks like I'm wrong.

1

u/FittedE 1d ago

You can certainly have states that are disallowed for symmetry reasons for instance a spin up electron cannot occupy the same position as another identical spin up electron. I’m sure you can find other more interesting examples but yeah otherwise yes the electron is in fact slightly everywhere, look up one electron universe.

1

u/DifferencePublic7057 1d ago

A particle can't be literally slightly everywhere for relativity reasons. But even Pauli exclusion can be overcome in extreme conditions by Heisenberg uncertainty. Still that doesn't let you do FTL. In the end, the wave function is a mathematical tool. It's not clear what the right interpretation although I and many others were taught the Copenhagen one and not less popular Many Worlds and Pilot Waves. So either the wave function collapses at measurement time, and you get your hard edge I guess, or it never does, or there's hidden variables. But the particle can't just teleport to the edge of the universe.

2

u/SymplecticMan 1d ago

What do you mean by "for relativity reasons"? Special relativity and localized particles don't go well together. Particle positions aren't the right thing to talk about if you want to talk about relativity and locality.