אינטגרציה בחלקים

באנליזה מתמטית, אינטגרציה בחלקים היא שיטת אינטגרציה שמתבססת על שימוש בכלל המכפלה עבור נגזרות. בשיטת האינטגרציה בחלקים ניתן להפוך את הבעיה של אינטגרל של מכפלה של שתי פונקציות לבעיה של מציאת אינטגרל של מכפלת שתי פונקציות אחרות, נגזרת הראשונה והפונקציה הקדומה של השנייה. באמצעות המשפט היסודי של החשבון הדיפרנציאלי והאינטגרלי, ניתן להשתמש גם בשיטה זו כדי לחשב במדויק אינטגרלים מסוימים.

ניסוח פורמלי

בהינתן שתי פונקציות גזירות ובעלות נגזרות רציפות $f,g$ , מתקיים עבור אינטגרל שאינו מסוים:

$\ \int f(x)g'(x)\,\mathrm {d} x=f(x)g(x)-\int f'(x)g(x)\,\mathrm {d} x$

כדי להראות את נכונות הטענה די לבצע אינטגרציה על שני האגפים של כלל המכפלה האומר כי $\left(f(x)g(x)\right)'=f'(x)g(x)+f(x)g'(x)$ .

חישוב אינטגרציה בחלקים עבור אינטגרל מסוים

מכלל לייבניץ לנגזרת מכפלה:

(u\cdot v)'=u'\cdot v+u\cdot v'

נבצע אינטגרציה על המשוואה:

\int (u\cdot v)'=\int (u'\cdot v+u\cdot v')

נשתמש בליניאריות האינטגרל:

