équation fonctionnelle

[egan]

Salut tout le monde,

J'ai trouvé une équation fonctionnelle sympa:

Soit f de dans lui même telle que:



et dont la limite en 0 est plus l'infini.

La première étape, c'est de montrer que f est involutive. J'en suis là moi:



Il faut donc que je montre que f(1)=1 mais je ne dispose que de f(f(1))=f(1).

Si vous avez des idées, je suis preneur.
Merci d'avance.

@+ Boris.

[ffpower]

Notant a=f(1) tu as f(a)=a

Prenant x=1, y=a t'obtiens a=a²

[egan]

Notant a=f(1) tu as f(a)=a

Prenant x=1, y=a t'obtiens a=a²

Merci. C'est malin ce que tu as fait. Avec ça, on prouve que f est involutive et ensuite que f conserve le produit.
Je pense que f est continue. Si j'arrive à montrer ça, c'est quasiment fini mais je ne vois pas comment m'y prendre. Et puis surtout, je ne vois absolument pas comment exploiter la limite, ce qui est embêtant.

[ffpower]

Note que si x>1, x^n tend vers l'infini quand n tend vers l'infini

[egan]

Note que si x>1, x^n tend vers l'infini quand n tend vers l'infini

En utilisant ton indication, j'ai montré que f était décroissante. Mais je bloque toujours pour la continuité.
Je viens aussi de me rendre compte qu'il suffit de montrer qu'elle est continue en 1 pour qu'elle soit continue partout. En fait, continue en au moins un point suffit.

[egan]

Une autre petite indication pour la continuité ? :help: ^^

[ffpower]

Inutile de montrer la continuité, la monotonie permet de s'en passer.
ps: f m'a plutôt l'air croissante que décroissante

[egan]

Inutile de montrer la continuité, la monotonie permet de s'en passer.
ps: f m'a plutôt l'air croissante que décroissante

La limite de f en 0 est plus l'infini. Elle ne peut donc pas croître.

Comment tu comptes t'y prendre par contre pour conclure uniquement avec la monotonie ?

[ffpower]

Ah oui j'avais pas fait gaffe que c'était la limite en 0..

Pour conclure avec la monotonie, bah c'est presque pareil que pour conclure avec la continuité (tu n'as jamais fait l'équa fonctionnelle "f(x+y)=f(x)+f(y) et f(xy)=f(x)f(y)"?)

Tu en es où pour l'instant? tu as déterminé f sur un ensemble dense?

[egan]

Je sais faire ces équations fonctionnelles si f est continue mais je ne vois pas comment faire si f est décroissante.

[ffpower]

Tu ne saurais pas par exemple montrer que si une fonction croissante f sur R vérifie f(x)=x pour tout x dans Q alors elle vérifie en fait f(x)=x pour tout x dans R?

[egan]

Si ça je pense que je sais faire mais c'est plutôt le fait d'obtenir une égalité sur Q qui me gêne.

[ffpower]

Bah ça n' a pas vraiment de rapport avec la continuité ce passage..

Bon, imaginons qu'on rajoute l'hypothèse "f est continue" dans ton équation fonctionnelle: comment tu fais pour la résoudre?

[egan]

Je montre le résultat sur Q et je finis par densité et continuité.
Je viens de comprendre ce que je comprennais pas. Merci je vais essayer de mettre ça en forme.

[Matt_01]

J'ai l'impression qu'une fois qu'on a la décroissance stricte c'est assez simple en fait :
x -> x est croissante sur R*+ et f décroissante : f admet un unique point fixe qui est 1.
Or pour x = y dans la première equation, on a xf(x) point fixe pour tout x : xf(x)=1.

[ffpower]

Pas faux :++:

[Bony]

f est involutive donc par conséquent ne peut etre que strictement croissante ou strictement décroissante ... à priori strictement croissante me parait difficile si f tend vers + infini en 0 donc f est strictement décroissante. Apres la solution est au dessus

[ffpower]

Ca par contre c'est faux sans hypothèse de continuité

[Bony]

oui avec continuité bien sur

[Matt_01]

En fait j'ai trouvé ma solution car je ne trouvais pas celle que tu proposais ffpower.
Après reflexion, tu veux montrer que f(x^s)=f(x)^s pour tout s et conclure que f est une puissance de l'identité ?