Non unique decomposition of series in a “particular way”?











up vote
2
down vote

favorite












Introduction



I recently was playing around with some series and a natural question came to mind how many ways can a series equivalence be decomposed "a certain way" to a equivalence sequence?



Background



I believe for if the below holds for all integer $n$ holds then:



$$ sum_{r=1}^nfrac{a_r}{r} = frac{1}{n}sum_{r=1}^n b_r implies b_r = sum_{r|l} a_l $$



Hence, in some sense we have managed to uniquely decompose the series. But if we sum the series $ sum_{r=1}^nfrac{a_r}{r} = frac{1}{n}sum_{r=1}^n b_r $ on both sides then:



$$ sum_{m}^n sum_{r=1}^mfrac{a_r}{r} = sum_{m}^n frac{1}{m}sum_{r=1}^m b_r $$



Simplifying the above expression:



$$ implies sum_{r=1} ^n(n-r+1) frac{a_r}{r} = sum_{r=1}^n b_rBig((sum_{k=1}^n frac{1}{k}) - (sum_{k=2}^r frac{1}{k-1})Big) $$



But there are now two ways (as far as I know) to decompose this series:



$$ sum_{r=1}^n (n-r+1) frac{a_r}{r} = sum_{r=1}^n b_rBig((sum_{k=1}^n frac{1}{k}) - (sum_{k=2}^r frac{1}{k-1})Big) implies b_r = sum_{r|l} a_l $$



Or another decomposing solution is given by the manipulation in the equation with the L.H.S:



$$ (n+1)sum_{r=1}^n frac{a_r}{r} - sum_{r=1}^n r frac{a_r}{r} = sum_{r=1}^n frac{tilde b_r}{n} + (n+1)sum_{r=1}^n frac{a_r}{r} = sum_{r=1}^n b_rBig((sum_{k=1}^n frac{1}{k}) - (sum_{k=2}^r frac{1}{k-1})Big) $$



where $tilde b_r = sum_{r|l} l a_l $. Hence,



$$ sum_{r=1}^n frac{tilde b_r}{n} + (n+1)sum_{r=1}^n frac{c_r}{n} = sum_{r=1}^n b_rBig((sum_{k=1}^n frac{1}{k}) - (sum_{k=2}^r frac{1}{k-1})Big) $$



where $c_r =sum_{r|l} a_l $



Setting each term to $0$ rather than their sum:



$$ sum_{r|l} l a_l + (n+1) sum_{r|l} a_l = n b_rBig((sum_{k=1}^n frac{1}{k}) - (sum_{k=2}^r frac{1}{k-1})Big) $$



Hence, this can also be decomposed as:



$$ sum_{r|l} (1+l) a_l = frac{n}{(n+1) } b_rBig((sum_{k=1}^n frac{1}{k}) - (sum_{k=2}^r frac{1}{k-1})Big) $$



Question



The number of ways of decomposing a series seems to be some function of $deg(n)$ in the summation of the L.H.S? Can anyone prove what it is?










