Regola di Horner

La regola di Horner o, più correttamente, l'algoritmo di Horner è un algoritmo inventato da William George Horner che permette di valutare un polinomio

$P_{N}(x)=a_{0}x^{N}+a_{1}x^{N-1}+...+a_{N-1}x+a_{N}$

svolgendo $N$ addizioni e $N$ moltiplicazioni, anziché le $N$ addizioni e ${\frac {N(N+1)}{2}}$ moltiplicazioni richieste con il metodo di valutazione tradizionale. Esso è quindi particolarmente adatto qualora si ricerchino radici reali di equazioni polinomiali con metodi iterativi.

Calcolo del valore di un polinomio e delle sue derivate prima e seconda

Il polinomio $P_{N}(x)$ può infatti essere scritto nella forma:

$P_{N}(x)=a_{N}+x(a_{N-1}+x(a_{N-2}+\ldots +x(a_{1}+a_{0}x)\ldots ))$

Pertanto, il valore di tale polinomio si può calcolare sfruttando la definizione ricorsiva:

$p_{0}=a_{0}$

$p_{k+1}=p_{k}x+a_{k+1}$

in cui $0\leq k\leq N-1$.

Il metodo di Horner permette di calcolare con meno operazioni anche la derivata prima e la derivata seconda di $p_{N}(x)$.

A tal fine, si introduca il concetto di polinomio ridotto $q_{N-1}(x)$:

$q_{N-1}(x)={\frac {p_{N}(x)-p_{N}(x_{i})}{x-x_{i}}}=x^{N-1}+b_{1}x^{N-2}+\ldots +b_{N-2}x+b_{N-1}$

con $b_{0}=1$, $b_{k}=b_{k-1}x_{i}+a_{k}$, $k=1,2,\ldots ,N-1$ e $x_{i}$ generico punto.

Sviluppando in serie di Taylor $p_{N}(x)$ nell'intorno del generico punto $x_{i}$, si ricava, dopo alcuni passaggi algebrici:

$q_{N-1}(x_{i})=p'_{N}(x_{i})=d_{N-1}$

nella quale $d_{0}=1$, $d_{k}=d_{k-1}x_{i}+b_{k}$ e $k=1,2,\ldots ,N-1$.

Analogamente per la derivata seconda, riscrivendo il polinomio ridotto a partire da $q_{N-1}$, si ottiene:

$p''_{N}(x_{i})=2e_{N-2}$

con $e_{0}=1$, $e_{k}=d_{k-1}x_{i}+d_{k}$ e $k=1,2,\ldots ,N-2$.

Applicazione al calcolo delle radici reali di un polinomio

Note le approssimazioni delle radici reali di $p_{N}(x)$, è possibile, attraverso l'applicazione ricorsiva della definizione di polinomio ridotto, determinare il valore delle radici di $p_{N}(x)$ con precisione arbitraria. Per fare ciò:

1. Trovare la radice $x_{1}$ di $p_{N}(x)$ con un metodo iterativo per il calcolo degli zeri di una funzione, quali bisezione, tangenti, secanti o regula falsi, utilizzando le formule ricorsive appena ricavate per valutare il polinomio e le sue derivate.
2. Riapplicare il metodo iterativo al polinomio ridotto $q_{N-1}(x)$ con $x_{i}=x_{1}$ per trovare la seconda radice $x_{2}$ di $p_{N}(x)$.
3. Riapplicare il metodo iterativo al polinomio ridotto $q_{N-2}(x)$ con $x_{i}=x_{2}$ per trovare $x_{3}$.
4. Procedere allo stesso modo finché non si sono trovate tutte le radici desiderate.

Si osservi che il metodo consente di ottenere un'approssimazione delle radici di $p_{N}(x)$ a causa degli errori di arrotondamento che si commettono nel calcolo. Per ridurre tali errori si suggerisce generalmente di determinare le radici considerando l'ordine crescente dei loro valori assoluti ed, eventualmente, di utilizzare le soluzioni ottenute come soluzioni di partenza per riapplicare il metodo iterativo (bisezione, tangenti, secanti o regula falsi) direttamente al polinomio $p_{N}(x)$.

Bibliografia

• http://domino.research.ibm.com/tchjr/journalindex.nsf/0/eb51aa3e081ca90c85256bfa00683e2f?OpenDocument
• http://www.physics.utah.edu/~detar/lessons/c++/array/node1.html
• https://web.archive.org/web/20041211061232/http://rkb.home.cern.ch/rkb/AN16pp/node120.html
• Horner's Rule Archiviato il 24 dicembre 2004 in Internet Archive. su PlanetMath

Collegamenti esterni

• (EN) Horner’s method, su Enciclopedia Britannica, Encyclopædia Britannica, Inc.
• (EN) Eric W. Weisstein, Regola di Horner / Regola di Horner (altra versione), su MathWorld, Wolfram Research.