Can you convert a taylor series into a power series while avoiding singularities/discontinuities that result...












1












$begingroup$


Suppose one follows the Taylor series formula for a function, defining a function as $$ sum_{n=0}^{ infty} frac{f^{n}(x)|_{x=a}}{n!}(x-a)^n.$$



Then, suppose you want this function to instead be defined as a power series since that is a little bit simpler.



You might think to simply take $a=0$, except there are plenty of functions like $ln(x)$ or $sqrt{x}$ which don't have a derivative at $x=0$. In such a case, you'd have to pick $a$ to be something else, so how can you convert that function's Taylor series to a power series that results in just $x^n$ instead of $(x-a)^n$?










share|cite|improve this question











$endgroup$

















    1












    $begingroup$


    Suppose one follows the Taylor series formula for a function, defining a function as $$ sum_{n=0}^{ infty} frac{f^{n}(x)|_{x=a}}{n!}(x-a)^n.$$



    Then, suppose you want this function to instead be defined as a power series since that is a little bit simpler.



    You might think to simply take $a=0$, except there are plenty of functions like $ln(x)$ or $sqrt{x}$ which don't have a derivative at $x=0$. In such a case, you'd have to pick $a$ to be something else, so how can you convert that function's Taylor series to a power series that results in just $x^n$ instead of $(x-a)^n$?










    share|cite|improve this question











    $endgroup$















      1












      1








      1





      $begingroup$


      Suppose one follows the Taylor series formula for a function, defining a function as $$ sum_{n=0}^{ infty} frac{f^{n}(x)|_{x=a}}{n!}(x-a)^n.$$



      Then, suppose you want this function to instead be defined as a power series since that is a little bit simpler.



      You might think to simply take $a=0$, except there are plenty of functions like $ln(x)$ or $sqrt{x}$ which don't have a derivative at $x=0$. In such a case, you'd have to pick $a$ to be something else, so how can you convert that function's Taylor series to a power series that results in just $x^n$ instead of $(x-a)^n$?










      share|cite|improve this question











      $endgroup$




      Suppose one follows the Taylor series formula for a function, defining a function as $$ sum_{n=0}^{ infty} frac{f^{n}(x)|_{x=a}}{n!}(x-a)^n.$$



      Then, suppose you want this function to instead be defined as a power series since that is a little bit simpler.



      You might think to simply take $a=0$, except there are plenty of functions like $ln(x)$ or $sqrt{x}$ which don't have a derivative at $x=0$. In such a case, you'd have to pick $a$ to be something else, so how can you convert that function's Taylor series to a power series that results in just $x^n$ instead of $(x-a)^n$?







      power-series taylor-expansion






      share|cite|improve this question















      share|cite|improve this question













      share|cite|improve this question




      share|cite|improve this question








      edited Feb 2 at 3:19







      Vane Voe

















      asked Feb 2 at 3:08









      Vane VoeVane Voe

      396




      396






















          1 Answer
          1






          active

          oldest

          votes


















          2












          $begingroup$

          The simple answer is that you can't. If I would write $$ln(x)=sum_{n=0}^infty a_nx^n$$ then obviously I should be able to compute the derivative at $0$. $$frac d{dx} ln x=frac 1x$$ This diverges at $0$. Taking the derivative of the right hand side you get $$sum_{n=1}^infty na_n x^{n-1}$$ In the limit $xto 0$ you get $a_1$, which is finite.



          You might ask "but what if I just expand all the $(x-x_0)^n$ terms in the Taylor series?" What will happen is that you get for the all terms $x^n$ coefficients that can be written as $sum_j^infty b_j(n) x_0^j$, but there is no guarantee that these series converge.






          share|cite|improve this answer









          $endgroup$













          • $begingroup$
            Isn't there some way to express it as a power series but then just restrict the domain to exclude anything at or less than zero?
            $endgroup$
            – Vane Voe
            Feb 2 at 3:34










          • $begingroup$
            If the two expressions are the same for an infinite number of $x$ points, then the coefficients of $x^n$ must all be the same. I think (just a hunch) that if you write such a series it should diverge everywhere outside of the interval of convergence. But the power series converges at $0$ to $a_0$.
            $endgroup$
            – Andrei
            Feb 2 at 3:47










          • $begingroup$
            Okay...so how would one go about writing a power series that converges everywhere outside of some $a_0$?
            $endgroup$
            – Vane Voe
            Feb 2 at 4:05










          • $begingroup$
            @VaneVoe: I'd say you need Laurent series for that.
            $endgroup$
            – zipirovich
            Feb 2 at 5:25










          • $begingroup$
            So I somehow need to take complex integrals for a purely real function in the real plane? That doesn't quite sound right.
            $endgroup$
            – Vane Voe
            Feb 2 at 5:26














          Your Answer








          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%2f3096991%2fcan-you-convert-a-taylor-series-into-a-power-series-while-avoiding-singularities%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









          2












          $begingroup$

          The simple answer is that you can't. If I would write $$ln(x)=sum_{n=0}^infty a_nx^n$$ then obviously I should be able to compute the derivative at $0$. $$frac d{dx} ln x=frac 1x$$ This diverges at $0$. Taking the derivative of the right hand side you get $$sum_{n=1}^infty na_n x^{n-1}$$ In the limit $xto 0$ you get $a_1$, which is finite.



          You might ask "but what if I just expand all the $(x-x_0)^n$ terms in the Taylor series?" What will happen is that you get for the all terms $x^n$ coefficients that can be written as $sum_j^infty b_j(n) x_0^j$, but there is no guarantee that these series converge.






          share|cite|improve this answer









          $endgroup$













          • $begingroup$
            Isn't there some way to express it as a power series but then just restrict the domain to exclude anything at or less than zero?
            $endgroup$
            – Vane Voe
            Feb 2 at 3:34










          • $begingroup$
            If the two expressions are the same for an infinite number of $x$ points, then the coefficients of $x^n$ must all be the same. I think (just a hunch) that if you write such a series it should diverge everywhere outside of the interval of convergence. But the power series converges at $0$ to $a_0$.
            $endgroup$
            – Andrei
            Feb 2 at 3:47










          • $begingroup$
            Okay...so how would one go about writing a power series that converges everywhere outside of some $a_0$?
            $endgroup$
            – Vane Voe
            Feb 2 at 4:05










          • $begingroup$
            @VaneVoe: I'd say you need Laurent series for that.
            $endgroup$
            – zipirovich
            Feb 2 at 5:25










          • $begingroup$
            So I somehow need to take complex integrals for a purely real function in the real plane? That doesn't quite sound right.
            $endgroup$
            – Vane Voe
            Feb 2 at 5:26


















          2












          $begingroup$

          The simple answer is that you can't. If I would write $$ln(x)=sum_{n=0}^infty a_nx^n$$ then obviously I should be able to compute the derivative at $0$. $$frac d{dx} ln x=frac 1x$$ This diverges at $0$. Taking the derivative of the right hand side you get $$sum_{n=1}^infty na_n x^{n-1}$$ In the limit $xto 0$ you get $a_1$, which is finite.



          You might ask "but what if I just expand all the $(x-x_0)^n$ terms in the Taylor series?" What will happen is that you get for the all terms $x^n$ coefficients that can be written as $sum_j^infty b_j(n) x_0^j$, but there is no guarantee that these series converge.






          share|cite|improve this answer









          $endgroup$













          • $begingroup$
            Isn't there some way to express it as a power series but then just restrict the domain to exclude anything at or less than zero?
            $endgroup$
            – Vane Voe
            Feb 2 at 3:34










          • $begingroup$
            If the two expressions are the same for an infinite number of $x$ points, then the coefficients of $x^n$ must all be the same. I think (just a hunch) that if you write such a series it should diverge everywhere outside of the interval of convergence. But the power series converges at $0$ to $a_0$.
            $endgroup$
            – Andrei
            Feb 2 at 3:47










          • $begingroup$
            Okay...so how would one go about writing a power series that converges everywhere outside of some $a_0$?
            $endgroup$
            – Vane Voe
            Feb 2 at 4:05










          • $begingroup$
            @VaneVoe: I'd say you need Laurent series for that.
            $endgroup$
            – zipirovich
            Feb 2 at 5:25










          • $begingroup$
            So I somehow need to take complex integrals for a purely real function in the real plane? That doesn't quite sound right.
            $endgroup$
            – Vane Voe
            Feb 2 at 5:26
















          2












          2








          2





          $begingroup$

          The simple answer is that you can't. If I would write $$ln(x)=sum_{n=0}^infty a_nx^n$$ then obviously I should be able to compute the derivative at $0$. $$frac d{dx} ln x=frac 1x$$ This diverges at $0$. Taking the derivative of the right hand side you get $$sum_{n=1}^infty na_n x^{n-1}$$ In the limit $xto 0$ you get $a_1$, which is finite.



          You might ask "but what if I just expand all the $(x-x_0)^n$ terms in the Taylor series?" What will happen is that you get for the all terms $x^n$ coefficients that can be written as $sum_j^infty b_j(n) x_0^j$, but there is no guarantee that these series converge.






          share|cite|improve this answer









          $endgroup$



          The simple answer is that you can't. If I would write $$ln(x)=sum_{n=0}^infty a_nx^n$$ then obviously I should be able to compute the derivative at $0$. $$frac d{dx} ln x=frac 1x$$ This diverges at $0$. Taking the derivative of the right hand side you get $$sum_{n=1}^infty na_n x^{n-1}$$ In the limit $xto 0$ you get $a_1$, which is finite.



          You might ask "but what if I just expand all the $(x-x_0)^n$ terms in the Taylor series?" What will happen is that you get for the all terms $x^n$ coefficients that can be written as $sum_j^infty b_j(n) x_0^j$, but there is no guarantee that these series converge.







          share|cite|improve this answer












          share|cite|improve this answer



          share|cite|improve this answer










          answered Feb 2 at 3:27









          AndreiAndrei

          13.7k21230




          13.7k21230












          • $begingroup$
            Isn't there some way to express it as a power series but then just restrict the domain to exclude anything at or less than zero?
            $endgroup$
            – Vane Voe
            Feb 2 at 3:34










          • $begingroup$
            If the two expressions are the same for an infinite number of $x$ points, then the coefficients of $x^n$ must all be the same. I think (just a hunch) that if you write such a series it should diverge everywhere outside of the interval of convergence. But the power series converges at $0$ to $a_0$.
            $endgroup$
            – Andrei
            Feb 2 at 3:47










          • $begingroup$
            Okay...so how would one go about writing a power series that converges everywhere outside of some $a_0$?
            $endgroup$
            – Vane Voe
            Feb 2 at 4:05










          • $begingroup$
            @VaneVoe: I'd say you need Laurent series for that.
            $endgroup$
            – zipirovich
            Feb 2 at 5:25










          • $begingroup$
            So I somehow need to take complex integrals for a purely real function in the real plane? That doesn't quite sound right.
            $endgroup$
            – Vane Voe
            Feb 2 at 5:26




















          • $begingroup$
            Isn't there some way to express it as a power series but then just restrict the domain to exclude anything at or less than zero?
            $endgroup$
            – Vane Voe
            Feb 2 at 3:34










          • $begingroup$
            If the two expressions are the same for an infinite number of $x$ points, then the coefficients of $x^n$ must all be the same. I think (just a hunch) that if you write such a series it should diverge everywhere outside of the interval of convergence. But the power series converges at $0$ to $a_0$.
            $endgroup$
            – Andrei
            Feb 2 at 3:47










          • $begingroup$
            Okay...so how would one go about writing a power series that converges everywhere outside of some $a_0$?
            $endgroup$
            – Vane Voe
            Feb 2 at 4:05










          • $begingroup$
            @VaneVoe: I'd say you need Laurent series for that.
            $endgroup$
            – zipirovich
            Feb 2 at 5:25










          • $begingroup$
            So I somehow need to take complex integrals for a purely real function in the real plane? That doesn't quite sound right.
            $endgroup$
            – Vane Voe
            Feb 2 at 5:26


















          $begingroup$
          Isn't there some way to express it as a power series but then just restrict the domain to exclude anything at or less than zero?
          $endgroup$
          – Vane Voe
          Feb 2 at 3:34




          $begingroup$
          Isn't there some way to express it as a power series but then just restrict the domain to exclude anything at or less than zero?
          $endgroup$
          – Vane Voe
          Feb 2 at 3:34












          $begingroup$
          If the two expressions are the same for an infinite number of $x$ points, then the coefficients of $x^n$ must all be the same. I think (just a hunch) that if you write such a series it should diverge everywhere outside of the interval of convergence. But the power series converges at $0$ to $a_0$.
          $endgroup$
          – Andrei
          Feb 2 at 3:47




          $begingroup$
          If the two expressions are the same for an infinite number of $x$ points, then the coefficients of $x^n$ must all be the same. I think (just a hunch) that if you write such a series it should diverge everywhere outside of the interval of convergence. But the power series converges at $0$ to $a_0$.
          $endgroup$
          – Andrei
          Feb 2 at 3:47












          $begingroup$
          Okay...so how would one go about writing a power series that converges everywhere outside of some $a_0$?
          $endgroup$
          – Vane Voe
          Feb 2 at 4:05




          $begingroup$
          Okay...so how would one go about writing a power series that converges everywhere outside of some $a_0$?
          $endgroup$
          – Vane Voe
          Feb 2 at 4:05












          $begingroup$
          @VaneVoe: I'd say you need Laurent series for that.
          $endgroup$
          – zipirovich
          Feb 2 at 5:25




          $begingroup$
          @VaneVoe: I'd say you need Laurent series for that.
          $endgroup$
          – zipirovich
          Feb 2 at 5:25












          $begingroup$
          So I somehow need to take complex integrals for a purely real function in the real plane? That doesn't quite sound right.
          $endgroup$
          – Vane Voe
          Feb 2 at 5:26






          $begingroup$
          So I somehow need to take complex integrals for a purely real function in the real plane? That doesn't quite sound right.
          $endgroup$
          – Vane Voe
          Feb 2 at 5:26




















          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%2f3096991%2fcan-you-convert-a-taylor-series-into-a-power-series-while-avoiding-singularities%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

          The term 'EXEC' is not recognized as the name of a cmdlet Powershell

          NPM command prompt closes immediately [closed]

          Error binding properties and functions in emscripten