Definite Integral of an Infinite Sum












4














It is given that $$ f(x) = sum_{n=1}^infty frac{sin(nx)}{4^n} $$



How would one go about calculating $$ int_0^pi f(x) dx $$



EDIT:



I was able to calculate the integral of the $ sin(nx) $ part using $u$ substitution. However, I lack the required knowledge to combine an integral and an infinite sum as this is the first time I am doing this kind of a question.



I am currently studying in 11th in India under the CBSE curriculum. This question appeared in one of my internal tests and I am trying to get an explanation for it.



I'd like to mention that I only posess basic knowledge of integration and differentiation as taught in my coaching center and knowledge of 11th grade NCERT math.






calculus integration sequences-and-series arithmetic-progressions







share|cite|improve this question




















  • 1




    I am aware, while typing it from my phone I think I missed out on the denominator part. Apologies.
    – Tusky
    Sep 28 '18 at 17:12












  • Note that $-1leq sin(nx) leq 1,$ for all $n$.
    – amWhy
    Sep 28 '18 at 17:25






  • 1




    @amWhy Yes I am aware of the range of the sin function. Could you please explain how does that help with the question?
    – Tusky
    Sep 28 '18 at 17:25












  • I see that the Indian educational system loves acronyms! :-)
    – Giuseppe Negro
    Sep 29 '18 at 10:09


















4














It is given that $$ f(x) = sum_{n=1}^infty frac{sin(nx)}{4^n} $$



How would one go about calculating $$ int_0^pi f(x) dx $$



EDIT:



I was able to calculate the integral of the $ sin(nx) $ part using $u$ substitution. However, I lack the required knowledge to combine an integral and an infinite sum as this is the first time I am doing this kind of a question.



I am currently studying in 11th in India under the CBSE curriculum. This question appeared in one of my internal tests and I am trying to get an explanation for it.



I'd like to mention that I only posess basic knowledge of integration and differentiation as taught in my coaching center and knowledge of 11th grade NCERT math.






calculus integration sequences-and-series arithmetic-progressions







share|cite|improve this question




















  • 1




    I am aware, while typing it from my phone I think I missed out on the denominator part. Apologies.
    – Tusky
    Sep 28 '18 at 17:12












  • Note that $-1leq sin(nx) leq 1,$ for all $n$.
    – amWhy
    Sep 28 '18 at 17:25






  • 1




    @amWhy Yes I am aware of the range of the sin function. Could you please explain how does that help with the question?
    – Tusky
    Sep 28 '18 at 17:25












  • I see that the Indian educational system loves acronyms! :-)
    – Giuseppe Negro
    Sep 29 '18 at 10:09
















4












4








4


6





It is given that $$ f(x) = sum_{n=1}^infty frac{sin(nx)}{4^n} $$



How would one go about calculating $$ int_0^pi f(x) dx $$



EDIT:



I was able to calculate the integral of the $ sin(nx) $ part using $u$ substitution. However, I lack the required knowledge to combine an integral and an infinite sum as this is the first time I am doing this kind of a question.



I am currently studying in 11th in India under the CBSE curriculum. This question appeared in one of my internal tests and I am trying to get an explanation for it.



I'd like to mention that I only posess basic knowledge of integration and differentiation as taught in my coaching center and knowledge of 11th grade NCERT math.






calculus integration sequences-and-series arithmetic-progressions







share|cite|improve this question















It is given that $$ f(x) = sum_{n=1}^infty frac{sin(nx)}{4^n} $$



How would one go about calculating $$ int_0^pi f(x) dx $$



EDIT:



I was able to calculate the integral of the $ sin(nx) $ part using $u$ substitution. However, I lack the required knowledge to combine an integral and an infinite sum as this is the first time I am doing this kind of a question.



I am currently studying in 11th in India under the CBSE curriculum. This question appeared in one of my internal tests and I am trying to get an explanation for it.



I'd like to mention that I only posess basic knowledge of integration and differentiation as taught in my coaching center and knowledge of 11th grade NCERT math.






calculus integration sequences-and-series arithmetic-progressions




calculus integration sequences-and-series arithmetic-progressions






share|cite|improve this question















share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








edited yesterday

























asked Sep 28 '18 at 17:00









Tusky

644618




644618








  • 1




    I am aware, while typing it from my phone I think I missed out on the denominator part. Apologies.
    – Tusky
    Sep 28 '18 at 17:12












  • Note that $-1leq sin(nx) leq 1,$ for all $n$.
    – amWhy
    Sep 28 '18 at 17:25






  • 1




    @amWhy Yes I am aware of the range of the sin function. Could you please explain how does that help with the question?
    – Tusky
    Sep 28 '18 at 17:25












  • I see that the Indian educational system loves acronyms! :-)
    – Giuseppe Negro
    Sep 29 '18 at 10:09
















  • 1




    I am aware, while typing it from my phone I think I missed out on the denominator part. Apologies.
    – Tusky
    Sep 28 '18 at 17:12












  • Note that $-1leq sin(nx) leq 1,$ for all $n$.
    – amWhy
    Sep 28 '18 at 17:25






  • 1




    @amWhy Yes I am aware of the range of the sin function. Could you please explain how does that help with the question?
    – Tusky
    Sep 28 '18 at 17:25












  • I see that the Indian educational system loves acronyms! :-)
    – Giuseppe Negro
    Sep 29 '18 at 10:09










