88-230 אינפי 3 סמסטר א תשעג/תיכוניסטים/פתרון מועד א
שאלה 1
סעיף א
עבור נקודות [math]\displaystyle{ (x,y,z)\neq (0,0,0) }[/math] פשוט גוזרים את הפונקציה לפי [math]\displaystyle{ x }[/math]
[math]\displaystyle{ f_x(x,y,z)=\frac{zy\cos(xy){(x^2+y^2+z^2)}^\frac{1}{3}-\frac{1}{3}{(x^2+y^2+z^2)}^{-\frac{2}{3}}\cdot (2x)\cdot{(z\sin(xy))}}{{(x^2+y^2+z^2)}^\frac{2}{3}} }[/math]
עבור הנקודה [math]\displaystyle{ (x,y,z)=(0,0,0) }[/math] קל לראות ש
[math]\displaystyle{ \lim_{t\rightarrow 0}\frac{f(t,0,0)-f(0,0,0)}{t}=\lim_{t\rightarrow 0}\frac{0-0}{t}=0 }[/math]
סעיף ב
כמו שראינו בקלות ש [math]\displaystyle{ f_x(0,0,0)=0 }[/math] קל לראות שגם [math]\displaystyle{ f_y(0,0,0)=0 }[/math] ו [math]\displaystyle{ f_z(0,0,0)=0 }[/math].
ראשית נוודא ש [math]\displaystyle{ f }[/math] רציפה (לא חייבים, אבל בדר"כ שווה לבדוק. כי אם היא לא רציפה אז ברור שהיא לא דיפרנציאבילית).
נשים לב ש
[math]\displaystyle{ |\frac{z\sin(xy)}{{(x^2+y^2+z^2)}^{\frac{1}{3}}}|\leq |\frac{z}{{(x^2+y^2+z^2)}^{\frac{1}{3}}}|\leq |\frac{z}{{(z^2)}^{\frac{1}{3}}}|=|z^{\frac{1}{3}}|\rightarrow 0 }[/math]
ולכן [math]\displaystyle{ f }[/math] רציפה.
נבדוק דיפרנציאביליות
צריך לבדוק אם [math]\displaystyle{ \epsilon (h_1,h_2,h_3) }[/math] המוגדרת לפי:
[math]\displaystyle{ f(h_1,h_2,h_3)-f(0,0,0)=f_x(0,0,0)h_1+f_y(0,0,0)h_2+f_z(0,0,0)h_3+\epsilon(h_1,h_2,h_3)\sqrt{h_1^2+h_2^2+h_3^2} }[/math]
מתכנסת ל [math]\displaystyle{ 0 }[/math] בנקודה [math]\displaystyle{ (0,0,0) }[/math].
במקרה שלנו צריך לבדוק את:
[math]\displaystyle{ \lim_{(h_1,h_2,h_3)\rightarrow (0,0,0)}\frac{h_3\sin (h_1 h_2)}{{(h_1^2+h_2^2+h_3^2)}^\frac{1}{3}\cdot {(h_1^2+h_2^2+h_3^2)}^{\frac{1}{2}}} = \lim_{(h_1,h_2,h_3)\rightarrow (0,0,0)}\frac{h_3 h_1 h_2}{{(h_1^2+h_2^2+h_3^2)}^\frac{5}{6}}\frac{\sin(h_1 h_2)}{h_1 h_2} }[/math]
היות ו
[math]\displaystyle{ \lim_{(h_1,h_2,h_3)\rightarrow (0,0,0)} \frac{\sin(h_1 h_2)}{h_1 h_2} = 1 }[/math]
נותר לבדוק את
[math]\displaystyle{ \lim_{(h_1,h_2,h_3)\rightarrow (0,0,0)}\frac{h_3 h_1 h_2}{{(h_1^2+h_2^2+h_3^2)}^\frac{5}{6}} }[/math]
נשים לב ש
[math]\displaystyle{ |\frac{h_3 h_1 h_2}{{(h_1^2+h_2^2+h_3^2)}^\frac{5}{6}}|\leq |\frac{h_3 h_1 h_2}{{(h_1^2+h_2^2)}^\frac{5}{6}}| \leq |h_3||\frac{h_1 h_2}{{(2h_1 h_2)}^\frac{5}{6}}|= \frac{1}{2^{\frac{5}{6}}}|h_3||{(h_1 h_2)}^{\frac{1}{6}}|\rightarrow 0 }[/math]
דרך אחרת (שימושית כאשר יש במכנה דברים בסגנון [math]\displaystyle{ ||h|| }[/math]):
עוברים לקוארדינטות כדוריות
[math]\displaystyle{ h_1 = r\cos \theta \sin \varphi,\quad h_2 = r\sin \theta \sin \varphi ,\quad h_3 = r \cos \varphi }[/math]
ואז צריך לחשב גבול
[math]\displaystyle{ \lim_{r\rightarrow 0}\frac {r^3 \cos \theta \sin \theta \sin ^2 \varphi \cos \varphi}{{(r^2)}^{\frac{5}{6}}} =\lim_{r\rightarrow 0} {r^{\frac{8}{6}} \cos \theta \sin \theta \sin ^2 \varphi \cos \varphi}=0 }[/math]
ולכן [math]\displaystyle{ f }[/math] דיפרנציאבילית ב [math]\displaystyle{ (0,0,0) }[/math].
שאלה 3
[math]\displaystyle{ x^2+y^2=\frac{1}{2}z^2 }[/math]
[math]\displaystyle{ x+y+z=2 }[/math]
הנגזרות החלקיות של הפונקציות
[math]\displaystyle{ f_1(x,y,z)=x^2+y^2-\frac{1}{2}z^2=0 }[/math]
[math]\displaystyle{ f_2(x,y,z)=x+y+z-2=0 }[/math]
קיימות עד איזה סדר שרוצים.
כמו כן, הנקודה [math]\displaystyle{ (1,-1,2) }[/math] מקיימת את מערכת המשוואות.
נבדוק את התנאי של משפט הפונקציה הסתומה
[math]\displaystyle{ \begin{bmatrix} \frac{\partial f_1}{\partial x} & \frac{\partial f_1}{\partial y} \\ \frac{\partial f_2}{\partial x} & \frac{\partial f_2}{\partial y} \end{bmatrix} =\begin{bmatrix} 2x & 2y \\ 1 & 1 \end{bmatrix} }[/math]
בנקודה [math]\displaystyle{ (1,-1,2) }[/math] נקבל את המטריצה
[math]\displaystyle{ \begin{bmatrix} 2 & -2 \\ 1 & 1 \end{bmatrix} }[/math]
שהיא מטריצה הפיכה.
לכן לפי משפט הפונקציה הסתומה, אכן מוגדרות פונקציות של [math]\displaystyle{ x,y }[/math] לפי [math]\displaystyle{ z }[/math]
לפי משפט הפונקציה הסתומה, קיימת סביבה של הנקודה
[math]\displaystyle{ (1,-1,2) }[/math] שבה מתקיים:
[math]\displaystyle{ \begin{bmatrix} \frac{\partial f_1}{\partial x} & \frac{\partial f_1}{\partial y} \\ \frac{\partial f_2}{\partial x} & \frac{\partial f_2}{\partial y} \end{bmatrix} \begin{bmatrix} \frac{dx}{dz} \\ \frac{dy}{dz} \end{bmatrix} = -\begin{bmatrix} \frac{\partial f_1}{\partial z} \\ \frac{\partial f_1}{\partial z} \end{bmatrix} }[/math]
כלומר במקרה שלנו:
[math]\displaystyle{ \begin{bmatrix} 2x & 2y \\ 1 & 1 \end{bmatrix} \begin{bmatrix} \frac{dx}{dz} \\ \frac{dy}{dz} \end{bmatrix} = \begin{bmatrix} z \\ -1 \end{bmatrix} }[/math]
אם פותרים את המשוואות
רואים ש
[math]\displaystyle{ \begin{bmatrix} \frac{dx}{dz} \\ \frac{dy}{dz} \end{bmatrix} = \frac{1}{2x-2y} \begin{bmatrix} 1 & -2y \\ -1 & 2x \end{bmatrix} \begin{bmatrix} z \\ -1 \end{bmatrix} }[/math]
כלומר:
[math]\displaystyle{ \frac{dx}{dz} = \frac{z+2y}{2x-2y},\quad \frac{dy}{dz}=\frac{-z-2x}{2x-2y} }[/math]
מכאן, על ידי הצבה של [math]\displaystyle{ (1,-1,2) }[/math] קל לראות שבנקודה [math]\displaystyle{ z=2 }[/math] מתקיים
[math]\displaystyle{ \frac{dx}{dz}(2)=0,\quad \frac{dy}{dz}(2)=-1 }[/math]
כמו כן נחשב את [math]\displaystyle{ x''(z) }[/math] בסביבה של [math]\displaystyle{ (1,-1,2) }[/math] על ידי גזירה רגילה לפי [math]\displaystyle{ z }[/math] (אבל נשים לב ש [math]\displaystyle{ x,y }[/math] הם פונקציות של [math]\displaystyle{ z }[/math]):
[math]\displaystyle{ x''(z)=\frac{(1+2y')(2x-2y)-(z+2y)(2x'-2y')}{(2x-2y)^2} }[/math]
נציב [math]\displaystyle{ x=1,y=-1,z=2,x'=0,y'=-1 }[/math] ונקבל:
[math]\displaystyle{ x''(2)=\frac{(1-2)4-(0)(0+2)}{16}=-\frac{1}{4} }[/math]
שאלה 4
סעיף א
המשוואות המדוברות דיפרנציאביליות ברציפות והגרדיאנט של התנאי הוא:
[math]\displaystyle{ \nabla g = (\frac{2x}{a^2},\frac{2y}{b^2},\frac{2z}{c^2}) }[/math]
שהוא לא מתאפס בנקודות שמקיימות את התנאי.
לכן אפשר להשתמש בכופלי לגרנז ללא חשש.
שימוש בכופלי לגרנז מוביל אל המשוואות הבאות:
[math]\displaystyle{ 2x+\lambda \frac{2x}{a^2}=0 }[/math]
[math]\displaystyle{ 2y+\lambda \frac{2y}{b^2}=0 }[/math]
[math]\displaystyle{ 2z+\lambda \frac{2z}{c^2}=0 }[/math]
[math]\displaystyle{ \frac{x^2}{a^2}+\frac{y^2}{b^2}+\frac{z^2}{c^2}=1 }[/math]
אם נסתכל על שלושת המשוואות הראשונות, נקבל מערכת משוואות לינארית
[math]\displaystyle{ \begin{bmatrix} 2+\frac{2 \lambda}{a^2} & 0 & 0 \\ 0 & 2+\frac{2 \lambda}{b^2} & 0 \\ 0 & 0 & 2+\frac{2 \lambda}{c^2} \end{bmatrix} \begin{bmatrix} x \\ y \\ z \end{bmatrix} = \begin{bmatrix} 0 \\ 0 \\ 0 \end{bmatrix} }[/math]
אם המטריצה הפיכה, אז הפתרון היחיד הוא
[math]\displaystyle{ x=0,\quad y=0, \quad z=0 }[/math]
וזה לא יקיים את האילוץ
לכן בהכרח המטריצה לא הפיכה, כלומר
[math]\displaystyle{ \lambda \in \{-a^2,-b^2,-c^2\} }[/math]
בגלל ש [math]\displaystyle{ a,b,c }[/math] מספרים שונים אלה שלוש אפשרויות שונות.
אם [math]\displaystyle{ \lambda = -a^2 }[/math] נקבל שבהכרח [math]\displaystyle{ y=z=0 }[/math] ולפי האילוץ
[math]\displaystyle{ \frac{x^2}{a^2}=1 }[/math] כלומר [math]\displaystyle{ x=\pm a }[/math].
בדומה שתי האפשרויות האחרות הן:
[math]\displaystyle{ x=0 ,\quad y=\pm b ,z=0 }[/math]
[math]\displaystyle{ x=0 ,\quad y=0 ,\quad z=\pm c }[/math]
כעת נותר להחליט אם אלה אקסטרימלים (נקודות קיצון).
אפשר להפעיל שיקול כזה: היות ו [math]\displaystyle{ f }[/math] רציפה על קבוצה סגורה וחסומה, יש לה נקודות מינמום ומקסימום גלובאליות (שהן בפרט מקומיות). ידוע שנקודות הקיצון המקומיות הן פתרונות של משוואות לגרנז'.
לכן שניים מהפתרונות חייבים להיות מינימום ומקסימום גלובאליים.
היות ו [math]\displaystyle{ a\gt b\gt c\gt 0 }[/math] ברור ש
[math]\displaystyle{ (\pm a ,0,0) }[/math] הן מקסימום גלובאלי.
ו [math]\displaystyle{ (0,0,\pm c) }[/math] הוא מינימום גלובאלי.
כעת נותר להחליט האם [math]\displaystyle{ (0,\pm b,0) }[/math] היא גם נקודת קיצון.
אפשר להפעיל שיקול כזה:
אם נסתכל על ההטלה על המישור [math]\displaystyle{ z=0 }[/math] נקבל חישוב של [math]\displaystyle{ x^2+y^2 }[/math] תחת האילוץ [math]\displaystyle{ \frac{x^2}{a^2}+\frac{y^2}{b^2} }[/math]
במצב כזה, [math]\displaystyle{ (0,\pm b) }[/math] היא נקודת מינימום.
אם נסתכל על ההטלה למישור [math]\displaystyle{ x=0 }[/math] נקבל ש [math]\displaystyle{ (\pm b,0) }[/math] היא נקודת מקסימום.
ולכן [math]\displaystyle{ (0,\pm b,0) }[/math] היא לא נקודת קיצון.
לסיכום נקודות הקיצון הן:
נקודות מקסימום [math]\displaystyle{ (a,0,0) \quad (-a,0,0) }[/math]
נקודות מינימום: [math]\displaystyle{ (0,0,c) \quad (0,0,-c) }[/math]
סעיף ב
שאלה 5
סעיף ב
(אתם מוזמנים לערוך את הפתרון, הוא מופיע גם בדף השאלות והתשובות. התשובה הסופית נכונה.)
מצא את נפח הגוף החסום ע"י המשטחים הבאים: [math]\displaystyle{ z=x^{2}+y^{2},z=0,x^{2}+y^{2}=x,x^{2}+y^{2}=2x }[/math]
גישה פשוטה שנראית לי נכונה: בוא נגיד ש D הוא התחום הנ"ל. [math]\displaystyle{ \int _D 1 dxdydz = \int _E x^{2}+y^{2} dxdy }[/math]
כאשר E זה השטח שחסום בין המעגלים [math]\displaystyle{ x^{2}+y^{2}=2x,x^{2}+y^{2}=x }[/math] וזה נובע בקלות ממשפט פרוביני (ה"מורחב").
אותם עיגולים בכתיב קצת שונה הם [math]\displaystyle{ (x-1)^{2}+y^{2} \leq 1, (x-0.5)^{2}+y^{2} \leq 0.25 }[/math]. בואו נגיד ש G זה התחום שהוא העיגול הראשון (הגדול) ו F הוא העיגול הקטן, אז קיבלנו:
[math]\displaystyle{ \int _E x^{2}+y^{2} dxdy = \int _G x^{2}+y^{2} dxdy - \int _F x^{2}+y^{2} dxdy }[/math]
בשביל הפשטות בואו נזיז את העיגולים G,F שיהיו בראשית הצירים ז"א עיגולים ברדיוסים 1,0.5 בהתאמה סביב ראשית הצירים, ונקרא להם 'G',F. אז קיבלנו עכשיו שכל הלמעלה שווה ל
[math]\displaystyle{ \int _{G'} x^{2}+2x+1+y^{2} dxdy - \int _{F'} x^{2}+x+0.25 + y^{2} dxdy }[/math]
אבל עיגול סביב ראשית הצירים הוא סימטרי ביחס לציר x, לכן הביטויים "x" ו "2x" לא רלוונטיים.
[math]\displaystyle{ \int _{G'} x^{2}+1+y^{2} dxdy - \int _{F'} x^{2}+0.25 + y^{2} dxdy }[/math]
עכשיו, מה זה [math]\displaystyle{ x^{2}+y^{2} }[/math] בהצבה פולארית? זה [math]\displaystyle{ r^{2} }[/math]. אז אם באמת נעבור להצגה פולארית בכל אחד מהאינטגרלים יהיה איזה [math]\displaystyle{ r^{3} }[/math] [בגלל ההצבה הוספנו r] וזה אינטגרל שנעשה על r-ים מתאימים ועל זווית מ 0 עד 2pi.
לכן סה"כ קיבלנו (שימו לב שאנחנו יודעים כמה זה שטח של עיגול, אז אינטגרציה של קבוע על מעגל זה קל): [math]\displaystyle{ ( \pi 1 + 2\pi \cdot 0.25 \cdot (1-0)) - ( \pi \cdot 0.25 \cdot 0.25 + 2\pi \cdot 0.25 \cdot (\frac{1}{16}-0)) = \frac{45}{32} \pi }[/math]