Erdős-Borwein konstant

Erdős-Borwein-konstanten  er en matematisk konstant lig med summen af ​​de reciproke værdier af Mersenne-tallene . Det er opkaldt efter Pal Erdős og Peter Borwein , som etablerede dets nøgleejendomme . 

Per definition er konstanten:

hvilket er ca. 1.606 695 152 415 291 763 783 301 523 190 924 580 480 579 671 505 756 435 778 079 553 691 068 1 079 553 691 0 6 4 6 4 5 6 4 6 4 6 4 6 7

Tilsvarende former

Det kan vises, at følgende summer giver samme konstant:

, , , ,

hvor  er den multiplikative funktion af divisorer lig med antallet af positive divisorer af tallet . For at bevise ækvivalensen af ​​disse formler bruges det faktum, at de alle repræsenterer Lambert-serien [2] .

Irrationalitet

Erdős i 1948 viste, at konstanten er et irrationelt tal [3] . Borwein fremlagde senere et alternativt bevis [4] .

Selvom den er irrationel, beregnes den binære repræsentation af en konstant effektivt: Knuth bemærkede i 1998- udgaven af ​​The Art of Programming , at beregningen kan udføres ved hjælp af Clausen-serien, som konvergerer meget hurtigt [5] .

Ansøgninger

Erdős-Borwein konstanten opstår, når man analyserer adfærden af ​​heapsort- algoritmen [6]

Links

  1. OEIS -sekvens A065442 _
  2. Den første af disse formler blev introduceret af Knuth i 1998; Knuth henviser til et værk fra 1828 af Thomas Clausen
  3. Erdős, Pal (1948), Om aritmetiske egenskaber ved Lambert-serien , J. Indian Math. soc. (NS) Vol . 12: 63–66 , < http://www.renyi.hu/~p_erdos/1948-04.pdf > Arkiveret fra originalen den 14. juli 2016. 
  4. Borwein, Peter B. (1992), On the irrationality of certain series , Mathematical Proceedings of the Cambridge Philosophical Society bind 112 (1): 141–146 , DOI 10.1017/S030500410007081X 
  5. Crandall, Richard (2012), The googol-th bit of the Erdős–Borwein constant , Integers T. 12: A23 , DOI 10.1515/integers-2012-0007 
  6. Knuth, Donald (1998), The Art of Computer Programming , Vol. 3: Sortering og søgning (2. udg.), Reading, MA: Addison-Wesley, s. 153-155  .

Litteratur