最近 Sky というオンラインゲームを盛んに遊んでいます.去年あたりに流行っていたゲームで,「今更だけどやってみるかぁ~」って起動したら楽しかったので盛んにやっていた次第です.
これスクショなんですけど.
キャラが可愛いし,風景も綺麗です.
あと,sky という名前の通りばさばさと空を飛ぶことができます.
このゲームの良いところとして,プレイヤー同士が協力したくなるように作られているので,ひとのやさしさに触れることができるというのがあります.
私も,プレイ開始したその日に親切なプレイヤーに手を引いてもらって,ゲーム世界を案内してもらいました.
本当に文字通り「手を引いて」案内してくれたんですよ.嬉しいですね.
まぁそのひとは実は怪しいひとだったので後でブロックしましたが,それでも親切に先導してもらえて楽しかったです.
あと,こんなの気に入ってるのは私だけだと思いますが,このゲーム のプレイヤー界隈では初級者のことを雀というそうです.可愛いですね.「ひよこ」より好きかも.
それはそうとして,Shoup『A Computational Introduction to Number Theory and Algebra』を読んでいきます.
書影を得るためにAmazonのリンクを貼っていますが,この本は著者のHPからPDFが無料でDLできます.単に安いだけでなくとてもおもしろい本なので,興味のある方はぜひどうぞ.
今回やるのは演習問題5.6です.
問題文
Show that for every positive integer constant $k$, $$ \int_2^ x \frac{dt}{(\log t)^ k} = \frac{x}{(\log x)^ k} + O\left( \frac{x}{(\log x)^ {k+1}} \right). $$
回答
それではやっていきましょう.
積分の計算問題のようですが,次あたりでやる問題でこれを補題として使えという指示があります.だから単なる計算問題ではありません.
方針1: $t$ を括り出して部分積分
さて,こういうのは部分積分が鉄板でしょう.
まずは $t$ を括り出してみます.
とみて計算するわけです.
実際に実行すると,定数部分を無視することによって
が得られます.
この式はどうでしょうか?
$x/ (\log x)^ k$ が括り出せたのはめでたいですが, 微妙に届いていないですね.
この後で
を示せば証明完了なのですが,これって示したい式を少し弱くしただけの式で,あまり進捗になっていない気がします.
方針2: $\log t$ を括り出して部分積分
別の方針も試してみましょう.
次は $t$ ではなく $\log t$ を括り出して部分積分をしてみましょう.
とみて積分するわけです.
実際に実行してみると
です.これはかえって遠ざかってる感じですね.この方針はおそらくダメです.
方針3: 置換積分
部分積分はあらかた試したので,今度は置換積分を試しましょう.
次の不等式を使って,置換積分が使える形に帰着しましょう.
この方針に従って計算すると左辺が $O(x \log \log x)$ であることを示すことができますが……これは全然ダメですね.この方針もボツ.
方針4: $x/(\log x)^ {k+1}$ の微分を計算する
ここで一旦気持ちを切り替えていきましょう.
再び示したい式を確認しておきます.これです.
どのように積分を計算するにせよ,$x/ (\log x)^ {k+1}$ の項は積分評価から出てくる可能性が高いです.
それならば,得たい式の方から逆算してみましょう.
$F_k(x) = x/ (\log x)^ {k+1}$ として,導関数を計算してみると
がわかります.したがって
という不等式を使えば,
が得られます.
良い感じですが,方針1で得られた式と見比べてみるとまだ少し足りません.
方針5: 繰り返し適用
ここで方針1の式を繰り返し適用することを思いつきます.
これによって
が得られるので,先ほどの方針4で得た式を適用して,求める不等式を得ます.
これでおしまいです.
感想
私には難しい問題でした.
おそらく作意はもっとストレートだと思うんですが,思いつかなかったのでこねくり回して示す感じになりました.