Hallemos la función

Publicado por ^DiAmOnD^ | 13 octubre, 2009 | Juegos | 6 |

Vamos con el problema semanal:

Dado $latex 0 < \alpha < 1$, hallar todas las funciones continuas $latex f:\; [0,1] \to \mathbb{R}$ que cumplen lo siguiente:
$|f(x)-f(y)| \geq |x-y|^\alpha$

Ánimo y a por él.

¿Te ha gustado la entrada? Puedes invitarme a un café, Gauss te lo agradecerá 😉

0 0 votes

Article Rating

Comparte:

Sobre el Autor

^DiAmOnD^

Miguel Ángel Morales Medina. Licenciado en Matemáticas y autor de Gaussianos y de El Aleph. Puedes encontrarme también en Twitter, en Instagram, en Geogebra.org y en Facebook.

Puedes utilizar código LaTeX para insertar fórmulas en los comentarios. Sólo tienes que escribir
[latex]código-latex-que-quieras-insertar[/latex]
o
$latex código-latex-que-quieras-insertar$ .

Si tienes alguna duda sobre cómo escribir algún símbolo puede ayudarte la Wikipedia.

Y si los símbolos < y > te dan problemas al escribir en LaTeX, te recomiendo que uses los códigos html & lt; y & gt; (sin los espacios) respectivamente.

Name*

Email*

Website

Name*

Email*

Website

6 Comments

más antiguo

más reciente más votado

Bitacoras.com

13/10/2009 08:01

Información Bitacoras.com…

Valora en Bitacoras.com: Vamos con el problema semanal: Dado , hallar todas las funciones continuas que cumplen lo siguiente: Ánimo y a por él….

Responde

Manzano

13/10/2009 09:54

La función f ha de ser inyectiva ya que si $f(x)=f(y)$ , entonces de la desigualdad del enunciado se deduce que $|x-y|^\alpha\leq 0$ y, por tanto, $x=y$ . Consideremos la función inversa $g=f^{-1}$ , que estará definida en un cierto intervalo compacto $[a,b]$ y toma valores en $[0,1]$ . Sustituyendo $x=g(t)$ y $y=g(s)$ para $t,s\in[a,b]$ , tenemos que

$|t-s|=|f(g(t))-f(g(s))|\geq|g(t)-g(s)|^\alpha$

luego es fácil deducir que

$\displaystyle\left|\frac{g(t)-g(s)}{t-s}\right|\leq|t-s|^{1/\alpha-1}$

que es una igualdad válida para cualesquiera $t,s\in[a,b]$ con $t\neq s$ luego, fijando el punto $s$ y tomando límite en $t$ cuando $t\rightarrow s$ , el miembro de la derecha tiende a cero (ya que $1 / \alpha - 1$ es estrictamente positivo) lo que nos dice que la función $g$ es derivable en todo punto de $[a,b]$ y su derivada vale cero. En consecuencia, $g$ es constante en $[a,b]$ , pero esto contradice que sea la inversa de $f$ ya que, en particular, tendría que ser inyectiva. Deducimos que no existe ninguna función continua verificando la desigualdad del enunciado.

Hallemos la función

13/10/2009 17:48

[…] Hallemos la funcióngaussianos.com/hallemos-la-funcion/ enviado por Facso […]

Responde

13/10/2009 23:31

Muy buena, Manzano. Simplemente comentar que, de existir tal función, sería no derivable en todo punto. Hay (al menos) otra forma de probar que no existen tales funciones sin usar la inversa, pero sí que usa la monotonía de la función.

Responde

Manzano

14/10/2009 10:10