1




1




I am aware, while typing it from my phone I think I missed out on the denominator part. Apologies.
– Tusky
Sep 28 '18 at 17:12






I am aware, while typing it from my phone I think I missed out on the denominator part. Apologies.
– Tusky
Sep 28 '18 at 17:12














Note that $-1leq sin(nx) leq 1,$ for all $n$.
– amWhy
Sep 28 '18 at 17:25




Note that $-1leq sin(nx) leq 1,$ for all $n$.
– amWhy
Sep 28 '18 at 17:25




1




1




@amWhy Yes I am aware of the range of the sin function. Could you please explain how does that help with the question?
– Tusky
Sep 28 '18 at 17:25






@amWhy Yes I am aware of the range of the sin function. Could you please explain how does that help with the question?
– Tusky
Sep 28 '18 at 17:25














I see that the Indian educational system loves acronyms! :-)
– Giuseppe Negro
Sep 29 '18 at 10:09






I see that the Indian educational system loves acronyms! :-)
– Giuseppe Negro
Sep 29 '18 at 10:09












2 Answers
2






active

oldest

votes


















19














Since the series converges uniformly, we can integrate term-wise. The result is



begin{align*}
int_{0}^{pi} f(x) , dx
&= sum_{n=1}^{infty} frac{1}{4^n} int_{0}^{pi} sin(nx) , dx \
&= sum_{n=1}^{infty} frac{1}{4^n} left[ -frac{cos (nx)}{n} right]_{0}^{pi} \
&= sum_{n=1}^{infty} frac{1 - (-1)^n}{n cdot4^n}.
end{align*}



Now using the Taylor expansion $log(1+x) = sum_{n=1}^{infty} frac{(-1)^{n-1}}{n} x^n$, we can simplify the above series as



$$ = - logleft(1 - tfrac{1}{4}right) + logleft(1 + tfrac{1}{4}right)
= log left( tfrac{5}{3} right). $$




Alternatively, assuming basic knowledge on complex analysis,



begin{align*}
int_{0}^{pi} f(x) , dx
&= operatorname{Im} left( int_{0}^{pi} sum_{n=1}^{infty} left( frac{e^{ix}}{4} right)^n , dx right)
= operatorname{Im} left( int_{0}^{pi} frac{e^{ix}}{4 - e^{ix}} , dx right) \
(z=e^{ix}) quad &= operatorname{Im} left( int_{1}^{-1} frac{1}{i(4-z)} , dz right)
= operatorname{Im} left[ i log(4-z) right]_{1}^{-1} \
&= log 5 - log 3
= log (5/3).
end{align*}



This provides a natural explanation as to why logarithm appears in the final answer.






share|cite|improve this answer























  • Could you please shed more light on how the last step goes from an infinite sum to a natural log? I have heard of the Taylor Expansion of log(1+x). Thanks
    – Tusky
    Sep 28 '18 at 17:28








  • 1




    @Tusky, If you successfully obtained the series expression in the last line, then you are almost done. Just split this into two parts $$sum_{n=1}^{infty} frac{1 - (-1)^n}{n cdot4^n} = -sum_{n=1}^{infty} frac{(-1)^{n-1}}{n}left(-frac{1}{4}right)^n + sum_{n=1}^{infty} frac{(-1)^{n-1}}{n}left(frac{1}{4}right)^n $$ and apply the Taylor series of $log(1+x)$ separately. (Notice how I created the factor $(-1)^{n-1}$ to match the formula of $log(1+x)$.) Or, you may first observe that the Taylor series of $log(1-x)$ is $-sum_{n=1}^{infty} frac{1}{n}x^n$ and then proceed.
    – Sangchul Lee
    Sep 28 '18 at 17:34












  • Ah that makes things much more clear to me now. Thanks! Do you have any tips for me as a student to be able to crack these kinds of problems and improve my ability overall?
    – Tusky
    Sep 28 '18 at 17:36










  • @Tusky, To be honest I have no good idea. I mostly followed the regular curriculum of my university...
    – Sangchul Lee
    Sep 28 '18 at 17:42






  • 1




    @Tusky, That's right. You may convince yourself by recalling that integral is defined as a limit of certain sum, hence it will inherit most properties of sum as well (such as distributive property of multiplication over addition, which manifests as linearity as I mentioned above).
    – Sangchul Lee
    Sep 29 '18 at 4:40



















9














An alternative approach:
$$ f(x)=text{Im}sum_{ngeq 1}frac{e^{inx}}{4^n} = text{Im}left(frac{e^{ix}}{4-e^{ix}}right) = text{Im}left(frac{e^{ix}(4-e^{-ix})}{17-8cos x}right)=frac{4sin x}{17-8cos x}$$
implies:
$$ int_{0}^{pi}f(x),dx=left[tfrac{1}{2},log(17-8cos x)right]_{0}^{pi}=logsqrt{frac{17+8}{17-8}}=color{red}{logtfrac{5}{3}}. $$






