Primitive of a composite functionOn the functional square root of $x^2+1$A question about the limit of a...

If the Captain's screens are out, does he switch seats with the co-pilot?

Do f-stop and exposure time perfectly cancel?

Grey hair or white hair

Peter's Strange Word

Extra alignment tab has been changed to cr. } using table, tabular and resizebox

What wound would be of little consequence to a biped but terrible for a quadruped?

"One can do his homework in the library"

Do I really need to have a scientific explanation for my premise?

2×2×2 rubik's cube corner is twisted!

Placing subfig vertically

Why is this plane circling around the Lucknow airport every day?

Subset counting for even numbers

Does splitting a potentially monolithic application into several smaller ones help prevent bugs?

Why does Captain Marvel assume the planet where she lands would recognize her credentials?

Why the color red for the Republican Party

Word for a person who has no opinion about whether god exists

Best approach to update all entries in a list that is paginated?

My story is written in English, but is set in my home country. What language should I use for the dialogue?

Examples of a statistic that is not independent of sample's distribution?

Space in array system equations

Why don't MCU characters ever seem to have language issues?

Making a sword in the stone, in a medieval world without magic

How do you like my writing?

Why would a jet engine that runs at temps excess of 2000°C burn when it crashes?



Primitive of a composite function


On the functional square root of $x^2+1$A question about the limit of a composite function: $lim_{ntoinfty}frac{sin n}{n}$How is an $n$ sphere in $m$ dimensions defined?Open subset of $mathbb{R}$ can be written as countable union of disjoint open intervals, intuition?Is 'equals' a primitive notion?Necessary and sufficient conditions for Riemann integral of $f: Esubset mathbb{R}^n to E$ exists, where $E$ is and subset of $mathbb{R}^n$Differentiable functions and one point smooth manifoldBounded $L_{mathbb{R}}$ sentence differentiation class prediction.“Any open subset of the reals is a countable union of disjoint open intervals”. Do we need the axiom of choice to prove this?Every open subset $Usubseteqmathbb{R}$ is countable union of disjoint open intervals.













0












$begingroup$


I'm reading Zorich, Mathematical Analysis I, and I found a not clear step in the paragraph on Primitives.
The particular sentence is shown below (adapted).



From the definition of primitive of a function on an interval, and from the properties of differentiation, the following relation holds:
$$int (fcirc phi)(t)phi '(t)mathrm{d}t=(Fcirc phi)(t)+c$$
where $F$ is the primitive of $f$ on an interval $Isubsetmathbb{R}$, and $phi:I_tsubsetmathbb{R} to I_xsubset I$ is a function $C^{(1)}(I_t)$.



I can not understand why it is necessary that $phi '(t)$ has to be continuous in $I_t$, what would be wrong if it were not? I can not see the problem in that case.



Thanks.










share|cite|improve this question









