הצגת המקור של הדף "פונקציה קמורה"

[[קובץ:Convex.png|שמאל|ממוזער|דוגמה לפונקציה קמורה]]
ב[[מתמטיקה]], [[פונקציה ממשית]] היא '''פונקציה קמורה''' ב[[קטע]] מסוים, אם לכל שתי נקודות על [[גרף פונקציה|גרף הפונקציה]] (שערך ה-<math>\,x</math> שלהן נמצא בקטע), הקו המחבר ביניהן נמצא מעל לגרף הפונקציה (או עליו). הפונקציה נקראת קמורה כי היא תוחמת מלמטה [[קבוצה קמורה]].

לפונקציות קמורות יש חשיבות רבה ב[[אנליזה פונקציונלית]], בעיקר במספר אי-שוויונות יסודיים בתחום זה כמו [[אי-שוויון ינסן]].

יש להבחין בין פונקציה קמורה ל[[פונקציה קעורה]]. במערכת החינוך התיכוני בישראל נקראת הפונקציה  גם "פונקציה קעורה כלפי מעלה".

== הגדרה מתמטית ==
בהינתן קטע ממשי <math>I\subseteq \mathbb{R}</math> ופונקציה <math>f:I\to\mathbb{R}</math>, הפונקציה <math>f</math> תקרא '''פונקציה''' '''קמורה''' [[אם ורק אם]] לכל <math>\!\, x,y\in I</math>  ולכל <math>\!\, 0 \leq \lambda \leq 1</math> מתקיים אי השוויון:

<math>\ f(\lambda x + (1-\lambda)y)\le \lambda f(x)+(1-\lambda)f(y)</math>.

באופן שקול, ניתן לנסח את תכונה זו כך שלכל <math>\ x<u<y</math> בקטע, מתקיים:

<math>(y-x)f(u)\leq (y-u)f(x)+(u-x)f(y)</math>

== תכונות ==
אם <math>\ f</math> פונקציה קמורה המוגדרת בקטע <math>\ I</math> אזי לכל <math>\,x_1,x_2\ldots,x_n</math> בקטע <math>\ I</math> ולכל <math>\,n</math> סקלרים <math>\ \lambda_1,\lambda_2,\ldots,\lambda_n</math> המקיימים <math>\sum_{k=1}^n\lambda_k=1</math> מתקיים:

<math>f\left(\sum_{k=1}^n\lambda_k x_k\right) \le \sum_{k=1}^n\lambda_k f(x_k) </math>

ניתן להוכיח זאת באינדוקציה על <math>n</math>.

לאי-שוויון זה קיימת גרסה רציפה והיא [[אי-שוויון ינסן]]:

אם <math>\ f</math>פונקציה קמורה המוגדרת בקטע <math>\ I</math> ו-<math>\ g:[0,1]\to\mathbb{R}</math> פונקציה [[אינטגרל|אינטגרבילית]] אזי:

<math>f\left(\int_0^1{g(x)dx}\right)\le \int_0^1{f(g(x))dx}</math>

== קמירות במובן החלש ובמובן החזק ==

פונקציה המקיימת את התנאי <math>\lambda f(x)+(1-\lambda)f(y)\ge f(\lambda x + (1-\lambda)y)</math> שתואר להלן, לכל <math>\ x,y</math> בקטע ולכל <math>\ 0\leq \lambda \leq 1</math>, היא '''קמורה במובן החלש'''. פונקציה '''קמורה במובן החזק''' היא כזו שמקיימת את התנאי החזק יותר, <math>\ \lambda f(x)+(1-\lambda)f(y) > f(\lambda x + (1-\lambda)y)</math> לכל <math>\ x\neq y</math> בקטע ולכל <math>\ 0<\lambda<1</math>. בדרך כלל אין מבחינים בין שתי הגרסאות, וקוראים "קמורה" גם לפונקציה קמורה במובן החלש.

לדוגמה, [[פונקציה ליניארית]] היא קמורה במובן החלש, וגם [[פונקציה קעורה|קעורה]] במובן החלש; רק פונקציה ליניארית יכולה להיות קמורה וקעורה בעת ובעונה אחת (ואף זאת, במובן החלש בלבד). הוספה של פונקציה ליניארית לפונקציה <math>\,f</math> אינה משנה את הקמירות של <math>\,f</math>.

