Calculus I: Indeterminate Forms Beyond L'Hopital

You’ve mastered using L'Hopital's Rule to evaluate the classic $0/0$ and $\infty /\infty$ limits, but what happens when you encounter $0\cdot \infty$ or $1^{\infty }$? These forms are also indeterminate, meaning they can converge to any real number or infinity, and L'Hopital's Rule doesn't apply to them directly. To solve them, you need a toolkit of algebraic and logarithmic transformations that convert tricky expressions into a quotient where L'Hopital's Rule can be used. This systematic approach is essential for engineering analysis, where limits describe system stability, rates of decay, and resonant behavior.

Converting $0\cdot \infty$ into a Quotient Form

The expression $0\cdot \infty$ is indeterminate because an infinitesimally small value multiplied by an arbitrarily large one creates a competition. One quantity tries to pull the product to zero, the other to infinity. The result depends on their relative rates. The core strategy is to rewrite the product as a fraction, deliberately placing one factor in the numerator and the other in the denominator.

You have a choice: you can rewrite $f(x)\cdot g(x)$ as $\frac{f(x)}{1/g(x)}$ (which gives $0/0$) or as $\frac{g(x)}{1/f(x)}$ (which gives $\infty /\infty$). The correct choice is the one that leads to a simpler derivative after applying L'Hopital's Rule. A good rule of thumb is to move the more complicated, non-polynomial factor into the numerator.

Example: Evaluate ${\lim }_{x\to 0^{+}}x\cdot \ln (x)$. Here, $x\to 0$ and $\ln (x)\to -\infty$. We choose to rewrite it as: $$\underset{x\to 0^{+}}{\lim }\frac{\ln (x)}{1/x}$$ This now takes the $\infty /\infty$ form. Applying L'Hopital's Rule: $$\underset{x\to 0^{+}}{\lim }\frac{1/x}{-1/x^2}=\underset{x\to 0^{+}}{\lim }(-x)=0$$ Therefore, the function $x$ approaches zero faster than $\ln (x)$ approaches negative infinity, so their product converges to zero.

Resolving $\infty -\infty$ by Combining Fractions

The form $\infty -\infty$ often arises from algebraic combinations like separate fractions or differences of roots. The infinity symbols hide the fact that the two terms may be growing at different rates. The solution is to combine the expression into a single fraction through common denominators, rationalization, or factoring, which typically transforms it into a $0/0$ or $\infty /\infty$ form.

Example: Evaluate ${\lim }_{x\to 0}\left(\frac{1}{x}-\frac{1}{\sin (x)}\right)$. As $x\to 0$, both terms $\to \infty$. Combine over a common denominator: $$\underset{x\to 0}{\lim }\frac{\sin (x)-x}{x\sin (x)}$$ This is now a $0/0$ indeterminate form. Apply L'Hopital's Rule: $$\underset{x\to 0}{\lim }\frac{\cos (x)-1}{\sin (x)+x\cos (x)}$$ This is still $0/0$, so apply L'Hopital again: $$\underset{x\to 0}{\lim }\frac{-\sin (x)}{\cos (x)+\cos (x)-x\sin (x)}=\frac{0}{2+0}=0$$ The limit is zero, showing that the two functions diverge at essentially the same rate, with a subtle difference captured by the series expansions.

Tackling Exponential Forms: $0^0$, $1^{\infty }$, and ${\infty }^0$ via Logarithms

The exponential indeterminate forms $0^0$, $1^{\infty }$, and ${\infty }^0$ are perhaps the most subtle. They arise when you have a limit of an expression like $[f(x){]}^{g(x)}$. The base and exponent are both changing, creating a complex interplay. The universal strategy for these forms is to use the natural logarithm because it can bring the exponent down.

Let $L={\lim }_{x\to a}[f(x){]}^{g(x)}$. To evaluate it, you follow these steps:

1. Set $y=[f(x){]}^{g(x)}$.
2. Take the natural log of both sides: $\ln (y)=g(x)\cdot \ln (f(x))$.
3. Evaluate ${\lim }_{x\to a}\ln (y)={\lim }_{x\to a}[g(x)\cdot \ln (f(x))]$.

• This limit will often be one of the forms $0\cdot \infty$ (if it's $1^{\infty }$ or ${\infty }^0$) or $\infty \cdot 0$ (if it's $0^0$).
• Use the techniques from the previous sections to convert this product into a quotient and solve.

1. Once you find $\lim \ln (y)=K$, you recover the original limit: $L=e^K$.

