==שאלה==
יש מצב שבתרגיל 3 יש רק נקודה a אחת שמקיימת את זה?
==שאלה כללית לגבי שארית Peano==
לא הבנתי למה אנו נדרשים להוכיח כל הזמן שהשארית (בצורת Peano) הינה <math>o(||h||^n)</math>, הרי ניתן להראות שזוהי תכונה של טור טיילור,
כאשר הפונקציה מקיימת <math>f \in C^n[K]</math>, ו-<math>K</math> הוא ריבוע (מלבן).
אם נסתמך על כלל לופיטל ל-n משתנים, נקבל כי -
<math>\lim_{x \rightarrow x_0} R_n(x) = \lim_{x \rightarrow x_0} \frac{f(x)-p_n(x)}{||x-x_0||^n} = \lim_{x \rightarrow x_0} \frac{D(f(x)-p_n(x))}{D(||x-x_0||^n)}= ... = 0</math>.
כאן, <math>x=(x_1,x_2,...,x_k)</math> ו-<math>x_0=(x_{0_1},x_{0_2},...,x_{0_k})</math>.
<math>p_n</math> זהו פולינום טיילור מסדר n, ו-<math>R_n</math> זו השארית. <math>D=\partial_{x_1}+\partial_{x_2}+...+\partial_{x_k}</math> זהו אופרטור הגזירה (לפי כל המשתנים).
מכל-מקום, אם <math>f \not\in C^n[K]</math> הרי אין כל טעם לדבר על טור טיילור, <math>p_n(x)</math>, שהרי המקדמים אינם מוגדרים היטב! (<math>a_{\alpha}=\frac{D^{\alpha}f(x_0)}{\alpha!}</math>)
'''לסיכום''' -- האם יש צורך להראות שאכן השארית בטור טיילור (כאשר מתקיימים התנאים להלן) הינה שארית Peano..??
::: אגב, את כלל לופיטל ל-n משתנים ניתן להוכיח בצורה דומה למשתנה אחד, כדלקמן:
::: תהיינה <math>f(\bold{x}), g(\bold{x})</math> פונקציה דיפרנציאבילית ומוגדרת בריבוע (מלבן) <math>K</math>. כאן, <math>\bold{x}=(x_1,x_2,...,x_n)</math>. (<math>\bold{x} \in \R^n</math>)
::: תהי <math>\bold{x}_0 \in K</math> כך שבנקודה הזו מתקיים -
::: <math>\lim_{\bold{x} \rightarrow \bold{x}_0} f(\bold{x}) = \lim_{\bold{x} \rightarrow \bold{x}_0} g(\bold{x}) = 0</math>
::: נוכל אפוא להגדיר את הפונקציות <math>f</math> ו-<math>g</math> כך ש-<math>f(\bold{x}_0)=g(\bold{x}_0)=0</math>.
::: דבר זה לא ישפיע, כמובן, על ערך גבול המנה במקודה, אך כך הפונקציות תהיינה רציפות בנקודה.
::: עפ"י משפט הערך הממוצע נוכל לרשום -
::: <math>\frac{f(\bold{x})}{g(\bold{x})} = \frac{f(\bold{x})-f(\bold{x}_0)}{g(\bold{x})-g(\bold{x}_0)} = \frac{\partial_{x_1}f(\xi)\cdot \Delta x_1+...+\partial_{x_n}(\xi)\cdot \Delta x_n}{\partial_{x_1}g(\eta)\cdot \Delta x_1 +...+ \partial_{x_n}\cdot \Delta x_n}</math>
::: היכן ש-<math>\Delta x_\mu = x_\mu - {x_0}_\mu</math> (<math>\forall 1 \le \mu \le n</math>)
::: כאשר, <math>\xi=\xi(\bold{x})</math> וכן, <math>\eta=\eta(\bold{x})</math>.
::: כמו-כן, ממשפט הערך הממוצע ידוע כי <math>\xi = \bold{x}_0 + t\cdot (\bold{x} - \bold{x}_0)</math> ו-<math>\eta = \bold{x}_0 + s\cdot (\bold{x}-\bold{x}_0)</math> כאשר <math>t,s \in [0,1]</math> (דהיינו, הנקודות נמצאות על הישר המבחר את <math>\bold{x}_0</math> ו-<math>\bold{x}</math>).
::: אם נבחר, פרט, סדרת נקודות <math>{\bold{x}_n}</math> כך ש- <math>\Delta x_\mu</math> הוא קבוע (לכל אינדקס <math>\mu</math>), אזי נקבל כי -
::: <math>\frac{f(\bold{x}_n)}{g(\bold{x}_n)} = \frac{Df(\xi(\bold{x}_n))}{Dg(\eta(\bold{x}_n))}</math>
::: כיוון ש-<math>\bold{x}_n \rightarrow \bold{x}_0</math>, וברור כי <math>\xi(\bold{x}_n),\eta(\bold{x}_n) \rightarrow \bold{x}_0</math>, וכן הנחנו שהגבול של מנת הנגזרות קיים, אזי
::: שלכל סדרה הגבול יתכנס גם לערך זה, וממילא קיבלנו את נכונות המשפט! מ.ש.ל!
== הגשת תרגיל 7 ==
לקבוצה של אגרונובסקי לא היה היום (ראשון- 19/12) תרגול אלא הרצאה. התרגול ייערך ביום שלישי. לא הגשתי היום את התרגול, אוכל להגיש אותו ביום שלישי?
== הסילבוס של הקורס ==
ארז אתה יכול לפרסם כאן את הסילבוס של הקורס, באתר של המחלקה יש סילבוס של אינפי מתקדם אבל אין של אינפי 3
:[http://www.biu.ac.il/syllabus/y71/Syll_d88/8823008.rtf סילבוס מאתר מערכת השעות]. לא יודע אם זה הרשמי או מה. --[[משתמש:ארז שיינר|ארז שיינר]] 18:15, 3 בינואר 2011 (IST)
==שאלה==
ארז, תרגיל 8 שהעלית מיועד גם לקבוצה של אגרונובסקי?
:התרגיל מיועד למי שלמד אינטגרציה והחלפת משתנים. ייתכן והקבוצה של אגרונובסקי תלמד בהמשך ואז תגיש את התרגיל. לפני שלמדתם בתרגיל, אין צורך להגיש. --[[משתמש:ארז שיינר|ארז שיינר]] 13:21, 5 בינואר 2011 (IST)
== תרגיל 8 שאלה 5 ==
יכול להיות שהאינטגרל בשאלה 5 לא חסום?
:בתחום הנתון? למה לא חסום? --[[משתמש:ארז שיינר|ארז שיינר]] 21:48, 7 בינואר 2011 (IST)
::הנקודה (0,0) נמצאת בשפה של התחום הנתון ויש סביבה שלה שנמצאת בתחום, והפונקציה שואפת לאינסוף בנקודה
::יותר מדויק, לכל M גדול נקח את הנקודה (1/2M , 1/2M) (הM במכנה). היא נמצאת בתחום והערך של הפונקציה בנקודה גדול מM
:::אתה צודק, פספסתי את זה. האינטגרל החוזר, בכל אופן, מוגדר היטב (האינטגרל לפי x מוגדר בכל נקודה פרט לאפס ואז האינטרגל השני מוגדר). תחליפו משתנים ותפתרו את זה, זה יצא בסדר. --[[משתמש:ארז שיינר|ארז שיינר]] 23:17, 8 בינואר 2011 (IST)
== שיעורי בית ==
מתי יעלו פתרונות לשיעורי הבית? המבחן לא כל כך רחוק כבר...
:בשבוע הקרוב --[[משתמש:ארז שיינר|ארז שיינר]] 21:46, 7 בינואר 2011 (IST)
== תרגיל 8 ==
ארז
אנחנו בבעיה, יש לנו תרגיל גם להגיש בתורת הקבוצות/מבוא לחישוב. ובנוסף ללמוד למבחן באינפי+מבוא לחישוב/תורת הקבוצות+תורת המספרים/חקר ביצועים.
האם תוכל בבקשה בבקשה לעשות שהתרגיל האחרון לא יהיה להגשה, וכך גם יוכלו לעלות פתרונות?
:מצטרף - או לפחות אולי לתת הארכה..
::הארכה אפשר, אבל לבטל אותו אי אפשר. גם ככה יש מעט תרגילים. מי שהגיש הכל יכול לא להגיש את זה. --[[משתמש:ארז שיינר|ארז שיינר]] 21:45, 7 בינואר 2011 (IST)
:::אבל למתי אפשר לקבל הארכה?
::::עד התרגיל חזרה שבטח יהיה שבוע אחרי. --[[משתמש:ארז שיינר|ארז שיינר]] 23:31, 8 בינואר 2011 (IST)
==שאלה==
למה לא קיים לפונקציה הבאה גבול ב0,0:
f(x,y) = 0 if xy=0,
1, otherwise
כלומר, איך מראים את זה?
:לוקחים שני מסלולים: (x,0) ו(x,x) (כשx שואף ל0). הראשון שואף ל0 והשני שואף ל1.
::אממ, כשלוקחים את המסלול (x,x), מותר לדרוש שx יהיה שונה מ0?
:::נראה לי שכן, מסתכלים על סביבה מנוקבת
== שאלה ==
איפה אפשר להגיש את התרגיל? (אם אני לא מגיע לשיעור חזרה)
:לתת למישהו שיגיש בשיעור החזרה. --[[משתמש:ארז שיינר|ארז שיינר]] 18:35, 10 בינואר 2011 (IST)
==שאלה==
באיזה שעה יהיה השיעור חזרה? האם תהיה אפשרות שהוא יגמר לפני 6?
:רשמתי בדף ההודעות, לא סביר שזה יסתיים לפני שש (קבעתי מאוחר בגלל שיש מבחנים). --[[משתמש:ארז שיינר|ארז שיינר]] 12:53, 12 בינואר 2011 (IST)
==שאלה==
כשאני מחשב מינימום של פונקציה עם תנאים (כופלי לגרנז'), אני צריך לוודא שזה אכן מינימום ולא אוכף או מקסימום עם ההסיאן?
:ההסיאן לא בהכרח הכי יעיל לקיצון עם אילוצים מכיוון שיכול להיות שהנקודה אינה מינימום כללי אלא רק מינימום בהתחשב באילוץ. יש לבדוק האם הדיפרנציאל השני חיובי (שלילי) לחלוטין באיזור הנקודה בהתחשב באילוצים. --[[משתמש:ארז שיינר|ארז שיינר]] 12:56, 12 בינואר 2011 (IST)
:ההסיאן הוא מטריצה מייצגת של תבנית ריבועית. כדי לטפל בבעיות עם אילוצים, אפשר לצמצם את התבנית למרחב המשיק לאילוצים; לפעמים התבנית המצומצמת היא חיובית או שלילית לחלוטין, גם כשהתבנית המקורית אינה מוחלטת. [[משתמש:עוזי ו.|עוזי ו.]] 13:57, 12 בינואר 2011 (IST)
==שאלה==
ארז ביום שני יש גם בגרות באנגלית וגם מבחן בתורת המספרים. יש סיכוי לשנות את התרגול??
:לכן זה בשעה 17:00, אחרי הדברים האלה. יש בנוסף תרגול למחרת, אני לא רואה עוד אופציות. --[[משתמש:ארז שיינר|ארז שיינר]] 14:10, 12 בינואר 2011 (IST)
::למה התרגול חזרה הוזז מלכתחילה מיום ראשון? פרופסור אגרנובסקי עושה שיעור חזרה ביום ראשון בין 2 ל-4 בכל מקרה
:::כי יום ראשון זה יום לפני הבחינה בתורת המספרים (לא ארז)
==שאלה==
האם תתרגל חומר של אינפי 4, או שהתרגול יהיה רלוונטי גם לתלמידי אגרנובסקי?
:בהשלמה אני עושה אינטגרלים קוויים, בחזרה אני אעשה חזרה על כל החומר. --[[משתמש:ארז שיינר|ארז שיינר]] 03:23, 13 בינואר 2011 (IST)
== מבחן- קבוצה של פרופסור אגרונובסקי ==
האם מישהו יכול לכתוב כאן מה מבנה הבחינה, הבחירה במבחן, איזה משפטים צריך לדעת להוכיח, מבחן משותף או לא וכו...
בקיצור- כל מה שידוע על המבחן.
(הקבוצה של אגרונובסקי)
-2 מתוך 3 - חלק זה יכול לכלול שאלות הוכחה מבין המשפטים שהוא נתן (7 משפטים) אך יכול להכיל דברים אחרים גם
-4 מתוך 6 - שאלות בנושא קיצון, אנטגרלים, רציפות ובעצם על כל החומר
המשפטים שצריך להוכיח הוא חילק בדף, בגדול
1. נגזרות קיימות ורציפות בסביבה גוררות דיפרנציאביליות בנקודה
2. נוסחת טיילור עם שארית לגרנז'
3. גרדיאנט מגדיר כוון של עליה של פונקציה בנקודה בקצב מקסימלי
4. נתון משטח, להוכיח שהגרדיאנט הוא וקטור-נורמל למישור משיק, לבנות משוואה של המישור המשיק
5. תנאי הכרחי של קיצון מקומי בעזרת דיפרנציאל ראשון
6. תנאי מספיק של קיצון מקומי בעזרת דיפרנציאל שני
7. הנזגרות החלקיות של פרמטריזציה לפי הפרמטרים מהווים בסיס למישור המשיק (המשפט ב-R3)
המבחן לא משותף ומי שצריך לעבור קבוצה למבחן צריך אישור ממלי ו\או מהבוחנות, נשלח מייל
ארז! אתה יכול בבקשה להעלות כבר את הפתרונות לתרגילים?!?!?!
==שאלה==
בבעיות קיצון עם אילוצים, יש משהו שלא כ"כ ברור לי: הרבה פעמים כדי לחלץ את x,y,z מהמשוואת המורכבות, יש לחלק בדלתא, או בביטויים כמו x-z וכו'. האם מותר לעשות את זה?
:ומה השיטה לבדוק האם מדובר במקסימום או מינימום? האם כדאי להציב בפונקציה ולראות למשל, שאם עבור נק' אחת יוצא ערך חיובי ועבור נקודה שניה יוצא ערך שלילי, אז ברור שהערך הראשון -> מקסימום והשני ->מינימום? (בהנחה שיצאו שני ערכים למשל)
או לגזור את L פעמיים..?
:שאלה נוספת: בבעיות קיצון עם אילוצים כאשר מגבילים את התחום לכדור למשל, צריך לבדוק בתוך הכדור ובשפה שלו בנפרד, נכון?
:: כשמחלקים בביטוי כמו <math>\ x-z</math> מניחים במובלע ש-<math>\ x\neq z</math>; אם יש בזה צורך, כדאי לנתח בנפרד את ההתנהגות של הפונקציה בקבוצה הפתוחה <math>\ x\neq z</math>, ובקבוצה הסגורה <math>\ x=z</math> (זה, כמובן, אילוץ).
:: ההתנהגות של הפונקציה בסביבה של נקודה חשודה תלויה בתבנית הריבועית <math>\ D^2f</math>: אם היא חיובית לחלוטין זו נקודת מינימום (במובן החזק), ואם זו נקודת מינימום (במובן החלש) אז התבנית חיובית. (אם התבנית אינה חיובית אז הנקודה אינה נקודת מינימום; בכך שהתבנית חיובית סתם אין די כדי לכפות על הנקודה להיות נקודת מינימום).
:: אם האילוץ הוא מהצורה <math>\ g(x)\geq 0</math> יש לבדוק בנפרד את התחום הפתוח <math>\ g(x)>0</math> ואת התחום הסגור <math>\ g(x)=0</math>. [[משתמש:עוזי ו.|עוזי ו.]] 20:23, 16 בינואר 2011 (IST)
::תודה רבה. אז בעצם, בקצרה, כדי לבדוק אם הנקודה שהתקבלה היא מינימום חזק/מקסימום חזק, צריך לחשב את מטריצת הHesse של F (ולא L)?
==שאלה==
נתונה הפונקציה f(x,y) = Ax^2 + 2Bxy + cy^2, וצריך למצוא נק' קיצון מקומיות תחת האילוץ x^2+y^2=1. לא ממש הצלחתי לפתור את התרגיל בעזרת לגרנז'. עזרה, מישהו?
== מבחן אצל אגרנובוסקי ==
מישהו יכול לפרט מה בדיוק צריך בהוכחה 2,4
ויהיה ממש נחמד אם מישהו יעלה את ההוכחות עצמן
==שאלה ממבחן וסתם שאלה==
האם באמת קיימת פונקציה דיפרנציאבילית מR2 לR2 כך שהיעקוביאן שלה לא מתאפס והיא איננה חח"ע? והאם מישהו יכול להסביר מה המשמעות של התאפסות היעקוביאן בנקודה מסוימת? איך זה משפיע על התנהגות הפונקציה בנקודה?
לקבוצה של אגרנובסקי הנחמד, נצטרך לדעת איך הופכים כל משטחים לצורה קנונית? ולדעת את השמות שלהם?
:(לא ארז) אם הבנתי נכון, לפי משפט הפונקציה ההפוכה שלמדנו (בהרצאה ובתרגול), אם פונקציה היא דיפרנציאבילית (ממחלקה C1) והדטטרמיננטה של מטריצת היעקובי שלה לא מתאפסת, הפונקציה היא דיפאומורפיזם בסביבת הנקודה, ודיפאומורפיזם גורר חח"ע (ועל).
:כלומר, אם התנאים שהעלת מתקיימים, הפונקציה בהכרח חח"ע (והפיכה). המשמעות של התאפסות היעקוביאן, בנקודה מסויימת, עבור פונקציה דיפרנציאבילית, היא שה'נגזרת' של הפונקציה בנקודה היא 0, וזהו תנאי הכרחי לנקודת קיצון, כלומר הנקודה היא או מקסימום או מינימום או איזהשהו סוג של אוכף.
::תודה על התשובה אבל א. דיפ' זה לא C1, נגזרות חלקיות רציפות זה C1 (חזק יותר מדיפ'). ב. המשפט מבטיח הפיכות מקומית, לא גלובלית -- אז גם אם המשפט היה עובד בנסיבות האלה עדיין הפונקציה לאו דווקא חח"ע באופן כללי. ג. התכוונתי ליעקוביאן כדטרמיננטה (כמו בשאלה הראשונה) לכן הנגזרות לאו דווקא מתאפסות, העמודות יכולות להיות פשוט תלויות לינארית.
:::א. נכון, אבל יכול להיות שזה לא משפיע. ב. אם יש הפיכות מקומית בכל נקודה (בכל R2, במקרה הזה) אז בכל סביבה (שנרצה) הפו' חח"ע, אז היא גם חח"ע גלובלית. ג. צודק.
::::א. יכול להיות, אבל זה מה שהמשפט דורש. ב. אני חושב שזה יותר מורכב מזה. אם תמיד הסביבה המובטחת לנו מהמשפט בתמונה היא אחת קבועה למשל, אין לנו באמת הפיכות גלובלית, רק הפיכות בין הסביבה הקבועה לכל סביבה אחרת.
:::::א. נכון, זה באמת בעייה. ב. אם, אבל, תנאי המשפט כן מתקיימים בכל R2, אז לכל נקודה, קיימת סביבה של הנקודה שבא הפונקציה הפוכה, ולכן כן יש הפיכות בכל R2. אם בשלילה הייתה נקודה שבא הפונקציה לא הפיכה, ניקח את הנקודה הזאת, והיא מקיימת את תנאי המשפט (אם באמת הם מתקיימים בכל R2), ואז קיימת סביבה שבה הפונקציה הפיכה, כלומר הפונקציה הפיכה בכל R2 ואין שום נקודה שבה זה יכול להתהפך משום מה.
לקבוצה של אגרנובסקי הנחמד, נצטרך לדעת איך הופכים כל משטחים לצורה קנונית? ולדעת את השמות שלהם?
הוא אמר שאת השמות צריך לדעת ולגבי הפיכה וצורה קנונית, לא עשינו את זה בהרצאות
== הוכחות למבחן ==
מישהו יכול להעלות את המשפטים שצריך לדעת להוכיח במבחן (הקבוצה של פרופסור אגרנובוסקי) ואת ההוכחות שלהם בבקשה?
== תרגיל 8 ==
מה עם פתרונות לתרגיל 8??
:יועלו עוד מעט.
== שתי שאלות ==
ראיתי שאלה במבחן של אגרנובסקי:
שמבקשת לפתור את האינטגרל הבא לפי משפט גרין:
(x^2+2y)dx +(4x-3y^2)dy)
והתחום הוא האליפסה:
x^2/a^2 + y^2/b^2 =1
הצבתי בנוסחא של משפט גרין אבל אני לא מבין מה הטווח של האינטגרלים.
אשמח לעזרה כאן.
והדבר השני, לא הבנתי למה בפיתרון של שאלה 5 בתרגיל 8, את התחומים של הזווית והרדיוס.
אשמח אם מישהו יסביר לי, תודה
== שאלה ==
דבר ראשון, לקבוצה של אגרונובסקי, ראיתי הרבה שאלות במבחנים שלו "זהה את הגרף הבא ושרטט אותו (בערך)"
אנחנו אמורים לדעת לפתור שאלות כאלה?
דבר שני, ראיתי שאלה למצוא את המקסימום של קו ישר כלשהו על מעגל היחידה. מצאתי את נקודות הקיצון, אך אני לא יודע איך אני יכול לקבוע את סוגן,
מכיוון שמטריצת ההסה של קו ישר היא 0, (כי לקו עצמו אין נקודות קיצון)...
מה עליי לעשות? ברור כי אחת מהן היא מקס' והשני מינ', אבל איך אני יכול להסביר את זה?
:(לא ארז)תמצא את הערך שלהן f(a), f(b) qq תראה מי הקטנה ומי הגדולה (תציב נקודות בסביבה ותראה שהן קטנות/גדולות מהערך בנקודה ההיא) ואז תקבע אם זה מקסימום /מינימום. (הוא אמר שזו הפרקטיקה בתרגילים מהסוג הזה)
== הוכחות (אגרנובוסקי) ==
יש מצב מישהו מעלה את ההוכחות למשפטים שצריך לדעת להוכיח למבחן,
זה ממש יעזור, תודה.
== תרגיל 8 ==
לקבוצה של אגרונובסקי, כל תרגיל 8 כלול בחומר למבחן, ואם לא אז איזה שאלות כן?
== תשובה ל2 שאלות ==
x=arcos טטה
y=brsin טטה
אר בין 0 ל1
טטה בין 0 ל2 פאי
== ציוני תרגיל ==
מתי יפורסמו ציוני התרגילים?
== פתרון למבחן ==
ארז מתי יעלו פתרון למבחן?
כן אם אפשר בבקשה של שתי הקבוצות זה ממש חשובב
==שאלה==
מה עם ציוני התרגיל???
:עוד לא התקבלו כולם. או שנפרסם מחר רשימה חלקית, או שנחכה לציונים המלאים.--[[משתמש:ארז שיינר|ארז שיינר]] 18:02, 30 בינואר 2011 (IST)
== תרגילי בית ==
מה הייתה חובת ההגשה בתרגילי בית בקורס?
== פיתרון למבחן ==
מתי יעלה פיתרון למבחן?