Intégral

Un problème, une question, un nouveau théorème ?

Modérateurs : JeanN, Michel Quercia

Répondre
Mosalahmoh
Messages : 344
Enregistré le : lun. mars 26, 2018 12:46 am
Classe : Mpsi

Intégral

Message par Mosalahmoh » dim. juin 02, 2019 10:20 pm

Salut .Si f une fonction de classe c1 de R+ vers R et si on a f et (f')^2 (carré de la derivée de f ) integrable comment montrer que limf(+00)=0.
Merci.
Modifié en dernier par Mosalahmoh le dim. juin 02, 2019 10:51 pm, modifié 2 fois.

Errys
Messages : 307
Enregistré le : mer. oct. 04, 2017 3:58 pm
Classe : MP

Re: Intégral

Message par Errys » dim. juin 02, 2019 10:23 pm

Tu es sûr que ce résultat est vrai ? On peut construire une fonction f positive intégrable et de carré integrable qui ne converge pas vers 0 : faire des pics de hauteur 1 et d'aire 1/n^2.
Lycée Édouard Branly 2015-2018
LLG HX1 2018-2018
LLG MP*3 2019-2020

BobbyJoe
Messages : 167
Enregistré le : lun. oct. 16, 2017 10:49 pm

Re: Integral

Message par BobbyJoe » dim. juin 02, 2019 10:27 pm

Ce n'est pas vrai... Il suffit de prendre une séries de fonctions $ $$\displaystyle \sum_{n\geq 1} f_{n}$ où pour $ $$n\geq 1,$ les fonctions $ $$f_{n}$ sont des indicatrices de triangle isocèle dont le sommet principal a pour coordonées $ $$(n,n)$ et la base du triangle est de longueur $ $$\displaystyle \frac{1}{n^{4}}.$

Mosalahmoh
Messages : 344
Enregistré le : lun. mars 26, 2018 12:46 am
Classe : Mpsi

Re: Intégral

Message par Mosalahmoh » dim. juin 02, 2019 10:50 pm

Errys a écrit :
dim. juin 02, 2019 10:23 pm
Tu es sûr que ce résultat est vrai ? On peut construire une fonction f positive intégrable et de carré integrable qui ne converge pas vers 0 : faire des pics de hauteur 1 et d'aire 1/n^2.
j'ai ecrit que le carré de sa derivée et integrable mais c'etait pas assez clair je crois.
Modifié en dernier par Mosalahmoh le mar. juin 04, 2019 10:16 am, modifié 1 fois.

JeanN
Messages : 5374
Enregistré le : dim. sept. 04, 2005 7:27 pm
Localisation : Versailles

Re: Intégral

Message par JeanN » lun. juin 03, 2019 9:37 pm

Mosalahmoh a écrit :
dim. juin 02, 2019 10:50 pm
Errys a écrit :
dim. juin 02, 2019 10:23 pm
Tu es sûr que ce résultat est vrai ? On peut construire une fonction f positive intégrable et de carré integrable qui ne converge pas vers 0 : faire des pics de hauteur 1 et d'aire 1/n^2.
j'ai ecrit que le carré de sa derivée et integrable mais c'etait assez clair je crois.
Tu avais dû faire une erreur d'énoncé, non ? Ca me parait assez clair je crois.
Professeur de maths MPSI Lycée Sainte-Geneviève

LuckmannTheLook
Messages : 4
Enregistré le : jeu. avr. 18, 2019 11:19 pm

Re: Intégral

Message par LuckmannTheLook » mar. juin 04, 2019 10:41 am

Bonjour,
Une modification possible des hypothèses pour pouvoir conclure est par exemple de supposer non pas $f$ intégrable, mais $f^2$ intégrable.
Modifié en dernier par LuckmannTheLook le mar. juin 04, 2019 3:56 pm, modifié 1 fois.
2013-2015 : MPSI-MP*, Lycée Henri IV
X2015

JeanN
Messages : 5374
Enregistré le : dim. sept. 04, 2005 7:27 pm
Localisation : Versailles

Re: Intégral

Message par JeanN » mar. juin 04, 2019 2:11 pm

Mosalahmoh a écrit :
dim. juin 02, 2019 10:20 pm
Salut .Si f une fonction de classe c1 de R+ vers R et si on a f et (f')^2 (carré de la derivée de f ) integrable comment montrer que limf(+00)=0.
Merci.
Pose F une primitive de f, écrit un Taylor reste intégrale entre x+h et x puis applique Cauchy Schwarz pour majorer l’integrale et ensuite , termine le travail avec des epsilons.
Professeur de maths MPSI Lycée Sainte-Geneviève

matmeca_mcf1
Messages : 1506
Enregistré le : mar. févr. 13, 2018 10:22 am

Re: Intégral

Message par matmeca_mcf1 » mar. juin 04, 2019 3:29 pm

Mosalahmoh a écrit :
dim. juin 02, 2019 10:20 pm
Salut .Si f une fonction de classe c1 de R+ vers R et si on a f et (f')^2 (carré de la derivée de f ) integrable comment montrer que limf(+00)=0.
Merci.
Cela rappelle les espaces de Sobolev (très largement hors-programmes en prépa).
Ancien ENS Cachan (maths) 1999--2003
Enseignant-Chercheur à l'Enseirb-Matmeca (Bordeaux INP)
Les opinions exprimées ci-dessus sont miennes et ne reflètent pas la position officielle de l'école dans laquelle j'enseigne.

JeanN
Messages : 5374
Enregistré le : dim. sept. 04, 2005 7:27 pm
Localisation : Versailles

Re: Intégral

Message par JeanN » mar. juin 04, 2019 7:09 pm

LuckmannTheLook a écrit :
mar. juin 04, 2019 10:41 am
Bonjour,
Une modification possible des hypothèses pour pouvoir conclure est par exemple de supposer non pas $f$ intégrable, mais $f^2$ intégrable.
L'énoncé est correct avec les hypothèses suivantes (en cas de futures modifications)

- f c1, intégrable
- sa dérivée est de carré intégrable

Conclusion: f tend vers 0 en +infini
Professeur de maths MPSI Lycée Sainte-Geneviève

LuckmannTheLook
Messages : 4
Enregistré le : jeu. avr. 18, 2019 11:19 pm

Re: Intégral

Message par LuckmannTheLook » mer. juin 05, 2019 11:42 am

JeanN a écrit :
mar. juin 04, 2019 7:09 pm
LuckmannTheLook a écrit :
mar. juin 04, 2019 10:41 am
Bonjour,
Une modification possible des hypothèses pour pouvoir conclure est par exemple de supposer non pas $f$ intégrable, mais $f^2$ intégrable.
L'énoncé est correct avec les hypothèses suivantes (en cas de futures modifications)

- f c1, intégrable
- sa dérivée est de carré intégrable

Conclusion: f tend vers 0 en +infini
Autant pour moi, le Taylor fonctionne bien en effet et permet de conclure sans modifier les hypothèses !
2013-2015 : MPSI-MP*, Lycée Henri IV
X2015

Mosalahmoh
Messages : 344
Enregistré le : lun. mars 26, 2018 12:46 am
Classe : Mpsi

Re: Intégral

Message par Mosalahmoh » mer. juin 05, 2019 6:39 pm

JeanN a écrit :
mar. juin 04, 2019 2:11 pm
Mosalahmoh a écrit :
dim. juin 02, 2019 10:20 pm
Salut .Si f une fonction de classe c1 de R+ vers R et si on a f et (f')^2 (carré de la derivée de f ) integrable comment montrer que limf(+00)=0.
Merci.
Pose F une primitive de f, écrit un Taylor reste intégrale entre x+h et x puis applique Cauchy Schwarz pour majorer l’integrale et ensuite , termine le travail avec des epsilons.
Mefci .

Répondre

Qui est en ligne

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