Prove some identities! (Round two)

**chiph588@** · January 16th 2011, 08:56 PM

Originally Posted by Drexel28

So then I suppose it will be impressive when you prove it, right!

Spoiler:

**Drexel28** · January 16th 2011, 08:58 PM

Originally Posted by chiph588@

Spoiler:

See, it wasn't so bad!

**Random Variable** · January 17th 2011, 11:46 AM

I don't understand how you used the duplication formula. Could you explain? I'm stupid.

Originally Posted by chiph588@

Spoiler:

**chiph588@** · January 17th 2011, 11:51 AM

Originally Posted by Random Variable

I don't understand how you used the duplication formula. Could you explain. I'm stupid.

You're not stupid, math is hard!

$\displaystyle 2\sqrt{\pi}\Gamma(2z) = 2^{2z}\Gamma(z)\Gamma(z+\tfrac12) \implies \log(2\sqrt{\pi})+\log\Gamma(2z) = \log 2^{2z} + \log\Gamma(z) + \log\Gamma(z+\tfrac12)$

$\displaystyle \frac d{dz}\left(\log(2\sqrt{\pi})+\log\Gamma(2z)\right) = \frac d{dz}\left(2z\log 2 + \log\Gamma(z) + \log\Gamma(z+\tfrac12)\right)$

$\displaystyle \implies 2f(2z) = 2\log2+f(z)+f(z+\tfrac12)$

**Random Variable** · January 17th 2011, 03:38 PM

More "fun" with the polygamma function.

EDIT: Show that $\displaystyle \int^{\infty}_{0} \sin (x) x^{a-1} \ dx = \Gamma(a) \sin \big(\frac{\pi a}{2} \big) \ 0<a<1$ .

Then use the result to find $\displaystyle \int^{\infty}_{0} \sin(x^{2}) \ln^{2} x \ dx$ .

**Drexel28** · January 17th 2011, 07:34 PM

Originally Posted by Random Variable

More "fun" with the polygamma function.

EDIT: Show that $\displaystyle \int^{\infty}_{0} \sin (x) x^{a-1} \ dx = \Gamma(a) \sin \big(\frac{\pi a}{2} \big) \ 0<a<1$ .

Then use the result to find $\displaystyle \int^{\infty}_{0} \sin(x^{2}) \ln^{2} x \ dx$ .

I'll leave the second part to someone else:

Spoiler:

**Random Variable** · January 17th 2011, 08:09 PM

I think the integral also converges for $-1<a<0$ . But $a=0$ seems to be a problem even if you take the limit as $a$ goes to zero.

EDIT: I didn't make that clear. I meant before you manipulated your answer, should it be $\cos \Big( \frac{\pi a}{2} \Big)$ or $\sin \Big(\frac{\pi a}{2} \Big)$ ?

Originally Posted by Drexel28

I'll leave the second part to someone else:

Spoiler:

**Drexel28** · January 17th 2011, 08:13 PM

Originally Posted by Random Variable

I think the integral also converges for $-1<a<0$ . But $a=0$ seems to be a problem even if you take the limit as $a$ goes to zero.

It converges for $\text{Re}(a)\in(-1,1)$ . When, $a=0$ this is the famous integral $\displaystyle \int_0^{\infty}\frac{\sin(x)}{x}\text{ }dx=\frac{\pi}{2}$ .

And should it be $\cos \Big( \frac{\pi a}{2} \Big)$ or $\sin \Big(\frac{\pi a}{2} \Big)$ ?

Are you talking about for the integral extended to negative values, or for my integral? For mine it is supposed to be $\cos\left(\frac{\pi a}{2}\right)$ ? Would you like a proof?

**Random Variable** · January 17th 2011, 08:28 PM

I'm well aware of that integral. But does $\lim_{a \to 0} \Gamma(a) \sin \Big( \frac{\pi a}{2} \Big) = \frac{\pi}{2}$ ?

And I thought $\displaystyle \int^{\infty}_{0} \frac{y^{-a}}{1+y^{2}} \ dx = \frac{\frac{\pi}{2}}{\sin \frac{\pi (1-a)}{2}} = \frac{\frac{\pi}{2}}{\cos \frac{\pi a}{2}}$ . Nevermind.

**Drexel28** · January 17th 2011, 08:35 PM

Originally Posted by Random Variable

I'm well aware of that integral. But does $\lim_{a \to 0} \Gamma(a) \sin \Big( \frac{\pi a}{2} \Big) = \frac{\pi}{2}$ ?

Go back to extending $\Gamma$ analytically to $\mathbb{C}$ by the reflection formula! In particular, in my methodology above we see that $\displaystyle \Gamma(a)\sin\left(\frac{\pi a}{2}\right)=\frac{\pi}{2}\frac{\Gamma(1-a)}{\cos\left(\frac{\pi a}{2}\right)}$ . What happens if you plug $a=0$ in there?

**chiph588@** · January 18th 2011, 01:51 PM

For $\displaystyle k\in\mathbb{Z}$ , evaluate $\displaystyle \sum_{n=1}^\infty (-1)^nn^{-1+2\pi ik/\log2}$

Not too difficult, but the result is somewhat surprising if you've never seen it.

**Drexel28** · January 18th 2011, 09:23 PM

Originally Posted by chiph588@

For $\displaystyle k\in\mathbb{Z}$ , evaluate $\displaystyle \sum_{n=1}^\infty (-1)^nn^{-1+2\pi ik/\log2}$

Not too difficult, but the result is somewhat surprising if you've never seen it.

This was surprising!

Spoiler:

**Drexel28** · January 18th 2011, 11:11 PM

Try this:

$\displaystyle \sum_{n=0}^{\infty}\frac{(a)_n(b)_n}{(c)_nn!}\quad c-b-a>0$

**Bruno J.** · January 19th 2011, 12:23 PM

Originally Posted by Drexel28

Try this:

$\displaystyle \sum_{n=0}^{\infty}\frac{(a)_n(b)_n}{(c)_nn!}\quad c-b-a>0$

That's just Gauss' hypergeometric series...

This thread has started as "Prove some identities", and has become "Use this transcendental function's properties as proven in Whittaker and Watson". There's nothing wrong with it, but it'd be fun to go back to some relatively simple stuff.

Here's an easy problem I made up : show that, for any positive integer $n$ , we have

$\displaystyle \sum_{k=2}^\infty\lfloor \log_k n\rfloor = \sum_{k=1}^\infty \lfloor n^{1/k}-1\rfloor$

**Bruno J.** · January 30th 2011, 11:40 AM

I didn't mean to kill this thread! Somebody must have solved the problem I gave but forgotten to post their solution... right? ^^

Thread: Prove some identities! (Round two)

LinkBack

Thread Tools

Display

Similar Math Help Forum Discussions

Can't prove these identities?

prove the following identities.

Prove Identities

Prove these identities.

help Prove identities

Search Tags