Drexel dragonThe Math ForumDonate to the Math Forum



Search All of the Math Forum:

Views expressed in these public forums are not endorsed by Drexel University or The Math Forum.


Math Forum » Discussions » sci.math.* » sci.math.independent

Topic: unitary matrix
Replies: 2   Last Post: May 18, 2006 5:58 PM

Advanced Search

Back to Topic List Back to Topic List Jump to Tree View Jump to Tree View   Messages: [ Previous | Next ]
Dr. Eric Wingler

Posts: 139
Registered: 12/12/04
Re: unitary matrix
Posted: May 18, 2006 4:20 PM
  Click to see the message monospaced in plain text Plain Text   Click to reply to this topic Reply


"katy" <mcld@mega.ist.utl.pt> wrote in message
news:1147894859.922823.226600@u72g2000cwu.googlegroups.com...
> Hi!
>
> I'm trying to prove that when A and B are positive definite (Det >0)
>
> U= (A^-1/2 B A^-1/2)^1/2 A^1/2 B^-1/2 is an unitary matrix
>
> I simplified U:
>
> U= (A^-1/2 B A^-1/2)^1/2 A^1/2 B^-1/2
>
> = A^-1/4 B^1/2 A^-1/4 A^1/2 B^ -1/2
> = A^-1/4 B^1/2 A^1/4 B^-1/2
>
> I calculated U^T:
>
> U^T = [ (A^-1/2 B A^-1/2)^1/2 A^1/2 B^-1/2 ]^T=
>
> = (B^-1/2)^T (A^1/2 )^T [( A^-1/2 B A^-1/2)^1/2]^T
>
> = (B^-1/2)^T (A^1/2 )^T ( A^-1/4 B^1/2 A^-1/4)^T
>
> = (B^-1/2)^T (A^1/2 )^T ( A^-1/4) ^T (B^1/2)^T (A^-1/4)^T
>
> = (B^-1/2)^T (A^(1/2-1/4)) ^T (B^1/2)^T (A^-1/4)^T
>
> = (B^-1/2)^T (A^1/4) ^T (B^1/2)^T (A^-1/4)^T
>
>
> I also calculated U^-1:
>
> U^-1= [ (A^-1/2 B A^-1/2)^1/2 A^1/2 B^-1/2 ]^-1
>
> = B^1/2 A^-1/2 ( A^-1/2 B A^-1/2)^-1/2
>
> = B^1/2 A^-1/2 A^1/4 B^-1/2 A^1/4
>
> = B^1/2 A^-1/4 B^-1/2 A^1/4
>
> But i didn't achieved any conclusion :(
>
>
>
> If the space is real I've proved that U is unitary (using the fact that
> A*= A^T, so A^-1 = A^T)
>
> So i verified that
>
> U U^T= I
>
>
> [A^-1/4 B^1/2 A^1/4 B^-1/2 ] [ (B^-1/2)^T (A^1/4) ^T (B^1/2)^T
> (A^-1/4)^T]= I =
>
> <=> A^-1/4 B^1/2 A^1/4 B^-1/2 (B^-1/2)^T (A^1/4) ^T (B^1/2)^T
> (A^-1/4)^T = i
>
> <=> A^-1/4 B^1/2 A^1/4 B^-1/2 (B^1/2) (A^1/4) ^T (B^1/2)^T
> (A^-1/4)^T = i
>
> <=> A^-1/4 B^1/2 A^1/4 (A^1/4) ^T (B^1/2)^T (A^-1/4)^T = I
>
> <=> A^-1/4 B^1/2 A^1/4 (A^-1/4) (B^1/2)^T (A^-1/4)^T = I
>
> <=>A^-1/4 B^1/2 (B^1/2)^T (A^-1/4)^T = I
>
> <=> A^-1/4 B^1/2 (B^-1/2) (A^-1/4)^T = I
>
> <=> A^-1/4 (A^-1/4)^T = I
>
> <=> A^-1/4 (A^1/4) = I
>
> <=> I=I
>
>
>
>
> Can somebody help me to prove that U is unitary in any case?
>
>
> Thank you very much,
>
> Catarina Dias
>


You may find this easier to do if you don't simplify U. Just compute U*U^T.

________________________________
Eric J. Wingler (wingler@math.ysu.edu)
Dept. of Mathematics and Statistics
Youngstown State University
One University Plaza
Youngstown, OH 44555-0001
330-941-1817





Point your RSS reader here for a feed of the latest messages in this topic.

[Privacy Policy] [Terms of Use]

© Drexel University 1994-2014. All Rights Reserved.
The Math Forum is a research and educational enterprise of the Drexel University School of Education.