share|cite|improve this answer





















  • I saw this question earlier today and put it in my reading list because I knew it was right up your alley and I wanted to see your approach once you got around to if!
    – Chase Ryan Taylor
    Sep 28 '18 at 19:57












  • Hey Jack, thanks for taking the time to answer my question. Could you please explain how you go from step 2 to step 3? How do you get a $ (4-e^{-ix}) $ in the numerator and $ 17 - 8 cos{x} $ in the denominator?
    – Tusky
    Sep 29 '18 at 4:39






  • 1




    @Tusky: rationalization: by multiplying $4-e^{ix}$ by $4-e^{-ix}$ we get $4^2+1-4e^{ix}-4e^{-ix}=17-8cos x$.
    – Jack D'Aurizio
    Sep 29 '18 at 17:35












  • @JackD'Aurizio Ah it makes sense now. Although could you please explain the reason behind multiplying by $ 4 - e^{-ix} $ instead of multiplying by $ 4 + e^{ix} $ and then applying $ (a+b)(a-b) = a^{2} - b^{2} $ ?
    – Tusky
    Oct 2 '18 at 6:57








  • 1




    @Tusky: in order to extract the imaginary part of a ratio, it is more practical to make the denominator a real number, by multiplying both the numerator and the denominator by the conjugate of the denominator.
    – Jack D'Aurizio
    Oct 2 '18 at 19:03











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


















StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2934589%2fdefinite-integral-of-an-infinite-sum%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









19














Since the series converges uniformly, we can integrate term-wise. The result is



begin{align*}
int_{0}^{pi} f(x) , dx
&= sum_{n=1}^{infty} frac{1}{4^n} int_{0}^{pi} sin(nx) , dx \
&= sum_{n=1}^{infty} frac{1}{4^n} left[ -frac{cos (nx)}{n} right]_{0}^{pi} \
&= sum_{n=1}^{infty} frac{1 - (-1)^n}{n cdot4^n}.
end{align*}



Now using the Taylor expansion $log(1+x) = sum_{n=1}^{infty} frac{(-1)^{n-1}}{n} x^n$, we can simplify the above series as



$$ = - logleft(1 - tfrac{1}{4}right) + logleft(1 + tfrac{1}{4}right)
= log left( tfrac{5}{3} right). $$




Alternatively, assuming basic knowledge on complex analysis,



begin{align*}
int_{0}^{pi} f(x) , dx
&= operatorname{Im} left( int_{0}^{pi} sum_{n=1}^{infty} left( frac{e^{ix}}{4} right)^n , dx right)
= operatorname{Im} left( int_{0}^{pi} frac{e^{ix}}{4 - e^{ix}} , dx right) \
(z=e^{ix}) quad &= operatorname{Im} left( int_{1}^{-1} frac{1}{i(4-z)} , dz right)
= operatorname{Im} left[ i log(4-z) right]_{1}^{-1} \
&= log 5 - log 3
= log (5/3).
end{align*}



This provides a natural explanation as to why logarithm appears in the final answer.






share|cite|improve this answer























  • Could you please shed more light on how the last step goes from an infinite sum to a natural log? I have heard of the Taylor Expansion of log(1+x). Thanks
    – Tusky
    Sep 28 '18 at 17:28








  • 1




    @Tusky, If you successfully obtained the series expression in the last line, then you are almost done. Just split this into two parts $$sum_{n=1}^{infty} frac{1 - (-1)^n}{n cdot4^n} = -sum_{n=1}^{infty} frac{(-1)^{n-1}}{n}left(-frac{1}{4}right)^n + sum_{n=1}^{infty} frac{(-1)^{n-1}}{n}left(frac{1}{4}right)^n $$ and apply the Taylor series of $log(1+x)$ separately. (Notice how I created the factor $(-1)^{n-1}$ to match the formula of $log(1+x)$.) Or, you may first observe that the Taylor series of $log(1-x)$ is $-sum_{n=1}^{infty} frac{1}{n}x^n$ and then proceed.
    – Sangchul Lee
    Sep 28 '18 at 17:34












  • Ah that makes things much more clear to me now. Thanks! Do you have any tips for me as a student to be able to crack these kinds of problems and improve my ability overall?
    – Tusky
    Sep 28 '18 at 17:36










  • @Tusky, To be honest I have no good idea. I mostly followed the regular curriculum of my university...
    – Sangchul Lee
    Sep 28 '18 at 17:42






  • 1




    @Tusky, That's right. You may convince yourself by recalling that integral is defined as a limit of certain sum, hence it will inherit most properties of sum as well (such as distributive property of multiplication over addition, which manifests as linearity as I mentioned above).
    – Sangchul Lee
    Sep 29 '18 at 4:40
















19














Since the series converges uniformly, we can integrate term-wise. The result is



begin{align*}
int_{0}^{pi} f(x) , dx
&= sum_{n=1}^{infty} frac{1}{4^n} int_{0}^{pi} sin(nx) , dx \
&= sum_{n=1}^{infty} frac{1}{4^n} left[ -frac{cos (nx)}{n} right]_{0}^{pi} \
&= sum_{n=1}^{infty} frac{1 - (-1)^n}{n cdot4^n}.
end{align*}



