数学 - Python - 解析学 - 級数 - 積分による判定法 - 対数関数、累乗(べき乗、平方)、逆数、部分積分法、極限、収束

解析入門 原書第3版
原著
楽天ブックス Yahoo!

学習環境

• Surface、Surface ペン(端末)
• Windows 10 Pro (OS)
• Nebo(Windows アプリ)
• iPad Pro 10.5 + Apple Pencil
• MyScript Nebo - MyScript(iPad アプリ(iOS))
• 参考書籍
  • Pythonからはじめる数学入門 (楽天ブックス Yahoo!)
  • JavaScriptリファレンス 第6版 (楽天ブックス Yahoo!)
  • インタラクティブ・データビジュアライゼーション (楽天ブックス Yahoo!)

解析入門 原書第3版 (S.ラング(著)、松坂 和夫(翻訳)、片山 孝次(翻訳)、岩波書店)の第4部(級数)、第15章(級数)、4(積分による判定法)の練習問題5を求めてみる。

5. 
   
   $\begin{array}{l}{\int \; <!--\; integral\; -->}_2^b\frac{1}{x{\left(\log x\right)}^2}\mathrm{dx}\\ ={\left[\left(\log x\right)·\; <!--\; middle\; dot\; -->\frac{1}{{\left(\log x\right)}^2}\right]}_2^b-{\int \; <!--\; integral\; -->}_2^b\frac{-2\log x}{{\left(\log x\right)}^4}·\; <!--\; middle\; dot\; -->\frac{1}{x}\log x\mathrm{dx}\\ ={\left[\frac{1}{\log x}\right]}_2^b+2{\int \; <!--\; integral\; -->}_2^b\frac{1}{x{\left(\log x\right)}^2}\mathrm{dx}\\ {\int \; <!--\; integral\; -->}_2^b\frac{1}{x{\left(\log x\right)}^2}\mathrm{dx}=-{\left[\frac{1}{\log x}\right]}_2^b\\ =-\left(\frac{1}{\log b}-\frac{1}{\log 2}\right)\\ b\to \; <!--\; rightwards\; arrow\; -->\mathrm{\infty \; <!--\; infinity\; -->}\Rightarrow \; <!--\; rightwards\; double\; arrow\; -->\frac{1}{\log 2}\end{array}$

   よって、問題の級数を収束する。

コード

Python 3

#!/usr/bin/env python3
from sympy import pprint, symbols, summation, oo, log, Integral, plot
import matplotlib.pyplot as plt

print('5.')

n = symbols('n', integer=True)
f = 1 / (n * log(n) ** 2)
s = summation(f, (n, 2, oo))
pprint(s)

I = Integral(f, (n, 2, oo))
for o in [I, I.doit()]:
    pprint(o)
    print()

p = plot(f,
         (n, 2, 12),
         legend=True,
         show=False)
colors = ['red', 'green', 'blue', 'brown', 'orange',
          'purple', 'pink', 'gray', 'skyblue', 'yellow']


for s, color in zip(p, colors):
    s.line_color = color

p.show()
p.save('sample5.png')


def g(m):
    return sum([f.subs({n: k}) for k in range(2, m)])


ms = range(2, 12)
plt.plot(ms, [g(m) for m in ms])
plt.legend(['Σ 1 / n(log n)^2'])
plt.savefig('sample5.png')

入出力結果(Bash、cmd.exe(コマンドプロンプト)、Terminal、Jupyter(IPython))

C:\Users\...>py sample5.py
5.
  ∞            
 ____          
 ╲             
  ╲       1    
   ╲  ─────────
   ╱       2   
  ╱   n⋅log (n)
 ╱             
 ‾‾‾‾          
n = 2          
∞             
⌠             
⎮     1       
⎮ ───────── dn
⎮      2      
⎮ n⋅log (n)   
⌡             
2             

  1   
──────
log(2)


c:\Users\...>