La méthode du point col sert à obtenir un développement asymptotique d'une intégrale dont la forme générale est :
 = \int f(x) e^{k g(x)} dx )
lorsque le paramètre

devient grand.
Pour l'utiliser, il faut chercher au préalable les "points cols", c'est-à-dire les points

qui véréfient :
Dans ton cas, tu obtiens 3 points cols sur ton intervalle d'intégration :
L'étape suivante est de faire un développement de taylor à l'ordre deux de la fonction "g" autour des points cols, c'est à dire pour toi de cos(x). Par exemple pour le point col en 0 :
 \approx 1 - 1/2 x^2 )
alors la contribution de ton intégrale autour du point col en 0 s'écrit approximativement comme (on peut étendre le domaine d'intégration dans la mesure où l'intégrale converge rapidement) :
 = e^\lambda \int_\infty^\infty e^{-\lambda/2 x^2} dx )
qui est une gaussienne qui se calcule exactement :
On peut ensuite faire pareil avec les deux autres points cols, mais on s'aperçoit qu'ils vont donner une contribution négligeable par rapport au point en 0.
En la méthode utilisée ici n'est pas la méthode du point col, mais plus exactement la méthode de la phase stationnaire (pour une intégrale de type Laplace), car la fonction g est réelle. La méthode du point col est utilisée pour les intégrations sur des domaines complexes, et implique des changements de contour d'intégration. Mais au final, bien que les méthodes soient différentes, les résultats finaux sont identiques.
vous trouverez des informations sur wikipedia ou google :
http://fr.wikipedia.org/wiki/M%C3%A9...stati onnaire