פונקציה קמורה

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

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

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

הגדרה

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

הגדרה: פונקציה המוגדרת בקטע נקראת קמורה אם לכל עיבוד הנוסחה נכשל (MathML עם גיבוי SVG או PNG (מומלץ לדפדפנים מודרניים ולכלי נגישות): תגובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle x_1,x_2\in I} ולכל עיבוד הנוסחה נכשל (שגיאת המרה. השרת ("https://en.wikipedia.org/api/rest_") השיב: "Cannot get mml. Server problem."): {\displaystyle c\in [0,1]} מתקיים אי-השוויון
עיבוד הנוסחה נכשל (MathML עם גיבוי SVG או PNG (מומלץ לדפדפנים מודרניים ולכלי נגישות): תגובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle (1-c)f(x_1)+cf(x_2)\ge f\bigl((1-c)x_1+cx_2\bigr)}

אפשר לנסח זאת גם כך: לכל עיבוד הנוסחה נכשל (שגיאת המרה. השרת ("https://en.wikipedia.org/api/rest_") השיב: "Cannot get mml. Server problem."): {\displaystyle a\in (x_{1},x_{2})} בקטע מתקיים .

מסקנות מן ההגדרה

  • אם פונקציה קמורה המוגדרת בקטע אזי לכל בקטע ולכל סקלרים המקיימים עיבוד הנוסחה נכשל (MathML עם גיבוי SVG או PNG (מומלץ לדפדפנים מודרניים ולכלי נגישות): תגובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle \sum_{k=1}^nc_k=1} מתקיים . (ניתן להוכיח באינדוקציה).
  • אי-שוויון ינסן מרחיב את המסקנה הקודמת למקרה הרציף: אם פונקציה קמורה המוגדרת בקטע ו-עיבוד הנוסחה נכשל (MathML עם גיבוי SVG או PNG (מומלץ לדפדפנים מודרניים ולכלי נגישות): תגובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle g:[0,1]\to\R} פונקציה אינטגרבילית אזי עיבוד הנוסחה נכשל (MathML עם גיבוי SVG או PNG (מומלץ לדפדפנים מודרניים ולכלי נגישות): תגובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle f\left(\int\limits_0^1 g(x)dx\right)\le\int\limits_0^1f\bigl(g(x)\bigr)dx} .

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

  • פונקציה היא קמורה במובן החלש אם לכל עיבוד הנוסחה נכשל (MathML עם גיבוי SVG או PNG (מומלץ לדפדפנים מודרניים ולכלי נגישות): תגובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle x_1,x_2\in I} ולכל עיבוד הנוסחה נכשל (שגיאת המרה. השרת ("https://en.wikipedia.org/api/rest_") השיב: "Cannot get mml. Server problem."): {\displaystyle c\in [0,1]} מתקיים עיבוד הנוסחה נכשל (MathML עם גיבוי SVG או PNG (מומלץ לדפדפנים מודרניים ולכלי נגישות): תגובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle (1-c)f(x_1)+cf(x_2)\ge f\bigl((1-c)x_1+cx_2\bigr)} .
  • פונקציה היא קמורה במובן החזק אם לכל עיבוד הנוסחה נכשל (MathML עם גיבוי SVG או PNG (מומלץ לדפדפנים מודרניים ולכלי נגישות): תגובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle x_1,x_2\in I} ולכל עיבוד הנוסחה נכשל (שגיאת המרה. השרת ("https://en.wikipedia.org/api/rest_") השיב: "Cannot get mml. Server problem."): {\displaystyle c\in (0,1)} מתקיים עיבוד הנוסחה נכשל (MathML עם גיבוי SVG או PNG (מומלץ לדפדפנים מודרניים ולכלי נגישות): תגובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle (1-c)f(x_1)+cf(x_2)>f\bigl((1-c)x_1+cx_2\bigr)} .

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

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

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

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

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

