Лемниската постоянная

«Постоянная Гаусса» перенаправляется сюда. Чтобы узнать о параметре, используемом в орбитальной механике, см. Гравитационную постоянную Гаусса .

Лемниската Бернулли

В математике лемнискаты константа ϖ — трансцендентная математическая константа, представляющая собой отношение периметра лемнискаты к Бернулли ее диаметру , аналогично определению π для круга. Аналогично, периметр лемнискаты $(x^{2}+y^{2})^{2}=x^{2}-y^{2}$ составляет 2 ϖ . Константа лемниската тесно связана с эллиптическими функциями лемниската и примерно равна 2,62205755. Символ ϖ является рукописным вариантом буквы π ; см. Пи § Вариант пи .

Константа Гаусса , обозначаемая G , равна ϖ / π ≈ 0,8346268 .

Джон Тодд назвал еще две лемнискатные константы: первую лемнискатную константу A = ϖ /2 ≈ 1,3110287771 и вторую лемнискатную константу B = π /(2 ϖ ) ≈ 0,5990701173 .

Иногда величины 2 ϖ или A называют константой лемнискаты .

История

постоянная Гаусса $G$ назван в честь Карла Фридриха Гаусса , который вычислил его через среднее арифметико-геометрическое как ${\tfrac {1}{M\left(1,{\sqrt {2}}\right)}}$. К 1799 году у Гаусса было два доказательства теоремы о том, что $M\left(1,{\sqrt {2}}\right)={\tfrac {\pi }{\varpi }}$ где $\varpi$ – константа лемнискаты.

