Arsthbt

Suffixes -unt and -ut-

Why was the small council so happy for Tyrion to become the Master of Coin?

How to get the available space of $HOME as a variable in shell scripting?

Has the BBC provided arguments for saying Brexit being cancelled is unlikely?

Representing power series as a function - what to do with the constant after integration?

Can I interfere when another PC is about to be attacked?

Do Phineas and Ferb ever actually get busted in real time?

Symplectic equivalent of commuting matrices

Why has Russell's definition of numbers using equivalence classes been finally abandoned? ( If it has actually been abandoned).

Why don't electron-positron collisions release infinite energy?

"You are your self first supporter", a more proper way to say it

How did the USSR manage to innovate in an environment characterized by government censorship and high bureaucracy?

What typically incentivizes a professor to change jobs to a lower ranking university?

Download, install and reboot computer at night if needed

Is the month field really deprecated?

Why CLRS example on residual networks does not follows its formula?

How to report a triplet of septets in NMR tabulation?

DOS, create pipe for stdin/stdout of command.com(or 4dos.com) in C or Batch?

A newer friend of my brother's gave him a load of baseball cards that are supposedly extremely valuable. Is this a scam?

How long does it take to type this?

I’m planning on buying a laser printer but concerned about the life cycle of toner in the machine

Why is the design of haulage companies so “special”?

Prevent a directory in /tmp from being deleted

How old can references or sources in a thesis be?

Representing power series as a function - what to do with the constant after integration?

What does it really mean for the power series of a function to converge?Maclaurin Series with Power in Denominator?Function that Represents Divergent Power Series?Finding the power series of a logarithmic function.Writing $frac11 + w + w^2$ as a power series and finding the ROCPower series expansion of a complex functionPower series representing a rational functionFinding a function corresponding to the complex power seriesFind the sum for the power serieshow to find a function expression of a power series?

1

$begingroup$

This power series $$f(x)=sum_n=1^infty fracx^3n3n$$ when differentiated, loses $3n$ in the denominator, with one manipulation, one can get $$f'(x)=frac1x(1-x^3) $$ using the geometric series sum formula. Since this is $f'(x)$, integration is required so we get $$f(x)=log(x)-frac13log(1-x^3) + C$$
(the log base is probably $e$). The usual step for finding the constant is to find it's value for $x=0$ in the given power series and the new function. This obviously won't work here or in any other case where a function isn't defined for $x=0$. How do I find the constant then?

power-series

share|cite|improve this question

edited 1 hour ago

Leucippus

19.7k102871

asked 3 hours ago

user3711671user3711671

417

$endgroup$

• 
  
  
  

  
  

  
  
  
  
  
  

  
  $begingroup$
  I was talking about log(x) not being defined at x=0.
  $endgroup$
  – user3711671
  3 hours ago
  

  
  
  
  

add a comment | 

1

$begingroup$

This power series $$f(x)=sum_n=1^infty fracx^3n3n$$ when differentiated, loses $3n$ in the denominator, with one manipulation, one can get $$f'(x)=frac1x(1-x^3) $$ using the geometric series sum formula. Since this is $f'(x)$, integration is required so we get $$f(x)=log(x)-frac13log(1-x^3) + C$$
(the log base is probably $e$). The usual step for finding the constant is to find it's value for $x=0$ in the given power series and the new function. This obviously won't work here or in any other case where a function isn't defined for $x=0$. How do I find the constant then?

power-series

share|cite|improve this question

edited 1 hour ago

Leucippus

19.7k102871

asked 3 hours ago

user3711671user3711671

417

$endgroup$

• 
  
  
  

  
  

  
  
  
  
  
  

  
  $begingroup$
  I was talking about log(x) not being defined at x=0.
  $endgroup$
  – user3711671
  3 hours ago
  

  
  
  
  

add a comment | 

$begingroup$

This power series $$f(x)=sum_n=1^infty fracx^3n3n$$ when differentiated, loses $3n$ in the denominator, with one manipulation, one can get $$f'(x)=frac1x(1-x^3) $$ using the geometric series sum formula. Since this is $f'(x)$, integration is required so we get $$f(x)=log(x)-frac13log(1-x^3) + C$$
(the log base is probably $e$). The usual step for finding the constant is to find it's value for $x=0$ in the given power series and the new function. This obviously won't work here or in any other case where a function isn't defined for $x=0$. How do I find the constant then?

