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