تعريف الدالة اللوغاريتمية النيبيرية ومجموعة عناصر حيز تعريفها
النشأة التحليلية من معضلة تكامل الدالة مقلوب والتعيين المنهجي لشروط الوجود
1. المقاربة التاريخية والتحليلية: الامتداد المفقود في دساتير الدوال الأصلية
يستند التأسيس المفهومي للدالة اللوغاريتمية النيبيرية إلى معضلة رياضية برزت عند صياغة القواعد العامة للدوال الأصلية لكثيرات الحدود ودوال القوة من الشكل $f(x) = x^n$ (والتي سيتم تفصيل حقلها الاستدلالي كاملاً في الطور اللاحق).
وفق القواعد القياسية، فإن كل دالة قوة من الشكل $x^n$ (حيث $n \in \mathbb{Z} \setminus \{-1\}$) تقبل مجموعة دوان أصلية $F$ على حيز تعريفها تصاغ صراحة بالعبارة الجبرية النظامية التالية:
$F(x) = \frac{1}{n+1}x^{n+1} + c$
يظهر الجدول التالي التوافق التحليلي المباشر لهذه المنظومة الجبرية في الحالات المألوفة:
| الدالة الحقيقية $f(x)$ | الدالة الأصلية المقابلة $F(x)$ على المجال المعين |
|---|---|
| $x^2$ | $\frac{1}{3}x^3 + c$ |
| $x^5$ | $\frac{1}{6}x^6 + c$ |
| $\frac{1}{x^2} = x^{-2}$ | $-x^{-1} + c = -\frac{1}{x} + c$ |
عند محاولة تطبيق هذا الدستور الجبري لتعيين الدالة الأصلية للدالة مقلوب $f(x) = \frac{1}{x} = x^{-1}$، تؤول الرتبة الحسابية للمقام إلى مقدار معدوم: $n+1 = -1+1 = 0$.
نظراً لاستحالة القسمة على الصفر في الحقل الحقيقي $\mathbb{R}$، شكلت هذه الوضعية فجوة تحليلية مستعصية ضمن عائلة دساتير القوة، مما استوجب بناء كينونة رياضية مستقلة لسد هذا الفراغ.
2. التعريف الرسمي الاصطلاحي للدالة $\ln$
لسد الفجوة التحليلية المذكورة، تم إقرار وجود دالة متسامية جديدة تُعرف بخصائصها التفاضلية والابتدائية المباشرة دون الاعتماد على النشر الخطي.
تعريف منشئي: الدالة اللوغاريتمية النيبيرية والتي نرمز لها بالرمز الأصيل $(\ln)$ هي الدالة الأصلية الوحيدة للدالة مقلوب $x \mapsto \frac{1}{x}$ على المجال الموجب تماماً $]0; +\infty[$ والتي تنعدم تماماً عند القيمة الحقيقية $1$.
من أجل كل عدد حقيقي $x$ من المجال $]0; +\infty[$، يُمثل المقدار $\ln(x)$ القيمة العددية المحددة بالشرطين المتلازمين:
1. من أجل كل $x \in ]0; +\infty[$ فإن الدالة المشتقة هي الدالة مقلوب: $\ln'(x) = \frac{1}{x}$.
2. الصورة الابتدائية للواحد معدومة متطابقة: $\ln(1) = 0$.
3. القيود الطوبولوجية ومجموعة عناصر حيز التعريف
تفرض الطبيعة البنيوية للدالة اللوغاريتمية النيبيرية قيوداً صارمة على نطاق حركتها الجبرية؛ حيث لا يمتلك المقدار العددي $\ln(X)$ وجوداً تحليلياً في حقل الأعداد الحقيقية إلا إذا كان المقدار $X$ داخله خاضعاً لشرط التميز الموجب قطيعاً.
تكون الدالة المركبة من الشكل $f(x) = \ln(u(x))$ معرفة من الناحية التحليلية إذا وفقط إذا تحقق الشرط التلازمي: $u(x) > 0$.
ضابط حاسم للبكالوريا: القيمة الصفرية والقيم السالبة تماماً تقع خارج الصلاحية الطوبولوجية للدالة؛ أي أن العبارتين $\ln(0)$ و $\ln(\text{عدد سالب})$ مقادير غير معينة ولا وجود لها في $\mathbb{R}$.
4. التعيين المفهومي للعدد النيبيري المرجعي $e$
تبعاً لخاصية الاستمرار والرتابة التامة للدالة $\ln$ على حيز تعريفها، فإنه يوجد عدد حقيقي فريد وموجب تماماً يُرمز له اصطلاحاً بالرمز $e$ (العدد النيبيري) ويُمثل الحل النظامي الوحيد للمعادلة التحليلية: $\ln(e) = 1$.
تتحدد القيمة المتسامية التقريبية لهذا الثابت الرياضي المرجعي بالمقدار الثابت الكسري: $e \approx 2.718$، وهو يشكل الأساس البنيوي الحاضن للمنظومة اللوغاريتمية النيبيرية.
5. تطبيقات استدلالية مشروحة في تعيين حيز التعريف $D_f$
يلخص الجدول التالي آليات تطبيق القيود الجبرية لتعيين مجالات الصلاحية والاستمرار لثلاث وضعيات مرجعية معتمدة:
| العبارة التحليلية للدالة | المتراجحة الشرطية لوجود العبارة | حيز التعريف الحصيل $D_f$ |
|---|---|---|
| $f(x) = \ln(x-2)$ | $x-2 > 0 \implies x > 2$ | $]2; +\infty[$ |
| $g(x) = \ln(-x)$ | $-x > 0 \implies x < 0$ | $]-\infty; 0[$ |
| $h(x) = \ln(x^2)$ | $x^2 > 0 \implies x \neq 0$ | $\mathbb{R}^* = ]-\infty; 0[ \cup ]0; +\infty[$ |
يُعد التحديد المسبق والدقيق لمجموعة التعريف $D_f$ الخطوة الإجبارية الأولى والأساسية قبل الشروع في معالجة المعادلات، المتراجحات، أو دراسة تغيرات الدوال اللوغاريتمية؛ وذلك لتفادي إدراج حلول دخيلة أو قيم وهمية تقع خارج نطاق الاتصال الطوبولوجي للدالة.