সংকোচনশীল ধারা

যে ধারার যোগফল, পদগুলির সংখ্যা অসীমের দিকে অগ্রসর হওয়ার সাথে একটি নির্দিষ্ট মানের দিকে অভিন্ন হয়, তাকে **সংকোচনশীল ধারা** বা অভিসারী ধারা বলা হয়। আরও স্পষ্টভাবে, একটি অসীম ক্রম (a_1, a_2, a_3, \ldots) একটি সিরিজ  সংজ্ঞায়িত করে যা চিহ্নিত করা হয়

: S=a_1 + a_2 + a_3 + \cdots=\sum_{k=1}^\infty a_k.

 তম আংশিক যোগফল  হল ধারার প্রথম  পদের যোগফল; যা,

: S_n = a_1 +a_2 + \cdots + a_n = \sum_{k=1}^n a_k.

একটি ধারা সংকোচনশীল হয় যদি এবং কেবল যদি অনুক্রম (S_1, S_2, S_3, \dots) এর আংশিক যোগফল একটি সীমাতে থাকে; যার মানে  a_k সূচকের ক্রমানুসারে যখন ধারার পদগুলোকে একের পর এক যোগ করা হয়, তখন প্রাপ্ত আংশিক যোগফলগুলো ধীরে ধীরে একটি নির্দিষ্ট সংখ্যার কাছাকাছি চলে আসে।। আরও স্পষ্টভাবে, একটি ধারা সংকোচনশীল হয় যদি এবং কেবল যদি একটি নির্দিষ্ট মান \ell থাকে এবং যেকোনো ছোট মান \varepsilon-এর জন্য, এমন একটি পূর্ণসংখ্যা N পাওয়া যায় যা সবার জন্য n \ge N, N-তম পদ থেকে শুরু করে পরবর্তী সকল পদের যোগফল \ell-এর খুব কাছাকাছি থাকে (\varepsilon দূরত্বের মধ্যে)।

: \left | S_n - \ell \right | 

সিরিজটি অভিসারী হলে, (অগত্যা অনন্য) সংখ্যা \ell *সিরিজের যোগফল* বলা হয়। যদি ধারাটি সংকোচনশীল হয়, অর্থাৎ যদি তার যোগফল একটি নির্দিষ্ট মানের দিকে অভিন্ন হয়,তাহলে সেই নির্দিষ্ট মান \ell কেই ঐ ধারাবাহিকের যোগফল বলা হয়।

ধারার ক্ষেত্রে সেই একই প্রতীক

: \sum_{k=1}^\infty a_k

আমরা ব্যবহার করি যা ধারাকে নিজে এবং যদি এটি সংকোচনশীল হয়, তবে তার যোগফলকেও নির্দেশ করে। এই পদ্ধতিটি যোগের ক্ষেত্রেও ব্যবহৃত হয়, যেখানে   চিহ্নটি **' এবং **' যোগ করার প্রক্রিয়াকে এবং এই যোগফলের মানকেও নির্দেশ করে।

সংকোচনশীল নয় এমন যেকোন ধারাকে বলা হয় অপসারণশীল বা বিচ্যুত ধারা।

## সংকোচনশীল এবং অপসারণশীল ধারার উদাহরণ

