Quiero encontrar todas las funciones $ f : \mathbb R \to \mathbb R $ que satisface la ecuación funcional $ f \big( x + y f ( x ) \big) = f ( x ) f ( y ) $, para todos los números reales $ x $$ y $.
Un hecho interesante acerca de la funcional de la ecuación es una simetría que no es, a primera vista, visible. Si uno de los sustitutos de la $ x + z f ( x ) $ $ x $ en el funcional de la ecuación, la ecuación de $ f \big( x + z f ( x ) + y f ( x ) f ( z ) \big) = f ( x ) f ( y ) f ( z ) $ sigue, que es también el resultado de la sustitución de $ z + y f ( z ) $ $ y $ en la ecuación original.
Este es mi intento:
Claramente, para cada número real constante $ a $, $ f ( x ) = a x + 1 $ es una solución. La constante cero de la función es otra solución. Suponemos que estas son las únicas soluciones.
Es fácil ver que $ f \big( x + y f ( x ) \big) = f \big( y + x f ( y ) \big) $ y por lo tanto si $ f $ es inyectiva, uno debe tener $ x + y f ( x ) = y + x f ( y ) $, dejando $ y = 1 $ rendimientos $ f ( x ) = \big( f ( 1 ) - 1 \big) x + 1 $.
Dejando $ x = y = 0 $ en el funcional de la ecuación, se pone en $ f ( 0 ) = 0 $ o $ f ( 0 ) = 1 $. Si $ f ( 0 ) = 0 $, dejando $ y = 0 $ en el funcional de la ecuación uno puede encontrar que $ f $ es la constante cero de la función. Así que a partir de ahora se supone que $ f ( 0 ) = 1 $.
Si $ f $ es diferenciable, la diferenciación funcional de la ecuación con respecto a $ y $, se pone en $ f ( x ) f ' \big( x + y f ( x ) \big) = f ( x ) f ' ( y ) $. Dejando $ y = 0 $ en la última ecuación, se obtiene $ f ( x ) \big( f ' ( x ) - f ' ( 0 ) \big) = 0 $. Ahora desde $ f $ es diferenciable en a $ 0 $, también es continua en a $ 0 $ y por lo tanto no es un número real positivo $ \delta $ que si $ - \delta < x < \delta $$ f ( x ) > 0 $. Por lo tanto, si $ - \delta < x < \delta $$ f ' ( x ) = f ' ( 0 ) $, lo que muestra que en este intervalo de $ f ( x ) = x f ' ( 0 ) + 1 $. Para cualquier $ x $ tal que $ f ( x ) \ne 0 $, uno puede sustituir a $ \frac y { f ( x ) } $ $ y $ en el funcional de la ecuación y obtenga $ f ( x + y ) = f ( x ) f \Big( \frac y { f ( x ) } \Big) $. Por lo tanto, si $ - \delta f ( x ) < y < \delta f ( x ) $$ f ( x + y ) = f ( x ) + y f ' ( 0 ) $.
Yo no podía ir más allá y además, no podía evitar la diferenciabilidad de la condición.