Question
A function with a blow-up at zero and a positive local minimum
Original question: Hi, I'm wondering if anyone on here knows of a function family that can meet these requirements (in the first quadrant): f(t) > 0 f(t) goes to infinity as t goes to 0 (from the right) f(t) goes to 0 as t goes to infinity f(t) has a local minimum in the first quadrant
Expert Verified Solution
Key concept: You want something positive on the first quadrant, large near , small for large , and with a dip somewhere in between. A rational function with a gentle polynomial factor can do that.
Step by step
One simple choice is
But this does not blow up as , so it misses the first condition.
A better example is
Check the conditions:
- for all because numerator and denominator are positive.
- As , the denominator while the numerator tends to , so .
- As , the exponential in the denominator dominates, so .
- A local minimum exists because the function is continuous on and its shape eventually decreases after an initial blow-up; differentiating confirms there is a turning point.
If you want a cleaner function with an easily checked minimum, a classic family is
It stays positive, blows up at , goes to at infinity, and has a local minimum near .
Pitfall alert
A lot of people pick or and stop there. Those do satisfy the first three conditions, but they do not automatically give a local minimum in the first quadrant. You need a function that actually bends downward and then upward, not just one that decreases all the way.
Try different conditions
If the local minimum requirement were removed, many more examples would work. For instance,
is positive and tends to 0 as , but it does not blow up near 0. If you keep the blow-up condition but want a simpler expression, then
works for the first, second, and third conditions, though it has no interior minimum on the first quadrant.
Further reading
asymptotic behavior, local minimum, function family
FAQ
What kind of function is positive, goes to infinity near 0, and tends to 0 at infinity?
A positive rational or rational-exponential function can work, for example f(t) = (1+t^2)/(t e^t) for t>0.
Why is a local minimum harder to guarantee?
Because the function must not only change from increasing to decreasing behavior, it must also stay positive and have the required end behavior.