دالة قابلة للتفاضل

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

لو${\displaystyle x_{0}}$هي نقطة داخلية في مجال دالة حقيقية${\displaystyle f}$، ثم${\displaystyle f}$يقال إنها قابلة للتفاضل عند${\displaystyle x_{0}}$إذا كان هناك${\displaystyle L\in \mathbb {R} }$بحيث يكون ذلك لجميع${\displaystyle \epsilon >0}$يوجد${\displaystyle \delta >0}$بحيث يكون ذلك لجميع${\displaystyle x\in (x_{0}-\delta ,x_{0})\cup (x_{0},x_{0}+\delta )}$،${\displaystyle {\frac {f(x)-f(x_{0})}{x-x_{0}}}\in (L-\epsilon ,L+\epsilon )}$بمعنى آخر، الرسم البياني لـ${\displaystyle f}$يوجد خط مماس غير عمودي عند النقطة${\displaystyle (x_{0},f(x_{0}))}$.${\displaystyle f}$يقال إنها قابلة للتفاضل على مجموعة جزئية${\displaystyle U\subseteq \mathbb {R} }$إذا كانت قابلة للتفاضل عند كل نقطة في${\displaystyle U}$.${\displaystyle f}$يُقال إن الدالة قابلة للتفاضل باستمرار إذا كانت مشتقتها أيضًا دالة مستمرة على مجالها.${\textstyle f}$.

قد لا تكون الدوال المتصلة قابلة للتفاضل في أي مكان ضمن مجالها، مثل دالة فايرشتراس . يُتيح أخذ الدوال الأصلية المتتالية لمثل هذه الدالة الحصول على دالة قابلة للتفاضل لعدد محدود من المرات فقط، وهذا العدد المحدود هو أي عدد صحيح موجب. بفرض عدد صحيح موجب${\displaystyle k}$،${\displaystyle f}$يقال إنه من فئة${\displaystyle C^{k}}$إذا كان أولها${\displaystyle k}$المشتقات${\textstyle f^{\prime },f^{\prime \prime },\ldots ,f^{(k)}}$موجودة ومتصلة على نطاق${\displaystyle f}$.

بالنسبة لدالة متعددة المتغيرات، كما هو موضح هنا ، فإن قابلية اشتقاقها أمرٌ أكثر تعقيدًا من مجرد وجود مشتقاتها الجزئية. ومع ذلك، يبقى الجوهر واحدًا؛ دالة يمكن تقريبها محليًا بواسطة تحويل خطي عند${\displaystyle \mathbf {X_{0}} }$يقال إنها قابلة للتفاضل عند هذه النقطة.

وظيفة${\displaystyle f:U\to \mathbb {R} }$، معرفة على مجموعة مفتوحة${\textstyle U\subset \mathbb {R} }$يقال إنها قابلة للتفاضل عند${\displaystyle a\in U}$إذا كانت المشتقة

