Double integral with logarithms [closed] Planned maintenance scheduled April 23, 2019 at 23:30 UTC (7:30pm US/Eastern) Announcing the arrival of Valued Associate #679: Cesar Manara Unicorn Meta Zoo #1: Why another podcast?Help with an irregular integralA slight generalization of Mehta's integral.First variation on double integralintegral with simple approximation. But why?An estimation for holomorphic functions in the unit discPerform an integration over the unit interval of a two-parameter expression involving a Gauss hypergeometric functionHow to evaluate this integral?Elliptic-type integral with nested radicalBasel problem and inversive geometryA pair of integrals involving square roots and inverse trigonometric functions over the unit disk

Double integral with logarithms [closed]



Planned maintenance scheduled April 23, 2019 at 23:30 UTC (7:30pm US/Eastern)
Announcing the arrival of Valued Associate #679: Cesar Manara
Unicorn Meta Zoo #1: Why another podcast?Help with an irregular integralA slight generalization of Mehta's integral.First variation on double integralintegral with simple approximation. But why?An estimation for holomorphic functions in the unit discPerform an integration over the unit interval of a two-parameter expression involving a Gauss hypergeometric functionHow to evaluate this integral?Elliptic-type integral with nested radicalBasel problem and inversive geometryA pair of integrals involving square roots and inverse trigonometric functions over the unit disk










5












$begingroup$


