Polinomi calcolanti somme di potenze di progressioni aritmetiche

Da Wikipedia, l'enciclopedia libera.
Vai alla navigazione Vai alla ricerca

I polinomi calcolanti somme di potenze di progressioni aritmetiche sono polinomi in una variabile che dipendono sia dalla particolare progressione aritmetica costituente la base delle potenze sommate sia dall’esponente costante, intero non negativo, scelto. Il loro grado supera sempre di un'unità l'esponente costante e hanno la proprietà che quando la variabile polinomiale coincide con il numero degli addendi sommati, anche il risultato della funzione polinomiale coincide con quello della somma.

Il problema consiste quindi nel trovare cioè polinomi in funzione di calcolanti somme di addendi:

con [1] e numeri interi positivi, primo termine di una progressione aritmetica e ragione della stessa. I due parametri possono essere non solo interi ma anche razionali, reali e perfino complessi.

Periodo antico

[modifica | modifica wikitesto]

La storia del problema inizia nell'antichità e coincide con quella di alcuni suoi casi particolari. Il caso coincide con quello del calcolo della serie aritmetica, la somma dei primi valori di una progressione aritmetica. Questo problema è piuttosto semplice ma è storicamente interessante il caso conosciuto già dalla scuola pitagorica per il suo legame con i numeri triangolari:

polinomio calcolante la somma dei primi numeri naturali.

Un altro caso ben conosciuto è:

polinomio calcolante la somma dei primi dispari successivi formanti un quadrato. Una proprietà probabilmente ben conosciuta dagli stessi pitagorici che, nel costruire i loro numeri figurati, dovevano aggiungere ogni volta uno gnomone costituito da un numero dispari di unità per ottenere il successivo quadrato perfetto[2].

Per i primi casi che si incontrano nella storia della matematica sono:

polinomio calcolante la somma dei quadrati degli interi successivi. Proprietà che troviamo dimostrata in Spirali, un'opera di Archimede[3].
polinomio calcolante la somma dei cubi degli interi successivi. Corollario di un teorema dimostrato da Nicomaco di Gerasa[4].

L'insieme dei casi, a cui appartengono i due polinomi precedenti, costituisce il problema classico della somma di potenze di interi successivi.

Periodo medio

[modifica | modifica wikitesto]

Nel tempo molti altri matematici si interessarono al problema e diedero contributi vari alla sua risoluzione. Tra questi ricordiamo Aryabhata, Al-Karaji, Alhazen, Thomas Harriot, Johann Faulhaber, Pierre de Fermat e Blaise Pascal, il quale risolse ricorsivamente il problema della somma di potenze di interi successivi considerando un'identità che permetteva di ottenere un polinomio di grado conoscendo già quelli precedenti[4].

Nel 1713 la famiglia di Jakob Bernoulli pubblica postuma l'opera Artis Conjectandi[5] dove compaiono i primi 10 polinomi di questa serie infinita insieme a una formula generale dipendente da particolari numeri che furono presto a lui intitolati. La formula invece fu attribuita a Johann Faulhaber[6] per i suoi meritevoli contributi riconosciuti dallo stesso Bernoulli. Fu subito chiaro anche che i polinomi calcolanti la somma di potenze di interi successivi inizianti da zero erano molto simili a quelli inizianti da uno. Questo poiché risulta evidente che e che quindi i polinomi di grado della forma [7] sottratto il monomio differenza diventano .

Mancava però una dimostrazione della formula di Faulhaber che fu data più di un secolo dopo da Carl Jacobi[8] che si giovò dei progressi dell'analisi matematica utilizzando lo sviluppo in serie infinita di una funzioni esponenziale generatrice dei numeri di Bernoulli.

Periodo moderno

[modifica | modifica wikitesto]

Nel 1982 Anthony William Fairbank Edwards pubblicò un articolo[9] in cui mostra che l'identità di Pascal può essere espressa mediante matrici triangolari contenenti il triangolo di Tartaglia privato dell'ultimo elemento di ogni riga:

[10][11]

L'esempio è limitato dalla scelta di una matrice del quinto ordine ma è facilmente estendibile a ordini superiori. L'equazione può scriversi come: e moltiplicando a sinistra i due membri dell'equazione per , inversa della matrice si ottiene che permette di arrivare direttamente ai coefficienti polinomiali senza utilizzare direttamente i numeri di Bernoulli. Altri autori dopo Edwards si occupano di vari aspetti del problema della somma di potenze percorrono la via matriciale[12] e studiano aspetti del problema introducendo nei loro articoli utili strumenti come il vettore di Vandermonde[13]. Altri ricercatori continuano a esplorare attraverso la tradizionale via analitica[14] e generalizzano il problema della somma di interi successivi a una qualsiasi progressione geometrica[15]. Si trovano i coefficienti dei polinomi attraverso formule ricorsive e in altri modi che risultano interessanti per la teoria dei numeri come l'espressione del risultato della somma in funzione di polinomi di Bernoulli o le formule coinvolgenti i numeri di Stirling e i numeri r-Whitney di primo e di secondo tipo[16] Infine, anche l'approccio matriciale di Edwards è stato generalizzato a progressioni aritmetiche qualsiasi[17].

Soluzione per via matriciale

[modifica | modifica wikitesto]

Il problema generale è stato risolto recentemente[18] mediante l'uso di matrici binomiali facilmente costruibili conoscendo i coefficienti binomiali e il triangolo di Tartaglia. Si dimostra che, scelti i parametri e che determinano la progressione aritmetica e un numero intero positivo si trovano polinomi corrispondenti alle seguenti somme di potenze:

