Integration of a function and its inverse












0












$begingroup$


Let $g(x)$ be the inverse function of the function $f(x)$ where
$xin [a,b], f(a) = c, f(b) = d$.

Find the value of
$$int_{a}^{b} f(x) dx - int_{c}^{d} g(y) dy$$
My turn:
$$int_{a}^{b} f(x) dx = F(b) -F(a)$$ where $F'(x) = f(x)$. And
$$int_{c}^{d} g(y) dy = G(d) - G(c) = G(f(b)) - G(f(a))$$
where $G'(y) = g(y)$.

But I did not find a relation between the anti-derivative of f and the anti-derivative of its inverse.










share|cite|improve this question











$endgroup$

















    0












    $begingroup$


    Let $g(x)$ be the inverse function of the function $f(x)$ where
    $xin [a,b], f(a) = c, f(b) = d$.

    Find the value of
    $$int_{a}^{b} f(x) dx - int_{c}^{d} g(y) dy$$
    My turn:
    $$int_{a}^{b} f(x) dx = F(b) -F(a)$$ where $F'(x) = f(x)$. And
    $$int_{c}^{d} g(y) dy = G(d) - G(c) = G(f(b)) - G(f(a))$$
    where $G'(y) = g(y)$.

    But I did not find a relation between the anti-derivative of f and the anti-derivative of its inverse.










    share|cite|improve this question











    $endgroup$















      0












      0








      0





      $begingroup$


      Let $g(x)$ be the inverse function of the function $f(x)$ where
      $xin [a,b], f(a) = c, f(b) = d$.

      Find the value of
      $$int_{a}^{b} f(x) dx - int_{c}^{d} g(y) dy$$
      My turn:
      $$int_{a}^{b} f(x) dx = F(b) -F(a)$$ where $F'(x) = f(x)$. And
      $$int_{c}^{d} g(y) dy = G(d) - G(c) = G(f(b)) - G(f(a))$$
      where $G'(y) = g(y)$.

      But I did not find a relation between the anti-derivative of f and the anti-derivative of its inverse.










      share|cite|improve this question











      $endgroup$




      Let $g(x)$ be the inverse function of the function $f(x)$ where
      $xin [a,b], f(a) = c, f(b) = d$.

      Find the value of
      $$int_{a}^{b} f(x) dx - int_{c}^{d} g(y) dy$$
      My turn:
      $$int_{a}^{b} f(x) dx = F(b) -F(a)$$ where $F'(x) = f(x)$. And
      $$int_{c}^{d} g(y) dy = G(d) - G(c) = G(f(b)) - G(f(a))$$
      where $G'(y) = g(y)$.

      But I did not find a relation between the anti-derivative of f and the anti-derivative of its inverse.







      calculus integration






      share|cite|improve this question















      share|cite|improve this question













      share|cite|improve this question




      share|cite|improve this question








      edited Jan 26 at 17:28









      Hanno

      2,469628




      2,469628










      asked Jan 26 at 16:41









      Hussien MohamedHussien Mohamed

      244




      244






















          1 Answer
          1






          active

          oldest

          votes


















          0












          $begingroup$

          For brevity, let's consider a special case: $f: [0,b] to [0,d]$ increasing, continuous, onto. If you draw a picture then you realize that the first integral is the area of the rectangle $R:=[0,b] times [0,d]$ under the graph of $f$ and the second integral is the area of $R$ above the graph - that's because the graph of the inverse is symmetrical about the diagonal and the second integral is the area under this graph. But if you reflect it around the diagonal, you get the graph of the original $f$ and you count the area "to the left" from it.




          • So if you add them together, not subtract, then you get the area of
            $R$, i.e. $bd$. In general situation, you have to take into account
            more rectangles but it should be easily deducible from the picture of
            the situation.

          • In your case, when you subtract the second integral from the first one, you can get pretty much everything
            between $-bd$ and $bd$. Just consider functions $x^n$ and inverses
            $sqrt[n]{x}$ on $[0,1]$.






          share|cite|improve this answer









          $endgroup$













          • $begingroup$
            Do you it does not have a certain answer ?
            $endgroup$
            – Hussien Mohamed
            Jan 27 at 20:18










          • $begingroup$
            As I wrote in the answer, take e.g. $f(x) = x^n$ on $[0,1]$, then its inverse is $g(y) = sqrt[n]{y}$ on $[0,1]$, and we have $int_{0}^{1} x^n , dx - int_{0}^{1} sqrt[n]{y} , dy = 2/n -1$.
            $endgroup$
            – Roman Hric
            Jan 28 at 17:14













          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',
          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%2f3088461%2fintegration-of-a-function-and-its-inverse%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









          0












          $begingroup$

          For brevity, let's consider a special case: $f: [0,b] to [0,d]$ increasing, continuous, onto. If you draw a picture then you realize that the first integral is the area of the rectangle $R:=[0,b] times [0,d]$ under the graph of $f$ and the second integral is the area of $R$ above the graph - that's because the graph of the inverse is symmetrical about the diagonal and the second integral is the area under this graph. But if you reflect it around the diagonal, you get the graph of the original $f$ and you count the area "to the left" from it.




          • So if you add them together, not subtract, then you get the area of
            $R$, i.e. $bd$. In general situation, you have to take into account
            more rectangles but it should be easily deducible from the picture of
            the situation.

          • In your case, when you subtract the second integral from the first one, you can get pretty much everything
            between $-bd$ and $bd$. Just consider functions $x^n$ and inverses
            $sqrt[n]{x}$ on $[0,1]$.






          share|cite|improve this answer









          $endgroup$













          • $begingroup$
            Do you it does not have a certain answer ?
            $endgroup$
            – Hussien Mohamed
            Jan 27 at 20:18










          • $begingroup$
            As I wrote in the answer, take e.g. $f(x) = x^n$ on $[0,1]$, then its inverse is $g(y) = sqrt[n]{y}$ on $[0,1]$, and we have $int_{0}^{1} x^n , dx - int_{0}^{1} sqrt[n]{y} , dy = 2/n -1$.
            $endgroup$
            – Roman Hric
            Jan 28 at 17:14


















          0












          $begingroup$

          For brevity, let's consider a special case: $f: [0,b] to [0,d]$ increasing, continuous, onto. If you draw a picture then you realize that the first integral is the area of the rectangle $R:=[0,b] times [0,d]$ under the graph of $f$ and the second integral is the area of $R$ above the graph - that's because the graph of the inverse is symmetrical about the diagonal and the second integral is the area under this graph. But if you reflect it around the diagonal, you get the graph of the original $f$ and you count the area "to the left" from it.




          • So if you add them together, not subtract, then you get the area of
            $R$, i.e. $bd$. In general situation, you have to take into account
            more rectangles but it should be easily deducible from the picture of
            the situation.

          • In your case, when you subtract the second integral from the first one, you can get pretty much everything
            between $-bd$ and $bd$. Just consider functions $x^n$ and inverses
            $sqrt[n]{x}$ on $[0,1]$.






          share|cite|improve this answer









          $endgroup$













          • $begingroup$
            Do you it does not have a certain answer ?
            $endgroup$
            – Hussien Mohamed
            Jan 27 at 20:18










          • $begingroup$
            As I wrote in the answer, take e.g. $f(x) = x^n$ on $[0,1]$, then its inverse is $g(y) = sqrt[n]{y}$ on $[0,1]$, and we have $int_{0}^{1} x^n , dx - int_{0}^{1} sqrt[n]{y} , dy = 2/n -1$.
            $endgroup$
            – Roman Hric
            Jan 28 at 17:14
















          0












          0








          0





          $begingroup$

          For brevity, let's consider a special case: $f: [0,b] to [0,d]$ increasing, continuous, onto. If you draw a picture then you realize that the first integral is the area of the rectangle $R:=[0,b] times [0,d]$ under the graph of $f$ and the second integral is the area of $R$ above the graph - that's because the graph of the inverse is symmetrical about the diagonal and the second integral is the area under this graph. But if you reflect it around the diagonal, you get the graph of the original $f$ and you count the area "to the left" from it.




          • So if you add them together, not subtract, then you get the area of
            $R$, i.e. $bd$. In general situation, you have to take into account
            more rectangles but it should be easily deducible from the picture of
            the situation.

          • In your case, when you subtract the second integral from the first one, you can get pretty much everything
            between $-bd$ and $bd$. Just consider functions $x^n$ and inverses
            $sqrt[n]{x}$ on $[0,1]$.






          share|cite|improve this answer









          $endgroup$



          For brevity, let's consider a special case: $f: [0,b] to [0,d]$ increasing, continuous, onto. If you draw a picture then you realize that the first integral is the area of the rectangle $R:=[0,b] times [0,d]$ under the graph of $f$ and the second integral is the area of $R$ above the graph - that's because the graph of the inverse is symmetrical about the diagonal and the second integral is the area under this graph. But if you reflect it around the diagonal, you get the graph of the original $f$ and you count the area "to the left" from it.




          • So if you add them together, not subtract, then you get the area of
            $R$, i.e. $bd$. In general situation, you have to take into account
            more rectangles but it should be easily deducible from the picture of
            the situation.

          • In your case, when you subtract the second integral from the first one, you can get pretty much everything
            between $-bd$ and $bd$. Just consider functions $x^n$ and inverses
            $sqrt[n]{x}$ on $[0,1]$.







          share|cite|improve this answer












          share|cite|improve this answer



          share|cite|improve this answer










          answered Jan 27 at 12:45









          Roman HricRoman Hric

          32115




          32115












          • $begingroup$
            Do you it does not have a certain answer ?
            $endgroup$
            – Hussien Mohamed
            Jan 27 at 20:18










          • $begingroup$
            As I wrote in the answer, take e.g. $f(x) = x^n$ on $[0,1]$, then its inverse is $g(y) = sqrt[n]{y}$ on $[0,1]$, and we have $int_{0}^{1} x^n , dx - int_{0}^{1} sqrt[n]{y} , dy = 2/n -1$.
            $endgroup$
            – Roman Hric
            Jan 28 at 17:14




















          • $begingroup$
            Do you it does not have a certain answer ?
            $endgroup$
            – Hussien Mohamed
            Jan 27 at 20:18










          • $begingroup$
            As I wrote in the answer, take e.g. $f(x) = x^n$ on $[0,1]$, then its inverse is $g(y) = sqrt[n]{y}$ on $[0,1]$, and we have $int_{0}^{1} x^n , dx - int_{0}^{1} sqrt[n]{y} , dy = 2/n -1$.
            $endgroup$
            – Roman Hric
            Jan 28 at 17:14


















          $begingroup$
          Do you it does not have a certain answer ?
          $endgroup$
          – Hussien Mohamed
          Jan 27 at 20:18




          $begingroup$
          Do you it does not have a certain answer ?
          $endgroup$
          – Hussien Mohamed
          Jan 27 at 20:18












          $begingroup$
          As I wrote in the answer, take e.g. $f(x) = x^n$ on $[0,1]$, then its inverse is $g(y) = sqrt[n]{y}$ on $[0,1]$, and we have $int_{0}^{1} x^n , dx - int_{0}^{1} sqrt[n]{y} , dy = 2/n -1$.
          $endgroup$
          – Roman Hric
          Jan 28 at 17:14






          $begingroup$
          As I wrote in the answer, take e.g. $f(x) = x^n$ on $[0,1]$, then its inverse is $g(y) = sqrt[n]{y}$ on $[0,1]$, and we have $int_{0}^{1} x^n , dx - int_{0}^{1} sqrt[n]{y} , dy = 2/n -1$.
          $endgroup$
          – Roman Hric
          Jan 28 at 17:14




















          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%2f3088461%2fintegration-of-a-function-and-its-inverse%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

          Can a sorcerer learn a 5th-level spell early by creating spell slots using the Font of Magic feature?

          ts Property 'filter' does not exist on type '{}'

          mat-slide-toggle shouldn't change it's state when I click cancel in confirmation window