share|cite|improve this question




























    up vote
    2
    down vote

    favorite












    Introduction



    I recently was playing around with some series and a natural question came to mind how many ways can a series equivalence be decomposed "a certain way" to a equivalence sequence?



    Background



    I believe for if the below holds for all integer $n$ holds then:



    $$ sum_{r=1}^nfrac{a_r}{r} = frac{1}{n}sum_{r=1}^n b_r implies b_r = sum_{r|l} a_l $$



    Hence, in some sense we have managed to uniquely decompose the series. But if we sum the series $ sum_{r=1}^nfrac{a_r}{r} = frac{1}{n}sum_{r=1}^n b_r $ on both sides then:



    $$ sum_{m}^n sum_{r=1}^mfrac{a_r}{r} = sum_{m}^n frac{1}{m}sum_{r=1}^m b_r $$



    Simplifying the above expression:



    $$ implies sum_{r=1} ^n(n-r+1) frac{a_r}{r} = sum_{r=1}^n b_rBig((sum_{k=1}^n frac{1}{k}) - (sum_{k=2}^r frac{1}{k-1})Big) $$



    But there are now two ways (as far as I know) to decompose this series:



    $$ sum_{r=1}^n (n-r+1) frac{a_r}{r} = sum_{r=1}^n b_rBig((sum_{k=1}^n frac{1}{k}) - (sum_{k=2}^r frac{1}{k-1})Big) implies b_r = sum_{r|l} a_l $$



    Or another decomposing solution is given by the manipulation in the equation with the L.H.S:



    $$ (n+1)sum_{r=1}^n frac{a_r}{r} - sum_{r=1}^n r frac{a_r}{r} = sum_{r=1}^n frac{tilde b_r}{n} + (n+1)sum_{r=1}^n frac{a_r}{r} = sum_{r=1}^n b_rBig((sum_{k=1}^n frac{1}{k}) - (sum_{k=2}^r frac{1}{k-1})Big) $$



    where $tilde b_r = sum_{r|l} l a_l $. Hence,



    $$ sum_{r=1}^n frac{tilde b_r}{n} + (n+1)sum_{r=1}^n frac{c_r}{n} = sum_{r=1}^n b_rBig((sum_{k=1}^n frac{1}{k}) - (sum_{k=2}^r frac{1}{k-1})Big) $$



    where $c_r =sum_{r|l} a_l $



    Setting each term to $0$ rather than their sum:



    $$ sum_{r|l} l a_l + (n+1) sum_{r|l} a_l = n b_rBig((sum_{k=1}^n frac{1}{k}) - (sum_{k=2}^r frac{1}{k-1})Big) $$



    Hence, this can also be decomposed as:



    $$ sum_{r|l} (1+l) a_l = frac{n}{(n+1) } b_rBig((sum_{k=1}^n frac{1}{k}) - (sum_{k=2}^r frac{1}{k-1})Big) $$



    Question



    The number of ways of decomposing a series seems to be some function of $deg(n)$ in the summation of the L.H.S? Can anyone prove what it is?










    share|cite|improve this question


























      up vote
      2
      down vote

      favorite









      up vote
      2
      down vote

      favorite











      Introduction



      I recently was playing around with some series and a natural question came to mind how many ways can a series equivalence be decomposed "a certain way" to a equivalence sequence?



      Background



      I believe for if the below holds for all integer $n$ holds then:



      $$ sum_{r=1}^nfrac{a_r}{r} = frac{1}{n}sum_{r=1}^n b_r implies b_r = sum_{r|l} a_l $$



      Hence, in some sense we have managed to uniquely decompose the series. But if we sum the series $ sum_{r=1}^nfrac{a_r}{r} = frac{1}{n}sum_{r=1}^n b_r $ on both sides then:



      $$ sum_{m}^n sum_{r=1}^mfrac{a_r}{r} = sum_{m}^n frac{1}{m}sum_{r=1}^m b_r $$



      Simplifying the above expression:



      $$ implies sum_{r=1} ^n(n-r+1) frac{a_r}{r} = sum_{r=1}^n b_rBig((sum_{k=1}^n frac{1}{k}) - (sum_{k=2}^r frac{1}{k-1})Big) $$



      But there are now two ways (as far as I know) to decompose this series:



      $$ sum_{r=1}^n (n-r+1) frac{a_r}{r} = sum_{r=1}^n b_rBig((sum_{k=1}^n frac{1}{k}) - (sum_{k=2}^r frac{1}{k-1})Big) implies b_r = sum_{r|l} a_l $$



      Or another decomposing solution is given by the manipulation in the equation with the L.H.S:



      $$ (n+1)sum_{r=1}^n frac{a_r}{r} - sum_{r=1}^n r frac{a_r}{r} = sum_{r=1}^n frac{tilde b_r}{n} + (n+1)sum_{r=1}^n frac{a_r}{r} = sum_{r=1}^n b_rBig((sum_{k=1}^n frac{1}{k}) - (sum_{k=2}^r frac{1}{k-1})Big) $$



      where $tilde b_r = sum_{r|l} l a_l $. Hence,



      $$ sum_{r=1}^n frac{tilde b_r}{n} + (n+1)sum_{r=1}^n frac{c_r}{n} = sum_{r=1}^n b_rBig((sum_{k=1}^n frac{1}{k}) - (sum_{k=2}^r frac{1}{k-1})Big) $$



      where $c_r =sum_{r|l} a_l $



      Setting each term to $0$ rather than their sum:



      $$ sum_{r|l} l a_l + (n+1) sum_{r|l} a_l = n b_rBig((sum_{k=1}^n frac{1}{k}) - (sum_{k=2}^r frac{1}{k-1})Big) $$



      Hence, this can also be decomposed as:



      $$ sum_{r|l} (1+l) a_l = frac{n}{(n+1) } b_rBig((sum_{k=1}^n frac{1}{k}) - (sum_{k=2}^r frac{1}{k-1})Big) $$



      Question



      The number of ways of decomposing a series seems to be some function of $deg(n)$ in the summation of the L.H.S? Can anyone prove what it is?










      share|cite|improve this question















      Introduction



      I recently was playing around with some series and a natural question came to mind how many ways can a series equivalence be decomposed "a certain way" to a equivalence sequence?



      Background



      I believe for if the below holds for all integer $n$ holds then:



      $$ sum_{r=1}^nfrac{a_r}{r} = frac{1}{n}sum_{r=1}^n b_r implies b_r = sum_{r|l} a_l $$



      Hence, in some sense we have managed to uniquely decompose the series. But if we sum the series $ sum_{r=1}^nfrac{a_r}{r} = frac{1}{n}sum_{r=1}^n b_r $ on both sides then:



      $$ sum_{m}^n sum_{r=1}^mfrac{a_r}{r} = sum_{m}^n frac{1}{m}sum_{r=1}^m b_r $$



      Simplifying the above expression:



      $$ implies sum_{r=1} ^n(n-r+1) frac{a_r}{r} = sum_{r=1}^n b_rBig((sum_{k=1}^n frac{1}{k}) - (sum_{k=2}^r frac{1}{k-1})Big) $$



      But there are now two ways (as far as I know) to decompose this series:



      $$ sum_{r=1}^n (n-r+1) frac{a_r}{r} = sum_{r=1}^n b_rBig((sum_{k=1}^n frac{1}{k}) - (sum_{k=2}^r frac{1}{k-1})Big) implies b_r = sum_{r|l} a_l $$



      Or another decomposing solution is given by the manipulation in the equation with the L.H.S:



      $$ (n+1)sum_{r=1}^n frac{a_r}{r} - sum_{r=1}^n r frac{a_r}{r} = sum_{r=1}^n frac{tilde b_r}{n} + (n+1)sum_{r=1}^n frac{a_r}{r} = sum_{r=1}^n b_rBig((sum_{k=1}^n frac{1}{k}) - (sum_{k=2}^r frac{1}{k-1})Big) $$



      where $tilde b_r = sum_{r|l} l a_l $. Hence,



      $$ sum_{r=1}^n frac{tilde b_r}{n} + (n+1)sum_{r=1}^n frac{c_r}{n} = sum_{r=1}^n b_rBig((sum_{k=1}^n frac{1}{k}) - (sum_{k=2}^r frac{1}{k-1})Big) $$



      where $c_r =sum_{r|l} a_l $



      Setting each term to $0$ rather than their sum:



      $$ sum_{r|l} l a_l + (n+1) sum_{r|l} a_l = n b_rBig((sum_{k=1}^n frac{1}{k}) - (sum_{k=2}^r frac{1}{k-1})Big) $$



      Hence, this can also be decomposed as:



      $$ sum_{r|l} (1+l) a_l = frac{n}{(n+1) } b_rBig((sum_{k=1}^n frac{1}{k}) - (sum_{k=2}^r frac{1}{k-1})Big) $$



      Question



      The number of ways of decomposing a series seems to be some function of $deg(n)$ in the summation of the L.H.S? Can anyone prove what it is?







      sequences-and-series number-theory






      share|cite|improve this question















      share|cite|improve this question













      share|cite|improve this question




      share|cite|improve this question








      edited Nov 18 at 17:58

























      asked Nov 17 at 23:46









      More Anonymous

      30619




      30619



























          active

          oldest

          votes











          Your Answer





          StackExchange.ifUsing("editor", function () {
          return StackExchange.using("mathjaxEditing", function () {
          StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix) {
          StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
          });
          });
          }, "mathjax-editing");

          StackExchange.ready(function() {
          var channelOptions = {
          tags: "".split(" "),
          id: "69"
          };
          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',
          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%2fmath.stackexchange.com%2fquestions%2f3002968%2fnon-unique-decomposition-of-series-in-a-particular-way%23new-answer', 'question_page');
          }
          );

          Post as a guest















          Required, but never shown






























          active

          oldest

          votes













          active

          oldest

          votes









          active

          oldest

          votes






          active

          oldest

          votes
















           

          draft saved


          draft discarded



















































           


          draft saved


          draft discarded














          StackExchange.ready(
          function () {
          StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3002968%2fnon-unique-decomposition-of-series-in-a-particular-way%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

          Willebadessen

          Ida-Boy-Ed-Garten

          Residenzschloss Arolsen