أرقام أويلر

في الرياضيات ، أعداد أويلر هي متتالية من الأعداد الصحيحة E <sub>n</sub> (المتتالية A122045 في OEIS ) تُعرَّف بواسطة متسلسلة تايلور1ضرب بالعصات=2هـت+هـ-ت=ن=0هـنن!تن،{\displaystyle {\frac {1}{\cosh t}}={\frac {2}{e^{t}+e^{-t}}}=\sum _{n=0}^{\infty }{\frac {E_{n}}{n!}}\cdot t^{n},} أينضرب بالعصا(ت){\displaystyle \cosh(t)}هي دالة جيب التمام الزائدية . ترتبط أعداد أويلر بقيمة خاصة لكثيرات حدود أويلر ، وهي: هـن=2نهـن(12).{\displaystyle E_{n}=2^{n}E_{n}({\tfrac {1}{2}}).}

تظهر أعداد أويلر في متسلسلات تايلور لتوسيع دالتي القاطع والقاطع الزائدي . وهذه الأخيرة هي الدالة المذكورة في التعريف. كما تظهر أيضًا في علم التوافيق ، وتحديدًا عند حساب عدد التباديل المتناوبة لمجموعة ذات عدد زوجي من العناصر.

أمثلة

جميع أعداد أويلر ذات الفهرس الفردي تساوي صفرًا . أما الأعداد ذات الفهرس الزوجي (المتتالية A028296 في OEIS ) فلها إشارات متناوبة. بعض هذه القيم هي:

E 0=1
E 2=-1
E 4=5
E 6=-61
E 8=1 385
E 10=-50 521
E 12=2702765
E 14=-199 360 981
E 16=19 391 512 145
E 18=-2 404 879 675 441

يقوم بعض المؤلفين بإعادة فهرسة المتتالية لحذف أعداد أويلر الفردية ذات القيمة الصفرية، أو لتغيير جميع الإشارات إلى موجبة (المتتالية A000364 في OEIS ) . تلتزم هذه المقالة بالاتفاقية المعتمدة أعلاه.

صيغ صريحة

من حيث أعداد ستيرلينغ من النوع الثاني

تعبر الصيغتان التاليتان عن أعداد أويلر بدلالة أعداد ستيرلينغ من النوع الثاني : [ 1 ] [ 2 ]

هـن=22ن-1=1ن(-1)S(ن،)+1(3(14).¯-(34).¯)،{\displaystyle E_{n}=2^{2n-1}\sum _{\ell =1}^{n}{\frac {(-1)^{\ell }S(n,\ell )}{\ell +1}}\left(3\left({\frac {1}{4}}\right)^{\overline {\ell {\phantom {.}}}}-\left({\frac {3}{4}}\right)^{\overline {\ell {\phantom {.}}}}\right),}
هـ2ن=-42ن=12ن(-1)S(2ن،)+1(34).¯،{\displaystyle E_{2n}=-4^{2n}\sum _{\ell =1}^{2n}(-1)^{\ell }\cdot {\frac {S(2n,\ell )}{\ell +1}}\cdot \left({\frac {3}{4}}\right)^{\overline {\ell {\phantom {.}}}},}

أينS(ن،){\displaystyle S(n,\ell )}تشير إلى أعداد ستيرلينغ من النوع الثاني ، وx.¯=(x)(x+1)(x+-1){\displaystyle x^{\overline {\ell {\phantom {.}}}}=(x)(x+1)\cdots (x+\ell -1)}يشير إلى المضروب المتزايد .

كعملية تكرارية

يمكن تعريف أعداد أويلر من خلال التكرار

هـ2ن=-ك=1ن(2ن2ك)هـ2(ن-ك)،{\displaystyle E_{2n}=-\sum _{k=1}^{n}{\binom {2n}{2k}}E_{2(nk)},}

أو ما يعادل ذلك

1=-ك=1ن(2ن2ك)هـ2ك،{\displaystyle 1=-\sum _{k=1}^{n}{\binom {2n}{2k}}E_{2k},}

يمكن إيجاد كلتا هاتين العلاقتين التكراريتين باستخدام حقيقة أن

كوس(x)ثانية(x)=1.{\displaystyle \cos(x)\sec(x)=1.}

كمجموع مزدوج

