Skip to main content
Update for fedja's direct proof in mo.84958; remove conflicting indices $k$; justify Taylor convergence per D.Speyer's comment
Source Link
Noam D. Elkies
  • 79.9k
  • 15
  • 281
  • 376

Here's a proof of the positivity of $$ c_n(\alpha) := \sum_{r=0}^n (-1)^r {n\choose r}^\alpha $$ for all even $n$ and real $\alpha < 1$. It follows (via M.Wildon's clever $F(x) F(-x)$ trick at mo.84958) that $\sum_{n=0}^\infty x^n / n!^{\alpha} > 0$$\sum_{n=0}^\infty \phantom. x^n / n!^{\alpha} > 0$ for all $x \in\bf R$. [EDIT fedja has meanwhile provided a very nice direct proof of the positivity of $\sum_{n=0}^\infty \phantom. x^n / n!^{\alpha}$.]

The key is to write $c_n(\alpha)$ as a finite difference $$ \sum_{r=0}^n (-1)^r {n\choose r} \cdot {n\choose r}^{\alpha - 1} $$$$ \sum_{r=0}^n \phantom. (-1)^r {n\choose r} \cdot {n\choose r}^{\alpha - 1} $$ and show that the Gamma interpolation $$ \bigl(\Gamma(r+1)\Gamma(n-r+1) / n!\bigr)^{1-\alpha} = n!^{\alpha-1} \exp\bigl((1-\alpha) (\log\Gamma(r+1) + \Gamma(n-r+1)\bigr) $$ of ${n\choose r}^{\alpha - 1}$ has a positive $n$-th derivative for all $r \in [0,n]$.

This in turn follows from the fact that the expansion of $\log\Gamma(r+1) + \log\Gamma(n-r+1)$ in a Taylor series about $r = n/2$ has positive $(r - (n/2))^k$ coefficient for each $k=2,4,6,\ldots$. [The coefficient vanishes for odd $k$ because $\log\Gamma(r+1) + \log\Gamma(n-r+1)$ is an even function of $r-(n/2)$.] Indeed the well-known formula $$ \log \Gamma(x) = -\gamma x - \log x + \sum_{k=1}^\infty \left[ \frac{x}{k} - \log \left( 1 + \frac{x}{k} \right) \right] $$$$ \log \Gamma(x) = -\gamma x - \log x + \sum_{j=1}^\infty \left[ \frac{x}{j} - \log \left( 1 + \frac{x}{j} \right) \right] $$ shows that the $k$-th derivative of $\log\Gamma(x)$ is positive for all $x>0$ and $k=2,4,6,\ldots$, because this is true for $-\gamma x - \log x$ and for each term in the sum.sum; explicitly Thereforethe derivative is $k! \phantom. \sum_{j=0}^\infty (x+j)^{-k}$ which is positive termwise. Therefore in the Taylor expansion $$ \log \Gamma(r+1) = \log(n/2)! + \sum_{k=1}^\infty \phantom. g_k (r-(n/2))^k $$ each of $g_2,g_4,g_6,\ldots$ is even. Since $\log\Gamma(r+1) + \log\Gamma(n-r+1)$ is $$ 2\log(n/2)! + 2 \Bigl( g_2 (r-(n/2))^2 + g_4 (r-(n/2))^4 + g_6 (r-(n/2))^6 + \cdots\Bigr), $$ the claim follows. Multiplying [EDIT David Speyer notes that the convergence of the Taylor series on $|r-(n/2)| \leq n/2$ requires justification, and that the justification is easy because the $\Gamma(z)$ has no zeros and poles only at $0,-1,-2,\ldots$ so the radius of convergence is $(n/2)+1$.] Multiplying by $1 - \alpha$ and substituting into the the exponential series, we we deduce that $(\Gamma(r+1) \Gamma(n-r+1))^{1-\alpha}$, too, is a positive combination of even powers of $r-(n/2)$.

Now if a function $g$ has positive $n$-th derivative, then its first finite difference $$ g(x+1) - g(x) = \int_x^{x+1} g'(y) dy $$ has positive $(n-1)$-st derivative; repeating this argument $n$ times, we find that the $n$-th finite difference is positive, and we're done.

Here's a proof of the positivity of $$ c_n(\alpha) := \sum_{r=0}^n (-1)^r {n\choose r}^\alpha $$ for all even $n$ and real $\alpha < 1$. It follows (via M.Wildon's clever $F(x) F(-x)$ trick at mo.84958) that $\sum_{n=0}^\infty x^n / n!^{\alpha} > 0$ for all $x \in\bf R$.

