Il metodo di bisezione
Data un’equazione nella forma in cui è una funzione continua, il Il teorema di esistenza degli zeri permette di dimostrare l’esistenza di soluzioni in un intervallo , se e hanno segno diverso. Ricavare tali soluzioni in forma esplicita può essere difficile o anche impossibile. In tali casi, è utile determinare un’approssimazione delle soluzioni cercate e una stima dell’errore commesso.
Il metodo di bisezione è uno strumento in tale direzione, permettendo di ottenere tali approssimazioni con una precisione arbitraria, dipendente dal numero di passi che si intende compiere: partendo dall’intervallo iniziale, a ogni passo viene individuata la metà dell’intervallo contenente la soluzione, raddoppiando cioè la precisione sulla sua approssimazione.
Questo articolo espone il metodo in maniera chiara e precisa, mostrando esempi pratici e applicazioni al calcolo numerico. Esso risulta dunque una risorsa preziosa per studenti, appassionati e professionisti del settore. Se desideri intraprendere un intrigante viaggio nel mondo al confine tra la Matematica pura e l’analisi numerica, questo articolo è quello che cercavi!
Consigliamo le seguenti risorse di teoria collegata:
- Funzioni continue – Teoria;
- Il teorema di esistenza degli zeri;
- Il teorema dei valori intermedi;
- Il teorema della permanenza del segno.
Di seguito le raccolte di esercizi su argomenti correlati:
-
Esercizi sul teorema di esistenza degli zeri – volume 1;
- Esercizi sul teorema di esistenza degli zeri – volume 2;
- Esercizi teorici sulla continuità;
- Esercizi teorici sull’uniforme continuità
- Esercizi sul teorema di Weierstrass.
Autori e revisori
Leggi...
Revisore: Valerio Brunetti.
Introduzione
Leggi...
Consideriamo un’equazione della forma
(1)
dove è una funzione continua sull’intervallo , per con . Quando la funzione ha una forma elementare cioè è un polinomio di “grado basso”, una qualsiasi funzione elementare (come , , etc.), o una combinazione delle precedenti, l’equazione (1) può essere trattata con i metodi insegnati alle scuole superiori. Generalmente, per funzioni più complesse (e.g. ), non è possibile calcolare analiticamente la soluzione dell’equazione (1) e bisogna ricorrere all’aiuto di un programma di calcolo per determinare se tale equazione ha una o più soluzioni nel campo dei numeri reali. In questi casi, se una soluzione esiste, ci si accontenta di una sua buona approssimazione. Esistono vari metodi di approssimazione ed il più elementare di questi è senza dubbio il metodo di bisezione che sfrutta il teorema degli zeri.
Metodo di bisezione
Leggi...
Un’idea intuitiva di cosa sia il metodo di bisezione è la seguente: è un metodo iterativo che prevede la costruzione di una successione di intervalli incapsulati che si stringono verso la soluzione. In poche parole, si costruisce una successione di intervalli via via più piccoli ognuno lungo la metà del precedente, tutti contenenti la soluzione; stringendo sempre di più l’intervallo ci si avvicina alla radice dell’equazione e si termina quando la lunghezza dell’-esimo intervallo è sufficientemente piccola.
L’algoritmo generale del metodo di bisezione è descritto di seguito.
Consideriamo una funzione continua nel proprio dominio e valutiamola agli estremi dell’intervallo.
Se la funzione valutata agli estremi ha segno opposto, cioè è tale che , per il teorema degli zeri la funzione ammette almeno una radice reale in quell’intervallo . Supponiamo che l’equazione abbia una sola radice reale nell’intervallo .
Una volta individuato l’intervallo che contiene la soluzione, dobbiamo trovare il punto medio di tale intervallo e considerare quindi gli intervalli
Analogamente a quanto fatto con l’intervallo dobbiamo valutare la funzione agli estremi di entrambi gli intervalli, scegliendo l’intervallo dove la funzione valutata agli estremi abbia segno opposto, quindi se
allora l’intervallo da considerare per il prossimo passo è
altrimenti si considera l’intervallo
Essendo ancora una volta verificato il teorema degli zeri possiamo ripetere il procedimento iterando le operazioni: dimezzare l’intervallo e valutare la funzione agli estremi, scegliendo l’intervallo dove la funzione verifica la condizione di segno opposto agli estremi avvicinandoci sempre più alla soluzione dell’equazione.
Il processo appena descritto, nel caso in cui la soluzione non cada in uno dei punti medi degli intervalli trovati, deve essere arrestato secondo qualche criterio. Andiamo dunque ad esporre i vari criteri possibili. Una prima alternativa, per quanto semplice, consiste nel fissare a priori il numero massimo di iterazioni . Una volta arrestato il metodo, sempre nel caso non si sia già trovata la soluzione esatta durante qualche passo, la soluzione teorica è approssimata dal punto medio dell’ultimo intervallo trovato , ossia
(2)
Per questo primo criterio riportiamo un diagramma di flusso
Un secondo criterio consiste nell’arrestare il procedimento quando è abbastanza vicino a zero. Per questo fine, bisogna determinare l’errore assoluto commesso dall’approssimazione (2) procedendo come segue:
(3)
La relazione (3) ci permette di trarre due importanti conclusioni. In primo luogo ci garantisce che il metodo, sotto le ipotesi sopracitate, converge effettivamente alla soluzione:
Dall’altro lato, otteniamo il secondo criterio di arresto per il metodo, che prevede di fissare una tolleranza sull’errore che siamo disposti ad accettare, denotata con . Invertendo la disuguaglianza (3) scopriamo che per rispettare la tolleranza imposta, sono necessari almeno passi, infatti
Esempio 1.
Leggi...
Il seguente esempio ha il solo scopo di illustrare i passaggi del metodo, essendo la soluzione nota.
Consideriamo la funzione
Si vuole trovare una soluzione nell’intervallo fissando la tolleranza .
Si vede facilmente che per cui deve esistere tale che . Nella seguente tabella sono riportate le iterazioni dell’algoritmo precedentemente discusso creando per ogni passo un nuovo intervallo più piccolo contenente il punto .
Tabella 1: applicazione dell’algoritmo di bisezione con , punto medio dell’intervallo
La tolleranza quindi possiamo prendere come zero di . Osserviamo che che è molto vicino allo zero. Questo non ci sorprende in quanto è noto che lo zero di è .
Codice MATLAB
Leggi...
Un esempio di codice MATLAB che implementa il metodo di bisezione Imponendo come condizione di arresto che l’errore (err) sia inferiore ad un certa tolleranza (toll). Il codice risulta diviso in tre parti:
- Dati di input: vengono inizializzati tutti gli elemnti necessari (e.g. a, b, toll);
- Algoritmo di bisezione: implementa il codice di bisezione tenendo conto della condizione di arresto err
- Post-processing: vengono graficati alcuni andamenti necessari ad una valutazione della correttezza del codice. In particolare, sono stati considerati gli andamenti di e e l’andamento dell’errore.
da cui
Tutta la teoria di analisi matematica
Leggi...
- Teoria Insiemi
- Il metodo della diagonale di Cantor
- Logica elementare
- Densità dei numeri razionali nei numeri reali
- Insiemi Numerici
- Il principio di induzione
- Gli assiomi di Peano
- L’insieme dei numeri reali: costruzione e applicazioni
- Concetti Fondamentali della Retta Reale: Sintesi Teorica
- Costruzioni alternative di
- Binomio di Newton
- Spazi metrici, un’introduzione
- Disuguaglianza di Bernoulli
- Disuguaglianza triangolare
- Teoria sulle funzioni
- Funzioni elementari: algebriche, esponenziali e logaritmiche
- Funzioni elementari: trigonometriche e iperboliche
- Funzioni goniometriche: la guida essenziale
- Teorema di Bolzano-Weierstrass per le successioni
- Criterio del rapporto per le successioni
- Definizione e proprietà del numero di Nepero
- Limite di una successione monotona
- Successioni di Cauchy
- Il teorema ponte
- Teoria sui limiti
- Simboli di Landau
- Funzioni continue – Teoria
- Il teorema di Weierstrass
- Il teorema dei valori intermedi
- Il teorema della permanenza del segno
- Il teorema di Heine-Cantor
- Il teorema di esistenza degli zeri
- Il metodo di bisezione
- Teorema ponte versione per le funzioni continue
- Discontinuità di funzioni monotone
- Continuità della funzione inversa
- Teorema delle contrazioni o Teorema di punto fisso di Banach-Caccioppoli
- Teoria sulle derivate
- Calcolo delle derivate: la guida pratica
- Teoria sulle funzioni convesse
- Il teorema di Darboux
- I teoremi di de l’Hôpital
- Teorema di Fermat
- Teoremi di Rolle e Lagrange
- Il teorema di Cauchy
- Espansione di Taylor: teoria, esempi e applicazioni pratiche
- Polinomi di Taylor nei limiti: istruzioni per l’uso
- Integrali definiti e indefiniti
- Teorema fondamentale del calcolo integrale (approfondimento)
- Integrali ricorsivi
- Formule del trapezio, rettangolo e Cavalieri-Simpson
- Teoria sugli integrali impropri
- Funzioni integrali – Teoria
- Introduzione ai numeri complessi – Volume 1 (per un corso di ingegneria — versione semplificata)
- Introduzione ai numeri complessi – Volume 1 (per un corso di matematica o fisica)
- Serie numeriche: la guida completa
- Successioni di funzioni – Teoria
- Teoremi sulle successioni di funzioni
- Serie di funzioni – Teoria
- Serie di potenze – Teoria
- Serie di Fourier – Teoria e applicazioni
- Integrali multipli — Parte 1 (teoria)
- Integrali multipli — Parte 2 (teoria e esercizi misti)
- Regola della Catena — Teoria ed esempi.
- Jacobiano associato al cambiamento di coordinate sferiche
- Guida ai Massimi e Minimi: Tecniche e Teoria nelle Funzioni Multivariabili
- Operatore di Laplace o Laplaciano
- Teoria equazioni differenziali
- Equazione di Eulero
- Teoria ed esercizi sulla funzione Gamma di Eulero
- Teoria ed esercizi sulla funzione Beta
- Approfondimento numeri complessi
- Diverse formulazioni dell’assioma di completezza
- Numeri di Delannoy centrali
- Esercizi avanzati analisi
Tutte le cartelle di Analisi Matematica
Leggi...
- Prerequisiti di Analisi
- Successioni
- Funzioni
- Funzioni continue-lipschitziane-holderiane
- Calcolo differenziale
- Derivate
- Calcolo delle derivate
- Retta tangente nel calcolo differenziale
- Punti di non derivabilità nel calcolo differenziale
- Esercizi sul teorema di Weierstrass con l’uso delle derivate
- Studio di funzione completo nel calcolo differenziale
- Esercizi teorici nel calcolo differenziale
- Metodo di bisezione
- Metodo di Newton
- Teoremi del calcolo differenziale
- Calcolo integrale
- Integrali impropri
- Espansione di Taylor
- Funzioni integrali (Approfondimento)
- Numeri Complessi
- Serie numeriche
- Successioni di funzioni
- Serie di funzioni
- Serie di potenze
- Serie di Fourier
- Trasformata di Fourier
- Funzioni di più variabili
- Teoria Funzioni di più variabili
- Massimi e minimi liberi e vincolati
- Limiti in due variabili
- Integrali doppi
- Integrali tripli
- Integrali di linea di prima specie
- Integrali di linea di seconda specie
- Forme differenziali e campi vettoriali
- Teorema di Gauss-Green
- Integrali di superficie
- Flusso di un campo vettoriale
- Teorema di Stokes
- Teorema della divergenza
- Campi solenoidali
- Teorema del Dini
- Equazioni differenziali lineari e non lineari
- Equazioni differenziali lineari
- Equazioni differenziali non lineari
- Analisi complessa
- Fondamenti
- Funzioni olomorfe
- Integrale di Cauchy e applicazioni
- Teorema della curva di Jordan e teorema fondamentale dell’Algebra
- Teorema di inversione di Lagrange
- Teorema dei Residui
- Funzioni meromorfe
- Prodotti infiniti e prodotti di Weierstrass
- Continuazione analitica e topologia
- Teoremi di rigidità di funzioni olomorfe
- Trasformata di Mellin
- Equazioni alle derivate parziali
- Funzioni speciali
- Analisi funzionale
- Complementi
- Funzioni Convesse
Tutti gli esercizi di geometria
In questa sezione vengono raccolti molti altri esercizi che coprono tutti gli argomenti di geometria proposti all’interno del sito con lo scopo di offrire al lettore la possibilità di approfondire e rinforzare le proprie competenze inerenti a tali argomenti.
Algebra lineare.
Geometria analitica.
Geometria differenziale.
Risorse didattiche aggiuntive per approfondire la matematica
Leggi...
- Math Stack Exchange – Parte della rete Stack Exchange, questo sito è un forum di domande e risposte specificamente dedicato alla matematica. È una delle piattaforme più popolari per discutere e risolvere problemi matematici di vario livello, dall’elementare all’avanzato.
- Art of Problem Solving (AoPS) – Questo sito è molto noto tra gli studenti di matematica di livello avanzato e i partecipanti a competizioni matematiche. Offre forum, corsi online, e risorse educative su una vasta gamma di argomenti.
- MathOverflow – Questo sito è destinato a matematici professionisti e ricercatori. È una piattaforma per domande di ricerca avanzata in matematica. È strettamente legato a Math Stack Exchange ma è orientato a un pubblico con una formazione più avanzata.
- PlanetMath – Una comunità collaborativa di matematici che crea e cura articoli enciclopedici e altre risorse di matematica. È simile a Wikipedia, ma focalizzata esclusivamente sulla matematica.
- Wolfram MathWorld – Una delle risorse online più complete per la matematica. Contiene migliaia di articoli su argomenti di matematica, creati e curati da esperti. Sebbene non sia un forum, è una risorsa eccellente per la teoria matematica.
- The Math Forum – Un sito storico che offre un’ampia gamma di risorse, inclusi forum di discussione, articoli e risorse educative. Sebbene alcune parti del sito siano state integrate con altri servizi, come NCTM, rimane una risorsa preziosa per la comunità educativa.
- Stack Overflow (sezione matematica) – Sebbene Stack Overflow sia principalmente noto per la programmazione, ci sono anche discussioni rilevanti di matematica applicata, specialmente nel contesto della scienza dei dati, statistica, e algoritmi.
- Reddit (r/Math) – Un subreddit popolare dove si possono trovare discussioni su una vasta gamma di argomenti matematici. È meno formale rispetto ai siti di domande e risposte come Math Stack Exchange, ma ha una comunità attiva e molte discussioni interessanti.
- Brilliant.org – Offre corsi interattivi e problemi di matematica e scienza. È particolarmente utile per chi vuole allenare le proprie capacità di problem solving in matematica.
- Khan Academy – Una risorsa educativa globale con lezioni video, esercizi interattivi e articoli su una vasta gamma di argomenti di matematica, dalla scuola elementare all’università.