постоянная Гельфонда

В математике , константа Гельфонда , названная в честь Александра Гельфонда равна $e п$ , то есть $e,$ возведенное в степень $π$ . Как и $e,$ и $π$ , эта константа является трансцендентным числом . Впервые это было установлено Гельфондом и теперь может рассматриваться как применение теоремы Гельфонда – Шнайдера , отметив, что

$e^{\pi }=(e^{i\pi })^{-i}=(-1)^{-i},$

где $я$ — мнимая единица . Поскольку $- i$ алгебраичен, но не рационален, $e п$ является трансцендентальным. Константа упоминалась в седьмой проблеме Гильберта . ^[1] Соответствующая константа равна $2 \sqrt 2$ , известная как константа Гельфонда-Шнайдера . Соответствующее значение $π$ + $e п$ также иррационально . ^[2]

Числовое значение

Начинается десятичное разложение константы Гельфонда.

e^{\pi }=

23.140 692 632 779 269 005 729 086 367 948 547 380 266 106 242 600 211 993 445 046 409 342 350 690 452 783 516 971 067 549 524 2196 ... OEIS : A039661

Строительство

Если определить $k 0 = .mw-parser-output .sfrac{white-space:nowrap}.mw-parser-output .sfrac.tion,.mw-parser-output .sfrac .tion{display:inline-block;vertical-align:-0.5em;font-size:85%;text-align:center}.mw-parser-output .sfrac .num{display:block;line-height:1em;margin:0.0em 0.1em;border-bottom:1px solid}.mw-parser-output .sfrac .den{display:block;line-height:1em;margin:0.1em 0.1em}.mw-parser-output .sr-only{border:0;clip:rect(0,0,0,0);clip-path:polygon(0px 0px,0px 0px,0px 0px);height:1px;margin:-1px;overflow:hidden;padding:0;position:absolute;width:1px}⁠ 1 / √ 2 ⁠$ и

$k_{n+1}={\frac {1-{\sqrt {1-k_{n}^{2}}}}{1+{\sqrt {1-k_{n}^{2}}}}}$

для $n > 0$ , то последовательность ^[3]

$(4/k_{n+1})^{2^{-n}}$

быстро сходится к $e п$ .

Продолжение расширения фракции

$e^{\pi }=23+{\cfrac {1}{7+{\cfrac {1}{9+{\cfrac {1}{3+{\cfrac {1}{1+{\cfrac {1}{1+{\cfrac {1}{591+{\cfrac {1}{2+{\cfrac {1}{9+{\cfrac {1}{1+{\cfrac {1}{2+{\cfrac {1}{\ddots }}}}}}}}}}}}}}}}}}}}}}$

Это основано на цифрах простой цепной дроби :

$e^{\pi }=[23;7,9,3,1,1,591,2,9,1,2,34,1,16,1,30,1,1,4,1,2,108,2,2,1,3,1,7,1,2,2,2,1,2,3,2,166,1,2,1,4,8,10,1,1,7,1,2,3,566,1,2,3,3,1,20,1,2,19,1,3,2,1,2,13,2,2,11,...]$

Как задано целочисленной последовательностью A058287 .

Геометрическое свойство

Объем ( n -мерного шара или n -шара ) определяется выражением

$V_{n}={\frac {\pi ^{\frac {n}{2}}R^{n}}{\Gamma \left({\frac {n}{2}}+1\right)}},$

где $R$ — его радиус, а $Γ$ — гамма-функция . Любой четный шар имеет объем.

$V_{2n}={\frac {\pi ^{n}}{n!}}R^{2n},$

и, суммируя все объемы единичных шаров ( $R = 1$ ) четных измерений, дает ^[4]

$\sum _{n=0}^{\infty }V_{2n}(R=1)=e^{\pi }.$

Похожие или связанные константы

постоянная Рамануджана