تعبر الصيغتان التاليتان عن أعداد أويلر كمجموعات مزدوجة [ 3 ]

هـ2ن=(2ن+1)=02ن(-1)12(+1)(2ن)q=0(q)(2q-)2ن،$
هـ2ن=ك=02ن(-1)ك12ك=02ك(-1)(2ك)(ك-)2ن.{\displaystyle E_{2n}=\sum _{k=0}^{2n}(-1)^{k}{\frac {1}{2^{k}}}\sum _{\ell =0}^{2k}(-1)^{\ell }{\binom {2k}{\ell }}(k-\ell )^{2n}.}

كمجموع متكرر

الصيغة الصريحة لأعداد أويلر هي

هـ2ن=أناك=12ن+1=0ك(ك)(-1)(ك-2)2ن+12كأناكك،{\displaystyle E_{2n}=i\sum _{k=1}^{2n+1}\sum _{\ell =0}^{k}{\binom {k}{\ell }}{\frac {(-1)^{\ell }(k-2\ell )^{2n+1}}{2^{k}i^{k}k}},}

حيث يرمز i إلى الوحدة التخيلية مع i 2 = −1 . [ 4 ]

كمجموع على التقسيمات

يمكن التعبير عن عدد أويلر E 2 n كمجموع على التقسيمات الزوجية لـ 2 n ، [ 5 ]

هـ2ن=(2ن)!0ك1،...،كنن(كك1،...،كن)دلتان،مكم(-12!)ك1(-14!)ك2(-1(2ن)!)كن،{\displaystyle E_{2n}=(2n)!\sum _{0\leq k_{1},\ldots ,k_{n}\leq n}{\binom {K}{k_{1},\ldots ,k_{n}}}\delta _{n,\sum mk_{m}}\left(-{\frac {1}{2!}}\right)^{k_{1}}\left(-{\frac {1}{4!}}\right)^{k_{2}}\cdots \left(-{\frac {1}{(2n)!}}\right)^{k_{n}},}

بالإضافة إلى مجموع على التقسيمات الفردية لـ 2 n − 1 ، [ 6 ]

هـ2ن=(-1)ن-1(2ن-1)!0ك1،...،كن2ن-1(كك1،...،كن)دلتا2ن-1،(2م-1)كم(-11!)ك1(13!)ك2((-1)ن(2ن-1)!)كن،{\displaystyle E_{2n}=(-1)^{n-1}(2n-1)!\sum _{0\leq k_{1},\ldots ,k_{n}\leq 2n-1}{\binom {K}{k_{1},\ldots ,k_{n}}}\delta _{2n-1,\sum (2m-1)k_{m}}\left(-{\frac {1}{1!}}\right)^{k_{1}}\left({\frac {1}{3!}}\right)^{k_{2}}\cdots \left({\frac {(-1)^{n}}{(2n-1)!}}\right)^{k_{n}},}

حيث في كلتا الحالتين K = k 1 + ··· + k n و

(كك1،...،كن)ك!ك1!كن!{\displaystyle {\binom {K}{k_{1},\ldots ,k_{n}}}\equiv {\frac {K!}{k_{1}!\cdots k_{n}!}}}

هو معامل متعدد الحدود . تقيد دلتا كرونكر في الصيغ أعلاه المجاميع على k s إلى 2 k 1 + 4 k 2 + ... + 2 nk n = 2 n وإلى k 1 + 3 k 2 + ... + (2 n − 1) k n = 2 n − 1 ، على التوالي.

على سبيل المثال،

هـ10=10!(-110!+22!8!+24!6!-32!26!-32!4!2+42!34!-12!5)=9!(-19!+31!27!+61!3!5!+13!3-51!45!-101!33!2+71!63!-11!9)=-50521.\displaystyle \begin{aligned}E_{10}&=10!\left(-{\frac {1}{10!}}+{\frac {2}{2!\,8!}}+{\frac {2}{4!\,6!}}-{\frac {3}{2!^{2}\,6!}}-{\frac {3}{2!\,4!^{2}}}+{\frac {4}{2!^{3}\,4!}}-{\frac {1}{2!^{5}}}\right)\\[6pt]&=9!\left(-{\frac {1}{9!}}+{\frac {3}{1!^{2}\,7!}}+{\frac {6}{1!\,3!\,5!}}+{\frac {1}{3!^{3}}}-{\frac {5}{1!^{4}\,5!}}-{\frac {10}{1!^{3}\,3!^{2}}}+{\frac {7}{1!^{6}\,3!}}-{\frac {1}{1!^{9}}}\right)\\[6pt]&=-50\,521.\end{aligned}}}

