Os dejo hoy martes el problema de esta semana:
Sea
tal que
; y
- existe
cumpliendo
.
Probar que
es periódica.
A por él.
¿Te ha gustado la entrada? Puedes invitarme a un café, Gauss te lo agradecerá 😉
Probando que es periódica
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.
La Tostadora
Tienes un 20% de descuento y envío gratis en toda la web de La Tostadora con al menos dos artículos. Usa el código GAUSSIANOS entrando con el enlace de la imagen.
Y usando el código REBAJAS tienes un 30% de descuento hasta el 8 de agosto con al menos 3 artículos.
Suscríbete por mail
Si quieres recibir los artículos de Gaussianos en tu mail haz click en la imagen.
ForoGauss
Si tienes alguna duda, pregunta o sugerencia visita ForoGauss, nuestro foro (click en la imagen). Seguro que alguien te podrá ayudar
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.
XRooMers
Visita XRooMers, nuestro nuevo blog sobre escape rooms.
En él encontrarás reseñas e información sobre los juegos de escape que hemos realizado y podrás dar tu opinión sobre ellos y tus propias sugerencias.
Y no te pierdas nuestra clasificación: The XRanking.
He encontrado que haciendo x=y tenemos f(x+x)+f(0)=2f(x)^2 (1) y haciendo -x=y tenemos f(0)+f(2x)=2f(x)f(-x) (2), si ahora resto las dos igualdades (1)-(2) da 0=2[f(x)(f(x)-f(-x)] y de este igualdad he sacado que f(x)=f(-x) para todo x, por tanto parace que sea pareja. Pero de momento no se como demostrar que es periódica. También he encontrado f(0)=/0, pero creo que ahora que pienso, la función f(x)=cosx cumple tales condiciones entonces es periodica, podriamos demostrar que es la única? suponemos dos funciones g(x) y h(x) cumplen las condiciones del enunciado, entonces existe x0 tal que g(x0)=-1 y existe xo’ tal que h(x0′)=-1 asin g(x0)=h(x0′).… Lee más »
Información Bitacoras.com…
Valora en Bitacoras.com: Os dejo hoy martes el problema de esta semana: Sea tal que ; y existe cumpliendo . Probar que es periódica. A por él. Entra en Gaussianos si quieres hacer algún comentario sobre este artículo, consultar entradas anteriore……
Supongamos que a es tal que f(a)=-1.
-2=-1+(-1)=f(a+0)+f(a-0)=2f(a)f(0)=-2f(0) luego f(0)=1
Entonces 0=1-1= f(a)+f(0)=f(a/2+a/2)+f(a/2-a/2)=2f(a/2)f(a/2) luego f(a/2)=0
Por otra parte, f(x+a)+f(x)=2f(x+a/2)•f(a/2)=0 luego f(x+a)=-f(x)
Veamos que la función es periódica de período 2 •a
f(x+2a)+f(x)=2•f(x+a)f(a)=2•(-f(x))•(-1)=2f(x) luego f(x+2a)=f(x)
pcrdeg ha dado la solución.
La pongo un poco más «bonita».
Partimos de
y particularizando en 
tenemos
luego 
tenemos
con lo que
haciendo
Por otro lado
con lo que 
Finalmente
esto es, una función periódica de periodo 
con lo que
Ahí va mi intento:
Una función es periódica de periodo
si 
Dada la función del problema:
Restando esta expresión de la que se da en el enunciado:
De donde se puede deducir que:
De forma análoga para la variable y. Con esto se demuestra que es periódica en
, lo que ya no me queda tan claro es que esto finalice la demostración de la periodicidad de la función (imagino que sí, pero no soy matemático).
Para la segunda condición, no sé por dónde tirar… ¿Alguna sugerencia?
Vale, ya he visto la solución dada por A.M. y pcrdeg y lo tengo más claro….
Curioso juego ese de manipular la función coseno con la regla de no nombrarla. Como el juego ese de no usar la vocal e.
Juanjo
¿Por qué igualas la diferencia a 0?
Si sale de la premisa es trampa en el solitario.
Si es periódica en x será periódica en x,y
en la linea de Maestrillo creo que se puede demostrar solo con la propiedad 1 de que se trata de la funcion coseno o coseno hiperbolico. La propiedad 2 descarta el hiperbolico, quedando solo el coseno. Para esto se hace una expansion de Taylor alrededor de x (salvo f(y) que se expande alrededor de 0), igualando las potencias de y quedan las ecuaciones: f(0)=1 las derivadas impares de f en 0=0 y la ecuacion mas elocuente en la segunda derivada f»(x)=f»(0)f(x) que es la ecuacion harmonica para f»(0)0 se trataria del coseno hiperbolico pero esta se descarta por la propiedad… Lee más »
rtomas, en realidad hay más.
Si solo tomásemos la primera condición, se podría decir de la función f que:
Al agregar la segunda condición, como dices se reduce a que
, pero con solo la primera condición no me queda claro si estas son las únicas soluciones posibles o habrían más.
No entiendo por qué afirmais que f(x)=cos x cuando, por ejempo, la función f(x)=cos 3x también cumple el enuncidado del problema. Lo que he podido demostrar entre ayer y hoy es lo siguiente: Si llamamos s(x)=f(a/2-x), siendo f(a)=-1, la función f(x) se comporta como una función d ela forma f(x)=cos mx y la función s(x) se comporta como s(x)=sen mx. Es decir, las habituales propiedades de la suma de ángulos se cumplen . También es cierto que f(x)^2+s(x)^2=1. Dicho esto, no tengo la menor idea si hay otras funciones distintas de las citadas que cumplan la condición del porblema. Lo… Lee más »
«No entiendo por qué afirmais que f(x)=cos x cuando, por ejempo, la función f(x)=cos 3x»
…que no deja de ser la función coseno. Esto es como cuando te corrigen «el límite de velocidades es la de la luz» diciendo «la velocidad de la luz en el vacío ¿no?». Pus sí, en el vacío, tron. Vale, no es la función coseno, es una función «tipo coseno».
A Maestrillo:
No pretendía estrar en controversia sobre si la función del problema era «el coseno» o «tipo coseno». A lo que me refería principalmente es que, aunque a partir de la condición del problema la función se comportara como un coseno, si la función no es derivable no podemos asegurar que verdaderamente es un coseno.
En efecto, la función es periódica y el periodo es 2xo. Veamos por qué: En 1. hagamos x=xo e y=0 f(xo)+f(xo)=2f(xo)*f(0) 2f(xo)=2f(xo)*f(0) Como f(xo)=-1 y no es nulo, según 2., concluimos que f(0)=1. [3] En 1. hagamos x=xo/2 e y=xo/2. Resulta: f(xo/2 + xo/2) + f(xo/2 – xo/2) = 2(f(xo/2))^2 f(xo) + f(0) = 2(f(xo/2))^2 y por [3] -1 + 1 = 2(f(xo/2))^2 0 = 2(f(xo/2))^2 Concluimos que f(xo/2) = 0 [4] En 1. hacemos ahora x=x+xo/2 e y=xo/2 f(x+xo)+f(x)=2f(x+xo/2)f(xo/2) y por [4] f(x+xo)+f(x)=0 f(x+xo)=-f(x) [5] En 1. hacemos por último x=x+xo y y=x0 f(x+2xo)+f(x)=2f(x-xo)f(xo), y aplicando [5] y 2.… Lee más »
Como ha dejado entrever Julián, a partir únicamente de la condición 1), y asumiendo que la función es dos veces derivable en se obtienen sólo las posibilidades , , y . Veámoslo: Si , entonces de 1) con sigue que . Luego, poniendo ahora , se obtiene que (luego es una función par). Supongamos que existe . Entonces, en particular, existe (por la simetría par). Además reordenando 1 se tiene que , o bien . Dado que asumimos dos veces derivabilidad en , se tiene tomando límite cuando que f es dos veces derivable en cualquier y además , con… Lee más »
La función es
Si la función no es derivable, hay más posibilidades. Por ejemplo,
para múltiplos racionales de 
y 
para el resto.
golvano, la función derivable que has dado como ejemplo no vale.
Si x no es múltiplo racional de x=, haciendo x=y tenemos que, puesto que x+y no es múltiplo racional de x0,
f(x+y)+f(x-y)=0+1
Pero 2f(x)f(y)=0.
Así que no se cumple la igualdad.
(Llevo media tarde intentando encontar alguna variante de la función que tú has indicado pero que funcione)
que interesante! 4 soluciones y buscando las no derivables!!! Yo diria que no hay soluciones no derivables… pero demostrarlo no debe ser facil. Esta claro que si es continua (o derivable) en un entorno de cero, por pequenyo que sea, es continua (o derivable) en todo R. Asi que la funcion tendria que recurrir a definiciones en conjuntos densos en R, como ha intentado golvano), que solo veo 2 ahora, los racionales y los irracionales (a mi me da que los trascendentes no son densos en R…?), asi que como ni golvano ni pcdreg lo consiguieron sera que no se… Lee más »
Yo apostaría a que la ecuación funcional 1), por sí sola, admite soluciones (patológicas) no acotadas, y que asumiendo acotación (en algún intervalo) sólo se obtienen las 4 posibilidades anteriormente indicadas. Me recuerda este asunto a la ecuación funcional de Cauchy.
A M:
No, no….. f está acotada siempre entre -1 y 1.
Como he escrito anteriormente, si 2a es el período de f entonces haciendo s(x)=f(a/2-x), es decir, «inventándonos» la función casi-seno puesto que f(x) es un casi-coseno, he podido demostrar que s(x)^2+f(x)^2=1 lo que implica que f(x) está acotada entre -1 y 1.
pcrdeg, en mi comentario anterior me refiero a las funciones que cumplen exclusivamente 1) (sin necesidad de cumplir 2)). En particular, cosh(x) no está acotada entre -1 y 1.
La ecuación 1) es conocida como Ecuación Funcional del Coseno (del mismo modo hay otra ecuación funcional del seno). Lo que no sé es si estas ecuaciones funcionales admiten soluciones patológicas. A ver si este fin de semana puedo mirar algo.
La ecuación lineal
sí que admite soluciones patológicas (usando bases de Hamel y axioma de elección), diferentes de las funciones lineales 
:
http://en.wikipedia.org/wiki/Cauchy%27s_functional_equation
Bueno vamos a demostrar que la ecuación funcional del coseno
admite soluciones patológicas. Este hecho es consecuencia de la existencia de soluciones patológicas de la ecuación funcional de Cauchy
.
Sea entonces
una solución de la ecuación de Cauchy. Definimos 
. Entonces es inmediato comprobar que 
verfica 
.
Definamos finalmente
, y comprobamos entonces que 
satisface la ecuación funcional del coseno.
Aqui se aprende un monton, jamas habia oido hablar de las soluciones patologicas de las eq funcional de Cauchy! Muchas gracias, M!
Para el seno y seno hiperbólico tenemos la ecuación funcional
que bajo la condición de continuidad en al menos un punto conduce a las posibilidades
, 
o 
, para ciertas constantes reales 
.
Imagino que eliminando la hipótesis de continuidad se obtienen también soluciones patológicas.
Unas consideraciones. Varias veces he visto comentarios sobre demostraciones que usan el axioma de elección. En todas ellas he acabado con la idea de que el uso de ese axioma determina el grado de, digamos, mala calidad matemática del resultado o, por lo menos, de la supersofisticación del resultado. En concreto, leí hace tiempo (y, a pesar de lo que digo, me gustaría volver a hacerlo, así que si alguien tiene enlaces, pues muy amable) sobre las soluciones no continuas a la ecuación funcional de linealidad y creo recordar que hablaban de su existencia pero no daban ningún ejemplo (yo… Lee más »
Maestrillo, cualquier solución a la ecuación lineal verifica que para todo . En particular así se obtiene el valor en y en . Es sobre los irracionales donde entra la patología de estas funciones, pues se pueden definir en dichos puntos con total libertad. Sin embargo, debemos admitir el axioma de elección y usar bases de Hamel de sobre para llevar a cabo estas construcciones patológicas. Además, como consecuencia, este tipo de funciones tienen gráficas densas en el plano, lo cual me parece un resultado -aunque contraintuitivo- bellísimo. Me parece que el enlace a la wikipedia que puse anteriormente deja… Lee más »
En la réplica has mejorado mi queja. Los ejemplos que pones (los que conozco) hablan de la existencia pero no permiten construir nada. De hecho, por lo poco que he podido atisbar, el axioma de elección se usa precisamente en situaciones en las que no se puede construir nada. Había oído hablar de lo poco intuitivo de ese axioma y las muy serias dudas que suscita su admisión y me picó la curiosidad. A primera vista parece obvio… hasta que ves un par de ejemplos en los que es necesario usarlo, entonces no lo parece tanto. Es decir, te parece… Lee más »
Algo que seguro varios notaron (sin recurrir a que es, o se parece a la función coseno), es que resulta ser una función par…