Reciprocal Substitution For Limits At Infinity

Bringing Infinity to Zero

Limits at infinity describe the behavior of a function when its input becomes arbitrarily large in magnitude. A useful change of variable replaces that unbounded input with a variable close to zero: set \(t=1/x\). This turns questions about large positive or negative inputs into questions about a one-sided limit at zero.

The substitution is simple, but its direction matters. When \(x\) tends to positive infinity, \(1/x\) tends to zero through positive values. When \(x\) tends to negative infinity, \(1/x\) tends to zero through negative values. Replacing either case by an ordinary two-sided limit at zero can lose essential information.

The Reciprocal Substitution Precisely

For \(x>0\), the reciprocal \(t=1/x\) is positive. Moreover, larger positive values of \(x\) correspond to smaller positive values of \(t\). Thus \(x\to+\infty\) corresponds to \(t\to0^+\).

For \(x<0\), the reciprocal \(t=1/x\) is negative. As \(x\) decreases without bound, \(t\) approaches zero through negative values. Thus \(x\to-\infty\) corresponds to \(t\to0^-\).

In these statements, “sufficiently large” means that the function is defined on some entire tail of the relevant domain: \(x>A\) for positive infinity or \(x<-A\) for negative infinity, for some \(A>0\). The transformed function need only be defined on a corresponding punctured interval next to zero on the indicated side. The value at \(t=0\) is not required, because \(f(1/t)\) is not defined there.

Why the Direction Is Preserved

The equivalence follows directly from the definitions of limits. For a finite limit at positive infinity, the definition says that for every \(\varepsilon>0\), there is an \(M>0\) such that \(x>M\) implies \(|f(x)-L|<\varepsilon\). The corresponding definition of the right-hand limit at zero says that for every \(\varepsilon>0\), there is a \(\delta>0\) such that \(0<t<\delta\) implies \(|f(1/t)-L|<\varepsilon\).

For the positive case, the choices \(\delta=1/M\) and \(M=1/\delta\) translate the same closeness condition in either direction. For the negative case, the inequalities reverse when taking reciprocals of negative numbers, giving the corresponding left-hand interval. In both cases the function value is unchanged under the substitution, since \(f(x)=f(1/t)\) when \(t=1/x\). This proves both equivalences.

Worked Examples

A Common Sign Error

A frequent mistake is to treat \(\sqrt{x^2}\) as \(x\) for every real \(x\). The correct identity is \(\sqrt{x^2}=|x|\). For negative \(x\), this means \(\sqrt{x^2}=-x\), not \(x\).

Another error is to write \(t\to0\) without specifying a side. The transformed expression may have different behavior on the two sides, or may be defined on only one side. Keep the direction in every step, even if the algebraic expression itself looks familiar.

When the Substitution Is Useful

The reciprocal substitution is a change of viewpoint, not a requirement that every limit at infinity be solved this way. It is useful when rewriting the expression in powers of \(t\), or in terms of a function of \(t\), makes a known finite limit near zero easier to evaluate. If a finite limit law is used after substitution, its conditions still matter: for example, a quotient limit can be evaluated by dividing the limits only when the denominator limit is nonzero.

The method also provides a systematic way to check signs in expressions involving \(x\), \(|x|\), or square roots of expressions containing \(x^2\). Factoring out \(x^2\) inside a square root introduces \(\sqrt{x^2}=|x|\); the sign of \(x\) then determines the sign of the reciprocal factor. Keeping \(t\to0^+\) or \(t\to0^-\) visible makes that information harder to overlook.

In short, the substitution translates the input direction exactly: positive infinity becomes the right side of zero, and negative infinity becomes the left side. Once this translation is correct, the remaining work is a finite one-sided limit in the new variable.