3
$\begingroup$

I'm trying to find unitary transformation and prove that the infinitesimal generator for a change of basis with spatial depedency $$|\vec{r} \rangle \rightarrow e^{i \theta (\vec{r}) }|\vec{r}\rangle $$ is the density operator $\hat{\rho} = \hat{\psi}^{\dagger}(\vec{r}) \hat{\psi}(\vec{r})$

My attempt was:

$$\hat{U}{(\theta(\vec{r})}) \hat{\psi}(\vec{r}) \hat{U(\theta(\vec{r}))}^{\dagger} = e^{-i\theta(\vec{r})} \hat{\psi}(\vec{r}) \iff \\ \iff \hat{\psi}(\vec{r}) - i \theta(\vec{r})[G,\hat{\psi}(\vec{r})] = \hat{\psi}(\vec{r}) - i \theta(\vec{r})\hat{\psi}(\vec{r}) $$

Thus,

$$ [G,\hat{\psi}(\vec{r})] = \hat{\psi}(\vec{r}) \rightarrow G = \hat{N} $$

Which is not the solution.

What am I doing wrong?

$\endgroup$

2 Answers 2

4
$\begingroup$

The step where you went wrong is in writing $$\hat{U}(\theta(\vec{r}))=1-i\theta(\vec{r})G$$ for infinitesimal transformations. This would imply $U(\theta(\vec{r}))$ is an operator-valued function of $\vec{r}$ instead of a single unitary operator. In reality, there should be a separate generator for each point in space: $$\hat{U}(\theta(\vec{r}))=1-i\int d^3r \theta(\vec{r})G(\vec{r}).$$ Then you get $$\left[\int d^3r' \theta(\vec{r}')G(\vec{r}'),\hat{\psi}(\vec{r})\right]=\theta(\vec{r})\hat{\psi}(\vec{r})$$ $$\implies \int d^3r' \theta(\vec{r}')\left[G(\vec{r}'),\hat{\psi}(\vec{r})\right]=\theta(\vec{r})\hat{\psi}(\vec{r}).$$ You can plug in $G(\vec{r})=\hat{\psi}^\dagger(\vec{r})\hat{\psi}(\vec{r})$ at this point. $$\theta(\vec{r})\hat{\psi}(\vec{r})=\int d^3r' \theta(\vec{r}')\left[\hat{\psi}^\dagger(\vec{r}')\hat{\psi}(\vec{r}'),\hat{\psi}(\vec{r})\right]$$ $$=\int d^3r' \theta(\vec{r}')\left(\hat{\psi}^\dagger(\vec{r}')\{\hat{\psi}(\vec{r}'),\hat{\psi}(\vec{r})\} - \{\hat{\psi}^\dagger(\vec{r}'),\hat{\psi}(\vec{r})\}\hat{\psi}(\vec{r}')\right)$$ $$=\int d^3r' \theta(\vec{r}')\left(\hat{\psi}^\dagger(\vec{r}')\cdot 0 - \delta^{(3)}(\vec{r}-\vec{r}')\hat{\psi}(\vec{r}')\right)$$ $$=\theta(\vec{r})\hat{\psi}(\vec{r})$$

$\endgroup$
1
  • $\begingroup$ Thank you very much! $\endgroup$
    – RKerr
    Commented Dec 19, 2020 at 21:03
3
$\begingroup$

If you have $\{\psi(r),\psi^\dagger (r')\}= \delta(r-r')$and want a transformation $\psi(r)\to e^{i\theta(r)}\psi(r)$, or its infinitesimal version
$$ [\psi(r),G]= \theta(r) \psi(r), $$ you need to take $G= \int \theta(r') \psi^\dagger(r')\psi(r)\,dr'$. To get this you need to use the commutator-anticommutator identity $$ [A,BC]=\{A,B\}C-B\{A,C\}. $$

$\endgroup$
8
  • $\begingroup$ How I can I prove that? Why do you get that correspondence for the commutator? @mikestone $\endgroup$
    – RKerr
    Commented Dec 19, 2020 at 20:24
  • 1
    $\begingroup$ I added the key step. $\endgroup$
    – mike stone
    Commented Dec 19, 2020 at 20:27
  • $\begingroup$ I'm going to try and do the calculations! Just one more question, am I doing something wrong in my attempt because I don't get that in the commutation relation. How can I prove that generator is that one? $\endgroup$
    – RKerr
    Commented Dec 19, 2020 at 20:36
  • 1
    $\begingroup$ Are you familiar with $e^{A}Be^{-A}= B+[A,B]+\frac 12 [A,[A,B]]+\ldots$? $\endgroup$
    – mike stone
    Commented Dec 19, 2020 at 20:44
  • $\begingroup$ Yes, thank you! However, isn't the commutation relation wrong? $\endgroup$
    – RKerr
    Commented Dec 19, 2020 at 21:03

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.