פונקציה כוכבית

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

באנליזה מרוכבת, פונקציה כוכבית (אנגלית: Starlike function) היא פונקציה אוניוולנטית (כלומר, פונקציה הולומורפית וחד חד ערכית) בעיגול היחידה, אשר תמונתה היא תחום כוכבי ביחס לראשית הצירים. פונקציה הולומורפית קמורה (Convex function) (להבדיל מהמינוח פונקציה קמורה), היא פונקציה כנ"ל אשר תמונתה היא תחום קמור.

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

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

תהי פונקציה אוניוולנטית (כלומר, פונקציה הולומורפית וחד חד ערכית). נאמר ש- היא

  • פונקציה כוכבית (Starlike function) אם תחום כוכבי סביב ראשית הצירים.
  • פונקציה הולומורפית קמורה (Convex function) אם תחום קמור.

פונקציות כוכביות וקמורות נחקרות בדר"כ עבור עיגול היחידה.

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

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

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

ראשית, נציג תנאים מספיקים והכרחיים להיותה של פונקציה אוניוולנטית קמורה או כוכבית.

משפט: הפונקציה האוניוולנטית היא קמורה אם ורק אם מתקיים .

משפט: אם בנוסף , אז הפונקציה היא כוכבית אם ורק אם .

כעת, נראה את הקשר שבין פונקציה קמורה לפונקציה כוכבית:

משפט אלכסנדר (J.W. Alexander,1915): נניח ש- אוניוולנטית. אזי היא הולומורפית קמורה אם ורק אם הפונקציה כוכבית.

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

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

המחלקות ST ו-CV[עריכת קוד מקור | עריכה]

את אוסף הפונקציות הכוכביות/קמורות המנורמלות על מעגל היחידה נסמן ב- וב- בהתאמה.

לפי משפט אלכסנדר, יש התאמה 1:1 בין שתי המחלקות:

  • לכל , מתקיים .
  • לכל , מתקיים .

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

משפט דה ברנז' טוען כי המקדמים בפיתוח טיילור של פונקציה אוניוולנטית מקיימים .

כאשר עוד נחשב להשערה, שכונתה השערת המקדמים, הוא הוכח למקרים פרטיים רבים. ביניהם:

משפט (R. Nevanlinna, 1921): במחלקה מתקיימת השערת המקדמים. יותר מכך - אם מתקיים שוויון עבור כלשהו, הפונקציה היא סיבוב של פונקציית קוב - .

במחלקה מתקיימת טענה חזקה הרבה יותר:

משפט (C. Lowner,1921): במחלקה מתקיים . במידה ומתקיים שוויון עבור כלשהו, הפונקציה היא סיבוב של הפונקציה .

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

ראו גם[עריכת קוד מקור | עריכה]

לקריאה נוספת[עריכת קוד מקור | עריכה]