I tried, but its hard to see what is the numerator in that case, since we have N terms. Any other hint?

Apr 7th 2010, 04:22 AM

Laurent

The previous hint was a good one: as a matter of fact, .
A can think of at least three different proofs of that identity; you should give it a try.

Apr 7th 2010, 04:33 AM

EinStone

Actually the whole idea of this problem was to prove exactly your identity. My idea was to prove that zeroes and poles are the same. For poles I was able to prove that, but for the zeroes I needed help. So I posted this thread, and now you tell me to prove the identity, which I really don't know how :).

Apr 7th 2010, 08:57 AM

Laurent

Quote:

Originally Posted by EinStone

Actually the whole idea of this problem was to prove exactly your identity. My idea was to prove that zeroes and poles are the same. For poles I was able to prove that, but for the zeroes I needed help. So I posted this thread, and now you tell me to prove the identity, which I really don't know how :).

(Giggle)

a) The function is a polynomial of degree , and it is simple to check that it satisfies (each time, only one term is on-zero). Thus is a degree polynomial with roots, hence it is zero.

Then I looked for a more explicit proof. It turns out to have calculus flavour.

c) can be decomposed into simple elements (I'm not sure of the english terminology): (simple poles). And you note that from this expression. Using this formula in gives , which are the coefficients of , hence .

There must be several other proofs...

Apr 8th 2010, 01:42 AM

EinStone

OK, nice. Now where we have the identity:

I need to show carefully that the limit exists and yields the integral representation of the Gamma function.
This seems somehow trivial to me since as and the right side is just the definition of the Gamma function. Or am I wrong?

Apr 8th 2010, 02:18 AM

Laurent

Quote:

Originally Posted by EinStone

OK, nice. Now where we have the identity:

I need to show carefully that the limit exists and yields the integral representation of the Gamma function.
This seems somehow trivial to me since as and the right side is just the definition of the Gamma function. Or am I wrong?

You also have to justify why the left hand side converges to . You'll probably need the dominated convergence theorem for that. Use , and write to be in the setting of the dominated convergence theorem.

Apr 8th 2010, 02:22 AM

EinStone

I dont know this theorem, and Im not too familiar with Lebesque integration either. Do you have any other approach?

EDIT. Actually is Lebesque convergence theorem the same as dominated convergence theorem? Cause that one I know, and then it should be possible.