Une équation fonctionnelle difficile
Bonjour,
Soit l'équation fonctionnelle $(E) : \forall x,y \in \mathbb{R}^*, f(x) f(y) = f\left(x f\left(\frac{y f(x)}{x}\right)\right)$. On peut remarquer que $\{x \longmapsto a+b x \mid a,b \in \{0,1\}\}$ est l'ensemble des solutions affines de $(E)$. Y a-t-il d'autres solutions de $(E)$ ?
Réponses
-
Est-ce volontaire d'avoir exclu $y=0$ de l'équation ?
-
Oui, en fait je cherche les solutions de $f(x) f(x y) = f(xf(yf(x)))$ mais pour faire apparaitre la symétrie, j'ai transformé l'équation. Comme je veux absolument que $x$ et $y$ vivent dans le même espace (pour des raisons de symétrie), il faut exclure $y = 0$.
-
Si $f$ est solution de la deuxième équation, il me semble que $x \mapsto (f(x^a))^{1/a}$ est solution si $a$ est un entier impair strictement positif, ou l'inverse d'un entier impair strictement positif.
Donc $f(x)=(1+x^{1/3})^3$ convient par exemple. -
Si $\phi$ est une fonction (non nécessairement continue) vérifiant $\phi(xy)=\phi(x) \phi(y)$ pour tout $x,y$ et bijective de $\R$ dans $\R$, et si $f$ est solution, alors $\phi^{-1}\circ f \circ \phi$ est aussi solution. Sauf erreur.
-
Par exemple, si $\psi$ est $\Q$-linéaire bijective, $\phi(x)= \epsilon(x) e^{\psi(\ln |x|)}$ (où $\epsilon (x)$ est le signe de $x$) convient comme fonction multiplicative.
-
$f(x)= (1+x^n)^{1/n}$ convient aussi si $n$ est pair. Par exemple, $f(x)=\sqrt{1+x^2}$.
Ainsi que $(1+|x|^a)^{1/a}$ si $a>0$. Par exemple $f(x)=1+|x|$. -
Merci @marco . J'ai fini par comprendre que $f$ est solution si et seulement si $f(x) = F(1,x)$ où $F$ est solution du système fonctionnel $$\begin{cases} F(x,F(y,z)) = F(F(x,y), z) \\ F(\lambda x, \lambda y) = \lambda F(x,y)\end{cases}.$$ Du coup, en utilisant la solution générale (sous des conditions "raisonnables") de l'équation d'associativité $F(x,y) = g^{-1}(g(x) + g(y))$, on obtient un moyen assez efficace de caractériser les solutions "raisonnables".
Connectez-vous ou Inscrivez-vous pour répondre.
Bonjour!
Catégories
- 165.4K Toutes les catégories
- 62 Collège/Lycée
- 22.2K Algèbre
- 37.6K Analyse
- 6.3K Arithmétique
- 61 Catégories et structures
- 1.1K Combinatoire et Graphes
- 13 Sciences des données
- 5.1K Concours et Examens
- 23 CultureMath
- 51 Enseignement à distance
- 2.9K Fondements et Logique
- 10.8K Géométrie
- 84 Géométrie différentielle
- 1.1K Histoire des Mathématiques
- 79 Informatique théorique
- 3.9K LaTeX
- 39K Les-mathématiques
- 3.5K Livres, articles, revues, (...)
- 2.7K Logiciels pour les mathématiques
- 26 Mathématiques et finance
- 342 Mathématiques et Physique
- 5K Mathématiques et Société
- 3.3K Pédagogie, enseignement, orientation
- 10.1K Probabilités, théorie de la mesure
- 804 Shtam
- 4.2K Statistiques
- 3.8K Topologie
- 1.4K Vie du Forum et de ses membres