פונקציה אוניוולנטית

באנליזה מרוכבת, פונקציה אוניוולנטית (Univalent function, simple, schlicht) היא פונקציה הולומורפית חד חד ערכית. פונקציה מולטי-ולנטית היא פונקציה המקבלת כל ערך מספר סופי וחסום של פעמים.

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

הגדרה והצורה הנורמלית

הגדרה
פונקציה מרוכבת  תקרא
 אוניוולנטית (Univalent function) אם היא הולומורפית וחד חד ערכית.
 מולטי-ולנטית (Multivalent function) אם היא הולומורפית והיא מקבלת כל ערך מספר סופי של פעמים. עבור  המקסימלי נקרא לה p-ולנטית.

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

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

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

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

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

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

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

מסקנה - אם  אוניוולנטית על טבעת מהצורה , השטח של  הוא .

מסקנה - אם  אוניוולנטית על . אז השטח של  הוא . בפרט, נקבל .

כעת, אם משאיפים  במסקנה, ניתן לקבל את משפט השטח:

משפט השטח (The Area Theorem, Gronwall, 1914): אם  אז . שוויון מתקיים אם ורק אם התמונה  מכסה את כל המישור המרוכב, פרט לקבוצה ממידה אפס.

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

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

ראו גם
 משפט דה ברנז'
 השערת גודמן
 משפט הרבע של קוב

לקריאה נוספת
 AN INVITATION TO THE STUDY OF UNIVALENT AND MULTIVALENT FUNCTIONS, A.W. GOODMAN

אנליזה מרוכבת
אוניוולנטית