La derivata prima della funzione è: \[f’(x)=\left\{ \begin{array}{ll} \frac{{{e}^{x}}-2}{{{e}^{2x}}-{{e}^{x}}+1}\quad x<0 \\ \frac{{{e}^{x}}-2}{{{e}^{2x}}-{{e}^{x}}+1}\quad x>0 \end{array} \right.\] ed essendo \(\underset{x\to {{0}^{\pm }}}{\mathop{\lim }}\,f'\left( x \right)=\pm 1\) la funzione non è derivabile in \(x=0\), presentando in tal punto semirette tangenti destra e sinistra con pendenze rispettivamente \(1\) e \(-1\). La derivata prima si annulla per \(x=\ln 2\), e poiché risulta negativa per \(x<0\) e per \(x>\ln 2\), positiva per \(0<x<\ln 2\), il punto \((\ln 2, \ln(4/3))\) rappresenta un massimo relativo per il grafico di \(f(x)\).
La derivata seconda della funzione è: \[f’’(x)=\left\{ \begin{array}{ll} -\frac{{{e}^{2x}}\left( {{e}^{2x}}-4{{e}^{x}}+1 \right)}{{{\left( {{e}^{2x}}-{{e}^{x}}+1 \right)}^{2}}}\quad x<0 \\ \frac{{{e}^{2x}}\left( {{e}^{2x}}-4{{e}^{x}}+1 \right)}{{{\left( {{e}^{2x}}-{{e}^{x}}+1 \right)}^{2}}}\quad x>0 \end{array} \right.\] per cui \(f''\left( x \right)=0\leftrightarrow x=\ln \left( 2\pm \sqrt{3} \right)\) e la concavità è rivolta verso l’alto per valori di \(x\) esterni all’intervallo determinato da tali valori, in corrispondenza ai quali il grafico di \(f(x)\) presenta due punti di flesso obliquo.
L’equazione \(f(x)=\lambda\) ammette una soluzione (\(x=0\)) per \(\lambda =0\), tre soluzioni per \(0<\lambda <\ln(4/3)\), due soluzioni per \(\lambda = \ln(4/3)\), una soluzione per \(\lambda > \ln(4/3)\).
Nel secondo caso, dimostriamo la continuità della funzione \(f(x)\) in tutto \(A=(0;+\infty)\) verificando la sua continuità anche nel punto \(x=1\), essendo (posto \(t=x-1\)): \[\underset{x\to 1}{\mathop{\lim }}\,\frac{x\ln x}{x-1}=\underset{t\to 0}{\mathop{\lim }}\,\frac{\left( t+1 \right)\ln \left( t+1 \right)}{t}=1\cdot 1=1=f\left( 1 \right)\quad .\] Riguardo ai limiti significativi si ha (ricordando che \(\underset{x\to {{0}^{+}}}{\mathop{\lim }}\,x\ln x=0\)):
\[\underset{x\to {{0}^{+}}}{\mathop{\lim }}\,\frac{x\ln x}{x-1}=\frac{\underset{x\to {{0}^{+}}}{\mathop{\lim }}\,x\ln x}{-1}=\frac{0}{-1}=0\quad \quad \underset{x\to +\infty }{\mathop{\lim }}\,\frac{x\ln x}{x-1}=\underset{x\to +\infty }{\mathop{\lim }}\,\frac{\ln x}{\left( 1-1/x \right)}=+\infty\] per cui non si hanno asintoti, neanche obliqui (\(\underset{x\to +\infty }{\mathop{\lim }}\,f\left( x \right)/x=0\)). Le derivate prima e seconda sono le seguenti:
\[f’\left( x \right)=\left\{ \begin{array}{ll} \frac{x-1-\ln x}{(x-1)^2}\quad x>0,\;x\ne 1 \\ \frac{1}{2}\quad \quad \quad x=1 \end{array} \right.\] \[f’’\left( x \right)=\left\{ \begin{array}{ll} \frac{2x\ln x+1-x^2}{x(x-1)^3}\quad x>0,\;x\ne 1 \\ -\frac{1}{3}\quad \quad \quad x=1 \end{array} \right.\] essendo, in base al teorema di de l’Hopital: \[\underset{x\to 1}{\mathop{\lim }}\,f'\left( x \right)=\underset{x\to 1}{\mathop{\lim }}\,\frac{x-1-\ln x}{{{\left( x-1 \right)}^{2}}}=\underset{x\to 1}{\mathop{\lim }}\,\frac{1-1/x}{2\left( x-1 \right)}=\frac{1}{2}\]\[\underset{x\to 1}{\mathop{\lim }}\,f''\left( x \right)=\underset{x\to 1}{\mathop{\lim }}\,\frac{2x\ln x+1-{{x}^{2}}}{x{{\left( x-1 \right)}^{3}}}=...=\underset{x\to 1}{\mathop{\lim }}\,\frac{-1}{3x\left( 2x-1 \right)}=-\frac{1}{3}\]cioè la funzione è ovunque derivabile due volte in \(A\). Un’analisi grafico-analitica consente di 
dimostrare che, per ogni \(x>0\), si ha \(x-1\ge \ln x\), quindi la funzione è sempre monotona crescente, mentre \((x^2-1)/(2x)>\ln x\) per \(x>1\), \((x^2-1)/(2x)<\ln x\) per \(0<x<1\), per cui la derivata seconda è sempre negativa, cioè il grafico volge sempre la concavità verso il basso. Non sono presenti estremi realtivi, e la funzione realizza una corrispondenza biunivoca tra \(A=(0;+\infty)\) e \(A=(0;+\infty)\) stesso, pertanto l’equazione \(f(x)=\sqrt{41}\) ammette una e una sola soluzione.
Massimo Bergamini
