Is there a generalized way to find an inverse of a function defined as a sum (if the inverse exists)?












-1












$begingroup$


Suppose I had a summation for a monotonic increasing function, like $f(n)=sum_{k=1}^{n}k$. We already know this has a closed form solution in the form of $frac{n(n+1)}{2}$. If you want to find $n$, you could use the quadratic formula. But, what if you didn't know the closed formula? What if all you knew was some $sum_{k=1}^{n}g(k)$? Is there some way to invert this process to find $n$ like with $g^{-1}(n)$?










share|cite|improve this question











$endgroup$

















    -1












    $begingroup$


    Suppose I had a summation for a monotonic increasing function, like $f(n)=sum_{k=1}^{n}k$. We already know this has a closed form solution in the form of $frac{n(n+1)}{2}$. If you want to find $n$, you could use the quadratic formula. But, what if you didn't know the closed formula? What if all you knew was some $sum_{k=1}^{n}g(k)$? Is there some way to invert this process to find $n$ like with $g^{-1}(n)$?










    share|cite|improve this question











    $endgroup$















      -1












      -1








      -1





      $begingroup$


      Suppose I had a summation for a monotonic increasing function, like $f(n)=sum_{k=1}^{n}k$. We already know this has a closed form solution in the form of $frac{n(n+1)}{2}$. If you want to find $n$, you could use the quadratic formula. But, what if you didn't know the closed formula? What if all you knew was some $sum_{k=1}^{n}g(k)$? Is there some way to invert this process to find $n$ like with $g^{-1}(n)$?










      share|cite|improve this question











      $endgroup$




      Suppose I had a summation for a monotonic increasing function, like $f(n)=sum_{k=1}^{n}k$. We already know this has a closed form solution in the form of $frac{n(n+1)}{2}$. If you want to find $n$, you could use the quadratic formula. But, what if you didn't know the closed formula? What if all you knew was some $sum_{k=1}^{n}g(k)$? Is there some way to invert this process to find $n$ like with $g^{-1}(n)$?







      summation inverse






      share|cite|improve this question















      share|cite|improve this question













      share|cite|improve this question




      share|cite|improve this question








      edited Jan 2 at 20:58







      user14554

















      asked Jan 2 at 8:13









      user14554user14554

      446




      446






















          1 Answer
          1






          active

          oldest

          votes


















          1












          $begingroup$

          It's possible to find many inverses of a sum. for example, if a+b=10, then $1+9$, $2+8$, $3+7$, $4+6$, $5+5$ are all solutions to the equation and there's also many negative solutions like $(-1)+11$.



          Good way to think about this, is that given 10 length sequence of successors, you split the sequence to two parts and the cut point is arbitrarily chosen, thus 0+10, 1+9, 2+8 etc are all good working solutions.



          So steps to solve this kind of problems($a+b=c$):




          • take $c$

          • split it to successors $1+1+1+..+1$

          • split the successors to many groups: $(1+1+1)+(1+1+1+1+1)$

          • mark the groups as variables $a+b$


          Now, to get more complexity, we should do $f(x)+f(y)+f(z)=d$, would become
          $$ d mapsto (a+b+c) mapsto (a,b,c) mapsto (f^{-1}(a),f^{-1}(b),f^{-1}(c)) mapsto (x=f^{-1}(a),y=f^{-1}(b),z=f^{-1}(c))$$
          i.e. after finding $a,b,c$ for solutions to $a+b+c=d$, just apply inverse of the function.



          Now if you have something like $f(1)+f(2)+f(3)=d$, then we need to use the previous logic, and add just ${x=1,y=2,z=3}$ to get $(f^{-1}(a)=1, f^{-1}(b)=2, f^{-1}(c)=3)$.






          share|cite|improve this answer











          $endgroup$













          • $begingroup$
            "It's possible to find many inverses of a sum" is a contradiction, isn't it? If I have defined a function, then an inverse must be unique if the function has an inverse. I suppose I could specify that: suppose the function is monotonic and increasing with consecutive indices.
            $endgroup$
            – user14554
            Jan 2 at 20:57








          • 1




            $begingroup$
            It's not a contradiction, but it's just an informal and straightforward way to say that it does not have a uniquely defined inverse function, only a preimage (fiber).
            $endgroup$
            – Niki Di Giano
            Jan 2 at 21:18














          Your Answer








          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',
          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%2fmath.stackexchange.com%2fquestions%2f3059232%2fis-there-a-generalized-way-to-find-an-inverse-of-a-function-defined-as-a-sum-if%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









          1












          $begingroup$

          It's possible to find many inverses of a sum. for example, if a+b=10, then $1+9$, $2+8$, $3+7$, $4+6$, $5+5$ are all solutions to the equation and there's also many negative solutions like $(-1)+11$.



          Good way to think about this, is that given 10 length sequence of successors, you split the sequence to two parts and the cut point is arbitrarily chosen, thus 0+10, 1+9, 2+8 etc are all good working solutions.



          So steps to solve this kind of problems($a+b=c$):




          • take $c$

          • split it to successors $1+1+1+..+1$

          • split the successors to many groups: $(1+1+1)+(1+1+1+1+1)$

          • mark the groups as variables $a+b$


          Now, to get more complexity, we should do $f(x)+f(y)+f(z)=d$, would become
          $$ d mapsto (a+b+c) mapsto (a,b,c) mapsto (f^{-1}(a),f^{-1}(b),f^{-1}(c)) mapsto (x=f^{-1}(a),y=f^{-1}(b),z=f^{-1}(c))$$
          i.e. after finding $a,b,c$ for solutions to $a+b+c=d$, just apply inverse of the function.



          Now if you have something like $f(1)+f(2)+f(3)=d$, then we need to use the previous logic, and add just ${x=1,y=2,z=3}$ to get $(f^{-1}(a)=1, f^{-1}(b)=2, f^{-1}(c)=3)$.






          share|cite|improve this answer











          $endgroup$













          • $begingroup$
            "It's possible to find many inverses of a sum" is a contradiction, isn't it? If I have defined a function, then an inverse must be unique if the function has an inverse. I suppose I could specify that: suppose the function is monotonic and increasing with consecutive indices.
            $endgroup$
            – user14554
            Jan 2 at 20:57








          • 1




            $begingroup$
            It's not a contradiction, but it's just an informal and straightforward way to say that it does not have a uniquely defined inverse function, only a preimage (fiber).
            $endgroup$
            – Niki Di Giano
            Jan 2 at 21:18


















          1












          $begingroup$

          It's possible to find many inverses of a sum. for example, if a+b=10, then $1+9$, $2+8$, $3+7$, $4+6$, $5+5$ are all solutions to the equation and there's also many negative solutions like $(-1)+11$.



          Good way to think about this, is that given 10 length sequence of successors, you split the sequence to two parts and the cut point is arbitrarily chosen, thus 0+10, 1+9, 2+8 etc are all good working solutions.



          So steps to solve this kind of problems($a+b=c$):




          • take $c$

          • split it to successors $1+1+1+..+1$

          • split the successors to many groups: $(1+1+1)+(1+1+1+1+1)$

          • mark the groups as variables $a+b$


          Now, to get more complexity, we should do $f(x)+f(y)+f(z)=d$, would become
          $$ d mapsto (a+b+c) mapsto (a,b,c) mapsto (f^{-1}(a),f^{-1}(b),f^{-1}(c)) mapsto (x=f^{-1}(a),y=f^{-1}(b),z=f^{-1}(c))$$
          i.e. after finding $a,b,c$ for solutions to $a+b+c=d$, just apply inverse of the function.



          Now if you have something like $f(1)+f(2)+f(3)=d$, then we need to use the previous logic, and add just ${x=1,y=2,z=3}$ to get $(f^{-1}(a)=1, f^{-1}(b)=2, f^{-1}(c)=3)$.






          share|cite|improve this answer











          $endgroup$













          • $begingroup$
            "It's possible to find many inverses of a sum" is a contradiction, isn't it? If I have defined a function, then an inverse must be unique if the function has an inverse. I suppose I could specify that: suppose the function is monotonic and increasing with consecutive indices.
            $endgroup$
            – user14554
            Jan 2 at 20:57








          • 1




            $begingroup$
            It's not a contradiction, but it's just an informal and straightforward way to say that it does not have a uniquely defined inverse function, only a preimage (fiber).
            $endgroup$
            – Niki Di Giano
            Jan 2 at 21:18
















          1












          1








          1





          $begingroup$

          It's possible to find many inverses of a sum. for example, if a+b=10, then $1+9$, $2+8$, $3+7$, $4+6$, $5+5$ are all solutions to the equation and there's also many negative solutions like $(-1)+11$.



          Good way to think about this, is that given 10 length sequence of successors, you split the sequence to two parts and the cut point is arbitrarily chosen, thus 0+10, 1+9, 2+8 etc are all good working solutions.



          So steps to solve this kind of problems($a+b=c$):




          • take $c$

          • split it to successors $1+1+1+..+1$

          • split the successors to many groups: $(1+1+1)+(1+1+1+1+1)$

          • mark the groups as variables $a+b$


          Now, to get more complexity, we should do $f(x)+f(y)+f(z)=d$, would become
          $$ d mapsto (a+b+c) mapsto (a,b,c) mapsto (f^{-1}(a),f^{-1}(b),f^{-1}(c)) mapsto (x=f^{-1}(a),y=f^{-1}(b),z=f^{-1}(c))$$
          i.e. after finding $a,b,c$ for solutions to $a+b+c=d$, just apply inverse of the function.



          Now if you have something like $f(1)+f(2)+f(3)=d$, then we need to use the previous logic, and add just ${x=1,y=2,z=3}$ to get $(f^{-1}(a)=1, f^{-1}(b)=2, f^{-1}(c)=3)$.






          share|cite|improve this answer











          $endgroup$



          It's possible to find many inverses of a sum. for example, if a+b=10, then $1+9$, $2+8$, $3+7$, $4+6$, $5+5$ are all solutions to the equation and there's also many negative solutions like $(-1)+11$.



          Good way to think about this, is that given 10 length sequence of successors, you split the sequence to two parts and the cut point is arbitrarily chosen, thus 0+10, 1+9, 2+8 etc are all good working solutions.



          So steps to solve this kind of problems($a+b=c$):




          • take $c$

          • split it to successors $1+1+1+..+1$

          • split the successors to many groups: $(1+1+1)+(1+1+1+1+1)$

          • mark the groups as variables $a+b$


          Now, to get more complexity, we should do $f(x)+f(y)+f(z)=d$, would become
          $$ d mapsto (a+b+c) mapsto (a,b,c) mapsto (f^{-1}(a),f^{-1}(b),f^{-1}(c)) mapsto (x=f^{-1}(a),y=f^{-1}(b),z=f^{-1}(c))$$
          i.e. after finding $a,b,c$ for solutions to $a+b+c=d$, just apply inverse of the function.



          Now if you have something like $f(1)+f(2)+f(3)=d$, then we need to use the previous logic, and add just ${x=1,y=2,z=3}$ to get $(f^{-1}(a)=1, f^{-1}(b)=2, f^{-1}(c)=3)$.







          share|cite|improve this answer














          share|cite|improve this answer



          share|cite|improve this answer








          edited Jan 2 at 10:27

























          answered Jan 2 at 9:51









          tp1tp1

          34648




          34648












          • $begingroup$
            "It's possible to find many inverses of a sum" is a contradiction, isn't it? If I have defined a function, then an inverse must be unique if the function has an inverse. I suppose I could specify that: suppose the function is monotonic and increasing with consecutive indices.
            $endgroup$
            – user14554
            Jan 2 at 20:57








          • 1




            $begingroup$
            It's not a contradiction, but it's just an informal and straightforward way to say that it does not have a uniquely defined inverse function, only a preimage (fiber).
            $endgroup$
            – Niki Di Giano
            Jan 2 at 21:18




















          • $begingroup$
            "It's possible to find many inverses of a sum" is a contradiction, isn't it? If I have defined a function, then an inverse must be unique if the function has an inverse. I suppose I could specify that: suppose the function is monotonic and increasing with consecutive indices.
            $endgroup$
            – user14554
            Jan 2 at 20:57








          • 1




            $begingroup$
            It's not a contradiction, but it's just an informal and straightforward way to say that it does not have a uniquely defined inverse function, only a preimage (fiber).
            $endgroup$
            – Niki Di Giano
            Jan 2 at 21:18


















          $begingroup$
          "It's possible to find many inverses of a sum" is a contradiction, isn't it? If I have defined a function, then an inverse must be unique if the function has an inverse. I suppose I could specify that: suppose the function is monotonic and increasing with consecutive indices.
          $endgroup$
          – user14554
          Jan 2 at 20:57






          $begingroup$
          "It's possible to find many inverses of a sum" is a contradiction, isn't it? If I have defined a function, then an inverse must be unique if the function has an inverse. I suppose I could specify that: suppose the function is monotonic and increasing with consecutive indices.
          $endgroup$
          – user14554
          Jan 2 at 20:57






          1




          1




          $begingroup$
          It's not a contradiction, but it's just an informal and straightforward way to say that it does not have a uniquely defined inverse function, only a preimage (fiber).
          $endgroup$
          – Niki Di Giano
          Jan 2 at 21:18






          $begingroup$
          It's not a contradiction, but it's just an informal and straightforward way to say that it does not have a uniquely defined inverse function, only a preimage (fiber).
          $endgroup$
          – Niki Di Giano
          Jan 2 at 21:18




















          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.




          draft saved


          draft discarded














          StackExchange.ready(
          function () {
          StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3059232%2fis-there-a-generalized-way-to-find-an-inverse-of-a-function-defined-as-a-sum-if%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 send String Array data to Server using php in android

          Title Spacing in Bjornstrup Chapter, Removing Chapter Number From Contents

          Is anime1.com a legal site for watching anime?