${\displaystyle f'(a)=\lim _{h\to 0}{\frac {f(a+h)-f(a)}{h}}=\lim _{x\to a}{\frac {f(x)-f(a)}{xa}}}$

هذا يعني أن الدالة متصلة عند نقطة ما .

يُقال إن الدالة f قابلة للتفاضل على U إذا كانت قابلة للتفاضل عند كل نقطة من U. في هذه الحالة، تكون مشتقة f دالة من U إلى${\displaystyle \mathbb {R} .}$

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

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

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

وظيفة${\textstyle f}$يُقال إن الدالة قابلة للتفاضل باستمرار إذا كانت المشتقة${\textstyle f^{\prime }(x)}$توجد دالة وهي نفسها دالة متصلة. على الرغم من أن مشتقة الدالة القابلة للتفاضل لا تحتوي أبدًا على انقطاع قفزي ، إلا أنه من الممكن أن تحتوي المشتقة على انقطاع جوهري . على سبيل المثال، الدالة $${\displaystyle f(x)\;=\;{\begin{cases}x^{2}\sin(1/x)&{\text{ if }}x\neq 0\\0&{\text{ if }}x=0\end{cases}}}$$ قابلة للتفاضل عند الصفر، لأن $${\displaystyle f'(0)=\lim _{\varepsilon \to 0}\left({\frac {\varepsilon ^{2}\sin(1/\varepsilon )-0}{\varepsilon }}\right)=0}$$ موجود. ومع ذلك، بالنسبة لـ${\displaystyle x\neq 0,}$تشير قواعد التمايز إلى$${\displaystyle f'(x)=2x\sin(1/x)-\cos(1/x)\;,}$$ وهو أمر لا حدود له كما${\displaystyle x\to 0.}$وبالتالي، يُظهر هذا المثال وجود دالة قابلة للتفاضل ولكنها غير متصلة (أي أن مشتقتها ليست دالة متصلة). ومع ذلك، تنص نظرية داربو على أن مشتقة أي دالة تحقق نتيجة نظرية القيمة المتوسطة .

وبالمثل، يُقال إن الدوال المتصلة تنتمي إلى فئة${\displaystyle C^{0},}$يُقال أحيانًا أن الدوال القابلة للتفاضل باستمرار تنتمي إلى فئة${\displaystyle C^{1}}$الدالة من فئة${\displaystyle C^{2}}$إذا كانت المشتقة الأولى والثانية للدالة موجودتين ومتصلتين. وبشكل أعم، يُقال إن الدالة من فئة${\displaystyle C^{k}}$إذا كان الأول${\displaystyle k}$المشتقات${\textstyle f^{\prime }(x),f^{\prime \prime }(x),\ldots ,f^{(k)}(x)}$جميعها موجودة ومتصلة. إذا كانت المشتقات${\displaystyle f^{(n)}}$موجودة لجميع الأعداد الصحيحة الموجبة${\textstyle n,}$الدالة سلسة أو ما يعادلها، من فئة${\displaystyle C^{\infty }.}$

يُقال إن دالة لعدة متغيرات حقيقية f : R ^m → R ⁿ قابلة للتفاضل عند نقطة x ₀ إذا وُجد تطبيق خطي M : R ^m → R ^{n [ ملاحظة 1 ]} بحيث

$${\displaystyle \lim _{\mathbf {h} \to \mathbf {0} }{\frac {\|\mathbf {f} (\mathbf {x_{0}} +\mathbf {h} )-\mathbf {f} (\mathbf {x_{0}} )-\mathbf {M} \mathbf {(h)} \|_{\mathbf {R} ^{n}}}{\|\mathbf {h} \|_{\mathbf {R} ^{m}}}}=0,}$$

حيث || v || هو معيار المتجه v . إذا كانت الدالة قابلة للتفاضل عند x₀ _، فإن جميع المشتقات الجزئية موجودة عند _{x₀، ويُعطى التحويل الخطي M بالعلاقة Jf ⋅ h، حيث Jf هي مصفوفة جاكوبي للدالة f عند x₀} ( _مصفوفة n × m في _هذه الحالة ) ، مضروبة من اليسار في متجه h في Rᵐ . _ويُقدم مفهوم مشابه للمشتقة في الأبعاد الأعلى بواسطة مبرهنة الزيادة الأساسية ^.

_{إذا كانت} جميع المشتقات الجزئية لدالة ما موجودة في جوار نقطة x₀ ومتصلة عند تلك النقطة [ملاحظة 2]، فإن الدالة قابلة للتفاضل عند تلك النقطة x₀؛ [ ملاحظة 3 ] ^{إن وجود} _{المشتقات} ^{الجزئية} ( أو حتى ^{جميع المشتقات} _{الاتجاهية} ⁾ لا يضمن أن الدالة قابلة للتفاضل عند نقطة ^ما . على سبيل المثال، الدالة f : R² → R المعرفة بـ

$${\displaystyle f(x,y)={\begin{cases}x&{\text{if }}y\neq x^{2}\\0&{\text{if }}y=x^{2}\end{cases}}}$$

الدالة غير قابلة للتفاضل عند النقطة (0، 0)، بينما توجد جميع المشتقات الجزئية والمشتقات الاتجاهية عند هذه النقطة. أما بالنسبة للدالة المتصلة، فإن

${\displaystyle f(x,y)={\begin{cases}y^{3}/(x^{2}+y^{2})&{\text{if }}(x,y)\neq (0,0)\\0&{\text{if }}(x,y)=(0,0)\end{cases}}}$

لا يمكن اشتقاقها عند (0، 0) ، بينما مرة أخرى، جميع المشتقات الجزئية والمشتقات الاتجاهية موجودة.

في التحليل المركب ، يُعرَّف الاشتقاق المركب باستخدام نفس تعريف الدوال الحقيقية ذات المتغير الواحد. وهذا مسموح به لأن العدد المركب (يُعبَّر عنه عادةً بـ${\textstyle z=x+iy}$يمكن قسمة ) على عدد مركب. لذا، فإن الدالة${\textstyle f:\mathbb {C} \to \mathbb {C} }$يقال إنها قابلة للتفاضل عند${\textstyle x=a}$متى

$${\displaystyle f'(a)=\lim _{\underset {h\in \mathbb {C} }{h\to 0}}{\frac {f(a+h)-f(a)}{h}}.}$$

لا يوجد هذا الحد إلا إذا كان الحد نفسه بغض النظر عن اختيار اتجاه الاقتراب.${\displaystyle a}$على الرغم من أن هذا التعريف يبدو مشابهاً لتعريف قابلية اشتقاق الدوال الحقيقية ذات المتغير الواحد، إلا أنه شرط أكثر تقييداً. الدالة${\textstyle f:\mathbb {C} \to \mathbb {C} }$وهي قابلة للتفاضل المركب عند نقطة${\textstyle x=a}$تكون قابلة للتفاضل تلقائيًا عند تلك النقطة عند النظر إليها كدالة.${\displaystyle f:\mathbb {R} ^{2}\to \mathbb {R} ^{2}}$(قابلة للتفاضل الحقيقي). ^{[ ملاحظة 4 ]} وذلك لأن قابلية التفاضل المركب ^{[ ملاحظة 5 ]} تعني أن

$${\displaystyle \lim _{\underset {h\in \mathbb {C} }{h\to 0}}{\frac {\|f(a+h)-f(a)-f'(a)h\|}{\|h\|}}=\lim _{\underset {h\in \mathbb {C} }{h\to 0}}{\frac {|f(a+h)-f(a)-f'(a)h|}{|h|}}=0,}$$

أين${\displaystyle f'(a)h}$هي خريطة خطية${\displaystyle \mathbf {M} (\mathbf {h} )}$في تعريف قابلية التفاضل للفضاءات ذات الأبعاد الأعلى ، يتم استخدام معيار القيمة المطلقة . ومع ذلك، فإن الدالة${\textstyle f:\mathbb {C} \to \mathbb {C} }$قد لا تكون الدالة القابلة للتفاضل كدالة متعددة المتغيرات قابلة للتفاضل المركب. على سبيل المثال، باستخدام${\textstyle z=x+iy}$،${\textstyle f(z)={\frac {z+{\overline {z}}}{2}}}$تصبح دالة حقيقية ذات متغيرين${\displaystyle f(x,y)=x}$هذه الدالة قابلة للتفاضل عند كل نقطة. ومع ذلك، فهي غير قابلة للتفاضل المركب عند أي نقطة لأن النهاية${\textstyle f'(z)=\lim _{\underset {h\in \mathbb {C} }{h\to 0}}{\frac {f(z+h)-f(z)}{h}}=\lim _{\underset {h\in \mathbb {C} }{h\to 0}}{\frac {h+{\bar {h}}}{2h}}}$تعطي قيمًا مختلفة لطرق مختلفة للوصول إلى الصفر. على سبيل المثال، إذا${\textstyle h}$يسير على طول المحور الحقيقي، لذا${\textstyle h=x}$ثم${\textstyle f'(z)=\lim _{x\to 0}{\frac {2x}{2x}}=1}$بينما إذا${\displaystyle h}$يسير على طول المحور التخيلي، لذا${\textstyle h=iy}$ثم${\textstyle f'(z)=\lim _{y\to 0}{\frac {0}{2iy}}=0}$.

أي دالة قابلة للتفاضل المركب في جوار نقطة ما تُسمى دالة تحليلية عند تلك النقطة. هذه الدالة قابلة للتفاضل إلى ما لا نهاية، وهي في الواقع تحليلية عند تلك النقطة. والعكس صحيح أيضاً، لذا فإن كون الدالة تحليلية يكافئ كونها تحليلية في التحليل المركب .

إذا كانت M متعددة شعب قابلة للتفاضل ، يُقال إن الدالة f ذات القيم الحقيقية أو المركبة على M قابلة للتفاضل عند النقطة p إذا كانت قابلة للتفاضل بالنسبة إلى مخطط إحداثيات معين (أو أي مخطط إحداثيات) مُعرَّف حول p . وإذا كانت M و N متعددات شعب قابلة للتفاضل، يُقال إن الدالة f : M → N قابلة للتفاضل عند النقطة p إذا كانت قابلة للتفاضل بالنسبة إلى مخطط إحداثيات معين (أو أي مخطط إحداثيات) مُعرَّف حول p و f ( p ).   

• تعميمات المشتقة
• شبه التفاضلية
• البرمجة التفاضلية