== קמירות בקטע וקמירות מקומית ==

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

'''משפט''': אם הפונקציה <math>\,f</math> קמורה בקטעים '''פתוחים''' <math>\ I</math> ו- <math>\ J</math> שאינם [[קבוצות זרות|זרים]], אז היא קמורה גם ב[[איחוד (תורת הקבוצות)|איחוד]] שלהם <math>\ I\cup J</math>.

'''הוכחה''': נתונות הנקודות <math>\ x<y\in I\cup J</math>. צריך להוכיח שהקו המחבר את <math>\ (x,f(x))</math> ל- <math>\ (y,f(y))</math> נמצא מעל לגרף הפונקציה. אם שתי הנקודות <math>\ x,y</math> שייכות לאותו קטע I או J, התוצאה נובעת מן ההנחה על קמירות בכל קטע בנפרד. אחרת, נבחר נקודה כלשהי <math>\ z\in I\cap J</math>. אם הנקודה <math>\ (z,f(z))</math> נמצאת מעל לקו, אפשר לבחור נקודות סמוכות מימין ומשמאל ל- <math>\ z</math> שנמצאות בחיתוך <math>\ I\cap J</math>, ולהגיע לסתירה. לכן הנקודה <math>\ (z,f(z))</math> מתחת לקו, ובעזרתה אפשר להוכיח שכל נקודות הגרף נמצאות מתחת לקו.

'''מסקנה''': אם <math>\ f</math> קמורה מקומית בכל נקודה בקטע סגור או פתוח <math>\,I</math>, אז היא קמורה בכל הקטע.

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

'''הוכחת המסקנה''': ראשית נניח שהקטע סגור. אפשר לכסות אותו בקטעים פתוחים שהפונקציה קמורה בכל אחד מהם, ומכיוון שקטע סגור הוא [[קומפקטיות|קומפקטי]], לכיסוי זה קיים תת-כיסוי סופי. כעת אפשר לסיים באינדוקציה לפי המשפט הקודם. אם הקטע פתוח, אז לכל שתי נקודות <math>\ x,y</math> בו קיים קטע סגור המוכל ב- <math>\,I</math>, ועליו חלה ההוכחה של המקרה הסגור.

== הקשר בין קמירות ורציפות ==
* פונקציה ממשית הקמורה בקטע <math>\,I</math> רציפה בכל נקודה בפנים <math>\,I</math>. '''הוכחה'''. תהיינה x<y<z נקודות השייכות לקטע. נסמן ב-A,B,C את הנקודות המתאימות להן על גרף הפונקציה. אז הגרף בקטע [x,z] כלוא בין הישרים AB ו-BC; מכאן שהפונקציה רציפה ב-y. 
* אם [[סדרת פונקציות]] ממשיות וקמורות מתכנסת [[התכנסות נקודתית|נקודתית]] לפונקציה <math>\,f</math>, אזי גם <math>\,f</math> פונקציה קמורה בקטע (ובפרט רציפה בפנים הקטע).
* פונקציה ממשית היא קמורה אם ורק אם היא רציפה וה[[אפיגרף (מתמטיקה)|אפיגרף]] שלה היא [[קבוצה קמורה]].

