Tal y como lo has escrito, ellos son distinguible (a menos que $a=b$ por supuesto). Para que las partículas sean indistinguible su función de onda debe ser de la forma $$ \psi(r_1,r_2) = \frac{1}{\sqrt{2}} [ \psi_a(r_1)\psi_b(r_2) \pm \psi_a(r_2)\psi_b(r_1) ]$$ donde el signo depende de la naturaleza fermiónica/bosónica de las partículas.
Si las partículas están descritas por una función de onda separable, deben ser distinguibles: se puede medir una sin afectar a la otra.
Una función de onda separable como la que has escrito puede describir un par de no interactúan, se distinguen partículas. Si son indistinguibles siempre están en algún sentido "interactuando" (o más correctamente, correlacionado ), lo que significa que no se puede afectar a uno sin afectar al otro. Una función de onda separable se utiliza a veces como primera aproximación (por ejemplo, en la Método Hartree ), pero estrictamente hablando, una vez más, se debe utilizar una función de onda que tenga en cuenta la indistinción (como un determinante de Slater para los electrones en el método Hartree-Fock).
Se dice que dos partículas son interactuando si el Hamiltoniano contiene términos de acoplamiento, por ejemplo un potencial que depende de las posiciones relativas de las partículas. Cuando este es el caso, los estados estacionarios no son separables y siempre debe producirse una correlación.
También está relacionado con esta discusión .