Now using the Taylor expansion $log(1+x) = sum_{n=1}^{infty} frac{(-1)^{n-1}}{n} x^n$, we can simplify the above series as



$$ = - logleft(1 - tfrac{1}{4}right) + logleft(1 + tfrac{1}{4}right)
= log left( tfrac{5}{3} right). $$




Alternatively, assuming basic knowledge on complex analysis,



begin{align*}
int_{0}^{pi} f(x) , dx
&= operatorname{Im} left( int_{0}^{pi} sum_{n=1}^{infty} left( frac{e^{ix}}{4} right)^n , dx right)
= operatorname{Im} left( int_{0}^{pi} frac{e^{ix}}{4 - e^{ix}} , dx right) \
(z=e^{ix}) quad &= operatorname{Im} left( int_{1}^{-1} frac{1}{i(4-z)} , dz right)
= operatorname{Im} left[ i log(4-z) right]_{1}^{-1} \
&= log 5 - log 3
= log (5/3).
end{align*}



This provides a natural explanation as to why logarithm appears in the final answer.






share|cite|improve this answer























  • Could you please shed more light on how the last step goes from an infinite sum to a natural log? I have heard of the Taylor Expansion of log(1+x). Thanks
    – Tusky
    Sep 28 '18 at 17:28








  • 1




    @Tusky, If you successfully obtained the series expression in the last line, then you are almost done. Just split this into two parts $$sum_{n=1}^{infty} frac{1 - (-1)^n}{n cdot4^n} = -sum_{n=1}^{infty} frac{(-1)^{n-1}}{n}left(-frac{1}{4}right)^n + sum_{n=1}^{infty} frac{(-1)^{n-1}}{n}left(frac{1}{4}right)^n $$ and apply the Taylor series of $log(1+x)$ separately. (Notice how I created the factor $(-1)^{n-1}$ to match the formula of $log(1+x)$.) Or, you may first observe that the Taylor series of $log(1-x)$ is $-sum_{n=1}^{infty} frac{1}{n}x^n$ and then proceed.
    – Sangchul Lee
    Sep 28 '18 at 17:34












  • Ah that makes things much more clear to me now. Thanks! Do you have any tips for me as a student to be able to crack these kinds of problems and improve my ability overall?
    – Tusky
    Sep 28 '18 at 17:36










  • @Tusky, To be honest I have no good idea. I mostly followed the regular curriculum of my university...
    – Sangchul Lee
    Sep 28 '18 at 17:42






  • 1




    @Tusky, That's right. You may convince yourself by recalling that integral is defined as a limit of certain sum, hence it will inherit most properties of sum as well (such as distributive property of multiplication over addition, which manifests as linearity as I mentioned above).
    – Sangchul Lee
    Sep 29 '18 at 4:40














19












19








19






Since the series converges uniformly, we can integrate term-wise. The result is



begin{align*}
int_{0}^{pi} f(x) , dx
&= sum_{n=1}^{infty} frac{1}{4^n} int_{0}^{pi} sin(nx) , dx \
&= sum_{n=1}^{infty} frac{1}{4^n} left[ -frac{cos (nx)}{n} right]_{0}^{pi} \
&= sum_{n=1}^{infty} frac{1 - (-1)^n}{n cdot4^n}.
end{align*}



Now using the Taylor expansion $log(1+x) = sum_{n=1}^{infty} frac{(-1)^{n-1}}{n} x^n$, we can simplify the above series as



$$ = - logleft(1 - tfrac{1}{4}right) + logleft(1 + tfrac{1}{4}right)
= log left( tfrac{5}{3} right). $$




Alternatively, assuming basic knowledge on complex analysis,



begin{align*}
int_{0}^{pi} f(x) , dx
&= operatorname{Im} left( int_{0}^{pi} sum_{n=1}^{infty} left( frac{e^{ix}}{4} right)^n , dx right)
= operatorname{Im} left( int_{0}^{pi} frac{e^{ix}}{4 - e^{ix}} , dx right) \
(z=e^{ix}) quad &= operatorname{Im} left( int_{1}^{-1} frac{1}{i(4-z)} , dz right)
= operatorname{Im} left[ i log(4-z) right]_{1}^{-1} \
&= log 5 - log 3
= log (5/3).
end{align*}



This provides a natural explanation as to why logarithm appears in the final answer.






share|cite|improve this answer














Since the series converges uniformly, we can integrate term-wise. The result is



begin{align*}
int_{0}^{pi} f(x) , dx
&= sum_{n=1}^{infty} frac{1}{4^n} int_{0}^{pi} sin(nx) , dx \
&= sum_{n=1}^{infty} frac{1}{4^n} left[ -frac{cos (nx)}{n} right]_{0}^{pi} \
&= sum_{n=1}^{infty} frac{1 - (-1)^n}{n cdot4^n}.
end{align*}



Now using the Taylor expansion $log(1+x) = sum_{n=1}^{infty} frac{(-1)^{n-1}}{n} x^n$, we can simplify the above series as



$$ = - logleft(1 - tfrac{1}{4}right) + logleft(1 + tfrac{1}{4}right)
= log left( tfrac{5}{3} right). $$




Alternatively, assuming basic knowledge on complex analysis,



begin{align*}
int_{0}^{pi} f(x) , dx
&= operatorname{Im} left( int_{0}^{pi} sum_{n=1}^{infty} left( frac{e^{ix}}{4} right)^n , dx right)
= operatorname{Im} left( int_{0}^{pi} frac{e^{ix}}{4 - e^{ix}} , dx right) \
(z=e^{ix}) quad &= operatorname{Im} left( int_{1}^{-1} frac{1}{i(4-z)} , dz right)
= operatorname{Im} left[ i log(4-z) right]_{1}^{-1} \
&= log 5 - log 3
= log (5/3).
end{align*}



This provides a natural explanation as to why logarithm appears in the final answer.







share|cite|improve this answer














share|cite|improve this answer



share|cite|improve this answer








edited Sep 28 '18 at 21:51









Acccumulation

6,8062618




6,8062618










answered Sep 28 '18 at 17:08









Sangchul Lee

91.5k12164265




91.5k12164265












  • Could you please shed more light on how the last step goes from an infinite sum to a natural log? I have heard of the Taylor Expansion of log(1+x). Thanks
    – Tusky
    Sep 28 '18 at 17:28








  • 1




    @Tusky, If you successfully obtained the series expression in the last line, then you are almost done. Just split this into two parts $$sum_{n=1}^{infty} frac{1 - (-1)^n}{n cdot4^n} = -sum_{n=1}^{infty} frac{(-1)^{n-1}}{n}left(-frac{1}{4}right)^n + sum_{n=1}^{infty} frac{(-1)^{n-1}}{n}left(frac{1}{4}right)^n $$ and apply the Taylor series of $log(1+x)$ separately. (Notice how I created the factor $(-1)^{n-1}$ to match the formula of $log(1+x)$.) Or, you may first observe that the Taylor series of $log(1-x)$ is $-sum_{n=1}^{infty} frac{1}{n}x^n$ and then proceed.
    – Sangchul Lee
    Sep 28 '18 at 17:34












  • Ah that makes things much more clear to me now. Thanks! Do you have any tips for me as a student to be able to crack these kinds of problems and improve my ability overall?
    – Tusky
    Sep 28 '18 at 17:36










  • @Tusky, To be honest I have no good idea. I mostly followed the regular curriculum of my university...
    – Sangchul Lee
    Sep 28 '18 at 17:42






  • 1




    @Tusky, That's right. You may convince yourself by recalling that integral is defined as a limit of certain sum, hence it will inherit most properties of sum as well (such as distributive property of multiplication over addition, which manifests as linearity as I mentioned above).
    – Sangchul Lee
    Sep 29 '18 at 4:40


















  • Could you please shed more light on how the last step goes from an infinite sum to a natural log? I have heard of the Taylor Expansion of log(1+x). Thanks
    – Tusky
    Sep 28 '18 at 17:28








  • 1




    @Tusky, If you successfully obtained the series expression in the last line, then you are almost done. Just split this into two parts $$sum_{n=1}^{infty} frac{1 - (-1)^n}{n cdot4^n} = -sum_{n=1}^{infty} frac{(-1)^{n-1}}{n}left(-frac{1}{4}right)^n + sum_{n=1}^{infty} frac{(-1)^{n-1}}{n}left(frac{1}{4}right)^n $$ and apply the Taylor series of $log(1+x)$ separately. (Notice how I created the factor $(-1)^{n-1}$ to match the formula of $log(1+x)$.) Or, you may first observe that the Taylor series of $log(1-x)$ is $-sum_{n=1}^{infty} frac{1}{n}x^n$ and then proceed.
    – Sangchul Lee
    Sep 28 '18 at 17:34












  • Ah that makes things much more clear to me now. Thanks! Do you have any tips for me as a student to be able to crack these kinds of problems and improve my ability overall?
    – Tusky
    Sep 28 '18 at 17:36










  • @Tusky, To be honest I have no good idea. I mostly followed the regular curriculum of my university...
    – Sangchul Lee
    Sep 28 '18 at 17:42






  • 1




    @Tusky, That's right. You may convince yourself by recalling that integral is defined as a limit of certain sum, hence it will inherit most properties of sum as well (such as distributive property of multiplication over addition, which manifests as linearity as I mentioned above).
    – Sangchul Lee
    Sep 29 '18 at 4:40
















Could you please shed more light on how the last step goes from an infinite sum to a natural log? I have heard of the Taylor Expansion of log(1+x). Thanks
– Tusky
Sep 28 '18 at 17:28






Could you please shed more light on how the last step goes from an infinite sum to a natural log? I have heard of the Taylor Expansion of log(1+x). Thanks
– Tusky
Sep 28 '18 at 17:28






1




1