كعامل حاسم

E 2 n معطى بواسطة المحدد

هـ2ن=(-1)ن(2ن)! |12!1   14!12!1        1(2ن-2)!1(2ن-4)! 12!11(2ن)!1(2ن-2)!14!12!|.{\displaystyle {\begin{aligned}E_{2n}&=(-1)^{n}(2n)!~{\begin{vmatrix}{\frac {1}{2!}}&1&~&~&~\\{\frac {1}{4!}}&{\frac {1}{2!}}&1&~&~\\\vdots &~&\ddots ~~&\ddots ~~&~\\{\frac {1}{(2n-2)!}}&{\frac {1}{(2n-4)!}}&~&{\frac {1}{2!}}&1\\{\frac {1}{(2n)!}}&{\frac {1}{(2n-2)!}}&\cdots &{\frac {1}{4!}}&{\frac {1}{2!}}\end{vmatrix}}.\end{aligned}}}

كجزء لا يتجزأ

يُعطى E 2 n أيضًا بالتكاملات التالية:

(-1)نهـ2ن=0ت2نضرب بالعصاπت2دت=(2π)2ن+10x2نضرب بالعصاxدx=(2π)2ن01سجل2ن(لون برونزيπت4)دت=(2π)2ن+10π/2سجل2ن(لون برونزيx2)دx=22ن+3π2ن+20π/2xسجل2ن(لون برونزيx)دx=(2π)2ن+20πx2سجل2ن(لون برونزيx2)دx.\begin{aligned}(-1)^{n}E_{2n}&=\int _{0}^{\infty }{\frac {t^{2n}}{\cosh {\frac {\pi t}{2}}}}\;dt=\left({\frac {2}{\pi }}\right)^{2n+1}\int _{0}^{\infty }{\frac {x^{2n}}{\cosh x}}\;dx\\[8pt]&=\left({\frac {2}{\pi }}\right)^{2n}\int _{0}^{1}\log ^{2n}\left(\tan {\frac {\pi t}{4}}\right)\,dt=\left({\frac {2}{\pi }}\right)^{2n+1}\int \int_{0}^{\pi/2}\log^{2n}\left(\tan{\frac{x}{2}}\right)\,dx\\[8pt]&={\frac{2^{2n+3}}{\pi^{2n+2}}}\int_{0}^{\pi/2}x\log^{2n}(\tan x)\,dx=\left({\frac{2}{\pi}}\right)^{2n+2}\int_{0}^{\pi}{\frac{x}{2}}\log^{2n}\left(\tan{\frac{x}{2}}\right)\,dx.\end{aligned}}}

التطابقات

حصل و. تشانغ [ 7 ] على المتطابقات التوافقية التالية المتعلقة بأعداد أويلر. لأي عدد أوليص{\displaystyle p}لدينا