* ধনাত্মক পূর্ণসংখ্যার পরস্পর বিপরীত সংখ্যাগুলি (অন্যোন্যক) যোগ করলে একটি অভিসারী নয় এমন ধারা (হারমোনিক ধারাবাহিক) পাওয়া যায়।
*: {1 \over 1}+{1 \over 2}+{1 \over 3}+{1 \over 4}+{1 \over 5}+{1 \over 6}+\cdots \rightarrow \infty. 
* ধনাত্মক পূর্ণসংখ্যার পরস্পর বিপরীত সংখ্যাগুলির চিহ্ন বিকল্পভাবে পরিবর্তন করলে একটি অভিসারী ধারাবাহিক (বিকল্প হারমোনিক ধারাবাহিক) পাওয়া যায়।
*: {1 \over 1}-{1 \over 2}+{1 \over 3}-{1 \over 4}+{1 \over 5}-\cdots = \ln(2)
* মৌলিক সংখ্যার পরস্পর বিপরীত সংখ্যাগুলি যোগ করলে একটি অভিসারী নয় এমন ধারাবাহিক পাওয়া যায়।
*: {1 \over 2}+{1 \over 3}+{1 \over 5}+{1 \over 7}+{1 \over 11}+{1 \over 13}+\cdots \rightarrow \infty.
* ত্রিভুজাকার সংখ্যার পরস্পর বিপরীত সংখ্যাগুলি একটি অভিসারী ধারাবাহিক গঠন করে।
*: {1 \over 1}+{1 \over 3}+{1 \over 6}+{1 \over 10}+{1 \over 15}+{1 \over 21}+\cdots = 2.
* ফ্যাক্টোরিয়ালের পরস্পর বিপরীত সংখ্যাগুলি একটি অভিসারী ধারাবাহিক গঠন করে।
*: \frac{1}{1} + \frac{1}{1} + \frac{1}{2} + \frac{1}{6} + \frac{1}{24}  + \frac{1}{120} + \cdots = e.
* বর্গ সংখ্যার পরস্পর বিপরীত সংখ্যাগুলি একটি অভিসারী ধারাবাহিক গঠন করে (বাসেল সমস্যা)।
*: {1 \over 1}+{1 \over 4}+{1 \over 9}+{1 \over 16}+{1 \over 25}+{1 \over 36}+\cdots = {\pi^2 \over 6}.
* ২-এর ঘাতগুলির পরস্পর বিপরীত সংখ্যাগুলি একটি অভিসারী ধারাবাহিক গঠন করে:
*: {1 \over 1}+{1 \over 2}+{1 \over 4}+{1 \over 8}+{1 \over 16}+{1 \over 32}+\cdots = 2.
* যে কোনো n>1 এর ঘাতগুলির পরস্পর বিপরীত সংখ্যাগুলি একটি অভিসারী ধারাবাহিক গঠন করে।
*: {1 \over 1}+{1 \over n}+{1 \over n^2}+{1 \over n^3}+{1 \over n^4}+{1 \over n^5}+\cdots = {n\over n-1}.
* ২-এর ঘাতগুলির পরস্পর বিপরীত সংখ্যাগুলির চিহ্ন বিকল্পভাবে পরিবর্তন করলেও একটি অভিসারী ধারাবাহিক পাওয়া যায়।
*: {1 \over 1}-{1 \over 2}+{1 \over 4}-{1 \over 8}+{1 \over 16}-{1 \over 32}+\cdots = {2\over3}.
* যে কোনো n>1 এর ঘাতগুলির পরস্পর বিপরীত সংখ্যাগুলির চিহ্ন বিকল্পভাবে পরিবর্তন করলেও একটি অভিসারী ধারাবাহিক পাওয়া যায়।
*: {1 \over 1}-{1 \over n}+{1 \over n^2}-{1 \over n^3}+{1 \over n^4}-{1 \over n^5}+\cdots = {n\over n+1}.
* ফিবোনাচ্চি সংখ্যার পরস্পর বিপরীত সংখ্যাগুলি একটি অভিসারী ধারাবাহিক গঠন করে।
*: \frac{1}{1} +  \frac{1}{1} + \frac{1}{2} + \frac{1}{3} + \frac{1}{5} + \frac{1}{8} + \cdots = \psi.

## সংকোচনশীলতার পরীক্ষা
কোনো ধারাবাহিক অভিসারী নাকি অপসারী তা নির্ধারণ করার জন্য বেশ কয়েকটি পদ্ধতি রয়েছে।
ডান|থাম্ব|250x250পিক্সেল| যদি নীল সিরিজ, <math>\Sigma b_n</math>,অভিসারী  প্রমাণিত হতে পারে, তারপর ছোট সিরিজ, <math>\Sigma a_n</math> অভিসারী হতে হবে। contraposition দ্বারা, যদি লাল সিরিজ <math>\Sigma a_n</math> বিচ্যুত প্রমাণিত হয়, তারপর <math>\Sigma b_n</math> অপসারী হতে হবে।
**তুলনা পরীক্ষা** হল একটি গুরুত্বপূর্ণ গাণিতিক পদ্ধতি যা কোনো অসীম ধারাবাহিক অভিসারী হবে নাকি অপসারী, তা নির্ধারণ করতে ব্যবহৃত হয়।

ধরা যাক দুটি অনুক্রম \left \{ a_n \right \} এবং \left \{ b_n \right \} রয়েছে। যদি প্রতিটি *n* -এর জন্য নিম্নলিখিত শর্তগুলো পূরণ হয়:

# 0 \le \ b_n \le \ a_n​, এবং
# ধারাটি \sum_{n=1}^\infty b_n​ অভিসারী হয়,

তাহলে ধারাটি \sum_{n=1}^\infty a_n​ ও অভিসারী হবে।

**অনুপাত পরীক্ষা** :ধরা যাক একটি ধারা \sum_{n=1}^\infty a_n রয়েছে এবং প্রতিটি *n* -এর জন্য a_n শূন্য নয়। এখন,

: \lim_{n \to \infty} \left|{\frac{a_{n+1}}{a_n}}\right| = r.

যদি rr = \limsup_{n\to\infty}\sqrt[n],

: যেখানে "lim sup" সীমা উচ্চতর বোঝায় (সম্ভবত ∞; যদি সীমা বিদ্যমান থাকে তবে এটি একই মান)।

যদি rf(n) = a_n একটি পজিটিভ এবং মনটোনাস হ্রাস ফাংশন হবে, যদি

: \int_{1}^{\infty} f(x)\, dx = \lim_{t \to \infty} \int_{1}^{t} f(x)\, dx 

