En primer lugar, para $0<z<1$ tenemos $\log{z}<0$ que es un problema para definir $\sqrt{\log{z}}$ . Como resultado $z\geq 1$ o, en términos de $f(x)$ , deberíamos tener $\log{\frac{1}{|x|}}\geq 0 \Rightarrow \frac{1}{|x|}\geq 1 \Rightarrow 0< |x|\leq 1$ . Este es el dominio de $f(x)$ .
Obviamente $f(x) \geq 0$ , $f(1)=f(-1)=0$ . También $f(x)=f(-x)$ como resultado podemos restringir el estudio a $0< x\leq 1$ (el otro lado es simétrico).
Función $f(x)$ tiene un máximo en $x=\frac{1}{e}$) y está ascendiendo en $\left(0,\frac{1}{e}\right)$ . Esto significa que para $$0<z<y<\varepsilon y \leq \frac{1}{e} \Rightarrow f(z) \leq f(y) < 2\sqrt{\varepsilon}f(y)$$
Sin embargo, si seguimos asumiendo que la desigualdad es cierta para todo el $0< x\leq 1$ :
- Para $y=1$ y $0<z<\varepsilon y=\varepsilon \leq 1$ Esto lleva a $0\leq f(z)\leq 2\sqrt{\varepsilon}f(1)=0$ que es sólo es posible para $z=1$) - contradicción.
- Para $y=1-\frac{1}{n},n \in \mathbb{N}\setminus \{0,1\}$ y $z=\frac{1}{e}$ podemos afinar $0<\frac{1}{e}<\varepsilon \left(1-\frac{1}{n}\right)<1$ por ejemplo $\varepsilon=\frac{1}{2}$ . Utilizando esta desigualdad $$f\left(\frac{1}{e}\right)=\frac{1}{\sqrt{e}}\le 2\sqrt{\varepsilon}f\left(y\right)=2\sqrt{\varepsilon}\sqrt{y\log{\frac{1}{y}}} \le 2\sqrt{\varepsilon}\sqrt{y\left(\frac{1}{y}-1\right)}=2\sqrt{\varepsilon}\sqrt{1-y}=2\sqrt{\frac{\varepsilon}{n}}$$ o simplemente $$\frac{1}{\sqrt{e}} \le 2\sqrt{\frac{\varepsilon}{n}}$$ lo cual es erróneo para los grandes $n$ - otra contradicción. De hecho, una secuencia infinita de contradicciones si observamos $y_n=1-\frac{1}{n}$ .
Por lo tanto, no hay una respuesta definitiva mientras mantengamos todo el dominio $0< |x|\leq 1$ se requieren más restricciones.
1 votos
Utilice el hecho de que $\log{x}$ es una función ascendente.