[L3] Fonction définie par une intégrale

Aide à la résolution d'exercices ou de problèmes de niveau Supérieur.

Modérateur: gdm_aidesco

Règles du forum
Merci d'éviter le style SMS dans vos messages et de penser à utiliser la fonction Recherche avant de poster un message. Pour joindre des fichiers à vos messages, consulter ce sujet.
> Penser à utiliser le mode LaTeX (voir ici) afin de rendre vos formules plus lisibles.
> Ne poster qu'un exercice (ou problème) par sujet et indiquer son niveau précis dans le titre du message.

[L3] Fonction définie par une intégrale

Messagepar Clem25 » Lundi 07 Janvier 2013, 19:06

Bonjour !
J'ai besoin d'un peu d'aide pour un exercice : il faut montrer que $y\longmapsto\displaystyle\int_0^\infty \dfrac{e^{-x^2y}}{1+x^2}dx$ est bien définie pour tout $y\in[0,+\infty[$.
Je pense qu'il faut donc montrer que l'intégrale impropre est convergente, pour cela, j'écrit $\displaystyle\int_0^\infty \dfrac{e^{-x^2y}}{1+x^2}dx=\lim\limits_{K\to+\infty}\displaystyle\int_0^K \dfrac{e^{-x^2y}}{1+x^2}dx$ et je calcule $\displaystyle\int_0^K \dfrac{e^{-x^2y}}{1+x^2}dx$ avec une IPP. Mais ça ne m'avance pas beaucoup. Je trouve que $\displaystyle\int_0^K \dfrac{e^{-x^2y}}{1+x^2}dx=e^{-K^2y}\arctan K+2y\int_0^K (e^{-x^2y}\arctan x)dx$ et si je refais une IPP je vais tourner en rond...
Quelqu'un peut éclairer ma lanterne ?
2010-2011 : MPSI3 - Lycée Kléber Strasbourg
2011-2012 : L2 Mathématiques - Université de Franche-Comté
2012-2013 : L3 Mathématiques fondamentales - Université de Franche-Comté
2013-2014 : M1 MEEF Mathématiques - Université de Franche-Comté
Clem25
Kilo-utilisateur
 
Messages: 101
Inscription: Dimanche 08 Février 2009, 19:59
Localisation: Besançon
Statut actuel: Post-bac | Licence

Publicité

Re: [L3] Fonction définie par une intégrale

Messagepar lafayette » Lundi 07 Janvier 2013, 19:27

Bonsoir,
Plutôt qu'une IPP, peut-être une majoration efficace et rapide ?
lafayette
Méga-utilisateur
 
Messages: 293
Inscription: Samedi 12 Mai 2007, 15:54
Statut actuel: Actif et salarié | Enseignant

Re: [L3] Fonction définie par une intégrale

Messagepar Clem25 » Lundi 07 Janvier 2013, 20:58

Est-ce que je peux majorer $\dfrac{e^{-x^2y}}{1+x^2}$ par $e^{-x^2}$ ? Je travaille avec $y$ fixé, et je minore le dénominateur.
On sait que $\displaystyle\int_0^\infty e^{-x^2}dx=\sqrt{\pi}$ donc convergente. Ça marche comme ça ?
2010-2011 : MPSI3 - Lycée Kléber Strasbourg
2011-2012 : L2 Mathématiques - Université de Franche-Comté
2012-2013 : L3 Mathématiques fondamentales - Université de Franche-Comté
2013-2014 : M1 MEEF Mathématiques - Université de Franche-Comté
Clem25
Kilo-utilisateur
 
Messages: 101
Inscription: Dimanche 08 Février 2009, 19:59
Localisation: Besançon
Statut actuel: Post-bac | Licence

Re: [L3] Fonction définie par une intégrale

Messagepar OG » Lundi 07 Janvier 2013, 21:28

Clem25 a écrit:Est-ce que je peux majorer $\dfrac{e^{-x^2y}}{1+x^2}$ par $e^{-x^2}$ ? Je travaille avec $y$ fixé, et je minore le dénominateur.
On sait que $\displaystyle\int_0^\infty e^{-x^2}dx=\sqrt{\pi}$ donc convergente. Ça marche comme ça ?


Non la majoration ne fonctionne pas, par exemple pour $y=0$.
Ici il n'y pas de difficulté pour l'existence, comme dit lafayette, une majoration efficace, rapide (et simple).


O.G.
OG
Modérateur
 
