ثابت أوميغا

ثابت أوميجا هو ثابت رياضي يُشار إليه بالحرف اليوناني أوميجا ، والذي ينص على:

$\mathrm{\Omega }{e}^{\mathrm{\Omega }}=1$

قيمة الثابت بالتقريب هي: ...0.5671432904097838729999686622. انه يحقق المعادلات

$e^{-\mathrm{\Omega }}=\mathrm{\Omega }$ وأيضًا $\ln \mathrm{\Omega }=-\mathrm{\Omega }$ .

وفقًا للرسمتين البيانيتين للدالتين $e^x$ و $\frac{1}{x}$ . عند نقطة تقاطعهما، إحداثي $x$ هو ثابت أوميغا.

هذا الثابت هو الحل الوحيد لـ (1)W حيث أن W هي دالة W لامبرت . اسمها مشتق من الاسم الآخر لهذه الدالة وهو دالة أوميغا.

يمكن بناء ثابت أوميغا بشكل متكرر من خلال سلسلة من التقريبات التي تبدأ عند Ω₀ معيّن وتستوفي الشرط:

${\mathrm{\Omega }}_{n+1}=e^{-{\mathrm{\Omega }}_n}$

تتقارب السلسلة إلى ثابت أوميغا عندما يقترب n إلى ما لا نهاية . يتم الحفاظ على الحد لأن ثابت أوميغا هو "نقطة ثابتة" للدالة $e^{-x}$ .

البناء الأكثر فعالية هو

${\mathrm{\Omega }}_{n+1}=\frac{1+{\mathrm{\Omega }}_n}{1+e^{{\mathrm{\Omega }}_n}}$

لأن الدالة

$f(x)=\frac{1+x}{1+e^x}$

هناك نفس "النقطة الثابتة"، ولكن في هذه النقطة تكون المشتقة تساوي 0، وبالتالي فإن السلسلة تميل إلى الحد بشكل أسرع بكثير (يتضاعف عدد الأرقام الصحيحة تقريبًا في كل تكرار).

ثابت أوميغا يحافظ على الُمتَطابِقَة:

$\mathrm{\Omega }=\frac{1}{\underset{-\mathrm{\infty }}{\overset{\mathrm{\infty }}{\int }}\frac{\mathrm{d}x}{(e^x-x{)}^2+{\pi }^2}}-1$

صفات

ثابت أوميغا غير نسبي (الأرقام بعد الفاصلة العشرية لا تنتهي).

البرهان: نفترض سلبيًا أنه عدد نسبي، فلذلك يوجد عددان صحيحان p وq حيث:

$\frac{p}{q}=\mathrm{\Omega }$

ويتحقق أن:

$1=\frac{p{e}^{\left(\frac{p}{q}\right)}}{q}$

$e={\left(\frac{q}{p}\right)}^{\left(\frac{q}{p}\right)}=\sqrt[p]{\frac{q^q}{p^q}}$

لكن e هو عدد متسامٍ ، في حين أن التعبير الذي وصلنا إليه هو جذر متعدد الحدود (بولينوم) بمعاملات نسبية (من الدرجة q)، أي جبري . تناقض!

ولذلك ثابت أوميغا متسامٍ أيضًا. لأنه إذا كان جبريًا فوفقًا لنظرية ليندمان-فايرشتراس $\exp (\mathrm{\Omega })$ سيكون متعاليًا، وهكذا أيضًا ${\exp }^{-1}(\mathrm{\Omega })=-\mathrm{\Omega }$ وهو ما يتناقض مع افتراض أن ثابت أوميغا جبري.

تمثيلات متكاملة

يتم إعطاء الهوية المستحقة لفيكتور أدامشيك (Victor Adamchik)قالب:بحاجة لمصدر من خلال العلاقة:

$\underset{-\mathrm{\infty }}{\overset{\mathrm{\infty }}{\int }}\frac{dt}{(e^t-t{)}^2+{\pi }^2}=\frac{1}{1+\mathrm{\Omega }}.$

العلاقات الأخرى المستحقة لـ ميزو وكالوجين-جيفري-كورليس هي:

$\mathrm{\Omega }=\frac{1}{\pi }\mathrm{Re}\underset{0}{\overset{\pi }{\int }}\log \left(\frac{e^{e^{it}}-e^{-it}}{e^{e^{it}}-e^{it}}\right)dt,$

$\mathrm{\Omega }=\frac{1}{\pi }\underset{0}{\overset{\pi }{\int }}\log (1+\frac{\sin t}{t}{e}^{t\cot t})dt.$

يمكن توسيع الهويتين الأخيرتين إلى قيم أخرى للدالة W (انظر أيضًا دالة لامبرت W § التمثيلات).

التسامي

الثابت Ω متسامٍ. ويمكن اعتبار ذلك نتيجة مباشرة لنظرية ليندمان-فايرستراس. بالنسبة للتناقض لنفترض أن Ω جبرية. وفقًا للنظرية، قالب:تعبير رياضي متسامٍ، لكن Ω = قالب:تعبير رياضي، وهو تناقض. ولذلك يجب أن يكون متساميا.

روابط خارجية

• قالب:ماثوورلد
• قالب:OEIS