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

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

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

תוכן עניינים

1 הגדרה פורמלית
2 תכונות של קטבים
3 דוגמאות
4 מונחים קשורים

[עריכה] הגדרה פורמלית

נקודה $\ z_0$ היא קוטב של פונקציה מרוכבת $\ f(z)$ , אם הפונקציה אנליטית בסביבה מנוקבת של הנקודה, ומתקיים $\ \lim _{z\to z_0}f(z)=\infty$ .

המספר n הקטן ביותר שעבורו הגבול $\ \lim_{z \rightarrow z_0}(z-z_0)^nf(z)$ קיים (וסופי), נקרא הסדר של הקוטב. מספר זה תמיד קיים. קוטב מסדר 1 נקרא קוטב פשוט. עבור קוטב פשוט, השארית של הקוטב מוגדרת להיות הגבול $\ Res_{z_0}f=\lim _{z\to z_0}(z-z_0)f(z)$ .

[עריכה] תכונות של קטבים

הפונקציה ניתנת לפיתוח לטור לורן סביב קוטב מסדר סופי, כאשר הפיתוח מתחיל מהחזקה השלילית $\ (z-z_0)^{-n}$ . כלומר, $\ f(z)=\sum_{k=-n}^{\infty}c_k\cdot(z-z_0)^k$ . באופן שקול, יש $\ n$ כך שהפונקציה $\ (z-z_0)^nf(z)$ היא אנליטית.

הגבול $\ \lim_{z\rarr z_0}f(z)\cdot(z-z_0)^k=L$ , עבור $\ k\isin\mathbb{Z}$ מקבל את הערכים הבאים:

$\ L=\infty$ אם $\ k<n$ .
$\ L=c_{-n}$ אם $\ k=n$ .
$\ L=0$ אם $\ k>n$ .

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

לפונקציה $\ f(z)=\frac{1}{z^n}$ קיים קוטב מסדר $\ n$ בנקודה $\ z=0$ .
לפונקציה $\ f(z)=\frac{1}{1-\cos z}$ קיים קוטב מסדר $\ 2$ בנקודה $\ z=0$ . כדי להיווכח בזה די לזכור שהפיתוח לטור טיילור של $\ \cos z$ הוא: $\ \cos z=1-\frac{z^2}{2!}+\frac{z^4}{4!}-\dots$ , ולכן $\ f(z)=\frac{1}{1-\cos z}=\frac{1}{1-(1-\frac{z^2}{2!}+\frac{z^4}{4!}-\dots)}= \frac{1}{z^2(\frac{1}{2!}-\frac{z^2}{4!}+\dots)}$ .
לפונקציה $\ f(z)=e^{1/z}$ אין קוטב בנקודה $\ z=0$ אלא סינגולריות עיקרית.

כשמרחיבים את ההגדרה של פונקציה מרוכבת אל הקומפקטיפיקציה של המישור המרוכב (כלומר, מוסיפים להגדרה את נקודת האינסוף, כמו בספירת רימן), הנקודה $\ z=\infty$ נחשבת לקוטב של $\ f(z)$ מאותו סוג וסדר של הקוטב $\ z=0$ בפונקציה $\ f(1/z)$ .