# لوغاريتم طبيعي

اللوغاريتم الطبيعي (بالإنجليزية: Natural logarithm)‏ أو اللوغاريتم النيبيري هي دالة لوغاريتمية للأساس e. وهي الدالة الاصلية للدالة $x\mapsto {{1} \over {x}}$ على $\mathbb {R} _{+}^{*}$ وتنعدم عند 1. تُدوَّن هذه الدالة بـ Log (عدم الخلط مع log والتي تُدوَّن بها دالة اللوغاريتم العشري) أو ln بصفة عامة.

## التاريخ

ويسمى هذا اللوغاريتم أيضا باللوغاريتم النيبيري تكريماً لعالم الرياضيات الاسكتلندي جون نابير الذي أنشأ أول الجداول اللوغاريتمية (والتي ليست في الواقع جداول اللوغاريتمات الطبيعية).
تم وضع مفهوم اللوغاريتم الطبيعي بواسطة غريغوار دو سان فنسان $^{[الإنجليزية]}$ و ألفونس أنطونيو دي ساراسا $^{[الإنجليزية]}$ قبل عام 1649. تضمن عملهم تربيع القطع الزائد الذي معادلته xy = 1 من خلال تحديد مساحة القطاعات الزائدية. تولد حلولهم دالة «اللوغاريتم الزائدي» المطلوبة التي لها خصائص مرتبطة الآن باللوغاريتم الطبيعي.
وضعت أول إشارة للوغاريتم الطبيعي من قبل نيكولاس مركاتور في عمله Logarithmotechnia المنشور في 1668، على الرغم من أن مدرس الرياضيات جون سبيديل $^{[الإنجليزية]}$ قام بالفعل في عام 1619 بتجميع جدول لما كان في الواقع لوغاريتمات طبيعية. لقد قيل إن لوغاريتمات سبيديل كانت ذات الأساس e ، لكن هذا ليس صحيحًا تمامًا بسبب التعقيدات مع القيم المعبر عنها كأعداد صحيحة.

## اتفاق حول الرموز

يشير الرمزان "ln x" و "log$_e$ x" بشكل لا لبس فيه إلى اللوغاريتم الطبيعيّ لِـx. وقد يُفهم من الرمز "log x" دون أي ذكر صريح لأي أساس أنه لوغاريتم طبيعيّ لِـx. يشيع هذا الفهم بين الأوساط العلميّة وفي الرياضيات بالإضافة إلى بعض لغات البرمجة. يُمكن استخدم الرمز "log x" في بعض السياقات الأخرى للإشارة إلى اللوغاريتم ذو الأساس 10.
تاريخياً، أُدخلت الرموز "l." و "l" إلى الاستخدام منذ ثلاثينيات القرن الثامن عشر 1730s على الأقل، وبقيت حتى أربعينيات القرن التاسع عشر 1840s على الأقل، أما الرمز "log." أو "log"، فمنذ تسعينيات القرن الثامن عشر 1790s على الأقل. أخيراً، في القرن العشرين سُجِلَت الرموز "Log" و "logh".

## أصل مصطلح اللوغاريتم الطبيعي

تنتج الدالة $n\mapsto (e^{n},e^{-n})$ وذلك من أجل n ∈ ℤ تسلسل ثنائي لانهائيّ من النقاط يُمثّل قطعاً زائداً. عندما تُوصَل نقطتان متجاورتان إلى النقطة (0,0) بواسطة أشعة القطع الزائد، حينها يتشكَّل قطاع من هذا القطع الزائد، يكون لهذا القطاع منطقة وحدة "unit area". وبالتالي فإن المنطقة الكليّة الموجودة داخل القطع الزائد وخطوط مُقارباته منطقةٌ لانهائيّة، بما يتفق مع تباعد المتسلسلة المتناسقة. يتفق قياس المنطقة مع قياس القوس في كلا الدائرة والقطع الزائد الأيمن: ففي دائرة نصف قطرها √2 يكون لقوس القطاع الدائريّ زاوية تساوي منطقة القطاع. وبالمثل، تُقاس زاوية القطع الزائد للقوس القطع الزائديّ بالمنطقة الموافقة من قطاع القطع الزائد ذو المعادلة xy = 1.
يعود الفضل إلى ليونارد يولر الذي عرَّف بأهمية عدد يولر e=2.71828... كأساس للدالة الأسيّة واللوغاريتم الطبيعيّ. حيث أنه قدَّم لفكرة الدالة المتسامية لتصنيف الدوال المثلثيّة والأسيّة في كتاب مقدمة في تحليل اللانهاية (1748). يتطلَّب تقدير مساحة القطع الزائد اللوغاريتم الطبيعيّ، لذا كان يحول نقص التعبير عن تربيع القطع الزائد دون حساب التكامل، حتى وصفه جريجوري دي سانت-فينست (1647) بميزة لوغاريتميّة: إن توافق تسلسل حسابيّ من المناطق مع التسلسل الهندسيّ للمُقاربات. قادت توضيحات نيكولاس مركاتور وكريستيان هوغنس إلى مقدمة يولر التي فصَّلت الدوال الدائريّة من حيث السلسلة اللانهائيّة.
إن صلة الوصل بين المنطقة وأقواس الدائرة ودوال القطع الزائد تُظهر «طبيعيّة» اللوغاريتم.

