Problema del mes de febrero 2005

[minkowski]

Editado
Problema del mes- Febrero de 2005

Sea una función derivable tal que .
Probar que

********************************************************

Primero de todo hola a todo el mundo,

Espero que la demostración sea del agrado y comprensión de todos.
Os agradeceré cualquier comentario al respecto,
gracias.

[narun]

Saludos Minkowski.
Tengo una duda respecto de la prueba. ¿Por qué debo suponer que f(x) es un polinomio?. El enunciado sólo dice "función derivable", e imponer que sea un polinomio es una restricción muchísimo más fuerte ¿no?.

Un abrazo
Narun

[minkowski]

Saludos Narun,
tienes razón respecto a la restricción que yo mismo impongo. No me había dado cuenta del enunciado así que gracias por hacerme caer en eso. Os adjunto una revisión a la demostración que creo que servirá para toda función derivable.

Una vez más agradeceré toda crítica respecto a la demostración.
Saludos

[narun]

Lo siento, pero ahora........¿por qué racional?.
Yo lo he intentado pero necesitaría asegurar que f' es continua, si no no me sirve.
Las funciones pueden llegar a ser muy pero que muy extrañas
Seguiremos buscando.

[teeteto]

Bueno, aunque meterse en una conversación ajena es de mala educación, les adjunto mi solución. En ella, si es correcta, no necesito que f sea de ningún tipo concreto ni la continuidad de f'.
Un saludo.

[narun]

intento descargarla y me pide de nuevo la contraseña y demás (como si aun no lo hubiese hecho) ¿alguien sabe por qué puede ser?

[minkowski]

Hola.
Me ha gustado mucho esa forma de resolverlo, muy elegante. De todas formas me gustaria saber si mi demostración sería válida aproximando cualquier función por su desarrollo por potencias, aunque un poco rudimentaria. Tengo interés en saber dónde estaría el fallo,
gracias.

[teeteto]

Para emplear la serie de potencias necesitas que tu función sea derivable infinitas veces,  y esa hipótesis no la tenemos. Además también hay que pedir una cierta condición de acotación sobre los valores de las derivadas.
Saludos.

[administrador]

intento descargarla y me pide de nuevo la contraseña y demás (como si aun no lo hubiese hecho) ¿alguien sabe por qué puede ser?

Lo siento, parece tratarse de un bug de SMF, que no estaba en la versión antigua de estos foros (YaBB SE)

Probá con alguna de las siguientes cosas, siempre de lo menos cruento a lo más cruento.

a) Click en el botón de Incio, y luego volvé a la discusión, intentando descargar el pdf.

b) Si fracasa lo anterior, ir a las Preferencias de tu navegador, y si éste te lo permite, borrá la(s) cookie(s) que te haya metido Rincón Matemático

c) Si no podés borrar solamente las cookies del Rincón, hacé algo más brutal: borrá todas las cookies (eso no trae ningún peligro)

Por favor, teneme al tanto de tus resultados y, de haber tenido éxito, decime cuál de las opciones te resultó.
Gracias

[xhant]

Me parece que es la siempre temible combinacion de IE y no tener correctamente configuradas las cookies. Consejo: si podés usá FireFox.

[xhant]

Hola!

Hola.
Me ha gustado mucho esa forma de resolverlo, muy elegante. De todas formas me gustaria saber si mi demostración sería válida aproximando cualquier función por su desarrollo por potencias, aunque un poco rudimentaria. Tengo interés en saber dónde estaría el fallo,
gracias.

El fallo puede venir de varias partes, existen funciones que no tienen desarrollo en serie de potencias, si tuviera existen funciones en las cuales el radio de convergencia de la serie no es igual al dominio, para poder derivar series es hay que pedir condiciones adicionales (convergencia absoluta o uniforme, nunca me acuerdo). Si tomas polinomios siempre te va a quedar un término que es el error y que no se puede controlar.

[León]

Clarísima la prueba de teeteto.

Para seguirla, vale la pena buscar un contraejemplo si se debilitan las hipotesis a f: R->R, derivable en todo R salvo quizás en algún punto [y la otra, f(x/2) = 1/2f(x)]

