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

変数関数の連続性・

N/A
N/A
Protected

Academic year: 2021

シェア "変数関数の連続性・"

Copied!
5
0
0

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

全文

(1)

1

変数関数の連続性・

ε δ

論法

(

略解

)

作成日: May 18, 2020 Updated : May 25, 2020

問題

1. (先週の復習から:εN

論法) 省略

問題

2. δ

論法

1)

まず自明な不等式を用いて以下のように変形しておこう

(0< x < 2

に注意

)

1

1 +x2 1 2

=

1x2 2(1 +x2)

= 1

2(1 +x2)|(x+ 1)(x1)| < 1

2(x+ 1)|x1| <

1

2·3|x1|.

(1)

たとえば

δ = (2/3)ε

ととればよい

.

実際このとき,

|x1| < δ 1

1 +x2 1 2

= 1x2

2(1 +x2)

= 1

2(1 +x2)|(x+ 1)(x1)|< 1

2(x+ 1)|x1|< 1

2·3|x1|< 3 2δ=ε.

(2)

正の数

ε

が任意に与えられたとする

.

このとき

,δ = (2/3)ε

として正の数

δ

を定める と

, 0< x <2

における任意の

x

に対して

,

|x1|< δ ⇒ |f(x)f(1)|= 1

1 +x2 1 2

=

1x2 2(1 +x2)

= 1

2(1 +x2)|(x+ 1)(x1)|

< 1

2(x+ 1)|x1|< 1

2·3|x1|< 3 2δ =ε

したがって, 関数

f(x)

x= 1

において連続である.

問題

3. δ

論法

2)

正の数

ε

が任意に与えられたとする. 関数

f, g

は点

a

において連続 であるから

,

正の数

ε/2

に対して

,

それぞれある正の数

δ1, δ2

が存在して

,

|xa|< δ1 ⇒ |f(x)f(a)|< ε 2,

|xa|< δ2 ⇒ |g(x)g(a)|< ε 2,

が成り立つ

.

このとき

,

正の数として

δ= min{δ1, δ2}

ととると

,

|xa|< δ ⇒ |(f(x) +g(x))(f(a) +g(a))|=|(f(x)f(a)) + (g(x)g(a))|

≤ |f(x)f(a)|+|g(x)g(a)|< ε 2 +ε

2 =ε.

したがって

,

関数

f +g

x=a

において連続である

.

問題

4. (1

変数関数の微分

)

(1) 1

cos2x (2) 1

1 +x2 (3) 1

1x (4) 1

xlogx (5) axloga (6) xx(logx+ 1)

[

コメント

](2)

まず欲しいのは

dy

dx. y = arctanxtany =x

の両辺を

x

で微分する

.

す なわち両辺に

d

dx

を作用させる

.

左辺は

y

の式だから

d

dx = dy dx

d

dy

と変形して作用させる

.

(2)

(5)&(6)

べきが複雑なものは対数をとるのが常道

.

なお

(5)

については

,

恒等式

a = eloga

を用いると

(eαx) =αeαx

に帰着

.

問題

5. (1

変数関数の極限)

(1) 0 (2) loga

b (たとえばロピタルの定理より) (3) 1 (対数をとってロピタル)

[

コメント

]

ロピタルの定理は

,

分母の式・分子の式をそれぞれ

x=a

のまわりでテーラー 展開して理解すべきものである

. (

各自確認してみてください

.)

問題

6. (テーラー展開の一意性)

(1) x3 = ((x1) + 1)3 = (x1)3+ 3(x1)2+ 3(x1) + 1.

(2) 1

1x = 1 +x+x2+x3 +x4+x5+o(x5).

(3) ( 1

1x )2

= (1+x+x2+x3+x4+x5+o(x5))2 = 1+2x+3x2+4x3+5x4+6x5+o(x5).

または

(2)

6

次まで計算したものを両辺微分してもよい.

(4) log(1x) = x x2 2 x3

3 x4 4 x5

5 +o(x5). ((2)

を 両辺積分

.)

[コメント]

テーラー展開の剰余項を除いた部分の一般式はきれいな形をしている. この

部分は具体的表式を忘れても以下のように簡単に再現できる

.

例えば、

x= 0

まわりでの テーラー展開を

5

次まで求めたいとしよう

.

展開係数を以下のようにおく:

f(x) = a0+a1x+a2x2+a3x3+a4x4+a5x5+R6x6. a0

を求めたければ両辺

x= 0

を代入すればよい:f

(0) =a0.

a1

を求めたければ両辺

x

1

回微分してから

x= 0

を代入すればよい:

f(0) = 1·a1. a2

を求めたければ両辺

x

2

回微分してから

x= 0

を代入すればよい:

f(2)(0) = 2!·a2. a3

を求めたければ両辺

x

3

回微分してから

x= 0

を代入すればよい:f

(3)(0) = 3!·a3. an

を求めたければ両辺

x

n

回微分してから

x= 0

を代入すればよい:

f(n)(0) =n!·an.

非自明なのは剰余項の形である

.

なお無限テーラー展開の場合は収束性の問題がからむ

.

問題

7. (1

変数関数の極限

)

(1)

x1

2x2log(1 +x)

x3 =

x 1

2x2(x 1

2x2+ 1

3x3+o(x3))

x3 =1

3 +o(x3) x3

x0

−→ −1 3.

(2) ex2 cosx xarctanx =

(

1 +x2+o(x2) )(

1x2

2! +o(x2) )

x2+o(x2) =

3

2+ o(x2) x2 1 + o(x2)

x2

−→x→0 3 2

[

コメント

]

この手の問題は複雑な関数部分をテーラー展開するのが基本である

.

なお

arctanx

のテーラー展開は問題

4 (2)

からすぐ求まる

.

(3)

問題

8. (

宿題:

10

)

(1) (5

)

正の数

ε

が任意に与えられたとする

.

このとき

, δ= 2ε

として正の数

δ

を定め ると,

x >0

における任意の

x

に対して,

|x4|< δ ⇒ |f(x)f(4)|=|

x2|=|(

x2)( x+ 2)

x+ 2 |= 1

x+ 2|x4|

< 1

2|x4|< 1 2δ=ε

したがって, 関数

f(x)

x= 4

において連続である.

(2) (5

点) 正の数

ε

が任意に与えられたとする.

関数

f

は点

a

において連続であるから

,

正の数

ε/10

に対して

,

ある正の数

δ1

が存在 して

,

|xa|< δ1 ⇒ |f(x)f(a)|< ε 10,

が成り立つ. 同様に関数

g

は点

a

において連続であるから, 正の数

ε/36

に対して, あ る正の数

δ2

が存在して

,

|xa|< δ2 ⇒ |g(x)g(a)|< ε 36,

が成り立つ

.

このとき正の数として

δ= min{δ1, δ2}

ととると

,

|xa|< δ ⇒ |(5f(x) + 18g(x))(5f(a) + 18g(a))|=|5(f(x)f(a)) + 18(g(x)g(a))|

5|f(x)f(a)|+ 18|g(x)g(a)|<5· ε

10+ 18· ε 36 =ε.

したがって

,

関数

5f+ 18g

x=a

において連続である

.

問題

9. (

宿題:

10

)

(1) (2

) Rn+1(x) = eθx

(n+ 1)!xn+1, (0< θ <1).

(2) (4

)e= m

n = 1 + 1 + 1 2!+ 1

3!+· · ·+ 1

n!+Rn+1(1) · · ·()

の両辺に

n!

をかけると

m(n1)! =n! +n! +n(n1)· · ·3 +n(n1)· · ·4 +· · ·+ 1 +n!Rn+1(1)

であるから,

n!Rn+1(1)

は整数. 一方

n!Rn+1(1) = eθ n+ 1 >0

より

, n!Rn+1(1)

1

以上の整数であることが示された

. (3) (4

) 0 < θ <1, 2< e <3

を用いると

1n!Rn+1(1) = eθ

n+ 1 < e

n+ 1 < 3 n+ 1

すなわち

n+1<3,

よって

n = 1.

このとき

e =m(

整数

)

となるが

,

これは

2< e < 3

と矛盾

.

(4)

問題

10. (

ボーナス問題:

10

) (1) (4

) fn(x) = 1

n!(anxn+an+1xn+1+· · ·+a2nx2n)

であるから

, l < n

または

l >2n

のとき

,fn(l)(0) = 0Z

である

. nl 2n

のとき

,fn(l)(0) = l!

n!al

であるが

,al

は整 数であり

, ln

より

, l!

n!

も整数

. (2) (3

点) まず,

d

dx{G(x) sinπxπG(x) cosπx}= (G′′(x) +π2G(x)) sinπx

となる. こ こで

,

π2G(x) = pn{

π2n+2fn(x)π2nfn(2)(x) +π2n2fn(4)(x)− · · ·+ (1)nπ2fn(2n)(x)} G′′(x) = pn{

π2nfn(2)(x)π2n2fn(4)(x) +π2n4fn(6)(x)− · · ·+ (1)nfn(2n+2)(x)} .

であるから,

fn(2n+2)(x) = 0

に注意して,

π2n=qn/pn

を代入すると

d

dx{G(x) sinπxπG(x) cosπx}=pnπ2n+2fn(x) sinπx=π2qnfn(x) sinπx.

(3) (3

) 0 < x < 1

において

, 0 < sinπx 1

であり

,

また

0 < xn,(1x)n < 1

より

0< fn(x) = xn(1x)n

n! < 1

n!.

したがって

0< I =π

1 0

qnfn(x) sinπx dx < π

1 0

qn· 1

n! ·1dx= πqn n! .

[

コメント

]

この証明は以下の論文にもとづく:

Ivan Niven, “A simple proof that π is irrational,” Bulletin of the American Mathe- matical Society53 (1947) 509.

学問の新しい成果は

,

一般に学術雑誌に出版されて公に認められる

. (

先述の論文は

,

Bul- letin of the American Mathematical Society

」という名前の学術雑誌に出版されたという ことである.) 学術雑誌に出版されるためには, まず結果を

(たいていは英文の)

論文とし て書き下ろして

,

学術雑誌に投稿し

,

レフェリーと呼ばれる専門家の査読をクリアしなけ ればならない

.

数学においても未解決問題はもちろん無数にあり, 重要な問題には懸賞金がかけられて いることもある

.

例えば

,

クレイ研究所が

2000

年に出題した「ミレニアム

7

大問題」に は

1

問につき

100

万ドルの懸賞金が掛けられている

. (Google

で検索すればいろいろと出 てきます.) 7 大問題の一つ, ポアンカレ予想は, 10 年ほど前にロシアの数学者ペレルマ

(Pelelman)

によって解かれた

.

彼はこの業績で数学のノーベル賞と呼ばれる

2006

年の

フィールズ賞受賞者に選ばれたが

,

受賞を辞退し話題を呼んだ

.

ポアンカレ予想にまつわ る数学者のドキュメンタリーが

DVD

化されている:

NHK

エンタープライズ「ポアンカレ予想・

100

年の格闘 〜数学者はキノコ狩りの

夢を見る〜」

(2010

)

(5)

なお,数の無理数性の証明については,古くから有名問題が存在する.チャレンジ問題と して,以下の問題を出題しよう.

(

成績に無関係.特に

(4)

は未解決の有名問題!

)

問題

11. (オイラーの定数)

数列

an := 1 + 1

2 +· · ·+ 1

n logn

が収束することを, 関数

y= 1

x

のグラフを利用して証明しよう

.

(1)

数列

{an}

は下に有界であることを示せ

. (2)

数列

{an}

は単調減少数列であることを示せ

. (3)

数列

{an}

は収束することを示せ

.

(4)

この極限値

γ := lim

n→∞an = 0.5772· · ·

をオイラーの定数, あるいはオイラー・マス

ケローニ

(Euler-Mascheroni)

の定数という. オイラーの定数は無理数か?

参照

関連したドキュメント

平成 14 年( 2002 )に設立された能楽学会は, 「能楽」を学会名に冠し,その機関誌

大きな要因として働いていることが見えてくるように思われるので 1はじめに 大江健三郎とテクノロジー

前章 / 節からの流れで、計算可能な関数のもつ性質を抽象的に捉えることから始めよう。話を 単純にするために、以下では次のような型のプログラム を考える。 は部分関数 (

これらの定義でも分かるように, Impairment に関しては解剖学的または生理学的な異常 としてほぼ続一されているが, disability と

日林誌では、内閣府や学術会議の掲げるオープンサイエンスの推進に資するため、日林誌の論 文 PDF を公開している J-STAGE

本論文での分析は、叙述関係の Subject であれば、 Predicate に対して分配される ことが可能というものである。そして o

いてもらう権利﹂に関するものである︒また︑多数意見は本件の争点を歪曲した︒というのは︑第一に︑多数意見は

概念と価値が芸術を作る過程を通して 改められ、修正され、あるいは再確認