آزمون نسبت

بندانگشتی|ژان لروند دالامبر
در ریاضی، **آزمون دالامبر** یا **آزمون نسبت**، آزمونی (یا معیاری) است برای بررسی همگرایی سری‌ها:

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

که عبارات این سری‌ها همگی، عددهایی ناصفر و حقیقی یا مختلط اند. این آزمون برای اولین بار از سوی ژان لروند دالامبر معرفی شد به همین دلیل برخی آن را با نام **آزمون نسبت دالامبر** می‌شناسند. در این آزمون از حد زیر استفاده می‌شود:

L = \lim_{n\rightarrow\infty}\left|\frac{a_{n+1}}{a_n}\right|&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;**(رابطهٔ ۱)**

اگر حد وجود داشته باشد، آزمون به این ترتیب نتیجه‌گیری می‌کند که:
*اگر ۱> *L* باشد، سری همگرای مطلق است.
*اگر ۱ L = \lim\sup \left|\frac{a_{n+1}}{a_n}\right|

آنگاه آزمون دالامبر به صورت زیر بیان می‌شود:
*اگر ۱> *L* باشد، سری همگرای مطلق است و
*اگر نامساوی \left|\frac{a_{n+1}}{a_n}\right|> 1 همواره برقرار باشد مگر در تعداد زیاد ولی قابل شمارشی از *n*ها برقرار نباشد، سری واگرا است.
در غیر این دو حالت آزمون بی نتیجه‌است. توجه داشته باشید که با توجه به معیارهای همگرایی یک سری، اگر واگرایی آن بر ما روشن شد، آنگاه مقدار مطلق سری برای *n*های بسیار بزرگ افزایش می‌یابد، پس \lim a_n \neq 0 است که این خود نشانهٔ واگرایی است. نسخهٔ ضعیف تر معیار واگرایی را می‌توان با استفاده از حد پایین‌تری نشان داد: 
*اگر \ell = \lim\inf \left|\frac{a_{n+1}}{a_n}\right| > 1, آنگاه سری واگرا است.

اگر *ℓ* ≤ ۱ ≤ *L* آزمون بی نتیجه‌است.

اگر در رابطهٔ **(۱)** حد وجود داشته باشد، مقدار آن برابر با حد بالاتری و پایین‌تری خواهد بود، پس می‌توان گفت: نسخهٔ اصلی آزمون دالامبر به عنوان حالت خاصی از معیارهای بعدی است.
## چند نمونه
### همگرا
سری زیر را در نظر بگیرید:

:\sum_{n=1}^\infty\frac{n}{e^n}

به کمک آزمون دالامبر همگرایی سری را بررسی می‌کنیم:

:\begin{align}
   \lim_{n\to\infty} \left| \frac{a_{n+1}}                  {a_n}                   \right|
&= \lim_{n\to\infty} \left| \frac{\frac{n+1}{e^{n+1}}}      {\frac{n}{e^n}}         \right|\\
&= \frac{1}{e} 

چون \tfrac{1}{e} از ۱ کوچکتر است پس سری همگرا است.
### واگرا
سری زیر را در نظر بگیرید:

:\sum_{n=1}^\infty\frac{e^n}{n}.

بررسی همگرایی سری به کمک آزمون دالامبر:

:\begin{align}
   \lim_{n\to\infty} \left| \frac{a_{n+1}}                  {a_n}                   \right|
&= \lim_{n\to\infty} \left| \frac{\frac{e^{n+1}}{n+1}}      {\frac{e^n}{n}}         \right|\\
&= e> 1.
\end{align}

چون e بزرگتر از ۱ است پس سری واگرا است.
### بی‌نتیجه
اگر داشته باشیم:

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

بدست آوردن همگرایی یا واگرایی سری به کمک آزمون دالامبر ناممکن است.
برای نمونه سری زیر را در نظر بگیرید:

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

این سری واگرا است در حالی که

:\lim_{n\rightarrow\infty}\left|\frac{1}{1}\right| = 1.

حال سری دیگری را در نظر بگیرید:

:\sum_{n=1}^\infty \frac{1}{n^2} 

این سری همگرای مطلق است ولی

:\lim_{n\rightarrow\infty}\left|\frac{\frac{1}{(n+1)^2}}{\frac{1}{n^2}}\right| = 1.

و در نهایت:

:\sum_{n=1}^\infty (-1)^n\frac{1}{n} 

که به صورت مشروط همگرا است ولی:

:\lim_{n\rightarrow\infty}\left|\frac{\frac{(-1)^{n+1}}{(n+1)}}{\frac{(-1)^{n}}{n}}\right| = 1.

## اثبات
فرض کنید L = \lim_{n\rightarrow\infty} \left| \frac{a_{n+1}}{a_{n}}\right|  می‌توان ثابت کرد که سری، همگرای مطلق است اگر نشان دهیم که مقدار جمله‌های آن کم کم از مقدار جمله‌های سری هندسی با r r = \frac{L+1}{2} است. آنگاه r قطعاً میان ۱ و L قرار دارد و برای nهای به اندازهٔ کافی بزرگ (بگویید nهای بزرگتر از N) داریم |a_{n+1}|  آنگاه برای تمامی n> N و k> ۰ داریم |a_{n+k}|  و:

:\sum_{i=1}^{\infty}|a_{i}| = \sum_{i=1}^{N}|a_{i}| + \sum_{i=N+1}^{\infty}|a_{i}| = P_{N} + \sum_{i=1}^{\infty}|a_{N+i}|


که در آن P_{N}  مجموع N جملهٔ نخست \left|a_{n}\right| است. پس سری همگرای مطلق است.

از سوی دیگر اگر L> ۱ باشد، آنگاه برای nهای به اندازهٔ کافی بزرگ داریم: |a_{n+1}| > |a_{n}| بنابراین حد جمع‌وند ناصفر است و سری واگرا است.
## L = ۱
### آزمون رابه
همان گونه که در نمونه‌ها نشان داده شد، اگر L = ۱ باشد آزمون دالامبر بی نتیجه‌است. آزمون رابه که از سوی جوزف لودویگ رابه معرفی شد، ادامه‌ای از آزمون دالامبر است. این آزمون می‌گوید که اگر:

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

ولی همزمان:

:\lim_{n\rightarrow\infty}
\,n\left(\,\left|\frac{a_{n+1}}{a_n}\right|-1\right)

آنگاه می‌توان گفت که این سری همگرای مطلق است. طبق نظر آگوستوس دو مورگان، آزمون نسبت دالامبر نخستین و آزمون رابه دومین آزمون از زنجیرهٔ نظریه‌های مربوط به همگرایی سری‌ها هستند.

### آزمون‌های بعدی زنجیره
طبق زنجیرهٔ مورگان، آزمون‌های برتراند و گاوس در پلّه‌های بعدی قرار می‌گیرند. هریک از این آزمون‌ها مجانب‌هایی کمی متفاوت با دیگری را بررسی می‌کند. **آزمون برتراند** می‌گوید، اگر:

:\left|\frac{a_n}{a_{n+1}}\right| = 1 + \frac{1}{n} + \frac{\rho_n}{n\ln n}

آنگاه سری همگرا است اگر، حد پایینی ρ*n* بزرگتر از ۱ باشد و واگرا است اگر حد بالایی ρ*n* کوچکتر از ۱ باشد.
**آزمون گاوس** می‌گوید، اگر:

:\left|\frac{a_n}{a_{n+1}}\right| = 1+ \frac{h}{n} + \frac{C_n}{n^r}

درحالی که *r*> ۱ است و *C**n* کراندار است، آنگاه سری همگرا است اگر *h*> ۱ باشد و واگرا است اگر *h* ≤ ۱ باشد.

هر دوی این آزمون‌ها حالت ویژه‌ای از **آزمون کومر** در بحث همگرایی سری‌هایی مانند Σ*a**n* هستند. ζ*n* را به عنوان یک دنبالهٔ معین از اعداد ثابت مثبت در نظر بگیرید. همچنین در نظر بگیرید که:

:\rho = \lim_{n\to\infty} \left(\zeta_n \frac{a_n}{a_{n+1}} - \zeta_{n+1}\right).

اگر *ρ*> ۰ باشد آنگاه سری همگرا است. اگر *ρ* *n* واگرا باشد آنگاه سری نیز واگرا است. در غیر این صورت آزمون بی‌نتیجه‌است.

## جستارهای وابسته
* آزمون کُشی
* آزمون گاوس

## پانویس

## منابع

*.
*: §۸٫۱۴.
* : §۳٫۳, ۵٫۴.
* : §۳٫۳۴.
* 
* 
* 
* : §۲٫۳۶, ۲٫۳۷.

رده:آزمون‌های همگرایی
رده:دنباله‌ها و سری‌ها
رده:سری‌های ریاضی