y=ln⁡xxy = \dfrac{\ln x}{x}

Gráfica de la función y=ln⁡xxy = \dfrac{\ln x}{x}

y=ln⁡xxy = \dfrac{\ln x}{x} es un logaritmo dividido por una función lineal. El numerador crece solo despacio, así que el denominador acaba adelantándolo y la expresión entera vuelve a 00. El máximo que alcanza por el camino recoge algo esencial sobre el número ee.

Dominio y rango

El dominio es x>0x > 0. Cuando x→0+x \to 0^{+} el numerador tiende a −∞-\infty y el denominador a 0+0^{+}, así que y→−∞y \to -\infty; cuando x→∞x \to \infty resulta y→0+y \to 0^{+}. El valor máximo es 1e\dfrac{1}{e}, de modo que el rango es y≤1ey \leq \dfrac{1}{e}.

Asíntotas y corte con el eje

El eje yy es una asíntota vertical y el eje xx, una horizontal, aunque por la derecha la curva se le acerca por arriba. Como ln⁡x=0\ln x = 0 en x=1x = 1, el corte con el eje xx es (1,0)(1, 0); la función es negativa en 0<x<10 < x < 1 y positiva para x>1x > 1.

Monotonía y extremos

La regla del cociente da la derivada.

y′=1−ln⁡xx2y' = \frac{1 - \ln x}{x^2}

El denominador es positivo, así que el signo lo da 1−ln⁡x1 - \ln x: positivo para x<ex < e y negativo para x>ex > e. La función tiene, por tanto, un máximo, local y absoluto, en x=ex = e, de valor 1e\dfrac{1}{e}. El punto máximo es (e,1e)≈(2.718,0.368)\left( e, \dfrac{1}{e} \right) \approx (2.718, 0.368).

Concavidad e inflexión

La segunda derivada es y′′=2ln⁡x−3x3y'' = \dfrac{2\ln x - 3}{x^3}. El denominador es positivo, así que el signo es el de 2ln⁡x−32\ln x - 3, que cambia en x=e3/2≈4.482x = e^{3/2} \approx 4.482. Ese único punto de inflexión, donde la curva pasa de cóncava hacia abajo a cóncava hacia arriba, tiene valor 32e−3/2≈0.335\dfrac{3}{2}e^{-3/2} \approx 0.335.

Comparar eπe^{\pi} y πe\pi^{e}

Como el máximo está en x=ex = e, se sigue una comparación célebre. Para x≠ex \neq e se tiene ln⁡xx<1e\dfrac{\ln x}{x} < \dfrac{1}{e} y, tomando x=πx = \pi, resulta la cadena siguiente.

ln⁡ππ<1eeln⁡π<ππe<eπ\begin{align*} \frac{\ln \pi}{\pi} &< \frac{1}{e} \\ e \ln \pi &< \pi \\ \pi^{e} &< e^{\pi} \end{align*}

Numéricamente, πe≈22.459\pi^{e} \approx 22.459 y eπ≈23.141e^{\pi} \approx 23.141. El mismo argumento muestra que ab>baa^{b} > b^{a} siempre que e≤a<be \leq a < b.

Relación con nn\sqrt[n]{n}

Como x1/x=e(ln⁡x)/xx^{1/x} = e^{(\ln x)/x}, el punto máximo de esta función es también el punto máximo de x1/xx^{1/x}, que vale e1/e≈1.445e^{1/e} \approx 1.445 en x=ex = e.

nnnn\sqrt[n]{n}
221.4141.414
331.4421.442
441.4141.414
10101.2591.259

Entre los enteros, el más cercano a ee es 33, así que la sucesión nn\sqrt[n]{n} alcanza su máximo en n=3n = 3. Conforme la gráfica se estabiliza hacia 00, la sucesión tiende a 11.

Integral

Sustituir t=ln⁡xt = \ln x da un resultado limpio.

∫ln⁡xx dx=(ln⁡x)22+C\int \frac{\ln x}{x}\,dx = \frac{(\ln x)^2}{2} + C