Don't take life too seriously: it's just a temporary situation

Somos (numeri di)

Sequenze 

Indice

  1. 1. Pagina principale
  2. 2. Triangoli eroniani
  3. 3. Altre sequenze contenenti solo numeri interi

Si chiamano “numeri di Somos” i numeri appartenenti alle sequenze di Somos, così chiamate perché definite da Michael Somos nel 1989. Sono un insieme di sequenze chiamate Somos-k e definite come segue:

  • an = 1, per n da 0 a k – 1;

  • Formula per la definizione delle sequenze di Somos, per nk.

Le prime sequenze non sono interessanti: per k uguale a 2 o 3 si ottiene una sequenza infinita di 1; per k = 4 la formula diviene: a0 = a1 = a2 = a3 = 1, Formula per la definizione della sequenza Somos-4 per n ≥ 4; per k = 5 la formula diviene: a0 = a1 = a2 = a3 = a4 = 1, Formula per la definizione della sequenza Somos-5 per n ≥ 5 e così via.

 

L’aspetto interessante della sequenza per k = 4 è che eseguendo i calcoli si ottengono sempre numeri interi, nonostante a prima vista non se ne veda il motivo e i denominatori crescano rapidamente.

 

Il primo a studiarle fu Morgan Ward che nel 1948 dimostrò che le sequenze definite come a0 = a1 = 1, Formula per la definizione delle sequenze di Ward per n ≥ 4 contengono solo interi se a2 divide a4, per qualsiasi scelta di a2, a3 e a4 interi, anche negativi. Somos-4 è un caso particolare di queste sequenze, con a2 = a3 = 1.

 

Nel 1991 D. Gale pubblicò una semplice dimostrazione che le sequenze Somos-4 e Somos-5 contengono solo interi, attribuendo la prima dimostrazione per Somos-5 a Janice L. Malouf.

Nel 1990 Dean Hickerson dimostrò che anche Somos-6 ha la stessa proprietà e Ben Lotto fece altrettanto per Somos-7 un mese dopo.

Nelle sequenze da Somos-8 in avanti i primi termini sono interi, poi si trovano anche numeri razionali non interi. Il primo termine non intero di Somos-8 è a(17) = 420514 / 7.

Le sequenze Somos-4 e Somos-5 sono connesse a curve ellittiche, nel senso che i valori sono legati a punti con coordinate razionali su curve ellittiche, e sono state studiate per le possibili applicazioni in crittografia.

 

I termini fino ad a20 delle sequenze da Somos-4 a Somos-7 sono riportati nella tabella seguente.

n

Elemento an di Somos-4

Elemento an di Somos-5

Elemento an di Somos-6

Elemento an di Somos-7

0

1

1

1

1

1

1

1

1

1

2

1

1

1

1

3

1

1

1

1

4

2

1

1

1

5

3

2

1

1

6

7

3

3

1

7

23

5

5

3

8

59

11

9

5

9

314

37

23

9

10

1529

83

75

17

11

8209

274

421

41

12

83313

1217

1103

137

13

620297

6161

5047

769

14

7869898

22833

41783

1925

15

126742987

165713

281527

7203

16

1687054711

1249441

2534423

34081

17

47301104551

9434290

14161887

227321

18

1123424582771

68570323

232663909

1737001

19

32606721084786

1013908933

3988834875

14736001

20

1662315215971057

11548470571

45788778247

63232441

 

Nel caso di Somos-4 sono state trovate formule che rendono più veloce il calcolo:

  • Formula per il calcolo degli elementi di Somos-4;

  • Formula per il calcolo degli elementi di Somos-4;

  • Formula per il calcolo degli elementi di Somos-4.

 

Formule analoghe per Somos-5 sono:

  • Formula per il calcolo degli elementi di Somos-5;

  • Formula per il calcolo degli elementi di Somos-5;

  • Formula per il calcolo degli elementi di Somos-5.

 

