שינויים
**<math>y'=a\cdot y\cdot (1-by)</math>
==הרצאה 3 משוואות מדוייקות ומשפט הקיום והיחידות==
===הקדמה - פונקציות בשני משתנים===
***אפשר באמצעות השלמה לריבוע לבודד את y.
===הרצאה 4 משפט הקיום והיחידות=======בעיית קושי====
*מציאת פתרון למד"ר <math>y'=f(x,y)</math> המקיימת <math>y(x_0)=y_0</math>
===המשוואה האינטגרלית===
*בעיית הקושי <math>y'=f(x,y)</math> עם <math>y(x_0)=y_0</math> שקולה למשוואה <math>y(x)=y_0+\int_{x_0}^xf(t,y(t))dt</math>.
**בכיוון אחד - נניח כי המשוואה הדיפרנציאלית ותנאי ההתחלה נתונים.
***אזי <math>\int_{x_0}^x y'(t)dt=\int_{x_0}^xf(t,y(t))dt</math>.
***לכן <math>y(x)-y(x_0)=\int_{x_0}^xf(t,y(t))dt</math>.
***ולפי תנאי ההתחלה נקבל כי <math>y(x)-y_0=\int_{x_0}^xf(t,y(t))dt</math>.
**בכיוון שני, נניח כי המשוואה האינטגרלית נתונה.
***נגזור את שני הצדדים ונקבל את המשוואה הדיפרנציאלית (נגזרת של פונקצית שטח של פונקציה רציפה).
***נציב במשוואה האינטגרלית את <math>x_0</math> ונקבל <math>y(x_0)=y_0+\int_{x_0}^{x_0}f(t,y(t))dt=y_0</math>.
*נראה את שיטת פיקרד, באמצעותה נוכיח את משפט הקיום והיחידות.
*נבנה נוסחת נסיגה מהמשוואה האינטגרלית:
*נגדיר <math>\varphi_0=y_0</math>, ולכל <math>n</math> נגדיר <math>\varphi_n=y_0+\int_{x_0}^xf(t,\varphi_{n-1}(t))dt</math>.
*מאוחר יותר נוכיח כי סדרת הפונקציות מתכנסת לפתרון של המד"ר.
*שימו לב שאם מצאנו פתרון בצורה כלשהי, אנחנו יודעים שהוא יחיד בזכות המשפט (לפחות בסביבה מסויימת).
*מצד שני, אם הפתרון הכללי שמצאנו לא מקיים את תנאי ההתחלה, סימן שאנחנו צריכים לחפש פתרון שפספסנו.
===הוכחההוכחת הקיום===*נוכיח שסדרת הפונקציות בשיטת פיקרד מתכנסת לפתרון יחיד לבעיית הקושי.
*הערה: נוכיח עבור <math>x\geq x_0</math> ההוכחות עבור <math>x<x_0</math> דומות.
**הערה: האינטגרל של הסדרה שואף לאינטגרל של פונקצית הגבול בזכות ההתכנסות במ"ש.
===היחידות===
*טענת עזר - תהי <math>g</math> חסומה כך שלכל <math>x\geq x_0</math> בקטע <math>|x-x_0|\leq a</math> מתקיים כי <math>|g|\leq K\int_{x_0}^x|g(t)|dt</math> אזי <math>g=0</math> לכל <math>x\geq x_0</math> בקטע.