Si alguien tiene ganas de invertir su tiempo en la tarea y lo otro le parece fácil, buscar un contraejemplo que sea una función creciente... ¿y que se construya con operaciones simples (sumas, productos, inversas, composiciones) de las funciones usuales del análisis (y escalares, por ahi)?

[EverST]

Hola, no consigo abrir el PDF de la respuesta de Teeto... Es decir, lo abro, pero aparecen un motón de puntos. ¿Le ocurre a alguien más?

[teeteto]

Hola, por suerte conservo el original. Lo vuelvo a adjuntar a ver. Cuiroso que alguien rescate esto dos años después... Quizás podría retomarse "el problema del mes", aunque puede ser demasiado trabajoso quizás.

Saludos.

[Kr0m@gn0n]

Hola, por suerte conservo el original. Lo vuelvo a adjuntar a ver. Cuiroso que alguien rescate esto dos años después... Quizás podría retomarse "el problema del mes", aunque puede ser demasiado trabajoso quizás.

Saludos.

Saludos Teeteto

Tengo una duda, ¿por qué consideras cuando en realidad en problema indica ?

De igual manera, ¿por qué consideras ?

Yo estuve resolviendo el problema considerando a como polinomio de grado n, puesto que no puede tener la forma y efectivamente lo cual indica que es infinitamente derivable en 0.

Desarrollando:



En x=0

entonces


Además

entonces


Y así sucesivamente hasta

entonces


Por lo tanto



Y de allí

ya que

[Braguildur]

Hola Kr0m@gn0n, supongo que en el documento adjunto de teeteto, al escribir sólo se cometió un error de tipeo, pues lo que se usa en la solución es es dato

Spoiler (click para mostrar u ocultar)

Nota que de se puede deducir por inducción que usando que

 Además en el planteamiento del problema no se menciona que sea un polinomio, sino en una función un poco más arbitraria (con las condiciones del problema) y al considerarla polinomio estas estudiando sólo un caso particular.

 Espero haberte ayudado con tus dudas 

Saludos.

[Kr0m@gn0n]

 Espero haberte ayudado con tus dudas 

Aclaradas. 

[uthmathar]

Hola he aqui un solucion del problema.

La funcion f(x) se puede escribir como un polinomio de Taylor.

Asi f(x)=a0 + a1*x+a2*x*x+a3*x*x*x+...

pero sabemos que f(x/2)=1/2*f(x), Asi pues todos los ak=0 excepto a1.

f`(0)=a1 y f(x)=x*a1=x*f`(0)
como queriamos demostrar

[el_manco]

Hola

 Esa solución ya se comentó más arriba. El problema es que hay que suponer que es infiniatmente derivable y desarrollable en serie de Taylor. Eso no está incluído en las hipótesis.

Saludos.

[Saldiash]

Se que es bastante tarde para meterme a resolver (o intentar) este problema, pero acabo de verlo recién y se me ocurre una respuesta que no he visto por aquí.

Al pedir que f(x/2) sea igual a f(x)/2, creo que directamente nos reduce el problema a funciones lineales de término independiente nulo, es decir, funciones de la forma f(x)=ax.

Por ejemplo, si x=4, según el enunciado, f(2) será igual a f(4)/2. Esto significa que 2.f(2)=f(4).

Si analizamos esto último, se ve claramente que al duplicar la x, se duplica f(x)... esto es una función de proporcionalidad directa.

Esto se puede "deducir" mirando justamente lo que se debe demostrar. Ya que si f(x)=f`(0).x, entonces quedan sólo dos opciones, f`(0)=0 o f`(0)=a. Es decir, el valor de la derivada (que sabemos que existe) para x=0, debe valer un número. Si ese número es cero, entonces f(x)=f`(0).x=0.x=0.

Si f`(0)=a, entonces f(x)=f`(0).x=ax.

De todas formas la única función que puede cumplir el enunciado del problema es la función f(x)=ax, para cualquier a, y siendo así, la demostración que se pide en el problema es bastante más simple.

Si f(x)=ax, entonces f`(x)=a.
Y se ve claramente que f`(0)=a y que f(x)=f`(0).x=ax

Saludos.