Peut-on tracer n'importe quelle fonction décroissante ?

Evidemment que non !
Il y a des monotones non continues, des monotones continues non dérivables, et des monotones continues dérivables.

Pffff....
Il faut vraiment que j'aille chercher mes cours ? Ou que je fouille sur Internet ?

Bien évidemment, la fonction doit être continue comme demandé ça va sans dire (on se fiche de la dérivabilité ici), ce n'était pas le sens de la question.

Ce que je voulais que tu précises, c'est à quelles conditions on obtient une courbe de fonction lorsqu'on fait la symétrie par rapport à la première bissectrice. Il faut non seulement que ce que tu traces à droite représente une fonction strictement décroissante, ça tu l'as bien vu, mais de plus, quelle doit être la limite en [latex]+\infty[/latex] ?

Donc finalement les solutions continues de l'équation fonctionnelle [latex]f(f(x))=x[/latex] sont

1) [latex]f(x) = x[/latex]

2) Les fonctions [latex]f[/latex] définies par
[TeX]f(x) = g(x)[/latex] si [latex]x \in [a;+\infty[[/TeX][TeX]f(x) = g^{-1}(x)[/latex] si [latex]x \in ]-\infty;a][/TeX]
où [latex]a \in \mathbb{R}[/latex] et [latex]g[/latex] est une bijection continue (strictement décroissante) de [latex][a;+\infty[[/latex] dans [latex]]-\infty;a][/latex].

cogito a écrit:

Il y a aussi :

[latex]f(x) = -x[/latex],
[latex]g(x) = {1\over x}[/latex] si [latex]x\neq 0[/latex] et [latex]0[/latex] sinon
[latex]h(x) = -g(x)[/latex]

f est de la deuxième forme évoquée par titoufred, avec a=0. g et h, non, par contre (ou alors j'ai raté un truc...)

Est-ce que les fonctions données dans le 2) de la réponse de Titoufred sont forcément continues ?

Elles sont par contre continues sur chaque intervalle de leur ensemble de définition !
en généralisant toutes les fonctions f définies par [latex]f(x) =\frac{1}{x-a}+a[/latex] ( pour tout x différent de a ) sont des involutions sur chaque intervalle de leur domaine de définition
donc effectivement MthS-MlndN, la fonction ne doit pas être nécessairement continue tout partout, juste que ca soit symétrique par rapport au graphe y = x bref je ne vais pas y revenir la dessus
( de toutes manieres c'est un cas particulier du post de titou )
ne cherchez pas, titou a donné toutes les solutions possibles bravo

Nombrilist : ce qu'on recherche c'est les f tels que f°f = Id ( l'identité ) et non la fonction elle même

Par contre quelqu'un pour la 2eme équation ?

MthS-MlndN a écrit:

Est-ce que les fonctions données dans le 2) de la réponse de Titoufred sont forcément continues ?

Oui.

[latex]g[/latex] est continue donc [latex]g^{-1}[/latex] aussi.

Le fait que [latex]g[/latex] soit une bijection continue de [latex][a;+\infty[[/latex] sur [latex]]-\infty;a][/latex] impose qu'elle soit strictement décroissante et donc [latex]g(a)=a[/latex].

Non

"Nombrilist : ce qu'on recherche c'est les f tels que f°f = Id ( l'identité ) et non la fonction elle même"

Euh oui, me suis emmêlé les crayons, je voulais bien dire fof = Id

Voilà, j'ai trouvé le temps de recopier mes notes :

Soit [latex]f[/latex] une solution de l'équation fonctionnelle
[TeX]f(x+y)=f(x)f(y)-f(x+a)f(y+a)[/TeX]
1er cas : [latex]a=0[/latex]

Alors [latex]f(x+y)=f(x)f(y)-f(x)f(y)=0[/latex] donc [latex]f(x)=0[/latex]

2ème cas : [latex]a \neq 0[/latex]

a) On suppose que [latex]f(a) \neq 0[/latex] :

On supposera de plus que [latex]f[/latex] est continue (en fait des conditions comme continue à droite en 0, ou monotone, ou bornée sur un intervalle suffisent).

L'égalité [latex]f(x+y)=f(x)f(y)-f(x+a)f(y+a)[/latex] devient pour [latex]y=0[/latex] :
[TeX]f(x)=f(x)f(0)-f(a)f(x+a)[/TeX]
donc [latex]f(x+a)=Kf(x)[/latex] avec [latex]K=\frac{f(0)-1}{f(a)}[/latex]

En réinjectant ceci dans l'égalité de départ, on obtient :
[TeX]f(x+y)=f(x)f(y)-Kf(x)Kf(y)= (1-K^2)f(x)f(y)[/TeX]
Posons [latex]k=1-K^2[/latex]  et  [latex]g(x)=kf(x)[/latex]

Alors [latex]f(x+y)=kf(x)f(y)[/latex]

donc [latex]kf(x+y)=kf(x)kf(y)[/latex]

donc [latex]g(x+y)=g(x)g(y)[/latex] et donc [latex]g[/latex] est une fonction exponentielle.

Autrement dit, [latex]g(x)=b^x[/latex]  où  [latex]b>0[/latex]  et donc [latex]f(x)=\frac{b^x}{1-K^2}[/latex]

Maintenant, [latex]K=\frac{f(0)-1}{f(a)}=\frac{\frac{1}{1-K^2}-1}{\frac{b^a}{1-K^2}}=\frac{K^2}{b^a}[/latex]

donc [latex]K=b^a[/latex]

Par conséquent, [latex]f(x)=\frac{b^x}{1-b^{2a}}[/latex]

Inversement, on peut vérifier que de telles fonctions vérifient l'équation de départ.