Fundamental theorem of analysis
The fundamental theorem of analysis, also known as the main theorem of differential and integral calculus (HDI), is a mathematical theorem that connects the two basic concepts of analysis , namely that of integration and that of differentiation . It says that deriving or integrating is the opposite of the other. The main theorem of differential and integral calculus consists of two parts, sometimes referred to as the first and second law of differential and integral calculus . The concrete formulation of the theorem and its proof vary depending on the structure of the integration theory under consideration. Here the Riemann integral is considered first.
History and reception
Already Isaac Barrow , the academic teacher Newton realized that area calculation (calculus) and tangent calculation (calculus) are inverse to each other in some ways, the law, however, he did not find. The first to publish this was James Gregory in Geometriae pars universalis in 1667 . The first to recognize both the connection and its fundamental importance were Isaac Newton and Gottfried Wilhelm Leibniz with their infinitesimal calculus . In the first notes on the fundamental theorem from 1666, Newton explained the theorem for any curve through the zero point , which is why he ignored the constant of integration. Newton only published this in 1686 in Philosophiae Naturalis Principia Mathematica . Leibniz found the sentence in 1677 and essentially wrote it down in today's notation.
The theorem received its modern form from Augustin Louis Cauchy , who was the first to develop a formal integral definition and a proof using the mean value theorem . This is contained in his continuation of the Cours d'Analyse from 1823. Cauchy also examined the situation in the complex and thus proved a number of central results of the theory of functions . In the course of the 19th century the extensions to higher dimensions were found. In 1902, Henri Léon Lebesgue extended the fundamental theorem to include discontinuous functions with the help of his Lebesgue integral.
In the 20th century, the mathematician Friedrich Wille set the main movement to music in the main movement cantata .
The first part of the theorem shows the existence of antiderivatives and the connection between derivative and integral:
If there is a real-valued continuous function on the closed interval , then the integral function is for all
differentiable and an antiderivative of , that is, holds for all .
The fact that the integral function is defined over the whole interval follows from the fact that the Riemann integral exists for every continuous function.
The second part of the sentence explains how integrals can be calculated:
If there is a continuous function with an antiderivative , then the Newton-Leibniz formula applies:
The proof of the theorem is not difficult, once the terms derivative and integral are given. The special achievement of Newton and Leibniz consists in the discovery of the statement and its relevance. For the first part only needs to be shown that the derivative of , given by , exists and is equal .
Be firm and with . Then:
According to the mean value theorem of integral calculus, there is a real number between and , so that
applies. Because of for and the continuity of it follows
d. i.e., the derivative of in exists and is . This part of the main theorem can also be proved without the mean value theorem, only by using continuity.
The proof of the second part is done by substitution: If one sets for the antiderivative given in the first part , then and and thus the theorem applies to this special antiderivative. All other antiderivatives differ from the one but only by a constant that disappears during subtraction. Thus the theorem is proven for all antiderivatives.
For a clear explanation we consider a particle that moves through space, described by the position function . The derivative of the position function with respect to time gives the velocity:
The position function is therefore an antiderivative of the velocity function . The main theorem now explains how the function itself can be recovered from the derivative of a function by integration. The above equation says that an infinitesimal change in time causes an infinitesimal change in location:
A change in location results from the sum of infinitesimal changes . According to the above equation, however, these are given as sums of the products of the derivative and infinitesimally small changes in time. The calculation of the integral of corresponds to exactly this process .
Calculation of integrals by antiderivatives
The main meaning of the fundamental theorem is that it reduces the computation of integrals to the determination of an antiderivative, if one exists at all.
- The completely defined function has the antiderivative . One thus obtains:
- The function defined on , the graph of which describes the edge of a unit semicircle, has the antiderivative
- The value is thus obtained for the area of half the unit circle
- thus the value for the area of the whole unit circle .
The last example shows how difficult it can be to simply guess antiderivatives of given functions. Occasionally this process extends the class of known functions. For example, the antiderivative of the function is not a rational function , but is related to the logarithm and is .
Derivation of integration rules
The connection between integral and derivative allows derivation rules , which can easily be inferred from the definition of the derivative, to be transferred to integration rules via the main clause. For example, the power rule can be used to write down integrals of power functions directly. Statements that apply to more general classes of functions are more interesting. Here, then results as the transfer of the product rule , the partial integration , which is therefore also called product integration, and from the chain rule , the substitution rule . Only then does a practicable method for finding antiderivatives and thus for calculating integrals provide.
Even in tables of antiderivatives created with these possibilities and in this way, there are integrands for which no antiderivative can be specified, although the integral exists. The calculation must then be carried out using other analysis tools, for example integration in the complex or numerically .
Generalizations of the main theorem
In its above form, the theorem is only valid for continuous functions, which means too strong a restriction. In fact, discontinuous functions can also have an antiderivative. For example, the theorem also applies to the rule or Cauchy integral, in which rule functions are examined. These have a left-hand and a right-hand limit value at each point, so they can have a large number of discontinuities. This function class is not yet sufficient either, so the main theorem for the very general Lebesgue integral follows here .
The main theorem for Lebesgue integrals
Is to be integrated Lebesgue , then for all the function
absolutely continuous (in particular, it can be differentiated almost everywhere ), and it is true almost everywhere.
Conversely, let the function on absolutely continuous. Then-is differentiable almost everywhere. If one defines as for all in which is differentiable and identical zero for the others , then it follows that Lebesgue is integrable with
The main theorem in the case of point-wise continuity
Furthermore, the fundamental theorem of analysis can also be formulated for functions that have only one place of continuity. To do this, be Lebesgue-integrable and continuous at the point . Then
in differentiable, and it holds . If or , the differentiability is to be understood one-sided.
The main clause in the complex
The main clause can also be transferred to curve integrals in the complex number plane. In contrast to real analysis, its meaning lies less in the statement itself and its meaning for the practical calculation of integrals, but in the fact that it follows three of the important theorems of function theory, namely the Cauchy's integral theorem and from it then the Cauchy's integral formula and the Residual theorem . It is these theorems that are used to calculate complex integrals.
Let be a complex curve with a parameter interval and a complex function on the open set that contains the closure of . Here is complex differentiable on and continuously on the conclusion of . Then
In particular, this integral is zero when is a closed curve. The proof simply reduces the integral to real integrals of the real part and the imaginary part and uses the real main theorem.
In abstract terms, the value of an integral on an interval depends only on the values of the antiderivative at the edge. This is generalized to higher dimensions by the Gaussian integral theorem, which connects the volume integral of the divergence of a vector field with an integral over the boundary.
It should be compact with sections smooth edge , the edge is oriented by an external field normal unit , further, the vector field is continuous on and continuously differentiable in the interior of . Then:
More generally, Stokes's theorem considers differential forms on manifolds. Let be an oriented -dimensional differentiable manifold with a smooth edge in sections with induced orientation . This is the case for most illustrative examples, such as the full sphere with a rim (sphere). Furthermore, let it be a continuously differentiable differential form of degree . Then applies
where denotes the Cartan derivative .
- CH Edwards Jr .: The Historical Development of the Calculus. Springer, New York 1979.
- Otto Forster : Analysis 1. Differential and integral calculus of a variable. 7th edition. Vieweg, Braunschweig 2004, ISBN 3-528-67224-2 .
- Harro Heuser: Textbook of Analysis. Part 1. 8th edition. BG Teubner, Stuttgart 1990, ISBN 3-519-12231-6 , in particular pp. 450-453, 462-463.
- Konrad Königsberger : Analysis 1. Springer, Berlin 2004, ISBN 3-540-41282-4 , in particular pp. 197-198.
- HA Priestley: Introduction to Complex Analysis. Revised edition. Oxford Science Publications, 1995.
- OA Hernandez Rodriguez, JM Lopez Fernandez: Teaching the Fundamental Theorem of Calculus: A Historical Reflection. In: Loci: Convergence. ( MAA ), January 2012.
- Lacroix, Sylvestre François: Introduction to the differential u. Integral calculation. Reimer, Berlin 1833 ( digitized version )
- G. Wittstock: main theorem of integral and differential calculation. Analysis-I-Script (Html), Saarland University.
- J. Cleven: Chapter 5 Integral Calculus. Analysis script, Dortmund University of Applied Sciences.
- Video: The "main sentence machine" - on the main law of differential and integral calculus . Institute for Scientific Film (IWF) 1983, made available by the Technical Information Library (TIB), doi : 10.3203 / IWF / C-1489 .
- ^ John J. O'Connor, Edmund F. Robertson : James Gregory. In: MacTutor History of Mathematics archive . .