Fact-checked by Grok 2 weeks ago

Leibniz's notation

Leibniz's notation is a foundational system in calculus for denoting derivatives and integrals, where the derivative of a dependent variable y with respect to an independent variable x is expressed as the ratio \frac{dy}{dx}, representing the infinitesimal change in y per unit change in x. Introduced by the polymath Gottfried Wilhelm Leibniz (1646–1716) in an unpublished manuscript dated November 11, 1675, this notation was first publicly detailed in his 1684 paper "Nova methodus pro maximis et minimis" in the journal Acta Eruditorum.^[1]^[2] The approach conceptualizes derivatives as quotients of differentials dy and dx, offering an intuitive geometric and physical interpretation of rates of change that contrasted with Isaac Newton's fluxion-based methods developed earlier but published later.^[3] The notation for indefinite integrals, \int y \, dx, similarly treats integration as the inverse of differentiation. This notation extends seamlessly to higher-order derivatives—for instance, the second derivative is written as \frac{d^2 y}{dx^2}, the third as \frac{d^3 y}{dx^3}, and the nth as \frac{d^n y}{dx^n}—allowing concise representation of repeated differentiation.^[4] In modern multivariable calculus, partial derivatives are denoted using the symbol \partial in a similar fractional form, such as \frac{\partial y}{\partial x}, to distinguish differentiation with respect to one variable while holding others constant. A primary advantage of Leibniz's notation over Newton's dot notation (e.g., \dot{y}) is its explicit indication of both the dependent and independent variables, which clarifies the scope of differentiation in complex expressions and facilitates applications like the chain rule, expressed as \frac{dy}{dx} = \frac{dy}{du} \cdot \frac{du}{dx}.^[5]^[6] This versatility has made it the dominant standard in modern calculus textbooks and mathematical practice, enduring for over three centuries due to its clarity and adaptability in fields ranging from physics to economics.^[7]

Historical Development

Leibniz's Contributions to Calculus Notation

Gottfried Wilhelm Leibniz began developing his notation for the differential calculus in unpublished manuscripts during the mid-1670s, with the symbols dx, dy, and \frac{dx}{dy} first appearing in a document dated November 11, 1675.^[1] In these early writings, Leibniz employed the symbol o to denote infinitesimals, representing quantities smaller than any assignable magnitude but not zero, which allowed him to conceptualize changes in variables as composed of such infinitesimal increments.^[8] These notations emerged from Leibniz's efforts to create a symbolic system that treated differentiation as an algebraic operation on functions, facilitating manipulations akin to those in ordinary arithmetic.^[9] Leibniz's motivation for this notation stemmed from a desire to transcend the geometric methods prevalent in contemporary mathematics, such as Isaac Newton's fluxions, which relied on rates of change described through flowing quantities and diagrammatic representations.^[10] In contrast, Leibniz envisioned calculus as a "calculus of differences" where dx and dy signified corresponding infinitesimal changes in independent and dependent variables, enabling the ratio \frac{dy}{dx} to directly express the derivative as a fraction-like entity amenable to symbolic rules like the product rule.^[11] This algebraic approach was intended to make calculus more accessible for solving problems in maxima, minima, and tangents without constant recourse to geometric intuition.^[8] The first public presentation of Leibniz's differential notation occurred in his 1684 paper "Nova Methodus pro Maximis et Minimis, itemque Tangentibus" published in Acta Eruditorum, where he outlined rules for differentiation of powers, products, and quotients using d prefixed to variables.^[8] This work marked a pivotal step in formalizing his symbolic method, though it omitted proofs to prioritize the operational aspects of the notation. The publication ignited a priority dispute with Newton, whose fluxion-based calculus remained largely unpublished until 1711; accusations of plagiarism leveled against Leibniz by Newton's supporters, including a 1712 Royal Society report, highlighted the contrasting emphases, with Leibniz's system praised for its explicit symbolic operations that promoted broader mathematical discourse.^[8] Leibniz's notations gained traction among Continental mathematicians in the 18th century, influencing figures like the Bernoulli brothers and Euler in their analytical developments.^[10]

Adoption and Influence on Mathematical Practice

