הצגת המקור של הדף "הלמה היסודית של חשבון וריאציות"

{{סימון מתמטי}}
ב[[חשבון וריאציות]], '''הלמה היסודית של חשבון וריאציות''' היא למה העוסקת בהתאפסות פונקציה עקב התאפסות אינטגרל עם פונקציה נוספת עליה. מספר גרסאות של הלמה נמצאות בשימוש, וחלקן מפורטות בהמשך הערך.

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

== הגרסה הבסיסית ==
אם [[פונקציה רציפה]] מעל [[קטע פתוח]] מקיימת את השוויון
:: <math> \int_a^b f(x)h(x)\,\operatorname{d}x = 0 </math>
עבור כל פונקציה חלקה  <math>h</math> בעלת תומך קומפקטי מהקטע <math>(a,b)</math> אז <math>f</math> היא פונקציית האפס.{{הערה|שם=J1|{{Harvnb|Jost|Li-Jost|1998|loc=Lemma 1.1.1 on p.6}}}}{{הערה|שם=GF1|{{Harvnb|Gelfand|Fomin|1963|loc=Lemma 1 on p.9 (and Remark)}}}}
כאן "חלקה" עשוי להתפרש כ"גזירה [[אינסוף]] פעמים", אך לעיתים קרובות מתפרש כ"גזירה פעמיים ברציפות" או "גזירה ברציפות" או אפילו רק "רציפה", שכן הדרישות החלשות יותר הללו עשויות להיות חזקות מספיק (כתלות במה שידוע על הפונקציה h). "בעלת תומך קומפקטי" פירושו "מתאפסת מחוץ לקטע <math>(c,d)</math> עבור c,d כך ש- <math>a<c<d<b</math>"; אך לעיתים קרובות מספיקה הדרישה החלשה יותר לפיה h, או h וחלק מנגזרותיה, מתאפסות בקצוות הקטע a,b. במקרה זה עוסקים בקטע הסגור <math>{\displaystyle [a,b]} </math>.

== גרסה עבור שתי פונקציות ==
אם זוג רציפה של פונקציות ''f'', ''g'' על קטע (''a'',''b'') מקיימות את השוויון
:: <math> \int_a^b ( f(x) \, h(x) + g(x) \, h'(x) ) \, \mathrm{d}x = 0 </math>
עבור כל [[פונקציה חלקה]] בעלת תומך קומפקטי h מהקטע (a,b) אז ''g'' היא גזירה, ומתקיים  g' = f &#x20;בכל מקום.{{הערה|שם=GF4|{{Harvnb|Gelfand|Fomin|1963|loc=Lemma 4 on p.11}}}}{{הערה|שם=H1|{{Harvnb|Hestenes|1966|loc=Lemma 15.1 on p.50}}}}
עבור g=0 מתקבלת הגרסה הבסיסית.

ישנו עוד מקרה מיוחד, עבור ''f'' = 0:
אם פונקציה רציפה ''g'' מעל הקטע (''a'',''b'') מקיימת את השוויון
:: <math> \int_a^b g(x) \, h'(x) \, \mathrm{d}x = 0 </math>
עבור כל פונקציה חלקה בעלת תומך קומפקטי h על (a,b), אז ''g'' היא [[פונקציה קבועה]].{{הערה|שם=GF2|{{Harvnb|Gelfand|Fomin|1963|loc=Lemma 2 on p.10}}}}

== נגזרות מסדרים גבוהים יותר ==
אם אוסף של פונקציות רציפות <math>f_0,f_1,\dots,f_n</math> על קטע (''a'',''b'') מקיים את השוויון
:: <math> \int_a^b ( f_0(x) \, h(x) + f_1(x) \, h'(x) + \dots + f_n(x) \, h^{(n)}(x) ) \, \mathrm{d}x = 0 </math>
עבור כל פונקציה חלקה בעלת תומך קומפקטי h מהקטע (a,b), אז קיים אוסף של פונקציות גזירות ברציפות <math> u_0,u_1,\dots,u_{n-1} </math> מעל (''a'',''b'') כך ש
:: <math> f_0 = u'_0, \; f_1 = u_0+u'_1, \; \dots, \; f_{n-1}=u_{n-2}+u'_{n-1}, \; f_n = u_{n-1} </math>
בכל מקום.{{הערה|שם=H2|{{Harvnb|Hestenes|1966|loc=Lemma 13.1 on p.105}}}}
התנאי ההכרחי הוא גם מספיק, שכן האינטגרנד הופך מקבל את הצורה <math>{\displaystyle (u_{0}h)'+(u_{1}h')'+\dots +(u_{n-1}h^{(n-1)})'} </math>.

המקרה ''n'' = 1 הוא פשוט הגרסה עבור שתי פונקציות, ואז <math> f=f_0=u'_0 </math> ו <math> f_1=u_0, </math> לפיכך, <math>{\displaystyle f_{0}-f'_{1}=0} </math>.

