atyy said:
I think it's tricky to do it the way you would like. I would propose that the fully proper way to do it (I've never seen it done) is to include the interaction of the screen in the Hamiltonian, ie. we consider the particle and the screen a single quantum system. As the screen is taken to be composed of an increasingly large number of particles, it should increasingly decohere the system. Up to this point everything in the calculation is fully quantum and the evolution is completely unitary. In the large t limit (or maybe large but finite t), we projectively measure the system and the screen in an appropriate basis.
The tricky part is writing the interaction term for the screen and evaluating it. I've seen it done for simpler setups, let me look for some examples.
Sounds good. I'm sure that in the end the entagelment with the measurement device and the decoherence is the way to the right solution. Also, for years I have thought that somekind of "effective collapse" and perhaps even an "effective collapsing density with respect to time" could be derived from the decoherence interpretation, but I never managed to figure out any details, so to me it has remained only as a vague idea.
However, my overall understanding of PDEs has improved a little bit during the years, so now I was able to write down a nice guess. I'll use the notation defined in my original problem statement, so the detector plane is described by the equation x_3=R. How about the following. The particle's state is described by two functions:
<br />
\psi(t,x_1,x_2,x_3)<br />
for all x_3 < R, and
<br />
\phi(t,x_1,x_2,R)<br />
for x_3=R. Then we define the time evolution of the state by
<br />
i\hbar\partial_t \psi = -\frac{\hbar^2}{2m}\nabla_x^2 \psi<br />
and
<br />
\partial_t\phi = \frac{\hbar}{m}\textrm{Im}(\psi^*\partial_3\psi)<br />
Or to be more precise:
<br />
\partial_t \phi(t,x_1,x_2,R) = \lim_{\epsilon\to 0^+}\frac{\hbar}{m}\textrm{Im}\big(\psi^*(t,x_1,x_2,R-\epsilon)\partial_3\psi(t,x_1,x_2,R-\epsilon)\big)<br />
Then we give these functions the following probability interpretations. The probability that the particle is in \Omega\subset \mathbb{R}^2\times ]-\infty,R[ at time t is
<br />
\int\limits_{\Omega} |\psi(t,x)|^2 dx<br />
(three dimensional integral) and the probability that the particle is in \Omega\subset \mathbb{R}^2\times \{R\} at time t is
<br />
\int\limits_{\Omega} \phi(t,x)dx<br />
(two dimensional integral.) I have no other justification for this guess but the fact that the function
<br />
P(t) = \int\limits_{\mathbb{R}^2\times ]-\infty,R[}|\psi(t,x)|^2dx + \int\limits_{\mathbb{R}^2\times \{R\}} \phi(t,x)dx<br />
remains a constant under the time evolution. In other words
<br />
\partial_t P(t) = 0<br />
This can be verified by changing the order of the derivatives and integrals, using the defined time evolution equations, and the divergence theorem.
Doesn't it look interesting at least? If the probability currect is aimed at the detector plate, it would naturally get absorbed and get frozen into in. So the time evolution would be somewhat unitary only for the x_3<R part, and on the plane x_3=R the wave function somehow changes into an approximation of something else. I'm not sure what conditions would need to be satisfied for \partial_t \phi \geq 0 to be true though. If \partial_t \phi < 0 happens, it ruins the absorption interpretation.