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
$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.$
integration
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
|
show 6 more comments
$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.$
integration
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
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
|
show 6 more comments
$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.$
integration
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
integration
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.
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
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
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
|
show 6 more comments
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
|
show 6 more comments
1 Answer
1
active
oldest
votes
$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$).
$endgroup$
add a comment |
1 Answer
1
active
oldest
votes
1 Answer
1
active
oldest
votes
active
oldest
votes
active
oldest
votes
$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$).
$endgroup$
add a comment |
$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$).
$endgroup$
add a comment |
$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$).
$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$).
edited 2 days ago
T. Amdeberhan
18.4k230132
18.4k230132
answered 2 days ago
Fedor PetrovFedor Petrov
52.4k6122240
52.4k6122240
add a comment |
add a comment |
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