$e^{\pi {\sqrt {163}}}=({\text{Gelfond's constant}})^{\sqrt {163}}$

Это известно как константа Рамануджана . Это применение чисел Хигнера , где 163 — это число Хигнера, о котором идет речь.

Похоже на $: е п - пи$ , $е π \sqrt 163$ очень близко к целому числу:

e^{\pi {\sqrt {163}}}=

262 537 412 640 768 743 .999 999 999 999 250 072 597 198 185 688 879 353 856 337 336 990 862 707 537 410 378 210 647 910 118 607 3129 ...

\approx 640\,320^{3}+744

Это число было открыто в 1859 году математиком Чарльзом Эрмитом . ^[5]В первоапрельской статье 1975 года в Scientific American : журнале ^[6] Обозреватель журнала «Математические игры» Мартин Гарднер выдвинул ложное заявление о том, что число на самом деле было целым числом и что индийский математический гений Шриниваса Рамануджан его предсказал — отсюда и его название.

Случайная близость с точностью до 0,000 000 000 000 75 числа $640320. 3 +744$ объясняется комплексным умножением и q -разложением j -инварианта , а именно:

$j((1+{\sqrt {-163}})/2)=(-640\,320)^{3}$

и,

$(-640\,320)^{3}=-e^{\pi {\sqrt {163}}}+744+O\left(e^{-\pi {\sqrt {163}}}\right)$

где $О (е - π \sqrt 163)$ — член ошибки,

${\displaystyle O\left(e^{-\pi {\sqrt {163}}}\right)=-196\,884/e^{\pi {\sqrt {163}}}\approx -196\,884/(640\,320^{3}+744)\approx -0.000\,000\,000\,000\,75}$

что объясняет, почему $e π \sqrt 163$ составляет 0,000 000 000 000 75 ниже $6403203 + 744$ .

(Более подробную информацию об этом доказательстве можно найти в статье о числах Хигнера .)

Число $е п - п$

Десятичное разложение $e п - π$ определяется как A018938 :

e^{\pi }-\pi =

19.999 099 979 189 475 767 266 442 984 669 044 496 068 936 843 225 106 172 470 101 817 216 525 944 404 243 784 888 937 171 725 432 1516 ...

Это примерно равно:

19.999 10

Несмотря на то, что это почти целое число 20, этому факту не было дано никакого объяснения, и считается, что это математическое совпадение .

Тем не менее, с точки зрения алгоритмической теории информации , нетрудно сформировать большой набор коротких арифметических выражений, используя хорошо известные константы и доступные операторы, причем некоторые значения выражений оказываются очень близкими к целому числу. При достаточной гибкости того, что считается допустимым набором выражений, такого рода вещи могут начать напоминать выемку данных .

Число $π и$

Десятичное разложение $π и$ определяется A059850 :

\pi ^{e}=

22.459 157 718 361 045 473 427 152 204 543 735 027 589 315 133 996 692 249 203 002 554 066 926 040 399 117 912 318 519 752 727 143 0315 ...

Неизвестно, является ли это число трансцендентным. Обратите внимание, что по теореме Гельфонда-Шнайдера мы можем только окончательно заключить, $что б$ трансцендентно, если $a$ является алгебраическим, а $b$ не является рациональным ( $a$ и $b$ считаются комплексными числами , а также $a \neq 0$ , $a \neq 1$ ).

В случае $э п$ , мы можем доказать трансцендентность этого числа только благодаря свойствам комплексных экспоненциальных форм, где $π$ считается модулем комплексного числа $e п$ , и указанная выше эквивалентность для преобразования ее в $(-1) - я$ , позволяющий применить теорему Гельфонда-Шнайдера.

$п и$ не имеет такой эквивалентности, и, следовательно, поскольку и $π$ , и $e$ трансцендентны, мы не можем сделать никакого вывода о трансцендентности $π и$ .

Число $е п - п и$

Как и в случае с $π и$ , неизвестно, является ли $e п - п и$ является трансцендентальным. Более того, не существует доказательств того, является ли это иррациональным.

Десятичное расширение для $e п - п и$ определяется A063504 :

e^{\pi }-\pi ^{e}=

0.681 534 914 418 223 532 301 934 163 404 812 352 676 791 108 603 519 744 242 043 855 457 416 310 291 334 871 198 452 244 340 406 1881 ...

Число $я я$

Используя главное значение комплексного логарифма , $i^{i}=(e^{i\pi /2})^{i}=e^{-\pi /2}=(e^{\pi })^{-1/2}$

Десятичное расширение задается A049006 :

i^{i}=

0.207 879 576 350 761 908 546 955 619 834 978 770 033 877 841 631 769 608 075 135 883 055 419 877 285 482 139 788 600 277 865 426 0353 ...

Благодаря эквивалентности мы можем использовать теорему Гельфонда-Шнайдера, чтобы доказать, что обратный квадратный корень из константы Гельфонда также трансцендентен:

$i$ является одновременно алгебраическим (решением многочлена $x 2 + 1 = 0$ ), а не рационально, следовательно, $i я$ является трансцендентальным.

См. также

Трансцендентное число
Трансцендентная теория чисел , изучение вопросов, связанных с трансцендентными числами.
Личность Эйлера
Константа Гельфонда – Шнайдера

Ссылки

^ Тайдеман, Роберт (1976). «О методе Гельфонда–Бейкера и его приложениях». В Феликсе Э. Браудере (ред.). Математические разработки, вытекающие из задач Гильберта . Труды симпозиумов по чистой математике . Том. ХXVIII.1. Американское математическое общество . стр. 241–268. ISBN 0-8218-1428-1 . Збл 0341.10026 .
^ Нестеренко Ю. (1996). «Модульные функции и проблемы трансцендентности». Доклады Академии наук, серия I. 322 (10): 909–914. Збл 0859.11047 .
^ Борвейн, Дж. ; Бейли, Д. (2004). Математика посредством эксперимента: правдоподобные рассуждения в XXI веке . Уэлсли, Массачусетс: АК Питерс. п. 137 . ISBN 1-56881-211-6 . Збл 1083.00001 .
^ Коннолли, Фрэнсис. Университет Нотр-Дам ^{[ нужна полная цитата ]}
^ Барроу, Джон Д. (2002). Константы природы . Лондон: Джонатан Кейп. п. 72. ИСБН 0-224-06135-6 .
^ Гарднер, Мартин (апрель 1975 г.). «Математические игры». Научный американец . 232 (4). Scientific American, Inc: 127. Бибкод : 1975SciAm.232e.102G . doi : 10.1038/scientificamerican0575-102 .

Дальнейшее чтение

Алан Бейкер и Гисберт Вюстхольц , Логарифмические формы и диофантова геометрия , Новые математические монографии 9 , Cambridge University Press, 2007, ISBN 978-0-521-88268-2

Внешние ссылки

[tijdeman-1] Тайдеман, Роберт (1976). «О методе Гельфонда–Бейкера и его приложениях». В Феликсе Э. Браудере (ред.). Математические разработки, вытекающие из задач Гильберта . Труды симпозиумов по чистой математике . Том. ХXVIII.1. Американское математическое общество . стр. 241–268. ISBN 0-8218-1428-1 . Збл 0341.10026 .

[2] Нестеренко Ю. (1996). «Модульные функции и проблемы трансцендентности». Доклады Академии наук, серия I. 322 (10): 909–914. Збл 0859.11047 .

[3] Борвейн, Дж. ; Бейли, Д. (2004). Математика посредством эксперимента: правдоподобные рассуждения в XXI веке . Уэлсли, Массачусетс: АК Питерс. п. 137 . ISBN 1-56881-211-6 . Збл 1083.00001 .

[4] Коннолли, Фрэнсис. Университет Нотр-Дам ^{[ нужна полная цитата ]}

[5] Барроу, Джон Д. (2002). Константы природы . Лондон: Джонатан Кейп. п. 72. ИСБН 0-224-06135-6 .

[6] Гарднер, Мартин (апрель 1975 г.). «Математические игры». Научный американец . 232 (4). Scientific American, Inc: 127. Бибкод : 1975SciAm.232e.102G . doi : 10.1038/scientificamerican0575-102 .

[1]

[2]

[3]

[4]

[5]

[6]