Infinitesimals and Their Applications in Calculus

Abstract

This dissertation examines the foundations, formalization, and applications of infinitesimals in calculus. It provides rigorous derivations using nonstandard analysis, demonstrates their role in differentiation and integration, and applies them to physics, engineering, and computational mathematics. Worked examples illustrate how infinitesimals simplify proofs and enhance intuition, while case studies highlight their practical relevance.

Chapter 1: Introduction

Infinitesimals are quantities smaller than any positive real number but greater than zero. Historically controversial, they now enjoy rigorous legitimacy through hyperreal number systems. This dissertation explores their mathematical structure and practical utility.

Chapter 2: Historical Foundations

• Leibniz’s Differential Calculus: Defined derivatives as ratios of infinitesimal changes.

• Newton’s Fluxions: Viewed calculus as motion and change over infinitesimal intervals.

• Criticism: Berkeley’s The Analyst questioned their logical consistency.

• Resolution: Weierstrass formalized limits, but Robinson later restored infinitesimals via nonstandard analysis.

Chapter 3: Formalization in Nonstandard Analysis

3.1 Hyperreal Numbers

Constructed via ultrafilters, hyperreals extend $\mathbb{R}$ to include infinitesimals ($ϵ$) and infinite numbers.

Definition: A number $ϵ$ is infinitesimal if:

$$0<\mathrm{\mid }ϵ\mathrm{\mid }<\frac{1}{n},\mathrm{\forall }n\in \mathbb{N}\mathrm{.}$$

3.2 Transfer Principle

Any first-order statement true in $\mathbb{R}$ holds in ${\mathbb{R}}^{\ast }$ (hyperreals).

3.3 Standard Part Function

Maps a finite hyperreal to its nearest real number:

$$\text{st}(x)=\underset{n\to \mathrm{\infty }}{\lim }{x}_n,\text{for }x\in {\mathbb{R}}^{\ast }\mathrm{.}$$

Chapter 4: Applications in Calculus with Derivations

4.1 Differentiation

Theorem: For differentiable $f(x)$,

$$f^{\mathrm{\prime }}(x)=\text{st}\left(\frac{f(x+ϵ)-f(x)}{ϵ}\right)\mathrm{.}$$

Proof: Let $ϵ$ be infinitesimal. Then:

$$\frac{f(x+ϵ)-f(x)}{ϵ}=\frac{f(x)+f^{\mathrm{\prime }}(x)ϵ+o(ϵ)-f(x)}{ϵ}\mathrm{.}$$

Simplify:

$$=f^{\mathrm{\prime }}(x)+\frac{o(ϵ)}{ϵ}\mathrm{.}$$

Since $\frac{o(ϵ)}{ϵ}$ is infinitesimal,

$$\text{st}\left(\frac{f(x+ϵ)-f(x)}{ϵ}\right)=f^{\mathrm{\prime }}(x)\mathrm{.}$$

Q.E.D.

Example: For $f(x)=x^2$:

$$f^{\mathrm{\prime }}(x)=\text{st}\left(\frac{(x+ϵ{)}^2-x^2}{ϵ}\right)=\text{st}\left(\frac{2xϵ+{ϵ}^2}{ϵ}\right)=2x\mathrm{.}$$

4.2 Integration

Theorem:

$${\int }_a^{b}f(x)dx=\text{st}(\sum _{i=1}^{N}f(x_i)\mathrm{\Delta }x),$$

where $\mathrm{\Delta }x$ is infinitesimal and $N$ is infinite.

Example:

$${\int }_0^{1}xdx=\text{st}(\sum _{i=1}^N\frac{i}{N}\cdot \frac{1}{N})=\frac{1}{2}\mathrm{.}$$

4.3 Multivariable Calculus

Gradient defined via infinitesimal vectors:

$$\mathrm{\nabla }f(x,y)=(\text{st}\left(\frac{f(x+ϵ,y)-f(x,y)}{ϵ}\right),\text{st}\left(\frac{f(x,y+ϵ)-f(x,y)}{ϵ}\right))\mathrm{.}$$

Chapter 5: Case Studies

5.1 Physics

• Relativity: Infinitesimal spacetime interval:

$$d{s}^2=g_{\mu \nu }d{x}^{\mu }d{x}^{\nu }\mathrm{.}$$

• Quantum Mechanics: Path integrals use infinitesimal amplitudes:

$$\int e^{iS\mathrm{/}\mathrm{\hslash }}\mathcal{D}x(t)\mathrm{.}$$

5.2 Engineering

• Continuum Mechanics: Stress defined via infinitesimal area:

$$\sigma =\underset{\mathrm{\Delta }A\to 0}{\lim }\frac{\mathrm{\Delta }F}{\mathrm{\Delta }A}\mathrm{.}$$

• Fluid Dynamics: Infinitesimal control volumes in Navier–Stokes equations.

5.3 Computational Mathematics

• Gradient descent step size modeled as infinitesimal:

$$x_{n+1}=x_n-ϵ\mathrm{\nabla }f(x_n)\mathrm{.}$$

Chapter 6: Philosophical and Pedagogical Implications

Infinitesimals reconcile intuition with rigor, offering accessible teaching tools while challenging metaphysical assumptions about mathematical existence.

Chapter 7: Conclusion and Future Directions

Infinitesimals are indispensable in modern calculus. Future research may explore their role in quantum computing, stochastic calculus, and AI optimization.

References

1. Leibniz, G.W. (1696). Nova Methodus pro Maximis et Minimis.

2. Robinson, A. (1966). Non-standard Analysis. North-Holland.

3. Keisler, H.J. (1976). Foundations of Infinitesimal Calculus. Prindle, Weber & Schmidt.

4. Goldblatt, R. (1998). Lectures on the Hyperreals: An Introduction to Nonstandard Analysis. Springer.

5. Stewart, J. (2016). Calculus: Early Transcendentals. Cengage Learning.