Namespaces
Variants
Actions

Difference between revisions of "Differential calculus"

From Encyclopedia of Mathematics
Jump to: navigation, search
(Importing text file)
 
m (MR/ZBL numbers added)
Line 236: Line 236:
  
 
====References====
 
====References====
<table><TR><TD valign="top">[1]</TD> <TD valign="top"> , ''The history of mathematics from Antiquity to the beginning of the XIX-th century'' , '''1–3''' , Moscow  (1970–1972)  (In Russian)</TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top">  K.A. Rybnikov,  "A history of mathematics" , '''1–2''' , Moscow  (1960–1963)  (In Russian)</TD></TR><TR><TD valign="top">[3]</TD> <TD valign="top">  H. Wieleitner,  "Die Geschichte der Mathematik von Descartes bis zum Hälfte des 19. Jahrhunderts" , de Gruyter  (1923)</TD></TR><TR><TD valign="top">[4]</TD> <TD valign="top">  D.J. Struik,  "A concise history of mathematics" , '''1–2''' , Dover, reprint  (1948)  (Translated from Dutch)</TD></TR><TR><TD valign="top">[5]</TD> <TD valign="top">  N. Bourbaki,  "Eléments d'histoire de mathématique" , Hermann  (1960)</TD></TR><TR><TD valign="top">[6]</TD> <TD valign="top">  M. Cantor,  "Vorlesungen über die Geschichte der Mathematik" , '''1–4''' , Teubner  (1900–1908)</TD></TR><TR><TD valign="top">[7]</TD> <TD valign="top">  I. Newton,  "The mathematical papers of I. Newton" , '''1–8''' , Cambridge Univ. Press  (1967–1981)</TD></TR><TR><TD valign="top">[8]</TD> <TD valign="top">  G. Leibniz,  "Mathematische Schriften" , '''1–7''' , G. Olms  (1971)</TD></TR><TR><TD valign="top">[9]</TD> <TD valign="top">  G.F. l'Hospital,  "Analyse des infiniment petits pour l'intellligence des lignes courbes" , Paris  (1696)</TD></TR><TR><TD valign="top">[10]</TD> <TD valign="top">  L. Euler,  "Einleitung in die Analysis des Unendlichen" , Springer  (1983)  (Translated from Latin)</TD></TR><TR><TD valign="top">[11]</TD> <TD valign="top">  L. Euler,  "Institutiones calculi differentialis"  G. Kowalewski (ed.) , ''Opera Omnia Ser. 1; opera mat.'' , '''10''' , Teubner  (1980)</TD></TR><TR><TD valign="top">[12]</TD> <TD valign="top">  A.L. Cauchy,  "Oeuvres II Série" , '''4–5''' , Gauthier-Villars  (1894–1903)</TD></TR><TR><TD valign="top">[13]</TD> <TD valign="top">  A.L. Cauchy,  "Algebraische Analyse" , Springer  (1885)  (Translated from French)</TD></TR><TR><TD valign="top">[14]</TD> <TD valign="top">  E. Goursat,  "Cours d'analyse mathématique" , '''1''' , Gauthier-Villars  (1910)</TD></TR><TR><TD valign="top">[15]</TD> <TD valign="top">  Ch.J. de la Valleé-Poussin,  "Cours d'analyse infinitésimales" , '''1''' , Libraire Univ. Louvain  (1923)</TD></TR><TR><TD valign="top">[16]</TD> <TD valign="top">  R. Courant,  "Differential and integral calculus" , '''1''' , Blackie  (1948)  (Translated from German)</TD></TR><TR><TD valign="top">[17]</TD> <TD valign="top">  W. Rudin,  "Principles of mathematical analysis" , McGraw-Hill  (1976)</TD></TR><TR><TD valign="top">[18]</TD> <TD valign="top">  V.A. Il'in,  E.G. Poznyak,  "Fundamentals of mathematical analysis" , '''1–2''' , MIR  (1982)  (Translated from Russian)</TD></TR><TR><TD valign="top">[19]</TD> <TD valign="top">  L.D. Kudryavtsev,  "Mathematical analysis" , '''1–2''' , Moscow  (1973)  (In Russian)</TD></TR><TR><TD valign="top">[20]</TD> <TD valign="top">  S.M. Nikol'skii,  "A course of mathematical analysis" , '''1–2''' , MIR  (1977)  (Translated from Russian)</TD></TR><TR><TD valign="top">[21]</TD> <TD valign="top">  G.P. Tolstov,  "Elements of mathematical analysis" , '''1–2''' , Moscow  (1974)  (In Russian)</TD></TR><TR><TD valign="top">[22]</TD> <TD valign="top">  V.I. Smirnov,  "A course of higher mathematics" , '''2''' , Addison-Wesley  (1964)  (Translated from Russian)</TD></TR><TR><TD valign="top">[23]</TD> <TD valign="top">  G.M. Fichtenholz,  "Differential und Integralrechnung" , '''1''' , Deutsch. Verlag Wissenschaft.  (1964)</TD></TR><TR><TD valign="top">[24]</TD> <TD valign="top">  A. Ya. Khinchin,  "Eight lectures on mathematical analysis" , Moscow-Leningrad  (1948)  (In Russian)</TD></TR></table>
+
<table><TR><TD valign="top">[1]</TD> <TD valign="top"> , ''The history of mathematics from Antiquity to the beginning of the XIX-th century'' , '''1–3''' , Moscow  (1970–1972)  (In Russian) {{MR|}} {{ZBL|}} </TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top">  K.A. Rybnikov,  "A history of mathematics" , '''1–2''' , Moscow  (1960–1963)  (In Russian) {{MR|}} {{ZBL|}} </TD></TR><TR><TD valign="top">[3]</TD> <TD valign="top">  H. Wieleitner,  "Die Geschichte der Mathematik von Descartes bis zum Hälfte des 19. Jahrhunderts" , de Gruyter  (1923) {{MR|}} {{ZBL|}} </TD></TR><TR><TD valign="top">[4]</TD> <TD valign="top">  D.J. Struik,  "A concise history of mathematics" , '''1–2''' , Dover, reprint  (1948)  (Translated from Dutch) {{MR|0026572}} {{ZBL|0032.09701}} </TD></TR><TR><TD valign="top">[5]</TD> <TD valign="top">  N. Bourbaki,  "Eléments d'histoire de mathématique" , Hermann  (1960) {{MR|0113788}} {{ZBL|}} </TD></TR><TR><TD valign="top">[6]</TD> <TD valign="top">  M. Cantor,  "Vorlesungen über die Geschichte der Mathematik" , '''1–4''' , Teubner  (1900–1908) {{MR|}}  {{ZBL|38.0001.01}}  {{ZBL|39.0002.02}}  {{ZBL|26.0001.01}}  {{ZBL|25.0001.02}} </TD></TR><TR><TD valign="top">[7]</TD> <TD valign="top">  I. Newton,  "The mathematical papers of I. Newton" , '''1–8''' , Cambridge Univ. Press  (1967–1981) {{MR|}} {{ZBL|}} </TD></TR><TR><TD valign="top">[8]</TD> <TD valign="top">  G. Leibniz,  "Mathematische Schriften" , '''1–7''' , G. Olms  (1971) {{MR|2490564}} {{MR|2490563}} {{MR|0141581}} {{MR|0141580}} {{MR|0141579}} {{MR|0141578}} {{MR|0141577}} {{MR|0141576}} {{MR|0141575}} {{ZBL|1202.01108}} {{ZBL|1155.01006}} {{ZBL|1038.01515}} {{ZBL|0866.01008}} {{ZBL|0728.01028}} </TD></TR><TR><TD valign="top">[9]</TD> <TD valign="top">  G.F. l'Hospital,  "Analyse des infiniment petits pour l'intellligence des lignes courbes" , Paris  (1696) {{MR|}} {{ZBL|}} </TD></TR><TR><TD valign="top">[10]</TD> <TD valign="top">  L. Euler,  "Einleitung in die Analysis des Unendlichen" , Springer  (1983)  (Translated from Latin) {{MR|0715928}} {{ZBL|0521.01031}} </TD></TR><TR><TD valign="top">[11]</TD> <TD valign="top">  L. Euler,  "Institutiones calculi differentialis"  G. Kowalewski (ed.) , ''Opera Omnia Ser. 1; opera mat.'' , '''10''' , Teubner  (1980) {{MR|2384378}} {{ZBL|}} </TD></TR><TR><TD valign="top">[12]</TD> <TD valign="top">  A.L. Cauchy,  "Oeuvres II Série" , '''4–5''' , Gauthier-Villars  (1894–1903) {{MR|}}  {{ZBL|44.0016.02}}  {{ZBL|39.0022.04}}  {{ZBL|34.0016.01}}  {{ZBL|19.0019.01}} </TD></TR><TR><TD valign="top">[13]</TD> <TD valign="top">  A.L. Cauchy,  "Algebraische Analyse" , Springer  (1885)  (Translated from French) {{MR|}} {{ZBL|}} </TD></TR><TR><TD valign="top">[14]</TD> <TD valign="top">  E. Goursat,  "Cours d'analyse mathématique" , '''1''' , Gauthier-Villars  (1910) {{MR|1296666}} {{MR|1296665}} {{MR|1296664}} {{MR|1519291}} {{ZBL|}} </TD></TR><TR><TD valign="top">[15]</TD> <TD valign="top">  Ch.J. de la Valleé-Poussin,  "Cours d'analyse infinitésimales" , '''1''' , Libraire Univ. Louvain  (1923) {{MR|}} {{ZBL|}} </TD></TR><TR><TD valign="top">[16]</TD> <TD valign="top">  R. Courant,  "Differential and integral calculus" , '''1''' , Blackie  (1948)  (Translated from German) {{MR|1009559}} {{MR|1009558}} {{MR|0364564}} {{MR|0364563}} {{MR|1524132}} {{MR|1523353}} {{ZBL|0635.26002}} {{ZBL|0635.26001}} {{ZBL|0224.26001}} {{ZBL|0018.30001}} {{ZBL|0011.05802}}  {{ZBL|63.0162.01}}  {{ZBL|62.1165.04}}  {{ZBL|60.0951.02}} </TD></TR><TR><TD valign="top">[17]</TD> <TD valign="top">  W. Rudin,  "Principles of mathematical analysis" , McGraw-Hill  (1976) {{MR|0385023}} {{ZBL|0346.26002}} </TD></TR><TR><TD valign="top">[18]</TD> <TD valign="top">  V.A. Il'in,  E.G. Poznyak,  "Fundamentals of mathematical analysis" , '''1–2''' , MIR  (1982)  (Translated from Russian) {{MR|}} {{ZBL|}} </TD></TR><TR><TD valign="top">[19]</TD> <TD valign="top">  L.D. Kudryavtsev,  "Mathematical analysis" , '''1–2''' , Moscow  (1973)  (In Russian) {{MR|1617334}} {{MR|1070567}} {{MR|1070566}} {{MR|1070565}} {{MR|0866891}} {{MR|0767983}} {{MR|0767982}} {{MR|0628614}} {{MR|0619214}} {{ZBL|1080.00002}} {{ZBL|1080.00001}} {{ZBL|1060.26002}} {{ZBL|0869.00003}} {{ZBL|0696.26002}} {{ZBL|0703.26001}} {{ZBL|0609.00001}} {{ZBL|0632.26001}} {{ZBL|0485.26002}} {{ZBL|0485.26001}} </TD></TR><TR><TD valign="top">[20]</TD> <TD valign="top">  S.M. Nikol'skii,  "A course of mathematical analysis" , '''1–2''' , MIR  (1977)  (Translated from Russian) {{MR|}} {{ZBL|0397.00003}} {{ZBL|0384.00004}} </TD></TR><TR><TD valign="top">[21]</TD> <TD valign="top">  G.P. Tolstov,  "Elements of mathematical analysis" , '''1–2''' , Moscow  (1974)  (In Russian) {{MR|0357695}} {{MR|0354961}} {{ZBL|}} </TD></TR><TR><TD valign="top">[22]</TD> <TD valign="top">  V.I. Smirnov,  "A course of higher mathematics" , '''2''' , Addison-Wesley  (1964)  (Translated from Russian) {{MR|0182690}} {{MR|0182688}} {{MR|0182687}} {{MR|0177069}} {{MR|0168707}} {{ZBL|0122.29703}} {{ZBL|0121.25904}} {{ZBL|0118.28402}} {{ZBL|0117.03404}} </TD></TR><TR><TD valign="top">[23]</TD> <TD valign="top">  G.M. Fichtenholz,  "Differential und Integralrechnung" , '''1''' , Deutsch. Verlag Wissenschaft.  (1964) {{MR|1191905}} {{MR|1056870}} {{MR|1056869}} {{MR|0887101}} {{MR|0845556}} {{MR|0845555}} {{MR|0524565}} {{MR|0473117}} {{MR|0344040}} {{MR|0344039}} {{MR|0238635}} {{MR|0238637}} {{MR|0238636}} {{ZBL|0143.27002}} </TD></TR><TR><TD valign="top">[24]</TD> <TD valign="top">  A. Ya. Khinchin,  "Eight lectures on mathematical analysis" , Moscow-Leningrad  (1948)  (In Russian) {{MR|}} {{ZBL|0131.05005}} </TD></TR></table>
  
  
Line 244: Line 244:
  
 
====References====
 
====References====
<table><TR><TD valign="top">[a1]</TD> <TD valign="top">  T.M. Apostol,  "Calculus" , '''1–2''' , Blaisdell  (1964)</TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top">  T.M. Apostol,  "Mathematical analysis" , Addison-Wesley  (1974)</TD></TR><TR><TD valign="top">[a3]</TD> <TD valign="top">  C.F. Boyer,  "A history of mathematics" , Wiley  (1968)</TD></TR><TR><TD valign="top">[a4]</TD> <TD valign="top">  B.D. Craven,  "Functions of several variables" , Chapman &amp; Hall  (1981)</TD></TR><TR><TD valign="top">[a5]</TD> <TD valign="top">  M. Spivak,  "Calculus on manifolds" , Benjamin/Cummings  (1965)</TD></TR><TR><TD valign="top">[a6]</TD> <TD valign="top">  J.A. Dieudonné,  "Foundations of modern analysis" , Acad. Press  (1960)  (Translated from French)</TD></TR></table>
+
<table><TR><TD valign="top">[a1]</TD> <TD valign="top">  T.M. Apostol,  "Calculus" , '''1–2''' , Blaisdell  (1964) {{MR|1908007}} {{MR|1182316}} {{MR|1182315}} {{MR|0595410}} {{MR|1536963}} {{MR|1535772}} {{MR|0271732}} {{MR|0248290}} {{MR|0247001}} {{MR|0261376}} {{MR|0250092}} {{MR|0236734}} {{MR|0236733}} {{MR|0214705}} {{MR|1532185}} {{MR|1531712}} {{MR|0087718}} {{ZBL|0123.25902}} </TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top">  T.M. Apostol,  "Mathematical analysis" , Addison-Wesley  (1974) {{MR|0344384}} {{ZBL|0309.26002}} </TD></TR><TR><TD valign="top">[a3]</TD> <TD valign="top">  C.F. Boyer,  "A history of mathematics" , Wiley  (1968) {{MR|0234791}} {{ZBL|0182.30401}} </TD></TR><TR><TD valign="top">[a4]</TD> <TD valign="top">  B.D. Craven,  "Functions of several variables" , Chapman &amp; Hall  (1981) {{MR|0636505}} {{ZBL|0485.26004}} </TD></TR><TR><TD valign="top">[a5]</TD> <TD valign="top">  M. Spivak,  "Calculus on manifolds" , Benjamin/Cummings  (1965) {{MR|0209411}} {{ZBL|0141.05403}} </TD></TR><TR><TD valign="top">[a6]</TD> <TD valign="top">  J.A. Dieudonné,  "Foundations of modern analysis" , Acad. Press  (1960)  (Translated from French) {{MR|0120319}} {{ZBL|0100.04201}} </TD></TR></table>

Revision as of 11:58, 27 September 2012

A branch of mathematics dealing with the concepts of derivative and differential and the manner of using them in the study of functions. The development of differential calculus is closely connected with that of integral calculus. Indissoluble is also their content. Together they form the base of mathematical analysis, which is extremely important in the natural sciences and in technology. The introduction of variable magnitudes into mathematics by R. Descartes was the principal factor in the creation of differential calculus. Differential and integral calculus were created, in general terms, by I. Newton and G. Leibniz towards the end of the 17th century, but their justification by the concept of limit was only developed in the work of A.L. Cauchy in the early 19th century. The creation of differential and integral calculus initiated a period of rapid development in mathematics and in related applied disciplines. Differential calculus is usually understood to mean classical differential calculus, which deals with real-valued functions of one or more real variables, but its modern definition may also include differential calculus in abstract spaces. Differential calculus is based on the concepts of real number; function; limit and continuity — highly important mathematical concepts, which were formulated and assigned their modern content during the development of mathematical analysis and during studies of its foundations. The central concepts of differential calculus — the derivative and the differential — and the apparatus developed in this connection furnish tools for the study of functions which locally look like linear functions or polynomials, and it is in fact such functions which are of interest, more than other functions, in applications.

Derivative.

Let a function be defined in some neighbourhood of a point . Let denote the increment of the argument and let denote the corresponding increment of the value of the function. If there exists a (finite or infinite) limit

then this limit is said to be the derivative of the function at ; it is denoted by , , , , . Thus, by definition,

The operation of calculating the derivative is called differentiation. If is finite, the function is called differentiable at the point . A function which is differentiable at each point of some interval is called differentiable in the interval.

Geometric interpretation of the derivative.

Let be the plane curve defined in an orthogonal coordinate system by the equation where is defined and is continuous in some interval ; let be a fixed point on , let () be an arbitrary point of the curve and let be the secant (Fig. a). An oriented straight line ( a variable point with abscissa ) is called the tangent to the curve at the point if the angle between the secant and the oriented straight line tends to zero as (in other words, as the point arbitrarily tends to the point ). If such a tangent exists, it is unique. Putting , , one obtains the equation for the angle between and the positive direction of the -axis (Fig. a).

Figure: d031850a

The curve has a tangent at the point if and only if exists, i.e. if exists. The equation is valid for the angle between the tangent and the positive direction of the -axis. If is finite, the tangent forms an acute angle with the positive -axis, i.e. ; if , the tangent forms a right angle with that axis (cf. Fig. b).

Figure: d031850b

Thus, the derivative of a continuous function at a point is identical to the slope of the tangent to the curve defined by the equation at its point with abscissa .

Mechanical interpretation of the derivative.

Let a point move in a straight line in accordance with the law . During time the point becomes displaced by . The ratio represents the average velocity during the time . If the motion is non-uniform, is not constant. The instantaneous velocity at the moment is the limit of the average velocity as , i.e. (on the assumption that this derivative in fact exists).

Thus, the concept of derivative constitutes the general solution of the problem of constructing tangents to plane curves, and of the problem of calculating the velocity of a rectilinear motion. These two problems served as the main motivation for formulating the concept of derivative.

A function which has a finite derivative at a point is continuous at this point. A continuous function need not have a finite nor an infinite derivative. There exist continuous functions having no derivative at any point of their domain of definition.

The formulas given below are valid for the derivatives of the fundamental elementary functions at any point of their domain of definition (exceptions are stated):

1) if , then ;

2) if , then ;

3) , (, if );

4) , , ; in particular, ;

5) , , , ;

6) ;

7) ;

8) ;

9) ;

10) , ;

11) , ;

12) ;

13) ;

14) ;

15) ;

16) ;

17) .

The following laws of differentiation are valid:

If two functions and are differentiable at a point , then the functions

are also differentiable at that point, and

Theorem on the derivative of a composite function: If the function is differentiable at a point , while the function is differentiable at a point , and if , then the composite function is differentiable at , and or, using another notation, .

Theorem on the derivative of the inverse function: If and are two mutually inverse increasing (or decreasing) functions, defined on certain intervals, and if exists (i.e. is not infinite), then at the point the derivative exists, or, in a different notation, . This theorem may be extended: If the other conditions hold and if also or , then, respectively, or .

One-sided derivatives.

If at a point the limit

exists, it is called the right-hand derivative of the function at (in such a case the function need not be defined everywhere in a certain neighbourhood of the point ; this requirement may then be restricted to ). The left-hand derivative is defined in the same way, as:

A function has a derivative at a point if and only if equal right-hand and left-hand derivatives exist at that point. If the function is continuous, the existence of a right-hand (left-hand) derivative at a point is equivalent to the existence, at the corresponding point of its graph, of a right (left) one-sided semi-tangent with slope equal to the value of this one-sided derivative. Points at which the semi-tangents do not form a straight line are called angular points or cusps (cf. Fig. c).

Figure: d031850c

Derivatives of higher orders.

Let a function have a finite derivative at all points of some interval; this derivative is also known as the first derivative, or the derivative of the first order, which, being a function of , may in its turn have a derivative , known as the second derivative, or the derivative of the second order, of the function , etc. In general, the -th derivative, or the derivative of order , is defined by induction by the equation , on the assumption that is defined on some interval. The notations employed along with are , , and, if , also , , , .

The second derivative has a mechanical interpretation: It is the acceleration of a point in rectilinear motion according to the law .

Differential.

Let a function be defined in some neighbourhood of a point and let there exist a number such that the increment may be represented as with as . The term in this sum is denoted by the symbol or and is named the differential of the function (with respect to the variable ) at . The differential is the principal linear part of increment of the function (its geometrical expression is the segment in Fig. a, where is the tangent to at the point under consideration).

The function has a differential at if and only if it has a finite derivative

at this point. A function for which a differential exists is called differentiable at the point in question. Thus, the differentiability of a function implies the existence of both the differential and the finite derivative, and . For the independent variable one puts , and one may accordingly write , i.e. the derivative is equal to the ratio of the differentials:

See also Differential.

The formulas and the rules for computing derivatives lead to corresponding formulas and rules for calculating differentials. In particular, the theorem on the differential of a composite function is valid: If a function is differentiable at a point , while a function is differentiable at a point and , then the composite function is differentiable at the point and , where . The differential of a composite function has exactly the form it would have if the variable were an independent variable. This property is known the invariance of the form of the differential. However, if is an independent variable, is an arbitrary increment, but if is a function, is the differential of this function which, in general, is not identical with its increment.

Differentials of higher orders.

The differential is also known as the first differential, or differential of the first order. Let have a differential at each point of some interval. Here is some number independent of and one may say, therefore, that . The differential is a function of alone, and may in turn have a differential, known as the second differential, or the differential of the second order, of , etc. In general, the -th differential, or the differential of order , is defined by induction by the equality , on the assumption that the differential is defined on some interval and that the value of is identical at all steps. The invariance condition for is generally not satisfied (with the exception where is a linear function).

The repeated differential of has the form

and the value of for is the second differential.

Principal theorems and applications of differential calculus.

The fundamental theorems of differential calculus for functions of a single variable are usually considered to include the Rolle theorem, the Legendre theorem (on finite variation), the Cauchy theorem, and the Taylor formula. These theorems underlie the most important applications of differential calculus to the study of properties of functions — such as increasing and decreasing functions, convex and concave graphs, finding the extrema, points of inflection, and the asymptotes of a graph (cf. Extremum; Point of inflection; Asymptote). Differential calculus makes it possible to compute the limits of a function in many cases when this is not feasible by the simplest limit theorems (cf. Indefinite limits and expressions, evaluations of). Differential calculus is extensively applied in many fields of mathematics, in particular in geometry.

Differential calculus of functions in several variables.

For the sake of simplicity the case of functions in two variables (with certain exceptions) is considered below, but all relevant concepts are readily extended to functions in three or more variables. Let a function be given in a certain neighbourhood of a point and let the value be fixed. will then be a function of alone. If it has a derivative with respect to at , this derivative is called the partial derivative of with respect to at ; it is denoted by , , , , , or . Thus, by definition,

where is the partial increment of the function with respect to (in the general case, must not be regarded as a fraction; is the symbol of an operation).

The partial derivative with respect to is defined in a similar manner:

where is the partial increment of the function with respect to . Other notations include , , , , and . Partial derivatives are calculated according to the rules of differentiation of functions of a single variable (in computing one assumes while if is calculated, one assumes ).

The partial differentials of at are, respectively,

where, as in the case of a single variable, , denote the increments of the independent variables.

The first partial derivatives and , or the partial derivatives of the first order, are functions of and , and may in their turn have partial derivatives with respect to and . These are named, with respect to the function , the partial derivatives of the second order, or second partial derivatives. It is assumed that

The following notations are also used instead of :

and instead of :

etc. One can introduce in the same manner partial derivatives of the third and higher orders, together with the respective notations: means that the function is to be differentiated times with respect to ; where means that the function is differentiated times with respect to and times with respect to . The partial derivatives of second and higher orders obtained by differentiation with respect to different variables are known as mixed partial derivatives.

To each partial derivative corresponds some partial differential, obtained by its multiplication by the differentials of the independent variables taken to the powers equal to the number of differentiations with respect to the respective variable. In this way one obtains the -th partial differentials, or the partial differentials of order :

The following important theorem on derivatives is valid: If, in a certain neighbourhood of a point , a function has mixed partial derivatives and , and if these derivatives are continuous at the point , then they coincide at this point.

A function is called differentiable at a point with respect to both variables and if it is defined in some neighbourhood of this point, and if its total increment

may be represented in the form

where and are certain numbers and for (provided that the point lies in this neighbourhood). In this context, the expression

is called the total differential (of the first order) of at ; this is the principal linear part of increment. A function which is differentiable at a point is continuous at that point (the converse proposition is not always true!). Moreover, differentiability entails the existence of finite partial derivatives

Thus, for a function which is differentiable at ,

or

if, as in the case of a single variable, one puts, for the independent variables, , .

The existence of finite partial derivatives does not, in the general case, entail differentiability (unlike in the case of functions in a single variable). The following is a sufficient criterion of the differentiability of a function in two variables: If, in a certain neighbourhood of a point , a function has finite partial derivatives and which are continuous at , then is differentiable at this point. Geometrically, the total differential is the increment of the applicate of the tangent plane to the surface at the point , where (cf. Fig. d).

Figure: d031850d

Total differentials of higher orders are, as in the case of functions of one variable, introduced by induction, by the equation

on the assumption that the differential is defined in some neighbourhood of the point under consideration, and that equal increments of the arguments , are taken at all steps. Repeated differentials are defined in a similar manner.

Derivatives and differentials of composite functions.

Let be a function in variables which is differentiable at each point of an open domain of the -dimensional Euclidean space , and let functions in variables be defined in an open domain of the -dimensional Euclidean space . Finally, let the point , corresponding to a point , be contained in . The following theorems then hold:

A) If the functions have finite partial derivatives with respect to , the composite function in also has finite partial derivatives with respect to , and

B) If the functions are differentiable with respect to all variables at a point , then the composite function is also differentiable at that point, and

where are the differentials of the functions . Thus, the property of invariance of the first differential also applies to functions in several variables. It does not usually apply to differentials of the second or higher orders.

Differential calculus is also employed in the study of the properties of functions in several variables: finding extrema, the study of functions defined by one or more implicit equations, the theory of surfaces, etc. One of the principal tools for such purposes is the Taylor formula.

The concepts of derivative and differential and their simplest properties, connected with arithmetical operations over functions and superposition of functions, including the property of invariance of the first differential, are extended, practically unchanged, to complex-valued functions in one or more variables, to real-valued and complex-valued vector functions in one or several real variables, and to complex-valued functions and vector functions in one or several complex variables. In functional analysis the ideas of the derivative and the differential are extended to functions of the points in an abstract space.

For the history of differential and integral calculus, see [1][6]. For studies by the founders and creators of differential and integral calculus, see [7][13]. For handbooks and textbooks of differential and integral calculus, see [14][24].

References

[1] , The history of mathematics from Antiquity to the beginning of the XIX-th century , 1–3 , Moscow (1970–1972) (In Russian)
[2] K.A. Rybnikov, "A history of mathematics" , 1–2 , Moscow (1960–1963) (In Russian)
[3] H. Wieleitner, "Die Geschichte der Mathematik von Descartes bis zum Hälfte des 19. Jahrhunderts" , de Gruyter (1923)
[4] D.J. Struik, "A concise history of mathematics" , 1–2 , Dover, reprint (1948) (Translated from Dutch) MR0026572 Zbl 0032.09701
[5] N. Bourbaki, "Eléments d'histoire de mathématique" , Hermann (1960) MR0113788
[6] M. Cantor, "Vorlesungen über die Geschichte der Mathematik" , 1–4 , Teubner (1900–1908) Zbl 38.0001.01 Zbl 39.0002.02 Zbl 26.0001.01 Zbl 25.0001.02
[7] I. Newton, "The mathematical papers of I. Newton" , 1–8 , Cambridge Univ. Press (1967–1981)
[8] G. Leibniz, "Mathematische Schriften" , 1–7 , G. Olms (1971) MR2490564 MR2490563 MR0141581 MR0141580 MR0141579 MR0141578 MR0141577 MR0141576 MR0141575 Zbl 1202.01108 Zbl 1155.01006 Zbl 1038.01515 Zbl 0866.01008 Zbl 0728.01028
[9] G.F. l'Hospital, "Analyse des infiniment petits pour l'intellligence des lignes courbes" , Paris (1696)
[10] L. Euler, "Einleitung in die Analysis des Unendlichen" , Springer (1983) (Translated from Latin) MR0715928 Zbl 0521.01031
[11] L. Euler, "Institutiones calculi differentialis" G. Kowalewski (ed.) , Opera Omnia Ser. 1; opera mat. , 10 , Teubner (1980) MR2384378
[12] A.L. Cauchy, "Oeuvres II Série" , 4–5 , Gauthier-Villars (1894–1903) Zbl 44.0016.02 Zbl 39.0022.04 Zbl 34.0016.01 Zbl 19.0019.01
[13] A.L. Cauchy, "Algebraische Analyse" , Springer (1885) (Translated from French)
[14] E. Goursat, "Cours d'analyse mathématique" , 1 , Gauthier-Villars (1910) MR1296666 MR1296665 MR1296664 MR1519291
[15] Ch.J. de la Valleé-Poussin, "Cours d'analyse infinitésimales" , 1 , Libraire Univ. Louvain (1923)
[16] R. Courant, "Differential and integral calculus" , 1 , Blackie (1948) (Translated from German) MR1009559 MR1009558 MR0364564 MR0364563 MR1524132 MR1523353 Zbl 0635.26002 Zbl 0635.26001 Zbl 0224.26001 Zbl 0018.30001 Zbl 0011.05802 Zbl 63.0162.01 Zbl 62.1165.04 Zbl 60.0951.02
[17] W. Rudin, "Principles of mathematical analysis" , McGraw-Hill (1976) MR0385023 Zbl 0346.26002
[18] V.A. Il'in, E.G. Poznyak, "Fundamentals of mathematical analysis" , 1–2 , MIR (1982) (Translated from Russian)
[19] L.D. Kudryavtsev, "Mathematical analysis" , 1–2 , Moscow (1973) (In Russian) MR1617334 MR1070567 MR1070566 MR1070565 MR0866891 MR0767983 MR0767982 MR0628614 MR0619214 Zbl 1080.00002 Zbl 1080.00001 Zbl 1060.26002 Zbl 0869.00003 Zbl 0696.26002 Zbl 0703.26001 Zbl 0609.00001 Zbl 0632.26001 Zbl 0485.26002 Zbl 0485.26001
[20] S.M. Nikol'skii, "A course of mathematical analysis" , 1–2 , MIR (1977) (Translated from Russian) Zbl 0397.00003 Zbl 0384.00004
[21] G.P. Tolstov, "Elements of mathematical analysis" , 1–2 , Moscow (1974) (In Russian) MR0357695 MR0354961
[22] V.I. Smirnov, "A course of higher mathematics" , 2 , Addison-Wesley (1964) (Translated from Russian) MR0182690 MR0182688 MR0182687 MR0177069 MR0168707 Zbl 0122.29703 Zbl 0121.25904 Zbl 0118.28402 Zbl 0117.03404
[23] G.M. Fichtenholz, "Differential und Integralrechnung" , 1 , Deutsch. Verlag Wissenschaft. (1964) MR1191905 MR1056870 MR1056869 MR0887101 MR0845556 MR0845555 MR0524565 MR0473117 MR0344040 MR0344039 MR0238635 MR0238637 MR0238636 Zbl 0143.27002
[24] A. Ya. Khinchin, "Eight lectures on mathematical analysis" , Moscow-Leningrad (1948) (In Russian) Zbl 0131.05005


Comments

See also Gâteaux derivative; Fréchet derivative; Schwarz differential for generalizations. There are many books treating the subject mentioned above. A few are given below.

References

[a1] T.M. Apostol, "Calculus" , 1–2 , Blaisdell (1964) MR1908007 MR1182316 MR1182315 MR0595410 MR1536963 MR1535772 MR0271732 MR0248290 MR0247001 MR0261376 MR0250092 MR0236734 MR0236733 MR0214705 MR1532185 MR1531712 MR0087718 Zbl 0123.25902
[a2] T.M. Apostol, "Mathematical analysis" , Addison-Wesley (1974) MR0344384 Zbl 0309.26002
[a3] C.F. Boyer, "A history of mathematics" , Wiley (1968) MR0234791 Zbl 0182.30401
[a4] B.D. Craven, "Functions of several variables" , Chapman & Hall (1981) MR0636505 Zbl 0485.26004
[a5] M. Spivak, "Calculus on manifolds" , Benjamin/Cummings (1965) MR0209411 Zbl 0141.05403
[a6] J.A. Dieudonné, "Foundations of modern analysis" , Acad. Press (1960) (Translated from French) MR0120319 Zbl 0100.04201
How to Cite This Entry:
Differential calculus. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Differential_calculus&oldid=18881
This article was adapted from an original article by G.P. Tolstov (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article