פונקציית W של למברט

במתמטיקה, פונקציית W של למברט (נקראת גם: פונקציית אומגה), היא פונקציה רב-ערכית, השווה לאוסף הענפים של הפונקציה ההופכית של הפונקציה , כש- הוא מספר מרוכב כלשהו ו- היא פונקציית האקספוננט.

לכל מספר שלם  משויך ענף אחד, המסומן בצורה .  מוגדר כענף הראשי . לפונקציות אלו מתקיימת התכונה הבאה: אם  ו- הם מספרים מרוכבים כלשהם, אזי:

 

מתקיים אם ורק אם:

  עבור  שלם כלשהו.

אם מתעסקים רק בעולם המספרים הממשיים, אז קיימים שני הענפים  ו- בלבד; עבור המספרים הממשיים  ו- והמשוואה:

 

למשוואה זו יש פתרון רק עבור ; אנו מקבלים כי  אם , ואת שני הערכים  וגם  אם  (כפי שניתן לראות בתמונה).

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

טרמינולוגיה 
פונקציית W של למברט קרויה על שם המתמטיקאי יוהאן היינריך למברט.

לעיתים הענף הראשי  מסומן כ- והענף  מסומן כ-.

לעיתים הפונקציה נקראת גם "לוגריתם המכפלה" (באנגלית product logarithm) כיוון שאם הפונקציה ההופכית של  נקראת לוגריתם, אז הגיוני לקרוא לפונקציה ההופכית של המכפלה  בשם "לוגריתם המכפלה"

הפונקציה קשורה לקבוע אומגה, ששווה ל-.

ייצוגים 
אומנם את פונקציית W של למברט לא ניתן לבטא באמצעות פונקציות אלמנטריות., אך ניתן לייצג אותה ובעיקר את הענף הראשי  שלה בדרכים אחרות.

באמצעות אינטגרלים מסוימים 
בתחום , ניתן לייצג באמצעות האינטגרל הבא:

 

ועבור התחום הרחב יותר , ניתן לפשט עוד יותר את הביטוי:

 

קיים ייצוג נוסף לענף הראשי:

 
עבור התחום  בו הענף הראשי מוגדר, מתקיים:
 

(שני האינטגרלים שווים כיוון שהפונקציה בתוך האינטגרל סימטרית).

באמצעות שברים משולבים 
ניתן גם להציג את הענף הראשי באמצעות השבר המשולב הבא:

 

ועבור התחום :

 

ובאופן דומה, עבור התחום :

דיפרנציאביליות ואינטגרביליות

נגזרת 
לפי השיטה למציאת נגזרת של פונקציה סתומה, ניתן להראות כי לכל הענפים של  יש משוואה דיפרנציאלית רגילה:

 

( אינה גזירה עבור ) כתוצאה מכך, אנו מקבלים את הנוסחה הבאה עבור הנגזרת של :

 

ובאמצעות שימוש בזהות  נקבל את הנוסחה הבאה:

 

בענף הראשי נקבל .

אינטגרל 
ניתן למצוא את האינטגרל של הפונקציה , ושל פונקציות רבות נוספות המכילות בתוכן את פונקציית W, על ידי שימוש באינטגרציה באמצעות החלפת משתנים: 

 

המשוואה השנייה היא בשימוש הנפוץ יותר, אך אינה מוגדרת עבור .

אם נשתמש בעובדה כי  נקבל:

אינטגרלים מסוימים 
קיימים כמה אינטגרלים מסוימים שימושיים של הענף הראשי של פונקציית W. כגון:
 

 

 

את המשוואה הראשונה ניתן למצוא באמצעות כתיבת אינטגרל גאוסיאני בקואורדינטות קוטביות.

את המשוואה השנייה ניתן למצוא על ידי שימוש בהחלפה , ואז ניתן גם להחליף את:

 

 

ואז ניתן להראות כי:

 

המשוואה השלישית נובעת מהמשוואה השנייה על ידי ההחלפה , ובנוסף גם המשוואה הראשונה נובעת מהשלישית על ידי ההחלפה .

אינטגרלים לא מסוימים

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

למטה מובאים ערכים מיוחדים של הענף הראשי ():
 
 
 
 
  (קבוע אומגה)

קישורים חיצוניים 

 פונקציית W של למברט לפי המכון הלאומי לתקנים וטכנולוגיה
 
 מימוש הפונקציה בשפת

הערות שוליים 

אנליזה מרוכבת
קומבינטוריקה
פונקציות ממשיות ומרוכבות