Assume $f$ is continuous on $[a,b]$ and differentiable on $(a,b)$.

The name of the pictureThe name of the pictureThe name of the pictureClash Royale CLAN TAG#URR8PPP











up vote
1
down vote

favorite












Assume $f$ is continuous on $[a,b]$ and differientiable on $(a,b)$. Also $lim_xto a^+f'(x) $ exists. Then the question is whether $f$ has a right derivative at point $x=a$.



Here is my tries.



$$lim_xto a^+fracf'(x)-f'(a)x-a=lim_tto 0^+fracf'(a+t)-f'(a)t=k $$ for $lim_xto a^+f'(x) $ exists.

Then consider
$$lim_tto 0^+ fracf(a+t)-f(a)t=lim_tto 0^+ f'(xi)=k$$
which $xi in(a,a+t)$.

Now we can conclude $f$ has a right derivative at point $x=a$.

Am I right?







share|cite|improve this question





















  • As with just about any basic question about derivatives: Mean Value Theorem.
    – David C. Ullrich
    Jul 20 at 17:04











  • @Arthur Sorry,I have edited it. Please have a look.
    – LOIS
    Jul 20 at 17:17














up vote
1
down vote

favorite












Assume $f$ is continuous on $[a,b]$ and differientiable on $(a,b)$. Also $lim_xto a^+f'(x) $ exists. Then the question is whether $f$ has a right derivative at point $x=a$.



Here is my tries.



$$lim_xto a^+fracf'(x)-f'(a)x-a=lim_tto 0^+fracf'(a+t)-f'(a)t=k $$ for $lim_xto a^+f'(x) $ exists.

Then consider
$$lim_tto 0^+ fracf(a+t)-f(a)t=lim_tto 0^+ f'(xi)=k$$
which $xi in(a,a+t)$.

Now we can conclude $f$ has a right derivative at point $x=a$.

Am I right?







share|cite|improve this question





















  • As with just about any basic question about derivatives: Mean Value Theorem.
    – David C. Ullrich
    Jul 20 at 17:04











  • @Arthur Sorry,I have edited it. Please have a look.
    – LOIS
    Jul 20 at 17:17












up vote
1
down vote

favorite









up vote
1
down vote

favorite











Assume $f$ is continuous on $[a,b]$ and differientiable on $(a,b)$. Also $lim_xto a^+f'(x) $ exists. Then the question is whether $f$ has a right derivative at point $x=a$.



Here is my tries.



$$lim_xto a^+fracf'(x)-f'(a)x-a=lim_tto 0^+fracf'(a+t)-f'(a)t=k $$ for $lim_xto a^+f'(x) $ exists.

Then consider
$$lim_tto 0^+ fracf(a+t)-f(a)t=lim_tto 0^+ f'(xi)=k$$
which $xi in(a,a+t)$.

Now we can conclude $f$ has a right derivative at point $x=a$.

Am I right?







share|cite|improve this question













Assume $f$ is continuous on $[a,b]$ and differientiable on $(a,b)$. Also $lim_xto a^+f'(x) $ exists. Then the question is whether $f$ has a right derivative at point $x=a$.



Here is my tries.



$$lim_xto a^+fracf'(x)-f'(a)x-a=lim_tto 0^+fracf'(a+t)-f'(a)t=k $$ for $lim_xto a^+f'(x) $ exists.

Then consider
$$lim_tto 0^+ fracf(a+t)-f(a)t=lim_tto 0^+ f'(xi)=k$$
which $xi in(a,a+t)$.

Now we can conclude $f$ has a right derivative at point $x=a$.

Am I right?









share|cite|improve this question












share|cite|improve this question




share|cite|improve this question








edited Jul 20 at 17:17









Ethan Bolker

35.7k54199




35.7k54199









asked Jul 20 at 16:54









LOIS

947




947











  • As with just about any basic question about derivatives: Mean Value Theorem.
    – David C. Ullrich
    Jul 20 at 17:04











  • @Arthur Sorry,I have edited it. Please have a look.
    – LOIS
    Jul 20 at 17:17
















  • As with just about any basic question about derivatives: Mean Value Theorem.
    – David C. Ullrich
    Jul 20 at 17:04











  • @Arthur Sorry,I have edited it. Please have a look.
    – LOIS
    Jul 20 at 17:17















As with just about any basic question about derivatives: Mean Value Theorem.
– David C. Ullrich
Jul 20 at 17:04





As with just about any basic question about derivatives: Mean Value Theorem.
– David C. Ullrich
Jul 20 at 17:04













@Arthur Sorry,I have edited it. Please have a look.
– LOIS
Jul 20 at 17:17




@Arthur Sorry,I have edited it. Please have a look.
– LOIS
Jul 20 at 17:17










1 Answer
1






active

oldest

votes

















up vote
4
down vote













This is a basic question on MVT.



Let $f$ be continuous on $[a,b]$ and differentiable on $(a,b)$ such that $
lim_x rightarrow a^+f'(x)$ exists. As the limit exists, for every sequence that goes downward to $a$, $f'$ converges to that value.



Then we see on the interval $(a,b)$ for any sequence $h_n$ such that $h_n rightarrow 0$ after some $N$, we have that $(a,a+h_n) subset (a,b)$