$endgroup$

















    0












    $begingroup$


    I'm reading Zorich, Mathematical Analysis I, and I found a not clear step in the paragraph on Primitives.
    The particular sentence is shown below (adapted).



    From the definition of primitive of a function on an interval, and from the properties of differentiation, the following relation holds:
    $$int (fcirc phi)(t)phi '(t)mathrm{d}t=(Fcirc phi)(t)+c$$
    where $F$ is the primitive of $f$ on an interval $Isubsetmathbb{R}$, and $phi:I_tsubsetmathbb{R} to I_xsubset I$ is a function $C^{(1)}(I_t)$.



    I can not understand why it is necessary that $phi '(t)$ has to be continuous in $I_t$, what would be wrong if it were not? I can not see the problem in that case.



    Thanks.










    share|cite|improve this question









    $endgroup$















      0












      0








      0





      $begingroup$


      I'm reading Zorich, Mathematical Analysis I, and I found a not clear step in the paragraph on Primitives.
      The particular sentence is shown below (adapted).



      From the definition of primitive of a function on an interval, and from the properties of differentiation, the following relation holds:
      $$int (fcirc phi)(t)phi '(t)mathrm{d}t=(Fcirc phi)(t)+c$$
      where $F$ is the primitive of $f$ on an interval $Isubsetmathbb{R}$, and $phi:I_tsubsetmathbb{R} to I_xsubset I$ is a function $C^{(1)}(I_t)$.



      I can not understand why it is necessary that $phi '(t)$ has to be continuous in $I_t$, what would be wrong if it were not? I can not see the problem in that case.



      Thanks.










      share|cite|improve this question









      $endgroup$




      I'm reading Zorich, Mathematical Analysis I, and I found a not clear step in the paragraph on Primitives.
      The particular sentence is shown below (adapted).



      From the definition of primitive of a function on an interval, and from the properties of differentiation, the following relation holds:
      $$int (fcirc phi)(t)phi '(t)mathrm{d}t=(Fcirc phi)(t)+c$$
      where $F$ is the primitive of $f$ on an interval $Isubsetmathbb{R}$, and $phi:I_tsubsetmathbb{R} to I_xsubset I$ is a function $C^{(1)}(I_t)$.



      I can not understand why it is necessary that $phi '(t)$ has to be continuous in $I_t$, what would be wrong if it were not? I can not see the problem in that case.



      Thanks.







      real-analysis indefinite-integrals function-and-relation-composition






      share|cite|improve this question













      share|cite|improve this question











      share|cite|improve this question




      share|cite|improve this question










      asked Mar 9 at 16:37









      NamelessNameless

      788




      788






















          1 Answer
          1






          active

          oldest

          votes


















          0












          $begingroup$

          Assuming the notation $int g(t),dt = G(t), tin I,$ means simply that $G'(t)=g(t),tin I,$ you are correct. You might have problems with



          $$int_a^b (fcirc phi)(t)phi'(t),dt = (Fcirc phi)(b)-(Fcirc phi)(a)),$$ however. Now that I think about it, you could have problems with that even with Zorich's formulation.






          share|cite|improve this answer









          $endgroup$













          • $begingroup$
            Thank you for the feedback.
            $endgroup$
            – Nameless
            Mar 9 at 21:45











          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%2f3141313%2fprimitive-of-a-composite-function%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$

          Assuming the notation $int g(t),dt = G(t), tin I,$ means simply that $G'(t)=g(t),tin I,$ you are correct. You might have problems with



          $$int_a^b (fcirc phi)(t)phi'(t),dt = (Fcirc phi)(b)-(Fcirc phi)(a)),$$ however. Now that I think about it, you could have problems with that even with Zorich's formulation.






          share|cite|improve this answer









          $endgroup$













          • $begingroup$
            Thank you for the feedback.
            $endgroup$
            – Nameless
            Mar 9 at 21:45
















          0












          $begingroup$

          Assuming the notation $int g(t),dt = G(t), tin I,$ means simply that $G'(t)=g(t),tin I,$ you are correct. You might have problems with



          $$int_a^b (fcirc phi)(t)phi'(t),dt = (Fcirc phi)(b)-(Fcirc phi)(a)),$$ however. Now that I think about it, you could have problems with that even with Zorich's formulation.






          share|cite|improve this answer









          $endgroup$













          • $begingroup$
            Thank you for the feedback.
            $endgroup$
            – Nameless
            Mar 9 at 21:45














          0












          0








          0





          $begingroup$

          Assuming the notation $int g(t),dt = G(t), tin I,$ means simply that $G'(t)=g(t),tin I,$ you are correct. You might have problems with



          $$int_a^b (fcirc phi)(t)phi'(t),dt = (Fcirc phi)(b)-(Fcirc phi)(a)),$$ however. Now that I think about it, you could have problems with that even with Zorich's formulation.






          share|cite|improve this answer









          $endgroup$



          Assuming the notation $int g(t),dt = G(t), tin I,$ means simply that $G'(t)=g(t),tin I,$ you are correct. You might have problems with



          $$int_a^b (fcirc phi)(t)phi'(t),dt = (Fcirc phi)(b)-(Fcirc phi)(a)),$$ however. Now that I think about it, you could have problems with that even with Zorich's formulation.







          share|cite|improve this answer












          share|cite|improve this answer



          share|cite|improve this answer










          answered Mar 9 at 17:17









          zhw.zhw.

          74.1k43175




          74.1k43175












          • $begingroup$
            Thank you for the feedback.
            $endgroup$
            – Nameless
            Mar 9 at 21:45


















          • $begingroup$
            Thank you for the feedback.
            $endgroup$
            – Nameless
            Mar 9 at 21:45
















          $begingroup$
          Thank you for the feedback.
          $endgroup$
          – Nameless
          Mar 9 at 21:45




          $begingroup$
          Thank you for the feedback.
          $endgroup$
          – Nameless
          Mar 9 at 21:45


















          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%2f3141313%2fprimitive-of-a-composite-function%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

          六本木駅

          Integral that is continuous and looks like it converges to a geometric seriesTesting if a geometric series converges by taking limit to infinitySummation of arithmetic-geometric series of higher orderGeometric series with polynomial exponentHow to Recognize a Geometric SeriesShowing an integral equality with series over the integersDiscontinuity of a series of continuous functionsReasons why a Series ConvergesSum of infinite geometric series with two terms in summationUsing geometric series for computing IntegralsLimit of geometric series sum when $r = 1$

          Joseph Lister