23.9. Problemi#

23.9.1. Limiti#

Soluzione 1.

La definizione di limite finito al finito \(\ell = \lim_{x \rightarrow x_0} f(x)\) è

\[\forall \varepsilon > 0 \, \exists \delta > 0 \ \text{t.c.} \ |f(x) - \ell| < \varepsilon \text{ per } \forall x \in [x_0-\delta,x_0+\delta]\]

Per l’esercizio, bisogna quindi verificare che

\[\forall \varepsilon > 0 \, \exists \delta > 0 \ \text{t.c.} \ |3x-4 + 1| < \varepsilon \text{ per } \forall x \in [x_0-\delta,x_0+\delta]\]
\[|3x - 3| < \varepsilon \text{ per } \varepsilon x \in U_{x_0, \delta}\]
\[\begin{split}\begin{aligned} & 3|x-1| < \varepsilon \\ & |x-1| < \frac{\varepsilon}{3} \\ & 1-\frac{\varepsilon}{3} < x < 1 + \frac{\varepsilon}{3} \\ \end{aligned}\end{split}\]

Quindi, per ogni \(\varepsilon\) fissato, vale \(|f(x) - (-1)| < \varepsilon\) per ogni \(x \in U_{x_0, \delta}\) con \(x_0 = 1\) e \(\delta_\varepsilon = \frac{\varepsilon}{3}\).

Soluzione 2.

Limite finito al finito. Non esiste todo

Limite infinito (qui con segno \(+\infty\)) al finito.

Per ogni \(M\) fissato

\[\forall M > 0 \ \exists U_{x_0, \delta} \ \text{s.t.} \ f(x) > M \ \forall x \in U_{x_0, \delta} \backslash \{ x_0 \}\]

Qui

\[\frac{1}{x^2} > M \quad \forall x \in \left[ -\frac{1}{\sqrt{|M|}}, \frac{1}{\sqrt{|M|}} \right] \backslash \{ 0 \} \ .\]

Soluzione 5.

Risolvere usando il fatto che \(F(x) = e^x-1\) è crescente, con derivata crescente

Per \(x = \delta > 0\), \(F(\delta) = e^{\delta} - 1\), \(0 < F(x) < \frac{e^{\delta}-1}{\delta} x\) per \(x \in (0,\delta)\)

Per \(x = -\delta < 0\), \(F(-\delta) = e^{-\delta} - 1\), \(0 < F(x) < \frac{-e^{-\delta}+1}{\delta} x\) per \(x \in (-\delta, 0)\)

\[\begin{split}\begin{aligned} & \left| \frac{e^x-1}{x} - 1 \right| < \varepsilon \\ & -\varepsilon + 1 < \frac{e^x-1}{x} < \varepsilon + 1 \\ \end{aligned}\end{split}\]
\[\begin{split}\begin{aligned} e^{x} - 1 & = x + \frac{x^2}{2} + \frac{x^3}{3!} + o(x^3) \\ \frac{e^{x} - 1}{x} & = 1 + \frac{x}{2} + \frac{x^2}{3!} + o(x^2) \\ \end{aligned}\end{split}\]
\[-\varepsilon < \sum_{n=1}^{+\infty} \frac{x^n}{(n+1)!} < \varepsilon\]
Soluzioni
  1. E” un limite di una funzione continua al finito. Quindi è sufficiente sostituire il valore al quale tende la variabile nella funzione da valutare

    \[\lim_{x \to 1} (x^2 + 3x - 4) = 1^2 + 3 \cdot 1 - 4 = 0 \ .\]
  2. E” un limite di una funzione continua al finito. Quindi è sufficiente sostituire il valore al quale tende la variabile nella funzione da valutare

    \[\lim_{x \to 2} (x^3 + 2x^2 - 1) = 2^3 + 2 \cdot 2^2 - 1 = 15 \ .\]
  3. E” il limite di una funzione razionale al finito. Il valore al quale tende la variabile \(x\) non è uno zero del denominatore, quindi la funzione razionale è continua in \(x = 0\), e per calcolare il limite è sufficiente sostituire il valore \(x=0\) nella funzione

    \[\lim_{x \to 0} \frac{x + 1}{2x + 3} = \frac{0+1}{2\cdot 0 + 3} = \frac{1}{3} \ .\]
  4. Il valore al quale tende la variabile \(x\) è uno zero sia per il numeratore sia per il denominatore. E” quindi una forma indeterminata nella forma \(\frac{0}{0}\) che può essere risolta dopo aver fattorizzato il numeratore della frazione

    \[\lim_{x \to 2} \frac{x^2 - 4}{x-2} = \lim_{x \to 2} \frac{(x-2)(x+2)}{x-2} = \lim_{x \to 2} (x+2) \ ,\]

    e, dopo la semplificazione, il limite può essere valutato semplicemente sostituendo il valore \(x=2\) nella funzione, per ottenere

    \[\lim_{x \to 2} \frac{x^2-4}{x-2} = 4 \ .\]
  5. Come per il limite precedente, il valore al quale tende la variabile \(x\) è uno zero sia per il numeratore sia per il denominatore, e il limite può essere affrontato con la fattorizzazione dei polinomi,

    \[\lim_{x \to -1} \frac{x^3+1}{x+1} = \lim_{x \to -1} \frac{(x+1)(x^2-x+1)}{x+1} = \lim_{x \to -1} \left( x^2-x+1 \right) = 3 \ .\]
  6. Per \(x \to 0\) il denominatore della funzione tende a \(0\), mentre il numeratore tende a -1. Di conseguenza il limite è una forma \(\frac{c}{0}\). Aggiungendo il dettaglio di limite «da sinistra» \(x \to 0^-\) e «da destra» \(x \to 0^+\), allora il limite vale

    \[\lim_{x \to 0^{\mp}} \frac{x^2 - 1}{x} = \pm \infty \ .\]
  7. Fattorizzando il numeratore come \(1 - x = (1-\sqrt{x})(1+\sqrt{x})\), si può risolvere la forma indeterminata \(\frac{0}{0}\),

    \[\lim_{x \to 1} \frac{1-x}{\sqrt{x}-1} = \lim_{x \to 1} \frac{(1-\sqrt{x})(1+\sqrt{x})}{\sqrt{x}-1} = - lim_{x \to 1} -(1+\sqrt{x}) = - 2 \ .\]
  8. La fattorizzazione del numeratore e del denominatore della funzione razionale permette di risolvere la forma indeterminata \(\frac{0}{0}\),

    \[\lim_{x \to 3} \frac{2x - 6}{x^2 - 9} = \lim_{x \to 3} \frac{2(x-3)}{(x-3)(x+3)} = \lim_{x \to 3} \frac{2}{x+3} = \frac{1}{3} \ .\]
  9. Sostituendo \(\sin x\) con l’asintotico \(x\), facendo attenzione che non avvengano cancellazioni nell’ordine dell’infinitesimo,

    \[\lim_{x \to 0} \frac{x + \sin x}{x^2} = \lim_{x \to 0} \frac{x + x}{x^2} = \lim_{x \to 0} \frac{2}{x} = \infty \ .\]

    Se viene specificato il lato del limite, è possibile anche determinare il segno dell’infinito, \(\lim_{x \to 0^{\mp}} \frac{x + \sin x}{x^2} = \mp \infty\).

  10. La funzione è continua, e quindi è sufficiente sostituire il valore \(x = 0\) nella funzione

\[\lim_{x \to 0} e^x - 1 = e^0 - 1 = 1 - 1 = 0 \ .\]
Soluzioni

11. I limiti

\[\lim_{x \to 0^\mp} \frac{\cos x}{\text{atan} x} \, dx\]

sono i limiti di un rapporto «\(\frac{1}{0}\)». La funzione arcotangente \(\text{atan}(x)\) è negativa per \(x < 0\) e positiva per \(x > 0\). Quindi il limite sinistro vale «\(\frac{1}{0^-} = - \infty\)», mentre il limite destro vale «\(\frac{1}{0^+} = + \infty\)», o meno brutalemnte

