Why Classify a Variable Power?
A variable power has the form \(f(x)^{g(x)}\), where both the base \(f(x)\) and the exponent \(g(x)\) may change as \(x\) approaches a point or tends to infinity. Before trying to evaluate its limit, examine the limits of these two parts separately. Their limiting behavior tells you whether the expression has a familiar indeterminate form and whether logarithms are an appropriate tool.
This classification is a diagnostic step, not a method for finding the final limit. The same form can arise in different problems, and the form alone does not determine the limit. In particular, seeing a base tend to zero, one, or infinity is not enough: the exponent matters too.
Read the Base and Exponent Separately
To classify \(f(x)^{g(x)}\), first identify \(f(x)\) as the base and \(g(x)\) as the exponent. Then find the limit of each as \(x\) approaches the specified endpoint. For the real logarithmic method used with variable powers, the base must be positive in a punctured neighborhood of that endpoint: there must be an interval close to the endpoint, excluding the endpoint itself if necessary, on which \(f(x)>0\).
When the base is positive nearby, the three principal indeterminate power forms are recognized as follows. Here \(x\to a\) can mean a one-sided limit when the domain requires it; \(\infty\) denotes a quantity tending to positive infinity.
| Limit of the base | Limit of the exponent | Form to classify |
|---|---|---|
| \(f(x)\to 0^+\) | \(g(x)\to 0\) | \(0^0\) |
| \(f(x)\to 1\) | \(g(x)\to+\infty\) | \(1^\infty\) |
| \(f(x)\to+\infty\) | \(g(x)\to 0\) | \(\infty^0\) |
The notation \(0^+\) emphasizes that a real base approaching zero must approach through positive values for the usual real-valued logarithmic transformation to apply. Some texts also use \(1^{-\infty}\) for a base tending to one and an exponent tending to negative infinity; the same diagnostic issue arises, and the base still needs to be positive nearby.
Not every variable power has one of these forms. For example, if the base tends to a positive number other than one and the exponent tends to a finite real number, the limiting form is not one of the three listed above. Similarly, a base tending to zero with an exponent tending to a positive number is not the form \(0^0\). Classify what the limits actually say; do not force them into a familiar label.
Worked Example: A Base Approaching Zero
Worked Example: Classifying a Zero-to-Zero Form
Classify the form of \((x-2)^{x-2}\) as \(x\to2^+\). The right-hand limit matters because \(x-2\) must be positive for the real logarithm to be defined.
The base is \(f(x)=x-2\). As \(x\to2^+\), \(x-2\to0\), and \(x>2\) ensures \(x-2>0\). Thus \(f(x)\to0^+\).
The exponent is \(g(x)=x-2\) as well, so \(g(x)\to0\). The separate limits are therefore base \(0^+\) and exponent \(0\).
Classification: the expression has the indeterminate form \(0^0\). This classification does not evaluate the limit of the power.
Check: substituting the separate limiting values into the form notation gives \(0^0\), as required by the classification table.
Worked Example: A Base Approaching One
Worked Example: Classifying a One-to-Infinity Form
Classify \(\left(1+\frac{1}{x}\right)^x\) as \(x\to+\infty\).
The base is \(f(x)=1+\frac{1}{x}\). Since \(\frac{1}{x}\to0\), the base tends to \(1+0=1\). For \(x>0\), \(\frac{1}{x}>0\), so the base is positive near the endpoint.
The exponent is \(g(x)=x\), which tends to \(+\infty\). Thus the base tends to one while the exponent tends to positive infinity.
Classification: the expression has the indeterminate form \(1^\infty\). The base limit of one does not by itself give the limit of the entire power.
Check: the two component limits are \(f(x)\to1\) and \(g(x)\to+\infty\), matching the \(1^\infty\) row.
Worked Example: A Base Approaching Infinity
Worked Example: Classifying an Infinity-to-Zero Form
Classify \(x^{1/\ln x}\) as \(x\to+\infty\).
The base is \(f(x)=x\), so \(f(x)\to+\infty\). For \(x>0\), this base is positive.
The exponent is \(g(x)=\frac{1}{\ln x}\). As \(x\to+\infty\), \(\ln x\to+\infty\), so its reciprocal tends to zero. Hence \(g(x)\to0\).
Classification: the expression has the indeterminate form \(\infty^0\).
Check: the separate limits are base \(+\infty\) and exponent \(0\), which match the \(\infty^0\) row.
Why Logarithms Fit These Forms
For a positive real number \(u\) and a real number \(v\), the real power \(u^v\) can be written as \(\exp(v\ln u)\). This identity explains why taking a logarithm is a natural way to study a variable power: it replaces the power with a product involving the exponent and the logarithm of the base.
Here is the justification. By the definition of a real power with positive base, \(u^v=\exp(v\ln u)\). Applying this identity pointwise with \(u=f(x)>0\) and \(v=g(x)\) gives the displayed equality. Equivalently, taking the natural logarithm of both positive sides gives \(\ln(f(x)^{g(x)})=g(x)\ln f(x)\). Thus logarithms convert the variable power into an expression whose behavior can be studied as a product.
Verify that \(f(x)>0\) on a sufficiently small punctured neighborhood of the endpoint before using a real logarithm.
Determine the limits of \(f(x)\) and \(g(x)\), and match them to a power form if appropriate.
For positive base, the logarithm of the power is \(g(x)\ln f(x)\). This is the expression to analyze when a logarithmic transformation is used.
The first step is not optional. If the base is negative, a real power with an arbitrary real exponent need not be defined, and \(\ln f(x)\) is not a real number. If the base equals zero at the endpoint but is positive nearby, the logarithm can still be used for points in that nearby domain; it is the values near the endpoint, not the endpoint value itself, that matter.
Indeterminate Is a Classification, Not an Answer
An indeterminate form means that the separate limits do not settle the limit of the combined expression. It does not mean that the expression has no limit, and it does not say that its limit must be zero, one, or infinity. The logarithmic identity provides an appropriate framework for further analysis when the base is positive, but classifying the form is only the first decision.
Other combinations of base and exponent limits should not be mislabeled. For instance, if the base tends to zero and the exponent tends to a positive finite number, the form is \(0^c\) for some \(c>0\), not \(0^0\). If the base tends to a finite positive number other than one and the exponent tends to a finite number, neither the base nor the exponent has the limiting behavior required for the three indeterminate forms in the table.
Common Pitfall: Looking at Only One Component
A frequent error is to decide the behavior of the entire power from the base alone. For example, a student may examine \(\left(1+\frac{1}{x}\right)^x\) and reason, “The base tends to one, so the power tends to one.” That conclusion ignores the exponent: \(x\to+\infty\), not to a finite constant. The correct classification uses both limits, \(f(x)\to1\) and \(g(x)\to+\infty\), and identifies the form \(1^\infty\). No value for the limit follows from that classification alone.
The reverse error is also possible. From \(x^{1/\ln x}\), one might focus on \(x\to+\infty\) and conclude that the power must tend to infinity. But its exponent tends to zero. The proper classification is \(\infty^0\), which again requires further analysis before a limit can be asserted.
Check Your Understanding
For each expression, identify its base and exponent, determine their separate limits, and state whether the resulting form is one of \(0^0\), \(1^\infty\), or \(\infty^0\). Do not evaluate the power limit.
- Classify \((3-x)^{3-x}\) as \(x\to3^-\). Why is a one-sided limit relevant?
- Classify \(\left(1+\frac{2}{x}\right)^{x^2}\) as \(x\to+\infty\).
- Classify \(x^{1/x}\) as \(x\to+\infty\).
- For which condition on a variable base is the real identity \(f(x)^{g(x)}=\exp(g(x)\ln f(x))\) available near the endpoint?
- A student says a power must tend to one because its base tends to one. What additional information is needed before classifying the form?
