Why the Domain Comes First
A power-rule calculation has two parts: finding a derivative formula and determining where that formula describes the derivative of the original function. The second part matters because negative powers and fractional powers are not defined for every real input.
For example, \(\sqrt{x}\) is real only when \(x\geq 0\), while \(1/x\) is undefined at \(x=0\). If these terms occur together, both restrictions apply. Differentiating without checking the domain can lead to an answer that appears to include inputs where the original function does not exist.
Domains of Rational Powers
Write a fractional exponent as \(p/q\) in lowest terms, with \(q>0\). The denominator \(q\) determines whether negative bases are allowed: odd roots of negative numbers are real, while even roots of negative numbers are not.
These rules give the following domains for nonzero rational exponents:
| Exponent | Domain of \(x^{p/q}\) |
|---|---|
| \(p>0\), \(q\) odd | All real numbers |
| \(p>0\), \(q\) even | \([0,\infty)\) |
| \(p<0\), \(q\) odd | All real numbers except \(0\) |
| \(p<0\), \(q\) even | \((0,\infty)\) |
For instance, \(x^{1/3}\) is defined for negative, zero, and positive \(x\), because its denominator is odd. In contrast, \(x^{1/2}\) requires \(x\geq 0\). The power \(x^{-1/3}\) allows negative inputs but excludes zero, and \(x^{-1/2}\) requires \(x>0\).
When the exponent is zero, a term \(x^0\) in a power-rule expression is treated as the constant \(1\). If the expression is read literally at \(x=0\), the notation \(0^0\) is undefined; in that case the point is excluded unless the function is explicitly defined there by an extension. For ordinary differentiation, it is usually clearer to simplify a zero-power term to the constant before evaluating.
Combining Restrictions in a Function
A sum is defined only where every term in it is defined. Thus, its domain is the intersection of the domains of its terms. The same requirement applies to a difference. A constant multiple does not add a new restriction, but it does not remove restrictions already present in the term.
There is a simple reason for this rule. At an input \(x\), the expression \(u(x)+v(x)\) has a real value only if both \(u(x)\) and \(v(x)\) have real values. Therefore \(x\) must belong to both domains. Conversely, if both terms are defined, their sum is defined. The same reasoning applies term by term to longer sums.
For a power \(x^r\), the power rule gives \(r x^{r-1}\) where the original power is differentiable. At any nonzero input in the domain of \(x^r\), the power-rule calculation is valid for the rational powers considered here. Zero requires separate attention: a negative exponent excludes it, and a fractional power may have it only as a boundary point or as a point where differentiability needs checking.
Worked Examples
Worked Example: A Negative Integer Power and a Square Root
Find the domain and derivative of \(f(x)=x^{-2}+3x^{1/2}\).
First consider the term \(x^{-2}=1/x^2\). Its denominator is zero at \(x=0\), so it is defined for \(x\ne 0\). Next, \(x^{1/2}\) is a square root, so it is defined for \(x\geq 0\). Intersecting these restrictions gives \(x>0\). Thus the domain of \(f\) is \((0,\infty)\).
Apply the power rule separately to the two terms. The derivative of \(x^{-2}\) is \((-2)x^{-3}\). The derivative of \(3x^{1/2}\) is \(3(1/2)x^{-1/2}\). Therefore, on the original domain,
Check at \(x=4\). The original function is \(f(4)=4^{-2}+3(4^{1/2})=1/16+6=97/16\). The derivative formula gives \(f'(4)=-2(4^{-3})+(3/2)(4^{-1/2})=-2/64+3/4=-1/32+24/32=23/32\). Both terms are defined at \(4\), as required.
Worked Example: An Odd-Denominator Fractional Power
Find the domain and derivative of \(g(x)=2x^{2/3}-x^{-1/3}\).
The denominator \(3\) is odd, so both powers allow negative inputs. The exponent \(-1/3\) is negative, so its term is undefined at \(x=0\). The exponent \(2/3\) does allow zero, but the sum must be defined term by term. The domain is therefore \(\mathbb{R}\setminus\{0\}\).
Differentiate each term using the power rule. The first term gives \(2(2/3)x^{2/3-1}=(4/3)x^{-1/3}\). The second term gives \(-(-1/3)x^{-1/3-1}=(1/3)x^{-4/3}\). Hence
Check at \(x=-1\), which is in the domain. Since \((-1)^{1/3}=-1\), we have \((-1)^{2/3}=1\) and \((-1)^{-1/3}=-1\). Thus \(g(-1)=2(1)-(-1)=3\). The derivative evaluates to \((4/3)(-1)+(1/3)(1)=-1\). The negative input is valid because the root denominator is odd, and neither derivative term is undefined there.
Worked Example: A Fractional Power at Its Endpoint
Find the domain of \(h(x)=x^{3/2}\) and state where the power-rule derivative applies.
The denominator \(2\) is even and the exponent is positive, so the domain is \([0,\infty)\). For \(x>0\), apply the power rule:
The input \(x=0\) is an endpoint of the domain, not an interior point. The ordinary two-sided derivative is not defined there because \(h\) has no values for negative inputs. A right-hand derivative can be computed: for \(t>0\), the difference quotient at zero is \((h(t)-h(0))/t=t^{3/2}/t=t^{1/2}\), which tends to \(0\) as \(t\) approaches \(0\) from the right. Thus the right-hand derivative is \(0\), matching the value of \((3/2)x^{1/2}\) at zero. This endpoint result does not change the fact that the usual derivative formula applies on the open interval \(x>0\).
As a check at \(x=4\), \(h(4)=4^{3/2}=8\), and the derivative formula gives \(h'(4)=(3/2)\sqrt{4}=3\). Both are real and defined at this interior input.
Power-Rule Domains and Zero
Zero deserves an explicit check because a power-rule derivative lowers the exponent by one. A term may be defined at zero while its derivative formula is not. For example, \(x^{1/2}\) is defined at zero, but its power-rule expression \((1/2)x^{-1/2}\) is not. This agrees with the fact that the square-root function does not have a finite right-hand derivative there.
For a positive rational exponent greater than \(1\), the power-rule expression can be defined at zero. Whether zero is an ordinary derivative point still depends on the domain. If the denominator is odd, the power is defined on both sides of zero; when the exponent is greater than \(1\), the derivative at zero is \(0\). If the denominator is even, the domain has zero as an endpoint, so the usual two-sided derivative is not available there, though a one-sided derivative may exist.
For negative exponents, zero is excluded from the original function. It remains excluded from the derivative, regardless of whether some term in a rewritten derivative expression could be simplified to a value there.
Common Mistake: Checking Only the Root
Consider \(f(x)=x^{1/2}+x^{-1/2}\). A common incorrect domain calculation is to notice that the square root requires \(x\geq 0\) and conclude that the domain is \([0,\infty)\). That overlooks the second term: \(x^{-1/2}=1/\sqrt{x}\), which is undefined at zero. The correct domain is \(x>0\), and the derivative is
A different error is to assume every fractional power requires a nonnegative base. That would wrongly exclude negative inputs from \(x^{-1/3}\). Since the root is a cube root, negative inputs are allowed; only zero must be excluded because the exponent is negative.
Write a fractional exponent as \(p/q\) in lowest terms with \(q>0\).
An even denominator requires a nonnegative base; an odd denominator allows negative bases.
If the exponent is negative, exclude zero.
A sum is defined only where every term is defined.
Use the power rule on the valid domain, then examine any endpoint separately.
Why These Checks Matter
Domain restrictions are part of the mathematical meaning of a function, not an optional detail attached to its formula. Keeping them visible prevents two common problems: claiming a derivative at an input where the original function does not exist, and discarding valid negative inputs when the root has odd degree.
The practical habit is simple: inspect every term before differentiating, combine all restrictions, and write the domain alongside the derivative formula. At zero, ask separately whether the original function is defined there and whether the derivative is an ordinary two-sided derivative or only a one-sided derivative at an endpoint.
Check Your Understanding
For each question, identify the relevant domain restriction before deciding where a derivative formula applies.
- What is the real domain of \(x^{-1/2}\), and which feature of the exponent determines it?
- What is the domain of \(x^{2/3}+x^{-4/3}\)? Explain why negative inputs are or are not allowed.
- Find the domain of \(x^{1/2}+x^{-3}\). Which term supplies the restriction at zero?
- For \(x^{5/2}\), where does the power-rule derivative apply as an ordinary derivative, and what kind of derivative can be considered at zero?
- Why must a derivative's domain remain restricted if the original function was undefined at an input?
