0
$\begingroup$

Does this sum have closed form:

$$\sum_{j=0}^\infty \frac{(-1)^j \binom nj}{e^{-j m+x}-1} $$ Where: $e$ is exponential function and $x \in \mathbb{R},m>0,m \in \mathbb{R},n>0,n \in \mathbb{Z}$

Maybe this sum can use integral to solve it? Thank you

Update.

I'm seeking a n-th derivative.Using this formula:

$$\frac{\partial ^nf(x)}{\partial x^n}=\underset{m\to 0}{\lim }\, m{}^{\wedge}(-n)*\underset{j=0}{\overset{\infty }{(\sum }}(-1){}^{\wedge}j*\text{Gamma}(n+1)*f(-j*m+x)*(j!*\text{Gamma}(n+1-j){}^{\wedge}(-1))$$

where: $$f(x)=\frac{1}{e^x-1}$$

that way i'm need sum have closed form.

$\endgroup$
  • $\begingroup$ I see two angles of attack: 1) either realizing it as complex integral (as you imagine it) with an infinite number of poles (theorem of residues) or 2) Poisson summation formula. Not enough time this evening to develop any of these. $\endgroup$ – Jean Marie Jan 23 '17 at 23:00
  • $\begingroup$ If $a=1$, the term with $j=0$ has zero in its denominator. More generally, if $e^{jm} = a$, that term will have zero in its denominator. Is this a problem? $\endgroup$ – marty cohen Jan 23 '17 at 23:04
  • $\begingroup$ a is a function exp(x) ;-) $\endgroup$ – Mariusz Iwaniuk Jan 23 '17 at 23:16
1
$\begingroup$

$\binom{n}{j}$ is zero if $j>n$, hence the given sum equals, assuming $e^x=a< 1$, $$ -\sum_{j=0}^{n}(-1)^j\binom{n}{j}\frac{1}{1-ae^{-jm}}=-\sum_{h\geq 0}a^h\sum_{j=0}^{n}(-1)^j\binom{n}{j}e^{-jhm}=-\sum_{h\geq 0}a^h(1-e^{-hm})^n.$$ The other case ($a>1$) is similar. If $a=1$ the original sum, as well as any rearrangement, is diverging.

$\endgroup$
  • $\begingroup$ And what if $a=1$? $\endgroup$ – marty cohen Jan 23 '17 at 23:06
  • $\begingroup$ @martycohen: typo fixed and case included. $\endgroup$ – Jack D'Aurizio Jan 23 '17 at 23:12
  • $\begingroup$ If $a=1$, the original sum has a zero denominator at the $j=0$ term. This seems to mean that it goes to infinity as $a \to 1$. Does your regrouping have the same property? $\endgroup$ – marty cohen Jan 23 '17 at 23:18
  • $\begingroup$ @martycohen: that is kind of trivial. If $a=1$ the term $(1-e^{-hm})^n$ converges to $1$ for large values of $h$. $\endgroup$ – Jack D'Aurizio Jan 23 '17 at 23:20
  • 1
    $\begingroup$ OK, instead of "possibly useful" I should have said "clearly useful." The answer does not always have to be exactly what the asker expected. $\endgroup$ – David K Jan 24 '17 at 17:24

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.