Why these surprising proportionalities of integrals involving odd zeta values? 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?Identity involving Fresnel integralsRamanujan's pi formulas with a twistHow naturally can functions defined by parametric integrals be interpolated from $mathbb N$ to $mathbb R^+$?How to prove that $int _0^inftyfractextarcsinh^nxx^mdx$ is a rational combination of zeta values?An integral for the tribonacci constant and the general caseAre these two new ways of representing odd zeta values as integrals known?Another integral that has a closed form involving finite series of $zeta(2k+1)$'s. Could it be reflexive?How to evaluate these integrals?Solving or bounding the real part of the integral $int_0^2 pi i m frace^-tt-a dt$How to understand behavior of these integrals
Why these surprising proportionalities of integrals involving odd zeta values?
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?Identity involving Fresnel integralsRamanujan's pi formulas with a twistHow naturally can functions defined by parametric integrals be interpolated from $mathbb N$ to $mathbb R^+$?How to prove that $int _0^inftyfractextarcsinh^nxx^mdx$ is a rational combination of zeta values?An integral for the tribonacci constant and the general caseAre these two new ways of representing odd zeta values as integrals known?Another integral that has a closed form involving finite series of $zeta(2k+1)$'s. Could it be reflexive?How to evaluate these integrals?Solving or bounding the real part of the integral $int_0^2 pi i m frace^-tt-a dt$How to understand behavior of these integrals
$begingroup$
Inspired by the well known $$int_0^1fracln(1-x)ln xxmathrm dx=zeta(3)$$ and the integral given here (writing $zeta_r:=zeta(r)$ for easier reading)$$int_0^1fracln^3(1-x)ln xxmathrm dx=12zeta(5)-pi^2zeta(3)=6(2zeta_5-zeta_3zeta_2),$$ I have looked at the integrals
$$I_n,m=:int_0^1fracln^n(1-x)ln^m xxmathrm dx$$ for $m,ninmathbb N$.
From the power series of $ln(1-x)$ and recursion, it is not hard to see that $I_m,n$ can be written as a rational combination of products of integer zeta values, with the arguments ($ge 2$) for each product summing up to $m+n+1$, e.g. $$I_n,1=begincases -n!Bigl(dfracn-14zeta_n+2-dfrac12sumlimits_j=1^k-1zeta_2j+1zeta_n+1-2j Bigr) &text for n=2k\
-n!Bigl(dfracn+12zeta_n+2- sumlimits_j=1^k-1zeta_2j+1zeta_n+1-2jBigr) &text for n=2k-1 endcases.$$
So far, so good. Now the intriguing (numerical) discovery is that there are several families of pairs of those integrals that have rational ratios. For instance, $$fracI_n+2,n-2I_n-1,n+1=fracn+2n-1quad textorquadfracI_n+1,n-1I_n,n=fracn+1nquad textorquadfracI_n,2I_3,n-1=fracn3,$$ e.g. $$I_5,2=colorred10colorblue(61zeta_8-72zeta_5zeta_3+12zeta_3^2zeta_2) $$ and
$$I_3,4=colorred6colorblue(61zeta_8-72zeta_5zeta_3+12zeta_3^2zeta_2). $$ Note that each such pair has the same proportion as the respective first arguments.
I don't see how that could be possibly proven by recursion, so there must be some deeper connection between those integrals.
How to explain that?
nt.number-theory integration riemann-zeta-function closed-form-expressions
$endgroup$
add a comment |
$begingroup$
Inspired by the well known $$int_0^1fracln(1-x)ln xxmathrm dx=zeta(3)$$ and the integral given here (writing $zeta_r:=zeta(r)$ for easier reading)$$int_0^1fracln^3(1-x)ln xxmathrm dx=12zeta(5)-pi^2zeta(3)=6(2zeta_5-zeta_3zeta_2),$$ I have looked at the integrals
$$I_n,m=:int_0^1fracln^n(1-x)ln^m xxmathrm dx$$ for $m,ninmathbb N$.
From the power series of $ln(1-x)$ and recursion, it is not hard to see that $I_m,n$ can be written as a rational combination of products of integer zeta values, with the arguments ($ge 2$) for each product summing up to $m+n+1$, e.g. $$I_n,1=begincases -n!Bigl(dfracn-14zeta_n+2-dfrac12sumlimits_j=1^k-1zeta_2j+1zeta_n+1-2j Bigr) &text for n=2k\
-n!Bigl(dfracn+12zeta_n+2- sumlimits_j=1^k-1zeta_2j+1zeta_n+1-2jBigr) &text for n=2k-1 endcases.$$
So far, so good. Now the intriguing (numerical) discovery is that there are several families of pairs of those integrals that have rational ratios. For instance, $$fracI_n+2,n-2I_n-1,n+1=fracn+2n-1quad textorquadfracI_n+1,n-1I_n,n=fracn+1nquad textorquadfracI_n,2I_3,n-1=fracn3,$$ e.g. $$I_5,2=colorred10colorblue(61zeta_8-72zeta_5zeta_3+12zeta_3^2zeta_2) $$ and
$$I_3,4=colorred6colorblue(61zeta_8-72zeta_5zeta_3+12zeta_3^2zeta_2). $$ Note that each such pair has the same proportion as the respective first arguments.
I don't see how that could be possibly proven by recursion, so there must be some deeper connection between those integrals.
How to explain that?
nt.number-theory integration riemann-zeta-function closed-form-expressions
$endgroup$
add a comment |
$begingroup$
Inspired by the well known $$int_0^1fracln(1-x)ln xxmathrm dx=zeta(3)$$ and the integral given here (writing $zeta_r:=zeta(r)$ for easier reading)$$int_0^1fracln^3(1-x)ln xxmathrm dx=12zeta(5)-pi^2zeta(3)=6(2zeta_5-zeta_3zeta_2),$$ I have looked at the integrals
$$I_n,m=:int_0^1fracln^n(1-x)ln^m xxmathrm dx$$ for $m,ninmathbb N$.
From the power series of $ln(1-x)$ and recursion, it is not hard to see that $I_m,n$ can be written as a rational combination of products of integer zeta values, with the arguments ($ge 2$) for each product summing up to $m+n+1$, e.g. $$I_n,1=begincases -n!Bigl(dfracn-14zeta_n+2-dfrac12sumlimits_j=1^k-1zeta_2j+1zeta_n+1-2j Bigr) &text for n=2k\
-n!Bigl(dfracn+12zeta_n+2- sumlimits_j=1^k-1zeta_2j+1zeta_n+1-2jBigr) &text for n=2k-1 endcases.$$
So far, so good. Now the intriguing (numerical) discovery is that there are several families of pairs of those integrals that have rational ratios. For instance, $$fracI_n+2,n-2I_n-1,n+1=fracn+2n-1quad textorquadfracI_n+1,n-1I_n,n=fracn+1nquad textorquadfracI_n,2I_3,n-1=fracn3,$$ e.g. $$I_5,2=colorred10colorblue(61zeta_8-72zeta_5zeta_3+12zeta_3^2zeta_2) $$ and
$$I_3,4=colorred6colorblue(61zeta_8-72zeta_5zeta_3+12zeta_3^2zeta_2). $$ Note that each such pair has the same proportion as the respective first arguments.
I don't see how that could be possibly proven by recursion, so there must be some deeper connection between those integrals.
How to explain that?
nt.number-theory integration riemann-zeta-function closed-form-expressions
$endgroup$
Inspired by the well known $$int_0^1fracln(1-x)ln xxmathrm dx=zeta(3)$$ and the integral given here (writing $zeta_r:=zeta(r)$ for easier reading)$$int_0^1fracln^3(1-x)ln xxmathrm dx=12zeta(5)-pi^2zeta(3)=6(2zeta_5-zeta_3zeta_2),$$ I have looked at the integrals
$$I_n,m=:int_0^1fracln^n(1-x)ln^m xxmathrm dx$$ for $m,ninmathbb N$.
From the power series of $ln(1-x)$ and recursion, it is not hard to see that $I_m,n$ can be written as a rational combination of products of integer zeta values, with the arguments ($ge 2$) for each product summing up to $m+n+1$, e.g. $$I_n,1=begincases -n!Bigl(dfracn-14zeta_n+2-dfrac12sumlimits_j=1^k-1zeta_2j+1zeta_n+1-2j Bigr) &text for n=2k\
-n!Bigl(dfracn+12zeta_n+2- sumlimits_j=1^k-1zeta_2j+1zeta_n+1-2jBigr) &text for n=2k-1 endcases.$$
So far, so good. Now the intriguing (numerical) discovery is that there are several families of pairs of those integrals that have rational ratios. For instance, $$fracI_n+2,n-2I_n-1,n+1=fracn+2n-1quad textorquadfracI_n+1,n-1I_n,n=fracn+1nquad textorquadfracI_n,2I_3,n-1=fracn3,$$ e.g. $$I_5,2=colorred10colorblue(61zeta_8-72zeta_5zeta_3+12zeta_3^2zeta_2) $$ and
$$I_3,4=colorred6colorblue(61zeta_8-72zeta_5zeta_3+12zeta_3^2zeta_2). $$ Note that each such pair has the same proportion as the respective first arguments.
I don't see how that could be possibly proven by recursion, so there must be some deeper connection between those integrals.
How to explain that?
nt.number-theory integration riemann-zeta-function closed-form-expressions
nt.number-theory integration riemann-zeta-function closed-form-expressions
asked 7 hours ago
WolfgangWolfgang
6,25142873
6,25142873
add a comment |
add a comment |
1 Answer
1
active
oldest
votes
$begingroup$
For $ngeq 1$ and $mgeq 0$, an application of integration by parts ($u=log^n(1-x)$, $dv=log^m(x),dx/x$) followed by the substitution $xmapsto 1-x$ shows that
$$
fracI_n,mI_m+1,n-1=fracnm+1.
$$
All of your examples are special cases of this identity.
$endgroup$
$begingroup$
Yep... so easy! So much for "thinking about a certain approach without considering other possible methods" ... ☺
$endgroup$
– Wolfgang
6 hours ago
add a comment |
Your Answer
StackExchange.ready(function()
var channelOptions =
tags: "".split(" "),
id: "504"
;
initTagRenderer("".split(" "), "".split(" "), channelOptions);
StackExchange.using("externalEditor", function()
// Have to fire editor after snippets, if snippets enabled
if (StackExchange.settings.snippets.snippetsEnabled)
StackExchange.using("snippets", function()
createEditor();
);
else
createEditor();
);
function createEditor()
StackExchange.prepareEditor(
heartbeatType: 'answer',
autoActivateHeartbeat: false,
convertImagesToLinks: true,
noModals: true,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
imageUploader:
brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
allowUrls: true
,
noCode: true, onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
);
);
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmathoverflow.net%2fquestions%2f328657%2fwhy-these-surprising-proportionalities-of-integrals-involving-odd-zeta-values%23new-answer', 'question_page');
);
Post as a guest
Required, but never shown
1 Answer
1
active
oldest
votes
1 Answer
1
active
oldest
votes
active
oldest
votes
active
oldest
votes
$begingroup$
For $ngeq 1$ and $mgeq 0$, an application of integration by parts ($u=log^n(1-x)$, $dv=log^m(x),dx/x$) followed by the substitution $xmapsto 1-x$ shows that
$$
fracI_n,mI_m+1,n-1=fracnm+1.
$$
All of your examples are special cases of this identity.
$endgroup$
$begingroup$
Yep... so easy! So much for "thinking about a certain approach without considering other possible methods" ... ☺
$endgroup$
– Wolfgang
6 hours ago
add a comment |
$begingroup$
For $ngeq 1$ and $mgeq 0$, an application of integration by parts ($u=log^n(1-x)$, $dv=log^m(x),dx/x$) followed by the substitution $xmapsto 1-x$ shows that
$$
fracI_n,mI_m+1,n-1=fracnm+1.
$$
All of your examples are special cases of this identity.
$endgroup$
$begingroup$
Yep... so easy! So much for "thinking about a certain approach without considering other possible methods" ... ☺
$endgroup$
– Wolfgang
6 hours ago
add a comment |
$begingroup$
For $ngeq 1$ and $mgeq 0$, an application of integration by parts ($u=log^n(1-x)$, $dv=log^m(x),dx/x$) followed by the substitution $xmapsto 1-x$ shows that
$$
fracI_n,mI_m+1,n-1=fracnm+1.
$$
All of your examples are special cases of this identity.
$endgroup$
For $ngeq 1$ and $mgeq 0$, an application of integration by parts ($u=log^n(1-x)$, $dv=log^m(x),dx/x$) followed by the substitution $xmapsto 1-x$ shows that
$$
fracI_n,mI_m+1,n-1=fracnm+1.
$$
All of your examples are special cases of this identity.
answered 7 hours ago
Julian RosenJulian Rosen
6,77923150
6,77923150
$begingroup$
Yep... so easy! So much for "thinking about a certain approach without considering other possible methods" ... ☺
$endgroup$
– Wolfgang
6 hours ago
add a comment |
$begingroup$
Yep... so easy! So much for "thinking about a certain approach without considering other possible methods" ... ☺
$endgroup$
– Wolfgang
6 hours ago
$begingroup$
Yep... so easy! So much for "thinking about a certain approach without considering other possible methods" ... ☺
$endgroup$
– Wolfgang
6 hours ago
$begingroup$
Yep... so easy! So much for "thinking about a certain approach without considering other possible methods" ... ☺
$endgroup$
– Wolfgang
6 hours ago
add a comment |
Thanks for contributing an answer to MathOverflow!
- Please be sure to answer the question. Provide details and share your research!
But avoid …
- Asking for help, clarification, or responding to other answers.
- Making statements based on opinion; back them up with references or personal experience.
Use MathJax to format equations. MathJax reference.
To learn more, see our tips on writing great answers.
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmathoverflow.net%2fquestions%2f328657%2fwhy-these-surprising-proportionalities-of-integrals-involving-odd-zeta-values%23new-answer', 'question_page');
);
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown