If $f$ is analytic on $mathbb{R}$, is it necessary that $f = sum_{n = 0}^{infty} a_{n} x^{n}$ converges for...











up vote
1
down vote

favorite












I have two questions regarding analyticity. They are pretty easy, and I think I have them correct, but I just want to make sure.



First, regarding the question in the title,
I think that it is necessary. By the definition of analyticity, we must have the power series in some radius of the function. So, if it is analytic on all of $mathbb{R}$, it must be within some radius (and thus convergent) for all of $mathbb{R}$.



Second, if $f$ is analytic, is it necessary for $text{exp}(f)$ to be analytic? Pretty sure that this again is necessary since $e^{x}$ is analytic, and the composition of analytic functions is analytic.










share|cite|improve this question







New contributor




Dillain Smith is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.




















  • This is correct.
    – Zanzi
    Nov 16 at 8:13










  • Only an accumuled point is required.
    – Zanzi
    Nov 16 at 8:14






  • 1




    Counterexample to question 1: $f(x)=frac1{1+x^2}$.
    – Kemono Chen
    Nov 16 at 8:14










  • Yes. This is correct.
    – Andrej
    Nov 16 at 8:16










  • @KemonoChen Why not an official answer even it is short?
    – Paul Frost
    Nov 16 at 8:21















up vote
1
down vote

favorite












I have two questions regarding analyticity. They are pretty easy, and I think I have them correct, but I just want to make sure.



First, regarding the question in the title,
I think that it is necessary. By the definition of analyticity, we must have the power series in some radius of the function. So, if it is analytic on all of $mathbb{R}$, it must be within some radius (and thus convergent) for all of $mathbb{R}$.



Second, if $f$ is analytic, is it necessary for $text{exp}(f)$ to be analytic? Pretty sure that this again is necessary since $e^{x}$ is analytic, and the composition of analytic functions is analytic.










share|cite|improve this question







New contributor




Dillain Smith is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.




















  • This is correct.
    – Zanzi
    Nov 16 at 8:13










  • Only an accumuled point is required.
    – Zanzi
    Nov 16 at 8:14






  • 1




    Counterexample to question 1: $f(x)=frac1{1+x^2}$.
    – Kemono Chen
    Nov 16 at 8:14










  • Yes. This is correct.
    – Andrej
    Nov 16 at 8:16










  • @KemonoChen Why not an official answer even it is short?
    – Paul Frost
    Nov 16 at 8:21













up vote
1
down vote

favorite









up vote
1
down vote

favorite











I have two questions regarding analyticity. They are pretty easy, and I think I have them correct, but I just want to make sure.



First, regarding the question in the title,
I think that it is necessary. By the definition of analyticity, we must have the power series in some radius of the function. So, if it is analytic on all of $mathbb{R}$, it must be within some radius (and thus convergent) for all of $mathbb{R}$.



Second, if $f$ is analytic, is it necessary for $text{exp}(f)$ to be analytic? Pretty sure that this again is necessary since $e^{x}$ is analytic, and the composition of analytic functions is analytic.










share|cite|improve this question







New contributor




Dillain Smith is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.











I have two questions regarding analyticity. They are pretty easy, and I think I have them correct, but I just want to make sure.



First, regarding the question in the title,
I think that it is necessary. By the definition of analyticity, we must have the power series in some radius of the function. So, if it is analytic on all of $mathbb{R}$, it must be within some radius (and thus convergent) for all of $mathbb{R}$.



Second, if $f$ is analytic, is it necessary for $text{exp}(f)$ to be analytic? Pretty sure that this again is necessary since $e^{x}$ is analytic, and the composition of analytic functions is analytic.







real-analysis functions analyticity






share|cite|improve this question







New contributor




Dillain Smith is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.











share|cite|improve this question







New contributor




Dillain Smith is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.









share|cite|improve this question




share|cite|improve this question






New contributor




Dillain Smith is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.









asked Nov 16 at 8:08









Dillain Smith

396




396




New contributor




Dillain Smith is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.





New contributor





Dillain Smith is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.






