不等号 ¹ を持つ集合 S の部分集合 A と B の強差集合 \\
B
(29-1) A \\ B |
で定義します。明らかに \\
B Ì A \
B
位相空間 X の部分集合 U と ÎX \\ {a}
f が a の近くで定義されているとき、 :º { f [V \\ {a}] | V
ÎV (a) }ÎY
(29-2a)y |
x |
f(x) |
又は
(29-2b) f(x) |
と書きます。
もし ÎD( f )
(a)
実際、f が連続なら f が極限 (a)
(a)
(a)
(a)
(29-3) |
となるものが存在します。
そこで a の近傍 W を [W \\ {a}]
Ì V'ÎW(x)
ÏV' ¹ aÎW \\ {a}
(x)
ÎV' = a(x)
= f(a)ÎV'= の定義により (x)
ÎV'
ゆえに Ø f(x)
ÏV'(29-3)
で y に (x)
(x)
ÎV
以下、U を付値体 K' の非孤立的な部分集合、すなわち任意の ÎUÎU
(29-4) Δf(a, x) |
f(x) x |
( x |
と定義します。(a, x)
(29-5) Df(a) |
da |
f(a) |
d f(a)a |
x |
Δf(a, x) |
を f の a における微分係数といいます。もし f が U のすべての点で微分可能なとき、単に微分可能であるといい、a に対して Df(a)
D
f
導関数の導関数が存在するとき、これを2階の導関数といいます。以下帰納的に、 - 1
(29-6) Dn f(a) |
dnan |
f(a) |
dnf(a)an |
と書きます。なお、任意の n に対してn階微分可能な関数は無限階微分可能であるといいます。
さて、f が開集合 U で定義された強関数ならば、その導関数 D
f
実際、Df(x)
¹ Df( y)ÎK'(z)
:º Δf(z, z + h)(x)
¹ g(y) ¹ yD
f
さて、f が a で微分可能であるためには、ある実数 Df(a)
|| · ||
e > 0
(29-7) | x |
が成り立つような実数 d > 0
実際、(29-7)
が成り立てば、(a, x)
Df(a)
逆に、f は a で微分可能で微分係数 Df(a)
e > 00 < | x
- a | < d(29-7)
の右辺が成り立つような d > 0| x
- a | < d
(29-8) || f(x) |
と仮定します。
ここで ¹ a0 < | x
- a | < d(29-7)
の右辺が成り立つので (29-8)
と矛盾します。よって = a|| f(x)
- f(a) - Df(a)(x - a) || = 0 £ 0 = e | x - a |(29-7)
の右辺が成り立つので (29-8)
と矛盾します。
従って、仮定 (29-8)
の否定が成り立ち、これは (29-7)
の右辺が成り立つことを意味します。
さて、f は、a で微分可能なら a で連続です。
なぜなら X の一様構造を定義する任意のセミノルム || · ||
e = 1(29-7)
を満たす d > 0
(29-9) | x |
となり、右辺は ® a0 に近づくからです。
U から X への関数 f , g に対し、( f
+ g)(x) :º f(x) + g(x)( x
ÎU ) + g
(29-10a) Δ( f |
が成り立つので、f , g が共に a で微分可能なら、X の加法が連続であることから + g
(29-10b) D( f |
が成り立ちます。また、ÎK(cf )(x)
= cf(x)
(29-11a) Δ(cf )(a, x) |
となるので、f が a で微分可能なら、K と X の元の積が連続であることから
(29-11b) D(cf )(a) |
が成り立ちます。すなわち微分演算 D
は線形写像です。
また、U から K への関数 j に対し、関数 j f(
jf )(x) :º j(x) f(x)( x
ÎU )
(29-12a) Δ( |
(x) f(x) x |
{ x |
(a, x) f(x) |
となるので、j , f が共に a で微分可能なら、K と X の元の積が連続であることから、j f
(29-12b) D( |
が成り立ちます。更に j と f がn階の導関数を持てば、次のLeibniz
の公式:
(29-12c) Dn( |
n k=0 |
æ è |
n k |
ö ø |
(k)(a) f (n |
が成り立ちます。
なぜなら、j(i)(a)
( j)(a)
j(i)(a)
1 増やすという演算を a 、 (i)(a)
1 増やすという演算を b と書けば、1 回微分するという操作は (29-12b)
により + b(a
n + b)(12-32)
により (29-12c)
が得られるからです。
同様に、多項定理 (12-34)
により、U から K へのn階微分可能な関数 ji(
1 £ i £ r )
(29-12d) Dn( |
k1+¼+ kr= n |
æ è |
n k |
ö ø |
(k |
が成り立つことがわかります。
次に、U から K への関数 j に対し、j(a)
¹ 0j が a で微分可能なら、j は a で連続なので、1/j
(29-13a)Δ |
æ è |
j |
ö ø |
(a, x) |
x |
æ è |
j (x) |
j (a) |
ö ø |
j (x) |
(x) x |
Δ(a, x) |
となるので、1/j
(29-13b) D |
æ è |
j |
ö ø |
(a) |
D |
ゆえに (29-12b),(29-13b)
により、a で微分可能な f に対して
(29-14) D |
æ è |
f |
ö ø |
(a) |
(a)Df(a) |
また、定値関数 (x)
(a, x)
= 0
(29-15a) Df(a) |
が成り立ちます。特に = K' = KÎK
(29-15b) Dc |
また、恒等写像 j(x)
:º x
(29-16a) Δ |
x x |
ですから
(29-16b) Dx |
となります。(29-15b),(29-16b)
と (29-12b)
により、n に関する帰納法によって、任意の正整数 n に対して
(29-17) D(xn ) |
であることが証明できます。実際、n で正しいとすると、D(xn
xn+1 ) = D(xn · x) = D(xn ) x + xn D(x) = nxn-1 x + xn = (n + 1)
更に、(29-17)
は n が負の整数の場合も ¹ 0
実際、 = - n > 0jxm(x)
:º (29-13b)
を適用すれば、D(xn )
= D(1/j)(x) = - D(j)(x)/j(x)² = - mxm-1x-2m = - mx-m-1 = nxn-1
次に 一方、 を満たす を満たす また ゆえに が成り立ちますから、 が得られます。
次に ここで が得られます。
次に、K' の非孤立的な部分集合 U から K への関数 を満たせば、 が成り立ちます。なぜなら となり、この右辺は 次に付値体 K' の非孤立的な部分集合 U と付値体 K に対する を考えます。ここですべての が成り立つならば、f は x で微分可能で、項別微分可能、すなわち
が成り立ち、かつこの右辺は絶対収束することを証明しましょう。
となります。さて、任意の となりますが、各 が得られます。これは、 となります。また、各 となる となるので、 さて、上記の結果を冪級数 が成り立ちます。
が成り立ちます。ゆえに ですから、級数 さて、 と二項定理 となりますが、 となることがわかります。しかも さて、今までの議論は と書きます。同様に、 と書きます。
そこで、 と書いて、これを f の a における右微分係数といいます。
と書いて、これを f の a における左微分係数といいます。
f が a で極限を持ち、a が U の右(左)非孤立点ならば、明らかに右(左)極限を持ち、極限と一致しますが、逆に a が左非孤立点かつ右非孤立点で、かつ左右の極限が存在して一致すれば、極限を持ち、左右の極限に一致します。微分についても同様です。
j は付値体 K" の非孤立集合 U から K' への関数で、ÎU で微分可能とし、f は K' の非孤立集合から X への関数で、j(a)
|| · ||
e > 0e' :º e / 2(
1 + |Dj(a)|)(29-7)
を満たす d を取り、x と a にそれぞれ j(x)
j(a)
(29-18a) |
j(x) - j(a) | < d Þ || f(j(x)) - f(j(a)) - (Df )(j(a))(j(x) - j(a)) || £e
2(
1 + |D
j(a)|)|
j(x) - j(a) |j は a で連続ですから
(29-18b) | x
- a | < h' Þ | j(x) - j(a) | < dh' > 0j は a で微分可能ですから、
(29-18c) | x
- a | < h" Þ | Δj(a, x) - Dj(a) | £inf {
2, e}
2(1 + ||(Df )(
j(a))||)£ 1h" > 0h :º inf {
h' , h" } > 0(29-18a)
の Þ の右側の式を - a
(29-18d)
0 < | x - a | < h Þ || Δ( f ° j)(a, x) - (Df )(j(a)) Δj(a, x) || £e
2(
1 + |D
j(a)|)| Δ
j(a, x) | £e
2(
1 + |D
j(a)|){ | Δ
j(a, x) - Dj(a) | + | Dj(a) | } £e
2(29-18c)
により
(29-18e)
0 < | x - a | < h Þ || (Df )(j(a)) Δj(a, x) - (Df )(j(a))Dj(a) || = | Δj(a, x) - Dj(a) | || (Df )(j(a)) ||£e
2(29-18d),(29-18e)
により
(29-18f)
0 < | x - a | < h Þ || Δ( f ° j)(a, x) - (Df )(j(a)) Dj(a) || £ e ° j
(29-18g) D( f
° j)(a) = (Df )(j(a)) Dj(a)j は ÎK'D
j(a) ¹ 0 :º j(a)
j-1 :º j(x)
¹ bj が強関数であることから ¹ aj(a, x)
(29-19a) Δ
j-1(b, y) =j-1( y)
- j-1(b)
y - b= t
- a
j(x)
- j(a)=1
Δj(a, x)
j-1 ® b ® aj-1
(29-19b) D
j-1(b) =1
D
j(a)= 1
(D
j)(j-1(b))j と y が、共に ÎU
(29-20a)
j(a) = y(a) = 0(29-20b)
y'(a) ¹ 0j(t)
/ y(t)
(29-21)
x
lim®aj(x)
y(x)=j'(a)
y'(a) ¹ a(29-20b)
により y(a, x)
¹ 0(29-20a)
により
(29-22)
j(x)
y(x)=j(x)
- j(a)
y(x) - y(a)=Δ
j(a, x)
Δy(a, x) ® a(29-21)
の右辺に収束するからです。これを(易しい方の)de l'Hôpital
の定理ということがあります。
Banach
空間 X に対し、U から X への関数の列からなる収束級数:
(29-23) f(x)
:º ån fn(x)
(29-24)
"e > 0 : $kÎN : $d > 0 : "zÎU : [ 0 < | z - x | < d Þ ån ³ k || Δfn(x, z) || £ e ]
(29-25) f '(x)
:º ån fn'(x)
実際、(29-23)
の x に z を代入したものから (29-23)
を辺々差し引いて、両辺を - x
(29-26) Δf(x, z)
= ån Δfn(x, z)e > 0(29-24)
を満たす k と d を取ります。このとき任意の > k
(29-27)
0 < | z - x | < d Þ åk £ n £ l || Δfn(x, z) || £ e ® x
(29-28)
åk £ n £ l || fn'(x) || £ e{
ån £ k || fn'(x) || | kÎN }(29-25)
の右辺は絶対収束することがわかりました。ゆえに (29-28)
で ® ¥
(29-29)
ån ³ k || fn'(x) || £ e
(29-30)
0 < | z - x | < dn Þ || Δfn(x, z) - fn'(x) || £e
kdn > 0d' :º inf {
d , d0 , d1 ,¼, dk-1 } > 00 < | z
- x | < d'
(29-31) || Δf(x, z)
- ån fn'(x) || £ ån < k || Δfn(x, z) - fn'(x) || + ån ³ k || Δfn(x, z) || + ån ³ k || fn'(x) || £ ke
k+ e + e = 3e
e > 0(29-25)
が成り立つことを意味しています。
(28-38)
の場合に適用してみましょう。
まず、(28-39)
の R に対応して ån ³ 1 n ||
an ||
rn-1 ³ 0
(29-32a)
R' Ì R(29-32b) R
rÎR , < R Þ rÎR'
実際、ÎR'ån ³ 1 n ||
an ||
rn-1ån ³ 1 n ||
an ||
rnån ³ 1 ||
an ||
rnÎR
次に ÎR < R{ || an || Rn | n
ÎN }0 に収束するので
(29-33)
R n$kÎN : "n ³ k : || an || £ 1 ³ k || an || rn
n-1 £ n(r/R)-1R -1(28-37b)
により
(29-34)
rnå1 £ n < k n || an || rn-1 + ån ³ k n(r/R)n-1R -1 = å1 £ n < k n || an || -1 +R
-1
{
1 - (r/R)}²- å1 £ n < k n(r
/R)n-1R -1{ n || an || rn
-1 | nÎN }{ || a
1 || , 2|| a2 || r , 3|| a3 || r² , ¼ , (k - 1)|| ak-1 || rk-2 , k(r/R)k-1R-1 , (k + 1)(r/R)kR-1 , ¼ }ÎR'(29-32b)
は証明されました。
(x)
:º an xn| x |
< rÎU| x |
< r < r
(29-35)
æ
èn
k + 1ö
ø=n
!
(k + 1)!(n - k - 1)!=(n
- 1)!n
(k + 1)!(n - 1 - k)!£ n(n
- 1)!
k!(n - 1 - k)!= næ
èn
- 1
kö
ø(12-21)
により、0 < | h |
£ r - | x |
(29-36) || Δfn(x, x
+ h) ||
= || an ||
½
½(x
n + h)- xn
h½
½
= || an ||
½
½n
å
k=1æ
èn
kö
øxn
-k hk-1½
½
£ || an ||
n
å
k=1æ
èn
kö
ø| x |n
k-k | h |-1
= || an ||
n
-1
å
k=0æ
èn
k + 1ö
ø| x |n
k-1-k | h |
£ n || an ||
n
-1
å
k=0æ
èn
- 1
kö
ø| x |n
k-1-k | h |
= n || an || ( | x |
n+ | h | )-1
£ n || an ||
rn-1 < r < R < rÎR(29-32b)
により ÎR'(29-36)
は (29-24)
が成り立つことを意味しています。
ゆえに冪級数は、絶対値が収束半径より小さい限り項別微分可能で
(29-37)
d
x
dån an xn = ån ³ 1 nan xn-1(29-32)
により、項別微分した冪級数の収束半径はもとの冪級数の収束半径と一致します。従ってこれを繰り返せば、冪級数は、絶対値が収束半径より小さい x で無限階微分可能であることがわかります。
= R
R
の部分集合 U に対し、ÎR
Ç] a,
® [Ç] a,
® [
(29-38a)
y =
t
lim ¯ a f
(t)
ÎR
Ç]
®, a [Ç]
¬, a [
(29-38b)
x =
t
lim ュ a f
(t)
R
の非孤立集合 U から局所凸空間 X への関数 f と ÎU(a, x)
(29-39a) D
+f(a) =
x
lim ¯ aΔf
(a, x)
同様に、(a, x)
(29-39b) D
-f(a) =
x
lim ュ aΔf
(a, x)