Passo 1 — Unicità della soluzione
Poniamo \(f(x) = x^3 + x - \cos x\). Calcoliamo i limiti agli estremi:
\[ \lim_{x \to -\infty} f(x) = -\infty \qquad \lim_{x \to +\infty} f(x) = +\infty \]La derivata prima è:
\[ f'(x) = 3x^2 + 1 + \sin x \]Poiché \(3x^2 + 1 \geq 1\) e \(-1 \leq \sin x \leq 1\), si ha \(f'(x) > 0\) per ogni \(x \in \mathbb{R}\).
La funzione è quindi strettamente crescente su tutto \(\mathbb{R}\) e ammette un'unica soluzione reale.
Passo 2 — Localizzazione in \((0, 1)\)
Valutiamo \(f\) negli estremi dell'intervallo:
\[ f(0) = 0 + 0 - 1 = -1 < 0 \] \[ f(1) = 1 + 1 - \cos 1 \approx 2 - 0.5403 \approx 1.46 > 0 \]Per il teorema degli zeri, la soluzione appartiene a \((0, 1)\).
Restringiamo ulteriormente:
\[ f(0.6) \approx 0.216 + 0.6 - 0.8253 \approx -0.009 < 0 \] \[ f(0.7) \approx 0.343 + 0.7 - 0.7648 \approx 0.278 > 0 \]Passo 3 — Metodo di bisezione
Applichiamo il metodo di bisezione nell'intervallo \([0.6,\, 0.7]\):
| Iterazione | a | b | Punto medio c | f(c) |
|---|---|---|---|---|
| 1 | 0.6 | 0.7 | 0.65 | 0.1254 |
| 2 | 0.6 | 0.65 | 0.625 | 0.0564 |
| 3 | 0.6 | 0.625 | 0.6125 | 0.0230 |
| 4 | 0.6 | 0.6125 | 0.60625 | 0.0067 |
Passo 4 — Metodo di Newton
Partendo da \(x_0 = 0.6\):
\[ x_{n+1} = x_n - \frac{f(x_n)}{f'(x_n)} = x_n - \frac{x_n^3 + x_n - \cos x_n}{3x_n^2 + 1 + \sin x_n} \]| Iterazione | \(x_n\) | \(f(x_n)\) |
|---|---|---|
| 0 | 0.6 | −0.0093 |
| 1 | 0.6016 | 0.0001 |
Il metodo converge rapidamente a \(\alpha \approx 0.6016\).