The adoption of Leibniz's notation for differentials, particularly the form \frac{dy}{dx}, gained significant momentum in the early 18th century through the efforts of the Bernoulli brothers and Leonhard Euler, who actively promoted it over Isaac Newton's fluxion notation (denoted as \dot{x}). Johann Bernoulli, having corresponded extensively with Leibniz, began incorporating dx and dy in his publications around 1694. His brother Jakob advocated for the integral sign \int in the 1713 posthumous publication Ars Conjectandi, viewing it as a more intuitive representation of summation compared to his own earlier symbol "I".^[12] Jakob Bernoulli similarly embraced the notation in his 1690 printed use of the term "integral," helping to disseminate it within continental mathematical circles during the 1710s. Euler, building on this foundation, systematically employed \frac{dy}{dx} in his 1728 dissertation and subsequent texts like Institutiones calculi differentialis (1755), emphasizing its algebraic flexibility and clarity for expressing rates of change, which contributed to its preference over Newton's dot notation by the 1730s among European mathematicians.^[12]^[13] By the mid-18th century, Leibniz's notation had achieved institutional adoption across European academies and was integrated into influential textbooks, solidifying its role in mathematical education and research. The Berlin Academy, founded in 1700 with Leibniz's involvement, featured the notation prominently in its Miscellanea Berolinensia publications starting in 1710, while the Paris Academy of Sciences routinely used it in prize competitions and memoirs by the 1740s, reflecting its alignment with the geometric and analytical traditions favored in French mathematics.^[12] Textbooks such as Pieter van Musschenbroek's Introductio ad philosophiam naturalem (1762) incorporated dy/dx for physical applications, making it a standard tool for illustrating differential relationships in mechanics and optics.^[12] This widespread use in academic proceedings and pedagogical works helped transition the notation from an innovative proposal to a conventional practice across Germany, Switzerland, and France by the 1750s.^[13] In the 19th century, Leibniz's notation evolved further through formalization efforts, particularly by French mathematicians, while encountering resistance in Britain where loyalty to Newton's system persisted. Sylvestre François Lacroix played a key role in this refinement, presenting a comprehensive treatment of dy/dx and \int in his Traité élémentaire de calcul (1797–1800), which standardized its application in higher analysis and influenced curricula at institutions like the École Polytechnique.^[14] British mathematicians, however, largely clung to fluxions until the early 1800s, as seen in texts from Cambridge and Oxford that prioritized Newton's \dot{x} to affirm national priority in calculus invention, delaying continental advancements in Britain by decades.^[15] This resistance began to wane around 1819 with Cambridge's adoption, driven by reformers like Charles Babbage who recognized the notation's superiority for algebraic manipulation.^[16] The long-term influence of Leibniz's notation on mathematical pedagogy has been profound, particularly in enabling clearer conceptualizations of rates of change within physics and engineering disciplines. Its fractional form intuitively conveys the ratio of infinitesimal changes, facilitating the teaching of concepts like velocity and acceleration in mechanics, as evidenced by its integration into 19th-century engineering texts such as William Thomson and Peter Tait's Treatise on Natural Philosophy (1867).^[12] By the late 19th century, the notation's adoption in American education—via translations of French works at Harvard starting post-1824—extended its reach, supporting practical problem-solving in fields like thermodynamics and structural analysis where explicit variable dependencies enhance instructional clarity.^[12] This pedagogical advantage ensured its enduring dominance, outlasting competing systems and shaping modern STEM curricula worldwide.^[13]

Notation for Differentiation

First-Order Derivatives

Leibniz's notation for the first-order derivative of a function y = f(x) is \frac{dy}{dx}, which represents the ratio of the infinitesimal change dy in y to the infinitesimal change dx in x.^[17] This notation treats the derivative as an operational symbol capturing the instantaneous rate of change, emphasizing the differential structure of functions.^[1] In this framework, [dx](/page/DX) denotes an infinitesimal increment in the independent variable x, while dy is the corresponding infinitesimal variation in the dependent variable y = f(x), such that dy = f'(x) \, [dx](/page/DX).^[17] Leibniz introduced the symbols [dx](/page/DX), dy, and \frac{dy}{[dx](/page/DX)} in a manuscript dated November 11, 1675, viewing them as genuine quantities smaller than any finite nonzero value but nonzero themselves.^[1] Leibniz's original justification relied on infinitesimals rather than limits, interpreting \frac{dy}{dx} directly as the quotient of these differentials to approximate tangents and solve optimization problems.^[17] In contemporary analysis, this aligns with the limit definition:

\frac{dy}{dx} = \lim_{\Delta x \to 0} \frac{\Delta y}{\Delta x},

where \Delta x and \Delta y = f(x + \Delta x) - f(x) are finite increments approaching zero, providing a rigorous foundation absent in the infinitesimal approach.^[17]^[18] A representative example is the function y = x^2, where applying Leibniz's notation yields \frac{dy}{dx} = 2x, demonstrating how the differential ratio simplifies computation of slopes and rates, such as the velocity of a particle moving along the parabola.^[17] This operational symbolism facilitated practical applications in geometry and physics during Leibniz's era.^[1]

Higher-Order Derivatives

Leibniz extended his differential notation beyond the first order by applying the operator d repeatedly to represent higher-order changes. For the second derivative, he employed forms such as ddy or \frac{ddy}{dx^2} in his 1693 publication Supplementum geometriae practicae, interpreting it as the differential of the first differential dy.^[19] This notation emphasized the infinitesimal increments, with the second order capturing "differences of differences" in curvilinear quantities. In contemporary mathematical practice, the second derivative is standardized as \frac{d^2 y}{dx^2}, denoting the rate of change of the first derivative \frac{dy}{dx} with respect to x. The general nth-order derivative follows as \frac{d^n y}{dx^n}, achieved through recursive differentiation, where each application builds on the previous order. Historically, Leibniz's formulations sometimes featured denominators like dx^n, evoking factorial-like structures in the scaling of infinitesimals for series expansions, though without explicit factorials. To illustrate successive differentiation, consider the function y = x^3. The second derivative is \frac{d^2 y}{dx^2} = 6x, obtained by first computing \frac{dy}{dx} = 3x^2 and then differentiating again. This process highlights the notation's utility in tracking accelerating rates of change. In physics, particularly mechanics, Leibniz's notation for higher derivatives is pivotal for describing motion. Acceleration, the second derivative of position with respect to time, is expressed as \frac{d^2 x}{dt^2}, enabling formulations like Newton's second law F = m \frac{d^2 x}{dt^2}. This application underscores the notation's enduring role in analyzing dynamic systems beyond linear velocities.

Notation for Integration

Indefinite Integrals

Leibniz introduced the notation for indefinite integrals in 1675, using the symbol ∫, an elongated form of the letter S, to represent "summa," denoting the summation of infinitesimal quantities.^[13] This notation first appeared in his unpublished manuscript Analyseos tetragonisticae pars secunda on October 29, 1675, where he wrote ∫ l = omn. l, id est summa ipsorum l, signifying the sum of all such l's, with l representing infinitesimal elements.^[13] By November 11, 1675, in Methodi tangentium inversae exempla, Leibniz refined it to include the differential variable, as in ∫... dx, establishing the form ∫ f(x) , dx for the indefinite integral of f(x) with respect to x.^[13]^[11] In this notation, ∫ f(x) , dx denotes the family of antiderivatives F(x) + C, where F is a function satisfying \frac{dF}{dx} = f(x) and C is an arbitrary constant of integration.^[20] This inverse relationship to differentiation underscores the integral as the operation that recovers the original function from its derivative, up to the additive constant.^[11] For instance, Leibniz computed early examples such as the integral of x, yielding \frac{x^2}{2}, as part of his summation processes, with the modern inclusion of + C reflecting the general solution in contemporary usage.^[20]

\int x \, dx = \frac{1}{2} x^2 + C

Here, the + C accounts for the fact that differentiation eliminates constants, so the antiderivative includes all possible shifts by a constant.^[11] Leibniz interpreted the indefinite integral as an infinite sum of infinitesimal rectangles under the curve of f(x), aligning with his infinitesimal method where dx represents an infinitesimal increment in x and f(x) dx the corresponding area element.^[11] This geometric summation tied integration directly to the calculation of areas and accumulated quantities, forming the conceptual basis for the antiderivative without specifying bounds.^[13] By 1686, in Acta Eruditorum, Leibniz had adopted the ∫ symbol more consistently, influencing its widespread use in mathematical practice.^[11]

Definite Integrals

The modern notation for definite integrals, \int_a^b f(x) \, dx, extends Leibniz's integral symbol by including specified limits of integration a and b for the lower and upper bounds, respectively; Leibniz himself typically described the bounds in accompanying text rather than with attached sub- and superscripts, a convention first symbolized by Leonhard Euler around 1768 and standardized by Joseph Fourier in 1822.^[13]^[1] This form computes the net accumulation of the quantity represented by f(x) over the interval from a to b. The notation originated in Leibniz's unpublished manuscripts from the 1670s, particularly around 1675, when he began incorporating boundaries to define the scope of summation in his infinitesimal approach to integration.^[21]^[13] By the fundamental theorem of calculus, which Leibniz formulated in the late 1670s and published in his 1684 work Nova Methodus pro Maximis et Minimis, the value of \int_a^b f(x) \, dx equals F(b) - F(a), where F is any antiderivative (or primitive function) of f, such that F'(x) = f(x). This evaluation process highlights the connection between differentiation and integration, allowing definite integrals to be computed without directly summing infinitesimals. For instance, consider the definite integral \int_0^1 x^2 \, dx. An antiderivative is F(x) = \frac{1}{3} x^3, so the evaluation yields \left[ \frac{1}{3} x^3 \right]_0^1 = \frac{1}{3}(1)^3 - \frac{1}{3}(0)^3 = \frac{1}{3}.^[10] Geometrically, Leibniz interpreted the definite integral \int_a^b f(x) \, dx as the net signed area between the curve y = f(x) and the x-axis over the interval [a, b], treating it as the sum of infinitely many infinitesimal rectangles of height f(x) and width dx. This visualization aligned with his infinitesimal methods developed in the 1670s, emphasizing practical computation of areas and accumulated quantities in problems like quadrature.^[21]^[10]

Applications in Key Formulas

Differentiation Rules and Theorems

Leibniz's notation for differentiation, employing differentials such as dx and dy, provides an intuitive framework for deriving fundamental rules by treating infinitesimals as algebraic quantities. This approach allows for straightforward manipulation of expressions involving products, quotients, compositions, and implicit relations, emphasizing the geometric and infinitesimal origins of calculus. In his seminal 1684 publication, Leibniz outlined several key differentiation rules using this notation, enabling efficient computation without explicit limits, though modern interpretations rigorize these via limits or non-standard analysis.^[8] The product rule expresses the differential of a product uv of two functions u and v. Leibniz formulated it as d(uv) = u\, dv + v\, du, which, when divided by dx, yields \frac{d(uv)}{dx} = u \frac{dv}{dx} + v \frac{du}{dx}. This rule arises naturally from the infinitesimal increment: if u changes by du and v by dv, the change in the product approximates u\, dv + v\, du, neglecting the higher-order term du\, dv. Leibniz introduced this in his early manuscripts and formalized it in print, highlighting its utility for algebraic simplification in calculus problems.^[22]^[8] Similarly, the quotient rule for \frac{u}{v} follows from differentiating the product u \cdot \frac{1}{v}. Leibniz derived d\left(\frac{u}{v}\right) = \frac{v\, du - u\, dv}{v^2}, or in derivative form, \frac{d}{dx}\left(\frac{u}{v}\right) = \frac{v \frac{du}{dx} - u \frac{dv}{dx}}{v^2}. This emerges by applying the product rule to u \cdot v^{-1} and using the power rule for the inverse, demonstrating the notation's power in handling reciprocal functions through infinitesimal ratios. Leibniz presented this alongside the product rule in his 1684 work, using it to solve optimization and tangency problems.^[8] The chain rule addresses composite functions, where y = f(u) and u = g(x). In Leibniz's differential notation, dy = f'(u)\, du, and since du = g'(x)\, dx, it follows that dy = f'(u) \cdot g'(x)\, dx, hence \frac{dy}{dx} = \frac{dy}{du} \cdot \frac{du}{dx}. This derivation treats differentials as proportional quantities, linking increments along the composition without invoking limits directly; the ratio \frac{dy}{dx} factors through the intermediate \frac{dy}{du}. Leibniz first explored this in a 1676 manuscript, noting a sign error initially, and published the corrected form in 1684, where it proved essential for transcendental functions and higher curves.^[23]^[8] Leibniz's notation excels in implicit differentiation, where relations like x^2 + y^2 = r^2 define y implicitly as a function of x. Differentiating both sides with respect to x gives $2x + 2y \frac{dy}{dx} = 0, solving to \frac{dy}{dx} = -\frac{x}{y}. This process applies the chain rule to y, treating dy as \frac{dy}{dx} dx, and leverages the algebraic manipulation of differentials to find tangents without solving for y explicitly. Such techniques, rooted in Leibniz's infinitesimal geometry, were applied in his analyses of conic sections and transcendental equations.^[8]

