Suite de Jacobsthal

En mathématiques, la suite de Jacobsthal est une suite d'entiers portant le nom du mathématicien allemand Ernst Jacobsthal (en) (1882-1965). Comme la suite de Fibonacci, elle modélise l'accroissement d'une population de lapins.

Sachant qu'un couple de lapins donne naissance à deux nouveaux couples chaque mois et que chaque couple commence à engendrer à partir du deuxième mois suivant sa naissance, on demande le nombre total de couples au n-ième mois.

La suite commence par 0 et 1, puis chaque terme est obtenu en ajoutant le nombre précédent à deux fois le nombre anté-précédent. Les premiers termes en sont donc :

0, 1, 1, 3, 5, 11, 21, 43, 85, 171, 341, 683, 1365, 2731, 5461, 10923, 21845, 43691, 87381, 174763, 349525,… suite A001045 de l'OEIS.

C'est aussi une suite de Lucas U n ( P , Q ) {\displaystyle U_{n}(P,Q)} , obtenue pour P = 1 , Q = 2 {\displaystyle P=1,Q=-2} .

Historique

D'après Knuth, Ernst Jacobsthal n'a probablement jamais vu les valeurs de cette suite. C'est le mathématicien australien Alwyn Francis Horadam qui a utilisé l'appellation « suite de Jacobsthal », car « une suite aussi importante a besoin d'un nom, et il existe une loi qui dit que le nom de quelque chose ne devrait jamais être celui de son découvreur » (loi de Stigler)[1].

Définition et formules

La suite de Jacobsthal est donc définie par récurrence double par :

J n = { 0 si  n = 0 1 si  n = 1 J n 1 + 2 J n 2 si  n 2 {\displaystyle J_{n}={\begin{cases}0&{\mbox{si }}n=0\\1&{\mbox{si }}n=1\\J_{n-1}+2J_{n-2}&{\mbox{si }}n\geqslant 2\\\end{cases}}}

L'application de la formule de Binet pour les suites récurrentes linéaires donne :

J n = 2 n ( 1 ) n 3 . {\displaystyle J_{n}={\frac {2^{n}-(-1)^{n}}{3}}.}

on en déduit les formules de récurrence simples :

J n + 1 = 2 J n + ( 1 ) n = 2 n J n {\displaystyle J_{n+1}=2J_{n}+(-1)^{n}=2^{n}-J_{n}}

d'où :

J n + 1 = 2 n k = 0 n ( 1 ) k 2 k = ( 1 ) n k = 0 n ( 1 ) k 2 k {\displaystyle J_{n+1}=2^{n}\sum _{k=0}^{n}{(-1)^{k} \over {2^{k}}}=(-1)^{n}\sum _{k=0}^{n}{(-1)^{k}{2^{k}}}}

La fonction génératrice est

n = 0 J n x n = x ( 1 + x ) ( 1 2 x ) . {\displaystyle \sum _{n=0}^{\infty }J_{n}x^{n}={\frac {x}{(1+x)(1-2x)}}.}

La somme des inverses des nombres de Jacobsthal non nuls est environ égale à 2,7186, résultat légèrement supérieur à e.

En prolongeant la suite aux indices négatifs de sorte à avoir J n = J n 1 + 2 J n 2 {\displaystyle J_{n}=J_{n-1}+2J_{n-2}} , pour tout entier relatif n {\displaystyle n} , on a :

J n = ( 1 ) n J n / 2 n {\displaystyle J_{-n}=(-1)^{n}J_{n}/2^{n}}
et
2 n ( J n + J n ) = 3 ( J n 2 = {\displaystyle 2^{n}(J_{-n}+J_{n})=3(J_{n}^{2}=\,} OEIS A139818 ( n ) ) {\displaystyle (n))}

Suite de Jacobsthal-Lucas

La suite de Jacobsthal-Lucas est la suite de Lucas j n = V n ( 1 , 2 ) {\displaystyle j_{n}=V_{n}(1,-2)} associée à J n = U n ( 1 , 2 ) {\displaystyle J_{n}=U_{n}(1,-2)}  : . Seules les valeurs initiales diffèrent :

j n = { 2 si  n = 0 1 si  n = 1 j n 1 + 2 j n 2 si  n 2 {\displaystyle j_{n}={\begin{cases}2&{\mbox{si }}n=0\\1&{\mbox{si }}n=1\\j_{n-1}+2j_{n-2}&{\mbox{si }}n\geqslant 2\\\end{cases}}}

Récurrence simple :

j n + 1 = 2 j n 3 ( 1 ) n . {\displaystyle j_{n+1}=2j_{n}-3(-1)^{n}.\,}

Formule générale:

j n = 2 n + ( 1 ) n . {\displaystyle j_{n}=2^{n}+(-1)^{n}.\,}

Les premières valeurs sont:

2, 1, 5, 7, 17, 31, 65, 127, 257, 511, 1025, 2047, 4097, 8191, 16385, 32767, 65537, 131071, 262145, 524287, 1048577,… suite A014551 de l'OEIS.

Nombres oblongs de Jacobsthal

Ce sont les produits de deux termes consécutifs : J o n = J n J n + 1 {\displaystyle Jo_{n}=J_{n}J_{n+1}} .

Premières valeurs : : 0, 1, 3, 15, 55, 231,… suite A084175 de l'OEIS.

Notes et références

(en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Jacobsthal number » (voir la liste des auteurs).
  1. (en) Neil Sloane, « Jacobsthal sequence » (consulté le ).

Liens externes

  • (en) Eric W. Weisstein, « Jacobsthal Number », sur MathWorld
  • icône décorative Portail des mathématiques