Consider $a + h_k_k=n^infty$. Then by MVT there is some $zeta in (a,a+h_k)$ such that beginalign fracf(a+h_k)-f(a)h_k = f'(zeta) endalign Then we see as $k rightarrow infty$ beginalign lim_k rightarrow infty fracf(a+h_k)-f(a)h_k rightarrow lim_x rightarrow a^+ f'(x) endalign
where this is justified by the limit existing.And as this was an arbitrary subsequence that converges to $a$, we obtain the claim.






share|cite|improve this answer





















    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: false,
    showLowRepImageUploadWarning: true,
    reputationToPostImages: 10,
    bindNavPrevention: true,
    postfix: "",
    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%2f2857833%2fassume-f-is-continuous-on-a-b-and-differentiable-on-a-b%23new-answer', 'question_page');

    );

    Post as a guest






























    1 Answer
    1






    active

    oldest

    votes








    1 Answer
    1






    active

    oldest

    votes









    active

    oldest

    votes






    active

    oldest

    votes








    up vote
    4
    down vote













    This is a basic question on MVT.



    Let $f$ be continuous on $[a,b]$ and differentiable on $(a,b)$ such that $
    lim_x rightarrow a^+f'(x)$ exists. As the limit exists, for every sequence that goes downward to $a$, $f'$ converges to that value.



    Then we see on the interval $(a,b)$ for any sequence $h_n$ such that $h_n rightarrow 0$ after some $N$, we have that $(a,a+h_n) subset (a,b)$



    Consider $a + h_k_k=n^infty$. Then by MVT there is some $zeta in (a,a+h_k)$ such that beginalign fracf(a+h_k)-f(a)h_k = f'(zeta) endalign Then we see as $k rightarrow infty$ beginalign lim_k rightarrow infty fracf(a+h_k)-f(a)h_k rightarrow lim_x rightarrow a^+ f'(x) endalign
    where this is justified by the limit existing.And as this was an arbitrary subsequence that converges to $a$, we obtain the claim.






    share|cite|improve this answer

























      up vote
      4
      down vote













      This is a basic question on MVT.



      Let $f$ be continuous on $[a,b]$ and differentiable on $(a,b)$ such that $
      lim_x rightarrow a^+f'(x)$ exists. As the limit exists, for every sequence that goes downward to $a$, $f'$ converges to that value.



      Then we see on the interval $(a,b)$ for any sequence $h_n$ such that $h_n rightarrow 0$ after some $N$, we have that $(a,a+h_n) subset (a,b)$



      Consider $a + h_k_k=n^infty$. Then by MVT there is some $zeta in (a,a+h_k)$ such that beginalign fracf(a+h_k)-f(a)h_k = f'(zeta) endalign Then we see as $k rightarrow infty$ beginalign lim_k rightarrow infty fracf(a+h_k)-f(a)h_k rightarrow lim_x rightarrow a^+ f'(x) endalign
      where this is justified by the limit existing.And as this was an arbitrary subsequence that converges to $a$, we obtain the claim.






      share|cite|improve this answer























        up vote
        4
        down vote










        up vote
        4
        down vote









        This is a basic question on MVT.



        Let $f$ be continuous on $[a,b]$ and differentiable on $(a,b)$ such that $
        lim_x rightarrow a^+f'(x)$ exists. As the limit exists, for every sequence that goes downward to $a$, $f'$ converges to that value.



        Then we see on the interval $(a,b)$ for any sequence $h_n$ such that $h_n rightarrow 0$ after some $N$, we have that $(a,a+h_n) subset (a,b)$



        Consider $a + h_k_k=n^infty$. Then by MVT there is some $zeta in (a,a+h_k)$ such that beginalign fracf(a+h_k)-f(a)h_k = f'(zeta) endalign Then we see as $k rightarrow infty$ beginalign lim_k rightarrow infty fracf(a+h_k)-f(a)h_k rightarrow lim_x rightarrow a^+ f'(x) endalign
        where this is justified by the limit existing.And as this was an arbitrary subsequence that converges to $a$, we obtain the claim.






        share|cite|improve this answer













        This is a basic question on MVT.



        Let $f$ be continuous on $[a,b]$ and differentiable on $(a,b)$ such that $
        lim_x rightarrow a^+f'(x)$ exists. As the limit exists, for every sequence that goes downward to $a$, $f'$ converges to that value.



        Then we see on the interval $(a,b)$ for any sequence $h_n$ such that $h_n rightarrow 0$ after some $N$, we have that $(a,a+h_n) subset (a,b)$



        Consider $a + h_k_k=n^infty$. Then by MVT there is some $zeta in (a,a+h_k)$ such that beginalign fracf(a+h_k)-f(a)h_k = f'(zeta) endalign Then we see as $k rightarrow infty$ beginalign lim_k rightarrow infty fracf(a+h_k)-f(a)h_k rightarrow lim_x rightarrow a^+ f'(x) endalign
        where this is justified by the limit existing.And as this was an arbitrary subsequence that converges to $a$, we obtain the claim.







        share|cite|improve this answer













        share|cite|improve this answer



        share|cite|improve this answer











        answered Jul 20 at 17:24









        Raymond Chu

        1,03719




        1,03719






















             

            draft saved


            draft discarded


























             


            draft saved


            draft discarded














            StackExchange.ready(
            function ()
            StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2857833%2fassume-f-is-continuous-on-a-b-and-differentiable-on-a-b%23new-answer', 'question_page');

            );

            Post as a guest













































































            Comments

            Popular posts from this blog

            Color the edges and diagonals of a regular polygon

            Relationship between determinant of matrix and determinant of adjoint?

            What is the equation of a 3D cone with generalised tilt?