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

      32919




      32919



























          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




















































          Thanks for contributing an answer to Mathematics Stack Exchange!


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





          Some of your past answers have not been well-received, and you're in danger of being blocked from answering.


          Please pay close attention to the following guidance:


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


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

          QoS: MAC-Priority for clients behind a repeater

          Ивакино (Тотемский район)

          Can't locate Autom4te/ChannelDefs.pm in @INC (when it definitely is there)