「一様収束(7)」記事へのコメント

証明

[Quest of Math (20493)]

z∈B(z0,r)について、

|cn*(z-z0)^n| = |cn*(z1-z0)^n|*|(z-z0)^n|/|(z1-z0)^n|

仮定から、

|cn*(z-z0)^n| ≦ |cn*(z1-z0)^n|*|r/(z1-z0)|^n

である。r＜|z1-z0|であるので、|r/(z1-z0)|＜1である。

また、z1においてfは収束するのだから、

|cn*(z1-z0)^n| ≦ |f(z1)| ≦ M

となるようなM∈Rが存在する。したがって、

|cn*(z-z0)^n| ≦ M*|r/(z1-z0)|^n

ここでd'Alembert判定法を使うと、
(d'Alembert判定法は下のレスにて示す)

(M*|r/(z1-z0)|^(n+1))/(M*|r/(z1-z0)|^n) = |r/(z1-z0)| ＜ 1

であるので、ΣM*|r/(z1-z0)|^n (n:1～∞)は収束する。
したがって、B(z0,r)の定義から、

Σ||cn*(z-z0)^n||_{B(z0,r)} (n:1～∞)
≦ ΣM*|r/(z1-z0)|^n (n:1～∞)

であるので、Σ||cn*(z-z0)^n||_{B(z0,r)} (n:1～∞)は収束して
ワイエルシュトラスの定理からf(z)はB(z0,r)上一様絶対収束する。

次に、Σn*cn*(z-z0)^(n-1) (n:0～∞)がB(z0,r)上一様絶対収束することを証明する。
上と同様にすると、

|n*cn*(z-z0)^n| ≦ n*M*|r/(z1-z0)|^n

となって、d'Alembert判定法を使うと、

((n+1)*M*|r/(z1-z0)|^(n+1))/(n*M*|r/(z1-z0)|^n)
= (n+1)/n*|r/(z1-z0)|
= (1+1/n)*|r/(z1-z0)| → |r/(z1-z0)| ＜ 1 (n→∞)

したがって、Σn*M*|r/(z1-z0)|^n (n:1～∞)は収束する。
よって、上と同様にΣn*cn*(z-z0)^(n-1) (n:0～∞)が
B(z0,r)上一様絶対収束する。