Dillain Smith is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.












  • This is correct.
    – Zanzi
    Nov 16 at 8:13










  • Only an accumuled point is required.
    – Zanzi
    Nov 16 at 8:14






  • 1




    Counterexample to question 1: $f(x)=frac1{1+x^2}$.
    – Kemono Chen
    Nov 16 at 8:14










  • Yes. This is correct.
    – Andrej
    Nov 16 at 8:16










  • @KemonoChen Why not an official answer even it is short?
    – Paul Frost
    Nov 16 at 8:21


















  • This is correct.
    – Zanzi
    Nov 16 at 8:13










  • Only an accumuled point is required.
    – Zanzi
    Nov 16 at 8:14






  • 1




    Counterexample to question 1: $f(x)=frac1{1+x^2}$.
    – Kemono Chen
    Nov 16 at 8:14










  • Yes. This is correct.
    – Andrej
    Nov 16 at 8:16










  • @KemonoChen Why not an official answer even it is short?
    – Paul Frost
    Nov 16 at 8:21
















This is correct.
– Zanzi
Nov 16 at 8:13




This is correct.
– Zanzi
Nov 16 at 8:13












Only an accumuled point is required.
– Zanzi
Nov 16 at 8:14




Only an accumuled point is required.
– Zanzi
Nov 16 at 8:14




1




1




Counterexample to question 1: $f(x)=frac1{1+x^2}$.
– Kemono Chen
Nov 16 at 8:14




Counterexample to question 1: $f(x)=frac1{1+x^2}$.
– Kemono Chen
Nov 16 at 8:14












Yes. This is correct.
– Andrej
Nov 16 at 8:16




Yes. This is correct.
– Andrej
Nov 16 at 8:16












@KemonoChen Why not an official answer even it is short?
– Paul Frost
Nov 16 at 8:21




@KemonoChen Why not an official answer even it is short?
– Paul Frost
Nov 16 at 8:21










1 Answer
1






active

oldest

votes

















up vote
2
down vote













Counterexample to question 1: $f(x)=frac1{1+x^2}$. The Maclaurin series of it does not converge everywhere is because $f$ is a meromorphic function in $mathbb{C}$.

If $f(z)$ is analytic on $mathbb{C}$, the series you gave is convergent everywhere.

Your explanation of question 2 is correct.






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: 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
    });


    }
    });






    Dillain Smith is a new contributor. Be nice, and check out our Code of Conduct.










     

    draft saved


    draft discarded


















    StackExchange.ready(
    function () {
    StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3000869%2fif-f-is-analytic-on-mathbbr-is-it-necessary-that-f-sum-n-0-inf%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








    up vote
    2
    down vote













    Counterexample to question 1: $f(x)=frac1{1+x^2}$. The Maclaurin series of it does not converge everywhere is because $f$ is a meromorphic function in $mathbb{C}$.

    If $f(z)$ is analytic on $mathbb{C}$, the series you gave is convergent everywhere.

    Your explanation of question 2 is correct.






    share|cite|improve this answer

























      up vote
      2
      down vote













      Counterexample to question 1: $f(x)=frac1{1+x^2}$. The Maclaurin series of it does not converge everywhere is because $f$ is a meromorphic function in $mathbb{C}$.

      If $f(z)$ is analytic on $mathbb{C}$, the series you gave is convergent everywhere.

      Your explanation of question 2 is correct.






      share|cite|improve this answer























        up vote
        2
        down vote










        up vote
        2
        down vote









        Counterexample to question 1: $f(x)=frac1{1+x^2}$. The Maclaurin series of it does not converge everywhere is because $f$ is a meromorphic function in $mathbb{C}$.

        If $f(z)$ is analytic on $mathbb{C}$, the series you gave is convergent everywhere.

        Your explanation of question 2 is correct.






        share|cite|improve this answer












        Counterexample to question 1: $f(x)=frac1{1+x^2}$. The Maclaurin series of it does not converge everywhere is because $f$ is a meromorphic function in $mathbb{C}$.

        If $f(z)$ is analytic on $mathbb{C}$, the series you gave is convergent everywhere.

        Your explanation of question 2 is correct.







        share|cite|improve this answer












        share|cite|improve this answer



        share|cite|improve this answer










        answered Nov 16 at 8:28









        Kemono Chen

        1,601330




        1,601330






















            Dillain Smith is a new contributor. Be nice, and check out our Code of Conduct.










             

            draft saved


            draft discarded


















            Dillain Smith is a new contributor. Be nice, and check out our Code of Conduct.













            Dillain Smith is a new contributor. Be nice, and check out our Code of Conduct.












            Dillain Smith is a new contributor. Be nice, and check out our Code of Conduct.















             


            draft saved


            draft discarded














            StackExchange.ready(
            function () {
            StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3000869%2fif-f-is-analytic-on-mathbbr-is-it-necessary-that-f-sum-n-0-inf%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

            Quarter-circle Tiles

            build a pushdown automaton that recognizes the reverse language of a given pushdown automaton?

            Mont Emei