@Tusky, If you successfully obtained the series expression in the last line, then you are almost done. Just split this into two parts $$sum_{n=1}^{infty} frac{1 - (-1)^n}{n cdot4^n} = -sum_{n=1}^{infty} frac{(-1)^{n-1}}{n}left(-frac{1}{4}right)^n + sum_{n=1}^{infty} frac{(-1)^{n-1}}{n}left(frac{1}{4}right)^n $$ and apply the Taylor series of $log(1+x)$ separately. (Notice how I created the factor $(-1)^{n-1}$ to match the formula of $log(1+x)$.) Or, you may first observe that the Taylor series of $log(1-x)$ is $-sum_{n=1}^{infty} frac{1}{n}x^n$ and then proceed.
– Sangchul Lee
Sep 28 '18 at 17:34






@Tusky, If you successfully obtained the series expression in the last line, then you are almost done. Just split this into two parts $$sum_{n=1}^{infty} frac{1 - (-1)^n}{n cdot4^n} = -sum_{n=1}^{infty} frac{(-1)^{n-1}}{n}left(-frac{1}{4}right)^n + sum_{n=1}^{infty} frac{(-1)^{n-1}}{n}left(frac{1}{4}right)^n $$ and apply the Taylor series of $log(1+x)$ separately. (Notice how I created the factor $(-1)^{n-1}$ to match the formula of $log(1+x)$.) Or, you may first observe that the Taylor series of $log(1-x)$ is $-sum_{n=1}^{infty} frac{1}{n}x^n$ and then proceed.
– Sangchul Lee
Sep 28 '18 at 17:34














Ah that makes things much more clear to me now. Thanks! Do you have any tips for me as a student to be able to crack these kinds of problems and improve my ability overall?
– Tusky
Sep 28 '18 at 17:36




Ah that makes things much more clear to me now. Thanks! Do you have any tips for me as a student to be able to crack these kinds of problems and improve my ability overall?
– Tusky
Sep 28 '18 at 17:36












@Tusky, To be honest I have no good idea. I mostly followed the regular curriculum of my university...
– Sangchul Lee
Sep 28 '18 at 17:42




@Tusky, To be honest I have no good idea. I mostly followed the regular curriculum of my university...
– Sangchul Lee
Sep 28 '18 at 17:42




1




1




@Tusky, That's right. You may convince yourself by recalling that integral is defined as a limit of certain sum, hence it will inherit most properties of sum as well (such as distributive property of multiplication over addition, which manifests as linearity as I mentioned above).
– Sangchul Lee
Sep 29 '18 at 4:40




@Tusky, That's right. You may convince yourself by recalling that integral is defined as a limit of certain sum, hence it will inherit most properties of sum as well (such as distributive property of multiplication over addition, which manifests as linearity as I mentioned above).
– Sangchul Lee
Sep 29 '18 at 4:40











9














An alternative approach:
$$ f(x)=text{Im}sum_{ngeq 1}frac{e^{inx}}{4^n} = text{Im}left(frac{e^{ix}}{4-e^{ix}}right) = text{Im}left(frac{e^{ix}(4-e^{-ix})}{17-8cos x}right)=frac{4sin x}{17-8cos x}$$
implies:
$$ int_{0}^{pi}f(x),dx=left[tfrac{1}{2},log(17-8cos x)right]_{0}^{pi}=logsqrt{frac{17+8}{17-8}}=color{red}{logtfrac{5}{3}}. $$






share|cite|improve this answer





















  • I saw this question earlier today and put it in my reading list because I knew it was right up your alley and I wanted to see your approach once you got around to if!
    – Chase Ryan Taylor
    Sep 28 '18 at 19:57












  • Hey Jack, thanks for taking the time to answer my question. Could you please explain how you go from step 2 to step 3? How do you get a $ (4-e^{-ix}) $ in the numerator and $ 17 - 8 cos{x} $ in the denominator?
    – Tusky
    Sep 29 '18 at 4:39






  • 1




    @Tusky: rationalization: by multiplying $4-e^{ix}$ by $4-e^{-ix}$ we get $4^2+1-4e^{ix}-4e^{-ix}=17-8cos x$.
    – Jack D'Aurizio
    Sep 29 '18 at 17:35












  • @JackD'Aurizio Ah it makes sense now. Although could you please explain the reason behind multiplying by $ 4 - e^{-ix} $ instead of multiplying by $ 4 + e^{ix} $ and then applying $ (a+b)(a-b) = a^{2} - b^{2} $ ?
    – Tusky
    Oct 2 '18 at 6:57








  • 1




    @Tusky: in order to extract the imaginary part of a ratio, it is more practical to make the denominator a real number, by multiplying both the numerator and the denominator by the conjugate of the denominator.
    – Jack D'Aurizio
    Oct 2 '18 at 19:03
















9














An alternative approach:
$$ f(x)=text{Im}sum_{ngeq 1}frac{e^{inx}}{4^n} = text{Im}left(frac{e^{ix}}{4-e^{ix}}right) = text{Im}left(frac{e^{ix}(4-e^{-ix})}{17-8cos x}right)=frac{4sin x}{17-8cos x}$$
implies:
$$ int_{0}^{pi}f(x),dx=left[tfrac{1}{2},log(17-8cos x)right]_{0}^{pi}=logsqrt{frac{17+8}{17-8}}=color{red}{logtfrac{5}{3}}. $$






