Proving Cayley Transform operator is unitary

  • Context: Graduate 
  • Thread starter Thread starter Ad123q
  • Start date Start date
  • Tags Tags
    Operator Transform
Click For Summary
SUMMARY

The Cayley Transform operator, defined as U=(A-i)(A+i)^-1, is proven to be unitary by demonstrating that UU*=U*U=I, where U* is the adjoint of U and A is a bounded operator over a Hilbert space H. The adjoint is derived as U*=(A+i)(A-i)^-1. The discussion emphasizes the use of integral properties and adjoint operator rules, specifically (AB)^*=B^*A^* and (A^{-1})^*=(A^*)^{-1}, to facilitate the proof. The final verification involves confirming the commutation of A+i and A-i during multiplication.

PREREQUISITES
  • Understanding of unitary operators in functional analysis
  • Familiarity with adjoint operators in Hilbert spaces
  • Knowledge of bounded operators and their properties
  • Proficiency in integral calculus as it relates to operator theory
NEXT STEPS
  • Study the properties of unitary operators in quantum mechanics
  • Learn about adjoint operators and their applications in functional analysis
  • Explore the implications of the Cayley Transform in operator theory
  • Investigate the relationship between bounded operators and their adjoints
USEFUL FOR

Mathematicians, physicists, and students specializing in functional analysis, operator theory, or quantum mechanics who seek to deepen their understanding of unitary operators and the Cayley Transform.

Ad123q
Messages
19
Reaction score
0
Hi,

Was wondering if anyone could give me a hand.

I need to prove that the Cayley Transform operator given by U=(A-i)(A+i)^-1 is UNITARY, ie that UU*=U*U=I where U* is the adjoint of U (I am given also that A=A* in the set of bounded operators over a Hilbert space H).

My solution so far, is this correct?

U=(A-i)(A+i)^-1 so

(U)(x) = (A-i)((A+i)^-1)x (U acting on an x)

Then (Ux,y)= {INTEGRAL}(A-i)((A+i)^-1)x y(conjugate) dx (1)

= {INTEGRAL}x(A-i)((A+i)^-1)(both conjugate)y(all three conjugate) dx (2)

=(x,U*y)

and so deduce (U*)(y) = (A+i)((A-i)^-1)y

and so the adjoint of U is U*=(A+i)(A-i)^-1

It can then be checked that UU*=U*U=I

As you can see my main query is the mechanism of finding the adjoint of U for the given U.

For clarity in step (1) it is just the y which is conjugated, and in step (2) it is (A-i)(A+i)^-1 which is conjugated and then also the whole of (A-I)((A+i)^-1)y which is also conjugated. Sorry if my notation is confusing, if unsure just ask.

Thanks for your help in advance!
 
Physics news on Phys.org
Hi Ad123q! :smile:


Ad123q said:
Hi,

Was wondering if anyone could give me a hand.

I need to prove that the Cayley Transform operator given by U=(A-i)(A+i)^-1 is UNITARY, ie that UU*=U*U=I where U* is the adjoint of U (I am given also that A=A* in the set of bounded operators over a Hilbert space H).

My solution so far, is this correct?

U=(A-i)(A+i)^-1 so

(U)(x) = (A-i)((A+i)^-1)x (U acting on an x)

Then (Ux,y)= {INTEGRAL}(A-i)((A+i)^-1)x y(conjugate) dx (1)

= {INTEGRAL}x(A-i)((A+i)^-1)(both conjugate)y(all three conjugate) dx (2)

=(x,U*y)

and so deduce (U*)(y) = (A+i)((A-i)^-1)y

and so the adjoint of U is U*=(A+i)(A-i)^-1

It can then be checked that UU*=U*U=I

How do you conclude this from your expression for U*?

Btw, instead of using the integral, can't you simply use the properties of the adjoint operator?
That is, (AB)^*=B^*A^* and (A^{-1})^*=(A^*)^{-1}?


Ad123q said:
As you can see my main query is the mechanism of finding the adjoint of U for the given U.

For clarity in step (1) it is just the y which is conjugated, and in step (2) it is (A-i)(A+i)^-1 which is conjugated and then also the whole of (A-I)((A+i)^-1)y which is also conjugated. Sorry if my notation is confusing, if unsure just ask.

Thanks for your help in advance!
 
[(A-i)(A+i)-1]* = [(A+i)-1]*(A-i)* = [(A+i)*]-1(A-i)*
=(A* - i)-1(A*+i) = (A - i)-1(A+i)

Now for instance multiply this with the original operator

(A - i)-1(A+i)(A-i)(A+i)-1

Note that A+i and A-i commute hence you get the result. Similiarly for the other way around
 

Similar threads

  • · Replies 3 ·
Replies
3
Views
3K
  • · Replies 4 ·
Replies
4
Views
3K
  • · Replies 6 ·
Replies
6
Views
3K
  • · Replies 3 ·
Replies
3
Views
3K
  • · Replies 2 ·
Replies
2
Views
3K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 3 ·
Replies
3
Views
3K
  • · Replies 27 ·
Replies
27
Views
3K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 3 ·
Replies
3
Views
3K