Lagrange’s Remainder Theorem

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











up vote
1
down vote

favorite













Using only Lagrange’s Remainder Theorem (and no references
to Abel’s Theorem) prove $1 − 1/2 +1/3 − 1/4 +1/5 − 1/6 + ··· = ln(2)$.




As I understand, the Lagrange Theorem states, that if the remainder $f^(n+1)(c)x^n+1/(n+1)!$ converge than the series converge uniformly.



How can I use it here? What is $x$ in this case? I have that $f(x) = ln(x)$ and at $x=2$ it converges, is it right?










share|cite|improve this question























  • No, you take the function $ ln(x+1) $ and take the Taylor-expansion at $ x=1 $, where it still converges.
    – Peter
    Sep 6 at 11:28











  • Since the derivates are bounded in the interval $[0,1]$, the taylor-expansion converges pointwise to the function. And the given series is alternating and the absolute values strictly decrease with limit $0$. Such series always converge.
    – Peter
    Sep 6 at 11:36














up vote
1
down vote

favorite













Using only Lagrange’s Remainder Theorem (and no references
to Abel’s Theorem) prove $1 − 1/2 +1/3 − 1/4 +1/5 − 1/6 + ··· = ln(2)$.




As I understand, the Lagrange Theorem states, that if the remainder $f^(n+1)(c)x^n+1/(n+1)!$ converge than the series converge uniformly.



How can I use it here? What is $x$ in this case? I have that $f(x) = ln(x)$ and at $x=2$ it converges, is it right?










share|cite|improve this question























  • No, you take the function $ ln(x+1) $ and take the Taylor-expansion at $ x=1 $, where it still converges.
    – Peter
    Sep 6 at 11:28











  • Since the derivates are bounded in the interval $[0,1]$, the taylor-expansion converges pointwise to the function. And the given series is alternating and the absolute values strictly decrease with limit $0$. Such series always converge.
    – Peter
    Sep 6 at 11:36












up vote
1
down vote

favorite









up vote
1
down vote

favorite












Using only Lagrange’s Remainder Theorem (and no references
to Abel’s Theorem) prove $1 − 1/2 +1/3 − 1/4 +1/5 − 1/6 + ··· = ln(2)$.




As I understand, the Lagrange Theorem states, that if the remainder $f^(n+1)(c)x^n+1/(n+1)!$ converge than the series converge uniformly.



How can I use it here? What is $x$ in this case? I have that $f(x) = ln(x)$ and at $x=2$ it converges, is it right?










share|cite|improve this question
















Using only Lagrange’s Remainder Theorem (and no references
to Abel’s Theorem) prove $1 − 1/2 +1/3 − 1/4 +1/5 − 1/6 + ··· = ln(2)$.




As I understand, the Lagrange Theorem states, that if the remainder $f^(n+1)(c)x^n+1/(n+1)!$ converge than the series converge uniformly.



How can I use it here? What is $x$ in this case? I have that $f(x) = ln(x)$ and at $x=2$ it converges, is it right?







analysis convergence






share|cite|improve this question















share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








edited Sep 6 at 11:31









Peter

45.6k1039123




45.6k1039123










asked Sep 6 at 10:15









Sargis Iskandaryan

494112




494112











  • No, you take the function $ ln(x+1) $ and take the Taylor-expansion at $ x=1 $, where it still converges.
    – Peter
    Sep 6 at 11:28











  • Since the derivates are bounded in the interval $[0,1]$, the taylor-expansion converges pointwise to the function. And the given series is alternating and the absolute values strictly decrease with limit $0$. Such series always converge.
    – Peter
    Sep 6 at 11:36
















  • No, you take the function $ ln(x+1) $ and take the Taylor-expansion at $ x=1 $, where it still converges.
    – Peter
    Sep 6 at 11:28











  • Since the derivates are bounded in the interval $[0,1]$, the taylor-expansion converges pointwise to the function. And the given series is alternating and the absolute values strictly decrease with limit $0$. Such series always converge.
    – Peter
    Sep 6 at 11:36















No, you take the function $ ln(x+1) $ and take the Taylor-expansion at $ x=1 $, where it still converges.
– Peter
Sep 6 at 11:28





No, you take the function $ ln(x+1) $ and take the Taylor-expansion at $ x=1 $, where it still converges.
– Peter
Sep 6 at 11:28













Since the derivates are bounded in the interval $[0,1]$, the taylor-expansion converges pointwise to the function. And the given series is alternating and the absolute values strictly decrease with limit $0$. Such series always converge.
– Peter
Sep 6 at 11:36




Since the derivates are bounded in the interval $[0,1]$, the taylor-expansion converges pointwise to the function. And the given series is alternating and the absolute values strictly decrease with limit $0$. Such series always converge.
– Peter
Sep 6 at 11:36










1 Answer
1






active

oldest

votes

















up vote
0
down vote













Look at the Taylor polynomial of $f(x) = ln x$ at $a = 1$ with the Lagrange form of the remainder. Since $f$ is infinitely differentiable on $(0,infty)$, for any $n ge 1$ and for any $x >0$ you have



$$f(x) = sum_k=0^n fracf^(k)(1)k!(x-1)^k + fracf^n+1(xi_n)(n+1)! (x-1)^n+1$$
for some $xi_n$in between $1$ and $x$. Since $f(1) = 0$ and
$$f^(k)(x) = (-1)^k-1 frac(k-1)!x^k$$ for all $x > 0$ you can evaluate the above expression becomes
$$ln x = sum_k=1^nfrac(-1)^kk (x-1)^k + frac(-1)^n(n+1) xi_n^n+1(x-1)^n+1.$$



