Limite errore di Lagrange

Dato un limite M sulla derivata n-esima della funzione, le posizioni dei nodi di interpolazione e il punto di valutazione, restituisce lo scarto nel caso peggiore tra la funzione reale e il polinomio interpolante, calcolato con il classico teorema del resto. Una chiamata, un numero, nessuna congettura numerica — il limite è una forma chiusa, quindi il risultato è aritmetica esatta e non una stima ottenuta per campionamento.

Cosa dice davvero il limite dell'errore

Interpolare una funzione attraverso un insieme di nodi produce un polinomio che coincide esattamente con la funzione in quei nodi, ma da solo non dice nulla sui punti intermedi. Il teorema del resto di Lagrange colma questa lacuna: se il polinomio passa per n nodi e il valore assoluto della derivata n-esima della funzione non supera mai M nell'intervallo, allora l'errore reale in un punto x qualsiasi è al massimo M diviso per n fattoriale, moltiplicato per il prodotto delle distanze da x a ciascun nodo.

Lei fornisce il limite della derivata M, le posizioni dei nodi e il punto di valutazione; riceve in cambio l'errore massimo che l'interpolazione può avere in quel punto. Questo lo rende un certificato, non una misurazione — vale anche nel caso peggiore, che è esattamente ciò che serve prima di affidarsi a un valore interpolato in un rapporto, in un sistema di controllo o in un dato pubblicato.

Come nodi e punto di valutazione modellano il limite

Il termine del prodotto è la parte da comprendere, perché spiega dove l'interpolazione è sicura e dove è pericolosa. Ogni nodo contribuisce con un fattore pari alla distanza tra il punto di valutazione e quel nodo, quindi il limite si annulla esattamente nei nodi — dove il polinomio è esatto per costruzione — e cresce allontanandosi dal gruppo.

Valutare all'interno di un gruppo di nodi compatto e ben distribuito mantiene piccolo il prodotto; estrapolare oltre il nodo più esterno fa crescere tutti i fattori contemporaneamente, e il limite esplode di conseguenza. Il fattoriale al denominatore gioca a Suo favore: ogni nodo aggiuntivo alza il grado di uno e divide il limite per un fattore in più, ed è per questo che un nodo ben posizionato può migliorare drasticamente la precisione.

Dove si inserisce in un flusso di lavoro reale

L'uso tipico è la verifica, non la scoperta. Lei ha già una funzione, un insieme di punti campionati e un motivo per interpolare — una tabella di consultazione per un sensore, una ricostruzione regolare di dati fisici tabulati, un sostituto economico di un calcolo costoso. Prima di rilasciare l'approssimazione, ne limita l'errore e conserva il numero agli atti.

Gli ingegneri lo usano per dimostrare che un controllore basato su tabelle resta entro la tolleranza; gli analisti lo usano per giustificare la pubblicazione di dati interpolati; gli studenti lo usano per verificare i compiti rispetto al teorema invece di sperare. Il calcolo è aritmetica deterministica in forma chiusa: niente casualità, niente campionamento, nessuna chiamata esterna, quindi lo stesso input produce sempre lo stesso limite.