Peeter Joot's (OLD) Blog.

Math, physics, perl, and programming obscurity.

Dirac Notation Ponderings.

Posted by peeterjoot on July 24, 2010

[Click here for a PDF of this post with nicer formatting]


I’ve got the textbook [1] now for the QMI course I’ll be taking in the fall, and have started some light perusing. Starting things off is the Dirac bra ket notation. Some aspects of that notation, or the explanation in the text, are not quite obvious to me so here I try to make sense of things.

Dirac Adjoint notes.

There are a pair of relations given to define the Dirac Adjoint. These are 1.26 and 1.27 respectively:

\begin{aligned}\left( A {\lvert {\alpha} \rangle} \right)^{*} &= {\langle {\alpha} \rvert} A^\dagger \\ {{\langle {\beta} \rvert} A {\lvert {\alpha} \rangle}}^{*} &= {\langle {\alpha} \rvert} A^\dagger {\lvert {\beta} \rangle}\end{aligned}

Is there some redundancy to these definitions. Namely is 1.27 a consequence of 1.26?

Since the ket was defined as the conjugate of the bra, we can probably rewrite 1.26 as

\begin{aligned}{\langle {\alpha} \rvert} A^{*} &= {\langle {\alpha} \rvert} A^\dagger \end{aligned}

Left “multiplication”, by the ket {\lvert {\beta} \rangle} gives

\begin{aligned}({\langle {\alpha} \rvert} A^{*}) {\lvert {\beta} \rangle} &= ({\langle {\alpha} \rvert} A^\dagger) {\lvert {\beta} \rangle} \\ {{\langle {\beta} \rvert} (A {\lvert {\alpha} \rangle})}^{*} &= ({\langle {\alpha} \rvert} A^\dagger) {\lvert {\beta} \rangle} \\ \end{aligned}

I’ve added and retained parenthesis to retain the operational direction. Is that operational direction not important? For example, given an operator like p = -i \hbar \partial_x, it makes a big difference whether the operator operates to the left or to the right. In the text, this last relation is equation 1.27 once the parens are dropped, so it does appear that 1.27 is a consequence of 1.26. This also then seems to imply that in a bra operator ket sandwich, the operator implicitly operates on the ket (to the right), while an adjoint operator implicitly operates on the bra (to the left).

Let’s compare this to the simpler and more pedestrian notation found in an old fashioned book like Bohm’s [2]. His expectation values explicitly use an integral definition, and his adjoint definition is very explicit about order of operations. Namely

\begin{aligned}\int \phi^{*} (A \psi) &\equiv \int \psi (A^\dagger \phi^{*}) \end{aligned} \hspace{\stretch{1}}(2.1)

Starting with a concrete definition like this seems a bit easier. Suppose we also define the bra ket sandwich based on the integral as follows

\begin{aligned}{\langle {\phi} \rvert} A {\lvert {\psi} \rangle} &\equiv {\langle {\phi} \rvert} (A {\lvert {\psi} \rangle}) \\ &\equiv \int \phi^{*} (A \psi) \\ \end{aligned}

Now, we can rewrite 2.1, as

\begin{aligned}\int \phi^{*} (A \psi)   &\equiv \int \psi (A^\dagger \phi^{*}) \\ &\implies \\ {\langle {\phi} \rvert} (A {\lvert {\psi} \rangle})  &= {\langle {\psi^{*}} \rvert} ( A^\dagger {\lvert {\phi^{*}} \rangle} ) \\ &\implies \\ \left({\langle {\phi} \rvert} (A {\lvert {\psi} \rangle}) \right)^{*}  &= ( {\langle {\phi} \rvert} A^\dagger ) {\lvert {\psi} \rangle}\end{aligned}

When starting off with the integral we see the notational requirement for non-adjoint operators to operate implicitly to the right, and the adjoint operators to operate implicitly to the left. With that notation requirement we can drop the parens and recover 1.27.

A couple clarification goals are now complete. The first is seeing how equation 1.26 in the text implies 1.27. We also have reconciled the Dirac notation with the familiar integral inner product notation, and seen two different ways that clarify the implicit operator directionality in the bra operator ket sandwiches.


[1] BR Desai. Quantum mechanics with basic field theory. Cambridge University Press, 2009.

[2] D. Bohm. Quantum Theory. Courier Dover Publications, 1989.


Leave a Reply

Fill in your details below or click an icon to log in: Logo

You are commenting using your account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s

%d bloggers like this: