• 検索結果がありません。

(1 0 ) f′g+ (1 1 ) f g′ よりn= 1のとき成立している

N/A
N/A
Protected

Academic year: 2021

シェア "(1 0 ) f′g+ (1 1 ) f g′ よりn= 1のとき成立している"

Copied!
27
0
0

読み込み中.... (全文を見る)

全文

(1)

解析学I問題解説 ♯4河野

演習問題1.19 ライプニッツの定理を数学的帰納法で証明せよ。

2項係数に関して

( n k1

) +

(n k )

= (n+ 1

k )

が成立することは既知としてよい。

f(x), g(x)f, gと書く。

(1 0 )

= 1,

(1 1 )

= 1なので (f g)=fg+f g =

(1 0 )

fg+ (1

1 )

f g

よりn= 1のとき成立している。nのとき成立を仮定する。即ち dn

dxn (f ·g) =

n k=0

(n k )

f(nk)g(k)

の成立を仮定する。この両辺をxで微分すると dn+1

dxn+1(f·g) = ( dn

dxn (f ·g) )

= ( n

k=0

(n k )

f(nk)g(k) )

=

n k=0

(n k

) (

f(nk)g(k) )

=

n k=0

(n k

) ((

f(nk) )

g(k)+f(nk) (

g(k) ))

=

n k=0

(n k

) (

f(nk+1)g(k)+f(nk)g(k+1) )

=

n k=0

(n k )

f(nk+1)g(k)+

n k=0

(n k )

f(nk)g(k+1)

=

n k=0

(n k )

f(nk+1)g(k)+

n+1

k=1

( n k1

)

f(nk+1)g(k)

= (n

0 )

f(n+1)g(0)+

n k=1

(n k )

f(nk+1)g(k)+

n k=1

( n k1

)

f(nk+1)g(k)+ (n

n )

f(0)g(n+1)

= (n+ 1

0 )

f(n+1)g(0)+

n k=1

((n k )

+ ( n

k1 ))

f(nk+1)g(k)+ (n+ 1

n+ 1 )

f(0)g(n+1)

=

n+1

k=0

(n+ 1 k

)

f(n+1k)g(k)

となりn+ 1のときも成立する。

成立を前提とした2項係数の等式の証明を述べておく。

( n k1

) +

(n k )

= n!

(k1)!(n(k1))! + n!

k!(nk)!

= kn!

k(k1)!(nk+ 1)! + (nk+ 1)n!

k!(nk+ 1)(nk)!

= kn!

k!(nk+ 1)! + (nk+ 1)n!

k!(nk+ 1)! = (n+ 1

k )

(2)

演習問題 1.20 次の関数のn次導関数を求めよ。(問題では「数学的帰納法で示す」ことを要求 されてないので,数学的帰納法で証明しなくてもよいが,それを要求されたときはできるようにし ておくこと。)

(1)f(x) =x3ex (2)f(x) =x3logx

(3)f(x) = 1

x+ 1 (4)f(x) = log(x+ 1)

(5)f(x) = 1

x2x (6)f(x) = sinx

(7)f(x) = sinxcosx (8)f(x) =x4

問題では帰納法で証明することは要求されていないが,解説しておく。

(1) ライプニッツの定理 dn

dxn(f(x)·g(x)) =

n k=0

(n k )

f(nk)(x)g(k)(x)

を用いる。f(x)は関数に用いられているので,定理のf(x)g(x)g(x)h(x)に変更して,

g(x) =ex,h(x) =x3とすると,h(x) = 3x2,h′′(x) = 6x,h(3)(x) = 6,h(k)(x) = 0 (k4) よびg(n)(x) =exである。よって

f(n)(x) = (n

0 )

g(n)(x)h(x) + (n

1 )

g(n1)(x)h(1)(x) + (n

2 )

g(n2)(x)h(2)(x) + (n

3 )

g(n3)(x)h(3)(x)

=exx3+nex3x2+ n(n1)

2 ex6x+ n(n1)(n2)

6 ex6

=(

x3+ 3nx2+ 3n(n1)x+n(n1)(n2)) ex

となる。

(2) ライプニッツの定理を用いてもよいが,何回か微分してみる。f(x) = 3x2logx+x2,f′′(x) = 6xlogx+ 5x,f(3)(x) = 6 logx+ 11,f(4)(x) = 6

x となる。4次以上の導関数について (1

x )(n)

= (1)nn!x(n+1)を用いると,次が得られる。

f(x) = 3x2logx+x2 f′′(x) = 6xlogx+ 5x f(3)(x) = 6 logx+ 11 f(n)(x) = (1)n6(n4)! 1

xn3 (n4) (1

x )(n)

= (1)nn!x(n+1)を数学的帰納法で証明する。n= 1のときは (1

x )

=( x1)

= (1)x2= (1)11!x(1+1)

(3)

より成立している。n=kのとき成立を仮定する。即ち (1

x )(k)

= (1)kk!x(k+1)の成立を仮定 する。両辺をxで微分すると

(1 x

)(k+1)

= ((1

x )(k))

= (

(1)kk!x(k+1) )

=(1)kk!(k+ 1)x(k+1)1= (1)k+1(k+ 1)!x((k+1)+1) となるのでn=k+ 1でも成立している。

(3) f(x) = (x+ 1)1なのでf(x) =(x+ 1)2,f′′(x) = 2(x+ 1)3,f′′′(x) =6(x+ 1)4=

3!(x+ 1)4 となるのでf(n)(x) = (1)nn!(x+ 1)(n+1) と予想できる。この予想が正しいこと を数学的帰納法で示す。

n= 1のときはf(x) =(x+ 1)2= (1)11!(x+ 1)(1+1) なので予想は正しい。n=kのと き成立を仮定する。即ち

f(k)(x) = (1)kk!(x+ 1)(k+1) を仮定する。この両辺をxで微分すると

f(k+1)(x) = (

f(k)(x) )

= (

(1)kk!(x+ 1)(k+1) )

= (1)kk!((k+ 1))(x+ 1)(k+2)

= (1)k+1(k+ 1)!(x+ 1)((k+1)+1) となりn=k+ 1のときも予想が正しいことがわかる。

(4) f(x) = 1

x+ 1,f′′(x) =(x+ 1)2,f(3)(x) = 2(x+ 1)3,f(4)(x) =6(x+ 1)4なので f(n)(x) = (1)n+1(n1)!(x+ 1)n

と予想できる。この予想が正しいことを数学的帰納法で示す。

n= 1のとき

f(x) = 1

x+ 1 = (1)1+1(11)!(x+ 1)1

なので予想は正しい。n=kのとき予想が正しいと仮定する。即ちf(k)(x) = (1)k+1(k1)!(x+ 1)k の成立を仮定する。このときf(k)(x)xで微分すると,

f(k+1)(x) = (

f(k)(x) )

=(

(1)k+1(k1)!(x+ 1)k)

= (1)k+1(k1)!(k)(x+ 1)k1

= (1)(k+1)+1((k+ 1)1)!(x+ 1)(k+1) となるのでk+ 1のときも成立する。

(5) 部分分数分解して

1

x2x = 1

x(x1) =1 x + 1

x1

(4)

とできるので

f(n)(x) = (1)n+1n! 1

xn+1 + (1)nn! 1 (x1)n+1 と予想される。この予想が正しいことを数学的帰納法で示す。n= 1のとき

f(x) = (

1 x

) +

( 1 x1

)

=x2(x1)2

= (1)21! 1

x1+1 + (1)11! 1 (x1)1+1 なので成立している。n=kのとき成立を仮定する。即ち

f(k)(x) = (1)k+1k! 1

xk+1 + (1)kk! 1 (x1)k+1 の成立を仮定する。f(k)(x)xで微分すると

f(k+1)(x) = (

f(k)(x) )

= (1)k+1k!

( 1 xk+1

)

+ (1)kk!

( 1 (x1)k+1

)

= (1)k+1k!(k+ 1)

xk+2 + (1)kk! (k+ 1) (x1)k+2

= (1)k+1+1(k+ 1)! 1

x(k+1)+1 + (1)k+1(k+ 1)! 1 (x1)(k+1)+1 となる。よってk+ 1のときも成立している。

(6) f(x) = cosx,f′′(x) =sinx,f(3)(x) =cosx,f(4)(x) = sinxより

f(4m)(x) = sinx, f(4m+1)(x) = cosx, f(4m+2)(x) =sinx, f(4m+3)(x) =cosx となる。場合分けによらない書き方もある。f(x) = cosx= sin

( x+ π

2 )

となる。2階以上も同 様にf′′(x) = sin

( x+ 2π

2 )

, f(3)= sin (

x+ 3π 2

)

となる。一般に f(n)(x) = sin

( x+nπ

2 )

とも表すことができる。

f(n)(x) = sin (

x+nπ 2

)

が成立することを数学的帰納法で示す。n= 0のとき f(0)(x) =f(x) = sinx= sin

( x+

2 )

より成立している。n=kのとき成立を仮定する。即ちf(k)= sin (

x+ 2

)

を仮定する。両辺 xで微分すると

f(k+1)(x) = (

f(k)(x) )

= (

sin (

x+ 2

))

(5)

= sin ((

x+ 2

) + π

2 )

= sin (

x+ (k+ 1)π 2

)

となる。よってn=k+ 1でも成立している。

(7) sinxcosx= 1

2 sin 2xとなる。前問の結果[(sinx)(n)= sin (

x+ 2

) ]より (sin 2x)(n)= 2nsin

(

2x+ 2

)

と予想できる。

n= 1のとき

(sin 2x) = 2 cos 2x= 2 sin (

2x+ π 2

)

なので成立している。n=kのとき成立を仮定する。即ち(sin 2x)(k)= 2ksin (

2x+ 2

) を仮定 する。

(sin 2x)(k+1)= (

(sin 2x)(k) )

= (

2ksin (

2x+ 2

))

= 2k·2 sin (

2x+ 2 + π

2 )

= 2k+1sin (

2x+ (k+ 1)π 2

)

なのでn=k+ 1のときも成立する。よって

(sinxcosx)(n)= 2n1sin (

2x+ 2

)

である。

(8) f(x) = 4x3,f′′(x) = 12x2,f(3)(x) = 24x,f(4)(x) = 24,f(5)(x) = 0,f(n)(x) = 0 (n6) となる。この書き方でもよいが,少し「格好つける」なら順列の記号nPr=n(n1)(n2)· · ·(n r+ 1)を用いて

f(n)(x) =4Pnx4n としてもよい。

演習問題1.21 a̸=xのときc=a+θ(xa)とする。次を示せ。

0< θ <1 ⇐⇒

{

a < c < x (a < xのとき) x < c < a (x < aのとき)

0< θ <1とする。a < xの場合はxa >0なので3辺にかけると

0< θ(xa)< xa (1)

となる。(1)3辺にaを加えると

a < a+θ(xa)< a+xa=x

(6)

が得られる。

x < aのときはxa <0なので0< θ <1xaをかけると符号が変わり

0> θ(xa)> xa (2)

となる。(2)3辺にaを加えると

a > a+θ(xa)> a+xa=x が得られる。

次に逆を示す。a < c < xが成立してるとする。0< ca < xaより 0< ca

xa <1 となる。θ= ca

xa とおくと結論が得られる。

x < c < aが成立しているとする。xa < ca <0より 0< ca

xa <1 となる。θ= ca

xa とおくと結論が得られる。

演習問題1.22 定理1.27(1), (2)2)の場合を証明せよ。

f(n)連続かつf(n)(a) < 0なのでaを含むある区間(aδ, a+δ) においてf(n)(x) < 0とな る。この区間内のxについてテーラーの定理を適用するとf(a) = · · · = f(n1)(a) = 0なので f(x) =f(a) + f(n)(c)

n! (xa)n となる。

(1)即ちnが偶数の場合x̸=aならば(xa)n>0なので,f(x)f(a)<0即ちf(x)< f(a) となる。よってf x=aで極大である。

(2)即ちnが奇数の場合x > aなら(xa)n>0,xa <0ならば(xa)n <0である。よっ x > aならばf(x)< f(a),x < aならばf(x)> f(a)となっている。

