משפט הקיום והיחידות (משוואות דיפרנציאליות)

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

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

המשפט נקרא גם משפט פיקאר-לינדלוף (Picard-Lindelöf), משפט הקיום של פיקאר או משפט קושי-ליפשיץ על שמם של המתמטיקאים: אמיל פיקאר, ארנסט לינדלוף, רודולף ליפשיץ ואוגוסטן לואי קושי.

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

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

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

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

נגדיר

וגם

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

שימוש בלמה של גרינוול (Grönwall) על , כאשר ו- הם שני פתרונות, יראה ש-, ולכן הפתרון הוא יחיד.

לקריאה נוספת[עריכת קוד מקור | עריכה]

  • M. E. Lindelöf, Sur l'application de la méthode des approximations successives aux équations différentielles ordinaires du premier ordre; Comptes rendus hebdomadaires des séances de l'Académie des sciences. Vol. 114, 1894, pp. 454-457. או בגרסה מקוונת http://gallica.bnf.fr/ark:/12148/bpt6k3074r/f454.table . (במאמר זה לינדלוף מראה הכללות לגישות קודמות בהן נקט פיקארד.)

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