Nel 1989 Somos dimostrò che esiste una straordinaria formula per calcolare gli elementi che formano Somos-6, vale a dire Formula per il calcolo degli elementi di Somos-6, nella quale le 7 costanti hanno i seguenti valori approssimati:

  • c1 ≈ 0.875782749065950194217251,

  • c2 ≈ 1.084125925473763343779968,

  • c3 ≈ 0.114986002186402203509006,

  • c4 ≈ 0.077115634258697284328024,

  • c5 ≈ 1.180397390176742642553759,

  • c6 ≈ 1.508030831265086447098989,

  • c7 ≈ 2.551548771413081602906643.

 

Ogni termine di Somos-4 a partire da a4 = 2 ha un divisore primitivo, ossia un divisore che non divide nessuno dei termini precedenti.

 

R. Jones e Jeremy Rouse dimostrarono nel 2010 che asintoticamente 11 / 21 dei numeri primi dividono almeno un elemento di Somos-4.

Nel 2015 Bryant Davis, Rebecca Kotsonis e Jeremy Rouse dimostrarono che asintoticamente 5087 / 10752 dei numeri primi dividono almeno un elemento di Somos-5.

 

Nessun elemento di Somos-4 e Somos-5 è multiplo di 4.

 

Nella sequenza Somos-4 sono noti pochissimi primi, corrispondenti agli indici: 4, 5, 6, 7, 8, 11, 13, 16, 43, 52, 206, 647 (Graham Everest, 2006); gli ultimi due sono solo probabilmente primi; si sospetta che siano in numero finito.

 

Somos-4 e Somos-5 sono periodiche modulo m per ogni intero m > 1 (Raphael M. Rominson, 1992).

 

Quattro termini consecutivi di Somos-4 sono primi tra loro.

 

Due termini di Somos-5 sono primi tra loro, se la differenza degli indici è minore di 6 in valore assoluto (Raphael M. Rominson, 1992).

 

In Somos-5 an divide an + k(2n – 4) per k > 1 (Peter H. van der Kamp, 2015).

 

Sembra che per tutte le sequenze Somos-k valga la relazione Limiti inferiore e superiore per a(n), per tre costanti a, b e c dipendenti dalla sequenza, ma non è stato provato.

 

Christine Swart e Andrew Hone dimostrarono che se si definisce una versione più generale di Somos-4 come Formula per la definizione della sequenza per n ≥ 4, con a0, a1, a2, a3, α e β interi, allora:

  • Formula per la definizione di T ha un valore fisso, indipendente da n; nel caso di Somos-4 il valore è 4;

  • se a0 = ±1, a1, a2 e a3 sono diversi da zero e βT è intero, la sequenza contiene solo numeri interi;

  • se la sequenza contine 8 valori interi consecutivi e MCD(α, β) = MCD(a1, a2) = MCD(α, a0, a2) = MCD(α, a1, a3) = 1, la sequenza contiene solo numeri interi.

Inoltre la sequenza analoga ottenuta da α = –1 / n, β = 1, a0 = 1, a1 = –n, a2 = n e a3 = 1 con n intero contiene solo numeri interi.

I due matematici dimostrarono anche che se si definisce una versione più generale di Somos-5 come Formula per la definizione della sequenza per n ≥ 4, con a0, a1, a2, a3, a3, α e β interi, allora:

  • Formula per la definizione di T ha un valore fisso, indipendente da n; nel caso di Somos-5 il valore è 5;

  • se a0 = ±1, a1 = ±1, a2, a3 e a4 sono diversi da zero e αT è intero, la sequenza contiene solo numeri interi.

Bibliografia

  • Balzarotti, Giorgio;  Lava, Paolo Pietro;  103 Curiosità matematiche, Milano, Hoepli, 2010.
  • Gale, D.;  "Mathematical Entertainments: The Strange and Surprising Saga of the Somos Sequences" in Mathematical Intelligencer, n. 13, pag. 40 – 42, 1991.

Contattami

Potete contattarmi al seguente indirizzo bitman[at]bitman.name per suggerimenti o segnalazioni d'errori relativi a questo articolo.