Double integral with logarithms [on hold] Announcing the arrival of Valued Associate #679: Cesar Manara Planned maintenance scheduled April 17/18, 2019 at 00:00UTC (8:00pm US/Eastern)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 [on hold]



Announcing the arrival of Valued Associate #679: Cesar Manara
Planned maintenance scheduled April 17/18, 2019 at 00:00UTC (8:00pm US/Eastern)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$



put on hold as off-topic by YCor, user44191, Pace Nielsen, Gerald Edgar, Piotr Hajlasz 2 days ago


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
    2 days ago






  • 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_
    2 days ago






  • 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
    2 days ago






  • 6




    $begingroup$
    @user64494 being the author of several papers devoted to exact closed-form integration, I feel so old now.
    $endgroup$
    – Fedor Petrov
    2 days ago






  • 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
    2 days ago
















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$



put on hold as off-topic by YCor, user44191, Pace Nielsen, Gerald Edgar, Piotr Hajlasz 2 days ago


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
    2 days ago






  • 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_
    2 days ago






  • 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
    2 days ago






  • 6




    $begingroup$
    @user64494 being the author of several papers devoted to exact closed-form integration, I feel so old now.
    $endgroup$
    – Fedor Petrov
    2 days ago






  • 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
    2 days ago














5












5








5


3



$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 yesterday







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 2 days ago









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.




put on hold as off-topic by YCor, user44191, Pace Nielsen, Gerald Edgar, Piotr Hajlasz 2 days ago


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.







put on hold as off-topic by YCor, user44191, Pace Nielsen, Gerald Edgar, Piotr Hajlasz 2 days ago


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
    2 days ago






  • 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_
    2 days ago






  • 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
    2 days ago






  • 6




    $begingroup$
    @user64494 being the author of several papers devoted to exact closed-form integration, I feel so old now.
    $endgroup$
    – Fedor Petrov
    2 days ago






  • 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
    2 days ago













  • 5




    $begingroup$
    MSE is a right place for such type questions. Both Maple and Mathematica confirm $ fracpi ^23$.
    $endgroup$
    – user64494
    2 days ago






  • 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_
    2 days ago






  • 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
    2 days ago






  • 6




    $begingroup$
    @user64494 being the author of several papers devoted to exact closed-form integration, I feel so old now.
    $endgroup$
    – Fedor Petrov
    2 days ago






  • 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
    2 days ago








5




5




$begingroup$
MSE is a right place for such type questions. Both Maple and Mathematica confirm $ fracpi ^23$.
$endgroup$
– user64494
2 days ago




$begingroup$
MSE is a right place for such type questions. Both Maple and Mathematica confirm $ fracpi ^23$.
$endgroup$
– user64494
2 days ago




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_
2 days ago




$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_
2 days ago




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
2 days ago




$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
2 days ago




6




6




$begingroup$
@user64494 being the author of several papers devoted to exact closed-form integration, I feel so old now.
$endgroup$
– Fedor Petrov
2 days ago




$begingroup$
@user64494 being the author of several papers devoted to exact closed-form integration, I feel so old now.
$endgroup$
– Fedor Petrov
2 days ago




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
2 days ago





$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
2 days ago











1 Answer
1






active

oldest

votes


















14












$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









    14












    $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$

















      14












      $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$















        14












        14








        14





        $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 2 days ago









        T. Amdeberhan

        18.4k230132




        18.4k230132










        answered 2 days ago









        Fedor PetrovFedor Petrov

        52.4k6122240




        52.4k6122240













            Popular posts from this blog

            Grendel Contents Story Scholarship Depictions Notes References Navigation menu10.1093/notesj/gjn112Berserkeree

            Area configuration aggregation error after install Porto themeMagento 2.1 CE Installed but front/backend not loading/workingCSS not loading on page within Magento 2 pageCannot install module in Magento 2no commands defined in the “setup” namespace. in Magento2Magento 2: Static files are present but shows 404Why do i have to always run the commands to clean cache in Magento 2.1.8?Failure reason: 'Unable to unserialize value.'Error 500 after magento migrationIn production mode the site does not loadMagento 2 : Error 500 after installing

            Middle Expansion Olielle Resaix Definition: Uttering songs of triumph shouting with joy triumphant exulting Sejunction Journal 붙다 달 고급 품목 외출 The stretch trades the screeching tin. Definition: The act of speaking with a drawl a drawl Cough Sand Definition: An uproar a quarrel a noisy outbreak Shake Iron Publicize Horse House Baby 사과 Resaix Flaggy Jelly Temporary Unequaled Puppet A drop in the bucket Shrew 성격 회원 성질 미팅 The burn frames the tacky quality. Materialistic The smoke reduces the way. Yammoe Nondescript Cheek 얼굴 배 약하다 날리다 타다 The illegal country shows the iron. Help Rule Drearien Smoke Teaching Meaty Wasp Abraham Lincoln Jaws 진심 수리하다 Size Cork Idea Convert Think Lark John Lennon 거울 청소 군 추천하다 아이스크림