## التعريفات

رسمياً، في حالة a يُمكن تعريف اللوغاريتم الطبيعيّ بأنه المنطقة تحت القطع الزائد 1/x. هذا هو التكامل
    $\ln a=\int _{1}^{a}{\frac {1}{x}}\,dx.$
هذه الدالة لوغاريتم لأن توافق المبدأ الأساسيّ للوغاريتم:
    $\ln(ab)=\ln a+\ln b.$
يُمكن توضيح ذلك من خلال تقسيم التكامل الذي يُعرِّف ln(ab) إلى جزأين ومن ثُمّ المكاملة بالتعويض x = ta في الجزء الثاني، وفق الآتي:
    ${\begin{aligned}\ln(ab)=\int _{1}^{ab}{\frac {1}{x}}\,dx&=\int _{1}^{a}{\frac {1}{x}}\,dx+\int _{a}^{ab}{\frac {1}{x}}\,dx\\[5pt]&=\int _{1}^{a}{\frac {1}{x}}\,dx+\int _{1}^{b}{\frac {1}{at}}\,d(at)\\[5pt]&=\int _{1}^{a}{\frac {1}{x}}\,dx+\int _{1}^{b}{\frac {1}{t}}\,dt\\[5pt]&=\ln a+\ln b.\end{aligned}}$
في المصطلحات الأوليّة، هذا مجرد تحجيم بواسطة 1/a في الاتجاه الأفقيّ وبواسطة a في الاتجاه العموديّ. لا تتغير المنطقة تحت هذا التحوّل، ولكن يتم إعادة تشكيل المنطقة بين a و ab. لأن الدالة a/(ax) تُساوي الدالة 1/x، تكون المنطقة الناتجة بالضبط ln(b).
يُعرَّف العدد e بأنه عدد حقيقيّ فريد a حيث ln(a) = 1.
بدلاً من ذلك، إذا عُرِّفت الدالة الأسيّة أولاً، قل باستخدام سلسلة لانهائيّة، قد يُعرَّف اللوغاريتم الطبيعيّ بالدالة العكسيّة مثلاً ln هي كالدالة الآتية exp(ln(x)) = x. وبما أن مجال الدالة الأسيّة متزايد بحدّة، فإن ذلك مُحدَّد بشكل جيّد لجميع قيم x الإيجابيّة.

## خاصيات
### اتصال ورتابة دالة اللوغاريتم الطبيعي