Una pregunta que me parece muy interesante a partir de este problema es si realmente es necesaria la hipótesis de continuidad. En otras palabras, ¿existe una función $f$ no continua verificando la desigualdad del enunciado? Está claro que en tal caso $f$ tiene que ser inyectiva y su inversa $g$ (que ahora estará definida en un conjunto $A=f([0,1])$ que no tiene por qué ser un intervalo) sigue siendo derivable (en los puntos $a\in A$ tales que exista una sucesión $\{a_n\}\rightarrow a$ con $a_n\in A-\{a\}$ ) y tiene derivada cero. Ahora bien, si $A$ contuviera algún intervalo podría razonarse que $g$ es constante en dicho intervalo y llegar a una contradicción. De hecho, si $f$ es continua en algún punto, como además es inyectiva, su imagen tiene que contener algún intervalo lo que nos lleva a que, de existir tal $f$ , no puede ser continua en ningún punto. No obstante, $A$ puede ser un conjunto no numerable que no contenga ningún intervalo (como por ejemplo el conjunto de Cantor) por lo que hay argumentos a favor de cualquiera de las dos respuestas. ¿Alguien se atreve a terminar la demostración o bien probar que existe un ejemplo de función no continua cumpliendo la desigualdad del enunciado?

Responde

14/10/2009 23:46

Manzano, aunque aún no tengo nada concluyente para tu cuestión, hay un hecho que me inclina a pensar que quitando la continuidad tampoco existe tal función. Es el siguiente:

la función tendría que ser totalmente discontinua en $[0,1]$ y, lo que es más, la variación total de tal función en cualquier intervalo $[a,b]\subset [0,1]$ sería infinita, ya que

$\displaystyle{\lim_{n\to \infty} \sum_{i=0}^{n-1} |f(x_{i+1})-f(x_i)|}=\infty$ , con $x_i=a+(b-a)\cdot i/n \;(0\leq i\leq n).$

Responde

17/10/2009 17:46

Si eliminamos la condición de continuidad sobre la función $f$ también se deduce la imposibilidad de su existencia. Mi respuesta usa la condición de Hölder http://en.wikipedia.org/wiki/H%C3%B6lder_condition (ver el tercer y el último ejemplo en el link).

Si $f$ cumple la condición del enunciado, entonces su inversa (definida en la imagen de $f$ ) $g:\;Im(f)\subset \mathbb{R}\to [0,1]$ satisface la condición de Hölder con exponente $\alpha^{-1}$ >1. El asunto es que $Im(f)$ no tienen porqué contener intervalos.

Sin embargo, $g$ se puede extender uniformemente a todo $\mathbb{R}$ conservando la condición Hölder (con la misma constante y mismo exponente), es decir, existe $g^*:\;\mathbb{R}\to \mathbb{R}$ tal que $g^*_{|Im(f)}=g$ y $|g^*(s)-g^*(t)|\leq |s-t|^{1/\alpha}$ , $\forall s,t\in \mathbb{R}$ . Pero, dado que $\alpha^{-1}$ >1, esto implica que $g^*$ es constante (pues su derivada es idénticamente nula), y en consecuencia tambien lo sería la propia $g$ , que es contradictorio.

Responde

Manzano

18/10/2009 18:52

Muy bonita la demostración, M. Me ha gustado mucho este problema.

Responde

Buscar

Premio Prisma 2018

Suscríbete por mail

Si quieres recibir los artículos de Gaussianos en tu mail, haz click en la imagen.

Últimas entradas

Últimos comentarios

Ignacio Larrosa Cañestro en El sorprendente poliedro de Császár
gaussianos en Hoy arranca Gaussianos
Enrique en Hoy arranca Gaussianos
Jaime en La serie armónica y la serie de los inversos de los números primos
gaussianos en Encontrado un contraejemplo de la conjetura jacobiana con Claude Fable 5

Gaussianos en Facebook

Yo construí el poliedro de Császár

Únete a la iniciativa Yo construí el poliedro de Császár. Haz click en la imagen para conocer todo los detalles.

Y visita este set de Flickr para ver las construcciones de los lectores de Gaussianos.

Déjanos tu comentariox

()

| Responde