Professional Documents
Culture Documents
הרצאות
ד"ר רבייב דניאל
4ביולי 2020
הערה :ייתכנו טעויות דפוס ,אתם מוזמנים ליידע אותי בכל טעות אפשרית.
תוכן עניינים
4 Iהמרחב
4 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . וקטורים 1
5 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . קורדינטות קרטזיות 1.1
6 היטל . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1.2
6 המכפלה הסקלרית . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1.3
7 המכפלה הוקטורית . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1.4
9 המכפלה המעורבת . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1.5
10 גיאומטריה אנליטית . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2
10 ישרים . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2.1
11 מרחק מנקודה לישר . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2.1.1
11 מצב הדדי בין ישרים . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2.1.2
12 מישורים . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2.2
13 מרחק מנקודה למישור . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2.2.1
14 מצב הדדי בין מישורים . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2.2.2
14 משטחים . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
14 משטחים גליליים . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3.1
14 משטחים ריבועיים . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3.2
15 פונקציות ־ מבוא . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
17 מסילות . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
20 טופולוגיה . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
20 המרחב האוקלידי . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6.1
22 סדרות . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6.2
1
תוכן עניינים
2 danielr@technion.ac.il
תוכן עניינים
3 danielr@technion.ac.il
וקטורים 1
חלק I
המרחב
וקטורים 1
מבדילים בין שני סוגי מושגים:
• סקלרים הם מספרים ממשיים אשר מייצגים בדרך כלל גודל פיזיקלי ,לדוגמה :מסה או טמפרטורה.
הגדרות ופעולות:
• וקטור )גיאומטרי( זה קטע מכוון 2עם התחלה וסוף ,מסמנים ABאו .a
• וקטור יחידה הוא וקטור שאורכו שווה ל־ ,1נהוג לסמן ̂.a
• הזווית בין שני וקטורים שונים מוקטור האפס מוגדרת כזווית המינימלית בין הוקטורים כאשר מוצא הוקטורים
זהה.
• נאמר כי וקטורים שווים אם הם בעלי אותו האורך והכיוון )לכל וקטור יש וקטור השווה לו אשר יוצא
מהראשית(.
• שני וקטורים מקבילים אם הם בעלי אותו הכיוון או בכיוונים מנוגדים )ואז הזווית ביניהם היא 0או π
בהתאמה(.
• סכום שני הוקטורים a, bהוא וקטור המסומן ב־ a + bאשר מוצאו הוא כמוצאו של aוסופו הוא כסופו של
) bכאשר נעתיק את bכך שמוצאו יתלכד עם סופו של .(a
• וקטור נגדי של וקטור aהוא וקטור באותו האורך אבל בכיוון מנוגד ,מסמנים .−a
• כפל בסקלר 0 6= α ∈ R 3של וקטור aהוא וקטור המסומן ב־ .αaזהו וקטור מקביל לוקטור aאך בעל
אורך התלוי בסקלר ,αמתקיים |.|αa| = |α||a
תכונות
4 danielr@technion.ac.il
וקטורים 1
.3צירוף לינארי של nהוקטורים a1 , ..., anהוא הוקטור , ni=1 αi aiכאשר α1 , ..., αn ∈ Rסקלרים.
P
טריוויאלי 4 .4תלות לינארית :נאמר כי nהוקטורים a1 , ..., anתלויים לינארית אם קיים צירוף לינארי לא
המקיים . ni=1 αi ai = 0אחרת ,נאמר כי הוקטורים בלתי תלויים לינארית.
P
הוכחה :כיוון ראשון :אם הוקטורים a, bתלויים לינארית אז יש צירוף לינארי לא טריוויאלי ,αa + βb = 0כאשר
בה"כ ,α 6= 0מכאן .a = − αβ b
כיוון שני :אם הוקטורים מקבילים אז קיים סקלר αהמקיים .a = αbמכאן ,a = αbכלומר 1 · a − αb = 0
וקיבלנו צירוף לינארי לא טריוויאלי.
משפט 1.2אם u, v, wבת"ל אז כל וקטור a 6= 0ניתן להציג באופן יחיד כצ"ל של .u, v, w
5 danielr@technion.ac.il
וקטורים 1
.3בהינתן שתי נקודות ) ,A = (a1 , b1 , c1 ) , B = (a2 , b2 , c2הוקטור המחבר בין שתי הנקודות מוגדר ומסומן
) .AB = (a2 − a1 , b2 − b1 , c2 − c1
√
.4בהינתן וקטור ) ,v = (a, b, cאורך הוקטור נתון על־ידי .|v| = a2 + b2 + c2נסיק כי המרחק בין שתי
נקודות שווה לאורך הוקטור המחבר בניהן.
היטל 1.2
בהינתן שני וקטורים שונים מאפס a, bההיטל של aעל bזהו וקטור אשר מקביל לוקטור ,bגודלו הוא ||a| · |cos θ
ומגמתו כמגמת bאם θזווית חדה ומגמה מנוגדת אם θזווית קהה .באופן מפורש ,ההיטל הוא:
b
· |a| · cos θ
b
הערה :אם אחד הוקטורים שווה לוקטור האפס ,המכפלה הסקלרית מוגדרת כאפס.
.|a|2 = a · a .1
.a · b = b · a .2
a·b
= .cos θ ||a|·|b
.3
α a · b = (αa) · b = a · αb .4
. a + b · c = a · c + b · c .5
6 danielr@technion.ac.il
וקטורים 1
הערות:
.1בסעיפים 3, 7, 8מניחים כי הוקטורים שונים מאפס .כמו כן ,המקסימליות והמינימליות היא כאשר לוקחים
וקטורים בעלי אורך קבוע ומשנים את הזווית בין הוקטורים.
î · î = ĵ · ĵ = k̂ · k̂ = 1
î · ĵ = ĵ · k̂ = k̂ · î = 0
דוגמה :נחשב באופן אחר את ההיטל של ) ā = (1, 0על הוקטור ):b̄ = (1, 1
a·b )(1, 0) · (1, 1 )(1, 1 )1 (1, 1 1 1
√ = ̂· b √· = √ · √= ,
b 12 + 12 12 + 12 2 2 2 2
7 danielr@technion.ac.il
וקטורים 1
.2כיוון הוקטור הוא בכיוון אשר ניצב למישור הנפרש על־ידי a, bומגמתו נקבעת כך ששלושת הוקטורים:
a, b, a × bיוצרים מערכת ימנית.
הערה :אם הוקטורים תלויים לינארית אז המכפלה הוקטורית בניהם היא וקטור האפס.
= a21 b22 + a21 b23 + a22 b21 + a22 b23 + a23 b21 + a23 b22 − 2a1 b1 a2 b2 − 2a1 b1 a3 b3 − 2a2 b2 a3 b3
= (a2 b3 − a3 b2 )2 + (a3 b1 − a1 b3 )2 + (a1 b2 − a2 b1 )2 = |c|2
לפיכך .|c| = |a| · b · sin θ ,בנוסף:
כלומר cניצב ל־ .a, bמכאן ,הוא ניצב למישור הנפרש )נציין כי אם a, bת"ל אז מחישוב האורך .(c = 0לבסוף,
נותר להוכיח כי השלשה ̄ ā, b̄, cמהווה מערכת ימנית .בכדי לעשות זאת מחשבים את b × cלפי הנוסחה במשפט
ומראים )נשאיר זאת כתרגיל( שהזווית בין הוקטור המתקבל לוקטור ̄ aהיא חדה )על־ידי כך שמראים שהמכפלה
הסקלרית היא חיובית( וכן כי הזווית בין c × aלוקטור ̄ bהיא חדה.
.a × b = −b × a .1
8 danielr@technion.ac.il
וקטורים 1
a + b × c = a × c + b × c .4ובאותו האופן גם .c × a + b = c × a + c × b
דוגמה :נמצא את שטח המשולש שקדקודיו הם הנקודות ) ,A = (1, 1, 1) , B = (2, 1, 2) , C = (1, 2, 2וכן נמצא
וקטור יחידה המאונך למישור המכיל את המשולש .נבנה שני וקטורים המתאימים לצלעות המשולש:
שטח המשולש שווה לחצי משטח המקבילית הנוצרת על־ידי שני הוקטורים ,לכן ,שטח המשולש הוא:
√
1 1 √1 3
= |)AB × AC = |(−1, −1, 1
=1+1+1
2 2 2 2
לבסוף ,המשולש מונח על המישור הנפרש על־;ידי AB, ACוכידוע ,המכפלה הוקטורית מאונכת למישור
ונותר לנרמל את הוקטור:
הערה :אם a × b · c > 0אז השלשה a, b, cמגדירה מערכת ימנית.
9 danielr@technion.ac.il
גיאומטריה אנליטית 2
הערות:
.2ההגדרה הגיאומטרית פחות נוחה לצרכים חישוביים ,לשם כך נפתח את ההצגות הבאות:
הוקטור P0 Pמקביל לוקטור aאם ורק אם רכיבי הוקטור פרופורציונליים ,לכן נקבל:
x−x0 = y−y0 = z−z0
k m n
=l
k, m, n 6= 0
אם אחד הרכיבים בוקטור הכיוון שווה לאפס אז משווים את המונה המתאים לאפס.
)ב( הצגה פרמטרית :ניקח את ההצגה הקנונית ונסמן:
x − x0 y − y0 z − z0
= = =t
k m n
כאשר ,t ∈ Rנחלץ את x, y, zכתלות ב־ tונקבל:
x (t) = x0 + kt
y (t) = y0 + mt t∈R
z (t) = z0 + nt
דוגמה :ההצגה הקנונית של ישר העובר דרך ) (1, 2, 3בכיוון הוקטור ) a = (0, 2, 5היא:
y−2 z−3
x − 1 = 0, =
2 5
10 danielr@technion.ac.il
גיאומטריה אנליטית 2
דוגמה :המרחק בין הנקודה ) (1, 1, 1לישר העובר דרך ) (1, 2, 3בכיוון הוקטור ) s = (0, 2, 5הוא:
|)|(0, −1, −2) × (0, 2, 5 |)|(−1, 0, 0 1
√ = √=
|)|(0, 2, 5 4 + 25 29
.1הישרים נחתכים אם יש להם נקודה משותפת יחידה .במקרה זה ,המרחק בין הישרים הוא אפס.
.2הישרים מצטלבים אם אין להם נקודות משותפות ווקטורי הכיוון שלהם לא פרופורציונלים .נסמן את וקטורי
|a1 ×a2 ·M1 M2 | 9
| . |a1 ×a2 הכיוון ונקודות על הישרים ,a1 , a2 , M1 , M2אז המרחק בין הישרים ניתן על־ידי
.3הישרים מקבילים אם וקטורי הכיוון שלהם פרופורציונלים .במקרה כזה ,אם יש לישרים נקודה משותפת אז
הם מתלכדים והמרחק ביניהם הוא אפס ,אחרת הם שונים והמרחק ביניהם שווה למרחק של נקודה מאחד
הישרים לישר השני.
9בהמשך נלמד על מרחק נקודה ממישור .למעשה ,לוקחים נקודה מישר אחד ומחשבים את המרחק למישור המכיל את הישר עם נורמל הניצב
לוקטורי הכיוון של שני הישרים.
11 danielr@technion.ac.il
גיאומטריה אנליטית 2
נבחין כי וקטורי הכיוון הם ) a1 = (2, 3, −4) , a2 = (1, −4, 1והם לא פרופורציונלים ,לפיכך הישרים
נחתכים או מצטלבים .נבדוק האם יש נקודת חיתוך:
2t − 3 = s + 5
3t − 2 = −4s − 1
−4t + 6 = s − 4
נפתור ונקבל כי עבור t = 3, s = −2יש פתרון ,כלומר הנקודה ) (3, 7, −6היא נקודת החיתוך.
מישורים 2.2
הגדרה ) 2.2גיאומטרית( מישור העובר בנקודה P0וניצב לוקטור ̄ ,N 6= 0הוא המקום הגיאומטרי של כל הנקודות
Pהמקיימות שהוקטור P0 Pניצב ל־ .N
הערות:
.2משוואת המישור :גם כאן ,ההגדרה הגיאומטרית לא שימושית לצרכים חישוביים ,לכן נסמן:
a (x − x0 ) + b (y − y0 ) + c (z − z0 ) = 0
ax + by + cz + d = 0
12 danielr@technion.ac.il
גיאומטריה אנליטית 2
הנורמל ניצב לשני הוקטורים ולכן הוא בכיוון המכפלה הוקטורית שלהם:
3x + 4y − 2z − 5 = 0
באופן שקול ,אם נתונה משוואת מישור ax + by + cz + d = 0ונקודה ) P = (x0 , y0 , z0המרחק המבוקש
הוא:
||ax0 + by0 + cz0 + d
√
a2 + b 2 + c 2
13 danielr@technion.ac.il
משטחים 3
.1המישורים מקבילים אם וקטורי הנורמל שלהם מקבילים .המרחק בין מישורים מקבילים שווה למרחק של
נקודה מאחד המישורים למישור השני.
.2המישורים נחתכים אם וקטורי הנורמל שלהם לא מקבילים .במקרה זה ,המרחק בין המישורים שווה לאפס
והחיתוך מניב ישר.
3x + 6y − 2z + d = 0
נותר למצוא את .dנדרוש שהמרחק של המישור מאחת המנקודות על המישור הנתון הוא .3נבחין כי
) (1, 0, −2נמצאת על המישור ,מכאן:
||3 · 1 + 6 · 0 − 2 · (−2) + d ||7 + d
=3 √ =
9 + 36 + 4 7
כלומר | 21 = |7 + dולכן d = 14וגם d = −28מקיימים את הנדרש .נבחין כי משיקולים גיאומטריים,
ציפינו לקבל שני מישורים המקיימים את הדרישה.
משטחים 3
משטח הוא המקום הגיאומטרי של כל הנקודות המקיימות משוואה נתונה.
• פולינום מסדר 1במשתנים x, yהוא ביטוי מהצורה ) ax + by + cכאשר a, bלא שניהם אפס(.
14 danielr@technion.ac.il
פונקציות ־ מבוא 4
• פולינום מסדר 2במשתנים x, yהוא ביטוי מהצורה ) ax2 + bxy + cy 2 + dy + ex + fכאשר a, b, cלא
כולם אפס(.
• באופן אנלוגי מכלילים את מושג הפולינום למעלות גבוהות יותר ו/או למספר משתנים.
משטחים ריבועיים נתונים על־ידי פולינום מסדר .2בכל המשטחים הבאים ,ניתן לשנות את ציר/מישור הסימטריה
בעזרת החלפת תפקידים בין המשתנים .בנוסף ,מניחים כי הפרמטרים לא שווים לאפס .דוגמאות חשובות:
2
x2
a2
= + yb2 z
x2 + y 2 = cz x2 y2 z2
c
a2
+ b2
+ c2
=1 x2 + y 2 + z 2 = R 2
c>0 c>0
2
x2
x2 y2 z2 a2
= − yb2 z
c z2 x2 y2 x2 y2 z2
a2
+ b2
= c2
; c2
− a2
− b2
=1 a2
+ b2
− c2
=1
c>0
עד כה הכרנו פונקציות אשר תחום ההגדרה והטווח חלקיים ל־ .Rנכליל את מושג הפונקציה .תהא :A ⊆ Rn
• פונקציה סקלרית מ־ Aל־ Rהיא פונקציה המתאימה לכל איבר ב־ Aמספר ממשי ,מסמנים:
f :A → R
f (x1 , .., .xn ) = y
• פונקציה וקטורית מ־ Aל־ Rmהיא פונקציה המתאימה לכל איבר ב־ Aאיבר ב־ ,Rmמסמנים:
f : A → Rm
) f (x1 , .., .xn ) = (y1 , ..., ym
15 danielr@technion.ac.il
פונקציות ־ מבוא 4
הערה :נהוג לסמן פונקציה וקטורית האות גדולה באופן הבא.F̄ (x1 , .., .xn ) :
דוגמאות:
.2פונקציה המתארת את מהירות הרוח בכל נקודה המרחב ).f (x, y, z) = (yz, zx, xy
מושגי יסוד
תהא f : A ⊆ Rn → Rm
• פונקציה סקלרית fנקראת חסומה מלעיל בקבוצה A 11אם יש α ∈ Rכך שלכל P ∈ Aמתקיים .f (P ) ≤ α
באופן אנלוגי מגדירים חסומה מלרע .פונקציה חסומה היא פונקציה שהיא חסומה מלעיל ומלרע.
• פונקציה סקלרית fמקבלת מקסימום בקבוצה Aאם יש נקודה xmax ∈ Aכך שלכל P ∈ Aמתקיים
) .f (P ) ≤ f (xmaxבאופן אנלוגי מגדירים מינימום.
• נניח כי f : A ⊆ R2 → Rויהא .c ∈ Rקו הגובה המתאים לערך cהוא אוסף כל הנקודות בתחום ההגדרה
)אשר מוכל ב־ (R2המקיימות .f (x, y) = cקו הגובה מתאר חתך בגובה cשל גרף הפונקציה .קווי גובה
עוזרים לתאר את גרף הפונקציה.
• נניח כי f : A ⊆ R3 → Rויהא .c ∈ Rמשטח הרמה המתאים לערך cהוא אוסף כל הנקודות בתחום
ההגדרה )אשר מוכל ב־ (R3המקיימות .f (x, y, z) = cמשטח הרמה מתאר חתך "בגובה" cשל גרף
הפונקציה.
דוגמאות:
.2עבור ,f (x, y) = x2 + y 2נבחין כי קווי הגובה הם מעגלים x2 + y 2 = c 12סביב ציר .zאם נסמן
) z = f (x, yנקבל z = x2 + y 2כלומר הגרף הוא פרבולואיד .הפונקציה מקבלת מינימום בנקודה )(0, 0
ולכן חסומה מלרע .עם זאת ,ברור כי הפונקציה לא חסומה מלעיל ולכן הפונקציה לא חסומה.
.3עבור ) ,f (x) = (0, x, 2התמונה היא ישר במרחב בכיוון ציר yאשר עובר בנקודה ).(0, 0, 2
11כרגיל ,אם לא מדגישים את הקבוצה ,אז מתייחסים לכל תחום ההגדרה של הפונקציה.
12עבור .c > 0
16 danielr@technion.ac.il
מסילות 5
מסילות 5
כזכור ,קו ישר מתואר בעזרת שלוש משוואות לינאריות:
ובכתיב וקטורי:
)) l (t) = (x (t) , y (t) , z (t
t∈R
נבחין כי כל רכיב הוא פונקציה רציפה .למעשה l (t) ,היא הפונקציה .l : R → R3
הגדרה 5.1מסילה רציפה )או מסילה( במרחב היא תמונה של פונקציה עם תחום הגדרה אשר חלקי ל־ Rוטווח
השווה ל־ ,R3כלומר:
γ : I ⊆ R → R3
))γ (t) = (x (t) , y (t) , z (t
כאשר ) x (t) , y (t) , z (tפונקציות רציפות .באופן אנלוגי מתארים מסילה במישור.
סימונים ותכונות:
.1לפונקציות ) x (t) , y (t) , z (tקוראים פרמטריזציה של המסילה .תחום ההגדרה Iאשר נקרא תחום
הפרמטריזציה יכול להיות קטע סופי או לא סופי .נאמר כי הפרמטריזציה גזירה אם )x (t) , y (t) , z (t
פונקציות גזירות .נציין כי פרמטריזציה היא לא יחידה לדוגמה הפרמטריזציות:
) l (t) = (t, 0, 0 ) l (t) = (3t − 1, 0, 0
1 2
,
t∈R t∈R
.2תחום הפרמטר מכתיב את מגמת ההתקדמות לאורך המסילה .אם γמסילה אז נהוג לסמן ב־ −γאת אותה
המסילה אך עם מגמה הפוכה .נעיר כי לפעמים נוח יהיה להפוך את תחום הפרמטריזציה ולקבל את −γ
)ראה דוגמה ראשונה(.
.3אם γ1 , γ2הן מסילות כך ש־ γ1מסתיימת בנקודת ההתחלה של γ2אז γ1 + γ2היא מסילה המייצגת את
"איחוד" המסילות.
17 danielr@technion.ac.il
מסילות 5
)ג( פשוטה וסגורה אם היא מסילה סגורה אשר אינה חותכת את עצמה פרט לנקודות ההתחלה והסיום
)שהן זהות(.
.5נבחין כי אנחנו מסמנים פרמטריזציה של מסילה γב־) .γ̄ (tסימון זה מאפשר לחשוב על הנקודה על
המסילה כנקודה במרחב או כוקטור אשר מתחיל בראשית הצירים ומסתיים בנקודה על המסילה .במקרה
) γ(t+∆t)−γ(tמתאר את "השיפוע" הממוצע של המסילה בין
∆t
בו חושבים על הביטוי כוקטור ,נקבל כי היחס
) γ (tל־):γ (t + ∆t
דוגמאות:
באופן גיאומטרי קל לראות שהחיתוך הוא אליפסה .באופן חישובי ,יש סימטריה מעגלית ביחס לגליל ולכן
נבחר:
x (t) = r cos t
]t ∈ [0, 2π
y (t) = r sin t
18 danielr@technion.ac.il
מסילות 5
משפט 5.2אם )) γ (t) = (x (t) , y (t) , z (tפרמטריזציה גזירה ונניח כי γ 0 (t0 ) 6= 0אז הוקטור ) γ 0 (t0מקביל
לישר המשיק למסילה בנקודה ) .γ (t0
הערות:
.1לא נגדיר ישר משיק למסילה באופן פורמלי אך ההגדרה מקבילה לזו של ישר משיק לגרף של פונקציה.
.2מסילה בעלת פרמטריזציה גזירה ברציפות המקיימת לכל γ 0 (t0 ) 6= 0 ,tנקראת מסילה חלקה .נאמר כי
מסילה חלקה למקוטעין אם היא חלקה פרט אולי למספר סופי של נקודות .13
.3המשפט נותן תנאי מספיק אך לא הכרחי ,כלומר ,ייתכן כי γ 0 (t0 ) = 0ועדיין למסילה יהיה ישר משיק.
) γ̄ (t) = (t3 , 1
מקיימת ̄ γ̄ 0 (0) = 0אך למסילה יש משיק בנקודה .t = 0 דוגמה :המסילה
t∈R
הוכחה :לכל " tקרוב" ל־ t0נסמן ב־ ltאת הישר המחבר בין ) γ (tו־) ,γ (t0פרמטריזציית הישר היא :14
) x(t)−x(t0
x (s) = x (t0 ) + t−t0 s
) y(t)−y(t0
y (s) = y (t0 ) + t−t0
s
) z(t)−z(t0
z (s) = z (t0 ) + s
t−t0
אם ) x0 (t0 ) , y 0 (t0 ) , z 0 (t0לא כולם אפס ,נקבל פרמטריזציה של ישר אשר משיק למסילה בנקודה ) .γ (t0
דוגמאות:
המסילה חלקה ולכן וקטור הכיוון של המשיק בכל ] t ∈ [0, 2πהוא )).γ 0 (t) = (−r sin (t) , r cos (t
13בהן היא רציפה אך לא גזירה או שהיא גזירה אך נגזרתה שווה לוקטור האפס.
14קל לוודא זאת על־ידי הצבה של .s = 0, t − t0
19 danielr@technion.ac.il
טופולוגיה 6
המסילה חלקה ולכן וקטור הכיוון של המשיק בכל t ∈ Rהוא ).γ 0 (t) = (1, 2t
טופולוגיה 6
המרחב האוקלידי 6.1
מרחב מטרי הוא קבוצה Xופונקציה ממשית ρאשר מתאימה לכל שני איברים ב־ Xמספר ממשי כך שלכל
x, y, z ∈ Xמתקיים:
דוגמאות:
,(R, |·|) .1כאשר | .ρ (x, y) = |x − yארבעת התנאים מתקיימים מתכונות הערך המוחלט.
.2נכליל את הדוגמה הקודמת ))· ,(Rn , d (·,כאשר לכל X = (x1 , ..., xn ) , Y = (y1 , ..., yn ) ∈Rמגדירים:
v
u n
uX
d(X, Y ) = t (xi − yi )2
i=1
15למעשה ,המטריקה הסטנדרטית אשר הוגדרה בדוגמאות נקראת מטריקה אוקלידית וכל מרחב בו מודדים מרחקים בעזרתה נקרא
מרחב אוקלידי.
20 danielr@technion.ac.il
טופולוגיה 6
• כדור סגור עם מרכז בנקודה M ∈ Rnורדיוס R ≥ 0במרחב האוקלידי Rnהוא המקום הגיאומטרי של כל
הנקודות שמרחקן מ־ Mקטן מ־ Rבאופן הבא:
תיבה n־מימדית:
• תהיינה {ai }ni=1 , {bi }ni=1קבוצות מספרים המקיימות לכל .ai < bi ,iתיבה פתוחה )או בקיצור תיבה(
ביחס ל־ {ai }ni=1 , {bi }ni=1במרחב האוקלידי Rnהיא המקום הגיאומטרי של כל הנקודות ) P = (x1 , ..., xn
המקיימות:
• תיבה סגורה ביחס 16ל־ {ai }ni=1 , {bi }ni=1במרחב האוקלידי Rnהיא המקום הגיאומטרי של כל הנקודות
) P = (x1 , ..., xnהמקיימות:
לדוגמה .R2 = R × Rניתן להכליל ל־ nקבוצות ואז לחשוב על Rnכמכפלה קרטזית nפעמים של
.Rתחת הגדרה זו ניתן לרשום תיבה n־מימדית פתוחה כ־) (a1 , b1 ) × · · · × (an , bnותיבה n־מימדית
סגורה כ־] .[a1 , b1 ] × · · · × [an , bn
סביבת ε−של נקודה M ∈ Rnהיא כדור ברדיוס ε > 0סביב ,Mכלומר ).B (M, ε
נקודה פנימית של קבוצה A ⊆ Rnהיא כל נקודה M ∈ Aעבורה קיימת סביבה המוכלת ב־.A
נקודה שפה של קבוצה A ⊆ Rnהיא כל נקודה M ∈ Rnהמקיימת שכל סביבה שלה מכילה נקודות מ־A
ונקודות מ־.Rn − A
קבוצה חסומה A ⊆ Rnהיא קבוצה עבורה קיים R > 0כך שהקבוצה מוכלת בכדור ).B (0̄, R
קבוצה קשירה מסילתית A ⊆ Rnהיא קבוצה בה ניתן לחבר כל שתי נקודות בעזרת מסילה רציפה המוכלת
בקבוצה.
16הפעם ניתן לדרוש .ai ≤ bi
21 danielr@technion.ac.il
טופולוגיה 6
סדרות 6.2
∞
∞} {Pk ∞} {Pkהיא סדרה של n־יות:
.נאמר כי סדרה k=1 xk1 , ..., xkn k=1
n
סדרה של נקודות ב־ k=1 ⊆ R
מתכנסת ל־ Mאם:
טבעי לחשוב כי גבול של סדרה ,אם הוא קיים ,נקבע לפי הקורדינטות .זהו אכן המצב.
∞
∞} {Pkמתכנסת לנקודה ) M = (x01 , ..., x0n ∞
= .{Pk }k=1הסדרה k=1 xk1 , ..., xkn k=1
משפט 6.1תהא הסדרה
אם ורק אם:
הוכחה :כיוון ראשון :אם ) lim Pk = M = (x01 , ..., x0nאז לפי הגדרה:
∞→k
qP 2
n
∀ε > 0, ∃N ∈ N, ∀k > N, i=1 xki − x0i <ε
q qP
0 2 n 0 2
k 0
k k
= , xi0 − xi0כלומר:
≤ xi 0 − xi 0 i=1 xi − xi נבחר } .i0 ∈ {1, ..., nברור כי:
∀ε > 0, ∃N ∈ N, ∀k > N, xki0 − x0i0 < ε
22 danielr@technion.ac.il
הרכבת פונקציות 7
כלומר:
qP 2
n
= ) ∀ε > 0, ∃N ∈ N, ∀k > N, d (Pn , M i=1 xki − x0i <ε
1
k+1 1
∞
. 2
,0 שואפת לנקודה ,
2k k k=1
ולכן הסדרה
חלק II
נהוג גם לסמן )) g (x1 (t1 , ..., tn ) , ..., xm (t1 , ..., tnכאשר )) .f (t1 , ..., tn ) = (x1 (t1 , ..., tn ) , ..., xm (t1 , ..., tn
הערה :שימוש חשוב הוא הרכבה של פונקציה רציפה עם מסילה אשר נמצאת בתחום הגדרתה .הרכבה זו "מרימה"
את המסילה מתחום הגדרתה של הפונקציה למסילהאשר נמצאת על גרף הפונקציה .באופן מפורש ,אם γ
)) γ̄ (t) = (x (t) , y (t
ו־) f (x, yפונקציה רציפה על התמונה של המסילה, מסילה עם פרמטריזציה
t∈I
אז f ◦ γהיא מסילה שהפרמטריזציה שלה נתונה על־ידי:
))) f ◦ γ (t) = (x (t) , y (t) , f (γ̄ (t
t∈I
23 danielr@technion.ac.il
גבול 8
) γ̄ (t) = (cos t, sin t
ובפונקציה .f (x, y) = x + y + 10המסילה היא מעגל במישור דוגמה :נביא במסילה
]t ∈ [0, 2π
xyואילו גרף הפונקציה הוא מישור .מבחינה גיאומטרית ,ההרכבה מניבה אליפסה במרחב .באופן מפורש,
f (γ̄ (t)) = f (cos t, sin t) = cos t + sin t + 10ולפי ההערה ,ההרכבה היא המסילה:
) δ̄ (t) = (cos t, sin t, cos t + sin t + 10
]t ∈ [0, 2π
גבול 8
כזכור ,לפונקציה ) f (xיש גבול Lבנקודה x0אם:
)∀ε > 0, ∃δ > 0, ∀x (0 < |x − x0 | < δ → |f (x) − L| < ε
ובסימון מקוצר . lim f (x) = L
x→x0
הגדרה 8.1תהא ) f (x1 , ..., xnפונקציה ממשית המוגדרת בסביבה מנוקבת של .M ∈ Rnנאמר כי הפונקציה
שואפת לערך ממשי Lאם:
)∀ε > 0, ∃δ > 0, ∀P ∈ Rn (0 < d (P, M ) < δ → |f (P ) − L| < ε
הערות:
.1הפירוש האינטואיטיבי זהה למשתנה אחד :הגבול קיים אם ניתן להיות קרובים "כרצוננו" לגבול ,Lכלומר
לכל מרחק חיובי נתון ,ניתן למצוא סביבה )כדור ברדיוס (δשל הנקודה כך שמרחק ערך הפונקציה מ־L
בכל נקודה בכדור קטן ממש מאפסילון.
דוגמה :תהא ,f (x, y) = xהגבול בראשית קיים ושווה לאפס .אכן ,לכל ε > 0נבחר δ = εואז לכל )(x, y
p
המקיימים 0 < x2 + y 2 < δמתקיים:
√ p
|f (x, y) − 0| = |x| = x2 ≤ x2 + y 2 < δ = ε
קיים אז הוא יחיד .יתרה מזאת ,הגבול קיים ושווה ל־ Lאם ורק lim משפט 8.2אם הגבול f (x, y) = L
) (x,y)→(x0 ,y0
(
))γ (t) = (x(t), y(t
השואפת ל־) ,(x0 , y0כלומר ) , lim γ (t) = (x0 , y0מתקיים: אם לכל מסילה
t→t0 t∈I
lim f (γ (t)) = lim f (x(t), y(t)) = L
t→t0 t→t0
24 danielr@technion.ac.il
גבול 8
הערות:
.2המשמעות היא שאם הגבול קיים בנקודה אז הוא קיים לאורך כל מסלול )או סדרת נקודות( אשר שואף
לנקודה.
. lim כאשר hחסומה ו־ gשואפת לאפס כאשר ,r → 0אז f (x, y) = 0
)(x,y)→(0,0
הערות:
.3המשפט נכון גם ביחס לנקודה ) P0 = (x0 , y0כאשר לוקחים קורדינטות פולריות ביחס לנקודה ) .(x0 , y0
√
|x3 |y
דוגמה :תהא .f (x, y) = 2 2 3נבחין כי:
(x +y ) 2
√
| (r cos θ)3 r|sin θ
= |)|f (x, y)| = |f (r cos θ, r sin θ = 3
((r cos θ)2 +(r sin θ)2 ) 2
r3 cos3 θ·√r√|sin θ| √ 3 p
= = r cos θ · |sin |θ |) = g (r) · |h (θ
r3
. lim ברור כי hחסומה )למשל על־ידי (1ו־ gשואפת לאפס כאשר ,r → 0לפיכךf (x, y) = 0 :
)(x,y)→(0,0
כלל הסנדוויץ
משפט 8.4תהיינה f, g, hמוגדרות בסביבה נקובה Jשל ) (x0 , y0ונניח כי:
הערות:
25 danielr@technion.ac.il
גבול 8
.2הכלל של "חסומה · אפסה" אשר נגזר מכלל הסנדוויץ במשתנה אחד נכון גם כאן.
דוגמאות:
x3
= ) .f (x, y, zנבדוק גבול בראשית: x2 +y 2 +z 2
.1תהא
. lim ברור כי | |xשואף לאפס כאשר ) (x, y, z) → (0, 0, 0ולכן f (x, y, z) = 0
)(x,y,z)→(0,0,0
x5 y
= ) .f (x, yנבדוק גבול בראשית .נבחין כי: x8 +y 2
.2תהא
מסקנה 8.5תהא fפונקציה המוגדרת בסביבה נקובה של הנקודה ) .(x0 , y0אם אחד מהבאים מתקיים:
.1הגבול של הפונקציה לא קיים לאורך מסילה )סדרה( השואפת לנקודה.
.2קיימות שתי מסילות )או סדרות( השואפות לנקודה אשר עליהן מקבלים גבולות שונים של הפונקציה.
לא קיים. lim אזf (x, y) ,
) (x,y)→(x0 ,y0
זה תנאי מאוד נוח כיוון שזה מחזיר את הדיון לחישוב גבולות במשתנה אחד .נעיר כי המסקנה עוזרת רק כאשר
הגבול לא קיים )גם אם הגבול קיים לאורך מסלולים רבים ,זה לא מוכיח קיום גבול(.
מסלולים סטנדרטיים
.1קורדינטות פולריות :לכל ] θ ∈ [0, 2πהמסלול:
מתאר מסילה אשר שואפת )כאשר (r → 0+לנקודה ) .(x0 , y0אם θקבועה ,נקבל קרן בזווית ,θאם משנים
את θבאופן רציף ,נקבל "ספירלה" אשר שואפת לנקודה .שימוש במסלולים פולריים נוח כאשר בפונקציה
יש סכומי ריבועים של המשתנים.
1
. a2ab
+b2
17כזכור ≤ ,
2
26 danielr@technion.ac.il
גבול 8
דוגמאות:
xy
= ) f (x, yונבדוק גבול באפס .נציב קורדינטות פולריות ונקבל: x2 +y 2
.1תהא
r2 cos θ sin θ
= )f (r cos θ, r sin θ = cos θ sin θ
r2
נסיק כי הפונקציה קבועה לאורך המסלולים הנ"ל ועבור קבועים שונים ,נקבל גבולות שונים .מכאן ,הגבול
לא קיים בנקודה.
x2 y
= ) f (x, yונבדוק גבול באפס .נציב את המסלול ) γ̄k,n (tונקבל: x4 +y 2
.2תהא
kt2+n
f (γ̄k,n (t)) = 4
t + k 2 t2n
נבחין כי עבור הצבה של n = 2נקבל ביטוי אשר לא תלוי ב־:t
kt4 k
= ))f (γ̄k,2 (t
4 2 4
=
t +k t 1 + k2
ושוב ,נסיק כי הפונקציה קבועה לאורך מסלולים התלויים ב־ kולכן נקבל גבולות שונים .מכאן ,הגבול לא
קיים בנקודה.
ואם הגבולות הנשנים קיימים אז: lim טענה 8.6אם f (x, y) = L
) (x,y)→(x0 ,y0
lim )lim f (x, y = lim )lim f (x, y =L
x→x0 y→y0 y→y0 x→x0
הערות:
.1המשפט ההפוך לא נכון .כלומר ,הגבולות הנשנים יכולים להיות קיימים ושווים אבל הגבול לא קיים ,למשל
f (x, y) = x2xyבנקודה ).(0, 0
+y 2
עבור הפונקציה
27 danielr@technion.ac.il
רציפות 9
רציפות 9
הגדרה 9.1תהא fפונקציה אשר מוגדרת בסביבה של נקודה .Mנאמר כי fרציפה בנקודה Mאם הגבול בנקודה
קיים ושווה לערך הפונקציה .כלומר:
) lim f (P ) = f (M
P →M
משפט 9.2
משפט ) 9.3ערך הביניים( תהא D ⊆ Rnקבוצה קשירה ותהא fפונקציה סקלרית רציפה ב־ .Dלכל P1 , P2 ∈ D
ומספר mבין ) f (P1 ), f (P2קיימת נקודה M ∈ Dהמקיימת .f (M ) = m
הוכחה :הקבוצה קשירה ולכן קיימת מסילה רציפה ) γ (tהמחברת את ,P1 , P2נסמן את תחום ההגדרה ב־][a, b
וכן .γ (a) = P1 , γ (b) = P2המסילה רציפה f ,רציפה ,ולכן ההרכבה )) g (t) = f (γ (tהיא פונקציה רציפה
בקטע ].[a, bסה"כ קיבלנו פונקציה רציפה ) g (tבקטע ] [a, bהמקיימת ) g (a) = f (P1 ) , g (b) = f (P2ולכן
הטענה נובעת ממשפט ערך הביניים של פונקציה במשתנה אחד.
משפט ) 9.4משפט ויירשטראס( תהא fפונקציה סקלרית שהיא רציפה בקבוצה סגורה וחסומה ,Aאז:
f .1חסומה בקבוצה .A
28 danielr@technion.ac.il
גזירות 10
גזירות 10
תזכורת f (x) :גזירה ב־ aאם הגבול הבא:
)f (x) − f (a
lim
x→a x−a
קיים וסופי .הגבול מתאר את שיפוע הישר המשיק לגרף הפונקציה בנקודה .באופן גיאומטרי ,גזירות מתארת
קירוב לינארי לגרף הפונקציה .האנלוגיה בשני משתנים היא קירוב של גרף הפונקציה על־ידי מישור משיק.
הערות:
.3בפועל ,מתייחסים למשתנה yכפרמטר קבוע ואם הפונקציה גזירה כפונקציה של משתנה ,xניתן להשתמש
בכללי הגזירה הרגילים.
∂f
∂x
) (M .4משמעות גיאומטרית :בודקים את קצב השינוי של הפונקציה לאורך ישר המקביל לציר .xהערך
מייצג את השיפוע בנקודה Mשל מסילת החיתוך של גרף הפונקציה והמישור .y = y0
דוגמאות:
29 danielr@technion.ac.il
גזירות 10
.2תהא } .f (x, y) = max {x, yהנגזרות החלקיות בנקודה ) (0, 0לא קיימות ,ואכן:
}lim max{h,0
h
= lim+ hh = 1
h→0+ h→0
? )f (h, 0) − f (0, 0 }max {h, 0
fx (0, 0) = lim = lim =
h→0 h h→0 h
lim max{h,0} = lim 0 = 0
− h h→0 +h h→0
xy
x2 +y 2
)(x, y) 6= (0, 0
= ) f (x, yלא רציפה בראשית .עם זאת: .4כזכור ,הפונקציה
0 )(x, y) = (0, 0
0
fx (0, 0) = lim f (h,0)−f
h
)(0,0
= lim hh2 = 0
h→0 h→0
0
= )fy (0, 0 lim f (0,h)−f
h
)(0,0
= lim hh2 = 0
h→0 h→0
לפיכך ,הנגזרות החלקיות קיימות ושוות בראשית אך הפונקציה לא רציפה בראשית .כזכור בפונקציה עם
משתנה אחד ,גזירות גוררת רציפות ולכן לא סביר שהנגזרות החלקיות יתארו "נגזרת" של פונקציה בשני
משתנים.
30 danielr@technion.ac.il
גזירות 10
תזכורת :תהא ) f (xמוגדרת בסביבת נקודה ,aאם קיים קבוע αכך שקיים הגבול הבא:
)f (x) − f (a) − α (x − a
lim =0
x→a x−a
אז יש לגרף הפונקציה ישר משיק בנקודה aאשר ניתן על־ידי )) y = f (a) + α (x − aכאשר αהוא למעשה
) .(f 0 (aנכליל רעיון זה לשני משתנים.
הגדרה 10.2תהא fפונקציה בשני משתנים המוגדרת בסביבת ) .(x0 , y0נאמר כי יש לפונקציה מישור משיק
בנקודה אם קיימים קבועים A, Bכך שמתקיים:
הערה) :הגדרה גיאומטרית( תהא fמוגדרת בסביבת נקודה ) .(x0 , y0אם קיים מישור המקיים:
אז המישור נקרא המישור המשיק לגרף הפונקציה בנקודה ) .(x0 , y0לאור הגדרה זו ,בהנחה שקיים מישור
משיק ,ברור כי מספיק למצוא שני וקטורי כיוון לא תלויים לינארית בכדי לקבל מפורשות את המישור
המשיק.
טענה 10.3תהא fפונקציה בעלת נגזרות חלקיות ,אם יש ל־ fמישור משיק בנקודה ) M = (x0 , y0אז הוא נתון
על־ידי:
fx (M ) (x − x0 ) + fy (M ) (y − y0 ) − (z − z0 ) = 0
כאשר ) .z0 = f (M
31 danielr@technion.ac.il
גזירות 10
הוכחה :נתבונן במשטח המתאר את גרף הפונקציה בסביבת הנקודה ,נחתוך אותו עם המישור y = y0ונקבל
מסילה:
) x = x, y = y0 , z = f (x, y0
עם tבסביבת .x0וקטור הכיוון לישר המשיק למסילה בנקודה Mהוא :20
זהו ישר המוכל במישור המשיק .באופן אנלוגי ,אם נחתוך את גרף הפונקציה עם המישור x = x0נקבל וקטור:
המוכל המישור המשיק .הוקטורים בבירור לא מקבילים ולכן הנורמל למישור המשיק ניתן על־ידי המכפלה
הוקטורית שלהם ,כלומר:
̂ x̂ y ̂z
) 0 1 fy (M ) = (fx (M ) , fy (M ) , −1
) 1 0 fx (M
דיפרנציאביליות 10.3
ניזכר בהגדרה שקולה לנגזרת במשתנה אחד :פונקציה ) f (xגזירה בנקודה aאם קיים קבוע ,המסומן ב־),f 0 (a
ופונקציה ) ε(xכך שמתקיים:
הגדרה 10.4תהא fפונקציה המוגדרת בסביבת ) .(x0 , y0נאמר כי fגזירה )או דיפרנציאבילית( בנקודה אם
קיימים קבועים A, Bכך ש:
q
f (x, y) = f (x0 , y0 ) + A (x − x0 ) + B (y − y0 ) + ε (x, y) (x − x0 )2 + (y − y0 )2
ומתקיים:
20אם גוזרים את ) f (t, y0לפי tלפי הגדרה מקבלים בדיוק את הגדרת הנגזרת החלקית של ) fx (Mוהרי מניחים כי היא קיימת.
32 danielr@technion.ac.il
גזירות 10
הערות:
.1בניגוד למשתנה אחד ,בשני משתנים ויותר אין את "פונקציית הנגזרת" .במקרה זה מקבלים העתקה לינארית
הנקראת דיפרנציאל שהיא למעשה הכללה של פונקציית הנגזרת במשתנה אחד.
.2במשפט 10.5נוכיח כי גזירות גוררת קיום נגזרות חלקיות ולכן ניתן לומר כי הקבועים בהגדרה הם בהכרח
) .A = fx (x0 , y0 ) , B = fy (x0 , y0
.3נבחין כי ההגדרה של מישור משיק שקולה להגדרת הדיפרנציאביליות ,כלומר ,לפונקציה בשני משתנים יש
מישור משיק בנקודה אם ורק אם הפונקציה גזירה שם .לפיכך ,בכל נקודה בה פונקציה fגזירה ,המישור
המשיק ניתן 21על־ידי:
דוגמאות:
.1נוכיח לפי הגדרה כי הפונקציה f (x, y) = x2 + y 2גזירה בכל נקודה במישור .ניקח ) (x0 , y0ונרשום:
q
f (x, y) = f (x0 , y0 ) + 2x0 (x − x0 ) + 2y0 (y − y0 ) + ε (x, y) (x − x0 )2 + (y − y0 )2
33 danielr@technion.ac.il
גזירות 10
ולכן לפי משפט ,הגבול הוא אפס .מחישוב ישיר נסיק כי fx (0, 0) = fy (0, 0) = 1ולכן אם היא גזירה אז
מתקיים בסביבת הראשית:
q
f (x, y) = f (0, 0) + 1 · (x − 0) + 1 · (y − 0) + ε (x, y) (x − 0)2 + (y − 0)2
lim ε(x, y) = 0
)(x,y)→(0,0
x3 +y 3
f (x,y)−x−y −x−y x3 +y 3 −x3 −xy 2 −yx2 −y 3 −xy 2 −yx2
x2 +y 2
√ = )ε (x, y √ = = 3 = 3
x2 +y 2 x2 +y 2 (x2 +y 2 ) 2 (x2 +y 2 ) 2
.3אם הנגזרות החלקיות של fקיימות בסביבת הנקודה Mורציפות בנקודה Mאז fגזירה ב־ .M
הערה :לפונקציה fבעלת נגזרות חלקיות רציפות בקבוצה Dקוראים גזירה ברציפות ומסמנים ).f ∈ C 1 (D
.2אם fגזירה אז ההגדרה מתקיימת לכל נקודה בסביבת Mובפרט עבור hקטן מספיק:
q
f (x0 + h, y0 ) = f (M ) + A(x0 + h − x0 ) + B (y0 − y0 ) + ε (x0 + h, y0 ) (x0 + h − x0 )2 + (y0 − y0 )2
m
|f (x0 + h, y0 ) − f (M ) = hA + ε (x0 + h, y0 ) |h
m
) f (x0 +h,y0 )−f (M
h
|= A + ε (x0 + h, y0 ) |h
h
34 danielr@technion.ac.il
גזירות 10
נציב ונקבל:
סה"כ:
x−x0 y−y0
√ חסומים ומהגדרת ) ε1 (x, y) , ε2 (x, yו־ α, βהפונקציות √, ברור כי הביטויים
(x−x0 )2 +(y−y0 )2 (x−x0 )2 +(y−y0 )2
) ε1 (α, y) , ε2 (x0 , βשואפות לאפס כאשר ) ,(x, y) → (x0 , y0לפיכך סיימנו את ההוכחה.
35 danielr@technion.ac.il
גזירות 10
כך ש־t0 פונקציות גזירות ב־x (t) , y (t) ותהיינהM = (x0 , y0 ) גזירה בנקודהf (x, y) תהא10.6 משפט
: ומתקייםt0 גזירה ב־F (t) = f (x(t), y(t)) אז הפונקציה,(x(t0 ), y(t0 )) = M
∂f dx ∂f dy
F 0 (t0 ) = (M ) (t0 ) + (M ) (t0 )
∂x dt ∂y dt
:t0 קרוב ל־t ( כאשרx(t), y(t)) ובפרט עבור הצבה שלM ( בסביבתx, y) זה נכון לכל
q
f (x(t), y(t)) = f (M ) + fx (M ) (x(t) − x0 ) + fy (M ) (y(t) − y0 ) + ε (x(t), y(t)) (x(t) − x0 )2 + (y(t) − y0 )2
m
q
f (x(t), y(t)) − f (M ) = fx (M ) (x(t) − x0 ) + fy (M ) (y(t) − y0 ) + ε (x(t), y(t)) (x(t) − x0 )2 + (y(t) − y0 )2
m
q
F (t) − F (t0 ) = fx (M ) (x(t) − x0 ) + fy (M ) (y(t) − y0 ) + ε (x(t), y(t)) (x(t) − x0 )2 + (y(t) − y0 )2
: ונקבלt − t0 נחלק את שני האגפים בביטוי
s 2 2
F (t) − F (t0 ) x(t) − x0 y(t) − y0 x(t) − x0 y(t) − y0
= fx (M ) + fy (M ) + ε (x(t), y(t)) +
t − t0 t − t0 t − t0 t − t0 t − t0
: נקבלt0 ל־t ואם נשאיף את
F (t) − F (t0 )
q
lim = fx (M )·x0 (t0 )+fy (M )·y 0 (t0 )+0· (x0 (t0 ))2 + (y 0 (t0 ))2 = fx (M )x0 (t0 )+fy (M )y 0 (t0 )
t→t0 t − t0
. גזירה בנקודה ונגזרתה ניתנת על־ידי הנוסחה הנ"לF (t) הפונקציה,כלומר
נסמן. ברור כי תנאי כלל השרשרת מתקיימים.x(t) = sin t, y(t) = t2 וניקחf (x, y) = x + y 2 תהא:דוגמה
: ונגזרו בנקודה כללית בשתי דרכיםF (t) = f (x(t), y(t))
36 danielr@technion.ac.il
גזירות 10
משפט 10.7אם ) f (x1 , ..., xnגזירה בנקודה Mותהיינה ) x1 (t1 , ..., tk ), ..., xn (t1 , ..., tkפונקציות גזירות בנקודה
Nכך שמתקיים ,(x1 (N ), ..., , xn (N )) = Mאז:
)) F (t1 , ..., tk ) = f (x1 (t1 , ..., tk ) , ..., , xn (t1 , ..., tk
הגדרה 10.8תהא ) f (x, yמוגדרת בסביבת ) M = (x0 , y0ויהא ) n̂ = (n1 , n2וקטור יחידה .25אם קיים הגבול:
) f (x0 + n1 h, y0 + n2 h) − f (M
lim
h→0 h
∂f
)ולפעמים גם ) .(Dn̂ f (M ̂∂ n
) (M אז ערך הגבול נקרא הנגזרת המכוונת של fבכיוון ̂ nומסמנים ) fn̂ (Mאו
הערה :נבחין כי עבור ) n̂ = (1, 0מקבלים את הנגזרת החלקית לפי xובאופן דומה נקבל כמקרה פרטי את
הנגזרת החלקית לפי .y
דוגמאות:
37 danielr@technion.ac.il
גזירות 10
: √1 , √1 )ג(
2 2
2
1 2 √1 h
f (0 + √1 h, 1 + )√1 h ) − f (M 2
h + 1+ 2
−1 √2 h + h2 √
2 2 2
lim = lim 2 = lim =
h→0 h h→0 h h→0 h
נבחין כי אם נחשוב על המשטח כעל תוואי שטח נקבל התאמה בין קצב שינוי הפונקציה לעליה/ירידה
בגובה המשטח בכל כיוון.
באופן כללי ,חישוב נגזרת מכוונת הוא חישוב גבול ולכן נרצה דרך נוחה יותר לחישוב.
משפט 10.9תהא fגזירה בנקודה ,Mאז קיימת ל־ fנגזרת מכוונת בכל כיוון ) n̂ = (n1 , n2ומתקיים:
fn̂ (M ) = fx (M )n1 + fy (M )n2
אם נסמן )) ∇f (x, y) = (fx (x, y), fy (x, yאז נקבל:
̂fn̂ (M ) = ∇f (M ) · n
הערות:
38 danielr@technion.ac.il
גזירות 10
מסקנה 10.10אם fגזירה בנקודה Mאז הערך המקסימלי של הנזגרת המכוונת מתקבל בכיוון ) .∇f (M
כאשר θהזווית בין הגרדיאנט לוקטור הכיוון ̂ .nברור כי ערך זה מקסימילי כאשר .θ = 0
מהמסקנה נובע כי הפונקציה גדלה בקצב המירבי בכיוון ∇fויורדת בקצב המירבי בכיוון .−∇f
דוגמה :מטייל נמצא על הר המתואר על־ידי f (x, y) = 5 − 2x2 − y 2בנקודה ) .(1, 1, 2אם הוא רוצה לעלות
בכיוון התלול ביותר בצעד הראשון הוא צריך ללכת "בכיוון הגרדיאנט" ,כלומר:
הוקטור ) (−4, −2נמצא בתחום ההגדרה של הפונקציה ) f (x, yוצריך "להרים" אותו למישור המשיק
בנקודה בה עומד המטייל ,נסמן ) .v = (−4, −2, cהנורמל הןא , (fx , fy − 1) |(1,1) = (−4, −2, −1) = N
לכן נדרוש:
v·N =0
m
16 + 4 − c = 0
10.6כלל לייבניץ
́ x ́x
= )G0 (x d
dx
כזכור ,אם ) g(xרציפה אז G (x) = g(t)dtהיא פונקציה גזירה ומתקיים )g(t)dt = g(x
a a
ובאופן כללי:
ˆ
)v(x
d
)g(t)dt = g(v(x))v 0 (x) − g(u(x))u0 (x
dx
)u(x
משפט 10.11תהינה ) f (x, y), fy (x, yרציפות במלבן } ,D = {(x, y) | a ≤ x ≤ b, c ≤ y ≤ dותהיינה )u(y), v(y
´
)v(y
= ) F (yגזירה לפי yומתקיים: פונקציות גזירות בקטע ] ,[c, dאז הפונקציה f (x, y)dx
)u(y
ˆ
)v(y ˆ
)v(y
d
= f (x, y)dx )fy (x, y)dx + f (v(y), y)v 0 (y) − f (u(y), y)u0 (y
dy
)u(y )u(y
39 danielr@technion.ac.il
גזירות 10
דוגמאות:
xy 3 −x3 y
x2 +y 2
)(x, y) 6= (0, 0
= ) ,f (x, yאז הנגזרות החלקיות מסדר ראשון בראשית הן: .2תהא:
0 )(x, y) = (0, 0
)f (h, 0) − f (0, 0
fx (0, 0) = lim = lim 0 = 0
h→0 h h→0
)f (0, h) − f (0, 0
fy (0, 0) = lim = lim 0 = 0
h→0 h h→0
40 danielr@technion.ac.il
גזירות 10
משפט ) 10.12אוילר־שוורץ( תהא ) f (x, yמוגדרת בסביבת Mונניח כי fxy , fyxרציפות בנקודה ,Mאז:
הערות:
.1אם לפונקציה fכל הנגזרות החלקיות עד סדר nהן פונקציות רציפות בקבוצה Dאומרים כי fגזירה
ברציפות מסדר nב־ Dומסמנים ) .f ∈ C n (Dכל הפונקציות האלמנטריות גזירות "אינסוף" פעמים ונהוג
לסמן ).C ∞ (D
.2מהמשפט נובע כי אם פונקציה גזירה ברציפות nפעמים אז אין משמעות לסדר הגזירה עד סדר .n
דוגמה :תהא .f (x, y) = ex + x2 y 2ברור כי fגזירה ברציפות אינסוף פעמים ולכן לפי המשפט מתקיים:
דוגמה :המסילה x2 + y 2 = 1היא למעשה מעגל אך המשוואה לא מגדירה פונקציה .לכן אם רוצים משהו פשוט
כמו ישר משיק בנקודה מסויימת ,מה עושים? במקרה פרטי זה אפשר לחלץ את אחד המשתנים ולבצע
פעולות חקירה .אפשרות נוספת היא להשתמש בפרמטריזציה פולרית ולחקור את המסילה.
עם זאת ,במקרים רבים בהחלט ייתכן שקשה מאוד לחלץ או לתת פרמטריזציה מפורשת לכל המסילה .כיוון
שהאנליזה שמבצעים היא מקומית ,מספיק לדעת שיש אפשרות לקבל פרמטריזציה בסביבת הנקודה .אם למשוואה:
יש חילוץ של yכפונקציה של xבסביבת נקודה מסויימת אז מקבלים פרמטריזציה בסביבה זו שהיא = )γ̄ (t
)) .(t, y (tנעיר כי לא כל משוואה מגדירה מסילה אך אם יש חילוץ מקומי של אחד המשתנים אז בסביבה זו
מקבלים שהמשוואה מגדירה גרף/תמונה של פונקציה.
√
דוגמה :עבור F (x, y) = x2 + y 2 − 1 = 0נקבל כי בסביבת הנקודה ) (0, 1יש חילוץ y(x) = 1 − x2כאשר
.|x| < 1לעומת זאת ,אין חילוץ של ).x(y
41 danielr@technion.ac.il
גזירות 10
משפט ) 10.13פונקציות סתומות( תהא ) F (x, yמוגדרת בסביבת נקודה ) .M = (x0 , y0נניח כי:
.F (M ) = 0 .1
F (x, y) .2גזירה ברציפות בסביבת .M
.Fy (M ) 6= 0 .3
אז ,קיימת סביבה של Mבה ניתן לחלץ את yכפונקציה של ) xכלומר ) (y = y(xבאופן יחיד כך שמתקיים:
F (x, y(x)) = 0 .1לכל xבסביבת .x0
.y(x0 ) = y0 .2
y(x) .3רציפה בסביבת .x0
0 ) Fx (M
y(x) .4גזירה ברציפות בסביבת x0ומתקיים ) .y (x0 ) = − Fy (M
הערות:
.1המשפט מבטיח חילוץ יחיד וגזיר אבל לא נותן אותו בצורה מפורשת.
.3אם תנאי המשפט לא מתקיימים זה לא גורר שאין חילוץ ,למשל עבור F (x, y) = y − x3 = 0מתקיים כי
√
Fx (0, 0) = 0אבל ברור כי x(y) = 3 yהוא חילוץ בכל התחום.
.4ניתן להשתמש בכלל השרשרת ולגזור את )) F (x, y(xלפי xבסביבת .x0
• קיום :נתון כי ,Fy (M ) 6= 0נניח בה"כ כי Fy (x, y) .Fy (M ) > 0רציפה בסביבת Mולכן קיימת סביבה של
Mבה .Fy (x, y) > 0נבחין כי לאורך הישר Fy (x0 , y) ,x = x0חיובית ולכן ) F (x0 , yפונקציה מונוטונית
עולה ממש ומקיימת F .F (M ) = 0רציפה ולכן קיים מלבן } D = {(x, y) | a ≤ x ≤ b, c ≤ y ≤ dבו
מתקיים:
F (x, c) < 0
∀x ∈ [a, b],
F (x, d) > 0
כלומר ,לכל ] x ∈ [a, bקבוע ,ממשפט ערך הביניים 27יש yיחיד 28המקיים ,F (x, y) = 0כלומר ,לכל xיש
) y(xוסיימנו.
• רציפות :יש להוכיח כי לכל ε > 0קיים δ > 0כך שלכל xהמקיים |x−x0 | < δמתקיים .|y(x)−y(x0 )| < ε
מספיק להוכיח עבור εקטן מספיק ,כזה המקיים ) (y0 − ε, y0 + εמוכל בקטע ] [c, dמהשלב הקודם .כעת,
כמו מקודם ,נמצא δ > 0המקיים שלכל xבקטע ) (x0 − δ, x0 + δמתקיים:
42 danielr@technion.ac.il
גזירות 10
דוגמאות:
1 1
Fx 1, =−
2 2
1
Fy 1, =0
2
1
= .yשיפוע המשיק הוא: 2
יתר תנאי המשפט מתקיימים בסביבת הנקודה ולכן יש חילוץ ) x (yבסביבת
1
1 Fy 1,
x0 =− 2
=0
2 Fx 1, 21
43 danielr@technion.ac.il
גזירות 10
דוגמה :תהא הפונקציה .f (x, y, z) = z 3 + (2x2 − 4x) sin yהמשוואה F (x, y, z) = f (x, y, z) − 8 = 0מגדירה
פונקציה סתומה בסביבת ) .(1, 0, 2נבחין כי תנאי המשפט מתקיימים עבור Fy (1, 0, 2) = −2 6= 0 :yולכן
מהמשפט ,קיים חילוץ של ) y(x, zבסביבת ).(1, 2
√
= ) .x(yנבחין כי 3 ראינו מקודם כי עבור F (x, y) = y − x3 = 0מתקיים כי Fx (0, 0) = 0אבל יש חילוץ y
החילוץ לא גזיר 29באפס ,ולא בכדי.
טענה ) 10.15חילוץ לא גזיר( נניח כי Fגזירה ברציפות בסביבת נקודה ) M = (x0 , y0 , z0וכן כי מתקיים:
.F (M ) = 0 .1
.Fy (M ) = 0 .2
.∇F (M ) 6= 0̄ .3
.4קיים חילוץ ) y(x, zהמקיים F (x, y(x, z), z) = 0בסביבת .M
אז ) y(x, zלא גזירה בנקודה ) .(x0 , z0
הוכחה :נניח בשלילה כי ) y(x, zגזירה .נפעיל את כלל השרשרת על ) F (x, y(x, z), zבנקודה :M
∂
=0 ∂x
) (F (x, y(x, z), z)) (M ) = Fx (M ) · 1 + Fy (M )yx (x0 , z0 ) + Fz (M ) · 0 = Fx (M
∂
=0 ∂z
) (F (x, y(x, z), z)) (M ) = Fx (M ) · 0 + Fy (M )yz (x0 , z0 ) + Fz (M ) · 1 = Fz (M
ממשפט הפונקציות הסתומות נקבל קיום והצגה מפורשת למישור המשיק למשטח בכל נקודה אשר מקיימת את
תנאי המשפט.
44 danielr@technion.ac.il
גזירות 10
אז למשטח F (x, y, z) = 0קיים מישור משיק בנקודה Mאשר נתון על־ידי:
הערות:
.1המשמעות הגיאומטרית היא שהגרדיאנט ניצב למשטח הרמה של ) F (x, y, zבנקודה .M
.2בשני מימדים ,נקבל כי למסילה F (x, y) = 0יש משיק בנקודה ) M = (x0 , y0הנתון על־ידי:
Fx (M ) (x − x0 ) + Fy (M ) (y − y0 ) = 0
כאשר ) ∇F (Mניצב למשיק זה .גם כאן ,המשמעות הגיאומטרית היא שוקטור הכיוון ניצב לקו הגובה של
) F (x, yבנקודה .M
הוכחה :נתון כי ∇F (M ) 6= 0ולכן בה"כ נניח כי .Fz (M ) 6= 0יתר תנאי משפט הפונקציות הסתומות מתקיימים
ולכן קיים חילוץ ) z(x, yגזיר ברציפות בסביבת .Mמכאן ,בסביבת Mהמשטח הוא הגרף של הפונקציה הגזירה
) z(x, yולכן קיים מישור משיק הנתון על־ידי:
דוגמה :נמצא מישור משיק למשטח F (x, y, z) = x2 cos y −z 2 −z +x+2 sin(y −1) = 0בנקודה ).M = (0, 1, 0
נבחין כי Fגזירה ברציפות בכל המרחב וכן:
.F (M ) = 0 .1
.∇F (M ) = (1, 2, −1) 6= 0 .2
לכן המישור המשיק הוא .x + 2(y − 1) − z = 0
נניח כי נתון משטח המכיל מסילה .באופן אינטואיטיבי ,ברור 31כי וקטור הכיוון של המסילה מוכל במישור המשיק
בנקודה:
31זה למעשה נובע ישירות מההגדרה הגיאומטרית של מישור משיק.
45 danielr@technion.ac.il
גזירות 10
נוכיח זאת.
הוכחה :נסמן )) γ̄(t) = (x(t), y(t), z(tכאשר .γ̄(t0 ) = Mהמסילה מוכלת במשטח ולכן לכל tמתקיים
.F (γ̄(t)) = 0בנוסף ,המסילה ו־ Fגזירים ולכן )) F (γ̄(tגזירה ב־ ,t0מכלל השרשרת:
d
=0 ) (F ◦ γ̄) (t0 ) = Fx (M )x0 (t0 ) + Fy (M )y 0 (t0 ) + Fz (M )z 0 (t0 ) = ∇F (M ) · γ̄ 0 (t0
dt
כלומר ,וקטור הכיוון של המסילה ניצב לנורמל למישור המשיק ומכאן הישר המשיק מוכל במישור המשיק.
דוגמאות:
.1עבור המערכת:
x+y+u+v = 1
x2 + y 2 − u + v = −1
.2עבור המערכת:
= ) F (x, y, u, v 2x + y − u + v − 1 = 0
G(x, y, u, v) = x2 + y 2 − 2u2 + v 2 + 1 = 0
46 danielr@technion.ac.il
גזירות 10
רוצים לבדוק חילוץ בסביבת הנקודה ) .M = (1, 0, 1, 0נניח שקיים חילוץ גזיר ) ,u(x, y), v(x, yאז:
∂
= 0 F = 2 − ux + vx
∂x
∂
= 0 G = 2x − 4uux + 2vvx
∂x
בנקודה Mמקבלים:
כלומר ,שתי משוואות בשני נעלמים .כזכור מאלגברה ,תנאי לקיום פתרון יחיד הוא מטריצת מקדמים
הפיכה .32באופן כללי ,אם נביט במטריצת הנגזרות החלקיות של F, Gבנקודה Mנקבל:
! ! !
Fx Fy Fu Fv 2 1 −1 1 2 1 −1 1
= =
Gx Gy Gu Gv 2x 2y −4u 2v 2 0 −4 0
M
נבחין כי שתי העמודות האחרונות הן בדיוק מטריצת המקדמים שקיבלנו כאשר גזרנו את החילוץ.
היעקוביאן 10.9.1
הגדרה 10.18הדטרמיננטה של מטריצת המקדמים אשר מכילה את ערכי הנגזרות החלקיות של המשתנים אותם
רוצים לחלץ נקראת היעקוביאן ,מסמנים:
)∂ (F, G ) Fu (M ) Fv (M
= ) J(M = ) (M
)∂ (u, v
) Gu (M ) Gv (M
)∂(x,y
). ∂(u,v אם יש ארבעה משתנים x, y, u, vאז גם נהוג לסמן
כאשר עוברים ממערכת צירים xyלמערכת צירים uvיש לדעת איך u, vתלויים ב־ ,x, yכלומר ).u (x, y) , v (x, y
) ∂(u,vמתאר את "העיוות" הנוצר בין מישור xyלמישור .uv
)∂(x,y
היעקוביאן
דוגמאות:
.1נניח כי:
u(x, y) = 2x
v(x, y) = y + 1
היעקוביאן הוא:
∂ (u, v) 2 0
=J = =2
∂ (x, y) 0 1
47 danielr@technion.ac.il
גזירות 10
במישור xyמתקיים:
1≤x≤ 3
2
3≤y≤5
m
2 ≤ 2x ≤ 3
4≤y+1≤6
m
2≤u≤3
4≤v≤6
y = −x + 1
y = −x + 4
y = 2x3
y = 8x3
u(x, y) = x + y
y
v(x, y) = 3
x
נקבל:
1−x≤y ≤4−x
2x3 ≤ y ≤ 8x3
m
1≤y+x≤4
2 ≤ xy3 ≤ 8
m
1≤u≤4
2≤v≤8
48 danielr@technion.ac.il
גזירות 10
היעקוביאן מתאר גם כאן את "העיוות" אך בניגוד לדוגמה הקודמת ,ההחלפה לא לינארית ולכן "העיוות"
לא אחיד בכל התחום.
משפט 10.19נסמן ) M = (x0 , y0 , z0 , u0 , v0ו־ ) .P = (x0 , y0 , z0תהיינה F, Gמוגדרות בסביבת Mונניח כי:
.F (M ) = G(M ) = 0 .1
בסביבת .M F, G .2גזירות ברציפות
) F (M ) F (M
u v
= ) .J(M 6= 0 .3
) Gu (M ) Gv (M
אז קיימת סביבה של Mשבה ניתן לחלץ את u, vבאופן יחיד כתלות ב־ x, y, zכך שמתקיים:
.u(P ) = u0 , v(P ) = v0 .1
F (x, y, z, u (x, y, z) , v (x, y, z)) = G (x, y, z, u (x, y, z) , v (x, y, z)) = 0 .2
u, v .3רציפות בסביבת .P
u, v .4גזירות ברציפות בסביבת Pומתקיים:
! !−1 !
) ux (P ) uy (P ) uz (P ) Fu (M ) Fv (M ) Fx (M ) Fy (M ) Fz (M
=−
) vx (P ) vy (P ) vz (P ) Gu (M ) Gv (M ) Gx (M ) Gy (M ) Gz (M
49 danielr@technion.ac.il
גזירות 10
נפתור ונקבל:
13
= )vx (2, −2
17
מסקנה ) 10.20משפט הפונקציות ההפוכות( נניח כי ) x(u, v), y(u, vגזירות ברציפות בסביבת ) .(u0 , v0נסמן
ונניח כי
F F
u v
6= 0
Gu Gv
) (x(u0 ,v0 ),y(u0 ,v0 ),u0 ,v0
אז מהמשפט נובע שקיים חילוץ של u, vכפונקציות של x, yוכן שמתקיים בסביבת הנקודה:
! !−1 ! !−1 ! !−1
ux uy Fu Fv Fx Fy −xu −xv 1 0 xu xv
=− =− =
vx vy Gu Gv Gx Gy −yu −yv 0 1 yu yv
הערות:
dy 1
. dx = dx .1זה מזכיר את הסימון של
dy
.2אם רוצים לחשב יעקוביאן של x, yביחס ל־ u, vאבל נתון החילוץ ההפוך ,אז ניתן לחשב את . J1למשל
בדוגמה בה:
u(x, y) = x + y
y
v(x, y) = 3
x
נקבל:
)∂ (x, y 1 x4
= =
)∂ (u, v 1 1 x + 3y
−3y 1
x4 x3
50 danielr@technion.ac.il
גזירות 10
10.10.1פולינום טיילור
בשני משתנים נקבל את המשפט האנלוגי הבא:
הגדרה 10.21תהא ) f (x, yבעלת נגזרות חלקיות רציפות עד סדר nבסביבת נקודה ) .p0 = (x0 , y0אז פולינום
טיילור של הפונקציה מסדר nהוא:
הערות:
.1נבחין כי הגורם (x − x0 )a (y − y0 )bמתאים לנגזרת חלקית בה מספר ההופעות של xבנגזרת החלקית של
הפונקציה שווה ל־ aואילו מספר ההופעות של yבנגזרת החלקית של הפונקציה שווה ל־ .bאיבר כזה נקרא
איבר מסדר .a + b
קומבינטוריים
! .2כיוון שהנגזרות החלקיות רציפות ,ממשפט קודם נובע כי הנגזרות המעורבות שוות .משיקולים
l !l
. !)= k!(l−k נובע כי מספר ההופעות של נגזרת מעורבת מסדר lכאשר ל־ xיש kהופעות 33הוא:
k
! ! !
2 2 2
אפשרויות ול־ fxyיש = 1 אפשרויות ל־ ,fxxיש = 2 למשל עבור סדר שני יש = 1
2 1 0
אפשרויות ל־ ,fyyסך הכל נקבל:
1
= fxx (p0 )(x − x0 )2 + fxy (p0 )(x − x0 )(y − y0 ) + fxy (p0 )(x − x0 )(y − y0 ) + fyy (y − y0 )2
!2 ! ! ! !
1 2 2 2
fxx (p0 )(x − x0 )2 + fxy (p0 )(x − x0 )(y − y0 ) + fyy (y − y0 )2 =
!2 0 1 2
1
fxx (p0 )(x − x0 )2 + 2fxy (p0 )(x − x0 )(y − y0 ) + fyy (y − y0 )2
!2
51 danielr@technion.ac.il
גזירות 10
חשוב לזכור שאם רוצים לחלץ נגזרת מסויימת מפיתוח טיילור נתון יש שני מקדמים שצריך להתחשב בהם:
! .3
k
ו־ , k!1בהתאמה לסדר האיבר ומספר ההופעות של xבנגזרת.
m
.4ניתן להשתמש בפיתוחי טיילור ידועים של פונקציות במשתנה אחד .לשם כך נגדיר את הארגומנט 34כמשתנה
חדש ,נוודא שהנקודה בה מפתחים מתאימה לערך בו ידוע הפיתוח ונציב.
דוגמאות:
1
f (x, y) = x2 +סביב ) (1, 1עד סדר שני .ראשית נחשב את כל הנגזרות y
.1נחשב את פולינום טיילור של
החלקיות הדרושות:
52 danielr@technion.ac.il
גזירות 10
.3נמצא פולינום טיילור של f (x, y) = exyעד סדר 4סביב ) :(0, 0כזכור ,במשתנה אחד ,פיתוח טיילור של et
מסדר nסביב אפס הוא:
n
t
X tk
= e )+ Rn (x
k=0
!k
נסמן ,t = xyרוצים לפתח סביב ) (0, 0ולכן גם .t = 0נציב t = xyבפיתוח של משתנה אחד:
n
xy
X (xy)k x2 y 2 x3 y 3
e = = 1 + xy + + + ...
k=0
!k 2 6
x3 y 3
הוא כבר מסדר 6ולכן הפיתוח המבוקש הוא: 6
רוצים פיתוח עד סדר 4והגורם
x2 y 2
T4 (x, y) = 1 + xy +
2
10.10.2השארית
בדומה לשארית במשתנה אחד ,גם בשני משתנים יש ביטוי לשארית.
משפט 10.22תהא ) f (x, yגזירה ברציפות n + 1פעמים בסביבת נקודה ) .(a, bאז לכל ) (x, y) 6= (a, bבסביבה
זו קיימת נקודה }) (c, d) ∈ B ((a, b) , (x, y)) − {(a, bכך שמתקיים:
כאשר:
1
fxn+1 (c, d) (x − x0 )n+1 + fxn y (c, d) (x − x0 )n (y − y0 ) + ... + fyn+1 (c, d) (y − y0 )n+1
= )Rn (x, y
!)(n + 1
הערות:
.1מתייחסים ל־ ) Rn (x, yכשארית מסדר nלמרות שחזקת המונומים היא .n + 1נהוג גם לקרוא להצגה זו
שארית בצורת לגרנז׳.
.2בדומה למשתנה אחד ,המשפט לא מאפשר לחשב ישירות את השארית אלא להעריך אותה בערך מוחלט.
53 danielr@technion.ac.il
גזירות 10
:דוגמאות
כך שהשגיאה לא תעלה עלB (0, 0) , 21 בכדורf (x, y) = x sin y נמצא קירוב פולינומיאלי לפונקציה ל.1
1
:3 נתחיל בחישוב הנגזרות מסדר. ביחס לראשית2 נעריך את השארית מסדר. 30
fxxx (x, y) = 0, fxxy (x, y) = 0, fxyy (x, y) = − sin y, fyyy (x, y) = −x cos y
:נציב ונקבל
1
− sin (d) xy 2 − c sin (d) y 3
R2 (x, y) =
6
:( ולכןx, y) ∈ B (0, 0) , 12 מניחים כי.(c, d) ∈ B ((0, 0) , (x, y)) − {(0, 0)} כאשר
1 1 2
3
+ 12 21
|sin (d) xy 2 + c sin (d) y 3 | |x| y 2 + |c| |y 3 | 2 2 1 1
|R2 (x, y)| = ≤ ≤ = <
6 6 6 32 30
1
:( נקבלx, y) ∈ B (0, 0) , 2 לכל, לפיכך,T2 (x, y) = xy חישוב ישיר מראה כי
1
f (x, y) = x sin y = T2 (x, y) + R2 (x, y) = xy ±
30
בכדורf (x, y) = sin (x2 y 2 ) של פיתוח טיילור סביב הראשית של הפונקציה 2 נעריך את השארית מסדר.2
נחשב נגזרות.B (0, 0) , 12
:3 מסדר
fxxx (x, y) = 2y 2 cos x2 y 2 − 4x2 y 4 sin x2 y 2
:נציב ונקבל
1
fxxx (c, d) x3 + 3fxxy (c, d) x2 y + 3fxyy (c, d) xy 2 + fyyy (c, d) y 3
R2 (x, y) =
6
:( ולכןx, y) ∈ B (0, 0) , 21 מניחים כי.(c, d) ∈ B ((0, 0) , (x, y)) − {(0, 0)} כאשר
1
|fxxx (c, d)| |x|3 + 3 |fxxy (c, d)| x2 |y| + 3 |fxyy (c, d)| |x| y 2 + |fyyy (c, d)| |y|3
|R2 (x, y)| ≤
6
1 1 1 1 1
≤ |fxxx (c, d)| + 3 |fxxy (c, d)| + 3 |fxyy (c, d)| + |fyyy (c, d)|
6 8 8 8 8
1
= (|fxxx (c, d)| + 3 |fxxy (c, d)| + 3 |fxyy (c, d)| + |fyyy (c, d)|)
48
1
2d2 + 4c4 d6 + 3 4 |d| + 8 |d|5 c4 + 20c4 |d|5 +
≤
(∗) 48
54 danielr@technion.ac.il
11בעיות קיצון
.3במקרים בהם ניתן לעבור למשתנה אחד ניתן להקל בחישוב השארית על־ידי שימוש במשפט טיילור במשתנה
אחד .נביט למשל בדוגמה של ) f (x, y) = sin (x2 y 2בכדור .B (0, 0) , 21נסמן t = x2 y 2ואז:
מכאן:
) (2
)sin (c |− sin (c)| 2 1 1
= |)|R4 (x, y)| = |R1 (t = t2 ≤ t 8
=
!2 !2 (∗) 2 · 2 29
1 1
≤ |.|t 24
< | |x| , |yולכן מתקיים 2
)∗( מההנחהת
אפשר בקלות לשפר את ההערכה של |) |R4 (x, yאם ניקח סדר מעט גדול יותר במשתנה אחד.
הגדרה 11.1נאמר כי לפונקציה ) f (x, yיש נקודת מינימום P0בקבוצה Dאם מתקיים:
הערך ) f (P0נקרא ערך המינימום של fבקבוצה .Dבאופן דומה מגדירים נקודת מקסימום .נאמר כי נקודה
היא נקודת קיצון )או אקסטרימום( אם היא נקודת מינימום/מקסימום .
דוגמה :הנקודה ) (0, 0היא נקודת מינימום של f (x, y) = 5 + x2 + y 2בכל המישור וערך המינימום הוא .5
הערך ) f (P0נקרא ערך מינימום מקומי של fבקבוצה .Dבאופן דומה מגדירים נקודת מקסימום מקומי .נאמר
כי נקודה היא נקודת קיצון מקומי )או אקסטרימום מקומי( אם היא נקודת מינימום/מקסימום מקומי.
נבחין כי כל נקודת מינימום/מקסימום אשר לא נמצאת על שפת תחום ההגדרה של fהיא גם נקודת מינימום/מקסימום
מקומי.
35קבוצה פתוחה המוכלת ב־ Dןמכילה את .P0
55 danielr@technion.ac.il
11בעיות קיצון
2
דוגמה :הנקודה ) (0, 0היא נקודת מינימום מקומי )אך לא מינימום( של ) f (x, y) = x2 + y 2 − (x2 + y 2בכל
המישור וערך המינימום המקומי הוא .0הדרך הקלה ביותר לראות זאת היא לסמן t = x2 + y 2ולחקור את
הפונקציה f (x, y) = g (t) = t − t2לכל .t ≥ 0נקבל מינימום באפס בקטע 0, 21ומקסימום ב־ . 12לפיכך,
לפונקציה fיש מינימם מקומי בנקודה ) (0, 0ומקסימום בכל הנקודות מהצורה . (x, y) | x2 + y 2 = 21
הגרף הוא:
כזכור ,ממשפט פרמה ,אם ) f (xגזירה אז תנאי הכרחי לנקודת קיצון הוא שהנגזרת מתאפסת .נכליל תנאי
זה לפונקציות בשני משתנים:
משפט 11.3תהא ) f (x, yמוגדרת בסביבת נקודה P0ונניח כי P0היא נקודת קיצון של .f
הערות:
.2ניתן באופן דומה להוכיח כי אם קיימת נגזרת מכוונת בנקודת קיצון אז היא בהכרח מתאפסת.
.3כמו במשתנה אחד ,זהו תנאי הכרחי אך לא מספיק ,לדוגמה ,לפונקציה f (x, y) = xyאין קיצון בראשית
למרות שהנגזרות החלקיות מתאפסות .נקודות כאלה נקראות נקודות אוכף.
הוכחה :הואיל ול־ fיש קיצון בנקודה ) P0 = (x0 , y0אז לפונקציה ) g (x) = f (x, y0יש נקודת קיצון ב־ .x0כמו
כן ,ל־ fיש נגזרת חלקית לפי xב־ P0ולכן גם gגזירה ב־ .x0כעת ,ממשפט פרמה נובע כי:
) g (x) − g (x0 ) f (x, y0 ) − f (x0 , y0
0 = g 0 (x0 ) = lim = lim ) = fx (P0
x→x0 x − x0 x→x 0 x − x0
באופן זהה נוכיח כי.fy (P0 ) = 0 :
הגדרה 11.4תהא fמוגדרת בסביבת ,P0נאמר כי נקודה P0קריטית או חשודה לקיצון אם כל הנגזרות החלקיות
של fקיימות ומתאפסות או לא קיימות.
הערה :אם אחת הנגזרות החלקיות מתאפסת והשניה לא קיימת ,נקבל גם כן נקודה קריטית.
56 danielr@technion.ac.il
11בעיות קיצון
דוגמאות:
p
.1עבור הפונקציה f (x, y) = x2 + y 2אין נגזרות חלקיות בראשית ולכן הנקודה חשודה לקיצון ואילו לכל
נקודה השונה מהראשית ∇f 6= 0ומכאן אין נקודות קריטיות נוספות.
.2עבור הפונקציה f (x, y) = x2 + xy + y 2הפונקציה גזירה ולכן הנקודות הקריטיות מתקבלות רק כאשר
הגרדיאנט מתאפס:
2x + y = 0
⇒⇐ ∇f = 0
2y + x = 0
משפט 11.5תהא fגזירה ברציפות פעמיים בסביבת נקודה P0ונניח כי P0נקודה חשודה לקיצון של .fנסמן:
) f (P ) f (P
xx 0 xy 0
= ∆ = ) Hf (P0
) fyx (P0 ) fyy (P0
אז:
.1אם ∆ > 0וגם fxx (P0 ) > 0אז P0נקודת מינימום מקומי.
.2אם ∆ > 0וגם fxx (P0 ) < 0אז P0נקודת מקסימום מקומי.
מכאן ,הנקודות הקריטיות הן ) .(0, 0) , (0, ±1) , (±1, 0) , (±1, ±1נחשב את ההסיאן:
xx fxy 6x2 − 2
f 0
=∆ =
2
12y − 4
fyx fyy 0
ונבדוק את הנקודות:
57 danielr@technion.ac.il
11בעיות קיצון
הגרף הוא:
דוגמה :נמצא את הנקודות הגבוהות/נמוכות ביותר לאורך המסילה שהיא חיתוך המשטחים:
x2 + y 2 = 1
xy − z = 0
( הוא גרף הפונקציה ,f (x, y) = xyלפיכך ,המסלול המבוקש הואהמשטח הראשון הוא גליל והמשטח השני
)γ (t) = (cos t, sin t
,נבצע הרכבה ונקבל: תמונת המסילה
]t ∈ [0, 2π
sin 2t
= h (t) = f (γ (t)) = cos t · sin t
2
נגזור ונקבל:
π 3π 5π 7π
= h0 (t) = 0 ⇐⇒ cos 2t = 0 ⇐⇒ t , , ,
4 4 4 4
אם נחשב נגזרת שנייה נגלה כי שתי נקודות נותנות מקסימום ושתי נקודות מינימום.
58 danielr@technion.ac.il
11בעיות קיצון
נניח כי ) f (x, yמתארת את המשטח והמסלול נתון על־ידי .g (x, y) = 0נניח בנוסף כי f, gגזירות ברציפות וכל
הנגזרות החלקיות שונות מאפס .הנגזרת המכוונת של fבכיוון מקביל לכיוון התקדמות המסלול נתונה על־ידי:
⊥
∇g
· ∇f
||∇g
f
אם רוצים קיצון אז נדרוש שהנגזרת המכוונת תתאפס ומהגדרת המכפלה הסקלרית נובע כי .∇f ∇gנקבל תנאי
הכרחי לקיום קיצון תחת אילוץ.
משפט ) 11.6כופלי לגרנז׳( תהיינה f, gמוגדרות וגזירות ברציפות בסביבת נקודה ,P0ונניח שמתקיים:
.g (P0 ) = 0 .1
.∇g (P0 ) 6= 0 .2
אם לפונקציה fיש ערך קיצון בנקודה P0תחת האילוץ ,g (P ) = 0אז בהכרח קיים קבוע λכך שמתקיים:
הערות:
.1אם ̄ ∇f (P0 ) = 0אז הנקודה חשודה לקיצון משיקולים קודמים בסביבת הנקודה ולכן בפרט תחת אילוץ,
לפיכך ,במשפט ניתן להניח כי ̄.∇f (P0 ) 6= 0
.2למרות שהמשפט נכון גם עבור שני משתנים ,ברוב המקרים אפשר לפתור באמצעות כלים בסיסיים יותר.
לכן ,ניעזר במשפט בעיקר עבור שלושה משתנים.
.3המשפט עוזר למצוא נקודות חשודות לקיצון ,אך לא עוזר לאפיין אותן .כיוון שהפונקציה רציפה ומסילה היא
קבוצה סגורה וחסומה נקבל מויירשטראס כי יש מינימום ומקסימום והוא בהכרח יתקבל באחת הנקודות
שנקבל .לפיכך ,יש לבדוק את הערכים על כל הנקודות החשודות.
הוכחה :נוכיח עבור שני משתנים )עבור שלושה ,ההוכחה אנלוגית( .נסמן ) ,P0 = (x0 , y0מהנתון g ,עומדת בתנאי
משפט הפונקציות הסתומות וניתן לאלץ את אחד המשתנים מהמשוואה .g (x, y) = 0נניח בה"כ ) y = y(xגזירה
ברציפות ומקיימת בסביבת :x0
כעת ,נתון כי fמקבלת קיצון בנקודה תחת האילוץ g (x, y) = 0ולכן הפונקציה )) h (x) = f (x, y (xמקבלת
קיצון ב־ .x0מפרמה h0 (x0 ) = 0 ,ומכלל השרשרת:
59 danielr@technion.ac.il
11בעיות קיצון
קיבלנו כי שני הוקטורים ) ∇f (P0 ) , ∇g (P0ניצבים לוקטור )) (1, y 0 (x0ולכן מקבילים ,36כלומר ,קיים מספר
ממשי λהמקיים:
דוגמאות:
מהמשוואה הראשונה נקבל λ = 1ואז מהמשוואה השניה y = 12ומהמשוואה השלישית נקבל .z = 0נציב
באילוץ ונקבל .x = − 41קיבלנו נקודה חשודה יחידה שהיא . − 14 , 21 , 0
.2נמצא את מימדי תיבה בעלת נפח מקסימלי ששטח הפנים שלה הוא .0 < cנסמן את אורך התיבה ב־,x
העומק ב־ ,yהגובה ב־ zואז נפח התיבה נתון על־ידי .f (x, y, z) = xyzבכדי לחשב את שטח הפנים נחשב
את שטחי ששת הפאות ונסכום:
מתקיימים תנאי משפט כופלי לגרנז׳ ,לכן הנקודות החשודות לקיצון הן הנקודות הפותרות את:
נכפול את המשוואה הראשונה ב־ ,xאת השניה ב־ ,yנשווה ונקבל .λ (xz − yz) = 0ברור כי λ = 0לא
רלוונטי 37ולכן .xz = yzשוב ,ברור כי z 6= 0ולכן .x = yבאופן דומה ,מהמשוואה השניה והשלישית 38
60 danielr@technion.ac.il
11בעיות קיצון
נבחין כי ̄ 0מאפסת את הגרדיאנט וגם מקיימת את האילוץ ,לכן זוהי נקודה חשודה .ביתר הנקודות ,תנאי
המשפט מתקיימים ,לכן הנקודות החשודות לקיצון הן הנקודות הפותרות את:
משפט 11.7תהיינה ) f (x, y, z) , g (x, y, z) , h (x, y, zמוגדרות וגזירות ברציפות בסביבת נקודה ,P0ונניח שמתקיים:
! .g (P0 ) =!h (P0 ) = 0 .1
) ∇g (P0 ) gx (P0 ) gy (P0 ) gz (P0
יש דרגה .2 = .2למטריצה
) ∇h (P0 ) hx (P0 ) hy (P0 ) hz (P0
אם לפונקציה fיש ערך קיצון בנקודה P0תחת האילוצים ,g (x, y, z) = h (x, y, z) = 0אז בהכרח קיימים
קבועים λ1 , λ2כך שמתקיים:
61 danielr@technion.ac.il
11בעיות קיצון
דוגמה :נמצא את הערך המקסימלי של הפונקציה f (x, y, z) = x + y + zעל מסילת החיתוך של המשטחים:
g (x, y, z) = x2 + y 2 − 1 = 0
= ) h (x, y, z x+z =0
! !
∇g 2x 2y 0
היא 2על הנקודות = ברור כי ) f, g, h ∈ C 1 (R3וכן ברור כי הדרגה של
∇h 1 0 1
המקיימות את האילוץ ,לפיכך ,מתקיימים התנאים של משפט כופלי לגרנז׳ .מהדרישה = ∇f −λ1 ∇g−λ2 ∇h
̄ 0נקבל:
0 = 1 − λ1 2x − λ2
= 0 1 − λ1 2y
= 0 1 − λ2
לפיכך λ2 = 1 ,ומהמשוואה הראשונה נקבל 0 = λ1 2xאך מהמשוואה השנייה ברור כי λ1 6= 0ולכן x = 0
משני האילוצים נסיק כי z = 0ו־ .y = ±1קיבלנו אם כך שתי נקודות ) ,(0, ±1, 0נציב בפונקציה ונקבל:
דוגמה :נמצא מינימום ומקסימום של הפונקציה f (x, y) = x2 −y 2בקבוצה }.D = {(x, y) | x2 + y 2 ≤ 4, y ≥ 0
הקבוצה סגורה וחסומה והפונקציה רציפה ,לכן מויירשטראס ,יש מינימום ומקסימום .נמצא את כל הנקודות
החשודות.
• פנים התחום :הפונקציה גזירה ולכן הנקודות החשודות היחידות הן הנקודות בהן הגרדיאנט מתאפס:
2x = 0
⇔ ∇f = 0
−2y = 0
• שפת התחום :השפה מורכבת משתי מסילות חלקות ונקודות הקצה בהן השפה לא גזירה חשודות ).(±2, 0
– על חצי המעגל :נשתמש בכופלי לגרנז׳ על הפונקציה fוהאילוץ :g (x, y) = x2 + y 2 − 4 = 0
62 danielr@technion.ac.il
12אינטגרלים
הגרף הוא:
אינטגרלים 12
תזכורת במשתנה אחד :תהא fמוגדרת בקטע ] [a, bותהא {xi }ni=0חלוקה של הקטע .לכל i = 0, ..., n − 1נבחר
נקודה ] ξi ∈ [xi , xi+1ונגדיר את סכום רימן של fביחס לחלוקה:
Pn−1 Pn−1
= σn i=0 = ) f (ξi ) (xi+1 − xi i=0 f (ξi )∆xi
63 danielr@technion.ac.il
12אינטגרלים
פרמטר החלוקה } .δn = max {∆x0 , ..., ∆xn−1נשאיף את nלאינסוף כאשר נדרוש במקביל ש־ .δ→0אם הגבול
´b
קיים אז נאמר כי הפונקציה אינטגרבילית רימן וערך הגבול מסומן ב־ . f (x)dxהמשמעות גיאומטרית היא:
a
.1אם נניח כי הפונקציה היא אי־שלילית אז המשמעות הגיאומטרית היא השטח הכלוא בין ציר xלבין גרף
הפונקציה.
.2אם הפונקציה מתארת צפיפות מסה של תיל אז האינטגרל על "כל התיל" מניב את המסה הכוללת.
12.1.1אינטגרביליות במלבן
הגדרה 12.1תהא )) f (x, yאי־שלילית( ומוגדרת במלבן ] .D = [a, b] × [c, dנגדיר חלוקה של המלבן באופן הבא:
a = x < ··· < x = b
0 n
c = y0 < · · · < ym = d
נתבונן במלבן ה־) i, jשהוא ] ,([xi , xi+1 ] × [yj , yj+1נבחר בתוכו נקודה שרירותית Pi,jונקבל סכום רימן:
n−1 m−1
X X n−1 m−1
X X
= σn,m = ) f (Pi,j ) (xi+1 − xi ) (yj+1 − yj f (Pi,j )∆xi ∆yj
i=0 j=0 i=0 j=0
המשמעות של f (Pi,j )∆xi ∆yjהיא נפח התיבה עם הבסיס שהוא המלבן ה־ i, jוגובה ) .f (Pi,j
q
2 2
) δn,m = maxאורך האלכסון המקסימלי בין כל המלבנים ) (∆xi ) + (∆yj נגדיר פרמטר חלוקה:
i,j
∞ → n, m
אז נאמר כי fאינטגרבילית רימן במלבן Dונסמן בחלוקה( .אם הגבול של σn,mקיים כאשר:
δn,m → 0
את ערך הגבול על־ידי:
¨
f (x, y)dxdy
D
64 danielr@technion.ac.il
12אינטגרלים
הערה :באופן אנלוגי לאינטגרל של פונקציה במשתנה אחד ,ניתן להגדיר את האינטגרל הכפול בעזרת סכומי דרבו.
תחת כל הסימונים מלעיל וההנחה כי fחסומה ,נסמן:
= Mij
sup }){f (x, y
] [xi ,xi+1 ]×[yj ,yj+1
= mij
inf }){f (x, y
] [xi ,xi+1 ]×[yj ,yj+1
. n−1
P Pm−1 Pn−1 Pm−1
i=0 וסכום דרבו התחתון הואj=0 mi,j ∆yj ∆xi : i=0 ואז ,סכום דרבו העליון הואj=0 Mi,j ∆yj ∆xi :
אם סכומי דרבו מתכנסים לאותו הגבול נאמר כי fאינטגרבילית .שתי ההגדרות שקולות.
משפט 12.3מסילה חלקה במישור הניתנת על־ידי פרמטריזציה היא בעלת שטח אפס.
קבוצות בעלות שטח אפס נחשבות ל"זניחות" בחישוב האינטגרל הכפול בדיוק כמו שנקודות בודדות הן זניחות
באינטגרל במשתנה אחד.
הגדרה 12.4תהא fמוגדרת בקבוצה סגורה ,חסומה ובעלת שטח Dהמוכלת במלבן ] .[a, b] × [c, dנגדיר פונקציה
חדשה:
˜
) f (x, y (x, y) ∈ D
= )f (x, y
0 ∈ )(x, y
/D
אם ˜ fאינטגרבילית במלבן ] [a, b] × [c, dאז נאמר כי fאינטגרבילית ב־ Dונסמן:
¨ ¨
= f (x, y)dxdy f˜(x, y)dxdy
D ][a,b]×[c,d
הערות:
˜
. .1השטח של Dהואdxdy :
D
˜
.2הנפח הכלוא בין גרף של פונקציה אי־שלילית ) f (x, yלקבוצה בעלת שטח במישור xyהוא . f (x, y)dxdy
D
65 danielr@technion.ac.il
12אינטגרלים
.3אם Dמתארת אובייקט המונח על מישור xyו־) ρ(x, yצפיפות המסה של האובייקט ,אז המסה הכוללת
היא:
¨
=M ρ(x, y)dxdy
D
משפט 12.5פונקציה רציפה בקבוצה סגורה ,חסומה ובעלת שטח אינטגרבילית שם.
הערה :אם אוסף נקודות אי־הרציפות של fהוא קבוצה בעלת שטח אפס אז נאמר כי fרציפה כמעט בכל מקום .39
אם פונקציה רציפה כמעט בכל מקום וחסומה בקבוצה סגורה ובעלת שטח אז היא אינטגרבילית שם.
12.1.3תכונות בסיסיות
משפט 12.6תהיינה f, gאינטגרביליות בקבוצה סגורה ,חסומה ובעלת שטח .D
) .4אדיטיביות( אם D = D1 ∪ D2כאשר D1 , D2קבוצות בעלות שטח ול־ D1 ∩ D2יש שטח אפס ,אז:
¨ ¨ ¨
= f (x, y)dxdy f (x, y)dxdy + f (x, y)dxdy
D D1 D2
˜ ˜
.5אז | |fאינטגרבילית ומתקיים. f (x, y)dxdy ≤ |f (x, y)| dxdy :
D D
˜
≤ |.m|D הערה :מתכונת המונוטוניות נובע כי אם m ≤ f (x, y) ≤ Mב־ Dאז |f (x, y)dxdy ≤ M |D
D
66 danielr@technion.ac.il
12אינטגרלים
12.1.4חישוב במלבן
משפט 12.7תהא fאינטגרבילית במלבן ] .D = [a, b] × [c, dנניח כי לכל ] x ∈ [a, bמוגדרת הפונקציה:
ˆd
F (x) = f (x, y)dy
c
הערות:
{xi }ni=1 , {yj }mחלוקה של המלבן Dונסמן לכל i, jבתחום: הוכחה :תהא j=1
∆x = x − x
i i+1 i
.1
∆yj = yj+1 − yj
= Mij
sup }){f (x, y
] [xi ,xi+1 ]×[yj ,yj+1
.2
= mij
inf }){f (x, y
] [xi ,xi+1 ]×[yj ,yj+1
לכל נקודה שרירותית ] ξi ∈ [xi , xi+1במלבן ה־ i, jמתקיים .mi,j ≤ f (ξi , y) ≤ Mi,jנבצע אינטגרציה לפי y
לשלושת האגפים:
ˆy
j+1
67 danielr@technion.ac.il
12אינטגרלים
נסכום על כל :j
Pm−1 ´
Pm−1 yj+1 Pm−1
j=1 ≤ mi,j ∆yj j=1 ≤ f (ξi , y)dy j=1 Mi,j ∆yj
yj
m
Pm−1 ́d Pm−1
j=1 ≤ mi,j ∆yj ≤ f (ξi , y)dy j=1 Mi,j ∆yj
c
m
Pm−1 Pm−1
j=1 ≤ ) mi,j ∆yj ≤ F (ξi j=1 Mi,j ∆yj
כיוון ש־ fאינטגרבילית במלבן ,סכומי דרבו מתכנסים ושווים לאינטגרל הכפול .נשאיף את n, mופרמטר החלוקה
ומכלל הסנדוויץ נקבל כי סכום רימן של Fמתכנס לאינטגרל הכפול .כלומר F ,אינטגרבילית בקטע ] [a, bוערך
˜
האינטגרל שווה ל־. f (x, y)dxdy
D
הערה :אם fרציפה אז התנאים מתקיימים באופן ברור ולכן המשפט תקף.
דוגמאות:
˜
.לפי המשפט: .1נחשב את (6 − x − y) dxdy
][0,1]×[0,1
.2נחשב את הנפח הכלוא בין גרף הפונקציה f (x, y) = 3x2 + 3y 2למישור xyבתחום ]:[0, 1] × [0, 2
¨ ˆ1 ˆ2 ˆ1
68 danielr@technion.ac.il
12אינטגרלים
.3יהא ] D = [0, 2] × [0, 2גוף המונח על מישור xyשצפיפות המסה שלו נתונה על־ידי .ρ (x, y) = xyנמצא
את מרכז המסה ואת הנקודות בהן מתקבלת צפיפות המסה הממוצעת .נתחיל בחישוב המסה:
¨ ˆ2 ˆ ˆ2
2
2
1 2
=M xy dxdy = x y dy dx = x y dx = 4
2 0
][0,2]×[0,2 0 0 0
4 4
.כעת ,צפיפות המסה ,
3 3
משיקולי סימטריה זוהי גם קורדינטת ,yכלומר מרכז המסה מתקבל בנקודה
הממוצעת היא המסה לחלק לשטח הגוף ,כלומר:
M 4
= =1
||D 4
1
= ) y (xבקטע ].[0, 2 x
הנקודות בהן מתקבלת הצפיפות הממוצעת הן xy = ρ (x, y) = 1כלומר הגרף של
הערות:
.1משמעות גיאומטרית :התחום תחום בין 2פונקציות רציפות מלעיל ומלרע ובין שני ישרים מהצדדים .באופן
אינטואיטיבי ,עבור כל ישר המקביל לציר yאשר חותך את התחום ,החיתוך הוא מקטע רציף .באופן אנלוגי
מגדירים תחום פשוט ביחס לציר .x
69 danielr@technion.ac.il
12אינטגרלים
.3אם התחום לא פשוט אך מתפרק למספר סופי של תחומים פשוטים נעזר בתכונת האדיטיביות.
דוגמאות:
.2התחום המוגבל על־ידי המסילות y = 0, x = 1, y = x2הוא תחום פשוט ביחס לציר yכי ניתן לרשום:
( )
0≤x≤1
| )D = (x, y
0 ≤ y ≤ x2
.3התחום:
( )
−1 ≤ x ≤ 1
=D | )(x, y
|−2 ≤ y ≤ |x
.4התחום:
אינו תחום פשוט ביחס לאף ציר אך ניתן לרשום אותו כאיחוד של שני תחומים פשוטים:
( )
a≤x≤b
= Dתחום פשוט ביחס לציר yותהא fפונקציה רציפה ב־.D | )(x, y משפט 12.10יהא
)u(x) ≤ y ≤ v(x
אז:
¨ ˆb ˆ
)v(x
הערות:
70 danielr@technion.ac.il
12אינטגרלים
.3אם התחום לא פשוט ביחס לאף ציר ,אפשר לנסות לפרק אותו לתחומים פשוטים שחיתוכם בעל שטח אפס
ולהשתמש באדיטיביות.
הוכחה :לפי הגדרה ,התחום חסום ולכן קיים מלבן ] [a, b] × [c, dהמכיל את .Dבמלבן ] [a, b] × [c, dנגדיר:
˜
) f (x, y (x, y) ∈ D
= )f (x, y
0 ∈ )(x, y
/D
ברור כי:
¨ ¨
= f (x, y)dxdy f˜(x, y)dxdy
D ][a,b]×[c,d
ממשפט קודם:
¨ ˆb ˆ
d
ˆd ˆ
)u(x ˆ
)v(x ˆd
= f˜(x, y)dy f˜(x, y)dy+ f˜(x, y)dy+ f˜(x, y)dy
c c )u(x )v(x
ˆ
)u(x ˆ
)v(x ˆd
= 0dy+ f (x, y)dy+ 0dy
c )u(x )v(x
ˆ
)v(x
ולכן:
¨ ¨ ˆb ˆ ˆb ˆ
)v(x
d
= f (x, y)dxdy f˜(x, y)dxdy = f˜(x, y)dy dx = f (x, y)dy dx
דוגמאות:
˜
.1יהא Dהתחום החסום בין המסילות ,y = 1, x = 0, x = y 2 :נחשב את . 2xydxdyנבחין כי התחום
D
פשוט ביחס לשני הצירים ,נבחר:
√
D = (x, y) | 0 ≤ x ≤ 1, x ≤ y ≤ 1
71 danielr@technion.ac.il
12אינטגרלים
ואז:
¨ ˆ1 ˆ1 ˆ1 ˆ1 1
x2 x3
2 1 2
1
= 2xydxdy = 2xydy dx = x · y √x dx x−x = dx − =
√
2 3 0 6
D 0 x 0 0
x
לא ידועה פונקציה קדומה ל־ e yכפונקציה של .yאבל אפשר בקלות למצוא פונקציה קדומה כפונקציה של
.xנרשום את Dבצורה אחרת:
ואז:
¨ ˆ2 ˆy2 ˆ2 h i 2 ˆ2 2
2
x x x y y 3
= e dxdy = e y dx dy ye y dy = (ye − ye) dy = ye − e − e = e2 − e
y y y
y
y 2 1 2
D 1 y 1 1
12.1.6החלפת משתנים
כאשר דיברנו על היעקוביאן ,ראינו כי החלפת משתנים משנה את התחום .לפיכך ,בתנאים מסויימים ,ניתן לקחת
תחום שהוא לא פשוט במישור xyולהפוך אותו לתחום פשוט במישור אחר.
דוגמה :הקבוצה } D = {(x, y) | 1 ≤ x2 + y 2 ≤ 4היא לא תחום פשוט ביחס לאף אחד מהצירים אך אם נביט
בקבוצה במישור rθהמתקבלת מהקשר:
x = r cos θ
y = r sin θ
כזכור ,החלפת משתנים יוצרת "עיוות" בתחום והיעקוביאן מתאר את יחס העיוות .נבחין כי לכל מעגל )או
חלק ממנו( עם מרכז בראשית ,הרדיוס קבוע ולכן היעקוביאן קבוע .כמו כן ,מעגל מתורגם על־ידי ההחלפה
הפולארית למקטע ישר .מכאן ,אורך המקטע הישר כפול היעקוביאן שווה להיקף המעגל.
72 danielr@technion.ac.il
12אינטגרלים
משפט ) 12.11החלפת משתנים( תהא )) T (u, v) = (x(u, v), y(u, vהעתקה המוגדרת על קבוצה D0ונסמן את
תמונת הקבוצה במישור xyב־ .Dנניח כי Tמקיימת:
T .1גזירה ברציפות בקבוצה D0
T .2חח"ע ב־ .D0
)∂(x,y
).J = ∂(u,v .3היעקוביאן של Tשונה מאפס לכל ,(u, v) ∈ D0כלומר 6= 0
אם ) f (x, yרציפה בקבוצה Dאז:
¨ ¨
= f (x, y)dxdy f (x(u, v), y(u, v)) |J|dudv
D D0
הערות:
.1בהחלפת משתנים פולרית אין צורך להוכיח את תנאי החח"ע אך באופן כללי ,יש לפרט )ראו דוגמה בהמשך(.
נציין כי ההחלפה לא חייבת להיות חח"ע בכל מישור uvאלא רק בתחום המבוקש .לדוגמה ,יהא Dתחום
במישור xyהחסום על־ידי המסילות ,xy = 1, xy = 3, x2 − y 2 = 1, x2 − y 2 = 5ובציור:
(
u (x, y) = xy
ואז נקבל התחום מוגבל על־ידי היפרבולות ולכן כדאי לבחור את החלפת משתנים
v (x, y) = x2 − y 2
מלבן ] [1, 3] × [1, 5במישור .uvנבחין כי ההעתקה הזאת לא חח"ע באופן כללי כי לתחום Dיש תחום
סימטרי ברביע השלישי ,בפרט:
עם זאת ,ניתן להשתמש בהחלפה כיוון שהיא חח"ע על התחום המבוקש ברביע הראשון )יש כמובן לוודא
זאת(.
.2חשוב לזכור שבד"כ מתחילים עם קבוצה Dולכן ההעתקה ))) T (u, v) = (x(u, v), y(u, vוכפועל יוצא
הקבוצה (D0נתונה לבחירתנו.
.3המשפט עדיין נכון אם היעקוביאן מתאפס על קבוצות בעלות שטח אפס )למשל בנקודות בודדות או על
מסילות(.
.4נבחין כי התחום של Tהוא במישור .uvאם נתונה )או שנאלצנו להגדיר( החלפה עם קבוצה במישור xyאז
משתמשים במשפט הפונקציות ההפוכות בכדי לחשב את היעקוביאן.
73 danielr@technion.ac.il
12אינטגרלים
הוכחה :ניקח חלוקה של התחום D0במישור ,uvהביטוי ∆ui ∆vjמתאר מלבן .אם נעביר את הצלעות של המלבן
למישור xyנקבל בקירוב מקבילית שקודקודיה הם ) .T (ui , vj ) , T (ui+1 , vj ) , T (ui , vj+1 ) , T (ui+1 , vj+1שטח
המקבילית אשר מקרבת את תמונת התחום נתונה על־ידי המכפלה הוקטורית של צלעות המקבילית ,נמצא ביטוי
לצלעות:
בציור נקבל:
74 danielr@technion.ac.il
12אינטגרלים
מכאן ,הביטוי ∆xi ∆yjהוא בקירוב | .∆ui ∆vj |Jהביטוי | |Jהוא ביטוי רציף במשתנים u, vולכן |f (u, v) |J
אינטגרבילית ב־ .D0לפי הגדרת האינטגרל לפי סכומי רימן:
¨
0
X
= f (u, v)|J|dudv lim )∗( = f (Pi,j )|J|∆ui ∆vj
D0
δ0 → 0
i = 0, ..., n − 1
∞ → m, n
j = 0, ..., m − 1
כפי שראינו הביטוי | ∆ui ∆vj |Jשווה בקירוב ל־ .∆xi ∆yjכמו כן ,מרציפות ,ברור שאם δ 0שואף לאפס אז גם
פרמטר החלוקה אחרי החלפת המשתנים δשואף לאפס .נחזור לחישוב:
X ¨
= )∗( lim = f (P i,j )∆xi ∆yj f (u(x, y), v(x, y))dxdy
δ→0
i = 0, ..., n − 1 D
∞ → m, n
j = 0, ..., m − 1
נקראת החלפה פולרית או קורדינטות פולריות .נשתמש בקורדינטות פולריות כאשר לקבוצה יש סימטריה
מעגלית .היעקוביאן הוא:
∂(x, y) cos θ −r sin θ
=J = =r
)∂(r, θ sin θ r cos θ
ואז:
∂(x, y) a cos θ −ar sin θ
=J = = abr
)∂(r, θ b sin θ br cos θ
דוגמאות:
˜
e−(x .1נחשב את ) dxdy
2 +y 2
על־ידי החלפת משתנים פולרית .התחום ) B (0, aעובר בבירור למלבן
)B(0,a
] [0, a] × [0, 2πבמישור ,rθלכן:
¨ ¨ ˆ2π ˆa
" 2 #a
) −(x2 +y 2 2 2 e−r 2
e = dxdy re−r drdθ = re−r dr dθ = 2π = π 1 − e−a
2
][0,a]×[0,2π 0 0 0
)B(0,a
75 danielr@technion.ac.il
12אינטגרלים
f (x, y) = x+3yפונקציה המתארת צפיפות מסה של החומר המרכיב את האובייקט .נחשב את המסה
x4
ותהא
של .Dנסמן:
u(x, y) = x + y
y
v(x, y) = 3
x
(
) u(x1 , y1 ) = u(x2 , y2
ונראה כי ) .(x1 , y1 ) = (x2 , y2מההנחה נקבל: נראה חח"ע ,נניח כי
) v(x1 , y1 ) = v(x2 , y2
x +y =x +y
1 1 2 2
y1 y2
= 3
3 x1 x2
התחום הוא ברביע הראשון ולכן x1 , x2 , y1 , y2 > 0וזאת סתירה .כעת ,אחרי החלפת המשתנים התחום
הופך למלבן במישור ) uvראינו בעבר(:
היעקוביאן הוא:
1 1 1 x4
=J )∂(u,v
= = 1 3y =
1 1 x3
+ x4
x + 3y
)∂(x,y
−3y 1
x4 x3
76 danielr@technion.ac.il
12אינטגרלים
ולכן:
¨ ¨ ¨
x + 3y
= f (x, y)dxdy = |J|dudv dudv = |D0 | = 3 · 6 = 18
x4
D D0 D0
.4נחשב את מרכז המסה של האובייקט הנמצא ברביע הראשון ומוגבל על־ידי x = 0, y = 0, x2 + 4y 2 = 1
p
כאשר צפיפות המסה נתונה על־ידי .ρ(x, y) = 3 x2 + 4y 2התחום Dהוא רבע אליפסה ,נתחיל בחישוב
המסה הכוללת על־ידי שימוש בהחלפה אליפטית:
π
¨ p ¨ ˆ2 ˆ1
1 1 3r2 dr dθ = π
=M = 3 x2 + 4y 2 dxdy = 3r · r drdθ
)∗( 2 2 4
D D0 0 0
(
1 0 π x = r cos θ
= .J 2
r D = [0, 1] × [0,והיעקוביאן הוא 2
] ,אז התחום המתאים במישור rθהוא המלבן 1
)∗( נגדיר
y = 2
r sin θ
לפי הנוסחה ,רכיב xשל נקודת מרכז המסה הוא:
π
¨ ¨ ˆ2 ˆ1
1 p 4 3 3 6 3
= x · 3 x2 + 4y 2 dxdy = r cos θ drdθ = r3 cos θ dr dθ
M (∗) π 2 π 2π
D D0 0 0
√
B (0, a) ⊆ [−a, a] × [−a, a] ⊆ B 0, 2a
נבחיון כי:
77 danielr@technion.ac.il
12אינטגרלים
ˆa
2
2
−a −x2 −2a2
π 1−e ≤ e dx ≤π 1−e
−a
הערה :האינטגרל שחישבנו נקרא גאוסיאן ,יש לו תפקיד חשוב בהסתברות ובהתמרות פורייה.
.6צפיפות מסה של דיסקה D = (x, y) | x2 + y 2 ≤ 91נתונה על־ידי ) ,ρ (x, y) = 5 + sin (x2 y 2נמצא
בקירוב את מסת הדיסקה .קל לראות כי פולינום טיילור של ) ρ (x, yביחס לראשית הוא:
3
) (x2 y 2
Tn (x, y) = 5 + x2 y 2 − + ...
!3
ניקח את הגורמים עד סדר ארבע ,כלומר ) .ρ (x, y) = 5 + x2 y 2 + R4 (x, yראינו בדוגמה קודמת כי בכל
1
נקודה בכדור ) B (0, 0) , 12אשר מכיל את הדיסקה( השארית ) R4 (x, yשל ) sin (x2 y 2חסומה על־ידי
29
ובפרט על הדיסקה ,לפיכך .ρ (x, y) = 5 + x2 y 2 ± 81 42כעת נחשב:
¨ ¨ ¨ ¨
2 2 1 2 2 1
≤ ρ (x, y) dxdy = 5 + x y + 9 dxdy x y dxdy + 5 + 9 )∗( = 1 dxdy
2 2
D D D D
מכאן נקבל:
1 2π
1 r6 3 4θ − sin 4θ
1 1 1 1 π π 5π π
= )∗( · = |+ 5 + 9 |D 7
·π+ 5 + 9 = ... = 3 7 + + 9
4 6 0 8 0 2 42·3 2 9 2 ·3 9 2 ·9
באופן דומה:
¨
π 5π π
≥ ρ (x, y) dxdy + − 9
23 ·37 9 2 ·9
D
הערה :למעשה השגיאה קטנה בהרבה מ־ ± 29π·9אך בכדי לדייק יותר יש להעריך את ) R4 (x, yבצורה טובה
יותר.
78 danielr@technion.ac.il
12אינטגרלים
12.2.1אינטגרביליות בתיבה
הגדרה 12.12תהא )) f (x, y, zאי־שלילית( ומוגדרת בתיבה ] .V = [a, b] × [c, d] × [e, hנגדיר חלוקה של התיבה
באופן הבא:
a = x0 < · · · < xn = b
c = y0 < · · · < ym = d
e = z0 < · · · < zl = h
נתבונן בתיבה ה־ ,i, j, kנבחר בתוכו נקודה שרירותית Pi,j,kונקבל סכום רימן:
n−1 m−1
X XX l−1
= σn,m,l f (Pi,j,k )∆xi ∆yj ∆zj
i=0 j=0 k=0
q
2 2 2
) δn,m,l = maxאורך האלכסון המקסימלי של התיבות ) (∆xi ) + (∆yj ) + (∆zk נגדיר פרמטר חלוקה:
i,j,k
∞ → n, m, l
אז נאמר כי fאינטגרבילית רימן בתיבה V בחלוקה( .אם הגבול של σn,m,lקיים כאשר:
δn,m,l → 0
ונסמן את ערך הגבול על־ידי:
˚
f (x, y, z)dxdydz
V
˝
לפעמים מסמנים גם . f (x, y, z)dV
V
הגדרה 12.13תהא fמוגדרת בגוף סגור חסום ובעל נפח Vהמוכל בתיבה ] .B = [a, b] × [c, d] × [e, fנגדיר
פונקציה חדשה:
) f (x, y, z (x, y, z) ∈ V
= )f˜(x, y, z
0 ∈ )(x, y, z
/V
79 danielr@technion.ac.il
12אינטגרלים
משפט 12.14תהא fרציפה בגוף בעל נפח Vאז היא אינטגרבילית שם.
הערות:
.1אם אוסף נקודות אי־הרציפות של fהוא קבוצה בעלת נפח אפס אז נאמר כי fרציפה כמעט בכל מקום.
אם פונקציה רציפה כמעט בכל מקום וחסומה בגוף בעל נפח אז היא אינטגרבילית שם.
12.2.3תכונות בסיסיות
משפט 12.15תהיינה f, gאינטגרביליות בגוף סגור ,חסום ובעל נפח .V
˝ ˝
≤ . f (x, y, z)dxdydz |f | .3אינטגרבילית ומתקיים |f (x, y, z)| dxdydz
V V
) .4הערך הממוצע( אם בנוסף Vקשיר ו־ fרציפה בגוף אז קיימת נקודה P ∈ Vהמקיימת:
˚
| f (x, y, z)dxdydz = f (P )|V
V
) .5אדיטיביות( אם V = V1 ∪ V2כאשר V1 , V2בעלי נפח והחיתוך V1 ∩ V2בעל נפח אפס ,אז:
˚ ˚ ˚
= f (x, y, z)dxdydz f (x, y, z)dxdydz + f (x, y, z)dxdydz
V V1 V2
1
חסומה ב־ .V ש־ g 43המנה תחת ההנחה
80 danielr@technion.ac.il
12אינטגרלים
12.2.4שיטות חישוב
חישוב בתיבה
משפט 12.16תהא fרציפה בתיבה ] .B = [a, b] × [c, d] × [e, hאז:
הערות:
דוגמה :אם ρ(x, y, z) = xyzמתארת את צפיפות המסה של התיבה ] B = [0, 1] × [0, 2] × [2, 3אז המסה
הכוללת היא:
˚ ˆ1 ˆ2 ˆ3
2 1 2 2 2 3
x y z 1 4 9−4 5
= xyz dxdydz = xyz dz dy dx
· · = =
2 0 2 0 2 2 2 2 2 2
B 0 0 2
שיטת המוטות
משפט 12.17תהא fפונקציה רציפה בקבוצה סגורה ,חסומה וקשירה .Vנסמן ב־ Dאת ההיטל של Vעל מישור
.xyאם ניתן לרשום את Vבאופן הבא:
הערות:
˜
לכל xבקבוצה. 44גם כאן ,מספיק לדרוש אינטגרביליות בתיבה וקיום האינטגרל הכפול f (x, y, z)dydz
] [c,d]×[e,f
81 danielr@technion.ac.il
12אינטגרלים
.1הפירוק כאן הוא למעשה הכללה של תחום פשוט .כמו כן ,ניתן באופן אנלוגי לנסח גם עבור היטל על מישור
yzאו .xz
.2אם הגוף לא קשיר אבל מתפרק למספר סופי של תחומים קשירים אז משתמשים באדיטיביות ומפעילים את
המשפט על כל חלק קשיר.
˝
= Iכאשר Vהוא הגוף הכלוא בין המשטח z = x2 + y 2למישור .z = 1 דוגמה :נחשב את 2z dxdydz
V
ההיטל של Vעל מישור xyהוא:
D = (x, y) | x2 + y 2 ≤ 1
לכן:
V = (x, y, z) | ∀ (x, y) ∈ D, x2 + y 2 ≤ z ≤ 1
נציב:
¨ ˆ1 ¨ ¨
2 2 2 2π
= r 1 − r4 drdθ = ...
=I = 2zdz dxdy 1− x +y = dxdy
3
D x2 +y 2 D ][0,1]×[0,2π
שיטת החתכים
תהא Vקבוצה סגורה וחסומה .נסמן ב־ Dz0את היטל החיתוך של המישור z − z0 = 0עם Vעל מישור .xy
כעת ,ניתן לרשום את Vבאופן הבא:
} V = {(x, y, z) | ∀z ∈ [a, b], (x, y) ∈ Dz
82 danielr@technion.ac.il
12אינטגרלים
12.2.5החלפת משתנים
באופן דומה להחלפת המשתנים באינטגרל כפול ,גם כאן נרצה להמיר תחום מסובך בתחום פשוט יותר לחישוב.
דוגמאות:
נקבל שהתחום המתאים במרחב rθzהוא התיבה ].[1, 3] × [0, 2π] × [0, 2
p p
) .2החלפה כדורית( יהא Vהגוף הכלוא בין גרף הפונקציה f (x, y) = 1 − x2 − y 2לחרוט .z = x2 + y 2
אחרי החלפת המשתנים:
x (r, θ, ϕ) = rcosθsinϕ
y (r, θ, ϕ) = rsinθsinϕ
= )z (r, θ, ϕ rcosϕ
נקבל שהגוף המתאים במרחב rθϕהוא התיבה ] .[0, 1] × [0, 2π] × [0, π4
גם כאן ,נוצר "עיוות" בין מערכות הצירים וצריך לחשב את היעקוביאן .נכליל את מושג היעקוביאן למרחב באופן
טבעי :אם ) x(u, v, w), y(u, v, w), z(u, v, wפונקציות גזירות ,אז:
x x x
)∂(x, y, z u v w
=J = yu yv yw
)∂(u, v, w
zu zv zw
משפט ) 12.19החלפת משתנים( תהא )) T (u, v, w) = (x(u, v, w), y(u, v, w), z(u, v, wהעתקה המוגדרת על גוף
V 0ונסמן את תמונת הגוף ב־ .Vנניח כי Tמקיימת:
T .1גזירה ברציפות ב־ .V 0
T .2חח"ע ב־ .V 0
)∂(x,y,z
) J = ∂(u,v,wבנקודות .(u, v, w) ∈ V 0 .3היעקוביאן של Tשונה מאפס ב־ ,V 0כלומר6= 0 :
אם ) f (x, y, zרציפה בגוף Vאז:
˚ ˚
= f (x, y, z)dxdydz f (x(u, v, w), y(u, v, w), z(u, v, w)) |J|dudvdw
V V0
הערות:
.1בהחלפות משתנים גלילית/כדורית שנראה בהמשך ,אין צורך להוכיח את תנאי החח"ע.
83 danielr@technion.ac.il
12אינטגרלים
.2חשוב לזכור שבד"כ מתחילים עם קבוצה Vולכן ההעתקה ))T (u, v, w) = (x(u, v, w), y(u, v, w), z(u, v, w
)וכפועל יוצא הקבוצה (V 0נתונה לבחירתנו.
.3המשפט עדיין נכון אם היעקוביאן מתאפס על קבוצות בעלות נפח אפס )למשל בנקודות בודדות ,מסילות
או משטחים(.
)∂(x,y,z 1
). ∂(u,v,w = )∂(u,v,w .4גם כאן ,אם נתונות ) u(x, y, z), v(x, y, z), w(x, y, zאז ממשפט הפונקציות ההפוכות:
)∂(x,y,z
נבחין כי:
ולכן נגדיר:
u = x+y
v = y+z
w = z+x
נקבל את הגוף:
מכאן:
˚ ˚ ˚
1 0 1 1 2 π
= 1dV = dV = dV 0 =· π
2 2 2 3 3
V V0 V0
קורדינטות גליליות
החלפת המשתנים:
x (r, θ, z) = r cos θ )∞ r ∈ [0,
y (r, θ, z) = r sin θ ]θ ∈ [0, 2π
= )z (r, θ, z z z∈R
84 danielr@technion.ac.il
12אינטגרלים
נקראת החלפה גלילית או קורדינטות גליליות .כמו בכל החלפת משתנים ,יש למצוא את הגוף החדש במערכת
הצירים החדשה .נשתמש בקורדינטות הגליליות כאשר יש סימטריה מעגלית ביחס לאחד הצירים .הקורדינטות
נתונות ביחס לציר Zאך ניתן באמצעות החלפה ציקלית 45להחליף תפקידים בין הצירים .היעקוביאן הוא:
cos θ −r sin θ 0
)∂(x, y, z
=J = sin θ r cos θ 0 = r
)∂(r, θ, z
0 0 1
ואז:
a cos θ −ar sin θ 0
)∂(x, y, z
=J = b sin θ br cos θ 0 = abr
)∂(r, θ, z
0 0 1
דוגמאות:
˝ 1
= Iכאשר Vהוא הגליל האליפטי: x2 +2y 2 +1
dV .1נחשב את
V
נגדיר:
= ) x (r, θ, z r cos θ
= )y (r, θ, z √1 r sin θ
2
= )z (r, θ, z z
=J √r
2
85 danielr@technion.ac.il
אינטגרלים12
:ואז
˚ ˚
1
1 r 1 r 1 1 2 π
I= 2
√ drdθdz = √ 2
drdθdz = ... = √ ·2π·1 ln r + 1 = √ ·ln (2)
r +1 2 2 r +1 2 2 0 2
V0 V0
˝
: הוא הגוףV כאשר (x + z) dxdydz נחשב את.2
V
n p p o
V = (x, y, z) | x2 + y 2 ≤ z ≤ 4 − x2 − y 2
:נגדיר
x (r, θ, z) = r cos θ
y (r, θ, z) = r sin θ
z (r, θ, z) = z
J =r
:ואז
˚ ˚
x + z dxdydz = r (r cos θ + z) drdθdz
V V0
√ √
ˆ2π ˆ 2 ˆ 2
4−r
= r2 cos θ + rz dz dr dθ
0 0 r
√
ˆ2π ˆ 2 √ r
4 − r2 − r r2 cos θ + 4 − r2 − r2 dr dθ
=
2
0 0
√ √2
ˆ2π ˆ2 ˆ
2π ˆ
√
= cos θ dθ 4 − r2 − r r2 + dθ 2r − r3 dr
0 0 0 0
| {z }
=0
√ 2
r4
= 0 + 2π r2 − = 2π
4 0
86 danielr@technion.ac.il
אינטגרלים12
קורדינטות כדוריות
:החלפת המשתנים
x (r, θ, ϕ) = r cos θ sin ϕ r ∈ [0, ∞)
y (r, θ, ϕ) = r sin θ sin ϕ θ ∈ [0, 2π]
z (r, θ, ϕ) = r cos ϕ ϕ ∈ [0, π]
יש למצוא את הגוף החדש במערכת, כמו בכל החלפת משתנים.נקראת החלפה כדורית או קורדינטות כדוריות
. הקורדינטות נתונות ביחס לראשית הצירים אך ניתן להגדיר ביחס לכל נקודה על־ידי הזזה.הצירים החדשה
:היעקוביאן הוא
cos θ sin ϕ −r sin θ sin ϕ r cos θ cos ϕ
∂(x, y, z)
J= = sin θ sin ϕ r cos θ sin ϕ r sin θ cos ϕ = r2 sin ϕ
∂(r, θ, ϕ)
cos ϕ 0 −r sin θ
:ואז
∂(x, y, z)
J= = abcr2 sin ϕ
∂(r, θ, ϕ)
1
: נגדיר.ρ (x, y, z) = x2 +y 2 +z 2
כאשר צפיפות המסה נתונה על־ידי
x (r, θ, ϕ) = r cos θ sin ϕ
y (r, θ, ϕ) = r sin θ sin ϕ
z (r, θ, ϕ) = r cos ϕ
J = r2 sin ϕ
87 danielr@technion.ac.il
12אינטגרלים
ˆb q
(x0 (t))2 + (y 0 (t))2 + (z 0 (t))2 dt
a
88 danielr@technion.ac.il
12אינטגרלים
(
))γ(t) = (x(t), y(t), z(t
, משפט 12.20תהא γמסילה גזירה ברציפות במרחב הנתונה בעזרת הפרמטריזציה
]t ∈ [a, b
אז אורך המסילה נתון ומסומן על־ידי:
ˆ ˆb ˆb q
= )L (γ = ds = |γ 0 (t)| dt (x0 (t))2 + (y 0 (t))2 + (z 0 (t))2 dt
γ a a
הערות:
.3מנסחים ומוכיחים טענה אנלוגית לאורך מסילה במישור .כמקרה פרטי ,אם המסילה נתונה כגרף של פונקציה
´b q
. ) f (xאז אורך המסילה הוא 1 + (f 0 (x))2 dx
a
דוגמאות:
( 3
√ γ(t) = t, 23 t 2
.ברור כי γ 0 (t) = 1, tולכן: .1נחשב את אורך המסילה
]t ∈ [0, 1
(
)γ(θ) = (R cos θ, R sin θ
.ברור כי ) γ 0 (θ) = (−R sin θ, R cos θולכן: .2היקף מעגל :יהא ,R > 0נסמן
]t ∈ [0, 2π
(
)γ(t) = (cos t, sin t, t
.ברור כי ) γ 0 (t) = (− sin t, cos t, 1ולכן: .3קו־בורג :תהא
]t ∈ [0, 4π
89 danielr@technion.ac.il
12אינטגרלים
נניח כי ) f (x, y, zמתארת צפיפות מסה של מסילה גזירה ברציפות .γנגדיר סכומים באופן אנלוגי לאורך מסילה
באופן הבא :ניקח את אורכי המקטעים liבחלוקה נתונה ולכל iניקח נקודה שרירותית t∗iבקטע ] .[ti−1 , tiאז
)) f (γ(t∗iמתאר את צפיפות המסה בנקודה ) γ(t∗iוקירוב למסה של המקטע ה־ iהוא .f (γ(t∗i )) siנסכום ונקבל
כי:
Xn
f (γ(t∗i )) si
i=1
הגדרה 12.21אם הגבול של הסכום מלעיל קיים כאשר ∆ti → 0ללא תלות בפרמטריזציה או בחלוקות ,אז ערך
´
הגבול נקרא האינטגרל הקווי מן הסוג הראשון של fעל .γנסמן . f ds
γ
משפט 12.22אם fרציפה ומוגדרת על מסילה γבעלת פרמטריזציה גזירה ברציפות ,אז:
ˆ ˆb
f ds = f (γ̄(t)) |γ 0 (t)| dt
γ a
הוכחה :אנלוגית להוכחה של המשפט על אורך מסילה כאשר מבחינים כי הסכומים בהגדרת האינטגרל הקווי
מתאימים לסכומי רימן של הפונקציה |).f (γ̄(t)) |γ̄ 0 (t
הערות:
דוגמאות:
.1נחשב את שטח המשטח הגלילי הנוצר על־ידי המסילה x2(+ y 2 = 1וכלוא בין מישור xyלגרף הפונקציה
)γ(θ) = (cos θ, sin θ
,נגזור ) γ 0 (θ) = (− sin θ, cos θונציב .f (x, y) = 1 − yניקח פרמטריזציה
]t ∈ [0, 2π
במשפט:
ˆ ˆ2π ˆ2π
f (x, y)ds = f (γ̄(θ)) |γ̄ 0 (θ)| dt = 1 − sin θ dt = [θ + cos θ]2π
0 = 2π
γ 0 0
90 danielr@technion.ac.il
12אינטגרלים
(
)γ(t) = (cos t, sin t, t
כאשר צפיפות המסה נתונה על־ידי: .2נחשב את מסת קו הבורג הנתון על־ידי
]t ∈ [0, 4π
√
.f (x, y, z) = x2 + y 2 + 2zראינו כי ,|γ̄ 0 (t)| = 2נציב במשפט ונקבל:
ˆ ˆ4π √ √ ˆ4π √ √ 4π
2 cos2 t + sin2 t + 2t dt = 2 t + t2 0 = 2 4π + 16π 2
= f (x, y, z)ds = f (γ̄(t)) 2dt
γ 0 0
משמעות גיאומטרית נפוצה לפונקציות מ־ R2ל־ ) R2או מ R3ל־ (R3היא שדה וקטורי המתאר כוח אשר פועל
בכל נקודה .שדה וקטורי דו־מימדי מתאים לכל נקודה במישור וקטור המתאר את הכוח הפועל באותה הנקודה.
באופן אנלוגי ,שדה וקטורי תלת־מימדי במרחב.
נניח כי שדה Fפועל על חלקיק אשר הנמצא במישור xyומבצע תנועה מנקודה Aלנקודה .Bנרצה לחשב
את "הכוח האפקטיבי" שהפעיל השדה ̄ Fעל החלקיק .כוח זה נקרא עבודה )או השינוי באנרגיה כתוצאה מהפעלת
כוח( .ייתכן מצב בו הכוח פועל על החלקיק אך לא מבצע עבודה ,לדוגמה כוח צנטריפטלי .האופן בו נחשב כוח זה
הוא תיאור פרמטרי של תנועת החלקיק וסכימת היטל השדה הוקטורי בכל נקודה לאורך המסלול בכיוון התנועה.
באופן אחר ,אם נתון שדה וקטורי ורוצים להעביר חלקיק במסלול נתון ,אז יש לבצע עבודה בהעברת החלקיק
מנקודת אחת לאחרת.
דוגמאות:
.1כוח היוצא מראשית הצירים בכיוון רדיאלי ).F (x, y) = (x, y
.2כוח הפועל בכיוון מעגלי ביחס לראשית הצירים ).F (x, y) = (y, −x
נניח כי נתון השדה הוקטורי )) F (x, y, z) = (P (x, y, z), Q(x, y,(z), R(x, y, zהפועל על מסילה γהנתונה על־ידי
))γ(t) = (x(t), y(t), z(t
.נרצה למצוא את העבודה אשר מבצע השדה ̄ Fעל חלקיק לאורך הפרמטריזציה
]t ∈ [a, b
המסילה .γנבצע חלוקה של תחום ההגדרה של הפרמטר a = t0 < ... < tn = bונסמן את המקטעים המקרבים
את המסילה:
נסמן את פרמטר החלוקה ב־} δn = max {ti − ti−1ובכל קטע ) (ti−1 , tiנבחר נקודה שרירותית Tiונתבונן בשדה
1≤i≤n
הקבוע )) .F (γ(Tiהשדה הוקטורי הקבוע מקרב את השדה אשר פועל לאורך המקטע ולכן "הרכיב האפקטיבי"
לאורך המקטע ה־ iהוא גודל ההיטל בכיוון התנועה ,כלומר :47
∆γ i
· )) F (γ(Ti | |∆γ i
| |∆γ i
∆γ i
הוא וקטור יחידה בכיוון התנועה ואילו | |∆γ iהוא אורך המקטע. | |∆γ i 47נזכור כי המקטע ∆γ iהוא גם וקטור בכיוון התנועה .כלומר:
91 danielr@technion.ac.il
12אינטגרלים
(
∞→n
הגדרה 12.23אם קיים הגבול של ni=1 F (γ(Ti )) · ∆γ iכאשר
P
ללא תלות בפרמטריזציה או בחלוקות,
δn → 0
´
אז ערך הגבול נקרא האינטגרל הקווי מן הסוג השני של השדה ) F = (P, Q, Rלאורך המסילה .γמסמנים F ·dr
γ ´
או . P dx + Qdy + Rdz
γ
´
הערה :הסימון P dx + Qdy + Rdzמתקבל אם "חושבים" על drכעל הוקטור ) (dx, dy, dzואז מבצעים מכפלה
γ
סקלרית עם ).F = (P, Q, R
תזכורת :בהינתן מסילה רציפה γופרמטריזציה ) γ(tכאשר ] .t ∈ [a.bהמגמה של ) γ(tהיא כיוון ההתקדמות
לאורך המסילה אשר מושרה מהפרמטר .tנקודת ההתחלה מוגדרת להיות ) γ(aונקודת הסיום היא )γ(b
ואז המגמה היא כיוון ההתקדמות כאשר הפרמטר משתנה באופן רציף מ־ aל־ .bייתכן בהחלט שהמסילה
תהייה סגורה ,אך זה לא מפריע להגדיר את מגמה .נדגיש כי המגמה תלויה בפרמטריזציה.
דוגמאות:
( (0, 0) ,ורוצים פרמטריציה אשר מגמתה .1אם γהיא החלק של גרף הפרבולה y = x2בין הנקודות )(2, 4
) γ (t) = (−t, t2
. היא מהנקודה ) (2, 4לראשית הצירים נבחר
]t ∈ [−2, 0
הערה :בהמשך נאמר כי המגמה של מסילה פשוטה וסגורה במישור היא חיובית אם כיוון ההתקדמות הוא
נגד כיוון השעון.
משפט 12.24תהא γמסילה גזירה ברציפות בעלת פרמטריזציה ) γ(tויהא ) F (x, y, zשדה וקטורי רציף ,אז:
ˆ ˆb
F · dr = F (γ (t)) · γ 0 (t)dt
γ a
הערות:
92 danielr@technion.ac.il
12אינטגרלים
¸
. .3אם המסילה עליה מבצעים אינטגרציה היא מסילה סגורה ,אז נהוג לסמן את האינטגרל על־ידי
.4האינטגרל מושפע מכיוון ההתקדמות לאורך המסילה .בפרט ,כזכור −γ ,מסילה במגמה הפוכה מ־ γאז
´ ´
. F · dr = − F · drנציין כי אינטגרל קווי מן הסוג הראשון לא מושפע ממגמת המסילה.
−γ γ
הוכחה :רעיון ההוכחה זהה למשפט הקודם .לפי ההגדרה ,מביטים בסכומים:
n
X
F (γ(Ti )) · ∆γ i
i=1
ממשפט לגרנז׳:
n n n
X X ∆γ i X
= F (γ(Ti )) · ∆γ i · )) F (γ(Ti = ∆ti F (γ(Ti )) · γ 0 (Ti∗ )∆ti
i=1 i=1
∆ti i=1
ˆb
F (γ (t)) · γ 0 (t)dt
a
דוגמאות:
נבחין כי בכל נקודה ההיטל של השדה במגמה הפוכה למגמת המסילה ולכן הגיוני שהעבודה תצא
שלילית.
93 danielr@technion.ac.il
12אינטגרלים
נבחין כי השדה ניצב למסילה בכל נקודה ולכן ברור שהעבודה היא אפס.
y −x
F = x2 +yלאורך המסילות: 2 , x2 +y 2 , 2z .2נחשב את העבודה של
( (
)γ 1 (t) = (cos t, sin t, t )γ 2 (t) = (1, 0, t
]t ∈ [0, 4π ]t ∈ [0, 4π
נבחין כי המסילות מתחילות ומסתיימות באותה הנקודה ,אך העבודה לאורכן שונה.
הגדרה 12.25יהא Dתחום פשוט במישור ונסמן ב־ ∂D = γאת שפת התחום .פרמטריזציה עם מגמה חיובית של
γהיא פרמטריזציה בה התחום תמיד נמצא משמאל לכיוון ההתקדמות.
הערה :בתחום לא פשוט או בתחום בו השפה מורכבת ממספר מסילות ,נבחר מגמה חיובית באותו האופן ,כלומר,
התחום נמצא משמאל לכיוון ההתקדמות.
דוגמאות:
.1עבור התחום ,D = (x, y) | x2 + (y − 2)2 ≤ 4פרמטריזציה לשפת התחום עם מגמה חיובית היא:
(
))γ (t) = (2 cos(t), 2 + 2 sin(t
]t ∈ [0, 2π
94 danielr@technion.ac.il
12אינטגרלים
משפט ) 12.26גרין( תהא Dקבוצה סגורה וחסומה במישור שהיא איחוד של מספר סופי של תחומים פשוטים ותהא
∂Dהשפה עם מגמה חיובית .אם ) P (x, y) , Q (x, y) , Py (x, y) , Qx (x, yרציפות בתחום פתוח המכיל את D
ואת ∂Dאז:
˛ ¨
= P dx + Qdy Qx − Py dxdy
∂D D
הערות:
.2המשפט נכון גם אם התחום הוא לא איחוד סופי של תחומים פשוטים ובמידת הצורך ניתן להפעיל את משפט
גרין במצב כזה.
.3אם נתון אינטגרל קווי קשה לחישוב ,אפשר לעבור לאינטגרל כפול על־ידי ביצוע התאמות הנדרשות במשפט.
.4חישוב שטח של קבוצה Dבאמצעות בחירה של שדה המקיים Qx − Py = 1ואז השטח של Dהוא:
¨ ¨ ˛
= dxdy (Qx − Py )dxdy = P dx + Qdy
D D γ
¨ ˆb ˆ
)v(x ˆb
− Py dxdy = −Py dy dx = − (P (x, v (x)) − P (x, u (x))) dx
95 danielr@technion.ac.il
אינטגרלים12
∂D = γ = γ1 + γ4 + γ2 + γ3
:מאדיטיביות מתקיים
˛ ˆ ˆ ˆ ˆ
P dx + 0dy = P dx + P dx + P dx + P dx
γ γ1 γ4 γ2 γ3
: נציב,b ≤ t ≤ a כאשר המגמה הפוכה ולכן נרשוםγ 1 (t) = (t, v(t)) נבחר פרמטריזציה:γ1 על
ˆ ˆa ˆb
0
P dx + 0dy = ((P (t, v (t)) , 0) · (1, v (t))) dt = − P (t, v (t)) dt
γ1 b a
96 danielr@technion.ac.il
12אינטגרלים
דוגמאות:
¸
= ,Iכאשר γמעגל ברדיוס Rסביב הראשית נגד .1נחשב את (sin ex − x2 y) dx + (xy 2 + cos y 4 ) dy
γ
כיוון השעון .נסמן ב־ Dאת הדיסקה שהיא הפנים של המעגל ,מתקיימים תנאי משפט גרין ולכן:
¨ ¨
∂ 2 4 ∂ x 2 R4 π
= y 2 + x2 dxdy = ...
=I xy + cos y − = sin e − x y dxdy
∂x ∂y 2
D D
2 2
.3נחשב את שטח האליפסה . xa2 + yb2 = 1נסמן את פנים התחום ב־ Dונבחר ) ,F̄ = (− y2 , x2אז ממשפט גרין:
¨ ¨ ˛
y x
= 1 dxdy )∗( = Qx − Py dxdy = − dx + dy
2 2
D D γ
כעת ,נבחר האליפסה עצמה( עם מגמה חיובית ,כנדרש במשפט גרין. ( כאשר γשפת התחום )כלומר
)γ (t) = (a cos t, b sin t
,נגזור ) γ 0 (t) = (−a sin t, b cos tונציב: פרמטריזציה
]t ∈ [0, 2π
.4נניח כי הכוח ) F = (3x2 y 2 + 19, 2x3 yפועל על חלקיק במישור .נחשב את העבודה לאורך המסילה :γ1
(
)γ 2 (t) = (t, 0
כאשר תנועת החלקיק היא מהנקודה ) (5, 0לנקודה ) .(−5, 0נגדיר מסילה γ2על־ידי
]t ∈ [−5, 5
97 danielr@technion.ac.il
12אינטגרלים
ונסמן ב־ Dאת התחום ששפתו היא .γ1 + γ2נבחין כי המגמה היא חיובית וכל תנאי משפט גרין מתקיימים,
לכן:
˛ ¨ ¨
= P dx + Qdy = Qx − Py dxdy 6x2 y − 6x2 y dxdy = 0
γ1 +γ2 D D
נסיק כי העבודה לא תלויה במסלול אלא רק בנקודת ההתחלה והסיום .אכן ,מאדיטיביות:
¸ ´ ´
=0 P dx + Qdy = P dx + Qdy + P dx + Qdy
γ1 +γ2 γ1 γ2
m
´ ´
P dx + Qdy = − P dx + Qdy
γ1 γ2
´
באופן ישיר .ברור כי ) γ 02 = (1, 0ולכן: נחשב את P dx + Qdy
γ2
ˆ ˆ5
P dx + Qdy = (0 + 19, 0) · (1, 0) dt = 190
γ2 −5
ומכאן:
ˆ
P dx + Qdy = −190
γ1
משפט 12.28יהא Fשדה רציף המוגדר בקבוצה פתוחה וקשירה ,Dהבאים שקולים:
98 danielr@technion.ac.il
12אינטגרלים
הערה :הפונקציה ) u (x, yנקראת פונקציית הפוטנציאל של השדה .Fבמקרה זה מתקיים לכל :M1 , M2 ∈ D
ˆ
) F̄ · dr = u (M2 ) − u (M1
γM1 →M2
הוכחה:
¸
(
))γ(t) = (x(t), y(t
:2 ⇐= 1תהא γמסילה חלקה למקוטעין וסגורה ,נוכיח כי . F ·dr = 0ניקח פרמטריזציה
]t ∈ [a, b γ
ונפצל את γלשתי מסילות באופן הבא:
( (
))γ 1 (t) = (x (t) , y (t ))γ 2 (t) = (x (t) , y (t
a+b
t ∈ a+b
t ∈ a, 2 2
, b
נבחין כי γ1ו־ −γ2הן מסילות בעלות אותה נקודת ההתחלה והסיום F ,שדה משמר ולכן:
ˆ ˆ
= F · dr F · dr
γ1 −γ2
מכאן:
˛ ˆ ˆ ˆ ˆ
= F · dr F · dr + = F · dr F · dr − F · dr = 0
γ γ1 γ2 γ1 −γ2
כאשר γx,yמסילה חלקה המוכלת בתחום ומחברת את M0ל־) .(x, yנבחין כי:
´ ´ ´ ´
F · dr − F · dr F · dr + F · dr
)u (x + h, y) − u (x, y γx+h,y γx,y γx+h,y −γx,y
lim = lim = lim )= (Λ
h→0 h h→0 h h→0 h
המסילות γx+h,y , −γx,yביחד עם המסילה γהמחברת את ) (x + h, yל־) (x, yיוצרות מסילה סגורה ולפי ההנחה
האינטגרל שווה לאפס .מאדיטיביות נקבל:
ˆ ˆ ˆ
F · dr + F · dr = F · dr
γx+h,y −γx,y −γ
(
)γ (t) = (t, y
,נגזור ונציב: פרמטריזציה מפורשת ל־ γהיא
]t ∈ [x + h, x
99 danielr@technion.ac.il
12אינטגרלים
´
x+h
P (t, y) dt
x
(Λ) = lim )= P (x, y
h→0 h )∗(
´
x+h
P (t,y)dt ́x
x )G(x+h)−G(x
. h
= h
)∗( נובע מרציפות ,Pהמשפט היסודי והגדרת הנגזרת :אם נסמן G (x) = P (t, y) dtאז
0
∂
. ∂xבאופן דומה ,מראים כי לכל נקודה ב־ Dמתקיים כלומר הוכחנו כי לכל נקודה ב־ Dמתקיים u = P
∂
. ∂yלפיכך ,בקבוצה Dמתקיים: u=Q
אם נסמן γ = γ1 − γ2אז γמסילה חלקה למקוטעין וסגורה ,מאדיטיביות ,הטענה שקולה להוכחה כי:
ˆ
F · dr = 0
γ
(
))γ (t) = (x (t) , y (t
פרמטריזציה של ,γמניחים כי F = ∇uולכן: תהא
]t ∈ [a, b
˛ ˆb
F · dr = (ux (γ (t)) , uy (γ (t))) · γ 0 (t) dt
γ a
ˆb
= ux (γ̄ (t)) x0 (t) + uy (γ̄ (t)) y 0 (t) dt
a
ˆb
d
= u (γ̄(t)) dt = u (γ̄(b)) − u (γ̄(a)) = 0
)(i dt )(ii
a
דוגמה :נוכיח כי העבודה של השדה ) ,F̄ (x, y) = (2xy + y 2 , 2xy + x2לאורך המסילה 48הסגורה:
48הנקראת .lemniscate
100 danielr@technion.ac.il
12אינטגרלים
) γ̄ (t) = (sin t, sin t · cos t
היא אפס על־ידי כך שנוכיח כי השדה אשר נתונה על־ידי הפרמטריזציה
]t ∈ [0, 2π
משמר בכל המישור .נעשה זאת על־ידי מציאת פונקציית פוטנציאל .אם קיימת פונקציית פוטנציאל uאז:
לכן ,לפי המשפט ,השדה משמר .מכאן ,העבודה היא אכן אפס.
הגדרה 12.29תהא Dקבוצה קשירה במישור .נאמר כי Dהוא תחום פשוט קשר אם ניתן לכווץ באופן רציף כל
מסילה סגורה המוכלת בתחום לנקודה.
הערות:
מעגל
.1לא נרשום את ההגדרה הפורמלית של כיווץ מסילות אך בכדי להדגים את העניין ,נראה איך מכווצים את (
)γ̄t (θ) = (t cos θ, t sin θ
. היחידה לנקודה :פרמטריזציה של מעגל ברדיוס t > 0ביחס לראשית היא
]θ ∈ [0, 2π
כעת ,אם נשאיף את tמ־ 1לאפס נקבל כי מעגל היחידה מתכווץ באופן רציף לנקודה שהיא ראשית הצירים.
.2המשמעות הגיאומטרית של תחום פשוט קשר היא שבתחום "אין חורים" .לדוגמה ,הכדור ) B (0̄, 3הוא
פשוט קשר אך ) B (0̄, 3) − B (0̄, 1לא פשוט קשר.
.3איחוד של תחומים פשוטי קשר הוא לא בהכרח תחום פשוט קשר .לדוגמה התחומים:
101 danielr@technion.ac.il
12אינטגרלים
משפט 12.30יהא ) F̄ = (P, Qשדה גזיר ברציפות בתחום פשוט קשר Dאז השדה משמר ב־ Dאם ורק אם:
הערות:
.2הדרישה שהשדה יהיה גזיר ברציפות הכרחית לאפיון :ייתכן כי ) F̄ = (P, Qמשמר אך לא מתקיים Py = Qx
בתחום.
גזירה ברציפות במישור פעם אחת בלבד .לפיכך ,השדה ∇u = Fמשמר לפי משפט קודם ,אך על־ידי
חישוב ישיר רואים כי:
הוכחה:
=⇐ אם השדה משמר אז קיימת פונקציית פוטנציאל ) u (x, yכך שמתקיים ) .∇u = (P, Qזוהי פונקציה
גזירה ברציפות פעמיים ולכן הנגזרות המעורבות שוות ,כלומר:
⇒= :נניח כי Py = Qxב־ Dונוכיח כי לכל מסילה פשוטה ,49חלקה וסגורה γהמוכלת ב־ Dמתקיים:
˛
P dx + Qdy = 0
γ
נבחין כי γהיא שפה של תחום G 50אשר מוכל ב־ .Dלפיכך ,ממשפט גרין:
˛ ¨ ¨
= P dx + Qdy = Qx − Py dxdy 0 dxdy = 0
γ G G
102 danielr@technion.ac.il
12אינטגרלים
−y
= ) F̄ (x, y) = (P, Qלאורך המסילות: , x
x2 +y 2 x2 +y 2
דוגמה :נחשב את העבודה של השדה
) γ̄ (t) = (1 + sin t, sin t · cos t ) γ̄ (t) = (cos t, sin t
1 2
]t ∈ [0, π ]t ∈ [0, 2π
−x2 + y 2
= Py = Qx
(x2 + y 2 )2
בכל נקודה פרט לראשית ,לכן מהמשפט ,השדה משמר בכל תחום פשוט קשר אשר אינו מכיל את הראשית.
נבחין כי המסילה פשוטה ,סגורה ,חלקה למקוטעים וחוסמת תחום אשר אינו מכיל את הראשית ,לפיכך,
העבודה לאורך המסילה היא אפס.
:γ2השדה זהה ולכן Py = Qxבכל נקודה פרט לראשית .עם זאת ,הראשית נמצאת בפנים של המסילה
( ולא ניתן להיעזר במשפט .לפיכך ,נחשב באופן ישיר .נבחר פרמטריזציה ולכן השדה לא בהכרח משמר
)γ 2 (t) = (R cos t, R sin t
,נגזור ) γ 02 (t) = (−R sin t, R cos tונציב:
]t ∈ [0, 2π
הערה :נבחין כי התוצאה של האינטגרל לא תלויה ברדיוס המסילה .מסתתרת כאן תכונה חשובה שמיד
נרחיב עליה.
בדוגמה הקודמת ראינו שדה שהוא "כמעט משמר" ,כלומר ,הוא מקיים את תנאי משפט 12.30פרט לנקודה אחת.
במקרים כאלה ניתן להיעזר במשפט הבא:
משפט 12.31יהא Dתחום פשוט קשר ,תהא Mנקודה פנימית של ,Dויהא ) F̄ = (P, Qשדה גזיר ברציפות
בתחום D0 = D − Mהמקיים שם .Py = Qxתהא σמסילה פשוטה ,סגורה וחלקה למקוטעין אשר מוכלת ב־ D0
ומקיפה את .Mאז לכל מסילה γשהיא פשוטה ,סגורה ,חלקה למקוטעין אשר מוכלת ב־ D0ומקיפה את M
מתקיים:
˛ ˛
F · dr = F · dr
γ σ
103 danielr@technion.ac.il
12אינטגרלים
הערות:
¸
נקבל כי השדה משמר בתחום .D0 .1בפרט ,אם F · dr = 0
σ
.2המשפט נכון גם אם יש מספר סופי של נקודות סינגולריות של השדה ו/או "חור" בתחום בו השדה לא
מוגדר.
הוכחה :נניח בה"כ כי γמוכלת בפנים של " ,σנמחק" חלק קטן מהמסילות γ, σונקבל מסילות ̃ .γ̃, σנהפוך את
המגמה של ̃ γונחבר את ̃ γ̃, σעל־ידי שני מקטעים ישרים l1 , l2באופן הבא:
נבחין כי γ̃ + l1 + σ̃ + l2היא מסילה פשוטה ,סגורה וחלקה למקוטעין שהפנים שלה הוא תחום פשוט קשר
אשר מוכל ב־ ,D0לכן מהנתון ,השדה משמר בתחום זה ,כלומר:
˛
F · dr = 0
γ̃+l1 +σ̃+l2
מאדיטיביות:
˛ ˆ ˛ ˆ
F · dr = − F · dr − F · dr − F · dr
̃γ l1 ̃σ l2
´
כאשר נשאיף את "רוחב" הקישור בין המסילות ̃ ,γ̃, σמכך שהמגמה של המקטעים הפוכה נקבל כי = F · dr
l1
´
,− F · drלכן בגבול נקבל :52
l2
˛ ˛
F · dr = − F · dr
−γ σ
לפיכך:
˛ ˛
= F · dr F · dr
γ σ
104 danielr@technion.ac.il
12אינטגרלים
משטחים 12.7
הצגה פרמטרית
דיברנו כבר על משטחים באופן גיאומטרי )משטחים ריבועיים( .נרצה כעת להכליל את המושג ולספק הצגה
פרמטרית .כזכור ,מסילה היא התמונה של פונקציה רציפה מתת־קבוצה של הממשיים למישור או למרחב .הואיל
ומסילה היא האובייקט גיאומטרי ממימד אחד ,הפרמטריזציה ניתנת על־ידי פרמטר אחד.
הגדרה 12.32משטח הוא תמונה של פונקציה רציפה מתת־קבוצה D ⊆ R2ל־ .R3פרמטריזציה של משטח מסומנת
באופן הבא:
S : D −→ R3
))s̄ (u, v) = (x (u, v) , y (u, v) , z (u, v
הערה :כפי שמיד נראה ,משטחים מוגדרים באמצעות משוואות ו/או פונקציות רציפות.
דוגמאות:
.1כל פונקציה רציפה ) f (x, yמגדירה משטח שהוא גרף הפונקציה .פרמטריזציה סטנדרטית ניתנת על־ידי
בחירה של )) s̄ (x, y) = (x, y, f (x, yכאשר התחום Dחלקי לתחום ההגדרה של הפונקציה .לדוגמה
p
הפונקציה f (x, y) = 4 − x2 − y 2מגדירה חצי ספירה עליונה .אם נבחר:
p
2
s̄ (x, y) = x, y, 4 − x − y 2
עם תחום D = {(x, y) | x2 + y 2 ≤ 1} 53נקבל משטח Sשהוא החלק העליון של הספירה )"כיפה"( הנמצא
√
מעל גובה . 3
.2קורדינטות גליליות עוזרות להגדיר משטח בעל סימטריה מעגלית ביחס לאחד הצירים .למשל:
x = r cos θ
(
r2 = 1
.מכאן ,המשטח ניתן ונקבל y = r sin θ נציב קורדינטות גליליות
0 ≤ z ≤ 5 − sin θ
= z z
לתיאור פרמטרי על־ידי:
)s̄(θ, z) = (cos θ, sin θ, z
0 ≤ z ≤ 5 − sin θ
| )D = (θ, z
]θ ∈ [0, 2π
105 danielr@technion.ac.il
אינטגרלים12
S = (x, y, z) | x2 + y 2 ≤ 9, z = 2
0≤r≤3
x = r cos θ
המשטח ניתן לתיאור, מכאן. 0 ≤ θ ≤ 2π ונקבל y = r sin θ נציב קורדינטות גליליות
z=2
z = z
:פרמטרי על־ידי
s̄(θ, r) = (r cos θ, r sin θ, 2)
D = {(r, θ) | r ∈ [0, 3], θ ∈ [0, 2π]}
S = (x, y, z) | x2 + y 2 + z 2 = 1, x, y, z ≥ 0
x = r cos θ sin ϕ
:ונקבל y = r sin θ sin ϕ נציב קורדינטות כדוריות
z = r cos ϕ
r2 = 1 •
π
.0 ≤ ϕ ≤ 2
ולכן0 ≤ cos ϕ •
.0 ≤ θ ≤ π ⇐ 0 ≤ sin θ ⇐ 0 ≤ sin θ sin ϕ •
π
.0 ≤ θ ≤ 2
⇐ 0 ≤ cos θ ⇐ 0 ≤ cos θ sin ϕ •
S = (x, y, z) | x2 + y 2 = z 2 , x2 + y 2 + z 2 ≤ 16, z ≥ 0
x = r cos θ sin ϕ
:ונקבל y = r sin θ sin ϕ נציב קורדינטות כדוריות
z = r cos ϕ
.0 ≤ r ≤ 4 ולכןr2 ≤ 16 •
106 danielr@technion.ac.il
12אינטגרלים
π
≤ .0 ≤ ϕ 2
• z ≥ 0ולכן ⇐ cos ϕ ≥ 0
= .ϕ π
4
• ⇐ tan2 ϕ = 1 ⇐ r2 sin2 ϕ = r2 cos2 ϕ
נעיר כי למשטח הזה יש גם סימטריה מעגלית ביחס לציר zולכן ניתן לתיאור פשוט גם בעזרת
קורדינטות גליליות.
נורמל למשטח
באופן אנלוגי לחישוב הנורמל של משטח הנתון כגרף של פונקציה ,נחשב את הנורמל של משטח הנתון בצורה
פרמטרית .נניח כי משטח Sנתון על־ידי פרמטריזציה גזירה ברציפות .s̄(u, v) 54ישר המשיק למשטח בנקודה
) P0 = (u0 , v0בכיוון u 55ניתן על־ידי ) ,s̄u (P0באופן דומה עבור .vאם הוקטורים הנ"ל לא קו־לינאריים אז
הנורמל למישור המשיק למשטח בנקודה P0ניתן על־ידי ) ,s̄u (P0 ) × s̄v (P0נסמן נורמל זה ב־̄.n
הגדרה 12.33משטח Sנקרא חלק אם יש פרמטריזציה גזירה ברציפות ̄ sכך שבכל נקודה על המשטח ̄.s̄u × s̄v 6= 0
הערה :משטח נקרא חלק למקוטעין אם ̄ s̄u × s̄v 6= 0בכל נקודה על המשטח פרט אולי לקבוצה זניחה )נקודות
בודדות או מסילות( .כל המשטחים בהם נעסוק יהיו חלקים למקוטעין.
ניקח פרמטריזציה:
) s̄(x, y) = (x, y, x2 + y 2
} D = {(x, y) | x2 + y 2 ≤ 1
הערה :נבחין כי המשטח הוא למעשה הגרף של הפונקציה .f (x, y) = x2 + y 2כזכור ,הנורמל למישור
המשיק של משטח הנתון כגרף של פונקציה נתון על־ידי:
בנוסף ,לנורמל יש רכיב ) zקבוע( חיובי ,המשמעות מבחינתנו היא כי הנורמל הוא בכיוון "מעלה".
54כלומר ) x (u, v) , y (u, v) , z (u, vגזירות ברציפות.
55כלומר ,ישר המשיק למסילה ) γ(u) = s (u, v0בנקודה .u = u0
107 danielr@technion.ac.il
12אינטגרלים
הגדרה 12.34משטח הוא דו־צדדי אם בכל מסילה שנבחר לטייל על המשטח ,הנורמל יצביע לאותו הכיוון כאשר
נחזור לנקודת ההתחלה.
בהינתן משטח דו־צדדי Sהמתאר תוואי שטח של אזור הררי ,נרצה למצוא דרך לחשב את שטח הפנים של
המשטח ,כלומר ,שטח האדמה .כזכור ,אורך מסילה חישבנו באמצעות קירוב פוליגוניאלי .טבעי לחשוב שאפשר
לקרב שטח של משטח על־ידי פאון .ננסה לקחת למשל פאון עם פאות משולשות .נעשה זאת על־ידי שילוש של
המשטח ,כלומר ,לבחור נקודות על המשטח ,ליצור משולשים המקרבים כל חלק ולבדוק קיום גבול .לצערנו ,הגישה
הזאת לא עובדת אפילו במשטח פשוט כמו גליל .56
גישה אחרת :ניקח פרמטריזציה ) s (u, vשל המשטח ונבצע חלוקה של תחום ההגדרה Dלמלבנים .נסמן
את נקודות החלוקה ב־ {(ui , vj )} i,jונקבל חלוקה של המשטח למשטחים אלמנטריים ,נסמנם ב־ .Si,jנסמן
56ראה דוגמה נגדית.T. W. K örner’s, A Companion to Analysis, page 218 :
108 danielr@technion.ac.il
12אינטגרלים
) Mi,j = (ui , vjואז ) s (Mi,jעל המשטח .Si,jנקרב שטח של כל משטח כזה באופן הבא :אם נטיל את Si,jעל
המישור המשיק ב־) s (Mi,jנקבל בקירוב מקבילית .שטח המקבילית נתון בקירוב על־ידי:
נבחין כי:
) s̄ (ui , vj ) − s̄ (ui−1 , vj ) = s̄ ((ui − ui−1 ) + ui−1 , vj ) − s̄ (ui−1 , vj ) = s̄ (∆ui + ui−1 , vj ) − s̄ (ui−1 , vj
ממשפט לגרנז׳:
) s̄ (∆ui + ui−1 , vj ) − s̄ (ui−1 , vj ∗
= su Mi,j
∆ui
לפיכך:
∗ ∗∗
σi,j = su Mi,j × sv Mi,j ∆ui ∆vj
∗ ∗∗
Mi,jנסכום ונקבל כי: = Mi,j משיקולים קודמים ,ניתן להניח כי
X X
∗ ∗
= σi,j su Mi,j × sv Mi,j ∆ui ∆vj
i,j i,j
הוא סכום רימן של הפונקציה |) .|su (u, v) × sv (u, vהמשטח חלק ולכן הפונקציה הנ"ל רציפה ובפרט הגבול
קיים .ערך הגבול הוא שטח הפנים של המשטח .Sהוכחנו כרגע את המשפט הבא:
משפט 12.35שטח הפנים של משטח חלק ודו־צדדי Sהנתון על־ידי פרמטריזציה ) s (u, vעם תחום הגדרה Dנתון
על־ידי:
¨
|s̄u × s̄v | dudv
D
הערות:
´b
וקל לראות כי הנוסחה היא הכללה. .1כזכור ,אורך של מסילה γהוא |γ 0 (t)|dt
a
109 danielr@technion.ac.il
12אינטגרלים
נחשב את הנורמל:
נניח כעת כי רוצים לחשב מסה של משטח חלק ודו־צדדי כאשר נתונה צפיפות המסה בכל נקודה על המשטח
על־ידי הפונקציה ) f (x, y, zוניקח פרמטריזציה ) s (u, vשל המשטח .נבצע חלוקה של תחום ההגדרה Dלמלבנים,
{(ui , vj )}n,mונקבל חלוקה של המשטח למשטחים אלמנטריים ,נסמנם ב־ .Si,jנסמן
נסמן את נקודות החלוקה ב־ i,j
ב־ δm,nאת פרמטר החלוקה שהוא אורך האלכסון המקסימלי בחלוקה .נבחר נקודה ) s (Mi,jעל המשטח .Si,j
נקרב שטח של כל משטח כזה כמו מקודם ,על־ידי:
∗ ∗∗
σi,j = su Mi,j × sv Mi,j ∆ui ∆vj
הוא קירוב למסת המשטח .נבחין כי זהו גם סכום רימן של הפונקציה |).f (s (u, v)) |su (u, v) × sv (u, v
הגדרה 12.36אם הגבול של הסכום מלעיל קיים כאשר ∆δm,n → 0ללא תלות בפרמטריזציה או בחלוקות ,אז ערך
הגבול נקרא האינטגרל המשטחי מן הסוג הראשון של fעל .Sנסמן:
¨
f (x, y, z) dS
S
משפט 12.37יהא Sמשטח חלק ודו־צדדי הנתון על־ידי פרמטריזציה ) s̄(u, vעם תחום הגדרה Dותהא )f (x, y, z
פונקציה רציפה המוגדרת על המשטח .Sאז האינטגרל המשטחי מסוג הראשון של fעל Sקיים וניתן על־ידי:
¨ ¨
= f dS f (s̄(u, v))|s̄u × s̄v |dudv
S D
110 danielr@technion.ac.il
12אינטגרלים
הערה :נבחין כי אם ,f ≡ 1האינטגרל המשטחי מן הסוג הראשון שווה לשטח הפנים של המשטח.
נציב ונקבל:
¨ ¨ ˆ2π ˆ1
= f (s̄ (θ, z)) |s̄r × s̄θ |dθdz 4 · 2dθdz = 8 dz dθ = 16π
D D 0 0
למישור המשיק בנקודה ,Mi,jאז יחידה 57 נניח כי Fהיא בקירוב קבועה בכל משטח אלמנטרי ויהא ̂ nנורמל
הרכיב הניצב של Fלמישור המשיק בנקודה הוא:
111 danielr@technion.ac.il
12אינטגרלים
הוא קירוב לשטף העובר דרך המשטח .נבחין כי זהו גם סכום רימן של הפונקציה )).F (s (u, v))·(su (u, v) × sv (u, v
(
∞ → m, n
ללא תלות בפרמטריזציה או בחלוקות ,אז הגדרה 12.38אם הגבול של הסכום מלעיל קיים כאשר
δm,n → 0
ערך הגבול נקרא האינטגרל המשטחי מן הסוג השני של Fעל .Sנסמן:
¨ ¨
= F · n̂dS F · dS
S S
הערות:
.2יש לדעת מאיזה כיוון של המשטח רוצים לחשב את השטף ולדאוג שהנורמל המתקבל מהפרמטריזציה מתאים.
.4חושבים על dSכעל אלמנט שטח dS = |s̄u × s̄v |dudv :ועל dSכאלמנט שטח עם "כיוון".
.5זהו למעשה אינטגרל משטחי מסוג ראשון של הפונקציה הסקלרית ̂.F̄ · n
.6במקרה הפרטי בו המשטח הוא גרף של פונקציה ) f (x, yובוחרים פרמטריזציה טבעית מקבלים:
¨ ¨
= F · n̂dS F (x, y, f (x, y)) · (−fx (x, y), −fy (x, y), 1) dxdy
S D
112 danielr@technion.ac.il
אינטגרלים12
:דוגמאות
S = (x, y, z) | x2 + y 2 ≤ 4, z = 1
:נחשב את הנורמל
: דרך המשטח הנתון על־ידי הפרמטריזיצהF̄ = 0, 0, z1 החיובי של שדהz נחשב את השטף בכיוון ציר.2
2
D
. − 12 , 0, − 12 π
: נקבלϕ = 4
, θ = 0 למשל עבור הצבה של59
113 danielr@technion.ac.il
12אינטגרלים
הגדרה 12.40יהא ) F = (P, Q, Rשדה וקטורי גזיר ברציפות ,הדיברגנץ של השדה הוא:
div F = ∇ · F = Px + Qy + Rz
הערות:
כאשר Vrהוא כדור ברדיוס rעם מרכז בנקודת החישוב .פירוש ישיר של הביטי הוא כמות השטף העוברת
העוברת דרך ספירה סביב הנקודה חלקי נפח הספירה ,נהוג לחשוב על הגבול כצפיפות השטף בנקודה .את
החישובים בהמשך לפי ההגדרה הגיאומטרית נעשה בראשית הצירים )החישוב בנקודה כללית זהה לחלוטין(.
דוגמאות:
)∗( מחישוב ישיר .(−r sin θ sin ϕ, r cos θ sin ϕ, 0) · r2 cos θ sin2 ϕ, r2 sin θ sin2 ϕ, r2 cos ϕ sin ϕ = r2 sin3 ϕ 21 sin 2θ :
לפיכך:
¨
1
lim F̄ · n̄dS = 0
| r→0 |Vr
∂Vr
)∗( מחישוב ישיר .(r cos θ sin ϕ, r sin θ sin ϕ, r cos ϕ) · r2 cos θ sin2 ϕ, r2 sin θ sin2 ϕ, r2 cos ϕ sin ϕ = r3 sin ϕ :
לפיכך:
¨
1 4πr3
lim F̄ · n̄dS = lim 4 3 = 3
| r→0 |Vr r→0 πr
3
∂Vr
114 danielr@technion.ac.il
12אינטגרלים
הגדרה 12.41יהא ) F = (P, Q, Rשדה וקטורי גזיר ברציפות ,הרוטור של השדה הוא:
̂ î ĵ k
∂ ∂ ∂
curl F = ∇ × F = ∂x ∂y ∂z
P Q R
הערות:
כאשר Crהיא דיסקה ברדיוס rעם מרכז בנקודת החישוב ו־̂ nהוא נורמל יחידה לדיסקה )מגמת המסילה
חיובית ביחס לכיוון הנורמל( .את החישובים בהמשך לפי ההגדרה הגיאומטרית נעשה בראשית )החישוב
בנקודה כללית זהה לחלוטין( .המשמעות הפיזיקלית של הרוטור היא "כמות" התנע הזוויתי של שדה בנקודה.
דוגמאות:
)∗( חישוב ישיר נותן.(r cos θ, r sin θ, 0) · (−r sin θ, r cos θ, 0) = 0 :
לפיכך:
˛
1
∇ × F · n̂ = lim F̄ · dr̄ = 0
| r→0 |Cr
Cr
115 danielr@technion.ac.il
12אינטגרלים
(
)C̄r (θ) = (r cos θ, r sin θ, 0
ונורמל חישוב לפי ההגדרה הגיאומטרית :ניקח דיסקה עם שפה
]θ ∈ [0, 2π
) ,n̂ = (0, 0, 1אז:
˛ ˆ2π ˆ2π
0
F̄ · dr̄ = F̄ C̄r (θ) · C̄r (θ) dθ = 2r2 cos2 θ dθ = 2πr2
)∗( חישוב ישיר נותן.(0, 2r cos θ, r sin θ) · (−r sin θ, r cos θ, 0) = 2r2 cos2 θ :
לפיכך:
˛
1 2πr2
∇ × F · n̂ = lim F̄ · dr̄ = lim =2
| r→0 |Cr r→0 πr 2
Cr
ואז:
∇ · ∇ × F = Ryx − Qzx + Pzy − Rxy + Qxz − Pyz = 0
ובאופו דומה:
̂ î ĵ k
∂ ∂ ∂
∇ × (∇f ) = ∂x = (fzy − fyz , fxz − fzx , fyx − fxy ) = 0
∂y ∂z
fx fy fz
הערה :תהא ) f (x, y, zפונקציה גזירה ברציפות פעמיים .הלפלסיאן שלה הוא:
116 danielr@technion.ac.il
12אינטגרלים
הגדרה 12.43נאמר כי משטח במרחב הוא משטח סגור אם הוא מחלק את המרחב לשתי קבוצות פתוחות ,קשירות
וזרות )פנים וחוץ(.
בד"כ ,משטח סגור הוא שפה של גוף סגור חסום ובעל נפח במרחב .לפי הגדרה ,במשטח סגור יש משמעות לפנים
וחוץ ולכן ניתן להגדיר נורמל למישור המשיק בכיוון פנימה או החוצה .נראה כעת קשר בין אינטגרל משולש
לאינטגרל משטחי מן הסוג השני.
משפט ) 12.44משפט הדיברגנץ( יהא Ωגוף סגור וחסום במרחב שהוא איחוד סופי של תחומים פשוטים ויהא S
משטח השפה של Ωעם נורמל חיצוני ל־ .Ωאם Fשדה וקטורי גזיר ברציפות בקבוצה פתוחה המכילה את Ωו־S
אז:
¨ ˚
= F · n̂dS ∇ · F dΩ
S Ω
הערות:
!
. .1כאשר המשטח סגור ,נהוג לסמן את אינטגרל המשטחי מן הסוג השני גם בסימון
.2אם רוצים לחשב אינטגרל משטחי על משטח לא סגור ,ניתן לסגור את התחום על–ידי הוספת משטח נוסף
ואז להשתמש במשפט גאוס.
הוכחה :מאדיטיביות ,מספיק להוכיח עבור תחום פשוט אחד .התחום פשוט ולכן בפרט ביחס לציר ,zכלומר
מהצורה:
כאשר ) u (x, y) , v (x, yפונקציות רציפות ונסמן את שפת הגוף ב־ .Sכעת ,נביט בשדה ) (0, 0, Rונוכיח כי:
¨ ˚
= (0, 0, R) · n̂dS Rz dxdydz
S Ω
117 danielr@technion.ac.il
12אינטגרלים
" :S2החלק התחתון" אשר נתון על־ידי הגרף של ) u (x, yבתחום .D
" :S3החלק האמצעי" אשר נתון על־ידי המשטח הגלילי הנוצר על־ידי שפת התחום .D
מאדיטיביות מתקיים:
¨ ¨ ¨ ¨
= (0, 0, R) · n̂dS (0, 0, R) · n̂dS + (0, 0, R) · n̂dS + (0, 0, R) · n̂dS
S S1 S2 S3
על S1ניקח פרמטריזציה טבעית ,הנורמל הוא ) .(−vx , −vy , 1נבחין כי הנורמל בכיוון חיצוני ל־ ,Ωכעת ,מחישוב
ישיר:
¨ ¨ ¨
= (0, 0, R) · n̂dS = (0, 0, R) · (−vx , −vy , 1) dxdy R (x, y, v (x, y)) dxdy
S1 D D
על S2ניקח פרמטריזציה טבעית ,הנורמל הוא ) .(ux , uy , −1נבחין כי הנורמל בכיוון חיצוני ל־ ,Ωכעת ,מחישוב
ישיר:
¨ ¨ ¨
= (0, 0, R) · n̂dS = (0, 0, R) · (ux , uy , −1) dxdy − R (x, y, u (x, y)) dxdy
S2 D D
על S3השטף הוא אפס כי הנורמל של המשטח הגלילי ניצב לשדה ).(0, 0, R
נחבר ונקבל את המשפט עבור השדה ) (0, 0, Rביחס ל־ .Ωהתחום פשוט גם ביחס לשני הצירים האחרים ולכן
באותו האופן נוכיח את המשפט )באותו התחום (Ωגם עבור השדות ) .(P, 0, 0) , (0, Q, 0נשתמש באדיטיביות
ונקבל את המשפט עבור השדה Fב־.Ω
דוגמאות:
F̄ = (4x + z 4 y 4 , x sin z x − 2y, −z −דרך המשטח שהוא שפת הגוף 3 y
.1נחשב את השטף של השדה ) x cos e
z=0
בכיוון חיצוני למשטח. z=5 הכלוא בין המשטחים
x2 + y 2 = 9
המשטח הוא מעטפת גלילית ושתי דיסקות .השדה בבירור גזיר ברציפות בתחום ואנחנו עומדים בכל תנאי
המשפט ,מכאן:
" ˚ ˚
= F · n̂dS = ∇ · F dxdydz (4 − 2 − 1)dxdydz = 45π
)∗(
S Ω Ω
נבחין כי המשטח הוא חצי העליון של ספירה ברדיוס 1ביחס לנקודה ) .(0, 1, 0נסגור את המשטח על־ידי
הוספת דיסקה ברדיוס ,1המסומנת ב־ S2ונקבל כי שני המשטחים הם שפה של הגוף Ωשהוא חצי כדור
עליון ברדיוס 1ביחס לנקודה ) .(0, 1, 0תנאי משפט גאוס מתקיימים ולכן:
" ˚ ˚
= F · n̂dS = ∇ · F dxdydz 0dxdydz = 0
S∪S2 Ω Ω
118 danielr@technion.ac.il
12אינטגרלים
מאדיטיביות נובע:
¨ ¨
F · n̂dS = − F · n̂dS
S S2
מנוגד ל־ Ωולכן רכיב zשלו חייב להיות שלילי .נבחר יש לזכור כי הנורמל של הדיסקה פונה לכיוון
= ) x (r, θ, z
r cos θ
קורדינטות גליליות , y (r, θ, z) = 1 + r sin θנציב במשוואת הדיסקה ונקבל:
= ) z (r, θ, z z
)s̄(r, θ) = (r cos θ, 1 + r sin θ, 0
}] D = {(r, θ) | θ ∈ [0, 2π] , r ∈ [0, 1
הנורמל הוא:
לסיכום:
¨ ¨
π
= F · n̂dS = − F · n̂dS
2
S S2
.3תהא ) f (x, y, zפונקציה גזירה ברציפות פעמיים בגוף סגור וחסום Ωבמרחב ונניח כי שפת הגוף היא משטח
חלק .Sנוכיח כי אם הלפלסיאן של fשווה לאפס בגוף אז:
"
∂f
dS = 0
̂∂ n
S
כאשר ̂ nהוא נורמל חיצוני למשטח .הואיל והפונקציה גזירה נובע כי הנגזרת המכוונת מקיימת ̂. ∂∂fn̂ = ∇f · n
תנאי משפט גאוס מתקיימים ולכן:
" " ˚ ˚
∂f
= dS = ∇f · n̂dS = ∇ · (∇f ) dxdydz 0 dxdydz = 0
̂∂ n
S S Ω
119 danielr@technion.ac.il
12אינטגרלים
הערה :הגדרה זו נכונה גם כאשר ההצגה הפרמטרית של המשטח היא חח"ע וחלקה למקוטעין.
( (
)γ̄ (θ) = (cos θ, 1, sin θ )s̄ (x, z) = (x, x2 + z 2 , z
. נתונה על־ידי דוגמה :שפת המשטח
]θ ∈ [0, 2π }(x, z) ∈ {(x, z) | x2 + z 2 ≤ 1
הגדרה 12.45נניח כי נתון משטח דו־צדדי עם שפה בעלת כיוון התקדמות ונורמל למשטח .נאמר כי הנורמל של
המשטח הוא במגמה חיובית ביחס לכיוון ההתקדמות על גבי השפה ,אם מתקיים כלל יד ימין.
בכיוון ההתקדמות הנתון אז המשטח נמצא מצד המשטח 61 הערה :באופן אינטואיטיבי ,כאשר מטיילים על שפת
שמאל.
(
) s̄ (r, θ) = (r cos θ, r sin θ, 1 − r2
עם נורמל בעל רכיב zחיובי ,אז שפה במגמה דוגמה :ניקח את המשטח
](r, θ) ∈ [0, 1] × [0, 2π
(
)γ̄ (θ) = (cos θ, sin θ, 0
. חיובית היא
]θ ∈ [0, 2π
נקשור כעת בין אינטגרל משטחי מן הסוג השני לאינטגרל קווי מן הסוג השני:
משפט ) 12.46סטוקס( יהא Sמשטח חלק ששפתו היא מסילה חלקה γויהא Fשדה גזיר ברציפות בקבוצה פתוחה
המכילה את Sו־ .γאז:
˛ ¨
= F̄ · dr ∇ × F · n̂ds
γ S
הערות:
.1המשפט נכון גם כאשר מדובר במשטח ששפתו מורכבת ממספר מסילות סגורות וחלקות.
.2אם נרשום את משפט סטוקס עבור מסילה המוכלת במישור xyנקבל את משפט גרין .כלומר ,משפט סטוקס
הוא הכללה של משפט גרין.
.3משפט סטוקס אומר למעשה שבכדי לחשב את השטף של שדה דרך משטח ,מספיק לבדוק על שפת המשטח,
כלומר ,צורת המשטח לא משנה.
61עם ראש בכיוון הנורמל.
120 danielr@technion.ac.il
12אינטגרלים
הוכחה :נוכיח מקרה פרטי 62בו המשטח Sהוא גרף של פונקציה ) f (x, yשהיא גזירה ברציפות פעמיים עם תחום
הגדרה .Dנבחר פרמטריזציה טבעית ומגמה חיובית 63ונקבל:
¨ ¨
= ∇ × F · n̂ds )♦( = (Ry − Qz , Pz − Rx , Qx − Py ) · (−fx , −fy , 1) dxdy
S D
˛ ˆb
F · dr = F (γ (t)) · (x0 (t) , y 0 (t) , fx (x (t) , y (t)) x0 (t) + fy (x (t) , y (t)) y 0 (t)) dt
γ a
תנאי משפט גרין חלים על האינטגרל הקווי מן הסוג השני שקיבלנו ולכן:
˛ ¨
∂ ∂
= (P + Rfx , Q + Rfy ) · dr (Q + Rfy ) − (P + Rfx ) dxdy
∂x ∂y
r
¨
D
)∗( כלל השרשרת כאשר זוכרים כי )).P (x, y, f (x, y)) , Q (x, y, f (x, y)) , R (x, y, f (x, y
וסיימנו.
דוגמאות:
¸
= ,Iכאשר γהיא מסילת החיתוך של המשטחים: .1נחשב את (3x + y) dx + (z − y 2 ) dy + (x + z 3 ) dz
γ
x 2 + y 2 + z 2 = a2
a≥0
z = √a 2
121 danielr@technion.ac.il
12אינטגרלים
מכוונת נגד כיוון השעון ביחס לציר zהחיובי .נתחיל בחישוב הרוטור:
̂i ̂j ̂k
∂ ∂ ∂
∇ × F = ∂x ) = (−1, −1, −1
∂y ∂z
2
3x + y z − y x + z 3
n 2
o
כעת ,כמשטח נבחר את S = (x, y, z) | x2 + y 2 + a2 ≤ a2 , z = √a2עם נורמל בו רכיב zהוא חיובי.
נבחר פרמטריזציה:
s(r, θ) = r cos θ, r sin θ, √a2
n o
D = (r, θ) | 0 ≤ r ≤ √a , 0 ≤ θ ≤ 2π
2
הנורמל יוצא ) ,n̄ = (0, 0, rנבחין כי הוא במגמה חיובית .תנאי משפט סטוקס מתקיימים ולכן:
˛ ¨ ¨ 2 √a
r 2 a2 π
= F · dr = ∇ × F · n̂ds (−1, −1, −1) · (0, 0, r) drdθ = 2π − =−
2 0 2
γ S D
מכאן:
˛ ˆ2π ˆ2π
F̄ · dr = (cos θ, − sin θ, sin θ + cos θ) · (cos θ, − sin θ, 0) dθ = 1 dθ = 2π
γ 0 0
.3נניח שנתון שדה Fגזיר ברציפות בכל המרחב פרט לראשית ומשטח חלק וסגור Sהמקיף את הראשית.
נוכיח כי:
"
∇ × F · n̂dS = 0
S
נבחין כי לא מתקיימים תנאי משפט גאוס .65המשטח סגור ולכן ניקח נורמל חיצוני ,כעת ,נחלק את המשטח
לשני חלקים :מעל מישור xyומתחת ,נסמן S1ו־ S2בהתאמה ונסמן את שפות המשטחים ב־ γ1 , γ2עם
מגמה מתאימה לנורמל .מתקיים:
" ¨ ¨
= ∇ × F · n̂dS ∇ × F · n̂dS1 + ∇ × F · n̂dS2
S S1 S2
65לא נתון שהשדה גזיר ברציפות בנקודה אשר נמצאת בפנים של המשטח.
122 danielr@technion.ac.il
12אינטגרלים
ממשפט סטוקס:
¨ ˛
= ∇ × F · n̂dS1 F · dr
S γ
¨1 ˛1
= ∇ × F · n̂dS2 F · dr
S2 γ2
סה"כ נקבל:
" ˛ ˛ ˛ ˛
= ∇ × F · n̂dS F · dr + F · dr = − F · dr + F · dr = 0
S γ1 γ2 γ2 γ2
הערה :תנאי הכרחי ששדה הוא רוטור של שדה אחר הוא שהשטף שלו דרך כל משטח סגור הוא אפס.
משפט 12.48יהא Fשדה רציף המוגדר בקבוצה פתוחה וקשירה ,Vהבאים שקולים:
)∀ (x, y, z) ∈ V, ∇u (x, y, z) = (ux (x, y, z) , uy (x, y, z) , uz (x, y, z)) = F̄ (x, y, z
הערות:
.2הפונקציה ) u(x, y, zנקראת פונקציית הפוטנציאל של השדה .Fבמקרה זה מתקיים לכל :M1 , M2 ∈ V
ˆ
) F̄ · dr = u (M2 ) − u (M1
γM1 →M2
123 danielr@technion.ac.il
12אינטגרלים
דוגמאות:
הגדרה 12.49תהא Vקבוצה קשירה במרחב .נאמר כי Vהיא תחום פשוט קשר אם ניתן לכווץ באופן רציף כל
מסילה סגורה המוכלת בתחום לנקודה.
דוגמאות:
124 danielr@technion.ac.il
12אינטגרלים
הערה :איחוד של תחומים פשוטי קשר הוא לא בהכרח תחום פשוט קשר .לדוגמה התחומים:
משפט 12.50יהא ̄ Fשדה גזיר ברציפות בתחום פשוט קשר Vאז השדה משמר ב־ Vאם ורק אם:
̄∀P ∈ V, ∇ × F̄ (P ) = 0
הערות:
.2נבחין כי אם ) F̄ = (P, Q, Rאז הרכיב השלישי בוקטור ̄ ∇ × Fהוא ,Qx − Pyזהו כזכור הביטוי באפיון
של שדה משמר דו־מימדי בתחום פשוט קשר.
(
)γ (t) = (cos t, sin t, 0
. F̄ = x2−yלאורך המסילה הסגורה , x
+y 2 x2 +y 2
, 0 דוגמה :נחשב את העבודה של השדה
]t ∈ [0, 2π
נבחין כי:
̂ i ̂j ̂k
−x2 + y 2 x2 − y 2
∂ ∂ ∂
∇ × F̄ = ∂x ∂y = ∂z 0, 0, 2 + 2 ̄= 0
−y x + y2 x + y2
2 2 2x 2 0
x +y x +y
עם זאת ,השדה לא מקיים זאת בתחום פשוט קשר אשר מכיל את המסילה .66נחשב באופן ישיר:
˛ ˆ2π ˆ2π
F · dr = (− sin t, cos t, 0) · (− sin t, cos t, 0) dt = dt = 2π
γ 0 0
.3הדרישה שהשדה יהיה גזיר ברציפות הכרחית לאפיון :ייתכן כי ̄ Fמשמר אך לא מתקיים ̄∇ × F̄ = 0
בתחום.
125 danielr@technion.ac.il
12אינטגרלים
היא גזירה ברציפות במרחב פעם אחת בלבד .לפיכך ,השדה ) ∇u = F = (P, Q, Rמשמר לפי משפט
קודם ,אך על־ידי חישוב ישיר רואים כי ) ,Py (0, 0, z) 6= Qx (0, 0, zכלומר:
̄∇ × F̄ (0, 0, z) = (∗, ∗, Qx (0, 0, z) − Py (0, 0, z)) 6= 0
126 danielr@technion.ac.il