maurer ha scritto:Sì, è proprio così... Si dimostra che i nodi di Chebychev minimizzano l'errore massimo:
Beh per la massima precisione non è proprio così. Fissiamo un intervallo \( \displaystyle {\left[{a},{b}\right]} \) e chiamiamo \( \displaystyle \Pi_{{n}}{\left({x}\right)}={\left({x}-{x}_{{0}}\right)}{\left({x}-{x}_{{1}}\right)}\ldots{\left({x}-{x}_{{n}}\right)} \), dove \( \displaystyle {x}_{{0}}\ldots{x}_{{n}}\in{\left[{a},{b}\right]} \) sono nodi fissati. Si dimostra che la scelta dei nodi di Chebyshev minimizza \( \displaystyle \text{max}_{{\matrix{{a}&{b}}}}{\left|\Pi_{{n}}{\left({x}\right)}\right|} \), nel senso che detti \( \displaystyle {x}_{{0}}..{x}_{{n}} \) i nodi di Chebyshev in \( \displaystyle {\left[{a},{b}\right]} \) e \( \displaystyle {y}_{{0}}\ldots{y}_{{n}} \) un qualsiasi insieme di nodi sempre in \( \displaystyle {\left[{a},{b}\right]} \) si ha
\( \displaystyle \text{max}_{{{x}\in{\left[{a},{b}\right]}}}{\left|\Pi_{{n}}{\left({x}\right)}\right|}\le\text{max}_{{{y}\in{\left[{a},{b}\right]}}}{\left|{\left({y}-{y}_{{0}}\right)}\ldots{\left({y}-{y}_{{n}}\right)}\right|} \).
Ora ricordiamo la formula dell'errore, nell'ipotesi che la funzione da approssimare sia sufficientemente regolare:
\( \displaystyle {E}{\left({x}\right)}={\left|{\frac{{{{f}}^{{{\left({n}+{1}\right)}}}{\left(\xi\right)}}}{{{\left({n}+{1}\right)}!}}}\Pi_{{n}}{\left({x}\right)}\right|} \) per una \( \displaystyle \xi\in{\left[{a},{b}\right]} \).
In particolare l'errore proviene dal prodotto di due fattori: su uno, \( \displaystyle {\left|{\frac{{{{f}}^{{{\left({n}+{1}\right)}}}{\left(\xi\right)}}}{{{\left({n}+{1}\right)}!}}}\right|} \), non si può intervenire (sostanzialmente perché quella \( \displaystyle \xi \) non è nota a priori); l'altro invece si può maggiorare con \( \displaystyle \text{max}_{{{x}\in{\left[{a},{b}\right]}}}{\left|\Pi_{{n}}{\left({x}\right)}\right|} \).
Di conseguenza l'unica maniera per intervenire sull'errore indipendentemente dalla \( \displaystyle {f} \) è rendere piccolo quest'ultimo bound, cosa che si può fare scegliendo nodi di Chebyshev: ma questo
non significa esattamente dire che scegliere nodi di Chebyshev minimizza l'errore.
Mi pare, ma in questo momento purtroppo non ricordo con certezza, che esistano addirittura delle funzioni (non di classe \( \displaystyle {{C}}^{{1}} \)) per cui la successione dei polinomi di interpolazione nei nodi di Chebyshev non converge mentre converge la successione relativa a nodi equidistanti.