Suite de van der Corput

De testwiki
Aller à la navigation Aller à la recherche
Illustration du remplissage de l'intervalle unité (axe horizontal) par les n premiers termes de la suite de Van der Corput décimale, pour n de 0 à 999 (axe vertical)

Une suite de van der Corput est un des exemples les plus simples de suite à discrépance faible en dimension 1, sur l'intervalle unité. Ces suites ont été décrites pour la première fois en 1935 par le mathématicien néerlandais Johannes van der Corput. Elles sont construites en inversant la représentation en base n de la suite des nombres naturels (1, 2, 3,…).

On se donne un entier b2. Pour tout entier positif n1, on considère son écriture en base b :n=k=0L1dk(n)bk=d0(n)b0++dL1(n)bL1,0dk(n)<b est le k-ième chiffre de n en base b. Le n-ième nombre de la suite de van der Corput associée à b estgb(n)=k=0L1dk(n)bk1=d0(n)b1++dL1(n)bL.

Exemples

Par exemple, pour obtenir la suite de van der Corput décimale, on commence par diviser les nombres 1 à 9 par dix (x/10). Pour un nombre à deux chiffres, on inverse l'ordre des chiffres et on divise par cent. On obtient ainsi les numérateurs, regroupés par leur dernier chiffre : d'abord, tous les numérateurs à deux chiffres qui se terminent par 1, c'est-à-dire 01, 11, 21, 31, 41, 51, 61, 71, 81, 91, puis les numérateurs se terminent par 2, à savoir 02, 12, 22, 32, 42, 52, 62, 72, 82, 92, et ainsi de suite...

La suite commence donc de la façon suivante :

110,210,310,410,510,610,710,810,910,1100,11100,21100,31100,41100,51100,61100,71100,81100,91100,2100,12100,22100,32100

ou, en écriture décimale :

0,1 ; 0,2 ; 0,3 ; 0,4 ; 0,5 ; 0,6 ; 0,7 ; 0,8 ; 0,9 ; 0,01 ; 0,11 ; 0,21 ; 0,31 ; 0,41 ; 0,51 ; 0,61 ; 0,71 ; 0,81 ; 0,91 ; 0,02 ; 0,12 ; 0,22 ; 0,32…

On peut faire de même en base deux, ce qui donne la suite de van der Corput binaire :

0,12 ; 0,012 ; 0,112 ; 0,0012 ; 0,1012 ; 0,0112 ; 0,1112 ; 0,00012 ; 0,10012 ; 0,01012 ; 0,11012 ; 0,00112 ; 0,10112 ; 0,01112 ; 0,11112...

ou, de façon équivalente,12,14,34,18,58,38,78,116,916,516,1316,316,1116,716,1516

Propriétés : densité, équirépartition, discrépance étoile faible

Les termes d'une suite de van der Corput (gb(n))n1 (dans n'importe quelle base b) forment une partie dense de l'intervalle unité. Cela signifie que pour tout nombre réel dans [0,1], il existe une sous-suite de la suite de van der Corput qui converge vers ce nombre.

Plus précisément, ils sont équirépartis sur l’intervalle unité : étant donné un sous-intervalle J de [0,1], la proportion d'entiers kn tels que gb(k)J tend vers la longueur de J lorsque n tend vers l'infini.

Cette propriété étant acquise, on peut raffiner la répartition des termes à l'aide de la notion de discrépance. On peut démontrer qu'il existe une constante C dépendant uniquement de b telle que (gb(n))n ≥ 1 vérifie

DN*(gb(1),,gb(N))ClogNN.

Implémentation en C

double corput(int n, int base){
  double q=0, bk=(double)1/base;

  while (n > 0) {
   q += (n % base)*bk;
   n /= base;
   bk /= base;
  }

  return q;
}

Articles connexes

Notes et références

Modèle:Traduction/Référence Modèle:Références

Liens externes

Modèle:Portail