Fonction composée x -> ln[u(x)]

D'après le théorème sur la fonction dérivée d'une fonction composée, on peut écrire :

FondamentalPropriété

Soit u u une fonction dérivable et strictement positive sur un intervalle I I . La fonction f : x ln [ u ( x ) ] f nitalic : x toward ln [u(x)] est dérivable sur I I et

f ' ( x ) = u ' ( x ) u ( x ) f'(x)={u'(x)}over{u(x)}

Remarque

La fonction u u étant positive sur I I , la fonction f : x ln [ u ( x ) ] f nitalic : x toward ln [u(x)] a donc le même sens de variation que la fonction u u sur I I .

Exemple

Soit la fonction f f définie sur setR par f : x ln [ x 2 + 2 ] f nitalic : x toward ln left [x^2+2 right ] ,

On a : f ' ( x ) = 2 x x 2 + 2 f'(x)={2 x}over{x^2+2}

f f est décroissante sur setR_{{}-{}} , croissante sur + setR_{{}+{}} et admet un minimum au point 0 0 , tout comme la parabole d'équation y = x 2 + 2 y = x^2+2

Remarque

Pour étudier les limites de la fonction f f aux bornes de son domaine de définition, on utilise le théorème sur la limite d'une fonction composée.

Exemple

Soit la fonction f f définie sur setR^{{}*{}} par f : x ln [ x 2 x 2 + 2 ] f nitalic : x toward ln left [{x^2}over{x^2+2} right ]

On pose u ( x ) = x 2 x 2 + 2 u(x)={x^2}over{x^2+2}

On a : lim x + u ( x ) = lim x + x 2 x 2 + 2 = lim x + x 2 x 2 = 1 lim from {x toward +infinity} u(x) = lim from {x toward +infinity} {{x^2}over{x^2 + 2}} = lim from {x toward +infinity} {{x^2}over{x^2}} = 1

donc :

lim x + f ( x ) = lim u ( x ) 1 ln [ u ( x ) ] = ln 1 = 0 lim from {x toward +infinity} f(x) = lim from {u(x) toward 1} ln[u(x)] = ln 1 = 0

De même : lim x 0 u ( x ) = lim x 0 x 2 x 2 + 2 = 0 + lim from {x toward 0} u(x) = lim from {x toward 0} {{x^2}over{x^2 + 2}} = 0^{{}+{}}

et donc

lim x 0 f ( x ) = lim u ( x ) 0 + ln [ u ( x ) ] = lim from {x toward 0} f(x) = lim from {u(x) toward 0^{{}+{}}} ln[u(x)] = - infinity