share|cite|improve this answer





















  • I saw this question earlier today and put it in my reading list because I knew it was right up your alley and I wanted to see your approach once you got around to if!
    – Chase Ryan Taylor
    Sep 28 '18 at 19:57












  • Hey Jack, thanks for taking the time to answer my question. Could you please explain how you go from step 2 to step 3? How do you get a $ (4-e^{-ix}) $ in the numerator and $ 17 - 8 cos{x} $ in the denominator?
    – Tusky
    Sep 29 '18 at 4:39






  • 1




    @Tusky: rationalization: by multiplying $4-e^{ix}$ by $4-e^{-ix}$ we get $4^2+1-4e^{ix}-4e^{-ix}=17-8cos x$.
    – Jack D'Aurizio
    Sep 29 '18 at 17:35












  • @JackD'Aurizio Ah it makes sense now. Although could you please explain the reason behind multiplying by $ 4 - e^{-ix} $ instead of multiplying by $ 4 + e^{ix} $ and then applying $ (a+b)(a-b) = a^{2} - b^{2} $ ?
    – Tusky
    Oct 2 '18 at 6:57








  • 1




    @Tusky: in order to extract the imaginary part of a ratio, it is more practical to make the denominator a real number, by multiplying both the numerator and the denominator by the conjugate of the denominator.
    – Jack D'Aurizio
    Oct 2 '18 at 19:03














9












9








9






An alternative approach:
$$ f(x)=text{Im}sum_{ngeq 1}frac{e^{inx}}{4^n} = text{Im}left(frac{e^{ix}}{4-e^{ix}}right) = text{Im}left(frac{e^{ix}(4-e^{-ix})}{17-8cos x}right)=frac{4sin x}{17-8cos x}$$
implies:
$$ int_{0}^{pi}f(x),dx=left[tfrac{1}{2},log(17-8cos x)right]_{0}^{pi}=logsqrt{frac{17+8}{17-8}}=color{red}{logtfrac{5}{3}}. $$






share|cite|improve this answer












An alternative approach:
$$ f(x)=text{Im}sum_{ngeq 1}frac{e^{inx}}{4^n} = text{Im}left(frac{e^{ix}}{4-e^{ix}}right) = text{Im}left(frac{e^{ix}(4-e^{-ix})}{17-8cos x}right)=frac{4sin x}{17-8cos x}$$
implies:
$$ int_{0}^{pi}f(x),dx=left[tfrac{1}{2},log(17-8cos x)right]_{0}^{pi}=logsqrt{frac{17+8}{17-8}}=color{red}{logtfrac{5}{3}}. $$







share|cite|improve this answer












share|cite|improve this answer



share|cite|improve this answer










answered Sep 28 '18 at 18:40









Jack D'Aurizio

287k33280657




287k33280657












  • I saw this question earlier today and put it in my reading list because I knew it was right up your alley and I wanted to see your approach once you got around to if!
    – Chase Ryan Taylor
    Sep 28 '18 at 19:57












  • Hey Jack, thanks for taking the time to answer my question. Could you please explain how you go from step 2 to step 3? How do you get a $ (4-e^{-ix}) $ in the numerator and $ 17 - 8 cos{x} $ in the denominator?
    – Tusky
    Sep 29 '18 at 4:39






  • 1




    @Tusky: rationalization: by multiplying $4-e^{ix}$ by $4-e^{-ix}$ we get $4^2+1-4e^{ix}-4e^{-ix}=17-8cos x$.
    – Jack D'Aurizio
    Sep 29 '18 at 17:35












  • @JackD'Aurizio Ah it makes sense now. Although could you please explain the reason behind multiplying by $ 4 - e^{-ix} $ instead of multiplying by $ 4 + e^{ix} $ and then applying $ (a+b)(a-b) = a^{2} - b^{2} $ ?
    – Tusky
    Oct 2 '18 at 6:57








  • 1




    @Tusky: in order to extract the imaginary part of a ratio, it is more practical to make the denominator a real number, by multiplying both the numerator and the denominator by the conjugate of the denominator.
    – Jack D'Aurizio
    Oct 2 '18 at 19:03


















  • I saw this question earlier today and put it in my reading list because I knew it was right up your alley and I wanted to see your approach once you got around to if!
    – Chase Ryan Taylor
    Sep 28 '18 at 19:57












  • Hey Jack, thanks for taking the time to answer my question. Could you please explain how you go from step 2 to step 3? How do you get a $ (4-e^{-ix}) $ in the numerator and $ 17 - 8 cos{x} $ in the denominator?
    – Tusky
    Sep 29 '18 at 4:39






  • 1




    @Tusky: rationalization: by multiplying $4-e^{ix}$ by $4-e^{-ix}$ we get $4^2+1-4e^{ix}-4e^{-ix}=17-8cos x$.
    – Jack D'Aurizio
    Sep 29 '18 at 17:35












  • @JackD'Aurizio Ah it makes sense now. Although could you please explain the reason behind multiplying by $ 4 - e^{-ix} $ instead of multiplying by $ 4 + e^{ix} $ and then applying $ (a+b)(a-b) = a^{2} - b^{2} $ ?
    – Tusky
    Oct 2 '18 at 6:57








  • 1




    @Tusky: in order to extract the imaginary part of a ratio, it is more practical to make the denominator a real number, by multiplying both the numerator and the denominator by the conjugate of the denominator.
    – Jack D'Aurizio
    Oct 2 '18 at 19:03
















