0
$\begingroup$

I have a function $$g(\hat{\vec{x}}) = e^{-(\hat{\vec{x}} - \vec{r})^2 / 2r_c^2}$$ Here, $\hat{\vec{x}}$ is the position operator, $r_c$ is parameter and $\vec{r}$ denotes a classical position. I want to expand this around $\hat{\vec{x}}$, which I assume to be valid if $||\hat{\vec{x}}_{\alpha}|| \ll |\vec{x}|, |r|$, where $||*||$ is an operator norm. Is this assumption correct, or am I on the wrong track here?

The expansion up to first order is given then by $$g(\hat{\vec{x}}) \approx g(0) + \nabla g(\hat{\vec{x}})|_{\hat{\vec{x}} = 0} * \hat{\vec{x}}$$

I evaluate the gradient by first doing the outer derivatives $$\nabla g(\hat{\vec{x}})|_{\hat{\vec{x}} = 0} = e^{\vec{r}^2 / 2r_c^2} \frac{\vec{r}}{r_c^2}\nabla (\hat{\vec{x}} - \vec{r})|_{\hat{\vec{x}} = 0}$$ Now, I do get stuck on the last factor in the above expression $$\nabla (\hat{\vec{x}} - \vec{r})|_{\hat{\vec{x}}$$

In particular, I do not understand how to take the derivative of an operator which isn't given in any basis. Is that even possible? Is there any intuition on how to understand the derivative of the position operator?

I would be very grateful for any hints on how to solve this.

Thanks!

$\endgroup$

1 Answer 1

1
$\begingroup$

There is no issue of non-commutativity, here, as all $\hat{\vec{x}}$s commute with each other and all c-numbers (ordinary non-operator expressions), and can thus be treated as plain vector variables, effectively c-numbers, themselves, formally.

So, then, $$ \nabla e^{-(\hat{\vec{x}} - \vec{r})^2 / 2r_c^2}\Bigl |_{\hat{\vec{x}} = 0} = e^{-\vec{r}^2 / 2r_c^2} \frac{\vec{r}}{r_c^2}~~. $$

$\endgroup$
2
  • $\begingroup$ While I am sure your answer is correct, I don't really understand it. What are "al c-numbers?" Why can commuting operators be treated as vector variables? Is there some literature that I can study on this topic? $\endgroup$ Commented Apr 2, 2022 at 16:15
  • $\begingroup$ c-numbers are variables which are not operators, so they commute with all operators. There is nothing in your expression failing to commute. (You may also imagine your operator in its diagonal representation, so it is a diagonal array of its c-number eigenvalues.) Your QM course must have covered this... $\endgroup$ Commented Apr 2, 2022 at 16:33

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.