解けない定積分の整数部分について～2023東工大数学を題材に～

導入

　解けない定積分について考察する場面は多いです．入試問題であれば定積分の極限や整数部分などを考察することになるでしょうし，機械学習やベイズ推定の文脈でも考察することがあります．なんにせよ，解けない定積分は私たちの前によく現れます．今回は，2023年の東工大の数学を題材に解けない定積分，特にその整数部分について考察してみようと思います．

背景

題材

　今回，題材となる問題は以下の問題です．また$\log$は自然対数とします．

問題

完答は中々に難しい（はず）です．解答を以下に付しておきます．

解答

　${\displaystyle I={\int }_0^{2023}{\displaystyle \frac{2}{x+e^x}}dx}$とおく．$N\le I<N+1$なる$N\in \mathbb{Z}$を求めればよい．$I$を上から評価すると
$$I\le {\int }_0^{2023}\frac{2}{e^x}dx=2(1-e^{-2023})<2$$
を得るので，$N=1$が予想できる．以下，$I\ge 1$を示す．$e^x$のTaylor展開を考えると，$x>0$での不等式$e^x\ge 1+x$すなわち$x\le e^x-1$を得る．よって
$$I\ge {\int }_0^{2023}\frac{2}{2e^x-1}dx={\int }_0^{2023}\frac{2e^{-x}}{2-e^{-x}}dx=2\log (2-e^{-2023}).$$
ここで$e^{-2023}<0.2(\because e^{2023}>2^3>5)$ゆえ
$$I>2\log (1.8)=\log (3.24)>\log e=1.$$
以上より$1\le I<2$がいえたので$N=1$．よって求める整数部分は$1$．

問題

　それでは，少し一般化した以下の問題を考察してみます．

まず，すぐ分かることは$I(a)$は単調減少であるということです．さらに（いきなりこの操作をするのは微妙ですが）${\displaystyle \underset{a\to +0}{lim}I(a)=\mathrm{\infty }}$，${\displaystyle \underset{a\to \mathrm{\infty }}{lim}I(a)=0}$が成り立ちます．そして$\lfloor I(e)\rfloor =1$であることが分かっています．というわけで

が成り立ちそうです．また，$a^x$は，$a=1$を境に単調増加と単調減少が切り替わるので
(1) $1<a$
(2) $0<a\le 1$
と$a$の値で場合分けするのがよさそうです．

考察

　以下の補題を準備します．

$1<a$のとき

$e^2\le a$のとき

　補題１を用いると以下の命題が証明できます．

$1<a<e^2$のとき

　$a>1$のときに成立する，以下の不等式を証明します．

補題３で導出した下界$2\log {\displaystyle \frac{\log a+1-a^{-2023}}{\log a}}$を用いて，以下の命題が証明できます．

上記の証明での$\xi$の最大値（つまり下界の値が1と一致し，以降1より小さくなるような$\xi$）が，${\xi }^{\ast }$と一致することに注意します．もう既に$1<I(e)<2$であることは分かっているので，$e\le {\xi }^{\ast }$が成り立つことも分かります．

$0<a\le 1$のとき

　現在，いろいろ試行錯誤中です．何か結果が出たら追記します．

結論

　いろいろ計算をした結果，少なくとも次のようなことが分かりました：
$$\lfloor I(a)\rfloor =\{\begin{array}{ll}\text{unknown}& (0<a<e),\\ 1& (e\le a\le {\xi }^{\ast }),\\ \text{unknown}& ({\xi }^{\ast }<a<e^2),\\ 0& (e^2\le a).\end{array}$$

あとがき

　私の数学力の低さにより，完全な解析解を導出することはできませんでした．おそらく数値計算で数値解をある程度見つけるしかないんでしょうかね？今回，考察しきれなかった部分は
$$I(a)={\int }_0^{2023}\frac{2}{x+a^x}dx\approx \frac{1}{n}\sum _{k=1}^{2023n}\frac{2}{{\displaystyle \frac{k}{n}}+a^{\frac{k}{n}}}=:J(a,n)$$
と近似して，数値計算することが必要になりそうです．