Hi Brilliant! Just like what Anastasiya Romanova conducted last year, this year I would also like to conduct an integration contest.
The aims of the Integration contest are to improve skills in the computation of integrals, to learn from each other as much as possible, and of course to have fun. Anyone here may participate in this contest.
The rules are as follows:
I will start by posting the first problem. If there is a user solves it, then they must post a new one.
You may only post a solution of the problem below the thread of problem and post your proposed problem in a new thread. Put them separately.
Only make substantial comment that will contribute to the discussion.
Make sure you know how to solve your own problem before posting it in case there is no one can answer it within 48 hours, then you must post the solution and you have a right to post another problem.
If the one who solves the last problem does not post his/her own problem after solving it within a day, then the one who has a right to post a problem is the last solver before him/her.
The scope of questions is only computation of integrals either definite or indefinite integrals.
You are NOT allowed to post a multiple integrals problem.
It is NOT compulsory to post original problems. But make sure it has not been posted on brilliant.
Do not copy questions from last year's contest. If anyone found to do so he/she will be banned from taking further part in this contest
You are also NOT allowed to post a solution using a contour integration or residue method.
The final answer can ONLY contain the following special functions: gamma function, beta function, Riemann zeta function, Dirichlet eta function, dilogarithm, digamma function, trigonometric integral, Wallis' integral, Bessel function, contour integration and Ramanujan's Master Theorem (including Mellin Transform).
Please post your solution and your proposed problem in a single new thread.
Format your post is as follows:
1 2 3 4 5 6 7 |
|
The comments will be easiest to follow if you sort by "Newest":
View Part 2
Easy Math Editor
This discussion board is a place to discuss our Daily Challenges and the math and science related to those challenges. Explanations are more than just a solution — they should explain the steps and thinking strategies that you used to obtain the solution. Comments should further the discussion of math and science.
When posting on Brilliant:
*italics*
or_italics_
**bold**
or__bold__
paragraph 1
paragraph 2
[example link](https://brilliant.org)
> This is a quote
\(
...\)
or\[
...\]
to ensure proper formatting.2 \times 3
2^{34}
a_{i-1}
\frac{2}{3}
\sqrt{2}
\sum_{i=1}^3
\sin \theta
\boxed{123}
Comments
Problem 1:
Evaluate: ∫011−x2xln(x)dx
This problem has been solved by Surya Prakash.
Log in to reply
Another solution: Let (1−x2)=t
(1−x2)−xdx=dt
So integration becomes
−∫10ln(1−t2)dt
−21∫10ln(1−t2)dt
21∫01ln(1−t2)dt
21∫01(ln(1−t)+ln(1+t))dt
This can be easily evaluated and comes out to be ln2−1
Solution to Problem 1:
∫011−x2xln(x)dx Take t=arcsin(x)⟺dt=1−x2dx and the limits changes to t=0 to t=2π. ∫02πsin(t)ln(sin(t))dt
Consider,
B(x,y)=∫01tx−1(1−t)y−1dt
Taking the transformation t=sin2(z)⟺dt=2sin(z)cos(z)dz, the integral transforms into
B(x,y)=2∫0π/2sin2x−1(z)cos2y−1(z)dz
But B(x,y)=Γ(x+y)Γ(x)Γ(y)
So, ∫0π/2sin2x−1(z)cos2y−1(z)dz=21Γ(x+y)Γ(x)Γ(y)
Differentiate it w.r.t x
2∫0π/2sin2x−1(z)cos2y−1(z)ln(sin(z))dz=21∂x∂Γ(x+y)Γ(x)Γ(y)∫0π/2sin2x−1(z)cos2y−1(z)ln(sin(z))dz=41Γ(x+y)Γ(x)Γ(y)(ψ(x)−ψ(x+y))
Take x=1 and y=21.
∫0π/2sin(z)ln(sin(z))dz=41Γ(3/2)Γ(1)Γ(1/2)(ψ(1)−ψ(3/2))=ln(2)−1
Problem 2:
Evaluate:
∫0∞exp(x3)xcos(x3)dx
This problem has been solved by Tanishq Varshney.
Log in to reply
Solution to Problem 2
Firstly I would add a proof of my solution
∫0∞e−axxn−1dx=anΓ(n) where Γ(n) is Gamma function
Replace a→a+ib where i=−1
∫0∞e−axe−ibxxn−1dx=(a+ib)nΓ(n)
Put a=rcosy and b=rsiny.
So that r2=a2+b2 and y=arctan(ab)
Using de moviers theorem
∫0∞e−ax(cosbx−isinbx)xn−1dx=rnΓ(n)(cosny+sinny)−1
Comparing the real and imaginary parts we finally get
∫0∞xn−1e−ax(cosbx)dx=rnΓ(n)(cosny)
now in the given integral put x3=t
The integral now becomes
31∫0∞t−31e−tcos(t)dt
here n=32;a=1 and b=1
Thus we get 31231Γ(32)cos(6π)
3.2343Γ(32)
Problem 23:
Evaluate:∫01log(1+x)log(1−x3)dx
Due to time constraint, Aditya Kumar decided to post a solution himself.
Log in to reply
Solution to Problem 23:
Substitute: x⟶1+x1−x
I=∫01ln(1+x)ln(1−x3)dx=2∫01ln((1+x)32x(3+x2))ln(1+x2)(1+x)2dx
On separating the integrands,
ln((1+x)32x(3+x2))ln(1+x2)=ln22−ln2lnx+ln2ln(3+x2)−4ln2ln(1+x)−lnxln(1+x)+3ln2(1+x)−ln(1+x)ln(3+x2)
1st integral:
\int_0^1 \frac{dx}{(1+x)^2}=-\frac1{1+x}\Bigg{|}_0^1=\frac12
2nd integral:
∫01(1+x)2lnxdx=n≥1∑n(−1)n=−ln2
3rd integral:
\int_0^1 \frac{\ln(1+x)}{(1+x)^2}dx=-\frac{\ln(1+x)}{1+x}\Bigg{|}_0^1+\int_0^1\frac{dx}{(1+x)^2}dx=\frac12-\frac{\ln2}{2}
4th integral:
\int_0^1 \frac{\ln(3+x^2)}{(1+x)^2}dx=-\frac{\ln(3+x^2)}{1+x}\Bigg{|}_0^1+\int_0^1 \frac{2x}{(1+x)(3+x^2)}dx \\=-\ln2+\ln3+2\operatorname{Re} \int_0^1 \frac{dx}{(1+x)(x+i\sqrt{3})}=-\ln2+\frac34\ln3+\frac{\pi}{4\sqrt{3}}
5th integral:
\int_0^1 \frac{\ln x \ln(1+x)}{(1+x)^2}dx=-\frac{\ln x\ln(1+x)}{1+x}\Bigg{|}_0^1+\int_0^1\frac1{1+x}\left(\frac{\ln(1+x)}{x}+\frac{\ln x}{1+x}\right)dx \\=-\ln2+\int_0^1 \frac{\ln(1+x)}{x}dx-\int_0^1\frac{\ln(1+x)}{1+x}dx=\frac{\pi^2}{12}-\frac12\ln^22-\ln2
6th integral:
\int_0^1 \frac{\ln^2(1+x)}{(1+x)^2}dx=-\frac{\ln^2(1+x)}{1+x}\Bigg{|}_0^1+\int_0^1 \frac{2\ln(1+x)}{(1+x)^2}dx \\=1-\ln2-\frac12\ln^22
7th integral:
\int_0^1 \frac{\ln(1+x)\ln(3+x^2)}{(1+x)^2}dx=-\frac{\ln(1+x)\ln(3+x^2)}{1+x}\Bigg{|}_0^1+\int_0^1 \frac1{1+x}\left(\frac{2x\ln(1+x)}{3+x^2}+\frac{\ln(3+x^2)}{1+x}\right)dx \\=-\ln^22-\ln2+\frac34\ln3+\frac{\pi}{4\sqrt{3}}+2J
where,
J=∫01(1+x)(3+x2)xln(1+x)dx=Re∫01(1+x)(x+i3)ln(1+x)dx=−81ln22−Rei3−11∫01x+i3ln(1+x)dx
Now on using the formula:
∫01x+aln(1+x)dx=ln2lna−1a+1+Li2(1−a2)−Li2(1−a1)
Putting a=i3 then gives, after taking the real part, and assuming the principle value of the logarithm,
J=−81ln22+12π3ln2+41ReLi2(eiπ/3)−43ImLi2(eiπ/3)−41ReLi2(21eiπ/3)+43ImLi2(21eiπ/3)
Using:
ReLi2(eiπ/3)=36π2,
ImLi2(eiπ/3)=231ψ1(31)−33π2,
Li2(21eiπ/3)=−Li2(−3i)−21ln2(43−i43),
and
ReLi2(−3i)=n=1∑∞(2n)23n(−1)n=41Li2(−31)
we have ReLi2(21eiπ/3)=72π2−81ln2(43)−41Li2(−31)
and ImLi2(21eiπ/3)=12πln(43)−ImLi2(−3i).
Finally, putting everything together gives: I=ln22−81ln23+2ln2ln3−23ln3−6ln2+6−43π(2+ln3)−7237π2+21ψ1(31)−41Li2(−31)+3ℑLi2(−3i)
...
This was not original. I found it very awesome, so I thought to share it here.
Log in to reply
I don't know what's wrong with the rendering of the Latex, since it sometimes render and sometimes it doesn't. So I'm going to post in pictures the one's that didn't render. I think it's better to move this discussion to another note.
1st Integral:
3rd Integral:
4th Integral:
5th Integral:
6th Integral:
7th Integral:
Whoops, I accidentally deleted Tanishq's comment:
Problem 5:
∫0π/2tan−1(1729cos2x)dx
This problem has been solved by Sudeep Salgia.
Log in to reply
I'll post the outline of the solution as it is a bit cumbersome. Let
I(a)=∫02πarctan(acos2x)dx⇒I′(a)=1+a2cos4xcos2xdx=sec4x+a2sec2xdx Substitute tanx=t, to get I′(a)=∫0∞t4+2t2+(a2+1)1dt . Put a2+1=k2 and with some simple rearrangement, we get,
2kI′(a)=∫0∞(t−tk)2+2(k+1)1+t2k−∫0∞(t+tk)2+2(−k+1)1−t2k Substitute t−tk=z and t+tk=y in the respective integrals and evaluate them easily (They come out to be arctan of something ). After all this we can write,
I(a)=22π∫a2+11a2+1+11da
This can be rearranged to be written as
I(a)=22π∫1+2a2+1−11×22a2+1−11×21×a2+1ada
This evaluates to 2πarctan⎝⎛2a2+1−1⎠⎞
The constant of integration is 0 from I(0)=0. Put a=1729 to get the answer.
Problem 24:
Prove that
∫0π/2sin8x+cos8x1dx=210−2π.
This problem has been solved by Tanishq Varshney.
Log in to reply
Solution to Problem 24
∫0∞1+xxm−1dx=sinmππ0<m<1
Refer to problem 18 for this step.
Now in the integral tanx→t
∫0∞1+t8(1+t2)3dt
t8→z
81(∫0∞1+zz87−1+1+z3z85−1+1+z3z83−1+1+zz81−1dz)
→4π(sin(8π)1+cos(8π)3)
=210−2π
Problem 3
Evaluate:
∫02πtan53xdx
This problem has been solved by Aditya Kumar.
Log in to reply
Solution to Problem 3: ∫02π(tanx)53dx=∫02π(sinx)53(cosx)5−3dx=2B(54,51)...........{B(x,y)isbetafunction}=2Γ(1)Γ(54)Γ(51)=2sin(5π)π...............{byeuler′sreflectionformula}=10−252π
Problem 4:
Let P(x) be a polynomial such that P(x)P(x+1)=x2−x+1x2+x+1 and P(2)=3, evaluate∫01(tan−1(P(x)).tan−1(1−xx))dx.
This problem has been solved by Tanishq Varshney.
Log in to reply
Solution to Problem 4
Clearly P(x)=x2−x+1 and P(1−x)=P(x)
Also tan−1(x)=cot−1(x1)
tan−1(x)+cot−1(x)=2π
I=∫01(tan−1(P(x))cot−1(1−xx))dx
2I=2π∫01tan−1(x2−x+1)dx
2I=2π(2π−∫01tan−1(1+x(x−1)1))
2I=2π(2π−∫01tan−1(1+x(x−1)x−(x−1))dx)
2I=2π(2π−(∫01tan−1(x)dx−∫01tan−1(x−1)dx))
2I=2π(2π−(2π−2ln(2)))
I=2πln(2)
Problem 9:
Evaluate the indefinite integral: ∫(xsinx+5cosx)2x2+20dx.
This problem has been solved by Surya Prakesh.
Log in to reply
x2+20=(xsin(x)+5cos(x))2+(5sin(x)−xcos(x))2−5=(xsin(x)+5cos(x))2+(5sin(x)−xcos(x))2−5cos2(x)−5sin2(x)−xcos(x)sin(x)+xcos(x)sin(x)=(xsin(x)+5cos(x))(5cos(x)+xsin(x)−cos(x))+(5sin(x)−xcos(x))(5sin(x)−xcos(x)−sin(x))=(xsin(x)+5cos(x))(5cos(x)+xsin(x)−cos(x))−(5sin(x)−xcos(x))(xcos(x)+sin(x)−5sin(x))=(xsin(x)+5cos(x))dxd(5sin(x)−xcos(x))−(5sin(x)−xcos(x))dxd(xsin(x)+5cos(x))
Let u=xsin(x)+5cos(x) and v=5sin(x)−xcos(x). So, x2+20=udxdv−vdxdu=u2dxd(uv).
So, ∫(xsin(x)+5cos(x))2x2+20dx=∫u2u2dxd(uv)dx=uv=xsin(x)+5cos(x)5sin(x)−xcos(x)
Problem 13: (Originally posted by Tanishq)
Evaluate ∫01xln(1−x1+x)dx.
This problem has been solved by Surya Prakesh.
Log in to reply
By using integration by parts,
∫xln(1−x1+x)dx=2x2ln(1−x1+x)+x−21ln(1+x)+21ln(1−x)
So,
∫01xln(1−x1+x)dx=a→0lim∫01−axln(1−x1+x)dx=a→0lim2(1−a)2ln(a2−a)+1−a−21ln(2−a)+21lna=1
Problem 6:
Show that for positive reals, a,b where a<b, ∫abarccos((a+b)x−abx)dx=4πa+b(b−a)2
Statutory warning: The substitutions need not be very intuitive.
This problem has been solved Aditya Kumar.
Log in to reply
Solution to Problem 6:
I=∫abarccos((a+b)x−abx)dxI=∫abarccos((ab(a+b))x−1abx)dx(ab(a+b))x−1=tI=∫baab(a+b2tarccos(t(t2+1)ab))dtI=∫baab(a+b2tarccos((t+t1)ab))dt
Now using Integration By Parts,
I=∫baab((ab−ba)2−(t−t1)2t2+1)dtt=p+1+p2I=∫21(−ab+ba)21(ab−ba)⎝⎛4ba+ab+2−p22p2⎠⎞dp
Now,
p2=(4ba+ab+2)sinθ
This can be evaluated easily.
∴I=4π(a+b)(b−a)2
Moral of the question:
To whatever extent we learn anything, we must never forget our basics.
Note that this question is solved using very basic concepts.
Any elegant modification to the solution will be accepted.
Problem 8:
Evaluate
f(ω)=2π1∫−∞∞e−a2t2eiωtdt
This problem has been solved by both Tanishq Varshney (first) and Surya Prakash (second) almost at the same time.
Log in to reply
Solution to problem 8
t→−t
adding this with the original equation
2f(w)=2π2∫−∞∞e−a2t2coswtdt
as eiwt+e−iwt=2coswt=2ℜ(eiwt)
f(w)=2π1ℜ⎝⎛∫−∞∞e−a2t2eiwtdt⎠⎞
Let at=z
f(w)=a2π1ℜ⎝⎛∫−∞∞e−z2eiawzdz⎠⎞
f(w)=a2π1ℜ⎝⎛∫−∞∞e−(z−2aiw)2e−4a2w2dz⎠⎞
Using Gaussian integral
f(w)=a21e−4a2w2
f(ω)=2π1∫−∞∞e−a2t2eiωtdt
It implies that f(ω)=[F(F)](ω), where F(t)=e−a2t2.
Now, differentiate F(t), we get F′(t)=−2a2tF(t).
Applying fourier transformation on both sides gives iωf(ω)=−2ia2f′(ω).
⟹ωf(ω)=−2a2dωdf(ω)⟹f(ω)=ce−4a2ω2
Since c=f(0)=2π1∫−∞∞e−a2t2dt=22π1∫0∞e−a2t2dt=a2π1Γ(1/2)=a21.
Therefore, f(ω)=a21e−4a2ω2.
Problem 10:
Evaluate
∫0π/2(9tan2(x)+16)31dx
This problem has been solved by Pi Han Goh.
Log in to reply
Let I denote the value of the integral. And let 3tan(x)=4tan(y), differentiate with respect to x: 3sec2(x)=4sec2(y)(dxdy)⇒dx=3sec2(x)4sec2(y)dy=9sec2(x)12sec2(y)dy=9tan2(x)+912sec2(y)dy=16tan2(y)+912sec2(y)dy
And of course, 9tan2(x)+16=(3tan(x))2+16=16(tan2(y)+1)=16sec2(y).
When x=0, y=0; when x→2π−, y→2π− as well. The integral becomes
I=====∫0π/2(16sec2(y))31⋅16tan2(y)+912sec2(y)dy16312∫0π/2sec4(y)1⋅16tan2(y)+91dy10243∫0π/216sin2(y)+9cos2(y)cos6(y)dy10243∫0π/216(1−cos2(y))+9cos2(y)cos6(y)dy10243∫0π/216−7cos2(y)cos6(y)dy.
By long division, 16−7XX3=−71X2−4916X−3434096⋅7X−161−343256. We contine from above,
31024I31024I====∫0π/2[−71cos4(y)−4916cos2(y)−3434096⋅7cos2(y)−161−343256]dy−71∫0π/2cos4(y)dy−4916∫0π/2cos2(y)dy−3438192⋅∫0π/27(2cos2(y))−321dy−343128π−(71⋅4!!3!!⋅2π)−(4916⋅2!!1!!⋅2π)−3438192∫0π/27cos(2y)−251dy−(343128π)−54882643π+3438192∫0π/225−7cos(2y)1dy.
For the final integral, let t=tan(y)⇒dy=t2+1dt, and the integral becomes
∫0π/225−7cos(2y)1dy=====∫0∞25−7(1+t21−t2)1⋅t2+1dt∫0∞25+2t2−7t+7t2t2+1⋅t2+1dt∫0∞32t2+181dt321∫0∞t2+(3/4)21dt321⋅34tan−1(34t)∣∣∣∣0t→∞=48π.
Simplify everything and we get the answer of I=5619712263π≈0.00014702512653568645897079.
As Surya Prakesh has pointed out, there's an easier method.
It can be easily proved that ∫0π/2tan2(x)+p1dx=2(p+p)π. Then differentiate it twice w.r.t p. Then take p=34.
Log in to reply
@Pi Han Goh Sir, shouldn't we put p=16/9 in the end........because, we have integrated (tanx) squared plus P.......
Problem 11:
Prove that
∫01(x+1)(x2+1)ln(x+1)dx=1921(36(ln2)2+12π(ln2)−π2).
This problem has been solved by Aditya Kumar.
Log in to reply
Solution to Problem 11:
Pre-requisites:
I=∫(a−1)(a2+1)−aln(a+1)daApplyIntegralSubstitution:∫f(g(x))⋅g′(x)dx=∫f(u)du,u=g(x)u=aln(a+1):u=a+1a+ln(a+1)da,da=a+1a+ln(a+1)1duI=−∫(a−1)(a2+1)ua+1a+ln(a+1)1duI=−(a−1)(a2+1)(a+1a+ln(a+1))12u2OnsubstitutionI=−2(a−1)(a2+1)(a+1a+ln(a+1))a2ln2(a+1)
I(a)=∫01(1+x)(1+x2)ln(1+ax)dxI′(a)=∫01(1+x)(1+ax)(1+x2)xdxOnsplittingaspartialfractionsandsolving,I′(a)=(a−1)(a2+1)−aln(a)+2(a+1)ln2+4(a2+1)ln2(1−a)I(a)=∫01((a−1)(a2+1)−aln(a)+2(a+1)ln2+4(a2+1)ln2(1−a))daNowonsolvingandsubstitutinga=1,wegetI=1921(36(ln2)2+12π(ln2)−π2)
Problem 12:
Prove or disprove:
If a is not a natural number, then
∫0π/2(sinθ)a−1(cosθ)2t−asin(2tθ)dθ=2sin(2πa)Γ(2t)Γ(−a)πΓ(2t−a).
This problem has been solved by Tanishq Varshney.
Log in to reply
Solution to Problem 12:
f(x)=x(1+x)tsin(2tarctanx)=k=0∑∞Γ(2t)Γ(2k+2)Γ(2t+2k+1)Γ(k+1).k!(−x)k
Using Ramanujan master theorem
∫0∞xs−1f(x)=Γ(s)ϕ(−s)
where, ϕ(k)=Γ(2t)Γ(2k+2)Γ(2t+2k+1)Γ(k+1)
x→tan2θ
∫02πsina−1θ(cosθ)2t−acos(2tθ)dθ=2sin(2πa)Γ(2t)Γ(−a)πΓ(2t−a)
Problem 14:
Evaluate ∫01lnx1−x(x+x2+x22+x23+⋯)dx.
This problem has been solved by Surya Prakash.
Log in to reply
∫01ln(x)(1−x)(x+x2+x22+x23+…)=n=0∑∞∫01ln(x)x2n−x2n+1dx
Let f(a)=∫01lnxxadx. Differentiate it w.r.t a. We get
f′(a)=∫01xadx=a+11
So,
∫01ln(x)x2n−x2n+1dx=∫2n+12nf′(a)da=ln(2n+22n+1)
∫01ln(x)x2n−x2n+1dx=ln(2n+1)−ln(2n+2)
n=0∑∞∫01ln(x)x2n−x2n+1dx=N→∞limn=0∑Nln(2n+1)−ln(2n+2)=N→∞limn=0∑Nln(2n+1)−ln(2)−ln(2n−1+1)
So, we have got a telescoping series which sums up to
=N→∞lim−(N+1)ln(2)−ln(3/2)+ln(2N+1)=−ln(3)
Problem 15:
Find the closed form for I(x), where I(x)=∫−π/2π/2cos(xtan(θ))dθ.
This problem has been solved by Tanishq Varshney via contour integration. And Surya Prakesh posted his intended solution.
Log in to reply
Another interesting elementary solution :
Lemma :
∫0∞x2+a2cosmxdx=2aπe−am
Proof :
\text{I}(m) = \displaystyle \int_{0}^{\infty} \dfrac{\cos mx}{x^2+a^2} \mathrm{d} x \tag{1}
Using Integration by parts,
I(m)=∫0∞m(x2+a2)22xsinmxdx
\implies m \cdot \text{I}(m) = \displaystyle \int_{0}^{\infty} \dfrac{2x \sin mx}{(x^2+a^2)^2} \mathrm{d} x \tag {2}
Partially Differentiating (2) w.r.t. m, we have,
I+m∂m∂I=∫0∞(x2+a2)22x2cos(mx)dx=∫0∞(x2+a2)2cos(mx)dx−2a2∫0∞(x2+a2)2cosmxdx
\implies a\dfrac{\partial}{\partial m} \text{I} = \text{I} - 2b^2\displaystyle \int_{0}^{\infty}\dfrac{\cos mx}{(x^2+a^2)^2} \mathrm{d}x \tag{3}
Again, partially differentiating (3) w.r.t. m, we have,
m∂m2∂2I=a2∫0∞(x2+a2)22xsinmxdx
\implies \dfrac{\partial^2}{\partial m^2} \text{I} = a^2 \text{I} \tag{*} (from (2))
Note that I(0)=2aπ and I(∞)=0
Now, solving (∗), we have,
I=2aπe−am
Log in to reply
Oh, I suddenly noticed I reproduced your method independently after several days and just didn't noticed that it is already posted here.
Solution to Problem 15
Lemma
∫0∞x2+a2cosmxdx=2aπe−am
Proof
Consider the integral ∫Cf(z)dz where f(z)=z2+a2eimz taken round the closed contour C consisting of the upper half of a large circle ∣z∣=R and the real axis from −R to R.
Poles of f(z) are given by
z2+a2=0→z=±ai
The only pole which lies within the contour is at z=ai. The residue of f(z) at z=ai
=z→ailimz2+a2(z−ai)eimz=z→ailimz+aieimz=2aie−am
Hence by cauchy residue theorem
∫Cf(z)dz=2πi×sum of residues
∫Cf(z)dz=2πi×2aie−am
∫Cz2+a2eimzdz→∫−RRx2+a2eimxdx=aπe−am
Equating Real parts
∫−∞∞x2+a2cosmxdx=aπe−am
⟹∫0∞x2+a2cosmxdx=2aπe−am
Now in the integral put tanθ=t
∫−∞∞t2+1cosxtdt=πe−x
I would like to see the solution which doesn't involve contour!!
Lemma: ∫−∞∞1+t2cos(xt)dt=∫−∞∞1+t2e−ixtdt
Try to prove this yourselves.
Consider,
f(t)=∫−∞∞e−∣x∣eixtdx=1+t22
Above integral is easy to evaluate.
So,
f(t)=1+t22
Now by Fourier inversion formula,
e−∣x∣=2π1∫−∞∞f(t)e−ixtdt
So we get that
∫−∞∞1+t2cos(xt)dt=∫−∞∞1+t2e−ixtdt=πe−∣x∣
Problem 7:
For 0<v<1 independent of x, prove that: ∫0∞[xv−3(γx+logΓ(1+x))]dx=sin(π(v))π⋅2−vζ(2−v).
Due to time constraint, the author decided to post the solution.
Log in to reply
Solution to Problem 7:
Lemma:
Γ(x)=xe−γx∏n=1∞(1+nx)−1enx
Proof:
Γ(x)=limn→∞(xnx∏i=1n(x+ii))Γ(x)=limn→∞(xnx∏i=1n(1+ix)−1)Γ(x)=limn→∞(xexlog(n)∏i=1n(1+ix)−1)Γ(x)=limn→∞(xe∑i=1∞(nx)−∑i=1∞(nx)+xlog(n)∏i=1n(1+ix)−1)But,γ=limn→∞(∑i=1∞(n1)−log(n))Γ(x)=limn→∞(xe∑i=1∞(nx)−γx∏i=1n(1+ix)−1)Γ(x)=limn→∞(xe−γx∏i=1ne(nx)(1+ix)−1)
Now taking log on both sides and replacing x by x+1, we get
log(Γ(1+x))=−γx+∑k=2∞(kζ(k)(−x)k)
Now plugging these values into the question and by using Ramanujan's master theorem, we get
∫0∞[x2xv−1(γx+logΓ(1+x))]dx=sin(π(v))π⋅2−vζ(2−v)
Alternate Solution to Problem 7
Lemma : ∫0∞ex−1xndx=Γ(n+1)ζ(n+1)
Proof :I=∫0∞ex−1xndx=∫0∞1−e−xxne−xdx=∫0∞xnr=1∑∞e−rxdx=r=1∑∞∫0∞xne−rxdx
Note that I have used the series expansion of 1−yy and interchanged summation and integral.
I=r=1∑∞∫0∞xne−rxdx=r=1∑∞rn+1Γ(n+1)=Γ(n+1)ζ(n+1)
I have here used the definitions of gamma function and the zeta function.
Now back to our problem.
Integrate it by parts to get :
I=v−2xv−2(γx+logΓ(1+x))∣0∞+2−v1∫0∞xv−2(γ+ψ(1+x))dx=2−v1∫0∞xv−2(γ+ψ(1+x))dx
Using the definition that γ+ψ(1+x)=∫011−y1−yxdy , we get :
I=2−v1∫0∞∫01xv−2(1−y1−yx)dxdy
Changing the order of integration we have :
I=2−v1∫011−y1∫0∞xv−2(1−yx)dxdy
Integrating it by parts we have :
I=2−v1(∫011−ydy(v−1xv−1(1−yx)∣0∞+v−1ln(y)∫0∞xv−1yxdx))
I=(v−1)(2−v)1(∫011−yln(y)dy(∫0∞xv−1yxdx))
I=(v−1)(2−v)1(∫01(1−y)ln(y)dy(∫0∞xv−1e−x(−ln(y))dx))
⇒I=(v−1)(2−v)1(∫01(1−y)(−ln(y))vln(y)dy(∫0∞xv−1e−xdx))
⇒I=(v−1)(2−v)Γ(v)(∫01(1−y)(−ln(y))vln(y)dy)
Put y=e−x
⇒I=(1−v)(2−v)Γ(v)(∫0∞ex−1x1−vdx)
Using Lemma we have :
I=(1−v)(2−v)Γ(v)Γ(2−v)ζ(2−v)=2−vΓ(v)Γ(1−v)ζ(2−v)
Using gamma reflection formula it becomes :
I=sin(πv)(2−v)πζ(2−v)
Hence Proved.
Problem 19:
Prove that
∫03πln2⎝⎛sin(3π+x)sinx⎠⎞dx=815π3.
This problem has been solved by Surya Prakesh.
Log in to reply
Alternate Solution to problem 19 :
Lemma: ∫0∞1+xnxm−1ln2(x)dx=(nπ)3(csc(nmπ)cot2(nmπ)+csc3(nmπ))
Proof : We begin with identity I=∫0∞1+xndx=nπcsc(nπ)
To prove this put y=1+xn1 to get :
I=n1∫01y−1/n(1−y)1/n−1dy
Use definition of beta function and euler reflection formula to get :
I=n1∫01y−1/n(1−y)1/n−1dy=n1Γ(1)Γ(1/n)Γ(1−1/n)=nπcsc(nπ)
Now consider the integral J(m)=∫0∞1+xnxm−1dx
Put xm=y to get :
J(m)=m1∫0∞1+yn/mdy
Use the identity to get :
J(m)=nπcsc(nmπ)
Differentiate it two times with respect to m to prove the lemma :
My initial steps are the same as surya prakash and I directly get till :
I=23∫011+y3(1+y)ln2(y)dy
Put y=x1 to get :
I=23∫1∞1+x3(1+x)ln2(x)dx
Adding these two forms we have :
I=43∫0∞1+x3(1+x)ln2(x)dx
I=43(∫0∞1+x3ln2(x)dx+∫0∞1+x3xln2(x)dx)
Use the lemma to get :
I=43((3π)3(32.31+338)+(3π)3(32.31+338))=815π3
Lemma: ∫01xmlnn(x)dx=(m+1)n+1(−1)nn!
Let y=sin(x+π/3)sinx⟹tanx=2−y3y⟹dx=23y2−y+11dy.
So,
∫0π/3ln2⎝⎛sin(3π+x)sinx⎠⎞dx=23∫01y2−y+1ln2(y)dy=23∫011+y3(1+y)ln2(y)dy
Since, 0<y<1, we can use the expansion 1+y31=1−y3+y6+…=∑k=0∞(−1)ky3k.
So, the integral becomes,
∫011+y3(1+y)ln2(y)dy=∫01(1+y)ln2(y)k=0∑∞(−1)ky3kdy=k=0∑∞(−1)k[∫01y3kln2(y)dy+∫01y3k+1ln2(y)dy]=2k=0∑∞(3k+1)3(−1)k+2k=0∑∞(3k+2)3(−1)k
So,
∫0π/3ln2⎝⎛sin(3π+x)sinx⎠⎞dx=3[k=0∑∞(3k+1)3(−1)k+k=0∑∞(3k+2)3(−1)k]
Here comes the tricky part,
Consider the series (0<q<1)
q31−(1+q)31+(2+q)31−…
It is easy to prove that above series is equal to 81(ζ(3,2q)−ζ(3,2q+1)), where ζ(s,q) is Hurwitz Zeta Function.
Using the relation between Polygamma function and Hurwitz Zeta Function, We get
q31−(1+q)31+(2+q)31−…=161(ψ(2)(2q+1)−ψ(2)(2q))
So, finally
k=0∑∞(3k+1)3(−1)k+k=0∑∞(3k+2)3(−1)k=271(k=0∑∞(k+1/3)3(−1)k+k=0∑∞(k+2/3)3(−1)k)=271161(ψ(2)(61)−ψ(2)(32)+ψ(2)(31)−ψ(2)(65))=24353π3
Above final calculation is done using Euler's Reflection Formula for polygamma function
So, finally
∫0π/3ln2⎝⎛sin(3π+x)sinx⎠⎞dx=3[k=0∑∞(3k+1)3(−1)k+k=0∑∞(3k+2)3(−1)k]=324353π3=815π3
Sorry for missing the calculation part, As it became too lengthy to type here.
Notify me if there are any typing mistakes.
Log in to reply
Thanks for everyone. Because of this competition and you guys I learnt a lot of integrations skills and develop my integration skills so fast. I thank everyone. @Pi Han Goh @Aditya Kumar @Tanishq Varshney @Sudeep Salgia @Abhishek Bakshi
Problem 25
Prove that
∫02πtanxln(sinx)ln(cosx)dx=81ζ(3).
This problem has been solved by Julian Poon.
Log in to reply
Substitute t→sin(x). The integral becomes:
21∫01lntln(1−t2)(t1)dt
Substitute in the Taylor series for ln(1−x):
−21∫01lntn=1∑∞nt2n−1dt=−21n=1∑∞n1∫01ln(t)t2n−1dt
Finally, integrate by parts to obtain
−21n=1∑∞n14n2−1=81n=1∑∞n31
Alternative approach could be (i know its too late :P) could be considering Beta function (Γ(a+b)Γ(a)Γ(b)) in trignometric form and differentiating it with respect to a and b and then putting a = 0 and b = 1.
Log in to reply
Great! That's the standard approach! Can you post the full solution?
Log in to reply
Γ(a+b)Γ(a)Γ(b)=2∫0π/2sin2a−1xcos2b−1xdx
Differentiating both sides first wrt a and then wrt b, we get
Γ(a+b)Γ(a)Γ(b)(((ψ(a)−ψ(a+b))(ψ(b)−ψ(a+b))−ψ′(a+b))=8∫0π/2log(sin(x))log(cos(x))sin2a−1xcos2b−1xdx
Putting a = 0 and b = 1,
−ψ′(1)=8∫02πtanxln(sinx)ln(cosx)dx
Log in to reply
Log in to reply
Log in to reply
Log in to reply
@Harsh Shrivastava Want to join our discussion group where we talk bout integrals and series?
Log in to reply
Log in to reply
Log in to reply
Log in to reply
Go here
Log in to reply
Log in to reply
Log in to reply
Log in to reply
GO here and type your email.
Step 1:Step 2: GO check your email which you have typed in.
Step 3: Click that email link (for verification...). Done!
If none of these seem to work, register another email address and repeat steps 1 to 3.
Problem 16:
Evaluate
∫011+t4tarccos(t)dt.
This problem has been solved by Pi Han Goh.
Log in to reply
This is very similar to Problem 5. Integrate by Parts: with dv=1+x4xdx,u=cos−1(x), then du=−1−x21dx,v=21tan−1(x2).
∫udv======uv−∫vducos−1(x)⋅21tan−1(x2)∣∣∣∣x=0x=1 0+21∫011−x2tan−1(x2)dx21∫0π/2tan−1(sin2(y))dy21∫0π/2tan−1(1⋅cos2(z))dz212πtan−1⎝⎛212+1+1⎠⎞4πtan−1⎝⎛22−1⎠⎞≈0.335426737379 let x=sin(y)⇒dy=1−x2dx let z=2π−y refer to solution to problem 5
Problem 17:
Prove that
(∫−∞∞x4−x3+x2−x+1x2dx)÷(∫−∞∞x4−x3+x2−x+1xdx)=23+5.
This problem has been solved by Surya Prakesh.
Log in to reply
∫−∞∞x4−x3+x2−x+1x2dx=∫−∞∞x5+1x3+x2dx=∫−∞0x5+1x3+x2dx+∫0∞x5+1x3+x2dx=∫0∞1−x5x2−x3dx+∫0∞x5+1x3+x2dx=2∫0∞1−x10x2−x8dx
∫0∞1−x10x2−x8dx=∫011−x10x2−x8dx+∫1∞1−x10x2−x8dx=∫011−x101+x2−x6−x8dx
I just took the substitution t=x1 in the above steps.
So,
∫−∞∞x4−x3+x2−x+1x2dx=2∫011−x101+x2−x6−x8dx=51∫011−tt−9/10+t−7/10−t−3/10−t−1/10dt=51(H−1/10+H−3/10−H−7/10−H−9/10)=51((ψ(9/10)−ψ(1/10))+(ψ(7/10)−ψ(3/10)))
By euler reflection formula for Digamma function i.e. ψ(1−x)−ψ(x)=πcot(πx), we get
(ψ(9/10)−ψ(1/10))+(ψ(7/10)−ψ(3/10))=πcot(π/10)+πcot(3π/10)
So,
∫−∞∞x4−x3+x2−x+1x2dx=51((ψ(9/10)−ψ(1/10))+(ψ(7/10)−ψ(3/10)))=5πcot(π/10)+5πcot(3π/10)
Similarly, evaluating the integral in the denominator, we get
∫−∞∞x4−x3+x2−x+1xdx=52πcot(3π/10)
So finally
(∫−∞∞x4−x3+x2−x+1x2dx)÷(∫−∞∞x4−x3+x2−x+1xdx)=52πcot(3π/10)5πcot(π/10)+5πcot(3π/10)=2cot(3π/10)cot(π/10)+cot(3π/10)=23+5
Note: cot(π/10)=5+25 and cot(3π/10)=5−25.
Problem 18:
Evaluate
∫0∞1+t2log2(t)dt
This problem has been solved by Tanishq Varshney (first) and Sudeep Salgia (second) almost at the same time.
Log in to reply
Solution to problem 18
∫011+t2ln2(t)dt+∫1∞1+t2ln2(t)dt
In the latter integral t→t1
The whole expression becomes
2∫011+t2ln2(t)dt
Now
∫01xadx=a+11∫01∂xs∂sxadx=∫01xalnsxdx=(a+1)s+1(−1)ss!
we have
1+t21=r=0∑∞(−1)rt2r
⟶2∫01r=0∑∞ln2(t)(−1)rt2rdt
⟶2r=0∑∞(−1)r∫01t2rln2(t)dt
4r=0∑∞(2r+1)3(−1)r
Now for the answer
Use of Dirichlet Beta function
which gives 4β(3)=8π3
Problem 21:
For ∣b∣<1, find the value of the integral below in terms of b.
∫−π/2π/2sinxln(1+bsinx)dx
This problem has been solved by Surya Prakesh.
Log in to reply
f(b)=∫−π/2π/2sin(x)ln(1+bsin(x))dxf′(b)=∫−π/2π/21+bsin(x)1dx
Using Weierstrass Substitution i.e. t=tan(x/2)⟹sin(x)=1+t22t.
f′(b)=2∫−11t2+2bt+1dt=2∫−11(t+b)2+(1−b2)2dt=1−b22[arctan(1−b2t+b)∣∣∣−11=1−b22[arctan(1−b21+b)−arctan(1−b2−1+b)]=1−b22[arctan(1−b21+b)+arctan(1−b21−b)]=1−b22[arctan(1−b1+b)+arctan(1+b1−b)]=1−b2π
I used the fact that arctan(x)+arctan(1/x)=π/2.
So,
f′(b)=1−b2πf(b)=∫1−b2πdbf(b)=πarcsin(b)+c
But f(b)=∫−π/2π/2sin(x)ln(1+bsin(x))dx⟹f(0)=∫−π/2π/2sin(x)ln(1)dx=0
So, c=0. Therefore, f(b)=πarcsin(b).
Problem 22:
Evaluate the integral
∫0π(cos2(x)+3)2xsin(x)dx.
This problem has been solved by Aditya Kumar.
Log in to reply
I=∫0π(cos2x+3)2xsinxdxI=2π∫0π(cos2x+3)2sinxdxcosx=tI=2π∫−11(t2+3)21dtt=3tanxI=36π3∫6−π6π(cos2x+1)dx∴I=18π3{43+6π}
In the first step, I used: ∫abf(x)=∫abf(a+b−x)
Problem 20:
Evaluate
∫0∞(1+x)3+1dx
This problem has been solved by Gautam Sharma.
Log in to reply
Solution to problem 20
Let (1+x)=tI=∫t3+1dt
By partial fractions
I=∫3(t2−t+1)2−tdt+3(t+1)1dtI=∫2(t2−t+1)1dt−6(t2−t+1)2t−1dt+3(t+1)1dtI=∫2((t−21)2+43)1dt−6(t2−t+1)2t−1dt+3(t+1)1dtI=∫31tan−132t−1−61ln(t2−t+1)+31ln(t+1)+cI=∫31tan−132x+1+61ln(x2+x+1(x+2)2)+c
Putting limits and evaluating we get 33π−3ln2
I used complex analysis