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

