6
$\begingroup$

I am stuck on proving the inequality in

$LHS:=\sum_{k=1}^{\infty}(-\lambda)^k\prod_{i=1}^k \left(1+\frac{\alpha}{n+i}\right)\geq \sum_{k=1}^{\infty}(-\lambda)^k\left(1+\frac{\alpha}{n}\right)^k=\frac{-\lambda(\alpha+n)}{n+\lambda(\alpha+n)}:=RHS$

where $\lambda, \alpha, n\geq 0$, and $\lambda\left(1+\frac{\alpha}{n}\right)<1$ which ensures convergence of RHS. If necessary, one may assume $2\alpha$ is an integer.

Obviously, LHS=RHS if $\alpha=0$ or $n\rightarrow\infty$. Numerical evaluations indicate (no proof):

  • The inequality is valid, also if $n$ at the right hand side is replaced by $n+\frac{1}{2}$
  • The difference LHS-RHS increases monotonically in $a$ and decreases monotonically in $n$

Background (no need to read this): If $S$ is a Gamma distribution with shape $\alpha$ and scale $\lambda$, and $n$ an even integer, then $LHS = \frac{1}{x_n}\sum_{k=n+1}^{\infty}x_k$ where $x_k = \frac{E[(-S)^k]}{k!} = \frac{(-\lambda)^k\Gamma(\alpha+k)}{k!\Gamma(\alpha)} $. Thus, LHS is the scaled remainder when $\sum_{k=0}^{\infty}x_k=E[\exp(-S)]=\frac{\alpha\lambda}{(1+\lambda)^{\alpha+1}}$ is truncated after $n$ terms.

  • 2
    The LHS is a hypergeometric series, and using Euler's representation for the Gauss's hypergeometric function one has: $$ \mathrm{LHS} = -\lambda (n+a+1) \int_0^1 (1-t)^{n} \left(1 + \lambda t \right)^{-n-a-2} \mathrm{d} t $$ Maybe this could be useful.2012-08-06
  • 0
    Adding 1 to LHS and RHS, and replacing $a$ by $\alpha$ to avoid confusion then gives2012-08-07
  • 0
    $$_2F_1(n+\alpha,1;n;-\lambda)\geq\frac{1}{1+\lambda(1+\alpha/n)}$$ I still do not see how to prove this inequality. Proving that the derivative of the difference $LHS-RHS$ to $\alpha$ is positive would be sufficient.2012-08-07
  • 0
    After some rewriting, it turns out that I need to prove $$ \int_0^1 \frac{t^{n-1}}{(1+\lambda(1-t))^{n+\alpha+1}}dt\geq\int_0^1 t^{\lambda(n+\alpha)+n-1}dt\,. $$ Can anybody help me?2012-08-10
  • 0
    your inequality is $f(t)=a-b>0$ for which I took the second derivative and saw that it was all positive. This means it was convex and increasing in $t$. The problem was that the closed form expression wasso ugly. I did it in MATLAB.2012-08-10
  • 0
    (1) I suppose you chose specific values for $\lambda$, $n$, and $\alpha$ in MATLAB to show that the second derivative is positive. However, I want to prove the inequality for any set of positive parameters. (2) I don't see that just a positive second derivative with respect to $t$ proves the inequality. Of course $f(0)=0$, but $f'(0)<0$.2012-08-11
  • 0
    What you suppose is correct but how did you find that $f'(0)<0$?2012-08-11
  • 0
    I am sorry $f'(0)>0$ holds in general as follows from the positive first term of the Taylor expansion of the denominator term around $t=0$, and $\lambda(n+\alpha)>0$. However, $f''$ is in general not positive on the domain $[0,1]$. Check this MATLAB code for a counter example: a = 3; n = 20; L = 0.5; t = linspace(0,1); f = t.^(n-1)./(1+L*(1-t)).^(n+a+1) - t.^(L*(n+a)+n-1); plot(t,f);2012-08-11

1 Answers 1

1

The inequality you suggest in the comments:$_2F_1(n+\alpha,1;n;-\lambda)\geq\frac{1}{1+\lambda(1+\alpha/n)}$ is not true. Take $n=2, a=1,\lambda=-0.1$. Then the $_2F_1(n+\alpha,1;n;-\lambda)=105/121$. On the other hand $1/(1+\lambda(1+\alpha/n))=20/23$.

It is clear that $20/23>105/121$ and hence the inequality does not hold.

On then other hand you could take the first two terms from the series representations of the hypergometric function and very easily see that:$$ _2F_1(n+\alpha,1;n;-\lambda)\geq1-\lambda(1+\alpha/n) $$