משפט הפונקציות הסתומות

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

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

דוגמה למשמעות המשפט
שמאל|ממוזער|250px|הנקודה A מקיימת את תנאי המשפט, ולכן קיימת סביבה שלה שבה משוואת המעגל מגדירה באופן סתום את y כפונקציה של x. הנקודה B לעומת זאת אינה מקיימת את תנאי המשפט, ואכן לא קיימת סביבה שלה שבה משוואת המעגל מגדירה פונקציה.
נביט במשוואה . משוואה זו מתארת מעגל ברדיוס 1. נניח כי אנו רוצים לחלץ את  ולהציגו כפונקציה של . על ידי העברת אגפים והוצאת שורש נקבל . מכיוון שלכל ערך של  מותאמים שני ערכים עבור  ברור כי זוהי אינה פונקציה, כי פונקציה צריכה להתאים לכל ערך של  ערך יחיד של . עם זאת, כאשר אנו מתבוננים בנקודה כלשהי על המעגל ומגבילים את ערכי  לסביבה קטנה שלה, נקבל כי באותה סביבה  ניתן לחילוץ. למשל, עבור הנקודה  ניתן לקחת סביבה ברדיוס  ועבורה להגדיר את הפונקציה . כך נקבל פונקציה שעוברת דרך הנקודה  ונקודותיה הן בדיוק נקודות המעגל  בסביבה הנתונה.

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

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

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

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

(בדוגמה שהבאנו קודם, ).

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

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

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

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

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

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

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

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

קישורים חיצוניים



הפונקציות הסתומות