11 votos

La pregunta sobre una función que es una proporción de funciones gamma y parece estar aumentando estrictamente para$x\ge 2$

Me sorprendió descubrir que la siguiente función parece ser estrictamente creciente para $x \ge 2$:

$$f(x) = \frac{\Gamma(x+1)}{\Gamma(\frac{x}{2}+1)\Gamma(\frac{x}{3}+1)\Gamma(\frac{x}{5}+1)}$$

cuando he probado diferentes valores de $x$ el uso de Excel.

Yo había asumido que sería disminuyendo desde $x < \frac{x}{2} + \frac{x}{3} + \frac{x}{5}$.

Quería comprobar que esto es cierto, mediante la comprobación de la derivada.

Me pareció que la manera correcta de hacer esto es utilizar esta serie de la función digamma, de modo que:

$$\frac{d}{dx}\left(\ln \Gamma(x+1) - \ln \Gamma(\frac{x}{2}+1) - \ln\Gamma(\frac{x}{3}+1) - \ln\Gamma(\frac{x}{5}+1)\right) =$$

$$ \psi(x+1) - \frac{\psi(\frac{x}{2}+1)}{2} - \frac{\psi(\frac{x}{3}+1)}{3}-\frac{\psi(\frac{x}{5}+1}{5}=$$

$$\frac{\gamma}{6}+ \sum_{k=0}^{\infty}\left(\frac{-1}{30k+30}-\frac{1}{k+x+1} + \frac{1}{2k+x+2} + \frac{1}{3k+x+3} + \frac{1}{5k+x+5}\right)$$

No es obvio para mí que este derivado es mayor que $0$ para $x \ge 2$

¿Cómo puedo completar la derivada para llegar a mi conclusión acerca de si esta función es estrictamente creciente o no de $x \ge 2$?

6voto

mjqxxxx Puntos 22955

Stirling aproximación dice que $\log \Gamma(z) \sim z \log z + O(z)$. Por lo $$\log \Gamma(\alpha x + 1)\sim (\alpha x + 1)\log(\alpha x + 1)+O(x)\sim \alpha x \log x + O(x),$$ y así, ciertamente, $\log f(x)\sim -\frac{1}{30}x\log x + O(x)$: su función debe, eventualmente, iniciar la disminución de asintóticamente a cero. Pero finalmente es importante. Vamos a tratar de estimar donde esto sucede.

Considerar la relación de $f(30y+30) / f(30y)$, donde $y$ es un número entero. Usted tiene $$ \frac{f(30y+30)}{f(30y)}=\frac{\Gamma(30y+31)\Gamma(15y+1)\Gamma(10y+1)\Gamma(6y+1)}{\Gamma(30y+1)\Gamma(15y+16)\Gamma(10y+11)\Gamma(6y+7)}=\frac{(30y+30)!(15y)!(10y)!(6y)!}{(30y)!(15y+15)!(10y+10)!(6y+6)!}=\frac{(30y+30)(30y+29)\cdots(30y+1)}{(15y+15)(15y+14)\cdots(15y+1)\cdot(10y+10)\cdots(10y+1)\cdot(6y+6)\cdots(6y+1)}\approx\frac{30^{30}}{15^{15}10^{10}6^{6}}\frac{1}{y}=\frac{1.008\times10^{12}}{y}, $$ donde la $\approx$ se llegó a sacar los prefactors, contando poderes de $y$, e ignorando el aditivo de términos (que se justifica cuando se $y$ es grande). Este va a ser menos de $1$ finalmente... cuando $y$ supera un billón. Su función va a comenzar a disminuir cuando se $x$ es mayor de $3\times 10^{13}.$ Por ese punto, $f(x)$ va a tener muchos miles de millones de dígitos decimales, que me atrevo a decir que es un poco más que Excel puede controlar.

i-Ciencias.com

I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.

Powered by:

X