حد نامتناهی در مثبت بینهایت و منفی بینهایت
تفاوت حد متناهی با حد نامتناهی در بینهایت
در حالت عادی، وقتی میگوییم $\lim_{x \to +\infty} f(x) = L$، به این معناست که با حرکت $x$ به سمت راست محور اعداد، مقدار $f(x)$ به عدد ثابت $L$ نزدیک و نزدیکتر میشود. اما در حد نامتناهی، تابع به هیچ عدد حقیقی نزدیک نمیشود؛ بلکه مقدار آن از هر عددی بزرگتر (یا کوچکتر) میگردد. به زبان ساده، اگر $f(x)$ بدون محدودیت رشد کند، مینویسیم:
به همین ترتیب برای منفی بینهایت داریم: $\lim_{x \to -\infty} f(x) = +\infty$ یا $\lim_{x \to -\infty} f(x) = -\infty$. در این موارد، خط $y = L$ مجانب افقی ندارد، بلکه تابع به صورت نامحدود صعودی یا نزولی میشود.
مثال عملی: تابع $f(x) = x^2$ را در نظر بگیرید. وقتی $x \to +\infty$، مقادیر $100$، $10000$، $10^6$ و ... میشوند. هیچ کران بالایی ندارند؛ بنابراین حد برابر $+\infty$ است. همچنین برای $x \to -\infty$ نیز به دلیل مربع شدن، باز هم خروجی بسیار بزرگ مثبت میشود؛ پس $\lim_{x \to -\infty} x^2 = +\infty$.
رفتار توابع چندجملهای در بینهایت
برای یک تابع چندجملهای1 مانند $P(x) = a_n x^n + a_{n-1} x^{n-1} + \dots + a_0$ با $a_n \neq 0$، رفتار در بینهایت فقط توسط جملهی با بالاترین درجه تعیین میشود. دلیل این است که برای مقادیر بسیار بزرگ $|x|$، جمله $a_n x^n$ بر سایر جملات غالب میشود. بنابراین:
- اگر $n$ زوج باشد و $a_n \gt 0$، آنگاه $\lim_{x \to \pm\infty} P(x) = +\infty$.
- اگر $n$ زوج باشد و $a_n \lt 0$، آنگاه $\lim_{x \to \pm\infty} P(x) = -\infty$.
- اگر $n$ فرد باشد و $a_n \gt 0$، آنگاه $\lim_{x \to +\infty} P(x) = +\infty$ و $\lim_{x \to -\infty} P(x) = -\infty$.
- اگر $n$ فرد باشد و $a_n \lt 0$، آنگاه $\lim_{x \to +\infty} P(x) = -\infty$ و $\lim_{x \to -\infty} P(x) = +\infty$.
| تابع نمونه | درجه و ضریب رهبر | $\lim_{x \to +\infty} f(x)$ | $\lim_{x \to -\infty} f(x)$ |
|---|---|---|---|
| $f(x)=3x^2+2x-5$ | زوج، $a_n=3>0$ | $+\infty$ | $+\infty$ |
| $g(x)=-x^4+100$ | زوج، $a_n=-1 | $-\infty$ | $-\infty$ |
| $h(x)=5x^3-2x$ | فرد، $a_n=5>0$ | $+\infty$ | $-\infty$ |
حد نامتناهی در توابع گویا و کسرهای چندجملهای
تابع گویا2 به شکل $R(x) = \frac{P(x)}{Q(x)}$ است که $P$ و $Q$ چندجملهای هستند. وقتی $x \to \pm\infty$، رفتار حدی به مقایسه درجه صورت و مخرج بستگی دارد. اگر درجه صورت از درجه مخرج بزرگتر باشد، حد تابع نامتناهی خواهد بود. علت آن است که صورت سریعتر از مخرج رشد میکند.
در حالتی که درجه صورت فقط یک واحد از درجه مخرج بیشتر باشد، تابع به سمت خطی مایل (مجانب اریب) میل میکند و قدر مطلق آن به سمت بینهایت میرود. توجه کنید که اگر درجه صورت کوچکتر یا مساوی مخرج باشد، حد متناهی (صفر یا عدد غیرصفر) خواهیم داشت و حد نامتناهی رخ نمیدهد.
کاربرد عملی: مدلسازی رشد نامحدود در جمعیت و واپاشی
در مدلهای ریاضی، گاهی متغیر مستقل زمان است و به سمت آینده ($t \to +\infty$) میل میکند. اگر جمعیت یک گونه بدون محدودیت منابع رشد کند، مدل نمایی3 مانند $P(t) = P_0 e^{kt}$ با $k \gt 0$ به کار میرود. در اینجا:
یعنی جمعیت بدون کران افزایش مییابد. برعکس، در واپاشی رادیواکتیو با $k \lt 0$، حد به سمت صفر میل میکند (نه نامتناهی). اما اگر مدلی مانند $N(t) = \frac{1}{t_0 - t}$ برای نزدیک شدن به یک زمان بحرانی $t_0$ داشته باشیم، وقتی $t \to t_0^-$ مقدار تابع به $+\infty$ میرود که نمونهای از حد نامتناهی در نقطهای متناهی است. اما در بحث ما، وقتی $x \to \pm\infty$، توابعی مانند $e^x$ نیز حد نامتناهی دارند: $\lim_{x \to +\infty} e^x = +\infty$ و $\lim_{x \to -\infty} e^x = 0$ (حد متناهی). بنابراین هر تابع نمایی با پایه بزرگتر از یک، در مثبت بینهایت حد نامتناهی دارد.
چالشهای مفهومی
پاسخ: بله. برای توابع با درجه زوج و ضریب رهبر مثبت، مانند $f(x)=x^4$، هر دو حد برابر $+\infty$ هستند. همچنین توابع زوج با ضریب رهبر منفی، هر دو حد $-\infty$ خواهند داشت.
پاسخ: خیر. تابع میتواند نوسان داشته باشد اما دامنه نوسانات به سمت بینهایت برود. برای مثال $f(x)=x + \sin x$ با وجود نوسان، به دلیل جمله $x$، حد نهایی آن $+\infty$ است، هرچند همیشه صعودی نیست.
پاسخ: در بسیاری از کتابها، حد نامتناهی را نوعی حد ناموجود در نظر میگیرند، زیرا عدد حقیقی نیست. اما در آنالیز پیشرفته، نماد $+\infty$ یک حد تعمیمیافته محسوب میشود. تفاوت اصلی با حالتی که حد وجود ندارد (مثل نوسان بیکران) این است که در اینجا تابع به یک سو (همه مقادیر بزرگ مثبت) میل میکند، نه رفتاری آشفته.
جمعبندی
پاورقی
2 تابع گویا (Rational Function): نسبت دو تابع چندجملهای، به شرط آنکه مخرج صفر نباشد.
3 مدل نمایی (Exponential Model): تابعی به شکل $f(x)=a \cdot b^x$ که در آن $b \gt 0$ و $b \neq 1$.