לעומת זאת, המקרה ''n''=2 לא מוביל לקשר<math> f_0 - f'_1 + f''_2 = 0, </math> שכן הפונקציה <math> f_2 = u_1 </math> לא צריכה להיות גזירה פעמיים. התנאי המספיק <math> f_0 - f'_1 + f''_2 = 0 </math> הוא לא הכרחי. במקום זאת, [[אם ורק אם|תנאי הכרחי ומספיק]] יכול להיות כפי שנכתב <math> f_0 - (f_1 - f'_2)' = 0 </math> עבור ''n''=2, <math> f_0 - (f_1 - (f_2-f'_3)')' = 0 </math> עבור ''n''=3, וכן הלאה; באופן כללי, אי אפשר לפתוח את הסוגריים כי לא מובטחת הגזירות של כל איבר בנפרד.

== פונקציות רבות משתנים ==
אם f היא פונקציה רציפה המקבלת כמה משתנים, מהקבוצה הפתוחה <math>\Omega\subset\mathbb{R}^d</math>
:: <math> \int_\Omega f(x) \, h(x) \, \mathrm{d}x = 0 </math>
לכל פונקציה חלקה בעלת תומך קומפקטי מתוך Ω, אז f היא זהותית אפס.
בדומה לגרסה הפשוטה, אפשר לדרוש f רציפה על הסגור של Ω, ולדרוש ש-h מתאפסת בקצוות של Ω.

הנה גרסה לפונקציות רבות משתנים שאינן בהכרח רציפות:
אם <math>\Omega\subset\mathbb{R}^d</math> [[קבוצה פתוחה]], וכן <math>f\in L^2(\Omega)</math> מקיימת את השוויון
:: <math> \int_\Omega f(x) \, h(x) \, \mathrm{d}x = 0 </math>
עבור כל פונקציה חלקה h בעלת תומך קומפקטי מתוך Ω, אז ''f''=0 (הכוונה לשוויון ב- ''L''<sup>2</sup>, כלומר, [[כמעט כל (מתמטיקה)|כמעט בכל מקום]]).{{הערה|{{Harvnb|Jost|Li-Jost|1998|loc=Lemma 3.2.3 on p.170}}}}

== שימושים ==
הלמה משמשת למציאת נקודות [[אקסטרמום]] ל[[פונקציונל]]ים מהצורה
:: <math> J[y] = \int_{x_0}^{x_1} L(t,y(t),\dot y(t)) \, \mathrm{d}t </math>
במקרה הזה, הפתרונות <math>y:[x_0,x_1]\to V</math> (עבור [[מרחב וקטורי]] מתאים V) פרט לתנאי השפה ניתנים על ידי [[משוואת אוילר לגראנז']]:
:: <math> {\partial L(t,y(t),\dot y(t)) \over \partial y} = {\mathrm{d} \over \mathrm{d}t} {\partial L(t,y(t),\dot y(t)) \over \partial \dot y}</math>
פיתוח המשוואה כולל שימוש בלמה.
המשוואה משחקת תפקיד מרכזי במכניקה קלאסית וכן ב[[גאומטריה דיפרנציאלית]].

== הערות שוליים ==
{{הערות שוליים|יישור=שמאל}}



[[קטגוריה:אנליזה מתמטית]]