אינטגרל קווי – הבדלי גרסאות
תוכן שנמחק תוכן שנוסף
מ שוחזר מעריכות של 213.151.62.246 (שיחה) לעריכה האחרונה של הנדב הנכון |
|||
שורה 1:
{{סימון מתמטי}}
[[קובץ:Line integral of scalar field.gif|330px|שמאל|המחשת אינטגרל קווי]]
ב[[מתמטיקה]], '''אינטגרל קווי''' (לעתים גם '''אינטגרל לאורך עקום''', '''אינטגרל מסלולי''' או '''אינטגרל מסילתי''') הוא [[אינטגרל]] המחושב לאורך [[מסילה (מתמטיקה)|מסילה]] במרחב, ולאו דווקא לאורך קטע ממשי. כמו האינטגרל הרגיל, האינטגרל הקווי מסכם ערכים של פונקציה נתונה ומשקלל אותם לפי אורך המסילה, באופן המכליל סיכום של מספר סופי של ערכים. הפונקציה שאת האינטגרל שלה מחשבים עשויה לקבל [[פונקציה ממשית|ערכים ממשיים]], או [[שדה וקטורי|ערכים וקטוריים]] בכל [[מרחב בנך]] (ובכלל זה [[המרחב האוקלידי]]).
האינטגרל נקרא לפעמים מ'''סוג ראשון''' כאשר הוא מסכם [[שדה סקלרי|פונקציה סקלרית]] (ממשית או [[פונקציה מרוכבת|מרוכבת]]), או מ'''סוג שני''' כאשר הוא מסכם פונקציה וקטורית. האינטגרל מהסוג השני הוא למעשה סכום של רכיבים של [[וקטור (אלגברה)|וקטור]], שרכיביו הם בעצמם אינטגרלים מהסוג הראשון. לשני הסוגים ישנן משמעויות פיזיקליות שונות, ולכן לעתים דרך הטיפול בהם שונה.
הצורך באינטגרל קווי עולה בעת ניתוח גדלים הקשורים בתנועה במסלול שאינו ישר, או בתכונות פיזיקליות של גוף עקום, כגון חוט דק. בדרך זו, ניתן לחשב גדלים כדוגמת [[אורך]], [[מסה]], או [[מטען חשמלי]]. האינטגרל הקווי מחשב [[כוח (פיזיקה)|כוח]] הפועל על גוף המיוצג על ידי עקום, או [[עבודה (פיזיקה)|עבודה]] של כוח המניע מסה לאורכו, כמו גם התנהגות של [[שדה (פיזיקה)|שדות]] פיזיקליים (למשל, [[שדה חשמלי]]) על פני מסלולים.
לאינטגרלים קוויים של [[פונקציה אנליטית|פונקציות אנליטיות]] או [[פונקציה הרמונית|הרמוניות]] ישנן תכונות מתמטיות הקושרות אותם לערכי הפונקציה במשטח שאותו סוגר העקום. בקשרים אלה עוסקים כמה משפטים ב[[אנליזה מרוכבת]], ב[[אנליזה וקטורית]] וב[[אנליזה הרמונית]].
נהוג לסמן אינטגרל קווי לאורך מסלול C בסימן <math>\ \int_{C}</math>. אם C הוא מסלול סגור, מסמנים אותו לעתים <math>\ \oint_{C}</math>. לעתים מסמנים אינטגרל קווי באופן זהה לזה של [[אינטגרל לא מסוים]] או בדומה ל[[אינטגרל מסוים]], כאשר בתחתית ה-[[S ארוכה|S הארוכה]] מציינים את נקודת התחלת המסלול ובראשה את נקודת סיומו, בשני המקרים תוך ציון מילולי כי האינטגרציה נעשית לאורך העקום.
==מבוא==
{{ערך מורחב|ערך=[[אינטגרל]]}}
[[תמונה:Riemann sum convergence.png|ממוזער|שמאל|250px|איור זה ממחיש את מושג האינטגרל של רימן – חישוב השטח מתחת לגרף של פונקציה על ידי חלוקתו למלבנים קטנים יותר ויותר וסכימת שטחיהם.]]
שורה 7 ⟵ 18:
[[תמונה:Mass line integral.JPG|שמאל|ממוזער|250px|האינטגרל של [[צפיפות החומר|צפיפות המסה]] של העקום שווה למסה הכוללת. באיור מופיעים חלקי העקום המקורבים על ידי קווים ישרים, כך שנבחרה חלוקה בה אורך כל קטע הוא [[מטר|מילימטר]]. ליד כל חלק מופיע ערכה של צפיפות המסה בנקודה יציגה כלשהי בקטע זה, המייצג בקירוב את הערך בכל נקודה בקטע. לאחר סכימת ערכי הצפיפות באורך הקטע בכל קטע, מתקבלת, בקירוב, מסת העקום. כשאורך הקטע המקסימלי שואף לאפס, סכום המסות שואף למסה האמיתית.]]
[[אינטגרציה (מתמטיקה)|אינטגרציה]] היא שיטה לחישוב גדלים על ידי סכימת אלמנטים קטנים, שגודלם שואף לאפס ומספרם [[שואף לאינסוף]]. ה[[אינטגרל#האינטגרל המסוים|אינטגרל המסוים]] של פונקציה בקטע נתון מחושב על ידי חלוקת הקטע לתת-קטעים קטנים, וסיכום כל המכפלות של ערכי הפונקציה ב"נקודה יציגה" שנבחרת בכל תת-קטע באורכי תת-הקטעים המתאימים. סכום כזה נקרא "'''סכום רימן'''", על שמו של המתמטיקאי [[ברנרד רימן]]. לעתים קרובות מתברר שאם מעדנים את החלוקה כך שתת-הקטעים נעשים קטנים יותר ויותר, סכומי רימן הולכים ומתקרבים לערך קבוע, ללא תלות באופן החלוקה ובנקודות שנבחרו בתת-הקטעים. במקרה כזה נקרא הערך המתקבל - "'''אינטגרל רימן'''" של הפונקציה בקטע. האינטגרל מחשב [[שטח]]: אם הפונקציה חיובית, האינטגרל שלה שווה לשטח הכלוא בין [[גרף של פונקציה|גרף הפונקציה]] לבין הציר של המשתנה שעל פיו מחושב האינטגרל.
באופן דומה, ניתן להגדיר אינטגרלים שבהם המכפלות המחושבות הן שונות. בפרט, ניתן להגדיר אינטגרלים שבהם המכפלות הנסכמות הן מכפלות של ערכי פונקציה מסוימת באורכי חלקים קטנים של [[עקום]] נתון, או ב[[היטל (גאומטריה)|היטליהם]] על הצירים. בחישוב אינטגרלים מסוג זה מתעורר קושי בחישוב אורכו של עקום, או חלק ממנו (ללא כלים של [[חשבון אינפיניטסימלי]]), משום שה[[גאומטריה]] הקלאסית אינה מספקת כלים לחישוב אורך עקום כלשהו במקרה הכללי.
לצורך ניתוח בעיית חישוב האורך, מבוצע על עקום [[רציפות|רציף]] (כלומר – בשפה פשוטה – עקום שניתן לציירו "מבלי להרים את העיפרון מהדף") ההליך הבא: על העקום מוקצות מספר נקודות וכל שתי נקודות סמוכות מחוברות זו לזו על ידי מיתרים (ראו איור שני מלמעלה). כך, מתקבל קו שבור שמהווה קירוב לעקום. ככל שהחלוקה היא לנקודות צפופות יותר ויותר, כך מתקבל קו שבור אשר מקורב לעקום בצורה טובה יותר. כשאורך המיתר הארוך ביותר שואף לאפס, מתקבל קו שבור המקרב את העקומה בצורה מיטבית. ניתן להשתמש בקירוב זה של העקום על מנת לחשב אינטגרל עבור ערכים של פונקציה המוגדרת לאורך העקום.
מבחינת הנדסית, כשם שבבניית האינטגרל המסוים מחושב ה[[שטח]] המכוון שבין גרף הפונקציה לציר ה-x, כך המשמעות ההנדסית של האינטגרל הקווי היא השטח שבין גרף הפונקציה לעקום, כשאת תפקידו של ציר ה- x ממלא בבנייה זו הקו העקום.
==הגדרות ונוסחאות==
===אינטגרל קווי מסוג ראשון===
סימון: <math>\ \vec{x}=(x_1, \cdots, x_n)</math> – זהו וקטור המקום המציג את שיעוריה של נקודה כלשהי במרחב. הפונקציה <math>\rho (\vec{x}) \in \mathbb{R}^n </math> היא [[שדה סקלרי]] במרחב בעל מספר ממדים כלשהו, ה[[תחום הגדרה|מוגדר]] ו[[פונקציה חסומה|חסום]] בתחום האינטגרציה. על פונקציה זו מתבצעת האינטגרציה. לעתים נקראת פונקציה זו "פונקציית הצפיפות" שכן עבור שימושים רבים של האינטגרל הקווי מסוג זה, היא מבטאת צפיפות של גודל [[פיזיקה|פיזיקלי]] מסוים. העקומה עליה תתבצע האינטגרציה תסומן באות C. על עקומה זו להיות [[פונקציה חלקה|חלקה]] למקוטעין, כלומר - מספר הנקודות בו נגזרת הפונקציה המתארת את המסילה איננה קיימת – נקודות בהן גרף הפונקציה "מחודד" – הוא סופי. ראו איור שלישי מלמעלה להמחשה.
המסילה מתוארת על ידי [[פרמטריזציה]]
:<math>\vec p: [a,b] \rightarrow \mathbb{R}^n, \vec{p}=(x_1(t), \cdots, x_n(t)) </math>
כאשר <math> \ [a,b]</math> מבטא את קטע המסילה C עליו אנו מבצעים את האינטגרציה. כלומר, העקום מתואר על ידי [[משוואה פרמטרית]] המתאימה ערכים של הפרמטר <math>\ t</math> לשיעורי נקודות על העקום.
משמעות היותה של C "חלקה למקוטעין" היא שבקטע <math> \ [a,b]</math> הפונקציה המתארת את העקום [[רציפות|רציפה]] ו[[נגזרת|גזירה]] ברציפות בתחום האינטגרציה, למעט במספר סופי של נקודות. על הפרמטריזציה של העקומה להיות [[חד-חד ערכית]] ובעלת נורמה (בהקשר זה "גודל") שונה מאפס. במקרה זה, משמעות הפרמטריזציה היא התאמה בין ערכי הפרמטר <math>\ t</math> לבין נקודות על העקום. כלומר, לכל ערך של <math>\ t</math> בתחום האינטגרציה <math> \ [a,b]</math> מתאימה נקודה על העקום {{ללא גלישה|ולהיפך - לכל}} נקודה על העקום מתאים ערך של <math>\ t</math> בתחום <math> \ [a,b]</math>. כך, ישנה התאמה בין כל הערכים של <math>\ t</math> בתחום <math> \ [a,b]</math> לבין כל הנקודות של העקום. בשפה פשוטה, העקום מתואר בשלמותו על ידי ערכים של <math>\ t</math> בתחום <math> \ [a,b]</math>.
====הגדרה====
על העקומה <math>\ C</math> מבוצע ההליך של חלוקה למספר כלשהו של קטעים על ידי בחירה שרירותית של נקודות ומתיחת קווים ישרים ביניהן. הצורה המתקבלת היא קו שבור המורכב ממיתרים ומקרב את העקום. בכל חלק של הקו השבור נבחרת באופן שרירותי נקודה אשר תסומן <math>\ \vec {\xi_i}</math>. זוהי "נקודה מייצגת". הערך שמקבלת הפונקציה באותה נקודה הוא <math>\ \rho (\vec{\xi_i})</math>. זהו "ערך מייצג" של הפונקציה באותו הקטע. קירוב "סכום הערכים" שמקבלת הפונקציה בכל קטע נתון על ידי המכפלה <math>\ \rho (\vec{\xi_i}) \Delta \ell_i</math> כאשר <math>\ \Delta \ell_i</math> הוא אורך הקטע המקרב את הקשת עליה הוא נשען. סכימת כל המכפלות באותו הקטע, <math> \sum_{i} \rho (\vec{\xi_i}) \Delta \ell_i</math>, נותנת בקירוב את "סכום הערכים" של הפונקציה על העקום המקורי. את החלוקה מעדנים יותר ויותר על ידי בחירת נקודות נוספות ובנייה מחודשת של קטעים על פי כל הנקודות שנבחרות על העקום. ככל שהליך זה נמשך, עולה רמת הדיוק של קירוב הקשת על ידי אוסף מיתרים. עתה, מפעילים גבול במצב שבו אורך כל קטע ישר המקרב את העקום שואף לאפס: <math>\lim_{\max \Delta \ell_i \rightarrow 0} \sum_{i} \rho (\vec{\xi_i}) \Delta \ell_i</math>. זהו סכום רימני אשר מסומן בקיצור <math>\int_{C} \rho (\vec{x}) dl</math> ונקרא "'''אינטגרל קווי מסוג ראשון'''".
:'''הערה:''' באופן דומה, במקום לחלק את הקטע, ניתן לפנות ישירות אל הגדרת האינטגרל על פי רימן ולפיכך להגדיר <math>\ \int_{C} f dl = \int_{0}^{\text{Length}(C)} f(\gamma(l))dl</math> כאשר <math>\gamma(l)\,</math> היא הפרמטריזציה של העקום לפי האורך.
====נוסחה לחישוב====
חישובו של סכום זה ישירות איננו מעשי מפאת מורכבותו ולכן מקרבים אותו על ידי סכום אחר אשר חישובו ידוע, זהו הסכום האינטגרלי של רימן המגדיר את [[אינטגרל#האינטגרל המסוים|האינטגרל המסוים]], אותו קל יותר לחשב בעזרת [[נוסחת ניוטון לייבניץ]] או בעזרת שיטות [[אנליזה נומרית|נומריות]] שונות.
בעזרת הפרמטריזציה הנתונה של הישר, ניתן להציג את הפונקציה בצורה <math>\rho (x_1(t), \cdots, x_n(t))</math>. אורך הקטע המקרב את הקשת <math>\ \Delta \ell_i</math> מחושב ידי הכללה של [[משפט פיתגורס]] בצורה
:<math>\ \Delta \ell_i = \sqrt{(\Delta x_1(t))^2 + \cdots + (\Delta x_n(t))^2}</math>
כאשר <math>\ \Delta x_i</math> הוא שינוי קטן של אחד ממשתני הפרמטריזציה המגדירים את הקשת. לאחר כפל וחילוק של כל שינוי כזה ב- <math>\ \Delta t</math> ולאחר ארגון מחדש מתקבל
:<math>\Delta \ell_i = \sqrt{\left(\frac{\Delta x_1(t)}{\Delta t}\right)^2 + \cdots + \left(\frac{\Delta x_n(t)}{\Delta t}\right)^2}|\Delta t|</math>.
בהפעלת הגבול בו ערכה של החלוקה הגדולה ביותר שואף לאפס, השברים שואפים ל[[נגזרת|נגזרות]] של המשתנים המגדירים את העקומה לפי הפרמטר <math>\ t</math>. כמו כן, הערך <math>\ |\Delta t|</math> מוחלף ב[[דיפרנציאל (מתמטיקה)|דיפרנציאל]], המבטא שינוי קטן בערכו של <math>\ t</math>. כך, מתקבל
:<math>\Delta \ell_i \approx \sqrt{\left(\frac{dx_1(t)}{dt}\right)^2 + \cdots + \left(\frac{dx_n(t)}{dt}\right)^2}dt</math>.
הערך של <math>\Delta \ell_i</math> שהתקבל הוא אמנם קירוב, אך ניתן להוכיח כי הגבול המתקבל עבור הערך המקורב והמקורי זהים, ולכן לצורך חישובים מעשיים ניתן להחליף את הערך המקורי בערך המקורב. באופן זה, אם בקצוות תחום האינטגרציה מקבל הפרמטר t את הערכים <math>\ t_a</math> ו- <math>\ t_b</math>, ניתן לחשב את האינטגרל הקווי על ידי הנוסחה הבאה:
<div style="text-align: center;">
<math>\int_{C} \rho (\vec{x}) dl = \int_{t_a}^{t_b}\rho (x_1(t), \cdots, x_n(t))\sqrt{\left(\frac{dx_1(t)}{dt}\right)^2 + \cdots + \left(\frac{dx_n(t)}{dt}\right)^2}dt</math>.
</div>
===אינטגרל קווי מסוג שני===
אינטגרל קווי מסוג שני מתבצע על [[שדה וקטורי]]. סימון: <math>\vec F(\vec x) \in \mathbb{R}^n</math> – זוהי פונקציה במרחב בעל n [[ממד (מתמטיקה)|ממדים]] עליה מבוצעת האינטגרציה. ניתן לחשוב על פונקציה זו כעל אוסף של n פונקציות סקלריות. תחת ההנחה כי פונקציה זו רציפה, כאמור לעיל, נניח כי המסילה <math>\ C</math> היא מסילה חלקה למקוטעין המוגדרת בקטע <math> \ [a,b]</math>. כיוון הסכימה חיובי מוגדר מ- <math>\ a</math> עד <math>\ b</math>.
====הגדרה====
כאמור לעיל, חוזרים על הליך חלוקת העקום למיתרים, כך שכל נקודה מייצגת מסומנת <math>\ \vec {\xi_i}</math>. עבור כל היטל של השדה הווקטורי על הצירים, כופלים את ערכה של הפונקציה הווקטורית בנקודה המייצגת באורך ההיטל. עבור ההיטל של הרכיב ה- <math>\ k</math> (<math>\ k= 1 \cdots n</math>) של הפונקציה הווקטורית ועבור הציר ה- <math>\ k</math>, מתקבל <math>\ F_k (\vec {\xi_i}) \Delta x_{k,i}</math>. סכימת כל החלקים, <math>\ \sum_{i} F_k (\vec {\xi_i}) \Delta x_{k,i}</math>, נותנת בקירוב את "סכום הערכים" של היטלי הרכיב ה- <math>\ k</math> של הפונקציה <math>\ \vec F(\vec x)</math> באותו הקטע. באופן דומה, לאחר הטלת כל רכיבי הפונקציה על כל הצירים וסכימת הערכים המתקבלים, מתקבל <math>\sum_{k=1}^n \sum_{i} F_k (\vec {\xi_i}) \Delta x_{k,i}</math>. בהשאפת אורך החלק המוטל הגדול ביותר לאפס, מתקבל <math>\lim_{\max \Delta x_i \rightarrow 0} \sum_{k=1}^n \sum_{i} F_k (\vec {\xi_i}) \Delta x_{k,i}</math>. לפי הגדרת [[מכפלה סקלרית|המכפלה הסקלרית]], סכום זה לזהה לביטוי
<math>\lim_{\max \Delta x_i \rightarrow 0} \sum_{i} \vec F(\vec x)_{i} \cdot \Delta x_{i}</math>. זהו סכום רימני אשר מסומן בקיצור <math>\int_{C}\vec F(\vec x) \cdot d\vec{l}</math>, כאשר <math>d{l}=(\Delta x_1, \cdots, \Delta x_n)</math> הוא אלמנט אורך וקטורי. סכום זה נקרא "'''אינטגרל קווי מסוג שני'''".
:'''הערה:''' על הסכום <math>\sum_{k=1}^n \sum_{i} F_k (\vec {\xi_i}) \Delta x_{k,i}</math>, לאחר הפעלת הגבול, ניתן להסתכל גם כעל [[תבנית דיפרנציאלית]] כללית מדרגה ראשונה ולא כעל אוסף רכיבים של וקטור.
הגם שהפונקציה עליה מתבצעת האינטגרציה היא וקטורית, התוצאה היא סקלרית, שכן החישוב מתבצע על ידי סכימת המכפלות לעיל בכל אחד מהיטליה של הפונקציה הווקטורית, שהוא סקלר. כאמור, ניתן להציג הסכומים האינטגרליים על ידי מכפלה סקלרית, אשר תוצאתה סקלר.
====נוסחה לחישוב====
על מנת לחשב סכום זה, ננקטת גישה דומה לזו אשר יושמה בעת חישוב האינטגרל הקווי מהסוג הראשון. על ידי שימוש בפרמטריזציה הנתונה של הישר, מבוטא כל רכיב של אלמנט האורך בצורה <math>\frac{{\Delta x_i}}{{\Delta t}}{{\Delta t}}</math>. השדה הווקטורי מיוצג באופן <math>\vec F(\vec x(t))</math>. הסכום ייכתב עתה <math> \sum_{i} \vec F(\vec x)_{i} \cdot \frac{{\Delta x_i}}{{\Delta t}}{{\Delta t}}</math>. בהפעלת הגבול בו ערכה של החלוקה הגדולה ביותר שואף לאפס, השברים שואפים ל[[נגזרת חלקית|נגזרות של המשתנים המגדירים את העקומה]] לפי הפרמטר <math>\ t</math>. כמו כן, את <math>\ \Delta t</math> ניתן להחליף ב[[דיפרנציאל (מתמטיקה)|דיפרנציאל]]. כך, מתקבל אלמנט האורך הווקטורי
:<math>d\vec{l} = \left( \left(\frac{{dx_1(t)}}{{dt}}\right), \cdots , \left(\frac{dx_n(t)}{dt}\right) \right) dt </math>
והנוסחה לחישוב מקבלת את הצורה
<div style="text-align: center;">
<math>\int_{C}\vec F(\vec x) \cdot d\vec{l}=\int_{t_a}^{t_b}\vec F(\vec x(t)) \cdot \left( \left(\frac{{dx_1(t)}}{{dt}}\right), \cdots , \left(\frac{dx_n(t)}{dt}\right) \right) dt</math>.
</div>
====הקפה====
ה'''הקפה''' (בלעז, '''סירקולציה''') של שדה וקטורי <math>\vec{F}</math>, המסומנת לרוב באות <math>\ \Gamma</math>, מוגדרת בתור
:<math>\Gamma=\oint_{C} \vec{F} \cdot d \vec{l}</math>,
קרי: אינטגרל קווי של השדה על פני מסלול סגור. להקפה שימושים רבים בפיזיקה, ובפרט היא מופיעה בניסוח האינטגרלי של [[משוואות מקסוול]]. ראו הרחבה בנושא בהמשך, בפרק הדן בשימושים הפיזיקליים של האינטגרל הקווי.
==דוגמאות==
===אינטגרל קווי מסוג ראשון===
יש לחשב את האינטגרל <math>\ \int_{C} z^2 \,dl</math> כאשר המסלול <math>\ C</math> מתואר על ידי <math>C: \left\{\begin{matrix} x=\cos\left(t\right) \\ y=\sin\left(t\right) \\z=e^t \end{matrix}\right. ,t \in [0,\frac{{\pi}}{{2}}]</math>. לפי הנוסחה לחישוב מפורש, ניתן לחשב אינטגרל זה על ידי חישוב האינטגרל המסוים <math>\ \int_0^{{\frac{{\pi}}{{2}}}} \left(e^t\right)^2 \sqrt{\left(\frac{d \cos\left(t\right)}{dt}\right)^2 + \left(\frac{d \sin\left(t\right)}{dt}\right)^2 + \left(\frac{d e^t}{dt}\right)^2}dt=\int_0^{{\frac{{\pi}}{{2}}}} e^{2t} \sqrt{e^{2t}+1}\,dt</math>. התקבל אינטגרל מסוים אשר ניתן לחשב על ידי [[החלפת משתנה|החלפת]] <math>\ e^{2t}</math> במשתנה אחר. התוצאה המתקבלת היא <math>\ 38.5942</math>.
===אינטגרל קווי מסוג שני===
יש לחשב את האינטגרל <math>\ \int_{C} \left(x^3+y^3\right)\,dx+y \, dy </math> כאשר <math>\ C</math> הוא העקום <math>\ y=\frac{{1}}{{x}}</math> עבור <math>\ x \in [1,5]</math>. ניתן לכתוב הצגה זו גם בצורה <math>C: \left\{\begin{matrix} x=x \\ y=\frac{{1}}{{x}}\end{matrix}\right. ,x \in [1,5]</math>. בצורה זו, הפרמטר אשר על פיו מבוצעת האינטגרציה הוא <math>\ x</math> (באותה המידה, ניתן היה גם לכתוב <math>\ t</math> במקומו, או כל אות אחרת – לשמו של משתנה האינטגרציה אין כל משמעות מתמטית). על פי הנוסחה לחישוב ישיר, מתקבל האינטגרל המסוים <math>\ \int_1^5 \left[\left(x^3+\left(\frac{{1}}{{x}}\right)^3\right)\frac{{dx}}{{dx}}+\left(\frac{{1}}{{x}}\right)\left(\frac{{d\left(\frac{{1}}{{x}}\right)}}{{dx}}\right)\right]dx=\int_1^5 \left[x^3+\frac{{1}}{{x^3}}-\frac{{1}}{{x^3}}\right]dx</math>. זהו אינטגרל מיידי שלאחר חישובו מתקבל <math>\ 156</math>.
==תכונות==
האינטגרל הקווי מקיים תכונות של [[אדיטיביות]] ו[[לינאריות]] כמו [[האינטגרל המסוים]], זאת ניתן לראות מהגדרתו של כסכום. להרחבה ראו ערך [[אינטגרל]].
בהינתן פונקציה חיובית, האינטגרל הקווי מהסוג הראשון איננו תלוי בכיוון ביצוע הסכימה כך שסכימה "מההתחלה אל הסוף" ו"מהסוף אל ההתחלה" תניב תוצאות זהות. ניתן לתת לדבר אינטואיציה פיזיקלית בדמות העובדה שאורך או מסה של עקום אינם תלויים בכיוון מהם אנו "מרכיבים" אותם. בנוסחת החישוב המפורשת, הדבר מתבטא בכך שהסכום המופיע בה הוא של שלושה גורמים חיוביים: פונקציה חיובית, שורש ריבועי (חיובי בהכרח כאשר השדה מעליו עובדים הוא [[שדה המספרים הממשיים]]) והערך המוחלט של <math>\ \Delta t</math>.
לעומת כך, בהינתן אינטגרל קווי מסוג שני, החלפת סדר הסכימה תגרור החלפת סימן של האינטגרל. לכך ניתן לתת אינטואיציה פיזיקלית בדמות העובדה כי עבודה של כוח, למשל, תהיה שלילית אם הוא נע בכיוון הפוך לכיוון לכיוון המוגדר כ"חיובי". בנוסחה הדבר מתבטא בהחלפת הסימן של <math>\ \Delta t</math>.
באופן כללי, ערכו של אינטגרל קווי הוא תלוי מסלול, כך שעבור מסלולים שונים יתקבלו ערכי אינטגרל שונים. אינטואיציה פיזיקלית לכך ניתנת, עבור אינטגרל מסוג ראשון, למשל, בדמות העובדה כי עבור צפיפות נתונה, גוף ארוך ישקול יותר מגוף קצר. עבור אינטגרל קווי מסוג שני ניתן לתת אינטואיציה על סמך העובדה, למשל, שעבודתו של כוח ה[[חיכוך]] גדולה יותר בערכה המוחלט ככל שהמסלול ארוך יותר. ייתכן מקרה מיוחד בו ערכו של אינטגרל מסוג שני לא יהיה תלוי בצורת מסלול האינטגרציה אלא בקצוות הקטע בלבד. נושא זה נדון בהרחבה בפרק [[#שדה משמר|קשר בין אינטגרל קווי לשדה משמר]] בהמשך ערך זה.
===החלפת פרמטריזציה באינטגרל קווי===
בהינתן פרמטריזציה מסוימת המתארת את העקום שעל פניו מתבצעת האינטגרציה, ניתן לכתוב את האינטגרל הקווי גם על ידי פרמטריזציה אחרת המתארת גם היא את העקום הנתון, בלא שינוי בתוצאה המתקבלת. באופן מעשי, כאמור, חישוב האינטגרל הקווי מתבצע על ידי החלפתו באינטגרל מסוים. בהינתן שתי פרמטריזציות המתארות את אותו העקום, ניתן להחליף את הפרמטריזציות שעל פי הן נעשה החישוב על ידי הכללים המקובלים ל[[החלפת משתנה]] בשלב חישוב האינטגרל המסוים. ראו [[שיטות למציאת אינטגרלים לא מסוימים#שיטת ההצבה|שיטת ההצבה]] להרחבה.
כיוון שאינטגרל מסילתי מסוג שני הוא תלוי כיוון, ישנה חשיבות לכיוון שבו תתבצע האינטגרציה בעזרת הפרמטריזציה החדשה. פרמטריזציה אשר שומרת על כיוון האינטגרציה המקורי נקראת "פרמטריזציה שומרת כיוון". פרמטריזציה היא שומרת כיוון [[אם ורק אם]] מתוארת על ידי [[פונקציה מונוטונית]] עולה. אם הפונקציה מונוטונית יורדת, אזי לאחר ביצוע האינטגרציה תתקבל תוצאה הפוכת סימן. במקרים אחרים, מקובל לחלק את העקומה שעל פיה מתבצעת האינטגרציה למספר חלקים שבכל אחד מהם הפרמטריזציה מתוארת על ידי פונקציה מונוטונית.
==משפטים חשובים הקשורים לאינטגרל קווי==
===משפטי סטוקס===
[[משפט סטוקס|משפטי סטוקס]] הם קבוצת משפטים המהווה הכללה של [[המשפט היסודי של החשבון הדיפרנציאלי והאינטגרלי]] עבור [[יריעה חלקה|יריעות חלקות]]. משפטים אלו מאפשרים החלפה של אינטגרלים על תחום באינטגרלים ממימד נמוך יותר על [[שפה (טופולוגיה)|שפתם]].
אחד ממשפטי סטוקס הוא [[משפט גרין]] המאפשר החלפת חישוב של [[אינטגרל כפול]] באינטגרל קווי על ידי נוסחה הנקראת "נוסחת גרין". הנוסחה היא
:<math>\oint_{C} (L\, dx + M\, dy) = \iint_{D} \left(\frac{\partial M}{\partial x} - \frac{\partial L}{\partial y}\right)\, dA</math>.
נוסחה זו מתקיימת עבור [[תחום פשוט קשר]] <math>\ D</math> המוקף על ידי מסילה <math>\ C</math> חלקה למוקטעין, סגורה, אשר לא חותכת את עצמה ובהינתן [[אוריינטציה (מתמטיקה)|אוריינטציה]] חיובית המוגדרת כנגד כיוון השעון. להרחבה ראו [[משפט גרין]].
בעזרת נוסחה זו ניתן להמיר אינטגרלים קוויים במשטחיים ולהיפך ובכך לפשט בעיות שונות.
נוסחת גרין היא מקרה פרטי של [[משפט סטוקס|משפט סטוקס במרחב]], על פיו ב[[מרחב וקטורי|מרחב הווקטורי]] <math>\mathbb{R}^3</math>, מתקיים:
:<math>\oint_{\partial A} \vec F \cdot \vec {dl}=\iint_A (\vec \nabla \times \vec F)\cdot d\hat n </math>,
כאשר A היא יריעה אוריינטבילית דו-ממדית, האגף השמאלי הוא אינטגרל קווי של השדה על שפת A, והאגף הימני הוא אינטגרל קווי על ה[[שטף]] של [[רוטור]] השדה דרך A. להרחבה ראו [[משפט סטוקס]].
{{עוגן|שדה משמר}}
===קשר בין אינטגרל קווי לשדה משמר===
בעזרת משפט גרין ניתן להוכיח את המשפט הבא, אשר נקרא לעתים "המשפט היסודי של האינטגרל הקווי" ומהווה הכללה של [[המשפט היסודי של החשבון הדיפרנציאלי והאינטגרלי]]:
:'''משפט''': שתי הטענות הבאות שקולות זו לזו – קרי, אם האחת מתקיימת, אזי מתקיימת גם השנייה, ולהיפך:
:#ערכו של אינטגרל קווי מסוג שני של שדה וקטורי <math>\vec F</math> בין שתי נקודות, איננו תלוי בצורת המסלול המחבר אותן.
:#השדה הווקטורי <math>\vec F</math> הוא '''[[שדה פוטנציאלי]]''' – או, בשם אחר, "'''שדה משמר'''" – כלומר, קיימת פונקציה <math>\ U</math>, הנקראת "'''[[פוטנציאל סקלרי]]'''", כך שהשדה הווקטורי הוא [[גרדיאנט]] שלה. ערכו של האינטגרל שווה להפרש ערכי הפונטציאל בקצוות הקטע עליו מתבצעת האינטגרציה.
משילובן של שתי טענות אלו, עולה מסקנה חשובה: עבור שדה פוטנציאלי, האינטגרל על כל מסילה סגורה מתאפס, שכן הוא שווה להפרש הפוטנציאלים בין קצוות הקטע. כיוון שקצוות הקטע מתלכדים, ההפרש הוא זהותית אפס. למסקנה זו שימושים רבים בעת דיון על [[כוח משמר|כוחות משמרים]].
:'''הערה:''' בעת דיון באינטגרל קווי מסוג שני בהקשר של תבניות דיפרנציאליות, מוחלפת שאלת קיומו של שדה משמר בשאלה "האם התבנית הדיפרנציאלית מדויקת?" (קרי – קיימת פונקציה אחרת שתבנית זו היא ה[[דיפרנציאל (מתמטיקה)|דיפרנציאל השלם]] שלה). אם כן, אזי הפונקציה אשר התבנית הדיפרנציאלית שלה היא זו עליה מתבצעת אינטגרציה, מחליפה בהקשר זה את הפוטנציאל.
=== אנליזה מרוכבת ===
האינטגרל הקווי הוא כלי בסיסי ב[[אנליזה מרוכבת]]. בהינתן עקומה סופית <math>\ U\subset \mathbb{C}</math> במישור המורכב ובהינתן <math>\ \gamma : [a,b]\rightarrow U</math> היא ו- <math>\ f:U\rightarrow \mathbb{C}</math> פונקציה מרוכבת, אם <math>\ \gamma</math> גזירה ברציפות, ניתן לחשב את האינטגרל הקווי כאינטגרל של פונקציה של משתנה ממשי:
:<math>\ \int_{\gamma}f(z)\, dz = \int_a^bf(\gamma (t))\gamma '(t)\, dt</math>.
משפטים חשובים על אינטגרלים קוויים הם [[משפט אינטגרל קושי]] ו[[נוסחת אינטגרל קושי]], הקובעת כי מתקיים
:<math>f(z_0) = {1 \over 2\pi i} \oint_{\partial D} {f(z) \over z-z_0}\, dz </math>
עבור <math>\ f:U\rarr\mathbb{C}</math> פונקציה הולומורפית בעיגול <math>\ D</math> המוכל ב[[קבוצה פתוחה|קבוצה הפתוחה]] <math>\ U</math> ב[[שדה המספרים המרוכבים|מישור המרוכב]], כאשר מגמת האינטגרל היא נגד [[כיוון השעון]].
כתוצאה של [[משפט השאריות]], מאפשר לעתים קרובות להשתמש באינטגרל על עקומה סגורה ב[[שדה המספרים המרוכבים|מישור המרוכב]] כדי למצוא אינטגרלים של פונקציות ממשיות של משתנה ממשי. לדוגמה ניתן לקבל בשיטה זו את [[שיטות אנליטיות לחישוב אינטגרלים מסוימים#חישוב במסלול סגור במישור המרוכב|התוצאה]]:
:<math>\int ^{2 \pi} _{0} \frac{1}{1+ \sin x} dx = \frac {\pi} {2 \sqrt{2}}</math>.
==שימושים==
===מאפיינים פיזיים של גופים המיוצגים על ידי עקומה===
מהתבוננות בהגדרת האינטגרל הקווי מסוג ראשון, ניתן לראות כי בבחירת פונקציה השווה זהותית לאחד, מתקבל הסכום <math>\lim_{\max \Delta \ell_i \rightarrow 0} \sum_{i} \Delta \ell_i</math>. משמעותו של סכום זה היא אורך העקומה עליה מתבצעת האינטגרציה. כך, בהינתן עקום ניתן לחשב את אורכו בעזרת אינטגרל קווי. בהינתן הגדרה [[אקסיומה|אקסיומטית]] של מושג האורך של קו ישר, ניתן להשתמש בסכום זה על מנת להגדיר את המושג "אורך של עקום".
בהינתן פונקציה המבטאת צפיפות של גודל פיזיקלי כלשהו כפי שהיא משתנה לאורך העקום, כאשר העקום הוא מודל לגוף כלשהו (למשל, חוט) ניתן לחשב את כמות הגודל הכוללת לאורך אותו גוף על ידי אינטגרל קווי מסוג ראשון. כך, למשל, בהינתן צפיפות [[מסה]] קוית, ניתן לחשב את מסתו של גוף ובהינתן צפיפות מטען קווית, ניתן לחשב את המטען המפוזר לאורכו של גוף.
===שימושים פיזיקליים===
====עבודה====
אחת הדוגמאות הבולטות לשימוש באינטגרל קווי מסוג שני היא חישוב [[עבודה (פיזיקה)|עבודה]]. עבודתו של כוח קבוע המניע מסה לאורך קו ישר מוגדרת כמכפלת היטלו של הכוח לאורך ציר התנועה במרחק שגרם למסה לנוע. בכתיב מתמטי, מיוצגת העבודה לפי הנוסחה <math>W = \vec{F}\cdot \vec{r}\,</math> כאשר <math>\ \vec{F}</math> הוא הכוח המניע ו-<math>\ \vec{r}</math> הוא וקטור ה[[העתק (פיזיקה)|העתק]]. במקרה הכללי ביותר, כאשר הכוח הוא כוח משתנה והמסלול איננו בהכרח קו ישר, ניתן לקרב את המסלול על ידי חלוקתו לחלקים קטנים בהם המסלול הוא בקירוב ישר והכוח הוא בקירוב קבוע, לחשב את העבודה בכל אחד מהם ולסכום את סך כל העבודות המתבצעות בקטעים לעיל. בכך, מתקבלת העבודה הכוללת. הלכה למעשה, חישוב זה זהה במהותו לחישובו של אינטגרל קווי מסוג שני ולכן, בהינתן מסילה <math>\ \gamma</math>, מוגדרת העבודה לאורכה על ידי הנוסחה <math>\ W = \int_{\gamma}{ \vec{F} \cdot \mathrm{d} \vec{r}}</math>.
כיוון שאינטגרל של שדה משמר לאורך מסילה סגורה הוא אפסי, עולה מכך שתנועתו של גוף הנע במסלול סגור תחת השפעת כוח משמר, איננה משנה את הפוטנציאל שלו, כאשר המשמעות הפיזיקלית של פוטנציאל זה היא [[אנרגיה]]. קרי – אנרגיה של גוף לא משתנה כאשר הוא נע במסלול סגור תחת השפעת כוח משמר. למשפט זה חשיבות פיזיקלית רבה.
====שימושים נוספים====
אינטגרלים קוויים מופיעים, בין היתר, במקומות בהם מערכות פיזיקליות נידונות מתוארות על ידי פונקציות שדה. אינטגרלים מסוג זה משמשים בתורה האלקטרומגנטית ומופיעים בניסוחים האינטגרליים של [[משוואות מקסוול]], שם הם מתארים את הקפת השדה המגנטי והחשמלי. [[חוק ביו-סבר]], המהווה גרסה של [[חוק אמפר]], מאפשר חישוב של [[שדה מגנטי|שדות מגנטיים]] על ידי שימוש באינטגרל קווי. [[מכניקת הזורמים]], אשר בחלק מענפיה מתקימת סימטריה מסוימת בין הניסוחים המתמטיים המתארים אותה לבין אלו של התורה האלקטרומגנטית, היא ענף פיזיקלי נוסף בו נעשה שימוש באינטגרלים קוויים. כדוגמה, לחוק ביו-סבר שהוזכר לעיל, שימושים גם באווירודינמיקה, שם הוא משמש לחישובים של מהירות המושרית מקווי מערבולת. כדוגמה נוספת, [[משפט קוטה-ז'וקובסקי]] <!-- Kutta–Joukowski theorem --> קושר בין הקפת שדה המהירות של נוזל לבין כוח העילוי שהוא מפעיל.
===פישוט חישובים===
על ידי שימוש במשפטי סטוקס, ובפרט ב[[משפט גרין]] וב[[משפט סטוקס|משפט סטוקס במרחב]], ניתן להחליף את חישוביהם של אינטגרלים משטחיים באינטגרלים קוויים על שפתם ולהיפך. כך, ניתן לפשט מספר חישובים.
כך, למשל, על סמך משפט גרין, עבור זוג פונקציות <math>\ M</math> ו- <math>\ L</math> המקיימות <math>\frac{\partial M}{\partial x} - \frac{\partial L}{\partial y}=1</math>, האינטגרל הקווי <math>\oint_{C} (L\, dx + M\, dy) </math> נותן את השטח שכולאת העקומה <math>\ C</math>. לעתים, חישוב זה נוח יותר מחישוב השטח באמצעות כלים אחרים (למשל, [[אינטגרל כפול]]).
כאמור, לאינטגרלים קוויים שימושים רבים גם ב[[אנליזה מרוכבת]].
==מקורות==
<div style="direction: ltr;">
*George Cain & James Herod, '''Multivariable Calculus'''<!-- p 150 -->
*Kenneth Kuttler, '''Calculus, Applications and Theory'''<!--p 588 -->
*Kittel, '''Mechanics''', Berkeley Physics Course<!-- p 147 -->
*Tom M. Postol, '''Calculus''', Volume II<!--p 588 -->
</div>
==קישורים חיצוניים==
{{מיזמים|ויקימילון=אינטגרל קוי}}
{{תקציר פורטל|מתמטיקה}}
* [http://everything2.com/e2node/Line%2520integral מבוא מפושט לנושא] מתוך פרויקט [http://everything2.com/title/Maths%2520for%2520the%2520masses Maths for the masses] {{אנגלית}}
**{{MathWorld|LineIntegral}}
*סיכומים נוספים באנגלית
**[http://www.math.oregonstate.edu/home/programs/undergrad/CalculusQuestStudyGuides/vcalc/lint/lint.html מבוא לאינטגרלים קוויים]
**[http://www.ltcconline.net/greenl/courses/202/vectorIntegration/lineIntegrals.htm דף הסבר על אינטגרלים קווים]
**[http://www.math.umn.edu/~nykamp/m2374/readings/lineint/ הסבר על אינטרלים קווים של שדה ווקטורי, מלווה בהמחשות גרפיות]
**[http://www.math.umn.edu/~nykamp/m2374/readings/pathint/index.html הסבר על אינטרלים קווים של שדה סקלרי, מלווה בהמחשות גרפיות]
* [http://www.underwar.co.il/download.asp?ID=56 סיכום של חומר] ב[[אנליזה וקטורית]] מאת ניר ארד המתייחס גם לאינטרגלים קוויים {{PDF}}
* [http://www.math.umn.edu/~nykamp/m2374/readings/lineintex/ דף עם דוגמאות חישוביות] {{אנגלית}}
* [http://www.slu.edu/classes/maymk/banchoff/LineIntegral.html יישום המדגים מהו אינטגרל קווי] {{אנגלית}}
[[קטגוריה:אנליזה וקטורית]]
| |||