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

解析学

N/A
N/A
Protected

Academic year: 2021

シェア "解析学"

Copied!
9
0
0

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

全文

(1)

解析学

2004/06/09,

西岡 國雄

他の学問と数学とは

,

対象が抽象的

,

論理のみで構成する

.

という大きな違いがある. それ故, 数学は広い応用範囲を持つが,一方で厳密な論理を欠くと 結論を誤る

.

しかもその誤りを発見しにくい

.

解析学が根底としているものは

,

実数 である

.

実数論の厳密は議論なしでは

,

自己矛盾 のない解析学を構築できない

.

1

実数

I.

正数

Z

は既知とする

.

有理数

Q

とは

m

n , m.n Z, n 6= 0

の全体をいう

. Q

は次の性質を備えている1

:

a, b Q a + b, a b, a × b Q, b 6= 0

なら

a/b Q, (1.1)

a, b Q a < b , a = b , a > b

のどれかが成立

, (1.2)

a, b Q, a < b a < c < b

となる

c Q

が存在する

. (1.3)

ただし

,

有理数列

{a

n

} ⊂ Q

(1.4)

任意の

ε > 0

にたいし

,

ある

N

があり

, m, n N ⇒ |a

m

a

n

| ≤ ε

であっても2

, lim

n→∞

a

n

Q

のなかで見つかるとは限らない

.

そこで

, (1.4)

をみたす全て の有理数列の極限

lim

n→∞

a

n

Q

に付け加えたものを 実数

R

とする

.

II.

こうやって得られた実数

R

,

有理数

Q

を拡大したものだが

,

次の性質を持っている

; Q

R

に置き換えた

(1.1) – (1.3)

が成立,

(1.5)

実数列

{a

n

} ⊂ R

(1.4)

を満たせば

,

必ず

lim

n

a

n

R.

(1.6)

この最後の性質

(1.6)

実数の完備性 と呼ばれる

.

注意

1.1.

では

,

実数

R

をさらに拡大して

, (1.5)

(1.6)

の性質を備えた物が得られるだろう か?

実は,得られないことが証明されている. つまり 実数

R

は極限操作を行う解析学で は丁度よい物と言える

.

1 (1.1)可換体. (1.2)線形順序性, (1.3)稠密性と呼ぶ.

2 (1.4)をみたす数列を基本列と呼ぶ.

(2)

2

数列

I.

数列

{a

n

} ⊂ R

の収束と極限を厳密に定義してみよう

:

定義

2.1.

数列

{a

n

}

が極限

a

に収束するとは

,

任意の

ε > 0

にたいし

,

ある

N

があり

n N ⇒ |a

n

a| ≤ ε

が成立することである

.

命題

2.2.

数列

{a

n

}, {b

n

}

が収束していれば

, (i)

ある数

L

があり

,

任意の

n

にたいし

|a

n

| ≤ L.

(ii)

数列

{a

n

+ b

n

}, {a

n

b

n

}, {a

n

b

n

}

は収束する

.

(iii) b

n

6= 0

かつ

lim

n

b

n

6= 0

なら

,

数列

{a

n

/b

n

}

は収束する

. II.

数列

{a

n

}

にたいし

,

S

n

X

n

k=1

a

k

= a

1

+ a

2

+ · · · + a

n

を級数という

.

数列

{S

n

}

が収束するとき

,

級数

P

n

k

a

k は収束する という

.

ここで

,

収束 する級数を分類してみよう

:

(i) T

n

P

n

k=1

|a

n

|

とおく

.

数列

{T

n

}

が収束するとき

,

級数

P

n

k

a

k 絶対収束する という

.

(ii)

数列

{S

n

}

は収束するが

{T

n

}

は収束しないとき

,

数列

{S

n

}

条件収束する という

.

注意

2.3.

絶対収束する級数は

,

項の順序をどのように入れ替えても同じ極限に収束する

.

方,条件収束する級数は,項の順序を適当に入れ替えると,どんな極限にも収束するように出来

.

3

関数

実数のある部分集合

D R

に属する数

x

にたいし

,

ある数

f (x)

がただ一つ対応するとき

,

その対応を関数と呼ぶ

.

I. D

内部の点

x

0にたいし

, lim

x→x0,x∈D

f (x) = a

であるとき

,

関数

f

x

0 で極限

a

もつ という3

.

極限という言葉は

,

既に 数列

{a

n

}

に対して使ったが

,

実は関数に対する物と同じである

:

命題

3.1.

関数

f

x

0で極限

a

をもつ

.

⇔ {x

n

}

D

に含まれる数列とする

.

すべての

n

x

n

6= x

0 かつ

lim

n

x

n

= x

0

D

なら

, lim

n

f (x

n

) = a.

3 ここでf(x0)の値とaにはなんの関係も無いことを注意せよ.

(3)

これにより

,

関数の極限は数列の極限に帰着することが判った

.

II.

関数

f

x

0 で極限値

a

をもち

,

しかも

f (x

0

) = a

のとき

, f

x = x

0 で連続 いい

, D

の全ての点

x

で連続な関数を

D

で連続な関数 という

.

注意

3.2.

極限値と連続の定義を

ε-δ

論法を使って厳密に述べてみよう

.

(i)

関数

f

x

0で極限

a

をもつ とは

,

任意の

ε > 0

にたいし

,

ある

δ > 0

があり

,

|x x

0

| ≤ δ ⇒ |f (x) a| ≤ ε

となる事である

.

(ii)

関数

f

x = x

0 で連続

とは

,

任意の

ε > 0

にたいし

,

ある

δ > 0

があり

,

|x x

0

| ≤ δ ⇒ |f (x) f (x

0

)| ≤ ε

となる事である

.

連続関数はいろいろ都合の良い性質を備えている

:

定理

3.3 (

中間値の定理

).

閉区間

[a, b]

で定義された連続関数

f

f (a) < f(b)

を満たして いる

.

このとき

a < c < b

である任意の

c

にたいし

, f (x) = c

となる

x (a, b)

が存在する

.

4

微分

I.

微分は

, Newton

が質点の運動を研究するために考案した とされている

.

f

D

で定義された関数とする

. D

の内部の点

x

0 にたいし

,

(4.1) lim

h→0

f (x

0

+ h) f (x

0

) h

が存在するとき

, f

x

0 で微分可能 と言い

, (4.1) = f

0

(x

0

) = df

dx (x

0

)

と記述する

. f

0

(x

0

)

x

o

D

の関数と見たとき

, f

の導関数 と呼ぶ

.

注意

4.1.

微分可能な関数と連続関数とのギャップは大きく

,

至る所で微分が出来ないが連続 な関数が存在する

.

定理

4.2. f

を 区間

[a, b]

で連続

, (a, b)

で微分可能な関数とする

.

(i) (Rolle

の定理

) f (a) = 0 = f (b)

なら

, f

0

(c) = 0

となる点

c (a, b)

がある

. (ii) (

平均値の定理

)

次を満たす点

z (a, b)

がある

:

f (b) f (a)

b a = f

0

(z).

平均値の定理を使うと数学では許されない

0/0

の計算が出来ることがある

.

関数

f, g

を 定

4.2

の条件をみたすものとする

. f (a) = 0 = g(a), g

0

(a) 6= 0

とすると

,

b→a

lim f (b) g(b) = lim

b→a

f

0

(b)

g

0

(b) .

(4)

II.

関数

f

の導関数

f

0

(x)

にたいし

,

その微分と導関数

f

00

(x)

を考えることができる

. f

00

(x)

を2階微分/2階導関数と呼ぶ.さらに

3

階微分

f

000

,

さらには

n

階微分

f

(n)も考えること が出来る

.

この高階微分の重要な応用として

, Taylor

展開がある

.

定理

4.3 (Taylor

展開

).

関数

f

は 区間

(a, b)

n + 1

階まで微分可能をする

.

c, x (a, b)

にたいし

,

次が成立

:

ある点

y

があり

f (x) = f (c) + f

0

(c)

1! (x c) + f

00

(c)

2! (x c)

2

+ · · · + f

(n)

(c)

n! (x c)

n

+ R

n+1

,

ここで

, |y c| < |x c|

であり

R

n+1

f

(n+1)

(y)

(n + 1)! (x c)

n+1

. (4.2)

5

いろいろな関数

I. f, g

D

で定義された関数とする

.

a. g

のとる値が

D

に属しているとき

,

新しい関数

f ¡ g(x) ¢

が得られる

.

これを

f

g

との合 成関数と呼ぶ

.

合成関数の微分は

,

つぎの通り

:

³ f ¡

g(x) ¢´

0

= f ¡ g(x) ¢

g

0

(x).

b.

ある

E R

1 があり

, x E

にたいしては常に

f (y) = x

となる

y D

が唯一つ存在するとき

,

この

y

f

−1

(x)

と書き

, f

−1

(x), x E

f

の逆関数と呼ぶ

.

逆関数の微分は

,

つぎの通り

:

³ f

−1

(x)

´

0

= 1

f

0

¡ f (x) ¢.

II.

代表的な初等関数を列挙する

:

a.

代数関数

: a(a 6= 0)

を実定数として

f(x) x

a

, x R

1

. f

0

(x) =

( ax

a−1

a 6= 1

1 a = 1.

b.

指数関数

: f (x) exp{x}, x R

1

.

ここで

, exp{x} ≡ lim

n→∞

(1 + x n )

n

. f

0

(x) = exp{x} = f (x),

(0

を中心とした

Taylor

展開)

exp{x} = 1 + x + x

2

2! + · · · + x

n

n! + · · · . (5.1)

c.

対数関数

:

指数関数

exp{x}

の逆関数

. x > 0

にたいして定義され

, f (x) = log x

と記述 する

.

³ log x

´

0

= 1 x ,

(1

を中心とした

Taylor

展開

) log(1 + x) = x x

2

2 + · · · + (−1)

n

x

n

n + · · · .

(5.2)

(5)

d.

三角関数

: sin x, cos x.

³ sin x ´

0

= cos x, ³ cos x ´

0

= sin x, (0

を中心とした

Taylor

展開

) sin x = x x

3

3! + x

5

5! · · · + (−1)

n−1

x

2n−1

(2n 1)! + · · · . (5.3)

(0

を中心とした

Taylor

展開

) cos x = 1 x

2

2! + x

4

4! + · · · + (−1)

n−1

x

2n

(2n)! + · · · . (5.4)

III. Taylor

展開

(5.1), (5.2)

を使うと

,

複素数にたいして

,

指数関数

,

対数関数が定義出来る

: a, b

を実数

, i

を虚数単位とする

.

exp{a + ib} = exp{a} ³

cos b + i sin b ´ , log ¡

a + ib ¢

= log ¡p

a

2

+ b

2

¢ +

ここで

θ

は次の実数

:

もし

a 6= 0

なら

tan θ = b

a ;

もし

a = 0

なら

θ = π 2 .

同様に

(5.4), (5.3)

を使って

,

三角関数を複素数にたいして定義できる

:

(5.5) cos ib = exp{b} + exp{−b}

2 .

ここで

(5.5)

の右辺は

, hyperbolic cosine

関数と呼ばれ

, cosh b

と表記される

.

(5.6) sin ib = i exp{b} − exp{−b}

2 .

ここで

(5.6)

の右辺を

i

で割った関数は

, hyperbolic sine

関数と呼ばれ

, sinh b

と表記され

.

6 2

変数関数

I. R

2

2

P = (x

0

, y

0

), Q = (x, y)

距離

ρ(P, Q)

ρ(P, Q) p

(x

0

x)

2

+ (y

0

y)

2 で定義する

.

P = (x

0

, y

0

) D

にたいし

,

部分集合

(6.1) B

ε

(P) ≡ {Q R

2

: ρ(P, Q) < ε} ⊂ R

2

P

を中心とした半径

ε

の球 と呼ぶ.

注意

6.1.

一般に

R

n の点

P = (x

0

, y

0

, · · · , z

0

)

と点

Q = (x

1

, y

1

, · · · , z

1

)

の距離としては

, ρ(P, Q) p

(x

0

x)

2

+ (y

0

y)

2

+ · · · + (z

0

z

1

)

2

, ρ

1

(P, Q) max{|x

0

x

1

|, |y

0

y

1

||, · · · , |z

0

z

1

|}, ρ

2

(P, Q) ≡ |x

0

x

1

| + 1

2 |y

0

y

1

|| + · · · + 1

2

n

|z

0

z

1

|

等があるが

,

どれも同値である

.

ただし

, ρ

1

ρ

2 は無限次元空間に拡張できる

.

(6)

D R

2を領域として

,

f : (x, y) D R

1

という関係を

, D

で定義された実数値関数

f

という

.

この

f

P = (x

0

, y

0

) D

で連続 とは

,

(x,y)→(x

lim

0,y0)

f (x, y) = f (x

0

, y

0

)

が成立することである

.

ここで

, Q = (x, y) (x

0

, y

0

) = P

, ρ(P, Q) 0

を意味するが

,

Q

が 点

P

に近づく方法は無数にあることを注意する

.

定理

6.2.

有界な閉集合

D

上の連続関数は

,

そこで最大値をとる

. II. f

を領域

D

で定義された連続関数とする

.

(6.2) lim

x→x0

f (x, y

0

) f (x

0

, y

0

) x x

0

が存在するとき

, f

は 点

(x

0

, y

0

)

x

偏微分可能 といい

, (6.2) = ∂f

∂x (x

0

, y

0

)

と表す4

.

さらに

,

この

(∂f /∂x)(x

0

, y

0

)

f

x

偏導関数 と呼ぶ

.

同様に

,

x→x

lim

0

f (x, y

0

) f (x

0

, y

0

) x x

0

∂f

∂y (x

0

, y

0

)

が存在するとき,

f

は 点

(x

0

, y

0

)

y

偏微分可能 といい5

,

この極限値

(∂f /∂y)(x

0

, y

0

)

f

y

偏導関数 と呼ぶ

大雑把に言えば

,

偏微分しようとする変数以外は定数と考えて微分することが偏微分である

.

そのため1変数の場合の微分公式が

,

そのまま偏微分にも適用できる

.

6.3. (i) 2

変数関数

z = f (x, y)

2

変数関数

x = g(u, v), y = h(u, v)

の合成関数

f(g(u, v), h(u, v))

の偏微分について

,

次の式が成立する

.

∂f

∂u = f

x

(x, y) g

u

(u, v) + f

y

(x, y) h

u

(u, v)

∂f

∂v = f

x

(x, y) g

v

(u, v) + f

y

(x, y) h

v

(u, v).

(6.3)

(ii) 2 × 2

行列

(6.4) ∂(x, y)

∂(u, v)

à g

u

(u, v) h

u

(u, v) g

v

(u, v) h

v

(u, v)

!

を使うと6

, (6.3)

は行列の記法を使って

à f

u

(u, v) f

v

(u, v)

!

= ∂(x, y)

∂(u, v)

à f

x

(x, y) f

y

(x, y)

!

ただし

x = g(u, v), y = h(u, v)

と表せる

.

4 fx(x0, y0)と表すこともある.

5 fy(x0, y0)という記号を使うこともある.

6 (6.4)の行列式をヤコビ行列式(ヤコビアン)と言い,多変数関数の積分で重要な役割を果たしている.

(7)

(iii) (6.4)

の逆行列

∂(u, v)

∂(x, y) ³ ∂(x, y)

∂(u, v)

´

−1

を使うと,次式が得られる:

à f

x

(x, y) f

y

(x, y)

!

= ∂(u, v)

∂(x, y)

à f

u

(x, y) f

v

(x, y)

!

ただし

x = g(u, v), y = h(u, v).

III. 1

変数の場合と同様

,

偏微分でも 偏導関数の偏微分 を考えることが出来る

.

(6.5) lim

x→x0

f

x

(x, y

0

) f

x

(x

0

, y

0

) x x

0

=

2

f

∂x

2

(x

0

, y

0

) = f

xx

(x

0

, y

0

).

これ以外にも

y→y

lim

0

f

x

(x

0

, y) f

x

(x

0

, y

0

)

y y

0

=

2

f

∂y ∂x (x

0

, y

0

) = f

xy

(x

0

, y

0

), (6.6)

x→x

lim

0

f

y

(x, y

0

) f

y

(x

0

, y

0

) x x

0

=

2

f

∂x ∂y (x

0

, y

0

) = f

yx

(x

0

, y

0

), (6.7)

y→y

lim

0

f

y

(x

0

, y) f

y

(x

0

, y

0

) y y

0

=

2

f

∂y

2

(x

0

, y

0

) = f

yy

(x

0

, y

0

) (6.8)

などの

2

階偏微分 および

2

階偏導関数 がある

.

ここで

(6.6)

(6.7)

は偏微分の順序が異なるが

,

適当な条件の下では同じになる

.

命題

6.4.

関数

f

の偏導関数

f

xy

(x, y), (6.6)

f

yx

(x, y), (6.7)

が 領域

D

で共に存在し

,

続である

.

このとき

,

両者は一致する

.

この議論を何度も繰り返すと 自然数

m, n

にたいし

m

f

∂x

m

(x, y),

n

f

∂y

n

(x, y),

m+n

f

∂x

m

∂y

n

(x, y)

という 高階偏微分と高階偏導関数 を考えることができる

.

さらに 命題

6.4

と類似した結 果が成立する

.

7

偏微分の応用

I. Taylor

展開

:

1変数の場合と同様

, 2

変数関数にも

Taylor

の定理がある

.

定理

7.1 (Taylor

展開

).

関数

f (x, y)

はある領域

D

で定義され

,

そこで

n + 1

階までの偏導 関数が存在している

.

P = (a, b) D

と 数

h, k

(6.1)

にたいし

B

ε

(P ) D, ε p h

2

+ k

2

を満たしている

.

このとき

,

ある

0 < θ < 1

にたいし

,

次の等式が成立する

: f (a + h, b + k) = f (a, b) +

X

n m=1

1 m!

³ h

∂x + k

∂y

´

m

f (a, b) + R

n+1

, R

n+1

1

(n + 1)!

³ h

∂x + k

∂y

´

n+1

f (a + θh, b + θk).

(8)

ただし

³ h

∂x + k

∂y

´

m

f (a, b) = X

m

`=0

à m

`

!

h

m−`

k

`

m

f

∂x

m−`

∂y

`

(a, b)

である

.

II.

極値

:

領域

D R

2 で定義された関数

f (x, y)

が 点

P = (a, b)

で極大値をとるとは

,

ある

ε > 0

があり

f (a, b) f (x, y), (x, y) B

ε

(P ).

一方

,

P = (a, b)

で極小値をとるとは

,

ある

ε > 0

があり

f (a, b) f (x, y), (x, y) (x, y) B

ε

(P ).

注意

7.2.

イメージとしては立体地図を考えればよい

.

関数

f

の値は標高だから

,

極大値をと る 点

P

は山頂になる

.

関数

f

は連続な

2

階偏導関数を持つとし

, 2 × 2

行列式7

(7.1) H (x, y)

¯ ¯

¯ ¯

¯

f

xx

(x, y) f

xy

(x, y) f

xy

(x, y) f

yy

(x, y)

¯ ¯

¯ ¯

¯

で定義する

.

定理

7.3.

関数

f (x, y)

はある領域

D

で定義され

,

そこで

2

階までの連続な偏導関数が存在し

ている

.

(i)

関数

f

が 点

P = (a, b) D

で極値をとるなら

,

(7.2) f

x

(a, b) = 0 f

y

(a, b) = 0.

(ii)

逆に

,

関数

f

はある 点

P = (a, b)

(7.2)

を満たしている

. (a) H (a, b) > 0 , f

xx

(a, b) > 0

8なら

, f

は 点

P

で極小値をもつ

. (b) H (a, b) > 0 , f

xx

(a, b) < 0

なら

, f

は 点

P

で極大値をもつ

. (c) H (a, b) < 0

なら

,

P

f

の極値ではない

.

(d) H (a, b) = 0

なら

,

これだけでは極値かどうか判定できない

.

7.4. f (x, y) = xy(1 x

2

y

2

)

の極値を求める

. Step 1.

まず

f

x

(x, y) = y(1 y

2

3x

2

), f

y

(x, y) = x(1 x

2

3y

2

)

だから

, f

x

(x, y) = 0, f

y

(x, y) = 0

を同時に満たす点

(0, 0), (±1, 0), (0, ±1), ( 1 2 , ± 1

2 ), (− 1 2 , ± 1

2 )

という

9

個の点が極値の候補である

.

7 ヘッセの行列式と呼ばれる.

8 (a)(b)で,fxx(a, b)fyy(a, b)で代用してもよい.

(9)

Step 2. f

xx

(x, y) = −6xy = f

yy

(x, y), f

xy

(x, y) = 1 3x

2

3y

2 だから

, H (x, y) = 36x

2

y

2

(1 3x

2

3y

2

)

2

である

.

これより 4個の点

(1/2. ± 1/2), (±1/2.1/2)

だけで

H > 0

となり

, f

xx

(( 1

2 . 1

2 )) = f

xx

((− 1 2 . 1

2 )) = 3

2 , f

xx

(( 1 2 . 1

2 )) = f

xx

((− 1 2 . 1

2 )) = 3 2

と計算できる

.

結局

, f

(1/2, 1/2), (−1/2, −1/2)

で極大値

, (1/2, −1/2), (−1/2, 1/2)

で極小 値をとる

.

参照

関連したドキュメント

これは基礎論的研究に端を発しつつ、計算機科学寄りの論理学の中で発展してきたもので ある。広義の構成主義者は、哲学思想や基礎論的な立場に縛られず、それどころかいわゆ

テューリングは、数学者が紙と鉛筆を用いて計算を行う過程を極限まで抽象化することに よりテューリング機械の定義に到達した。

累積誤差の無い上限と 下限を設ける あいまいな変化点を除 外し、要求される平面 部分で管理を行う 出来形計測の評価範

Research Institute for Mathematical Sciences, Kyoto University...

これはつまり十進法ではなく、一進法を用いて自然数を表記するということである。とは いえ数が大きくなると見にくくなるので、.. 0, 1,

 当図書室は、専門図書館として数学、応用数学、計算機科学、理論物理学の分野の文

しかし , 特性関数 を使った証明には複素解析や Fourier 解析の知識が多少必要となってくるため , ここではより初等的な道 具のみで証明を実行できる Stein の方法

られる。デブリ粒子径に係る係数は,ベースケースでは MAAP 推奨範囲( ~ )の うちおよそ中間となる