Développement limité au voisinage de l'infini

Une fonction f f définie sur un intervalle I = ] a ; + [ I = left ] a nitalic ; + infinity right [ admet un DL n ( + ) DL_n(+ infinity) au voisinage de + "+"infinity , si la fonction h : u h ( u ) = f ( 1 u ) h nitalic : u toward h(u)= f left ( 1 over u right ) admet un DL n ( 0 ) DL_n(0) à droite.

h ( u ) = a 1 + a 2 u + + a n u n + u n ε ( u ) h(u)= a_1 + a_2 u + dotsaxis + a_n u^n + u^n %varepsilon (u) ; ce qui donne f ( x ) = a 1 + a 2 x + + a n x n + 1 x n ε ( 1 x ) f(x)= a_1 + a_2 over x + dotsaxis + a_n over x^n + 1 over x^n %varepsilon (size 8 {1 over x}) .

On définit de même le développement limité d'ordre n n au voisinage de - "-"infinity .

Exemple

Déterminer le développement limité d'ordre 2 2 en + "+"infinity de f ( x ) = x x 1 f(x)=sqrt {{x}over{x-1}}

On pose u = 1 x u={1}over{x} , soit x = 1 u x={1}over{u}

on obtient g ( u ) = 1 1 u = ( 1 u ) 1 2 = 1 + 1 2 u + 3 8 u 2 + u 2 ε ( u ) g(u)=sqrt {{1}over{1-u}}= (1-u)^- { 1 over 2} = 1 + 1 over 2 u + 3 over 8 u^2 + u^2 %varepsilon (u)

Finalement

f ( x ) = 1 + 1 2 x + 3 8 x 2 + 1 x 2 ε ( 1 x ) f(x)= 1 + 1 over {2 x} + 3 over {8 x^2} + 1 over {x^2} %varepsilon left (size 10 1 over {x} right)