An interesting double definite integral

Prove the following:

010x1lntxp1ln1xdtdx=2πpln(p+p+1)\int_0^1 \int_0^x \frac{1}{\ln t}\frac{x^{p-1}}{\sqrt{\ln\frac{1}{x}}}\,dt\,dx=-2\sqrt{\frac{\pi}{p}}\ln\left(\sqrt{p}+\sqrt{p+1}\right)

Note by Pranav Arora
5 years, 3 months ago

No vote yet
1 vote

  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:

  • Use the emojis to react to an explanation, whether you're congratulating a job well done , or just really confused .
  • Ask specific questions about the challenge or the steps in somebody's explanation. Well-posed questions can add a lot to the discussion, but posting "I don't understand!" doesn't help anyone.
  • Try to contribute something new to the discussion, whether it is an extension, generalization or other idea related to the challenge.
  • Stay on topic — we're all here to learn more about math and science, not to hear about your favorite get-rich-quick scheme or current world events.

MarkdownAppears as
*italics* or _italics_ italics
**bold** or __bold__ bold

- bulleted
- list

  • bulleted
  • list

1. numbered
2. list

  1. numbered
  2. list
Note: you must add a full line of space before and after lists for them to show up correctly
paragraph 1

paragraph 2

paragraph 1

paragraph 2