power-series

share|cite|improve this question

edited 1 hour ago

Leucippus

19.7k102871

asked 3 hours ago

user3711671user3711671

417

$endgroup$

share|cite|improve this question

edited 1 hour ago

Leucippus

19.7k102871

asked 3 hours ago

user3711671user3711671

417

share|cite|improve this question

edited 1 hour ago

Leucippus

19.7k102871

asked 3 hours ago

user3711671user3711671

417

edited 1 hour ago

Leucippus

19.7k102871

edited 1 hour ago

Leucippus

19.7k102871

asked 3 hours ago

user3711671user3711671

417

asked 3 hours ago

user3711671user3711671

417

2 Answers
2

active

oldest

votes

4

$begingroup$

Differentiating $f(x)$:

$$f(x)=fracx^33+fracx^66+cdotsimplies f'(x)=x^2+x^5+cdots=sum_n=1^inftyx^3n-1=fracx^21-x^3$$ for $|x|<1$, which results in $$f(x)=-frac13ln(1-x^3)+C$$ after integration. Your function now is well-defined at $x=0$, and this implies $C=0$.

share|cite|improve this answer

edited 3 hours ago

answered 3 hours ago

st.mathst.math

1,110115

$endgroup$

• 
  
  
  

  
  

  
  
  
  
  
  

  
  $begingroup$
  Right, I've made a mistake at the geometric series, n starts at 1, not 0.My question still remains, what should one do if plugging in x=0 can't be done (because of functions like log(x), 1/x etc)?The interesting thing is that if log(x) remains untouched, C will equal -log(x).
  $endgroup$
  – user3711671
  3 hours ago
  

  
  
  
  


• 
  
  
  

  
  

  
  
  
  
  
  

  
  $begingroup$
  Then plug in another number, e.g. $x=1$. The constant after integration can be "fixed" by moving the graph of the function up or down the $y$-axis. This can be done by using any point; not only $x=0$.
  $endgroup$
  – st.math
  3 hours ago
  
  

  
  
  
  


• 
  
  
  

  
  

  
  
  
  
  
  

  
  $begingroup$
  But what about the infinite sum of 1/3n then?Shouldn't I find out what the constant is by inserting the value for which the sum and it's function representation are equal (when x=0 both are equal to zero)?
  $endgroup$
  – user3711671
  3 hours ago
  
  

  
  
  
  


• 
  
  
  

  
  

  
  
  
  
  
  

  
  $begingroup$
  You can plug in any point where the function is defined. After plugging in $x=0$ into the sum, you get $f(0)=0$. The closed form you obtained after integration ($f(x)=ln(1-x^3)/3+C$) is undetermined by the constant $C$ only, which you can find after plugging in $0$ there, which directly implies $f(0)=0+C$ or $C=0$ (because we know that $f(0)$ has to be $0$ by the sum). You will get the same result $C=0$ after plugging in $x=0.5$, for example.
  $endgroup$
  – st.math
  3 hours ago
  
  

  
  
  
  


• 
  
  
  

  
  1
  

  
  
  
  
  
  

  
  $begingroup$
  @user3711671: The only kicker is that your value of $x$ must be within the interval of convergence for the power series. The center point is typically the simplest to plug in. I explain a bit further in my answer.
  $endgroup$
  – Cameron Buie
  3 hours ago
  
  

  
  
  
  

 | 
show 6 more comments

2

$begingroup$

You're not quite on track. One way to know that for sure is that your function isn't defined at $x=0,$ but the power series certainly is!

For $|t|<1,$ we have that $$sum_n=0^infty t^n=frac11-t,$$ so $$sum_n=1^infty t^n=frac11-t-1=fract1-t.$$ Thus, we have for $|x|<1$ that $$f'(x)=sum_n=1^infty x^3n-1=frac1xsum_n=1left(x^3right)^n=frac1xcdotfracx^31-x^3=left(1-x^3right)^-1cdot-frac13fracdleft(1-x^3right)dx.$$ This has the antiderivative family $$f(x)=-frac13lnleft(1-x^3right)+C,$$ which is defined at every $x$ in the radius of convergence, allowing you to find your constant in the usual way.

