اللوغاريتم الطبيعي (بالإنجليزية: Natural logarithm)‏ أو اللوغاريتم النِيبْيَري هي دالة لوغاريتمية للأساس e. وهي الدالة الاصلية للدالة x1/x على ]0;+[ وتنعدم في 1. يُرمز لهذه الدالة ب Log (عدم الخلط مع log والتي ترمز لدالة اللوغاريتم العشري) أو ln بصفة عامة.

لوغاريتم طبيعي
منحنى دالة اللوغاريتم الطبيعي. تتزايد الدالة ببطء إلى زائد ما لا نهاية له عندما يصير x كبيرا، بينما تذهب إلى ناقص ما لا نهاية له بسرعة كبيرة عندما يقترب x من الصفر. محور y هو خط مقارب للدالة.
منحنى دالة اللوغاريتم الطبيعي. تتزايد الدالة ببطء إلى زائد ما لا نهاية له عندما يصير x كبيرا، بينما تذهب إلى ناقص ما لا نهاية له بسرعة كبيرة عندما يقترب x من الصفر. محور y هو خط مقارب للدالة.
منحنى دالة اللوغاريتم الطبيعي. تتزايد الدالة ببطء إلى زائد ما لا نهاية له عندما يصير x كبيرا، بينما تذهب إلى ناقص ما لا نهاية له بسرعة كبيرة عندما يقترب x من الصفر. محور y هو خط مقارب للدالة.
تدوين ln(x)
تعريف الدالة ln(x)=1xdtt
دالة عكسية ex
مشتق الدالة 1x على المجال ]0;+[
مشتق عكسي
(تكامل)
xln(x)x+C
الميزات الأساسية
مجال الدالة +*=]0;+[
المجال المقابل
قيم محددة
القيمة/النهاية عند الصفر على اليمين:
نهاية الدالة عند +∞ +
القيمة/النهاية عند 1 0
القيمة/النهاية عند e 1
خطوط مقاربة x=0
جذور الدالة 1

التاريخ

ويسمى هذا اللوغاريتم أيضا باللوغاريتم النيبيري تكريماً لعالم الرياضيات الاسكتلندي جون نابير الذي أنشأ أول الجداول اللوغاريتمية (والتي ليست في الواقع جداول اللوغاريتمات الطبيعية).

تم وضع مفهوم اللوغاريتم الطبيعي بواسطة غريغوار دو سان فنسان [English] و ألفونس أنطونيو دي ساراسا [English] قبل عام 1649. تضمن عملهم تربيع القطع الزائد الذي معادلته xy = 1 من خلال تحديد مساحة القطاعات الزائدية. تولد حلولهم دالة «اللوغاريتم الزائدي» المطلوبة التي لها خصائص مرتبطة الآن باللوغاريتم الطبيعي.

وضعت أول إشارة للوغاريتم الطبيعي من قبل نيكولاس مركاتور في عمله Logarithmotechnia المنشور في 1668، [1] على الرغم من أن مدرس الرياضيات جون سبيديل [English] قام بالفعل في عام 1619 بتجميع جدول لما كان في الواقع لوغاريتمات طبيعية. لقد قيل إن لوغاريتمات سبيديل كانت ذات الأساس e ، لكن هذا ليس صحيحًا تمامًا بسبب التعقيدات مع القيم المعبر عنها كأعداد صحيحة.

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

يشير الرمزان "ln x" و "loge x" بشكل لا لبس فيه إلى اللوغاريتم الطبيعيّ لِـx. وقد يُفهم من الرمز "log x" دون أي ذكر صريح لأي أساس أنه لوغاريتم طبيعيّ لِـx. يشيع هذا الفهم بين الأوساط العلميّة وفي الرياضيات بالإضافة إلى بعض لغات البرمجة.(ملاحظة 1) يُمكن استخدم الرمز "log x" في بعض السياقات الأخرى للإشارة إلى اللوغاريتم ذو الأساس 10.

تاريخياً، أُدخلت الرموز "l." و "l" إلى الاستخدام منذ ثلاثينيات القرن الثامن عشر 1730s على الأقل،[2][3] وبقيت حتى أربعينيات القرن التاسع عشر 1840s على الأقل،[4] أما الرمز "log."[5] أو "log"،[6] فمنذ تسعينيات القرن الثامن عشر 1790s على الأقل. أخيراً، في القرن العشرين سُجِلَت الرموز "Log"[7] و "logh".[8]

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

 
وحدة من منطقة تصف عدد يولر.

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

التعريفات

 
يعرف (ln(a بالمساحة الملونة الموجودة تحت منحنى الدالة f(x) = 1/x ابتداء من 1 حتى a.

رسمياً، في حالة a يُمكن تعريف اللوغاريتم الطبيعيّ بأنه المنطقة تحت القطع الزائد 1/x. هذا هو التكامل

lna=1a1xdx.

هذه الدالة لوغاريتم لأن توافق المبدأ الأساسيّ للوغاريتم:

ln(ab)=lna+lnb.

يُمكن توضيح ذلك من خلال تقسيم التكامل الذي يُعرِّف ln(ab) إلى جزأين ومن ثُمّ المكاملة بالتعويض x = ta في الجزء الثاني، وفق الآتي:

ln(ab)=1ab1xdx=1a1xdx+aab1xdx[5pt]=1a1xdx+1b1atd(at)[5pt]=1a1xdx+1b1tdt[5pt]=lna+lnb.

في المصطلحات الأوليّة، هذا مجرد تحجيم بواسطة 1/a في الاتجاه الأفقيّ وبواسطة a في الاتجاه العموديّ. لا تتغير المنطقة تحت هذا التحوّل، ولكن يتم إعادة تشكيل المنطقة بين a و ab. لأن الدالة a/(ax) تُساوي الدالة 1/x، تكون المنطقة الناتجة بالضبط ln(b).
يُعرَّف العدد e بأنه عدد حقيقيّ فريد a حيث ln(a) = 1.
بدلاً من ذلك، إذا عُرِّفت الدالة الأسيّة أولاً، قل باستخدام سلسلة لانهائيّة، قد يُعرَّف اللوغاريتم الطبيعيّ بالدالة العكسيّة مثلاً ln هي كالدالة الآتية exp(ln(x)) = x. وبما أن مجال الدالة الأسيّة متزايد بحدّة، فإن ذلك مُحدَّد بشكل جيّد لجميع قيم x الإيجابيّة.

خاصيات

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

نستنتج مما سبق ان الدالة ln معرفة على ]0;+[ وقابلة للاشتقاق على هذا المجال و:

x+*,ln(x)=1x

و منه الدالة ln متصلة على ]0;+[ وبما ان مشتقتها موجبة قطعا فإنها تزايدية قطعا على ]0;+[

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

لتكن f دالة معرفة ب f(x)=ln(ax) حيث a و x عددان موجبان قطعا. مشتقة هي نفس مشتقة دالة اللوغاريتم الطبيعي أي أن:

f(x)=ln(x)+k/kR

و بما ان: f(1) =k فان: ln(a)=k اذن وبصفة عامة:

  • (a;b)]0:+[2,ln(ab)=ln(a)+ln(b)

من هذه الخاصية نستنتج الخاصيات التالية:

  • (a;b)]0:+[2,ln(ab)=ln(a)ln(b)
  • a]0;+[,n,ln(an)=nln(a)
  • a]0;+[,r,ln(ar)=rln(a)
  • a*,n*,ln(a2n)=2nln|a| (حالة خاصة)
  • (a1,a2,....,ak)]0:+[k,n=1kln(an)=ln(n=1kan)

حيث يشير الرمز إلى جداء.

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

الإشتقاق

يتم الحصول على مشتق اللوغاريتم الطبيعي كدالة ذات قيمة حقيقية على الأعداد الحقيقية الموجبة بواسطة:

ddxlnx=1x

إثبات

ddxlnx=limh0ln(x+h)lnxh=limh0(1hln(x+hx))=limh0ln(1+hx)1h=lnlimh0(1+hx)1h=lne1/x=1x

المتسلسلات

إذا كان |x1|1 و x0 ، فإن:[10]

lnx=1x1tdt=0x111+udu=0x1(1u+u2u3+)du=(x1)(x1)22+(x1)33(x1)44+=k=1(1)k1(x1)kk.

هذه هي متسلسلة تايلور لـ ln x زائد 1. يؤدي تغيير المتغيرات إلى توليد متسلسلة ميركاتور:

ln(1+x)=k=1(1)k1kxk=xx22+x33,

صالحة من أجل |x| ≤ 1 و x ≠ −1.

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

بمكاملة دالة المقلوب، نتحصل على اللوغاريتم الطبيعي للقيمة المطلقة لـ x، بتعبير آخر:

1xdx=ln|x|+C و f(x)f(x)dx=ln|f(x)|+C.

فيما يلي مثال في حالة g (x) = tan (x):

tanxdx=sinxcosxdx[6pt]tanxdx=ddxcosxcosxdx.

نعتبر f (x) = cos (x):

tanxdx=ln|cosx|+C

tanxdx=ln|secx|+C حيث sec (x) هي دالة القاطع.

حيث C هو ثابت التكامل. يمكننا مكاملة اللوغاريتم الطبيعي باستخدام التكامل بالتجزئة:

lnxdx=xlnxx+C

لتكن:

u=lnxdu=dxx
dv=dxv=x
إذن:
lnxdx=xlnxxxdx=xlnx1dx=xlnxx+C

تكامل الدالة المركبة ln(ax+b) هو:

ln(ax+b)dx=(ax+b)ln(ax+b)(ax+b)a

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

في حين لا توجد كسور مستمرة بسيطة مُتاحة، فإن العديد من الكسور المستمرة المُعمَّمة هي، بما في ذلك:

ln(1+x)=x11x22+x33x44+x55[5pt]=x10x+12x21x+22x32x+32x43x+42x54x+
حيث تسمى المتسلسلة الأولى «متسلسلة مركاتور».
ln(1+xy)=xy+1x2+1x3y+2x2+2x5y+3x2+[5pt]=2x2y+x(1x)23(2y+x)(2x)25(2y+x)(3x)27(2y+x)

فهذه الكسور المستمرة، وبشكل محدد الأخير، هذه الكسور تتقارب للقيم القريبة من الواحد. على أي حال، يمكن حساب اللوغاريتمات الطبيعيّة لمعظم الأرقام الأكبر ببساطة عبر إضافة هذه الأرقام الأصغر بشكل متكرر، مع تقارب سريع مماثل. على سبيل المثال بما أن 2 = 1.253 × 1.024 يمكن حساب اللوغاريتم الطبيعيّ لِـ2 بالشكل الآتي:

ln2=3ln(1+14)+ln(1+3125)[8pt]=69122722453263+625332759621265921771.

علاوةً على ذلك، بما أن 10 = 1.2510 × 1.0243 فإن اللوغاريتم الطبيعيّ لِـ10 يمكن حسابه وبطريقة مُشابهة لما سبق، وفق الآتي:

ln10=10ln(1+14)+3ln(1+3125)[10pt]=209122722453263+1825332759621265921771.

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

يعرف كالآتي:

ln(xi)=ln|x|+iπ

انظر أيضًا

هوامش

ملاحظة 1: تتضمن هذه اللغات سي، وسي ++ و ساس [English] وماتلاب وماثماتيكا وفورتران وبايزيك.

مراجع

  1. ^ O'Connor، J. J.؛ Robertson، E. F. (سبتمبر 2001). "The number e". The MacTutor History of Mathematics archive. مؤرشف من الأصل في 2019-08-14. اطلع عليه بتاريخ 2009-02-02.
  2. ^ Euler، Leonhard (1737). "Variae observationes circa series infinitas". Commentarii academiae scientiarum imperialis Petropolitanae (CASP) (نُشِر في 1744). ج. 9: 160–188. E72.
  3. ^ Euler، Leonhard (1925). Opera Omnia, Series Prima: Opera Mathematica. Teubner. ج. Quartum Decimum.
  4. ^ Cauchy، Augustin. Exercices d'analyse et de physique mathématique. ج. 3. ص. 380. مؤرشف من الأصل في 2015-09-05. اطلع عليه بتاريخ 2015-10-31.
  5. ^ Legendre، Adrien-Marie (1798). Essai sur la théorie des nombres. Paris, France: Duprat, libraire pour les mathématiques, quai des Augustins. ج. VI.
  6. ^ Landau، Edmund (1953) [1909]. Handbuch der Lehre von der Verteilung der Primzahlen (ط. 2). Berlin: Chelsea, New York.
  7. ^ Piskounov، Nikolaï [بfrançais] (1972). Calcul différentiel et intégral (ط. 5). Moskow: Editions Mir. ص. 91. مؤرشف من الأصل في 2015-11-17.
  8. ^ Jolley، L. B. W. (1961). Summation of Series (PDF) (ط. 2 (revised)). New York, USA: Dover Publications, Inc. LCCN:61-65274. مؤرشف من الأصل (PDF) في 2018-04-17. اطلع عليه بتاريخ 2015-10-31.
  9. ^ Ballew، Pat. "Math Words, and Some Other Words, of Interest". مؤرشف من الأصل في 2017-12-05. اطلع عليه بتاريخ 2018-01-18.
  10. ^ "Logarithmic Expansions" at Math2.org نسخة محفوظة 31 يوليو 2019 على موقع واي باك مشين.