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

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

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

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

μ ≈ ۱٫۴۵۱۳۶۹۲۳۴۸۸۳۳۸۱۰۵۰۲۸۳۹۶۸۴۸۵۸۹۲۰۲۷۴۴۹۴۹۳۰۳۲۲۸… (دنباله A070769 در OEIS)

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

$\mathrm {li} (x)=\int _{0}^{x}{\frac {dt}{\ln t}},$

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

$\mathrm {li} (x)\;=\;\mathrm {li} (x)-\mathrm {li} (\mu )$

$\int _{0}^{x}{\frac {dt}{\ln t}}=\int _{0}^{x}{\frac {dt}{\ln t}}-\int _{0}^{\mu }{\frac {dt}{\ln t}}$

$\mathrm {li} (x)=\int _{\mu }^{x}{\frac {dt}{\ln t}},$

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

$\mathrm {li} (x)\;=\;\mathrm {Ei} (\ln {x}),$

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

ln(μ) ≈ ۰٫۳۷۲۵۰۷۴۱۰۷۸۱۳۶۶۶۳۴۴۶۱۹۹۱۸۶۶… (دنباله A091723 در OEIS)

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

• Weisstein, Eric W. "Soldner's Constant". MathWorld.