Une intégrale particulière...
Réponses à toutes vos questions après le Bac (Fac, Prépa, etc.)
-
mathman123
- Messages: 6
- Enregistré le: 09 Sep 2007, 10:38
-
par mathman123 » 26 Avr 2008, 20:45
Bonjour,
Cela fait quelque temps que j'essaie d'étudier les propriétés de cette intégrale à travers des questions proposées par l'énoncé:
 = \frac{2}{\pi}\Bigint_{0}^{\frac{\pi}{2}} cos(xsin(t))dt)
1 - Montrer que J est dérivable et que
 = -\frac{2}{\pi}\Bigint_{0}^{\frac{\pi}{2}} sin(xsin(t))sin(t)dt)
(à déduire du fait que pour u,v réels,
 - cos(u) + vsin(u)| \le \frac{v^2}{2})
...)
2 - Montrer que
cos(xsin(t))cos(t)dt = 0)
, avec a élément de ]0,Pi/2[ et g une fonction de classe 1 de [0,a] dans

. En déduire
 = 0)
.
Toute aide ou indication est la bienvenue!! Merci bcp!
-
rifly01
- Membre Relatif
- Messages: 460
- Enregistré le: 30 Déc 2005, 04:38
-
par rifly01 » 27 Avr 2008, 13:46
Salut,
C'est la fonction

de Bessel.
-
Maxmau
- Membre Irrationnel
- Messages: 1149
- Enregistré le: 19 Mar 2008, 10:11
-
par Maxmau » 27 Avr 2008, 16:37
Bj
pour le 2: essaie une intégration par parties en dérivant g
-
mathman123
- Messages: 6
- Enregistré le: 09 Sep 2007, 10:38
-
par mathman123 » 27 Avr 2008, 16:59
bon c finalement bon pour la 1...
pour la 2 je ne comprends pas comment utiliser l'integration par parties...
-
Maxmau
- Membre Irrationnel
- Messages: 1149
- Enregistré le: 19 Mar 2008, 10:11
-
par Maxmau » 27 Avr 2008, 17:28
mathman123 a écrit:bon c finalement bon pour la 1...
pour la 2 je ne comprends pas comment utiliser l'integration par parties...
Cherche une primitive de t -----> cos(x sint)cost
En intégrant par parties tu vas faire apparaître le x en dénominateur et comme x tend vers infini
..
-
mathman123
- Messages: 6
- Enregistré le: 09 Sep 2007, 10:38
-
par mathman123 » 27 Avr 2008, 18:16
Ah oui! mais la déduction alors? j'ai essayé de décomposer l'integrale J mais j'aboutis pas!
-
Maxmau
- Membre Irrationnel
- Messages: 1149
- Enregistré le: 19 Mar 2008, 10:11
-
par Maxmau » 27 Avr 2008, 18:31
mathman123 a écrit:Ah oui! mais la déduction alors? j'ai essayé de décomposer l'integrale J mais j'aboutis pas!
Après l'IPP
Essaie de majorer la valeur absolue de l'intégrale par quelque chose de la forme C/x
-
mathman123
- Messages: 6
- Enregistré le: 09 Sep 2007, 10:38
-
par mathman123 » 27 Avr 2008, 19:06
je ne vois pas l'interet...
-
Maxmau
- Membre Irrationnel
- Messages: 1149
- Enregistré le: 19 Mar 2008, 10:11
-
par Maxmau » 27 Avr 2008, 19:23
mathman123 a écrit:je ne vois pas l'interet...
Puique tu dois montrer que l'intégrale tend vers zéro lorsque x tend vers +infini
-
mathman123
- Messages: 6
- Enregistré le: 09 Sep 2007, 10:38
-
par mathman123 » 27 Avr 2008, 19:29
ah si je prends g = 1/cos ca marche non?
-
Maxmau
- Membre Irrationnel
- Messages: 1149
- Enregistré le: 19 Mar 2008, 10:11
-
par Maxmau » 27 Avr 2008, 21:42
mathman123 a écrit:ah si je prends g = 1/cos ca marche non?
non car g est donnée quelconque C1 sur l'intervalle
-
Maxmau
- Membre Irrationnel
- Messages: 1149
- Enregistré le: 19 Mar 2008, 10:11
-
par Maxmau » 28 Avr 2008, 08:40
Je pose f(t) = sin(x sint)/x (f dépend de x) doù : f(t) = cos(x sint)cost
Lintégrale du 2/ sécrit :
I(x) = Integ( 0 à a ; g(t) f(t) dt )
Une intégration par parties donne :
I(x) = g(a) f(a) g(0) f(0) - Integ( 0 à a ; g(t) f(t) dt ). En mettant 1/x en facteur :
I(x) = (1/x) [g(a) sin(x sina) - Integ( 0 à a ; g(t) sin(x sint) dt ) ]
Comme le sinus est plus petit que 1 en valeur absolue
|g(a)sin(x sina)| <= |g(a)| et
| Integ( 0 à a ; g(t) sin(x sint) dt | <= Integ( 0 à a ; |g(t)| dt )
Doù : |I(x)| <= (1/x) [|g(a)| + Integ( 0 à a ; |g(t)| dt )]
Cest à dire : : |I(x)| <= C/x où C est indépendant de x
Je te laisse conclure
-
Maxmau
- Membre Irrationnel
- Messages: 1149
- Enregistré le: 19 Mar 2008, 10:11
-
par Maxmau » 28 Avr 2008, 08:51
mathman123 a écrit:ah si je prends g = 1/cos ca marche non?
Il y a de l'incompréhension dans l'air
Je pensais qu'on était toujours sur le début du 2/ (intégration par parties)
Pour la fin du 2: cette idée est bonne
Utilisateurs parcourant ce forum : Aucun utilisateur enregistré et 65 invités