Si consideri la funzione definita da:
\[f(x) = x + \ln 4 + \frac{2}{e^x + 1}\]Studia i limiti di \(f(x)\) per \(x \to +\infty\) e per \(x \to -\infty\), determinando gli eventuali asintoti. Mostra inoltre che il punto \(A(0;\, 1 + \ln 4)\) è centro di simmetria per il grafico della funzione.
Poiché il grafico diverge linearmente, cerchiamo l'asintoto obliquo \(y = mx + q\):
\[m = \lim_{x \to +\infty} \frac{f(x)}{x} = \lim_{x \to +\infty} \left( 1 + \frac{\ln 4}{x} + \frac{2}{x(e^x + 1)} \right) = 1\] \[q = \lim_{x \to +\infty} [f(x) - x] = \lim_{x \to +\infty} \left( \ln 4 + \frac{2}{e^x + 1} \right) = \ln 4\]Cerchiamo l'asintoto obliquo sinistro \(y = mx + q\):
\[m = \lim_{x \to -\infty} \frac{f(x)}{x} = \lim_{x \to -\infty} \left( 1 + \frac{\ln 4}{x} + \frac{2}{x(e^x + 1)} \right) = 1\] \[q = \lim_{x \to -\infty} [f(x) - x] = \lim_{x \to -\infty} \left( \ln 4 + \frac{2}{e^x + 1} \right) = \ln 4 + 2\]Un punto \((x_0;\,y_0)\) è centro di simmetria per il grafico di \(f\) se e solo se vale la relazione:
\[f(x_0 + t) + f(x_0 - t) = 2y_0 \quad \forall t\]Con \(x_0 = 0\), questo equivale a verificare che \(f(x) + f(-x) = 2(1 + \ln 4)\) per ogni \(x\).
I termini \(-x\) e \(x\) si cancellano. Sommiamo le due frazioni dopo aver riscritta la prima moltiplicando numeratore e denominatore per \(e^x\):
\[= 2\ln 4 + \frac{2e^x}{e^x + 1} + \frac{2}{e^x + 1} = 2\ln 4 + \frac{2e^x + 2}{e^x + 1}\]Si provi che, per tutti i reali \(m\), l'equazione \(f(x) = m\) ammette una e una sola soluzione in \(\mathbb{R}\). Sia \(\alpha\) la soluzione dell'equazione \(f(x) = 3\); per quale valore di \(m\) il numero \(-\alpha\) è soluzione dell'equazione \(f(x) = m\)?
Per dimostrare che l'equazione \(f(x) = m\) ammette una e una sola soluzione per qualunque valore reale di \(m\), analizziamo la derivata prima della funzione per studiarne la monotonia.
Essendo \(f'(x) > 0\) per ogni \(x \in \mathbb{R}\), la funzione è strettamente crescente su tutto il suo dominio.
Poiché la funzione è continua, strettamente crescente e i suoi limiti agli estremi del dominio sono \(\displaystyle\lim_{x\to-\infty}f(x)=-\infty\) e \(\displaystyle\lim_{x\to+\infty}f(x)=+\infty\), l'immagine della funzione coincide con l'intero asse reale \(\mathbb{R}\). Per il teorema dei valori intermedi e per la stretta monotonia, la funzione assume ogni valore reale \(m\) una e una sola volta. Di conseguenza, l'equazione \(f(x) = m\) ammette sempre un'unica soluzione.
Ci viene dato che \(\alpha\) è la soluzione dell'equazione \(f(x) = 3\), il che significa che vale l'uguaglianza:
\[f(\alpha) = 3\]Vogliamo trovare il valore \(m\) tale che \(-\alpha\) sia soluzione di \(f(x) = m\), ossia:
\[f(-\alpha) = m\]Si provi che, per tutti gli \(x\) reali, è: \(\displaystyle f(x) = x + 2 + \ln 4 - \frac{2e^x}{e^x + 1}\). Si provi altresì che la retta \(r\) di equazione \(y = x + \ln 4\) e la retta \(s\) di equazione \(y = x + 2 + \ln 4\) sono asintoti di \(\Gamma\) e che \(\Gamma\) è interamente compresa nella striscia piana delimitata da \(r\) e da \(s\).
Partiamo dalla definizione originaria di \(f(x) = x + \ln 4 + \frac{2}{e^x + 1}\).
Verifichiamo il comportamento della funzione agli estremi del dominio per confermare la presenza degli asintoti obliqui \(r\) e \(s\).
Questo prova che la retta \(r: y = x + \ln 4\) è asintoto obliquo destro per il grafico \(\Gamma\).
Questo prova che la retta \(s: y = x + 2 + \ln 4\) è asintoto obliquo sinistro per il grafico \(\Gamma\).
Per dimostrare che il grafico \(\Gamma\) si trova interamente all'interno della striscia piana delimitata dai due asintoti paralleli, valutiamo i segni delle differenze tra la funzione e le rette:
La curva è strettamente crescente (come verificato dallo studio della derivata) ed è confinata nella fascia tra l'asintoto destro \(r\) e l'asintoto sinistro \(s\), intersecando l'asse delle ordinate nel centro di simmetria.
Calcola il valore del seguente limite e specifica il suo significato geometrico:
\[\lim_{\beta \to +\infty} \int_{0}^{\beta} [f(x) - x - \ln 4]\,dx\]Sostituiamo la definizione di \(f(x)\) all'interno dell'integrale:
\[f(x) - x - \ln 4 = \left( x + \ln 4 + \frac{2}{e^x + 1} \right) - x - \ln 4 = \frac{2}{e^x + 1}\]Il limite diventa quindi:
\[\lim_{\beta \to +\infty} \int_{0}^{\beta} \frac{2}{e^x + 1}\,dx\]Dobbiamo trovare una primitiva di \(\dfrac{2}{e^x + 1}\). Utilizziamo il trucco algebrico di aggiungere e sottrarre \(2e^x\) al numeratore:
\[\frac{2}{e^x + 1} = \frac{2 + 2e^x - 2e^x}{e^x + 1} = \frac{2(e^x + 1) - 2e^x}{e^x + 1} = 2 - \frac{2e^x}{e^x + 1}\]Applichiamo il Teorema Fondamentale del calcolo negli estremi \(0\) e \(\beta\):
\[I(\beta) = \Big[ 2x - 2\ln(e^x + 1) \Big]_{0}^{\beta} = \Big(2\beta - 2\ln(e^\beta + 1)\Big) - \Big(0 - 2\ln 2\Big)\] \[= 2\beta - 2\ln(e^\beta + 1) + 2\ln 2\]Per evitare la forma indeterminata \(\infty - \infty\), raccogliamo i termini con il logaritmo usando le proprietà \(2\beta = \ln(e^{2\beta})\) e \(2\ln A = \ln(A^2)\):
\[2\beta - 2\ln(e^\beta + 1) = \ln(e^{2\beta}) - \ln(e^\beta + 1)^2 = \ln\!\left( \frac{e^{2\beta}}{(e^\beta + 1)^2} \right)\]Poiché l'argomento del logaritmo tende a \(1\), si ha \(\ln(\ldots) \to \ln 1 = 0\). Quindi:
\[\lim_{\beta \to +\infty} I(\beta) = 0 + 2\ln 2 = \ln(2^2) = \ln 4\]La quantità \(f(x) - (x + \ln 4)\) misura la distanza verticale tra la curva \(f\) e il suo asintoto obliquo destro \(r: y = x + \ln 4\). Poiché \(f(x) > x + \ln 4\) per ogni \(x\) (la curva sta sempre al di sopra dell'asintoto destro), l'integrale calcolato rappresenta l'area della regione illimitata compresa tra il grafico di \(f\) e la retta \(r\) per \(x \geq 0\). Il fatto che questo valore sia finito (\(\ln 4\)) conferma che, pur essendo la regione illimitata in larghezza, ha area finita.
La regione illimitata compresa tra \(f\) e l'asintoto \(r\) per \(x \geq 0\) ha area pari a \(\ln 4\).