פונקציה סינגולרית

מתוך ויקיפדיה, האנציקלופדיה החופשית
קפיצה אל: ניווט, חיפוש
פונקציית קנטור, דוגמה לפונקציה סינגולרית

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

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

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

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

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

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

פונקציות סינגולריות אינן אינטגרל לא מסוים של הנגזרת שלהן (בניגוד לקביעה של נוסחת ניוטון לייבניץ העוסקת בפונקציות גזירות בכל מקום). מכיוון שפונקציה סינגולרית f אינה קבועה קיימות נקודות a<b בתחומה כך ש-f(a) \ne f(b), ולכן:

\int_a^b f' d\lambda = 0 \ne f(b)-f(a)

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

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

לכל פונקציה רציפה בעלת השתנות חסומה f בקטע [a,b] יש פירוק מהצורה f = f_1+f_2 כאשר f_1 רציפה בהחלט ו-f_2 סינגולרית או קבועה. הפירוק יחיד עד כדי חיבור קבוע לרכיב אחד וחיסורו מהרכיב השני. אפשר גם לדרוש ש-f(a) = f_1(a) ואז הפירוק יחיד לגמרי (ו-f_2 היא סינגולרית או זהותית 0). משפט זה הוכח על ידי אנרי לבג ב-1904. בהסתמך על התכונות הידועות של פונקציות רציפות בהחלט ההוכחה פשוטה:

נגדיר f_1(x) = \int_a^x f' d\lambda + f(a) (פונקציה בעלת השתנות חסומה היא גזירה כב"מ ולכן הביטוי מוגדר היטב). כל אינטגרל לא מסוים הוא רציף בהחלט ולכן f_1 רציפה בהחלט (ובפרט בעלת השתנות חסומה). פונקציה רציפה בהחלט היא אינטגרל לא מסוים של הנגזרת שלה ולכן f_1' = f' כב"מ. נגדיר f_2 = f-f_1. זו פונקציה רציפה בעלת השתנות חסומה (כהפרש פונקציות רציפות בעלות השתנות חסומה) ומתקיים f_2' = f'-f_1' = 0 כב"מ, ולכן f_2 סינגולרית או קבועה.

נראה שהפירוק יחיד. נניח שגם f = g_1+g_2 פירוק של f ומתקיים f(a) = g_1(a). אז מתקיים כב"מ:

(f_1-g_1)' = ((f-f_2)-(f-g_2))' = g_2'-f_2' = 0

אולם f_1-g_1 רציפה בהחלט ולכן אינה סינגולרית. מכאן שהיא קבועה. נשים לב כי (f_1-g_1)(a) = f(a)-f(a) = 0 ולכן f_1-g_1 פונקציית האפס. קיבלנו ש-f_1 = g_1, f_2 = g_2 כנדרש.

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

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

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

  1. ^ פונקציה רציפה בהחלט היא פונקציה המקיימת שלכל 0<\epsilon קיים 0<\delta כך שלכל אוסף סופי של קטעים זרים בזוגות בתחום (x_1,y_1),\ldots,(x_n,y_n) המקיימים \sum_{i=1}^n |y_i-x_i|< \delta מתקיים \sum_{i=1}^n |f(y_i)-f(x_i)|< \epsilon.