Determinare gli eventuali α∈ℝ per i quali il limite indicato esiste finito e in tal caso calcolarlo:

lim x 0 1 1 + x 2 cos x ( tan x ) α

Sviluppo di Taylor del denominatore fino a n=0: D ( x ) = ( tan x ) α = [ x + o ( x 2 ) ] α

Sviluppo di Taylor del numeratore .

cos x = 1 x 2 2 + o ( x 3 )

1 + x 2 = ( 1 + x 2 ) 1 2 = 1 + x 2 2 + o ( x 2 )

1 + x 2 · cos x = [ 1 + x 2 2 + o ( x 2 ) ] . [ 1 x 2 2 + o ( x 3 ) ] = 1 x 2 2 + o ( x 3 ) + x 2 2 x 4 4 + o ( x 5 ) + o ( x 2 ) + o ( x 4 ) + o ( x 5 ) = 1 x 4 4 + o ( x 2 )

Lo sviluppo di 1 + x 2 · cos x ha prodotto un unico termine in x4 non presente nello sviluppo dei fattori.

Per non trascurare eventuali termini in x4 bisogna portare gli sviluppi avanti di un termine:

cos x = 1 x 2 2 + x 4 24 + o ( x 5 )

1 + x 2 = ( 1 + x 2 ) 1 2 = 1 + x 2 2 x 4 8 + o ( x 4 )

1 + x 2 · cos x = [ 1 + x 2 2 x 4 8 + o ( x 4 ) ] . [ 1 x 2 2 + x 4 24 + o ( x 5 ) ] =

= 1 x 2 2 + x 4 24 + o ( x 5 ) + x 2 2 x 4 4 + x 6 48 + o ( x 7 ) x 4 8 + x 6 16 x 8 192 + o ( x 9 ) + o ( x 4 ) + o ( x 6 ) + o ( x 8 ) + o ( x 9 ) = 1 x 4 3 + x 6 12 x 8 192 + o ( x 4 )

Lo sviluppo del numeratore:

N ( x ) = 1 [ 1 x 4 3 + x 6 12 x 8 192 + o ( x 4 ) ] = x 4 3 x 6 12 + x 8 192 + o ( x 4 )

In conclusione:

lim x 0 1 1 + x 2 cos x ( tan x ) α = lim x 0 x 4 3 x 6 12 + x 8 192 + o ( x 4 ) ( x + o ( x 2 ) ) α = lim x 0 1 3 x 2 12 + x 4 192 + o ( 1 ) [ x + o ( x 2 ) ] α 4

Possono presentarsi tre casi:

{ α < 4 α 4 < 0 lim x 0 1 3 x 2 12 + x 4 192 + o ( 1 ) ( x + o ( x 2 ) ) α 4 = 0 α = 4 α 4 = 0 lim x 0 1 3 x 2 12 + x 4 192 + o ( 1 ) ( x + o ( x 2 ) ) 0 = 1 3 α > 4 α 4 > 0 lim x 0 1 3 x 2 12 + x 4 192 + o ( 1 ) ( x + o ( x 2 ) ) α 4 = +