(-1)ص-12هـص-1{-0تعديلصلو ص1تعديل4؛-2تعديلصلو ص3تعديل4.{\displaystyle (-1)^{\frac {p-1}{2}}E_{p-1}\equiv \textstyle {\begin{cases}{\phantom {-}}0\mod p&{\text{if}}p\equiv 1{\bmod {4}};\\-2\mod p&{\text{if }}p\equiv 3{\bmod {4}}.\end{الحالات}}}

أثبت كل من دبليو. تشانغ وز. شو [ 8 ] أنه لأي عدد أوليص1(تعديل4){\displaystyle p\equiv 1{\pmod {4}}}وعدد صحيحα1{\displaystyle \alpha \geq 1}لدينا

هـϕ(صα)/20(تعديلصα)،{\displaystyle E_{\phi (p^{\alpha })/2}\not \equiv 0{\pmod {p^{\alpha }}},}

أينϕ(ن){\displaystyle \phi (n)}هي دالة أويلر .

الحد الأدنى

تنمو أعداد أويلر بسرعة كبيرة بالنسبة للمؤشرات الكبيرة، لأنها تمتلك حدًا أدنى.

|هـ2ن|>8نπ(4نπهـ)2ن.{\displaystyle |E_{2n}|>8{\sqrt {\frac {n}{\pi }}}\left({\frac {4n}{\pi e}}\right)^{2n}.}

أرقام أويلر المتعرجة

سلسلة تايلور​ثانيةx+لون برونزيx=لون برونزي(π4+x2){\displaystyle \sec x+\tan x=\tan \left({\frac {\pi }{4}}+{\frac {x}{2}}\right)}يكون

ن=0أنن!xن،{\displaystyle \sum _{n=0}^{\infty }{\frac {A_{n}}{n!}}x^{n},}

حيث تمثل A n أعداد أويلر المتعرجة ، بدءًا من

1، 1، 1، 2، 5، 16، 61، 272، 1385، 7936، 50521، 353792، 2702765، 22368256، 199360981، 1903757312، 19391512145، 209865342976، 2404879675441، 29088885112832، ... (التسلسل A000111 في OEIS )

لكل عدد زوجي n ،

أن=(-1)ن2هـن،{\displaystyle A_{n}=(-1)^{\frac {n}{2}}E_{n},}

حيث يمثل E n عدد أويلر، ولجميع قيم n الفردية ،

أن=(-1)ن-122ن+1(2ن+1-1)بن+1ن+1،{\displaystyle A_{n}=(-1)^{\frac {n-1}{2}}{\frac {2^{n+1}\left(2^{n+1}-1\right)B_{n+1}}{n+1}},}

حيث B n هو عدد برنولي .

لكل n ،

أن-1(ن-1)!الخطيئة(نπ2)+م=0ن-1أمم!(ن-م-1)!الخطيئة(مπ2)=1(ن-1)!.{\displaystyle {\frac {A_{n-1}}{(n-1)!}}\sin {\left({\frac {n\pi }{2}}\right)}+\sum _{m=0}^{n-1}{\frac {A_{m}}{m!(n-m-1)!}}\sin {\left({\frac {m\pi }{2}}\right)}={\frac {1}{(n-1)!}}.}

انظر أيضاً

مراجع

  1. جها، سوميت كومار (2019). "صيغة صريحة جديدة لأعداد برنولي تتضمن عدد أويلر" . مجلة موسكو للتوافقية ونظرية الأعداد . 8 (4): 385-387 . doi : 10.2140/moscow.2019.8.389 . S2CID 209973489 . 
  2. جها، سوميت كومار (15 نوفمبر 2019). "صيغة صريحة جديدة لأعداد أويلر بدلالة أعداد ستيرلينغ من النوع الثاني" .
  3. وي، تشون فو؛ تشي، فينغ (2015). "عدة صيغ مغلقة لأعداد أويلر" . مجلة المتباينات والتطبيقات 219. doi : 10.1186/s13660-015-0738-9 .
  4. تانغ، روس (11 مايو 2012). "صيغة صريحة لأعداد أويلر المتعرجة (أعداد صاعدة/هابطة) من متسلسلات القوى" (ملف PDF) . مؤرشف (ملف PDF) من الأصل بتاريخ 9 أبريل 2014.
  5. فيلا، ديفيد سي. (2008). "صيغ صريحة لأعداد برنولي وأويلر" . الأعداد الصحيحة . 8 (1): A1.
  6. مالينفانت، ج. (2011). "تعبيرات محدودة ومغلقة الشكل لدالة التقسيم ولأعداد أويلر وبرنولي وستيرلينغ". arXiv : 1103.1585 [ math.NT ].
  7. تشانغ، دبليو بي (1998). "بعض المتطابقات التي تتضمن أعداد أويلر والأعداد العاملية المركزية" (ملف PDF) . مجلة فيبوناتشي الفصلية . 36 (4): 154-157 . doi : 10.1080/00150517.1998.12428950 . مؤرشف (ملف PDF) من الأصل بتاريخ 23-11-2019.
  8. تشانغ، دبليو بي؛ شو، زد إف (2007). "حول تخمين أعداد أويلر" . مجلة نظرية الأعداد . 127 (2): 283-291 . doi : 10.1016/j.jnt.2007.04.004 .