Sia data la funzione:
\[f(x) = \frac{x^3}{x^2 - 1}\]Una funzione è simmetrica rispetto all'origine se e solo se è dispari, ovvero se vale la condizione \(f(-x) = -f(x)\) per ogni \(x\) del dominio. Verifichiamo direttamente:
\[f(-x) = \frac{(-x)^3}{(-x)^2 - 1} = \frac{-x^3}{x^2 - 1} = -\frac{x^3}{x^2 - 1} = -f(x)\]Poiché \(f(-x) = -f(x)\) per ogni \(x\) del dominio, la funzione è dispari e il suo grafico è simmetrico rispetto all'origine. c.v.d.
Si studi tale funzione e se ne tracci il grafico \(\gamma\), su un piano riferito ad un sistema di assi cartesiani ortogonali \(Oxy\).
La funzione è una frazione algebrica; il denominatore si annulla per \(x^2 - 1 = 0\), ossia per \(x = \pm 1\). Il dominio è quindi:
\[D = \mathbb{R} \setminus \{-1,\, 1\} = (-\infty;\,-1) \cup (-1;\,1) \cup (1;\,+\infty)\]Per \(x = 0\): \(f(0) = 0\), quindi l'unica intersezione è l'origine \(O(0;\,0)\).
Per \(y = 0\): il numeratore \(x^3 = 0\) implica \(x = 0\). L'unico zero è confermato in \(x = 0\).
Studiamo il segno di \(\dfrac{x^3}{x^2 - 1} \ge 0\). Il numeratore \(x^3 \ge 0\) per \(x \ge 0\); il denominatore \(x^2 - 1 > 0\) per \(|x| > 1\). Con la regola dei segni:
\[f(x) \ge 0 \iff -1 < x \le 0 \quad \text{oppure} \quad x > 1\]Limiti agli estremi del dominio:
\[ \begin{aligned} &\lim_{x \to -\infty} \frac{x^3}{x^2 - 1} = \lim_{x \to -\infty} \frac{x^3}{x^2} = -\infty \\[6pt] &\lim_{x \to +\infty} \frac{x^3}{x^2 - 1} = \lim_{x \to +\infty} \frac{x^3}{x^2} = +\infty \end{aligned} \]Non esistono asintoti orizzontali.
Asintoti verticali: In \(x = -1\) e \(x = 1\) il denominatore si annulla mentre il numeratore no:
\[ \begin{aligned} &\lim_{x \to -1^-} f(x) = -\infty, \quad \lim_{x \to -1^+} f(x) = +\infty \\[6pt] &\lim_{x \to 1^-} f(x) = -\infty, \quad \lim_{x \to 1^+} f(x) = +\infty \end{aligned} \]Le rette \(x = -1\) e \(x = 1\) sono asintoti verticali.
Asintoto obliquo: Essendo il grado del numeratore (3) superiore di 1 al grado del denominatore (2), cerchiamo un asintoto obliquo \(y = mx + q\):
\[m = \lim_{x \to \pm\infty} \frac{f(x)}{x} = \lim_{x \to \pm\infty} \frac{x^3}{x(x^2 - 1)} = \lim_{x \to \pm\infty} \frac{x^2}{x^2 - 1} = 1\] \[ \begin{aligned} q &= \lim_{x \to \pm\infty} \left[f(x) - x\right] = \lim_{x \to \pm\infty} \left[\frac{x^3}{x^2 - 1} - x\right] = \\ &= \lim_{x \to \pm\infty} \frac{x^3 - x(x^2 - 1)}{x^2 - 1} = \lim_{x \to \pm\infty} \frac{x}{x^2 - 1} = 0 \end{aligned} \]L'asintoto obliquo è \(y = x\), valido sia per \(x \to +\infty\) che per \(x \to -\infty\).
Applichiamo la regola del quoziente:
\[f'(x) = \frac{3x^2(x^2 - 1) - x^3 \cdot 2x}{(x^2 - 1)^2} = \frac{3x^4 - 3x^2 - 2x^4}{(x^2 - 1)^2} =\] \[=\frac{x^4 - 3x^2}{(x^2 - 1)^2} = \frac{x^2(x^2 - 3)}{(x^2 - 1)^2}\]Poiché \(x^2 \ge 0\) e \((x^2-1)^2 > 0\) sempre, il segno di \(f'(x)\) dipende da \(x^2 - 3\):
Quindi:
Calcoliamo la derivata seconda:
\[f''(x) = \frac{2x^3 + 6x}{(x^2 - 1)^3}\]Il segno di \(f''(x)\) dipende dal segno di \(\dfrac{x(2x^2+6)}{x^2-1} = \dfrac{x}{x^2-1}\) (poiché \(2x^2+6 > 0\) sempre):
Il punto \(x = 0\) è un flesso a tangente orizzontale (confermato dalla derivata prima).
Legenda: Grafico di \(f(x) = \dfrac{x^3}{x^2-1}\) (in blu) con gli asintoti verticali \(x = \pm 1\) e l'asintoto obliquo \(y = x\) (linee verdi tratteggiate). In evidenza il flesso nell'origine \(F(0;\,0)\), il massimo relativo \(M\!\left(-\sqrt{3};\,-\dfrac{3\sqrt{3}}{2}\right)\) e il minimo relativo \(m\!\left(\sqrt{3};\,\dfrac{3\sqrt{3}}{2}\right)\).
Si verifichi che \(F(x) = \dfrac{x^2}{2} + \dfrac{1}{2}\ln\left|x^2 - 1\right|\) è una funzione primitiva di \(f(x)\).
Per verificare che \(F(x)\) è una primitiva di \(f(x)\), è sufficiente dimostrare che \(F'(x) = f(x)\). Calcoliamo la derivata di \(F(x)\) applicando le regole di derivazione elementari:
\[F'(x) = \frac{d}{dx}\left(\frac{x^2}{2}\right) + \frac{d}{dx}\left(\frac{1}{2}\ln|x^2 - 1|\right) = x + \frac{1}{2} \cdot \frac{2x}{x^2 - 1}\]Raccogliendo al denominatore comune \(x^2 - 1\):
\[ \begin{aligned} F'(x) &= x + \frac{x}{x^2 - 1} = \frac{x(x^2 - 1) + x}{x^2 - 1} = \\ &= \frac{x^3 - x + x}{x^2 - 1} = \frac{x^3}{x^2 - 1} = f(x) \end{aligned} \]Poiché \(F'(x) = f(x)\), si conclude che \(F(x) = \dfrac{x^2}{2} + \dfrac{1}{2}\ln|x^2-1|\) è una primitiva di \(f(x)\). c.v.d.
a) Si calcoli l'errore che si commette approssimando l'area racchiusa dalla curva \(\gamma\), dall'asse \(x\) e dalle rette \(x = 2\) e \(x = 3\) con l'area del trapezio \(ABCD\), essendo \(A(2;\,0)\), \(B(3;\,0)\), \(C(3;\,f(3))\) e \(D(2;\,f(2))\).
b) Utilizzando uno dei metodi numerici studiati, calcola l'area racchiusa dalla curva \(\gamma\), dall'asse \(x\) e dalle rette \(x = 2\) e \(x = 3\).
Legenda: La regione verde rappresenta sia il trapezoide sotto la curva \(\gamma\) nell'intervallo \([2;\,3]\), sia il trapezio \(ABCD\) con vertici \(A(2;\,0)\), \(B(3;\,0)\), \(C(3;\,f(3))\) e \(D(2;\,f(2))\). Il lato superiore del trapezio è il segmento \(\overline{DC}\) (in verde), mentre la curva \(\gamma\) (in blu) è leggermente al di sotto di esso: la piccola differenza tra le due aree rappresenta l'errore calcolato.
Il trapezio ha le basi parallele \(\overline{AD} = f(2) = \dfrac{8}{3}\) e \(\overline{BC} = f(3) = \dfrac{27}{8}\), con altezza \(h = 3 - 2 = 1\). Pertanto:
\[\text{Area}(ABCD) = \frac{\overline{AD} + \overline{BC}}{2} \cdot h = \frac{\dfrac{8}{3} + \dfrac{27}{8}}{2} \cdot 1 =\] \[=\frac{\dfrac{64}{24} + \dfrac{81}{24}}{2} = \frac{\dfrac{145}{24}}{2} = \frac{145}{48} \approx 3{,}02\]L'area della regione compresa tra la curva \(\gamma\), l'asse \(x\) e le rette \(x = 2\), \(x = 3\) si calcola con l'integrale definito. Poiché \(f(x) > 0\) per \(x > 1\), l'integrale è direttamente l'area cercata. Sfruttiamo la primitiva \(F(x)\) trovata al punto 3:
\[ \begin{aligned} \int_2^3 \frac{x^3}{x^2-1}\,dx &= \int_2^3 \frac{x(x^2-1)+x}{x^2-1}\,dx = \int_2^3 x\,dx + \int_2^3 \frac{x}{x^2-1}\,dx = \\ &= \left[\frac{x^2}{2} + \frac{1}{2}\ln|x^2-1|\right]_2^3 \end{aligned} \]Calcoliamo i valori agli estremi:
\[F(3) = \frac{9}{2} + \frac{1}{2}\ln(8), \qquad F(2) = 2 + \frac{1}{2}\ln(3)\] \[ \begin{aligned} \int_2^3 f(x)\,dx &= F(3) - F(2) = \frac{9}{2} + \frac{1}{2}\ln(8) - 2 - \frac{1}{2}\ln(3) = \\ &= \frac{5}{2} + \frac{1}{2}\ln\!\left(\frac{8}{3}\right) \approx 2{,}99 \end{aligned} \]
L'area del trapezoide vale \(\dfrac{5}{2} + \dfrac{1}{2}\ln\!\left(\dfrac{8}{3}\right) \approx 2{,}99\).
L'area del trapezio \(ABCD\) vale \(\dfrac{145}{48} \approx 3{,}02\).
L'errore commesso è pari a
\(\left|\dfrac{145}{48} - \dfrac{5}{2} - \dfrac{1}{2}\ln\dfrac{8}{3}\right| \approx \mathbf{0{,}03}\).
Legenda: I 5 trapezi (in grigio, separati dalle linee verticali viola) approssimano l'area sotto la curva \(\gamma\) (in blu) nell'intervallo \([2;\,3]\). Il lato superiore di ciascun trapezio è il segmento che congiunge due punti consecutivi della curva (in verde). I vertici \(A(2;\,0)\), \(B(3;\,0)\), \(C(3;\,f(3))\) e \(D(2;\,f(2))\) delimitano la regione complessiva. In viola è riportato il risultato numerico: \(\text{Area} \approx 2{,}99\).
Applichiamo il metodo dei trapezi sull'intervallo \([2;\,3]\) con \(n = 5\) sottointervalli. Il passo è:
\[h = \frac{3 - 2}{5} = 0{,}2\]I nodi e i valori della funzione sono:
| \(i\) | \(x_i\) | \(f(x_i)\) |
|---|---|---|
| 0 | \(2{,}0\) | \(\dfrac{8}{3} \approx 2{,}6667\) |
| 1 | \(2{,}2\) | \(\dfrac{10{,}648}{3{,}84} \approx 2{,}7729\) |
| 2 | \(2{,}4\) | \(\dfrac{13{,}824}{4{,}76} \approx 2{,}9042\) |
| 3 | \(2{,}6\) | \(\dfrac{17{,}576}{5{,}76} \approx 3{,}0514\) |
| 4 | \(2{,}8\) | \(\dfrac{21{,}952}{6{,}84} \approx 3{,}2094\) |
| 5 | \(3{,}0\) | \(\dfrac{27}{8} = 3{,}375\) |
Applicando la formula dei trapezi:
\[T_5 = \frac{h}{2}\left[f(x_0) + 2f(x_1) + 2f(x_2) + 2f(x_3) + 2f(x_4) + f(x_5)\right]\] \[ \begin{aligned} T_5 &= \frac{0{,}2}{2}\bigl[2{,}6667 + 2(2{,}7729) + 2(2{,}9042) + 2(3{,}0514) + 2(3{,}2094) + 3{,}375\bigr] = \\ &= 0{,}1 \cdot \bigl[2{,}6667 + 5{,}5458 + 5{,}8084 + 6{,}1028 + 6{,}4188 + 3{,}375\bigr] = \\ &= 0{,}1 \cdot 29{,}9175 \approx 2{,}992 \end{aligned} \]
Il metodo dei trapezi con \(n = 5\) fornisce \(T_5 \approx \mathbf{2{,}992}\), molto vicino al valore esatto \(\approx 2{,}990\).
L'errore del metodo numerico rispetto al valore esatto è \(|2{,}992 - 2{,}990| \approx \mathbf{0{,}002}\).