Skip to main content
Fixed the dependence on the sign of $(\alpha-\beta)$
Source Link
pwl
  • 263
  • 1
  • 7

I would like to bound from above the expression

$$ \frac{\Gamma(\alpha,x)-\Gamma(\alpha,y)}{\Gamma(\beta,x)-\Gamma(\beta,y)} $$ for $x>y>0$. By plotting the above expression I have found that it should hold $$ \frac{\Gamma(\alpha,x)-\Gamma(\alpha,y)}{\Gamma(\beta,x)-\Gamma(\beta,y)}< y^{\alpha-\beta} $$ for $\alpha > \beta$$\alpha < \beta$ and $$ \frac{\Gamma(\alpha,x)-\Gamma(\alpha,y)}{\Gamma(\beta,x)-\Gamma(\beta,y)}< x^{\alpha-\beta} $$ for $\alpha < \beta$$\alpha > \beta$. To prove the first estimate my guess was to show that a function $$ f(\alpha)=y^{-\alpha}(\Gamma(\alpha,x)-\Gamma(\alpha,y)) $$ is increasing in $\alpha$. It seemed natural to me to compute $\partial_\alpha f(\alpha)$ but things started to get rough because $\partial_\alpha \Gamma(\alpha,x)$ has to be expressed as Meijer G-function. So the question is is there a more elementary proof of the presented estimates? Are there "better" estimates of which my estimates are special cases?

I would like to bound from above the expression

$$ \frac{\Gamma(\alpha,x)-\Gamma(\alpha,y)}{\Gamma(\beta,x)-\Gamma(\beta,y)} $$ for $x>y>0$. By plotting the above expression I have found that it should hold $$ \frac{\Gamma(\alpha,x)-\Gamma(\alpha,y)}{\Gamma(\beta,x)-\Gamma(\beta,y)}< y^{\alpha-\beta} $$ for $\alpha > \beta$ and $$ \frac{\Gamma(\alpha,x)-\Gamma(\alpha,y)}{\Gamma(\beta,x)-\Gamma(\beta,y)}< x^{\alpha-\beta} $$ for $\alpha < \beta$. To prove the first estimate my guess was to show that a function $$ f(\alpha)=y^{-\alpha}(\Gamma(\alpha,x)-\Gamma(\alpha,y)) $$ is increasing in $\alpha$. It seemed natural to me to compute $\partial_\alpha f(\alpha)$ but things started to get rough because $\partial_\alpha \Gamma(\alpha,x)$ has to be expressed as Meijer G-function. So the question is is there a more elementary proof of the presented estimates? Are there "better" estimates of which my estimates are special cases?

I would like to bound from above the expression

$$ \frac{\Gamma(\alpha,x)-\Gamma(\alpha,y)}{\Gamma(\beta,x)-\Gamma(\beta,y)} $$ for $x>y>0$. By plotting the above expression I have found that it should hold $$ \frac{\Gamma(\alpha,x)-\Gamma(\alpha,y)}{\Gamma(\beta,x)-\Gamma(\beta,y)}< y^{\alpha-\beta} $$ for $\alpha < \beta$ and $$ \frac{\Gamma(\alpha,x)-\Gamma(\alpha,y)}{\Gamma(\beta,x)-\Gamma(\beta,y)}< x^{\alpha-\beta} $$ for $\alpha > \beta$. To prove the first estimate my guess was to show that a function $$ f(\alpha)=y^{-\alpha}(\Gamma(\alpha,x)-\Gamma(\alpha,y)) $$ is increasing in $\alpha$. It seemed natural to me to compute $\partial_\alpha f(\alpha)$ but things started to get rough because $\partial_\alpha \Gamma(\alpha,x)$ has to be expressed as Meijer G-function. So the question is is there a more elementary proof of the presented estimates? Are there "better" estimates of which my estimates are special cases?

added top level tag
Link
Ricardo Andrade
  • 6.2k
  • 5
  • 42
  • 69
Source Link
pwl
  • 263
  • 1
  • 7

Estimate of a ratio of two incomplete gamma functions

I would like to bound from above the expression

$$ \frac{\Gamma(\alpha,x)-\Gamma(\alpha,y)}{\Gamma(\beta,x)-\Gamma(\beta,y)} $$ for $x>y>0$. By plotting the above expression I have found that it should hold $$ \frac{\Gamma(\alpha,x)-\Gamma(\alpha,y)}{\Gamma(\beta,x)-\Gamma(\beta,y)}< y^{\alpha-\beta} $$ for $\alpha > \beta$ and $$ \frac{\Gamma(\alpha,x)-\Gamma(\alpha,y)}{\Gamma(\beta,x)-\Gamma(\beta,y)}< x^{\alpha-\beta} $$ for $\alpha < \beta$. To prove the first estimate my guess was to show that a function $$ f(\alpha)=y^{-\alpha}(\Gamma(\alpha,x)-\Gamma(\alpha,y)) $$ is increasing in $\alpha$. It seemed natural to me to compute $\partial_\alpha f(\alpha)$ but things started to get rough because $\partial_\alpha \Gamma(\alpha,x)$ has to be expressed as Meijer G-function. So the question is is there a more elementary proof of the presented estimates? Are there "better" estimates of which my estimates are special cases?