---
title: "संख्यात्मक श्रेणी"
book: "विश्वविद्यालय गणित — स्नातक वर्ष 1"
subject: math
language: hi
chapter: 17
exercises: 12
source: https://one-course.com/books/math/3/hi/chapter/17-numerical-series
---

# अध्याय 17 — संख्यात्मक श्रेणी

अनंत संख्याओं को जोड़ने का अर्थ है आंशिक योगों की सीमा लेना — न इससे अधिक, न कम। यह अध्याय परिभाषाएँ और प्रथम वर्ष में प्रयोग योग्य अभिसरण-कसौटियाँ खड़ी करता है: धनात्मक पदों के लिए तुलना और तुल्यताएँ, [अनुपात कसौटी](#thm-b1-series-ratio), [रीमान श्रेणी](#thm-b1-series-riemann) देने वाली समाकल-तुलना, [निरपेक्ष अभिसरण](#thm-b1-series-absolute), और [एकांतरित श्रेणी](#thm-b1-series-alternating) प्रमेय। सूक्ष्मतर सिद्धांत (श्रेणियों के गुणनफल, पैकेटों में योग, फलनों की [श्रेणी](#def-b1-series-def)) द्वितीय वर्ष का है।

## 17.1 सामान्य बातें

**परिभाषा 17.1.**

अनुक्रम $(u_n)$ दिया हो, तो *श्रेणी* $\sum u_n$ *आंशिक योगों* $S_N = \sum_{n=0}^{N} u_n$ का अनुक्रम है। $(S_N)$ के अभिसरित होने पर श्रेणी *अभिसरित* होती है; सीमा *योग* $\sum_{n=0}^{\infty} u_n$ है, और $R_N = \sum_{n > N} u_n = S - S_N$ *शेषफल* है, जो $0$ की ओर जाता है।

**उदाहरण 17.2 (गुणोत्तर श्रेणी).**

$q \in \C$ के लिए: $\;S_N = \sum_{n=0}^{N} q^n = \frac{1 - q^{N+1}}{1-q}$ ($q \neq 1$)। [श्रेणी](#def-b1-series-def) अभिसरित होती है तभी जब $\abs q < 1$ ([अभ्यास 11.3](https://one-course.com/books/math/3/hi/chapter/11-sequences#exo-b1-seq-3)), जहाँ

$$
\sum_{n=0}^{\infty} q^n = \frac{1}{1 - q} .
$$

**उदाहरण 17.3 (आवर्ती दशमलव गुणोत्तर श्रेणी हैं).**

$0.363636\dots$ कौन-सी संख्या है? उसका लेखन ही एक [श्रेणी](#def-b1-series-def) है:

$$
0.\overline{36} = \sum_{k=1}^{\infty} \frac{36}{100^k}
= 36\cdot\frac{1/100}{1 - 1/100} = \frac{36}{99} =
\frac{4}{11} ,
$$

जो $q = \frac{1}{100}$ वाले गुणोत्तर योग से मिलता है। व्यापक रूप से, $p$ अंकों का सदा दोहराता खंड $B$ $\frac{B}{10^p - 1}$ के बराबर है — यही क्रियाविधि [समस्या 10.1](https://one-course.com/books/math/3/hi/chapter/10-real-numbers#pb-b1-reals-1) की आवर्तिता कसौटी के पीछे थी, जिसे इस अध्याय की भाषा अंततः एक पंक्ति में कह देती है: [दशमलव प्रसार](https://one-course.com/books/math/3/hi/chapter/10-real-numbers#pb-b1-reals-1) एक अभिसारी [श्रेणी](#def-b1-series-def) है, जो ठीक तब अंततः आवर्ती होती है जब उसका योग परिमेय हो। अध्याय 10 की अंक-मशीनरी, जो वहाँ नंगे उच्चतमों से बनी थी, वेश बदलकर चलती श्रेणी-थ्योरी ही थी।

**प्रतिज्ञप्ति 17.4 (पहले तथ्य).**

1. यदि $\sum u_n$ अभिसरित होती है, तो $u_n \to 0$ । (विलोम *असत्य* है: हरात्मक [श्रेणी](#def-b1-series-def) ।)
2. रैखिकता: अभिसारी श्रेणियाँ अपेक्षित योगों के साथ जुड़ती और मापित होती हैं।
3. (दूरबीनी) $\sum (v_{n+1} - v_n)$ अभिसरित होती है तभी जब $(v_n)$ अभिसरित हो, और योग $\lim v_n - v_0$ ।
4. परिमित कितने पद बदलने से अभिसरण नहीं बदलता (केवल योग बदलता है)।

**उपपत्ति.** (1) $u_N = S_N - S_{N-1} \to S - S = 0$। हरात्मक [श्रेणी](#def-b1-series-def) में $u_n = \frac1n
\to 0$ है, फिर भी वह अपसरित होती है ([अभ्यास 11.5](https://one-course.com/books/math/3/hi/chapter/11-sequences#exo-b1-seq-5))। (2) सीमाओं पर संक्रियाएँ। (3) $S_N = v_{N+1} - v_0$। (4) आंशिक योग अंततः अचर राशि भर बदल जाते हैं। ∎

**उदाहरण 17.5 (गुणोत्तर शेषफल से अंकों की योजना).**

$\abs q < 1$ के लिए [गुणोत्तर श्रेणी](#ex-b1-series-geometric) का शेषफल स्पष्ट है:

$$
R_N = \sum_{n = N+1}^{\infty} q^n = \frac{q^{N+1}}{1 - q} .
$$

इससे यथार्थता के लक्ष्य किसी भी संगणना से पहले पद-संख्या में बदल जाते हैं। $\sum_{n\geq0} \bigl(\frac13\bigr)^n = \frac32$ का मान $10^{-10}$ के भीतर निकालने के लिए: $\frac{(1/3)^{N+1}}{2/3} \leq 10^{-10}$ चाहिए, अर्थात् $3^{N} \geq \frac{3}{2}\cdot 10^{10}$, अर्थात् $N \geq 22$ (क्योंकि $3^{22}
\approx 3.1\cdot10^{10}$): अतः तेईस पद, और वह भी पहले से ज्ञात। सप्ताहांत समस्याओं का हर गुणोत्तर-दर वाला आकलन ($\ln 2$ के लिए $\frac13$-श्रेणी, [समस्या 16.1](https://one-course.com/books/math/3/hi/chapter/16-taylor-formulas-and-asymptotic-expansions#pb-b1-taylor-1) में मैकिन की प्रतिलोम स्पर्शज्याएँ) यही दो पंक्ति का बजट है, बस पेशेवर पोशाक में।

**उदाहरण 17.6 (एक लंबी दूरबीन).**

$\sum_{n\geq1} \frac{1}{n(n+1)(n+2)}$ संगणित कीजिए। आंशिक भिन्नें ([अध्याय 9](https://one-course.com/books/math/3/hi/chapter/9-rational-fractions#ch-b1-fractions)):

$$
\frac{1}{n(n+1)(n+2)}
= \frac{1/2}{n} - \frac{1}{n+1} + \frac{1/2}{n+2}
= \frac12\Bigl(\frac{1}{n(n+1)} - \frac{1}{(n+1)(n+2)}\Bigr),
$$

जहाँ दूसरा रूप — $w_n = \frac{1}{n(n+1)}$ के क्रमागत मानों का अंतर — दूरबीनी रूप है। अतः

$$
\sum_{n=1}^{N} \frac{1}{n(n+1)(n+2)}
= \frac12\Bigl(w_1 - w_{N+1}\Bigr)
= \frac12\Bigl(\frac12 - \frac{1}{(N+1)(N+2)}\Bigr)
\longrightarrow \frac14 .
$$

समापन का सार: तीन-पद वाली आंशिक भिन्नें जैसी लिखी हों वैसी शायद ही दूरबीनी होती हैं; पहले उन्हें किसी अंतर $w_n - w_{n+1}$ में पुनर्समूहित कीजिए — और पुरस्कार केवल अभिसरण नहीं, बल्कि यथार्थ योग है, जो कोई तुलना-कसौटी कभी नहीं देती।

## 17.2 ऋणेतर पदों वाली श्रेणी

**प्रमेय 17.7 (परिबद्ध आंशिक योग).**

यदि सभी $n$ के लिए $u_n \geq 0$, तो आंशिक योग बढ़ते हैं, अतः: $\sum u_n$ अभिसरित होती है $\iff$ उसके आंशिक योग ऊपर से परिबद्ध हैं। इससे *तुलना कसौटी* मिलती है: यदि सभी (बड़े) $n$ के लिए $0 \leq u_n \leq v_n$, तो

$$
\begin{align*}
\sum v_n \text{ अभिसरित होती है} &\implies \sum u_n \text{ अभिसरित होती है},\\
\sum u_n \text{ अपसरित होती है} &\implies \sum v_n \text{ अपसरित होती है}.
\end{align*}
$$

और *तुल्यता कसौटी*: यदि $v_n \geq 0$ के साथ $u_n \sim v_n$, तो दोनों श्रेणियों की प्रकृति एक ही है।

**उपपत्ति.** पहले बिंदु के लिए एकदिष्ट सीमा प्रमेय ([प्रमेय 11.9](https://one-course.com/books/math/3/hi/chapter/11-sequences#thm-b1-seq-monotone)); और दूसरे के लिए आंशिक योगों की तुलना। तुल्यताएँ: बड़े $n$ के लिए $\frac12 v_n \leq
u_n \leq 2 v_n$ ($\varepsilon = \frac12$ के साथ $\sim$ की परिभाषा), और तुलना दोनों ओर लागू हो जाती है। ∎

**उदाहरण 17.8 (एक तुल्यता जो अपसरण सिद्ध कर देती है).**

$\sum_{n\geq1} n\sin\dfrac{1}{n^2}$ की प्रकृति? चूँकि $0$ पर $\frac{1}{n^2}
\to 0$ और $\sin h \sim h$:

$$
n\sin\frac{1}{n^2} \;\sim\; n\cdot\frac{1}{n^2} = \frac1n ,
$$

और तुल्यता कसौटी हरात्मक [श्रेणी](#def-b1-series-def) का अपसरण स्थानांतरित कर देती है: अतः अपसारी — यद्यपि पद $0$ की ओर जाते हैं। एक प्रसार, एक पैमाना, एक निर्णय; और यही दो-पदीय प्रतिरूप (तुल्यता, फिर रीमान या गुणोत्तर की खोज) [अभ्यास 17.3](#exo-b1-series-3) की चारों श्रेणियों का निर्णय कर देता है।

**उदाहरण 17.9 (एक ही पंक्ति में तुल्यता कसौटी).**

$\sum_{n \geq 1} \frac{\sqrt{n+1} - \sqrt n}{n}$ की प्रकृति? अंश का संयुग्मी लीजिए:

$$
\frac{\sqrt{n+1} - \sqrt n}{n}
= \frac{1}{n\,(\sqrt{n+1} + \sqrt n)}
\sim \frac{1}{2\,n^{3/2}} ,
$$

यह अभिसारी रीमान पैमाना ($\alpha = \frac32 > 1$) है: अतः [श्रेणी](#def-b1-series-def) अभिसरित होती है। पूरा निर्णय एक तुल्यता और एक खोज में हो गया — बशर्ते पद ऋणेतर हों, जो वे हैं। समापन का सार: धनात्मक श्रेणियों के लिए पूरा अभिसरण-सिद्धांत *पैमानों का शब्दकोश* ($n^{-\alpha}$, $q^n$, $\frac{1}{n(\ln
n)^\alpha}$) और पद को उसकी तुल्यता से बदलने की अनुमति भर है; विश्लेषणात्मक काम अनंतस्पर्शी में है ([अध्याय 16](https://one-course.com/books/math/3/hi/chapter/16-taylor-formulas-and-asymptotic-expansions#ch-b1-taylor)), जोड़ने में कभी नहीं।

**प्रमेय 17.10 (समाकल-तुलना; रीमान श्रेणी).**

मान लीजिए $f$ $\intco{1}{+\infty}$ पर [संतत](https://one-course.com/books/math/3/hi/chapter/13-limits-and-continuity#def-b1-continuity-continuous), ऋणेतर और *ह्रासमान* है। तब

$$
\int_1^{N+1} f(t)\,\dd t \;\leq\; \sum_{n=1}^{N} f(n) \;\leq\; f(1)
+ \int_1^{N} f(t)\,\dd t ,
$$

अतः $\sum f(n)$ अभिसरित होती है तभी जब $\bigl(\int_1^x f\bigr)$ परिबद्ध हो। विशेष रूप से $\alpha \in \R$ के लिए:

$$
\sum_{n \geq 1} \frac{1}{n^\alpha} \text{ अभिसरित होती है}
\iff \alpha > 1,
$$

और $\sum_{n=1}^{N} \frac1n = \ln N + O(1)$।

**उपपत्ति.** $n \leq t \leq n+1$ के लिए एकदिष्टता $f(n+1) \leq f(t) \leq f(n)$ देती है; $\intcc{n}{n+1}$ (जो $1$ लंबाई का खंड है) पर समाकलन करने पर:

$$
f(n+1) \;\leq\; \int_n^{n+1} f(t)\,\dd t \;\leq\; f(n) .
$$

$n = 1, \dots, N-1$ के लिए दाईं असमिकाओं का योग $\int_1^{N} f \leq
\sum_{n=1}^{N-1} f(n)$ देता है, जिससे $f(N) \leq f(1)$ जोड़ने पर ऊपरी घेराव मिलता है; और $n = 1, \dots, N$ के लिए बाईं असमिकाओं का योग $\sum_{n=2}^{N+1}
f(n) \leq \int_1^{N+1} f$ देता है, जो पुनःसूचीबद्ध करने पर निचला घेराव है। अभिसरण: आंशिक योग और [समाकल](https://one-course.com/books/math/3/hi/chapter/15-integration-on-a-segment#thm-b1-integration-def) $\int_1^x f$ एक-दूसरे को अचर $f(1)$ के भीतर परिबद्ध करते हैं, और दोनों अह्रासमान हैं, अतः एक परिबद्ध है तभी जब दूसरा हो ([प्रमेय 17.7](#thm-b1-series-positive))। $f(t) = t^{-\alpha}$ ($\alpha \neq 1$) के लिए: $\int_1^x t^{-\alpha}\dd t = \frac{x^{1-\alpha} - 1}{1 - \alpha}$, जो $\alpha > 1$ होने पर परिबद्ध है; $\alpha = 1$ के लिए [समाकल](https://one-course.com/books/math/3/hi/chapter/15-integration-on-a-segment#thm-b1-integration-def) $\ln x \to
\infty$ है, और घेराव $\ln(N+1) \leq H_N \leq 1 + \ln N$ देता है। $\alpha
\leq 0$ के लिए पद $0$ की ओर जाते ही नहीं। ∎

**उदाहरण 17.11 (हरात्मक ढेर).**

हरात्मक [श्रेणी](#def-b1-series-def) को $20$ पार करने के लिए कितने पद जोड़ने पड़ते हैं? घेराव $\ln(N+1) \leq H_N \leq 1 + \ln N$ बिना कुछ जोड़े उत्तर दे देता है: $H_N
\geq 20$ के लिए $1 + \ln N \geq 20$ चाहिए, अर्थात् $N \geq \eu^{19} \approx
1.8\cdot10^{8}$, और $\ln(N + 1) \geq 20$ होते ही, अर्थात् $N \approx
\eu^{20} \approx 4.9\cdot10^{8}$ होते ही, वह गारंटीशुदा है। (सप्ताहांत समस्या इसे ऑयलर के अचर के द्वारा $N \approx \eu^{20 - \gamma} \approx
2.7\cdot10^{8}$ तक तीक्ष्ण कर देती है।) समापन का सार: समाकल-तुलना केवल अभिसरण तय नहीं करती — वह आंशिक योगों को लघुगणकीय यथार्थता के साथ *ढूँढ़* भी देती है, और एक निराशाजनक संगणना (करोड़ों पद) को दो पंक्ति के आकलन में बदल देती है।

**प्रमेय 17.12 (अनुपात कसौटी (दालंबेर)).**

मान लीजिए $\frac{u_{n+1}}{u_n} \to \ell$ के साथ $u_n > 0$।

- यदि $\ell < 1$ : $\sum u_n$ अभिसरित होती है;
- यदि $\ell > 1$ : $u_n \to +\infty$ , अतः अपसरण;
- यदि $\ell = 1$ : कोई निष्कर्ष नहीं ( $\sum \frac1n$ अपसरित होती है, $\sum \frac{1}{n^2}$ अभिसरित)।

**उपपत्ति.** यदि $\ell < 1$, तो $q \in \intoo{\ell}{1}$ नियत कीजिए: किसी $N$ के आगे $u_{n+1} \leq q\,u_n$, अतः आगमन से $u_n \leq u_N q^{\,n-N}$: अर्थात् किसी [गुणोत्तर श्रेणी](#ex-b1-series-geometric) से तुलना। यदि $\ell > 1$: तो किसी $N$ के आगे अनुक्रम $(u_n)$ वर्धमान है, अतः वह $0$ की ओर नहीं जा सकता (उसकी सीमा, यदि हो, $\geq u_N > 0$ है); और [प्रतिज्ञप्ति 17.4](#prop-b1-series-first) (1) से अपसरण — वस्तुतः $q > 1$ के साथ $u_n \geq u_N q^{n-N}$ $u_n \to \infty$ दे देता है। ∎

**उदाहरण 17.13.**

$\sum \frac{x^n}{n!}$ प्रत्येक $x > 0$ के लिए अभिसरित होती है: अनुपात $\frac{x}{n+1} \to 0$। उसका योग $\eu^x$ है: $\intcc{0}{x}$ पर टेलर–लाग्रांज ([प्रमेय 16.7](https://one-course.com/books/math/3/hi/chapter/16-taylor-formulas-and-asymptotic-expansions#thm-b1-taylor-lagrange)) से,

$$
\Bigl| \eu^x - \sum_{k=0}^{n} \frac{x^k}{k!} \Bigr|
\leq \eu^{x}\, \frac{x^{n+1}}{(n+1)!} \xrightarrow[n\to\infty]{} 0 ,
$$

जहाँ परिबंध $0$ की ओर जाता है, क्योंकि क्रमगुणित हावी है ([अभ्यास 15.9](https://one-course.com/books/math/3/hi/chapter/15-integration-on-a-segment#exo-b1-integration-9) (1) ने भी वही तथ्य प्रयुक्त किया था)। वही तर्क पूरे $\R$ पर $\sin$, $\cos$, $\sinh$, $\cosh$ की श्रेणियों का योग निकाल देता है।

**उदाहरण 17.14 (अनुपात कसौटी पर्याप्त है, आवश्यक नहीं).**

सम $n$ के लिए $u_n = 2^{-n}$ और विषम $n$ के लिए $u_n = 2^{-n-2}$ लीजिए। क्रमागत अनुपात $\frac{1}{8}$ और $\frac12\cdot4 = 2$ के बीच दोलन करते हैं, अतः $\frac{u_{n+1}}{u_n}$ की कोई सीमा नहीं है और दालंबेर मौन है — फिर भी $u_n \leq 2^{-n}$ है और तुलना कसौटी अभिसरण तुरंत तय कर देती है। इस कसौटी की परिकल्पना (अनुपात का *अभिसरित होना*) सचमुच एक प्रतिबंध है: वह उन पदों पर सूट करती है जिनकी एक ही प्रभावी गुणात्मक संरचना हो (क्रमगुणित, घातें), और जो कुछ भी साँस लेता है उस पर विफल हो जाती है। जब अनुपात बदमाशी करें, तो पीछे हटकर किसी गुणोत्तर अन्वालोप से तुलना कीजिए — और [अनुपात कसौटी](#thm-b1-series-ratio) कभी इससे अधिक थी भी नहीं, जैसा उसकी उपपत्ति दिखाती है।

**उदाहरण 17.15 (क्रमगुणितों की लड़ाई पर अनुपात कसौटी).**

$\sum_{n\geq0} \dfrac{(n!)^2}{(2n)!}$ की प्रकृति (केंद्रीय द्विपद गुणांकों के व्युत्क्रम, गुणक $n + 1$ तक)? अनुपात क्रमगुणितों को ढहा देता है:

$$
\frac{u_{n+1}}{u_n}
= \frac{((n+1)!)^2}{(n!)^2}\cdot\frac{(2n)!}{(2n+2)!}
= \frac{(n+1)^2}{(2n+1)(2n+2)}
\longrightarrow \frac14 < 1 :
$$

अतः अभिसारी, और वह भी काफ़ी अंतर से — पद मूलतः $4^{-n}$ की तरह क्षय होते हैं, जो [समस्या 15.1](https://one-course.com/books/math/3/hi/chapter/15-integration-on-a-segment#pb-b1-integration-1) के $\binom{2n}{n} \geq \frac{4^n}{2n+1}$ के अनुरूप है। समापन का सार: क्रमगुणितों के भागफल ठीक वही हैं जिन्हें [अनुपात कसौटी](#thm-b1-series-ratio) पचा लेती है — हर क्रमगुणित $n$ के किसी परिमेय फलन में कट जाता है, जिसकी सीमा अग्र पदों से पढ़ ली जाती है।

## 17.3 निरपेक्ष अभिसरण; एकांतरित श्रेणी

**प्रमेय 17.16 (निरपेक्ष अभिसरण).**

यदि $\sum \abs{u_n}$ अभिसरित होती है (*निरपेक्ष अभिसरण*), तो $\sum u_n$ भी अभिसरित होती है, और $\bigl|\sum u_n\bigr| \leq
\sum \abs{u_n}$। यह वास्तविक और सम्मिश्र दोनों प्रकार के पदों के लिए सत्य है।

**उपपत्ति.** आंशिक योग $M > N$ के लिए यह संतुष्ट करते हैं (कोशी कसौटी, [प्रमेय 11.20](https://one-course.com/books/math/3/hi/chapter/11-sequences#thm-b1-seq-complete)):

$$
\abs{S_M - S_N} = \Bigl| \sum_{n=N+1}^{M} u_n \Bigr|
\leq \sum_{n=N+1}^{M} \abs{u_n},
$$

जो बड़े $N$ के लिए छोटा है, क्योंकि $\sum\abs{u_n}$ के आंशिक योग [कोशी अनुक्रम](https://one-course.com/books/math/3/hi/chapter/11-sequences#def-b1-seq-cauchy) बनाते हैं। अतः $(S_N)$ कोशी है, इसलिए अभिसारी। और असमिका परिमित त्रिभुज असमिका से सीमा तक चली जाती है। ∎

**उदाहरण 17.17 (निरपेक्ष अभिसरण, वास्तविक और सम्मिश्र).**

$\sum_{n\geq1} \frac{\sin n}{n^2}$: पदों के चिह्न अनियमित रूप से बदलते हैं (वस्तुतः $(\sin n)$ $\intcc{-1}{1}$ में [सघन](https://one-course.com/books/math/3/hi/chapter/12-topology-of-the-real-line#def-b1-topology-dense) है, [अभ्यास 11.12](https://one-course.com/books/math/3/hi/chapter/11-sequences#exo-b1-seq-12)), और कोई एकांतरित संरचना दिखाई नहीं देती। [निरपेक्ष अभिसरण](#thm-b1-series-absolute) एक ही झटके में सब कुछ बचा लेता है: $\bigl|\frac{\sin n}{n^2}\bigr| \leq \frac{1}{n^2}$, जो अभिसारी पैमाना है, अतः [श्रेणी](#def-b1-series-def) अभिसरित होती है। वही ढाल $\C$ पर भी काम करती है: $\sum_{n\geq1}\frac{\eu^{\iu n}}{n^2}$ अभिसरित होती है क्योंकि $\bigl|\frac{\eu^{\iu n}}{n^2}\bigr| = \frac{1}{n^2}$ — अर्थात् [मापांक](https://one-course.com/books/math/3/hi/chapter/3-complex-numbers#def-b1-complex-field) योग्य होते ही चिह्नों के प्रतिरूप, चाहे वे द्विविमीय ही क्यों न हों, निरर्थक हो जाते हैं। समापन का सार: इस अध्याय का एकमात्र औज़ार [निरपेक्ष अभिसरण](#thm-b1-series-absolute) है जो कभी यह नहीं पूछता कि चिह्न कैसे व्यवस्थित हैं; उसे पहले आज़माइए ([विधि 17.21](#met-b1-series-decide)), और नाज़ुक कसौटियाँ उन्हीं श्रेणियों के लिए रखिए जो उसमें विफल हो जाएँ।

**प्रमेय 17.18 (एकांतरित श्रेणी कसौटी).**

मान लीजिए $(a_n)$ ह्रासमान है और $a_n \to 0$। तब [एकांतरित श्रेणी](#thm-b1-series-alternating) $\sum
(-1)^n a_n$ अभिसरित होती है; उसका योग किन्हीं दो क्रमागत आंशिक योगों के बीच रहता है, और

$$
\abs{R_N} = \Bigl| \sum_{n > N} (-1)^n a_n \Bigr| \leq a_{N+1} .
$$

**उपपत्ति.** सम और विषम आंशिक योग संलग्न हैं: $S_{2p+2} - S_{2p} = a_{2p+2} - a_{2p+1}
\leq 0$ (ह्रासमान), $S_{2p+1} - S_{2p-1} = a_{2p} - a_{2p+1} \geq 0$ (वर्धमान), और $S_{2p} - S_{2p+1} = a_{2p+1} \to 0$। [प्रमेय 11.11](https://one-course.com/books/math/3/hi/chapter/11-sequences#thm-b1-seq-adjacent) से उनकी उभयनिष्ठ सीमा $S$ है, जिसे दो उपानुक्रमों की कसौटी ([प्रतिज्ञप्ति 11.14](https://one-course.com/books/math/3/hi/chapter/11-sequences#prop-b1-seq-subsequences)) $(S_N)$ की सीमा बना देती है; इसके अतिरिक्त $S$ क्रमागत आंशिक योगों के बीच फँसा है, और $\abs{S - S_N}$ अधिक से अधिक अगले तक के अंतर $a_{N+1}$ जितना है। ∎

**उदाहरण 17.19 (एकांतरित हरात्मक श्रेणी).**

$\sum_{n \geq 1} \frac{(-1)^{n-1}}{n}$ अभिसरित होती है (एकांतरित कसौटी) पर निरपेक्ष रूप से नहीं (हरात्मक [श्रेणी](#def-b1-series-def))। उसका योग $\ln 2$ है: परिमित गुणोत्तर सर्वसमिका $\frac{1}{1+t} = \sum_{k=0}^{n-1} (-t)^k + \frac{(-t)^n}{1+t}$ का $\intcc{0}{1}$ पर समाकलन कीजिए:

$$
\ln 2 = \sum_{k=1}^{n} \frac{(-1)^{k-1}}{k}
+ (-1)^n \int_0^1 \frac{t^n}{1+t}\,\dd t ,
\qquad
0 \leq \int_0^1 \frac{t^n}{1+t}\,\dd t \leq \frac{1}{n+1} \to 0 .
$$

अभिसरण पीड़ादायक रूप से धीमा है ($R_N \approx \frac{1}{N}$) — [एकांतरित श्रेणी](#thm-b1-series-alternating) निरसन से अभिसरित होती हैं, लघुता से नहीं।

![एकांतरित हरात्मक श्रेणी 1 - 1/2 + 1/3 - के आंशिक योग S_N हर पद पर अपनी सीमा 2 के ऊपर से कूदते हैं: विषम योग ऊपर से, सम योग नीचे से, और हर कूद का आकार 1/N+1। यह घेराव की उपपत्ति को दृश्य बना देता है — और चिमटे का धीरे-धीरे बंद होना (|S_N - 2| 1/2N, सप्ताहांत समस्या ) ही वह कारण है कि 2 कोई इस तरह संगणित नहीं करता।](https://one-course.com/images/onecourse/chapters/math-3/b1-series/fig-4fb812dd779c.svg)

*एकांतरित हरात्मक [श्रेणी](#def-b1-series-def) $1 - \frac12 + \frac13 - \cdots$ के आंशिक योग $S_N$ हर पद पर अपनी सीमा $\ln 2$ के ऊपर से कूदते हैं: विषम योग ऊपर से, सम योग नीचे से, और हर कूद का आकार $\frac{1}{N+1}$। यह घेराव [प्रमेय 17.18](#thm-b1-series-alternating) की उपपत्ति को दृश्य बना देता है — और चिमटे का धीरे-धीरे बंद होना ($\abs{S_N - \ln 2} \approx \frac{1}{2N}$, सप्ताहांत समस्या [समस्या 17.1](#pb-b1-series-1)) ही वह कारण है कि $\ln 2$ कोई इस तरह संगणित नहीं करता।*

**टिप्पणी 17.20 (श्रेणियों की सामान्य भूलें).**

(क) *तुल्यता कसौटी को चिह्न चाहिए*: मान लीजिए $v_n =
\frac{(-1)^n}{\sqrt n}$ और $u_n = v_n + \frac1n$। तब $\frac{u_n}{v_n} = 1 +
\frac{(-1)^n}{\sqrt n} \to 1$, अतः $u_n \sim v_n$; फिर भी $\sum v_n$ अभिसरित होती है (एकांतरित कसौटी) जबकि $\sum u_n = \sum v_n + \sum \frac1n$ अपसरित। तुल्यता पदों के *आकार* को नियंत्रित करती है, और चिह्नित श्रेणियों के लिए आकार ही भाग्य नहीं है — यह कसौटी (अंततः) ऋणेतर पदों के लिए ही कही गई है और वहीं सत्य है। (ख) *$u_n \to 0$ कुछ भी सिद्ध नहीं करता*: हरात्मक [श्रेणी](#def-b1-series-def) शाश्वत प्रति-उदाहरण है; और विलोम दिशा ([प्रतिज्ञप्ति 17.4](#prop-b1-series-first) (1)) केवल एक त्वरित अपसरण-परीक्षण है। (ग) *अनुपात की सीमा $1$ मौन है, अभिसरण नहीं*: $\sum\frac1n$ और $\sum\frac{1}{n^2}$ दोनों का अनुपात $\to 1$ है; रीमान पैमानों या समाकल-तुलना पर जाइए। (घ) *एकांतरित को ह्रासमान चाहिए*: $\sum \frac{(-1)^n}{n +
(-1)^n}$ एकांतरित लगती है पर उसे केवल प्रसार ([अभ्यास 17.5](#exo-b1-series-5)) सँभालता है; और [अध्याय 16](https://one-course.com/books/math/3/hi/chapter/16-taylor-formulas-and-asymptotic-expansions#ch-b1-taylor) की सप्ताहांत समस्या (वहाँ प्रश्न 23) दिखाती है कि एकदिष्टता के बिना कसौटी पूरी तरह विफल हो सकती है। (ङ) *समूहन और पुनर्क्रमण मुफ़्त नहीं हैं*: कोष्ठक डालना अभिसारी श्रेणियों के लिए निरापद है पर अपसरण से अभिसरण गढ़ सकता है (जोड़ों में समूहबद्ध $1 - 1
+ 1 - \cdots$), और पुनर्क्रमण तो योग ही बदल सकता है — यही नाटक इस अध्याय की सप्ताहांत समस्या ([समस्या 17.1](#pb-b1-series-1)) में मंचित है।

**विधि 17.21 (किसी श्रेणी की प्रकृति तय करना).**

1. क्या $u_n \to 0$ ? यदि नहीं, तो अपसरण, और बात ख़त्म।
2. ऋणेतर पद: $u_n$ की कोई तुल्यता खोजिए (प्रसार, [अध्याय 16](https://one-course.com/books/math/3/hi/chapter/16-taylor-formulas-and-asymptotic-expansions#ch-b1-taylor) !), और रीमान या गुणोत्तर पैमानों से तुलना कीजिए; क्रमगुणित और घातें [अनुपात कसौटी](#thm-b1-series-ratio) माँगती हैं; ह्रासमान $f(n)$ समाकल-तुलना माँगता है।
3. चिह्न बदलते हों: पहले [निरपेक्ष अभिसरण](#thm-b1-series-absolute) आज़माइए; वह विफल हो तो एकांतरित कसौटी ( *ह्रासमान* होना सावधानी से जाँचिए); उससे आगे द्वितीय वर्ष के औज़ार।

**उदाहरण 17.22 (विषम हर, आधी दूरबीन).**

$\sum_{n \geq 1} \dfrac{1}{4n^2 - 1}$ संगणित कीजिए। आंशिक भिन्नें: $\frac{1}{(2n-1)(2n+1)} = \frac12\bigl(\frac{1}{2n-1} -
\frac{1}{2n+1}\bigr)$, अतः

$$
\sum_{n=1}^{N} \frac{1}{4n^2 - 1}
= \frac12\Bigl(1 - \frac{1}{2N+1}\Bigr)
\longrightarrow \frac12 .
$$

$\sum \frac{1}{n(n+1)} = 1$ ([अभ्यास 17.1](#exo-b1-series-1)) से तुलना कीजिए: वही दूरबीनी ढाँचा, पर यहाँ क्रमागत पद विषम संख्याओं में दो-दो की दूरी पर हैं, और गुणक $\frac12$ उस पद को दर्ज करता है। समापन का सार: दूरबीनी कोई युक्ति नहीं, दृष्टिकोण का परिवर्तन है — जब भी व्यापक पद किसी सीमा-युक्त अनुक्रम का अंतर $w_n - w_{n+1}$ हो, तब योग $w_1 - \lim w$ होता है, ठीक [प्रतिज्ञप्ति 17.4](#prop-b1-series-first) (3) के अनुसार।

**टिप्पणी 17.23 (विश्लेषण की पाइपलाइन, पीछे मुड़कर).**

इस अध्याय में इस खंड का विश्लेषण आ मिलता है, और हर कसौटी अपने पूर्वज का नाम लेती है। परिबद्ध आंशिक योग एकदिष्ट सीमा प्रमेय ([अध्याय 11](https://one-course.com/books/math/3/hi/chapter/11-sequences#ch-b1-seq)) है, जो स्वयं [अध्याय 10](https://one-course.com/books/math/3/hi/chapter/10-real-numbers#ch-b1-reals) का पूर्णता अभिगृहीत है; [निरपेक्ष अभिसरण](#thm-b1-series-absolute) कोशी कसौटी है; [समाकल](https://one-course.com/books/math/3/hi/chapter/15-integration-on-a-segment#thm-b1-integration-def) कसौटी [अध्याय 15](https://one-course.com/books/math/3/hi/chapter/15-integration-on-a-segment#ch-b1-integration) का क्षेत्रफलों वाला घेराव है; व्यापक पदों की तुल्यताएँ [अध्याय 16](https://one-course.com/books/math/3/hi/chapter/16-taylor-formulas-and-asymptotic-expansions#ch-b1-taylor) के प्रसार हैं; और एकांतरित प्रमेय संलग्न-अनुक्रम प्रमेयिका अपने रविवारी वस्त्रों में। उलटी दिशा में पढ़ने पर यह पाइपलाइन समझा देती है कि हर अध्याय *किसलिए* था — और उसमें पिरोई सप्ताहांत समस्याएँ ($b$-आदिक अंक, चेज़ारो–स्टोल्ज़, अपरिमेयता-मशीनें, [ऑयलर का अचर](#pb-b1-series-1)) वही कुछ विचार हैं जो निरंतर ऊँची होती ऊँचाई पर मिलते जाते हैं। आगे आने वाला रैखिक बीजगणित विषय बदलता है, मानक नहीं: प्रमाणित त्रुटि के साथ यथार्थ [कथन](https://one-course.com/books/math/3/hi/chapter/1-logic-sets-and-maps#def-b1-logic-statement) की आदत सीमाओं से विमाओं तक की यात्रा में बची रहती है।

**टिप्पणी 17.24 (श्रेणियाँ आगे कहाँ जाती हैं).**

यह अध्याय इस खंड का विश्लेषण बंद करता है और तीन द्वार खोलता है। स्नातक वर्ष 2 के खंड में श्रेणियाँ एक चर पा लेती हैं ($\sum a_n x^n$: घात [श्रेणी](#def-b1-series-def), अपनी अभिसरण-त्रिज्या के साथ) और फिर फलन-मान वाला सिद्धांत (फूरिये [श्रेणी](#def-b1-series-def)); और निरपेक्ष-बनाम-सप्रतिबंध अभिसरण का द्विभाजन, जिसे नीचे की सप्ताहांत समस्या नाटकीय बना देती है, दोनों की आधारशिला बन जाता है। प्रायिकता में (स्नातक वर्ष 3 का खंड) विविक्त यादृच्छिक चरों की प्रत्याशाएँ श्रेणियाँ *हैं*, और [निरपेक्ष अभिसरण](#thm-b1-series-absolute) ही उन्हें सुपरिभाषित बनाता है। और [रीमान श्रेणी](#thm-b1-series-riemann) $\sum
n^{-s}$, सम्मिश्र $s$ तक बढ़ाकर, ज़ीटा फलन बन जाती है — गणित की सबसे अधिक अध्ययन की गई [श्रेणी](#def-b1-series-def)।

## 17.4 अभ्यास

**अभ्यास 17.1 ★.**

प्रकृति (और दूरबीनी होने पर योग भी) बताइए:

$$
\sum_{n\geq1} \frac{1}{n(n+1)},
\qquad
\sum_{n\geq2} \ln\Bigl(1 - \frac{1}{n^2}\Bigr),
\qquad
\sum_{n\geq0} \frac{3^n + 4^n}{5^n} .
$$

**हल — अभ्यास 17.1.**

$\dfrac{1}{n(n+1)} = \dfrac1n - \dfrac{1}{n+1}$: दूरबीनी, $S_N = 1 -
\frac{1}{N+1} \to 1$। अभिसारी, योग $1$।

$\ln\bigl(1 - \frac{1}{n^2}\bigr) = \ln\frac{(n-1)(n+1)}{n^2} =
\ln\frac{n-1}{n} - \ln\frac{n}{n+1}$: फिर से दूरबीनी, $S_N = \ln\frac12 -
\ln\frac{N}{N+1} \to -\ln 2$। अभिसारी, योग $-\ln 2$।

$\dfrac{3^n + 4^n}{5^n} = \bigl(\frac35\bigr)^n + \bigl(\frac45\bigr)^n$: दो अभिसारी गुणोत्तर श्रेणियाँ, योग $\frac{1}{1 - 3/5} + \frac{1}{1 - 4/5} =
\frac52 + 5 = \frac{15}{2}$।

**अभ्यास 17.2 ★.**

प्रकृति: $\;\sum \dfrac{n^2}{2^n}$; $\;\sum \dfrac{n!}{n^n}$; $\;\sum
\dfrac{2^n\,n!}{n^n}$; $\;\sum \dfrac{3^n\,n!}{n^n}$। *([अनुपात कसौटी](#thm-b1-series-ratio); $\bigl(1 + \frac1n\bigr)^n \to \eu$ स्मरण कीजिए।)*

**हल — अभ्यास 17.2.**

सर्वत्र [अनुपात कसौटी](#thm-b1-series-ratio)।

$\frac{u_{n+1}}{u_n} = \frac{(n+1)^2}{2n^2} \to \frac12 < 1$: अभिसारी।

$\frac{u_{n+1}}{u_n} = \frac{(n+1)!\,n^n}{n!\,(n+1)^{n+1}} =
\bigl(\frac{n}{n+1}\bigr)^n = \bigl(1 + \frac1n\bigr)^{-n} \to \frac1\eu <
1$: अभिसारी।

गुणक $2^n$ के साथ: अनुपात $\to \frac2\eu < 1$: अभिसारी।

$3^n$ के साथ: अनुपात $\to \frac3\eu > 1$: अपसारी (पद $+\infty$ की ओर जाते हैं)।

**अभ्यास 17.3 ★.**

प्रकृति: $\;\sum \sin\dfrac{1}{n^2}$; $\;\sum \Bigl(1 - \cos\dfrac1n\Bigr)$; $\;\sum \dfrac{1}{\sqrt{n(n+1)}}$; $\;\sum \dfrac{\ln n}{n^2}$ *($n^{-3/2}$ से तुलना कीजिए)*।

**हल — अभ्यास 17.3.**

सभी पद ऋणेतर; तुल्यताओं का प्रयोग कीजिए ([प्रमेय 17.7](#thm-b1-series-positive))।

$\sin\frac{1}{n^2} \sim \frac{1}{n^2}$: अभिसारी (रीमान $\alpha = 2$)।

$1 - \cos\frac1n \sim \frac{1}{2n^2}$: अभिसारी।

$\frac{1}{\sqrt{n(n+1)}} \sim \frac1n$: अपसारी।

$\frac{\ln n}{n^2} = \frac{1}{n^{3/2}}\cdot\frac{\ln n}{n^{1/2}}$ और $\frac{\ln n}{\sqrt n} \to 0$ ([प्रतिज्ञप्ति 4.6](https://one-course.com/books/math/3/hi/chapter/4-standard-functions#prop-b1-functions-powerrules)): अतः बड़े $n$ के लिए $\frac{\ln n}{n^2} \leq \frac{1}{n^{3/2}}$: अभिसारी।

**अभ्यास 17.4 ★.**

सिद्ध कीजिए कि $\sum_{n\geq1} \frac{1}{n^2}$ अभिसरित होती है और उसका योग $\leq 2$ है — इसके लिए $n \geq 2$ के लिए $\frac{1}{n^2} \leq
\frac{1}{n(n-1)}$ और एक दूरबीनी परिबंध का प्रयोग कीजिए।

**हल — अभ्यास 17.4.**

$n \geq 2$ के लिए: $\frac{1}{n^2} \leq \frac{1}{n(n-1)} = \frac{1}{n-1} -
\frac1n$। अतः

$$
\sum_{n=1}^{N} \frac{1}{n^2} \leq 1 + \sum_{n=2}^{N}
\Bigl(\frac{1}{n-1} - \frac1n\Bigr) = 1 + 1 - \frac1N < 2 :
$$

आंशिक योग वर्धमान और $2$ से परिबद्ध: अभिसरण ([प्रमेय 17.7](#thm-b1-series-positive)), योग $\leq 2$। (यथार्थ मान $\frac{\pi^2}{6}$ द्वितीय वर्ष का उत्सव है।)

**अभ्यास 17.5 ★★.**

$\;\sum \dfrac{(-1)^n}{\sqrt n}$ की, $\;\sum \dfrac{(-1)^n}{n + (-1)^n}$ की *(प्रसार कीजिए: एकांतरित कसौटी सीधे लागू नहीं होती — क्यों?)* और $\;\sum \sin\bigl(\pi\sqrt{n^2+1}\,\bigr)$ की *($\pi$ के सापेक्ष घटाइए: $\sqrt{n^2+1} = n + \frac{1}{2n} + O(n^{-3})$)* प्रकृति बताइए।

**हल — अभ्यास 17.5.**

$\sum \frac{(-1)^n}{\sqrt n}$: $\frac{1}{\sqrt n} \downarrow 0$ के साथ एकांतरित: अभिसारी ([प्रमेय 17.18](#thm-b1-series-alternating)); निरपेक्ष रूप से नहीं ($\alpha = \frac12 \leq 1$)।

$\sum \frac{(-1)^n}{n + (-1)^n}$: अनुक्रम $\frac{1}{n + (-1)^n}$ ह्रासमान *नहीं* है ($\frac{1}{n+1}$ फिर $\frac{1}{n}$ बुरी तरह एकांतरित होते हैं), अतः कसौटी सीधे लागू नहीं होती। प्रसार कीजिए:

$$
\frac{(-1)^n}{n + (-1)^n}
= \frac{(-1)^n}{n}\cdot\frac{1}{1 + \frac{(-1)^n}{n}}
= \frac{(-1)^n}{n} - \frac{1}{n^2} +
O\Bigl(\frac{1}{n^3}\Bigr):
$$

पहली [श्रेणी](#def-b1-series-def) अभिसरित होती है (एकांतरित), $\sum \frac{1}{n^2}$ अभिसरित होती है, $O(n^{-3})$ निरपेक्ष रूप से अभिसरित होती है: तीन अभिसारी श्रेणियों का योग अभिसरित होता है।

$\sin\bigl(\pi\sqrt{n^2+1}\bigr)$: $\varepsilon_n = O(n^{-3})$ के साथ $\sqrt{n^2 + 1} = n + \frac{1}{2n} + \varepsilon_n$ लिखिए; फिर, चिह्न तक $\sin$ की $\pi$-आवर्तिता से,

$$
\sin\bigl(\pi\sqrt{n^2+1}\bigr)
= (-1)^n \sin\Bigl(\frac{\pi}{2n} + \pi\varepsilon_n\Bigr) .
$$

$\theta_n = \frac{\pi}{2n} + \pi\varepsilon_n$ और $a_n = \sin\theta_n$ रखिए। बड़े $n$ के लिए $\theta_n \in \intoo{0}{\frac\pi2}$ और

$$
\theta_n - \theta_{n+1} = \frac{\pi}{2n(n+1)} +
\pi(\varepsilon_n - \varepsilon_{n+1})
= \frac{\pi}{2n^2} + O\Bigl(\frac{1}{n^3}\Bigr) > 0
$$

अंततः, अतः $(\theta_n)$ घटकर $0$ पर आता है; चूँकि $\sin$ $\intcc{0}{\frac\pi2}$ पर वर्धमान है, $(a_n)$ भी घटकर $0$ पर आता है। एकांतरित कसौटी लागू होती है: अभिसारी — निरपेक्ष रूप से नहीं, क्योंकि $a_n
\sim \frac{\pi}{2n}$।

**अभ्यास 17.6 ★★.**

किन $\alpha > 0$ के लिए $\sum_{n \geq 2} \dfrac{1}{n (\ln n)^{\alpha}}$ अभिसरित होती है? *(समाकल-तुलना; $u = \ln t$ प्रतिस्थापित कीजिए।)*

**हल — अभ्यास 17.6.**

$f(t) = \frac{1}{t(\ln t)^\alpha}$ $\intco{2}{+\infty}$ पर धनात्मक, [संतत](https://one-course.com/books/math/3/hi/chapter/13-limits-and-continuity#def-b1-continuity-continuous) और ह्रासमान है। $u = \ln t$ प्रतिस्थापित करने पर:

$$
\int_2^x \frac{\dd t}{t(\ln t)^\alpha}
= \int_{\ln 2}^{\ln x} \frac{\dd u}{u^\alpha},
$$

$x \to \infty$ होने पर परिबद्ध तभी जब $\alpha > 1$ ([प्रमेय 17.10](#thm-b1-series-riemann) की संगणना)। समाकल-तुलना से: अभिसरण तभी जब $\alpha > 1$। (ये *बेर्त्रां-प्रकार* की श्रेणियाँ दिखाती हैं कि अभिसरण की सीमा-रेखा कितनी महीन है: $n\ln n$ अपसरित होती है, $n(\ln n)^{1.01}$ अभिसरित।)

**अभ्यास 17.7 ★★.**

मान लीजिए $u_n = \dfrac{1}{n} - \ln\Bigl(1 + \dfrac1n\Bigr)$। सिद्ध कीजिए कि $0 \leq u_n \leq \dfrac{1}{2n^2}$, कि $\sum u_n$ अभिसरित होती है, और उससे ऑयलर के अचर का अस्तित्व निकालिए:

$$
\gamma = \lim_{N \to \infty} \Bigl( \sum_{n=1}^{N} \frac 1n - \ln N
\Bigr) .
$$

**हल — अभ्यास 17.7.**

[अभ्यास 14.3](https://one-course.com/books/math/3/hi/chapter/14-differentiation#exo-b1-derivative-3) के स्पर्शरेखा-परिबंधों को प्रसारों के द्वारा फिर से लिखने पर: $x = \frac1n \in \intoc{0}{1}$ के लिए, $\ln(1+x)$ हेतु कोटि $1$ पर टेलर–लाग्रांज किसी $c \in \intoo{0}{x}$ के लिए $\ln(1 + x) = x -
\frac{x^2}{2(1 + c)^2}$ देता है, अतः

$$
0 \leq u_n = \frac1n - \ln\Bigl(1 + \frac1n\Bigr) \leq
\frac{1}{2n^2} .
$$

[रीमान श्रेणी](#thm-b1-series-riemann) से तुलना: $\sum u_n$ अभिसरित होती है। उसका आंशिक योग लघुगणकों को दूरबीनी कर देता है:

$$
\sum_{n=1}^{N} u_n = H_N - \ln(N+1)
$$

(क्योंकि $\sum_{n\leq N} \ln\frac{n+1}{n} = \ln(N+1)$)। अतः $H_N - \ln(N+1)$ अभिसरित होती है; $\ln\frac{N+1}{N} \to 0$ जोड़ने पर अनुक्रम $H_N - \ln N$ अभिसरित होता है। उसकी सीमा $\gamma \approx 0.5772$ है।

**अभ्यास 17.8 ★★.**

योग संगणित कीजिए

$$
\sum_{n=1}^{\infty} \frac{1}{n(n+2)}
\qquad\text{और}\qquad
\sum_{n=0}^{\infty} \frac{n}{2^n} .
$$

*(पहले के लिए: आंशिक भिन्नें। दूसरे के लिए: $\sum_{n=1}^{N} n x^{n-1}$ संवृत रूप में संगणित कीजिए और $x = \frac12$ पर $N \to \infty$ लीजिए।)*

**हल — अभ्यास 17.8.**

$\dfrac{1}{n(n+2)} = \dfrac{1/2}{n} - \dfrac{1/2}{n+2}$: आंशिक योग $2$ के [अंतराल](https://one-course.com/books/math/3/hi/chapter/10-real-numbers#prop-b1-reals-intervals) से दूरबीनी होता है,

$$
S_N = \frac12\Bigl(1 + \frac12 - \frac{1}{N+1} -
\frac{1}{N+2}\Bigr) \longrightarrow \frac34 .
$$

$\sum \frac{n}{2^n}$: $\abs x < 1$ के लिए, परिमित गुणोत्तर योग का अवकलन करके सीमा तक जाने पर (यहाँ सभी श्रेणियाँ निरपेक्ष रूप से अभिसरित होती हैं, [अनुपात कसौटी](#thm-b1-series-ratio)): $\sum_{n\geq0} x^n = \frac{1}{1-x}$ से, आंशिक योगों के साथ सीधी संगणना करने पर मिलता है

$$
\sum_{n=1}^{N} n x^{n-1}
= \frac{1 - (N+1)x^N + N x^{N+1}}{(1 - x)^2}
\xrightarrow[N\to\infty]{} \frac{1}{(1-x)^2}
\quad (\abs x < 1),
$$

(परिसीमा-पद $N x^N \to 0$)। $x = \frac12$ पर: $\sum_{n\geq1}
n\bigl(\frac12\bigr)^{n-1} = 4$, अतः $\sum_{n\geq0} \frac{n}{2^n} = \frac12
\times 4 = 2$।

**अभ्यास 17.9 ★★★.**

(कोशी संघनन) मान लीजिए $(u_n)$ ऋणेतर और ह्रासमान है। सिद्ध कीजिए कि

$$
\sum_{n \geq 1} u_n \text{ अभिसरित होती है}
\iff
\sum_{k \geq 0} 2^k\, u_{2^k} \text{ अभिसरित होती है},
$$

इसके लिए $2$ की क्रमागत घातों के बीच के पदों के पैकेट की तुलना कीजिए। उससे रीमान कसौटी और [अभ्यास 17.6](#exo-b1-series-6) वापस पाइए।

**हल — अभ्यास 17.9.**

$\sum u_n$ के पदों को $2$ की घातों के बीच पैकेटों में समूहबद्ध कीजिए। ऊपरी पैकेट: $2^k \leq n < 2^{k+1}$ के लिए $2^k$ पद हैं, प्रत्येक $\leq u_{2^k}$:

$$
\sum_{n=1}^{2^{K+1}-1} u_n
= \sum_{k=0}^{K} \sum_{n=2^k}^{2^{k+1}-1} u_n
\leq \sum_{k=0}^{K} 2^k u_{2^k} .
$$

निचले पैकेट: उसी पैकेट का प्रत्येक पद $\geq u_{2^{k+1}}$ है, अतः $\sum_{n=2^k}^{2^{k+1}-1} u_n \geq 2^k u_{2^{k+1}} = \frac12 \cdot 2^{k+1}
u_{2^{k+1}}$, जिससे

$$
\sum_{n=1}^{2^{K+1}-1} u_n \geq \frac12 \sum_{k=1}^{K+1} 2^{k}
u_{2^{k}} .
$$

आंशिक योगों की दोनों तुलनाएँ दोनों दिशाओं में चलती हैं (ऋणेतर पद, [प्रमेय 17.7](#thm-b1-series-positive)): दोनों श्रेणियों की प्रकृति एक ही है।

रीमान: $u_n = n^{-\alpha}$ $2^k u_{2^k} = 2^{k(1-\alpha)}$ देता है, जो [गुणोत्तर श्रेणी](#ex-b1-series-geometric) है, अभिसारी तभी जब $2^{1 - \alpha} < 1$, अर्थात् तभी जब $\alpha > 1$। बेर्त्रां ([अभ्यास 17.6](#exo-b1-series-6)): $u_n = \frac{1}{n(\ln
n)^\alpha}$ $2^k u_{2^k} = \frac{1}{(k\ln 2)^\alpha}$ देता है, जो $k$ में [रीमान श्रेणी](#thm-b1-series-riemann) है: अभिसारी तभी जब $\alpha > 1$।

**अभ्यास 17.10 ★★★.**

$\frac{1}{1+t^2}$ के लिए ढाले हुए [उदाहरण 17.19](#ex-b1-series-ln2) की समाकल-सर्वसमिका का प्रयोग करके लाइब्निज़ का सूत्र सिद्ध कीजिए

$$
\frac{\pi}{4} = \sum_{n=0}^{\infty} \frac{(-1)^n}{2n+1}
= 1 - \frac13 + \frac15 - \frac17 + \cdots
$$

और त्रुटि-परिबंध $\abs{R_N} \leq \frac{1}{2N+3}$ भी।

**हल — अभ्यास 17.10.**

अनुपात $-t^2$ वाली परिमित गुणोत्तर सर्वसमिका:

$$
\frac{1}{1 + t^2} = \sum_{k=0}^{n-1} (-1)^k t^{2k}
+ \frac{(-1)^n t^{2n}}{1 + t^2} .
$$

$\intcc{0}{1}$ पर समाकलन कीजिए (बायाँ पक्ष समाकलित होकर $\arctan 1 =
\frac\pi4$ देता है, [प्रतिज्ञप्ति 4.10](https://one-course.com/books/math/3/hi/chapter/4-standard-functions#prop-b1-functions-arcderiv)):

$$
\frac{\pi}{4} = \sum_{k=0}^{n-1} \frac{(-1)^k}{2k+1}
+ (-1)^n \int_0^1 \frac{t^{2n}}{1+t^2}\,\dd t,
\qquad
0 \leq \int_0^1 \frac{t^{2n}}{1+t^2}\,\dd t \leq \int_0^1 t^{2n}\dd
t = \frac{1}{2n+1} .
$$

$n \to \infty$ लेने पर सूत्र सिद्ध हो जाता है, और [समाकल](https://one-course.com/books/math/3/hi/chapter/15-integration-on-a-segment#thm-b1-integration-def) पर प्रदर्शित परिबंध ठीक शेषफल-परिबंध है: $N$ तक योग करने के बाद (अर्थात् $n = N + 1$ पद), $\abs{R_N} \leq \frac{1}{2N + 3}$।

**अभ्यास 17.11 ★★.**

$\displaystyle\sum_{n \geq 1} \frac{1}{n^{1 + 1/n}}$ की प्रकृति बताइए। *($n^{1/n}$ की सीमा संगणित कीजिए और व्यापक पद की तुल्यता खोजिए: रीमान कसौटी को *नियत* घातांक चाहिए।)*

**हल — अभ्यास 17.11.**

$n^{1/n} = \eu^{\frac{\ln n}{n}} \to \eu^0 = 1$ ([प्रतिज्ञप्ति 4.6](https://one-course.com/books/math/3/hi/chapter/4-standard-functions#prop-b1-functions-powerrules))। अतः

$$
\frac{1}{n^{1 + 1/n}} = \frac{1}{n}\,\eu^{-\frac{\ln n}{n}}
\sim \frac{1}{n} ,
$$

और तुल्यता कसौटी ([प्रमेय 17.7](#thm-b1-series-positive)) अपसारी हरात्मक [श्रेणी](#def-b1-series-def) से तुलना करती है: *अपसारी*, यद्यपि हर घातांक $1 + \frac1n$ $1$ से बड़ा है। रीमान कसौटी किसी *नियत* घातांक $\alpha$ की बात करती है; $1$ की ओर सरकता हुआ घातांक अपना पूरा अंतर गँवा सकता है, जैसा यहाँ हुआ।

**अभ्यास 17.12 ★★★.**

मान लीजिए $(u_n)$ ऋणेतर और *ह्रासमान* है और $\sum u_n$ अभिसारी है। सिद्ध कीजिए कि $n\,u_n \to 0$ *($n\,u_{2n}$ को किसी टुकड़े $\sum_{k=n+1}^{2n} u_k$ से परिबद्ध कीजिए और कोशी कसौटी का प्रयोग कीजिए)*। दिखाइए कि विलोम विफल है, और यह कि एकदिष्टता की परिकल्पना हटाई नहीं जा सकती।

**हल — अभ्यास 17.12.**

मान लीजिए $\varepsilon > 0$। अभिसारी [श्रेणी](#def-b1-series-def) के लिए कोशी कसौटी से (आंशिक योगों पर लगाया गया [प्रमेय 11.20](https://one-course.com/books/math/3/hi/chapter/11-sequences#thm-b1-seq-complete)), ऐसा $N$ है कि $n \geq N$ के लिए $\sum_{k=n+1}^{2n} u_k \leq \varepsilon$। एकदिष्टता से इन $n$ पदों में से प्रत्येक $\geq u_{2n}$ है:

$$
n\,u_{2n} \leq \sum_{k=n+1}^{2n} u_k \leq \varepsilon
\quad\Longrightarrow\quad 2n\,u_{2n} \leq 2\varepsilon ,
$$

और विषम सूचकांकों के लिए $n \geq N$ हेतु $(2n+1)\,u_{2n+1} \leq
(2n+1)\,u_{2n} \leq 2\bigl(2n\,u_{2n}\bigr) \leq 4\varepsilon$: दोनों समताओं में, $n u_n \to 0$।

विलोम असत्य: $u_n = \frac{1}{n\ln n}$ में $n u_n = \frac{1}{\ln n} \to 0$ है, फिर भी [श्रेणी](#def-b1-series-def) अपसरित होती है ([अभ्यास 17.6](#exo-b1-series-6), $\alpha = 1$)। एकदिष्टता आवश्यक: $n$ के पूर्ण वर्ग होने पर $u_n = \frac1n$ और अन्यथा $u_n =
2^{-n}$ लीजिए: [श्रेणी](#def-b1-series-def) अभिसरित होती है (वर्ग वाले पद $\sum \frac{1}{k^2}$ की तरह जुड़ते हैं, शेष गुणोत्तर रूप से), पर वर्गों के अनुदिश $n u_n = 1$।

## 17.5 समस्या: ऑयलर का अचर और वह श्रेणी जो अपना योग बदल देती है

**समस्या 17.1.**

सप्ताहांत समस्या — $H_n = \ln n + \gamma +
\frac{1}{2n} + O(n^{-2})$, और $1 - \frac12 +
\frac13 - \dots$ को पुनर्क्रमित करके $\frac{\ln 2}{2}$

हरात्मक [श्रेणी](#def-b1-series-def) में दो कथाएँ साझा हैं। पहली, उसके अपसरण का यथार्थ लेखा-जोखा: $H_n - \ln n$ ऑयलर के अचर $\gamma$ की ओर अभिसरित होता है ([अभ्यास 17.7](#exo-b1-series-7)), और यह समस्या उस [कथन](https://one-course.com/books/math/3/hi/chapter/1-logic-sets-and-maps#def-b1-logic-statement) को दुतरफ़ा नियम $\frac{1}{2(n+1)} \leq H_n - \ln n - \gamma \leq \frac{1}{2n}$ तक तीक्ष्ण कर देती है, तथा $\gamma = 0.5772\dots$ हाथ से प्रमाणित कर देती है। दूसरी, सप्रतिबंध अभिसरण का कांड: एकांतरित हरात्मक [श्रेणी](#def-b1-series-def) का योग $\ln 2$ है ([उदाहरण 17.19](#ex-b1-series-ln2)), फिर भी *वही पद, दूसरे क्रम में*, $\frac{\ln
2}{2}$ देते हैं — अथवा किसी भी $p, q$ के लिए $\ln 2 + \frac12\ln\frac pq$, अथवा कोई भी वास्तविक संख्या (रीमान)। दोनों कथाएँ एक ही हैं: पुनर्क्रमित योग $\gamma$-नियम *के साथ* संगणित किए जाते हैं।

**भाग I — $\gamma$, घेराव सहित।** $a_n = H_n - \ln
n$ और $b_n = H_n - \ln(n+1)$ रखिए।

1. $\frac{t}{1+t} \leq \ln(1 + t) \leq t$ का प्रयोग करके दिखाइए कि $(a_n)$ घटता है, $(b_n)$ बढ़ता है, और वे संलग्न हैं; उनकी उभयनिष्ठ सीमा $\gamma$ है, और प्रत्येक $n$ के लिए $b_n \leq \gamma \leq a_n$ ।
2. पहली संख्यात्मक चाल: $H_{10} = 2.928968\dots$ से $\gamma$ को $b_{10}  = 0.5311$ और $a_{10} = 0.6264$ के बीच घेरिए। चार दशमलव के लिए इस स्थूल घेराव को कितना बड़ा $n$ चाहिए होगा?
3. यथार्थ पूँछ-निरूपण $a_n - \gamma = \sum_{k \geq n} w_k$ (आंशिक योगों की सीमा) दिखाइए, जहाँ $$w_k = a_k - a_{k+1}  = \ln\Bigl(1 + \frac1k\Bigr) - \frac{1}{k+1}  = \int_k^{k+1} \frac{(k + 1 - t)}{t\,(k+1)}\,\dd t ,$$ और समाकल-रूप से दुतरफ़ा परिबंध $\dfrac{1}{2(k+1)^2} \leq w_k \leq  \dfrac{1}{2k(k+1)}$ निकालिए।

**भाग II — $\frac{1}{2n}$ नियम।**

4. प्रश्न 3 के परिबंधों का योग कीजिए (दोनों पक्ष दूरबीनी हो जाते हैं या दूरबीनों से तुलनीय हैं) और नियम पर पहुँचिए: $$\frac{1}{2(n+1)} \;\leq\; H_n - \ln n - \gamma \;\leq\;  \frac{1}{2n} \qquad (n \geq 1).$$
5. $H_n = \ln n + \gamma + \frac{1}{2n} + O\bigl(\frac{1}{n^2}\bigr)$ निकालिए; ठीक-ठीक कहें तो दिखाइए कि $\gamma_n = H_n - \ln n - \frac{1}{2n}$ $-\frac{1}{2n(n+1)} \leq \gamma_n - \gamma \leq 0$ संतुष्ट करता है।
6. $n = 100$ से चार दशमलव प्रमाणित कीजिए: $H_{100} = 5.1873775\dots$ दिया हो, तो $\gamma_{100} = 0.577207\dots$ संगणित कीजिए और $\gamma =  0.5772 \pm 5\cdot10^{-5}$ निष्कर्ष निकालिए (सच्चा मान $0.5772156\dots$ )।
7. नियम के दो लाभांश, दोनों आगे आवश्यक: जब $m \to \infty$, $$H_{2m} - H_m = \ln 2 - \frac{1}{4m} +  O\Bigl(\frac{1}{m^2}\Bigr),  \qquad  \sum_{j=1}^{m} \frac{1}{2j-1} = \frac{\ln m}{2} + \ln 2  + \frac\gamma2 + o(1) ,$$ जहाँ दूसरा $\sum_{j \leq m} \frac{1}{2j-1} = H_{2m} - \frac12 H_m$ के द्वारा, और इसी प्रकार $\sum_{j=1}^{m} \frac{1}{2j} = \frac{\ln  m}{2} + \frac\gamma2 + o(1)$।

**भाग III — एकांतरित हरात्मक [श्रेणी](#def-b1-series-def), द्वितीय कोटि तक।**

8. (आगमन से, अथवा समूहन से) सर्वसमिका $\sum_{k=1}^{2m}  \frac{(-1)^{k-1}}{k} = H_{2m} - H_m$ दिखाइए, और उससे योग $\ln 2$ (फिर से) तथा यथार्थ गति दोनों निकालिए: $$\sum_{k=1}^{2m} \frac{(-1)^{k-1}}{k}  = \ln 2 - \frac{1}{4m} + O\Bigl(\frac{1}{m^2}\Bigr) .$$
9. उससे *किसी भी* सूचकांक पर एकांतरित हरात्मक [श्रेणी](#def-b1-series-def) की अनंतस्पर्शी त्रुटि निकालिए: $S - S_N \sim \frac{(-1)^N}{2N}$ — अर्थात् [प्रमेय 17.18](#thm-b1-series-alternating) के अधिकतम-स्थिति परिबंध $a_{N+1} \approx  \frac1N$ से दुगुनी छोटी।
10. (मुफ़्त में त्वरण) दिखाइए कि औसतित योग $\tilde S_N = \frac{S_N +  S_{N+1}}{2}$ $\tilde S_N = \ln 2 + O\bigl(\frac{1}{N^2}\bigr)$ संतुष्ट करते हैं। जाँच: $\ln 2 = 0.69315$ के सामने $S_{10} = 0.64563$ , $S_{11} =  0.73654$ , $\tilde S_{10} = 0.69109$ : एक औसत लेने से दो दशमलव स्थान मिल जाते हैं।
11. दो वाक्यों में समझाइए कि प्रश्न 2 के घेराव जैसी किसी *धनात्मक* अपसारी-पूँछ वाली परिघटना में ऐसी कोई युक्ति क्यों काम नहीं आ सकती: एकांतरित त्रुटि दोलन करती है (चिह्न $(-1)^N$ ), अतः औसत लेने से उसका अग्र पद कट जाता है, जबकि $\gamma$ -घेराव की त्रुटि $\frac{1}{2n}$ का चिह्न अचर है। ( $a_n$ और $b_n$ का औसत लेना *सचमुच* काम आता है: $\frac{a_n +  b_n}{2}$ को मध्यबिंदु आकलन $H_n - \ln\bigl(n + \frac12\bigr)$ से जोड़िए और दिखाइए कि उसकी त्रुटि $O\bigl(\frac{1}{n^2}\bigr)$ है।)

**भाग IV — दृढ़ता और उसकी विफलता।**

12. दिखाइए कि एकांतरित हरात्मक [श्रेणी](#def-b1-series-def) का धनात्मक भाग $\sum  \frac{1}{2j-1}$ और ऋणात्मक भाग $\sum \frac{1}{2j}$ दोनों अपसरित होते हैं — यही *सप्रतिबंध* अभिसरण की पहचान है।
13. प्रश्न 12 के पीछे का व्यापक [कथन](https://one-course.com/books/math/3/hi/chapter/1-logic-sets-and-maps#def-b1-logic-statement) सिद्ध कीजिए: यदि $\sum u_n$ अभिसरित होती है पर $\sum \abs{u_n}$ अपसरित, तो धनात्मक भागों की [श्रेणी](#def-b1-series-def) $\sum  u_n^+$ और ऋणात्मक भागों की $\sum u_n^-$ दोनों अपसरित होती हैं *($u_n^\pm = \frac{\abs{u_n} \pm u_n}{2}$ से: यदि एक अभिसरित होती, तो दूसरी भी होती, अतः $\sum\abs{u_n}$)* । धनात्मक और ऋणात्मक द्रव्यमान का यही अक्षय भंडार है जिसे रीमान की विधि ख़र्च करेगी।
14. (दृढ़ता) सिद्ध कीजिए: यदि $\sum u_n$ *निरपेक्ष रूप से* अभिसरित होती है और $\sigma \colon \N \to \N$ एकैकी आच्छादन है, तो $\sum  u_{\sigma(n)}$ उसी योग की ओर अभिसरित होती है *(बड़े $N$ के लिए पहले $M$ पुनर्क्रमित पदों में $u_0, \dots, u_N$ आ जाते हैं; आंशिक योगों की तुलना पूँछ $\sum_{n > N}\abs{u_n}$ के द्वारा कीजिए)* ।
15. (रीमान की विधि) मान लीजिए $t \in \R$ । एकांतरित हरात्मक [श्रेणी](#def-b1-series-def) के लालची पुनर्क्रमण का वर्णन कीजिए: धनात्मक पद $1, \frac13, \frac15, \dots$ तब तक लेते जाइए जब तक आंशिक योग पहली बार $t$ पार न कर ले, फिर ऋणात्मक पद $-\frac12, -\frac14, \dots$ तब तक जब तक वह पहली बार $t$ से नीचे न गिर जाए, और यही दोहराइए। दिखाइए कि हर पद ठीक एक बार प्रयुक्त होता है, कि पहली बार पार करने के बाद आंशिक योग $t$ के अंतिम प्रयुक्त पद के भीतर रहते हैं, और निष्कर्ष निकालिए कि पुनर्क्रमित [श्रेणी](#def-b1-series-def) $t$ की ओर अभिसरित होती है: अर्थात् *कोई भी* निर्धारित योग प्राप्य है।

**भाग V — $(p, q)$ सूत्र।** पूर्णांक $p, q \geq 1$ नियत कीजिए। एकांतरित हरात्मक [श्रेणी](#def-b1-series-def) को खंडों में पुनर्क्रमित कीजिए: $p$ धनात्मक पद (अगले विषम व्युत्क्रम), फिर $q$ ऋणात्मक पद (अगले सम व्युत्क्रम), और यही दोहराइए।

16. जाँचिए कि यह सच्चा पुनर्क्रमण है (हर पद ठीक एक बार), और यह कि $(p,  q) = (1, 2)$ के लिए वह यह कहता है $$1 - \frac12 - \frac14 + \frac13 - \frac16 - \frac18 +  \frac15 - \frac1{10} - \frac1{12} + \dots$$
17. (यथार्थ आधा करना) $(p, q) = (1, 2)$ के लिए खंड-सर्वसमिका सिद्ध कीजिए $$\frac{1}{2k-1} - \frac{1}{4k-2} - \frac{1}{4k}  = \frac12\Bigl(\frac{1}{2k-1} - \frac{1}{2k}\Bigr),$$ और पुनर्क्रमित आंशिक योगों तथा मूल योगों के बीच *यथार्थ* संबंध $T_{3K} = \frac12 S_{2K}$ निकालिए: योग का आधा हो जाना हर परिमित चरण पर दिखाई देता है, केवल सीमा में नहीं।
18. दिखाइए कि $K$ पूरे खंडों के बाद आंशिक योग $\sum_{j=1}^{pK}  \frac{1}{2j-1} - \sum_{j=1}^{qK} \frac{1}{2j}$ के बराबर है, और प्रश्न 7 के साथ उसकी सीमा संगणित कीजिए: $$\ln 2 + \frac12 \ln\frac pq .$$
19. किसी खंड के *भीतर* आंशिक योगों को नियंत्रित कीजिए (पद $0$ की ओर जाते हैं) और निष्कर्ष निकालिए कि $(p, q)$ -पुनर्क्रमित [श्रेणी](#def-b1-series-def) $\ln 2 +  \frac12\ln \frac pq$ की ओर अभिसरित होती है। विशेष रूप से $(1, 2)$ $\frac{\ln 2}{2}$ देता है: पहले नौ पदों $T_9 = 0.3083$ के सामने सत्यापित कीजिए, जो $0.3466$ की ओर रेंग रहे हैं।
20. संगति की जाँच और परास: $(1,1)$ $\ln 2$ वापस देता है; $(2,1)$ $\frac32\ln 2$ देता है; $(p, q)$ -खंडों से कौन-से योग प्राप्य हैं, और यह गणनीय सूची रीमान के पूरे मेनू (प्रश्न 14) के सामने कैसी है?

**भाग VI — उपसंहार: $\gamma$ काम पर, और संश्लेषण।**

21. अभिसारी [श्रेणी](#def-b1-series-def) $\sum_{k\geq1} \bigl(\frac1k -  \ln\frac{k+1}{k}\bigr)$ ( [अभ्यास 17.7](#exo-b1-series-7) ) का योग पहचानिए: दिखाइए कि वह $\gamma$ के बराबर है।
22. लक्ष्य $t = 1$ के लिए रीमान की विधि (प्रश्न 14) चलाइए और उत्पन्न पहले बारह पद ( $1, \frac13, -\frac12, \frac15, -\frac14, \frac17, \frac19,  -\frac16, \frac1{11}, \frac1{13}, -\frac18, \frac1{15}$ ) सूचीबद्ध कीजिए, तथा आंशिक योग ( $\approx 0.980$ ) संगणित कीजिए — और देखिए कि कलनविधि अपने लक्ष्य के इर्द-गिर्द कैसे साँस लेती है।
23. दिखाइए कि एकांतरित हरात्मक [श्रेणी](#def-b1-series-def) का कोई पुनर्क्रमण $+\infty$ की ओर अपसरित होता है *(धनात्मक पदों के इतने लंबे खंड कि हर बार $1$ का लाभ हो, प्रश्न 12 का प्रयोग करते हुए, और उनके बीच एक-एक ऋणात्मक पद)* ।
24. $\gamma$ -नियम से [उदाहरण 17.11](#ex-b1-series-harmonicstack) को तीक्ष्ण कीजिए: दिखाइए कि $H_N \geq 20$ वाला पहला सूचकांक $N = \eu^{\,20 - \gamma}\,(1 +  o(1)) \approx 2.7\cdot10^{8}$ संतुष्ट करता है — अर्थात् [ऑयलर का अचर](#pb-b1-series-1) ठीक वही सुधार है जो स्थूल घेराव से छूट रहा था।
25. संश्लेषण, एक-एक वाक्य में: (क) $\gamma$ -नियम और उसके तीनों अंश ( $\ln  n$ , $\gamma$ , $\frac{1}{2n}$ ) क्या-क्या देते हैं; (ख) सप्रतिबंध अभिसरण योग को क्रम-निर्भर क्यों बना देता है जबकि [निरपेक्ष अभिसरण](#thm-b1-series-absolute) उसे मना कर देता है; (ग) $(p,q)$ सूत्र किसी अमूर्त अस्तित्व-दावे के बदले $\gamma$ -नियम के साथ एक *संगणना* कैसे था; (घ) ये धागे कहाँ आगे चलते हैं — स्नातक वर्ष 2 के खंड में घात [श्रेणी](#def-b1-series-def) और श्रेणियों के गुणनफल, तथा स्नातक वर्ष 3 के खंड की स्टर्लिंग सूत्र वाली सप्ताहांत समस्या, जहाँ वही योग-बनाम-समाकल लेखा-जोखा पूरी शक्ति से चलता है।

**हल — समस्या 17.1.**

**1.** $a_{n+1} - a_n = \frac{1}{n+1} - \ln\frac{n+1}{n} \leq 0$ क्योंकि $\ln(1 + \frac1n) \geq \frac{1/n}{1 + 1/n} = \frac{1}{n+1}$; और $b_{n+1} - b_n = \frac{1}{n+1} - \ln\frac{n+2}{n+1} \geq 0$ क्योंकि $\ln(1 +
\frac{1}{n+1}) \leq \frac{1}{n+1}$। उनका अंतर $a_n - b_n = \ln(1 + \frac1n)
\to 0$: संलग्न ([प्रमेय 11.11](https://one-course.com/books/math/3/hi/chapter/11-sequences#thm-b1-seq-adjacent)), उभयनिष्ठ सीमा $\lim a_n =
\gamma$ ([अभ्यास 17.7](#exo-b1-series-7)) के साथ, और $b_n \leq \gamma \leq a_n$।

**2.** $b_{10} = 2.928968 - \ln 11 = 0.5311$ और $a_{10} = 2.928968 -
\ln 10 = 0.6264$: अतः $\gamma \in \intcc{0.5311}{0.6264}$। अंतर $\ln 1.1
\approx 0.095$ है और $\frac1n$ की तरह सिकुड़ता है: चार दशमलव ($\text{अंतर}
\leq 10^{-4}$) के लिए $n \approx 10^4$ चाहिए होगा — घेराव सही हैं पर धीमे।

**3.** $a_n - a_{m+1} = \sum_{k=n}^{m} w_k$ को दूरबीनी करके $m \to
\infty$ लेने पर: $a_n - \gamma = \sum_{k\geq n} w_k$ (आंशिक योगों की सीमा)। इसके अतिरिक्त

$$
w_k = \int_k^{k+1} \frac{\dd t}{t} - \frac{1}{k+1}
= \int_k^{k+1} \Bigl(\frac1t - \frac{1}{k+1}\Bigr)\dd t
= \int_k^{k+1} \frac{k + 1 - t}{t\,(k+1)}\,\dd t .
$$

$\intcc{k}{k+1}$ पर: $\frac{1}{(k+1)^2} \leq \frac{1}{t(k+1)} \leq
\frac{1}{k(k+1)}$, और $\int_k^{k+1}(k + 1 - t)\dd t = \frac12$: अतः $\frac{1}{2(k+1)^2} \leq w_k \leq \frac{1}{2k(k+1)}$।

**4.** ऊपरी: $\sum_{k \geq n} \frac{1}{2k(k+1)} = \frac12\sum_{k\geq
n}\bigl(\frac1k - \frac{1}{k+1}\bigr) = \frac{1}{2n}$ (दूरबीनी)। निचला: $\frac{1}{2(k+1)^2} \geq \frac{1}{2(k+1)(k+2)}$, जिसका योग दूरबीनी होकर $\frac{1}{2(n+1)}$ देता है। प्रश्न 3 के साथ:

$$
\frac{1}{2(n+1)} \leq H_n - \ln n - \gamma \leq \frac{1}{2n} .
$$

**5.** $\frac{1}{2n}$ घटाइए: $\gamma_n - \gamma \in
\intcc{\frac{1}{2(n+1)} - \frac{1}{2n}}{0} = \intcc{-\frac{1}{2n(n+1)}}{0}$: सुधारा गया आकलन $O\bigl(\frac{1}{n^2}\bigr)$ तक यथार्थ है, और सदा नीचे से।

**6.** $0 \leq \gamma - \gamma_{100} \leq \frac{1}{20200} <
5\cdot10^{-5}$ के साथ $\gamma_{100} = 5.1873775 - \ln 100 - 0.005 =
0.5772073$: अतः $0.577207 \leq \gamma \leq 0.577257$, अर्थात् $\gamma =
0.5772 \pm 5\cdot10^{-5}$ (सच्चा मान $0.5772156\dots$) — सौ पदों से चार प्रमाणित दशमलव, जबकि प्रश्न 2 के लिए दस हज़ार पद चाहिए थे।

**7.** पहला लाभांश:

$$
H_{2m} - H_m = \Bigl(\ln 2m + \gamma + \frac{1}{4m}\Bigr)
- \Bigl(\ln m + \gamma + \frac{1}{2m}\Bigr) +
O\Bigl(\frac{1}{m^2}\Bigr)
= \ln 2 - \frac{1}{4m} + O\Bigl(\frac{1}{m^2}\Bigr).
$$

दूसरा: $2m$ तक के सम व्युत्क्रमों का योग $\frac12 H_m$ है, अतः $\sum_{j=1}^{m}\frac{1}{2j-1} = H_{2m} - \frac12 H_m = \frac12 \ln m + \ln 2
+ \frac\gamma2 + o(1)$, और $\sum_{j=1}^m \frac{1}{2j} = \frac12\ln m +
\frac\gamma2 + o(1)$।

**8.** सम पदों को दो बार अलग करने पर: $\sum_{k=1}^{2m}\frac{(-1)^{k-1}}{k} = H_{2m} - 2\cdot\frac12 H_m = H_{2m} -
H_m$। प्रश्न 7 से यह $\ln 2 - \frac{1}{4m} + O(m^{-2})$ के बराबर है: योग $\ln 2$ है ([उदाहरण 17.19](#ex-b1-series-ln2) फिर से) *और साथ में* उसकी गति भी।

**9.** $N = 2m$ के लिए: $S - S_N = \frac{1}{4m} + O(m^{-2}) =
\frac{1}{2N} + O(N^{-2})$। $N = 2m + 1$ के लिए: $S_{N} = S_{2m} +
\frac{1}{2m+1}$, अतः

$$
S - S_N = \Bigl(\frac{1}{4m} - \frac{1}{2m+1}\Bigr) +
O\Bigl(\frac{1}{m^2}\Bigr)
= -\frac{1}{4m} + O\Bigl(\frac{1}{m^2}\Bigr)
= -\frac{1}{2N} + O\Bigl(\frac{1}{N^2}\Bigr).
$$

दोनों स्थितियों में $S - S_N \sim \frac{(-1)^N}{2N}$: अधिकतम-स्थिति परिबंध $a_{N+1}$ से आधा, और चिह्न ज्ञात तथा एकांतरित।

**10.** औसत लेने से दोलन करता अग्र पद मर जाता है:

$$
S - \tilde S_N = \frac{(S - S_N) + (S - S_{N+1})}{2}
= \frac{(-1)^N}{2}\Bigl(\frac{1}{2N} - \frac{1}{2(N+1)}\Bigr)
+ O\Bigl(\frac{1}{N^2}\Bigr) = O\Bigl(\frac{1}{N^2}\Bigr).
$$

संख्यात्मक रूप से: $S_{10} = 0.645635$, $S_{11} = 0.736544$, $\tilde S_{10}
= 0.691089$, और $\ln 2 = 0.693147$: त्रुटि $4.8\cdot10^{-2}$ से गिरकर $2.1\cdot10^{-3}$ हो जाती है — एक जोड़, बीस गुना बेहतर।

**11.** एकांतरित त्रुटि हर चरण पर चिह्न बदलती है, अतः क्रमागत आंशिक योग सीमा को दोनों ओर से घेरते हैं और उनका माध्य प्रथम-कोटि पद काट देता है; घेराव की त्रुटि $H_n - \ln n - \gamma \approx \frac{1}{2n}$ का चिह्न अचर है, अतः $n$ के अनुदिश कोई भी औसत उसे नहीं काट सकता। दोनों *घेरावों* का औसत लेना सचमुच काम आता है: $\frac{a_n + b_n}{2} = H_n - \ln\sqrt{n(n+1)}$, और चूँकि $\ln\sqrt{n(n+1)} = \ln\bigl(n + \frac12\bigr) + O(n^{-2})$,

$$
H_n - \ln\Bigl(n + \frac12\Bigr)
= \Bigl(H_n - \ln n - \frac{1}{2n}\Bigr) + \frac{1}{8n^2} +
O\Bigl(\frac{1}{n^3}\Bigr) = \gamma + O\Bigl(\frac{1}{n^2}\Bigr)
$$

(प्रश्न 5 और $\ln(1 + \frac{1}{2n}) = \frac{1}{2n} - \frac{1}{8n^2} +
O(n^{-3})$)। $n = 10$ पर जाँच: $H_{10} - \ln 10.5 = 0.57759$, जो पहले से ही $\gamma$ के $4\cdot10^{-4}$ के भीतर है।

**12.** $\sum_{j\leq m} \frac{1}{2j-1} \geq \sum_{j \leq m}
\frac{1}{2j} = \frac12 H_m \to +\infty$: एकांतरित हरात्मक [श्रेणी](#def-b1-series-def) के धनात्मक और ऋणात्मक दोनों भाग अपसरित होते हैं।

**13.** $u_n^\pm = \frac{\abs{u_n} \pm u_n}{2} \geq 0$ लिखिए, अतः $u_n
= u_n^+ - u_n^-$ और $\abs{u_n} = u_n^+ + u_n^-$। यदि $\sum u_n^+$ अभिसरित होती, तो $\sum u_n^- = \sum (u_n^+ - u_n)$ भी अभिसरित होती (अभिसारी श्रेणियों का अंतर), अतः $\sum \abs{u_n}$ भी: सप्रतिबंध अभिसरण से विरोधाभास। सममिति से दोनों $\sum u_n^\pm$ अपसरित होती हैं ($+\infty$ की ओर): धनात्मक और ऋणात्मक द्रव्यमान का अनंत भंडार।

**14.** मान लीजिए $S = \sum u_n$, $\varepsilon > 0$, और $\sum_{n > N}
\abs{u_n} \leq \varepsilon$ के साथ $N$ ($\sum\abs{u_n}$ के लिए कोशी कसौटी)। $M_0$ इतना बड़ा लीजिए कि $\sigma(\{0, \dots, M_0\}) \supseteq \{0, \dots,
N\}$। $M \geq M_0$ के लिए, अंतर $\sum_{m \leq M} u_{\sigma(m)} - \sum_{n
\leq N} u_n$ *भिन्न-भिन्न* पदों $u_n$ का परिमित योग है जिनमें $n > N$, अतः उसका निरपेक्ष मान $\leq \varepsilon$; और $\abs{S - \sum_{n\leq N} u_n}
\leq \varepsilon$ भी। अतः पुनर्क्रमित आंशिक योग अंततः $S$ के $2\varepsilon$ के भीतर रहते हैं: $\sum u_{\sigma(n)} = S$। [निरपेक्ष अभिसरण](#thm-b1-series-absolute) पुनर्क्रमण-रोधी है।

**15.** लालची प्रक्रिया का हर चरण परिमित कितने पदों के बाद समाप्त हो जाता है, क्योंकि शेष धनात्मक (क्रमशः ऋणात्मक) पद अकेले ही अपसारी आंशिक योग रखते हैं (प्रश्न 12): चलता योग अंततः $t$ पार कर ही लेगा। अतः प्रक्रिया अनंत कितने परिमित चरणों के बीच एकांतरित होती है, धनात्मक पदों को क्रम से और ऋणात्मक पदों को क्रम से खाती हुई: हर पद ठीक एक बार प्रयुक्त होता है — अर्थात् एक पुनर्क्रमण। पहली बार पार करने के बाद, दो क्रमागत पार करने के बीच आंशिक योग एकदिष्ट रूप से $t$ की ओर बढ़ते हैं, और पार करते समय वे अधिक से अधिक अभी-अभी जोड़े गए पद जितना आगे निकल जाते हैं; चूँकि $j$-वें पार पर प्रयुक्त पदों का सूचकांक अपनी [श्रेणी](#def-b1-series-def) में कम से कम $j$ है, ये अतिक्रमण $0$ की ओर जाते हैं। अतः आंशिक योग $t$ की ओर अभिसरित होते हैं: हर वास्तविक संख्या किसी न किसी पुनर्क्रमण का योग है।

**16.** धनात्मक स्थानों को क्रम से $j = 1, 2, \dots$ हेतु $\frac{1}{2j-1}$ मिलते हैं, ऋणात्मक स्थानों को क्रम से $\frac{1}{2j}$: एकांतरित हरात्मक [श्रेणी](#def-b1-series-def) का हर पद ठीक एक बार आता है। $(p, q) = (1, 2)$ के लिए खंड $\bigl(1, -\frac12, -\frac14\bigr)$, $\bigl(\frac13, -\frac16,
-\frac18\bigr)$, $\bigl(\frac15, -\frac1{10}, -\frac1{12}\bigr)$, … हैं — अर्थात् प्रदर्शित [श्रेणी](#def-b1-series-def)।

**17.** चूँकि $\frac{1}{4k-2} = \frac12\cdot\frac{1}{2k-1}$:

$$
\frac{1}{2k-1} - \frac{1}{4k-2} - \frac{1}{4k}
= \frac12\,\frac{1}{2k-1} - \frac12\,\frac{1}{2k}
= \frac12\Bigl(\frac{1}{2k-1} - \frac{1}{2k}\Bigr).
$$

$k = 1, \dots, K$ पर योग करने पर: $T_{3K} = \frac12
\sum_{k=1}^{K}\bigl(\frac{1}{2k-1} - \frac{1}{2k}\bigr) = \frac12 S_{2K}$: हर तीसरे आंशिक योग पर पुनर्क्रमित [श्रेणी](#def-b1-series-def) मूल [श्रेणी](#def-b1-series-def) की *ठीक* आधी है।

**18.** $K$ पूरे खंडों के बाद पुनर्क्रमित आंशिक योग $\sum_{j=1}^{pK}\frac{1}{2j-1} - \sum_{j=1}^{qK}\frac{1}{2j}$ है, और प्रश्न 7 उसका मूल्यांकन कर देता है:

$$
\Bigl(\frac{\ln(pK)}{2} + \ln 2 + \frac\gamma2\Bigr)
- \Bigl(\frac{\ln(qK)}{2} + \frac\gamma2\Bigr) + o(1)
= \ln 2 + \frac12\ln\frac pq + o(1) :
$$

$\gamma$ कट जाते हैं, $\ln K$ कट जाते हैं, और अनुपात $\frac pq$ बचा रहता है।

**19.** खंड $K + 1$ के भीतर का कोई आंशिक योग $K$-खंड वाले योग से अधिक से अधिक $p + q$ पदों जितना भिन्न है, जिनमें से प्रत्येक का निरपेक्ष मान $\leq \frac{1}{2qK}$ के आसपास है, अतः अंतर $O\bigl(\frac1K\bigr) \to 0$ है: आंशिक योगों के पूरे अनुक्रम की सीमा वही $\ln 2 + \frac12\ln\frac pq$ है। $(1, 2)$ के लिए: $\ln 2 + \frac12\ln\frac12 = \frac{\ln 2}{2} =
0.34657\dots$, और सचमुच $T_9 = 0.30833$ उसी की ओर रेंग रहा है: प्रश्न 17 से $T_{3K} = \frac12 S_{2K}$ ठीक एकांतरित-हरात्मक त्रुटि की आधी त्रुटि के साथ अभिसरित होता है। वही पद, आधा योग।

**20.** $(1,1)$: $\ln 2 + \frac12\ln 1 = \ln 2$ — मूल क्रम, अर्थात् संगति। $(2,1)$: $\frac32\ln 2 \approx 1.0397$। $(p,q)$ वाला मेनू ठीक गणनीय [सघन](https://one-course.com/books/math/3/hi/chapter/12-topology-of-the-real-line#def-b1-topology-dense) कुल $\ln 2 + \frac12\ln r$, $r \in \Q_{>0}$ तक पहुँचता है; रीमान की लालची विधि (प्रश्न 15) *हर* वास्तविक संख्या तक पहुँचती है। संरचना सूत्र खरीदती है; लालच संपूर्णता।

**21.** आंशिक योग दूरबीनी हो जाते हैं: $\sum_{k=1}^{N} \bigl(\frac1k -
\ln\frac{k+1}{k}\bigr) = H_N - \ln(N+1) = b_N \to \gamma$: [अभ्यास 17.7](#exo-b1-series-7) की [श्रेणी](#def-b1-series-def) का योग ठीक [ऑयलर का अचर](#pb-b1-series-1) है।

**22.** $t = 1$ के लिए लालची विधि: पहला धनात्मक पद योग को ठीक $1$ तक लाता है, उससे आगे नहीं, अतः पार करने के लिए दूसरा धनात्मक पद लिया जाता है: $1, \frac13$ (योग $1.3333 > 1$), फिर $-\frac12$ ($0.8333$), $\frac15$ ($1.0333$), $-\frac14$ ($0.7833$), $\frac17, \frac19$ ($1.0373$), $-\frac16$ ($0.8706$), $\frac1{11}, \frac1{13}$ ($1.0384$), $-\frac18$ ($0.9134$), $\frac1{15}$ ($0.9801$), … — योग $1$ के इर्द-गिर्द निरंतर छोटे होते आयाम के साथ साँस लेते हैं, और अब हर चक्र में दो धनात्मक पद चाहिए, क्योंकि ऋणात्मक पद बड़े हैं।

**23.** खंड बनाइए: चरण $j$ पर इतने अप्रयुक्त धनात्मक पद जोड़िए कि आंशिक योग कम से कम $1$ बढ़ जाए (यह संभव है: शेष धनात्मक पदों के योग अपसारी हैं, प्रश्न 12), फिर अकेला ऋणात्मक पद $-\frac{1} {2j}$ जोड़िए। हर धनात्मक पद अंततः प्रयुक्त होता है (हर चरण कम से कम एक लेता है), हर ऋणात्मक पद भी (प्रति चरण एक): अर्थात् एक पुनर्क्रमण। हर चरण योग को $\geq 1 - \frac{1}{2j} \geq
\frac12$ जितना बदलता है: चरण $j$ के बाद आंशिक योग $\frac{j}{2}$ से अधिक हो जाते हैं और किसी चरण के भीतर की वृद्धियाँ अंतिम को छोड़कर धनात्मक हैं, और अंतिम $\frac{1}{2j} \to 0$ से परिबद्ध है: अतः $+\infty$ की ओर अपसरण।

**24.** नियम से $H_N \geq 20 \iff \ln N \geq 20 - \gamma - \frac{1}{2N}
+ O(N^{-2})$: देहली $N^*$ $\ln N^* = 20 - \gamma + o(1)$ संतुष्ट करती है, अर्थात् $N^* = \eu^{20 - \gamma}(1 + o(1)) \approx \eu^{19.4228} \approx
2.72\cdot10^{8}$ — जो [उदाहरण 17.11](#ex-b1-series-harmonicstack) की स्थूल खिड़की $\intcc{1.8\cdot10^8}{4.9\cdot10^8}$ के भीतर है, और $\gamma$ ने उसे कील दिया है।

**25.** (क) $H_n = \ln n + \gamma + \frac{1}{2n} + O(n^{-2})$ में: $\ln
n$ [समाकल](https://one-course.com/books/math/3/hi/chapter/15-integration-on-a-segment#thm-b1-integration-def) है, $\gamma$ योग को [समाकल](https://one-course.com/books/math/3/hi/chapter/15-integration-on-a-segment#thm-b1-integration-def) से बदलने की क़ीमत (विश्लेषण का सचमुच नया अचर), और $\frac{1}{2n}$ पहला सुधार — समलंब की छाया। (ख) सप्रतिबंध अभिसरण दो अनंत भंडारों के बीच के निरसन पर टिका है (प्रश्न 13), अतः क्रम बदलने से भंडारों का भार बदल जाता है; [निरपेक्ष अभिसरण](#thm-b1-series-absolute) का कुल द्रव्यमान परिमित है, और प्रश्न 14 का पूँछ-आकलन क्रम को देखता ही नहीं। (ग) $(p,q)$ वाले योग *संगणित* किए गए थे: $\gamma$-नियम ने हर पुनर्क्रमित आंशिक योग को $\ln 2
+ \frac12\ln\frac pq + o(1)$ में बदल दिया, जिसमें $\gamma$ स्वयं कट गया — यह अनंतस्पर्शी लेखा-जोखा था, कोई अमूर्त तर्क नहीं। (घ) आगे: स्नातक वर्ष 2 के खंड में घात [श्रेणी](#def-b1-series-def) के लिए गुणनफल और अप्रतिबंध योगनीयता; और स्नातक वर्ष 3 के खंड की स्टर्लिंग सूत्र वाली सप्ताहांत समस्या, जहाँ योग-बनाम-समाकल का वही लेखा-जोखा एक कोटि आगे बढ़ाने पर स्वयं $\sqrt{2\pi}$ उत्पन्न कर देता है।