نستنتج مما سبق ان الدالة ln معرفة على $]0;+\infty [$ وقابلة للاشتقاق على هذا المجال و:
$\forall x\in \mathbb {R} _{+}^{*},\ \ln '(x)={\frac {1}{x}}$
و منه الدالة ln متصلة على $]0;+\infty [$ وبما ان مشتقتها موجبة قطعا فإنها تزايدية قطعا على $]0;+\infty [$

### عمليات على دالة اللوغاريتم الطبيعي

لتكن f دالة معرفة ب $\ f(x)=\ln(ax)$ حيث a و x عددان موجبان قطعا. مشتقة هي نفس مشتقة دالة اللوغاريتم الطبيعي أي أن:
$\ f(x)=\ln(x)+k\ /\ k\in \ R$
و بما ان: f(1) =k فان: ln(a)=k اذن وبصفة عامة:
* $\forall (a;b)\in ]0:+\infty [^{2},\ \ln(ab)=\ln(a)+\ln(b)$
من هذه الخاصية نستنتج الخاصيات التالية:
* $\forall (a;b)\in ]0:+\infty [^{2},\ \ln \left({\frac {a}{b}}\right)=\ln(a)-\ln(b)$
* $\forall a\in ]0;+\infty [,\ \forall n\in \mathbb {Z} ,\ \ln(a^{n})=n\ln(a)$
* $\forall a\in ]0;+\infty [,\ \forall r\in \mathbb {Q} ,\ \ln(a^{r})=r\ln(a)$
* $\forall a\in \mathbb {R} ^{*},\ \forall k\in \mathbb {Z} ^{*},\ \ln(a^{2k})=2k\ln |a|$ (حالة خاصة)
* $\forall (a_{1},a_{2},....,a_{k})\in ]0:+\infty [^{k},\ \sum _{n=1}^{k}\ln(a_{n})=\ln(\prod _{n=1}^{k}a_{n})$
حيث يشير الرمز $\prod$ إلى جداء.

## الاشتقاق والمتسلسلات
### الإشتقاق

يتم الحصول على مشتق اللوغاريتم الطبيعي كدالة ذات قيمة حقيقية على الأعداد الحقيقية الموجبة بواسطة:
    ${\frac {d}{dx}}\ln x={\frac {1}{x}}$
إثبات
    ${\begin{aligned}{\frac {d}{dx}}\ln x&=\lim _{h\to 0}{\frac {\ln(x+h)-\ln x}{h}}\\&=\lim _{h\to 0}\left({\frac {1}{h}}\ln \left({\frac {x+h}{x}}\right)\right)\\&=\lim _{h\to 0}\ln \left(1+{\frac {h}{x}}\right)^{\frac {1}{h}}\quad &&\\&=\ln \lim _{h\to 0}\left(1+{\frac {h}{x}}\right)^{\frac {1}{h}}\quad &&\\&=\ln e^{1/x}\quad &&\\&={\frac {1}{x}}\quad &&\end{aligned}}$

### المتسلسلات

إذا كان $\vert x-1\vert \leq 1$ و $x\neq 0$ ، فإن:
    ${\begin{aligned}\ln x&=\int _{1}^{x}{\frac {1}{t}}\,dt=\int _{0}^{x-1}{\frac {1}{1+u}}\,du\\&=\int _{0}^{x-1}(1-u+u^{2}-u^{3}+\cdots )\,du\\&=(x-1)-{\frac {(x-1)^{2}}{2}}+{\frac {(x-1)^{3}}{3}}-{\frac {(x-1)^{4}}{4}}+\cdots \\&=\sum _{k=1}^{\infty }{\frac {(-1)^{k-1}(x-1)^{k}}{k}}.\end{aligned}}$
هذه هي متسلسلة تايلور لـ ln x زائد 1. يؤدي تغيير المتغيرات إلى توليد متسلسلة ميركاتور:
    $\ln(1+x)=\sum _{k=1}^{\infty }{\frac {(-1)^{k-1}}{k}}x^{k}=x-{\frac {x^{2}}{2}}+{\frac {x^{3}}{3}}-\cdots ,$
صالحة من أجل |x| ≤ 1 و x ≠ −1.

## دالة اللوغاريتم الطبيعي في التكامل

بمكاملة دالة المقلوب، نتحصل على اللوغاريتم الطبيعي للقيمة المطلقة لـ x، بتعبير آخر:
$\int {\frac {1}{x}}\,dx=\ln |x|+C$ و $\int {{\frac {f'(x)}{f(x)}}\,dx}=\ln |f(x)|+C$.
فيما يلي مثال في حالة g (x) = tan (x):
${\begin{aligned}&\int \tan x\,dx=\int {\frac {\sin x}{\cos x}}\,dx\\[6pt]&\int \tan x\,dx=\int {\frac {-{\frac {d}{dx}}\cos x}{\cos x}}\,dx.\end{aligned}}$
نعتبر f (x) = cos (x):
$\int \tan x\,dx=-\ln \left|\cos x\right|+C$
$\int \tan x\,dx=\ln \left|\sec x\right|+C$ حيث sec (x) هي دالة القاطع.
حيث C هو ثابت التكامل. يمكننا مكاملة اللوغاريتم الطبيعي باستخدام التكامل بالتجزئة:
$\int \ln x\,dx=x\ln x-x+C$
لتكن:
    $u=\ln x\Rightarrow du={\frac {dx}{x}}$
    $dv=dx\Rightarrow v=x$
    إذن:
    ${\begin{aligned}\int \ln x\,dx&=x\ln x-\int {\frac {x}{x}}\,dx\\&=x\ln x-\int 1\,dx\\&=x\ln x-x+C\end{aligned}}$
تكامل الدالة المركبة $\ln(ax+b)$ هو:
    $\int \ln(ax+b)\,dx={\frac {(ax+b)\ln(ax+b)-(ax+b)}{a}}$

## الكسور المستمرة

في حين لا توجد كسور مستمرة بسيطة مُتاحة، فإن العديد من الكسور المستمرة المُعمَّمة هي، بما في ذلك:
    ${\begin{aligned}\ln(1+x)&={\frac {x^{1}}{1}}-{\frac {x^{2}}{2}}+{\frac {x^{3}}{3}}-{\frac {x^{4}}{4}}+{\frac {x^{5}}{5}}-\cdots \\[5pt]&={\cfrac {x}{1-0x+{\cfrac {1^{2}x}{2-1x+{\cfrac {2^{2}x}{3-2x+{\cfrac {3^{2}x}{4-3x+{\cfrac {4^{2}x}{5-4x+\ddots }}}}}}}}}}\end{aligned}}$
    حيث تسمى المتسلسلة الأولى «متسلسلة مركاتور».
    ${\begin{aligned}\ln \left(1+{\frac {x}{y}}\right)&={\cfrac {x}{y+{\cfrac {1x}{2+{\cfrac {1x}{3y+{\cfrac {2x}{2+{\cfrac {2x}{5y+{\cfrac {3x}{2+\ddots }}}}}}}}}}}}\\[5pt]&={\cfrac {2x}{2y+x-{\cfrac {(1x)^{2}}{3(2y+x)-{\cfrac {(2x)^{2}}{5(2y+x)-{\cfrac {(3x)^{2}}{7(2y+x)-\ddots }}}}}}}}\end{aligned}}$
فهذه الكسور المستمرة، وبشكل محدد الأخير، هذه الكسور تتقارب للقيم القريبة من الواحد. على أي حال، يمكن حساب اللوغاريتمات الطبيعيّة لمعظم الأرقام الأكبر ببساطة عبر إضافة هذه الأرقام الأصغر بشكل متكرر، مع تقارب سريع مماثل. على سبيل المثال بما أن 2 = 1.25$^3$ × 1.024 يمكن حساب اللوغاريتم الطبيعيّ لِـ2 بالشكل الآتي:
    ${\begin{aligned}\ln 2&=3\ln \left(1+{\frac {1}{4}}\right)+\ln \left(1+{\frac {3}{125}}\right)\\[8pt]&={\cfrac {6}{9-{\cfrac {1^{2}}{27-{\cfrac {2^{2}}{45-{\cfrac {3^{2}}{63-\ddots }}}}}}}}+{\cfrac {6}{253-{\cfrac {3^{2}}{759-{\cfrac {6^{2}}{1265-{\cfrac {9^{2}}{1771-\ddots }}}}}}}}.\end{aligned}}$
علاوةً على ذلك، بما أن 10 = 1.25$^{10}$ × 1.024$^3$ فإن اللوغاريتم الطبيعيّ لِـ10 يمكن حسابه وبطريقة مُشابهة لما سبق، وفق الآتي:
    ${\begin{aligned}\ln 10&=10\ln \left(1+{\frac {1}{4}}\right)+3\ln \left(1+{\frac {3}{125}}\right)\\[10pt]&={\cfrac {20}{9-{\cfrac {1^{2}}{27-{\cfrac {2^{2}}{45-{\cfrac {3^{2}}{63-\ddots }}}}}}}}+{\cfrac {18}{253-{\cfrac {3^{2}}{759-{\cfrac {6^{2}}{1265-{\cfrac {9^{2}}{1771-\ddots }}}}}}}}.\end{aligned}}$

## اللوغاريتم العقدي

يعرف كالآتي:
$\ln(xi)=\ln |x|+i\pi$
* تمثيل z = abs(Im(ln(x + yi)))
* تمثيل z = Re(ln(x + yi))
* تمثيل z = abs(ln(x + yi))
* تراكب الرسوم البيانية الثلاثة السابقة