|  |
| --- |
| 
בערך זהנעשה שימושבסימנים מוסכמיםמתחום המתמטיקה.להבהרת הסימניםראו סימון מתמטי. |

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

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

בהמשך ערך זה נסמן ב-{\displaystyle (X,|\cdot |\_{X})}, {\displaystyle (Y,|\cdot |\_{Y})} ו-{\displaystyle (Z,|\cdot |\_{Z})} מרחבי בנך כלשהם מעל שדה הממשיים או שדה המרוכבים, ו-{\displaystyle U\subseteq X,W\subseteq Y} קבוצות פתוחות. כמו כן נסמן ב-{\displaystyle B(X,Y)} את מרחב כל האופרטורים הליניארים החסומים מ-{\displaystyle X} ל-{\displaystyle Y}.

הגדרה פורמלית
-------------

פונקציה {\displaystyle f:U\to Y} תקרא **גזירה לפי פרשה בנקודה {\displaystyle x\in U}** אם ורק אם קיים אופרטור ליניארי חסום {\displaystyle A:X\to Y} כך שמתקיים:

{\displaystyle \lim \_{h\to 0}{\frac {|f(x+h)-f(x)-A(h)|\_{Y}}{|h|\_{X}}}=0}

ניתן להוכיח כי אם {\displaystyle A} כזו קיימת, היא בהכרח יחידה, לכן ניתן להגדיר {\displaystyle Df(x):=A}. {\displaystyle Df(x)} נקראת **נגזרת פרשה בנקודה** {\displaystyle x}.

תכונות
------

### ליניאריות

בהינתן שתי פונקציות {\displaystyle f,g:U\to Y} גזירות לפי פרשה בנקודה {\displaystyle x\in U} וזוג סקלארים {\displaystyle \alpha ,\beta } (ממשים או מרוכבים), ניתן להראות כי הפונקציה {\displaystyle \alpha f+\beta g} אף היא גזירה לפי פרשה בנקודה {\displaystyle x} ומתקבל:

{\displaystyle D(\alpha f+\beta g)=\alpha Df+\beta Dg}

### כלל השרשרת

נגזרת פרשה מקיימת גרסה שקולה לכלל השרשרת: עבור {\displaystyle f:U\to W} גזירה לפי פרשה ב-{\displaystyle x\in U} ו-{\displaystyle g:W\to Z} גזירה לפי פרשה ב-{\displaystyle f(x)}, ניתן להראות כי {\displaystyle g\circ f} גזירה לפי פרשה בנקודה {\displaystyle x} ומתקיים:

{\displaystyle D(g\circ f)(x)=Dg(f(x))\circ Df(x)}

### אי תלות בבחירת הנורמה

בהניתן נורמות {\displaystyle |\cdot |\_{X}',|\cdot |\_{Y}'} השקולות לנורמות {\displaystyle |\cdot |\_{X},|\cdot |\_{Y}} בהתאמה, ניתן להחליף את הנורמה בהגדרת נגזרת פרשה מבלי לשנות את תוצאת הנגזרת. על כן, במקרה שבו {\displaystyle X} ו-{\displaystyle Y} שניהם מממד סופי, הגדרת נגזרת פרשה *אינה תלויה בבחירת הנורמה*, זאת מכיוון שכל הנורמות שקולות עבור מרחב מממד סופי.

הרחבת מונח הדיפרנציאל
---------------------

### דפרנציאל ממשי או מרוכב

במקרה שבו {\displaystyle f:\mathbb {K} \to \mathbb {K} } כאשר {\displaystyle \mathbb {K} =\mathbb {R} } או {\displaystyle \mathbb {K} =\mathbb {C} }, ניתן להראות כי {\displaystyle f} גזירה לפי פרשה אם ורק אם היא גזירה לפי הנגזרת הסטנדרטית. במקרה זה:

{\displaystyle Df(x)(h)=f'(x)h}

כלומר, נגזרת פרשה תהיה פונקציית הכפלה בסקלר {\displaystyle f'(x)}, כאשר {\displaystyle f'(x)} היא הנגזרת הסטנדרטית של {\displaystyle f} בנקודה {\displaystyle x}.

### קשר עם נגזרת כיוונית וחלקית

 ערך מורחב – **נגזרת כיוונית**  

במקרה שבו {\displaystyle f:\mathbb {R} ^{n}\to \mathbb {R} ^{m}} ({\displaystyle n,m} מספרים טבעיים שונים מ-0), ניתן להוכיח כי נגזרת פרשה קיימת בנקודה {\displaystyle x\in \mathbb {R} ^{n}} אם ורק אם הפונקציה {\displaystyle f} דיפרנציאבילית בנקודה זו. במקרה זה, ניתן להגדיר את מטריצת היעקוביאן:

{\displaystyle J\_{x}(x)={\begin{pmatrix}{\frac {\partial f\_{1}}{\partial x\_{1}}}(x)&{\frac {\partial f\_{1}}{\partial x\_{2}}}(x)&\cdots &{\frac {\partial f\_{1}}{\partial x\_{n}}}(x)\\{\frac {\partial f\_{2}}{\partial x\_{1}}}(x)&{\frac {\partial f\_{2}}{\partial x\_{2}}}(x)&\cdots &{\frac {\partial f\_{2}}{\partial x\_{n}}}(x)\\\vdots &\vdots &\ddots &\vdots \\{\frac {\partial f\_{m}}{\partial x\_{1}}}(x)&{\frac {\partial f\_{m}}{\partial x\_{2}}}(x)&\cdots &{\frac {\partial f\_{m}}{\partial x\_{n}}}(x)\\\end{pmatrix}}}

ולבטא באמצעותה את נגזרת פרשה של {\displaystyle f} בנקודה {\displaystyle x}. לכל {\displaystyle h\in \mathbb {R} ^{n}} מתקבל:

{\displaystyle Df(x)(h)=J(x)h}

כאשר הביטוי מימין מייצג כפל מטריצה בוקטור עמודה. למעשה הביטוי {\displaystyle Df(x)(h)} זהה לנגזרת הכיוונית של {\displaystyle f} בנקודה {\displaystyle x} ובכיוון {\displaystyle h}.

קשר לנגזרת גאטו
---------------

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

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

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

נגזרת ממעלה גבוהה
-----------------

בהינתן פונקציה {\displaystyle f:U\to Y} אשר גזירה לפי פרשה בכל {\displaystyle U}, מתקבלת פונקציה חדשה {\displaystyle Df:U\to B(X,Y)}. מאחר שכל האיברים ב-{\displaystyle B(X,Y)} הם אופרטורים חסומים, ניתן להגדיר עליהם את הנורמה האופרטורית ובכך להפוך את {\displaystyle B(X,Y)} למרחב בנך. כלומר, {\displaystyle Df} היא פונקציה בין שני מרחבי בנך, ועל כן ניתן להגדיר עליה נגזרת פרשה. בהינתן ש-{\displaystyle Df} גזירה לפי פרשה ב-{\displaystyle x\in U} מתקבל כי:

{\displaystyle D(Df)(x)\in B(X,B(X,Y))}

ניתן להגדיר באופן שקול פונקציה ביליניארית {\displaystyle D^{2}f(x):X\times X\to Y} כך ש:

{\displaystyle D^{2}f(x)(h\_{1},h\_{2})=D(Df)(x)(h\_{1})(h\_{2})}

פונקציה זו היא **הנגזרת השנייה לפי פרשה בנקודה** {\displaystyle x}. ניתן בצורה דומה להגדיר את נגזרת פרשה עבור מעלות גבוהות יותר.

דוגמאות
-------

### אופרטור ליניארי

בהינתן אופרטור ליניארי חסום {\displaystyle L:X\to Y} ניתן להראות כי הוא גזיר לפי פרשה בכל נקודה ושנגזרת זו שווה לעצמו. כלומר, לכל {\displaystyle x\in X}:

{\displaystyle DL(x)=L}

קל להראות זאת מכיוון ש:



lim

h
→
0



|

L
(
x
+
h
)
−
L
x
−
L
h

|

Y


|

h

|

X


=

lim

h
→
0



|

L
x
+
L
h
−
L
x
−
L
h

|

Y


|

h

|

X


=

lim

h
→
0



|

0

|

Y


|

h

|

X


=
0



{\displaystyle {\begin{aligned}\lim \_{h\to 0}{\frac {|L(x+h)-Lx-Lh|\_{Y}}{|h|\_{X}}}=\lim \_{h\to 0}{\frac {|Lx+Lh-Lx-Lh|\_{Y}}{|h|\_{X}}}=\lim \_{h\to 0}{\frac {|0|\_{Y}}{|h|\_{X}}}=0\end{aligned}}}

{\displaystyle {\begin{aligned}\lim _{h\to 0}{\frac {|L(x+h)-Lx-Lh|_{Y}}{|h|_{X}}}=\lim _{h\to 0}{\frac {|Lx+Lh-Lx-Lh|_{Y}}{|h|_{X}}}=\lim _{h\to 0}{\frac {|0|_{Y}}{|h|_{X}}}=0\end{aligned}}}
### פונקציה מטריציונית

נגדיר פונקציה {\displaystyle f:\mathbb {R} ^{n\times n}\to \mathbb {R} ^{n\times n}} כאשר {\displaystyle \mathbb {R} ^{n\times n}} הוא מרחב המטריצות הריבועיות מממד {\displaystyle n} כך שלכל {\displaystyle E\in \mathbb {R} ^{n\times n}}:

{\displaystyle f(E)=E^{2}}

ניתן להראות כי {\displaystyle f} גזירה לפי פרשה בכל מקום וכי לכל {\displaystyle E,F\in \mathbb {R} ^{n\times n}}:

{\displaystyle Df(E)(F)=EF+FE}

הליניאריות של {\displaystyle Df(E)} נובעת מתכונות כפל מטריצות. כמו כן פונקציה זו חסומה מכיוון שהמרחב {\displaystyle \mathbb {R} ^{n\times n}} הוא מממד סופי.

על-מנת להוכיח כי אכן פונקציה זו היא נגזרת פרשה של {\displaystyle f} בנקודה {\displaystyle E} מגדירים {\displaystyle A:\mathbb {R} ^{n\times n}\to \mathbb {R} ^{n\times n}} כך ש-{\displaystyle A(F)=EF+FE} לכל {\displaystyle F\in \mathbb {R} ^{n\times n}}. כמו כן, מאחר שכל הנורמות על {\displaystyle \mathbb {R} ^{n\times n}} שקולות ניתן לבחור נורמה תת-כפלית עבורה {\displaystyle |F^{2}|\leq |F|^{2}} לכל {\displaystyle F\in \mathbb {R} ^{n\times n}}. כעת:




0
≤

lim

F
→
0



|

f
(
E
+
F
)
−
f
(
E
)
−
A
(
F
)

|

|

F

|



=

lim

F
→
0



|

(
E
+
F

)

2

−

E

2

−
E
F
−
F
E

|

|

F

|



=

lim

F
→
0



|

E

2

+
E
F
+
F
E
+

F

2

−

E

2

−
E
F
−
F
E

|

|

F

|



=

lim

F
→
0



|

F

2

|

|

F

|

≤

lim

F
→
0



|

F

|

2


|

F

|

=

lim

F
→
0

|

F

|

=
0



{\displaystyle {\begin{aligned}0\leq \lim \_{F\to 0}{\frac {|f(E+F)-f(E)-A(F)|}{|F|}}\\=\lim \_{F\to 0}{\frac {|(E+F)^{2}-E^{2}-EF-FE|}{|F|}}\\=\lim \_{F\to 0}{\frac {|E^{2}+EF+FE+F^{2}-E^{2}-EF-FE|}{|F|}}\\=\lim \_{F\to 0}{\frac {|F^{2}|}{|F|}}\leq \lim \_{F\to 0}{\frac {|F|^{2}}{|F|}}=\lim \_{F\to 0}{|F|}=0\end{aligned}}}

{\displaystyle {\begin{aligned}0\leq \lim _{F\to 0}{\frac {|f(E+F)-f(E)-A(F)|}{|F|}}\\=\lim _{F\to 0}{\frac {|(E+F)^{2}-E^{2}-EF-FE|}{|F|}}\\=\lim _{F\to 0}{\frac {|E^{2}+EF+FE+F^{2}-E^{2}-EF-FE|}{|F|}}\\=\lim _{F\to 0}{\frac {|F^{2}|}{|F|}}\leq \lim _{F\to 0}{\frac {|F|^{2}}{|F|}}=\lim _{F\to 0}{|F|}=0\end{aligned}}}
מכל זה מתקבל כי {\displaystyle \lim \_{F\to 0}{\frac {|f(E+F)-f(E)-A(F)|}{|F|}}=0} ולכן {\displaystyle A} היא נגזרת פרשה בנקודה {\displaystyle E}.

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

* נגזרת פרשה, באתר MathWorld (באנגלית)

הערות שוליים
------------

1. ↑  G.K. Ananthasuresh, First Variation of a Functional, Indian Institute of Science, ‏2017-02-02 (באנגלית)
2. ↑  Dr. Lennard Bakker, The General Fr´echet Derivative, Brigham Young University, ‏2020-01-06 (באנגלית)
3. ↑  Eric W. Weisstein, Fréchet Derivative, mathworld.wolfram.com (באנגלית)
4. ↑  Dr. Lennard Bakker, Taylor’s Theorem, Brigham Young University, ‏2020-01-16 (באנגלית)
5. ↑  Nick Higham, What Is a Fréchet Derivative?, Nick Higham, ‏2020-06-23 (באנגלית)

| חשבון אינפיניטסימלי |
| --- |
| מושגי יסוד | חשבון אינפיניטסימלי • סדרה • סדרה מתכנסת • גבול • סדרת קושי • טור • אינפיניטסימל • שדה המספרים הממשיים • ערך מוחלט • אי-שוויון המשולש • אי-שוויון קושי-שוורץ |
| פונקציות | פונקציה • גרף פונקציה • פונקציה ליניארית • פונקציה מונוטונית • נקודת קיצון •נקודת פיתול •נקודת אוכף • פונקציה קעורה • פונקציה קמורה • פונקציה רציפה • פונקציה רציפה במידה שווה • נקודת אי רציפות • נגזרת • טור טיילור • סדרת פונקציות • התכנסות נקודתית • התכנסות במידה שווה |
| משפטים | משפט בולצאנו-ויירשטראס • משפטי ויירשטראס • משפט קנטור • משפט ערך הביניים • משפט פרמה • משפט רול • משפט הערך הממוצע של לגראנז' • משפט הערך הממוצע של קושי • משפט דארבו • כלל השרשרת • כלל הסנדוויץ' • כלל לופיטל • משפט שטולץ • אריתמטיקה של גבולות |
| האינטגרל | אינטגרל • אינטגרל לא אמיתי • אינטגרל רב-ממדי • המשפט היסודי של החשבון הדיפרנציאלי והאינטגרלי • אינטגרציה בחלקים • שיטות אינטגרציה |
| אנליזה מתקדמת | פונקציה מרוכבת • אנליזה וקטורית • שיטת ניוטון-רפסון • משוואה דיפרנציאלית • טופולוגיה • תורת המידה |
| אנליזה מתמטית • אנליזה וקטורית • טופולוגיה • אנליזה מרוכבת • אנליזה פונקציונלית • תורת המידה |