دالة قابلة للاشتقاق

دالة مشتقها موجودة في كل نقطة من مجالها

في حساب التفاضل والتكامل، تكون الدالة أحادية المتغير دالة قابلة للاشتقاق (التفاضل) إذا وجدت مشتقها في كل نقطة في مجالها. نتيجة لذلك، يقبل التمثيل البياني لدالة قابلة للتفاضل مماسًا (غير عمودي) عند كل نقطة داخلية في مجالها، وأن يكون ناعمًا نسبيًا، ولا يمكن أن يحتوي على أي نقطة انقطاع أو زاوية أو عطفة.

دالة تكعيبية هي دالة قابلة للاشتقاق

بشكل أعم، إذا كانت x0 نقطة داخلية في مجال الدالة f، فيُقال أن f يمكن اشتقاقها عند x0 إذا كان المشتق (f'(x0 موجودًا. هذا يعني أن الرسم البياني لـ f يقبل مماسًا غير عموديًّا عند النقطة (x0 , f(x0)). يمكن أيضًا أن تسمي الدالة f "دالة خطية محليًا" عند x0، حيث يمكن تقريبها جيدًا بدالة خطية بالقرب من هذه النقطة.

اشتقاق دالة أحادية المتغيرعدل

نقول أن الدالة  , المعرفة على مجموعة مفتوحة  ، قابلة للاشتقاق عند   إذا تحقق أي من الشروط المعادلة التالية:

  • المشتقة   موجودة.
  • يوجد عدد حقيقي   بحيث: . العدد  , عند وجوده، يساوي  .
  • توجد الدالة   بحيث:   و  .

الاشتقاقية والاستمراريةعدل

 
دالة القيمة المطلقة دالة مستمرة (أي ليس لديها فجوات). إنها قابلة للاشتقاث في كل مكان باستثناء النقطة x = 0، حيث يصنع منعطفًا حادًا عندما يعبر المحور y.
 
عطفة على الرسم البياني لدالة مستمرة. عند الصفر، تكون الدالة مستمرة ولكنها غير قابلة للاشتقاق.

إذا كانت f تقبل الاشتقاق عند النقطة x0، فإن الدالة f يجب أن تكون أيضًا مستمرة عند x0. على وجه الخصوص، يجب أن تكون أي دالة مختلفة مستمرة في كل نقطة من مجالها.  لا يحمل العكس: ليست كل دالة مستمرة قابلة للاشتقاق.  على سبيل المثال، قد تكون الدالة ذات الانحناء أو الانحدار أو المماس العمودي مستمرة، لكنها تفشل في أن تكون قابلة للتفاضل في موقع الشذوذ.

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

مراجععدل

  1. ^ Banach, S. (1931). "Über die Baire'sche Kategorie gewisser Funktionenmengen". Studia Math. 3 (1): 174–179. الوسيط |CitationClass= تم تجاهله (مساعدة). Cited by Hewitt, E; Stromberg, K (1963). Real and abstract analysis. Springer-Verlag. Theorem 17.8. الوسيط |CitationClass= تم تجاهله (مساعدة)