**সীমা তুলনা পরীক্ষা** . ধরা যাক, দুটি ধারা \left \{ a_n \right \}, \left \{ b_n \right \} > 0, এবং\lim_{n \to \infty} \frac{a_n}{b_n} অস্তিত্ব করে এবং শূন্য নয়, যদি \sum_{n=1}^\infty b_n অভিসারী হয়, তাহলে \sum_{n=1}^\infty a_n ও অভিসারী হবে। যদি \sum_{n=1}^\infty b_n অপসারী হয়, তাহলে \sum_{n=1}^\infty a_n ও অপসারী হবে।

**অল্টারনেটিং সিরিজ টেস্ট** । এটিকে লাইবনিজ মানদণ্ড (Leibniz Criterion) নামেও ডাকা হয়। যদি একটি পর্যায়ক্রমিক ধারা নিচের আকারের হয়:\sum_{n=1}^\infty a_n (-1)^nএবং \left \{ a_n \right \} ধারাটি নিম্নলিখিত শর্তগুলো পূরণ করেঃ

# \left \{ a_n \right \} একটানা হ্রাসমান
# অসীমে 0 এর সীমা আছে,

তাহলে ধারা অভিসারী হবে।

**কচি ঘনীভবন পরীক্ষা** । যদি \left \{ a_n \right \} একটি ধনাত্মক এবং মনোটোনিক হ্রাসমান ধারা হয়**,**  \sum_{n=1}^\infty a_n  অভিসারী হবে যদি এবং শুধুমাত্র যদি  \sum_{k=1}^\infty 2^k a_{2^{k}}  অভিসারী হয়।

**ডিরিচলেটের পরীক্ষা**

**হাবিলের পরীক্ষা**

## শর্তসাপেক্ষ এবং পরম অভিসারী
যদি একটি ধারা \sum_{n=1}^\infty \left| a_n \right| অভিসারী হয়, তবে বলা হয় যে \sum_{n=1}^\infty a_n ধারা পূর্ণভাবে অভিসারী। যদি \sum_{n=1}^\infty a_n পূর্ণভাবে অভিসারী হয়, তবে এটি অভিসারীও হবে। তবে বিপরীতটি সবসময় সত্য নয়। সূচকীয় ফাংশনের এর ম্যাকলরিন সিরিজ এই গুণাবলীর একটি উদাহরণ।

একটি ধারা \sum_{n=1}^\infty a_n শর্তসাপেক্ষ অভিসারী হয় যদি \sum_{n=1}^\infty \left| a_n \right| অপসারী হয়, এবং \sum_{n=1}^\infty a_n অভিসারী হয়।  \ln(1+x)  এর ম্যাকলরিন ধারা 

 বলে যে, যদি কোনো অসীম ধারাবাহিক শর্তসাপেক্ষে অভিসারী হয়, তবে ধারাবাহিকের পদগুলিকে এমনভাবে পুনর্বিন্যস্ত করা যায় যে নতুন ধারাবাহিকটি যেকোনো বাস্তব সংখ্যায় অভিসারী হবে, বা এমনকি বিচ্যুত হবে। '''Agnew-এর উপপাদ্যটি''' এমন পুনর্বিন্যস্তকরণগুলিকে চিহ্নিত করে যা সমস্ত ধারাবাহিকের জন্য অভিসারণ বজায় রাখে।

## সামঞ্জস্যপূর্ণ অভিসারণ
ধরা যাক, \left \{ f_1,\ f_2,\ f_3,\dots \right \} হলো একটি ফাংশনের ধারার অনুক্রম। সিরিজ \sum_{n=1}^\infty f_n বলা হয় **সামঞ্জস্যপূর্ণভাবে অভিসারী** যদি ফাংশনের আংশিক যোগফলগুলোর অনুক্রম \{s_n\} , যেখানে

:  s_n(x) = \sum_{k=1}^n f_k (x)

*f-* এ অভিন্নভাবে রূপান্তরিত হয়।

অনন্ত ফাংশন ধারাবাহিকের জন্য তুলনা পরীক্ষার একটি অনুরূপ রয়েছে যাকে ওয়াইয়ারস্ট্রাস এম-পরীক্ষা বলা হয়।

## কাউশি অভিসারণ মানদণ্ড
কাউশি অভিসারণ মানদণ্ড অনুযায়ী, একটি সিরিজ

: \sum_{n=1}^\infty a_n

**অভিসারী** হয় যদি এবং শুধুমাত্র যদি তার আংশিক যোগফলগুলোর অনুক্রম একটি **কাউশি অনুক্রম** (Cauchy sequence) হয়। এর মানে হলো, প্রতিটি  \varepsilon > 0, 

n \geq m \geq N এর জন্য

:  \left| \sum_{k=m}^n a_k \right| 

যার সমতুল্য

\lim_{m \to \infty} \left(\sup_{n>m} \left|\sum_{k=m}^{n} a_k \right| \right) = 0.

## বহিঃসংযোগ

* 
* Weisstein, Eric (2005). Riemann Series Theorem. Retrieved May 16, 2005.

বিষয়শ্রেণী:গাণিতিক ধারা