演習問題1.23 f(x) =exa= 0, n= 6としてテーラーの定理を用いて表し,その剰余項R6 を切り捨てることにより 1

e の近似値を求めよ。また誤差を評価せよ。

更に同様な方法で誤差が1010以下になるようにnを決め近似値を求めよ。計算実行には電卓 等を用いてよい

f(x) =exとするとf(n)(x) =exなので

f(x) =

5 k=0

1

k!xk+R6 (R6= ec 6!x6)

(7)

となる。ここでcx >0なら0< c < x,x <0ならx < c <0を満たす。g(x) =

5 k=0

1 k!xk すると 1

e の近似値は

1 e g

(

1 2

)

= 1 1 2 + 1

2 (

1 2

)2

+ 1 3!

(

1 2

)3

+ 1 4!

(

1 2

)4

+ 1 5!

(

1 2

)5

= 2329

3840 = 0.606510416 となる。−1

2 < c <0なので0< ec< e0= 1となる。よって誤差は

||=|R6|=

ec 6!

(

1 2

)6 < 1

6!

(1 2

)6

= 1

46080 = 2.170138888888889×105 と評価できる。

剰余項Rn

|Rn|= f(n)(c)

n! hn = ec

n!

(1 2

)n

< 1 n!

(1 2

)n

<1010 を満たしていればよい。不等式を計算するとn!·2n>1010となる。n= 11のとき

11!·211= 81749606400>1010 となるのでg10(x) =

10 k=0

1

k!xk とおくと

1

e g10

(

1 2

)

= 2253801941

3715891200 = 0.60653051978486

演習問題1.24 f(x) = cosxa= 0, n= 6としてテーラーの定理を用いて表し,その剰余項 R6を切り捨てることによりcos π

10 の近似値を求めよ。また誤差を評価せよ。

更に同様な方法で誤差が1010以下になるようにnを決め近似値を求めよ。計算実行には電卓 等を用いてよい。

f(x) = cosxとおくとf(x) =sinx, f′′(x) =cosx, f(3)(x) = sinx, f(4)(x) = cosx, f(5)(x) =

sinx, f(6)(x) = cosxなのでf(0) = 1, f′′(0) = 1, f(4)(0) = 1, f(6)(0) = 1, f(0) = f(3)(0) =f(5)(0) = 0 となる。

f(x) = 1 1

2x2+ 1

4!x4+R6

(

R6= cosc 6! x6

)

g(x) = 1 1

2x2+ 1

4!x4とおくとcos ( π

10 )

の近似値は cos

( π 10

)g ( π

10 )

= 1 1 2

( π 10

)2

+ 1 4!

( π 10

)4

= 0.9510578492071949

(8)

となる。f(6)(x) =cosxなのでf(6)(c)1となっている。よって誤差は

||= cosc

6!

( π 10

)6 1

6!

( π 10

)6

< 1 6!

( 4 10

)6

= 5.688889×106 と評価できる。

f(n)(x)±cosx,±sinxのいずれかなのでf(n)(x)1が成立する。剰余項Rn

|Rn|= f(n)(c)

n! hn 1

n!

( π 10

)n

< 1 n!

(2 5

)n

<1010 を満たしていればよい。不等式はn!×

(5 2

)n

>1010となる。n= 10のとき

10!· (5

2 )10

= 138427734375

4 = 3.460693359375×1010>1010 となるのでg9(x) = 1 1

2x2+ 1

4!x4 1

6!x6+ 1

8!x8とおくと cos

( π 10

)g9

( π 10

)

= 0.9510565162977323

演習問題1.25 f(x) = logxa = 1, n= 6としてテーラーの定理を用いて表し,その剰余項 R6を切り捨てることによりlog 3

2 の近似値を求めよ。また誤差を評価せよ。

更に同様な方法で誤差が104以下になるようにnを決め近似値を求めよ。計算実行には電卓等 を用いてよい。

f(x) = logxとするとf(n)(x) = (1)n+1(n1)!xnより f(k)(x)

k! = (1)k+1

k xk となる。

f(k)(1)

k! = (1)k+1

k なのでh=x1とおく。f(0)(1) = log 1 = 0より f(x) =f(1 +h) =

5 k=0

f(k)(1)

k! hk+R6

=

5 k=1

(1)k+1

k hk+R6 (

R6=1

6(1 +θh)6 )

となる。ここでθ0< θ <1を満たす。g(h) =

5 k=1

(1)k+1

k hk とするとlog 3

2 の近似値は log 3

2 g (1

2 )

= 1 2 1

2 (1

2 )2

+ 1 3

(1 2

)3

1 4

(1 2

)4

+ 1 5

(1 2

)5

= 391

960 = 0.40729166 となる。0< θ <1なので1<1 +θ1

2 < 3

2 となる。よって誤差は

||=|R6|=

(1)7 6

( 1 +θ1

2 )6

(1 2

)6

< 1 6

(1 2

)6

= 1

384 = 2.6042×103

(9)

と評価できる。

剰余項Rn

|Rn|=

f(n)(1 +θh) n! hn

< 1 n

(1 2

)n

<104

を満たしていればよい。不等式を計算するとn·2n>104となる。n= 10のとき 10·210= 10240>104

となるのでg9(h) =

9 k=1

(1)k+1

k hk とおくと

log 3 2 g9

(1 2

)

= 261617

645120 = 0.40553230406746

演習問題1.26 次の関数のa = 0におけるテーラー級数を求めよ(テーラー展開可能である ことは仮定してよい)。(1)–(5)のテーラー級数は1 < x < 1の範囲で,(8)のテーラー級数は

3

2 < x < 3

2 の範囲で考える。なお一般の実数αと自然数nに対し (α

n )

= α(α1)· · ·n+ 1)

n! (n1),

(α 0 )

= 1 と定義する。これはαが自然数の場合の2項係数の拡張になっている。

(1)f(x) = log(1 +x) (2)f(x) = 1

1x (3)f(x) =

1 +x (4)f(x) = 1

1 +x (5)f(x) = 1

1 +x2 (6)f(x) =e2x

(7)f(x) = sin 3x (8)f(x) = log(2x+ 3)

(1) f(x) = log(1 +x)に対して,f(x) = 1

1 +x,f′′(x) = 1

(1 +x)2,f′′′(x) = 2

(1 +x)3 とな る。n次導関数はf(n)(x) = (1)n+1 (n1)!

(1 +x)n と予想される。これを数学的帰納法で証明する。

(a)n= 1のとき:

f(1)(x) = f(x) = 1

1 +x = (1)1+1 (11)!

(1 +x)1 なのでn= 1のとき予想は正しい。

(b) n=kのとき成立を仮定する;即ちf(k)(x) = (1)k+1 (k1)!

(1 +x)k の成立を仮定する。f(k)(x)

参照

関連したドキュメント

There is a bijection between left cosets of S n in the affine group and certain types of partitions (see Bjorner and Brenti (1996) and Eriksson and Eriksson (1998)).. In B-B,

This also improves [3, Theorem 3] which states that “if g◦f is continuous, f and g are Darboux, and f is surjective, then g is continuous.” We also prove that continuous and Darboux

If the interval [0, 1] can be mapped continuously onto the square [0, 1] 2 , then after partitioning [0, 1] into 2 n+m congruent subintervals and [0, 1] 2 into 2 n+m congruent

Next we shall prove Lemma 3.. Then G=F' follows from Proposition 1. This completes the proof of Lemma 3. Let us consider the exact sequence.. r\

We prove a continuous embedding that allows us to obtain a boundary trace imbedding result for anisotropic Musielak-Orlicz spaces, which we then apply to obtain an existence result

Abstract: The existence and uniqueness of local and global solutions for the Kirchhoff–Carrier nonlinear model for the vibrations of elastic strings in noncylindrical domains

Algebraic curvature tensor satisfying the condition of type (1.2) If ∇J ̸= 0, the anti-K¨ ahler condition (1.2) does not hold.. Yet, for any almost anti-Hermitian manifold there

We shall recall that the homogeneous local smoothing effect which provides a gain of 1/2 derivatives respect to the data was established by Constantin and Saut [2], Sjölin [6] and