Salut, j'essaie de répondre au b) de cet exo : 
J'ai à peu près une solution mais j'ai pas justifié le point crucial, et j'ai besoin d'aide pour justifier ce passage douteux du coup
Bon déjà ça revient à montrer que l'intégrale de (f(x)/f(0))^nsqrt(n)dx entre -1 et 1 tend vers sqrt(2pif(0)/|f^(2)(0)|)
En faisant en DL en 0 de f, j'ai f(x)=f(0)+f^(2)(0)x^2/2 + o(x^2) (vu que f a un max en 0)
En remplaçant f(x) par son DL dans l'intégrale (c'est ça que je vois pas comment justifier) et en faisant le changement de variable conseillé je trouve l'intégrale des (1+u^2f^(2)(0)/(2n))^ndu entre -sqrt(n) et sqrt(n), et vu que l'intégrande a le bon goût de tendre vers exp(machin*u^2), sous réserve que je puisse justifier l'interversion limite-intégrale (ça marche bien avec le théorème de CVD sauf erreur) je peux obtenir le résultat voulu en me ramenant à une intégrale de Gauss
Merci
Message édité le 26 février 2017 à 18:05:32 par Skywear