---

More generally, let's suppose that you've used a power series $$sum_n=k^infty a_n(x-a)^n$$ for some real $a$ and some integer $kge 0,$ and have (by differentiation and then integration) determined that $$f(x)+C=sum_n=k^infty a_n(x-a)^n$$ for some constant $C.$ Even without determining the radius of convergence, if you haven't made any errors, then the function is necessarily defined at $x=a,$ so you can use $x=a$ to determine what your value of $C$ will be.

Namely, we will have $C=-f(a)$ if $kge 1,$ and $C=a_0-f(a)$ otherwise.

share|cite|improve this answer

edited 1 hour ago

answered 3 hours ago

Cameron BuieCameron Buie

86.6k773161

$endgroup$

add a comment | 

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

Sign up or log in

StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);

Sign up using Google

Sign up using Facebook

Sign up using Email and Password

Post as a guest

Name

Email

Required, but never shown

StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3178460%2frepresenting-power-series-as-a-function-what-to-do-with-the-constant-after-int%23new-answer', 'question_page');

);

Post as a guest

Name

Email

Required, but never shown

4

$begingroup$

Differentiating $f(x)$:

$$f(x)=fracx^33+fracx^66+cdotsimplies f'(x)=x^2+x^5+cdots=sum_n=1^inftyx^3n-1=fracx^21-x^3$$ for $|x|<1$, which results in $$f(x)=-frac13ln(1-x^3)+C$$ after integration. Your function now is well-defined at $x=0$, and this implies $C=0$.

share|cite|improve this answer

edited 3 hours ago

answered 3 hours ago

st.mathst.math

1,110115

$endgroup$

• 
  
  
  

  
  

  
  
  
  
  
  

  
  $begingroup$
  Right, I've made a mistake at the geometric series, n starts at 1, not 0.My question still remains, what should one do if plugging in x=0 can't be done (because of functions like log(x), 1/x etc)?The interesting thing is that if log(x) remains untouched, C will equal -log(x).
  $endgroup$
  – user3711671
  3 hours ago
  

  
  
  
  


• 
  
  
  

  
  

  
  
  
  
  
  

  
  $begingroup$
  Then plug in another number, e.g. $x=1$. The constant after integration can be "fixed" by moving the graph of the function up or down the $y$-axis. This can be done by using any point; not only $x=0$.
  $endgroup$
  – st.math
  3 hours ago
  
  

  
  
  
  


• 
  
  
  

  
  

  
  
  
  
  
  

  
  $begingroup$
  But what about the infinite sum of 1/3n then?Shouldn't I find out what the constant is by inserting the value for which the sum and it's function representation are equal (when x=0 both are equal to zero)?
  $endgroup$
  – user3711671
  3 hours ago
  
  

  
  
  
  


• 
  
  
  

  
  

  
  
  
  
  
  

  
  $begingroup$
  You can plug in any point where the function is defined. After plugging in $x=0$ into the sum, you get $f(0)=0$. The closed form you obtained after integration ($f(x)=ln(1-x^3)/3+C$) is undetermined by the constant $C$ only, which you can find after plugging in $0$ there, which directly implies $f(0)=0+C$ or $C=0$ (because we know that $f(0)$ has to be $0$ by the sum). You will get the same result $C=0$ after plugging in $x=0.5$, for example.
  $endgroup$
  – st.math
  3 hours ago
  
  

  
  
  
  


• 
  
  
  

  
  1
  

  
  
  
  
  
  

  
  $begingroup$
  @user3711671: The only kicker is that your value of $x$ must be within the interval of convergence for the power series. The center point is typically the simplest to plug in. I explain a bit further in my answer.
  $endgroup$
  – Cameron Buie
  3 hours ago
  
  

  
  
  
  

 | 
show 6 more comments

4

$begingroup$