Integration Formulas and Techniques

Leibniz's notation for integration, employing the elongated "S" symbol ∫ to denote summation and dx to represent the infinitesimal element, facilitates the expression and derivation of key antiderivative techniques. These methods invert differentiation rules, allowing computation of integrals that arise in applications such as physics and engineering. Central to this are substitution and integration by parts, which leverage the differential form du = g'(x) dx to simplify expressions. The substitution method, also known as u-substitution, transforms integrals of composite functions into more manageable forms. In Leibniz notation, if u = g(x) and du = g'(x) dx, then ∫ f(g(x)) g'(x) dx = ∫ f(u) du. This approach justifies the notation's emphasis on differentials, as the replacement du/dx dx = du aligns the integral with a standard form for integration with respect to u. For instance, to evaluate ∫ x √(x² + 1) dx, set u = x² + 1, so du = 2x dx, yielding (1/2) ∫ √u du = (1/3) u^{3/2} + C = (1/3) (x² + 1)^{3/2} + C. Integration by parts serves as the inverse of the product rule for differentiation, providing a means to handle products of functions. Leibniz derived this technique geometrically in the 1670s, using his "omn." notation for summation to express ∫ x dy = x y - ∫ y dx, which translates to the modern form ∫ u dv = u v - ∫ v du in his differential symbolism. This formula is particularly useful when one factor simplifies upon differentiation and the other upon integration, such as logarithmic or exponential terms. Standard integration formulas, expressed in Leibniz notation, form the foundation for these techniques and many direct computations. Notable examples include ∫ (1/x) dx = ln |x| + C, derived from the limit definition of the natural logarithm, and ∫ sin x dx = -cos x + C, obtained by recognizing the derivative of cosine. Similarly, ∫ cos x dx = sin x + C follows from the derivative of sine. These antiderivatives are verified by differentiation and underpin broader integral evaluations. A practical illustration of integration by parts is computing ∫ x e^x dx. Choose u = x (so du = dx) and dv = e^x dx (so v = e^x), applying the formula: ∫ x e^x dx = x e^x - ∫ e^x dx = x e^x - e^x + C = e^x (x - 1) + C. This result can be extended to definite integrals by evaluating the boundary term [u v] from a to b and subtracting the remaining integral, though the indefinite form highlights the technique's core mechanics.

Theoretical Underpinnings

Role of Infinitesimals in Original Formulation

Leibniz conceptualized infinitesimals in a syncategorematic manner, treating them not as actual numbers or independent entities but as fictions or shorthand notations that abbreviate limiting processes in calculations.^[24] This approach is evident in his seminal 1684 paper, Nova Methodus pro Maximis et Minimis, where infinitesimals function as variable finite quantities that can be made arbitrarily small, aligning with the Archimedean axiom while avoiding contradictions associated with actual infinite divisibility.^[24] In this framework, differentials such as [dx](/page/DX) were treated as variable finite quantities that could be made arbitrarily small, approaching zero in the limit, yet Leibniz manipulated them algebraically as if they were finite without invoking explicit limits, enabling the derivation of tangents, maxima, and minima through proportionalities.^[25] This treatment relied on the law of continuity to justify transitions between finite and infinitesimal scales, preserving the utility of the calculus despite the fictional status of the infinitesimals.^[17] Philosophically, Leibniz's use of infinitesimals drew from his Monadology, positing monads as indivisible simple substances that underpin reality, while continua like space and time are ideal constructs infinitely divisible only in approximation.^[17] Infinitesimals thus served as a bridge between the finite realm of observable quantities and the infinite divisibility of ideal continua, embodying his principle of continuity—natura non facit saltus—which posits smooth, gapless transitions in nature and mathematics.^[17] This foundational reliance on infinitesimals faced sharp criticism from George Berkeley in his 1734 work The Analyst, where he derided them as "the ghosts of departed quantities," neither finite nor infinitesimal nor zero, exposing what he saw as logical inconsistencies and a lack of rigorous justification in the calculus's methods.^[26] Berkeley's attack highlighted enduring foundational issues, prompting later efforts to rigorize the calculus beyond Leibniz's original infinitesimal approach.^[17]

