本記事では、与えられた一見複雑な級数が「差の形（テレスコーピング型）」になっていることに着目し、その一様収束性を解析します。単なる項ごとの評価ではなく、和の構造そのものを見抜くことがポイントです。
級数の構造を整理する
与えられた級数は次の形です。
∑[n=1,∞] ( a_n(x) – a_{n-1}(x) )
ただし a_n(x) = n^2 x / (1 + n^3 x^2) です。
この形は典型的なテレスコーピング級数（差が連続する和）になっています。
部分和を計算して構造を見抜く
部分和 S_N(x) を考えると、ほとんどの項が打ち消し合います。
S_N(x) = a_N(x) – a_0(x) という形に簡約されます。
a_0(x)=0より、S_N(x)=a_N(x)となります。
極限関数を求める
したがって級数の極限関数は f(x) = lim_{N→∞} a_N(x) です。
a_N(x)= N^2 x / (1 + N^3 x^2) を変形すると N^2 x / (N^3 x^2 (1 + 1/(N^3 x^2))) です。
よって f(x) = lim_{N→∞} 1 / (N x (1 + o(1))) = 0（x>0）となります。
端点x=0の挙動
x=0の場合、すべての項が0となり級数は恒等的に0です。
したがって定義域0≤x≤1で極限関数は f(x)=0 です。
一様収束の判定
一様収束は sup|S_N(x)-f(x)| → 0 を確認すればよいです。
S_N(x)=a_N(x)なので sup_{x∈[0,1]} a_N(x) を評価します。
最大値は x=1/√(2N^3) 近傍で評価でき、オーダーはO(1/N^{3/2})となります。
結論：一様収束する
supノルムが0に収束するため、この級数は[0,1]で一様収束します。
テレスコーピング構造により、各点収束だけでなく一様収束も保証されます。
構造を見抜くことが、この問題の本質的な解法です。
コメント