Лемнискатная константа $\varpi$ и первая константа лемнискаты $A$ были доказаны трансцендентными в Теодором Шнайдером 1937 году, а вторая константа лемнискаты $B$ и постоянная Гаусса $G$ трансцендентность была доказана Теодором Шнайдером в 1941 году. В 1975 году Григорий Чудновский доказал, что множество $\{\pi ,\varpi \}$ независима алгебраически над $\mathbb {Q}$, что означает, что $A$ и $B$ также алгебраически независимы. Но набор $\left\{\pi ,M\left(1,{\tfrac {1}{\sqrt {2}}}\right),M'\left(1,{\tfrac {1}{\sqrt {2}}}\right)\right\}$ (где штрих обозначает производную по второй переменной) не является алгебраически независимым над $\mathbb {Q}$. Фактически,

$$\pi =2{\sqrt {2}}{\frac {M^{3}\left(1,{\frac {1}{\sqrt {2}}}\right)}{M'\left(1,{\frac {1}{\sqrt {2}}}\right)}}={\frac {1}{G^{3}M'\left(1,{\frac {1}{\sqrt {2}}}\right)}}.$$

Формы

Обычно, $\varpi$ определяется первым равенством ниже.

$${\begin{aligned}\varpi &=2\int _{0}^{1}{\frac {\mathrm {d} t}{\sqrt {1-t^{4}}}}={\sqrt {2}}\int _{0}^{\infty }{\frac {\mathrm {d} t}{\sqrt {1+t^{4}}}}=\int _{0}^{1}{\frac {\mathrm {d} t}{\sqrt {t-t^{3}}}}=\int _{1}^{\infty }{\frac {\mathrm {d} t}{\sqrt {t^{3}-t}}}\\[6mu]&=4\int _{0}^{\infty }\left({\sqrt[{4}]{1+t^{4}}}-t\right)\,\mathrm {d} t=2{\sqrt {2}}\int _{0}^{1}{\sqrt[{4}]{1-t^{4}}}\mathop {\mathrm {d} t} =3\int _{0}^{1}{\sqrt {1-t^{4}}}\,\mathrm {d} t\\[2mu]&=2K(i)={\tfrac {1}{2}}\mathrm {B} \left({\tfrac {1}{4}},{\tfrac {1}{2}}\right)={\frac {\Gamma \left({\frac {1}{4}}\right)^{2}}{2{\sqrt {2\pi }}}}={\frac {2-{\sqrt {2}}}{4}}{\frac {\zeta \left({\frac {3}{4}}\right)^{2}}{\zeta \left({\frac {1}{4}}\right)^{2}}}\\[5mu]&=2.62205\;75542\;92119\;81046\;48395\;89891\;11941\ldots ,\end{aligned}}$$

где К — полный эллиптический интеграл первого рода с модулем к , В — бета-функция , Г — гамма-функция и z — дзета-функция Римана .

Константу лемнискаты также можно вычислить как среднее арифметико-геометрическое. $M$,

$$\varpi ={\frac {\pi }{M\left(1,{\sqrt {2}}\right)}}.$$

Более того,

$$e^{\beta '(0)}={\frac {\varpi }{\sqrt {\pi }}}$$

что аналогично

$$e^{\zeta '(0)}={\frac {1}{\sqrt {2\pi }}}$$

где $\beta$ – бета-функция Дирихле и $\zeta$ — дзета-функция Римана .

Константа Гаусса обычно определяется как обратная величина среднего арифметико-геометрического числа 1 и квадратного корня из 2 после его вычисления $M\left(1,{\sqrt {2}}\right)$ опубликовано в 1800 году:

$$G={\frac {1}{M(1,{\sqrt {2}})}}$$

Постоянная Гаусса равна

$$G={\frac {1}{2\pi }}\mathrm {B} \left({\tfrac {1}{4}},{\tfrac {1}{2}}\right)$$

где В обозначает бета-функцию . Формула для G в терминах тэта-функций Якоби имеет вид

$$G=\vartheta _{01}^{2}\left(e^{-\pi }\right)$$

Константа Гаусса может быть вычислена из гамма-функции в аргументе 1 / 4 :

$$G={\frac {\Gamma \left({\tfrac {1}{4}}\right){}^{2}}{2{\sqrt {2\pi ^{3}}}}}$$

Константы лемнискаты Джона Тодда можно выразить через бета-функцию B:

$${\begin{aligned}A&={\tfrac {1}{2}}\pi G={\tfrac {1}{2}}\varpi ={\tfrac {1}{4}}\mathrm {B} \left({\tfrac {1}{4}},{\tfrac {1}{2}}\right),\\[3mu]B&={\frac {1}{2G}}={\tfrac {1}{4}}\mathrm {B} \left({\tfrac {1}{2}},{\tfrac {3}{4}}\right).\end{aligned}}$$

Серия

Формулу Вьета для числа π можно записать так:

$${\frac {2}{\pi }}={\sqrt {\frac {1}{2}}}\cdot {\sqrt {{\frac {1}{2}}+{\frac {1}{2}}{\sqrt {\frac {1}{2}}}}}\cdot {\sqrt {{\frac {1}{2}}+{\frac {1}{2}}{\sqrt {{\frac {1}{2}}+{\frac {1}{2}}{\sqrt {\frac {1}{2}}}}}}}\cdots$$

Аналогичная формула для ϖ :

$${\frac {2}{\varpi }}={\sqrt {\frac {1}{2}}}\cdot {\sqrt {{\frac {1}{2}}+{\frac {\frac {1}{2}}{\sqrt {\frac {1}{2}}}}}}\cdot {\sqrt {{\frac {1}{2}}+{\frac {\frac {1}{2}}{\sqrt {{\frac {1}{2}}+{\frac {\frac {1}{2}}{\sqrt {\frac {1}{2}}}}}}}}}\cdots$$

Произведение Уоллиса для π :

$${\frac {\pi }{2}}=\prod _{n=1}^{\infty }\left(1+{\frac {1}{n}}\right)^{(-1)^{n+1}}=\prod _{n=1}^{\infty }\left({\frac {2n}{2n-1}}\cdot {\frac {2n}{2n+1}}\right)=\left({\frac {2}{1}}\cdot {\frac {2}{3}}\right)\left({\frac {4}{3}}\cdot {\frac {4}{5}}\right)\left({\frac {6}{5}}\cdot {\frac {6}{7}}\right)\cdots$$

Аналогичная формула для ϖ :

$${\frac {\varpi }{2}}=\prod _{n=1}^{\infty }\left(1+{\frac {1}{2n}}\right)^{(-1)^{n+1}}=\prod _{n=1}^{\infty }\left({\frac {4n-1}{4n-2}}\cdot {\frac {4n}{4n+1}}\right)=\left({\frac {3}{2}}\cdot {\frac {4}{5}}\right)\left({\frac {7}{6}}\cdot {\frac {8}{9}}\right)\left({\frac {11}{10}}\cdot {\frac {12}{13}}\right)\cdots$$

Связанный результат для постоянной Гаусса ( $G={\tfrac {\varpi }{\pi }}$) является:

$$G=\prod _{n=1}^{\infty }\left({\frac {4n-1}{4n}}\cdot {\frac {4n+2}{4n+1}}\right)=\left({\frac {3}{4}}\cdot {\frac {6}{5}}\right)\left({\frac {7}{8}}\cdot {\frac {10}{9}}\right)\left({\frac {11}{12}}\cdot {\frac {14}{13}}\right)\cdots$$

Бесконечная серия констант Гаусса, открытая Гауссом:

$$G=\sum _{n=0}^{\infty }(-1)^{n}\prod _{k=1}^{n}{\frac {(2k-1)^{2}}{(2k)^{2}}}=1-{\frac {1^{2}}{2^{2}}}+{\frac {1^{2}\cdot 3^{2}}{2^{2}\cdot 4^{2}}}-{\frac {1^{2}\cdot 3^{2}\cdot 5^{2}}{2^{2}\cdot 4^{2}\cdot 6^{2}}}+\cdots$$

Формула Мачина для π : ${\textstyle {\tfrac {1}{4}}\pi =4\arctan {\tfrac {1}{5}}-\arctan {\tfrac {1}{239}},}$ и несколько подобных формул для π можно получить, используя тождества суммы тригонометрических углов, например, формулу Эйлера ${\textstyle {\tfrac {1}{4}}\pi =\arctan {\tfrac {1}{2}}+\arctan {\tfrac {1}{3}}}$. Аналогичные формулы могут быть разработаны для ϖ , включая следующие, найденные Гауссом: ${\tfrac {1}{2}}\varpi =2\operatorname {arcsl} {\tfrac {1}{2}}+\operatorname {arcsl} {\tfrac {7}{23}}$, где $\operatorname {arcsl}$ — лемниската арксинус .

Константу лемнискаты можно быстро вычислить по ряду

$\varpi ={\frac {1}{\sqrt {2}}}\pi \left(\sum _{n\in \mathbb {Z} }e^{-\pi n^{2}}\right)^{2}={\sqrt[{4}]{2}}\pi e^{-{\frac {\pi }{12}}}\left(\sum _{n\in \mathbb {Z} }(-1)^{n}e^{-\pi p_{n}}\right)^{2}$

где $p_{n}={\tfrac {3n^{2}-n}{2}}$ (это обобщенные пятиугольные числа ).

В духе, аналогичном Базельской проблеме ,

$\sum _{z\in \mathbb {Z} [i]\setminus \{0\}}{\frac {1}{z^{4}}}=G_{4}(i)={\frac {\varpi ^{4}}{15}}$

где $\mathbb {Z} [i]$ являются гауссовскими целыми числами и $G_{4}$ представляет собой ряд Эйзенштейна веса 4 ( см. в разделе «Эллиптические функции Лемнискаты § Числа Гурвица »). более общий результат

Соответствующий результат

$\sum _{n=1}^{\infty }\sigma _{3}(n)e^{-2\pi n}={\frac {\varpi ^{4}}{80\pi ^{4}}}-{\frac {1}{240}}$

где $\sigma _{3}$ представляет собой функцию суммы положительных делителей .

В 1842 году Мальмстен нашел

$\sum _{n=1}^{\infty }(-1)^{n+1}{\frac {\log(2n+1)}{2n+1}}={\frac {\pi }{4}}\left(\gamma +2\log {\frac {\pi }{\varpi {\sqrt {2}}}}\right)$

где $\gamma$ — постоянная Эйлера .

Константа Гаусса определяется быстро сходящимся рядом

$$G={\sqrt[{4}]{32}}e^{-{\frac {\pi }{3}}}\left(\sum _{n=-\infty }^{\infty }(-1)^{n}e^{-2n\pi (3n+1)}\right)^{2}.$$

Константа также определяется бесконечным произведением

$G=\prod _{m=1}^{\infty }\tanh ^{2}\left({\frac {\pi m}{2}}\right).$

Цепные дроби

(Обобщенная) цепная дробь для π равна

$${\frac {\pi }{2}}=1+{\cfrac {1}{1+{\cfrac {1\cdot 2}{1+{\cfrac {2\cdot 3}{1+{\cfrac {3\cdot 4}{1+\ddots }}}}}}}}$$

Аналогичная формула для ϖ :

$${\frac {\varpi }{2}}=1+{\cfrac {1}{2+{\cfrac {2\cdot 3}{2+{\cfrac {4\cdot 5}{2+{\cfrac {6\cdot 7}{2+\ddots }}}}}}}}$$

Определите Брункера непрерывную дробь с помощью

$$b(s)=s+{\cfrac {1^{2}}{2s+{\cfrac {3^{2}}{2s+{\cfrac {5^{2}}{2s+\ddots }}}}}},\quad s>0.$$

Позволять $n\geq 0$ кроме первого равенства, где $n\geq 1$. Затем

$${\begin{aligned}b(4n)&=(4n+1)\prod _{k=1}^{n}{\frac {(4k-1)^{2}}{(4k-3)(4k+1)}}{\frac {\pi }{\varpi ^{2}}}\\b(4n+1)&=(2n+1)\prod _{k=1}^{n}{\frac {(2k)^{2}}{(2k-1)(2k+1)}}{\frac {4}{\pi }}\\b(4n+2)&=(4n+1)\prod _{k=1}^{n}{\frac {(4k-3)(4k+1)}{(4k-1)^{2}}}{\frac {\varpi ^{2}}{\pi }}\\b(4n+3)&=(2n+1)\prod _{k=1}^{n}{\frac {(2k-1)(2k+1)}{(2k)^{2}}}\,\pi .\end{aligned}}$$

Например,

$${\begin{aligned}b(1)&={\frac {4}{\pi }}\\b(2)&={\frac {\varpi ^{2}}{\pi }}\\b(3)&=\pi \\b(4)&={\frac {9\pi }{\varpi ^{2}}}.\end{aligned}}$$

Простые цепные дроби

$${\begin{aligned}\varpi &=[2,1,1,1,1,1,4,1,2,\ldots ]\\2\varpi &=[5,4,10,2,1,2,3,29,\ldots ]\\{\frac {\varpi }{2}}&=[1,3,4,1,1,1,5,2,\ldots ]\\G&=[0,1,5,21,3,4,14,\ldots ]\end{aligned}}$$

Интегралы

Геометрическое представление $\varpi /2$ и $\varpi /{\sqrt {2}}$

ϖ относится к площади под кривой $x^{4}+y^{4}=1$. Определение $\pi _{n}\mathrel {:=} \mathrm {B} \left({\tfrac {1}{n}},{\tfrac {1}{n}}\right)$, вдвое больше площади в положительном квадранте под кривой $x^{n}+y^{n}=1$ является

$$2\int _{0}^{1}{\sqrt[{n}]{1-x^{n}}}\mathop {\mathrm {d} x} ={\tfrac {1}{n}}\pi _{n}.$$

В квартическом случае ${\tfrac {1}{4}}\pi _{4}={\tfrac {1}{\sqrt {2}}}\varpi .$

В 1842 году Мальмстен обнаружил, что

$$\int _{0}^{1}{\frac {\log(-\log x)}{1+x^{2}}}\,dx={\frac {\pi }{2}}\log {\frac {\pi }{\varpi {\sqrt {2}}}}.$$

Более того,

$$\int _{0}^{\infty }{\frac {\tanh x}{x}}e^{-x}\,dx=\log {\frac {\varpi ^{2}}{\pi }}$$

и

$$\int _{0}^{\infty }e^{-x^{4}}\,dx={\frac {\sqrt {2\varpi {\sqrt {2\pi }}}}{4}},\quad {\text{analogous to}}\,\int _{0}^{\infty }e^{-x^{2}}\,dx={\frac {\sqrt {\pi }}{2}},$$

разновидность интеграла Гаусса .

Константа Гаусса появляется при вычислении интегралов

$${\frac {1}{G}}=\int _{0}^{\frac {\pi }{2}}{\sqrt {\sin(x)}}\,dx=\int _{0}^{\frac {\pi }{2}}{\sqrt {\cos(x)}}\,dx$$

$$G=\int _{0}^{\infty }{\frac {dx}{\sqrt {\cosh(\pi x)}}}$$

Первая и вторая константы лемнискаты определяются интегралами:

$$A=\int _{0}^{1}{\frac {dx}{\sqrt {1-x^{4}}}}$$

$$B=\int _{0}^{1}{\frac {x^{2}\,dx}{\sqrt {1-x^{4}}}}$$

Длина окружности эллипса

Постоянная Гаусса удовлетворяет уравнению

$${\frac {1}{G}}=2\int _{0}^{1}{\frac {x^{2}\,dx}{\sqrt {1-x^{4}}}}$$

Эйлер открыл в 1738 году, что для прямоугольной эластики (первая и вторая константы лемнискаты)

$${\textrm {arc}}\ {\textrm {length}}\cdot {\textrm {height}}=A\cdot B=\int _{0}^{1}{\frac {\mathrm {d} x}{\sqrt {1-x^{4}}}}\cdot \int _{0}^{1}{\frac {x^{2}\mathop {\mathrm {d} x} }{\sqrt {1-x^{4}}}}={\frac {\varpi }{2}}\cdot {\frac {\pi }{2\varpi }}={\frac {\pi }{4}}$$

Теперь учитывая окружность $C$ эллипса с осями ${\sqrt {2}}$ и $1$, удовлетворяя $2x^{2}+4y^{2}=1$Стирлинг отметил, что

$${\frac {C}{2}}=\int _{0}^{1}{\frac {dx}{\sqrt {1-x^{4}}}}+\int _{0}^{1}{\frac {x^{2}\,dx}{\sqrt {1-x^{4}}}}$$

Следовательно, полная окружность равна

$$C={\frac {1}{G}}+G\pi \approx 3.820197789\ldots$$

Это также длина дуги синусоиды на половине периода:

$$C=\int _{0}^{\pi }{\sqrt {1+\cos ^{2}(x)}}\,dx$$

Другие ограничения

Аналогично

$$2\pi =\lim _{n\to \infty }\left|{\frac {(2n)!}{\mathrm {B} _{2n}}}\right|^{\frac {1}{2n}}$$

где $\mathrm {B} _{n}$ являются числами Бернулли , мы имеем

$$2\varpi =\lim _{n\to \infty }\left({\frac {(4n)!}{\mathrm {H} _{4n}}}\right)^{\frac {1}{4n}}$$

где $\mathrm {H} _{n}$ являются числами Гурвица .

Ссылки

• Вайсштейн, Эрик В. «Постоянная Гаусса» . Математический мир .
• Последовательности A014549, A053002 и A062539 в OEIS.
• Кокс, Дэвид А. (январь 1984 г.). «Среднее арифметико-геометрическое Гаусса» (PDF) . L'Enseignement Mathématique . 30 (2): 275–330. doi : 10.5169/seals-53831 . Проверено 25 июня 2022 г.

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

• «Постоянная Гаусса и где она встречается» . www.johndcook.com . 2021-10-17.