גזירה איפוטנציאלית והיקבוב ההפוך
הוצג| English | משמעות |
|---|---|
| local inverse/ˈləʊkl ɪnˈvɜːs/ | הפוך מקומי |
| Jacobian matrix/dʒæˈkəʊbɪən ˈmeɪtrɪks/ | מטריצת יקובי |
החלטה לפני תשובה
- שני קואורדינטות יציאה יכולות לתלות בשניהם הקלט. שחזור רגישות הקלט דורש אז את היפוך מטריצת הנגזרות כולה, ולא פשוט הפיכת רכיב אחד.
- המטרה שלך: לגזור מערכת אינפלסיטי זוגית כמערכת ליניארית.
קראו את הקשר
- עבור פונקציה הניתנת לגזירה F(u,v)=(x,y)=(f(u,v),g(u,v)), הג'קוביאן שלה הוא J=[[f_u,f_v],[g_u,g_v]]. שינויים קטנים מקיימים [dx,dy]ᵀ=J[du,dv]ᵀ ברמת הסדר הראשון. כדי למצוא את u_x תוך שמירה על y קבוע, גזור את שתי משוואות ההגדרה לפי x: f_u u_x+f_v v_x=1 ו- g_u u_x+g_v v_x=0. אלו מערכת ליניארית זוגית, ולא שתי כללי הפיכה סקלארית עצמאיות.
- השתמש בנקבע ג'קוביאן שאינו אפס כדי להצדיק אינברס מקומי.
For x=u+v,y=u+2v, what is u_x when y is held fixed?
Difficulty 1/5 · 100 coins + a small bonus on first completion today
The inverse matrix of [[1,1],[1,2]] is [[2,−1],[−1,1]]. Its top-left entry is u_x=2.
השתמשו בכלל המגדיר
- אם f ו-g הן רציפות-נגזירות בסביבת הנקודה ו-det J=f_u g_v−f_v g_u אינו אפס שם, משפט הפונקציה ההפוכה מספק הופכה מקומית נגזרת. הנגזרת שלה היא J⁻¹=(1/det J)[[g_v,−f_v],[−g_u,f_u]]. ולכן u_x=g_v/det J, u_y=−f_v/det J, v_x=−g_u/det J ו-v_y=f_u/det J. יש להעריך כל נגזרת בנקודה המתאימה. הופכה מקומית צריכה להימתח להופכה גלובלית.
- הבדל בין נגזרות חלקיות הפוכות לבין כללי הפיכה סקלארית.
J=[[2,1],[1,−1]]. What is v_y in the inverse derivative matrix?
Difficulty 1/5 · 100 coins + a small bonus on first completion today
det J=−3. The bottom-right inverse entry is 2/(−3)=−2/3.
בדיקת התנאים
- עבור משוואות איפלוסיות H(u,v,x,y)=0 ו-K(u,v,x,y)=0, נגזרים תוך שמירה על הקואורדינה החופשית הנדרשת. פותרים [[H_u,H_v],[K_u,K_v]][u_x,v_x]ᵀ=−[H_x,K_x]ᵀ. המכפלה המוצלעת במשתנים המבוקשים u,v חייבת להיות אינה אפס כדי להשתמש במשפט הפונקציה האיפלוסית הרגיל. סימנים בצד ימין נובעים מהעברת הנגזرات הידועות לצד השני. אם המכפלה המוצלעת מתאפסת, משפט זה אינו מכריע; הוא לא מוכיח לבד שאין הופכה או פתרון איפלוסיטיבי.
- הבדל בין נגזרות חלקיות הפוכות לבין כללי הפיכה סקלארית.
קח x=u²+v ו-y=u−v. ב-(u,v)=(1,0), התוצאה היא (1,1), וה-J=[[2,1],[1,−1]] בעל נקבע −3. ההפוך הוא [[1/3,1/3],[1/3,−2/3]], ולכן u_x=1/3 ו-v_y=−2/3 שם. הכפלת J בהפוך זו נותנת את המטריצה הזהות. ההפיכה 1/f_u=1/2 אינה u_x כי שינוי ב-u דורש גם שינוי ב-v כדי לשמור על y קבוע.
The determinant of J=[[2,1],[1,−1]] is ____.
Difficulty 1/5 · 100 coins + a small bonus on first completion today
Compute 2·(−1)−1·1=−3.
יישמו את פורמט המשימה
- הקיצור הסקלארי du/dx=1/(dx/du) תקף עבור אינברס בעל משתנה אחד עם נגזרה שאינה אפס, אך בדרך כלל נכשל במערכת זוגית כי v משתנה כדי לשמור על y קבוע. עבור x=u+v,y=u+2v, ה-J=[[1,1],[1,2]] בעל נקבע 1 וההפוך הוא [[2,−1],[−1,1]]. לכן u_x=2 בעוד ש-1/f_u=1. ג'קוביאן הפוך ממיר רגישויות דיפרנציאליות; אינטגרל שינוי משתנים לעומת זאת משתמש בנקבע המוחלט לקנה מידה של שטח או נפח, ולא ברכיב הפוך נבחר.
- הבדל בין נגזרות חלקיות הפוכות לבין כללי הפיכה סקלארית.
גזור את שתי המשוואות וצין איזו תוצאה מוחזקת קבועה. נקבע שאינו אפס מבטיח אינברס מקומי תחת תנאי הרגולריות; נקבע אפס אינו הוכחה לכך שלא ניתן. השתמש ברכיב הפוך לרגישויות ובנקבע המוחלט לאינטגרציה.
איזו תשובה מתאימה למקרה זה?
גזירה של מערכת אינפלסיטי מושתתת כמערכת ליניארית
A zero Jacobian determinant proves that the underlying map has no inverse of any kind.
Difficulty 1/5 · 100 coins + a small bonus on first completion today
The usual differentiable inverse theorem is inconclusive. For example (u,v)↦(u³,v) is bijective but has zero determinant at u=0 and an inverse not differentiable there.
שמרו על ההבחנות
- מטריצת ג'קוביאן — המטריצה של הנגזרות החלקיות הראשונות של פונקציה וקטורית-ערךית.
- אינברס מקומי — אינברס המוגדר על שכנות של נקודת קלט ויציאה מסוימת.
- גזור מערכת אינפלסיטי זוגית כמערכת ליניארית.
- השתמש בנקבע ג'קוביאן שאינו אפס כדי להצדיק אינברס מקומי.
- הבדל בין נגזרות חלקיות הפוכות לבין כללי הפיכה סקלארית.
Match each term with its precise meaning in this lesson.
Difficulty 2/5 · 140 coins + a small bonus on first completion today
Keep the distinctions stated in the teaching example.
Put this lesson’s reasoning or event sequence in order.
Difficulty 3/5 · 200 coins + a small bonus on first completion today
The order follows the stated process; check each stage before the next.