fonction continue vs fonction convexe
fonction continue vs fonction convexe
Bonjour , je poste cette question , que je trouve assez intéressante .
Soit $ f : [0, +\infty) \to [0,+\infty) $ continue , de limite nulle a l'infini $ \lim_{x \to +\infty} f(x)=0 $
Existe t'il une fonction $ g :[0, +\infty) \to [0,+\infty) $ convexe vérifiant : $ g \geq f $ et $ \lim_{x \to +\infty} g(x)=0 $
cela semble vrai , les hypothèses sur $ f $ force le fait qu'elle soit bornée , au voisinage de l'infini $ f $ se rapproche de l'axe des abscisses , donc on peut toujours imaginer une courbe qui ''suit'' la courbe$ f $ par valeurs supérieur , et dont les tangentes restent en dessous de la courbe , comme $ f $ est bornée , on peut contourné secteur ou $ f $ varie par valeur supérieur, tout en préservant la convexité....
cependant je n'arrive toujours pas a formuler une preuve , jusque la je n'ai eu que deux idées
la première déjà comme $ f $ est bornée , l'ensemble des fonctions convexes positive $ E $ qui majore $ f $ est non vide , on peut conjecturer que
$ g(x)=inf_{s\in E} s(x) $ résout le problème , cependant est ce que l'enveloppe inférieur d'un ensemble de fonctions convexes est convexe ? j'ai un doute sur cela .
l'autre de subdiviser intervalle $ [0, \infty) $ en $ I_{k} $ de longeurs $ l_{k} $ tendant vers 0
on peut considérer la suite de fonctions $ f_{k} $ qui a $ x\in I_{k} $ associe $ f_{k}(x)=f(x_{k}) $ , $ x_{k} \in I_{k} $ a choisir , pour $ l_{k} $ faible $ f_{k}(x) $ reste très proche de $ x $ , de ce fait on a une suite de fonctions simples qui suit les variations locales de $ f $ , en espérant construire $ g $ de proche en proche ...
Quelques doute : Au voisinage de l'infini les variations de $ f $ peuvent être très brusque , comme $ g $ tend aussi vers 0 , a un moment elle sera forcer de suivre les variations de $ f $ pour rester au dessus , ce qui peut briser la convexité ....
Des idées ? Merci .
Soit $ f : [0, +\infty) \to [0,+\infty) $ continue , de limite nulle a l'infini $ \lim_{x \to +\infty} f(x)=0 $
Existe t'il une fonction $ g :[0, +\infty) \to [0,+\infty) $ convexe vérifiant : $ g \geq f $ et $ \lim_{x \to +\infty} g(x)=0 $
cela semble vrai , les hypothèses sur $ f $ force le fait qu'elle soit bornée , au voisinage de l'infini $ f $ se rapproche de l'axe des abscisses , donc on peut toujours imaginer une courbe qui ''suit'' la courbe$ f $ par valeurs supérieur , et dont les tangentes restent en dessous de la courbe , comme $ f $ est bornée , on peut contourné secteur ou $ f $ varie par valeur supérieur, tout en préservant la convexité....
cependant je n'arrive toujours pas a formuler une preuve , jusque la je n'ai eu que deux idées
la première déjà comme $ f $ est bornée , l'ensemble des fonctions convexes positive $ E $ qui majore $ f $ est non vide , on peut conjecturer que
$ g(x)=inf_{s\in E} s(x) $ résout le problème , cependant est ce que l'enveloppe inférieur d'un ensemble de fonctions convexes est convexe ? j'ai un doute sur cela .
l'autre de subdiviser intervalle $ [0, \infty) $ en $ I_{k} $ de longeurs $ l_{k} $ tendant vers 0
on peut considérer la suite de fonctions $ f_{k} $ qui a $ x\in I_{k} $ associe $ f_{k}(x)=f(x_{k}) $ , $ x_{k} \in I_{k} $ a choisir , pour $ l_{k} $ faible $ f_{k}(x) $ reste très proche de $ x $ , de ce fait on a une suite de fonctions simples qui suit les variations locales de $ f $ , en espérant construire $ g $ de proche en proche ...
Quelques doute : Au voisinage de l'infini les variations de $ f $ peuvent être très brusque , comme $ g $ tend aussi vers 0 , a un moment elle sera forcer de suivre les variations de $ f $ pour rester au dessus , ce qui peut briser la convexité ....
Des idées ? Merci .
''L’ennemi du savoir , n'est pas l'ignorance , mais l'illusion du savoir '' .
Re: fonction continue vs fonction convexe
Je suis assez incertain mais je crois que construire une fonction affine par morceaux pourrait te permettre de conclure.
Re: fonction continue vs fonction convexe
Le problème, c'est de se trouver une marge de sécurité pour construire sa fonction convexe.
Indice #PTgaragiste #Gadzartstyle : x2 c'est une bonne marge de sécurité.
Un peu plus de détail :
(Je te laisse faire un dessin, c'est beaucoup plus clair avec.)
Indice #PTgaragiste #Gadzartstyle : x2 c'est une bonne marge de sécurité.
Un peu plus de détail :
SPOILER:
Chaque vénérable chêne a commencé par être un modeste gland. Si on a pensé à lui pisser dessus.
Re: fonction continue vs fonction convexe
Pas trop convexe ta fonction mais ton idée est la bonne : il faut prendre une fonction affine par morceaux dont la pente est de plus en plus faible.
Re: fonction continue vs fonction convexe
Oops, ça m'apprendra à pas réfléchir assez.
Chaque vénérable chêne a commencé par être un modeste gland. Si on a pensé à lui pisser dessus.
Re: fonction continue vs fonction convexe
Merci pour vos contribution , mais même une construction de la forme affine par morceaux me semble pas évidente , graphiquement c'est possible , mais formellement , pour $ f $ quelconque continue .... je n'arrive pas a formalisé , le probleme d'une constuction affine par morceaux est qu'on travaille pas sur un segment ! la seule possibilité est donc de définir g comme une limite d'une série de fonction affine par morceaux
ou bien de la forme $ g=\sum_{k\in \mathbb{N}} u_{k}g_{k} $ , avec $ g_{k} $ définie affine par morceaux sur $ I_{k} $ et $ 0 $ ailleurs , $ u_{k} $ de la forme $ f(x_{k}) $ a choisir ..... il faut s'assurer de la converge et pas mal de détailles avec cette construction , cela semble très compliqué .
ou bien de la forme $ g=\sum_{k\in \mathbb{N}} u_{k}g_{k} $ , avec $ g_{k} $ définie affine par morceaux sur $ I_{k} $ et $ 0 $ ailleurs , $ u_{k} $ de la forme $ f(x_{k}) $ a choisir ..... il faut s'assurer de la converge et pas mal de détailles avec cette construction , cela semble très compliqué .
''L’ennemi du savoir , n'est pas l'ignorance , mais l'illusion du savoir '' .
Re: fonction continue vs fonction convexe
Ce n'est pas si compliqué.
Sans perdre de généralité, on peut supposer que $\sup f = 1$. En utilisant la convergence vers $0$ en $+\infty$, on construit terme à terme une suite $(a_n)$ strictement croissante telle que $a_0 = 0$ et pour tout $n \in \mathbb N,\ \sup_{x\geqslant a_n} f(x) \leqslant 2^{-n}$. On peut imposer de plus que $a_{n+1} - a_n \geq 2(a_n - a_{n-1})$.
Soit alors $g$ telle que pour tout $n \in \mathbb N,\ g$ est affine sur $[a_n,a_{n+1}]$ avec $g(a_n) = 2^{-(n-1)}$.
Sans perdre de généralité, on peut supposer que $\sup f = 1$. En utilisant la convergence vers $0$ en $+\infty$, on construit terme à terme une suite $(a_n)$ strictement croissante telle que $a_0 = 0$ et pour tout $n \in \mathbb N,\ \sup_{x\geqslant a_n} f(x) \leqslant 2^{-n}$. On peut imposer de plus que $a_{n+1} - a_n \geq 2(a_n - a_{n-1})$.
Soit alors $g$ telle que pour tout $n \in \mathbb N,\ g$ est affine sur $[a_n,a_{n+1}]$ avec $g(a_n) = 2^{-(n-1)}$.
Re: fonction continue vs fonction convexe
Splendide , merci infiniment pour votre aide , je cherchais une subdivision $ [0,+\infty) $ a la parachute , je n'ai pas vu , ni pensé que c’était possible de la crée a partir de l' hypothèse du comportement de $ f $ en plus l'infinie , si on traduit cette hypothèse avec des épsilonnages , cela révèle en faite cette possibilité de construction , Bravo Cher Siméon . Au passage c'est une question d'oral ens ulm , ce qui m'avait conforté dans l'idée que cela serait quelque chose de très compliqué
@Siro la construction que vous aviez entamé était la finalement bonne , Bravo .
@Siro la construction que vous aviez entamé était la finalement bonne , Bravo .
''L’ennemi du savoir , n'est pas l'ignorance , mais l'illusion du savoir '' .
Re: fonction continue vs fonction convexe
\o/
J'avais juste pas branché mes neurones pour terminer, mais oui en "repoussant" les jonctions ça devait aller normalement.
J'avais juste pas branché mes neurones pour terminer, mais oui en "repoussant" les jonctions ça devait aller normalement.
Chaque vénérable chêne a commencé par être un modeste gland. Si on a pensé à lui pisser dessus.