Modern Non-Standard Analysis Interpretations

In the 1960s, Abraham Robinson developed non-standard analysis as a rigorous framework for incorporating infinitesimals into mathematical analysis, thereby providing a modern justification for the intuitive methods originally employed by Leibniz in calculus.^[27] The hyperreal numbers, denoted ^* \mathbb{R}, form a non-Archimedean ordered field that extends the real numbers \mathbb{R} via an ultrapower construction, including infinitesimal elements \delta \in {}^* \mathbb{R} such that \delta \neq 0 but $0 < |\delta| < r for every positive real number r > 0.^[27] The transfer principle asserts that any first-order logical statement true in \mathbb{R} holds in ^* \mathbb{R}, and conversely, enabling the extension of standard theorems to the hyperreals; this supports an interpretation of Leibniz's notation where \frac{dy}{dx} \approx \frac{f(x + \delta) - f(x)}{\delta} for infinitesimal \delta \neq 0, with the standard derivative given by the standard part function \mathrm{st}\left( \frac{dy}{dx} \right), which maps finite hyperreals to their closest real numbers.^[27] This approach offers advantages over traditional ε-δ limit definitions by allowing direct manipulation of infinitesimals in proofs and computations, and it finds applications in physics, such as nonconservative numerical simulations of converging shock waves where infinitesimals model discontinuous phenomena rigorously.

Additional Notations by Leibniz

Notations for Infinite Series and Sums

Leibniz developed notations for infinite series during his early mathematical investigations in the 1670s, employing an elongated form of the letter S—similar to his integral symbol—to represent summation, derived from the Latin term summa meaning "sum." This symbol was used to denote both continuous summations (integrals) and discrete infinite sums, reflecting his view of series as accumulations of terms. In manuscripts from 1672 to 1676, such as those addressing Huygens' problem and the quadrature of the circle, Leibniz applied this notation to express sums like that of the reciprocals of triangular numbers: ∑{i=1}^n C_i = 2(A_1 - A{n+1}), where C_i denotes combinations and A terms relate to geometric progressions. A prominent example of Leibniz's application of summation notation is his 1673 derivation of the alternating series for π/4, expressed as 1 - 1/3 + 1/5 - 1/7 + 1/9 - ⋯ continuing infinitely. He recorded this as an infinite sum using his elongated S symbol, without the modern index limits, to approximate the arctangent function and circle quadrature geometrically. This series, now written in contemporary notation as \frac{\pi}{4} = \sum_{k=0}^{\infty} \frac{(-1)^k}{2k+1}, demonstrated the power of infinite summations for transcendental constants, though convergence was slow and required acceleration techniques Leibniz later explored.^[30] In Leibniz's framework, infinite series served as discrete analogs to integrals, allowing summation of countable terms to yield exact values where continuous integration handled uncountable infinitesimals, thus bridging algebraic and geometric methods without overlapping with derivative fluxions.^[30]

Notations for Differentials and Fluxions

