נוסחת האינטגרל החוזר של קושי

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

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

הנוסחה קובעת כי:^[1]

\int \limits _{a}^{x}\int \limits _{a}^{\sigma _{1}}\int \limits _{a}^{\sigma _{2}}\cdots \int \limits _{a}^{\sigma _{n-1}}f(\sigma _{n})d\sigma _{n}d\sigma _{n-1}\ldots d\sigma _{1}={\frac {1}{(n-1)!}}\int \limits _{a}^{x}(x-t)^{n-1}f(t)dt

נוסחה זו היא הבסיס להגדרת אינטגרל רימן-ליוביל.^[2]

הנוסחה נוסחה לראשונה על-ידי אוגוסטן לואי קושי בשנת 1823.

רקע ומוטיבציה[עריכת קוד מקור | עריכה]

בהינתן שני מספרים ממשיים $c<d\in \mathbb {R}$ מסמנים ב- $L^{1}([c,d])$ את מרחב הפונקציות הממשיות האינטגרביליות לפי לבג על הקטע $[c,d]$ .

עבור מספר ממשי $a\in [c,d]$ , מגדירים אופרטור $J:L^{1}([c,d])\to L^{1}([c,d])$ כך שלכל $f\in L^{1}([c,d])$ ולכל $x\in [c,d]$ :

Jf(x):=\int \limits _{a}^{x}f(t)dt

עבור כל בחירה של הגבול התחתון של האינטגרל $a$ , אם $f$ רציפה אז גם $J(f)$ רציפה.

עבור מספר טבעי $n$ מסמנים:

J^{n}f:=\underbrace {J(\ldots J(J} _{n{\text{ times}}}f)\ldots )

כלומר $J^{n}$ מסמן את הפעלת אופרטור האינטגרציה $n$ פעמים. נוסחת האינטגרל החוזר של קושי קובעת כי:

J^{n}f(x)={\frac {1}{(n-1)!}}\int \limits _{a}^{x}{(x-t)^{n-1}f(t)dt}

בכך היא מאפשרת חישוב ישיר של הפונקציה $J^{n}f$ כאינטגרל יחיד.

הוכחה[עריכת קוד מקור | עריכה]

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

עבור המקרה $n=1$ נכונות הנוסחה טריוויאלית:

Jf(x)=\int \limits _{a}^{x}{f(t)dt}={\frac {1}{0!}}\int \limits _{a}^{x}(x-t)^{0}f(t)dt

נניח את נכונות הנוסחה עבור $n=k$ ונוכיח עבור $n=k+1$ . באמצעות כלל לייבניץ לגזירה תחת סימן האינטגרל ניתן להראות כי:

{\begin{aligned}{\frac {d}{dx}}\left[{\frac {1}{n!}}\int \limits _{a}^{x}(x-t)^{n}f(t)dt\right]&=(x-x)^{n}f(x)\cdot 1+{\frac {1}{n!}}\int \limits _{a}^{x}{\frac {d}{dx}}\left[(x-t)^{n}f(t)\right]dt\\&={\frac {1}{n!}}\int \limits _{a}^{x}n(x-t)^{n-1}f(t)dt\\&={\frac {1}{(n-1)!}}\int \limits _{a}^{x}(x-t)^{n-1}f(t)dt\end{aligned}}

לכן

{\begin{aligned}J^{k+1}f(x)=J(J^{k}f)(x)&=\int \limits _{a}^{x}{\frac {1}{(k-1)!}}\int \limits _{a}^{\sigma _{1}}(\sigma _{1}-t)^{k-1}f(t)dt\,d\sigma _{1}\\&=\int \limits _{a}^{x}{\frac {d}{d\sigma _{1}}}\left[{\frac {1}{k!}}\int \limits _{a}^{\sigma _{1}}(\sigma _{1}-t)^{k}f(t)dt\right]d\sigma _{1}\\&={\frac {1}{k!}}\int \limits _{a}^{x}(x-t)^{k}f(t)dt\end{aligned}}

ובכך השלמנו את צעד האינדוקציה.

מגבלות והרחבה[עריכת קוד מקור | עריכה]

עבור האופרטור $J$ שהוגדר לעיל נהוג להגדיר כי $J^{0}:=I$ כאשר $I$ הוא אופרטור הזהות ולכל $n\in \mathbb {N}$ להגדיר $J^{-n}=D^{n}$ כאשר $D$ הוא אופרטור הגזירה. בכך ניתן להרחיב את הגדרת $J^{n}$ לכל מספר שלם $n\in \mathbb {Z}$ . אף על פי כן, נוסחת האינטגרל של קושי איננה נכונה עבור $n$ שלילי או 0.

עם זאת, ישנה דרך להרחיב את נוסחת האינטגרל החוזר עבור חזקות מרוכבות עם חלק ממשי חיובי. כלומר, עבור $\alpha \in \mathbb {C}$ כאשר ${\text{Re}}(\alpha )>0$ ניתן להגדיר:

J^{\alpha }f(x):={\frac {1}{\Gamma (\alpha )}}\int \limits _{a}^{x}(x-t)^{\alpha -1}f(t)dt

כאשר $\Gamma$ היא פונקציית גמא. הגדרה זו מתלכדת עם נוסחת האינטגרל החוזר עבור ערכי $\alpha$ שהם מספרים טבעיים. אינטגרל מסוג זה נקרא אינטגרל רימן-ליוביל.