הוכחה: נתונות הנקודות . צריך להוכיח כי המיתר המחבר את הנקודות נמצא מעל לגרף הפונקציה. אם שתי הנקודות שייכות לאותו קטע או , התוצאה נובעת מן ההנחה על קמירות בכל קטע בנפרד. אחרת, נבחר נקודה כלשהי . אם הנקודה עיבוד הנוסחה נכשל (MathML עם גיבוי SVG או PNG (מומלץ לדפדפנים מודרניים ולכלי נגישות): תגובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle \bigl(z,f(z)\bigr)} מעל למיתר, אפשר לבחור נקודות סמוכות מימין ומשמאל ל- שנמצאות בחיתוך , ולהגיע לסתירה. לכן הנקודה עיבוד הנוסחה נכשל (MathML עם גיבוי SVG או PNG (מומלץ לדפדפנים מודרניים ולכלי נגישות): תגובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle \bigl(z,f(z)\bigr)} מתחת לקו, ובעזרתה אפשר להוכיח שכל נקודות הגרף נמצאות מתחת לקו.

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

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

הוכחת המסקנה: ראשית נניח שהקטע סגור. אפשר לכסות אותו בקטעים פתוחים שהפונקציה קמורה בכל אחד מהם, ומכיוון שקטע סגור הוא קומפקטי, לכיסוי זה קיים תת-כיסוי סופי. כעת אפשר לסיים באינדוקציה לפי המשפט הקודם. אם הקטע פתוח, אז לכל שתי נקודות עיבוד הנוסחה נכשל (MathML עם גיבוי SVG או PNG (מומלץ לדפדפנים מודרניים ולכלי נגישות): תגובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle x_1,x_2\in I} בו קיים קטע סגור המוכל ב- , ועליו חלה ההוכחה של המקרה הסגור.

הקשר בין קמירות ורציפות

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

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

  • אם קמורה בקטע , אזי בכל נקודה בפנים של יש ל- נגזרת מימין ונגזרת משמאל.
  • אם גזירה בקטע פתוח, אזי קמורה בו אם ורק אם הנגזרת עיבוד הנוסחה נכשל (MathML עם גיבוי SVG או PNG (מומלץ לדפדפנים מודרניים ולכלי נגישות): תגובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle f'} היא פונקציה מונוטונית עולה.
  • אם גזירה בסביבת הנקודה עיבוד הנוסחה נכשל (MathML עם גיבוי SVG או PNG (מומלץ לדפדפנים מודרניים ולכלי נגישות): תגובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle x_0} , אז קמורה ממש בסביבת עיבוד הנוסחה נכשל (MathML עם גיבוי SVG או PNG (מומלץ לדפדפנים מודרניים ולכלי נגישות): תגובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle x_0} אם ורק אם עיבוד הנוסחה נכשל (MathML עם גיבוי SVG או PNG (מומלץ לדפדפנים מודרניים ולכלי נגישות): תגובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle f(x)>f(x_0)+f'(x_0)(x-x_0)} לכל בסביבה. ובהתאמה אם דיפרנציאבילית בסביבת הנקודה עיבוד הנוסחה נכשל (MathML עם גיבוי SVG או PNG (מומלץ לדפדפנים מודרניים ולכלי נגישות): תגובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle x_0} , אז קמורה ממש בסביבת עיבוד הנוסחה נכשל (MathML עם גיבוי SVG או PNG (מומלץ לדפדפנים מודרניים ולכלי נגישות): תגובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle x_0} אם ורק אם עיבוד הנוסחה נכשל (MathML עם גיבוי SVG או PNG (מומלץ לדפדפנים מודרניים ולכלי נגישות): תגובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle f(x)>f(x_0)+\langle\nabla f(x_0),(x-x_0)\rangle} לכל בסביבה. זהו פיתוח טיילור מסדר ראשון.

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

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

עיבוד הנוסחה נכשל (MathML עם גיבוי SVG או PNG (מומלץ לדפדפנים מודרניים ולכלי נגישות): תגובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle \lim_{h\to0}\frac{(\beta-\alpha)f(x+\gamma h)-(\gamma-\alpha)f(x+\beta h)+(\gamma-\beta)f(x+\alpha h)}{h^2}=\frac{(\beta-\alpha)(\gamma-\beta)(\gamma-\alpha)}{2}f''(x)}

וזאת לכל עיבוד הנוסחה נכשל (MathML עם גיבוי SVG או PNG (מומלץ לדפדפנים מודרניים ולכלי נגישות): תגובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle \alpha,\beta,\gamma} קבועים. אם , כפי שנניח מעתה, אז המקדם באגף ימין הוא חיובי.

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

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

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

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

משפט: אם גזירה פעמיים בקטע ומתקיים בכל הקטע, אז הפונקציה קמורה בקטע (במובן החלש). בנוסף לזה, אם עיבוד הנוסחה נכשל (שגיאת המרה. השרת ("https://en.wikipedia.org/api/rest_") השיב: "Cannot get mml. Server problem."): {\displaystyle f''(x)>0} בכל הקטע (או אפילו: הנגזרת השנייה אי-שלילית, ומתאפסת במספר סופי של נקודות), אז הפונקציה קמורה בקטע במובן החזק.

הוכחה: נסמן ב-עיבוד הנוסחה נכשל (MathML עם גיבוי SVG או PNG (מומלץ לדפדפנים מודרניים ולכלי נגישות): תגובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle a<b} את קצות הקטע. מספיק להראות שהגרף של נמצא מתחת לקו המחבר את הנקודות המתאימות ל- על הגרף, משום שאז אפשר להפעיל את אותו נימוק על כל זוג נקודות בתוך הקטע. נתבונן בפונקציה

עיבוד הנוסחה נכשל (MathML עם גיבוי SVG או PNG (מומלץ לדפדפנים מודרניים ולכלי נגישות): תגובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle g(x)=f(x)-f(a)-\frac{f(b)-f(a)}{b-a}(x-a)}

שהיא קמורה באותם מקומות בהם קמורה (משום שההפרש ביניהן הוא פונקציה לינארית). קל לבדוק כי עיבוד הנוסחה נכשל (MathML עם גיבוי SVG או PNG (מומלץ לדפדפנים מודרניים ולכלי נגישות): תגובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle g(a)=g(b)=0} . נניח בשלילה שיש נקודה עיבוד הנוסחה נכשל (MathML עם גיבוי SVG או PNG (מומלץ לדפדפנים מודרניים ולכלי נגישות): תגובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle z\in(a,b)} עבורה עיבוד הנוסחה נכשל (MathML עם גיבוי SVG או PNG (מומלץ לדפדפנים מודרניים ולכלי נגישות): תגובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle g(z)\ge0} ; אז לפי משפט הערך הממוצע של לגראנז' קיימת נקודה בקטע שבה הנגזרת עיבוד הנוסחה נכשל (MathML עם גיבוי SVG או PNG (מומלץ לדפדפנים מודרניים ולכלי נגישות): תגובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle g'} אי-שלילית, וקיימת נקודה בקטע עיבוד הנוסחה נכשל (MathML עם גיבוי SVG או PNG (מומלץ לדפדפנים מודרניים ולכלי נגישות): תגובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle (z,b)} שבה הנגזרת אי-חיובית. אבל לפי הנחת המשפט, הנגזרת היא פונקציה עולה (במובן החזק). ההוכחה למקרה של אי-שוויון חלש דומה.

מסקנה: אם עיבוד הנוסחה נכשל (MathML עם גיבוי SVG או PNG (מומלץ לדפדפנים מודרניים ולכלי נגישות): תגובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle f''} רציפה בנקודה וחיובית שם, אז קמורה בסביבה של הנקודה (במובן החזק).

הוכחה: מן הרציפות נובע שהנגזרת השנייה חיובית בסביבה של .

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

עיבוד הנוסחה נכשל (MathML עם גיבוי SVG או PNG (מומלץ לדפדפנים מודרניים ולכלי נגישות): תגובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle \iff\ 0\le f''} הפונקציה קמורה במובן החלש הפונקציה קמורה במובן החזק .

פונקציה קמורה בחצייה

הגדרה: פונקציה המוגדרת בקטע נקראת קמורה בחצייה (midconvex או Jensen-convex) אם לכל עיבוד הנוסחה נכשל (MathML עם גיבוי SVG או PNG (מומלץ לדפדפנים מודרניים ולכלי נגישות): תגובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle x_1,x_2\in I} מתקיים אי-השוויון עיבוד הנוסחה נכשל (MathML עם גיבוי SVG או PNG (מומלץ לדפדפנים מודרניים ולכלי נגישות): תגובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle f\left(\frac{x_1+x_2}{2}\right)\le\frac{f(x_1)+f(x_2)}{2}} .
  • ברור כי כל פונקציה קמורה היא פונקציה קמורה בחצייה.
  • לא כל פונקציה קמורה בחצייה היא פונקציה קמורה. ניתן לבנות דוגמה לפונקציה קמורה בחצייה שאינה קמורה באופן הבא:
נשלים את הקבוצה לבסיס המל של עיבוד הנוסחה נכשל (MathML עם גיבוי SVG או PNG (מומלץ לדפדפנים מודרניים ולכלי נגישות): תגובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle \R} כמרחב וקטורי מעל עיבוד הנוסחה נכשל (MathML עם גיבוי SVG או PNG (מומלץ לדפדפנים מודרניים ולכלי נגישות): תגובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle \Q} . נגדיר פונקציה ממשית באופן הבא: לכל ונרחיב באופן לינארי על כל עיבוד הנוסחה נכשל (MathML עם גיבוי SVG או PNG (מומלץ לדפדפנים מודרניים ולכלי נגישות): תגובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle \R} .
הפונקציה שהתקבלה היא העתקה לינארית ב-עיבוד הנוסחה נכשל (MathML עם גיבוי SVG או PNG (מומלץ לדפדפנים מודרניים ולכלי נגישות): תגובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle \R} כמרחב וקטורי מעל עיבוד הנוסחה נכשל (MathML עם גיבוי SVG או PNG (מומלץ לדפדפנים מודרניים ולכלי נגישות): תגובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle \Q} , ולכן מתקיים עיבוד הנוסחה נכשל (MathML עם גיבוי SVG או PNG (מומלץ לדפדפנים מודרניים ולכלי נגישות): תגובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle f\bigl((1-c)x_1+cx_1\bigr)=(1-c)f(x_1)+cf(x_2)} לכל עיבוד הנוסחה נכשל (MathML עם גיבוי SVG או PNG (מומלץ לדפדפנים מודרניים ולכלי נגישות): תגובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle c\in\Q} , מכאן שהפונקציה קמורה בחצייה.
בנוסף, כטרנספורמציה לינארית מתקיים , וכן עיבוד הנוסחה נכשל (MathML עם גיבוי SVG או PNG (מומלץ לדפדפנים מודרניים ולכלי נגישות): תגובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle f(c)=cf(1)=c} לכל עיבוד הנוסחה נכשל (MathML עם גיבוי SVG או PNG (מומלץ לדפדפנים מודרניים ולכלי נגישות): תגובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle c\in\Q} . אולם הפונקציה אינה רציפה, משום שעל הרציונלים היא לינארית, אך מקבלת את הערך 1 אינסוף פעמים.
מכאן שהפונקציה אינה קמורה כי פונקציה קמורה היא בהכרח רציפה (ראו לעיל).
  • פונקציה קמורה בחצייה ורציפה היא פונקציה קמורה. (מכאן שפונקציה המוגדרת בקטע פתוח היא קמורה אם ורק אם היא קמורה בחצייה ורציפה).
  • פונקציה קמורה בחצייה וחסומה היא פונקציה קמורה.

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

  • פונקציה קמורה בחצייה ומדידה היא פונקציה קמורה.

פונקציה קעורה

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

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

פונקציה חיובית המוגדרת בקטע נקראת פונקציה לוג-קמורה אם עיבוד הנוסחה נכשל (MathML עם גיבוי SVG או PNG (מומלץ לדפדפנים מודרניים ולכלי נגישות): תגובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle \log(f)} היא פונקציה קמורה בקטע (סופי או אינסופי). אם גזירה פעמיים, תנאי זה שקול לכך כי . למשל, הפונקציות עיבוד הנוסחה נכשל (MathML עם גיבוי SVG או PNG (מומלץ לדפדפנים מודרניים ולכלי נגישות): תגובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle f(x)=e^{x^2}} ופונקציית גמא הן לוג-קמורות.

קל לראות שפונקציה לוג-קמורה היא קמורה, אך ההפך אינו נכון. לדוגמה, הפונקציה קמורה, אבל אינה קמורה.

ראו גם

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

This article is issued from Hamichlol. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.