Page 2 sur 2

Re: Défi pour V@J, Thaalos, JeanN, MATHADOR et tous les autr

Publié : 15 mars 2015 22:58
par The TJFK
Oui.

Re: Défi pour V@J, Thaalos, JeanN, MATHADOR et tous les autr

Publié : 15 mars 2015 23:12
par Silvere Gangloff
Cependant, à moins que je me trompe, l'exemple que tu me donnes permet de donner un contre-exemple au résultat de l'exercice.

Edit : en fait non. Il suffit de montrer pour terminer l'exercice, qu'une fonction g positive sur $ [0,+\infty[ $ intégrable et de dérivée bornée a une limsup nulle.
Supposons que la limite supérieure est > 0. Dans ce cas considérons m>0 une valeur atteinte sur tout voisinage de l'infini et $ \epsilon << m $. Dans ce cas,
on peut construire une suite croissante de points $ (x_n) $ et d'intervalles contenant $ x_n $ et disjoints (sauf au bord éventuellement)
telles que $ g(x_n)=m $ et vaut $ \epsilon $ aux bornes de $ I_n $ (par intégrabilité). La taille des intervalles tend nécessairement
vers 0, et dans ce cas on en déduit, par le théorème des accroissements finis, que la dérivée de g n'est pas bornée.
Par l'absurde, on conclue (enfin!)

Re: Défi pour V@J, Thaalos, JeanN, MATHADOR et tous les autr

Publié : 15 mars 2015 23:20
par Jay Olsen
The TJFK a écrit :Oui.
Bah exprime toi clairement alors

Re: Défi pour V@J, Thaalos, JeanN, MATHADOR et tous les autr

Publié : 16 mars 2015 00:00
par The TJFK
Silvere Gangloff a écrit :Cependant, à moins que je me trompe, l'exemple que tu me donnes permet de donner un contre-exemple au résultat de l'exercice.

Edit : en fait non. Il suffit de montrer pour terminer l'exercice, qu'une fonction g positive sur $ [0,+\infty[ $ intégrable et de dérivée bornée a une limsup nulle.
Supposons que la limite supérieure est > 0. Dans ce cas considérons m>0 une valeur atteinte sur tout voisinage de l'infini et $ \epsilon << m $. Dans ce cas,
on peut construire une suite croissante de points $ (x_n) $ et d'intervalles contenant $ x_n $ et disjoints (sauf au bord éventuellement)
telles que $ g(x_n)=m $ et vaut $ \epsilon $ aux bornes de $ I_n $ (par intégrabilité). La taille des intervalles tend nécessairement
vers 0, et dans ce cas on en déduit, par le théorème des accroissements finis, que la dérivée de g n'est pas bornée.
Par l'absurde, on conclue (enfin!)
Félicitations ! :)

Re: Défi pour V@J, Thaalos, JeanN, MATHADOR et tous les autr

Publié : 16 mars 2015 00:02
par Silvere Gangloff
The TJFK a écrit :
Silvere Gangloff a écrit :Cependant, à moins que je me trompe, l'exemple que tu me donnes permet de donner un contre-exemple au résultat de l'exercice.

Edit : en fait non. Il suffit de montrer pour terminer l'exercice, qu'une fonction g positive sur $ [0,+\infty[ $ intégrable et de dérivée bornée a une limsup nulle.
Supposons que la limite supérieure est > 0. Dans ce cas considérons m>0 une valeur atteinte sur tout voisinage de l'infini et $ \epsilon << m $. Dans ce cas,
on peut construire une suite croissante de points $ (x_n) $ et d'intervalles contenant $ x_n $ et disjoints (sauf au bord éventuellement)
telles que $ g(x_n)=m $ et vaut $ \epsilon $ aux bornes de $ I_n $ (par intégrabilité). La taille des intervalles tend nécessairement
vers 0, et dans ce cas on en déduit, par le théorème des accroissements finis, que la dérivée de g n'est pas bornée.
Par l'absurde, on conclue (enfin!)
Félicitations ! :)
Merci ;)

Re: Défi pour V@J, Thaalos, JeanN, MATHADOR et tous les autr

Publié : 16 mars 2015 03:01
par Necklor
Porcepic a écrit :
Necklor a écrit :Mdr le titre.
j m abon
Pas compris :(

Re: Défi pour V@J, Thaalos, JeanN, MATHADOR et tous les autr

Publié : 17 mars 2015 01:14
par KDY
The TJFK a écrit :
Silvere Gangloff a écrit :Cependant, à moins que je me trompe, l'exemple que tu me donnes permet de donner un contre-exemple au résultat de l'exercice.

Edit : en fait non. Il suffit de montrer pour terminer l'exercice, qu'une fonction g positive sur $ [0,+\infty[ $ intégrable et de dérivée bornée a une limsup nulle.
Supposons que la limite supérieure est > 0. Dans ce cas considérons m>0 une valeur atteinte sur tout voisinage de l'infini et $ \epsilon << m $. Dans ce cas,
on peut construire une suite croissante de points $ (x_n) $ et d'intervalles contenant $ x_n $ et disjoints (sauf au bord éventuellement)
telles que $ g(x_n)=m $ et vaut $ \epsilon $ aux bornes de $ I_n $ (par intégrabilité). La taille des intervalles tend nécessairement
vers 0, et dans ce cas on en déduit, par le théorème des accroissements finis, que la dérivée de g n'est pas bornée.
Par l'absurde, on conclue (enfin!)
Félicitations ! :)
ça mérite au moins un Prix Nobel.

Re: Défi pour V@J, Thaalos, JeanN, MATHADOR et tous les autr

Publié : 17 mars 2015 23:44
par Silvere Gangloff
KDY a écrit :
The TJFK a écrit :
Silvere Gangloff a écrit :Cependant, à moins que je me trompe, l'exemple que tu me donnes permet de donner un contre-exemple au résultat de l'exercice.

Edit : en fait non. Il suffit de montrer pour terminer l'exercice, qu'une fonction g positive sur $ [0,+\infty[ $ intégrable et de dérivée bornée a une limsup nulle.
Supposons que la limite supérieure est > 0. Dans ce cas considérons m>0 une valeur atteinte sur tout voisinage de l'infini et $ \epsilon << m $. Dans ce cas,
on peut construire une suite croissante de points $ (x_n) $ et d'intervalles contenant $ x_n $ et disjoints (sauf au bord éventuellement)
telles que $ g(x_n)=m $ et vaut $ \epsilon $ aux bornes de $ I_n $ (par intégrabilité). La taille des intervalles tend nécessairement
vers 0, et dans ce cas on en déduit, par le théorème des accroissements finis, que la dérivée de g n'est pas bornée.
Par l'absurde, on conclue (enfin!)
Félicitations ! :)
ça mérite au moins un Prix Nobel.
Je te le cède, j'en ai déjà trois, je ne sais pas quoi en faire.. :mrgreen: