D.33 Quan­tum field de­riva­tions

This de­riva­tion will find the prop­er­ties of a sys­tem de­scribed by a Hamil­ton­ian of the form:

$\parbox{400pt}{\hspace{11pt}\hfill$\displaystyle
H = {\vphantom' E}^{\rm p}\left(\widehat P^2 + \widehat Q^2\right) + E_{\rm{ref}}
$\hfill(1)}$
Here $\widehat{P}$ and $\widehat{Q}$ are Her­mit­ian op­er­a­tors with com­mu­ta­tor
$\parbox{400pt}{\hspace{11pt}\hfill$\displaystyle
\left[\widehat P,\widehat Q\right] = -{\textstyle\frac{1}{2}} {\rm i}
$\hfill(2)}$
and ${\vphantom' E}^{\rm p}$ and $E_{\rm {ref}}$ are con­stants with units of en­ergy.

First note that the com­mu­ta­tor (2) di­rectly im­plies the un­cer­tainty re­la­tion­ship, chap­ter 4.5.2 (4.46):

$\parbox{400pt}{\hspace{11pt}\hfill$\displaystyle
\sigma_P \sigma_Q \mathrel{\raisebox{-1pt}{$\geqslant$}}{\textstyle\frac{1}{4}}
$\hfill(3)}$

Also note that the evo­lu­tion equa­tions for the ex­pec­ta­tion val­ues of $P$ and $Q$ fol­low di­rectly from chap­ter 7.2 (7.4). The com­mu­ta­tor ap­pear­ing in it is read­ily worked out us­ing the com­mu­ta­tor (2) and the rules of chap­ter 4.5.4. Since en­ergy eigen­states are sta­tion­ary, ac­cord­ing to the evo­lu­tion equa­tions in such states the ex­pec­ta­tion val­ues of $P$ and $Q$ will have to be zero.

The equal­ity of the $\widehat{P}$ and $\widehat{Q}$ terms in the Hamil­ton­ian is a sim­ple mat­ter of sym­me­try. Noth­ing changes if you swap $\widehat{P}$ and $\widehat{Q}$, adding a mi­nus sign for one. Then un­avoid­ably the two terms in the Hamil­ton­ian must be equal; it is shown be­low that the eigen­func­tions are unique.

The com­mu­ta­tor (2) also im­plies that $\widehat{P}$, $\widehat{Q}$, and all their com­bi­na­tions, do not com­mute with the Hamil­ton­ian. So they are not con­served quan­ti­ties of the sys­tem. How­ever, there are two com­bi­na­tions,

$\parbox{400pt}{\hspace{11pt}\hfill$\displaystyle
\widehat a\equiv \widehat P -...
...Q
\qquad \widehat a^\dagger \equiv \widehat P + {\rm i}\widehat Q
$\hfill(4)}$
whose com­mu­ta­tor with the Hamil­ton­ian gives back a mul­ti­ple of the same thing:

\begin{displaymath}[H,\widehat a]= -{\vphantom' E}^{\rm p}\widehat a\qquad [H,\widehat a^\dagger ] = {\vphantom' E}^{\rm p}\widehat a^\dagger
\end{displaymath}

In other words, $\widehat a$ and $\widehat a^\dagger $ are com­mu­ta­tor eigen­op­er­a­tors of the Hamil­ton­ian. The above re­la­tions are read­ily checked us­ing the given com­mu­ta­tor (2) and the rules of chap­ter 4.5.4.

To see why that is im­por­tant, mul­ti­ply both sides of the eigen­value prob­lems above with a sys­tem en­ergy eigen­func­tion of en­ergy $E$:

\begin{displaymath}[H,\widehat a]\psi_E = -{\vphantom' E}^{\rm p}\widehat a\psi_...
...ger ] \psi_E = {\vphantom' E}^{\rm p}\widehat a^\dagger \psi_E
\end{displaymath}

Af­ter writ­ing out the de­f­i­n­i­tions of the com­mu­ta­tors, rec­og­niz­ing $H\psi_E$ as $E\psi_E$, and re­ar­rang­ing, that gives

\begin{displaymath}
H (\widehat a\psi_E) = (E-{\vphantom' E}^{\rm p})(\widehat ...
...psi_E) = (E+{\vphantom' E}^{\rm p})(\widehat a^\dagger \psi_E)
\end{displaymath}

These re­sults can be com­pared to the de­f­i­n­i­tion of an en­ergy eigen­func­tion. Then it is seen that $\widehat a\psi_E$ is an en­ergy eigen­func­tion with one unit ${\vphantom' E}^{\rm p}$ less en­ergy than $\psi_E$. And $\widehat a^\dagger \psi_E$ is an en­ergy eigen­func­tion with one unit ${\vphantom' E}^{\rm p}$ more en­ergy than $\psi_E$. So ap­par­ently $\widehat a$ and $\widehat a^\dagger $ act as an­ni­hi­la­tion and cre­ation op­er­a­tors of quanta of en­ergy ${\vphantom' E}^{\rm p}$. They act as shown to the left in fig­ure A.6.

There are how­ever two im­por­tant caveats for these state­ments. If $\widehat a\psi_E$ or $\widehat a^\dagger \psi_E$ is zero, it is not an en­ergy eigen­func­tion. Eigen­func­tions must be nonzero. Also, even if the states $\widehat a\psi_E$ or $\widehat a^\dagger \psi_E$ are not zero, they will not nor­mally be nor­mal­ized states.

To get a bet­ter un­der­stand­ing of these is­sues, it is help­ful to first find the Hamil­ton­ian in terms of $\widehat a$ and $\widehat a^\dagger $. There are two equiv­a­lent forms,

$\parbox{400pt}{\hspace{11pt}\hfill$\displaystyle
H = {\vphantom' E}^{\rm p}\wi...
...hat a+ {\textstyle\frac{1}{2}} {\vphantom' E}^{\rm p}+E_{\rm{ref}}
$\hfill(5)}$
These ex­pres­sions can be ver­i­fied by plug­ging in the de­f­i­n­i­tions (4) of $\widehat a$ and $\widehat a^\dagger $ and us­ing the com­mu­ta­tor (2). (Note that sub­tract­ing the two ex­pres­sions gives the com­mu­ta­tor of $\widehat a$ and $\widehat a^\dagger $ to be 1.)

Now look at the first Hamil­ton­ian first. If $\widehat a^\dagger \psi_E$ would be zero for some state $\psi_E$, then that state would have en­ergy $E_{\rm {ref}}-{\textstyle\frac{1}{2}}{\vphantom' E}^{\rm p}$. But that is not pos­si­ble. If you look at the orig­i­nal Hamil­ton­ian (1), the en­ergy must at least be $E_{\rm {ref}}$; square Her­mit­ian op­er­a­tors are non­neg­a­tive.

(To be more pre­cise, if you square a Her­mit­ian op­er­a­tor, you square the eigen­val­ues, mak­ing them non­neg­a­tive. It is said that the square op­er­a­tor is pos­i­tive def­i­nite, or, if there are zero eigen­val­ues, pos­i­tive semi-def­i­nite. And such an op­er­a­tor pro­duces non­neg­a­tive ex­pec­ta­tion val­ues. And the ex­pec­ta­tion val­ues of the op­er­a­tors in the Hamil­ton­ian do add up to the to­tal en­ergy; just take an in­ner prod­uct of the Hamil­ton­ian eigen­value prob­lem with the wave func­tion. See chap­ter 4.4 for more in­for­ma­tion on ex­pec­ta­tion val­ues.)

It fol­lows that $\widehat a^\dagger \psi_E$ is never zero. This op­er­a­tor can be ap­plied in­def­i­nitely to find states of higher and higher en­ergy. So there is no max­i­mum en­ergy.

But there is a pos­si­bil­ity that $\widehat a\psi_E$ is zero. As the sec­ond form of the Hamil­ton­ian in (5) shows, that re­quires that the en­ergy of state $\psi_E$ equals

\begin{displaymath}
E_0 = {\textstyle\frac{1}{2}}{\vphantom' E}^{\rm p}+ E_{\rm {ref}}
\end{displaymath}

Now if you start from any en­ergy state $\psi_E$ and ap­ply $\widehat a$ suf­fi­ciently many times, you must even­tu­ally end up at this en­ergy level. If not, you could go on low­er­ing the en­ergy for­ever. That would be in­con­sis­tent with the fact that the en­ergy can­not be lower than $E_{\rm {ref}}$. It fol­lows that the above en­ergy is the low­est en­ergy that a state can have. So it is the ground state en­ergy.

And any other en­ergy must be a whole mul­ti­ple of ${\vphantom' E}^{\rm p}$ higher than the ground state en­ergy. Oth­er­wise you could not end up at the ground state en­ergy by ap­ply­ing $\widehat a$. There­fore, the en­ergy eigen­states can be de­noted more mean­ing­fully by ${\left\vert i\right\rangle}$ rather than $\psi_E$. Here $i$ is the num­ber of quanta ${\vphantom' E}^{\rm p}$ that the en­ergy is above the ground state level.

Now as­sume that the ground state is unique. In that case, there is one unique en­ergy eigen­func­tion at each en­ergy level. That is a con­se­quence of the fact that if you go down a unit in en­ergy with $\widehat a$ and then up a unit again with $\widehat a^\dagger $, (or vice versa), you must end up not just at the same en­ergy, but at the same state. Oth­er­wise the state would not be an eigen­func­tion of the Hamil­ton­ian in one of the forms given in (5). Re­peated ap­pli­ca­tion shows that if you go down any num­ber of steps, and then up the same num­ber of steps, you end up at the same state. Since every state must end up at the unique ground state, every state must be the re­sult of ap­ply­ing $\widehat a^\dagger $ to the ground state suf­fi­ciently many times. There is just one such state for each en­ergy level.

If there are two in­de­pen­dent ground states, ap­ply­ing $\widehat a^\dagger $ on each gives two sep­a­rate sets of en­ergy eigen­states. And sim­i­lar if there are still more ground states. Ad­di­tional sym­bols will need to be added to the kets to keep the dif­fer­ent fam­i­lies apart.

It was al­ready men­tioned that the states pro­duced by the op­er­a­tors $\widehat a$ and $\widehat a^\dagger $ are usu­ally not nor­mal­ized. For ex­am­ple, the state $\widehat a{\left\vert i\right\rangle}$ will have a square mag­ni­tude given by the in­ner prod­uct

\begin{displaymath}
\vert\widehat a{\left\vert i\right\rangle}\vert^2 = \Big\la...
...e} \Big\vert \widehat a{\left\vert i\right\rangle} \Big\rangle
\end{displaymath}

Now if you take $\widehat a$ or $\widehat a^\dagger $ to the other side of an in­ner prod­uct, it will change into the other one; the ${\rm i}$ in the de­f­i­n­i­tions (4) will change sign. So the square mag­ni­tude of $\widehat a{\left\vert i\right\rangle}$ be­comes

\begin{displaymath}
\vert\widehat a{\left\vert i\right\rangle}\vert^2 = \Big\la...
...at a^\dagger \widehat a{\left\vert i\right\rangle} \Big\rangle
\end{displaymath}

From the sec­ond form of the Hamil­ton­ian in (5), it is seen that $\widehat a^\dagger \widehat a$ gives the num­ber of en­ergy quanta $i$. And since the state ${\left\vert i\right\rangle}$ is nor­mal­ized, the square mag­ni­tude of $\widehat a{\left\vert i\right\rangle}$ is there­fore $i$. That means that

\begin{displaymath}
\widehat a{\left\vert i\right\rangle} = c \sqrt{i}{\left\vert i{-}1\right\rangle}
\end{displaymath}

where $c$ is some num­ber of mag­ni­tude 1. Sim­i­larly

\begin{displaymath}
\widehat a^\dagger {\left\vert i\right\rangle} = d \sqrt{i+1}{\left\vert i{-}1\right\rangle}
\end{displaymath}

But note that you can al­ways change the de­f­i­n­i­tion of an en­ergy eigen­func­tion by a con­stant of mag­ni­tude 1. That al­lows you, while go­ing up from ${\left\vert\right\rangle}$ us­ing $\widehat a^\dagger $, to re­de­fine each state so that $d$ is 1. And if $d$ is al­ways one, then so is $c$. Oth­er­wise $\widehat a^\dagger \widehat a$ would not be $i$.

In the ground state, the ex­pec­ta­tion val­ues of $P$ and $Q$ are zero, while the ex­pec­ta­tion val­ues of $P^2$ and $Q^2$ are equal to the min­i­mum $\frac14$ al­lowed by the un­cer­tainty re­la­tion (3). The de­riva­tions of these state­ments are the same as those for the har­monic os­cil­la­tor ground state in {D.13}.