The key is to write $c_n(\alpha)$ as a finite difference $$ \sum_{r=0}^n (-1)^r {n\choose r} \cdot {n\choose r}^{\alpha - 1} $$ and show that the Gamma interpolation $$ \bigl(\Gamma(r+1)\Gamma(n-r+1) / n!\bigr)^{1-\alpha} = n!^{\alpha-1} \exp\bigl((1-\alpha) (\log\Gamma(r+1) + \Gamma(n-r+1)\bigr) $$ of ${n\choose r}^{\alpha - 1}$ has a positive $n$-th derivative for all $r \in [0,n]$.

This in turn follows from the fact that the expansion of $\log\Gamma(r+1) + \log\Gamma(n-r+1)$ in a Taylor series about $r = n/2$ has positive $(r - (n/2))^k$ coefficient for each $k=2,4,6,\ldots$. [The coefficient vanishes for odd $k$ because $\log\Gamma(r+1) + \log\Gamma(n-r+1)$ is an even function of $r-(n/2)$.] Indeed the well-known formula $$ \log \Gamma(x) = -\gamma x - \log x + \sum_{k=1}^\infty \left[ \frac{x}{k} - \log \left( 1 + \frac{x}{k} \right) \right] $$ shows that the $k$-th derivative of $\log\Gamma(x)$ is positive for all $x>0$ and $k=2,4,6,\ldots$, because this is true for $-\gamma x - \log x$ and for each term in the sum. Therefore in the Taylor expansion $$ \log \Gamma(r+1) = \log(n/2)! + \sum_{k=1}^\infty \phantom. g_k (r-(n/2))^k $$ each of $g_2,g_4,g_6,\ldots$ is even. Since $\log\Gamma(r+1) + \log\Gamma(n-r+1)$ is $$ 2\log(n/2)! + 2 \Bigl( g_2 (r-(n/2))^2 + g_4 (r-(n/2))^4 + g_6 (r-(n/2))^6 + \cdots\Bigr), $$ the claim follows. Multiplying by $1 - \alpha$ and substituting into the exponential series, we deduce that $(\Gamma(r+1) \Gamma(n-r+1))^{1-\alpha}$, too, is a positive combination of even powers of $r-(n/2)$.

Now if a function $g$ has positive $n$-th derivative, then its first finite difference $$ g(x+1) - g(x) = \int_x^{x+1} g'(y) dy $$ has positive $(n-1)$-st derivative; repeating this argument $n$ times, we find that the $n$-th finite difference is positive, and we're done.

Here's a proof of the positivity of $$ c_n(\alpha) := \sum_{r=0}^n (-1)^r {n\choose r}^\alpha $$ for all even $n$ and real $\alpha < 1$. It follows (via M.Wildon's clever $F(x) F(-x)$ trick at mo.84958) that $\sum_{n=0}^\infty \phantom. x^n / n!^{\alpha} > 0$ for all $x \in\bf R$. [EDIT fedja has meanwhile provided a very nice direct proof of the positivity of $\sum_{n=0}^\infty \phantom. x^n / n!^{\alpha}$.]

