دالة التكامل اللوغاريتمي

في الرياضيات، دالة التكامل اللوغاريتمي (بالإنجليزية: Logarithmic integral function)‏ أو اللوغاريتم التكاملي $\mathrm{l}\mathrm{i}(x)$ هي دالة خاصة. إنها ذات صلة بمشاكل الفيزياء ولها أهمية في نظرية الأعداد. على وجه الخصوص، وفقًا لمبرهنة سيغل-فالفيش ، يعتبر هذا تقريبًا جيدًا للدالة المعدة للأعداد الأولية، التي هي معرفة على أنها عدد الأعداد الأولية أقل من أو تساوي قيمة معينة $x$.

تمثيل دالة التكامل اللوغاريتمي

التمثيل التكاملي

التكامل اللوغاريتمي له تمثيل تكاملي المعرفة على جميع الأعداد الحقيقية الموجبة مع x ≠1 من قبل التكامل المحدد.

$\mathrm{l}\mathrm{i}(x)=\underset{0}{\overset{x}{\int }}\frac{dt}{\ln t}.$

هنا، يشير ln إلى اللوغاريتم الطبيعي . الدالة 1/ln(t) لها نقطة تفرد عند t =1 ، والتكامل من أجل x  > 1  يجب أن تفسر على أنها قيمة رئيسية لكوشي.

$\mathrm{l}\mathrm{i}(x)=\underset{\epsilon \to 0+}{\lim }(\underset{0}{\overset{1-\epsilon }{\int }}\frac{dt}{\ln t}+\underset{1+\epsilon }{\overset{x}{\int }}\frac{dt}{\ln t}).$

التكامل اللوغاريتمي لأويلر

يتم تعريف التكامل اللوغاريتمي لأويلر كما يلي:

$\mathrm{L}\mathrm{i}(x)=\mathrm{l}\mathrm{i}(x)-\mathrm{l}\mathrm{i}(2)$

يمكن تمثيله على شكل التكامل:

$\mathrm{L}\mathrm{i}(x)=\underset{2}{\overset{x}{\int }}\frac{dt}{\ln t}$

على هذا النحو، فإن تمثيل التكامل له ميزة تجنب التفرد في مجال المكاملة.

القيم الخاصة

الدالة li(x) لها جذر موجب؛ تنعدم عند

x ≈ 1.45136 92348 83381 05028 39684 85892 02744 94930...

؛ يُعرف هذا العدد باسم ثابت رامانوجان-سولدنر (بالإنجليزية: Ramanujan–Soldner constant)‏.

−Li(0) = li(2) ≈ 1.045163 780117 492784 844588 889194 613136 522615 578151...

تمثل القيمة السابقة: $-(\mathrm{\Gamma }(0,-\ln 2)+i\pi )$، حيث $\mathrm{\Gamma }(a,x)$ هي دالة غاما غير كاملة ؛ تُعرف هذه القيمة بقيمة كوشي الرئيسية للدالة.

تمثيله على شكل متسلسلة

$\mathrm{l}\mathrm{i}(x)=\gamma +\ln \ln x+\sqrt{x}\sum _{n=1}^{\mathrm{\infty }}\frac{(-1{)}^{n-1}(\ln x{)}^n}{n!2^{n-1}}\sum _{k=0}^{\lfloor (n-1)/2\rfloor }\frac{1}{2k+1}.$

حيث γ ≈ 0.57721 56649 01532 هي ثابتة أويلر-ماسكيروني.

أهميتها في نظرية الأعداد

تعتبر دالة التكامل اللوغاريتمي مهمة في نظرية الأعداد، حيث تظهر في تقديرات عدد الأعداد الأولية أقل من قيمة معينة. على سبيل المثال، تنص مبرهنة الأعداد الأولية على أن دالة التكامل اللوغاريتمي لأويلر تشبه الدالة المعدة للأعداد الأولية، بتعبير رياضي:

$\pi (x)\sim \mathrm{L}\mathrm{i}(x)$

حيث تشير $\pi (x)$ إلى عدد الأعداد الأولية الأصغر من أو يساوي $x$ وليس لديها أي صلة مع العدد π.

انظر أيضًا

• يورغن بيدرسن غرام
• تكامل أسي