دالة أويلر

مخطط تلوين المجال لـ ϕ على المستوى المركب
دالة أويلرϕ(x){\displaystyle \phi (x)}.

في الرياضيات ، تُعطى دالة أويلر بالصيغة التالية:

ϕ(q)=ك=1(1-qك)،|q|<1.{\displaystyle \phi (q)=\prod _{k=1}^{\infty }(1-q^{k}),\quad |q|<1.}

سميت على اسم ليونارد أويلر ، وهي مثال نموذجي لسلسلة q وتقدم المثال النموذجي للعلاقة بين التوافقية والتحليل المركب .

ملكيات

المعاملص(ك){\displaystyle p(k)}في توسيع سلسلة القوى الرسمية لـ1/ϕ(q){\displaystyle 1/\phi (q)}يُعطي عدد تقسيمات k . أي،

1ϕ(q)=ك=0ص(ك)qك{\displaystyle {\frac {1}{\phi (q)}}=\sum _{k=0}^{\infty }p(k)q^{k}}

أينص{\displaystyle p}هي دالة التقسيم .

متطابقة أويلر ، والمعروفة أيضًا باسم نظرية الأعداد الخماسية ، هي

ϕ(q)=ن=-(-1)نq(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 (e^{2\pi i\tau })=e^{-\pi i\tau /12}\eta (\tau ).}

يمكن التعبير عن دالة أويلر كرمز بوخامر- q :

ϕ(q)=(q؛q).{\displaystyle \phi (q)=(q;q)_{\infty }.}

إن لوغاريتم دالة أويلر هو مجموع اللوغاريتمات في عبارة الضرب، والتي يمكن توسيع كل منها حول q = 0، مما ينتج عنه

ln(ϕ(q))=-ن=11نqن1-qن،{\displaystyle \ln(\phi (q))=-\sum _{n=1}^{\infty }{\frac {1}{n}}\,{\frac {q^{n}}{1-q^{n}}},}

وهي متسلسلة لامبرت بمعاملات -1/ n . وبالتالي، يمكن التعبير عن لوغاريتم دالة أويلر على النحو التالي:

ln(ϕ(q))=ن=1بنqن{\displaystyle \ln(\phi (q))=\sum _{n=1}^{\infty }b_{n}q^{n}}

أينبن=-د|ن1د={\displaystyle b_{n}=-\sum _{d|n}{\frac {1}{d}}=}-[1/1, 3/2, 4/3, 7/4, 6/5, 12/6, 8/7, 15/8, 13/9, 18/10, ...] (انظر OEIS A000203 )

بسبب الهويةσ(ن)=د|ند=د|نند{\displaystyle \sigma (n)=\sum _{d|n}d=\sum _{d|n}{\frac {n}{d}}}، أينσ(ن){\displaystyle \sigma (n)}هي دالة مجموع القواسم ، ويمكن كتابتها أيضاً على النحو التالي:

ln(ϕ(q))=-ن=1σ(ن)ن qن{\displaystyle \ln(\phi (q))=-\sum _{n=1}^{\infty }{\frac {\sigma (n)}{n}}\ q^{n}}.

أيضًا إذاأ،بR+{\displaystyle a,b\in \mathbb {R} ^{+}}وأب=π2{\displaystyle ab=\pi ^{2}}ثم [ 1 ]

أ1/4هـ-أ/12ϕ(هـ-2أ)=ب1/4هـ-ب/12ϕ(هـ-2ب).{\displaystyle a^{1/4}e^{-a/12}\phi (e^{-2a})=b^{1/4}e^{-b/12}\phi (e^{-2b}).}

القيم الخاصة

تأتي الهويات التالية من دفاتر رامانوجان : [ 2 ]

ϕ(هـ-π)=هـπ/24Γ(14)27/8π3/4{\displaystyle \phi (e^{-\pi })={\frac {e^{\pi /24}\Gamma \left({\frac {1}{4}}\right)}{2^{7/8}\pi ^{3/4}}}}
ϕ(هـ-2π)=هـπ/12Γ(14)2π3/4{\displaystyle \phi (e^{-2\pi })={\frac {e^{\pi /12}\Gamma \left({\frac {1}{4}}\right)}{2\pi ^{3/4}}}}
ϕ(هـ-4π)=هـπ/6Γ(14)211/8π3/4{\displaystyle \phi (e^{-4\pi })={\frac {e^{\pi /6}\Gamma \left({\frac {1}{4}}\right)}{2^{{11}/8}\pi ^{3/4}}}}
ϕ(هـ-8π)=هـπ/3Γ(14)229/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 ].

01ϕ(q)دq=8323πسينه(23π6)2ضرب بالعصا(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}}.}

مراجع

  1. بيرندت، ب. وآخرون. "الكسر المستمر لروجر-رامانوجان"
  2. بيرندت، بروس سي. (1998). دفاتر رامانوجان، الجزء الخامس . سبرينغر. ISBN 978-1-4612-7221-2.ص 326
  3. سلون، ن. ج. أ. (محرر). "المتتالية A258232" . الموسوعة الإلكترونية لمتتاليات الأعداد الصحيحة . مؤسسة OEIS.  
  • أبوستول، توم م. (1976)، مقدمة في نظرية الأعداد التحليلية ، نصوص جامعية في الرياضيات، نيويورك-هايدلبرغ: سبرينغر-فيرلاغ، ISBN 978-0-387-90163-3، MR 0434929 ، Zbl 0335.10001