== הקשר בין קמירות ונגזרת ראשונה ==
* נניח ש-<math>\,f</math> קמורה (אפילו במובן החלש) בקטע <math>\,I</math>.
** בכל נקודה בפנים של <math>\,I</math> יש ל-<math>\,f</math> נגזרת מימין ונגזרת משמאל;
** הנגזרות מימין ומשמאל מקיימות <math>\,f'_-(a)\leq f'_+(a)</math> (הנגזרת קיימת בנקודה אם הנגזרות האלה שוות);
** לכל a<b בקטע מתקיים <math>\,f'_+(a)\leq f'_-(b)</math>;
** בפרט, הנגזרת מימין והנגזרת משמאל הן פונקציות עולות. 
** מכאן נובע שהפונקציה גזירה בקטע, פרט ל[[קבוצה ממידה אפס]]; ושהנגזרת רציפה פרט לקבוצה ממידה אפס. 
* אם <math>\,f</math> גזירה בקטע פתוח, אזי <math>\,f</math> קמורה בו '''אם ורק אם''' הנגזרת <math>\,f'</math> היא [[פונקציה עולה]].
* אם <math>\ f</math> גזירה בסביבת הנקודה <math>\ x_0</math>, אז <math>\ f</math> קמורה ממש בסביבת <math>\ x_0</math> אם ורק אם <math>\ f(x) > f(x_0) + f'(x_0)(x-x_0)</math> לכל <math>\ x</math> בסביבה. ובהתאמה אם  <math>\ f</math> [[פונקציה דיפרנציאבילית|דיפרנציאבילית]] בסביבת הנקודה <math>\ x_0</math>, אז <math>\ f</math> קמורה ממש בסביבת <math>\ x_0</math> אם ורק אם  <math>\ f(x) > f(x_0) + \langle \nabla f (x_0),(x-x_0) \rangle  </math> לכל <math>\ x</math> בסביבה. זהו פיתוח [[טור טיילור|טיילור]] מסדר ראשון.

== הקשר בין קמירות ונגזרת שנייה ==

הקשר בין תכונת הקמירות לנגזרת השנייה נובע מן האבחנה הבאה, שאפשר להיווכח בנכונותה על ידי הפעלה של [[כלל לופיטל]] פעמיים: אם הפונקציה <math>\,f</math> גזירה פעמיים בנקודה <math>\,x</math>, אז 
<center>
<math>\ \lim_{h \rightarrow 0}\frac{(\beta-\alpha)f(x+\gamma h)-(\gamma-\alpha)f(x+\beta h)+(\gamma-\beta)f(x+\alpha h)}{h^2} 
</math>

<math>
= \frac{(\beta-\alpha)(\gamma-\beta)(\gamma-\alpha)}{2}f''(x),
</math>
</center>
וזאת לכל <math>\ \alpha,\beta,\gamma</math> קבועים. אם <math>\ \alpha<\beta<\gamma</math>, כפי שנניח מעתה, אז המקדם באגף ימין הוא חיובי.

'''משפט''': אם <math>\,f</math> גזירה פעמיים ב-<math>\,x</math> וקמורה (במובן החלש) בסביבה של <math>\,x</math>, אז 
<math>\ f''(x)\geq0</math> (מן הקמירות נובע שהמונה באגף שמאל של הזהות הוא חיובי, ולכן הגבול אינו שלילי).

מכאן נובעת מיד

'''מסקנה''': אם <math>\,f</math> גזירה פעמיים בקטע, וקמורה שם (במובן החלש), אז <math>\ f''(x)\geq0</math> בכל הקטע.

בכיוון ההפוך:

'''משפט''': אם <math>\,f</math> גזירה פעמיים בקטע והנגזרת השנייה מקיימת <math>\ 0 \leq f''(x)</math> בכל הקטע, אז הפונקציה קמורה בקטע (במובן החלש). בנוסף לזה, אם <math>\ 0 < f''(x)</math> בכל הקטע (או אפילו: הנגזרת השנייה אי-שלילית, ומתאפסת במספר סופי של נקודות), אז הפונקציה קמורה בקטע במובן החזק.

