2
解説大学数学以上
解説11
$$\newcommand{a}[1]{\left\langle#1\right\rangle}
\newcommand{arccot}[0]{\mathrm{arccot}}
\newcommand{arccsc}[0]{\mathrm{arccsc}}
\newcommand{arcosh}[0]{\mathrm{arcosh}}
\newcommand{arcoth}[0]{\mathrm{arcoth}}
\newcommand{arcsch}[0]{\mathrm{arcsch}}
\newcommand{arcsec}[0]{\mathrm{arcsec}}
\newcommand{arsech}[0]{\mathrm{arsech}}
\newcommand{arsinh}[0]{\mathrm{arsinh}}
\newcommand{artanh}[0]{\mathrm{artanh}}
\newcommand{c}[1]{\left\{#1\right\}}
\newcommand{C}[0]{\mathbb{C}}
\newcommand{ce}[1]{\left\lceil#1\right\rceil}
\newcommand{class}[3]{C^{#1}\r{#2;#3}}
\newcommand{csch}[0]{\mathrm{csch}}
\newcommand{d}[0]{\displaystyle}
\newcommand{D}[0]{\mathbb{D}}
\newcommand{dd}[0]{\mathrm{d}}
\newcommand{div}[0]{\mathrm{div}}
\newcommand{division}[0]{÷}
\newcommand{dv}[1]{\frac{\dd}{\dd#1}}
\newcommand{eq}[2]{\exists#1\ \mathrm{s.t.}\ #2}
\newcommand{f}[1]{\left\lfloor#1\right\rfloor}
\newcommand{grad}[0]{\mathrm{grad}\ }
\newcommand{half}[0]{\frac{1}{2}}
\newcommand{halfpi}[0]{\frac{\pi}{2}}
\newcommand{i}[4]{\int_{#2}^{#3}#4\mathrm{d}#1}
\newcommand{l}[3]{\lim_{#1\rightarrow#2}#3}
\newcommand{map}[2]{\mathrm{Map}\r{#1,#2}}
\newcommand{N}[0]{\mathbb{N}}
\newcommand{p}[4]{\prod_{#1=#2}^{#3}#4}
\newcommand{pdv}[1]{\frac{\partial}{\partial#1}}
\newcommand{Q}[0]{\mathbb{Q}}
\newcommand{r}[1]{\left(#1\right)}
\newcommand{R}[0]{\mathbb{R}}
\newcommand{rot}[0]{\mathrm{rot}\ }
\newcommand{s}[1]{\left[#1\right]}
\newcommand{sdif}[2]{#1\backslash#2}
\newcommand{sech}[0]{\mathrm{sech}}
\newcommand{set}[2]{\c{#1:#2}}
\newcommand{sll}[2]{\left[#1,#2\right[}
\newcommand{slr}[2]{\left[#1,#2\right]}
\newcommand{srl}[2]{\left]#1,#2\right[}
\newcommand{srr}[2]{\left]#1,#2\right]}
\newcommand{su}[4]{\sum_{#1=#2}^{#3}#4}
\newcommand{uq}[2]{\forall#1,\ #2}
\newcommand{v}[1]{\left|#1\right|}
\newcommand{Z}[0]{\mathbb{Z}}
$$
@infseriesbot さんがツイートした こちらの定理 の解説です．
以下の等式が成り立ちます．
$\d\i{x}{0}{1}{\r{\frac{1}{1-x}+\frac{1}{\ln x}}}=\gamma$
解説
\begin{align*} &\i{x}{0}{1}{\r{\frac{1}{1-x}+\frac{1}{\ln x}}}\\ =&\i{x}{0}{1}{\lim_{s\searrow0}\r{\frac{\r{-\ln x}^{s}}{1-x}+\frac{\r{-\ln x}^{s}}{\ln x}}}\\ =&\i{x}{0}{1}{\lim_{s\searrow0}\r{\r{-\ln x}^{s}\su{k}{1}{\infty}{x^{k-1}}-\r{-\ln x}^{s-1}}}\\ =&\i{x}{0}{1}{\lim_{s\searrow0}\r{\su{k}{1}{\infty}{\frac{-\r{-k\ln x}^{s+1-1}e^{-\r{-k\ln x}}\r{-\frac{k}{x}}}{k^{s+1}}}+\r{-\ln x}^{s-1}e^{-\r{-\ln x}}\r{-\frac{1}{x}}}}\\ =&\s{\lim_{s\searrow0}\r{\su{k}{1}{\infty}{\frac{\Gamma\r{s+1,-k\ln x}}{k^{s+1}}}-\Gamma\r{s,-\ln x}}}_{x=0}^1\\ =&\lim_{s\searrow0}\r{\su{k}{1}{\infty}{\frac{\Gamma\r{s+1}}{k^{s+1}}}-\Gamma\r{s}}\\ =&\lim_{s\searrow0}\r{\zeta\r{s+1}\Gamma\r{s+1}-\frac{\Gamma\r{s+1}}{s}}\\ =&\lim_{s\searrow0}\Gamma\r{s+1}\r{\zeta\r{s+1}-\frac{1}{s}}\\ =&\Gamma\r{1}\gamma\\ =&\gamma \end{align*}
なので，$\d\i{x}{0}{1}{\r{\frac{1}{1-x}+\frac{1}{\ln x}}}=\gamma$です．$\blacksquare$
余談ですが，これにより$\mathrm{li}\r{x}=\ln\r{1-x}+\gamma+o\r{1}\ \mathrm{as}\ x\nearrow1$がわかります．
投稿日：2021年3月14日
更新日：2021年5月26日
投稿者
投稿者
この記事を高評価した人
この記事を高評価した人
高評価したユーザはいません
コメント
コメント