שיטות אנליטיות לחישוב אינטגרלים מסוימים

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

להלן רשימה חלקית של שיטות לביצוע תהליך האינטגרציה כזה:

זוגיות ואי-זוגיות

כאשר יש פונקציות שהיא אי-זוגית ביחס לנקודה $a$, כלומר מתקיים $f(a+x)=-f(a-x)$ והאינטגרל סימטרי סביב הנקודה $a$, כלומר הגבולות הם מהצורה $(a-b,a+b)$ אזי האינטגרל הוא אפס; למשל $\underset{\pi }{\overset{3\pi }{\int }}\sin (x)dx=0$.

פונקציה זוגית סביב הנקודה $a$ ניתנת לחישוב רק בחצי מהתחום (מעל או מתחת לנקודה $a$) תוך הכפלה בשניים. למשל:

$\underset{-8}{\overset{8}{\int }}|x|dx=2\underset{0}{\overset{8}{\int }}xdx=2{\left[\frac{x^2}{2}\right]}_0^8=[x^2{]}_0^8=64-0=64$

חישוב במסלול סגור במישור המרוכב

כאשר מבצעים המשכה אנליטית של פונקציה ממשית למישור המרוכב, ניתן להשלים את מסלול האינטגרציה במישור המרוכב כך שייווצר מסלול סגור שניתן לחשב אותו באמצעות משפטים המתאימים לאינטגרל קווי במישור המרוכב כמו משפט האינטגרל של קושי, נוסחת האינטגרל של קושי, ובעיקר משפט השאריות. השיטה מתבססת על יצירת מסלול סגור $C$ המכיל את הקטע $(a,b)$ המופיע באינטגרל המקורי (אותו נסמן ב-$I$), וחישוב האינטגרל במסלול $C$ (אותו נסמן ב-I_C) ובקטעים האחרים המופיעים במסלול. כך מגיעים למשוואה מהצורה: $f(I)=I_C$ כאשר $f$ היא פונקציה הפיכה בתחום המתאים ל-$I$ (בפרט אינטגרל של פונקציה ממשית הוא תמיד ממשי).

דוגמה

$\begin{array}{rl}\underset{0}{\overset{2\pi }{\int }}\frac{1}{1+\sin (x)}dx& =\left[\begin{array}{c}\sin (x)=\frac{z-z^{-1}}{2}\\ dx=\frac{dz}{iz}\end{array}\right]\\ & =\underset{|z|=1}{\oint }\frac{\frac{dz}{iz}}{1+\frac{z-z^{-1}}{2}}=-\frac{i}{2}\underset{|z|=1}{\oint }\frac{dz}{2z+z^2-1}\\ & =-\frac{i}{2}\underset{|z|=1}{\oint }\frac{\frac{dz}{z+1+\sqrt{2}}}{z+1-\sqrt{2}}=-\frac{i}{2}\cdot 2\pi i{\left[\frac{1}{z+1+\sqrt{2}}\right]}_{z=-1+\sqrt{2}}\\ & =\frac{\pi }{-1+\sqrt{2}+1+\sqrt{2}}=\frac{\pi }{2\sqrt{2}}\end{array}$

את האינטגרל $\underset{-\mathrm{\infty }}{\overset{\mathrm{\infty }}{\int }}\frac{\exp \left(\frac{p}{\hslash }xi\right)}{x^2+a^2}dx$ כאשר $\hslash >0,p,a$, ניתן לחשב על ידי סגירת המסלול הסגור המצויר בצד שמאל והשאפת $R$ לאינסוף. תחילה נפתח אותו לצורה נוחה יותר:

$\underset{-\mathrm{\infty }}{\overset{\mathrm{\infty }}{\int }}\frac{\exp \left(\frac{px}{\hslash }i\right)}{x^2+a^2}dx=\underset{-R}{\overset{R}{\int }}\frac{\exp \left(\frac{pz}{\hslash }i\right)}{(z+|a|i)(z-|a|i)}dz$

על פי נוסחת אינטגרל קושי על המסלול הסגור מקבלים כי:

$\begin{array}{rl}\underset{-R}{\overset{R}{\int }}\frac{\exp \left(\frac{p}{\hslash }zi\right)}{(z+|a|i)(z-|a|i)}dz+\underset{C_R}{\int }\frac{\exp \left(\frac{p}{\hslash }zi\right)}{(z+|a|i)(z-|a|i)}dz& =\underset{C}{\oint }\frac{\exp \left(\frac{p}{\hslash }zi\right)}{(z+|a|i)(z-|a|i)}dz\\ & =2\pi i\frac{\exp \left(\frac{p}{\hslash }zi\right)}{z+|a|i}{|}_{z=|a|i}\\ & =2\pi i\frac{\exp (\frac{p}{\hslash }|a|i^2)}{|a|i+|a|i}=\frac{\pi }{|a|}\exp (-\frac{p}{\hslash }|a|)\end{array}$

