اشتقاق الدالة اللوغاريتمية النيبيرية والدوال المركبة من الشكل ln(u)
الأثر التفاضلي لعملية الاشتقاق على التوابع المتسامية والقواعد الحاكمة لإشارات العبارات المشتقة
1. المبرهنة المرجعية لاشتقاق الدالة الأم (ln x)
بموجب المفهوم المنشئي للدالة اللوغاريتمية النيبيرية بوصفها الدالة الأصلية للدالة مقلوب، فإن الدالة $x \mapsto \ln(x)$ تقبل الاشتقاق على مجال صلاحيتها الطوبولوجية $]0; +\infty[$، وتتحدد عبارتها المشتقة المرجعية صراحة وفق الدستور التالي:
$(\ln x)' = \frac{1}{x}$
2. مبرهنة اشتقاق مركب دالة لوغاريتمية من الشكل $\ln(u)$
إذا كانت الدالة $u$ قابلة للاشتياق على مجال $I$ وتتحقق فيها الخاصية الشرطية التلازمية $u(x) > 0$ من أجل كل $x \in I$، فإن الدالة المركبة $f = \ln \circ u$ والمصاغة بالعبارة $f(x) = \ln(u(x))$ تكون قابلة للاشتياق على المجال $I$. ويتحدد دستور مشتقتها بناتج قسمة الدالة المشتقة للعبارة الداخلية على العبارة الداخلية نفسها:
$(\ln[u(x)])' = \frac{u'(x)}{u(x)}$
يؤول الأثر التحليلي لعملية الاشتقاق التفاضلي لمركبات اللوغاريتم إلى زوال الكينونة المتسامية للوغاريتم تماماً من العبارة المشتقة الحصيلة، متحولةً إلى كسر ناطق أو عبارة جبرية قياسية خاضعة لقواعد الدراسة الإشارية المألوفة.
3. نماذج تطبيقية مشروحة لحساب العبارات المشتقة
يوضح الجدول التالي آليات التطبيق المباشر لمبرهنة اشتقاق مركب الدالة اللوغاريتمية على ثلاث وضعيات نموذجية مختلفة:
| العبارة التحليلية للدالة $f(x)$ | العبارة الجبرية للمشتقة الحصيلة $f'(x)$ | التفسير الاستدلالي لمراحل الحساب التفاضلي |
|---|---|---|
| $f(x) = \ln(3x + 1)$ | $f'(x) = \frac{3}{3x + 1}$ | باعتبار العبارة الداخلية $u(x)=3x+1$ فإن مشتقتها هي $u'(x)=3$. |
| $f(x) = \ln(x^2 + x)$ | $f'(x) = \frac{2x + 1}{x^2 + x}$ | باعتبار العبارة الداخلية $u(x)=x^2+x$ فإن مشتقتها هي $u'(x)=2x+1$. |
| $f(x) = \ln(\cos x)$ | $f'(x) = \frac{-\sin x}{\cos x} = -\tan x$ | باعتبار العبارة الداخلية $u(x)=\cos(x)$ فإن مشتقتها هي $u'(x)=-\sin(x)$. |
4. الامتداد التفاضلي للدوال المتضمنة لرمز القيمة المطلقة $\ln|u(x)|$
عند صياغة المقادير اللوغاريتمية المقترنة برمز القيمة المطلقة لضمان الموجبية الحتمية للعبارة الداخلية على مجالات غير صفرية، فإن القاعدة التفاضلية تظل ثابتة ومستقلة عن إشارة المتغير؛ حيث إن الدالة $f(x) = \ln|u(x)|$ تقبل الاشتقاق على كل مجال لا تنعدم فيه الدالة $u$ وتصاغ مشتقتها بالدستور المتطابق ذاته:
$(\ln|u(x)|)' = \frac{u'(x)}{u(x)}$
يُعد الفحص القبلي للعبارة وتطبيق دساتير الحساب الجبري اللوغاريتمي قبل الشروع في عملية الاشتقاق مسلكاً منهجياً بالغ الأهمية لاختصار الجهد الحسابي وتجنب التعقيد؛ على سبيل المثال: حساب مشتقة الدالة $f(x) = \ln(x^5)$ يؤول بالتبسيط المباشر إلى اشتقاق العبارة المكافئة خطياً $5\ln(x)$، لتصبح مشتقتها الفورية هي: $f'(x) = \frac{5}{x}$ بدلاً من معالجة الكسر الكثيف $\frac{5x^4}{x^5}$.
بموجب القيود الطوبولوجية المفروضة على حيز وجود الدالة، فإن المقام $u(x)$ يكون موجباً تماماً قطيعاً على الدوام ضمن مجال التعريف؛ وبناءً على ذلك، فإن إشارة المشتقة الكلية $f'(x) = \frac{u'(x)}{u(x)}$ تتحدد وتتطابق نظامياً وبشكل حصري مع إشارة البسط $u'(x)$ فقط.