\[\begin{split}\begin{aligned} \lim_{x \to 0^-} \frac{\cos x}{\text{atan} x} = -\infty \qquad , \qquad \lim_{x \to 0^+} \frac{\cos x}{\text{atan} x} = +\infty \\ \end{aligned}\end{split}\]
Soluzioni
  1. Usando il teorema di de l’Hopital dopo aver riscritto la funzione come frazione per confrontare due infiniti,

    \[\lim_{x \to 0^+} \frac{\ln x}{\frac{1}{x}} = (H) = \lim_{x \to 0^+} \frac{\frac{1}{x}}{-\frac{1}{x}^2} = \lim_{x \to 0^+} (-x) = 0^{-} \ .\]
  2. Il limite si presenta nella forma indeterminata \(+\infty - \infty\),

    \[\begin{aligned} \lim_{x \to +\infty} \left( \sqrt{x^2+x} - x \right) & = \lim_{x \to +\infty} x \left( \sqrt{1 + \frac{1}{x}} - 1 \right) \ . \end{aligned}\]

    Si può affrontare questo limite in diversi modi: di seguito viene risolto sostituendo la radice con un suo asintotico, o con il teorema di de l’Hopital. La radice può essere scritta con l’espansione in serie di \(\sqrt{1 + y}\) per \(y = \frac{1}{x} \to 0^+\),

    \[\begin{split}\begin{aligned} f (y) & = (1+y)^{\frac{1}{2}} && f(0) = 1 \\ f'(y) & = \frac{1}{2}(1+y)^{-\frac{1}{2}} && f'(0) = \frac{1}{2} \\ \end{aligned}\end{split}\]
    \[\sqrt{1 + y} = 1 + \frac{1}{2} y + o(y) \ .\]

    Sostituendo questa espansione al posto della radice nel limite,

    \[\lim_{x \to +\infty} x \left( \sqrt{1+ \frac{1}{x}} - 1 \right) = \lim_{x \to +\infty} x \left( 1 + \frac{1}{2}\frac{1}{x} + o\left(\frac{1}{x}\right) - 1 \right) = \frac{1}{2} \ .\]

    Oppure usando il teorema di de l’Hopital usando la variabile \(y = \frac{1}{x} \to 0^+\),

    \[\lim_{y \to 0^+} \dfrac{(1+y)^{\frac{1}{2}} - 1}{y} =(H)= \lim_{y \to 0^+} \frac{\frac{1}{2}(1+y)^{-\frac{1}{2}}}{1} = \frac{1}{2} \ .\]
  3. Il logaritmo cresce all’infinito in maniera più lenta della funzione \(x\). E” possibile dimostrare questa affermazione e calcolare l’integrale con il teorema di de l’Hopital

    \[\lim_{x \to +\infty} \frac{\ln x}{x} = \lim_{x \to +\infty} \frac{\frac{1}{x}}{1} = 0^+ \ .\]
  4. Il limite non è una forma indeterminata. La funzione è continua in \(x = 0\) e quindi è sufficiente sostituire il valore \(x=0\) nella funzione,

    \[\lim_{x \to 0} \frac{x \cos x}{1 + x^2} = \frac{0 \cdot 1}{1 + 0^2} = 0 \ .\]
Soluzioni
  1. Il limite è dimostrato osservando che la funzione \(\sin y\) è limitata tra \(-1\) e \(1\) per qualsiasi valore dell’argomento, mentre il fattore \(x^2\) tende a zero. Il limite è quindi nella forma \(0 \cdot M\), con \(M\) finito e limitato, e quindi è uguale a \(0\).

  2. Usando l’asintotico \(\sin x \sim x\), il limite può essere riscritto come

    \[\lim_{x \to 0} \frac{x}{x^2} = \lim_{x \to 0} \frac{1}{x} = \infty \ .\]
  3. Il limite è dimostrato osservando che la funzione \(\cos y\) è limitata tra \(-1\) e \(1\) per qualsiasi valore dell’argomento, mentre il fattore \(x^2\) tende a zero. Il limite è quindi nella forma \(0 \cdot M\), con \(M\) finito e limitato, e quindi è uguale a \(0\).

  4. Usando il teorema di de l’Hopital,

    \[\lim_{x \to 0^+} x^2 \ln x = \lim_{x \to 0^+} \frac{\ln x}{\frac{1}{x^2}} = (H) = \lim_{x \to 0^+} \frac{\frac{1}{x}}{-\frac{2}{x^3}} = \lim_{x \to 0^+} -\frac{x^2}{2} = 0^- \ .\]