'''הוכחה''': נסמן ב- <math>\ a<b</math> את קצות הקטע. מספיק להראות שהגרף של <math>\ f</math> נמצא מתחת לקו המחבר את הנקודות המתאימות ל- <math>\ x=a</math> ו- <math>\ x=b</math> על הגרף, משום שאז אפשר להפעיל את אותו נימוק על כל זוג נקודות בתוך הקטע. נתבונן בפונקציה <math>\ g(x)=f(x)-f(a)-\frac{f(b)-f(a)}{b-a}(x-a)</math>, שהיא קמורה באותם מקומות בהם <math>\ f</math> קמורה (משום שההפרש ביניהן הוא פונקציה ליניארית). קל לבדוק ש- <math>\ g(a)=g(b)=0</math>. [[הוכחה בדרך השלילה|נניח בשלילה]] שיש נקודה <math>\ a<z<b</math> שעבורה <math>\ g(z)\geq 0</math>; אז לפי [[משפט הערך הממוצע של לגראנז']] קיימת נקודה בקטע <math>\ (a,z)</math> שבה הנגזרת <math>\ g'</math> אי-שלילית, וקיימת נקודה בקטע <math>\ (z,b)</math> שבה הנגזרת אי-חיובית. אבל לפי הנחת המשפט, הנגזרת היא [[פונקציה עולה]] (במובן החזק). ההוכחה למקרה של אי-שוויון חלש דומה.

'''מסקנה''': אם <math>\ f''</math> רציפה בנקודה וחיובית שם, אז <math>\ f</math> קמורה בסביבה של הנקודה (במובן החזק).
'''הוכחה''': מן הרציפות נובע שהנגזרת השנייה חיובית בסביבה של <math>\ x</math>.

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

<math>\ 0 \leq f''</math> <math>\iff</math> הפונקציה קמורה במובן החלש <math>\implies</math> הפונקציה קמורה במובן החזק <math>\implies</math> <math>\ 0 < f''</math>.

== פונקציה קמורה בחצייה ==
: '''הגדרה''': פונקציה <math>\ f</math> המוגדרת בקטע <math>\ I</math> נקראת '''קמורה בחצייה''' (midconvex או Jensen-convex) אם לכל <math>\!\, x,y\in I</math> מתקיים אי השוויון <math>\ f(\frac{x+y}{2})\le \frac{1}{2} \left(f(x)+f(y)\right)</math>.
* כל פונקציה קמורה היא פונקציה קמורה בחציה.
* לא כל פונקציה קמורה בחצייה היא פונקציה קמורה. ניתן לבנות דוגמה לפונקציה קמורה בחציה שאינה קמורה באופן הבא:
::נשלים את הקבוצה <math>\,\{1\}</math> ל[[בסיס המל]] <math>\,B</math> של <math>\mathbb{R}</math> כ[[מרחב וקטורי]] מעל <math>\mathbb{Q}</math>. נגדיר פונקציה ממשית <math>\,f</math> באופן הבא: <math>\,f(x)=1</math> לכל <math>\,x\in B</math> ונרחיב באופן ליניארי על כל <math>\mathbb{R}</math>. הפונקציה שהתקבלה היא [[העתקה ליניארית]] ב-<math>\mathbb{R}</math> כ[[מרחב וקטורי]] מעל <math>\mathbb{Q}</math>, ולכן מתקיים <math>\ f(\lambda x + (1-\lambda)y) = \lambda f(x)+(1-\lambda)f(y)</math> לכל <math>\lambda\in\mathbb{Q}</math>, מכאן שהפונקציה קמורה בחציה. בנוסף, כטרנספורמציה ליניארית מתקיים <math>\,f(0)=0</math>, וכן <math>\,f(\lambda)=\lambda f(1)=\lambda</math> לכל <math>\lambda\in\mathbb{Q}</math>. אולם הפונקציה <math>\,f</math> אינה רציפה, משום שעל הרציונליים היא ליניארית, אך מקבלת את הערך 1 [[אינסוף]] פעמים. מכאן שהפונקציה אינה קמורה כי פונקציה קמורה היא בהכרח רציפה (ראו לעיל).
* פונקציה קמורה בחצייה ו[[רציפות|רציפה]] היא פונקציה קמורה. (מכאן שפונקציה המוגדרת בקטע פתוח היא קמורה [[אם ורק אם]] היא קמורה בחציה ורציפה).
* פונקציה קמורה בחצייה ו[[פונקציה חסומה|חסומה]] היא פונקציה קמורה.
שתי הטענות לעיל הן מקרים פרטיים של המשפט שהוכח באופן בלתי תלוי על ידי בלומברג ו[[ואצלב שרפינסקי]]:
* פונקציה קמורה בחצייה ו[[פונקציה מדידה|מדידה]] היא פונקציה קמורה.

== פונקציה קעורה ==
{{הפניה לערך מורחב|פונקציה קעורה}}
<math>\,f</math> היא [[פונקציה קעורה]] אם הקו המחבר כל שתי נקודות על הגרף עובר תמיד מתחת לגרף, כלומר הפונקציה הנגדית <math>\ -f</math> קמורה. מכאן שהנגזרת השנייה מאפשרת להכריע בין קמירות לקעירות: בקטעים שבהם הנגזרת השנייה חיובית הפונקציה קמורה (במובן החזק), ובקטעים שבהם היא שלילית הפונקציה קעורה. הנקודות שבהן הפונקציה עוברת מקמירות לקעירות או להפך (ולכן הנגזרת השנייה מתאפסת, אם היא מוגדרת בסביבת הנקודה) נקראות [[נקודת פיתול|נקודות פיתול]].

== פונקציה לוג-קמורה ==

פונקציה חיובית <math>\ f</math> המוגדרת בקטע <math>\ I</math> נקראת '''פונקציה לוג-קמורה''' אם <math>\ \log f</math> היא פונקציה קמורה בקטע <math>\ I</math> (<math>\ I</math> הוא קטע כלשהו, סופי או אינסופי). אם <math>\ f</math> גזירה פעמיים, תנאי זה שקול לכך ש-<math>\ f(x)f''(x)\geq f'(x)^2</math>. לדוגמה, הפונקציות <math>\ f(x)={\rm e}^{x^2}</math> ו[[פונקציית גמא]] הן לוג-קמורות.

קל לראות שפונקציה לוג-קמורה היא קמורה, אך ההפך אינו נכון. לדוגמה, הפונקציה <math>\ f(x)=x^2</math> קמורה, אבל
<math>\ \log f(x)=2\log x</math> אינה קמורה.

== הכללה למרחבים וקטוריים ==
ניתן להכליל את מונח הפונקציה הקמורה ל[[מרחב וקטורי]] כללי:

בהינתן מרחב וקטורי <math>V</math> מעל שדה ה[[מספר ממשי|ממשיים]] או ה[[מספר מרוכב|מרוכבים]], [[קבוצה קמורה]] <math>C\subseteq V</math> ופונקציה <math>\rho:C\to\mathbb{R}</math>, פונקציה <math>\rho</math> תקרא פונקציה קמורה אם ורק אם לכל <math>x,y\in C</math> ולכל <math>\!\, 0 \leq \lambda \leq 1</math>  מתקיים אי השוויון <math>\rho(\lambda x + (1-\lambda)y)\le \lambda \rho(x)+(1-\lambda)\rho(y)</math>.

במקרה שבו <math>V=\mathbb{R}</math> (מרחב המספרים הממשיים), כל קבוצה קמורה ב-<math>\mathbb{R}</math> היא בהכרח קטע, לכן הגדרה זו מכילה את ההגדרה בראשית הערך.

הגדרה זו של מושג הקמירות מאפשרת לקיים את תכונות הקמירות לפונקציות של כמה משתנים (<math>V=\mathbb{R}^n</math>), לפונקציות מרוכבות ולסוגים נוספים.

== דוגמאות ==

* כל [[פונקציה קבועה]] היא פונקציה קמורה על כל [[הישר הממשי]].
* כל [[פונקציה ליניארית]] מהצורה <math>f(x)=ax+b</math> היא פונקציה קמורה על כל הישר הממשי. הדבר נכון בפרט ל[[פונקציית הזהות]] <math>f(x)=x</math>.
* כל פונקציה מהצורה <math>f(x)=x^{2n}</math> עבור [[מספר טבעי]] כלשהו <math>n</math> היא פונקציה קמורה על כל הישר הממשי.
* כל פונקציה מהצורה <math>f(x)=x^{2n+1}</math> עבור מספר טבעי כלשהו <math>n</math> היא פונקציה קמורה על חצי הישר הממשי החיובי (ולא על כל הישר הממשי כמו <math>x^{2n}</math>).
* כל [[פונקציה תת-ליניארית]] היא פונקציה קמורה במשמעות של מרחבים וקטורים. הדבר נכון בפרט לפונקציית [[נורמה (אנליזה)|נורמה]] ונורמה-למחצה.

== ראו גם ==

* [[קבוצה קמורה]]
==קישורים חיצוניים==
{{מיזמים|ויקימילון=פונקציה קמורה}}
* {{MathWorld}}

{{אנליזה מתמטית}}

{{בקרת זהויות}}

[[קטגוריה:אופטימיזציה רציפה]]
[[קטגוריה:פונקציות ממשיות ומרוכבות: מאפיינים|קמורה]]
[[קטגוריה:קמירות]]