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?
Continuity at a point in terms of closure
Can an x86 CPU running in real mode be considered to be basically an 8086 CPU?
Find original functions from a composite function
How to type dʒ symbol (IPA) on Mac?
Symplectic equivalent of commuting matrices
How is the claim "I am in New York only if I am in America" the same as "If I am in New York, then I am in America?
Possibly bubble sort algorithm
Why has Russell's definition of numbers using equivalence classes been finally abandoned? ( If it has actually been abandoned).
"You are your self first supporter", a more proper way to say it
Is it possible to make sharp wind that can cut stuff from afar?
Today is the Center
When blogging recipes, how can I support both readers who want the narrative/journey and ones who want the printer-friendly recipe?
How old can references or sources in a thesis be?
Why can't I see bouncing of a switch on an oscilloscope?
How is it possible for user to changed after storage was encrypted? (on OS X, Android)
Is the month field really deprecated?
Shell script can be run only with sh command
Is there a familial term for apples and pears?
How do I create uniquely male characters?
Underlining section titles
How long does it take to type this?
What is the command to reset a PC without deleting any files
Pronouncing Dictionary.com's W.O.D "vade mecum" in English
What would happen to a modern skyscraper if it rains micro blackholes?
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?
$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
$endgroup$
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
$endgroup$
$begingroup$
I was talking about log(x) not being defined at x=0.
$endgroup$
– user3711671
4 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
$endgroup$
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
power-series
edited 2 hours ago
Leucippus
19.7k102871
19.7k102871
asked 5 hours ago
user3711671user3711671
417
417
$begingroup$
I was talking about log(x) not being defined at x=0.
$endgroup$
– user3711671
4 hours ago
add a comment |
$begingroup$
I was talking about log(x) not being defined at x=0.
$endgroup$
– user3711671
4 hours ago
$begingroup$
I was talking about log(x) not being defined at x=0.
$endgroup$
– user3711671
4 hours ago
$begingroup$
I was talking about log(x) not being defined at x=0.
$endgroup$
– user3711671
4 hours ago
add a comment |
2 Answers
2
active
oldest
votes
$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$.
$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
4 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
4 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
4 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
4 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
4 hours ago
|
show 6 more comments
$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.
$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
);
);
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
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
Required, but never shown
2 Answers
2
active
oldest
votes
2 Answers
2
active
oldest
votes
active
oldest
votes
active
oldest
votes
$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$.
$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
4 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
4 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
4 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
4 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
4 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$.
$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
4 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
4 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
4 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
4 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
4 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$.
$endgroup$
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$.
edited 4 hours ago
answered 4 hours ago
st.mathst.math
1,110115
1,110115
$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
4 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
4 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
4 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
4 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
4 hours ago
|
show 6 more comments
$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
4 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
4 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
4 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
4 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
4 hours ago
$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
4 hours ago
$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
4 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
4 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
4 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
4 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
4 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
4 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
4 hours ago
1
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
4 hours ago
$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
4 hours ago
|
show 6 more comments
$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.
$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.
$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.
$endgroup$
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.
edited 2 hours ago
answered 4 hours ago
Cameron BuieCameron Buie
86.6k773161
86.6k773161
add a comment |
add a comment |
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.
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
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
Required, but never shown
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
Required, but never shown
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
Required, but never shown
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
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
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
$begingroup$
I was talking about log(x) not being defined at x=0.
$endgroup$
– user3711671
4 hours ago