6
$\begingroup$

Consider momentum operator representation in position space. $$\hat{p}=-i\frac{\partial}{\partial x} \,\ \text{and its eigen functions are } e^{ipx} \,\text{and} \,\ e^{-ipx}.$$ $$\hat{p}e^{ipx}=pe^{ipx}$$ Taking the complex conjugate of the equation, $${\hat{p}}^* e^{-ipx}=p^* e^{-ipx}$$ Because momentum eigenvalue is real, $p^* =p$. Thus $${\hat{p}}^* e^{-ipx}=p e^{-ipx}$$ Now consider, $$-\hat{p}e^{-ipx}=pe^{-ipx}$$ From these two equations we see that ${\hat{p}}^* =-\hat{p}$.\

Now consider the matrix representation of the momentum operator. In the basis of the momentum eigenstates, the momentum operator matrix (infinite dimensional) is diagonal and the diagonal elements represent the eigenvalues of the momentum operator just as in the case of other finite dimensional operators. This means that the complex conjugate of the $p-$matrix is $p-$matrix itself. However we saw from the above logic that the complex conjugate should be negative of the $p-$matrix.\

I can't see where the problem is!!

$\endgroup$
0

4 Answers 4

8
$\begingroup$

The short story is, you can't distribute the * onto the operator like that. You need to keep it as $\left(\hat{p}e^{ipx}\right)^* = {p}\,e^{-ipx}$ because $\hat{p}$ is an operator on a complex vector space which looks like a derivative in the $x$ basis.

$\hat{p} =-i{\partial \over \partial x} $ is the representation of the momentum operator in the $x$ basis, which is to say $\langle x \left| \hat p \right|\psi\rangle = -i{\partial \over \partial x}\langle x\left|\psi\right\rangle$. Complex conjugation is an operation we know how to do on complex numbers, so let's make sure that the objects we're working with are complex numbers first. The complex conjugate of an inner product is $\langle x | \psi \rangle^* = \langle\psi|x\rangle$. The operator $\hat{p}$ changes the vector $|\psi\rangle$ into some other vector $\hat{p}|\psi\rangle = |p\psi\rangle$. Now taking the complex conjugate looks like:

$$ \langle x \left| \hat p \right|\psi\rangle^* = \langle x |p\psi\rangle^* = \langle p\psi|x\rangle $$

The question now is what is $\langle p\psi|$? In order to have $\langle\psi|\psi\rangle = |\psi|^2$ then $\langle \psi|$ must be hermitian adjoint of $|\psi\rangle$. If you think of kets as column vectors, bras as row vectors, and operators as matrices, then this operation is taking the transpose of the operator matrix in addition to complex conjugation.

$\endgroup$
4
  • $\begingroup$ Working on the space of infinitely differentiable functions, the distribution of the hermitian conjugation is correct in the way depicted in the question. The only problem would arrise when conjugating the multiplication of operators, in which case the only correction needed is to inverse the order of the operators in the product, like $(\hat{A}\hat{B})^*=\hat{B}^*\hat{A}^*$ $\endgroup$
    – Ajayu
    Apr 25, 2014 at 21:58
  • 4
    $\begingroup$ @Ajayu Physicists denote complex conjugation by $\hat{A}^*$ and hermitian conjugation by $\hat{A}^\dagger$. $\endgroup$
    – auxsvr
    Apr 26, 2014 at 4:40
  • $\begingroup$ $\hat{A}^*$ is coherent with the notation used in the question, which uses $\hat{p}^*$ as the hermitian conjugate of the impulsion operator. Althought not standard among physicist, it's the one chosen to formulate the question. $\endgroup$
    – Ajayu
    Apr 26, 2014 at 18:31
  • $\begingroup$ I don't think the OP was aware of the difference between hermitian conjugation and complex conjugation, so it is better to maintain a distinction. $\endgroup$
    – George G
    Apr 26, 2014 at 21:32
3
$\begingroup$

The complex conjugation of an operator depends on the basis you are choosing. In other words, there is no base independent definition of complex conjugation.

$\endgroup$
2
  • 3
    $\begingroup$ The hermitian conjugate is defined without reference to a basis. $\endgroup$ Apr 25, 2014 at 19:44
  • 1
    $\begingroup$ @RobinEkman: But the complex conjugate is not the same as the hermitian conjugate. But the fact that the hermitian conjugate is not basis dependent can be used to show that complex conjugation indeed is basis dependent: Hermitian conjugate is the combination of complex conjugate and transpose. Therefore complex conjugate is the same as hermitian conjugate followed by transpose. Now I think it is quite obvious that the transpose is basis dependent. $\endgroup$
    – celtschk
    Apr 26, 2014 at 9:07
1
$\begingroup$

It's easy to find the mistake if you realize that an operator is a function on a vector space with argument the function on its right. For example, $\hat{p} e^{ipx} = p e^{ipx}$ is (apparently confusing) notation for $\hat{p}(e^{ipx}) = pe^{ipx}$, therefore $\hat{p}^*(e^{ipx}) = p e^{-ipx}$. See also George G's answer in Dirac notation.

$\endgroup$
0
$\begingroup$

You are assuming that the Hermitian conjugate of the derivative operator $d/dx$ is the derivative again. This is not the case. The hermitian conjugate of $d/dx$ is $-d/dx$. That's why the $i$ is there.

$\endgroup$
1
  • $\begingroup$ That has not been assumed anywhere!!! $\endgroup$
    – user35122
    Apr 30, 2014 at 10:22

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

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