Математическая функция
График раскраски области φ на комплексной плоскости В математике функция Эйлера определяется выражением
φ ( д ) "=" ∏ к "=" 1 ∞ ( 1 − д к ) , | д | < 1. {\displaystyle \phi (q)=\prod _{k=1}^{\infty }(1-q^{k}),\quad |q|<1.} Названный в честь Леонарда Эйлера , он является модельным примером q -ряда и представляет собой прототипный пример связи между комбинаторикой и комплексным анализом .
Характеристики Коэффициент формального разложения в степенной ряд дает количество разбиений k . То есть, п ( к ) {\ displaystyle p (k)} 1 / φ ( д ) {\displaystyle 1/\фи (q)}
1 φ ( д ) "=" ∑ к "=" 0 ∞ п ( к ) д к {\displaystyle {\frac {1}{\phi (q)}}=\sum _{k=0}^{\infty }p(k)q^{k}} где статистическая сумма . п {\ displaystyle p}
Тождество Эйлера , также известное как теорема о пятиугольных числах , представляет собой
φ ( д ) "=" ∑ н "=" − ∞ ∞ ( − 1 ) н д ( 3 н 2 − н ) / 2 . {\displaystyle \phi (q)=\sum _{n=-\infty }^{\infty }(-1)^{n}q^{(3n^{2}-n)/2}.} ( 3 н 2 − н ) / 2 {\displaystyle (3n^{2}-n)/2} является пятиугольным числом .
Функция Эйлера связана с эта-функцией Дедекинда следующим образом:
φ ( е 2 π я τ ) "=" е − π я τ / 12 η ( τ ) . {\displaystyle \phi (е^{2\pi я\тау})=е^{-\pi я\тау /12}\эта (\тау).} Функцию Эйлера можно выразить в виде символа q -Похгаммера :
φ ( д ) "=" ( д ; д ) ∞ . {\displaystyle \phi (q)=(q;q)_{\infty }.} Логарифм функции Эйлера — это сумма логарифмов в выражении произведения, каждый из которых можно разложить примерно до q = 0, что дает
Ин ( φ ( д ) ) "=" − ∑ н "=" 1 ∞ 1 н д н 1 − д н , {\displaystyle \ln(\phi (q))=-\sum _{n=1}^{\infty }{\frac {1}{n}}\,{\frac {q^{n}}{1-q^{n}}},} который представляет собой ряд Ламберта с коэффициентами -1/ n . Таким образом, логарифм функции Эйлера можно выразить как
ln ( ϕ ( q ) ) = ∑ n = 1 ∞ b n q n {\displaystyle \ln(\phi (q))=\sum _{n=1}^{\infty }b_{n}q^{n}} где -[1/1, 3/2, 4/3, 7/4, 6/5, 12/6, 8/7, 15/8, 13/9, 18/10, ...] (см. OEIS А000203) b n = − ∑ d | n 1 d = {\displaystyle b_{n}=-\sum _{d|n}{\frac {1}{d}}=}
Ввиду тождества , где – функция суммы делителей , это также можно записать как σ ( n ) = ∑ d | n d = ∑ d | n n d {\displaystyle \sigma (n)=\sum _{d|n}d=\sum _{d|n}{\frac {n}{d}}} σ ( n ) {\displaystyle \sigma (n)}
ln ( ϕ ( q ) ) = − ∑ n = 1 ∞ σ ( n ) n q n {\displaystyle \ln(\phi (q))=-\sum _{n=1}^{\infty }{\frac {\sigma (n)}{n}}\ q^{n}} .Также если и , то [1] a , b ∈ R + {\displaystyle a,b\in \mathbb {R} ^{+}} a b = π 2 {\displaystyle ab=\pi ^{2}}
a 1 / 4 e − a / 12 ϕ ( e − 2 a ) = b 1 / 4 e − b / 12 ϕ ( e − 2 b ) . {\displaystyle a^{1/4}e^{-a/12}\phi (e^{-2a})=b^{1/4}e^{-b/12}\phi (e^{-2b}).} Особые значения Следующие личности взяты из «Записных книжек» Рамануджана : [2]
ϕ ( e − π ) = e π / 24 Γ ( 1 4 ) 2 7 / 8 π 3 / 4 {\displaystyle \phi (e^{-\pi })={\frac {e^{\pi /24}\Gamma \left({\frac {1}{4}}\right)}{2^{7/8}\pi ^{3/4}}}} ϕ ( e − 2 π ) = e π / 12 Γ ( 1 4 ) 2 π 3 / 4 {\displaystyle \phi (e^{-2\pi })={\frac {e^{\pi /12}\Gamma \left({\frac {1}{4}}\right)}{2\pi ^{3/4}}}} ϕ ( e − 4 π ) = e π / 6 Γ ( 1 4 ) 2 11 / 8 π 3 / 4 {\displaystyle \phi (e^{-4\pi })={\frac {e^{\pi /6}\Gamma \left({\frac {1}{4}}\right)}{2^{{11}/8}\pi ^{3/4}}}} ϕ ( e − 8 π ) = e π / 3 Γ ( 1 4 ) 2 29 / 16 π 3 / 4 ( 2 − 1 ) 1 / 4 {\displaystyle \phi (e^{-8\pi })={\frac {e^{\pi /3}\Gamma \left({\frac {1}{4}}\right)}{2^{29/16}\pi ^{3/4}}}({\sqrt {2}}-1)^{1/4}} Используя теорему о пятиугольных числах , меняя местами сумму и интеграл , а затем применяя комплексно-аналитические методы, можно получить [3]
∫ 0 1 ϕ ( q ) d q = 8 3 23 π sinh ( 23 π 6 ) 2 cosh ( 23 π 3 ) − 1 . {\displaystyle \int _{0}^{1}\phi (q)\,\mathrm {d} q={\frac {8{\sqrt {\frac {3}{23}}}\pi \sinh \left({\frac {{\sqrt {23}}\pi }{6}}\right)}{2\cosh \left({\frac {{\sqrt {23}}\pi }{3}}\right)-1}}.} Рекомендации Апостол, Том М. (1976), Введение в аналитическую теорию чисел , Тексты для студентов по математике, Нью-Йорк-Гейдельберг: Springer-Verlag, ISBN 978-0-387-90163-3 , МР 0434929, Збл 0335.10001