הצגת המקור של הדף "נגזרת חלשה"

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

==הגדרה==
תהא <math>u</math> פונקציה בתת-מרחב <math>L^1([a,b])</math> אנו אומרים ש-<math>v</math> ב<math>L^1([a,b])</math> היא נגזרת חלשה של <math>u</math> אם,
:<math>\int_a^b u(t)\varphi'(t)dt=-\int_a^b v(t)\varphi(t)dt</math>
לכל הפונקציות [[פונקציה דיפרנציאבילית|הדיפרנציאביליות]] בתחום בלתי מוגבל <math> \varphi </math> אם <math>\varphi(a)=\varphi(b)=0</math> . הגדרה זו נובעת משילוב של [[אינטגרציה בחלקים|טכניקת האינטגרציה בחלקים]].

הכללה ל-<math>n</math> ממדים: אם <math>u</math> ו - <math>v</math> הן במרחב <math>L_{loc}^1(U)</math> של פונקציות אינטגרביליות באופן מקומי עבור חלק מהקבוצה הפתוחה <math>U \subset \mathbb{R}^n</math>, ואם <math>\alpha</math> הוא רב מדד (מולטי אינדקס {{אנ|Multi-index notation}}), אנו אומרים כי <math>v</math> היא <math>\alpha^{th}</math>- נגזרת חלשה של <math>u</math> אם,
:<math>\int_U u D^{\alpha} \varphi=(-1)^{|\alpha|} \int_U v\varphi</math>
לכל <math>\varphi \in C^{\infty}_c (U)</math>, כלומר, לכל הפונקציות הדיפרנציאביליות בכל התחום והנתמכות קומפקטית ב-<math>U</math>. אם ל-<math>u</math> יש נגזרת חלשה, נגזרת זו לעיתים קרובות נכתבת כך: <math>D^{\alpha}u</math>, מכיוון שנגזרות חלשות הם ייחודיות (לפחות, עד ל[[קבוצה ממידה אפס]], ראה להלן).

==דוגמאות==

לפונקציית [[ערך מוחלט|הערך המוחלט]] |''u'' : [&minus;1, 1] → [0, 1], ''u''(''t'') = |''t''|, שאינה דיפרנציאבילית ב-''t'' = 0, יש נגזרת חלשה-''v'' שידועה כפונקציית הסימן שניתנת על ידי:
:<math>v \colon [-1,1]\to [-1,1] \colon t \mapsto v(t) = \begin{cases} 1, & \mbox{if } t > 0; \\ 0, & \mbox{if } t = 0; \\ -1, & \mbox{if } t < 0. \end{cases} </math>
זו אינה נגזרת חלשה רק עבור U: כל w שהוא שווה לV כמעט בכל מקום הוא גם נגזרת חלשה עבור u. בדרך כלל, זו אינה בעיה, מאחר שבתאוריה של '''במרחבי L<sup>''p''</sup>''' וחללי Sobolev, שניהם ממלאים תפקידים דומים כמעט בכל מקום מזוהה.
[[פונקציה אופיינית (הסתברות)|הפונקציה האופיינית]] של המספרים רציונליים בשום מקום אינה גזירה אך יש נגזרת חלשה. מאז המידה לבג של המספרים רציונליים היא אפס, כך היא נגזרת חלשה. שים לב שזה אינו מסכים עם האינטואיציה שלנו שכן, כאשר נחשבו כחבר '''במרחב L<sup>''p''</sup>''', מזוהה עם הפונקציה אפס.
אם שתי פונקציות הם נגזרות חלשות של אותו התפקיד, הם שוות אלא על קבוצה עם [[מידת לבג]] אפס, כלומר, הם שוות כמעט בכל מקום. אם ניקח בחשבון כיתות שקילות של פונקציות, שבו שתי פונקציות הן שווה ערך אם הם שוות כמעט בכל מקום, ולאחר מכן את הנגזרת החלשה היא ייחודית.
כמו כן, אם U הוא גזירה במובן המקובל אז הנגזרת החלשה שלה זהה (במובן שניתן לעיל) לנגזרת (חזקה) הקונבנציונלית שלה. לכן הנגזרת החלשה היא הכללה של אחת החזקה. יתר על כן, הכללים הקלסיים לנגזרות של סכומים ומכפלות של פונקציות תקפים גם לנגזרת החלשה.

מושג זה מעורר את ההגדרה של פתרונות חלשים במרחבי Sobolev, אשר מועילים לבעיות של משוואות דיפרנציאליות ובאנליזה פונקציונלית.

[[קטגוריה:חשבון אינפיניטסימלי]]