23.9.2. Studio di funzione: dominio, continuità e limiti#

23.9.3. Metodo di bisezione#

Si chiede di risolvere le sequenti equazioni nonlineari con il metodo di bisezione (è quindi necessario riformulare il problema come la ricerca degli zeri di una funzione), dopo aver impostato la soluzione con un metodo grafico. Il metodo grafico è necessario a farsi un’idea sul numero di soluzioni da cercare, e sui valori con cui iniziare il metodo di bisezione. Si chiede di concludere il procedimento a mano dopo 3 iterazioni, o quando si ottiene una soluzione con errore minore della tolleranza, qui scelta come \(\tau = 0.01\). Si chiede infine di implementare il metodo con un linguaggio di programmazione a piacimento, per cercare una soluzione con tolleranza \(\tau = 10^{-5}\).

Le stesse equazioni vengono affrontate con il metodo di Newton come esercizio nel capitolo sulle derivate.

Exercise 23.11 (Soluzione iterativa di equazioni nonlineari - bisezione)

  1. \(x^2 - 4x + 1 = 0 \)

  2. \(x^3 - 2x = 1\)

  3. \(\ln x = - 2 x\)

  4. \(e^{-x} \cos x = \frac{1}{2}\)

Soluzione 1.

Inizializzazione del metodo.

\[\begin{split}\begin{aligned} a_0 & = 0 \quad \rightarrow && f(0) = 0 + 0 + 1 = 1 > 0 \\ b_0 & = 2 \quad \rightarrow && f(2) = 4 - 8 + 1 = -3 < 0 \end{aligned}\end{split}\]

Iterazione 0. Il punto medio dell’intervallo e la funzione valutata nel punto sono

\[c_0 = \frac{a_0+b_0}{2} = 1 \quad \rightarrow \quad f(1) = 1 - 4 + 1 = -2\]

Iterazione 1. Il nuovo intervallo diventa \([a_1, b_1] = [a_0, c_0] = [0, 1]\). Il punto medio e la funzione valutata nel punto sono

\[c_1 = \frac{a_1 + b_1}{2} = \frac{1}{2} \quad \rightarrow \quad f\left(\frac{1}{2}\right) = \frac{1}{4} - 4 \frac{1}{2} + 1 = -\frac{3}{4} \]

Il valore assoluto della funzione in \(c_1\) è maggiore della tolleranza, \(|f(c_1)| > \tau\); il numero di iterazioni fatte è inferiore al numero di iterazioni massimo; quindi l’algoritmo procede.

Iterazione 2. Il nuovo intervallo diventa \([a_2, b_2] = [a_1, c_1] = \left[0, \frac{1}{2}\right]\). Il punto medio e la funzione valutata nel punto sono

\[c_2 = \frac{a_2 + b_2}{2} = \frac{1}{4} \quad \rightarrow \quad f\left(\frac{1}{4}\right) = \frac{1}{16} - 4 \frac{1}{4} + 1 = \frac{1}{16} \]

Il valore assoluto della funzione in \(c_2\) è maggiore della tolleranza, \(|f(c_2)| > \tau\); il numero di iterazioni fatte è inferiore al numero di iterazioni massimo; quindi l’algoritmo procede.

Iterazione 3. Il nuovo intervallo diventa \([a_3, b_3] = [c_2, b_2] = \left[\frac{1}{4}, \frac{1}{2}\right]\). Il punto medio e la funzione valutata nel punto sono

\[c_3 = \frac{a_2 + b_2}{2} = \frac{3}{8} \quad \rightarrow \quad f\left(\frac{3}{8}\right) = \frac{9}{64} - 4 \frac{3}{8} + 1 = \frac{9}{64} - \frac{1}{2} = \frac{9 - 32}{64} = - \frac{23}{64} \]

Il valore assoluto della funzione in \(c_1\) è maggiore della tolleranza, \(|f(c_1)| > \tau\); il numero di iterazioni ha raggiunto il numero massimo di iterazioni impostato. Quindi l’esecuzione dell’algoritmo si interrompe, senza aver trovato una soluzione con la tolleranza richiesta.