demostrar que la siguiente función es decreciente?

Question

Intento demostrar que la siguiente función es decreciente. \begin{align}&f(t)=\frac{1-g(t)}{\sqrt{1+e^t}}\cdot\exp\left(-\frac{te^t}{2(1-e^t)}\right)&t<0\end{align} donde $ g(t)=\dfrac{(1+e^t)(1+t-e^t)}{(1-e^t)^2}$ . Tengo $$f^{\prime}(t)=-\frac{1}{2\sqrt{1+e^t}}\exp\left(-\frac{te^t}{2(1-e^t)}\right)\left[\frac{(1-g^2(t))e^t}{1+e^t}+\frac{2g(t)e^t}{1+e^t}+\frac{2(1+e^t)}{1-e^t}+\frac{4g(t)e^t}{1-e^t}\right],$$ pero no puedo mostrar que $f^\prime(t)<0$ . ¿Puede ayudarme?

Answer 1

Si hacemos los cálculos sobre lo que has escrito, obtenemos \begin{align} &-2f'(t)\sqrt{1+e^t}\cdot\exp\left(\frac{te^t}{2-2e^t}\right)=\\ &=\frac{2e^{2t}}{(e^t-1)^4(e^t+1)}\left(2\cosh(2t)-t^2\cosh t-4t\sinh t+4\cosh t-t^2-6\right)\end{align}

Después de un pequeño argumento para el caso $t=0$ (resulta que $\lim_{t\to 0} f(t)$ y $\lim_{t\to 0} f'(t)$ existen) nos damos cuenta de que, para demostrar que $f$ es estrictamente decreciente en toda la recta real, basta con demostrar que $$2\cosh(2t)-t^2\cosh t-4t\sinh t+4\cosh t-t^2-6\ge 0$$ y que la expresión anterior tiene un número finito de ceros.

Si llamamos a esa función $h(t)$ tenemos

\begin{align} \boxed{h(t)}&=2\cosh(2t)-t^2\cosh t-4t\sinh t+4\cosh t-t^2-6\\&=\sum_{k=0}^\infty \frac{2^{2k+1}}{(2k)!}t^{2k}-\sum_{k=0}^\infty \frac{1}{(2k)!}t^{2k+2}-\sum_{k=0}^\infty \frac{4}{(2k+1)!}t^{2k+2}+\sum_{k=0}^\infty\frac{4}{(2k)!}t^{2k}-t^2-6\\&\boxed{=\sum_{n=0}^\infty a_nt^n} \end{align}

Con $$\boxed{a_n=\begin{cases} 0&\text{if }n\le 2\text{ or }n\text{ is odd}\\ \dfrac{2^{n+1}}{n!}-\dfrac{1}{(n-2)!}-\dfrac{4}{(n-1)!}+\dfrac{4}{n!}&\text{ if }n\ge 4\text{ and }n\text{ is even} \end{cases}} $$

Pero $$\dfrac{2^{n+1}}{n!}-\dfrac{1}{(n-2)!}-\dfrac{4}{(n-1)!}+\dfrac{4}{n!}=\\=\frac{1}{n!}\left(2^{n+1}-n^2-3n+4\right)=\frac{1}{n!}(2^{n+1}-(n+4)(n-1))$$

Y se puede demostrar fácilmente que $2^{n+1}\ge (n+4)(n-1)$ para todos $n\ge 4$ . Por ejemplo, observando que la desigualdad se mantiene para $n=4$ y que, para $n\ge 4$ , $$\frac{(n+5)n}{(n+4)(n-1)}=\left(1+\frac{1}{n+4}\right)\left(1+\frac{1}{n-1}\right)\le \frac98\cdot\frac43=\frac32<2$$

Por lo tanto, todo el $a_n$ -s son $\ge 0$ .

Así que, obviamente $h(0)=0$ y $h(t)>0$ para todos $t>0$ .

Pero $h$ es una función par, por lo que $h(t)> 0$ para valores negativos de $t$ también.