Differentiating $f(x)$:

$$f(x)=fracx^33+fracx^66+cdotsimplies f'(x)=x^2+x^5+cdots=sum_n=1^inftyx^3n-1=fracx^21-x^3$$ for $|x|<1$, which results in $$f(x)=-frac13ln(1-x^3)+C$$ after integration. Your function now is well-defined at $x=0$, and this implies $C=0$.

share|cite|improve this answer

edited 3 hours ago

answered 3 hours ago

st.mathst.math

1,110115

$endgroup$

• 
  
  
  

  
  

  
  
  
  
  
  

  
  $begingroup$
  Right, I've made a mistake at the geometric series, n starts at 1, not 0.My question still remains, what should one do if plugging in x=0 can't be done (because of functions like log(x), 1/x etc)?The interesting thing is that if log(x) remains untouched, C will equal -log(x).
  $endgroup$
  – user3711671
  3 hours ago
  

  
  
  
  


• 
  
  
  

  
  

  
  
  
  
  
  

  
  $begingroup$
  Then plug in another number, e.g. $x=1$. The constant after integration can be "fixed" by moving the graph of the function up or down the $y$-axis. This can be done by using any point; not only $x=0$.
  $endgroup$
  – st.math
  3 hours ago
  
  

  
  
  
  


• 
  
  
  

  
  

  
  
  
  
  
  

  
  $begingroup$
  But what about the infinite sum of 1/3n then?Shouldn't I find out what the constant is by inserting the value for which the sum and it's function representation are equal (when x=0 both are equal to zero)?
  $endgroup$
  – user3711671
  3 hours ago
  
  

  
  
  
  


• 
  
  
  

  
  

  
  
  
  
  
  

  
  $begingroup$
  You can plug in any point where the function is defined. After plugging in $x=0$ into the sum, you get $f(0)=0$. The closed form you obtained after integration ($f(x)=ln(1-x^3)/3+C$) is undetermined by the constant $C$ only, which you can find after plugging in $0$ there, which directly implies $f(0)=0+C$ or $C=0$ (because we know that $f(0)$ has to be $0$ by the sum). You will get the same result $C=0$ after plugging in $x=0.5$, for example.
  $endgroup$
  – st.math
  3 hours ago
  
  

  
  
  
  


• 
  
  
  

  
  1
  

  
  
  
  
  
  

  
  $begingroup$
  @user3711671: The only kicker is that your value of $x$ must be within the interval of convergence for the power series. The center point is typically the simplest to plug in. I explain a bit further in my answer.
  $endgroup$
  – Cameron Buie
  3 hours ago
  
  

  
  
  
  

 | 
show 6 more comments

$begingroup$

Differentiating $f(x)$:

$$f(x)=fracx^33+fracx^66+cdotsimplies f'(x)=x^2+x^5+cdots=sum_n=1^inftyx^3n-1=fracx^21-x^3$$ for $|x|<1$, which results in $$f(x)=-frac13ln(1-x^3)+C$$ after integration. Your function now is well-defined at $x=0$, and this implies $C=0$.

share|cite|improve this answer

edited 3 hours ago

answered 3 hours ago

st.mathst.math

1,110115

$endgroup$

share|cite|improve this answer

edited 3 hours ago

answered 3 hours ago

st.mathst.math

1,110115

answered 3 hours ago

st.mathst.math

1,110115

answered 3 hours ago

st.mathst.math

1,110115

2

$begingroup$

You're not quite on track. One way to know that for sure is that your function isn't defined at $x=0,$ but the power series certainly is!

For $|t|<1,$ we have that $$sum_n=0^infty t^n=frac11-t,$$ so $$sum_n=1^infty t^n=frac11-t-1=fract1-t.$$ Thus, we have for $|x|<1$ that $$f'(x)=sum_n=1^infty x^3n-1=frac1xsum_n=1left(x^3right)^n=frac1xcdotfracx^31-x^3=left(1-x^3right)^-1cdot-frac13fracdleft(1-x^3right)dx.$$ This has the antiderivative family $$f(x)=-frac13lnleft(1-x^3right)+C,$$ which is defined at every $x$ in the radius of convergence, allowing you to find your constant in the usual way.

