Ivan Shishkin, Rye (1878)

Problems/Riemann integrationUnreviewed

Reflection formula for Euler Γ\Gamma function

by Sequoia·
70
Difficulty scaleÉchelle de difficulté

This score reflects both the level of the required concepts and the difficulty of the solution.Ce score tient compte à la fois du niveau des notions nécessaires et de la difficulté de la résolution.

  1. 110First steps / middle schoolPremiers pas / collège
  2. 1125Beginner / high schoolDébutant / lycée
  3. 2650Intermediate / undergraduateIntermédiaire / licence
  4. 5170Advanced / graduateAvancé / master
  5. 7190Expert / specializedExpert / spécialisé
  6. 91100Research levelNiveau recherche
These levels are approximate guides.Ces niveaux sont des repères approximatifs.
·
English
EnglishFrançais
Unreviewed. This problem has not been reviewed by trusted users yet.

The purpose of this problem is to prove the following formula
z]0,1[,Γ(z)Γ(1z)=πsin(πz)\boxed{\forall z\in]0,1[, \Gamma(z)\Gamma(1-z)=\frac{\pi}{\sin(\pi z)}}where Γ(z):=0+tz1etdt\displaystyle\Gamma(z):=\int_0^{+\infty}t^{z-1}\,e^{-t}\,\mathrm{d}t is the Euler function. This formula, generalizable to the whole band 0<(z)<10<\Re(z)<1, is very useful in order to understand how the Riemann ζ\zeta-function behaves for (z)<1\Re(z)<1.

We start by some preliminaries.

1) a) Show that Γ(x)\Gamma(x) is defined for all x>0x>0. Show also that the function BB such that
B(x,y):=01tx1(1t)y1dt,\displaystyle B(x,y):=\int_0^1 t^{x-1}\,(1-t)^{y-1}\,\mathrm{d}t,is defined for all x,y>0x,y>0.

1) b) For x,y>0x,y>0, show that
Γ(x)Γ(y)=Γ(x+y)B(x,y).\Gamma(x)\Gamma(y)=\Gamma(x+y)B(x,y).

1) c) Let fα~ ⁣:x[π,π[cos(αx)\tilde{f_{\alpha}}\colon x\in [-\pi,\pi[\longmapsto \cos(\alpha x) where αR\Z\alpha\in\R\backslash \Z and let fα ⁣:RRf_{\alpha}\colon \R\to \R be the unique 2π2\pi-periodic function such that fα(x)=fα~(x),x[π,π[f_{\alpha}(x)=\tilde{f_{\alpha}}(x), x\in[-\pi,\pi[ and fαf_{\alpha} is even.
Show that fαf_{\alpha} can be decomposed as a real Fourier series, determine the coefficients of this decomposition and deduce the relation
πsin(απ)=k=(1)kk+α\frac{\pi}{\sin(\alpha \pi)}=\sum_{k=-\infty}\frac{(-1)^k}{k+\alpha}

Now we can move to the heart of the proof. To do so, define the integral for all z]0,1[z\in]0,1[
Iz:=0+tz11+tdtI_{z}:=\int_0^{+\infty}\frac{t^{z-1}}{1+t}\,\mathrm{d}t

2) Show that IzI_{z} is well-defined for all 0<z<10<z<1.
3) Show that
Iz=01tz1+tz1+tdt=k=+(1)kk+z=πsin(πz)I_z=\int_0^1 \frac{t^{z-1}+t^{-z}}{1+t}\,\mathrm{d}t=\sum_{k=-\infty}^{+\infty}\frac{(-1)^k}{k+z}=\frac{\pi}{\sin(\pi z)}4) Show also that
x,y>0,B(x,y)=0+ux1(1+u)x+ydu\forall x,y>0, B(x,y)=\int_0^{+\infty}\frac{u^{x-1}}{(1+u)^{x+y}}\,\mathrm{d}uand conclude.

I solved itMark it doneAdd to my listKeep it in your list

Hints

4

Hint 1

Open this only if you want a small nudge before looking at the solutions.

Solutions

0
Report

For an unclear, ambiguous, or possibly incorrect statement, please use the Discussion tab on the right. Report content that needs moderator intervention, such as dangerous, clearly non-mathematical, or plagiarized content.