Matly
☰ Índex de temes

Mètodes numèrics: bisecció, Newton-Raphson, trapezis i Simpson

Gairebé cap equació que surt d'un problema real d'enginyeria es pot resoldre amb una fórmula, i moltes integrals no tenen primitiva elemental. Els mètodes numèrics substitueixen la solució exacta per una successió d'aproximacions amb l'error controlat, i són el que fa servir qualsevol calculadora o programa quan li demanes una arrel o una integral. En aquesta pàgina veuràs els quatre mètodes bàsics que s'estudien a primer curs: el mètode de la bisecció i el mètode de Newton-Raphson (amb la secant com a variant) per resoldre , i les regles compostes dels trapezis i de Simpson per aproximar . Per a cadascun, la fórmula, què garanteix, quan falla i un exemple amb la taula d'iteracions.

Per què calen mètodes numèrics

L'equació té una única arrel real, però la fórmula de Cardano que la dona és inservible a la pràctica; ni tan sols té fórmula. I integrals com o (una longitud d'arc) no tenen primitiva expressable amb funcions elementals. Un mètode numèric és un algorisme que, a partir de la funció i d'un punt o interval de partida, produeix aproximacions i, sobretot, una fita de l'error que permet aturar-se quan la precisió és suficient. Sense fita de l'error, un nombre amb molts decimals no és un resultat.

Els mètodes d'aquesta pàgina complementen la resolució exacta que has vist a límits, continuïtat i derivada (el teorema de Bolzano és el fonament de la bisecció) i a mètodes d'integració.

Mètode de la bisecció

Fonament: teorema de Bolzano

Si és contínua en i , existeix almenys un amb .

Un interval amb canvi de signe s'anomena un bracket de l'arrel. La bisecció consisteix a partir el bracket per la meitat i quedar-se amb la meitat que conserva el canvi de signe: si i , l'arrel és a ; si no, és a . Cada pas divideix la longitud del bracket per dos, de manera que la convergència està garantida (només cal continuïtat) i l'error és previsible:

on és el punt mitjà del pas . Si vols error menor que una tolerància , n'hi ha prou amb

Amb : passos per a i passos per a . És lent (cada pas guanya un bit, uns decimals), però mai no falla.

Bisecció per a x^3 - x - 1 = 0

Sigui . Com que i , hi ha una arrel a . A més, en , de manera que és estrictament creixent i l'arrel és única (Bolzano només dona existència; la unicitat necessita un argument a part, com la monotonia).

fita de l'error
1
2
3
4
5
6
7
8

Després de passos sabem que i que . El valor exacte és ; per garantir tres decimals () calen passos.

Mètode de Newton-Raphson

Newton canvia la garantia de la bisecció per velocitat. La idea és substituir per la seva recta tangent al punt actual i prendre com a aproximació següent el punt on la tangent talla l'eix. La tangent és , i s'anul·la a

Gràfica de f(x) = x³ − x − 1 amb la tangent a x₀ = 1,5 que talla l'eix a x₁, i la tangent a x₁ que talla l'eix a x₂, molt a prop de l'arrel r
Interpretació geomètrica de Newton: cada iterat és el zero de la tangent a l'iterat anterior.

Convergència quadràtica

Si és una arrel simple (, ), és de classe prop de i el punt inicial és prou a prop de , aleshores la successió de Newton convergeix a i

per a una constant . En la pràctica, el nombre de decimals correctes es duplica a cada pas.

Newton per a la mateixa equació

Per a , i la iteració és

Partint de (dins del bracket):

0
1
2
3
4

Quatre iteracions donen tretze decimals correctes; la bisecció en necessitaria més de quaranta. Mira la columna de l'error: , , , , . Els exponents es dupliquen: això és la convergència quadràtica.

Quan falla Newton

El mètode és local: prop d'una arrel simple és imbatible, però lluny d'ella no hi ha cap garantia.

  • Derivada nul·la o molt petita. Si la tangent és horitzontal i no talla l'eix. Per a , els punts són prohibits, i prop seu el pas és enorme.
  • Mala llavor. Amb , la mateixa equació dona , , : la successió surt del bracket i triga a tornar. Per això es recomana obtenir primer un bracket amb Bolzano i triar dins seu.
  • Cicles i canvi d'arrel. Si l'equació té diverses arrels, Newton pot oscil·lar entre dos valors o convergir a una arrel diferent de la que busques.
  • Arrel múltiple (). El mètode convergeix, però només linealment: es perd l'avantatge.

El control pràctic és doble: vigilar el residu i la diferència , i aturar-se quan tots dos són menors que la tolerància. Una diferència petita entre iterats no demostra per si sola que s'ha convergit, però combinada amb un residu petit i un bracket previ és un criteri fiable.

Mètode de la secant

Si la derivada és cara o no està disponible, se substitueix la tangent per la secant que passa pels dos últims iterats:

Cal partir de dos punts, i . La convergència és superlineal (d'ordre aproximadament , el nombre d'or): més lenta que Newton però sense derivades. Per a amb i , els iterats són , , , , , : sis passos per a set decimals correctes.

Integració numèrica

Per aproximar es divideix en subintervals d'amplada , amb nodes , i es substitueix per una funció fàcil d'integrar en cada tros.

Regla dels trapezis composta

En cada subinterval s'aproxima per la recta que uneix i : l'àrea és la d'un trapezi, . Sumant,

Els pesos són . L'error és d'ordre : doblar divideix l'error per .

Regla de Simpson composta

