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










11












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











share|cite|improve this question









$endgroup$
















    11












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











    share|cite|improve this question









    $endgroup$














      11












      11








      11


      1



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











      share|cite|improve this question









      $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






      share|cite|improve this question













      share|cite|improve this question











      share|cite|improve this question




      share|cite|improve this question










      asked 7 hours ago









      WolfgangWolfgang

      6,25142873




      6,25142873




















          1 Answer
          1






          active

          oldest

          votes


















          22












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






          share|cite|improve this answer









          $endgroup$












          • $begingroup$
            Yep... so easy! So much for "thinking about a certain approach without considering other possible methods" ... ☺
            $endgroup$
            – Wolfgang
            6 hours ago











          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
          );



          );













          draft saved

          draft discarded


















          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









          22












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






          share|cite|improve this answer









          $endgroup$












          • $begingroup$
            Yep... so easy! So much for "thinking about a certain approach without considering other possible methods" ... ☺
            $endgroup$
            – Wolfgang
            6 hours ago















          22












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






          share|cite|improve this answer









          $endgroup$












          • $begingroup$
            Yep... so easy! So much for "thinking about a certain approach without considering other possible methods" ... ☺
            $endgroup$
            – Wolfgang
            6 hours ago













          22












          22








          22





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






          share|cite|improve this answer









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







          share|cite|improve this answer












          share|cite|improve this answer



          share|cite|improve this answer










          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
















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

















          draft saved

          draft discarded
















































          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.




          draft saved


          draft discarded














          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





















































          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







          Popular posts from this blog

          How to create a command for the “strange m” symbol in latex? Announcing the arrival of Valued Associate #679: Cesar Manara Planned maintenance scheduled April 23, 2019 at 23:30 UTC (7:30pm US/Eastern)How do you make your own symbol when Detexify fails?Writing bold small caps with mathpazo packageplus-minus symbol with parenthesis around the minus signGreek character in Beamer document titleHow to create dashed right arrow over symbol?Currency symbol: Turkish LiraDouble prec as a single symbol?Plus Sign Too Big; How to Call adfbullet?Is there a TeX macro for three-legged pi?How do I get my integral-like symbol to align like the integral?How to selectively substitute a letter with another symbol representing the same letterHow do I generate a less than symbol and vertical bar that are the same height?

          Българска екзархия Съдържание История | Български екзарси | Вижте също | Външни препратки | Литература | Бележки | НавигацияУстав за управлението на българската екзархия. Цариград, 1870Слово на Ловешкия митрополит Иларион при откриването на Българския народен събор в Цариград на 23. II. 1870 г.Българската правда и гръцката кривда. От С. М. (= Софийски Мелетий). Цариград, 1872Предстоятели на Българската екзархияПодмененият ВеликденИнформационна агенция „Фокус“Димитър Ризов. Българите в техните исторически, етнографически и политически граници (Атлас съдържащ 40 карти). Berlin, Königliche Hoflithographie, Hof-Buch- und -Steindruckerei Wilhelm Greve, 1917Report of the International Commission to Inquire into the Causes and Conduct of the Balkan Wars

          Чепеларе Съдържание География | История | Население | Спортни и природни забележителности | Културни и исторически обекти | Религии | Обществени институции | Известни личности | Редовни събития | Галерия | Източници | Литература | Външни препратки | Навигация41°43′23.99″ с. ш. 24°41′09.99″ и. д. / 41.723333° с. ш. 24.686111° и. д.*ЧепелареЧепеларски Linux fest 2002Начало на Зимен сезон 2005/06Национални хайдушки празници „Капитан Петко Войвода“Град ЧепелареЧепеларе – народният ски курортbgrod.orgwww.terranatura.hit.bgСправка за населението на гр. Исперих, общ. Исперих, обл. РазградМузей на родопския карстМузей на спорта и скитеЧепеларебългарскибългарскианглийскитукИстория на градаСки писти в ЧепелареВремето в ЧепелареРадио и телевизия в ЧепелареЧепеларе мами с родопски чар и добри пистиЕвтин туризъм и снежни атракции в ЧепелареМестоположениеИнформация и снимки от музея на родопския карст3D панорами от ЧепелареЧепелареррр