Unitary Transformation: Proving ¯UU = 1 in Dirac's Text

bikashkanungo
Messages
9
Reaction score
0
In Dirac’s text the equation ¯UUα=α¯UU is well proven . Next it is said that since ¯UU commutes with all linear operators so it must be a number . Further since ¯UU and its complex conjugate are same so ¯UU is a real number . Also Dirac mentions that for any ket |P> , <P|¯UU |P> is positive and equal to <P|P> , so ¯UU can be taken as equal to 1 . How does the last equation is concluded ? [¯U being the complex conjugate of U ]
 
Physics news on Phys.org
What number is positive and has unit modulus ?
 
<P|¯UU |P> is positive and ¯UU =1
 
bikashkanungo said:
for any ket |P> , <P|¯UU |P> is positive and equal to <P|P> , so ¯UU can be taken as equal to 1 . How does the last equation is concluded ?
Before this, you concluded that U^*U is a real number times the identity operator. So what you're saying here is that if r is a real number and \langle P|rI|P\rangle=\langle P|P\rangle for all |P\rangle, then r=1. The left-hand side is obviously equal to r\langle P|P\rangle. So for all |P\rangle,
r\langle P|P\rangle=\langle P|P\rangle. All you need to know to conclude that r=1 is that there's a |P\rangle such that \langle P|P\rangle\neq 0.
 
A thorough argument replacing Dirac's heuristic derivation goes like this:

Let U be a linear operator acting on a separable Hilbert space \mathcal{H} subject to the condition

\forall \psi\in D(U) \subset \mathcal{H}, \, \langle U\psi,U\psi\rangle = \langle \psi,\psi\rangle

It follows that U is bounded, hence continuous and can be extended through continuity to all vectors in the Hilbert space. If it's bounded and defined everywhere, it admits an unique adjoint, so that the isometry condition becomes

\langle \psi, \left(U^{\dagger}U - \hat{1}\right)\psi \rangle = 0

It follows that \left(U^{\dagger}U - \hat{1}\right)\psi \in \mathcal{H}^{\text{orthogonal}} \Rightarrow \left(U^{\dagger}U - \hat{1}\right)\psi = 0

The operator in the brackets is forced then to be the 0 operator, since \psiis arbitrary. Then

U^{\dagger}U = \hat{1}.

The statement UU^{\dagger} = \hat{1} follows simply from the fact that, because U is bounded, its double adjoint is equal to U.
 
Another approach: One possible definition of a unitary operator is: U is said to be unitary if it's a normed space isomorphism (a linear bijective isometry) from H onto H. A linear isometry is obviously bounded. We can prove that a unitary operator defined this way satisfies \langle Ux,Uy\rangle for all x,y. This implies that U^*U=1. We can also prove that the set B(H) of bounded linear operators satisfy the definition of a C*-algebra. The norm of U then follows immediately from the C*-identity \|A\|^2=\|A^*A\|, which is satisfied by all members of B(H).

D'oh, for a moment I thought that this thread was about determining the norm of a unitary operator, but it's about proving that U*U=1. In this approach, the definition includes the condition \|Ux\|=\|x\| for all x. This clearly implies that \langle Ux,Ux\rangle=\langle x,x\rangle for all x. Now if we let y,z be arbitrary, and insert stuff like y+z and y-z into that result, we will see (after a little algebra) that \langle Ux,Uy\rangle=\langle x,y\rangle for all x,y.
 
Last edited:
Insights auto threads is broken atm, so I'm manually creating these for new Insight articles. In her YouTube video Bell’s Theorem Experiments on Entangled Photons, Dr. Fugate shows how polarization-entangled photons violate Bell’s inequality. In this Insight, I will use quantum information theory to explain why such entangled photon-polarization qubits violate the version of Bell’s inequality due to John Clauser, Michael Horne, Abner Shimony, and Richard Holt known as the...
Not an expert in QM. AFAIK, Schrödinger's equation is quite different from the classical wave equation. The former is an equation for the dynamics of the state of a (quantum?) system, the latter is an equation for the dynamics of a (classical) degree of freedom. As a matter of fact, Schrödinger's equation is first order in time derivatives, while the classical wave equation is second order. But, AFAIK, Schrödinger's equation is a wave equation; only its interpretation makes it non-classical...
I asked a question related to a table levitating but I am going to try to be specific about my question after one of the forum mentors stated I should make my question more specific (although I'm still not sure why one couldn't have asked if a table levitating is possible according to physics). Specifically, I am interested in knowing how much justification we have for an extreme low probability thermal fluctuation that results in a "miraculous" event compared to, say, a dice roll. Does a...
Back
Top