The key is to write $c_n(\alpha)$ as a finite difference $$ \sum_{r=0}^n \phantom. (-1)^r {n\choose r} \cdot {n\choose r}^{\alpha - 1} $$ and show that the Gamma interpolation $$ \bigl(\Gamma(r+1)\Gamma(n-r+1) / n!\bigr)^{1-\alpha} = n!^{\alpha-1} \exp\bigl((1-\alpha) (\log\Gamma(r+1) + \Gamma(n-r+1)\bigr) $$ of ${n\choose r}^{\alpha - 1}$ has a positive $n$-th derivative for all $r \in [0,n]$.

This in turn follows from the fact that the expansion of $\log\Gamma(r+1) + \log\Gamma(n-r+1)$ in a Taylor series about $r = n/2$ has positive $(r - (n/2))^k$ coefficient for each $k=2,4,6,\ldots$. [The coefficient vanishes for odd $k$ because $\log\Gamma(r+1) + \log\Gamma(n-r+1)$ is an even function of $r-(n/2)$.] Indeed the well-known formula $$ \log \Gamma(x) = -\gamma x - \log x + \sum_{j=1}^\infty \left[ \frac{x}{j} - \log \left( 1 + \frac{x}{j} \right) \right] $$ shows that the $k$-th derivative of $\log\Gamma(x)$ is positive for all $x>0$ and $k=2,4,6,\ldots$, because this is true for $-\gamma x - \log x$ and for each term in the sum; explicitly the derivative is $k! \phantom. \sum_{j=0}^\infty (x+j)^{-k}$ which is positive termwise. Therefore in the Taylor expansion $$ \log \Gamma(r+1) = \log(n/2)! + \sum_{k=1}^\infty \phantom. g_k (r-(n/2))^k $$ each of $g_2,g_4,g_6,\ldots$ is even. Since $\log\Gamma(r+1) + \log\Gamma(n-r+1)$ is $$ 2\log(n/2)! + 2 \Bigl( g_2 (r-(n/2))^2 + g_4 (r-(n/2))^4 + g_6 (r-(n/2))^6 + \cdots\Bigr), $$ the claim follows. [EDIT David Speyer notes that the convergence of the Taylor series on $|r-(n/2)| \leq n/2$ requires justification, and that the justification is easy because the $\Gamma(z)$ has no zeros and poles only at $0,-1,-2,\ldots$ so the radius of convergence is $(n/2)+1$.] Multiplying by $1 - \alpha$ and substituting into the exponential series, we deduce that $(\Gamma(r+1) \Gamma(n-r+1))^{1-\alpha}$, too, is a positive combination of even powers of $r-(n/2)$.

Now if a function $g$ has positive $n$-th derivative, then its first finite difference $$ g(x+1) - g(x) = \int_x^{x+1} g'(y) dy $$ has positive $(n-1)$-st derivative; repeating this argument $n$ times, we find that the $n$-th finite difference is positive, and we're done.

Source Link
Noam D. Elkies
  • 79.9k
  • 15
  • 281
  • 376

Here's a proof of the positivity of $$ c_n(\alpha) := \sum_{r=0}^n (-1)^r {n\choose r}^\alpha $$ for all even $n$ and real $\alpha < 1$. It follows (via M.Wildon's clever $F(x) F(-x)$ trick at mo.84958) that $\sum_{n=0}^\infty x^n / n!^{\alpha} > 0$ for all $x \in\bf R$.

The key is to write $c_n(\alpha)$ as a finite difference $$ \sum_{r=0}^n (-1)^r {n\choose r} \cdot {n\choose r}^{\alpha - 1} $$ and show that the Gamma interpolation $$ \bigl(\Gamma(r+1)\Gamma(n-r+1) / n!\bigr)^{1-\alpha} = n!^{\alpha-1} \exp\bigl((1-\alpha) (\log\Gamma(r+1) + \Gamma(n-r+1)\bigr) $$ of ${n\choose r}^{\alpha - 1}$ has a positive $n$-th derivative for all $r \in [0,n]$.

This in turn follows from the fact that the expansion of $\log\Gamma(r+1) + \log\Gamma(n-r+1)$ in a Taylor series about $r = n/2$ has positive $(r - (n/2))^k$ coefficient for each $k=2,4,6,\ldots$. [The coefficient vanishes for odd $k$ because $\log\Gamma(r+1) + \log\Gamma(n-r+1)$ is an even function of $r-(n/2)$.] Indeed the well-known formula $$ \log \Gamma(x) = -\gamma x - \log x + \sum_{k=1}^\infty \left[ \frac{x}{k} - \log \left( 1 + \frac{x}{k} \right) \right] $$ shows that the $k$-th derivative of $\log\Gamma(x)$ is positive for all $x>0$ and $k=2,4,6,\ldots$, because this is true for $-\gamma x - \log x$ and for each term in the sum. Therefore in the Taylor expansion $$ \log \Gamma(r+1) = \log(n/2)! + \sum_{k=1}^\infty \phantom. g_k (r-(n/2))^k $$ each of $g_2,g_4,g_6,\ldots$ is even. Since $\log\Gamma(r+1) + \log\Gamma(n-r+1)$ is $$ 2\log(n/2)! + 2 \Bigl( g_2 (r-(n/2))^2 + g_4 (r-(n/2))^4 + g_6 (r-(n/2))^6 + \cdots\Bigr), $$ the claim follows. Multiplying by $1 - \alpha$ and substituting into the exponential series, we deduce that $(\Gamma(r+1) \Gamma(n-r+1))^{1-\alpha}$, too, is a positive combination of even powers of $r-(n/2)$.

Now if a function $g$ has positive $n$-th derivative, then its first finite difference $$ g(x+1) - g(x) = \int_x^{x+1} g'(y) dy $$ has positive $(n-1)$-st derivative; repeating this argument $n$ times, we find that the $n$-th finite difference is positive, and we're done.