differential

differential
Name	Differential
Field	Calculus, Differential Geometry, Analysis
Introduced	17th century
Notable figures	Isaac Newton, Gottfried Wilhelm Leibniz, Augustin-Louis Cauchy

differential

A differential is a mathematical object used to describe infinitesimal change of quantities in analysis and geometry. It appears in the work of Isaac Newton, Gottfried Wilhelm Leibniz, Augustin-Louis Cauchy, and later in formulations by Bernhard Riemann, Élie Cartan, and Sofia Kovalevskaya. Differentials bridge local linear approximations in Leonhard Euler's calculus, coordinate expressions in Carl Gustav Jacob Jacobi's work, and modern treatments in the theories of André Weil and Sergei Sobolev.

Definition and Terminology

In classical calculus the differential of a function at a point is defined via a linear map approximating finite change, a viewpoint developed by Augustin-Louis Cauchy and formalized by Karl Weierstrass. In coordinate-based language the differential of a scalar function f at x is a covector in the cotangent space, a concept used by Élie Cartan and exploited in the formulations of Hermann Weyl and Marcel Berger. Terminology varies: early writers like Gottfried Leibniz used notation "dx" and "dy", while later expositors such as Henri Poincaré and Felix Klein discussed differentials as basis elements of differential forms.

Mathematical Formulation

For a map between Euclidean spaces the differential at a point is given by the Jacobian matrix, a construction central to Carl Friedrich Gauss's surface theory and to the implicit function theorem as treated by Augustin-Louis Cauchy and Bernhard Riemann. In modern language, if f: U -> V is smooth between manifolds modeled on charts of Sophus Lie's theory, the differential df_x is a linear map T_xU -> T_{f(x)}V, used extensively by Élie Cartan in moving-frame methods. On R^n the differential corresponds to the gradient vector for scalar functions via identification by the Euclidean metric, a perspective cultivated by James Clerk Maxwell in physical applications.

Properties and Operations

Differentials are linear and obey the chain rule, a principle formalized in proofs by Augustin-Louis Cauchy and extended in multilinear algebra by Hermann Grassmann. The exterior derivative, introduced by Élie Cartan, acts on differential forms and satisfies d^2 = 0, a feature central to de Rham cohomology developed by Georges de Rham and later used by Jean-Pierre Serre and Alexander Grothendieck. Pullback and pushforward operations for differentials are fundamental in the transformation rules studied by Bernhard Riemann and employed by Élie Cartan and Sophus Lie in symmetry analysis. Linearity, locality, and functoriality under diffeomorphisms are standard properties emphasized in textbooks influenced by John Milnor and Michael Spivak.

Applications in Calculus and Differential Geometry

Differentials underpin the formulation of integrals via substitution rules used by Joseph-Louis Lagrange and later in measure-theoretic contexts refined by Henri Lebesgue. In differential geometry, differentials define cotangent bundles and canonical one-forms central to Hamiltonian mechanics as developed by William Rowan Hamilton and later by Vladimir Arnold. Geodesic equations, curvature tensors, and connections in the sense of Elie Cartan and Élie Cartan's followers rely on differential operators; applications span from Albert Einstein's general relativity to modern gauge theories explored by Chen Ning Yang and Murray Gell-Mann. In analysis, differentials are used in formulating Sobolev spaces in work by Sergei Sobolev and in PDE theory advanced by Sofia Kovalevskaya and David Hilbert.

Historical Development and Notation

Leibniz introduced the differential notation dx, dy in the 17th century contemporaneously with Newton's fluxions; the subsequent rigorous grounding was pursued by Augustin-Louis Cauchy and Karl Weierstrass in the 19th century. The 20th century saw a shift from infinitesimal heuristics to manifold-based formalism via contributions from Bernhard Riemann, Élie Cartan, and the algebraic reformulations of André Weil and Henri Cartan. Notational conventions evolved through texts by George Boole, Joseph Fourier, and modern expositors such as Michael Spivak and Tom M. Apostol.

Generalizations and Related Concepts

Generalizations include differential forms introduced by Élie Cartan, distributions and currents used by Laurent Schwartz, and nonstandard analysis’ infinitesimals formalized by Abraham Robinson. The concept extends to jets and jet bundles in the work of Charles Ehresmann and to derived differentials in Alexander Grothendieck's algebraic geometry, including Kähler differentials central to scheme theory developed by Grothendieck and Jean-Pierre Serre. Cohomological and homological perspectives connect differentials to spectral sequences and de Rham theory as investigated by Henri Cartan, Georges de Rham, and Raoul Bott.

Category:Calculus