Cavalieri's quadrature formula

Last updated
Cavalieri's quadrature formula computes the area under the cubic curve, together with other higher powers. X cubed plot.svg
Cavalieri's quadrature formula computes the area under the cubic curve, together with other higher powers.

In calculus, Cavalieri's quadrature formula, named for 17th-century Italian mathematician Bonaventura Cavalieri, is the integral

Contents

and generalizations thereof. This is the definite integral form; the indefinite integral form is:

There are additional forms, listed below. Together with the linearity of the integral, this formula allows one to compute the integrals of all polynomials.

The term "quadrature" is a traditional term for area; the integral is geometrically interpreted as the area under the curve y = xn. Traditionally important cases are y = x2, the quadrature of the parabola, known in antiquity, and y = 1/x, the quadrature of the hyperbola, whose value is a logarithm.

Forms

Negative n

For negative values of n (negative powers of x), there is a singularity at x = 0, and thus the definite integral is based at 1, rather than 0, yielding:

Further, for negative fractional (non-integer) values of n, the power xn is not well-defined, hence the indefinite integral is only defined for positive x. However, for n a negative integer the power xn is defined for all non-zero x, and the indefinite integrals and definite integrals are defined, and can be computed via a symmetry argument, replacing x by x, and basing the negative definite integral at 1.

Over the complex numbers the definite integral (for negative values of n and x) can be defined via contour integration, but then depends on choice of path, specifically winding number – the geometric issue is that the function defines a covering space with a singularity at 0.

n = 1

There is also the exceptional case n = 1, yielding a logarithm instead of a power of x:

(where "ln" means the natural logarithm, i.e. the logarithm to the base e  = 2.71828...).

The improper integral is often extended to negative values of x via the conventional choice:

Note the use of the absolute value in the indefinite integral; this is to provide a unified form for the integral, and means that the integral of this odd function is an even function, though the logarithm is only defined for positive inputs, and in fact, different constant values of C can be chosen on either side of 0, since these do not change the derivative. The more general form is thus: [1]

Over the complex numbers there is not a global antiderivative for 1/x, due this function defining a non-trivial covering space; this form is special to the real numbers.

Note that the definite integral starting from 1 is not defined for negative values of a, since it passes through a singularity, though since 1/x is an odd function, one can base the definite integral for negative powers at 1. If one is willing to use improper integrals and compute the Cauchy principal value, one obtains which can also be argued by symmetry (since the logarithm is odd), so so it makes no difference if the definite integral is based at 1 or 1. As with the indefinite integral, this is special to the real numbers, and does not extend over the complex numbers.

Alternative forms

The integral can also be written with indexes shifted, which simplify the result and make the relation to n-dimensional differentiation and the n-cube clearer:

More generally, these formulae may be given as:

More generally:

Proof

The modern proof is to use an antiderivative: the derivative of xn is shown to be nxn1 – for non-negative integers. This is shown from the binomial formula and the definition of the derivative – and thus by the fundamental theorem of calculus the antiderivative is the integral. This method fails for as the candidate antiderivative is , which is undefined due to division by zero. The logarithm function, which is the actual antiderivative of 1/x, must be introduced and examined separately.

The derivative
(
x
n
)
'
=
n
x
n
-
1
{\displaystyle (x^{n})'=nx^{n-1}}
can be geometrized as the infinitesimal change in volume of the n-cube, which is the area of n faces, each of dimension n - 1.
Integrating this picture - stacking the faces - geometrizes the fundamental theorem of calculus, yielding a decomposition of the n-cube into n pyramids, which is a geometric proof of Cavalieri's quadrature formula. BinomialTheorem.png
The derivative can be geometrized as the infinitesimal change in volume of the n-cube, which is the area of n faces, each of dimension n  1.
Integrating this picture – stacking the faces – geometrizes the fundamental theorem of calculus, yielding a decomposition of the n-cube into n pyramids, which is a geometric proof of Cavalieri's quadrature formula.

For positive integers, this proof can be geometrized: [2] if one considers the quantity xn as the volume of the n-cube (the hypercube in n dimensions), then the derivative is the change in the volume as the side length is changed – this is xn1, which can be interpreted as the area of n faces, each of dimension n  1 (fixing one vertex at the origin, these are the n faces not touching the vertex), corresponding to the cube increasing in size by growing in the direction of these faces – in the 3-dimensional case, adding 3 infinitesimally thin squares, one to each of these faces. Conversely, geometrizing the fundamental theorem of calculus, stacking up these infinitesimal (n  1) cubes yields a (hyper)-pyramid, and n of these pyramids form the n-cube, which yields the formula. Further, there is an n-fold cyclic symmetry of the n-cube around the diagonal cycling these pyramids (for which a pyramid is a fundamental domain). In the case of the cube (3-cube), this is how the volume of a pyramid was originally rigorously established: the cube has 3-fold symmetry, with fundamental domain a pyramids, dividing the cube into 3 pyramids, corresponding to the fact that the volume of a pyramid is one third of the base times the height. This illustrates geometrically the equivalence between the quadrature of the parabola and the volume of a pyramid, which were computed classically by different means.

Alternative proofs exist – for example, Fermat computed the area via an algebraic trick of dividing the domain into certain intervals of unequal length; [3] alternatively, one can prove this by recognizing a symmetry of the graph y = xn under inhomogeneous dilation (by d in the x direction and dn in the y direction, algebraicizing the n dimensions of the y direction), [4] or deriving the formula for all integer values by expanding the result for n = 1 and comparing coefficients. [5]

History

Archimedes computed the area of parabolic segments in his The Quadrature of the Parabola. Parabolic Segment.svg
Archimedes computed the area of parabolic segments in his The Quadrature of the Parabola .

A detailed discussion of the history, with original sources, is given in ( Laubenbacher & Pengelley 1998 , Chapter 3, Analysis: Calculating Areas and Volumes); see also history of calculus and history of integration.

The case of the parabola was proven in antiquity by the ancient Greek mathematician Archimedes in his The Quadrature of the Parabola (3rd century BC), via the method of exhaustion. Of note is that Archimedes computed the area inside a parabola – a so-called "parabolic segment" – rather than the area under the graph y = x2, which is instead the perspective of Cartesian geometry. These are equivalent computations, but reflect a difference in perspective. The Ancient Greeks, among others, also computed the volume of a pyramid or cone, which is mathematically equivalent.

In the 11th century, the Islamic mathematician Ibn al-Haytham (known as Alhazen in Europe) computed the integrals of cubics and quartics (degree three and four) via mathematical induction, in his Book of Optics . [6]

The case of higher integers was computed by Cavalieri for n up to 9, using his method of indivisibles (Cavalieri's principle). [7] He interpreted these as higher integrals as computing higher-dimensional volumes, though only informally, as higher-dimensional objects were as yet unfamiliar. [8] This method of quadrature was then extended by Italian mathematician Evangelista Torricelli to other curves such as the cycloid, then the formula was generalized to fractional and negative powers by English mathematician John Wallis, in his Arithmetica Infinitorum (1656), which also standardized the notion and notation of rational powers – though Wallis incorrectly interpreted the exceptional case n = 1 (quadrature of the hyperbola) – before finally being put on rigorous ground with the development of integral calculus.

Prior to Wallis's formalization of fractional and negative powers, which allowed explicit functions these curves were handled implicitly, via the equations and (p and q always positive integers) and referred to respectively as higher parabolae and higher hyperbolae (or "higher parabolas" and "higher hyperbolas"). Pierre de Fermat also computed these areas (except for the exceptional case of 1) by an algebraic trick – he computed the quadrature of the higher hyperbolae via dividing the line into equal intervals, and then computed the quadrature of the higher parabolae by using a division into unequal intervals, presumably by inverting the divisions he used for hyperbolae. [9] However, as in the rest of his work, Fermat's techniques were more ad hoc tricks than systematic treatments, and he is not considered to have played a significant part in the subsequent development of calculus.

Of note is that Cavalieri only compared areas to areas and volumes to volumes – these always having dimensions, while the notion of considering an area as consisting of units of area (relative to a standard unit), hence being unitless, appears to have originated with Wallis; [10] [11] Wallis studied fractional and negative powers, and the alternative to treating the computed values as unitless numbers was to interpret fractional and negative dimensions.

The exceptional case of 1 (the standard hyperbola) was first successfully treated by Grégoire de Saint-Vincent in his Opus geometricum quadrature circuli et sectionum coni (1647), though a formal treatment had to wait for the development of the natural logarithm, which was accomplished by Nicholas Mercator in his Logarithmotechnia (1668).

Related Research Articles

Antiderivative Concept in calculus

In calculus, an antiderivative, inverse derivative, primitive function, primitive integral or indefinite integral of a function f is a differentiable function F whose derivative is equal to the original function f. This can be stated symbolically as F' = f. The process of solving for antiderivatives is called antidifferentiation, and its opposite operation is called differentiation, which is the process of finding a derivative. Antiderivatives are often denoted by capital Roman letters such as F and G.

Integral Operation in calculus

In mathematics, an integral assigns numbers to functions in a way that describes displacement, area, volume, and other concepts that arise by combining infinitesimal data. The process of finding integrals is called integration. Along with differentiation, integration is a fundamental operation of calculus, and serves as a tool to solve problems in mathematics and physics involving the area of an arbitrary shape, the length of a curve, and the volume of a solid, among others.

Logarithm Inverse of the exponential function, which maps products to sums

In mathematics, the logarithm is the inverse function to exponentiation. That means the logarithm of a given number x is the exponent to which another fixed number, the base b, must be raised, to produce that number x. In the simplest case, the logarithm counts the number of occurrences of the same factor in repeated multiplication; e.g., since 1000 = 10 × 10 × 10 = 103, the "logarithm base 10" of 1000 is 3, or log10(1000) = 3. The logarithm of x to baseb is denoted as logb(x), or without parentheses, logbx, or even without the explicit base, log x, when no confusion is possible, or when the base does not matter such as in big O notation.

Natural logarithm Logarithm to the base of the mathematical constant e

The natural logarithm of a number is its logarithm to the base of the mathematical constant e, where e is an irrational and transcendental number approximately equal to 2.718281828459. The natural logarithm of x is generally written as ln x, logex, or sometimes, if the base e is implicit, simply log x. Parentheses are sometimes added for clarity, giving ln(x), loge(x), or log(x). This is done particularly when the argument to the logarithm is not a single symbol, so as to prevent ambiguity.

In calculus, and more generally in mathematical analysis, integration by parts or partial integration is a process that finds the integral of a product of functions in terms of the integral of the product of their derivative and antiderivative. It is frequently used to transform the antiderivative of a product of functions into an antiderivative for which a solution can be more easily found. The rule can be thought of as an integral version of the product rule of differentiation.

Numerical integration Family of algorithms for finding the definite integral of a function

In analysis, numerical integration comprises a broad family of algorithms for calculating the numerical value of a definite integral, and by extension, the term is also sometimes used to describe the numerical solution of differential equations. This article focuses on calculation of definite integrals.

In calculus, integration by substitution, also known as u-substitution or change of variables, is a method for evaluating integrals and antiderivatives. It is the counterpart to the chain rule for differentiation, in fact, it can loosely be thought of as using the chain rule "backwards".

Multiplicative inverse

In mathematics, a multiplicative inverse or reciprocal for a number x, denoted by 1/x or x−1, is a number which when multiplied by x yields the multiplicative identity, 1. The multiplicative inverse of a fraction a/b is b/a. For the multiplicative inverse of a real number, divide 1 by the number. For example, the reciprocal of 5 is one fifth, and the reciprocal of 0.25 is 1 divided by 0.25, or 4. The reciprocal function, the function f(x) that maps x to 1/x, is one of the simplest examples of a function which is its own inverse.

Integration is the basic operation in integral calculus. While differentiation has straightforward rules by which the derivative of a complicated function can be found by differentiating its simpler component functions, integration does not, so tables of known integrals are often useful. This page lists some of the most common antiderivatives.

Improper integral Limit of a definite integral with as one or both limits approach infinity or values at which the integrand is undefined

In mathematical analysis, an improper integral is the limit of a definite integral as an endpoint of the interval(s) of integration approaches either a specified real number, , , or in some instances as both endpoints approach limits. Such an integral is often written symbolically just like a standard definite integral, in some cases with infinity as a limit of integration.

Integral test for convergence

In mathematics, the integral test for convergence is a method used to test infinite series of non-negative terms for convergence. It was developed by Colin Maclaurin and Augustin-Louis Cauchy and is sometimes known as the Maclaurin–Cauchy test.

Calculus, known in its early history as infinitesimal calculus, is a mathematical discipline focused on limits, continuity, derivatives, integrals, and infinite series. Isaac Newton and Gottfried Wilhelm Leibniz independently developed the theory of infinitesimal calculus in the later 17th century. By the end of the 17th century, each scholar claimed that the other had stolen his work, and the Leibniz–Newton calculus controversy continued until the death of Leibniz in 1716.

In calculus, symbolic integration is the problem of finding a formula for the antiderivative, or indefinite integral, of a given function f(x), i.e. to find a differentiable function F(x) such that

This is a summary of differentiation rules, that is, rules for computing the derivative of a function in calculus.

The integral of secant cubed is a frequent and challenging indefinite integral of elementary calculus:

A timeline of calculus and mathematical analysis.

The fundamental theorem of calculus is a theorem that links the concept of differentiating a function with the concept of integrating a function.

In calculus, the integral of the secant function can be evaluated using a variety of methods and there are multiple ways of expressing the antiderivative, all of which can be shown to be equivalent via trigonometric identities,

Most of the terms listed in Wikipedia glossaries are already defined and explained within Wikipedia itself. However, glossaries like this one are useful for looking up, comparing and reviewing large numbers of terms together. You can help enhance this page by adding new terms or writing definitions for existing ones.

References

  1. "Reader Survey: log|x| + C", Tom Leinster, The n-category Café, March 19, 2012
  2. ( Barth 2004 ), ( Carter & Champanerkar 2006 )
  3. See Rickey.
  4. ( Wildberger 2002 )
  5. ( Bradley 2003 )
  6. Victor J. Katz (1995), "Ideas of Calculus in Islam and India", Mathematics Magazine68 (3): 163–174 [165–9 & 173–4]
  7. ( Struik 1986 , pp. 215–216)
  8. ( Laubenbacher & Pengelley 1998 ) – see Informal pedagogical synopsis of the Analysis chapter for brief form
  9. See Rickey reference for discussion and further references.
  10. Ball, 281
  11. Britannica, 171

History

  • Cavalieri, Geometria indivisibilibus (continuorum nova quadam ratione promota) (Geometry, exposed in a new manner with the aid of indivisibles of the continuous), 1635.
  • Cavalieri, Exercitationes Geometricae Sex ("Six Geometrical Exercises"), 1647
    • in Dirk Jan Struik, editor, A source book in mathematics, 1200–1800 (Princeton University Press, Princeton, New Jersey, 1986). ISBN   0-691-08404-1, ISBN   0-691-02397-2 (pbk).
  • Mathematical expeditions: chronicles by the explorers, Reinhard Laubenbacher, David Pengelley, 1998, Section 3.4: "Cavalieri Calculates Areas of Higher Parabolas", pp. 123–127/128
  • A short account of the history of mathematics, Walter William Rouse Ball, "Cavalieri", p. 278–281
  • "Infinitesimal calculus", Encyclopaedia of Mathematics
  • The Britannica Guide to Analysis and Calculus, by Educational Britannica Educational, p. 171 – discusses Wallace primarily

Proofs