על פי הלמה של ז'ורדן מקבלים כי: $\underset{R\to 0}{\lim }\underset{C_R}{\int }\frac{\exp \left(\frac{p}{\hslash }zi\right)}{(z+|a|i)(z-|a|i)}dz=0$

ועל ידי הצבה מקבלים:

$\begin{array}{rl}\underset{-\mathrm{\infty }}{\overset{\mathrm{\infty }}{\int }}\frac{\exp \left(\frac{p}{\hslash }zi\right)}{(z+|a|i)(z-|a|i)}dz& =\underset{-\mathrm{\infty }}{\overset{\mathrm{\infty }}{\int }}\frac{\exp \left(\frac{p}{\hslash }zi\right)}{(z+|a|i)(z-|a|i)}dz+0\\ & =\underset{R\to \mathrm{\infty }}{\lim }\underset{-R}{\overset{R}{\int }}\frac{\exp \left(\frac{p}{\hslash }zi\right)}{(z+|a|i)(z-|a|i)}dz+\underset{R\to \mathrm{\infty }}{\lim }\underset{C_R}{\int }\frac{\exp \left(\frac{p}{\hslash }zi\right)}{(z+|a|i)(z-|a|i)}dz\\ & =\underset{R\to \mathrm{\infty }}{\lim }(\underset{-R}{\overset{R}{\int }}\frac{\exp \left(\frac{p}{\hslash }zi\right)}{(z+|a|i)(z-|a|i)}dz+\underset{C_R}{\int }\frac{\exp \left(\frac{p}{\hslash }zi\right)}{(z+|a|i)(z-|a|i)}dz)\\ & =\underset{R\to \mathrm{\infty }}{\lim }\underset{C}{\oint }\frac{\exp \left(\frac{p}{\hslash }zi\right)}{(z+|a|i)(z-|a|i)}dz=\underset{R\to \mathrm{\infty }}{\lim }\frac{\pi }{|a|}\exp (-\frac{p}{\hslash }|a|)\\ & =\frac{\pi }{|a|}\exp (-\frac{p}{\hslash }|a|)\end{array}$

ובס"ה מתקיים:

$$\underset{-\mathrm{\infty }}{\overset{\mathrm{\infty }}{\int }}\frac{\exp \left(\frac{p}{\hslash }xi\right)}{x^2+a^2}=\frac{\pi }{|a|}\exp (-\frac{p}{\hslash }|a|)$$

דוגמה נוספת

נחשב את האינטגרל $\underset{0}{\overset{\mathrm{\infty }}{\int }}\frac{dx}{1+x^n}$ עבור $n\ge 2$, בעזרת בניית קונטור מתאים במישור המרוכב. נשים לב כי נקודות סינגולריות מתקבלות כאשר $x^n=-1$ או $x=\exp \left(\frac{2k-1}{n}\pi i\right)$, כאשר $k$ מספר טבעי. על מנת ליישם את משפט השאריות, נבנה קונטור בצורת גזרת מעגל המתאימה לזווית מרכזית $2\pi /n$, אשר רדיוס אחד שלה הוא כל הישר הממשי והרדיוס השני שלה הוא הישר (האינסופי) העובר דרך ראשית הצירים ושורש היחידה ב-$\exp \left(\frac{2\pi }{n}i\right)$. הקונטור מכיל בתוכו נקודת סינגולריות אחת בלבד $z_0=\exp \left(\frac{\pi }{n}i\right)$, ועל פי חישוב שאריות נקבל שהשארית של $\frac{1}{1+x^n}$ ב-$z_0$ היא $\frac{1}{n{z}_0^{n-1}}=-\frac{z_0}{n}$. לפיכך תוצאת האינטגרל הקווי לאורך הקונטור כולו היא $2\pi i(-\frac{1}{n}\exp \left(\frac{2\pi }{n}i\right))$.

כעת נשים לב לעובדות הבאות:

• האינטגרל המסילתי מורכב משלושה מרכיבים: מרכיב הישר הממשי, שהוא למעשה האינטגרל אותו אנו רוצים לחשב, מרכיב של קשת מעגלית "באינסוף", ומרכיב ישר לאורך הקרן הנכנסת המקבילה ל-$\exp \left(\frac{2\pi }{n}i\right)$.
• האינטגרנד מתנהג באינסוף כמו $\frac{1}{|z{|}^n}=\frac{1}{R^n}$ כאשר $R$ הוא רדיוס הגזרה (שאותו משאיפים לאינסוף), ולפיכך, עבור $n\ge 2$ המרכיב הקשתי של האינטגרל המסילתי מתנהג כמו $\underset{R\to \mathrm{\infty }}{\lim }\frac{1}{R^{n-1}}=0$, כלומר המרכיב הקשתי מתאפס.
• עבור הקרן הנכנסת, ערך הפונקציה הוא $f(z)=\frac{1}{1+{(|z|\exp \left(\frac{2\pi }{n}i\right))}^n}=\frac{1}{1+|z{|}^n}$, כלומר הוא זהה לזה של הישר הממשי. ההבדל היחידי בין הקרן הנכנסת לקרן היוצאת הוא בכך שהדיפרנציאל של המשתנה המרוכב $z$ מוכפל ב-$-\exp \left(\frac{2\pi }{n}i\right)$, ולפיכך ערך האינטגרל המסילתי על הקרן הנכנסת הוא:

$-\exp \left(\frac{2\pi }{n}i\right)\underset{0}{\overset{\mathrm{\infty }}{\int }}\frac{dx}{1+x^n}$

כלומר קיבלנו לבסוף את הקשר:

$2\pi i(-\frac{1}{n}\exp \left(\frac{2\pi }{n}i\right))=(1-\exp \left(\frac{2\pi }{n}i\right))\underset{0}{\overset{\mathrm{\infty }}{\int }}\frac{dx}{1+x^n}$

ממנו ניתן לחלץ את $\underset{0}{\overset{\mathrm{\infty }}{\int }}\frac{dx}{1+x^n}$. על ידי חילוק של מספרים מרוכבים ומעט טריגונומטריה, נקבל לבסוף:

$\underset{0}{\overset{\mathrm{\infty }}{\int }}\frac{dx}{1+x^n}=\frac{\pi }{n\sin \left(\frac{\pi }{n}\right)}$

מעבר למערכת קואורדינטות אחרת

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

דוגמה – חישוב שטח עיגול (בעל רדיוס R):
עוברים ממערכת קואורדינטות קרטזיות למערכת קואורדינטות קוטביות ומקבלים אינטגרל פשוט הרבה יותר:

$$S(R)=\underset{0}{\overset{R}{\int }}dy\underset{0}{\overset{\sqrt{R^2-y^2}}{\int }}dx=\underset{0}{\overset{R}{\int }}rdr\underset{0}{\overset{2\pi }{\int }}d\varphi =\pi R^2$$

דוגמה נוספת:

חישוב האינטגרל $I=\underset{-\mathrm{\infty }}{\overset{\mathrm{\infty }}{\int }}{e}^{-x^2}dx$.

$$\begin{array}{rl}{I}^2=\underset{-\mathrm{\infty }}{\overset{\mathrm{\infty }}{\int }}{e}^{-x^2}dx\underset{-\mathrm{\infty }}{\overset{\mathrm{\infty }}{\int }}{e}^{-y^2}dy& =\underset{-\mathrm{\infty }}{\overset{\mathrm{\infty }}{\int }}\underset{-\mathrm{\infty }}{\overset{\mathrm{\infty }}{\int }}{e}^{-(x^2+y^2)}dxdy=\underset{0}{\overset{2\pi }{\int }}\underset{0}{\overset{\mathrm{\infty }}{\int }}r{e}^{-r^2}drd\varphi =\pi \\ \\ I& =\sqrt{\pi }\end{array}$$

שימוש בהתמרות

יש מקרים בהם ניתן להציג את האינטגרל המסוים בעזרת התמרה מסוימת (למשל התמרת פורייה) ולהשתמש בתכונות שלה.

לדוגמה, נחשב את $\underset{0}{\overset{\mathrm{\infty }}{\int }}\frac{\sin (x)}{x}dx$.

נגדיר פונקציה $f(t)=\frac{1}{\sin (t)}-\frac{1}{t}$. קל לבדוק כי $f$ בעלת נקודת אי-רציפות סליקה בנקודה 0, ולכן נוכל להתייחס אל $f$ כאל פונקציה הרציפה בקטע $[-\frac{\pi }{2},\frac{\pi }{2}]$.

לכן $g=f\left(\frac{t}{2}\right)$ רציפה בקטע $[-\pi ,\pi ]$.

מהלמה של רימן-לבג אפשר לראות שמתקיים:

$$\underset{n\to \pm \mathrm{\infty }}{\lim }\hat{g}(n)=\frac{1}{2\pi }\underset{n\to \pm \mathrm{\infty }}{\lim }\underset{-\pi }{\overset{\pi }{\int }}g(t)e^{-nti}dt=0$$

כאשר $\hat{g}(n)=\frac{1}{2\pi }\underset{-\pi }{\overset{\pi }{\int }}g(t)e^{-nti}dt$ מקדמי הפורייה של $g$.

לכן

$$\frac{1}{2\pi }\underset{n\to \pm \mathrm{\infty }}{\lim }\underset{-\pi }{\overset{\pi }{\int }}f\left(\frac{t}{2}\right)e^{-nti}dt=\frac{1}{2\pi }\underset{n\to \pm \mathrm{\infty }}{\lim }\underset{-\pi }{\overset{\pi }{\int }}(\frac{1}{\sin \left(\frac{t}{2}\right)}-\frac{1}{\frac{t}{2}})e^{-nti}dt=0$$

בפרט גם

$$\frac{1}{2\pi }\underset{n\to \pm \mathrm{\infty }}{\lim }\underset{-\pi }{\overset{\pi }{\int }}(\frac{1}{\sin \left(\frac{t}{2}\right)}-\frac{1}{\frac{t}{2}})e^{nti}dt=0$$

ולכן

$$\frac{1}{2\pi }\underset{n\to \mathrm{\infty }}{\lim }\underset{-\pi }{\overset{\pi }{\int }}(\frac{1}{\sin \left(\frac{t}{2}\right)}-\frac{1}{\frac{t}{2}})\sin ((n+0.5)t)dt=0$$

כי מנוסחת אוילר $\sin (t)=\frac{e^{ti}-e^{-ti}}{2i}$. כלומר

$$\frac{1}{2\pi }\underset{n\to \mathrm{\infty }}{\lim }\underset{-\pi }{\overset{\pi }{\int }}(\frac{\sin ((n+0.5)t)}{\sin \left(\frac{t}{2}\right)}-\frac{\sin ((n+0.5)t)}{\frac{t}{2}})dt=0$$

נחלק לשני אינטגרלים ונקבל:

$$\underset{n\to \mathrm{\infty }}{\lim }(\underset{-\pi }{\overset{\pi }{\int }}\frac{1}{2\pi }\cdot \frac{\sin ((n+0.5)t)}{\sin \left(\frac{t}{2}\right)}dt-\underset{-\pi }{\overset{\pi }{\int }}\frac{1}{2\pi }\cdot \frac{\sin ((n+0.5)t)}{\frac{t}{2}}dt)=0$$

האינטגרל השמאלי הוא אינטגרל של גרעין דיריכלה, ולכן שווה 1 לכל $n$ טבעי.

$$\underset{n\to \mathrm{\infty }}{\lim }(1-\underset{-\pi }{\overset{\pi }{\int }}\frac{1}{2\pi }\cdot \frac{\sin ((n+0.5)t)}{\frac{t}{2}}dt)=0$$

האינטגרל שנותר הוא של פונקציה זוגית, ולכן ניתן להחליף את התחום ב-$[0,\pi ]$ ולהכפיל ב-2:

$$\underset{n\to \mathrm{\infty }}{\lim }(1-\underset{0}{\overset{\pi }{\int }}\frac{1}{\pi }\cdot \frac{\sin ((n+0.5)t)}{\frac{t}{2}}dt)=0$$

כלומר

$$\underset{n\to \mathrm{\infty }}{\lim }\underset{0}{\overset{\pi }{\int }}\frac{\sin ((n+0.5)t)}{t}dt=\frac{\pi }{2}$$

על ידי הצבה $s=(n+0.5)t$ נקבל:

$$\underset{n\to \mathrm{\infty }}{\lim }\underset{0}{\overset{(n+0.5)\pi }{\int }}\frac{\sin (s)}{s}ds=\frac{\pi }{2}$$

ומכיוון שהאינטגרל מתכנס (ממבחן דיריכלה), מתקיים:

$$\underset{0}{\overset{\mathrm{\infty }}{\int }}\frac{\sin (s)}{s}ds=\frac{\pi }{2}$$

ראו גם

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

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

• The Wolfram Integrator – חישוב אינטגרלים לא מסוימים

הערך באדיבות ויקיפדיה העברית, קרדיט,
רשימת התורמים
רישיון cc-by-sa 3.0

שיטות אנליטיות לחישוב אינטגרלים מסוימים38520812Q12411625