Need help proving that an infinite double sum is 1

[mjordan2nd]

Homework Statement

I am asked to prove that e^{iB} is unitary if B is a self-adjoint matrix.

The Attempt at a Solution

In order to prove this I am attempting to show e^{iB} \widetilde{e^{iB}} = 1. Using the assumption that B is self-adjoint I have been able to show that

<br /> <br /> e^{iB} \widetilde{e^{iB}} = \sum_{n=0}^{\infty} \sum_{m=0}^{\infty} \frac{(-1)^m i^{m+n} B^{m+n}}{m!n!}.<br /> <br />

I have looked at the first few powers of B and shown that the coefficients go to 0. I expect that this is the case in general for m+n>0, however I am having difficulty proving this (for m,n=0 the term is 1). Can anyone point me in the right direction? Thanks.

 

[Dick]

I don't think that's the easiest way to prove this. If B is self-adjoint then B has a complete set of orthonomal eigenvectors with real eigenvalues. If v is an eigenvector then Bv=λv then e^(iB)v=e^(iλ)v. Pick a basis of eigenvectors and show e^(iB) is unitary directly.

 

[mjordan2nd]

I'm sorry, I'm a little lost by what you mean by showing the e^(iB) is unitary directly.

 

[Dick]

I'm sorry, I'm a little lost by what you mean by showing the e^(iB) is unitary directly.

If U is unitary that means <Ux,Uy>=<x,y>, right? It preserves the inner product.

 

[mjordan2nd]

I see what you're saying. I will attempt that.

I'm still interested in seeing how one would simplify the sum. Wolfram alpha confirms that the sum goes to one, so if anyone could enlighten me about this I would appreciate it.

 

[micromass]

I see what you're saying. I will attempt that.

I'm still interested in seeing how one would simplify the sum. Wolfram alpha confirms that the sum goes to one, so if anyone could enlighten me about this I would appreciate it.

If you want to specifically work with the series, then you should try to "change variables" in the series. Let k=m+n, then you should get series of the form

\sum_k \sum_m

The inner sum (summed of m) is a finite sum. Try to get that in the form of a binomial sum.