האינטגרל הלא מסוים
פונקציה קדומה
הגדרה:
דוגמאות:
- למשל,
היא פונקצייה קדומה של ב- כי לכל :
פונקצייה קדומה לא בהכרח יחידה
משפט:
תהי
פונקצייה קדומה של בקטע . תהי פונקצייה גזירה ב- . פונקצייה קדומה של ב- אמ”ם קיים קבוע כך שלכל :
הוכחה:
- כיוון ראשון:
(כי ).
לכן לפי הגדרה, פונקציה קדומה של ב- . - כיוון שני:
הפונקצייה פונקצייה קדומה של ב- ולכן לכל .
נסתכל על .
הפונקצייה גזירה ב- כהפרש של גזירות, ו- לכל . לפי מסקנות לגראנז’, קיים כך שלכל מתקיים , שנותן כי:
אינטגרל לא מסוים
הגדרה:
תהי
פונקצייה המוגדרת בקטע . האינטגרל הלא מסוים, מסומן ע”י , הוא אוסף כל הפונקציות הקדומות של (ב- ). אם פונקצייה קדומה של (ב- ) אז רושמים: מינוח: ב-
, נקרא האינטגרנד.
הערות:
- לא לכל פונקצייה יש פונקצייה קדומה. למשל:
- האינטגרל
קיים (כלומר יש פונקצייה קדומה ל- ) אבל זה לא פונקצייה אלמנטרית. - עבור:
אינטגרלים מידיים
תרגיל:
- חשבו את האינטגרל:
כיוון ש: , ואכן המונה הוא נגזרת של המכנה.
אלגוריתם: השלמה לנגזרת
כאשר נרצה להשלים לביטוי שאנו יודעים את נגזרתו, נקרא לפעולה זאת השלמה לנגזרת:
(את האינטגרל של הביטוי השני נלמד בהמשך כיצד לפתור אותו).
תכונות האינטגרל הלא מסוים
פעולת האינטגרל היא לינארית
משפט:
תכונה כללית של האינטגרל הלא מסויים היא לינאריות (למעשה, אינטגרל הוא טרנספורמציה לינארית).
אםפונקציות קדומות של בהתאמה, אז . פונקצייה קדומה של , כי:
תרגילים:
- חשבו את האינטגרל הבא:
אינטגרל של פונקציה בהרכבה על פונקציה לינארית
משפט:
אם
פונקצייה קדומה של ו- , אז לפי כלל השרשרת:
תרגילים:
- חשבו את האינטגרל הבא:
אינטגרל של שבר בו המונה הוא נגזרת של המכנה
משפט:
האינטגרל מהצורה הבאה:
הוכחה:
דוגמאות:
- עבור:
- עבור:
- עבור:
שיטות שונות לפתרון אינטגרלים
אלגוריתם: אינטגרציה בחלקים
ניזכר בנגזרת מכפלה:
עבור אינטגרלים:
לפי לינאריות האינטגרל:
ולכן אם ל-
דוגמאות:
- האינטגרל:
נבחר:
נקבל:
לא תורם. אז ננסה:
ואכן:
- חשב את האינטגרל:
נסמן:
ואז:
אלגוריתם: אינטגרצייה של פונקציה רציונלית
תזכורת: פונקציה רציונלית היא מנה של פולינומים:
כאשר
כיצד נבצע אינטגרל של פולינום כזה?
- אם מעלת
גדולה או שווה למעלת אז מבצעים חלוקת פולינומים ומקבלים: ונקבל .
לבסוף: בהמשך נניח כי . - כל פולינום ממעלה לפחות
אפשר לרשום כמכפלה של פולינומים לינאריים (כלומר מהצורה , ) ופולינומים ריבועיים ללא שורשים ממשיים (כלומר כאשר ).
כיצד? בעזרת פירוק לשברים חלקיים. נקבל ביטוי מהצורה הבאה: עבור המחובר הראשון - הוא אינטגרל מיידי.
עבור המחובר השני - נראה רק עבור מקרים בהם (ממעלה ).
תרגיל:
- חשבו את האינטגרל:
כיצד מצאנו את מכנה זה? ביצענו השלמה לריבוע.
מתקיים (לקוח מ-אינטגרליים מידיים): נחזור ל-(1): - חשבו את האינטגרל הבא:
כאשר ב-(1) ביצענו אינטגרל של שבר בו המונה הוא נגזרת של המכנה ו-השלמה לנגזרת. - חשבו את האינטגרל הבא:
נחשב: לסיכום: - עבור:
כאשר ב-(1) ביצענו אינטגרל של פונקציה לינארית.
אלגוריתם: שיטת ההצבה
ניזכר כלל השרשרת. אנו רוצים לחשב את
נניח שמצאנו
הפונקציות
אם
דוגמאות:
- עבור:
נסמן:
נציב:
תרגילים:
- עבור:
נסמן: נציב: - חשב את האינטגרל:
נסמן: ואז:
אלגוריתם: אינטגרל התלוי ב- ו-
עבור:
כאשר לפחות מ-
נסמן:
ואז:
ומפה כבר ניתן להשתמש באלגורתמים אחרים.
דוגמאות:
תרגילים:
- עבור:
נסמן: אזי:
אלגוריתם: אינטגרל של פולינום ריבועי מתחת לשורש
מה עושים כאשר באינטגרל מופיעים ביטויים מהצורה:
- עבור
:
נסמן: ולכן: - עבור
:
נסמן: נשים לב כי תחום ההגדרה של מוגבל: . אבל זה תקין כיוון שגם תחום ההגדרה של הוא .
אז: עבור אז ואז ונקבל כי: עבור אז ואז ונקבל כי: - עבור
:
נסמן: נשים לב כי התחום הגדרה הוא ולכן גם .
אזי:
דוגמאות:
- עבור:
נסמן:
נציב: