دالة مقعرة
في الرياضيات ، الدالة المقعرة هي دالة تكون قيمتها عند أي توليفة محدبة من عناصر مجالها أكبر من أو تساوي تلك التوليفة المحدبة من عناصر المجال. وبعبارة أخرى، الدالة المقعرة هي أي دالة يكون منحنى تمثيلها البياني محدبًا. وتُعتبر فئة الدوال المقعرة، بمعنى ما، عكس فئة الدوال المحدبة . وتُسمى الدالة المقعرة أيضًا بالدوال المقعرة للأسفل ، أو المحدبة للأعلى ، أو ذات القمة المحدبة ، أو المحدبة العليا .
تعريف
دالة ذات قيم حقيقيةيُقال إن المجال على فترة (أو، بشكل أعم، مجموعة محدبة في فضاء متجهي ) يكون مقعرًا إذا كان، لأيوفي الفترة ولأي, [ 1 ]
تُسمى الدالة مقعرة تمامًا إذا
لأيو.
لوظيفةينص هذا التعريف الثاني ببساطة على أنه لكلبينوالنقطةعلى الرسم البياني لـتقع فوق الخط المستقيم الواصل بين النقطتينو.

وظيفةتكون شبه مقعرة إذا كانت مجموعة الخطوط الكنتورية العليا للدالةهي مجموعات محدبة. [ 2 ]
ملكيات

دوال لمتغير واحد
- تكون الدالة القابلة للتفاضل f مقعرة (بشكل صارم) على فترة ما إذا وفقط إذا كانت دالة مشتقتها f ′ متناقصة (بشكل صارم) على تلك الفترة، أي أن الدالة المقعرة لها ميل غير متزايد (متناقص) . [ 3 ] [ 4 ]
- النقاط التي يتغير عندها التقعر (بين التقعر والتحدب ) هي نقاط انعطاف . [ 5 ]
- إذا كانت الدالة f قابلة للتفاضل مرتين ، فإنها تكون مقعرة إذا وفقط إذا كانت f ′ ′ غير موجبة (أو بعبارة أخرى، إذا كان " التسارع " غير موجب). إذا كانت f ′ ′ سالبة ، فإن f تكون مقعرة تمامًا، ولكن العكس غير صحيح، كما يتضح من f ( x ) = −x⁴ .
- إذا كانت f مقعرة وقابلة للتفاضل، فإنها تكون محدودة من الأعلى بتقريب تايلور من الدرجة الأولى : [ 2 ]
- تكون الدالة القابلة للقياس وفقًا لمعيار ليبيغ على فترة C مقعرة إذا وفقط إذا كانت مقعرة عند نقطة المنتصف، أي أنه لأي قيمتين x و y في C
- إذا كانت الدالة f مقعرة، و f (0) ≥ 0 ، فإن f تكون شبه جمعية على. دليل:
- بما أن f دالة مقعرة و 1 ≥ t ≥ 0 ، بوضع y = 0 نحصل على
- ل:
دوال لمتغيرات n
- تكون الدالة f مقعرة على مجموعة محدبة إذا وفقط إذا كانت الدالة −f دالة محدبة على المجموعة.
- إن مجموع دالتين مقعرتين هو نفسه مقعر، وكذلك الحد الأدنى النقطي لدالتين مقعرتين، أي أن مجموعة الدوال المقعرة على مجال معين تشكل شبه حقل .
- بالقرب من قيمة عظمى محلية صارمة في داخل مجال الدالة، يجب أن تكون الدالة مقعرة؛ كعكس جزئي، إذا كانت مشتقة دالة مقعرة تمامًا تساوي صفرًا عند نقطة ما، فإن تلك النقطة هي قيمة عظمى محلية.
- أي قيمة عظمى محلية لدالة مقعرة هي أيضاً قيمة عظمى مطلقة . أما الدالة المقعرة تماماً فلها قيمة عظمى مطلقة واحدة على الأكثر.
أمثلة
- الوظائفوتكون الدوال مقعرة على نطاقاتها، كما هو الحال بالنسبة لمشتقاتها الثانية.ودائماً ما تكون سلبية.
- دالة اللوغاريتميكون مقعرًا على نطاقه، كمشتق منهاهي دالة متناقصة تمامًا.
- أي دالة خطيةهو مقعر ومحدب في آن واحد، ولكنه ليس مقعرًا تمامًا ولا محدبًا تمامًا.
- تكون دالة الجيب مقعرة على الفترة.
- الوظيفة، أين[ 6 ] هو محدد المصفوفة B غير السالبة المحددة ، وهو مقعر.
التطبيقات
- تتضمن عملية انحناء الأشعة في حساب توهين الموجات الراديوية في الغلاف الجوي دوال مقعرة.
- في نظرية المنفعة المتوقعة للاختيار في ظل عدم اليقين ، تكون دوال المنفعة الأساسية لصناع القرار الذين يتجنبون المخاطر مقعرة.
- في نظرية الاقتصاد الجزئي ، يُفترض عادةً أن دوال الإنتاج تكون مقعرة على بعض أو كل نطاقاتها، مما يؤدي إلى تناقص العوائد لعوامل الإنتاج. [ 7 ]
- في الديناميكا الحرارية ونظرية المعلومات ، تُعتبر الإنتروبيا دالة مقعرة. في حالة الإنتروبيا الديناميكية الحرارية، وبدون انتقال طوري، تكون الإنتروبيا كدالة للمتغيرات الشاملة مقعرة تمامًا. إذا كان النظام قادرًا على الخضوع لانتقال طوري، وإذا سُمح له بالانقسام إلى نظامين فرعيين ذوي طورين مختلفين ( انفصال طوري ، مثل الغليان)، فإن معلمات الإنتروبيا القصوى للنظامين الفرعيين ستؤدي إلى إنتروبيا مُجمعة تقع بدقة على الخط المستقيم بين الطورين. هذا يعني أن "الإنتروبيا الفعّالة" لنظام ذي انتقال طوري هي الغلاف المحدب للإنتروبيا بدون انفصال طوري؛ وبالتالي، فإن إنتروبيا نظام يتضمن انفصالًا طوريًا ستكون غير مقعرة تمامًا. [ 8 ]
انظر أيضاً
مراجع
- ↑ لينارت، س.؛ ووركمان، ج. ت. (2007). التحكم الأمثل المطبق على النماذج البيولوجية . سلسلة البيولوجيا الرياضية والحسابية. تشابمان آند هول/ سي آر سي. رقم ISBN 978-1-58488-640-2.
- 1 2 فاريان، هال ر. (1992). التحليل الاقتصادي الجزئي ( الطبعة الثالثة). نيويورك: نورتون. ص 489. ISBN 0-393-95735-7. OCLC 24847759 .
- ↑ رودين، والتر (1976). التحليل . ص 101.
- ↑ غرادشتين، آي إس؛ ريزيك، آي إم؛ هايز، دي إف (1976-07-01). "جدول التكاملات والمتسلسلات والمنتجات" . مجلة تكنولوجيا التشحيم . 98 (3): 479. doi : 10.1115/1.3452897 . ISSN 0022-2305 .
- ↑ هاس، جويل (13 مارس 2017). حساب التفاضل والتكامل لتوماس . هيل، كريستوفر، 1960-، وير، موريس د.، توماس، جورج ب. الابن (جورج برينتون)، 1914-2006. ( الطبعة الرابعة عشرة). [الولايات المتحدة]. ص 203. ISBN 978-0-13-443898-6. OCLC 965446428 .
{{cite book}}: CS1 maint: موقع الناشر مفقود ( رابط ) - ↑ كوفر، توماس م .؛ توماس، جيه إيه (1988). "متباينات المحددات عبر نظرية المعلومات". مجلة SIAM لتحليل المصفوفات وتطبيقاتها . 9 (3): 384-392 . doi : 10.1137/0609033 . S2CID 5491763 .
- ↑ بيمبرتون، مالكولم؛ راو، نيكولاس (2015). الرياضيات للاقتصاديين: كتاب تمهيدي . مطبعة جامعة أكسفورد. ص 363-364 . ISBN 978-1-78499-148-7.
- ↑ كالين، هربرت ب. (1985). "8.1: الاستقرار الذاتي للأنظمة الديناميكية الحرارية". الديناميكا الحرارية ومقدمة في الإحصاء الحراري ( الطبعة الثانية). نيويورك: وايلي. ص 203-206 . ISBN 978-0-471-86256-7.
{{cite book}}: صيانة CS1: التاريخ والسنة ( رابط )
مراجع إضافية
- كروزيكس، جيه-بي. (2008). "شبه التقعر" . في: دورلاف، ستيفن ن.؛ بلوم، لورانس إي (محرران). قاموس بالغراف الجديد للاقتصاد (الطبعة الثانية ). بالغراف ماكميلان. ص 815-816 . doi : 10.1057/9780230226203.1375 . ISBN 978-0-333-78676-5.
- راو، سينجيريسو س. (2009). تحسين الهندسة: النظرية والتطبيق . جون وايلي وأولاده. ص 779. ISBN 978-0-470-18352-6.
- التحليل المحدب
- أنواع الوظائف
