Evaluate $int_0^1 frac11+x^mdx$ for $m>0 $

The name of the pictureThe name of the pictureThe name of the pictureClash Royale CLAN TAG#URR8PPP











up vote
6
down vote

favorite












I came across the sum:
$$I(m)=sum_n=0^infty frac(-1)^nmn+1 $$
where $m>0$.



It's easy to see that this sum is equal to:
$$int_0^1 frac11+x^mdx$$
for $m>0$



So I tried my hardest to find a way of evaluating it. First I thought using Euler's Beta Function but to no avail. Then I decided to brute force a partial fraction decomposition, and I got this ugly mess (which is more than like incorrect):



$$I(m)=sum_n=0^infty frac(-1)^nmn+1 = sum_k=0^infty A_kln|1-e^-(i(2k+1))/m| $$Where $A_k$ equals



$$A_k= frac1prod_n=0^k(e^i(2k+1)-e^ipi(2n+1)/m)prod_n=k^infty(e^ikpi/m-e^i(2n+3)) $$



I would check my work, but it's really tricky to check so I'm just hoping it's right. Is there a way of evaluating the integral that's less ugly than what I did?







share|cite|improve this question



















  • After looking at the $A_k$ I'm sure it's wrong. I wanted when k=0 for the first infinite product to be equal to 1. Oh well.
    – Tom Himler
    Jul 18 at 3:06














up vote
6
down vote

favorite












I came across the sum:
$$I(m)=sum_n=0^infty frac(-1)^nmn+1 $$
where $m>0$.



It's easy to see that this sum is equal to:
$$int_0^1 frac11+x^mdx$$
for $m>0$



So I tried my hardest to find a way of evaluating it. First I thought using Euler's Beta Function but to no avail. Then I decided to brute force a partial fraction decomposition, and I got this ugly mess (which is more than like incorrect):



$$I(m)=sum_n=0^infty frac(-1)^nmn+1 = sum_k=0^infty A_kln|1-e^-(i(2k+1))/m| $$Where $A_k$ equals



$$A_k= frac1prod_n=0^k(e^i(2k+1)-e^ipi(2n+1)/m)prod_n=k^infty(e^ikpi/m-e^i(2n+3)) $$



I would check my work, but it's really tricky to check so I'm just hoping it's right. Is there a way of evaluating the integral that's less ugly than what I did?







share|cite|improve this question



















  • After looking at the $A_k$ I'm sure it's wrong. I wanted when k=0 for the first infinite product to be equal to 1. Oh well.
    – Tom Himler
    Jul 18 at 3:06












up vote
6
down vote

favorite









up vote
6
down vote

favorite











I came across the sum:
$$I(m)=sum_n=0^infty frac(-1)^nmn+1 $$
where $m>0$.



It's easy to see that this sum is equal to:
$$int_0^1 frac11+x^mdx$$
for $m>0$



So I tried my hardest to find a way of evaluating it. First I thought using Euler's Beta Function but to no avail. Then I decided to brute force a partial fraction decomposition, and I got this ugly mess (which is more than like incorrect):



$$I(m)=sum_n=0^infty frac(-1)^nmn+1 = sum_k=0^infty A_kln|1-e^-(i(2k+1))/m| $$Where $A_k$ equals



$$A_k= frac1prod_n=0^k(e^i(2k+1)-e^ipi(2n+1)/m)prod_n=k^infty(e^ikpi/m-e^i(2n+3)) $$



I would check my work, but it's really tricky to check so I'm just hoping it's right. Is there a way of evaluating the integral that's less ugly than what I did?







share|cite|improve this question











I came across the sum:
$$I(m)=sum_n=0^infty frac(-1)^nmn+1 $$
where $m>0$.



It's easy to see that this sum is equal to:
$$int_0^1 frac11+x^mdx$$
for $m>0$



So I tried my hardest to find a way of evaluating it. First I thought using Euler's Beta Function but to no avail. Then I decided to brute force a partial fraction decomposition, and I got this ugly mess (which is more than like incorrect):



$$I(m)=sum_n=0^infty frac(-1)^nmn+1 = sum_k=0^infty A_kln|1-e^-(i(2k+1))/m| $$Where $A_k$ equals



$$A_k= frac1prod_n=0^k(e^i(2k+1)-e^ipi(2n+1)/m)prod_n=k^infty(e^ikpi/m-e^i(2n+3)) $$



I would check my work, but it's really tricky to check so I'm just hoping it's right. Is there a way of evaluating the integral that's less ugly than what I did?









share|cite|improve this question










share|cite|improve this question




share|cite|improve this question









asked Jul 18 at 3:05









Tom Himler

654213




