حد مجموع توابع با جملهٔ نامتناهی مثبت و منفی
۱. رفتار حدی مجموع در حضور بینهایت
در حساب دیفرانسیل و انتگرال، هنگامی که حد یک تابع در نقطهای به سمت بینهایت مثبت ($ +\infty $) یا بینهایت منفی ($ -\infty $) میل میکند، معمولاً در مورد مجموع آن با تابعی که حدی متناهی دارد، میتوان نتیجهگیری دقیقی انجام داد. دو قضیهٔ اصلی در این زمینه عبارتند از:
- اگر $ \lim_{x \to a} f(x) = +\infty $ و $ \lim_{x \to a} g(x) = L $ (که $L$ یک عدد حقیقی است)، آنگاه $ \lim_{x \to a} \big( f(x) + g(x) \big) = +\infty $.
- اگر $ \lim_{x \to a} f(x) = -\infty $ و $ \lim_{x \to a} g(x) = L $، آنگاه $ \lim_{x \to a} \big( f(x) + g(x) \big) = -\infty $.
به عبارت سادهتر، اگر یک تابع به سمت بینهایت (مثبت یا منفی) برود و تابع دیگر به یک مقدار ثابت نزدیک شود، حاصل جمع آنها نیز همان رفتار بینهایتی را خواهد داشت و مقدار ثابت تأثیری در بینهایت شدن نتیجه ندارد. این قاعده از آن جهت مهم است که در بسیاری از مسائل حدگیری، با توابعی مواجه میشویم که یک بخش آن نامحدود و بخش دیگر محدود است.
۲. اثبات شهودی و استدلال جبری برای قضیهٔ نخست
برای درک عمیقتر، اجازه دهید قضیهٔ نخست را با یک استدلال شهودی دنبال کنیم. فرض کنید $ \lim_{x \to a} f(x) = +\infty $. این یعنی به ازای هر عدد بزرگ دلخواه مانند M، میتوان همسایگیای از a یافت که در آن $ f(x) \gt M $. از طرفی $ \lim_{x \to a} g(x) = L $ یعنی $ g(x) $ در همسایگی a به L نزدیک است و مقادیر آن بین $ L-1 $ و $ L+1 $ قرار میگیرد (برای xهای نزدیک به a). بنابراین:
$ f(x) + g(x) \gt M + (L-1) $
از آنجا که M میتواند هر عدد دلخواه بزرگی باشد، عبارت $ M + (L-1) $ نیز به دلخواه بزرگ میشود. پس حاصل جمع به سمت $ +\infty $ میل میکند. همین استدلال برای حالت $ -\infty $ با علامتهای مخالف تکرار میشود.
| رفتار تابع اول | رفتار تابع دوم | حد مجموع |
|---|---|---|
| $ +\infty $ | $ L $ (متناهی) | $ +\infty $ |
| $ -\infty $ | $ L $ (متناهی) | $ -\infty $ |
۳. مثالهای گامبهگام از مسائل واقعی
مثال ۱ (حد در بینهایت): حد $ \lim_{x \to 0^+} \left( \frac{1}{x} + \cos x \right) $ را بیابید.
$ \lim_{x \to 0^+} \frac{1}{x} = +\infty $ و $ \lim_{x \to 0^+} \cos x = 1 $، پس طبق قضیه، حد مجموع برابر $ +\infty $ است.
مثال ۲ (حد در نقطهٔ nاصفر):$ \lim_{x \to 2} \left( \frac{-3}{(x-2)^2} + (2x-1) \right) $ را محاسبه کنید.
چون $ \lim_{x \to 2} \frac{-3}{(x-2)^2} = -\infty $ (صورت ثابت منفی و مخرج مثبت به صفر) و $ \lim_{x \to 2} (2x-1) = 3 $، بنابراین حد مجموع برابر $ -\infty $ خواهد بود.
مثال ۳ با جدول عددی: تابع $ f(x) = \frac{1}{|x-1|} $ و $ g(x) = 4 $ را در نظر بگیرید. در $ x \to 1 $ مقادیر زیر را داریم:
| x | f(x) = 1/|x-1| | g(x)=4 | f(x)+g(x) |
|---|---|---|---|
| 1.1 | 10 | 4 | 14 |
| 1.01 | 100 | 4 | 104 |
| 1.001 | 1000 | 4 | 1004 |
همانطور که میبینید با نزدیک شدن به 1، مجموع به سرعت افزایش مییابد و به سمت $ +\infty $ میرود.
۴. کاربرد عملی در توابع گویا و مثلثاتی
یکی از کاربردهای رایج این قضایا در محاسبهٔ حد توابع گویا1 است. برای نمونه، تابع $ h(x) = \frac{1}{x-3} + \sin x $ را در $ x \to 3 $ در نظر بگیرید. جملهٔ اول به سمت بینهایت میرود (مثبت یا منفی بسته به جهت) و جملهٔ دوم بین $ -1 $ و $ 1 $ نوسان دارد، اما چون حد $ \sin x $ در x=3 برابر $ \sin 3 $ است (یک عدد حقیقی)، پس مجموع نیز به سمت $ \pm\infty $ میرود. همچنین در مسائل فیزیک، وقتی یک کمیت به سرعت افزایش مییابد (مانند سرعت در نزدیکی یک تکیهگاه) و کمیت دیگر ثابت است، مجموع رفتار ناپایدار همان کمیت بزرگ را خواهد داشت.
۵. چالشهای مفهومی
پرسش ۱: آیا اگر $ g(x) $ حد متناهی نداشته باشد بلکه به سمت $ +\infty $ برود، باز هم نتیجهٔ مجموع $ +\infty $ خواهد بود؟
پاسخ: بله، در این حالت مجموع دو تابع نامتناهی مثبت باز هم $ +\infty $ است، اما این حالت مشمول قضیهٔ ما نیست زیرا قضیه شرط میکند که تابع دوم حد متناهی داشته باشد. اگر هر دو به سمت بینهایت بروند، هنوز حد مجموع بینهایت است ولی اثبات متفاوتی دارد.
پرسش ۲: چه اتفاقی میافتد اگر $ L = -\infty $ باشد؟ یعنی تابع دوم به سمت بینهایت منفی برود و تابع اول به سمت $ +\infty $؟
پاسخ: این حالت مبهم است و به سرعت رشد دو تابع بستگی دارد. برای مثال $ f(x)=x $ و $ g(x)=-x $ در $ x \to +\infty $ حد مجموع صفر میشود، نه بینهایت. بنابراین قضیهٔ ما فقط زمانی معتبر است که یک حد متناهی و دیگری بینهایت باشد.
پرسش ۳: آیا شرط $ L $ متناهی بودن ضروری است؟ اگر $ g(x) $ حد نداشته باشد ولی کراندار باشد (مثل $ \sin(1/x) $) چه؟
پاسخ: در چنین حالتی نیز مجموع به سمت بینهایت میرود، زیرا جملهٔ بینهایت بر جملهٔ کراندار غلبه میکند. اما قضیهٔ کلاسیک حد معمولاً وجود حد متناهی را تضمین میکند و اثبات آن سادهتر است. برای توابع کراندار بدون حد، هنوز هم میتوان نتیجه گرفت که مجموع حد بینهایت دارد.
۶. جمعبندی
پاورقی
1 تابع گویا (Rational Function): تابعی است که به صورت نسبت دو چندجملهای نوشته میشود، مانند $ \frac{P(x)}{Q(x)} $ که $ Q(x) \neq 0 $.
2 حد متناهی (Finite Limit): زمانی که مقدار تابع به یک عدد حقیقی مشخص نزدیک میشود، نه به بینهایت.
3 همسایگی (Neighborhood): بازهای حول نقطهٔ a که در آن رفتار تابع بررسی میشود.