[example link](https://brilliant.org)example link
> This is a quote
This is a quote
    # I indented these lines
    # 4 spaces, and now they show
    # up as a code block.

    print "hello world"
# I indented these lines
# 4 spaces, and now they show
# up as a code block.

print "hello world"
MathAppears as
Remember to wrap math in \( ... \) or \[ ... \] to ensure proper formatting.
2 \times 3 2×3 2 \times 3
2^{34} 234 2^{34}
a_{i-1} ai1 a_{i-1}
\frac{2}{3} 23 \frac{2}{3}
\sqrt{2} 2 \sqrt{2}
\sum_{i=1}^3 i=13 \sum_{i=1}^3
\sin \theta sinθ \sin \theta
\boxed{123} 123 \boxed{123}

Comments

Sort by:

Top Newest

First, to make it simpler to write, define:

li(x)=0x1lntdt\displaystyle \text{li}(x)=\int_0^x \frac{1}{\ln t}\,dt

li(x)\text{li}(x) (Logarithmic Integral ) is termed as a special function but the following solution will not use any special properties related to this function.


01li(x)xp1ln1xdx\displaystyle \int_0^1 \text{li}(x) \frac{x^{p-1}}{\sqrt{\ln\frac{1}{x}}}\,dx

Use the substitution x=eu2dx=2ueu2dux=e^{-u^2} \Rightarrow dx=-2ue^{-u^2}\,du.

I(p)=20li(eu2)epu2du\displaystyle \Rightarrow I(p)=2\int_0^{\infty} \text{li}(e^{-u^2})e^{-pu^2}\,du

Divide both the sides by two and use integration by parts to obtain:

I(p)2=(uli(eu2)epu200u(li(eu2)(2puepu2)+epu2(2ueu2)ln(eu2))du\displaystyle \frac{I(p)}{2}=\left(u\text{li}(e^{-u^2})e^{-pu^2}\right|_0^{\infty}-\int_0^{\infty} u\left(\text{li}(e^{-u^2})(-2pue^{-pu^2})+\frac{e^{-pu^2}(-2ue^{-u^2})}{\ln(e^{-u^2})}\right)\,du

I(p)4=p0u2li(eu2)epu2du0e(p+1)u2du\displaystyle \Rightarrow \frac{I(p)}{4}=p\int_0^{\infty} u^2\text{li}(e^{-u^2})e^{-pu^2}\,du-\int_0^{\infty} e^{-(p+1)u^2}\,du

I(p)4=pI(p)2π2p+1\displaystyle \Rightarrow \frac{I(p)}{4}=-p\frac{I'(p)}{2}-\frac{\sqrt{\pi}}{2\sqrt{p+1}}

I(p)+I(p)2p=π2pp+1\displaystyle \Rightarrow I'(p)+\frac{I(p)}{2p}=-\frac{\sqrt{\pi}}{2p\sqrt{p+1}}

The above is a linear differential equation and its solution is:

I(p)=2πpln(p+p+1)+C\displaystyle I(p)=-2\sqrt{\frac{\pi}{p}}\ln\left(\sqrt{p}+\sqrt{p+1}\right)+C

As pp tends to infinity, I(p)I(p) tends to zero, hence C=0C=0.

I(p)=2πpln(p+p+1)\displaystyle \Rightarrow I(p)=-2\sqrt{\frac{\pi}{p}}\ln\left(\sqrt{p}+\sqrt{p+1}\right)


Please feel free to ask me any doubts regarding the solution. :)

Pranav Arora - 5 years, 3 months ago

Log in to reply

Great solution Pranav! This is indeed an extremely difficult problem (at least for me). I tried many things but was unsuccessful. Each and every step is just awesome!!! ¨\ddot\smile

Karthik Kannan - 5 years, 3 months ago

Log in to reply

Thanks Karthik! :D

I am going to post more of these. Meanwhile, you can try this one too: Trigonometric Integral. :)

Pranav Arora - 5 years, 3 months ago

Log in to reply

Great solution. the last limit is 00 by Lebesgue DCT because the integrand is unbounded (therefore not Riemann integrable) but it still Lebesgue integrable.

If you don't want anything fancy, you can just plug p=1p=1 and calculate the integral by parts to arrive to 2π-2\sqrt{\pi} and the rest follows.

Haroun Meghaichi - 5 years, 3 months ago

Log in to reply

I(p)=01xp1li(x)lnx dx=x=eu220epu2li(eu2)du=2p0eu2li(eu2p) duI(p)= \int_0^1 \frac{x^{p-1} \rm li(x)}{\sqrt{-\ln x}} \ \mathrm{d}x\overset{x=e^{-u^2}} = 2\int_0^{\infty} e^{-pu^2} \rm li(e^{- u^2})\mathrm{d}u=\frac{2}{\sqrt{p}} \int_0^{\infty} e^{-u^2} \rm li(e^{-\frac{u^2}{p}}) \ \mathrm{d}u Use the series described in the logarithmic integral wiki page to get : I(p)=2p0eu2(γ+lnu2p+n1(1)npnu2nnn!) duI(p) = \frac{2}{\sqrt{p}} \int_0^{\infty} e^{- u^2} \left(\gamma + \ln \frac{u^2}{p} +\sum_{n\geq 1 } \frac{(-1)^n p^{-n}u^{2n}}{n\cdot n!}\right) \ \mathrm{d}u Now, it is just expand and Taylor series to finish (too lazy to finish it) but here's the main idea : 0eu2(γ+lnu2p)du=πln(4p)2\int_0^{\infty} e^{-u^2}(\gamma +\ln \frac{u^2}{p} ) \mathrm{d}u = -\frac{-\sqrt{\pi}\ln(4p)}{2} and 0u2neu2 du=(2n+1)!!2n\int_0^{\infty} u^{2n} e^{u^2} \ \mathrm{d}u =\frac{(2n+1)!!}{2^n}

Haroun Meghaichi - 5 years, 3 months ago

Log in to reply

Nice approach but for the current problem, you don't really need to use such heavy machinery. There exists a very very elementary solution. Its been a week already but I think I should wait some more.

Pranav Arora - 5 years, 3 months ago

Log in to reply

I really want to see an elementary approach (I guess that it starts with integration by parts). BTW, why there is not much level 4 and 5 problems in Calculus ? I have just posted a limit and an easy integral, I hope that you like them.

Haroun Meghaichi - 5 years, 3 months ago

Log in to reply

@Haroun Meghaichi Yes, integration by parts is the way to go but there's more to it.

I myself do not understand why there are not many problems in level 4 or 5. Posting the integrals as a problem doesn't help much because most of times, W|A or Mathematica are able to evaluate them. This is the reason I have posted the problems as notes.

The problems you posted are nice, I think I am onto something for the integral. I will post a complete solution tomorrow. Too tired at the moment. :)

Pranav Arora - 5 years, 3 months ago

Log in to reply

@Pranav Arora Rather than getting a straight answer for the integral add a layer of problem over it so that it cannot be blindly typed into WA.

Ali Caglayan - 5 years, 3 months ago

Log in to reply

@Haroun Meghaichi : I have posted the solution, you may check. :)

Pranav Arora - 5 years, 3 months ago

Log in to reply

Fun Fact: This can also be written as 2πparcsinh(p)-2\sqrt{\frac\pi p}\operatorname{arcsinh}(\sqrt p).

Ali Caglayan - 5 years, 3 months ago

Log in to reply

×

Problem Loading...

Note Loading...

Set Loading...