Leibniz introduced the notation for total differentials to express the infinitesimal change in a function of multiple variables, treating differentials such as dx and dy as independent infinitesimals. For a function f(x, y), the total differential is expressed as a sum of contributions from each variable, such as df = (differential with respect to x) dx + (differential with respect to y) dy, reflecting Leibniz's algebraic manipulation of infinitesimals as entities akin to small increments without strict geometric constraints.^[12] This notation, developed in his manuscripts around 1675 and first published in 1684, allowed for systematic handling of multivariable changes by summing differential components, emphasizing the infinitesimal nature of dx and dy as foundational elements in his calculus framework. Higher-order differentials in Leibniz's system, such as d^2 f or d^3 z, extend this approach beyond first-order changes, denoting iterated infinitesimal variations distinct from what would later be formalized as higher derivatives. These were used primarily for approximations, as in expanding functions via successive differentials to approximate curves or surfaces, with d^2 f capturing the "difference of differences" without equating directly to \frac{d^2 f}{dx^2}. Leibniz employed notations like ddv for second-order and even fractional forms such as d^{1/2} z by the 1690s, building on his 1675 innovations to facilitate algebraic computations in series expansions and geometric problems.^[12] In contrast to Isaac Newton's fluxional notation, which relied on geometric interpretations of moments (denoted by \dot{o} or \dot{x}, representing instantaneous rates tied to motion), Leibniz's differentials adopted an algebraic perspective, treating dx and dy as manipulable symbols for infinitesimal quantities rather than purely temporal fluxions. Newton’s moments, introduced around 1665 and published in 1711, emphasized geometric flux over symbolic algebra, whereas Leibniz used symbols like \bar{o} occasionally for analogous "moments" but prioritized the differential's versatility in non-geometric contexts, such as pure analysis.^[12] This distinction, highlighted in their respective publications and correspondence, underscored Leibniz's notation as more adaptable for abstract manipulations, though it sparked controversy over priority and rigor. A notable application of Leibniz's differential notation appears in geometry, where the arc length differential ds is defined via the relation ds^2 = dx^2 + dy^2, visualizing an infinitesimal right triangle with legs dx and dy, and hypotenuse ds as the curve's local segment. This construction, rooted in Leibniz's 1675-1684 developments, enabled the summation of such elements to compute curve lengths algebraically, integrating over paths without relying on Newtonian fluxional geometry.^[12]

References

