آزمون نسبت

ژان لروند دالامبر

در ریاضی، آزمون دالامبر یا آزمون نسبت، آزمونی (یا معیاری) است برای بررسی همگرایی سری‌ها: الگو:چپ‌چین

$\sum _{n=0}^{\mathrm{\infty }}{a}_n$

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

$L=\underset{n\to \mathrm{\infty }}{\lim }\left|\frac{a_{n+1}}{a_n}\right|$                                                  (رابطهٔ ۱)

الگو:پایان چپ‌چین اگر حد وجود داشته باشد، آزمون به این ترتیب نتیجه‌گیری می‌کند که:

• اگر ۱> L باشد، سری همگرای مطلق است.
• اگر ۱ <L باشد، سری واگرا است.
• اگر ۱ = 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\ne 0$ است که این خود نشانهٔ واگرایی است. نسخهٔ ضعیف تر معیار واگرایی را می‌توان با استفاده از حد پایین‌تری نشان داد:

• اگر $\ell =\lim \inf \left|\frac{a_{n+1}}{a_n}\right|>1,$ آنگاه سری واگرا است.

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

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

چند نمونه

همگرا

سری زیر را در نظر بگیرید: الگو:چپ‌چین

$\sum _{n=1}^{\mathrm{\infty }}\frac{n}{e^n}$

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

$\begin{array}{cc}\underset{n\to \mathrm{\infty }}{\lim }\left|\frac{a_{n+1}}{a_n}\right|& =\underset{n\to \mathrm{\infty }}{\lim }\left|\frac{\frac{n+1}{e^{n+1}}}{\frac{n}{e^n}}\right|\\ & =\frac{1}{e}<1.\end{array}$

الگو:پایان چپ‌چین چون $\frac{1}{e}$ از ۱ کوچکتر است پس سری همگرا است.

واگرا

سری زیر را در نظر بگیرید: الگو:چپ‌چین

$\sum _{n=1}^{\mathrm{\infty }}\frac{e^n}{n}.$

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

$\begin{array}{cc}\underset{n\to \mathrm{\infty }}{\lim }\left|\frac{a_{n+1}}{a_n}\right|& =\underset{n\to \mathrm{\infty }}{\lim }\left|\frac{\frac{e^{n+1}}{n+1}}{\frac{e^n}{n}}\right|\\ & =e>1.\end{array}$

الگو:پایان چپ‌چین چون $e$ بزرگتر از ۱ است پس سری واگرا است.

بی‌نتیجه

اگر داشته باشیم: الگو:چپ‌چین

$\underset{n\to \mathrm{\infty }}{\lim }\left|\frac{a_{n+1}}{a_n}\right|=1$

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

$\sum _{n=1}^{\mathrm{\infty }}1$

الگو:پایان چپ‌چین این سری واگرا است در حالی که الگو:چپ‌چین

$\underset{n\to \mathrm{\infty }}{\lim }\left|\frac{1}{1}\right|=1$.

الگو:پایان چپ‌چین حال سری دیگری را در نظر بگیرید: الگو:چپ‌چین

$\sum _{n=1}^{\mathrm{\infty }}\frac{1}{n^2}$

الگو:پایان چپ‌چین این سری همگرای مطلق است ولی الگو:چپ‌چین

$\underset{n\to \mathrm{\infty }}{\lim }\left|\frac{\frac{1}{(n+1{)}^2}}{\frac{1}{n^2}}\right|=1.$

الگو:پایان چپ‌چین و در نهایت: الگو:چپ‌چین

$\sum _{n=1}^{\mathrm{\infty }}(-1{)}^n\frac{1}{n}$

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

$\underset{n\to \mathrm{\infty }}{\lim }\left|\frac{\frac{(-1{)}^{n+1}}{(n+1)}}{\frac{(-1{)}^n}{n}}\right|=1.$

اثبات

فرض کنید $L=\underset{n\to \mathrm{\infty }}{\lim }\left|\frac{a_{n+1}}{a_n}\right|<1$ می‌توان ثابت کرد که سری، همگرای مطلق است اگر نشان دهیم که مقدار جمله‌های آن کم کم از مقدار جمله‌های سری هندسی با r <۱ کوچکتر می‌شوند. برای این کار در نظر بگیرید که $r=\frac{L+1}{2}$ است. آنگاه r قطعاً میان ۱ و L قرار دارد و برای nهای به اندازهٔ کافی بزرگ (بگویید nهای بزرگتر از N) داریم $|a_{n+1}|<r|a_n|$ آنگاه برای تمامی n> N و k> ۰ داریم $|a_{n+k}|<r^k|a_n|$ و: الگو:چپ‌چین

$\sum _{i=1}^{\mathrm{\infty }}|a_i|=\sum _{i=1}^N|a_i|+\sum _{i=N+1}^{\mathrm{\infty }}|a_i|=P_N+\sum _{i=1}^{\mathrm{\infty }}|a_{N+i}|<P_N+\sum _{i=1}^{\mathrm{\infty }}{r}^i|a_{N+1}|=P_N+|a_{N+1}|\sum _{i=1}^{\mathrm{\infty }}{r}^i=P_N+|a_{N+1}|\frac{r}{1-r}<\mathrm{\infty }$

الگو:پایان چپ‌چین که در آن $P_N$ مجموع N جملهٔ نخست $\left|a_n\right|$ است. پس سری همگرای مطلق است.

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

L = ۱

آزمون رابه

همان گونه که در نمونه‌ها نشان داده شد، اگر L = ۱ باشد آزمون دالامبر بی نتیجه‌است. آزمون رابه که از سوی جوزف لودویگ رابه معرفی شد، ادامه‌ای از آزمون دالامبر است. این آزمون می‌گوید که اگر: الگو:چپ‌چین

$\underset{n\to \mathrm{\infty }}{\lim }\left|\frac{a_{n+1}}{a_n}\right|=1$

الگو:پایان چپ‌چین ولی همزمان: الگو:چپ‌چین

$\underset{n\to \mathrm{\infty }}{\lim }n(\left|\frac{a_{n+1}}{a_n}\right|-1)<1$

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

آزمون‌های بعدی زنجیره

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

$\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 =\underset{n\to \mathrm{\infty }}{\lim }({\zeta }_n\frac{a_n}{a_{n+1}}-{\zeta }_{n+1}).$

الگو:پایان چپ‌چین اگر ρ> ۰ باشد آنگاه سری همگرا است. اگر ρ <۰ و Σ۱/ζ_n واگرا باشد آنگاه سری نیز واگرا است. در غیر این صورت آزمون بی‌نتیجه‌است.

جستارهای وابسته

• آزمون کُشی
• آزمون گاوس

منابع

• الگو:Citation.
• الگو:Citation: §۸٫۱۴.
• الگو:Citation: §۳٫۳, ۵٫۴.
• الگو:Citation: §۳٫۳۴.
• الگو:Mathworld
• الگو:Mathworld
• الگو:Mathworld
• الگو:Citation: §۲٫۳۶, ۲٫۳۷.