5 votos

Mostrar $f(z) \le 2 \sqrt{ \varepsilon} f(y)$ si $z < \varepsilon y$ para un determinado $f$

¿Es posible mostrar $f(z) \le 2 \sqrt{ \varepsilon} f(y)$ si $z < \varepsilon y$ para $f(x) = \sqrt{|x|\log \frac{1}{|x|}}$ ? Me gustaría utilizar esta desigualdad en una demostración pero no sé si es cierta y cómo puedo demostrarla.

¡Cualquier sugerencia sería genial!

1 votos

Utilice el hecho de que $\log{x}$ es una función ascendente.

1voto

rtybase Puntos 430

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

¡Gracias! Es una pena que no haya una respuesta definitiva. Así que no puedo usar esta desigualdad. Pero usted asumió que $\varepsilon >1$ ¿No es así? Así que creo que para $\varepsilon >0$ todo el problema se vuelve mucho más complicado, si no imposible. Lo intentaré de nuevo. Tal vez pueda dar más restricciones.

0 votos

Para el primer caso positivo en $(0,\frac{1}{e})$ - Sí, $\varepsilon >1$ . Sin embargo, para el segundo y tercer caso negativo $\varepsilon < 1$ . Sí, probablemente se podría obtener un resultado estable restringiendo aún más los dominios de $f(x)$ y $\varepsilon$ .

0 votos

He descubierto que puedo restringir $y < \varepsilon$ . Y entonces puedo mostrar que para $g(x):=f^2(x)=x \log \frac{1}{x}$ tenemos $g(z) < g(\varepsilon y) < 4 \epsilon g(y)$ lo que demuestra la afirmación. Gracias de nuevo por la ayuda.

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