Messages: 2286
Inscription: Lundi 12 Mars 2007, 11:20
Localisation: Rouen
Statut actuel: Actif et salarié | Maître de conférence

Re: [L3] Fonction définie par une intégrale

Messagepar Clem25 » Lundi 07 Janvier 2013, 21:52

Majorer par $\dfrac{1}{x^2}$ ?
Parce que pour tout $y\in[0,+\infty[$ et tout $x\in[0,+\infty[$, on a $e^{-x^2y}\leq e^0(=1)$. Donc là j'ai majoré le numérateur.
Et je peux minorer le dénominateur par $x^2$. Celà est-il correct ?
2010-2011 : MPSI3 - Lycée Kléber Strasbourg
2011-2012 : L2 Mathématiques - Université de Franche-Comté
2012-2013 : L3 Mathématiques fondamentales - Université de Franche-Comté
2013-2014 : M1 MEEF Mathématiques - Université de Franche-Comté
Clem25
Kilo-utilisateur
 
Messages: 101
Inscription: Dimanche 08 Février 2009, 19:59
Localisation: Besançon
Statut actuel: Post-bac | Licence

Re: [L3] Fonction définie par une intégrale

Messagepar OG » Lundi 07 Janvier 2013, 21:58

Bah $1/x^2$ en l'infini c'est bien mais en 0 ce n'est pas top non ?

O.G.
OG
Modérateur
 
Messages: 2286
Inscription: Lundi 12 Mars 2007, 11:20
Localisation: Rouen
Statut actuel: Actif et salarié | Maître de conférence

Re: [L3] Fonction définie par une intégrale

Messagepar Clem25 » Lundi 07 Janvier 2013, 22:06

Effectivement, ce n'est valable que sur $[1,+\infty[$.
$\dfrac{1}{1+x^2}$ semble mieux, surtout que $\displaystyle\int_0^K\frac{1}{1+x^2}dx=\arctan K$ et donc $\displaystyle\int_0^\infty\frac{1}{1+x^2}dx=\frac{\pi}{2}$.
2010-2011 : MPSI3 - Lycée Kléber Strasbourg
2011-2012 : L2 Mathématiques - Université de Franche-Comté
2012-2013 : L3 Mathématiques fondamentales - Université de Franche-Comté
2013-2014 : M1 MEEF Mathématiques - Université de Franche-Comté
Clem25
Kilo-utilisateur
 
Messages: 101
Inscription: Dimanche 08 Février 2009, 19:59
Localisation: Besançon
Statut actuel: Post-bac | Licence

Re: [L3] Fonction définie par une intégrale

Messagepar OG » Lundi 07 Janvier 2013, 23:00

effectivement, $1/(x^2+1)$ semble mieux.
En fait la valeur de l'intégrale $\int_0^{+\infty} dx/(1+x^2)$ importe peu ici,
ce qui compte c'est majorer la (valeur absolue de) fonction par quelque chose d'intégrable.
Parfois (si l'exo le demande ou si on ne trouve pas plus simple comme ici), on doit
majorer par une fonction sur $[0,1]$ et par une autre sur $[1,+\infty[$.


O.G.
OG
Modérateur
 
Messages: 2286
Inscription: Lundi 12 Mars 2007, 11:20
Localisation: Rouen
Statut actuel: Actif et salarié | Maître de conférence

Re: [L3] Fonction définie par une intégrale

Messagepar Clem25 » Lundi 07 Janvier 2013, 23:03

Merci beaucoup OG pour tous ces précieux conseils !
Comment montrer que la fonction $F\colon y\longmapsto\displaystyle\int_0^\infty f(x,y)dx$ est continue sur $[0,+\infty[$ ?
J'ai lu sur internet que le fait que $f(x,y)$ soit continue sur $[0,+\infty[$ suffit pour dire que $y\longmapsto\displaystyle\int_0^\infty f(x,y)dx$ est continue sur $[0,+\infty[$. Est-ce suffisant ?
2010-2011 : MPSI3 - Lycée Kléber Strasbourg
2011-2012 : L2 Mathématiques - Université de Franche-Comté
2012-2013 : L3 Mathématiques fondamentales - Université de Franche-Comté
2013-2014 : M1 MEEF Mathématiques - Université de Franche-Comté
Clem25
Kilo-utilisateur
 
Messages: 101
Inscription: Dimanche 08 Février 2009, 19:59
Localisation: Besançon
Statut actuel: Post-bac | Licence

Re: [L3] Fonction définie par une intégrale

Messagepar OG » Lundi 07 Janvier 2013, 23:11

Que dit ton cours ?
Il y a des théorèmes précis et selon ton cours qui traitent ou non les intervalles non finis.
Pour ces cas là, la seule continuité ne suffit pas, il faut des bornes pour que les intégrales
existent (comme ici) et bien vérifier en détail que les hypothèses du théorème utilisé
sont vérifiées.

O.G.
OG
Modérateur
 
Messages: 2286
Inscription: Lundi 12 Mars 2007, 11:20
Localisation: Rouen
Statut actuel: Actif et salarié | Maître de conférence

Re: [L3] Fonction définie par une intégrale

Messagepar Clem25 » Lundi 07 Janvier 2013, 23:14

Mon cours me parle d'ensembles mesurables :
Si $\exists M$ négligeable tel que $\forall x\in X\setminus M$ et $\forall u\in E$, $|f(x,u)|\leq g\in\mathcal L^1$ et $\forall u\in E$, $\exists N$ négligeable tel que $\forall x\in X\setminus N$, $f(\_,x)$ est continue en $u$, alors $F$ est continue sur $E$.
Je n'arrive pas à comprendre à quoi correspondent ces ensembles négligeables, c'est assez obscur dans mon espir.

J'ai trouvé que comme pour tout $x\in[0,+\infty[$ et tout $y\in[0,+\infty[$, on a $|f(x,y)[\leq\dfrac{1}{1+x^2}$ et $\displaystyle\int_0^{+\infty}\frac{1}{1+x^2}\,\diff x$ converge, alors $F$ est continue sur $[0,+\infty[$.
2010-2011 : MPSI3 - Lycée Kléber Strasbourg
2011-2012 : L2 Mathématiques - Université de Franche-Comté
2012-2013 : L3 Mathématiques fondamentales - Université de Franche-Comté
2013-2014 : M1 MEEF Mathématiques - Université de Franche-Comté
Clem25
Kilo-utilisateur
 
Messages: 101
Inscription: Dimanche 08 Février 2009, 19:59
Localisation: Besançon
Statut actuel: Post-bac | Licence

Re: [L3] Fonction définie par une intégrale

Messagepar OG » Mardi 08 Janvier 2013, 09:03

Clem25 a écrit:Mon cours me parle d'ensembles mesurables :

C'est normal, c'est un cours de théorie de la mesure (de Lebesgue) :)
Clem25 a écrit:Si $\exists M$ négligeable tel que $\forall x\in X\setminus M$ et $\forall u\in E$, $|f(x,u)|\leq g\in\mathcal L^1$ et $\forall u\in E$, $\exists N$ négligeable tel que $\forall x\in X\setminus N$, $f(\_,x)$ est continue en $u$, alors $F$ est continue sur $E$.
Je n'arrive pas à comprendre à quoi correspondent ces ensembles négligeables, c'est assez obscur dans mon espir.

Avec le temps on y arrive. Comme c'est dans le cadre de l'intégrale de Lebesgue, on a systématiquement dans les hypothèses des "presque partout",
"à un négligeable près", etc.
Clem25 a écrit:J'ai trouvé que comme pour tout $x\in[0,+\infty[$ et tout $y\in[0,+\infty[$, on a $|f(x,y)[\leq\dfrac{1}{1+x^2}$ et $\displaystyle\int_0^{+\infty}\frac{1}{1+x^2}\,\diff x$ converge, alors $F$ est continue sur $[0,+\infty[$.

Sans oublier que pour tout $x$ $y\mapsto f(x,y)$ est continue.

Cet exercice peut se faire dans le cadre de Riemann, ce qui peut aussi rassurer. Mais certains cas (qui considèrent des fonctions continus)
sont très pénibles à faire dans le cadre de Riemann, il faut découper en 15 les intervalles d'intégration.


O.G.
OG
Modérateur
 
Messages: 2286
Inscription: Lundi 12 Mars 2007, 11:20
Localisation: Rouen
Statut actuel: Actif et salarié | Maître de conférence

Re: [L3] Fonction définie par une intégrale

Messagepar Clem25 » Mardi 08 Janvier 2013, 10:28

Pour calculer $\lim\limits_{y_to+\infty}\displaystyle\int_0^\infty f(x,y)dx$, est-ce que je peux regarder $\lim\limits_{y_to+\infty}f(x,y)$ et substituer dans mon intégrale ?
2010-2011 : MPSI3 - Lycée Kléber Strasbourg
2011-2012 : L2 Mathématiques - Université de Franche-Comté
2012-2013 : L3 Mathématiques fondamentales - Université de Franche-Comté
2013-2014 : M1 MEEF Mathématiques - Université de Franche-Comté
Clem25
Kilo-utilisateur
 
Messages: 101
Inscription: Dimanche 08 Février 2009, 19:59
Localisation: Besançon
Statut actuel: Post-bac | Licence

Re: [L3] Fonction définie par une intégrale

Messagepar OG » Mardi 08 Janvier 2013, 10:35

Clem25 a écrit:Pour calculer $\lim\limits_{y_to+\infty}\displaystyle\int_0^\infty f(x,y)dx$, est-ce que je peux regarder $\lim\limits_{y_to+\infty}f(x,y)$ et substituer dans mon intégrale ?

Aïe non. Inversion de limite et d'intégrale ne se fait pas "comme cela".
Il suffit de prendre par exemple une bosse d'aire 1 et de la faire glisser vers l'infini pour voir que ça ne marche pas.

O.G.
OG
Modérateur
 
Messages: 2286
Inscription: Lundi 12 Mars 2007, 11:20
Localisation: Rouen
Statut actuel: Actif et salarié | Maître de conférence

Re: [L3] Fonction définie par une intégrale

Messagepar Clem25 » Mardi 08 Janvier 2013, 10:38

Le problème étant que je n'ai pas d'expression "explicite" pour F, donc je n'ai pas vraiment d'idée pour calculer la limite en $+\infty$...
2010-2011 : MPSI3 - Lycée Kléber Strasbourg
2011-2012 : L2 Mathématiques - Université de Franche-Comté
2012-2013 : L3 Mathématiques fondamentales - Université de Franche-Comté
2013-2014 : M1 MEEF Mathématiques - Université de Franche-Comté
Clem25
Kilo-utilisateur
 
Messages: 101
Inscription: Dimanche 08 Février 2009, 19:59
Localisation: Besançon
Statut actuel: Post-bac | Licence

Re: [L3] Fonction définie par une intégrale

Messagepar OG » Mardi 08 Janvier 2013, 10:45

Pas besoin de calcul explicite. Si tu ajoutes à l'information $f(x,y)$ tend vers 0 quand $y$ tend vers l'infini
une autre information alors c'est vrai. Pour donner une idée, si $g_n$ tend (presque partout) vers 0, quelle condition
(vue dans le cours de cette année) donne $\int g_n dx$ tend vers 0.

O.G.
OG
Modérateur
 
Messages: 2286
Inscription: Lundi 12 Mars 2007, 11:20
Localisation: Rouen
Statut actuel: Actif et salarié | Maître de conférence

Re: [L3] Fonction définie par une intégrale

Messagepar Clem25 » Mardi 08 Janvier 2013, 10:50

C'est le théorème de convergence dominée ?
Il faut que je trouve une fonction qui majore la valeur absolue de $g_n$ pour tout $n$.
On sait que $|f(x,y)|\leq\dfrac{1}{1+x^2}$. $x\longmapsto\dfrac{1}{1+x^2}$ est bien intégrable et positive sur $[0,+\infty[$.
2010-2011 : MPSI3 - Lycée Kléber Strasbourg
2011-2012 : L2 Mathématiques - Université de Franche-Comté
2012-2013 : L3 Mathématiques fondamentales - Université de Franche-Comté
2013-2014 : M1 MEEF Mathématiques - Université de Franche-Comté
Clem25
Kilo-utilisateur
 
Messages: 101
Inscription: Dimanche 08 Février 2009, 19:59
Localisation: Besançon
Statut actuel: Post-bac | Licence

Re: [L3] Fonction définie par une intégrale

Messagepar OG » Mercredi 09 Janvier 2013, 15:38

Oui ça devrait aller comme cela.

O.G.
OG
Modérateur
 
Messages: 2286
Inscription: Lundi 12 Mars 2007, 11:20
Localisation: Rouen
Statut actuel: Actif et salarié | Maître de conférence


Retourner vers Exercices et problèmes : Supérieur

 


  • Articles en relation
    Réponses
    Vus
    Dernier message

Qui est en ligne

Utilisateurs parcourant ce forum: Ahrefs [Bot], MSN [Bot] et 9 invités