y=xlnx 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 0. El máximo que alcanza por el camino recoge algo esencial sobre el número e.
Dominio y rango
El dominio es x>0. Cuando x→0+ el numerador tiende a −∞ y el denominador a 0+, así que y→−∞; cuando x→∞ resulta y→0+. El valor máximo es e1, de modo que el rango es y≤e1.
Asíntotas y corte con el eje
El eje y es una asíntota vertical y el eje x, una horizontal, aunque por la derecha la curva se le acerca por arriba. Como lnx=0 en x=1, el corte con el eje x es (1,0); la función es negativa en 0<x<1 y positiva para x>1.
Monotonía y extremos
La regla del cociente da la derivada.
y′=x21−lnx
El denominador es positivo, así que el signo lo da 1−lnx: positivo para x<e y negativo para x>e. La función tiene, por tanto, un máximo, local y absoluto, en x=e, de valor e1. El punto máximo es (e,e1)≈(2.718,0.368).
Concavidad e inflexión
La segunda derivada es y′′=x32lnx−3. El denominador es positivo, así que el signo es el de 2lnx−3, que cambia en x=e3/2≈4.482. Ese único punto de inflexión, donde la curva pasa de cóncava hacia abajo a cóncava hacia arriba, tiene valor 23e−3/2≈0.335.
Comparar eπ y πe
Como el máximo está en x=e, se sigue una comparación célebre. Para x=e se tiene xlnx<e1 y, tomando x=π, resulta la cadena siguiente.
πlnπelnππe<e1<π<eπ
Numéricamente, πe≈22.459 y eπ≈23.141. El mismo argumento muestra que ab>ba siempre que e≤a<b.
Relación con nn
Como x1/x=e(lnx)/x, el punto máximo de esta función es también el punto máximo de x1/x, que vale e1/e≈1.445 en x=e.
n
nn
2
1.414
3
1.442
4
1.414
10
1.259
Entre los enteros, el más cercano a e es 3, así que la sucesión nn alcanza su máximo en n=3. Conforme la gráfica se estabiliza hacia 0, la sucesión tiende a 1.