Inéquation fonctionnelle

Olympiades mathématiques, énigmes et défis
lol37
Membre Relatif
Messages: 139
Enregistré le: 17 Avr 2010, 14:39

Inéquation fonctionnelle

par lol37 » 22 Avr 2012, 18:36

Salut !
Soit f une fonction définie, continue et à valeurs dans
Il faut déterminer l'ensemble des fonctions qui satisfaissent à l'inégalité suivante :
et ce pour tout réels x et y.
Bon courage. ( pour info j'ai même pas toutes les solutions )



Dinozzo13
Membre Transcendant
Messages: 3756
Enregistré le: 21 Juin 2009, 22:54

par Dinozzo13 » 26 Avr 2012, 06:11

Salut !

Avant tout, cette inéquation est définie si quel que soit x réel, f(x) est non nul.
On peut remarquer que cette inéquation équivaut à .
Supposons constante telle que .
Dans ce cas, on a , i.e. .
Donc l'ensemble des fonctions constantes pour .
conviennent.
Si alors .
'faudrait p't'être voir avec f une fonction de la forme a/x ou encore une homographie.
J'essaierai de poursuivre ce soir :++:

lol37
Membre Relatif
Messages: 139
Enregistré le: 17 Avr 2010, 14:39

par lol37 » 27 Avr 2012, 10:39

Merci de la réponse !
On peut même dire que f(x) est de signe constant ( th des valeurs intermédiaires )
edit : j'pense avoir résolu entierement le problème, c'est pas aussi difficile que ca en fait

acoustica
Membre Irrationnel
Messages: 1043
Enregistré le: 08 Juil 2008, 11:00

par acoustica » 27 Avr 2012, 11:27

lol37 a écrit:Merci de la réponse !
On peut même dire que f(x) est de signe constant ( th des valeurs intermédiaires )
edit : j'pense avoir résolu entierement le problème, c'est pas aussi difficile que ca en fait


Coucou. =) Pourrais-tu poster ta solution, j'ai séché... Merciiii !

lol37
Membre Relatif
Messages: 139
Enregistré le: 17 Avr 2010, 14:39

par lol37 » 27 Avr 2012, 12:10

ma solution est surement fausse, j'ai supposé que f(x) est de la forme f(x) = x pour arriver à une inéquation du second degré et la suite en découle... ( deux familles de fonctions dont l'une est bornée, l'autre majorée )

Judoboy
Membre Rationnel
Messages: 654
Enregistré le: 24 Fév 2012, 15:36

par Judoboy » 27 Avr 2012, 12:29

lol37 a écrit:ma solution est surement fausse, j'ai supposé que f(x) est de la forme f(x) = x

Ah bah oui si tu poses f(x)=x ça va vite c'est sur, mais tu rates probablement quelques solutions.

lol37
Membre Relatif
Messages: 139
Enregistré le: 17 Avr 2010, 14:39

par lol37 » 27 Avr 2012, 12:32

Judoboy a écrit:Ah bah oui si tu poses f(x)=x ça va vite c'est sur, mais tu rates probablement quelques solutions.

dans le cas de l'inégalité stricte j'obtiens un encadrement de f(x) qui ne peut être "agrandi" donc bon...

Zweig
Membre Complexe
Messages: 2012
Enregistré le: 02 Mar 2008, 03:52

par Zweig » 27 Avr 2012, 15:15

On peut déjà montrer que (en supposant f(0) > 0)



Par récurrence,



En faisant tendre n vers l'infini, on obtient par continuité,



On pose

Alors l'équation se réécrit, avec x = y,



De même,



Soit

Donc , soit

acoustica
Membre Irrationnel
Messages: 1043
Enregistré le: 08 Juil 2008, 11:00

par acoustica » 27 Avr 2012, 15:40

Judoboy a écrit:Ah bah oui si tu poses f(x)=x ça va vite c'est sur, mais tu rates probablement quelques solutions.


