קבוע אומגה

מתוך ויקיפדיה, האנציקלופדיה החופשית
קפיצה אל: ניווט, חיפוש

קבוע אומגה הוא קבוע מתמטי המסומן באות היוונית אומגה, המקיים:

\Omega\,e^{\Omega}=1\,

ערכו של הקבוע הוא בקירוב ...0.5671432904097838729999686622 . הוא מקיים את המשוואות

 e^{-\Omega}=\Omega\, וכן  \ln \Omega = - \Omega\,.

קבוע זה הוא הפתרון היחידי של (1)W כאשר W היא פונקציית W של למברט. שמו לקוח משמה הנוסף של פונקציה זו, פונקציית אומגה.

ניתן לבנות את קבוע אומגה בצורה איטרטיבית על ידי סדרת קירובים שמתחילה ב-Ω0 כלשהו ומקיימת

 \Omega_{n+1}=e^{-\Omega_n}\,

הסדרה מתכנסת לקבוע אומגה כאשר n שואף לאינסוף. הגבול מתקיים כיוון שקבוע אומגה הוא נקודת שבת יציבה של הפונקציה  e^{-x} .

בנייה אפקטיבית יותר היא

\Omega_{n+1} = \frac{1+\Omega_n}{1+e^{\Omega_n}}

כיוון שלפונקציה

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

יש אותה נקודת שבת אבל בנקודה זאת הנגזרת שווה ל-0, ולכן הסדרה שואפת לגבול הרבה יותר מהר (מספר הספרות הנכונות בערך מוכפל בכל איטרציה).

קבוע אומגה מקיים את הזהות:

 \Omega=\frac{1}{\displaystyle \int_{-\infty}^{\infty}\frac{{\rm{d}}x}{(e^x-x)^2+\pi^2}}-1 \,

תכונות[עריכת קוד מקור | עריכה]

קבוע אומגה הוא אי-רציונלי. הוכחה: נניח בשלילה שהוא רציונלי, ואז קיימים p ו-q שלמים כך ש-

 \frac{p}{q} = \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(\Omega) יהיה טרנסצנדטי וכך גם \exp^{-1}(\Omega)=-\Omega, וזאת סתירה להנחה שקבוע אומגה אלגברי.

קישורים חיצוניים[עריכת קוד מקור | עריכה]