Simpson aproxima per una paràbola en cada parell de subintervals consecutius (per tant ha de ser parell):

Els pesos són : als índexs senars, als parells interiors. L'error és d'ordre : doblar divideix l'error per . A més, Simpson és exacte per a polinomis de grau , no només de grau , perquè l'error de la cúbica es cancel·la per simetria.

Trapezis i Simpson amb n = 4 sobre una integral coneguda

Aproxima amb .

Aquí i els nodes són , amb valors .

Trapezis:

Simpson:

Amb els mateixos cinc valors de la funció, Simpson té un error vegades més petit. Comprovem les fites: té màxim a , de manera que ; i té màxim , de manera que . Els errors reals ( i ) compleixen les fites amb marge, com ha de ser: les fites són garanties, no prediccions exactes.

Els dos errors són positius perquè és convexa: els trapezis queden per sobre de la corba. Aquest és un control de signe que sempre pots fer.

Quants subintervals cal prendre?

Les fites de l'error serveixen per triar abans de calcular. Si a l'exemple anterior volguessis error menor que amb trapezis, imposaries , és a dir i . Amb Simpson, dona i n'hi ha prou amb . Quan la funció és suau, Simpson guanya sempre.

Errors que costen l'apartat sencer

  1. Simpson amb senar. La regla necessita parells de subintervals; amb no hi ha manera de repartir els pesos .
  2. Comptar malament els pesos. Els extrems porten (Simpson) o (trapezis); els interiors alternen començant per .
  3. Confondre amb . ; amb i , , no .
  4. Newton sense bracket. Una llavor qualsevol pot enviar la successió lluny de l'arrel; comprova primer el canvi de signe.
  5. Afirmar unicitat amb Bolzano. Bolzano dona existència. Per a la unicitat cal, per exemple, que no canviï de signe a l'interval.
  6. Donar un resultat sense fita de l'error. «» sense dir quants decimals són fiables no és una resposta completa.

Protocol de resolució

Per a una equació :

  1. Escriu l'equació en la forma i estudia : continuïtat, signe, monotonia.
  2. Troba un bracket amb i justifica la unicitat de l'arrel dins seu si cal.
  3. Si et demanen una precisió amb bisecció, calcula el nombre de passos abans de començar.
  4. Si fas Newton, tria dins del bracket, escriu la fórmula d'iteració simplificada i fes una taula amb , i .
  5. Atura't quan el residu i la diferència entre iterats siguin menors que , i dona el resultat amb els decimals que la fita justifica.

Per a una integral:

  1. Comprova que la integral és pròpia (integrand continu i fitat a ); si no, els mètodes d'aquesta pàgina no s'apliquen directament.
  2. Fixa (parell per a Simpson), calcula i fes una taula amb els nodes , els valors i els pesos.
  3. Aplica la fórmula i, si te la demanen, la fita de l'error amb el màxim de o .
  4. Comprova el signe de l'error amb la concavitat (trapezis sobreestimen les funcions convexes) i l'ordre de magnitud del resultat.

Llista de comprovació

  1. Has verificat el canvi de signe i la continuïtat abans d'iterar?
  2. Bisecció: has calculat el nombre de passos necessari per a la tolerància?
  3. Newton: la llavor és dins del bracket i no s'anul·la a prop?
  4. Simpson: és parell i els pesos sumen (els de trapezis sumen )?
  5. Has donat una fita de l'error o el nombre de decimals fiables?

Exercicis proposats

Exercici 1. Demostra que l'equació té una única solució real i aproxima-la amb bisecció (5 passos a partir de ) i amb Newton (a partir de , fins a tenir 8 decimals estables).

Solució de l'exercici 1

Sigui , contínua. i : hi ha una arrel a . Com que per a tot (val només en punts aïllats), és estrictament decreixent a i l'arrel és única. Fora de no hi pot haver solucions, ja que .

Bisecció (): els brackets successius són , , , i . Després de 5 passos, amb error menor que .

Newton: . Iterats: , , , , . Els dos últims coincideixen en 8 decimals i el residu és de l'ordre de : . Newton necessita 4 passos per al que la bisecció no assoliria fins al pas 27.

Exercici 2. Calcula amb el mètode de Newton aplicat a partint de . Escriu la fórmula d'iteració simplificada i fes 4 iteracions.

Solució de l'exercici 2

Amb , la iteració és : la mitjana entre i (el mètode babilònic). Iterats: , , , . El valor exacte és : el quart iterat té 7 decimals correctes, i els errors van sent de l'ordre de , , , . Convergència quadràtica visible a simple vista.

Exercici 3. Aproxima amb trapezis i Simpson per a , i compara amb el valor exacte.

Solució de l'exercici 3

El valor exacte és . Amb , els nodes són i els valors de són , , , i .

Simpson dona quatre decimals correctes amb només cinc avaluacions; trapezis, dos. L'error de trapezis és negatiu perquè aquí la funció és còncava a la major part de l'interval i els trapezis queden per sota de la corba.

Aquests mètodes són la porta d'entrada al càlcul numèric que faràs servir a les assignatures d'enginyeria amb MATLAB o Python. Els resultats que aproximen (arrels d'equacions, integrals definides) són els que has estudiat de manera exacta a mètodes d'integració i a àrees, volums i integrals dobles; i a un nivell més bàsic, a les integrals de selectivitat. Per a funcions de diverses variables, el mètode de Newton es generalitza substituint la derivada pel gradient i el hessià que veus a diverses variables.