\int (u\cdot v)'=\int (u'\cdot v)+\int (u\cdot v')

נשתמש בנוסחת ניוטון-לייבניץ:

\int _{a}^{b}(u\cdot v)'=(u\cdot v)\mid _{a}^{b}

לפיכך:

\int _{a}^{b}(u\cdot v)'=\int _{a}^{b}u'\cdot v+\int _{a}^{b}u\cdot v'=u\cdot v\mid _{a}^{b}

נבצע העברת אגפים ונקבל את הנוסחה:

\int _{a}^{b}(u\cdot v')=(u\cdot v)\mid _{a}^{b}-\int _{a}^{b}(u'\cdot v)

בחירת הפונקציה הקדומה והנגזרת

אף על פי שהכלל תקף תמיד, הוא לא בהכרח מפשט את האינטגרל שאותו אנו רוצים למצוא, ולכן יעיל לשימוש רק במקרים מסוימים. מכיוון שלרוב, ישנן מספר דרכים לפרק כל פונקציה למכפלה של שתי פונקציות, בחירה חכמה של פונקציות יכולה להיות הכרחית להצלחת השיטה.

ככלל אצבע לא מחייב, כדאי לבחור את הפונקציה $g(x)$ על פי הרשימה הבאה, בסדר יורד:

פונקציות מעריכיות כדוגמת $e^{x}\!$ , $13^{x}\!$
פונקציות טריגונומטריות כדוגמת $\sin x,\cos x$
פונקציות פולינומיות כדוגמת $x^{2}\!$ , $3x^{50}\!$
פונקציות טריגונומטריות הפוכות כדוגמת $\arctan x,\operatorname {arcsec} x$
פונקציות לוגריתמיות כדוגמת $\log x$ (שלעיתים מסומנת כ- $\ln x$ )

נשים לב שככל שהפונקציות נמצאות במעלה הרשימה, יותר קל לגלות עבורן את הפונקציה הקדומה שלהן, צעד אשר הכרחי במהלך ביצוע האינטגרציה בחלקים.

עם זאת, לא קיים אלגוריתם לביצוע אינטגרציה בחלקים וקיימים מקרים בהם עדיף לא לעקוב אחרי הסדר ברשימה. לכן יש להתייחס לרשימה זאת אך ורק בגדר כלל אצבע.

דוגמאות לשימושים

דוגמה:

אנו רוצים לחשב את האינטגרל $\int x\cos(nx)\,\mathrm {d} x$ ולכן בהתאם לנוסחה ובהמשך ל"כלל האצבע" נבחר את המשתנים שלנו כך:

המשתנים מהפונקציה המקורית יוגדרו:

$f(x)=x$ , $g'(x)=\cos(nx)$

ולכן נגדיר בהתאם:

$f'(x)=1$ , $g(x)={\frac {\sin(nx)}{n}}$

ומכאן נקבל:

$x{\frac {\sin(nx)}{n}}-\int {\frac {\sin(nx)}{n}}\,\mathrm {d} x=x{\frac {\sin(nx)}{n}}+{\frac {\cos(nx)}{n^{2}}}$ = $\int x\cos(nx)\,\mathrm {d} x$

דוגמה נוספת:

אנו רוצים לחשב את האינטגרל $\int \arctan(x)\,\mathrm {d} x$ . כאן נדמה כי הפונקציה שאנו מוצאים לה אינטגרל היא יחידה ואין כאן מכפלה של פונקציות, ולכן אין דרך להשתמש בשיטת האינטגרציה בחלקים, אולם ניתן להסתכל על אינטגרל זה כעל האינטגרל $\int 1\cdot \arctan(x)\,\mathrm {d} x$ .

כעת, נבחר את הפונקציות של המכפלה כך: $\ g'(x)=1,f(x)=\arctan(x)$ . פונקציה קדומה של $\ 1$ קל לחשב: למשל $\ x$ . גם הנגזרת של $\arctan(x)$ ידועה: ${\frac {1}{1+x^{2}}}$ . לכן נקבל:

$\ \int 1\cdot \arctan(x)\,\mathrm {d} x=x\cdot \arctan(x)-\int {\frac {x}{1+x^{2}}}\,\mathrm {d} x=x\arctan(x)-{\frac {1}{2}}\ln \left(1+x^{2}\right)+C$

ממדים גבוהים

ניתן להרחיב את הנוסחה של אינטגרציה בחלקים עבור משתנים מרובים. במקום לבצע אינטגרל על אינטרוול, יש לבצע אינטגרציה על קבוצה $n$ -ממדית. כמו כן, יש להחליף את הנגזרת בנגזרת חלקית.

באופן מדויק יותר, נניח כי $\Omega$ היא תת-קבוצה פתוחה וחסומה של $\mathbb {R} ^{n}$ עם שפה חלקה $\Gamma$ . אם $u$ ו- $v$ הן דיפרנציאביליות ברציפות בסגור של $\Omega$ אז הנוסחה של אינטגרציה החלקים ניתנת ע"י:

\int _{\Omega }{\frac {\partial u}{\partial x_{i}}}v\,\mathrm {d} \Omega =\int _{\Gamma }uv\,\nu _{i}\,\mathrm {d} \Gamma -\int _{\Omega }u{\frac {\partial v}{\partial x_{i}}}\,\mathrm {d} \Omega ,

כאשר ${\hat {\mathbf {\nu } }}$ הוא הנורמל היוצא כלפי חוץ ל $\Gamma$ ו- $\mathbf {\nu } _{i}$ הוא הרכיב ה- $i$ -י של $\nu$ כאשר $i$ נע בין $1$ ל- $n$ .

ראו גם

קישורים חיצוניים

אינטגרציה בחלקים, באתר MathWorld (באנגלית)

חשבון אינפיניטסימלי
מושגי יסוד	חשבון אינפיניטסימלי • סדרה • סדרה מתכנסת • גבול • סדרת קושי • טור • אינפיניטסימל • שדה המספרים הממשיים • ערך מוחלט • אי-שוויון המשולש • אי-שוויון קושי-שוורץ
פונקציות	פונקציה • גרף פונקציה • פונקציה ליניארית • פונקציה מונוטונית • נקודת קיצון •נקודת פיתול •נקודת אוכף • פונקציה קעורה • פונקציה קמורה • פונקציה רציפה • פונקציה רציפה במידה שווה • נקודת אי רציפות • נגזרת • טור טיילור • סדרת פונקציות • התכנסות נקודתית • התכנסות במידה שווה
משפטים	משפט בולצאנו-ויירשטראס • משפטי ויירשטראס • משפט קנטור • משפט ערך הביניים • משפט פרמה • משפט רול • משפט הערך הממוצע של לגראנז' • משפט הערך הממוצע של קושי • משפט דארבו • כלל השרשרת • כלל הסנדוויץ' • כלל לופיטל • משפט שטולץ • אריתמטיקה של גבולות
האינטגרל	אינטגרל • אינטגרל לא אמיתי • אינטגרל רב-ממדי • המשפט היסודי של החשבון הדיפרנציאלי והאינטגרלי • אינטגרציה בחלקים • שיטות אינטגרציה
אנליזה מתקדמת	פונקציה מרוכבת • אנליזה וקטורית • שיטת ניוטון-רפסון • משוואה דיפרנציאלית • טופולוגיה • תורת המידה
אנליזה מתמטית • אנליזה וקטורית • טופולוגיה • אנליזה מרוכבת • אנליזה פונקציונלית • תורת המידה