Part of a series about

Calculus




Definitions


Integration by








In calculus, the power rule is used to differentiate functions of the form f(x) = x^r, whenever r is a real number. Since differentiation is a linear operation on the space of differentiable functions, polynomials can also be differentiated using this rule.
Power rule
If f: \mathbb{R} \rightarrow \mathbb{R} is a function such that f(x) = x^r, and f is differentiable at x, then,

f'(x) = rx^{r1}
The power rule for integration, which states that

\int\! x^r \, dx=\frac{x^{r+1}}{r+1}+C
for any real number r \neq 1, may be derived by applying the Fundamental Theorem of Calculus to the power rule for differentiation.
Proof
To start, we should choose a working definition of the value of f(x) = x^r, where r is any real number. Although it is feasible to define the value as the limit of a sequence of rational powers that approach the irrational power whenever we encounter such a power, or as the least upper bound of a set of rational powers less than the given power, this type of definition is not amenable to differentiation. It is therefore preferable to use a functional definition, which is usually taken to be x^r = \exp(r\ln x) = e^{r\ln x} for all values of x > 0, where \exp is the natural exponential function and e is Euler's number.^{[1]}^{[2]} First, we may demonstrate that the derivative of f(x) = e^x is f'(x) = e^x.
If f(x) = e^x, then \ln (f(x)) = x, where \ln is the natural logarithm function, the inverse function of the exponential function, as demonstrated by Euler.^{[3]} Since the latter two functions are equal for all values of x > 0, their derivatives are also equal, whenever either derivative exists, so we have, by the Chain Rule,

\frac{1}{f(x)}\cdot f'(x) = 1
or f'(x)=f(x)=e^x, as was required. Therefore, applying the chain rule to f(x) = e^{r\ln x}, we see that

f'(x)=\frac{r}{x}e^{r\ln x}=\frac{r}{x}x^r
which simplifies to rx^{r1}.
When x < 0, we may use the same definition with x^r = ((1)(x))^r = (1)^r(x)^r, where we now have x > 0. This necessarily leads to the same result. Note that because (1)^r does not have a conventional definition when r is not a rational number, irrational power functions are not well defined for negative bases. In addition, as rational powers of 1 with even denominators (in lowest terms) are not real numbers, these expressions are only real valued for rational powers with odd denominators (in lowest terms).
Finally, whenever the function is differentiable at x = 0, the defining limit for the derivative is:

\lim_{h\to 0} \frac{h^r  0^r}{h}
which yields 0 only when r is a rational number with odd denominator (in lowest terms) and r > 1, and 1 when r = 1. For all other values of r, the expression h^r is not welldefined for h < 0, as was covered above, or is not a real number, so the limit does not exist as a realvalued derivative. For the two cases that do exist, the values agree with the value of the existing power rule at 0, so no exception need be made.
The exclusion of the expression 0^0 (the case x = 0) from our scheme of exponentiation is due to the fact that the function f(x, y) = x^y has no limit at (0,0), since x^0 approaches 1 as x approaches 0, while 0^y approaches 0 as y approaches 0. Thus, it would be problematic to ascribe any particular value to it, as the value would contradict one of the two cases, dependent on the application. It is traditionally left undefined.
History
The power rule for integrals was first demonstrated in a geometric form by Bonaventura Cavalieri in the early 17th century for all positive integer values of n, and during the mid 17th century for all rational powers by Fermat, Torricelli, Roberval, Wallis, and Pascal, each working independently. At the time, they were treatises on determining the area between the graph of a rational power function and the horizontal axis. With hindsight, however, it is considered the first general theorem of calculus to be discovered.^{[4]}
The power rule for differentiation was derived by Newton and Leibniz, each independently, for rational power functions in the mid 17th century, who both then used it to derive the power rule for integrals as the inverse operation. This mirrors the conventional way the related theorems are presented in modern basic calculus textbooks, where differentiation rules usually precede integration rules.^{[5]}
Although both men stated that their rules, demonstrated only for rational quantities, worked for all real powers, neither sought a proof of such, as at the time the applications of the theory were not concerned with such exotic power functions, and questions of convergence of infinite series were still ambiguous.
The unique case of r = 1 was resolved by Grégoire de SaintVincent and his student Alphonse Antonio de Sarasa in the mid 17th century, who demonstrated that the associated definite integral,

\int_1^x \frac{1}{t}\, dt
representing the area between the rectangular hyperbola xy = 1 and the xaxis, was a logarithmic function, whose base was eventually discovered to be the transcendental number e. The modern notation for the value of this definite integral is \ln(x), the natural logarithm.
Generalizations
Complex Power Functions
If we consider functions of the form f(z) = z^c where c is any complex number and z is a complex number in a slit complex plane that excludes the branch point of 0 and any branch cut connected to it, and we use the conventional multivalued definition z^c := \exp(c\ln z), then it is straightforward to show that, on each branch of the complex logarithm, the same argument used above yields a similar result: f'(z) = \frac{c}{z}\exp(c\ln z).^{[6]}
In addition, if c is a positive integer, then there is no need for a branch cut: one may define f(0) = 0, or define positive integral complex powers through complex multiplication, and show that f'(z) = cz^{c1} for all complex z, from the definition of the derivative and the binomial theorem.
However, due to the multivalued nature of complex power functions for noninteger exponents, one must be careful to specify the branch of the complex logarithm being used. In addition, no matter which branch is used, if c is not a positive integer, then the function is not differentiable at 0.
References

Larson, Ron; Hostetler, Robert P.; and Edwards, Bruce H. (2003). Calculus of a Single Variable: Early Transcendental Functions (3rd edition). Houghton Mifflin Company. ISBN 061822307X.
This article was sourced from Creative Commons AttributionShareAlike License; additional terms may apply. World Heritage Encyclopedia content is assembled from numerous content providers, Open Access Publishing, and in compliance with The Fair Access to Science and Technology Research Act (FASTR), Wikimedia Foundation, Inc., Public Library of Science, The Encyclopedia of Life, Open Book Publishers (OBP), PubMed, U.S. National Library of Medicine, National Center for Biotechnology Information, U.S. National Library of Medicine, National Institutes of Health (NIH), U.S. Department of Health & Human Services, and USA.gov, which sources content from all federal, state, local, tribal, and territorial government publication portals (.gov, .mil, .edu). Funding for USA.gov and content contributors is made possible from the U.S. Congress, EGovernment Act of 2002.
Crowd sourced content that is contributed to World Heritage Encyclopedia is peer reviewed and edited by our editorial staff to ensure quality scholarly research articles.
By using this site, you agree to the Terms of Use and Privacy Policy. World Heritage Encyclopedia™ is a registered trademark of the World Public Library Association, a nonprofit organization.