2019年5月15日水曜日

学習環境

解析入門(上) (松坂和夫 数学入門シリーズ 4) (松坂 和夫(著)、岩波書店)の第2章(数列と級数)、2.3(級数)、問題4の解答を求めてみる。



    1. 部分和について、

      k = 1 n a k 2 = a 1 2 + a 2 2 + + a n 2 a 1 + a 2 + + a n 2 a 1 + a 2 + + a n 2 = k = 1 n a k 2

      問題の仮定の絶対収束するということから

      k = 1 n a k

      n

      のとき収束する。

      よって、

      n = 1 a n 2

      は収束する。

      逆は成り立たない。

      反例。

      a n = 1 n

      のとき、

      n = 1 a n 2 = n = 1 1 n 2

      は収束するが

      n = 1 a n = n = 1 1 n

      は発散するので、絶対収束しない。

      (証明終)

コード

Python 3

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

print('4.')

n = symbols('n')

an = 1 / n
ans = [an ** 2, abs(an), an]

for an in ans:
    s = summation(an, (n, 1, oo))
    for a, o in zip(['一般項', '無限級数'], [an, s]):
        print(a)
        pprint(o)
        print()


def s(k, an):
    return sum([an.subs({n: i}) for i in range(1, k + 1)])


plt.plot([k for k in range(1, 11)],
         [s(k, ans[0]) for k in range(1, 11)],
         [k for k in range(1, 11)],
         [s(k, ans[1]) for k in range(1, 11)],
         marker='o')
# plt.show()
plt.savefig('sample4.png')

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

C:\Users\...>py sample4.py
4.
一般項
1 
──
 2
n 

無限級数
 2
π 
──
6 

一般項
│1│
│─│
│n│

無限級数
  ∞      
 ____    
 ╲       
  ╲   │1│
   ╲  │─│
   ╱  │n│
  ╱      
 ╱       
 ‾‾‾‾    
n = 1    

一般項
1
─
n

無限級数
∞


C:\Users\...>

0 コメント:

コメントを投稿