con i coefficienti polinomiali elementi della riga della matrice triangolare di ordine .

Ecco la formula risolvente nel caso particolare che dà i polinomi di una data progressione aritmetica con esponenti da 0 a 3:

L'equazione facilmente estendibile a diversi valori di (interi non negativi) viene sintetizzata e generalizzata così:

o anche ponendo con
[17]

Ecco la definizione rigorosa delle matrici e del vettore di Vandermonde:

Per risulta quindi

e anche:

La matrice è quella di Edwards[11] già vista, una matrice triangolare inferiore che riproduce, negli elementi non nulli, il triangolo di Tartaglia privato dell'ultimo elemento di ogni riga. Gli elementi di invece sono i monomi dello sviluppo della potenza per

è l'elemento neutro del prodotto righe per colonne per cui l'equazione generale in questo caso diventa:

cioè quella scoperta da Edwards[11]

Per arrivare da questo caso particolare a dimostrare quello generale basta moltiplicare a sinistra i due membri dell'equazione per la matrice dopo aver constatato la seguente identità [17]

Somma di potenze di dispari successivi

[modifica | modifica wikitesto]

Utilizziamo la formula precedente per risolvere il problema della somma di potenze di dispari successivi. I dispari corrispondono alla progressione aritmetica con primo elemento e come ragione Fissiamo m=4 per trovare i primi cinque polinomi calcolanti somme di potenze di dispari. Calcolato otteniamo:

Abbiamo quindi

A questo punto l'equazione generale per e il prodotto svolto danno:

utilizzando l'ultima riga () si ottiene quindi

e utilizzando le altre righe:

Somma di interi successivi inizianti da 1

[modifica | modifica wikitesto]

Scelto e calcolato e che corrisponde al triangolo di Tartaglia:

Somma di interi successivi inizianti da 0

[modifica | modifica wikitesto]

Scelto e calcolato e matrice unità:

Progressione -1,3,7,11,15...

[modifica | modifica wikitesto]

Scelto ancora , calcolato , sfruttato il risultato del paragrafo precedente e la proprietà associativa:

Generalizzazione della formula di Faulhaber

[modifica | modifica wikitesto]

La matrice può essere espressa in funzione dei polinomi di Bernoulli nel seguente modo[19]:

che per diventa:

da cui si trae la formula di Faulhaber generalizzata:

e anche i noti casi particolari

dove i polinomi di Bernoulli calcolati in 0 sono i numeri di Bernoulli e quelli calcolati in 1 sono la sua variante con cambiato di segno[20].

Se poi non interessano direttamente i coefficienti dei polinomi calcolanti ma solo il risultato della somma di potenze si può applicare a quest'ultima equazione la proprietà di traslazione dei polinomi di Bernoulli per cui risulta

e ottenere una forma più semplice:

assai diffusa, a differenza dell'altra, in letteratura[16].

Da cui anche i due casi particolari:

  1. ^ è ammissibile solo quando non si calcola oppure se si considera in questo contesto
  2. ^ Euclide, Libro II proposizione 4, in Elementi, Commento di Attilio Frajese, UTET, 1974, p. 163 nota 3.
  3. ^ Spirali, proposizione 10, in Opere di Archimede, a cura di Attilio Frajese, UTET, 1974, p. 335, OCLC 859673028.
  4. ^ a b (EN) Janet Beery, Sum of powers of positive integers, su MMA Mathematical Association of America, DOI:10.4169/loci003284.
  5. ^ Bernoulli 1713.
  6. ^ Faulhaber 1631.
  7. ^ Bernoulli 1713, pag.97.
  8. ^ Jacobi 1834.
  9. ^ A.W.F. Edwards, Sums of powers of integers: A little of the History, in The matematical Gazette vol.66 N.435, 1982.
  10. ^ Il primo elemento del vettore delle somme è e non per via del primo addendo, la forma indeterminata , a cui altrimenti si dovrebbe assegnare valore 1
  11. ^ a b c Edwards 1987, p.84.
  12. ^ Dan Kalman, Sums of Powers by matrix method, Semantic scholar, 1988.
  13. ^ Gottfried Helmes, Accessing Bernoulli-Numbers by Matrix-Operations (PDF), su Uni-Kassel.de, 2006.
  14. ^ F.T Howard, Sums of powers of integers via generating functions, 1994.
  15. ^ Wolfdieter Lang, On Sums of Powers of Arithmetic Progressions, and Generalized Stirling, Eulerian and Bernoulli numbers (PDF).
  16. ^ a b Bazso-Meso 2015.
  17. ^ a b c Pietrocola 2021.
  18. ^ Pietrocola 2021, Una nuova soluzione pp.203-206.
  19. ^ Giorgio Pietrocola, Matrici binomiali per insiemi di polinomi calcolanti somme di potenze con basi in p. a., in MatematicaMente, 298,299, Verona, Mathesis, 2022, ISSN 2037-6367 (WC · ACNP).
  20. ^ A164555, Sequenza dei numeratori nella variante dei numeri di Bernoulli con , su OEIS Enciclopedia delle sequenze dei numeri interi.

Voci correlate

[modifica | modifica wikitesto]

Altri progetti

[modifica | modifica wikitesto]
  Portale Matematica: accedi alle voci di Wikipedia che trattano di matematica