---

More generally, let's suppose that you've used a power series $$sum_n=k^infty a_n(x-a)^n$$ for some real $a$ and some integer $kge 0,$ and have (by differentiation and then integration) determined that $$f(x)+C=sum_n=k^infty a_n(x-a)^n$$ for some constant $C.$ Even without determining the radius of convergence, if you haven't made any errors, then the function is necessarily defined at $x=a,$ so you can use $x=a$ to determine what your value of $C$ will be.

Namely, we will have $C=-f(a)$ if $kge 1,$ and $C=a_0-f(a)$ otherwise.

share|cite|improve this answer

edited 1 hour ago

answered 3 hours ago

Cameron BuieCameron Buie

86.6k773161

$endgroup$

add a comment | 

2

$begingroup$

You're not quite on track. One way to know that for sure is that your function isn't defined at $x=0,$ but the power series certainly is!

For $|t|<1,$ we have that $$sum_n=0^infty t^n=frac11-t,$$ so $$sum_n=1^infty t^n=frac11-t-1=fract1-t.$$ Thus, we have for $|x|<1$ that $$f'(x)=sum_n=1^infty x^3n-1=frac1xsum_n=1left(x^3right)^n=frac1xcdotfracx^31-x^3=left(1-x^3right)^-1cdot-frac13fracdleft(1-x^3right)dx.$$ This has the antiderivative family $$f(x)=-frac13lnleft(1-x^3right)+C,$$ which is defined at every $x$ in the radius of convergence, allowing you to find your constant in the usual way.

---

More generally, let's suppose that you've used a power series $$sum_n=k^infty a_n(x-a)^n$$ for some real $a$ and some integer $kge 0,$ and have (by differentiation and then integration) determined that $$f(x)+C=sum_n=k^infty a_n(x-a)^n$$ for some constant $C.$ Even without determining the radius of convergence, if you haven't made any errors, then the function is necessarily defined at $x=a,$ so you can use $x=a$ to determine what your value of $C$ will be.

Namely, we will have $C=-f(a)$ if $kge 1,$ and $C=a_0-f(a)$ otherwise.

share|cite|improve this answer

edited 1 hour ago

answered 3 hours ago

Cameron BuieCameron Buie

86.6k773161

$endgroup$

add a comment | 

$begingroup$

You're not quite on track. One way to know that for sure is that your function isn't defined at $x=0,$ but the power series certainly is!

For $|t|<1,$ we have that $$sum_n=0^infty t^n=frac11-t,$$ so $$sum_n=1^infty t^n=frac11-t-1=fract1-t.$$ Thus, we have for $|x|<1$ that $$f'(x)=sum_n=1^infty x^3n-1=frac1xsum_n=1left(x^3right)^n=frac1xcdotfracx^31-x^3=left(1-x^3right)^-1cdot-frac13fracdleft(1-x^3right)dx.$$ This has the antiderivative family $$f(x)=-frac13lnleft(1-x^3right)+C,$$ which is defined at every $x$ in the radius of convergence, allowing you to find your constant in the usual way.

---

More generally, let's suppose that you've used a power series $$sum_n=k^infty a_n(x-a)^n$$ for some real $a$ and some integer $kge 0,$ and have (by differentiation and then integration) determined that $$f(x)+C=sum_n=k^infty a_n(x-a)^n$$ for some constant $C.$ Even without determining the radius of convergence, if you haven't made any errors, then the function is necessarily defined at $x=a,$ so you can use $x=a$ to determine what your value of $C$ will be.

Namely, we will have $C=-f(a)$ if $kge 1,$ and $C=a_0-f(a)$ otherwise.

share|cite|improve this answer

edited 1 hour ago

answered 3 hours ago

Cameron BuieCameron Buie

86.6k773161

$endgroup$

share|cite|improve this answer

edited 1 hour ago

answered 3 hours ago

Cameron BuieCameron Buie

86.6k773161

answered 3 hours ago

Cameron BuieCameron Buie

86.6k773161

answered 3 hours ago

Cameron BuieCameron Buie

86.6k773161