Results 1 to 7 of 7

Math Help - Challenge integral

  1. #1
    MHF Contributor Bruno J.'s Avatar
    Joined
    Jun 2009
    From
    Canada
    Posts
    1,266
    Thanks
    1
    Awards
    1

    Challenge integral

    This one was given to me as a challenge. I was happy I could solve it!

    Show that
    \int_0^1\frac{\log(x)\log(1-x)}{x}\: dx = \zeta(3) = \sum_{n=1}^\infty\frac{1}{n^3}
    Follow Math Help Forum on Facebook and Google+

  2. #2
    Math Engineering Student
    Krizalid's Avatar
    Joined
    Mar 2007
    From
    Santiago, Chile
    Posts
    3,654
    Thanks
    13
    It's quite easy.

    \begin{aligned}<br />
   \int_{0}^{1}{x^{j-1}\ln (x)\,dx}&=-\int_{0}^{1}{\int_{x}^{1}{\frac{x^{j-1}}{t}\,dt}\,dx} \\ <br />
 & =-\int_{0}^{1}{\int_{0}^{t}{\frac{x^{j-1}}{t}\,dx}\,dt} \\ <br />
 & =-\frac{1}{j}\int_{0}^{1}{t^{j-1}\,dt} \\ <br />
 & =-\frac{1}{j^{2}}.<br />
\end{aligned}

    Hence we get \int_{0}^{1}{\frac{\ln (x)\ln (1-x)}{x}\,dx}=-\sum\limits_{j=1}^{\infty }{\left( \frac{1}{j}\int_{0}^{1}{x^{j-1}\ln (x)\,dx} \right)}=\sum\limits_{j=1}^{\infty }{\frac{1}{j^{3}}}, as required. \quad\blacksquare
    Last edited by Krizalid; August 4th 2009 at 06:25 AM.
    Follow Math Help Forum on Facebook and Google+

  3. #3
    Senior Member
    Joined
    Dec 2007
    From
    Anchorage, AK
    Posts
    276
    First, use integration by parts with u=\ln(x)\ln(1-x), dv=\frac{dx}{x}, so that du=\frac{\ln(1-x)}{x}-\frac{\ln(x)}{1-x}, v=\ln{x}, and
    \int_0^1\frac{\ln(x)\ln(1-x)}{x}\,dx=\left[\ln^2(x)\ln(1-x)\right]_0^1-\int_0^1\left(\frac{\ln(1-x)}{x}-\frac{\ln(x)}{1-x}\right)\ln(x)\,dx
    \int_0^1\frac{\ln(x)\ln(1-x)}{x}\,dx=0-\int_0^1\frac{\ln(x)\ln(1-x)}{x}\,dx+\int_0^1\frac{\ln^2(x)}{1-x}\,dx
    2\int_0^1\frac{\ln(x)\ln(1-x)}{x}\,dx=\int_0^1\frac{\ln^2(x)}{1-x}\,dx
    \int_0^1\frac{\ln(x)\ln(1-x)}{x}\,dx=\frac{1}{2}\int_0^1\frac{\ln^2(x)}{1-x}\,dx
    Now, let u=-\ln(x): x=0 becomes u=\infty, x=1 becomes u=0, and x=e^{-u}, and dx=-e^{-u}\,du, so our right-hand integral becomes
    \frac{1}{2}\int_0^1\frac{\ln^2(x)}{1-x}\,dx=\frac{1}{2}\int_{\infty}^0\frac{(-u)^2}{1-e^{-u}}\cdot-e^{-u}\,du
    =\frac{1}{2}\int_0^{\infty}\frac{u^2e^{-u}}{1-e^{-u}}\,du
    =\frac{1}{2}\int_0^{\infty}\frac{u^2}{e^u-1}\,du.
    Now,
    \int_0^{\infty}\frac{x^{s-1}}{e^x-1}\,dx=\Gamma(s)\zeta(s) (see here).
    So
    \frac{1}{2}\int_0^{\infty}\frac{u^2}{e^u-1}\,du=\frac{1}{2}\Gamma(3)\zeta(3)
    =\frac{1}{2}(2!)\zeta(3)
    =\zeta(3).


    -Kevin C.
    Follow Math Help Forum on Facebook and Google+

  4. #4
    Super Member Random Variable's Avatar
    Joined
    May 2009
    Posts
    959
    Thanks
    3
     \int_{0}^{1}{\frac{\ln (x)\ln (1-x)}{x}\,dx}=-\sum\limits_{j=1}^{\infty }{\left( \frac{1}{j}\int_{0}^{1}{x^{j-1}\ln (x)\,dx} \right)}

    I don't understand what you did here.
    Follow Math Help Forum on Facebook and Google+

  5. #5
    Math Engineering Student
    Krizalid's Avatar
    Joined
    Mar 2007
    From
    Santiago, Chile
    Posts
    3,654
    Thanks
    13
    \ln (1-x)=-\sum\limits_{j=1}^{\infty }{\frac{x^{j}}{j}}, and then switch sum and integral.
    Follow Math Help Forum on Facebook and Google+

  6. #6
    Moo
    Moo is offline
    A Cute Angle Moo's Avatar
    Joined
    Mar 2008
    From
    P(I'm here)=1/3, P(I'm there)=t+1/3
    Posts
    5,618
    Thanks
    6
    Quote Originally Posted by Krizalid View Post
    \ln (1-x)=-\sum\limits_{j=1}^{\infty }{\frac{x^{j}}{j}}, and then switch sum and integral.
    This kind of stuff has to be justified precisely huh...
    (It has been brought to my attention just a while ago lol)
    Follow Math Help Forum on Facebook and Google+

  7. #7
    Math Engineering Student
    Krizalid's Avatar
    Joined
    Mar 2007
    From
    Santiago, Chile
    Posts
    3,654
    Thanks
    13
    you know the justification, and it's quite known and I won't do it.
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Challenge Integral
    Posted in the Math Challenge Problems Forum
    Replies: 4
    Last Post: June 5th 2011, 04:39 AM
  2. Yet another integral challenge question
    Posted in the Math Challenge Problems Forum
    Replies: 8
    Last Post: May 11th 2010, 08:03 PM
  3. Challenge. (1)
    Posted in the Calculus Forum
    Replies: 1
    Last Post: March 6th 2010, 03:37 PM
  4. integral challenge
    Posted in the Calculus Forum
    Replies: 19
    Last Post: December 26th 2008, 06:50 PM
  5. Challenge
    Posted in the Calculus Forum
    Replies: 5
    Last Post: June 16th 2008, 08:13 AM

Search Tags


/mathhelpforum @mathhelpforum