2019年12月25日水曜日

学習環境

解析入門(上) (松坂和夫 数学入門シリーズ 4) (松坂 和夫(著)、岩波書店)の第8章(積分の計算)、8.1(不定積分の計算)、問題3の解答を求めてみる。



    1. 以下積分定数は省略。

      x 2 + a dx = x x 2 + a - x · 1 2 · 2 x x 2 + a dx = x x 2 + a - x 2 x 2 + a dx = x x 2 + a - x 2 + a - a x 2 + a dx = x x 2 + a - x 2 + a - a x 2 + a dx = x x 2 + a - x 2 + a dx + a 1 x 2 + a d x x 2 + a dx = 1 2 x x 2 + a - a 1 x 2 + a dx = 1 2 x x 2 + a - a log x + x 2 + a

    2. 1 - x 1 + x dx = 1 - x 1 - x 2 dx = 1 1 - x 2 dx - x 1 - x 2 dx = arcsin x - log 1 - x 2

    3. x = 1 t t = 1 x

      とおき、 x で微分すると、

      dt dx = - 1 x 2

      よって、

      1 x x 2 + 1 dx = 1 x x 2 + 1 - x 2 dt = - x x 2 + 1 dt = - 1 t 1 t 2 + 1 dt = - 1 1 + t 2 dt = t - 1 + t 2 1 + t 2 1 + t 2 - t dt t 1 + t 2 - 1 1 1 + t 2 - 1 dt = log 1 + t 2 - t = log 1 + 1 x 2 - 1 x = log x 2 + 1 - 1 x

    4. x + 1 x - 1 = t

      とおくと、

      dt dx = x - 1 2 x + 1 - x + 1 2 x - 1 x - 1 = x - 1 - x - 1 2 x - 1 x 2 - 1 = - 1 x - 1 x 2 - 1

      よって、

      x > 1 1 x - 1 x 2 - 1 dx = - 1 dt = - t = - x + 1 x - 1

コード

#!/usr/bin/env python3
from sympy import pprint, symbols, Integral, sqrt, plot

print('3.')

x, a = symbols('x, a')
fs = [sqrt(x ** 2 + a),
      sqrt((1 - x) / (1 + x)),
      1 / (x * sqrt(x ** 2 + 1)),
      1 / ((x - 1) * sqrt(x ** 2 - 1))]

for i, f in enumerate(fs, 1):
    print(f'({i})')
    I = Integral(f, x)
    for o in [I, I.doit()]:
        pprint(o)
        print()

p = plot(*[f.subs({a: 2}) for f in fs],
         ylim=(-10, 10),
         show=False,
         legend=True)
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('sample3.png')

入出力結果(Zsh、PowerShell、Terminal、Jupyter(IPython))

% ./sample3.py
3.
(1)
⌠               
⎮    ________   
⎮   ╱      2    
⎮ ╲╱  a + x   dx
⌡               

          ________              
         ╱      2               
        ╱      x            ⎛x ⎞
√a⋅x⋅  ╱   1 + ──    a⋅asinh⎜──⎟
     ╲╱        a            ⎝√a⎠
────────────────── + ───────────
        2                 2     

(2)
⌠               
⎮     _______   
⎮    ╱ 1 - x    
⎮   ╱  ─────  dx
⎮ ╲╱   x + 1    
⌡               

⌠               
⎮     _______   
⎮    ╱ 1 - x    
⎮   ╱  ─────  dx
⎮ ╲╱   x + 1    
⌡               

(3)
⌠                 
⎮       1         
⎮ ───────────── dx
⎮      ________   
⎮     ╱  2        
⎮ x⋅╲╱  x  + 1    
⌡                 

      ⎛1⎞
-asinh⎜─⎟
      ⎝x⎠

(4)
⌠                       
⎮          1            
⎮ ─────────────────── dx
⎮            ________   
⎮           ╱  2        
⎮ (x - 1)⋅╲╱  x  - 1    
⌡                       

⌠                               
⎮              1                
⎮ ─────────────────────────── dx
⎮   _________________           
⎮ ╲╱ (x - 1)⋅(x + 1) ⋅(x - 1)   
⌡                               

%

(4)の積分は求められてないし、SymPyには苦手な積分、不定積分があるみたい。

0 コメント:

コメントを投稿