C'est pire que ça, la fonction identité n'est même pas solution. On ne cherche pas les réels qui vérifient l'inéquation, on cherche les fonctions pour lesquelles ça marche toujours. Or, on n'a pas toujours x*y inférieur ou égal à 1.

f étant continue et ne s'annule jamais, elle est soit positive, soit négative. On a donc deux cas à traiter.

acoustica
Membre Irrationnel
Messages: 1043
Enregistré le: 08 Juil 2008, 11:00

par acoustica » 27 Avr 2012, 16:45

Dinozzo13 a écrit:Salut !

Avant tout, cette inéquation est définie si quel que soit x réel, f(x) est non nul.
On peut remarquer que cette inéquation équivaut à .
Supposons constante telle que .
Dans ce cas, on a , i.e. .
Donc l'ensemble des fonctions constantes pour .
conviennent.
Si alors .
'faudrait p't'être voir avec f une fonction de la forme a/x ou encore une homographie.
J'essaierai de poursuivre ce soir :++:


Ce ne serait pas plutôt a dans ?

Dinozzo13
Membre Transcendant
Messages: 3756
Enregistré le: 21 Juin 2009, 22:54

par Dinozzo13 » 28 Avr 2012, 22:43

non non :

a<2/a <==> (a²-2)/a<0
Fais un tableau de signe et tu verras.

lol37
Membre Relatif
Messages: 139
Enregistré le: 17 Avr 2010, 14:39

par lol37 » 29 Avr 2012, 12:53

trouvé les fonctions et
il semble qu'il n'y a que des solutions constantes dans le cas de l'égalité... ( montré par l'absurde )

acoustica
Membre Irrationnel
Messages: 1043
Enregistré le: 08 Juil 2008, 11:00

par acoustica » 29 Avr 2012, 15:25

lol37 a écrit:trouvé les fonctions et
il semble qu'il n'y a que des solutions constantes dans le cas de l'égalité... ( montré par l'absurde )


Yop yop, tu pourrais publier ta démo pliz ? =)

lol37
Membre Relatif
Messages: 139
Enregistré le: 17 Avr 2010, 14:39

par lol37 » 30 Avr 2012, 13:06

Comment le dit bien Dinozzo13, on arrive dans le cas de l'égalité l'équation , en posant on a et en simplifiant le dénominateur
f(x) ne doit donc pas s’annuler sur , on multiplie par f(x), on obtient :
et en mettant tout du même coté
Or est bien un réel, supposons que f est une fonction non constante et continue qui soit solution
il existe donc un réel ( est aussi un réel ), tel que l'équation ne soit pas vérifiée : contradiction avec l'équation de départ qui doit être VRAIE pour tout x dans

lol37
Membre Relatif
Messages: 139
Enregistré le: 17 Avr 2010, 14:39

par lol37 » 05 Mai 2012, 15:14

Ce que j'ai fait est vrai dans le cas quand f(x) est négatif ca reste à voir

Dinozzo13
Membre Transcendant
Messages: 3756
Enregistré le: 21 Juin 2009, 22:54

par Dinozzo13 » 27 Mai 2012, 07:21

Salut !

Je viens de relire tout ça et en résumé, quel est l'ensemble des solutions ?

Matt_01
Habitué(e)
Messages: 609
Enregistré le: 30 Avr 2008, 18:25

par Matt_01 » 27 Mai 2012, 20:21

J'avais regardé vite fait et y a moyen que ce soit l'ensemble des fonctions bornées en valeur absolue par racine de 2.

 

Retourner vers ⚔ Défis et énigmes

Qui est en ligne

Utilisateurs parcourant ce forum : Aucun utilisateur enregistré et 10 invités

cron

Tu pars déja ?



Fais toi aider gratuitement sur Maths-forum !

Créé un compte en 1 minute et pose ta question dans le forum ;-)
Inscription gratuite

Identification

Pas encore inscrit ?

Ou identifiez-vous :

Inscription gratuite