Faster method to calculate the exact solution of the following integral (based on the ideas of Fedor Petrov: https://mathoverflow.net/users/4312/fedor-petrov, Double integral with logarithms, URL (version: 2019-04-15): https://mathoverflow.net/q/328126):



$$Jequiv int_0^1int_0^1fracln x-ln yx-ydxdy .$$



Since
$$fleft( x,y right)=fracln x-ln yx-y=fleft( y,x right),$$
the surface $fleft( x,y right) $ is symmetric with respect to the bisector plane $x = y$; so,



$$fracJ2=int_0^1dxint_0^xfracln x-ln yx-ydy.$$



With the change of variable$$yequiv tx, tin left( 0, 1 right),$$
the integral
$$int_0^xfracln x-ln yx-ydy,$$
is transformed into the following one that does not depend on $x$,
$$ Iequiv -int_0^1fracln t1-t,dt.$$



The integration on the unit square $(0, 0), (1, 0), (1, 1), (0,1)$ is reduced to the integration on the triangle $(0, 0), (1, 0), (1, 1).$



To solve the integral $I$ we will carry out the new change of variable,
$$sequiv 1-t,$$
by which $I$ is transformed into the integral that defines the dilogarithm, whose value for $s = 1$ coincides with the Riemann zeta $zeta left( 2 right)$,whose value is well known:



$$I=int_1^0fracln left( 1-s right)s,ds=textLtexti_2left( 1 right)=zeta left( 2 right)=fracpi ^26.$$
Therefore, the solution to the proposed integral is
$$J=fracpi ^23.$$



Note. I've tried it by polylogarithmic transformations, but I couldn't get the result $fracpi ^23.$










share|cite|improve this question









New contributor




Jesús Álvarez Lobo is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.







$endgroup$



closed as off-topic by YCor, user44191, Pace Nielsen, Gerald Edgar, Piotr Hajlasz Apr 15 at 20:13


This question appears to be off-topic. The users who voted to close gave this specific reason:


  • "MathOverflow is for mathematicians to ask each other questions about their research. See Math.StackExchange to ask general questions in mathematics." – Pace Nielsen, Gerald Edgar, Piotr Hajlasz
If this question can be reworded to fit the rules in the help center, please edit the question.











  • 5




    $begingroup$
    MSE is a right place for such type questions. Both Maple and Mathematica confirm $ fracpi ^23$.
    $endgroup$
    – user64494
    Apr 15 at 15:07






  • 9




    $begingroup$
    I do not think this is such a bad question. I would not expect even every research mathematician to come up with the answer right away. So I vote not to close.
    $endgroup$
    – RP_
    Apr 15 at 15:52






  • 6




    $begingroup$
    @user64494 what is a general strategy: when you have an integral which you do not know how to calculate, how should you decide between MSE and MO?
    $endgroup$
    – Fedor Petrov
    Apr 15 at 17:48






  • 6




    $begingroup$
    @user64494 being the author of several papers devoted to exact closed-form integration, I feel so old now.
    $endgroup$
    – Fedor Petrov
    Apr 15 at 20:50






  • 2




    $begingroup$
    Learning techniques for a problem here could be illuminating (depending on ...) for future purposes of integration or summation that they relate to or approximated by (if you are into numerical values). Plus, cute arguments are aesthetically pleasing ...
    $endgroup$
    – T. Amdeberhan
    Apr 15 at 22:06
















5












$begingroup$


Faster method to calculate the exact solution of the following integral (based on the ideas of Fedor Petrov: https://mathoverflow.net/users/4312/fedor-petrov, Double integral with logarithms, URL (version: 2019-04-15): https://mathoverflow.net/q/328126):



$$Jequiv int_0^1int_0^1fracln x-ln yx-ydxdy .$$



Since
$$fleft( x,y right)=fracln x-ln yx-y=fleft( y,x right),$$
the surface $fleft( x,y right) $ is symmetric with respect to the bisector plane $x = y$; so,



$$fracJ2=int_0^1dxint_0^xfracln x-ln yx-ydy.$$



With the change of variable$$yequiv tx, tin left( 0, 1 right),$$
the integral
$$int_0^xfracln x-ln yx-ydy,$$
is transformed into the following one that does not depend on $x$,
$$ Iequiv -int_0^1fracln t1-t,dt.$$



The integration on the unit square $(0, 0), (1, 0), (1, 1), (0,1)$ is reduced to the integration on the triangle $(0, 0), (1, 0), (1, 1).$



To solve the integral $I$ we will carry out the new change of variable,
$$sequiv 1-t,$$
by which $I$ is transformed into the integral that defines the dilogarithm, whose value for $s = 1$ coincides with the Riemann zeta $zeta left( 2 right)$,whose value is well known:



$$I=int_1^0fracln left( 1-s right)s,ds=textLtexti_2left( 1 right)=zeta left( 2 right)=fracpi ^26.$$
Therefore, the solution to the proposed integral is
$$J=fracpi ^23.$$



Note. I've tried it by polylogarithmic transformations, but I couldn't get the result $fracpi ^23.$










share|cite|improve this question









New contributor




Jesús Álvarez Lobo is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.







$endgroup$



closed as off-topic by YCor, user44191, Pace Nielsen, Gerald Edgar, Piotr Hajlasz Apr 15 at 20:13


This question appears to be off-topic. The users who voted to close gave this specific reason:


  • "MathOverflow is for mathematicians to ask each other questions about their research. See Math.StackExchange to ask general questions in mathematics." – Pace Nielsen, Gerald Edgar, Piotr Hajlasz
If this question can be reworded to fit the rules in the help center, please edit the question.











  • 5




    $begingroup$
    MSE is a right place for such type questions. Both Maple and Mathematica confirm $ fracpi ^23$.
    $endgroup$
    – user64494
    Apr 15 at 15:07






  • 9




    $begingroup$
    I do not think this is such a bad question. I would not expect even every research mathematician to come up with the answer right away. So I vote not to close.
    $endgroup$
    – RP_
    Apr 15 at 15:52






  • 6




    $begingroup$
    @user64494 what is a general strategy: when you have an integral which you do not know how to calculate, how should you decide between MSE and MO?
    $endgroup$
    – Fedor Petrov
    Apr 15 at 17:48






  • 6




    $begingroup$
    @user64494 being the author of several papers devoted to exact closed-form integration, I feel so old now.
    $endgroup$
    – Fedor Petrov
    Apr 15 at 20:50






  • 2




    $begingroup$
    Learning techniques for a problem here could be illuminating (depending on ...) for future purposes of integration or summation that they relate to or approximated by (if you are into numerical values). Plus, cute arguments are aesthetically pleasing ...
    $endgroup$
    – T. Amdeberhan
    Apr 15 at 22:06














5












5








5


4



$begingroup$


Faster method to calculate the exact solution of the following integral (based on the ideas of Fedor Petrov: https://mathoverflow.net/users/4312/fedor-petrov, Double integral with logarithms, URL (version: 2019-04-15): https://mathoverflow.net/q/328126):



$$Jequiv int_0^1int_0^1fracln x-ln yx-ydxdy .$$



Since
$$fleft( x,y right)=fracln x-ln yx-y=fleft( y,x right),$$
the surface $fleft( x,y right) $ is symmetric with respect to the bisector plane $x = y$; so,



$$fracJ2=int_0^1dxint_0^xfracln x-ln yx-ydy.$$



With the change of variable$$yequiv tx, tin left( 0, 1 right),$$
the integral
$$int_0^xfracln x-ln yx-ydy,$$
is transformed into the following one that does not depend on $x$,
$$ Iequiv -int_0^1fracln t1-t,dt.$$



The integration on the unit square $(0, 0), (1, 0), (1, 1), (0,1)$ is reduced to the integration on the triangle $(0, 0), (1, 0), (1, 1).$



To solve the integral $I$ we will carry out the new change of variable,
$$sequiv 1-t,$$
by which $I$ is transformed into the integral that defines the dilogarithm, whose value for $s = 1$ coincides with the Riemann zeta $zeta left( 2 right)$,whose value is well known:



$$I=int_1^0fracln left( 1-s right)s,ds=textLtexti_2left( 1 right)=zeta left( 2 right)=fracpi ^26.$$
Therefore, the solution to the proposed integral is
$$J=fracpi ^23.$$



Note. I've tried it by polylogarithmic transformations, but I couldn't get the result $fracpi ^23.$










share|cite|improve this question









New contributor




Jesús Álvarez Lobo is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.







$endgroup$




Faster method to calculate the exact solution of the following integral (based on the ideas of Fedor Petrov: https://mathoverflow.net/users/4312/fedor-petrov, Double integral with logarithms, URL (version: 2019-04-15): https://mathoverflow.net/q/328126):



$$Jequiv int_0^1int_0^1fracln x-ln yx-ydxdy .$$



Since
$$fleft( x,y right)=fracln x-ln yx-y=fleft( y,x right),$$
the surface $fleft( x,y right) $ is symmetric with respect to the bisector plane $x = y$; so,



$$fracJ2=int_0^1dxint_0^xfracln x-ln yx-ydy.$$



With the change of variable$$yequiv tx, tin left( 0, 1 right),$$
the integral
$$int_0^xfracln x-ln yx-ydy,$$
is transformed into the following one that does not depend on $x$,
$$ Iequiv -int_0^1fracln t1-t,dt.$$



The integration on the unit square $(0, 0), (1, 0), (1, 1), (0,1)$ is reduced to the integration on the triangle $(0, 0), (1, 0), (1, 1).$



To solve the integral $I$ we will carry out the new change of variable,
$$sequiv 1-t,$$
by which $I$ is transformed into the integral that defines the dilogarithm, whose value for $s = 1$ coincides with the Riemann zeta $zeta left( 2 right)$,whose value is well known:



$$I=int_1^0fracln left( 1-s right)s,ds=textLtexti_2left( 1 right)=zeta left( 2 right)=fracpi ^26.$$
Therefore, the solution to the proposed integral is
$$J=fracpi ^23.$$



Note. I've tried it by polylogarithmic transformations, but I couldn't get the result $fracpi ^23.$







integration






share|cite|improve this question









New contributor




Jesús Álvarez Lobo is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.











share|cite|improve this question









New contributor




Jesús Álvarez Lobo is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.









share|cite|improve this question




share|cite|improve this question








edited Apr 16 at 19:02







Jesús Álvarez Lobo













New contributor




Jesús Álvarez Lobo is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.









asked Apr 15 at 14:31









Jesús Álvarez LoboJesús Álvarez Lobo

353




353




New contributor




Jesús Álvarez Lobo is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.





New contributor





Jesús Álvarez Lobo is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.






Jesús Álvarez Lobo is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.




closed as off-topic by YCor, user44191, Pace Nielsen, Gerald Edgar, Piotr Hajlasz Apr 15 at 20:13


This question appears to be off-topic. The users who voted to close gave this specific reason:


  • "MathOverflow is for mathematicians to ask each other questions about their research. See Math.StackExchange to ask general questions in mathematics." – Pace Nielsen, Gerald Edgar, Piotr Hajlasz
If this question can be reworded to fit the rules in the help center, please edit the question.







closed as off-topic by YCor, user44191, Pace Nielsen, Gerald Edgar, Piotr Hajlasz Apr 15 at 20:13


This question appears to be off-topic. The users who voted to close gave this specific reason:


  • "MathOverflow is for mathematicians to ask each other questions about their research. See Math.StackExchange to ask general questions in mathematics." – Pace Nielsen, Gerald Edgar, Piotr Hajlasz
If this question can be reworded to fit the rules in the help center, please edit the question.







  • 5




    $begingroup$
    MSE is a right place for such type questions. Both Maple and Mathematica confirm $ fracpi ^23$.
    $endgroup$
    – user64494
    Apr 15 at 15:07






  • 9




    $begingroup$
    I do not think this is such a bad question. I would not expect even every research mathematician to come up with the answer right away. So I vote not to close.
    $endgroup$
    – RP_
    Apr 15 at 15:52






  • 6




    $begingroup$
    @user64494 what is a general strategy: when you have an integral which you do not know how to calculate, how should you decide between MSE and MO?
    $endgroup$
    – Fedor Petrov
    Apr 15 at 17:48






  • 6




    $begingroup$
    @user64494 being the author of several papers devoted to exact closed-form integration, I feel so old now.
    $endgroup$
    – Fedor Petrov
    Apr 15 at 20:50






  • 2




    $begingroup$
    Learning techniques for a problem here could be illuminating (depending on ...) for future purposes of integration or summation that they relate to or approximated by (if you are into numerical values). Plus, cute arguments are aesthetically pleasing ...
    $endgroup$
    – T. Amdeberhan
    Apr 15 at 22:06













  • 5




    $begingroup$
    MSE is a right place for such type questions. Both Maple and Mathematica confirm $ fracpi ^23$.
    $endgroup$
    – user64494
    Apr 15 at 15:07






  • 9




    $begingroup$
    I do not think this is such a bad question. I would not expect even every research mathematician to come up with the answer right away. So I vote not to close.
    $endgroup$
    – RP_
    Apr 15 at 15:52






  • 6




    $begingroup$
    @user64494 what is a general strategy: when you have an integral which you do not know how to calculate, how should you decide between MSE and MO?
    $endgroup$
    – Fedor Petrov
    Apr 15 at 17:48






  • 6




    $begingroup$
    @user64494 being the author of several papers devoted to exact closed-form integration, I feel so old now.
    $endgroup$
    – Fedor Petrov
    Apr 15 at 20:50






  • 2




    $begingroup$
    Learning techniques for a problem here could be illuminating (depending on ...) for future purposes of integration or summation that they relate to or approximated by (if you are into numerical values). Plus, cute arguments are aesthetically pleasing ...
    $endgroup$
    – T. Amdeberhan
    Apr 15 at 22:06








5




5




$begingroup$
MSE is a right place for such type questions. Both Maple and Mathematica confirm $ fracpi ^23$.
$endgroup$
– user64494
Apr 15 at 15:07




$begingroup$
MSE is a right place for such type questions. Both Maple and Mathematica confirm $ fracpi ^23$.
$endgroup$
– user64494
Apr 15 at 15:07




9




9




$begingroup$
I do not think this is such a bad question. I would not expect even every research mathematician to come up with the answer right away. So I vote not to close.
$endgroup$
– RP_
Apr 15 at 15:52




$begingroup$
I do not think this is such a bad question. I would not expect even every research mathematician to come up with the answer right away. So I vote not to close.
$endgroup$
– RP_
Apr 15 at 15:52




6




6




$begingroup$
@user64494 what is a general strategy: when you have an integral which you do not know how to calculate, how should you decide between MSE and MO?
$endgroup$
– Fedor Petrov
Apr 15 at 17:48




$begingroup$
@user64494 what is a general strategy: when you have an integral which you do not know how to calculate, how should you decide between MSE and MO?
$endgroup$
– Fedor Petrov
Apr 15 at 17:48




6




6




$begingroup$
@user64494 being the author of several papers devoted to exact closed-form integration, I feel so old now.
$endgroup$
– Fedor Petrov
Apr 15 at 20:50




$begingroup$
@user64494 being the author of several papers devoted to exact closed-form integration, I feel so old now.
$endgroup$
– Fedor Petrov
Apr 15 at 20:50




2




2




$begingroup$
Learning techniques for a problem here could be illuminating (depending on ...) for future purposes of integration or summation that they relate to or approximated by (if you are into numerical values). Plus, cute arguments are aesthetically pleasing ...
$endgroup$
– T. Amdeberhan
Apr 15 at 22:06





$begingroup$
Learning techniques for a problem here could be illuminating (depending on ...) for future purposes of integration or summation that they relate to or approximated by (if you are into numerical values). Plus, cute arguments are aesthetically pleasing ...
$endgroup$
– T. Amdeberhan
Apr 15 at 22:06











1 Answer
1






active

oldest

votes


















15












$begingroup$

By symmetry we have $J/2=int_0^1 dx int_0^x f(x, y) dy$ where $f(x, y) $ is your integrand. Integrating against $y$ for fixed $x$ we denote $y=tx$, $t$ varies from 0 to 1 and the integral against $y$ reads as $-int_0^1 fraclog t 1-tdt$. It does not depend on $x$ and is well known to be equal to $pi^2/6$ (you may use the geometric progression expansion $frac11 - t =sum_n>0 t^n-1$ and integrate term-wise to get $sum 1/n^2$).






share|cite|improve this answer











$endgroup$



















    1 Answer
    1






    active

    oldest

    votes








    1 Answer
    1






    active

    oldest

    votes









    active

    oldest

    votes






    active

    oldest

    votes









    15












    $begingroup$

    By symmetry we have $J/2=int_0^1 dx int_0^x f(x, y) dy$ where $f(x, y) $ is your integrand. Integrating against $y$ for fixed $x$ we denote $y=tx$, $t$ varies from 0 to 1 and the integral against $y$ reads as $-int_0^1 fraclog t 1-tdt$. It does not depend on $x$ and is well known to be equal to $pi^2/6$ (you may use the geometric progression expansion $frac11 - t =sum_n>0 t^n-1$ and integrate term-wise to get $sum 1/n^2$).






    share|cite|improve this answer











    $endgroup$

















      15












      $begingroup$

      By symmetry we have $J/2=int_0^1 dx int_0^x f(x, y) dy$ where $f(x, y) $ is your integrand. Integrating against $y$ for fixed $x$ we denote $y=tx$, $t$ varies from 0 to 1 and the integral against $y$ reads as $-int_0^1 fraclog t 1-tdt$. It does not depend on $x$ and is well known to be equal to $pi^2/6$ (you may use the geometric progression expansion $frac11 - t =sum_n>0 t^n-1$ and integrate term-wise to get $sum 1/n^2$).






      share|cite|improve this answer











      $endgroup$















        15












        15








        15





        $begingroup$

        By symmetry we have $J/2=int_0^1 dx int_0^x f(x, y) dy$ where $f(x, y) $ is your integrand. Integrating against $y$ for fixed $x$ we denote $y=tx$, $t$ varies from 0 to 1 and the integral against $y$ reads as $-int_0^1 fraclog t 1-tdt$. It does not depend on $x$ and is well known to be equal to $pi^2/6$ (you may use the geometric progression expansion $frac11 - t =sum_n>0 t^n-1$ and integrate term-wise to get $sum 1/n^2$).






        share|cite|improve this answer











        $endgroup$



        By symmetry we have $J/2=int_0^1 dx int_0^x f(x, y) dy$ where $f(x, y) $ is your integrand. Integrating against $y$ for fixed $x$ we denote $y=tx$, $t$ varies from 0 to 1 and the integral against $y$ reads as $-int_0^1 fraclog t 1-tdt$. It does not depend on $x$ and is well known to be equal to $pi^2/6$ (you may use the geometric progression expansion $frac11 - t =sum_n>0 t^n-1$ and integrate term-wise to get $sum 1/n^2$).







        share|cite|improve this answer














        share|cite|improve this answer



        share|cite|improve this answer








        edited Apr 15 at 16:03









        T. Amdeberhan

        18.5k230132




        18.5k230132










        answered Apr 15 at 14:52









        Fedor PetrovFedor Petrov

        52.5k6122241




        52.5k6122241













            Popular posts from this blog

            How to write a 12-bar blues melodyI-IV-V blues progressionHow to play the bridges in a standard blues progressionHow does Gdim7 fit in C# minor?question on a certain chord progressionMusicology of Melody12 bar blues, spread rhythm: alternative to 6th chord to avoid finger stretchChord progressions/ Root key/ MelodiesHow to put chords (POP-EDM) under a given lead vocal melody (starting from a good knowledge in music theory)Are there “rules” for improvising with the minor pentatonic scale over 12-bar shuffle?Confusion about blues scale and chords

            What if the end-user didn't have the required library?What is setup.py?What is a clean, pythonic way to have multiple constructors in Python?What does Ruby have that Python doesn't, and vice versa?What is the reason for having '//' in Python?How do I create a namespace package in Python?How to package shared objects that python modules depend on?setuptools vs. distutils: why is distutils still a thing?Navigation in Windows 10 vs code not going to virtualenv library when the same library is installed at user levelPython create package for local usePackaging a project that uses multiple python versionsWhy is permission denied on pip install except for when “--user” is included at end of command?

            Esgonzo ibérico Índice Descrición Distribución Hábitat Ameazas Notas Véxase tamén "Acerca dos nomes dos anfibios e réptiles galegos""Chalcides bedriagai"Chalcides bedriagai en Carrascal, L. M. Salvador, A. (Eds). Enciclopedia virtual de los vertebrados españoles. Museo Nacional de Ciencias Naturales, Madrid. España.Fotos