∫ 0 ∞ 1 − e x x 7 d x
If the integral above is equal to − B A π C , where A , B and C are coprime positive integers with A , B coprime, find A + B + C .
This section requires Javascript.
You are seeing this because something didn't load right. We suggest you, (a) try
refreshing the page, (b) enabling javascript if it is disabled on your browser and,
finally, (c)
loading the
non-javascript version of this page
. We're sorry about the hassle.
First we substitute: e − x = x
We get: I = ∫ 0 1 x − 1 ( l n x ) 7
We will use poly-gamma function for this.
ψ 7 ( n + 1 ) = ∫ 0 1 x − 1 x n ( l n x ) 7
Now, we substitute n = 0
ψ 7 ( 1 ) = ∫ 0 1 x − 1 ( l n x ) 7
Now, we use the relation: ψ n ( z ) = ( − 1 ) n + 1 n ! ζ ( n + 1 , z )
Here ζ ( n + 1 , z ) is Hurwitz zeta function.
Now, we substitute n = 7 and z = 1 .
ψ 7 ( 1 ) = − 7 ! ζ ( 8 , 1 )
Now, we use the property: ζ ( n + 1 , 1 ) = ζ ( n + 1 )
Therefore we get: ψ 7 ( 1 ) = − 7 ! ζ ( 8 )
Therefore the answer is: 1 5 − 8 π 8
Note that ζ ( 8 ) = 9 4 5 0 π 8
Easier way is to use the relation between polylogarithm and gamma function, L i s ( z ) Γ ( s ) = ∫ 0 ∞ z e t − 1 t s − 1 d t which can be proved by interchanging summation (of G.P.) and integral.
Log in to reply
Yes I know that. I just wanted to introduce people to Hurwitz zeta function. That's why I made this problem. Actually my intention is to introduce juniors with new functions so that they can learn and apply them in brilliant integration contest 3 in December.
Dude but its very difficult to memorize the values of RZF as order gets higher and higher
Log in to reply
True that. You always have the internet for that. Or you can derive it.
Log in to reply
can you explain me how to derive that?because i don't know
Log in to reply
@Akhilesh Vibhute – Use the formula: ζ ( 2 n ) = 2 ( 2 n ) ! ( − 1 ) n + 1 B 2 n ( 2 π ) 2 n
You can get limited number of values for Bernoulli number from here .
Problem Loading...
Note Loading...
Set Loading...
I used the relation:
ζ ( s ) Γ ( s ) = ∫ 0 ∞ e x − 1 x s − 1 d x
Therefore
− ζ ( 8 ) Γ ( 8 ) = ∫ 0 ∞ 1 − e x x 7 d x
LHS:
We can first start by evaluating ζ ( 8 ) :
We use the relation:
π 2 − s Γ ( 2 s ) ζ ( s ) = π − 2 1 − s Γ ( 2 1 − s ) ζ ( 1 − s )
⟹ ζ ( s ) = Γ ( 2 s ) π s − 2 1 Γ ( 2 1 − s ) ζ ( 1 − s )
ζ ( 8 ) = Γ ( 4 ) π 2 1 5 Γ ( 2 − 7 ) ζ ( − 7 )
ζ ( 8 ) = Γ ( 4 ) π 2 1 5 Γ ( 2 − 7 ) 8 β 8
ζ ( 8 ) = Γ ( 4 ) π 2 1 5 Γ ( 2 − 7 ) 2 4 0 1
ζ ( 8 ) = 3 ! 2 4 0 π 2 1 5 Γ ( 2 − 7 )
ζ ( 8 ) = 1 4 4 0 π 2 1 5 Γ ( 2 − 7 )
We now use Euler’s reflection formula to compute Γ ( 2 − 7 )
Γ ( 1 − z ) Γ ( z ) = sin π z π
Γ ( 2 9 ) Γ ( 2 − 7 ) = sin − 2 7 π π
Γ ( 2 9 ) Γ ( 2 − 7 ) = sin 2 π π
Γ ( 2 9 ) Γ ( 2 − 7 ) = π
We can then evaluate Γ ( 2 9 ) separately, we can reduce it using the fact that:
Γ ( s + 1 ) = s Γ ( s )
∴ Γ ( 2 9 ) = 1 6 1 0 5 Γ ( 2 1 )
We can then compute Γ ( 2 1 ) using:
Γ ( s ) = ∫ 0 ∞ t s − 1 e − t d t
Γ ( 2 1 ) = ∫ 0 ∞ t 2 1 e − t d t
Let t = x 2 , the variable x is independent to the one in the question. Thus d t = 2 x d x
= 2 ∫ 0 ∞ x − 1 e − x 2 x d x
= 2 ∫ 0 ∞ e − x 2 d x
Since the function we are integrating is an even function, thus instead of having the 2 in front of the integral we can re-write it as:
= ∫ − ∞ ∞ e − x 2 d x
We can let the above integral be I then square it, change the variable of integration on the other, since it won’t affect its value then evaluate.
= ( ∫ − ∞ ∞ e − x 2 d x ) ( ∫ − ∞ ∞ e − y 2 d y )
= ∫ − ∞ ∞ ∫ − ∞ ∞ e − ( x 2 + y 2 ) d x d y
Let x = r cos θ and y = r sin θ . Computing the Jacobian yields ∣ J ∣ = r
= ∫ 0 2 π ∫ 0 ∞ r e − r 2 d r d θ
Let u = r 2 , 2 1 d u = r d r .
= 2 1 ∫ 0 2 π ∫ 0 ∞ e − u d u d θ
= 2 1 ∫ 0 2 π − e − u ∣ 0 ∞ d θ
= 2 1 ∫ 0 2 π − e − u ∣ 0 ∞ d θ
= 2 1 ∫ 0 2 π d θ
= π
∴ I 2 = π meaning I = π
Therefore Γ ( 2 1 ) = π
This means that Γ ( 2 9 ) = 1 6 1 0 5 π
Since:
Γ ( 2 9 ) Γ ( 2 − 7 ) = π
This means that:
Γ ( 2 − 7 ) = 1 0 5 1 6 π
Then:
ζ ( 8 ) = 1 4 4 0 π 2 1 5 1 0 5 1 6 π
∴ ζ ( 8 ) = 9 4 5 0 π 8
Finally we reach our answer to the integral to be:
∫ 0 ∞ 1 − e x x 7 d x = − ζ ( 8 ) Γ ( 8 ) = − 9 4 5 0 π 8 ( 8 − 1 ) ! = − 1 5 8 π 8
∴ A + B + C = 8 + 1 5 + 8 = 3 1