אינטגרל הנסטוק

מתוך ויקיפדיה, האנציקלופדיה החופשית
קפיצה אל: ניווט, חיפוש

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

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

ההגדרה של אינטגרל הנסטוק כמעט זהה לזו של אינטגרל רימן (ולכן פשוטה בהרבה מזו של אינטגרל לבג), ונקבעת כך:

תהי פונקציה ממשית f: [a,b] \to \mathbb{R} ותהי P חלוקה מסומנת של הקטע [a,b], נניח:

a = u_0 < u_1 < \cdots < u_n = b, \ \ t_i \in [u_{i-1}, u_i]

נגדיר את סכום רימן של החלוקה להיות: 
\sum_P f = \sum_{i = 1}^n (u_i - u_{i-1}) f(t_i)

I הוא ערך האינטגרל של f בקטע, אם ורק אם לכל \, \varepsilon \in \mathbb{R}^+\ קיימת פונקציה \delta : \mathbb{R} \rightarrow \mathbb{R}^+ כך שלכל חלוקה מסומנת P המקיימת

\forall i : \ \ u_i - u_{i-1} < \delta (t_i),

מתקיים:

 {\Big \vert} \sum_P f - I {\Big \vert} < \varepsilon.

ואז נגיד גם ש-f אינטגרבילית בקטע לפי הנסטוק.

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

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

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

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

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

תהי פונקציה f גזירה בכל מקום ב[a,b] אז מתקיים

f(x) - f(a) = \int_a^x f'(t) \,dt.