2019年8月18日日曜日

学習環境

解析入門(上) (松坂和夫 数学入門シリーズ 4) (松坂 和夫(著)、岩波書店)の第5章(各種の初等関数)、5.2(累乗関数、大きさの比較)、問題9の解答を求めてみる。


  1. f x = x α

    とおくと、

    f ' x = α x α - 1 f ' ' x = α α - 1 x α - 2

    よって、

    x > 0 , α > 1

    の とき、

    f ' ' x > 0

    なので凸関数である。

    ゆえに、

    a 1 + + a n n α = f a 1 + + a n n = f 1 n a 1 + + 1 n a n 1 n f a 1 + . . . + 1 n f a n = 1 n a 1 α + + 1 n a n α = a 1 α + + a n α n a 1 + + a n n α a 1 α + + a n α n a 1 + + a n n a 1 α + + a n α n 1 α F 1 F α

    また、

    0 < α 1 < α 2

    とおくと、

    β = α 2 α 1 > 1

    よって、

    a 1 + + a n n β a 1 β + + a n β n a 1 α 1 + + a n α 1 n β a 1 α 2 + + a n α 2 n a 1 α 1 + + a n α 1 n 1 α 1 a 1 α 2 + + a n α 2 n 1 α 2 F α 1 F α 2

    ゆえに、 F は区間

    0 ,

    で単調増加である。

    (証明終)

コード

Python 3

#!/usr/bin/env python3
from sympy import pprint, symbols, plot, exp, Limit, Derivative
import random

print('9.')

alpha = symbols('α')
n = 10
ais = [random.random() * 10 + 0.00001 for _ in range(n)]
pprint(ais)
f = (sum([ai ** alpha for ai in ais]) / n) ** (1 / alpha)

p = plot(f,
         max(ais),
         (alpha, 0.1, 100),
         show=False,
         legend=False)

colors = ['red', 'green', 'blue', 'brown', 'orange',
          'purple', 'pink', 'gray', 'skyblue', 'yellow']

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

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

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

C:\Users\...>py sample9.py
9.
[3.1752358425375236, 8.355677167533667, 9.129229931223446, 7.845714700833884, 
7.456278594179351, 2.1293176719040408, 8.298678800382127, 6.157999968441098, 4
.067921108939993, 5.295701481742532]

C:\Users\...>

0 コメント:

コメントを投稿