If $x=2$ then $xi_n ge 1$ so that
$$ left| ln x - sum_k=1^nfrac(-1)^kk (x-1)^k right| le frac1n+1.$$
Now take $n to infty$.






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%2f2907302%2flagrange-s-remainder-theorem%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
    0
    down vote













    Look at the Taylor polynomial of $f(x) = ln x$ at $a = 1$ with the Lagrange form of the remainder. Since $f$ is infinitely differentiable on $(0,infty)$, for any $n ge 1$ and for any $x >0$ you have



    $$f(x) = sum_k=0^n fracf^(k)(1)k!(x-1)^k + fracf^n+1(xi_n)(n+1)! (x-1)^n+1$$
    for some $xi_n$in between $1$ and $x$. Since $f(1) = 0$ and
    $$f^(k)(x) = (-1)^k-1 frac(k-1)!x^k$$ for all $x > 0$ you can evaluate the above expression becomes
    $$ln x = sum_k=1^nfrac(-1)^kk (x-1)^k + frac(-1)^n(n+1) xi_n^n+1(x-1)^n+1.$$



    If $x=2$ then $xi_n ge 1$ so that
    $$ left| ln x - sum_k=1^nfrac(-1)^kk (x-1)^k right| le frac1n+1.$$
    Now take $n to infty$.






    share|cite|improve this answer
























      up vote
      0
      down vote













      Look at the Taylor polynomial of $f(x) = ln x$ at $a = 1$ with the Lagrange form of the remainder. Since $f$ is infinitely differentiable on $(0,infty)$, for any $n ge 1$ and for any $x >0$ you have



      $$f(x) = sum_k=0^n fracf^(k)(1)k!(x-1)^k + fracf^n+1(xi_n)(n+1)! (x-1)^n+1$$
      for some $xi_n$in between $1$ and $x$. Since $f(1) = 0$ and
      $$f^(k)(x) = (-1)^k-1 frac(k-1)!x^k$$ for all $x > 0$ you can evaluate the above expression becomes
      $$ln x = sum_k=1^nfrac(-1)^kk (x-1)^k + frac(-1)^n(n+1) xi_n^n+1(x-1)^n+1.$$



      If $x=2$ then $xi_n ge 1$ so that
      $$ left| ln x - sum_k=1^nfrac(-1)^kk (x-1)^k right| le frac1n+1.$$
      Now take $n to infty$.






      share|cite|improve this answer






















        up vote
        0
        down vote










        up vote
        0
        down vote









        Look at the Taylor polynomial of $f(x) = ln x$ at $a = 1$ with the Lagrange form of the remainder. Since $f$ is infinitely differentiable on $(0,infty)$, for any $n ge 1$ and for any $x >0$ you have



        $$f(x) = sum_k=0^n fracf^(k)(1)k!(x-1)^k + fracf^n+1(xi_n)(n+1)! (x-1)^n+1$$
        for some $xi_n$in between $1$ and $x$. Since $f(1) = 0$ and
        $$f^(k)(x) = (-1)^k-1 frac(k-1)!x^k$$ for all $x > 0$ you can evaluate the above expression becomes
        $$ln x = sum_k=1^nfrac(-1)^kk (x-1)^k + frac(-1)^n(n+1) xi_n^n+1(x-1)^n+1.$$



        If $x=2$ then $xi_n ge 1$ so that
        $$ left| ln x - sum_k=1^nfrac(-1)^kk (x-1)^k right| le frac1n+1.$$
        Now take $n to infty$.






        share|cite|improve this answer












        Look at the Taylor polynomial of $f(x) = ln x$ at $a = 1$ with the Lagrange form of the remainder. Since $f$ is infinitely differentiable on $(0,infty)$, for any $n ge 1$ and for any $x >0$ you have



        $$f(x) = sum_k=0^n fracf^(k)(1)k!(x-1)^k + fracf^n+1(xi_n)(n+1)! (x-1)^n+1$$
        for some $xi_n$in between $1$ and $x$. Since $f(1) = 0$ and
        $$f^(k)(x) = (-1)^k-1 frac(k-1)!x^k$$ for all $x > 0$ you can evaluate the above expression becomes
        $$ln x = sum_k=1^nfrac(-1)^kk (x-1)^k + frac(-1)^n(n+1) xi_n^n+1(x-1)^n+1.$$



        If $x=2$ then $xi_n ge 1$ so that
        $$ left| ln x - sum_k=1^nfrac(-1)^kk (x-1)^k right| le frac1n+1.$$
        Now take $n to infty$.







        share|cite|improve this answer












        share|cite|improve this answer



        share|cite|improve this answer










        answered Sep 6 at 14:15









        Umberto P.

        35.4k12860




        35.4k12860



























             

            draft saved


            draft discarded















































             


            draft saved


            draft discarded














            StackExchange.ready(
            function ()
            StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2907302%2flagrange-s-remainder-theorem%23new-answer', 'question_page');

            );

            Post as a guest













































































            這個網誌中的熱門文章

            Is there any way to eliminate the singular point to solve this integral by hand or by approximations?

            Why am i infinitely getting the same tweet with the Twitter Search API?

            Carbon dioxide