Sia \(f\) la funzione definita sull'insieme \(\mathbb{R}\) dei numeri reali da: \[f(x) = x + \ln 4 + \frac{2}{e^x + 1}\] e sia \(\Gamma\) la sua rappresentazione grafica nel sistema di riferimento \(Oxy\).
Si determinino i limiti di \(f(x)\) per \(x\) che tende a \(+\infty\) e a \(-\infty\). Si calcoli \(f(x) + f(-x)\) e si spieghi perché dal risultato si può dedurre che il punto \(A(0;\, 1 + \ln 4)\) è centro di simmetria di \(\Gamma\).
Analizziamo il comportamento asintotico della funzione nei due estremi del dominio \(\mathbb{R}\):
Scriviamo l'espressione di \(f(-x)\):
\[f(-x) = -x + \ln 4 + \frac{2}{e^{-x} + 1}\]Per semplificare l'ultimo termine, moltiplichiamo numeratore e denominatore per \(e^x\):
\[\frac{2}{e^{-x} + 1} = \frac{2 \cdot e^x}{(e^{-x} + 1) \cdot e^x} = \frac{2e^x}{1 + e^x}\]Quindi:
\[f(-x) = -x + \ln 4 + \frac{2e^x}{e^x + 1}\]Ora sommiamo \(f(x)\) e \(f(-x)\):
\[f(x) + f(-x) = \left(x + \ln 4 + \frac{2}{e^x + 1}\right) + \left(-x + \ln 4 + \frac{2e^x}{e^x + 1}\right)\]I termini in \(x\) ed \(-x\) si elidono, e possiamo raggruppare le frazioni avendo lo stesso denominatore:
\[f(x) + f(-x) = 2\ln 4 + \frac{2 + 2e^x}{e^x + 1} = 2\ln 4 + \frac{2(1 + e^x)}{e^x + 1} = 2\ln 4 + 2\]Le equazioni della simmetria centrale rispetto al punto \(A(0;\, 1+\ln 4)\) sono descritte dal sistema:
\[\begin{cases} x' = -x \\ y' = 2(1 + \ln 4) - y \end{cases}\]che possiamo scrivere nella forma di sostituzione diretta per i punti del grafico \(\Gamma\):
\[\begin{cases} x \to -x \\ y \to 2 + 2\ln 4 - y \end{cases}\]Affinché il grafico della funzione sia simmetrico rispetto ad \(A\), sostituendo queste espressioni nell'equazione della curva \(y = f(x)\) dobbiamo riottenere la medesima relazione funzionale. Sostituendo si ha:
\[2 + 2\ln 4 - y = f(-x) \implies y = 2 + 2\ln 4 - f(-x)\]Poiché i punti appartengono alla curva, vale l'uguaglianza \(y = f(x)\), il che ci conduce alla nota condizione analitica di simmetria rispetto ad un punto:
\[f(x) = 2 + 2\ln 4 - f(-x) \implies f(x) + f(-x) = 2 + 2\ln 4\]Poiché il calcolo algebrico eseguito in precedenza ha confermato esattamente che la somma \(f(x) + f(-x)\) è pari a \(2\ln 4 + 2\), resta geometricamente e analiticamente dimostrato che il punto \(A\) è il centro di simmetria di \(\Gamma\).
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.
Calcoliamo la derivata prima di \(f(x) = x + \ln 4 + 2(e^x + 1)^{-1}\):
\[f'(x) = 1 + 0 + 2 \cdot (-1)(e^x + 1)^{-2} \cdot e^x = 1 - \frac{2e^x}{(e^x + 1)^2}\]Portiamo allo stesso denominatore per studiarne il segno:
\[f'(x) = \frac{(e^x + 1)^2 - 2e^x}{(e^x + 1)^2} = \frac{(e^{2x} + 2e^x + 1) - 2e^x}{(e^x + 1)^2} = \frac{e^{2x} + 1}{(e^x + 1)^2}\]Osserviamo l'espressione ottenuta:
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 ha come immagine l'intero asse reale (in quanto \(\displaystyle\lim_{x\to-\infty}f(x)=-\infty\) e \(\displaystyle\lim_{x\to+\infty}f(x)=+\infty\)), per il teorema dei valori intermedi e per la stretta monotonia, essa 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\]Sfruttiamo la proprietà di simmetria centrale dimostrata al punto a), valida per ogni valore reale \(x\), quindi anche per \(x = \alpha\):
\[f(\alpha) + f(-\alpha) = 2 + 2\ln 4\]Sostituiamo i valori noti all'interno della relazione:
\[3 + m = 2 + 2\ln 4 \implies m = 2 + 2\ln 4 - 3 \implies m = 2\ln 4 - 1\]Ricordando le proprietà dei logaritmi, possiamo anche scrivere \(2\ln 4 = \ln(4^2) = \ln 16\), quindi:
\[m = \ln 16 - 1\]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)\) e modifichiamo la frazione aggiungendo e sottraendo \(2e^x\) al numeratore:
\[f(x) = x + \ln 4 + \frac{2 + 2e^x - 2e^x}{e^x + 1} = x + \ln 4 + \frac{2(1 + e^x) - 2e^x}{e^x + 1}\]Spezziamo la frazione in due parti:
\[f(x) = x + \ln 4 + \frac{2(1 + e^x)}{e^x + 1} - \frac{2e^x}{e^x + 1}\]Semplificando il fattore \((e^x + 1)\) nella prima frazione otteniamo esattamente la tesi:
\[f(x) = x + 2 + \ln 4 - \frac{2e^x}{e^x + 1}\]Determiniamo gli eventuali asintoti obliqui della funzione calcolando i coefficienti \(m\) e \(q\) agli estremi del dominio.
Per provare che il grafico è tutto contenuto nella striscia tra le due rette, analizziamo i segni degli scarti:
Avendo verificato che per ogni \(x \in \mathbb{R}\) si ha:
\[x + \ln 4 < f(x) < x + 2 + \ln 4\]Resta confermato che la curva \(\Gamma\) giace interamente all'interno della striscia piana delimitata dai due asintoti obliqui.
Nota: Visivamente si nota chiaramente come la curva rimanga interamente confinata all'interno della striscia piana individuata dalle due rette parallele.
Posto \(\displaystyle I(\beta) = \int_{0}^{\beta} [f(x) - x - \ln 4]\,dx\), si calcoli: \(\displaystyle \lim_{\beta \to +\infty} I(\beta)\). Qual è il significato geometrico del risultato ottenuto?
Sostituiamo l'espressione della funzione \(f(x)\) all'interno dell'integrando:
\[I(\beta) = \int_{0}^{\beta} \left(x + \ln 4 + \frac{2}{e^x + 1} - x - \ln 4\right)dx =\]\[= \int_{0}^{\beta} \frac{2}{e^x + 1}\,dx\]Per calcolare la primitiva di \(\dfrac{2}{e^x+1}\), possiamo riscrivere il numeratore come \(2 + 2e^x - 2e^x\):
\[\int \frac{2}{e^x+1}\,dx = \int \left(\frac{2(e^x+1) - 2e^x}{e^x+1}\right)dx =\] \[=\int \left(2 - \frac{2e^x}{e^x+1}\right)dx = 2x - 2\ln(e^x+1) + C\]Applicando il teorema fondamentale del calcolo integrale sull'intervallo \([0; \beta]\):
\[I(\beta) = \left[2x - 2\ln(e^x + 1)\right]_{0}^{\beta} = 2\beta - 2\ln(e^\beta + 1) - \bigl(0 - 2\ln(e^0 + 1)\bigr) =\] \[=2\beta - 2\ln(e^\beta + 1) + 2\ln 2\]Per risolvere la forma indeterminata \(\infty - \infty\), raccogliamo le proprietà dei logaritmi trasformando il termine lineare in una forma logaritmica (\(2\beta = \ln(e^{2\beta})\)):
\[=2\beta - 2\ln(e^\beta + 1) + 2\ln 2 = \ln(e^{2\beta}) - \ln(e^\beta + 1)^2 + 2\ln 2 =\] \[=\ln\left(\frac{e^{2\beta}}{(e^\beta + 1)^2}\right) + 2\ln 2\]Calcoliamo ora il limite espandendo il denominatore ed evidenziando gli infiniti dominanti:
\[\lim_{\beta \to +\infty} \ln\left(\frac{e^{2\beta}}{e^{2\beta} + 2e^\beta + 1}\right) + 2\ln 2 =\] \[\ln(1) + 2\ln 2 = 0 + 2\ln 2 = \ln 4\]\[\lim_{\beta \to +\infty} I(\beta) = 2\ln 2 = \ln 4\]
Significato geometrico: il limite trovato rappresenta l'area della regione illimitata di piano compresa tra la curva \(\Gamma\) e il suo asintoto obliquo destro \(r: y = x + \ln 4\) nel semipiano delle ascisse positive (\(x > 0\)).