Example ($1^{\infty }$): A classic form is ${\lim }_{x\to \infty }{\left(1+\frac{1}{x}\right)}^x$. Here, $f(x)\to 1$ and $g(x)\to \infty$. Let $y={\left(1+\frac{1}{x}\right)}^x$. Then, $\ln (y)=x\cdot \ln \left(1+\frac{1}{x}\right)$. As $x\to \infty$, this is $\infty \cdot 0$. Convert to a quotient: ${\lim }_{x\to \infty }\frac{\ln \left(1+\frac{1}{x}\right)}{1/x}$ (now $0/0$). Apply L'Hopital's Rule: $$\underset{x\to \infty }{\lim }\frac{\frac{1}{1+1/x}\cdot (-1/x^2)}{-1/x^2}=\underset{x\to \infty }{\lim }\frac{1}{1+1/x}=1$$ Thus, $\lim \ln (y)=1$, so the original limit is $L=e^1$.

A Systematic Approach to All Seven Indeterminate Forms

You now have a complete framework for handling the seven standard indeterminate forms. Your decision tree should be:

1. Identify the Form: $0/0$, $\infty /\infty$, $0\cdot \infty$, $\infty -\infty$, $0^0$, $1^{\infty }$, ${\infty }^0$.
2. Select the Transformation:

• For $0/0$ or $\infty /\infty$: Apply L'Hopital's Rule directly.
• For $0\cdot \infty$: Rewrite as a quotient (choose the simpler derivative).
• For $\infty -\infty$: Combine into a single fraction via algebra.
• For $0^0$, $1^{\infty }$, ${\infty }^0$: Take the natural log to get $g(x)\ln (f(x))$, which becomes a $0\cdot \infty$ problem. Solve, then exponentiate.

1. Iterate if Necessary: After transformation, you may get another indeterminate form. Simply repeat the process until you reach a determinate value.

The power of this system is that it reduces every indeterminate form to the basic $0/0$ or $\infty /\infty$ case where L'Hopital's Rule is effective. This logical workflow is critical for solving complex engineering limits involving growth rates, damping ratios, or probabilistic models.

Common Pitfalls

1. Misidentifying the Form: A limit like ${\lim }_{x\to 0}(1+x{)}^{1/x}$ is not $1^{\infty }$ simply because the base looks like 1. You must evaluate the limit of the base: ${\lim }_{x\to 0}(1+x)=1$, and the limit of the exponent is $\infty$, confirming it is $1^{\infty }$. Failing to check the limits of the base and exponent separately is a frequent error.

1. Inefficient Algebra for $\infty -\infty$: When facing ${\lim }_{x\to 1}\left(\frac{1}{\ln (x)}-\frac{1}{x-1}\right)$, hastily applying L'Hopital to each term separately is incorrect. You must combine them into a single fraction first. The most efficient path is often to find the common denominator before differentiating.

1. Forgetting the Final Exponentiation: After successfully finding that $\lim \ln (y)=2$ for a $1^{\infty }$ problem, the final answer is $e^2$, not $2$. Always remember that the logarithm was an intermediate step; you must convert back to the original function by exponentiating.

1. Applying L'Hopital to Non-Quotients: You cannot apply L'Hopital's Rule directly to $0\cdot \infty$ or $\infty -\infty$. The rule is formally defined only for quotients. Attempting to differentiate the numerator and denominator of an un-transformed difference or product is a fundamental misuse of the rule.

Summary

• The seven indeterminate forms are $0/0$, $\infty /\infty$, $0\cdot \infty$, $\infty -\infty$, $0^0$, $1^{\infty }$, and ${\infty }^0$. Each requires a specific algebraic strategy.
• Convert $0\cdot \infty$ to a quotient by rewriting $f\cdot g$ as either $\frac{f}{1/g}$ or $\frac{g}{1/f}$, choosing the version that simplifies differentiation.
• Resolve $\infty -\infty$ by combining terms into a single rational expression, typically through a common denominator or rationalization.
• Solve exponential forms ($0^0$, $1^{\infty }$, ${\infty }^0$) by taking the natural logarithm, which transforms the problem into a $0\cdot \infty$ case. After solving for the limit of the logarithm, exponentiate to find the final answer.
• Develop a systematic workflow: identify the form, apply the correct transformation to create a $0/0$ or $\infty /\infty$ quotient, then use L'Hopital's Rule. This methodical approach is essential for tackling advanced limits in engineering calculus.