Si consideri la funzione \(f(x) = x\ln^2(x)\) definita nel suo dominio naturale.
Si studi la funzione \(f(x)\) e se ne tracci un grafico rappresentativo.
La funzione è definita dove l'argomento del logaritmo è strettamente positivo:
\[D = (0,\,+\infty)\]La funzione non presenta simmetrie (né pari né dispari) poiché il dominio non è simmetrico rispetto all'origine. Essendo \(x>0\) nel dominio e \(\ln^2(x)\ge0\) per ogni reale, si ha \(f(x)\ge0\) ovunque. La funzione si annulla dove \(\ln(x)=0\), cioè per \(x=1\): il grafico interseca l'asse \(x\) nel punto \((1,\,0)\).
Questo risultato si ottiene richiamando il seguente limite notevole:
\[\lim_{x \to 0^+} x^a \ln^b(x) = 0 \quad \text{per ogni } a>0 \text{ e per ogni } b>0\]Questo limite si può dimostrare con la regola di De L'Hôpital scrivendolo nella forma \(\frac{\ln^b(x)}{x^{-a}}\), oppure utilizzando la gerarchia degli infiniti (l'infinito del denominatore domina sempre sull'infinito del numeratore).
\[\lim_{x\to+\infty}x\ln^2(x)=+\infty\]Non vi sono asintoti obliqui a \(+\infty\), poiché \(\dfrac{f(x)}{x}=\ln^2(x)\to+\infty\).
Applicando la regola del prodotto e la derivazione della funzione composta:
\[f'(x)=\ln^2(x)+x\cdot2\ln(x)\cdot\frac{1}{x}=\ln^2(x)+2\ln(x)=\ln(x)\bigl(\ln(x)+2\bigr)\]Studiamo il segno di \(f'(x)\ge0\):
\[\ln(x)\le-2\;\cup\;\ln(x)\ge0 \implies 0<x\le e^{-2}\;\cup\;x\ge1\]Punti stazionari:
Derivando \(f'(x)\):
\[f''(x)=\frac{2\ln(x)}{x}+\frac{2}{x}=\frac{2}{x}\bigl(\ln(x)+1\bigr)\]Poiché \(x>0\), il segno dipende dal termine in parentesi:
\[\ln(x)+1\ge0\implies x\ge e^{-1}\approx0{,}37\]In \(x=e^{-1}\approx0{,}37\) si ha un punto di flesso con ordinata \(f(e^{-1})=e^{-1}\cdot(-1)^2=e^{-1}\approx0{,}37\).
Grafico di \(f(x)=x\ln^2(x)\) con i punti caratteristici \(M\), \(F\) e \(m_f\)
Si dimostri che l'equazione \(f(x)=\dfrac{3}{2}\) ammette una sola soluzione \(c\) e se ne determini un valore approssimato a meno di un centesimo.
L'equazione \(f(x)=\frac{3}{2}\) equivale a trovare le intersezioni del grafico di \(f\) con la retta orizzontale \(y=\frac{3}{2}=1{,}5\). Poiché nell'intervallo \((0,\,1]\) il massimo assoluto vale \(4e^{-2}\approx0{,}54<1{,}5\), l'intersezione è necessariamente a destra del minimo, nella zona crescente.
La retta \(y=1{,}5\) interseca il grafico in un unico punto \(C\) con \(x\in(2,\,3)\)
Definiamo la funzione ausiliaria:
\[h(x)=f(x)-\tfrac{3}{2}=x\ln^2(x)-\tfrac{3}{2}\]\(h\) è continua in \([2,\,3]\) e:
\[h(2)=2\ln^2(2)-1{,}5\approx0{,}96-1{,}5=-0{,}54<0\] \[h(3)=3\ln^2(3)-1{,}5\approx3{,}62-1{,}5=+2{,}12>0\]Per il teorema degli zeri esiste almeno un \(c\in(2,\,3)\) con \(h(c)=0\). Per l'unicità, osserviamo che \(h'(x)=\ln(x)(\ln(x)+2)>0\) per ogni \(x\in[2,\,3]\): la funzione è strettamente crescente, dunque può annullarsi al più una volta.
Partiamo dall'intervallo \([2,\,3]\) e dimezziamo ad ogni passo:
| Passo | \(a\) | \(b\) | \(m\) | \(h(m)\) | Segno | Nuovo interv. |
|---|---|---|---|---|---|---|
| 1 | 2 | 3 | 2,5 | \(+0{,}60\) | \(+\) | \([2;\,2{,}5]\) |
| 2 | 2 | 2,5 | 2,25 | \(-0{,}02\) | \(-\) | \([2{,}25;\,2{,}5]\) |
| 3 | 2,25 | 2,5 | 2,375 | \(+0{,}28\) | \(+\) | \([2{,}25;\,2{,}375]\) |
| 4 | 2,25 | 2,375 | 2,3125 | \(+0{,}13\) | \(+\) | \([2{,}25;\,2{,}3125]\) |
| 5 | 2,25 | 2,3125 | 2,28125 | \(+0{,}05\) | \(+\) | \([2{,}25;\,2{,}28125]\) |
| 6 | 2,25 | 2,28125 | 2,2656 | \(+0{,}015\) | \(+\) | \([2{,}25;\,2{,}2656]\) |
| 7 | 2,25 | 2,2656 | 2,2578 | \(-0{,}003\) | \(-\) | \([2{,}2578;\,2{,}2656]\) |
L'intervallo finale ha ampiezza \(0{,}0078<0{,}01\): il valore approssimato è \(c\approx2{,}26\).
Condizioni di applicabilità in \([2,\,3]\):
Poiché \(h''(x)>0\), partiamo dall'estremo in cui \(h\) ha lo stesso segno di \(h''\), cioè \(x_0=3\) dove \(h(3)>0\).
Formula ricorsiva: \(x_{n+1}=x_n-\dfrac{h(x_n)}{h'(x_n)}\)
Le tangenti successive al grafico di \(h(x)\) convergono rapidamente alla radice
| Iter. | \(x_n\) | \(h(x_n)\) | \(h'(x_n)\) | \(x_{n+1}\) |
|---|---|---|---|---|
| 0 | 3 | \(2{,}1208\) | \(3{,}4042\) | \(3-\frac{2{,}1208}{3{,}4042}\approx2{,}3770\) |
| 1 | 2,3770 | \(0{,}2821\) | \(2{,}4814\) | \(2{,}3770-\frac{0{,}2821}{2{,}4814}\approx2{,}2633\) |
| 2 | 2,2633 | \(0{,}0101\) | \(2{,}3009\) | \(2{,}2633-\frac{0{,}0101}{2{,}3009}\approx2{,}2589\) |
Essendo \(|x_3-x_2|=0{,}0044<0{,}01\), il processo converge.
Indicato con \(a\) un numero reale appartenente all'intervallo \((0;\,1]\), si calcoli l'area \(A\) della regione finita di piano \(R\) delimitata dal grafico di \(f\), dall'asse \(x\) e dalle rette \(x=a\) e \(x=1\). Si determini poi il limite per \(a\to0^+\) di tale area e si interpreti geometricamente il risultato ottenuto.
Nell'intervallo \((0;\,1]\) la funzione \(f(x)=x\ln^2(x)\ge0\), annullandosi solo in \(x=1\). La regione \(R\) è interamente nel primo quadrante.
Regione \(R\) (in verde) nell'intervallo \([a,\,1]\)
Scegliamo \(u=\ln^2(x)\) e \(v'=x\):
Il termine in \(x=1\) si annulla perché \(\ln(1)=0\):
\[\int_{a}^{1}x\ln^2(x)\,dx=-\frac{a^2}{2}(\ln a)^2-\int_{a}^{1}x\ln(x)\,dx\]Scegliamo \(u=\ln(x)\) e \(v'=x\):
Sostituendo e distribuendo il segno meno:
\[A(a)=-\frac{a^2}{2}(\ln a)^2+\frac{a^2}{2}\ln a+\frac{1}{4}-\frac{a^2}{4}\]Per la gerarchia degli infinitesimi:
\[\lim_{a\to0^+}a^2(\ln a)^2=0 \qquad \lim_{a\to0^+}a^2\ln a=0\]L'unico termine non nullo è la costante \(\frac{1}{4}\):
\[\lim_{a\to0^+}A(a)=\frac{1}{4}\]Interpretazione geometrica: il risultato è il valore dell'integrale improprio su \((0;\,1]\). Sebbene la regione si accumuli verso l'origine, la sua area è finita e vale esattamente \(\frac{1}{4}\). L'integrale improprio è convergente.
Posto \(g(x)=f'(x)\), si deduca il grafico qualitativo \(G\) della funzione derivata a partire da quello di \(f(x)\). Si calcoli infine l'area del quadrilatero avente per vertici il punto di massimo e il punto di minimo di \(f\), l'intersezione \(A\) di \(G\) con l'asse \(x\) avente ascissa minore, e il punto di minimo della funzione \(g\).
\(f(x)\) (tratteggiata in azzurro) e \(g(x)=f'(x)\) (in verde continuo)
Il quadrilatero \(M\,m_f\,m_g\,A\) (evidenziato in viola): angolo retto in \(A\)
\(A\) e \(M\) hanno la stessa ascissa \(x=e^{-2}\) → il segmento \(AM\) è verticale. \(A\) e \(m_f\) hanno entrambi ordinata \(0\) → il segmento \(Am_f\) è orizzontale. Il quadrilatero ha un angolo retto in \(A\).
Calcoliamo l'area scomponendo il quadrilatero in due triangoli con base comune \(\overline{Am_f}\):
\[b=\overline{Am_f}=1-e^{-2}\]Triangolo superiore \(\triangle MAm_f\) (rettangolo in \(A\)):
\[h_1=\overline{AM}=4e^{-2}\] \[\text{Area}_1=\frac{b\cdot h_1}{2}=\frac{(1-e^{-2})\cdot4e^{-2}}{2}=2e^{-2}-2e^{-4}\]Triangolo inferiore \(\triangle Am_fm_g\):
\[h_2=|y_{m_g}|=1\] \[\text{Area}_2=\frac{b\cdot h_2}{2}=\frac{1-e^{-2}}{2}=\frac{1}{2}-\frac{e^{-2}}{2}\]Area totale:
\[S=\left(2e^{-2}-2e^{-4}\right)+\left(\frac{1}{2}-\frac{e^{-2}}{2}\right)=\frac{1}{2}+\frac{3}{2}e^{-2}-2e^{-4}\]Approssimazione numerica (\(e^{-2}\approx0{,}1353\), \(e^{-4}\approx0{,}0183\)):
\[S\approx0{,}5+1{,}5\cdot0{,}1353-2\cdot0{,}0183\approx0{,}67\]