I saw this question earlier today and put it in my reading list because I knew it was right up your alley and I wanted to see your approach once you got around to if!
– Chase Ryan Taylor
Sep 28 '18 at 19:57






I saw this question earlier today and put it in my reading list because I knew it was right up your alley and I wanted to see your approach once you got around to if!
– Chase Ryan Taylor
Sep 28 '18 at 19:57














Hey Jack, thanks for taking the time to answer my question. Could you please explain how you go from step 2 to step 3? How do you get a $ (4-e^{-ix}) $ in the numerator and $ 17 - 8 cos{x} $ in the denominator?
– Tusky
Sep 29 '18 at 4:39




Hey Jack, thanks for taking the time to answer my question. Could you please explain how you go from step 2 to step 3? How do you get a $ (4-e^{-ix}) $ in the numerator and $ 17 - 8 cos{x} $ in the denominator?
– Tusky
Sep 29 '18 at 4:39




1




1




@Tusky: rationalization: by multiplying $4-e^{ix}$ by $4-e^{-ix}$ we get $4^2+1-4e^{ix}-4e^{-ix}=17-8cos x$.
– Jack D'Aurizio
Sep 29 '18 at 17:35






@Tusky: rationalization: by multiplying $4-e^{ix}$ by $4-e^{-ix}$ we get $4^2+1-4e^{ix}-4e^{-ix}=17-8cos x$.
– Jack D'Aurizio
Sep 29 '18 at 17:35














@JackD'Aurizio Ah it makes sense now. Although could you please explain the reason behind multiplying by $ 4 - e^{-ix} $ instead of multiplying by $ 4 + e^{ix} $ and then applying $ (a+b)(a-b) = a^{2} - b^{2} $ ?
– Tusky
Oct 2 '18 at 6:57






@JackD'Aurizio Ah it makes sense now. Although could you please explain the reason behind multiplying by $ 4 - e^{-ix} $ instead of multiplying by $ 4 + e^{ix} $ and then applying $ (a+b)(a-b) = a^{2} - b^{2} $ ?
– Tusky
Oct 2 '18 at 6:57






1




1




@Tusky: in order to extract the imaginary part of a ratio, it is more practical to make the denominator a real number, by multiplying both the numerator and the denominator by the conjugate of the denominator.
– Jack D'Aurizio
Oct 2 '18 at 19:03




@Tusky: in order to extract the imaginary part of a ratio, it is more practical to make the denominator a real number, by multiplying both the numerator and the denominator by the conjugate of the denominator.
– Jack D'Aurizio
Oct 2 '18 at 19:03


















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.





Some of your past answers have not been well-received, and you're in danger of being blocked from answering.


Please pay close attention to the following guidance:


  • 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.


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%2f2934589%2fdefinite-integral-of-an-infinite-sum%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

An IMO inspired problem

Image
14 4 This problem from IMO 1988 is said to be one of the most elegant ones in functional equations. Problem : The function $f$ is defined on the set of all positive integers as follows: begin{align} f(1) = 1, f(3) &= 3, f(2n) = f(n), \ f(4n+1) &= 2f(2n+1) - f(n), \ f(4n+3) &= 3 f(2n+1) - 2f(n) end{align} Find the number of $n$ with $f(n) = n, 1 leq n leq 1988$. The main idea towards the solution is realizing that these conditions stand for the fact that $f(n)$ just reverses the digits in the binary representation of the number $n$. So, essentially the solution is finding the number of binary pallindromes $leq 1988_{10}$. My question is the following : How to reformulate the problem so that $f(n)$ reverses the digits of $n$ in its ternary representation. Or even better, can we reformulate it for a
Read more

Management

Image
Management From Wikipedia, the free encyclopedia Jump to navigation Jump to search "Manager" redirects here. For other uses, see Management (disambiguation) and Manager (disambiguation). An organization chart for the United States Coast Guard shows the hierarchy of managerial roles in that organization. Business administration Management of a business Accounting Management accounting Financial accounting Financial audit Business entities Cooperative Corporation Limited liability company Partnership Sole proprietorship State-owned enterprise Corporate governance Annual general meeting Board of directors Supervisory board Advisory board Audit committee Corporate law Commercial law Constitutional documents Contract Corporate crime Corporate liability Insolvency law International trade law Mergers and acquisitions Economics Commodity Pu
Read more

Investment

Image
Investment From Wikipedia, the free encyclopedia Jump to navigation Jump to search This article is about investment in finance. For investment in macroeconomics, see Investment (macroeconomics). For other uses, see Investment (disambiguation). "Invest" redirects here. For the term in meteorology, see Invest (meteorology). This article needs additional citations for verification . Please help improve this article by adding citations to reliable sources. Unsourced material may be challenged and removed. ( February 2017 ) (Learn how and when to remove this template message) In general, to invest is to distribute money in the expectation of some benefit in the future – for example, investment in durable goods, in real estate by the service industry, in factories for manufacturing, in product development, and in research and development. However, this article focuses specifically on investment in financial
Read more