[1]
Introduction to differentiation: 1.4.2 Leibniz notation | OpenLearn
When Leibniz notation is being used, is often referred to as the derivative of y with respect to x . If you want to write the notation ...
[2]
Earliest Uses of Symbols of Calculus
Dec 1, 2004 · Derivative. The symbols dx, dy, and dx/dy were introduced by Gottfried Wilhelm Leibniz (1646-1716) in a manuscript of November 11, 1675 (Cajori ...
[3]
SHiPS || The History of Calculus Notation - UC Davis Math
When writing of Newton and Leibniz, 20th-century authors of calculus textbooks tend to reduce their history to method and notation while exalting them as ...Missing: advantages | Show results with:advantages
[4]
Leibniz vs. Newton - BOOKS
Leibniz notation is better suited to situations involving many quantities that are changing, both because it keeps explicit track of which derivative you took.Missing: history | Show results with:history
[5]
[PDF] The Derivative. Part 2
The derivative of the second derivative is called the third derivative, and so on. In Leibniz notation: if y = f(x), then y/ = dy dx = f/(x) , y′′ = d dx dy dx ...
[6]
The Definition of the Derivative
This notation emphasizes the connection to the function and has the advantage that it is quick to write. Leibniz emphasized something different with his ...
[7]
Calculus and vectors #rvc - Dynamics
The main advantage of Leibniz notation is that it is absolutely clear exactly which variable you are differentiating with respect to. Leibniz notation is also ...
[8]
The Mathematical Leibniz
Introduction. G. W. Leibniz was one of the most important thinkers of his time. His contributions to such diverse fields as philosophy, linguistics, and ...
[9]
Gottfried Leibniz (1646 - 1716) - Biography - MacTutor
In 1684 Leibniz published details of his differential calculus in Nova Methodus pro Maximis et Minimis, itemque Tangentibus... Ⓣ. (A new method for maxima, ...
[10]
Math Origins: The Language of Change
Returning to Cajori [Caj, p. 204], we find that Leibniz used a lower-case d for the differential as early as 1675, though it did not appear in print until 1684 ...
[11]
Calculus history - MacTutor - University of St Andrews
Leibniz's notation of d d d and ∫ highlighted the operator aspect which proved important in later developments. By 1675 Leibniz had settled on the notation.
[12]
The Integration Theory of Gottfried Wilhelm Leibniz
4 This symbolism is in a proper style for Leibniz, as shown in Cajori 189, as he adopted this notation in 1676.
[13]
[PDF] A History of Mathematical Notations, 2 Vols - Monoskop
Cajori, Florian, 1859-1930. A history of mathematical notations / by Florian Cajori. p. cm. Originally published: Chicago : Open Court Pub. Co., 1928-. 1929 ...
[14]
Earliest Uses of Symbols of Calculus - MacTutor
Bernoulli used the symbol in a non-operational sense (Maor, page 97) ... Euler was the first to use a symbol in Institutiones calculi integralis, where ...
[15]
Lacroix and the Calculus [1 ed.] 3764386371, 9783764386382 ...
Now, for the full introduction of the Leibnizian notation, dx is also required: 39 “clear ... Graphical approximation only regained importance in the 19th century ...
[16]
Was English mathematics behind Europe by many years because of ...
Sep 17, 2018 · For sure, the success of Leibniz's notation (with his quasi-algebraic flavor) was due some "continental" mathematicians : Bernoulli's, Euler, ...
[17]
Mathematical Treasure: Leibniz's Reply to Fatio
Eventually, with the urging of Charles Babbage and others in the early 19th century, England switched to Leibniz's notation. Babbage's famous quotation refers ...Missing: British | Show results with:British
[18]
Continuity and Infinitesimals - Stanford Encyclopedia of Philosophy
Jul 27, 2005 · The fluxion of a fluent $x$ is denoted by $\dot{x}$, and its moment, or “infinitely small increment accruing in an infinitely short time \(o ...
[19]
[PDF] Completeness of the Leibniz Field and Rigorousness of Infinitesimal ...
the Leibniz notation dy/dx for derivative and in the integral f(x) dx, whose resilience turned out to be without precedent in mathematics. An innocent and ...
[20]
https://www.ams.org/notices/201507/rnoti-p822.pdf
[21]
Leibniz Inventing the Calculus
This issue contains a review by Eberhard Knobloch of a collection of articles about Leibniz. The articles under review are mostly concerned with Leibniz's ...
[22]
[PDF] 1.2 The Definite Integral - maths.nuigalway.ie
The notation that is currently in use for the definite integral was introduced by Gottfried Leibniz around 1675. The rationale for it is as follows : Areas ...
[23]
Mathematical Treasure: Leibniz's Papers on Calculus
On 21 November 1675 he wrote a manuscript using the ∫f(x)dx notation for the first time. In the same manuscript the product rule for differentiation is given.
[24]
The Calculus | The Oxford Handbook of Leibniz
He published the main rules of differential calculus, including the chain rule, without proof in the Nova methodus pro maximis et minimis in 1684 (GM V 220–226) ...
[25]
[PDF] LEIBNIZ'S SYNCATEGOREMATIC INFINITESIMALS, SMOOTH ...
Leibniz's interpretation is (to use the medieval term) syncategorematic: Infinitesimals are fictions in the sense that the terms designating them can be ...
[26]
[PDF] 'x + dx = x': Leibniz's Archimedean infinitesimals
In this paper I offer a defence of Leibniz's interpretation of infinitesimals as fictions, arguing that with it Leibniz provides a sound foundation for his ...
[27]
[PDF] THE ANALYST By George Berkeley - Trinity College Dublin
They are neither finite Quantities nor Quantities infinitely small, nor yet nothing. May we not call them the. Ghosts of departed Quantities? XXXVI. Men too ...Missing: Leibniz | Show results with:Leibniz
[28]
[PDF] An introduction to nonstandard analysis - UChicago Math
Aug 14, 2009 · However, in 1960. Abraham Robinson developed nonstandard analysis, in which the reals are rigor- ously extended to include infinitesimal ...
[29]
[PDF] Nonstandard Analysis and Jump Conditions for Converging Shock ...
Nonstandard methods may be used to construct algebras of nonlinear generalized functions, or nonstandard analy- sis may be used directly to study specific ...<|control11|><|separator|>
[30]
[PDF] The remarkable fecundity of Leibniz's work on infinite series
theorem of the calculus: the sum (integral) of the differentials equals the difference of the sums (the definite integral evaluated between last and first ...Missing: 1670s boundaries