אינטגרל
מתוך ויקיפדיה, האנציקלופדיה החופשית
האינטגרל של פונקציה ממשית הוא מושג מתמטי בתחום החשבון האינפיניטסימלי, המהווה הכללה מתמטית מרחיקת לכת של מושג הסכום. האינטגרל המסוים של פונקציה נתונה, כגון
, על-פני קטע סופי, כגון
, הוא מספר, השווה (כאשר הפונקציה חיובית ורציפה) לשטח הכלוא מתחת לגרף הפונקציה בין קצות הקטע (ראו התרשים משמאל). האינטגרל הלא מסוים של פונקציה f אינו כבול לקטע - זוהי פונקציה ממשית, שנגזרתה שווה ל-f. המשפט היסודי של החשבון הדיפרנציאלי והאינטגרלי קובע ששתי המשמעויות האלה למושג האינטגרל - מתלכדות: אם
היא אינטגרל לא-מסוים של הפונקציה f, אז האינטגרל המסוים שלה בקטע
הוא ההפרש
.
לאינטגרל שימושים רבים ביותר, וביניהם חישוב השטח של תחום מישורי, הנפח של גוף מרחבי, המסה של גוף, האורך של מסילה עקומה, ההסתברות של תופעות רציפות, הכוח הפועל בין שני גופים, אנרגית החום הכוללת של אמבט, מהירותו ומקומו המרחבי של גוף הנע בהשפעת כוח בעל עוצמה משתנה, ועוד ועוד.
הראשון שהגדיר את האינטגרל המסוים במדויק היה ברנרד רימן. בעקבותיו הוצעו הכללות רבות: בתחום ההגדרה של הפונקציה (העשוי להיות הישר הממשי כולו, קוביה במרחב האוקלידי ה-n-ממדי, או כל מרחב קומפקטי מקומית), בערכים שהפונקציה עשויה לקבל (מספרים ממשיים או מרוכבים, מספרים p-אדיים, או וקטורים שאלו רכיביהם), ובאופי הפונקציות שעבורן מחושב האינטגרל.
את האינטגרל מסמנים ב-∫ או בסימן
, סימון שניתן על ידי גוטפריד וילהלם לייבניץ ושמקורו מה-s הארוכה שבתחילת המילה הלטינית summa (סכום), שאותה הוא כתב כ-ſumma. בעברית הוצע המונח "אַסכֵּמֶת", שלא התקבל.
תוכן עניינים |
[עריכה] האינטגרל המסוים
כאמור לעיל, האינטגרל המסוים של פונקציה ממשית, מעל קטע סגור, שווה לשטח שמתחת לגרף הפונקציה. כדי לקבל הגדרה מסודרת של האינטגרל, יש לבחון את המשמעות המדוייקת של המושג "שטח", במיוחד כאשר הגרף אינו ישר, ואף אינו בהכרח רציף. השטח של מלבן מובן היטב, ואחת הדרכים להגדיר את השטח שמתחת לגרף היא לקרב את הצורה שמתחת לגרף באמצעות מלבנים זרים (ומקבילים לצירים). בהגדרה זו יש בעיה עקרונית: כל עוד מספר המלבנים סופי, השטח הכולל שלהם אינו אלא קירוב, ותמיד אפשר לשפר אותו אם מגדילים את מספר המלבנים.
רימן הפך את הבעיה הזו להגדרה של ערך האינטגרל: במקום לחפש את הקירוב הטוב ביותר, מסכמים מלבנים קטנים ורבים יותר, כך שהקירוב ילך וישתפר. בסופו של דבר בוחרים את הגבול של סדרת הסכומים המתקבלת מסדרת הקירובים. גישה דומה, המגיעה לאותן תוצאות, מבוססת על סכומי דארבו: כאן מקרבים את הצורה באמצעות מלבנים הכלואים מתחת לגרף מחד, ומלבנים הכולאים את הגרף מלמעלה, מאידך.
[עריכה] חלוקה של קטע
סדרה (סופית) של נקודות
נקראת חלוקה של הקטע
. את הסדרה אפשר לפרש כאילו היא שוברת את הקטע ל-n "תת-קטעים"
, החותכים זה את זה רק בנקודות הקצה שלהם. לכל חלוקה
אפשר להגדיר קוטר -
. מכיוון שסכום ארכי הקטעים הוא
, הקוטר של חלוקה בת n קטעים הוא לפחות
. מכאן שכדי לקרב את קוטר החלוקה לאפס, יש להגדיל את מספר הנקודות באופן שאינו חסום.
חלוקה
היא עידון של חלוקה
, אם החלוקה הראשונה כוללת את כל הנקודות המופיעות בנקודה השניה. לדוגמא,
מעדנת את
. ברור שבמקרה כזה,
.
[עריכה] הגדרת האינטגרל המסוים באמצעות סכומי רימן
בחלוקה נתונה
, אפשר לבחור נקודה
מכל תת-קטע. חלוקה כזו, יחד עם הנקודות שנבחרו מתת-הקטעים, נקראת חלוקה מסומנת. לחלוקה כזו אפשר להגדיר את סכום רימן
. זהו השטח הכולל של המלבנים שבסיסם הוא הקטע
וגובהם
(עבור
), כאשר השטח הוא "שטח מכוון" (העשוי להיות חיובי או שלילי, בהתאם לסימן של הפונקציה בנקודה
). כל סכום רימן מהווה קירוב לשטח שמתחת לגרף הפונקציה, בקטע המדובר
.
פונקציה
, המוגדרת בקטע
, היא אינטגרבילית לפי רימן, אם לכל בחירה של סדרת חלוקות
בעלות גדלים
המתכנסים לאפס, הגבול
קיים (היינו, הסדרה מתכנסת). "אינטגרביליות" פירושה שלאינטגרל המסוים יש מובן מספרי. בלעדיה, לא ניתן לחשב את השטח שמתחת לגרף בשיטה שהציע רימן.
אם הגבול
קיים לכל סדרה של חלוקות (שקוטרן שואף לאפס), אז בכל המקרים מתקבל אותו מספר. גבול משותף זה הוא, כעניין שבהגדרה, ערכו של האינטגרל המסוים, ומסמנים אותו כך:
(המשתנה x בביטוי זה הוא "משתנה האינטגרציה", ולשמו אין כל חשיבות: אפשר לכתוב באותה מידה
או
).
[עריכה] הגדרה באמצעות סכומי דארבו
נניח ש-
חסומה בקטע הסגור
. לכל חלוקה
, אפשר לחשב בנפרד את השטח שהחלוקה מאתרת מתחת לגרף, ואת השטח שהחלוקה מאתרת מעל לגרף. לצורך כך נסמן בכל תת-קטע
של החלוקה, את החסם העליון של הפונקציה ב-
, ואת החסם התחתון ב-
. (אם לפונקציה יש בתת-הקטע הזה נקודות מינימום או מקסימום, הערכים
ו-
יהיו הערכים שהפונקציה מקבלת באותן נקודות, אלא שנקודות הקיצון האלה אינו חייבות להתקיים (הפונקציה אינה רציפה), ואין לנו בהן כל צורך). באופן הזה, מובטח ש-
לכל
בתת-הקטע. משום כך סביר לקבוע ששטחו של התחום המישורי המוגבל על-ידי ציר ה-x, גרף הפונקציה, והישרים
ו-
, גדול משטח המלבן
, וקטן משטח המלבן
.
אם נסכם את כל המלבנים, הסכום
נקרא הסכום התחתון של החלוקה, ואילו
הוא הסכום העליון שלה. קל להוכיח שאם
מהווה עידון של
, אז
, ולכן, כאשר מעדנים את החלוקה, המרחק בין הסכום העליון לתחתון מצטמצם.
החסם התחתון של כל הסכומים העליונים
, עבור כל החלוקות האפשריות, הוא האינטגרל התחתון. החסם העליון של כל הסכומים התחתונים
הוא האינטגרל העליון. הפונקציה אינטגרבילית לפי דארבו, אם שני ערכים אלו שווים זה לזה (פירושו של השוויון הוא שקיימת סדרה של חלוקות
המעדנות זו את זו, כך שההפרש
שואף לאפס).
אפשר להוכיח שהגדרת אינטגרביליות של פונקציה חסומה באמצעות סכומי רימן שקולה להגדרה באמצעות סכומי דארבו, ושהאינטגרל המתקבל בשני המקרים שווה. ההגדרה שנתנה לעיל מתאימה לפונקציות חסומות, ולחישוב מעל קטע סגור. עם זאת, אפשר להרחיב את ההגדרה גם למקרים כלליים יותר - ראו אינטגרל לא אמיתי.
[עריכה] מרחב הפונקציות האינטגרביליות
הסכום של פונקציות אינטגרביליות (לפי רימן) והכפולה של פונקציה אינטגרבילית בסקלר נותנים פונקציות אינטגרביליות; לכן אוסף הפונקציות האינטגרביליות מעל קטע קבוע
מהווה מרחב וקטורי מעל שדה המספרים הממשיים.
משפט לבג מאפיין אינטגרביליות באופן הבא: פונקציה חסומה היא אינטגרבילית במובן רימן, אם ורק אם קבוצת נקודות אי-הרציפות שלה היא בעלת מידה אפס.
לדוגמא, כל פונקציה רציפה וכל פונקציה מונוטונית בקטע סגור, היא אינטגרבילית. גם פונקציית רימן אינטגרבילית (והאינטגרל שלה הוא אפס). לעומת זאת, פונקציית דיריכלה אינה אינטגרבילית לפי רימן.
ההתאמה
היא פונקציונל ליניארי המוגדר על המרחב הזה, משום שהאינטגרל של פונקציות מקיים את התכונה
. האינטגרל מונוטוני, במובן הבא: אם
אינטגרביליות בקטע
, ולכל
מתקיים
, אז
.
[עריכה] חישוב האינטגרל המסוים
הנוסחה היסודית של החשבון האינפיניטסימלי מחשבת את האינטגרל המסוים, אם ידוע האינטגרל הלא-מסוים (ראו להלן). במקרים אחרים יש להפעיל שיטות אנליטיות מיוחדות, או שיטות נומריות.
[עריכה] האינטגרל הלא מסוים
[עריכה] הגדרה
פונקציה
נקראת פונקציה קדומה של
בקטע כלשהו, אם לכל נקודה בקטע
. כלומר
היא הנגזרת של
בקטע.
האינטגרל הלא מסוים של פונקציה
האינטגרבילית בקטע הסגור
מוגדר לרוב בתור אוסף הפונקציות הקדומות שלו. בסימון:
, כאשר
היא פונקציה קדומה של
ו-
הוא קבוע שרירותי.
ניתן להצדיק את הסימון בכך שכל הפונקציות הקדומות של פונקציה ניתנות לכתיבה בתור קבוע ועוד פונקציה קדומה כלשהי. מצד אחד, אם
אז ברור כי גם
כי נגזרת של קבוע היא 0. מצד שני, אם
פונקציות קדומות של
אז מתקיים
, כלומר הפונקציה
קבועה, כלומר
, כנדרש.
בהינתן פונקציה
אינטגרבילית בקטע הסגור
ניתן להגדיר פונקציה באופן הבא:
ערכה של פונקציה זו בכל נקודה הוא ערך האינטגרל המסוים של
בין נקודה זו לנקודת מוצא כלשהי. פונקציה זו היא תמיד רציפה, אך אינה בהכרח גזירה ולכן אינה בהכרח פונקציה קדומה של
. עבור פונקציית מדרגה, למשל, לא יהיה אינטגרל זה גזיר, שכן פונקציית מדרגה אינה מקיימת את תכונת הנגזרת הבאה לידי ביטוי במשפט דארבו.
המשפט היסודי של החשבון הדיפרנציאלי והאינטגרלי אומר ש
גזירה בכל מקום בו
רציפה. כלומר: אם
רציפה ב x0 אזי מתקיים ש
. כלומר,
היא פונקציה קדומה של
באופן כללי,
לא חייבת להיות גזירה בכל מקום.
על כן, המשפט היסודי קושר בין האינטגרל המסוים
ובין האינטגרל הלא מסוים של הפונקציה, וממנו נגזרת הנוסחה היסודית
המאפשרת לחשב אינטגרל מסוים באמצעות שימוש בפונקציה קדומה.
[עריכה] דוגמה
ידוע כי הנגזרת של
היא
. על כן כל פונקציה קדומה של
נבדלת מ
בקבוע, ונכתוב: 
[עריכה] מציאת האינטגרל הלא מסוים
בניגוד לפעולת הגזירה, שהיא טכנית בעיקרה ומבוססת על כמה כללים ברורים היטב, אין "מתכון" בטוח למציאת אינטגרל לא מסוים של פונקציה. באמצעות נוסחאות הגזירה ניתן למצוא מיידית אינטגרלים לפונקציות האלמנטריות הבסיסיות, ועל מנת לבצע אינטגרציה לפונקציות מסובכות יותר ישנן שיטות אינטגרציה (החלפת משתנים, אינטגרציה בחלקים ועוד) שמאפשרות לפשט את הפונקציה ולהפוך אותה לפונקציה אחרת, שעבורה קל יותר למצוא את האינטגרל.
גם אם לא ניתן לבטא את האינטגרל הלא מסוים באמצעות פונקציה אנליטית, אין זה אומר שהאינטגרל המסוים אינו קיים. בהרבה מקרים (למשל במשוואות דיפרנציאליות) ביטויים מהצורה
נחשבים לפתרון קביל.
[עריכה] הערות
למעשה, סכום רימן הוא חלוקה של הקטע למלבנים צרים שגובהם הוא
, סיכום שטחיהם ומעבר לגבול כאשר פרמטר החלוקה שואף לאפס. באנליזה נומרית יש חשיבות גדולה לבחירת נקודות הביניים כדי לקבל התכנסות מהירה של הקירוב הנומרי לערך המדויק (שלרוב אינו ניתן לחישוב).
[עריכה] אינטגרל לבג
|
|
ערך מורחב – אינטגרל לבג |
אינטגרל לבג הוא הכללה של אינטגרל רימן לפונקציות מדידות שפותחה על ידי המתמטיקאי אנרי לבג במסגרת מחקרו על תורת המידה. אינטגרל לבג מתבסס על מידת לבג המוגדרת מעל הישר הממשי והוא מזדהה עם אינטגרל רימן לכל פונקציה חסומה שהיא אינטגרבילית במובן רימן.
בהיות האינטגרל של לבג הכללה של אינטגרל רימן, מאפשר מושג זה לחשב אינטגרל לפונקציות שאינן אינטגרביליות במובן רימן. הרעיון באינטגרל לבג הוא לחשב את השטח לפי התמונה של הפונקציה ולא לפי התחום שלה. היתרון בגישה זו היא שלרוב התמונה של הפונקציה פשוטה בהרבה ו"פתולוגית" הרבה פחות מתחום הגדרתה. לכן, מחלקת הפונקציות שהן אינטגרביליות במובן לבג רחבה יותר ממחלקת הפונקציות האינטגרביליות רימן. למעשה, גם פונקציות שאינן רציפות באף מקום יכולות להיות אינטגרביליות לבג (בעוד שאינן אינטגרביליות רימן). אחת הדוגמאות הבסיסיות והיפות לפונקציה כזאת היא פונקציית דיריכלה.
[עריכה] אינטגרל רימן-סטילטיס ואינטגרל לבג-סטילטיס
אינטגרל רימן-סטילטיס הוא הכללה אחרת של אינטגרל רימן.
אינטגרל רימן-סטילטיס של פונקציה ממשית
של משתנה ממשי ביחס לפונקציה ממשית
מסומן:
ומוגדר להיות הגבול של הביטוי:

כאשר
נמצא נמצא ברווח ה-
בחלוקת הקטע
לקטעים וכאשר אורך הקטע המקסימלי בחלוקה שואף ל-0.
האינטגרל אינו מוגדר כאשר לשתי הפונקציות
ו-
יש נקודת אי-רציפות משותפת. יש הכללה שתגדיר את האינטגרל כאשר בנקודת אי הרציפות המשותפת אחת הפונקציות רציפה מימין והשנייה משמאל.
הכללה נוספת היא אינטגרל לבג-סטילטיס, שהוא הכללה הן של אינטגרל רימן והן של אינטגרל לבג. שתי ההגדרות, של אינטגרל רימן-סטילטיס ושל אינטגרל לבג-סטילטיס הן הגדרות זהות כאשר הפונקציה
היא פונקציה מונוטונית עולה, וזהו המקרה בו אינטגרל זה משמש בסטטיסטיקה ובמשתנים מקריים כאשר הפונקציה
היא פונקציה ההסתברות (המצטברת).
[עריכה] שימושי האינטגרל
שימוש חשוב של האינטגרל הוא מציאת שטח. השטח בין הפונקציה
בקטע
ובין ציר
הוא
.
אורך של גרף הפונקציה
בקטע
הוא
.
בנוסף, אפשר להשתמש באינטגרל לחישוב נפח של גוף סיבוב. גוף סיבוב הוא גוף המתקבל על ידי סיבוב של פונקציה אחת סביב ציר ה-
. נפח גוף הסיבוב של הפונקציה
בקטע
הוא
.
נפח גוף הסיבוב המתקבל בין הפונקציות
ו-
הוא
.
שטח הפנים של גוף סיבוב הוא
.
הנפח של הגוף ששטח החתך שלו עבור כל שיעור
הוא
שווה ל-
.
הערך הממוצע של ערכי הפונקציה
בקטע
הוא
.
[עריכה] ראו גם
[עריכה] קישורים חיצוניים
| מיזמי קרן ויקימדיה |
|---|
| חשבון אינפיניטסימלי | |
|---|---|
| מושגי יסוד: |
חשבון אינפיניטסימלי | סדרה | גבול | סדרת קושי | טור | אינפיניטסימל | שדה המספרים הממשיים | ערך מוחלט | אי-שוויון המשולש | אי-שוויון קושי-שוורץ |
| פונקציות: |
פונקציה | גרף פונקציה | פונקציה לינארית | פונקציה מונוטונית | נקודת קיצון | פונקציה קעורה | פונקציה קמורה | פונקציה רציפה | רציפות במידה שווה | נקודת אי רציפות | נגזרת | טור טיילור | סדרת פונקציות | התכנסות במידה שווה |
| משפטים: |
משפט בולצאנו-ויירשטראס | משפטי ויירשטראס | משפט קנטור | משפט ערך הביניים |משפט פרמה | משפט רול | משפט הערך הממוצע של לגראנז' | משפט הערך הממוצע של קושי | משפט דארבו | כלל השרשרת | כלל הסנדוויץ' | כלל לופיטל | משפט שטולץ | אריתמטיקה של גבולות |
| האינטגרל: |
אינטגרל | אינטגרל לא אמיתי | אינטגרל כפול | המשפט היסודי של החשבון הדיפרנציאלי והאינטגרלי | אינטגרציה בחלקים | שיטות אינטגרציה |
| אנליזה מתקדמת: |
פונקציה מרוכבת | אנליזה וקטורית | שיטת ניוטון-רפסון | משוואה דיפרנציאלית | טופולוגיה | תורת המידה |
| אנליזה מתמטית - אנליזה וקטורית - טופולוגיה - אנליזה מרוכבת - אנליזה פונקציונלית - תורת המידה | |
![\ \forall x \in [a,b] : \ \ \ F(x) = \int_{a}^{x}{f(t)\,dt}](http://upload.wikimedia.org/math/8/d/c/8dc191777ae959ce8dab528f2521f9ca.png)