654213











  • After looking at the $A_k$ I'm sure it's wrong. I wanted when k=0 for the first infinite product to be equal to 1. Oh well.
    – Tom Himler
    Jul 18 at 3:06
















  • After looking at the $A_k$ I'm sure it's wrong. I wanted when k=0 for the first infinite product to be equal to 1. Oh well.
    – Tom Himler
    Jul 18 at 3:06















After looking at the $A_k$ I'm sure it's wrong. I wanted when k=0 for the first infinite product to be equal to 1. Oh well.
– Tom Himler
Jul 18 at 3:06




After looking at the $A_k$ I'm sure it's wrong. I wanted when k=0 for the first infinite product to be equal to 1. Oh well.
– Tom Himler
Jul 18 at 3:06










1 Answer
1






active

oldest

votes

















up vote
5
down vote



accepted










Using the digamma function $$int_0^1 frac11+x^mdx=fracpsi ^(0)left(fracm+12 mright)-psi ^(0)left(frac12
mright)2 m$$



Using the Hurwitz-Lerch transcendent function
$$int_0^1 frac11+x^mdx=fracPhi left(-1,1,frac1mright)m$$






share|cite|improve this answer





















  • That’s good enough for me, thank you.
    – Tom Himler
    Jul 18 at 11:29










Your Answer




StackExchange.ifUsing("editor", function ()
return StackExchange.using("mathjaxEditing", function ()
StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix)
StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
);
);
, "mathjax-editing");

StackExchange.ready(function()
var channelOptions =
tags: "".split(" "),
id: "69"
;
initTagRenderer("".split(" "), "".split(" "), channelOptions);

StackExchange.using("externalEditor", function()
// Have to fire editor after snippets, if snippets enabled
if (StackExchange.settings.snippets.snippetsEnabled)
StackExchange.using("snippets", function()
createEditor();
);

else
createEditor();

);

function createEditor()
StackExchange.prepareEditor(
heartbeatType: 'answer',
convertImagesToLinks: true,
noModals: false,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
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%2f2855146%2fevaluate-int-01-frac11xmdx-for-m0%23new-answer', 'question_page');

);

Post as a guest






























1 Answer
1






active

oldest

votes








1 Answer
1






active

oldest

votes









active

oldest

votes






active

oldest

votes








up vote
5
down vote



accepted










Using the digamma function $$int_0^1 frac11+x^mdx=fracpsi ^(0)left(fracm+12 mright)-psi ^(0)left(frac12
mright)2 m$$



Using the Hurwitz-Lerch transcendent function
$$int_0^1 frac11+x^mdx=fracPhi left(-1,1,frac1mright)m$$






share|cite|improve this answer





















  • That’s good enough for me, thank you.
    – Tom Himler
    Jul 18 at 11:29














up vote
5
down vote



accepted










Using the digamma function $$int_0^1 frac11+x^mdx=fracpsi ^(0)left(fracm+12 mright)-psi ^(0)left(frac12
mright)2 m$$



Using the Hurwitz-Lerch transcendent function
$$int_0^1 frac11+x^mdx=fracPhi left(-1,1,frac1mright)m$$






share|cite|improve this answer





















  • That’s good enough for me, thank you.
    – Tom Himler
    Jul 18 at 11:29












up vote
5
down vote



accepted







up vote
5
down vote



accepted






Using the digamma function $$int_0^1 frac11+x^mdx=fracpsi ^(0)left(fracm+12 mright)-psi ^(0)left(frac12
mright)2 m$$



Using the Hurwitz-Lerch transcendent function
$$int_0^1 frac11+x^mdx=fracPhi left(-1,1,frac1mright)m$$






share|cite|improve this answer













Using the digamma function $$int_0^1 frac11+x^mdx=fracpsi ^(0)left(fracm+12 mright)-psi ^(0)left(frac12
mright)2 m$$



Using the Hurwitz-Lerch transcendent function
$$int_0^1 frac11+x^mdx=fracPhi left(-1,1,frac1mright)m$$







share|cite|improve this answer













share|cite|improve this answer



share|cite|improve this answer











answered Jul 18 at 4:27









Claude Leibovici

112k1055126




112k1055126











  • That’s good enough for me, thank you.
    – Tom Himler
    Jul 18 at 11:29
















  • That’s good enough for me, thank you.
    – Tom Himler
    Jul 18 at 11:29















That’s good enough for me, thank you.
– Tom Himler
Jul 18 at 11:29




That’s good enough for me, thank you.
– Tom Himler
Jul 18 at 11:29












 

draft saved


draft discarded


























 


draft saved


draft discarded














StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2855146%2fevaluate-int-01-frac11xmdx-for-m0%23new-answer', 'question_page');

);

Post as a guest













































































Comments

Popular posts from this blog

What is the equation of a 3D cone with generalised tilt?

Color the edges and diagonals of a regular polygon

Relationship between determinant of matrix and determinant of adjoint?