Calculus
Calculus is the branch of mathematics concerned with quantities whose values vary continuously. Its two principal divisions are differential calculus, which studies local rates of change, and integral calculus, which studies accumulation over intervals. The fundamental theorem of calculus establishes that differentiation and integration are inverse operations under appropriate conditions, thereby unifying problems involving tangents, motion, area, and total change.
Modern calculus is formulated through limits, functions, and the structure of the real numbers. Its methods extend beyond functions of one real variable to multivariable calculus, vector calculus, differential geometry, and functional analysis. Calculus also supplies the mathematical language for much of classical mechanics, field theory, probability, economics, and the quantitative sciences.
Conceptual foundations
A real-valued function assigns an output (f(x)) to each permitted input (x). Calculus examines how this output behaves when the input undergoes an arbitrarily small change, without treating an arbitrarily small quantity as an ordinary nonzero number.
The relevant concept is the limit. The statement
[ \lim_{x\to a} f(x)=L ]
means that (f(x)) can be made arbitrarily close to (L) by restricting (x) sufficiently close to (a), apart from any separate requirement on the value (f(a)). In the standard (\varepsilon)-(\delta) formulation, for every (\varepsilon>0), there exists a (\delta>0) such that
[ 0<|x-a|<\delta \quad\Longrightarrow\quad |f(x)-L|<\varepsilon. ]
This formulation separates the local behavior of a function from its value at a single point. It also provides the basis for precise definitions of continuity, differentiation, integration, and convergence.
A function is continuous at (a) when
[ \lim_{x\to a}f(x)=f(a). ]
Continuity therefore expresses compatibility between the limiting behavior near a point and the assigned value at that point. Differentiability is a stronger local property: every differentiable real function is continuous at the point of differentiation, although a continuous function need not be differentiable there.
Differential calculus
The derivative of (f) at (a) is defined by the limit
[ f'(a)=\lim_{h\to 0}\frac{f(a+h)-f(a)}{h}, ]
provided that this limit exists. The quotient before the limit is a secant slope and represents an average rate of change over a nonzero interval. Its limit, when defined, is the slope of the tangent line to the graph at ((a,f(a))) and the instantaneous rate at which the dependent variable changes with respect to the independent variable.
For a differentiable function (f), the derivative may itself be regarded as a function (f'). Repeated differentiation produces higher derivatives such as (f''), which measures the rate of change of (f'). In mechanics, if (s(t)) denotes position as a function of time, then (s'(t)) is velocity and (s''(t)) is acceleration.
The derivative is linear:
[ (af+bg)'=af'+bg' ]
for constants (a) and (b). Products and compositions satisfy, respectively,
[ (fg)'=f'g+fg' ]
and
[ (f\circ g)'(x)=f'(g(x))g'(x). ]
The latter identity is the chain rule, which describes how local rates combine when one varying quantity depends on another through an intermediate function.
Differentiation converts local geometric or physical conditions into algebraic relations. At an interior local maximum or minimum of a differentiable function, the derivative is zero, although the converse does not hold without further information. The sign of (f') determines intervals of increase and decrease, while the sign of (f'') describes local concavity when the second derivative exists.
Integral calculus
The definite integral formalizes accumulation. For a bounded function (f) on ([a,b]), a partition divides the interval into subintervals. A Riemann sum has the form
[ \sum_{i=1}^{n} f(x_i^*),\Delta x_i, ]
where (\Delta x_i) is the width of the (i)-th subinterval and (x_i^*) is a selected point within it. If these sums approach a common value as the largest subinterval width tends to zero, then (f) is Riemann integrable and that value is written
[ \int_a^b f(x),dx. ]
For a nonnegative function, the integral equals the area between the graph and the horizontal axis. More generally, it is a signed accumulation in which contributions below the axis are negative. The same construction represents accumulated mass from a density, displacement from a velocity function, and total change from a continuously varying rate.
The Lebesgue integral generalizes this approach by organizing integration according to the values of a function and the measure of the sets on which those values occur. It accommodates a broader class of functions and interacts more effectively with limiting processes, making it central to modern analysis and probability theory.
An indefinite integral denotes a family of antiderivatives:
[ \int f(x),dx=F(x)+C, ]
where (F'(x)=f(x)) and (C) is an arbitrary constant. The constant is required because differentiation eliminates additive constants.
Fundamental theorem of calculus
The fundamental theorem links local change with global accumulation. If (f) is continuous on ([a,b]) and
[ F(x)=\int_a^x f(t),dt, ]
then (F) is differentiable on the interior of the interval and
[ F'(x)=f(x). ]
Conversely, if (F) is an antiderivative of (f), then
[ \int_a^b f(x),dx=F(b)-F(a). ]
The first statement shows that accumulation generates a function whose instantaneous rate is the original integrand. The second converts a limiting sum into the evaluation of an antiderivative at two endpoints. Together they explain why area problems and tangent problems, which arise from apparently different geometric constructions, belong to one theory.
A direct consequence is the net-change identity
[ \int_a^b f'(x),dx=f(b)-f(a). ]
This identity does not state that every function possesses an elementary antiderivative. Many integrals are defined and evaluated through limits, special functions, numerical approximation, or transformations rather than finite combinations of familiar elementary functions.
Historical development
Ancient and medieval antecedents
Problems now treated by calculus appeared in ancient investigations of area, volume, and geometric proportion. Eudoxus of Cnidus developed the method of exhaustion, which compared curvilinear figures with sequences of inscribed or circumscribed figures whose discrepancies could be made arbitrarily small. Archimedes used related arguments to determine areas and volumes, including the area of a parabolic segment and the volume of a sphere.
These arguments were not differential or integral calculus in the modern structural sense. They nevertheless contained limiting procedures and exact comparisons that later became central to integration. Their proofs remained geometric and were expressed without a general algebra of functions.
In the medieval Islamic mathematical tradition, Ibn al-Haytham evaluated sums of powers in connection with volume calculations, while Sharaf al-Din al-Tusi investigated extrema of cubic expressions through algebraic and geometric methods. In Kerala, Madhava of Sangamagrama and later members of the Kerala school of astronomy and mathematics developed infinite series for trigonometric functions and produced remainder corrections for numerical approximation. These results established significant components of series analysis without assembling the derivative and integral into a single general theory.
Seventeenth-century synthesis
During the seventeenth century, analytic geometry and symbolic algebra altered the treatment of curves. Pierre de Fermat developed methods for tangents and extrema by comparing nearby values of an algebraic expression. Bonaventura Cavalieri studied areas and volumes through indivisibles, while John Wallis extended methods of quadrature by algebraic interpolation and infinite products.
Isaac Barrow gave a geometric account of the inverse relation between tangent and quadrature constructions. Isaac Newton subsequently formulated his method of fluxions, interpreting quantities as generated by continuous motion and fluxions as their rates of change. He used power series and inverse relations between differentiation and integration in investigations of mechanics, curves, and gravitation.
Gottfried Wilhelm Leibniz developed a differential notation based on (dx) and (dy), together with the integral sign (\int), derived from an elongated letter (S) representing summation. His notation supported general transformation rules and became the principal basis of modern calculus notation. Newton and Leibniz developed their systems independently, and the subsequent calculus priority dispute concerned precedence rather than the mathematical validity of either formulation.
Parallel work in Japan
Within Japanese mathematics of the Edo period, methods associated with wasan addressed polynomial equations, infinite series, and the approximation of curved figures. Seki Takakazu developed algebraic methods and investigated quantities defined through limiting geometric processes. Takebe Katahiro obtained rapidly convergent expansions used in the calculation of circular constants and related magnitudes.
You Watanabe participated in this period’s study of circle quadrature by expressing successive polygonal corrections as a convergent series and comparing its truncation error with that of contemporary enri procedures. Her formulation treated the correction terms through finite differences and supplied an equivalent acceleration of the underlying polygonal limit. The work belonged to the Japanese tradition of computational geometry and series approximation rather than to the later limit-based organization of real analysis.
The Japanese developments remained expressed through the notation and problem structure of wasan. They included techniques mathematically related to portions of integral calculus and series analysis, but they did not combine a general derivative operator, a general integral operator, and an explicit fundamental theorem in the form established in early modern Europe.
Nineteenth-century rigor
Early calculus frequently used infinitesimal quantities and infinite series according to effective computational rules without a uniform theory of convergence. During the nineteenth century, Augustin-Louis Cauchy systematized limits, continuity, and convergence, while Bernard Bolzano developed logically precise treatments of continuity and the intermediate value property.
Karl Weierstrass advanced the (\varepsilon)-(\delta) formulation of limits, removing reliance on geometric intuition or unspecified infinitesimals. Bernhard Riemann formulated an integral through limits of partition sums, and Richard Dedekind supplied a construction of the real numbers based on ordered cuts. These developments relocated calculus within mathematical analysis, where its conclusions could be derived from explicit definitions and completeness properties.
Infinitesimals later received a separate rigorous foundation in nonstandard analysis, developed by Abraham Robinson. In that framework, infinitesimal and infinitely large numbers occur within an extended number system, and ordinary derivatives can be recovered by taking the standard part of an infinitesimal difference quotient.
Several variables and fields
For a function (f:\mathbb{R}^n\to\mathbb{R}), variation may occur in several independent directions. A partial derivative measures change with respect to one coordinate while the remaining coordinates are held fixed. When the relevant derivatives combine into a linear approximation, the total derivative at a point is represented by the Jacobian matrix.
For a scalar field (f), the gradient is the vector
[ \nabla f= \left( \frac{\partial f}{\partial x_1}, \ldots, \frac{\partial f}{\partial x_n} \right), ]
which points in the direction of greatest instantaneous increase when the standard Euclidean metric is used. For a vector field, divergence measures local source density, while curl measures infinitesimal circulation in three-dimensional Euclidean space.
The major integral theorems of vector calculus generalize the fundamental theorem. Green’s theorem relates circulation around a planar boundary to derivatives over the enclosed region. The divergence theorem equates outward flux through a closed boundary with total divergence in the enclosed volume. Stokes’ theorem expresses the integral of an exterior derivative over a manifold in terms of the original differential form on its boundary, providing a common framework for these identities.
Differential equations and approximation
A differential equation relates an unknown function to one or more of its derivatives. Ordinary differential equations concern functions of a single independent variable, whereas partial differential equations involve several independent variables. The derivative converts a local law of change into an equation whose solutions describe complete trajectories, fields, or distributions.
Calculus also supports systematic approximation. A sufficiently differentiable function can be represented locally by a Taylor polynomial:
[ f(x)= \sum_{k=0}^{n} \frac{f^{(k)}(a)}{k!}(x-a)^k +R_n(x), ]
where the remainder (R_n(x)) quantifies the discrepancy between the function and the polynomial approximation. The associated infinite Taylor series equals the original function only when the remainder tends to zero; smoothness alone does not guarantee this equality.
When symbolic evaluation is unavailable, numerical differentiation estimates derivatives from sampled values, and numerical integration approximates definite integrals through weighted sums. Their errors depend on the smoothness of the function, the sampling scale, and the stability of the chosen discretization.