عدد ثابت رامانوجان–سولدنر

Ramanujan–Soldner ثابت به عنوان دیده می‌شود در لگاریتمی انتگرال تابع.

در ریاضیات عدد ثابت رامانوجان (همچنین به نام عدد ثابت سولدنر) یک ثابت ریاضی است که تنها صفر منحصر به فرد تابع انتگرال لگاریتم است. این ثابت پس از کاشفان آن سرینیسوا رامانوجان و یوهان سولدنر نام گذاری شده‌است.

مقدار آن حدوداً برابر است با:

μ ≈ ۱٫۴۵۱۳۶۹۲۳۴۸۸۳۳۸۱۰۵۰۲۸۳۹۶۸۴۸۵۸۹۲۰۲۷۴۴۹۴۹۳۰۳۲۲۸… الگو:OEIS

چون انتگرال لگاریتمی به صورت زیر تعریف شده‌است:

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

پس روابط زیر را داریم:

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

$\underset{0}{\overset{x}{\int }}\frac{dt}{\ln t}=\underset{0}{\overset{x}{\int }}\frac{dt}{\ln t}-\underset{0}{\overset{\mu }{\int }}\frac{dt}{\ln t}$

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

که باعث کاهش محاسبات برای اعداد صحیح مثبت می‌شود. همچنین چون تابع انتگرال نمایی در معادله زیر صدق می‌کند

$\mathrm{l}\mathrm{i}(x)=\mathrm{E}\mathrm{i}(\ln x),$

بنابراین تنها صفر مثبت انتگرال نمایی در لگاریتم طبیعی ثابت رامانوجان-سولدنر رخ می‌دهد که مقدار آن حدوداً برابر است با:

ln(μ) ≈ ۰٫۳۷۲۵۰۷۴۱۰۷۸۱۳۶۶۶۳۴۴۶۱۹۹۱۸۶۶… الگو:OEIS

پیوند به بیرون

• الگو:MathWorld