يُقصد بنظرية التزايد المقارن الدراسة التحليلية المقارنة لسرعة تباعد الدوال المتسامية والجبرية عند اقترابها من الجوارات اللانهائية أو الحدود الطوبولوجية الحرجة. المبدأ المرجعي الحاكم في هذا الحقل الاستدلالي ينص على ما يلي: عند الجوار اللانهائي الموجب، تؤول الرتبة الحركية لتزايد دالة القوة $x^n$ إلى قيمة تفوق بكثير رتبة تزايد الدالة اللوغاريتمية النيبيرية $\ln(x)$.
تُعد هذه القواعد التحليلية أدوات نظامية مقرّرة لإزالة حالات عدم التعيين الجبري التي تؤول صيغها البدئية إلى الأشكال غير المعينة من النمط $\left[\frac{\infty}{\infty}\right]$ أو $[0 \times \infty]$، وتصاغ مبرهناتها الصريحة (من أجل كل عدد طبيعي غير معدوم $n \in \mathbb{N}^*$) وفق الجدول التالي:
| النطاق الجواري المعين | النمط الجبري للعبارة | الصيغة التحليلية للنهاية المرجعية | المدلول التحليلي الحصيل |
|---|---|---|---|
| عند الجوار اللانهائي: $+\infty$ | حاصل القسمة الكسرية | $\lim\limits_{x \to +\infty} \frac{\ln(x)}{x^n} = 0$ | تؤول النسبة إلى الصفر نظراً لسرعة تباعد المقام $x^n$ مقارنة بالبسط. |
| عند الحد اليميني للصفر: $0^+$ | الجداء الخطي | $\lim\limits_{x \to 0^+} x^n \ln(x) = 0$ | يؤول الجداء إلى الصفر بفعل السلوك التقاربي الحاكم للحد $x^n$ بجوار الصفر. |
تظل هذه المبرهنات سارية الصلاحية والأثر التحليلي حتى في الحالات التي يكون فيها الأس عدداً حقيقياً موجباً تماماً ($n \in \mathbb{R}_+^*$)، مما يتيح إخضاع الدوال الصماء المرجعية لنفس السلوك الحركي؛ على سبيل المثال: $\lim\limits_{x \to +\infty} \frac{\ln(x)}{\sqrt{x}} = 0$.
عند مواجهة حالة عدم تعيين أثناء فحص نهايات التراكيب اللوغاريتمية، يعتمد المسار الإجرائي على إحداث تحويلات جبرية بنيوية — كالتحليل باستخراج العامل المشترك الأكبر رتبة أو تطبيق دالة تغيير المتغير — بغرض إظهار إحدى الصيغ المرجعية المقرّرة نظامياً. يوضح الجدول أدناه مثالاً استدلالياً مشروحاً:
| المرتبة الإجرائية | المسار التحليلي والتطبيق الجبري الصريح | المبرر والمستند النظري |
|---|---|---|
| 1. صياغة الوضعية وتشخيصها | حساب المآل: $\lim\limits_{x \to +\infty} (x - \ln(x))$ | تؤول العبارة مباشرة إلى الشكل غير المعين: $[+\infty - \infty]$. |
| 2. التحويل باستخراج العامل المشترك | إعادة صياغة العبارة: $\lim\limits_{x \to +\infty} x \left(1 - \frac{\ln(x)}{x}\right)$ | استخراج المتغير الأسرع رتبة $x$ كعامل مشترك لإظهار صيغة التزايد المقارن. |
| 3. الحساب المآلي والفصل | بما أن: $\lim\limits_{x \to +\infty} \frac{\ln(x)}{x} = 0$ فإن العبارة تؤول إلى: $+\infty \times (1 - 0) = +\infty$ |
تطبيق مبرهنة التزايد المقارن القياسية عند الجوار اللانهائي الموجب. |
يمنع منعاً باتاً توظيف قواعد التزايد المقارن عند حساب النهايات عند قيم حقيقية ثابتة ومحدودة (مثل $x \to 1$ أو $x \to 2$)؛ حيث إن هذه المبرهنات مشروطة بنيوياً وحصرياً بالحدود الطوبولوجية للتعريف والمآل، والمتمثلة في الجوارين المرجعيين $0^+$ و $+\infty$ فقط.
تنبيه:
الترتيب التصاعدي المعتمد للرتب الحركية الحاكمة للسلوك المآلي عند $+\infty$ يُصاغ كالآتي: $\ln(x) \prec \sqrt{x} \prec x \prec x^2 \prec x^n$.